Forma cerrada de $\int_{0}^{1}\frac{dx}{(x^2+a^2)\sqrt{x^2+b^2}}$

Question

Es posible obtener una forma cerrada de la siguiente integral %#% $ #%

Answer 1

$\newcommand{\ángulos}[1]{\left\langle\, nº 1 \,\right\rangle} \newcommand{\llaves}[1]{\left\lbrace\, nº 1 \,\right\rbrace} \newcommand{\bracks}[1]{\left\lbrack\, nº 1 \,\right\rbrack} \newcommand{\ceil}[1]{\,\left\lceil\, nº 1 \,\right\rceil\,} \newcommand{\dd}{{\rm d}} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\dsc}[1]{\displaystyle{\color{red}{#1}}} \newcommand{\expo}[1]{\,{\rm e}^{#1}\,} \newcommand{\fermi}{\,{\rm f}} \newcommand{\piso}[1]{\,\left\lfloor #1 \right\rfloor\,} \newcommand{\mitad}{{1 \over 2}} \newcommand{\ic}{{\rm i}} \newcommand{\iff}{\Longleftrightarrow} \newcommand{\imp}{\Longrightarrow} \newcommand{\Li}[1]{\,{\rm Li}_{#1}} \newcommand{\pars}[1]{\left (\, nº 1 \,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\parcial #3^{#1}}} \newcommand{\pp}{{\cal P}} \newcommand{\raíz}[2][]{\,\sqrt[#1]{\vphantom{\large Un}\,#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\, nº 1 \,\right\vert}$ $\ds{\Phi\pars{a,b}\equiv \int_{0}^{1}{\dd x \\pars{x^{2} + a^{2}}\raíz{x^{2} + b^{2}}}:\ {\large ?}}$.

Con Euler-sub $\ds{\root{x^{2} + b^{2}} \equiv x + t}$ encontramos $\ds{x = {b^{2} - t^{2} \over 2t}}$ tal forma que:

\begin{align} \Phi\pars{a,b}&=-4\int_{\verts{b}}^{\root{1 + b^{2}}\ -\ 1}{t\,\dd t\over t^{4} + 2\pars{2a^{2} - b^{2}}t^{2} + b^{4}} \end{align}

Con $\ds{t\ \mapsto\ t^{1/2}}$:

\begin{align} \Phi\pars{a,b}& =-2\int_{b^{2}}^{2 + b^{2} - 2\root{1 + b^{2}}} {\dd t \over t^{2} + 2\pars{2a^{2} - b^{2}}t + b^{4}} \\[5mm]&=-2\int_{b^{2}}^{2 + b^{2} - 2\root{1 + b^{2}}} {\dd t \over \pars{t + 2a^{2} - b^{2}}^{2} - \pars{2a^{2} - b^{2}}^{2}+ b^{4}} \\[5mm]&=-2\int_{2a^{2}}^{2a^{2} + 2 - 2\root{1 + b^{2}}} {\dd t \over t^{2} + 4a^{2}b^{2} - 4a^{4}} \\[5mm]&=-\,{1 \over \verts{a}\root{b^{2} - a^{2}}} \int_{\verts{a}/\root{b^{2} - a^{2}}} ^{\pars{a^{2} + 1 - \root{1 + b^{2}}}/\pars{\verts{a}\root{b^{2} - a^{2}}}} {\dd t \over t^{2} + 1} \\[5mm]&={1 \over \verts{a}\root{b^{2} - a^{2}}}\bracks{% \arctan\pars{\verts{a} \over \root{b^{2} - a^{2}}}- \arctan\pars{a^{2} + 1 - \root{1 + b^{2}} \over \verts{a}\root{b^{2} - a^{2}}}} \end{align}

Con la identidad $\ds{\quad\arctan\pars{x} - \arctan\pars{y} =\arctan\pars{x - y \más de 1 + xy}}$ obtenemos

$$ \color{#66f}{\large\Phi\pars{a,b}} =\color{#66f}{\large{1 \over\raíz{b^{2} - a^{2}}}\, \arctan\pars{\raíz{b^{2} - a^{2}} \over\raíz{1 + b^{2}}}} $$

Answer 2

\begin{align} \int_{0}^{1}\frac{\mathrm dx}{(x^2+a^2)\sqrt{x^2+b^2}}&=\int_{0}^{\large k_1}\frac{b\sec^2t}{(b^2\tan^2t+a^2)\sqrt{b^2\tan^2t+b^2}}\mathrm dt\tag1\\ &=\int_{0}^{\large k_1}\frac{\cos t}{b^2\sin^2t+a^2\cos^2t}\mathrm dt\tag2\\ &=\int_{0}^{\large k_1}\frac{\cos t}{\left(b^2-a^2\right)\sin^2t+a^2}\mathrm dt\tag3\\ &=\frac{1}{a\sqrt{b^2-a^2}}\int_{0}^{\large k_2}\frac{\mathrm dy}{y^2+1}\tag4\\ \Phi(a,b)&=\bbox[8pt,border:3px #FF69B4 solid]{\color{red}{\frac{1}{a\sqrt{b^2-a^2}}\arctan\left(\frac{\sqrt{b^2-a^2}}{a\sqrt{1-b^2}}\right)}} \end {Alinee el}

---

Explicación:

$(1)\;$Uso sustitución $\;\displaystyle x=b\tan t\;$ y $\;\displaystyle k_1=\arctan \left(\frac{1}{b}\right)\quad\Rightarrow\quad\tan k_1=\frac{1}{b}$

$(2)\;$Uso identidades $\;\displaystyle \sec^2t=1+\tan^2t\;$ y $\;\displaystyle \tan t=\frac{\sin t}{\cos t}$

$(3)\;$Uso identidad $\;\displaystyle \cos^2t=1-\sin^2t$

$(4)\;$Uso sustitución $\;\displaystyle \sin t=\frac{ay}{\sqrt{b^2-a^2}}\,$ y $\;\displaystyle k_2=\frac{\sqrt{b^2-a^2}}{a\sqrt{1-b^2}}\,$ desde $\;\;\;\quad\displaystyle\tan k_1=\frac{1}{b}\quad\Rightarrow\quad\sin k_2=\frac{1}{\sqrt{1-b^2}}$

Answer 3

Para la real $a,b\neq 0$ Mathematica da \Phi(a,b) $$ = \frac{1}{a\sqrt{b^2-a^2}}\cdot\arctan\left(\frac{\sqrt{b^2-a^2}}{a\sqrt{1+b^2}}\right) $$