3.

Ecuaciones diferenciales de orden superior

( Chema Madoz, VEGAP, Madrid 2009)

Ecuaciones lineales: teora bsica

Un problema de valor inicial de n-simo orden consiste en resolver la EDO lineal:

dy d d y an ( x) n + an1 ( x) n1 + " + a1 ( x) + a0 ( x) y = g ( x) dx dx dx
sujeta a las n condiciones iniciales:
y ( x0 ) = y0 , y( x0 ) = y1 , " , y ( n1) ( x0 ) = yn1

n 1

Resolverlo consiste en encontrar una funcin y(x) en definida en un intervalo I que contiene a x0, donde se cumplen la ecuacin y las 2 condiciones iniciales.

Existencia de una solucin nica

(Condicin suficiente)
Sea an(x), an-1(x), , a0(x), y g(x) continuas en I, con an(x) 0 para todo x de I. Si x = x0 es cualquier punto de este intervalo, entonces existe una solucin y(x) del problema anterior en I y es nica.
Ejemplo:

3 y + 5 y + y + 7 y = 0, y (1) = 0 , y(1) = 0, y(1) = 0

posee la solucin trivial y(x) = 0. Como es una ED de tercer orden lineal con coeficientes constantes, y(x) = 0 es la nica solucin en cualquier intervalo que contenga a x = 1.
3

 Ejemplo: Comprueba que y = 3e2x + e2x 3x es la nica solucin de

y"4 y = 12 x, y (0) = 4, y ' (0) = 1

La ED es lineal, los coeficientes y g(x) son todos funciones continuas, y a2(x) = 1 es distinto de 0 en cualquier intervalo que contenga x = 0. La solucin propuesta cumple la EDO y es nica en I.
Comprueba que y = cx2 + x + 3 es solucin del PVI:

x 2 y 2 y + 2 y = 6,

y (0) = 3 , y (0) = 1

en toda la recta real. Este PVI tiene infinitas soluciones. Observa que el coeficiente de la derivada a2(x) = x2 ms alta se hace cero en x = 0 y ese punto necesariamente tiene que estar incluido en I porque lo imponen las condiciones iniciales.

Problemas de valores en la frontera

Resolver: sujeta a :

dy d2y a2 ( x) 2 + a1 ( x) + a0 ( x) y = g ( x) dx dx
y ( a ) = y0 , y (b) = y1

se llama problema de valor en la frontera (PVF) y a las restricciones se conocen como condiciones de contorno o condiciones en la frontera.
Nota: Las condiciones de contorno pueden ser tambin sobre las derivadas.
5

Vimos que x = c1 cos 4t + c2 sin 4t era solucin de

(a) Supongamos el PVF x + 16 x = 0 , x(0) = 0 , x = 0 2 Si x(0) = 0, entonces c1 = 0, y x(t) = c2 sen 4t. Si x(/2) = 0, obtenemos 0 = 0 independientemente de c2. De modo que tenemos infinitas soluciones. (b) Si x + 16 x = 0 , x(0) = 0 , x = 0 8 tenemos que c1 = 0, c2 = 0: x(t) = 0, solucin nica.

x"+16 x = 0

(c) Si x + 16 x = 0 , x(0) = 0 , x = 1 2 tenemos que c = 0, y 1 = 0

1

(contradiccin). No hay solucin.

La siguiente EDO lineal de orden n:

dny d n1 y dy an ( x) n + an1 ( x) n1 + " + a1 ( x) + a0 ( x) y = g ( x) dx dx dx

se dice que es no homognea.

dny d n1 y dy an ( x) n + an1 ( x) n1 + " + a1 ( x) + a0 ( x) y = 0 dx dx dx

si g(x) = 0 la ecuacin es homognea.

Veremos que para resolver una ecuacin no homognea tendremos que resolver tambin la ecuacin homognea asociada.

Operadores diferenciales
Sea Dy = dy/dx. Al smbolo D se le llama operador diferencial. Definimos a un operador diferencial de n-simo orden u operador polinominal como
L = an ( x) D n + an1 ( x) D n1 + " + a1 ( x) D + a0 ( x)

El operador diferencial L es un operador lineal:

L{ f ( x ) + g ( x )} = L ( f ( x )) + L ( g ( x ))

Podemos escribir las EDOs anteriores simplemente como L(y) = 0 y L(y) = g(x)
8

Principio de superposicin
(ecuaciones homogneas)

Sean y1, y2, , yk soluciones de una ecuacin diferencial homognea de n-simo orden en un intervalo I. Entonces la combinacin lineal y = c1y1(x) + c2y2(x) + + ckyk(x) donde ci, i = 1, 2, , k, son constantes arbitrarias, tambin es una solucin en el intervalo.
Ejemplo: Las funciones y1 = x2, y2 = x2 ln x son ambas soluciones en (0, ) de x3 y 2 xy + 4 y = 0 Luego y = x2 + x2 ln x tambin es una solucin en (0, ).
Nota: (A) y(x) = cy1(x) tambin es solucin si y1(x) es una solucin. (B) Una ED lineal homognea siempre posee la solucin trivial y(x) = 0. 9

Dependencia e independencia lineal

Un conjunto de funciones f1(x), f2(x), , fn(x) es linealmente dependiente en un intervalo I, si existen ciertas constantes c1, c2, , cn no todas nulas, tales que: c1f1(x) + c2f2(x) + + cn fn(x) = 0 Si el conjunto no es linealmente dependiente, entonces es linealmente independiente. En otras palabras, si el conjunto es linealmente independiente, cuando: c1f1(x) + c2f2(x) + + cn fn(x) = 0 entonces necesariamente c1 = c2 = = cn = 0. 10

Son estas funciones linealmente independientes?

c1f1(x) + c2f2(x) = 0
11

Ejemplo: Las funciones f1 = cos2 x, f2 = sin2 x, f3 = sec2 x, f4 = tan2 x son linealmente dependientes en el intervalo (-/2, /2) porque c1 cos2 x +c2 sin2 x +c3 sec2 x +c4 tan2 x = 0 con c1 = c2 = 1, c3 = -1, c4 = 1. Ejemplo: Las funciones f1 = x + 5, f2 = x + 5x, f3 = x 1, f4 = x2 son linealmente dependientes en el intervalo (0, ), porque f2 = 1 f1 + 5 f3 + 0 f4
12

Wronskiano
Supongamos que cada una de las funciones f1(x), f2(x), , fn(x) posee al menos n 1 derivadas. El determinante

f1 W ( f1 ,..., f n ) = f1 ' # f 1( n 1)

f2 f2 ' # f 2( n 1)

" " "

fn fn ' # f n( n 1)

se llama el Wronskiano de las funciones.

13

TEOREMA

Criterio para soluciones linealmente independientes

Sean y1(x), y2(x), , yn(x) soluciones de una ED homognea de n-simo orden en un intervalo I. Este conjunto de soluciones es linealmente independiente si y slo si W(y1, y2, , yn) 0 para todo x en el intervalo.
DEFINICIN

Conjunto fundamental de soluciones

Cualquier conjunto y1(x), y2(x), , yn(x) de n soluciones linealmente independientes de una ED homognea de n-simo orden se llama conjunto fundamental de soluciones. 14

TEOREMA

Existencia de un conjunto fundamental

Existe un conjunto fundamental de soluciones para una ED lineal homognea de orden n en un intervalo I.
TEOREMA

Solucin general (ecuaciones homogneas)

Sea y1(x), y2(x), , yn(x) un conjunto fundamental de soluciones de nuestra ED lineal homognea en un intervalo I. Entonces la solucin general es y = c1y1(x) + c2y2(x) + + cnyn(x) CH3_15x donde ci son constantes arbitrarias.
15

 Las funciones y1 = e3x, y2 = e-3x son soluciones de y 9y = 0 en (-, ) Observa que 3x 3 x

W (e , e
3x 3 x

e )= 3e3 x

3e

3 x

= 6 0

para todo x. Luego son independientes. As que y = c1y1 + c2y2 es la solucin general. Por ejemplo, la funcin y = 4 sinh(3x) - 5e3x es una solucin. Observemos que
y = 2e 3 x 2e 3 x = 5e 3 x e 3 x e 3 x 3 x 5 e = 4 -3x = 4 sinh 3 x 5 e 2 16

 Las funciones y1 = ex, y2 = e2x , y3 = e3x son soluciones de y 6y + 11y 6y = 0 en (-, ). Como x 2x 3x
W (e x , e 2 x e , e3 x ) = e x ex e 2e 2 x 4e 2 x e 3e3 x = 2e6 x 0 9e 3 x

para todo valor real de x. y = c1ex + c2 e2x + c3e3x es la solucin general en (-, ).

17

TEOREMA

Solucin General
(Ecuaciones no homogneas) Sea yp cualquier solucin particular de una EDO no homognea en un intervalo I. Y sea y1(x), y2(x), , yk(x) un conjunto fundamental de soluciones de su EDO homognea asociada, entonces la solucin general de la ecuacin en el intervalo es y= c1y1 + c2y2 + + ckyk + yp donde las ci , i= 1,2,.,n son constantes arbitrarias

y = c1y1 + c2y2 + + ckyk + yp = yc + yp = funcin complementaria + una solucin particular

18

 La funcin yp = -(11/12) x es una solucin particular de

y 6 y + 11 y 6 y = 3 x
La solucin general es

11 1 y = yc + y p = c1e + c2e + c3e x 12 2

x 2x 3x

19

TEOREMA

Principio de superposicin
(ecuaciones no homogneas)

Dadas k EDOs

an ( x) y ( n ) + an 1 ( x) y ( n 1) + " + a1 ( x) y + a0 ( x) y = g i ( x)

con i = 1, 2, , k. Si ypi denota una solucin particular de la ED i-sima correspondiente a gi(x), tenemos que
y p = y p1 ( x) + y p2 ( x) + " + y pk ( x)

es una solucin particular de an ( x) y ( n ) + an1 ( x) y ( n1) + " + a1 ( x) y + a0 ( x) y

= g1 ( x) + g 2 ( x) + " + g k ( x)
20

 Observemos que yp1 = -4x2 es una solucin particular de

y"3 y '+4 y = 16 x 2 + 24 x 8

yp2 = e2x es una solucin particular de

y"3 y '+4 y = 2e 2 x

yp3 = xex es una solucin particular de

y"3 y '+4 y = 2 xe x e x

Entonces

y = y p1 + y p2 + y p3

es una solucin de

x x 2 2x y 3 y + 4 y = 16 x + 24 x 8 + 2 e + 2 xe e  
N   
g1 ( x ) g2 ( x ) g3 ( x )
21

Reduccin de orden
Sabemos que la solucin general de a2 ( x ) y + a1 ( x ) y + a0 ( x ) y = 0 es y = c1y1 + c2y1. Supongamos que y1(x) denota una solucin conocida (no trivial). Puesto que la solucin y2 es linealmente independiente, supongamos que y2(x) = u(x) y1(x). Nuestro objetivo ser encontrar una tal u(x). El mtodo se conoce como reduccin de orden.
22

Dada y1 = ex solucin de y y = 0, hallar la segunda solucin y2 por el mtodo de reduccin de orden. Solucin Si y(x) = u(x)ex, entonces
x x x x x y = ue + e u , y = ue + 2e u + e u

que sustituyendo en la EDO: y" y = e x (u"+2u ' ) = 0 Como ex 0, nuestra EDO se convierte en: u"+2u ' = 0 Ahora "reduciremos" el orden de la ED gracias al cambio: w'+2 w = 0 w = u que integrando por separacin w = c1e2 x = u de variables y deshaciendo el 2 x u = 1 / 2 c e + c2 23 cambio, nos proporciona: 1

Hemos hallado la segunda solucin y2 por el mtodo de reduccin de orden:

c1 x y = u ( x)e = e + c2e x 2
x

Recordemos que tenamos y1 = ex como primera solucin de y y = 0. Si tomamos c2 = 0, c1 = -2 para nuestra segunda solucin, tenemos y2 = e-x. Observa que W(ex, e-x) 0 para todo x, de modo que las soluciones son independientes.

24

Caso general
Escribimos la EDO en la forma estndar

y + P ( x ) y + Q ( x ) y = 0
Sea y1(x) una solucin conocida de la EDO e y1(x) 0 para todo x en el intervalo. Si definimos y(x) = u(x)y1(x), tenemos

+ y1u , y = uy1 + 2 y1 u + y1u y = uy1

y + Py + Qy + Py1 + Qy1 ] + y1u + (2 y1 + Py1 )u = 0 = u[ y1   

cero
25

 + Py1 )u = 0 y1u + ( 2 y1

empleando el cambio w = u.
dw + Py1 ) w = 0 + Py1 ) w = 0 y1 + ( 2 y1 y1w + ( 2 y1 dx Dividiendo dw y1 dw y1 entre y1w + 2 dx = Pdx + 2 dx = Pdx + c y multiplicando w y1 w y1 por dx:

ln | wy12 |= Pdx + c

wy12 = c1e Pdx

Pdx

Luego

u = c1

y12

dx + c2

Tomando c1 = 1, c2 = 0, obtenemos
y2 = y1 ( x) e

P ( x ) dx

y12 ( x)

dx
26

La funcin y1= x2 es una solucin de

x y"3 xy '+4 y = 0
2

Hallar la solucin general en (0, ). Solucin: 3 4 La forma estndar es y y + 2 = 0

Dando los pasos anteriores, demuestra que:

y2 = x
2

3 dx / x

dx = x ln x
2

La solucin general es:

y = c1 x + c2 x ln x
2 2
27

 La ecuacin diferencial ay + by = 0 se resuelve ya sea mediante separacin de variables o mediante la ayuda de un factor integrante. Observa que si despejamos y de la ecuacin diferencial ay + by = 0 se obtiene y = ky, donde k es una constante. Esto nos revela la "naturaleza" de la solucin: la nica funcin elemental no trivial cuya derivada es una mltiplo de si misma es la funcin exponencial, y(x) = emx. Lo que resta ser determinar el valor de m...
28

Ecuaciones lineales homogneas con coeficientes constantes

an y
(n)

+ an1 y

( n 1)

+ " + a2 y + a1 y + a0 y = 0

donde ai son constantes, an 0. Ecuacin o polinomio auxiliar : Para n = 2, ay + by + cy = 0 Si probamos y(x) = emx,

e (am + bm + c) = 0
mx 2

am + bm + c = 0
2
29

obtenemos la ecuacin auxiliar.

am + bm + c = 0
2

Las dos races del polinomio auxiliar son:

m1 = ( b + b 4 ac ) / 2 a
2

m2 = ( b b 4 ac ) / 2 a
2

(1) b2 4ac > 0: reales y distintas, m1 m2 . (2) b2 4ac = 0: reales e iguales, m1 = m2 = -b/(2a). (3) b2 4ac < 0: complejas conjugadas,

m1 = + i , m2 = i

30

 Caso 1: Races reales y distintas La solucin general es

y = c1e
y1 = e
m1x

m1x

+ c2e

m2 x

Por qu?

Caso 2: Races reales repetidas

Para obtener la segunda solucin utilizamos el mtodo de reduccin de orden, recordando que

m1 = m2 = -b/(2a).

2 m1x e y2 = em1x 2 m1x dx = em1x dx = xem1x e La solucin general es

y = c1e

m1x

+ c2 xe

m1x
31

 Caso 3: Races complejas conjugadas Escribimos m1 = + i , m2 = i , una ( +i ) x ( i ) x + C2 e solucin general es y = C1e Usando la frmula de Euler:

e = cos + i sin
e
i x
i x

= cos x + i sin x e
+e
i x

i x

= cos x i sin x
i x

= 2 cos x e

i x

= 2i sin x
32

( +i ) x ( i ) x y = C e + C e Como es solucin 1 2 general, tomando C1 = C2 = 1 y C1 = 1, C2 = -1 , tenemos dos soluciones: y1 = ex (eix + e ix ) = 2ex cos x

y2 = ex (eix e ix ) = 2iex sin x

As, ex cos x y ex sen x son un conjunto fundamental de soluciones y la solucin general es

y = c1e cos( x) + c2 e sin( x) y=e

x

(c1 cos(x) + c2 sin( x) )

33

 Resolver las EDs siguientes: (a) 2 y"5 y '3 y = 0

y = c1e x / 2 + c2 e 3 x

2m 2 5m 3 = (2m + 1)(m 3) , m1 = 1/2 , m2 = 3

(b) y"10 y '+25 y = 0

m 2 10m + 25 = (m 5) 2 , m1 = m2 = 5 y = c1e5 x + c2 xe5 x

(c) y"+4 y '+7 y = 0

m 2 + 4m + 7 = 0 , m1 = 2 + 3i , m2 = 2 3i = 2 , = 3 , y = e 2 x (c1 cos 3 x + c2 sen 3 x)

34

Resolver 4 y"+4 y '+17 y = 0, y (0) = 1, y ' (0) = 2 Solucin:

4m 2 + 4m + 17 = 0, m1 = 1/2 2i y = e x / 2 (c1 cos 2 x + c2 sin 2 x) y (0) = 1, c1 = 1,
e y ' (0) = 2,

c2 = 3/4

35

Resolver las ecuaciones:

y + k 2 y = 0, y k 2 y = 0, k > 0
y = c1 cos kx + c2 sin kx

Para la primera ecuacin : Para la segunda ecuacin :

y = c1e kx + c2e kx

Como Luego

y1 = 1/2(e kx + e kx ) = cosh(kx) y2 = 1/2(e kx e kx ) = sinh( kx)

y = c1 cosh( kx ) + c2 sinh( kx )
36

Ecuaciones de orden superior

Dada la EDO:

an y ( n ) + an1 y ( n1) + " + a2 y + a1 y + a0 y = 0

La ecuacin asociada

an m + an1m
n

n 1

+ " + a2 m + a1m + a0 = 0
2

se llama su ecuacin auxiliar .

37

Resolver
Solucin:

y + 3 y 4 y = 0

m3 + 3m 2 4 = ( m 1)(m 2 + 4m + 4) = ( m 1)(m + 2) 2
m2 = m3 = 2

y = c1e x + c2e 2 x + c3 xe2 x

Resolver
Solucin:

d4y d2y +2 2 + y =0 4 dx dx

m 4 + 2m 2 + 1 = (m 2 + 1) 2 = 0 m1 = m3 = i, m2 = m4 = i y = C1eix + C2e ix + C3 xeix + C4 xeix = c1 cos x + c2 sin x + c3 x cos x + c4 x sin x38

Races complejas repetidas

Si m1 = + i es una raz compleja de multiplicidad k, entonces m2 = i es tambin una raz compleja de multiplicidad k. Las 2k soluciones linealmente independientes son :
ex cos x , xex cos x , x 2ex cos x , " , x k 1ex cos x

ex senx , xex senx , x 2 ex senx , " , x k 1ex sen x

39

Coeficientes indeterminados
Si queremos resolver

an y

(n)

+ an1 y

( n 1)

+ " + a1 y + a0 y = g ( x)

Tenemos que hallar y = yc + yp. Veamos cmo hacerlo, en este caso general, mediante el mtodo conocido como de coeficientes indeterminados.

40

Coeficientes indeterminados
Simplemente haremos una conjetura sobre la forma de la posible solucin particular a partir de la g(x) que deber ser un polinomio, seno o coseno, exponencial o combinacin lineal de todas ellas... Gracias a que las derivadas de las combinaciones lineales de estas funciones vuelven a ser ellas mismas, parece razonable que busquemos soluciones particulares de la misma forma... Vamos a ilustrar la idea con algunos ejemplos
41

Resolver y"+4 y '2 y = 2 x 3 x + 6 Solucin: Ya sabemos cmo obtener una solucin yc de la ecuacin homognea asociada. Ahora, queremos hallar yp. Como el lado derecho de la ED es un polinomio, 2 supondremos y p = Ax + Bx + C , entonces, tras sustituir: y p ' = 2 Ax + B, y p " = 2 A
2

2A + 8Ax + 4B 2Ax2 2Bx 2C = 2x2 3x + 6

2 A = 2 , 8 A 2 B = 3 , 2 A + 4 B 2C = 6 A = 1, B = 5/2, C = 9

5 yp = x x 9 42 2
2

Hallar una solucin particular de

y" y '+ y = 2 sen(3x)

Solucin: Probemos yp = A cos(3x) + B sen(3x) Tras sustituir,
(8 A 3B) cos(3 x) + (3 A 8 B ) sin(3 x) = 2 sin(3 x)

Luego

A = 6/73, B = 16/73
16 6 y p = cos(3x) sen(3x) 73 73
43

Resolver Solucin:

y"2 y '3 y = 4 x 5 + 6 xe2 x yc = c1e x + c2e3 x

2x
Solucin homognea

Pensando en el principio de superposicin:

Probemos y p = Ax + B + Cxe + Ee Tras sustituir,

= 4 x 5 + 6 xe2 x

2x

3 Ax 2 A 3B 3Cxe2 x + (2C 3E )e2 x

Luego

A = 4/3, B = 23/9, C = 2, E = 4/3 4 23 4 2x 2x y p = x + 2 xe e 3 9 3

y = c1e
x

4 2x 4 23 + c2e x + 2 x + e 3 3 9
3x

44

Determinar una yp de

y"5 y '+4 y = 8e

Solucin: Probemos: yp = Aex Tras sustituir: 0 = 8ex (conjetura incorrecta)

El problema est en que la funcin complementaria es: Y la suposicin ya est presente en yc.

yc = c1e + c2 e
x

4x

Probemos como alternativa: yp = Axex. Tras sustituir: -3Aex = 8ex Entonces: A = -8/3, yp = (8/3)xe2x
45

 Si ninguna funcin en la supuesta yp es parte de yc

En la siguiente tabla se muestran soluciones particulares de prueba.

g ( x)
1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 1(una constante)

Forma de

yp

5x + 7 3x 2 2 x3 x + 1

A Ax + B Ax 2 + Bx + C Ax3 + Bx 2 + Cx + E
A cos 4 x + B sen 4 x A cos 4 x + B sen 4 x

sen 4 x

cos 4 x e5 x (9 x 2)e5 x x 2 e5 x
e3 x sen 4 x
5 x 2 sen 4 x

Ae5 x ( Ax + B)e5 x ( Ax 2 + Bx + C )e5 x

Ae3 x cos 4 x + Be3 x sen 4 x
( Ax 2 + Bx + C ) cos 4 x + ( Ex 2 + Fx + G) sen 4 x
( Ax + B)e3 x cos 4 x + (Cx + E )e3 x sen 4 x

xe3 x cos 4 x

46

Hallar la forma de yp de (a) y"8 y '+25 y = 5 x3e x 7e x Solucin: 3 x g ( x ) = ( 5 x 7 ) e Tenemos que y probamos con

y p = ( Ax3 + Bx 2 + Cx + E )e x
No hay duplicacin entre los trminos yp e yc (b) y + 4y = x cos x Solucin: Probamos con x p = ( Ax + B) cos x + (Cx + E ) sin x Tampoco hay duplicidad entre los trminos yp y yc .
47

Hallar la forma de yp de y 9 y + 14 y = 3 x 2 5sen2 x + 7 xe 6 x Solucin: 2 Para 3x2: y p1 = Ax + Bx + C Para -5 sen 2x: Para 7xe6x:

y p2 = E cos 2 x + Fsen2 x

y p3 = (Gx + H )e6 x

Ningn trmino de y p = y p1 + y p2 + y p3 duplica un trmino de yc

48

As que la regla formal en este caso es que la solucin particular es una combinacin lineal de las funciones linealmente independientes que se generan mediante diferenciaciones repetidas de g(x). Y cul es la regla si la solucin particular as propuesta es tambin una solucin de la ecuacin homognea asociada? Si alguna yp contiene trminos que duplican los trminos de yc, entonces esa yp se debe multiplicar por xn, donde n es el entero positivo ms pequeo que elimina esa duplicacin.
49

Resolver Solucin:

y"+ y = 4 x + 10 senx, y ( ) = 0, y ' ( ) = 2

yc = c1 cos x + c2 senx

Primero probamos: yp = Ax + B + C cos x + E sen x Pero hay una duplicacin. Entonces probamos con yp = Ax + B + Cx cos x + Ex sen x Tras sustituir y simplificar, A = 4, B = 0, C = -5, E = 0 Luego y = c1 cos x + c2 sen x + 4x 5x cos x Como y() = 0, y() = 2, tenemos y = 9 cos x + 7 sen x + 4x 5x cos x

50

2 3x y " 6 y ' + 9 y = 6 x + 2 12 e Resolver

Solucin: yc = c1e3x + c2xe3x

2 3x yp =  Ax + Bx + C + Ee  
N y p1 y p2

Este trmino est duplicado, aparece ya en yc.

Debemos probar con:

2 2 3x yp =  Ax + Bx + C + Ex e   

y p1 y p2

Tras sustituir y simplificar, A = 2/3, B = 8/9, C = 2/3, E = -6 Luego 2 2 8 2 3x 3x 2 3x y = c1e + c2 xe + x + x + 6 x e 3 9 3

51

Resolver

y + y" = e cos x
x

Solucin: m3 + m2 = 0, m = 0, 0, -1 yc = c1+ c2x + c3e-x Probamos como solucin particular: yp = Aex cos x + Bex sen x Tras sustituir y simplificar, A = -1/10, B = 1/5 Luego
1 x 1 x y = yc + y p = c1 + c2 x + c3e e cos x + e senx 10 5
x
52

Hallar la forma de yp de y

( 4)

+ y = 1 x e

2 x

Solucin: yc = c1+ c2x + c3x2 + c4e-x

2 x x x y = A + Bx e + Cxe + Ee Prueba: p N  
y p1 y p2

Como aparece repetido en la solucin homognea, necesitaremos multiplicar A por x3 y (Bx2e-x + Cxe-x + Ee-x) por x. Prueba ahora:

yp = N Ax +  Bx e + Cx e + Exe    

3 y p1 y p2
53

3 x

2 x

Mtodo del anulador

Sigue los apuntes de Jose Olarrea.

54

Mtodo de variacin de parmetros

a2 ( x ) y + a1 ( x ) y + a0 ( x ) y = g ( x )

y + P ( x ) y + Q ( x ) y = f ( x )
donde P(x), Q(x) y f(x) son continuas en I. Conocidas y1(x) e y2(x) soluciones l. i. de la ec. homognea asociada, probaremos como solucin particular:

y p = u1 ( x) y1 ( x) + u2 ( x) y2 ( x)

55

y p = u1 ( x) y1 ( x) + u2 ( x) y2 ( x)
Sustituimos yp, yp en la EDO:
+ P ( x) yp + Q( x) y p yp
0 0

+ Py1 + Qy1 ] + u2 [ y2 + Py2 + Qy2 ] = u1[ y1

+ u1 y1 + y2u 2 + u 2 y2 + P[ y1u1 + y2u 2 ] + 2 y1 u1 + 2 y2 u2 + y1u1

d d ] + [ y2u2 ] + P[ y1u1 + y2 u 2 ] + y1 u1 + y2 u2 = [ y1u1 dx dx d + y2 u 2 ] + P[ y1u1 + y2 u 2 ] + y1 u1 + y2 u2 = f ( x) = [ y1u1 dx
56

d + y 2u 2 ] + P[ y1u1 + y2u2 ] + y1 u1 + y2 u2 = f ( x) [ y1u1 dx

Necesitaremos dos ecuaciones para encontrar valores de u1 y u1. Exijamos que: y1u1 + y2u2 = 0, para obtener una ecuacin adicional y de paso que la EDO se reduzca a: y1u1 + y2u2 = f(x). De modo que nos queda el sistema de ecuaciones: y1u1 + y2u2 = 0 y1u1 + y2u2 = f(x)

57

Expresado en trminos de determinantes

W1 y2 f ( x ) y = u1 = W W
donde

W2 y1 f ( x) = u2 = W W

y1 W= y1

y2 0 , W1 = y2 f ( x)

y2 y1 , W2 = y2 y1

0 f ( x)

De donde encontraremos, por integracin, las soluciones.

58

Resolver

y"4 y '+4 y = ( x + 1)e

2x

Solucin: m2 4m + 4 = 0, m = 2 (cero doble) y1 = e2x, y2 = xe2x,

W (e 2 x

2x e , xe2 x ) = 2e 2 x

xe2 x 4x = e 0 2x 2x 2 xe + e
e2 x 2e 2 x

Como f(x) = (x + 1)e2x, entonces:

W1 = 0 ( x + 1)e 2 x xe2 x 2 xe2 x = ( x + 1) xe
4x

, W2 =

0 ( x + 1)e 2 x

= ( x + 1)e 4 x

W1 y2 f ( x ) = u1 = W W ( x + 1) xe = u1 e4 x
4x 2

W2 y1 f ( x) = u2 = W W
4x

( x + 1)e = = x x , u2 e4 x

= x +1
59

 = x x , u1
2

= x +1 u2

Luego u1 = (-1/3)x3 x2, u2 = x2 + x

Recordemos que:

y p = u1 ( x) y1 ( x) + u2 ( x) y2 ( x)

y1 = e2x, y2 = xe2x
1 3 1 2 2x 1 2 1 3 2x 1 2 2x 2x x p = x x e + x + x xe = x e + x e 2 6 2 3 2

1 3 2x 1 2 2x y = yc + y p = c1e + c2 xe + x e + x e 6 2
2x 2x

60

Resolver 4 y"+36 y = csc 3 x Solucin: y + 9y = (1/4) csc 3x m2 + 9 = 0, m = 3i, -3i y1 = cos 3x, y2 = sin 3x, f(x) = (1/4) csc(3x) Como

cos 3 x sin 3 x =3 W (cos 3 x , sin 3 x) = 3 sin 3 x 3 cos 3 x

0 sin 3 x cos 3 x 0 1 1 cos 3 x W1 = = , W2 = = 4 4 sin 3 x 3 sin 3 x 1/4 csc 3 x 1/4 csc 3 x 3 cos 3 x

61

1 W1 = u1 = W 12

W2 1 cos 3x = = u2 W 12 sen3x
u 2 = 1/ 36 ln | sen3 x |

Entonces

u1 = 1/12 x,

1 1 y p = x cos 3x + ( sen3x) ln | sen3x | 12 36

1 1 y = yc + y p = c1 cos 3x + c2 sen3x x cos 3x + ( sen3x) ln | sen3x | 12 36

62

Resolver Solucin: m2 1 = 0, m = 1, -1 y1 = ex, y2 = e-x, f(x) = 1/x, y W(ex, e-x) = -2 Luego 1 x e t e x (1 / x )

2 t x t x 1 e e (1 / x ) , u2 = u2 = dt x 0 2 2 t = u1 , u1 = 2 x 0 dt

1 y" y = x

1 x x e t 1 x x et yp = e dt e dt x0 t 2 x0 t 2
t t x x e e 1 1 y = yc + y p = c1e x + e x dt e x dt x0 t 2 x0 t 2
63

Ecuaciones de orden superior

Para las EDs de n-simo orden de la forma

y ( n ) + Pn1 ( x) y ( n1) + " + P 1 ( x ) y + P 0 ( x) y = f ( x)

tomamos yp = u1y1 + u2y2 + + unyn, donde yi , i = 1, 2, , n, son la familia de soluciones independientes que forman yc. As:
Suposiciones para simplificar la EDO:

+ y 2u 2 + " + ynu n =0 y1u1

+ y2 u2 + " + yn un =0 y1u1 # #
( n 1)

y1

( n 1)

+ y2 u1

+ " + yn u2

( n 1)

= f ( x) un

Que nos lleva a las ecuaciones solucin uk = Wk/W con k = 1, 2, , n. Donde W es el wronskiano de la y's y Wk es el determinante que se obtiene de sustituir en W la k-sima columna por (0, 0,..., f(x)).
64

Ecuacin de Cauchy-Euler
Forma de ecuacin de Cauchy-Euler
n 1 n d y d y dy n n 1 an x + an1x + " + a1x + a0 y = g ( x) n n 1 dx dx dx

Mtodo de solucin
Probamos y(x) = xm, donde debemos determinar m, para resolver la ecuacin homognea asociada: Observa que:
k d y k mk k = ak x m(m 1)(m 2)"(m k + 1) x ak x k dx m = ak m(m 1)(m 2)"(m k + 1) x

(an m(m 1)(m 2)" (m n + 1) + ... + a1m + a0 )x m = 0

65

Ecuacin auxiliar

2 d y dy 2 ax + bx + cy = g ( x) 2 dx dx

Para n = 2, y = xm, tenemos (am(m 1) + bm + c)xm = 0, o am2 + (b a)m + c = 0 Caso 1: Races reales y distintas

y = c1 x + c2 x
m1

m2

Observa que tenemos que ax2 es igual a cero en x = 0. Para asegurar existencia y unicidad, tomaremos I = (0, ).

Resolver Solucin: Tenemos a = 1, b = -2 , c = -4 m2 3m 4 = 0, m = -1, 4, y = c1x-1 + c2x4

2 d y dy 2 x 2x 4 y = 0 2 dx dx

66

Caso 2: Races reales repetidas Dedujimos y2 = x ln x Luego m1 m1

m1

y = c1 x + c2 x ln x

2 dy d y 2 Resolver 4 x 2 + 8 x + y = 0 dx dx

Solucin: Tenemos a = 4, b = 8, c = 1 4m2 + 4m + 1 = 0, m = - , -

y = c1x
1/ 2

+ c2 x

1/ 2

ln x
67

Caso 3: Races complejas conjugadas

Orden superior: multiplicidad k

x , x ln x , x (ln x) , " , x (ln x) k 1

m1 m1 m1 2 m1

Caso 3: races complejas conjugadas m1 = + i, m2 = i, y = C1x( + i) + C2x( - i) Como xi = (eln x)i = ei ln x = cos( ln x) + i sen( ln x) x-i = cos ( ln x) i sen ( ln x) Luego y = c1x cos( ln x) + c2x sen( ln x) = x [c1 cos( ln x) + c2 sen( ln x)]
68

Resolver Solucin:

1 4 x y + 17 y = 0, y (1) = 1, y ' (1) = 2

2

Tenemos a = 4, b = 0 , c = 17 4m2 4m + 17 = 0, m = + 2i

y = x1/ 2 [c1 cos(2 ln x) + c2 sin( 2 ln x)]

Aplicando y(1) = -1, y(1) = 0, tenemos que c1 = -1, c2 = 0, 1/2

y = x cos(2 ln x)

69

Resolver Solucin: Sea y = xm,

3 2 d y dy d y 2 3 + 5x + 7x + 8y = 0 x 3 2 dx dx dx

dy m1 d y = mx , 2 = m(m 1) x m2 , dx dx d3y m3 = m ( m 1 )( m 2 ) x 3 dx

Luego tenemos xm(m + 2)(m2 + 4) = 0 m = -2, m = 2i, m = -2i y = c1x-2 + c2 cos(2 ln x) + c3 sin(2 ln x)
70

Resolver x 2 y"3xy '+3 y = 2 x 4e x Solucin: Tenemos (m 1)(m 3) = 0, m = 1, 3 yc = c1x + c2x3 Usando variacin de parmetros, yp = u1y1 + u2y2, donde y1 = x, y2 = x3 Escribimos la ED como

3 3 2 x y y + 2 y = 2x e x x

Luego P(x) = -3/x, Q(x) = 3/x2, f(x) = 2x2ex

71

As

W=

x3
2

1 3x

= 2x ,
3

0 W1 = 2 x 2e x

x 0 x3 5 x 3 x = 2 x e , W = = 2 x e 2 2 x 2 1 2x e 3x

Hallamos

5 x 2 x 5e x x e 2 2 x x = u1 = x e , u = = e 2 3 2x 2 x3 x 2 x x x u = e u1 = x e + 2 xe 2e , 2

y p = u1 y1 + u2 y2 = ( x 2e x + 2 xe x 2e x ) x + e x x3 = 2 x 2e x 2 xe x y = yc + y p = c1x + c2 x + 2 x e 2 xe
3 2 x x
72

Una ecuacin de Cauchy-Euler siempre se puede escribir como un lineal de coeficientes constantes haciendo el cambio de variable: x = et. Por ejemplo: Resuelve as:

x y xy + y = ln x
2

x = et t = ln x
dy dy dt 1 dy = = dx dt dx x dt d 2 y d 1 dy 1 dy 1 d dy 1 dy 1 d dy = + = 2 + = = 2 2 dx dx x dt x dt x dx dt x dt x dt dx 1 dy 1 d 1 dy 1 d 2 y dy = 2 2 + 2 x dt x dt x dt x dt dt
73

x 2 y xy + y = ln x
d2y dy 2 + y =t 2 dt dt

y = c1e + c2te + 2 + t
t t

y = c1 x + c2 x ln x + 2 + ln x
74

Unos ejemplos de ecuaciones no lineales

Resolver y" = 2 x( y ' ) Solucin: Esta ecuacin no lineal carece de trmino en y. Sea u(x) = y, entonces du/dx = y, du du 1 2 2 = 2 xu 2 u = x + c = 2 x dx 1 2 dx u
2

1 dy = 2 2 x + c1 Como u-1 = 1/y, dx dx 1 1 x Entonces, y = x 2 + c 2 = c tan c + c2 1 1 1

(Se escribe en esta forma solo por conveniencia para luego integrar)

75

Resolver yy" = ( y ' ) Solucin: Esta ecuacin no lineal carece de trmino en x. Sea u(x) = y, entonces y = du/dx = (du/dy)(dy/dx) = u du/dy
2

du 2 y u = u o dy

du dy = u y
c1

ln|u| = ln|y| + c1, u = c2y (donde c2 = e Como u = dy/dx = c2y, dy/y = c2 dx ln|y| = c2x + c3,

y = c4e

c2 x

76

 Supongamos que existe solucin para:

y = x + y y 2 , y (0) = 1 , y(0) = 1

Si adems suponemos que y(x) admite desarrollo en serie de Taylor centrado en 0:

y(0) y(0) 2 y(0) 3 y ( 4 ) (0) 4 y ( x ) = y ( 0) + x+ x + x + x +" 1! 2! 3! 4!

Como y(0) = -1, y(0) = 1, de la ED original: y(0) = 0 + y(0) y(0)2 = 2. Derivando sucesivamente la ED original:
d y( x) = ( x + y y 2 ) = 1 + y 2 yy dx
77

d y ( x) = (1 + y 2 yy) = y 2 yy 2( y)2 dx
( 4)

... podemos utilizar el mismo mtodo para obtener y(3)(0) = 4, y(4)(0) = 8, etc. Y encontrar una aproximacin en Taylor de la solucin:

2 3 1 4 y ( x) = 1 + x x + x x + " 3 3
2
78

Una ltima observacin: La ED de este ejemplo: 2 y = x + y y , y (0) = 1 , y(0) = 1 es equivalente (mediante cambio de variable) al sistema de ecuaciones diferenciales: dy = u dx du 2 = x+ y y dx y (0) = 1, u (0) = 1
79