Apêndice B Exponenciais superam polinômios

Para todo x⩾0x\geqslant 0 e n∈ℕn\in\mathbb{N},

ex⩾1+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 ex⩾1e^{x}\geqslant 1. Para n=1n=1,

ex=1+∫0xex⁢dx⩾1+∫0x1⁢dx=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+∫0xex⁢dx⩾1+∫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+∫0xex⁢dx⩾1+∫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+a1⁢x+⋯+an⁢xnea⁢x\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 ea⁢x⩾an+1(n+1)!⁢xn+1e^{ax}\geqslant\frac{a^{n+1}}{(n+1)!}x^{n+1}, cada termo em

a0ea⁢x+a1⁢xea⁢x+⋯+an⁢xnea⁢x\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.