6.5 Solutions de systèmes homogènes

A. Ensemble fondamental de solutions et wronskien

Commençons par étudier le système linéaire homogène

 bb(y)'=Abb(y)(6.5.1)

A est une matrice constante nxxn à éléments réels etbb"y" = bb"0" est la solution triviale du système. Toute autre solution est une solution non triviale.

Théorème. Si bb"y"_1, bb"y"_2, ..., bb"y"_n sont n solutions linéairement indépendantes au système présenté dans la section 6.5.1 et A est continue sur un intervalle ouvert I, alors l’ensemble {bb"y"_1, bb"y"_2, ..., bb"y"_n} est appelé ensemble fondamental de solutions au système sur I.

Comme expliqué à la section 6.2 sur l’indépendance linéaire, les vecteurs bb"y"_1, bb"y"_2, ..., bb"y"_n sont linéairement indépendants si c_1bb"y"_1+c_2bb"y"_2+...+c_nbb"y"_n=0 n’a pour solution que la solution triviale. Ainsi, si

  c_1bb"y"_1+c_2bb"y"_2+...+c_nbb"y"_n=  [[y_11, y_12 ,..., y_(1n)],[y_21,y_22, ..., y_(2n)], [vdots,vdots ,ddots, vdots] ,[y_(n1), y_(n2) , ..., y_(n\n)] ]  [[c_1],[c_2], [vdots] ,[c_n] ]=bb"0"

alors bb"c"=[[c_1],[c_2], [vdots] ,[c_n] ]=bb"0"

Pour que cette solution soit unique, le déterminant de la matrice du coefficient de l’équation dont les colonnes sont les fonctions vectorielles [(bb"y"_1,bb"y"_2, ..., bb"y"_n)] ne doit pas être nul. Le déterminant de la matrice du coefficient de l’équation est appelé wronskien et transcrit W(t).

 W(t)=|bb"y"_1 \ bb"y"_2 \ ... \ bb"y"_n|

Théorème. Si le wronkien W(t) de {bb"y"_1, bb"y"_2, ..., bb"y"_n} n’est pas nul en un point (et donc jamais nul) sur I, alors {bb"y"_1, bb"y"_2, ..., bb"y"_n} est linéairement indépendant, formant un ensemble fondamental de solutions pour le système présenté à la section 6.5.1 sur I. La matrice fondamentale Y(t) du système est

 bb"Y"(t)= [(bb"y"_1,bb"y"_2, ..., bb"y"_n)]= [[y_11, y_12 ,..., y_(1n)],[y_21,y_22, ..., y_(2n)], [vdots,vdots ,ddots, vdots] ,[y_(n1), y_(n2) , ..., y_(n\n)] ]

 

Exemple 6.5.1 : Calculer le wronskien et trouver la solution générale pour une solution de système donnée

Étant donné que les fonctions vectorielles

 bb"y"_1=[(-2),(3)]e^(3t)  et  bb"y"_2=[(-2),(-1)]e^(t)

sont des solutions d’un système à coefficient constant 2xx2, a) calculer le wronkskien de {bb"y"_1, bb"y"_2 } et b) trouver la solution générale du système.

Afficher/Masquer la solution

 

a.
 W(t)=|bb"y"_1 \ \ bb"y"_2| =|(-2e^(3t),-2e^t),(3e^(3t),-e^t)| =2e^(4t)+6e^(4t) =8e^(4t)

b) Comme W(t)!=0, {bb"y"_1, bb"y"_2 } sont linéairement indépendants, l’ensemble est un ensemble fondamental de solutions au système et la matrice suivante est la matrice fondamentale du système.

 Y=[(-2e^(3t),-2e^t),(3e^(3t),-e^t)]

La solution générale est donc

 bb"y"=c_1bb"y"_1+c_2bb"y"_2 =c_1[(-2),(3)]e^(3t) +c_2[(-2),(-1)]e^(t) =[(-2e^(3t),-2e^t),(3e^(3t),-e^t)] [(c_1),(c_2)]

 

Prenons un exemple

 

B. Solutions de systèmes homogènes à coefficients constants

Pour trouver les solutions de systèmes homogènes à coefficients constants, représentés par le système présenté à la section 6.5.1, on applique une approche similaire à celle utilisée pour résoudre des équations différentielles linéaires homogènes à coefficients constants.

À la section 3.2, on a trouvé une solution non triviale de la forme y = e^(rt) pour une équation différentielle linéaire homogène à coefficients constants. La section 6.4 a montré que toute équation différentielle linéaire d’ordre supérieur peut être exprimée comme un système linéaire d’équations différentielles du premier ordre. Par conséquent, il est raisonnable qu’une solution du système indiqué à la section 6.5.1 présente la forme

 mathbf(y) = e^(rt)mathbf(u)(6.5.2)

Ici, r est une constante et mathbf(u) est un vecteur constant. L’étape suivante consiste à remplacer la solution présentée à la section 6.5.2 dans notre système. Ce qui donne

 bb"y"'=Abb"y"

 re^(rt)mathbf(u) = Ae^(rt)mathbf(u)

Après avoir annulé le terme exponentiel e^(rt), on arrive à

 rmathbf(u) = Amathbf(u)

En réarrangeant l’équation, on obtient

 (A - rI)mathbf(u) = 0

C’est l’équation caractéristique utilisée pour trouver les valeurs propres et les vecteurs propres de la matrice A, comme expliqué à la section 6.3. Pour que la solution que nous avons trouvée mathbf(y) = e^(rt)mathbf(u) ne soit pas triviale, r et mathbf(u) doivent correspondre à la valeur propre et au vecteur propre de la matrice A, respectivement.

Ainsi, pour résoudre le système 6.5.1, il faut d’abord trouver les valeurs propres et les vecteurs propres de la matrice coefficient A. La structure de la solution varie selon la nature des valeurs propres, qui peuvent être réelles et distinctes, complexes ou répétées. Chacun de ces scénarios sera exploré dans les sections suivantes.

Section 6.5 Exercices

  1. Étant donné que les fonctions vectorielles

     bb"y"_1=[(-5),(6)]e^(-t)   et   bb"y"_2=[(3),(1)]e^(4t)

    sont des solutions à un système différentiel à coefficients constants 2xx2, calcule le wronskien de {bb"y"_1, bb"y"_2 }. Détermine si les vecteurs sont linéairement indépendants.

    Afficher/Masquer la réponse

    W(t)=-23 e^(3t). Les vecteurs sont linéairement indépendants, car leur wronskien n’est jamais nul pour tout nombre réel t.

  2. Étant donné que les fonctions vectorielles

     bb"y"_1=[(-1),(-1)]e^(4t)  et   bb"y"_2=[(-7),(-2)]e^(-4t)

    sont des solutions à un système différentiel à coefficients constants 2xx2, calcule le wronskien de {bb"y"_1, bb"y"_2 }. Détermine si les vecteurs sont linéairement indépendants.

    Afficher/Masquer la réponse

     W(t)=-5. Les vecteurs sont linéairement indépendants, car leur wronskien n’est pas nul.

Licence

Équations différentielles© par AMIR TAVANGAR. Tous droits réservés.

Partagez ce livre