Seja uma função definida para ; suponha também que para todo inteiro existe e para . Seja um ponto do intervalo e escolha um inteiro positivo fixo . Então considere a fórmula de Taylor para em torno de , onde o polinômio da fórmula tem mais de termos, digamos termos. Em particular, considere o que isso nos dá para , quando usamos o 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}onde . Agora, todos os termos da soma à direita são não negativos; portanto é maior ou igual a qualquer um deles. Em particular,
\frac{(b-x_1)^n}{n!} f^{(n)}(x_1) \le f(b), \tag{1}e isso vale para qualquer .
Agora considere a função f''(x). Como as derivadas de f''(x) são também derivadas de , todas elas são não negativas em . Portanto, podemos usar f''(x) no lugar de em (1), obtendo
\frac{(b-x_1)^n}{n!} f^{(n+2)}(x_1) \le f''(b), \quad \text{ou}f^{(n+2)}(x_1) \le \frac{n!}{(b-x_1)^n} f''(b) \cdot \tag{2}Esta última desigualdade também vale para qualquer ; em particular, vale para , onde é como em (1). Então ela se torna
f^{(n)}(x_1) \le \frac{(n-2)!}{(b-x_1)^{n-2}} f''(b) \cdot \tag{3}Isso vale para qualquer ponto do intervalo.
Agora seja um ponto do intervalo, e considere a expansão de Taylor em torno de para , onde também está no intervalo. O resto de Cauchy após termos tem valor absoluto
onde está entre e . Por (3), isso é menor ou igual a
\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}Isso tenderá a quando se tornar grande se . Se , então . Se , e se , então . Portanto, sabemos que o resto tende a zero sempre que . Resumamos o resultado que provamos, que é o teorema de convergência de Bernstein.
Seja tal que f(x) \ge 0, f'(x) \ge 0, f''(x) \ge 0, \dots para todo tal que . Seja , e seja um ponto do intervalo tal que . Então a série de Taylor
f(x_0) + \frac{(x-x_0)}{1!} f'(x_0) + \frac{(x-x_0)^2}{2!} f''(x_0) + \cdotsconverge para .
Por exemplo, este teorema nos diz que a série de Taylor para formada em torno de qualquer ponto whatsoever converge para para todo . O resultado pode ser estendido a uma classe consideravelmente maior de funções se fizermos algumas observações. Primeiro suponha que existe um número tal que f(x) \ge M, f'(x) \ge M, f''(x) \ge M, \dots sempre que . Se , então a série de Taylor de converge para pelo teorema de Bernstein. Se , seja
Então , já que ambos os fatores são menores ou iguais a zero. Da mesma forma, g'(x) = f'(x) - M e^{x-a} \ge 0, g''(x) \ge 0, \dots. Portanto, a série de Taylor para converge para . Como observamos, a série de Taylor para converge para . Como a operação de formar a série de Taylor é linear, a série de Taylor para é a de mais vezes a de ; o resto em cada uma delas vai para zero, e portanto o resto para , que é a soma desses restos, vai para zero. Assim, vemos que a série de Taylor para converge para se todas as derivadas de são limitadas inferiormente.
Em seguida, suponha para , sempre que para algum fixo. Então seja o menor dos números
0, \min f(x), \min f'(x), \dots, \min f^{(N)}(x) \quad \text{em } a \le x \le b \cdotEntão para todo , e vemos como acima que a série de Taylor para converge para . Como a série de Taylor para tem como termos os negativos dos termos da série de Taylor para , podemos usar para provar que a série de Taylor para converge para sempre que todas as são limitadas superiormente, em particular se todas .
Agora seja f(x) \ge 0, f'(x) \le 0, f''(x) \ge 0, f'''(x) \le 0, \dots; em outras palavras, as derivadas de alternam de sinal. Seja . Então , e se , seja . Então
g(\xi) \ge 0, g'(\xi) = -f'(-\xi) \ge 0, g''(\xi) \ge 0, \dots ,ou para todo sempre que . Assim, sabemos pelo teorema de Bernstein que a série de Taylor para em torno de converge para sempre que , ou sempre que . A série de Taylor para em torno de é:
\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}Agora seja . Então, sempre que , ou , temos, no limite,
\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}Mas isto é exatamente a série de Taylor para . Note que, neste caso, ela converge para sempre que está mais próximo de do que está de , enquanto no teorema original tínhamos convergência para sempre que estava mais próximo de do que estava de . Observe também que, como antes, basta que os sinais alternem a partir de algum .
Aplicaremos esta última observação para investigar a função para , qualquer número. Então
f'(x) = \alpha x^{\alpha-1},\quad f''(x) = \alpha(\alpha - 1)x^{\alpha-2},\quad \dots ,e eventualmente
Então tem o sinal oposto ao de para todo , já que tem o sinal oposto ao de , e os sinais de alternam para . Portanto, se é qualquer número positivo pequeno e , a série de Taylor para em torno de converge para desde que . Se , então temos certeza de que para algum positivo. Portanto, a série converge para desde que .
Agora vamos mudar um pouco a notação e escrever . Então expandimos em potências de . (Aqui .) Assim
\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}no sentido de que a série converge para sempre que , ou sempre que . Esta é a chamada série binomial, e os coeficientes
são chamados de coeficientes binomiais. Observe que, se é um inteiro positivo, todos os coeficientes são a partir de certo ponto, e temos o teorema binomial ordinário.
NOTA: Nas primeiras investigações sobre séries de Taylor, as pessoas frequentemente simplesmente assumiam que a série se aproximava da função sempre que a série se aproximava de qualquer tipo de limite. Que isso é falso pode ser visto considerando a função
f(x) = \left\{\begin{aligned} &e^{-\frac{1}{x^2}}, && x \neq 0 \\ &0, && x = 0 \end{aligned}\right\}\cdotEntão f(0) = 0 = f'(0) = f''(0) = \dots = 0, de modo que a série de Taylor em torno de é simplesmente uma série de 0's, tendo limite 0. No entanto, a função nunca é 0 exceto em .
EXERCÍCIOS
- Aplique o teorema de Bernstein para mostrar que as séries de Taylor para e em torno de qualquer convergem para as respectivas funções para todo .
- Aplique o teorema para mostrar que a série de Taylor para em torno de converge para se .
- Use na série binomial para estimar com quatro casas decimais.
- Use para estimar . Como isto também é , obtenha uma estimativa de com cinco casas.