El teorema de convergencia de Bernstein. Serie binomial

Sea f ( x ) una función definida para a x b ; supongamos también que para cada entero n 0 , f ( n ) ( x ) existe y f ( n ) ( x ) 0 para a x b . Sea x 1 algún punto del intervalo y elijamos un entero positivo fijo n . Consideremos entonces la fórmula de Taylor para f ( x ) alrededor de x 1 , donde el polinomio de la fórmula tiene más de n términos, digamos m términos. En particular, consideremos qué obtenemos para f ( b ) , 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 x 1 < ξ < b . Ahora bien, todos los términos de la suma de la derecha son no negativos; por lo tanto, f ( b ) 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 n .

Consideremos ahora la función f''(x). Dado que las derivadas de f''(x) son también derivadas de f ( x ) , todas son no negativas en a x b . Por lo tanto, podemos usar f''(x) en lugar de f ( x ) 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 n ; en particular, vale para n 2 , donde n 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 x 1 del intervalo.

Ahora sea x 0 algún punto del intervalo, y consideremos el desarrollo de Taylor alrededor de x 0 para f ( x ) , donde x también está en el intervalo. El resto de Cauchy después de n términos tiene valor absoluto

| x x 0 | | x ξ | n 1 ( n 1 ) ! f ( n ) ( ξ ) ,

donde ξ está entre x y x 0 . 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 0 cuando n se haga grande si | x ξ | b ξ . Si x 0 < x , entonces | x ξ | = x ξ b ξ . Si x < x 0 , y si | x x 0 | b x 0 , entonces | x ξ | | x x 0 | b x 0 b ξ . Por lo tanto, sabemos que el resto tiende a cero siempre que | x x 0 | b x 0 . Resumamos el resultado que hemos demostrado, que es el teorema de convergencia de Bernstein.

Teorema 1

Sea f ( x ) tal que f(x) \ge 0, f'(x) \ge 0, f''(x) \ge 0, \dots para todo x tal que a x b . Sea a < x 0 < b , y sea x un punto del intervalo tal que | x x 0 | b x 0 . 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) + \cdots

converge a f ( x ) .

Por ejemplo, este teorema nos dice que la serie de Taylor para e x formada alrededor de cualquier punto converge a e x para todo x . El resultado puede extenderse a una clase considerablemente mayor de funciones si hacemos algunas observaciones. Primero supongamos que existe algún número M tal que f(x) \ge M, f'(x) \ge M, f''(x) \ge M, \dots siempre que a x b . Si M 0 , entonces la serie de Taylor de f ( x ) converge a f ( x ) por el teorema de Bernstein. Si M < 0 , sea

g ( x ) = f ( x ) M e ( x a )

Entonces g ( x ) M M e x a = M ( 1 e x a ) 0 , 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 g ( x ) converge a g ( x ) . Como hemos señalado, la serie de Taylor para e x a converge a e x a ( = e a e x ) . Dado que la operación de formar la serie de Taylor es lineal, la serie de Taylor para f ( x ) es la de g ( x ) más M veces la de e x a ; el resto en cada una de estas tiende a cero, y por lo tanto el resto para f ( x ) , que es la suma de estos restos, tiende a cero. Así vemos que la serie de Taylor para f ( x ) converge a f ( x ) si todas las derivadas de f ( x ) están acotadas inferiormente.

A continuación supongamos que f ( n ) ( x ) 0 para a x b , siempre que n > N para algún N fijo. Entonces sea M 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 \cdot

Entonces f ( i ) ( x ) M para todo i 0 , y vemos, como antes, que la serie de Taylor para f ( x ) converge a f ( x ) . Dado que la serie de Taylor para f ( x ) tiene como términos los negativos de los de la serie de Taylor para f ( x ) , podemos usar f ( x ) para demostrar que la serie de Taylor para f ( x ) converge a f ( x ) siempre que todas las f ( n ) ( x ) estén acotadas superiormente, en particular si todas f ( n ) ( x ) 0 .

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 f ( x ) alternan de signo. Sea a < x 0 < b . Entonces b < x 0 < a , y si b ξ a , sea g ( ξ ) = f ( ξ ) . Entonces

g(\xi) \ge 0, g'(\xi) = -f'(-\xi) \ge 0, g''(\xi) \ge 0, \dots ,

o bien g ( n ) ( ξ ) 0 para todo n siempre que b ξ a . Así, sabemos por el teorema de Bernstein que la serie de Taylor para g ( ξ ) alrededor de x 0 converge a g ( ξ ) siempre que | ξ ( x 0 ) | a ( x 0 ) , o siempre que | ξ + x 0 | x 0 a . La serie de Taylor para g ( ξ ) = f ( ξ ) alrededor de x 0 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 x = ξ , ξ = x . Entonces, siempre que | x + x 0 | x 0 a , o | x x 0 | x 0 a , 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 f ( x ) . Nótese que en este caso converge a f ( x ) siempre que x esté más cerca de x 0 que x 0 de a , mientras que en el teorema original teníamos convergencia a f ( x ) siempre que x estuviera más cerca de x 0 que x 0 de b . Obsérvese también que, como antes, basta con que los signos alternen a partir de algún N .

Aplicaremos esta última observación para investigar la función f ( x ) = x α para x > 0 , α cualquier número. Entonces

f'(x) = \alpha x^{\alpha-1},\quad f''(x) = \alpha(\alpha - 1)x^{\alpha-2},\quad \dots ,

y eventualmente

f ( N ) ( x ) = α ( α 1 ) ( α N + 1 ) x α N , donde  α < N

Entonces f ( N + 1 ) ( x ) = α ( α 1 ) ( α N + 1 ) ( α N ) x α N 1 tiene el signo opuesto a f ( N ) ( x ) para todo x > 0 , ya que α N < 0 , f ( N + 2 ) ( x ) tiene el signo opuesto a f ( N + 1 ) ( x ) , y los signos de f ( n ) ( x ) alternan para n > N . Por lo tanto, si ϵ es cualquier número positivo pequeño y x 0 > ϵ , la serie de Taylor para f ( x ) alrededor de x 0 converge a f ( x ) siempre que | x x 0 | x 0 ϵ . Si | x x 0 | < x 0 , entonces estamos seguros de que | x x 0 | x 0 ϵ para algún ϵ positivo. Por lo tanto, la serie converge a f ( x ) siempre que | x x 0 | < x 0 .

Ahora cambiemos un poco la notación y escribamos x 0 = a , x = a + b . Entonces desarrollamos f ( x ) = ( a + b ) α en potencias de ( x x 0 ) = b . (Aquí a > 0 .) 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 ( a + b ) α siempre que | ( a + b ) a | < a , o siempre que | b | < a . Esta es la llamada serie binomial, y los coeficientes

α ( α 1 ) ( α n ) n ! = ( α n )

se denominan coeficientes binomiales. Obsérvese que si α es un entero positivo, todos los coeficientes son 0 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\}\cdot

Entonces f(0) = 0 = f'(0) = f''(0) = \dots = 0, de modo que la serie de Taylor alrededor de x 0 = 0 es simplemente una serie de 0, con límite 0. Sin embargo, la función nunca es 0 excepto en x = 0 .

EJERCICIOS

Ejercicio 1.
  1. Aplicar el teorema de Bernstein para demostrar que las series de Taylor para sin x y cos x alrededor de cualquier x 0 convergen a las funciones respectivas para todo x .
Ejercicio 2.
  1. Aplicar el teorema para demostrar que la serie de Taylor para log x alrededor de x 0 = 1 converge a log x si | x 1 | < 1 .
Ejercicio 3.
  1. Usar a = 32 , b = 1 en la serie binomial para estimar 33 5 con cuatro decimales.
Ejercicio 4.
  1. Usar a = 100 , b = 2 para estimar 98 . Dado que esto es también 2 7 , obtener una estimación de 2 con cinco cifras.