Wronskiano

In matematica, il wronskiano è un determinante introdotto dal matematico polacco Josef Hoene-Wronski diffusamente utilizzato nello studio di equazioni differenziali. Consente frequentemente di mostrare l'indipendenza lineare di un insieme di soluzioni.

Definizione

Il wronskiano di due funzioni differenziabili $f$ e $g$ è $W(f,g)=f{g}^{\prime }-g{f}^{\prime }$. In generale, dato un insieme di n funzioni $f_1,\dots ,f_n$, il wronskiano $W(f_1,\dots ,f_n)$ è definito come:

$W(f_1,\dots ,f_n)(x)=\left|\begin{array}{cccc}{f}_1(x)& f_2(x)& \cdots & f_n(x)\\ {f_1}^{\prime }(x)& {f_2}^{\prime }(x)& \cdots & {f_n}^{\prime }(x)\\ ⋮& ⋮& \ddots & ⋮\\ f_1^{(n-1)}(x)& f_2^{(n-1)}(x)& \cdots & f_n^{(n-1)}(x)\end{array}\right|x\in I$

ovvero come il determinante della matrice quadrata costruita mettendo le funzioni nella prima riga, la derivata prima di ogni funzione nella seconda riga, e così fino alla derivata $n-1$. In una equazione differenziale lineare del secondo ordine, il wronskiano può essere calcolato facilmente con l'identità di Abel.

Indipendenza lineare

Il wronskiano può essere usato per determinare se un insieme di funzioni derivabili è linearmente indipendente su un dato intervallo, in quanto se le funzioni $f_i$ sono linearmente dipendenti allora lo sono anche le loro derivate (essendo la derivata una trasformazione lineare), e dunque le colonne del wronskiano sono linearmente dipendenti.

Se il wronskiano è diverso da zero in almeno un punto dell'intervallo allora le funzioni associate sono linearmente indipendenti nell'intervallo; se sono invece linearmente dipendenti è uguale a zero, tuttavia non è vero il viceversa: se il wronskiano è uniformemente zero nell'intervallo le funzioni possono anche non essere linearmente dipendenti, cioè il fatto che $W=0$ ovunque non implica la dipendenza lineare.

Questo utilizzo del wronskiano è presente in molte situazioni, ad esempio per verificare l'indipendenza lineare di due soluzioni di un'equazione differenziale ordinaria del secondo ordine.

Esempi

• Si considerino le funzioni $f_1(x)=x^2$, $f_2(x)=x$ e $f_3(x)=1$ definite per $x$ numero reale. Calcolando il wronskiano:

$W=\left|\begin{array}{ccc}{x}^2& x& 1\\ 2x& 1& 0\\ 2& 0& 0\end{array}\right|=-2$

si vede che $W$ non è uniformemente nullo, quindi queste funzioni devono essere linearmente indipendenti.

• Si considerino le funzioni $f_1(x)=2x^2+3$, $f_2(x)=x^2$, e $f_3(x)=1$. Queste funzioni sono linearmente dipendenti, infatti $2x^2+3=2(x^2)+3(1)$. Così il wronskiano deve essere zero; come si può verificare nel seguente modo:

$W=\left|\begin{array}{ccc}2x^2+3& x^2& 1\\ 4x& 2x& 0\\ 4& 2& 0\end{array}\right|=8x-8x=0$

• Come detto precedentemente, il fatto che il wronskiano sia nullo non implica in generale che le funzioni considerate siano linearmente dipendenti. Si considerino le funzioni $f_1(x)=x^3$ e $f_2(x)=|x^3|$, con $|\cdot |$ il valore assoluto. La seconda funzione può essere scritta come:

$|x^3|=\{\begin{array}{c}-x^{3}x<0\\ x^{3}x\ge 0\end{array}$

È possibile verificare che queste due funzioni sono linearmente indipendenti nell'insieme dei numeri reali; tuttavia il loro wronskiano è zero:

$W=\{\begin{array}{c}\left|\begin{array}{cc}{x}^3& -x^3\\ 3x^2& -3x^2\end{array}\right|=-3x^5+3x^5=0x<0\\ \left|\begin{array}{cc}{x}^3& x^3\\ 3x^2& 3x^2\end{array}\right|=3x^5-3x^5=0x\ge 0\end{array}$

Bibliografia

• Template:EnT.M. Apostol, Mathematical analysis , Addison-Wesley (1974)
• Template:En P. Hartman, Ordinary differential equations , Birkhäuser (1982)
• Template:Fr G. Peano, "Sur le déterminant Wronskian" Mathesis , 9 (1989) pp. 75–76

Voci correlate

• Determinante
• Indipendenza lineare

Collegamenti esterni

• Template:Collegamenti esterni
• Wronskian determinant, articolo su PlanetMath, con licenza GFDL
• Template:Cita web