Documentos de Académico
Documentos de Profesional
Documentos de Cultura
October 3, 2008
1
e-mail: IGNACIO@MAT.UPC.ES
2
e-mail: MATNRR@MAT.UPC.ES
Prefacio
Estos Apuntes de Ecuaciones Diferenciales constituyen una gu´ıa personal a la asignatura de Ecuaciones
Diferenciales que se imparte en la E.T.S.E.T.B. en el curso 1-B de la carrera de Ingenierı́a de Teleco-
municación (Plan de Estudios 1992). Por tanto, en ningún momento pretenden ser una guı́a oficial, ni tan
siquiera una pauta a seguir respecto a como debe ser impartida la asignatura.
Debemos agradecer la colaboración de muchos compañeros que han impartido esta asignatura y que,
además de hacerme valiosas sugerencias, han detectado erratas y errores que han sido ya corregidos (aunque
somos conscientes de que todavı́a pueden quedar otros muchos por detectar). Especialmente nuestro agradec-
imiento a L.L. Andrés Yebra, por permitirnos el uso y transcripción de sus apuntes sobre el tema de la
transformación de Laplace.
i
Contents
ii
2.1 Introducción ............................................................................................................................................... 19
Contents
2.3.1 Dependencia e independencia lineal de funciones. Wronskiano ............................................ 23
3.3.5 Solución del sistema lineal completo. Método de variación de constantes ............................ 42
3.4 Sistemas de ecuaciones diferenciales lineales de primer orden con coeficientes constantes . . . 42
3.4.1 Ideas generales .............................................................................................................................. 42
3.4.2 Estudio del sistema homogéneo (con matriz del sistema diagonalizable) .............................. 43
3.4.3 Estudio del sistema homogéneo (con matriz del sistema no diagonalizable) ......................... 45
Contents
4.3.4 Estabilidad de sistemas lineales completos con coeficientes constantes.............................. 60
5 La Transformación de Laplace 65
6.2.3 Clasificación de las ecuaciones en derivadas parciales de segundo orden lineales ................. 81
Contents
Chapter 1
1.1 Introduccion
En este primer cap´ıtulo se van a considerar las denominadas ecuaciones diferenciales de primer orden
(expresadas en la forma normal).
En primer lugar se efectuará una presentación general del tema que incluye definiciones básicas, ejemplos
clásicos e interpretaciones geométricas. Se introducirán, a continuación, los primeros métodos analı́ticos
de resolución para algunos tipos particulares de ecuaciones de primer orden; analizando, también, algunas
aplicaciones de los casos estudiados, mediante la presentación de modelos matemáticos de ciertos fenómenos.
Seguidamente se estudiarán los teoremas de existencia y unicidad de soluciones y su prolongación analı́tica
y, finalmente, se comentarán los primeros métodos numéricos de resolución.
Deftnición 1 Se denomina ecuación diferencial a una relación entre una función (suficientemente deriv-
able), sus variables y una o varias derivadas sucesivas de la función.
Se denomina ecuación diferencial ordinaria a una ecuación diferencial en la que la función depende sólo
de una variable. En este último caso, se dice que la ecuación está expresada en forma normal o explı́cita sii
la derivada de orden superior aparece despejada como función de todos los demás ingredientes de la ecuación.
En caso contrario se dice que la ecuación está expresada en forma implı́cita 1 .
Dada una ecuación diferencial (ordinaria o no):
1
Ecuaciones Diferenciales. 2
Si y = y(x) indica una función derivable hasta el orden que convenga, una ecuación diferencial ordinaria
de orden n (n ∈ N) en forma implı́cita es una expresión del tipo
Comentario:
• Como ya se anunció en la introducción, en este tema sólo se tratarán las ecuaciones diferenciales
ordinarias de primer orden las cuales, si no se dice lo contrario, se supondrán expresadas en forma
normal.
No obstante, las ecuaciones diferenciales ordinarias de primer orden pueden expresarse también en
forma diferencial
g(x, y)dx + h(x, y)dy = 0
El paso de esta forma a la explı́cita (y recı́procamente) se efectúa simplemente poniendo f (x, y) =
g(x, y)
− .
h(x, y)
Deftnición 2 Dada una ecuación diferencial ordinaria F (x, y(x), y r (x), . . . , y (n) (x)) = 0 (o bien y (n) (x) =
f (x, y(x), yr(x), . . . , y(n−1)(x))):
Comentario:
• Geométricamente hablando, las soluciones de las ecuaciones diferenciales son curvas en R2 . Atendiendo
a la definición dada, si y = φ(x) es una solución de una ecuación, dicha curva es, obviamente, graf φ.
No obstante, la curva en cuestión es, a menudo, difı́cil e incluso imposible de expresar analı́ticamente
en forma expl´ıcita y, por tanto, las soluciones de las ecuaciones diferenciales se presentan con frecuencia
en la forma de funciones definidas impl´ıcitamente, Φ(x, y) = 0,
Ejemplos:
• Ecuación: y rr + 4y = 0.
Solución particular: y = sin 2x − 3 cos 2x.
Solución general: y = C1 sin 2x + C2 cos 2x (C1 , C2 ctes.).
y2.
• Ecuación: y = r
− xy
1
Solución general: xy = ln y + C (C cte.).
1. Se tiene un problema de valor inicial cuando se conocen los valores de la función (variable dependiente)
y de sus derivadas hasta orden n − 1 en un mismo punto.
2. Se tiene un problema de contorno cuando se conocen los valores de la función (variable dependiente)
y/o de sus derivadas (como máximo hasta orden n − 1) en diferentes puntos.
Dar un problema de condiciones iniciales o de contorno para una ecuación diferencial puede permitir
obtener una solución particular de la ecuación.
Toda ecuación diferencial de primer orden y grado 1, expresada en 2forma normal, y r = f (x, y), se puede
interpretar como una expresión que asocia a cada punto (x, y) ∈ R en el dominio de la función f , una
dirección o, más concretamente, la pendiente de una recta: La tangente a la curva solución en el punto (x, y)
en cuestión. De esta manera, una solución de la ecuación, y = φ(x) ó Φ(x, y) = 0, es una curva en R2 , cuya
pendiente en cada punto (x, y) ∈ R2 vale justamente f (x, y).
Es fácil comprender por qué se presentan tan a menudo ecuaciones diferenciales en los problemas de Fı́sica:
df
si y = f (x) es una función que representa una magnitud escalar, entonces su derivada representa la tasa
dx
de cambio de y en relación con x. En cualquier fenómeno natural, las variables que aparecen y sus tasas
de cambio se relacionan entre sı́ según los principios básicos que rigen el proceso y, cuando esta relación se
expresa mediante sı́mbolos matemáticos, el resultado es habitualmente una ecuación diferencial.
Ejemplos:
Deftnición 4 Una ecuación diferencial se dice que es integrable elementalmente sii tiene solución y ésta
es expresable por medio de funciones elementales, o bien por primitivas de éstas que no tienen por que ser
necesariamente funciones elementales 2.
2 Obsérvese, por tanto, que toda ecuación diferencial del tipo y t = f (x), donde f es una función elemental, es integrable
elementalmente
Ecuaciones Diferenciales. 5
En los próximos apartados se van a analizar algunos tipos de ecuaciones diferenciales de primer orden
que pueden ser integradas elementalmente. Salvo en el caso de la ecuación lineal, para la que se hará un
tratamiento más preciso, se considerará siempre que todas las funciones son diferenciables con continuidad
hasta el orden que convenga, por lo que no se efectuarán precisiones en ese sentido.
Deftnición 5 Una ecuación diferencial de variables separadas es una ecuación de primer orden y r = f (x, y)
g(x)
en la que la función f puede expresarse en la forma f (x, y) = g(x)k(y) o bien f (x, y) = (siendo
h(y)
1
h(y) = ).
k(y)
De manera equivalente, es toda ecuación diferencial de primer orden que en forma diferencial se expresa
como
h(y)dy = g(x)dx (1.1)
Resolución:
La manera práctica de proceder consiste en “separar las variables”, escribiendo la ecuación (1.2) en su
forma diferencial (1.1) de la que, integrando ambos miembros, se obtiene la solución (1.3) en la forma
¸ ¸
h(y)dy = g(x)dx
Si se han especificado las condiciones iniciales, y(x0 ) = y0 , es posible obtener la solución particular que
las satisface del siguiente modo:
H(y0) = tt(x0) + C
y eliminando C del sistema formado por esta última ecuación y (1.3), se obtiene
H(y) − H(y0) = tt(x) − tt(x0)
o, lo que es lo mismo, ¸ ¸
y x
h(y)dy = g(x)dx
y0 x0
Ejemplos:
• Véase la colección de problemas.
Ecuaciones Diferenciales. 6
Las ecuaciones lineales constituyen uno de los tipos más importantes de ecuaciones diferenciales.
Deftnición 6 Una ecuación diferencial lineal es una ecuación en la que la derivada de orden superior es
una expresión lineal de la función y sus otras derivadas de orden inferior 3 ; esto es,
dny dn−1y dy
+ f n−1(x) dxn−1 + . . . + f1(x) + f0(x)y + f (x) = 0
dxn
dx
Se denomina ecuación homogénea asociada a la ecuación lineal (que se llama entonces completa) a
dny dn−1y dy
+ fn−1(x) dxn−1 + f0(x)y = 0
dxn + . . . + f1(x)
dx
En este capı́tulo sólo se van a analizar las ecuaciones diferenciales lineales de primer orden:
dy
+ g(x)y = f (x) (1.4)
dx
Comentario:
L(y) = f (x)
Resolución:
Proposición 2 El conjunto de soluciones de la ecuación (1.4) está dado por yP + Ker L, donde yP
es una solución particular cualquiera de la ecuación completa y Ker L es, obviamente, el conjunto de
soluciones de la ecuación homogénea
dy
+ g(x)y = 0 (1.5)
dx
( Dem. ) Considérese la ecuación homogénea (1.5), la cual, asumiendo que y ƒ= 0, se puede escribir
en la forma
yr −g(x)
y =
que muestra claramente que es de variables separadas, luego integrando
¸ ¸
− g(x)dx
ln |y| = − g(x)dx + K ⇒ y = Ce
( Dem. ) Para obtener una solución particular de la ecuación homogénea se seguirá el denominado
método de variación de las constantes (en este caso sólo hay una), el cual permite, realmente, integrar la
ecuación completa, conocida una solución particular de la homogénea. El método consiste en suponer
que la solución de la ecuación completa es de la forma y(x) = h(x)y1 (x), donde y1 (x) es la solución
conocida de la ecuación homogénea. Se obtiene ası́ que
Ejemplos:
En algunos casos un cambio de variable, ya sea de la variable independiente, de la función o de ambas, puede
convertir una ecuación diferencial dada en otra de integración más simple.
Realmente, esta técnica ya ha sido utilizada en el apartado anterior cuando, para integrar la ecuación
lineal completa por el método de variación de las constantes, se ha tomado como nueva función incógnita
h(x) = y(x)/y1(x).
Deftnición 7 Una función f (x, y) es homogénea de grado n sii f (tx, ty) = tn f (x, y), para todos x, y, t
adecuadamente restringidos.
Ejemplos:
Deftnición 8 Una ecuación diferencial homogénea (de primer orden) es aquella en cuya expresión en forma
normal, y r = f (x, y), se tiene que f (x, y) es una función homogénea de grado 0 o, equivalentemente, aquella
que puede expresarse en forma diferencial
Resolución: La resolución de este tipo de ecuaciones pasa por efectuar un cambio de variables que las
convierte en ecuaciones de variables separadas.
En efecto, tomando como punto de partida la ecuación escrita en su forma normal, por ser f (x, y) una
función homogénea de grado 0 (por definición), se tiene que f (tx, ty) = t0 f (x, y) = f (x, y), para todo
y(x)
t. Tomando, en particular, t = 1/x y denominando z(x) = , se tiene que
x
f (x, y) = f (tx, ty) = f (1, y/x)) ≡ f (1, z)
con lo que la ecuación diferencial se expresa como
dy ≡F (z)
= f (1, z)
dx
y, dado que y(x) = z(x)x, aplicando la regla de la cadena se tiene que
dy dz
=
dx x+ z
dx
por lo que, en la nueva variable, la ecuación es
dz dz F (z) − z
x + z = F (z) ⇔ =
dx dx x
que es de variables separadas.
Ejemplos:
Son sendos tipos de ecuaciones diferenciales de primer orden que se resuelven también mediante el método
de cambio de variables. (Véanse los problemas 7 y 3 de la colección).
La primera de ellas aparece relacionada con problemas de dinámica de fluidos, mientras que la segunda
lo hace en relación a cuestiones de sı́ntesis en control óptimo para procesos lineales con coste cuadrático,
métodos de inclusión invariante en problemas de transporte, etc. Esta última constituye el ejemplo más
sencillo, e históricamente el primero, de ecuación no integrable elementalmente.
Como primera aplicación de algunos de los conceptos y procedimientos relativos a ecuaciones diferenciales de
primer orden que se han introducido hasta el momento, se va a considerar el problema de hallar las
trayectorias ortogonales a una familia de curvas dada.
El problema tiene su origen en algunas aplicaciones en las que aparecen dos familias de curvas (planas)
que son mutuamente ortogonales; esto es, cada curva de una de las familias es ortogonal en todos sus puntos
a cada curva de la otra familia. En tales casos, se dice que cada una de ellas es una familia de curvas
ortogonales a la otra.
Un ejemplo lo constituyen las curvas equipotenciales de un campo escalar, que son ortogonales a las l´ıneas
de fuerza de dicho campo (el campo vectorial gradiente del anterior). Este ejemplo se presenta en multitud
de sistemas en Fı́sica (p. ej., campos electrostático, gravitatorio, etc.).
La resolución de este problema es la siguiente:
Proposición 4 La ecuación diferencial de las trayectorias ortogonales a la familia de curvas que satisface
. .
la ecuación F (x, y, y r ) = 0 es F 1 =0.
x, y, − r
y
Como caso particular, si la ecuación diferencial de la familia de curvas está dada en forma explı́cita,
1
yr = f (x, y), la de sus trayectorias ortogonales es yr = − )
f (x, y
( Dem. ) Inmediata, teniendo en cuenta que el que dos curvas sean ortogonales significa que las tangentes
a dichas curvas en los puntos de corte son perpendiculares y, por tanto, si yr(x) es la pendiente de una de
ellas, la de la otra es −1/yr(x).
De esta manera, obtener las trayectorias ortogonales a una familia de curvas de las cuales se conoce su
expresión analı́tica f (x, y, C) = 0, requiere los siguientes pasos:
Ejemplo:
Ecuaciones Diferenciales. 10
• Como ya se vio, la ecuación diferencial de la familia de parábolas que pasan por el origen, y = Cx2 , es
y x
y r = 2 . La de sus trayectorias ortogonales será, por consiguiente y r = − , que es una ecuación de
x 2
2y
x
variables separadas y tiene por solución general y 2 + = C ; esto es, elipses centradas en el origen.
2
El análisis del problema de tasar el crecimiento de una población permite ilustrar las diferentes etapas que
se presentan en el estudio de un problema de Matemática Aplicada.
1. Problema fı́sico: Se trata de obtener una ley que permita predecir el crecimiento de una población p(t)
que var´ıa con el tiempo.
2. Formulación matemática: La primera dificultad que se encuentra al intentar formular matemáticamente
el problema es que una población sólo toma valores enteros y, por lo tanto, considerada como función
del tiempo, es una función discontinua. El problema se solventa observando que, si se trata de una
población elevada, la variación en una unidad es ı́nfima comparada con el número de individuos que
constituye el valor de la población y, por consiguiente, se puede considerar que ésta varı́a continua e
incluso diferenciablemente con el tiempo.
3. Modelo matemático (Primera aproximación): En primera aproximación podrı́a hacerse la hipótesis
de que “el número de individuos que nacen y que mueren por unidad de tiempo (un año, por ejemplo) es
proporcional a la población existente”. Designando por β (tasa de natalidad) y γ (tasa de mortandad)
a las correspondientes constantes de proporcionalidad, se obtiene pues que
∆p
= βp − γp
∆t
que, en forma diferencial, conduce a la ecuación
dp
= αp
dt
donde α = β − γ es la tasa de crecimiento de la población. Esta ecuación es la denominada Ley de
Maltus.
4. Resultados matemáticos: Si se añade la condición inicial de que en el instante t0 la población es p0 , la
correspondiente solución particular se la ecuación es
p = p0eα(t−t0)
que expresa el hecho de que la población crece exponencialmente con el tiempo.
5. Resultados experimentales. Comparación e interpretación: Tomemos el caso de la población humana,
que desde 1960 a 1970 pasó de 3 · 109 a 3, 7 · 109 . Estos datos suponen una tasa de crecimiento que se
calcula del siguiente modo:
p(1970) 1 p(1970)
eα10 =
⇔ α= ln = 0, 0209 ∼ 0, 02
p(1960) 10 p(1960)
con lo cual, tomando t0 = 1970 y p0 = 3, 7 · 109, se tiene
p(t) = 3, 7 · 109e0,02(t−1970)
Comparando los datos obtenidos a partir de esta expresión con los experimentales en los tiempos
recientes, se observa que hay gran concordancia entre ellos, por lo que parece acertado aceptar la
validez de la ley y utilizarla para estimar la población futura.
Sin embargo, aun cuando los datos estimados para un próximo futuro podrı́an ser aceptables, veamos
que sucederı́a a más largo plazo. Con la tasa de crecimiento tomada, el modelo prevee que la población
se dobla cada 35 años; ya que
1
2p = peαT ⇔ T =
ln 2 ∼ 35
α
Ecuaciones Diferenciales. 11
Ası́ pues, la población se multiplica por 1000 (por 1024 exactamente) cada 350 años y por 106 cada
750 años aproximadamente. Esto nos conduce a la intolerable cifra de densidad de población de 30
habitantes por metro cuadrado en el año 2670.
6. Reformulación matemática: El fallo en el modelo puede estar en que no se ha tenido en cuenta que el
espacio disponible es limitado y que cuando ésto ocurre, los individuos han de competir por los recursos
disponibles.
7. Modelo matemático (Segunda aproximación): Para tener en cuenta este hecho, se puede corregir la
ecuación inicial basándonos en la hipótesis de que en la disminución del crecimiento de la población
influye también un factor que es proporcional al número de encuentros entre dos individuos cuyo valor
medio es, a su vez, proporcional a p2 . Con ello se tendrı́a que el crecimiento de la población está regido
por la ecuación
dp
= ap − bp2
dt
que se conoce con el nombre de ley log´ıstica, y en la que a es la denominada tasa de crecimiento natural
en un medio ilimitado.
8. Resultados matemáticos: Integrando esta ecuación (es de variables separadas) con la condición inicial
p(t0) = p0, se tiene
p(t) = ap0
bp0 + (a − bp0)e−a(t−t0)
Una primera consecuencia que se observa es que
ap0 a
lim p(t) = =
t→∞ bp0 b
es decir, independientemente de cual sea la población inicial p0 , con el transcurso del tiempo la
población tiende a estacionarse en el valor lı́mite a/b.
Para la población humana se estima el valor a = 0, 029 y se puede calcular b utilizando la tasa real
de crecimiento en 1970, α = 0, 02, esto es, comparando el modelo descrito mediante la ley de Maltus
(cuyas predicciones para 1970 eran válidas) con el modelo actual se tiene que
dp .
.
. = (a − bp0)p0 = αp0 ⇔ (a − bp0) = α
dt t 0=1970
a −α −12
⇒ b = = 2, 43 · 10
p0
Como comprobación se puede evaluar la población en el año 1960, obteniéndose p(1960) = 3, 003 · 109 .
La población mundial crecerı́a con el transcurso de t pero teniendo como población lı́mite
a 0, 029 = 1, 2 1010
= ·
b 2, 43 · 10 −12
Comentario:
• En ninguno de ambos modelos se han tenido en cuenta otros factores, como: fluctuaciones locales o
globales de las tasas de crecimiento, epidemias, catástrofes naturales, etc.
Si se fija la condición inicial Q(t0 ) = Q0 se obtiene que C = Q0 , esto es, la solución particular
Una de las principales aplicaciones de esta ley es la datación geológica o arqueológica, para las cuales se
emplean elementos de vida media muy larga (como el U 238 con T = 4, 5 · 109 años, el K 40 con T = 1, 4 · 109
años o el Rb87 con T = 6·1010 años). En este sentido, una de las técnicas más fiables y conocidas es la basada
en el C 14 (que tiene una vida media T = 5568 años), que fue desarrollada a finales de los años 40 y principios
de los 50 por William Libby (premio Nobel en 1960) y que permite datar de forma fiable acontecimientos
con una antiguedad de hasta 50000 años.
El método se utiliza para calcular la antiguedad de cualquier objeto de origen orgánico y se basa en las
siguientes leyes fı́sicas: el carbono radiactivo C 14 se produce en la alta atmósfera por acción de los rayos
cósmicos sobre el nitrógeno:
N 14 1 14 1
7 + n0 −→ C6 + p1
Puesto que el carbono radiactivo se descompone, a su vez, de nuevo en nitrógeno,
C14 14 −
6 −→ N7 + e + ν̄e
desde hace muchos milenios se ha alcanzado un estado de equilibrio en la proporción de carbono radiactivo
y no radiactivo (uno de cada 1012 átomos de carbono es radiactivo). Ambos tipos se hallan presentes
en la atmósfera en el dióxido de carbono, perfectamente mezclados por la acción de los vientos. De la
atmósfera, el carbono radiactivo pasa a fijarse en los tejidos de los seres vivos en esa proporción, ya que
las plantas toman dióxido de carbono de la atmósfera durante el proceso de la fotosı́ntesis, de ellas pasa a
los animales vegetarianos y de éstos a los carnı́voros. Mientras todos estos seres permanecen con vida esta
proporción permanece constante, pero al morir dejan de absorber carbono radiactivo y el que contienen sus
tejidos va desintegrándose, con lo que su cantidad va disminuyendo progresivamente. De este modo, si una
muestra de materia orgánica muerta contiene la mitad que la de una viva, se puede afirmar que vivió hace
aproximadamente 5568 años, y ası́ progresivamente.
Para efectuar los cálculos, lo que se mide es el número de desintegraciones por unidad de tiempo y de
materia (p. ej., por minuto y por gramo). En el C14 se tiene K = −1, 2449 · 10−4, entonces, derivando
la ecuación (1.6) se tiene Q̇ (t) = KQ0 eK(t−t0 ) , de donde, para un tiempo fijado t0 resulta Q̇(t0 ) = KQ0 ,
cantidad que se considera constante para la materia orgánica viva. Dividiendo queda
Dada una ecuación diferencial (de primer orden), en las aplicaciones suele interesar determinar el valor de
la solución para algún valor de la variable, conocido el de la solución para otro valor inicial de la variable
independiente. Ello es ası́ porque, habitualmente, la ecuación rige la evolución de un sistema cuyo estado es
conocido en un instante inicial dado t0, y se desea conocerlo en un instante posterior t0 + T .
Tal como ya se ha visto, cuando la ecuación diferencial puede ser integrada elementalmente, a partir de su
solución general y = φ(x, C) se determina la solución particular que satisface la condición inicial y(x0 ) = y0
para, posteriormente, calcular y(x0 + T ).
Todo ello presupone, dado un problema de valor inicial yr = f (x, y), y(x0) = y 0,
Ejemplos:
• La ecuación (y r )2 + y 2 = 0 sólo admite la solución y(x) = 0, por lo que existe una única solución que
pasa por (x0, 0) y ninguna que pase por (x0, y0) con y0 ƒ= 0.
• El problema de valor inicial y r = y 2/3 , y(0) = 0, no tiene solución única, pues por lo menos y1 (x) =
(x/3)3 e y2(x) = 0 son soluciones del problema.
• La solución general de la ecuación xyr = 2y(y − 1) es y(x) = 1
junto con y(x) = 0.
1
− Cx 2
Por cada punto (x0, y0), con x0 ƒ= 0, y0 ƒ= 0, pasa única solución que corresponde al valor
una
. .
1 1
C = 2 1− .
x0 y0
∀ x0 , por cada punto (x0 , 0), pasa la única solución y(x) = 0.
1
.
Por el punto (0, 1) pasan infinitas soluciones, todas de la forma y(x) = 2
1 − Cx
Por los puntos (0, y0 ) (con y0 ƒ= 0, 1) no pasa ninguna solución.
As´ı pues, ante un problema de valor inicial, el procedimiento a seguir habr´ıa de ser:
1. Comprobar que admite una única solución, definida, al menos, en todo el intervalo [x0 , x0 + T ].
2. Si la ecuación no es integrable elementalmente, aproximar el valor de y(x0 +T ) (dada la imposibilidad de
calcularlo exactamente) pues, en general, en las aplicaciones basta con disponer de un valor aproximado
de y(x0 + T ).
En esta sección se aborda el estudio del primer punto, mientras que el del segundo queda para la sección
siguiente.
Teorema 1 (de Picard de existencia y unicidad local): Considérese el problema de valor inicial
Entonces existe una única solución del problema, y(x), definida en un cierto intervalo (x0 − δ, x0 + δ) (con
0 < δ ≤ a).
( Dem. ) En primer lugar, obsérvese que, en virtud de la primera condición, f (x, y) está acotado en D (por
ser D compacto), luego ∃ M > 0 tal que |f (x, y)| ≤ M .
Teniendo ésto en cuenta, la demostración (cuyos detalles se omiten) sigue los siguientes pasos:
dy
ya que, integrando desde x0 a x la ecuación (1.7) escrita en la forma = f (t, y(t)), se obtiene la
dt
ecuación ¸ x
y(x) − y(x0) = f (t, y(t))dt
x0
y como y(x0 ) = y0 , de aquı́ se llega a la ecuación (1.8). Recı́procamente, derivando la ecuación integral
se obtiene y r = f (x, y(x)) y, por otra parte, dicha ecuación, para x = x0 , da y(x0 ) = y0 .
2. Se define la sucesión funcional {yn (x)} (n ∈ {0} ∪ N), definida como
y0(x) = y0
¸ x
y1(x) = y0 + f(t, y0(t))dt
x0
.
..
¸ x
yn+1(x) = y0 + f (t, yn(t))dt
x0
cuyos elementos se denominan iterantes de Picard. Se demuestra que lim {yn (x)} = y(x) , función
n →∞
lı́mite que está definida en el intervalo (x0 − δ, x0 + δ), siendo δ el menor de los números a, b/M .
3. Se prueba que y(x) es solución de la ecuación (1.8).
4. Se prueba que esa es la única solución del problema ya que, si z(x) fuera otra solución, llamando
φ(x) = y(x) − z(x), se tendr´ıa
.¸ x .
. (f(t, y(t))) − f (t, z(t)))dt .
|φ(x)| = |y(x) − z(x)| =
. .
¸ x x0 ¸ x
≤ L |y(t) − z(t)|dt = L φ(t)dt (1.9)
x0 x0
Lema 3 (de Gronwald): Sea φ(x) una función continua no negativa tal que satisface
¸ x
φ(x) ≤ N + M |x − x0 | + L φ(t)dt (1.10)
x0
con N, M ≥ 0, L > 0. Entonces
M. .
φ(x) ≤ N eL(x−x0 ) + eL(x−x0 ) − 1 (1.11)
L
¸ x
( Dem. ) Sea x > x0 (se razona igual si x < x0). Poniendo ψ(x) = φ(t)dt , la desigualdad (1.10)
x0
se escribe
ψr(x) − Lψ(x) ≤ N + M (x − x0)
multiplicandola por e−L(x−x0) resulta
d
(ψr(x) − Lψ(x))e−L(x−x0) =
(ψ(x)e−L(x−x0)) ≤ (N + M (x − x0))e−L(x−x0)
dt
e integrándola desde x0 a x, al ser ψ(x0 ) = 0, se obtiene
N M M
ψ(x)e−L(x−x0) ≤ (1 − e−L(x−x0)) − (x − x )e−L(x−x0) − −
L(x−x0) − 1) ⇔
0
(e
¸L x L L2 M
N L(x−x0) M −L(x−x0)
−
ψ(x) = φ(t)dt ≤ (e − 1) − L (x − x0 ) + L2 (e − 1)
x0 L
Nótese que para probar la unicidad de la solución ha sido esencial la condición de Lipschitz (obsérvese que
en el segundo de los ejemplos del apartado anterior no se verifica, como cabe esperar del hecho de que
∂f 2
= no existe en y = 0). Al respecto de esta condición se puede dar el siguiente resultado (que
∂y 3y 1/3
simplifica su evaluación):
∂f
Proposición 5 Sea una función f (x, y) y D una región compacta en su dominio. Si existe y es una
∂y
función continua en D, entonces se satisface la condición de Lipschitz.
Deftnición 9 Dado un problema de valor inicial, se denomina solución maximal del mismo a una solución
cuyo dominio de definición no admite prolongación alguna.
La cuestión está, pues, en determinar cuál es el máximo intervalo en R en el que existe una solución
maximal. El siguiente resultado da condiciones que garantizan la respuesta.
∂f
Teorema 2 (de existencia y unicidad): Sea el problema de valor inicial (1.7). Si f (x, y) y (x, y) son
∂y
funciones continuas en un dominio Ω abierto y conexo, y (x0, y0) ∈ Ω; entonces el problema admite una
única solución maximal y(x), que está definida en un intervalo abierto I ⊂ R.
∂f
En efecto, si f (x, y) y (x, y) son funciones continuas en un dominio Ω abierto y conexo, por cualquier
∂y
punto (x0 , y0 ) ∈ Ω pasa una única solución de la ecuación, pues basta tomar un rectángulo cerrado D ⊂ Ω
centrado en dicho punto, aplicar el teorema . anterior (observar
∂f
. que la condición de Lipschitz se cumple
en virtud de la proposición 5, con L = .maxD (x, y
. . ) y utilizar el procedimiento de prolongación
∂y )
anteriormente descrito.
Obsérvese que siempre se tiene que I ⊆ {x ∈ R | (x, y) ∈ Ω}. En particular, lo más interesante serı́a que
I = R. Por supuesto, para que se dé este caso es necesario que Ω = R2 .
Ejemplo:
,
• La ecuación y r = 1 − (x2 + y 2 ) no puede tener soluciones definidas fuera del cı́rculo unidad y, con
ello, para cualquier solución maximal se tiene que I ⊆ (−1, 1).
Ejemplo:
∂f
• La ecuación y r = y 2 (donde f (x, y) = y 2 y (x, y) = 2y son funciones continuas en R2), con la
∂y
1
en (−∞, 1), y, ya que y(x) no está definida
condición inicial
en x = 1, es y(0) =prolongarla
imposible 1, tiene porfuera
solución y(x) = − x
de ese 1
intervalo.
En este ejemplo, el intervalo de definición de la solución maximal tiene un extremo finito α = 1 debido a
que lim |y(x)| = ∞ . El siguiente teorema (que no se demuestra) enuncia que ésa es la única opción posible.
→
x α
∂f
Teorema 3 (de prolongación): Sea el problema de valor inicial (1.7). Si f (x, y) y (x, y) son funciones
∂y
continuas en todo R2 y el intervalo de definición de una solución maximal tiene un extremo α, entonces
lim |y(x)| = ∞ .
x→α
Concluyendo, nuestro interés es garantizar que el problema de valor inicial tenga solución definida, al
menos, en [x0 , x0 + T ]. Bajo las anteriores hipótesis (negando la conclusión de este teorema) se tiene
garantizado que ello acurrirá, en particular, si la solución, caso de estar definida, está acotada en dicho
intervalo, ya que entonces no puede presentarse la anterior situación.
(Véase un ejemplo de aplicación en: J.L. Andrés Yebra: Ecuaciones Diferenciales: Notas y Problemas,
CPET (1995)).
En las aplicaciones, los datos del problema de valor inicial son frecuentemente datos experimentales y, por
tanto, conocidos con cierta inexactitud. Esto acontece directamente con el valor y0, que puede ser el resultado
Ecuaciones Diferenciales. 17
de alguna medida del estado del sistema para cierto valor x0 , pero también sucede con la propia función
f (x, y) cuando, p. ej., ésta depende de ciertos parámetros que se determinan experimentalmente (p. ej., a, b
en la ley logı́stica). Por otra parte, en los métodos numéricos sólo se trabaja con soluciones aproximadas.
Para poder garantizar la validez de los cálculos, se ha de poder conocer y(x0 + T ) con la precisión deseada
si se aproximan
los datos. suficientemente
(Se considera T finito.y0Siy Tf →
(x,∞,
y).la En tal caso,involucrada
propiedad se dice que la
es solución depende
la estabilidad delcontinuamente
sistema y/o dede
las soluciones; tema que será tratado posteriormente).
El siguiente resultado muestra que, bajo las hipótesis del teorema de existencia y unicidad, se satisface el
anterior requisito.
Teorema 4 (de dependencia continua): Sea el problema de valor inicial (1.7) con (x0, y0) ∈ Ω, donde Ω
es un dominio abierto y conexo, y tal que f (x, y) es continua y lipschitziana (con constante L) en Ω. Para
|x − x0 | ≤ T , sean y(x) la solución exacta y Y (x) una solución aproximada en el siguiente sentido
|Y r (x) − f (x, y(x))| ≤ s , |Y (x0 ) − y0 | ≤ s0
( Dem. ) Sea x > x0 (se razona igual si x < x0 ). La solución exacta y(x) satisface la ecuación integral
(1.8), mientras que Y (x) satisface
−s ≤ Y r(x) − f (x, y(x)) ≤ s
de donde integrando se obtiene
¸ x ¸ x ¸ x
sdt ≤ sdt ⇔
− (Y (x) − f (x, y(x)))dt ≤
r
x0 x0 x0
¸ x
−s(x − x0) ≤ Y (x) − Y (x0) − f (x, y(x))dt ≤ s(x − x0)
x0
es decir, ¸ x
|Y (x) − y(x) − Y (x0) + y0 − (f (x, Y (x)) − f (x, y(x)))dt| ≤ s(x − x0 )
x0
Comentario:
Ecuaciones Diferenciales. 18
• Puede observarse que la expresión (1.12) da una acotación a la diferencia entre el valor aproximado de
la predicción, Y (x0 + T ), y el valor real, y(x0 + T ), en función de las cotas s, s0 ; de tal manera que, si
estos valores son pequeños y el intervalo en la medida, T , no es muy grande, dicha diferencia tampoco
va a ser muy grande.
(Véase un ejemplo de aplicación en: J.L. Andrés Yebra: Ecuaciones Diferenciales: Notas y Problemas,
CPET (1995)).
En anteriores secciones se ha visto cómo resolver ciertos tipos de ecuaciones diferenciales por métodos
analı́ticos. Desgraciadamente ésto no siempre es posible para todos los tipos de ecuaciones diferenciales que
se presentan en la práctica.
En estos casos, al igual que sucede en otras ramas de la Matemática (como es el caso, p, ej., del cálculo de
integrales definidas mediante el método de Simpson), hay ciertos métodos numéricos que permiten calcular,
con el grado de exactitud que se desee, la solución numérica de todas las ecuaciones diferenciales de primer
orden con una condición inicial dada. Dichos métodos se pueden aplicar independientemente de que la
ecuación sea o no integrable analı́ticamente, en términos de funciones elementales conocidas.
Los métodos numéricos más usados son el método de Euler, el método de Euler modificado y el método de
Runge-Kutta.
(Se explica en las sesiones de Laboratorio. Véase, por tanto, el guión de Prácticas.).
(Se explica en las sesiones de Laboratorio. Véase, por tanto, el guión de Prácticas.).
(Se explica en las sesiones de Laboratorio. Véase, por tanto, el guión de Prácticas.).
Chapter 2
2.1 Introduccion
Si en el capı́tulo anterior se ha comenzado el estudio de las ecuaciones diferenciales con el análisis de las de
primer orden, en éste se van a tratar las ecuaciones diferenciales de orden superior.
Comenzaremos dando las nociones fundamentales sobre las ecuaciones diferenciales de orden superior
(en particular, las lineales), tales como definiciones básicas, teoremas de existencia y unicidad, etc. A con-
tinuación se estudiarán las soluciones de las ecuaciones diferenciales lineales (homogéneas y completas),
incluyendo la exposición del método de variación de constantes para encontrar soluciones particulares de
la ecuación completa. Después se considerará el problema de obtener la solución general de las ecuaciones
lineales con coeficientes constantes, para lo cual se analizarán, primero, las de tipo homogéneo (estudiandose
los diversos casos posibles) y, después, el caso general (incluyendo el método del anulador para hallar una
solución particular). Tras presentar brevemente algún caso de especial interés (ecuación de Euler), se con-
cluirá, finalmente, comentando las principales aplicaciones de las ecuaciones diferenciales de segundo orden
en F´ısica.
Igual que en el capı́tulo anterior, siempre que no se haga alguna precisión más concreta, se asumirá que
todas las funciones son diferenciables con continuidad hasta el orden que se desee.
Deftnición 10 Una ecuación diferencial de orden n es toda ecuación que, expresada en forma implı́cita, es
del tipo
F (x, y(x), yr(x), . . . , y(n)(x)) = 0
o bien, expresada en forma explı́cita,
y(n)(x) = f (x, y(x), yr(x), . . . , y(n−1)(x))
La solución general de estas ecuaciones es una familia de curvas cuya expresión analı́tica depende de n
constantes arbitrarias; escribiéndose y = y(x; C1 , . . . , Cn ) en forma explı́cita, o f (x, y; C1 , . . . , Cn ) = 0 en
forma impl´ıcita. Dichas constantes se determinan una vez dado un conjunto de condiciones iniciales
(n−1)
x0 , y(x0) = y0 , yr(x 0) = yr0 , ... , y(n−1)(x0) = y0
19
Ecuaciones Diferenciales. 20
( Dem. ) Inmediata.
De este modo, resolver la ecuación diferencial de orden n equivale a resolver el sistema anterior, esto es,
a buscar las n funciones y(x), y1 (x), . . . , yn−1 (x). Cada una de ellas contendrá una constante arbitraria y el
total de éstas se determinará a partir de las condiciones iniciales, que ahora se escribirán
x0 , y(x0) = y0 , y1(x0) = y 0 , ... , yn 1(x ) = y0
0 1 − 0 n−1
La cuestión que se plantea ahora es la de la existencia y unicidad de soluciones para ecuaciones diferen-
ciales de orden superior en general. En virtud de la proposición precedente ello es equivalente a estudiar la
existencia y unicidad de soluciones para sistemas de ecuaciones diferenciales de primer orden 1.
Teorema 5 (de existencia y unicidad local para sistemas de 1er orden): Considérese el sistema de ecuaciones
de primer orden
y sea el rectángulo
D = [x0 − a, x0 + a] × [y0 − b1, y0 + b1] × . . . × [y0 − bn, y0 + bn] ⊂ Rn+1
1 1 n n
obvias.
Ecuaciones Diferenciales. 21
2. Cada una de estas funciones satisface la condición de Lipschitz; es decir, para todo par de puntos
(x, y 0 , . . . , y 0 ), (x, y 1 , . . . , y 1 ) ∈ D y ∀ i existe una constante L > 0 tal que
1 n 1 n
.n
|fi (x, y 1 , . . . , y 1 ) − fi (x, y 0 , . . . , y 0 )| ≤ L |y 1 − y 0 |
1 n 1 n j j
j=1
Entonces existe una única solución del problema, y1 (x), . . . , yn (x), definida en un cierto intervalo (x0 −
δ, x0 + δ) (con 0 < δ ≤ a).
1. fi están acotadas en D (por ser D compacto), luego ∃ Mi > 0 tales que |fi (x, y1 , . . . , yn )| ≤ Mi , ∀ i.
2. Se construyen las n sucesiones funcionales {yn (x)} (con n ∈ {0} ∪ N e i = 1, . . . , n), definidas como
i
y0 (x) = y0
i i
¸
y1 0 x 0 0
i (x) = yi + fi(t, y1 (t), . . . , yn(t))dt
x0
.
..
0
¸ x
yn+1 n n
i (x) = yi + fi(t, y1 (t), . . . , yn (t))dt
x0
Se demuestra que lim {y n (x)} = yi (x) , funciones lı́mite que están definidas en un intervalo (x0 −
n→∞ i
δ, x0 + δ) (δ depende de todas las constantes involucradas en el teorema).
3. Se prueba que yi (x) constituyen la solución del sistema.
4. Se prueba que esa es la única solución del problema (usando la condición de Lipschitz).
Comentarios:
Dentro del conjunto de las ecuaciones diferenciales de orden superior, prestaremos especial atención a las
lineales.
Ecuaciones Diferenciales. 22
Deftnición 11 Una ecuación diferencial lineal de orden n es una ecuación de orden n que es una expresión
lineal de la función y sus derivadas 2 ; por tanto, tiene la forma
dny dn−1y dy
fn(x) + fn−1(x) + . . . + f1(x) + f0(x)y + f (x) = 0
dxn dxn−1 dx
Se denomina ecuación lineal homogénea de orden n (asociada o no a una ecuación lineal completa) a
toda ecuación lineal en la que f (x) = 0; esto es,
dny dn−1y dy
fn(x) + fn−1(x) + . . . + f1(x) + f0(x)y = 0
dxn dxn−1 dx
Si fn (x) ƒ= 0, ∀ x ∈ [a, b], entonces la ecuación se puede expresar en forma normal
dny fn −1(x) dn−1y f1(x) dy f0(x) f (x)
=− −... − − y− =0
dxn fn(x) dxn−1 fn(x) dx fn(x) fn(x)
que habitualmente escribiremos
dny dn−1y dy
dxn + F n−1(x) dxn−1 + . . . + F1(x) + F0(x)y = F (x) (2.2)
dx
Los puntos en los que fn (x) = 0 se denominan puntos singulares de la ecuación lineal.
Al igual que ya se hizo con la ecuación lineal de primer orden, se puede traducir la ecuación lineal al
lenguaje de operadores. As´ı, si se considera el espacio de las funciones en R infinitamente derivables, C∞(R),
se puede definir el operador de derivación
D : C ∞(R) −→ C∞(R)
y ›→ yr
y se puede escribir y = D 0(y) ≡ I(y), yr = D1(y), yrr = D2(y), . . . ,y(n) = Dn (y). A partir de aqu´ı, se
introduce el operador
L := Dn + Fn −1Dn−1 + . . . + F0 I
del cual puede probarse con facilidad que es lineal, y que permite escribir la ecuación (2.2) como
L(y) = F (x)
Teorema 6 (de existencia y unicidad para ecuaciones lineales): Considérese la ecuación (2.2) con la
condición inicial
y(x0) = y0 , yr(x 0) = y1 , . . . , y(n−1)(x) = yn −1
y tal que las funciones F (x), F0(x), . . . , Fn−1(x) son continuas en un cierto intervalo I = (x0 − a, x0 + a)
(con 0 < a). Entonces existe una única solución y = y(x) definida en el intervalo I, que es derivable con
continuidad hasta el orden n.
∂tt
dado que las funciones F i(x) (i = 0, 1, . . . , n − 1) son continuas por hipótesis, también lo son tt y
=F i
∂y(i)
, por lo que son aplicables los teoremas generales de existencia y unicidad, concluyéndose, pues, que el
problema de valor inicial dado tiene una única solución maximal y(t) definida en un cierto intervalo abierto.
Ahora se trata de comprobar que dicho intervalo es I.
Por simplicidad, se hará la demostración para el caso de la ecuación lineal de primer orden. Se comienza
comprobando que, dado T > 0, la solución está definida para todo x ∈ [x0 , x0 + T ]. En efecto, a partir de
la expresión (1.8), que en este caso es
¸ x
y(x) = y0 + (−g(t)y(t) + f (t))dt
x0
se obtiene ¸ ¸
x x
|y(x)| ≤ |y0 | + |g(t)||y(t)|dt + |f (t)|dt
x0 x0
por lo que, llamando φ(x) = |y(x)| y con L = maxI |g(x)|, M = maxI |f (x)|, se tiene
¸ x
φ(x) ≤ |y0| + L φ(t)dt + M (x − x0)
x0
Comentario:
• Es importante resaltar que, si los coeficientes funcionales son continuos en todo R, entonces la existencia
de la solución está garantizada también en todo R.
Sobre la resolución de las ecuaciones diferenciales lineales de orden superior se tiene el mismo resultado
que para las de primer orden:
Proposición 7 El conjunto de soluciones de la ecuación (2.2) está dado por yP + yH , donde yP es una
solución particular cualquiera de la ecuación completa e yH es la solución general de la ecuación homogénea
asociada.
Antes de tratar el estudio de las soluciones de ecuaciones diferenciales lineales de orden superior, es preciso
introducir algunos conceptos y resultados sobre dependencia e independencia lineal de funciones.
Deftnición 12 Dado un conjunto de funciones {y1 (x), . . . , yn (x)} definidas en el mismo dominio D ⊆ R,
estas funciones son linealmente independientes en D sii se cumple que, ∀ x ∈ D,
α1y1(x) + . . . + αn yn(x) = 0 ⇐⇒ α 1 = . . . = αn = 0
con α1, . . . , αn ∈ R.
Ecuaciones Diferenciales. 24
α1y1(x) + . . . + αnyn(x) =0
α1yr (x) + . . . + αnyr (x) =0
1 n
.
..
α1y(n−1)
1 (x) + . . . + αn yn(n−1)(x) = 0 (2.3)
Deftnición 13 Sea un conjunto de funciones {y1 (x), . . . , yn (x)} definidas en el mismo dominio D ⊆ R. La
matriz asociada al sistema (2.3)
y1r (x) ... ynr (x)
y (x) ... y (x)
1 n
.. ..
(n−1) (n−1)
y . (x) ... yn
.
(x)
1
se denomina matriz wronskiana del conjunto y su determinante en cada punto x ∈ D, que denotaremos por
W (x) = W (y1(x), . . . , yn(x)), recibe el nombre de wronskiano.
Con esta nomenclatura el primero de los resultados anunciados, que se obtiene como consecuencia directa
de lo expuesto, es el siguiente:
Proposición 8 Sea el conjunto de funciones {y1 (x), . . . , yn (x)} en D. Si W (y1 (x), . . . , yn (x)) ƒ= 0 para
algún x ∈ D, entonces las funciones y1 (x), . . . , yn (x) son linealmente independientes en D.
Equivalentemente,
0, para todo x ∈ D. si y1(x), . . . , yn(x) son linealmente dependientes en D entonces W (y1(x), . . . , yn(x)) =
( Dem. ) En efecto, si W (y1 (x), . . . , yn (x)) ƒ= 0 para algún x ∈ D, entonces la única solución posible del
sistema (2.3) en ese punto es que α1 = . . . = αn = 0 y, por tanto, en cualquier otro punto de D se tendrá
que α1 y1 (x) + . . . + αn yn (x) = 0 con α1 = . . . = αn = 0, luego las funciones y1 (x), . . . , yn (x) son
linealmente independientes en D.
( Dem. ) Supóngase que W (y1 (x0 ), . . . , yn (x0 )) = 0 para algún x0 ∈ I. Entonces, se pueden elegir las
constantes αi de manera que se satisfaga el sistema de ecuaciones (2.3) y tales que no todas ellas sean nulas
(ya que al ser el determinante del sistema nulo en algún punto, existen soluciones no triviales del mismo).
Para tales valores de las constantes, la combinación lineal
y(x0) = 0 , yr (x 0) = 0 , . . . , yn−1(x 0) = 0
Ecuaciones Diferenciales. 25
Pero también estas condiciones iniciales son satisfechas por la solución trivial y(x) = 0, luego, en virtud del
teorema de existencia y unicidad, ésta es la única solución posible y, por tanto
por lo que y1 (x), . . . , yn (x) han de ser linealmente dependientes, en contra de la hipótesis.
Comentario:
• Si las funciones y1 (x), . . . , yn (x) linealmente independientes no son soluciones de una ecuación lineal
homogénea, pueden tener el wronskiano nulo, no sólo en algunos puntos, sino idénticamente en todo I.
Ejemplo: En I = [0, 2] considérense las funciones
. .
(x 1)2 si 0 x 1 0 si 0 ≤ x ≤ 1
y1(x) = − ≤ ≤ ; y2(x) =
2
0 si 1 ≤ x ≤ 2 (x − 1) si 1 ≤ x ≤ 2
Evidentemente W (y1 (x), y2 (x)) = 0, ∀ x ∈ I. Sin embargo, se trata de dos funciones linealmente
independientes, ya que la igualdad α1y1(x) + α2y2(x) = 0, considerada en el segmento 0 ≤ x < 1, da
como solución α1 = 0; mientras que considerada en el segmento 1 < x ≤ 2, da como solución α2 = 0;
por consiguiente α1 = α2 = 0.
Una vez aclarados los puntos precedentes, se puede iniciar ya el estudio de las soluciones de las ecuaciones
diferenciales lineales de orden n.
Teorema 9 Sea L(y) = 0 una ecuación lineal homogénea de orden n cuyos coeficientes F0 (x), . . . , Fn−1 (x)
son funciones continuas en un intervalo I ⊂ R. Entonces, el conjunto de soluciones de dicha ecuación (esto
es, ker L) es un espacio vectorial de dimensión n.
( Dem. ) Evidentemente el núcleo de un operador lineal es un espacio vectorial. Hay que comprobar que
su dimensión es n.
Sea x0 ∈ I. Considérense los siguientes problemas de valores iniciales
como se satisfacen las condiciones del teorema de existencia y unicidad, existe solución única para cada
uno de ellos. Sean y1(x), . . . , yn(x) ∈ C ∞ (I) las soluciones respectivas, las cuales satisfacen obviamente que
W (y1(x0), . . . , yn (x0)) = 1 ƒ= 0, luego son linealmente independientes en I y, por tanto dim ker L ≥ n.
Ecuaciones Diferenciales. 26
Probemos, seguidamente, que {y1(x), . . . , yn(x)} es una base de ker L. Sea y ∈ ker L; esto es, tal que
n
.
L(y) = 0, y supóngase que y(x0 ) = λ1 , y r (x0 ) = λ2 , . . . , y (n−1) (x0 ) = λn . La función y(x) = λi yi (x)
i=1
también es solución de L(y) = 0 y satisface las condiciones iniciales dadas, luego por el teorema de existencia y
unicidad, es la solución ∀ x ∈ I. Ası́ pues, {y1 (x), . . . , yn (x)} es base de ker L y, por consiguiente, dim ker L =
n.
De este modo, hallar la solución general de una ecuación lineal homogénea con coeficientes continuos pasa
por encontrar n soluciones particulares linealmente independientes. Ello da origen a la siguiente definición:
Deftnición 14 Se denomina sistema fundamental de soluciones de una ecuación lineal homogénea de orden
n (cuyos coeficientes sean funciones continuas en un intervalo I = [a, b] ⊂ R) a cualquier conjunto de n
soluciones particulares linealmente independientes.
Teorema 10 Sean dos ecuaciones lineales homogéneas con coeficientes continuos en un intervalo I ⊂ R
dny dn−1y dy
L1(y) ≡ + F n−1 (x) + . . . + F 1(x)+ F0 (x)y = 0
dxn dxn−1 dx
dny dn−1y dy
L2(y) ≡ + tt n−1 (x) + . . . + tt 1(x) + tt0(x)y = 0
dxn dxn−1 dx
tales que tienen un mismo sistema fundamental de soluciones {y1(x), . . . , yn(x)}. Entonces Fi(x) = tti(x),
∀ x ∈ I (ambas ecuaciones son iguales).
( Dem. ) En efecto, si y1 (x), . . . , yn (x) son soluciones de ambas ecuaciones también lo son de su diferencia
dn−1y dy
0 = L1(y) − L2(y) = (Fn−1(x) − ttn−1(x)) + . . . + (F1(x) − tt1(x)) + (F0(x) − tt0(x))y
dxn−1 dx
y si Fn−1 (x) ƒ= ttn−1 (x) se tendrı́a una ecuación lineal homogénea de orden n − 1 con n soluciones lin-
ealmente independientes, en contradicción con el teorema anterior, luego Fn−1 (x) = ttn−1 (x). Iterando el
razonamiento se llega al mismo resultado para el resto de coeficientes.
El procedimiento para hallar la ecuación lineal homogénea definida por un sistema fundamental de
soluciones es como sigue:
Sea {y1 (x), . . . , yn (x)} un conjunto que es sistema fundamental de soluciones de una ecuación homogénea
L(y) = 0 en I = [a, b] (por tanto son funciones derivables con continuidad hasta el orden que haga falta).
Necesariamente (teorema 7) W (y1 (x), . . . , yn (x)) ƒ= 0, ∀ x ∈ I. Sea y(x) otra solución cualquiera de la
ecuación, entonces y1 (x), . . . , yn (x), y(x) son linealmente dependientes en I y, por tanto, ∀ x ∈ I,
. .
.. y1(x) ... ynr (x) y(x)
r
.
.. y1r (x) ... yn(x) y (x) ..
. . .
. =0
W (y1(x), . . . , yn(x), y(x)) = . (n−1).. (n−1).. .
. y1 (n−1)(x) .
.. (n) (x) . . . yn (n) (x) y .
y
1 (x) . . . yn (x) y(n)(x) .
(obsérvese que la última columna es una combinación lineal de las anteriores). Desarrollando el determinante
por la última columna se obtiene, por tanto, una ecuación diferencial lineal homogénea
dny dn−1y dy
fn(x) + fn−1(x) + . . . + f1(x) + f0(x)y = 0
dxn dxn−1 dx
Ecuaciones Diferenciales. 27
donde fn(x) = W (y1(x), . . . , yn(x)) ƒ= 0, ∀ x ∈ I, y el resto de los coeficientes son los determinantes de las
submatrices de orden n que aparecen en el desarrollo del determinante. Por tanto, dividiendo por
fn(x) queda
dny n−1y dy
+ Fn−1(x) d n−1 + F0(x)y = 0
dx n dx + . . . + F1(x)
dx
que es una ecuación diferencial lineal homogénea con coeficientes Fi (x) continuos, ya que son productos y
sumas de las funciones yi(x).
A partir de aqu´ı se obtiene el siguiente resultado:
Proposición 9 Sea {yp (x), y1 (x), . . . , yn (x)} un conjunto de funciones tales que:
1. yp (x) es una solución particular de una ecuación lineal con coeficientes continuos, L(y) = F (x) en
I = [a, b].
2. {y1 (x), . . . , yn (x)} es un sistema fundamental de soluciones de la ecuación homogénea L(y) = 0 en
I = [a, b].
Entonces dicho conjunto de funciones determina unı́vocamente la ecuación lineal completa L(y) = F (x)
( Dem. ) En efecto, el conjunto {y1 (x), . . . , yn (x)} determina, de manera unı́voca, la ecuación homogénea
según el procedimiento descrito; esto es, el operador L(y). Entonces F (x) se determina haciendo L(yp ) =
F (x).
Comentario:
• En las condiciones de aplicación de los anteriores teoremas, el conocimiento de una solución particular
de la ecuación homogénea permite reducir el orden del problema en una unidad. Éste procedimiento
se conoce con el nombre de método de D’Alembert, y se va a ilustrar con la ecuación lineal homogénea
de 2o orden
yrr + f1(x)yr + f0(x)y = 0
Si yp (x) es una solución particular, haciendo el cambio de variable y = zyp se tiene que y r = zy rp+ z r yp
y y rr = zy rr + 2z r y r + z rr yp , luego sustituyendo en la ecuación
p p
Analicemos, ahora, el problema de hallar la solución de la ecuación lineal completa. El método que vamos
a presentar consiste en obtener dicha solución a partir de n soluciones linealmente independientes conocidas
de la ecuación lineal homogénea asociada.
De acuerdo con lo expuesto anteriormente, si se tiene una ecuación lineal de orden n (con coeficientes
continuos), L(y) = F (x), y un sistema fundamental de soluciones {y1 (x), . . . , yn (x)}, de la ecuación lineal
homogénea
n
asociada L(y) = 0, la solución general de esta última ecuación es una combinación lineal yH (x) =
.
ci yi (x) , por lo que para tener la solución general de la ecuación lineal completa basta con obtener una
i=1
solución particular de la misma (proposición 7). Entonces:
Ecuaciones Diferenciales. 28
Proposición 10 Sea una ecuación lineal de orden n (con coeficientes continuos), L(y) = F (x), y sea
{y1 (x), . . . , yn (x)} un sistema fundamental de soluciones de la ecuación lineal homogénea asociada L(y) = 0.
Entonces, una solución particular de la ecuación lineal completa es la combinación lineal (con coeficientes
funcionales) n
.
yP (x) = Ci(x)yi(x)
i=1
donde las funciones Ci (x) son la solución del sistema
y1(x) ... yn(x) Cr (x)
0
1
. . .
. .. .. = ... (2.4)
.
(n−1) (n−1) F (x)
y Cnr (x)
1 (x) ... yn (x)
y, dado que buscamos una solución particular, se pueden, en principio, elegir las funciones {Ci (x)} de
manera que (Cr(x), Y(x)) = 0. A partir de aqu´ı, derivando sucesivamente y tomando en cada paso
(i−1)
(C (x), Y
r
(x)) = 0 se obtiene
P (x) = (C (x), Y(x)) + (C(x), Y (x)) con (C (x), Y(x)) = 0
yrP (x) = (C (x),
r
Y (x)) + (C(x), Y r(x)) con (C r(x), Y (x)) = 0
y rr r r rr r r
.
..
y(n) (n−1)(x)) + (C(x), Y(n)(x))
P (x) = (C (x), Y
r
(Cr(x), Y(x)) = 0
(Cr(x), Yr(x)) = 0
..
.
(n−1)
(C (x), Y
r
(x)) = F (x)
Ası́ pues, el vector C(x) está completamente determinado como solución del sistema (2.4)
(Cr(x), Y(x)) ≡ C r (x)y1(x) + . . . + C r (x)yn (x) = 0
1 n
.. ..
. (n−1) (n−1) .
(Cr(x), Y(n−1)(x)) ≡ Cr (x)y (x) + . . . + Cr (x)y (x) = F (x)
1 1 n n
Ecuaciones Diferenciales. 29
Proposición 11 Sean L(y) = F1 (x), . . . , L(y) = Fn (x) ecuaciones diferenciales lineales. Si y1 (x), . . . , yn (x)
son soluciones respectivas de ellas, entonces y1 (x) + . . . + yn (x) es solución de la ecuación lineal L(y) =
F1(x) + . . . + Fn(x)
( Dem. ) Trivial.
Comenzaremos el estudio de las ecuaciones diferenciales lineales (de orden n) con coeficientes constantes con
el caso de las ecuaciones homogéneas. Se trata, pues, de resolver la ecuación del tipo
dny dn−1y dy
+ an−1 dxn−1 + a0 y = 0
dxn + . . . + a1
dx
con a0, . . . an−1 ∈ R. En forma abreviada, y como ya es costumbre, escribiremos L(y) = 0, donde en este
caso el operador lineal L es
L := Dn + an −1Dn−1 + . . . + a1D + a0 I
Entonces se define:
Deftnición 15 La ecuación
Y para hallar un sistema fundamental de soluciones de la ecuación diferencial lineal se utiliza el siguiente
teorema de Álgebra lineal:
Proposición 12 Si la ecuación caracterı́stica de una ecuación diferencial lineal homogénea de orden n tiene
n raı́ces reales distintas λ1 , . . . , λn ∈ R, entonces
{eλ1x, . . . , eλnx}
es un sistema fundamental de soluciones de dicha ecuación y, por tanto, la solución general de la ecuación
es n
.
y(x) = ci eλi x
i=1
Por consiguiente
Ker L = Ker p(D) = {eλ1x, . . . , eλnx}
luego ese conjunto es un sistema fundamental de soluciones de la ecuación homogénea y la proposición queda
probada.
(Obsérvese que, efectivamente, se trata de un conjunto de funciones linealmente independientes, ya que,
como puede comprobarse fácilmente, W (eλ1 x , . . . , eλn x ) ƒ= 0. P. ej., el wronskiano en x = 0 es
W (0) = ((λ2 − λ1)(λ3 − λ2) . . . (λn − λn−1))((λ3 − λ2) . . . (λn − λn−1)) . . . (λn − λn−1) ƒ= 0
Proposición 13 Si la ecuación caracterı́stica de una ecuación diferencial lineal homogénea de orden n tiene
m raı́ces reales λ1 , . . . , λm ∈ R (1 ≤ m < n) con multiplicidades µ1 , . . . , µm respectivamente (µ1 + . . . + µm =
n); entonces
{eλ1x, xeλ1x, . . . , xµ1−1eλ1x; . . . ; eλmx, xeλmx, . . . , xµm−1eλmx}
es un sistema fundamental de soluciones de dicha ecuación y, por tanto, la solución general de la ecuación
es .m
(c1 eλi x + c2 xeλi x + . . . + c i xµi −1 eλi x )
µ −1
y(x) =
i i i
i=1
Ecuaciones Diferenciales. 31
Proposición 14 Si la ecuación caracterı́stica de una ecuación diferencial lineal homogénea de orden n tiene
alguna raı́z compleja λj = aj +bj i ∈ C, también tiene su conjugada λ̄j = aj −bi ∈ C (con aj , bj ∈ R); entonces
Ker (D − λj I) ⊕ Ker (D − λ̄j I) = {eaj x cos bj x, eaj x sin bj x}
( Dem. ) Es igual que en los casos anteriores. En primer lugar se tiene la descomposición
p(x) = (x − λ1 ) . . . (x − λj )(x − λ̄j ) . . . (x − λm )
luego, aplicando el teorema de la 1a descomposición,
Ker L = Ker p(D) = Ker (D − λ1 I) ⊕ . . . ⊕ ⊕ Ker (D − λj I) ⊕ Ker (D − λ̄j I) ⊕ . . . ⊕ Ker (D − λm I)
Procediendo como en el caso de las ra´ıces reales simples se obtiene que
Ker (D − λj I) = {eλj x } = {e(aj +bj i)x } = {eaj x (cos bj x + i sin bj x)}
Ker (D − λ̄j I) = {eλ̄j x } = {e(aj −bj i)x } = {eaj x (cos bj x − i sin bj x)}
Ahora se tiene que
Ker (D − λj I) ⊕ Ker (D − λ̄j I) = K1 eaj x (cos bj x + i sin bj x) + K2 eaj x (cos bj x − i sin bj x)
= (K1 + K2 )eaj x cos bj x + i(K1 − K2 )eaj x sin bj x
donde K1, K2 ∈ C son constantes arbitrarias. As´ı pues
Ker (D − λj I) ⊕ Ker (D − λ̄j I) = {eaj x cos bj x, eaj x sin bj x}
Finalmente queda por comprobar que las funciones halladas son linealmente independientes, para lo cual
basta con comprobar que W (eaj x cos bj x, eaj x sin bj x) ƒ= 0, para algún x.
Nótese, primero, que una raiz compleja y su conjugada tienen la misma multiplicidad. Entonces:
Pasemos a analizar el caso general de la ecuación lineal completa con coeficientes constantes
dny dn−1y dy
+ an−1 dxn−1 + . . . + a + a0y = F (x)
dx n
1
dx
con a0, . . . an−1 ∈ R (y F (x) continua). En forma abreviada, L(y) = F (x).
Tal como ya se vio en la sección anterior, a partir de un sistema fundamental de soluciones de la ecuación
homogénea asociada y aplicando el método de variación de constantes, se puede encontrar una solución
particular de esta ecuación, con lo que se tendrı́a su solución general.
Sin embargo, cuando el término independiente F (x) tiene la propiedad de que se anula bajo la acción
de algún operador con coeficientes constantes, hay un método alternativo al de variación de constantes que
permite obtener una solución particular de la ecuación lineal completa. Este procedimiento recibe el nombre
de método del anulador o también de la conjetura prudente.
Proposición 16 Sea L(y) = F (x) una ecuación diferencial lineal con coeficientes constantes (y F (x) con-
tinua). Si K ≡ K(D) es un operador diferencial con coeficientes constantes que anula F (x), entonces una
solución particular de la ecuación se obtiene resolviendo la ecuación lineal homogenea
(K ◦ L)(y) = 0
A continuación se muestran los resultados del procedimiento para algunos casos tı́picos en los que el
término independiente F (x) tiene una forma particular.
Casos particulares:
(a) Si α no es raiz del polinomio caracterı́stico entonces una solución particular es de la forma
yP (x) = eαxPp(x)
donde Pp(x)
es un polinomio de grado p.
(b) Si α es raiz del polinomio caracterı́stico y tiene multiplicidad µ entonces una solución particular
es de la forma
yP (x) = xµeαxPp(x)
donde Pp(x) es un polinomio de grado p.
(b) Si αi es raiz del polinomio caracterı́stico y tiene multiplicidad µ entonces una solución particular
es de la forma p p
yP (x) = xµ(cos αxP (x) + sin αxP (x))
1 2
p p
donde P (x), P (x) son polinomios de grado p.
1 2
1 2
p p
donde P (x), P (x) son polinomios de grado p.
1 2
(b) Si α+βi es raiz del polinomio caracterı́stico y tiene multiplicidad µ entonces una solución particular
es de la forma
yP (x) = xµeαx(cos βxP (x) + sin βxP (x))
p p
1 2
p p
donde P (x), P (x) son polinomios de grado p.
1 2
Un caso particularmente interesante de ecuación diferencial lineal son las denominadas ecuaciones de Euler,
que tienen la siguiente expresión general:
n−1y
dn y n−1 d dy
an(bx + c)n + a n − 1 (bx + c) + . . . + a1(bx + c) + a0y = f (x)
dx n dx n−1 dx
con a0 , . . . an , b, c ∈ R. En el caso en que f (x) = 0 se tienen las ecuaciones de Euler homogéneas.
Estas ecuaciones se transforman en ecuaciones diferenciales lineales con coeficientes constantes haciendo
el cambio de variable bx + c = et.
En el caso particular de ecuaciones de Euler homogéneas con b = 1, c = 0; esto es, las ecuaciones de la
forma
dny dn−1y dy
anxn + an − 1xn−1 + . . . + a1 x + a0 y = 0
dx n dxn−1 dx
se pueden probar directamente soluciones particulares del tipo y = xk . En efecto, pues, si con el cam-
bio x = et se transformara en una ecuación diferencial lineal homogénea con coeficientes constantes cuya
solución particular fuese de la forma y = ekt , entonces una solución como la propuesta, y = xk , conducirı́a
directamente a y = xk = ekt.
El estudio anal´ıtico del comportamiento de muchos sistemas en F´ısica conduce a ecuaciones lineales.
myrr + ky = 0
Ecuaciones Diferenciales. 34
myrr + βyr + ky = 0
En todos los casos se trata de ecuaciones lineales con coeficientes constantes. (Su resolución ha sido tratada
en los cursos de F´ısica).
El estudio analı́tico del comportamiento de muchos sistemas eléctricos conduce también a ecuaciones
lineales. Un ejemplo tı́pico son los circuitos eléctricos RCL, cuya ecuación es:
1 dE
LIrr + RIr + I =
C dt
que es, también, una ecuación lineal con coeficientes constantes. (Su resolución ha sido tratada en los cursos
de F´ısica).
Chapter 3
3.1 Introduccion
En este cap´ıtulo se va a tratar del estudio de los sistemas de ecuaciones diferenciales de primer orden y, en
particular, de los sistemas de ecuaciones diferenciales lineales de primer orden
Se comenzará dando una serie de conceptos y resultados sobre sistemas de ecuaciones diferenciales de
primer orden en general para, inmediatamente, entrar en el estudio de los del tipo lineal. Concretamente
se investigarán las soluciones de los sistemas lineales homogéneos y posteriormente de los no homogéneos,
donde se incluirá la exposición del método de variación de constantes para encontrar soluciones particulares
de la ecuación completa. Después se considerará el problema de obtener la solución general de los sistemas
lineales con coeficientes constantes, para lo cual se analizarán, primero, los de tipo homogéneo (estudiándose
los dos casos posibles: matriz del sistema diagonalizable y no diagonalizable) y, después, el caso general
(incluyendo el método del anulador para hallar una solución particular).
Igual que en los capı́tulos anteriores, siempre que no se haga alguna precisión más concreta, se asumirá que
todas las funciones son diferenciables con continuidad hasta el orden que se desee.
1,
o bien, expresado en forma explı́cita
35
Ecuaciones Diferenciales. 36
Se denomina solución del sistema a cualquier familia de funciones x1 (t) . . . , xn (t) diferenciables en I ⊂ R
que satisfaga idénticamente las ecuaciones del sistema
Escrito de esta manera, un sistema de ecuaciones de primer orden tiene un aspecto análogo a las ecuaciones
de primer orden.
Esta analogı́a no es meramente formal. En efecto; lo que interesa es hallar la solución al problema de
valor inicial
dx1 = f (t, x (t), . . . , x (t))
1 1 n
dt
.
..
dxn = f (t, x (t), . . . , x (t))
n 1 n
dt0) = x0, . . . , xn(t0) = x0
x1(t
1 n
Entonces, el teorema de existencia y unicidad de soluciones (teorema 5) se establece en los mismos términos
que para una sóla ecuación. Con esta notación su enunciado serı́a:
Teorema 12 (de existencia y unicidad local para sistemas de 1er orden): Considérese el problema de valor
inicial (3.1) y sea un rectángulo D ⊂ R × Rn con centro en (t0 , x0 ). Si f1 , . . . , fn son funciones continuas y
∂fi
lipschitzianas en D (para lo cual es suficiente con que fi, (i, j = 1, . . . , n) sean funciones continuas en
∂x j
D), entonces existe una única solución del problema, x(t), definida en un cierto intervalo (t0 − δ, t0 + δ) ⊂ R
Comentario:
• A partir de aquı́ los teoremas relativos a prolongación de las soluciones se establecen también de manera
análoga al caso de una sóla ecuación.
La solución x(t) = (x1 (t), . . . , xn (t)) del problema de valor inicial determina en el espacio euclı́deo R×Rn ,
de coordenadas {t, x1, . . . , xn}, una curva diferencial que es la curva integral del sistema. Cuando se cumplen
las condiciones del teorema de existencia y unicidad, por cada punto de dicho espacio pasa una sóla curva
integral del sistema, el conjunto de las cuales forma una familia de curvas dependiente de n parámetros que
constituyen la solución general del sistema.
Como ya se vio (proposición 6), toda ecuación diferencial de orden n (expresada en forma normal)
( Dem. ) Basta aplicar la proposición 6 y reducir cada ecuación del sistema inicial a un subsistema de ri
ecuaciones de primer orden.
1. Se construye un sistema formado por las ecuaciones del sistema inicial y derivadas de éstas.
2. Se excluyen (por sustitución) todas las funciones incógnita salvo una, que aparecerá como la única
incógnita de una ecuación de orden superior.
3. Se integra esta última ecuación (si es posible), determinando dicha función incógnita.
4. Se determinan (en lo posible) las restantes funciones incógnita sin integrar, utilizando las ecuaciones
del sistema original y sus derivadas.
.
..
dxn = g1 n
Al igual que ya se hizo con las ecuaciones lineales, se puede traducir la ecuación lineal al lenguaje de
operadores. As´ı, si se considera I ⊆ R, se puede definir el operador vectorial
L : C∞ (I, Rn ) −→ C∞ (I, Rn )
x(t) ›→ xr(t) − A(t)x(t)
esto es,
L(x(t)) := xr(t) − A(t)x(t)
del cual puede probarse con facilidad que es lineal y permite escribir la ecuación (2.2) como
o en el caso homogéneo
L(x(t)) = 0 (3.3)
(con lo que el nombre dado queda justificado).
La cuestión de la de la existencia y unicidad de soluciones para estos sistemas tiene la siguiente respuesta:
Teorema 13 (de existencia y unicidad para sistemas de ecuaciones lineales): Considérese el sistema (3.2)
con la condición inicial x(t0 ) = (x0 , . . . , x0 ) ≡ x0 y tal que las funciones fi (t), g (t) son continuas en un
j
1 n i
cierto intervalo I = (x0 − a, x0 + a) (con 0 < a). Entonces existe una única solución x(t) definida en el
intervalo I, que es derivable con continuidad hasta el orden n.
(En particular, si los coeficientes funcionales son continuos en todo R, entonces la existencia y unicidad de
la solución está garantizada también en todo R).
( Dem. ) Se basa en los teoremas de existencia y unicidad de soluciones para sistemas de ecuaciones de
primer orden (teorema 12) y para ecuaciones diferenciales lineales (teorema 6).
Comenzaremos el estudio de las soluciones de los sistemas de primer orden lineales con el siguiente resultado:
Proposición 18 Sea el sistema de primer orden lineal (3.2) y x1 (t) ∈ C∞ (I, Rn ) una solución. Entonces
x2 (t) ∈ C∞ (I, Rn ) es solución del sistema si, y sólo si, x2 (t) − x1 (t) ∈ Ker L; esto es, es solución del sistema
lineal homogéneo asociado L(x(t)) = 0.
Ecuaciones Diferenciales. 39
Corolario 1 La solución general del sistema de primer orden lineal (3.2) está dada por x(t) = xP (t)+Ker L
donde xP (t) es una solución particular cualquiera del sistema y Ker L designa la solución general del sistema
lineal homogéneo asociado.
Teniendo en cuenta que Ker L es un subespacio vectorial de C ∞ (I, Rn ), es inmediato probar el siguiente
resultado:
Proposición 19 Sea el sistema de primer orden lineal homogéneo (3.3). Entonces cualquier combinación
lineal de soluciones del sistema es también solución.
Proposición 20 Sea el sistema de primer orden lineal homogéneo (3.3). Sea la función vectorial compleja
z(t) ∈ C∞(I, Cn), que se puede expresar como z(t) = u(t) + iv(t), donde u(t), v(t) ∈ C∞(I, Rn) (son
funciones vectoriales reales). Entonces z(t) es una solución compleja del sistema si, y sólo si, u(t), v(t) son
también soluciones (reales); es decir, las partes real e imaginaria de la solución son soluciones por separado.
Se van a introducir, a continuación, algunos conceptos y resultados sobre dependencia e independencia lineal
de soluciones de sistemas de primer orden lineales.
Deftnición 18 Dado un conjunto de funciones vectoriales {x1 (t), . . . , xn (t)} ⊂ C∞ (I, Rn ), estas funciones
son linealmente independientes sii, ∀ t ∈ I, se cumple que, si α1 , . . . , αn ∈ R,
α1x 1(t) + . . . + αnx n(t) = 0 ⇐⇒ α 1 = . . . = αn = 0
y el determinante
x11(t) . . . x1n (t)
1
det (x (t), . . . , x (t)) det
n . .
≡ .. .
x1 n.
n (t) . . . xn(x)
Si det (x1 (t), . . . , xn (t)) ƒ= 0 para algún t ∈ I, entonces las funciones x1 (t), . . . , xn (t) son linealmente
inde- pendientes en I.
Equivalentemente, si x1(t), . . . , xn(t) son linealmente dependientes en I entonces det (x1(t), . . . , xn(t) =
0, ∀ t ∈ I.
(trivial ) Evidente, 1
Dem.para todo t ∈ I.ya que el sistema α1 x (t) + . . . + αn x (t) = 0 ha de tener solución α1 , . . . , αn no
n
El recı́proco de este enunciado no es cierto, en general, a menos que se imponga alguna hipótesis adicional,
tal como se verá posteriormente.
Ejemplo:
Teniendo en cuenta lo expuesto en los apartados precedentes, ahora se puede probar que:
Proposición 22 Para cualquier operador L (de orden n) con coeficientes continuos se tiene que
dim (Ker L) = n.
( Dem. ) Sea {e1 , . . . , en } una base de Rn y t0 ∈ R. Considérense los siguientes problemas de valores
iniciales . .
L(x(t)) = 0 L(x(t)) = 0
; ... ;
x(t0) = e1 x(t0) = en
y sean x1 (t), . . . , xn (t) ∈ C∞ (I, Rn ) las soluciones únicas respectivas. Entonces
det (x1(t0), . . . , xn(t0)) = det (e1, . . . , en) ƒ= 0
ya que e1 , . . . , en son vectores constantes y linealmente independientes, luego también x1 (t), . . . , xn (t) lo
son. Sólo queda probar que son también un sistema generador. Para ello considérese cualquier solución x(t)
del sistema; será
x(t0) = λ1e1 + . . . + λnen
lo que significa que x(t) es solución del problema de valor inicial
.
L(x(t)) = 0
x(t0) = λ 1e 1 + . . . + λ n e n
pero también λ1 x1 (t) + . . . + λn xn (t) es solución de dicho problema, por tanto, como la solución es única, se
concluye que
x(t) = λ1x1(t) + . . . + λnxn(t)
Ecuaciones Diferenciales. 41
luego {x1(t), . . . , xn(t)} es un sistema generador de dim (Ker L) y, por consiguiente, forman base, con lo
cual dim (Ker L) = n.
Teorema 14 Sea el sistema de primer orden lineal homogéneo con coeficientes continuos (3.3) y sean
x1 (t), . . . , xn (t) ∈ C∞ (I, Rn ) soluciones linealmente independientes del mismo. Entonces la solución general
es una combinación lineal de ellas (con coeficientes constantes)
Teorema 15 Sea el conjunto de funciones vectoriales {x1(t), . . . , xn(t)} ⊂ C∞(I, Rn). Si x1(t), . . . , xn(t)
son linealmente independientes en I y además son soluciones de un sistema lineal homogéneo, L(x(t)) = 0,
con coeficientes continuos, entonces det (x1 (t), . . . , xn (t)) ƒ= 0, ∀ t ∈ I.
( Dem. ) Supóngase que ∃ t0 ∈ I tal que det (x1 (t0 ), . . . , xn (t0 )) = 0, entonces existen λ1 , . . . , λn ∈ R, no
todos nulos, tales que λ1x 1(t 0) + . . . + λnxn (t0) = 0 y, en consecuencia, x(t) = λ1x1(t) + . . . + λnxn(t) es
solución del problema de valores iniciales
.
L(x(t)) = 0
x(t0) = 0
Pero x(t) = 0 es también solución, y como ésta ha de ser única, hay que concluir que, ∀ t ∈ I,
λ1x1(t) + . . . + λnxn(t) = 0
con los λi no todos nulos; en consecuencia x1(t), . . . , xn(t) son linealmente dependientes, contra la
hipótesis. La contradicción proviene de suponer que ∃ t0 ∈ I tal que det (x1 (t0 ), . . . , xn (t0 )) = 0; luego
det (x1 (t), . . . , xn (t)) ƒ= 0, ∀ t ∈ I.
Teniendo presentes estos resultados, el siguiente concepto es el s´ımil para sistemas de ecuaciones difer-
enciales lineales homogéneos de la noción de sistema fundamental de soluciones de una ecuación lineal
homogénea.
Deftnición 19 Una matriz fundamental de un sistema de n ecuaciones de primer orden lineal homogéneo
con coeficientes constantes (3.3) es toda matriz de orden n cuyas columnas son soluciones linealmente inde-
pendientes del sistema:
x11(t) . . . x1n (t)
V (t) = . .
.. ..
x1 n
n (t) . . . xn(x)
Las propiedades más relevantes de las matrices fundamentales (cuya demostración es inmediata tras lo
expuesto en este apartado) son las siguientes:
Proposición 23 Sea V (t) una matriz fundamental de un sistema de primer orden lineal homogéneo (3.3).
Entonces
1. det V (t) ƒ= 0, ∀ t.
2. La solución general de L(x(t)) = 0 es x(t) = V (t)c con c ∈ Rn .
3. Si M es cualquier matriz constante tal que det M ƒ= 0, entonces V (t)M es también una matriz
funda- mental.
Ecuaciones Diferenciales. 42
Analicemos, ahora, el problema de hallar la solución general del sistema lineal completo. Como en el caso de
una ecuación diferencial lineal completa, el método consiste en partir de una matriz fundamental del sistema;
es decir, de n soluciones linealmente independientes conocidas del sistema lineal homogéneo asociado (esto
es, su solución general), de modo que para tener la solución general del sistema lineal completo basta con
obtener una solución particular del mismo. Entonces:
Proposición 24 Sea un sistema lineal completo de n ecuaciones diferenciales de primer orden (con coefi-
cientes continuos), L(x(t)) = f (t), y sea {x1(t), . . . , xn(t)} un sistema de soluciones linealmente indepen-
dientes del sistema lineal homogéneo asociado L(x(t)) = 0. Entonces, una solución particular del sistema
lineal completo es la combinación lineal (con coeficientes funcionales)
. x11(t) ...
n
x1 (t) C1(t)
n . .
xP (t) = Ci(t)x (t) =
i . V (t)C(t)
.. .. .. ≡
i=1 x1 n
n(t) ... xn(x) Cn(t)
donde las funciones Ci (x) se obtienen a partir de la solución del sistema V (t)Cr (t) = f (t); esto es,
x1 n 1
1.(t) ... x1 (t) C r (x) f1(t)
. .. .. ..
(3.4)
. . r.
= .
x1 n
n (t) . . . xn(t) Cn(x) fn(t)
ir
.n
Pero L(xi (t)) = 0, ∀ i, luego x (t) = A(t)xi (t) y, por tanto, para que xP (t) = i=1 Ci (t)x
i (t)
sea solución
de la ecuación lineal completa es suficiente con que
n
.
L(xP (t)) = Cir(t)x i(t) = f (t)
i=1
expresión que, en forma explı́cita es el sistema (3.4), el cual es compatible y determinado, ya que
{x1 (t), . . . , xn (t)} es un conjunto de soluciones linealmente independientes del sistema homogéneo y, por
tanto, det (x1 (t), . . . , xn (t)) ƒ= 0, ∀ t ∈ I, luego existe solución {C r (t)} y de aquı́ {Ci (t)}.
i
Un sistema de ecuaciones diferenciales de primer orden lineal con coeficientes constantes es un sistema de n
ecuaciones diferenciales lineales de primer orden que, expresado en forma expl´ıcita, es
dx1 = a1 n
L(x(t)) = 0
Los resultados expuestos para el caso general siguen siendo válidos, por supuesto. En concreto, la solución
general de un sistema de n ecuaciones diferenciales de primer orden lineal con coeficientes constantes está
dada por x(t) = xP (t)+Ker L donde xP (t) es una solución particular cualquiera del sistema y Ker L designa
la solución general del sistema lineal homogéneo asociado. Como, además, para el operador L del sistema
se tiene que dim (Ker L) = n, dicha solución general será del tipo
En general la forma más sencilla de integrar un sistema de esta ı́ndole suele ser convertirlo en una sóla
ecuación de orden superior, que será necesariamente lineal con coeficientes constantes; siguiendo el método
expuesto en el apartado 3.2.2. Sin embargo, existen métodos para calcular una matriz fundamental (esto es,
un sistema fundamental de soluciones) del sistema homogéneo asociado a un sistema lineal con coeficientes
constantes. De aquı́ se obtiene directamente la solución general del sistema homogéneo y, por aplicación del
método de variación de las constantes, una solución particular del sistema completo. Estudiaremos dichos
métodos a continuación.
3.4.2 Estudio del sistema homogéneo (con matriz del sistema diagonalizable)
Comenzaremos considerando el caso en que la matriz A del sistema es diagonalizable. Esta situación
se presenta cuando todas las ra´ıces λ del polinomio caracter´ıstico de A tienen multiplicidad algebraica
(multiplicidad de la raı́z) es igual a la dimensión del subespacio de vectores propios asociados a ese valor
propio; es decir, es igual a dim ker (A − λ Id).
El primer resultado es el siguiente:
Proposición 25 Sea el sistema lineal homogéneo con coeficientes constantes (3.6) y sea v ≡ (v1 , . . . , vn ) ∈
Rn un vector propio de A de valor propio real λ ∈ R. Entonces
x(t) = eλtv = eλt(v1, . . . , vn) ∈ C∞(I, Rn)
Proposición 26 Sea el sistema lineal homogéneo con coeficientes constantes (3.6) y sea v ≡ (v1 , . . . , vn ) ∈
Cn un vector propio de A de valor propio λ = α + iβ ∈ C, (α, β ∈ R). Entonces
x(t) = eλtv = eλt(v1, . . . , vn) ∈ C∞(I, Cn)
es solución (compleja) del sistema.
Dado que el sistema de ecuaciones diferenciales es de coeficientes y funciones reales, también sus soluciones
han de poder expresarse por medio de funciones reales; luego en este último caso hay que ver como obtener
soluciones reales a partir de la solución compleja hallada. Entonces:
Proposición 27 Sea el sistema lineal homogéneo con coeficientes constantes (3.6) y sea v ≡ (v1 , . . . , vn ) ∈
Cn un vector propio de A de valor propio complejo λ = α + iβ ∈ C, (α, β ∈ R). Entonces v ≡ v1 + iv2, con v 1,
2
v ∈ R ,y
n
( Dem. ) La primera parte es una consecuencia del resultado anterior y de la proposición 20.
Veamos que son linealmente independientes.
Si λ = α + iβ es valor propio del vector propio v = v 1 + iv 2 (con v 1 , v 2 ∈ Rn ), también lo es su conjugada
λ̄ = α − iβ, del vector propio v̄ = v 1 − iv 2 . En efecto, ya que
Av = λv ⇒ Āv̄ = Av̄ = λ̄v̄
(pues A = Ā por ser los coeficientes del sistema reales). Como λ ƒ= λ̄, entonces v y v̄ son vectores
linealmente independientes por ser vectores propios de autovalores diferentes, luego
det (x1(t), x2(t)) = det (eαt cos βt v1 − eαt sin βt v2, eαt sin βt v1 + eαt cos βt v2)
= e2αt cos βt sin βtdet (v1, v1) + e2αt cos2 βt det (v1, v2)
−e2αt sin2 βt det (v2, v1) − e2αt cos βt sin βt det (v2, v2)
= e2αtdet (v1, v2)(sin2 βt + cos2 βt) = e2αtdet (v1, v2) ƒ= 0
Teniendo todo ésto en cuenta, para obtener la solución general de un sistema de n ecuaciones diferenciales
lineal homogéneo con coeficientes constantes hará falta únicamente disponer de n vectores propios de A
linealmente independientes. Entonces:
Ecuaciones Diferenciales. 45
Teorema 16 Sea un sistema de n ecuaciones diferenciales lineal homogéneo con coeficientes constantes
(3.6). Sea v 1, . . . , vn una base de vectores (en Rn o en Cn ) formada por vectores propios de A y λ1, . . . , λn
sus valores propios respectivos, (que pueden ser reales o complejos, distintos o repetidos). Entonces las
funciones
x1(t) = eλ 1t v1, . . . , xn(t) = eλnt vn
forman una base de ker L (quizás en C) y, por consiguiente, det (x1 (t), . . . , xn (t)) ƒ= 0, ∀ t.
Observación:
• En el caso en que la base de la proposición anterior no sea real, es posible hallar una base de funciones
reales aplicando la proposición 27. En efecto, considérese el vector propio vi y su conjugado v̄i , cuyos
autovalores son λi ∈ C y su conjugado λ̄i , respectivamente. Tomando la parte real e imaginaria de
eλi t vi se obtienen dos funciones reales linealmente independientes, mientras que si se toman la parte
real e imaginaria de eλ̄i t v̄i se obtienen dos funciones reales linealmente independientes entre si, pero
linealmente dependientes de las dos anteriores (de este modo, el número final de funciones solución es el
mismo).
Concluyendo, la solución general de un sistema de ecuaciones diferenciales lineal homogéneo con coefi-
cientes constantes se obtiene del siguiente modo:
3.4.3 Estudio del sistema homogéneo (con matriz del sistema no diagonalizable)
En el caso en que la matriz A de un sistema de ecuaciones diferenciales lineal homogéneo con coeficientes
constantes no sea diagonalizable, no va a ser posible hallar una base de Rn o Cn formada por vectores propios
de la misma y, por consiguiente, no es aplicable el teorema 16 para encontrar la solución general del sistema.
Esta situación se presenta cuando hay alguna raı́z λ del polinomio caracterı́stico de A cuya multiplicidad
algebraica (multiplicidad de la raı́z) es mayor que la dimensión del subespacio de vectores propios asociados
a ese valor propio; es decir, mayor que dim ker (A − λ Id).
Para resolver este problema se intentará seguir un método análogo al caso de las ecuaciones diferenciales
de orden superior cuando hab´ıa alguna ra´ız del polinomio caracter´ıstico con multiplicidad mayor que 1. En
n−1
.
tal caso, se tratará de encontrar soluciones del tipo x(t) = vi ti eλt .
i=0
Lema 4 Sea un sistema de n ecuaciones diferenciales lineal homogéneo con coeficientes constantes (3.6)
tal que el polinomio caracterı́stico de A tiene una o varias raı́ces λ de multiplicidad µ ≥ 1. Entonces
dim ker (A − λ Id)µ = µ.
( Dem. ) Por simplicidad, se demostrará para el caso en que el polinomio caracterı́sticonde A tiene una
sóla raı́z λ de multiplicidad µ = n. El polinomio caracterı́sticon de la matriz A, P(A) = (−1) (x − λ)n , anula
dicha matriz (teorema de Cayley-Hamilton), luego (A − λ Id) = 0 y de aqu´ı
dim ker (A − λ Id)n = n − rg (A − λ Id)n = n
Ecuaciones Diferenciales. 46
En el caso en que haya más de una raı́z la demostración se generaliza de manera inmediata.
Como ya se ha dicho, la situación de partida es que no existe una base de Rn o Cn formada por vectores
propios, ya que dim ker (A − λ Id) < µ. Como
ker (A − λ Id) ⊆ ker (A − λ Id)2 ⊆ . . . ⊆ ker (A − λ Id)m ⊆ . . . ⊆ ker (A − λ Id)µ resulta
que las respectivas dimensiones de estos subespacios verifican las desigualdades
Proposición 28 Sea un sistema de n ecuaciones diferenciales lineal homogéneo con coeficientes constantes
(3.6). Sea λ una raı́z del polinomio caracterı́stico de la matriz del sistema A, de multiplicidad µ > 1, y sean
v1, . . . , vr vectores de una base de ker (A−λ Id)µ pero que no pertenecen a ker (A−λ Id)µ−1. Entonces, para
cada vector vj (j = 1, . . . , r), las funciones
λt µ−1 j
xj
1 (t) = e λt
(A − λ Id) v
µ−1 j µ−2 j
xj (t(A − λ Id) v + (A −λ Id) v)
2 (t) = e .
.
λt t2 µ−1 j µ−2 j µ−3 j
xj (A λ Id)
3(t) = e − v + t(A − λ Id) v + (A − λ Id) v
2!
.
..
. m−1 .
xj λt t µ−1 j j j
(A λ Id)
m(t) = e v + . . . + t(A − λ Id)v + v
(m − 1)! −
son linealmente independientes y, además, son la soluciones del sistema homogéneo.
de donde j j j jr
Ax (t) = λx (t) + x (t) = x (t)
i i i−1 i
1. Hallar todos los valores propios de A. Entonces, para cada valor propio λ (con multiplicidad µ > 1):
2. Se buscan todos los vectores propios de A, esto es, los vectores vj0 (j0 = 1, . . . , d1) de una base de
ker (A − λ Id). Si A tiene sólo d1 < n vectores propios linealmente independientes, de acuerdo con los
resultados del apartado anterior, se dispone de d1 soluciones linealmente independientes del tipo
eλt vj0
3. Se buscan todos los vectores vj1 (j1 = 1, . . . , d2 − d1) de una base de ker (A − λ Id)2 tales que
(A − λ Id)2 vj1 = 0 pero (A − λ Id)vj1 ƒ= 0
De acuerdo con la anterior proposición, para cada uno de estos vectores hay una solución del tipo
eλt (t(A − λ Id)vj1 + vj1 )
y todas ellas (d2 − d1 ) son linealmente independientes entre si y en relación a las d1 del punto anterior.
4. Si aún no se tienen n soluciones linealmente independientes, se buscan todos los vectores vj2 (j2 =
1, . . . , d3 − d2 − d 1) de una base de ker (A − λ Id)3tales que
(A − λ Id)3 vj2 = 0 pero (A − λ Id)2 vj2 ƒ= 0
De acuerdo con la anterior proposición, para cada uno de estos vectores hay una solución del tipo
. 2 .
eλt t (A − λ Id)2 vj2 + t(A − λ Id)vj2 + vj2
2!
y todas ellas (d3 − d2 − d1 ) son linealmente independientes en relación a las de los puntos anteriores
(según se ha probado en la proposición precedente).
5. Se itera el proceso hasta completar las n soluciones linealmente independientes 2.
Comentario:
• Otra manera equivalente de proceder ser´ıa la siguiente: se buscan todos los vectores vj (j = 1, . . . , µ)
de una base de ker (A − λ Id)µ (que obviamente contendrá vectores vj0 , vj1 , vj2 . . . de bases de ker (A − λ
Id), ker (A − λ Id)2 , . . . respectivamente). Entonces, para cada uno de esos vectores hay una solución
del tipo .
. j t2 2 j
e λt v + t(A − λ Id)v j
+ (A − λ Id) v + . . .
2!
y todas ellas son linealmente independientes. Obsérvese que cuando vj coincide con alguno de los
vectores vj0 , vj1 , vj2 . . . se van obteniendo, en particular, las soluciones anteriores de manera sucesiva.
una cota superior del número de pasos que se requiere para alcanzar el objetivo (véase M. Braun, Ecuaciones Diferenciales y
sus Aplicaciones, Grupo Ed. Iberoamérica (1990))
Ecuaciones Diferenciales. 48
Proposición 29 Sea un sistema de n ecuaciones diferenciales lineal no homogéneo con coeficientes con-
stantes (3.7). Si
f (t) = eλt(vptp + . . . + v1t + v0)
donde λ no es valor propio de la matriz del sistema A y vi ∈ Rn (0 ≤ i ≤ p), entonces una solución
particular del sistema es
xP (t) = eλt(uptp + . . . + u1t + u0)
donde
up = (λ Id − A)−1vp
up−1 = (λ Id − A)−1(vp−1 − pup)
up−2 = (λ Id − A)−1(vp−2 − (p − 1)up−1)
.
..
u0 = (λ Id − A)−1(v0 − u1)
(obsérvese que (λ Id − A) es inversible ya que λ no es valor propio de A).
4.1 Introduccion
En este cap´ıtulo se va a abordar el estudio cualitativo de los sistemas de ecuaciones diferenciales (de primer
orden).
Se comenzará dando una serie de conceptos generales que incluyen el planteamiento del problema y
las primeras nociones y resultados de puntos de equilibrio, estabilidad y comportamiento asintótico de
soluciones, asi como los conceptos de espacio de fases, órbitas y curvas integrales de un sistema. Se estudia,
a continuación, el problema de la estabilidad. Tras establecer con todo rigor la definición y un resultado
de caracter general, se analiza primero la estabilidad de los sistemas lineales y, en particular, la de los
sistemas lineales homogéneos con coeficientes constantes, para pasar a investigar la de los sistemas lineales
completos. Finalmente, se considera la estabilidad de sistemas autónomos en general y se da un resultado
sobre estabilidad cuando se efectuan pequeñas variaciones del segundo miembro de una ecuación diferencial.
Igual que en los capı́tulos anteriores, siempre que no se haga alguna precisión más concreta, se asumirá
que todas las funciones son diferenciables con continuidad hasta el orden que se desee.
En este cap´ıtulo se va a comenzar considerando sistemas de ecuaciones diferenciales de primer orden de tipo
general
xr(t) = f (t, x(t)) (4.1)
donde
x(t) = (x1(t), . . . , xn(t)) , f (t, x(t)) = (f1(t, x(t)), . . . , fn(t, x(t)))
siendo el segundo miembro una función vectorial, no necesariamente lineal, de las variables x1 , . . . , xn .
Desgraciadamente, en general, no se conocen métodos analı́ticos de resolución de estas ecuaciones. Afor-
tunadamente, en la mayorı́a de los casos prácticos, no es necesario conocer explı́citamente las soluciones del
sistema, sino que basta con obtener resultados de tipo cualitativo sobre el comportamiento del sistema.
Un ejemplo t´ıpico lo constituyen los modelos que describen la competencia entre especies (modelos
depredador-presa o similares). El problema se plantea en los siguientes términos: sean x1 (t) y x2 (t) las
poblaciones (en función del tiempo) de dos especies que compiten entre si por los recursos existentes en su
“habitat”, de tal manera que sus respectivas tasas de crecimiento-decrecimiento están regidas por un sistema
49
Ecuaciones Diferenciales. 50
de ecuaciones diferenciales del tipo (4.1). De modo general, no se va a estar interesado realmente en los
valores precisos de x1 (t) y x2 (t) en cada instante t sino, más bien, en las propiedades cualitativas de estas
funciones. Concretamente, se intentará hallar respuesta a las siguientes cuestiones:
1. ¿Existen valores ξ1, ξ2 de x1(t) y x2(t) respectivamente para los que ambas especies coexisten en un
estado estable? En otra palabras, ¿existen ξ1 , ξ2 ∈ R tales que x1 (t) = ξ1 y x2 (t) = ξ2 es una solución
de (4.1)?
2. Suponiendo que en un instante dado ambas especies están coexistiendo en equilibrio, ¿qué sucede si se
incrementa ligeramente el número de miembros de una de ellas?: ¿continúa habiendo equilibrio o una
de ellas se impone sobre la otra?
3. Suponiendo que x1(t) y x2(t) tienen valores dados en t = 0; ¿que ocurre cuando t → ∞?: ¿prevalece
una especie sobre la otra?, ¿se tiende a una situación de equilibrio? o, como mı́nimo, ¿se tiende a una
solución periódica?
1. Se denominan puntos de equilibrio del sistema a los puntos ξ ≡ (ξ1, . . . , ξn ) ∈ Rn tales que
x(t) ≡ (x1(t), . . . , xn(t)) = (ξ1, . . . , ξn) ≡ ξ
es solución del sistema.
2. Se dice que las soluciones son estables sii, dada una solución del sistema x1 (t), para toda otra solución
x2(t) tal que para un valor inicial t0 y para todo i = 1, . . . , n, x1(t0) y x2(t0) tienen valores muy
cercanos, se cumple que los valores x1 (t) y x2 (t) permanecen próximos, para todo t > t0 y para todo
i i
i i
i = 1, . . . , n.
3. Si x(t) es una solución del sistema, se denomina comportamiento asintótico de la misma a su com-
portamiento cuando t → ∞; es decir, al resultado de hacer lim x(t) .
→∞
t
Ası́ pues, nuestro interés será estudiar las siguientes propiedades de las soluciones de (4.1):
Es importante destacar, a este respecto que, a menudo, se puede encontrar una respuesta satisfactoria a
estas cuestiones sin necesidad de resolver expl´ıcitamente el sistema de ecuaciones. As´ı, en lo referente a la
cuestión de los puntos de equilibrio se tiene el resultado siguiente:
( Dem. ) Basta observar que, considerada una solución x(t), se tiene que xr (t) = 0 si, y sólo si, x(t) = x0 ;
esto es, es constante.
Comentario:
Ecuaciones Diferenciales. 51
• Como consecuencia, obsérvese que todo punto de equilibrio de un sistema es un punto crı́tico de las
funciones x(t) solución (es decir, de las curvas integrales).
Incluso para sistemas autónomos, sólo hay dos casos en los cuales se ha completado el estudio de la
estabilidad:
1. Cuando f (x) = Ax; esto es, para sistemas lineales homogéneos y completos con coeficientes constantes.
2. Cuando, no siendo el sistema lineal homogéneo con coeficientes constantes, sólo interesa el estudio de
la estabilidad de las soluciones de equilibrio.
Puesto que, de acuerdo con lo dicho, en adelante sólo se van a considerar sistemas autónomos, es impor-
tante destacar el siguiente resultado:
Proposición 31 Todo sistema de n ecuaciones diferenciales no autónomo de la forma (4.1) puede trans-
formarse en un sistema equivalente de n + 1 ecuaciones diferenciales autónomo.
Considérese un sistema de n ecuaciones diferenciales de la forma (4.1), con condiciones iniciales dadas
x(t0) = x0 ≡ (x0, . . . , x0 )
1 n
Ecuaciones Diferenciales. 52
Si las funciones f1 , . . . , fn no dependen explı́citamente de t (sistema autónomo), se puede dar una inter-
pretación de las soluciones x(t) = (x1 (t), . . . , xn (t)) del problema que es particularmente cómoda (y nece-
saria) para abordar el estudio de la estabilidad. As´ı, en el espacio eucl´ıdeo Rn, de coordenadas rectangulares
{x1 , . . . , xn }, la solución x1 = x1 (t), . . . , xn = xn (t) determina la ley de movimiento de un punto que
sigue una cierta trayectoria según la variación del parámetro t, que en esta interpretación se identificará
con(t),el .tiempo.
. . , x (t) De
sus este modo, la Ésta
componentes. derivada
es una xr(t) representa la
interpretación natural yde
velocidad
muy un punto
cómoda de la trayectoria
en ciertos y
problemas de
1 n
xr r
Fı́sica y Mecánica. Entonces:
4. La representación de las órbitas del sistema (en E) se denomina diagrama de fases del sistema.
Proposición 32 Sea un sistema dinámico autónomo cuyo espacio de fases es E ⊆ Rn y tal que se cumplen
las hipótesis del teorema de existencia y unicidad. Entonces por cada punto x0 ∈ E del espacio de fases
pasa una sóla trayectoria del sistema (es decir, las órbitas de un sistema autónomo no se cruzan en ningún
punto).
( Dem. ) Sean x1(t) y x2(t) sendas soluciones tales que x1(t0) = x0 y x2(t1) = x0. Entonces la primera es
solución del problema de valor inicial
y la segunda lo es de
xr(t) = f (x(t)) , x(t1) = x0
Entonces, teniendo en cuenta que el sistema es autónomo, resulta que x3 (t) := x2 (t + t1 − t0 ) es también
solución del primer problema de valor inicial, por consiguiente se tendrá que x3 (t) = x2 (t + t1 − t0 ) = x1 (t),
por lo que las órbitas de x1 (t) y x2 (t) han de ser las mismas.
Ejemplo:
• El sistema de ecuaciones
dx dy
= −y ,
dt
=x
dt
tiene la siguiente familia de soluciones
Una de las ventajas de trabajar con las trayectorias u órbitas de un sistema en vez de con la solución
misma del sistema (esto es, las curvas integrales), es que, a menudo, es posible conocer aquéllas sin necesidad
de resolver el sistema; es decir, sin obtener las curvas integrales. En efecto, por simplicidad se va a mostrar
el procedimiento en el caso particular de sistemas de dos ecuaciones (n = 2).
dy g(x, y) (4.3)
=
dx f (x, y)
( Dem. ) Sea x = x(t), y = y(t) una solución del sistema dado y, por tanto, (x(t), y(t)) una órbita del
sistema. Sea t = t1 tal que xr (t1 ) ƒ= 0 entonces, de acuerdo con el teorema de la función implı́cita, se
puede
despejar t como función de x en la primera ecuación, t = t(x), en un entorno del punto x1 = x(t1 ). De este
modo, paray todo
la función t próximo
= y(t(x)) a t1Entonces,
≡ Y (x). , la órbitaaplicando
de la solución dada,
la regla de expresada
la cadena yenelforma explı́cita,
teorema viene dada
de la función por
inversa
a esta función resulta
dy
dy dy dt dt = g(x, y) (4.4)
= = dx
dx dt dx f (x, y)
dt
cuya solución es, obviamente, y = Y (x)+C. Estas funciones, representadas en R2 son las curvas integrales de
la ecuación (4.4) que, por construcción, coinciden con las órbitas del sistema dado. Con ello queda probado el
resultado.
Ası́ pues, para hallar las órbitas del sistema autónomo de primer orden (4.2) basta con resolver la ecuación
diferencial de primer orden (4.3). Esta ecuación da la pendiente de la recta tangente a la trayectoria del
sistema (4.2) que pasa por el punto (x, y), siempre que en dicho punto las funciones f y g no se anulen
simultaneamente (si ası́ fuera el caso, el punto en cuestión serı́a un punto crı́tico y por él no pasarı́a ninguna
órbita).
Comentarios:
• Obsérvese que hay una sutil diferencia entre las órbitas de (4.2) y las curvas integrales de (4.3),
y es que, mientras que las primeras son curvas orientadas (con la orientación natural dada por la
parametrización), las segundas no lo son.
Ecuaciones Diferenciales. 54
• De la ecuación de las trayectorias obtenida de esta manera, que por tanto están dadas, en general,
en forma implı́cita, podrá obtenerse la solución del sistema de partida sólo si es posible hallar una
parametrización de dicha familia de curvas que satisfaga el sistema original.
En esta sección se comienza a analizar el problema de la estabilidad de los sistema de ecuaciones diferenciales
(autónomos).
xr(t) = f (x(t)) (4.5)
Empezaremos precisando algo más la noción de estabilidad establecida en la definición 20.
Deftnición 23 (Liapunov): Sea un sistema de n ecuaciones diferenciales (autónomo o no) y una solución
(órbita) del sistema x(t) = (x1 (t), . . . , xn (t)).
1. x(t) es una solución estable sii, para todo ε ∈ R+ , existe δ ≡ δ(ε) ∈ R+ tal que, para cualquier solución
y(t) = (y1 (t), . . . , yn (t)) que en t0 satisfaga que |yi (t0 ) − xi (t0 )| < δ, (para todo i = 1, . . . , n), se cumple
que |yi (t) − xi (t)| < ε, en cualquier t > t0 .
2. x(t) es una solución asintóticamente estable sii:
(a) Es una solución estable.
(b) Existe δ ∈ R+ tal que, para cualquier solución y(t) = (y1 (t), . . . , yn (t)) que en t0 satisfaga que
|yi (t0 ) − xi (t0 )| < δ, (para todo i = 1, . . . , n), se cumple que
lim |yi (t) − xi (t)| = 0
t →∞
Obsérvese que una solución es asintóticamente estable si, y sólo si, cualquier otra que en t0 permanece
próxima a la dada, para cualquier otro valor t > t0 , no sólo sigue permaneciendo próxima, sino que además
se confunde con la inicial cuando t → ∞.
Ejemplo: Considérese el sistema formado por el péndulo simple en el plano. Su ecuación de movimiento
es
d2θ + g sin θ = 0
dt2 l
que, poniendo x1 = θ, se transforma en el siguiente sistema de primer orden:
dx1
= x ; dx2 = g sin x
− 1
dt
2 dt l
Este sistema tiene dos soluciones de equilibrio que son
x1 = 0 , x2 = 0 y x1 = π , x2 = 0
En las siguientes secciones se analizará la estabilidad y la estabilidad asintótica de las soluciones de los
sistemas de ecuaciones diferenciales lineales y, en particular, con coeficientes constantes, ya que en este caso
es posible hallar la solución analı́ticamente.
Ecuaciones Diferenciales. 55
Un sistema de estas caracterı́sticas siempre tiene como solución particular x0 (t) = 0. Entonces, el siguiente
teorema relaciona la estabilidad de cualquier solución con la de ésta.
Teorema 17 Sea un sistema de ecuaciones diferenciales lineal homogéneo del tipo (4.6).
( Dem. )
1. Si la solución x0 (t) = 0 es estable, entonces, ∀ ε > 0, ∃ δ > 0 tal que, para toda solución y(t) tal que
|yi (t0 )| < δ (∀ i), se cumple que |yi (t)| < ε, ∀ t > t0 .
Sea x(t) cualquier otra solución. Se ha de probar que es estable. Sea ε > 0 y cualquier solución z(t)
tal que |zi (t0 ) − xi (t)| < δ (∀ i), entonces, tomando y(t) := x(t) − z(t) es también solución (por ser el
sistema lineal) y satisface las condiciones del párrafo anterior, luego se tiene que, ∀ t > t0 y ∀ i
|yi (t)| = |zi (t0 ) − xi (t)| < ε
2. Si la solución x0 (t) = 0 es asintóticamente estable entonces es estable por definición y, por el apartado
anterior, cualquier solución x(t) es también estable. Hay que ver que también lo es asintóticamente.
Por serlo x0 (t) = 0, ∃ δ > 0 tal que, para toda solución y(t) tal que |yi (t0 )| < δ (∀ i), se cumple
que lim→∞ |yi (t)| = 0 . Sea cualquier solución z(t) tal que |zi (t0 ) − xi (t)| < δ (∀ i), entonces, tomando
y(t) := x(t) − z(t) es también solución (por ser el sistema lineal) y satisface las condiciones del párrafo
t
3. Se va a probar la negación del enunciado; esto es, que si existe alguna solución x(t) estable, entonces
x0(t) = 0 es estable.
Sea y(t) una solución cualquiera próxima a x0 (t) = 0 en t0 , entonces z(t) = y(t) + x(t) es otra solución
(por ser el sistema lineal) próxima a x(t) en t0 y, por consiguiente, para todo t (ya que x(t) es estable).
Por tanto, y(t) permanece próxima a x0 (t) = 0 para todo t > t0 , luego x0 (t) = 0 es estable.
4. Análoga a la del apartado anterior.
Ası́ pues, para estudiar la estabilidad de un sistema de ecuaciones diferenciales lineal homogéneo basta
con analizar la de la solución nula. En el siguiente apartado se hará este análisis para sistemas de ecuaciones
diferenciales lineales homogéneos con coeficientes constantes.
Ecuaciones Diferenciales. 56
Considérese un sistema de ecuaciones diferenciales lineal homogéneo con coeficientes constantes (y, por tanto,
autónomo)
xr(t) = Ax(t) (4.7)
Vamos a estudiar, por simplicidad, el caso en que A ∈ M2×2(R); es decir, sistemas de dos ecuaciones
diferenciales (a fin de poder hacer razonamientos sobre sus órbitas, que están en el plano R2 ). Explı́citamente
escrito el sistema es
dx
= a1 2
1x(t) + a1y(t)
dy
dt
= a1 2
2 x(t) + a 2y(t)
dt
y se pueden distinguir los siguientes casos:
1. A tiene valores propios reales, λ1, λ2 ∈ R, y det A ƒ= 0 (es decir, ninguno de ellos es nulo).
En este caso, el único punto de equilibrio del sistema es (0, 0). Se pueden distinguir los siguientes
subcasos:
(a) λ1 > λ2 > 0 (ambos son positivos y distintos).
Si v 1 , v 2 ∈ R2 son los vectores propios correspondientes, la solución general es
. .
x(t)
x(t) = c1eλ1tv1 + c2e λ2tv2 ≡ y(t)
• Si t → +∞ entonces x(t), y(t) → ∞ (positivo o negativo).
• Si t → −∞ entonces x(t), y(t) → 0.
Del diagrama de fases formado por las trayectorias se observa que x0 (t) = 0 es solución inestable,
luego toda solución es inestable.
Se dice, entonces, que el punto de equilibrio es un nodo inestable.
(b) λ1 < λ2 < 0 (ambos son negativos y distintos).
Si v 1 , v 2 ∈ R2 son los vectores propios correspondientes, la solución general es
. .
x(t)
x(t) = c1eλ1tv1 + c2e λ2tv2 ≡ y(t)
• Si t → +∞ entonces x(t), y(t) → 0.
• Si t → −∞ entonces x(t), y(t) → ∞ (positivo o negativo).
Entonces, del diagrama de fases formado por las trayectorias se observa que x0 (t) = 0 es solución
asintóticamente estable, luego toda solución es asintóticamente estable.
Se dice, entonces, que el punto de equilibrio es un nodo estable.
(c) λ1 < 0 < λ2 (uno es positivo y otro negativo).
Si v 1 , v 2 ∈ R2 son los vectores propios correspondientes, la solución general es
. .
x(t)
x(t) = c1eλ1tv1 + c2e λ2tv2 ≡ y(t)
Del diagrama de fases formado por las trayectorias se observa que x0 (t) = 0 es solución inestable,
luego toda solución es inestable.
Se dice, en este caso, que el punto de equilibrio es un punto de silla.
(d) λ1 = λ2 ≡ λ > 0 (ambos son positivos e iguales).
Hay que distinguir dos posibilidades:
i. Hay dos vectores propios v 1, v2 linealmente independientes; esto es, dim ker (A − λId) = 2.
En este caso la solución general es
. .
x(t) = (c1v1 + c2v2)eλt ≡ x(t)
y(t)
Ecuaciones Diferenciales. 57
Del diagrama de fases formado por las trayectorias se observa que x0 (t) = 0 es solución inestable,
luego toda solución es inestable.
Se dice que el punto de equilibrio es un foco inestable.
(b) α < 0.
• Si t → +∞ entonces x(t), y(t) → 0.
• Si t → −∞ entonces x(t), y(t) → ∞ (positivo o negativo).
Del diagrama de fases formado por las trayectorias se observa que x0 (t) = 0 es solución
asintóticamente estable, luego toda solución es asintóticamente estable.
Se dice que el punto de equilibrio es un foco estable.
(c) α = 0.
En este caso, la solución del sistema es
. .
x(t) = (c1 cos βt + c2 sin βt)v1 + (c2 cos βt − c1 sin βt)v1 ≡ x(t)
y(t)
luego las soluciones son órbitas periódicas y, por tanto, son curvas cerradas 1 . Del diagrama
de fases formado por las trayectorias se observa que x0 (t) = 0 es solución estable pero no
asintóticamente estable, luego toda solución es estable pero no asintóticamente estable.
Se dice que el punto de equilibrio es un centro.
3. det A = 0. En este caso hay, al menos, un valor propio que es nulo.
Hay diversos casos a analizar:
(a) λ1 = 0, λ2 ƒ= 0 (el segundo valor propio es no nulo).
En este caso dim ker A = 1. Sea, entonces, v1 un vector base de ker A y sea v2 un vector propio
correspondiente al valor propio λ2 . Entonces la solución general es
. .
x(t)
x(t) = c1v1 + c2eλ2tv2 ≡ y(t)
Entonces, del diagrama de fases formado por estas trayectorias se observa que x0(t) = 0 es
solución estable pero no asintóticamente estable, luego toda solución es estable pero no
asintóticamente estable.
Se dice que el punto de equilibrio es de equilibrio estable.
(b) λ1 = λ2 = 0 (ambos valores propios son nulos).
Hay dos casos posibles:
i. dim ker A = 1.
Sea, entonces, v1 un vector base de ker A y sea v2 un segundo vector que completa una base
de R2 . La solución general es
. .
x(t) = (c1 + c2t)v1 + c2v 2 ≡ x(t)
y(t)
Si c2 ƒ= 0, se trata de una familia de rectas paralelas (con vector director v1), para la cual
• Si t → +∞ entonces x(t), y(t) → ∞ (positivo cuando c2 > 0 y negativo cuando c2 < 0).
• Si t → +∞ entonces x(t), y(t) → ∞ (negativo cuando c2 > 0 y positivo cuando c2 < 0).
Si c2 = 0 es una familia de puntos de equilibrio (inestable), los cuales se hallan sobre la recta
que pasa por el origen y tiene por vector director v1.
Del diagrama de fases formado por estas trayectorias se observa que x0 (t) = 0 es solución
inestable, luego toda solución es inestable.
Se dice que el punto de equilibrio es de equilibrio inestable.
ii. dim ker A = 2.
Sea, entonces, v 1 , v 2 una base de ker A = R2 . La solución general es
. .
x(t)
x(t) = c1v1 + c2v2 ≡ y(t)
que son todos los puntos del plano. Por consiguiente todos ellos son soluciones estables pero
no asintóticamente estables.
Se trata de puntos de equilibrio indiferente.
• Las soluciones son asintóticamente estables en todos los casos en que todos los valores propios tienen
parte real negativa (casos 1.b, 1.e.i, 1.e.ii y 2.b).
• Las soluciones son estables pero no asintóticamente estables en todos los casos en que hay valores
propios que tienen parte real negativa y también los hay con parte real nula, pero en este último caso
se cumple que dim ker (A − λId) = µ (multiplicidad de λ). (casos 2.c, 3.a.ii y 3.b.ii).
• Las soluciones son inestables en todos los casos en que hay algún valor propio que tiene parte real
positiva o nula, pero en este último caso se cumple que dim ker (A − λId) < µ (multiplicidad de λ).
(casos 1.a, 1.c, 1.d.i, 1.d.ii, 2.a, 3.a.i y 3.b.i).
Todo ello se puede generalizar a sistemas lineales homogéneos con coeficientes constantes de dn ecuaciones,
enunciando el siguiente resultado:
Teorema 18 Sea un sistema lineal homogéneo con coeficientes constantes del tipo (4.7) con A ∈ Mn×n (R).
1. Las soluciones del sistema son estables y asintóticamente estables si, y sólo si, todos los valores propios
tienen parte real negativa.
2. Las soluciones del sistema son estables pero no asintóticamnete estables si, y sólo si, todos los valores
propios tienen parte real no positiva y hay alguno con parte real nula tal que dim ker (A − λId) = µ
(multiplicidad del valor propio como raiz del polinomio caracterı́stico).
Ecuaciones Diferenciales. 60
3. Las soluciones del sistema son inestables si, y sólo si, algún valor propio tiene parte real positiva o
nula pero, en este último caso, dim ker (A − λId) < µ (multiplicidad del valor propio como raiz del
polinomio caracterı́stico) 2 .
Este teorema permite obtener resultados sobre la estabilidad de estos sistemas sin necesidad de hallar la
solución: basta con estudiar las raı́ces de la ecuación caracterı́stica del sistema.
Según se acaba de ver en el apartado anterior, el problema del estudio de la estabilidad de los sistemas de
ecuaciones lineales homogéneos con coeficientes constantes se ha reducido al análisis de los signos de las
partes reales de los valores propios o raı́ces de la ecuación caracterı́stica. Pero si ésta es de grado elevado,
su solución puede ser muy difı́cil. Es por ello que conviene disponer de métodos que permitan discernir el
signo de la parte real de las raı́ces sin necesidad de resolver la ecuación caracterı́stica. El más significativo
de ellos es el siguiente teorema de Álgebra lineal (que se enuncia sin demostrar):
bnxn + bn −1xn−1 + . . . + b 1x + b0
con bn > 0. La c.n.s. para que todas sus raı́ces tengan parte real negativa es que todos los menores principales
(∆i) de la siguiente matriz (de orden n) sean positivos
bn−1 bn 0 0 0 0 ... 0 0 0 0 0
bn−3
n−5 bn−2
n−4 bn−1
n−3 b
bn−2
n 0
bn−1 b0n ... 0 0 0 0 0
. . . . . . . . . .
. . . .. .. .. ...
.. .. .. ..
0 0 0 0 0 0 ... b0 b1 b2 b3 b4
0 0 0 0 0 0 ... 0 0 b0 b1 b2
0 0 0 0 0 0 ... 0 0 0 0 b0
Esta matriz se denomina matriz de Hurwitz.
Comentarios:
• Obsérvese que ∆n = b0 ∆n−1 , por lo que, si ∆n−1 > 0, entonces ∆n > 0 ⇔ b0 > 0.
• Para polinomios de grado alto la aplicación de este criterio es complicada y existen otros alternativos
y de más fácil ejecución para estos casos.
Considérese ahora un sistema de ecuaciones diferenciales lineal completo con coeficientes constantes
Proposición 34 Sea un sistema lineal completo. La estabilidad de sus soluciones es equivalente a la esta-
bilidad de la solución de equilibrio x0 (t) = 0 del sistema lineal homogéneo asociado xr (t) = Ax(t).
2Este enunciado es equivalente al primero.
Ecuaciones Diferenciales. 61
( Dem. ) En efecto, sean x1 (t) y x2 (t) dos soluciones del sistema completo próximas entre si en t0 , entonces
x2 (t) − x1 (t) es solución de xr (t) = Ax(t), y el resultado es inmediato.
A continuación vamos a utilizar éste y los anteriores resultados para analizar la estabilidad de las solu-
ciones de una ecuación diferencial lineal de orden n.
Proposición 35 La estabilidad de las soluciones de una ecuación diferencial lineal de orden n con coefi-
cientes constantes
y(n)(t) + an−1y(n−1)(t) + . . . + 1a yr(t) + 0a y(t) = f (t)
depende de las raı́ces del polinomio caracterı́stico de la ecuación
p(λ) := λn + an −1λn−1 + . . . + a1 λ + a0
En concreto, si A es la matriz del sistema lineal de primer orden con coeficientes constantes equivalente a esta
ecuación, se tiene que p(λ) = det(A − λId), y entonces:
1. Las soluciones de la ecuación son estables y asintóticamente estables si, y sólo si, todas las raı́ces tienen
parte real negativa.
2. Las soluciones de la ecuación son estables si, y sólo si, todas las raı́ces tienen parte real no positiva y
hay alguno con parte real nula tal que dim ker (A − λId) = µ (multiplicidad de la raı́z).
3. Las soluciones de la ecuación son inestables si, y sólo si, alguna raı́z tiene parte real positiva o nula
pero, en este último caso, dim ker (A − λId) < µ (multiplicidad de la raı́z) 3 .
dx0
dt = x1(t)
dx1
= x2(t)
dt
.
..
dxn−2
= xn−1 (t)
dt
dxn−1 a x (t) . .. a x (t) a x (t) + f (t)
= − n−1 n−1 − − 1 1 − 0 0
dt
siendo
0 1 0 ... 0 0
0
0
0 0 1 ... 0 0 .
. . .
.. .. . ; f (t) =
A= . . .. . .
.
0 0 0 ... 0 1
0
f (t)
−a0 −a1 −a2 . .. −an−2 −an−1
Entonces sólo queda por probar que el polinomio caracterı́stico de la matriz A y el de la ecuación lineal dada
son el mismo, con lo que el resultado es una consecuencia inmediata de la proposición 34 y el teorema 18.
Dicha prueba se hace por inducción:
• Si n = 2: Entonces
. .
A= 0 1 ⇒ det (A − λId) = λ2 + a1λ + a0 ≡ p(2)(λ)
−a0 −a1
3Este enunciado es equivalente al primero.
Ecuaciones Diferenciales. 62
• Si es cierto para n − 1, entonces es cierto para n: Por hipótesis de inducción, para n − 1 se tiene
El estudio de la estabilidad de las soluciones de sistemas no lineales sólo está completado para las soluciones
de equilibrio.
Para abordar el estudio de la estabilidad de las soluciones de equilibrio de sistemas autónomos no lineales
se consideran primero los sistemas “casi lineales” autónomos del tipo
Deftnición 24 Dado un sistema de ecuaciones diferenciales del tipo (4.9), se denomina sistema linealizado
asociado al mismo a
xr(t) = Ax(t)
Teorema 20 Sea un sistema de ecuaciones diferenciales del tipo (4.9), tal que
1. g(0) = 0.
g(x(t)) g(x(t))
2. es una función continua y lim =0.
"x(t)" x→0 "x(t)"
Entonces la solución de equilibrio x0 (t) = 0 del sistema linealizado es también una solución de equilibrio del
sistema y:
1. Si todos los valores propios de A tienen parte real negativa entonces la solución de equilibrio x0 (t) = 0
del sistema es asintóticamente estable.
2. Si la matriz A tiene algún valor propio con parte real positiva entonces la solución de equilibrio x0 (t) = 0
del sistema es inestable.
3. En el resto de los casos no se puede asegurar nada sobre la estabilidad de la solución de equilibrio
x0(t) = 0 del sistema.
Teniendo esto en cuenta, el estudio de la estabilidad de las soluciones de equilibrio de sistemas autónomos
no lineales pasa por la “linealización” de los mismos.
Ecuaciones Diferenciales. 63
donde g es una función que contiene sólo términos cuadráticos o de orden superior en zk y verifica que
g(z(t))
lim =0.
z→0 "z(t)"
( Dem. ) Desarrollando f (x) por Taylor en un entorno de x0, y teniendo en cuenta que f (x0) = 0,
. .
0 0
. .. ∂fi .
f (x) = f (z + x ) = f (x ) + ∂fi .. z(t) + g(z(t)) = .
. z(t) + g(z(t))
∂xk x=x0 ∂xj x=x0
g(z(t))
con lim = 0 , y como x) = z + x0, se tiene que
z→0 "z(t)"
dz(t) dx(t)
= = f (z + x0)
dt dt
de donde la ecuación (4.10) queda transformada en (4.11), y x = x0 es solución de equilibrio de (4.10) si, y
sólo si, z = 0 es solución de equilibrio de (4.11). De ahı́ el resultado.
Por consiguiente, como corolario del teorema 20 y de esta proposición se obtiene que el estudio de la
estabilidad de las soluciones de equilibrio de un sistema autónomo se basa en el análisis del signo de la parte
real de los valores propios de la matriz jacobiana de la función f en los puntos de equilibrio; esto es:
dx(t)
= f (x(t))
dt
y sea x0 un punto de equilibrio cualquiera del sistema (esto es, tal que f (x0) = 0). Entonces:
.
.
1. Si todos los valores propios de la matriz ∂fi .. tienen parte real negativa, entonces la solución
.
∂xj x=x0
de equilibrio xeq (t) = x0 del sistema inicial es asintóticamente estable.
. . ..
2. Si la matriz ∂fi . tiene algún valor propio con parte real positiva, entonces la solución de
∂xj x=x0
equilibrio xeq (t) = x0 del sistema inicial es inestable.
3. En el resto de los casos no se puede asegurar nada sobre la estabilidad de la solución de equilibrio
xeq (t) = x0 del sistema inicial.
La Transformación de Laplace
5.1 Introduccion
65
Ecuaciones Diferenciales. 66
En los ejemplos de cálculo que se muestran en la sección 5.2.3 puede observarse que la transformada de
Laplace de una función dada puede no existir para algunos valores de s o, incluso, para ningún valor de s, tal
como muestra el siguiente caso:
Ejemplo:
• La función f (t) = et 2 no admite transformada de Laplace ya que, para cualquier s, se tiene que
2
e−stet = et(t−s) > et
para t > s + 1, luego para x > s + 1
¸ x ¸ x
e−stet dt > lim
2
lim etdt = lim (ex − es+1) = +∞
x→∞ x→∞
x→∞ 0 s+1
Comentarios:
• La clase de funciones admisibles es suficientemente amplia para la mayor´ıa de las aplicaciones. En
ella se incluyen las funciones polinómicas, las exponenciales, las logarı́tmicas y las periódicas que sean
continuas a trozos en cada periodo.
• Es inmediato probar, además, que la combinación lineal y el producto de funciones admisibles es otra
función admisible
Teorema 23 (de unicidad de la transformada de Laplace): Si f (t), g(t) son funciones admisibles y F (s) =
tt(s), para todo s grande, entonces f (t) = g(t) en cada punto donde ambas son continuas. En particular, si
f y g son continuas para todo t ≥ 0, entonces f = g.
Ecuaciones Diferenciales. 67
Para estudiar las propiedades de la transformación de Laplace resulta útil introducir el operador
L : C∞([0, ∞)) −→ C∞(R)
f (t) ›→ F (s)
Entonces, como primeras propiedades de las transformadas de Laplace se pueden establecer las siguientes:
Proposición 38 (Linealidad): L es un operador lineal; esto es, si f (t), g(t) son funciones admisibles, en-
tonces af (t) + bg(t) (con a, b ∈ R) es también admisible y
L(af (t) + bg(t)) = aL(f (t)) + bL(g(t) ≡ aF (s) + btt(s)
( Dem. ) En efecto
¸ ∞ ¸ ∞ ¸ ∞
L(af (t) + bg(t)) =
e−st(af (t) + bg(t))dt = a e−stf (t)dt + b e−stg(t)dt
0 0 0
= aL(f (t)) + bL(g(t) ≡ aF (s) + btt(s)
Proposición 39 (Derivación): Sea f (t) una función derivable tal que f r (t) es admisible, entonces
L(fr(t)) = sL(f (t)) − f (0) ≡ sF (s) − f (0) (5.2)
y, en general, si f (t) es derivable hasta el orden n y f (n) (t) es una función admisible, entonces
L(f (n)(t)) = sn F (s) − sn−1f (0) − . . . − sf (n−2)
(0) − f (n−1)(0)
Comentario:
• En la anterior proposición se asume que f (t) está definida en t = 0. De no ser ası́, al ser f (t) admisible
y, por tanto, continua a trozos, ha de existir f (0+) = lim f (t) y se tiene
t→0+
¸ ∞
¸ ∞
L(fr(t)) = lim e−st f r (t)dt = lim+(e−st f (t)|∞
s +s e−stf (t)dt)
s→0+ s s→ 0
s
= −f (0 ) + sL(f (t)) ≡ sF (s) − f (0+)
+
La inversión de la transformación de Laplace se verá facilitada en gran medida por las siguientes
propiedades:
Proposición 40 (Integración): Si f (u) una función integrable y admisible (con transformada de Laplace
¸ t
F (s)), entonces f (u)du es admisible y
0
.¸ t .
F (s)
L f (u)du =
0 s
¸ t
( Dem. ) Poniendo g(t) = f (u)du se tiene que gr(t) = f (t) con g(0) = 0, por lo que utilizando la
0
propiedad de derivación .¸ .
t
F (s) = L(gr(t)) = sL(g(t)) = sL f (u)du
0
Proposición 41 (Valores inicial y final): Si f (t) es una función admisible (con transformada de Laplace
F (s)) cuya derivada es admisible y existen los lı́mites de f (t) cuando t → 0+ y t → +∞, entonces
1. lim F (s) = 0 .
s→+∞
( Dem. ) En efecto.
M
1. Es una consecuencia inmediata de la acotación |F (s)| ≤ , que se obtiene, a su vez, de la acotación
s− γ
(5.1).
2. Se parte de la propiedad de derivación expresada como
Haciendo s → +∞ y teniendo en cuenta que, al ser fr(t) admisible, se tiene que lim L(f (t)) = 0 , el
r
t→0+
resultado es inmediato.
3. Se parte de nuevo de la propiedad de derivación escrita ahora en la forma
¸ x
L (f r
(t)) = lim e−st fr(t)dt = sF (s) − f (0)
x→+∞ 0
de donde, haciendo s → +∞, se obtiene
¸ x ¸ x
lim sF (s) − f (0) = lim lim e−stfr(t)dt = lim lim e−stfr(t)dt
s→0 s→0 x→+∞ 0 x→+∞ s→0
¸ x 0
= lim r
f (t)dt = lim f (x) f (0) = lim f (t) − f (0)
x→+∞ x→+∞
− →+∞
0 t
(Se ha utilizado el hecho de que es posible intercambiar el orden de ejecución de los lı́mites, por estar
F (s) definida en un entorno de s = 0).
Ecuaciones Diferenciales. 69
Proposición 42 (Multiplicación por t): Si f (t) es una función admisible (con transformada de Laplace
F (s)), entonces
dF (s)
L(tf (t)) = −
ds
f (t)
Proposición 43 (División por t): Si es una función admisible, para lo cual, si f (t) es admisible (con
t
f (t)
transformada de Laplace F (s)), es suficiente con que exista lim , entonces
t→0+ t
. .
f (t) ¸ ∞
= F (u)du
L s
t
f (t)
( Dem. ) Si g(t) = se tiene que f (t) = tg(t), y utilizando la propiedad anterior
t
F (s) = − dtt(s)
ds
de donde ¸
¸ ∞ ¸ x
dtt(u) . .
F (u)du = lim
x
F (u)du = lim − du = xlim (tt(s) − tt(x)) = tt(s) = L f (t)
s x→+∞ s
x→+∞ s du →+∞ t
donde se ha utilizado la propiedad 1 de la proposición 41.
Proposición 44 (Multiplicación por eat ): Si f (t) es una función admisible (con transformada de Laplace
F (s)), entonces
L(eatf (t)) = F (s − a)
Proposición 45 (Traslación): Si f (t) es una función admisible (con transformada de Laplace F (s)), en-
tonces la función
.
f (t − a) si t ≥ a
f˜(t) = 0 si t < a
es admisible y
L(f˜(t)) = e−asF (s)
y haciendo t − a = u,
¸ ∞
(∗ ) =
e−sue−saf (u)du = e−asF (s)
0
Ecuaciones Diferenciales. 70
Proposición 46 (Cambio de escala): Si f (t) es una función admisible (con transformada de Laplace F (s)) y
a > 0, entonces
1 . .
s
L(f (at)) = F a
a
Proposición 47 (Funciones periódicas): Si f (t) es una función admisible periódica de periodo T ; es decir,
f (t + T ) = f (t), entonces ¸ T −st
e f (t)dt
L(f (t)) = 0
1 − e−sT
( Dem. ) En efecto,
¸ ∞ ¸ T
¸ ∞
L(f (t)) = −st −st
e f (t)dt = e f (t)dt + e−stf (t)dt = (∗ )
0 0 T
Vamos a utilizar algunas de las propiedades expuestas para calcular, a modo de ejemplo, las transformadas
de Laplace de algunas funciones elementales.
1. f (t) = 1.
¸ ∞ ¸ x 1 − e−sx 1
L(1) := e−stdt = lim e−stdt = lim =
x→∞ s s
0 x→∞ 0
si s > 0, no existiendo si s ≤ 0.
2. f (t) = tn.
Para n = 1 se tiene ¸ ¸
∞ x 1
L(t) := e−sttdt = lim e−sttdt =
0 s2 x→∞ 0
si s > 0, no existiendo si s ≤ 0. (También se obtiene a partir del primer resultado y usando la propiedad
de multiplicación por t).
Para n = 2, partiendo del anterior resultado y usando la propiedad de multiplicación por t,
d 1 2
L(t2) = − =
ds s2 s3
3. f (t) = tn eat.
Partiendo del resultado anterior y usando la propiedad de multiplicación por eat :
n!
L(tneat) =
(s −a)n+1
4. f (t) = eat. ¸ ¸
L(eat) :=
∞ x 1
e−steatdt = lim e−(s−a)tdt =
0 x→∞ 0
s−a
si s > a, no existiendo si s ≤ a. (También se obtiene a partir del primer resultado y usando la propiedad
de multiplicación por eat ).
5. f (t) = cos bt , g(t) = sin bt.
Sus transformadas de Laplace se pueden determinar directamente como en los otros ejemplos, pero es
más cómodo utilizar la fórmula de Euler:
¸ ∞ ¸ ∞
L(cos bt) + iL(sin bt) :=
e−st cos btdt + i e−st sin btdt
0 0
¸ ∞ ¸ ∞
1
= −st
e (cos bt + i sin bt)dt = e−steibtdt = s + ib
= s2 + b 2
0 0 s − ib
e igualando partes real e imaginaria se obtiene
L(cos bt) = s
L(sin bt) = s2 + b2
b
s + b2
2
Comentario:
• Naturalmente el uso de las propiedades expuestas puede reiterarse. As´ı, p. ej., para obtener la
transformada de Laplace de la función
¸ t
f (t) = e−uu sin udu
0
se parte de la transformada de f (t) = sin t y basta con aplicar sucesivamente las propiedades de
multiplicación por t, de multiplicación por eat y de integración, para obtener
.¸ t .
2(s + 1)
L e−uu sin udu =
0
s((s + 1)2 + 1)2
Ecuaciones Diferenciales. 72
y para el segundo
1 1 (s − α)2 + β 2 − (s − α)2 + β 2
=
((s − α)2 + β 2 ) 2 2β2 ((s − α)2 + β 2 ) 2
1 (s − α)2 − β 2
1 β −
=
2β3 (s − α)2 + β2 2β3 ((s − α)2 + β2)2
1 1
= L (eαt sin βt) − L (eαtt cos βt)
2β 3 2
2β
(c) Si la multiplicidad es µ > 2, entonces la inversión de los correspondientes términos es más cómoda
si se utilizan los métodos de convolución que se expondrán al final del capı́tulo.
Comentario:
• Obsérvese que, al expresar la función racional como suma de fracciones simples e invertir la transfor-
mación de Laplace, se está haciendo uso de la propiedad expresada en el teorema de unicidad de la
transformada de Laplace.
Ecuaciones Diferenciales. 73
• El cálculo de los coeficientes que aparecen en la descomposición en fracciones simples puede hacerse por
el conocido método de coeficientes indeterminados. Sin embargo, para los términos correspondientes a
raı́ces reales (y, en particular, cuando son simples) es más cómodo el siguiente método:
Si α ∈ R es una ra´ız de Q(s) con multiplicidad µ, se tiene
µ
P (s) . Ak
= + R(s)
Q(s) (s − α)k
k=1
donde R(s) es una función racional cuyo denominador ya no contiene la raı́z α. Multiplicando ambos
miembros por (s − α)µ se obtiene
µ
P (s) . µ
α)µ−k + (s − α) R(s)
Q(s)/(s − α) µ = A k (s −
k=1
e identificando el segundo miembro como el desarrollo de Taylor del primero, se obtiene que
. . ..
P (s) . d P (s) .
Aµ = , Aµ−1 = .
Q(s)/(s − α)µ .s=α ds Q(s)/(s − α)µ s=α
y, en general .
1 P (s) ..
dµ−k .
α)µ .
Ak = k)! dsµ−k
Q(s)/(s −
(µ −
s=α
El uso de la transformada de Laplace para la resolución de los problemas de valor inicial de ecuaciones
diferenciales señalados en el apartado anterior muestra toda su eficacia cuando la función que aparece en el
término independiente de la ecuación (o sistema) presenta discontinuidades de salto en uno o varios puntos
de su dominio 1.
Para tratar este tipo de problemas con el método de la transformación de Laplace es de gran utilidad la
siguiente función:
e−sa
L(ua(t)) =
s
1
En particular L(u(t)) = .
s
Comentarios:
f1(t) si 0 ≤ t < a
f (t) = f2(t) si a ≤ t < b
f3(t) si b ≤ t
se puede expresar en términos de la función de Heaviside de la siguiente forma
f (t) = f1(t)(u(t) − u(t − a)) + f2(t)(u(t − a) − u(t − b)) + f3(t)u(t − b)
= f1(t) + (f2(t) − f1(t))u(t − a) + (f3(t) − f2(t))u(t − b)
• La propiedad de traslación puede expresarse ahora en términos de la función de Heaviside como
L(f˜(t)) = L(u(t − a)f (t − a)) = e−asF (s)
(donde F (s) = L(f (t))), fórmula que permite el cálculo de la transformada de Laplace de una función
con discontinuidades de salto y también su inversión.
Hay muchas aplicaciones cuya modelización matemática conduce a ecuaciones diferenciales lineales (con
coeficientes constantes) en las que la función fs (t) del término independiente es nula fuera de un estrecho
intervalo [a, a + s] en el que toma valores arbitrariamente grandes. Normalmente, además, estos valores son
¸ β
desconocidos, disponiéndose únicamente del valor de la integral I = fs(t)dt (si α ≤ a < a + s ≤ β).
α
Este tipo de situaciones se presenta en problemas de naturaleza impulsiva. Por ejemplo, en un sistema
mecánico formado por una masa sujeta mediante un resorte elástico, al golpear con un martillo en un
instante t = a, comunicando un impulso de valor I durante un breve intervalo de tiempo [a, a + s], en el
cual el martillo está en contacto con la masa (en este caso, fs (t) representa la fuerza aplicada en ese lapso
de tiempo). También en el caso de un circuito eléctrico RCL, cuya ecuación
¸
dI 1 t
I(τ )dτ
e(t) = RI + L + 0
dt C
se deriva para obtener la ecuación diferencial
d 2I dI 1 de
L +R + I= = fs(t)
dt2 dt C dt
Ecuaciones Diferenciales. 75
cuando la tensión cambia bruscamente en el instante α (de hecho entre α y α + s) desde un valor e0 hasta el
valor e0 + I.
Para tratar estas situaciones se va a considerar el caso ideal que se obtiene al hacer que s → 0. Fijando
I = 1, si fs → f0 , esta “función” f0 deberı́a satisfacer
¸ β
f0(t) = 0 para t ƒ= α f0(t)dt = 1 si α ≤ a < β
α
;
condiciones que no puede verificar ninguna función ordinaria.
Obsérvese, no obstante, que lo que realmente interesa no es obtener el valor del lı́mite de fs cuando s → 0,
sino resolver el problema de valor inicial
( Dem. ) Si α es tal que α ≤ a < β, para s suficientemente pequeño α ≤ a < a + s < β, y como fs (t) = 0 para
t ƒ∈ [a, a + s],
¸ β ¸ a+s
g(t)fs(t)dt = g(t)fs(t)dt
α a
Ahora, con ms = min g(t) y Ms = max g(t) , se tiene
[a,a+s] [a,a+s]
¸ a+s ¸ ¸
fs(t)dt ≤ a+s
g(t)fs(t)dt ≤ Ms a+s
ms fs(t)dt
a a a
ms ≤
es decir ¸ a+s g(t)fs(t)dt ≤ Ms
Este resultado permite considerar el caso ideal s → 0 (en que fs → f0 ) en la situación descrita. Para ello
se define la siguiente “función” 2 :
Deftnición 28 Se denomina delta de Dirac a la “función” δ(t − a) tal que, para toda función continua g(t)
en [α, β], verifica que
¸ β .
g(a) si α ≤ a < β
g(t)δ(t − a)dt =
α 0 en otro caso
Con esta definición, el caso s → 0 en un problema de valor inicial como (5.3) (pero con condiciones
iniciales cualesquiera) conduce a la ecuación
a 2yrr(t) + a1yr(t) + a0y(t) = Iδ(t − a) ; y(0) = y0 , yr(0) = y1
para cuya resolución basta con conocer L(δ(t − a)).
Comentario:
La expresión (5.5) sugiere que y(t) esté relacionada directamente con h(t) y f (t). Se trata de discernir
cómo. En general se tiene que y(t) ƒ= h(t)f (t), ya que L(h(t)f (t)) ƒ= L(h(t))L(f (t)). El resultado
correcto
es:
Proposición 50 El problema de valor inicial (5.4) (cuya resolución por el método de Laplace conduce a la
expresión (5.5)) tiene como solución la función
¸ t ¸ t
y(t) c
f (τ )h(t − τ )u(t − τ )dτ = f (τ )h(t − τ )dτ
0 0
Deftnición 30 Dadas dos funciones f (t) y g(t), se denomina producto de convolución de las mismas a la
función (si existe)
¸ t
(f ∗ g)(t) :=
f (τ )g(t − τ )dτ
0
Teorema 24 (de Convolución): Si f (t) y g(t) son funciones admisibles, entonces f (t) ∗ g(t) también lo es y
L((f ∗ g)(t)) = L(f (t))L(g(t))
Comentario:
• El producto de convolución es muy útil para invertir la transformación de Laplace, ya que, del teorema
de convolución se obtiene de inmediato que si Y (s) = F (s)tt(s) y f (t) = L−1 (F (s) y g(t) = L−1 (tt(s))
entonces y(t) = L−1(Y (s)) = (f ∗ g)(t)).
Utilizando la definición y/0 este teorema es inmediato comprobar las siguientes propiedades:
1. (f ∗ g)(t) = (g ∗ f )(t).
2. (f ∗ (g + h))(t)) = (f ∗ g)(t) + (f ∗ h)(t).
3. ((f ∗ g) ∗ h)(t)) = (f ∗ (g ∗
h))(t). 4. (δ ∗ f )(t) = f (t).
Teniendo presente todo ésto, se puede ahora afirmar que la solución del problema de valor inicial (5.4) es
¸ t
y(t) = (f ∗ h)(t)) = f (τ )h(t − τ )dτ
0
y si se modifica f (t) sólo será necesario modificar, en consecuencia, el cálculo del producto de convolución
con la función de transferencia del sistema.
6.1 Introduccion
Igual que en los capı́tulos anteriores, siempre que no se haga alguna precisión más concreta, se asumirá que
todas las funciones son diferenciables con continuidad hasta el orden que se desee.
Antes de comenzar conviene recordar que, como se definió en el primer capı́tulo, una ecuación diferencial es
una relación entre una función (suficientemente derivable), sus variables y una o varias derivadas sucesivas
de la función. En forma implı́cita es una expresión del tipo
F (x, y(x), yr(x), . . . , y(n)(x)) = 0
Entonces:
Deftnición 31 Se denomina ecuación diferencial en derivadas parciales a una ecuación diferencial en la que
la función incógnita es de.varias variables, u ≡ u(x1 , . . . , xn ). Esto es, una expresión . del tipo:
2 2 2u
∂u ∂u ∂ u ∂ u ∂
F x1, . . . , xn , , . . . ,∂x , ∂xk , ∂x ∂x , . . . , ∂x2 , . . . = 0
∂x 1 n 1 1 2 n
(Las ecuaciones en derivadas parciales se suelen expresar siempre en forma impl´ıcita).
Igual que con las ecuaciones diferenciales ordinarias, se van a tratar, en particular, las ecuaciones en
derivadas parciales de tipo lineal:
Deftnición 32 Una ecuación diferencial en derivadas parciales es de tipo lineal sii es de primer grado en
la función incógnita u y en sus derivadas parciales. Se suele escribir L(u) = f (donde u y f son funciones
de varias variables y L es un operador lineal que puede contener en su expresión funciones de las variables
independientes).
La ecuación lineal es homogénea sii no tiene término independiente; esto es, f = 0.
79
Ecuaciones Diferenciales. 80
Ejemplos:
En este capı́tulo se prestará especial atención a las ecuaciones diferenciales en derivadas parciales de
segundo orden ya que, como se verá, son las que aparecen en las principales aplicaciones.
En el contexto de este capı́tulo, un problema de contorno consiste en resolver una ecuación diferencial
en derivadas parciales, esto es, en hallar una función u que satisfaga dicha ecuación en algún dominio de
las variables independientes, asi como ciertas condiciones de la función y/o sus derivadas parciales en el
contorno de este dominio. También se acostumbra a exigir condiciones de continuidad de u y sus derivadas
en el dominio en cuestión y su contorno.
Las condiciones de contorno que se van a considerar principalmente son las siguientes:
Deftnición 33 Un problema de contorno es lineal sii la ecuación en derivadas parciales a la que está asociado
es lineal y las propias condiciones de contorno también son lineales. Se tiene, por tanto:
Ejemplo:
En este ejemplo se tiene f = sin πx, f1 = f2 = f3 = f4 = 0; luego las condiciones de contorno son
lineales y homogéneas.
Igual que en el caso de ecuaciones diferenciales ordinarias lineales, se tiene el siguiente resultado:
Ecuaciones Diferenciales. 81
Proposición 52 (Principio de superposición de soluciones): Sea una ecuación en derivadas parciales lineal
y homogénea L(u) = 0. Si u1 , . . . , un son soluciones, entonces:
n
.
1. Cualquier combinación lineal de las mismas, u = ck uk , es también solución.
k=1
A continuación se van a introducir las diversas maneras en que pueden presentarse las condiciones de
contorno.
Deftnición 34 Un problema de contorno es de tipo Dirichlet sii las condiciones de contorno consisten en
dar los valores de la función incógnita u en el contorno del dominio de definición del problema.
Deftnición 35 Un problema de contorno es de tipo Newmann sii las condiciones de contorno consisten en
∂u
dar los valores de la derivada direccional de la función incógnita u, en la dirección normal al contorno
∂n
del dominio de definición del problema, sobre los puntos de dicho contorno.
Deftnición 36 Un problema de contorno es de tipo mixto sii las condiciones de contorno consisten en
∂u
dar los valores de una combinación lineal de la función incógnita u y de la derivada direccional (en la
∂n
dirección normal al contorno del dominio de definición del problema) sobre los puntos de dicho contorno. Es
decir, de
∂u
hu +
∂n
donde h es una constante arbitraria o una función de las variables independientes.
M’as adelante se verá cómo se resuelven diversos tipos de ecuaciones en derivadas parciales sometidas a
diferentes clases de condiciones de contorno.
Considérese una ecuación en derivadas parciales de segundo orden lineal homogénea con coeficientes con-
stantes. Por simplicidad se tratará la cuestión en dos dimensiones; esto es, se supondrá que la función
incógnita depende de dos variables, u = u(x, y). Con estas hipótesis, se están considerando ecuaciones cuya
expresión general es
∂2 2 ∂2u ∂u ∂u
L(u) := A u ∂u +C +D +E + Fu = 0 (6.1)
+B
∂x2 ∂x∂y ∂y2 ∂x ∂y
donde A, B, C, D, E, F ∈ R son constantes. En estas condiciones se tiene el siguiente resultado general:
Ecuaciones Diferenciales. 82
Proposición 53 Toda ecuación en derivadas parciales de segundo orden lineal con coeficientes constantes
(en dos dimensiones) del tipo (6.1) puede convertirse (por medio de transformaciones lineales) en una de
los tres siguientes tipos:
1. Una ecuación lineal con coeficientes constantes con un único término de segundo orden en el que
aparecen las derivadas parciales cruzadas de la función incógnita.
2. Una ecuación lineal con coeficientes constantes con un único término de segundo orden en el que no
aparecen las derivadas parciales cruzadas de la función incógnita.
3. Una ecuación lineal con coeficientes constantes con dos términos de segundo orden (con el mismo
coeficiente) en los que no aparecen las derivadas parciales cruzadas de la función incógnita.
t = αx + βy , s = µx + λy (6.2)
(con α, β, µ, λ ∈ R parámetros arbitrarios) y se designa por ũ = ũ(t, s) a la función transformada de u(x, y),
se tiene que
∂u ∂ũ ∂ũ
∂x = α ∂t + µ ∂s
∂u ∂ũ ∂ũ
∂y = β ∂t + λ ∂s
∂2u ∂ 2 ũ ∂ 2 ũ ∂ 2 ũ ∂ 2 ũ ∂ 2 ũ ∂ 2 ũ ∂ 2 ũ
= α2 + αµ + µα + µ2 = α2 + 2αµ +µ 2
∂x2 ∂t2 ∂t∂s ∂s∂t ∂s2 ∂t2 ∂t∂s ∂s2
2 2 2 2
∂2u 2
∂ ũ ∂ ũ ∂ ũ + µλ ∂ ũ = 2αβ ∂ ũ
2 ∂ ũ ∂ 2 ũ
= αβ 2 + αλ + µβ + (αλ + µβ) + 2µλ 2
∂x∂y ∂t ∂t∂s ∂s∂t ∂s2 ∂t2 ∂t∂s ∂s
∂2u 2
∂ ũ 2
∂ ũ 2
∂ ũ + λ2 ∂ 2 ũ ∂ 2 ũ 2 ∂ 2 ũ
= β2 2 + βλ + λβ = β2 + 2βλ ∂ ũ + λ2
∂y2 ∂t ∂t∂s ∂s∂t ∂s2 ∂t2 ∂t∂s ∂s2
1. La ecuación tiene un sólo término de segundo orden en el que aparecen las derivadas parciales cruzadas
de la función incógnita.
Hay dos posibilidades:
(a) Si A = C = 0 el resultado es directo sin necesidad de realizar la transformación (6.2).
(b) Supóngase que A ƒ= 0 (y/o C ƒ= 0). Entonces ha de tenerse que
o, equivalentemente
. . . µ .2 .µ.
. .2
α A+ α B+C =0 , A+ B+C =0
β β λ λ
(en una de las igualdades se toma el signo + y en la otra el −). Para que la transformación (6.2)
α µ
no sea singular ha de ser ƒ= , por lo que la ecuación adopta la forma deseada
β λ
∂ 2 ũ ∂ũ ∂ũ
B + Dr + Er + F ũ = 0
∂t∂s ∂t ∂s
si, y sólo si, B 2 − 4AC > 0.
2. La ecuación tiene un sólo término de segundo orden en el que no aparecen las derivadas parciales
cruzadas de la función incógnita.
Hay dos posibilidades:
(a) Si B = C = 0 ó B = A = 0 el resultado es directo sin necesidad de realizar la transformación
(6.2).
(b) Suponiendo de nuevo que A ƒ= 0 (y/o C ƒ= 0), entonces ha de tenerse que
La discusión precedente da origen a la siguiente definición que clasifica las ecuaciones en derivadas
parciales de segundo orden lineales con coeficientes constantes:
Deftnición 38 Dada una ecuación en derivadas parciales de segundo orden lineal homogénea con coeficientes
constantes (en dos dimensiones) del tipo (6.1).
1. La ecuación es del tipo hiperbólico (y el operador lineal L es hiperbólico) sii B 2 − 4AC > 0; es decir,
es del primer tipo:
∂2u ∂u ∂u + Fu = 0
∂x∂y + D ∂x + E ∂y
1 Si ∂ 2ũ
se desea que el término que aparezca sea , el análisis a efectuar es análogo.
∂t2
Ecuaciones Diferenciales. 84
2. La ecuación es del tipo parabólico (y el operador lineal L es parabólico) sii B 2 − 4AC = 0; es decir,
es del segundo tipo:
∂2u ∂u ∂u + Fu = 0
∂x2 + D ∂x + E ∂y
3. La ecuación es del tipo elı́ptico (y el operador lineal L es elı́ptico) sii B 2 − 4AC < 0; es decir, es del
tercer tipo:
2
∂2u + ∂ u ∂u ∂u + Fu = 0
∂x 2
∂y2 + D ∂x + E ∂y
Comentario:
• Esta clasificación es de gran relevancia ya que, para cada clase de ecuación, el tipo de condición de
contorno y la naturaleza de la solución son diferentes (como ya se verá). Además, cada una de ellas
corresponde, en las aplicaciones, a un tipo diferente de problema f´ısico:
1. Las hiperbólicas describen problemas de vibraciones (y requieren dos condiciones iniciales, además
de las de contorno).
2. Las parabólicas describen problemas de difusión (y requieren una condición inicial, además de las
de contorno).
3. Las el´ıpticas describen problemas de estados de equilibrio (y no requieren condiciones iniciales,
además de las de contorno).
Antes de abordar el estudio y resolución de estos tipos de ecuaciones sometidos a diferentes condiciones
de contorno, es preciso dar algunas nociones sobre las series de funciones trigonométricas conocidas como
series de Fourier.
En el estudio de muchos problemas f´ısicosque se modelizan por medio de ecuaciones diferenciales en derivadas
parciales (p. ej., problemas de vibraciones mecánicas, conducción del calor, transmisión de ondas, electro-
magnetismo, etc.) es necesario trabajar con series de funciones trigonométricas del tipo
∞
1 .
(an cos nx + bn sin nx) (6.4)
f (x) = a0 +
2 n=1
Aparte de ello, el estudio puramente teórico de estas series ha influido notablemente en el desarrollo del
anaálisis matemático en los últimos 250 años.
Una ventaja de estas series es que son capaces de representar funciones de tipo muy general con muchas
discontinuidades (como, p. ej., las funciones discontinuas de impulso en ingenierı́a electrónica); mientras
que, p. ej., las series de potencias sólo pueden representar funciones de clase C∞ .
Se va a comenzar su estudio presentando algunos cálculos clásicos que fueron realizados inicialmente por
Euler, y que se recogen en la siguiente:
tal que converge uniformemente a una función f (x) en el intervalo [−π, π). Entonces los coeficientes de la
serie son
¸ π ¸ π f (x) cos nxdx (∀ n ∈ N)
a0 = 1 f (x)dx , an = 1
π −π π −π
¸ π f (x) sin nxdx (∀ n ∈ N) (6.6)
bn = 1
π −π
( Dem. ) Por ser la serie uniformemente convergente en [−π, π) es integrable término a término en dicho
intervalo, por lo que, teniendo en cuenta que
¸ π ¸ π
cos nxdx = 0 , sin nxdx = 0 (∀ n ∈ N)
−π −π
a0
(obsérvese que el término es, por tanto, el valor medio de f (x) en el intervalo considerado). Multiplicando
2
ahora (6.4) por cos nx resulta
1 2
x + bn sin nx cos nx + . . . (6.7)
f (x) cos nx = a0 cos nx + a1 cos x cos nx + b1 sin x cos nx + . . . + an cos
2
y, teniendo en cuenta las relaciones trigonométricas
1
sin mx cos nx = (sin (m − n)x + sin (m + n)x)
2
1
cos mx cos nx = (cos (m − n)x + cos (m + n)x)
2
1
sin mx sin nx = (cos (m − n)x − cos (m + n)x)
2
es fácil comprobar que
¸ π ¸ π
sin mx cos nxdx = 0 , cos mx cos nxdx = 0 ; (si m ƒ= n)
−π −π
se llega a que
¸ π ¸ π ¸ π
f (x) sin nxdx = bn sin2 nxdx = bnπ ⇔ bn = 1 f (x) sin nxdx
−π −π π −π
La situación presentada en esta proposición es, no obstante, demasiado restrictiva, ya que se asume que la
serie trigonométrica es uniformemente convergente a la función f (x) o, lo que es lo mismo, que esta función es
desarrollable por medio de una serie trigonométrica uniformemente convergente. Estas hipótesis no estarán,
en general, aseguradas previamente y, por consiguiente, tampoco la existencia de los coeficientes an y b n.
El punto de vista que se va a tomar será, pues, dada una función f (x), definir los coeficientes mediante las
expresiones (6.6) y, con ellos, construir la serie trigonométrica (6.5).
Ecuaciones Diferenciales. 86
Deftnición 39 Dada una función f (x) integrable 2 en [−π, π), se denominan coeficientes de Fourier de
f (x) a los valores an , bn obtenidos mediante las expresiones (6.6) y serie de Fourier de f (x) a la serie
trigonométrica ∞
1 .
(an cos nx + bn sin nx)
a0 +
2 n=1
Corollary 1 Dadas dos funciones f (x), g(x) integrables en [−π, π), los coeficientes de Fourier de αf (x) +
βg(x) (α, β ∈ R) son la suma de α veces los de f (x) y β veces los de g(x).
Es de desear que la serie de Fourier de una función f (x) converja (uniformemente) y tenga como suma
la función dada (cumpliéndose, por tanto, la igualdad (6.4)). Desgraciadamente no siempre ocurre ası́ y hay
muchas funciones integrables (e incluso continuas) cuya serie de Fourier diverge en uno o más puntos.
Comentario:
• Del mismo modo que una serie de Fourier no tiene por qué ser convergente, una serie trigonométrica no
tiene por qué ser serie de Fourier de alguna función; esto es, los coeficientes de dicha serie no podrı́an
obtenerse mediante expresiones del tipo (6.6) para ninguna función f (x) (ni aun tomando como función
la suma de dicha serie, en el caso de que fuera convergente).
Ejemplo:
∞
sin nx
.
La serie converge x R pero se sabe que no es de Fourier.
• log (1 + n) ∀ ∈
n=1
El problema fundamental consiste, pues, en investigar las propiedades de una función integrable que garan-
ticen que su serie de Fourier, no sólo es convergente, sino que tiene dicha función como suma.
En primer lugar, de la igualdad (6.4) y observando que cada término de la serie trigonométrica que en ella
aparece tiene periodicidad 2π, se obtiene de inmediato que:
∞
1 .
Proposición 55 Si a0 + (an cos nx + bn sin nx) es la serie de Fourier de una función f (x) y converge
2
n=1
sumando f (x) (es decir, se cumple la igualdad (6.4)), entonces f (x) es periódica de periodo 2π.
Entonces todos los puntos de discontinuidad de f (x) son simples; es decir, existen los lı́mites laterales f (x+ )
y f (x−) de f (x) en todos los puntos x de su dominio.
2 Obsérvese que no es necesario que sea una función continua.
3Estas condiciones se denominan condiciones de Dirichlet.
Ecuaciones Diferenciales. 87
Teorema 25 (de Dirichlet): Sea f (x) una función definida en el intervalo I = [−π, π), tal que:
1 + −
Entonces existe la serie de Fourier de f (x), que converge a (f (x ) + f (x )) en todos los puntos x ∈ R y,
2
por tanto, converge a la función f (x) en todos los puntos donde la función es continua.
(En particular, si en los puntos de discontinuidad la función se define tomando el valor medio de sus
lı́mites laterales en dichos puntos, la serie de Fourier converge a la función en todos los puntos del dominio).
Comentario:
• Obsérvese que la continuidad de una función no es, por tanto, condición necesaria ni suficiente para la
convergencia de su serie de Fourier (si ésta existe).
De este modo, puede darse el caso de que una función discontinua sea representable por una serie de
Fourier en todos los puntos de su dominio, siempre que sus discontinuidades sean simples y se comporte
suficientemente bien entre los puntos de discontinuidad.
Ejemplo:
• Para la función .
0 si −π ≤ x < 0
f (x) =
π si 0 ≤ x < π
se tiene que
.¸ 0 ¸ π
.
1
a0 = π 0dx + πdx = π
−π
0
¸ π
an = 1 π cos nxdx = 0 (n ≥ 1)
π 0
¸ π 1 n
= 1 π sin nxdx = (1 − (−1)
bn
π 0 n ) (n ≥ 1)
2
; por consiguiente la serie de Fourier de esta función es
es decir, b2n = 0 y b2n−1 = − 1
2n . .
π sin 3x sin 5x
+ 2 sin x + + + ...
2 3 5
Esta serie converge a la función dada en todos los puntos de los intervalos (−π, 0) ∪ (0, π), pero no en
los puntos de discontinuidad −π, 0, π donde su suma vale π/2.
Si la función se extiende por periodicidad a todo R, el resultado sobre la convergencia de la serie es el
mismo en todos los intervalos [(2n − 1)π, (2n + 1)π) (n ∈ Z − {0}).
Ecuaciones Diferenciales. 88
• f (x) es una función par si, y sólo si, sus coeficientes de Fourier son
¸
2 π f (x) cos nxdx , b = 0
n
an =
π 0
es decir, su serie de Fourier contiene sólo términos en cos nx.
• f (x) es una función impar si, y sólo si, sus coeficientes de Fourier son
¸
2 π f (x) sin nxdx
an = 0 , b n =
π 0
es decir, su serie de Fourier contiene sólo términos en sin nx.
( Dem. ) Inmediata.
Y de aqu´ı:
Deftnición 40 Una serie de Fourier se dice que es de tipo seno para x (resp. de tipo coseno para x) sii
sólo contiene términos en sin nx (resp. en cos nx).
Teorema 26 (de Dirichlet): Sea f (x) una función definida en el intervalo I = [0, π), tal que satisfaga las
condiciones de Dirichlet en I 4. Entonces f (x) se puede desarrollar en una serie de Fourier de tipo coseno o de
tipo seno, con la salvedad, en este último caso, de que la serie no puede converger a f (x) en los puntos x =
0, π, . . . , nπ, . . ., a menos que la función tome valor 0 en ellos.
Comentario:
• Para hallar la serie de Fourier de tipo seno de f (x), se redefine la función f (x) (si es necesario) dándole
el valor 0 en x = 0, π y extendiéndola, a continuación, al intervalo [−π, 0) de manera que la función
extendida en [−π, π) sea impar. Fuera de este intervalo se define por periodicidad (si es necesario).
• De igual forma, para hallar la serie de Fourier de tipo coseno de f (x), se extiende la función al intervalo
[−π, 0) de manera que la función extendida en [−π, π) sea par. Fuera de este intervalo se define por
periodicidad (si es necesario).
Ejemplo:
• Para la función f (x) = cos x definida en [0, π),
∞ la serie de Fourier de tipo seno es
8 n sin 2nx
.
π 4n2 − 1
n=1
Hasta el momento todo lo que se ha enunciado sobre series de Fourier es válido para funciones definidas en
el intervalo [−π, π) (y extendidas por periodicidad fuera de él). No obstante, en muchas aplicaciones será
necesario manejar series de Fourier de funciones periódicas de periodo 2L definidas en el intervalo [−L, L)
(con L > 0).
Para obtener dichas series el procedimiento a seguir es el siguiente:
πx Lt
• Efectuar el cambio de variable t = o, equivalentemente, x =
.
L π
Con ello la función f (x), x ∈ [−L, L), periódica de periodo 2L, se transforma en f˜(t) = f (Lt/π) ,
t ∈ [−π, π), que es periódica de periodo 2π.
• Si f (x) satisface las condiciones de Dirichlet en [−L, L), también lo hace f˜(t) en [−π, π).
Entonces se desarrolla f˜(t) en serie de Fourier de la forma expuesta.
• Se deshace el cambio de variable en la serie hallada a fin de obtener la serie de Fourier de f (x).
Comentario:
• Otra forma de obtener el mismo resultado consistir´ıa en calcular directamente la serie de Fourier de
f (x), pero calculando los coeficientes de Fourier del siguiente modo:
¸ L ¸ L f (x) cos nxdx (∀ n ∈ N)
a0 = 1 f (x)dx , an = 1
L −L L −L
¸ L
f (x) sin nxdx (∀ n ∈ N)
bn = 1
L −L
Comentario:
• Si la sucesión funcional {θn (x)} es ortogonal pero no ortonormal entonces es inmediato observar que
{φn(x)} con
θn(x)
φn(x) =
√
kn
es una sucesión ortonormal 5 .
Ejemplo:
¸ b
5 Obsérvese que kn > 0 ya que (θn (x))2 dx .
a
Ecuaciones Diferenciales. 90
• La sucesión funcional
1, cos x, sin x, cos 2x, sin 2x, . . .
que se ha usado en los apartados anteriores para construir las series de Fourier de funciones, es
ortogonal en el intervalo [−π, π] pero no en el [0, π], pues
¸ π
1 sin xdx = 2 ƒ=
0
0
y dado que ¸ ¸
π π
1dx = 2π , ¸ π sin2 nxdx = π
−π 2 −π
cos nxdx = π ,
−π
En el siglo XIX y principios del XX algunos matemáticos y fı́sicos observaron que se podı́an construir
series del tipo de Fourier utilizando cualquier sucesión de funciones ortogonales 6 . En efecto; supóngase que
se tiene una sucesión ortonormal {φn (x)} (n ∈ N) en [a, b] y una función f (x) integrable en [a, b] y que se
quiere desarrollar dicha función en una serie que converja a la función, del siguiente modo
∞
.
f (x) = anφn(x) (6.8)
n=1
Intentemos definir cuáles son los coeficientes an . Multiplicando ambos miembros de la igualdad por φn (x) se
obtiene
f (x)φn(x) = a1φ1(x)φn(x) + . . . + annφ2 (x) + . . .
y, asumiendo que se puede integrar término a término y teniendo en cuenta la propiedad de ortonormalidad
de las funciones φn(x), resulta
¸ b ¸ b
f (x)φn(x)dx = an φn2 (x)dx = an
a a
Deftnición 42 Sea una sucesión ortonormal {φn (x)} (n ∈ N) en [a, b] y una función f (x) integrable en
[a, b]. Se denomina serie de Fourier generalizada de f (x) respecto a la sucesión {φn (x)} a la serie
∞
.
an φn(x)
n=1
Comentario:
• Obsérvese que, en el desarrollo anterior, se han asumido las hipótesis de que la función f (x) puede ser
expresada por medio de una serie de la forma descrita y que dicha serie es integrable término a término.
En realidad, estas dos condiciones no van a estar aseguradas de entrada para cualquier función y, por
tanto, la igualdad (6.8) no se va a cumplir en general (igual que ya ocurrı́a con las series de Fourier
ordinarias, que son un caso particular de éstas).
6 Posteriormente,
estas series pasaron a ser instrumentos indispensables de trabajo en muchas ramas de la fı́sica matemática,
principalmente en Mecánica Cuántica.
Ecuaciones Diferenciales. 91
Se va a estudiar, a continuación en qué condiciones se puede garantizar que una serie de Fourier generalizada
converja a la función que la define. Previamente hay que introducir un nuevo concepto sobre convergencia de
series de funciones.
Sea una función f (x) y una sucesión de funciones {pn (x)}, definidas todas ellas en [a, b] ∈ R. Si se
desea aproximar f (x) por medio de los términos de esta sucesión, cada uno de los números |f (x) − pn (x)| y
(f (x) − pn (x))2 da una medida del error de la aproximación en el punto x. Sin embargo, puede ser preferible
dar una medida del error que se refiera a todo el intervalo [a, b], lo cual puede conseguirse mediante las
integrales
¸ b ¸ b
|f (x) − pn (x)|dx , (f (x) − pn(x))2dx
a a
siendo la segunda mejor elección que la primera ya que evita el valor absoluto en el integrando y hace más
convenientes los cálculos necesarios (como se verá). Ası́ pues:
Deftnición 43 Dada una función f (x) y una sucesión de funciones {pn (x)}, definidas e integrables en
[a, b] ∈ R.
7
• Se denomina error cuadrático medio de f (x) por la sucesión {pn (x)} a
¸ b
En = (f (x) − pn(x))2dx
a
Comentario:
• El error cuadrático medio es justamente el cuadrado de la norma "f − pn " en el espacio métrico
de funciones integrables en [a, b]. Por consiguiente, la convergencia en media de {pn(x)} a f (x) es
equivalente a la convergencia de esta sucesión al lı́mite f (x) en ese espacio métrico; es decir
d(f, pn ) = "f − pn" → 0 (n → ∞) El
Teorema 27 Sea una función f (x) y una sucesión ortonormal de funciones {φn (x)}, definidas e integrables en
[a, b] ∈ R. Para cada entero positivo k, la k-ésima suma parcial de la serie de Fourier generalizada de
k
.
f (x) respecto a la sucesión {φn (x)}; es decir, an φn (x) , produce un error cuadrático medio
n=1
¸ b k
.
Ekmin = [f (x) − anφn(x)]2dx (6.9)
a
n=1
k
.
que es menor que el de cualquier otra combinación lineal pk = bn φn (x) .
n=1
7 Esta terminologı́a es adecuada por cuanto, si se divide En por b − a, se obtiene el valor medio del error cuadrático
(f (x) − pn (x))2 de la aproximación.
8 l.i.m. significa lı́mite in media.
Ecuaciones Diferenciales. 92
mediante una adecuada elección de los coeficientes bn . Desarrollando el cuadrado del integrando se tiene
¸ b ¸ b k ¸ b k
. .
Ek = 2
f (x) dx − 2 f (x) bnφn(x)dx + ( bn φn (x))2 dx
a a a n=1
n=1
¸ b
Recordando que los coeficientes de Fourier de f (x) respecto a la sucesión {φn (x)} son an = f (x)φn(x)dx
a
, la segunda integral del desarrollo es
¸ b k k ¸ b k
. . .
f (x) bnφn(x)dx = bn f (x)φn(x)dx = bn an
a n=1 n=1 a n=1
mientras que la tercera, teniendo en cuenta la ortonormalidad de las funciones φn(x), se transforma en
¸ b .
k ¸ b .
k .
k ¸ b .
k k.
( bn φn (x))2 dx = ( bn φn (x))( bn φn (x))dx = b2 φn(x)2dx = b2
n n
a n=1 a n=1 n=1 a n=1 n=1
y, observando que los términos de la última suma son (bn − an )2 ≥ 0, se obtiene finalmente que Ek es mı́nimo en
el caso en que bn = an .
Teorema 28 Sea una función f (x) y una sucesión ortonormal de funciones {φn (x)}, definidas e integrables en
[a, b] ∈ R. Si los números an son los coeficientes de Fourier de f (x) respecto a la sucesión {φn (x)},
∞
.
entonces la serie numérica a2n es convergente y satisface la desigualdad de Bessel:
n=1
∞ ¸
. b
a2n ≤ (f (x))2dx
a
n=1
( Dem. ) De acuerdo con el teorema anterior, como En ≥ 0para toda elección de bn , es claro que el valor
mı́nimo de En (que ocurre cuando bn = an ) es también no negativo; lugo (6.9) implica que
¸ b k k ¸
. . b
2
(f (x)) dx − a2n ≥ 0 ⇔ a2n ≤ (f (x))2dx
a a
n=1 n=1
de donde, al hacer k → ∞, se obtiene el resultado.
Y, como el término n-ésimo de una serie convergente ha de tender a 0 cuando n → ∞, se tiene como
corolario que:
Teorema 29 Sea una función f (x) y una sucesión ortonormal de funciones {φn (x)}, definidas e integrables en
[a, b] ∈ R. Si los números an son los coeficientes de Fourier de f (x) respecto a la sucesión {φn (x)},
entonces lim an = 0 .
n→∞
Ecuaciones Diferenciales. 93
Con estos resultados se está ya en condiciones de responder a la pregunta de bajo qué condiciones la serie
de Fourier (generalizada) de una función converge en media a dicha función o, lo que es equivalente, cuando
las sumas parciales de la mencionada serie convergen en media a la función. La respuesta es:
Teorema 30 Sea una función f (x) y una sucesión ortonormal de funciones {φn (x)}, definidas e integrables en
[a, b] ∈ R. La serie de Fourier generalizada de f (x) respecto a la sucesión {φn (x)} converge en media a
f (x); es decir,
k
.
l.i.m.k→∞ an φn(x) = f (x) (6.10)
n=1
si, y sólo si, la desigualdad de Bessel se transforma en la identidad de Parseval:
∞ ¸ b
. n=
2
(f (x))2dx
a a
n=1
( Dem. ) Teniendo en cuenta el teorema 27, es evidente que la expresión (6.10) es válida si, y sólo si,
Ek → 0 cuando k → ∞, y de la fórmula (6.9) se obtiene que ello es equivalente a que se satisfaga la igualdad
en la desigualdad de Bessel: ∞
. ¸ b
a2n − (f (x))2dx = 0
a
n=1
Deftnición 44 Una sucesión ortonormal de funciones {φn (x)}, definidas e integrables en [a, b] ∈ R se dice
que es completa sii para cualquier función f (x) (integrable en [a, b] ∈ R) su serie de Fourier generalizada
respecto a la sucesión {φn (x)} converge en media a f (x); es decir, se verifica la expresión (6.10).
Ası́ pues, una sucesión ortonormal completa en [a, b] es útil para construir aproximaciones en media
cuadrática de funciones integrables en [a, b].
Comentario:
• Recordemos ahora que, dado un espacio vectorial euclı́deo E y una base de vectores ortonormales {ui },
cualquier vector v ∈ E se puede expresar como una combinación
.
v= αiui (6.11)
i
Teniendo ésto en mente, se puede establecer la siguiente analogı́a: el conjunto de funciones integrables
de Riemann en un intervalo [a, b] tiene estructura de espacio vectorial (de dimensión infinita) en el cual
se puede definir el siguiente producto escalar de funciones
¸ b
(f, g) := f (x)g(x)dx
a
De este modo, una sucesión de funciones ortonormales {φn (x)} se puede considerar como una base
ortonormal de dicho espacio (respecto a este producto escalar) y el último teorema expresa el hecho
de que cualquier función, elemento de este espacio, se puede expresar como combinación de elementos
de esta base, con los coeficientes determinados del mismo modo que en el caso de cualquier espacio
eucl´ıdeo normal.
Es en base a esta analogı́a que la expresión (6.11) se puede denominar desarrollo en serie de Fourier
del vector v respecto a la base {ui }, y los coeficientes de (6.12) coeficientes de Fourier del vector v
respecto a la base {ui }.
Para resolver ecuaciones en derivadas parciales el método más simple es el denominado método de separación
de variables, que consiste en asumir la siguiente hipótesis:
Cuando se aplica este método para la resolución de ecuaciones en derivadas parciales (en dos dimensiones,
como son las que se van a estudiar), con condiciones de contorno (de tipo Dirichlet) lineales y homogéneas,
el problema queda reconvertido en un problema de contorno de ecuaciones diferenciales ordinarias, del cual
se trata de hallar soluciones no triviales. En el caso más general , dicho problema se plantea en los siguientes
términos:
Si las condiciones de contorno consisten en dar los valores de la función incógnita y(x) en los extremos del
intervalo; esto es, y(a) e y(b), y las funciones p(x) y q(x) se restringen adecuadamente se tiene el siguiente
resultado:
Deftnición 46 En el teorema anterior, los términos de la sucesión {λn } se denominan valores propios o
autovalores y las funciones yn(x) correspondientes funciones propias o autofunciones del problema de
contorno dado.
En los tres casos que se van a analizar, el problema de Sturm-Liouville que se planteará es un caso
particular del anterior en el que p(x) = q(x) = 1 y f (x) = 0:
La primera ecuación que se va a estudiar es la que describe la transmisión de ondas en un medio. Como
caso concreto se va a analizar la siguiente situación: se tiene una cuerda tensa sujeta entre los puntos x = 0
y x = L, la cual se somete a una deformación inicial representada por una curva plana f (x). La forma
de la cuerda va a cambiar en función del tiempo y, por consiguiente, vendrá representada por una función
y = y(x, t). Tras hacer algunas hipótesis basadas en principios fı́sicos se encuentra que la ecuación del
movimiento de los puntos de la cuerda es la siguiente
∂2 y 2 ∂2y
=0 (6.13)
− a ∂x2
∂t2
en la cual a es una constante que depende de las caracter´ısticas f´ısicas del problema 10, y se denomina
ecuación de la cuerda vibrante o ecuación de ondas unidimensional.
Se trata, pues, de una ecuación en derivadas parciales en dos dimensiones, lineal, homogénea, con coefi-
cientes constantes de tipo hiperbólico. (ya que, en este caso, B 2 − 4AC > 0, según la definición 38).
Vamos a resolver pues el problema clásico de fı́sica matemática que consiste en hallar la solución a esta
ecuación 11 . siguiendo el método de separación de variables.
Su solución es ∞
. nπ nπ
y(x, t) = bn sin x cos
L at (n ∈ N)
n=1 L
donde bn son los coeficientes de Fourier (de tipo seno) de la función f (x) en [0, L].
y(x, t) = u(x)v(t)
son solución no trivial del problema inicialmente planteado (con las condiciones de contorno inicialmente
establecidas). Entonces se puede considerar que toda serie del tipo 12
∞ ∞
. nπnπ .
y(x, t) = Kn sin x cos
L at ≡ Kn yn (x, t)
n=1 L n=1
es también solución y satisface las condiciones de contorno (6.14) y la primera de las condiciones iniciales
(6.15). Sólo queda por imponer la segunda de las condiciones iniciales (6.15). Por una parte se tiene
∞
. nπ
y(x, 0) = Kn sin x
n=1 L
y por otra, desarrollando f (x) en serie de Fourier de tipo seno en el intervalo [0, L], resulta
∞
. nπ
f (x) = bn sin x
n=1 L
con lo que y(x, 0) = f (x) lleva a que Kn = bn , ∀ n ∈ N.
Comentario:
El análisis matemático del problema de la conducción del calor en un cuerpo fué realizado por el fı́sico
matemático francés Fourier en un tratado de 1822. Basándose en datos experimentales fı́sicos y en razon-
amientos analı́ticos dedujo que, si T (x, y, z, t) era la función que describı́a la temperatura de un cuerpo en
cada punto (x, y, z) y en cada instante t, se satisfacı́a la siguiente expresión
. 2 .
∂ T ∂2T ∂2T ∂T
a2 2 + 2 + 2
= (6.17)
∂x ∂y ∂z ∂t
13 .
en la cual a es una constante que depende de las caracterı́sticas fı́sicas del cuerpo en cuestión Esta
ecuación recibe el nombre de ecuación de transmisión del calor tridimensional,
En el estudio que se va a hacer nos limitaremos a considerar el caso de transmisión del calor en una sóla
dimensión, en el que se toma la función T = T (x, t) y, por tanto, estudiaremos la ecuación
∂2T 1 ∂T
∂x2 = a2 ∂t
Se trata, pues, de una ecuación en derivadas parciales en dos dimensiones, lineal, homogénea, con coeficientes
constantes de tipo parabólico.
Vamos a abordar ahora el problema de la resolución de la ecuación de transmisión del calor a lo largo de
una barra de longitud L. Para ello se seguirá el mismo método que para la ecuación de ondas; es decir, el
método de separación de variables. Con ello demostraremos el siguiente resultado:
Proposición 58 Sea el problema de la transmisión del calor (en una dimensión), que se plantea en los
siguientes términos:
12 Asumiendo la convergencia y derivabilidad término a término de dicha serie.
K
13 Se tiene que a2 = , donde K es la conductividad térmica, c es el calor especı́fico y ρ es la densidad.
cρ
Ecuaciones Diferenciales. 98
donde f (x) es una función desarrollable en serie de Fourier en [0, L], con f (0) = f (L) = 0.
Su solución es ∞
nπ n2π2 2
.
T (x, t) = bn sin xe− L2
a t
(n ∈ N)
L
n=1
donde bn son los coeficientes de Fourier (de tipo seno) de la función f (x) en [0, L].
T (x, t) = u(x)v(t)
urr(x) 1 vr(t)
= 2
u(x) a v(t)
y de aquı́ se obtienen dos ecuaciones diferenciales ordinarias lineales homogéneas con coeficientes constantes
d2u(x) dv(t) 2
vn(t) = e− L2 a t (n ∈ N)
De esta manera se tiene que todas las funciones del tipo
nπ 2
− n22π2 a t
es también solución y satisface las condiciones de contorno (6.19). Sólo queda por imponer la condición
inicial (6.20). Por una parte se tiene
∞
. nπ
T (x, 0) = Kn sin x
n=1 L
14 Asumiendo nuevamente la convergencia y derivabilidad término a término de dicha serie.
Ecuaciones Diferenciales. 99
y, por otro, desarrollando f (x) en serie de Fourier de tipo seno en el intervalo [0, L], resulta
∞
. nπ
f (x) = = bn sin x
n=1 L
con lo que T (x, 0) = f (x) lleva a que Kn = bn , ∀ n ∈ N.
Comentario:
• Obsérvese que la resolución completa de la ecuación del calor unidimensional (esto es la obtención de
la solución con todas las constantes determinadas) requiere la imposición de condiciones de contorno
(tipo Dirichlet) y una condición inicial.
Como punto de partida para obtener la tercera de las ecuaciones que nos interesan, considérese la ecuación
de transmisión del calor (6.17) y, como caso particular de ella, una situación en la que hay un estado estable.
∂ω
Entonces, denominando ω = ω(x, y, z) a la función incógnita, se tiene que = 0 y la ecuación anterior se
∂t
reduce a
∂2 ω ∂2 ω ∂2 ω
+ + =0 (6.22)
∂x2 ∂y2 ∂z2
que se denomina ecuación de Laplace, y es una de la más importantes que aparecen en matemática aplicada.
Nos vamos a limitar a considerar el caso bidimensional en el que se toma la función ω = ω(x, y) y, por
tanto, estudiaremos la ecuación
2
∂ 2ω + ∂ ω = 0
∂x2 ∂y2
Se trata de una ecuación en derivadas parciales en dos dimensiones, lineal, homogénea, con coeficientes
constantes de tipo el´ıptico.
La resolución de la ecuación de Laplace con unas condiciones de contorno dadas recibe el nombre de
problema de Dirichlet y se puede enunciar as´ı:
Proposición 59 Sea el problema de Dirichlet en un rectángulo del plano, que se plantea en los siguientes
términos:
Su solución es ∞
. nπ nπ
ω(x, y) = Kn sinh x sin
b y (n ∈ N)
n=1 b
bn
, siendo bn son los coeficientes de Fourier (de tipo seno) de la función f (y) en [0, b).
donde Kn = nπ
sinh a
Sólo queda por imponer la última condición de contorno (6.24). Por una parte se tiene
∞
. nπ nπ
ω(a, y) = Kn sinh a sin y
b b
n=1
y, por otro, desarrollando f (y) en serie de Fourier de tipo seno en el intervalo [0, b], resulta
∞
. nπ
f (y) = bn sin x
n=1 b
bn
con lo que ω(a, y) = f (y) lleva a que Kn =
sinh nπ
b a , ∀ n ∈ N.
Vamos a resolver, a continuación, la ecuación de Laplace en un cı́rculo (esto es, la ecuación de Laplace en
coordenadas polares), siguiendo otra vez el método de separación de variables. Se tiene el siguiente resultado:
15
Asumiendo la convergencia y derivabilidad término a término de dicha serie.
Ecuaciones Diferenciales. 101
Proposición 60 Sea el problema de Dirichlet en un cı́rculo del plano, que se plantea en los siguientes
términos:
Su solución es ∞
1 . rn (a cos nθ + b sin nθ)
n n (n ∈ N)
ω(r, θ) = a0 +
2 n=1
donde an , bn son los coeficientes de Fourier de la función f (θ).
dr2 − n u(r) = 0
dr
que es una ecuación de Euler cuyas soluciones no triviales son
u(r) = A + B log r si n = 0
−n
u(r) = Ar n
+ Br si n ∈ N
como se desea que u(r) sea continua en r = 0, ha de ser B = 0, con lo que resulta la solución general no
trivial de esta ecuación son las funciones
un(r) = rn (n ∈ Z+)
De esta manera se tiene que todas las funciones del tipo ω0(r, θ) son constantes y valen 12 A0, y
ωn(r, θ) = rn(An cos nθ + Bn sin nθ) (An, Bn ∈ R , n ∈ N)
son solución no trivial del problema inicialmente planteado (con las condiciones de contorno establecidas).
Entonces se puede considerar que toda serie del tipo 16
∞ ∞
1 . n 1 .
r (A cos nθ + B sin nθ) A ωn(r, t)
ω(r, θ) = A0 +
2 n=1 + n=1
n n ≡ 0
2
16 Asumiendo la convergencia y derivabilidad término a término de dicha serie.
Ecuaciones Diferenciales. 102
es también solución.
Sólo queda por imponer la condición de contorno (6.27). Por una parte se tiene
∞
1 .
(An cos nθ + Bn sin nθ)
ω(1, θ) = A0 +
2 n=1
y, por otro, desarrollando f (θ) en serie de Fourier en el intervalo [0, 2π], resulta
∞
1 .
(an cos nθ + bn sin nθ)
f (θ) = A0 +
2 n=1
Comentario: