3.

Soluciones por medio de series

En el captulo anterior vimos las escasas formas de resolver elementalmente la ecuacin con coeficientes variables [e] x"+ a(t)x' + b(t)x = 0 . Este captulo trata una forma general de atacarla: suponer la solucin desarrollada en serie de potencias e introducir esta serie en la ecuacin para determinar sus coeficientes. En la seccin 3.1 recordaremos la definicin de funcin analtica (funcin descrita por una serie de potencias convergente) y algunas manipulaciones matemticas que se pueden hacer con ellas. Cuando a y b son analticas en un entorno de to (punto regular, seccin 3.2) siempre se podrn encontrar dos soluciones linealmente independientes de [e] en forma de serie de potencias por el siguiente camino: llevando una serie a la ecuacin conseguiremos expresar sus coeficientes ck en funcin de los dos primeros c0 y c1 , que sern las dos constantes arbitrarias que aparecen en la solucin de cualquier ecuacin de segundo orden (algunas veces podremos dar la expresin general del ck , pero otras nos deberemos limitar a ir calculando coeficiente a coeficiente). Un teorema, que aceptaremos sin demostracin, nos asegurar que las series solucin son convergentes al menos en el intervalo en que a y b lo eran. Imponer datos iniciales en to ser inmediato, pues tendremos que x(to)= c0 y x'(to)= c1 . Si a y b no son analticas, pero 'poco' (si to es singular regular), tambin se pueden utilizar series para resolver [e] de una forma slo algo ms complicada (es el mtodo de Frobenius de la seccin 3.3). Calcularemos primero una solucin x1 que (si to = 0 ) ser siempre de la forma t r (siendo r una de las races del llamado polinomio indicial) y a continuacin otra x2 , linealmente independiente de la anterior, que unas veces ser del mismo tipo y otras contendr adems un trmino incluyendo el ln t . De nuevo un teorema no demostrado garantizar la convergencia de las series que vayan apareciendo. El clculo de los coeficientes de las series es sencillo (aunque algo pesado). El problema bsico de utilizar series para resolver ecuaciones es la dificultad de obtener informacin sobre las soluciones que se encuentran (y ms cuando no podamos hallar su trmino general). Sin embargo ecuaciones del tipo [e] surgen a menudo en problemas reales y las series son el nico instrumento para resolverlas. Por eso existen libros enteros (los de funciones especiales de la fsica) dedicados a estudiar las propiedades de las series solucin de algunas de estas ecuaciones (las de Legendre, Hermite, Bessel, Laguerre, Tchebycheff, ) . Una muestra de tales estudios son las propiedades de las soluciones de las ecuaciones de Legendre, Hermite y Bessel que se tratan en la seccin 3.4. Las soluciones por serie en torno a cualquier punto (salvo que puedan ser identificables con una funcin elemental) no dan ninguna informacin sobre el comportamiento de las soluciones cuando t . En la seccin 3.5, para estudiar para grandes valores de t las soluciones, introduciremos el llamado punto del infinito de una ecuacin, punto s= 0 de la ecuacin que se obtiene haciendo t= 1/s en la inicial.

49

3.1 Funciones analticas

Una f(t) es analtica en t= to si viene descrita por una serie de potencias en un entorno del punto: f(t) = ck(tto)k = c0 + c1(tto) + c2(tto)2 +
k=0

A partir de ahora supondremos que to=0 (si no, haramos tto = s y estaramos en ese caso): f(t) = c k t k . k=0 Como se sabe, a cada serie de potencias est asociado un radio de convergencia R tal que: si R=0 , la serie slo converge en t=0 ; si R= , converge para todo t ; si 0<R< , converge si |t|<R y diverge si |t|>R (en t=R puede converger o divergir). Adems, si 0<to<R , la serie converge uniformemente en [to,to] . El R se puede calcular en muchas ocasiones aplicando el llamado criterio del cociente: |ak+1| Sea ak y sea p = klm . Entonces si p<1 , la converge, y si p>1 diverge. | a k| k=0 Propiedad bsica de las series de potencias es que, si R>0 , se pueden derivar e integrar trmino a trmino: f '(t) = kcktk-1 = c1 + 2c2 t + , f"(t) = k(k1)cktk2 = 2c2 + 6c3 t + , ( f(k)(0)= k! ck ) k=1 k=2

cktk
k=0

k k+1 = C + k+1 t = C + c0 t + 21 t2 + si |t |< R k=0

Tambin pueden sumarse, multiplicarse, las series de potencias como si fuesen polinomios: f(t) = aktk si |t|<Rf y g(t) = bktk si |t|<Rg
k=0 k=0

f(t)+ g(t) = [ak+bk]tk , f(t) g(t)=a0b0+(a0b1+a1b0)t+ (a0b2+a1b1+a2b0)t2 + , si |t|<min(Rf,Rg)

k=0

(tambin el cociente f/g es analtico si tiene lmite en t= 0 ; ya veremos como hallar su desarrollo). Caso importante de estas series son las de Taylor:

k=0

(k)

(0) k t , para f con infinitas derivadas en 0 . k!

La mayora de las funciones elementales coinciden con su serie de Taylor (y por tanto son analticas) en todo el intervalo de convergencia de esta serie. Por ejemplo, se tiene: et = , sen t = k=0 k ! k=0

tk

[1] k t2k+1 , cos t = (2k+1)!

k=0

[1] k t 2 k , sht = (2k)!

, cht = tR k=0 (2k+1)! k=0 (2k)!

t2k+1

t2k

[1] [1] k t k+1 [1] k t2k+1 1 k = t , ln(1+t) = , arctant = , [1+t ]= 1 + t + 2! t2+ si |t |<1 1 t k=0 k+1 2k+1 k=0 k=0

Aunque una f sea C(R) y su serie de Taylor converja t puede que ambas no coincidan, como le ocurre a f(t)=e1/t2, f(0)=0 que cumple f(k)(0)=0 k (su serie de Taylor es 0.t k = 0 ). f , por tanto, no es analtica. Para que una f sea analtica, es necesario que tenga infinitas derivadas en el punto, pero no es suficiente.
Ej 1. Hallemos de varias formas (algunas nada naturales) el desarrollo de f(t) = f(t) = 1 d 1 d = [1+t]2 dt 1+t dt 1 . [1+t]2

(t)k = k=1 (1)kktk1 k=0

= (1)k(k+1)tk = 1 2t +3t2 4t3 + si |t|<1 .

k=0

Otra forma: [1+ t ]2 = 1 2t + Multiplicando:

2[21] 2 2[21][22] 3 t + t + = 1 2t +3t2 4t3 + si |t|<1 . 2! 3!

f(t) = [1t+t2][1t+t2] = [1 + (11) t + (1+1+1) t2 + ] = 1 2t +3t2 si |t|<1 tal que [c0 +c1 t +c2 t2 +c3 t3 + ] [t2 +2t +1] = 1 ; c0 =1 ; 2c0+c1 =0 c1=2c0 =2 ; c0+2c1+c2 =0 c2 =c02c1 =3 ;

Tambin podemos 'dividir': buscar una serie as se va obteniendo:

cktk

[el radio R del desarrollo de un cociente P/Q , con P y Q polinomios, simplificados los factores comunes, y Q(0)0 es la distancia al origen de la raz (real o compleja) de Q ms prxima]. Y con un caso sencillo de 'composicin' de series: 1 2 3 = 1 (2t+t2) + (2t+t2) (2t+t2) + = 1 +2t+ t 2

50

3.2 Puntos regulares

Sea la ecuacin [e] x " + a(t)x' + b(t)x = 0

Se dice que t= to es un punto regular de [e] si a y b son analticas en t= to . En caso contrario se dice que t= to es punto singular de [e]. Sea t=0 regular y llamemos R al menor de los radios de convergencia de a y b . Se podr, pues, escribir : a(t) =

a k tk , b(t) = k=0 b k tk para |t |<R k=0

Si sus coeficientes son analticos, se puede esperar que cualquier solucin de [e] tambin lo sea, es decir que tambin se pueda escribir como una serie de potencias para |t |< R . Empecemos con un ejemplo:
Ej 1. (1+t 2 ) x" +2tx ' 2 x = 0 , es decir, x " + 2t 2 x' x = 0 , a(t) y b(t) analticas en t =0 con R =1 . 1+t2 1+t2

Llevemos una solucin en forma de serie arbitraria (junto con sus derivadas) a la ecuacin inicial (mejor que a la segunda, pues deberamos desarrollar a y b ) y tratemos de calcular sus coeficientes: x = c k t k , x '= kc k t k1 , x" = k(k1)c k t k2 [ k(k1)c k t k2+k(k1)cktk] + 2kc ktk 2cktk = 0
k=0 k=1 k=2 k=2 k=1 k=0

La solucin final de esta lineal de segundo orden deber contener dos constantes arbitrarias as que una buena estrategia puede ser intentar escribir los ck en funcin de los dos primeros c0 y c1 . Como para que una serie de potencias se anule han de ser 0 los coeficientes de cada potencia de t , deducimos: t0 : 2.1.c2 2.c0 = 0 c2 = c0 t1 : 3.2.c3 + [22]c1 = 0 c3 = 0 tk2 : k(k1) ck + [(k2)(k3)+2(k2)2] ck-2 = 0 (hemos escrito aparte los primeros trminos porque cada serie empieza a aportar trminos para distintos k ). De la ltima expresin deducimos la regla de recurrencia que expresa el ck en funcin de los anteriores ya conocidos (en este ejemplo, slo en funcin de ck-2 ); factorizamos, para facilitar los clculos, los polinomios que aparecen calculando sus races: ck = k3 k(k3) c = c , k=2,3, k1 k-2 k(k1) k-2

A partir de esta regla escribimos algunos ck ms (siempre en funcin de c0 o c1 ) con el objetivo de encontrar la expresin del trmino general de la serie (en muchos otros ejemplos esto no ser posible): 1 1 c4 = c2 = c0 , 3 3 3 1 k+1 1 c6= c4 = c , c2k = (1) c , k=1,2, 5 5 0 2k1 0 c5 = 0 por estar en funcin de c3 que se anulaba. Anlogamente c7 = c9 = = 0

Agrupando los trminos que acompaan a c0 y c1 (que quedan indeterminados) obtenemos por fin: 1 4 1 6 k+1 t2k x = c0 [1+ t2 t + t + ] + c1 t = c0 [1 + (1) ] + c1 t = c0 x1 + c1 x2 3 5 2k1 k=1 Esta expresin tiene la estructura clsica de las soluciones de las lineales de segundo orden. Pero para que lo sea de verdad, las series deben converger en un entorno de t =0 , y adems x1 y x2 han de ser linealmente independientes. Esto es lo que sucede. La serie de x1 (como se puede ver por el criterio del cociente) converge para | t |<1 y la 'serie' de x2 (truncada a partir de su segundo trmino) converge para todo t . Y el wronskiano de ambas soluciones en t =0 resulta ser 1 (pues x1(0)=1, x1'(0)=0 , x2(0)=0, x2'(0)=1 ). Si, en vez de la solucin general, la que queremos es la que cumple x(0) =x o , x '(0)= xo' (existe y es nica por ser a y b analticas) dada la forma de las series de x1 y x2 es inmediato que debe tomarse c0 =xo , c1 =xo' . [Esta ecuacin se poda haber resuelto sin usar series. Era fcil darse cuenta de que x2 = t era una solucin, y podramos haber calculado la x1 siguiendo la seccin 2.2: x1 = x2

x22 e

dt = t

t2 e

2t 1+t2 dt

= t

t2 (1 +t2)1 dt = 1 t arctan t ,

cuyo desarrollo, salvo el signo, coincide con el obtenido anteriormente]. Gran parte de lo visto en este ejemplo ocurre en general, como asegurar el teorema 1 que no demostraremos.

51

Teor 1.

Si t=0 es regular, la solucin general de [e] es x = c0 x1 + c1 x2 = c0 [1+ ] + c1 [ t + ] , con c0 , c1 arbitrarios, y las series, que contienen potencias tk con k2 , convergen, al menos, para |t |< R . Los coeficientes de estas series se determinan de forma nica probando una serie de potencias arbitraria en la ecuacin (con las funciones a(t) y b(t) desarrolladas) y expresando sus coeficientes ck , para k2 , en funcin de c0 y c1 . La solucin nica de [e] con x(0)=xo , x'(0)=xo' se obtiene simplemente sustituyendo c0 = xo , c1 = xo' .
.

[El desarrollo de a y b , desde luego, no ser necesario si esas funciones son polinomios].

Para estudiar las soluciones de [e] en un entorno de otro to regular, el cambio de variable s = t to lleva a una ecuacin en s para la que s= 0 es regular. Probaramos entonces para hallar su solucin la serie: x=
Ej 2.

c k sk [es decir , x = k=0 c k (tto)k ]. k=0

t=0 regular puesto que a(t)=0 y b(t) =t2 son analticas en todo R .

x " + (t2)x = 0 , x(0)=2, x '(0)=1

[El primer ejemplo era demasiado sencillo. En general, y como en este, las cosas sern ms complicadas]. Llevando una serie arbitraria y sus derivadas a la ecuacin e igualando a 0 los coeficientes de cada tk : x=

c k tk k=0

k(k1)c k tk2 k=2

[ k=0

ck tk+1 2c k tk ] = 0

1 1 t1 : 3.2.c3 + c0 2.c1 = 0 c3 = c0 + c1 ; 6 3 2 1 tk2 : k(k1)ck + ck-3 2ck-2 = 0 ck = c + c , k=3,4, k(k1) k-3 k(k1) k-2 t0 : 2.1.c2 2.c0 = 0 c2 = c0 ; (regla de recurrencia de tres trminos que suele traer muchos ms problemas que las de dos). Escribimos un par de trminos ms en funcin de c0 y c1 : 1 2 1 1 1 2 1 1 c4 = c + c = c c ; c5= c + c = c + c 12 1 12 2 6 0 12 1 20 2 20 3 15 0 30 1 No hay forma de encontrar la expresin del trmino general, aunque paso a paso podemos ir calculando el nmero de trminos que queramos. 1 1 1 1 5 1 4 1 5 La solucin general es entonces: x = c0 [ 1+ t2 t3 + t4 t + ] + c1 [ t + t3 t + t + ] 3 6 6 15 12 30 1 1 Y la particular pedida: x = 2 + t + 2t2 + t4 t5 + , serie convergente para todo t segn el teorema. 4 10 Para calcular unos pocos trminos (pero no para calcular muchos o para buscar la expresin del trmino general) de una serie solucin cerca de un punto regular se puede seguir el siguiente camino: Haciendo t =0 en la ecuacin: x" (0) + (02) x(0) = 0 x" (0) = 4 Derivando la ecuacin y volviendo a hacer t =0 : x"' +(t2) x ' +x = 0 x"'(0) = 2x '(0)x(0) = 0 Derivando otra vez : x"" +(t2) x" +2x ' = 0 x""(0) = 2x"(0)2x '(0) = 6 , Por tanto: x(t) = x(0) + x '(0) t + 4 2 0 3 4 4 x"(0) 2 x"'(0) 3 t + t + = 2+t+ t + t + t + 6 2 6 24 2 x(2)=6, x '(2)=0 , la solucin general de arriba, dada por

Si buscamos unos trminos de la solucin con

series en t =0 , claramente no sirve para imponer datos en t =2 . Debemos resolver en torno a este punto:
d2x + s x = 0, s=0 regular x = c k sk k(k1)c k sk2 + c k sk+1 = 0 ds2 k=0 k=2 k=0 1 1 1 k2 0 c , k=3,4, s : 2c2 = 0 ; s : 6c3 +c0 = 0 , c3 = c0 ; ; s : k(k1)ck + ck-3 = 0 ck = 6 k(k1) k-3 1 1 1 1 1 c5 =c8 = =0 ; c4 = . c1 ; c6 = . c3 = . . . c0 ; c7 = . c4 = . . . c1 43 65 6532 76 7643

s =t2

x = c0 [ 1

1 3 1 6 1 4 1 7 datos 1 6 1 s + s + ] +c1 [ s s + s + ] x =6 s3 + s + = 6 (t2)3 + (t2)6 + 6 120 12 504 20 20

(Aqu s podemos expresar el trmino general, aunque no nos queda tan compacto como en el ejemplo 1: (1)k (t1)3k (1)k (t1)3k+1 ] + c [ t + x = c0 [ 1 + . . . 1 . . . . . . .(3k) . 4 .7 . .(3k+1) ] ). 2 5 (3k1) 3 6 (3k) 3 6 k=1 k=1

52

3.3 Puntos singulares regulares

Supondremos en esta seccin que t= to es un punto singular de [e] x"+ a(t)x'+ b(t)x = 0 , es decir, que o a(t) o b(t) o las dos no son analticas en t= to , con lo que no es aplicable el mtodo de la seccin anterior. Sin embargo, interesa precisamente en muchas ocasiones conocer el comportamiento de las soluciones de [e] en las cercanas de sus puntos singulares. En general se podr decir poco sobre este comportamiento, salvo para un tipo particular de puntos slo dbilmente singulares: los singulares regulares que vamos a definir. Supondremos a partir de ahora que el punto singular que tratamos es t= 0 . Sabemos que esto no supone prdida de generalidad ya que en el caso de que queramos estudiar las soluciones cerca de un to0 el cambio s= t to nos traslada el problema al estudio de las soluciones cerca de 0 de la ecuacin en s . Conviene escribir [e] de otra forma. Multiplicndola por t2 y llamando a*(t) = t a(t) y b*(t) = t2b(t) obtenemos: [e*] t 2 x" + t a*(t) x' + b*(t) x = 0

t = 0 es punto singular regular de [e] - [e*] si a*(t) = t a(t) y b*(t) = t2 b(t) son analticas en t= 0 .
Ej 1. t(t1) 2 x" t x ' +(t1) x = 0 , es decir, x" 1 t t 1 x = 0 , t2 x" t x=0. 2 x' + 2 x' + t(t1) t1 (t1) (t1)

t =0 y t =1 son puntos singulares de la ecuacin (todos los dems son regulares). Como a*(t) = t / (t1)2 y b*(t) = t / (t1) son analticas en t =0 , este punto es singular regular. s 1 x=0 Haciendo t 1 = s obtenemos: s2 (s+1) x" (s+1) x' + s x = 0 , es decir, s2 x" s x' + s+1 s (las derivadas son ahora con respecto a s , pero las hemos dejado tal cual, pues ds/dt =1 ). Como 1/s no es analtica en 0 (aunque s / (s+1) s lo sea), el punto t =1 ( s =0 ) es singular no regular.

Se trata, por tanto, de resolver [e*] cerca de t= 0 suponiendo que a*(t) y b*(t) son analticas en ese punto, es decir, que admiten desarrollo en serie vlido en |t |<R (mnimo de los radios de convergencia): a*(t) =

a *k tk = k=0

a*0 + a*1 t + , b*(t) =

b *k tk = k=0

b*0 + b*1 t +

Para resolver [e*] se utiliza el mtodo de Frobenius, que detallaremos en el teorema de esta seccin. Aunque no lo demostraremos, intentamos con unas consideraciones hacer crebles sus hiptesis y conclusiones. La ecuacin ms sencilla del tipo [e*] es la de Euler ya conocida (en ella a*(t) y b*(t) son 'series' que se reducen a su primer trmino). Viendo sus soluciones est claro que no existen, en general, soluciones analticas de [e*]. Pero ya que hay soluciones de Euler de la forma t r se podra pensar que [e*] posee soluciones en forma de serie que comiencen por trminos t r . Probemos por tanto en [e*] la solucin x = t r

ck tk = c0 t r + c1 t r+1 + c2 t r+2 + k=0

. Debe ser entonces:

(k+r)(k+r1) c k tk+r + ( k=0 a *k tk ) ( k=0 (k+r)c k tk+r ) + ( k=0 b *k tk ) ( k=0 c k tk+r ) = 0 k=0
El coeficiente que acompaa a la potencia de menor orden ( t r ) debe anularse: [ r(r1) + a*0 r + b*0 ] c0 = 0 . Si la serie ha de empezar por trminos de exponente r , debe ser c0 0 . Por tanto, los nicos valores de r para los que pueden existir soluciones no triviales de la forma t r son las races del polinomio: Q ( r ) = r ( r 1 ) + a*0 r + b*0 , llamado polinomio indicial de [e*] .

Esto es coherente con lo visto sobre ecuaciones de Euler. Para ellas, si Q(r) tena dos races distintas r1 y r2 , dos r r soluciones linealmente independientes de la ecuacin eran t 1 y t 2 . Si la raz era doble, sin embargo, slo exista una solucin de esa forma, y la segunda era la primera multiplicada por el ln t ; por tanto, tambin es de esperar que en la solucin general de [e*] aparezcan logaritmos. Pero al resolver por series la ecuacin [e*] pueden aparecer problemas que no se presentan en el caso particular de las de Euler. Igualando a 0 el coeficiente que acompaa a t r+k tenemos:

[ (r+k)(r+k1) +(r+k) a*0 + b*0 ] ck + [ (r+k1)a*1+b*1 ] ck1 + = 0

donde los puntos representan los trminos con ck2 , ck3 , De esta expresin podemos despejar el ck en funcin de los anteriores ya calculados siempre que el corchete que le acompaa, que es Q(r+k) (el polinomio indicial evaluado en r +k ), no se anule. Si r1 es la mayor de las dos races Q(r1+k)0 k . Pero si r2 es la menor, y la diferencia r1 r2 es un entero positivo n , el Q(r2+k)=0 si k =n , y, salvo que los dems sumandos tambin se anulen (con lo que cn r +n r quedara indeterminado), no hay forma de anular el coeficiente de t 2 y no pueden existir soluciones t 2 .

53

Enunciamos ya el teorema de Frobenius (aunque se podra considerar el caso de races complejas del polinomio indicial, nos limitamos, por sencillez, a los casos reales): Teor 1 . Supongamos que el polinomio indicial Q(r)= r(r1)+ a*0 r+ b*0 tiene races reales r1 , r2 con r1 r2 . Entonces siempre existe una solucin x1 de [e*] de la forma x1
r2

=t

r1

k=0

c k tk , c00 .

La segunda solucin x2 linealmente independiente es, segn los casos: a] Si r1 r2 no es cero ni entero positivo: x2 = t b] Si r1 = r2 , x2 = t
r1+1

b k tk , b00 . k=0

b k tk + x1 ln t . k=0
r2

c] Si r1 r2 = n entero positivo, x2 = t

b k tk + d x1 ln t k=0

, b00 , dR .

Todas las soluciones estn definidas al menos para 0<t<R y los coeficientes ck , bk y la constante d se pueden determinar sustituyendo cada una de las soluciones en la ecuacin.
.

Normalmente ser a*0 = a*(0) y b*0 = b*(0) [salvo que aparezcan funciones como

sen t ]. t

Se comprueba sin dificultad que a partir de las soluciones anteriores obtenemos otras vlidas en R<t<0 sin ms que sustituir ln t por ln|t | y las expresiones de la forma t r que preceden a las series por |t | r . En el caso c] la constante d puede perfectamente ser 0 (como ocurre en las ecuaciones de Euler), con lo que, a pesar de todo, hay dos soluciones independientes de la forma t r .
Ej 2. 1 t2 1 t2 , o sea, t2 x" + t x' + x = 0 . a*(t) = y b*(t) = analticas (con R = ) 2 2 2 2 1 1 1 t =0 singular regular. Como a*0 = y b*0 =0 , el polinomio indicial es r(r1) + r + 0 = r ( r ) 2 2 2 1 r1 = y r2 =0 , con r1 r2 no entero. Las dos soluciones linealmente independientes son, pues: 2 2 t x" + x ' + t x = 0 x1 =

ck tk+1/2 , k=0

c00

x2 =

bk tk , k=0

b00 , series convergentes tR , segn el teorema.

Llevando la primera de ellas a la ecuacin inicial (las series se derivan como las de potencias habituales): 1 1 1 2 ( k+ )(k ) ck tk1/2 + ( k+ ) ck tk1/2 + ck tk+3/2 = 0 2 2 2 k=0 k=0 k=0 (obsrvese que ahora todas las series comienzan por k =0 ya que, a diferencia de los puntos regulares, no se anulan los primeros trminos al derivar). Igualando a 0 los coeficientes de las diferentes potencias de t : t 1/2 : [ 2 (1/2)(1/2) + 1/2 ] c0 = 0.c0 = 0 y c0 queda indeterminado como deba. t 1/2 : [ 2 (3/2)(1/2) + 3/2 ] c1 = 0 c1 = 0 . 1 1 1 1 t k1/2 : [2 (k+ )(k ) + (k+ ) ] ck + ck-2 = 0 ck = c , k=2,3, 2 2 2 k(2k+1) k-2 1 1 1 Por tanto: c3 = c5 = = 0 , c2 = . c0 , c4 = . c2 = . . . c0 , y la primera solucin es : 49 2459 25 1/2 x1 = t

[ 1 + m=1

(1)m 2m t . . . 24 2m . 5 .9 . .(4m+1)

(eligiendo, por ejemplo, c0=1 )

Para la segunda raz del polinomio indicial:

2k(k1) bk tk1 + k=1 k bk tk1 + k=0 bk tk+1 = 0 k=2

1 t0 : b1 = 0 , t1 : [4+2] b2 + b0 = 0 b2 = b0 6 1 tk1 : [2k(k1)+k] bk + bk-2 = 0 bk = b , k=2,3, k(2k1) k-2 1 1 b3 = b5 = = 0 , b4 = . b2 = . . . b0 , 47 2437 x2 = 1 +

m=1

(1)m 2m t 2 .4 . .2m . 3 .7 . .(4m1)

El criterio del cociente prueba que, como deban, ambas series convergen t . La x2 es vlida t , pero x1 slo si t>0 (en t=0 ni siquiera es derivable). Una x1 vlida t0 es x1 =|t|1/2 [1+] .

54

Ms complicadas son las cuentas para los otros dos casos del teorema: Ej 3. t 2 x " +2t2 x ' + (t2+ r(r1)+ 1 )x = 0 4 t=0 singular regular; a*(t) =2t , b*(t) = t2 + 1 analticas en R . 4

1 1 =0 r = doble x1 = 2 4

ck tk+1/2 k=0

[ k2cktk+1/2+(2k+1)cktk+3/2+cktk+5/2 ] = 0 k=0

c1=c0 , ck=

2k1 1 1 1 k1 c c , k=2,3, c2= c0 , c3= c0 , , ck=(1) c x1 = t1/2 et k 2 k-1 k 2 k-2 2 6 k! 0

Como la raz es doble, la otra solucin necesariamente contiene un logaritmo: x2 = t 3/2 x2' =

(k+ 2 ) bktk+1/2 + k=0

1 x + x1' ln t , x2" = t 1

(k+ 2 )(k+ 2 ) bktk1/2 k=0

b ktk + x1 ln t k=0
1 )x ] = 0 4 1

1 2 t2 x1 + t x1' + x1" ln t

[(k2+2k+1) bktk+3/2 +(2k+3) bktk+5/2 +bktk+7/2] k=0

+ ln t [ t2x1"+2t2x1'+ (t2+

El ltimo corchete es 0 por ser x1 solucin (lo que acompaa al logaritmo siempre se anula). b0 = b1 = b2 = = 0 x2 = t1/2 et ln t 1 [Para comprobar el resultado podramos hacer y = et x t2 y "+ y = 0 (Euler) y = c1 t1/2 + c2 t1/2 ln t ; 4 tambin podramos, una vez hallada la x1 , haber calculado otra solucin utilizando la frmula de 2.2: e2t x2 = t1/2 et 2t dt = t1/2 et ln t , exactamente la misma solucin hallada con las series]. te Ej 4. t 2 x " +2t2 x ' 2 x = 0

t=0 es singular regular, a*(t)=2t y b*(t)=2 analticas en R .

El polinomio indicial r(r1) +0.r 2 tiene por races r1=2 y r2=1 . As pues: x1 =

ck tk+2 , k=0

c0 0

k=0

(k+2)(k+1) ck tk+2

2(k+2) ck tk+3 k=0 2ck tk+2 = 0 k=0

2(k+1) c , k=1,2, c0 indeterminado , ck = k(k+3) k1 c1= c0 , c2=

3 4 2(k+1) 2k 2(k1) (2)k(k+1) c , c = c , , ck = (1)k c0 = 6c0 5 0 3 15 0 k(k+3) (k-1)(k+2) (k-2)(k+1) (k+3)! (2) k (k+1) 1 (2)k(k+1)(k+2) k+1 Por tanto, eligiendo c0 = , x1 = tk+2 x1' = t (k+3)! 6 (k+3)! k=0 k=0

La segunda solucin (caso c] del teorema) es x2 =

k=0

bktk1 + d x1 ln t , k=0

b00 , d constante (quizs nula)

[ (k1)(k2)bk tk1+2(k1)bktk2bktk1 ] + d [ (1+2t) x1 + 2t x1' ] + d ln t [ t2x1"+2t2x1'2x1 ] = 0

Como siempre, el tercer corchete se anula, por ser x1 solucin. Sustituyendo las series de x1 y x1' escritas arriba en el segundo corchete y agrupando potencias de t : d 2d 2 2b0 2b1 2b2 t + [2b3+2b22b3 + ] t + = 0 b1=b0 , b2=0 , d=0 ; b0 , b3 indeterminados. 6 3 Como d =0 , en la expresin de x2 no aparece el ln t . Sabamos que deba ser b00 . El hecho de que tambin b3 quede indeterminado se debe a que proporciona potencias t2 , comienzo de la serie de x1 . Elegimos b0=1 y b3=0 (para no recalcular x1 ). Como en la regla de recurrencia cada bk depende de bk1 es b4 =b5 = =0 . 1 Concluimos que: x2 = (1 t) [es fcil comprobar que satisface la ecuacin]. t 1t t2e2t [De esta x2 obtendramos otra con: x1 = dt , pero ahora la primitiva no es calculable, t (1t)2 aunque podramos desarollar el integrando e integrar el resultado para obtener una serie solucin]. [En este ejemplo, si, en vez de partir de la raz mayor de la ecuacin indicial, hubisemos sustituido la x2 , habramos obtenido las dos series de un tirn; pero esto ocurrira por que casualmente resulta ser d =0 ; si fuera d 0 slo obtendramos la solucin trivial x =0 y deberamos empezar de nuevo desde el principio].

55

Para distinguir en el caso c] del teorema de Frobenius si aparecen logaritmos o no (es decir, si es o no d 0 ) no es necesario hallar la expresin del trmino general, bastan con los primeros trminos de la x1 . Por ejemplo: Ej 5. Estudiemos cuntas soluciones analticas linealmente independientes tiene: 2 t x" + ( t 2) x ' + 3 x = 0 .

3t t 2 t x" + t ( 1) x ' + x = 0 t =0 es singular regular con r (r 1)r +0 = 0 r1 =2 , r2 =0 . 2 2 Seguro que es analtica x1 =

cktk+2 k=0

=0.

[ 2(k+2)(k+1)cktk+1 2(k+2)cktk+1 +(k+2)cktk+2 +3cktk+2 ] = k=0 [ 2(k+2)k cktk+1+ (k+5) cktk+2 ] k=0
Calculemos, por ejemplo, los tres primeros trminos de esta primera serie: t1 : 0 c0 =0 , c0 indeterminado ; 5 t2 : 6c1+5c0 =0 , c1 = c0 ; 6

3 5 t3 : 16c2+6c1 =0 , c2 = c1 = c 8 16 0

5 5 4 x1 = t2 t3 + t + 6 16 La segunda solucin

5 5 [ x1' = 2t 2 t2 + 4 t3 + ]

x2 =

bktk + d x1 ln t k=0
d x ; t 1

ser analtica si d =0 y no lo ser si d 0 . Hay que trabajar: x2" =

x2' =

k(k1) bktk1 + k=1 [ k b k tk 2k bktk1] + k=0 3bktk k=2

3 t0 : 2b1+3b0 = 0 b1 = b0 ; 2

k bktk1 + d x1' ln t + k=1

k(k1) bktk2 + d x1" ln t + k=2

2d d x ' x t 1 t2 1

+ 4dx1'

4d x + dx1 = 0 t 1

3 t1 : 4b2+b14b2+3b1+8d 4d = 0 d = b1 = b0 0 2

3 3 t+ x ln t . Por tanto, la segunda solucin contiene el ln t y no es analtica en t=0 : x2 = 1 + 2 1 2 Ej 6. t x" + 2 e t x ' = 0 Sabemos resolver la ecuacin siguiendo la seccin 2.2, pero utilicemos Frobenius:

t =0 es singular regular [ a*(t) =2 e t y b*(t)0 analticas en todo R ]. r ( r 1 ) +2r =0 r1 =0 , r2 =1 . La x1 =

k=0

ck tk

se ve (a ojo!) que es x1 1 . La otra es: x2 = d t

k=0

bk tk1 + d ln t
d t2

x2' =

(k1)bktk2 + k=0

x2" =

(k1)(k2)bktk3 k=0

1 2b0 t2 +2b3 t + d t1 + [2+2t+t2+ t3+ ][ d t1b0 t2 +b2 +2 b3 t + ] = 0 3 t2 : 2b0 2b0 = 0 b0 indeterminado como deba. t1 : d +2d 2b0 = 0 d = 2b0 (aparecen, pues, logaritmos). 3 1 t0 : 2d b0 +2b2 = 0 b2 = b0 d = b0 2 2 2 1 t1 : 2b3 +d b0 +2b2 +4b3 = 0 b3 = b0 9 3 Resolvamos la ecuacin ahora sin series: x ' =v v' =

1 3 2 2 x2 = 2 ln t + t+ t + t 2 9

2et v t 2 3 (2/t 2 t t2 /3 +) dt 2 t1et dt =Ce = C t2 e 2t t /2 t /9 + = v=Ce 1 1 1 1 2 1 3 = C t2 [ 1 + (2t t2 t3+ ) + (2t t2 ) + (2t ) + 2 9 2 2 6 x = K+ C 3 t + ] dt = K C [ 2 ln t + [t2 2t1 + 2 9 t 4 1

3 2 t + t2 + 2 9

56

3.4 Ecuaciones de Legendre, Hermite y Bessel

La ecuacin de Legendre es la ecuacin [L] ( 1 t2 )x" 2 t x' + p(p+1)x = 0 , p0 .

Resolvmosla primero en torno a t= 0 que es punto regular. Como a(t)= 2t/ (1t2) y b(t)= p(p+1)/ (1t2) son analticas en |t |<1 la ecuacin tiene soluciones analticas al menos en ese intervalo. Probamos pues: x = c k tk
k=0 k=2

[ k ( k1)cktk2k(k1)cktk] 2kc k tk +
k=1

k=0

p(p+1)cktk = 0 ck =

(pk+2)(p+k1) ck-2 , k=2,3, k(k1)

c2 = 2.1

p(p+1)

c0 , c3 =

(p1)(p+2) p(p2)(p+1)(p+3) (p1)(p3)(p+2)(p+4) c1 , c4 = c0 , c5 = c1 3.2 4! 5! n p(p2) (p2n+2)(p+1)(p+3) (p+2n1) 2n t (2n)! (p1)(p3) (p2n+1)(p+2)(p+4) (p+2n) 2n+1 t (2n+1)! 35 p=4 x1 = 110t2 + 3 t4

x1 = 1 + (1)
n=1

x2 = t + (1)n
n=1

Si p es un entero par positivo, p=2m , x1 se convierte en un polinomio de grado 2m : p=0 x1 = 1 p=1 x2 = t , p=2 x1 = 13t2 , p=3 x2 = t 3 t3 ,
5

Si p es impar, p=2m+1 , es x2 quien se reduce a un polinomio de grado 2m+1 : ,

14 21 p=5 x2 = t 3 t3 + 5 t5 ,

Se llama polinomio de Legendre de grado n al polinomio Pn solucin de [L] con p= n N , Pn(1)=1 :

3 1 5 3 35 15 63 35 15 3 P0 =1 , P1 = t , P2 = 2 t2 2 , P3 = 2 t3 2 t , P4 = 8 t4 4 t2+ 8 , P5 = 8 t5 4 t3+ 8 t ,

Como Pn(t) = (1) Pn(t) , los P2m tienen simetra par y los P2m+1 impar. Observemos que los P2m+1 y las derivadas de los P2m se anulan en 0 . Se pueden probar adems las siguientes propiedades de los Pn :
1 dn 2 Pn(t) = n (t 1)n , frmula de Rodrigues. 2 n! dtn

P2 P3
-1

P0 P1
1

Pn tiene n ceros reales, todos en (1,1) . Los Pn son ortogonales:

1 PnPm dt = 0

, si mn ;

1 Pn

dt = 2n+1

Para las aplicaciones de la ecuacin [L] a las EDPs se necesitar saber qu soluciones estn acotadas en 1 . Para estudiarlo resolvemos la ecuacin en torno a t=1 , haciendo s= t1 : [L1] s(s+2)x"+ 2(s+1)x' p(p+1)x = 0 Para ella s=0 es punto singular regular, con a*(s)=2(s+1)/(s+2) , b*(s)=p(p+1)s/(s+2) analticas para |s|<2 . El polinomio indicial tiene raz r=0 doble p . Dos soluciones linealmente independientes de [L1] son: x1 =

cksk y k=0

x2 = |s|

bksk + x1 ln|s| , c0=1 k=0

y las series convergen al menos para |s|<2 . Sin necesidad de calcular ningn coeficiente podemos ya afirmar que la x1 siempre est acotada en s= 0 ( t= 1 ), mientras que la x2 no lo est (tiende a si s0 ). Vamos a calcular x1 y comprobar que si p=n obtenemos de nuevo los Pn [ pues x1(1)=1 ] . Debe ser:

[ k ( k1)cksk+2k(k1)cksk1] + k=1 [2kcksk+2kc ksk1 ] k=0 p(p+1)cksk = 0 ck = k=2

x1(s) = 1 +
p(p+1) s 2

p(p+1)k(k1) ck-1 , k=1,2, 2 2k p(p+1)[p(p+1)2.1] 2 p(p+1)[p(p+1)2.1] [p(p+1)n(n1)] n s + + s + 16 2n(n!)2 6[6-2] 3 1

Si p= n la regla de recurrencia nos dice que el cn+1 y todos lo siguientes se anulan. En particular: p=0 x1 = 1 ; p=1 x1 = 1+s = t ; p=2 x1 = 1+3s+ 16 s2 = 2 t2 2 ; Se prueba que si p n la x1 no est acotada cuando s 2 ( t 1 ) con lo que, salvo constantes, las nicas soluciones de [L] acotadas a la vez en t=1 y t=1 son los polinomios de Legendre.

57

Otra ecuacin que aparece al abordar problemas fsicos es la de Hermite: [H]

x " 2tx' + 2px = 0

Como t = 0 es regular, existe solucin analtica, convergente adems en todo R. La calculamos: x = cktk
k=0

2pcktk = 0 k ( k1)cktk2 k=1 2kc k tk + k=0 k=2

n=1

ck = 2

(k2p) c , k=2,3, k(k1) k2

x = c1 x1 + c2 x2 = c1 [ 1 + 2

n (p)(2p) (2n2p) 2n n (1p)(3p) (2n1p) 2n+1 t ] + c2 [ t + 2 t ] (2n)! (2n+1)! n=1

Como ocurra con Legendre, [H] posee solucin polinmica cuando p= n N . Si p= 2m , la x1 pasa a ser un polinomio de grado 2m , y si p= 2m+1 es la x2 la que se convierte en un polinomio de ese mismo grado:
2 p=0 x1 = 1 ; p=1 x2 = t ; p=2 x1 = 1 2t2 ; p=3 x2 = t 3 t3 ;

Se llaman polinomios de Hermite Hn(t) a las soluciones polinmicas de [H] tales que los trminos que contienen la potencia ms alta de t son de la forma 2n tn , es decir, a: H0 = 1 ; H1 = 2 t ; H2 = 4 t2 2 ; H3 = 8 t3 12t ; Citemos ahora, tambin sin demostrarlas, una serie de propiedades de los Hn que sern tiles, por ejemplo, cuando aparezcan en fsica cuntica. Una forma de generarlos todos nos lo proporciona el hecho de que: e2tss =
2

Hn(t) sn k=0 n!

(a la exponencial de la izquierda se le llama funcin generatriz de los Hn )

[Nos limitamos a comprobarlo para los 4 que ya hemos calculado:

( 1 +2t s +2t2 s2 +

4t3 3 1 4t3 s 2t) s3 + ]. + ) (1 s2 + s4 ) = 1 + 2t s + (2t21) s2 + ( 2 3 3

2

De la funcin generatriz se deduce una frmula de Rodrigues similar a la de [L]: Hn(t) = (1)net

2 2 2 2 n 2 d [Pues Hn(t) = sn e2tss |s=0 = et sn e(ts) |s=0 = ( ts=z , s = z ) = (1) et dzn ez |z=t ].

dn t2 e . dtn

[H] no es la ecuacin que aparece inicialmente en cuntica, sino u"+ (2p+1t2 )u = 0 . Haciendo u= xe t /2 en ella se llega a [H] . Se prueba, aunque no es fcil hacerlo, que las nicas soluciones u de la inicial 2 que tienden a 0 si |t | son las de la forma un(t)= e t /2 H n (t) , llamadas funciones de Hermite de orden n. Slo estas un interesarn fsicamente. Como los Pn de Legendre, se puede ver que tambin las un son ortogonales, ahora en (,) :

un um dt = Hn Hm et u0 u1 = 2tet

2

dt = 0 , si mn ;

un2 dt = Hn2 et
n =0,1 :

dt = 2n n!

[Lo comprobamos exclusivamente cuando

=0 ,

u02 = et

2 t2 t2 = 2 = , ]. u1 = 2te | + 2e

Para expresar en forma compacta las soluciones de la ltima ecuacin de inters fsico que vamos a tratar (la de Bessel) utilizaremos las propiedades de la funcin gamma (funcin que generaliza el factorial para nmeros no enteros) definida por la siguiente integral impropia convergente: (s) = 0 ex xs1dx si s>0 , y extendida a los s<0 mediante:
(s+n) (s) = (s+n1)(s+1)s

si n<s<n+1

, nN .
2 -1

2 1 1 2 3 4

Se cumplen para la las siguientes igualdades:

2 (1)= 0 ex dx =1 ; (1/2)=2 0 eu du = ; (s+1)= ex xs| 0 +s(s) = s(s)

(s+n) = (s+n1) (s+1)s (s) (n+1) = n! , nN

58

La ecuacin de Bessel es: [B]

t 2 x" + t x' + (t2 p 2 ) x = 0

, p0 .

t = 0 es singular regular con polinomio indicial r2 p2 , r1 = p , r2 = p . Entonces x1 = tp c k tk , t>0, k=0 es una solucin (acotada en t= 0 p) definida por una serie que converge en todo R . Llevndola a [B]:
k2 [k(2p+k)cktp+k + cktp+k+2] = 0 c1=0 ; ck = k(2p+k) , k=0

k=2,3,

c1 = c3 = = 0 ; c2 = 2 ; c4 = 4 ; x1 = c0 tp [ 1 + 2 (p+1) 2 2(p+1)(p+2) Eligiendo c0 = 1 / [2p (p+1)] tenemos: J p (t)

c0

c0

m=1

(1)m t2m 2m 2 m! (p+1)(p+m)

t [2 ] m=0

(1)m m! (p+m+1)

t [2 ]

2m

[ funcin de Bessel de primera especie y orden p ]

En particular es: J0(t) =

t 2m+1 (1) m t 2m (1)m [ ] , J (t) = [ ] , 1 m=0 (m!)2 2 m=0 m! (m+1)! 2

cuyas grficas son las de la izquierda. Se prueba que, al igual que J0 y J1 , todas las Jp son oscilatorias y que para t grande se parecen a: Jp

Cada Jp tiene un nmero infinito de ceros en (0, ) [que deben conocerse para resolver algunas EDPs]: los de J0 son: 2.4048, 5.5201, 8.6532, ; los de J1 : 3.8317, 7.0156, 10.1735, Para calcular una segunda solucin linealmente independiente de [B] (necesariamente no acotada en t=0 ), el mtodo de Frobenius nos dice que si r1r2 = 2 p 0,1, existe una x2 de la forma: x2 = tp b k tk , t>0
k=0

t cos[ t (2p+1)4 ]
2

(llevndola a [B] se tiene Jp(t) [ 2 ]

t p

m=0

(1)m t 2m [ ] ) m! (p+m+1) 2

Si pZ , pero 2pZ ( p = 1 / 2 ,3 / 2 ,5 / 2 , ) , la x2 podra contener un lnt pero se comprueba que no es as (caso c] de Frobenius, pero con d= 0 ). De hecho, haciendo p=1/2 en Jp se obtienen las soluciones J1/2(t) =

m=0

(1)m t2m+1 = 2m+1 2 m! (m+1/2) 1/2 (1/2)

t s e n t
2

, J1/2(t) = =

t cos t
2

que son linealmente independientes (la expresin asinttica es exacta para p= 1/2 ). Como veremos que Jp+1 = 2pJp / t Jp1 , todas las J(2n+1)/2 , nZ , son funciones elementales (las dems Jp no lo son). Para p= n N el atajo anterior no sirve, pues es fcil ver que cambiando n por n la Jn que aparece no es independiente de Jn [es Jn = (1)nJn ]. Tendramos que hallar las x2 de Frobenius (y obtendramos un lnt en su larga expresin). Por ejemplo, para p=0 (que seguro contiene logaritmos) se acaba obteniendo: x2(t) =
(1)m+1 1 1 t 2m [1 + 2 + + m ][ 2 ] + J0(t) lnt K0(t) , t >0 2 m=0 (m!)

[ funcin de Bessel de segunda especie y orden 0 ]

Pero en muchos problemas fsicos en los que surge la ecuacin [B] es necesario que las soluciones estn acotadas, y para ellos no servir de nada el conocimiento de estas complicadas segundas soluciones. Lo que s puede ser til en el futuro ser conocer las siguientes propiedades de las derivadas de las Jp :
d d [ tp Jp(t) ] = tp Jp1(t) , dt [ t p Jp(t) ] = t p Jp+1(t) dt

(En particular es [ t J 1 ] ' =J0 , [ J 0 ] ' = J1 ) .

d (1)m t2m+2p (1)m t2m+p1 (Son inmediatas: dt 2m+p = tp 2m+p1 y similar la otra). m=0 2 m=0 2 m! (p+m+1) m! (p+m)

Derivando y despejando la Jp' en ambas: Jp' = Jp1 t Jp = Jp+1 + t Jp

J p+1 = t J p J p1 ,

2p

relacin de recurrencia, ya citada, que expresa cada Jp+1 en funcin de las anteriores .

59

3.5 El punto del infinito

Nos preocupamos por el comportamiento de las soluciones de una lineal de segundo orden para grandes valores de t . En pocas ocasiones una ecuacin es resoluble elementalmente. Por otra parte, las soluciones en forma de serie (salvo que se puedan identificar con funciones elementales) no dan ninguna informacin para grandes t , incluso aunque converjan para todo t . Si queremos ver lo que sucede cuando t , la idea natural es efectuar el cambio de variable t = 1/s y estudiar el comportamiento de las soluciones de la nueva ecuacin cuando s 0 + , que ser fcil de precisar si s= 0 , llamado punto del infinito de la ecuacin inicial, es punto regular o singular regular de esta ecuacin. A diferencia de los cambios s = t to que no modifican las derivadas, para hacer este cambio debemos acudir a la regla de la cadena. Denotando las derivadas respecto a s con puntos tenemos: t= s
Ej 1. 1

x' = x dt = t2 x ; x" = t4 x + t3 x

ds

x' = s2 x , x" = s 4 x + 2s3 x

( 1 + t2 ) x" + t x ' x = 0 t= 1 s 1

Estudiemos su comportamiento para grandes valores de t : 1

(1+ s2 ) s4 x + (1 + s 2 ) 2s3 x ck sk+1 = c0 s + c1 s2

. s2 . x x = s2 (1+s2 ) x + s (1+2s2 ) x x = 0 . s

Para esta ecuacin s =0 es singular regular, con r = 1 , con lo que sus soluciones para s>0 son: x1 =
k=0

+ , c0 0 ; x2 =

k=0

bk sk1 + d x1 ln s

, b0 0 .

Cuando s 0+ , la primera solucin x1 0 , mientras que la segunda x1 (si b0 >0 , sea d =0 d 0 ) , con lo que deducimos, sin necesidad de resolver nada, que existen soluciones de la ecuacin inicial que, cuando t , tienden a 0 , mientras que otras tienden a , y por tanto son no acotadas para grandes valores de t . [Como la ecuacin es resoluble elementalmente puesto que x1 = t es solucin que salta a la vista, podemos en este caso concreto hallar su solucin general y comprobar las afirmaciones anteriores: a dt x2 = t t2 e = t dt t
2

1+t2

= 1 +t2 x = c1 t + c2 1 +t2 . C
t

1 +t2 ) = Las soluciones de la forma C ( t

t + 1+t2

0 , y otras claramente tienden a .

1 es la solucin x2 que hubiramos obtenido arriba (es d =0 )]. De paso observemos tambin que x1 = t = s

Para las ecuaciones de Hermite y Bessel de la seccin anterior hacer t = 1/s parece adecuado para conocer su comportamiento para t grande, pero por desgracia, se comprueba que el punto s= 0 en ambos casos es singular no regular. Aunque para Legendre lo interesante fsicamente es lo que sucede en [1,1] , vamos a analizar su punto del infinito. En 3.4 obtuvimos sus series solucin en torno a t = 0 (que hablan slo de lo que ocurre en |t |< 1 ) y en torno a t= 1 (hablan de t(1,3) ). Haciendo en Legendre s=1/t obtenemos: [L] (1 t2 )x" 2 t x' + p(p+1)x = 0 , p0 [L] s2 (s2 1) x +2s3 x +p(p+1)x = 0 .

Para [L] es s= 0 singular regular, con a*(s)=2s2 / (s21) y b*(s)=p(p+1)/(s21) analticas en | s|< 1 . Las series solucin de [L] convergern al menos en ese intervalo y de ellas podremos extraer informacin, por tanto, sobre las soluciones de [L] para |t |> 1 . Como el polinomio indicial de [L] es r2 r p(p+1) (de races 1+p y p ) y como para todo p0 es r1=1+p>0 deducimos, por ejemplo, que siempre hay soluciones de [L] que tienden a 0 si t. (Pues x1 (s) = s1+p cksk 0 si s0+ ; o sea, x1 (t) = t(1+p) c k t k 0 ). t k=0 k=0 Resolvamos por series [L] en el caso ms sencillo: p= 0 (nico valor para el que s= 0 es regular): x = cksk ck = k=0

1 1 1 1 k2 ck-2 , k=2,3, x = c0 + c1 [ s + s3 + s5 + ] = c0 + c1 [ t1 + t3 + t5+ 3 5 3 5 k

],

serie (no de potencias) que nos describe las soluciones de [L] para |t |>1 , valores para los que converge. [De otra forma: (1t2)x" +2tx ' = 0 x ' = 1 1t2 x = c0 + c1 2 ln| 1t | = c0 + c1 2 ln| 1s | , vlidas si t , s 1 ].
c 1 1+t 1 1+s

60