Reescalando el integrando a $\sqrt{1+x^4}$ es un asunto sencillo, así que empecemos por ahí. En primer lugar, algunos trucos con la integración por partes pueden reducir la integral deseada a una más cercana a la forma de una integral elíptica del primer tipo:
$$\begin{align} \int_{0}^{a}\sqrt{1+x^4}\,\mathrm{d}x &=\int_{0}^{a}\frac{1+x^4}{\sqrt{1+x^4}}\,\mathrm{d}x\\ &=\int_{0}^{a}\frac{\mathrm{d}x}{\sqrt{1+x^4}}+\int_{0}^{a}\frac{x^4}{\sqrt{1+x^4}}\,\mathrm{d}x\\ &=\int_{0}^{a}\frac{\mathrm{d}x}{\sqrt{1+x^4}}+\int_{0}^{a}x\cdot\frac{x^3}{\sqrt{1+x^4}}\,\mathrm{d}x\\ &=\int_{0}^{a}\frac{\mathrm{d}x}{\sqrt{1+x^4}}+\left[\frac12x\sqrt{1+x^4}\right]_{0}^{a}-\frac12\int_{0}^{a}\sqrt{1+x^4}\,\mathrm{d}x\\ &=\int_{0}^{a}\frac{\mathrm{d}x}{\sqrt{1+x^4}}+\frac12a\sqrt{1+a^4}-\frac12\int_{0}^{a}\sqrt{1+x^4}\,\mathrm{d}x\\ \implies \frac32\int_{0}^{a}\sqrt{1+x^4}\,\mathrm{d}x &=\frac{a}{2}\sqrt{1+a^4}+\int_{0}^{a}\frac{\mathrm{d}x}{\sqrt{1+x^4}}\\ \implies \int_{0}^{a}\sqrt{1+x^4}\,\mathrm{d}x &=\frac{a}{3}\sqrt{1+a^4}+\frac23\int_{0}^{a}\frac{\mathrm{d}x}{\sqrt{1+x^4}}.\\ \end{align}$$
Centrándonos ahora en la integralidad $\int_{0}^{a}\frac{\mathrm{d}x}{\sqrt{1+x^4}}$ aplicando una transformación de Landen de la forma $x=\frac{1-y}{1+y}$ rendimientos,
$$\begin{align} \int_{0}^{a}\frac{\mathrm{d}x}{\sqrt{1+x^4}} &=\int_{1}^{\frac{1-a}{1+a}}\frac{(1+y)^2}{\sqrt{2(1+6y^2+y^4)}}\cdot\frac{(-2)\,\mathrm{d}y}{(1+y)^2}\\ &=\sqrt{2}\int_{\frac{1-a}{1+a}}^{1}\frac{\mathrm{d}y}{\sqrt{1+6y^2+y^4}}\\ &=\sqrt{2}\int_{\frac{1-a}{1+a}}^{1}\frac{\mathrm{d}y}{\sqrt{\left(3+2\sqrt{2}+y^2\right)\left(3-2\sqrt{2}+y^2\right)}}.\\ \end{align}$$
Obsérvese que los términos constantes de la última línea anterior tienen las útiles propiedades
$$(3+2\sqrt{2})^{-1}=3-2\sqrt{2};\\ \sqrt{3+2\sqrt{2}}=1+\sqrt{2}.$$
Escalando la integral mediante la sustitución de $(\sqrt{2}+1)y=t$ ,
$$\begin{align} \int_{0}^{a}\frac{\mathrm{d}x}{\sqrt{1+x^4}} &=\sqrt{2}\int_{\frac{1-a}{1+a}}^{1}\frac{\mathrm{d}y}{\sqrt{\left[(1+\sqrt{2})^2+y^2\right]\left[(1-\sqrt{2})^2+y^2\right]}} \\ &=\sqrt{2}\int_{\frac{1-a}{1+a}}^{1}\frac{\mathrm{d}y}{(\sqrt{2}+1)(\sqrt{2}-1)\sqrt{\left[1+(\sqrt{2}-1)^2y^2\right]\left[1+(\sqrt{2}+1)^2y^2\right]}} \\ &=\sqrt{2}\int_{\frac{1-a}{1+a}}^{1}\frac{\mathrm{d}y}{\sqrt{\left[1+(\sqrt{2}-1)^2y^2\right]\left[1+(\sqrt{2}+1)^2y^2\right]}} \\ &=(2-\sqrt{2})\int_{(\sqrt{2}+1)\frac{1-a}{1+a}}^{\sqrt{2}+1}\frac{\mathrm{d}t}{\sqrt{\left[1+(\sqrt{2}-1)^4t^2\right]\left(1+t^2\right)}} \\ &=(2-\sqrt{2})\int_{(\sqrt{2}+1)\frac{1-a}{1+a}}^{\sqrt{2}+1}\frac{\mathrm{d}t}{\sqrt{1+t^2}\sqrt{1+(\sqrt{2}-1)^4t^2}}. \\ \end{align}$$
Ahora es el momento de la sustitución trigonométrica. Para compactar la notación, escribe $(\sqrt{2}-1)^2=b$ . Utilizando $t=\tan{\theta}$ ,
$$\begin{align} \int_{0}^{a}\frac{\mathrm{d}x}{\sqrt{1+x^4}} &=(2-\sqrt{2})\int_{(\sqrt{2}+1)\frac{1-a}{1+a}}^{\sqrt{2}+1}\frac{\mathrm{d}t}{\sqrt{1+t^2}\sqrt{1+b^2t^2}} \\ &=(2-\sqrt{2})\int_{\tan^{-1}{\left[(\sqrt{2}+1)\frac{1-a}{1+a}\right]}}^{\frac{3\pi}{8}}\frac{\sec^2{\theta}\,\mathrm{d}\theta}{\sqrt{\sec^2{\theta}}\sqrt{1+b^2\tan^2}{\theta}} \\ &=(2-\sqrt{2})\int_{\tan^{-1}{\left[(\sqrt{2}+1)\frac{1-a}{1+a}\right]}}^{\frac{3\pi}{8}}\frac{\sec^2{\theta}\,\mathrm{d}\theta}{\sqrt{\sec^4{\theta}}\sqrt{\cos^2{\theta}+b^2\sin^2}{\theta}} \\ &=(2-\sqrt{2})\int_{\tan^{-1}{\left[(\sqrt{2}+1)\frac{1-a}{1+a}\right]}}^{\frac{3\pi}{8}}\frac{\mathrm{d}\theta}{\sqrt{\cos^2{\theta}+b^2\sin^2}{\theta}} \\ &=(2-\sqrt{2})\int_{\tan^{-1}{\left[(\sqrt{2}+1)\frac{1-a}{1+a}\right]}}^{\frac{3\pi}{8}}\frac{\mathrm{d}\theta}{\sqrt{1-(1-b^2)\sin^2}{\theta}} \\ &=(2-\sqrt{2})\int_{\tan^{-1}{\left[(\sqrt{2}+1)\frac{1-a}{1+a}\right]}}^{\frac{3\pi}{8}}\frac{\mathrm{d}\theta}{\sqrt{1-b^{\prime\,2}\sin^2}{\theta}}. \\ \end{align}$$
Y presto chango, ¡una integral elíptica del tipo número uno! Supongo que puedo dejarle los detalles restantes, pero hágame saber si debe aclarar algo.
1 votos
¿Qué está tratando de transmitir con " $\therefore$ "?
7 votos
El resultado no se puede expresar en términos de funciones elementales; se necesitan integrales elípticas.
0 votos
@GFauxPas Sólo me muevo por el problema con los "therefores", supongo que podría deshacerme de ellos.
0 votos
@user111187 Parece que tiene la forma de una integral elíptica de segundo tipo, es decir $E\left(\phi,k\right)$ según el Mathworld de Wolfram...
0 votos
@user111187 Eso no es cierto. De hecho $(4)$ pueden reducirse a formas racionales y, por tanto, son factibles, al menos teóricamente. A menos que $(4)$ en sí mismo es erróneo.
0 votos
@user111187 lamentablemente (4) es efectivamente erróneo.. Así que lo siento y retiro mis palabras. Tienes razón, la integral original no es resoluble.
1 votos
@bd1251252: Haciéndolo a tu manera terminamos con algo así como $\int \frac{\sqrt{1+u^2}}{\sqrt{u}}\,du$ crucialmente diferente de donde usted llegó.
0 votos
@AndréNicolas Ya veo mi error :) Al sustituir $u$ la identidad para $\sec\left(\theta\right)$ habría sido $\sqrt{1+u^2}$ en lugar de lo que tengo arriba.
1 votos
Si sólo le interesa el resultado, es $$\frac{3 (9 t^5+t)-2 \sqrt[4]{-1} \sqrt{27 t^4+3} F(i \sinh ^{-1}((1+i) \sqrt{\frac{3}{2}} t)|-1)}{9 \sqrt{9 t^4+1}}$$
0 votos
@dustin Desgraciadamente, también me interesan los pasos que se dieron para llegar hasta allí (si alguien es tan amable de facilitarlos), pero esto sí que tiene una pinta de miedo :P Vaya... Gracias por las molestias, no obstante +1