Divergencia (matemática)

La divergencia de un campo vectorial mide la diferencia entre el flujo entrante y el flujo saliente de un campo vectorial sobre la superficie que rodea a un volumen de control, por tanto, si el campo tiene "fuentes" o "sumideros" la divergencia de dicho campo será diferente de cero.

Divergencia de un campo vectorial

La divergencia de un campo vectorial es un campo escalar, y se define como el flujo del campo vectorial por unidad de volumen:

${\rm {div}}{\vec {F}}=\nabla \cdot {\vec {F}}=\lim _{\Delta V\to 0}{\frac {1}{\Delta V}}\oint _{S}{\vec {F}}\cdot d{\vec {S}}$

donde $S$ es una superficie cerrada que se reduce a un punto en el límite. El símbolo $\nabla$ representa el operador nabla.

Esta definición está directamente relacionada con el concepto de flujo del campo. Como en el caso del flujo, si la divergencia en un punto es positiva, se dice que el campo posee manantiales. Si la divergencia es negativa, se dice que tiene sumideros. El ejemplo más característico lo dan las cargas eléctricas, que dan la divergencia del campo eléctrico, siendo las cargas positivas manantiales y las negativas sumideros del campo eléctrico.

Se llaman fuentes escalares del campo ${\vec {F}}$ al campo escalar que se obtiene a partir de la divergencia de ${\vec {F}}$

$\rho ({\vec {r}})=\nabla \cdot {\vec {F}}({\vec {r}})$

La divergencia de un campo vectorial se relaciona con el flujo a través del teorema de Gauss o teorema de la divergencia.

Coordenadas cartesianas

Cuando la definición de divergencia se aplica al caso de un campo expresado en coordenadas cartesianas,

${\vec {F}}({\vec {r}})=F_{x}(x,y,z){\hat {i}}+F_{y}(x,y,z){\hat {j}}+F_{z}(x,y,z){\hat {k}}$

el resultado es sencillo:

$\nabla \cdot {\vec {F}}={\frac {\partial F_{x}}{\partial x}}+{\frac {\partial F_{y}}{\partial y}}+{\frac {\partial F_{z}}{\partial z}}$

Coordenadas ortogonales

Sin embargo, para un caso más general de coordenadas ortogonales curvilíneas, como las cilíndricas o las esféricas, la expresión se complica debido a la dependencia de los vectores de la base con la posición. La expresión para un sistema de coordenadas ortogonales es:

$\nabla \cdot {\vec {F}}={\frac {1}{h_{1}h_{2}h_{3}}}\left({\frac {\partial (F_{1}h_{2}h_{3})}{\partial q_{1}}}+{\frac {\partial (h_{1}F_{2}h_{3})}{\partial q_{2}}}+{\frac {\partial (h_{1}h_{2}F_{3})}{\partial q_{3}}}\right)$

Donde los $h_{i}\,$ son los factores de escala del sistema de coordenadas, relacionados con la forma del tensor métrico en dicho sistema de coordenadas. Esta fórmula general, para el caso de coordenadas cartesianas ($h_{x}=h_{y}=h_{z}=1$) se reduce a la expresión anterior. Para coordenadas cilíndricas ($h_{\rho }=h_{z}=1,\ h_{\varphi }=\rho$) resulta:

$\nabla \cdot {\vec {F}}={\frac {1}{\rho }}{\frac {\partial (\rho F_{\rho })}{\partial \rho }}+{\frac {1}{\rho }}{\frac {\partial (F_{\varphi })}{\partial \varphi }}+{\frac {\partial (F_{z})}{\partial z}}$

Para coordenadas esféricas ($h_{r}=1,\ h_{\theta }=r,\ h_{\varphi }=r{\rm {sen}}\theta$) resulta

$\nabla \cdot {\vec {F}}={\frac {1}{r^{2}}}{\frac {\partial (r^{2}F_{r})}{\partial r}}+{\frac {1}{r{\rm {sen}}\theta }}{\frac {\partial ({\rm {sen}}\theta F_{\theta })}{\partial \theta }}+{\frac {1}{r{\rm {sen}}\theta }}{\frac {\partial (F_{\varphi })}{\partial \varphi }}$

Coordenadas generales

En sistemas de coordenadas generales, no necesarimente ortogonales, la divergencia de un vector puede expresarse en términos de las derivadas parciales respecto a las coordenadas y el determinante del tensor métrico:

$\operatorname {div} \ \mathbf {v} ={\frac {1}{\sqrt {|g|}}}{\frac {\partial }{\partial x^{k}}}\left({\sqrt {|g|}}v^{k}\right)$

Divergencia de un campo tensorial

El concepto de divergencia puede extenderse a un campo tensorial de orden superior. En una variedad de Riemann la divergencia de un tensor T completamente simétrico

$T=T_{j_{1}\dots j_{n}}^{i_{1}\dots i_{m}}{\frac {\partial }{\partial x^{i_{1}}}}\otimes {\frac {\partial }{\partial x^{i_{m}}}}\otimes \mathrm {d} x^{j_{1}}\otimes \mathrm {d} x^{j_{n}}$

Se define como:

$[\operatorname {div} \ T]_{j_{1}\dots j_{n}}^{i_{1}\dots i_{m}}=\nabla _{\alpha }T_{j_{1}\dots j_{n}}^{i_{1}\dots i_{m-1}\alpha }=\partial _{\alpha }T_{j_{1},\dots ,j_{n}}^{i_{1}\dots i_{m-1}\alpha }+\Gamma _{\alpha \beta }^{i_{1}}T_{j_{1}\dots ,j_{n}}^{\beta \dots i_{m}}+\dots +\Gamma _{\alpha \beta }^{i_{m}}T_{j_{1}\dots ,j_{n}}^{i_{1}\dots \beta }$

Por ejemplo, en teoría de la relatividad especial la energía de un sistema se representa por un tensor simétrico de segundo orden, cuya divergencia es cero. De hecho el principio de conservación de la energía relativista toma la forma:

$\nabla _{i}T^{ij}=0$

Teorema de la divergencia

El teorema de la divergencia, frecuentemente llamado teorema de Gauss, relaciona el flujo de un campo vectorial a través de una superficie cerrada con la integral de la divergencia de dicho campo en el interior del volumen encerrado por una superficie. Ese resultado lo hace interesante en aplicaciones relacionadas con la electroestática como en la mecánica de fluidos.

El teorema se enuncia así: Sea una función vectorial $\mathbf {v}$diferenciable definida sobre un conjunto $\Omega \subset \mathbb {R} ^{3}$ y sea ${\mathcal {R}}\subset \Omega$ un conjunto cerrado limitado por una frontera $\partial {\mathcal {R}}$ o superficie de contorno (que sea una variedad diferenciable) y sea $\mathbf {n}$ el vector normal en cada punto de la superficie, entonces se cumple que:

$\int _{\mathcal {R}}{\mbox{div}}(\mathbf {v} )\ dV=\oint _{\partial {\mathcal {R}}}\mathbf {v} \cdot \mathbf {n} \ dS$

Véase también

• Rotacional
• Gradiente
• Teorema de la divergencia