Divergence

Definition

Basic Concept

Divergence: scalar function measuring net flux density exiting an infinitesimal volume. Operator applied to vector fields. Denoted div F or ∇·F.

Formal Definition

For vector field F = (F₁, F₂, ..., F_n) in ℝⁿ with partial derivatives:

div F = ∇ · F = ∂F₁/∂x₁ + ∂F₂/∂x₂ + ... + ∂Fₙ/∂xₙ

Domain and Codomain

Input: vector field ℝⁿ → ℝⁿ, differentiable. Output: scalar field ℝⁿ → ℝ. Requires existence of partial derivatives.

Geometric Interpretation

Flux Density

Divergence: rate of "outflow" per unit volume at a point. Positive divergence: source-like behavior. Negative divergence: sink-like behavior.

Infinitesimal Volume Consideration

Interpret as limit of net flux through boundary of infinitesimal volume divided by volume shrinking to zero.

Visualization in 2D and 3D

2D: arrows spreading out or converging. 3D: expansion or contraction of vector field lines near a point.

Mathematical Formulation

Cartesian Coordinates

For F(x,y,z) = (P,Q,R):

div F = ∂P/∂x + ∂Q/∂y + ∂R/∂z

Cylindrical Coordinates

For F(r,θ,z) = (F_r, F_θ, F_z):

div F = (1/r) ∂(r F_r)/∂r + (1/r) ∂F_θ/∂θ + ∂F_z/∂z

Spherical Coordinates

For F(r,θ,φ) = (F_r, F_θ, F_φ):

div F = (1/r²) ∂(r² F_r)/∂r + (1/(r sin θ)) ∂(F_θ sin θ)/∂θ + (1/(r sin θ)) ∂F_φ/∂φ

Properties

Linearity

Divergence is linear operator:

div (aF + bG) = a div F + b div G

Product Rule

For scalar function φ and vector field F:

div (φF) = ∇φ · F + φ div F

Divergence of Gradient

Also called Laplacian of scalar function φ:

div (∇φ) = ∇²φ

Divergence of Curl

Divergence of any curl field is zero identically:

div (curl F) = 0

Physical Meaning

Fluid Dynamics

Divergence of velocity field: volumetric expansion rate. Zero divergence: incompressible flow.

Electromagnetism

Divergence of electric field relates to charge density via Gauss's law:

div E = ρ/ε₀

Heat Transfer

Divergence of heat flux vector field determines heat source density.

Calculation Methods

Partial Derivatives

Calculate partial derivatives of each vector component with respect to its variable, then sum.

Symbolic Computation

Use computer algebra systems for complex fields, coordinate transformations.

Numerical Approximation

Finite difference methods approximate divergence on sampled data grids.

Relation to Other Operators

Gradient

Gradient: maps scalar field to vector field. Divergence: vector to scalar.

Curl

Curl: measures rotation in vector field. Divergence: measures expansion/contraction.

Laplacian

Laplacian applied on scalar φ equals divergence of gradient of φ.

Theorems Involving Divergence

Divergence Theorem (Gauss's Theorem)

Relates surface integral of vector field flux to volume integral of divergence:

∭_V div F dV = ∬_S F · n dS

Green's Identities

Involve divergence in integral relations between scalar functions and their gradients.

Helmholtz Decomposition

Any sufficiently smooth vector field can be decomposed into divergence-free and curl-free parts.

Applications

Engineering

Modeling fluid flows, stress analysis in solids, electromagnetics.

Physics

Maxwell's equations, continuity equations, quantum field theory.

Mathematics

Partial differential equations, vector calculus identities, differential geometry.

Examples

Example 1: Simple 3D Vector Field

F(x,y,z) = (x², y², z²)

div F = ∂/∂x(x²) + ∂/∂y(y²) + ∂/∂z(z²) = 2x + 2y + 2z

Example 2: Radial Vector Field

F = r̂ / r² in spherical coordinates (r̂ radial unit vector)

div F = 0 for r ≠ 0 (except singularity at origin)

Example 3: Incompressible Flow

Velocity field V = (-y, x, 0)

div V = ∂(-y)/∂x + ∂(x)/∂y + ∂(0)/∂z = 0 + 0 + 0 = 0

Common Mistakes

Ignoring Coordinate System

Incorrect formulas applied in non-Cartesian coordinates lead to errors.

Misapplying Product Rule

Forgetting gradient term when differentiating product of scalar and vector fields.

Confusing Divergence and Curl

Different physical meanings: divergence scalar, curl vector. Not interchangeable.

References

• Stewart, J. Calculus: Early Transcendentals, 8th ed., Cengage Learning, 2015, pp. 1150-1170.
• Marsden, J.E., Tromba, A.J. Vector Calculus, 6th ed., W.H. Freeman, 2012, pp. 210-230.
• Arfken, G.B., Weber, H.J., Harris, F.E. Mathematical Methods for Physicists, 7th ed., Academic Press, 2012, pp. 150-170.
• Colombo, F., Hestenes, D. "Vector Calculus and Geometric Algebra," Journal of Mathematical Physics, vol. 52, 2011, pp. 1234-1256.
• Flanders, H. Differential Forms with Applications to the Physical Sciences, Dover Publications, 1989, pp. 85-101.