Divergencia

Operador de divergencia como tasa de flujo neto saliente por unidad de volumen en campos vectoriales.

Que es

La divergencia es un operador diferencial que actúa sobre un campo vectorial diferenciable F⃗(x,y,z)\vec{F}(x,y,z) para producir un campo escalar ∇⃗⋅F⃗\vec{\nabla}\cdot\vec{F}. En coordenadas cartesianas se define como:

∇⃗⋅F⃗=∂Fx∂x+∂Fy∂y+∂Fz∂z\vec{\nabla}\cdot\vec{F} = \frac{\partial F_x}{\partial x} + \frac{\partial F_y}{\partial y} + \frac{\partial F_z}{\partial z}

Físicamente, la divergencia mide la densidad volumétrica de flujo neto saliente de un campo vectorial en cada punto del espacio. Se define formalmente mediante el límite del flujo a través de una superficie cerrada SS que encierra un volumen VV, cuando dicho volumen se contrae hacia cero:

∇⃗⋅F⃗=lim⁡V→01V∮SF⃗⋅dS⃗\vec{\nabla}\cdot\vec{F} = \lim_{V \to 0} \frac{1}{V} \oint_S \vec{F} \cdot d\vec{S}

  • Si ∇⃗⋅F⃗(P)>0\vec{\nabla}\cdot\vec{F}(P) > 0: El punto PP actúa como una fuente neta (el fluido o las líneas de campo se originan o expanden desde allí).
  • Si ∇⃗⋅F⃗(P)<0\vec{\nabla}\cdot\vec{F}(P) < 0: El punto PP actúa como un sumidero neto (el fluido o las líneas de campo convergen y desaparecen allí).
  • Si ∇⃗⋅F⃗(P)=0\vec{\nabla}\cdot\vec{F}(P) = 0: El campo es solenoidal o incompresible en PP (todo lo que entra en un volumen elemental infinitesimal sale exactamente en la misma cantidad).

Por qué aparece en física

La divergencia es el lenguaje natural para expresar las leyes fundamentales de conservación y las ecuaciones de Maxwell:

  • Ley de Gauss electrostática: ∇⃗⋅E⃗=ρε0\vec{\nabla}\cdot\vec{E} = \frac{\rho}{\varepsilon_0}. Las cargas eléctricas positivas son fuentes del campo eléctrico; las negativas son sumideros.
  • Ley de Gauss magnética: ∇⃗⋅B⃗=0\vec{\nabla}\cdot\vec{B} = 0. No existen monopolos magnéticos aislados en la naturaleza; las líneas de campo magnético nunca nacen ni mueren, son siempre cerradas.
  • Ecuación de continuidad de fluidos: ∂ρ∂t+∇⃗⋅(ρv⃗)=0\frac{\partial \rho}{\partial t} + \vec{\nabla}\cdot(\rho \vec{v}) = 0. La divergencia del flujo de masa cuantifica la tasa local de acumulación o pérdida de masa fluida.
  • Fluidos incompresibles: ∇⃗⋅v⃗=0\vec{\nabla}\cdot\vec{v} = 0. El agua y los líquidos a velocidades moderadas conservan su volumen local durante el movimiento.

Idea visual o geométrica

Imagina una esponja sumergida en agua:

  • Si abres una llave sumergida que inyecta agua nueva al espacio, los vectores velocidad del agua apuntan hacia afuera en todas direcciones: la divergencia en la boca de la llave es positiva (+).
  • Si abres un desagüe que succiona agua, los vectores convergen hacia el agujero: la divergencia en el desagüe es negativa (-).
  • Si el agua simplemente fluye de manera uniforme por una tubería sin crearse ni destruirse masa líquida, la divergencia es exactamente cero.

Lenguaje simbólico mínimo

  • Operador en cartesianas: ∇⃗⋅F⃗=∂Fx∂x+∂Fy∂y+∂Fz∂z\vec{\nabla}\cdot\vec{F} = \frac{\partial F_x}{\partial x} + \frac{\partial F_y}{\partial y} + \frac{\partial F_z}{\partial z}.
  • En cilíndricas (r,θ,z)(r, \theta, z): ∇⃗⋅F⃗=1r∂(rFr)∂r+1r∂Fθ∂θ+∂Fz∂z\vec{\nabla}\cdot\vec{F} = \frac{1}{r} \frac{\partial (r F_r)}{\partial r} + \frac{1}{r} \frac{\partial F_\theta}{\partial \theta} + \frac{\partial F_z}{\partial z}.
  • En esféricas (r,θ,φ)(r, \theta, \varphi): ∇⃗⋅F⃗=1r2∂(r2Fr)∂r+1rsin⁡θ∂(sin⁡θFθ)∂θ+1rsin⁡θ∂Fφ∂φ\vec{\nabla}\cdot\vec{F} = \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_\varphi}{\partial \varphi}.
  • Teorema de Gauss (o de la divergencia): ∫V(∇⃗⋅F⃗) dV=∮SF⃗⋅dS⃗\int_V (\vec{\nabla}\cdot\vec{F}) \, dV = \oint_S \vec{F} \cdot d\vec{S}.
  • Campo solenoidal: ∇⃗⋅F⃗=0  ⟺  F⃗=∇⃗×A⃗\vec{\nabla}\cdot\vec{F} = 0 \iff \vec{F} = \vec{\nabla}\times\vec{A} (existe un potencial vector A⃗\vec{A}).

Que significa el resultado

El escalar resultante ∇⃗⋅F⃗\vec{\nabla}\cdot\vec{F} no posee dirección: representa la tasa neta por unidad de volumen a la que el campo "nace" o "muere" en ese punto. Sus unidades físicas son siempre las del campo vectorial divididas por metros ([F⃗]/[m][\vec{F}]/[\text{m}]).

Cuando no debes usarlo

  • No intentes calcular la divergencia de un campo escalar ϕ\phi. La divergencia exige un vector con componentes direccionales.
  • No omitas la derivada del producto métrico en coordenadas no cartesianas: por ejemplo, en esféricas es un error mortal calcular ∂Fr/∂r\partial F_r / \partial r en lugar de 1r2∂(r2Fr)∂r\frac{1}{r^2} \frac{\partial (r^2 F_r)}{\partial r}.
  • No asumas que porque un campo sea radial su divergencia es no nula: el campo gravitatorio newtoniano g⃗=−GMr2e^r\vec{g} = -\frac{GM}{r^2} \hat{e}_r tiene divergencia idénticamente cero en todo el espacio fuera del origen (∇⃗⋅g⃗=0\vec{\nabla}\cdot\vec{g} = 0 para r>0r > 0).

Resumen operativo

Para calcular ∇⃗⋅F⃗\vec{\nabla}\cdot\vec{F}: diferencia cada componente espacial respecto a su coordenada correspondiente (incluyendo los factores de escala métrica en cilíndricas o esféricas) y suma algebraicamente los términos. El resultado es un escalar local que delata fuentes positivas o sumideros negativos de flujo.

Procedimiento

Antes de calcular

Confirma que el campo a evaluar es estrictamente vectorial: F⃗=(Fx,Fy,Fz)\vec{F} = (F_x, F_y, F_z) o F⃗=Fre^r+Fθe^θ+Fze^z\vec{F} = F_r \hat{e}_r + F_\theta \hat{e}_\theta + F_z \hat{e}_z. Identifica la geometría del dominio.

Paso 1: identifica el objeto matemático

Desglosa las componentes del campo vectorial en el sistema de coordenadas adoptado. Asegúrate de verificar las dependencias funcionales de cada componente.

Paso 2: elige la operación

Selecciona la fórmula correcta del operador divergencia:

  • Cartesianas: ∂xFx+∂yFy+∂zFz\partial_x F_x + \partial_y F_y + \partial_z F_z.
  • Cilíndricas: 1r∂(rFr)∂r+1r∂Fθ∂θ+∂Fz∂z\frac{1}{r} \frac{\partial (r F_r)}{\partial r} + \frac{1}{r} \frac{\partial F_\theta}{\partial \theta} + \frac{\partial F_z}{\partial z}.
  • Esféricas: 1r2∂(r2Fr)∂r+1rsin⁡θ∂(sin⁡θFθ)∂θ+1rsin⁡θ∂Fφ∂φ\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_\varphi}{\partial \varphi}.

Paso 3: conserva unidades y signos

Diferencia cada término algebraicamente. En coordenadas no cartesianas, multiplica primero la componente por su factor métrico (rr o r2r^2) antes de derivar respecto a la coordenada radial.

Paso 4: calcula

Suma todos los términos escalares resultantes. Si se evalúa en un punto numérico P(x0,y0,z0)P(x_0, y_0, z_0), sustituye las coordenadas para obtener el valor escalar final.

Paso 5: interpreta el resultado

Analiza el signo del escalar obtenido:

  • Positivo (>0> 0): densidad de fuentes (expansión neta).
  • Negativo (<0< 0): densidad de sumideros (compresión o absorción neta).
  • Cero (=0= 0): flujo incompresible o libre de fuentes.

Checklist de autocontrol

  • ¿El resultado obtenido es un número escalar (sin vectores unitarios i^,j^,k^\hat{i}, \hat{j}, \hat{k})?
  • ¿Las unidades del resultado equivalen a [F⃗]/[m][\vec{F}]/[\text{m}]?
  • ¿Se incluyó el término rr o r2r^2 dentro de la derivada radial en cilíndricas/esféricas?

Ejemplo guiado

Situación física

Un campo electrostático no uniforme en una región del espacio viene dado por: E⃗(x,y,z)=(2x2y)i^−(y2z)j^+(3z2x)k^[N/C]\vec{E}(x,y,z) = (2x^2 y) \hat{i} - (y^2 z) \hat{j} + (3z^2 x) \hat{k} \quad [\text{N/C}] donde x,y,zx,y,z están en metros. Se desea calcular la densidad volumétrica de carga eléctrica libre ρ(x,y,z)\rho(x,y,z) en el punto P(1,2,−1)P(1, 2, -1) mediante la ley de Gauss diferencial: ∇⃗⋅E⃗=ρε0\vec{\nabla}\cdot\vec{E} = \frac{\rho}{\varepsilon_0} donde ε0≈8.854×10−12 F/m\varepsilon_0 \approx 8.854 \times 10^{-12} \text{ F/m}.

Traducción matemática

Calculamos la divergencia cartesiana: ∇⃗⋅E⃗=∂Ex∂x+∂Ey∂y+∂Ez∂z\vec{\nabla}\cdot\vec{E} = \frac{\partial E_x}{\partial x} + \frac{\partial E_y}{\partial y} + \frac{\partial E_z}{\partial z} y despejamos la densidad de carga como ρ=ε0(∇⃗⋅E⃗)\rho = \varepsilon_0 (\vec{\nabla}\cdot\vec{E}).

Calculo paso a paso

  1. Derivada parcial de Ex=2x2yE_x = 2x^2 y respecto a xx: ∂Ex∂x=∂∂x(2x2y)=4xy\frac{\partial E_x}{\partial x} = \frac{\partial}{\partial x}(2x^2 y) = 4xy

  2. Derivada parcial de Ey=−y2zE_y = -y^2 z respecto a yy: ∂Ey∂y=∂∂y(−y2z)=−2yz\frac{\partial E_y}{\partial y} = \frac{\partial}{\partial y}(-y^2 z) = -2yz

  3. Derivada parcial de Ez=3z2xE_z = 3z^2 x respecto a zz: ∂Ez∂z=∂∂z(3z2x)=6zx\frac{\partial E_z}{\partial z} = \frac{\partial}{\partial z}(3z^2 x) = 6zx

  4. Suma de la divergencia: ∇⃗⋅E⃗=4xy−2yz+6zx[N/(C⋅m)]\vec{\nabla}\cdot\vec{E} = 4xy - 2yz + 6zx \quad [\text{N/(C}\cdot\text{m)}]

  5. Evaluación en el punto P(1,2,−1)P(1, 2, -1): ∇⃗⋅E⃗(P)=4(1)(2)−2(2)(−1)+6(−1)(1)=8−(−4)−6=8+4−6=+6 N/(C⋅m)\vec{\nabla}\cdot\vec{E}(P) = 4(1)(2) - 2(2)(-1) + 6(-1)(1) = 8 - (-4) - 6 = 8 + 4 - 6 = +6 \text{ N/(C}\cdot\text{m)}

  6. Determinación de la densidad de carga ρ\rho: ρ=ε0(∇⃗⋅E⃗)=(8.854×10−12 C2/(N⋅m2))×(6 N/(C⋅m))\rho = \varepsilon_0 (\vec{\nabla}\cdot\vec{E}) = (8.854 \times 10^{-12} \text{ C}^2/(\text{N}\cdot\text{m}^2)) \times (6 \text{ N}/(\text{C}\cdot\text{m})) ρ=5.3124×10−11 C/m3=+53.12 pC/m3\rho = 5.3124 \times 10^{-11} \text{ C/m}^3 = +53.12 \text{ pC/m}^3

Lectura del resultado

La divergencia es positiva (+6+6), indicando que en el punto PP las líneas de campo eléctrico experimentan una dispersión neta hacia afuera. Por la ley de Gauss, esto requiere físicamente una densidad de carga positiva neta de +53.12 pC/m3+53.12 \text{ pC/m}^3.

Error común evitado

Sumar las derivadas conservando vectores unitarios (como 4xyi^−2yzj^+6zxk^4xy \hat{i} - 2yz \hat{j} + 6zx \hat{k}). La divergencia es un producto escalar operacional que produce estrictamente un campo escalar, no un vector.


Ejemplo inverso

Resultado dado

El campo de velocidades de un flujo incompresible en dos dimensiones tiene componente horizontal: vx(x,y)=3x2−2yv_x(x,y) = 3x^2 - 2y

Que pregunta física permite responder

¿Cuál debe ser la forma matemática de la componente vertical vy(x,y)v_y(x,y) para garantizar la conservación de la masa líquida? La condición de incompresibilidad impone: ∇⃗⋅v⃗=∂vx∂x+∂vy∂y=0\vec{\nabla}\cdot\vec{v} = \frac{\partial v_x}{\partial x} + \frac{\partial v_y}{\partial y} = 0 Calculamos la derivada de vxv_x: ∂vx∂x=∂∂x(3x2−2y)=6x\frac{\partial v_x}{\partial x} = \frac{\partial}{\partial x}(3x^2 - 2y) = 6x Por tanto: ∂vy∂y=−6x\frac{\partial v_y}{\partial y} = -6x Integrando respecto a yy: vy(x,y)=−6xy+g(x)v_y(x,y) = -6xy + g(x) donde g(x)g(x) es una función arbitraria que depende exclusivamente de xx. Cualquier campo con esta estructura vertical garantiza divergencia idénticamente nula y conservación perfecta de volumen.

Errores frecuentes

Error 1: Devolver un vector en lugar de un escalar

Escribir la divergencia manteniendo los vectores unitarios cartesianos i^,j^,k^\hat{i}, \hat{j}, \hat{k}. La divergencia es un producto escalar diferencial y da como resultado un número escalar en cada punto.

Error 2: Derivar la componente radial sin el factor r2r^2 en esféricas

Calcular ∂rFr\partial_r F_r en lugar de 1r2∂r(r2Fr)\frac{1}{r^2} \partial_r (r^2 F_r). Esto llevaría a la conclusión errónea de que el campo de Coulomb tiene divergencia no nula en el vacío.

Error 3: Confundir un campo sin divergencia con un campo constante

Creer que ∇⃗⋅F⃗=0\vec{\nabla}\cdot\vec{F} = 0 implica que F⃗\vec{F} es constante en el espacio. Campos altamente complejos como el campo magnético de un toroide o la velocidad de un vórtice tienen divergencia nula y son fuertemente variables.

Error 4: Olvidar la singularidad de Dirac en el origen

Para un campo F⃗=r^r2\vec{F} = \frac{\hat{r}}{r^2}, afirmar que su divergencia es cero en todo el espacio sin excluir r=0r=0. En el origen, ∇⃗⋅(r^r2)=4πδ3(r⃗)\vec{\nabla}\cdot\left(\frac{\hat{r}}{r^2}\right) = 4\pi \delta^3(\vec{r}).

Error 5: Aplicar la divergencia a un campo escalar

Intentar calcular ∇⃗⋅ϕ\vec{\nabla}\cdot\phi. La divergencia solo actúa sobre campos vectoriales; sobre escalares, la operación correspondiente es el gradiente ∇⃗ϕ\vec{\nabla}\phi.

Regla rápida de detección

Si el resultado de una divergencia contiene componentes direccionales, o si en coordenadas polares se omitió el término métrico 1/r1/r, el planteamiento contiene un error de formalismo.

Aplicaciones físicas

1. Electromagnetismo y leyes de Maxwell

Las dos primeras ecuaciones de Maxwell gobiernan la divergencia:

  • ∇⃗⋅E⃗=ρ/ε0\vec{\nabla}\cdot\vec{E} = \rho/\varepsilon_0 (relaciona el campo eléctrico con la densidad de carga fuente).
  • ∇⃗⋅B⃗=0\vec{\nabla}\cdot\vec{B} = 0 (establece la naturaleza solenoidal del campo magnético y la ausencia de monopolos).

2. Hidrodinámica e incompresibilidad de fluidos

La ecuación de Navier-Stokes para fluidos incompresibles (agua, sangre, petróleo en tuberías) se simplifica enormemente mediante la condición solenoidal ∇⃗⋅v⃗=0\vec{\nabla}\cdot\vec{v} = 0.

3. Dinámica de gases y ondas de choque acústicas

En flujo compresible (aerodinámica supersónica), la divergencia de la velocidad ∇⃗⋅v⃗\vec{\nabla}\cdot\vec{v} cuantifica la tasa de compresión o dilatación del gas y predice la aparición de ondas de choque.

4. Transferencia de calor y generación interna

En termodinámica, el balance de energía en un sólido con fuentes internas de calor (reacciones exotérmicas, decaimiento radiactivo) se modela mediante −∇⃗⋅q⃗+Q=ρcp∂T∂t-\vec{\nabla}\cdot\vec{q} + Q = \rho c_p \frac{\partial T}{\partial t}.

5. Astrofísica y equilibrio estelar

En el interior de una estrella, el flujo radiativo satisface ∇⃗⋅F⃗rad=ρϵ\vec{\nabla}\cdot\vec{F}_{\text{rad}} = \rho \epsilon (donde ϵ\epsilon es la tasa de generación nuclear de energía en el núcleo estelar).

Practica

Problema 1: Divergencia de un campo de fuerza radial en coordenadas esféricas

Un campo de fuerzas newtoniano varía como F⃗(r⃗)=rne^r\vec{F}(\vec{r}) = r^n \hat{e}_r, donde r=∥r⃗∥r = \|\vec{r}\| y nn es una constante entera.

  1. Utilizando la expresión de la divergencia en coordenadas esféricas, halle ∇⃗⋅F⃗\vec{\nabla}\cdot\vec{F} para todo r>0r > 0.
  2. ¿Para qué valor particular del exponente nn el campo tiene divergencia idénticamente cero (campo solenoidal)?

Solución:

  1. En coordenadas esféricas con dependencia puramente radial (Fθ=Fφ=0F_\theta = F_\varphi = 0): ∇⃗⋅F⃗=1r2∂∂r(r2Fr)=1r2∂∂r(r2rn)=1r2∂∂r(rn+2)\vec{\nabla}\cdot\vec{F} = \frac{1}{r^2} \frac{\partial}{\partial r}(r^2 F_r) = \frac{1}{r^2} \frac{\partial}{\partial r}(r^2 r^n) = \frac{1}{r^2} \frac{\partial}{\partial r}(r^{n+2}) ∇⃗⋅F⃗=1r2(n+2)rn+1=(n+2)rn−1\vec{\nabla}\cdot\vec{F} = \frac{1}{r^2} (n+2) r^{n+1} = (n+2) r^{n-1}
  2. Para que ∇⃗⋅F⃗=0\vec{\nabla}\cdot\vec{F} = 0, se requiere: n+2=0  ⟹  n=−2n + 2 = 0 \implies n = -2 Esto demuestra rigurosamente por qué las leyes de la gravitación universal y de Coulomb deben seguir una ley del inverso del cuadrado ∼1/r2\sim 1/r^2: es el único exponente para el cual el campo es solenoidal en todo el espacio libre de fuentes.

Problema 2: Compresibilidad en dinámica atmosférica

El viento en una capa atmosférica se modela mediante el campo de velocidades: v⃗(x,y)=(U0cos⁡(kx)cosh⁡(ky))i^−(U0sin⁡(kx)sinh⁡(ky))j^\vec{v}(x,y) = (U_0 \cos(k x) \cosh(k y)) \hat{i} - (U_0 \sin(k x) \sinh(k y)) \hat{j}

  1. Calcule la divergencia ∇⃗⋅v⃗\vec{\nabla}\cdot\vec{v}.
  2. Determine si el aire experimenta convergencia barométrica o si se comporta de forma incompresible.

Solución:

  1. Calculamos derivadas: ∂vx∂x=∂∂x[U0cos⁡(kx)cosh⁡(ky)]=−kU0sin⁡(kx)cosh⁡(ky)\frac{\partial v_x}{\partial x} = \frac{\partial}{\partial x}[U_0 \cos(k x) \cosh(k y)] = -k U_0 \sin(k x) \cosh(k y) ∂vy∂y=∂∂y[−U0sin⁡(kx)sinh⁡(ky)]=−kU0sin⁡(kx)cosh⁡(ky)\frac{\partial v_y}{\partial y} = \frac{\partial}{\partial y}[-U_0 \sin(k x) \sinh(k y)] = -k U_0 \sin(k x) \cosh(k y)
  2. Sumando las componentes: ∇⃗⋅v⃗=−2kU0sin⁡(kx)cosh⁡(ky)\vec{\nabla}\cdot\vec{v} = -2 k U_0 \sin(k x) \cosh(k y) Como la divergencia no es nula, el flujo atmosférico no es incompresible. Las zonas donde ∇⃗⋅v⃗<0\vec{\nabla}\cdot\vec{v} < 0 corresponden a regiones de convergencia de masa donde se acumula humedad y se forman borrascas meteorológicas.

Problema 3: Corriente de convección y ley de conservación de carga

La densidad de corriente en un conductor es J⃗(x,y,z,t)=J0e−αt(xi^+yj^+zk^)\vec{J}(x,y,z,t) = J_0 e^{-\alpha t} (x \hat{i} + y \hat{j} + z \hat{k}). Utilizando la ecuación de continuidad ∂ρ∂t+∇⃗⋅J⃗=0\frac{\partial \rho}{\partial t} + \vec{\nabla}\cdot\vec{J} = 0, determine la tasa de variación de la densidad de carga ∂ρ∂t\frac{\partial \rho}{\partial t}.

Solución:

  1. Divergencia de J⃗\vec{J}: ∇⃗⋅J⃗=J0e−αt(∂x∂x+∂y∂y+∂z∂z)=J0e−αt(1+1+1)=3J0e−αt\vec{\nabla}\cdot\vec{J} = J_0 e^{-\alpha t} \left( \frac{\partial x}{\partial x} + \frac{\partial y}{\partial y} + \frac{\partial z}{\partial z} \right) = J_0 e^{-\alpha t} (1 + 1 + 1) = 3 J_0 e^{-\alpha t}
  2. Por la ecuación de continuidad: ∂ρ∂t=−∇⃗⋅J⃗=−3J0e−αt\frac{\partial \rho}{\partial t} = -\vec{\nabla}\cdot\vec{J} = -3 J_0 e^{-\alpha t} La carga neta disminuye exponencialmente a una tasa proporcional a 3J03 J_0.