Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Wronksiano Apunte de Mancilla
Wronksiano Apunte de Mancilla
(1)
es la trivial, es decir, c1 = c2 = = cn = 0.
Observamos que (1) es equivalente a la condicion
c1 f1 (x) + c2 f2 (x) + + cn fn (x) = 0 x I.
Dado un conjunto de funciones {f1 , . . . , fn }, con fi C (n1) (I) para i = 1, . . . , n (observe que
la cantidad de derivadas continuas que se supone tiene cada fi es una menos que la cantidad de
funciones que tiene el conjunto considerado), se define el wronskiano de {f1 , . . . , fn }, mediante
f1 (x)
f2 (x)
fn (x)
f10 (x)
f20 (x)
fn0 (x)
.
.
.
(n1)
f1
(n1)
(x) f2
(n1)
(x) fn
(x)
Por ejemplo, si consideramos las funciones f1 (x) = x, f2 (x) = ex y f3 (x) = ex , tenemos que
x ex ex
W (f1 , f2 , f3 )(x) = det 1 ex ex = 2x x R.
0 ex ex
El siguiente resultado da una condicion suficiente para la independencia lineal de un conjunto
de funciones en terminos del wronskiano de ellas.
Teorema. Supongamos que {f1 , f2 , . . . , fn } es un conjunto de funciones pertenecientes a C n1 (I)
tal que para alg
un x0 I, W (f1 , . . . , fn )(x0 ) 6= 0.
Entonces {f1 , f2 , . . . , fn } es linealmente independiente.
Demostraci
on. Supongamos que para ciertos n
umeros reales c1 , . . . , cn ,
c1 f1 (x) + c2 f2 (x) + + cn fn (x) = 0 x I.
Derivando sucesivamente ambos miembros de la igualdad resulta que para todo x I:
c1 f10 (x) + c2 f20 (x) + + cn fn0 (x) = 0
c1 f100 (x) + c2 f200 (x) + + cn fn00 (x) = 0
..
.. .. .
.
. .
(n1)
(n1)
(n1)
c1 f1
(x) + c2 f2
(x) + + cn fn
(x) = 0
1
f1 (x)
f2 (x)
fn (x)
0
f10 (x)
f2 (x)
fn0 (x)
..
..
..
..
.
.
.
.
(n1)
f1
(n1)
(x) f2
(n1)
(x) fn
(x)
c1
c2
..
.
cn
0
0
..
.
x I.
f1 (x0 )
f2 (x0 )
fn (x0 )
0
c1
0 (x )
0 (x )
f10 (x0 )
f
f
n 0
2 0
c2 0
..
..
..
.. = ..
..
.
. .
.
.
.
(n1)
(n1)
(n1)
0
cn
f1
(x0 ) f2
(x0 ) fn
(x0 )
x I.
x I,
x I.