Identità di Abel

In matematica, l'identità di Abel (chiamata anche identità di equazione differenziale di Abel) è un'equazione che esprime il Wronskiano di due soluzioni omogenee di un'equazione differenziale lineare del secondo ordine in termini di coefficienti dell'equazione differenziale originale. L'identità prende il nome dal matematico Niels Henrik Abel.

L'identità di Abel, siccome si riferisce a diverse soluzioni linearmente indipendenti dell'equazione differenziale, può essere usata per trovare una soluzione partendo dall'altra. È molto utile per equazioni come le equazioni di Bessel, dove le soluzioni non hanno una forma analitica, poiché in quei casi il Wronskiano è difficile da calcolare direttamente.

Definizione

Data un'equazione differenziale omogenea ordinaria lineare del secondo ordine:

$\frac{{\text{d}}^{2}y}{\text{d}{x}^2}+P(x)\frac{\text{d}y}{\text{d}x}+Q(x)y=0$

l'identità di Abel può essere scritta come:

$W(x)=W(0)\exp (-\underset{0}{\overset{x}{\int }}P(\xi )\text{d}\xi )$

dove $W(x)$ è il Wronskiano delle due soluzioni linearmente indipendenti dell'equazione differenziale, ovvero il determinante:

$W(y_1,y_2)(x)=\left|\begin{array}{cc}{y}_1(x)& y_2(x)\\ y{\text{'}}_1(x)& y{\text{'}}_2(x)\end{array}\right|=y_1(x)y{\text{'}}_2(x)-y{\text{'}}_1(x)y_2(x)x\in I$

Derivazione

Siano $y_1$ e $y_2$ due soluzioni linearmente indipendenti dell'equazione differenziale:

$y^{″}+P(x)y^{\prime }+Q(x)y=0$

Allora il Wronskiano delle due funzioni è definito come

$W(x)={y_1}^{\prime }{y}_2-y_1{y_2}^{\prime }$

Derivando si ha:

$\begin{array}{cc}{W}^{\prime }(x)& ={y_1}^{″}{y}_2+{y_1}^{\prime }{y_2}^{\prime }-{y_1}^{\prime }{y_2}^{\prime }-{y_2}^{″}{y}_1\\ & ={y_1}^{″}{y}_2-y_1{y_2}^{″}\end{array}$

Considerando l'equazione differenziale originale nella forma:

$y^{″}=-P(x)y^{\prime }-Q(x)y$

Sostituendo il risultato nel Wronskiano si ha:

$\begin{array}{cc}{W}^{\prime }(x)& =(-P(x){y_1}^{\prime }-Q(x)y_1)y_2-y_1(-P(x){y_2}^{\prime }-Q(x)y_2)\\ & =-P(x){y_1}^{\prime }{y}_2-Q(x)y_1{y}_2+P(x)y_1{y_2}^{\prime }+Q(x)y_1{y}_2\\ & =-P(x)({y_1}^{\prime }{y}_2-y_1{y_2}^{\prime })\\ & =-P(x)W(x)\end{array}$

Si tratta di un'equazione differenziale lineare del primo ordine:

$\frac{\text{d}W}{W}=-P(x)\text{d}x$

in modo che integrando:

$\ln \left(\frac{W(x)}{W(0)}\right)=-\underset{0}{\overset{x}{\int }}P(\xi )\text{d}\xi$

si ha, esponenziando, l'identità:

$W(x)=W(0)\exp (-\underset{0}{\overset{x}{\int }}P(\xi )\text{d}\xi )$

Generalizzazione

Data un'equazione lineare omogenea di ordine $n\ge 1$ definita sull'intervallo $I\subset ℝ$:

$y^{(n)}+p_{n-1}(x)y^{(n-1)}+\cdots +p_1(x)y^{\prime }+p_0(x)y=0$

con $y_1,\dots y_n$ soluzioni a valori reali o complessi, il Wronskiano:

$W(y_1,\dots ,y_n)(x)=\left|\begin{array}{cccc}{y}_1(x)& y_2(x)& \cdots & y_n(x)\\ y{\text{'}}_1(x)& y{\text{'}}_2(x)& \cdots & y{\text{'}}_n(x)\\ ⋮& ⋮& \ddots & ⋮\\ y_1^{(n-1)}(x)& y_2^{(n-1)}(x)& \cdots & y_n^{(n-1)}(x)\end{array}\right|x\in I$

soddisfa la relazione:

$W(y_1,\dots ,y_n)(x)=W(y_1,\dots ,y_n)(x_0)\exp (-\underset{x_0}{\overset{x}{\int }}{p}_{n-1}(\xi )\text{d}\xi )x\in I$

per ogni $x\in I$.

Infatti, le soluzioni $y_1,\dots ,y_n$:

$\mathrm{\Phi }(x)=\left(\begin{array}{cccc}{y}_1(x)& y_2(x)& \cdots & y_n(x)\\ y{\text{'}}_1(x)& y{\text{'}}_2(x)& \cdots & y{\text{'}}_n(x)\\ ⋮& ⋮& \ddots & ⋮\\ y_1^{(n-2)}(x)& y_2^{(n-2)}(x)& \cdots & y_n^{(n-2)}(x)\\ y_1^{(n-1)}(x)& y_2^{(n-1)}(x)& \cdots & y_n^{(n-1)}(x)\end{array}\right)x\in I$

sono la soluzione del sistema n-dimensionale di equazioni differenziali omogenee:

$\left(\begin{array}{c}{y}^{\prime }\\ y^{″}\\ ⋮\\ y^{(n-1)}\\ y^{(n)}\end{array}\right)=\left(\begin{array}{ccccc}0& 1& 0& \cdots & 0\\ 0& 0& 1& \cdots & 0\\ ⋮& ⋮& ⋮& \ddots & ⋮\\ 0& 0& 0& \cdots & 1\\ -p_0(x)& -p_1(x)& -p_2(x)& \cdots & -p_{n-1}(x)\end{array}\right)\left(\begin{array}{c}y\\ y^{\prime }\\ ⋮\\ y^{(n-2)}\\ y^{(n-1)}\end{array}\right)$

La traccia è $-p_{n-1}(x)$, e quindi l'identità di Abel segue dalla formula di Liouville.

Bibliografia

• Template:En Boyce, W. E. and DiPrima, R. C. Elementary Differential Equations and Boundary Value Problems, 4th ed. New York: Wiley, 1986.
• Template:En Abel, N. H., "Précis d'une théorie des fonctions elliptiques" J. Reine Angew. Math, 4 (1829) pp. 309–348.
• Template:Cita libro

Voci correlate

• Equazione differenziale di Abel
• Wronskiano

Collegamenti esterni

• Template:Collegamenti esterni