Beruflich Dokumente
Kultur Dokumente
Contenidos
Ecuacin De Euler.
Ahora estudiaremos ecuaciones diferenciales de orden superior pero un caso bastante particular,
ecuaciones del tipo lineal.
Denotaremos por C n (I ) al espacio vectorial de todas la funciones de valores reales que admiten deri-
vada continua hasta orden n en todos los puntos del intervalo I . En particular se define C 0 (I ) = C (I )
como el espacio de las funciones continuas en el intervalo I .
Universidad Tcnica Federico Santa Mara
Departamento de Matemtica
L : C n (I ) C (I )
L = a n (x ) D n + a n 1 (x ) D n 1 + + a 1 (x ) D + a 0 (x )
La imagen de una funcin y C n (I ) por el operador diferencial lineal esta dada por
Ly (x ) = a n (x ) y (n ) (x ) + a n 1 (x ) y (n 1) (x ) + + a 1 (x ) y 0 (x ) + a 0 (x ) y (x )
p
Ejemplo 1.1. El operador L = x D 2 + 3 x D 1 es un operador diferencial lineal de orden 2 en [0, +[
o cualquiera de sus subintervalos, acta en la forma
p
Ly (x ) = x y 00 (x ) + 3 x y 0 (x ) y (x )
pero
x D (D) y = x D y 0 = x y 00 = x D 2 y
Como ya hemos dicho, una ecuacin diferencial lineal de orden n en un intervalo I es una ecua-
cin diferencial de la forma
a n (x ) y (n ) (x ) + a n1 (x ) y (n 1) (x ) + + a 1 (x ) y 0 (x ) + a 0 (x ) y (x ) = h (x )
note que esto puede ser escrito en trminos del operador diferencial como
Ly (x ) = h (x )
Definicin 1.2. Diremos que la ecuacin es normal, si a n (x ) no se anula en ningn punto del inter-
valo I . Que es homognea si h = 0 y no homognea si h no es idnticamente nula en I .
Nelson Cifuentes F. 2
Universidad Tcnica Federico Santa Mara
Departamento de Matemtica
espacio
ker (L) = y C n (I ) : Ly = 0
Nelson Cifuentes F. 3
Universidad Tcnica Federico Santa Mara
Departamento de Matemtica
Ly = h
y (x 0 ) = 0 , y 0 (x 0 ) = 1 , . . . , y (n 1) (x 0 ) = n 1
Observacin 1.2. El caso de la ecuacin de orden 1 ya fue demostrado cuando se mostraron las tc-
nicas para resolver la ecuacin
y 0 + P (x ) y = Q (x )
Teorema 1.2. Si L es un operador diferencial normal de orden n en un intervalo I entonces ker (L) tiene
dimensin n.
Demostremos el caso de n = 2 el general es similar. Sea x 0 I un punto arbitrario pero fijo, por el
teorema de existencia y unicidad existe una funcin y 1 (x ) tal que
Ly 1 = 0
y 1 (x 0 ) = 1
y 10 (x 0 ) = 0
(estamos suponiendo L es de grado 2) de manera similar existe una funcin tal que
Ly 2 = 0
y 2 (x 0 ) = 0
y 20 (x 0 ) = 1
mostraremos que y 1 (x ) , y 2 (x ) es una base de ker (L), en efecto, sea y ker (L) entonces Ly = 0,
Ly = 0
y (x 0 ) = 0
y 0 (x 0 ) = 1
Lg = 0 Ly 1 + 1 Ly 2 = 0
g (x 0 ) = 0
g 0 (x 0 ) = 1
Nelson Cifuentes F. 4
Universidad Tcnica Federico Santa Mara
Departamento de Matemtica
y 1 (x ) + y 2 (x ) = 0 (evaluando en x 0 ) = 0
y 1 (x ) + y 2 (x ) = 0
y 10 (x ) + y 20 (x ) = 0 (evaluando en x 0 ) = 0
d 2y
S = y C (R) :
2
+y =0
dx2
tiene dimensin 2, note que sen x y cos x son dos elementos linealmente independientes de este con-
junto, se sigue
S = cos x , sen x
es decir, toda solucin de la ecuacin homognea es de la forma
y h (x ) = c 1 cos x + c 2 sen x
Ly p (x ) = 0 + x
se sigue que
c 1 cos x + c 2 sen x + x
con c 1 y c 2 constantes arbitrarias es la solucin general de la ecuacin
d 2y
+y =x
dx2
Para probar con mayor facilidad que determinado conjunto de funciones es linealmente indepen-
dientes vamos a introducir el concepto de Wronskiano
Nelson Cifuentes F. 5
Universidad Tcnica Federico Santa Mara
Departamento de Matemtica
Ejemplo 1.5.
x sen x
W (x , sen x ) = = x cos x sen x
1 cos x
Ejemplo 1.6.
e x e x
x x
= e (+ )x 6= 0 si 6=
=
W e ,e
e x e x
Teorema 1.3. Si W y 1 , y 2 , . . . , y n no es idnticamente nulo en I entonces y 1 , y 2 , . . . , y n es linealmente
independiente en C (I ).
Demostracin
c 1 y 1 (x ) + + c n y n (x ) = 0
c 1 y 10 (x ) + + c n y n (x ) = 0
..
.
(n 1)
c 1y1 (x ) + + c n y n(n 1) (x ) = 0
Nelson Cifuentes F. 6
Universidad Tcnica Federico Santa Mara
Departamento de Matemtica
Teorema 1.4. El Wronskiano de las soluciones de una EDO lineal normal en un intervalo I nunca se
anula en el intervalo I . Adems si la ecuacin es de la forma
y (n ) (x ) + a n 1 (x ) y (n 1) (x ) + + a 1 (x ) y 0 (x ) + a 0 (x ) y (x ) = 0
entonces R
a n 1 (x )d x
W = ce
Dem: Vista en Clases.
d 2y dy
2
+ a 1 (x ) + a 0 (x ) y = 0
dx dx
si y 1 es una solucin no identicamente nula entonces
R
a 1 (x )d x
Z
e
y 2 (x ) = y 1 (x ) dx
y 1 (x )2
es otra solucin.
En efecto,
y 1 (x ) y 2 (x ) R
= c e a 1 (x )d x
y 0 (x ) y 0 (x )
1 2
entonces R
y 10 (x ) c e a 1 (x )d x
y 20 (x ) y 2 (x ) =
y 1 (x ) y 1 (x )
el factor integrante es
y 0 (x )
1
R
y1 (x ) d x
e 1
= e ln y1 (x ) =
y 1 (x )
Nelson Cifuentes F. 7
Universidad Tcnica Federico Santa Mara
Departamento de Matemtica
se sigue
R
y 20 (x ) y 10 (x ) c e a 1 (x )d x
y 2 (x ) =
y 1 (x ) y 12 (x ) y 12 (x )
R
y 2 (x ) c e a 1 (x )d x
d
=
d x y 1 (x ) y 12 (x )
y 00 + (tan x 2 cot x ) y 0 = 0
1
= sen3 x
3
se sigue que la solucin general de la EDO es
y h (x ) = c 1 + c 2 sen3 x
Si la ecuacin diferencial
Ly (x ) = h (x ) para x I
es tal que el operador diferencial tiene todos sus coeficientes constantes, entonces hablamos de una
ecuacin con coeficientes constantes. Es decir, si L es de orden n entonces
d ny d n 1 y dy
an (x ) + a n1 (x ) + + a 1 (x ) + a 0 y (x ) = h (x ) para x I
dxn d x n 1 dx
donde a n , a n 1 , . . . , a 1 , a 0 R son constantes.
Nelson Cifuentes F. 8
Universidad Tcnica Federico Santa Mara
Departamento de Matemtica
Observacin 1.3 (Muy importante). Los operadores diferenciales con coeficientes contantes se com-
portan como polinomios en D, es decir, la suma y multiplicacin de polinomios cumplen las mismas
propiedades que los operadores con coeficientes constantes, por ejemplo
D 3 1 = (D 1) D 2 + D + 1 = D 2 + D + 1 (D 1)
Ly (x ) = h (x )
es de la forma
y (x ) = y h (x ) + y p (x )
donde y h es la solucin general de la homognea asociada
Ly = 0
d ny d n 1 y dy
an n
(x ) + a n1 n 1
(x ) + + a 1 (x ) + a 0 y (x ) = 0
dx dx dx
Teorema 1.5. Si L 1 , L 2 , . . . , L m son operadores diferenciales con coeficientes constantes entonces ker (L i )
ker (L) donde
L = L 1L 2 . . . L m
L = L 1 L 2 L i 1 L i L i +1 L m
= L 1 L 2 L i 1 L i +1 L m L i
= L 1 L 2 L i 1 L i +1 L m 0
= 0
y 00 9y = 0
esto es
(D 3) (D + 3) y = 0
Nelson Cifuentes F. 9
Universidad Tcnica Federico Santa Mara
Departamento de Matemtica
es decir
L 1 L 2y = 0
ahora estudiemos ker (L 1 ) = y : L 1 y = 0 = y : y 0 3y = 0
ker (L 1 ) = y : y 0 = 3y
= y : y (x ) = c e 3x
= e 3x
de manera similar
ker (L 2 ) = y : y 0 = 3y
= e 3x
y (x ) = c 1 e 3x + c 2 e 3x
y 00 + a 1 y 0 + a 0 y = 0
y supongamos que
D 2 + a 1 D + a 0 = (D 1 ) (D 2 )
se presentan 3 casos:
Nelson Cifuentes F. 10
Universidad Tcnica Federico Santa Mara
Departamento de Matemtica
y (x ) = c 1 e 1 x + c 2 e 2 x
y (x ) = c 1 e 1 x + c 2 x e 1 x
en efecto considere:
(D 1 ) (D 1 ) y = 0
si ponemos z = (D 1 ) y entonces (D 1 ) z = 0 se sigue z = c e 1 x luego
(D 1 ) y = c 1 e 1 x
y 0 1 y = c 1 e 1 x
d
y e 1 x = c 1
dx
integramos
y e 1 x = c 1 x + c 2
de donde obtenemos
y (x ) = c 1 x e 1 x + c 2 e 1 x
(otro modo de encontrar la solucin x e 1 x es con la frmula de Abel y observando que e 1 x es
solucin) ambas soluciones son L.I.
e 1 x x e 1 x
2x 1
1 e 1 1 x e 1 + e 1 = e 6= 0
x x x
e (a +i b )x = e a x cosb x + i e a x senb x
y
e (a +i b )x = e a x cosb x i e a x senb x
Nelson Cifuentes F. 11
Universidad Tcnica Federico Santa Mara
Departamento de Matemtica
deberan ser soluciones, de esta forma las combinaciones lineales deberan ser soluciones, es
decir
e (a +i b )x e (a +i b )x = 2e a x cosb x
debe ser solucin, podemos verificar reemplazando en la ecuacin que efectivamente
y 1 (x ) = e a x cosb x
es solucin de la ecuacin
(D 1 ) (D 2 ) y = 0
(D (a + i b )) (D (a i b )) y = 0
(D a )2 + b 2 y = 0
D 2 2a D + a 2 + b 2 y = 0
se puede mostrar (por ejemplo con la frmula de Abel o usando combinaciones lineales com-
plejas) que y 2 (x ) = e a x senb x es otra solucin L.I.
Z R
2a d x
e
y 2 (x ) = e a x cosb x
(e a x cosb x )2
Z
e 2a x d x
= e a x cosb x
e 2a x cos2 b x
Z
= e ax
cosb x sec2 (b x ) d x
1 ax
= e cosb x tan (b x )
b
1 ax
= e senb x
b
as
y 2 (x ) = e a x senb x
es solucin adems usando el Wronskiano se puede mostrar que son L.I.
1. y 00 5y 0 + 6y = 0, Solucin: C 1 e 2x + C 2 e 3x
2. y 00 2y 0 + y = 0, Solucin: C 1 e x + C 2 x e x
Nelson Cifuentes F. 12
Universidad Tcnica Federico Santa Mara
Departamento de Matemtica
Ly = 0
con L un operador diferencial lineal con coeficientes constantes de orden arbitrario. Recordemos que
todo polinomio con coeficientes reales se puede factorizar en la forma
m 1 2 m j
(x r1 )n 1 (x r2 )n 2 (x rk )n k (x 1 )2 + 12 x j + j2
Como los operadores diferenciales con coeficientes constantes se comportan como polinomios,
estos se pueden factorizar en la forma
m j
2 m1
n1 n2 nk
2
2
(D r1 ) (D r2 ) (D rk ) (D 1 ) + 1 D j + j
2
n1
luego m 1 la ecuacin Ly = 0 basta conocer los ncleos o kernel de los operadores (D r )
para2 resolver
y (D ) + 2
Teorema 1.6.
ker (D )n = e x , x e x , x 2 e x , . . . , x n1 e x
y
h n i
e x cos x , x e x cos x , x 2 e x cos x , . . . , x n 1 e x cos x
ker (D )2 + 2 =
e x sen x , x e x sen x , x 2 e x sen x , . . . , x n1 e x sen x
La demostracin fue hecha en clases. Pero puede ser hecha por induccin, es fcil ver que
ker (D ) = {e x }
supongamos que
ker (D )n 1 = e x , x e x , x 2 e x , . . . , x n 2 e x
entonces
y ker (D )n (D )n 1 (D ) y = 0
as
(D ) y ker (D )n 1
luego
n 2
X
y 0 y = C i x i e x
k =0
Nelson Cifuentes F. 13
Universidad Tcnica Federico Santa Mara
Departamento de Matemtica
3x
e se sigue que la solucin general es
yG (x ) = c 1 e 2x cos 3x + c 2 x e 2x cos 3x + c 3 e 2x sen 3x + c 4 x e 2x sen 3x + c 5 e 3x
Ahora que sabemos resolver el problema homogneo vamos a buscar soluciones particulares para
resolver ecuaciones no homogeneas, Se presentan dos mtodos
Este mtodo aunque se aplica en una cantidad limitada de casos muchas veces es de fcil aplica-
cin (solo se aplica a ecuaciones con coeficientes contantes); Suponga que enfrentamos la EDOL con
coeficientes contantes no homognea
Ly = h
si conocemos un operador con coeficientes constantes L h tal que L h h = 0 entonces
L h Ly = L h h = 0
luego la solucion y de la ecuacin Ly = h cumple L h Ly = 0 es decir
y ker L h L
podemos encontrar la solucin particular usando Ly p = h:
Nelson Cifuentes F. 14
Universidad Tcnica Federico Santa Mara
Departamento de Matemtica
(D 1) D 2 (D 1) (D 2) y = 0
2
D (D 1) (D 2) = 0
2
luego
y p (x ) = c 1 + c 2 x + c 3 e x + c 4 x e x + c 5 e 2x
y como
(D 1) (D 2) y p (x ) = e x + x
se sigue
(D 1) (D 2) c 1 + c 2 x + c 3 e x + c 4 x e x + c 5 e 2x
= (D 1) (D 2) [c 1 + c 2 x ] + (D 1) (D 2) [c 4 x e x ]
= D 2 3D + 2 [c 1 + c 2 x ] + (D 1) (D 1 1) [c 4 x e x ]
= 2c 1 3c 2 + 2c 2 x (D 1) [c 4 x e x ]
= 2c 1 3c 2 + 2c 2 x (c 4 e x + c 4 x e x c 4 x e x )
= 2c 1 3c 2 + 2c 2 x c 4 e x
2c 1 3c 2 = 0
2c 2 = 1
c 4 = 1
se sigue
c 4 = 1, c 2 = 1/2, c 1 = 3/4
as
yG (x ) = (3/4) + (1/2) x x e x + c 3 e x + c 5 e 2x
= [(3/4) + (1/2) x x e x ] + c 3 e x + c 5 e 2x
= y p (x ) + y h (x )
es la solucin.
Nelson Cifuentes F. 15
Universidad Tcnica Federico Santa Mara
Departamento de Matemtica
El mtodo que presentamos ahora es posible aplicarlo incluso si la ecuacin no tiene coeficientes
constantes. Supongamos que queremos resolver la ecuacin
y 00 + a 1 (x ) y 0 + a 0 (x ) y = h (x )
y 00 + a 1 (x ) y 0 + a 0 (x ) y = 0
y 00 + a 1 (x ) y 0 + a 0 (x ) y = h (x )
y p00 + a 1 (x ) y p0 + a 0 (x ) y p = h (x )
y p (x ) = c 1 (x ) y 1 (x ) + c 2 (x ) y 2 (x )
entonces
y p0 = c 10 y 1 + c 1 y 10 + c 20 y 2 + c 2 y 20
y
y p00 = c 100 y 1 + 2c 10 y 10 + c 1 y 100 + c 200 y 2 + 2c 20 y 20 + c 2 y 200
luego
y p00 + a 1 (x ) y p0 + a 0 (x ) y p = h (x )
= h
agrupando
c 100 y 1 + 2c 10 y 10 + c 200 y 2 + 2c 20 y 20 + a 1 c 10 y 1 + a 1 c 20 y 2
+ c 1 y 100 + a 1 c 1 y 10 + a 0 c 1 y 1 + c 2 y 200 + a 1 c 2 y 20 + a 0 c 2 y 2
= h
as
c 100 y 1 + 2c 10 y 10 + c 200 y 2 + 2c 20 y 20 + a 1 c 10 y 1 + a 1 c 20 y 2 = h
0
c 10 y 1 + c 20 y 2 + c 10 y 10 + c 20 y 10 + a 1 c 10 y 1 + c 20 y 2 = h
Nelson Cifuentes F. 16
Universidad Tcnica Federico Santa Mara
Departamento de Matemtica
c 10 y 1 + c 20 y 2 = 0
c 10 y 10 + c 20 y 10 = h
de donde
0
y 2 (x )
y 1 (x ) 0
h (x ) y 20 (x ) y 10 (x ) h (x )
c 10 (x ) = y c 20 (x ) =
y 1 (x ) y 2 (x ) y 1 (x ) y 2 (x )
y 0 (x ) y 0 (x ) y 0 (x ) y 0 (x )
1 2 1 2
d ny d n1 y
+ a n 1 (x ) + + a 0 (x ) y = 0
dxn d x n 1
entonces una solucin particular de
d ny d n1 y
+ a n 1 (x ) + + a 0 (x ) y = h (x )
dxn d x n 1
es de la forma
n
X
y p (x ) = c i (x ) y i (x )
i =1
donde
|C i |
c i0 (x ) =
W
C i es el Wronskiano en el cual se cambio la i-sima columna por
0
0
.
.
.
0
h (x )
x 2 y 00 2x y 0 + 2y = 0
Nelson Cifuentes F. 17
Universidad Tcnica Federico Santa Mara
Departamento de Matemtica
e ( x )d x
2
Z R
y 2 (x ) = x dx
x2
Z
e 2 ln x
= x dx
x2
= x2
como ya tenemos una base del Kernel buscamos una solucin particular de la forma
y p (x ) = c 1 (x ) y 1 (x ) + c 2 (x ) y 2 (x )
= c 1 (x ) x + c 2 (x ) x 2
donde
0
x2
x ln x 2x x 3 ln x
c 10 (x ) = = = x ln x
x x2
x2
1 2x
Z
1 1
c 1 (x ) = x ln x d x = x 2 ln x + x 2
2 4
y
x 0
1 x ln x
c 20 (x ) = = ln x
x x2
1 2x
c 2 (x ) = x ln x x
Nelson Cifuentes F. 18
Universidad Tcnica Federico Santa Mara
Departamento de Matemtica
x n y (n ) + a n 1 x n 1 y (n 1) + + a 1 y 0 + a 0 y = 0
son llamadas ecuaciones de Euler, pueden ser transformadas a una ecuacin de coeficientes constan-
tes con el cambio de variables
x = et
entonces
dy dy dx dy
= =x
dt dx dt d x
d 2y d dy dx dy d dy
= x = +x
dt2 dt dx dt dx dt dx
dy d 2y
= x +x2
dx dx2
es decir
dy dy
= x
dt dx
d 2y d y d 2y
= x2
dt2 dt dx2
es posible demostrar que
d 3y
x3 = D (D 1) (D 2) y
dx3
donde
d
D=
dt
de esta forma la ecuacin de Euler se transforma en una ecuacin con coeficientes constantes.
x 2 y 00 + 2x y 0 2y = 0
x 2 y 00 = D (D 1) y
x y 0 = Dy
D (D 1) y + 2Dy 2y = 0
donde y = y (e t ) entonces
D 2 + D 2 y = 0 (D + 2) (D 1) y = 0
Nelson Cifuentes F. 19
Universidad Tcnica Federico Santa Mara
Departamento de Matemtica
se sigue
y e t = c 1 e 2t + c 2 e t
se sigue
c1
y (x ) = + c 2x
x2
Ejemplo 1.15. Resolver la ecuacin de Euler no homognea
x 2 y 00 + 2x y 0 2y = ln x
es decir
D2 + D 2 y = t
la que sabemos resolver (es una ecuacin de coeficientes contantes, la solucin particular la podemos
encontrar utilizando coeficientes indeterminados o bien variacin de parmetros). La solucin de la
ecuacin
x 2 y 00 + 2x y 0 2y = ln x
es
c1 1 1
2
+ c 2 x ln x
x 2 4
Nelson Cifuentes F. 20