In optics, the Abbe sine condition is a condition that must be fulfilled by a lens or other optical system in order for it to produce sharp images of off-axis as well as on-axis objects. It was formulated by Ernst Abbe in the context of microscopes.^[1]

The Abbe sine condition says that

the sine of the object-space angle ${\textstyle \alpha _{\mathrm {o} }}$ should be proportional to the sine of the image space angle ${\textstyle \alpha _{\mathrm {i} }}$

Furthermore, the ratio equals the magnification of the system. In mathematical terms this is: $${\displaystyle {\frac {\sin \alpha _{\mathrm {o} }}{\sin \alpha _{\mathrm {i} }}}={\frac {\sin \beta _{\mathrm {o} }}{\sin \beta _{\mathrm {i} }}}=|M|}$$

where the variables ${\textstyle (\alpha _{\mathrm {o} },\beta _{\mathrm {o} })}$ are the angles (relative to the optic axis) of any two rays as they leave the object, and ${\textstyle (\alpha _{\mathrm {i} },\beta _{\mathrm {i} })}$ are the angles of the same rays where they reach the image plane (say, the film plane of a camera). For example, (${\textstyle \alpha _{\mathrm {o} },\alpha _{\mathrm {i} })}$ might represent a paraxial ray (i.e., a ray nearly parallel with the optic axis), and ${\textstyle (\beta _{\mathrm {o} },\beta _{\mathrm {i} })}$ might represent a marginal ray (i.e., a ray with the largest angle admitted by the system aperture). An optical imaging system for which this is true in for all rays is said to obey the Abbe sine condition.

The Abbe sine condition can be derived by Fermat's principle.^[2]

A thin lens satisfies $${\displaystyle {\frac {\tan \alpha _{\mathrm {o} }}{\tan \alpha _{\mathrm {i} }}}={\frac {\tan \beta _{\mathrm {o} }}{\tan \beta _{\mathrm {i} }}}=|M|}$$instead, which means that it does not satisfy Abbe sine condition at large angles. The difference is on the order of ${\displaystyle \alpha _{o}^{3}}$, which corresponds to the coma aberration.

Using the framework of Fourier optics, we may easily explain the significance of the Abbe sine condition. Say an object in the object plane of an optical system has a transmittance function of the form, T(x_o,y_o). We may express this transmittance function in terms of its Fourier transform as

$${\displaystyle T(x_{\mathrm {o} },y_{\mathrm {o} })=\iint T(k_{x},k_{y})\exp \left({j(k_{x}x_{\mathrm {o} }+k_{y}y_{\mathrm {o} })}\right)\,dk_{x}\,dk_{y}\,,}$$

where ${\textstyle \exp(z)=e^{z}}$ is the exponential function, and ${\textstyle j={\sqrt {-1}}}$ is the imaginary unit.

Now, assume for simplicity that the system has no image distortion, so that the image plane coordinates are linearly related to the object plane coordinates via the relation

$${\displaystyle {\begin{aligned}x_{\mathrm {i} }&=Mx_{\mathrm {o} }\\y_{\mathrm {i} }&=My_{\mathrm {o} }\,,\end{aligned}}}$$

where M is the system magnification. The object plane transmittance above can now be re-written in a slightly modified form:

$${\displaystyle T(x_{\mathrm {o} },y_{\mathrm {o} })=\iint T(k_{x},k_{y})\exp \left({j\left({k_{x} \over M}Mx_{\mathrm {o} }+{k_{y} \over M}My_{\mathrm {o} }\right)}\right)\,dk_{x}\,dk_{y}}$$

where the various terms have been simply multiplied and divided in the exponent by M, the system magnification. Now, the equations may be substituted above for image plane coordinates in terms of object plane coordinates, to obtain,

$${\displaystyle T(x_{\mathrm {i} },y_{\mathrm {i} })=\iint T(k_{x},k_{y})\exp \left({j\left({k_{x} \over M}x_{\mathrm {i} }+{k_{y} \over M}y_{\mathrm {i} }\right)}\right)\,dk_{x}\,dk_{y}\,.}$$

At this point another coordinate transformation can be proposed (i.e., the Abbe sine condition) relating the object plane wavenumber spectrum to the image plane wavenumber spectrum as

$${\displaystyle {\begin{aligned}k_{x}^{\mathrm {i} }&={\frac {k_{x}}{M}}\\k_{y}^{\mathrm {i} }&={\frac {k_{y}}{M}}\end{aligned}}}$$

to obtain the final equation for the image plane field in terms of image plane coordinates and image plane wavenumbers as:

$${\displaystyle T(x_{\mathrm {i} },y_{\mathrm {i} })=M^{2}\iint T\left(Mk_{x}^{\mathrm {i} },Mk_{y}^{\mathrm {i} }\right)\exp \left({j\left(k_{x}^{\mathrm {i} }x_{\mathrm {i} }+k_{y}^{\mathrm {i} }y_{\mathrm {i} }\right)}\right)\,dk_{x}^{\mathrm {i} }\,dk_{y}^{\mathrm {i} }}$$

From Fourier optics, it is known that the wavenumbers can be expressed in terms of the spherical coordinate system as

$${\displaystyle {\begin{aligned}k_{x}&=k\sin \theta \cos \varphi \\k_{y}&=k\sin \theta \sin \varphi \,.\end{aligned}}}$$

If a spectral component is considered for which ${\displaystyle \varphi =0}$, then the coordinate transformation between object and image plane wavenumbers takes the form

$${\displaystyle k^{\mathrm {i} }\sin \theta ^{\mathrm {i} }=k{\frac {\sin \theta }{M}}\,.}$$

This is another way of writing the Abbe sine condition, which simply reflects the classical uncertainty principle for Fourier transform pairs, namely that as the spatial extent of any function is expanded (by the magnification factor, M), the spectral extent contracts by the same factor, M, so that the space-bandwidth product remains constant.

• Lagrange invariant
• Smith-Helmholtz invariant
• Herschel's condition