Equazione di Poisson

Template:Nota disambigua In analisi matematica, l'equazione di Poisson è un'equazione alle derivate parziali ellittica di larghissimo utilizzo in elettrostatica, meccanica e termotecnica. Il suo nome deriva dal matematico e fisico francese Siméon-Denis Poisson.

Definizione

Sia $\phi =\phi (𝐱)$ una funzione definita sulla chiusura dell'insieme $U$ di ${ℝ}^n$ a valori in $ℝ$.

L'equazione di Poisson per $\phi$ ha la forma:

${\mathrm{\nabla }}^2\phi =f$

dove ${\mathrm{\nabla }}^2$ è l'operatore di Laplace o laplaciano e $f$ è definita in $U$ a valori in $ℝ$. Nello spazio euclideo l'operatore di Laplace è spesso denotato con ${\mathrm{\nabla }}^2$.

In coordinate cartesiane in tre dimensioni l'equazione prende la forma:

$(\frac{{\partial }^2}{\partial x^2}+\frac{{\partial }^2}{\partial y^2}+\frac{{\partial }^2}{\partial z^2})\phi (x,y,z)=f(x,y,z)$

L'equazione di Poisson omogenea è l'equazione di Laplace:

${\mathrm{\nabla }}^2\phi =0$

Formula risolutiva

Template:Vedi anche Si consideri la soluzione fondamentale dell'equazione di Laplace nella sua forma più generale:

$\mathrm{\Phi }(𝐱)=\{\begin{array}{c}-\frac{1}{2\pi }\log |𝐱|(n=2)\\ \frac{1}{n(n-2)\alpha (n)|𝐱{|}^{n-2}}(n\ge 3)\end{array}$

dove $\alpha (n)$ denota il volume della bolla di raggio unitario in ${ℝ}^n$. Per definizione, tale funzione è armonica per $𝐱$ non nullo. Se si pone di traslare l'origine nel punto $𝐲$ si ottiene che $\mathrm{\Phi }(𝐱\mathbf{-}𝐲)$ è ancora una funzione armonica per $𝐱\mathbf{\ne }𝐲$.

Si consideri la funzione $f:{ℝ}^n\to ℝ$ di classe C² a supporto compatto. L'associazione:

$𝐱\to \mathrm{\Phi }(𝐱\mathbf{-}𝐲)f(𝐲)𝐱\mathbf{\ne }𝐲$

è armonica per ogni $𝐲$ di ${ℝ}^n$.

Allora la convoluzione:

$u(𝐱)=\underset{{ℝ}^n}{\int }\mathrm{\Phi }(𝐱\mathbf{-}𝐲)f(𝐲)d𝐲=\{\begin{array}{c}-\frac{1}{2\pi }\underset{{ℝ}^2}{\int }\log (|𝐱-𝐲|)f(𝐲)d𝐲(n=2)\\ \frac{1}{n(2-n)\alpha (n)}\underset{{ℝ}^n}{\int }\frac{f(𝐲)}{|𝐱-𝐲{|}^{n-2}}d𝐲(n\ge 3)\end{array}$

è di classe C² ed è soluzione dell'equazione di Poisson.

Soluzioni

Una soluzione dell'equazione di Poisson è data da:

$\phi (𝐱)=-\frac{1}{4\pi }\underset{V}{\int }\frac{f({𝐱}^{\prime })}{\mid 𝐱-{𝐱}^{\prime }\mid }d{V}^{\prime }$

integrata su ${𝐱}^{\prime }$.

Si dimostra che la soluzione dell'equazione di Poisson è unica se vengono fissate opportune condizioni al contorno. In particolare, se in una regione limitata:

$V={ℝ}^3\text{ e }f\ne 0$

allora la soluzione precedente è l'unica che rispetta la condizione:

$\underset{r\to \mathrm{\infty }}{\lim }\phi (𝐱)\mid 𝐱-𝐲\mid =costante<\mathrm{\infty }$

dove $𝐲$ è un punto arbitrario tale che:

$f(𝐲)\ne 0$

L'equazione di Poisson può essere risolta usando una funzione di Green, ed esistono vari metodi per trovare soluzioni numeriche. Il metodo del rilassamento, un algoritmo iterativo, ne è un esempio.

Teorema di unicità

Il teorema di unicità per l'equazione di Poisson afferma che il gradiente della soluzione dell'equazione è unico per una vasta classe di condizioni al contorno. Nell'ambito dell'elettrostatica questo significa che una volta trovato un potenziale che soddisfa l'equazione e le condizioni al contorno, allora il campo elettrico è univocamente determinato.

Infatti, l'espressione generale dell'equazione di Poisson in elettrostatica è:

$\mathrm{\nabla }\cdot (ϵ\mathrm{\nabla }\phi )=-4\pi {\rho }_f$

dove $\phi$ è il potenziale e $𝐄=-\mathrm{\nabla }\phi$ il campo.

Per dimostrare il teorema, si supponga che vi siano due soluzioni ${\phi }_1$ e ${\phi }_2$. Definendo:

$\varphi ={\phi }_2-{\phi }_1$

poiché sia ${\phi }_1$ sia ${\phi }_2$ soddisfano l'equazione di Poisson, $\varphi$ deve soddisfare:

$\mathrm{\nabla }\cdot (ϵ\mathrm{\nabla }\varphi )=0$

Utilizzando l'identità:

$\mathrm{\nabla }\cdot (\varphi ϵ\mathrm{\nabla }\varphi )=ϵ(\mathrm{\nabla }\varphi {)}^2+\varphi \mathrm{\nabla }\cdot (ϵ\mathrm{\nabla }\varphi )$

dato che il secondo termine è nullo si ha:

$\mathrm{\nabla }\cdot (\varphi ϵ\mathrm{\nabla }\varphi )=ϵ(\mathrm{\nabla }\varphi {)}^2$

e considerando l'integrale di volume su tutto lo spazio (determinato dalle condizioni al contorno) si ricava:

$\underset{V}{\int }\mathrm{\nabla }\cdot (\varphi ϵ\mathrm{\nabla }\varphi )d^3𝐫=\underset{V}{\int }ϵ(\mathrm{\nabla }\varphi {)}^2{d}^3𝐫$

Applicando il teorema della divergenza:

$\sum _i\underset{S_i}{\int }(\varphi ϵ\mathrm{\nabla }\varphi )\cdot 𝐝𝐒=\underset{V}{\int }ϵ(\mathrm{\nabla }\varphi {)}^2{d}^3𝐫$

dove $S_i$ sono le superfici di frontiera, specificate dalle condizioni al contorno. Dato che $ϵ>0$ e $(\mathrm{\nabla }\varphi {)}^2\ge 0$, allora $\mathrm{\nabla }\varphi =0$ ovunque quando l'integrale di superficie si annulla: quindi si ha anche $\mathrm{\nabla }{\phi }_1=\mathrm{\nabla }{\phi }_2$. Pertanto il gradiente della soluzione è unico se:

$\sum _i\underset{S_i}{\int }(\varphi ϵ\mathrm{\nabla }\varphi )\cdot 𝐝𝐒=0$

Affinché ciò sia vero, le condizioni al contorno di Dirichlet sono che $\phi$ sia ben definita sulla frontiera del dominio, ovvero poiché ${\phi }_1={\phi }_2$ sulla frontiera si ha $\varphi =0$ e il rispettivo integrale di superficie si annulla. Le condizioni al contorno di Neumann sono che $\mathrm{\nabla }\phi$ sia ben definito sulla frontiera del dominio, ovvero poiché $\mathrm{\nabla }{\phi }_1=\mathrm{\nabla }{\phi }_2$ sulla frontiera si ha $\mathrm{\nabla }\varphi =0$ e il rispettivo integrale di superficie si annulla.

Equazione di Poisson su un cerchio

L'equazione di Poisson può in teoria essere risolta analiticamente su qualsiasi dominio semplicemente connesso del piano complesso. Infatti il teorema di Weierstrass afferma che è possibile trasformare un dominio semplicemente connesso nel cerchio unitario tramite una trasformazione conforme biunivoca. Nel cerchio unitario l'equazione di Poisson ha soluzione in coordinate polari $(\rho ,\varphi )$:

$u(\rho ,\varphi )=\underset{0}{\overset{2\pi }{\int }}\frac{d\theta }{2\pi }\tilde{u}(\theta )K(\theta ,\varphi ,\rho )$

con $u(\theta )$ la condizione al contorno sul cerchio unitario e:

$K(\theta ,\varphi ,\rho )=\sum _{n\in \mathbb{Z}}{\rho }^{|n|}\exp (-in(\theta -\varphi ))$

che può essere espresso in vari modi:

$K(\theta ,\varphi ,\rho )=\mathrm{\Re }\frac{1+z{e}^{-i\theta }}{1-z{e}^{-i\theta }}$

Funzione di Green per l'equazione di Laplace in tre dimensioni

Template:Vedi anche Si consideri un sistema descritto dall'equazione di Poisson:

${\mathrm{\nabla }}^{2}u(𝐱)=f(𝐱)$

Poiché il laplaciano è un operatore differenziale lineare, la soluzione $u(𝐱)$ può essere scritta come un integrale esteso alla distribuzione sorgente $f(𝐱)$:

$u(𝐱)=\underset{{𝐱}^{\prime }}{\int }d{𝐱}^{\prime }G(𝐱,{𝐱}^{\prime })f({𝐱}^{\prime })$

dove la funzione di Green è la distribuzione $G(𝐱,{𝐱}^{\prime })$ che consente di ottenere la risposta del sistema in $𝐱$ a una sorgente puntiforme, descritta attraverso la delta di Dirac $\delta (𝐱-{𝐱}^{\prime })$, posta in ${𝐱}^{\prime }$:

${\mathrm{\nabla }}^{2}G(𝐱,{𝐱}^{\prime })=\delta (𝐱-{𝐱}^{\prime })$

La funzione di Green per l'equazione di Laplace in tre dimensioni è uno strumento spesso utilizzato in fisica, ad esempio nella descrizione dell'interazione di un corpo carico con il campo elettromagnetico generato da una sorgente puntiforme $\rho$.

Elettrostatica

Template:Vedi anche Alla base dell'elettrostatica vi sono le due equazioni di Maxwell che descrivono il comportamento del campo elettrico:

$\mathrm{\nabla }\cdot 𝐄=\frac{\rho }{{\epsilon }_0}\mathrm{\nabla }\times 𝐄=0$

dove la seconda equazione, per il fatto che il rotore del gradiente è nullo, il campo $𝐄$ si può esprimere in funzione di un campo conservativo $\mathrm{\Phi }$:

$𝐄=-\mathrm{\nabla }\mathrm{\Phi }$

In altre parole, il campo elettrico è definito come il gradiente di una funzione scalare $\mathrm{\Phi }$. Trovare $\mathrm{\Phi }$ è un importante problema pratico, essendo il modo usuale per trovare il potenziale elettrico a partire da una data distribuzione di cariche. Sostituendo l'espressione del campo elettrico nella prima delle due equazioni di Maxwell sopra citate si ottiene l'equazione di Poisson, che nelle unità SI ha la forma:

${\mathrm{\nabla }}^2\mathrm{\Phi }=-\frac{\rho }{{\epsilon }_0}$

dove $\mathrm{\Phi }$ è il potenziale elettrico, misurato in volt, $\rho$ è la densità di carica, misurata in coulomb su metri cubi, e ${\epsilon }_0$ è la costante dielettrica del vuoto, in farad al metro. Fissate le condizioni al contorno, la soluzione è unica, e pertanto il potenziale è completamente determinato dalla distribuzione spaziale di carica.

In una regione di spazio dove non c'è distribuzione di carica si ottiene l'equazione omogenea:

${\mathrm{\nabla }}^2\mathrm{\Phi }=0$

e l'equazione per il potenziale diventa un'equazione di Laplace.

Potenziale di una densità di carica gaussiana

Se esiste una densità di carica elettrica con simmetria sferica gaussiana $\rho (r)$:

$\rho (r)=\frac{Q}{{\sigma }^3{\sqrt{2\pi }}^3}{e}^{-r^2/(2{\sigma }^2)}$

dove $Q$ è la carica totale, allora la soluzione $\mathrm{\Phi }$ dell'equazione di Poisson

${\mathrm{\nabla }}^2\mathrm{\Phi }=-\frac{\rho }{{\epsilon }_0}$

è data da:

$\mathrm{\Phi }(r)=\frac{1}{4\pi {\epsilon }_0}\frac{Q}{r}\text{erf}\left(\frac{r}{\sqrt{2}\sigma }\right)$

dove $\text{erf}(x)$ indica la funzione errore. Questa soluzione può essere verificata esplicitamente da un calcolo di ${\mathrm{\nabla }}^2\mathrm{\Phi }$. Si noti che, per $r$ maggiore di $\sigma$, $\text{erf}(x)$ tende all'unità e il potenziale $\mathrm{\Phi }(r)$ tende al potenziale di una carica puntiforme:

$\mathrm{\Phi }(r)=\frac{1}{4\pi {\epsilon }_0}\frac{Q}{r}$

Bibliografia

• Template:Cita libro
• Template:Cita libro
• Template:En F. A. Tarleton An introduction to the mathematical theory of attraction vol. 1 Longmans, London, 1899.
• Template:En F. A. Tarleton An introduction to the mathematical theory of attraction vol. 2 Longmans, London, 1913.
• Template:En O. D. Kellogg Foundations Of Potential Theory Frederick Ungar Publishing Company, 1929.
• Template:En A. D. Polyanin, Handbook of Linear Partial Differential Equations for Engineers and Scientists, Chapman & Hall/CRC Press, Boca Raton, 2002. ISBN 1-58488-299-9

Voci correlate

• Classe C di una funzione
• Conduzione termica
• Divergenza
• Equazione di Laplace
• Equazione differenziale alle derivate parziali
• Equazioni di Maxwell
• Funzione a supporto compatto
• Funzione di Green

• Leggi di Fick
• Operatore di Laplace

Collegamenti esterni

• Template:Collegamenti esterni
• Template:SpringerEOM
• Template:EnPoisson's equation Template:Webarchive on PlanetMath.
• Template:EnPoisson's Equation Poisson's Equation video
• Template:En Poisson Equation at EqWorld: The World of Mathematical Equations.