Palais-Smale-Bedingung
# Palais-Smale-Bedingung

Die Palais-Smale-Bedingung (auch Palais-Smale-Kompaktheits-Bedingung), abgekürzt als (PS), ist in der Variationsrechnung eine Bedingung für Kompaktheit in unendlich-dimensionalen Räumen. Der Kompaktheitsbegriff wird hier nicht auf dem Raum definiert, sondern auf den Funktionalen selbst, die spezielle kritische Punkte besitzen. Die Bedingung ist dadurch interessant, da viele Funktionale sie erfüllen. Es existieren mehrere Varianten der Bedingung, wobei die Originalbedingung heute häufig als Bedingung (C) bezeichnet wird und eine stärkere Bedingung als (PS). (PS) ist eine notwendige Bedingung im Satz vom Bergpass (auch Satz vom Gebirgspasses genannt) und findet Anwendung in der Theorie der partiellen Differentialgleichungen.

Die Palais-Smale-Bedingung ist nach Richard Palais und Stephen Smale benannt.

Die abgeschwächte Formulierung stammt von Haïm Brezis, Jean-Michel Coron und Louis Nirenberg.

## Palais-Smale-Bedingungen

### Bedingung (C)

Sei $X$ ein Banach-Raum, $I:X\to \mathbb {R}$ ein $C^{1}$-Funktional und $I|_{S}$ die Restriktion $I:S\to \mathbb {R}$ für $S\subset X$. Sei ${\mathcal {S}}$ die Klasse bestehend aus allen Untermengen $S\subset X$, so dass

* $I|_{S}$ beschränkt ist,
* $\|I|_{S}'\|$ nicht von $0$ weg beschränkt ist, das bedeutet, es existiert keine Konstante $c>0$, so dass $\|I|_{S}'\|>c$.

Dann erfüllt $I$ die Bedingung (C), falls jedes $S\in {\mathcal {S}}$ einen kritischen Punkt von $I$ auf dem Abschluss von $S$ besitzt.

### Palais-Smale-Bedingung

Sei $X$ ein Banach-Raum und $I:X\to \mathbb {R}$ ein $C^{1}$-Funktional. Dann erfüllt $I$ die Palais-Smale-Bedingung (PS), falls für jede Folge $(u_{k})_{k}$ in $X$, für die gilt

* $(I[u_{k}])_{k}$ ist beschränkt,
* $I'[u_{k}]\to 0$,

eine konvergente Teilfolge existiert.

### Lokale Palais-Smale-Bedingung

Sei $X$ ein Banach-Raum, $I:X\to \mathbb {R}$ ein $C^{1}$-Funktional und $c\in \mathbb {R}$. Dann erfüllt $I$ die (lokale) Palais-Smale-Bedingung $(PS)_{c}$ auf Niveau $c$, falls für jede Folge $(u_{k})_{k}$ in $X$, für die gilt

* $I[u_{k}]\to c$,
* $I'[u_{k}]\to 0$,

eine konvergente Teilfolge existiert.

### Erläuterungen

* Es gilt $(PS)\implies (C)$ und $(PS)\implies (PS)_{c}$ sowie $(PS)_{c}\forall c\in \mathbb {R} \implies (PS)$.
* Sei $\mathbb {K}$ die Menge aller kritischen Punkte. Weiter sei $(K)$ die Bedingung, dass für alle $B\subset \mathbb {K}$ auf denen $I\vert _{B}$ gleichmäßig beschränkt ist, $B$ auch präkompakt ist. Dann gilt $(C)\land (K)\implies (PS)$.
