Soit l’équation (un éventuel amortissement est dans $f$ et $N=1$):
\[ m\ddot x+kx=f(x,\dot x),x(0)=x_0,\dot x(0)=x_1,x(t)\in {\mathbb R}^ N. \] Supposons que $x(t),t{>}0$ soit un cycle limite de l’équation ci-dessus.
Le couple $(x(t),\dot x(t)),t{>}0$ délimite dans le plan de coordonnées $x_1=x,x_2=\dot x$, un ouvert connexe $D$ de frontière $\partial D$ et la normale unitaire sortante à $D$ le long de $\partial D$ est:
On pose $P=(0,f(x,\dot x))$ et on a sur $\partial D$:
\[ (P,\nu )ds=f(x,\dot x)\dot xdt=(m\ddot x+kx)\dot xdt. \]
La formule de Stokes nous donne:
Ouvrir/fermer la vidéo.
On introduit les deux ensembles (on rappelle que $N=1$):
\[ \boxed { P^+=\{ (x,\dot x)\vert ~ \frac{\partial f}{\partial \dot x}(x,\dot x){>}0\} , P^-=\{ (x,\dot x)\vert ~ \frac{\partial f}{\partial \dot x}(x,\dot x){<}0\} .} \]Soit $x(t),t{>}0$ un cycle limite d’oscillations et notons $D$ l’ouvert délimité par ce cycle dans le plan des phases $(x,\dot x)$.
Lemme Critère de Poincaré-Bendixson |
L’ouvert $D$ ne peut pas être contenu ni dans $P^+$ ni dans $P^-$. Attention le critère porte sur l’ouvert $D$ et non pas sur sa frontière $\partial D$. |