Professional Documents
Culture Documents
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
Nota previa
El material desarrollado en estas páginas recoge, o al menos lo intenta, parte de los resultados
más significativos que un alumno deberı́a conocer tras haber recibido un curso inicial de ecuaciones
diferenciales ordinarias (EDO).
La autorı́a de estos apuntes es diversa, y merece por tanto una advertencia previa: Dirichlet,
Lagrange, Lindelof, Lyapunov, Peano, Picard... y muchos otros matemáticos y autores de libros
que hábilmente han reunido antes material similar.
Como siempre que se refiere a notas reelaboradas sobre material bien conocido, se trata más
bien de una cuestión de revisión, de hacer una propuesta coherente de conjunto como temario de
un posible proyecto docente. En lo que a mı́, el abajo firmante, respecta, he intentado aportar mi
propia visión de conjunto al inicio en el estudio de una materia tan importante como las EDO, y
lo he hecho pensando en el formato de una asignatura cuatrimestral como hoy dı́a suele ser usual.
Junto con las fuentes bibliográficas consultadas (véanse al final del texto), he de citar y agrade-
cer el trabajo previo de otros compañeros del Dpto. Ecuaciones Diferenciales y Análisis Numérico
de la Universidad de Sevilla donde actualmente desarrollo mi labor docente, especialmente a los
profesores Tomás Caraballo Garrido y José Real Anguas.
Por supuesto, las erratas que pueda haber en el manuscrito son absolutamente culpa mı́a, por
lo que pido disculpas de antemano.
3
4
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
Índice general
5
6 ÍNDICE GENERAL
Bibliografı́a 153
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
Introducción y notas bibliográficas
Como ya se ha dicho antes, estas notas pretenden recopilar el material esencial de un curso
sobre ecuaciones diferenciales ordinarias (E.D.O.). Hemos pretendido generar un texto autoconte-
nido, pero resulta conveniente poder contrastar la exposición con otras monografı́as y otros puntos
de vista. En este sentido, intentamos recoger aquı́ cuál es la estructura de la memoria, esbozar
brevemente sus contenidos y conexiones, y hacer a la vez algunos comentarios sobre bibliografı́a
en parte utilizada o donde poder profundizar sobre un tema concreto.
El Tema 2 continúa la labor introductoria del Tema 1. En él se tratan ciertas ecuaciones dife-
renciales resolubles, varios tipos de primer orden y algunos casos concretos de segundo orden (casos
particulares que serán ampliados y justificados posteriormente). Puede parecer contradictorio re-
solver casos concretos dado que la mayorı́a de las ecuaciones no serán resolubles explı́citamente. Sin
embargo, el interés de dichos ejemplos es mostrar explı́citamente la variedad de comportamientos
de las soluciones, su existencia a veces global, otras local, explosión en tiempos finitos, unicidad
en determinados casos cuando se añade una condición inicial, etc. Ası́ se justifica la necesidad
del estudio cualitativo en temas posteriores. El tema concluye con algunas simplificaciones para
ecuaciones de orden superior, y el concepto y cálculo explı́cito de integrales primeras de un sistema
diferencial ordinario, punto importante en el Tema 8, al final de la memoria.
El texto clásico para este tema es Kiseliov, Krasnov & Makarenko [16]. Pueden resultar también
muy útiles las monografı́as de Fernández & Vegas [10], Guzmán [11], Leighton [17], Novo, Obaya
& Rojo [21] (éste con muchos ejemplos y un estudio muy sistemático) y de nuevo Simmons [26],
donde se ilustra a la vez la resolución de ecuaciones y las aplicaciones de éstas. Existen otros libros
más orientados a la resolución de ejercicios, como el libro de Acero & López [1].
Los temas previos justifican la necesidad de un estudio teórico válido en un marco general.
El Tema 3 es el primero donde se hace un desarrollo importante en este sentido. Se estructura
en dos bloques, correspondientes a las dos cuestiones que serán tratadas (ambas de forma local):
la existencia y unicidad de solución (local), y la existencia, pero sin unicidad, de solución (local).
Comenzamos por el resultado de existencia y unicidad sencillamente por la simplicidad de la prueba,
el Teorema de Picard. No obstante resulta más intuitiva la idea subyacente en la construcción de
las poligonales de Euler, que darán lugar al segundo resultado: el Teorema de Peano (y útil en
7
8 ÍNDICE GENERAL
otros ámbitos, como el Análisis Numérico), que, como se verá, sólo garantiza existencia local
de solución (mas no unicidad), en un marco obviamente más general que el de Picard. Ambos
resultados requieren sendas introducciones funcionales que consideramos de capital importancia en
el desarrollo posterior de los estudios de la licenciatura, esto es, las técnicas de punto fijo (aquı́ se
verá el Teorema de Banach para aplicaciones contractivas) y de compacidad (veremos el Teorema
de Ascoli-Arzelà) respectivamente.
El análisis del problema de Cauchy está expuesto con claridad en muchos textos, citemos por
ejemplo Amann [2], Coddington & Levinson [7], Corduneanu [8], Guzmán [11], Hartman [13],
Martı́nez Carracedo & Sanz Alix [18], Novo, Obaya & Rojo [21] y Rouché & Mawhin [25]. Los li-
bros de Guzmán [11] y Martı́nez Carracedo & Sanz Alix [18] proponen varias formas de demostrar
el teorema de Picard, además de cuestiones relacionadas con las iterantes de Picard y la convergen-
cia de éstas. Es muy interesante el libro de Coddington [6], en el que se comienza el desarrollo de
los sistemas diferenciales de orden n motivando algunas ecuaciones de segundo orden que aparecen
en Fı́sica y los cambios que la llevan a un sistema de primer orden. Asimismo describe en detalle las
diferencias entre las demostraciones referentes a sistemas y las referentes al caso de una ecuación,
particularizando los resultados al caso lineal, en el que las soluciones están definidas en todo R.
Además plantea numerosos ejercicios, que vienen resueltos al final del libro.
En el Tema 4 se abordan cuestiones complementarias al Tema 3. ¿Qué hay del carácter global
de las soluciones? ¿Cuándo y cómo se puede hablar de ellas no sólo de forma local? ¿Cuántas hay?
Estudiamos la unicidad de solución, para ello el resultado fundamental expuesto es el Lema de
Gronwall, y posteriormente se trata la existencia (y unicidad) de solución maximal o global del
problema de Cauchy bajo condiciones adecuadas, que serán estándar ya en el resto de la memoria.
Para este objetivo se tratará la prolongación de soluciones, y se establecerá también un resultado
sobre condiciones equivalentes de prolongación (y por tanto de no prolongación). El tema acaba
con algunos casos particulares, en concreto se analizan un dominio banda y un sistema lineal, en
cuyos resultados nos apoyaremos para el tema siguiente.
El estudio de prolongación y unicidad de solución es bastante completo en Corduneanu [8].
El libro de Guzmán [11] también es muy interesante, ya que demuestra los resultados de prolon-
gación de forma más general, aunque por tanto más compleja. En Coddington & Levinson [7] y
en Rouché & Mawhin [25] hay ejemplos numerosos de cuándo fallan las condiciones de unicidad,
describiendo las trayectorias de las soluciones. También debemos citar aquı́ las monografı́as de
Hartman [13] y Martı́nez Carracedo & Sanz Alix [18].
Hacemos un alto en el análisis cualitativo general para detenernos en el caso de los sistemas
lineales. Ası́, por un lado acentuamos la importancia teórica de los resultados vistos en los dos
temas previos, respecto del resto de cuestiones teóricas generales que se analizarán; y por otro lado
reforzamos la idea general tan frecuente en el estudio matemático de que el caso lineal siempre es
más rico en propiedades (y muchas veces un rodeo que es útil dar). El Tema 5 se compone de dos
bloques, en el primero se estudia la estructura del conjunto de soluciones tanto de ecuaciones (de
orden superior a uno) como de sistemas de ecuaciones lineales, casos homogéneo y no homogéneo,
abordando el concepto de matriz fundamental y la fórmula de variación de las constantes. En
segundo lugar se particulariza a la situación de coeficientes constantes del término lineal, para cal-
cular explı́citamente la solución, abordando la exponencial matricial con un necesario recordatorio
previo de las formas de Jordan (compleja y real).
El contenido teórico de este tema puede encontrarse en casi todos los textos que tratan sobre
ecuaciones diferenciales. Nos parecen especialmente recomendables los libros de Guzmán [11], No-
vo, Obaya & Rojo [21], Coddington [6] y Hirch & Smale [14]. También pueden seguirse Fernández
& Pérez [10], Hartman [13] y Rouché & Mawhin [25]. Para la segunda parte del tema, una muy
buena referencia es el libro de Novo, Obaya & Rojo [21] (aunque no detalla la factorización de
Jordan). Aparte de los textos clásicos de Álgebra Lineal, hay una demostración completa en el
libro de Guzmán [11]. Otras referencias útiles son Leighton [17], Martı́nez Carracedo & Sanz Alix
[18], Miller & Michel [19] y Simmons [26]. Es muy interesante el ejemplo de aplicación de sistemas
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
9 ÍNDICE GENERAL
lineales de primer orden que aparece en el libro de Zill [28], modelando la acción de terremotos
sobre edificios de varios pisos.
El Tema 7 pretende ser una introducción a la teorı́a de la estabilidad para ecuaciones diferencia-
les. La propiedad vista antes de continuidad respecto de la variable independiente en un intervalo
finito no responde en absoluto al deseo en las aplicaciones. Un objetivo en el funcionamiento de
un mecanismo es que los errores o pequeñas variaciones en los datos iniciales no influyan en la
solución obtenida: grosso modo la estabilidad consiste en pedir distintas condiciones de cercanı́a
entre las soluciones “ideal” y “perturbada” en todo tiempo futuro. Es frecuente dejar este estudio
para cursos (opcionales) de ampliación, pero creemos conveniente dar al menos una breve pincelada
al respecto aquı́. Ası́, en este tema se tratan la primera aproximación de Lyapunov para sistemas
lineales y pequeñas perturbaciones, y se esboza el segundo método de Lyapunov sólo en sistemas
autónomos pero ahora no lineales.
En general, todos los textos de ecuaciones diferenciales tienen un apartado sobre estabilidad.
Algunas obras que creemos adecuado citar son las de Guzmán [11], Brauer & Nohel [3], Martı́nez
Carracedo & Sanz Alix [18], y por sus muchos ejemplos la monografı́a de Pontriaguine [23]. También
resultan interesantes Corduneanu [8], Rouché & Mawhin (Tomo II) [25], Simmons [26], Kiseliov,
Krasnov & Makarenko [16] y Hartman [13].
Por último, el Tema 8 muestra una aplicación de los sistemas diferenciales ordinarios. Se in-
troducen las ecuaciones en derivadas parciales (E.D.P.) y se consideran dos métodos de resolución
para las E.D.P. lineales y casi-lineales. El primero de ellos usa integrales primeras de sistemas
diferenciales asociados a E.D.P. lineales (en los ejemplos se recuperarán las técnicas de cálculo del
Tema 2). En el desarrollo de esta parte se utilizarán los resultados del Tema 6 en combinación con
el Teorema de la Función Implı́cita. La segunda parte del tema desarrolla el Método de las Carac-
terı́sticas para resolver E.D.P. de tipo lineal y casi-lineal. De nuevo los resultados del Tema 6 serán
esenciales, ahora en combinación con el Teorema de la Función Inversa. Para facilitar la exposición,
primero nos restringimos al caso de dimensión 2, consideraciones geométricas nos ayudarán a dar
una introducción heurı́stica de la prueba.
Para esta aplicación hemos tenido que introducir algunas referencias de E.D.P. Consideramos
muy recomendables el desarrollo de Peral [22], y válido, aunque más profundo, el libro de John [15].
Otras monografı́as clásicas de E.D.P. útiles aquı́ son Casas [5] y Sneddon [27]. También pueden
consultarse libros propiamente de ecuaciones ordinarias, por ejemplo, Hartman [13].
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
10 ÍNDICE GENERAL
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
Tema 1
Este tema pretende ser introductorio y servir al alumno para comenzar a conocer a través de
algunos ejemplos la naturaleza y variedad de las ecuaciones diferenciales ordinarias y sus soluciones,
posibilidades de cálculo, dominios de definición, comportamientos, etc.
Servirá como motivación previa a la asignatura en si, de modo que salvo por algunas definiciones
básicas, los desarrollos serán formales en su mayorı́a.
Ejemplo 1.2 (Caı́da en medio resistente). Otro ejemplo también con origen fı́sico: la caı́da
de un cuerpo en un medio resistente.
✓ ◆
d2 x 1 dx
= F c ,
dx2 m dt
donde x = x(t) representa el espacio recorrido, F es la fuerza exterior (supuesta constante) ejercida
sobre el cuerpo, m la masa del cuerpo, y c un coeficiente de resistencia a la caı́da en el medio.
dN
= N,
dt
11
12 TEMA 1. PRELIMINARES SOBRE ECUACIONES DIFERENCIALES
Ejemplo 1.4 (Dos modelos simples de Dinámica de Poblaciones). Veamos dos casos tı́pi-
cos dentro del campo de la Biologı́a, más concretamente la Dinámica de Poblaciones.
(a) El Modelo de Malthus (economista londinense preocupado por la relación entre el número de
personas en una sociedad y los recursos alimenticios de la misma) propone
dp
= ↵p,
dt
donde p = p(t) es el número de individuos de una población, y ↵ es una constante relacionada
empı́ricamente con la diferencia entre natalidad y mortalidad.
No tardaremos mucho en comprobar que se trata de un modelo válido para etapas muy cortas
ya que su solución es exponencial.
(b) Para subsanar los fallos evidentes del modelo anterior, se introdujo el Modelo logı́stico o de
Verhulst.
dp
= ↵p p2 = p(↵ p),
dt
donde es obvio que se consigue evitar el problema de un crecimiento ilimitado marcando un umbral
en la propia ecuación a través de las constantes ↵ y .
Dicha ecuación será uno de los tipos tratados en el Tema 2. Anticipamos que
✓ ◆
dy 1 1
y 0 = y(1 y) ) = dt ) + dy = dt
y(1 y) y 1 y
1
conduce tras una integración a la solución y = 1 .
Cet +1
A pesar de este último ejemplo, cabrı́a citar a tı́tulo informativo otros muchos modelos, me-
jor adaptados a situaciones biológicas concretas, como por ejemplo modelos con retardo que son
variantes del anterior.
Ejemplo 1.5 (Modelo presa-depredador). Veamos otro caso de modelo aplicable a Dinámica
de Poblaciones, pero algo distinto de los anteriores. Ahora tratamos un sistema, donde x = x(t)
representa el número de depredadores, y = y(t) representa el número de presas, y se tienen también
las constantes a, b, c, d > 0.
Es posible estudiar relaciones en el crecimiento o decrecimiento no sólo de una función, sino
de varias combinadas. Es claro que el número de presas depende de la cantidad de depredadores y
viceversa. ⇢ 0
x = ax + bxy,
y 0 = cy dxy = y(c dx).
La primera ecuación indica que el hecho de que haya depredadores depende sobretodo de que haya
presas, si no, compiten entre ellos.
Sin embargo, el número de presas podrı́a depender sólo de la propia especie (si no hubiera
depredadores, y sı́ medios “ilimitados”). Pero si hay depredadores, el número de encuentros entre
ambas especies es proporcional al número de individuos de ambas especies.
Tras estos ejemplos es fácil deducir que muchos modelos son simplificaciones de la realidad, y
que son muchas veces mejorables (en la medida en que se tengan técnicas de resolución).
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
13 1.2. PRIMERAS DEFINICIONES. INTERPRETACIÓN GEOMÉTRICA
Definición 1.6. Una ecuación diferencial ordinaria (e.d.o.) de 1er orden es una expresión de la
forma
F (x, y, y 0 ) = 0
donde x es la variable independiente, y = y(x) es la función desconocida, y 0 su derivada, y F :
O ⇢ R3 ! R es una función dada.
Observación 1.7.
Como ya se dijo antes, a menudo se denota también F (t, y, y 0 ) = 0. (Cuando en el problema
la variable independiente juega el papel del tiempo).
Usualmente se pedirá que O sea un abierto y que F sea continua (será el requerimiento
mı́nimo natural, al menos en este curso).
El término “de 1er orden” que aparece en la definición hace referencia al orden de la derivada
mayor que aparece en la ecuación.
F (x, y, y 0 ) = 0 (1.1)
Diremos que (I, ') es una solución (local) de (1.1), o equivalentemente, que ' es solución de (1.1)
definida en I.
Definición 1.9. Se dice que la e.d.o. (1.1) está en forma normal si F (x, y, y 0 ) = y 0 f (x, y)
siendo f : ⌦ ⇢ R2 ! R.
Observación 1.10.
Tener una e.d.o. en forma normal, no es algo insustancial. Caso de no ser ası́, esto es una
forma implı́cita general como (1.1), hace que el manejo y resolución de la ecuación sea más
complejo.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
14 TEMA 1. PRELIMINARES SOBRE ECUACIONES DIFERENCIALES
La forma “sensata” en que podemos definir solución de una e.d.o. en forma normal es análoga
al caso anterior. Se dice que (I, ') es solución de y 0 = f (x, y) si
Junto al concepto de solución hay otra terminologı́a frecuente que resulta conveniente intro-
ducir:
{(x, '(x)) : x 2 I} es la trayectoria de la solución.
{'(x) : x 2 I} es la órbita de la solución.
Si tenemos un espacio X tal que la solución ' 2 X, a X se le suele denotar el espacio de
fases.
Interpretación geométrica
Por simplicidad, que no por necesidad, hacemos el siguiente planteamiento para una e.d.o. dada
en forma normal.
Sea la e.d.o. y 0 = f (x, y) con f : ⌦ ⇢ R2 ! R. Supongamos que ' es solución de la e.d.o. en
cierto intervalo I. Para cada (x0 , y0 ) 2 ⌦ denotamos p0 = f (x0 , y0 ), que debe ser la pendiente de
la recta tangente a la curva y = '(x) en (x0 , y0 ).
Podemos ver ⌦ y sobre dicho conjunto la función f : ⌦ ! R como un “campo de direcciones”,
el dado por (1, f (x0 , y0 )), que va “conduciendo” la solución.
Observación 1.11.
Es fácil con paquetes informáticos, como por ejemplo Matlab, dibujar el “campo de direccio-
nes” generado por f en ⌦ y compararlo con la solución concreta en algún caso.
La interpretación geométrica puede ser muy beneficiosa para su uso posterior, tanto teóri-
co (cuando se demuestre el Teorema de Peano en el Tema 3), como práctico (cuando se
implemente el método numérico de Euler en otras asignaturas).
Existen algunos casos “especiales” en la interpretación geométrica anterior que nos obligan
a replantearnos algunas cuestiones.
- El caso de tangentes paralelas al eje OY requerirı́a que los puntos (x0 , y0 ) donde esto
ocurre tuvieran |f (x0 , y0 )| = 1.
- Otro inconveniente es que y = '(x) no puede cortar más de una vez rectas paralelas al
eje OY. Sin embargo se podrı́a generalizar el problema si se buscan curvas paramétricas
x(t) e y(t) tales que sus tangentes cumplan
dy y 0 (t0 )
(t0 ) = 0 = f (x(t0 ), y(t0 )).
dx x (t0 )
Para poder evitar casos extraños (como el primero de los dos anteriores) como para asegurar
que los cálculos formales tengan sentido, si p.ej. la derivada fuera continua y distinta de cero en un
punto, redefinimos el concepto de solución de una e.d.o. anulando con ello el dado en la Definición
1.8. [Lo hacemos sólo para el caso de una e.d.o. dada en forma normal; en forma implı́cita es
análogo.]
Definición 1.12. Una solución (local) de una e.d.o. de primer orden escrita en forma normal,
y 0 = f (x, y), con f 2 C(⌦), es un par (I, ')
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
15 1.3. OTROS EJEMPLOS EN EL ÁMBITO MATEMÁTICO
Trayectorias isogonales
Dado un ángulo ↵ cualquiera, también es posible plantear a partir de una e.d.o. f (x, y, y 0 ) = 0,
o dicho de otro modo, para la familia de curvas solución, cuál deberı́a ser la ecuación para la familia
cuyas curvas intersequen a las dadas con ese ángulo fijo.
Para ello, si llamamos y 0 = tan a una pendiente de una curva de la familia original, entonces
debemos tener para la nueva curva buscada una pendiente ỹ 0 = tan(↵ + ). Como
tan ↵ + tan
tan(↵ + ) = ,
1 tan ↵ tan
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
16 TEMA 1. PRELIMINARES SOBRE ECUACIONES DIFERENCIALES
Su solución, caso de existir (resultados locales serán expuestos en el Tema 3), la denotaremos
por ahora y = f (x).
• Una propiedad interesante que se consigue sobre la función f, derivando la función g(x) =
f (x)f ( x) es que f ( x) = 1/f (x). Por tanto, la función f, caso de existir, cumple f (x) 6= 0
8x 2 dom(f ).
• Si f es distinta de cero, por su continuidad, tiene signo constante, y por verificar la ecuación
diferencial y la condición de positividad en 0, sabemos que f es creciente, más aún, y 00 = y 0 , o sea,
que f es convexa.
• Supongamos que el problema consistente en la e.d.o. junto con la condición y(0) = 1, admite
dos soluciones f1 y f2 . Entonces derivando la función f1 (x)/f2 (x) obtenemos que f1 (x) = kf2 (x).
Pero al cumplirse que fi (0) = 1 para i = 1, 2 obtenemos unicidad de solución.
• Consideremos ahora un valor fijo a 2 R. Entonces la función r(x) = f (x + a) verifica que
r0 (x) = f 0 (x + a) = f (x + a) = r(x). De nuevo por tanto r(x) = kf (x) para cierto k 2 R.
Particularizando para x = 0 deducimos que r(0) = f (a) = kf (0) = k, o sea, k = f (a).
Concluimos entonces que
f (x + a) = f (x)f (a) 8x 2 R, 8a 2 R.
Por inducción, dado que es cierto trivialmente para n = 1, si lo creemos para un valor natural k,
el caso k + 1 se resuelve simplemente aplicando la propiedad vista en el punto anterior:
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
17 1.4. EL PROBLEMA DE CAUCHY Y E.D.O. DE ORDEN SUPERIOR
de modo que ✓ ◆
1
f = e1/q .
q
De nuevo usando (1.2) concluimos que
✓ ◆
p
f = ep/q
q
lı́m f (x) = +1
x!+1
ya que en = (1 + b)n con b > 0, y se tiene que (1 + b)n > 1 + nb. Ası́, también ocurre que
lı́m f (x) = 0
x! 1
Si imaginamos el tipo más simple de ecuación diferencial, aquélla en que y 0 = f (x), es decir,
donde la respuesta es obvia (ya que no hay ecuación propiamente), se trata sólo de integrar, el
“grado de libertad” que se tiene al calcular la integral indefinida, queda neutralizado con un dato
inicial. Esto refuerza lo visto en el ejemplo previo, y nos induce a dar la siguiente definición.
Definición 1.17. Se llama problema de Cauchy o de valor inicial relativo a la e.d.o.
f (x, y, y 0 ) = 0
al problema de encontrar ' : I ! R tal que (I, ') sea solución de la e.d.o., que x0 2 I, y que
'(x0 ) = y0 . A tal par (I, ') se le llamará solución local del problema de Cauchy.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
18 TEMA 1. PRELIMINARES SOBRE ECUACIONES DIFERENCIALES
Observación 1.18. De forma análoga se puede definir el problema de Cauchy y una solución local
en el caso de una e.d.o. en forma normal,
⇢ 0
y = f (x, y),
(PC)
y(x0 ) = y0 .
Observación 1.19 (Anticipo del Tema 2, sobre la resolución de ec. diferenciales). Del
mismo modo que no se puede escribir de forma cerrada toda integral definida en términos de
funciones elementales, el problema de Cauchy más básico
⇢ 0
y = f (x),
y(x0 ) = y0 ,
Rx
cuya solución es y(x) = y0 + x0 f (s)ds, nos permite observar que tampoco cabe esperar que las
soluciones de ecuaciones diferenciales en general o bien de problemas de Cauchy puedan darse ex-
plı́citamente siempre. Se considerará resuelto el problema si se reduce a un problema de cuadratura.
Ejemplo 1.20. Hallar la curva plana que pasa por el punto (1, 2) y cuya normal en cada punto
pasa por el origen.
Se trata de resolver el problema de Cauchy
⇢ 0
y = x/y,
y(1) = 2.
y2 0
Despejando obtenemos e y = 2x, con lo que la solución viene dada a través de la expresión
Z y
2
e t dt = x2 1,
0
G(x, y, y 0 , . . . , y (n ) = 0 (1.3)
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
19 1.4. EL PROBLEMA DE CAUCHY Y E.D.O. DE ORDEN SUPERIOR
diremos que (I, ') es solución local de (1.3) o que ' es solución de (1.3) en I.
Observación 1.25. Normalmente G será continua en un abierto O, de modo que al igual que se
hizo para e.d.o. de orden uno, pediremos a la solución en vez de que satisfaga la condición (i), que
cumpla ' 2 C n (I).
Definición 1.26. Llamamos e.d.o. de orden n en forma normal o explı́cita a una e.d.o.
de orden n donde
G(x, y, y 0 , . . . , y (n ) = y (n g(x, y, y 0 , . . . , y (n 1 )
con g : ⌦ ⇢ Rn+1 ! R.
Observación 1.27. Usualmente se pedirá que g 2 C(⌦).
Definición 1.28. Llamamos problema de Cauchy relativo a la e.d.o. implı́cita de orden n
G(x, y, y 0 , . . . , y (n ) = 0
(n 1
y dato inicial (x0 , y0 , y00 , . . . , y0 ) y se escribe
⇢
G(x, y, y 0 , . . . , y (n ) = 0,
(PC) (n 1
y(x0 ) = y0 , y 0 (x0 ) = y00 , . . . , y (n 1
(x0 ) = y0 ,
a encontrar ' : I ! R tal que (I, ') sea solución de la e.d.o. de orden n y verifique las condiciones
(n 1
'(x0 ) = y0 , '0 (x0 ) = y00 , . . . , '(n 1
(x0 ) = y0 .
Derivando resulta
2(x a) + 2(y b)y 0 = 0 (1.5)
de donde
x a= y 0 (y b).
Una segunda derivada en (1.5) implica 1 (y 0 )2 + (y b)y 00 = 0, de donde deducimos
1 + (y 0 )2
y b=
y 00
y por tanto
y 0 (1 + (y 0 )2 )
x a= .
y 00
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
20 TEMA 1. PRELIMINARES SOBRE ECUACIONES DIFERENCIALES
Definición de funciones
Al igual que se hizo antes con ecuaciones diferenciales de orden 1, que permitı́an demostrar
y caracterizar algunas funciones como ex y ln x, ecuaciones de orden superior, como y 00 = y
permiten deducir una serie de propiedades sobre las funciones sen x y cos x cuando se usan los
datos iniciales adecuados (y(0) = 0, y 0 (0) = 1, e y(0) = 1, y 0 (0) = 0 respectivamente).
donde fi : ⌦ ⇢ RN +1 ! R para i = 1, . . . , N.
Observación 1.31.
En general se supondrá que ⌦ es un conjunto abierto, y que fi 2 C(⌦) para todo i.
Cabrı́a la posibilidad de considerar sistemas con distinto número de ecuaciones que de incógni-
tas.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
21 1.5. SISTEMAS DIFERENCIALES ORDINARIOS DE DIMENSIÓN N
Se puede introducir una notación vectorial que abrevia y unifica el tratamiento de una e.d.o.
de orden uno y de un s.d.o. de primer orden.
Dicha notación vectorial serı́a y~0 = f~(x, ~y ), donde se entiende que los vectores siempre están
escritos por columna. Para unificar, como ya se ha dicho, el tratamiento de e.d.o. de orden
uno y de s.d.o. de primer orden normalmente se omitirá el sı́mbolo vectorial (salvo que se
quiera hacer especial hincapié en la diferencia).
Definición 1.32. Dado un s.d.o. de primer orden y dimensión N en forma normal, diremos que
la función '~ = ('1 , . . . , 'N ) : I ⇢ R ! RN definida en un intervalo no degenerado I es solución
del s.d.o. si se cumplen las siguientes tres condiciones:
~ admite derivada para todo x 2 I,
(i) '
(ii) (x, '
~ (x)) 2 ⌦ 8x 2 I,
y1 = y, y2 = y 0 , y3 = y 00 , . . . , yN = y (N 1
.
Obsérvese que el recı́proco no es cierto, es decir, dado un s.d.o. de primer orden y dimensión
N, no siempre es posible reducirlo a una e.d.o. de orden N. (Para hacerlo, cuando se puede, se
procede por diferenciación y eliminación de las variables superfluas.)
Al hilo de la observación anterior, damos el siguiente
Ejemplo 1.34.
(a) Comencemos con un caso en que hay respuesta positiva al problema recı́proco.
Se considera el s.d.o. ⇢ 0
y = y + z,
z 0 = y 2z.
Entonces
y 00 = y 0 + z 0 = (y + z) + (y 2z) = 2y z = 2y (y 0 y) = 3y y0 .
Una segunda opción serı́a
(b) Es inmediato dar un contraejemplo a la cuestión, es decir, no siempre es posible hacer el cambio
de un s.d.o. a una e.d.o. Considérese el caso del s.d.o.
⇢ 0
y = y,
z 0 = 2z.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
22 TEMA 1. PRELIMINARES SOBRE ECUACIONES DIFERENCIALES
Definición 1.35. Se llama problema de Cauchy para un s.d.o. de primer orden y dimen-
sión N al problema de encontrar solución a
⇢ 0
y = f (x, y),
(P C)
y(x0 ) = y0 ,
donde f : ⌦ ⇢ RN +1 ! RN .
Definición 1.36. Se dice que (I, ') es solución local del (PC) anterior si ' : I ⇢ R ! RN es
solución del s.d.o. y 0 = f (x, y) y además x0 2 I, y se verifica '(x0 ) = y0 .
Observación 1.37. Aunque tiene sentido tratar un s.d.o. de orden superior a uno, en tal caso se
podrı́a hacer un cambio que lo transformara a un sistema equivalente de orden uno y otra dimensión
(mayor), por lo que siempre se tratarán en esta forma.
Un ejemplo de s.d.o. fue tratado al principio del tema: el modelo biológico para un sistema de
dos especies presa-depredador.
Notas finales
El estudio aquı́ iniciado de un problema de Cauchy deja varias cuestiones abiertas:
Por tanto nuestro objetivo a partir de ahora es desarrollar un estudio teórico de cuestiones
cualitativas como la existencia y otras propiedades de la(s) solución(es) sin conocerla(s)
explı́citamente.
El desarrollo de la teorı́a cualitativa de e.d.o. se ve complementado con métodos de cálcu-
lo aproximados de las soluciones. Éste es el objetivo del Análisis Numérico aplicado a las
ecuaciones diferenciales.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
Tema 2
Métodos elementales de
integración
De tipo inmediato.
Variables separables.
Homogéneas.
Ecuaciones exactas.
De tipo Bernoulli.
De tipo Ricatti.
De tipo inmediato
Entendemos como e.d.o. de tipo inmediato una ecuación diferencial que propiamente no es
ecuación (no aparece la incógnita en el miembro de la derecha).
Z
y 0 = f (x) ) y(x) = f (s)ds.
Si se trataráR de un problema de Cauchy con dato inicial (x0 , y0 ) evidentemente la solución serı́a
x
y(x) = y0 + x0 f (s)ds.
23
24 TEMA 2. MÉTODOS ELEMENTALES DE INTEGRACIÓN
Variables separables
dy
Una e.d.o. se dice de variables separables si, sustituyendo formalmente y 0 por se puede
dx
manipular la ecuación para dejar todos los términos dependientes de y en un lado y los dependientes
de x en el otro.
En tal caso, dada una expresión de la forma g(y)dy = f (x)dx la solución al problema se obtiene
por integración. Z Z
g(y)dy = f (x)dx.
y0
= 1.
1 + y2
yy 0
Como = sen x entonces
1 + y2
Z Z
y
dy = sen xdx,
1 + y2
o sea,
1
ln(1 + y 2 ) = cos x + C.
2
Manipulando la expresión anterior llegamos a que
p
y = ± e2 cos x+C 1.
Aunque hay aparentemente dos familias de soluciones, el dato inicial sólo permite que nos quedemos
con la positiva, más aún,
p
y(0) = 1 ) 1 = e2+C 1 ) C = ln 2 2.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
25 2.1. RESOLUCIÓN E.D.O. DE PRIMER ORDEN EN FORMA NORMAL
Homogéneas
Se dice que una función F (x, y) es homogénea de grado n si F ( x, y) = n F (x, y) para > 0.
Dada una e.d.o. en forma normal y 0 = f (x, y), con f homogénea de grado 0, se puede resolver
explı́citamente haciendo el cambio de variables
v = y/x.
Si somos cuidadosos con los signos, entonces observamos que quedan dos problemas del tipo ante-
rior, de variables separables:
f (1, v) v
v0 = si x 0,
x
y
f ( 1, v) v
v0 = si x < 0.
x
Veamos un par de ejemplos ilustrativos. Los cálculos que haremos serán formales, i.e. no reali-
zaremos una casuı́stica exhaustiva según el signo. De hecho, esto ya nos está indicando que de
las múltiples soluciones que se pueden obtener, el problema queda más delimitado si se tiene una
condición de valor inicial (igual que ocurrı́a en el ejemplo anterior).
Ejemplo 2.3. Consideramos la ecuación
p
y+ x2 y2
y =
0
.
x
Con el cambio y = xu queda
p
xu + x2 x2 u p
xu + u =
0
=u+ 1 u2 ,
x
donde en la última igualdad hemos supuesto, por simplicidad en la exposición que x > 0. Por tanto
p Z Z
du p 1 1
xu0 = 1 u2 ) x = 1 u2 ) p du = dx.
dx 1 u2 x
Para poder efectuar el último paso hemos supuesto que 1 u2 6= 0. Ası́, obtenemos por un lado la
solución
y = x sen(ln |Cx|)
y por otro, ya que suponı́amos que 1 u2 6= 0, la que corresponde a este caso u2 = 1, i.e. y = ±x,
que efectivamente se comprueba es también solución.
Hay dos casos concretos que podemos reseñar asociados a las ecuaciones homogéneas:
✓ ◆
ax + by a b
La e.d.o. y = f
0
con la condición 6= 0 para que no se trate de un ejemplo
cx + dy c d
trivial, es una ecuación diferencial homogénea, y admite resolución por el método anterior.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
26 TEMA 2. MÉTODOS ELEMENTALES DE INTEGRACIÓN
a b
6= 0.
c d
Para obtener la ecuación homogénea hemos de calcular el punto de corte de las rectas ax +
by + m = 0 con cx + dy + n = 0. Si dicho punto lo denotamos por (x0 , y0 ), entonces el cambio
de variables X = x x0 , Y = y y0 , permite escribir la ecuación (homogénea) en X e Y.
✓ ◆
dY dY dx aX + bY
= =f
dX dx dX cX + dY
ya que
aX + bY ax + by + m
= .
cX + dY cx + dy + n
El primero consiste en encontrar un factor integrante (esto se usará también más adelante
y de forma más general). Si A es una primitiva de a, entonces la ecuación anterior equivale a
de donde Z
eA(x) y(x) = eA(x) b(x)dx.
y 0 + a(x)y = 0,
que es del tipo de variables separables y tiene por solución y(x) = Ce A(x)
con C 2 R.
El nombre del método quedará claro con el segundo paso. Buscamos una variación de la
constante C anterior, concretamente suponemos que ahora C = C(x) es una función, e
imponemos que y(x) = C(x)e A(x) sea solución de (2.1), tras lo cual una solución particular
de la ecuación no homogénea sumada con todas las soluciones posibles de la homogénea,
y = yp + yH ,
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
27 2.1. RESOLUCIÓN E.D.O. DE PRIMER ORDEN EN FORMA NORMAL
sea solución de y 0 + y cos x = sen x cos x. Al derivar yp (x) e imponer que sea solución se obtiene
una ecuación para C(x).
C 0 (x) = sen x cos xesen x ,
o sea Z
C(x) = sen x cos xesen x dx.
Efectivamente, haciendo la integral como antes, y = yp + yH nos devuelve el mismo resultado que
en el ejemplo anterior.
Ejemplo 2.6. Considérese el problema de Cauchy
( 1
y0 + y = ,
1 + x2
y(2) = 3,
cuya ecuación se resuelve por medio de
ex
ex y 0 + yex = .
1 + x2
Concretamente la integración (definida, para incorporar ya si queremos el valor inicial) es
Z x Z x
d s es
(e y(s)) ds = ds,
2 1+s
2
2 ds
es decir, Z x
es
ex y(x) 3e2 = ds.
2 1 + s2
Ası́, la solución al problema es
Z x
es
y(x) = 3e2 x+e x
ds.
2 1 + s2
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
28 TEMA 2. MÉTODOS ELEMENTALES DE INTEGRACIÓN
Ecuaciones exactas
Una e.d.o. de la forma
dy
P (x, y) + Q(x, y) = 0,
dx
o equivalentemente escrita como
con P, Q 2 C(⌦) y ⌦ ⇢ R2 , se dice exacta si existe una función U (x, y) (función potencial) tal que
@U @U
= P, = Q. (2.2)
@x @y
Por tanto las soluciones vienen dadas de forma implı́cita por “las curvas de nivel” U (x, y) = C,
d
con C una constante, ya que [U (x, y(x))] = 0. Anticipamos, aunque lo veremos con rigor más
dx
adelante, que entonces se dice que U (x, y(x)) es una integral primera del problema.
Un CRITERIO para saber si una e.d.o. es exacta, esto es, para ver si F = (P, Q) es conserva-
tivo es el siguiente: supuesto que P, Q 2 C 1 (⌦) y que ⌦ es un dominio simplemente conexo (esto
es, “sin agujeros”) P dx + Qdy es exacta si y sólo si se cumple la igualdad
@P @Q
= en ⌦.
@y @x
Ocurre de nuevo que hay dos formas de calcular U. Los exponemos a continuación y después
los ilustramos con varios ejemplos.
@U
En tal caso, la función potencial U, al tener que cumplir = P, es de la forma
@x
Z
U (x, y) = P (x, y)dx + g(y). (2.3)
@U
Por otro lado, como también debe cumplirse = Q, se tiene que verificar
@y
✓Z ◆
@
P (x, y)dx + g 0 (y) = Q,
@y
de modo que la expresión final de la función U viene dada por (2.3) siendo
Z ✓ Z ◆
@
g(y) = Q P dx dy.
@y
El segundo método se basa en el hecho de que las integrales exactas no dependen del camino
elegido en la integración. Entonces
Z x Z y
U (x, y) = P (s, y0 )ds + Q(x, s)ds.
x0 y0
En efecto, veamos que se cumple (2.2) para dicha expresión de U (x, y). Se tiene que
Z y
@U @
(x, y) = P (x, y0 ) + Q(x, s)ds.
@x @x y0
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
29 2.1. RESOLUCIÓN E.D.O. DE PRIMER ORDEN EN FORMA NORMAL
@P @Q
Pero por la igualdad = ,
@y @x
Z y Z y Z y
@ @ @
Q(x, s)ds = Q(x, s)ds = P (x, s)ds = P (x, y) P (x, y0 ).
@x y0 y0 @x y0 @y
@U
Concluimos que (x, y) = M (x, y). La derivada parcial restante es más simple:
@x
Z x
@U @
(x, y) = P (s, y0 )ds + Q(x, y) = Q(x, y).
@y @y x0
x3 + xy 2
Ejemplo 2.7. Consideremos la e.d.o. y 0 = . Evidentemente evitamos el conjunto de
x2 y + y 3
valores donde x2 y + y 3 = 0, esto es, {(x, y) : y = 0}.
Vamos a estudiar el problema en ⌦ = R2 \ {(x, y) : y = 0} = ⌦1 [ ⌦2 (realmente lo haremos
por separado en ⌦1 y ⌦2 ; obsérves que ambos dominios son simplemente conexos.
Llamamos P (x, y) = x3 + xy 2 , y Q(x, y) = x2 y + y 3 . Vemos que efectivamente
@P @Q
= = 2xy.
@x @y
@ i @ i
Luego existen dos funciones i 2 C 1 (⌦i ) para i = 1, 2, tales que = P, = Q.
@x @y
Veamos cómo hallar la solución usando los dos métodos anteriores.
Método 1:
@ x4 x2 y 2
= x3 + xy 2 ) (x, y) = + + C(y).
@x 4 2
@
) = x2 y + y 3 ) x2 y + y 3 = x2 y + C 0 (y).
@y
y4
De modo que debe cumplirse que C(y) = + k. En realidad, como la expresión de la solución
4
vendrá dada por (x, y) = C, es preferible por ahora no arrastrar la constante k. Finalmente,
resulta
x4 x2 y 2 y4 1
(x, y) = + + = (x2 + y 2 )2 .
4 2 4 4
1 2
(x + y 2 )2 = C 2 .
4
En este caso concreto sı́ podemos despejar y con respecto a x y obtener una expresión explı́cita (pero
esto no ocurrirá
p en general). Las soluciones (según estemos en el dominio ⌦1 ó ⌦2 ), redefiniendo
C, son y = ± C x2 .
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
30 TEMA 2. MÉTODOS ELEMENTALES DE INTEGRACIÓN
@P @Q
Notamos P (x, y) = 2x y 3 , Q(x, y) = 3xy 2 . Como se tiene = = 3y 2 , la ecuación es
@x @y
exacta. De nuevo lo resolvemos por los dos métodos posibles.
(a)
@
(x, y) = 2x y3 ) (x, y) = x2 y 3 x + C(y).
@x
@
(x, y) = 3xy 2 = 3xy 2 + C 0 (y) ) C 0 (y) = 0 ) C(y) = C.
@y
La solución del problema viene dada por (x, y) = x2 y 3 x =pC. Como debe cumplirse
y(1) = 1, entonces debe ser C = 0. Despejando, se tiene que y = 3 x.
(b)
Z x Z y
(x, y) = P (s, 1)ds + Q(x, s)ds
Z1 x Z1 y
= (2s 1)ds 3xs2 ds
1 1
= [s 2
s]x1 [xs3 ]s=y
s=1
= x2 x 1+1 xy 3 + x,
@ @
(µ(x, y)P (x, y)) = (µ(x, y)Q(x, y)).
@y @x
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
31 2.1. RESOLUCIÓN E.D.O. DE PRIMER ORDEN EN FORMA NORMAL
En tal caso a µ se le llama factor integrante. La condición para que la (2.4) sea exacta si µ
depende explı́citamente de las dos variables x e y es en principio más complicada,
Como en principio no sabemos si dicho factor integrante existe o no, por simplicidad buscamos
factores dependientes sólo de una variable. Ası́, resulta más fácil buscar por ejemplo µ = µ(x), en
cuyo caso la condición (2.5) queda
µ0 (x) Py Qx
µPy = µ0 (x)Q + µQx ) = .
µ(x) Q
Py Qx
Si la expresión sólo depende de x, entonces podrı́amos hallar el factor integrante (al
Q
tratarse de una ecuación de variables separables).
Otras opciones válidas serı́an µ = µ(y), o µ = µ(t) con t algún cambio de variables que resulte
claro a tenor de la ecuación de partida.
µy x(1 y) xµ = µx (y + x2 ) + 2xµ,
⌫(t) = t 3/2
.
Por tanto, hemos conseguido probar la existencia de un factor integrante, µ(x, y) = (x2 + y 2 ) 3/2
.
Ası́, la ecuación exacta es
µx(1 y) + µ(y + x2 )y 0 = 0.
La solución del problema ahora viene dada por
Z
x(1 y)
(x, y) = dx + C(y) = ( 1 + y)(x2 + y 2 ) 1/2
+ C(y).
(x2 + y 2 )3/2
Imponiendo la condición con respecto a la derivada parcial respecto de y, debe cumplirse que
y + x2
(x2 + y 2 ) 1/2
(y 1)(x2 + y 2 ) 3/2
y + C 0 (y) = .
(x2 + y 2 )3/2
Operando concluimos que C 0 (y) = 0, o sea, C(y) =Cte, de modo que la solución final es:
y 1
(x, y) = p = C.
x2 + y 2
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
32 TEMA 2. MÉTODOS ELEMENTALES DE INTEGRACIÓN
De tipo Bernoulli
La siguiente e.d.o. se llama de tipo Bernoulli:
y 0 = a(x)y + b(x)y ↵ , ↵ 6= 0, 1.
(Los casos ↵ = 0 ó 1 ya han sido tratados antes). Hay dos modos de tratarla,
o bien haciendo el cambio de variables z = y 1 ↵ , que la transforma en una ecuación lineal
en z,
z0
= az + b,
1 ↵
o bien con el cambio y = uv, y ahora imponemos que u0 = au y con esta primera ecuación
resuelta (denotemos A una primitiva de a) nos queda finalmente el problema
v 0 = b(eA )↵ 1
v.
De tipo Ricatti
Una e.d.o. de Ricatti tiene la siguiente forma:
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
33 2.2. E.D.O. DE SEGUNDO ORDEN
Liouville demostró la imposibilidad de dar un método general para obtener solución de esta
ecuación. No obstante, si se conoce de algún modo una solución particular, llamémosla yp , entonces
el cambio y = yp + u1 permite transformar el problema en otra e.d.o. de tipo lineal.
En efecto, ✓ ◆ ✓ ◆
u0 1 2yp 1
y 0 = yp0 = a y 2
p + + + b y P + + c,
u2 u2 u u
de donde, aplicando que yp es solución de la ecuación, resulta la e.d.o. lineal de primer orden
(La forma más sensata de tantear para encontrar una solución particular es comenzar por funciones
simples, constantes, polinomios, o algo sugerido por la propia ecuación.)
Ejemplo 2.11. Resolver el siguiente
⇢ 0
y = (1 2x)y y 2 + 2x,
(PC)
y(0) = 0.
Si buscamos una solución constante, yp = A, deberı́a tenerse 0 = (1 2x)A A2 + 2x, por lo que
el sistema sobredeterminado sı́ tiene una solución válida, yp ⌘ A = 1.
Hacemos ahora el cambio y = 1 + 1/z. (También cambiamos la condición inicial para el nuevo
problema, z(0) = 1). Desarrollando el cambio de variables e imponiendo que se satisfaga la
ecuación original, tenemos
x x2 0 x x2 x x2
z 0 = z + 2xz + 1 ) e z e (1 + 2x)z = e .
Z x
x x2 x x2 x2 s2
(e z)0 = e ) e x
z(x) + e =
0
e s ds.
0
Caso homogéneo
Las soluciones de
ay 00 + by 0 + cy = 0 con a, b, c 2 R, (2.8)
forman un espacio vectorial, es decir, dadas dos soluciones y1 e y2 cualesquiera de (2.8), y dos
constantes c1 , c2 2 R, la función y = c1 y1 + c2 y2 es también solución de (2.8). Denotamos V al
conjunto de todas las soluciones de la ecuación diferencial.
Veamos cómo calcular el conjunto de todas las soluciones [en realidad, hasta el tema siguiente,
donde se da una condición de unicidad local, no podemos demostrar que son todas las posibles,
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
34 TEMA 2. MÉTODOS ELEMENTALES DE INTEGRACIÓN
sino sólo un subconjunto de ellas. Sin embargo, supuesta la unicidad de solución para un (PC),
sı́ es simple concluir la dimensión del espacio vectorial V. Razónese el porqué].
Si r1 = r2 2 R, entonces
Caso no homogéneo
El conjunto de soluciones de la ecuación
ay 00 + by 0 + cy = G(x)
tiene estructura de espacio afı́n, i.e. dada una solución particular yp de la ecuación no homogénea,
el conjunto de todas ellas se obtiene como
VN H = {y = yp + yH : yH solución de (2.8)}.
Por tanto nos interesa buscar métodos para calcular soluciones particulares de la ecuación no
homogénea. Veamos dos métodos.
El método de los coeficientes indeterminados, consistente en buscar (por tanteo) solu-
ciones parecidas al término G(x) que aparece en la ecuación. Es especialmente válido para el
caso en que G sea un polinomio o una exponencial, o combinación de ambos.
Para aplicar este método no se debe olvidar el principio de superposición. Si y1 es solución
de
P (x)y100 + Q(x)y10 + R(x)y1 = G1 (x),
y otra función y2 es solución de
entonces y = c1 y1 + c2 y2 es solución de
El segundo método es el de variación de parámetros, que como veremos con más detalle
en el Tema 5, no es más que una extrapolación del método de variación de las constantes de
Lagrange.
El método consiste en que dadas dos soluciones y1 e y2 del problema homogéneo, se busque
solución del problema no homogéneo como y(x) = u1 (x)y1 (x) + u2 (x)y2 (x) imponiendo que
u01 y1 + u02 y2 = 0. En tal caso, tenemos que
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
35 2.2. E.D.O. DE SEGUNDO ORDEN
Para cada valor x fijado, el anterior es un sistema lineal en las incógnitas u01 (x) y u02 (x), que
se puede resolver y de donde recuperar integrando las funciones u1 y u2 , y por tanto una
solución particular de ay 00 + by 0 + cy = G(x).
Es fácil comprobar que la ecuación caracterı́stica mr2 + cr + k = 0 con c > 0 hace que las posibles
soluciones del problema contengan exponenciales de exponente negativo.
Vibraciones forzadas
Un caso que complementa a los anteriores es el de las vibraciones forzadas. ¿Qué ocurre si un
sistema relativo a un muelle con rozamiento recibe algún tipo de fuerza externa? (Esta situación
es totalmente práctica en la industria). Se tratarı́a de resolver la ecuación
donde de nuevo c > 0 y una hipótesis natural sobre f (t) es que sea también una función periódica.
Consideremos por ejemplo, y para evitar arrastrar constantes en los cálculos inmediatos, la
ecuación
x00 + x0 + x = sen t. (2.9)
La forma más corta de resolver la e.d.o. es observándola y buscando alguna función con si-
militud. Es claro que debemos probar con las funciones sen t y cos t. Ninguna de las dos sirve,
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
36 TEMA 2. MÉTODOS ELEMENTALES DE INTEGRACIÓN
pero entonces observamos que cos t sı́ es una solución particular. De modo que el conjunto de
soluciones de (2.9) es
V = {y = cos t + c1 y1 + c2 y2 },
donde y1 e y2 son soluciones independientes del problema
p
homogéneo calculadas usando la ecuación
caracterı́stica r2 + r + 1 = 0, que tiene raı́ces 1±2 3i . Por tanto basta tomar
p ! p !
3 3
y1 (t) = e t/2
sen t , y2 (t) = e t/2
cos t .
2 2
Si no se hubiera tratado de un caso tan simple, hubiéramos tenido que emplear el método de
variación de parámetros. Es más largo, pero tiene la ventaja de ser explı́cito y no depender de la
“astucia” de quien intenta resolver el problema.
Aplicar el método de variación de parámetros en este caso (aquı́ sólo esbozamos parte del
procedimiento) consistirı́a en:
donde y1 e y2 han sido dadas anteriormente, y sobre las funciones u1 (t) y u2 (t) imponemos que
u01 y1 + u02 y2 = 0,
de modo que
yp0 = (u01 y1 + u02 y2 ) + (u1 y10 + u2 y20 ) = u1 y10 + u2 y20 .
Ahora calculamos
yp00 = u01 y10 + u02 y20 + u1 y100 + u2 y200 .
Uniéndolo todo (y usando que y1 e y2 son soluciones de y 00 + y 0 + y = 0, obtenemos el sistema
⇢ 0
u1 y1 + u02 y2 = 0,
u01 y10 + u02 y20 = sen t.
2 sen a cos b = sen(a + b) + sen(a b), 2 sen a sen b = cos(a b) cos(a + b),
se pueden resolver las cuatro integrales cı́clicas que aparecen para hallar u1 (t) y u2 (t), con las que
obtener por medio de (2.10) la solución del problema.
Nótese que en la expresión de la solución las exponenciales de exponentes positivos y negativos
se cancelan, por lo que queda efectivamente vuelve a quedar una función periódica (no cabı́a esperar
otra cosa de un sistema fı́sico aún forzado pero con rozamiento).
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
37 2.2. E.D.O. DE SEGUNDO ORDEN
f0 f0 /m
A= 2
= 2 . (2.12)
k m! !0 ! 2
Estamos suponiendo !02 ! 2 6= 0.
La expresión final de la solución:
f0 /m
x(t) = xh (t) + xp (t) = c1 cos(!0 t) + c2 sen(!0 t) + cos(!t).
!02 ! 2
Otra expresión válida es
f0 /m
x(t) = C cos(!0 t ↵) + cos(!t),
!02 ! 2
es decir, la solución que se obtiene es superposición de dos oscilaciones, una con frecuencia natural
!0 , la propia de la ecuación homogénea, y otra debida a la fuerza externa.
Sin embargo, por el camino hemos dejado un caso atrás, el caso en que ! 2 = !02 . Consideremos
justamente ese caso, sea la e.d.o.
f0
x00 + !02 x = cos(!0 t).
m
Observamos que (2.12) hace que lı́m!!!0 A = +1, eso nos debe hacer sospechar que este
caso será más problemático. Y efectivamente, se comprueba que una función de la forma x(t) =
A cos(!0 t) ya no sirve como solución. Tanteamos otras posibilidades, por ejemplo:
Tenemos que
x00q (t) + !02 xq (t) = 2A!0 sen(!0 t) A(!02 1)t cos(!0 t)
que NO es de la forma
cos(!0 t).
Sin embargo nos hemos acercado bastante, y de hecho un segundo intento natural resulta exitoso:
Sea
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
38 TEMA 2. MÉTODOS ELEMENTALES DE INTEGRACIÓN
con lo que
x00p (t) + !02 xp (t) = 2A!0 cos(!0 t).
f0
Ahora sı́ podemos ajustar A tal que 2A!0 = .
m
Efectivamente una solución particular ahora es por tanto
Se comprueba ası́ que hay una diferencia apreciable entre el caso de vibración forzada sin amorti-
guamiento para cierta frecuencia de la fuerza externa y el caso con amortiguamiento. El caso con
resonancia produce una solución que es no acotada y va ampliándose con el paso del tiempo hasta
poder afectar al sistema sobre el que actúa.
Dicha diferencia es la responsable, por ejemplo, de la destrucción de puentes con mal sistema
de amortiguación, y de otros fenómenos positivos, como la ampliación de ondas de radio con la
sintonización adecuada.
La e.d.o. y (n = g(x, y (k , . . . , y (n 1
)
La ecuación de Euler
La e.d.o. y (n = g(x, y (k , . . . , y (n 1
)
El orden de la e.d.o. y = g(x, y (k , . . . , y (n
(n 1
) se reduce si se hace el cambio p = y (k (i.e. el
orden de la derivada más baja que aparece).
Si a + p 6= 0, entonces
p0 1 1 1
= f (x) ) = F (x)+C1 ) a+p = ) y0 = p = a ,
(a + p)2 a+p F (x) + C1 F (x) + C1
Si a + p = 0, entonces p = a, ) y 0 = a )y= ax + k.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
39 2.3. OTRAS ECUACIONES DE ORDEN MAYOR QUE UNO
p
Ejemplo 2.13. Considérese la ecuación y 000 = 1 + (y 00 )2 .
p dp
Hacemos el cambio y 00 = p. Tenemos entonces la ecuación p0 = 1 + p2 ) p = dx )
1 + p2
1 x+C1
arcsenh p = x + C1 ) p = y 00 = senh(x + C1 ) = e e x C1
,
2
y 0 = cosh(x + C1 ) + C2 ) y = senh(x + C1 ) + C2 x + C3 .
dy dp dp dy dp
= y 0 = p ) y 00 = = =p .
dx dx dy dx dy
dp
Por tanto se obtiene p + p2 = 2e y
, de donde la nueva ecuación
dy
dp
+ p = 2e y
p 1
. (2.13)
dy
Se trata por tanto de una e.d.o. de tipo Bernoulli, que se resuelve haciendo el cambio p1 ↵
= p2 = z,
y por tanto 2pp0 = z 0 . Sustituyendo en (2.13),
2pp0 = 2p2 + 4e y
) z0 = 2z + 4e y
) e2y z 0 + e2y 2z = 4ey ) e2y z = 4ey + C1 .
La solución z(y) = 4e y
+ C1 e 2y
, deshaciendo el cambio, nos devuelve
p p
y0 = p = 4e y + C1 e 2y =e y
4ey + C1 .
C1
y = ln (x + C2 )2 .
4
Nota: hemos supuesto por el camino que p 6= 0 para poder operar sin problemas, al menos
localmente. El caso p = 0 hay que tratarlo por tanto ahora. Pero comprobamos que y 0 = 0, o sea,
y =Cte no es solución del problema.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
40 TEMA 2. MÉTODOS ELEMENTALES DE INTEGRACIÓN
2 0 2
y100 u + 2y10 u0 + y1 u00 + y u + y1 u0 + y1 u = 0.
x 1 x
Como y100 + x2 y10 + y1 = 0, resulta la nueva ecuación
✓ ◆
2
y1 u00 + 2y10 + y1 u0 = 0.
x
Ahora usamos el cambio visto en uno de los casos anteriores u0 = p, de modo que
✓ ◆
2 p0 cos x C1
y1 p0 + 2y10 + y1 p = 0 ) = 2 ) p= ) u = C1 cotg x + C2
x p sen x sen2 x
de donde
sen x
y = y1 u = (C2 C1 cotg x).
x
La ecuación de Euler
Llamamos ecuación de Euler a una e.d.o. del tipo
Denotaremos las derivadas respecto de la variable t por ẏ, para distinguirlo del caso de derivación
respecto a x, y 0 .
Tras el cambio cx + d = et , como
dy dy dt
cdx = et dt ) = = ẏce t .
dx dt dx
Procedemos análogamente para la derivada segunda,
✓ ◆
d2 y d dy d d dt
2
= = c (ẏe t ) = c (ẏe t ) = c2 e t (ÿe t
ẏe t ).
dx dx dx dx dt dx
Observación 2.17. En el caso particular de que cx+d = x, la búsqueda de una solución particular
de la forma y = xk genera en el exponente k la misma condición que el polinomio caracterı́stico
de la ecuación tras el cambio x = et .
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
41 2.4. INTEGRALES PRIMERAS DE SISTEMAS DIFERENCIALES ORDINARIOS
a2 k(k 1) + a1 k + a0 = 0.
a2 (ÿ ẏ) + a1 ẏ + a0 y = 0,
o agrupado en orden
a2 ÿ + (a1 a2 )ẏ + a0 y = 0,
cuya ecuación caracterı́stica es a2 r2 + (a1 a2 )r + a0 = 0.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
42 TEMA 2. MÉTODOS ELEMENTALES DE INTEGRACIÓN
a C
Si obtenemos en algún momento entonces una expresión del tipo = debe ocurrir que C = 0.
b 0
Veamos dos formas de aplicar esto.
dx dy1 dyn
= = ... =
F0 (x, y) F1 (x, y) Fn (x, y)
µ0 F0 + µ1 F1 + . . . + µn Fn = 0
y además
µ0 dx + µ1 dy1 + . . . + µn dyn = d .
Entonces
dx dy1 dyn µ0 dx + µ1 dy1 + . . . + µn dyn d
= = ... = = = .
F0 (x, y) F1 (x, y) Fn (x, y) µ0 F0 + µ1 F1 + . . . + µn Fn 0
Por el comentario anterior, d = 0, es decir, (x, y) es una integral primera del s.d.o.
d 1 (x, y) d 2 (x, y)
= , (2.14)
1 (x, y) 2 (x, y)
entonces, como ✓ ◆
1 2d 1 1d 2
d = 2 = 0,
2 2
se tiene que
1
(x, y) es una integral primera.
2
Por supuesto, cualquier resolución como e.d.o. de (2.14) también sirve para generar una
integral primera.
Observemos que
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
43 2.4. INTEGRALES PRIMERAS DE SISTEMAS DIFERENCIALES ORDINARIOS
dy2 d(x + y1 )
= ,
y2 x + y1
por lo que otra integral primera es
x + y1
2
(x, y1 , y2 ) = .
y2
Observemos que efectivamente las dos integrales primeras obtenidas son independientes entre si:
La resolución completa del problema consiste en usar las expresiones implı́citas que se obtienen de
las integrales primeras igualadas a dos constantes arbitrarias, y sustitución de dichas constantes
con los valores iniciales.
x2 y12 2y2 = C1 , y1 (0) = 0, C1 = 2,
)
x + y1 = C2 y2 , y2 (0) = 1, C2 = 0.
x2 y12 2y2 = 2, y2 = 1,
)
x + y1 = 0, y1 = x.
Una observación de tipo práctico: si hubiéramos tenido por dato inicial, por ejemplo, y1 (0) = 1,
y2 (0) = 0, la segunda integral no hubiera sido válida. No obstante, podrı́amos darle la vuelta, i.e.
y2
tomar como integral primera y continuar.
x + y1
Ejemplo 2.21. Resolver el problema de Cauchy
8 0 y1
>
> y1 = ,
>
< x + y2
y 2 + y2
>
> y20 = 1 ,
>
: x + y2
y1 (0) = 1, y2 (0) = 1.
Observamos desde el principio que tenemos una igualdad interesante para trabajar,
Por tanto tiene sentido tratarlo como una e.d.o. lineal donde y2 = y2 (y1 ). Su resolución implica
(compruébese) que
y2
y1 = C. (2.15)
y1
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
44 TEMA 2. MÉTODOS ELEMENTALES DE INTEGRACIÓN
Veamos ahora cómo utilizar una integral primera para obtener otra. (Por supuesto no
usando las mismas expresiones racionales, de hacerlo llegarı́amos a una identidad trivial e inútil).
9
y2 = C1 y1 + y12 , >
= dx 1
dx dy1 > ) dy = y x + C1 + y1 .
= , ; 1 1
x + C1 y1 + y12 y1
Es decir, hemos obtenido de nuevo una e.d.o. lineal que podemos resolver. Compruébese que su
solución es
x = y12 + C1 y1 ln |y1 | + C2 y1 .
Eliminamos la constante C1 usando (2.15),
La solución general del problema puede venir dada por el sistema implı́cito
⇢ 1
(x, y1 , y2 ) = C1
2
(x, y1 , y2 ) = C2 .
El dato inicial y1 (0) = 1 implica que C1 = 0, de donde a su vez se deduce que y2 = y12 . Entonces
y2 (0) = 1 implica que C2 = 1, y ası́
p
1 ± 1 + 4x
x + y12 = y1 ) y1 = ,
2
pero la condición inicial y1 (0) = 1 hace que sólo sea válida la opción (y ası́ la solución local en
torno al (0, 1, 1) del problema)
p
1 + 1 + 4x
y1 (x) = , y2 (x) = (y1 (x))2 .
2
Ejemplo 2.22. Hallar todas las trayectorias sobre el paraboloide z = x2 + y 2 que son ortogonales
a las intersecciones de éste con los planos z = k, k > 0.
Escribamos de forma general el planteamiento del problema. Una curva perteneciente a la in-
tersección de dos superficies como las del enunciado:
⇢
F (x, y, z) = 0,
G(x, y, z) = C,
ha de satisfacer ser perpendicular en cada punto a lo largo de su trayectoria tanto al vector normal
de una superficie, como al de la otra. O equivalentemente, ser paralelo al producto vectorial de
ambos vectores normales.
Denotemos por (x(t), y(t), z(t)) a una curva perteneciente a dicha intersección. La condición
anterior se escribe
(x0 (t), y 0 (t), z 0 (t)) || (rF ⇥ rG).
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
45 2.4. INTEGRALES PRIMERAS DE SISTEMAS DIFERENCIALES ORDINARIOS
i j k ✓ ◆
Fy Fz Fz Fx Fx Fy
rF ⇥ rG = Fx Fy Fz = , , =: (P, Q, R).
Gy Gz Gz Gx Gx Gy
Gx Gy Gz
Por tanto el s.d.o. verificado por la familia de curvas pertenecientes a la intersección de las dos
superficies es
x0 (t) y 0 (t) z 0 (t)
= = ,
P Q R
o escrito en forma diferencial
dx dy dz dt
= = = .
P Q R 1
En realidad no necesitamos calcular dichas curvas, sino saber que son paralelas al vector (P, Q, R),
y ası́, las curvas que verdaderamente se piden, deben ser perpendiculares a rF y a (P, Q, R), por
lo que de forma análoga a lo desarrollado anteriormente, las curvas buscadas deben ser paralelas a
i j k
rF ⇥ (P, Q, R) = Fx Fy Fz .
P Q R
Por tanto
i j k
rF ⇥ rG = 2x 2y 1 = ( 2y, 2x, 0) =: (P, Q, R).
0 0 1
Por otro lado,
i j k
rF ⇥ (rF ⇥ rG) = 2x 2y 1 = ( 2x, 2y, 4(x2 + y 2 )).
2y 2x 0
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
46 TEMA 2. MÉTODOS ELEMENTALES DE INTEGRACIÓN
es otra integral primera, pero si queremos que la solución esté en F (x, y, z) = 0 no podemos admitir
cualquier constante.
En conclusión, las curvas buscadas son
⇢ 2
x2 + y 2 z = 0, x + y 2 z = 0,
)
y/x = C y = Cx.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
Tema 3
3.1. Introducción
En este tema comenzamos propiamente el estudio cualitativo de sistemas de ecuaciones dife-
renciales ordinarios. A diferencia de los dos temas precedentes, mostramos resultados abstractos
bastante generales, dos de los cuáles permitirán garantizar bajo ciertas condiciones la existencia,
y la existencia y unicidad de solución para un s.d.o.
Sin embargo la respuesta sólo será local, es decir, en un entorno del punto sobre el que se
apoya el problema de Cauchy. Esto es algo natural, al menos si se piensa en los ejemplos vistos
con anterioridad. Para un estudio global del problema, deberemos esperar al tema siguiente.
Ambas cuestiones, la de tratar por separado resultados de existencia y de unicidad, y la de
que el análisis sea local, obedecen a una razón simple. Hay ejemplos en los que una e.d.o. no
tiene unicidad de solución pero sı́ existencia [comprúebese la multiplicidad de soluciones del (PC)
y 0 = y 1/3 con dato inicial y(0) = 0].
También hay casos en los que una misma ecuación tiene soluciones con distintos dominios de
definición según el dato inicial con que se plantee el problema de Cauchy. Veamos un caso en que
se da esta situación.
Ejemplo 3.1. Es inmediato comprobar que la ecuación y 0 = 3y 4/3 sen x tiene por soluciones
1
y ⌘ 0, y(x) = con c 2 R.
(c cos x)3
El tema puede verse dividido en dos grandes bloques, en los que se mostrará respectivamente
existencia y unicidad de solución local (Teorema de Picard), y existencia de solución local del
problema de Cauchy (Teorema de Peano). Los métodos que están detrás de ambos resultados son
potentes y se emplean en casos más generales y complejos. Se trata de los métodos de punto fijo y
de compacidad respectivamente. Se desarrollarán con más profundidad en cursos posteriores (por
ello también resaltar la importancia que tiene este tema en la formación del alumno).
Para desarrollarlos requeriremos algún preámbulo de Análisis Funcional, lo que simplificará la
presentación global de los resultados, y le dará un carácter transversal al tema relacionándolo con
47
48 Tema 3. Existencia y unicidad de solución local
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
49 3.2. ALGUNAS NOTAS SOBRE EL ESPACIO C(I)
Proposición 3.7. Dado un espacio vectorial X y dos normas definidas sobre él, k · k1 y k · k2 , si
existe un valor k > 0 tal que
kxk2 kkxk1 8x 2 X,
entonces la topologı́a inducida por k · k1 es más fina que la inducida por k · k2 .
La demostración del resultado es fácil y se deja como ejercicio. [Indicación: ver que dentro de
toda bola en la métrica asociada a la norma k · k2 se puede meter una bola abierta en la métrica
asociada a la norma k · k1 .]
Observación 3.8. En las condiciones del resultado anterior, toda sucesión convergente en la
norma k · k1 también lo es en la norma k · k2 .
Toda sucesión de Cauchy en la norma k · k1 también lo es en la norma k · k2 .
Sin embargo, puede ocurrir que (X, k · k1 ) sea completo pero que (X, k · k2 ) no lo sea.
Proposición 3.9. Sea X un espacio vectorial y sobre él dos normas k · k1 y k · k2 tales que
9↵, > 0 : ↵kxk1 kxk2 kxk1 , 8x 2 X,
entonces ambas normas definen topologı́as equivalentes.
Demostración. Basta aplicar dos veces la Proposición 3.7 para tener que dentro de todo abierto
en cada una de las topologı́as hay una bola abierta respecto de la otra.
Observación 3.10. En los espacios vectoriales de dimensión finita, todas las normas son equiva-
lentes. Para probarlo basta fijar una base {ei }1in del espacio X y usar el homeomorfismo
X
X3x= ↵i ei 7! (↵1 , . . . , ↵n ) 2 Rn ,
i=1
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
50 Tema 3. Existencia y unicidad de solución local
Salvo mención contraria, siempre usaremos el espacio (C(I; RN ), k · k1 ), y por brevedad nota-
remos directamente C(I; RN ).
La unicidad de punto fijo es clara, si hubiera dos puntos fijos de T, x̂ y x̃, por la contractividad,
d(x̂, x̃) = d(T x̂, T x̃) ↵d(x̂, x̃).
Como ↵ 2 [0, 1), la única posibilidad es que d(x̂, x̃) = 0.
Observación 3.15.
1. El método de búsqueda de la solución ha sido constructivo y se llama de aproximaciones
sucesivas.. Se llama iterante n ésima a xn = T n x0 .
Además, a lo largo de la prueba se ha dado una cota de error para la aproximación del
punto fijo, esto es, pasando al lı́mite en m en (3.1):
↵n
d(x̂, T n x0 ) d(x1 , x0 ).
1 ↵
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
51 3.3. APLICACIONES CONTRACTIVAS
Demostración. Por el resultado previo sabemos que existe un único punto fijo para T n0 , que
denotamos x̂. Veamos que
T x̂ = x̂ si y sólo si T n0 x̂ = x̂,
con lo que tendremos probad la existencia y unicidad de punto fijo para la aplicación T. La
implicación hacia la derecha es obvia. Veamos la implicación contraria.
T n0 x̂ = x̂ ) T (T n0 x̂) = T x̂ ) T n0 (T x̂) = T x̂,
pero como tenemos existencia y unicidad de punto fijo para T n0 , se deduce que T x̂ = x̂.
Para acabar probamos que
x̂ = lı́m T n x0 8x0 2 X. (3.2)
n!+1
x̂ = lı́m T nn0 T 2 x0 ,
n!+1
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
52 Tema 3. Existencia y unicidad de solución local
Observación 3.18.
1. Si T es una aplicación no expansiva, los resultados anteriores son en general falsos.
Considérese el espacio de Hilbert
1
X
l = {x = (xn )n
2
1, xn 2 R, x2n < +1}.
n=1
Entonces
X = {x 2 l2 : kxkl2 = 1}
es un subconjunto cerrado de l2 , y por tanto un espacio métrico completo. Consideramos
entonces la aplicación T : X ! X definida por
Dicha aplicación está bien definida, es no expansiva, pero no tiene ningún punto fijo en X,
ya que el único posible, el origen, no pertenece a X.
2. Si una aplicación T cumple d(T x, T y) < d(x, y), tampoco es cierto en general el resultado de
existencia de punto fijo.
Considérese el siguiente contraejemplo: X = [1, +1), T (x) = x + 1/x. Al tenerse T 0 (x) =
1 1/x2 < 1, se cumple la condición d(T x, T y) < d(x, y). Por supuesto, se puede comprobar
que T está bien definida sobre X. Y sin embargo, es obvio que no posee punto fijo.
⇤3 7! T x 2 X (3.3)
es continua, entonces la aplicación
⇤3 7! x 2 X
es continua.
Como
d(x n
,T n
x 0 ) = d(T n
x n
,T n
x 0 ) ↵d(x n
, x 0 ), (3.5)
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
53 3.4. FUNCIONES LIPSCHITZIANAS
El siguiente resultado puede verse como la versión infinito dimensional del anterior.
Teorema 3.21 (Schauder). Sea X un R espacio de Banach, y K ⇢ X un convexo, cerrado, aco-
tado, no vacı́o. Consideramos una aplicación T : K ! K continua y tal que T (K) es relativamente
compacto en X. Entonces existe al menos un punto fijo x̂ 2 K de T.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
54 Tema 3. Existencia y unicidad de solución local
Para ajustar este concepto a nuestro problema, esto es, al s.d.o. y 0 = f (x, y), debemos adaptar
las definiciones de tal modo que la variable x siga distinguida (más adelante, en la prueba del
resultado se verá cómo el siguiente concepto es el adecuado).
Lip(y, ⌦) = Lip(y, ⌦; RN ).
Observación 3.25.
1. Los dos conjuntos anteriores son no vacı́os, al menos las funciones constantes están en ellos.
De hecho ambos tienen estructura de espacio vectorial.
9L(x0 , y0 ) : |f (x, y1 ) f (x, y2 )| L(x0 , y0 )|y1 y2 | 8(x, y1 ), (x, y2 ) 2 B((x0 , y0 ), "(x0 , y0 )).
Denotaremos
Observación 3.27. La inclusión Lip(y, ⌦; RM ) ⇢ Liploc (y, ⌦; RM ) es clara, por lo que Liploc (y, ⌦; RM ) 6=
;. De hecho, se trata de nuevo de un conjunto con estructura de R espacio vectorial.
Proposición 3.28.
(a) f 2 Lip(y, ⌦; RM ) ) f es uniformemente continua respecto de y en ⌦, i.e.
8" > 0 9 > 0 : (x, y1 ), (x, y2 ) 2 ⌦, |y1 y2 | < ) |f (x, y1 ) f (x, y2 )| < ".
Observación 3.29.
1. f 2 Lip(y, ⌦; RM ) 6) f 2 C(⌦; RM ). Considérese el contraejemplo en ⌦ = R2 ,
⇢
0 si x 0,
f (x, y) =
y si x > 0.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
55 3.4. FUNCIONES LIPSCHITZIANAS
f (x, y) = |y|.
⇣ "⌘ r
" "
f 0, f (0, 0) = L(0, 0) contradictorio.
n n n
Demostración.
a) Sea (x, y) 2 ⌦ y sea " > 0 tal que B = B((x, y), ") ⇢ ⌦. Consideremos i 2 {1, . . . , M }, y
dos puntos (x, y), (x, ỹ) 2 B. Entonces, por el Teorema del Valor Medio aplicado a la función
F (✓) = fi (x, y + ✓(ỹ y)) con ✓ 2 [0, 1] ya que el segmento {(x, ȳ + ✓(ỹ ȳ)) : ✓ 2 [0, 1]} ⇢ B ⇢ ⌦
por lo que la función tiene F está bien definida.
XN
@fi ¯
fi (x, ȳ) fi (x, ỹ) = (x, ȳ + ✓(ỹ ȳ)) · (ỹj ȳj ).
j=1
@y j
✓ ✓ ◆◆ XN
@fi
|f (x, ȳ) f (x, ỹ)| máx máx |ỹj ȳj |.
i,j B @yj j=1
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
56 Tema 3. Existencia y unicidad de solución local
con ej es vector de ceros en todas sus componentes menos en la j ésima, donde tiene un uno. Ello
implica que
n n
|fi (xn , yn + "n ej ) fi (xn , yn )| |"n | = |(yn + "n ej ) yn |,
2 2
que contradice el hecho de que f 2 Lip(y, ⌦; RM ).
Observación 3.31. El resultado anterior da condiciones suficientes, pero no necesarias. Ya vimos
en la Observación 3.29 un contraejemplo en el que la función ni siquiera era continua. Véanse
también los siguientes ejemplos (y como otro contraejemplo de este resultado, el tercero y último
de ellos).
1 @f 2y
Ejemplo 3.32. Sea f (x, y) = . Se tiene que f 2 C 1 (R2 ). Como (x, y) = , se
1+y 2 @y (1 + y 2 )2
@f
tiene que M para cierto M > 0, de modo que por el resultado anterior, f 2 Lip(y, R2 ; R).
@y
x @f
Ejemplo 3.33. Consideramos la función f (x, y) = . Se tiene que f 2 C 1 (R2 ), y (x, y) =
1 + y2 @y
2xy
. Por tanto
(1 + y 2 )2
@f
M si y sólo si {x : 9(x, y) 2 dom(f )} es acotado.
@y
Por tanto, f 2 Liploc (y, R2 ; R). Sin embargo, f 62 Lip(y, R2 ; R), como es fácil ver por el Teorema
del Valor Medio tomando valores grandes en x, y valores y1 e y2 próximos entre sı́, y alejados de
cero. En resumen, concluimos que f 2 Lip(y, ⌦; R) para todo ⌦ ⇢ R2 que se convexo y acotado en
la dirección de x.
Ejemplo 3.34. Considérese la función
⇢ 2
(x + 1)(y + 1) si x > 0,
f (x, y) =
2y si x 0.
8(x̄, ȳ) 2 K, 9"(x̄, ȳ) > 0, L(x̄, ȳ) > 0 : B((x̄, ȳ), "(x̄, ȳ)) =: B(x̄, ȳ) ⇢ ⌦,
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
57 3.5. FORMULACIÓN INTEGRAL DEL PROBLEMA DE CAUCHY
siendo ⇢
"(x̄1 , ȳ1 ) "(x̄n , ȳn )
r = mı́n ,..., . (3.7)
2 2
Se tiene entonces que
|f (x, y1 ) f (x, y2 )| 2 supK |f |
=: L̄ 8(x, y1 , y2 ) 2 W. (3.8)
|y1 y2 | r
Veamos finalmente que f 2 Lip(y, K; RM ).
Ası́, resolver localmente el (PC) equivale a encontrar un punto fijo para la aplicación ⌧. [Existencia
y unicidad para el (PC) equivaldrá a existencia y unicidad de punto fijo para la aplicación ⌧.]
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
58 Tema 3. Existencia y unicidad de solución local
aproxima a la solución. Esta sucesión ası́ construida genera el llamado Método de las Aproxima-
ciones Sucesivas.
Demostración. Al ser (x0 , y0 ) 2 ⌦ abierto, existe r > 0 tal que B((x0 , y0 ), r) ⇢ ⌦. Es posible elegir
(en una base de entornos de la topologı́a producto) valores a0 , b0 > 0 tales que
No obstante, para acabar de plantear bien el marco de trabajo, i.e. el problema en ⌦, necesitamos
otras acotaciones: denotemos M = máxR |f |. Tomamos ahora
⇢
b0
⇤
< mı́n a0 , ,
M
R⇤ = I ⇤ ⇥ B̄(y0 , b0 ) = [x0 ⇤
, x0 + ⇤
] ⇥ B̄(y0 , b0 ).
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
59 3.6. TEOREMA DE PICARD. MÉTODO DE LAS APROXIMACIONES SUCESIVAS
x̄ 2 (x0 , x̂) (o en el intervalo (x̂, x0 ) si están en orden contrario, pero no influye en la prueba) tal
que |'(x̄) y0 | = b0 y
|'(t) y0 | < b0 8t 2 [x0 , x̂).
Veamos que esto es contradictorio, en efecto:
Z x̄ Z x̄
b0 = |'(x̄) y0 | = f (s, '(s))ds M ds < M ⇤
< b0 .
x0 x0
Ahora que tenemos probada la equivalencia entre buscar solución local al (PC) y (3.9), veamos
que podemos aplicar el Teorema de punto fijo de Banach para resolver (3.9).
En efecto, consideramos T : X ⇤ ! X ⇤ , dada por
Z x
T '(x) = y0 + f (s, '(s))ds 8x 2 I ⇤ .
x0
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
60 Tema 3. Existencia y unicidad de solución local
A tenor del Teorema 3.39, tiene sentido introducir los siguientes conceptos.
Definición 3.42. Sea f : C ⇢ RN +1 ! RN .
Se llama abierto de existencia y unicidad para y 0 = f (x, y) a cualquier conjunto abierto
⌦ ⇢ C tal que f |⌦ 2 C(⌦; RN ) \ Liploc (y, ⌦).
Se llama dominio de existencia y unicidad para y 0 = f (x, y) a cualquier abierto conexo
⌦ ⇢ C que sea abierto de existencia y unicidad.
Se llama abierto maximal de existencia y unicidad para y 0 = f (x, y) a la unión de
todos los abiertos de existencia y unicidad.
Se llama dominio maximal de existencia y unicidad para y 0 = f (x, y) a cualquier
dominio de existencia y unicidad tal que no existe otro dominio de existencia y unicidad que
lo contenga estrictamente.
Terminamos esta sección con un ejemplo interesante, que obtiene de forma similar al Teorema
de Picard existencia y unicidad de solución.
En este caso se resolverá una ecuación integral, y en lugar de obtener contractividad en la
aplicación original, habrá que iterar varias veces, es decir, se usará el Teorema 3.17 en lugar del
Teorema del punto fijo de Banach directamente.
Ejemplo 3.43. Sean K(·, ·) 2 C([a, b] ⇥ [a, b]), f 2 C([a, b]) y 2 R elementos dados.
Llamamos ecuación integral de Volterra de segunda espacie al problema de hallar ' 2 C([a, b])
tal que Z x
' (x) = f (x) + K(x, t)' (t)dt.
a
Probar que existe una única solución a dicho problema viendo que la aplicación
T : C([a, b]) ! C([a, b]) : ' 7! T '
dada por Z x
(T ')(x) = f (x) + K(x, t)'(t)dt 8x 2 [a, b]
a
cumple la propiedad de que existe un n0 2 N tal que la función compuesta T n0 es contractiva.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
61 3.7. EXISTENCIA LOCAL DE SOLUCIÓN. TEOREMA DE PEANO
| |n K n (x a)n
|T n '1 (x) T n '2 (x)| k'1 '2 k. (3.10)
n!
Para comprobarlo procedemos por inducción. Ya hemos visto los casos n = 1 y n = 2. Supongamos
que es cierto para un n cualquiera, y comprobemos que también se cumple para n + 1. En efecto,
operando com antes y usando la hipótesis de inducción tenemos que
Z x
| |n K n (t a)n
|(T n+1 '1 )(x) (T n+1 '2 )(x)| | |K k'1 '2 kdt
a n!
| |n+1 K n+1 (x a)n+1
= k'1 '2 k.
(n + 1)!
Al tener que (3.10) se verifica para todo n y para todo par de funciones '1 , '2 2 C([a, b]), como el
cociente
| |n K n (x a)n
n!
es el término general de la serie convergente que genera e| |K(b a)
, se tiene que
| |n K n (x a)n
!0 cuando n ! +1.
n!
| |n0 K n0 (x a)n0
< 1,
n0 !
La idea general es simple: deseamos construir una sucesión de funciones que “aproximen” la
solución. Nos damos cuenta de que necesitamos algún resultado de compacidad, es decir, algún
teorema que nos permita afirmar que existe una subsucesión convergente (hacia una solución del
problema). Este resultado es el objetivo inmediato a tratar.
1 Dicho resultado se suele ver también en la asignatura Ampliación de Ecuaciones Diferenciales, en la Universidad
de Sevilla, pero esta asignatura es optativa, por lo que no se tiene garantı́as de que todos los alumnos lo den.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
62 Tema 3. Existencia y unicidad de solución local
Observación 3.44.
1. En un espacio normado (de hecho, en cualquier espacio métrico) se tiene la siguiente equi-
valencia: un conjunto K es compacto si y sólo si es secuencialmente compacto, i.e. 8{xn } ⇢
K : 9{xn0 }n0 convergente a x 2 K.
Definición 3.45. Dado un conjunto de funciones F ⇢ C(I; RN ) (siendo I = [a, b]), se dice que
F es equicontinua si
8" > 0 9 > 0 : x1 , x2 2 I, |x1 x2 | < ) |'(x1 ) '(x2 )| < " 8' 2 F.
F es acotada si
9M > 0 : k'k M 8' 2 F.
Observación 3.46.
1. F es relativamente compacto si y sólo si F es secuencialmente compacto, i.e.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
63 3.7. EXISTENCIA LOCAL DE SOLUCIÓN. TEOREMA DE PEANO
de modo que para toda ' 2 F y todo par x1 , x2 2 I con |x1 x2 | < se tiene que
|'(x1 ) '(x2 )| |'(x1 ) 'i (x1 )| + |'i (x1 ) 'i (x2 )| + |'i (x2 ) '(x2 )|
k' 'i k + |'i (x1 ) 'i (x2 )| + k'i 'k < "/3 + "/3 + "/3 = ".
[ k0
[
I⇢ (r ,r + ) ) I ⇢ (rk , rk + ).
r2I\Q k=1
Como existen los valores lı́mn!+1 'nn (rk ) para k = 1, . . . , k0 , (son un número finito de sucesiones),
entonces existe un valor n0 2 N, tal que se cumple una condición de Cauchy para todas ellas:
Consideremos ahora un valor cualquiera x 2 I, sabemos que existe un k̄ 2 {1, . . . , k0 } tal que
|x rk̄ | < . Por tanto deducimos la siguiente acotación.
|'nn (x) 'mm (x)| |'nn (x) 'nn (rk̄ )| + |'nn (rk̄ ) 'mm (rk̄ )| + |'mm (rk̄ ) 'mm (x)|
< "/3 + "/3 + "/3 = ".
La sucesión es por tanto de Cauchy, pero C(I; RN ) es completo, y por tanto la sucesión es conver-
gente, como querı́amos probar.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
64 Tema 3. Existencia y unicidad de solución local
Observación 3.48.
1. En la prueba anterior puede sustituirse la hipótesis de acotación uniforme por puntualmente
acotado. De hecho, se puede ver también que si F es equicontinua y puntualmente acotada,
entonces es uniformemente acotada.
La prueba es simple: por reducción al absurdo, supongamos que no es cierto. Esto es, para
todo M > 0, existe un elemento fM 2 F, tal que existe un elemento xM 2 I, con el que
|fM (xM )| M. Sin pérdida de generalidad podemos suponer M 2 N, y extrayendo una
subsucesión, pero que rebautizamos igual, que {xM }M es convergente hacia un elemento x 2 I.
Pero entonces se tiene la acotación
2. Una condición suficiente para que una familia sea equicontinua es que F ⇢ C 1 (I; RN ) cumpla
que la familia {'0 }'2F es acotada en C(I; RN ).
3. Usando un conjunto denso y numerable como en la prueba anterior no es difı́cil probar (se
deja como ejercicio) que el espacio C(I; RN ) es separable, i.e. posee un conjunto denso y
numerable.
Una idea a seguir serı́a proceder por regularización para obtener una familia de C 1 (I; RN )
densa en C(I; RN ). Ahora, en el compacto I, usando el desarrollo de Taylor sobre una función
de C 1 (I; RN ), se obtiene que los polinomios son densos en C 1 (I; RN ). Finalmente, usando
la densidad de los racionales, bastará tomar aquellos polinomios de coeficientes racionales.
Definición 3.49. Dados I = [a, b] ⇢ R, con x0 2 I, y " > 0, se dice que '" : I ! RN es una
solución " aproximada del (PC) en I si
(iii) existe una partición finita de I, a = a0 < a1 < . . . < am = b, de tal modo que '" 2
C 1 ([ai , ai+1 ]; RN ) para todo i = 0, 1, . . . , m 1.
A continuación damos dos lemas de carácter técnico, que nos ayudarán a probar el anunciado
Teorema de Peano. El primero de ellos nos dice que una solución " aproximada satisface una
estimación análoga a la formulación integral equivalente que tenı́a la solución del (PC).
Lema 3.50. Bajo las condiciones anteriores, si '" es una solución " aproximada del (PC) en I,
entonces Z x
'" (x) y0 f (s, '" (s))ds "|x x0 | 8x 2 I.
x0
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
65 3.7. EXISTENCIA LOCAL DE SOLUCIÓN. TEOREMA DE PEANO
Demostración. Sea x 2 I, supongamos que x > x0 (el caso x < x0 se resuelve análogamente). Por
ser '" una solución " aproximada, sabemos que existe una partición finita x0 < x1 < x2 < . . . <
xn = x tal que '" 2 C 1 ([xi , xi+1 ]; RN ) para i = 0, . . . , n 1. Entonces
Z xi+1
'" (xi+1 ) '" (xi ) = '0" (s)ds,
xi
que unido a la condición última que satisface una solución " aproximada implica
Z xi+1 Z xi+1
'" (xi+1 ) '" (xi ) f (s, '" (s))ds = ('0" (s) f (s, '" (s)))ds
xi xi
"|xi+1 xi | 8i = 0, . . . , n 1.
El segundo resultado técnico nos indica que podemos construir soluciones " aproximadas del
(PC) que además tienen otras propiedades (que a la postre nos permitirán poder aplicar el Teorema
de Ascoli-Arzelà).
Lema 3.51. Sea ⌦ ⇢ RN +1 abierto, (x0 , y0 ) 2 ⌦, y f 2 C(⌦; RN ). Entonces existe > 0 tal que
en el intervalo I = [x0 , x0 + ], para cada " > 0 existe una solución " aproximada '" del (PC)
en I verificando
|'" (x) '" (x̄)| M |x x̄| 8x, x̄ 2 I , con M independiente de ". (3.11)
Demostración. Para empezar seleccionamos un marco de trabajo similar al que establecimos para
la demostración del Teorema de Peano (la idea es que por muy grande que sea la pendiente de una
solución, ésta no salga de la zona elegida).
Dado que ⌦ es abierto y (x0 , y0 ) 2 ⌦, existen a0 , b0 > 0 tales que R = [x0 a0 , x0 + a0 ] ⇥
B̄(y0 , b0 ) ⇢ ⌦. Como f 2 C(R; RN ), existe MR = máxR |f |. Tomamos ahora
Por otro lado, dado " > 0, por la continuidad uniforme de f en R, existe un valor ⇢ > 0 tal que
si (x, y), (x̄, ȳ) 2 R, son tales que |x x̄| < ⇢, |y ȳ| < ⇢, entonces |f (x, y) f (x̄, ȳ)| ". Por
razones técnicas que se verán más adelante, tomamos
↵ = mı́n(⇢, ⇢/MR ).
x0 =x n <x (n 1) < ... < x 1 < x0 < x1 < x2 < . . . < xn 1 < xn = x0 + ,
tal que |xi+1 xi | < ↵ para todo i 2 { n, (n 1), . . . , 1, 0, 1, . . . , n 1}. Ahora definimos por
recurrencia la poligonal de Euler sobre dicha partición:
8
< y0 si x = x0 ,
'" (x) = '" (xi ) + f (xi , '(xi ))(x xi ) si x 2 (xi , xi+1 ], i = 0, . . . , n 1,
:
'" (x i ) + f (x i , '(x i ))(x x i ) si x 2 [x (i+1) , x i ), i = 0, . . . , n 1.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
66 Tema 3. Existencia y unicidad de solución local
Veamos que dicha función es una solución " aproximada. Para ello vemos primero que está bien
definida.
|'" (xi+1 ) y0 | |'" (xi+1 ) '" (xi )| + |'" (xi ) '" (xi 1 )| + . . . + |'" (x1 ) '" (x0 )|
= |f (xi , '" (xi ))||xi+1 xi | + . . . + |f (x0 , '" (x0 ))||x1 x0 |
MR (|xi+1 xi | + . . . + |x1 x0 |) MR b0 .
(ii) 8x 2 I se tiene que x 2 [x0 a0 , x0 + a0 ], y que '" (x) 2 B̄(y0 , b0 ) ya que están los vértices
de la poligonal, y el conjunto R es convexo. En resumen, (x, '" (x)) 2 R ⇢ ⌦.
(v) Para todo x 2 I con x 6= xi , existe un valor j tal que x 2 (xj , xj+1 ). Entonces se tiene que
'0" (x) f (x, '" (x)) = f (xi , '" (xi )) f (x, '" (x)).
Como |x xj | ↵ ⇢, y
|'0" (x) f (x, '" (x))| = |f (xj , '" (xj )) f (x, '" (x))| ".
Veamos ahora que las poligonales de Euler verifican las dos condiciones del enunciado.
Para probar (3.11) tenemos que ver que existe M > 0, independiente de ", tal que
Comprobamos que podemos tomar M = MR = máxR |f | tal y como ya habı́amos definido. Supon-
gamos que entre los puntos x y x̄ hay sólo un punto de la partición que interviene en la definición
de '" , por ejemplo el x2 . (Si fueran más los puntos intermedios, el razonamiento, como se puede
ver, serı́a el mismo). Entonces tenemos
|'" (x) '" (x̄)| |'" (x) '" (x2 )| + |'" (x2 ) '" (x̄)|
|f (x1 , '" (x1 ))||x x2 | + |f (x2 , '" (x2 ))||x2 x̄|
MR (|x x2 | + |x2 x̄|) = MR |x x̄|.
Para probar que también se tiene la propiedad (3.12), simplemente observamos que se puede
tomar como compacto K = R, y efectivamente se tendrá siempre, para todo " > 0, que (x, '" (x)) 2
K para todo x 2 I .
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
67 3.7. EXISTENCIA LOCAL DE SOLUCIÓN. TEOREMA DE PEANO
Observación 3.53.
1. El Teorema de Peano proporciona existencia, pero no unicidad. Considérese el siguiente
contraejemplo en ⌦ = R2 : ⇢ 0
y = y 2/3 ,
(PC)
y(0) = 0.
Definimos para <↵<0< < las funciones
8 ✓ ◆3
>
> x ↵
>
> si x 2 [ , ↵),
>
> 3
<
'↵, (x) = 0 si x 2 [↵, ],
>
> ✓
>
> ◆3
>
> x
: si x 2 ( , ].
3
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
68 Tema 3. Existencia y unicidad de solución local
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
Tema 4
Z x1
b) Si u(x) h + k(s)u(s)ds 8x 2 [x0 , x1 ], entonces
x
✓Z x1 ◆
u(x) hexp k(s)ds , 8x 2 [x0 , x1 ].
x
Demostración.
Z x
a) Definimos la función v(x) = k(s)u(s)ds. Obviamente v 2 C 1 ([x0 , x1 ]) y v 0 (x) = k(x)u(x).
x0
Como u(x) h + v(x) y k es positiva, tenemos que
69
70 Tema 4. Unicidad global y solución global del (PC)
o lo que es lo mismo,
v 0 (x) hk(x) + v(x)k(x),
de donde
✓ Z x ◆ ✓ Z x ◆ ✓ Z x ◆
exp k(s)ds v (x)0
exp k(s)ds v(x)k(x) hk(x)exp k(s)ds .
x0 x0 x0
Usando esta desigualdad y que u(x) h + v(x) se concluye la prueba de este primer apartado.
Uniendo la desigualdad obtenida para v(x) al hecho de que u(x) h + v(x), se obtiene la del
enunciado.
Observación 4.2.
1. El Lema de Gronwall permite pasar de una inecuación integral en u a una estimación para
u.
2. Un caso particular que será especialmente importante en este tema es cuando h = 0. Esto
significará que u(x) 0.
3. Otro caso particular en el que los resultados se simplifican es cuando k(x) ⌘ k, constante.
Entonces las desigualdades finales en los casos anteriores se leen
a) u(x) hek(x x0 )
si x > x0 .
b) u(x) he k(x1 x)
si x < x1 .
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
71 4.1. UNICIDAD GLOBAL DE SOLUCIÓN DEL (PC)
4. Es posible utilizar una única formulación que agrupe las dos condiciones del lema (ahora x
y x0 no estarán ordenados):
Z x ✓Z x ◆
u(x) h + k(s)u(s)ds 8x, x0 2 I ) u(x) hexp k(s)ds .
x0 x0
Pero la exponencial del integrando en el miembro de la derecha es menor o igual que uno, de donde
se deduce que ✓Z ◆Zx1 x1
v(x) exp k(s)ds k(s)h(s)ds.
x x
Ahora, de la desigualdad anterior y la original, u h + v, se concluye el resultado.
En todo lo que sigue consideraremos un conjunto abierto no vacı́o ⌦ ⇢ RN +1 , (x0 , y0 ) 2 ⌦ y
f 2 C(⌦; RN ) \ Liploc (y, ⌦). Estudiaremos el siguiente
⇢ 0
y = f (x, y),
(PC)
y(x0 ) = y0 .
El Teorema de Picard nos permitı́a concluir que existı́a un intervalo [x0 , x0 + ] no degenerado
en el cuál la solución es única.
El problema de la unicidad global es el siguiente: supongamos que existen dos solucio-
nes locales del (PC) anterior, (I1 , '1 ) e (I2 , '2 ). Y que x0 2 I1 \ I2 . ¿Se puede afirmar que
'1 (x) = '2 (x) 8x 2 I1 \ I2 ? La respuesta es que sı́, y se da en el siguiente resultado.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
72 Tema 4. Unicidad global y solución global del (PC)
Como f 2 C(⌦; RN ) y K es compacto, entonces supK |f (x, y)| < +1. Al ser f 2 Liploc (y, ⌦), por
un resultado del tema anterior (Proposición 3.35) se tiene que f 2 Lip(y, K; RN ). Denotemos por
LK > 0 la constante de Lipschitz de f respecto de la variable y en K.
Por otro lado, observemos que las soluciones del sistema diferencial ordinario verifican
Z x
'i (x) = y0 + f (s, 'i (s))ds 8x 2 [x0 , x1 ],
x0
por lo que
Z x Z x
|'2 (x) '1 (x)| = f (s, '2 (s))ds f (s, '1 (s))ds
x0 x0
Z x
|f (s, '1 (s)) f (s, '2 (s))|ds
x0
Z x
LK |'2 (s) '1 (s)|ds.
x0
Ahora el resultado sigue de aplicar el Lema de Gronwall, ya que |'1 '2 | 0 8x 2 [x0 , x1 ].
Observación 4.5. Existen otros resultados de unicidad global bajo hipótesis más generales que el
carácter localmente lipschitziano de f respecto de y en ⌦. (Véanse las monografı́as de Corduneanu
[8] y Hartman [13]).
Denotemos
⇢ ⇢ 0
y = f (x, y),
S(x0 , y0 ) = (I, ') : (I, ') solución local del (PC) .
y(x0 ) = y0 .
Sabemos que S(x0 , y0 ) 6= ; gracias al Teorema de Picard. Con esta notación, introducimos los
siguientes conceptos.
Definición 4.6. Dada (I, ') 2 S(x0 , y0 ), se dice que es una
Solución prolongable por la derecha (resp. izquierda) si existe (J, ) 2 S(x0 , y0 ) tal
que
I ⇢ J, I 6= J, sup I 2 J
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
73 4.2. PROLONGACIÓN DE SOLUCIONES PARA S.D.O.
a) Supuesto que existe la solución maximal, veremos que el intervalo I donde está definida dicha
solución es abierto.
b) Supuesto que existen soluciones maximales, veremos que ésta es única para cada (PC).
a) Denotemos (I, ') la solución maximal (caso de existir). Veamos que I es abierto. Supongamos
por reducción al absurdo que = sup I 2 I. Entonces ( , '( )) 2 ⌦. Planteamos entonces el
siguiente problema auxiliar: ⇢ 0
y = f (x, y),
(PC)
y( ) = '( ).
Sabemos que existe un cierto > 0 tal que en el intervalo [ , + ] está definida una función '¯
solución de este (PC). Obsérvese que (I, ') 2 S( , '( )). Tomamos entonces J = I [[ , + ]= 6
I, de hecho I ⇢ J, y = sup I 2 J. Ası́, es claro que la función
⇢
'(x) si x 2 I,
(x) =
¯
'(x) si x 2 [ , + ],
(función que está bien definida sin ambigüedad gracias al Teorema 4.4) permite obtener un elemento
(J, ) 2 S(x0 , y0 ), por lo que (I, ') serı́a prolongable por la derecha (contradicción con que era
solución maximal).
La prueba por el extremo izquierdo se desarrolları́a de forma análoga: si inf I = ↵ 2 I, ... al
final la solución maximal serı́a prolongable por la izquierda.
Por tanto I = (↵, ), es un intervalo abierto (caso de que exista solución maximal).
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
74 Tema 4. Unicidad global y solución global del (PC)
Obsérvese que por el apartado a) no tiene sentido realmente que una solución esté definida en un
intervalo cerrado o semicerrado ya que se podrı́a prolongar por el lado cerrado. Por tanto I(x0 , y0 )
está bien definida. Además, por el Teorema de Picard sabemos que I(x0 , y0 ) no es vacı́o. Por otro
lado, como para toda solución local (I, ') se tiene que x0 2 I, entonces I(x0 , y0 ) es un intervalo.
Denotemos ↵ = inf I(x0 , y0 ), y = sup I(x0 , y0 ). Como al menos existe un valor > 0 y un
intervalo [x0 , x0 + ] en el que hay definida una solución local, sabemos que ↵ < x0 < .
Definimos ahora la función '˜ : I(x0 , y0 ) ! RN del siguiente modo: para cada x 2 I(x0 , y0 ),
existe al menos un intervalo abierto I (por definición de I(x0 , y0 )) tal que (I, ') 2 S(x0 , y0 ), y
x 2 I. Definimos entonces '(x)
˜ := '(x). (Por el Teorema 4.4 no hay ambigüedad en la definición).
Se comprueba que (I(x0 , y0 ), ')
˜ es solución del (PC), ya que
(i) '(x
˜ 0 ) = y0 ,
Observación 4.8 (Notación para la solución maximal). A partir de ahora se denotará por
'(·, x0 , y0 ) la solución maximal del
⇢ 0
y = f (x, y),
(PC)
y(x0 ) = y0 ,
Observación 4.10.
1. El ı́nfimo en la definición anterior se entiende como
(i) ↵ d(a, b) 8a 2 A, 8b 2 B,
inf d(a, b) = ↵ 2 [0, +1) , (ii) 9{an } ⇢ A, 9{bn } ⇢ B, lı́m d(an , bn ) = ↵.
a2A,b2B n!+1
2. La distancia entre conjuntos cerrados disjuntos puede ser cero, como el siguiente ejemplo en
R2 muestra: A = {(x, 0) : x 2 (0, +1)}, B = {(x, 1/x) : x 2 (0, +1)}.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
75 4.3. COMPORTAMIENTO DE LA SOLUCIÓN MAXIMAL EN LOS EXTREMOS
Como K es compacto, existe una subsucesión {knm } ⇢ {kn }n tal que lı́mnm !+1 knm = k̄ 2 K.
Entonces se tiene que
Esto significa que cnm ! k̄. Y como C es cerrado, ha de tenerse que k̄ 2 C, lo que es contradictorio
con que K \ C = ;.
Introducimos una serie de conceptos que serán necesarios para establecer el resultado princi-
pal de esta sección. Se siguen considerando las condiciones y el (PC) indicados en las secciones
precedentes.
Definición 4.12. Dada una solución local del (PC), (I, ') 2 S(x0 , y0 ) con I = (↵, ), se denomina
a) Trayectoria de (I, ') a
⌧' = {(x, '(x)) : x 2 I}.
Observación 4.13.
1. Para definir los terminales hay que tomar la clausura de las semitrayectorias porque si no,
la intersección serı́a vacı́a.
2. Si ( , ⇠) 2 T'+ entonces ( , ⇠) es un punto lı́mite de valores de la semitrayectoria derecha.
Esto significa que en cada entorno del punto ( , ⇠) hay infinitos puntos de la semitrayectoria
derecha, pero no significa que lı́mx! '(x) = ⇠.
Análogo comentario se puede hacer para el terminal izquierdo.
tiene por solución '(x) = sen ⇡x , que está definida en I = (0, +1). El terminal izquierdo vale
T' = {0} ⇥ [ 1, 1], sin embargo no existe lı́mx!0+ sen ⇡x .
Teorema 4.14. Bajo las condiciones y notación de esta sección, considérese (I, ') 2 S(x0 , y0 ),
con I = (↵, ). Entonces se tienen las siguientes equivalencias.
a) ' es prolongable por la derecha,
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
76 Tema 4. Unicidad global y solución global del (PC)
a) ) b) Supongamos que (I, ') es prolongable por la derecha. Entonces existe (J, ) 2
S(x0 , y0 ) tal que I = (↵, ) ⇢ J, 2 J. Además, se tiene la siguiente inclusión:
b) ) a) Si ⌧'+ es acotado y d(⌧'+ , @⌦) > 0, se deducen dos cosas: por un lado que < +1,
y por otro que el conjunto es cerrado y acotado, luego compacto, y contenido en ⌦.
⌧'+
Veamos a partir de lo anterior que ' es prolongable por la derecha. Por una nota previa
debemos ser cautos, no basta tomar cualquier sucesión xn ! y ver que posee una subsucesión
convergente. Hay que probar que hay un sólo lı́mite posible, por el cuál procederemos a prolongar.
Si x1 , x2 2 [x0 , ), entonces
Z !
x2
|'(x1 ) '(x2 )| = f (s, '(s))ds máx |f | |x1 x2 |.
x1 +
⌧'
Por tanto descubrimos que cualquier sucesión xn ! hace que {'(xn )}n sea una sucesión de
Cauchy, y por tanto convergente a un único lı́mite:
9 lı́m '(x) =: y .
x!
Como tenı́amos que ⌧'+ ⇢ ⌦, entonces ( , y ) 2 ⌦. El siguiente paso ahora es claro. Consideramos
el problema de Cauchy ⇢ 0
y = f (x, y),
(PC)
y( ) = y .
Por el Teorema de Picard existe > 0 tal que este (PC) admite una solución ([ , + ], ').
¯
Para concluir basta ver que J = (↵, + ) y
⇢
'(x) si x 2 (↵, )
(x) =
¯
'(x) si x 2 [ , + ),
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
77 4.3. COMPORTAMIENTO DE LA SOLUCIÓN MAXIMAL EN LOS EXTREMOS
y también existe
lı́m+ (x) = lı́m+ '(x)
¯ =y .
x! x!
Comprobemos ahora que se satisface la formulación integral equivalente para obtener solución
del (PC). Lo hacemos en dos partes.
-Si x 2 (↵, ), Z x Z x
(x) = '(x) = y0 + f (s, '(s))ds = y0 + f (s, (s))ds.
x0 x0
-Si x 2 [ , + ],
Z x
(x) = '(x)
¯ = y + f (s, '(s))ds
¯
Z x
= lı́m '(t) + f (s, '(s))ds
¯
t!
Z t Z x
= y0 + lı́m f (s, '(s))ds + f (s, '(s))ds
¯
t! x0
Z Z x
= y0 + f (s, '(s))ds + f (s, '(s))ds
¯
x
Z x0
= y0 + f (s, (s))ds.
x0
c) ) b) Partimos ahora de la condición T'+ \ ⌦ 6= ;. Esto implica en particular que < +1.
Veamos primero que ⌧'+ es acotada. Para ello dividiremos convenientemente el intervalo [x0 , )
es dos intervalos: [x0 , x̃] [ [x̃, ). Evidentemente con el primero de ellos se tiene que {(x, '(x)) :
x 2 [x0 , x̃]} es acotado, por lo que sólo restará ver que
La segunda condición que habrá que probar, que d(⌧'+ , @⌦) > 0, se obtendrá como subproducto de
lo anterior.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
78 Tema 4. Unicidad global y solución global del (PC)
x x̃ < /3 < a.
Para la segunda (y última parte), esto es, |'(x) ȳ| < b, comprobamos primero que |'(x) ỹ|
2M /3. De no ser ası́, si |'(x) ỹ| > 2M /3, como |'(x̃) ỹ| = 0, existe un valor x̂ 2 (x̃, x) tal
que |'(x̂) ỹ| = 2M /3, y para todo t 2 (x̃, x̂) se tiene que |'(t) ỹ| < 2M /3.
Usando la desigualdad triangular, dada la elección de ỹ, véase (4.3), se tiene que (t, '(t)) 2 R
8t 2 [x̃, x̂]. Ası́ obtenemos la siguiente contradicción:
Z
2M x̂
M
= |'(x̂) ỹ| = |'(x̂) '(x̃)| = f (t, '(t))dt < M |x̂ x̃| < .
3 x̃ 3
Luego se deduce que |'(x) ỹ| 2M /3 para todo x 2 [x̃, ). De nuevo por la desigualdad
triangular,
2M M
|'(x) ȳ| |'(x) ỹ| + |ỹ ȳ| < + = M < b.
3 3
Por la definición en (4.2), se concluye (4.4).
siendo x̃ el punto dado en la prueba anterior [c) implica b)]. Entonces se tiene que
Z x̄n
|'(xn ) '(x̄n )| = f (s, '(s))ds M |xn x̄n | 8n n0 .
xn
d) ) c) es trivial.
Observación 4.15. En el caso en que se cumplan las cuatro condiciones dadas en el resultado
anterior, realmente se tiene que T'+ ⇢ ⌧'+ ⇢ ⌦, por lo que no sólo ocurre como dice el apartado d),
que T'+ \ ⌦ sea un punto, sino que T'+ = {un punto} ⇢ ⌦.
Teorema 4.16. Dada (I, ') 2 S(x0 , y0 ) con I = (↵, ), son equivalentes las siguientes condiciones:
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
79 4.4. ALGUNOS CASOS PARTICULARES
c) T' \ ⌦ 6= ;,
d) T' es exactamente un punto de ⌦.
La negación de la unión de ambos teoremas genera el siguiente resultado.
Teorema 4.17. Sea (I, ') 2 S(x0 , y0 ). Entonces se tienen las siguientes equivalencias:
a) (I, ') es solución maximal,
b) O bien ⌧'+ no está acotada o bien d(⌧'+ , @⌦) = 0, y además: o bien ⌧' no está acotada o bien
d(⌧' , @⌦) = 0.
c) T'+ [ T' 2 @⌦.
La traducción de los resultados anteriores al caso de una e.d.o. de orden n > 1 es inmediata,
aunque requiere una observación.
Dado el ⇢ (n
y = g(x, y, y 0 , . . . , y (n 1 ),
(PC) (n 1
y(x0 ) = y0 , y 0 (x0 ) = y00 , . . . , y (n 1 (x0 ) = y0 ,
la solución maximal del s.d.o. se denotará (I, ('1 , . . . , 'n )), por lo que la solución maximal de la
e.d.o. original será (I, '1 ).
En este caso las semitrayectorias del s.d.o. son
(n 1
⌧'+ = {(x, '1 (x), '01 (x), . . . , '1 (x)), x 2 I, x x0 }.
(n 1
⌧' = {(x, '1 (x), '01 (x), . . . , '1 (x)), x 2 I, x x0 }.
Ası́, la condición del teorema sobre la acotación de ⌧'+ y de ⌧' significa acotación de la función
'1 y de sus derivadas. Por tanto puede ocurrir que I y '1 sean acotadas pero que la solución
no sea prolongable, porque alguna de sus derivadas explote.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
80 Tema 4. Unicidad global y solución global del (PC)
|'(x) y0 | M ( x0 )eL( x0 )
8x 2 [x0 , ).
Por tanto se obtiene que ⌧'+ es acotada (porque < b +1). Ası́,
pero este conjunto es un compacto contenido en ⌦ (al tener un dominio banda), con lo que
d(⌧'+ , @⌦) > 0. Aplicando ahora el Teorema 4.14 se obtiene que ' es prolongable.
Se puede generalizar el resultado anterior al caso en que el término de la derecha no es global-
mente lipschitziano, sino sólo localmente.
Teorema 4.19. Sea ⌦ = I ⇥ RN , con I = (a, b) siendo 1 a < b +1. Supongamos que
f 2 C(⌦; RN ) \ Liploc (y, ⌦), y que para todo par de valores ã, b̃ tales que a < ã < b̃ < b, se tiene
que f 2 Lip(y, (ã, b̃) ⇥ RN ). Entonces, para todo (x0 , y0 ) 2 ⌦ se tiene que I(x0 , y0 ) = I.
Demostración. Basta tomar dos sucesiones {an }n 1 y {bn }n 1 , la primera decreciente y la segunda
creciente, tales que lı́mn!+1 an = a, y que lı́mn!+1 bn = b. Definimos entonces los dominios
banda ⌦n = (an , bn ) ⇥ RN , y dado un punto (x0 , y0 ) 2 ⌦, como sabemos que existe un n0 2 N,
tal que (x0 , y0 ) 2 ⌦n para todo n n0 , entonces tiene sentido plantear los problemas de Cauchy
siguientes (con n n0 ):
⇢ 0 ⇢ 0
y = f (x, y), y = f (x, y),
(PC)n en ⌦n , (PC) en ⌦.
y(x0 ) = y0 , y(x0 ) = y0 ,
Por el Teorema 4.18 sabemos que la solución maximal a cada problema (PC)n (In , 'n ) está definida
en In = (an , bn ).
Por otro lado, la solución global del (PC) (I(x0 , y0 ), ') ha de cumplir que '|(an ,bn ) = 'n por
la unicidad. Por tanto, tomando lı́mites cuando n ! +1 se obtiene el resultado.
donde se sobrentiende que hemos empleado para A(x) una norma matricial subordinada a la norma
vectorial que usamos para x 2 RN . La desigualdad anterior muestra que si tomamos un intervalo
acotado (ã, b̃) ⇢ I, f es una aplicación continua.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
81 4.4. ALGUNOS CASOS PARTICULARES
Teorema 4.21. Consideramos ⌦ ⇢ R2 , abierto no vacı́o, y f 2 C(⌦; RN ) \ Liploc (y, ⌦). Entonces,
dado cualquier par (x0 , y0 ) 2 ⌦, las terminales de la solución del
⇢ 0
y = f (x, y),
(PC)
y(x0 ) = y0 ,
o bien vacı́o,
o bien un punto,
o bien un segmento vertical.
Demostración. Sólo desarrollamos la prueba para el terminal derecho (el otro caso es análogo).
Denotemos I = (↵, ) el intervalo maximal donde se define la solución global ' del (PC).
Para probar el resultado basta suponer que hubiera dos puntos ( , y1 ), ( , y2 ) en el terminal
T'+ (pongamos que y1 < y2 ) y entonces ver que ( , y) 2 T'+ para todo y 2 (y1 , y2 ).
En efecto, se tiene por propia definición de terminal que
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
82 Tema 4. Unicidad global y solución global del (PC)
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
Tema 5
Relativo al comportamiento de e.d.o. y s.d.o. existen muchas otras cuestiones cualitativas im-
portantes que estudiar junto a los dos temas previos en los que hemos visto existencia y unicidad
local y global. De hecho algunos de estos aspectos cualitativos serán desarrollados en este mismo
temario (para mostrar alguna aplicación interesante en el futuro; véase el Tema 6 y el Tema 8). Y
muchos otros se postergan a asignaturas de ampliación.
Sin embargo consideramos adecuado interrumpir en este punto el desarrollo cualitativo general
para pasar a estudiar el caso particular de ecuaciones y sistemas diferenciales ordinarios lineales.
Es obvio que cuando particularizamos en un caso concreto, podemos esperar a priori aportar
respuestas más precisas, y eso es lo que ocurre con las ecuaciones lineales. La estructura tanto
de las técnicas empleadas como de las soluciones obtenidas suele ser más completo que en un
marco general (un ejemplo de esto aparecerá en el Tema 7). También en el ámbito de la investiga-
ción el estudio del caso lineal (y posteriores técnicas, por ejemplo de punto fijo) es un uso frecuente.
Todas estas razones hacen que dediquemos una mención especial -este tema propiamente- a
los sistemas diferenciales ordinarios lineales (s.d.o.l.). En una primera parte trataremos cuestiones
más teóricas y seguidamente la resolución explı́cita de algunos casos particulares.
R tiene la propiedad, como cualquier espacio de dimensión finita, de que todas las normas que
empleemos sobre él son equivalentes. La más usual que manejaremos será
kAk1 = máx |aij |. (5.1)
i,j
Sin embargo, y dado que en las matrices es también especialmente importante la operación produc-
to, será conveniente utilizar también normas que cumplan alguna propiedad extra, concretamente,
kABk kAk · kBk.
A una norma que cumpla tal propiedad se la llama norma matricial. No toda norma sobre L(RN )
es matricial, como de hecho no le ocurre a k · k1 definida en (5.1),
✓ ◆✓ ◆ ✓ ◆ 2
1 1 1 1 1 1
2= 6 = 1.
1 1 1 1 1
1 1 1
83
84 TEMA 5. ECUACIONES Y SISTEMAS DIFERENCIALES ORDINARIOS LINEALES
La forma más simple de construir una norma matricial es a través de una norma vectorial | · | en
RN , y entonces definir la norma de A vista como aplicación lineal de RN sobre si mismo, i.e.
X |Ax|
kAk = .
|x|
x6=0
A una tal norma se la llama norma matricial subordinada o inducida por la norma | · |.
También es obvio que se verifica entonces las siguientes igualdades,
Como ya se ha dicho antes, será indiferente qué norma se utilice para las pruebas. A veces usaremos
la norma k · k1 definida en (5.1), y en otras, una norma subordinada a una norma vectorial dada.
Observación 5.1. La norma ✓ k · k1◆ no es subordinada de✓la norma
◆ vectorial | · |1 de R . Para
N
1 1 1
verlo, basta tomar en R2 , x = y como matriz A = .
1 1 1
Observación 5.2.
1. De forma análoga a lo anterior, también se puede definir el espacio L(CN ) := L(RN ) +
iL(RN ). Se trata de un C espacio vectorial de dimensión N 2 .
2. Dado un intervalo I ⇢ R, denotaremos C(I; L(RN )) al espacio vectorial de aplicaciones
A : x 2 I 7! A(x) = (aij (x)) 2 L(RN ) tales que cada aij es una aplicación continua, i.e.
aij 2 C(I) 8i, j = 1, . . . , N. La pregunta razonable que surge es: ¿no deberı́a ser que la
matriz completa A(x) sea continua como aplicación de R en L(RN )? La respuesta es sı́, y es
equivalente a lo anterior.
Proposición 5.3. A = (aij )ij : I ! L(RN ) es continua si y sólo si aij 2 C(I).
Demostración. Como todas las normas son equivalentes, usamos la norma k · k1 que definimos en
(5.1).
) Esta implicación es trivial: si dado x 2 I y " > 0, existe > 0 tal que |x x0 | implica
kA(x) A(x0 )k1 ", entonces todas las componentes lo satisfacen, luego es claro que aij 2 C(I)
para todo i, j = 1, . . . , N.
( Supongamos que aij 2 C(I) para todo i, j = 1, . . . , N. Consideramos un par (i, j) fijado.
Sea x 2 I, y " > 0, entonces existe ij (x) > 0 tal que si x0 2 I cumple |x x0 | ij (x), se
tiene que |aij (x) aij (x0 )| ". Es claro que tomando entonces (x) = mı́nij ij (x), se tiene que
kA(x) A(x0 )k1 " si |x x0 | .
Análogamente denotaremos C n (I; L(RN )) a las funciones matriciales A(x) = (aij (x)) tales que
aij 2 C n (I) para todo i, j = 1, . . . , N.
Proposición 5.4. A 2 C 1 (I; L(RN )) si y sólo si A es Fréchet derivable con derivada Fréchet
e 2 C(I; L(RN )) tal que
perteneciente a C(I; L(RN )), i.e. existe una función A
A(x) A(x0 ) e 0)
8x0 2 I, lı́m A(x = 0.
x2I,x!x0 x x0 L(RN )
e
[Evidentemente A(x) = (a0ij (x)).]
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
85 5.1. CONSIDERACIONES GENERALES SOBRE S.D.O.L. MATRIZ FUNDAMENTAL
a) Veamos la existencia de solución supuesto que I = [↵, ] (los casos (↵, ] y [↵, ) son
análogos). Definimos las funciones
8 8
< A(x) si x 2 I = [↵, ], < b(x) si x 2 I = [↵, ],
e
A(x) = A(↵) si x < ↵, b̃(x) = b(↵) si x < ↵,
: :
A( ) si x > , b( ) si x > ,
Obviamente se tiene que Ae 2 C(R; L(RN )), y b̃ 2 C(R; RN ). Por tanto, si planteamos el
⇢
e
y 0 = A(x)y + b̃(x),
(PC) e = R ⇥ RN ,
en ⌦
y(x0 ) = y0 ,
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
86 TEMA 5. ECUACIONES Y SISTEMAS DIFERENCIALES ORDINARIOS LINEALES
por el resultado antes citado del tema anterior (caso “banda”), se tiene que la solución maximal
˜ x0 , y0 ) existe en todo R. Obviamente su restricción '(·,
'(·, ˜ x0 , y0 )|I es solución del (PC) original
en ⌦, con lo que queda probada la existencia.
b) Veamos la unicidad: supongamos que ' y son dos soluciones del (PC) del enunciado. Sea
x1 2 I con x1 > x0 (si es x1 < x0 el razonamiento es análogo). Entonces
Z x
'(x) (x) = A(s)('(s) (s))ds 8x 2 [x0 , x1 ].
x0
Y 0 = A(x)Y.
Cada problema define una única solución 'i 2 C 1 (I; RN ). Y por la condición inicial es claro que son
PN PN
linealmente independientes: en efecto, si i=1 i 'i ⌘ 0, entonces, en particular, i=1 i 'i (x0 ) =
0, pero eso, por ser {ei } base, implica que i = 0 para todo i.
Veamos que el conjunto {'1 , . . . , 'N } es un sistema generador de V. Dada ' una solución de
y 0 = A(x)y, se considera '(x0 ) 2 RN . Por ser {ei } base, se tiene que existen valores {↵i }N i=1 tales
que
XN N
X
'(x0 ) = ↵i ei = ↵i 'i (x0 ).
i=1 i=1
PN
Ahora basta considerar la función (x) = '(x) i=1 ↵i 'i (x), que es solución del s.d.o.l. y =
0
A(x)y y tiene condición inicial (x0 ) = 0. Como la función idénticamente nula es solución, y se
PN
tiene unicidad de solución para el (PC), se concluye que '(x) = i=1 ↵i 'i (x).
Observación 5.10. Evidentemente se pueden construir matrices fundamentales a partir de cual-
quier base de RN .
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
87 5.1. CONSIDERACIONES GENERALES SOBRE S.D.O.L. MATRIZ FUNDAMENTAL
b) det F (x) 6= 0 8x 2 I,
Demostración. a) implica b). Supongamos por reducción al absurdo que existe un valor x0 2 I tal
que det F (x0 ) = 0. Entonces existirı́an 1 , . . . , N no todos nulos y tales que las N columnas de
PN PN
F, '1 , . . . , 'N , cumplirı́an i=1 i 'i (x0 ) = 0. Por tanto '(x) = i=1 i 'i (x) es solución de
⇢
y 0 = A(x)y,
y(x0 ) = 0,
PN
y por la unicidad de solución sabemos que ' ⌘ 0, por lo que i=1 i 'i = 0 en I, que resulta
contradictorio con que {'i }N
i=1 fueran linealmente independientes.
b) implica c) es trivial.
c) implica a). Partimos de un valor x0 2 I tal que det F (x0 ) 6= 0. Tenemos que ver que las
PN
columnas de F son linealmente independientes. Supongamos que i=1 i 'i = 0. Hay que probar
PN
que i = 0 8i. Como tenemos i=1 i 'i (x0 ) = 0, y det F (x0 ) 6= 0 es inmediato que i = 0 8i.
Observación 5.13. La anulación del wronskiano en un sólo punto implica la anulación en todos
ellos y por tanto la dependencia lineal de las columnas vistos como elementos de C(I; RN ).
No obstante, esto no pasa con cualesquiera funciones en general (sólo con las soluciones de
s.d.o.l.). Considérese N = 2, I = R. Entonces es claro que los vectores
✓ ◆ ✓ ◆
x x2
y
0 0
son linealmente independientes, aunque el determinante que forman es idénticamente nulo para
todo x 2 R.
Las observaciones anteriores quedan más remarcadas aún con el siguiente resultado.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
88 TEMA 5. ECUACIONES Y SISTEMAS DIFERENCIALES ORDINARIOS LINEALES
d
Demostración. Vamos a probar que (det (x)) = tr(A(x))det (x).
dx
2 0 13
11 (x) ... 1N (x)
d
(det (x)) =
d 6 B .. .. .. C7
4det @ . . . A5
dx dx
N 1 (x) . . . N N (x)
0 0 0
1 0 1 0 1
11 ... 1N 11 ... 1N 11 ... 1N
B ... C B 0
... 0 C B ... C
B 21 2N C B 21 2N C B 21 2N C
= det B .. .. .. C + det B .. .. .. C + . . . + det B .. .. .. C
@ . . . A @ . . . A @ . . . A
0 0
N1 ... NN N1 ... NN N1 ... NN
0 P P 1 0 1
k a1k k1 ... k a1k kN 11 ... 1N
B ... C B ... C
B 21 2N C B 21 2N C
= det B .. .. .. C + . . . + det B .. .. .. C
@ . . . A @ . . . A
P P
N1 ... NN k aN k k1 ... k aN k kN
0 1
.. .. .
N
X B P . . P .. C N
X
!
= det B
@ k aik k1 ... k aik kN
C=
A aii (x) det (x) = trA(x)det (x),
i=1 .. .. .. i=1
. . .
donde la última igualdad se ha obtenido eliminando del determinante todas las combinaciones de
filas linealmente dependientes, al no influir.
Proposición 5.15. Sea F una matriz fundamental de y 0 = A(x)y. Entonces
a) El conjunto V de soluciones de y 0 = A(x)y viene dado por V = {F · c : c 2 RN }.
b) Fb es m.f. de y 0 = A(x)y si y sólo si Fb(x) = F (x) · C con C 2 L(RN ) tal que det C 6= 0.
c) Para todo (x0 , y0 ) 2 I ⇥ RN , la (única) solución de
⇢ 0
y = A(x)y,
y(x0 ) = y0 ,
es '(x, x0 , y0 ) = F (x) · F 1
(x0 )y0 .
Demostración. El apartado a) ya ha sido probado. Y el apartado c) es también inmediato.
Veamos la equivalencia entre las dos condiciones del apartado b).
( Una matriz Fb = F · C es solución de Y 0 = A(x)Y simplemente por linealidad. Además,
det Fb =det F ·det C 6= 0, con lo que por la Proposición 5.11, se tiene que Fb es matriz fundamental.
) Dada una matriz Fb, fijamos un x0 2 I, y se tiene que Fb(x) y F (x) · F 1 (x0 )Fb(x0 ) son
soluciones del mismo (PC) con dato inicial Y (x0 ) = Fb(x0 ). Por la unicidad se tiene Fb(x) =
F (x)F 1 (x0 )Fb(x0 ), con lo que basta poner C = F 1 (x0 )Fb(x0 ).
El siguiente resultado es de demostración inmediata.
Proposición 5.16 (Estructura del conjunto de soluciones de y 0 = A(x)y + b(x)). Bajo la
notación e hipótesis anteriores, considérese el s.d.o. y 0 = A(x)y + b(x). El conjunto de soluciones
de dicho sistema es un espacio afı́n de dimensión N. Concretamente, viene dado por
V b = 'b + V
donde 'b es cualquier solución particular de y 0 = A(x)y + b(x) y V es el espacio vectorial formado
por todas las soluciones del s.d.o.l. homogéneo asociado, y 0 = A(x)y.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
89 5.2. ECUACIONES LINEALES DE ORDEN N
El siguiente resultado permite calcular una solución particular 'b a partir de una matriz fun-
damental de y 0 = A(x)y.
Demostración. Dada F matriz fundamental de y 0 = A(x)y, vamos a buscar una solución particular
de la forma 'b (x) = F (x)c(x) con c 2 C 1 (I; RN ) (de ahı́ el nombre del método) a determinar.
Si imponemos que 'b sea solución,
'0b (x) = F 0 (x)c(x) + F (x)c0 (x) = A(x)F (x)c(x) + F (x)c0 (x) = A(x)'b (x) + b(x).
Por tanto, es solución si y sólo si F (x)c0 (x) = b(x). Como F (x) es invertible en todos los puntos,
tiene sentido considerar c0 (x) = F 1 (x)b(x), de donde sigue el resultado.
Proposición 5.18 (Solución general de y 0 = A(x)y + b(x)). Dado el s.d.o.l. y 0 = A(x)y + b(x),
la forma general de sus soluciones es
Z x
'(x) = F (x) F 1 (s)b(s)ds + F (x) · c
x0
Del resultado anterior (en realidad por simple linealidad también) puede darse la siguiente
y 0 = A(x)y + b1 (x),
..
.
y 0 = A(x)y + bk (x),
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
90 TEMA 5. ECUACIONES Y SISTEMAS DIFERENCIALES ORDINARIOS LINEALES
a0 (x)y (n + a1 (x)y (n 1
(x) + . . . + an 1 (x)y
0
(x) + an (x)y(x) = b(x)
Suponemos que para todo x 2 I, a0 (x) 6= 0 (esto es, si se quiere, podemos suponer que a0 ⌘ 1).
El (PC) que consideramos en esta sección es
8
< a0 (x)y (n + a1 (x)y (n 1 (x) + . . . + an 1 (x)y 0 (x) + an (x)y(x) = b(x),
: y(x ) = y , y 0 (x ) = y 0 , . . . , y (n 1
(x0 ) = y0
(n 1
.
0 0 0 0
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
91 5.2. ECUACIONES LINEALES DE ORDEN N
Observación 5.23.
1. {'1 , . . . , 'n } es un sistema fundamental de la e.d.o.l. homogénea si y sólo si la matriz
0 1
'1 '2 ... 'n
B
B '01 '02 ... '0n C
C
B .. .. .. .. C
@ . . . . A
(n 1 (n 1 (n 1
'1 '2 ... 'n
es matriz fundamental del s.d.o.l. asociado, y esto se cumple si y sólo si existe x0 2 I tal que
0 1
'1 (x0 ) '2 (x0 ) ... 'n (x0 )
B '01 (x0 ) ' 0
(x
2 0 ) . . . '0n (x0 ) C
B C
det B .. .. .. .. C 6= 0,
@ . . . . A
(n 1 (n 1 (n 1
'1 (x0 ) '2 (x0 ) ... 'n (x0 )
a0 (x)y (n + a1 (x)y (n 1
+ . . . + an 1 (x)y + an (x)y = b1 (x),
0
..
.
a0 (x)y (n + a1 (x)y (n 1
+ . . . + an 1 (x)y 0
+ an (x)y = bk (x),
Pk
tales que admiten soluciones '1 , . . . , 'k respectivamente, entonces se tiene que i=1 ↵i 'i es
solución de
k
X
a0 (x)y (n
+ a1 (x)y (n 1
+ . . . + an 1 (x)y
0
+ an (x)y = ↵i bi (x).
i=1
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
92 TEMA 5. ECUACIONES Y SISTEMAS DIFERENCIALES ORDINARIOS LINEALES
con ci 2 C 1 (⌦). Haciendo el cambio de variables a sistema resulta que 'b es la primera fila de la
matriz 0 1 0 1
'1 (x) ... 'n (x) c1 (x)
B .. . . .. C B .. C
F (x) · c(x) = @ . . . A·@ . A.
(n 1 (n 1
'1 (x) . . . 'n (x) cn (x)
Como la condición sobre el vector columna c(x) para que 'b sea solución es
0 1
0
B .. C
B . C
B C
F (x) · c (x) = B
0
0 C,
B C
@ b(x) A
a0 (x)
Se trata de un sistema de n incógnitas, y como F (x) es invertible, pueden despejarse los valores
de {c0i (x)}1in (en cada x) y después integrarlos para obtener ci (x) y con ellos 'b . [Este método
ya se usó –aunque sin justificación– en el Tema 2.]
Ejemplo 5.24. Sabiendo que el s.d.o.l. homogéneo y 00 = 2y 0 /x 2y/x2 tiene por dos soluciones
particulares '1 (x) = x y '2 (x) = x2 (linealmente independientes en (0, +1)), resolver la e.d.o.l.
2 0 2
y 00 = y y + x3 en (0, +1).
x x2
Lo primero es comprobar que efectivamente
✓ ◆ ✓ ◆
'1 ' 2 x x2
det = det = x2 6= 0 en (0, +1),
'01 '02 1 2x
x4
) c02 = x2 ) c01 = x3 ) c1 (x) = ,
4
x3
) c2 (x) = .
3
x5 x5
Una solución particular de la e.d.o.l. no homogénea viene dada entonces por 'b (x) = + ,
4 3
y por tanto la solución general es
x5
'(x) = + C1 x + C2 x2 , C1 , C2 2 R.
12
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
93 5.3. S.D.O.L. DE COEFICIENTES CONSTANTES. EXPONENCIAL MATRICIAL
m
X
lı́m An .
m!1
n=0
m
X
P1
En tal caso se denota n=0 = lı́m An .
m!1
n=0
P1 P1 (n)
Observación 5.26. Es fácil comprobar que n=0 An = A = (aij ) si y sólo si n=0 aij = aij
para todo i, j 2 {1, . . . , N }.
P1
En efecto,
Pm la implicación hacia la derecha sigue del hecho de que si n=0 An es convergente,
entonces n=0 An es de Cauchy (en cualquier norma), en particular en norma k · k1 , con lo que
Pm (n)
son de Cauchy todas las sucesiones n=0 aij (y por tanto convergentes).
Pm (n)
La implicación a izquierda: supongamos que todas las sucesiones { n=0 aij }m (cuando i, j 2
{1, . . . , N }) son de Cauchy, i.e. fijados i, j
m
X (k)
8" > 0 9ni,j
" : n, m ni,j
" ) aij ".
k=n
Pm
Es obvio que entonces que n=0 An también es de Cauchy, basta tomar n" = máx ni,j
" .
i,j
P1 P1
Definición 5.27. Se dice que la serie n=0 An es absolutamente convergente si n=0 kAn k <
P1 (n)
+1 (o equivalentemente, si n=0 |aij | < +1).
Observación 5.28.
P1 P1
1. Siempre se verifica que k n=0 An k n=0 kAn k.
2. Es posible definir funciones
P1 matriciales mediante series de potencias:
P1 si la función definida
mediante serie f (z) = n=0 ↵n z n con {↵n } ⇢ C es tal que n=0 |↵n ||z|n < +1 para todo
|z| < ⇢ y A 2 L(Cn ) es tal que kAk < ⇢, y la norma con que se trabaja es matricial, entonces
1
X 1
X 1
X
k↵n An k = |↵n |kAn k |↵n |kAkn < +1.
n=0 n=0 n=0
P1
Por tanto la serie n=0
P1↵n A converge
n
absolutamente, luego es convergente, con lo que se
puede definir f (A) = n=0 ↵n An .
Ejemplo 5.29. Para toda matriz A 2 L(CN ), se definen las funciones
X1 X1 X1
An ( 1)n A2n+1 ( 1)n A2n
eA = , sen A = , cos A = .
n=0
n! n=0
(2n + 1)! n=0
(2n)!
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
94 TEMA 5. ECUACIONES Y SISTEMAS DIFERENCIALES ORDINARIOS LINEALES
3. El hecho de que las definiciones anteriores estén justificadas no implica nada más. En prin-
cipio las reglas usuales de cálculo para las funciones reales o complejas anteriores no tienen
porqué extenderse al caso matricial. Cualquier propiedad que queramos utilizar deberá ser
probada.
4. Las definiciones anteriores para justificar una extensión de f a una función matricial, f (A),
se pueden hacer en realidad para toda matriz A 2 L(CN ) tal que (A) = {autovalores de A}
cumpla (A) ⇢ { 2 C : | | < ⇢}.
Proposición 5.30 (Propiedades de la exponencial matricial). Sean A, B 2 L(CN ) tales
que AB = BA. Entonces se cumplen las siguientes propiedades:
a) e Id
= e Id,
b) BeA = eA B,
c) eA+B = eA eB = eB eA , con lo que, en particular, como e0 =Id, se tiene que e A
= (eA ) 1
,y
además resulta que eA es siempre invertible.
Demostración. La primera propiedad es trivial, sin más que aplicar la definición. De modo que
pasamos a comprobar el apartado b).
X1 X1 X1 X1
An BAn An B An
BeA = B = = = B = eA B.
n=0
n! n=0
n! n=0
n! n=0
n!
Apartado c) Veamos que eA+B = eA eB (la otra igualdad se obtiene de forma similar).
Hay que probar que
m
! m ! 1
X An X Bn X (A + B)n
lı́m = 0.
m!+1
n=0
n! n=0
n! n=0
n! N L(C )
m
X m
X
An1 B n2 kAkn1 kBkn2
= cn1 ,n2 cn1 ,n2 ,
n1 ,n2 =0
n1 ! n2 ! n1 ,n2 =0
n1 ! n2 !
L(CN )
donde ⇢
0 si n1 + n2 m,
cn1 ,n2 =
1 si n1 + n2 > m.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
95 5.3. S.D.O.L. DE COEFICIENTES CONSTANTES. EXPONENCIAL MATRICIAL
Teorema 5.31 (Jordan). Dada A 2 L(CN ), existe una matriz P 2 L(CN ) con det P 6= 0, y
otra matriz J 2 L(CN ) con J =diag(Jn1 ( 1 ), . . . , Jnk ( k )) donde Jnr ( r ) 1 r k son cajas de
Jordan de dimensión nr ⇥ nr tales que A = P JP 1 (los r son los autovalores de A). La matriz J
es única salvo por el orden en que están dispuestas las cajas; a J se la llama forma de Jordan
de A, y P es la matriz de paso.
Observación 5.32.
Pk
1. Ha de satisfacerse la siguiente condición con respecto a la dimensión de las cajas: r=1 nr =
N.
2. En la diagonal de J los autovalores de A aparecen tantas veces como indique su multiplicidad
algebraica.
Observación 5.33 (Cálculo efectivo de A = P JP 1 ). Si s es el número de cajas asociadas
al autovalor , entonces se tiene que s = N r1 con r1 =rg(A I). En general denotaremos
rk =rg[(A I)k ]. Ps
Las dimensiones de las s cajas será nk , para cada 1 k s. Y ha de cumplirse que k=1 nk =
m, la multiplicidad algebraica del autovalor, i.e. la multiplicidad que tiene como raı́z de la ecuación
caracterı́stica. La forma concreta de saber cuáles son el número de cajas es:
N + r2 2r1 cajas de dimensión 1,
r1 + r3 2r2 cajas de dimensión 2,
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
96 TEMA 5. ECUACIONES Y SISTEMAS DIFERENCIALES ORDINARIOS LINEALES
..
.
rj 1 + rj+1 2rj cajas de dimensión j (con j > 1).
Una vez calculados los valores previos, i.e. teniendo J, se puede proceder a calcular P simple-
mente resolviendo las ecuaciones con la correspondiente estructura A = P JP 1 , o más concreta-
mente AP = P J. (Hay otras formas, como comenzar con el mayor autovector generalizado –noción
que no describiremos aquı́– e ir hacia atrás).
Ejemplo 5.34. Calcular la descomposición de Jordan de
0 1
6 6 5
A = @ 13 12 9 A .
6 5 3
6 6 5
|A I| = 13 12 9
6 5 3
= (6 )( 12 )(3 ) 324 325 + (12 + )30 + 45(6 ) + 78(3 )
= 216 + 90 3 2 3
649 + 360 + 30 + 270 45 + 234 78
= 1 3 3 2 3
= ( + 1)3 .
Como 0 1
7 6 5
r1 = rg(A I) = rg @ 13 11 9 A = 2,
6 5 4
se tiene que s = 3 2 = 1, luego hay una sola caja de Jordan, que forzosamente ha de ser
0 1
1 1 0
J =@ 0 1 1 A.
0 0 1
Por tanto tenemos que p1 2ker(A + I), p2 2ker(A + I)2 , p3 2ker(A + I)3 . Si elegimos p3 2ker
(A + I)3 \ker(A + I)2 , entonces directamente podemos tener p2 := (A + I)p3 6= 0, con p2 2ker(A +
I)2 \ker(A+I), y análogamente p1 := (A+I)p2 2Ker(A+I) es no nulo. Es fácil ver recursivamente
que estos tres vectores son linealmente independientes: p2 no puede ser proporcional a p1 , pues en
tal caso también se tendrı́a que p2 2ker(A+I), y por el mismo motivo, p3 no puede ser combinación
lineal de p1 y p2 , pues entonces se tendrı́a p3 2ker(A + I)2 . Calculemos una posible terna de dichos
valores. 0 1 0 1
1 1 1 0 0 0
(A + I)2 = @ 2 2 2 A, (A + I)3 = @ 0 0 0 A .
1 1 1 0 0 0
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
97 5.3. S.D.O.L. DE COEFICIENTES CONSTANTES. EXPONENCIAL MATRICIAL
Por tanto 0 1
1 7 1
P =@ 2 13 0 A
1 6 0
Veamos de forma concreta cómo obtener una forma de Jordan modificada y con elementos
exclusivamente reales.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
98 TEMA 5. ECUACIONES Y SISTEMAS DIFERENCIALES ORDINARIOS LINEALES
1 0 0
1 0 1 0 0
0 1 0
|A I| = = 0 1 + 1 0
0 0 1
0 2 0 1
1 0 2
= ( 3
2 )+1= 2
( 2
+ 2) + 1 = 4
+2 2
+1=( 2
+ 1)2 .
Por tanto los autovalores son = ±i, ambos con multiplicidad dos.
Operando en principio en el cuerpo de los números complejos, el número de cajas asociadas al
autovalor i, denotado si , es
si = 4 r1 = 4 rg(A iI).
Se comprueba que 0 1
i 1 0 0
B 0 i 1 0 C
rg(A B
iI) = rg @ C = 3,
0 0 i 1 A
1 0 2 i
con lo que si = 1, es decir, existe una única caja, y como por simetrı́a ocurre lo mismo para el
autovalor conjugado, se tiene que
✓ ◆ ✓ ◆
i 1 i 1
J2 (i) = , J2 ( i) = .
0 i 0 i
Ap1 = p2
A2 p1 = p1 ) (A2 + I)p1 = 0 ) p1 2 ker(A2 + I),
Ap2 = p1
)
Ap3 = p1 + p4
A2 p3 = Ap1 + Ap4 = p2 + p2 p3 ) (A2 + I)p3 = 2p2 .
Ap4 = p2 p3
Por tanto, el plan que seguiremos será hallar p1 2ker(A2 +I), y entonces Ap1 = p2 . A continuación
calcularemos p3 de la ecuación (A2 + I)p3 = 2p2 , y entonces finalmente usaremos Ap3 = p1 + p4
para despejar p4 .
0 1 0 1
0 0 1 0 1 0 1 0
B 0 0 0 1 C B 1 C
A2 = B C ) A2 + I = B 0 1 0 C.
@ 1 0 2 0 A @ 1 0 1 0 A
0 1 0 2 0 1 0 1
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
99 5.3. S.D.O.L. DE COEFICIENTES CONSTANTES. EXPONENCIAL MATRICIAL
Se comprueba que 0
1 0 1
1 0
B 0 C B 1 C
ker(A + I) = hB
2 C B
@ 1 A,@ 0
Ci.
A
0 1
Tomando por ejemplo 10
1
B 0 C
p1 = B C
@ 1 A,
0
se tiene que 0 10 1 1 0
0 1 0 0 1 0
B 0 0 1 0 C B C B 1 C
B
Ap1 = p2 = @ CB 0 C=B C
0 0 0 1 A@ 1 A @ 0 A.
1 0 2 0 0 1
Calculamos (A2 + I)p3 = 2p2 ,
0 10 1 01
1 0 1 0 x1 0
B 0 1 0 1 C B x2 C B 2 C
B CB C=B C
@ 1 0 1 0 A @ x3 A @ 0 A.
0 1 0 1 x4 2
n=0
n! n=0
n! n=0
n! n=0
n!
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
100 TEMA 5. ECUACIONES Y SISTEMAS DIFERENCIALES ORDINARIOS LINEALES
a) Si J = IN + HN , entonces
0 1
1 1 1
B 1 1! 2!
...
(N 1)! C
B C
B 1 .. 1 C
B 1 . C
1 1 1 (N 1) B 1! (N 2)! C
e = e IN + e HN + e HN
J 2
+ e HN =e B
B .. .. ..
C.
C
1! 2! (N 1)! B . . . C
B C
B .. .. C
@ . . A
1
X1 X1
( IN )n n
e IN
= = IN = e IN .
n=0
n! n=0
n!
X1 n N
X1 H n
HN
eHN = = N
pues HN
n
= 0 8n N.
n=0
n! n=0
n!
a) Sea ✓ ◆
0 1
D = ↵I2 + .
1 0
Entonces ✓ ◆
cos sen
eD = e↵ .
sen cos
b) Sea 0 1
D I2
e =B
D @ D I2 C
A = diag(D, . . . , D) + H2n .
2
.. ..
. .
Entonces 0 1
1 D 1 D 1
eD e e ... eD
B 1! 2! (n 1)! C
B 1 D 1 C
B e D
e ... eD C
B 1! (n 2)! C
e B C
eD
=B .. .. .. C.
B . . . C
B C
B .. .. C
@ . . A
eD
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
101 5.4. SISTEMAS DIFERENCIALES LINEALES CON COEFICIENTES CONSTANTES
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
102 TEMA 5. ECUACIONES Y SISTEMAS DIFERENCIALES ORDINARIOS LINEALES
1
exA (e"A I "A) L(CN )
|"|
1 xA
ke kL(CN ) e"A I "A L(CN )
.
|"|
Usando de nuevo el desarrollo en serie de la exponencial, se tiene
X1 X1
"n n |"|n
e"A I "A = A kAkn
n=2
n! n=2
n!
X1
|"|n 2
= |"|2 kAk2 kAkn 2
|"|2 kAk2 e|"|kAk .
n=2
n!
Observación 5.41.
1. La expresión exA no es sólo una matriz solución de Y 0 = A(x)Y, sino que es matriz funda-
mental de y 0 = Ay, ya que es invertible, con inversa (exA ) 1 = e xA .
2. Si A 2 L(CN ), b 2 C(I; CN ), x0 2 I, y0 2 CN , entonces la solución maximal del
⇢ 0
y = Ay + b(x),
(PC)
y(x0 ) = y0 ,
Rx
viene dada por '(x, x0 , y0 ) = e(x x0 )A y0 + x0 e(x s)A b(s)ds 8x 2 I.
4. Los elementos de la matriz fundamental (en todos los casos posibles) son pij (x)e ij x , con
pij un polinomio (eventualmente idénticamente nulo), y ij un autovalor de A (en principio
complejo; y si no, puede que aparezcan también senos y cosenos).
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
103 5.5. E.D.O. LINEAL DE ORDEN N CON COEFICIENTES CONSTANTES
5. Junto con el Método de Variación de las Constantes, también sigue siendo válida (y útil en
casos concretos) la combinación de
El Principio de Superposición
El Método de los Coeficientes Indeterminados
En este sentido, el resultado general que daremos (sin demostración) para buscar soluciones es
el siguiente.
Teorema 5.42. Dada la ecuación y 0 = Ay + e↵x q(x) con ↵ 2 C, y q 2 Pk [x], i.e. un polinomio en
x de grado k, entonces
a) Si ↵ no es autovalor de A, existe una solución particular de la ecuación de la forma yp (x) ⇠
e↵x r(x) con r 2 Pk [x].
b) Si ↵ es autovalor de A con multiplicidad mı́nima1 m, entonces existe una solución particular
de la ecuación de la forma yp (x) ⇠ e↵x r(x) con r 2 Pk+m [x].
a0 y (n + a1 y (n 1
+ . . . + an 1y
0
+ an y = b(x),
Demostración. Como dijimos antes, podemos suponer sin pérdida de generalidad que a0 ⌘ 1. Dada
la e.d.o. lineal homogénea
y (n + a1 y (n 1
+ . . . + an 1y
0
+ an y = 0,
p( ) = n
+ a1 n 1
+ . . . + an 1 + an .
En C podemos obtener todos los Qn autovalores de la matriz, i.e. todos los ceros de p : existen
1 , . . . , n 2 C tales que p( ) = k=1 ( k ).
Dados los coeficientes ai , es conveniente por comodidad futura introducir el siguiente operador:
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
104 TEMA 5. ECUACIONES Y SISTEMAS DIFERENCIALES ORDINARIOS LINEALES
0 1
" ! # 1 ... 1
n
X B 1 ... n C
B C
= exp k x det B .. .. .. C.
k=1
@ . . . A
n 1 n 1
1 ... n
Caso a) Si las n raı́ces son distintas entre si, entonces el anterior es un determinante de Van der
Monde, no nulo por tanto. Ası́, {e 1 x , . . . , e n x } es un sistema fundamental de la e.d.o. lineal
homogénea.
Caso a.1) Si las n raı́ces distintas entre si son todas reales, entonces el resultado está probado,
porque claramente dichas funciones son independientes entre si.
Caso a.2) Si las raı́ces son distintas entre sı́, pero hay no sólo reales, sino también complejas,
al tratarse de coeficientes ai 2 R, estarán por pares una raı́z compleja y su conjugada:
1 = ↵ + i ,
¯ 1 = ↵ i . Por tanto, de las soluciones asociadas '1 (x) = e 1 x y
¯1 x
'¯1 (x) = e se puede, por medio de combinaciones, obtener otro par de soluciones
independientes entre si, pero éstas reales:
1 1
('1 + '¯1 ) = e↵x cos( x), ('1 '¯1 ) = e↵x sen( x).
2 2
Caso b) Consideramos ahora la situación en que hay raı́ces múltiples. Por fijar ideas supondremos
simplemente que 1 = 2 . Sabemos ya que '1 (x) = e 1 x es solución. Veamos que '2 (x) =
xe 1 x también lo es.
En efecto, como '02 (x) = x'01 (x) + '1 (x), '002 (x) = x'001 (x) + 2'01 (x), y en general se deduce
que el operador L introducido en (5.2) aplicado a '2 cumple
(k (k (k 1
'2 (x) = x'1 (x) + k'1 (x) 8k 1,
se tiene que
n
X n
X ⇣ ⌘
(n (n k (n (n 1 (n k (n k 1
L('2 ) = '2 + ak '2 = x'1 + n'1 + ak x'1 + (n k)'1
k=1 k=1
" n
# " n
#
(n
X (n k (n 1
X (n k 1
= x '1 + ak '1 + n'1 + ak (n k)'1
k=1 k=1
" n
# " n
#
X X
= xe 1x n
1 + ak n1 k +e 1x
n n 1
1 + ak (n k) n k 1
k=1 k=1
= x'1 (x)p( 1) + '1 (x)p0 ( 1) = 0.
Donde la última igualdad se ha obtenido por ser 1 raı́z doble. Por tanto {e 1x
, xe 1x
} son
soluciones (claramente) independientes entre si.
Ası́, las dos situaciones que cabe estudiar son:
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
105 5.5. E.D.O. LINEAL DE ORDEN N CON COEFICIENTES CONSTANTES
Caso b.1) Si es autovalor real con multiplicidad mayor que uno. En tal caso se comprueba
(análogamente a lo anterior) que
1x 1x
{e , xe , x2 e 1x
, . . . , xm 1
e 1x
}
son soluciones de la ecuación homogénea, y además claramente independientes entre si.
Caso b.2) Supongamos que el autovalor con multiplicidad m > 1 es complejo, i.e. 1 = ↵+i
(con 6= 0), pero al ser los ai 2 R, también está la raı́z ¯ 1 = ↵ i . De nuevo, el conjunto
de funciones
¯ ¯ ¯ ¯
{e 1 x , xe 1 x , x2 e 1 x , . . . , xm 1 e 1 x }
asociado a dicho autovalor serán soluciones de la ecuación. Combinando como antes las
soluciones para 1 y su conjugado, se obtiene el siguiente sistema de soluciones:
{xj e↵x cos( x), xj e↵x sen( x)}0jm 1.
Para concluir, resta ver que dichas soluciones son linealmente independientes.
Pongamos 1 , . . . , r las raı́ces distintas de p( ) = 0. Y sean m1 , . . . , mr sus respectivas multipli-
cidades.
La idea esencial que usaremos, a pesar de que la notación de la prueba rigurosa lo haga algo
borroso, es que no puede darse la igualdad
p(x) + q(x)e x
=0 (5.3)
con p y q polinomios no nulos.
Formalmente hay que considerar constantes {cij } tales que
c11 e 1 x + c12 xe 1 x + . . . + c1m1 xm1 1 e 1 x +
+c21 e 2 x + c22 xe 2 x + . . . + c2m2 xm2 1 e 2 x + . . .
. . . + cr1 e r x + cr2 xe r x + . . . + crmr xmr 1 e r x = 0.
Agrupando resulta
r
X
pj (x)e jx
=0 en R, con pj 2 Pqj [x], qj mj 1.
j=1
(1)
Derivando q1 + 1 veces, el término p1 desaparece y aparecen nuevos polinomios pj , para
(1)
j = 2, . . . , r̃, con gr(pj ) = gj , y la expresión
r̃
X (1)
pj (x)e( j 1 )x
⌘0 en R. (5.5)
j=2
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
106 TEMA 5. ECUACIONES Y SISTEMAS DIFERENCIALES ORDINARIOS LINEALES
Observación 5.44. Para hallar la solución del problema no homogéneo se tienen dos formas:
a) Método de Variación de las Constantes: resolvemos el sistema
0 1
0
B .. C
B C
F (x)C 0 (x) = B . C ,
@ 0 A
b(x)
a0 y (n + a1 y (n 1
+ . . . + an 1y
0
+ an y = e↵x q(x)
con q 2 Pk [x] y ↵ 2 C, denotamos por p(x) = 0 la ecuación caracterı́stica. Entonces se tiene que
a) Si p(↵) 6= 0, una solución particular puede ser escogida de la forma yp (x) ⇠ e↵x r(x) con
r 2 Pk [x].
b) Si ↵ es una raı́z de p con multiplicidad m, una solución particular puede ser escogida de la
forma yp (x) ⇠ e↵x r(x) con r 2 Pk+m [x].
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
Tema 6
107
108 Tema 6. Regularidad, continuidad y derivabilidad de soluciones
siendo ambas aplicaciones de clase C 1 . Por tanto, '0 2 C 1 (I(x0 , y0 ); RN ), y entonces ' 2 C 2 .
Damos por válida la hipótesis de inducción para m = k 1, i.e. si f 2 C k 1 (⌦; RN ), entonces
' 2 C k (⌦; RN ).
Veamos finalmente cómo deducir el caso m = k. Sabemos, por hipótesis de inducción, que
' 2 C k , de modo que
I(x0 , y0 ) 3 x 7! '0 (x) = f (x, '(x)),
que es la composición de
Al ser ambas aplicaciones de clase C k , se deduce que '0 2 C k (I(x0 , y0 ); RN ), y entonces ' 2
C k+1 (I(x0 , y0 ); RN ).
Observación 6.2.
1. Si f 2 C m (E(x0 , y0 )), siendo E(x0 , y0 ) un entorno de (x0 , y0 ), entonces la solución maximal
tiene localmente la regularidad anterior, i.e. C m+1 .
2. La traducción del resultado anterior al caso de una e.d.o. de orden n, a través del cambio
usual de variables, es la siguiente.
Teorema 6.3. Sea ⌦ ⇢ Rn+1 un conjunto abierto no vacı́o. Si g 2 C m (⌦) con m 1, entonces
(n 1 (n 1
para todo (x0 , y0 , y00 , . . . , y0 ) 2 ⌦, se tiene que la solución maximal '(·, x0 , y0 , y00 , . . . , y0 ) del
⇢ (n
y = g(x, y, y 0 , . . . , y (n 1 ),
(PC) (n 1
y(x0 ) = y0 , y 0 (x0 ) = y00 , . . . , y (n 1 (x0 ) = y0 ,
(n 1 (n 1
satisface '(·, x0 , y0 , y00 , . . . , y0 ) 2 C m+n (I(x0 , y0 , . . . , y0 )).
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
109 6.2. CONTINUIDAD DE LA SOLUCIÓN RESPECTO DE LOS DATOS INICIALES
que es el conjunto de definición de la solución maximal del (PC) vista como función de sus tres
variables,
'(·, ·, ·) : (x, x0 , y0 ) 2 ⇥ 7! '(x, x0 , y0 ) 2 RN .
Teorema 6.4 (Dependencia continua de la solución respecto de los datos iniciales).
Sea f 2 C(⌦; RN ) \ Liploc (y, ⌦). Entonces se verifica que
1. dados (x⇤0 , y0⇤ ) 2 ⌦ y a < x⇤0 < b tales que [a, b] ⇢ I(x0 , y0 ), para todo " > 0 fijado existe un
entorno V" de (x⇤0 , y0⇤ ) tal que
i) V" ⇢ ⌦,
ii) [a, b] ⇢ I(x0 , y0 ) 8(x0 , y0 ) 2 V" ,
iii) máx |'(x, x0 , y0 ) '(x, x⇤0 , y0⇤ )| " 8(x0 , y0 ) 2 V" .
x2[a,b]
d((x, y), K) d[(x, y), (x, '(x, x⇤0 , y0⇤ ))] = d[y, '(x, x⇤0 , y0⇤ )] = |y '(x, x⇤0 , y0⇤ )|.
Notemos por L > 0 a una constante global de Lipschitz para f respecto de y en Ā. Definimos
ahora
V" = {(x, y) 2 [a, b] ⇥ RN : |y '(x, x⇤0 , y0⇤ )| < "e L(b a) }. (6.2)
Obsérvese que (x⇤0 , y0⇤ ) 2 V" , con lo que V" es un entorno del punto (x⇤0 , y0⇤ ). Y por las definiciones
de K y de A se tiene que
K ⇢ V" ⇢ A ⇢ ⌦.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
110 Tema 6. Regularidad, continuidad y derivabilidad de soluciones
Existe una única solución maximal en el abierto A del (PC)A , que denotaremos por (I(P C)A , ),
donde I(P C)A = (↵, ). Evidentemente, como también ocurre que ((↵, ), ) es solución local del
⇢ 0
y = f (x, y),
(PC)⌦
y(x0 ) = y0 ,
Probamos ahora que ↵ < a y que > b, con lo que se tendrá la condición ii) del teorema, i.e. que
[a, b] ⇢ (↵, ) ⇢ I(PC)⌦ (x0 , y0 ).
Para probar que ↵ < a, procedemos por reducción al absurdo. Si fuese 1 < a ↵, entonces
[↵, x0 ] ⇢ [a, x0 ] y [↵, x⇤0 ] ⇢ [a, x⇤0 ]. En tal caso podrı́amos comparar las soluciones obtenidas ante-
riormente en sus respectivos (PC), esto es, las funciones (x) = (x, x0 , y0 ) y '(x) = '(x, x⇤0 , y0⇤ )
para todo x 2 (↵, x0 ].
Z x Z x
(x) '(x) = y0 '(x0 , x⇤0 , y0⇤ ) + f (s, (x))ds f (s, '(s))ds.
x0 x0
lı́m (x) '(↵, x⇤0 , y0⇤ ) |y0 '(x0 , x⇤0 , y0⇤ )|eL(b a)
< ".
x!↵+
Esto implica que T = {(↵, lı́mx!↵+ (x))} 2 A. Por consiguiente, es prolongable por la iz-
quierda, lo que contradice el hecho de que era una solución maximal en A.
Una contradicción similar se obtendrı́a por la derecha. Por lo que concluimos que [a, b] ⇢ (↵, ).
Además, los cálculos anteriores que condujeron a la desigualdad (6.3) son válidos para todo x 2
[a, b], por lo que, denotando ya '(x, x0 , y0 ) = (x), se tiene la condición iii):
Para probar la segunda afirmación del teorema, esto es, que ⇥ ⇢ RN +2 es abierto no vacı́o y que
' 2 C(⇥; RN ), usaremos la primera parte.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
111 6.2. CONTINUIDAD DE LA SOLUCIÓN RESPECTO DE LOS DATOS INICIALES
Sea (x⇤ , x⇤0 , y0⇤ ) 2 ⇥ dado, i.e. (x⇤0 , y0⇤ ) 2 ⌦, y x⇤ 2 I(x⇤0 , y0⇤ ). Sean a y b números reales tales
que [a, b] ⇢ I(x⇤0 , y0⇤ ), con x⇤0 , x⇤ 2 (a, b).
Fijado un valor "/2 > 0, existe por el apartado primero un abierto V"/2 ⇢ ⌦, entorno de (x⇤0 , y0⇤ ),
tal que [a, b] ⇢ I(x0 , y0 ) 8(x0 , y0 ) 2 V"/2 , y verificándose además que
Por otro lado, fijado x⇤ , existe un entorno suyo I ⇢ [a, b], tal que por la continuidad de la función
'(·, x⇤0 , y0⇤ ) se tiene
|'(x, x⇤0 , y0⇤ ) '(x⇤ , x⇤0 , y0⇤ )| "/2 8x 2 I. (6.5)
Veamos que I ⇥ V"/2 es un entorno de (x⇤ , x⇤0 , y0⇤ ) contenido en ⇥, con lo que estará probado que
⇥ es abierto.
Veamos ahora que ' 2 C(⇥; RN ). Dado un " > 0 y un punto (x⇤ , y0⇤ , y0⇤ ) 2 ⇥, buscamos un entorno
U con el cuál
|'(x, x0 , y0 ) '(x⇤ , x⇤0 , y0⇤ )| " 8(x, x0 , y0 ) 2 U.
Consideramos como antes el entorno U = I ⇥ V"/2 3 (x, x0 , y0 ). Entonces se tienen las siguientes
desigualdades,
|'(x, x0 , y0 ) '(x⇤ , x⇤0 , y0⇤ )| |'(x, x0 , y0 ) '(x, x⇤0 , y0⇤ )| + |'(x, x⇤0 , y0⇤ ) '(x⇤ , x⇤0 , y0⇤ )|
" "
+ = ",
2 2
donde las dos últimas desigualdades se han obtenido aplicando (6.4) y (6.5) respectivamente.
Observación 6.5. Puede probarse, aunque nosotros no lo haremos, que '(·, ·, ·) 2 Liploc (⇥; RN ),
i.e. para todo (x⇤ , x⇤0 , y0⇤ ) 2 ⇥, existe un entorno U suyo, U ⇢ ⇥, y una constante L > 0 tales que
|'(x, x0 , y0 ) '(x̄, x̄0 , ȳ0 )| L(|x x̄| + |x0 x̄0 | + |y0 ȳ0 |) 8(x, x0 , y0 ), (x̄, x̄0 , ȳ0 ) 2 U.
La pregunta que nos hacemos en este bloque del tema es: ¿qué ocurre si cambiamos ligeramente
no sólo los datos iniciales sino también los parámetros?
Veremos que podemos sumergir la cuestión en un replanteamiento del problema que lo lleve al
marco de la sección anterior, para poder aplicar el Teorema 6.4 pero incorporando los parámetros.
Sea ⌦e ⇢ RN +k+1 un abierto no vacı́o, y denotaremos a sus elementos por (x, y, ) 2 ⌦, e con
x 2 R, y 2 RN y 2 Rk .
˜ RN ) \ Liploc ((y, ), ⌦;
La hipótesis natural para esta situación es f 2 C(⌦; ˜ RN ).
˜ RN ) implica que fijado (x̄, ȳ, ¯ ) 2 ⌦,
La condición f 2 Liploc ((y, ), ⌦; e existe un entorno V ⇢ ⌦
e
¯
de la tripleta (x̄, ȳ, ) y existe una constante L > 0 tales que
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
112 Tema 6. Regularidad, continuidad y derivabilidad de soluciones
e ⇢ RN +1 .
⌦ = {(x, y) 2 RN +1 : (x, y, ) 2 ⌦}
e = {(x, x0 , y0 ,
⇥ 0) 2 RN +k+2 : (x0 , y0 ) 2 ⌦ 0 , x 2 I(x0 , y0 , 0 )}. (6.6)
tes propiedades.
e
(i) V" ⇢ ⌦,
(ii) [a, b] ⇢ I(x0 , y0 , 0) 8(x0 , y0 , 0) 2 V" ,
(iii) máx |'(x, x0 , y0 , 0) '(x, x⇤0 , y0⇤ , 0 )|
⇤
" 8(x0 , y0 , 0) 2 V" .
x2[a,b]
Observación 6.7. Análogamente a la Observación 6.5, se podrı́a probar con las mismas hipótesis
e RN ).
que ' 2 Liploc (⇥;
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
113 6.3. COMPARACIÓN DE SOLUCIONES DE (PC) CON ECUACIONES PARECIDAS
Denotamos por '(x, x0 , y0 ) la solución maximal de (PC)f , y por a una solución (en principio
no hay unicidad) de (PC)g . Ambas soluciones están al menos definidas sobre un mismo intervalo
compacto I = [x0 , x0 + ].
Si se cumple que |f (x, y) g(x, y)| M 8(x, y) 2 (I ⇥ RN ) \ ⌦, entonces existe L > 0 tal
que
|'(x, x0 , y0 ) (x)| M eL|x x0 | 8x 2 I .
Observación 6.9.
1. La acotación anterior sirve para cualquier solución del (PC)g .
2. Conjugando el resultado anterior sobre pequeñas variaciones en las funciones del s.d.o. con
los de la sección anterior, con pequeñas variaciones en los datos, se obtiene que pequeñas
variaciones en ambos, función del s.d.o. y en los datos y/o parámetros, producen, al menos
localmente, soluciones cercanas.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
114 Tema 6. Regularidad, continuidad y derivabilidad de soluciones
cuya solución maximal ' 2 C(⇥; RN ), según hemos visto antes en el Teorema 6.4. De hecho, ya
se vio en la primera sección de este tema que la regularidad en la primera variable de ' es mayor,
concretamente al menos de clase C 1 , pues
@'
(x, x0 , y0 ) = f (x, '(x, x0 , y0 ))
@x
es composición de dos aplicaciones continuas,
donde para la última igualdad hemos usado que '(·, x0 + ", y0 ) verifica la ecuación diferencial y que
'(x0 , x0 , y0 ) = '(x0 + ", x0 + ", y0 ). Si ahora usamos el Teorema del Valor Medio para la última
expresión en (6.7), tenemos que
@' 1
(x, x0 , y0 ) = lı́m ( ")f (x0 + ✓", '(x0 + ✓", x0 + ", y0 )) = f (x0 , y0 ).
@x0 x=x0 "!0 "
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
115 6.4. DERIVABILIDAD RESPECTO DATOS INICIALES Y PARÁMETROS
El sistema (6.8) se llama sistema lineal variacional asociado al s.d.o. y 0 = f (x, y).
propiedades.
1. La solución maximal ' 2 C 1 (⇥; RN ).
2. Fijado (x⇤0 , y0⇤ ) 2 ⌦, para cada x 2 I(x⇤0 , y0⇤ ) se tiene que
@' @'
(x, x⇤0 , y0⇤ ) = w0 (x, x⇤0 , y0⇤ ), (x, x⇤0 , y0⇤ ) = wj (x, x⇤0 , y0⇤ ), j = 1, . . . , N,
@x0 @y0j
donde {wi }i=0,...,N son las soluciones del s.d.o. lineal variacional y los datos iniciales dados
en (6.8).
3. Existen las siguientes derivadas cruzadas, coinciden, y además son continuas en ⇥ :
@2' @2'
= 2 C(⇥; RN ),
@x@x0 @x0 @x
@2' @2'
= 2 C(⇥; RN ), j = 1, . . . , N.
@x@y0j @y0j @x
Demostración. Veamos primero que los apartados 1 y 3 son consecuencia del apartado 2.
En efecto, si aplicamos el teorema de continuidad de la solución respecto de los datos iniciales,
@' @'
al ser y soluciones de un s.d.o. (con las hipótesis que se pedı́an en el Teorema 6.4), se
@x0 @y0j
tiene que
@' @'
, 2 C(⇥; RN ).
@x0 @y0j
Esto prueba el apartado 1, supuesto que el apartado 2 es cierto.
@'
Por otra parte, como (x, x⇤0 , y0⇤ ) = f (x, '(x, x⇤0 , y0⇤ )), y estamos suponiendo que el apartado
@x
2 es cierto, se puede derivar respecto de x0 ,
@ @' @ @f @'
9 (x, x⇤0 , y0⇤ ) = f (x, '(x, x⇤0 , y0⇤ )) = (x, '(x, x⇤0 , y0⇤ )) (x, x⇤0 , y0⇤ ) 2 C(⇥; RN ).
@x0 @x @x0 @y @x0
Con la otra derivada cruzada utilizamos el hecho de que la parcial respecto x0 verifica el s.d.o.
lineal variacional:
@ @' @f @'
9 (x, x⇤0 , y0⇤ ) = (x, '(x, x⇤0 , y0⇤ )) (x, x⇤0 , y0⇤ ) 2 C(⇥, RN ).
@x @x0 @y @x0
Por tanto concluimos que ambas derivadas cruzadas son iguales (las derivadas cruzadas respecto
de x y respecto de y0j son análogas), y se tiene la regularidad requerida, o sea, el apartado 3 del
enunciado.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
116 Tema 6. Regularidad, continuidad y derivabilidad de soluciones
@'
Ahora probamos el apartado 2. En realidad sólo lo haremos para , la comprobación para
@x0
@'
las otras derivadas parciales se hace de manera similar).
@y0j
Sea (x⇤ , x⇤0 , y0⇤ ) 2 ⇥ fijado. Consideramos también a < b tales que x⇤0 , x⇤ 2 (a, b) ⇢ I(x⇤0 , y0⇤ ),
y el compacto K = {(x, '(x, x⇤0 , y0⇤ )) : x 2 [a, b]}. Sea " > 0 tal que " < d(K, RN +1 \ ⌦), y con
[x⇤0 ", x⇤0 + "] ⇢ (a, b).
Por el Teorema 6.4 de continuidad respecto de datos iniciales sabemos que existen un entorno V"
de (x⇤0 , y0⇤ ) y > 0 (sin pérdida de generalidad < ") tales que B((x⇤0 , y0⇤ ), ) ⇢ V" , y verificándose
(x0 , y0 ) 2 B((x⇤0 , y0⇤ ), ) implica que (x0 , y0 ) 2 ⌦,
Queremos calcular
@' '(x, x⇤0 + h, y0⇤ ) '(x, x⇤0 , y0⇤ )
(x, x⇤0 , y0⇤ ) = lı́m . (6.9)
@x0 h!0 h
Definimos para cada x 2 [a, b] y |h| la función
(x, h) = '(x, x⇤0 + h, y0⇤ ) '(x, x⇤0 , y0⇤ ). (6.10)
Por los comentarios anteriores, esta función está bien definida, y de hecho es continua en [a, b] ⇥
[ , ]. Buscamos otra expresión para (x, h) para poder calcular la derivada parcial (6.9).
Para ello, primero observemos que tiene las siguientes propiedades:
a) (x, 0) = 0 8x 2 [a, b].
b) | (x, h)| " 8(x, h) 2 [a, b] ⇥ [ , ], por la elección de V" .
c) (x, '(x, x⇤0 , y0⇤ ) + s (x, h)) 2 ⌦ para toda tripleta (x, h, s) 2 [a, b] ⇥ [ , ] ⇥ [0, 1]. Esto es
debido a que
d[(x, '(x, x⇤0 , y0⇤ ) + s (x, h)), K] d[(x, '(x, x⇤0 , y0⇤ ) + s (x, h)), (x, '(x, x⇤0 , y0⇤ ))]
= |s (x, h)| s" ".
Veamos cómo obtener una nueva expresión para (x, h) a través de cierta ecuación diferencial.
Fijamos h 2 [ , ]. Tenemos que (·, h) 2 C 1 ([a, b]) siendo
@ @' @'
(x, h) = (x, x⇤0 + h, y0⇤ ) (x, x⇤0 , y0⇤ )
@x @x @x
= f (x, '(x, x⇤0 + h, y0⇤ )) f (x, '(x, x⇤0 , y0⇤ )), 8x 2 [a, b].
Fijados h 2 [ , ] y x 2 [a, b] definimos
g(s) = f (x, '(x, x⇤0 , y0⇤ ) + s (x, h)) 2 C 1 ([0, 1]).
Tenemos que
g(0) = f (x, '(x, x⇤0 , y0⇤ )),
g(1) = f (x, '(x, x⇤0 , y0⇤ ) + (x, h)) = f (x, '(x, x⇤0 + h, y0⇤ )).
R1
Como g(1) g(0) = 0 g 0 (s)ds, resulta que
Z 1
@
(x, h) = g(1) g(0) = g 0 (s)ds
@x 0
Z 1
@f
= (x, '(x, x⇤0 , y0⇤ ) + s (x, h))ds (x, h).
0 @y
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
117 6.4. DERIVABILIDAD RESPECTO DATOS INICIALES Y PARÁMETROS
Denotamos Z 1
r(h) = [f (x⇤0 , y0⇤ ) f (x⇤0 + sh, '(x⇤0 + sh, x⇤0 + h, y0⇤ ))]ds.
0
Resulta ası́ que (x⇤0 , h) = h[r(h) f (x⇤0 , y0⇤ )], y que r verifica dos propiedades:
1. r 2 C([ , ]), debido a la continuidad de la solución ' respecto datos iniciales, que aquı́ son
parámetros bajo el signo integral.
2. lı́m r(h) = 0 (por el Teorema de Convergencia Dominada de Lebesgue).
h!0
Vamos a manipular este s.d.o. para obtener la propiedad que queremos sobre su solución (x, h).
Denotemos (x, h) = ( 1 (x, h) | 2 (x, h) | . . . | N (x, h)) la matriz cuya columna j (x, h) es
solución del ⇢ 0
w (x) = B(x, h)w(x),
(PC)
w(x⇤0 ) = ej j = 1, . . . , N.
Ası́ se tiene que 2 C([a, b] ⇥ [ , ]; L(RN )), y que (x⇤0 , h) =Id. Veamos ahora que
b(x, h) = h (x, h)[r(h) f (x⇤0 , y0⇤ )]
Además, b(x⇤0 , h) = h (x⇤0 , h)[r(h) f (x⇤0 , y0⇤ )] = h[r(h) f (x⇤0 , y0⇤ )].
Por la unicidad de solución tenemos que (x, h) = ˆ(x, h). Por tanto
(x, h)
= (x, h)[r(h) f (x⇤0 , y0⇤ )].
h
Se comprueba entonces que
(x, h)
lı́m = lı́m (x, h)[r(h) f (x⇤0 , y0⇤ )] = (x, 0)f (x⇤0 , y0⇤ ), 8x 2 [a, b].
h!0 h h!0
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
118 Tema 6. Regularidad, continuidad y derivabilidad de soluciones
Recordemos que nuestro objetivo era calcular la expresión (6.9), que está directamente relacionada
con la definición de dada en (6.10). Ası́, hemos llegado a que
@'
9 (x, x⇤0 , y0⇤ ) = (x, 0)f (x⇤0 , y0⇤ ) 8x 2 [a, b].
@x0
ŵ0 (x) = 0
(x, 0)f (x⇤0 , y0⇤ ) = B(x, 0) (x, 0)f (x⇤0 , y0⇤ ) = B(x, 0)ŵ(x), (6.12)
La función
Z 1
@f
B(x, 0) = (x, '(x, x⇤0 , y0⇤ ) + s (x, 0))ds
0 @y
Z 1
@f @f
= (x, '(x, x⇤0 , y0⇤ )ds = (x, '(x, x⇤0 , y0⇤ ). (6.14)
0 @y @y
Sustituyendo (6.14) en (6.12) y la condición inicial (6.13) se tiene el s.d.o. lineal variacional del
enunciado del teorema, lo que termina la prueba.
Al igual que ocurrió con la continuidad respecto de los datos iniciales, que podı́a usarse para
tratar el caso de dependencia continua respecto de datos iniciales y parámetros, sumergiendo el
problema en otro del primer tipo (cf. Teorema 6.6), se puede usar el Teorema 6.10 para establecer
el siguiente resultado.
1. e RN ), donde ⇥
'(·, ·, ·, ·) 2 C 1 (⇥; e viene definido por (6.6).
@' @'
(x, x⇤0 , y0⇤ , 0)
⇤
= w0 (x, x⇤0 , y0⇤ ), (x, x⇤0 , y0⇤ ) = wj (x, x⇤0 , y0⇤ ), j = 1, . . . , N,
@x0 @y0j
donde {wi }i=0,...,N son las soluciones del s.d.o. lineal variacional con datos iniciales análogos
a (6.8), en concreto,
8 @f
>
< wi0 (x) = (x, '(x, x⇤0 , y0⇤ , 0 ))wi (x),
⇤
i = 0, . . . , N,
@y
: w0 (x⇤0 ) = f (x0 , y0 ),
⇤ ⇤ ⇤
>
wi (x0 ) = ei , i = 1, . . . , N,
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
119 6.4. DERIVABILIDAD RESPECTO DATOS INICIALES Y PARÁMETROS
y las derivadas parciales respecto de las coordenadas paramétricas vienen dadas por
✓ ◆>
@'
, 0, . . . , 0, 1, 0, . . . , 0 = wN +j (x, x⇤0 , y0⇤ , 0)
⇤
j = 1, . . . , k,
@ 0j
donde las funciones {wj }j=N +1,...,N +k son (con valores en RN +k ) soluciones del
8 0 1
> @f @f
>
< 0 (x, '(x, x0 , y0 , 0 ), 0 )
⇤ ⇤ ⇤ ⇤
(x, '(x, x0 , y0 , 0 ), 0 )
⇤ ⇤ ⇤ ⇤
wN +j (x) = @ @y @ A wN +j (x),
>
> 0k⇥(N +k)
:
w(x⇤0 ) = eN +j .
@2' @2' e RN ),
= 2 C(⇥;
@x@x0 @x0 @x
@2' @2' e RN ),
= 2 C(⇥; j = 1, . . . , N,
@x@y0j @y0j @x
@2' @2' e RN ),
= 2 C(⇥; j = 1, . . . , k.
@x@ 0j @ 0j @x
Demostración. Sumergimos el problema en otro del tipo tratado en el Teorema 6.10. Para ello
definimos una nueva variable y una nueva función
✓ ◆ ✓ ◆
y f (x, y, )
z= 2 RN +k , F (x, z) = .
0k
Entonces el problema inicial puede ser tratado como un problema sin parámetros, concretamente
8 0
< z = F (x, ✓z), ◆
y0
: z(x0 ) = .
0
Obsérvese que 0 1
@f @f
@F
=@ @y @ A.
@z
0k⇥(N +k)
Ahora el resultado sigue del Teorema 6.10.
Observación 6.12. Es posible establecer un resultado análogo para un (PC) asociado a una e.d.o.
de orden n, y (n = g(x, y, y 0 , . . . , y (n 1 ).
Si g es de clase C 1 , entonces la función solución ' es también de clase C 1 respecto a todas sus
variables.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
120 Tema 6. Regularidad, continuidad y derivabilidad de soluciones
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
Tema 7
Introducción a la teorı́a de la
estabilidad para sistemas
diferenciales ordinarios
7.1. Preliminares
En el tema anterior se probó, entre otras cosas, que las soluciones de sistemas diferenciales
ordinarios son continuas respecto de los datos iniciales en intervalos acotados. Esos resultados
serán útiles más adelante, pero en problemas prácticos se requiere algo más.
El concepto de estabilidad se especializó pronto en Mecánica para describir algunos tipos de
equilibrios. Supongamos que la trayectoria que describe una partı́cula es la solución de un s.d.o. que
tiene un punto de equilibrio. Se dirá que este equilibrio es “estable” si ante cualquier perturbación
suficientemente pequeña de su posición y velocidad, la partı́cula permanece arbitrariamente cerca
del punto de equilibrio con velocidad arbitrariamente pequeña para todo tiempo posterior. Un
sencillo ejemplo lo constituye el movimiento de un péndulo: en su punto más bajo es “estable”
mientras que el más alto es un equilibrio inestable. Con un ejemplo propiamente formulado en
términos de ecuaciones, sea el s.d.o. 0 = y(1 y)(2 y). De sus tres puntos de equilibrio, las
soluciones y ⌘ 0 e y ⌘ 2 son estables, mientras que y ⌘ 1 no lo es [la solución general es
r
1
y(x) = 1 ±
1 + C 2e 2x
y se cumple que
'(x, 0, y0 ) ! 0 si y0 < 1, '(x, 0, y0 ) ! 2 si y0 > 1.]
Obviamente es deseable que el funcionamiento de maquinaria sea no sólo continuo en tiempos
finitos sino “estable” en el sentido descrito anteriormente. En contraposición a la definición mecáni-
ca, donde su formulación matemática resultaba a veces útil y otras no, Lyapunov introduce otro
concepto de estabilidad, que será válido para e.d.o. generales, y aplicable también a una solución
cualquiera y no sólo a un punto de equilibrio.
En este tema hacemos una breve introducción al estudio de la estabilidad para algunos sistemas
diferenciales ordinarios (un estudio más amplio se hará en asignaturas posteriores).
121
122 Tema 7. Estabilidad para s.d.o.
y 0 = f (x, y) (7.1)
con f 2 C(⌦; R ) \ Liploc (y, ⌦) verificando que f (x, 0) = 0
N
8x 2 I.
Entonces la función '0 (x) ⌘ 0 es solución del
⇢ 0
y = f (x, y),
(PC)
y(x0 ) = 0.
Más aún: '(x, x0 , 0) = '0 (x) 8x0 2 I, 8x 2 I, y además I(x0 , 0) = I. Se dice también que
0 2 RN es un punto de equilibrio o punto crı́tico de (7.1). Damos las siguientes definiciones
con respecto a un punto de equilibrio.
Definición 7.1. Se dice que '0 es (un equilibrio) estable en el sentido de Lyapunov para (7.1)
si para cada x0 2 I y " > 0 dados, existe (x0 , ") 2 (0, ⇢) tal que si |y0 | (x0 , ") entonces
I(x0 , y0 ) [x0 , +1) y |'(x, x0 , y0 )| " 8x 2 [x0 , +1).
Se puede comprobar fácilmente que dicha definición es equivalente a la siguiente.
Definición 7.2. Se dice que '0 es (un equilibrio) estable para (7.1) si para cada x0 2 I y " > 0
dados, existe (x0 , ") 2 (0, ⇢) tal que si |y0 | (x0 , ") entonces
En efecto, es inmediato que la Definición 7.1 implica la Definición 7.2. Para la implicación
contraria, tomamos sin pérdida de generalidad " < ⇢. La solución maximal del (PC) estará definida
en I(x0 , y0 ) = (x0 a, x0 + b) con b +1. Supongamos que b < +1. Se puede probar que existe
lı́m '(x, x0 , y0 ),
x&x0 +b
8" 2 (0, ⇢) 9 (") 2 (0, ⇢) : |y0 | < (") ) I(x0 , y0 ) [x0 , +1), |'(x, x0 , y0 )| < " 8x0 2 I, 8x x0 .
Definición 7.5. Se dice que '0 es (un equilibrio) atractivo para (7.1) si para cada x0 2 I existe
(x0 ) 2 (0, ⇢) tal que si |y0 | (x0 ) entonces I(x0 , y0 ) [x0 , +1) y lı́mx!+1 |'(x, x0 , y0 )| = 0.
Observación 7.6. Un punto de equilibrio puede ser atractivo sin ser estable.
Definición 7.7. Se dice que '0 es (un equilibrio) asintóticamente estable para (7.1) si es
estable y atractivo.
Definición 7.8. Se dice que '0 es (un equilibrio) uniformemente atractivo para (7.1) si
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
123 7.3. CRITERIOS DE ESTABILIDAD PARA S.D.O. LINEALES HOMOGÉNEOS
2. Para un s.d.o. como (7.1) pero autónomo (i.e. f (x, y) = f (y) 8x 2 I) todos los conceptos
son uniformes, es decir,
Esto hace que las extensiones naturales de los conceptos previos para y ⇤ (que aquı́ no daremos)
coincidan con el estudio de dichas propiedades para el punto crı́tico z = 0 en el nuevo s.d.o.
9M > 0 : |F (x)F 1
(x0 )| M 8x0 2 I, 8x x0 . (7.5)
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
124 Tema 7. Estabilidad para s.d.o.
Demostración.
(a) ( Como conocemos la expresión formal de la solución, '(x, x0 , y0 ) = F (x)F 1 (x0 )y0 , en-
tonces tenemos la acotación |'(x, x0 , y0 )| |F (x)||F 1 (x0 )||y0 |. Es obvio que si se cumple (7.3)
entonces '0 es estable.
(b) ( Obviamente (7.4) implica (7.3), que como hemos visto implica que '0 es estable. Veamos
también que es atractiva. En efecto:
|'(x, x0 , y0 )| = |F (x)F 1
(x0 )y0 | |F (x)||F 1
(x0 )y0 | ! 0 si x ! +1.
) Como '0 es atractiva, dado x0 2 I, existe (x0 ) > 0 tal que |y0 | < (x0 ) implica que
lı́m |'(x, x0 , y0 )| = 0.
x!+1
Consideramos cualquier y0 6= 0, y la función
'(x, x0 , y0 )
(x) = (x0 ) .
|y0 |
Entonces | (x0 )| = (x0 ) y por tanto lı́m | (x)| = 0, luego lı́m |'(x, x0 , y0 )| = 0, de donde
x!+1 x!+1
(de nuevo al ser ası́ las columnas de F (x)) se concluye (7.4).
[Nota: aunque en el caso de un s.d.o.l. acabamos de ver que atractivo implica estable, esto NO
es cierto en general si el sistema es no lineal.]
|'(x, x0 , y0 )| = |F (x)F 1
(x0 )y0 | M |y0 | 8x0 2 I, 8x x0 , 8y0 2 RN .
) Como '0 es uniformemente estable, dado " = 1 existe > 0 tal que
y0
Ahora, para todo y0 2 RN \ {0}. Obviamente |y0 | = con lo que
✓ ◆
y0
' x, x0 , 1 8x0 2 I, 8x x0 .
|y0 |
✓ ◆
y0 y0 y0
' x, x0 , = F (x)F 1 (x0 ) = F (x)F 1 (x0 ) 1.
|y0 | |y0 | |y0 |
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
125 7.3. CRITERIOS DE ESTABILIDAD PARA S.D.O. LINEALES HOMOGÉNEOS
(d) ( • La condición (7.6) implica la condición (7.5), y por el apartado anterior se tiene que '0
es uniformemente estable.
• Dada una constante C como en (7.6) tomamos " 2 (0, C). Si |y0 | 1 entonces
|'(x, x0 , y0 )| = |F (x)F 1
(x0 )y0 | Ce ↵(x x0 )
8x0 2 I, 8x x0 .
9M > 0 : |F (x)F 1
(x0 )| M 8x0 2 I, 8x x0 . (7.7)
9 > 0 : 8" > 0, 9x" > 0 : |'(x, x0 , y0 )| " 8|y0 | , 8x0 2 I, 8x x0 + x" .
|F (x)F 1
(x0 )| 1/2 8x0 2 I, 8x x0 + a. (7.8)
Sean ahora x0 2 I y x x0 fijados. Entonces existe un valor n 2 N tal que x 2 [x0 +na, x0 +(n+1)a)
y en consecuencia
|F (x)F 1 (x0 )|
|F (x)F 1 (x0 + na)| · |F (x0 + na)F 1
(x0 + (n 1)a)| · . . . · |F (x0 + a)F 1
(x0 )|
✓ ◆n
1 1 1
M · · ... · = M ,
2 2 2
donde la primera acotación (por M ) se debe a (7.7) aplicado al primer factor y los restantes han
sido acotados por 1/2 gracias a (7.8).
Notamos ahora ↵ = a1 ln 2 > 0. Se tiene que
✓ ◆n ✓ ◆n+1
1 1
M = 2M = 2M e (n+1) ln 2
= 2M e (n+1)a↵
,
2 2
y como x < x0 + (n + 1)a entonces (n + 1)a > x x0 , lo que implica que
✓ ◆n
1
M 2M e ↵(x x0 ) ,
2
de donde sigue (7.6).
Definición 7.12. Se dice que '0 es (un equilibrio) exponencialmente asintóticamente estable
si existen valores C > 0, ↵ > 0 y 2 (0, ⇢) tales que si |y0 | , entonces I(x0 , y0 ) [x0 , +1) y
además
|'(x, x0 , y0 )| Ce ↵(x x0 ) |y0 | 8x0 2 I, 8x x0 .
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
126 Tema 7. Estabilidad para s.d.o.
Veamos ahora un resultado consecuencia del anterior, para s.d.o.l. con coeficientes constantes.
y 0 = Ay. (7.9)
(b) '0 es uniformemente estable si y sólo si todos los autovalores de A satisfacen las siguientes
dos condiciones:
(i) Re( ) 0,
(ii) Si Re( ) = 0, entonces todos los bloques de Jordan asociados a en la forma canónica de A
son de dimensión uno.
Demostración. Al tratarse de un sistema autónomo, los conceptos que se prueben son evidente-
mente uniformes.
Sea Je la forma canónica de Jordan real asociada a la matriz A, y Pe un a matriz de paso, i.e. A =
e
PeJePe 1 . Sabemos entonces que una matriz fundamental de (7.9) es F (x) = PeeJx = pij (x)e ij x ,
siendo pij (x) polinomios (eventualmente idénticamente nulos) y ij autovalores de A.
Ahora es inmediato ver que ambos resultados son consecuencia del teorema anterior. En efecto,
e e e
(a) |F (x)F 1 (x0 )| = |PeeJx e Jx0 Pe 1 | |PeeJ(x x0 ) ||Pe 1 |. Como dado cualquier polinomio p y
cualquier valor ↵ > 0 sabemos que existe una constante C = C(p, ↵) tal que p(x)e ↵x C para
todo x 0, si consideramos cualquier autovalor de A y tomamos ↵ = /2, deducimos
p(x)e x
= p(x)e ↵x
e ↵x
C(p, /2)e ↵x
,
Los recı́procos son también inmediatos, ya que si alguna exponencial tiene exponente ij >0
resultarı́a imposible obtener las acotaciones (7.5) ó (7.6).
a1 a3 a5 a7 ... a2k 1
1 a2 a4 a6 ... a2k 2
Dk = 0 a1 a3 a5 ... a2k 3 .
0 1 a2 a4 ... a2k 4
.. .. .. .. .. ..
. . . . . .
Si ak > 0 y Dk > 0 para k = 1, 2, . . . , n, entonces todas las raı́ces de p cumplen Re( ) < 0.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
127 7.4. ESTABILIDAD EN 1A APROXIMACIÓN PARA S.D.O. NO LINEALES
donde A 2 C(I; L(RN )), g 2 C(⌦; RN )\Liploc (y, ⌦) siendo I = (⌧, +1) y ⌦ = I ⇥B⇢ , y verificando
g que g(x, 0) = 0 8x 2 I.
El s.d.o. (7.10) puede verse como una perturbación del s.d.o.l.
y 0 = A(x)y. (7.11)
|g(x, y)|
lı́m =0 8x 2 I uniformemente en la variable x (7.12)
|y|!0 |y|
(esto es: 8" > 0 9 > 0 : |y| ) |g(x, y)| "|y| 8x 2 I), entonces '0 es exponencialmente
asintóticamente estable como solución de (7.10).
(b) Si '0 es uniformemente estable como solución de (7.11), y existe ↵ 2 C(I) verificando
Z +1
↵(s)ds < +1
⌧
tal que |g(x, y)| ↵(x)|y| para todo par (x, y) 2 I ⇥ B⇢ , entonces '0 es también uniformemente
estable como solución de (7.10).
Observación 7.17. El resultado (a) es especialmente útil para estudiar la estabilidad de puntos de
equilibrios en sistemas autónomos no lineales con segundos miembros regulares, ya que se pueden
ver estos sistemas como perturbaciones de sus correspondientes linealizaciones usando su desarrollo
de Taylor.
Dado un s.d.o. y 0 = f (y), si z es un punto crı́tico (sin pérdida de generalidad podemos suponer
tras cambio de variables que z = 0), es decir, f (0) = 0, entonces en el s.d.o.l. y 0 = Jf (0)y (sistema
linealizado) es más fácil de estudiar si la solución nula posee alguna propiedad de estabilidad como
por ejemplo ser uniformemente asintóticamente estable, y el sistema y 0 = f (y) es una perturbación
suya que verifica la condición requerida en (a) si f es suficientemente regular.
Demostración. (a) Sea F (x) una matriz fundamental de (7.11). Como '0 es uniformemente asintóti-
camente estable para (7.11), entonces
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
128 Tema 7. Estabilidad para s.d.o.
e = C, ↵
Podemos suponer sin pérdida de generalidad que C > 1. Tomamos entonces C ˜ = ↵/2. Por
(7.12) sabemos que
˜
↵
9µ 2 (0, ⇢) : |y| µ ) |g(x, y)| |y| 8x 2 I. (7.13)
C
µ
Tomamos ahora ˜ = (que será también menor que µ < ⇢).
C
Dados x0 2 I, y0 con |y0 | ˜ , por la fórmula de variación de las constantes de Lagrange,
Z x
'(x, x0 , y0 ) = F (x)F (x0 )y0 + F (x)
1
F 1 (s)g(s, '(s, x0 , y0 ))ds 8x 2 I(x0 , y0 ). (7.14)
x0
Si no fuera ası́, por continuidad existirı́a x⇤ 2 I(x0 , y0 ) con x⇤ > x0 tal que u(x) < µ si x 2 [x0 , x⇤ )
y u(x⇤ ) = µ. Por tanto, de (7.14) se deduce
Z x
u(x) Ce ↵(x x0 ) |y0 | + C e ↵(x s) g(s, '(s, x0 , y0 ))ds.
x0
Pero para todo s 2 [x0 , x] con x 2 [x0 , x⇤ ) se tiene que u(s) = |'(s, x0 , y0 )| µ y por (7.13)
˜
↵ ˜
↵
|g(s, '(s, x0 , y0 ))| |'(s, x0 , y0 )| = u(s).
C C
Luego Z x
e↵x
u(x) Ce ↵x0
|y0 | + ↵
˜ e↵s u(s)ds 8x 2 [x0 , x⇤ ].
x0
De la elección concreta de ↵
˜ = ↵/2 deducimos
En particular,
˜ ⇤ x0 ) ˜ ⇤ x0 ) ˜ ⇤ x0 )
u(x⇤ ) Ce ↵(x
|y0 | C ˜ e ↵(x
= µe ↵(x
< µ.
Hemos llegado a una contradicción. Por tanto concluimos que I(x0 , y0 ) [x0 , +1) y que la desi-
gualdad (7.16) es válida en [x0 , x⇤ ] 8x⇤ 2 I(x0 , y0 ).
(b) Procedemos de forma similar al caso anterior (ahora la prueba es más simple).
Si '0 es uniformemente estable como solución de (7.11),
9C > 0 : |F (x)F 1
(x0 )| C 8x0 2 I, 8x x0 .
Sin pérdida de generalidad podemos suponer que C > 1. Veamos entonces R +1 que '0 es también
uniformemente estable como solución de (7.10) si |g(x, y)| ↵(x)|y| con ⌧ ↵(s)ds < +1. Hay
que probar que
8" 2 (0, ⇢) 9 (") 2 (0, ⇢) : |y0 | (") ) |'(x, x0 , y0 )| " 8x0 2 I, 8x x0 . (7.17)
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
129 7.5. SEGUNDO MÉTODO DE LYAPUNOV
Denotemos u(x) = |'(x, x0 , y0 )| y fijemos un valor cualquiera " 2 (0, ⇢). Sea (") = 2 (0, ⇢) tal
que ✓ Z +1 ◆
C exp C ↵(s)ds < " < ⇢. (7.18)
⌧
Supongamos que y0 satisface |y0 | . Sabemos que u(x0 ) = |'(x0 , x0 , y0 )| = |y0 | < ".
Veamos que en realidad ocurre que u(x) < " 8x 2 I(x0 , y0 ) \ [x0 , +1). Por reducción al
absurdo, si no fuera ası́, existirı́a x⇤ 2 I(x0 , y0 ) con x⇤ x0 tal que u(x⇤ ) = " y u(x) < " 8x 2
[x0 , x⇤ ). Usamos de nuevo la fórmula de variación de las constantes y las acotaciones que se verifican
por hipótesis.
Z x
u(x) = '(x, x0 , y0 ) = F (x)F 1 (x0 )y0 + F (x) F 1 (s)g(s, '(s, x0 , y0 ))ds
x0
Z x
C|y0 | + C↵(s)u(s)ds.
x0
que es contradictorio con la definición de x⇤ . Por tanto |'(x, x0 , y0 )| < " < ⇢ para todo x 2 I(x0 , y0 )
y en consecuencia I(x0 , y0 ) [x0 , +1) y la desigualdad (7.19) permite concluir (7.17).
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
130 Tema 7. Estabilidad para s.d.o.
La idea de Lagrange (aprox. en el 1800) y probada más tarde por Dirichlet es: “si un punto
de equilibrio de un sistema mecánico conservativo es un mı́nimo de energı́a potencial, entonces es
estable, y si no, es inestable”.
Supongamos una e.d.o. de dimensión uno generada a partir de la segunda ley de Newton,
(esto último es que el sistema sea conservativo; U se llama energı́a potencial), o escrito en forma
de s.d.o. de primer orden:
y10 = y2
my20 = f (y1 ) = U 0 (y1 ).
Entonces resulta que la energı́a total del sistema (suma de las energı́as cinética y potencial)
V (y1 , y2 ) = U (y1 ) + m
2 y2 se mantiene constante a lo largo de las soluciones. En efecto,
2
d @V 0 @V 0
[V (y1 (t), y2 (t))] = y + y = U 0 (y1 )y10 + my2 y20 = 0.
dt @y1 1 @y2 2
Supongamos por simplicidad que U (0) = 0 y que 0 es un mı́nimo local. Entonces los conjuntos
{(y1 , y2 ) : V (y1 , y2 ) = c}
con c una constante positiva pero muy pequeña, describen órbitas de las soluciones en el plano de
fases y1 frente a y2 . Es decir, la cantidad constante V (y1 (t), y2 (t)) = V (y1 (t0 ), y2 (t0 )) evaluada a
lo largo de una solución de la s.d.o. se mantiene arbitrariamente pequeña si |y1 (t0 )| + |y2 (t0 )| es
suficientemente pequeña, i.e. en cualquier entorno del origen, o sea, la estabilidad del origen como
solución del sistema.
Observemos que para que existiera carácter atractivo harı́a falta que la energı́a total del sistema
no quedara constante, sino que decaiga a cero si el tiempo crece a infinito (por ejemplo con alguna
fuerza de fricción incluida en el modelo).
y 0 = f (y) en ⌦ = R ⇥ D (7.20)
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
131 7.5. SEGUNDO MÉTODO DE LYAPUNOV
Demostración. Considérese la función ã(r) = mı́nr|z|⇢ V (z). Entonces ã(0) = 0, y ã(r) > 0 en
(0, ⇢]. Además es obvio que ã es creciente (puede que no de formaR restricta), que ã 2 C([0, ⇢]) y por
definición ã(|y|) V (y) 8y 2 B⇢ . Ahora basta tomar a(r) = ⇢1 0 ã(s)ds 8r 2 [0, ⇢]. Se tiene que
a 2 K⇢ y a(r) ã(r) 8r 2 [0, ⇢] y el resto de propiedades requeridas.
Definición 7.21. Sea ⇢ 2 (0, +1) tal que B⇢ ⇢ D, y sea V : B⇢ ! R tal que V 2 C 1 (B⇢ ). Se
denomina derivada de V respecto del s.d.o. (7.20) y se denota por V̇ a
N
X @V (y)
V̇ (y) = fi (y) 8y 2 B⇢ .
i=1
@yi
Definición 7.22. Sea ⇢ 2 (0, +1). Se dice que V : B⇢ ! R es una función de Lyapunov para
(7.20) en B⇢ si
• V es definida positiva en B⇢ ,
• V 2 C 1 (B⇢ ) y V̇ (y) 0 8y 2 B⇢ .
Ejemplo 7.23. Consideremos un péndulo simple sin rozamiento, es decir, una masa m colgada
de un alambre “sin masa” de longitud L que está oscilando. Denotamos ✓ = ✓(t) al ángulo con la
vertical (medido en radianes, y en sentido contrario a las manecillas del reloj).
Como la energı́a total del sistema permanece constante, se tiene
1
E = mv 2 + mgh
2
✓ ◆2
1 d✓
= mL2 + mgL(1 cos ✓) = Cte.
2 dt
Derivando obtenemos ✓ ◆✓ ◆ ✓ ◆
d✓ d2 ✓ d✓
mL2 + mgL sen ✓ = 0.
dt dt2 dt
y ası́ concluimos que
d2 ✓ g
+ sen ✓ = 0.
dt2 L
Por simplicidad suponemos que g = L y resulta el sistema
⇢ 0
y1 = y 2 ,
y20 = sen y1 .
Entonces V (y1 , y2 ) = 1 2
2 y2 +1 cos y1 es una función de Lyapunov, por ejemplo, en B⇡ para el
s.d.o. anterior.
Teorema 7.24 (Lyapunov). Bajo las condiciones anteriores para el s.d.o. (7.20), si existe ⇢ 2
(0, +1) tal que B⇢ ⇢ D y existe V función de Lyapunov para (7.20) en B⇢ , entonces:
(a) '0 ⌘ 0 es estable (uniformemente),
(b) Si además V̇ es definida negativa, entonces '0 es (uniformemente) asintóticamente estable.
8" 2 (0, ⇢) 9 (") 2 (0, ⇢) : |y0 | (") ) |'(x, 0, y0 )| " 8x 2 I(0, y0 ) \ [0, +1).
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
132 Tema 7. Estabilidad para s.d.o.
[En principio estaremos hablando de la solución maximal del (PC) en R ⇥ B⇢ , pero a posteriori se
verá que coincide con la del problema en R ⇥ D si el dato inicial es menor que (").]
Sean a 2 K⇢ , tal que V (y) a(|y|) 8y 2 B⇢ , y " 2 (0, ⇢) dados. Como a(") > 0 y V 2 C 1 (B⇢ ),
sea (") 2 (0, ⇢) tal que si |y0 | (") entonces V (y0 ) a(").
Por otro lado, si |y0 | (") y x 2 I(0, y0 ) \ [0, +1), entonces, por ser V una función de
Lyapunov, V̇ ('(x, 0, y0 )) 0, con lo que
N
X
d @V
[V ('(x, 0, y0 ))] = ('(x, 0, y0 ))'0i (x, 0, y0 )
dx i=1
@yi
N
X @V
= ('(x, 0, y0 ))fi ('(x, 0, y0 ))
i=1
@yi
= V̇ ('(x, 0, y0 )) 0.
(b) Fijamos " = ⇢/2. Tomamos como antes = (⇢/2). Sea b 2 K⇢ tal que V̇ (y) b(|y|)
8y 2 B⇢ . Por el apartado anterior, si |y0 | , entonces I(0, y0 ) [0, +1) y |'(x, 0, y0 )| ⇢/2
8x 0. Además tenemos que V ('(x, 0, y0 )) es decreciente en x 2 [0, +1). Por tanto existe el
lı́mite
lı́m V ('(x, 0, y0 )) =: ↵ 0.
x!+1
Veamos que ↵ = 0. Por reducción al absurdo, de ser ↵ > 0, como V (0) = 0 y V es continua,
Ası́, ↵ = 0, de donde
9 lı́m |'(x, 0, y0 )| = 0.
x!+1
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
133 7.5. SEGUNDO MÉTODO DE LYAPUNOV
Observación 7.25.
1. El péndulo simple del Ejemplo 7.23 cumplı́a V̇ = 0, por lo que '0 es estable.
Por otro lado, el péndulo con rozamiento obedece la e.d.o. y 00 + ↵y 0 + sen y = 0 (↵ > 0), que
escrito como s.d.o. de orden uno
⇢ 0
y1 = y2 ,
y20 = ↵y2 sen y1 .
2. Una generalización del péndulo con rozamiento es la ecuación de Lienard: y 00 +ay 0 +g(y) = 0,
con g 2 C 1 (( ⇢, ⇢)) verificando t · g(t) > 0 8t 2 ( ⇢, ⇢) \ {0}. (En particular g(0) = 0; en
concreto se satisface con g(t) = sen t).
Ry
En este caso, la función de Lyapunov para el s.d.o. asociado es V (y1 , y2 ) = 12 y22 + 0 1 g(t)dt.
Obviamente es definida positiva en cierto entorno del origen, y V̇ (y1 , y2 ) = ↵y22 0. Ası́,
deducimos de nuevo que '0 es estable como solución de la ecuación de Lienard.
3. En general es difı́cil encontrar funciones de Lyapunov, pero si |f (y)| > 0 en un entorno redu-
PN
cido del punto de equilibrio, lo primero que debe intentar verificarse es si V (y) = i=1 fi2 (y)
es función de Lyapunov (ya que al menos tenemos que sı́ es definida positiva en algún B⇢ ).
Véase el siguiente ejemplo.
y como la matriz ✓ ◆
1 1
A=
1 1
✓ ◆
y13
tiene autovalores 1 ± i (es decir, parte real negativa), y la perturbación satisface la
y23
condición
y16 + y26
!0 si y12 + y22 ! 0,
y12 + y22
tenemos que la solución nula es asintóticamente estable.
Por tanto V (y1 , y2 ) = ( y1 y2 y13 )2 + (y1 y2 y23 )2 es una función definida positiva en cierto
entorno del origen, y para ver si es de Lyapunov, hay que calcular V̇ , y efectivamente vemos que
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
134 Tema 7. Estabilidad para s.d.o.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
Tema 8
8.1. Introducción
En este tema, el último de estos apuntes, iniciamos el estudio de las ecuaciones en derivadas
parciales (E.D.P.) de primer orden.
El estudio de E.D.P. permite la profundización en el estudio de modelados de problemas reales.
En estas ecuaciones aparecen (eventualmente) varias variables independientes, al menos más de
una, y una función incógnita dependiente de dichas variables, y también forzosamente una o varias
derivadas parciales (de orden mayor o igual que uno) de la función incógnita.
La razón para incluirlo en este temario es que la resolución del problema con E.D.P. que da-
remos aquı́ se hará o bien por medio de integrales primeras o bien a través del Método de las
Caracterı́sticas, ambos aplicados a un cierto sistema diferencial ordinario asociado a la E.D.P. con-
siderada, y por tanto se puede considerar una aplicación de lo hecho anteriormente.
Se llama orden de la E.D.P. al mayor de los órdenes de las derivadas parciales que aparecen
en la ecuación. (Ası́, nosotros trataremos en este tema el caso más sencillo posible; más aún, nos
restringiremos a la situación de ecuaciones lineales o casi-lineales, como describiremos en breve).
135
136 Tema 8. E.D.P. de primer orden. Método de las Caracterı́sticas
@2u
xu = f (t, x),
@t2
La forma general que tiene una E.D.P. consiste en, dada una función F : U ⇢ R2N +1 ! R, se
considera la ecuación ✓ ◆
@u @u
F x1 , . . . , xN , u, ,..., = 0.
@x1 @xN
Son útiles, como ya se ha citado por algunos de los ejemplos, en problemas fı́sicos, en el estudio de la
distribución del calor, de las ondas o vibraciones, sistemas de elasticidad, mecánica de fluidos, y en
muchos otros campos como problemas geométricos, en mecánica (ecuaciones de Hamilton-Jacobi),
en Control y Optimización de sistemas (ecuación de Programación Dinámica o de Hamilton-Jacobi-
Bellman), etc.
Como se ha indicado antes en este tema de iniciación sólo trataremos los casos más simples:
E.D.P. lineales y casi-lineales de primer orden. El tema está formado por dos grandes bloques, el
primero destinado a la resolución de E.D.P. a través de integrales primeras (que ya introdujimos
en el Tema 2), y en una segunda parte a través del Método de las Caracterı́sticas.
y 0 = f (x, y) (8.1)
Definición 8.2. Sean ⌦ e ⇢⌦y :⌦ e ! R. Se dice que es una integral primera de (8.1) en ⌦
e
e
si para todo par (I, ') 2 S tal que (x, '(x)) 2 ⌦ 8x 2 I, se tiene que
Observación 8.3. En los problemas de origen fı́sico, las integrales primeras representan leyes de
conservación.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
137 8.2. INTEGRALES PRIMERAS PARA UN S.D.O.
Se tiene la siguiente interesante caracterización, que inicia ası́ la relación entre s.d.o. y E.D.P.
Proposición 8.4 (Caracterización de integrales primeras de clase C 1 ). Bajo las hipótesis
e ⇢ ⌦ y 2 C 1 (⌦).
y notación anteriores, sean ⌦ e Entonces se tiene que es integral primera de
(8.1) en ⌦e si y sólo si
XN
@ @ e
(x, y) + fi (x, y) (x, y) ⌘ 0 en ⌦.
@x i=1
@y i
XN
@ @ e
(x, y) + fi (x, y) (x, y) ⌘ 0 en ⌦.
@x i=1
@y i
XN
@ @
(x0 , y0 ) + fi (x0 , y0 ) (x0 , y0 ) = 0,
@x i=1
@yi
e era arbitrario.
con lo que la prueba termina, ya que el punto (x0 , y0 ) 2 ⌦
Observación 8.5.
1. Una E.D.P. del tipo
X @ N
@
+ fi =0
@x i=1 @yi
es un caso particular de E.D.P. lineal de primer orden (que definiremos más adelante). Por
la proposición previa, para resolverla basta construir el s.d.o. asociado y hallar las integrales
primeras para tener una solución de la E.D.P., algo que ya se vio al final del Tema 2.
2. Una pregunta natural, y que aparecerá
PNa lo largo del tema en algunos ejemplos, es, ¿qué ocurre
si tenemos una EDP de la forma i=1 fi @y @
i
= 0 con las funciones fi independientes de x?
Se puede plantear el s.d.o. e intentar construir una integral primera que tampoco dependa de
x. En tal caso, la caracterización de la proposición anterior tendrı́a el siguiente análogo,
es una integral primera independiente de x del s.d.o. y 0 = f (y) en ⌦ e ⇢ ⌦ ⇢ RN +1 si y
PN e
sólo si i=1 fi (y) @
@yi⌘ 0 en ⌦.
3. e de (8.1) definidas
Supongamos que se conocen N integrales primeras { i }i=1,...N ⇢ C 1 (⌦)
e e
en un abierto ⌦ ⇢ ⌦. Sea (x0 , y0 ) 2 ⌦ tal que se verifica
✓ i ◆
@
det (x0 , y0 ) 6= 0. (8.3)
@yj
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
138 Tema 8. E.D.P. de primer orden. Método de las Caracterı́sticas
En resumen, N integrales primeras de (8.1) independientes entre sı́, i.e. verificando (8.3),
permiten resolver el
⇢ 0
y = f (x, y),
(P C)
y(x0 ) = y0 .
Veremos que es posible construir N integrales primeras de esa forma.
Demostración. Sabemos por el Tema 6 que dada f 2 C 1 (⌦; RN ), la solución maximal ' de (8.1)
satisface ' 2 C 1 (⇥; RN ). Fijado (x̄0 , ȳ0 ) 2 ⌦, como ⇥ es abierto, y (x̄0 , x̄0 , ȳ0 ) 2 ⇥, existe 0 > 0
tal que B 0 = B((x̄0 , ȳ0 ); 0 ) ⇢ ⌦ y {x̄0 } ⇥ B 0 ⇢ ⇥, i.e.
de nuevo aplicando el Teorema 6.10. Ası́, por continuidad, existe 2 (0, 0 ) tal que
✓ ◆
@ i
det (x0 , y0 ) 6= 0 8(x0 , y0 ) 2 B = B((x̄0 , ȳ0 ); ).
@yj
de donde deducimos que efectivamente cada componente de es una integral primera de (8.1).
(x, y) = w( 1
(x, y), . . . , k
(x, y))
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
139 8.3. E.D.P. DE 1ER ORDEN LINEALES Y CASI-LINEALES. INTEGRAL GENERAL
Observación 8.9. Evidentemente, la expresión lineal se refiere sólo al comportamiento del ope-
rador diferencial.
@u @u
+u = 0.
@x1 @x2
Ejemplo 8.11 (E.D.P. lineal en RN +1 ). Ya vimos uno al principio del tema, con la caracteri-
zación de integral primera de clase C 1 para un s.d.o. (aquı́ entendemos x 2 R),
X @ N
@
+ fi = 0.
@x i=1 @xi
Definición 8.12. Llamamos solución clásica de (8.5) en un abierto O ⇢ RN , a una función que
satisfaga
(i) u 2 C 1 (O),
Definición 8.14. Sea z(x, y) una solución de (8.6) en un abierto O ⇢ R2 . Llamamos superficie
integral de (8.6) a la superficie definida por la ecuación z = z(x, y).
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
140 Tema 8. E.D.P. de primer orden. Método de las Caracterı́sticas
Supongamos que existen dos integrales primeras 1 (x, y, z) y 2 (x, y, z) de la E.D.P. casi-lineal
(8.7) y ambas independientes de t, definidas en R ⇥ Ũ con Ũ ⇢ U abierto, y que i 2 C 1 (Ũ ) i = 1,
2.
Veamos que para cualquier h 2 C 1 (R2 ), la expresión h( 1 , 2 ) = 0 determina soluciones de
(8.6). En efecto, consideramos la función h̃ : Ũ ! R, dada por h̃(x, y, z) = h( 1 (x, y, z), 2 (x, y, z)).
Sea (x0 , y0 , z0 ) 2 Ũ tal que h̃(x0 , y0 , z0 ) = 0 (esto se consigue ajustando convenientemente una
constante en h̃), y tal que
@h
(x0 , y0 , z0 ) 6= 0.
@z
Entonces, por el Teorema de la Función Implı́cita, existen entornos E((x0 , y0 )) y E(z0 ) de (x0 , y0 ) y
z0 respectivamente tales que existe una única función z 2 C 1 (E((x0 , y0 )); E(z0 )) tal que z(x0 , y0 ) =
z0 y
h̃(x, y, z(x, y)) = 0 8(x, y) 2 E((x0 , y0 )).
Derivando la expresión anterior, veremos que z = z(x, y) es una superficie integral de (8.6). En
efecto, 8
>
> @ h̃ + @ h̃ @z = 0,
>
<
@x @z @x
en E((x0 , y0 )).
> @ h̃ @ h̃ @z
>
>
: + = 0,
@y @z @y
Si multiplicamos la primera igualdad por f1 , y la segunda por f2 y sumamos, obtenemos
✓ ◆
@ h̃ @z @z @ h̃ @ h̃
f1 + f2 + f1 + f2 = 0. (8.8)
@z @x @y @x @y (x,y,z(x,y))
Por otro lado, al ser h̃(x, y, z) = h( 1 (x, y, z), 2 (x, y, z)) una integral primera de (8.7) (cf. Obser-
vación 8.7) y por la caracterización de las integrales primeras (cf. Proposición 8.4 y Observación
8.5) no dependientes de t, se tiene que
@ h̃ @ h̃ @ h̃
f1 + f2 +g =0 en Ũ .
@x @y @z
Combinamos esta igualdad con (8.8) para obtener
@ h̃ @z @z
f1 + f2 g = 0 en E((x0 , y0 )).
@z @x @y
@ h̃
Como por continuidad existe un entorno de (x0 , y0 ) donde (x, y, z(x, y)) 6= 0, entonces se deduce
@z
que en dicho entorno
@z @z
f1 + f2 = g.
@x @y
Hemos concluido ası́ que a partir de dos integrales primeras del sistema caracterı́stico se pueden
construir infinitas soluciones de (8.6) usando h( 1 , 2 ) = 0.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
141 8.3. E.D.P. DE 1ER ORDEN LINEALES Y CASI-LINEALES. INTEGRAL GENERAL
Primero hallamos z = z(x, y) tal que en cada punto su vector normal ( @x , @y , 1) sea per-
@z @z
i.e.
@f @z @f @z @f
+ = 0,
@x @x @y @y @z
que en nuestro caso se convierte en
@z @z
x +y = z.
@x @y
Para encontrar una superficie integral de esta E.D.P. tomamos el sistema caracterı́stico asociado,
8
< ẋ = x, dx dy dz
ẏ = y, , dt = = = ,
: x y z
ż = z,
y z
de donde resulta claro que dos integrales primeras son 1 (x, y, z) = y 2
(x, y, z) = . Deducimos
x x
entonces que ⇣y z ⌘
h , = 0 con h 2 C 1 (R2 ) arbitraria
x x
es la integral general.
En particular, todas las de la forma
z ⇣y⌘
= (8.9)
x x
con 2 C 1 (R) es válida.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
142 Tema 8. E.D.P. de primer orden. Método de las Caracterı́sticas
Supongamos que existe solución. Entonces, igual que en el ejemplo anterior, dada la familia z(x +
y) = c(3z + 1), o escrita como
z(x + y)
= c,
3z + 1
su vector normal es ✓ ◆
~ = z z x+y
N , , .
3z + 1 3z + 1 (3z + 1)2
Buscamos una superficie z = z(x, y) tal que su vector normal
✓ ◆
@z @z
, , 1
@x @y
sea ortogonal con el anterior. Tenemos por tanto la E.D.P.
z @z z @z x+y
+ = .
3z + 1 @x 3z + 1 @y (3z + 1)2
Simplificando, obtenemos
@z @z x+y
+ = .
@x @y z(3z + 1)
El sistema caracterı́stico es
z(3z + 1)
dt = dx = dy = dz,
x+y
y dos integrales primeras del mismo son 1
(x, y, z) = x y, y por otro lado
dx + dy z(3z + 1) 1
= dz ) (x + y)d(x + y) = z(3z + 1)dz
2 x+y 2
1 1
) (x + y)2 = z 3 + z 2 + C ) 2 (x, y, z) = 4z 3 + 2z 2 (x + y)2 .
4 2
La integral general de la E.D.P. es por tanto
h(4z 3 + 2z 2 (x + y)2 , x y) = 0
con h 2 C 1 (R2 ). Una subfamilia suya es la siguiente: 4z 3 +2z 2 (x+y)2 = (x y) con 2 C 1 (R).
Usamos ésta última para exigir que contenga a la curva C̄, de donde resulta
p p
4z 3 + 2z 2 x2 y 2 2xy = (x y) ) 5 2x 1 x2 = (x 1 x2 ) 8x 2 (0, 1]. (8.10)
p p p
Haciendo el cambio ⌘ = x 1 x2 , se tiene que ⌘ 2 = x2 +1 x2 2x 1 x2 , o sea, 2x 1 x2 =
⌘ 2 1. Por tanto, de (8.10) deducimos que (⌘) = 4 + ⌘ 2 , por lo que la superficie buscada debe
verificar
4z 3 + 2z 2 (x + y)2 = 4 + (x y)2 ) 2z 3 + z 2 = x2 + y 2 + 2.
Los dos ejemplos anteriores son casos particulares de problemas de Cauchy para una E.D.P.
de primer orden. Formularemos y analizaremos este problema a continuación, y en particular,
retomaremos este último ejemplo para recuperar la solución obtenida (la única que de hecho tiene
el problema).
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
143 8.4. (PC) Y MÉTODO CARACTERÍSTICAS PARA E.D.P. CASI-LINEALES
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
144 Tema 8. E.D.P. de primer orden. Método de las Caracterı́sticas
S = {x 2 RN : x = ⇠(t1 , . . . , tN 1 ), (t1 , . . . , tN 1) 2 ✓}
Supongamos que existe una solución u(x1 , x2 ) definida en O = (0, +1) ⇥ R. Consideremos de
manera formal la e.d.o (obtenida a partir del sistema caracterı́stico)
dx2
= u(x1 , x2 ). (8.12)
dx1
Si x2 = x2 (x1 ) es una solución de (8.12), entonces (por ser u solución de la E.D.P.)
d @u @u
[u(x1 , x2 (x1 ))] = (x1 , x2 (x1 )) + (x1 , x2 (x1 ))u(x1 , x2 (x1 )) = 0.
dx1 @x1 @x2
Esto significa que u se mantiene constante a lo largo de las soluciones de (8.12) (que se llamarán
caracterı́sticas de la E.D.P. de Burgers).
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
145 8.4. (PC) Y MÉTODO CARACTERÍSTICAS PARA E.D.P. CASI-LINEALES
Sea (0, x02 ) un punto genérico y, dado que u(x1 , x2 ) permanece constante a lo largo de las
caracterı́sticas, el (PC) asociado a (8.12)
8
< dx2
= u0 (x02 ),
dx1
: x (0) = x0 .
2 2
Su solución evidentemente es x2 (x1 ) = u0 (x02 )x1 + x02 . Por tanto u se transmite de forma constante
sobre esa familia de rectas.
Supongamos que existen dos puntos x02 y x̂02 tales que x02 < x̂02 y que u0 (x02 ) > u0 (x̂02 ). Entonces
las rectas que pasan por (0, x02 ) y (0, x̂02 ) se cortan en algún punto de O, digamos P, y entonces
u(P ) = u0 (x02 ) 6= u0 (x̂02 ) = u(P ), lo que es contradictorio.
Observación 8.24. Tampoco cabe esperar que, dada una hipersuperficie S, la solución (local)
esté definida en todo S sino en un entorno del punto y parte de S.
Veámoslo de nuevo apoyándonos en el ejemplo anterior. Consideramos S ⌘ {(0, x2 ) : x2 2
E(0)}. Supongamos ahora que u0 (x2 ) = 1 x22 .
En este caso los puntos que elegimos antes x02 y x̂02 tomarán los valores x02 = 0 y x̂02 = 1/a. Es
decir, estamos con los puntos iniciales para las rectas caracterı́sticas (0, 0) y (0, 1/a). La función
dato inicial es u0 (x2 ) = 1 x22 . Las caracterı́sticas son
8
< dx2
= u0 (x02 ),
dx1 ) x2 (x1 ) = x1 ,
: x (0) = x0 = 0,
2 2
8
< dx2 ✓ ◆
= u0 (x̂02 ), 1 1
dx1 ) x2 (x1 ) = 1 x1 + ,
: x (0) = x̂0 = 0, a2 a
2 2
ya que las pendientes respectivas son 1 y 1 1/a2 . Ambas rectas se cortan en el punto (a, a). Por
tanto el punto (a, a) no puede estar en el dominio de la solución. Esto significa que si a es un valor
muy pequeño (esto serı́a válido si S contiene a todo un entorno del semieje positivo OY) entonces
la solución de la E.D.P. no tendrı́a dominio de definición en R+ ⇥ R.
Estamos ya en condiciones de establecer el resultado principal de esta sección. No obstante
daremos algunas notas antes de su prueba para aclarar convenientemente algunos puntos de su
enunciado.
Teorema 8.25 (Existencia y unicidad local de solución para un (PC) asociado a una
E.D.P. casi-lineal de 1er orden). Sean U ⇢ RN +1 un abierto no vacı́o, fi , g 2 C 1 (U ), i =
1, . . . , N, y S una hipersuperficie dada por
S = {x 2 RN : x = ⇠(t1 , . . . , tN 1 ), (t1 , . . . , tN 1) 2 ✓}
y que !
@⇠i
det f (a, u0 (0)) (0) 6= 0. (8.14)
@tj
Entonces existe un entorno abierto de a, O ⇢ RN , tal que en O existe una y sólo una solución u
del 8
< PN @u
(PC) i=1 fi (x, u) = g(x, u),
(8.15)
@x
: u| = u en uni entorno de a.
S 0
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
146 Tema 8. E.D.P. de primer orden. Método de las Caracterı́sticas
Observación 8.26.
1. La hipótesis (8.13) no es restrictiva, ya que necesariamente (a, u0 (0)) 2 U para que tenga
el problema, y por continuidad, existe ✓0 ⇢ ✓ de modo que (8.13) tiene que verificarse (y el
teorema es de carácter local).
Por otro lado, la condición inicial (válida para todo (t1 , . . . , tN 1 ) 2 ✓ tal que ⇠(t1 , . . . , tN 1 ) 2
O)
u0 (t1 , . . . , tN 1 ) = u(⇠1 (t1 , . . . , tN 1 ), . . . , ⇠N (t1 , . . . , tN 1 ))
PN @u @⇠i
permite deducir derivando que @u @tj (0) =
0
i=1 @xi (a) @tj (0), que con la notación anterior se
escribe
XN
@⇠i @u0
(0)pi = (0). (8.17)
i=1
@t j @tj
Como las ecuaciones (8.16) y (8.17) han de ser compatibles, basta por ejemplo exigir la
condición (8.14).
3. Otra forma de resaltar la utilidad de (8.14) es retomando la idea original del método de
demostración de la prueba de las caracterı́sticas (esto lo hizo Cauchy) para una E.D.P. lineal.
Supongamos por simplicidad que N = 2, que g ⌘ 0, y que fi son (i = 1, 2) independientes de
P2
u. Las soluciones de la E.D.P. i=1 fi (x1 , x2 ) @x @u
i
= 0 (si existen) son integrales primeras del
sistema caracterı́stico formado por las ecuaciones dx dt = fi (x1 , x2 ). Igual que en el ejemplo de
i
la ecuación de Burgers, se tiene que una solución de la E.D.P. se mantiene constante sobre las
caracterı́sticas, i.e. u(x1 (t), x2 (t)) =Cte ya que dt
d
[u(x1 (t), x2 (t))] = 0. Si tales caracterı́sticas
cortan a la hipersuperficie S, donde sabemos los valores iniciales del (PC), el valor de u se
extiende sobre toda la caracterı́stica: será el valor de u0 en el punto de intersección con la
caracterı́stica.
Finalmente, si en un entorno de S tenemos un haz de órbitas que genera un entorno de a en
R2 (el abierto O del enunciado), entonces u estará determinado en dicho conjunto O por el
valor de u0 en un entorno de S. La forma “intuitiva” de generar esa superficie es imponer
una condición de transversalidad entre las pendientes de las funciones fi , y la “curva” S, es
decir, la condición (8.14).
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
147 8.4. (PC) Y MÉTODO CARACTERÍSTICAS PARA E.D.P. CASI-LINEALES
y por continuidad también ocurre la misma condición en un entorno del 0 2 RN . [Nota: Obsérve-
se que aquı́ se está usando también implı́citamente el teorema de derivabilidad respecto datos
iniciales.]
Por tanto podemos aplicar el Teorema de la Función Inversa para afirmar que existe una bola
abierta B ⇢ ⇥e centrada en 0 2 RN tal que
ȳ : B ! ȳ(B) =: O ⇢ RN
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
148 Tema 8. E.D.P. de primer orden. Método de las Caracterı́sticas
a) Verificamos primero que para todo x 2 O, se tiene que (x, u(x)) 2 U. En efecto,
b) Vemos ahora que u(⇠(t1 , . . . , tN 1 )) = u0 (t1 , . . . , tN 1) para todo (t1 , . . . , tN 1) 2 ✓ tal que
⇠(t1 , . . . , tN 1 ) 2 O. En efecto,
N
X @u
fi (x, u(x)) (x)
i=1
@xI
N
X @v̄(ȳ 1 (x))
= fi (ȳ(ȳ 1
(x)), v̄(ȳ 1
(x)))
i=1
@xi
2 0 13
XN N
X1 @v̄ 1
4 @ ȳi (ȳ @v̄ @ ȳ 1 @ ȳ j+1
= 1
(x)) @ (ȳ
1
(x)) 1 (x) + (ȳ 1
(x)) (x)A5
i=1
@t @t @xi j=1
@tj @xi
N
! N 1 N 1
!
@v̄ X @ ȳi @ ȳ1 1 X @v̄ X @ ȳi @ ȳj+1
= (ȳ (x))
1
(ȳ (x))
1
(x) + (ȳ 1
(x)) (ȳ 1
(x)) (x) .
@t i=1
@t @xi j=1
@tj i=1
@t @xi
que
N
X @u @v̄
fi (x, u(x)) (x) = (ȳ 1
(x)) = g(ȳ(ȳ 1
(x)), v̄(ȳ 1
(x))) = g(x, u(x)).
i=1
@xi @t
N
X 1 N
X 1
@ ȳ @ ȳi @ ȳ @ ȳi
t = ȳ1 1 (ȳ(t, t1 , . . . , tN 1 )) ) 1 =
1
(x) (t, t1 , . . . , tN 1) =
1
(x) (ȳ 1
(x)).
i=1
@xi @t i=1
@xi @t
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
149 8.4. (PC) Y MÉTODO CARACTERÍSTICAS PARA E.D.P. CASI-LINEALES
Y (8.19) se obtiene a partir de las siguientes igualdades (para cada j = 1, . . . , N 1) y sus derivadas
respecto de t,
N
X 1 N
X 1
@ ȳj+1 @ ȳi @ ȳj+1 @ ȳi
tj = ȳj+1
1
(ȳ(t, t1 , . . . , tN 1 )) ) 0= (x) (t, t1 , . . . , tN 1) = (x) (ȳ 1
(x)).
i=1
@xi @t i=1
@xi @t
Queda por probar la unicidad local de solución, i.e. si ũ 2 C 1 (O) es solución del (PC) entonces
ũ(x) = u(x) 8x 2 O.
XN
@ ũ
= g(ȳ(t), '(t) + ũ(ȳ(t))) (ȳ(t))fi (ȳ(t), '(t) + ũ(ȳ(t))).
i=1
@x i
@G
está bien definida para todo par (t, z) 2 A. Más aún, 2 C(A) y G(t, 0) = 0 (por ser ũ solución
@z
de la E.D.P.). Por tanto el
(
dz
= G(t, z),
(PC) dt
z(0) = 0,
sólo tiene una única solución, y forzosamente ha de tenerse entonces '(t) ⌘ 0.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
150 Tema 8. E.D.P. de primer orden. Método de las Caracterı́sticas
Ejemplo 8.29. Retomamos el Ejemplo 8.19 para ahora resolverlo por el Método de las Carac-
terı́sticas. 8
< @u + @u = x1 + x2 ,
@x1 @x2 u(3u + 1)
:
u|S = 1 en un entorno de a = (1, 0),
⇣p ⌘
siendo S = { 1 t21 , t1 : t1 2 ( 1, 1)}.
x1 + x2
En este caso U = {(x1 , x2 , u) 2 R3 : u 62 {0, 1/3}}, f1 ⌘ f2 ⌘ 1, y g(x1 , x2 , u) = .
p u(3u + 1)
Se tiene que f1 , f2 , g 2 C 1 (U ). La función ⇠ viene dada por ⇠(t1 ) = ( 1 t21 , t1 ) 2 C 1 (✓; R2 )
con ✓ = ( 1, 1), y finalmente u0 (t1 ) ⌘ 1. Como (a, u0 (0)) = (1, 0, 1) 2 U y la condición de
transversalidad se satisface,
✓ ◆ ✓ ◆
f1 (a, u0 (0)) ⇠10 (0) 1 0
det = det = 1 6= 0,
f2 (a, u0 (0)) ⇠20 (0) 1 1
se tiene por el Teorema 8.25 que existe una única solución local al problema.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
151 8.4. (PC) Y MÉTODO CARACTERÍSTICAS PARA E.D.P. CASI-LINEALES
Sustituyendo en (8.20) recuperamos la solución que obtuvimos antes, 2u3 + u2 = x21 + x22 + 2.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
152 Tema 8. E.D.P. de primer orden. Método de las Caracterı́sticas
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla
Bibliografı́a
[1] I. Acero & M. López, Ecuaciones Diferenciales. Teorı́a y problemas, Tébar Flores, Madrid,
1997.
[2] H. Amann, Ordinary Di↵erential Equations: An Introduction to Nonlinear Analysis, Walter
de Gruyter, New York, 1990.
[3] F. Brauer & J. A. Nohel, The Qualitative Theory of Ordinary Di↵erential Equations. An
introduction, Dover Publications, New York, 1989.
[4] M. Braun, Di↵erential Equations and Their Applications, Springer-Verlag, New York, 1993.
[5] E. Casas Renterı́a, Introducción a las Ecuaciones en Derivadas Parciales, Servicio de Publi-
caciones, Universidad de Cantabria, 1992.
[6] E. A. Coddington, Introducción a las Ecuaciones Diferenciales Ordinarias, Co. Ed. Continen-
tal, México, 1976.
[7] E. A. Coddington & N. Levinson, Theory of Ordinary Di↵erential Equations, Robert E. Krie-
ger, Malabar, Florida, 1984.
[8] C. Corduneanu, Principles of Di↵erential and Integral Equations, Chelsea P. Co., The Bronx,
New York, 1977.
[9] C. H. Edwards, Jr. & D. E. Penney, Ecuaciones Diferenciales Elementales y Problemas con
Condiciones en la Frontera, Prentice-Hall, México, 2001.
[10] C. Fernández & J. M. Vegas, Ecuaciones Diferenciales II, Ecuaciones no Lineales, Pirámide,
Madrid, 1996.
[11] M. de Guzmán, Ecuaciones Diferenciales Ordinarias. Teorı́a de Estabilidad y Control, Ed.
Alhambra, Madrid, 1987.
[12] M. de Guzman, I. Peral & M. Walias, Problemas de ecuaciones diferenciales ordinarias, Ed.
Alhambra, Madrid, 1980.
[13] P. Hartman, Ordinary Di↵erential Equations, John Willey & Sons, Inc., New York, 1964.
[14] M. W. Hirsch & S. Smale, Di↵erential Equations, Dynamical Systems and Linear Algebra,
Academic Press, New York, 1964.
[15] F. John, Partial Di↵erential Equations, Springer-Verlag, New York, 1982.
[16] A. Kiseliov, M. Krasnov & G. Makarenko, Problemas de Ecuaciones Diferenciales Ordinarias,
Ed. Mir, Moscú, 1997.
[17] W. Leighton, Ordinary Di↵erential Equations, Wadsworth P. Co., Belmont (California), 1970.
[18] C. Martı́nez Carracedo & M. A. Sanz Alix, Introducción a las Ecuaciones Diferenciales Ordi-
narias, Reverté, Barcelona, 1991.
153
154 BIBLIOGRAFÍA
[19] R. K. Miller & A. N. Michel, Ordinary Di↵erential Equations, Academic Press, New York,
1982.
[20] R. K. Nagle, E. B. Sa↵, & A. D. Snider, Ecuaciones Diferenciales y problemas con valores en
la frontera, Addison Wesley, México, 2001.
[21] S. Novo, R. Obaya & J. Rojo, Ecuaciones y Sistemas Diferenciales, McGraw-Hill, Madrid,
1995.
[22] I. Peral, Ecuaciones en Derivadas Parciales, Addison-Wesley/Universidad Autónoma de Ma-
drid, Wilmington, 1995.
[23] L. Pontriaguine, Equations Di↵érentielles Ordinaires, Ed. Mir, Moscou, 1975.
[24] M. R. M. Rao, Ordinary di↵erential equations : Theory and applications, Edward Arnold,
London, 1981.
[25] N. Rouché & J. Mawhin, Equations Di↵érentielles Ordinaires. Tomes 1, 2, Ed. Masson, Paris,
1973.
[26] F. Simmons, Ecuaciones Diferenciales: con aplicaciones y notas históricas, McGraw-Hill, Ma-
drid, 2002.
[27] I. Sneddon, Elements of Partial Di↵erential Equations, McGraw-Hill Book Company, Inc. ,
New York, 1957.
[28] D. G. Zill, Ecuaciones Diferenciales con Aplicaciones de modelado, Grupo Editorial Ibe-
roamérica, México, 2002.
Pedro Marı́n Rubio - Dpto. Ecuaciones Diferenciales y Análisis Numérico - Universidad de Sevilla