Ecuaciones diferenciales

[Ecuaciones de primer orden] [Ecuaciones de segundo orden] [Operador D] [Sistemas de ecuaciones] [Teora de la estabilidad] [Problema de contorno de Sturm - Liouville] [Ecuaciones en derivadas parciales] [Funciones de Legendre] [Funciones de Bessel] Orden de una ecuacion diferencial Orden de la derivada mxima que aparece

La solucin general de una ecuacin diferencial de orden n posee n constantes arbitrarias Grado de una ecuacin diferencial Exponente al que est elevado la derivada de orden mximo

La solucin general de una ecuacin diferencial de orden n contiene n constantes arbitrarias (y se debern aplicar n condiciones para obtener una solucin particular)

Ecuaciones diferenciales ordinarias de primer orden (y grado 1):

y = f (x, y) siendo y= dy / dx Variables separadas y = f (x) g (y) Lo que depende de x se lleva a un miembro y lo que depende de y al otro Homogneas y = f (y / x) Cambio u = y / x Se llega a una ecuacin en variables separadas Reducibles a homogneas y = f ( (a x + b y + c) / (d x + e y + f) ) Se calcula el punto de interseccin entre las rectas: ax+by+c=0 dx+ey+f=0 Cambio: x = xo + u Si se cortan en el punto P (xo, yo) y = yo + v Se llega a una ecuacin homognea Si resultan paralelas: Lineales Cambio: z = ax + by ( z = d x + ey) y + p (x) y = q (x) Se multiplica por el factor integrante r (x) tal que r (x) [ y + p (x) y ] = r (x) q (x) = d [ r (x) y ] / dx

Bernoulli

y = a(x) y + b (x) yp Mediante el cambio u = y1-p, se obtiene una ecuacin lineal

Ricatti

y = a(x) y + b (x) y2 + c (x) Cambio: y = y1 + u, donde y1 es una solucin particular conocida

Exactas

M (x, y) + N (x, y) y = 0 Es exacta si se verifica que M (x , y) / y = (x , y) / x La solucin de la ecuacin es F (x, y) = cte, donde F (x, y) es una funcin tal que F (x , y) / x = M (x, y) F (x , y) / y = N (x, y)

No exactas. Factor integrante

Multiplicamos la ecuacin M (x, y) + N (x, y) y = 0 por (x, y) de forma que la ecuacin resultante sea diferencial exacta. Cuando ( M / y - / x ) / N es funcin de x (x) (x) = exp { [ ( M / y - / x ) / N ] dx } Cuando ( / x - / y) / M es funcin de y (y) (x) = exp { [ ( / x - / y ) / M ] dy }

Cuando ( / x - / y ) / (x M - y N) es funcin de (x . y) (x . y) (x . y) = exp { [ ( / x - / y ) / (x M - y N) ] d (x .y) } Cuando ( / x - / y ) / (M - N) es funcin de (x + y) (x + y) (x + y) = exp { [ ( / x - / y ) / (M - N) ] d (x + y) } Cuando ( / x - / y ) / (n xm yn-1 M - m xm-1 yn N) es funcin de (xm . yn) (xm . yn) (xm . yn) = exp { [ ( / x - / y ) / (n xm yn-1 M - m xm-1 yn N) ] d (xm . yn) }

Ecuaciones diferenciales ordinarias de primer orden de grado mayor que 1

Llamamos y = p Ecuaciones resolubles en Cuando podemos despejar la y en funcin de x y de y. y y = f (x, p) Se deriva la ecuacin respecto de x Ecuaciones resolubles en Cuando podemos despejar la x en funcin de y y de y. x x = f (y, p)

Se deriva la ecuacin respecto de y Ecuaciones resolubles en Cuando tenemos un polinomio de grado n en p. p Ecuacin de Lagrange - D y = x f (p) + g (p) Alembert Se deriva la ecuacin respecto de x. Resulta una ecuacin lineal donde la variable dependiente es la p y x la independiente. Ecuaciones de Clairaut y = x p + g (p) Solucin general: y = x C + g (C), donde C es una constante. Solucin singular: x = - g(p) Aplicaciones de las ecuaciones diferenciales de primer orden Trayectorias ortogonales Son las curvas que se intersecan formando un ngulo recto. Si la familia de curvas tiene por ecuacin F (x, y', y) = 0, la ecuacin diferencial de las trayectorias ortogonales a ella es otra familia de la forma F (x, - 1/ y' , y) = 0 Un material radiactivo se desintegra a una razn proporcional a la cantidad presente. d N / dt = - k N ==> N (t) = No exp (- k t)

Material radiactivo

Si la rapidez de multiplicacin es proporcional al nmero de bacterias presentes en Cultivo de bacterias cada instante. d N / dt = k N ==> N (t) = No exp (k t) La velocidad a la que se enfra una sustancia al aire libre es proporcional a la Ley de enfriamiento diferencia de temperaturas de la sustancia y del aire. de Newton d T / dt = - k (T - Ta) ==> T (t) = Ta + (To - Ta) exp (- k t) donde To es la temperatura inicial y Ta la temperatura del aire que le rodea.

Ecuaciones diferenciales ordinarias lineales de segundo orden: a (x) y + b (x) y + c (x) y = r (x)
La solucin general de la ecuacin completa es la suma de la solucin general de la ecuacin homognea [ a (x) y + b (x) y + c (x) y = 0 ] ms una solucin particular de la ecuacin completa [ a (x) y + b (x) y + c (x) y = r (x) ] y = yh + yp La solucin general de la homognea es la que contiene las constantes arbitrarias. Es una combinacin lineal de soluciones linealmente independientes (y1 e y2) de yh la ecuacin homognea Dependencia e El wronsquiano es un determinante donde en la primera fila colocamos las independencia lineal: el funciones y1 e y2 y en la segunda fila sus derivadas y1' e y2'. wronsquiano W (y1, y2) = det [ [y1, y2], [y1', y2'] ] = y1. y2' - y1'. y2

Si las soluciones son linealmente independientes deber ser distinto de cero. Solucin de la parte homognea Ecuaciones diferenciales ordinarias lineales de segundo orden de coeficientes constantes: a y + b y + c y = 0 Suponemos la solucin y = emx de la forma:
2 Llegamos a: a m + b m + c = 0

b2

Dos soluciones reales distintas (m1 y m2) + 4 a c > 0 Solucin: y = C1 exp (m1x) + C2 exp (m2x) Solucin real doble (m) Solucin: y = C1 emx + C2 x emx Si hubiera sido triple: Solucin: y = C1 emx + C2 x emx + C3 x2 emx

b2 + 4 a c = 0

b2

Soluciones complejas conjugadas: m = i + 4 a c < 0 Solucin: y = e x [ C1 cos ( x) + C2 sen ( x) ]

Ecuaciones diferenciales ordinarias lineales de segundo orden de coeficientes variables. Ecuaciones de Euler: 2 y + b x y + c y = 0 ax Suponemos la solucin y = xm de la forma:
m m Soluciones reales: m y = C1 x + C2 x m

Solucin doble: m

y = C1 xm + C2 (ln x) xm

Races complejas y = x [ C1 cos ( ln x) + C2 sen ( ln x) ] conjugadas: m = i Solucin de la parte no homognea A ojo Mtodo de los coeficientes indeterminados Podemos obtener una solucin particular de la parte no homognea sin ms que probar a "ojo" soluciones y comprobar si verifican o no la ecuacin diferencial.

Depende de la forma que tenga r (x)

yp (x) = xs [ ao + a1 x + a2 x2 + ... + an xn] Polinomio de grado n: r donde s es el mnimo entero (desde s = 0) que debe tomar para que no coincida (x) = Pn (x) con las soluciones de la homognea. r (x) = e x Pn (x) yp (x) = xs e x [ ao + a1 x + a2 x2 + ... + an xn]

r (x) = e

Pn (x) cos ( x)

yp (x) = xs e x [ (ao + a1 x + a2 x2 + ... + an xn) sen ( x) + (bo + b1 x + b2 x2 + ... + bn xn) cos ( x) ] yp (x) = xs e x [ (ao + a1 x + a2 x2 + ... + an xn) sen ( x) + (bo + b1 x + b2 x2 + ... + bn xn) cos ( x) ] yp = y1 u + y2 v donde y1 e y2 son dos soluciones de la homognea linealmente independientes (La solucin general de la parte homognea es yh (t) = C1 y1 (t) + C2 y2 (t), por el mtodo de variacin de los parmetros sustituimos C1 por C1(t) = u, C2 por C2(t) = v, as que suponemos la solucin de la forma y (t) = C1 (t) y1 (t) + C2 (t) y2 (t). Podemos calcular los coeficientes C1(t), C2(t), ... sustituyendo en la ecuacin original) u = [ - r (x) y2 / W (y1, y2) ] dx v = [ r (x) y1 / W (y1, y2) ] dx

r (x) = e x Pn (x) sen ( x) Mtodo de variacin de los parmetros

y = u1 y1 + u2 y2 + u3 y3 ; ui = [ r(x) Wi (x) / W (x) ] dx ; Wi sustituimos la Orden mayor (o igual) p a tres) columna i de W por 0, 0 ... 1 Reduccin de orden de una ecuacin diferencial de segundo orden homognea y'' + p (x) y' + q (x) y = Reducimos el orden de la ecuacin anterior mediante el cambio y = y1 u (x) 0 donde y1 es una solucin particular que verifica la ecuacin.

Operador D
Si D representa el operador derivada, D x = x ' = d x / d t , 1 / D se define como el operador inverso de D: (1 / D) f (x) = f (x) d x 1. Exponencial. Una solucin particular de la ecuacin f (D) y = A eax est dada por yp = [A / f (a)] eax (si f (a) 0) Si f (a) = 0, tendremos en cuenta que [1 / (D-a)m] eax = [xm eax ] / m!

2. Polinomio. Una solucin particular de la ecuacin f (D) y = A xm est dada por yp = [A / an] [1 + g (D)]-1 = [A / an] {1 - g (D) + [g (D)]2 - [g (D)]3 + ... } xn Algunos desarrollos en serie interesantes: 1 / (1 + x)2 = 1 - 2x + 3x2 - 4x3 + 5x4 - 6x5 + ... 1 / (1 - x)2 = 1 + 2x + 3x2 + 4x3 + 5x4 + 6x5 + ...

1 / (1 + x) = 1 - x + x2 - x3 + x4 - x5 + ... 1 / (1 - x) = 1 + x + x2 + x3 + x4 + x5 + ... 3. Polinomio por exponencial: [1 / f (D)] f (x) eax = eax [1 / f (D+a)] f (x) 4. Funcin trigonomtrica: Para buscar una solucin particular de la ecuacin f (D) y = A cos (a x) A sen (a x); si f (D) es un polinomio, hacemos el cambio D2 = - a2 y reducimos f (D) a un operador lineal en D de la forma D +

Sistemas de ecuaciones diferenciales

Consideremos el sistema lineal de ecuaciones diferenciales no homogneo: x ' (t) = P (t) x (t) + b (t)., donde x ' (t), x (t) y b (t) son vectores columna y P (t) es una matriz. Si b (t) = 0, el sistema es homogneo. Si adems P (t) = A (matriz de coeficientes constantes) el sistema queda, x ' (t) = A x (t). Obtenemos los valores i y vectores propios i de la matriz A. Solucin de la parte homognea: x ' (t) = A x (t) 1. Caso diagonalizable. Si para = 1 obtenemos el vector propio 1 (vector columna); para = 2 obtenemos el vector 2 ... Podemos construir soluciones de la homognea: x1 (t) = 1 exp (1t) ; x2 (t) = 2 exp (2t) ... la solucin la escribimos como combinacin lineal: x (t) = C1 x1 (t) + C2 x2 (t) + ... 2. Caso no diagonalizable. - Supongamos que obtenemos un valor propio (doble) 1al que slo se asocia un vector propio 1: x1 (t) = 1 exp (1t) una segunda solucin la construimos como: x2 (t) = t 1 exp (1t) + exp (1t) donde podemos obtener a partir de: (A - 1I) = 1 La solucin general la construimos como combinacin lineal: x (t) = C1 x1 (t) + C2 x2 (t) + ... 1 exp (1t)

- Supongamos que obtenemos un valor propio (triple) 1al que slo se asocia un vector propio 1: x1 (t) = una segunda solucin la construimos como antes: x2 (t) = t 1 exp (1t) + exp (1t) donde podemos obtener a partir de: (A - 1I) = 1 y la tercera solucin: x3 (t) = (t2 / 2!) 1 exp (1t) + t exp (1t) + exp (1t) donde el mismo que

antes y lo obtenemos a partir de: (A - 1I) = La solucin general la construimos como combinacin lineal: x (t) = C1 x1 (t) + C2 x2 (t) + C3 x3 (t) + ... 3. Races complejas (conjugadas): Sean = + i; = a + b i , los valores y vectores propios respectivamente. x (t) = C1 x1 (t) + C2x2 (t) donde x1 (t) = exp ( t) [a cos ( t) - b sen ( t)] y x2 (t) = exp ( t) [a sen ( t) + b cos ( t)] Solucin de la parte no homognea: x ' (t) = P (t) x (t) + b (t)

Mtodo de variacin de los parmetros: Resolvemos la parte homognea, obteniendo la solucin como: x (t) = C1 x1 (t) + C2 x2 (t) + ..., por el mtodo de variacin de los parmetros sustituimos C1 por C1(t), C2 por C2(t), ..., as que suponemos la solucin de la forma x (t) = C1 (t) x1 (t) + C2 (t) x2 (t) + ... Podemos calcular los coeficientes C1(t), C2(t), ... sustituyendo en el sistema original: x ' (t) = A x (t) + b (t) Si P ( t ) = A (diagonalizable). Si en el sistema x ' (t) = A x (t) + b (t) hacemos el cambio x (t) = T y (t) donde T es una matriz regular cuyas columnas son los vectores propios de A, puede transformarse en y ' (t) = D y (t) + T -1b (t) donde D es la matriz diagonal (cuyos elementos son los valores propios, colocados en el mismo orden en que se situaron los vectores propios en la matriz T). Tambin podemos utilizar el mtodo de los coeficientes indeterminados. Exponencial de una matriz exp (A t) = eAt = I + A t + A2 t2 / 2! + A3 t3 / 3! + ...

Teora de la estabilidad
Dado el sistema lineal homogneo dx/dt=ax+by dy/dt=cx+dy con a d - b c 0

el punto x = 0 e y = 0 se llama punto de reposo del sistema o punto singular. Calcularemos los valores propios (1 y 2) asociados a la matriz del sistema anterior. Naturaleza de los puntos I. 1 2 (reales) punto de reposo de estabilidad asinttica => Nodo impropio asintticamente 1 < 0, 2 < 0 estable 1 > 0, 2 > 0 punto de reposo inestable => Nodo impropio inestable 1 > 0, 2 < 0 punto de reposo inestable => Punto de ensilladura inestable II. 1 = 2 (reales) 1 = 2 < 0 punto de reposo de estabilidad asinttica => nodo propio estable 1 = 2 > 0 punto de reposo inestable => nodo propio inestable II. = i (complejas conjugadas) punto de reposo de estabilidad asinttica => Foco (punto espiral) < 0, 0 asintticamente estable

 > 0, 0 = 0, 0

punto de reposo inestable => Foco (punto espiral) inestable punto de reposo estable => Punto centro

Otra manera de clasificar los puntos (sin llegar a calcular los valores propios) A es la matriz de los coeficientes del sistema lineal anterior; tr A = a + d, la traza de la matriz A; det A = a d - b c, el determinante de A = (tr A)2 - 4 det A det A > 0. tr A > 0 => Nodo impropio inestable >0 det A > 0. tr A < 0 => Nodo impropio asintticamente estable det A < 0 => Punto de ensilladura inestable tr A > 0 => manantial (nodo propio inestable) =0 tr A < 0 => sumidero (nodo propio asintticamente estable) tr A = 0 => punto centro (estable) <0 tr A 0 , tr A > 0 => Foco (punto espiral) inestable tr A 0 , tr A < 0 => Foco (punto espiral) asintticamente estable Estabilidad - Si las partes reales de todas las races de la ecuacin caracterstica del sistema son negativas, el punto de reposo del sistema (x = y = 0) es asintticamente estable. Dado el sistema lineal homogneo anterior - Si al menos una raz tiene la parte real positiva, el punto de reposo es inestable. - Si las races son complejas con parte real nula, es estable. Dado el sistema no lineal de ecuaciones diferenciales: d xi / d t = fi (x1, x2, ...) ( i = 1, 2, ... , n), el punto xi = 0 es un punto de reposo del sistema fi (0, 0, ...) = 0. Desarrollando en serie de potencias y quedndonos con trminos lineales: 1. Si las partes reales de todas las races de la ecuacin caracterstica son negativas, las soluciones nulas son asintticamente estables. 2. Si la parte real de al menos una raz es positiva, la solucin nula del sistema es inestable. 3. Si las partes reales de todas las races de la ecuacin caracterstica no son positivas (siendo igual a cero la parte real de al menos una raz), el estudio de la estabilidad segn la primera aproximacin es, en general, imposible (influyen trminos no lineales). Sistemas autnomos x ' = F (x, y) y ' = G (x, y) Son aquellos que "se gobiernan a s mismos"; las funciones F y G no dependen de t, slo de x e y. Los puntos de equilibrio del sistema son las soluciones del sistema F (x, y) =

0 y G (x, y) = 0 x'=ax+by y'=cx+dy donde a = F / x ; b = F / y ; c = G / x ; d = G / y (sustituidos en los puntos de equilibrio) Estabilidad segn Liapunov Sea el sistema x ' = F (x, y) ; y ' = G (x, y) (1) Una funcin E (x, y) definida positiva y tal que d E / dt = ( E / x ) F + ( E / y ) G es semidefinida negativa recibe el nombre de funcin de Lyapunov del sistema (1). Por ejemplo, una funcin de Lyapunov muy empleada es E (x, y) = a x2 + c y2 con a, c > 0. - Si existe una funcin de Lyapunox E (x, y) para el sistema (1) entonces el Pc (0,0) es estable.

Aproximacin lineal

- Y si d E / dt = ( E / x ) F + ( E / y ) G es definida negativa, entonces el Pc (0,0) es asintticamente estable. - Si para el sistema (1) E (x, y) > 0 y d E / dt > 0, el Pc (0,0) es inestable. Clculo variacional queremos hacer extremal la integral (entre x1 y x2) Frmula de Euler - Lagrange Si f = f (x, y) Si f = f (x, y) Si f = f (x, y, y) I [y(x)] = f (x, y, y) dx f / y - d / dx [ f / y] = 0 f / y = cte f/y=0 f - y [ f / y] = 0

Ecuaciones en derivadas parciales

Ec. conduccin del calor: u / t = k 2 u / x2 Lapaciano en polares: Ec. ondas: 2 u / x2 = 2 [2 u / Ec. Laplace: 2 u = 0 t2]

Problema de contorno de Sturm - Liouville y'' + y = 0 con y (0) = y (c) = 0 Solucin (diferente de la trivial): y = C sen (n x /c) donde = n2 2 /c2 Funciones de Legendre Ecuacin diferencial (1 - x2) y'' - 2 x y' + n (n + 1) y = 0

Solucin:

y (x) = C1 Pn (x) + C2 Qn (x) Pn (x) son los polinomios de Legendre P0 (x) = 1 ; P1 (x) = x ; P2 (x) = (3 x2 -1) / 2

donde

; P3 (x) = (5 x3 - 3x) / 2, etc. y Qn (x) son las funciones de Legendre de segunda clase

Frmula de Rodrgues: Frmula de (n+1) Pn+1 (x) (2n+1) x Pn (x) + n Pn-1 (x) = 0 recurrencia Series de polinomios de Legendre Funciones de Bessel Ecuacin de Bessel de orden n 2 x y'' + x y' + (2 x2 - n2) y = 0 0 Solucin: y (x) = C1 Jn ( x) + C2 Yn ( x)

Jn (x) es la funcin de Bessel de primera clase de orden n Y (x) es la funcin de Bessel de segunda clase de orden n (funcin de donde n Neumann) Pgina inicial (antes en http://es.geocities.com/fisicas): http://www.carrascal.net46.net/fisicas/ Esta seccin (desde la pgina inicial): FRMULAS / MATEMTICAS / ECUACIONES DIFERENCIALES Los autores: Mari Paz Hortelano Gmez e Iaki Carrascal Mozo Castrillo de Don Juan. Palencia. (Espaa) Correo electrnico: fisicas@yahoo.es En la red desde el 15/03/1998 - ltimas modificaciones: 01/06/2003 - 27/06/2003 - 22/08/2004 16/09/2004 - 14/04/2011 - 26/05/2011