Sea una función definida para ; supongamos también que para cada entero existe y para . Sea algún punto del intervalo y elijamos un entero positivo fijo . Consideremos entonces la fórmula de Taylor para alrededor de , donde el polinomio de la fórmula tiene más de términos, digamos términos. En particular, consideremos qué obtenemos para , cuando usamos el resto de Cauchy:
\begin{aligned} f(b) = f(x_1) &+ \frac{(b-x_1)}{1!} f'(x_1) + \dots + \frac{(b-x_1)^n}{n!} f^{(n)}(x_1) + \dots \\ &+ \frac{(b-x_1)^{m-1}}{(m-1)!} f^{(m-1)}(x_1) + \frac{(b-x_1)(b-\xi)^{m-1}}{(m-1)!} f^{(m)}(\xi), \end{aligned}donde . Ahora bien, todos los términos de la suma de la derecha son no negativos; por lo tanto, es mayor o igual que cualquiera de ellos. En particular,
\frac{(b-x_1)^n}{n!} f^{(n)}(x_1) \le f(b), \tag{1}y esto es válido para cualquier .
Consideremos ahora la función f''(x). Dado que las derivadas de f''(x) son también derivadas de , todas son no negativas en . Por lo tanto, podemos usar f''(x) en lugar de en (1), obteniendo
\frac{(b-x_1)^n}{n!} f^{(n+2)}(x_1) \le f''(b), \quad \text{o}f^{(n+2)}(x_1) \le \frac{n!}{(b-x_1)^n} f''(b) \cdot \tag{2}Esta última desigualdad también vale para cualquier ; en particular, vale para , donde es como en (1). Entonces se convierte en
f^{(n)}(x_1) \le \frac{(n-2)!}{(b-x_1)^{n-2}} f''(b) \cdot \tag{3}Esto es cierto para cualquier punto del intervalo.
Ahora sea algún punto del intervalo, y consideremos el desarrollo de Taylor alrededor de para , donde también está en el intervalo. El resto de Cauchy después de términos tiene valor absoluto
donde está entre y . Por (3), esto es menor o igual que
\begin{aligned} &\frac{|x-x_0|\ |x-\xi|^{n-1}}{(n-1)!} \cdot \frac{(n-2)!}{(b-\xi)^{n-2}} f''(b) \\ &= \frac{|x-x_0|\ |x-\xi| \cdot f''(b)}{n-1} \left( \frac{|x-\xi|}{b-\xi} \right)^{n-2}. \end{aligned}Esto tenderá a cuando se haga grande si . Si , entonces . Si , y si , entonces . Por lo tanto, sabemos que el resto tiende a cero siempre que . Resumamos el resultado que hemos demostrado, que es el teorema de convergencia de Bernstein.
Sea tal que f(x) \ge 0, f'(x) \ge 0, f''(x) \ge 0, \dots para todo tal que . Sea , y sea un punto del intervalo tal que . Entonces la serie de Taylor
f(x_0) + \frac{(x-x_0)}{1!} f'(x_0) + \frac{(x-x_0)^2}{2!} f''(x_0) + \cdotsconverge a .
Por ejemplo, este teorema nos dice que la serie de Taylor para formada alrededor de cualquier punto converge a para todo . El resultado puede extenderse a una clase considerablemente mayor de funciones si hacemos algunas observaciones. Primero supongamos que existe algún número tal que f(x) \ge M, f'(x) \ge M, f''(x) \ge M, \dots siempre que . Si , entonces la serie de Taylor de converge a por el teorema de Bernstein. Si , sea
Entonces , ya que ambos factores son menores o iguales que cero. Asimismo, g'(x) = f'(x) - M e^{x-a} \ge 0, g''(x) \ge 0, \dots. Por lo tanto, la serie de Taylor para converge a . Como hemos señalado, la serie de Taylor para converge a . Dado que la operación de formar la serie de Taylor es lineal, la serie de Taylor para es la de más veces la de ; el resto en cada una de estas tiende a cero, y por lo tanto el resto para , que es la suma de estos restos, tiende a cero. Así vemos que la serie de Taylor para converge a si todas las derivadas de están acotadas inferiormente.
A continuación supongamos que para , siempre que para algún fijo. Entonces sea el menor de los números
0, \min f(x), \min f'(x), \dots, \min f^{(N)}(x) \quad \text{en } a \le x \le b \cdotEntonces para todo , y vemos, como antes, que la serie de Taylor para converge a . Dado que la serie de Taylor para tiene como términos los negativos de los de la serie de Taylor para , podemos usar para demostrar que la serie de Taylor para converge a siempre que todas las estén acotadas superiormente, en particular si todas .
Ahora sea f(x) \ge 0, f'(x) \le 0, f''(x) \ge 0, f'''(x) \le 0, \dots; en otras palabras, las derivadas de alternan de signo. Sea . Entonces , y si , sea . Entonces
g(\xi) \ge 0, g'(\xi) = -f'(-\xi) \ge 0, g''(\xi) \ge 0, \dots ,o bien para todo siempre que . Así, sabemos por el teorema de Bernstein que la serie de Taylor para alrededor de converge a siempre que , o siempre que . La serie de Taylor para alrededor de es:
\begin{aligned} g(-x_0) + \frac{(\xi+x_0)}{1!} g'(-x_0) + \frac{(\xi+x_0)^2}{2!} g''(-x_0) + \dots \\ = f(x_0) - \frac{(\xi+x_0)}{1!} f'(x_0) + \frac{(\xi+x_0)^2}{2!} f''(x_0) - \dots \cdot \end{aligned}Ahora sea . Entonces, siempre que , o , tenemos, en el límite,
\begin{aligned} f(x) = g(\xi) &= f(x_0) - \frac{(-x+x_0)}{1!} f'(x_0) + \frac{(-x+x_0)^2}{2!} f''(x_0) - \dots \\ &= f(x_0) + \frac{(x-x_0)}{1!} f'(x_0) + \frac{(x-x_0)^2}{2!} f''(x_0) + \dots \cdot \end{aligned}Pero esta es exactamente la serie de Taylor para . Nótese que en este caso converge a siempre que esté más cerca de que de , mientras que en el teorema original teníamos convergencia a siempre que estuviera más cerca de que de . Obsérvese también que, como antes, basta con que los signos alternen a partir de algún .
Aplicaremos esta última observación para investigar la función para , cualquier número. Entonces
f'(x) = \alpha x^{\alpha-1},\quad f''(x) = \alpha(\alpha - 1)x^{\alpha-2},\quad \dots ,y eventualmente
Entonces tiene el signo opuesto a para todo , ya que tiene el signo opuesto a , y los signos de alternan para . Por lo tanto, si es cualquier número positivo pequeño y , la serie de Taylor para alrededor de converge a siempre que . Si , entonces estamos seguros de que para algún positivo. Por lo tanto, la serie converge a siempre que .
Ahora cambiemos un poco la notación y escribamos . Entonces desarrollamos en potencias de . (Aquí .) Así,
\begin{aligned} x^\alpha = (a+b)^\alpha = a^\alpha + \alpha a^{\alpha-1}b + \frac{\alpha(\alpha-1)}{2} a^{\alpha-2}b^2 + \cdots\\ + \frac{\alpha(\alpha-1) \dots (\alpha-n)}{n!} a^{\alpha-n}b^n + \cdots \end{aligned}en el sentido de que la serie converge a siempre que , o siempre que . Esta es la llamada serie binomial, y los coeficientes
se denominan coeficientes binomiales. Obsérvese que si es un entero positivo, todos los coeficientes son a partir de cierto punto, y tenemos el teorema del binomio ordinario.
NOTA: En las primeras investigaciones sobre las series de Taylor, la gente a menudo simplemente asumía que la serie se aproximaba a la función siempre que la serie se aproximara a cualquier tipo de límite. Que esto es falso se ve considerando la función
f(x) = \left\{\begin{aligned} &e^{-\frac{1}{x^2}}, && x \neq 0 \\ &0, && x = 0 \end{aligned}\right\}\cdotEntonces f(0) = 0 = f'(0) = f''(0) = \dots = 0, de modo que la serie de Taylor alrededor de es simplemente una serie de 0, con límite 0. Sin embargo, la función nunca es 0 excepto en .
EJERCICIOS
- Aplicar el teorema de Bernstein para demostrar que las series de Taylor para y alrededor de cualquier convergen a las funciones respectivas para todo .
- Aplicar el teorema para demostrar que la serie de Taylor para alrededor de converge a si .
- Usar en la serie binomial para estimar con cuatro decimales.
- Usar para estimar . Dado que esto es también , obtener una estimación de con cinco cifras.