Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Frobenius PDF
Frobenius PDF
Problema de Sturm-Loiuville
Sebastian Bruzzone
Abril 2006
Índice general
1
Resumen
1 Nacimiento de Frobenius
0.1. Soluciones Analiticas (Series de Potencias)
Una clase muy extensa de ecuaciones diferenciales poseen soluciones ex-
presables en series de potencias, las cuales son validas en un dominio determina-
do. Las funciones que gozan de esta particularidad son denominadas analiticas
Las ecuaciones diferenciales mas familiares para todos como la ecuacion de un
oscilador armonico ẍ + ω 2 x = 0 admite soluciones del tipo x(s) = A1 sen(ωs) +
A2 cos(ωs) siendo claro sen(ωs) y cos(ωs) funciones analiticas. De igual man-
era para la ecuacion de un oscilador amortiguado como en un gran numero de
ecuaciones de la mecanica nos encontraremos con este tipo de ecuaciones.
Una expresion de la forma
∞
X
A0 + A1 (x − x0 ) + · · · + An xn + · · · = An (x − x0 )n (1)
n=0
para aquellos valores de x en que exista este limite, en cuyo caso la serie se
denominara convergente. Para determinar los x que cumplen con esta condicion
se utiliza el criterio del cociente,
An+1
si limn→∞ =ρ Converge si ρ < 1 Diverge si ρ > 1
An
notar que el criterio no clasifica si ρ = 1.
Mas general es considerar el valor absoluto de dicho cociente, si esta acotado
por cierto numero σ cuando n → ∞, la serie converge cuando σ < 1. Por lo
tanto tendriamos
An+1 An+1
ρ = limn→∞ | ||x − x0 | = L|x − x0 | en donde L = limn→∞ | |
An An
Si este limite existe, se deduce que (1)
1 1
converge si |x − x0 | < diverge si |x − x0 | > (2)
L L
De esta manera tenemos un intervalo de convergencia cuando L existe
1 1
(x0 − , x0 + )
L L
Este intervalo es simetrico respecto de x0 de manera tal que la serie es conver-
gente dentro de este intervalo y divergente fuera del mismo.
Que sucede si deseamos evaluar el comportamiento de una serie en los extremos
del intervalo de convergencia? Es decir en los x ∈ R tales quex = x0 ± L1
Podemos abordar esta pregunta diferenciando dos criterios.
Si en un extremo del intervalo de convergencia se tiene que los terminos
de la serie no son de signo constante, al menos desde un valor de n en
adelante, la serie converge si desde ese valor se n u otro valor mayor los
terminos decrecen monotamente en valor absoluto y tienden a cero. En
caso contrario la serie sera divergente.
1
Si los terminos resultan de signo constante desde un valor de n en adelante
y si el cociente del termino n + 1 al termino n−simo puede escribirse como
k1 k2
1− − 2 + ... la serie converge si k1 > 1 y diverge si k1 ≤ 1
n n
Este ultimo es conocido como el criterio de Raabe.
y se tiene que la serie converge para LN |x − x0 |N < 1 o bien para los x tales
que |x − x0 | < N√1L .
N
Una propiedad importante de las series de potencias es la posibilidad de operar
sobre ellas de la misma forma que se opera con los polinomios.
Dentro del intervalo de convergencia, una serie de potencias representa una
funcion continua de x, que posse derivadas de todos los ordenes y se puede
derivar e integrar termino a termino como se hace con los polinomios; las series
resultantes convergen, en el mismo intervalo, hacia la derivada o integral de
la funcion representada por la serie incial. Una propiedad importante de la
convergencia absoluta de series, que no permite permutar el signo del limite con
los operadores de integracion y derivacion.
Supongamos ahora la serie,
∞
X
An (x − x0 )n
n=0
2
Derivando k veces los dos terminos en la ecuacion anterior y evaluando en x = x0
se tiene
f k (x0 ) = k 0 .Ak (k = 0, 1, 2, ...) (4)
por lo tanto (3) se transforma en
∞
X fn
f (x) = (x0 )(x − x0 )n (5)
n=0
n!
d2 y dy
Ly ≡ x2 2
+ (x2 + x) −y =0
dx dx
busquemos una solucion de la forma1
∞
X
y= Ak x k
k=0
3
∞
X ∞
X
Ly ≡ (k 2 − 1)Ak xk + kAk xk+1
k=0 k=0
Ahora bien, para anular Ly, cada termino con xn debe anularse asi como tambien
el termino independiente, por lo tanto A0 = 0 y ademas se tiene una formula
de recurrencia,
x2 x3
y = A1 x − + − ...
3 3·4
2A1 x2 x3 x2 x3
A1 x
y= − + ... = 2 x − 1 + (1 − + − + ...)
x 2! 3! x 1! 2! 3!
Por lo tanto hemos encontrado una unica solucion analitica a la ecuacion difer-
encial, es decir expresable en series de potencias de x alrededor de x0 = 0. Esto
no lleva a creer que no todas las soluciones linealmente independientes pueden
expresarse en series de potencias, o sea en expresiones regulares en x0 = 0.
d2 y
Ly ≡ x3 +y =0
dx2
4
Como
P∞ visto anteriormente, asumimos que se tiene una solucion de la forma
k
A
k=0 k x , en donde luego de sustituir se tiene:
∞
X ∞
X ∞
X
Ly ≡ k(k − 1)Ak xk+1 + Ak xk == A0 + [An + (n − 1)(n − 2)An−1 ]xn
k=0 k=0 n=1
5
0.3. El Metodo de Frobenius
Nuestra motivacion es poder determinar en cuales casos puedo encontrar
soluciones regulares en x = 0 para una ecuacion diferencial lineal homogenea
de segundo orden. Basta realizar un cambio de variable como z = x − x0 para
determinar las soluciones de la ecuacion diferencial nueva en z = 0 (o sea en
x = x0 ) Reescribiendo la ecuacion [0] de la forma
d2 y 1 dy 1
Ly ≡ R(x) 2
+ P (x) + 2 Q(x)y = 0 (10)
dx x dt x
en donde R(x) no se anula en un intervalo que contiene a x = 0. Suponemos
ademas que P (x), Q(x) y R(x) son funciones regulares en x = 0.
Tenemos entonces que
P (x) Q(x)
xa1 (x) = x2 a2 (x) = (11)
R(x) R(x)
son regulares en x = 0. Ademas de lo anterior se asume que la ecuacion [1] fue
dividida previamente por cierta constante de manera tal que R(0) = 1.
Se tiene entonces:
P (x) = P0 + P1 x + P2 x 2 + . . . (12)
2
Q(x) = Q0 + Q1 x + Q2 x + . . . (13)
2
R(x) = 1 + R1 x + R2 x + . . . (14)
6
Con la notacion de (8),(9), tenemos que (7) puede ser escrita como:
7
Si s1 y s2 son reales y distintos con s1 − s2 > 0 entonces f (s + n) no se
anula para n ≥ 1 y ademas f (s2 + n) solo se anulara para n = s1 − s2 .
Dado que n ∈ N, esto ultimo es posible si s1 − s2 es natural.
8
Como s1 es raiz doble entonces el resultado de derivar respecto de s tambien se
anulara en s = s1 .
∂
Lys (x) = A0 [2(s − s1 ) + (s − s1 )2 lnx]xs−2
∂s
como el operador ∂/∂s y el operador L conmutan se tiene:
∂ ∂
⇒ Lys (x) =L ys (x) =0 (28)
∂s s=s1 ∂s s=s1
s1 − s2 = N ≥ 1
9
entonces evaluando en n = N y recordando que f (s) = (s − s1 )(s − s2 )
N
X AN −k 1
AN = − gk (s + N )
(s − s2 ) (s − s2 + N )
k=1
ahora con
N
X +1
f (s+N +1)AN +1 = − gk (s+N +1)AN +1−k = −g1 (s+N +1)AN −g2 (s+N +1)AN −1 −. . .
k
Entonces
AN AN −1
AN +1 = −g1 (s + N + 1) − g2 (s + N + 1) − ...
f (s + N + 1) f (s + N + 1)
Quedando
N
!
X An−k
AN +1 = −g1 (s + N + 1) − gk (s + N )
(s − s2 )(s − s2 + N )f (s + N + 1)
k=1
10
∞
X ∞
X
+ a0n (s)xn+s + lnx an (s)xn+s (37)
n=N n=N
11
0.5. A Modo de Resumen
En todos los casos en donde una ecuacion diferencial lineal homogenea con
un punto singular regular en x = 0, con una unica solucion en funcion del
exponente s1 de la forma
∞
X
y1 (x) = An xn+s1 ≡ A0 u1 (x)
0
0.5.1. Ejemplo 1
Siempre un ejemplo es bienvenido para aclarar un poco las cosas. Para aclarar
el procedimiento anterior, consideremos la ecuacion diferencial
d2 y
Ly ≡ x +y =0
dx2
Suponiendo una solucion de la forma
∞
X
y= An xn+s
n=0
resulta que
∞
X
Ly = s(s − 1)A0 xs−1 + [(n + s)(n + s − 1)An + An−1 ]xn+s−1
n=1
(n + 1)nAn = −An−1 (n ≥ 1)
de la cual se deduce
A0 A0 A0
A1 = − , A2 = − A3 = − ; ...
2·1 (3 · 2)(2 · 1) (4 · 3 · 2)(3 · 2 · 1)
12
siendo en general
A0
An = (−)n
(n + 1)!n!
Por lo tanto la solucion correspondiente al exponente s1 es entonces,
∞
X xn+1
y1 = A0 (−)n ≡ A0 u1 (x)
n=0
(n + 1)!n!
siendo
an (s) = (s − s2 )An (s) = sAn (s) (n ≥ 1)
Resultando de la formula se recurrencia la siguiente relacion
An−1 (s)
An (s) = − (n ≥ 1)
(n + s)(n + s − 1)
siendo en general
(−)n A0
an (s) = (n ≥ 1)
(s + n)[(s + n − 1)(s + n − 2) · · · (s + 1)]2
13
Por lo tanto, sustituyendo por s = 0 se deduce:
n−1
!
1 X1
a0n (0) = −an (0) +2
n k
k=1
14
y ahora sustituyendo n por sus distintos valores se obtiene
3 1
B0 = −C B2 = C − B1 ...
4 2
Puede verse que tanto B1 como C son arbitrarios y todos los coeficientes se
expresan en funcion de estos, por lo tanto la solucion se escribe como sigue:
1 1 3 7 1
y2 (x) = C[(x− x2 + x3 +. . . )lnx−(1− x2 + x3 +. . . )]+B1 [x− x2 +. . . ]
2 12 4 36 2
Se ve que el coeficiente de B1 no es otra cosa mas que la serie que figura en
la primera solucin y1 (x). De modo que si C y B son arbitrarios, la expresion
para y2 (x) representara la solucion general de la ecuacion dada. La expresion
particular para y2 (x) obtenida por el primer metodo corresponde a elegir C =
−B1 = −A0 .
d2 y 1 dy 1
(1 + RM xM ) 2
+ (P0 + PM xM ) + 2 (Q0 + QM xM )y = 0 (41)
dx x dx x
para M = 1, 2, 3, . . .
De nuevo suponemos una solucion de la forma
∞
X
y= An xn+s (42)
n=0
con
f (s + n)An = 0 (1 ≤ n ≤ M − 1) (45)
15
En consecuencia se cumple
g(s + M )
B1 = − B0
f (s + M )
g(s + 2M ) g(s + M )g(s + M )
B2 = − B1 = B0
f (s + 2M ) f (s + M )f (s + 2M )
y en general se tiene
g(s + M ) . . . g(s + KM )
Bk = (−)k B0 (49)
f (s + M ) . . . f (s + kM )
Recordando que teniamos f (s) = (s − 1)(s − 2) vemos que (49) se convierte
entonces en,
{g(s + M ) . . . g(s + kM )}
Bk (s) = (−)k
{(s + M − s1 ) . . . (s + Km − s1 )}{(s + M − s2 ) . . . (s + kM − s2 )}
(50)
donde tenemos k factores en cada corchete.
Si no se anula nunguno de los factores del denominador para s = s1 o s = s2 ,
los coeficientes de las dos soluciones de la forma
∞
X ∞
X
y1 (x) = Bk (s1 )xkM +s1 y2 (x) = Bk (s2 )xkM +s2
k=0 k=0
|RM |
16
Considerando el extremo donde RM xM = −1, la serie converge solo si
PM
P0 − R M
+ M > 0.
Mientras que en extremo donde RM xM = +1, la serie converge solo si
PM
P0 − R M
+ 2M > 0.
1. la ecuacion de Bessel
d2 y dy
x2 2
+x + (x2 − p2 )y = 0 (53)
dx dx
correspondiendo a M = 2, R2 = 0, P0 = 0, P2 = 0, Q0 = −p2 , Q2 =
1. Esta ecuacion la veremos, por ejemplo, al buscar soluciones radiales
para el laplaciano del potencial electrostatico con condiciones de contorno
homogeneas. Mas adelante se vera que las soluciones para la ecuacion
de Bessel estaran compuestas por series conocidas como las funciones de
Bessel. Estas nuevas funciones se hallan siguiendo el mismo desarrollo
visto anteriormente en el metodo de Frobenius para la ecuacion de Bessel.
2. la ecuacion de Legendre
d2 y dy
(1 − x2 ) 2
− 2x + p(p + 1)y = 0 (54)
dx dx
correspondiente a M = 2, R2 = −1, P0 = 0, P2 = −2, Q0 = 0, Q2 =
p(p + 1). Esta ecuacion aparece por ejemplo como la solucion dependiente
del angulo azimutal para el laplaciano del potencial electrostatico con
condiciones de contorno. Mas adelante se vera que las soluciones de esta
ecuacion estaran compuestas por dos series, donde una de estas sera una
suma finita conocida como los polinomios de Legendre. Esta condicion
aparecera como un requerimiento en el metodo de Frobenius al buscar
soluciones a la ecuacion de Legendre.
3. la ecuacion de Gauss
d2 y dy
x(1 − x) + [γ − (α + β + 1)x] − αβy = 0 (55)
dx2 dx
la cual corresponde a M = 1, R = −1, P0 = γ, P1 = −(α + β + 1), Q0 = 0,
Q1 = −αβ.
0.7. Problemas
1. Hallese y clasifiquense los puntos singulares de la ecuacion diferencial
d2 y dy
x2 (1 − x2 )2 + 2x(1 − x) +y =0
dx2 dx
17
2. Utilicese el metodo de Frobenius para obtener la solucion general de cada
una de las siguientes ecuaciones diferenciales, para un entorno de x = 0;
d2 y dy
2x + (1 − x2 ) −y =0
dx2 dx
d2 y dy
x2 2
+x + (x2 − 1)y = 0
dx dx
d2 y dy
x +2 + xy = 0
dx2 dx
d2 y dy
x(1 − x) −2 + 2y = 0
dx2 dx
d2 y dy
x 2
+ (c − x) − ay = 0
dx dx
valida en un entorno de x = 0, suponiendo que c no es entero. La solucion
regular en x = 0 y cuyo valor en ese punto es la unidad, se denomina
funcion hipergeometrica confluente y se designa con M (a, c, x). Pruebese
que si c no es entero, la solucion general es de la forma
y = c1 M (a, c; x) + c2 x1−c M (1 + a − c, 2 − c; x)
18
Ecuacion de cuerda con extremos fijos de longitud L,
d2 y 1 d2 y
2
− 2 2 =0 y(0) = y(L) = 0
dx c dt
admitiendo soluciones de la forma
y(x) = f (x)sen(ωt + φ)
sustituyendo se tiene
ω2
sen(ωt + φ)f 00 (x) − sen(ωt + φ)f (x) = 0
c2
ω2
siendo = k 2 ⇒ f 00 (x) − k 2 f (x) = 0
c2
con soluciones para esta nueva ecuacion de la forma f (x) = eαx
⇒ α2 − k 2 = 0 ⇒ α = ±k ⇒ f 00 (x) = Aekx + Be−kx
1 d2 R 1 dR 1 d2 Φ 1 d2 Z
( 2 + )+ 2 + =0
R dr r dr r φ dφ2 Z dz 2
1 d2 Φ 1 d2 Z
2 2
= −ν 2 = +k 2
r φ dφ Z dz 2
d2 Φ
+ ν 2 φ = 0 con solucion Φ(φ) = Aeiνφ + Be−iνφ
dφ2
se debe cumplir que ν = 0, entonces luego de reordenar los terminos en la
ecuacion radial y con el cambio de variable x = kr tendremos la ecuacion
19
de Bessel para ν = 0, por lo tanto la solucion general dependera de las
funciones de Bessel de orden 0;
d2
d d dp d
L= p +q =p 2 + +q (59)
dx dx dx dx dx
2
2 Cualquier d y dy
ecuacion del tipo a0 (x) dx2 + a1 (x) dx + λa3 (x)y = 0 se puede llevar a (58) con
R a1
a
dx a2 a3
p=e 0 ,q= a0
p yr= a0
p
20
escribimos entonces (58) como
Ly + λr(x)y = 0 (60)
Como las funciones ϕ1 (x) y ϕ2 (x) satisfacen las condiciones de contorno relativas
a la ecuacion (58) en x = a y x = b, es claro que el segundo miembro de (64)
se anula si en cada extremo se prefija una condicion de una de las siguientes
formas:
dy dy
y=0 =0 y+α = 0 x = a, x = b (65)
dx dx
siendo la ultima condicion equivalente a ϕ2 ϕ01 − ϕ1 ϕ02 ≡ (ϕ2 + αϕ02 )ϕ01 − (ϕ1 +
αϕ01 )ϕ02 .
21
En cualquiera de los casos numerados se tiene
Z b
r(x)ϕ1 (x)ϕ2 (x)dx = 0 λ1 6= λ2 (66)
a
0.8.3. Ejemplo 2
Consideremos la siguiente ecuacion
d2 y dy π nπ
2
+ k2 =0 y(0) = y(L) = 0, kn = n , ϕn = sen( x)
dx dx L L
con n = 1, 2, 3, . . . , y en este caso r(x) = 1 por lo tanto
Z L Z L
nπ mπ
ϕn (x)ϕm (x)dx = sen( x)sen( x)dx = 0 m 6= m
0 0 L L
22
Supondremos que tal desarrollo existe y multiplicando ambos miembros por
ϕk (x)r(x), la k−esima funcion del conjunto,
∞
X
r(x)f (x)ϕk (x) = An r(x)ϕn (x)ϕk (x) (68)
n=0
que no hemos hecho otra cosa que realizar el producto interno entre dos elemen-
tos del conjunto {ϕn (x)}, y en virtud de la ortogonalidad de este conjunto se
tiene,
Z b Z b
2
An r(x) [ϕn (x)] dx = r(x)f (x)ϕn (x)dx (69)
a a
Ly + λry = 0 (72)
23
Expresemos la funcion desconocida y en (70) mediante una serie de la forma
∞
X
y= an ϕn (x) (73)
n=0
por lo tanto utilizando (69) para calcular los coeficientes del desarrollo uno
obtiene
∞
X F (x)
f (x) = An ϕn = (75)
n=0
r(x)
An
Comparando ahora (75) con (76) tenemos que an = λ−λn . Por lo tanto la
solucion al problema no homogeneo (75) sera
∞
X An A0 A1
y= ϕn (x) = ϕ0 (x) + ϕ1 (x) + . . . (76)
n=0
λ − λn λ − λ0 λ − λ1
24
Las soluciones para la ecuacion de una membrana o para soluciones a la ecua-
cion radial del laplaciano del potencial electrostatico son dos ejemplos en donde
encontramos estas ecuaciones. Recordando la solucion general
p2
p(x) = x q(x) = − r(x) = x λ = µ2 (81)
x
Dado que p(0) = 0 y que el dominio es (0, L), vemos que las funciones propias
del problema son ortogonales en este dominio respecto de r(x) = x.4
Como deseamos que en el origen la solucion no diverja, tenemos que C2 = 0 en
80.
Ahora si fijamos en x = L al condicion y(L) = 0, los valores de µ que verifican
esta condicion quedan determinados como las raices de la ecuacion
Jp (µn L) = 0 (82)
en donde µn sera solucion de (83), (84) o (85). y como vimos dichas funciones
son ortogonales en (0, L) respecto al nucleo r(x) = x
Z L
xJp (µm x)Jp (µn x)dx = 0 m 6= n (87)
0
Aunque (78) es uno de los casos excepcionales ya que p(x) y r(x) se anulan
en x = 0 y ademas q(x) no es regular en dicho punto a menos que el orden
de la funcion de Bessel sea 0, se puede demostrar que la serie formal (67), un
desarrollo en funciones propias ortogonales de un problema de contorno con
coeficientes dados por (68), convergera a hacia f (x) en (0.L) en las mismas
condiciones establecidas para las series de Fourier.
Dado que Jp (−x) = (−)p Jp (x), las soluciones a (83), (84) y (85) existen en
parejas y son simetricas respecto del origen. Cambiando µn por −µn en (86) o
bien, ϕn (x) no cambia o queda multiplicada por un factor numerico por lo que
4 Para esto basta que y sea finita, que x dy sea cero en x = 0 y que en x = L se prefije una
dx
condicion homogenea cualquiera.
25
no precisaremos de los µn < 0.
Con todo lo anterior tenemos
∞
X
f (x) = An Jp (µn x) (0 < x < L) (88)
n=1
se tiene Z L
1
An = xf (x)Jp (µn x)dx (91)
Cn 0
26