Équation différentielle/Équation différentielle du deuxième ordre
Une page de Wikiversité.
| Chapitre 6 | |||
| Leçon : Équation différentielle | |||
|---|---|---|---|
| Chap. préc. : | Équation différentielle linéaire du premier ordre | ||
En raison de limitations techniques, la typographie souhaitable du titre, « Équation différentielle : Équation différentielle du deuxième ordre
Équation différentielle/Équation différentielle du deuxième ordre », n'a pu être restituée correctement ci-dessus.
Sommaire |
[modifier] Équation différentielle linéaire du deuxième ordre avec second membre
[modifier] Définition
|
Notations et définitions |
|
On appelle équation différentielle linéaire du second ordre normalisée sur I toute équation de la forme: |
|
Exemple |
|
|
[modifier] Théorème fondamental : Existence et unicité
|
Théorème d'existence et d'unicité |
|
Si t₀ ∈ I et (x₀,x₁) ∈ K², l’équation |
[modifier] Équation homogène, résolution
[modifier] Définition
|
Définition |
|
On appelle Équation homogène associée à l'équation différentielle E normalisée sur I l'équation: |
L'ensemble des solutions de (E0) est un K-espace vectoriel de dimension 2.
Ainsi, on peut déterminer l'ensemble des solutions de (E0) en connaissant 2 solutions particulières linéairement indépendantes.
Toute solution x de (E0) s'écrit alors : 
|
Démonstration de la dimension |
|
Soit S₀ l'ensemble des solutions de (E0), et soit (x(t0),x'(t0)), t₀ un système de conditions initiales. Φ est un isomorphisme (d'après le théorème d'existence et d'unicité, |
[modifier] Le Wronskien
|
Définition |
|
Soient x₀ et x₁ deux fonctions de classe C¹(I,K), on appelle wronskien de ces deux fonctions l'application : |
|
Propriété |
|
Soient x₀ et x₁ deux fonctions solutions de (E0), alors sont équivalentes les propositions suivantes :
|
|
Démonstration |
|
Le principe de cette démonstration est de démontrer l'équivalence de la négation de ces propositions:
|
[modifier] Résolution par changement de fonction, si on connait une solution particulière
Soit x₀ une solution particulière (souvent trouvée visuellement), de classe C2(I,K), ne s'annulant pas sur I, alors pour trouver une seconde solution linéairement indépendante, on réalise le changement de fonction :
, avec z la seconde fonction à trouver, de classe C2.
On a alors :
et 
En reportant dans (E0), on obtient : 
Et comme x₀ est solution de (E0), alors le terme en z s'annule, et il reste à déterminer z solution de :

qui est une équation différentielle linéaire du premier ordre en z' normalisée sur I. On déduit ainsi z en intégrant z'.
[modifier] Équation complète, résolution
|
Théorème |
|
L'ensemble des solutions d'une équation différentielle du second ordre normalisée sur I forme un espace affine |
|
Démonstration |
|
Posons Soit y₀ une solution particulière de (E), on a alors Δ[y0] = c Soit On a donc : |
A présent, on connait 2 solutions particulières x₀ et x₁ de (E0).
On sait que toute solution de (E0) se met sous la forme
; On applique alors la méthode de variation des 2 constantes pour trouver une solution particulière de (E).

, normalisée sur 
, normalisée sur
ou
.



, l'application linéaire qui va de
vers S₀.




, de dimension 2 avec
. ![\Delta [x] = c\,](http://upload.wikimedia.org/math/e/6/a/e6ac8cac3d737c5d9d48dec8966a04ca.png)
, car
On a de plus dim S = dim S₀ = 2, d'où le résultat.