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.
Data un'equazione differenziale omogenea ordinaria lineare del secondo ordine:
d
2
y
d
x
2
+
P
(
x
)
d
y
d
x
+
Q
(
x
)
y
=
0
{\displaystyle {\frac {{\textrm {d}}^{2}y}{{\textrm {d}}x^{2}}}+P(x){\frac {{\textrm {d}}y}{{\textrm {d}}x}}+Q(x)\,y=0}
l'identità di Abel può essere scritta come:
W
(
x
)
=
W
(
0
)
exp
(
−
∫
0
x
P
(
ξ
)
d
ξ
)
{\displaystyle W(x)=W(0)\exp \left(-\int _{0}^{x}P(\xi )\,{\textrm {d}}\xi \right)}
dove
W
(
x
)
{\displaystyle W(x)}
Wronskiano delle due soluzioni linearmente indipendenti dell'equazione differenziale, ovvero il determinante :
W
(
y
1
,
y
2
)
(
x
)
=
|
y
1
(
x
)
y
2
(
x
)
y
1
′
(
x
)
y
2
′
(
x
)
|
=
y
1
(
x
)
y
2
′
(
x
)
−
y
1
′
(
x
)
y
2
(
x
)
x
∈
I
{\displaystyle W(y_{1},y_{2})(x)={\begin{vmatrix}y_{1}(x)&y_{2}(x)\\y'_{1}(x)&y'_{2}(x)\end{vmatrix}}=y_{1}(x)\,y'_{2}(x)-y'_{1}(x)\,y_{2}(x)\qquad x\in I}
Siano
y
1
{\displaystyle y_{1}}
y
2
{\displaystyle y_{2}}
y
″
+
P
(
x
)
y
′
+
Q
(
x
)
y
=
0
{\displaystyle y''+P(x)\,y'+Q(x)\,y=0}
Allora il Wronskiano delle due funzioni è definito come
W
(
x
)
=
y
1
′
y
2
−
y
1
y
2
′
{\displaystyle W(x)=y_{1}'y_{2}-y_{1}y_{2}'}
Derivando si ha:
W
′
(
x
)
=
y
1
″
y
2
+
y
1
′
y
2
′
−
y
1
′
y
2
′
−
y
2
″
y
1
=
y
1
″
y
2
−
y
1
y
2
″
{\displaystyle {\begin{aligned}W'(x)&=y_{1}''y_{2}+y_{1}'y_{2}'-y_{1}'y_{2}'-y_{2}''y_{1}\\&=y_{1}''y_{2}-y_{1}y_{2}''\end{aligned}}}
Considerando l'equazione differenziale originale nella forma:
y
″
=
−
P
(
x
)
y
′
−
Q
(
x
)
y
{\displaystyle y''=-P(x)\,y'-Q(x)\,y}
Sostituendo il risultato nel Wronskiano si ha:
W
′
(
x
)
=
(
−
P
(
x
)
y
1
′
−
Q
(
x
)
y
1
)
y
2
−
y
1
(
−
P
(
x
)
y
2
′
−
Q
(
x
)
y
2
)
=
−
P
(
x
)
y
1
′
y
2
−
Q
(
x
)
y
1
y
2
+
P
(
x
)
y
1
y
2
′
+
Q
(
x
)
y
1
y
2
=
−
P
(
x
)
(
y
1
′
y
2
−
y
1
y
2
′
)
=
−
P
(
x
)
W
(
x
)
{\displaystyle {\begin{aligned}W'(x)&=\left(-P(x)y_{1}'-Q(x)\,y_{1}\right)y_{2}-y_{1}\left(-P(x)y_{2}'-Q(x)\,y_{2}\right)\\&=-P(x)y_{1}'y_{2}-Q(x)y_{1}y_{2}+P(x)y_{1}y_{2}'+Q(x)y_{1}y_{2}\\&=-P(x)(y_{1}'y_{2}-y_{1}y_{2}')\\&=-P(x)\,W(x)\end{aligned}}}
Si tratta di un'equazione differenziale lineare del primo ordine:
d
W
W
=
−
P
(
x
)
d
x
{\displaystyle {\frac {{\textrm {d}}W}{W}}=-P(x)\,{\textrm {d}}x}
in modo che integrando:
ln
(
W
(
x
)
W
(
0
)
)
=
−
∫
0
x
P
(
ξ
)
d
ξ
{\displaystyle \ln \left({\frac {W(x)}{W(0)}}\right)=-\int _{0}^{x}P(\xi )\,{\textrm {d}}\xi }
si ha, esponenziando, l'identità:
W
(
x
)
=
W
(
0
)
exp
(
−
∫
0
x
P
(
ξ
)
d
ξ
)
{\displaystyle W(x)=W(0)\exp \left(-\int _{0}^{x}P(\xi )\,{\textrm {d}}\xi \right)}
Generalizzazione
modifica
Data un'equazione lineare omogenea di ordine
n
≥
1
{\displaystyle n\geq 1}
I
⊂
R
{\displaystyle I\subset \mathbb {R} }
y
(
n
)
+
p
n
−
1
(
x
)
y
(
n
−
1
)
+
⋯
+
p
1
(
x
)
y
′
+
p
0
(
x
)
y
=
0
{\displaystyle y^{(n)}+p_{n-1}(x)\,y^{(n-1)}+\cdots +p_{1}(x)\,y'+p_{0}(x)\,y=0}
con
y
1
,
…
y
n
{\displaystyle y_{1},\dots y_{n}}
W
(
y
1
,
…
,
y
n
)
(
x
)
=
|
y
1
(
x
)
y
2
(
x
)
⋯
y
n
(
x
)
y
1
′
(
x
)
y
2
′
(
x
)
⋯
y
n
′
(
x
)
⋮
⋮
⋱
⋮
y
1
(
n
−
1
)
(
x
)
y
2
(
n
−
1
)
(
x
)
⋯
y
n
(
n
−
1
)
(
x
)
|
x
∈
I
{\displaystyle W(y_{1},\ldots ,y_{n})(x)={\begin{vmatrix}y_{1}(x)&y_{2}(x)&\cdots &y_{n}(x)\\y'_{1}(x)&y'_{2}(x)&\cdots &y'_{n}(x)\\\vdots &\vdots &\ddots &\vdots \\y_{1}^{(n-1)}(x)&y_{2}^{(n-1)}(x)&\cdots &y_{n}^{(n-1)}(x)\end{vmatrix}}\qquad x\in I}
soddisfa la relazione:
W
(
y
1
,
…
,
y
n
)
(
x
)
=
W
(
y
1
,
…
,
y
n
)
(
x
0
)
exp
(
−
∫
x
0
x
p
n
−
1
(
ξ
)
d
ξ
)
x
∈
I
{\displaystyle W(y_{1},\ldots ,y_{n})(x)=W(y_{1},\ldots ,y_{n})(x_{0})\exp {\biggl (}-\int _{x_{0}}^{x}p_{n-1}(\xi )\,{\textrm {d}}\xi {\biggr )}\qquad x\in I}
per ogni
x
∈
I
{\displaystyle x\in I}
Infatti, le soluzioni
y
1
,
…
,
y
n
{\displaystyle y_{1},\dots ,y_{n}}
Φ
(
x
)
=
(
y
1
(
x
)
y
2
(
x
)
⋯
y
n
(
x
)
y
1
′
(
x
)
y
2
′
(
x
)
⋯
y
n
′
(
x
)
⋮
⋮
⋱
⋮
y
1
(
n
−
2
)
(
x
)
y
2
(
n
−
2
)
(
x
)
⋯
y
n
(
n
−
2
)
(
x
)
y
1
(
n
−
1
)
(
x
)
y
2
(
n
−
1
)
(
x
)
⋯
y
n
(
n
−
1
)
(
x
)
)
x
∈
I
{\displaystyle \Phi (x)={\begin{pmatrix}y_{1}(x)&y_{2}(x)&\cdots &y_{n}(x)\\y'_{1}(x)&y'_{2}(x)&\cdots &y'_{n}(x)\\\vdots &\vdots &\ddots &\vdots \\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{pmatrix}}\qquad x\in I}
sono la soluzione del sistema n -dimensionale di equazioni differenziali omogenee:
(
y
′
y
″
⋮
y
(
n
−
1
)
y
(
n
)
)
=
(
0
1
0
⋯
0
0
0
1
⋯
0
⋮
⋮
⋮
⋱
⋮
0
0
0
⋯
1
−
p
0
(
x
)
−
p
1
(
x
)
−
p
2
(
x
)
⋯
−
p
n
−
1
(
x
)
)
(
y
y
′
⋮
y
(
n
−
2
)
y
(
n
−
1
)
)
{\displaystyle {\begin{pmatrix}y'\\y''\\\vdots \\y^{(n-1)}\\y^{(n)}\end{pmatrix}}={\begin{pmatrix}0&1&0&\cdots &0\\0&0&1&\cdots &0\\\vdots &\vdots &\vdots &\ddots &\vdots \\0&0&0&\cdots &1\\-p_{0}(x)&-p_{1}(x)&-p_{2}(x)&\cdots &-p_{n-1}(x)\end{pmatrix}}{\begin{pmatrix}y\\y'\\\vdots \\y^{(n-2)}\\y^{(n-1)}\end{pmatrix}}}
La traccia è
−
p
n
−
1
(
x
)
{\displaystyle -p_{n-1}(x)}
formula di Liouville .
(EN Elementary Differential Equations and Boundary Value Problems , 4th ed. New York: Wiley, 1986.
(EN "Précis d'une théorie des fonctions elliptiques" J. Reine Angew. Math , 4 (1829) pp. 309–348.
(EN Gerald Teschl , Ordinary Differential Equations and Dynamical Systems Providence , American Mathematical Society , 2012, ISBN 978-0-8218-8328-0 . Collegamenti esterni
modifica
