Divergenza

Nel calcolo differenziale vettoriale, la divergenza è un campo scalare che misura la tendenza di un campo vettoriale a divergere o a convergere verso un punto dello spazio.

Il valore della divergenza di un vettore $𝐅$ in una certa posizione è dato da un operatore differenziale, denotato con $\nabla \cdot$ o $div$ , che fornisce una quantità scalare $\nabla \cdot 𝐅$ (o $div 𝐅)$ . In coordinate cartesiane tale quantità è la somma delle derivate parziali delle componenti di $𝐅$ lungo le direzioni degli assi.

Per esempio, se si considera un campo vettoriale in due dimensioni che rappresenta la velocità dell'acqua contenuta in una vasca (sezionata verticalmente) che si sta svuotando, la divergenza ha un valore negativo nella prossimità dello scarico (assumendo quest'ultimo al centro della vasca). Lontano dallo scarico assume invece un valore prossimo allo zero, dato che la velocità dell'acqua è quasi costante. Se si suppone l'acqua incomprimibile, in una regione in cui non ci sono né pozzi in cui essa viene scaricata, né sorgenti da cui viene introdotta, la divergenza è ovunque nulla. Un campo vettoriale con divergenza nulla ovunque viene detto indivergente. Se il dominio è semplicemente connesso e valgono le altre ipotesi del teorema della divergenza, il campo è anche solenoidale. Un esempio di campo vettoriale solenoidale è costituito dal campo magnetico, come stabilito dalle equazioni di Maxwell. Infatti, per il campo magnetico non esistono sorgenti statiche (monopoli magnetici).

Definizione

La divergenza è una quantità scalare che determina la tendenza delle linee di flusso di un campo vettoriale a confluire verso una sorgente o diramarsi (divergere) da essa. Tale comportamento può essere descritto considerando una regione di spazio e osservando il flusso (uscente o entrante) del campo vettoriale attraverso la superficie (chiusa) che delimita tale regione: se il flusso è uscente il campo si comporta come se all'interno della regione ci fosse una "sorgente", mentre se è entrante è come se ci fosse un "pozzo". La definizione di divergenza di un campo è ottenuta considerando il caso in cui la regione di spazio si restringe fino a diventare un punto: si tratta del limite, per il volume della regione che tende a zero, del rapporto tra il flusso del campo attraverso la superficie e il volume stesso.

Formalmente, senza fare riferimento a un particolare sistema di coordinate, la divergenza di un campo vettoriale $𝐅$ nel punto $p$ è pari al flusso di $𝐅$ attraverso la frontiera liscia $S (V)$ di una regione spaziale $V$ , diviso per il volume $| V |$ di $V$ , nel limite in cui la dimensione della regione diminuisce fino a farla coincidere con il punto $p$ . Ovvero, si tratta dell'integrale:

div 𝐅 (p) = lim_{V \to {p}} \frac{1}{| V |} \int_{S (V)} 𝐅 \cdot 𝐧 d S

dove $𝐧$ è il versore normale alla superficie $S (V)$ e uscente da essa. La precedente definizione è una formulazione del teorema della divergenza, secondo cui il flusso di $𝐅$ attraverso la superficie chiusa $S (V)$ coincide con l'integrale della divergenza di $𝐅$ svolto nel volume $V$ .

Con questa definizione la divergenza viene ad assumere il significato di derivata spaziale di un campo vettoriale, intendendo con questo una sorta di rapporto incrementale su un insieme di definizione che tende a zero. Il valore nullo riesce allora a descrivere la conservatività del campo $𝐅$ quando questo rappresenta un campo di velocità. Quando si considera il trasporto di materia, ad esempio, al campo vettoriale si fa corrispondere la velocità delle particelle, e per descrivere la conservazione della materia si sfrutta il teorema della divergenza: esso consente di stabilire che la variazione temporale della densità di materia all'interno di $V$ è uguale al flusso della materia che entra o esce attraverso $S (V)$ . Questo è descritto in forma locale dall'equazione di continuità.

Considerando uno spazio euclideo a tre dimensioni, con versori $𝐢$ , $𝐣$ e $𝐤$ relativi agli assi $x$ , $y$ e $z$ , la divergenza di un campo vettoriale continuo e differenziabile $𝐅 = F_{1} 𝐢 + F_{2} 𝐣 + F_{3} 𝐤$ è la funzione scalare:

div 𝐅 = \nabla \cdot 𝐅 = \frac{\partial F_{1}}{\partial x} + \frac{\partial F_{2}}{\partial y} + \frac{\partial F_{3}}{\partial z}

La notazione $\nabla \cdot 𝐅$ ha una funzionalità mnemonica, in quanto il punto rappresenta l'operazione di prodotto scalare tra l'operatore nabla e il campo $𝐅$ : applicando formalmente le definizioni dei due operandi e di prodotto scalare il risultato è la definizione di $div 𝐅$ , ma chiaramente si tratta di un abuso di notazione e non di un prodotto scalare ben definito. Restando in coordinate cartesiane, la divergenza di un campo tensoriale $\underline{\underline{ε}}$ del secondo ordine differenziabile con continuità è un campo tensoriale del primo ordine:

\vec{div} (\underline{\underline{𝜺}}) = [\begin{matrix} \frac{\partial ε_{x x}}{\partial x} + \frac{\partial ε_{y x}}{\partial y} + \frac{\partial ε_{z x}}{\partial z} \\ \frac{\partial ε_{x y}}{\partial x} + \frac{\partial ε_{y y}}{\partial y} + \frac{\partial ε_{z y}}{\partial z} \\ \frac{\partial ε_{x z}}{\partial x} + \frac{\partial ε_{y z}}{\partial y} + \frac{\partial ε_{z z}}{\partial z} \end{matrix}]

Considerando invece un campo vettoriale espresso coordinate cilindriche $𝐅 = 𝐞_{r} F_{r} + 𝐞_{z} F_{z} + 𝐞_{θ} F_{θ},$ , la divergenza è:

div 𝐅 = \nabla \cdot 𝐅 = \frac{1}{r} \frac{\partial}{\partial r} (r F_{r}) + \frac{1}{r} \frac{\partial F_{θ}}{\partial θ} + \frac{\partial F_{z}}{\partial z}

Infine, in coordinate sferiche, con $θ$ l'angolo rispetto all'asse $z$ e $ϕ$ la rotazione intorno all'asse $z$ , la divergenza è:

div 𝐅 = \nabla \cdot 𝐅 = \frac{1}{r^{2}} \frac{\partial}{\partial r} (r^{2} F_{r}) + \frac{1}{r \sin θ} \frac{\partial}{\partial θ} (\sin θ F_{θ}) + \frac{1}{r \sin θ} \frac{\partial F_{ϕ}}{\partial ϕ}

Generalizzazioni

La divergenza è un caso particolare della derivata esterna, quando quest'ultima mappa una 2-forma in una 3-forma in $ℝ^{3}$ . Si consideri una 2-forma:

j = F_{1} d y \land d z + F_{2} d z \land d x + F_{3} d x \land d y,

che, ad esempio, nel caso di trasporto di materia misura l'aumento di particelle che attraversa la superficie per unità di tempo in un fluido di densità $ρ = 1 d x \land d y \land d z$ che si muove con velocità locale $𝐅$ . La sua derivata esterna $d j$ è data da:

d j = (\frac{\partial F_{1}}{\partial x} + \frac{\partial F_{2}}{\partial y} + \frac{\partial F_{3}}{\partial z}) d x \land d y \land d z = (\nabla \cdot 𝐅) ρ

La divergenza di $𝐅$ può quindi essere espressa come:

\nabla \cdot 𝐅 = ⋆ 𝐝 ⋆ 𝐅^{♭}

dove $♭$ denota uno dei due isomorfismi musicali, e $⋆$ denota il duale di Hodge.

Si consideri una varietà di dimensione $n$ con una forma di volume $μ$ , ad esempio una varietà riemanniana o lorentziana. Dato un campo vettoriale $X$ , esso definisce una $n - 1$ forma $j = i_{X} μ$ ottenuta contraendo $X$ con $μ$ . La divergenza $div (X)$ di $X$ rispetto a $μ$ è definita da:

d j = div (X) μ .

Sfruttando la derivata di Lie $ℒ_{X} μ$ si può scrivere:

ℒ_{X} μ = div (X) μ .

Su una varietà riemanniana o lorentziana la divergenza rispetto alla forma di volume può essere calcolata in termini della connessione di Levi-Civita $\nabla$ :

div (X) = \nabla \cdot X = X_{; a}^{a},

dove la seconda espressione è la contrazione della 1-forma $\nabla X$ a valori in un campo vettoriale con sé stessa.

La divergenza può anche essere generalizzata ai tensori. Nella notazione di Einstein la divergenza di un vettore controvariante $F^{μ}$ è data da:

\nabla \cdot 𝐅 = \nabla_{μ} F^{μ} .

dove $\nabla_{μ}$ è la derivata covariante. In modo equivalente, alcuni autori definiscono la divergenza di un tensore misto attraverso la "notazione musicale #", ovvero se $T$ è un tensore di tipo $(p, q)$ , con $p$ indice di controvarianza e $q$ di covarianza, allora la divergenza di $T$ è il tensore di tipo $(p, q - 1)$ :

(div T) (Y_{1}, \dots, Y_{q - 1}) = tr (X \mapsto # (\nabla T) (X, \cdot, Y_{1}, \dots, Y_{q - 1})) .

Teorema di scomposizione

Un campo vettoriale sufficientemente regolare è completamente determinato quando sono noti la sua divergenza e il suo rotore in ogni punto del suo dominio. Si può mostrare infatti che ogni flusso stazionario $𝐯 (𝐫)$ , che sia differenziabile almeno due volte in $ℝ^{3}$ e che si annulli in modo sufficientemente rapido per $| 𝐫 | \to \infty$ , può essere decomposto in una parte irrotazionale $𝐄 (𝐫)$ e una parte solenoidale $𝐁 (𝐫)$ .

Per la parte irrotazionale:

𝐄 = - \nabla Φ (𝐫)

con:

Φ (𝐫) = \int_{ℝ^{3}} d^{3} 𝐫^{'} \frac{div 𝐯 (𝐫^{'})}{4 π | 𝐫 - 𝐫^{'} |}

Per la parte solenoidale è sufficiente rimpiazzare nelle precedenti espressioni il potenziale scalare $Φ (𝐫)$ con un potenziale vettore $𝐀 (𝐫)$ , il gradiente $- \nabla Φ$ con il rotore $\nabla \times 𝐀$ e $div 𝐯$ con $\nabla \times 𝐯$ . Si tratta di un caso speciale della decomposizione di Helmholtz o teorema di Helmholtz.

Proprietà

La divergenza è un operatore lineare, cioè:

div (a 𝐅 + b 𝐆) = a div (𝐅) + b div (𝐆) \forall a, b \in ℝ

per ogni coppia di campi vettoriali $𝐅$ e $𝐆$ , che gode delle seguenti proprietà:

Vi è una regola del prodotto tale per cui se $φ$ è una funzione a valori in un campo di scalari e $𝐅$ un campo vettoriale allora:

div (φ 𝐅) = grad (φ) \cdot 𝐅 + φ div (𝐅)

che si può scrivere anche come:

\nabla \cdot (φ 𝐅) = (\nabla φ) \cdot 𝐅 + φ (\nabla \cdot 𝐅)

La divergenza del prodotto vettoriale è:

div (𝐅 \times 𝐆) = 𝐆 \cdot rot (𝐅) - 𝐅 \cdot rot (𝐆)

che si può scrivere anche come:

\nabla \cdot (𝐅 \times 𝐆) = 𝐆 \cdot (\nabla \times 𝐅) - 𝐅 \cdot (\nabla \times 𝐆)

Il laplaciano di un campo scalare è la divergenza del suo gradiente:

div (\nabla φ) = \nabla^{2} φ

La divergenza del rotore di qualsiasi campo vettoriale in 3 dimensioni è nulla:

\nabla \cdot (\nabla \times 𝐅) = 0

Esempi

Coordinate polari piane

In $ℝ^{2}$ possiamo introdurre altri sistemi di riferimento come quello polare:

{\begin{matrix} x = ρ \cos ϕ \\ y = ρ \sin ϕ \end{matrix}

Dove $ρ$ rappresenta la coordinata radiale e $ϕ$ rappresenta la coordinata angolare.

Supponendo di voler eseguire la divergenza di una funzione vettoriale:

𝐅 (ρ; ϕ) = F_{ρ} 𝐞_{ρ} + F_{ϕ} 𝐞_{ϕ}

si può scrivere il prodotto scalare delle due grandezze vettoriali:

\nabla \cdot 𝐅 = (𝐞_{ρ} \frac{\partial}{\partial ρ} + 𝐞_{ϕ} \frac{1}{ρ} \frac{\partial}{\partial ϕ}) \cdot (F_{ρ} 𝐞_{ρ} + F_{ϕ} 𝐞_{ϕ})

avendo ricordato che:

{(d 𝐥)}_{\hat{ρ}} = d ρ {(d 𝐥)}_{\hat{ϕ}} = ρ d ϕ

Eseguendo il prodotto si ottiene:

\nabla \cdot 𝐅 = 𝐞_{ρ} \cdot (\frac{\partial F_{ρ}}{\partial ρ} 𝐞_{ρ} + F_{ρ} \frac{\partial 𝐞_{ρ}}{\partial ρ} + \frac{\partial F_{ϕ}}{\partial ρ} 𝐞_{ϕ} + F_{ϕ} \frac{\partial 𝐞_{ϕ}}{\partial ρ}) +

+ \frac{1}{ρ} 𝐞_{ϕ} \cdot (\frac{\partial F_{ρ}}{\partial ϕ} 𝐞_{ρ} + F_{ρ} \frac{\partial 𝐞_{ρ}}{\partial ϕ} + \frac{\partial F_{ϕ}}{\partial ϕ} 𝐞_{ϕ} + F_{ϕ} \frac{\partial 𝐞_{ϕ}}{\partial ϕ})

Si nota che due delle quattro derivate dei versori sono nulle. Infatti, al variare di $ρ$ il versore $𝐞_{ρ}$ non cambia di orientazione (né di modulo, essendo un versore) e la sua derivata rispetto a $ρ$ sarà di conseguenza nulla. Allo stesso modo $𝐞_{ϕ}$ non varierà al variare di $ρ$ . Le restanti due derivate invece si trovano:

\frac{\partial 𝐞_{ρ}}{\partial ϕ} = \frac{\partial}{\partial ϕ} (\cos ϕ 𝐞_{x} + \sin ϕ 𝐞_{y}) = - \sin ϕ 𝐞_{x} + \cos ϕ 𝐞_{y} = 𝐞_{ϕ}

\frac{\partial 𝐞_{ϕ}}{\partial ϕ} = \frac{\partial}{\partial ϕ} (- \sin ϕ 𝐞_{x} + \cos ϕ 𝐞_{y}) = - \cos ϕ 𝐞_{x} - \sin ϕ 𝐞_{y} = - 𝐞_{ρ}

e sostituendo:

\nabla \cdot 𝐅 = \frac{\partial F_{ρ}}{\partial ρ} + \frac{1}{ρ} (F_{ρ} + \frac{\partial F_{ϕ}}{\partial ϕ})

la divergenza in coordinate polari diventa quindi lo scalare:

\nabla \cdot 𝐅 (ρ; ϕ) = \frac{1}{ρ} \frac{\partial (ρ F_{ρ})}{\partial ρ} + \frac{1}{ρ} \frac{\partial F_{ϕ}}{\partial ϕ}

Coordinate sferiche

In $ℝ^{3}$ si possono introdurre altri sistemi di riferimento, come le coordinate sferiche:

{\begin{matrix} x = ρ \sin θ \cos ϕ \\ y = ρ \sin θ \sin ϕ \\ z = ρ \cos θ \end{matrix}

dove $ρ$ rappresenta la coordinata radiale, $ϕ$ rappresenta la coordinata angolare dall'asse $x$ e $θ$ rappresenta la coordinata angolare dall'asse $z$ . Analogamente al caso precedente, è sufficiente proiettare il differenziale sulle nuove coordinate:

{(d 𝐥)}_{\hat{ρ}} = d ρ {(d 𝐥)}_{\hat{ϕ}} = ρ \sin θ d ϕ {(d 𝐥)}_{\hat{θ}} = ρ d θ

Quindi se:

𝐅 (ρ, θ, ϕ) = F_{ρ} \hat{ρ} + F_{θ} \hat{θ} + F_{ϕ} \hat{ϕ}

la divergenza in coordinate sferiche diventa lo scalare:

\nabla \cdot 𝐅 (ρ, θ, ϕ) =

= \frac{1}{ρ^{2}} \frac{\partial (ρ^{2} F_{ρ})}{\partial ρ} + \frac{1}{ρ \sin θ} \frac{\partial (\sin θ F_{θ})}{\partial θ} + \frac{1}{ρ \sin θ} \frac{\partial F_{ϕ}}{\partial ϕ} =

= \frac{1}{ρ^{2}} (2 ρ F_{ρ} + ρ^{2} \frac{\partial F_{ρ}}{\partial ρ}) + \frac{1}{ρ \sin θ} (\cos θ F_{θ} + \sin θ \frac{\partial F_{θ}}{\partial θ}) + \frac{1}{ρ \sin θ} \frac{\partial F_{ϕ}}{\partial ϕ} =

= \frac{2 F_{ρ}}{ρ} + \frac{\partial F_{ρ}}{\partial ρ} + \frac{1}{ρ \tan θ} F_{θ} + \frac{1}{ρ} \frac{\partial F_{θ}}{\partial θ} + \frac{1}{ρ \sin θ} \frac{\partial F_{ϕ}}{\partial ϕ}

Divergenza del rotore

In $ℝ^{3}$ la divergenza del rotore di qualsiasi campo vettoriale di classe $C^{2}$ è sempre uguale a $0$ .

Infatti, sia $𝐅$ un campo vettoriale di classe $C^{2}$ :

\nabla \cdot (\nabla \times 𝐅) = \nabla \cdot (\frac{\partial F_{3}}{\partial y} - \frac{\partial F_{2}}{\partial z}, \frac{\partial F_{1}}{\partial z} - \frac{\partial F_{3}}{\partial x}, \frac{\partial F_{2}}{\partial x} - \frac{\partial F_{1}}{\partial y}) =

= \frac{\partial^{2} F_{3}}{\partial x \partial y} - \frac{\partial^{2} F_{2}}{\partial x \partial z} + \frac{\partial^{2} F_{1}}{\partial y \partial z} - \frac{\partial^{2} F_{3}}{\partial y \partial x} + \frac{\partial^{2} F_{2}}{\partial z \partial x} - \frac{\partial^{2} F_{1}}{\partial z \partial y} =

= \frac{\partial^{2} F_{1}}{\partial y \partial z} - \frac{\partial^{2} F_{1}}{\partial z \partial y} + \frac{\partial^{2} F_{2}}{\partial z \partial x} - \frac{\partial^{2} F_{2}}{\partial x \partial z} + \frac{\partial^{2} F_{3}}{\partial x \partial y} - \frac{\partial^{2} F_{3}}{\partial y \partial x} = 0

Poiché la funzione è di classe $C^{2}$ secondo il teorema di Schwarz le derivate miste sommandosi si annullano (se sono soddisfatte le ipotesi del teorema di Schwarz, infatti, l'ordine di derivazione è indifferente).

Note

↑ Eric Weisstein, MathWorld - Divergence Theorem, su mathworld.wolfram.com, 2010.
↑ Scrivendo le "componenti" di $\nabla$ davanti a quelle di $𝐅$ non si sta eseguendo un prodotto tra componenti, ma si stanno applicando gli operatori alle componenti di $𝐅$ . Tale prodotto formale non soddisfa le proprietà del prodotto scalare, ad esempio la scrittura $𝐅 \cdot \nabla$ non ha alcun significato, nonostante il prodotto scalare sia simmetrico.
↑ Copia archiviata (PDF), su elektro.dtu.dk. URL consultato il 29 maggio 2013 (archiviato dall'url originale il 5 aprile 2012).
↑ Cylindrical coordinates at Wolfram Mathworld
↑ Spherical coordinates at Wolfram Mathworld

Bibliografia

(EN) Jess H. Brewer, DIVERGENCE of a Vector Field, su Vector Calculus, 7 aprile 1999. URL consultato il 28 settembre 2007 (archiviato dall'url originale il 23 novembre 2007).
(EN) Theresa M. Korn; Korn, Granino Arthur, Mathematical Handbook for Scientists and Engineers: Definitions, Theorems, and Formulas for Reference and Review, New York, Dover Publications, pp. 157–160, ISBN 0-486-41147-8.
(EN) Kaplan, W. The Divergence of a Vector Field. §3.4 in Advanced Calculus, 4th ed. Reading, MA: Addison-Wesley, pp. 185–186, 1991.
(EN) Morse, P. M. and Feshbach, H. The Divergence. In Methods of Theoretical Physics, Part I. New York: McGraw-Hill, pp. 34–37, 1953.
(EN) Schey, H. M. Div, Grad, Curl, and All That: An Informal Text on Vector Calculus, 3rd ed. New York: W. W. Norton, 1997.

Voci correlate

Altri progetti

Wikimedia Commons contiene immagini o altri file su divergenza

Collegamenti esterni

(EN) divergence, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.

(EN) Eric W. Weisstein, Divergence, su MathWorld, Wolfram Research.

(EN) Divergenza, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.
(EN) Jess H. Brewer's HyperReference - Divergence of a Vector Field, su musr.phas.ubc.ca. URL consultato il 25 maggio 2013 (archiviato dall'url originale il 23 novembre 2007).

Controllo di autorità	GND (DE) 4528420-9

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica

[mathworld-1] Eric Weisstein, MathWorld - Divergence Theorem, su mathworld.wolfram.com, 2010.

[2] Scrivendo le "componenti" di $\nabla$ davanti a quelle di $𝐅$ non si sta eseguendo un prodotto tra componenti, ma si stanno applicando gli operatori alle componenti di $𝐅$ . Tale prodotto formale non soddisfa le proprietà del prodotto scalare, ad esempio la scrittura $𝐅 \cdot \nabla$ non ha alcun significato, nonostante il prodotto scalare sia simmetrico.

[3] Copia archiviata (PDF), su elektro.dtu.dk. URL consultato il 29 maggio 2013 (archiviato dall'url originale il 5 aprile 2012).

[4] Cylindrical coordinates at Wolfram Mathworld

[5] Spherical coordinates at Wolfram Mathworld