SDC-303 · Curso 7 de 10 · 10 semanas · 100 horas de trabajo estimado
Métodos topológicos para ecuaciones diferenciales no lineales
Shooting, grado y punto fijoShooting, cotas a priori, sub y supersoluciones, grado de Brouwer, espacios de Banach, función implícita, Schauder y grado de Leray–Schauder aplicados a EDO no lineales.
¿Cómo se demuestra existencia cuando la solución no puede escribirse de forma explícita?
Requisitos
EDO, análisis real, álgebra lineal y topología de espacios métricos. Conviene reconocer problemas de frontera y operadores integrales.
Resultado del curso
Expediente de existencia con operador, cotas, compactidad, homotopía, grado y alcance de la conclusión documentados.
Objetivos
- Formular shooting y aplicaciones de Poincaré para problemas escalares y planares.
- Calcular grado de Brouwer y aplicar continuación y teoremas de punto fijo.
- Usar Schauder, Leray–Schauder y Lyapunov–Schmidt en problemas de frontera y resonancia.
Temario
10 unidades. Las 100 horas son la suma de exposición, ejemplos trabajados, práctica y evidencia evaluable de cada unidad; no se añaden horas sólo por citar un libro.
Desglose total: 20 h de desarrollo conceptual · 20 h de ejemplos guiados · 10 h de lectura contrastada · 40 h de práctica · 10 h de evidencia evaluable.
- 01 10 h
Shooting escalar, cotas a priori y Picard
Probar existencia en problemas escalares mediante valores intermedios, truncación, condición de Hartman, Poincaré, sub y supersoluciones y Picard.
Actividad evaluable: Problema periódico y problema de Dirichlet resueltos mediante shooting con cotas explícitas. Distribución de la carga: 2 h desarrollo conceptual · 2 h ejemplos guiados · 1 h lectura contrastada · 4 h práctica · 1 h evidencia evaluable. - 02 10 h
Shooting planar, índice y condiciones de Lazer–Leach
Extender el disparo a dos dimensiones y trabajar con condiciones periódicas, índice de curvas, resonancia y condiciones de Lazer–Leach.
Actividad evaluable: Argumento de existencia planar apoyado por índice y comprobación numérica del disparo. Distribución de la carga: 2 h desarrollo conceptual · 2 h ejemplos guiados · 1 h lectura contrastada · 4 h práctica · 1 h evidencia evaluable. - 03 10 h
Grado de Brouwer
Definir el grado mediante normalización, aditividad, homotopía y cálculo local, y justificar sus consecuencias de existencia.
Actividad evaluable: Cálculo de grado por valores regulares y homotopía con frontera controlada. Distribución de la carga: 2 h desarrollo conceptual · 2 h ejemplos guiados · 1 h lectura contrastada · 4 h práctica · 1 h evidencia evaluable. - 04 10 h
Grado de Brouwer en contorno, problemas discretos y continuación
Aplicar grado a problemas de contorno y discretos y formular teoremas de continuación sin ceros sobre la frontera.
Actividad evaluable: Problema de contorno convertido en aplicación finito-dimensional y continuado por homotopía. Distribución de la carga: 2 h desarrollo conceptual · 2 h ejemplos guiados · 1 h lectura contrastada · 4 h práctica · 1 h evidencia evaluable. - 05 10 h
Banach, contracción, derivada de Fréchet y función implícita
Construir el marco funcional, probar contracción y usar diferenciación de Fréchet y función implícita.
Actividad evaluable: Aplicación funcional con derivada, inversa lineal y vecindad de unicidad verificadas. Distribución de la carga: 2 h desarrollo conceptual · 2 h ejemplos guiados · 1 h lectura contrastada · 4 h práctica · 1 h evidencia evaluable. - 06 10 h
Promediado, resonancias, multiplicadores y bifurcación
Relacionar promediado, resonancias múltiples, extremos ligados, multiplicadores de Lagrange y ramas de soluciones.
Actividad evaluable: Ecuación reducida con condición de resonancia y rama local de soluciones calculadas. Distribución de la carga: 2 h desarrollo conceptual · 2 h ejemplos guiados · 1 h lectura contrastada · 4 h práctica · 1 h evidencia evaluable. - 07 10 h
Iteración, sub y supersoluciones y función de Green
Construir iteraciones monótonas y operadores de Green para problemas de frontera en espacios funcionales.
Actividad evaluable: Iteración funcional con intervalo ordenado, convergencia y residuo del contorno. Distribución de la carga: 2 h desarrollo conceptual · 2 h ejemplos guiados · 1 h lectura contrastada · 4 h práctica · 1 h evidencia evaluable. - 08 10 h
Schauder, Kakutani y condición de Nagumo
Probar compacidad mediante equicontinuidad y usar cotas de derivadas, sub y supersoluciones y el teorema de Schauder.
Actividad evaluable: Operador compacto construido y verificado antes de aplicar punto fijo. Distribución de la carga: 2 h desarrollo conceptual · 2 h ejemplos guiados · 1 h lectura contrastada · 4 h práctica · 1 h evidencia evaluable. - 09 10 h
Retardo, Rothe, Schaefer y Schauder implícito
Tratar operadores con retardo, continuidad compacta, prolongación y cotas a priori en dimensión infinita.
Actividad evaluable: Operador con retardo sometido a una cota uniforme y a una alternativa de continuación. Distribución de la carga: 2 h desarrollo conceptual · 2 h ejemplos guiados · 1 h lectura contrastada · 4 h práctica · 1 h evidencia evaluable. - 10 10 h
Leray–Schauder y reducción de Lyapunov–Schmidt
Extender el grado a perturbaciones compactas de la identidad y tratar resonancia, multiplicidad, separación, biorreactores y promediado de Kepler.
Actividad evaluable: Problema resonante reducido y resuelto mediante grado con todas las hipótesis identificadas. Distribución de la carga: 2 h desarrollo conceptual · 2 h ejemplos guiados · 1 h lectura contrastada · 4 h práctica · 1 h evidencia evaluable.
Cobertura verificable
Correspondencia entre libros y unidades
«Integral» significa que todos los capítulos temáticos indicados tienen una unidad de desarrollo; no implica reproducir el texto ni resolver todo su banco de problemas.Métodos topológicos en el estudio de las ecuaciones diferenciales no lineales
Pablo Amster (2021). Métodos topológicos en el estudio de las ecuaciones diferenciales no lineales. 1.ª ed., Papirhos Textos 12 Instituto de Matemáticas, UNAM. ISBN 978-607-30-5203-0.
Los siete capítulos del índice se desarrollan en diez unidades; los capítulos 3, 4 y 6 se dividen por su densidad y el apéndice de Picard se integra en la primera. El contenido se reconstruye con materiales abiertos y redacción original.
Análisis no lineal: métodos topológicos
Pablo Amster (2020). Análisis no lineal: métodos topológicos. Curso de 24 clases con notas y videos Departamento de Matemática, Universidad de Buenos Aires.
Curso abierto de 24 clases usado como segunda exposición institucional de los argumentos y aplicaciones.
Honors Differential Equations, 18.034
Bjorn Poonen y Haynes Miller (2009). Honors Differential Equations, 18.034. Notas, problemas y soluciones; CC BY-NC-SA 4.0 MIT OpenCourseWare.
Notas, ejercicios y soluciones abiertas usados para contrastar existencia, problemas de contorno, sistemas lineales y estabilidad.
Fuentes consultadas
Los siete capítulos del índice de Amster se distribuyen en diez unidades; los tres capítulos más densos se dividen y el apéndice de Picard se integra en la primera. Los materiales abiertos de UBA y MIT sustentan una exposición original y ejercicios adaptados con atribución.
-
Métodos topológicos en el estudio de las ecuaciones diferenciales no lineales — Pablo Amster
capítulos 1-7 y apéndice del índice proporcionado. -
Análisis no lineal: métodos topológicos — Pablo Amster, Universidad de Buenos Aires
24 clases abiertas sobre shooting, Brouwer, Schauder, continuación y Leray–Schauder. -
Honors Differential Equations, 18.034 — Bjorn Poonen y Haynes Miller, MIT OpenCourseWare
existencia, sistemas lineales, estabilidad y técnicas cualitativas.
Proyecto integrador
Reformula un problema de frontera como punto fijo de dos maneras y compara qué hipótesis permiten aplicar contracción, Schauder o grado.