You are on page 1of 1

Va un esbozo del problema del Wronskiano, página 70.

Problema 0.0.1 Prueba la fórmula de Liouville para el Wronskiano del sistema lineal ẋ = A(t)X.

Demostración Sea Φ : I = [−c, c] ⊂ R ∈ Mn×n (F ), (F = R o C) una solución al sistema lineal


Ẋ = A(t)X, esto es
Φ0 (t) = A(t)Φ(t), t ∈ I.
Rt
Se define el Wronskiano del sistema como W = det(Φ(t)). Mostraremos que W = det(Φ(t0 )) exp( t0 TrAdt).
Supongamos que det(Φ(t0 )) 6= 0 pues de lo contrarı́o se satisfarı́a trivialmente la igualdad. Como Φ(t) es
continua enotnces el determinante de esta es C 1 . Del método de iteraciones de Picard, se tiene que
Z t
Φ(t) = Φ(s) + A(τ )Φ(τ )dτ.
t0

Multiplicamos en la anterior por la matriz inversa de P hi(s); P hi(s)−1 y obtenemos lo siguiente:


Z t
Φ(t) Φ(s)−1 = E + A(τ )Φ(τ ) Φ(s)−1 dτ
t0

con E la matriz identidad.


Φ( + s)Φ(s)−1 . d

Sea  = t − s y B() = Tal matriz satisface que B(0) es la identidad y d B()
= A(s),
=0
por lo que se tendrá que
d
detB() = tr(A(s)).
d =0

Finalmente, como el determinante de un producto es el producto de los determinantes entonces se tiene


lo siguiente
d d
det(B(t)) = (detΦ(t) detΦ(s)−1 ) = Tr(A(s)).
dt dt
*Habiendo tomado las derivadas en los puntos correctos. Ası́, el wronskiano satisface la ecuación diferencial
d
W = W (0)Tr(A(s)).
dt
donde W (0) = det(Φ(0)) lo que permite concluir lo que deséabamos. 

d
Resta probar que si A(t) es una matriz continua en (−, ) y tal que A(0) = E y dt det(A(t)) = tr(A0 )
entonces
d
det(A(t)) = TrA0 .
dt
Se sigue del Teorema de Taylor y el Lemma 2 página 70 del Libro de Mecánica clásica de Arnold, pues si
escribimos
A(t) = E + tA0 + O(t2 )
y det(A(t)) = 1 + tT r(A0 ) + O(t2 ).
Un par de observaciones.
Habrı́a que tener cuidado con evaluar correctamente a la hora de derivar la función Φ por si me equivoqué.
Dado que se trata de un sistema lı́neal, se sabe quién es la función solución en tal caso, de modo que
podrı́n ser explı́citos respecto a algunas de las afirmaciones que se hicieron.
Si tienen más dudas, escrı́banme.

You might also like