Wronskiano

En matemática, el wronskiano es una función llamada así por el matemático polaco Józef Hoene-Wroński, especialmente importante en el estudio de las ecuaciones diferenciales ordinarias.

Dado un conjunto de n funciones, f₁, ..., f_n, el wronskiano W(f₁, ..., f_n) está dado por:

$W(f_1, \ldots, f_n) = \begin{vmatrix} f_1 & f_2 & \cdots & f_n \\ f_1' & f_2' & \cdots & f_n' \\ \vdots & \vdots & \ddots & \vdots \\ f_1^{(n-1)} & f_2^{(n-1)} & \cdots & f_n^{(n-1)} \end{vmatrix}$

El wronskiano es el determinante de la matriz construida al colocar las funciones en el primer renglón (o fila), la primera derivada de cada función en el segundo renglón, y así hasta la derivada n-1, formando así una matriz cuadrada, algunas veces llamada matriz fundamental.

En una ecuación diferencial lineal de segundo orden, el wronskiano puede ser calculado por computadora más fácilmente por la identidad de Abel.

El wronskiano y dependencia lineal

El wronskiano puede usarse para determinar si un conjunto de funciones es linealmente independiente en un intervalo dado:

• Si el wronskiano es distinto de cero en algún punto de un intervalo, entonces las funciones asociadas son linealmente independientes en el intervalo.

Esto es útil en muchas situaciones. Por ejemplo, si queremos verificar si dos soluciones de una ecuación diferencial de segundo orden son independientes, quizás podamos usar el wronskiano. Note que si el wronskiano es cero uniformemente sobre el intervalo, las funciones pueden ser o no ser linealmente independientes.

• Si un conjunto de funciones es linealmente dependiente en un intervalo, esto implica obligatoriamente que el wronskiano correspondiente es uniformemente cero en el intervalo, pero lo segundo no implica lo primero.

Una malinterpretación común (desafortunadamente promulgada en muchos textos) es que si W = 0 en cualquier lugar, implica una dependencia lineal - lo que es incorrecto. Sin embargo si f₁,...,f_n son funciones analíticas y W = 0 en todas partes, entonces f₁,...,f_n son linealmente dependientes.

Ejemplos

• Considere las funciones x², x, y 1, definidas para un número real x. Obtenga el wronskiano:

$W = \begin{vmatrix} x^2 & x & 1 \\ 2x & 1 & 0 \\ 2 & 0 & 0 \end{vmatrix} = -2.$

Vemos que W no es cero uniforme, así que estas funciones deben ser linealmente independientes.

• Considere las funciones 2x² + 3, x², y 1. Estas funciones son claramente dependientes, ya que 2x² + 3 = 2(x²) + 3(1). Así, el wronskiano debe ser cero, siguiendo un pequeño cálculo:

$W = \begin{vmatrix} 2x^2 + 3 & x^2 & 1 \\ 4x & 2x & 0 \\ 4 & 2 & 0 \end{vmatrix} = 8x-8x = 0.$

• Como se mencionaba anteriormente, si el wronskiano es cero, esto no significa en general que las funciones involucradas son linealmente dependientes. Considerando las funciones x³ y | x³ | ; esto es, el valor absoluto de x³. La segunda función puede ser escrita así:

$|x^3| = \left\{ \begin{matrix} -x^3, & \mathrm{si} \; x < 0 \\ x^3, & \mathrm{si} \; x \geq 0 \end{matrix} \right.$

Uno puede revisar que estas dos funciones son linealmente independientes sobre el conjunto de número reales, sin embargo, su wronskiano parece ser cero:

$W = \left\{ \begin{matrix} \begin{vmatrix} x^3 & -x^3 \\ 3x^2 & -3x^2 \end{vmatrix} = -3x^5 + 3x^5 = 0, & \mathrm{si} \; x < 0 \\ \begin{vmatrix} x^3 & x^3 \\ 3x^2 & 3x^2 \end{vmatrix} = 3x^5 - 3x^5 = 0, & \mathrm{si} \; x \geq 0 \end{matrix} \right.$

Definición abstracta

Hay un sentido en el que el wronskiano de una ecuación diferencial lineal de orden n-ésimo es el producto exterior n-ésimo. Para implementar esa idea uno debe trabajar con algunas formulaciones en las que las ecuaciones diferenciales son suficientemente parecidas a vectores en el espacio: por ejemplo en el lenguaje del fibrado vectorial llevando una conexión.

Comprobación: El wronskiano y dependencia lineal

El teorema es significativamente fácil de probar por medio de su segunda declaración mencionada anteriormente, siendo: Si las funciones son linealmente dependientes sobre el intervalo, entonces lo son también las columnas de la matriz wronskiana asociada (la diferenciación es una operación lineal); consecuentemente, el determinante wronskiano es cero en todos los puntos del intervalo.

Enlaces externos

• More on the Wronskian, Paul's Online Math Notes (Notas Matemáticas en Línea de Paul) (en inglés)