stringtranslate.com

Teorema de Kneser (ecuaciones diferenciales)

En matemáticas , el teorema de Kneser puede referirse a dos teoremas distintos en el campo de las ecuaciones diferenciales ordinarias :

Enunciado del teorema de A. Kneser

Consideremos una ecuación diferencial homogénea lineal ordinaria de la forma

con

continua . Decimos que esta ecuación es oscilante si tiene una solución y con infinitos ceros, y no oscilante en caso contrario.

El teorema establece [1] que la ecuación no es oscilante si

y oscilante si

Ejemplo

Para ilustrar el teorema consideremos

donde es real y distinto de cero. Según el teorema, las soluciones serán oscilantes o no dependiendo de si es positiva (no oscilante) o negativa (oscilante) porque

Para encontrar las soluciones para esta elección de , y verificar el teorema para este ejemplo, sustituya el 'Ansatz'

Lo cual da

Esto significa que (para valores distintos de cero ) la solución general es

donde y son constantes arbitrarias.

No es difícil ver que para los positivos las soluciones no oscilan mientras que para los negativos la identidad

demuestra que lo hacen.

El resultado general se desprende de este ejemplo mediante el teorema de comparación de Sturm-Picone .

Extensiones

Hay muchas extensiones de este resultado, como el criterio de Gesztesy-Ünal. [2]

Enunciado del teorema de H. Kneser

Mientras que el teorema de existencia de Peano garantiza la existencia de soluciones de ciertos problemas con valores iniciales y un lado derecho continuo, el teorema de H. Kneser trata de la topología del conjunto de esas soluciones. Precisamente, el teorema de H. Kneser enuncia lo siguiente: [3] [4]

Sea una función continua en la región , y tal que para todo .

Dado un número real que satisface , defina el conjunto como el conjunto de puntos para los cuales existe una solución de tal que y . Entonces es un conjunto cerrado y conexo.

Referencias

  1. ^ Teschl, Gerald (2012). Ecuaciones diferenciales ordinarias y sistemas dinámicos. Providence : American Mathematical Society . ISBN 978-0-8218-8328-0.
  2. ^ Krüger, Helge; Teschl, Gerald (2008). "Ángulos de Prüfer efectivos y criterios de oscilación relativa". Revista de Ecuaciones Diferenciales . 245 (12): 3823–3848. arXiv : 0709.0127 . Código Bib : 2008JDE...245.3823K. doi :10.1016/j.jde.2008.06.004. S2CID  6693175.
  3. ^ Hofmann, Karl H.; Betsch, Gerhard, eds. (31 de enero de 2005), "Über die Lösungen eines Systems gewöhnlicher Differentialgleichungen, das der Lipschitzschen Bedingung nicht genügt [7–23]", Gesammelte Abhandlungen / Collected Papers , Berlín, Nueva York: DE GRUYTER, págs. 58–61, doi :10.1515/9783110894516.58, ISBN 978-3-11-089451-6, consultado el 21 de enero de 2023
  4. ^ Hartman, Philip (2002). Ecuaciones diferenciales ordinarias (segunda edición). Sociedad de Matemáticas Industriales y Aplicadas. doi :10.1137/1.9780898719222.ch2. ISBN 978-0-89871-510-1.