ConceptComplete

Vector Analysis and Tensors - Examples and Constructions

Concrete applications of vector and tensor calculus illuminate their power in describing physical phenomena across mechanics, electromagnetism, and relativity.

Electromagnetic Field Analysis

The electric and magnetic fields provide canonical examples of vector fields governed by Maxwell's equations.

ExampleElectromagnetic Potential and Gauge Freedom

The vector potential A\mathbf{A} and scalar potential ϕ\phi define the fields:

E=ϕAt,B=×A\mathbf{E} = -\nabla\phi - \frac{\partial \mathbf{A}}{\partial t}, \quad \mathbf{B} = \nabla \times \mathbf{A}

These automatically satisfy B=0\nabla \cdot \mathbf{B} = 0 and ×E=B/t\nabla \times \mathbf{E} = -\partial\mathbf{B}/\partial t (two of Maxwell's equations). The gauge transformation:

A=A+χ,ϕ=ϕχt\mathbf{A}' = \mathbf{A} + \nabla\chi, \quad \phi' = \phi - \frac{\partial\chi}{\partial t}

leaves E\mathbf{E} and B\mathbf{B} invariant for any scalar function χ(x,t)\chi(x,t). Common gauges include:

  • Coulomb gauge: A=0\nabla \cdot \mathbf{A} = 0 (convenient for static problems)
  • Lorenz gauge: A+μ0ϵ0ϕt=0\nabla \cdot \mathbf{A} + \mu_0\epsilon_0\frac{\partial\phi}{\partial t} = 0 (manifestly relativistic)
ExamplePoynting Vector and Energy Flow

The electromagnetic energy density is:

u=ϵ02E2+12μ0B2u = \frac{\epsilon_0}{2}E^2 + \frac{1}{2\mu_0}B^2

The Poynting vector describes energy flux:

S=1μ0E×B\mathbf{S} = \frac{1}{\mu_0}\mathbf{E} \times \mathbf{B}

Energy conservation follows from:

ut+S=JE\frac{\partial u}{\partial t} + \nabla \cdot \mathbf{S} = -\mathbf{J} \cdot \mathbf{E}

where JE\mathbf{J} \cdot \mathbf{E} represents work done on charges. For a plane wave E=E0cos(kzωt)x^\mathbf{E} = E_0\cos(kz - \omega t)\hat{\mathbf{x}}, B=(E0/c)cos(kzωt)y^\mathbf{B} = (E_0/c)\cos(kz - \omega t)\hat{\mathbf{y}}, the time-averaged Poynting vector is:

S=E022μ0cz^=ϵ0cE022z^\langle\mathbf{S}\rangle = \frac{E_0^2}{2\mu_0 c}\hat{\mathbf{z}} = \frac{\epsilon_0 c E_0^2}{2}\hat{\mathbf{z}}

pointing in the direction of propagation.

Tensor Constructions in Mechanics

Classical mechanics provides intuitive examples of rank-2 tensors arising from linear maps between vectors.

ExampleMoment of Inertia Tensor

For a rigid body with mass distribution ρ(r)\rho(\mathbf{r}), the angular momentum L\mathbf{L} relates to angular velocity ω\boldsymbol{\omega} through:

Li=IijωjL_i = I_{ij}\omega_j

where the inertia tensor is:

Iij=ρ(r)(r2δijxixj)d3rI_{ij} = \int \rho(\mathbf{r})\left(r^2\delta_{ij} - x_i x_j\right)d^3r

For a uniform sphere of radius RR and mass MM rotating about the zz-axis:

Iij=2MR25diag(1,1,1)I_{ij} = \frac{2MR^2}{5}\mathrm{diag}(1,1,1)

The diagonal form reflects spherical symmetry. The rotational kinetic energy is:

T=12Iijωiωj=12ωIωT = \frac{1}{2}I_{ij}\omega_i\omega_j = \frac{1}{2}\boldsymbol{\omega} \cdot \mathbf{I} \cdot \boldsymbol{\omega}

ExampleStress Tensor in Continuum Mechanics

In an elastic medium, the force per unit area (traction) t\mathbf{t} on a surface with normal n^\hat{\mathbf{n}} is:

ti=σijnjt_i = \sigma_{ij}n_j

The stress tensor σij\sigma_{ij} has components:

σij=FiAj\sigma_{ij} = \frac{F_i}{A_j}

where FiF_i is the ii-component of force on a surface perpendicular to the jj-direction. For hydrostatic pressure pp:

σij=pδij\sigma_{ij} = -p\delta_{ij}

For a general elastic body, the stress-strain relation (Hooke's law) involves the rank-4 elastic tensor CijklC_{ijkl}:

σij=Cijklϵkl\sigma_{ij} = C_{ijkl}\epsilon_{kl}

where ϵkl=12(kul+luk)\epsilon_{kl} = \frac{1}{2}(\partial_k u_l + \partial_l u_k) is the strain tensor and u\mathbf{u} is the displacement field.

RemarkTensor Invariants

Physical quantities often depend on tensor invariants that remain unchanged under coordinate rotations:

  • Trace: I1=TiiI_1 = T^i_i (first invariant)
  • Determinant: det(Tij)\det(T_{ij}) (third invariant)
  • Contraction: I2=TijTijI_2 = T_{ij}T^{ij} (related to second invariant)

These appear in characteristic equations, stress analysis, and fluid dynamics.

These examples demonstrate how vector and tensor formalism provides a coordinate-independent language for expressing physical laws, crucial for both theoretical development and computational implementation.