Misplaced Pages

Liénard equation

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
(Redirected from Liénard's theorem) Family of second-order differential equations

In mathematics, more specifically in the study of dynamical systems and differential equations, a Liénard equation is a type of second-order ordinary differential equation named after the French physicist Alfred-Marie Liénard.

During the development of radio and vacuum tube technology, Liénard equations were intensely studied as they can be used to model oscillating circuits. Under certain additional assumptions Liénard's theorem guarantees the uniqueness and existence of a limit cycle for such a system. A Liénard system with piecewise-linear functions can also contain homoclinic orbits.

Definition

Let f and g be two continuously differentiable functions on ⁠ R , {\displaystyle \mathbb {R} ,} ⁠ with f an even function and g an odd function. Then the second order ordinary differential equation of the form 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} is called a Liénard equation.

Liénard system

The equation can be transformed into an equivalent two-dimensional system of ordinary differential equations. We define

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)}

then

[ 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}}}

is called a Liénard system.

Alternatively, since the Liénard equation itself is also an autonomous differential equation, the substitution v = d x d t {\displaystyle v={dx \over dt}} leads the Liénard equation to become a first order differential equation:

v d v d x + f ( x ) v + g ( x ) = 0 {\displaystyle v{dv \over dx}+f(x)v+g(x)=0}

which is an Abel equation of the second kind.

Example

The Van der Pol oscillator

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}

is a Liénard equation. The solution of a Van der Pol oscillator has a limit cycle. Such cycle has a solution of a Liénard equation with negative f ( x ) {\displaystyle f(x)} at small | x | {\displaystyle |x|} and positive f ( x ) {\displaystyle f(x)} otherwise. The Van der Pol equation has no exact, analytic solution. Such solution for a limit cycle exists if f ( x ) {\displaystyle f(x)} is a constant piece-wise function.

Liénard's theorem

A Liénard system has a unique and stable limit cycle surrounding the origin if it satisfies the following additional properties:

  • g(x) > 0 for all x > 0;
  • lim x → ∞ F ( x ) := lim x → ∞ ∫ 0 x f ( ξ ) d ξ   = ∞ ; {\displaystyle \lim _{x\to \infty }F(x):=\lim _{x\to \infty }\int _{0}^{x}f(\xi )d\xi \ =\infty ;}
  • F(x) has exactly one positive root at some value p, where F(x) < 0 for 0 < x < p and F(x) > 0 and monotonic for x > p.

See also

Footnotes

  1. Liénard, A. (1928) "Etude des oscillations entretenues," Revue générale de l'électricité 23, pp. 901–912 and 946–954.
  2. Phase Curve And VectorField For Piecewise Linear Lienard Systems
  3. Liénard equation at eqworld.
  4. Abel equation of the second kind at eqworld.
  5. Pilipenko A. M., and Biryukov V. N. «Investigation of Modern Numerical Analysis Methods of Self-Oscillatory Circuits Efficiency», Journal of Radio Electronics, No 9, (2013). http://jre.cplire.ru/jre/aug13/9/text-engl.html
  6. For a proof, see Perko, Lawrence (1991). Differential Equations and Dynamical Systems (Third ed.). New York: Springer. pp. 254–257. ISBN 0-387-97443-1.

External links

Categories: