Γ-Konvergenz
# Γ-Konvergenz

In der Variationsrechnung bezeichnet Γ-Konvergenz (Gamma-Konvergenz) eine spezielle Konvergenzart für Funktionale. Sie wurde von Ennio de Giorgi eingeführt. Ursprünglich wurde sie als G-Konvergenz bezeichnet, da sie für greensche Funktionale entwickelt wurde. Der Begriff Γ-Konvergenz entstand durch die Verallgemeinerung dieses Konvergenzbegriffes.

## Definition

Sei $X$ ein topologischer Raum und $(F_{n})$ eine Folge von Funktionalen $F_{n}:X\rightarrow [0,\infty ]$ auf $X$. Die Folge $(F_{n})$ konvergiert im Sinne der Γ-Konvergenz gegen den Γ-Grenzwert $F:X\rightarrow [0,\infty ]$, falls die folgenden zwei Bedingungen gelten:

* Für jede konvergente Folge $(x_{n})$ in $X$ mit Grenzwert $x\in X$ gilt

    $F(x)\leq \liminf _{n\to \infty }F_{n}(x_{n}).$
* Zu jedem $x\in X$ gibt es eine Folge $(x_{n})$ in $X$, die gegen $x$ konvergiert und

    $F(x)\geq \limsup _{n\to \infty }F_{n}(x_{n})$
    erfüllt.

Die erste Bedingung bedeutet, dass $F$ eine „gemeinsame asymptotische untere Schranke“ für die $F_{n}$ ist; die letztere Bedingung hingegen garantiert die Optimalität.

## Eigenschaften

* Minimierer konvergieren gegen Minimierer: Eine Folge $(x_{n})$ heißt Minimalfolge für $(F_{n})$, falls

       $\lim _{n\rightarrow \infty }\left(F_{n}(x_{n})-\inf\{F_{n}(y)\ |\ y\in X\}\right)=0$.
    Falls nun $(F_{n})$ gegen $F$ Γ-konvergiert und $(x_{n})$ eine Minimalfolge für $(F_{n})$ ist, so ist jeder Häufungspunkt $x$ von $(x_{n})$ ein Minimierer von $F$, d. h.
       $F(x)=\inf\{F(y)\ |\ y\in X\}$.
* Γ-Grenzwerte sind stets unterhalbstetig.
* Γ-Konvergenz ist stabil unter stetiger Störung: Falls $(F_{n})$ gegen $F$ Γ-konvergiert und $G:X\rightarrow [0,\infty )$ stetig ist, dann ist $(F_{n}+G)$ Γ-konvergent gegen $F+G$.
* Eine konstante Folge von Funktionalen $F_{n}\equiv F$ muss nicht notwendigerweise gegen $F$ Γ-konvergieren, sondern gegen die Relaxation von $F$, nämlich das größte unterhalbstetige Funktional unterhalb von $F$.

## Anwendungen

Eine wichtige Anwendung findet die Γ-Konvergenz in der Homogenisierungstheorie und der Dimensionsreduktion. Sie kann auch benutzt werden, um eine rigorose Begründung für den Übergang von diskreten zu kontinuierlichen Modellen zu liefern, beispielsweise bei der Elastizitätstheorie. Weitere Anwendungsgebiete sind im Bereich von Phasenübergängen und Program Slicing zu finden.

## Verwandte Konvergenzbegriffe

Ein auf Banachräumen verwandter Konvergenzbegriff ist die Mosco-Konvergenz, die äquivalent ist zu gleichzeitiger Γ-Konvergenz bezüglich der Normtopologie und der schwachen Topologie.

