¿Cómo convertir una función hipergeométrica en función de Legendre?

Question

Alguien puede ayudarme a convertir el siguiente pdsolve de maple expresado por la función hypergeom al $LegendreP(n,b,x)$ o $Q$ ¿función?

\begin{equation} dsolve\Big( (1-x^2)\cdot \frac{d^2 y(x)}{dx^2} + n(n+1) \cdot y(x) = 0 \Big); \\ y(x) = c_1 (-1+x^2) \cdot hypergeom \Big (\Big[\frac{3}{4} - \frac{1}{4} \cdot \sqrt{4 \cdot n(n+1)+1}, \frac{3}{4} + \frac{1}{4} \cdot \sqrt{4 \cdot n(n+1)+1} \Big], \Big[\frac{1}{2}\Big],x^2 \Big) + c_2 (x^3-x) \cdot hypergeom \Big( \Big[\frac{5}{4} + \frac{1}{4} \cdot \sqrt{4 \cdot n(n+1)+1}, \frac{5}{4} - \frac{1}{4} \cdot \sqrt{4 \cdot n(n+1)+1} \Big], \Big[\frac{1}{2} \Big],x^2 \Big) \end{equation}

Sólo quiero $y(x)$ que se exprese en forma de $LegendreP(n,b,x)$ .

Answer 1

Esto no es una respuesta a la pregunta.

Utilizando dos CAS diferentes, la solución dada para $$(1-x^2)y''+n(n+1)y=0$$ es $$y=c_1 \times _2F_1\left(-\frac{n+1}{2},\frac{n}{2};\frac{1}{2};x^2\right)+c_2\times x \times _2F_1\left(\frac{n+1}{2},-\frac{n}{2};\frac{3}{2};x^2\right)$$ Para $n=1$ Esto daría $$y=c_1 \left(x^2-1\right)+c_2 \left(\left(x^2-1\right) \tanh ^{-1}(x)-x\right)$$ Para $n=2$ Esto daría $$y=c_1 x \left(x^2-1\right)+c_2 \left(-3 x^2+3 \left(x^2-1\right) x \tanh ^{-1}(x)+2\right)$$ Para $n=3$ Esto daría $$y=c_1 \left(x^4-\frac{6 x^2}{5}+\frac{1}{5}\right)+ c_2 \left(-15 x^3+13x+3 \left(5 x^4-6 x^2+1\right) \tanh ^{-1}(x)\right)$$ Para $n=4$ Esto daría $$y=c_1 \left(x^5-\frac{10 x^3}{7}+\frac{3 x}{7}\right)+c_2 \left(-105 x^4+115 x^2-16+15 \left(7 x^4-10 x^2+3\right) x \tanh ^{-1}(x)\right)$$

Puedes probar este y simplificar el resultado pasando de $\log(.)$ a $\tanh ^{-1}(.)$ .

Actualización

Con respecto, como se pregunta más adelante en los comentarios, a las formas polinómicas de las soluciones de $$(1-x^2)y''+ny=0$$ cuya solución general es $$y=c_1 \times \, _2F_1\left(-\frac{\sqrt{4 n+1}+1}{4} ,\frac{\sqrt{4 n+1}-1}4 ;\frac{1}{2};x^2\right)+$$ $$\qquad c_2 \times x \times \, _2F_1\left(-\frac{\sqrt{4 n+1}-1}{4} ,\frac{\sqrt{4 n+1}+1}4;\frac{3}{2};x^2\right)$$ sólo aquellos para los que el primer y segundo argumento de las funciones hipergeométricas son múltiplos de $\frac 12$ mostrará este tipo de formularios.

Por ejemplo,

$$\left( \begin{array}{ccc} n & \, _2F_1\left(-\frac{\sqrt{4 n+1}+1}{4} ,\frac{\sqrt{4 n+1}-1}4 ;\frac{1}{2};x^2\right) \\ 2 & 1-x^2 \\ 6 & \frac{1}{2} \left(2-3 x^2\right)+\frac{3}{2} x \left(x^2-1\right) \tanh ^{-1}(x) \\ 12 & \left(1-5 x^2\right) \left(1-x^2\right) \\ 20 & \frac{1}{16} \left(105 x^4-115 x^2+16\right)-\frac{15}{16} \left(7 x^5-10 x^3+3 x\right) \tanh ^{-1}(x) \\ 30 & \left(1-x^2\right) \left(21 x^4-14 x^2+1\right) \end{array} \right)$$ $$\left( \begin{array}{ccc} n & \, _2F_1\left(-\frac{\sqrt{4 n+1}-1}{4} ,\frac{\sqrt{4 n+1}+1}4;\frac{3}{2};x^2\right) \\ 2 & \frac{\left(1-x^2\right) \tanh ^{-1}(x)}{2 x}+\frac{1}{2} \\ 6 & 1-x^2 \\ 12 & \frac{1}{16} \left(13-15 x^2\right)+\frac{3 \left(5 x^4-6 x^2+1\right) \tanh ^{-1}(x)}{16 x} \\ 20 & \frac{1}{3} \left(3-7 x^2\right) \left(1-x^2\right) \\ 30 & \frac{1}{128} \left(315 x^4-420 x^2+113\right)-\frac{15 \left(21 x^6-35 x^4+15 x^2-1\right) \tanh ^{-1}(x)}{128 x} \end{array} \right)$$