Condition de Palais-Smale
La condition de Palais–Smale (ou condition de compacité de Palais–Smale), nommée ainsi en l'honneur de Richard Palais et Stephen Smale, est une hypothèse utile pour démontrer certains théorèmes du calcul des variations en l'absence de compacité. Elle garantit l'existence de certains types de points critiques, en particulier de points col. La condition porte sur la fonctionnelle dont on cherche à montrer l’existence d’un extremum.
Dans les espaces de dimension infinie, la condition de Palais–Smale pour une fonction de classe C1 à valeurs réelles est automatiquement satisfaite pour les applications propres qui, dans ce cas, sont les fonctions pour lesquelles l’image réciproque d’un sous-ensemble borné est bornée. En calcul des variations, où l'on s'intéresse généralement aux espaces fonctionnels de dimension infinie, une condition supplémentaire de compacité est nécessaire car les bornés ne sont plus nécessairement précompacts. Voir, par exemple, la preuve du théorème du col dans la section 8.5 d'Evans.
Formulation forte
On dit qu'une fonctionnelle continûment différentiable au sens de Fréchet d'un espace de Hilbert H à valeurs dans ℝ satisfait la condition de Palais-Smale si toute suite vérifiant:
- est bornée
- en H
admet une sous-suite convergente dans H.
Formulation faible
Soit X un espace de Banach et une fonctionnelle différentiable au sens de Gateaux. On dit que la fonctionnelle satisfait la condition faible de Palais-Smale si pour toute suite vérifiant
il existe un point critique de , tel que
Références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Palais-Smale compactness condition » (voir la liste des auteurs).
- (en) Lawrence C. Evans, Partial Differential Equations, Providence, Rhode Island, American Mathematical Society, , 662 p. (ISBN 0-8218-0772-2)
