The familiar explanations of electric sources, circulating magnetic fields, and light waves use several mathematical results at once. This series develops the prerequisites for Maxwell’s Equations and Classical Electromagnetism: vector calculus, integration over curves and surfaces, partial differential equations, singular sources, and complex plane waves.
The target article now states the hypotheses its conclusions need. The last chapter gives a result-by-result proof map and checks the original article’s misleading generalisations. A false statement cannot be repaired by adding a proof: its corrected form needs a proof, and its original form needs a counterexample.
1.1. Starting knowledge
We assume epsilon–delta definitions of limits for real sequences, series, and functions; continuity; single-variable differentiation; Riemann integration; Euclidean metric spaces; basic topological concepts; and complex-number arithmetic. Sets and functions use their usual elementary notation.
We assume no linear algebra, multivariable calculus, vector calculus, measure theory, distribution theory, or partial differential equations. Chapter 2 introduces the vector operations and derivatives. Later chapters define their additional objects before using them. Proofs of compactness, complex exponentials, or Lebesgue integration already developed in the quantum mathematics series are linked at the exact point where they enter; those supporting sections are part of the reading route, rather than extra assumed knowledge.
1.2. What the intuitions actually assert
“Divergence is outflow” means a precise limit: outward flux through a shrinking box, divided by its volume, tends to the divergence at its centre. “Curl is local rotation” means that circulation around a shrinking oriented square, divided by its area, tends to the normal component of curl. Chapter 3 proves both statements with explicit epsilon–delta bounds.
These limits also identify the limits of the intuition. Zero divergence does not force field lines to be closed. Zero curl does not mean a field is constant. Curl need not be perpendicular to the field. The examples distinguish those false claims from the flux and circulation statements that the derivatives prove.
1.3. Seven-chapter reading order
| Chapter | Background developed | Application |
|---|---|---|
| 2. Calculus and vector fields | Vectors, dot and cross products, partial and total derivatives, regularity, gradient, divergence, curl, and the Laplacian. | Read the four differential Maxwell equations and prove their vector identities. |
| 3. Flux and circulation | Multiple, line, and surface integrals; orientations; local flux and circulation limits; divergence and Stokes theorems; coordinate factors. | Explain the operators geometrically and translate between local and integral laws. |
| 4. Partial differential equations | Solutions, linearity, initial and boundary data, uniqueness, Laplace and Poisson equations, wave equations, and domains of dependence. | Identify which data determine a field and prove what propagation speed means. |
| 5. Static fields and singular sources | Point sources, distributional derivatives, fundamental solutions, potentials, and singular-kernel integrals. | Derive Coulomb and Biot–Savart fields with their source, symmetry, and boundary hypotheses. |
| 6. Maxwell fields and waves | Charge and energy identities, constraints, superposition, dispersion, transversality, complex phases, and polarisation. | Prove the wave and plane-wave results and distinguish necessary equations from sufficient ones. |
| 7. Reading the Maxwell article | A proof map, corrected claims, and the distinction between mathematics, physical postulates, and evidence. | Return to each statement in the target article with its assumptions visible. |
Read in this order. Each important definition and result has an example; counterexamples show why particular hypotheses matter. Definitions explain the role of their conditions. Longer constructions and proofs use collapsible sections, while their statements remain visible. Relevant Alphabeta definitions and theorems are linked beside the corresponding material.
1.4. Proofs, postulates, and scope
Maxwell’s equations are adopted physical laws. Vector calculus does not prove them. Once they are adopted, the series proves their mathematical consequences under stated regularity and source hypotheses. A static solution also needs boundary or isolation conditions. A point charge or ideal wire needs a stated singular-source model.
In particular, Maxwell’s equations imply wave equations in a source-free region; the wave equations alone do not impose all four Maxwell constraints. The oscillatory plane-wave ansatz supplies further hypotheses for transversality and for the relation between electric and magnetic amplitudes. Charge conservation, local energy balance, and finite propagation are separate proved results, rather than consequences of a picture of neighbouring arrows.
The scope is the vacuum classical model used by the target article. Material response, the force law for matter, and the quantum description of photons require additional physical assumptions. Historical dates, SI conventions, and agreement with measured light speeds are sourced evidence or conventions. They are not mathematical theorems. The final chapter records those distinctions explicitly.
The elementary integration cases used here are proved locally. When a general smooth-domain theorem or a specialised construction uses a longer external proof, the relevant chapter identifies that dependency and links the full proof. The main Alphabeta reading routes are primitives and postulates, integral laws and constraints, electrostatics, magnetostatics, and vacuum waves and polarisation.
Worked examples
Each example checks the hypotheses and the calculation for the linked statements. The links in the statements return here.
Worked example 1. Local laws and their limits
In Cartesian space let \(F=(x,y,z)\). On the cube \([-a,a]^3\), \(a>0\), each face has outward flux \(a(2a)^2=4a^3\), so total flux divided by volume is \(24a^3/(8a^3)=3=\operatorname{div}F\). For \(G=(-y,x,0)\), each edge of the counterclockwise square \([-a,a]^2\) at \(z=0\) contributes \(2a^2\), giving circulation per area \(8a^2/(4a^2)=2=(\operatorname{curl}G)_z\). These exact calculations illustrate the two local limits in the reading plan.
By contrast \(B=e_z\) has zero divergence but straight, unbounded integral curves, and \(E=(x,-y,0)\) has zero curl but is nonconstant. The smooth pair \(E=e_z\cos(z-ct),B=0\) satisfies each component’s wave equation, yet \(\operatorname{div}E=-\sin(z-ct)\) is generally nonzero, so it is not a source-free Maxwell solution. These checks explain why the series separately requires topology, initial constraints, and the four physical field postulates.
Counterexample: The local energy flux need not have magnitude cu
Counterexamples and limits of the hypotheses
Each construction below refutes the explicitly stated stronger claim. It does not refute the related theorem with its original hypotheses.
Counterexample 1. The local energy flux need not have magnitude cu
Related statements: Worked example 1.
Claim refuted. Every vacuum Maxwell field transports its local energy with Poynting magnitude exactly cu.
Proof.
With positive constants \(\varepsilon_0,\mu_0\) and \(c^{-2}=\mu_0\varepsilon_0\), define \(u=\varepsilon_0|E|^2/2+|B|^2/(2\mu_0)\), \(S=E\times B/\mu_0\). The cross-product length identity and the nonnegative square \((\sqrt{\varepsilon_0}|E|-|B|/\sqrt{\mu_0})^2\) give
\[|S|\le\frac{|E||B|}{\mu_0}\le\frac c2\left(\varepsilon_0|E|^2+\frac{|B|^2}{\mu_0}\right)=cu.\]Equality requires perpendicular fields and \(|B|=|E|/c\), as in a nonzero pure travelling plane wave. However the constant source-free solution \(E=e_x,B=0\) has every Maxwell derivative zero, positive \(u=\varepsilon_0/2\), and \(S=0\). It gives strict inequality. The general finite-propagation theorem concerns dependence on initial data, not an equality between local flux magnitude and energy density for every solution.
Comments