Divergenza

Template:Nota disambigua Template:Nota disambigua 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 $\mathrm{\nabla }\cdot$ o $\mathrm{div}$, che fornisce una quantità scalare $\mathrm{\nabla }\cdot 𝐅$ (o $\mathrm{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:

$\mathrm{div}𝐅(p)=\underset{V\to \{p\}}{\lim }\frac{1}{|V|}\underset{S(V)}{\int }𝐅\cdot 𝐧dS$

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à.

Una funzione vettoriale e la sua divergenza rappresentata come campo scalare (rosso indica maggiore, verde indica minore).

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:

$\mathrm{div}𝐅=\mathrm{\nabla }\cdot 𝐅=\frac{\partial F_1}{\partial x}+\frac{\partial F_2}{\partial y}+\frac{\partial F_3}{\partial z}$

La notazione $\mathrm{\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 $\mathrm{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 $\underset{\_}{\underset{\_}{\epsilon }}$ del secondo ordine differenziabile con continuità è un campo tensoriale del primo ordine:

$\overrightarrow{\mathrm{div}}(\underset{\_}{\underset{\_}{\mathit{\epsilon }}})=\left[\begin{array}{c}\frac{\partial {\epsilon }_{xx}}{\partial x}+\frac{\partial {\epsilon }_{yx}}{\partial y}+\frac{\partial {\epsilon }_{zx}}{\partial z}\\ \frac{\partial {\epsilon }_{xy}}{\partial x}+\frac{\partial {\epsilon }_{yy}}{\partial y}+\frac{\partial {\epsilon }_{zy}}{\partial z}\\ \frac{\partial {\epsilon }_{xz}}{\partial x}+\frac{\partial {\epsilon }_{yz}}{\partial y}+\frac{\partial {\epsilon }_{zz}}{\partial z}\end{array}\right]$

Considerando invece un campo vettoriale espresso coordinate cilindriche $𝐅={𝐞}_r{F}_r+{𝐞}_z{F}_z+{𝐞}_{\theta }{F}_{\theta },$, la divergenza è:

$\mathrm{div}𝐅=\mathrm{\nabla }\cdot 𝐅=\frac{1}{r}\frac{\partial }{\partial r}(r{F}_r)+\frac{1}{r}\frac{\partial F_{\theta }}{\partial \theta }+\frac{\partial F_z}{\partial z}$

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

$\mathrm{div}𝐅=\mathrm{\nabla }\cdot 𝐅=\frac{1}{r^2}\frac{\partial }{\partial r}(r^2{F}_r)+\frac{1}{r\sin \theta }\frac{\partial }{\partial \theta }(\sin \theta F_{\theta })+\frac{1}{r\sin \theta }\frac{\partial F_{\varphi }}{\partial \varphi }$

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}dy\wedge dz+F_{2}dz\wedge dx+F_{3}dx\wedge dy,$

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à $\rho =1dx\wedge dy\wedge dz$ che si muove con velocità locale $𝐅$. La sua derivata esterna $dj$ è data da:

$dj=(\frac{\partial F_1}{\partial x}+\frac{\partial F_2}{\partial y}+\frac{\partial F_3}{\partial z})dx\wedge dy\wedge dz=(\mathrm{\nabla }\cdot 𝐅)\rho$

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

$\mathrm{\nabla }\cdot 𝐅=\star 𝐝\star {𝐅}^{\mathrm{♭}}$

dove $\mathrm{♭}$ denota uno dei due isomorfismi musicali, e $\star$ denota il duale di Hodge.

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

$dj=\mathrm{div}(X)\mu .$

Sfruttando la derivata di Lie ${ℒ}_X\mu$ si può scrivere:

${ℒ}_X\mu =\mathrm{div}(X)\mu .$

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

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

dove la seconda espressione è la contrazione della 1-forma $\mathrm{\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^{\mu }$ è data da:

$\mathrm{\nabla }\cdot 𝐅={\mathrm{\nabla }}_{\mu }{F}^{\mu }.$

dove ${\mathrm{\nabla }}_{\mu }$ è 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)$:

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

Teorema di scomposizione

Template:Vedi anche 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 \mathrm{\infty }$, può essere decomposto in una parte irrotazionale $𝐄(𝐫)$ e una parte solenoidale $𝐁(𝐫)$.

Per la parte irrotazionale:

$𝐄=-\mathrm{\nabla }\mathrm{\Phi }(𝐫)$

con:

$\mathrm{\Phi }(𝐫)=\underset{{ℝ}^3}{\int }{\mathrm{d}}^3{𝐫}^{\prime }\frac{\mathrm{div}𝐯({𝐫}^{\prime })}{4\pi |𝐫-{𝐫}^{\prime }|}$

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

Proprietà

Template:Vedi anche La divergenza è un operatore lineare, cioè:

$\mathrm{div}(a𝐅+b𝐆)=a\mathrm{div}(𝐅)+b\mathrm{div}(𝐆)\mathrm{\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 $\phi$ è una funzione a valori in un campo di scalari e $𝐅$ un campo vettoriale allora:

$\mathrm{div}(\phi 𝐅)=\mathrm{grad}(\phi )\cdot 𝐅+\phi \mathrm{div}(𝐅)$

che si può scrivere anche come:

$\mathrm{\nabla }\cdot (\phi 𝐅)=(\mathrm{\nabla }\phi )\cdot 𝐅+\phi (\mathrm{\nabla }\cdot 𝐅)$

• La divergenza del prodotto vettoriale è:

$\mathrm{div}(𝐅\times 𝐆)=𝐆\cdot \mathrm{rot}(𝐅)-𝐅\cdot \mathrm{rot}(𝐆)$

che si può scrivere anche come:

$\mathrm{\nabla }\cdot (𝐅\times 𝐆)=𝐆\cdot (\mathrm{\nabla }\times 𝐅)-𝐅\cdot (\mathrm{\nabla }\times 𝐆)$

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

$\mathrm{div}(\mathrm{\nabla }\phi )={\mathrm{\nabla }}^2\phi$

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

$\mathrm{\nabla }\cdot (\mathrm{\nabla }\times 𝐅)=0$

Esempi

Coordinate polari piane

Coordinate polari

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

$\{\begin{array}{c}x=\rho \cos \varphi \\ y=\rho \sin \varphi \end{array}$

Dove $\rho$ rappresenta la coordinata radiale e $\varphi$ rappresenta la coordinata angolare.

Supponendo di voler eseguire la divergenza di una funzione vettoriale:

$𝐅(\rho ;\varphi )=F_{\rho }{𝐞}_{\rho }+F_{\varphi }{𝐞}_{\varphi }$

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

$\mathrm{\nabla }\cdot 𝐅=({𝐞}_{\rho }\frac{\partial }{\partial \rho }+{𝐞}_{\varphi }\frac{1}{\rho }\frac{\partial }{\partial \varphi })\cdot (F_{\rho }{𝐞}_{\rho }+F_{\varphi }{𝐞}_{\varphi })$

avendo ricordato che:

${\left(d𝐥\right)}_{\hat{\rho }}=d\rho {\left(d𝐥\right)}_{\hat{\varphi }}=\rho d\varphi$

Eseguendo il prodotto si ottiene:

$\mathrm{\nabla }\cdot 𝐅={𝐞}_{\rho }\cdot (\frac{\partial F_{\rho }}{\partial \rho }{𝐞}_{\rho }+F_{\rho }\frac{\partial {𝐞}_{\rho }}{\partial \rho }+\frac{\partial F_{\varphi }}{\partial \rho }{𝐞}_{\varphi }+F_{\varphi }\frac{\partial {𝐞}_{\varphi }}{\partial \rho })+$

$+\frac{1}{\rho }{𝐞}_{\varphi }\cdot (\frac{\partial F_{\rho }}{\partial \varphi }{𝐞}_{\rho }+F_{\rho }\frac{\partial {𝐞}_{\rho }}{\partial \varphi }+\frac{\partial F_{\varphi }}{\partial \varphi }{𝐞}_{\varphi }+F_{\varphi }\frac{\partial {𝐞}_{\varphi }}{\partial \varphi })$

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

$\frac{\partial {𝐞}_{\rho }}{\partial \varphi }=\frac{\partial }{\partial \varphi }(\cos \varphi {𝐞}_x+\sin \varphi {𝐞}_y)=-\sin \varphi {𝐞}_x+\cos \varphi {𝐞}_y={𝐞}_{\varphi }$

$\frac{\partial {𝐞}_{\varphi }}{\partial \varphi }=\frac{\partial }{\partial \varphi }(-\sin \varphi {𝐞}_x+\cos \varphi {𝐞}_y)=-\cos \varphi {𝐞}_x-\sin \varphi {𝐞}_y=-{𝐞}_{\rho }$

e sostituendo:

$\mathrm{\nabla }\cdot 𝐅=\frac{\partial F_{\rho }}{\partial \rho }+\frac{1}{\rho }(F_{\rho }+\frac{\partial F_{\varphi }}{\partial \varphi })$

la divergenza in coordinate polari diventa quindi lo scalare:

$\mathrm{\nabla }\cdot 𝐅(\rho ;\varphi )=\frac{1}{\rho }\frac{\partial \left(\rho F_{\rho }\right)}{\partial \rho }+\frac{1}{\rho }\frac{\partial F_{\varphi }}{\partial \varphi }$

Coordinate sferiche

Coordinate sferiche

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

$\{\begin{array}{c}x=\rho \sin \theta \cos \varphi \\ y=\rho \sin \theta \sin \varphi \\ z=\rho \cos \theta \end{array}$

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

${\left(d𝐥\right)}_{\hat{\rho }}=d\rho {\left(d𝐥\right)}_{\hat{\varphi }}=\rho \sin \theta d\varphi {\left(d𝐥\right)}_{\hat{\theta }}=\rho d\theta$

Quindi se:

$𝐅(\rho ,\theta ,\varphi )=F_{\rho }\hat{\rho }+F_{\theta }\hat{\theta }+F_{\varphi }\hat{\varphi }$

la divergenza in coordinate sferiche diventa lo scalare:

$\mathrm{\nabla }\cdot 𝐅(\rho ,\theta ,\varphi )=$

$=\frac{1}{{\rho }^2}\frac{\partial ({\rho }^2{F}_{\rho })}{\partial \rho }+\frac{1}{\rho \sin \theta }\frac{\partial (\sin \theta F_{\theta })}{\partial \theta }+\frac{1}{\rho \sin \theta }\frac{\partial F_{\varphi }}{\partial \varphi }=$

$=\frac{1}{{\rho }^2}(2\rho F_{\rho }+{\rho }^2\frac{\partial F_{\rho }}{\partial \rho })+\frac{1}{\rho \sin \theta }(\cos \theta F_{\theta }+\sin \theta \frac{\partial F_{\theta }}{\partial \theta })+\frac{1}{\rho \sin \theta }\frac{\partial F_{\varphi }}{\partial \varphi }=$

$=\frac{2F_{\rho }}{\rho }+\frac{\partial F_{\rho }}{\partial \rho }+\frac{1}{\rho \tan \theta }{F}_{\theta }+\frac{1}{\rho }\frac{\partial F_{\theta }}{\partial \theta }+\frac{1}{\rho \sin \theta }\frac{\partial F_{\varphi }}{\partial \varphi }$

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$:

$\mathrm{\nabla }\cdot (\mathrm{\nabla }\times 𝐅)=\mathrm{\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).

Bibliografia

• Template:Cita web
• Template:Cita libro
• Template:En Kaplan, W. The Divergence of a Vector Field. §3.4 in Advanced Calculus, 4th ed. Reading, MA: Addison-Wesley, pp. 185–186, 1991.
• Template:En Morse, P. M. and Feshbach, H. The Divergence. In Methods of Theoretical Physics, Part I. New York: McGraw-Hill, pp. 34–37, 1953.
• Template: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

• Campo vettoriale solenoidale
• Derivata
• Derivata parziale
• Equazione di continuità
• Gradiente
• Prodotto scalare
• Rotore (matematica)
• Teorema della divergenza
• Teorema di Stokes

Collegamenti esterni

• Template:Collegamenti esterni
• Template:Cita web