Soluciones en torno a puntos singulares

Para una ecuación diferencial lineal de segundo orden dada, cuya forma estandar
a 2  x  y" a1  x  y ' a 0  x  y  0 ;
(1)
a1  x  a
y" y '
a 2  x  a
a1  x  a  x
, donde P x  
a2  x
; Q x   0
a2  x
, es decir y" P  x  y 'Q  x  y  0

Un punto es singular en x  x0 si a 2  x 0   0 .

Se dice que una función f  x  es analítica en un punto a si puede representase

mediante una serie de potencias en x  a con un radio de convergencia positivo.

Definición: Puntos singulares normales e irregulares

Se dice que un punto x 0 es un punto singular normal de la ecuación diferencial

(1)
si las funciones p  x    x  x0  P x  y q x    x  x0  Q x  son analíticas en x 0 . Un
2

punto singular no normal se conoce como punto singular irregular.

Teorema de Frobenius

Si x  x0 es un punto singular normal de la ecuación diferencial

a 2  x  y" a1  x  y ' a 0  x  y  0 ,
existe, entonces al menos una solución de la forma
 
y   x  x0  c  x  x    cn  x  x0 
r n nr
n 0 donde r es una constante a determinar.
n0 n 0

La serie convergerá al menos en algún intervalo 0  x  x0  R .

Todas las soluciones estarán en torno al punto singular normal cero.

Ejemplo:

Sea la ecuación 3xy" y ' y  0 .



Se intenta encontrar una solución de la forma y   c n x .

nr

n 0
 
y'    n  rc
n 0
n x n  r 1 ,

y"   
n 0
n  r  n  r  1 c

Que al reemplazarla en la ecuación da:


3 xy" y ' y  3  n 
n 0

3 xy" y ' y    n  r 
n 0

3 xy" y ' y  x r
r  3r  2

Ahora si k  n  1 , entonces


3 xy" y ' y  x r
r  3r  2  c0 x


De donde r  3r  2  c 0 x  0 , Ecuación indicial, los valores de r se llaman raíces

1

indiciales o exponentes de la singularidad x  0

 k  r  1 3k  3r  1 ck 1  ck  0 con k  0,1,2,... (1)

ck
Despejando c k 1  k  0,1,2,...
 k  r  1 3k  3r  1 con
2
Los valores para r que se obtienen de r  3r  2  c 0 x 1  0 , r  0 , r  cuando se
3
reemplazan en la ecuación (1) dan dos relaciones de recurrencia diferentes:

ck ck
2 c k 1  
r1  , entonces  5  3k  5 k  1 con k  0,1,2,... (2)
3  k   3k  3
 3

ck
r2  0 , entonces c k 1  k  0,1,2,...
 k  1 3k  1 con (3)
De (2) se obtiene: De (3) se obtiene

c0 c0
k  0, c1  k  0, c1 
 51 11
c0 c1 c0
k  1, c 2  
k  1, c
c2  1 
 51  c0  2 4 2!1  4
 8 2  8 2 2!5  8
c0
k  2, c c0 c2 c0
c3  2  2!5  8  k  2, c3  
 3 7  3!1  4  7
 8 2 11 3 3!5  8  11
k  3,
c0
c3 c0 c3 c0
c4   3!5  8  11  k  3 , c4  
 410 4!1  4  7  10
 8 2 14 4 4!5  8  11  14
. .
. .
. .
c0 c0
k  n, c n 
k  n, c n 
n!5  8  11  14  ... 3n  2 n!1  4  7  ...   3n  2 

Sucesivamente se pueden obtener los otros términos. Al sustituir los coeficientes en


y c
n 0
n x nr

y  c0 x r  c1 x r 1  c 2 x r  2  c3 x r  3  c 4 x r  4  c5 x r 5  c6 x r  6  c7 x r  7  c8 x r 8  c9 x r  9  c10 x r 10  c11 x r 11  ...

2 2  
1 
, la solución sería: y1  x   c0 x 3 1   n!5  8 11  ...   3n  2 x n
Para r1  
3  n 1 
 
1 
Para r1  0 , la solución sería: y 2  x   c0 x 1  
0
xn 
 n 1 n!1  4  7  ...   3n  2  