Equació de Liénard

En matemàtiques, més concretament en l'estudi de sistemes dinàmics i equacions diferencials, una equació de Liénard és una equació diferencial de segon ordre, que duu el nom del físic francès Alfred-Marie Liénard.

Durant el desenvolupament de la ràdio i la tecnologia de les vàlvules de buit, s'utilitzaven molt les equacions de Liénard ja que es poden usar per modelar circuits oscil·latoris. Sota certes suposicions addicionals el teorema de Liénard garanteix la unicitat i existència d'un cicle límit per a tal sistema.

Definició

Siguin f i g dues funcions contínuament diferenciables en R, sigui g una funció imparella i f un funció parella. Llavors l'equació diferencial ordinària de segon ordre de la forma

$\frac{d^{2}x}{d{t}^2}+f(x)\frac{dx}{dt}+g(x)=0$

s'anomena equació de Liénard.

Sistema de Liénard

L'equació pot ser transformada en el sistema d'equacions diferencials ordinàries bidimensional equivalent. Es defineix

$F(x):=\underset{0}{\overset{x}{\int }}f(\xi )d\xi$

$x_1:=x$

$x_2:=\frac{dx}{dt}+F(x)$

Llavors

$\left[\begin{array}{c}{\dot{x}}_1\\ {\dot{x}}_2\end{array}\right]=𝐡(x_1,x_2):=\left[\begin{array}{c}{x}_2-F(x_1)\\ -g(x_1)\end{array}\right]$

s'anomena sistema de Liénard.

Alternativament, com que l'equació de Liénard és en si mateixa una equació diferencial autònoma, la substitució $v=\frac{dx}{dt}$ fa que l'equació de Liénard esdevingui una equació diferencial ordinària de primer ordre:

$v\frac{dv}{dx}+f(x)v+g(x)=0$

que pertany a l'equació d'Abel de segona classe.

Exemple

L'oscil·lador de Van der Pol

$\frac{d^{2}x}{d{t}^2}-\mu (1-x^2)\frac{dx}{dt}+x=0$

és una equació de Liénard. La solució d'un oscil·lador de Van der Pol té un cicle límit. Tal cicle té una solució de l'equació de Liénard amb$f(x)$ negatiu per $|x|$ petit i $f(x)$ positiu altrament. L'equació de Van der Pol no té cap solució analítica exacta. Tal solució per al cicle límit existeix si $f(x)$ és una funció constant definida a trossos.

Teorema de Liénard

Un sistema de Liénard té un cicle límit únic i estable que envolta l'origen si satisfà les propietats addicionals següents:

• g(x) > 0 per tot x > 0;
• $\underset{x\to \mathrm{\infty }}{\lim }F(x):=\underset{x\to \mathrm{\infty }}{\lim }\underset{0}{\overset{x}{\int }}f(\xi )d\xi =\mathrm{\infty };$
• F(x) té exactament una arrel positiva per algun valor p, on F(x) < 0 per 0 < x < p i F(x) > 0 i és monotònica per x > p.

Enllaços externs

• Plantilla:Springer
• Plantilla:PlanetMath