Math 2.0

Optics, electromagnetic theory Maxwell's equations Proposition

Interface conditions for electromagnetic fields

Builds on Maxwell's equationsConstitutive relations of electromagnetismElectric displacement fieldMagnetizationDivergence theoremStokes' theorem

Statement

Let Σ\Sigma be a smooth surface that separates two media, labelled 11 and 22. Let nn be the unit normal on Σ\Sigma pointing from medium 11 into medium 22. Let the fields EE, BB, DD, HH be C1C^1 up to Σ\Sigma on each side. Write E1,E2E_1, E_2 and so on for their one-sided limits at points of Σ\Sigma. Let the macroscopic Maxwell's equations hold in the sense of distributions. The sources are bounded volume densities, a free surface charge density σf\sigma_f on Σ\Sigma and a free surface current density KfK_f on Σ\Sigma. Then on Σ\Sigma:

  1. n⋅(D2−D1)=σfn \cdot (D_2 - D_1) = \sigma_f.
  2. n⋅(B2−B1)=0n \cdot (B_2 - B_1) = 0.
  3. n×(E2−E1)=0n \times (E_2 - E_1) = 0.
  4. n×(H2−H1)=Kfn \times (H_2 - H_1) = K_f.

Remarks

Conditions 1 and 2 come from applying the divergence theorem to Gauss's laws on a thin pillbox that straddles Σ\Sigma. Conditions 3 and 4 come from applying Stokes' theorem to Faraday's law and the Ampère–Maxwell law on a thin rectangle that crosses Σ\Sigma. As the thickness tends to zero, the time derivative terms drop out because ∂tB\partial_t B and ∂tD\partial_t D are bounded, while the surface sources remain. So the normal part of BB and the tangential part of EE are always continuous. The jumps of the displacement field DD and of HH are given by the surface sources.

Together with the constitutive relations of the two media, these conditions fix how fields are refracted at a boundary. Example: consider the boundary of two dielectrics with permittivities ε1\varepsilon_1 and ε2\varepsilon_2 and no free surface charge. Let a static field line meet Σ\Sigma at angle θ1\theta_1 to the normal and leave at angle θ2\theta_2. Condition 3 gives ∣E1∣sin⁡θ1=∣E2∣sin⁡θ2\abs{E_1} \sin \theta_1 = \abs{E_2} \sin \theta_2, and condition 1 gives ε1∣E1∣cos⁡θ1=ε2∣E2∣cos⁡θ2\varepsilon_1 \abs{E_1} \cos \theta_1 = \varepsilon_2 \abs{E_2} \cos \theta_2. Dividing, tan⁡θ1/tan⁡θ2=ε1/ε2\tan \theta_1 / \tan \theta_2 = \varepsilon_1 / \varepsilon_2.

At a perfect conductor the time-varying fields inside vanish, and the conditions become n×E=0n \times E = 0 and n⋅B=0n \cdot B = 0 on the outside, the usual boundary conditions for metallic waveguides and cavities.

Going deeper

For a student

Interface conditions are the jump conditions of the first-order system of Maxwell's equations, just as the Rankine–Hugoniot conditions are the jump conditions of a conservation law. They turn problems with several media into boundary value problems on each side, coupled through Σ\Sigma. From them one derives the Fresnel equations for reflection and refraction of plane waves, and the boundary conditions used in the analysis of waveguides, resonant cavities and scattering problems.

Reading path

To understand this page from the ground up, read these 64 pages in order. The foundations come first.

  1. Constitutive relations of electromagnetism concept
  2. Electric displacement field concept
  3. Euclidean space object
  4. Function concept
  5. Function composition concept
  6. Infimum concept
  7. Magnetization concept
  8. Maxwell's equations concept
  9. Supremum concept
  10. Fréchet derivative definition
  11. Total derivative concept
  12. Function of several variables concept
  13. Vector-valued function concept
  14. Jordan measure definition
  15. Differentiable function of several variables concept
  16. Iterated integral definition
  17. Limit of a function of several variables concept
  18. Partial derivative concept
  19. Parametrised curve concept
  20. Gradient concept
  21. Continuity in R^n definition
  22. Differentiable function of several variables definition
  23. Partial derivative definition
  24. Double integral definition
  25. Chain rule in several variables statement
  26. Differentiable on an open set definition
  27. Gradient definition
  28. Jacobian matrix definition
  29. Higher partial derivatives definition
  30. Fubini's theorem statement
  31. Triple integral definition
  32. Chain rule for a composition with a curve statement
  33. Iterated derivative definition
  34. C^k function characterised by continuous derivatives statement
  35. Differential form definition
  36. Parametrised curve definition
  37. Vector field definition
  38. Wedge product of forms definition
  39. Closed curve definition
  40. Rectifiable curve definition
  41. Parametrised surface definition
  42. Conservative vector field definition
  43. Tangent vector of a curve definition
  44. Curl definition
  45. Divergence definition
  46. Line integral of a scalar field definition
  47. Line integral of a vector field definition
  48. Regular curve definition
  49. Tangent plane and normal vector of a surface definition
  50. Green's theorem statement
  51. One-form definition
  52. Surface area definition
  53. Arc length parametrisation definition
  54. Divergence theorem on a rectangle in the plane statement
  55. Surface integral definition
  56. Line integral as an integral over the parameter interval statement
  57. Exterior derivative definition
  58. Gradient theorem statement
  59. Orientable surface definition
  60. Flux through a surface definition
  61. Divergence theorem statement
  62. Generalised Stokes theorem statement
  63. Stokes' theorem statement
  64. Interface conditions for electromagnetic fields statement

Where this leads

5 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Interface_conditions_for_electromagnetic_fields
About this page
TagEZG8N3H7QN
URIm2://EZG8N3H7QN
Kindstatement, proposition
WritingW0 stub
MSC78A25, 35Q61
StatusThis copy of the site has no build data. Run m2 status EZG8N3H7QN.
AboutMaxwell's equations
UsesMaxwell's equations, Constitutive relations of electromagnetism, Electric displacement field, Magnetization, Divergence theorem, Stokes' theorem
Same as
Changed3 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by