Para resolver este $\int\limits _0^\limits\infty \frac{x^{-t}}{1+x}\ dx$

Question

Hay una manera directa para demostrar, para <span class="math-container">$t\in (0,1)$</span> <span class="math-container">%#% $ #%</span>

¿Sin utilizar Mellin transforma?

Answer 1

La estrategia habitual sustituye <span class="math-container">$x=\tan^2\theta$</span> así que si conoces las funciones Beta y Gamma, el integral se convierte en <span class="math-container">$$\int_0^{\pi/2}2\tan^{1-2t}\theta\operatorname{d}\theta=\operatorname{B}(1-t,\,t)=\Gamma (1-t)\Gamma (t)=\pi\csc\pi t.$ $</span>el resultado final es la fórmula de reflexiónde la función Gamma.

Answer 2

Considere la integral de contorno $$I(t,\epsilon):=\oint_{\Gamma_{\epsilon}}\,f_t(z)\,\text{d}z\text{ for }\epsilon\in(0,1)\text{ and }t\in\mathbb{C}\text{ with }0<\text{Re}(t)<1\,,$$ donde $$f_t(z):=\frac{z^{-t}}{1+z}\text{ for all }z\in\mathbb{C}\setminus\mathbb{R}_{\geq 0}\,,$$ and $\Gamma_\epsilon$ es la orientada positivamente hacia el contorno del ojo de la cerradura $$\begin{align}\left[\epsilon\,\exp(\text{i}\epsilon),\frac{1}{\epsilon}\,\exp(\text{i}\epsilon)\right]&\cup\Biggr\{\frac{1}{\epsilon}\,\exp(\text{i}\theta)\,\Big|\,\theta\in[\epsilon,2\pi-\epsilon]\Biggr\} \\&\cup\left[\frac{1}{\epsilon}\,\exp\big(\text{i}(2\pi-\epsilon)\big),\epsilon\,\exp\big(\text{i}(2\pi-\epsilon)\big)\right]\cup\Biggr\{{\epsilon}\,\exp(\text{i}\theta)\,\Big|\,\theta\in[2\pi-\epsilon,\epsilon]\Biggr\}\,.\end{align}$$ (También puede utilizar una similar ojo de la cerradura de contorno como este.)

Vemos, entonces, que $$\lim_{\epsilon\to 0^+}\,I(t,\epsilon)=\big(1-\exp(-2\text{i}\pi t)\big)\int_0^\infty\,\frac{x^{-t}}{1+x}\,\text{d}x\,.$$ Por el Teorema de los Residuos, $$\lim_{\epsilon\to 0^+}\,I(t,\epsilon)=2\pi\text{i}\,\text{Res}_{z=-1}\big(f_t(z)\big)=2\pi\text{i}\exp(-\text{i}\pi t)\,.$$ En consecuencia, $$\int_0^\infty\,\frac{x^{-t}}{1+x}\,\text{d}x=\frac{2\pi\text{i}\exp(-\text{i}\pi t)}{1-\exp(-2\text{i}\pi t)}=\frac{\pi}{\sin(\pi t)}=\pi\,\text{csc}(\pi t)$$ para todos los números complejos $t$ tal que $0<\text{Re}(t)<1$.

Answer 3

Este enfoque evita una mención directa de la Bèta función, debido a que para algunos esta función puede sonar un poco vago. En su lugar, este enfoque hace uso de la función Gamma.

Vamos a considerar su integral: $$I=\int_0^\infty\frac{x^{-t}}{1+x}dx$$ Deje $z=\frac{x}{1+x}\rightarrow x=\frac{z}{1-z}$ tal que $dx=\frac{dz}{(1-z)^2}$, donde $0<z<1$: $$I=\int_0^1 z^{(1-t)-1}\cdot (1-z)^{(t)-1}dz$$ Establecer la integral: $$J=\int_0^\infty e^{-y}\cdot y^{(1-t)+(t)-1}dy=\int_0^\infty e^{-y}dy=1$$ Por lo tanto, $$I=J\cdot I=\int_0^\infty e^{-y}\cdot y^{(1-t)+(t)-1}dy\cdot \int_0^1 z^{(1-t)-1}\cdot (1-z)^{(t)-1}dz$$ De ello se sigue que $$I=\int_0^1\int_0^\infty e^{-y}\cdot(y\cdot z)^{(1-t)-1}\cdot(y\cdot(1-z))^{(t)-1}\cdot y\ dy\ dz$$ Deje $v=y\cdot z$ e $w=y\cdot (1-z)$. Tenga en cuenta que $v+w=y$.

Desde $0<y<\infty$ e $0<z<1$, se deduce que el $0<v<\infty$ e $0<w<\infty$.

El Jacobiano es dada por $$\frac{\partial(v,w)}{\partial(y,z)}=\begin{vmatrix}\frac{\partial v}{\partial y}&\frac{\partial v}{\partial z}\\\frac{\partial w}{\partial y}&\frac{\partial w}{\partial z}\\ \end{vmatrix}=\begin{vmatrix}z&y\\1-z&-y\\ \end{vmatrix}=-y\cdot z-y+y\cdot z=-y$$ Debido a $y>0$, se deduce que el $dv\ dw=\left|\frac{\partial(v,w)}{\partial(y,z)}\right|dy\ dz=y\ dy\ dz$.

Por lo tanto, $$I=\int_0^\infty\int_0^\infty e^{-(v+w)}\cdot v^{(1-t)-1}\cdot w^{(t)-1}dv\ dw$$ De ello se sigue que $$I=\int_0^\infty e^{-v}\cdot v^{(1-t)-1}dv\cdot\int_0^\infty e^{-w}\cdot e^{(t)-1}dw$$ Escribir la integral en términos de la función Gamma: $$I=\Gamma(1-t)\cdot\Gamma(t)$$ Debido a $0<t<1$, se puede aplicar de Euler reflexión fórmula (que tiene para valores no enteros de $t$): $$I=\frac{\pi}{\sin(\pi\cdot t)}=\pi\cdot\csc(\pi\cdot t)$$

Answer 4

$\newcommand{\bbx}[1]{\,\bbox[15px,border:1px groove armada]{\displaystyle{#1}}\,} \newcommand{\llaves}[1]{\left\lbrace\,{#1}\,\right\rbrace} \newcommand{\bracks}[1]{\left\lbrack\,{#1}\,\right\rbrack} \newcommand{\dd}{\mathrm{d}} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\expo}[1]{\,\mathrm{e}^{#1}\,} \newcommand{\ic}{\mathrm{i}} \newcommand{\mc}[1]{\mathcal{#1}} \newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\pars}[1]{\left(\,{#1}\,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\parcial #3^{#1}}} \newcommand{\raíz}[2][]{\,\sqrt[#1]{\,{#2}\,}\,} \newcommand{\totald}[3][]{\frac{\mathrm{d}^{#1} #2}{\mathrm{d} #3^{#1}}} \newcommand{\verts}[1]{\left\vert\,{#1}\,\right\vert}$ \begin{align} \int_{0}^{\infty}{x^{-t} \over 1 + x}\,\dd x & \,\,\,\stackrel{z\ =\ 1/\pars{1 + x}}{=}\,\,\, \int_{1}^{0}z\,\pars{{1 \over z} - 1}^{-t}\pars{-\,{\dd z \over z^{2}}} \\[5mm] & = \int_{0}^{1}z^{t - 1}\pars{1 - z}^{-t}\,\dd z = \mrm{B}\pars{t,-t + 1} \\[5mm] & = {\Gamma\pars{t}\Gamma\pars{1 - t} \over \Gamma\pars{1}} = \bbx{\pi \over \sin\pars{\pi t}} \end{align}