Vous êtes sur la page 1sur 7

quation diffrentielle linaire

quation diffrentielle linaire


Cet article est une bauche concernant l'analyse. Vous pouvez partager vos connaissances en lamliorant (comment ?) selon les recommandations des projets correspondants.

Une quation diffrentielle linaire est un cas particulier d'quation diffrentielle pour lequel on peut appliquer des procds de superposition de solutions, et exploiter des rsultats d'algbre linaire. De nombreuses quations diffrentielles de la physique vrifient la proprit de linarit. Une quation diffrentielle linaire scalaire se prsente comme une relation entre une ou plusieurs fonctions inconnues et leurs drives, de la forme

sont des fonctions numriques continues.

Une quation diffrentielle linaire vectorielle aura le mme aspect, en remplaant les par des applications linaires (ou souvent des matrices) fonctions de x et b par une fonction de x valeurs vectorielles. Une telle quation sera parfois aussi appele systme diffrentiel linaire. L'ordre de l'quation diffrentielle correspond au degr maximal de diffrentiation auquel une des fonctions inconnues y a t soumise, n dans l'exemple prcdent. Il existe des mthodes gnrales de rsolution pour les quations diffrentielles linaires scalaires d'ordre 1 coefficients variables ou d'ordre n coefficients constants.

Gnralits sur l'quation diffrentielle linaire scalaire


Celle-ci s'crit, sous sa forme la plus gnrale :

quation homogne
Cette quation, appele aussi quation sans second membre, s'crit :

Si on dispose de n intgrales (i.e. : solutions) particulires linairement indpendantes :

en multipliant chaque quation respectivement par les constantes

, la fonction

qui dpend de n constantes arbitraires satisfait l'quation : c'est l'intgrale gnrale de celle-ci.

quation diffrentielle linaire

quation non homogne


Si, cette fonction dpendant de n constantes arbitraires, est ajoute une intgrale particulire de l'quation complte, la somme des deux satisfait l'quation complte : c'est l'intgrale gnrale de l'quation non homogne. Une autre mthode, celle de la variation des constantes, fournit directement (lorsqu'elle est praticable) l'intgrale gnrale.

Cas de l'quation coefficients constants


L'quation s'crit alors :

En cherchant une solution de la forme

, on obtient l'quation caractristique :

Si les racines sont distinctes, cette quation fait apparatre les fonctions indpendantes suffisantes pour dterminer toutes les solutions de l'quation homogne. Une racine relle correspond une exponentielle tandis qu'une paire de racines complexes conjugues se traduit par une exponentielle multiplie par une sinusode. Dans le cas de l'quation complte, il ne reste plus qu' trouver une seule solution de celle-ci. C'est particulirement simple dans le cas important d'un second membre sinusodal ou lorsque celui-ci peut tre dcompos en sommes de sinusodes (voir Analyse spectrale). Pour d'autres types de seconds membres, la transformation de Laplace fournit un certain nombre de solutions.

quation diffrentielle linaire vectorielle


criture gnrale
Soient I intervalle rel et E espace vectoriel norm. Soient n + 1 fonctions a0, a1, an continues sur I valeurs dans (E) et b une fonction continue sur I valeurs dans E. L'quation

est appele quation diffrentielle linaire d'ordre n sur I. Une solution de cette quation est une fonction y de classe Cn de I dans E telle que

Principe de superposition
L'quation homogne E0 associe l'quation Eb ci-dessus est : Toute combinaison linaire de solutions, sur un sous-intervalle J de I, de l'quation homogne E0, est elle aussi solution : l'espace S0 de ces solutions est un sous-espace vectoriel de l'espace des fonctions dfinies sur J. tant donne une solution y de Eb sur J, les autres sont les fonctions de la forme y + z avec z solution arbitraire de E0 sur J : l'espace Sb de ces solutions est un espace affine de direction S0.

quation diffrentielle linaire

criture matricielle
Si E est de dimension finie d, en fixant une base de E, l'quation peut s'crire matriciellement. Soient n + 1 fonctions , ,, continues sur I valeurs dans l'espace des matrices carres Md() et B une fonction continue sur I valeurs dans d :

Forme rsolue
Sur tout intervalle o est constamment inversible, l'quation se rcrit sous forme rsolue (en posant et ):

Rduction 1 de l'ordre
Toute quation diffrentielle (linaire) peut tre vue comme une quation (linaire) d'ordre 1, condition de modifier l'espace vectoriel en consquence. On prend en effet comme nouvel espace vectoriel En, comme nouvelle fonction inconnue le vecteur

L'quation quivalente vrifie par les composantes de Y est

qui est bien une quation diffrentielle d'ordre 1, et qui reste sous forme rsolue si l'quation de dpart l'tait. Par exemple, l'quation diffrentielle linaire d'ordre deux, rsolue et autonome

valeurs dans se transforme en quation du premier ordre valeurs dans 2 : la fonction inconnue de la nouvelle quation diffrentielle est une fonction x v(x) = (y(x), z(x)) de dans 2 et l'quation s'crit :

o g est l'endomorphisme de 2 dfini par g(y, z) = (z, y). Autrement dit :

c'est--dire que la drive de la fonction y est gale z et la drive de z est gale y, ce qui signifie que la drive seconde de y est gale y. La nouvelle quation est bien quivalente l'ancienne.

quation diffrentielle linaire

quation diffrentielle linaire d'ordre 1 sous forme rsolue


L'quation d'ordre 1 sert de rfrence pour toute la thorie, puisque les quations d'ordre suprieur peuvent s'y ramener. La forme rsolue, ou explicite, permet d'avoir de bons rsultats thoriques d'existence et d'unicit.

critures
criture gnrale D'aprs ce qui prcde, une quation diffrentielle linaire d'ordre 1 sous forme rsolue s'crit

criture matricielle Si E est de dimension finie d, en fixant une base de E, l'quation peut s'crire matriciellement, avec une fonction continue sur I valeurs dans l'espace des matrices carres Md() et B une fonction continue sur I valeurs dans d. L'quation devient

criture en composantes L'criture matricielle prend la forme d'un systme

Existence et unicit des solutions


Pour identifier compltement une solution de l'quation on peut imposer des conditions initiales, c'est--dire la valeur y0 de y au point x0. On appelle problme de Cauchy l'ensemble constitu par l'quation diffrentielle Eb et la condition initiale

Le thorme de Cauchy-Lipschitz permet d'affirmer que ce problme de Cauchy admet une solution unique (tandis que les quations du premier ordre sous forme gnrale ay' + by = c non rsolue ne bnficient pas de ce thorme). De plus, par rapport aux quations diffrentielles gnrales, la particularit des quations linaires est que les fonctions solutions sont dfinies sur I entier. Autrement dit, si Sb dsigne l'espace des solutions sur I de l'quation Eb, l'application valeur en x0 :

est bijective. En particulier pour b = 0, c'est donc un isomorphisme d'espaces vectoriels et l'espace vectoriel S0 est de mme dimension que E. Si E est de dimension finie d, rsoudre l'quation homogne revient donc trouver d solutions y1, ..., yd linairement indpendantes, qui formeront alors une base de S0. Une telle base est appele systme fondamental de solutions. L'isomorphisme de Cauchy-Lipschitz a une consquence surprenante : si en un point x, les vecteurs y1(x), , yd(x) sont indpendants, alors en tout autre point x', les vecteurs y1(x'), ..., yd(x') le sont galement. Pour tester si d solutions sont linairement indpendantes, il suffit donc de vrifier si d vecteurs de E sont indpendants. On calcule donc un dterminant adapt : le wronskien.

quation diffrentielle linaire

Utilisations de l'exponentielle pour la rsolution systmatique


L'quation diffrentielle la plus simple est y' = b, qui consiste en un calcul de primitive. Sous certaines hypothses, il est possible de se ramener cette forme par changement de fonction. La rsolution explicite des quations diffrentielles par des formules de quadrature, c'est--dire impliquant les fonctions usuelles et la primitivation, est cependant rarement possible. Les deux cas particuliers qui suivent n'en ont que plus d'importance.

quation diffrentielle linaire scalaire d'ordre 1


Article dtaill : quation diffrentielle linaire d'ordre un. On considre l'quation y' = ay + b dans le cas o E est le corps des rels ou des complexes. Soit A une primitive de la fonction a. Alors le changement de fonction

permet de ramener l'quation diffrentielle un problme de calcul de primitive :

quation diffrentielle linaire d'ordre 1, coefficients constants


L'quation considre est cette fois l'quation vectorielle y' = ay + b, mais avec l'hypothse que a est indpendant de x, d'o l'expression coefficients constants quand on considre le systme associ. Le vecteur b, lui peut tre variable. En faisant appel la notion d'exponentielle d'endomorphisme, le changement de fonction

permet de ramener, l encore, l'quation diffrentielle un problme de calcul de primitive

Pour rsoudre effectivement une telle quation, il est donc ncessaire, outre la primitivation, de faire un calcul d'exponentielle d'endomorphisme, ce qui fait intervenir les techniques de rduction.

Cas gnral : rsolvante


Quand on revient l'quation vectorielle gnrale y' = ay + b, il est tentant de reprendre la formule de changement de fonction (A dsignant une primitive de a)

puisqu'elle fonctionne dans le cas scalaire. Malheureusement, la formule de drivation des exponentielles de matrices ne s'tend pas en gnral ce cas-l. Le seul point sur lequel achoppe la dmonstration est la non-commutation de A(x) et de A'(x), de sorte que si cette condition est ralise pour tout x, la mthode fonctionne et on aboutit au mme rsultat que pour une quation scalaire. Mais cela ne procure pas de mthode gnrale. Il existe toutefois une solution formelle au problme : on note R(x, x0) la solution globale, fournie par le thorme de Cauchy-Lipschitz, du problme de Cauchy valeurs dans (E) :

Autrement dit, la fonction de deux variables associe l'application continue a de I dans (E) est l'application, appele rsolvante[1] :

quation diffrentielle linaire caractrise par :

Elle fournit de ce fait la solution globale de tout problme de Cauchy valeurs dans E de la forme

par

Ceci est une autre caractrisation de R, dont il rsulte que

en particulier chaque R(x, y) est inversible et

On peut d'ailleurs construire R directement sans faire appel au thorme de Cauchy-Lipschitz, par une formule explicite bien que peu utile en pratique :

La rsolvante fournit non seulement les solutions de l'quation homogne y' = ay mais permet encore de ramener l'quation gnrale y' = ay + b un calcul de primitive par changement de fonction : en posant

on obtient en effet

et

Mthode variationnelle
On considre un systme d'quations diffrentielles quelconque du type y' = f(x, y). On considre une solution approche . On dfinit alors . On rsout alors :

On obtient alors l'quation affine suivante:

La matrice

dpend de x et on utilise la mthode dcrite ci-dessus. La convergence est quadratique et donc

l'quation diffrentielle peut tre rsolue de manire exacte gnralement en 3 4 itrations.

Note et rfrence
[1] , p. 210-211

Sources et contributeurs de larticle

Sources et contributeurs de larticle


quation diffrentielle linaire Source: http://fr.wikipedia.org/w/index.php?oldid=90043773 Contributeurs: Aadri, Ambigraphe, Anne Bauval, Bap, Crochet.david, Jct, Jean-Luc W, Karl1263, Malosse, Mm, Peps, Pld, Rmih, Sherbrooke, 11 modifications anonymes

Source des images, licences et contributeurs


Image: F of x.svg Source: http://fr.wikipedia.org/w/index.php?title=Fichier:F_of_x.svg Licence: Public Domain Contributeurs: Madden

Licence
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/