Demostrar que $\int_0^\infty\frac{x^n}{1+e^{x-t}}\mathrm{d}x = \frac{t^{n+1}}{n+1} + o(t^n)$, cuando se $t \to \infty,\,n\in\Bbb{R}^+$

Question

Me hae para demostrar que $$\int_0^\infty\frac{x^n}{1+e^{x-t}}\mathrm{d}x = \frac{t^{n+1}}{n+1} + o(t^n), \quad\text{ when } t \to \infty,\,n\in\Bbb{R}^+$$ donde $o(\cdot)$ es el Poco o notación.

Lo que he hecho hasta ahora:

Deje $F_n(t) = \int_0^\infty\frac{x^n}{1+e^{x-t}}\mathrm{d}x$,$F_0(t) =\int_0^\infty\frac{1}{1+e^{x-t}}\mathrm{d}x = \log(e^t+1)$. La derivada de $F_n(t)$ es: \begin{align*} F_n'(t) &= \int_0^\infty\frac{e^{x-t}x^n}{(1+e^{x-t})^2}\mathrm{d}x\\ &= -\int_0^\infty x^n\mathrm{d}\frac{1}{1+e^{x-t}}\\ &= \left.\frac{x^n}{1+e^{x-t}}\right|_0^\infty+\int_0^\infty \frac{1}{1+e^{x-t}}\mathrm{d}x^n\\ &= \int_0^\infty \frac{nx^{n-1}}{1+e^{x-t}}\mathrm{d}x\\ &= nF_{n-1}(t) \end{align*}

Answer 1

En primer lugar, vamos a dividir la integral: $$ \begin{align} \int_0^\infty\frac{x^n}{1+e^{x-t}}\mathrm{d}x &=\int_{-t}^\infty\frac{(x+t)^n}{1+e^x}\mathrm{d}x\\ &=\color{#C00000}{\int_{-t}^0\frac{(x+t)^n}{1+e^x}\mathrm{d}x}+\color{#00A000}{\int_0^\infty\frac{(x+t)^n}{1+e^x}\mathrm{d}x}\tag{1} \end{align} $$ Tenga en cuenta que la primera integral en el lado derecho de la $(1)$ es $$ \begin{align} \color{#C00000}{\int_{-t}^0\frac{(x+t)^n}{1+e^x}\mathrm{d}x} &=t^{n+1}\int_{-1}^0\frac{(1+x)^n}{1+e^{tx}}\mathrm{d}x\\ &=t^{n+1}\int_{-1}^0(1+x)^n\,\mathrm{d}x-\color{#0000FF}{t^{n+1}\int_{-1}^0\frac{(1+x)^n}{1+e^{tx}}e^{tx}\,\mathrm{d}x}\\ &=\frac{t^{n+1}}{n+1}+O\left(t^n\right)\tag{2} \end{align} $$ porque $$ \begin{align} \color{#0000FF}{t^{n+1}\int_{-1}^0\frac{(1+x)^n}{1+e^{tx}}e^{tx}\,\mathrm{d}x} &\le t^{n+1}\int_{-1}^0(1+x)^n\,e^{tx}\mathrm{d}x\\ &\le t^{n+1}\int_{-1}^0e^{nx}\,e^{tx}\mathrm{d}x\\ &\le\frac{t^{n+1}}{n+t}\\[6pt] &=O\left(t^n\right)\tag{3} \end{align} $$ Además, dominado por la convergencia $$ \lim_{t\to\infty}\int_0^\infty\left(1+\frac xt\right)^n\,e^{-x}\,\mathrm{d}x =1\etiqueta{4} $$ por lo tanto, la segunda integral en el lado derecho de la $(1)$ es $$ \begin{align} \color{#00A000}{\int_0^\infty\frac{(x+t)^n}{1+e^x}\mathrm{d}x} &\le t^n\int_0^\infty\left(1+\frac xt\right)^n\,e^{-x}\,\mathrm{d}x\\ &=O\left(t^n\right)\tag{5} \end{align} $$ La combinación de $(1)$, $(2)$, y $(5)$, obtenemos $$ \int_0^\infty\frac{x^n}{1+e^{x t}}\mathrm{d}x =\frac{t^{n+1}}{n+1}+O\left(t^n\right)\etiqueta{6} $$

Answer 2

Tenemos: $$ F_0(t) = \log(e^t+1) = t+\log(1+e^{-t}) = t+o(1) $$ y puesto que su identidad le da: $$ F_n(t) = n\int_{0}^{t} F_{n-1}(u)\,du $$ tenemos: $$ F_1(t) = \frac{t^2}{2}+o(t), $$ $$ F_2(t) = \frac{t^3}{3}+o(t^2), $$ y así sucesivamente, por lo que la demanda tiene por inducción para cualquier $n\in\mathbb{N}_{>0}$. Por otra parte, debido a que: $$ F_n(t) = \frac{t^{n+1}}{n+1}-\int_{0}^{t}\frac{(t-x)^n}{e^{x}+1}\,dx+\int_{0}^{+\infty}\frac{(t+x)^n}{e^x+1}\,dx\tag{1}$$ es suficiente para estimar: $$ \int_{0}^{+\infty}\frac{e^{nx/t}}{e^x+1}\,dx = \frac{t}{t-n}-\frac{t}{2t-n}+\frac{t}{3t-n}-\ldots=\log 2+O\left(\frac{n}{t}\right)$$ y demostrar que $$ \lim_{t\to +\infty}\frac{1}{t^n}\int_{0}^{t}\frac{(t-x)^n}{e^x+1}\,dx=\lim_{t\to +\infty}\int_{0}^{t}\frac{(x/t)^n}{e^{t-x}+1}\,dx=\log 2,$$ que se sigue del teorema de convergencia dominada, para que el reclamo por $n\in\mathbb{R}^+$, demasiado.