LaSalle's invariance principle explained

LaSalle's invariance principle (also known as the invariance principle,^[1] Barbashin-Krasovskii-LaSalle principle,^[2] or Krasovskii-LaSalle principle) is a criterion for the asymptotic stability of an autonomous (possibly nonlinear) dynamical system.

Global version

Suppose a system is represented as

• x = f \left( x \right)

where

x is the vector of variables, withf \left( 0 \right) = 0.

If a

C ^{1} (see Smoothness) function V( x) can be found such that• V ( x) \le 0 for all x (negative semidefinite),

then the set of accumulation points of any trajectory is contained in

{ l I} where { l I} is the union of complete trajectories contained entirely in the set \{ x : • V ( x) = 0 \} .

If we additionally have that the function

V is positive definite, i.e.V( x) > 0 , for all x ≠ 0 V( 0) = 0

and if

{ l I} contains no trajectory of the system except the trivial trajectory x(t) = 0 for t \geq 0 , then the origin is asymptotically stable.

Furthermore, if

V is radially unbounded, i.e.V( x) \to inf ty , as \Vert x \Vert \to inf ty

then the origin is globally asymptotically stable.

Local version

If

V( x) > 0 , when x ≠ 0 • V ( x) \le 0

hold only for

x in some neighborhood D of the origin, and the set\{ • V ( x) = 0 \} \cap D

does not contain any trajectories of the system besides the trajectory

x(t)= 0, t \geq 0 , then the local version of the invariance principle states that the origin is locally asymptotically stable.

Relation to Lyapunov theory

If

• V ( x) is negative definite, then the global asymptotic stability of the origin is a consequence of Lyapunov's second theorem. The invariance principle gives a criterion for asymptotic stability in the case when • V ( x) is only negative semidefinite.

Examples

Simple example

Example taken from "LaSalle's Invariance Principle, Lecture 23, Math 634", by Christopher Grant.^[3]

Consider the vector field

• ( x, • y) = ( - y - x ^{3,} x ^{5)} in the plane. The function V(x, y) = x ^{6} + 3 y ^{2} satisfies • V = -6 x ^{8} , and is radially unbounded, showing that the origin is globally asymptotically stable.

Pendulum with friction

This section will apply the invariance principle to establish the local asymptotic stability of a simple system, the pendulum with friction. This system can be modeled with the differential equation^[4]

m l \ddot{\theta} = - m g \sin \theta - k l • \theta

where

\theta is the angle the pendulum makes with the vertical normal, m is the mass of the pendulum, l is the length of the pendulum, k is the friction coefficient, and g is acceleration due to gravity.

This, in turn, can be written as the system of equations

• x _{1} = x _{2} • x _{2} =- (g)/(l) \sin x _{1} - (k)/(m) x _{2}

Using the invariance principle, it can be shown that all trajectories that begin in a ball of certain size around the origin

x _{1} = x _{2} = 0 asymptotically converge to the origin. We define V(x _{1,x} _{2)} asV(x _{1,x} _{2)} = (g)/(l) ( 1 - \cos x _{1)} + (1)/(2) x ^{2} _{2}

This

V(x _{1,x} _{2)} is simply the scaled energy of the system.^[4] Clearly, V(x _{1,x} _{2)} is positive definite in an open ball of radius \pi around the origin. Computing the derivative,• V (x _{1,x} _{2)} = (g)/(l) \sin x _{1} • x _{1} + x _{2} • x _{2} = - (k)/(m) x ^{2} _{2}

Observe that

V( 0 ) = 0 and • V ( 0 ) = 0 . If it were true that • V < 0 , we could conclude that every trajectory approaches the origin by Lyapunov's second theorem. Unfortunately, • V \leq 0 and • V is only negative semidefinite since x _{1} can be non-zero when • V =0 . However, the setS = \{ (x _{1,x} _{2)} | • V (x _{1,x} _{2)} = 0 \}

which is simply the set

S = \{ (x _{1,x} _{2)} | x _{2} = 0 \}

does not contain any trajectory of the system, except the trivial trajectory

x =0 . Indeed, if at some time t , x _{2(t)=0} , then because x _{1} must be less than \pi away from the origin, \sin x _{1} ≠ 0 and • x _{2(t)} ≠ 0 . As a result, the trajectory will not stay in the set S .

All the conditions of the local version of the invariance principle are satisfied, and we can conclude that every trajectory that begins in some neighborhood of the origin will converge to the origin as

t → inf ty .^[5]

History

The general result was independently discovered by J.P. LaSalle (then at RIAS) and N.N. Krasovskii, who published in 1960 and 1959 respectively. While LaSalle was the first author in the West to publish the general theorem in 1960, a special case of the theorem was communicated in 1952 by Barbashin and Krasovskii, followed by a publication of the general result in 1959 by Krasovskii.^[6]

See also

• Stability theory
• Lyapunov stability

Original papers

• LaSalle, J.P. Some extensions of Liapunov's second method, IRE Transactions on Circuit Theory, CT-7, pp. 520–527, 1960. (PDF)
• Barbashin . E. A. . Nikolai N. Krasovskii . Nikolai Nikolaevich Krasovsky . 1952 . ru:Об устойчивости движения в целом . On the stability of motion as a whole . Russian . . 86 . 453–456.
• Krasovskii, N. N. Problems of the Theory of Stability of Motion, (Russian), 1959. English translation: Stanford University Press, Stanford, CA, 1963.

Text books

• Book: LaSalle. Lefschetz. J.P.. S.. Joseph P. LaSalle. Solomon Lefschetz . Stability by Liapunov's direct method. Academic Press. 1961.
• Book: Wassim Michael Haddad

. Haddad. Chellaboina. W.M.. Wassim Michael Haddad . VS. Nonlinear Dynamical Systems and Control, a Lyapunov-based approach. Princeton University Press. 2008 . 9780691133294.

• Book: Teschl. Gerald Teschl

. G.. Gerald Teschl. Ordinary Differential Equations and Dynamical Systems. American Mathematical Society. Providence. 2012. 978-0-8218-8328-0.

• Book: Wiggins. Stephen Wiggins

. S.. Stephen Wiggins . Introduction to Applied Nonlinear Dynamical Systems and Chaos. 2. Springer Verlag. New York City. 2003. 0-387-00177-8.

Lectures

• Texas A&M University notes on the invariance principle (PDF)
• NC State University notes on LaSalle's invariance principle (PDF).
• Caltech notes on LaSalle's invariance principle (PDF).
• MIT OpenCourseware notes on Lyapunov stability analysis and the invariance principle (PDF).

Notes and References

1. Book: Khalil. Hasan. Nonlinear Systems. 2002. Prentice Hall. Upper Saddle River NJ. 3rd.
2. Book: Wassim. Haddad. Chellaboina. VijaySekhar. Nonlinear Dynamical Systems and Control, a Lyapunov-based approach. 2008. Princeton University Press.
3. Web site: Grant . Christopher . 1999-10-22 . LaSalle's Invariance Principle, Lecture 23, Math 634 . https://web.archive.org/web/20190714024047/http://www.math.byu.edu/~grant/courses/m634/f99/lec23.pdf . 2019-07-14 . 2022-06-28 .
4. http://www.nd.edu/~lemmon/courses/ee580/ Lecture notes on nonlinear control
5. http://cc.ee.ntu.edu.tw/~fengli/Teaching/NonlinearSystems/ Lecture notes on nonlinear analysis
6. Vidyasagar, M. Nonlinear Systems Analysis, SIAM Classics in Applied Mathematics, SIAM Press, 2002.