10.03.01 · em-sr / electrodynamics

Faraday's law and electromagnetic induction

draft3 tiersLean: nonepending prereqs

Anchor (Master): Jackson, *Classical Electrodynamics*, 3e (1999), Ch. 6; Zangwill, *Modern Electrodynamics*, Ch. 10

Intuition [Beginner]

In electrostatics, the electric field is created by charges. Faraday discovered something deeper: a changing magnetic field creates an electric field too — even when no charges are present at all. This is electromagnetic induction.

The key quantity is magnetic flux: how much magnetic field passes through a loop. Think of it as the number of magnetic field lines threading the loop. If that number changes — because the field gets stronger, or because the loop moves, or because the loop rotates — an induced EMF (voltage) appears around the loop.

Faraday's law: the induced EMF equals the rate at which the magnetic flux through the loop changes. Lenz's law adds a minus sign: the induced current flows in the direction that opposes the change in flux. If flux is increasing, the induced current creates a field that tries to decrease it. If flux is decreasing, the induced current tries to increase it. Nature resists change — and this resistance is what conserves energy.

Examples: push a bar magnet through a coil and a current flows. Change the current in one wire and a nearby wire feels a voltage. Spin a coil in a magnetic field and you get an alternating voltage — this is how generators work. Run AC through a primary coil wrapped around an iron core and a secondary coil picks up voltage — this is how transformers work.

Visual [Beginner]

A bar magnet moves through a coil of wire. As the magnet approaches, field lines thread the coil and flux increases — current is induced in one direction. As the magnet recedes, flux decreases — current reverses. Lenz's law: the induced current's own magnetic field opposes the magnet's motion, creating a braking effect. A second panel shows a transformer: primary coil (AC input) on the left, iron core, secondary coil (AC output) on the right. Changing current in the primary creates changing flux through the core; changing flux induces EMF in the secondary.

The right-hand rule for induced current: curl your fingers around the loop in the direction of the induced current, and your thumb points in the direction of the magnetic field the induced current creates. Lenz's law says this field opposes whatever change is happening to the original flux.

Worked example [Beginner]

A circular loop of wire with radius m sits in a uniform magnetic field perpendicular to the loop. The field strength increases at a steady rate T/s. Compute the induced EMF.

Step 1. Magnetic flux through the loop. The field is uniform and perpendicular, so the flux equals the field strength times the area of the loop. The area of a circle of radius is :

Step 2. Rate of change of flux. The radius is fixed (the loop does not move or change size), so only is changing:

Step 3. Induced EMF. By Faraday's law (with Lenz's minus sign), the induced EMF has magnitude:

The induced EMF is about 16 millivolts. By Lenz's law, the induced current flows in the direction that creates a magnetic field opposing the increase — so the induced field points opposite to .

Check your understanding [Beginner]

Formal definition [Intermediate+]

Let be an oriented surface with boundary curve , and let be a magnetic field. The magnetic flux through is

Faraday's law (integral form) states that the EMF around the boundary curve equals the negative rate of change of flux:

The minus sign is Lenz's law: the induced EMF drives current in the direction that opposes the change in flux.

When the curve is stationary (not moving or deforming), the time derivative passes through the integral, and applying Stokes' theorem to the left-hand side yields the differential form:

This is the third Maxwell equation. It says: a time-varying magnetic field is a source of curl for the electric field. In electrostatics, and , recovering the conservative electric field. In electrodynamics, the electric field is no longer conservative — its curl is proportional to how fast is changing.

Motional EMF. When the loop moves through a non-uniform field, or a conductor moves with velocity through , the free charges inside the conductor experience a magnetic force that acts as an effective electric field . The motional EMF around a moving loop is

The flux rule (Faraday's law with the total time derivative of ) accounts for both the changing-field and moving-loop contributions. The combined result is

where the first term is the transformer EMF (changing field, stationary loop) and the second is the motional EMF (moving loop in static field). The universal flux rule subsumes both mechanisms into a single expression.

Displacement current (Maxwell's correction to Ampere's law). Ampere's law in magnetostatics reads . Taking the divergence of both sides gives , which contradicts charge conservation when charges are moving. Maxwell's correction adds the displacement current :

The divergence of both sides now gives , using Gauss's law . This is the continuity equation — charge conservation is built in.

The complete Maxwell equations (vector form). At this point all four equations are in hand:

These four equations, plus the Lorentz force law , constitute classical electrodynamics.

Inductance. For a coil of turns carrying current , the total flux linkage is . Self-inductance is defined by , and the induced EMF is . Mutual inductance between two circuits satisfies and . The energy stored in the magnetic field of an inductor is ; more generally, the total magnetic field energy is

Counterexamples to common slips

  • The flux rule applies when the loop is a single connected curve. For a conductor that breaks (e.g., a sliding bar that leaves the rail), the EMF still exists but you must be careful about what "the loop" is — Griffiths Example 5.11 (the Faraday disc / homopolar generator) is the standard cautionary example.
  • Faraday's law is always true. The flux rule has subtleties when the loop deforms or when the "circuit" is not well-defined. The differential form is the reliable statement; the flux rule is a computational shortcut that works in most practical situations.
  • The displacement current is not a flow of charge. It is the rate of change of the electric field, and it has the dimensions of current density. It produces magnetic fields in the same way as a real current — this is what makes electromagnetic waves possible.

Key theorem with proof [Intermediate+]

Theorem (Equivalence of the flux rule and the differential Faraday law for a stationary loop). Let be a fixed (time-independent) oriented surface with boundary , and let be a smooth magnetic field. Then

if and only if .

Proof. Since is fixed, the time derivative passes through the spatial integral:

By Stokes' theorem applied to the left-hand side:

Substituting both into the flux rule gives

or equivalently

Since this must hold for every fixed surface , the integrand vanishes pointwise:

Corollary. For a moving loop sweeping out surface , the total time derivative of the flux picks up an additional boundary term that is precisely the motional EMF:

This is the Leibniz rule (transport theorem) for flux integrals. The flux rule unifies both contributions.

Worked example: mutual inductance of coaxial solenoids

A long solenoid of radius , turns per unit length, carries current . A second solenoid of radius , turns per unit length, is wound coaxially around the first, over a length .

Inside the inner solenoid the field is (from Ampere's law); outside it is negligible for an ideal solenoid. The flux through one turn of the outer solenoid is (only the cross-section of the inner solenoid carries flux). The total flux linkage in the outer solenoid is , so

Note that depends on the geometry (lengths, radii, turn densities) but not on the currents. Reversing the argument (driving through the outer solenoid and computing flux linkage in the inner) gives the same — mutual inductance is symmetric: .

Exercises [Intermediate+]

Retarded potentials and gauge freedom [Master]

The Maxwell equations in the potential formulation use the scalar potential and vector potential with and . Substituting into the two inhomogeneous Maxwell equations gives

These are coupled and messy. Gauge freedom simplifies them. The potentials are not unique: the transformation

for any smooth function , leaves and unchanged. This is because is invariant under (curl of gradient is zero), and the change in from the term cancels the change from the term.

Lorenz gauge. Choose so that

The two potential equations decouple into wave equations with sources:

These are solved by the retarded potentials:

where is the retarded time. The fields at point and time are determined by the sources at the retarded time — the information travels at speed . This is the precise sense in which electromagnetic influences propagate at the speed of light: the potentials are retarded, and the fields inherit this causality.

Coulomb gauge. The alternative choice gives (Poisson's equation — the scalar potential is instantaneous), but the vector potential satisfies a more complicated equation with an additional non-local term. The Coulomb gauge is useful in quantum mechanics (radiation problems); the Lorenz gauge is natural in relativistic formulations.

Energy conservation: Poynting's theorem [Master]

Multiplying Faraday's law by and Ampere's law (with displacement current) by , then subtracting, yields Poynting's theorem:

where the electromagnetic energy density is and the Poynting vector is

Poynting's theorem is the energy conservation law for electromagnetism. The term is the rate at which the field does work on the charges (Joule heating, or mechanical power). If this is zero (vacuum), then — energy is conserved locally, with being the energy flux (power per unit area carried by the field). For electromagnetic waves, points in the direction of propagation and has magnitude .

The electromagnetic field tensor (preview) [Master]

The four Maxwell equations are not four independent laws — they are the coordinate expression of a single geometric object. Define the electromagnetic field tensor in terms of the 4-potential :

In matrix form (with metric signature ):

The two homogeneous Maxwell equations ( and ) are equivalent to the Bianchi identity . The two inhomogeneous equations ( and ) become

where is the four-current. This single tensor equation replaces the four vector Maxwell equations. Gauge invariance is the statement that is unchanged under — the field tensor is gauge-invariant even though the potentials are not. The full differential-forms treatment lives in unit 10.04.01 pending.

Connections [Master]

  • Coulomb's law and Gauss's law 10.01.01 pending provides the first and third Maxwell equations (, ). Faraday's law () is the time-dependent generalisation that makes the electric field non-conservative.

  • Biot-Savart and Ampere's law 10.02.01 pending gives the magnetostatic Ampere's law . Maxwell's displacement current extends it to time-varying fields — the fourth equation, completing the set.

  • Maxwell's equations in differential forms 10.04.01 pending reformulates the four vector Maxwell equations as two differential-form equations (, ). The Faraday law content is part of ; the displacement current is part of .

  • EM waves 10.04.02 pending (pending) derives wave solutions from the complete Maxwell equations. The wave equation for (Exercise 8) requires both Faraday's law and the displacement current — without either, electromagnetic waves do not exist.

  • Hamiltonian mechanics 09.04.02 pending uses gauge transformations in the context of constrained systems (Dirac-Bergmann algorithm). The gauge freedom in electromagnetism is the physical origin of gauge symmetry, and the minimal-coupling Hamiltonian is the bridge between classical mechanics and electrodynamics.

  • Special relativity (Lecture 5 in Susskind's Special Relativity and Classical Field Theory) shows that the scalar and vector potentials combine into the 4-potential , and and are different components of the same tensor . Faraday's law and the absence of magnetic monopoles are the "space-space" components of the Bianchi identity; Gauss's law and Ampere's law with displacement current are the "time-space" components of the inhomogeneous equation.

Historical & philosophical context [Master]

Michael Faraday discovered electromagnetic induction in August 1831, demonstrating that a changing magnetic field induces an electric current. Joseph Henry independently discovered self-induction in 1832. Faraday had no mathematical training — he thought in terms of field lines and "electrotonic states" — but his experimental results were precise and reproducible. Maxwell (1865) translated Faraday's qualitative picture into the differential equations that bear his name, added the displacement current, and predicted electromagnetic waves travelling at . Hertz confirmed the wave prediction experimentally in 1887. The retarded-potential formulation is due to Lorenz (1867, not Lorentz of the Lorentz transformation — the two are frequently confused). The tensor formulation emerged from Minkowski (1908) after Einstein's special relativity (1905) showed that the Maxwell equations are already Lorentz-covariant.

Faraday's discovery resolved a deep asymmetry in the known laws. Oersted (1820) had shown that electric currents create magnetic fields. Ampere's law quantified this. But the reverse — do magnetic fields create electric fields? — was missing. Faraday's law closes the loop: changing magnetic fields create electric fields, and (via Maxwell's displacement current) changing electric fields create magnetic fields. This mutual coupling is what sustains electromagnetic waves in vacuum, requiring no charges or currents at all. The philosophical import is that fields are real dynamical entities, not mere bookkeeping devices for forces between charges — they carry energy, momentum, and information at a finite speed.

Bibliography [Master]

Primary literature (cite when used; not all currently in reference/):

  • Faraday, M., "Experimental Researches in Electricity", Phil. Trans. Roy. Soc. 122 (1832), 125–162. [Need to source — originator paper.]
  • Henry, J., "On the Production of Currents and Sparks of Electricity from Magnetism", American Journal of Science 22 (1832), 403–408.
  • Maxwell, J. C., "A Dynamical Theory of the Electromagnetic Field", Phil. Trans. Roy. Soc. 155 (1865), 459–512.
  • Lorenz, L., "On the Identity of the Vibrations of Light with Electrical Currents", Phil. Mag. 34 (1867), 287–301.
  • Hertz, H., "On Electromagnetic Waves in Air and their Reflection", Annalen der Physik 34 (1888), 610–623.
  • Minkowski, H., "Die Grundgleichungen fur die elektromagnetischen Vorgange in bewegten Korpern", Nachrichten der Gesellschaft der Wissenschaften zu Gottingen (1908), 53–111.
  • Griffiths, D. J., Introduction to Electrodynamics, 4th ed. (Cambridge, 2017).
  • Jackson, J. D., Classical Electrodynamics, 3rd ed. (Wiley, 1999).
  • Zangwill, A., Modern Electrodynamics (Cambridge, 2013).
  • Susskind, L. & Friedman, A., Special Relativity and Classical Field Theory (Basic Books, 2017).
  • Tong, D., Electromagnetism (DAMTP Cambridge lecture notes, §3 "Electrodynamics").