Théorème du point fixe de Leray-Schauder
Le théorème du point fixe de Leray-Schauder est une généralisation du théorème du point fixe de Brouwer à des espaces vectoriels topologiques de dimension infinie. Il a été démontré d'abord dans le cas des espaces de Banach par Juliusz Schauder[1]. Il intervient dans la démonstration de l'existence de solutions d'équations différentielles.
Énoncé
[modifier | modifier le code]Théorème — Soient E un ℝ-espace vectoriel topologique séparé et C un convexe non vide de E.
Toute application continue de C dans une partie compacte de C a un point fixe.
Histoire
[modifier | modifier le code]Ce théorème fut d'abord démontré en 1930 par Schauder dans des cas particuliers, comme celui des espaces vectoriels topologiques métrisables complets[1]. Il conjectura le cas général dans le Livre écossais. En 1934, Tychonoff démontra le théorème dans le cas où C est compact et E est localement convexe[2]. Cette version est connue sous le nom de théorème du point fixe de Tychonoff. B. V. Singbal généralisa ce résultat au cas où C n'est pas compact[3]. Le cas général (sans l'hypothèse de convexité locale) fut finalement démontré par Robert Cauty en 2001[4].
En 1951, James Dugundji[5] remarqua, comme corollaire de son théorème de prolongement, que la généralisation « naïve » en dimension infinie du théorème du point fixe de Brouwer est fausse : dans tout espace vectoriel normé de dimension infinie, il existe des applications continues sans point fixe de la boule unité fermée (non compacte) dans elle-même.
Théorème du point fixe de Schaefer
[modifier | modifier le code]Une conséquence, appelée le théorème du point fixe de Schaefer, est particulièrement utile pour prouver l'existence de solutions d'équations aux dérivées partielles non linéaires. Ce théorème de Schaefer est en fait un cas particulier d'un théorème de plus grande portée découvert auparavant par Schauder et Leray[6]. Il s'énonce ainsi[7] :
![{\displaystyle \{x\in E\mid \exists \lambda \in \left]0,1\right[,~x=\lambda T(x)\}}](/media/api/rest_v1/media/math/render/svg/081a86a5bb3ad9d247aa106445af1e8c8819d7db)
![{\displaystyle \lambda \in \left[0,1\right]}](/media/api/rest_v1/media/math/render/svg/6b44c60a9ec791c9a67aa73deb58451cbca39655)
Notes et références
[modifier | modifier le code]- (de) J. Schauder, « Der Fixpunktsatz in Funktionalräumen », Studia Math., vol. 2, , p. 171-180 (lire en ligne).
- (de) A. Tychonoff, « Ein Fixpunktsatz », Math. Ann., vol. 111, , p. 767–776 (lire en ligne).
- (en) F. F. Bonsall, Lectures on Some Fixed Point Theorems of Functional Analysis, Bombay, (lire en ligne), chap. 8, p. 136-137.
- Robert Cauty, « Solution du problème de point fixe de Schauder », Fund. Math., vol. 170, , p. 231-246 (lire en ligne).
- (en) J. Dugundji, « An extension of Tietze's theorem », Pacific J. Math., vol. 1, , p. 353-367 (lire en ligne), Theorem 6.3.
- J. Leray et J. Schauder, « Topologie et équations fonctionnelles », Ann. Sci. Éc. Norm. Supér., 3e série, vol. 51, , p. 45-78 (DOI 10.24033/asens.836).
- (en) Jane Cronin, Fixed Points and Topological Degree in Nonlinear Analysis, AMS, , 198 p. (ISBN 978-0-8218-1511-3, lire en ligne), p. 133.
- Une application est dite compacte si l'image de toute partie bornée est relativement compacte.
Voir aussi
[modifier | modifier le code]Article connexe
[modifier | modifier le code]Théorème du point fixe de Kakutani
Liens externes
[modifier | modifier le code]Preuve dans le cas particulier où E est un espace vectoriel normé et où le convexe fermé C est borné et symétrique : Écoles normales supérieures, Sujet commun Paris-Lyon, 1998, énoncé et une solution, par M. Tibouchi.
