Teorema della divergenza

In matematica e fisica, il teorema della divergenza, detto anche teorema di Ostrogradskij per il fatto che la prima dimostrazione è dovuta a Michail Ostrogradskij, è la generalizzazione a domini Template:TA del teorema fondamentale del calcolo integrale. A sua volta, esso è un caso speciale del più generale teorema di Stokes.

Talvolta il teorema è meno propriamente detto teorema di Gauss poiché fu storicamente congetturato da Carl Gauss, da non confondere col teorema di Gauss-Green, che invece è un caso speciale (ristretto a 2 dimensioni) del teorema del rotore, o con il teorema del flusso.

Storia

Il teorema è stato enunciato per la prima volta da Joseph-Louis Lagrange nel 1762; Carl Friedrich Gauss (1813) e George Green (1825) ne forniscono formulazioni equivalenti in maniera del tutto indipendente. La prima dimostrazione appare però solo nel 1831 ad opera di Michail Ostrogradskij.

Enunciato

Una regione $V$ delimitata da $\partial V$, con $𝐧$ il versore normale uscente.

Si consideri un insieme $V\subset {ℝ}^n$ compatto delimitato da una superficie liscia $\partial V$. Se $𝐅$ è un campo vettoriale differenziabile con continuità (di classe $C^1$) definito in un intorno di $V$, si ha:

$\underset{V}{\int }\mathrm{\nabla }\cdot 𝐅dV={\oint }_{\partial V}𝐅\cdot d𝐒,$

dove $d𝐒=𝐧dS$ è l'elemento di superficie. In altri termini, il flusso di $𝐅$ attraverso la superficie chiusa $\partial V$ coincide con l'integrale della divergenza di $𝐅$ svolto nel volume $V$ di cui la superficie è frontiera. Il termine a sinistra è pertanto un integrale di volume su $V$, quello a destra è un integrale di superficie. Il vettore $𝐧$ è il versore uscente normale alla superficie.

In modo più generale, si può utilizzare il teorema di Stokes per uguagliare l'integrale su un volume n-dimensionale della divergenza di un campo vettoriale $𝐅$ definito sulla regione $U\subset {ℝ}^n$ all'integrale di $𝐅$ sulla superficie (di dimensione n-1) che costituisce il bordo di $U$:

$\underset{U}{\int }\mathrm{\nabla }\cdot 𝐅d{V}_n={\oint }_{\partial U}𝐅\cdot 𝐧d{S}_{n-1}.$

In una notazione più concisa si può scrivere:

$\underset{V}{\int }\frac{\partial F_i}{\partial x_i}dV=\underset{S}{\int }{F}_i{n}_{i}dS,$

sicché rimpiazzando $𝐅$ con un campo tensoriale $T$ di ordine n si ottiene la generalizzazione:

$\underset{V}{\int }\frac{\partial T_{i_1{i}_2\cdots i_q\cdots i_n}}{\partial x_{i_q}}dV=\underset{S}{\int }{T}_{i_1{i}_2\cdots i_q\cdots i_n}{n}_{i_q}dS,$

dove si verifica la contrazione degli indici in entrambi i membri della relazione, per almeno un indice. Si può estendere la precedente relazione, che vale in tre dimensioni, a varietà di dimensione arbitraria.

Corollari

Applicando il teorema della divergenza in altri contesti si ottengono utili identità matematiche.

• Nel caso del prodotto di una funzione scalare $g$ ed un campo vettoriale $𝐅$ si ha:

$\underset{V}{\int }[𝐅\cdot \left(\mathrm{\nabla }g\right)+g(\mathrm{\nabla }\cdot 𝐅)]dV={\oint }_{\partial V}g𝐅\cdot 𝐧dS.$

Un caso speciale è $𝐅=\mathrm{\nabla }f$, in cui il teorema è alla base delle identità di Green.

• Nel caso del prodotto vettoriale di due campi vettoriali $𝐅\times 𝐆$, si ha:

$\underset{V}{\int }[𝐆\cdot (\mathrm{\nabla }\times 𝐅)-𝐅\cdot (\mathrm{\nabla }\times 𝐆)]dV={\oint }_{\partial V}𝐅\times 𝐆\cdot d𝐬.$

• Nel caso del prodotto di una funzione scalare $f$ ed un vettore non nullo costante, si può mostrare che vale il seguente teorema:

$\underset{V}{\int }\mathrm{\nabla }fdV={\oint }_{\partial V}fd𝐒.$

• Nel caso del prodotto vettoriale di un campo vettoriale $𝐅$ ed un vettore non nullo costante, si può mostrare che vale il seguente teorema:

$\underset{V}{\int }\mathrm{\nabla }\times 𝐅dV={\oint }_{\partial V}d𝐒\times 𝐅.$

Applicazioni geometriche

Dal teorema della divergenza si possono ricavare le formule per trovare la misura di un dominio piano $\mathrm{\Omega }$ racchiuso da $\partial \mathrm{\Omega }$:

$\mu (\mathrm{\Omega })=\{\begin{array}{c}\oint xdy,\\ -\oint ydx,\\ \frac{1}{2}\oint (xdy-ydx).\end{array}$

La terza relazione risulta molto utile quando si utilizzano le coordinate polari, dove $xdy-ydx=r^{2}d\vartheta$.

Dato uno spazio $n$-dimensionale, la divergenza del vettore posizione è $\mathrm{d}\mathrm{i}\mathrm{v}𝐱=\frac{\partial x_1}{\partial x_1}+\dots +\frac{\partial x_n}{\partial x_n}=n$. Per una palla di dimensione $n$ e raggio $R=\Vert 𝐱\mathbf{\Vert }$ segue che:

${\oint }_S𝐱\cdot \hat{n}dS=\{\begin{array}{c}\underset{V}{\int }ndV=nV\\ {\oint }_S𝐱\cdot \frac{𝐱}{R}dS=RS\end{array}$

da cui segue

$S=\frac{nV}{R}.$

Quindi, se la palla è una sfera vera e propria, conoscendo il suo volume ($\frac{4}{3}\pi R^3$) è possibile ricavarne la superficie ($4\pi R^2$), così come per un cerchio ($\pi R^2$) ricavarne la circonferenza ($2\pi R$).

Dimostrazione

Sappiamo valere la seguente affermazione: sia $\mathrm{\Omega }\subseteq {ℝ}^3$ un aperto G-ammissibile. Sia $i\in \{1,2,3\}$ e sia $𝐟\in {𝒞}^1(\overline{\mathrm{\Omega }})$ con $\frac{\partial 𝐟}{\partial x_i}\in {𝒞}^0(\overline{\mathrm{\Omega }})$

Allora $\underset{\mathrm{\Omega }}{\int }\frac{\partial 𝐟}{\partial x_i}dxdydz=\underset{\partial \mathrm{\Omega }}{\int }𝐟n_{i}d\sigma$ dove $n_i$ è la componente $i$-esima della normale esterna a $\partial \mathrm{\Omega }$

Sommando su $i$ si ottiene $\underset{\mathrm{\Omega }}{\int }\mathrm{\nabla }\cdot 𝐟dxdydz=\underset{\partial \mathrm{\Omega }}{\int }𝐟\cdot 𝐧d\sigma$ che è l'enunciato del teorema.

Divergenza in coordinate curvilinee

Elemento di volume in coordinate sferiche.

Il teorema della divergenza può essere usato per esprimere la divergenza in un sistema di coordinate curvilinee. Si consideri un riferimento sferico: ogni volta che si varia una coordinata di una quantità infinitesima viene percorso un arco di lunghezza opportuna $dh$. Al variare della distanza radiale $r$ si ha $d{h}_r=h_{r}dr=dr$, al variare dell'angolo $\theta$ si ha $d{h}_{\theta }=h_{\theta }d\theta =rd\theta$ mentre al variare dell'angolo $\psi$ si ha che $d{h}_{\psi }=h_{\psi }d\psi =r\sin \theta d\psi$. Si possono così calcolare i contributi di flusso come nel caso delle coordinate cartesiane. Ad esempio, il flusso attraverso le facce del cubo in figura normali alla direzione radiale è:

$d{h}_{\theta }(r+dr)d{h}_{\psi }(r+dr)F_r(r+dr)-d{h}_{\theta }(r)d{h}_{\psi }(r)F_r(r)=\frac{\partial d{h}_{\theta }d{h}_{\psi }{F}_r}{\partial r}dr$

e formule analoghe valgono per le altre componenti. La divergenza del campo si ottiene dividendo il flusso totale per il volume $dv=h_r{h}_{\theta }{h}_{\psi }drd\theta d\psi$ del cubo:

$\mathrm{\nabla }\cdot 𝐅=\frac{1}{h_r{h}_{\theta }{h}_{\psi }}[\frac{\partial }{\partial r}\left(h_{\theta }{h}_{\psi }{F}_r\right)+\frac{\partial }{\partial \theta }\left(h_r{h}_{\psi }{F}_{\theta }\right)+\frac{\partial }{\partial \psi }\left(h_r{h}_{\theta }{F}_{\psi }\right)].$

Questa uguaglianza vale in un generico sistema di riferimento, ma nel caso considerato può essere esplicitata sostituendovi le espressioni che definiscono i coefficienti metrici $h$ in coordinate sferiche (essi rappresentano le lunghezze degli archi elementari rapportate agli incrementi delle coordinate che li hanno prodotti):

$\mathrm{\nabla }\cdot 𝐅=[\frac{1}{r^2}\frac{\partial r^2{F}_r}{\partial r}+\frac{1}{r\sin \theta }\frac{\partial \sin \theta F_{\theta }}{\partial \theta }+\frac{1}{r\sin \theta }\frac{\partial F_{\psi }}{\partial \psi }]$

e relazioni simili sono valide, ad esempio, in coordinate cilindriche.

Equazione di continuità

Template:Vedi anche La forma differenziale dell'equazione di continuità può essere derivata utilizzando il teorema della divergenza. Si supponga che una quantità $q$ sia contenuta in una regione di volume $V$ il cui contorno è $\partial V$, e che la sua densità sia $\phi$.

$q(t)=\underset{V}{\int }\phi (𝐫,t)\mathrm{d}V$

La variazione di $q$ rispetto al tempo è espressa dalla derivata temporale:

$\frac{\partial q(t)}{\partial t}=\frac{\partial }{\partial t}\underset{V}{\int }\phi (𝐫,t)\mathrm{d}V=-{\oint }_{\partial V}𝐟(𝐫,t)\cdot \mathrm{d}𝐒+\mathrm{\Sigma }(t)$

ed usando il teorema della divergenza:

$\underset{V}{\int }\mathrm{\nabla }\cdot 𝐟(𝐫,t)\mathrm{d}V=-\underset{V}{\int }\frac{\partial \phi (𝐫,t)}{\partial t}\mathrm{d}V+\underset{V}{\int }\sigma (𝐫,t)\mathrm{d}V.$

Tale relazione è vera solo se gli integrandi sono uguali, ossia:

$\mathrm{\nabla }\cdot 𝐟(𝐫,t)=-\frac{\partial \phi (𝐫,t)}{\partial t}+\sigma (𝐫,t).$

Connessione con altri operatori

Template:Vedi anche Si consideri un campo scalare $f$ ed un versore $𝐣$. Applicando al campo $f𝐣$ il teorema della divergenza si ottiene:

${\oint }_{\partial V}f𝐣\cdot d𝐬=\underset{V}{\int }\mathrm{\nabla }\cdot f𝐣dv=\underset{V}{\int }\mathrm{\nabla }f\cdot 𝐣dv,$

dove nell'ultima uguaglianza compare l'operatore gradiente. Questo risultato rimane valido se si sostituisce a $𝐣$ un qualunque altro versore della terna ortonormale. Quindi si ha:

${\oint }_{\partial V}fd𝐬=\underset{V}{\int }\mathrm{\nabla }fdv$

e la relazione ottenuta riveste una certa utilità in alcuni contesti. Se invece si considera un campo tridimensionale $𝐅$ e il corrispondente prodotto vettoriale $𝐣\times 𝐅$, procedendo in maniera analoga si ottiene una formula simile in funzione del rotore:

${\oint }_{\partial V}d𝐬\times 𝐅=\underset{V}{\int }\mathrm{\nabla }\times 𝐅dv.$

Bibliografia

• Nicola Fusco, Paolo Marcellini, Carlo Sbordone, Lezioni di analisi matematica due, Zanichelli, 2020, ISBN 9788808520203, Paragrafi 76 e 113.
• Template:En Georg Joos, Ira M. Freeman. Theoretical Physics. Courier Dover Publications, 1987
• Template:Cita libro
• Template:Cita libro

Voci correlate

• Divergenza
• Equazione di continuità
• Identità di Green
• Teorema del flusso
• Teorema fondamentale del calcolo integrale
• Teorema del gradiente
• Teorema del rotore
• Teorema di Stokes

Collegamenti esterni

• Template:Collegamenti esterni
• Differential Operators and the Divergence Theorem at MathPages
• The Divergence (Gauss) Theorem by Nick Bykov, Wolfram Demonstrations Project.