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.[1]

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

Palais-Smale-Bedingungen

Bearbeiten

Bedingung (C)

Bearbeiten

Sei   ein Banach-Raum,   ein  -Funktional und   die Restriktion   für  . Sei   die Klasse bestehend aus allen Untermengen  , so dass

  •   beschränkt ist,
  •   nicht von   weg beschränkt ist, das bedeutet, es existiert keine Konstante  , so dass  .

Dann erfüllt   die Bedingung (C), falls jedes   einen kritischen Punkt von   auf dem Abschluss von   besitzt.[3]

Palais-Smale-Bedingung

Bearbeiten

Sei   ein Banach-Raum und   ein  -Funktional. Dann erfüllt   die Palais-Smale-Bedingung (PS), falls für jede Folge   in  , für die gilt

  •   ist beschränkt,
  •  ,

eine konvergente Teilfolge existiert.[3]

Lokale Palais-Smale-Bedingung

Bearbeiten

Sei   ein Banach-Raum,   ein  -Funktional und  . Dann erfüllt   die (lokale) Palais-Smale-Bedingung   auf Niveau  , falls für jede Folge   in  , für die gilt

  •  ,
  •  ,

eine konvergente Teilfolge existiert.[3]

Erläuterungen

Bearbeiten
  • Es gilt   und   sowie  .
  • Sei   die Menge aller kritischen Punkte. Weiter sei   die Bedingung, dass für alle   auf denen   gleichmäßig beschränkt ist,   auch präkompakt ist. Dann gilt  .

Literatur

Bearbeiten
  • Youssef Jabri: The Mountain Pass Theorem: Variants, Generalizations and Some Applications. Hrsg.: Cambridge University Press (= Encyclopedia of Mathematics and its Applications). Cambridge 2003, S. 15–16, doi:10.1017/CBO9780511546655.
  • Lawrence C. Evans: Partial Differential Equations (= Graduate Studies in Mathematics. Band 19). 3. Auflage. American Mathematical Society, 2002, ISBN 0-8218-0772-2, ISSN 1065-7339, S. 477.

Einzelnachweise

Bearbeiten
  1. R. S. Palais und S. Smale: A generalized Morse theory. In: Bull. Amer. Math. Soc. Band 70, 1964, S. 165–172.
  2. H. Brezis H., J.M. Coron und L. Nirenberg L: Free vibrations for a nonlinear wave equation and a theorem of Rabinowitz. In: Comm. Pure Appl. Math. Band 33, 1980, S. 667–689.
  3. a b c Youssef Jabri: The Mountain Pass Theorem: Variants, Generalizations and Some Applications. Hrsg.: Cambridge University Press (= Encyclopedia of Mathematics and its Applications). Cambridge 2003, S. 15–16, doi:10.1017/CBO9780511546655.