Proof of Liouville's Formula
We omit the argument x for brevity. By the Leibniz formula for determinants, the derivative of the determinant of Φ = (Φi, j )i, j ∈ {0,...,n} can be calculated by differentiating one row at a time and taking the sum, i.e.
-
(2)
Since the matrix-valued solution Φ satisfies the equation, we have for every entry of the matrix Φ'
or for the entire row
When we subtract from the i th row the linear combination
of all the other rows, then the value of the determinant remains unchanged, hence
for every i ∈ {1, . . ., n} by the linearity of the determinant with respect to every row. Hence
-
(3)
by (2) and the definition of the trace. It remains to show that this representation of the derivative implies Liouville's formula.
Fix x0 ∈ I. Since the trace of A is assumed to be continuous function on I, it is bounded on every closed and bounded subinterval of I and therefore integrable, hence
is a well defined function. Differentiating both sides, using the product rule, the chain rule, the derivative of the exponential function and the fundamental theorem of calculus, we obtain
due to the derivative in (3). Therefore, g has to be constant on I, because otherwise we would obtain a contradiction to the mean value theorem (applied separately to the real and imaginary part in the complex-valued case). Since g(x0) = det Φ(x0), Liouville's formula follows by solving the definition of g for det Φ(x).
Read more about this topic: Liouville's Formula
Famous quotes containing the words proof of, proof and/or formula:
“From whichever angle one looks at it, the application of racial theories remains a striking proof of the lowered demands of public opinion upon the purity of critical judgment.”
—Johan Huizinga (18721945)
“When children feel good about themselves, its like a snowball rolling downhill. They are continually able to recognize and integrate new proof of their value as they grow and mature.”
—Stephanie Martson (20th century)
“My formula for greatness in human beings is amor fati: that one wants to change nothing, neither forwards, nor backwards, nor in all eternity. Not merely to endure necessity, still less to hide itall idealism is mendacity in the face of necessitybut rather to love it.”
—Friedrich Nietzsche (18441900)