Tema 1 EL TEOREMA DE PEANO. 1 Compacidad en C(I; R N ): el Teorema de Ascoli-

Documentos relacionados
Espacios compactos. Capítulo Cubiertas. En este capítulo estudiaremos el concepto de compacidad en un espacio métrico.

Teoremas de Convergencia

Derivada de la función compuesta. Regla de la cadena

El Teorema de existencia y unicidad de Picard

Terminaremos el capítulo con una breve referencia a la teoría de cardinales.

Espacios Topológicos 1. Punto de Acumulación. Al conjunto de puntos de acumulación de A se le denomina el conjunto derivado de A (A a Notación).

Problemas de VC para EDVC elaborados por C. Mora, Tema 4

4. Complementos sobre Problemas de Contorno para S.D.O. Lineales. 4. Complementos sobre Problemas de Contorno

Sucesiones en R n. Ejemplos.-Considerando el espacio R 2 sea la sucesión {x k } 1 dada por x k = ( k, 1 k) podemos listar como sigue:

6.1 Pruébese que la unión de un número finito de conjuntos acotados es un conjunto acotado.

Espacios completos. 8.1 Sucesiones de Cauchy

Recordemos que utilizaremos, como es habitual, la siguiente notación para algunos conjuntos de números que son básicos.

Continuidad y monotonía

1. Sucesiones y redes.

Funciones de Clase C 1

Espacios topológicos. 3.1 Espacio topológico

MMAF: Espacios normados y espacios de Banach

Funciones integrables en R n

Subconjuntos notables de un Espacio Topológico

Límite superior y límite inferior de una sucesión

El método de súper y sub soluciones en el espacio de funciones casi periódicas.

1. Convergencia en medida

Funciones convexas Definición de función convexa. Tema 10

Por ser f continua y R compacto, existen x 0, y 0 en R tales que f(x 0 ) = sup{f(t) : t R} y f(y 0 ) = inf{f(t) : t R}

CONJUNTOS COMPACTOS. . En consecuencia, ninguna unión finita de {G n n N} puede contener a H H no es compacto

Existencia y unicidad de soluciones

Apéndice sobre ecuaciones diferenciales lineales

CÁLCULO II. Grado M+I. Sucesiones y series de funciones. Sucesiones y series de funciones 1 / 27. Grado M+I () CÁLCULO II

Teorema del Valor Medio

Teoremas de convergencia y derivación bajo el signo integral

Reconocer y utilizar las propiedades sencillas de la topología métrica.

Diferenciales de Orden Superior

Teoría de la Probabilidad Tema 2: Teorema de Extensión

ECUACIONES EN DERIVADAS PARCIALES Tópicos previos

Continuidad. 5.1 Continuidad en un punto

Tema 2 Resolución de EcuacionesNo Lineales

- Fernando Sánchez - Departamento de Matemáticas - Universidad de Extremadura. Topología

Espacios conexos. Capítulo Conexidad

Resumen de Análisis Matemático IV

Semana 09 [1/28] Sucesiones. 29 de abril de Sucesiones

5. Integrales dobles de Riemann.

Una topología de los números naturales*

Conjuntos finitos y conjuntos numerables

=, una sucesión de intervalos cerrados. f x una función continua en el punto x = x0. = 0, el teorema queda demostrado. Si ( )

Cálculo Diferencial: Enero 2016

Teorema del valor medio

Las particiones y el Teorema de Bolzano

Reglas de l Hôpital Teorema del Valor Medio Generalizado. Tema 7

Convergencia de sucesiones

Conjuntos Infinitos. Ramón Espinoza Armenta AVC APOYO VIRTUAL PARA EL CONOCIMIENTO

Conjuntos, relaciones y funciones Susana Puddu

Inducción Matemática Conjuntos Funciones. Matemática Discreta. Agustín G. Bonifacio UNSL. Repaso de Inducción, Conjuntos y Funciones

Introducción a la Teoría Analítica de Números

Diferenciación numérica: Método de Euler explícito

1 Método de la bisección. 1.1 Teorema de Bolzano Teorema 1.1 (Bolzano) Contenido

Fórmula de Cauchy Fórmula de Cauchy

Integrales múltiples

Sucesiones Introducción

Conjuntos Medibles. Preliminares

Órdenes de la convergencia de sucesiones. Condiciones de la convergencia lineal y cuadrática del método de iteración simple

Axiomas de separación

Una norma en un espacio lineal (o vectorial) X es una función. : X R con las siguientes propiedades: (a) x 0, para todo x X (no negatividad);

Semana03[1/17] Funciones. 16 de marzo de Funciones

Sucesiones y series de números reales

LEYES DE COMPOSICIÓN INTERNA Y ELEMENTOS DISTINGUIDOS

Teorema del valor medio

TEMA 8.- NORMAS DE MATRICES Y

Algebra Lineal. Gustavo Rodríguez Gómez. Verano 2011 INAOE. Gustavo Rodríguez Gómez (INAOE) Algebra Lineal Verano / 21

COMPLEMENTO DEL TEÓRICO

Comisión de Pedagogía - Diego Chamorro Ecuaciones en Derivadas Parciales (Nivel 3).

VARIABLE COMPLEJA Y ANÁLISIS FUNCIONAL

Cálculo diferencial e integral 4

Ejercicios de Análisis I

Volumen y conjuntos de medida cero

1. Construcción de la Integral

Introducción a la topología

Índice general 1. El Espacio Normado 2. La Diferencial de Fréchet 3. Teoremas de Taylor

2. Continuidad y derivabilidad. Aplicaciones

Demostraciones a Teoremas de Límites

Espacios vectoriales

Cardinalidad. Teorema 0.3 Todo conjunto infinito contiene un subconjunto infinito numerable.

Teoría de Números. Divisibilidad. Olimpiada de Matemáticas en Tamaulipas

Ejercicios del Tema 2: Estructuras algebraicas básicas

Espacios Vectoriales

EL CUERPO ORDENADO REALES

1. ESPACIOS DE HILBERT Y OPERADORES

Series de números complejos

May 4, 2012 CAPÍTULO 5: OPTIMIZACIÓN

Semana 2 [1/24] Derivadas. August 16, Derivadas

Parte II CALCULO DIFERENCIAL.

Integrales dobles. Integrales dobles

IN Guía de Problemas Resueltos de Geometría de Programación Lineal v1.0

(TALF- ITIS- C) Clase 3 5 de Octubre de 2010

si este límite es finito, y en este caso decimos que f es integrable (impropia)

Comisión de Pedagogía - Diego Chamorro Análisis Funcional (Nivel 2). Lección n 1: Aplicaciones Lineales EPN, verano 2012

Funciones Inversas. Derivada de funciones inversas

Espacios normados de dimensión finita

5.1. Límite de una Función en un Punto

Series. Capítulo Introducción. Definición 4.1 Sea (x n ) n=1 una sucesión de números reales. Para cada n N. S n = x k = x 1 + x x n.

TEMA 1: NÚMEROS NATURALES. SISTEMA DE NUMERACIÓN

Transcripción:

Tema 1 EL TEOREMA DE PEANO En este tema vamos a probar que bajo la hipótesis de ser f continua en un entorno del punto (, y 0 ), se puede garantizar la existencia, aunque no necesariamente la unicidad, de solución local del Problema de Cauchy { y (P C) = f(x, y) y( ) = y 0. La justificación de la existencia de solución local del (PC) la vamos a realizar mediante la construcción de una familia de funciones continuas (las denominadas poligonales de Euler) de las que se podrá extraer una sucesión que converja uniformemente, en un entorno de, a una función que resultará ser solución del Problema de Cauchy en dicho entorno. Para poder llevar a cabo nuestro estudio, necesitamos un análisis previo de los conjuntos compactos en el espacio C(I; R N ) de las funciones continuas en un intervalo cerrado y acotado I = [a, b], con valores en R N. 1 Compacidad en C(I; R N ): el Teorema de Ascoli- Arzelá Recordemos que C(I; R N ) es un espacio de Banach (es decir, un espacio normado completo), si sobre el mismo consideramos la norma del supremo definida por ϕ C(I;R N ) := máx ϕ(x), donde por denotamos a una norma fijada en RN x I (por ejemplo la euclidiana; recuérdese a este respecto que todas las normas en R N son equivalentes). Señalemos también que, como se puede comprobar de inmediato, una sucesión de funciones {ϕ n } n 1 en C(I; R N ) es convergente a ϕ en dicho espacio si y sólo si la sucesión {ϕ n } n 1 es uniformemente convergente a ϕ en el intervalo cerrado y acotado I, es decir, para todo ε > 0 existe un n ε, dependiente sólamente de ε, tal que ϕ n (x) ϕ(x) ε para todo x I, para todo n n ε. De manera general, sea E un espacio normado. Suponemos bien conocidas las siguientes afirmaciones: a) Un conjunto K E es un subconjunto compacto de E si y sólo si K es secuencialmente compacto, es decir, de toda sucesión de elementos de K se puede extraer una subsucesión convergente en E a un elemento de K. b) Un conjunto F E se dice que es un subconjunto relativamente compacto de E si su clausura F en E es un compacto de E. Se satisface que F E 1

es un subconjunto relativamente compacto de E si y sólo si F es secuencialmente relativamente compacto, es decir, de toda sucesión de elementos de F se puede extraer una subsucesión convergente en E (a un elemento no necesariamente de F ). c) Si K E es un subconjunto compacto de E, entonces K es cerrado y acotado en E. Sin embargo, el recíproco de esta afirmación no es cierta, salvo que E sea de dimensión finita (lema de Riesz). Así pues, si F C(I; R N ) es un compacto de de C(I; R N ), entonces F es en particular un subconjunto acotado de C(I; R N ), es decir, existe M > 0 finito tal que ϕ(x) M para todo x I, para toda ϕ F. (1) Por razones evidentes, cuando se satisface (1), se dice también que F es uniformemente acotada en I. Teniendo en cuenta la afirmación c), y dado que C(I; R N ) es un espacio que no es de dimensión finita, no todo cerrado y acotado de dicho espacio será un compacto del mismo. Para caracterizar los compactos de dicho espacio, necesitamos introducir el concepto de equicontinuidad. Definición 1.1 Se dice que F C(I; R N ) es equicontinua en I si para todo ε > 0 existe un δ > 0, que sólo depende de ε, tal que si x 1 y x 2 pertenecen a I y satisfacen x 1 x 2 δ, entonces necesariamente ϕ(x 1 ) ϕ(x 2 ) ε para toda ϕ F. Observación 1.2 Es inmediato ver que si F C(I; R N ) está constituida por un número finito de funciones, entonces es equicontinua en I. Por otra parte, se deja como ejercicio comprobar que si F C 1 (I; R N ) es tal que la familia de derivadas {ϕ : ϕ F} es un subconjunto acotado de C(I; R N ), entonces F es equicontinua en I. Estamos ahora en condiciones de caracterizar los compactos de de C(I; R N ). Teorema 1.3 (Teorema de Ascoli-Arzelá) Una familia F C(I; R N ) es un subconjunto relativamente compacto de C(I; R N ) si y sólo si F es uniformemente acotada y equicontinua en I. Demostración. = Supongamos que F C(I; R N ) es un subconjunto relativamente compacto de C(I; R N ). En tal caso, F, la clausura de F en C(I; R N ), es un subconjunto compacto y por tanto acotado en C(I; R N ), con lo que en particular, como F F, obtenemos que F es también un subconjunto acotado de C(I; R N ). Demostremos que F es equicontinua en I, con lo que en particular también lo será F. Consideremos fijado ε > 0, y para cada ϕ F denotemos por B(ϕ; ε/3) a la bola abierta en C(I; R N ) de centro ϕ y radio ε/3. Evidentemente la familia {B(ϕ; ε/3) : ϕ F} constituye un recubrimiento de F por conjuntos abiertos de C(I; R N ), con lo que, por ser F compacto, de este recubrimiento se puede extraer un subrecubrimiento finito, es decir, existe una colección finita {ϕ 1,..., ϕ n } F tal que 2

F n B(ϕ i ; ε/3). (2) i=1 Como {ϕ 1,..., ϕ n } es una familia finita, es equicontinua en I, y por tanto existe un δ > 0 tal que si x 1 y x 2 pertenecen a I y satisfacen x 1 x 2 δ, entonces forzosamente ϕ i (x 1 ) ϕ i (x 2 ) ε/3 para todo i = 1,..., n. Sea ϕ una función cualquiera de F. Por (2), existe un j {1,.., n} tal que ϕ(x) ϕ j (x) < ε/3 para todo x I. En consecuencia, si x 1 y x 2 pertenecen a I y satisfacen x 1 x 2 δ, se tiene ϕ(x 1 ) ϕ(x 2 ) ϕ(x 1 ) ϕ j (x 1 ) + ϕ j (x 1 ) ϕ j (x 2 ) + ϕ j (x 2 ) ϕ(x 2 ) < ε, y por tanto F es equicontinua en I. = Supongamos ahora que F C(I; R N ) es uniformemente acotada y equicontinua en I. Hemos de probar que F es un subconjunto relativamente compacto de C(I; R N ), y para ello basta demostrar que dada una sucesión {ϕ n } n 1 F, podemos extraer de ella una sucesión convergente en C(I; R N ). Vamos a comenzar construyendo una subsucesión que converja en Q I, el conjunto de todos los puntos racionales de I, usando para ello el principio de selección diagonal de Cantor. Como Q I es numerable, podemos suponer elegida una enumeración del mismo, Q I = {r k } k 1. Por ser F uniformemente acotada en I, en particular la sucesión {ϕ n (r 1 )} n 1 está acotada en R N, con lo que por el teorema de Bolzano-Weierstrass podemos asegurar que existe una subsucesión {ϕ n1 } n1 1 {ϕ n } n 1 tal que {ϕ n1 (r 1 )} n1 1 es convergente en R N. Observemos que los términos de la subsucesión conservan el orden relativo que tenían en la sucesión de partida, es decir, 1 1 < 2 1 < 3 1 <... Por la misma razón que precedentemente, la sucesión {ϕ n1 (r 2 )} n1 1 está acotada en R N, con lo que existe una subsucesión {ϕ n2 } n2 1 {ϕ n1 } n1 1 tal que {ϕ n2 (r 2 )} n2 1 es convergente en R N. Obsérvese que evidentemente {ϕ n2 (r 1 )} n2 1 es también convergente en R N, por ser una subsucesión de una sucesión convergente. De manera recurrente, se obtiene que para todo entero k 1 existe una subsucesión {ϕ nk+1 } nk+1 1 {ϕ nk } nk 1 tal que {ϕ nk+1 (r j )} nk+1 1 es convergente en R N, para todo j = 1,..., k, k + 1. Consideremos entonces la denominada sucesión diagonal, {ϕ nn } nn 1. Es claro que por mantenerse el orden en cada subsucesión, n n n, y por tanto 3

{ϕ nn } nn 1 es una verdadera subsucesión de {ϕ n } n 1, y además, como por construcción, para cada k 1 se satisface que {ϕ nn } nn k {ϕ nk } nk 1, obtenemos que {ϕ nn (r k )} nn 1 es convergente en R N, para todo entero k 1, es decir, existe lím ϕ n n (r) R N, para todo r Q I. (3) n n Vamos a probar ahora que la sucesión {ϕ nn } nn 1 es de Cauchy en C(I; R N ), con lo que, teniendo en cuenta que este espacio es de Banach, habremos finalizado la prueba del teorema. Sea ε > 0 fijado. Por ser F equicontinua en I, y en particular serlo la sucesión {ϕ nn } nn 1, existe un δ > 0 tal que si x 1 y x 2 pertenecen a I y satisfacen x 1 x 2 δ, entonces forzosamente ϕ nn (x 1 ) ϕ nn (x 2 ) ε/3 para todo n n 1. Fijado ese δ > 0, como Q I es denso en I, resulta evidente que I (r δ, r + δ), r Q I y como I es compacto, podemos afirmar que existe un entero k 0 1 tal que k 0 I (r k δ, r k + δ). (4) k=1 Dado que por (3) sabemos que existe lím ϕ n n n n (r k ) para todo k = 1,..., k 0, concluimos que existe un entero n 0 1 tal que si n n, m m n 0, entonces ϕ nn (r k ) ϕ mm (r k ) ε/3 para todo k = 1,..., k 0.. Sea ahora x I fijado. Por (4) podemos afirmar que existe un k {1,..., k 0 } tal que x r k δ, y por tanto, si n n, m m n 0, ϕ nn (x) ϕ mm (x) ϕ nn (x) ϕ nn (r k ) + ϕ nn (r k ) ϕ mm (r k ) < ε, + ϕ mm (r k ) ϕ mm (x) y en consecuencia, como x I es arbitrario, hemos probado que la sucesión {ϕ nn } nn 1 es de Cauchy en C(I; R N ). Observación 1.4 Se dice que F es puntualmente acotada en I si sup ϕ(x) < ϕ F para cada x I. En el teorema precedente se puede sustituir la hipótesis de ser F uniformemente acotada en I por la de ser puntualmente acotada en I. En concreto, pruébese como ejercicio que si F es equicontinua y puntualmente acotada en I, entonces es uniformemente acotada en I. 2 Soluciones aproximadas del Problema de Cauchy. Teorema de Peano Sean dados un abierto no vacío Ω R N+1, una función f C(Ω; R N ), y un punto (, y 0 ) Ω, y consideremos el Problema de Cauchy (P C) para estos datos formulado al comienzo del tema. 4

Definición 2.1 Sean I = [a, b] un intervalo cerrado y acotado tal que I, y ε > 0 un número positivo. Una solución ε-aproximada de (P C) en I es cualquier función ϕ ε tal que i) ϕ ε C(I; R N ), ii) (x, ϕ ε (x)) Ω para todo x I, iii) existe una partición finita a = a 0 < a 1 <... < a m = b de I, tal que ϕ ε C 1 ([a i, a i+1 ]; R N ), para todo i = 0, 1,..., m 1, iv) si J I es un intervalo tal que ϕ ε C 1 (J; R N ), entonces v) ϕ ε ( ) = y 0. ϕ ε(x) f(x, ϕ ε (x)) ε, x J, (5) Como vamos a ver ahora, toda solución ε-aproximada de (P C) en I satisface una estimación que generaliza la igualdad obtenida el curso pasado en la formulación integral del problema (P C). Lema 2.2 Sean I = [a, b] un intervalo cerrado y acotado tal que I, y ε > 0 un número positivo. Si ϕ ε es una solución ε-aproximada de (P C) en I, entonces ϕ ε(x) y 0 f(s, ϕ ε (s)) ds ε x, x I. (6) Demostración. Vamos a demostrar (6) suponiendo x >. El caso x < se demuestra de manera análoga. Consideremos por tanto fijado x I tal que x >. Por iii), podemos afirmar que existe una partición finita <... < x n = x del intervalo [, x], con 1 n m, tal que ϕ ε C 1 ([x i, x i+1 ]; R N ), para todo i = 0, 1,..., n 1, con lo que en particular ϕ ε (x i+1 ) ϕ ε (x i ) = i+1 x i ϕ ε(s) ds para todo i = 0, 1,..., n 1, y en consecuencia, por la propiedad iv) de la definición de solución ε-aproximada, ϕ ε(x i+1 ) ϕ ε (x i ) i+1 x i para todo i = 0, 1,..., n 1. Pero ϕ ε (x) y 0 n 1 f(s, ϕ ε (s)) ds = f(s, ϕ ε (s)) ds = i=0 i+1 x i (ϕ ε(s) f(s, ϕ ε (s))) ds ε x i+1 x i, (7) ( i+1 ) ϕ ε (x i+1 ) ϕ ε (x i ) f(s, ϕ ε (s)) ds, x i y en consecuencia, por (7), n 1 ϕ ε(x) y 0 f(s, ϕ ε (s)) ds ε x i+1 x i i=0 = ε x, 5

como queríamos demostrar. A continuación vamos a demostrar la existencia de soluciones ε-aproximadas de (P C) en un intervalo de centro suficientemente pequeño. La demostración va a ser constructiva, y las soluciones ε-aproximadas que vamos a construir son las denominadas poligonales de Euler. Lema 2.3 Sean f C(Ω; R N ), y (, y 0 ) Ω, dados. Existen números δ > 0, M > 0, y un compacto K Ω, tales que para cada ε > 0 existe una solución ε-aproximada ϕ ε de (P C) en el intervalo I δ := [ δ, + δ], tal que además, (x, ϕ ε (x)) K x I δ, (8) ϕ ε (x) ϕ ε ( x) M x x x, x I δ. (9) Demostración. Como Ω es abierto y (, y 0 ) Ω, existe un a 0 > 0 tal que K := [ a 0, + a 0 ] B(y 0 ; a 0 ) Ω. Evidentemente el rectángulo K es un subconjunto compacto de Ω, y por ser f continua, está bien definido Tomemos M := máx f(x, y). (x,y) K δ := mín{a 0, a 0 /M}. Fijado ε > 0, vamos a construir la poligonal de Euler que va resultar ser solución ε-aproximada de (P C) en el intervalo I δ = [ δ, +δ]. Para ello, observemos que como f es uniformemente continua en el compacto K, fijado ε > 0, existe un ρ > 0 tal que (x, y), ( x, ỹ) K, x x ρ, y ỹ ρ = f(x, y) f( x, ỹ) ε. (10) Tomemos ese ρ > 0, y denotemos α := mín{ρ, ρ/m}. Evidentemente, existe una partición finita de I δ, de la forma δ = x n < x (n 1) <... < x 1 < < x 1 <... < x n 1 < x n = + δ, tal que x i+1 x i α i { n, (n 1),..., n 1}. (11) Una vez fijados estos puntos, se define por recurrencia la poligonal de Euler ϕ ε (a partir de ahora, en lo que resta de demostración, omitimos por comodidad el subíndice ε) como y 0 si x =, ϕ(x) = ϕ(x i ) + (x x i )f(x i, ϕ(x i )) si x (x i, x i+1 ], i = 0, 1,..., n 1, ϕ(x i ) + (x x i )f(x i, ϕ(x i )) si x [x (i+1), x i ), i = 0, 1,..., n 1. (12) 6

Como se puede apreciar, cuando N = 1, la función ϕ es una poligonal construida a partir del punto (, y 0 ), y adoptando como pendiente en cada tramo el valor que f tenga en el punto a partir del que se construye dicho tramo. Vamos a comprobar en primer lugar que los puntos (x i, ϕ(x i )), i { (n 1), (n 2),..., n 1}, que se van construyendo de manera recursiva por (12), pertenecen todos a K, con lo que en particular pertenecen todos a Ω, y la definición (12) tiene sentido. Lo vamos a ver razonando a la derecha de, siendo similar el razonamiento a la izquierda de. Desde luego, (, ϕ( )) = (, y 0 ) K. Supongamos que (, ϕ( )), (x 1, ϕ(x 1 )),..., (x i, ϕ(x i )), con 0 i n 2, pertenecen todos a K. Vamos a probar que entonces también (x i+1, ϕ(x i+1 )) pertenece a K. Por un lado observemos que x i+1 δ a 0, y por otro que ϕ(x i+1 ) y 0 ϕ(x i+1 ) ϕ(x i ) + ϕ(x i ) ϕ(x i 1 ) +... + ϕ(x 1 ) y 0 = f(x i, ϕ(x i )) x i+1 x i +... + f(, y 0 ) x 1 M( x i+1 x i + x i x i 1 +... + x 1 ) = M(x i+1 ) Mδ a 0. En consecuencia, (x i+1, ϕ(x i+1 )) K. Para terminar, probemos que la poligonal de Euler definida por (12) es solución ε-aproximada de (P C) en I δ. Para ello, por simplicidad, vamos a seguir razonando a la derecha de. Las propiedades i) y v) de la definición de solución ε-aproximada de (P C) en I δ se tienen por construcción. Lo mismo sucede con la propiedad iii), ya que en cada intervalo [x i, x i+1 ], la derivada viene dada por ϕ (x) = f(x i, ϕ(x i )), que es un vector constante. Teniendo en cuenta que los puntos (x i, ϕ(x i )) pertenecen todos a K, y que este conjunto es convexo, de la fórmula (12) se deduce inmediatamente (8), y en particular que ϕ satisface la propiedad ii). Para ver que ϕ también satisface la propiedad iv), observemos que si x [x i, x i+1 ], entonces Pero como x x i α ρ, y de (10) deducimos que ϕ (x) f(x, ϕ(x)) = f(x i, ϕ(x i )) f(x, ϕ(x)). ϕ(x) ϕ(x i ) = (x x i )f(x i, ϕ(x i )) Mα ρ, ϕ (x) f(x, ϕ(x)) = f(x i, ϕ(x i )) f(x, ϕ(x)) ε. Finalmente, se deja como ejercicio comprobar que ϕ satisface (9). Estamos ahora en condiciones de demostrar el Teorema de Peano sobre existencia de solución local del Problema de Cauchy para un sistema diferencial ordinario de primer orden en forma explícita. Teorema 2.4 (Teorema de Peano) Dados un abierto no vacío Ω R N+1, una función f C(Ω; R N ), y un punto (, y 0 ) Ω, existe un δ > 0 tal que en el intervalo I δ = [ δ, + δ] existe al menos una solución del problema (P C). 7

Demostración. Tomemos como δ > 0 el del Lema 2.3, y consideremos una sucesión de números ε n > 0, n 1, tal que lím ε n = 0. n Para cada ε n, denotemos ϕ n = ϕ εn, la solución ε n -aproximada satisfaciendo (8) y (9), cuya existencia está garantizada por el Lema 2.3. Evidentemente, obtenemos así una sucesión {ϕ n } n 1 C(I δ ; R N ) tal que {ϕ n } n 1 es uniformemente acotada en I δ, ya que por (9) y ser ϕ n ( ) = y 0, ϕ n (x) y 0 + M x y 0 + Mδ, x I δ, n 1, {ϕ n } n 1 es equicontinua en I δ, ya que por (8), dado ε > 0, si x y x pertenecen a I δ y satisfacen x x ε/m, entonces ϕ n (x) ϕ n ( x) M x x ε, n 1. En consecuencia, por el Teorema de Ascoli-Arzelá, existen una subsucesión {ϕ nk } nk 1 {ϕ n } n 1 y una función ϕ C(I δ ; R N ) tales que ϕ nk ϕ en C(I δ ; R N ) cuando n k. Para terminar, vamos a comprobar que ϕ es solución de (P C) en I δ. Ya sabemos que ϕ C(I δ ; R N ), y como por (8) (x, ϕ nk (x)) K para todo x I δ y todo n k 1, obtenemos que (x, ϕ(x)) = lím (x, ϕ n n k k (x)) K Ω, x I δ. Por este hecho, por ser f uniformemente continua en K, y por la convergencia uniforme de ϕ nk a ϕ en I δ, se tiene que lím n k f(s, ϕ nk (s)) ds = f(s, ϕ(s)) ds, x I δ. Por tanto, teniendo en cuenta el Lema 2.2, para todo x I δ se satisface ϕ(x) y x 0 f(s, ϕ(s)) ds = lím x n k ϕ n k (x) y 0 f(s, ϕ nk (s)) ds 0 lím ε n n k k x = 0, y por tanto ϕ satisface la formulación integral de (P C) en I δ, con lo que el teorema queda demostrado. Observación 2.5 Resulta sencillo obtener la versión del teorema 2.4 en el caso de una edo de orden n en forma explícita. Teorema 2.6 Sean Ω R n+1 un abierto no vacío, g C(Ω), y (, y 0, y 0,..., y (n 1 0 ) Ω dados. Entonces existe un δ > 0 tal que en el intervalo I δ = [ δ, + δ] existe al menos una solución del Problema de Cauchy { y (n = g(x, y, y,..., y (n 1 ) y( ) = y 0, y ( ) = y 0,..., y (n 1 ( ) = y (n 1 0. 8

Observación 2.7 Bajo las condiciones del Teorema de Peano, no está garantizada la unicidad de solución. Así por ejemplo, si consideramos el caso en que Ω = R 2, la función f viene dada por f(x, y) = y 2/3 para todo (x, y) R 2, y el dato inicial es (, y 0 ) = (0, 0), estamos en las condiciones del Teorema de Peano, pero dado δ > 0 todas las funciones de la forma ( ) 3 x α si x [ δ, α), 3 ϕ αβ (x) = 0 si x [α, β], ( ) 3 x β si x (β, δ], 3 con δ < α < β < δ son soluciones en [ δ, δ] del correspondiente (P C). De hecho puede demostrarse que, bajo las condiciones del Teorema de Peano, si para un dato inicial existen más de una solución del correspondiente (P C), entonces existen infinitas. A este respecto, para más detalles, se puede consultar en [2] o en [3] el Teorema de Peano-Kneser. Referencias [1] E.A. Coddington y N. Levinson, Theory of ordinary differential equations, McGraw & Hill, New York, 1955. [2] C. Corduneanu, Principles of Differential and Integral Equations, Chelsea Publishing, New York, 1977. [3] P. Hartman, Ordinary differential equations, John Wiley & Sons, Inc., New York, 1964. 9