You are on page 1of 13

Procedimiento alternativo

Existe una forma menos pesada de resolver este tipo de problemas (si es que
ello es posible) consiste en aplicar al caso en estudio el procedimiento que
fuera seguido al establecer la teora correspondiente. Resulta as ms fcil
establecer relaciones de recurrencia.

2 z 2 w +3zw'-(1+ {z} ^ {2} )w=0

Por ejemplo, siendo la EDO a resolver

w ( z ) = an z
n=0

n +r

w ( z )= ( n+r ) a n z
'

n+r 1

se hace

w (z)= sum {(n+r)(n+r-1) {z} ^ {n+r-2}}

n=0

Y se remplaza en la EDO dada, resultando

2z

( n+r ) ( n+r 1 ) z

n +r2

n=0

( n+ r )( n+ r1 ) z

+3 z ( n+ r ) a n z

n +r1

n=0

n+r

n=0

+3 ( n+ r ) an z

n +r

n=0

( 1+ z 2 ) an z n+r =0
n=0

an z

n+r

n =0

an z n+r +2=0
n=0

A efectos de tener en todos los trminos la misma potencia de z, se modifica el


ultimo
termino de la sumatoria anterior y, se escribe

2 ( n+r ) ( n+r 1 ) z

n+r

n=0

+3 ( n+r ) an z
n=0

n+r

a n z

n+r

n=0

a n2 z

n+r +2

=0

n=2

Los trminos correspondientes a n=0 y n=1 se escriben por separado a fin de


comenzar desde n=2 en adelante. Resulta
r

a0 [ 2 r ( r 1 ) +3 r1 ] z +a1 [ 2 ( r +1 ) r +3 ( r +1 ) +1 ] z

Como

a0 0

obtenidas

debe ser

r +1

[ 2r ( r 1 )+ 3 r1 ]=0

+ {[ 2 ( n+r ) ( n+r 1 ) +3 ( n+r )1 ] a nan2 } z n+r =0


n=2

ecuacion inicial, con las races ya

1
r 1= y r 2=1. Con cualquier de estas races el coeficiente de
2

no se anula, razn por la cual debe ser

a1=0

a1

La expresin encerrada entre llaves del ultimo termino debe ser nula, de donde
se obtiene, luego de operar algebraicamente, la siguiente relacin de
recurrencia.

n+r

2
a
an = n2

r=1 /2

Haciendo

an =

tiene

an =

se tiene

a n2

r=1

y haciendo

2 n +3 n

se

an2
2 n23 n

Con estas dos relaciones de recurrencia se encuentran de inmediato los


coeficientes de las dos series de solucin de problemas. Obsrvese que, por ser

a1=0

todos los coeficientes de ndice par son nulos.

w 1 ( z )= z 1+

z
z
z
+
+
+
14 616 55440

w 2 ( z )=

1
z z
z
1+ + +
+
z
2 40 2160

Que coincidan con las halladas aplicando cannicamente la expresin de


recurrencia general (excepto los trminos correspondientes a potencias
exactas).
Se agregan a continuacin las graficas de ambas expresiones.

Se ha obviado el estudio de la convergencia de las dos series halladas,


haciendo la suposicin que ambas son convergentes.

Races Iguales
si las dos races de la ecuacin inicial son iguales

r 1=r 2

no hay problema en

hallar la primera solucin.

Aplicando alguno de los procedimientos vistos en el caso anterior.


Para hallar la segunda solucin el tema se complica pues, al ser coincidente las
races, un segundo procedimiento de calculo necesariamente deber ser igual
al primero. El camino evidentemente no lleva a ninguna parte.
Sin embargo la bsqueda de la segunda solucin puede encerrarse de la
siguiente forma: Si las races de la ecuacin inicial son coincidentes es porque
dicha ecuacin toma la forma

r1

es una raz doble. Y cuando esto ocurre, la raz hallada es raz de la

funcin derivada.

Entonces se considera que la expresin

Es una funcin de la variable r cuya derivada con respecto a r tambin debe


anularse en

r1

Ese clculo produce, teniendo en cuenta que

a0 ( r )=a0

es una constante no

nula

Tomando como factor ln z se tiene

Si en la expresin anterior se hace

r=r 1 ocurre lo siguiente:

F' ( r 1 )=0 por ser r 1 una raiz doble


La expresin entre llaves se tiene como factor a lnx es la EDO resuelta
para

w 1(z ) .

En consecuencia vale 0.

Queda entonces

Y de esta ultima

La relacin general de recurrencia que permite calcular los coeficientes de una


nueva serie.
Resuelta as la segunda solucin cuando las races de la ecuacin inicial son
iguales

Donde la sumatoria comienza en n=1 dado que


consecuencia

a0 ( r 1 ) =a0

constante y, en

a0 ' ( r 1 ) =0

Se desarrolla a continuacin un ejemplo en variable real.

El origen es un punto singular regular. Las funciones xp(x) y


analticos de dicho punto.

x 2 q (x)

son

En consecuencia se busca una solucin de tipo

Derivando se tiene

Reemplazando en la ecuacin diferencial propuesta, operando y agrupando se


llega a la ecuacin inicial

r ( r1 ) +r =0

Esta ecuacin de segundo orden tiene dos races iguales. Ambas valen 0.
En consecuencia se plantea la bsqueda de una primera solucin de la forma

Reemplazando en la ecuacin diferencial propuesta queda

Cambiando el ndice de las dos primeras sumatorias para trabajar con iguales
potencias de x, se tiene

De donde:

Resulta finalmente

Habiendo encontrado la primera solucin la segunda linealmente


independiente de la primera se obtiene mediante la expresin

Para evitar el clculo de

a' n ( r ) =

d an (r )
dr

puede procederse mediante la

sustitucin

De modo que

Reemplazando en la ecuacin diferencial propuesta queda

Factorizando

El primer corchete es nulo puesto que es la ecuacin diferencial dada con

y= y 1 (x ) primera solucin. En definitiva queda

Entonces haciendo

k 1=n

Desarrollando algunos trminos se tiene

Y de esa ultima

En consecuencia la segunda solucin linealmente independiente es

Al mismo resultado puede llegarse aplicando cannicamente lo demostrado


por Frobenius , planteando la solucin dependiendo de la variable de la
ecuacin de la diferencial propuesta, z en este caso, y de la raz genrica r de
la ecuacin inicial; derivando luego la expresin resultante con respecto a la
variable r y, por ultimo reemplazar r por el valor coincidente hallado.
En este caso la expresin es

Calculando la derivada parcial con respecto a r resulta

Haciendo ahora r=0 resulta finalmente

De forma tal que combinado con

y 1 ( x ) ln ( x )

permite escribir como segunda

solucin linealmente independiente de la primera

Que coinciden con la hallada anteriormente

Races que Difieran con un Entero


En caso de que las dos races de la ecuacin inicial difieran en un entero es
talvez el ms complejo de este tema .la complejidad se aprecia al considerar la
expresin general.

Y observar que

F( r+ n) , cuando

escorpin dado que

r=r 1 y n=m se transforma en la cola del

F ( n+r )=F ( n+ r 2 )=F ( r 1) =0

nada menos que un

denominador nulo
Naturalmente esto ocurre al buscar la segunda solucin dado que la primera se
encuentra en los procedimientos desarrollados en los casos anteriores.
La segunda solucin presenta dos alternativas.
n1

La expresin

ak (r )[ pnk (r+ k ) qnk ]


k=0

es divisible por

rr 2 y, dado que F(r)

tambin lo es, la indeterminacin queda salvada es posible calcular mediante


la frmula de concurrencia de los coeficientes

Conocida la primera solucin

w 1(x ) la segunda solucin se puede buscar por

dos mtodos distintos. El primero de ellos utilizando el Wroskiano y el segundo


mediante la tcnica de la derivacin respecto a r (Frobenius)

Wroskiano
Es un hecho conocido de las teoras de ecuaciones diferenciales lineales que
las soluciones de una EDO lineal de segundo orden son linealmente
independientes y que, por ese motivo el Wroskiano de las mismas debe ser
distinto a cero en el intervalo de valides de las mismas.

Derivando se tiene:

Teniendo en cuenta que la EDO puede escribirse

w (z)+p(z)w'(z) +q(z)w(z)=0

Despejando de esta

w (z)

y reemplazando en la expresin del Wroskiano se

tiene

de donde resolviendo la EDO de primer orden

Teniendo la primera solucin

w 1(z )

w ' ( z )=p ( z ) w ( z )

el clculo de la segunda puede buscarse

de la siguiente forma:
Siendo:

w ( z )=w1 ( z ) w' 2 ( z ) w ' 1 ( z ) w2 ( z )

Se dividen ambos miembros:

De este ultima se obtiene

Siendo esta la ltima expresin que permite el calculo


dejar de mencionar que

w 1(z )

w 2( z ) . No se puede

es una serie lo que permite imaginar que es

su cuadrado y despus su inversa para, luego calcular la integral.

You might also like