Monge-Ampèresche Gleichung

Eine Monge-Ampère’sche Gleichung, oder Monge-Ampère’sche Differentialgleichung, ist eine spezielle nichtlineare partielle Differentialgleichung zweiter Ordnung in <math>n</math> Variablen.

Sie wurde von Gaspard Monge Anfang des 19. Jahrhunderts eingeführt, um ein Massentransportproblem („problème du remblai-déblai“, etwa: „Problem von Erdaufschüttung und -aushub“) für militärische Zwecke zu lösen. Trotz ihrer recht einfachen Form ist sie im Allgemeinen schwierig zu lösen. Die Gleichung ist zusätzlich nach André-Marie Ampère benannt, der sich mit ihr um 1820 befasste.

Mathematische Formulierung

Allgemein hat eine Monge-Ampère’sche Gleichung über einem offenen Gebiet <math>\Omega \subset \mathbb{R}^n</math> die Form

wobei <math>u\colon \Omega \to \mathbb{R} </math>, mit <math>u = u(x_1, \ldots, x_n)</math> die unbekannte Funktion ist, <math>f\colon \Omega \times \mathbb{R}^{n+1} \to \mathbb{R}</math> eine gegebene Funktion <math>f = f(x_1, \ldots, x_n, u, u_{x_1}, \ldots u_{x_n})</math>, und

<math>

 D^2 u = \begin{pmatrix}
   u_{x_1x_1} & \cdots & u_{x_1 x_{n}} \\
    \vdots   &   \ddots & \vdots \\
   u_{x_n x_1} & \cdots & u_{x_n x_n}
 \end{pmatrix}
 \qquad
 \mbox{mit } u_{x_i x_j} = \frac{\partial^2 u}{\partial x_i \partial x_j}.

</math>

die Hesse-Matrix von <math>u</math>. Speziell für den zweidimensionalen Fall <math>n=2</math> ergibt sich die einfache Gestalt

mit <math>(x,y) \in \Omega \subset \mathbb{R}^2</math> und den Funktionen <math>u(x,y)</math> und <math>f(x,y,u,u_x,u_y)</math>. Oft wird für den Fall n=2 aber auch die folgende Darstellung als allgemeine Monge-Ampère’sche Gleichung bezeichnet:

<math>

  Ar + 2Bs + Ct + (rt - s^2) = E,
  \qquad \mbox{mit } r=u_{xx},\ s=u_{xy},\ t=u_{yy},\ p=u_x,\ q=u_y,
  </math>

wobei <math>A, B, C</math> und <math>E</math> Funktionen von (<math>x, y, u, p, q</math>) sind. Man erkennt gleich, dass sich mit <math>A=B=C=0</math> und <math>E=f</math> die obige einfachere Gestalt ergibt.

Konkretes Beispiel

Sei <math>n=2</math> und <math>f(x,y) = 4 (1-y^2) (1-x^2) - 16 x^2y^2</math>. Dann ist <math>u(x,y) = (1-x^2)(1-y^2)</math> eine Lösung der Monge-Ampère’schen Differentialgleichung, denn <math>

 u_{xx} = -2(1-y^2),

</math> <math>

 u_{yy} = -2(1-x^2),

</math> <math>

 u_{xy} = u_{yx} = -4xy,

</math> und daher <math>

\det\, D^2 u = \det \begin{pmatrix} -2(1-y^2) & -4xy \\ -4xy & -2(1-x^2) \end{pmatrix}

= f(x,y). </math>

Klassifizierung als partielle Differentialgleichung

Eine Monge-Ampère’sche Gleichung ist eine voll nichtlineare partielle Differentialgleichung zweiter Ordnung in <math>n</math> Variablen. Erläuterungen:

„partielle Differentialgleichung“, denn es wird eine von mehreren Variablen abhängende Funktion <math>u</math> gesucht, deren partielle Ableitungen der gegebenen Gleichung gehorchen müssen.

„voll nichtlinear“, da alle Terme mit zweiten (also den höchsten) Ableitungen von <math>u</math> quadratisch auftauchen.

Eine wichtige Klasse sind die elliptischen Monge-Ampère’schen Gleichungen, die für <math>n=2</math> die Bedingungen <math>AC - B^2 + E > 0</math> und <math>t+A>0</math> erfüllen, bzw. in der einfacheren Form einfach <math>f>0</math>.

Anwendungen

Die meisten Anwendungen der Monge-Ampère’schen Gleichung sind innermathematischer Art insbesondere in der Differentialgeometrie. Beim Minkowski-Problem beispielsweise wird eine strikt konvexe Hyperfläche mit vorgegebener Gaußkrümmung gesucht, was auf eine Monge-Ampère’sche Gleichung führt. Das Problem wurde 1953 von Nirenberg gelöst.

Eine unerwartete Anwendung im Bereich der String-Theorie ergab sich durch ein 1978 veröffentlichtes Resultat von Yau, der eine Vermutung von Calabi über die Krümmung bestimmter Kähler-Mannigfaltigkeiten mit Hilfe der Lösung einer komplexen Monge-Ampère’schen Gleichung bewies (Satz von Yau). Man spricht heute entsprechend von Calabi-Yau-Mannigfaltigkeiten.

Bedeutende Beiträge zu Monge-Ampère’schen Gleichungen im Verlaufe des 20. Jahrhunderts kamen von Hermann Weyl, Franz Rellich, Erhard Heinz, Louis Nirenberg, Shing-Tung Yau, Luis Caffarelli, Alexei Wassiljewitsch Pogorelow, Thierry Aubin, Sébastien Boucksom, Alessio Figalli und Guido de Philippis.

Weblinks

<templatestyles src="Webarchiv/styles.css" />{{#if:20050205184822

      | {{#ifeq: 20050205184822 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: Plots von Lösungen Monge-Ampèrescher Gleichungen | {{#invoke:WLink|getEscapedTitle|Plots von Lösungen Monge-Ampèrescher Gleichungen}} | {{#invoke:Webarchiv|getdomain|http://www.pdehunter.net/MathStuff/PDEGallery/pdegallery.html}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20050205184822}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: Plots von Lösungen Monge-Ampèrescher Gleichungen | {{#invoke:WLink|getEscapedTitle|Plots von Lösungen Monge-Ampèrescher Gleichungen}} | {{#invoke:Webarchiv|getdomain|http://www.pdehunter.net/MathStuff/PDEGallery/pdegallery.html}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20050205184822}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: Plots von Lösungen Monge-Ampèrescher Gleichungen | {{#invoke:WLink|getEscapedTitle|Plots von Lösungen Monge-Ampèrescher Gleichungen}} | {{#invoke:Webarchiv|getdomain|http://www.pdehunter.net/MathStuff/PDEGallery/pdegallery.html}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: Plots von Lösungen Monge-Ampèrescher Gleichungen | {{#invoke:WLink|getEscapedTitle|Plots von Lösungen Monge-Ampèrescher Gleichungen}} | {{#invoke:Webarchiv|getdomain|http://www.pdehunter.net/MathStuff/PDEGallery/pdegallery.html}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: Plots von Lösungen Monge-Ampèrescher Gleichungen | {{#invoke:WLink|getEscapedTitle|Plots von Lösungen Monge-Ampèrescher Gleichungen}} | {{#invoke:Webarchiv|getdomain|http://www.pdehunter.net/MathStuff/PDEGallery/pdegallery.html}} }} (Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: Plots von Lösungen Monge-Ampèrescher Gleichungen | {{#invoke:WLink|getEscapedTitle|Plots von Lösungen Monge-Ampèrescher Gleichungen}} | {{#invoke:Webarchiv|getdomain|http://www.pdehunter.net/MathStuff/PDEGallery/pdegallery.html}} }}  
                 }}}}}}}}{{#if:
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20050205184822|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|http://www.pdehunter.net/MathStuff/PDEGallery/pdegallery.html}}
    || {{#if:  || }} URL/Pfad ungültig.
  }}{{#if: Plots von Lösungen Monge-Ampèrescher Gleichungen
    | {{#if: {{#invoke:WLink|isBracketedLink|Plots von Lösungen Monge-Ampèrescher Gleichungen}}
        | {{#if:  || }} Linktext ungültig.
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt Linktext fehlt.
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|http://www.pdehunter.net/MathStuff/PDEGallery/pdegallery.html%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://www.pdehunter.net/MathStuff/PDEGallery/pdegallery.html%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://www.pdehunter.net/MathStuff/PDEGallery/pdegallery.html }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }}