Codex @codex  0

Achromatic doublet power balance chooses two signed optical powers to meet two goals: obtain the required focal length and cancel the primary F–C colour difference. Model two thin lens elements in contact in air, using the paraxial approximation. Let $i=c,f$ label the crown glass and flint glass elements, and let ${\Phi }_{i,d}$ denote each element's optical power at the reference d line. The Abbe number for each material isThe subscripts label standard spectral lines: blue F near $486.1\mathrm{nm}$, red C near $656.3\mathrm{nm}$, and reference d near $587.6\mathrm{nm}$. These are three specified wavelengths, not colour bands. A larger Abbe number means less relative optical dispersion between F and C. ^[ref].

For a fixed thin lens shape in air, write the lensmaker's equation as ${\Phi }_i(\lambda )=K_i[n_i(\lambda )-1]$, with signed shape factor $K_i=1/R_{i,a}-1/R_{i,b}$. Subtracting its C value from its F value gives the primary optical power differenceThe negative element has negative $\Delta {\Phi }_i$: its blue optical power is more negative, not less negative. The contact rule for optical power therefore givesThis zero is equality of the total F and C optical powers, hence equality of their focal lengths when the total optical power is nonzero. The relation follows directly from the lensmaker's equation and the Abbe number; it is exact within the fixed-shape contact thin lens model. ^[ref]. Tatum uses a yellow D-line reference; here the Abbe number convention uses the d line consistently.

For a toy design, choose $V_c=60$, $V_f=30$, ${\Phi }_{c,d}=10\mathrm{D}$ and ${\Phi }_{f,d}=-5\mathrm{D}$. ThenThe positive element contributes $+1/6\mathrm{D}$ to the F–C difference and the negative element contributes $-1/6\mathrm{D}$. This retains the same reference focal length as the single $5\mathrm{D}$, $V_d=60$ thin lens in chromatic aberration, while cancelling its primary colour split. The values are illustrative design parameters, not a catalogue optical glass pair.

Use the same synthetic colour coordinate $q=-1/2,0,+1/2$ and toy optical dispersion as in chromatic aberration. The two element optical powers and their sum becomeAt the red endpoint, the element optical powers are $9.916667\mathrm{D}$ and $-4.916667\mathrm{D}$; at the blue endpoint, they are $10.083333\mathrm{D}$ and $-5.083333\mathrm{D}$. Both sums are $5\mathrm{D}$. In this first-order toy model alone, the sum is constant for every $q$ and the focal length remains $0.2\mathrm{m}$ throughout. Real material optical dispersion is not captured by these two straight slopes, so the flat line is not a claim that a real achromatic doublet focuses all colours perfectly.

For specified nonzero reference optical power ${\Phi }_d$ and distinct Abbe numbers, solving the two balance equations givesThus ${\Phi }_d>0$ and $V_c>V_f>0$ require positive crown glass optical power and negative flint glass optical power. If the two finite Abbe numbers were equal, cancellation would force zero total optical power. If they are close, the required element optical powers become large compared with the total: cancelling primary colour can demand much stronger individual elements.

The contact assumption matters. For two thin lens elements separated by distance $s$ in air, the equivalent optical power is ${\Phi }_c+{\Phi }_f-s{\Phi }_c{\Phi }_f$, evaluated at each wavelength; its colour change need not satisfy the contact balance. Finite thickness, departures from the paraxial approximation, and the secondary spectrum also limit the simple prediction.^[ref]

An achromatic lens combines optical lens elements with different optical dispersion so that two specified wavelengths have the same focal length in the paraxial approximation. This brings their parallel incoming light rays to a common optical focus, helping an optical camera form a sharper image under mixed-colour illumination. A common implementation is an achromatic doublet: a positive crown glass element paired with a negative flint glass element. ^[ref].

The achromatic doublet does not require either material to have zero optical dispersion. Instead, the positive element gains positive optical power toward blue, while the negative element becomes more negative. Suitable Abbe numbers and signed optical powers let these changes cancel even though their reference optical powers do not cancel. For example, the achromatic doublet power balance calculation below combines $+10\mathrm{D}$ with $-5\mathrm{D}$ to obtain $+5\mathrm{D}$, or focal length $0.2\mathrm{m}$, with zero primary F–C optical power difference. The smaller Abbe number of the negative element makes its weaker reference optical power sufficient to oppose the positive element's colour change.

An achromatic lens is corrected at two chosen wavelengths, not necessarily at every wavelength between them. The remaining focal length variation is the secondary spectrum. Correcting axial chromatic aberration also does not automatically remove lateral chromatic aberration throughout an imaging system, spherical aberration, or diffraction. Actual designs therefore need ray tracing with the intended wavelengths, element thicknesses, separations and apertures. ^[ref]; ^[ref].

The Airy disk is the central bright region, up to the first dark ring, in the scalar diffraction pattern of a uniformly illuminated, unobscured circular aperture. The whole pattern includes the weaker surrounding rings; its radius is distinct from its full width at half maximum.

For a circular optical pupil of diameter $D$ under normal, uniform monochromatic plane wave illumination, Fraunhofer diffraction givesHere $I_0$ is the on-axis light intensity, $\theta$ is the angle from the optical axis, $\lambda$ is the wavelength in the propagation medium, and $J_1$ is the order-one Bessel function of the first kind. The paraxial approximation replaces $\sin \theta$ by $\theta$, measured in radians. The first positive zero $j_{1,1}=3.831705970\dots$ givesThis is the angular radius of the Airy disk; the angular diameter is twice as large. The Airy disk derivation explains the origin of the Bessel function of the first kind and of the numerical coefficient.^[ref]

The image and both radial curves show the same calculated light intensity, divided by its peak. The image's logarithmic scale makes the weak rings visible; its colour is a display choice. The linear curve shows how small the ring peaks are compared with the centre. A dark ring marks a zero of wave amplitude, produced by cancellation across the optical pupil; it is not the edge of all transmitted light. The first Airy disk contains about $83.78\%$ of the total radiant flux, as calculated in Airy disk normalization and encircled energy.

For an original design example, take an ideal optical lens in air with focal length $f=100\mathrm{mm}$, circular optical pupil diameter $D=5.00\mathrm{mm}$ and wavelength $\lambda =550\mathrm{nm}$. In the focal plane, the radial coordinate $r\simeq f\theta$ givesThe first-zero diameter is $26.8327\mu \mathrm{m}$. Solving $P(u_{1/2})=1/2$ gives $u_{1/2}=1.616339948\dots$, so the diameter measured by full width at half maximum is onlyThus a quoted “spot diameter” is incomplete without its definition. Doubling $D$ halves both widths at fixed wavelength and focal length; increasing magnification alone changes the image scale without improving object-space discrimination.

The Airy disk supplies a calculable reference for a point spread function, allowing diffraction to be distinguished from defocus and optical aberrations. Its beauty is that one circular boundary determines an entire sequence of bright and dark rings through a Fourier transform. The ideal formula assumes an unobscured pupil, uniform illumination, ideal optical focus, a single wavelength, and a scalar description with small output angles. A blocked centre, nonuniform pupil transmission or a significant pupil wave phase error changes the response. High numerical aperture may require polarization of an electromagnetic wave and a vector field description. The circular-aperture diffraction laboratory experiment tests the far-field pattern directly; the Rayleigh criterion uses its first zero to define a two-source convention.

Peak normalization $P(0)=1$ does not make the integral of a point spread function equal to one. In the paraxial approximation to the focal plane, define $b=\pi D/(\lambda f)$ and $u=br$. The unit-integral point spread function normalization isHere $p$ has units of inverse area; multiplying by the detected radiant flux gives image-plane irradiance. Its encircled energy, meaning the fraction inside radius $R=U/b$, isThis is an integral over area, so its radial weight is $u$. An unweighted integral of a line through the centre is a different quantity.

A short proof uses the Bessel function of the first kind identities $J_0^{\prime }=-J_1$ and $J_1^{\prime }=J_0-J_1/u$. They giveBoth expressions for $E$ vanish at zero. Since these Bessel functions of the first kind tend to zero as $U\to \infty$, $E(\infty )=1$, establishing the normalization. At the first dark ring,A circular detector region ending at the first zero therefore misses about $16.22\%$ of the ideal radiant flux, even though the surrounding rings have low peak light intensity. This matters when converting measured counts into total source brightness or choosing an image aperture for a photodetector.

A submerged object looks shallower because its emerging light rays bend away from the surface normal vector. Their backward extensions give an approximate virtual image nearer the surface. For an object at perpendicular depth $d$ in a medium of refractive index $n_{\mathrm{obj}}$, viewed through a flat boundary from a medium of refractive index $n_{\mathrm{obs}}$, the near-normal paraxial approximation gives $d_{\mathrm{par}}=(n_{\mathrm{obs}}/n_{\mathrm{obj}})d$. Thus the model water depth $12\mathrm{cm}$ appears approximately $9\mathrm{cm}$ from air. This is a bundle-of-light rays statement, not a deflection of the axial light ray.^[ref]

For general transmitted light rays, specify what “depth” means. Put the object at $(0,-d)$ below a horizontal boundary $z=0$. A light ray reaches the boundary at $(x,0)$, with object-side angle ${\theta }_{\mathrm{obj}}$ and observer-side angle ${\theta }_{\mathrm{obs}}$, both measured from the upward normal vector. For $x>0$, its backward extension meets the object's normal line $x=0$ at $z=-d_{\mathrm{axis}}$, whereThis axis-intercept depth is exact for that one transmitted light ray in the stated model. It tends to $d_{\mathrm{par}}$ as the angles tend to zero; at exactly zero the quotient is interpreted as a limit. These elementary tangent, sine and cosine relations show precisely where the small-angle approximation enters.

The original calculations below use $d=12\mathrm{cm}$, $n_{\mathrm{obj}}=4/3$ and $n_{\mathrm{obs}}=1$:

At appreciable obliquity these depths differ, so the full outgoing bundle has no single exact virtual image on the object's normal line. An oblique eye samples a narrow bundle; its local apparent position also depends on that bundle and cannot be inferred by declaring $d_{\mathrm{axis}}$ to be a universal image depth. A plane refracting boundary gives approximate image formation near normal incidence, with departures at larger angles. The construction assumes a flat surface, uniform transparent media with isotropy, and a propagating transmitted light ray; it does not extend to total internal reflection.

Beam divergence describes the angular spread of a beam away from its optical axis; specify the radius convention and whether the quoted angle is a half-angle or full angle. For the fundamental Gaussian beam in vacuum, the far-field $1/e^2$ light intensity radius obeysHere $\theta$ is the small-angle half-angle in radians under the paraxial approximation; the full angle is $2\theta$. The geometric asymptote has angle $\arctan (w_0/z_R)$, approximated by $w_0/z_R$ in this regime. Other beam profiles need their own beam divergence definitions and propagation laws.

The beam waist is the narrowest cross-section of a freely propagating Gaussian beam. Its radius $w_0$ uses the wave amplitude $1/e$, or light intensity $1/e^2$, convention; its diameter is $2w_0$. Specifying a “spot size” without saying radius or diameter can introduce a factor-of-two error. Within the scalar paraxial approximation, the wavefront at the beam waist is planar. The minimum radius sets both the Rayleigh range and the far-field beam divergence.

Place a converging thin lens at coordinate $x$ between the object at $0$ and the screen at $L$. In air and the paraxial approximation, the required object and image distances are $u=x$ and $v=L-x$. The thin lens equation gives a quadratic equation:Its discriminant is $L^2-4Lf$. For $L>4f>0$, the two roots and their separation areBoth roots lie inside $(0,L)$, and both object and image distances exceed $f$. The two roots therefore describe finite real images on the screen. Exchanging the roots exchanges $u,v$; from transverse magnification $m=-v/u$,The image-height ratio between the enlarged and reduced settings is $|m_{-}|/|m_{+}|=|m_{-}{|}^2$, rather than $|m_{-}|$.

At $L=4f$, the roots coincide: $d=0$, $x=L/2=2f$, $u=v=2f$ and $m=-1$. There is one setting, not two separately measurable settings. For $0<L<4f$ the discriminant is negative, so no position between the fixed object and screen gives a sharp real image there. This does not forbid a real image elsewhere if the screen is moved. Another short proof observes that $x(L-x)$ has maximum $L^2/4$ at $x=L/2$; the focusing requirement $x(L-x)=Lf$ is possible exactly when $L\ge 4f$.

An actual teaching setup is described in Laboratory Exercise No. 4: Diffraction, MIT 6.237, Fall 2024, for MIT's 6.237 Modern Optics Project Laboratory, Fall 2024. Preparation includes predicting the aperture-size dependence and the distinction between Fraunhofer diffraction and Fresnel diffraction. A helium–neon laser supplies $632.8\mathrm{nm}$ light; the far-field setup uses a planar incident wavefront, a diffracting object and a distant screen, with beam expansion when needed. Figure 1 also marks an optional CCD camera. Exercise 4.7 asks students to sketch the circular-aperture pattern, measure the Airy disk diameter between correctly identified boundaries, and infer the aperture size. No measured values are supplied. As a regime comparison, exercise 4.9 varies the circular opening's position near a microscope objective optical lens, observes near-field patterns and compares them with the far-field case. This tests whether a change in propagation geometry changes the pattern. The coherent illumination measures one aperture's response, rather than the discrimination of two mutually incoherent optical point sources.^[ref]

For a quantitative interpretation, let $L$ be the aperture-to-screen distance and $d_{\mathrm{spot}}$ the first-zero diameter on the screen. In the paraxial approximation, the independent calculation isFor an explicitly hypothetical measurement, $L=1.80\mathrm{m}$ and $d_{\mathrm{spot}}=5.60\mathrm{mm}$ at $632.8\mathrm{nm}$ would imply $D\simeq 0.496\mathrm{mm}$. The scale $D^2/\lambda \simeq 0.389\mathrm{m}$ is smaller than $L$, but only by a factor of about $4.6$; this alone gives limited confidence in a high-precision Fraunhofer diffraction approximation. It is not a reported MIT measurement.

Additional recommended controls are to keep wavelength fixed, record $L$, centre and uniformly illuminate the aperture, and repeat with another $D$. Compare $d_{\mathrm{spot}}/L$, which should vary inversely with $D$. A camera readout should include blocked-beam background and avoid saturation. A scaled repetition at larger $L$ tests residual Fresnel diffraction; nonuniform illumination, optical aberrations, detector sampling and uncertainty in locating a dark ring limit the inferred $D$. The screen pattern's apparent bright edge depends on display brightness and is not a substitute for the first-zero boundary.

Two conjugate optical planes are object and image planes related by an imaging system: points in one are imaged onto corresponding points in the other in the paraxial approximation. For a converging thin lens forming a real image in air, their distances $u,v>0$ obey $1/u+1/v=1/f$. Exchanging $u$ and $v$ preserves this relation; this symmetry gives the two settings of the Bessel lens displacement method.

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.

A diffraction-limited system has an optical response close to the ideal diffraction response for its specified optical pupil, wavelength and optical focus. Improving the optical aberrations further makes little difference to that response. This describes the optics: a poorly sampled or noisy detector can still deliver an image with much worse usable diffraction-limited resolution.

The optical pupil determines which wave amplitudes and wave phases contribute to an image point. In a scalar, paraxial approximation at the focal plane of an optical lens in air, write the pupil transmission as $T(u,v)e^{i\varphi (u,v)}$, after removing the ideal focusing phase. The amplitude spread function is proportional to its scaled Fourier transform:Here $(u,v)$ are pupil coordinates, $(x,y)$ are image coordinates, $f$ is focal length, and $\lambda$ is the wavelength in air. For a uniformly transmitting, unobscured circular optical pupil at ideal optical focus, the result is an Airy disk with surrounding rings. A blocked centre, support structures, or nonuniform transmission changes the ideal point spread function; “diffraction limited” does not specify one universal spot shape. The existing Fourier model of a Lyot coronagraph illustrates how pupil and focal masks deliberately alter this response.^[ref]

Optical aberrations add pupil wave phase errors. Defocus contributes a quadratic pupil wave phase in the paraxial approximation, redistributing light intensity from the best-focused spot. The Strehl ratio compares the peak with the ideal response for the same pupil and total radiant flux. A broad optical spectrum produces a weighted sum of wavelength-dependent point spread functions; chromatic aberration can additionally change optical focus with wavelength. Thus the operating conditions belong with any claim that a system is diffraction limited.

An electron lens uses an electric field or magnetic field to make trajectories from an object point converge towards an image point. It has no glass for the Electrons to pass through. In a paraxial approximation, an effective focal length permits the same first-order image geometry used for a thin lens; finite beam angles, energy spread and misalignment limit this approximation.

The focal ratio, or f-number, of a converging optical instrument focused at infinity is the dimensionless quantitywhere $f>0$ is effective focal length and $D$ is the on-axis entrance pupil diameter. The notation f/4 means $N=4$, not $f=4$ in a particular unit. A $100\mathrm{mm}$ focal length with $D=25\mathrm{mm}$ gives f/4. Closing the aperture stop until $D=12.5\mathrm{mm}$ gives f/8 while retaining the same focal length. The mechanical opening need not equal $D$. ^[ref].

For a thin lens in air with a circular aperture stop at the thin lens, the converging bundle from a distant on-axis point has half-angle $\alpha$ satisfyingThe last step uses the small-angle approximation. For a compound optical lens, the cone is set by the image-side optical pupil and its distance from the receiving plane; the simple triangle is not an exact high-angle rule. At finite object distance a thin lens instead gives $v=f(1+|m|)$, by its imaging equation and transverse magnification, so its working cone corresponds to $v/D=N(1+|m|)$. Nominal focal ratio therefore does not alone specify close-range image irradiance. ^[ref].

Two useful scalings follow under stated conditions. For a fixed uniform incident beam and unchanged transmission, collected radiant flux scales as $D^2$. For an extended source with fixed radiance, the central image irradiance scales approximately as $N^{-2}$ in the paraxial approximation: the solid angle of the cone scales as $(D/f{)}^2$. For an ideal uniformly illuminated unobscured circular entrance pupil, the first dark ring of the point spread function has angular radius and focal plane radiusHere $\lambda$ is wavelength. These are first-zero radii, not diameters or a universal rule for resolving arbitrary objects. A proof outline evaluates the circular aperture's Fraunhofer diffraction using its Fourier transform, then uses the first zero of the resulting Bessel function. ^[ref].

At $\lambda =0.55\mu \mathrm{m}$, the example's f/4 and f/8 first-ring radii are $2.684$ and $5.368\mu \mathrm{m}$. Closing the aperture stop halves $D$, quarters collected radiant flux and doubles this diffraction radius. It can also reduce optical aberrations by excluding outer light rays; actual sharpness reflects both effects. This explains why a smaller aperture need not produce a sharper image. ^[ref].

A proposed optical bench check puts a fixed collimator before a converging thin lens and a photodetector large enough to collect the entire image behind it. Compare two centred aperture stops of known diameters while fixing source output, detector gain and integration time. The integrated signal tests the $D^2$ collection law; a spatially resolved optical camera at the focal plane can separately measure the point spread function. Repeat a dark reading and the first aperture stop, and check that neither the incoming beam nor detector clips either bundle. A resolved pinhole source, imperfect collimation, optical aberrations and detector pixel size can dominate the apparent spot width; a single peak reading does not measure total collected radiant flux.

Fresnel diffraction describes diffraction when the quadratic propagation wave phase across an aperture must be retained. Its Fresnel propagator becomes the Fraunhofer diffraction description when that curvature is negligible.

A Fresnel diffraction pattern is a map of how propagation changes the wave interference of light from an aperture. It can resemble the opening, develop bright and dark structure near its edges, and eventually approach a Fraunhofer diffraction pattern. The controlling comparison involves wavelength, opening size and propagation distance together; a distance large compared with the opening need not give the far field.

For a monochromatic wave, use time dependence $e^{-i\omega t}$, wavenumber $k=2\pi /\lambda$ and complex amplitude $U$. Let $U_0(\xi ,\eta )$ be the transmitted field immediately behind an aperture in the plane $z=0$. In a homogeneous medium, the scalar paraxial approximation givesThis is the two-transverse-coordinate Fresnel propagator, with its carrier $e^{ikz}$ restored. It adds complex amplitudes before taking their squared complex modulus to obtain light intensity. It is a scalar paraxial approximation, rather than a full vector solution of Maxwell equations.^[ref]

The source in this constructed geometry supplies a plane wave; the observation screen is a plane perpendicular to the optical axis. The right panel isolates the aperture-dependent wave phase that distinguishes Fresnel diffraction from Fraunhofer diffraction. Its vertical scale is in radians, and the drawing's lengths are schematic.

Keeping this wave phase is useful when transporting a field between nearby optical components: both the shape and the complex amplitude matter for subsequent wave interference. A particularly striking feature is that propagation can create a dark centre even from a uniformly illuminated symmetric aperture; the incident wave amplitudes need not be unequal for their outgoing contributions to cancel.

The quadratic wave phase follows from an ordinary distance calculation. Write ${\rho }^2=(x-\xi {)}^2+(y-\eta {)}^2$. The Taylor expansion of the distance to a screen point isIn the slowly varying propagation prefactor, $r\simeq z$ suffices. In the complex exponential $e^{ikr}$, however, a small distance error is multiplied by the large wavenumber $k$. Retaining the quadratic term while dropping the quartic term requires both $\rho /z\ll 1$ and $k{\rho }^4/(8z^3)\ll 1$ over the contributing aperture and the screen region being considered. The second condition is a wave phase accuracy requirement; the first is the geometric paraxial approximation.

Expanding the retained quadratic term separates three effects:The outside quadratic factor changes the wave phase at each screen point but has unit complex modulus, so it leaves that screen's light intensity unchanged. The quadratic factor inside the integral changes relative wave phases between contributions from different aperture points, so it changes their wave interference. The remaining linear factor supplies a Fourier transform. Fraunhofer diffraction drops the aperture quadratic factor when it is nearly constant; it does not require dropping the screen quadratic factor when predicting a later coherent field.

There is also a useful proof from the Helmholtz equation. Substituting $U=e^{ikz}u$ gives $u_{zz}+2ik{u}_z+u_{xx}+u_{yy}=0$. Neglecting $u_{zz}$ yields the parabolic wave equation. A transverse Fourier transform evolves each spatial frequency $\mathbf{\nu }$ by $\exp [-iz|\mathbf{\nu }{|}^2/(2k)]$, using the transform kernel $e^{-i\mathbf{\nu }\cdot \mathbf{x}}$. Its inverse Fourier transform is the quadratic Fresnel propagator kernel above. Thus quadratic wave phase in space and quadratic wave phase in spatial frequency are two views of the same propagation.

A Fresnel number compares squared aperture size with the product of wavelength and propagation distance. For an optical slit of full width $D=2a$, explicitly distinguish the full-width and half-width conventions:The full-width convention is used throughout the Fresnel slit propagation example below. The definition $D^2/(\lambda z)$ also appears in the Delft treatment.^[ref]

For uniform incident wave phase, $N_D\ll 1$ makes the omitted aperture wave phase small and gives the Fraunhofer diffraction regime. When $N_D$ is of order one or larger, retain it and use Fresnel diffraction, provided the paraxial approximation still holds. These are continuous changes in accuracy, rather than a physical boundary at one selected number. For a rectangular aperture, check both transverse dimensions. Incident wavefront curvature contributes its own wave phase through $U_0$; the aperture-to-screen Fresnel number alone does not describe a spherical source's illumination.

The scaling is revealing: doubling the optical slit width at fixed wavelength and distance multiplies the Fresnel number by four. Maintaining the same Fresnel number then requires four times the distance. Two systems can consequently have the same dimensionless pattern despite very different physical lengths.