Calcul différentiel équations différentielles
25 juil. 2013 calcul différentiel (et se transmute en géométrie différentielle). ... 1.1 Equations différentielles linéaires le point de vue matriciel .
Calcul différentiel et équations différentielles
8 févr. 2021 Calcul différentiel et équations différentielles. Alexandre Munnier ... Reinhard H. Equations différentielles fondements et applications.
Calcul différentiel et et équations différentielles
Calcul différentiel et équations différentielles Sylvie Benzoni-Gavage
Calcul différentiel & équations différentielles
Calculer lorsqu'elle existe
CALCUL DIFFÉRENTIEL ET ÉQUATIONS DIFFÉRENTIELLES
CALCUL DIFFÉRENTIEL. ET ÉQUATIONS. DIFFÉRENTIELLES. Cours et exercices corrigés. Sylvie Benzoni-Gavage. Professeur à l'université Lyon 1
Untitled
Université de Paris-Sud. Cours de Topologie. Calcul différentiel Équations différentielles. Pour la licence MAF. Jean-Christophe Yoccoz
Université Paul Sabatier Calcul Différentiel
du cours de Calcul Différentiel-Équations différentielles (LIM2) de ... Un des objectifs du Calcul Différentiel est l'étude locale des applications.
Download File PDF Calcul Diff Rentiel
1 sept. 2022 Exercices de Mathématiques pour la licence L3 calcul differentiel equations differentielles espace de Hilbert. Calcul Différentiel - Licence ...
Calcul différentiel et équations différentielles - 2e édition
La première partie reprend le calcul différentiel à la base en passant un peu vite sur les fonctions d'une variable réelle (supposées relativement familières
Université Paris Dauphine 2019-2020 Géométrie et syst`emes
Benzoni S. Calcul différentiel et équations différentielles. SMAI Dunod
Calcul di? érentiel et équations di? érentielles - Dunod
dre des équations différentielles au moyen de formules plus ou moins explicites Les travaux de Poincaré sont passés par là et une véritable révolution s’est opérée Les apprentis mathématiciens actuels ont cette chance: une fois consolidées leurs connaissances de base en calcul différentiel ils peuvent accéder à une compréhen-
Exo7 - Cours de mathématiques
calcul di?´erentiel (et se transmute en g´eom´etrie di?´erentielle) Celle-ci est tr`es riche et n’est que juste abord´ee dans ce cours Signalons que la notion de courbure des surfaces d´ecouverte par Gauss permet de donner forme a des id´ees importantes et ´etonnantes 3
L3 – COURS DE CALCUL DIFFÉRENTIEL - CNRS
Le Calcul Di erentiel admet des d eveloppements dans les espaces de dimension in nie comme par exemple les espaces de fonctions Cela d epasse les limites du cours de L3 En revanche une bonne ma^ trise des propri et es des espaces vectoriels norm es est requise Cela rel eve du programme de L2; au besoin une r evision s’impose La
Exo7 - Cours de mathématiques
On ne saitpas résoudre toutes les équations différentielles On se concentre dans ce chapitre surdeux types d’équations : les équations différentielles linéaires du premier ordre et celles du second ordre à coefficients constants • Une équation différentielle d’ordre n est linéaire si elle est de la forme
ÉQUATIONS DIFFÉRENTIELLES - maths et tiques
Partie 2 : Équations différentielles du type !’=$! Propriété : Les solutions de l’équation différentielle ’’=9’ 9?? sont les fonctions de la forme # => #$ où = est une constante réelle quelconque
CALCUL DIFFÉRENTIEL ET ÉQUATIONS DIFFÉRENTIELLES – Cours et
attendre en calcul différentiel d’un étudiant en ?n de licence L’analyse des équations différentielles est développée dans la seconde partie Le cadre est celui des équations différentielles «non pathologiques» au sens où elles sont supposées résolues (en la dérivée d’ordre le plus élevé) et sans problème de régularité
Comment calculer une équation différentielle linéaire ?
- Une équation différentielle linéaire du premier ordre est une équation du type : y 0 = a ( x ) y + b ( x ) ( E ) où a et b sont des fonctions dé?nies sur un intervalle ouvert I de R.
Quel est le point focal du Calcul Differentiel ?
- Le point focal du calcul di?´erentiel est de comprendre, et de se doterdes outils pour manipuler des approximations “lin´eaires” de ph´enom`enes non-lin´eaires.
Comment calculer les d'eriv'ees partielles ?
- En e?et il su?t de veri?er que ce point est bien sur la sphere, et que les pointsN (u v 0)etf(u v) sont align´es (N est le pˆole nord... dessin...)On calcule les d´eriv´ees partielles facilement. On peut en donner uneinterpretation en termed’accroissement dans les directions de coordonn´eeuetv.
Quel est le but du cours de calcul Diff’erentiel ?
- Le but du cours est d’introduire des notions de calcul di?´erentiel, en dimension ?nie. Le“calcul di?´erentiel” invent´e par Leibniz et (ou ?)
Calcul diff´erentiel,
´equations diff´erentielles
Licence 3 Math´ematiques, parcours B
Fran¸cois Dahmani
Universit´e Joseph Fourier, Grenoble I
25 juillet 2013
1Avant propos
Le but du cours est d"introduire des notions de calcul diff´erentiel, en dimension finie. Le "calcul diff´erentiel" invent´e par Leibniz et (ou?) Newton, pour des fonctions deRdansRtientessentiellement dans la notion de la d´erivation, et de toutes les techniques et applications autour
de celle-ci (in´egalit´e des accroissements finis, formule de Taylor,d´eveloppements limit´es, ´etudes
simples de fonctions compliqu´ees, de limites, ´equations diff´erentielles d´ecrivant un syst`eme
physique complexe, etc...) Il s"agit, si l"on y regarde bien, d"approximer des graphes de fonctions compliqu´ees par leur tangentes (approximation par une fonction affine). Cette "lin´earisation" de la fonctionen un point donn´e est, on l"a vu, tr`es utile. De mˆeme, il n"´echappe pas tr`es longtemps que les
´equations diff´erentielles lin´eaires sont plus faciles `a manipuler, et`a comprendre que bon nombre
d"´equations non lin´eaires. Le point focal du calcul diff´erentiel est de comprendre, et de se doter
des outils pour manipuler des approximations "lin´eaires" de ph´enom`enes non-lin´eaires. Une probl´ematique de ce cours est de passer de la dimension 1 (unevariable en entr´ee, unevaleur en sortie) `a des dimensions plus grandes, (plusieurs variables en entr´ee, plusieurs valeurs
en sortie), qui correspond souvent `a un cadre naturel de probl`eme scientifique.Le plan est le suivant.
On se propose tout d"abord de considerer les fonctions qui sont toujours d"une seule variable (disons le temps) mais qui sont `a valeur dans un espace vectoriel de dimension, avec2 (le cas= 1 ´etant le cas "classique" des fonctions deRdansR. On peut y penser comme une trajectoire dansRnparam´etr´ee par le temps (attention cependant, cette trajectoire n"est pas l"analogue du graphe d"une fonction deRdansR). Cette situation est un cadre avantageuxpour ´etudier des ´equations diff´erentielles lin´eaires, et certaines non lin´eaires. C"est aussi un bon
cadre pour ´etudier des courbes param´etr´ees, par exemples deR2ouR3. Ensuite, on ´elargit la perspective aux fonctionsRmdansRn, avec2. Dans ce cas, plus subtil, il faut peut ˆetre penser `a= 2, et= 3, et aux fonctions comme des param´etrisations de morceaux de surfaces dansR3. La bonne notion de d´eriv´ee est alors celle de meilleurs 2 approximation par une application affine, autour d"un point (et la diff´erentielle est la partielin´eaire de cette application, comme la d´eriv´ee donnait la pente de latangente). L"´etude des
points critiques permet une premi`ere ´ebauche de la recherche d"extremas. Mais il faut savoird'´eriver `a l"ordre 2 pour completer cette ´etude. Une pi`ece maitresse de cette th´eorie est le
th´eor`eme d"inversion locale, ou des fonctions implicites. Il permetl"´etude de param´etrisations
de surfaces, par exemple. Comme pour les courbes, l"´etude localedes surfaces se fonde sur lecalcul diff´erentiel (et se transmute eng´eom´etrie diff´erentielle). Celle-ci est tr`es riche, et n"est
que juste abord´ee dans ce cours. Signalons que la notion de courbure des surfaces, d´ecouverte
par Gauss, permet de donner forme `a des id´ees importantes, et´etonnantes. 3Remarques bibliographiques.Le cours suit souvent de tr`es pr`es celui propos´e par F. Laudenbach [Lau] `a l"X (dans une
version abr´eg´ee et r´eduite `a la dimension finie), sauf en ce qui concerne l"´etude locale des courbes,
pour laquelle on pr´ef`ere suivre un chapitre du livre de M. Berger etB. Gostiaux [Ber. Gos.], et en ce qui concerne l"´etude des extremas, pour laquelle on se reporte au compte-rendu de X.Gourdon [Gou].
Des exercices nombreux et adapt´es (dont, selon toute vraissemblance, une partie sera trait´e en TD) se trouvent dans [Gou], [Ber. Gos.] (pour l"´etude des courbes et des surfaces), et dans le guide de F. Rouvi`ere [Rou]. Nos recommandations bibliographiques vont naturellement vers cesouvrages.Calendrier propos´e : 28 s´eances d"1h30, r´eparties sur 14 semaines. On a essay´e de faire en
sorte que chaque "sous-section" corresponde `a une s´eance d"1h30 (donc on avance de 2 sous- sections par semaines), mais c"est parfois trop optimiste, donc on reserve plusieurs s´eances "tampon" r´eparties.1ere semaine : 1.1, 1.2 - EDL, Cauchy Lipschitz
2eme semaine : 1.3, 1.4 - R´esolvante et variation de la constante.
3eme semaine : 1.5, 1.6 - EDNL
4eme semaine : 1.7, Tampon. - Param´etrisations de courbes.
Vacances de fevrier.
5eme semaine : 1.8, 1.9 - Th´eorie locale des courbes
6eme semaine : 2.1, 2.2 - Differentielles, d´eriv´ees partielles.
Contrˆole continu.
7eme semaine : 2.3, 2.4 - Th´eorie diff´erentielle `a l"ordre 2.
8eme semaine : 2.5, Tampon. - Ordre, et Taylor .
9eme semaine : 2.6, 2.7 - Extremas libres, inversion locale.
10eme semaine : 2.8, Tampon - Fonctions implicites.
11eme semaine : 2.9, Tampon - Extremas li´es, Th´eorie locale des surfaces.
4 Vacances d"avril.12eme semaine : 2.10, 2.11 - Th´eorie locale des surfaces. Courburede Gauss.13eme semaine : 2.12, 2.13 - Retours sur les equations diff´erentielles.
14eme semaine : Suite et fin...
5 Table des mati`eres1 Fonctions d"une variable r´eelle:RRn91.1 Equations diff´erentielles lin´eaires, le point de vue matriciel . . . . .. . . . . . . 9
1.1.1 Definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.1.2 Le probl`eme de l"ordre . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.1.3 Cas des coefficients constants, et exponentielle de matrice . . .. . . . . . 12
1.2 Le th´eor`eme de Cauchy-Lipschitz, en lin´eaire . . . . . . . . . . . .. . . . . . . . 14
1.2.1 Pr´eliminaire : Th´eor`eme de point fixe de Picard . . . . . . . . . . . .. . 14
1.2.2 Th´eor`eme de Cauchy Lipshitz lin´eaire . . . . . . . . . . . . . . . . . .. . 15
1.3 La R´esolvante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .17
1.3.1 Structure de l"espace de solutions . . . . . . . . . . . . . . . . . . . . . .17
1.3.2 Comportement du Wronskien, Th´eor`eme de Liouville . . . . . . . .. . . 19
1.4 Equations non-homog`enes . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . 21
1.4.1 Variation de la constante . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.4.2 Cas de l"ordre 2, de la dim 2, d´etails . . . . . . . . . . . . . . . . . . . . 22
1.5 Equations diff´erentielles non lin´eaires, le th´eor`eme de CauchyLipschitz . . . . . 22
1.5.1 Cauchy Lipschitz non lin´eaire . . . . . . . . . . . . . . . . . . . . . . . . 23
1.6 Aux bornes de l"intervalle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.6.1 Solutions maximales, explosions . . . . . . . . . . . . . . . . . . . . . . . 25
1.6.2 Le Lemme de Gronwall . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.7 Th´eorie locale des courbes dansR3, param´etrisations . . . . . . . . . . . . . . . 31
1.7.1 D´efinitions et chausses trappes . . . . . . . . . . . . . . . . . . . . . .. . 31
1.7.2 Exemples de coordonn´ees . . . . . . . . . . . . . . . . . . . . . . . . . . 32
1.7.3 Tangente, abscisse curviligne . . . . . . . . . . . . . . . . . . . . . . . . .34
1.8 Th´eorie locale des courbes : tri`edres de Frenet . . . . . . . . . .. . . . . . . . . 37
1.8.1 Courbure(s) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
1.8.2 Torsion, repere et formules de Frenet . . . . . . . . . . . . . . . . . .. . 38
1.9 Th´eor`eme "fondamental" de la th´eorie locale des courbes . . .. . . . . . . . . . 40
1.9.1 Compl´ements : th´eorie locale des points singuliers . . . . . . . . .. . . . 42
61.9.2 Compl´ements : d´eveloppantes, d´evelopp´ees, trajectoires orthogonales... . 42
2 Fonctions de plusieurs variables r´eelles:RmRn44
2.1 D´eriver, ou differentier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . 44
2.1.1 Diff´erentiabilit´e, classe1. . . . . . . . . . . . . . . . . . . . . . . . . . 46
2.2 D´eriv´ees partielles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . 48
2.2.1 D´eriv´ees partielles, Jacobienne . . . . . . . . . . . . . . . . . . . . . .. . 48
2.2.2 Exemples et contre-exemples usuels . . . . . . . . . . . . . . . . . . . .. 49
2.3 Th´eorie diff´erentielle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 51
2.3.1 Formule de composition . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
2.3.2 In´egalit´e des accroissements finis et applications . . . . . . . . .. . . . . 52
2.4 Ordre 2 (et plus) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
2.4.1 Diff´erentielle et d´eriv´ees partielles d"ordre 2 . . . . . . . . . . . . .. . . 57
2.4.2 Lemme de Schwarz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
2.5 G´en´eralisation `a l"ordre. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
2.5.1 Diff´erentielle d"ordre, d´eriv´ees partielles d"ordre. . . . . . . . . . . . 62
2.5.2 Formule de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
2.6 Extremas "libres", points critiques, et signe du Hessien?2. . . . . . . . . . 65
2.7 Th´eor`eme d"inversion locale . . . . . . . . . . . . . . . . . . . . . . . . . . .. . 67
2.8 Th´eor`eme des fonctions implicites . . . . . . . . . . . . . . . . . . . . . .. . . . 72
2.8.1 Le th´eor`eme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
2.8.2 Ecriture matricielle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
2.8.3 Lien entre les th´eor`emes, et interpretation . . . . . . . . . . . .. . . . . 74
2.9 Extremas li´es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .75
3 Th´eorie locale des surfaces r´eguli`eres dansR377
3.1 Param´etrisations diff´erentiables . . . . . . . . . . . . . . . . . . . . . .. . . . . 77
3.1.1 Exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
3.1.2 Changement de param´etrisations . . . . . . . . . . . . . . . . . . . . .. 78
3.2 D´efinitions implicites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
3.2.1 Contexte . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
73.2.2 Exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
3.3 Plan tangent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
3.3.1 D´efinition et caract´erisations . . . . . . . . . . . . . . . . . . . . . . .. . 80
3.3.2 Vecteur normal, gradient, application de Gauss . . . . . . . . . . . .. . 80
3.4 Retrouver la m´etrique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 81
3.4.1 Longueur de chemins . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
3.4.2 Calculs d"aires de surfaces . . . . . . . . . . . . . . . . . . . . . . . . . . 82
3.5 Application de Gauss . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
3.5.1 Definition (rappel) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
3.5.2 Sym´etrie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
3.5.3 Courbure normale et principales . . . . . . . . . . . . . . . . . . . . . . . 83
81 Fonctions d"une variable r´eelle:RR
Ou bien d"un intervalle deRdansR. "Ce sont des courbes param´etr´ees"Remarque : la continuit´e, et la d´erivabilit´e (et la d´erivation) d"uneapplication deRdans
R nse passe coordonn´ee par coordonn´ee.1.1 Equations diff´erentielles lin´eaires, le point de vue matriciel
On sait ce que c"est qu"une EDL d"ordre 1. D"habitude l"inconnue est unefonction d"un intervalle deRdansRet l"Equadiff se note ou encorece qui n"est r´esolument pas la mˆeme chose, vu que dans le second cas, on peut ˆetre embet´e par
les points o`us"annulle. Du point de vue th´eorique, on se place surtout dans le premier cas,en se laissant le soin de "recoller" les solutions aux points o`us"annulle. Par exemple vous savez r´esoudre depuis (tr`es? ) longtemps uneEDL de la forme avecconstante, et aussi aveccontinue, `a condition de savoir prendre une primitive de. (+ rappel en esquisse) Enfin, vous savez chercher une solution particuli`ere de en utilisant la m´ethode de la variation de la constante. 9 A l"oral :Dans ce cours, nous allons voir des ´equations diff´erentielles dont l"inconnue est une fonction d"un intervalle deRdansRncette fois. (le cas= 1 ´etant le cas "classique" des fonctions deRdansR. On peut y penser comme une trajectoire dansRnparam´etr´ee par le temps (attention cependant, cette trajectoire n"est pas l"analogue du graphe d"une fonction deRdansR). En mˆeme temps, on peut s"interesser au cas des ED d"ordre plus qurand que 1 (on s"autorisea faire intervenir des d´eriv´ees successives). Ce cas est tr`es important en physique. On verra que,
de notre point de vue, il se distingue `a peine du cas pr´ec´edent.1.1.1 Definitions
Une ´equation differentielle lin´eaire homog`ene du premier ordre surRns"ecrit ouRn,intervalle deRet o`u() est une matrice carr´ee de tailledont les coefficients sont des fonctions de. L"´ecrire ainsi est important, plutot que sous la forme()+()= 0, vu que dans ce cas, les endroits oun"est pas inversible posent de gros probl`emes. Quand elle est ecrite sousla forme donn´ee en d´efinition on dit qu"elle est sous forme r´esolue (ce qui est un vocabulaire
d´elib´er´ement optimiste, n"est-ce pas). Une ´equation differentielle lin´eaire du premier ordre surRn(plus forcement homog`ene, s"ecrit avec les memes objets, et:Rn(vu comme espace de vecteurs colonnes) continue. On appellele "second membre". Le probleme de Cauchy associ´e a l"equadiff est le probleme de trouver une solution associ´ee `a une condition initiale pour(0). Quand() est independant deon dit que l"equadiff est a coeff constants. 101.1.2 Le probl`eme de l"ordre
Pourquoi considerer ces syst`emes : parfois la quantit´e `a ´etudier vis dans un espace de grande
dim (l"espace des paramatres possibles pour tel objet...) Parfois on a une seule quantit´e, mais une equadiff du genre On se ramene a un systeme comme plus haut. (l"ecrire explicitement)Plus g´en´eralement
Proposition 1.1.1L"espace des solutions de
(n)+n1(n1++1+0= est exactement l"espace des fonctions qui sont premier coefficient d"une solution de =()+0 0 pour () =0 1 000 0 10
....0 1... ?0?1 ?n1 Preuve : On prend une application(), et on regarde son premier coeff qu"on appelle0() ou(). On ecrit que si() est solution, il verifie l"equation, on ecrit le produit matriciel : i=(i)0et la derniere ligne donne l"equation scalaire de d´epart pour0. Reciproquement si
est solution de l"equation scalaire, le vecteur des d´eriv´ees successives deest solution de l"equation matricielle. 11 En pratique, pour retrouver la matrice, `a partir de(n)+n1(n1++1+0=, la methode consiste a introduire des fonctions auxiliaires2=3==2etc. Et ensuite on peut ordonner en produit. Explicitement pour= 2 ... En exercice pour= 3.1.1.3 Cas des coefficients constants, et exponentielle de matrice
On muni l"espace des matrices d"une norme d"algebre (c"est `a dire verifiant ).Par exemple la norme d"operateur (rappel).
Rappel, toutes les normes d"un ev fini sont equivalentes (rappel dedef). En particulier, nous avons une autre norme (d"ev, pas d"alg`ebre!) qui est le sup des des coeff. Lemme 1.1.1Supposons qu"une suite de fonctions de`a valeur dans un espace de matrices converge uniformement surpour la norme d"operateur. Alors c"est encore vrai pour .Imm´ediat par ´equivalence des normes.
Rappel :th´eor`eme de d´erivation des suites (ou s´eries) de fonctions.Si une suite de fonctions
n:Rconverge simplement sur un segmentvers, et sinest d´erivable, et que la suite des d´eriv´eesnconverge uniform´ement sur l"intervallevers, alorsest d´erivable sur et sa d´eriv´ee est. Ce r´esultat est classiquement vu pour des fonctions deRdansR. On voit meme peut etre des versions qui sont plus fortes. Dans le cas de fonctions `a valeurs dans un ev de dim finie, la remarque(Lemme) sur l"equivalence des normes, nous permet de nous ramener aux coordonn´ees et donc cet ´enonc´e est encore vrai. Rappellons l"exponentielle de matrice probablement d´ej`a rencontr´ee : A= n=01 !n La serie converge (la convergence est normale : pour la norme d"operateur, on majore la norme du reste par la somme des normes, ce qui fait de la suite des reste une suite de Cauchy.).Introduisons un parametre.
12 (tt0)A= n=01!(?0)nn A nouveau la convergence de cette serie de fonction est normale sur tout segment. Regardons la suite des sommes partielles, d´eriv´ees k=k n=01 !(?0)n1n= k n=11?1!(?0)n1n1 k1 n=01!(?0)nn qui est la somme partielle de la s´erie n=01 !(?0)nn La convergence est aussi normale sur tout segment et la limite est(tt0)A. On peut donc appliquer le th´eor`eme de d´erivation.Il vient
(tt0)A=(tt0)A ou encore (tt0)A0=(tt0)A0 pour tout vecteur0.Ainsi, dans le cas d"une ´equation diff´erentielle `a coefficients constants (est constante), la
fonction vectorielle () =(tt0)A0 est une solution au probl`eme de Cauchy en (00). Pour calculer l"exponentielle de matrices, il est judicieux de trouver une base dans laquelle elle a une forme simple.Par exemple, siest diagonalisable,
=1 13 A= n=01!n= n=01!(1)n= n=01!n1= n=01!n 1=D1 L"exponentielle d"une matrice diagonaleest par ailleurs exactement la matrice diagonale dont les coefficients sont les exponentielles des coefficients de. Remarque.Ce genre de consid´eration vaut encore lorsque() est `e coefficients variables, continus, et que(+) commute avec().Ecrivons alors plutot() =t
t0()et() =B(t)et essayons de d´eriver.
Il vient dans la somme parielle :k() =kn=01
n!n() que l"on d´erive : k() =k n=11 ?1!n1()() (formle valable sous condition (!) en effet lorsqu"on ecrit la d´efinition, on doit prendre la limite de (+)n?()n =(() +() +())n?()n=(()n+()()n1+(2)?()n si la formule du binome est valide... ) Ainsi k() =()k n=11 ?1!n1() Si l"on supposecontinue la convergence normale est assur´ee, et on peut conclure comme avant. Remarque.En revanche, en g´en´eral, on ne peut pas r´esoudre une equadiff"par quadrature" c"est a dire en calculant un nb fini d"integrales. (a rapporcher du faitque, d"apres Galois, on ne peut pas en g´en´eral ecrire les solutions d"une equation polynomile par radicaux).1.2 Le th´eor`eme de Cauchy-Lipschitz, en lin´eaire
1.2.1 Pr´eliminaire : Th´eor`eme de point fixe de Picard
[Lau, I-2 (5-6)] 14 Espace m´etrique : notion de distance. Exemple, dansRnla distance issue de la norme Euclidienne. Rappel : espace complet - suite de Cauchy.Rest complet.Qne l"est pas.
On dit qu"une application:est contractante pour une certaine metriquesur , si0 1, tel que()(). Th´eor`eme 1.2.1Soit()un espace m´etrique complet non vide, et:une appli- cation contractante. Alorsa un point fixe unique. L"unicit´e est facile. Pour l"existence, on montre que la suite des iteres deest de Cauchy, et on montre que le point limite est bien fix´e, par continuit´e deen ce point. Corollaire 1.2.1Soit()un espace m´etrique complet non vide, et:une appli- cation. Si un iter´erdeest contractante, alorsa un point fixe unique. En effet, si0est le point fixe der,(0) serait aussi point fixe der, on conclu par unicit´e. L"unicit´e d´ecoule de celle pourr.1.2.2 Th´eor`eme de Cauchy Lipshitz lin´eaire
[Lau, I-3 (1-4)] Th´eor`eme 1.2.2On supposecontinue sur un intervalle(`a valeurs dans(R)). Alors, pour tout0, et0R, il existe une unique solution du probl`eme de Cauchy en (00)pour l"´equation=(), qui soit de classe1et d´efinie sur. Commentaires : 1 - en particulier ce th´eor`eme dit que les solutions maximales d"une EDLH sont d´efinies surtout entier.2 - Il suffit de montrer le th´eor`eme pourintervalle ferm´e born´e (un segment quoi).
En effet, si le r´esultat est faux, il existe1tel que deux solutions au pb de Cauchy different en1, ou bien qu"une solution maximale au pb de Cauchy n"est pas d´efinie en1. Dans les deux
cas, cela falsifie l"´enonc´e sur [01]. Quitte a faire un reparametrafe (affine) on peut supposer
que le segment en question est [01]. 153 - On va chercher la solution sous la forme Γ() =0+() avec: [01]Rnde classe
1prenant la valeur(0) = 0. Dans ces circonstnaces, Γ est solution si et seulement siest
solution de t 0 ()(0+())[01]D´emonstration du th´eor`eme.
On va montrer que l"´equation sura une unique solution continue (et elle est forcement de classe1dans ce cas). On introduit l"espace vectoriel Λ([01]Rn) des chemins continus: [01]Rn partant de 0 ((0) = 0). On le munit de la norme= supt()(la norme est celle disons Euclidienne deRn). C"est la norme de la convergence uniforme, et cela en fait un espace complet. Rappellons que pour chaque,() est la matrice d"un endomorphisme deRnet que ()= supx=0()= supx=1(), qui est toujours fini en dimension finie. Le fait que: [01](Rn) soit continue se traduit imm´ediatement par le fait que ()est continue (de [01] dansR) et que donc elle y atteint son sup (notons= max t[0,1]()).On consid`ere: ΛΛ d´efini par
t 0 ()(0+()) On aura trouv´e une solution si on trouvetel que=.Voici le point crucial :
Lemme 1.2.1Il existe un entier1tel quemest une contraction pour . Si on ´etabli le Lemme, la conclusion de la d´emonstration du th´eor`eme est limpide : leth´eor`eme de Picard s"applique, et donne un point fixe, pr´ecis´ement ce qu"il nous fallait.
On doit donc montrer le Lemme.
D´emonstration du lemme.
16Prenons12et calculons
1()?2() =
t 0 ()(1()?2())Majorons la norme par l"integrale de la norme.
1()?2()
t 0 ()(1()?2()) t 0 ()(1()?2()) t 0 (1()?2())C"est donc
(1?2) Si 1 cela nous donnerait imm ´ediatement queest une contraction... Mais ce n"est pas forcement le cas.On doit donc essayer la mˆeme chose avecm.
Affirmation : pour tout
m1()?m2()(=(m1?m2)())mm !(1?2) A nouveau si c"est vrai cela nous sort d"affaire, puisque ´etant vraie pour toutcette relation devient, en prenant le(1) maximisant le cˆot´e droit : m1?m2m !(1?2)Il suffit de remarquer que
Km m!0 si pour conclure quemest contractante siest assez grand.L"affirmation elle se d´emontre par r´ecurence. On a d´ej`a fait le premier pas= 1. Il reste
le pas de r´ecurrence `a faire, il est identique au premier pas en r´ealit´e.1.3 La R´esolvante
1.3.1 Structure de l"espace de solutions
[Lau, I-3 (5-6)] 17On reprend
(est une application continue associant `aun endomorphisme deRnetRn- si nos ´el´ements deRnsont par convention des vecteurs colonnes,() est une matrice) et on s"interesse `a l"espacede toutes les solutions maximales (c"est `a dire d´efinies surtout entier.Soit0fix´e.
On d´efini
t0:Rn de la mani`ere suivante : `a un vecteur0l"applicationt0associe l"unique solution au probleme de Cauchy de donn´ee initiale (00). Ainsit0(), et (t0())(0) =, et(t0())()=()(t0())(). (dessin dans R2, trajectoire)
Proposition 1.3.1L"espaceest un espace vectoriel.
L"applicationt0est une application lin´eaire deRndansqui est un isomorphisme. Commentaire : en particulierest de dimension finie =. Preuve : on bascule sur l"equation verifi´ee par les... Sachant queest un espace vectoriel, l"application "valeur en0" est clairement une appli- cation lin´eaire qui est inverse det0. Munissons nous maintenant de deux temps12. On d´efini `a pr´esent t1t0:RnRn comme ´etantt1t0=1t 1t0.Cela a bien un sens. (dessin dansR2, trajectoire)
Signification det1t0: on part d"un vecteur, on prend la solution qui vaut ceen0, onregarde ce qu"elle vaut en1, et c"est pr´ecis´ement ce qu"on appelle et1t0(). C"est comme si on
laisser "couler" l"equadiff entre les temps0et1, `a partir de la valeur.Terminologie : la famille des applicationtt
0forme la r´esolvante de l"equadiff en0. Connaitre
18cette r´esolvante, c"est connaitre les solutions en n"importe quelle valeurs de, ´etant donn´ee la
valeur initiale en0. En d´efinitive, c"est connaitre les solutions maximales. Un certain nombre de regles de calcul sont imm´ediates. t2t1t1t0=t2t0;tt=; tt0=()tt
0Aussi la-`eme colonne de la r´esolvantett
0est exactement la solultion maximale a donn´ee
initiale0ipourile-`eme vecteur de la base canonique. Exempledans le cas de coefficients constants (matriceconstante), la r´esolvante vaut tt0=(tt0)A
[Lau, I-3 (7-8)]1.3.2 Comportement du Wronskien, Th´eor`eme de Liouville
[Lau, I-3 (9-10)] Mˆeme si calculer la r´esolvante explicitement en terme de fonctions"simples" peut ˆetre impossible, on peut calculer son d´eterminant.Notonst0() = det(tt
o). On l"appelle le Wronskien de l"equadiff (en0).Th´eor`eme 1.3.1(Liouville)
Le Wronskien est solution de l"equadiff scalaire
= (trace()) de condition initiale(0) = 1.Autrement dit
t0() =? t t0traceA(s)ds En particulier, on retrouve que le d´eterminant ne s"annulle jamais (c"est `a dire que la r´esolvante reste inversible).D´emonstration du th´eor`eme.
19On considere la base canonique deRn, not´ee.
On "rappelle" l"identit´e suivante.
idet(1i1(i)i+1n) = (traceA)det(1n)Elle peut en fait s"´etablir de la mani`ere suivante : elle est ´evidentepour les matrices diago-
nales. Elle est donc aussi vrai pour les diagonalisables. Les membresde gauches et de droites sont continus sur l"espace des matrices. On conclu par densit´e desmatrices diagonalisables. Prenons l"identit´e avec des vecteursj=i(). En pr´eliminaire, on a : det(1()n()) = idet(1()i1()i()i+1()n()) (Tout d´evelopper avec la formule du d´eterminant, et d´eriver lesproduits) Maintenant, si notre choix dei() se place suri() =tt0(i), on ad
dti() =()i(), et on voit apparaitre le lien avec l"identit´e de la trace.On reporte :
dettt0= (traceA)det(1()n()) = (traceA)dettt
0C"est une equation diff´erentielle lin´eaire d"ordre 1, le th´eor`eme d´ecoule de sa r´esolution.
Commentaires
En interpr´etant le d´eterminant comme un volume, on obtient l"id´eesuivante. Si un domainedeRnest soumis `a l"´equation d"´evolutiont=tt0() la formule de
changement de variable dans les integrales multiples donne : volt= dettt 0vol En particulier, si() est de trace identiquement nulle, alors le volume est constant. 201.4 Equations non-homog`enes1.4.1 Variation de la constante
[Lau, I-3 (11)] On consid`ere maintenant des ´equations de la formequotesdbs_dbs12.pdfusesText_18[PDF] Leçon n° 1 Espaces et paysages de l'urbanisation géographie des
[PDF] Apprendre l'espagnol - don Quijote Spanish school
[PDF] Tanger - Université Abdelmalek Essaâdi - Ormva-Tadla
[PDF] Analyse 1re annee - Cours et exercices avec solutions PDF
[PDF] Support de cours Exercices - Gestion de Stock
[PDF] Exercices et Contrôles Corrigés de Mécanique Analytique - CERN
[PDF] EXERCICES DAPPLICATIONS TOPOGRAPHIE
[PDF] Introduction à la comptabilité publique - Orsys
[PDF] ateliers de formation technicien de maintenance informatique
[PDF] Exercices résolus de Chimie Physique - 3ème édition - Campus
[PDF] cours intensif en réassurance - African reinsurance brokers
[PDF] Chapitre III : Fiabilité et tolérance aux pannes
[PDF] Cours et problèmes délectronique numérique 124 exercices avec
[PDF] ETHOLOGIE