 Conservation of etendue

Lossless reversible propagation preserves the etendue of the same bundle of light rays. Here the model uses stationary isotropic media, specular reflection and refraction, with every selected light ray reaching the output and with no optical gain or scattering of light. An aperture that blocks some incident light rays changes which bundle is counted; the full incident and transmitted etendue need not be equal. ^[ref]

The underlying phase space has four coordinates. In a planar section with constant refractive index, let $(x,y)$ locate a light ray and setThe Jacobian determinant from spherical coordinates givesThus etendue is a four-dimensional volume, preserved by the optical counterpart of Liouville theorem in Hamiltonian mechanics. Individual position and direction extents may change, and correlations between them matter. The Lagrange optical invariant is a related paraxial approximation invariant for pairs of light rays, rather than the full four-dimensional measure.