Dependencia lineal e Independencia lineal.

Wronskiano

Un conjunto de funciones

f 1( x) , f 2( x ) , f n( x)

es linealmente dependiente en

un intervalo I si existen constantes

c 1 , c 2 c n ; NO todas cero, tales que:

c 1 f 1 ( x ) + c 2 f 2 ( x ) + , + c n f n ( x )= 0
para toda x en el intervalo. Si el conjunto de funciones no es linealmente dependiente en el intervalo, se dice que es linealmente independiente.

En otras palabra, un conjunto de funciones es linealmente independiente en un intervalo I si las nicas constantes para las que

c 1 f 1 ( x ) + c 2 f 2 ( x ) + , + c n f n ( x )= 0
para toda x en el intervalo son:

c 1 = c 2= c n =0

Es fcil entender estas definiciones para un conjunto que consiste en dos funciones

f 1 ( x ) y f 2 ( x ) . Si el conjunto de funciones es linealmente c1 y c 2

en el que no son intervalo,

dependiente en un intervalo, entonces existen constantes ambas cero de manera tal que, para toda x

c 1 f 1 ( x ) + c 2 f 2 ( x )= 0 . Por consiguiente, si se supone que

que

c 1 0 , se deduce

f 1 ( x )=(

c2 ) f 2(x) ; c1

es decir: si un conjunto de dos funciones es

linealmente dependiente, entonces una funcin es simplemente un mltiplo constante de otro. A la inversa; si

f 1 ( x )= c 2 f 2 ( x )

para alguna constante

c 2 , entonces (-1).

f 1 ( x ) + c 2 f 2 ( x )= 0

para toda x en el intervalo. Por consiguiente, el conjunto

de funciones es linealmente dependiente porque al menos una de las constantes (a saber,

c 1 =1 ) no es cero. Se concluye que un conjunto de dos

funciones

f 1( x) y f 2( x)

es linealmente independiente cuando ninguna

funcin es un mltiplo constante de la otra en el intervalo. Ejemplo.- El conjunto de funciones

f 1 ( x )= sen2x , f 1( x)

f 2 ( x ) = senx cosx , es

linealmente dependiente en (-,) porque

es un mltiplo constante de

f 2( x) .
Recuerda de la equivalencia trigonomtrica donde el doble de un ngulo para el seno dice que sen2x=2senx cosx. Por otro lado, el conjunto de funciones

f 1 ( x )= x ,

f 2 ( x ) = IxI

es linealmente independiente en (-,). En la figura

se ilustra como ninguna funcin es un mltiplo constante de la otra en el intervalo.

Se deduce del anlisis anterior que el cociente en un intervalo en el que el conjunto

f 2( x) f 1(x)

no es una constante

f 1( x) ,

f 2( x)

es linealmente

independiente, este hecho poco significativo se usa a continuacin: Ejemplo: Conjunto de funciones con dependencia lineal El conjunto de funciones

f 1 ( x )= cos 2 x ,

f 2 ( x ) = sen 2 x ;

f 3 ( x )= sec 2 x , , 2 2
porque.

f 4 ( x ) = tan 2 x ; es linealmente dependiente en el intervalo ( c 1 cos 2 x + c 2 sen 2 x + c 3 sec 2 x + c 4 tan 2 x = 0

donde

c 1 = c 2= 1 ,

c 3 =1 ;

c 4= 1 .

Usando

las

identidades

trigonomtricas

cos 2 x + sen2 x =1

1 + tan 2 x = sec 2 x

Un conjunto de funciones

f 1( x) , f 2( x ) , f n( x)

es linealmente dependiente

en un intervalo si por lo menos una funcin se puede expresar como una funcin lineal de las funciones restantes. Ejemplo: Conjunto de funciones linealmente dependiente El conjunto de funciones

f 1 ( x )= x + 5

f 2 ( x ) = x +5x

f 3 ( x )= x 1 , f 2( x)

f 4 ( x ) = x2

es linealmente dependiente en el intervalo (0,) porque

Puede escribirse como una combinacin lineal de Observa que:

f 1( x) , f 3( x ) , f 4( x) .

f 2 ( x ) =1. f 1 ( x ) + 5. f 3 ( x ) + 0. f 4 ( x )
para toda x en el intervalo (0, ) Se tiene inters sobre todo en funciones linealmente independientes o, con mas precisin soluciones linealmente independientes de una ecuacin diferencial lineal. Aunque se podra apelar siempre en forma directa a la definicin de arriba resulta una cuestin de si el conjunto de n soluciones

y 1 + y 2 + + y n

de una ecuacin diferencial lineal homognea de n-simo

orden es linealmente independiente se puede establecer en forma un poco mecnica mediante un determinante: Definicin.- WRONSKIANO Suponga que cada una de las funciones n-1 derivadas. El determinante:

f 1( x) , f 2( x ) , f n( x)

posee al menos

f1 f 1 W ( f 1 ( x ) , f 2 ( x ) , f n ( x ) )= f (1n 1)

f2 f '2 f (2n 1)

fn f 'n

n1 ) f( 3

donde las primas denotan derivadas, se llama wronskiano de las funciones

Teorema 4.3.- Criterio para soluciones linealmente independientes

Sean

y1 , y2 , , y n

n soluciones de la ecuacin diferencial homognea de n-

simo orden en el intervalo I. El conjunto de soluciones es linealmente independiente en I si y solo si el intervalo Se deduce del teorema anterior que cuando de

W ( f 1 ( x ) , f 2 ( x ) , f n ( x )) 0

para toda x en

y1 , y2 , , y n

son n soluciones

en un intervalo wronskiano W(

y1 , y2 , , y n

es igual a Cero o nunca toma este valor en el intervalo.

A un conjunto de n soluciones linealmente independiente de una ecuacin diferencial lineal homognea de n-simo orden se le da un nombre especial.

Definicin: Conjunto Fundamental de Soluciones Cualquier conjunto

y1 , y2 , , y n

de

soluciones

linealmente

independientes de la ecuacin diferencial lineal homognea de n-simo orden (ecuacin anterior) en un intervalo I es un conjunto fundamental de soluciones en ese intervalo.

La cuestin bsica de si existe un conjunto fundamental de soluciones para una ecuacin lineal se contesta a continuacin:

Teorema 4.4.- Existencia de un conjunto fundamental Existe un conjunto fundamental de soluciones para la ecuacin diferencial lineal homognea de n-simo orden en un intervalo I Anlogo al hecho de que cualquier vector de tres dimensiones se puede expresar como una combinacin lineal de los vectores linealmente independientes i,j,k cualquier solucin de la ecuacin diferencial lineal homognea de n-simo orden en un intervalo I se expresa como una combinacin lineal de n soluciones linealmente independientes en I. En

otras palabras, n soluciones linealmente independientes los bloques bsicos para la solucin general de la ecuacin.

y1 , y2 , , y n

son

Ecuaciones diferenciales con aplicaciones de modelado 8. Ed. Dennis G. Zill