Apêndice B Exponenciais superam polinômios

Para todo x0x\geqslant 0 e nn\in\mathbb{N},

ex1+x+x22+x33!++xnn!e^{x}\geqslant 1+x+\frac{x^{2}}{2}+\frac{x^{3}}{3!}+\dots+\frac{x^{n}}{n!}
Demonstração.

Para n=0n=0, já sabemos que ex1e^{x}\geqslant 1. Para n=1n=1,

ex=1+0xexdx1+0x1dx=1+xe^{x}=1+\int_{0}^{x}e^{x}\,\mathrm{d}x\geqslant 1+\int_{0}^{x}1\,\mathrm{d}x=1+x

Para n=2n=2,

ex=1+0xexdx1+0x(1+x)dx=1+x+x22e^{x}=1+\int_{0}^{x}e^{x}\,\mathrm{d}x\geqslant 1+\int_{0}^{x}(1+x)\mathrm{d}x% =1+x+\tfrac{x^{2}}{2}

Para n=3n=3,

ex=1+0xexdx1+0x(1+x+x22)dx=1+x+x22+x33!.e^{x}=1+\int_{0}^{x}e^{x}\,\mathrm{d}x\geqslant 1+\int_{0}^{x}(1+x+\tfrac{x^{2% }}{2})\mathrm{d}x=1+x+\tfrac{x^{2}}{2}+\tfrac{x^{3}}{3!}.

O padrão é claro. ∎

Isso implica que

a0+a1x++anxneax\frac{a_{0}+a_{1}x+\dots+a_{n}x^{n}}{e^{ax}}

tende a 0 à medida que x+x\to+\infty, para todo a>0a>0.

Demonstração.

De fato, como eaxan+1(n+1)!xn+1e^{ax}\geqslant\frac{a^{n+1}}{(n+1)!}x^{n+1}, cada termo em

a0eax+a1xeax++anxneax\frac{a_{0}}{e^{ax}}+\frac{a_{1}x}{e^{ax}}+\dots+\frac{a_{n}x^{n}}{e^{ax}}

está se aproximando de zero à medida que xx aumenta. ∎

Isso é útil ao calcular integrais impróprias que incluem polinômios e funções exponenciais.