Équation de Liénard

Cet article est une ébauche concernant l’analyse.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En mathématiques, notamment dans l'étude des systèmes dynamiques et des équations différentielles, une équation de Liénard est une forme particulière d'équation différentielle du second ordre. Le système physique associé à cette équation est alors appelé système de Liénard.

Durant le développement des radios et des tubes à vide, les équations de Liénard furent beaucoup étudiées car elles permettaient de modéliser le comportement des circuits oscillants. Moyennant certaines hypothèses, le théorème de Liénard garantit l'existence d'un cycle limite pour de tels systèmes.

Définition

Soit f et g deux fonctions de classe C 1 {\displaystyle {\mathcal {C}}^{1}} sur R {\displaystyle \mathbb {R} } , avec g une fonction impaire et f une fonction paire. Alors on appelle « équation de Liénard » l'équation différentielle :

d 2 x d t 2 + f ( x ) d x d t + g ( x ) = 0 {\displaystyle {d^{2}x \over dt^{2}}+f(x){dx \over dt}+g(x)=0} .

On peut l'écrire sous forme d'un système différentiel, c'est-à-dire d'une équation vectorielle d'ordre un en dimension deux. On pose :

F ( x ) := 0 x f ( ξ ) d ξ {\displaystyle F(x):=\int _{0}^{x}f(\xi )d\xi }
x 1 := x {\displaystyle x_{1}:=x}
x 2 := d x d t + F ( x ) {\displaystyle x_{2}:={dx \over dt}+F(x)}

alors on appelle « système de Liénard » l'équation suivante :

[ x ˙ 1 x ˙ 2 ] = h ( x 1 , x 2 ) := [ x 2 F ( x 1 ) g ( x 1 ) ] {\displaystyle {\begin{bmatrix}{\dot {x}}_{1}\\{\dot {x}}_{2}\end{bmatrix}}=\mathbf {h} (x_{1},x_{2}):={\begin{bmatrix}x_{2}-F(x_{1})\\-g(x_{1})\end{bmatrix}}}

Exemple

L'oscillateur de Van der Pol, qui vérifie l'équation :

d 2 x d t 2 μ ( 1 x 2 ) d x d t + x = 0 {\displaystyle {d^{2}x \over dt^{2}}-\mu (1-x^{2}){dx \over dt}+x=0}

est un système de Liénard.

Théorème de Liénard

Étant donné un système de Liénard qui vérifie :

  • x > 0 g ( x ) > 0 {\displaystyle \forall x>0\qquad g\left(x\right)>0}  ;
  • lim x F ( x ) := 0 x f ( ξ ) d ξ   = {\displaystyle \lim _{x\to \infty }F(x):=\int _{0}^{x}f(\xi )d\xi \ =\infty }  ;
  • F(x) possède une unique racine strictement positive en a, F(x) < 0 pour 0 < x < a ;
  • F(x) > 0 et est monotone pour x > a .

Alors le système de Liénard possède un unique cycle limite stable, qui entoure l'origine.

Voir aussi

Références


  • (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Liénard equation » (voir la liste des auteurs).

Liens externes

  • (en) PlanetMath : Systèmes de Liénard.

Articles connexes

  • icône décorative Portail de l'analyse