En matemáticas, la fórmula de Liouville, también conocida como fórmula de Abel-Liouville, es una identidad que expresa el determinante de una matriz cuadrada que soluciona un sistema de ecuaciones diferenciales lineales homogéneas de primer orden en función de la suma de los coeficientes de la diagonal del sistema.
La fórmula debe su nombre al matemático francés Joseph Liouville.
una matriz cuadrada de dimensión
que verifica la siguiente ecuación diferencial homogénea de primer orden: donde
es un intervalo de la recta real y
es una matriz cuadrada de dimensión
con coeficientes reales o complejos.
Entonces, si la traza de
{\displaystyle A(t)}
, se cumple la siguiente relación con el determinante de
i j
como los elementos individuales de las matrices
{\displaystyle A(t)}
Por brevedad se omite la variable
en estas matrices y sus coeficientes.
Por la fórmula de Leibniz para el cálculo de determinantes se cumple que
-ésimo sumando se aplica una combinación lineal sobre su
-ésima fila del resto de sus filas, lo que no altera su valor.
Usando la ecuación diferencial de la hipótesis, que en términos de
i j
i j
se escribe se obtiene la expresión del
-ésimo término de la suma anterior en función del determinante de
j ≠ i
i j
j ≠ i
i j
{\displaystyle \det {\begin{pmatrix}\phi _{11}&\phi _{12}&\cdots &\phi _{1n}\\\vdots &\vdots &&\vdots \\\phi '_{i1}&\phi '_{i2}&\cdots &\phi '_{in}\\\vdots &\vdots &&\vdots \\\phi _{n1}&\phi _{n2}&\cdots &\phi _{nn}\end{pmatrix}}=\det {\begin{pmatrix}\phi _{11}&\phi _{12}&\cdots &\phi _{1n}\\\vdots &\vdots &&\vdots \\\phi '_{i1}-\sum _{\scriptstyle j=1 \atop \scriptstyle j\neq i}^{n}a_{ij}\phi _{j1}&\phi '_{i2}-\sum _{\scriptstyle j=1 \atop \scriptstyle j\neq i}^{n}a_{ij}\phi _{j2}&\cdots &\phi '_{in}-\sum _{\scriptstyle j=1 \atop \scriptstyle j\neq i}^{n}a_{ij}\phi _{jn}\\\vdots &\vdots &&\vdots \\\phi _{n1}&\phi _{n2}&\cdots &\phi _{nn}\end{pmatrix}}=\det {\begin{pmatrix}\phi _{11}&\phi _{12}&\cdots &\phi _{1n}\\\vdots &\vdots &&\vdots \\a_{ii}\phi _{i1}&a_{ii}\phi _{i2}&\cdots &a_{ii}\phi _{in}\\\vdots &\vdots &&\vdots \\\phi _{n1}&\phi _{n2}&\cdots &\phi _{nn}\end{pmatrix}}=a_{ii}\det \Phi .}
Usando esto en la fórmula (1), se obtiene la siguiente ecuación diferencial para el determinante de
: Se trata de una ecuación diferencial ordinaria de primer orden separable, cuya solución es