26 votos

Conjetura: $\int_0^1\frac {3 x ^ 3-2 x} {(1 + x) \sqrt {1-x}} K\big (\!\frac {x 2} {1 + x} \!\big) \,dx\stackrel? = \frac\pi{5\sqrt2}$

$$\int_0^1\frac{3x^3-2x}{(1+x)\sqrt{1-x}}K\left(\frac{2x}{1+x}\right)\,dx\stackrel ?=\frac\pi{5\sqrt2}$$

La integral anterior viene a partir de la evaluación de la integral $A=\int_0^{\pi/2}\frac{f(\theta)}\pi d\theta$, donde

$$f(\theta)=\int_0^\pi\frac{(3\sin^2\theta-2)\sin\theta\,d\phi}{\sqrt{2+2\sin\theta\cos\phi}}=\frac{\sqrt2(3\sin^2\theta-2)}{\csc\theta\sqrt{1+\sin\theta}}\int_0^{\pi/2}\left(1-\frac{2\sin\theta}{1+\sin\theta}\sin^2\gamma\right)^{-1/2}d\gamma,$$

donde $\gamma=\phi/2$, y el lado derecho de la integral es de $K\big(\!\frac{2\sin\theta}{1+\sin\theta}\!\big)$ por definición. Después de sustituciones $x=\sin\theta$ y $y=\frac{2x}{1+x}$ obtenemos

$$\begin{align}A&=\frac{\sqrt2}\pi\int_0^1\frac{3x^3-2x}{(1+x)\sqrt{1-x}}K\left(\frac{2x}{1+x}\right)\,dx\\ &=\frac1\pi\int_0^1\frac{y^3+8y^2-8y}{(2-y)^3\sqrt{y^2-3y+2}}K(y)\,dy\stackrel ?=\frac15,\end{align}$$

donde la integral se ha evaluado numéricamente para sugerir el resultado analítico sobre el derecho a varios miles de dígitos. Es allí cualquier manera de demostrar esta igualdad, y hay generalizaciones de esta conjetura para incluir otros parámetros?

P. S. No es que sea demasiado relevante para la pregunta, pero para el lector interesado, la integral original viene desde el siguiente problema de física:

[Morin, Introducción a la Mecánica Clásica, Ex. 10.12] La tierra se abomba ligeramente en el ecuador, debido a la fuerza centrífuga de la tierra marco giratorio. El objetivo de este ejercicio es encontrar la forma de la tierra, primero de forma incorrecta, y luego correctamente.

(a) El común incorrecta método consiste en suponer que la fuerza de gravitación de la ligeramente nonspherical de la tierra apunta hacia el centro, y, a continuación, calcular la superficie equipotencial (incorporación de la gravedad y la fuerza centrífuga). Muestran que este método conduce a una superficie cuya altura (en relación a una tierra esférica del mismo volumen) está dada por $h(\theta)=R\big(\!\frac{R\omega^2}{6 g}\!\grande)(3\sin^2⁡\theta-2)$, donde $\theta$ es el ángulo polar (el ángulo hacia abajo desde el polo norte), y $R$ es el radio de la tierra.

(b) El método anterior es incorrecta, debido a la ligera distorsión de la tierra hace que la fuerza de gravedad a no apuntar hacia el centro de la tierra (excepto en el ecuador y los polos). Esta inclinación en la dirección de la fuerza, a continuación, cambia la pendiente de la superficie equipotencial, y resulta que (aunque esto no significa obvio) que este efecto es del mismo orden que la pendiente de la superficie que se encuentra en la parte (a). Su tarea: Suponiendo que la densidad de la tierra es constante, y que la altura correcta toma la forma de algún factor constante de $f$ veces el resultado encontrado en la parte (a), muestran que $f=5/2$. Hacer esto por exigente que el potencial en un polo es el potencial en el ecuador.

12voto

Chen Wang Puntos 2686

Edit@3.30: Encontrado otra manera de ampliar la integral elíptica.

El uso de DLMF 15.8.13 con $a=b=\tfrac12$ y $z=\frac{2x}{1+x}$, llegamos a la conclusión de que $$K\left(\frac{2x}{1+x}\right)=\frac{\pi}{2}\sqrt{1+x} de{~_2F_1}(\tfrac14,\tfrac34;1;x^2).$$

Por lo tanto, tenemos $$ I_n=\frac{1}{\sqrt2}\int^1_0\frac{x^{2n+1}}{\sqrt{1-x^2}}{~_2F_1}(\tfrac14,\tfrac34;1;x^2)dx\\ =\frac{1}{\sqrt2}\int^1_0\frac{x^{2n+1}}{\sqrt{1-x^2}}\sum_{m=0}^{\infty}\frac{\Gamma(m+\tfrac14)\Gamma(m+\tfrac34)x^{2m}}{\Gamma(\tfrac14)\Gamma(\tfrac34)\Gamma(m+1)^2}dx\\ =\frac{1}{\sqrt2}\sum_{m=0}^{\infty}\frac{\Gamma(m+\tfrac14)\Gamma(m+\tfrac34)}{\Gamma(\tfrac14)\Gamma(\tfrac34)\Gamma(m+1)^2}\int^1_0\frac{x^{2m+2n+1}}{\sqrt{1-x^2}}dx\\ =\frac{1}{\sqrt2}\sum_{m=0}^{\infty}\frac{\Gamma(m+\tfrac14)\Gamma(m+\tfrac34)}{\Gamma(\tfrac14)\Gamma(\tfrac34)\Gamma(m+1)^2}\frac{\sqrt{\pi}\Gamma(m+n+1)}{2\Gamma(m+n+\tfrac32)}\\ =\frac{\sqrt{\pi}\Gamma(n+1)}{2\sqrt2\Gamma(n+\tfrac32)}{~_3F_2}\left(\begin{array}c\tfrac14,\tfrac34,n+1\\1,n+\tfrac32\end{array}\middle|1\right).\\ $$

En particular, hemos $$ I_0=\frac{\sqrt{\pi}}{2\sqrt2\Gamma(\tfrac32)}\frac{\Gamma(\tfrac32)\Gamma(\tfrac12)}{\Gamma(\tfrac34)\Gamma(\tfrac54)}=1\\ I_1=\frac{\sqrt{2}}{3}{~_3F_2}\left(\begin{array}c\tfrac14,\tfrac34,2\\1,\tfrac52\end{array}\middle|1\right)=\frac{11}{15}. $$

La evaluación de la última ${~_3F_2}$ función es debido a Mathematica.

Por lo tanto, OP original de la integral $A=3I_1-2I_0=\frac15$.

2voto

casperOne Puntos 49736

Esta es una colección de reflexiones que pueden constituir o no una respuesta, pero son demasiado grandes para anexar a la OP, mientras se mantiene restringido a la declaración del problema.

Según lo sugerido por Steven Stadnicki, podemos utilizar la definición de integral por $K(x)$ y el intercambio de las integrales (me he cambiado $y\mapsto x$ de la convención en el OP):

$$\begin{align}A&=\frac1\pi\int_0^1\frac{dt}{\sqrt{1-t^2}}\int_0^1dx\frac{x^3+8x^2-8x}{(2-x)^3}\big[(x-1)(x-2)(1-t^2x)\big]^{-1/2}\end{align}$$

Esta integrando es una integral elíptica (w.r.t. $dx$), ya que es una función racional de $x$ y $s$, donde $s^2=(x-1)(x-2)(1-t^2x)$ es un cúbicos función de $x$. (No estoy seguro de cómo reducir... va a añadir más tarde.)


Gracias a la obra de Chen Wang en los comentarios, parece que merece la pena ampliar la conjetura a la familia de un parámetro

$$I_n=\frac1\pi\int_0^1 \frac{x^{2n+1}K(x)\,dx}{(2-x)^{2n+3/2}\sqrt{1-x}},$$

para los que $A=3I_1-2I_0$. Cada $I_n$ es aparentemente racional, con $$I_0\stackrel?=1,\quad I_1\stackrel?=\frac{11}{15},\quad I_2\stackrel?=\frac{13}{21},\quad I_3\stackrel?=\frac{1181}{2145},\quad I_4\stackrel?=\frac{385397}{765765}.$$

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