Teorema de Poincar-Bendixson

Teorema 1
Sean 2 abierto, () y = * , ; 0+ la semi-orbita positiva del campo que pasa por el punto p. Si existe un compacto tal que () entonces:

i) . ii) es compacto. iii) es invariante por (es decir si q

entonces () ).

iv) es conexo.

Lema 1
Sean 2 abierto, () y punto regular de tal que existe un compacto K con . Sea una orbita de tal que . Si contiene por lo menos un punto regular de entonces es una orbita peridica y = .

Teorema de Poincar-Bendixson
Sean 2 abierto, () tal que S() es finito, punto regular de y suponga que existe un compacto tal que + () . Tenemos entonces las siguientes posibilidades: i) ii) Si = entonces es una orbita peridica de . Si = *1 , 2 , , + entonces le conjunto *1 , 2 , , + es una unin de orbitas regulares de , tales que = y = , donde , *1,2, , +. Si entonces es un punto singular.

iii)

Demostracin
Si entonces y como es compacto, entonces por el teorema 1-(i) se tiene que . Afirmacin: . En efecto, si , entonces existe una sucesin ( ) + tal que lim = + y (i)

lim ( ) = , luego r () () = , lo cual prueba

la afirmacin. Como por hiptesis = , de la afirmacin concluimos que slo contiene puntos regulares de . Del Lema (1) se sigue que es una orbita peridica de y = , luego es una orbita peridica de .

ii) Si *1 , 2 , , + entonces y no tiene puntos singulares, adems, por la afirmacin anterior ( ) . Suponiendo por el absurdo que ( ) contiene algn punto regular de , del lema 1 se sigue que = luego = = , lo cual contradice la hiptesis. As ( ) = *1 , 2 , , + y desde que ( ) es conexo, se tiene ( ) = * + , para algn 1,2, , n .

iii) Como es conexo y es finito, entonces = *+ donde .

Aplicacin del teorema de PoincarBendixson

A continuacin mostramos algunos ejemplos donde es posible usar el teorema de Poincar-Bendixson, en ellos cabe destacar que encontrar la regin positivamente invariante es relativamente sencillo, pero mostrar que el flujo del sistema dinmico entra en cada punto de la regin es complicado en general.