Math 2.0

Optics, electromagnetic theory Definition

Transformation optics

Builds on Maxwell's equationsDiffeomorphismJacobian matrixPermittivityPermeability

Definition

Let Ω\Omega and Ω′\Omega' be open subsets of ℝ3\R^3, and let F ⁣:Ω→Ω′F \colon \Omega \to \Omega' be an orientation-preserving smooth diffeomorphism. Let A(x)=DF(x)A(x) = DF(x) be its Jacobian matrix. Let a linear medium on Ω\Omega have permittivity ε(x)\varepsilon(x) and permeability μ(x)\mu(x), given by symmetric positive definite 3×33 \times 3 matrices. The transformed medium on Ω′\Omega' has, at y=F(x)y = F(x), ε′(y)=A(x) ε(x) A(x)Tdet⁡A(x),μ′(y)=A(x) μ(x) A(x)Tdet⁡A(x).\varepsilon'(y) = \frac{A(x)\, \varepsilon(x)\, A(x)^T}{\det A(x)}, \qquad \mu'(y) = \frac{A(x)\, \mu(x)\, A(x)^T}{\det A(x)}. Transformation optics is the method of designing a medium as the transformed medium of a known one under a chosen map FF. It rests on this fact, at a fixed frequency. Let E,HE, H be fields on Ω\Omega, and define fields on Ω′\Omega' by E′(y)=A(x)−TE(x),H′(y)=A(x)−TH(x).E'(y) = A(x)^{-T} E(x), \qquad H'(y) = A(x)^{-T} H(x). Then E,HE, H solve the source-free Maxwell equations in the medium (ε,μ)(\varepsilon, \mu) if and only if E′,H′E', H' solve them in the medium (ε′,μ′)(\varepsilon', \mu').

Remarks

Example: let Ω=Ω′=ℝ3\Omega = \Omega' = \R^3, let the medium be vacuum, ε=ε0I\varepsilon = \varepsilon_0 I and μ=μ0I\mu = \mu_0 I, and let F(x)=2xF(x) = 2x. Then A=2IA = 2I and det⁡A=8\det A = 8, so ε′=4ε08I=ε02I\varepsilon' = \frac{4 \varepsilon_0}{8} I = \frac{\varepsilon_0}{2} I and μ′=μ02I\mu' = \frac{\mu_0}{2} I. The new medium has refractive index ε′μ′/(ε0μ0)=1/2\sqrt{\varepsilon' \mu' / (\varepsilon_0 \mu_0)} = 1/2: lengths are doubled and the index is halved, so optical path lengths do not change.

Non-example: the folding map F(x1,x2,x3)=(∣x1∣,x2,x3)F(x_1, x_2, x_3) = (\abs{x_1}, x_2, x_3) is not injective and not smooth on the plane x1=0x_1 = 0. So it is not a diffeomorphism, and the rule does not apply to it as stated. Applied locally on the half-space x1<0x_1 < 0, where det⁡A=−1\det A = -1, the same formula gives negative parameters; this is how complementary media are described.

The transformed medium is in general anisotropic. If μ\mu is a constant multiple of ε\varepsilon, then μ′\mu' is the same multiple of ε′\varepsilon', so the impedance is preserved. In the language of differential geometry, the rule says that ε\varepsilon and μ\mu transform as tensor densities.

Reading path

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

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Euclidean space object
  2. Function concept
  3. Maxwell's equations concept
  4. Permeability concept
  5. Permittivity concept
  6. Total derivative concept
  7. Function of several variables concept
  8. Differentiable function of several variables concept
  9. Partial derivative concept
  10. Diffeomorphism concept
  11. Jacobian matrix concept
  12. Transformation optics definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Transformation_optics
About this page
TagF548ECARMG
URIm2://F548ECARMG
Kinddefinition
WritingW0 stub
MSC78A25, 78A48
DefinesTransformation optics
UsesMaxwell's equations, Diffeomorphism, Jacobian matrix, Permittivity, Permeability
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

No page links to this page yet.