Lemma von Lax-Milgram

Das Lemma von Lax-Milgram, auch Satz von Lax-Milgram, ist eine Aussage der Funktionalanalysis, einem Teilgebiet der Mathematik, die nach Peter Lax und Arthur Milgram benannt ist. Diese beiden Mathematiker bewiesen 1954 eine erste Version dieses Lemmas, welches die Aussage des Darstellungssatzes von Fréchet-Riesz auf stetige Sesquilinearformen verallgemeinert. Eine allgemeinere Version des Lemmas wurde von Ivo Babuška bewiesen, weshalb diese Aussage auch als Satz von Babuška–Lax–Milgram bekannt ist. Anwendung finden diese Aussagen in der Theorie der partiellen Differentialgleichungen. Mit ihrer Hilfe können Existenz- und Eindeutigkeitsaussagen über Lösungen von partiellen Differentialgleichungen gemacht werden.

Formulierung

Voraussetzungen

Es sei <math>\left(H, \langle\cdot , \cdot\rangle\right)</math> ein Hilbertraum über <math>\mathbb K \in \{\mathbb R, \mathbb C\}</math> und es sei <math>B: H \times H \to \mathbb K</math> eine Sesquilinearform. Zudem gelte eine der folgenden, äquivalenten Bedingungen:

<math>B</math> ist stetig
Es gibt eine Konstante <math>M > 0</math> mit
<math>|B(x,y)| \leq M\|x\|\|y\|, \quad \forall \, x,y \in H,</math>
<math>y \mapsto B(x,y)</math> ist stetig für alle <math>x \in H</math> und <math>x \mapsto B(x,y)</math> ist stetig für alle <math>y \in H</math>

Aussage

Sind die obigen Voraussetzungen erfüllt, dann existiert genau ein stetiger, linearer Operator <math>T\colon H \to H</math>, der die Gleichung

<math>B(x,y) = \left\langle Tx, y \right\rangle</math>

für alle <math>x,y \in H</math> erfüllt. Ferner gilt: Die Norm von <math>T</math> ist durch <math>M</math> beschränkt.

Spezialfall: Koerzitive Sesquilinearform

Ist die Sesquilinearform <math>B</math> zudem koerzitiv (häufig auch als stark positiv oder elliptisch bezeichnet), d. h. gibt es <math>m > 0</math>, so dass

<math>B(x,x) \geq m\|x\|^2, \quad \forall x \in H,</math>

gilt, dann ist <math>T</math> invertierbar mit <math>\left\|T^{-1}\right\| \leq 1/m</math>.

Anwendung auf elliptische Differentialgleichungen

Zur Anwendung kommt das Lemma von Lax-Milgram in der Theorie der partiellen Differentialgleichungen. Insbesondere lassen sich für lineare Differentialgleichungen Existenz und Eindeutigkeit einer schwachen Lösung zeigen, falls obige Bedingungen erfüllt sind. Dies wird nun am Beispiel einer gleichmäßig elliptischen Differentialgleichung zweiter Ordnung illustriert.

Sei

<math>Pu := - \sum_{i=1}^n \partial_i \left(\sum_{j=1}^n a_{ij} \partial_j u + h_i\right) + bu</math>

ein gleichmäßig elliptischer Differentialoperator zweiter Ordnung. Das heißt, es gilt <math>a_{ij}, h_i \in C^1(\Omega)</math> für <math>i , j = 1 , \ldots , n</math>, <math>b \in L^\infty(\Omega)</math> mit <math>b \geq 0</math> und es existiert ein <math>c_0 > 0</math>, so dass das Hauptsymbol für alle <math>x \in \Omega</math> und alle <math>\xi \in \R^n</math> die Ungleichung

erfüllt. Mit Hilfe des Lemmas von Lax-Milgram kann man nun zeigen, dass die schwache Formulierung des Dirichlet-Randproblems

<math>\left.\begin{array}{cc}

Pu = f & \text{in}\ \Omega\\ u = 0 & \text{auf}\ \partial \Omega \end{array}\right\}</math> genau eine Lösung im Sobolev-Raum <math>u \in H^1_0(\Omega)</math> für <math>f \in L^\infty(\Omega)</math> besitzt. Das heißt, man betrachtet für alle Testfunktionen <math>\phi \in C^\infty_c(\Omega)</math> die Gleichung

<math>

\int_\Omega f(x) \phi(x) \mathrm{d} x = \int_\Omega - \sum_{i=1}^n \partial_i \left(\sum_{j=1}^n a_{ij}(x) \partial_j u(x) + h_i(x)\right) \phi(x) + b(x) u(x) \phi(x) \mathrm{d} x . </math> Partielle Integration der rechten Seite der Gleichung liefert

<math>

\int_\Omega f(x) \phi(x) \mathrm{d} x = \int_\Omega \sum_{i=1}^n \partial_i \phi(x) \cdot \left(\sum_{j=1}^n a_{ij}(x) \partial_j u(x) + h_i(x)\right) \mathrm{d} x + \int_\Omega b(x) u(x) \phi(x) \mathrm{d} x . </math> Setzt man nun

<math>a(u,v) := \sum_{i=1}^n \sum_{j=1}^n \int_\Omega \partial_i u(x) \cdot a_{ij}(x) \partial_j v(x) \mathrm{d} x + \int_\Omega u(x) b(x) v(x) \mathrm{d} x </math>

so erhält man eine reellwertige Bilinearform, deren Stetigkeit man mit Hilfe der Hölder-Ungleichung zeigen kann. Die Form <math>a</math> ist auch koerzitiv, was aus der Bedingung <math>\textstyle \sum_{i,j}^na_{ij}(x) \xi_i \xi_j \geq c_0 |\xi|^2</math> folgt. Daher erfüllt die Bilinearform <math>a</math> die Voraussetzungen des Lemmas von Lax-Milgram. Man sucht nun also eine Lösung der Gleichung

<math>

a(u,v) = F(v), </math> wobei

<math>

F(v) := - \int_{\Omega} \sum_{i = 1}^n \partial_i v(x) h_i(x) + v(x)f(x) \mathrm{d} x. </math>

Da der Ausdruck <math>v \mapsto F(v)</math> linear und stetig ist, also ein Element des Dualraums <math>(H^{1}_0(\Omega))'</math> ist, kann man den Darstellungssatz von Fréchet-Riesz anwenden und erhält genau ein <math>q \in H^1_0(\Omega)</math>, so dass <math>\textstyle F(v) = \langle v , q\rangle_{H^1(\Omega)}</math> für alle <math>v \in H^1_0(\Omega)</math> gilt. Und aufgrund des Lemmas von Lax-Milgram hat die Gleichung

<math>a(v,u) = \langle v, q\rangle_{H^1(\Omega)}</math>

für alle <math>v \in H^1_0(\Omega)</math> genau eine Lösung <math>u \in H^1_0(\Omega)</math>.

Auf ähnliche Weise kann man auch die Existenz und Eindeutigkeit bei Neumann-Randbedingungen zeigen.

Satz von Babuška–Lax–Milgram

Eine Verallgemeinerung des Lemmas von Lax-Milgram ist der Satz von Babuška–Lax–Milgram. Diese wurde 1971 von Ivo Babuška bewiesen.

Seien <math>U</math> und <math>V</math> zwei Hilberträume und sei <math>B \colon U \times V \to \R</math> eine stetige Bilinearform. Sei außerdem <math>B</math> schwach koerzitiv, das heißt, es existiert ein <math>c > 0</math>, so dass

<math>\forall u \in U: \quad \sup_{\|v\|\leq 1} |B(u,v)| \geq c\|u\|</math>

und

<math>\forall v \in V \setminus \{0\}: \quad \sup_{u \in U}|B(u,v)| > 0</math>

gilt. Dann existiert genau ein stetiger, linearer Operator <math>T \colon U \to V</math>, der die Gleichung

<math>B(u,v) = \langle Tu, v \rangle </math>

für alle <math>u \in U</math> und <math>v \in V</math> erfüllt und für die Operatornorm gilt die Ungleichung <math>\|T^{-1}\| \leq \tfrac{\|f\|}{c}</math>. Mit anderen Worten existiert genau eine Lösung <math>u</math> für Gleichungen <math>B(u,v) = \langle f, v \rangle,\, v\in V </math> .

Literatur

{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}{{#if:Lax-Milgram_lemma|Vorlage:EoM/id}}
{{#invoke:Vorlage:Literatur|f}}{{#if:Babuska-Lax-Milgram_theorem|Vorlage:EoM/id}}

Weblinks

{{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}| |}}}}{{#if:François Clément, Vincent Martin|François Clément, Vincent Martin: }}{{#if:|{{#if:The Lax–Milgram Theorem. A detailed proof to be formalized in Coq|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=The Lax–Milgram Theorem. A detailed proof to be formalized in Coq}}]{{#if:pdf| (pdf)}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:https://arxiv.org/pdf/1607.03618.pdf%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=The Lax–Milgram Theorem. A detailed proof to be formalized in Coq}}}}|[{{#invoke:URLutil|getNormalized|1=https://arxiv.org/pdf/1607.03618.pdf}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=The Lax–Milgram Theorem. A detailed proof to be formalized in Coq}}}}]}}{{#if:pdf| (pdf{{#if:2016-07{{#if: 2022-01-14 | {{#if:{{#invoke:TemplUtl|faculty|ja}}||1}}}}

          | )
          | {{#if:{{#ifeq:en|de||{{#if:en|1}}}}| ; 
              | )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:https://arxiv.org/pdf/1607.03618.pdf%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=https://arxiv.org/pdf/1607.03618.pdf}}%7C%7C URL ungültig}}}}{{#if:The Lax–Milgram Theorem. A detailed proof to be formalized in Coq|{{#if:{{#invoke:WLink|isValidLinktext|1=The Lax–Milgram Theorem. A detailed proof to be formalized in Coq|lines=0}}|| Linktext ungültig}}}}{{#if: | In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{{werk}}}}}}}{{#if: | {{{hrsg}}}{{#if: 2016-07|,|{{#if: 2022-01-14 | {{#if:{{#invoke:TemplUtl|faculty|ja}}|;|,}}}}}}}}{{#if: 2016-07| {{#if:{{#invoke:DateTime|format|2016-07|noerror=1}}
            |{{#invoke:DateTime|format|2016-07|T._Monat JJJJ}}
            |{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum=2016-07|class=Zitationswartung}} }}{{#if: |,|{{#if: 2022-01-14 | {{#if:{{#invoke:TemplUtl|faculty|ja}}|;|,}}}}}}}}{{#if: | S. {{{seiten}}}{{#if: |,|{{#if: 2022-01-14 | {{#if:{{#invoke:TemplUtl|faculty|ja}}|;|,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:2016-07|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}|{{{archiv-datum}}}{{#if:274080||(?)}}}}}}{{#if: 2022-01-14|;}}}}{{#if: 2022-01-14| {{#if:2016-07{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2022-01-14 |ISO|noerror=1}} }}
       |4=im Jahr
       |7=im
       |10=am
       |#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2022-01-14|class=Zitationswartung}} }} {{#invoke:DateTime|format|2022-01-14|T._Monat JJJJ}}
    | {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}}{{#if:{{#ifeq:en|de||{{#if:en|1}}}}|{{#if:2016-07{{#if: 2022-01-14 | {{#if:{{#invoke:TemplUtl|faculty|ja}}||1}}}}
       |  (
       | {{#if:pdf | |  (}}
       }}{{#ifeq:{{#if:en|en|de}}|de||
          {{#invoke:Multilingual|format|en|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:en|en|de}}|de||, }}{{{kommentar}}}}})}}{{#if: 2016-07{{#if: 2022-01-14 | {{#if:{{#invoke:TemplUtl|faculty|ja}}||1}} }}en|{{#if: |: {{
 #if: 
 | „{{
     #ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | Vorlage:Str trim
     | {{#invoke:Vorlage:lang|flat}}
     }}“
 | {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | „Vorlage:Str trim“
     | {{#invoke:Text|quote
         |1={{#if: 
              | {{#invoke:Vorlage:lang|flat}}
              | {{#invoke:Vorlage:lang|flat}} }}
         |2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
         |3=1}} }}

}}{{#if:

   |  (<templatestyles src="Person/styles.css" />{{#if:  | :  }}{{#if:  | , deutsch: „“ }})
   | {{#if: 
       |  ({{#if:  | , deutsch: „“ }})
       | {{#if:  |  (deutsch: „“) }}
 }}

}}{{#if: {{{zitat}}}

   | {{#if: 
       | {{#if: {{{zitat}}}
           | Vorlage:": Text= und 1= gleichzeitig, bzw. Pipe zu viel }} }}
   | Vorlage:": Text= fehlt }}{{#if:  | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
             | Vorlage:": Ungültiger Wert: ref=
             | {{{ref}}} }}

}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch:

   |0|=Vorlage:Toter Link/Core{{#if: https://arxiv.org/pdf/1607.03618.pdf
       | {{#if:  | [1] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   =  @@@
         |preview  = 1
    }}{{#if: https://arxiv.org/pdf/1607.03618.pdf
      | {{#if:{{#invoke:URLutil|isWebURL|https://arxiv.org/pdf/1607.03618.pdf}}
          ||  Fehler bei Vorlage:Toter Link: Wert in 'url' ist ungültig.{{#if:  ||  }} 
        }}
      | {{#if: 
           |  Fehler bei Vorlage:Toter Link: 'text' angegeben, aber 'url'' fehlt.{{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             ||  Fehler bei Vorlage:Toter Link: Wert in 'date' ist ungültig.{{#if:  ||  }} 
         }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=   Fehler bei Vorlage:Toter Link: Wert in 'botlauf' ist ungültig.{{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://arxiv.org/pdf/1607.03618.pdf Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   =  @@@
         |preview  = 1
       }}{{#if: https://arxiv.org/pdf/1607.03618.pdf
       | {{#if:{{#invoke:URLutil|isWebURL|https://arxiv.org/pdf/1607.03618.pdf}}
          ||  Fehler bei Vorlage:Toter Link: Wert in 'url' ist ungültig.{{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             ||  Fehler bei Vorlage:Toter Link: Wert in 'date' ist ungültig.{{#if:  ||  }} 
           }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=   Fehler bei Vorlage:Toter Link: Wert in 'botlauf' ist ungültig.{{#if:  ||  }}
    }}[https://arxiv.org/pdf/1607.03618.pdf }}|{{#switch: 
   |0|=Vorlage:Toter Link/Core{{#if: https://arxiv.org/pdf/1607.03618.pdf
       | {{#if:  | [2] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   =  @@@
         |preview  = 1
    }}{{#if: https://arxiv.org/pdf/1607.03618.pdf
      | {{#if:{{#invoke:URLutil|isWebURL|https://arxiv.org/pdf/1607.03618.pdf}}
          ||  Fehler bei Vorlage:Toter Link: Wert in 'url' ist ungültig.{{#if:  ||  }} 
        }}
      | {{#if: 
           |  Fehler bei Vorlage:Toter Link: 'text' angegeben, aber 'url'' fehlt.{{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             ||  Fehler bei Vorlage:Toter Link: Wert in 'date' ist ungültig.{{#if:  ||  }} 
         }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=   Fehler bei Vorlage:Toter Link: Wert in 'botlauf' ist ungültig.{{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://arxiv.org/pdf/1607.03618.pdf Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   =  @@@
         |preview  = 1
       }}{{#if: https://arxiv.org/pdf/1607.03618.pdf
       | {{#if:{{#invoke:URLutil|isWebURL|https://arxiv.org/pdf/1607.03618.pdf}}
          ||  Fehler bei Vorlage:Toter Link: Wert in 'url' ist ungültig.{{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             ||  Fehler bei Vorlage:Toter Link: Wert in 'date' ist ungültig.{{#if:  ||  }} 
           }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=   Fehler bei Vorlage:Toter Link: Wert in 'botlauf' ist ungültig.{{#if:  ||  }}
    }}[https://arxiv.org/pdf/1607.03618.pdf }} }}}}}}}}}}{{#if:|
        {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}

}}}} {{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}