Para cada afirmação abaixo, indique se é Verdadeira (V) ou Falsa (F). Quando for V, apresente uma breve justificativa matemática. Quando for \mathbf{F}), reescreva a afirmação corretamente e explique o erro conceitual.
A série de Taylor de uma função f converge sempre para f(x) em todo o domínio da função.

Passo 1

Enunciado (o que a questão pede): decidir se a afirmação abaixo é Verdadeira (V) ou Falsa (F).
“A série de Taylor de uma função f converge sempre para f(x) em todo o domínio da função.”
Informações relevantes dadas pelo enunciado:
  • Temos uma função f (assumida definida em algum domínio, por exemplo \mathbb{R} ou subconjunto).
  • A afirmação fala em "a série de Taylor de f" sem especificar ponto de expansão (assumimos a série de Taylor centrada num ponto qualquer a, frequentemente a=0).
  • A afirmação afirma duas coisas combinadas: (i) que a série de Taylor sempre converge (em todo o domínio) e (ii) que, quando converge, converge para f(x) (isto é, o somatório da série coincide com f em todo o domínio).

Passo 2

O que é a série de Taylor (definição precisa e notação):
A série de Taylor de uma função f centrada em a é
\sum_{n=0}^{\infty} \frac{f^{(n)}(a)}{n!}(x-a)^n.
Aqui f^{(n)}(a) é a n-ésima derivada de f calculada em a. Essa série é uma soma infinita de potências de (x-a). Dois conceitos importantes surgem imediatamente: (i) a série pode ter um raio de convergência R\in[0,\infty]; (ii) mesmo quando a série converge para um x, não é garantido, a priori, que o valor da soma seja exatamente f(x).
Explicação didática do raio de convergência:
O raio R é tal que a série converge absolutamente para |x-a|<R e diverge para |x-a|>R. Podemos encontrar R com o teste da razão ou da raiz aplicados aos coeficientes \frac{f^{(n)}(a)}{n!}. Mesmo se R>0, a igualdade entre soma da série e f depende do comportamento do resto (termo de truncamento).

Passo 3

Quando a série de Taylor coincide com a função? (conceito-chave)
  • Definição: dizemos que f é real-analítica em a se existe R>0 tal que a série de Taylor centrada em a converge para f(x) para todo x com |x-a|<R.
  • Teorema (intuitivo): se f é real-analítica em a então a série de Taylor convergirá para f numa vizinhança de a. O recíproco também é verdade: se a série de Taylor converge para f numa vizinhança de a, então f é analítica aí.
  • Importante: ser apenas infinitamente diferenciável (função C^\infty, “suave”) NÃO garante ser analítica. Ou seja, existir todas as derivadas em a não implica que a série de Taylor represente f.

Passo 4

Contraexemplo clássico (mostra a afirmação é falsa): função “flat” em 0\). Defina \[f(x)= \begin{cases} e^{-1/x^2}, & x\neq 0,\\[4pt] 0, & x=0. \end{cases}
Propriedades importantes (explicadas devagarinho):
  • Para x\neq 0\], \(f(x)>0. A função é suave ( C^\infty) em \mathbb{R}.
  • Contudo, todas as derivadas em 0 são zero: f^{(n)}(0)=0 para todo n\ge 0. Intuição e prova curta: para n fixo, use que e^{-1/x^2} tende a 0 mais rápido que qualquer potência de x quando x\to 0. Formalmente, para todo m\in\mathbb{N},
\lim_{x\to 0} \frac{e^{-1/x^2}}{x^m}=0,
o que implica que ao calcular derivadas via definição de limite, os termos que aparecem tendem a 0. Assim todas as derivadas em 0 são zero. (Se quiser, dá para provar por substituição t=1/x e estimativas exponenciais; é um cálculo padrão.)
  • Então a série de Taylor centrada em 0 é
\sum_{n=0}^\infty \frac{f^{(n)}(0)}{n!} x^n = \sum_{n=0}^\infty 0\cdot x^n = 0,
que converge para 0 para todo x. Porém f(x)\neq 0 para x\neq 0. Logo a série de Taylor converge (em todo o domínio) mas não converge para f(x) quando x\neq 0. Isso mostra explicitamente que a afirmação dada é falsa.]

Passo 5

Outro tipo de contraexemplo que mostra problema com raio de convergência: função com singularidade fora do ponto de expansão. Considere
g(x)=\frac{1}{1+x^2}
e sua série de Maclaurin (centrada em 0). Usando a série geométrica,
\frac{1}{1+x^2}=\sum_{k=0}^\infty (-1)^k x^{2k},
mas essa igualdade vale apenas para |x|<1 (o raio de convergência é R=1, porque há singularidades em x=\pm i no plano complexo). Para |x|\ge 1 a série diverge ou não representa g(x). Assim a série nem sempre converge em todo o domínio de g (que é \mathbb{R}). Esse exemplo mostra o problema do “sempre” da afirmação original: o alcance da convergência é limitado pelo raio.

Passo 6

Erro conceitual explicado, de forma amigável:
A afirmação confunde três coisas diferentes (e comuns na confusão de quem está começando):
  1. existence of derivatives of all orders (função C^\infty) — isso NÃO implica que a série de Taylor represente a função;
  2. convergence of the Taylor series — the series might converge only inside a radius R (not necessarily the whole domain);
  3. equality between sum of series and f — this requires analyticity (or verification that the remainder tends to zero).
    Resumindo: ter derivadas não é suficiente; é preciso que f seja analítica (ou que o resto de Taylor tenda a zero) para garantir que a série some exatamente a f.

Passo 7

Afirmação correta (reescrita adequada):
“A série de Taylor de uma função f centrada em a converge para f(x) numa vizinhança de a se, e somente se, f for real-analítica em a. Em geral a série tem um raio de convergência R e só pode representar f para |x-a|<R; além disso, existem funções C^\infty cuja série de Taylor em a converge (até mesmo para todos os x) e não representa f.”
Dica prática para prova/questões: para mostrar que a série representa a função, analyze o termo resto de Taylor (forma de Lagrange ou integral) e mostre que ele tende a zero; para refutar a afirmação “sempre” basta um contraexemplo como f(x)=e^{-1/x^2} (mostrando que todas as derivadas em 0 são zero) ou g(x)=1/(1+x^2) para evidenciar raio finito de convergência.

Resposta

F
Correção: “A série de Taylor de f centrada em a converge para f(x) numa vizinhança de a somente quando f é (real-)analítica em a. Nem toda função C^\infty é analítica, e a série tem um raio de convergência que pode ser menor que o domínio inteiro.”

Exercícios relacionados