Licence Calcul Differentiel

LICENCE DE MATHMATIQUES PURES
Calcul Diffrentiel
Universit Bordeaux I Anne universitaire 2000-01
P HILIPPE C HARPENTIER U NIVERSIT B ORDEAUX I L ABORATOIRE DE MATHMATIQUES P URES 351, C OURS DE LA L IBRATION , 33405 TALENCE Adresse lectronique: Philippe.Charpentier@math.u-bordeaux.fr
Introduction
Ce
polycopi a t ralis durant lanne universitaire 2000-2001 alors que jenseignais les certicats de Licence LA1 et LA2. Jai choisi de faire une prsentation assez exhaustive (donc ne correspondant pas toujours exactement au contenu des programmes ofciels de la Licence de Bordeaux) afn dviter au maximum les trous que jai pu constater en travaillant la prparation de loral de lagrgation. La prsentation tche toujours de dgager en premier les concepts gnraux mme si on ne les utilise que dans des cas particuliers. Par rapport au programme ofciel il ny a nalement que peu de changements. Pour les quations diffrentielles, la notion de solution approche a t systmatiquement dveloppe et utilise. Ainsi le Thorme de cauchy-Lipschitz est non seulement dmontr avec le Thorme du point xe mais aussi avec avec la mthode dEuler des solutions approches. Du mme coup, on montre le Thorme de Arzela-Cauchy-Pano. Les exercices des ns de chapitre sont ds aux enseignants de travaux dirigs, Christophe Bavard, Grard Galusinski, Gilles Robert et Philippe Monnier. Philippe Charpentier
iii
Table des matires
Introduction CHAPITRE I. Calcul Diffrentiel I.1. Fonctions diffrentiables . . . . . . . . . . . . . . . . . I.2. Thorme des accroissements nis et applications . . . . I.2.1. Le Thorme des accroissements nis . . . . . . . I.2.2. Applications du Thorme des accroissements nis I.3. Thormes dinversion locale et des fonctions implicites . I.3.1. Le Thorme dinversion locale . . . . . . . . . . I.3.2. Le Thorme des fonctions implicites . . . . . . . I.4. Diffrentielles dordre suprieurs . . . . . . . . . . . . . I.4.1. Diffrentielles secondes . . . . . . . . . . . . . . I.4.2. Diffrentielles dordres suprieurs . . . . . . . . . I.5. Formule de Taylor, dveloppements limits . . . . . . . . I.5.1. La formule de Taylor . . . . . . . . . . . . . . . I.5.2. Dveloppements limits . . . . . . . . . . . . . . I.5.3. Oprateurs diffrentiels . . . . . . . . . . . . . . I.6. Applications . . . . . . . . . . . . . . . . . . . . . . . . I.6.1. Maxima et minima relatifs . . . . . . . . . . . . . I.6.2. -conjugaison . . . . . . . . . . . . . . . . . . I.6.3. Sous-varits diffrentiables, extrema lis . . . . . Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . .
iii 1 1 6 6 8 10 10 13 14 14 16 20 20 22 27 28 28 29 32 36 43 43 43 46 47 47 52 52 52 53 55 56 57 59 62 62 63 64 65 66 66 67 67 68 70 71
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
CHAPITRE II. quations diffrentielles II.1. Gnralits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . II.1.1. Dnitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . II.1.2. Bouts des solutions maximales . . . . . . . . . . . . . . . . . . . . . . . . II.1.3. Cylindres de scurit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . II.2. Solutions approches, Mthode dEuler . . . . . . . . . . . . . . . . . . . . . . . II.3. Thormes dexistence et dunicit gnraux . . . . . . . . . . . . . . . . . . . . II.3.1. Le cas de dimension nie : le Thorme de Cauchy-Peano-Arzela . . . . . . II.3.2. Le cas localement lipschitzien . . . . . . . . . . . . . . . . . . . . . . . . II.3.2.1. Lemmes de Gronwall, Lemme fondamental . . . . . . . . . . . . II.3.2.2. Le Thorme de Cauchy-Lipschitz . . . . . . . . . . . . . . . . . II.3.2.3. Solutions globales . . . . . . . . . . . . . . . . . . . . . . . . . II.3.2.4. Dpendance par rapport aux conditions initiales et un paramtre II.4. Le Thorme des bouts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . II.5. quations diffrentielles linaires . . . . . . . . . . . . . . . . . . . . . . . . . . II.5.1. Dnitions, existence et unicit des solutions . . . . . . . . . . . . . . . . II.5.2. Rsolution des quations diffrentielles linaires dordre . . . . . . . . . II.5.2.1. Cas o est de dimension nie . . . . . . . . . . . . . . . . . . II.5.3. Rsolution des quations diffrentielles linaires dordre . . . . . . . . . II.5.3.1. quation diffrentielles linaires scalaires dordre . . . . . . . . II.5.4. quations diffrentielles linaires coefcients constants . . . . . . . . . . II.5.4.1. Cas o est de dimension nie . . . . . . . . . . . . . . . . . . II.5.4.2. Cas des quations dordre . . . . . . . . . . . . . . . . . . . . II.5.5. Stabilit des solutions des quations diffrentielles linaires . . . . . . . . . II.6. lments dtudes qualitatives en dimension . . . . . . . . . . . . . . . . . . . . Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . v
. . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .
TABLE DES MATIRES
Exemples de sujets et de corrigs dexamens Examen partiel de lanne universitaire 2000-2001 Sujet . . . . . . . . . . . . . . . . . . . . . Corrig . . . . . . . . . . . . . . . . . . . . Examen de la session de Juin 2001 . . . . . . . . Sujet . . . . . . . . . . . . . . . . . . . . . Corrig . . . . . . . . . . . . . . . . . . . . Examen de la session de Septembre 2001 . . . . . Sujet . . . . . . . . . . . . . . . . . . . . . Corrig . . . . . . . . . . . . . . . . . . . . Examen de la session de Mai 2002 . . . . . . . . Sujet . . . . . . . . . . . . . . . . . . . . . Corrig . . . . . . . . . . . . . . . . . . . . Index des Notations Index Terminologique Bibliographie
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
75 75 75 76 77 77 79 80 80 81 82 82 84 85 87 89
vi
Licence de Mathmatiques Pures de Bordeaux Calcul Diffrentiel
C HAPITRE
CALCUL DIFFRENTIEL
SECTION I.1
Fonctions diffrentiables
D FINITION I.1.1. 1. Soient un espace mtrique, un espace norm, un ouvert de , un point de et une fonction de dans . On dit quune fonction de dans un espace norm est un (resp. ), et on crit (resp. ) au point , sil existe un voisinage de et une fonction de dans telle que ). , avec (resp. 2. Soient et deux espaces norms, un ouvert de , et , , deux fonctions. , pour assez petit, on On dit que et sont tangentes en si, en posant a en . Il revient au mme de dire que . 3. Sous les mme hypothses que le 2., on dit que et sont strictement tangentes en si, et , il existe tel que, pour et on a , cest--dire que est lipschitzienne de rapport dans la boule .
Bien sr, la notion de stricte tangence est plus forte que celle de tangence.
P ROPOSITION I.1.1. Soient et deux espaces norms sur , un ouvert de , et , , deux fonctions. 1. La relation est tangente en est une relation dquivalence. Si est tangente en , en ce point ; en particulier, si est continue en , lest aussi. est continue en et vaut 2. Il existe au plus une application linaire de dans telle que les fonctions et soient tangentes en . De plus, si est continue en alors est continue et rciproquement.
Dmonstration. Le 1. est immdiat, et, la seule chose voir dans le 2. est le fait que si deux applications linaires et de sont tangentes en zro alors elles sont gales ce qui vident puisque
dans
CHAPITRE I. CALCUL DIFFRENTIEL
D FINITION I.1.2. Soient et deux espaces norms sur , un ouvert de , et . On dit que est diffrentiable en si les conditions suivantes sont vris : 1. est continue en . 2. Il existe une application linaire telle que les applications et soient tangentes en , cest--dire . De plus, lorsquelle existe, cette application linaire est unique et continue. On lappelle la diffrentielle de en ou la drive de en et elle se note ou encore . Si est diffrentiable en tout point de , on dit que est diffrentiable dans et lapplication de dans sappelle lapplication drive de , ou simplement la drive ou la diffrentielle de .
Remarque I.1.1. 1. La Proposition prcdente montre quune fonction est diffrentiable en si et seulement si la condition 2. de la Dnition ci-dessus est satisfaite avec continue. 2. est donc une application linaire de dans . Son action sur un lment de sera note ou . 3. Dans toute la suite, dans un nonc donn, les espaces vectoriels considrs sont des espaces vectoriels sur un mme corps qui est soit soit . Naturellement, lorsque les espaces norms sont complexes, on peut aussi les considrer comme des espaces norms rels. La notion de diffrentiabilit dpend alors du corps sur lequel on se place. En effet, si on considre que le corps des scalaires est , la fonction est diffrentiable sil existe une application -linaire tangente, et, si on considre que le corps des scalaires est , elle le sera sil existe une application -linaire tangente. Ainsi on voit aussitt, par la dnition mme, que la diffrentiabilit sur implique celle sur , la -diffrentielle tant gale la -diffrentielle, mais la rciproque nest pas vraie en gnral : une fonction -diffrentiable est -diffrentiable si et seulement si sa -diffrentielle est -linaire. , est une application linaire de dans . Elle scrit donc . On identie alors 4. Dans le cas o . Ceci redonne, dans le cas o , la notion usuelle de toujours lapplication linaire avec le point de drive. Le but du prsent cours nest pas dtudier les diffrences profondes qui existent entre la -diffrentiabilit et la -diffrentiabilit (ceci est essentiellement lobjet de la thorie des fonctions holomorphes), mais de construire une thorie des fonctions diffrentiables indpendante du corps.
D FINITION I.1.3. Soient et deux espaces norms, un ouvert de et . On dit que est continment diffrentiable dans ou de classe dans , et on note , ou simplement , si est diffrentiable dans et si lapplication drive est continue de dans (muni de la norme usuelle des applications linaires continues).
D FINITION I.1.4. Soient et deux espaces norms, un ouvert de , diffrentiable en sil existe une application linaire continue et soient strictement tangentes en .
et
. On dit que
est strictement telle que les applications
La Proposition suivante est immdiate :
P ROPOSITION I.1.2. Soient et deux espaces norms, un ouvert de , tiable en si et seulement si elle est diffrentiable en et si on a
et
est strictement diffren-
avec
Nous verrons, la section suivante (Proposition I.2.2, page 9), une condition sufsante de diffrentiabilit stricte qui implique quune fonction continment diffrentiable est strictement diffrentiable. La Proposition suivante se vrie trs facilement partir des dnitions :
P ROPOSITION I.1.3. Les notions de fonctions diffrentiables, strictement diffrentiables, de diffrentielle en un point et dapplication drive restent inchanges si on remplace les normes des espaces et par des normes quivalentes. P ROPOSITION I.1.4. Soient et trois espaces norms, un ouvert de et un ouvert de 1. Si et sont deux applications de dans diffrentiables en
2 Licence de Mathmatiques Pures de Bordeaux Calcul Diffrentiel
, pour tous scalaires
et ,
I.1. FONCTIONS DIFFRENTIABLES
est diffrentiable en et 2. Soient , , et supposons diffrentiable en alors est diffrentiable en et

Dmonstration. La preuve du 1. est lmentaire, vrions simplement le 2. crire
. . Si est diffrentiable en .

et
tant diffrentiable en , elle est continue, et on peut
pour voisin de . En crivant ensuite que est diffrentiable en et en remplaant dans lexpression prcdente, il vient
Comme
sont continues, on a
et
et
P ROPOSITION I.1.5. 1. Soient et deux espaces norms, un ouvert de diffrentiable en tout point de et , . 2. Soient continue. Alors ,
de et 3. Soient et deux espaces de Banach. Soit le sous ensemble de constitu des isomorphismes de sur . Alors est ouvert dans et lapplication de dans est de classe . De plus, pour toute , on a
est diffrentiable en tout point

et
. Si
est constante elle est
, et
des espaces norms et
une application multilinaire
Dmonstration. Le 1. est vident ainsi que le 2. pour
. Montrons donc le 2. pour
. Par linarit, on a

, , si et de telle que
et
est une somme dexpressions de la forme avec si . Alors la continuit de implique quil existe une constante ce qui termine la preuve du 2.
, card ne dpendant que de
Dmontrons maintenant le 3. Voyons tout dabord que est ouvert dans ; pour voir que est un isomorphisme pour assez petit, il suft de voir que , cela rsulte du Lemme important suivant : Or si on prend
: soient
et .
L EMME . 1. Soit
2. Soient

et
un espace de Banach. Si .
est telle que

de
alors dans
est inversible dans , et,

est continue.
deux espace norms. Lapplication
Dmonstration du Lemme. Considrons la srie
gente. On voit alors aussitt que sa somme vrie . et supposons quil existe une suite qui tends vers Montrons maintenant le 2. du Lemme. Soit zro telle que, pour tout , . Alors, pour tout , (multiplier gauche par ), et , donc on a . Or la formule
. Comme
, cette srie est absolument convergente, donc conver-

montre que, pour
petit (i.e. assez grand) la norme de
est uniformment borne ce qui permet de conclure.

Fin de la dmonstration de la Proposition. Pour assez petit, on a . Pour voir que est diffrentiable, il suft de voir que la diffrence entre et est . Or cette diffrence est, en norme majore par , et il suft de voir que un
tend vers zro quand tend vers zro ce qui nest autre que la continuit de qui est donne par le Lemme. dans ce qui est trs simple : lapplication qui Reste voir que est continue de fait correspondre lapplication linaire est continue de dans , et, comme , le rsultat dcoule de la continuit de que nous avons dj tablie.
P ROPOSITION I.1.6. Soient dans et ,
, des espaces norms,
, , et
un ouvert de
et
une fonction de
. Pour tout , soit
suft que, pour chaque , la fonction
. Soit . Notons
la projection de
linjection canonique de dans dnie par . Pour que soit diffrentiable en , il faut et il soit diffrentiable. De plus, dans ce cas, on a
sur
Dmonstration. Les applications et tant linaires, elles sont diffrentiables (Proposition I.1.5, page prcdente) de diffrentielles . en chaque point gales elles mme, et, par suite (Proposition I.1.4, page 2) est diffrentiable de diffrentielle Inversement, on a
do on dduit aussitt le rsultat.
C OROLLAIRE . Soient dans et , ,
un ouvert de . Pour tout soit une fonction de dans et posons , . Soit . Si, pour tout , est diffrentiable en alors lest aussi et on a
, et
des espaces norms, une application multilinaire continue de
Dmonstration. En effet, il suft de remarquer que
est la compose de
avec lapplication de
dans
dnie par
et dappliquer la Proposition prcdente (ainsi que la Proposition I.1.4 et la Proposition I.1.5).

Remarque I.1.2. Si
est somme directe topologique de sous-espaces, il est canoniquement isomorphe lespace norm
produit des
, et la Proposition prcdente sapplique clairement : si on note est diffrentiable en si et seulement si les fonctions
la projection canonique de
sur
sont diffrentiables et on a
, une fonction
P ROPOSITION I.1.7. Soient ,
, et
des espaces norms,
un ouvert de
, et
dans . Pour tout , soient la fonction de , qui est un ouvert contenant , et alors les fonctions sont diffrentiables en et on a une fonction de ,
dans dnie par . Si est diffrentiable en
La diffrentielle de en
diffrentielle partielle de
4
et sappelle la est gnralement note ou ou encore par rapport au point ou encore la drive partielle de par rapport en
I.1. FONCTIONS DIFFRENTIABLES
, et la formule prcdente devient
o est la projection canonique de sur . Si, pour tout , est diffrentiable en , lapplication de par rapport et se note soit de classe
ou
pour que
dans , il faut et il suft que les fonctions

. De plus, si ou encore
est diffrentiable en tout point de ,
sappelle la drive partielle
soient continues dans .
Dmonstration. Pour tout , soit linjection canonique de dans dnie par . Comme . Par suite, est diffrentiable en et , est diffrentiable dans et on a , pour tout , do la premire partie de lnonc. La seconde partie est immdiate.
Remarque I.1.3. 1. Lexistence des drives partielles , pour tout , nimplique pas, priori, que est diffrentiable. Nous reviendrons sur cette question la section suivante. est une application linaire de dans que lon identie toujours sa valeur en . 2. Si
D FINITION I.1.5. Soient et deux espaces norms, un sous-espace de , un ouvert de et une fonction de dans . On dit que est diffrentiable dans la direction en si la fonction , , qui est dnie dans un voisinage de dans est diffrentiable en . On note la diffrentielle de cette application et on lappelle la diffrentielle de dans la direction en . Cest un lment de .
Les deux Propositions suivantes, qui sont immdiates, permettent de relier les diffrentielles dans une direction aux notions de diffrentielle et de diffrentielles partielles :
P ROPOSITION I.1.8. Soient et deux espaces norms, un sous-espace de , un ouvert de et une fonction de dans . . Si est diffrentiable en alors elle est diffrentiable dans la direction en et

et
P ROPOSITION I.1.9. Soient posons que et deux espaces norms,
un ouvert de
une fonction de ,
soit somme directe topologique de sous-espaces
dans
. Identions
. Supavec ,
lespace norm produit
par lisomorphisme canonique (bicontinu)
. Pour tout
est diffrentiable dans la direction au point , et de plus, , on a
en si et seulement si elle admet une diffrentielle partielle par rapport . En particulier, si est diffrentiable en , alors, pour
Remarque I.1.4. On notera que, comme pour les diffrentielles partielles, lexistence de diffrentielles dans diverses directions (par exemple, dans la proposition prcdente, pour chaque ) nimplique pas la diffrentiabilit de la fonction (cela nimplique mme pas la continuit au point). Pour terminer, rsumons les rsultats prcdents dans le cas o les espaces et se dcomposent tous les deux :
P ROPOSITION I.1.10. Soient
et
deux espaces norms sommes directes topologiques de sous-espaces, un ouvert de , dans et un point de . Pour tout , soit la projection canonique de sur et
une fonction de . Si est

5
diffrentiable en alors pour tous et ,
est diffrentiable dans la direction
en et
On dit que
est donne par la matrice Jacobienne
En utilisant cette criture, on peut noncer nouveau la Proposition sur la diffrentielle dune application compose :
P ROPOSITION I.1.11. Soient
et
trois espaces norms sommes directes topologiques de sous-espaces, un ouvert de , une fonction de dans , un ouvert de , une fonction de dans et un point de tel que . On suppose que est diffrentiable en et que est diffrentiable en . Alors, avec les notations de la Proposition prcdente pour et lanalogue pour , pour , on a

En dautres termes la matrice Jacobienne de
est le produit des matrices Jacobiennes de
et .
SECTION I.2
Thorme des accroissements nis et applications

SOUS-SECTION I.2.1
Le Thorme des accroissements nis

On considre tout dabord le cas des fonctions dune variable relle pour lesquelles on a un rsultat plus prcis.
D FINITION I.2.1. Soit une fonction dun intervalle
droite (resp. gauche) en

de dans un espace norm . On dit que admet une drive (resp. ) si (resp.

) existe.
On remarquera, bien sr, quune fonction de . droite et gauche et que
dans
est diffrentiable en
si et seulement si elle admet des drives
T HORME I.2.1 (Thorme des accroissements nis ).

Soient tout
6
un espace norm, sauf peut tre pour
appartenant un sous-ensemble dnombrable
et
deux fonctions continues. Supposons que pour de , et
I.2. THORME DES ACCROISSEMENTS FINIS ET APPLICATIONS
existe et vrient
. Alors on a
, pour tout , on a (I.2.1) (en appliquant ceci et en faisant tendre vers zro). Soit lensemble des qui ne satisfont pas (I.2.1). La continuit des fonctions montre que est ouvert. Si est non vide, il a une borne infrieure . Par continuit, (I.2.1) est vraie au ce voisinage de , donc et puisque ce dernier est ouvert, ce qui implique aussi que . On a donc pour avec assez petit. Comme vrie (I.2.1), on a donc qui implique ce qui contredit la dnition de . Considrons maintenant le cas gnral o les lments de forment une suite . Au lieu de dmontrer (I.2.1), nous allons dmontrer que, en notant lensemble des entiers tels que , pour tout ,
Dmonstration. Supposons tout dabord . Il suft de montrer que, pour tout
(I.2.2)
ce qui donnera la conclusion comme prcdemment. Remarquons tout dabord que la fonction
point nappartenant pas , continue gauche aux points de et croissante : en effet, la croissance tant vidente, la continuit tel que ne contienne aucun avec , ce qui entrane rsulte du fait que, si , pour tout , il existe

est continue en tout
si on dsigne encore par lensemble des Supposons donc a nouveau non vide, et soit sa borne infrieure. Comme prcdemment on a et ce qui prcde montre que , et que . Si , on peut conclure comme dans la premire partie. Supposons cest--dire . Alors, , et, comme nest pas dans , par continuit, (I.2.2) est encore vrie sur un pour tout on a intervalle semi-ouvert non vide ce qui contredit encore la dnition de .
, et, si
, on a le mme rsultat en remplaant
. Il en rsulte que qui ne satisfont pas (I.2.2), si , il existe tel que .

par
C OROLLAIRE . Soit tout
et que
une application continue. Supposons que admette une drive droite pour . Alors, pour tous , dans , on a .
Remarque I.2.1. On a bien sr des noncs analogues pour les drives gauche qui sobtiennent en changeant en Considrons maintenant les fonctions dnies sur un ouvert dun espace norm.
Soient et deux espaces norms, un ouvert de et . Soient et deux points de tels que le segment joignant dans soit contenu dans . Supposons continue sur et que, pour tout , soit diffrentiable en et que . Alors .
Dmonstration. On considre la fonction , . Il suft donc dappliquer le corollaire prcdent.
. Alors
est diffrentiable en tout point de
et
C OROLLAIRE . Soient et deux espaces norms, un ouvert convexe de et , soit diffrentiable en et que . Alors, ,
. Supposons que, pour tout . . Supposons que, pour tout
P ROPOSITION I.2.1. Soient et deux espaces norms, un ouvert connexe de et , soit diffrentiable en et que . Alors est constante dans .
Dmonstration. En effet, le Thorme prcdent implique que implique que est constante.
est localement constante. Comme
est continue et connexe, ceci
Le Thorme des accroissements nis pour les fonctions relles dune variable relle classique est une galit ( , ). Il est bien connu que ce Thorme est en gnral faux pour les fonction valeurs dans un espace vectoriel de dimension suprieure ou gale . Par contre, si est dnie sur un ouvert dun espace norm et valeurs dans , on peut appliquer le Thorme classique la restriction de la fonction un segment. Cela donne immdiatement le rsultat suivant :
Soit une fonction diffrentiable sur un ouvert dun espace norm tels que le segment soit contenu dans . Alors il existe
valeurs dans . Soient et tel que
dans
Ce Thorme peut se gnraliser aux fonctions valeurs dans un espace norm de la manire suivante :
Soit une fonction diffrentiable sur un ouvert dun espace norm valeurs dans un espace norm . Soient et dans tels que le segment soit contenu dans . Alors appartient lenveloppe convexe ferme de lensemble .
Dmonstration. Notons tout dabord quil suft de considrer le cas o les espaces norms sont des -espaces vectoriels (Remarque est donc diffrentiable sur de diffrentielle I.1.1, page 2). Soit une forme linaire continue sur . La fonction (Propositions I.1.4, page 2 et I.1.5, page 3). Le Thorme prcdent appliqu montre quil existe tel que

Alors si de Hahn-Banach.
nappartenait pas lenveloppe convexe ferme de
, cela contredirait le Thorme
SOUS-SECTION I.2.2
Applications du Thorme des accroissements nis

T HORME I.2.5.
Soient un espace norm, un espace de Banach, un ouvert convexe de et , une suite de fonctions diffrentiables de dans . On suppose que : 1. Il existe tel que la suite a une limite dans ; 2. La suite converge uniformment, sur , vers cest--dire que lon a
Alors : (i) Pour tout la suite converge vers dans . (ii) La suite converge uniformment sur toute partie borne de . (iii) La fonction limite est diffrentiable sur et .
Dmonstration. En effet, le Thorme des accroissements nis (Thorme I.2.2, page prcdente) appliqu aux fonctions un point donne
en
ce qui montre immdiatement, en prenant , que tend vers zro uniformment sur toute partie borne de . La fonction limite existe donc puisque est suppos complet et elle est continue. Reste voir que est diffrentiable de diffrentielle . Or, tant x, on a, pour ,
(I.2.3)

(I.2.4)
Soit . Le premier terme du second membre de (I.2.4) se majore par pour daprs (I.2.3) (en faisant et ). Le troisime terme se majore par la mme quantit daprs lhypothse, pour assez grand. Fixons maintenant Alors la diffrentiabilit de en montre que, pour assez petit, le second terme se majore aussi par .
I.2. THORME DES ACCROISSEMENTS FINIS ET APPLICATIONS
C OROLLAIRE . Soient un ouvert connexe dun espace norm et , une suite de fonctions de dans un espace de Banach vriant les conditions suivantes : 1. Il existe un point tel que la suite converge dans ; 2. Pour tout il existe une boule de centre et de rayon sur laquelle la suite converge uniformment vers ; Alors, pour tout , la suite a une limite dans , tout point de possde un voisinage sur lequel la suite converge uniformment vers et est diffrentiable sur et .
Dmonstration. En effet, soit lensemble des points de en lesquels la suite converge. Le Thorme prcdent montre que est ouvert et ferm, et comme est non vide, on a . Le reste de lnonc rsulte du Thorme prcdent.
T HORME I.2.6.
Soient ,
, et
des espaces norms,
, un ouvert de
et
une application continue
de dans . 1. Si les drives partielles , , existent en tout point de et si, pour tout , sont continues en un point de , alors est diffrentiable en . 2. Pour que soit de classe dans , il faut et il suft que ait des drives partielles en tout point de et que les applications soient continues.
On peut naturellement donner un nonc analogue lorsque I.1.9, page 5.
est somme directe topologique de sous-espaces, en vertu de la Proposition
Dmonstration. Montrons tout dabord le 1., le 2. en sera une consquence facile. Daprs la Proposition I.1.7, page 4, il faut montrer que

, on a, pour . Il suft donc de montrer que, pour tout , il existe tel que pour , , (I.2.5) est, dans un voisinage de , Or la diffrentielle de la fonction et lhypothse de continuit de implique donc que, que pour , , , assez petit, on a
est un
et, le Thorme des accroissements nis (Thorme I.2.2, page 7) implique (I.2.5). Le 2. se voit alors aisment : nous savons dj que la condition est ncessaire (Proposition I.1.7, page 4). Rciproquement, si elle est satisfaite, alors est diffrentiable en tout point de daprs le 1., et elle est de classe nouveau daprs la Proposition I.1.7.
P ROPOSITION I.2.2. Soient et deux espaces norms, un ouvert de est diffrentiable dans et si est continue en alors
et une application de dans . Soit est strictement diffrentiable en .
. Si
Dmonstration. En effet, si on pose , , il existe tel que, pour , on a Par hypothse, pour accroissements nis ( page 7) implique que est -lipschitzienne dans la boule
est diffrentiable et . . Alors le Corollaire du Thorme des .
Nous allons terminer cette sous-section en donnant un Thorme clbre dont nous ne donnerons la dmonstration que dans un cas particulier, la preuve gnrale tant difcile :
T HORME I.2.7 (Thorme de Sard ). Soient un ouvert de et une application de classe

critiques de , cest--dire lensemble des points de ). Alors est de mesure (de Lebesgue !) nulle.
de dans . Soit tels que le rang de soit
(i.e.
lensemble des points
Dmonstration. Comme nous lavons dit nous ne faisons la dmonstration que dans un cas particulier, pour la simplier : nous nous contentons du cas . Par translation, il suft de montrer que, si , est de mesure nulle. Soit . Puisque est un sous-espace de dimension infrieure , il existe un hyperplan contenant . Soit x. Pour tout , le Thorme des accroissements nis (Thorme I.2.2, page 7) appliqu la fonction donne
puisque est uniformment continue sur le compact . Comme appartient , la distance de est infrieure . Ceci montre que est situe entre les lhyperplan afne deux hyperplans afnes dont la distance est . Une autre application du mme Thorme des accroissements nis montre par
ce qui implique ailleurs que
appartient la boule de centre
. Finalement, est contenu dans un cylindre droit dont la base est lintersection de avec la boule de centre et de rayon et la hauteur est . Ainsi, est contenu dans un pav de dont les cts parallles sont de longueurs et le ct perpendiculaire est de . longueur . Le volume dun tel pav est Dcoupons maintenant chacun des cts du pav en parties gales : on obtient ainsi cubes de ct . Chacun de ces cubes est contenu dans une boule (centr en lun quelconque des points du cube) de rayon . Daprs ce qui prcde, si lun de
de sorte que ces cubes intersecte alors son image par est contenue dans un pav de volume
et de rayon
Comme il y a au plus tels cubes, on en dduit que est contenu dans une runion nie de pavs dont la somme des volumes , quantit qui tend vers zro lorsque tend vers linni. Compte tenu des proprits bien connues de la est est nulle, et la preuve du Thorme est mesure de Lebesgue sur cela signie exactement que la mesure (de Lebesgue) de acheve dans ce cas particulier. C.Q.F.D.
SECTION I.3
Thormes dinversion locale et des fonctions implicites

SOUS-SECTION I.3.1
Le Thorme dinversion locale

P ROPOSITION I.3.1. Soient et deux espaces de Banach, un ouvert de , un point de et une fonction de dans . Supposons que soit strictement diffrentiable en et que soit un isomorphisme de sur (i.e. bijective, et continues (c.f. le commentaire qui suit la Dnition I.3.1). Alors il existe un voisinage ouvert de (contenu dans ) et un voisinage ouvert de tels que soit un homomorphisme de sur .
Dmonstration. Soit . Comme est linaire, est aussi strictement diffrentiable en et . Soit . Il existe donc tel que lapplication soit lipschitzienne de rapport dans la boule . Utilisons maintenant le Lemme suivant qui est une consquence facile du Thorme du point xe classique :
L EMME . Soient un espace de Banach, un point de , et une fonction continue de la boule ouverte dans telle que la fonction soit lipschitzienne de rapport . Soit . Alors, il existe un voisinage ouvert de contenu dans tel que soit un homomorphisme de sur la boule ouverte . De plus, lapplication rciproque de cet homomorphisme est lipschitzienne de rapport .
10
I.3. THORMES DINVERSION LOCALE ET DES FONCTIONS IMPLICITES
Dmonstration du Lemme. En effet, considrons la fonction dans fonction
. Il est clair que est lipschitzienne de rapport . Alors, si , la et . Par suite, pour on a est lipschitzienne de rapport et vrie

Ainsi, si on pose , est une fonction lipschitzienne de rapport de la boule ferme dans elle mme. Le Thorme du point xe classique implique que a un unique point xe dans cette boule ferme ce qui signie que lquation a une unique solution dans la boule . En dautres termes, pour tout , lquation a une unique solution dans la boule . Ceci dnit donc une fonction de dans et comme
on a
ce qui montre en particulier que est continue. Si alors on pose linverse de la restriction de .
est un voisinage ouvert de et
est
Fin de la dmonstration de la Proposition. Daprs le Lemme, il existe un voisinage ouvert de tel que soit un homomorphisme de sur un voisinage ouvert de . Comme est un homomorphisme de sur , est un homomorphisme de sur un voisinage ouvert de . On notera que dans la dmonstration de la Proposition prcdente on a simplement utilis que est un isomorphisme implique que est aussi complet. est complet. Mais lhypothse
D FINITION I.3.1. Soient et deux espaces norms, un ouvert de et un ouvert de . On dit que est un diffomorphisme de classe de sur si est une bijection de classe de sur et si son inverse est aussi de classe .
Avant de poursuivre plus avant, faisons une remarque importante. Si et sont deux espaces norms, une application linaire continue bijective de sur na pas ncessairement un inverse continu. Dans toute la suite nous appellerons isomorphisme despaces norms (ou simplement isomorphisme) de sur une application linaire continue bijective telle que soit continue. Rappelons au passage que le Thorme disomorphie de Banach dit que, quand et sont des espaces complets, toute application linaire continue bijective est un isomorphisme.
P ROPOSITION I.3.2. Soient et deux espaces norms, un ouvert de et un ouvert de . Soit un homomorphisme de sur diffrentiable en . Pour que soit diffrentiable en il faut et il suft que soit un isomorphisme. De plus, dans ce cas .
Dmonstration. La condition est clairement ncessaire (en utilisant la formule de diffrentiation dune fonction compose), mon , , avec trons donc quelle est sufsante. Par hypothse on a , ce qui scrit encore

soit encore, pour

(I.3.1)
et en posant ,

do on tire
termine la dmonstration.
et comme (car est un homomorphisme), il vient , pour proche de (pour une certaine constante ), ce qui prouve que le second terme du second membre de (??) est un et
P ROPOSITION I.3.3. Soient et deux espaces norms, un ouvert de et un ouvert de . Soit un homomorphisme de classe de sur . Pour que soit un diffomorphisme de classe de sur il faut et il suft que, pour , . tout , soit un isomorphisme et alors
11

Dmonstration. La Proposition I.3.2 montre que est diffrentiable en tout point de . Il faut seulement voir que est de classe cest dire que est continue. Mais, comme est suppose continue, ceci rsulte du Lemme de la Proposition I.1.5, page 3.
T HORME I.3.1 (Thorme dinversion locale ).

Soient et deux espaces de Banach, un ouvert de et une application de classe de dans . On suppose quil existe tel que soit un isomorphisme de sur . Alors il existe un voisinage ouvert de contenu dans et un voisinage ouvert de tels que soit un diffomorphisme de classe de sur .
Dmonstration. Daprs la Proposition I.2.2, page 9, est strictement diffrentiable en , et la Proposition I.3.1, page 10, implique quil existe un voisinage ouvert de tel que soit un homomorphisme de classe de sur son image. Comme est ouvert (Proposition I.1.5, page 3) son image rciproque par est ouverte dans et contient par hypothse. Il existe de tel que soit un isomorphisme pour tout . Ainsi, si on pose , on est donc un voisinage ouvert dans les conditions de la Proposition I.3.3, page prcdente, ce qui termine la preuve.
C OROLLAIRE . Soient et deux espaces de Banach, un ouvert de et une application de classe de dans . Pour que soit un diffomorphisme de classe de sur son image, il faut et il suft que les deux conditions suivantes soient remplies : (i) est injective ; (ii) pour tout , est un isomorphisme.
Dmonstration. Les conditions sont bien sr ncessaires, voyons quelles sont sufsantes. En effet, le Thorme dinversion locale montre que est un application ouverte, donc est ouvert, et la Proposition I.3.3, page prcdente, montre quil suft de remarquer que est un homomorphisme. Or, par hypothse, est une bijection, et la continuit de rsulte du fait que est ouverte. Remarque I.3.1. Le Thorme dinversion locale que nous venons de voir redonne, bien sr, le rsultat classique en dimension , est un diffomorphisme local en un point si et seulement si est de classe au voisinage de et le nie : si Jacobien de en est non nul. Nous terminons cette sous-section par un rsultat classique dinversion globale :
T HORME I.3.2 (Thorme de Hadamard-Lvy ).

Soient et deux espaces de Banach et une application de classe de dans . On suppose que, pour tout , est un isomorphisme et quil existe un nombre tel que . Alors est un diffomorphisme de sur (i.e. surjectif) de classe .
Dmonstration. La Proposition prcdente nous dit quil suft de montrer que est bijective. Dmontrons tout dabord que est surjective. Soient et . Soit tel que ., . et telle que Par hypothse, est un diffomorphisme au voisinage de (Thorme I.3.1) ; il existe donc . Soit lensemble des tels quil existe tels que . est donc non vide. Soit la , et si est continue et vrie , , lensemble des borne suprieure de . Si tels que sur est ferm (par continuit) et ouvert car est un diffomorphisme local en tout point de . Il telle que . De cette relation on tire , et lhypothse sen suit quil existe , . Le Thorme des accroissements nis (Thorme I.2.2, page 7) entrane donc que si implique , on a . Ceci montre que si est une suite, dans qui converge
vers , alors est une suite de Cauchy dans . Comme est suppos complet, on conclut que se prolonge par continuit , tant un diffomorphisme local en , peut se prolonger par au-del de ce qui contredit la . Alors si . Si on choisit , quelconque, on obtient , ce qui dnition de . Ainsi conclut. On notera que, au passage, on a montre que pour toute fonction telle que , nous avons montr quil existe une unique fonction telle que . De plus, ceci reste videment vrai si on remplace par un segment quelconque de . Montrons maintenant que est injective. Soient et deux points de tels que . Soient et . Posons , et de sorte que . La premire , il existe une unique fonction continue telle que . partie de la preuve montre que, pour tout posons et . Remarquons que est continue car, si , comme existe et est un dnit, pout voisin diffomorphisme local au voisinage de (Thorme I.3.1), la fonction continue de des fonctions vriant , au voisinage de . Alors lunicit obtenue dans la premire partie de la dmonstration montre que au voisinage de . Pour montrer que , il nous suft de montrer que, , on a . Soit lensemble des pour lesquels cette proprit est vraie sur . Comme , , et comme
12
I.3. THORMES DINVERSION LOCALE ET DES FONCTIONS IMPLICITES
est un diffomorphisme local lorigine (Thorme I.3.1), il existe tel que continuit de , on a . Si , la preuve est termine. Supposons donc tels que existe et soit un diffomorphisme local au voisinage de , pour , on a montre que , ce qui contredit la maximalit de .
. Soit la borne sutrieure de . Par . Comme est continue, il existe et . Alors, si on pose et lunicit prouve prcdement C.Q.F.D.
SOUS-SECTION I.3.2
Le Thorme des fonctions implicites

T HORME I.3.3 (Thorme des fonctions implicites ).
Soient , et trois espaces de Banach, un ouvert de et un fonction de classe de dans . Soit un point de . On suppose que et que la diffrentielle partielle de par rapport la seconde variable au point , , est un isomorphisme de sur . Alors il existe un voisinage ouvert de , un voisinage ouvert de dans et un fonction de classe de dans tels que la relation
quivaut la relation
Dmonstration. Nous allons dduire ce Thorme du Thorme dinversion locale. Considrons lapplication dnie par , . Cette application est de classe et sa diffrentielle en est lapplication . Lhypothse faite sur implique que est un isomorphisme, et on peut lui appliquer le Thorme dinversion locale (Thorme I.3.1, page ci-contre) : il existe un voisinage de contenu dans et un voisinage de tels que soit un diffomorphisme de classe . Soit le diffomorphisme dans rciproque. Il est ncessairement de la forme , avec , ce qui dnit une fonction de classe , , dans . Comme et sont des homomorphismes rciproques, on a quivalence entre les deux relations suivantes : (a) et ; (b) et . Si on fait dans (a), on trouve la premire relation de lnonc. Soit alors lensemble des points de tels que . Clairement est un ouvert de qui contient , et si on pose , est une fonction de classe dans telle que la relation (b) pour scrive et , ce qui termine la preuve.
On notera que louvert dont lexistence est prouve par le Thorme des fonctions implicites nest pas ncessairement connexe, , , implique et . Dans mais il contient videment une boule centre en telle que la relation un certain sens, est la seule fonction qui possde cette proprit :
P ROPOSITION I.3.4. Dans les conditions du Thorme des fonctions implicites, et avec les mme notations, soient un voisinage ouvert connexe de contenu dans et une fonction continue de dans telle que
Alors
est la restriction de la fonction
donne par le Thorme des fonctions implicites.
Dmonstration. En effet, soit lensemble des points de tels que . On a donc et est ferm car et sont continues. Montrons maintenant que est ouvert dans . Si nest pas ouvert dans , il existe un point de et une suite de points de qui converge vers tels que , pour tout . Lquivalence du Thorme des fonctions implicites pour tout . Mais comme , ceci contredit la continuit de en . Comme est montre alors que . connexe, on a donc bien
La dmonstration du Thorme des fonctions implicites montre que, si on oublie lhypothse rsultat suivant :
, on a dmontr le
T HORME I.3.4 (Thorme des fonctions implicites ).
Soient , et trois espaces de Banach, un ouvert de , un ouvert de point de et une fonction de classe de dans . On suppose que
, un point de , un est un isomorphisme de

13
sur . Alors il existe un voisinage de , un voisinage de dans telle que on ait .
et une unique fonction

de
C OROLLAIRE . Soient et deux espaces de Banach, un ouvert de de classe . On suppose que est surjective et que dun sous-espace (qui est ncessairement complet). Alors
, un point de et une fonction de dans est somme directe topologique de et contient un voisinage de .
est une suite de Cauchy dans
Dmonstration. En effet, remarquons tout dabord que
les projections sont continues par hypothse, on doit avoir Thorme une fois identi avec le produit
est ncessairement complet : si est une suite de Cauchy dans alors et, comme est complet, elle converge vers ; comme
. Ceci tant remarqu, le corollaire suit immdiatement le contient le voisinage de .
SECTION I.4
Diffrentielles dordre suprieurs

SOUS-SECTION I.4.1
Diffrentielles secondes
D FINITION I.4.1. Soient et deux espaces norms, un ouvert de , un point de et une fonction. On de et si la dit que est deux fois diffrentiable en si diffrentiable dans un voisinage ouvert diffrentielle est diffrentiable en . La diffrentielle de en est note (ou ) et sappelle la diffrentielle seconde de au point . Cest une application linaire continue de dans , cest--dire un lment de . On dit que est deux fois diffrentiable dans si elle est diffrentiable en tout point de et si est aussi diffrentiable en tout point de , et on note lapplication de dans et on appelle diffrentielle seconde de cette application. On dit que est de classe dans si elle est deux fois diffrentiable dans (i.e. en tout point de ) et si est continue de dans lespace norm , et on note .
Rappelons que lespace sidentie canoniquement et isomtriquement lespace par lapplication o . naires continues sur
On identie alors toujours la diffrentielle seconde phisme cest--dire la forme bilinaire continue
La dnition ci-dessus et lidentication prcdente montrent que
la forme bilinaire continue obtenue par cet isomor que lon crit alors .

des formes bili-
P ROPOSITION I.4.1. Soient et deux espaces norms, un ouvert de , un point de et une fonction. Alors est deux fois diffrentiable en si elle est diffrentiable dans un voisinage de et sil existe une application bilinaire continue de dans telle que, pour assez petit, , on a
La proprit fondamentale qui justie pleinement cette identication est la suivante :
T HORME I.4.1.
Soient et deux espaces norms, un ouvert de , un point de et une fonction deux fois diffrentiable en . Alors est une application bilinaire continue symtrique. Autrement dit, , .
14
I.4. DIFFRENTIELLES DORDRE SUPRIEURS
Dmonstration. Posons Dmontrons tout dabord que En effet, si on crit

(I.4.1)
(I.4.2)
le second terme du second membre de cette ingalit est un o nis (Thorme I.2.2, page 7), on majore ce terme par
par la Proposition prcdente, et, le premier scrit . En appliquant le Thorme des accroissements
(I.4.3)
En crivant
, par la dnition mme de la diffrentielle seconde, on voit que (I.4.3) est un , ce qui montre (I.4.1). membre de (I.4.2) est un Terminons maintenant la preuve du Thorme. Comme est symtrique, (I.4.1) donne

. Ainsi, la premier

on a
et, par suite, Alors, si et sont dans
de normes gales , pour tout

, il existe
tel que, pour
ce qui, en simpliant par
donne le rsultat cherch. C.Q.F.D.
Remarque I.4.1. Dans le cas particulier o , est une application bilinaire de dans . Elle scrit donc, , . On identie toujours avec le vecteur de ce qui redonne la notion usuelle de drive seconde dans le cas o .
P ROPOSITION I.4.2. Soient et deux espaces norms, un ouvert de , un point de et une fonction deux fois diffrentiable en . Pour tout x dans , lapplication , dnie au voisinage de est diffrentiable en de diffrentielle .
de Dmonstration. En effet, cette application est la compose de lapplication linaire dun voisinage de dans (Proposition I.1.4, page 2 et Proposition I.1.5, page 3).
dans
et de lapplication
, et
des espaces norms,
un ouvert de
un point de
et
une fonction de dans deux fois diffrentiable en . Alors, pour tout , , les diffrentielles partielles sont diffrentiables en . Pour tous et , , admet une diffrentielle partielle par rapport , note , qui est un lment de , et on a . De plus, pour tous et dans , on a
o Dmonstration. En effet, pour tout , , (Proposition I.1.7, page 4), ce qui montre que est diffrentiable en et que sa diffrentielle partielle par rapport en est .
15
Remarque I.4.2. 1. On a bien sr un nonc analogue pour les diffrentielles directionnelles lorsque est somme directe topologique de sous-espaces. , est une application bilinaire de dans et on lidentie toujours sa 2. Dans le cas o valeur au point . 3. On notera que la Proposition ci-dessus (en particulier dans le cas du 2. ci-dessus) donne un rsultat plus fort que le classique Thorme de Schwarz qui dit que les drives partielles secondes croises sont gales lorsque la fonction est deux fois continment drivable.
, et
des espaces norms,
un ouvert de
un point de
et
une fonction de dans . Pour que soit deux fois diffrentiable en il suft quelle admette des drives partielles continues , , en tout point dun voisinage de , et que les drives partielles secondes , existent en tout point dun voisinage de et quelles soient continues en . ,
Dmonstration. Il suft dappliquer deux fois le Thorme I.2.6, page 9.
P ROPOSITION I.4.5. Soient dans . 1. Si 2. Si ,
, et
des espaces norms,
et
une application multilinaire continue de
, . , la diffrentielle seconde de
en
est donne par la formule
o est le point de dont toutes les coordonnes sont gales celles de sauf la -me qui est et la -me qui est . En particulier, si , est lapplication constante qui fait correspondre la forme bilinaire symtrique continue .
Dmonstration. Cest une consquence immdiate des dnitions et de la Proposition I.1.5, page 3. Terminons ce paragraphe en donnant, titre dexercice le calcul de la diffrentielle seconde dune fonction compose. Supposons donc que soit un ouvert dun espace norm , un ouvert dun espace norm , une fonction de dans , une fonction de dans un espace norm , les deux fonctons et tant supposes deux fois diffrentiables, en et en . La en est donc . Ainsi est la compose de lapplication bilinaire diffrentielle de et de . Par des rsultats que nous avons vus, on a donc

ce qui donne Ainsi :
P ROPOSITION I.4.6. Dans les conditions ci-dessus, la diffrentielle seconde de
au point est donne par la formule
SOUS-SECTION I.4.2
Diffrentielles dordres suprieurs

Comme nous lavons vu au paragraphe prcdent, la diffrentielle seconde est une application bilinaire symtrique continue dans . Pour abrger les notations nous noterons lespace des formes bilinaires symtriques continues de dans et celui des formes bilinaires continues de dans . Plus gnralement, pour , mous noterons lespace des formes multilinaires symtriques, cest--dire telles que, pour toute permutation de , , et continues de dans , et lespace des formes multilinaires continues de dans . Par rcurrence sur , on dduit aussitt la proprit suivante : de
16
P ROPOSITION I.4.7. Lespace par lapplication
sidentie canoniquement et isomtriquement lespace norm .

Ces mises au point tant faites, nous pouvons gnraliser aisment la notion de diffrerentielle seconde celle de diffrentielle dordre quelconque :
D FINITION I.4.2. Soient et deux espaces norms, un ouvert de , un point de et une application de dans . Par rcurrence sur , on dit que est fois, , diffrentiable au point si elle est fois dun voisinage de dans diffrentiable dans un voisinage de et si lapplication est diffrentiable en . Dans ce cas, la diffrentielle de cette application sappelle la diffrentielle (ou drive) dordre de en et se note (ou ) et cest un lment de . Lorsque est de dans fois diffrentiable en tout point de , lapplication sappelle la diffrentielle dordre de et se note (ou ). On dit que est de classe dans , et on crit , , si elle diffrentiable lordre dans (i.e. en tout point de) et si est continue. Par convention, on dit quune fonction de dans est de classe dans , ce que lon crit , si elle est continue dans . Une fonction de dans qui appartient pour tout est dite de classe dans et on crit .
T HORME I.4.2.
Soient et deux espace norms, un ouvert de fois diffrentiable au point . Alors
, un point de et
une fonction de dans
Dmonstration. En effet, nous avons dj vu ce rsultat la sous-section prcdente pour (Thorme I.4.1, page 14), dmontrons le pour par rcurrence. Supposons donc le rsultat vrai pour . Comme , est dj un fonction symtrique des variables , . . . , . Comme toute permutation de est compose dun nombre ni de transpositions dont chacune permute deux lments conscutifs, il suft de voir que ne change pas quand on change et . Or, on a , et le rsultat dcoule encore du Thorme I.4.1.
Remarque I.4.3. Dans le cas particulier o , est une application -multilinaire de dans . Elle scrit donc, , . On identie toujours avec le vecteur de devient une ) et (ce qui redonne la notion usuelle de drive -ime dans le cas o application de dans .
On notera que si est un espace produit (ou une somme directe topologique) alors une fonction de dans si et seulement si chacune de ses composantes est de classe . La dmonstration de la Proposition suivante se fait aisment en utilisant la Proposition I.4.5, page ci-contre.
est de classe
dans . Alors est de classe sur et on a : 1. Pour est identiquement nulle. 2. Si , pour tous et
et
des espaces norms et une application multilinaire continue de
, on a

o dsigne llment de dont les coordonnes sont coordonne de , si . En particulier est constante.
permutation de

et

si
, la -me
P ROPOSITION I.4.9. Soient , et des espaces norms, un ouvert de , un ouvert de , une application de dans et une application de dans . Si est fois diffrentiable en et si est n fois diffrentiable en alors est fois diffrentiable en . De plus si et alors .
17
Dmonstration. Pour , ceci rsulte de la Proposition I.1.4, page 2, la formule donnant la diffrentielle dune fonction compose montrant la dernire assertion de la Proposition dans ce cas. Pour le cas gnral, on raisonne par rcurrence sur . Supposons donc est fois diffrentiable et, de classe pour la dernire assertion. le rsultat prouv pour . Il faut donc voir que Or ce qui peut scrire comme la compose de lapplication et de lapplication . La seconde application est bilinaire donc de classe (Proposition prcdente). Pour la premire, il suft de voir que ses composantes sont fois diffrentiables (ou de classe ), ce qui est lhypothse pour la seconde et rsulte de lhypothse de rcurrence pour la premire. La conclusion sobtient en rutilisant lhypothse de rcurrence.
P ROPOSITION I.4.10. Soient et deux espaces de Banach. Lapplication est de classe (c.f. Proposition I.1.5, 3., page 3). De plus, pour tout , on a
dnie par , toute et tout

permutation de
Dmonstration. Nous avons dj vu que est de classe (Proposition I.1.5, page 3) et que o est . Montrons quelle est de classe en raisonnant encore une fois par rcurrence sur : dnie par supposons donc le rsultat prouv pour , et voyons que est de classe . Cela est fort simple : est la compose de lapplication qui est de classe par hypothse de rcurrence, et de lapplication bilinaire qui est de classe (Proposition I.4.8), et il suft dappliquer la Proposition prcdente. Pour voir la formule on procde de la manire suivante : soit lapplication multilinaire continue dnie par
permutation de
On doit donc montrer que dtails sont laisss au lecteur.
. On fait alors ceci par rcurrence sur sans grande difcult. Les
D FINITION I.4.3. Soient et deux espaces norms, un ouvert de et une fonction de dans . On dit que est un diffomorphisme de classe (resp. ) de dans , si est bijective si et sont toutes deux de classe (resp. ). P ROPOSITION I.4.11. Soient et deux espaces de Banach, un ouvert de classe de sur . Alors, si est de classe (resp. de classe (resp. )).
, un ouvert de et un diffomorphisme de ), lest aussi (i.e. est un diffomorphisme
Dmonstration. En effet, on sait que . Il en rsulte que est la compose des applications et , les deux premires tant de classe si est de classe , et la dernire tant de classe (Proposition I.4.10). Raisonnons alors par rcurrence sur . Supposons le rsultat vrai pour , alors est de classe ce qui conclut.
C OROLLAIRE 1. Soient et deux espaces de Banach, un ouvert de classe (resp. ) de sur . Si, pour tout , phisme de classe (resp. ).
est un isomorphisme alors
, un ouvert de
et
un homomorphisme de est un diffomor-
Dmonstration. Il suft dappliquer la Proposition prcdente et de la Proposition I.3.3, page 11.
C OROLLAIRE 2. Dans les conditions du Thorme dinversion locale (Thorme I.3.1, page 12), si ) alors est un diffomorphisme de classe (resp. ) de sur .
est de classe
(resp.
C OROLLAIRE 3. Dans les conditions du Thorme des fonctions implicites (Thorme I.3.3, page 13), si (resp. ) alors lapplication est aussi de classe (resp. ).
est de classe
, et
des espaces norms,
un ouvert de ,
et
,
une fonction
de dans de classe au point . Alors, pour tout partielles dordre au point , qui sont des lments de tous , ,
admet des drives vriant, pour
pour toute permutation
de
, et on a
Dmonstration. Ceci se dmontre par rcurrence sur comme la Proposition I.4.3, page 15. Par abus de notation, on crit usuellement
pour toute permutation
de
, , est une application multilinaire de dans Remarque I.4.4. Dans le cas o et, comme pour les drives partielles secondes, on lidentie toujours sa valeur sur . De plus, dans ce cas, grce lin , o variance par permutation des indices, on crit plus simplement ou mme, encore plus simplement,
est un multi-indice tel que
De plus, toujours dans ce cas particulier o les sont de dimension , en regroupant les drives partielles en fonctions des multiindices , on trouve lexpression classique de la diffrentielle des fonctions dnies sur un ouvert de partir des drives partielles :
P ROPOSITION I.4.13. Soient un ouvert de et une fonction, de dans un espace norm Alors, avec les notations de ci-dessus, on a :
, fois diffrentiable en

et
Dmonstration. Ceci se voit facilement par rcurrence sur diffrentiant la formule lordre , il vient
: supposons la formule vraie pour et montrons la pour . En

ce qui donne bien, en regroupant les drives partielles une formule similaire celle que lon cherche. Il faut simplement vrier que, , avec de longueur , si et seulement si tous calculs faits, on trouve le bon coefcient. Or, pour un certain tel que . Ainsi le regroupement donne

ce qui donne immdiatement le rsultat.
, et
des espaces norms,
, un ouvert de
, un point de et
une
fonction de dans . Pour que soit fois diffrentiable en , il suft quelle admette des drives partielles continues au voisinage de , pour tous .
19
Dmonstration. Il suft de raisonner par rcurrence sur (c.f. Proposition I.4.4, page 16) en utilisant la Proposition prcdente. Naturellement, on a des noncs analogues (avec les diffrentielles directionnelles dordre ) ceux des deux Propositions prcdentes lorsque est somme directe topologique de sous-espaces.
SECTION I.5
Formule de Taylor, dveloppements limits

SOUS-SECTION I.5.1
La formule de Taylor
P ROPOSITION I.5.1. Soient un ouvert de , un espace norm et
dans
une fonction
fois diffrentiable de dans
. Alors
o la fonction entre parenthse est considre de diffrentielle au point .

Dmonstration. Cest un cas particulier du Lemme suivant :
(c.f. Remarque I.4.3, page 17) et
dsigne la
L EMME . Soient , et trois espace norms, un ouvert de , une application de dans et une application bilinaire continue de dans . Alors lapplication
, une application de dans
de dans
a pour drive
Preuve du Lemme. Ceci se voit trs facilement partir du Corollaire de la Proposition I.1.6, page 4. Preuve de la Proposition. Il suft dappliquer le Lemme avec ,
et
Nous allons maintenant avoir besoin de la notion dintgrale dune fonction de variable relle valeurs dans un espace de Banach. Sans entrer dans les dtails, prcisons un peu ce point. Soit un intervalle de , un espace de Banach et une fonction de dans . On peut alors considrer les sommes de Riemann, dans , associes sur . Comme dans la dnition de lintgrale de Riemann, on dnit alors la notion de fonction dnie sur et valeur dans intgrable au sens de Riemann . Il est alors clair que si est ferm et continue, par continuit uniforme, elle est intgrable au sens de Riemann, et que, si on considre la fonction
, elle est drivable (diffrentiable) sur lintrieur . On peut aussi, plus
de de drive en gale
. En particulier, si
est drivable et
, on a
simplement, ne considrer (cela nous sufra) que les fonctions rgles : On dit quune fonction dun segment de dans un espace de Banach est rgle si elle est limite uniforme, sur , de fonctions , , , telle en escalier cest--dire de fonctions de la forme suivante : il existe une subdivision nie de que, sur , soit constante (on ne sinterrese pas la valeur de aux points de la subdivision). On dnit ensuite lintgrale dune fonction en escalier par
alors facilement que si et sont deux fonctions en escalier, alors 20
est la valeur prise par
sur
. On verie
en est une aussi (quitte changer les subdivisions) et
I.5. FORMULE DE TAYLOR, DVELOPPEMENTS LIMITS

. De l, on dduit que si
est une fonction de dans
qui est limite uniforme est suppos
dune suite de fonctions en escalier alors la suite
complet) et sa limite ne dpends pas de la suite convergeant vers choisie. Cest cette limite que lon appelle lintgrale de . Naturellement, les fonctions continues sur un segment sont uniformment continues ( est compact) et donc limites uniformes de fonctions en escalier. Cette mthode permet donc de dnir lintgrale des fonctions continues valeurs dans lespace de Banach , et la proprit de diffrentiabilit de
est de Cauchy dans
et donc converge (puisque
est une consquence immdiate des proprits de base de lintgrale ainsi dnie.
P ROPOSITION I.5.2. Soient un ouvert de contenant . Alors
un espace de Banach et
de classe
Dans cette formule les diffrentielles sont identies un vecteur de .
Dmonstration. Cela rsulte aussitt de la Proposition prcdente.
P ROPOSITION I.5.3. Soient un ouvert de contenant dans . Supposons que

et
un espace norm et . Alors
une fonction

fois diffrentiable de
Dmonstration. En effet, considrons les fonctions
, ce qui donne La Proposition I.5.1 dit que sulte du Thorme des accroissements nis (Thorme I.2.1, page 6).
. Alors la conclusion r-
T HORME I.5.1 (Formule de Taylor avec reste intgral ).

Soient un espace norm, un espace de Banach, un ouvert de et une application de classe de dans . On suppose que le segment est contenu dans . Alors
, . Alors est de classe et on vrie aisment, Dmonstration. En effet, considrons la fonction par rcurrence, que, pour tout entier , (c.f. Proposition I.4.2, page 15). Le Thorme est donc un cas particulier de la Proposition I.5.2.
T HORME I.5.2 (Formule de Taylor-Lagrange ).
Soient et deux espaces norms, un ouvert de et une application fois diffrentiable. Supposons que, pour tout on ait . Alors, pour assez petit,

Dmonstration. En effet, comme dans la preuve du Thorme prcdent, il suft dappliquer la Proposition I.5.3.
21
T HORME I.5.3 (Formule de Taylor-Young ).
Soient et deux espaces norms, un ouvert de , un point de fois diffrentiable dans et fois diffrentiable au point . Alors
et
Dmonstration. Pour rsultat vrai pour
linaire
, cest exactement la dnition de la diffrentiabilit. Procdons par rcurrence sur et supposons donc le . Comme est une forme multilinaire symtrique, au point est lapplication le Corollaire de la Proposition I.1.6, page 4, montre que la diffrentielle de lapplication
. Soit
Si on note tielle de en
cette application (ce qui se justie par la symtrie de
), on obtient une expression de la diffren
Lhypothse de rcurrence applique donne alors , il existe nis (Thorme I.2.2, page 7) que, pour tout termine la preuve.
, ce qui implique, par le Thorme des accroissements , ce qui tel que, pour , on a
Dans le cas dune fonction dnie sur un ouvert de , la Proposition I.4.13, page 19, combine aux formules de Taylor que nous venons de donner, redonne la forme classique pour la partie principale :
P ROPOSITION I.5.4. Dans les conditions de lune des formules de Taylor ci-dessus, si Proposition I.4.13,
, on a, avec les notations de la
o est remplacer par le reste correspondant la formule considre, et que lon peut exprimer avec les mme notations pour la formule avec reste intgral :
SOUS-SECTION I.5.2
Dveloppements limits
Pour pouvoir dnir la notion de dveloppement limit, il nous faut tout dabord introduire celle de polynme dun espace vectoriel dans un autre.
D FINITION I.5.1. Soient et deux espaces vectoriels sur . 1. On appelle polynme homogne de degr , entier , de dans une application de dans de la forme o est une application multilinaire de dans . Par convention, on appelle polynme homogne de degr zro une fonction constante de dans . 2. On appelle polynme de degr (ou ) de dans une somme de polynmes homognes de dans de degrs .
P ROPOSITION I.5.5. 1. Si est un polynme homogne de degr , il existe une application multilinaire symtrique telle que , . 2. Soient , , et trois espaces vectoriels sur un polynme homogne de degr et
22
une application bilinaire. Alors
un polynme homogne de degr ,
est un polynme homogne de degr polynmes et . 3. Plus gnralement, si , ,
de
dans
. Cette proprit permet de dnir le produit des

, alors
, et sont des espaces vectoriels, polynme homogne de degr , et une application multilinaire de dans
est un polynme homogne de degr
, un
de
dans .
Dmonstration. Le 2. et le 3. sont vidents et le 1. se voit en considrant

de permutation
Il est utile de remarquer que la notion de polynme introduite ici gnralise la notion usuelle de polynme variables. En effet, et tant des espaces vectoriels, soit un polynme homogne de degr de dans . Il existe donc une application multilinaire , on a pour tout symtrique de dans telle que, pour . crivons ; alors
Comme
est symtrique, on peut regrouper les
dindices gaux do :
P ROPOSITION I.5.6. Soient et deux espaces vectoriels et un polynme de degr de une application multilinaire de dans telle que
dans . Pour
, il existe
fois
En particulier, si
et
fonction polynmiale de dans
o est un ouvert de et un espace norm, on a
, et o est une fonction continue de dans
lorsque les fonctions sont constantes.
, ce qui donne la notion usuelle de
D FINITION I.5.2. Soient et deux espaces vectoriels sur . Soit une application de la fonction de dans dnie par
dans
, et, pour tout
, soit
qui vaut, au point , En particulier, la notation est justie par le fait que . 2. Pour tout entier , on appelle diffrence (symtrique) -ime de relative aux points

1. On appelle diffrence (symtrique) seconde de
relative aux points
et
de
la fonction
,. . . ,
23
de
la fonction

de
. Explicitement, cette fonction est :

En particulier, pour toute permutation

P ROPOSITION I.5.7. Soient et
, on a
deux espaces vectoriels sur , et
un polynme de degr . Soit une application multilinaire symtrique telle que . Alors : 1. Pour tout dans , est un polynme de degr . . 2. Pour tous ,. . . , dans ,
Dmonstration. On dmontre ceci par rcurrence sur . pour , on a , ce qui montre le rsultat dans ce cas. Supposons donc la Proposition vraie pour . Vrions tout dabord le premier point : en tenant compte du fait que est symtrique, et en utilisant lhypothse de rcurrence, on a, en crivant
(I.5.1)
est, en , un polynme homogne de degr , ce qui montre le 1. Vrions maintenant le 2. En crivant (I.5.1) pour , on peut crire est un polynme homogne de degr dpendant du paramtre et, o , avec . On applique maintenant de plus, pour ce qui termine la preuve. lhypothse de rcurrence :
C OROLLAIRE 1. La donne dun polynme .
dtermine de manire unique les polynmes homognes tels que
Dmonstration. En effet, cest clairement vrai pour , et, si on suppose cela vrai pour , la Proposition montre que dtermine entirement lapplication multilinaire symtrique , donc , et il suft dappliquer lhypothse de rcurrence .
De ce fait sappelle la composante de degr de .
C OROLLAIRE 2. tant donn un polynme homogne symtrique telle que
de degr , il existe une et une seule application multilinaire .

et sont des espaces norms, il faut voir ce
La notion de polynmes introduite ci-dessus est abstraite. Dans le cas o les espaces que signie quun polynme est continu :
P ROPOSITION I.5.8. Soient et deux espaces norms et
un polynme de degr . Pour tout soit
lapplication
multilinaire symtrique de dans dtermine par (Corollaire 2 ci-dessus). Les conditions suivantes sont quivalentes : (i) Les applications sont continues. (ii) Les polynmes homognes sont continus. (iii) est continu. (iv) est continu lorigine. (v) Il existe tel que . (vi) Pour tout , .
24
Dmonstration. Il est clair que (i)
; ces expressions Dnition I.5.2, page 23) est une somme dexpressions de la forme ( un facteur multiplicatif prs) tant continues en zro par hypothse, il en est donc de mme de qui est donc continue partout ce qui implique que est continue. Alors est continue en zro et lhypothse de rcurrence entrane la continuit de tous les , . Limplication (i) (vi) est trs simple : daprs la carctrisation des applications multilinaires continues, les sont bornes sur la boule ferme ce qui entrane la mme chose pour les et donc pour . Comme (vi) (v) est vidente, il ny a plus qu voir que (v) (i). On procde nouveau par rcurrence sur . Pour cest vident, supposons donc le rsultat obtenu pour . Le raisonnement est similaire aux prcdents : si est borne sur la boule alors il en est de mme de et, par suite, aussi de et on peut donc appliquer lhypothse de rcurrence .
tant triviale, supposons le rsultat vrai pour
(ii)(iii)(iv). Montrons que (iv) implique (i) par rcurrence sur . Lafrmation pour qui (daprs la . Daprs la Proposition I.5.7, lapplication est
D FINITION I.5.3. Soient et deux espaces norms, un voisinage de zro dans , un entier positif et une fonction de dans . On dit que est tangente zro lorigine lordre si . On dit que deux fonctions et de dans sont tangentes lorigine lordre si est tangente zro lorigine lordre .
La Dnition I.5.2, page 23 montre que :
P ROPOSITION I.5.9. Dans les conditions de la Dnition ci-dessus, si
est tangente zro lorigine lordre , on a
D FINITION I.5.4. Soient et deux espaces norms, un ouvert de , un point de et une fonction de dans . On dit quun polynme de degr est un dveloppement limit de lordre au point si la fonction est tangente lorigine lordre . Autrement dit si
P ROPOSITION I.5.10. Soient et deux espaces norms, un ouvert de , un point de et et sont deux dveloppements de lordre en alors .
Dmonstration. Cest exactement le Lemme suivant : L EMME . Si un polynme de degr
. Si
est tangent zro lorigine lordre il est identiquement nul.
Preuve du Lemme. La preuve se fait par rcurrence sur . Supposons le Lemme montr pour
. Si on pose
lapplication multilinaire symtrique associe , les Propositions I.5.7, page ci-contre et I.5.9 montrent que, pour tel que, pour on a . Comme est multilinaire, ceci , et, donc est un polynme de degr qui est tangent zro lorigine lordre . Lhypothse de implique rcurrence donne le rsultat.
, et si est il existe
P ROPOSITION I.5.11. Soient et deux espaces norms, un ouvert de , un point de et une fonction de dans . Supposons que admette un dveloppement limit lordre en . Les conditions suivantes sont quivalentes : (i) est continue en . (ii) est continu.
Dmonstration. Ceci rsulte de la Proposition I.5.8, page prcdente.
25
P ROPOSITION I.5.12. Soient et dans
deux espaces norms, un ouvert de
. Supposons que
, un point de et une fonction continue de admette un dveloppement lordre en . Alors :
1. pour tout
est le dveloppement limit lordre de
en .
2. Si est la forme multilinaire symtrique associe , on a
Dmonstration. Pour montrer le 1., il suft de voir que
(Proposition I.5.8, page 24. Le 2. se dduit des Propositions I.5.9, page prcdente, et I.5.7, page 24.
. Mais ceci est vident car est suppose continue
P ROPOSITION I.5.13. Soient et deux espaces norms, un ouvert de tiable au point de dans . Alors : 1. admet un dveloppement limit lordre en
, un point de et
une fonction fois diffren
2. On a
Dmonstration. Cest une consquence de la formule de Taylor-Young (Thorme I.5.3, page 22) et de la Proposition prcdente.
P ROPOSITION I.5.14. Soient , ,
1. Soient et deux applications de dans et un point de . Si et admettent un dveloppement limit lordre au point , il en est de mme de et son dveloppement limit est la somme des dveloppements de et .
et des espaces norms, un ouvert de
, un ouvert de
2. Soient une application de dans , une application de dans , une application bilinaire continue de dans et un point de . Si (resp. ) admet un dveloppement limit (resp. ) lordre au point alors la fonction de dans dnie par (i.e. le produit de et ) admet un dveloppement limit lordre au point . Plus prcisment, soit le polynme dnit par (c.f. Proposition I.5.5, page 22) , et posons . Alors

au point .
est le dveloppement limit lordre de 3. Soient une fonction de
dans
une fonction de
dans
On suppose que
(resp. ) admet un dveloppement limit lordre
un point de
et
(resp.
) au point
(resp. ). Alors
admet un dveloppement limit lordre , , au point

donn par la formule
lapplication multilinaire symtrique (de
dans ) associe
, o
dsigne
, et on a
Dmonstration. Le 1. est vident, vrions le 2. On crit
et
o et sont des
et, daprs la caractrisation des applications multilinaires continues, le membre de gauche de lgalit ci-dessus est un conclut en notant que est aussi un .
; on
26
Montrons maintenant le 3. Comme prcdemment crivons est un (resp. ). Il est clair que
et o (resp. ) , et, en posant , il vient

Chaque terme gne de degr
est une somme de dexpressions de la forme
, ou
, les seconds tant des . Pour conclure, il suft de voir que ce qui rsulte de la Proposition I.5.5, page 22.
est un polynme homo-
C OROLLAIRE . Soient , et des espaces norms, un ouvert de une fonction de dans , un point de et point et que est fois diffrentiable au point . Soit homogne donn par la formule
. On suppose que . Pour
, un ouvert de
une fonction de dans , est fois diffrentiable au , soit le polynme
Alors la diffrentielle dordre de
au point est
Dmonstration. Cest une consquence immdiate de la Proposition prcdente et de la Proposition I.5.7, page 24.
SOUS-SECTION I.5.3
Oprateurs diffrentiels
Soit un ouvert de . Rappelons (c.f. Remarque I.4.4, page 19) que, pour
, on note
D FINITION I.5.5. Soient un ouvert de coefcients dans ,
et
un espace norm. Si
est un polynme

variables de degr et
on appelle oprateur diffrentiel associ ou oprateur diffrentiel linaire lapplication de lensemble des fonctions fois diffrentiables de dans dnie par
P ROPOSITION I.5.15 (Formule de Leibnitz ). Soient , et trois espaces vectoriels, une application bilinaire de dans , un ouvert de , (resp. ) une fonction fois diffrentiable de dans (resp. ). Soit un polynme variables de degr coefcients dans . Posons
27
Alors
Dmonstration. Il suft clairement de montrer ceci lorsque est un monme et . En raisonnant , par rcurrence sur , et en crivant , on a . En dveloppant et en utilisant lhypothse de rcurrence, on peut crire , o et sont des monmes do on dduit (Proposition
I.1.5, page 3)

ce qui scrit encore et
, la sommation tant tendue aux couples de monmes tels que ou bien et pour un indice . Ceci donne la Proposition.
SECTION I.6
Applications
SOUS-SECTION I.6.1
Maxima et minima relatifs

Dans toute cette sous-section on considre des fonction dun ouvert dun espace norm dans .
D FINITION I.6.1. Soient un espace norm, un ouvert de et une fonction de dans . On dit que admet un minimum (resp. maximum) relatif en sil existe un voisinage de dans tel que , (resp. . De plus, on dit que ce minimum (resp. maximum) est strict si lingalit est stricte pour tout .
On dira que
admet un extremum relatif en si elle admet un minimum ou un maximum relatif en ce point.
P ROPOSITION I.6.1. Soient un espace norm, un ouvert de , un point de diffrentiable en et si elle admet un extremum relatif en alors
et
une fonction de
dans . Si
est
, la fonction (qui est dnie pour assez petit) admet un extremum relatif en Dmonstration. En effet, pour ce qui implique que sa drive en est nulle. Daprs la Proposition Proposition I.1.4, page 2, on a donc .
Rappelons maintenant quelques rsultats lmentaires concernant les formes quadratiques. Soit un polynme homogne de degr dun espace vectoriel dans (on appelle forme quadratique relle sur un tel polynme). Il existe donc une unique forme bili . naire symtrique de dans telle que , et elle est donne par la formule On dit que est positive (on crit ) si pour tout cest dire si (on dit aussi que est positive). Si est un espace norm, et si est continue, alors est une forme bilinaire continue. Dans ce cas les notions algbriques usuelles se dnissent, pour nous, dans le cadre topologique :
D FINITION I.6.2. Soient un espace norm et une forme quadratique relle continue sur . On dit que est non dgnre si la forme bilinaire symtrique continue associe considre comme application de dans son dual est un isomorphisme despaces norms (i.e. si lapplication o est bijective et son inverse est continue).
28
I.6. APPLICATIONS
P ROPOSITION I.6.2. Soient un espace norm et une forme quadratique relle continue sur . 1. Si est non dgnre, la relation implique . 2. Si est positive et non dgnre il existe une constante telle que,
, on a
Dmonstration. Le 1. est vident, et, en dimension nie la rciproque est aussi vraie, mais ce nest, en gnral, plus le cas en dimension lisomorphisme de dans associ . Comme est non dgnre, par dnition, il innie. Vrions le 2. Soit existe une constante telle que ce qui se traduit par lexistence dun de norme infrieure tel que . Lingalit de Cauchy-Schwarz implique alors , car, tant continu, elle est borne sur la boule unit.
T HORME I.6.1.
Soient un espace norm, un ouvert de , un point de et une fonction de dans . Si fois diffrentiable en et si elle admet un minimum relatif en alors et .
est deux
Dmonstration. En effet, daprs la Proposition I.6.1, page ci-contre, la formule de Taylor-Young (Thorme I.5.3, page 22) scrit ici et assez petit, , avec . Lhypothse implique donc que, pour , cest--dire, en posant , . Comme tends vers zro quand tends vers zro, le Thorme en rsulte.
Bien sr la rciproque de ce Thorme est fausse. On a seulement le rsultat plus faible suivant :
T HORME I.6.2.
Soient un espace norm, un ouvert de , un point de et une fonction de dans . Si est deux fois diffrentiable en et si et est positive et non dgnre alors admet un minimum strict en .
Dmonstration. En effet, la formule de Taylor-Young et la Proposition prcdente implique quil existe une constante
telle que

et, pour
assez petit, on a
Remarque I.6.1. 1. On a bien sr des noncs analogues pour les maxima relatifs. 2. Le Thorme ci-dessus donne une condition sufsante dextmum. Mais cette condition nest naturellement pas ncssaire. Dans de nombreux exemples, lutilisation de la formule de Taylor avec reste intgral permet de conclure lorsque lon ne sait pas si est non dgnere.
SOUS-SECTION I.6.2
-conjugaison
D FINITION I.6.3. Soient , , et des espaces norms, (resp. ) un ouvert de (resp. ), (resp. ) un ouvert de (resp. ), une fonction de dans et une fonction de dans . 1. On dit que est -conjugue sil existe des diffomorphismes de classe de dans et de dans tels que . 2. Soient et . On dit que est localement -conjugue au voisinage de et sil (resp. ) un voisinage de (resp. ) et (resp. ) un voisinage de existe (resp. ) tels que , et est -conjugue .
La notion de -conjugaison est facile retenir en se souvenant des diagrammes commutatifs de la F IG . I.6.1, page suivante. -diffomorphisme est -conjugu lidentit. Par exemple, tout Dans la suite de cette sous-section nous allons essentiellement considrer des espaces norms de dimension nie. Il est alors -conjugaison, une fonction donne une fonction de dans . Pour ce particulirement interressant dessayer de rduire, par faire, le langage de coordonne locale est trs commode. Soit un espace norm de dimension nie sur , et un ouvert de . Si est une base de , tout lement de scrit de manire unique
Pour tout , soit la fonction (linaire) de dans dnie par est un systme de coordonnes linaires sur . Plus gnralement :
, et, lapplication
est un isomorphisme de
sur , si
est la dimension de
. Alors, on dit que le -uplet de fonctions

29

F IG . I.6.1
-conjugaison
D FINITION I.6.4. Soient un espace norm de dimension nie un ouvert de et un point de . On appelle systme de coordonnes locales en de classe la donne de fonctions de dans de classe telles que lapplication de dans soit un diffomorphisme de classe au voisinage de . Lorsque les fonctions sont linaires, on dit que le systme est linaire.
Le Thorme dinversion locale (Thorme I.3.1, page 12) implique aussitt le critre suivant :
P ROPOSITION I.6.3. Soient un espace norm de dimension nie et un point de . Une application de classe dun voisinage de dans est un systme de coordonnes locales de classe en si et seulement si les formes linaires , . . . , forment une base de . En dautres termes, si le dterminant de la matrice jacobienne en associe lapplication est non nul.
Avant de poursuivre, prcisons lutilisation que lon fait gnralement des coordonnes locales en dimension nie. Supposons donc que est un espace norm de dimension nie et un espace norm de dimension nie . Soit un point de . Supposons que lon de dans , un voisinage de soit dans la situation suivante : il existe un voisinage de dans , une application de classe dans tel que et et deux systmes de coordonnes locales aux points et . Si on note et , on dit que la fonction dnie par , et qui est -conjugue , est lexpression de dans les coordonnes locales , . Reprenons lexemple dun -diffomorphisme dun ouvert dun espace norm de dimension dans un espace norm de mme dimension. Si est un point de , choisissons un systme de coordonnes locales de classe en o est clairement un systme de coordonnes locales en (compos de deux . Alors le systme diffomorphisme) de classe . Clairement, lexpression de dans les coordonnes locales , est lapplication identique. Ceci peut se gnraliser aisment au cas o la diffrentielle de au point est soit surjective soit injective.
P ROPOSITION I.6.4. Soient et deux espaces norms de dimensions nies de dimensions respectives et , un ouvert de , un point de et une application de classe , , de dans . 1. Si est surjective, est localement -conjugue la projection canonique
de dans . 2. Si est injective, de dans .
est localement
-conjugue linjection canonique
Dmonstration. Montrons tout dabord le 1. Puisque est surjective on a . Soit un systme de coordonnes locales en . Posons . Comme est surjective, les formes linaires , sur de sorte que sont linairement indpendantes et on peut trouver formes linaires forme une base de . La Proposition prcdente montre que est un systme de coordonnes locales en ce qui termine ce cas. un systme de coordonnes locales en . Vrions maintenant le 2. Ici est injective ce qui impose . Soit Posons et soit un systme de coordonnes linaires sur de sorte que est un systme de coordonnes locales au voisinage de dans . Soit la fonction dnie par de sorte que , et, par suite, et un isomorphisme de sorte que est un diffomorphisme au voisinage de (Thorme I.3.1, page 12). Posons ensuite pour et pour . Clairement les formes linaires , , forment une base de , ce qui, daprs la Proposition
30
I.6. APPLICATIONS
prcdente montre que est un systme de coordonnes locales sur en . Par construction, on a et pour . Lexpression de dans les coordonnes et bien linjection canonique de dans .
pour est donc
T HORME I.6.3 (Thorme du rang constant ).
Soient et deux espaces norms (considrs sur ) de dimensions nies, un ouvert de , un point de et une application de classe de dans . Pour que soit -conjugue une application linaire en , il faut et il suft que le rang de soit constant sur un voisinage de .
Dmonstration. La condition est videment ncessaire, la diffrentielle dune application linaire tant gale elle mme en tout point. , , et, on peut choisir des coordonnes Dmontrons quelle est sufsante. Par translation, on peut supposer que linaires sur et sur telles que, dans ces coordonnes, soit lapplication , tant le rang de . Nous identions maintenant et par ces coordonnes. Soient , , les composantes . Le choix des coordonnes implique de et considrons lapplication de dans dnie par que est lidentit, et, par le Thorme dinversion locale (Thorme I.3.1, page 12), , , . . . , , est un systme de coordonnes locales en . Par construction, lexpression de dans les coordonnes et est . . . , de . La matrice jacobienne o les sont des fonctions de classe de cette application contient la matrice identit , et comme son rang au voisinage de est gal , tout bloc que lon par rapport toute -me coordonnes, , sont nulles ce qui en extrait est de dterminant nul. Par suite, les drives partielles de , . . . , , montre que les fonction ne dpendent pas de , . . . , . Posons alors , . Ceci nous dnit clairement un nouveau systme de coordonnes locales au point (car . . . , et les fonctions dnissant les en fonction des sont inversibles). Si on exprime alors la fonction dans les coordonnes et on trouve clairement ce qui est le rsultat cherch.
Nous avons vu ce que lon peut dire, en termes de -conjugaison, lorsque est soit injective soit surjective. On peut se poser . Sans hypothse supplmentaire, il est facile de voir que lon la question de savoir si lon peut dire quelque chose quand peut avoir peu prs nimporte quoi. Cest pour cette raison que lon introduit la notion de point critique non dgnr :
D FINITION I.6.5. Soient un ouvert dun espace norm (rel) et une application de dans dit que est un point critique non dgnr de si et si symtrique non dgnre (c.f. sous-section prcdente).
de classe , . On est une forme bilinaire
Le Thorme suivant est un analogue des rsultats prcdents dans le cas des point critiques non dgnrs :
T HORME I.6.4 (Lemme de Morse-Palais ).
Soit une fonction relle de classe , , dnie sur un voisinage de lorigine dun espace de Hilbert rel .On suppose que est un point critique non dgnr de . Alors il existe un diffomorphisme de , au voisinage de . classe , , au voisinage de tel que et
Dmonstration. Elle est base sur un Lemme dont la preuve est similaire celle du Lemme utilis pour la dmonstration du Thorme se Stone-Weierstrass :
tel que .Alors il existe une suite de polynmes en qui L EMME . Soient un espace de Banach et converge, dans lespace de Banach , vers un endomorphisme , not tel que . De plus, il existe un voisinage de tel que la fonction soit un diffomorphisme de classe de sur son image.
. Posons
Dmonstration du Lemme. Dnissons, par rcurrence, une suite dlments de . Par rcurrence on voit tout dabord que . remarquons ensuite que pour tout entier on a commutent deux deux (ce sont des polynmes en ), il vient
en posant
, : en effet, si cela est vrai au rang , on a , et comme les
do on dduit . Ceci montre . Par rcurrence on obtient donc que la suite est de Cauchy dans , et comme cet espace est complet, elle converge vers . Alors est lendomorphisme cherch. De plus, on remarque que si , , alors, . Reste voir que ainsi construit partir de dnit une application de classe sur cette boule (pour lendomorphisme assez petit). soit lapplication de classe de dans lui mme dnie par . Sa diffrentielle tant , il en rsulta que est inversible. Le Thorme dinversion locale (Thorme I.3.1, page 12) entrane donc que est un diffomorphisme de classe (Proposition I.4.11, page 18) dans un voisinage de . Si on prend assez petit pour que , lapplication que nous avons construite est ncessairement linverse de , ce qui termine la preuve du Lemme.
31
Dmonstration du Lemme de Morse-Palais. Nous pouvons supposer que est une boule ouverte de centre . Appliquons la formule de Taylor avec reste intgral (Thorme I.5.1, page 21), tout dabord puis ensuite , il vient successivement :
et
compte tenu des hypothses, et, par suite
Alors si on pose
on peut crire . Ainsi, est une application de classe de dans qui sidentie canoniquement . Alors, le Thorme sur la caractrisation du dual dun espace de Hilbert entrane lexistence de tel que, pour tout , dans on ait (I.6.1)
En particulier, il vient
Posons . puisque est continu, lest aussi (par sa dnition mme), et, quitte rduire on peut supposer de sorte que pour tout . Daprs le Lemme, possde que est sufsamment voisin de une racine carre . Posons , et vrions que est le diffomorphisme cherch. Tout dabord, est bien de classe , daprs le Lemme, car lest et et aussi. On a bien , et , , et, par suite est un isomorphisme, ce qui entrane, daprs le Thorme dinversion locale (Thorme I.3.1, page 12) que est un diffomorphisme local. Pour nir, il nous reste voir que vrie (I.6.2). Comme est symtrique (Thorme I.4.1, page 14), il en est de mme de . La relation (I.6.1) montre alors que est gal son adjoint, et, par suite, , . Clairement, dans cette dernire relation on peut remplacer par une puissance soit de et donc par un polynme en , et, comme, daprs le Lemme, est limite de polynmes en , on peut aussi . Alors, remplacer par . Ainsi on a ce qui est la relation (I.6.2). do C.Q.F.D.
ce qui montre que est un isomorphisme puisque est un point critique non dgnr par hypothse. cest--dire, daprs ce qui prcde, tel Nous cherchons un diffomorphisme local tel que et que (I.6.2)
SOUS-SECTION I.6.3
Sous-varits diffrentiables, extrema lis

D FINITION I.6.6. Soient un espace de Banach et un sous-espace ferm de . On dit quune partie de est une sousde modele sur si tout point de M possde un voisinage ouvert tel varit (diffrentiable) de classe quil existe un diffomorphisme de classe , , de sur son image vriant . Le couple sappelle une carte locale de au voisinage de . Si le sous-espace est de dimension nie , on dit que la sous-varit est de dimension . Si de plus est aussi de dimension nie et que sa dimension est , on dit aussi que est de codimension .
Dans toute la suite, nous ne considrerons que le cas o est un espace norm rel de dimension nie. Autrement dit nous ne considrerons que des sous-varits de . Notre but est simplement de donner des dnitions quivalentes des sous-varits, ce qui est essentiellement une application du Thorme des fonctions implicites, et de dnir le plan tangent une sous-varit. Par la mme occasion, nous donnerons, dans cette sous-section, le Thorme classique des extrema lis qui sexprime particulirement bien avec le langage des sous-varits. 32 Licence de Mathmatiques Pures de Bordeaux Calcul Diffrentiel
I.6. APPLICATIONS
P ROPOSITION I.6.5. Soient un espace norm de dimension nie et une partie de . Pour que soit une sous-varit de dimension de classe de , il faut et il suft que tout point possde un voisinage ouvert sur lequel soient dnies fonctions de classe , , telles que : (i) est lensemble des zros communs aux fonctions , ; (ii) les formes linaires sont linairement indpendantes pour tout .
et (choix Dmonstration. Voyons tout dabord que les conditions sont ncessaires. Identions de coordonnes linaires). Alors si est une carte de (comme dans la dnition ci-dessus), et si sont les coordonnes , , vrient les conditions (i) et (ii). Rciproquement, supposons que les canoniques de , les fonctions , des formes linaires sur telles que conditions soient vries en un point de . Soient
forment une base de . Il en rsulte que est un systme de coordonnes locales au point (Proposition I.6.3, page 30), et, par suite, lapplication dun voisinage de dans est un diffomorphisme vriant .
C OROLLAIRE 1. Soient et deux espaces norms de dimensions nies, un ouvert de de dans . Soit un point de tel que ne soit pas vide et que Alors est une sous-varit de de codimension .
et une application diffrentiable soit surjective.
Dmonstration. En effet, identions (par des coordonnes linaires), soient celles de . Posons de sorte que
les composantes de
et

Puisque
tels que
est suppose surjective, les
sont linairement indpendantes pour , ce qui conclut.
C OROLLAIRE 2. Pour que soit une sous-varit de dimension , il faut et il suft que chaque point de possde un voisinage ouvert tel quil existe une application vriant : (i) est surjective pour tout pour un . (ii)
Dmonstration. En effet, la sufsance rsulte du Corollaire prcdent et la ncessit est contenue dans la Proposition.
P ROPOSITION I.6.6. 1. Soit une sous-varit de dimension de . Notons les coordonnes canoniques de . Quitte permuter les coordonnes , tout point de possde un voisinage tel que soit le graphe dune application dun ouvert de (que lon identie ) dans (que lon identie ). 2. Soient et deux espaces norms de dimensions nies, un ouvert de et une application de dans de classe . Alors le graphe de est une sous-varit de de dimension .
Dmonstration. Montrons tout dabord le 1. En effet, utilisons les notations et les conclusions de la Proposition prcdente : soit lapplication dont les composantes sont les . Par la Proposition prcdente, on peut extraire de la matrice jacobienne de un mineur de dterminant non nul ; autrement dit, quitte permuter les coordonnes de , on peut crire
de sorte que soit un isomorphisme. Daprs le Thorme des fonctions implicites (Thorme I.3.3, page 13), il existe une application dun ouvert de dans telle que ce qui montre que lensemble des zros de (i.e. les zros communs aux ) est le graphe de . Vrions maintenant le 2. Identions par de coordonnes linaires et soient les composantes de . Le graphe de est lensemble des points de tels que , , cest--dire lensemble des zros communs aux fonctions
et, comme les
sont linairement indpendantes, le rsultat dcoule de la Proposition prcdente.
33
P ROPOSITION I.6.7. Pour que soit une sous-varit de classe dimension , il faut et il suft que chaque point de possde un voisinage ouvert dans tel que soit limage dun ouvert de par une application de classe vriant : (i) est injective pour tout ; (ii) est un homomorphisme de sur muni de la topologie induite par celle de . On dit que le couple est une reprsentation paramtrique (ou une paramtrisation) de .
Dmonstration. La ncessit rsulte du 1. de la Proposition prcdente, montrons la sufsance. Soit et . Comme est injective, si son rang est , on peut trouver d composantes de dont les diffrentielles en sont linairement indpendantes. la projection canonique sur le Supposons que ce soit les premires. Alors si on note premier facteur, est un isomorphisme, et, daprs le Thorme dinversion locale (Thorme I.3.1, page 12), est un diffomorphisme dun voisinage, not encore , de sur un ouvert de . Comme est continue, on peut supposer, quitte rduire , que est le produit de par un ouvert de . Soit la projection canonique sur le second sur . Comme est un diffomorphisme, on peut crire facteur de , cest--dire, en posant , ce qui montre que , est le graphe de , et la conclusion rsulte du 2. de la Proposition prcdente.
Terminons ces gnralits sur les sous-varits en dnissant le plan tangent :
D FINITION I.6.7. Soit une sous-varit dun espace norm . On dit quun vecteur est tangent en un point de sil existe une application diffrentiable dun intervalle de contenant dans telle que , , et . Lensemble des vecteurs tangents au point sappelle lespace tangent en et se note (ou ).
P ROPOSITION I.6.8. Soit une sous-varit de dimension dun espace norm de dimension nie. Alors pour tout est un espace vectoriel de dimension .
de ,
Dmonstration. En effet, par la dnition mme des sous-varits, il existe un voisinage ouvert dun point de et un diffo tel que , et on peut supposer . Alors si est une courbe morphisme trace sur comme dans la Dnition ci-dessus, est une courbe sur et rciproquement. Il en rsulte aussitt que ce qui montre que est un espace vectoriel de dimension .
Suivant la dnition quivalente que lon adopte pour une sous-varit, on a une caractrisation de son plan tangent :
P ROPOSITION I.6.9. Soit une sous-varit de dimension dun espace norme de dimension nie . 1. Avec les notation de la Proposition I.6.5, est lintersection des noyaux des . 2. Avec les notations du Corollaire 1 de la Proposition I.6.5, si , est le noyau de 3. Avec les notations de la Proposition I.6.6, 2., est le graphe de . 4. Avec les notation de la Proposition I.6.7, est .
Dmonstration. Le 1. est immdiat : pour des raisons de dimension, il suft de voir que est contenu dans lintersection des noyaux des ce qui rsulte aussitt de formule de drivation dune fonction compose. Le 2. se voit de la mme manire. Le 3. est aussi , dsigne la projection sur le -ime facteur, on a et similaire : si est trace sur , et si , le rsultat sobtient en diffrentiant et en utilisant que . Le 4. est tout aussi simple : si est une courbe dans , alors est une courbe dans dont le vecteur tangent en est , ce qui montre que est contenu dans et, comme ces deux espaces ont mme dimension (puisque est injective), ils sont gaux.
Nous terminons maintenant ce chapitre par la notion dextrema lis.
D FINITION I.6.8. Soit une sous-varit diffrentiable dun espace norm de dimension nie , un ouvert de qui coupe et une fonction de dans . On dit que prsente un extremum relatif li en sur si et si la restriction de prsente un extremum relatif en . P ROPOSITION I.6.10. Soit une sous-varit diffrentiable dun espace norm de dimension nie , un ouvert de qui coupe et une fonction diffrentiable de dans . Si a un extremum li en sur , alors la restriction de lespace tangent est nulle.
34
I.6. APPLICATIONS
Dmonstration. Ceci est immdiat : si est une courbe trace sur passant par en relatif en ce qui entrane la nullit de sa drive, ce qui prouve la Proposition.
, alors la fonction
a un extremum
Cette Proposition peut se traduire de diffrentes manires en fonction du choix de la description de lespace tangent une varit, comme il est dit la Proposition I.6.9. La plus connue est celle obtenue en utilisant la caractrisation 1. de cette Proposition :
T HORME I.6.5 (Thorme des multiplicateurs de Lagrange ). Soit un ouvert de , , , des fonctions de classe
de dans dont les diffrentielles sont linairement indpendantes en tout point de , et soit lensemble des zros communs aux . Soit une fonction de dans diffrentiable prsentant un extremum li en sur . Alors il existe des constantes
telles que
. Les nombres
sont appels les multiplicateurs de Lagrange.
Comme pour les extrema libres, on peut donner des conditions de diffrentielle seconde pour les extrema lis :
P ROPOSITION I.6.11. Soit un ouvert de , , , des fonctions de classe de dans dont les diffrentielles sont linairement indpendantes en tout point de , et soit lensemble des zros communs aux . Soit une fonction de dans deux fois diffrentiable. 1. Si prsente un minimum li en sur , et si , , sont les multiplicateurs de Lagrange associs et , alors la restriction lespace tangent de en de la forme bilinaire
est positive.
2. Supposons quil existe des constantes
, telles que
. Alors si la
restriction lespace tangent de la forme bilinaire prsente un minimum local li strict en
est dnie positive,

sur .

Dmonstration. Montrons tout dabord le 1. Soit une courbe trace sur telle que . On a donc (Thorme I.6.1, page 29). Daprs la Proposition I.4.6, page 16, on a . Comme pour tout , on a , et, en additionnant lindentit precedente, il vient
Comme la sphre unit de est compacte, on peut extraire de la suite une sous-suite convergente ; quitte changer de notations, nous pouvons donc supposer que la suite est convergente de limite . Le Thorme des accroissements nis (Thorme I.2.3, page 8) applique chaque entre et montre alors que , , ce qui implique, par passage , , ce qui signie que . Par ailleurs, la formule de Taylor-Young (Thorme I.5.3, la limite quand page 22) applique chaque en donne
ce qui termine la preuve par dnition du plan tangent. Dmontrons maintenant le 2. Raisonnons par labsurde. Si nest pas un minimum local strict li, il existe une suite dans qui converge vers telle que pour tout . Posons avec et .
et, aplique , donne

do on dduit, compte tenu de lhypothse

En faisant tendre vers linni, cela donne hypothse puisque
ce qui est une contradiction avec la seconde
35
Exercices
Exercice I.1. est un espace norm, est lespace des applications linaires continues de dans lui-mme muni de la norme oprateur. Montrer, en utilisant seulement la dnition, que lapplication dnie par est diffrentiable en tout point.
Exercice I.2. est un espace prhilbertien rel, un lment de
(cf. Exercice I.1).

;
1. Montrer, en utilisant seulement la dnition, que lapplication donner sa diffrentielle. 2. Traiter la question a) en utilisant les thormes gnraux. 3. Etudier la diffrentiabilit de la fonction
est diffrentiable en tout point et
Exercice I.3. est un espace norm, est lespace des applications linaires continues de Etudier la diffrentiabilit des applications suivantes :
dans lui-mme muni de la norme oprateur.
1. 2.
, .
Exercice I.4. est un espace de Banach, est lespace des lments et bicontinue). 1. Dmontrer que est un ouvert de 2. Soit lapplication de dans donner sa diffrentielle.
tels que
est un isomorphisme de
est bijective
. dnie par
. Dmontrer que est diffrentiable et
Exercice I.5. 1. Soit un espace norm et une application dnie sur un ouvert de valeurs dans , diffrentiable en tout point. Dmontrer que si admet un extremum local en un point, sa diffrentielle y est nulle. (a) est un espace norm, est un ouvert de tel que soit compact, et frontire de et diffrentiable dans . Dmontrer quil existe tel que
une application continue, nulle sur la .
Exercice I.6. 1. Soit . Etudier la diffrentiabilit en
de la fonction
de dans dnie par : si

(a) Mme question avec
sinon

Exercice I.7. Soit la fonction de dans dnie par :
sinon
si

1. Montrer que 2. Montrer que nest pas diffrentiable en
sinon
si
admet en tout point des drives partielles dans toutes les directions.
.
et une application convexe diffrentiable de dans . admet en un minimum absolu.
Exercice I.8. Soit un espace norm, un ouvert convexe de 1. Soit un point de . Montrer que si
36
EXERCICES
2. Montrer que lensemble
t q
est convexe.
Exercice I.9. On tudie la diffrentiabilit dune norme. 1. Une norme peut elle tre diffrentiable en ? 2. est un espace de Hilbert rel. Montrer que lapplication diffrentiable dans le complmentaire de lorigine.

, o la norme est dduite du produit scalaire, est
3. Soit 4. Soit nuls.
. Montrer que . Montrer que
est diffrentiable en un point si et seulement si
est diffrentiable en un point si et seulement si
et
.
sont non
6. Soit (a) (b) (c)
5. On munit de la norme du sup. Soit seulement si il existe un indice tel que
un espace norm et ; ; Pour tout
. Montrer que est diffrentiable en un point si et pour tout . . Dmontrer que si est diffrentiable en , alors,
Exercice I.10. Soit une application de classe 1. Retrouver la formule classique :
. Dmontrer que est diffrentiable dans .
2. Soit lapplication de dans lui-mme dnie par : en tout point et calculer sa drive.
Exercice I.11. Soit lensemble des applications de classe de dans , nulles en et lespace des applications continues de On quippe de la norme et de la norme de la convergence uniforme. Soit et par :
dnies
et
Les applications et sont elles diffrentiables ?
Exercice I.12. Soit une application diffrentiable de dans et l application diffrentiable de dans dnie par Ecrire les matrices jacobiennes de et . Donner les drives partielles de en fonction de celles de .
1. Soit et
une algbre norme, .
et deux lments de
et un entier
. Donner une majoration de
en fonction de
(a) Soit
un espace norm, un entier
. Dmontrer que lapplication
de dans lui-mme est de classe
Exercice I.13. Soit lensemble des matrices carres relles dordre . 1. Montrer que la srie 2. Soit
converge pour tout
. . Montrer que est de classe
lapplication dnie par
et vrie
Exercice I.14. et sont deux espaces norms, un ouvert de existe dans . 1. Montrer que 2. En dduire que
existe et .
une application continue de
dans
, drivable dans
telle que
est une fonction de limite nulle en .
Exercice I.15. Soient et deux rels . Montrer quil nexiste aucun rel tel que accroissements nis classique ne sapplique pas aux fonctions valeurs vectorielles.
. En dduire que la formule des
37
Exercice I.16. Soit une application continue et drivable sur 1. Montrer que si
pour tout
, alors
).
.
(considrer

2. Montrer que ce rsultat ne subsiste pas si on remplace drive par drive droite, ou si on considre des fonctions valeurs vertorielles (on pourra prendre ). . Montrer que 3. Soit et appliquer la question 1.). 4. On pose Conclusion ?
est valeurs dadhrence de pour
pour
et
. Prouver que est isol dans lensemble des valeurs .

( , espace vectoriel norm). On veut tablir quil . Prouver quil existe
Exercice I.17. Soit une application continue et drivable droite sur tel que . existe
1. On suppose que
et
.
pour tout
et
tels
2. Conclure en appliquant le thorme des accroissements nis aux segments Exercice I.18. Soit un ouvert de et
et
2. Soit un compact inclus dans . Prouver quil existe une runion nie de pavs compacts telle que 3. Si est de classe
1. Soit un pav compact (produit dintervalles ferms borns) inclus dans Montrer que (on pourra subdiviser en pavs). , tablir que
. On note
la mesure de Lebesgue de , et on suppose que
. On suppose que
.
est -lipschitzienne sur
sur et que existe ( est diffrentiable au point
Exercice I.19. Soit une fonction dnie sur un intervalle ouvert de et valeurs dans un espace vectoriel norm. On suppose que
). pour , on pose si et . Montrer que (on pourra utiliser la fonction ).
est drivable
Exercice I.20. 1. Soit une fonction vectorielle admettant une drive droite en . Montrer qualors lapplication drive droite en . (a) Soient et telle que (b) (c)
admet une diffrentiable
. Soit un point de , un voisinage de et soit satisfaisant . . Montrer quil existe au plus une application diffrentiable de dans telle que et Montrer que le rsultat prcdent est encore vrai si lon suppose seulement que possde une diffrentielle partielle par
rapport la seconde variable qui est continue.
deux espaces vectoriels norms, un ouvert connexe de et un point de . Soit . Montrer que pour assez proche de on a
Exercice I.21. Dterminer la tangente et la concavit au point
de la courbe dnie implicitement par lquation

Exercice I.22. Soit lapplication dnie par
avec
2.
1. tudier la diffrentiabilit de . Calculer son jacobien en est-elle inversible ? Dterminer et construire
Exercice I.23. Soit un espace vectoriel de dimension nie, et une application de classe et -Lipschitzienne avec . Montrer que dnie par est un diffomorphisme. [Indication : pour montrer que est surjective, on pourra montrer que limage inverse dune partie borne est borne]. Exercice I.24. Soit un espace de Banach. Montrer lexistence de deux voisinages et de est un -diffomorphisme entre et . 38
dans
tels que la restriction de
EXERCICES
Exercice I.25. Soit et lespace afne des polynomes unitaires de degr coefcients complexes. . Soit lensemble des polynomes unitaires scinds racines simples et Vrier que est un ouvert de et que est un ouvert de . Montrer que lapplication dnie par est un -diffomorphisme.
Exercice I.26. tel que le polynome admet racines simples distinctes Soit Montrer que pour tout positif existe un positif tel que pour tout dans vriant admet racines simples distinctes avec pour tout . polynome
.
le
Exercice I.27. Soit une fonction de classe
1. Montrer quon peut trouver des fonctions est une base de vecteurs propres de . tudier la diffrentiabilit des . 2. On dnit
telle que, pour tout ,
continues telles que, pour tout , la famille
admet valeurs propres distinctes.
par
Montrer que
pour pour et sur . Dterminer les vecteurs propres de , conclure. est de classe
Exercice I.28. 1. Montrer que, si et sont des rels positifs, 2.
est quivalent . tudier la fonction dnie par . En dduire que, pour tout diffrent de , lquation admet exactement deux solutions, dont lune est . On note la seconde solution et on pose . Montrer quon dnit ainsi une fonction continue de vers . sur et sur . (a) Montrer que est de classe
(b) Montrer quil existe une fonction
diffrentiable telle que
(c) Montrer que est de classe
sur .
Exercice I.29 (Lemme de Morse (c.f. Thorme I.6.4)). lespace vectoriel des matrices symtriques de 1. On note . tels que
. On xe
inversible et on note
(a) Montrer que diffomorphisme local en
est un ouvert de
.
et que lapplication
dnie par
est un
(b) Montrer lexistence dun voisinage de dans et pour tout
(c) Montrer quil existe une matrice diagonale dont les coefcients diagonaux sont des et des de classe telle que pour tout , .
et dune application .
de classe telle que ainsi quune application

en
2. Soit une fonction de classe est inversible.
, nulle en et telle que

telles que et
. On suppose que la matrice hessienne de
(a) Montrer quil existe des fonctions lisses (b) Montrer quil existe un pour tout dans , on a
pour tout .
-diffomorphisme
dni sur un voisinage de et un entier tels que,
Exercice I.30. Le but de cet exercice est de montrer que le nombre nest pas algbrique dordre (et donc est irrationnel), cest--dire quon ne peut pas trouver trois entiers , , non tous nuls tels que . 1. Soient et deux entiers. On note de Taylor-Lagrange pour en . 2. On suppose que la fonction de dans dnie par
pour tout rel. Ecrire la formule
est un entier. Montrer qualors
. Conclure.
39
Exercice I.31. Soit une fonction de classe
et . Montrer (par exemple par rcurrence) quil existe une suite strictement croissante et valeurs positives telle que pour tout . Indication : pour passer du rang au rang , on pourra raisonner par labsurde.
telle que
Exercice I.32. Soient un espce norm, un intervalle compact de et une application de classe . On note tels que . Montrer que si est inni alors il existe dans tel que pour tout . Montrer que ce nest plus valable lorsque .
Exercice I.33 (Thorme de Borel). et valant sur tels que 1. Soit une fonction de classe de dans nulle sur tels que de dans et -plate en i.e. telle que pour tout tel . Soit une fonction de classe . Pour tout que , on note , la fonction . Montrer que si alors

quand tend vers .
-plate en par des fonctions de classe

.
3. Pour tout multiindice
2. En dduire quon peut approcher (en un sens prciser) toute fonction de classe nulles au voisinage de .
, on considre un rel
.
de classe
. On pose
dnie par
(a) Montrer que pour tout , il existe une fonction de classe pour tout tel que
nulle sur un voisinage de telle que
(b) Montrer quil existe une fonction
telle que
pour tout .
Exercice I.34. une fonction de classe . On dnit le laplacien de Soit ouverte (resp. ferme) de . 1. Si 2. Si
par
. On note
. .
(resp.
) la boule unit
pour tout dans pour tout
, montrer que
pour tout
, montrer que
pour tout
1. Soient
, et . On considre , et on pose lapplication tels que . tudier le maximum global de la rextriction de . Retrouver ainsi
et rels strictement positifs
lingalit arithmtico-gomtrique. (a) On se donne un entier Soit

,
. On note
sur .
tels que
. Dterminer le maximum global ge
Exercice I.35. Quel est, parmis tous les triangles ayant un primtre donn
, celui qui a la plus grande aire ?
Exercice I.36. Soient et deux espaces norms et une application deux fois diffrentiable d un ouvert de dans . A tout vecteur de , , dnie par . Montrer que est diffrentiable et exprimer sa diffrentielle on associe lapplication en un point .
Exercice I.37. Soit un espace de Hilbert rel, une application linaire continue de dans lui-mme et lapplication de . Dmontrer que est deux fois diffrentiable et dterminer sa diffrentielle seconde. Exercice I.38. Soit un espace de Banach, louvert de dans dnie par
dans , dnie par
constitu des tels que

est inversible dans et lapplication de
Dmontrer que est de classe 40
et dterminer sa diffrentielle seconde. Licence de Mathmatiques Pures de Bordeaux Calcul Diffrentiel
EXERCICES
est un ouvert dun espace norm et une application fois diffrentiable de dans un espace norm et tout , on pose . 1. Calculer pour tout entier . 2. On suppose que est connexe et que . Que peut on dire de ?
Exercice I.39.
. Pour tout entier
Exercice I.40. On dsigne par le produit scalaire usuel dans . Soit une application deux fois diffrentiable de dans lui-mme telle que et pour tous vecteurs . 1. Soit 2. Pour 3.
. En dduire que Montrer que est nulle et que
et , on pose
. Calculer la drive de . . Montrer que
et
est une application linaire conservant le produit scalaire.
Exercice I.41. Soit un espace vectoriel norm sur , 1. On suppose 2. On suppose de classe
un ouvert convexe de
et
une application de dans .
diffrentiable. Montrer que . Dmontrer que
est convexe si et seulement si est convexe si et seulement si
pour tous pour tout

. On suppose quil existe deux rels
.
. et
Exercice I.42. Soit et deux espaces norms et tels que pour tout ,
1. Montrer que pour tous , lments de
une application deux fois diffrentiable de et . , on a

dans
2. En dduire une majoration de 3. Montrer que pour tout dans ,
pour , lments de

, non nul.
Exercice I.43. une fonction et t q et soit un point de . On suppose que Soit . Soient et deux fonctions coincidant sur lensemble au voisinage de . telle que sur . On pourra Montrer quil existe un voisinage ouvert de et une fonction , . considrer le changement de variables local si par exemple,
Exercice I.44. Les sous ensembles suivants sont ils des sous-varits ? On dterminera l espace tangent en un point quelconque lorsque cela est possible. 1. 2. 3. 4. 5.
( On cherchera appliquer le plus de dnitions possibles du cours). ; ; ; .

dni par

Exercice I.45. On considre le sous ensemble de
Dmontrer que cet ensemble est une sous varit de . Exercice I.46. Soit une sous-varit compacte de de dimension ; un point de . 1. Dmontrer quil existe un point tel que o est la distance euclidienne. 2. Dmontrer quun tel point est tel que est orthogonal lespace tangent en .
41
C HAPITRE
QUATIONS DIFFRENTIELLES
ans tout ce chapitre, les espaces norm considrs seront toujours des espaces norms rels complets cest--dire des espaces de Banach rels. Pour toute fonction diffrentiable dun intervalle de dans un espace de Banach (rel) , la diffrentielle de en un point de lintervalle de dnition de est toujours identie llment de et sera, le plus souvent (pour ne pas dire toujours) note pour satisfaire aux habitudes usuelles. De mme, les drives dordre suprieures de , identies un lment de seront notes , , . Les rferences bibliographiques classiques de base pour ce chapitres sont : [Car67], [Ave83] et [Dem96].
SECTION II.1
Gnralits
SOUS-SECTION II.1.1
Dnitions
D FINITION II.1.1.
Soient un espace de Banach rel et une partie de et appelle quation diffrentielle dordre une quation de la forme On dit quune fonction de classe dun intervalle de dans deux conditions suivantes sont satisfaites : (i) pour tout ; (ii) , pour tout .
une fonction continue de dans
. On
ou
(II.1.1)
est une solution de lquation (II.1.1) si les
Le sous-ensemble de la Dnition ci-dessus nest pas ncessairement ouvert, de mme que lintervalle peut tre ouvert, ferm, born ou non. Dans le cas o une borne de lintervalle appartient , il est gnralement sous-entendu que est drivable droite ou gauche (suivant le cas) et que cette drive vrie lquation (II.1.1). Dautre part, il nest pas ncessaire de supposer, priori, dans cette Dnition que est de classe : cest automatique puisque est continue. 43
CHAPITRE II. QUATIONS DIFFRENTIELLES
Si
est un produit ni
despaces de Banach, et si
, sont les composantes de
, et
celles de , alors
lquation (II.1.1) est un systme de quations diffrentielles dordre inconnues
De la mme manire, on peut dnir les quations diffrentielles dordre :
D FINITION II.1.2. Soient un espace de Banach rel et une partie de et appelle quation diffrentielle dordre une quation de la forme
. On
On dit quune fonction de classe dun intervalle de dans les deux conditions suivantes sont satisfaites : (i) pour tout ; (ii) , pour tout .
(II.1.2)
est une solution de lquation (II.1.2) si
Ainsi est une solution de (II.1.2) si et seulement elle est solution de lquation diffrentielle du premier ordre suivante :
Ceci montre que ltude des quations diffrentielles dordre se ramne toujours celle des quations dordre . Prcisment :
P ROPOSITION II.1.1. Soient un espace de Banach rel et une partie de
une quation diffrentielle dordre . Soit continue dnie sur par
lquation diffrentielle dordre o

et
et
(II.1.3) est la fonction (II.1.4)
Alors, est solution de (II.1.3) si et seulement si, il existe une solution . En particulier, on a , .
de (II.1.4) telle que
D FINITION II.1.3. Soient un espace de Banach rel et une partie de et une fonction continue de dans . Soit un point intrieur . On appelle problme de Cauchy en associ lquation diffrentielle le problme qui consiste chercher une solution de lquation diffrentielle prcdente dnie sur un intervalle contenant et vriant . Le point sappelle la condition initiale (ou donne initiale) du problme de Cauchy.
Dans la pratique on parle du problme de Cauchy , . Si un problme de Cauchy , a une solution, on dit aussi que le point est un point dexistence locale pour lquation diffrentielle . On dit quun point dexistence locale est un point dunicit locale si, tant donn deux solutions au problme de Cauchy , , dnies sur des segments contenant , il existe un segment non rduit un point contenant sur le quel les deux solutions sont gales.
une quation diffrentielle dordre provenant dune quation dordre . Alors, en termes de Remarque II.1.1. Soit solution de lquation dordre , un problme de Cauchy (pour lquation dordre ) scrit , , avec .
On remarquera au passage que la notion de problme de Cauchy est tout fait naturelle : en effet, si dune quation diffrentielle dordre ,
, on a
est une solution
xe la condition initiale . Avant de poursuivre donnons une interprtation gomtrique classique des quations diffrentielles : 44 Licence de Mathmatiques Pures de Bordeaux Calcul Diffrentiel
est une constante. Cest cette dernire qui
II.1. GNRALITS
D FINITION II.1.4. Soient un espace norm et un ensemble. 1. On appelle champ de vecteurs sur paramtre dans une application dune partie de dans . Si est un espace topologique, on dit que le champ est continu si lapplication est continue. 2. Soit un champ de vecteurs continu sur paramtres dans (on dit, dans ce cas, que le paramtre est le temps). On appelle courbe intgrale du champ au voisinage de , une courbe diffrentiable , , telle que, pour tout , , , et, la tangente la courbe en est gale au vecteur (i.e. tout instant, la tangente la courbe est donne par le champ de vecteurs). Autrement dit si est une solution au problme de Cauchy , . 3. Dans les conditions du 2., si le champ est indpendant du temps (i.e. du paramtre, cest--dire o est un ouvert de ), on dit que est le champ des vitesses et lquation diffrentielle est dite autonome.
Cette dnition est gnralement prise comme dnition des quations diffrentielles par les mcaniciens. La distinction entre champ de vecteur dpendant du temps et champ indpendant du temps est en fait illusoire : la premire se ramne la seconde en est un champ de vecteurs dpendant du temps, soit considrant lespace-temps : en effet, si . Alors si est une courbe lespace temps, et le champ de vecteurs dnit par et , donc, la courbe intgrale telle que vaille au temps intgrale de , on a tout de suite (i.e. ) une projection sur qui est une courbe intgrale du champ . On voit ainsi que lon rcupre toutes les courbes intgrales du champ comme des courbes intgrales du champ des vitesses sur lespace-temps.
D FINITION II.1.5. Soient un espace de Banach rel et une partie de et une fonction continue de dans . 1. Soient et deux solutions de lquation diffrentielle . On dit que prolonge si et si la restriction de concide avec . 2. On dit quune solution de lquation diffrentielle est maximale sil nexiste pas de solution prolongeant et telle que .
P ROPOSITION II.1.2. Soient un espace de Banach rel et une partie de et une fonction continue de dans . Toute solution de lquation diffrentielle se prolonge en une solution maximale (mais ce prolongement nest pas ncessairement unique).
, la notation signiant que les bornes peuvent ou non tre incluses dans Dmonstration. Pour xer les notations, posons lintervalle. Montrons par exemple que se prolonge en une solution o avec et maximale droite (i.e. tels que en ). Construisons, par rcurrence des prolongements successifs de , dnis sur des intervalle : si est construit ( ), soit la borne suprieure des tels que se prolonge . Il existe donc , si , si , et une solution de lquation diffrentielle prolongeant . Clairement, par construction la suite est dcroissante et la suite est croissante : les suites et sont donc adjacentes et par suite elles sont convergentes (dans ventuellement) vers une limite commune . De plus, toujours par construction des , il existe une solution de lquation diffrentielle qui prolonge chaque et que lon peut, si cela est possible, prolonger en . alors, est une solution de lquation diffrentielle qui prolonge , elle prolonge chaque ce qui implique , et, si . par suite
Tout point dexistence est donc point dexistence pour une solution maximale. Il faut par contre distinguer les notions locales et globales pour ce qui est de lunicit. On dit quun point dexistence locale est un point dunicit maximale sil nexiste quune , . Un point dunicit maximale est bien sr un point dunicit seule solution maximale au problme de Cauchy locale mais la rciproque est fausse.
D FINITION II.1.6. Soient un espace de Banach rel et une partie de et une fonction continue de dans . Supposons de la forme o est un intervalle de et une partie de . On dit quune solution de lquation diffrentielle est globale si elle est dnie sur lintervalle tout entier.
Remarque II.1.2. On notera quune solution globale est bien sr maximale mais que la rciproque est fausse. La Proposition suivante se dmontre immdiatement par rcurrence :
P ROPOSITION II.1.3. Soient un espace de Banach rel et un ouvert de et une fonction continue de dans . Si est de classe (resp. ) toute solution de lquation diffrentielle est de classe (resp. ).
45
On peut dailleurs aisment calculer les drives successives dune solution (en drivant lquation diffrentielle) en fonctions de la solution elle mme et des drives de .
P ROPOSITION II.1.4. Soient un espace de Banach rel et une partie de fonction est une solution du problme de Cauchy (i) est continue, (ii)
et
et , ;

une fonction continue de dans . Une , si et seulement si :
.

et tant supposes continues, la fonction
Dmonstration. En effet, il suft de remarquer que, les fonctions
est drivable sur de drive
ce qui est une proprit lmentaire de lintgrale.
On notera, par exemple que si est priori drivable sur sauf peut tre en un nombre ni de points de son intervalle de dnition, et , la Proposition ci-dessus implique que est une solution de lquation diffrentielle : vrie, en dehors de ces points, en fait, dans cette situation, se prolonge par continuit tout lintervalle, ce qui implique que est de clase sur lintervalle.
SOUS-SECTION II.1.2
Bouts des solutions maximales

Dans cette sous-section nous allons introduire une notion qui permet, dans certains cas, de dire o se trouvent les extrmits des solutions maximales.
D FINITION II.1.7. Soient
un espace de Banach rel et une partie de , une fonction continue de dans , et une solution maximale au problme de Cauchy , . Posons , la notation signiant que lintervalle peut tre ouvert ou ferm. 1. Si , on appelle bout droit de la solution maximale lensemble o est lensemble des valeurs dadhrence (dans ) de lorsque tend vers . Autrement dit, . 2. Si , on appelle bout gauche de la solution maximale lensemble o est lensemble des valeurs dadhrence (dans ) de lorsque tend vers . Autrement dit, .
P ROPOSITION II.1.5. Soient un espace de Banach rel et une partie de , une fonction continue de dans , et une solution maximale au problme de Cauchy , . Si (resp. ), et si reste born au voisinage de (resp. ) (auquel cas on dit que est borne sur le graphe de au voisinage de ) alors (resp. ) est rduit un point. Autrement dit, a une limite en (resp. ).
, ce qui montre, puisque
Dmonstration. En effet, le Thorme des accroissements nis (Thorme I.2.2, page 7), pour et proches de on a est complet que converge dans lorsque tend vers .
P ROPOSITION II.1.6. Soient un espace de Banach rel et une partie de , une fonction continue de dans , et une solution maximale au problme de Cauchy , . Supposons de dimension nie. Si (resp. ), et si reste borne au voisinage de (resp. ) alors (resp. ) est un compact connexe non vide.
de ces Dmonstration. En effet, si on pose , alors est un compact connexe non vide et lintersection compacts ne peut tre vide (famille dcroissante). La connexit se voit aussi aisment : si , o les sont des ouverts de rencontrant tous deux et tels que . Par compacit de , il existe deux voisinages ouverts et de disjoints. Ainsi, quitte changer les on peut les supposer disjoints. Si , alors lintersection des est vide ce qui implique, par dnition de la compacit, que lun dentre eux est vide.
46
II.2. SOLUTIONS APPROCHES, MTHODE DEULER
SOUS-SECTION II.1.3
Cylindres de scurit
D FINITION II.1.8. Soient un espace de Banach rel et une partie de et une fonction continue de dans . est un cylindre de scurit pour Soit . On dit quun cylindre le problme de Cauchy , , si toute solution de lquation diffrentielle dnie sur un intervalle contenant , contenu dans , vriant reste contenue dans (i.e. , ).
La Proposition simple, mais importante, suivante montre quil existe toujours des cylindres de scurit.
P ROPOSITION II.1.7. Soient un espace de Banach rel et une partie de et . Supposons quil existe un cylindre
est un cylindre de scurit du problme de Cauchy
. Alors le cylindre
, ne , Dmonstration. En effet, si cela tait faux, il existerait, par exemple, une solution dnie sur un intervalle , on ait . Soit la borne infrieure restant pas dans , cest--dire telle que, pour certaines valeurs de tels que , de sorte que et . Alors, par dnition de , des
contenu dans tel que avec , .

. Soit
ce qui est absurde puisque
P ROPOSITION II.1.8. 1. Il existe un cylindre de scurit ds que est borne sur un cylindre contenu dans donn a priori. 2. Si lespace est de dimension nie alors tout cylindre contenu dans est compact et la continuit de implique quelle est borne sur ; ainsi, dans ce cas, on peut donc prendre pour , dans la Proposition prcdente, tout cylindre contenu dans . 3. En gnral, la continuit en de permet seulement de dire quil existe un cylindre o est borne et donc un cylindre de scurit qui lui est associ comme dans la Proposition prcdente. , o 4. La preuve de la Proposition montre que si on a seulement , alors le cylindre est de scurit pour toute solution dnie sur un intervalle de
. Dans cette situation on dit que avec la forme , est un cylindre de scurit.
5. On notera que, daprs le Thorme des accroissements nis (Thorme I.2.2, page 7), dans les conditions de la Proposition prcdente, toute solution dnie sur un intervalle tel que est contenu dans un cylindre de scurit sur lequel est majore par , est lipschitzienne de rapport .
SECTION II.2
Solutions approches, Mthode dEuler

. Nous dirons quune fonction continue
un espace de Banach rel et
une partie de
une fonction continue de dans et est une solution approche

47
linaire (afne) par morceaux droite de au problme de Cauchy , , si les conditions suivantes sont satisfaites : (i) Il existe une subdivision , , de telle que , et, pour tout , ; (ii) pour tout , , la restriction de lintervalle est donne par . De mme, par symtrie, nous parlerons de solution approche linaire (afne) par morceaux gauche , . de au problme de Cauchy
On notera que, tant donn une subdivision de lintervalle , il existe au plus une seule solution approche linaire par morceaux droite de au problme de Cauchy , : cette mthode de construction est gnralement appele la mthode dEuler ou mthode de la tangente. Prcisment cette mthode construit la solution approche comme suit :
P ROPOSITION II.2.1 (Mthode dEuler ). Soient une partie de , espace de Banach, et une application de dans . Soit . 1. On dnit tout dabord sur lintervalle par , tant choisit de sorte que (si cela est possible bien sr). 2. on dnit ensuite sur lintervalle par , tant l aussi choisit de sorte que . 3. Et ainsi de suite par rcurrence sur chacun des intervalles , . Il est clair que cette construction donne une solution approche linaire par morceaux droite de , dnie sur un intervalle dont la taille dpend du choix initial de et de (on peut avoir, sans hypothses supplmentaires, !). On dit que cette solution approche linaire par morceaux est associe la subdivision . De plus, on a : (i) Sur , est drivable et . (ii) aux points , a une drive droite et gauche et et (sauf aux extrmits o il ny en a quune sur les deux). (iii) En notant la drive de en dehors des points , , alors est une fonction en escalier , pour tout . et on a
Naturellement, si on choisit au hasard le point de dpart il se peut que lon ne puisse mme pas entamer le processus de construction car on peut ne pas trouver tel que . La F IG . II.2.1 illustre la construction.
droite dquation :
F IG . II.2.1 Solution approche par la mthode dEuler
si 48
, on pourra toujours construire une telle solution approche sur un intervalle assez petit. Plus prcisment, est assez petit, grce la continuit de , pour toute subdivision de on peut construire une solution approche
Si Licence de Mathmatiques Pures de Bordeaux Calcul Diffrentiel
associe cette subdivision : lide est que, si la subdivision est assez ne, on espre ainsi approcher une solution exacte. En fait, nous allons procder de manire plus prcise en utilisant les cylindres de scurit :
P ROPOSITION II.2.2. Soient un espace de Banach rel et une partie de , une fonction continue de dans et . Supposons que lon ait un cylindre contenu dans sur lequel est borne par . Alors si , pour toute subdivision , , de ,
la mthode dEuler construit une solution approche linaire par morceaux associe la subdivision qui reste dans . Autrement dit, le cylindre est de scurit pour toute solution approche linaire par morceaux dnie sur un intervalle . De plus, une telle solution approche est
-lipschitzienne. Naturellement, on a un nonc analogue pour les solutions approches linaires par morceaux gauche de .
Dmonstration. Reprenons les notations de la dnition prcdente et raisonnons par rcurrence sur : montrons que pour (ce qui est bien sr vrai si ). En effet, lhypothse de , pour , si lon suppose rcurrence implique , , ce qui entrane pour , et, par suite, en crivant

il vient
Le fait que soit -lipschitzienne rsulte aussitt de la dernire assertion de la Proposition prcdente. Sil est clair que, dans les conditions de la Proposition prcdente, on peut toujours considrer des solutions approches linaires par morceaux dnie sur des subdivisions aussi nes que lon veut, il est moins vident que lon puisse en construire qui soit, en un certain sens, proches dune vraie solution. Pour aborder cette question, introduisons tout dabord une dnition :
un espace de Banach rel, une partie de , une fonction continue de dans et . 1. On dit quune fonction de classe sur un segment contenant est une solution approche de classe au problme de Cauchy , , si et si
. Soit
et
2. On dit quune fonction continue de classe par morceaux sur un segment contenant est une solution -approche de classe par morceaux au problme de Cauchy , , si et sil existe une subdivision , , de , , , telle que, pour tout , admette une drive droite et une drive gauche en (sauf bien sr aux extrmits o il ny en a quune), la restriction de chaque intervalle est de classe et
et
Nous avons vu prcdemment quune solution approche linaire par morceaux ne peut schapper dune boule si son intervalle de dnition est convenablement reli un cylindre de scurit. Pour les solution -approches, il faut modier un peu ce rsultat :
P ROPOSITION II.2.3. Soient un espace de Banach rel, une partie de , une fonction continue de dans et . Supposons que lon sest donn un cylindre o est un segment de contenant tel que . Soit . Soit maximum de sorte que soit contenu dans . Alors toute solution -approche par morceaux , avec , au problme de Cauchy , , reste dans la boule . Naturellement on a un rsultat analogue pour un intervalle convenable de la forme .
49
Dmonstration. Supposons que cela soit faux. On a donc une telle solution -approche, , dnie sur un intervalle , qui sort de la boule pour une valeur de . Soit la borne infrieure des pour lesquels et . Comme est drivable sauf en un nombre ni de points et est continue, on a de sorte que
, ,
et, par suite

, on a
puisque, par dnition de , pour
. Mais ceci contredit la dnition de .
Ltape fondamentale pour obtenir les Thormes dexistence de solution locale pour les quations diffrentielles que nous avons en vue est de montrer que, tant donn un cylindre de scurit, on peut toujours construire des solutions -approches linaires par morceaux dnies dans un intervalle dont la longueur ne dpend que du cylindre de scurit. Nous allons donner deux preuves de ce rsultat : lune ne faisant aucune hypothse sur la fonction et lautre sous une hypothse duniforme continuit locale. La seconde permettra en plus de contrler lerreur faite par la solution approche en fonction du module de continuit de .
T HORME II.2.1 (Thorme dexistence des solutions -approches ).
un espace de Banach rel, une partie de , une fonction continue de dans et . Supposons que lon sest donn un cylindre o est un segment de contenant tel que . Soit maximum de sorte que soit contenu dans ; ainsi, est un cylindre de scurit. Alors, pour tout il existe une
Soient
solution -approche, linaire par morceaux Naturellement, on a un nonc analogue sur lintervalle
avec
. De plus cette solution est -lipschitzienne. et .
Dmonstration. Nous pouvons nous restreindre au cas sinon il ny a rien montrer. Nous allons construire par la mthode dEuler ce qui donnera tout de suite la dernire assertion concernant le fait que est -lipschitzienne daprs la Proposition II.2.2 et le Thorme des accroissements nis, Thorme I.2.1, page 6. Nous construisons donc en utilisant la mthode dEuler (Proposition II.2.1). Daprs la Proposition II.2.2, page prcdente, cela revient montrer quil existe une subdivision convenable de . Dnissons tout dabord par
tels que
Par continuit de , on a clairement . Si la construction est termine. Sinon on recommence le mme procd pour la construction se termine et sinon on recommence. Supposons construire en remplaant par et par . Si que le procd se poursuive jusqu ltape (i.e. ). Remarquons tout de suite que la fonction ainsi construite est une solution -approche sur lintervalle : cela rsulte aussitt de la Proposition II.2.1 et de la construction, et, de plus, elle est -lipschitzienne. Pour conclure, il suft donc de voir que le procd sarrte ncessairement cest--dire que, pour assez grand, on aura automatiquement . Supposons que cela soit faux et que le procd se poursuive indniment. On construit ainsi et une solution approche sur . Comme est une suite strictement croissante majore qui converge donc vers -lipschitzienne, on a ce qui montre que la suite est de Cauchy dans . Elle converge donc vers une limite qui appartient daprs la Proposition II.2.2, page prcdente. Considrons alors, pour donn assez grand la solution approche dnie sur et (Proposition II.2.2). Si on a , et, comme est continue en associe la subdivision , , pour assez grand, on aura
car et
et
tendent vers zro quand . Ceci contredit la possibilit de construire .
C.Q.F.D.
Si on impose une condition duniforme continuit , le Thorme prcdent devient trs simple : 50 Licence de Mathmatiques Pures de Bordeaux Calcul Diffrentiel
P ROPOSITION II.2.4. Soient un espace de Banach rel, une partie de , une fonction continue de dans et . Supposons quil existe o est un segment de contenant tel que, dune part, , et, dautre part, soit uniformment continue sur , cest--dire que
son module de continuit
tels que vrie . Soit maximum de sorte que soit contenu dans . Alors toute solution approche linaire par morceaux droite de est -approche pour o .

Dmonstration. Cest une consquence immdiate de la Proposition II.2.1, page 48.
Lintrt des solutions -approches rside dans la proprit suivante :
P ROPOSITION II.2.5. Soient un espace de Banach rel, une partie de , une fonction continue de dans et . Supposons que lon ait une suite , , de solutions -approches au problme de Cauchy , , dnies dans un mme segment telle que (ce qui est toujours possible par les deux rsultats prcdents si est convenablement associ un cylindre de scurit comme dans les Propositions prcdentes) et qui converge uniformment vers une fonction continue telle que, , . Alors est une solution de problme de Cauchy , .
Dmonstration. Remarquons tout dabord que, en posant
, lensemble

est un compact de contenu dans . En effet, si on note lensemble des , , alors est compact dans lespace norm (muni de la norme uniforme) (car lensemble form des points dune suite convergente et de sa limite est toujours compact), est continue de dans , son image est compacte. Comme est continue, et comme lapplication ceci implique quelle est uniformment continue sur (Proposition ??, page Proposition II.1.1) et, par suite, la suite des fonctions converge uniformment, sur , vers . Alors, comme, par hypothse, on a, si ,
on obtient la conclusion en crivant

et en appliquant la Proposition II.1.4, page 46.
51
SECTION II.3
Thormes dexistence et dunicit gnraux

SOUS-SECTION II.3.1
Le cas de dimension nie : le Thorme de Cauchy-Peano-Arzela

T HORME II.3.1 (Thorme de Cauchy-Peano-Arzela ).
Soient un espace norm rel de dimension nie, une partie de , une fonction continue de dans et . Supposons que lon ait un cylindre contenu dans o est un segment de contenant (un tel cylindre existe toujours si est dans lintrieur de , mais ceci nest pas ncessaire). Soient ( est ni car est compact et continue), et tous deux maximum de sorte que soit contenu dans . Alors il existe une solution
au problme de Cauchy
Dmonstration. Il nous suft, par exemple, de montrer lexistence de sur , le mme raisonnement fournira une solution sur et il ny aura plus qu recoller les deux solutions. Daprs la Proposition prcdente ( est uniformment continue -approche, , dnie sur lintervalle . Comme chaque est sur ), pour tout , il existe une solution , (Proposition II.2.2, page 49), lensemble des forme une partie quicontinue, et, tant de lipschitzienne et est relativement compact. Alors le Thorme dAscoli dimension nie, est compacte, ce qui montre que implique quil existe une sous-suite de la suite qui converge uniformment sur vers une fonction continue . Pour conclure, il suft dappliquer la Proposition II.2.5. C.Q.F.D.
C OROLLAIRE . Soient
, une fonction continue de dans et . Alors il existe une solution maximale de lquation diffrentielle telle que . De plus, si est ouvert, lintervalle de dnition de toute solution maximale de lquation diffrentielle est ouvert.
un espace norm rel de dimension nie, une partie de
Dmonstration. La premire assertion rsulte du Thorme prcdent et de la Proposition II.1.2, page 45. La seconde est immdiate : si est une solution maximale dnie sur , alors appartient qui est ouvert, et, le Thorme prcdent dit quil existe , . En considrant alors la fonction qui est gale sur et au une solution au problme de Cauchy del de , on contredit la maximalit de . Remarque II.3.1. Dans les rsultats dexistence de cette sous-section il ny a videment pas unicit de la solution. Par exemple le problme de Cauchy , , a trivialement deux solutions (locales ou maximales) : et .
SOUS-SECTION II.3.2
Le cas localement lipschitzien

D FINITION II.3.1. Soient un espace norm rel de dimension nie, une partie de , une fonction continue de dans . On dit que est localement lipschitzienne en si, pour tout point de il existe un voisinage de et une constante (dpendant du point ) tel que, dans soit lipschitzienne de rapport par rapport , cest--dire si, pour tout couple de points et de on a .
52
II.3. THORMES DEXISTENCE ET DUNICIT GNRAUX
Dans la suite, nous dirons souvent localement lipschitzienne pour localement lipschitzienne en . Dans ce cadre, nous allons dmontrer des Thormes dexistence et dunicit (local et maximal). Nous donnerons deux dmonstration de lexistence des solutions : lune utilisant les solutions approches dnies la section prcdente, lautre base sur le Thorme du point xe. Pour la premire, il nous faut remplacer largument de compacit (ncessit par lutilisation du Thorme dAscoli) utilis dans la preuve du Thorme de Cauchy-Peano-Arzela par un autre. Cet argument est dvelopp dans la premire sous-section :
II.3.2.1
Lemmes de Gronwall, Lemme fondamental
Lestimation qui permet de faire converger une suite de solutions -approches est bas sur un Lemme lmentaire :
L EMME
DE
G RONWALL . Soit une fonction continue de
, , dans telle que
Alors on a
, .
Dmonstration. Soit diffrentielle. Posons
. Comme est continue, est drivable et on a , ce qui est une inquation . Il vient , do . Comme , il vient
et, par suite
, do le rsultat puisque
L EMME F ONDAMENTAL .
Soient un espace de Banach rel, une partie de , une fonction continue de dans , et . Soit un segment de contenant . Soient une solution -approche par morceaux au problme de Cauchy , , et une solution -approche par morceaux au problme de Cauchy , . On suppose quil existe une constante telle que, pour tout , on a
Alors, on a
Dmonstration. Pour simplier les notations, nous pouvons supposer . Dautre part, il nous suft de montrer cette estimation pour , le cas se traitant en changeant en . Les solutions tant -approches, on a

. Soit
o dsigne la drive de dans un intervalle ou elle est de classe il vient
. En intgrant lingalit prcdente,

: cela donne
Nous pouvons donc appliquer le Lemme de Gronwall de la prsente page la fonction

ce qui donne
, ce qui est lingalit cherche.
53
C OROLLAIRE . Soient un espace de Banach, une partie de et et deux fonctions continues de dans . Soient un intervalle de et (resp. ) une solution de lquation diffrentielle (resp. ). On suppose quil existe une constante telle que, pour tout , on a (ce qui est par exemple le cas si est globalement lipschitzienne), et, , pour . Alors, pour , on a
Dmonstration. En effet, on a
Il existe de nombreuses versions du Lemme de Gronwall qui consistent essentiellement rsoudre des inquations diffrentielles linaires dordre . Nous avons donn ci-dessus celle qui nous tait utile pour le Lemme fondamental. En voici quelques autres qui servent dans la thorie des quations diffrentielles.
P ROPOSITION II.3.1 (Lemme de Gronwall ). Soient un intervalle de et une fonction continue par morceaux de constantes a
, .
et
dans telles que, pour un , on ait, pour tout ,

, lautre cas se traitant en changeant en . Comme
telle quil existe des . Alors on
Dmonstration. Raisonnons pour
en intgrant, il vient
, et, en rutilisant lhypothse, on trouve le rsultat.
P ROPOSITION II.3.2 (Lemme de Gronwall ). Soient un intervalle de , , et , on a
des fonctions de dans . On suppose que est positive. Si, pour un

. Par intgration, lhypothse sur
alors
Dmonstration. Soit donne
la solution de lquation diffrentielle
telle que
Comme est positive, on a . Ainsi la fonction vrie et ce qui donne . Autrement dit, , pour . La Proposition rsulte donc du fait lmentaire que la solution de lquation diffrentielle telle que est
P ROPOSITION II.3.3 (Lemme de Gronwall ). Soient un espace de Banach, un intervalle de et une application continue de dans de classe par morceaux au sens o les points de discontinuit de forment une partie discrte de et sont de premire espce (i.e. a une limite gauche et droite en tout point de ). Supposons quil existe deux constantes et telles que, pour tout on a
Alors, pour tous et dans , on a :

1. Si 2. Si
, ,
.
,
Dmonstration. Supposons tout dabord
. En posant
, il vient

, do

Si
, cela donne 2. A partir de maintenant, on suppose

, ce qui scrit encore
. Si on pose

, lingalit prcdente scrit

. Il vient donc, puisque

soit
ainsi Si
En reportant ceci dans lingalit majorant , il vient , ce qui est le 1. Supposons maintenant . Changeons en , en et en . Si on pose , on a et
, la premire partie donne, pour
la mme manire, la premire partie donne aussi, le rsultat cherch.
, ce qui est le rsultat voulu. Si , de , pour ce qui est, l
II.3.2.2
Le Thorme de Cauchy-Lipschitz
La premire consquence du Lemme fondamental est un rsultat dunicit :
P ROPOSITION II.3.4. Soient un espace de Banach rel, une partie de , une fonction continue de . Soient , , deux solutions au problme de Cauchy , suppose quil existe une constante telle que, pour tout , on a
dans
. On
et
Alors les deux fonctions et sont identiquement gales sur lintervalle .

Dmonstration. En effet, le Lemme fondamental, page 53, appliqu aux solutions donne immdiatement le rsultat. On notera que lon ne fait ici aucune hypothse ni sur ni sur la taille de lintervalle (il faut seulement que tout soit bien dni cest--dire que ). Nous utiliserons cela par la suite.
T HORME II.3.2 (Thorme de Cauchy-Lipschitz ).
Soient un espace de Banach rel, une partie de , une fonction continue localement lipschitzienne de dans et . 1. Deux solutions au problme de Cauchy , , sont identiquement gales sur lintersection de leurs intervalles de dnition (en particulier, on a unicit locale). 2. Sil existe un segment non rduit un point contenant et un voisinage de tels que alors il existe une unique solution maximale lquation diffrentielle qui vaut en . En particulier, si est intrieur , il existe une unique solution maximale au problme de Cauchy , (existence et unicit des solutions maximales).
Dmonstration. Vrions tout dabord lunicit. Soient et deux solutions au problme de Cauchy et . Comme est suppose localement lipschitzienne, la Proposition prcdente montre quil existe un intervalle contenu dans et contenant sur le quel les deux solutions sont gales. Supposons cet intervalle maximal (pour linclusion). Sil nest pas gal , une de ses bornes appartient lintrieur de , et, en rappliquant la Proposition en ce point on aboutit une contradiction. Lexistence elle rsulte du Thorme II.2.1 page 50, du Lemme fondamental, page 53, de la Proposition II.2.5 page 51, et de la Proposition II.1.2, page 45.
55
Remarque II.3.2. On notera que lunicit du Thorme prcdent montre en particulier que (dans les conditions du Thorme) deux solutions de dnies sur un mme intervalle concident sur tout lintervalle si et seulement si elle prennent la mme valeur en un point de lintervalle. Vue limportance de ce Thorme, nous allons donner une seconde dmonstration qui ne fait pas appel lexistence des solutions approches mais qui utilise simplement le Thorme du point xe classique. Pour cette dmonstration, nous nous contenterons dtablir un rsultat dexistence et dunicit local, lexistence et lunicit des solutions maximales sen dduisant comme prcdemment.
T HORME II.3.3 (Thorme de Cauchy-Lipschitz ).
Soient un espace de Banach rel, une partie de , une fonction continue de dans et . Supposons que soit un cylindre contenu dans sur lequel et est -lipschitzienne en . Soit avec . Alors il existe une unique solution au problme de Cauchy , , qui est dnie dans .
Dmonstration partir du Thorme du point xe. Soit le sous-espace des fonctions continues de valant en muni de la norme de la convergence uniforme. Pour toute posons
dans
Par dnition de , on a , ce qui montre que envoie dans lui mme. Le Thorme sera dmontr si on prouve que a un unique point xe (Proposition II.1.4, page 46). Soient et dans . En utilisant que est -lipschitzienne il vient . Itrons cette estimation : immdiatement
dans lui-mme. Comme voit que, pour assez grand, est une application contractante de , cest un espace complet, et la conclusion rsulte du Corollaire du Thorme du point xe classique.
Par rcurrence, on conclut aussitt que, pour tout on a
, on est ferm dans

. Comme
Remarque II.3.3. Dans lnonc ci-dessus, il nest pas ncessaire davoir un cylindre de la forme . Il suft davoir un cylindre possdant les mme proprits et de considrer ensuite un cylindre contenu dans et tel que . Lunique solution au problme de Cauchy est alors dnie dans .
II.3.2.3
Solutions globales
Dans la preuve du Thorme prcdent, le fait que soit un cylindre de scurit sert seulement assurer que lapplication envoie dans lui-mme. Avec une hypothse plus forte sur , le mme raisonnement donne une condition sufsante, mais non ncessaire, pour quune solution maximale soit globale :
P ROPOSITION II.3.5. Soient un espace de Banach, un intervalle ouvert de et une application continue de dans . On suppose quil existe une fonction continue telle que, pour tout x dans la fonction soit -lipschitzienne. Alors toute solution maximale de lquation est globale (i.e. dnie dans tout entier).
Dmonstration. En effet, soient et un segment contenu dans . Reprenons la seconde dmonstration est videment un cylindre du Thorme de Cauchy-Lipschitz (Thorme II.3.3) : notons tout dabord que de cette preuve envoie lespace des fonctions continues de dans (qui est un de scurit, et lapplication espace de Banach pour la norme uniforme) dans lui-mme. Alors si est la borne suprieure des valeurs prises par la fonction
sur
, comme prcdemment, on voit que est lipschitzienne de rapport pour assez grand. Ceci montre que lunique solution maximale au problme de Cauchy tout entier, ce qui termine la preuve.
donc contractante , est dnie sur
56
II.3.2.4
Dpendance par rapport aux conditions initiales et un paramtre
P ROPOSITION II.3.6. Soient un espace de Banach rel, une partie de , une fonction continue de dans . Soient un segment de , , , tels que, si , pour , est -lipschitzienne en la seconde variable, dans , pour tout , et, de sorte que et , soit un cylindre de scurit pour le problme de Cauchy , . Alors lunique solution au problme de Cauchy , est dnie dans . De plus : 1. Lapplication est -lipschitzienne sur (i.e. si , , avec on a, , ). 2. Lapplication est -lipschitzienne sur . En particulier, la fonction est continue sur .
Dmonstration. En effet, cest une consquence immdiate du Lemme fondamental, page 53 : pour le 1. cest vident, et, pour le 2. il suft dutiliser en plus que les solutions au problme de Cauchy sont lipschitziennes de rapport ( 3. de la Proposition II.1.8, page 47). La dernire assertion rsulte de la compacit.
P ROPOSITION II.3.7. Soient un espace de Banach rel, un espace topologique, une partie de , une fonction continue de dans . Soient un segment de , , , un voisinage dun point de , tels que, si , pour , est -lipschitzienne en la seconde variable, dans , pour tout , et tout , et, de sorte que , , , soit un cylindre de scurit pour le problme de Cauchy , . Pour tout soit lunique solution au problme de Cauchy , (qui est dnie sur ). Alors la fonction est continue de dans .
Dmonstration. En effet, , et tant xs, la fonction est continue ce qui implique que la fonction est continue uniformment par rapport . Autrement dit, pour tout , il existe un voisinage de (dpendant priori de et de ) tel que pour tout on a

ce qui signie que ( page 53) implique alors
est une solution -approche au problme de Cauchy
. Le Lemme fondamental

Alors, grce la Proposition prcdente, pour

et , et , on a

ce qui termine la preuve. Remarque II.3.4. Quitte rduire lintervalle , on peut donner une dmonstration de ce dernier rsultat qui nutilise pas la Propo-
sition prcdente, directement partir du Thorme du point xe paramtres appliqu la fonction dnie sur lespace des fonctions continues de dans
P ROPOSITION II.3.8. Soient un espace de Banach rel, une partie de
un segment de , , , , tels que, pour , et, de sorte que , , soit un cylindre de scurit pour le problme de Cauchy , . Pour tous et , soit la solution du problme de Cauchy , . Alors : 1. Supposons que admette une drive partielle par rapport la seconde variable dans un voisinage de et que soit continue. Quitte rduire et on suppose de plus que est borne sur est de classe sur . (continuit au point ). Alors la fonction De plus, la fonction ( est une fonction de dans ) est drivable
. Soient
57
par rapport sur , et est solution du problme de Cauchy o est la , fonction, de dans , dnie par . 2. On suppose de plus que admette une drive partielle par rapport la premire variable dans un voisinage de et que soit continue. Quitte rduire et on suppose aussi que est borne sur (continuit au point ). Alors la fonction est de classe sur . De plus, la fonction ( est une fonction de dans ) est drivable par rapport sur , et est solution du problme de Cauchy , , o est la fonction de dans dnie par . De plus, la fonction est de classe sur . 3. Supposons maintenant que les hypothses du 1. soient satisfaites et que, en outre, que dpende dun paramtre appartenant un espace de Banach , cest--dire que est un ouvert de . Prcisment, suppose que les hypothses du 1. de lnonc sont satisfaites en remplaant par o est un voisinage ferm dun point de (en supposant continue et borne sur ). De plus, on suppose que admet une drive partielle par rapport dans un voisinage de et que cette dernire est continue et borne sur . Pour tous , et on note la solution du problme de Cauchy , . Alors la fonction est de classe sur . De plus, la fonction ( est une fonction de dans ) est drivable par rapport sur , et est solution du problme de Cauchy , o est la fonction de dans dnie par , . Si on suppose que, en outre, les hypothses du 2. sont aussi satisfaites, la fonction est de classe sur .
Dmonstration. Nous pouvons tout dabord Remarquer que lhypothse faite sur implique (Thorme I.2.2, page 7) que est lipschitzienne dun rapport indpendant de . Ainsi le Thorme dexistence et dunicit de Cauchy-Lipschitz (Thorme II.3.3, page 56) donne lexistence et lunicit des solutions et . , tout et tout , Dmontrons tout dabord le 1. Notons en premier que, pour tout
est trivialement -lipschitzienne ce qui implique (Proposition II.3.5, page 56) que le problme de Cauchy , admet une unique solution qui est globale (i.e. dnie sur ). Fixons et . Soit la solution du problme de Cauchy . Tout revient montrer que, pour , ,

En effet, si cette ingalit est prouve, alors
(II.3.1)
(II.3.2) . En crivant la diffrentielle de cette Considrons la fonction fonction au point , on majore le second membre de (II.3.2), en norme, par , o

car continuit de la premire rsulte de la Proposition II.3.7, page prcdente, applique lquation diffrentielle dont est solution. Dmontrons donc (II.3.1). Pour la relation est vidente puisque le membre de gauche vaut zro. pour simplier les notations, posons et . On a donc
et
existe en et vaut , et la fonction est de classe sont continues par rapport : la seconde lest videment (solution de lquation diffrentielle), et la
(Thorme I.2.2, page 7). La continuit de

et la compacit , montrent alors que, pour
donn, il existe
tel que
pour
Or daprs la Proposition II.3.6, page prcdente, on a do
, pour une certaine constante
pour Cette dernire estimation montre que est une solution -approche de lquation telle que . Comme est lipschitzienne, de rapport , le Lemme la fonction identiquement nulle est une solution et comme
fondamental, page 53, donne
ce qui dmontre (II.3.1). Dmontrons maintenant le 2. La preuve est similaire celle du 1. Comme prcdemment, pour tout , tout et tout , est trivialement -lipschitzienne ce qui implique (Proposition II.3.5, page 56)
pour
58
II.4. LE THORME DES BOUTS

que le problme de Cauchy admet une unique solution qui est globale (i.e. dnie sur ). Fixons , et . Soit la solution du problme de Cauchy . Encore une fois, tout , revient montrer que, pour , on a
(II.3.3)
En effet, si ceci est prouv, alors existe en et la fonction est de classe : il suft, daprs ce qui prcde, de voir que est continue ce qui rsulte de Proposition II.3.7, page 57, comme prcdemment. Dmontrons donc (II.3.3). Posons et . Un calcul immdiat donne
Les mme estimations que celles faites dans la preuve du 1. donnent alors , pour , ce . Remarquons maintenant que qui signie que est une solution -approche de lquation diffrentielle , et, , ce qui donne, en appliquant le Thorme de TaylorLagrange (Thorme I.5.2, page 21) lordre la fonction ,
Par suite, pour ( qui vaut en , le qui est celle qui vaut en Lemme fondamental permet de la comparer la solution et donne . En comparant maintenant et , nouveau avec le Lemme fondamental, on obtient , ce qui est (II.3.3). Pour nir, dmontrons 3. Fixons et . Compte tenu de ce qui prcde, il nous suft de voir que est drivable et que sa drive satisfait lquation diffrentielle dcrite dans lnonc. La continuit de sen dduira comme dans les preuves du 1. et du 2., ce qui permettra de conclure que est par rapport toutes les variables. On peut facilement dduire la drivabilit en du 1. ci-dessus dmontr : en effet, considrons lquation diffrentielle , , . Si on , est de classe en , ce qui lui applique le rsultat montr au 1., on obtient que la solution , achve la preuve.
. Si est la solution de lquation diffrentielle assez petit), on a

C OROLLAIRE . Soient et deux espaces de Banach, U un ouvert de , une fonction de classe , , de dans et . Alors il existe et tels que, pour tous , et au problme de Cauchy , , , la solution maximale est dnie dans , et, la fonction
est de classe
dans

Dmonstration. Pour , cest un cas particulier de la Proposition prcdente. Raisonnons par rcurrence sur . Supposons le rsultat vrai pour . Alors la Proposition prcdente dit que les fonctions , , et sont solutions dquations . La Proposition prcdente implique donc que diffrentielles dont le second membre est, par hypothse de rcurrence de classe ces fonction sont de classe ce qui termine la preuve.
SECTION II.4
Le Thorme des bouts

Dans cette section nous allons donner des conditions sufsantes pour quune solution maximale soit dnie dans un intervalle le plus grand possible. Nous obtiendrons ce rsultat dans deux cas : le cas localement lipschitzien et le cas de dimension nie lorsque la solution maximale est borne.
T HORME II.4.1 (Thorme des bouts ).
Soient
que : Soit est de dimension nie et, si voisinage de (resp. ) ;
un espace de Banach, un ouvert de et une fonction continue de dans . Soit une solution maximale de lquation diffrentielle . Posons . On suppose
(resp.
),
est borne sur le graphe de
au
59
Soit est localement lipschitzienne sur . Alors les ventuels bouts de sont contenus dans la frontire de ) rencontre alors nest pas maximale.
Autrement dit, si
(resp.
Dmonstration. Dmontrons par exemple ceci pour les bouts droits. Raisonnons par labsurde : soit un bout droit de contenu dans . . Par Considrons tout dabord le premier cas. La Proposition II.1.5, page 46 nous dit alors que tend vers lorsque , ailleurs, le Thorme de Cauchy-Peano-Arzela (Thorme II.3.1, page 52) donne une solution au problme de Cauchy , dnie au voisinage de . Alors (Proposition II.1.4, page 46) la fonction gale sur et au-del de est une solution qui prolonge ce qui contredit la maximalit de . Considrons maintenant le second cas. Soit

un cylindre contenu dans sur lequel est borne par ; quitte rduire , nous pouvons supposer de sorte que est un cylindre de scurit. Quitte rduire nouveau et ainsi que , on peut aussi supposer que est lipschitzienne de rapport au . Comme est une valeur dadhrence de lorsque tend voisinage de . Soit et . Soit vers , on peut choisir de sorte que soit aussi petit que lon veut. Soit . Alors la boule est contenue dans la boule , et, si est assez prs de , on peut trouver tel que . Ainsi
est contenu dans (Thorme II.3.3, page 56) dit quil existe une et une seule solution au problme de Cauchy que se prolonge ce qui contredit la maximalit de .
, donc est un cylindre de scurit tel que . Alors le Thorme de Cauchy-Lipschitz

,
. Ceci montre
Remarque II.4.1. On notera que, dans les conditions du Thorme des bouts, toute solution maximale est dnie sur un intervalle ouvert.
P ROPOSITION II.4.1. Soient un espace de Banach, un ouvert de , une fonction continue de dans et . On suppose que : Soit est de dimension nie et est borne sur . Soit est localement lipschitzienne. Soit un intervalle ouvert contenant et possdant la proprit suivante : le graphe de toute solution au problme de Cauchy , , telle que est un segment contenu dans , est contenu dans un compact de . Alors toute solution maximale au problme de Cauchy , , est dnie sur un intervalle contenant .
Dmonstration. Soit une telle solution maximale. Supposons dnie sur un intervalle . Si nest pas contenu dans lintervalle . Si on considre la restriction de un intervalle de la forme , de dnition de alors, par exemple, on a lhypothse faite sur montre que admet une valeur dadhrence , lorsque tend vers , telle que soit dans ce qui contredit le Thorme des bouts, page prcdente.
P ROPOSITION II.4.2. Soient un espace de Banach, un intervalle ouvert de et une fonction continue borne de dans . On suppose que : Soit est de dimension nie. Soit est localement lipschitzienne. Alors toute solution maximale de lquation diffrentielle est dnie sur tout entier. Autrement dit, les solutions maximales sont globales.
Dmonstration. En effet, soit une solution maximale et Proposition II.1.5, page 46, montre que a une limite, dans prcdente.
son intervalle de dnition. Si (en particulier ), la , lorsque tend vers . Ceci contredit le Thorme des bouts, page
Remarque II.4.2. On peut noncer cette Proposition sans supposer de laquelle est borne alors est ncessairement globale. Dans le cas localement lipschitzien, il nest pas ncessaire de supposer 60
borne priori : si est une solution maximale sur le graphe

borne :
II.4. LE THORME DES BOUTS
P ROPOSITION II.4.3. Soient un espace de Banach, un intervalle ouvert de et une fonction continue localement lipschitzienne de dans . on suppose que, pour tout compact de il existe des constantes et telles que, pour , on a
Alors toute solution maximale de
est globale.
Dmonstration. Soient . On a donc
et
une solution maximale. Supposons par exemple que
, et soit
La Proposition II.3.3, page 54, donne alors
do on tire une majoration de la forme
ce qui implique que ( restant borne quand tend vers ) bouts.
converge dans
quand tend vers et contredit le Thorme des
P ROPOSITION II.4.4. Soient un espace de Banach, un intervalle ouvert de , un ouvert de , et une fonction continue de dans . Soit une solution maximale de lquation diffrentielle . On suppose que : Soit est de dimension nie et est borne sur le graphe de au voisinage des bornes de qui sont dans . Soit est localement lipschitzienne. Soit . Alors, si (resp. ), pour tout compact de ,
(resp.
) est compact.
Dmonstration. En effet, sil nen tait pas ainsi, lensemble
possderait une valeur dadhrence
lorsque tend vers avec
tels que
et
, ce qui contredit le Thorme des bouts, page 59.
P ROPOSITION II.4.5. Soient un espace de Banach, un intervalle ouvert de et une fonction continue de dans . On suppose que : Soit est de dimension nie. Soit est localement lipschitzienne. Soit une solution maximale de lquation diffrentielle telle que . Alors : 1. ne reste pas borne sur le graphe de au voisinage des bornes de qui sont dans . 2. Si est de dimension nie et localement lipschitzienne, alors tend vers lorsque tend vers lune des bornes de qui sont dans .
Dmonstration. Nous avons dj vu le 1. lors de la Remarque suivant la page 54. Le 2. est immdiat car, dans le cas contraire, aurait une valeur dadhrence dans lorsque tend vers, par exemple, ce qui contredit encore le Thorme des bouts.
Remarque II.4.3. On peut construire un exemple de fonction telle que lquation diffrentielle admette une solution maximale borne dnie sur telle que, lorsque tend vers zro nait pas de valeurs dadhrence dans . Ceci montre que, dans le 2. de la Proposition prcdente et dans la Proposition II.1.6, page 46, lhypothse de nitude de la dimension est ncessaire.
P ROPOSITION II.4.6. Soient un espace de Banach, un intervalle ouvert de , un ouvert de continue de dans . On suppose que : Soit est de dimension nie. Soit est localement lipschitzienne.
et
une fonction
61
Soit une solution maximale de lquation diffrentielle . Soit (resp. ) un convexe ferm born de contenant lorigine. Soit . On suppose que limage par de la partie du graphe de correspondant lintervalle (resp. ) est contenue dans (resp. ). Alors
(resp. (resp.
) avec
tels que
tels que ).
Dmonstration. Vrions par exemple lassertion concernant . Si
il ny a rien montrer, supposons donc . Il faut montrer que . Daprs la Proposition II.1.5, page 46, possde une limite telle que, daprs le Thorme des bouts ( page 59), appartient la frontire de . Dautre part, le Thorme des accroissements nis (Thorme I.2.4, page 8) montre que, pour , on a (car

).
Comme
est ferm, on a aussi
Si on avait et par suite
, on aurait
. Ceci donnerait ce qui contredit le Thorme des bouts, page 59.
SECTION II.5
quations diffrentielles linaires

SOUS-SECTION II.5.1
Dnitions, existence et unicit des solutions

D FINITION II.5.1. Soient un intervalle de et un espace de Banach. On appelle quation diffrentielle linaire dordre coefcients continus sur une quation diffrentielle de la forme
o,
(II.5.1)
est une fonction continue de dans , et, les sont des fonctions continues de dans . Lorsque on dit que lquation (II.5.1) est homogne. Lquation diffrentielle linaire homogne obtenue en remplaant par dans (II.5.1) est dite associe (II.5.1).
Par opposition, si est non identiquement nulle, lquation (II.5.1) est dite avec second membre. Comme il a t dit la Proposition II.1.1, page 44, toute quation diffrentielle dordre se ramne une quation diffrentielle dordre , ce qui ramne une quation diffrentielle linaire dordre une quation diffrentielle linaire dordre . Considrons alors une quation diffrentielle linaire dordre : . Clairement lapplication de dans est telle que, pour tout compact de , il existe deux constantes et telle que . Alors la Proposition II.4.3, page prcdente implique : , pour tout
62
II.5. QUATIONS DIFFRENTIELLES LINAIRES
P ROPOSITION II.5.1. Soient un espace de Banach et
une quation diffrentielle linaire, les
fonctions et tant continues sur un intervalle . 1. Pour tout , la solution maximale de lquation vriant est globale. De plus, deux solutions maximales sont identiques si et seulement si elles sont gales ainsi que leurs drives jusqu lordre en un point de . En dautres termes, si , , sont des solutions de lquation telles
quil existe des constantes
et un rel tels que
, alors
2. Si et sont deux solutions de lquation, alors est solution de lquation homogne associe. En particulier, si est une solution de lquation, toute autre solution est de la forme o est une solution de lquation homogne associe. 3. Lensemble des solutions de lquation homogne associe est un sous-espace vectoriel de . De plus, pour tout , lapplication qui une solution associe est un isomorphisme despaces vectoriels de sur . En particulier, si est de dimension nie, lest aussi.
Dmonstration. En effet, daprs ce qui a t dit avant lnonc, il suft de voir ceci pour les quations dordre , et alors, la fonction est clairement -lipschitzienne par rapport (Proposition II.3.5, page 56). Le 2. et le 3. sont alors vident.
SOUS-SECTION II.5.2
Rsolution des quations diffrentielles linaires dordre

T HORME II.5.1.
Soient un espace de Banach et une quation diffrentielle linaire homogne de degr , tant une application continue dun intervalle dans . Soit lapplication de dans dnie par . Alors la solution de lquation diffrentielle qui vaut au point , de est o est la fonction de dans qui est solution de lquation diffrentielle linaire qui vaut en . sappelle la rsolvante (ou le noyau rsolvant) de lquation diffrentielle linaire homogne.
Dmonstration. En effet, lquation page. En drivant alors .
tant linaire, est globale daprs la Proposition II.5.1, de la prsente , il vient , et, clairement,
P ROPOSITION II.5.2. Soit la rsolvante dune quation diffrentielle linaire homogne de degr . 1. Pour tous , et dans , on a (la composition dans tant note comme un produit), est inversible (dans ) et . 2. est une fonction de classe de dans . De plus, si est de classe sur alors est de classe .
Dmonstration. En effet, la premire formule rsulte aussitt de lunicit de la Proposition II.5.1, et la seconde sen dduit. Le 2. en est , donc (Proposition I.4.10, page 18), il en est de mme de . La conclusion rsulte rsulte : clairement alors de la Proposition I.4.14, page 19.
P ROPOSITION II.5.3 (Formule de Lagrange ). Soient un espace de Banach et une quation diffrentielle linaire avec second membre coefcients continus sur un intervalle . Soit la rsolvante de lquation homogne associe. Alors pour tous et , la solution globale de lquation avec second membre qui vaut en est donne par la formule
63
Dmonstration. En effet, utilisons la mthode classique de variation de la constante : cherchons la solution sous la forme . En drivant, il vient , et doit cest--dire daprs la Proposition prcdente. Comme il faut , il satisfaire
vient
, et il ny a plus qu remarquer que

II.5.2.1
Cas o
est de dimension nie
Dans cette sous-sous-section nous supposons que lespace de Banach est de dimension nie . Comme peut tre un espace vectoriel sur ou , il faut prciser ce que lon appelle la dimension de . Si est donn, priori, comme espace vectoriel rel, il sagit bien sr de de sa dimension sur ; sil est donne comme espace sur de dimension , il est de dimension sur . Comme ce ou de dimension que nous allons faire est valable dans les deux cas, nous allons considrer que est un espace vectoriel sur sur . Ainsi, si est une quation diffrentielle linaire, on considre ici que est une application continue de dans et une fonction continue de dans lespace des matrice carres dordre coefcients dans . Si on note et , lquation diffrentielle devient un systme de quations diffrentielles coefcients dans :
Dans toute la suite de cette sous-sous-section, nous utiliserons la notation ci-dessus pour les quations diffrentielles linaires coefcients continus sur , espace vectoriel de dimension nie sur . Si lquation diffrentielle est homogne, sa rsolvante est donc une application de dans lespace des matrices carres dordre coefcients dans , et on peut considrer son dterminant. De mme, on peut considrer la trace de que nous noterons
Dans ces conditions :
P ROPOSITION II.5.4. Soit une quation diffrentielle linaire homogne, tant une fonction continue dun intervalle dans un espace norm de dimension nie sur . Soit sa rsolvante. Alors
Dmonstration. En effet, posons page prcdente donnent
de sorte que
. La dnition de la drive et la Proposition II.5.2,

, il vient lquation diffrentielle linaire ,
et, si on pose
. Ceci signie exactement que est la solution de . , dont la solution est
Daprs la Proposition II.5.1, page prcdente, est une base de lespace des solutions dune quation diffrentielle linaire homogne si et seulement si, pour chaque (ou pour un) , est une base de . Dautre part, si est un -uple dlments de lespace des solutions, on a (Thorme II.5.1, lapplication lapplication , et, page prcdente), ce qui fait que, si on note , on a . En particulier, si et une base de lespace des solutions, en adoptant une criture matricielle, on a (on considre ici et comme des matrices carres dordre inversibles). Ceci amne la dnition suivante :
D FINITION II.5.2. Soit une quation diffrentielle linaire homogne de degr , tant une fonction continue dun intervalle dans un espace norm de dimension nie sur . Soit lespace des solutions de lquation diffrentielle. 1. Une base de est appels un systme fondamental de solutions. 2. Si est un systme fondamental de solutions, la matrice carre dordre dont les vec-
64
teurs colonne sont les est appele une matrice fondamentale ou matrice Wronskienne de lquation diffrentielle. Le dterminant de est appel le Wronskien du systme .
P ROPOSITION II.5.5. Soit une quation diffrentielle linaire de degr , tant une fonction continue dun intervalle dans un espace noprm de dimension nie sur . Soit est un systme fondamental de solutions de lquation homogne associe, la matrice fondamentale associe et son Wronskien. Alors : 1. . 2. Soit la solution de lquation homogne qui vaut en , et, soit la solution de lquation avec second membre qui vaut en . Alors est la solution de lquation avec second membre qui vaut en , et on a :
Dmonstration. Cest une consquence du Thorme II.5.1, page 63, et de la Proposition II.5.3, page 63.
SOUS-SECTION II.5.3
Rsolution des quations diffrentielles linaires dordre

Comme nous lavons dj dit, ltude de ces quation se ramne celle des quations dordre . Prcisons cela :
P ROPOSITION II.5.6. Soient un espace de Banach et
. Soit
tant une fonction dun intervalle dans la matrice

et
(II.5.2)
, une quation linaire dordre
Alors lquation (II.5.2) est quivalente lquation diffrentielle linaire dordre

. . .
Soit la rsolvante de lquation homogne associe , de sorte que est une matrice carre dordre coefcients dans . Soit la premire ligne de cette matrice. Alors : 1. La solution de lquation homogne associe (II.5.2) telle que , , en est
65
gale
2. On a tielle

, et, pour tout ,
est solution de lquation diffren-
Dmonstration. Ceci est une consquence immdiate des rsultats de la sous-section prcdente : le 2. sobtient en drivant la formule du 1. donnant la solution .
II.5.3.1
quation diffrentielles linaires scalaires dordre

( ou ). Les
Cest le cas o
et sont donc des fonctions scalaires que lon note alors
, et lquation scrit (II.5.3)
Lidentication de cette quation avec une quation dordre que nous venons de voir donne une quation diffrentielle linaire dordre avec comme espace de Banach. On peut donc lui appliquer les rsultats de la Sous-sous-section II.5.2.1, page 64. Contentons nous simplement de traduire ces rsultats en termes dquation scalaire dordre . Soit
lquation homogne associe. Alors :
(II.5.4)
1. Lensemble des solutions de (II.5.4) est un sous-espace vectoriel de des fonctions de classe de dans de dnie par est un isomorphisme. dimension . Pour tout , lapplication
, est un systme fondamental de 2. Si est une base de , le systme , o . solutions de lquation diffrentielle dordre associe. Le wronskien de ce systme est appel le wronskien de
3. Dune manire gnrale, si est un systme de fonctions de classe systme le dterminant de la matrice, dite matrice wronskienne du systme,

de dans , on appelle wronskien de ce
Alors, si est un -uple dlments de , cest une base de si et seulement si son wronskien ne sannule pas en un point de . Dans ce cas il ne sannule en aucun point de , et vrie (Proposition II.5.5, page prcdente) 4. Si
est une base de , la solution de (II.5.3) qui vaut en scrit
o est la solution de lquation homogne (II.5.4) qui vaut en , est le wronskien du systme et le dterminant de la matrice obtenue en remplaant dans la matrice wronskienne la -ieme colonne par le vecteur .
SOUS-SECTION II.5.4
quations diffrentielles linaires coefcients constants

Nous dirons ici quune quation diffrentielle linaire dordre est coefcient constant si elle scrit
(II.5.5)
66
o est un lment de , espace de Banach, et une fonction continue dun intervalle dans (en fait usuellement, on dit que lquation est coefcients constants si est une fonction constante, mais cette hypothse suplmentaire napporte rien de plus).
P ROPOSITION II.5.7. La rsolvante
de lquation diffrentielle homogne

qui est la solution de lquation diffrentielle
associe (II.5.5) est une fonction de dans qui vaut en en
(II.5.6)
et scrit
, est gale
. De plus la solution de (II.5.6) qui vaut

Dmonstration. En effet, daprs le Thorme II.5.1, page 63, il suft de vrier que est bien solution de lquation diffrentielle ce qui rsulte aussitt du Thorme I.2.5, page 8, appliqu aux somme partielles de la srie dnissant
De la Proposition II.5.3, page 63, on dduit immdiatement le corollaire suivant :
C OROLLAIRE . La solution de lquation diffrentielle (II.5.5) qui vaut en est donne par la formule
II.5.4.1
Cas o
est de dimension nie
Nous nous contentons de considrer le cas o est un espace vectoriel de dimension nie sur . Ceci nous permet dutiliser la thorie de rduction des matrices coefcients complexes. Prcisment, nous allons utiliser le Lemme suivant : L EMME . Soit une matrice carre dordre coefcients complexes. Soient , le sous-espace caractristique associ de multiplicit respectifs . Pour chaque , soit
, les valeurs propres de dordres (i.e. ). Alors,
et
est de dimension
Chaque est clairement stable par , considre comme endomorphisme de , et on peut considrer la restriction de . est quivalente au systme dquations linaires Dans ces conditions lquation diffrentielle linaire homogne homognes
o est une fonction valeurs dans . Les rsultats de la sous-section prcdente montrent que la solution de chacune de ces o . En crivant , et en utilisant que est le quations scrit par un polynme de degr en . En sous-espace caractristique associ , on obtient que est le produit de rsum :
P ROPOSITION II.5.8. Soit une quation diffrentielle linaire homogne coefcients constants, tant une matrice complexe carre dordre . Alors, avec les notations de ci-dessus, pour chaque valeur propre (de multiplicit de , lquation diffrentielle possde des solutions valeurs dans le sous-espace caractristique associ , de la forme , o est un polynme de degr valeurs dans , qui forment un espace la vectoriel de dimension . De plus, toute solution de lquation diffrentielle scrit
sommation stendant toutes les valeurs propres distinctes de
II.5.4.2
Cas des quations dordre
Il suft de reprendre les rsultats des sous-sections prcdentes. Par exemple, si
67
est une quation homogne,
, et si

la solution de
qui sannule ainsi que ses
premires drives en est
Dans le cas particulier o
est de dimension , ces quations se ramnent aux systmes diffrentiels linaires coefcients
constants que nous avons vus la sous-sous-section prcdente. Par exemple, pour lquation diffrentielle tion caractristique (donnant les valeurs propres de la matrice, une fois lquation ramene lordre ) est
, lqua. Ainsi,
; o est une racine de lquation caractristique et lquation admet des solutions de la forme . , o est lordre de la racine . La solution gnrale de lquation scrit alors
un polynme de degr
SOUS-SECTION II.5.5
Stabilit des solutions des quations diffrentielles linaires

Donnons tout dabord la dnition gnrale de solution stable dune quation diffrentielle :
D FINITION II.5.3. Soient un espace de Banach, une partie de , une fonction continue de dans et un point de . Supposons que la solution maximale au problme de Cauchy , soit dnie sur un intervalle contenant . Dans ces conditions ; 1. On dit que est stable sil existe et tels que, pour tout , la solution maximale au problme de Cauchy , soit dnie sur et vrie pour tout . 2. On dit que est asymptotiquement stable si elle est stable et sil existe et une fonction pour continue telle que et et .
La Proposition II.5.8 donne immdiatement le rsultat suivant :
P ROPOSITION II.5.9. Soit une matrice carr coefcients complexes dordre et considrons lquation diffrentielle . Alors : 1. Si toutes les valeurs propres de ayant une multiplicit strictement plus grande que ont une partie relle srtictement ngative et si celles de multiplicit ont une partie relle ngative ou nulle toute solution de lquation diffrentielle reste borne sur . En particulier toute solution est stable. 2. Si toutes les valeurs propres de ont une partie relle srtictement ngative, toutes les solutions de lquation diffrentielles tendent vers zro quand . En particulier elles sont toutes asymptotiquement stables.
P ROPOSITION II.5.10. Soient un intervalle de contenant , un espace norm de dimension nie, et continue de dans . Les conditions suivantes sont quivalentes : 1. Toutes les solutions de lquation diffrentielle sont stables. 2. Toutes les solutions de lquation diffrentielle sont bornes.
une application
68
Dmonstration. En effet, soit la rsolvante de lquation de sorte que toute solution scrit II.5.1, page 63). Alors si est une base de , et si chaque solution est borne on a
(Thorme
les notation de la dnition ci-dessus). Il sen suit alors que
ce qui implique aussitt la stabilit des solutions. Rciproquement, si toutes les solutions sont (avec stables, la stabilit de la solution nulle entrane quil existe et tels que, pour , on a
et, par suite

ce qui implique la proprit 2.
Nous terminons cette sous-section en donnant un rsultat de stabilit pour une quation diffrentielle qui est une perturbation dune quation linaire :
P ROPOSITION II.5.11. Soit une matrice carr dordre coefcients complexes dont les valeurs propres sont de parties relles strictement ngatives. Soit une fonction continue localement lipschitzienne en , tant un intervalle ouvert de contenant et un ouvert de . On suppose quil existe une boule ouverte , , contenue dans et que avec . Alors la fonction identiquement nulle est une solution de lquation diffrentielle
qui est asymptotiquement stable.
(II.5.7)
Dmonstration. Tout dabord, lhypothse faite sur montre que ce qui implique que la fonction identiquement nulle est solution de lquation diffrentielle. Soit la solution de (II.5.7) qui vaut en (elle existe daprs le Thorme II.3.2, page 55). Si elle est dnie sur , du Corollaire de la Proposition II.5.7, page 67, on dduit que, pour , on a
car est solution de lquation diffrentielle linaire Soit
, , tel que, pour . Soit tel que, pour
, o on ait on ait . Alors, pour

et seront xs plus loin. Choisissons on a

, et
tels que
(II.5.8)

Remarquons maintenant que lhypothse faite sur . En reportant ceci dans (II.5.8), il vient

implique que lon peut trouver
Alors la Proposition II.3.1, page 54, donne cest--dire , pour le , sur tout intervalle sur lequel on a , on a automatiquement mme intervalle en . On en dduit que si . En consquence, si est dnie sur , on a ncssairement sur . Montrons maintenant que : en effet, dans le cas contraire, puisque le bout droit de contiendrait un lment avec ce qui contredit le Thorme des bouts ( page 59). Enn, sous la condition on a sur ce qui, comme on vient de le voir, implique , et assure que la solution nulle est asymptotiquement stable.
69
SECTION II.6
lments dtudes qualitatives en dimension

Dans cette section, nous allons simplement donner les outils de base des tudes qualitatives dquations diffrentielles dordre lorsque lespace est , sans donner dexemples concrets dutilisations.
D FINITION II.6.1. Soient une partie de et une fonction continue de dans . 1. Pout tout , soit la droite passant par de pente . Lapplication sappelle le champ des tangentes associ lquation diffrentielle . 2. Pour tout , la courbe dquation sappelle lisocline de lquation diffrentielle . 3. On dit quune courbe dans est fortement infranchissable si aucune solution de lquation diffrentielle , autre que elle lorsquelle est elle mme solution, ne peut le couper.
Lisocline joue un rle particulier : si on pose

et
tels que tels que
tels que toute solution de lquation diffrentielle est croissante dans , dcroissante dans et stationnaire sur .
Si la fonction infranchissable.
est localement lipschitzienne, le Thorme de Cauchy-Lipschitz ( page 55) montre que toute solution est fortement
D FINITION II.6.2. Soient une partie de et une fonction continue de dans . 1. Une fonction drivable est dit une barrire infrieure pour lquation diffrentielle si , pour tout , et si , . 2. Une fonction drivable est dit une barrire suprieure pour lquation diffrentielle si , pour tout , et si , . 3. Une barire est dite forte si les ingalits des dnition ci-dessus sont strictes pour tout et faible sinon.
P ROPOSITION II.6.1. Soient un ouvert de et une fonction continue de dans . Soit une solution de lquation diffrentielle . Soient et de classe telles que et , pour tout . 1. Si (resp. ) est une barrire infrieure (resp. suprieure) forte et sil existe tel que (resp. ) alors pour tout on a (resp. ). On traduit cette proprit en disant quune barrire forte est fortement infranchissable. 2 Si de plus est localement lipschitzienne, si (resp. ) est une barrire infrieure (resp. suprieure) et sil existe tel que (resp. ) alors pour tout on a (resp. ). On traduit cette proprit en disant que, lorsque est localement lipschitzienne, une barrire est faiblement infranchissable.
Dmonstration. Dmontrons tout dabord le 1. pour une barrire infrieure forte. Supposons tout dabord . Sil existe tel que , soit linmum de lensemble de ces de sorte que et . Alors est strictement croissante au voisinage de et comme elle est strictement positive gauche de , on ne peut avoir . Si , on a , ce qui implique que est strictement croissante au voisinage de et on remplace par pour refaire le raisonnement prcdent. Dmontrons maintenant le 2. pour une barrire infrieure. Pour , soit lensemble des tels que . Supposons . Alors pour . Il est clair que est ferm et non vide, et si , on a et il existe un cylindre de scurit , , contenu dans au
70
EXERCICES
voisinage duquel est -lipschitzienne pour un . Soit , tant choisit assez petit de sorte que, quitte rduire ventuellement , soit un cylindre de scurit pour le problme de Cauchy , , avec . Comme est une barrire infrieure sur pour cest une brrire infrieure forte pour pour le mme intervalle. Soit la solution maximale du problme de Cauchy , . Le 1. de la Proposition montre alors que pour
termine la preuve.
, . . Dautre part, le Corollaire du Lemme Fondamental ( page 54) donne En faisant tendre vers zro, il vient alors pour , ce qui contredit la dnition de . On a donc ce qui
Remarque II.6.1. Une barrire faible peut tre infranchissable sans que
soit localement lipschitzienne.
D FINITION II.6.3. Soient une partie de et une fonction continue de dans . Soient et telles que et , pour tout . Supposons que (resp. ) soit une barrire infrieure (resp. suprieure) infranchissable pour lquation diffrentielle . 1. Si , pour tout , on dit que lensemble tels que est un entonnoir. 2. Si , pour tout , on dit que lensemble tels que est un anti-entonnoir.
P ROPOSITION II.6.2. Soient un ouvert de et une fonction continue de dans localement lipschitzienne. Soient et telles que et , pour tout . Supposons que (resp. ) soit une barrire infrieure (resp. suprieure) pour lquation diffrentielle . 1. Supposons , pour tout (i.e. est un entonnoir, les barrires tant infranchissables daprs la Proposition prcdente). Alors toute solution de lquation diffrentielle telle que, pour un , on ait , est telle que , pour . 2. Supposons , pour tout (i.e. est un anti-entonnoir). Alors, pour tout , il existe tel que la solution maximale du problme de Cauchy , , soit dnie sur et vrie sur cet intervalle.
reste dans
3. Dans les conditions du 2., si de plus
, alors il existe une et une seule solution de lquation diffrentielle

existe et est positive ou nulle dans
et si qui
Dmonstration. Le 1. rsulte aussitt de la Proposition prcdente. Montrons le 2. Pour , soient et les solutions maximales au problmes de Cauchy , et respectivement. En raisonnant dcroissant (i.e. en inversant le sens du temps) la Proposition prcdente, lunicit du Thorme de Cauchy-Lipschitz et le Thorme des bouts ( page 59), montrent et vrient sur cet intervalle. Soit . Pour , que et sont dnis sur , soit , pour . Soient . Comme par dnition des et et par lunicit du Thorme de Cauchy-Lipschitz, on doit avoir sur , ce qui montre que , , est une famille dcroissante des compacts non vides. Soit un point de leur intersection (qui est non vide par compacit). Si est dnie sur , on a alors sur ( est coince par les et ). Enn le Thorme des bouts entrane que . et sont deux solutions telles que Vrions maintenant le 3. Si
dans , (deux solutions ne peuvent se couper), on a , pour un , par croissance de , on contredit lhypothse .
, et si
Exercices
Exercice II.1. Soit une application continue de dans et soit antisymtrique pour tout .
une solution de
. On suppose que la matrice
est
71

1. Trouver une quation diffrentielle satisfaite par 2. En dduire que si
est orthogonale ( ), alors est orthogonale pour tout .
Exercice II.2. Soit un espace de Banach et
lespace de ses endomorphismes continus. Soit . On considre lquation diffrentielle

avec
.
1. Montrer quil existe un solution maximale 2. Montrer que est
3. Montrer que contient lintervalle
et que dans cet intervalle, on a
.
.
Exercice II.3. Soit lespace de Banach des suites de rels qui tendent vers 0 linni, muni de la norme pose . 1. Montrer que 2. Soit 3. 4. est continue de
. Pour et pour
, on
et une solution de avec . Montrer que En dduire que est de classe sur avec ( ). Prouver que pour .
dans
5. Conclusion ? 1. Soit pour
. Donner lallure des courbes intgrales de lquation diffrentielle

(a) Dans quel ouvert faut-il poser cette quation pour que tout problme de Cauchy admette une unique solution maximale ? (b) (facultatif) Mmes questions avec . . Soient et deux nombres rels.
Exercice II.4. Soient et deux fonctions continues de dans telles que
1. Montrer quil existe un intervalle comprenant et deux fonctions et de classe
sur telles que
2. Montrer que pour tout 3. 1.
, si et si . . Montrer que pour tout . On suppose seulement que Soit et . Dterminer la solution maximale du problme de Cauchy ,
(a) Soit (b) (c) (d) (e)
et
la solution maximale du problme de Cauchy Montrer que est ni [on pourra utiliser la mthode de comparaison]. Montrer que si , alors tend vers quand tend vers . Prouver que si est assez grand. Etablir que quand tend vers , et sont quivalents
Exercice II.5. Soit un espace de Hilbert rel, un intervalle de et une application continue. Montrer que les solutions de lquation sont de norme constante si et seulement si est antisymtrique pour tout .
Exercice II.6. Soit un espace vectoriel de dimension nie et un intervalle de . Soit du problme de Cauchy
continue et . On considre la solution
Montrer que
est inversible pour tout .
Exercice II.7. Soit une application continue, de priode .
de lquation lespace vectoriel des solutions . Montrer que lapplication dnie 1. Soit est un endomorphisme de . En dduire que lquation possde une solution pour laquelle par avec .
2. Retrouver ce rsultat en utilisant le fait que la rsolvante vrie
72
EXERCICES
3. Que se passe-til quand est constante ? Exercice II.8. Soit un entier positif et
des fonctions continues de dans . On considre lquation diffrentielle
Montrer que pour tout rel, il existe positif tel quaucune solution non nulle de cette quation diffrentielle na plus de zros sur lintervalle . tudier le cas particulier de lquation , conclure.
Exercice II.9. Soit un rel positif. Expliciter toutes les solutions de lquation en dduire les solutions sur de
. En effectuant le changement de variables ,
Dcrire toutes les solutions de lquation prcdente. Exercice II.10. drivable, croissante, telle que Soit . tudier la fonction ; montrer que
. Soit
est borne.
une solution de lquation diffrentielle
Exercice II.11. Soit continue, telle que une solution de lquation diffrentielle converge. Soit . Si est borne, montrer que a une limite en , et que cette limite est nulle. En dduire que deux solutions bornes sont ncessairement colinaires. Conclusion ?
Exercice II.12. continues, et un systme fondamental de solutions de lquation diffrentielle . Soient Montrer que et nont pas de zro commun, et quentre deux zros conscutifs de se trouve ncessairement un zro de ; en dduire que ce zro est unique. Exercice II.13. Soient trois fonctions drivables sur vriant
Soient et deux fonctions vriant
1.
2. Soit une fonction continue vriant la question prcdente que toute solution de . conscutifs est comprise entre et
Calculer la drive de , et en dduire quentre deux zros conscutifs de se trouve un zro de .

pour tout avec et rels positifs. Dduire de admet une innit de zros, et que la distance entre deux zros
Exercice II.14. Soit un intervalle rel et 1. Montrer que, si
2.
, la fonction est solution de Soit un systme fondamental de solutions de . On pose
est solution de lquation
de classe .

Montrer que
est un systme fondamental de solutions de .
73
E XEMPLES DE S UJETS ET DE C ORRIGS D E XAMENS

Examen partiel de lanne universitaire 2000-2001
Sujet
Exercice I Question de cours
1. Soient ,
et
des espaces norms. Soit
une application multilinaire continue de
dans
(a) Donner explicitement la diffrentielle de en un point . (b) En dduire (en justiant clairement chaque tape) un calcul explicite des diffrentielles seconde et troisime de , et , en un point .
2. Soient , et trois espaces norms. Soient un ouvert de et un ouvert de . Soient un application de dans et une application de dans . Soient et . On suppose que est diffrentiable en et diffrentiable en .
(a) Donner explicitement la diffrentielle de
(b) On suppose que et sont deux fois diffrentiables en et respectivement. Calculer explicitement (en justiant clairement chaque tape) la diffrentielle seconde de en . Exercice II Soit entier 1. 2. 3. un espace de Banach. Soit
en .
, soit lapplication de Montrer que est une fonction de classe sur . Calculer explicitement la diffrentielle de en un point Montrer que est un diffomorphisme de classe au voisinage de
lespace de Banach des endomorphismes continus de fois dans lui-mme dnie par .
. .
dans lui mme. Pour tout
75
EXEMPLES DE SUJETS ET DE CORRIGS DEXAMENS
Exercice III Soient 1. 2.
un intervalle ferm de . de dans . En appliquant la formule de Taylor lordre 2 aux points et Soit une fonction de classe , montrer que si et , alors . Soit une fonction de dans de classe . On suppose que, pour tout entier on a
un espace de Banach et
ou
et
o et sont des constantes indpendantes de . (a) En utilisant le 1. donner une majoration de pour tout . (b) En dduire que la srie de Taylor de en converge, dans , vers pour tout dans un voisinage de que lon
prcisera. Exercice IV Soient et deux espaces de Banach et une application de dans telle que, pour tout , est inversible et .
1. Soit . Soit il existe une fonction continue

2. Soient
de classe
. On suppose quil existe une constante
3.
un intervalle, et deux fonctions continues de dans telles que et . tels que . Montrer que est ferm. (a) Soit lensemble des (b) Montrer que est ouvert. (c) Conclure que . Soit une fonction de classe telle que . Soit lensemble des pour lesquels il existe continue telle que . (a) Dduire du 1. que est non vide. (b) Soit la borne suprieure de . Dduire du 2. quil existe continue telle que . qui converge vers . En utilisant lhypothse sur (et le thorme des accroissements nis) (c) Soit une suite dans montrer que, pour tous et entiers
une fonction continue telle que telle que .
. Montrer que, pour
assez petit,

(d) En raisonnant par labsurde, dduire du 1. que 4. Soient
et en dduire que se prolonge en une fonction continue sur
).
et
. , montrer que
est surjective (i.e.
. En appliquant ce qui prcde la fonction
Corrig
Exercice I Cet exercice tant une question de cours, donnons brivement les rponses : 1. (a) (b) 2. (a) (b)

. .
Exercice II
, .
76
EXAMEN DE LA SESSION DE JUIN 2001
1. 2. 3.
est la compose de lapplication linaire
fois
et de lapplication multilinaire
.
, et le thorme dinversion locale donne le rsultat. Exercice III
1. Supposons par exemple
. La formule de Taylor-Lagrange donne

do le rsultat.
2. Par le 1.,
de ,
et .
, o est une constante ne dpendant que

sur un intervalle
3. Le reste dans la formule de Taylor-Lagrange lordre , et tend vers zro si .
applique
se majore donc par
Exercice IV 1. Soit tel que . Par le thorme dinversion locale, est un diffomorphisme au voisinage de . Donc est dnie et continue au voisinage de . La continuit de implique donc que est dnie et continue au voisinage de .
2.
(a) Immdiat les fonctions tant continues. (b) Si , est un diffomorphisme au voisinage de (c) Par connexit.
donc
est dtermin au voisinage de .
3.
(a) Immdiat.
(b) Si , et si est dnie sur et vrie en posant, pour , On peut alors dnir sur (cette dnition ne dpend pas du choix de .
, le 2. implique que et sont gales sur . , o et est continue sur et vrie
(c) Le thorme des accroissements nis donne
, il vient est une suite de Cauchy dans est alors continue.

4. En effet, le 3. montre quil existe .
, et comme , ce qui donne lingalit en utilisant lhypothse. Il en rsulte que qui converge donc vers , ce dernier tant complet. La fonction prolonge par en
) quil existe de telle que , on contredit la maximalit de . telle que . En particulier
(d) Si , le 1. montre ( prolongeant alors par sur
et
. En
, ce qui montre que
Examen de la session de Juin 2001

Sujet
A
77
Soit que
un espace de Hilbert rel de dimension nie pour tous . Soient
1. Montrer que
et
sont de classe
sur
2. Montrer que la restriction de
3. Montrer quil existe et tels que . 4. Montrer que est stable par et, en raisonnant par rcurrence, en dduire que .
admet un maximum.
et de produit scalaire not . Soit un endomorphisme tel , , , et . et, pour tous , calculer explicitement et .
admet une base de vecteurs propres de
B
Questions de cours prliminaires. 1. Donner la dnition dun cylindre de scurit pour un problme de Cauchy. Dmontrer que si est un ouvert de , espace de Banach, et une fonction continue, pour tout point , il existe un cylindre de scurit centr en pour le problme de Cauchy , .
2. Soient
espace de Banach, un ouvert de et une fonction continue. Soient , segment de , , deux solution -approches, , de classe , de lquation diffrentielle . On suppose quil existe tel que, pour tout , on a
Soit
. Posons
. Dmontrer que, pour tout on a

dans telle que
, pour
3.
avec et , alors on a la fonction , . Soient espace de Banach et un ouvert de . Soient et deux fonctions continues de dans telles que . Soient (resp. ) une solution de lquation diffrentielle (resp. ). On suppose quil existe telle que, pour tout , . Dduire du 2. une majoration explicite de , , en fonction de , et des valeurs prises par et en un point de .
Problme
On pourra appliquer, sans le redmontrer, le lemme de Gronwall (cest--dire : si est une fonction continue de
, , )
Soient un ouvert de et une fonction continue. Dans tout le problme on suppose donne une solution , dnie . sur un intervalle de , de lquation diffrentielle Soit une fonction de classe de dans telle que, , .
I 1. Supposons tout dabord On suppose que, pour tout , on a
2.
. tel que . Soit tels que . Montrer que (a) On suppose quil existe , que est strictement croissante au voisinage de et conclure une contradiction. (b) En dduire que , pour tout , . On suppose maintenant que . Montrer que pour assez proche de , et, en utilisant la question prcdente, conclure que , pour tout , .
II
et quil existe tel que
A partir de maintenant on suppose que est localement lipschitzienne en la seconde variable. Soit et quil existe tel que . que, pour tout , on a
tels que 1. Pour tout , soit non vide que lon notera dans la suite . On suppose dans la suite de cette question que .
78
. On suppose
pour
. Montrer que
est un intervalle ferm
EXAMEN DE LA SESSION DE JUIN 2001
(a) Pout tout , on pose , . Montrer quil existe et tels que, pour , le problme de Cauchy , , admet une solution dnie dans lintervalle et valeurs dans le segment , les intervalles et tant tels que soit -lipschitzienne, pour un , en la seconde variable dans (on pourra montrer lexistence dun cylindre de scurit convenable). (b) Montrer que pour , on a
(c)
mme intervalle. (d) Conclure une contradiction. 2. Conclure que
En utilisant le rsultat de la partie I, montrer que pour , et en dduire que
sur le
pour tout .
Corrig
A et sont de classe comme composes dapplications linaires et bilinaires continues ( est de dimension nie), et un et puisque est symtrique. calcul immdiat donne 2. Comme est ferm et born, et que lespace est de dimension nie, cest un compact. y admet donc un maximum. 3. Comme, pour , ( ), est une sous-varit de , et on peut appliquer le thorme des multiplicateurs de Lagrange. 4. La relation signie exactement que est un vecteur propre de associ la valeur propre . Alors, si , on a , ce qui montre que est stable par . Comme , en recommenant le mme raisonnement que prcdemment avec la place de , on trouve un second vecteur propre , et est aussi stable par . Par rcurrence on en dduit le rsultat demand. 1.
B Questions de cours prliminaires : voir le cours. Problme I 1. (a) Par dnition de l et continuit des fonctions, on a . Si on avait , la continuit des fonctions contredirait la dnition de . On a donc . Ceci implique , au voisinage de . Ceci implique que, pour assez proche de , on a et, par continuit de , on a et contredit la dnition de . (b) La contradiction prcdente montre que lhypothse de dpart de la question prcdente est fausse ce qui est le rsultat. (c) Si , on a , et, par continuit, est strictement croissante au voisinage de ce qui tel que, sur on a . On peut alors appliquer le raisonnement fait aux deux montre quil existe questions prcdentes, en remplaant par pour , ce qui permet de conclure. , et obtenir
II 1.
un cylindre contenu dans sur le quel est majore par et tel que soit (a) Soit , le cylindre -lipschitzienne sur . En prenant alors, pour tout , et
(b) (c)
ingalit en utilisant le (b) et en faisant tendre vers zro. (d) Comme on a suppos , quitte rduire , on peut supposer contredit alors la dnition de . 2. Immdiat.
est de scurit pour le problme de Cauchy , . Comme est une solution -approche du problme de Cauchy , , qui est dnie sur lintervalle , on peut appliquer la troisiemme question de cours prliminaire ce qui donne lingalit. Il suft dappliquer le rsultat de la partie I en remplaant par , par et par (car sur ) pour obtenir sur . Comme est indpendant de , on obtient alors la dernire (et bien sr
). La question prcdente
79
Examen de la session de Septembre 2001

Sujet
Exercice I
Soient un espace de Banach et constante telle que , 1. Soient
et
. En crivant avec la formule de Taylor avec reste intgral, montrer que

,
une fonction de classe .
telle que
. On suppose quil existe une
2. En dduire que,
.
Exercice II
Soit que
une application continue de dans lespace des matrices carres dordre complexes. On suppose quil existe . On considre lquation diffrentielle linaire
tel
( )
Soit lespace vectoriel sur 1. Montrer que lapplication
des solutions de ( ). Pour toute
2. Soit . Soit la rsolvante de ( ). Soit Soit la solution de ( ) qui vaut en . (b) En dduire que (a) Montrer que
est un isomorphisme de sur lui mme.
, on pose .
associ la valeur propre
.
un vecteur propre de
. .
Exercice III
Question de cours prliminaire. noncer le thorme des bouts. de que Soit une fonction de classe dans telle telle que , . une constante Pour tout , on considre lquation diffrentielle
. On suppose que, , est inversible et quil existe

( )
1. Montrer que,
, , ( ) admet une solution dnie au voisinage de telle que
2. Monter que toute solution de ( ) est dnie sur tout entier. 3. Soit la solution de ( ) qui vrie . (a) Calculer (b)
; En dduire que
4. En dduire que
, pour un . et conclure que (i.e. que

Exercice IV
est surjective).
80
EXAMEN DE LA SESSION DE SEPTEMBRE 2001
Question de cours prliminaire. noncer le thorme dinversion locale. Soit un ouvert de . Soient et deux fonctions de classe de dans . On suppose que, pour tout telle que, , . Soit x. quil existe une fonction continue 1. Montrer que,
et
.
,
, et
3. Soit la fonction dnie par , les la question prcdente. Montrer quil existe un voisinage ouvert de tel que sur son image.
2. Montrer quil existe des formes linaires linaires sur .
, sur
telles que
soit une base de formes
, , tant les formes linaires de soit un diffomorphisme de classe de
4. Soit la fonction dnie par , tant les formes linaires de , les , la question 2. Montrer quil existe un voisinage ouvert de tel que soit un diffomorphisme de classe de sur son image.
5. Soit que
6. Pour tout
. Dduire de ce qui prcde que
, on pose

est un diffomorphisme de classe

de
sur tel
. Montrer que

7. En dduire que, 8.
, on a . Conclure quil existe un voisinage de dans et une fonction voisinage de .
, et
de classe
telle que
sur un
Corrig
Exercice I 1. En effet, par la formule de Taylor on a lintgrale se majore, par hypothse, par
comme une inquation du second degr en , il vient 2. Comme lingalit prcdente est valable pour tout , en la considrant , cest--dire , ce qui donne le rsultat en prenant le pour .
, et comme
, on obtient lingalit voulue.
Exercice II 1. Il est clair que si linaire. 2. (b)
alors . De plus, si et si , on a et . Enn
est clairement
(a) En effet, on a
par unicit du problme de Cauchy.
ce qui donne . et sont donc deux solutions de lquation diffrentielle qui prennent la mme valeur en . Elles sont donc gales
Exercice III
est de classe , lapplication 1. Comme est suppose de classe sur et comme lapplication est de classe sur , donc, en particulier, lipschitzienne. La conclusion rsulte donc du thorme de Cauchy-Lipschitz.
2. Comme 3. (a)
Question de cours prliminaire. Voir le cours.
(b) Immdiat. 4. En faisant
est dnie et continue sur et localement lipschitzienne, ceci rsulte du thorme des bouts. . dans la question prcdente, il vient
et on conclut aussitt.
81
Exercice IV Question de cours prliminaire. Voir le cours. 1. vident. 2. Cest le thorme de la base incomplte en dimension nie puisque 3. Cest une consquence du thorme dinversion locale puisque 4. Idem compte tenu du 1. 5. Immdiat. 6. Daprs la question prcdente on a faite sur et .
. La formule sobtient en drivant cette galit et en utilisant lhypothse
8. Soient un voisinage de dans et un voisinage de . dans tels que , si on note , la question prcdents montre que Alors si est constante dans . Si on note , , on a, pour ce qui montre que la formule , dnit une fonction de classe dans . Comme , si appartient un , voisinage assez petit de , on aura et par suite , ce qui est le rsultat.
7. Comme est un diffomorphisme sur , pour rsulte donc de la formule de la question prcdente.
, les formes linaires ,
, sont indpendantes. Le rsultat
Examen de la session de Mai 2002

Sujet
Exercice I
1. Question de cours. (a) noncer avec prcision puis dmontrer le rsultat dexistence et dunicit des solutions dune quation diffrentielle linaire. (b) Donner la dnition de la rsolvante dune quation diffrentielle linaire dordre . noncer et dmontrer ses proprits fondamentales. 2. Soient
un espace de Banach, un intervalle ouvert de et
. Soient
et
des fonctions continues de dans
Soit
une solution du systme diffrentiel
Montrer que, si est inversible pour tout que lon explicitera.
, alors
est solution dune quation diffrentielle
Exercice II
Soient et deux fonctions continues de dans telles que, pour tout (resp. ). une solution de lquation diffrentielle 1. Calculer la drive de 2. 3. 82
, o dsigne le produit scalaire euclidien de . Soit (resp. ) la rsolvante de lquation (resp. ). Dduire de la premire question que . En dduire que si pour tout , alors est orthogonale, pour tous et .
, on ait . Soit (resp. )
EXAMEN DE LA SESSION DE MAI 2002
Exercice III
Soit la boule (pour la norme euclidienne ) ferme de centre lorigine et de rayon dans . Pour tout
des fonctions de classe donne
dun voisinage de
x. Soient
, on pose
. On se
x une fois pour toutes. tel que, pour .
1. Montrer que est lipschitzienne par rapport la premire variable dans . pour 2. Montrer quil existe dnie sur
, uniformment par rapport la seconde variable ,
, le problme de Cauchy
, admet une unique solution
Dans la suite, on note 3.
cette solution, . Montrer que est de classe dans .
4. Soit
, .

(a) Montrer que est solution de lquation diffrentielle par rapport la premire variable). (b) En dduire que est identiquement nulle. 5. Montrer quil existe une fonction ). 6. Montrer que, si

(o est la diffrentielle partielle de

(considrer
dnie sur un voisinage de
dans
telle que
est une base de ,
est un diffomorphisme au voisinage de lorigine.
Exercice IV
A Soient et deux fonctions continues positives dun intervalle ,
, dans . On suppose quil existe
tel que
1. Soient
le second membre de lingalit ci-dessus et

. Montrer que
2. En dduire que
B Soient un espace de Banach et un ouvert de fonction continue. Soient et . Soit . On note . Soit . On considre le problme de Cauchy
. Soit
la fonction dnie par
une fonction -lipschitzienne et soit
une ,
Soient et posons
(*)
et . .
deux solutions de (??) dnies sur un intervalle
3. Montrer que
4. Montrer que, pour 5. En dduire que
, , on a .
83
Corrig
Exercice I 1. Voir le cours 2. Daprs le cours, , ce qui donne aussitt . Lquation diffrentielle cherche est donc :
Exercice II 1. On a :
2.
Si et sont des points de , on peut crire et . La question prcdente donne soit alors . Ceci tant valable pour tous et , on obtient le rsultat.
. Exercice III
3. Il suft dappliquer la question prcdente avec
1. Soit 2.
3. Cest le rsultat du cours sur la rgularit des solutions dune quation diffrentielle dpendant dun paramtre. 4. (a) En utilisant le fait que est solution de lquation diffrentielle , il vient immdiatement :
. Prenons . Le thorme des accroissements nis donne aussitt, pour , , , ce qui donne le rsultat demand. On a avec . Par suite, pour , , et on peut choisir de sorte que ce qui signie que est un cylindre de scurit pour le problme de Cauchy considr. Le . thorme de Cauchy-Lipschitz donne alors une solution dnie sur lintervalle

(b) En effet, est solution dune quation diffrentielle linaire homogne et . 5. La question 3. montre que est dans . De plus, la question 4. (b) implique que
6.
, pour . Comme (car , ), on conclut que est solution du problme de Cauchy , , et, par . unicit de cette solution, on en dduit que , , ce qui montre (puisque est une base) que est surjective. Comme on est On a est solution de

en dimension nie, il ny a plus qu appliquer le thorme dinversion locale. Exercice IV
1. En effet,
et il suft dutiliser que
et
ce qui conclut puisque . 2. Par la question prcdente, 3. et sont deux solutions du problme de Cauchy , . Comme est localement lipschitzienne, lunicit du thorme de Cauchy-Lipschitz donne le rsultat. 4. Par la question prcdente, on a , . Donc , et il ny a plus qu intgrer. 5. On a dj et lgalit rsulte de la question prcdente et de la question 2.
Index des Notations

, 4 ,5 , 17 , 2 , 14 , 17 , 17 , 16 , 16 O , 1 o , 1 , 5 , 2
, 2 ,5 , 4
,5 , 4
85
Index Terminologique
Champ de vecteurs Courbe intgrale dun, 45 paramtre, 45 Drive droite en un point, 6 dune fonction en un point, 2 dune fonction, 2 gauche en un point, 6 Partielle dune fonction par rapport en un point, 5 Partielle dune fonction par rapport , 5 Diffomorphisme de classe , 11 de classe , 18 de classe , 18 Diffrentielle dune fonction en un point, 2 dune fonction, 2 dune fonction dans une direction en un point, 5 dordre dune fonction en un point, 17 dordre dune fonction, 17 Partielle dune fonction par rapport en un point, 4 seconde dune fonction en un point, 14 seconde dune fonction, 14 quation diffrentielle Anti-entonnoir pour une, 71 Autonome, 45 Barrire infrieure associ une, 70 Barrire suprieure associ une, 70 Bout droit dune solution maximale, 46 Bout gauche dune solution maximale, 46 Champ des tangentes associ une, 70 Condition initiale dun problme de Cauchy associ une, 44 Cylindre de scurit pour un problme de Cauchy, 47 Entonnoir pour une, 71 Isocline associ une, 70 linaire dordre , 62 linaire homogne, 62 Linaire homogne de degr Matrice Wronskienne dun systme fondamental de solutions dune, 65 Rsolvante dune, 63 Systme fondamental de solutions dune, 64 Wronskien dun systme fondamental de solutions dune, 65 Mthode dEuler pour les solutions approches dune, 48 dordre , 43 dordre , 44 Problme de Cauchy associ une, 44 Solution dune, 43 Solution -approche de classe par morceaux, 49 Solution -approche de classe , 49 87 Solution approche linaire par morceaux, 48 Solution asymptotiquement stable dune, 68 Solution globale dune, 45 Solution maximale dune, 45 Solution prolongeant une autre, 45 Solution stable dune, 68 Fonction de classe , 17 de classe , 2 de classe , 14 de classe , 17 de classe , 17 Continment diffrentiable, 2 Drive, 2 Dveloppement limit dune fonction lordre en un point, 25 Diffrence symtrique seconde dune fonction, 23 Diffrence symtrique -ime dune fonction, 23 Diffrentiable en , 2 Deux fois Diffrentiable en , 14 Diffrentiable dans la direction en un point, 5 fois diffrentiable en un point, 17 Strictement diffrentiable en , 2 prsentant un minimum ou un maximum relatif en un point, 28 prsentant un extremum relatif li en un point, 34 Point critique non dgnr dune, 31 Fonctions Tangentes en , 1 Tangentes lorigine lordre , 25 Strictement tangentes en , 1 Formule de Leibnitz, 27 de Taylor avec reste intgral, 21 de Taylor-Lagrange, 21 de Taylor-Young, 22 Isomorphisme (despaces norms), 11 Matrice Jacobienne dune fonction en un point, 6 Oprateur Diffrentiel linaire, 27 Polynme de degr , 22 Homogne de degr , 22 Sous-varit Diffrentiable de classe de dimension , 32 de modele sur , 32 Diffrentiable de classe Reprsentation paramtrique dune, 34 , 30 Systme de coordonnes locales en un point de classe
INDEX TERMINOLOGIQUE
Thorme des accroissements nis, 68 des bouts, 59 de Cauchy-Lipschitz, 55, 56 de Cauchy-Peano-Arzela, 52 Lemme de Gronwall, 53, 54 de Hadamard-Lvy, 12 des fonctions implicites, 13 dinversion locale, 12 Lemme de Morse-Palais, 31 des multiplicateurs de Lagrange, 35 du rang constant, 31 dexistence des solutions -approches dune quation diffrentielle, 50
88
Bibliographie
[Ave83] A. AVEZ Calcul diffrentiel, Collection Matrise de Mathmatiques Pures, Masson, Paris, 1983. [Car67] H. C ARTAN Calcul diffrentiel, Collection Mthodes, Hermann, Paris, 1967. [Dem96] J.-P. D EMAILLY Analyse numrique et quations diffrentielles, Collection Grenoble Sciences, Presses Universitaires de Grenoble, 1996.
89

Licence Calcul Differentiel

Încărcat de

Informații document

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Licence Calcul Differentiel

Încărcat de

Drepturi de autor:

Formate disponibile

LICENCE DE MATHMATIQUES PURES

Universit Bordeaux I Anne universitaire 2000-01

Table des matires

TABLE DES MATIRES

Licence de Mathmatiques Pures de Bordeaux Calcul Diffrentiel

CHAPITRE I. CALCUL DIFFRENTIEL

est strictement telle que les applications

La Proposition suivante est immdiate :

est strictement diffren-

, pour tous scalaires

I.1. FONCTIONS DIFFRENTIABLES

est diffrentiable en et 2. Soient , , et supposons diffrentiable en alors est diffrentiable en et

tant diffrentiable en , elle est continue, et on peut

est constante elle est

des espaces norms et

une application multilinaire

Dmonstration. Le 1. est vident ainsi que le 2. pour

. Montrons donc le 2. pour

, card ne dpendant que de

est telle que

est inversible dans , et,

deux espace norms. Lapplication

Dmonstration du Lemme. Considrons la srie

, cette srie est absolument convergente, donc conver-

petit (i.e. assez grand) la norme de

est uniformment borne ce qui permet de conclure.

CHAPITRE I. CALCUL DIFFRENTIEL

P ROPOSITION I.1.6. Soient dans et ,

, des espaces norms,

. Pour tout , soit

suft que, pour chaque , la fonction

do on dduit aussitt le rsultat.

C OROLLAIRE . Soient dans et , ,

des espaces norms, une application multilinaire continue de

Dmonstration. En effet, il suft de remarquer que

et dappliquer la Proposition prcdente (ainsi que la Proposition I.1.4 et la Proposition I.1.5).

P ROPOSITION I.1.7. Soient ,

des espaces norms,

dans dnie par . Si est diffrentiable en

I.1. FONCTIONS DIFFRENTIABLES

, et la formule prcdente devient

dans , il faut et il suft que les fonctions

est diffrentiable en tout point de ,

sappelle la drive partielle

soient continues dans .

P ROPOSITION I.1.9. Soient posons que et deux espaces norms,

soit somme directe topologique de sous-espaces

lespace norm produit

par lisomorphisme canonique (bicontinu)

est diffrentiable dans la direction au point , et de plus, , on a

P ROPOSITION I.1.10. Soient

une fonction de . Si est

CHAPITRE I. CALCUL DIFFRENTIEL

diffrentiable en alors pour tous et ,

est diffrentiable dans la direction

est donne par la matrice Jacobienne

P ROPOSITION I.1.11. Soient

est le produit des matrices Jacobiennes de

Thorme des accroissements nis et applications

Le Thorme des accroissements nis

D FINITION I.2.1. Soit une fonction dun intervalle

droite (resp. gauche) en

si et seulement si elle admet des drives

T HORME I.2.1 (Thorme des accroissements nis ).