Suites de Cauchy et théorème du point fixe de Banach



Documents pareils
Amphi 3: Espaces complets - Applications linéaires continues

Image d un intervalle par une fonction continue

Limites finies en un point

Suites numériques 3. 1 Convergence et limite d une suite

Continuité d une fonction de plusieurs variables

I. Polynômes de Tchebychev

Continuité en un point

Leçon 01 Exercices d'entraînement

Intégration et probabilités TD1 Espaces mesurés Corrigé

Cours3. Applications continues et homéomorphismes. 1 Rappel sur les images réciproques

Dualité dans les espaces de Lebesgue et mesures de Radon finies

Théorème du point fixe - Théorème de l inversion locale

Chapitre 7 : Intégration sur un intervalle quelconque

Intégration et probabilités TD1 Espaces mesurés

Suites numériques 4. 1 Autres recettes pour calculer les limites

3 Approximation de solutions d équations

Continuité et dérivabilité d une fonction

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours

Calcul fonctionnel holomorphe dans les algèbres de Banach

Moments des variables aléatoires réelles

Développement décimal d un réel

EXERCICE 4 (7 points ) (Commun à tous les candidats)

Commun à tous les candidats

Théorie de la Mesure et Intégration

Structures algébriques

Chapitre 2 Le problème de l unicité des solutions

La mesure de Lebesgue sur la droite réelle

Raisonnement par récurrence Suites numériques

Optimisation non linéaire Irène Charon, Olivier Hudry École nationale supérieure des télécommunications

n N = u N u N+1 1 u pour u 1. f ( uv 1) v N+1 v N v t

Cours d Analyse 3 Fonctions de plusieurs variables

Résolution d équations non linéaires

Capes Première épreuve

Différentiabilité ; Fonctions de plusieurs variables réelles

Méthodes de quadrature. Polytech Paris-UPMC. - p. 1/48

MESURE ET INTÉGRATION EN UNE DIMENSION. Notes de cours

De même, le périmètre P d un cercle de rayon 1 vaut P = 2π (par définition de π). Mais, on peut démontrer (difficilement!) que

Carl-Louis-Ferdinand von Lindemann ( )

3. Conditionnement P (B)

Chapitre 2. Eléments pour comprendre un énoncé

Théorie de la mesure. S. Nicolay

rf( 1 f(x)x dx = O. ) U concours externe de recrutement de professeurs agreg6s composition d analyse

Construction de l'intégrale de Lebesgue

Calcul différentiel sur R n Première partie

Cours de mathématiques

Correction de l examen de la première session

Université Paris-Dauphine DUMI2E 1ère année, Applications

Théorèmes du Point Fixe et Applications aux Equations Diérentielles

Fonctions de plusieurs variables

Problème 1 : applications du plan affine

Intégrale de Lebesgue

Équations non linéaires

Fonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre

Première partie. Préliminaires : noyaux itérés. MPSI B 6 juin 2015

La fonction exponentielle

4. Martingales à temps discret

Exercices - Fonctions de plusieurs variables : corrigé. Pour commencer

Axiomatique de N, construction de Z


Yamina Yagoub-Zidi. Inconditionnalité et propriétés du point fixe dans les espaces de fonctions lisses

PROBABILITÉS: COURS DE LICENCE DE MATHÉMATIQUES APPLIQUÉES LM 390

Quels polygones sont formés par les milieux des côtés d un autre polygone?

Théorie de la Mesure et Intégration

FONCTION EXPONENTIELLE ( ) 2 = 0.

Développements limités. Notion de développement limité

Problèmes de Mathématiques Filtres et ultrafiltres

Approximations variationelles des EDP Notes du Cours de M2

COMPTE-RENDU «MATHS EN JEANS» LYCEE OZENNE Groupe 1 : Comment faire une carte juste de la Terre?

FONCTIONS À CROISSANCE RÉGULIÈRE

= 1 si n = m& où n et m sont souvent des indices entiers, par exemple, n, m = 0, 1, 2, 3, 4... En fait,! n m

Mesures gaussiennes et espaces de Fock

Recherche dans un tableau

Sur certaines séries entières particulières

chapitre 4 Nombres de Catalan

ANNALES SCIENTIFIQUES DE L É.N.S.

Géométrie dans l espace Produit scalaire et équations

Exercices Corrigés Premières notions sur les espaces vectoriels

Cours Fonctions de deux variables

Frédéric Laroche 2009

Mesure et Intégration (Notes de cours de L3)

Cours d Analyse. Fonctions de plusieurs variables

Le produit semi-direct

IV- Equations, inéquations dans R, Systèmes d équations

THÉORIE DE LA MESURE ET DE L INTÉGRATION.

Exercices - Polynômes : corrigé. Opérations sur les polynômes

Démontrer qu'un point est le milieu d'un segment

I. Ensemble de définition d'une fonction

Chp. 4. Minimisation d une fonction d une variable

Chapitre 3. Mesures stationnaires. et théorèmes de convergence

Optimisation des fonctions de plusieurs variables

Fonctions Analytiques

Calcul différentiel. Chapitre Différentiabilité

Fonctions de plusieurs variables : dérivés partielles, diérentielle. Fonctions composées. Fonctions de classe C 1. Exemples

Date : Tangram en carré page

Calcul matriciel. Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes.

Planche n o 22. Fonctions de plusieurs variables. Corrigé

CHAPITRE IV. L axiome du choix

Fibonacci et les paquerettes

Nombre de marches Nombre de facons de les monter

Équations non linéaires

Transcription:

ACCUEIL Suites de Cauchy et théorème du point fixe de Banach Frédéric Élie, novembre 2012 La reproduction des articles, images ou graphiques de ce site, pour usage collectif, y compris dans le cadre des études scolaires et supérieures, est INTERDITE. Seuls sont autorisés les extraits, pour exemple ou illustration, à la seule condition de mentionner clairement l auteur et la référence de l article. Les suites de Cauchy sont d'un usage constant dans les espaces vectoriels normés complets, comme ceux basés sur le corps des réels ou des complexes, parce qu'elles permettent, grâce au théorème de Bolzano-Weierstrass, de s'assurer de la convergence d'une suite (ce théorème énonce que toute suite réelle ou complexe bornée admet une sous-suite convergente). Un cas intéressant d'application des suites de Cauchy est celui du théorème du point fixe de Banach concernant les applications contractantes. Selon ce théorème, toute fonction contractante dans un sous-espace fermé d'un espace vectoriel normé admet un point fixe unique. Les conséquences de ce théorème de l'analyse fonctionnelle sont immenses dans des domaines aussi divers que: la résolution des équations différentielles, la stabilité et le contrôle des systèmes en automatisme, l'étude de l'évolution des systèmes dynamiques et chaotiques vers des états "attracteurs" dont les applications touchent tous les domaines scientifiques (théorie des systèmes complexes, économie, finances, sciences stratégiques, sciences cognitives, systèmes biologiques, évolutions climatiques, etc...). Ces approches ne pourront pas être développées dans le cadre très restreint de cet article, qui se bornera à exposer les définitions et théorèmes relatifs aux suites de Cauchy et au théorème du point fixe de Banach. 1 - Définition d'une suite de Cauchy Soit (E,. ) un espace vectoriel normé, de norme.. Une suite (u n ) est de Cauchy si, pour un rang suffisamment grand, ses valeurs sont arbitrairement proches (leurs différences tendent vers zéro), ce qu'illustre la figure 1. Cela s'énonce ainsi: η>0 N N n,m N: n,m N u n u m <η figure 1 - suite de Cauchy Frédéric Élie http://fred.elie.free.fr, novembre 2012 page 1/7

2 - Une suite convergente est-elle de Cauchy? Réponse: oui, toujours. Proposition (1): Toute suite convergente est une suite de Cauchy. Preuve: Soit (u n ) une suite convergente dans (E,. ), de limite L; par définition de la convergence (figure 2): ϵ>0, N N, n N,n N u n L < ϵ figure 2 - suite convergente Suite de Cauchy: η>0 N N n,m N: n,m N u n u m <η Or: u n - u m = (u n - L) - (u m - L) L'inégalité triangulaire (une des propriétés définissant une norme) donne: (u n - L) - (u m - L) u n - L + u m - L < 2ε donc u n - u m < η il suffit de choisir η = 2ε La suite (u n ) convergente de limite L est donc une suite de Cauchy - CQFD 3 - Espaces complets, théorème de Bolzano-Weierstrass La réciproque de la proposition (1) est fausse: dans un espace vectoriel normé quelconque, une suite de Cauchy n'est pas nécessairement convergente. Définition (espace vectoriel normé complet) - (E,. ) est dit complet quand toute suite de Cauchy y est convergente. Bien noter que la propriété de complétude est rattachée au choix de la norme. : pour un même espace vectoriel, E est complet pour certaines normes et pas pour d'autres. Théorème (2) - R, C et tous les espaces vectoriels normés de dimension finie sont complets. Preuve: Pour démontrer le théorème (2) il faut, dans un espace vectoriel normé de dimension finie, utiliser le théorème de Bolzano-Weierstrass: Théorème (3) de Bolzano-Weierstrass: Toute suite réelle ou complexe bornée admet une sous-suite convergente. Donc il suffira de montrer d'abord que toute suite de Cauchy est bornée dans un espace vectoriel normé Frédéric Élie http://fred.elie.free.fr, novembre 2012 page 2/7

de dimension finie. La démonstration se termine alors par le théorème (4) suivant dont la preuve est immédiate ( 1 ): Théorème (4): Toute suite de Cauchy dans un espace vectoriel normé qui admet une sous-suite convergente est elle-même convergente. On montre alors d'abord qu'une suite de Cauchy est bornée. Or on a: ϵ>0 N N n, m N: n,m N u n u m <ϵ En particulier, si m est fixé et correspond à une valeur de la suite u m = a, alors u n - a < ε donc la suite est bornée. La suite de Cauchy admet donc une sous-suite convergente, d'après le théorème de Bolzano- Weierstrass (3). Donc elle est elle-même convergente d'après le théorème (4). CQFD. Reste alors à prouver le théorème de Bolzano-Weierstrass (3), ce que nous faisons au paragraphe 4 ciaprès. 4 - Preuve du théorème de Bolzano-Weierstrass Ce théorème peut être démontré par la méthode dichotomique (figure 3): figure 3 - principe de la méthode dichotomique Par définition, une suite est formée d'un nombre infini dénombrable de termes: 0 n +, donc n parcourt l'ensemble des entiers naturels N. La suite (un) étant bornée, il existe: a 0 =inf (u n, n N) b 0 =su p(u n, n N) autrement dit: n N,a 0 b 0 Soit N(a,b) l'ensemble des indices n correspondant aux termes de la suite (u n ) qui sont compris entre a et b: N (a,b)={n N/a b} 1 En effet, soit (u n ) une suite de Cauchy, et (u f(n) ) une sous-suite convergente, où f(n) est une fonction de changement d'indice croissante. Pour n suffisamment grand on a donc: u f(n) - L < ε et comme un de Cauchy, pour m et n suffisamment grand on a: u m - u f(n) = (u m - L) - (u f(n) - L) u m - L + u f(n) - L < 2ε, donc la suite de Cauchy un converge. Frédéric Élie http://fred.elie.free.fr, novembre 2012 page 3/7

avec a 0 a et b b 0. On a évidemment N (a,b) N. En particulier si a = a 0 et b = b 0 on a N(a 0, b 0 ) = N puisque dans ce cas tous les indices n de la suite sont employés (on a donc affaire à la suite (u n )). Dichotomie: - On prend le milieu c 0 de a 0 et b 0, et la suite (u n ) se répartit en deux sous-ensembles de part et d'autre de ce milieu: c 0 = a 0 +b 0 2 - Les indices des termes de la suite qui appartiennent à ces deux sous-ensembles se répartissent donc en deux sous-ensembles de N: N (a 0, c 0 )={n N/a 0 c 0 } N (c 0, b 0 )={n N/c 0 b 0 } et l'on a: N (a 0,b 0 )=N=N (a 0, c 0 ) N (c 0,b 0 ) donc: Card N = + = Card N(a 0,c 0 ) + Card N(c 0,b 0 ) donc l'un des sous-ensembles N(a 0,c 0 ) ou N(c 0,b 0 ) est infini: - Si Card N(a 0,c 0 ) = + : on pose alors a 1 = a 0 et b 1 = c 0 - Si Card N(c 0,b 0 ) = + : on pose alors a 1 = c 0 et b 1 = b 0. - Par construction, on a donc: [a 1,b 1 ]={u n /a 1 b 1 } infini, Card N(a 1, b 1 ) =, donc [a 1, b 1 ] est bien une sous-suite (car infinie) de (u n ). - Le processus de dichotomie est poursuivi jusqu'au rang n: [a n,b n ] construit tel que Card N(a n,b n ) =. Le milieu de [an, bn] est: c n = a n +b n 2 et l'on a: N (a n, b n )= N (a n, c n ) N (c n,b n ) infini, donc l'un au moins des sous-ensembles d'indices N(a n,c n ) ou N(c n,b n ) est infini: - Si Card N(a n,c n ) = alors on pose a n+1 = a n, b n+1 = c n ; - Si Card N(c n,b n ) = alors on pose a n+1 = c n, b n+1 = b n. - On construit ainsi par récurrence une suite de segments emboîtés ([a n,b n ]): [a 0, b 0 ] [a 1, b 1 ]... [a n, b n ] [a n+1, b n +1 ]... La longueur d'un segment [a n,b n ] est, par construction: Cette longueur tend vers 0 quand n tend vers l'infini: L n = b 0 +a 0 2 n lim L n =0 n par conséquent les suites des bornes (a n ) et (b n ) sont des suites adjacentes c'est-à-dire ont une limite commune L. Reste à vérifier s'il existe une suite (u f(n) ) extraite de (u n ) qui converge vers cette limite L, où f est une application strictement croissante de N dans N (changement d'indice). A-t-on donc: lim u f (n ) =L? n Frédéric Élie http://fred.elie.free.fr, novembre 2012 page 4/7

Il suffit de choisir: f(0) = 0 f(n) > f(n-1) pour tout n avec u f (n ) [a n,b n ] c'est-à-dire f (n) N (a n, b n ), ce qui est possible puisque N(a n, b n ) est infini et il suffit de prendre par exemple u f(n) = a n ou b n, puisque a n et b n font partie des valeurs de la suite (u n ). On a donc bien (u f(n) ) sous-suite extraite de (u n ) telle que: a n u f (n) b n et comme (a n ) et (b n ) sont adjacentes de limite L, on a aussi: autrement dit la suite (u f(n) ) est convergente - CQFD. 5 - Le théorème du point fixe de Banach lim u f (n) =L n Théorème (5) du point fixe de Banach: - Soit E un espace vectoriel normé complet et sous-espace fermé de E.. Soit f: U U une application contractante de U dans U, de rapport k. Alors f admet un unique point fixe a. U E un Preuve: S'ils croient que je vais avoir peur d'être contracté par une application contractante! Je reste décontracté!... X f Mais non! C'est pas de blague! Je viens d'être réellement contracté! Ça devient une idée fixe, ou plutôt un point fixe! f(x) Y f(u) f(y) Il s'agit de montrer que a, tel que f(a) = a, existe et est unique, avec a U. Une application f est contractante si elle est continue et s'il existe k [0,1] telle que x, y U : On forme la suite dans U: f(y) - f(x) k y - x x n+1 = f(x n) = f n+1 (x 0) Il suffit de montrer que (x n ) est une suite de Cauchy dans U, i.e.: ϵ>0, N N, n, p N, n N x n+ p x n <ϵ Frédéric Élie http://fred.elie.free.fr, novembre 2012 page 5/7

Or: x n+p = f(x n+p-1 ) = f n+p (x 0 ) x n = f(x n-1 ) = f n (x 0 ) donc: x n+p - x n = f n (f p (x 0 ) - f n (x 0 ) k f n-1 (f p (x 0 )) - f n-1 (x 0 ) k² f n-2 (f p (x 0 )) - f n-2 (x 0 )... k n f p (x 0 ) - x 0 or: f p (x 0 ) - x 0 = (f p (x 0 ) - f p-1 (x 0 )) + (f p-1 (x 0 ) - f p-2 (x 0 )) +... + (x 1 - x 0 ) donc: f p (x 0 ) - x 0 f p (x 0 ) - f p-1 (x 0 ) + f p-1 (x 0 ) - f p-2 (x 0 ) +... + x 1 - x 0 Comme: f p (x 0 ) - f p-1 (x 0 ) = x p - x p-1 f p-1 (x 0 ) - f p-2 (x 0 ) = x p-1 - x p-2... il vient: x n+p - x n k n [ x p - x p-1 + x p-1 - x p-2 +... + x 1 - x 0 ] Or: x p - x p-1 k p-1 x 1 - x 0 x p-1 - x p-2 k p-2 x 1 - x 0 etc... donc: x n+p - x n k n (k p-1 + k p-2 +... + k + 1) x 1 - x 0 Or l'expression entre parenthèses est le développement limité jusqu'à l'ordre p-1 de la fonction 1/(1 - k): 1 1 k =1+k +k²+...+k p 2 +k p 1 +o(k p ) donc elle est inférieure à 1/(1 - k) puisque 0 < k < 1. Par conséquent: x n+ p x n k n 1 k x 1 x 0 (6) Or: lim k n =0 donc (xn ) est une suite de Cauchy de limite L qui appartient à U puisque U est n topologiquement fermé. f étant supposée continue, on a: L=lim x n =lim n n f ( x n 1 )= f (lim x n 1 )= f ( L) n donc L est un point fixe de f. Unicité de L: supposons qu'il existe un autre L' tel que f(l') = L', alors: Comme k > 0 cela n'arrive que si L = L' - CQFD. L - L' = f(l) - f(l') k L - L' Remarque: Appliquons (6) à x n+p = L et x n = x 0 (donc n = 0) alors L x 0 1 1 k f ( x 0 ) x 0 (7) L'inégalité (7) permet d'évaluer la précision avec laquelle on approche de la solution d'une équation de la forme f(x) = x, où f est une fonction contractante. Frédéric Élie http://fred.elie.free.fr, novembre 2012 page 6/7

Références: - Walter Appel: Mathématiques pour la physique et les physiciens H & K éditions 2005 - Michel Cofsaftis : comportement et contrôle des systèmes complexes - Diderot éd. 1997 - Pierre Colez : éléments d'analyse et d'algèbre (et de théorie des nombres) éditions de l École Polytechnique, septembre 2011 - Walter Rudin: Analyse réelle et complexe Masson et Cie 1975 - Jean-Marie Arnaudiès : problèmes de préparation à l'agrégation de mathématiques, 3. Analyse : séries, séries entières, séries de fonctions Ellipses 1997 Frédéric Élie http://fred.elie.free.fr, novembre 2012 page 7/7