Avaliação da integral real usando análise complexa.
Estou tentando calcular a seguinte integral: $$\int_0^{\infty}\frac{\sqrt{x}}{1+x^4}dx$$
Não vou escrever tudo o que fiz, mas escolher o corte do ramo nos eixos reais positivos que temos que:
$$\int_0^{\infty}\frac{\sqrt{x}}{1+x^4}dx=\pi i \sum_{z_i}Res(f,z_i) \qquad z_i\in\{\pm \sqrt{i},\pm\sqrt{-i}\}$$
Portanto, temos que calcular quatro resíduos. Meu pensamento era mudar o corte do galho, colocando-o nos eixos imaginários negativos. Podemos fazer isso escolhendo$arg(z) \in (-\frac{\pi}{2},\frac{3\pi}{2}]$. Então, temos isso:
$$(1+i)\int_0^{\infty}\frac{\sqrt{x}}{1+x^4}dx=2\pi i \sum_{z_i}Res(f,z_i) \qquad z_i\in\{e^{i\frac{\pi}{4}},e^{i\frac{3\pi}{4}}\}$$
Fazendo isso, agora precisamos calcular apenas dois resíduos. Mas estou realmente encontrando dificuldades em computar esses resíduos: na verdade não consigo obter o resultado que espero. Você pode me mostrar o cálculo e me dizer se meu argumento foi claro e correto?
Desde já, obrigado.
Respostas
$\newcommand{\bbx}[1]{\,\bbox[15px,border:1px groove navy]{\displaystyle{#1}}\,} \newcommand{\braces}[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{\on}[1]{\operatorname{#1}} \newcommand{\pars}[1]{\left(\,{#1}\,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\partial #3^{#1}}} \newcommand{\root}[2][]{\,\sqrt[#1]{\,{#2}\,}\,} \newcommand{\totald}[3][]{\frac{\mathrm{d}^{#1} #2}{\mathrm{d} #3^{#1}}} \newcommand{\verts}[1]{\left\vert\,{#1}\,\right\vert}$ $\ds{\bbox[5px,#ffd]{\int_{0}^{\infty}{\root{x} \over 1 + x^{4}}\,\dd x = {1 \over 4}\pi\sec\pars{\pi \over 8}} = {1 \over 2}\pi\root{1 - {\root{2} \over 2}} \approx 0.8501: {\Large ?}}$. A seguir, irei realizar uma avaliação de$\ds{\oint_{\cal C}{\root{z} \over 1 + z^{4}}\,\dd z}$ Onde $\ds{\cal C}$é definido em cada caso particular para o escolhido$\ds{\root{z}}$- corte do ramo.
$\ds{\Large\left.\mbox{a}\right)}$ o $\ds{\root{z}}$- o corte do ramo é dado por $$ \root{z} = \root{\verts{z}}\expo{\ic\arg\pars{z}/2}\,,\quad 0 < \arg\pars{z} < 2\pi\,\quad z \not= 0 $$qual é a escolha do OP . Pólos são dados por $\ds{p_{n} = \expo{n\pi\ic/4}\ \mbox{with}\ n = 1,3,5,7}$. Então, \begin{align} &\bbox[5px,#ffd]{\oint_{}{\root{z} \over 1 + z^{4}}\,\dd z} = 2\pi\ic\sum_{\braces{p_{n}}}{\root{p_{n}} \over 4p_{n}^{3}} \\[5mm] = &\ -\,{1 \over 2} \,\pi\ic\sum_{\braces{p_{n}}}p_{n}\root{p_{n}} = \pi\root{1 - {\root{2} \over 2}}\label{1}\tag{1} \end{align} Além disso, \begin{align} &\bbox[5px,#ffd]{\oint_{}{\root{z} \over 1 + z^{4}}\,\dd z} = \int_{0}^{\infty}{\root{x} \over 1 + x^{4}}\,\dd x \\[2mm] + & \require{cancel} \cancel{\mbox{integration over arc with}\ \pars{\mbox{radius}\ \to \infty}} \\[2mm] & + \int_{\infty}^{0}{\root{x}\expo{\ic\pi} \over 1 + x^{4}}\,\dd x = 2\int_{0}^{\infty}{\root{x} \over 1 + x^{4}}\,\dd x\label{2}\tag{2} \end{align} Com (\ ref {1}) e (\ ref {2}): \begin{align} \bbox[5px,#ffd]{\int_{0}^{\infty}{\root{x} \over 1 + x^{4}}\,\dd x} & = \bbx{{1 \over 2}\pi\root{1 - {\root{2} \over 2}}} \approx 0.8501 \\ & \end{align}
$\ds{\Large\left.\mbox{b}\right)}$Eu acho que a seguinte avaliação é a mais simples porque envolve apenas UM pólo : A integração é realizada ao longo de um quarto de círculo no plano complexo primeiro quadrante. o $\ds{\root{z}}$- o corte do ramo é dado por $$ \root{z} = \root{\verts{z}}\expo{\ic\arg\pars{z}/2}\,,\quad -\pi < \arg\pars{z} < \pi\,\quad z \not= 0 $$qual é o principal . O contorno envolve o pólo $\ds{p = \expo{\pi\ic/4}}$. Então, \begin{align} &\bbox[5px,#ffd]{\int_{0}^{\infty} {\root{x} \over 1 + x^{4}}\dd x} \\[5mm] = &\ 2\pi\ic\,{p^{1/2} \over 4p^{3}} - \int_{\infty}^{0} {\root{y}\expo{\pi\ic/4} \over 1 + y^{4}}\, \ic\,\dd y \\[5mm] = &\ -\,{1 \over 2}\,\pi\ic\, \expo{3\pi\ic/8} + \ic\expo{\pi\ic/4}\int_{0}^{\infty} {\root{y} \over 1 + y^{4}}\,\dd y \\[5mm] \implies &\ \int_{0}^{\infty} {\root{x} \over 1 + x^{4}}\dd x = {\pars{-\pi\ic/2} \expo{3\pi\ic/8} \over 1 - \ic\expo{\pi\ic/4}} \\[5mm] = &\ \bbx{{1 \over 2}\pi\root{1 - {\root{2} \over 2}}} \approx 0.8501 \\ & \end{align}
$\ds{\Large\left.\mbox{c}\right)}$
Teorema Mestre de Ramanujan :\begin{align} &\bbox[5px,#ffd]{\int_{0}^{\infty} {\root{x} \over 1 + x^{4}}\dd x} \,\,\,\stackrel{x^{4}\ \mapsto\ x}{=}\,\,\, {1 \over 4}\int_{0}^{\infty} {x^{\color{red}{3/8} - 1} \over 1 + x}\dd x \end{align} Observe que $\ds{{1 \over 1 + x} = \sum_{k = 0}^{\infty}\pars{-x}^{k} = \sum_{k = 0}^{\infty}\color{red}{\Gamma\pars{1 + k}}{\pars{-x}^{k} \over k!}}$.
Então, \begin{align} &\bbox[5px,#ffd]{\int_{0}^{\infty} {\root{x} \over 1 + x^{4}}\dd x} = {1 \over 4}\bracks{\Gamma\pars{3 \over 8} \Gamma\pars{1 - {3 \over 8}}} \\[5mm] = & {1 \over 4}\,{\pi \over \sin\pars{3\pi/8}} = {1 \over 4}\,\pi\sec\pars{\pi \over 8} \\[5mm] = &\ \bbx{{1 \over 2}\pi\root{1 - {\root{2} \over 2}}} \approx 0.8501 \\ & \end{align}
O calco dos resíduos é relativamente simples quando você tem postes simples.
De fato, se $z_0$ é um poste simples então $f(z) = a_{-1}(z-z_{0})^{-1}+ \sum\limits_{n \geq 0}a_n(z-z_0)^n$
então $(z-z_{0})f(z) = (z-z_{0})^{-1}+ \sum\limits_{n \geq 0}a_n(z-z_0)^n$ que implica
$$\text{Res}(f,z_{0}) = a_{-1} = \lim\limits_{z \to z_0}(z-z_{0})f(z)$$
Este resultado pode ser útil quando condizemos $f$ do formulário $\frac{f}{q}$ com $p,q$ função holomórfica, $p(z_0) \ne 0$ e $z_0$ um simples poste de $q$ Desde a
$$\text{Res}(f,z_{0})= a_{-1} = \lim\limits_{z \to z_0}(z-z_{0})\frac{p(z)}{q(z)} = \frac{p(z_0)}{q'(z_0)}$$
Em geral :
Para pólos de ordem superior, uma estratégia poderia ser: Se $f$ tem um pólo de ordem $k$ no $z_0$, $g(z) = (z-z_0)^k f(k)$ estende-se a uma função holomórfica em $z_0$ (Vou chamá-lo indevidamente por $g$ também)
Com esta configuração $$f(z) = a_{-k}(z-z_0)^k + \cdots + a_{-1}(z-z_0)^{-1} + \sum\limits_{n \geq 0}a_n(z-z_0)^n$$
$$g(z) = a_{-k} + \cdots + a_{-1}(z-z_0)^{k-1} + \sum\limits_{n \geq 0}a_n(z-z_0)^{n+k}$$
então $a_{-1}$ é o coeficiente de $(z-z_0)^{k-1}$ na expansão de $g$que é holomórfico. Sabendo que$a_{n} = \frac{f^{(n)}(z_0)}{n!}$ temos $$\text{Res}(f,z_{0}) = a_{-1} = \frac{g^{(k-1)}(z_0)}{(k-1)!}$$
Espero que isso ajude com seus cálculos.
Sob $x^4\to x$, $$\int_0^{\infty}\frac{\sqrt{x}}{1+x^4}dx=\frac14\int_0^\infty\frac{1}{x^{5/8}(1+x)}dx. $$ Deixei $$ f(z)=\frac{1}{z^{5/8}(1+z)}. $$ Deixei $C_r, C_R$ ser círculos em $0$ cortar de $r$ para $R$, respectivamente, e $C_1, C_2$ ser as partes superior e inferior do segmento de $r$ para $R$. Então, para grande$R>0$ e pequeno $r>0$, $$ \int_{C_R}f(z)dz+\int_{C_r^-}f(z)dz+\int_0^{R}f(x)dx-\int_0^{R}f(xe^{2\pi i})dx=2\pi i\text{Res}(f,z=-1). $$ Claramente $$ \bigg|\int_{C_R}f(z)dz\bigg|\le\frac{1}{R^{5/8}(R-1)}2\pi R=\frac{2\pi R^{3/8}}{R-1}, \bigg|\int_{C_r^-}f(z)dz\bigg|\le\frac{1}{r^{5/8}(1-r)}2\pi r=\frac{2\pi r^{3/8}}{1-r} $$ e $$ \int_0^{R}f(xe^{2\pi i})dx=e^{-5\pi i/4}\int_0^\infty f(x)dx, \text{Re}(f,z=-1)=e^{-5\pi i/8}. $$ Então deixando $R\to\infty, r\to 0^+$, um tem $$ (1+e^{-5\pi i/4})\int_0^\infty f(x)dx=2\pi i e^{-5\pi i/8} $$ ou $$ \int_0^\infty f(x)dx=\frac{2\pi i e^{-5\pi i/8}}{1+e^{-5\pi i/4}}=\frac{\pi}{\cos(\pi/8)}. $$ portanto $$\int_0^{\infty}\frac{\sqrt{x}}{1+x^4}dx=\frac14\int_0^\infty\frac{1}{x^{5/8}(1+x)}dx=\frac{\pi}{4\cos(\pi/8)}. $$