← ArticlesClassical Physics Foundations: Geometry, Tensors and DynamicsEngineering · PhysicsLesson 1/13← PrevNext →
GuidePublished 14 Aug 202627 min readBy Kevin JoginPhysicsApplied Classical PhysicsClassical Physics Foundations: GeometryTensors and Dynamics

Engineering · Physics · Applied Classical Physics

Classical Physics Foundations: Geometry, Tensors and Dynamics

Engineering handbook for classical physics foundations: geometry, tensors and dynamics, covering geometric viewpoint of classical physics, /20 summary, newtonian...

Executive summary

This handbook section converts the supplied engineering material into a practical, source-controlled reference. It concentrates on the following learning outcomes.

Geometric Viewpoint of Classical Physics
/20 Summary
Newtonian Physics: Geometric Viewpoint
Foundational Concepts
Geometric Objects — Tensors Without Coordinates
Component Representation

Geometric Viewpoint of Classical Physics

the supplied physics reference, Applications of Classical Physics — Chapters 1–2 Companion to Modern Classical Physics (Princeton, 2017)



/20 Summary

  • Core thesis: physical laws are geometric relations between tensors that exist independently of any coordinate system or reference frame. Components are merely projections; the tensor itself is real.
  • Newtonian (Ch. 1): absolute time + 3-D Euclidean space → 3-tensors, orthonormal bases, dot product with δij\delta_{ij}.
  • Special Relativity (Ch. 2): 4-D spacetime with Minkowski metric ηαβ=diag(1,+1,+1,+1)\eta_{\alpha\beta} = \text{diag}(-1,+1,+1,+1) → 4-tensors, Lorentz transformations, no absolute simultaneity.
  • Three operational principles for the entire book:
    1. Write equations as tensor equalities (frame-independent).
    2. Choose the frame that simplifies (rest frame, lab frame, comoving).
    3. Project to components only at the end.
  • Key payoff: every later branch (fluids, plasma, GR, optics) reuses the same tensorial machinery — stress, stress-energy, Maxwell tensor, fluid 4-velocity.


Master Map

mindmap
  root((Foundations))
    Geometric objects
      Scalars
      Vectors
      Tensors of rank n
      Frame independence
    Newtonian (Ch.1)
      Absolute time
      Euclidean 3-space
      Orthonormal basis
      delta_ij metric
      Stress tensor T_ij
      Newton's 2nd law
      EM in 3-vector form
    Special Relativity (Ch.2)
      4-D spacetime
      Minkowski metric eta
      Light cones
      Proper time tau
      4-velocity u^alpha
      4-momentum p^alpha
      Stress-energy T^alphabeta
      Lorentz transforms
      EM tensor F^alphabeta
    Conservation laws
      Mass continuity
      Momentum (div T)
      Energy-momentum (div T^alphabeta)
      Charge (div J)
    Differential operators
      Gradient
      Divergence
      Curl (3D)
      d'Alembertian (4D)


Newtonian Physics: Geometric Viewpoint


Foundational Concepts

Concept Newtonian assumption Why it matters
Time Absolute, universal scalar tt; same for all observers Allows separation of space and time; clocks synchronize globally
Space 3-D Euclidean manifold 𝔼3\mathbb{E}^3, flat, isotropic Pythagoras holds; rotation group SO(3)SO(3) acts
Inertial frame Frame in which free particles move in straight lines at constant speed Newton's 1st law defines this class
Galilean relativity All inertial frames equivalent; transforms: 𝐱=𝐱𝐯t\mathbf{x}' = \mathbf{x} - \mathbf{v}t, t=tt' = t Velocities add linearly
Mass Scalar invariant; additive Both inertial (F=maF=ma) and gravitational

Geometric Objects — Tensors Without Coordinates

Definition (rank-nn tensor): a multilinear map T:V*××V*p times×V××Vq times,n=p+qT: \underbrace{V^* \times \cdots \times V^*}_{p \text{ times}} \times \underbrace{V \times \cdots \times V}_{q \text{ times}} \to \mathbb{R}, \quad n = p+q where VV is the vector space (here 𝔼3\mathbb{E}^3) and V*V^* its dual.

  • Scalar (rank-0): number; invariant. Examples: mass mm, temperature TT, charge qq.
  • Vector (rank-1): arrow; transforms as Vi=RijVjV^i = R^i{}_j V^j under rotations.
  • Rank-2 tensor: machine eating two vectors, outputting a scalar. Examples: stress TijT_{ij}, moment of inertia IijI_{ij}, strain eije_{ij}.

Key operations (all coordinate-free):

Operation Symbol Result Notes
Tensor product \otimes Rank-(n+m)(n+m) Non-commutative
Contraction trace over one slot Rank reduced by 2 Kills one up/one down index
Dot product 𝐀𝐁\mathbf{A} \cdot \mathbf{B} Scalar Uses metric δij\delta_{ij}
Cross product (3-D only) 𝐀×𝐁\mathbf{A} \times \mathbf{B} Pseudovector Uses Levi-Civita ϵijk\epsilon_{ijk}

Component Representation

Pick an orthonormal basis {𝐞1,𝐞2,𝐞3}\{\mathbf{e}_1, \mathbf{e}_2, \mathbf{e}_3\} with 𝐞i𝐞j=δij\mathbf{e}_i \cdot \mathbf{e}_j = \delta_{ij}:

𝐕=Vi𝐞i,T=Tij𝐞i𝐞j\mathbf{V} = V^i \mathbf{e}_i, \qquad T = T^{ij} \mathbf{e}_i \otimes \mathbf{e}_j

Einstein summation convention: repeated index ⇒ sum.

Index gymnastics in Euclidean space: because gij=δijg_{ij} = \delta_{ij}, up and down indices are interchangeable; we write everything with subscripts.

  • Dot product: 𝐀𝐁=AiBi\mathbf{A}\cdot\mathbf{B} = A_i B_i
  • Magnitude: |𝐕|2=ViVi|\mathbf{V}|^2 = V_i V_i
  • Cross product: (𝐀×𝐁)i=ϵijkAjBk(\mathbf{A}\times\mathbf{B})_i = \epsilon_{ijk} A_j B_k
  • Determinant: detM=ϵijkM1iM2jM3k\det M = \epsilon_{ijk} M_{1i} M_{2j} M_{3k}

Useful identity (epsilon-delta): ϵijkϵilm=δjlδkmδjmδkl\epsilon_{ijk}\epsilon_{ilm} = \delta_{jl}\delta_{km} - \delta_{jm}\delta_{kl}


Orthogonal Transformations of Bases

Change basis: 𝐞i=Rij𝐞j\mathbf{e}_{i'} = R_{i'j} \mathbf{e}_j with RTR=IR^T R = I, i.e. RijRik=δjkR_{i'j} R_{i'k} = \delta_{jk}.

Components transform contragredient/cogredient:

Object Transformation rule
Vector Vi=RijVjV_{i'} = R_{i'j} V_j
Rank-2 Tij=RikRjlTklT_{i'j'} = R_{i'k} R_{j'l} T_{kl}
Scalar S=SS' = S (invariant)
Pseudoscalar S̃=(detR)S\tilde S' = (\det R)\, S (flips under reflection)
Pseudovector Ṽi=(detR)RijṼj\tilde V_{i'} = (\det R)\, R_{i'j}\,\tilde V_j

Two parities:

  • True (polar) tensors: position, velocity, force.
  • Pseudo (axial) tensors: angular velocity, magnetic field, torque — pick up extra detR\det R under improper rotations (reflections).

Differentiation of Tensor Fields

Gradient operator 𝛁=𝐞ii\boldsymbol\nabla = \mathbf{e}_i \partial_i (with i=/xi\partial_i = \partial/\partial x_i).

Operation Rank Formula
𝛁ϕ\boldsymbol\nabla \phi scalar → vector (ϕ)i=iϕ(\nabla\phi)_i = \partial_i \phi
𝛁𝐕\boldsymbol\nabla \cdot \mathbf{V} vector → scalar iVi\partial_i V_i
𝛁×𝐕\boldsymbol\nabla \times \mathbf{V} vector → pseudovector ϵijkjVk\epsilon_{ijk}\partial_j V_k
𝛁𝐕\boldsymbol\nabla \otimes \mathbf{V} vector → rank-2 iVj\partial_i V_j
2ϕ\nabla^2 \phi scalar → scalar iiϕ\partial_i \partial_i \phi

Key identities (memorize):

∇·(∇×A) = 0           (div curl = 0)
∇×(∇φ) = 0            (curl grad = 0)
∇×(∇×A) = ∇(∇·A) − ∇²A
∇·(φA) = φ∇·A + A·∇φ
∇×(φA) = φ∇×A + ∇φ × A
∇·(A×B) = B·(∇×A) − A·(∇×B)
(A·∇)B = A_j ∂_j B_i   (note: not a scalar; vector)
∇(A·B) = (A·∇)B + (B·∇)A + A×(∇×B) + B×(∇×A)

Volumes, Integration, Integral Conservation Laws

Three integral theorems (Stokes' theorem in disguise):

flowchart LR
    A["Gradient Thm:\n∫∇φ · dl = φ_b − φ_a"]
    B["Divergence Thm:\n∫_V ∇·A dV = ∮_∂V A · dS"]
    C["Curl / Stokes Thm:\n∫_S (∇×A) · dS = ∮_∂S A · dl"]

Generic conservation-law template:

For any density ρ\rho with flux 𝐅\mathbf{F}:

ρt+𝐅=σ\boxed{\frac{\partial \rho}{\partial t} + \nabla \cdot \mathbf{F} = \sigma}

where σ\sigma is source/sink (zero ⇒ strict conservation). Integrate over fixed volume VV:

ddtVρdV=V𝐅d𝐒+VσdV\frac{d}{dt}\int_V \rho\, dV = -\oint_{\partial V} \mathbf{F}\cdot d\mathbf{S} + \int_V \sigma\, dV

Applications (all from this template):

Quantity ρ\rho Flux 𝐅\mathbf{F} Equation name
Mass density ρ\rho ρ𝐯\rho \mathbf{v} Continuity equation
Charge density ρe\rho_e 𝐉\mathbf{J} Charge conservation
Momentum density ρvi\rho v_i Stress TijT_{ij} Momentum balance
Energy density uu Energy flux 𝐪\mathbf{q} Energy conservation
Particle density nn n𝐯n\mathbf{v} Particle conservation

The Stress Tensor — Linchpin of All Continuum Physics

Definition: TijT_{ij} is the ii-th component of the force per unit area transmitted across a surface whose outward normal points in the +j+j direction.

dFi=TijdSj\mathrm{d}F_i = T_{ij}\, \mathrm{d}S_j

Properties:

  • Symmetric, Tij=TjiT_{ij} = T_{ji} (proof: angular-momentum conservation; vanishing torque on infinitesimal cube as L0L\to 0).
  • 3 eigenvalues = principal stresses; 3 mutually perpendicular principal axes.
  • Pressure is the isotropic part: p=13Tiip = -\tfrac{1}{3} T_{ii} (trace/3, negative because compression).
  • Deviatoric stress τijTij+pδij\tau_{ij} \equiv T_{ij} + p\,\delta_{ij} is the traceless shear part.

Momentum conservation (Newton 2nd law for continua):

(ρvi)t+j(ρvivj+Tij)=fiext\boxed{\frac{\partial (\rho v_i)}{\partial t} + \partial_j\!\left(\rho v_i v_j + T_{ij}\right) = f_i^{\text{ext}}}

(Here I include the convective momentum flux ρvivj\rho v_i v_j inside the divergence; some books separate it.)

Special cases of TijT_{ij}:

System Stress tensor
Perfect fluid Tij=pδijT_{ij} = p\,\delta_{ij}
Viscous fluid Tij=pδij2ησijζ(𝐯)δijT_{ij} = p\,\delta_{ij} - 2\eta\, \sigma_{ij} - \zeta\,(\nabla\!\cdot\!\mathbf{v})\delta_{ij}
Elastic solid (Hooke) Tij=KΘδij2μ(eij13Θδij)T_{ij} = -K\,\Theta\,\delta_{ij} - 2\mu(e_{ij} - \tfrac{1}{3}\Theta\,\delta_{ij})
EM field (vacuum) TijEM=14π[12(E2+B2)δijEiEjBiBj]T_{ij}^{EM} = \tfrac{1}{4\pi}\!\left[\tfrac{1}{2}(E^2+B^2)\delta_{ij} - E_i E_j - B_i B_j\right] (Gaussian)

Electromagnetism in Geometric (3-D) Form

Maxwell's equations (Gaussian units, vacuum):

𝐄=4πρe\nabla\cdot\mathbf{E} = 4\pi\rho_e 𝐁=0\nabla\cdot\mathbf{B} = 0 ×𝐄=1c𝐁t\nabla\times\mathbf{E} = -\frac{1}{c}\frac{\partial \mathbf{B}}{\partial t} ×𝐁=4πc𝐉+1c𝐄t\nabla\times\mathbf{B} = \frac{4\pi}{c}\mathbf{J} + \frac{1}{c}\frac{\partial \mathbf{E}}{\partial t}

Lorentz force: 𝐅=q(𝐄+𝐯c×𝐁)\mathbf{F} = q\!\left(\mathbf{E} + \tfrac{\mathbf{v}}{c}\times\mathbf{B}\right)

Charge conservation (follows automatically from \nabla\cdot of Ampère + t\partial_t of Gauss): tρe+𝐉=0\partial_t \rho_e + \nabla\cdot\mathbf{J} = 0

EM stress-energy (a teaser for Ch. 2):

  • Energy density: uEM=(E2+B2)/(8π)u_{EM} = (E^2 + B^2)/(8\pi)
  • Poynting flux: 𝐒=(c/4π)𝐄×𝐁\mathbf{S} = (c/4\pi)\,\mathbf{E}\times\mathbf{B}
  • Momentum density: 𝐠=𝐒/c2\mathbf{g} = \mathbf{S}/c^2

Geometric viewpoint summary (Ch. 1 wrap-up): 𝐄\mathbf{E} is a true vector, 𝐁\mathbf{B} is a pseudovector — meaning Maxwell theory is only formally tidy when we promote them to a rank-2 antisymmetric tensor FμνF_{\mu\nu} — which is exactly what Ch. 2 does.



Special Relativity: Geometric Viewpoint


Foundational Postulates

  1. Principle of Relativity: all inertial frames are physically equivalent.
  2. Constancy of cc: speed of light is the same finite invariant in every inertial frame.

Consequences (instantly):

  • Simultaneity is frame-dependent.
  • Time dilation: Δt=γΔτ\Delta t = \gamma\, \Delta\tau.
  • Length contraction: L=L0/γL = L_0/\gamma.
  • Velocity addition is nonlinear.

Define β=v/c\beta = v/c, γ=1/1β2\gamma = 1/\sqrt{1-\beta^2}.


Spacetime and Four-Vectors

Spacetime 𝕄4\mathbb{M}^4: 4-D manifold; an event is a point with coordinates xα=(ct,x,y,z)=(x0,x1,x2,x3)x^\alpha = (ct, x, y, z) = (x^0, x^1, x^2, x^3).

Conventions used throughout B&T:

  • Greek indices α,β,{0,1,2,3}\alpha,\beta,\ldots \in \{0,1,2,3\} (spacetime).
  • Latin i,j,{1,2,3}i,j,\ldots \in \{1,2,3\} (space).
  • Signature (,+,+,+)(-,+,+,+) — the "mostly plus" convention (matches the MTW / Thorne school).
  • Often set c=1c=1 in formal manipulations.

Four-vectors: geometric arrows in 𝕄4\mathbb{M}^4. Examples:

  • Displacement Δxα\Delta x^\alpha
  • 4-velocity uα=dxα/dτu^\alpha = dx^\alpha/d\tau
  • 4-momentum pα=muαp^\alpha = m u^\alpha
  • 4-acceleration aα=duα/dτa^\alpha = du^\alpha/d\tau
  • 4-current Jα=(cρe,𝐉)J^\alpha = (c\rho_e, \mathbf{J})
  • 4-wavevector kα=(ω/c,𝐤)k^\alpha = (\omega/c, \mathbf{k})

The Metric — The Heart of SR

ηαβ=diag(1,+1,+1,+1)\eta_{\alpha\beta} = \mathrm{diag}(-1,+1,+1,+1)

Spacetime interval (Lorentz-invariant):

ds2=ηαβdxαdxβ=c2dt2+dx2+dy2+dz2ds^2 = \eta_{\alpha\beta}\, dx^\alpha dx^\beta = -c^2 dt^2 + dx^2 + dy^2 + dz^2

Classification of intervals:

Sign of ds2ds^2 Name Physical meaning Example
ds2<0ds^2 < 0 Timelike Causally connectable; observer can travel between events Lifeline of a massive particle
ds2=0ds^2 = 0 Null/lightlike On the light cone Photon worldline
ds2>0ds^2 > 0 Spacelike Causally disconnected; "elsewhere" Two simultaneous distant events

Proper time: for a timelike worldline, dτ2=ds2/c2d\tau^2 = -ds^2/c^2. Proper time is the clock reading on the particle itself.

Light cone structure (essential picture):

              future
        \   timelike  /
         \    ^     /
          \   |    /
   null --→ \ |  / ← null
              \|/
   ----elsewhere-----elsewhere----
              /|\
   null --→ / | \ ← null
          /   |   \
         /    v    \
        /  timelike \
              past

Index Raising/Lowering & Dual Vectors

In SR (with η\eta), indices do not simply commute as in Euclidean space — the time component flips sign:

  • Up-vector (contravariant) VαV^\alpha
  • Down-vector (covariant) Vα=ηαβVβV_\alpha = \eta_{\alpha\beta} V^\beta

So if Vα=(V0,V1,V2,V3)V^\alpha = (V^0, V^1, V^2, V^3) then Vα=(V0,V1,V2,V3)V_\alpha = (-V^0, V^1, V^2, V^3).

Inner product: AB=ηαβAαBβ=AαBα=A0B0+𝐀𝐁A\cdot B = \eta_{\alpha\beta} A^\alpha B^\beta = A_\alpha B^\alpha = -A^0 B^0 + \mathbf{A}\cdot\mathbf{B}

Inverse metric: ηαβ=diag(1,+1,+1,+1)\eta^{\alpha\beta} = \mathrm{diag}(-1,+1,+1,+1) (same matrix in this convention).


Lorentz Transformations

A Lorentz transformation Λ\Lambda preserves the metric: ηαβ=ΛμαΛνβημν\eta_{\alpha\beta} = \Lambda^\mu{}_\alpha \Lambda^\nu{}_\beta \eta_{\mu\nu}.

Standard boost along xx with velocity v=βcv=\beta c:

Λαβ=(γγβ00γβγ0000100001)\Lambda^\alpha{}_\beta = \begin{pmatrix} \gamma & -\gamma\beta & 0 & 0 \\ -\gamma\beta & \gamma & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{pmatrix}

Explicit form: ct=γ(ctβx),x=γ(xβct),y=y,z=zct' = \gamma(ct - \beta x), \quad x' = \gamma(x - \beta ct), \quad y' = y, \quad z' = z

Rapidity parameterization: β=tanhη\beta = \tanh\eta, γ=coshη\gamma = \cosh\eta, γβ=sinhη\gamma\beta = \sinh\eta. Boosts then add linearly in rapidity — composition of two collinear boosts = boost with η1+η2\eta_1+\eta_2.

Full Lorentz group O(1,3)O(1,3):

  • 6 parameters: 3 boost rapidities + 3 spatial rotation angles.
  • Subgroups: proper orthochronous SO+(1,3)SO^+(1,3) (excludes parity P and time-reversal T).

Velocity addition (collinear): u=uv1uv/c2u' = \frac{u-v}{1 - uv/c^2}

Velocity addition (general 3-vector): see B&T §2.2. The component parallel to the boost transforms like collinear; perpendicular divides by γ(1uv/c2)\gamma(1-uv_\|/c^2).


Particle Kinematics

4-velocity: uα=dxα/dτ=γ(c,𝐯)u^\alpha = dx^\alpha/d\tau = \gamma(c, \mathbf{v}), with uαuα=c2u^\alpha u_\alpha = -c^2 (always; geometric identity).

4-momentum: pα=muα=(E/c,𝐩)p^\alpha = m u^\alpha = (E/c, \mathbf{p}) where

  • E=γmc2E = \gamma m c^2 (relativistic energy)
  • 𝐩=γm𝐯\mathbf{p} = \gamma m \mathbf{v} (relativistic 3-momentum)

On-shell condition (mass shell): pαpα=m2c2E2=(pc)2+(mc2)2\boxed{p^\alpha p_\alpha = -m^2 c^2 \quad\Leftrightarrow\quad E^2 = (pc)^2 + (mc^2)^2}

Limits:

  • Massive at rest: E=mc2E = mc^2
  • Massless (photon): E=pcE = pc, m=0m=0, moves on null geodesic
  • Non-relativistic: Emc2+12mv2+38mv4/c2+E \approx mc^2 + \tfrac{1}{2}mv^2 + \tfrac{3}{8}mv^4/c^2 + \cdots

4-acceleration: aα=duα/dτa^\alpha = du^\alpha/d\tau. Always orthogonal to 4-velocity: aαuα=0a^\alpha u_\alpha = 0 (differentiate uu=c2u\cdot u = -c^2).


Relativistic Collisions — Cheatsheet Logic

Workflow for any scattering problem:

flowchart TD
    A[Identify particles, assign 4-momenta] --> B[Write conservation: Σp_in = Σp_out]
    B --> C{Best frame?}
    C -->|Threshold/decay| D[CM frame: total p = 0]
    C -->|Lab measurement| E[Lab frame: one particle at rest]
    D --> F[Use invariants: s, t, u]
    E --> F
    F --> G[Solve in chosen frame]
    G --> H[Boost back if needed]

Mandelstam invariants (2→2 process, 1+23+41+2\to 3+4):

  • $s = -(p_1+p_2)^2 = $ (CM energy)2/c2^2/c^2
  • $t = -(p_1-p_3)^2 = $ momentum transfer
  • u=(p1p4)2u = -(p_1-p_4)^2
  • Identity: s+t+u=imi2c2s+t+u = \sum_i m_i^2 c^2

Threshold for endothermic reaction in lab frame (target at rest): E1th=(mfc2)2(m1c2)2(m2c2)22m2c2E_1^{\text{th}} = \frac{(\sum m_f c^2)^2 - (m_1 c^2)^2 - (m_2 c^2)^2}{2 m_2 c^2}

Compton scattering (foundational example): λλ=hmec(1cosθ)\lambda' - \lambda = \frac{h}{m_e c}(1-\cos\theta)


The Stress-Energy Tensor TαβT^{\alpha\beta}

The single most important object in continuum + relativistic physics.

TαβT^{\alpha\beta} is symmetric, rank-2; its components are interpreted as the flux of α\alpha-momentum across a surface of constant xβx^\beta:

Component Meaning
T00T^{00} Energy density uu
T0i=Ti0T^{0i} = T^{i0} Energy flux / cc, equivalently c×c \times momentum density
TijT^{ij} Momentum flux = (3-D) stress (sign convention: ++ for pressure on (+,+,+,+)(+,+,+,+) signature)

Master conservation law: βTαβ=fextα\boxed{\partial_\beta T^{\alpha\beta} = f^\alpha_{\text{ext}}}

— a single 4-equation that contains both energy conservation (α=0\alpha=0) and momentum conservation (α=i\alpha=i). Zero on the right ⇒ closed system.

Stress-energy of canonical systems:

System TαβT^{\alpha\beta}
Perfect fluid Tαβ=(ρ+p/c2)uαuβ+pηαβT^{\alpha\beta} = (\rho + p/c^2)\,u^\alpha u^\beta + p\,\eta^{\alpha\beta}
Dust (pressureless) Tαβ=ρuαuβT^{\alpha\beta} = \rho\, u^\alpha u^\beta
EM field TEMαβ=14π(FαμFβμ14ηαβFμνFμν)T^{\alpha\beta}_{EM} = \tfrac{1}{4\pi}(F^{\alpha\mu} F^\beta{}_\mu - \tfrac{1}{4}\eta^{\alpha\beta} F^{\mu\nu}F_{\mu\nu})
Scalar field ϕ\phi Tαβ=αϕβϕ12ηαβ(ϕ)2ηαβV(ϕ)T^{\alpha\beta} = \partial^\alpha\phi\,\partial^\beta\phi - \tfrac{1}{2}\eta^{\alpha\beta}(\partial\phi)^2 - \eta^{\alpha\beta}V(\phi)
Point particle (worldline zα(τ)z^\alpha(\tau)) Tαβ(x)=mdτuαuβδ(4)(xz(τ))T^{\alpha\beta}(x) = m\int d\tau\, u^\alpha u^\beta\,\delta^{(4)}(x - z(\tau))

Properties forced by physics:

  • Symmetric (Tαβ=TβαT^{\alpha\beta} = T^{\beta\alpha}): angular-momentum conservation.
  • Real eigenvalue ρc2-\rho c^2 with timelike eigenvector uαu^\alpha defines rest-frame energy density.
  • Energy conditions (used heavily in GR Ch. 24–28):
    • Weak: Tαβuαuβ0T^{\alpha\beta} u_\alpha u_\beta \ge 0 (energy density 0\ge 0 for all observers).
    • Strong: ditto with ++ trace constraint.
    • Dominant: energy flux is timelike or null.

Relativistic Fluid Dynamics (preview of Part V)

Perfect fluid:

Tαβ=(ρ+p/c2)uαuβ+pηαβT^{\alpha\beta} = (\rho + p/c^2) u^\alpha u^\beta + p\,\eta^{\alpha\beta}

Apply βTαβ=0\partial_\beta T^{\alpha\beta} = 0:

  • Project parallel to uαu^\alpharelativistic continuity / energy equation: uααρ+(ρ+p/c2)αuα=0u^\alpha \partial_\alpha \rho + (\rho + p/c^2)\,\partial_\alpha u^\alpha = 0

  • Project orthogonal to uαu^\alpha (using projector Pαβ=ηαβ+uαuβ/c2P^{\alpha\beta} = \eta^{\alpha\beta} + u^\alpha u^\beta /c^2) ⇒ relativistic Euler equation: (ρ+p/c2)uββuα=Pαββp(\rho + p/c^2)\,u^\beta\partial_\beta u^\alpha = -P^{\alpha\beta}\partial_\beta p

In the non-relativistic limit (vcv\ll c, pρc2p\ll\rho c^2) these collapse to standard continuity + Euler.


Electromagnetism Reformulated — The Field Tensor FαβF^{\alpha\beta}

4-potential: Aα=(ϕ/c,𝐀)A^\alpha = (\phi/c, \mathbf{A}), with gauge AαAα+αΛA^\alpha \to A^\alpha + \partial^\alpha\Lambda.

Field tensor: Fαβ=αAββAαF_{\alpha\beta} = \partial_\alpha A_\beta - \partial_\beta A_\alpha, antisymmetric (6 independent components).

Components (Gaussian; with metric signature (,+,+,+)(-,+,+,+), careful with signs):

Fαβ=(0Ex/cEy/cEz/cEx/c0BzByEy/cBz0BxEz/cByBx0)F^{\alpha\beta} = \begin{pmatrix} 0 & -E_x/c & -E_y/c & -E_z/c \\ E_x/c & 0 & B_z & -B_y \\ E_y/c & -B_z & 0 & B_x \\ E_z/c & B_y & -B_x & 0 \end{pmatrix}

(Exact signs differ across textbooks — B&T uses Gaussian with (,+,+,+)(-,+,+,+). Always check conventions before plugging into formulas.)

Maxwell's equations — 2 lines:

βFαβ=4πcJα(sources: Gauss + Ampère)\partial_\beta F^{\alpha\beta} = \frac{4\pi}{c} J^\alpha \qquad \text{(sources: Gauss + Ampère)}

[αFβγ]=0(no monopoles + Faraday)\partial_{[\alpha} F_{\beta\gamma]} = 0 \qquad \text{(no monopoles + Faraday)}

The second is equivalent to αF̃αβ=0\partial_\alpha \tilde F^{\alpha\beta} = 0 where F̃αβ=12ϵαβγδFγδ\tilde F^{\alpha\beta} = \tfrac{1}{2}\epsilon^{\alpha\beta\gamma\delta}F_{\gamma\delta} is the dual.

Lorentz force law (geometric): dpαdτ=qcFαβuβ\frac{dp^\alpha}{d\tau} = \frac{q}{c} F^{\alpha\beta} u_\beta

Invariants of the EM field (frame-independent):

  1. 12FαβFαβ=B2E2/c2\tfrac{1}{2}F_{\alpha\beta}F^{\alpha\beta} = B^2 - E^2/c^2
  2. 14FαβF̃αβ=𝐄𝐁/c\tfrac{1}{4}F_{\alpha\beta}\tilde F^{\alpha\beta} = -\mathbf{E}\cdot\mathbf{B}/c

So a pure-E field in one frame stays pure-E in all frames only if 𝐄𝐁=0\mathbf{E}\cdot\mathbf{B}=0 AND B2<E2/c2B^2 < E^2/c^2; similarly for pure-B.

Field transformation (boost along xx):

E=E,E=γ(𝐄+𝐯×𝐁)E'_\| = E_\|, \quad E'_\perp = \gamma(\mathbf{E} + \mathbf{v}\times\mathbf{B})_\perp B=B,B=γ(𝐁𝐯c2×𝐄)B'_\| = B_\|, \quad B'_\perp = \gamma(\mathbf{B} - \tfrac{\mathbf{v}}{c^2}\times\mathbf{E})_\perp

Memorize: "𝐄\mathbf{E} and 𝐁\mathbf{B} mix under boosts." A pure electric field in one frame has magnetic components in another. Magnetism is a relativistic effect of moving charges.



Workflow / Process — Solving any "Foundations" problem

flowchart TD
    A[Identify physical quantity] --> B{Scalar / Vector / Tensor?}
    B --> C[Frame-independent statement first]
    C --> D{Newtonian or Relativistic?}
    D -->|Newtonian| E[Use 3-tensors, ortho basis, δ_ij]
    D -->|Relativistic| F[Use 4-tensors, η_αβ, Lorentz]
    E --> G[Identify conservation: ∂_tρ + ∇·F = 0]
    F --> H[Identify conservation: ∂_β T^αβ = 0]
    G --> I[Pick best frame/basis to compute]
    H --> I
    I --> J[Project to components, compute]
    J --> K[Verify invariants/scalars match]


Comparison Tables


Newtonian vs Special Relativistic

Concept Newtonian Special Relativity
Spacetime Absolute time + Euclidean 3-space 4-D Minkowski 𝕄4\mathbb{M}^4
Metric δij\delta_{ij} (positive definite) ηαβ\eta_{\alpha\beta} signature (,+,+,+)(-,+,+,+)
Simultaneity Absolute Frame-dependent
Velocity addition Linear (𝐮+𝐯\mathbf{u}+\mathbf{v}) Nonlinear, capped at cc
Symmetry group Galilean (10-dim) Poincaré (10-dim)
Causal structure None — instantaneous interactions OK Light cones, no signal faster than cc
Mass Conserved, scalar mm scalar but mass-energy E=γmc2E=\gamma mc^2 converts
Energy & momentum Separate scalars/vectors Components of single 4-vector pαp^\alpha
Stress 3-tensor TijT_{ij} Embedded in 4-tensor TαβT^{\alpha\beta}
EM fields 𝐄\mathbf{E} (vector) + 𝐁\mathbf{B} (pseudovector) Single 4-tensor FαβF_{\alpha\beta}
Conservation laws tρ+𝐅=0\partial_t\rho + \nabla\cdot\mathbf{F}=0 βTαβ=0\partial_\beta T^{\alpha\beta}=0

Coordinate vs Geometric formulation

Aspect Coordinate (component) Geometric (abstract)
Notation ViV^i, TijT^{ij}, indices 𝐕\mathbf{V}, 𝐓\boldsymbol T, no indices
Frame Tied to specific basis Frame-independent
Use when Doing calculation Stating physical law
Pitfall Forgetting transformation law Hard to compute numbers
Best practice Use both: geometric to state, component to compute

Tensor types by transformation behavior

Type Transformation under Λ\Lambda Examples
Scalar invariant mm, τ\tau, TαβTαβT_{\alpha\beta}T^{\alpha\beta}
Contravariant vector Vα=ΛαβVβV'^\alpha = \Lambda^\alpha{}_\beta V^\beta xαx^\alpha, pαp^\alpha
Covariant vector Vα=ΛαβVβV'_\alpha = \Lambda_\alpha{}^\beta V_\beta αϕ\partial_\alpha\phi
Rank-(2,0) Tαβ=ΛαμΛβνTμνT'^{\alpha\beta} = \Lambda^\alpha{}_\mu \Lambda^\beta{}_\nu T^{\mu\nu} TαβT^{\alpha\beta}
Pseudotensor extra detΛ\det\Lambda ϵαβγδ\epsilon^{\alpha\beta\gamma\delta}, dual F̃\tilde F


Common Mistakes

  • Confusing up/down indices in SR. In Euclidean space Vi=ViV^i = V_i; in SR V0=V0V^0 = -V_0. Losing a sign here changes physics.
  • Treating 𝐁\mathbf{B} as a true vector. It's a pseudovector — flips sign under parity differently from 𝐄\mathbf{E}. This is the motivation for FαβF_{\alpha\beta}.
  • Forgetting that velocity addition is non-Galilean. Two boosts of 0.6c and 0.6c do not give 1.2c; they give 0.88c.
  • Using E=mc2E = mc^2 as the total energy for a moving particle. That's γmc2\gamma mc^2. The rest-energy interpretation requires 𝐯=0\mathbf{v}=0.
  • Setting up problems in the wrong frame. Threshold problems → CM frame. Single-target experiments → lab frame. Pick before computing.
  • Confusing time dilation and length contraction directions. Moving clocks tick slow; moving rods contract along motion.
  • Misusing TαβT^{\alpha\beta} symmetry. T0i=Ti0T^{0i} = T^{i0} is a physical statement (energy flux ↔︎ momentum density × c2c^2), not just notation.
  • Forgetting that uαuα=c2u^\alpha u_\alpha = -c^2 is an identity. It constrains 4-velocity to a hyperboloid — only 3 independent components, not 4.
  • Writing relativistic Euler with ρ\rho instead of ρ+p/c2\rho + p/c^2. Pressure contributes to inertia in SR.
  • Plugging into a formula without checking sign convention (mostly-plus vs mostly-minus, Gaussian vs SI). B&T uses mostly-plus + Gaussian.


Expert Insights

Tensors are bookkeeping for invariance. Once you understand a law as a tensor equation, you've understood it in all frames simultaneously — there's no separate "derivation" for each observer.

The stress tensor is the same idea in Newtonian fluids, elastic solids, and the EM field — just different ingredients. Pattern-match across chapters: if you've seen TijT_{ij} once, every later occurrence is a variation on the theme.

TαβT^{\alpha\beta} is what gravitates in GR — Einstein's equations are Gαβ=(8πG/c4)TαβG_{\alpha\beta} = (8\pi G/c^4) T_{\alpha\beta}. Mastering it in Ch. 2 pays directly in Ch. 24+.

Conservation laws come from symmetries (Noether). Time translation → energy, space translation → momentum, rotation → angular momentum, Lorentz boost → moment-of-energy. In tensor form: βTαβ=0\partial_\beta T^{\alpha\beta}=0 encodes the first ten.

Magnetism = relativistic correction to electrostatics. A current is a moving line of charge; the second-order Lorentz correction in another frame is the magnetic field. The FαβF_{\alpha\beta} formalism makes this manifest.

The "(ρ+p/c2)(\rho+p/c^2)" inertia is non-negotiable. In any relativistic continuum (fluid, plasma, radiation), pressure contributes to the effective inertia. Forgetting it gives qualitatively wrong sound speeds, instability growth rates, accretion solutions.

Choose frames mercilessly. The CM frame turns 4-body kinematics into 1-D algebra. The fluid rest frame turns TαβT^{\alpha\beta} into a diagonal matrix. The "boost away" tactic saves more pages than any algebraic identity.

The dual F̃αβ\tilde F^{\alpha\beta} is not optional decoration — it's how you write the "homogeneous" Maxwell pair in tensor form. Half the field-theory texts hide this; B&T puts it front and center.

Frame-independent statements first; components last. If your derivation depends on coordinates from line 1, you're doing it wrong. State the physics covariantly, then pick coordinates to evaluate.

Watch out for unit systems. Gaussian (B&T) puts factors of 4π4\pi and cc in Maxwell's equations; SI hides them in μ0\mu_0, ϵ0\epsilon_0. Translate carefully — many "errors" in derivations are unit-system collisions.



Troubleshooting

Problem Cause Solution
Get answer with wrong sign on time-component Mixed V0V^0 and V0V_0 Always raise/lower carefully with η\eta; V0=V0V_0 = -V^0
Velocity exceeds cc in addition formula Used Galilean rule Use u=(uv)/(1uv/c2)u' = (u-v)/(1-uv/c^2)
Energy not conserved across boost Computed EE in wrong frame, didn't transform EE is not invariant — only m2c4=E2p2c2m^2c^4 = E^2 - p^2c^2 is
Stress tensor not symmetric Missed angular momentum constraint or used wrong convention Symmetrize; recheck definition of flux convention
Maxwell eqns "missing" two equations Used only βFαβ=\partial_\beta F^{\alpha\beta}=source The other two come from [αFβγ]=0\partial_{[\alpha}F_{\beta\gamma]}=0 or Bianchi identity
Relativistic Euler gives sound speed > cc Used wrong equation of state or dropped pressure terms Use full (ρ+p/c2)(\rho+p/c^2) inertia; check cs2=(p/ρ)Sc2c_s^2 = (\partial p/\partial\rho)_S \le c^2
Cross product fails in 4-D Tried to extend 3-D cross product Cross product is only 3-D; use Fαβ=αAββAαF_{\alpha\beta} = \partial_\alpha A_\beta - \partial_\beta A_\alpha
γ\gamma blows up vcv \to c, near-luminal regime Use γβ\gamma\beta or rapidity η\eta as the natural parameter


Cheatsheet

=== GEOMETRIC BASICS ===
Tensor      = multilinear map; coord-free
Indices     = projections onto a chosen basis
Einstein    = repeated index ⇒ summation
Up/down     = contravariant/covariant; metric raises/lowers

=== NEWTONIAN (Ch.1) ===
Metric:     δ_ij           (up/down equivalent)
Cross:      (A×B)_i = ε_ijk A_j B_k
ε-δ:        ε_ijk ε_ilm = δ_jl δ_km − δ_jm δ_kl

Stress:     dF_i = T_ij dS_j ;  T_ij = T_ji
Pressure:   p = −T_ii/3
Mom. cons:  ∂_t(ρv_i) + ∂_j(ρv_i v_j + T_ij) = f_i

Maxwell (Gaussian):
  ∇·E = 4πρ_e
  ∇·B = 0
  ∇×E = −(1/c)∂_t B
  ∇×B = (4π/c)J + (1/c)∂_t E
Lorentz:    F = q(E + v/c × B)

=== SPECIAL RELATIVITY (Ch.2) ===
Metric:     η = diag(−1,+1,+1,+1)
Interval:   ds² = −c²dt² + dx²
Proper τ:   dτ² = −ds²/c²
γ:          1/√(1−β²)
Rapidity:   β = tanh η, γ = cosh η

4-velocity: u^α = γ(c, v),  u·u = −c²
4-momentum: p^α = (E/c, p),  p·p = −m²c²
Mass shell: E² = (pc)² + (mc²)²

Lorentz boost (x-dir):
  t' = γ(t − vx/c²)
  x' = γ(x − vt)
  y' = y,  z' = z

Velocity addn (collin): u' = (u−v)/(1−uv/c²)

Stress-energy:  ∂_β T^αβ = f^α
Perfect fluid:  T^αβ = (ρ+p/c²)u^α u^β + p η^αβ
Dust:           T^αβ = ρ u^α u^β
EM:             T^αβ = (1/4π)(F^αμ F^β_μ − ¼ η^αβ F²)

EM tensor:      F_αβ = ∂_α A_β − ∂_β A_α
Maxwell:        ∂_β F^αβ = (4π/c) J^α
                ∂_[α F_βγ] = 0
Lorentz force:  dp^α/dτ = (q/c) F^αβ u_β
EM invariants:  ½F·F = B² − E²/c²
                ¼F·F̃ = −E·B/c

Field transforms (boost along x):
  E_∥' = E_∥,  E_⊥' = γ(E + v×B)_⊥
  B_∥' = B_∥,  B_⊥' = γ(B − v×E/c²)_⊥


Glossary

  • 4-velocity (uαu^\alpha) — Tangent vector to a worldline, parameterized by proper time. Magnitude c2-c^2.
  • Affine parameter — Parameter along a null geodesic; substitute for proper time when dτ=0d\tau = 0.
  • Contraction — Summation over one up and one down index, reducing tensor rank by 2.
  • Contravariant — Tensor with upper indices; transforms with Λ\Lambda.
  • Covariant — Tensor with lower indices; transforms with Λ1\Lambda^{-1}.
  • Dust — Pressureless fluid; Tαβ=ρuαuβT^{\alpha\beta} = \rho u^\alpha u^\beta.
  • Einstein summation — Repeated index implies sum over its range.
  • Eikonal / null — Lightlike, ds2=0ds^2 = 0.
  • Energy-momentum (4-momentum)pα=(E/c,𝐩)p^\alpha = (E/c, \mathbf{p}); mass shell pp=m2c2p\cdot p = -m^2c^2.
  • Eulerian description — Field values at fixed spatial points (vs Lagrangian = follow the particle).
  • Field tensor (FαβF_{\alpha\beta}) — Antisymmetric rank-2 tensor encoding 𝐄\mathbf{E} and 𝐁\mathbf{B}.
  • Frame — Choice of observer + clock + ruler; equivalently, choice of basis {eα}\{e_\alpha\}.
  • Galilean transformation — Newtonian frame change; 𝐱=𝐱𝐯t\mathbf{x}' = \mathbf{x} - \mathbf{v}t, t=tt'=t.
  • Inertial frame — Free particles move in straight lines at constant speed (Newton's 1st).
  • Levi-Civita — Totally antisymmetric tensor ϵijk\epsilon_{ijk} (3-D) or ϵαβγδ\epsilon_{\alpha\beta\gamma\delta} (4-D).
  • Lorentz group (O(1,3)O(1,3)) — 6-parameter group preserving η\eta.
  • Lorentz transformation — Linear isometry of Minkowski space.
  • Mass shellpp=m2c2p\cdot p = -m^2c^2; 3-D hyperboloid in 4-momentum space.
  • Metric — Inner-product structure; δij\delta_{ij} (Newtonian) or ηαβ\eta_{\alpha\beta} (SR).
  • Minkowski space 𝕄4\mathbb{M}^4 — Flat 4-D pseudo-Riemannian manifold.
  • Mostly-plus signature(,+,+,+)(-,+,+,+), the B&T/MTW convention.
  • Nullds2=0ds^2 = 0, on the light cone.
  • Orthochronous — Lorentz transformation preserving direction of time.
  • Pseudotensor / pseudovector — Tensor that picks up extra detΛ\det\Lambda under improper transformations.
  • Poincaré group — Lorentz group + translations; 10-parameter symmetry of SR.
  • Polar vector — True vector (flips under parity).
  • Proper time (τ\tau) — Time measured by a clock comoving with the worldline.
  • Rapidity (η\eta) — Additive parameter for collinear boosts; β=tanhη\beta=\tanh\eta.
  • Rest frame — Frame in which a body's 3-momentum is zero.
  • Spacelikeds2>0ds^2 > 0; causally disconnected events.
  • Stress tensor (TijT_{ij}) — Symmetric rank-2 tensor; force per area transmitted across surfaces.
  • Stress-energy tensor (TαβT^{\alpha\beta}) — Relativistic generalization; flux of α\alpha-momentum across xβx^\beta surface.
  • Tetrad / vierbein — Orthonormal basis {eα}\{e_\alpha\} at a point.
  • Timelikeds2<0ds^2 < 0; causally connectable.
  • Worldline — Path of particle through spacetime, parameterized by τ\tau.


Final Takeaways

  1. The whole book is a single recursive idea: write physics as tensor equations, then specialize. Every Part below (statistical, optics, elasticity, fluids, plasma, GR) re-applies Ch. 1–2 tooling.
  2. Geometric viewpoint = invariance + structure. Components are scaffolding; the tensor is the physics.
  3. Conservation laws are divergence equations. Newtonian: tρ+𝐅=0\partial_t\rho + \nabla\cdot\mathbf{F}=0. Relativistic: βTαβ=0\partial_\beta T^{\alpha\beta}=0. Same idea, different number of dimensions.
  4. Master the stress / stress-energy tensor early. It is the universal currency of continuum + relativistic physics.
  5. Choose frames aggressively. The right frame collapses a problem; the wrong one buries it in algebra.
  6. Maxwell's equations are simpler in FαβF^{\alpha\beta} form. 𝐄\mathbf{E} and 𝐁\mathbf{B} are projections of a single object.
  7. Don't confuse Newtonian intuition (absolute simultaneity, Galilean velocity addition) with SR. Boost-mixing of 𝐄\mathbf{E}/𝐁\mathbf{B}, of energy/momentum, of space/time is the correct picture.
  8. Pressure contributes to inertia in SR (ρ+p/c2\rho + p/c^2). Forget this only when pρc2p\ll \rho c^2 — never in radiation-dominated, neutron-star, or accretion-disk regimes.
  9. Set sign and unit conventions before computing. B&T = mostly-plus + Gaussian; check against any external formula source.
  10. The geometric viewpoint is the bridge to GR. Ch. 1–2 prepare you so that when curvature enters in Part VII, only the metric changes — the tensorial machinery is already yours.

Next: Part II — Statistical Physics (Random Processes, Kinetic Theory, Transport, Fluctuation-Dissipation). Built directly on the geometric language above.

Engineering use and verification

State the model, coordinate system, assumptions, boundary conditions and validity range before using an equation. Track dimensions and sign conventions through each derivation, test limiting cases, and distinguish mathematical possibility from physical realisability. Where a model informs engineering design, compare it with measurement or a second method and quantify the effect of idealisations rather than hiding them inside numerical precision.

  • Confirm scope, assumptions, interfaces and required outcome.
  • Check dimensions, sign conventions, boundary conditions and limiting cases.
  • Identify current project, customer and regulatory requirements.
  • Separate source examples from mandatory acceptance criteria.
  • Check calculations, tables and selections by an independent method.
  • Verify safety, maintainability and credible failure modes.
  • Record evidence, revisions, approvals and unresolved limitations.
  • Validate the result under representative operating conditions.

Continue learning

NEXT LESSON →Statistical Physics and Kinetic Theory: /20 SummaryGuide · PhysicsStatistical Physics and Kinetic Theory: Expert InsightsGuide · PhysicsGeometric and Wave Optics: /20 SummaryGuide · PhysicsGeometric and Wave Optics: Final TakeawaysGuide · Physics