Vector Analysis and Tensors - Key Properties

Understanding the fundamental properties and identities of vector calculus and tensor algebra is essential for manipulating physical equations and deriving conservation laws.

Vector Calculus Identities

The interrelationships between gradient, divergence, and curl form a rich algebraic structure with deep physical meaning.

DefinitionFundamental Vector Identities

Let $f$ and $g$ be scalar fields, and $\mathbf{F}$ and $\mathbf{G}$ be vector fields. Key identities include:

Curl-free gradients: $\nabla \times (\nabla f) = \mathbf{0}$

Divergence-free curls: $\nabla \cdot (\nabla \times \mathbf{F}) = 0$

Laplacian relation: $\nabla^2 f = \nabla \cdot (\nabla f)$

Product rules: $\nabla(fg) = f\nabla g + g\nabla f$ $\nabla \cdot (f\mathbf{F}) = f(\nabla \cdot \mathbf{F}) + \mathbf{F} \cdot \nabla f$ $\nabla \times (f\mathbf{F}) = f(\nabla \times \mathbf{F}) + (\nabla f) \times \mathbf{F}$

The identity $\nabla \times (\nabla f) = \mathbf{0}$ implies that conservative force fields (derivable from a potential) have zero curl, meaning no circulation. Similarly, $\nabla \cdot (\nabla \times \mathbf{F}) = 0$ shows that magnetic fields, being curls of vector potentials, are divergence-free (no magnetic monopoles).

ExampleVector Triple Product Identity

The BAC-CAB rule provides a crucial simplification:

$\nabla \times (\nabla \times \mathbf{F}) = \nabla(\nabla \cdot \mathbf{F}) - \nabla^2\mathbf{F}$

This appears in electromagnetic wave equations. Starting from Maxwell's equations in vacuum:

$\nabla \times \mathbf{E} = -\frac{\partial \mathbf{B}}{\partial t}, \quad \nabla \times \mathbf{B} = \mu_0\epsilon_0\frac{\partial \mathbf{E}}{\partial t}$

Taking the curl of the first equation and using the identity yields:

$\nabla^2\mathbf{E} - \mu_0\epsilon_0\frac{\partial^2 \mathbf{E}}{\partial t^2} = \mathbf{0}$

the electromagnetic wave equation with speed $c = 1/\sqrt{\mu_0\epsilon_0}$ .

Integral Theorems

The fundamental theorems of vector calculus connect local differential properties to global integral properties.

TheoremDivergence Theorem (Gauss)

For a vector field $\mathbf{F}$ continuously differentiable in a region $V$ bounded by a closed surface $S$ with outward normal $\hat{\mathbf{n}}$ :

$\iiint_V (\nabla \cdot \mathbf{F})\,dV = \iint_S \mathbf{F} \cdot \hat{\mathbf{n}}\,dS$

The total divergence in a volume equals the flux through its boundary.

TheoremStokes' Theorem

For a vector field $\mathbf{F}$ continuously differentiable on a surface $S$ bounded by a closed curve $C$ with tangent direction $d\boldsymbol{\ell}$ :

$\iint_S (\nabla \times \mathbf{F}) \cdot \hat{\mathbf{n}}\,dS = \oint_C \mathbf{F} \cdot d\boldsymbol{\ell}$

The total curl flux through a surface equals the circulation around its boundary.

These theorems encode conservation laws. For instance, if $\mathbf{J}$ is a current density, $\nabla \cdot \mathbf{J} = 0$ (continuity) implies the total flux through any closed surface is zero, establishing charge conservation.

Tensor Operations and Symmetries

Tensor algebra involves contraction, symmetrization, and antisymmetrization operations that reveal physical structure.

DefinitionTensor Contraction

Contraction reduces a tensor's rank by summing over paired upper and lower indices:

$T^i_i = \sum_{i=1}^n T^i_i$

For a $(1,1)$ tensor, the contraction gives the trace. The metric tensor $g_{ij}$ is used to raise and lower indices:

$T^i = g^{ij}T_j, \quad T_i = g_{ij}T^j$

DefinitionSymmetric and Antisymmetric Tensors

A rank-2 tensor $T_{ij}$ is symmetric if $T_{ij} = T_{ji}$ and antisymmetric if $T_{ij} = -T_{ji}$ . Any tensor decomposes uniquely:

$T_{ij} = \frac{1}{2}(T_{ij} + T_{ji}) + \frac{1}{2}(T_{ij} - T_{ji}) = T_{(ij)} + T_{[ij]}$

where $T_{(ij)}$ is symmetric and $T_{[ij]}$ is antisymmetric.

RemarkPhysical Significance of Symmetries

The stress tensor $\sigma_{ij}$ is symmetric due to angular momentum conservation
The electromagnetic field tensor $F_{\mu\nu}$ is antisymmetric, with 6 independent components (3 for $\mathbf{E}$ , 3 for $\mathbf{B}$ )
The moment of inertia tensor $I_{ij}$ is symmetric with 6 independent components
The Riemann curvature tensor $R^\rho_{\sigma\mu\nu}$ has specific symmetries that reduce its components from 256 to 20 in 4D spacetime

Understanding these properties allows physicists to count degrees of freedom, identify conserved quantities, and simplify complex equations governing physical systems.