Teorema de existencia de Peano

En matemática, en particular, en el ámbito de las ecuaciones diferenciales ordinarias, el teorema de existencia de Peano (también conocido como teorema de Peano, o teorema de Cauchy-Peano, según una denominación que hace referencia a Giuseppe Peano y Augustin Louis Cauchy), es un teorema fundamental que garantiza la existencia de soluciones para un cierto problema con valores iniciales.

Enunciado del teorema

Sea $D$ un conjunto abierto contenido en $\mathbb {R} \times \mathbb {R}$, y $f\colon D\to \mathbb {R}$ una función continua y considerando una ecuación diferencial ordinaria explícita de primer grado definida en $D$: $y'(x)=f\left(x,y(x)\right)$ Entonces cada problema con valores iniciales para $f$: $y\left(x_{0}\right)=y_{0}$ con $(x_{0},y_{0})\in D$, posee una solución local $z\colon I\to \mathbb {R}$, donde $I$ es un entorno de $x_{0}$ en $\mathbb {R}$, tal que: $z'(x)=f\left(x,z(x)\right)$ para todos los $x\in I$. La solución puede no ser única, en cuanto el mismo valor inicial $(x_{0},y_{0})$ puede dar origen a diversas soluciones $z$.

Teoremas relacionados

El teorema de Peano puede compararse con otros resultados acerca de la existencia en el mismo contexto, el teorema de Picard-Lindelöf. En el teorema de Picard–Lindelöf asume más condiciones y obtiene más conclusiones. Requiere de continuidad de Lipschitz, mientras que el teorema de Peano solo continuidad; prueba existencia y unicidad mientras que el teorema de Peano solo la existencia de soluciones. Para ilustrarlo, se considera una ecuación diferencial ordinaria:

$y'=\left\vert y\right\vert ^{\frac {1}{2}}$ sobre el dominio $\left[0,1\right].$

De acuerdo al teorema de Peano, esta ecuación tiene soluciones, pero el teorema de Picard-Lindelöf no se puede utilizar ya que el lado derecho no tiene continuidad de Lipschitz en ningún entorno de 0. Así se concluye que hay existencia pero no unicidad. Entonces esta ecuación diferencial ordinaria tiene dos clases de soluciones cuando $y(0)=0$, estas son $y(x)=0$ o $y(x)=x^{2}/4$. Esta transcición entre $y=0$ e $y=(x-C)^{2}/4$ puede ocurrir para cualquier C.

El teorema de existencia de Carathéodory es una generalización del teorema de existencia de Peano con condiciones más débiles para la continuidad.

Véase también

• Ecuación diferencial ordinaria
• Función continua
• Función lipschitziana
• Problema de Cauchy
• Teorema de existencia de Carathéodory
• Teorema de Picard-Lindelöf

Referencias

Bibliografía

• Peano, G. (1886). «Sull'integrabilità delle equazioni differenziali del primo ordine». Atti della Reale Accademia delle scienze di Torino (en italiano) (Turín: Stamperia Reale) 21: 437-445. 
• Peano, G. (1890). «Demonstration de l'intégrabilité des équations différentielles ordinaires». Mathematische Annalen (en francés) (Springer) 37: 182-228. 
• Osgood, W. F. (Diciembre de 1898). «Beweis der Existenz einer Lösung der Differentialgleichung dy/dx = f(x, y) ohne Hinzunahme der Cauchy-Lipschitzchen Bedingung». Monatshefte für Mathematik und Physik (en alemán) (Springer) 9 (1): 331-345. ISSN 0026-9255. doi:10.1007/BF01707876. 
• Teschl, Gerald (2012). Ordinary Differential Equations and Dynamical Systems (en inglés). Providence: American Mathematical Society. ISBN 978-0-8218-8328-0. 
• Murray, Francis J.; Miller, Kenneth S. (1954). Existence Theorems for Ordinary Differential Equations (en inglés). New York: New York University Press. ISBN 9780486154954. 
• Jiménez López, Víctor (2000). Ecuaciones diferenciales: cómo aprenderlas, cómo enseñarlas. EDITUM. p. 175. ISBN 84-8371-164-8. 

Enlaces externos

M.I. Voitsekhovskii (2001), «Teorema de existencia de Peano», en Hazewinkel, Michiel, ed., Encyclopaedia of Mathematics (en inglés), Springer, ISBN 978-1556080104 .

• Datos: Q740093