Théorème du point fixe de Schauder

Théorème du point fixe de Schauder

Le théorème du point fixe de Schauder, prouvé en 1930 par le mathématicien polonais Juliusz Schauder est un puissant théorème du point fixe intervenant dans la démonstration de l'existence de solutions à une équation différentielle.

Énoncé

Soit E un espace vectoriel normé sur \mathbb{R}, \mathcal{C} une partie non vide de E, convexe, fermée et bornée.

Si T est une application continue de C dans C telle que T(C) soit relativement compact, alors T a un point fixe.

Preuve

Notons ||\cdot||_E la norme de E.

Soit \varepsilon > 0. T(C) étant une partie relativement compacte de C, il est précompact, on peut donc recouvrir T(C) à l'aide d'un nombre fini de boules de rayon ε. Autrement dit, il existe Nε un nombre entier, et e_1^\varepsilon, \dots, e_{N_\varepsilon}^\varepsilon dans C tels que :

T(C) \subset \bigcup_{1 \leq i \leq N_\varepsilon} B_{E,||\cdot||_E}^{\prime} \Big( e_i^\varepsilon, \frac{\varepsilon}{2}\Big)

On définit alors pour tout i \in \{1, 2, \dots, N_{\varepsilon}\} l'application \pi_{i,\epsilon} de C dans \mathbb{R} par :

\forall e \in C, \pi_{i,\varepsilon} (e) = \max \Big(0, \varepsilon - ||T(e) - e_i^\varepsilon||_E\Big)

Chacune de ces applications est bien continue. On définit alors l'application continue Tε par :

\forall e \in C, T_\varepsilon(e) = \frac{\sum_{i=1}^{N_\varepsilon} \pi_{i,\varepsilon}(e)e_i^\varepsilon}{\sum_{i=1}^{N_\varepsilon} \pi_{i,\varepsilon}(e)}

Tout d'abord, cette formule est bien définie, car le dénominateur n'est jamais nul. En effet, T(e) est dans l'une des boules B_{E,||\cdot||_E}^{\prime} \Big( e_i^\varepsilon, \frac{\varepsilon}{2}\Big) et donc pour ce i, πi(e) > 0.

Par ailleurs \sup_{e \in C} ||T_\varepsilon(e) - T(e)||_E \leq \varepsilon. En effet, en notant J = \{i \in \{1, \dots, N_\varepsilon \}, \pi_{i , \varepsilon}(e) \neq 0\}, on vérifie que si i \in J, \varepsilon - ||T(e) - e_i^\varepsilon||_E > 0 et :

 ||T_\varepsilon(e) - T(e)||_E \leq \Big( \sum_{i \in J} \pi_{i,\varepsilon}(e) \Big)^{-1} \Big( \sum_{i \in J} \pi_{i,\varepsilon}(e) ||e_i^\varepsilon - T(e)||_E\Big) \leq \varepsilon

Posons alors H_\varepsilon = C \cap (\mathbb{R}e_1^\varepsilon + \cdots + \mathbb{R}e_{N_\varepsilon}^\varepsilon). La définition même de Tε nous assure que T_\varepsilon(H_\varepsilon) \subset H_\varepsilon.

Hε est un sous-ensemble fermé, borné, convexe, symétrique, inclus dans le sous-espace G = vectHε de dimension finie P \leq N_\varepsilon. On peut donc extraire de Hε une base (e_1, \dots, e_P) de G. Supposons à présent que Hε contient plus de deux éléments. Alors P \geq 1. Montrons que 0 est à l'intérieur de Hε, considéré en tant que partie de G. Les normes sur G étant équivalentes (G est de dimension finie), on peut considérer la norme N définie par N\Big(\sum_{1 \leq i \leq P} x_ie_i\Big) = \sum_{1 \leq i \leq P} |x_i| . Si N(x) \leq  1, on peut écrire x = \sum_{i=1}^P x_ie_i, où \sum_{i=1}^P |x_i| \leq 1. Posons alors xi = δi | xi | , où \delta_i = \pm 1, alors x = \sum_{i=1}^P |x_i| (\delta_i e_i), donc x est barycentre convexe des δiei qui sont dans Hε (on rappelle que Hε est symétrique et convexe). Il en résulte que Hε contient la boule pour N de centre 0 et de rayon 1. 0 est bien à l'intérieur de Hε

On définit l'application ρ de G dans \mathbb{R}^+ par la formule :

\forall a \in G, \rho(a) = \inf \Big\{ \eta \in \R_+^*, \frac{1}{\eta} a \in H_\varepsilon \Big\}

Tout d'abord, comme 0 appartient à l'intérieur de G, la fonction ρ est bien définie. On montre (par un raisonnement fastidieux, mais non difficile) que c'est une norme pour G, dont la boule unité n'est rien d'autre que Hε. Ainsi Hε est homéomorphe à la boule unité de \mathbb{R}^P (dans le cas où P = 0, c'est évident), et l'application directe du théorème du point fixe de Brouwer dit qu'il existe un vecteur e_\varepsilon \in H_\varepsilon tel que Tε(eε) = eε.

On peut appliquer tout ce long raisonnement pour \varepsilon = \frac{1}{n+1}, on dispose alors d'une suite d'éléments (xn) de C tels que :

T_{\frac{1}{n+1}}(x_n) = x_n

D'autre part, on sait que \Big|\Big| T(x_n) - x_n \Big|\Big| \leq \frac{1}{n+1}. Comme T(C) est relativement compact, \overline{T(C)} est compact, on peut extraire de (T(xn)) une sous-suite (Tσ(n)) convergente. Notons e sa limite, on a alors \lim_{n \to \infty} T(x_{\sigma(n)}) = e donc T(e) = e. e est bien dans C car \overline{T(C)} \subset \overline{C} = C.

Référence


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème du point fixe de Schauder de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • Theoreme du point fixe de Schauder — Théorème du point fixe de Schauder Le théorème de Schauder, prouvé en 1930 par le mathématicien polonais Juliusz Schauder est un puissant théorème du point fixe intervenant dans la démonstration de l existence de solutions à une équation… …   Wikipédia en Français

  • Théorème du point fixe de schauder — Le théorème de Schauder, prouvé en 1930 par le mathématicien polonais Juliusz Schauder est un puissant théorème du point fixe intervenant dans la démonstration de l existence de solutions à une équation différentielle. Énoncé Soit E un espace… …   Wikipédia en Français

  • Théorème du point fixe de Brouwer — En 1886 Henri Poincaré démontre un résultat équivalent au théorème du point fixe de Brouwer. L énoncé exact est prouvé pour la dimension trois par Piers Bohl pour la première fois en 1904, puis par Jacques Hadamard dans le cas général en 1910.… …   Wikipédia en Français

  • Théorème du point fixe — Théorèmes de point fixe En analyse, un théorème de point fixe est un résultat qui permet d affirmer qu une fonction f admet sous certaines conditions un point fixe. Ces théorèmes se révèlent être des outils très utiles en mathématiques,… …   Wikipédia en Français

  • Theoremes de point fixe — Théorèmes de point fixe En analyse, un théorème de point fixe est un résultat qui permet d affirmer qu une fonction f admet sous certaines conditions un point fixe. Ces théorèmes se révèlent être des outils très utiles en mathématiques,… …   Wikipédia en Français

  • Théorèmes de point fixe — En analyse, un théorème de point fixe est un résultat qui permet d affirmer qu une fonction f admet sous certaines conditions un point fixe. Ces théorèmes se révèlent être des outils très utiles en mathématiques, principalement dans le domaine de …   Wikipédia en Français

  • Théorème de Shauder — Théorème du point fixe de Schauder Le théorème de Schauder, prouvé en 1930 par le mathématicien polonais Juliusz Schauder est un puissant théorème du point fixe intervenant dans la démonstration de l existence de solutions à une équation… …   Wikipédia en Français

  • Theoreme de Hahn-Banach — Théorème de Hahn Banach Ce théorème, auquel a été donné le nom des deux mathématiciens Hans Hahn et Stefan Banach, garantit l existence d une forme linéaire vérifiant certaines conditions (valeurs imposées sur une partie de l espace, mais… …   Wikipédia en Français

  • Théorème de hahn-banach — Ce théorème, auquel a été donné le nom des deux mathématiciens Hans Hahn et Stefan Banach, garantit l existence d une forme linéaire vérifiant certaines conditions (valeurs imposées sur une partie de l espace, mais limitées partout). En… …   Wikipédia en Français

  • Theoreme de projection sur un convexe ferme — Théorème de projection sur un convexe fermé En mathématiques, le théorème de projection orthogonale sur un convexe est un résultat de minimisation de la distance qui généralise la projection orthogonale sur un espace vectoriel. Il remplace… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”