Se ha observado que la integral $$\int_0^\infty \frac{1}{x^n+1} dx$$ a menudo se aborda con la descomposición parcial de la fracción, pero esto se vuelve cada vez más feo a medida que $n$ se hace más grande. ¿Existe algún truco para hacer todo esto de una sola vez? ¿O un nombre famoso para estas integrales que pueda buscar para obtener más información?
Respuestas
¿Demasiados anuncios?Esto también puede hacerse utilizando variables complejas cuando $n\ge 2.$ Utilice un contorno de la porción de pizza que consiste en la línea $\Gamma_1$ de cero a $R$ en el eje real, un arco $\Gamma_2$ a lo largo del círculo $|z|=R$ desde el eje real a $\theta = 2\pi/n$ y una línea $\Gamma_3$ de vuelta al el origen parametrizado por $z=\exp(2\pi i/n)t.$
Establecer $$f(z) = \frac{1}{z^n+1}$$ Integramos $f(z)$ alrededor de este contorno y utilizar el hecho de que la integral es igual a los residuos por $2\pi i$ de los polos que contiene. A lo largo de $\Gamma_2$ tenemos $$|f(z)| \in \Theta(R^{-n})$$ para que la contribución esté limitada por $$\frac{2\pi R}{n} \times R^{-n} \to 0$$ como $R\to\infty$ cuando $n\ge 2$ y la contribución de $\Gamma_2$ desaparece.
En $\Gamma_1$ la integral va al valor $I(n)$ que se busca como $R\to\infty.$ A lo largo de $\Gamma_3$ nos encontramos en el límite $$\int_\infty^0 \frac{1}{(e^{2\pi i/n} t)^n + 1} e^{2\pi i/n} dt = - e^{2\pi i/n}\int_0^\infty \frac{1}{t^n+1} dt = - e^{2\pi i/n} I(n).$$
Sólo hay un poste dentro del contorno de la porción de pizza en $z=e^{i\pi/n}$ y obtenemos $$I(n) (1 - e^{2\pi i/n}) = 2\pi i \times \mathrm{Res}\left(f(z); z=e^{i\pi/n}\right).$$
El polo es simple y por lo tanto el residuo es $$\lim_{z\to e^{i\pi/n}}\frac{z-e^{i\pi/n}}{z^n+1} = \lim_{z\to e^{i\pi/n}}\frac{1}{n z^{n-1}} = \lim_{z\to e^{i\pi/n}}\frac{z}{n z^n} = \frac{e^{i\pi/n}}{n e^{i\pi}} = - \frac{e^{i\pi/n}}{n}.$$
Esto da como resultado final $$I(n) = - 2\pi i\frac{e^{i\pi/n}}{n(1 - e^{2\pi i/n})} = - 2\pi i\frac{1}{n(e^{-i\pi/n} - e^{\pi i/n})} \\ = \pi\frac{2i}{n(e^{\pi i/n} - e^{-i\pi/n})} = \frac{\pi}{n\sin(\pi/n)}.$$
La integral dada tiene efectivamente una forma cerrada: $$\int_0^\infty\frac{1}{1+x^n}\ dx=\frac{\pi}{n\sin\left(\frac{\pi}{n}\right)}.$$ Para ver la prueba completa, puede consultar este PO: Prueba $\int_0^{\infty}\! \frac{\mathbb{d}x}{1+x^n}=\frac{\pi}{n \sin\frac{\pi}{n}}$ utilizando únicamente técnicas de análisis real
Sugerencia . Tal vez recuerden el célebre $\Gamma$ función definida por $$ \Gamma(\alpha)=\int_0^\infty u^{\alpha-1} e^{-u}\:{\rm{d}}u, \quad \alpha>0 $$ y puede escribir $$ \begin{align} \int_0^\infty \frac{1}{x^n+1} \:{\rm{d}}x&=\int_0^\infty\int_0^\infty e^{-(x^n+1)t} \:{\rm{d}}t\:{\rm{d}}x \\&=\int_0^\infty e^{-t}\int_0^\infty e^{-x^n t} \:{\rm{d}}t\:{\rm{d}}x \\&=\int_0^\infty e^{-t}\left(\int_0^\infty e^{-x^n t}\:{\rm{d}}x\right)\:{\rm{d}}t \\&=\frac1n\int_0^\infty t^{-\frac1n}e^{-t}\left(\int_0^\infty u^{\frac1n-1} e^{-u}{\rm{d}}u\right)\:{\rm{d}}t \\&=\frac1n \Gamma\left(1-\frac1n\right)\Gamma\left(\frac1n\right) \\&=\frac{\pi}{n\sin \frac{\pi}{n}} \end{align} $$
$\newcommand{\angles}[1]{\left\langle\, #1 \,\right\rangle} \newcommand{\braces}[1]{\left\lbrace\, #1 \,\right\rbrace} \newcommand{\bracks}[1]{\left\lbrack\, #1 \,\right\rbrack} \newcommand{\ceil}[1]{\,\left\lceil\, #1 \,\right\rceil\,} \newcommand{\dd}{{\rm d}} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\expo}[1]{\,{\rm e}^{#1}\,} \newcommand{\fermi}{\,{\rm f}} \newcommand{\floor}[1]{\,\left\lfloor #1 \right\rfloor\,} \newcommand{\half}{{1 \over 2}} \newcommand{\ic}{{\rm i}} \newcommand{\iff}{\Longleftrightarrow} \newcommand{\imp}{\Longrightarrow} \newcommand{\pars}[1]{\left(\, #1 \,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\partial #3^{#1}}} \newcommand{\pp}{{\cal P}} \newcommand{\root}[2][]{\,\sqrt[#1]{\vphantom{\large A}\,#2\,}\,} \newcommand{\sech}{\,{\rm sech}} \newcommand{\sgn}{\,{\rm sgn}} \newcommand{\totald}[3][]{\frac{{\rm d}^{#1} #2}{{\rm d} #3^{#1}}} \newcommand{\ul}[1]{\underline{#1}} \newcommand{\verts}[1]{\left\vert\, #1 \,\right\vert}$ \begin{align} &\overbrace{\color{#66f}{\large\int_{0}^{\infty}{\dd x \over x^{n} + 1}}} ^{\ds{\color{#c00000}{t \equiv {1 \over x^{n} + 1}\ \imp\ x = \pars{{1 \over t} - 1}^{1/n}}}}\ =\ \int_{1}^{0}t\,{1 \over n}\,\pars{{1 \over t} - 1}^{1/n - 1} \pars{-\,{1 \over t^{2}}}\,\dd t \\[5mm]&={1 \over n}\int_{0}^{1}t^{-1/n}\pars{1 - t}^{1/n - 1}\,\dd t ={1 \over n}\,{\rm B}\pars{1 - {1 \over n},{1 \over n}} ={1 \over n}\,{\Gamma\pars{1 - 1/n}\Gamma\pars{1/n} \over \Gamma\pars{1}} \\[5mm]&=\color{#66f}{\large{1 \over n}\,{\pi \over \sin\pars{\pi/n}}} \end{align}
El resultado es válido cuando $\ds{\Re\pars{1 - {1 \over n}} > 0}$ y $\ds{\Re\pars{1 \over n} > 0}$ $\ds{\imp\ \color{#c00000}{0 < \Re\pars{1 \over n} < 1}}$ .