In a charge-free and current-free vacuum, Maxwell equations give
Take the curl of Faraday's law and use the curl of the curl identity . The divergence term vanishes by Gauss's law, while the time derivative of the magnetic curl supplies . Thus
This is the transverse electromagnetic wave equation.
The phase has wavevector . The electric field has fixed direction , so it has linear polarization at to the and axes, perpendicular to the wavevector. Substitution into the electromagnetic wave equation gives
For the usual positive-frequency convention, and propagation is in the direction . If , this reduces to . The following wave formulas assume the nonconstant case .
In a source-free vacuum, Maxwell equations are
Taking a curl of the last two equations and using gives the electromagnetic wave equations
Substitution of the complex plane wave amplitudes into Maxwell equations, then taking real parts, gives
For a nonzero propagating wave these imply the dispersion relation . Conversely choose any nonzero transverse complex and set to obtain such a wave. The static uniform-field sector at is separate from propagation.
At a perfect conductor, the oscillatory boundary conditions are and . Surface charge and surface current allow nonzero normal electric and tangential magnetic fields. The magnetic condition here concerns the time-dependent wave field; a perfect conductor can retain a pre-existing static magnetic field.
Let be the orthogonal reflection across the boundary plane, so . The proposed reflected amplitudes are , , and . For an orthogonal reflection, . Hence
Also , so the reflected wave obeys the same dispersion relation. At , the incident and reflected phases coincide because is parallel to . Their summed amplitudes satisfy
The first has zero tangential part and the second zero normal part, proving both boundary conditions. Finally , as required for reflection into the vacuum.
The outgoing Green function of the electromagnetic wave equation has support on the past light cone. Convolution with that retarded Green function yields the retarded electromagnetic potential
where the source is evaluated at the retarded time
This is the causal solution with no incoming radiation.
In empty space the fields are divergence-free. Taking the curl of Faraday's law and using
gives
The same calculation, starting from the Ampère-Maxwell equation, gives the corresponding equation for . Thus every component satisfies the electromagnetic wave equation with speed
Its agreement with the measured speed of light identifies light as an electromagnetic wave.