31 votos

Integral Definida Bizarra

¿Se cumple la siguiente igualdad?

$$\large \int_0^1 \frac{\tan^{-1}{\left(\frac{88\sqrt{21}}{215+36x^2}\right)}}{\sqrt{1-x^2}} \, \text{d}x = \frac{\pi^2}{6}$$

La supuesta igualdad se mantiene hasta 61 lugares decimales en Mathematica, que falla al evaluarla numéricamente después de más de 71 dígitos de precisión de trabajo. No estoy seguro de su corrección y me resulta difícil demostrar su corrección.

El único progreso que tengo en la resolución de esto es la siguiente identidad, que se cumple para todo $x$ real:

$$\tan^{-1}{\left( \frac{11+6x}{4\sqrt{21}} \right )} + \tan^{-1}{\left( \frac{11-6x}{4\sqrt{21}} \right )} \equiv \tan^{-1}{\left(\frac{88\sqrt{21}}{215+36x^2}\right)}$$

También probé la Sustitución de Euler $t^2 = \frac{1-x}{1+x}$ pero se ve horrible.

Adición: ¿Hay alguna especie de forma general para esta integral?

Pensamientos adicionales: Tal vez esto sea transformable en la Integral de Ahmed Generalizada, o algo similar.

25voto

psychotik Puntos 171

Como señaló uno de los comentarios, el usuario @Start wearing purple demostró un enfoque muy general para resolver este tipo de integral, ver esto. Como enfoque alternativo, permítanme dar un argumento diferente que apela a una propiedad específica satisfecha por la integral del OP.

Paso 1. (Reducción y la afirmación principal) Empezamos sustituyendo $x = \cos(\theta/2)$. Entonces la integral es igual a

$$ \frac{1}{2} \int_{0}^{\pi} \arctan\left(\frac{88\sqrt{21}}{233+18\cos\theta}\right) \, d\theta = \frac{\pi}{4} - \frac{1}{2} \int_{0}^{\pi} \arctan\left(\frac{233+18\cos\theta}{88\sqrt{21}}\right) \, d\theta. $$

Por lo tanto, es suficiente probar que

$$ \int_{0}^{\pi} \arctan\left(\frac{233+18\cos\theta}{88\sqrt{21}}\right) \, d\theta \stackrel{?}{=} \frac{\pi^2}{6}. \tag{1} $$

Para evaluar esta integral, permítanme dar la conclusión.

Afirmación. Sea $0 < a <1$ y $b > 0$ tal que $4a^2 - b^2 = \frac{4}{3}$. Entonces $$ \int_{0}^{\pi} \arctan(a + b\cos\theta) \, d\theta = \frac{\pi^2}{6}. $$

Observen que $(a, b) = \left( \frac{233}{88\sqrt{21}}, \frac{18}{88\sqrt{21}} \right)$ satisface la relación en la afirmación de la Afirmación. Así que nos enfocamos en probar esta afirmación.

Paso 2. (Definición y propiedades de $I$) Ahora definimos $I(a, b)$ por

$$ I(a, b) = \int_{0}^{\pi} \arctan(a + b\cos\theta) \, d\theta. $$

De la sustitución $\theta \mapsto \pi - \theta$, es claro que $I(a,-b) = I(a, b)$. Entonces para $0 < a < 1$ y $0 < \theta < \pi$, tenemos

\begin{align*} &\arctan(a + b\cos\theta) + \arctan(a - b\cos\theta) \\ &\hspace{1em}= \arctan\left( \frac{2a}{1-(a^2-b^2\cos^2\theta)^2} \right) \\ &\hspace{2em}= \arctan\left( \frac{4a}{2-2a^2+b^2+b^2\cos(2\theta)} \right) \\ &\hspace{3em}= \frac{\pi}{2} - \arctan\left( \frac{2-2a^2+b^2}{4a} + \frac{b^2}{4a}\cos(2\theta) \right). \end{align*} Sustituyendo esto de nuevo y explotando la simetría del coseno, obtenemos

$$ I(a, b) = \frac{\pi^2}{4} - \frac{1}{2}I\left( \frac{2-2a^2+b^2}{4a}, \frac{b^2}{4a} \right). \tag{2} $$

Paso 3. Ahora llega la observación central. Sea $(a, b)$ tal que $0 < a < 1$ y $b > 0$, y definimos la secuencia $(a_n, b_n)$ recursivamente por

$$ (a_0, b_0) = (a, b), \qquad (a_{n+1}, b_{n+1}) = \left( \frac{2-2a_n^2+b_n^2}{4a_n}, \frac{b_n^2}{4a_n} \right). $$

Observación. Supongamos que $4a^2 - b^2 = \frac{4}{3}$. Entonces para todo $n \geq 0$ tenemos $$ \frac{1}{\sqrt{3}} \leq a_{n+1} \leq a_n, \qquad 4a_n^2 - b_n^2 = \frac{4}{3}. $$

La prueba es un álgebra tediosa, así que la saltamos. Ahora, por esta observación, tenemos $|a_n| < 1$ para todo $n$. Entonces una aplicación recursiva de $\text{(2)}$ nos da

$$ I(a, b) = \frac{\pi^2}{4}\sum_{k=0}^{n-1} \left(-\frac{1}{2}\right)^k + \left(-\frac{1}{2}\right)^n I(a_n, b_n). $$

Dado que $|I(a_n, b_n)| \leq \frac{\pi^2}{2}$ para todo $n$, tomar límites a medida que $n\to\infty$ prueba la afirmación.


Observación. (1) La condición $4a^2 - b^2 = \frac{4}{3}$ es crucial para nuestra prueba. Para un punto de inicio arbitrario $(a, b)$, la secuencia $(a_n, b_n)$ es dinámicamente inestable y, por lo tanto, la fórmula $\text{(2)}$ no es aplicable.

(2) La afirmación es verdadera para cualquier $a > 0$ en vista del principio de continuación analítica.

(3) Nuevamente, el cálculo de @Start wearing purple da un resultado más general con un cálculo relativamente económico: para todos los $a, b \in \Bbb{R}$,

$$ \int_{0}^{\pi} \arctan(a + b\cos\theta) \, d\theta = \pi \arg \left(1 + ia + \sqrt{b^2 + (1+ia)^2}\right). \tag{3} $$

Esto sigue de la fórmula

$$ \int_{0}^{\pi} \log(1 + s \cos\theta) \, d\theta = \pi \log\left( \frac{1 + \sqrt{1-s^2}}{2} \right) $$

que es válida para cualquier complejo $s$ con $|s| < 1$. Nuestra relación $4a^2 - b^2 = \frac{4}{3}$ asegura que el RHS de $\text{(3)}$ siempre es $\frac{\pi^2}{6}$, ya que $1 + ia + \sqrt{b^2 + (1+ia)^2} = (1+\sqrt{3}a)\left( 1 + \frac{i}{\sqrt{3}} \right)$.

4voto

Accelerator Puntos 311

Respuesta tardía, pero pensé que no estaría de más dar mi opinión por diversión. Tenemos

$$ \begin{align} I &:= \int_{0}^{1}\frac{1}{\sqrt{1-x^{2}}}\arctan\left(\frac{88\sqrt{21}}{215+36x^{2}}\right)dx \\ &= -\int_{0}^{\pi}\frac{1}{\sqrt{1-\cos^{2}\left(\frac{x}{2}\right)}}\arctan\left(\frac{88\sqrt{21}}{215+36\cos^{2}\left(\frac{x}{2}\right)}\right)d\left(\cos\left(\frac{x}{2}\right)\right) \\ &= \frac{1}{2}\int_{0}^{\pi}\arctan\left(\frac{88\sqrt{21}}{18\cos\left(x\right)+233}\right)dx \\ &= \frac{1}{2}\int_{0}^{\pi}\left(\frac{\pi}{2}-\arctan\left(\frac{233+18\cos\left(x\right)}{88\sqrt{21}}\right)\right)dx \\ &= \frac{\pi^{2}}{4}-\frac{1}{4}\int_{0}^{2\pi}\arctan\left(\frac{233+18\cos\left(x\right)}{88\sqrt{21}}\right)dx. \\ \end{align} $$ Llamemos a esta integral $J$. Recordemos la igualdad $\displaystyle \arctan(\alpha)=\int_{1}^{\infty}\frac{\alpha}{\alpha^{2}+t^{2}}dt$. Usando el Teorema de Fubini y la definición compleja de $\cos(x)$, obtenemos $$ \begin{align} J &:= \int_{0}^{2\pi}\arctan\left(\frac{233+18\cos\left(x\right)}{88\sqrt{21}}\right)dx \\ &= \operatorname{\Large\int_{0}^{2\pi}}\operatorname{\Large\int_{1}^{\infty}}\frac{\frac{233+18\cos\left(x\right)}{88\sqrt{21}}}{\left(\frac{233+18\cos\left(x\right)}{88\sqrt{21}}\right)^{2}+t^{2}}dtdx \\ &=\operatorname{\Large\int_{1}^{\infty}}\operatorname{\Large\int_{0}^{2\pi}}\frac{\frac{233+18\cos\left(x\right)}{88\sqrt{21}}}{\left(\frac{233+18\cos\left(x\right)}{88\sqrt{21}}\right)^{2}+t^{2}}dxdt \\ &= 88\sqrt{21}\int_{1}^{\infty}\int_{0}^{2\pi}\frac{e^{ix}\left(9e^{2ix}+233e^{ix}+9\right)}{162624t^{2}e^{2ix}+4194e^{ix}+54451e^{2ix}+4194e^{3ix}+81e^{4ix}+81}dxdt \\ &= 88\sqrt{21}\int_{1}^{\infty}\oint_{C}\frac{z\left(9z^{2}+233z+9\right)}{162624t^{2}z^{2}+4194z+54451z^{2}+4194z^{3}+81z^{4}+81}\cdot\frac{1}{iz}dzdt \\ &= \frac{88\sqrt{21}}{i}\int_{1}^{\infty}\oint_{C}\frac{9z^{2}+233z+9}{81+4194z+\left(162624t^{2}+54451\right)z^{2}+4194z^{3}+81z^{4}}dzdt \end{align} $$

donde dejamos que $z = e^{ix}$ para transformar la integral interna en una integral de contorno sobre $C$. Esta trayectoria $C$ denota el círculo unitario recorrido en sentido contrario a las agujas del reloj centrado en el origen.

A continuación, igualamos el denominador a $0$ y resolvemos para $z$. Después de realizar algunas manipulaciones algebraicas para convertir la ecuación en una cuadrática y usando una calculadora, la Fórmula Cuadrática arroja estos polos simples:

$$ \begin{align} z_1 &:= \frac{1}{18}\sqrt{-324-162624\left(t+\frac{233i}{88\sqrt{21}}\right)^{2}}+\frac{44i}{3}\sqrt{\frac{7}{3}}t-\frac{233}{28}; \\ z_2 &:=-\frac{1}{18}\sqrt{-324-162624\left(t+\frac{233i}{88\sqrt{21}}\right)^{2}}+\frac{44i}{3}\sqrt{\frac{7}{3}}t-\frac{233}{28}; \\ z_3 &:= \frac{1}{18}\sqrt{-324-162624\left(t-\frac{233i}{88\sqrt{21}}\right)^{2}}-\frac{44i}{3}\sqrt{\frac{7}{3}}t-\frac{233}{28}; \\ z_4 &:= -\frac{1}{18}\sqrt{-324-162624\left(t-\frac{233i}{88\sqrt{21}}\right)^{2}}-\frac{44i}{3}\sqrt{\frac{7}{3}}t-\frac{233}{28}. \end{align} $$

Observa que para $t \in [1,\infty)$ solo $z_1$ y $z_3$ están contenidos en el interior del disco limitado por $C$. Sea $\displaystyle f(z)=\frac{9z^{2}+233z+9}{\left(z-z_{1}\right)\left(z-z_{2}\right)\left(z-z_{3}\right)\left(z-z_{4}\right)}$. Usando la Fórmula Integral de Cauchy, obtenemos que $J$ es

$$ \begin{align} J &= \frac{88\sqrt{21}}{i}\int_{1}^{\infty}\oint_{C}\frac{9z^{2}+233z+9}{\left(z-z_{1}\right)\left(z-z_{2}\right)\left(z-z_{3}\right)\left(z-z_{4}\right)}dzdt \\ &= \frac{88\sqrt{21}}{i}\int_{1}^{\infty}2\pi i\left(\operatorname{Res}\left(f(z),z=z_{1}\right)+\operatorname{Res}\left(f(z),z=z_{3}\right)\right)dt \\ &= 176\sqrt{21}\pi\int_{1}^{\infty}\left(\lim_{z \to z_1}\left(z-z_{1}\right)f(z)+\lim_{z \to z_3}\left(z-z_{3}\right)f(z)\right)dt \\ &= \frac{44\sqrt{21}\pi}{9i}\operatorname{\Large\int_{1}^{\infty}}\left(\frac{1}{\sqrt{1+\left(\frac{\sqrt{162624}}{18}t+\frac{233}{18}i\right)^{2}}}-\frac{1}{\sqrt{1+\left(\frac{\sqrt{162624}}{18}t-\frac{233}{18}i\right)^{2}}}\right)dt. \\ \end{align} $$

Las siguientes integrales indefinidas deberían ser triviales:

$$\operatorname{\Large \int}\frac{dt}{\sqrt{1+\left(\frac{\sqrt{162624}}{18}t+\frac{233}{18}i\right)^{2}}}=\frac{3}{44}\sqrt{\frac{3}{7}}\operatorname{arcsinh}\left(\frac{44\sqrt{21}}{9}t+\frac{233}{18}i\right)+C$$ $$\operatorname{\Large \int}\frac{dt}{\sqrt{1+\left(\frac{\sqrt{162624}}{18}t-\frac{233}{18}i\right)^{2}}}=\frac{3}{44}\sqrt{\frac{3}{7}}\operatorname{arcsinh}\left(\frac{44\sqrt{21}}{9}t-\frac{233}{18}i\right)+C.$$

Usando el Teorema Fundamental para Integrales de Contorno, obtenemos

$$ \begin{align} J =& -\frac{44\sqrt{21}\pi}{9i}\cdot\frac{3}{44}\sqrt{\frac{3}{7}}\left[\operatorname{arcsinh}\left(\frac{44\sqrt{21}}{9}t+\frac{233}{18}i\right)-\operatorname{arcsinh}\left(\frac{44\sqrt{21}}{9}t-\frac{233}{18}i\right)\right]_{1}^{\infty} \\ =& -\frac{44\sqrt{21}\pi}{9i}\cdot\frac{3}{44}\sqrt{\frac{3}{7}}\left[2i\Im\operatorname{arcsinh}\left(\frac{44\sqrt{21}}{9}t+\frac{233}{18}i\right)\right]_{1}^{\infty} \\ =& -2\pi\left[\operatorname{arg}\left(\frac{i}{18}\left(233-88i\sqrt{21}t\right)+\sqrt{1+\frac{1}{324}\left(88\sqrt{21}t+233i\right)^{2}}\right)\right]_{1}^{\infty} \\ =& -2\pi \lim_{t \to \infty}\operatorname{arg}\left(\frac{i}{18}\left(233-88i\sqrt{21}t\right)+\sqrt{1+\frac{1}{324}\left(88\sqrt{21}t+233i\right)^{2}}\right) \\ &+2\pi \operatorname{arg}\left(\frac{i}{18}\left(233-88i\sqrt{21}\right)+\sqrt{1+\frac{1}{324}\left(88\sqrt{21}+233i\right)^{2}}\right) \\ &= -2\pi\cdot0+2\pi\arctan\left(\frac{\Re\left(\frac{i}{18}\left(233-88i\sqrt{21}t\right)+\sqrt{1+\frac{1}{324}\left(88\sqrt{21}t+233i\right)^{2}}\right)}{\Im\left(\frac{i}{18}\left(233-88i\sqrt{21}t\right)+\sqrt{1+\frac{1}{324}\left(88\sqrt{21}t+233i\right)^{2}}\right)}\right) \\ &= 2\pi\arctan\left(\frac{\frac{1}{18}\left(233+88\sqrt{7}\right)}{\sqrt{\frac{108497}{108}+\frac{10252\sqrt{7}}{27}}}\right) \\ &= \frac{\pi^{2}}{3} \\ \end{align} $$ donde al tomar el límite, utilizamos el hecho de que el vector representado por la expresión dentro de $\operatorname{arg}$ se acerca al eje real a medida que $t \to \infty$.

Juntando todo, concluimos con

$$\frac{\pi^{2}}{4}-\frac{1}{4}\int_{0}^{2\pi}\arctan\left(\frac{233+18\cos\left(x\right)}{88\sqrt{21}}\right)dx=\frac{\pi^{2}}{4}-\frac{1}{4}\left(\frac{\pi^{2}}{3}\right)=\frac{\pi^{2}}{6}.$$

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X