Equações Diferenciais Ordinárias (2019.1)
Código MAT510 (Carga didática: 102h)
Horário: Segunda e Quarta-feira na sala 14 (no edifício do IM-UFBA (térreo)) das 15h45 às 18h30.
Início do curso: 11 de março, 2019.
Avaliação:
30% lista de exercícios (para entregar no dia da segunda prova) veja no final página;
30% primeira prova escrita;
40% segunda prova escrita.
Datas das provas:
Primeira Prova: quarta-feira, 17 de abril, 2019.
Segunda Prova: segunda-feira, 10 de junho, 2019
Conteúdo (ementa oficial):
Sistemas de equações diferenciais.
Teorema de existência e unicidade local (teorema de Picard) e global (soluções maximais).
Dependência das condições iniciais, e com relação a parâmetros.
Sistemas lineares, exponencial de matrizes e estudo de campos lineares bidimensionais simples.
Classificação dos campos lineares hiperbólicos.
Singularidades hiperbólicas de campos de vetores e o enunciado do teorema de linearização de Grobman-Hartman.
Órbitas periódicas, seções transversais e transformação de Poincaré.
Conjuntos e limites e o teorema de Poincaré-Bendixson.
A equação de Van der Pol.
Referências principais:
SOTOMAYOR, J.; Lições de Equações Diferenciais Ordinárias. Projeto Euclides, IMPA, Rio de Janeiro, 1979.
Claus I. Doering, Artur O. Lopes, Equações Diferenciais Ordinárias. Coleção Matemática Universitária, IMPA, 2010;
HIRSCH, M.& SMALE, S.; Differential Equations Dynamical Systems and Linear Algebra. Academic Press, New York, 1974.
HIRSCH, M.& SMALE, S. & Devaney, R.; Differential Equations, Dynamical Systems, and an Introduction to Chaos. Academic Press, New York, 2003.
ARNOLD, V.; Équations Differentialles Ordinaires. Ed. Mir, Moscou, 1974.
CASTRO, A.; Curso de Equações Diferenciais Ordinárias. Preprint UFBA, 2007.
Referências Complementares:
NEMYTSKII,V., STEPANOV,V.; Qualitative Theory of Differential Equations. Dover Publications, New York, 1989.
SCARDUA, B.; Tópicos de Equações Diferenciais Ordinárias. 22º Colóquio Brasileiro de Matemática, IMPA, Rio de Janeiro, 1999.
PALIS Jr., J. & de Melo, W.; Introdução aos Sistemas Dinâmicos. Projeto Euclides, IMPA, Rio de Janeiro, 1978.
Apresentações de Shlomo Sternberg, especialmente as seguintes:
Lecture 9: Metric spaces. The contraction fixed point theorem. The implicit function theorem. The existence of solutions to differential equations.
Lecture 13: Ordinary differential equations.
Lecture 14: The Poincare-Bendixon theorem.
Lecture 11: Hyperbolicity.
MATERIAL DO CURSO
Apontamentos da matéria, conteúdo de aulas expositivas e videoaulas seguem abaixo.
O conteúdo das aulas está sempre em duas versões: para apresentar num projetor e para imprimir em formato de notas de aula, junto com vídeos auxiliares descrevendo o material.
Apresentação do curso
Espera-se que os discentes estudem o material seguinte na primeira semana do curso.
Referências: Capítulos 0 e I do livro Doering-Lopes (e exercícios inclusos)
pres-EDO-a (notas) : Apresentação e exemplos (este arquivo é visto mais corretamente no Adobe Acrobat Reader).
Videoaulas expositivas dos apontamentos apresentados acima:
Apresentação - definição de EDO e de solução de EDO. Equações diferenciais separáveis (video 01: https://youtu.be/RQTGw_3XO7c)
Equações lineares na reta. Equações vetoriais/escalares. Equação do movimento do pêndulo (video 02: https://youtu.be/Kc9FcDve5zI)
Aproximações - séries de potências; linearização. Condições iniciais e de fronteira (de contorno) (video 03: https://youtu.be/WNCoFcjGLJs)
Conservação de energia no modelo do pêndulo - consequências para o estudo das trajetórias. (video 04: https://youtu.be/uxr_um__Ylg )
O pêndulo na história da ciência. Organização geral do curso. (video 05: https://youtu.be/S4uMcIMEOYE )
Equações diferenciais lineares, não autônomas e não homogêneas
Espera-se que os discentes estudem o material seguinte nas quatro primeiras semanas do curso.
Referências: Capítulos III do livro de Sotomayor e Seção 3.1 de Doering-Lopes (e exercícios inclusos)
pres-EDO-b (notas) : Equações diferenciais lineares, não autônomas e não homogêneas. Existência e unicidade. Fluxo linear.
Videoaulas expositivas dos apontamentos apresentados acima:
Equações diferenciais lineares - existência de soluções por aproximações sucessivas/recursivas - norma de operador em espaços de operadores lineares e completude - exponencial de um operador linear (video 06: https://youtu.be/ovaHgJeXffw )
Equações diferenciais lineares - diferenciabilidade e unicidade da solução de uma EDO linear (video 07: https://youtu.be/1PVnGmL34_A )
Existência e unicidade de soluções para equações diferenciais lineares não autônomas (video 08: https://youtu.be/STD4lX49HNk )
Aplicações de existência e unicidade de soluções para equações diferenciais lineares não autônomas: redução de ordem de equações diferenciais lineares na reta e Teorema Fundamental da Geometria Diferencial das Curvas no Espaço (video 09: https://youtu.be/_yebEMNRZxA )
Propriedades das soluções das equações diferenciais (não autônomas) lineares ( video 10: https://youtu.be/91E4N-Sgtag )
Soluções de equações diferenciais lineares (não autônomas) não homogêneas versus homogêneas (video 11: https://youtu.be/obQPuC5L7MI )
Determinante de solução de equação diferencial linear não autônoma homogênea - Fórmula de Liouville (video 12: https://youtu.be/8qeIPS6DtjM )
Soluções de equações diferenciais lineares (não autônomas) homogêneas com coeficientes periódicos: Teorema de Floquet (video 13: https://youtu.be/s_NaXpPGfC8 )
Equações diferenciais lineares com coeficientes constantes
Espera-se que os discentes estudem o material seguinte entre a quinta e a sétima semanas do curso.
Referências: Capítulos 1-3 do livro Doering-Lopes (e exercícios inclusos)
pres-EDO-c (notas) : Equações diferenciais lineares com coeficientes constantes, Forma Canônica de Jordan, fluxos lineares no plano, fluxo linear hiperbólico, conjugação entre fluxos lineares, abertura e densidade de fluxos lineares hiperbólicos entre os fluxos lineares.
Videoaulas expositivas dos apontamentos apresentados acima:
Estratégia para calcular explicitamente o exponencial de uma matriz quadrada: a Forma Canônica de Jordan (video 14: https://youtu.be/413Ig5WMEM4 )
Cálculo explícito do exponencial de um operador linear em dimensão finita (video 15: https://youtu.be/TQS6qK4jK9M )
Estudo dos casos particulares de sistemas lineares no plano: exponencial de matriz 2x2 (video 16: https://youtu.be/a2vwXnGqbq0 )
Estudo do comportamento de sistemas lineares via espectro do operador linear: caracterização de poço e fonte linear (video 17: https://youtu.be/eoxHwmHX6HI )
Comportamento de sistemas lineares hiperbólicos (video 18: https://youtu.be/A5wftbsH_3Q )
Conjugação entre sistemas lineares: caracterização de poço linear e de fonte linear (video 19: https://youtu.be/eAEiD8nICN8 )
Conjugação entre sistemas lineares hiperbólicos (video 20: https://youtu.be/j_LncWKshyc )
Campos lineares típicos são hiperbólicos: abertura e densidade de campos lineares hiperbólicos entre todos os campos lineares (video 21: https://youtu.be/sAQXd9NyIfI )
Comportamento de sistemas lineares periódicos via monodromia (video 22: https://youtu.be/Kkkr8qwU1WY )
Soluções periódicas não triviais de sistemas lineares periódicos não homogêneos (video 23: https://youtu.be/qJtQ34iOdmY )
PRIMEIRA PROVA
O conteúdo da primeira prova contém os tópicos anteriores desta lista.
Existência, Unicidade e Diferenciabilidade de Soluções
Espera-se que os discentes estudem o material seguinte entre a oitava e a décima primeira semanas do curso.
Referências: Capítulo IV do livro de Sotomayor e Capítulo 10 de Doering-Lopes (e exercícios inclusos)
pres-EDO-d (notas) : Existência, Unicidade, Diferenciabilidade de Soluções para E.D.O. geral de primeira ordem.
Videoaulas expositivas dos apontamentos apresentados acima:
Teorema de Existência e Unicidade de Soluções para Equações Diferenciais Ordinárias - Teorema de Picard (video 24: https://youtu.be/QSqbjqJJi_Q )
Teorema do Ponto Fixo para Contrações em Espaços Métricos Completos (video 25 : https://youtu.be/gY4a3D15_xM )
Teorema de Existência de Soluções com dados continuos - Teorema de Peano (video 26: https://youtu.be/2LQKwFJZVHI )
Extensão de soluções - Soluções Máximas e propriedades (video 27: https://youtu.be/DqO588NwJIs )
Existência de solução para todo tempo real - condição suficiente para fluxo completo (video 28 : https://youtu.be/-9HnhvxFGw4 )
Variação contínua da solução em relação à condição inicial e parâmetros (video 29: https://youtu.be/8XH4ba9aXXs )
Lema de Gronwall - variação Lipschitz da solução em relação à condição inicial (video 30 : https://youtu.be/XEdamTOsjxU )
Diferenciabilidade de soluções em relação a condições iniciais e parâmetros - A equação linear variacional (video 31: https://youtu.be/YNvMqcDbE4U)
Teoria Qualitativa. Teorema de Poincaré-Bendixson
Espera-se que os discentes estudem o material seguinte entre a décima segunda e décima quarta semanas do curso.
Referências: Capítulo VII do livro de Sotomayor e Capítulos 4 e 6 do livro Doering-Lopes (e exercícios inclusos)
pres-EDO-e (notas) : Introdução à Teoria Qualitativa: fluxo de um campo de vetores, fluxo tubular, conjuntos-limite, órbitas periódicas, seções transversais e Teorema de Poincaré-Bendixson.
Videoaulas expositivas dos apontamentos apresentados acima:
Equações diferenciais ordinárias autônomas; fluxo de campo de vetores; singularidades; órbitas periódicas; pontos regulares (video 32 : https://youtu.be/mTnfjRK8vxw )
Conjugação (local) de fluxos; mudança de coordendas de campos e conjugação; preservação de singularidades e órbitas periódicas (video 33: https://youtu.be/uxFxN8TpARA )
Exemplo de campos arbitrariamente próximos mas não conjugados (video 34: https://youtu.be/2GR_Wpax_Sk )
O Teorema do Fluxo Tubular - comportamento de soluções de um campo de vetores numa vizinhança de um ponto regular (video 35 : https://youtu.be/8GNIJM5Iu1U )
Equivalência topológica de fluxos -- todo campo localmente Lipschitz é topologicamente equivalente a um campo completo no mesmo espaço (video 36: https://youtu.be/aWdfGbb_ehY )
Conjuntos Limites (alfa- e ômega-limite) e suas propriedades (video 37: https://youtu.be/fYdjNiHLWBs )
Seções transversais e transformações de retorno de Poincaré (video 38: https://youtu.be/ulVMhVtr348 )
Propriedades das transformações de retorno de Poincaré (video 39: https://youtu.be/7OQNulSqQvU )
Transformações de retorno de Poincaré para campos planares (video 40: https://youtu.be/1Bvjc0BCfTg )
Teorema de Poincaré-Bendixson - conjuntos-limite de campos planares (video 41 : https://youtu.be/vrzd-jbukBQ )
Aplicações do Teorema de Poincaré-Bendixson (video 42 : https://youtu.be/nXnOmOcXtPc )
Teorema de Peixoto sobre estabilidade estrutural de campos em superfícies (video 43: https://youtu.be/GgqFnYU0Vjk )
pres-EDO-g-Pol (notas): A equação de Van der Pol - extensão do Teorema de Poincaré-Bendixson com condições que garantem unicidade do ciclo limite. (video 44: https://youtu.be/uKXb28qqIA4 )
Teorema de Hartman-Grobman para singularidades e órbitas periódicas hiperbólicas de campos de vetores. Teorema da Variedade Estável.
Espera-se que os discentes estudem o material seguinte entre a décima quinta e décima sétima semanas do curso.
Referências: Capítulo IX do livro de Sotomayor (e exercícios inclusos)
pres-EDO-f (notas): Linearização de singularidades hiperbólicas: o Teorema de Hartman-Grobman para transformações e para campos. Aplicação a órbitas periódicas hiperbólicas de campos de vetores diferenciáveis. O Teorema da Variedade Estável para singularidades e órbitas periódicas hiperbólicas.
Videoaulas expositivas dos apontamentos apresentados acima:
Linearização de singularidades hiperbólicas: o Teorema de Hartman-Grobman para campos; a variedade estável/instável de uma singularidade hiperbólica (video 45 : https://youtu.be/yr-gfQysvrI)
Persistência e estabilidade de singularidades hiperbólicas para campos de vetores (video 46 : https://youtu.be/sQRxItHfNDA)
Prova do Teorema de Hartman-Grobman para campos via versão para difeomorfismos (video 47 : https://youtu.be/YRGfRBgFXTA)
Hartman-Grobman aplicado a órbitas periódicas hiperbólicas de campos de vetores (video 48 : https://youtu.be/tYrrV5Fbmy4)
SEGUNDA PROVA (e entrega da lista de exercícios)
O conteúdo da segunda prova contém todos os tópicos do curso.
Material complementar
Referências: Livro "Three dimensional flows" de Araújo-Pacífico: Springer-Verlag, Berlin, Heidelberg. Volume 53 (2010) da coleção Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics.
pres-EDO-Lorenz (notas) : Sobre o atrator de Lorenz. Um pouco de história e do significado deste sistema de equações diferencias para a Teoria das Equações Diferenciais Ordinárias; propriedades simples; propriedades fundamentais para a compreensão da dinâmica do fluxo no atrator; construção do modelo geométrico das equações de Lorenz.