Para cada afirmação abaixo, indique se é Verdadeira (V) ou Falsa (F). Quando for V, apresente uma breve justificativa matemática. Quando for
), reescreva a afirmação corretamente e explique o erro conceitual.
A série de Taylor de uma função
converge sempre para
em todo o domínio da função.
A série de Taylor de uma 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 converge sempre para
em todo o domínio da função.”
“A série de Taylor de uma função
Informações relevantes dadas pelo enunciado:
- Temos uma função
(assumida definida em algum domínio, por exemplo ou subconjunto). - A afirmação fala em "a série de Taylor de
" sem especificar ponto de expansão (assumimos a série de Taylor centrada num ponto qualquer , frequentemente ). - 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
(isto é, o somatório da série coincide com 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 centrada em
é
A série de Taylor de uma função
Aqui
é a
-ésima derivada de
calculada em
. Essa série é uma soma infinita de potências de
. Dois conceitos importantes surgem imediatamente: (i) a série pode ter um raio de convergência
; (ii) mesmo quando a série converge para um
, não é garantido, a priori, que o valor da soma seja exatamente
.
Explicação didática do raio de convergência:
O raio é tal que a série converge absolutamente para
e diverge para
. Podemos encontrar
com o teste da razão ou da raiz aplicados aos coeficientes
. Mesmo se
, a igualdade entre soma da série e
depende do comportamento do resto (termo de truncamento).
O raio
Passo 3
Quando a série de Taylor coincide com a função? (conceito-chave)
- Definição: dizemos que
é real-analítica em se existe tal que a série de Taylor centrada em converge para para todo com . - Teorema (intuitivo): se
é real-analítica em então a série de Taylor convergirá para numa vizinhança de . O recíproco também é verdade: se a série de Taylor converge para numa vizinhança de , então é analítica aí. - Importante: ser apenas infinitamente diferenciável (função
, “suave”) NÃO garante ser analítica. Ou seja, existir todas as derivadas em não implica que a série de Taylor represente .
Passo 4
Contraexemplo clássico (mostra a afirmação é falsa): função “flat” em
Propriedades importantes (explicadas devagarinho):
- Para
. A função é suave (
) em . - Contudo, todas as derivadas em
são zero: para todo . Intuição e prova curta: para fixo, use que tende a mais rápido que qualquer potência de quando . Formalmente, para todo ,
o que implica que ao calcular derivadas via definição de limite, os termos que aparecem tendem a
. Assim todas as derivadas em
são zero. (Se quiser, dá para provar por substituição
e estimativas exponenciais; é um cálculo padrão.)
- Então a série de Taylor centrada em
é
que converge para
para todo
. Porém
para
. Logo a série de Taylor converge (em todo o domínio) mas não converge para
quando
. 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
e sua série de Maclaurin (centrada em
). Usando a série geométrica,
mas essa igualdade vale apenas para
(o raio de convergência é
, porque há singularidades em
no plano complexo). Para
a série diverge ou não representa
. Assim a série nem sempre converge em todo o domínio de
(que é
). 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):
A afirmação confunde três coisas diferentes (e comuns na confusão de quem está começando):
- existence of derivatives of all orders (função
) — isso NÃO implica que a série de Taylor represente a função; - convergence of the Taylor series — the series might converge only inside a radius
(not necessarily the whole domain); - equality between sum of series and
— this requires analyticity (or verification that the remainder tends to zero).
Resumindo: ter derivadas não é suficiente; é preciso queseja analítica (ou que o resto de Taylor tenda a zero) para garantir que a série some exatamente a .
Passo 7
Afirmação correta (reescrita adequada):
“A série de Taylor de uma função centrada em
converge para
numa vizinhança de
se, e somente se,
for real-analítica em
. Em geral a série tem um raio de convergência
e só pode representar
para
; além disso, existem funções
cuja série de Taylor em
converge (até mesmo para todos os
) e não representa
.”
“A série de Taylor de uma função
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
(mostrando que todas as derivadas em 0 são zero) ou
para evidenciar raio finito de convergência.
Resposta
F
Correção: “A série de Taylor de centrada em
converge para
numa vizinhança de
somente quando
é (real-)analítica em
. Nem toda função
é analítica, e a série tem um raio de convergência que pode ser menor que o domínio inteiro.”
Correção: “A série de Taylor de