Академический Документы
Профессиональный Документы
Культура Документы
Se ha visto en temas anteriores cómo resolver algunas ecuaciones lineales de 2º orden: las de
coeficientes constantes y algunas de coeficientes variables, como las de Euler o aquellas de
las que se conoce una solución particular de la correspondiente homogénea.
Pero, en general, no se ha visto cómo resolver las ecuaciones lineales con coeficientes
variables, algunas de las cuales aparecen ligadas a importantes problemas de la Física, como
las ecuaciones de Legendre, Hermite, Airy, Bessel, etc. que son de coeficientes polinómicos.
Además, las ecuaciones hasta ahora vistas, generalmente tienen soluciones expresables en
términos de un nº finito de funciones elementales (polinomios, exponenciales,
trigonométricas, etc., o inversas de éstas). Otras veces, aún sabiendo resolver la ecuación,
había que expresar la solución por medio de una integral. Pero en general, las soluciones no
pueden expresarse tan fácilmente.
Es necesario por tanto, buscar otros modos de expresar las soluciones de ecuaciones lineales
de 2º orden, que propicien a su vez nuevos métodos de resolución de las mismas.
'' '
P( x ) y +Q( x ) y + R ( x ) y=0 1
ó en forma canónica :
'' '
y + p( x ) y + q( x ) y =0 1´
1
Definiciones.
Q( x )
p( x )
Un punto x0 se llama punto ordinario de 1 o 1´ si las funciones P( x )y
R( x )
q( x )
P( x ) son analíticas en x0 (es decir, si p(x) y q(x) tienen desarrollos en serie de Taylor
en torno a x0 con radios respectivos de convergencia R1 y R2 no nulos)
Si P(x), Q(x), R(x) son polinomios, entonces x 0 es punto ordinario de 1 si y sólo si P(x0) 0
( siendo 1 no simplificable ).
Pero si además es x0 un punto ordinario de 1 ó 1´, las p(x) y q(x) no sólo son continuas en
I , sino analíticas. Y cabe preguntarse entonces si las soluciones de tal ecuación heredarán
dicha propiedad. Por tanto, si x0 es un punto ordinario de 1 , surgen las preguntas siguientes:
En caso afirmativo :
Es importante poder responder a estas preguntas, pues sería absurdo intentar buscar
soluciones de la forma 2, si no existen. Si existen en I, pueden además derivarse término a
término en I.
2
Las respuestas a estas preguntas las da el siguiente teorema, que será enunciado, pero no
demostrado.
Teorema:
∞
y= ∑ an (x−x 0 )n=a0 y 1 ( x)+a1 y 2 ( x )
n=0
siendo a0 , a1 ctes arbitrarias e y1(x), y2(x) analíticas en un entorno I de x 0, y
linealmente independientes en I.
El radio de convergencia de las series y 1(x) e y2(x) es al menos tan grande como el mínimo
de los radios de convergencia de los desarrollos en serie de p(x) y q(x) en torno a x 0 (es
decir, al menos igual a la distancia de x0 al punto singular más próximo de la ecuación 1,
sea dicho punto real o complejo)
Observaciones:
a) La serie solución puede converger con radio mayor que el indicado en el teorema.
c) Según el teorema de existencia y unicidad, cada solución está determinada de manera única
por los valores y(x0) e y’(x0), es decir por a0 y a1 . Por eso, todos los coeficientes se obtienen
en términos de a0 y a1.
3
h(x) en serie de potencias en torno a x0 , antes de proceder por coeficientes indeterminados.
También podría resolverse en primer lugar la ecuación homogénea y actuar luego por
variación de constantes, o por reducción de orden.
e) Es claro que podría usarse un método semejante para ecuaciones diferenciales lineales, de
primer orden.
2. EJEMPLOS
Ejemplo 1
'' '
Hallar la solución general de la ecuación diferencial y − x y − y=0 , determinando
dos soluciones linealmente independientes en serie de potencias de x . Campo de validez
de las mismas. En particular obtener la solución tal que y(0) = 1 y´(0) = 0.
_____________
p( x ) x
Es q( x ) 1
. Ambas analíticas en x0 = 0, con radios de convergencia de sus respectivos
R 1
desarrollos R 2 , es decir x0 = 0 es punto ordinario..
En la ecuación diferencial :
n (n 1) a n x n 2 n an x n an x n
n2 - n1 - n 0 0 en
a0
a2
Término independiente : 2 1 a2 a0 0 2
a
a3 1
Coeficiente de x : 3 2 a 3 a1 a1 0 3
............................ ................................. .................
a
an2 n
Coeficiente de xn : n 2 n 1 a n2 n 1 a n 0 n2
4
a n 2
an n2
Ley de recurrencia : n
a0
a 2 n (2n)!!
a a1
2 n 1
(2n 1)!!
Luego a0 y a1 son libres y
Por tanto :
x2 x4 x 2n x3 x5 x 2 n 1
y ( x ) a 0 1 ... ... a1 x ... ...
2 !! 4 !! (2n)!! 3!! 5!! ( 2n 1)!!
a 0 y1 ( x ) a1 y 2 ( x ) x
y (0) 1 a0 1
Solución particular: y (0) 0 a1 0
n
x2
x 2n x 2n 2 x2
y( x) y( x) n 2
Luego 0 ( 2 n)!! 0 2 n! 0 n! y( x)= e
Ejemplo 2
2x
p( x ) 1 x 2
q( x ) 2
1 x2
Es Ambas analíticas en x0 = 0 con R1 = R2 = 1
y an xn
Sustituyendo n 0 en la ecuación diferencial:
5
n (n 1) a n x n 2 n (n 1) a n x n n an x n an x n
n2 + n2 +2 n1 - 2 n 0 0
Término independiente : 2a 2 2a 0 0 a2 a0
Coeficiente de x : 6a 3 2a1 2a1 0 a3 0
............................ ................................. .................
Coeficiente de xn : n 2 n 1 n2
a n n 1 n
a 2 n a n 2a n 0
Luego a0 y a1 libres, a2 = a0 , a3 = 0,
n(n 1) 2n 2 (n 1)(n 2)
an2 an an a n n 3 a n2
(n 1)(n 2) (n 1)(n 2) n 1 n2
2n 3 2n 3 2n 5 3 1 1 n 1
a 2 n 2 ... ( 1) n ... a 0 (1) a 0
a 2n = 2n 1 2n 1 2n 3 5 3 1 2n 1
Por tanto :
x2 x4 x6 ( 1) n 1 2 n
a 0 1 ... x ... a1 x x 1
1 3 5 2n 1
y=
x x 3 x5 x 7
a 0 1 x ... a1 x
1 3 5 7 y=a0 [ 1+ x arctg x ] +a1 x
y =
Nota
En los dos primeros ejemplos, la relación de recurrencia ha consistido únicamente en dos
términos y además podía deducirse fácilmente de ella, la forma general de an . Pero, pueden
aparecer relaciones con dos o más términos (Con 3 en el Ejemplo 3), que sean más
complicadas, tales que no pueda determinarse la forma general de los coeficientes an.
Entonces sólo podrán obtenerse algunos términos.
Ejemplo 3
6
Hallar por el método de series de potencias en torno a x 0 = 1 los términos hasta la
potencia de grado 4, correspondientes a la solución general de la ecuación diferencial:
'' '
2 y + x y + y=0
Se efectúa el cambio de variable : x - 1 = t ó x = t + 1.
' dy dy dt ''
y= = = ẏ , y = ÿ
Entonces dx dt dx 2 y (t 1) y y 0 , t0 = 0
t 1
p(t ) 2
q( t ) 1
2 Ambas analíticas en t = 0 con R1 = R2 =
Luego existe solución analítica en t = 0, válida para todo t.
y an t n
Sustituyendo n0 en la ecuación diferencial :
2 n ( n 1) a n t n 2 n an t n n a n t n 1 a n t n
n2 + n1 + n 1 + n 0 0
a 0 a1
a2
Término independiente : 2 2 1 a 2 a1 a 0 0 4
a a2
a3 1
Coeficiente de t : 2 3 2 a 3 a1 2 a 2 a 1 0 6
............................ ................................. ..........................
n 2 n 2 n 1 a n 2 n a n (n 1)a n 1 a n 0
Coeficiente de t :
( n 1)a n 1 (n 1)a n a an a a n 1
a n2 n 1 a n n2
2(n 1)(n 2) 2( n 2 ) 2n
a a1
a1 0
a 0 a1 4 3a a 0
a2 a3 1
Luego : 4 ; 6 24
a 0 a1 3a1 a 0
a2 a3 4 24 6a 6a1 3a1 a 0 5a 0 9a1
a4 0
8 8 192 192
7
( x−1)2 ( x−1 )3 5
⇒ y ( x )=a 0 1−
4 [
+
24
+ ( x−1 )4 + .. .
192 ]
( x−1)2 ( x−1)3 9
[
+a1 ( x −1)−
4
−
8
+
192
(x−1)4 + . .. ∀ x ]
Ejemplo 4
y an xn
Sustituyendo n 0 en la ecuación diferencial:
n (n 1) a n x n 2 n an x n an x n
n2 -2 n1 +8 n 0 0
Término independiente :
2 a2 + 8 a0 =0 ⇒ a2 = −4 a0
Coeficiente de x :
6 a3 −2 a1 + 8 a1 =0 ⇒ a3 = − a1
............................ ................................. .................
Coeficiente de xn : ( n+2 ) ( n+1 ) an+2 −2 n⋅a n + 8 an =0
2(n−4 ) 2(n−6)
a n+2 = a a n= a
Luego : (n+1 )(n+2) n . De donde: n(n−1) n−2 n2
8
a0 = 3
{
a1 = 0
a2 = −12
a3 = a 5 =.. .. . .= 0
−4 a2
a4 = =4
12
a6 = 0 ⇒ a8 = a10 =. . .. .= 0
Luego: Por tanto: y = 3 – 12 x2 + 4 x4
2x
Es
{ p(x)=− 2 ¿ ¿¿¿
1−x Ambas analíticas en x0 = 0 con radio de convergencia de los respectivos
desarrollos : R1 = R2 = 1
Luego x0 = 0 es punto ordinario, existiendo solución en serie de potencias de x, válida, al menos para
x 1.
∞
y= ∑ an x n
Sea n=0 . Sustituyendo en la ecuación :
∞ ∞ ∞ ∞
n−2 n n
∑ n ( n−1) an x ∑ n (n−1) an x ∑ n an x ∑ m(m+1)an x n
n=2 - n=2 -2 n=1 + n=0 0
m(m+1 )
2⋅1⋅a 2 +m(m+1) a0 =0 ⇒ a2 =− a0
0
x : 2⋅1
9
m(m+1 )−2 (m−1)(m+2)
3⋅2⋅a3 −2 a1 +m(m+1)a1 =0
⇒ a3 =− a1 =− a1
1
x : 3⋅2 3!
..... ............................................................................................
n
x : ( n+2 ) ( n+1 ) an+2 −n ( n−1 ) a n−2n⋅an +m( m+1 ) an =0
(m−n)(m+n+1 ) ( m−n+2)(m+n−1)
a n+2 =− a ⇒ an =− an−2 n ≥2
(n+2 )(n+1) n n(n−1)
Luego :
m( m+1 ) 2 (m−2)m(m+1)(m+3) 4
y=a0 1− [ 2!
x+
4!
x − ... ]
(m−1)(m+2) 3 ( m−3)(m−1 )(m+2)(m+4 ) 5
a 1 x− [
3!
x+
5!
x − .. . ] | x |<1
Es decir : y=a0 y 1 ( x )+ a1 y 2 ( x )
Si m = 0, 1, 2, ... una de las dos series es un polinomio de grado m. Dichos polinomios p n(x) son
respectivamente :
5
p0 = 1 p1(x) = x p2(x) = 1 - 3 x 2
p3(x) = x - 3 x3 ......
Se llama polinomio de Legendre de orden m y se designa con P m(x), a la solución polinómica de la ecuación
de Legendre de parámetro m ( o sea, el múltiplo de pn(x), tal que Pm(1) = 1.
Será:
3 1 5 3
P2 ( x )= x2 − P3 ( x )= x3 − x
P0(x) = 1P1(x) = x 2 2 2 2 .........
1 dn 2
Pn ( x )= n
( x −1)n
(2 n) !! dx
−1
2
( 1−2 xt+ t ) 2=P 0 (x )+P 1( x )t+P 2( x )t 2 + . . .
10
También mediante fórmulas de recurrencia :
2n+1 n
Pn+1 ( x )= x Pn ( x )− P ( x)
n+1 n+1 n−1
' '
Pn+1−P n−1 =2(n+1) Pn
1
∫−1 Pm(x) Pn(x) dx=¿ {0 m≠n¿¿¿¿
4
La ecuación de Hermite es :
y '' −2 x y ' +2 λ y =0 5
Aparece esta ecuación, por ejemplo en la mecánica cuántica, a partir de la ecuación de Schrödinger para un
oscilador armónico.
El x0 = 0 es un punto ordinario de la ecuación 5, pues p(x) = -2x y q(x) = 2 son analíticas en x = 0.
Además los radios de convergencia de los respectivos desarrollos, son ambos infinitos. Luego existe solución de
∞
y= an x n∑
5 , de la forma n=0 , válida para todo x real.
Sustituyendo en la 5 :
∞ ∞ ∞
n−2
∑ n(n−1)an x −2 ∑ nan x −2λ ∑ an x n =0
n
∀ x∈ℜ
n=2 n=2 n=2
Luego :
11
Coeficiente de 1 :
2 a2 +2 λa0 =0 ⇒ a2 =−λa 0
--------------------------------------------------------------------------------------
Coeficiente de xn-2 : n(n-1)an-2(n-2)an-2+2an= 0
Luego :
Para = 0,1,2, ... una de las dos series es un polinomio. Dichos polinomios h n(x), para = n = 0,1,2,...
son respectivamente :
2
h0 ( x )=1 , h1 ( x )=x , h 2( x )=1-2 x 2 , h3 ( x )=x− x 3 , .. .
3
n
2 d 2
H n ( x )=(−1)n e x n
e− x
dx
2 ∞ H n( x ) n
e2 tx−t = ∑ t
n=0 n!
12
H n+1 ( x )=2 xH n ( x )−2 nH n−1 ( x )
H 'n ( x )=2 nH n−1 (x )
¥ −x2
∫ -¥
e H m ( x)H n (x)dx=¿ { 0 m ¹n ¿¿¿¿
13