# Formule de Liouville

En mathématique, la formule de Liouville (parfois appelée théorème de Liouville ou bien formule/théorème de Jacobi-Liouvilleou encore identité d'Abel) donne l'expression du wronskien d'un système d'équations différentielles linéaires du premier ordre $Y'=AY$, c'est-à-dire le déterminant d'une famille de solutions.
La formule est nommée d'après le mathématicien français Joseph Liouville.

## Énoncé du théorème

Soit $I$ un intervalle réel et $t\longmapsto A(t)\ \in M_{n}(\mathbb {R} )$ une fonction de $I$ vers les matrices carrées de dimension n. On considère le système d'équations différentielles homogènes du premier ordre
    $Y'(t)=A(t)\cdot Y(t),\qquad \forall \ t\in I\qquad (1)$
où l'inconnue est une fonction $t\longmapsto Y(t)\ \in \mathbb {R} ^{n}$ de $I$ à valeurs vectorielles. Si l'on a n solutions ${\biglY_{1},\cdots ,Y_{n}{\bigr )}$ de (1), on peut considérer la « solution matricielle » Φ dont la $i$-ème colonne est $Y_{i}$ pour $i=1,\cdots ,n$. Elle satisfait naturellement la même équation
    $\Phi '(t)=A(t)\cdot \Phi (t),\qquad \forall \ t\in I\qquad (2)$
Le wronskien est le déterminant de cette matrice, c.-à-d. $W(t):=\det \Phi (t)$.
Si la trace $\mathrm {tr} (A)$ est une fonction continue de t alors
    $W(t)=W(t_{0})\,\exp {\biggl\int _{t_{0}}^{t}\mathrm {tr} \,A(s)\,{\textrm {d}}s{\biggr )},\qquad \forall \ t,t_{0}\in I\qquad (3)$
De manière équivalente, si l'on introduit l'application résolvante $R(t,t_{0})\in M_{n}(\mathbb {R} )$ qui envoie la valeur d'une solution au temps t$_0$ à sa valeur au temps t, c.-à-d. $Y(t)=R(t,t_{0})\cdot Y(t_{0}),\ \forall \ Y$ solution de (1), on obtient
       $\det R(t,t_{0})=\exp {\biggl\int _{t_{0}}^{t}\mathrm {tr} \,A(s)\,{\textrm {d}}s{\biggr )},\qquad \forall \ t,t_{0}\in I$
L'idée est de calculer la dérivée du wronskien et de résoudre l'équation différentielle que l'on obtient.
Rappelons que le déterminant de Φ est une somme de produit de ces coefficients, $\det(\Phi ):=\sum _{\sigma \in {\mathfrak {S}}_{n}}\varepsilon (\sigma )\prod _{i=1}^{n}\Phi _{\sigma (i),i}$. Chaque terme $\varepsilon (\sigma )\prod _{i=1}^{n}\Phi _{\sigma (i),i}$ (c.-à-d. pour une permutation $\sigma$ donnée) contient précisément un seul coefficient de toute ligne ou colonne. En appliquant les règles de dérivation d'une somme et d'un produit de fonctions, on obtient une somme contenant beaucoup plus de termes, mais chacune avec seulement un seul facteur dérivé $\Phi _{i,j}'$. En regroupant tous ceux qui contient un coefficient $\Phi _{i,*}'$ d'une même ligne, on obtient
$(\det \Phi )'=\sum _{i=1}^{n}\det {\begin{pmatrix}\Phi _{1,1}&\Phi _{1,2}&\cdots &\Phi _{1,n}\\\vdots &\vdots &&\vdots \\\Phi '_{i,1}&\Phi '_{i,2}&\cdots &\Phi '_{i,n}\\\vdots &\vdots &&\vdots \\\Phi _{n,1}&\Phi _{n,2}&\cdots &\Phi _{n,n}\end{pmatrix}}\qquad (a)$
(C'est la formule de dérivation d'une application du type $t\mapsto m{\bigl_{1}(t),l_{2}(t),\cdots ,l_{n}(t){\big )}$ où m est une fonction linéaire en chaque ligne l$_i$). En utilisant maintenant (2), ou simplement la ligne i de cette égalité de matrices
       $(\Phi '_{i,1},\dots ,\Phi '_{i,n})=\sum _{k=1}^{n}a_{i,k}(\Phi _{k,1},\ldots ,\Phi _{k,n})\quad \Longleftrightarrow \quad (\Phi '_{i,1},\dots ,\Phi '_{i,n})-\sum _{\scriptstyle k=1 \atop \scriptstyle k\neq i}^{n}a_{i,k}(\Phi _{k,1},\ldots ,\Phi _{k,n})=a_{i,i}(\Phi _{i,1},\ldots ,\Phi _{i,n})$.
Ainsi en soustrayant à la ligne i la combinaison linéaire $\sum _{\scriptstyle k=1 \atop \scriptstyle k\neq i}^{n}a_{i,k}(\Phi _{k,1},\ldots ,\Phi _{k,n})$ de toutes les autres lignes, opération qui ne change pas le déterminant, on obtient
$\det {\begin{pmatrix}\Phi _{1,1}&\Phi _{1,2}&\cdots &\Phi _{1,n}\\\vdots &\vdots &&\vdots \\\Phi '_{i,1}&\Phi '_{i,2}&\cdots &\Phi '_{i,n}\\\vdots &\vdots &&\vdots \\\Phi _{n,1}&\Phi _{n,2}&\cdots &\Phi _{n,n}\end{pmatrix}}=\det {\begin{pmatrix}\Phi _{1,1}&\Phi _{1,2}&\cdots &\Phi _{1,n}\\\vdots &\vdots &&\vdots \\a_{i,i}\Phi _{i,1}&a_{i,i}\Phi _{i,2}&\cdots &a_{i,i}\Phi _{i,n}\\\vdots &\vdots &&\vdots \\\Phi _{n,1}&\Phi _{n,2}&\cdots &\Phi _{n,n}\end{pmatrix}}=a_{i,i}\det \Phi$
En insérant dans (a), on a
$(\det \Phi )'=\sum _{i=1}^{n}a_{i,i}\det \Phi =\mathrm {tr} \,A\,\det \Phi \quad \Longleftrightarrow \quad W'(t)=\mathrm {tr} \,A\,(t)\,W(t)\qquad (b)$
C'est une équation différentielle ordinaire linéaire homogène du premier ordre sur le wronskien dont (3) est la solution.
Une autre démonstration, qui utilise la différentielle du déterminant, est présentée dans l'article Wronskien.

## Applications

Lorsqu'on a déjà n – 1 solutions linéairement indépendantes de (1), on peut utiliser le wronskien pour déterminer une n-ième solution linéairement indépendante des n – 1 premières.