5 votos

La serie de Perturbación para $x^5+ \varepsilon x-1=0$

Quiero encontrar una forma cerrada para los coeficientes de perturbación $a_n$ definido por la solución perturbadora $$ x( \varepsilon )=1+ \sum_ {n=1}^ \infty a_n \varepsilon ^n $$ a la ecuación quintica $$ x^5+ \varepsilon x-1=0. $$ Al computar el determinante, como se sugirió para este pregunta relacionada En cuanto al caso cúbico, podemos argumentar que el radio de convergencia de la serie anterior debe ser $$ \rho = \frac {5}{4^{4/5}}=1.64938 \dots $$ Además, el teorema de Lagrange-Bürmann nos permite escribir formalmente un formulario cerrado para los coeficientes, a saber $$ a_n= \frac {(-1)^n}{n!} \frac {d^{n-1}}{dx^{n-1}} \left ( \frac {x}{1+x+x^2+x^3+x^4} \right )^n_{x=1} $$ pero esto no parece muy iluminador. (Para el caso de la ecuación cúbica, una reescritura un poco más explícita, pero aún así engorrosa, fue posible gracias a la forma más simple de $a_n$ ).

Lo que me gustaría lograr es obtener $ \rho $ de la expresión explícita cerrada para el $a_n$ . Por lo tanto, me propuse calcular algunos de ellos. Aquí están: $$ a_1=- \frac {1}{5},\ a_2=- \frac {1}{5^2},\ a_3=- \frac {1}{5^3},\ a_4=0, \\ a_5= \frac {21}{5^6},\ a_6= \frac {78}{5^7},\ a_7= \frac {187}{5^8},\ a_8= \frac {286}{5^9},\ a_{9}=0, \\ a_{10}=- \frac {9367}{5^{12}},\ a_{11}=- \frac {39767}{5^{13}},\ a_{12}=- \frac {105672}{5^{14}},\ a_{13}=- \frac {175398}{5^{15}},\ a_{14}=0. $$ El comportamiento de la $a_n$ para $n=1, \ldots ,30$ apoya la siguiente conjetura: $$ \boxed { a_n = -(-1)^{ \lfloor n/5 \rfloor } \frac {c_n}{5^{ \alpha_n }} } $$ donde $$ \alpha_n = \sum_ {k=0}^ \infty \left\lfloor \frac {n}{5^k} \right\rfloor $$ y el $c_n$ son coeficientes enteros no negativos que no son divisibles por $5$ y desaparecen por $n=5m-1$ . Creo que $c_n$ debería ser algo de la forma $$ \frac {1}{4n+1} \binom {5n}{n} $$ que para $n=4$ está muy cerca de reproducirse $c_8=286$ y tiene una escala similar a la exhibida por el $c_n$ . Este problema también está motivado por esto video donde se sugiere que la respuesta se puede adivinar con cierto esfuerzo mirando fijamente los coeficientes lo suficientemente fuerte (27,08). Sin embargo, creo que necesito ayuda.

2voto

Matthew Scouten Puntos 2518

Por conveniencia, dejemos $ \varepsilon = 5s$ . Maple me da lo siguiente:

$$ \sum _{k=0}^ \infty \frac {(-16 s^5)^k}{k!} \left ( \frac { \left ( \frac 2 5 \right )_{2k} \left (- \frac 1 {10} \right )_{2k} }{ \left ( \frac 4 5 \right )_k \left ( \frac 3 5 \right )_k \left ( \frac 2 5 \right )_k} - \frac { \left ( \frac 4 5 \right )_{2k} \left ( \frac 3 {10} \right )_{2k} s }{ \left ( \frac 6 5 \right )_k \left ( \frac 4 5 \right )_k \left ( \frac 3 5 \right )_k } - \frac { \left ( \frac {6}{5} \right )_{2k} \left ( \frac {7}{10} \right )_{2k} s^2 }{ \left ( \frac {7}{5} \right )_k \left ( \frac {6}{5} \right )_k \left ( \frac {4}{5} \right )_k } - \frac { \left ( \frac {8}{5} \right )_{2k} \left ( \frac {11}{10} \right )_{2k} s^3 }{ \left ( \frac {8}{5} \right )_{k} \left ( \frac {7}{5} \right )_k \left ( \frac {6}{5} \right )_k} \right ) $$ usando los símbolos de Pochhammer $$(a)_m = \frac { \Gamma (a+m)}{ \Gamma (a)}$$

1voto

Aaron Puntos 1

Haciendo la fórmula de Robert Israel un poco más compacta podemos escribir $$ \boxed { x( \varepsilon )= \sum_ {k=0}^ \infty (-1)^{k+1}(2)^{4k} \sum_ {j=0}^3(-1)^{ \delta_ {j0}} \frac { \left ( \frac {2(j+1)}{5} \right )_{2k} \left ( \frac {2(j+1)}{5}- \frac {1}{2} \right )_{2k}}{ \left ( \frac {j+5}{5} \right )_{k} \left ( \frac {j+4}{5} \right )_{k} \left ( \frac {j+3}{5} \right )_{k} \left ( \frac {j+2}{5} \right )_{k}} \frac { \varepsilon ^{5k+j}}{5^{5k+j}} } $$ donde $(a)_m$ es el símbolo de Pochhammer y $$ (a)_m = \frac { \Gamma (a+m)}{ \Gamma (a)}=(a+m-1)(a+m-2) \cdots (a+1)a $$ para el número entero positivo $m$ . Aplicando la expansión asintótica de Stirling, $$ \begin {aligned} & \lim_ {k \to\infty } \left [ \frac {2^{4k}}{5^{5k+j}} \frac { \left ( \frac {2(j+1)}{5} \right )_{2k} \left | \left ( \frac {2(j+1)}{5}- \frac {1}{2} \right )_{2k} \right |}{ \left ( \frac {j+5}{5} \right )_{k} \left ( \frac {j+4}{5} \right )_{k} \left ( \frac {j+3}{5} \right )_{k} \left ( \frac {j+2}{5} \right )_{k}} \right ]^{1/{5k}} \\ =&\ \lim_ {k \to\infty } \frac {2^{4/5}}{5} \frac { \left (2+ \frac {2(j+1)}{5k} \right )^{2/5} \left (2+ \frac {2(j+1)}{5k}- \frac {1}{2k} \right )^{2/5}}{ \left (1+ \frac {j+5}{k} \right )^{1/5} \left (1+ \frac {j+4}{k} \right )^{1/5} \left (1+ \frac {j+3}{k} \right )^{1/5} \left (1+ \frac {j+2}{k} \right )^{1/5}} \\ =&\ \frac {2^{4/5}}{5} \cdot 2^{2/5} \cdot 2^{2/5} \\ =&\ \frac {4^{4/5}}{5} \end {aligned}$$ independientemente de $j=0,1,2,3$ . Por lo tanto, según la fórmula de Hadamard, el radio de convergencia es $$ \boxed { \rho = \frac {5}{4^{4/5}}. } $$

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