Equazioni differenziali alle derivate parziali/Il valor principale

Da testwiki.
Vai alla navigazione Vai alla ricerca

Template:Equazioni differenziali alle derivate parziali

In questo modulo ci occuperemo di un'altra distribuzione singolare: il valor principale. Si consideri f={0}, f(x)=1x. Si definisce valore principale di 1x la quantità

P1x(ϕ)=limϵ0+x>ϵϕ(x)xdx

Quella appena usata non è l'unica rappresentazione del valor principale, infatti se si considera ϕ con supporto [r,r] si ha:

x>ϵψ(x)xdx=ϵrψ(x)ψ(x)xdx2rsupx[r,r]ϕ(x)<+

Segue che ϵrϕ(x)ϕ(x)xdx è limitato in ϵ. Si può concludere che:

P1x(ϕ)=limϵ0ϵrϕ(x)ϕ(x)xdx

La distribuzione di Dirac e il valor principale rientrano nella determinazione di quella che si chiama formula di Plemelj-Sochozki.

Si calcoli

limϵ0+ϕ(x)x±iϵdx

La funzione integrata contro ϕ(x) è definita in campo complesso, pertanto la si riscrive distinguendo parte reale e immaginaria:

1x±iϵ=xx2+ϵ2iϵx2+ϵ2

Per la parte immaginaria si ha che:

ϵx2+ϵ2=1ϵ1(xϵ)2+1

Detta xϵ=s quella che si ottiene altro non è che una rappresentazione della delta di Dirac:

limϵ0+ϵx2+ϵ2=±iπδ0(ϕ)

Per la parte regolare occorre calcolare

limϵ0+xx2+ϵ2ϕ(x)dx

Si osserva che l'integranda è una distribuzione regolare della forma Tf. Definiamo hϵ(x)=xx2+ϵ2Lloc1(), distribuzione regolare dispari. Moltiplicando e dividendo per x, l'integrale che definisce la parte reale della funzione di cui stiamo calcolando il limite si può riscrivere come:

0+xhϵ(x)(ϕ(x)ϕ(0))xdx

Volendo passare al limite sotto il segno di integrale è necessario considerare il problema della convergenza dominata. In realtà si osserva che esiste una maggiorante integrabile per l'integranda:

xhϵ(x)=xx2+ϵ21

Dunque ϕ(x)ϕ(x)x è la maggiorante integrabile che permette di concludere che vi è convergenza dominata e quindi che le operazioni di limite e di integrale possono essere scambiate, quindi:

limϵ0+xx2+ϵ2=P1x

Così da poter concludere la formula di Plemelj-Sochozki:

limϵ0+1x±iϵdx=iπδ0(ϕ)+P1x

L'esempio appena studiato ci ha permesso anche di determinare un'altra espressione per il valore di P1x, infatti si è arrivati a:

P1x=limϵ0+xx2+ϵ2dx

Template:Avanzamento