El wronskiano

Supngase que cada una de las funciones h(x), h(x), . . . , J,(x) posee n-1 derivadas al menos. El determinante

en donde las primas representan las derivadas, es el wronskiano de las funciones. TEOREMA 4.3 Criterio para soluciones linealmente independientes Sean n soluciones, y1, y2,, yn, de la ecuacin diferencial
ji(x) = 1 fl(X) + 5. fj(X) + 0 . f4(x) (6)

Lineal, homognea y de orden n, en un intervalo 1. Entonces, el conjunto de soluciones es linealmente independiente en I si y solo si Para toda x en el intervalo. De acuerdo con el teorema 4.3, cuando y1, y2,, yn son n soluciones de (6) en un intervalo I, el wronskiano W(y1, ~2, . . ., y,) es idntico a cero o nunca cero en el intervalo. Un conjunto de n soluciones linealmente independientes de una ecuacin diferencial lineal homognea de orden n tiene un nombre especial. DEFINICION 4.3 Conjunto fundamental de soluciones Todo conjunto y1, y2,, y, de n soluciones linealmente independientes de la ecuacin diferencial lineal homognea de orden n, ecuacin (6), en un intervalo 1, se llama conjunta fundamental de soluciones en el intervalo. El asunto bsico de si existe un conjunto fundamental de soluciones de una ecuacin lineal se contesta con el siguiente teorema. TEOREMA 4.4 Existencia de un conjunto fundamental Existe un conjunto fundamental de soluciones de la ecuacin diferencial lineal homognea de orden n, (6), en un intervalo 1. As como cualquier vector en tres dimensiones se puede expresar en forma de una combinacin lineal de los vectores i, j, k, linealmente independientes, toda solucin de una ecuacin diferencial lineal homognea y de orden n, en un intervalo Z, se puede expresar como una combinacin lineal de n soluciones linealmente independientes en Z. En otras palabras, n soluciones linealmente independientes (y1, y2,, yn) son las unidades constructivas bsicas de la solucin general de la ecuacin

TEOREMA 4.5 Solucin general, ecuaciones homogneas Sean y1, y2,, yn, un conjunto fundamental de soluciones de la ecuacin diferencial lineal homognea de orden n, (6), en un intervalo 1. La solucin general de la ecuacin en el intervalo

Donde ci, i= 1, 2,, n son constantes arbitrarias. El teorema 4.5 establece que si Y(x) es cualquier solucin de (6) en el intervalo, siempre se pueden determinar las constantes Cr, C2,, Cn, de tal modo que

A continuacin demostraremos el caso cuando n = 2. DEMOSTRACIN: Sea Y una solucin y sean y1 y y2 soluciones linealmente independientes de a2 y + a1 y + a0 y = 0 en un intervalo 1. Supongamos que x=t es un punto en 1 para el que W(y1(t), y2(t))0. Consideremos, tambin, que Y(r)=K1 y que Y(t) = K2. Si examinamos las ecuaciones

veremos que podemos determinar C1 y C2 en forma nica, siempre que el determinante de los coeficientes satisfaga

Pero este determinante no es ms que el wronskiano evaluado en x=t, y, por hiptesis, W0. Si definimos G(x) = C1y1(x) + C2y2(x), veremos que i) G(x) satisface la ecuacin diferencial porque es una superposicin de dos soluciones conocidas, ii) G(x) satisface las condiciones iniciales

iii)

Y(x) satisface la misma ecuacin lineal y las mismas condiciones iniciales. Como la solucin de este problema lineal de valor inicial es nica (teorema 4. l), entonces Y(x) = G(x), o bien Y(x) = C1y1(x) + C2y2(x).