Exercício 38. Considere a função f(x)=\sum_{n=0}^{\infty} \frac{x^{n}}{n!};
a) Verifique que f(x) está definida para todo x \in \mathbb{R};
b) Verifique que f^{\prime}(x)=f(x). Conclua que f(x)=e^{x} (Dica: derive o quociente \left.\frac{f(x)}{e^{x}}\right) ;
c) As séries \sum_{n=0}^{\infty} \frac{1}{n!} e \sum_{n=0}^{\infty} \frac{(-1)^{n}}{n!} convergem (neste momento, esta afirmação é uma consequência direta do que já foi feito). Determine seus valores;
d) Determine as expansões em série para \operatorname{senh}(x) e \operatorname{cosh} (x). Analise a paridade destas funções e como isso se reflete na sua expansão em série;
Passo 1
O enunciado dá a função \displaystyle f(x)=\sum_{n=0}^{\infty}\frac{x^{n}}{n!} e pede quatro coisas:
a) Mostrar que f(x) está definida para todo x\in\mathbb{R} (ou seja, que a série converge para todo real).
b) Mostrar que f'(x)=f(x) e concluir que f(x)=e^{x} (a dica sugere estudar \displaystyle\frac{f(x)}{e^{x}}).
c) Mostrar que as séries \displaystyle\sum_{n=0}^{\infty}\frac{1}{n!} e \displaystyle\sum_{n=0}^{\infty}\frac{(-1)^{n}}{n!} convergem e determinar seus valores.
d) Determinar as séries de potência (expansões) para \operatorname{senh}(x) e \operatorname{cosh}(x), analisar a paridade de cada função e como essa paridade aparece nas séries.
Informações relevantes dadas:
A definição explícita da função f como série de potências \displaystyle\sum_{n=0}^{\infty}\frac{x^{n}}{n!}.
A sugestão de usar o quociente \displaystyle\frac{f(x)}{e^{x}} para concluir que f(x)=e^{x}.
Passo 2
Queremos provar que \displaystyle f(x)=\sum_{n=0}^{\infty}\frac{x^{n}}{n!} converge para todo x\in\mathbb{R}. Vou usar o teste da razão (um jeito padrão e direto para séries de potências).
O teste da razão compara os termos consecutivos da série. Para a série com termo geral a_{n}=\dfrac{x^{n}}{n!} calculamos
para todo x\in\mathbb{R}. Pelo teste da razão, se esse limite é menor que 1 (aqui é 0), a série converge absolutamente. Concluímos que, para qualquer x\in\mathbb{R}, a série que define f(x) converge.
Passo 3
Explicando um pouco mais a ideia para você aplicar em prova: a razão para usar o teste da razão é que n! cresce muito rápido, então os termos \dfrac{x^n}{n!} vão para zero rapidamente e a razão entre termos consecutivos tende a zero, o que garante convergência absoluta. Assim, a série de potências tem raio de convergência infinito — ou seja, é válida para todo real.
Passo 4
Agora vamos derivar termo a termo. Há um teorema simples: uma série de potências pode ser diferenciada termo a termo dentro do seu raio de convergência; como aqui o raio é infinito, podemos diferenciar termo a termo para todo x\in\mathbb{R}.
e e^{0}=1. Logo g(0)=\dfrac{f(0)}{e^{0}}=1. Portanto g(x)\equiv1 para todo x, e assim
f(x)=e^{x}\quad\text{para todo }x\in\mathbb{R}.
Comentário pedagógico: aqui usamos que a função exponencial e^{x} é a solução bem conhecida da EDO y'=y com y(0)=1. Mostramos que f satisfaz a mesma EDO com a mesma condição inicial, logo coincide com e^{x}.
Passo 6
Agora a letra (c). As séries pedidas são casos particulares de f(x): para x=1 e x=-1.
Como já provamos que a série converge para todo x, ela converge em x=1 e em x=-1. Usando que f(x)=e^{x} obtemos
Análise de paridade e observações finais (como isso aparece nas séries):
\operatorname{cosh}(x) é uma função par porque \operatorname{cosh}(-x)=\operatorname{cosh}(x). Isso se reflete na série por conter apenas potências pares \displaystyle \sum_{k=0}^{\infty}\frac{x^{2k}}{(2k)!}.
\operatorname{senh}(x) é ímpar porque \operatorname{senh}(-x)=-\operatorname{senh}(x). Isso se reflete na série por conter apenas potências ímpares \displaystyle \sum_{k=0}^{\infty}\frac{x^{2k+1}}{(2k+1)!}.
Exemplo rápido para lembrar: os primeiros termos das séries são
Essas formas são úteis na prova e em aproximações rápidas.
Resposta
a) A série converge para todo x\in\mathbb{R} (raio de convergência infinito), então f(x) está definida para todo x\in\mathbb{R}.\n
b) f'(x)=f(x) e, com a condição inicial f(0)=1, concluímos f(x)=e^{x}.\n
c) \displaystyle\sum_{n=0}^{\infty}\frac{1}{n!}=e \n\displaystyle\sum_{n=0}^{\infty}\frac{(-1)^{n}}{n!}=\frac{1}{e}.\n
d) \displaystyle \operatorname{senh}(x)=\sum_{k=0}^{\infty}\frac{x^{2k+1}}{(2k+1)!} (ímpar), \displaystyle \operatorname{cosh}(x)=\sum_{k=0}^{\infty}\frac{x^{2k}}{(2k)!} (par).