The Lax-Milgram lemma , also the Lax-Milgram theorem , is a statement of functional analysis , a branch of mathematics named after Peter Lax and Arthur Milgram . These two mathematicians proved a first version of this lemma in 1954, which generalized the statement of the representation theorem of Fréchet-Riesz to continuous sesquilinear forms . A more general version of the lemma was proven by Ivo Babuška , which is why this statement is also known as the Babuška – Lax – Milgram theorem. These statements are used in the theory of partial differential equations. With their help, statements about existence and uniqueness can be made about solutions of partial differential equations.
formulation
requirements
Let it be a Hilbert space over and let it be a sesquilinear form . In addition, one of the following equivalent conditions applies:
-
is steady
- There is one with
-
is steady for everyone and is steady for everyone
statement
If the above conditions are met, then there is exactly one continuous , linear operator that gives the equation
fulfilled for all . Furthermore, the following applies: The norm of is limited by.
Special case: coercive sesquilinear form
If the sesquilinear form is also coercive (often referred to as strongly positive or elliptical), i. H. is there so that
holds, then is invertible with .
Application to elliptic differential equations
The Lax-Milgram lemma is used in the theory of partial differential equations . In particular, for linear differential equations, the existence and uniqueness of a weak solution can be shown if the above conditions are met. This will now be illustrated using the example of a uniformly elliptical differential equation of the second order.
Be
a uniformly elliptic second order differential operator. That is, it applies to , with and there exists one , so that the main symbol for all and all the inequality
Fulfills. With the help of Lax-Milgram's lemma it can now be shown that the weak formulation of the Dirichlet boundary problem
has exactly one solution in the Sobolev area for and . This means that one considers the equation
for all test functions
Partial integration of the right hand side of the equation yields
If you set now
so one obtains a real-valued bilinear form , the continuity of which can be shown with the help of the Hölder inequality . The form is also coercive, which follows from the condition . Hence the bilinear form fulfills the requirements of the Lax-Milgram lemma. So we are now looking for a solution to the equation
in which
Since the expression is linear and continuous, i.e. it is an element of the dual space , one can apply the representation theorem of Fréchet-Riesz and get exactly one , so that applies to all . And based on Lax-Milgram's lemma, the equation has
exactly one solution for everyone .
In a similar way one can show the existence and uniqueness of Neumann boundary conditions .
Babuška – Lax – Milgram theorem
A generalization of the Lax-Milgram lemma is the Babuška – Lax – Milgram theorem. This was proven by Ivo Babuška in 1971 .
Let and be two Hilbert spaces and be a continuous bilinear form . Also, be weakly coercive, that is, there is one such that
and
applies. Then there is exactly one continuous, linear operator that has the equation
The inequality holds for all and and for the operator norm . In other words, there is exactly one solution for equations .
literature
- Hans Wilhelm Alt: Linear Functional Analysis . 5th edition. Springer, Berlin, Heidelberg, New York 2006, ISBN 978-3-540-34186-4 .
- I. Roşca: Lax – Milgram lemma . In: Michiel Hazewinkel (Ed.): Encyclopaedia of Mathematics . Springer-Verlag , Berlin 2002, ISBN 978-1-55608-010-4 (English, online ).
- I. Roşca: Babuška – Lax – Milgram theorem . In: Michiel Hazewinkel (Ed.): Encyclopaedia of Mathematics . Springer-Verlag , Berlin 2002, ISBN 978-1-55608-010-4 (English, online ).