Top Qs
Timeline
Chat
Perspective

Finsler's lemma

From Wikipedia, the free encyclopedia

Remove ads

Finsler's lemma is a mathematical result named after Paul Finsler. It states equivalent ways to express the positive definiteness of a quadratic form Q constrained by a linear form L. Since it is equivalent to another lemmas used in optimization and control theory, such as Yakubovich's S-lemma,[1] Finsler's lemma has been given many proofs and has been widely used, particularly in results related to robust optimization and linear matrix inequalities.

Remove ads

Statement of Finsler's lemma

Let xRn, and QRn x n and LRn x n be symmetric matrices. The following statements are equivalent:[2]

Remove ads

Variants

Summarize
Perspective

Non-Strict Finsler Lemma

When the matrix L is indefinite, replacing strict inequalities with non-strict ones still maintains the equivalence between the statements of Finsler's lemma. However, if L is not indefinite, additional assumptions are necessary to ensure equivalence between the statements.[3]

Extra equivalences when L is positive semi-definite

In the particular case that L is positive semi-definite, it is possible to decompose it as L = BTB. The following statements, which are also referred as Finsler's lemma in the literature, are equivalent:[4]

Matrix Finsler's lemma

There is also a variant of Finsler's lemma for quadratic matrix inequalities, known as matrix Finsler's lemma, which states that the following statements are equivalent for symmetric matrices Q and L belonging to R(l+k)x(l+k):[5][6]

under the assumption that

and

satisfy the following assumptions:

  1. Q12 = 0 and Q22 < 0,
  2. L22 < 0, and L11 - L12L22+L12 = 0, and
  3. there exists a matrix G such that Q11 + GTQ22G > 0 and L22G = L12T.
Remove ads

Generalizations

Summarize
Perspective

Projection lemma

The equivalence between the following statements is also common on the literature of linear matrix inequalities, and is known as the Projection Lemma (or also as Elimination Lemma):[7]

This lemma generalizes one of the Finsler's lemma variants by including an extra matrix C and an extra constraint involving this extra matrix.

It is interesting to note that if the strict inequalities are changed to non-strict inequalities, the equivalence does not hold anymore: only the second statement imply the first statement. Nevertheless, it still possible to obtain the equivalence between the statements under extra assumptions.[8]

Robust version

Finsler's lemma also generalizes for matrices Q and B depending on a parameter s within a set S. In this case, it is natural to ask if the same variable μ (respectively X) can satisfy for all (respectively, ). If Q and B depends continuously on the parameter s, and S is compact, then this is true. If S is not compact, but Q and B are still continuous matrix-valued functions, then μ and X can be guaranteed to be at least continuous functions.[9]

Remove ads

Applications

Summarize
Perspective

Data-driven control

The matrix variant of Finsler lemma has been applied to the data-driven control of Lur'e systems[5] and in a data-driven robust linear matrix inequality-based model predictive control scheme.[10]

S-Variable approach to robust control of linear dynamical systems

Finsler's lemma can be used to give novel linear matrix inequality (LMI) characterizations to stability and control problems.[4] The set of LMIs stemmed from this procedure yields less conservative results when applied to control problems where the system matrices has dependence on a parameter, such as robust control problems and control of linear-parameter varying systems.[11] This approach has recently been called as S-variable approach[12][13] and the LMIs stemming from this approach are known as SV-LMIs (also known as dilated LMIs[14]).

Sufficient condition for universal stabilizability of non-linear systems

A nonlinear system has the universal stabilizability property if every forward-complete solution of a system can be globally stabilized. By the use of Finsler's lemma, it is possible to derive a sufficient condition for universal stabilizability in terms of a differential linear matrix inequality.[15]

Remove ads

See also

References

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads