Teorema de Poincaré–Bendixson
Em matemática, o teorema de Poincaré-Bendixson é uma afirmação sobre o comportamento de longo prazo das órbitas de sistemas dinâmicos contínuos no plano, cilindro ou duas esferas.[1]
Teorema
[editar | editar código-fonte]Dado um sistema dinâmico real diferenciável definido em um subconjunto aberto do plano, todo conjunto compacto não vazio de limite-ω de uma órbita, que contém apenas um número finito de pontos fixos, é[2]
- um ponto fixo,
- uma órbita periódica, ou
- um conjunto conectado composto por um número finito de pontos fixos juntamente com órbitas homoclínicas e heteroclínicas conectando-os.
Além disso, existe no máximo uma órbita conectando diferentes pontos fixos na mesma direção. No entanto, poderia haver muitas órbitas homoclínicas conectando um ponto fixo.
Discussão
[editar | editar código-fonte]Uma versão mais fraca do teorema foi originalmente concebida por Henri Poincaré (1892), embora lhe faltasse uma prova completa que mais tarde foi dada por Ivar Bendixson (1901).
Sistemas dinâmicos contínuos que são definidos em variedades bidimensionais diferentes do plano (ou cilindro ou duas esferas), bem como aqueles definidos em variedades de dimensões superiores, podem exibir conjuntos limites-ω que desafiam os três casos possíveis sob o teorema de Poincaré–Bendixson.[3] Em um toro, por exemplo, é possível ter uma órbita recorrente não periódica, e sistemas tridimensionais podem ter atratores estranhos. No entanto, é possível classificar os conjuntos mínimos de sistemas dinâmicos contínuos em qualquer variedade bidimensional compacta e conectada devido a uma generalização de Arthur J. Schwartz.[4][5]
Aplicações
[editar | editar código-fonte]Uma implicação importante é que um sistema dinâmico bidimensional contínuo não pode dar origem a um atrator estranho. Se um atrator estranho C existisse em tal sistema, então ele poderia estar incluído em um subconjunto fechado e limitado do espaço de fase. Ao tornar este subconjunto suficientemente pequeno, quaisquer pontos estacionários próximos poderiam ser excluídos. Mas então o teorema de Poincaré-Bendixson diz que C não é um atrator estranho – ou é um ciclo limite ou converge para um ciclo limite.
É importante notar que o teorema de Poincaré-Bendixson não se aplica a sistemas dinâmicos discretos, onde o comportamento caótico pode surgir em sistemas bidimensionais ou mesmo unidimensionais.
Referências
- ↑ Coddington, Earl A.; Levinson, Norman (1955). Theory of ordinary differential equations. Internet Archive. [S.l.]: New York, McGraw-Hill. pp. 389–403
- ↑ Teschl, Gerald (27 de junho de 2012). «Ordinary Differential Equations and Dynamical Systems». Graduate Studies in Mathematics, Volume 140, Amer. Math. Soc., Providence, 2012. ISBN 978-0-8218-8328-0. Consultado em 18 de julho de 2024
- ↑ https://www.sciencedirect.com/science/article/pii/0022247X61900592?via%3Dihub
- ↑ Schwartz, Arthur J. (1963). «A Generalization of a Poincaré-Bendixson Theorem to Closed Two-Dimensional Manifolds». American Journal of Mathematics (3): 453–458. ISSN 0002-9327. doi:10.2307/2373135. Consultado em 18 de julho de 2024
- ↑ Katok, Anatole; Hasselblatt, Boris (1995). Introduction to the Modern Theory of Dynamical Systems. Col: Encyclopedia of Mathematics and its Applications. Cambridge: Cambridge University Press. ISBN 978-0-521-34187-5
- Bendixson, Ivar (1901), «Sur les courbes définies par des équations différentielles», Springer Netherlands, Acta Mathematica, 24 (1): 1–88, doi:10.1007/BF02403068
- Poincaré, Henri (1892), «Sur les courbes définies par une équation différentielle», Oeuvres, 1, Paris
