Derivation of the Integral Form of Ampère

In the study of electromagnetism, Ampère’s circuital law stands as one of the fundamental pillars, describing the relationship between an electric current and the magnetic field it generates. While the law can be expressed in a local, differential form, its integral form is often more practical for solving real-world problems involving high degrees of symmetry. By relating the line integral of the magnetic field around a closed loop to the total current passing through the loop, the integral form provides a powerful tool for calculating magnetic field distributions in wires, solenoids, and other conductors.

The Differential Foundation

The derivation begins with the differential form of Ampère's law, which is one of the four Maxwell equations in a steady-state (magnetostatic) regime. In a region with no time-varying electric fields, the relationship is expressed as:

[
\nabla \times \mathbf{B} = \mu_0 \mathbf{J}
]

In this expression:

$\mathbf{B}$ represents the magnetic flux density (or magnetic induction).
$\mathbf{J}$ denotes the current density vector.
$\mu_0$ is the permeability of free space, a physical constant.
$\nabla \times$ is the curl operator, which mathematically describes the infinitesimal rotation or "circulation" of a vector field.

This equation tells us that the "swirl" of the magnetic field at any specific point in space is directly proportional to the current density flowing through that point.

Mathematical Derivation via Stokes' Theorem

To transition from this local description (at a point) to a global description (over a region), we must perform an integration. The mathematical bridge used for this transition is Stokes' Theorem, which relates the surface integral of the curl of a vector field to the line integral of that field around the boundary of the surface.

Stokes' Theorem is stated as:

[
\oint_{\partial\Sigma} \mathbf{F} \cdot d\mathbf{l} = \iint_{\Sigma} (\nabla \times \mathbf{F}) \cdot d\mathbf{S}
]

To derive Ampère's integral law, we substitute the magnetic field $\mathbf{B}$ for the vector field $\mathbf{F}$:

[
\oint_{\partial\Sigma} \mathbf{B} \cdot d\mathbf{l} = \iint_{\Sigma} (\nabla \times \mathbf{B}) \cdot d\mathbf{S}
]

Next, we substitute the differential form of Ampère's law ($\nabla \times \mathbf{B} = \mu_0 \mathbf{J}$) into the right side of the equation:

[
\oint_{\partial\Sigma} \mathbf{B} \cdot d\mathbf{l} = \iint_{\Sigma} (\mu_0 \mathbf{J}) \cdot d\mathbf{S}
]

Since the permeability $\mu_0$ is a constant, it can be moved outside the integral, yielding the final integral form of Ampère's Law:

[
\boxed{\oint_{\partial\Sigma} \mathbf{B} \cdot d\mathbf{l} = \mu_0 I_{\text{enc}}}
]

where $I_{\text{enc}} = \iint_{\Sigma} \mathbf{J} \cdot d\mathbf{S}$ represents the enclosed current—the total net current passing through the surface $\Sigma$ bounded by the closed loop $\partial\Sigma$.

Physical Interpretation and Orientation

The integral form offers a profound physical insight: the total "circulation" of the magnetic field along a closed path is determined solely by the amount of current piercing through any surface bounded by that path.

To ensure consistency in calculations, two rules are essential:

The Right-Hand Rule (Loop Direction): If you curl the fingers of your right hand in the direction of the integration path $\oint d\mathbf{l}$, your thumb points in the direction of the surface normal vector $\mathbf{n}$ (the direction of $d\mathbf{S}$).
Current Flux: The term $\mathbf{J} \cdot d\mathbf{S}$ accounts for the component of current flowing perpendicular to the surface. Current flowing in the same direction as the normal vector is considered positive, while current flowing against it is negative.

Practical Applications

The strength of the integral form lies in its ability to simplify complex calculations when the system exhibits symmetry.

1. The Infinite Straight Conductor

Consider an infinitely long, thin wire carrying a steady current $I$ along the $z$-axis. Due to the cylindrical symmetry, the magnetic field $\mathbf{B}$ must be tangential to a circle centered on the wire and its magnitude must be constant at a fixed radius $r$.

Choosing the Path: We select a circular Amperian loop of radius $r$ in the $xy$-plane.
Evaluating the Line Integral: Since $\mathbf{B}$ is parallel to $d\mathbf{l}$ and constant in magnitude along the loop:
[ \oint \mathbf{B} \cdot d\mathbf{l} = B(2\pi r) ]
Evaluating the Enclosed Current: The total current piercing the circle is simply $I$.
Applying Ampère's Law:
[ B(2\pi r) = \mu_0 I \implies B = \frac{\mu_0 I}{2\pi r} ]
This result matches the prediction from the Biot-Savart Law, confirming the validity of the integral approach.

2. The Ideal Infinite Solenoid

An ideal solenoid consists of $n$ turns of wire per unit length, carrying a current $I$. We assume the solenoid is infinitely long, meaning the magnetic field inside is uniform and parallel to the axis, while the field outside is effectively zero.

Choosing the Path: We use a rectangular Amperian loop where one side of length $l$ is inside the solenoid (parallel to the axis) and the opposite side is outside.
Evaluating the Line Integral: The sides perpendicular to the axis contribute zero (since $\mathbf{B} \perp d\mathbf{l}$), and the outside segment contributes zero (since $B \approx 0$). Only the internal segment contributes:
[ \oint \mathbf{B} \cdot d\mathbf{l} = B \cdot l ]
Evaluating the Enclosed Current: The number of turns enclosed by the loop is $n \cdot l$, so the total current is $I_{\text{enc}} = n l I$.
Applying Ampère's Law:
[ B \cdot l = \mu_0 (n l I) \implies B = \mu_0 n I ]
This provides the classic expression for the magnetic field strength inside a solenoid.

Critical Nuances and Limitations

While highly effective, there are two important caveats to keep in mind:

Surface Independence: A common point of confusion is which surface $\Sigma$ to use. Mathematically, as long as the boundary $\partial\Sigma$ remains the same, the choice of surface is arbitrary. You could use a flat disk, a hemisphere, or a "balloon" shape; the total current $I_{\text{enc}}$ passing through them will always be the same, leading to the same result.
The Displacement Current (Maxwell's Correction): The derivation above assumes magnetostatics (steady currents). In scenarios where the electric field changes over time (such as charging a capacitor), the term $\nabla \times \mathbf{B} = \mu_0 \mathbf{J}$ is incomplete. James Clerk Maxwell added the displacement current term, $\varepsilon_0 \frac{\partial \mathbf{E}}{\partial t}$, to account for these effects. Therefore, for high-frequency or transient electromagnetic phenomena, one must use the Maxwell-Ampère Law.

Summary

By applying Stokes' Theorem to the differential form of the magnetic curl, we arrive at the integral form of Ampère's Law:

[
\oint_{\partial\Sigma} \mathbf{B} \cdot d\mathbf{l} = \mu_0 I_{\text{enc}}
]

This equation elegantly links the macroscopic circulation of a magnetic field to the microscopic flow of charge. While it requires symmetry to be easily solvable, it remains an indispensable tool in the physicist's arsenal for navigating the complexities of electromagnetic fields.