Fyskode Learning

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 fijo

Shooting, 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.

  1. 01

    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.
    10 h
  2. 02

    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.
    10 h
  3. 03

    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.
    10 h
  4. 04

    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.
    10 h
  5. 05

    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.
    10 h
  6. 06

    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.
    10 h
  7. 07

    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.
    10 h
  8. 08

    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.
    10 h
  9. 09

    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 h
  10. 10

    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.
    10 h

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.

Texto troncal · cobertura temática integral

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.

Cap. 1 y apéndice: Bolzano, shooting, Poincaré, cotas, sub y supersoluciones, PicardShooting escalar, cotas a priori y Picard
Cap. 2: shooting planar, condiciones periódicas, índice y Lazer–LeachShooting planar, índice y condiciones de Lazer–Leach
Cap. 3: grado de Brouwer, contorno, problemas discretos y continuaciónGrado de BrouwerGrado de Brouwer en contorno, problemas discretos y continuación
Cap. 4: Banach, contracción, Fréchet, implícita, promediado, Lagrange y bifurcaciónBanach, contracción, derivada de Fréchet y función implícitaPromediado, resonancias, multiplicadores y bifurcación
Cap. 5: iteración, sub y supersoluciones y función de GreenIteración, sub y supersoluciones y función de Green
Cap. 7: Leray–Schauder, Lyapunov–Schmidt, resonancia, separación y aplicacionesLeray–Schauder y reducción de Lyapunov–Schmidt

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.

Referencia complementaria · selección declarada

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.

Referencia complementaria · selección declarada

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.