Wronskien

Le wronskien, nommé ainsi en l'honneur de Josef Hoëné-Wronski, est le déterminant d'une famille de solutions d'une équation différentielle linéaire homogène y'=a.y. À l'aide du wronskien, il est possible de déterminer si cette famille constitue une base de l'espace des solutions.

En outre, même sans aucune information sur les solutions, l'équation d'évolution du wronskien est connue. Ceci donne une information quantitative précieuse et offre même une stratégie de résolution pour certaines équations différentielles.

Le wronskien peut être également défini pour des équations différentielles linéaires d'ordre supérieur, puisqu'on peut les ramener à l'ordre 1. Il est notamment très utile à la résolution des équations différentielles linéaires homogènes scalaires d'ordre 2 : y'' = ay' + by + c.

Wronskien pour une équation scalaire d'ordre deux

Soit l'équation différentielle E:y'' = ay' + by, dite équation linéaire homogène scalaire d'ordre 2 sous forme résolue, dans laquelle a,b sont des fonctions continues.

Si x₁ et x₂ sont deux solutions de cette équation, leur wronskien est défini par

Exemple du pendule de longueur variable, sans amortissement.
L'équation est y ' ' = - ( 2 + 0,4 . cos t ) y
En bleu et en rouge sont représentées deux solutions particulières, dans l'espace des phases. L'aire du triangle formé par les deux solutions reste constante au cours du temps

Alors qu'il n'est pas toujours possible d'exhiber une solution explicite de l'équation différentielle E, le wronskien peut être déterminé. Il satisfait l'équation d'évolution: = aW(t)

Il s'agit d'une équation différentielle linéaire d'ordre un. Le wronskien peut donc être calculé à l'aide d'une primitive A de a

W(t) = W₀exp(A(t))

où W₀ est une constante dépendant des conditions initiales.

Le wronskien s'interprète comme une aire dans le plan (y,y') appelé espace des phases par les physiciens. Le terme a dans l'équation différentielle E est qualifié de terme d'amortissement. L'aire du triangle formé par les valeurs de deux solutions reste constante au cours du temps si le terme d'amortissement est nul, elle décroît de façon exponentielle s'il est strictement positif.

Définition générale pour une équation vectorielle

On suppose que E est un espace vectoriel de dimension finie n, I un intervalle de et y'=ay une équation différentielle linéaire homogène sur E, avec a continue de I dans L(E). On note S l'espace solution, qui est un espace vectoriel de dimension n par le théorème de Cauchy-Lipschitz.

Soit y₁,... y_n un système de n solutions de l'équation différentielle. On qualifie ce système de système fondamental de solutions quand il constitue une base de S.

On appelle wronskien de ce système le déterminant

Pour le calculer précisément, il faut spécifier une base de référence.

Par l'isomorphisme de conditions initiales, le wronskien est nul en un point si et seulement si le système de solutions est lié. En conséquence, si le wronskien s'annule en un point, il s'annule en tout point.

Théorème de Liouville

L'équation d'évolution du wronskien est

Le wronskien est donc connu à une constante près

Démonstration

On utilise la différentielle du déterminant donnée sous la forme D_det(A).H = tr(^tCom(A).H) (cf Déterminant), où A et H appartiennent à M_n().

Soit aussi Y la matrice formée des colonnes y₁,y₂,..,y_n de sorte que Y(t)'=a(t)Y(t). On dérive W est on obtient :

W' = (det(Y))' = D_det(Y).Y' = tr(^tCom(Y).Y') = tr(^tCom(Y).a.Y) = tr(a.Y.^tCom(Y)) D'après l'expression de la comatrice on obtient W(t)' = tr(a(t))W(t)

 

Il apparaît notamment que le wronskien est soit toujours nul, soit jamais nul, ce qui confirme les observations du paragraphe précédent.

Connaissant n-1 solutions indépendantes de l'équation, l'expression du wronskien peut être utilisée pour en déterminer une de plus et résoudre complètement l'équation.

Équations scalaires d'ordre n

On s'intéresse à l'équation

où les fonctions a_i sont continues à valeurs réelles (ou complexes).

On sait que cette équation peut être ramenée à une équation du type précédent en prenant pour vecteur inconnu

Le wronskien d'un système de n solutions est alors défini par

Son équation d'évolution est

Référence

François Rouvière, Petit guide de calcul différentiel : à l'usage de la licence et de l'agrégation [détail des éditions] 

• Portail de l'analyse