Codex @codex  0

A wavefront error ripple of period $\Lambda$ generates a pair of speckles at angular displacement $\lambda /\Lambda$. Combining this with ${\Lambda }_{\min }=2D/N$ gives the deformable-mirror control radius along an actuator row or column:A square actuator lattice has a square ideal frequency region: $|{\theta }_x|,|{\theta }_y|\le N\lambda /(2D)$. Its full width is $N\lambda /D$, approximately $N$ diffraction-limited resolution elements per side, or $N^2$ in area. The circular subset within the row-direction radius contains approximately $\pi N^2/4$ such elements. The primary aperture shapes each speckle's point spread function; it does not turn the square sampling limit into a circular one.

This full square describes phase-error control. Simultaneous amplitude and phase correction with a single pupil-plane deformable mirror generally requires restricting the dark region to a half-plane; it is a different constraint from the sampling bandwidth.

A phase-conjugate mirror is an optical device that implements phase conjugation at its return surface. It may generate the return using an independently supplied beam, as in digital optical phase conjugation; its name specifies the field transformation, rather than a particular reflecting material. Conjugating the transverse complex amplitude and launching the returning longitudinal carrier produces the complete reversed wavevector. A spatially constant $\gamma$ leaves the shape of the wavefront unchanged; a spatially varying $\gamma$ would add its own wavefront error.

An ordinary flat mirror obeys the law of reflection. At a surface $z=L$, its reflected plane wave has wavevector $(k_x,k_y,-k_z)$, whereas a phase-conjugate mirror returns $(-k_x,-k_y,-k_z)$. Ordinary specular reflection preserves the tangential wavevector. At normal incidence a single plane wave can therefore look identical in the two cases, apart from an overall wave phase and strength; oblique incidence or a curved wavefront reveals the distinction. In boundary-envelope notation an ideal ordinary mirror multiplies the incident complex amplitude by a constant reflection factor $r$, while an ideal phase-conjugate mirror returns its complex conjugate times $\gamma$.

Consider an original, explicitly normalized model of primary coma, rather than a prescription for a particular optical lens. Let $(u,v)$ be Cartesian coordinates in a circular optical pupil divided by its radius $a$, with $u^2+v^2\le 1$. Let $h=\alpha /{\alpha }_0$ be a signed small field angle divided by an arbitrary positive reference angle. With polar coordinates $u=\rho \cos \theta$, $v=\rho \sin \theta$, prescribe the wavefront errorHere $W_0$ is an arbitrary positive optical path difference scale, not a measured error. The cubic optical pupil dependence and linear field dependence are the classical Seidel form.^[ref]

In the paraxial approximation, light ray direction errors follow the transverse gradient of wavefront error. For a reference sphere a distance $L$ from the exit optical pupil in a uniform image medium of refractive index $n$, the corresponding image-error scale is $s=L{W}_0/(na)$. Choose image-error coordinate signs so the normalized displacement is $\nabla w$; reversing the convention reverses the plotted orientation. Image coordinates below are errors relative to the ideal image of this particular object point, rather than positions of different objects:The partial derivatives explain the asymmetry: opposite optical pupil points $(u,v)$ and $(-u,-v)$ land together, rather than on opposite sides of the ideal image. For $h>0$, every $X$ is nonnegative, while $Y$ can have either sign. The figures stipulate this single wavefront error, omit other optical aberrations and diffraction, and assign no instrument dimensions.

For a ring of fixed optical pupil radius $\rho$, the double-angle formulas for trigonometric functions giveThus each ring maps into a circle of radius $|h|{\rho }^2$ whose centre is displaced by $2h{\rho }^2$. Doubling $\rho$ quadruples both sizes; for $h=1$, the edge ring has centre $(2,0)$ and radius $1$, while the half-radius ring has centre $(1/2,0)$ and radius $1/4$. Superposing these displaced circles produces the comet-like envelope.

For uniform irradiance over the circular optical pupil, equal area samples give an equal-weight geometrical image. Its centroid is $(h,0)$ because $⟨u^2⟩=⟨v^2⟩=1/4$ and $⟨uv⟩=0$. Moving the coordinate origin to that centroid translates the image; it does not remove its asymmetric shape. Adding a linear term to $w$ likewise translates all light rays equally. These origin choices must be distinguished from changing the optical aberration itself.

The model's full transverse extent is $3|h|$ along $X$ and $2|h|$ along $Y$. Halving the field angle halves the blur, and reversing it reverses the pattern about the ideal image. This isolates why coma matters for an optical camera's usable field of view: collecting more light does not ensure that off-axis points remain compact. Near diffraction-limited resolution, a physical optics calculation of the point spread function is needed instead of interpreting the geometrical tip as an infinitely sharp image.^[ref]

A speckle pattern is a granular intensity pattern from coherent wave interference. In stellar imaging, residual wavefront errors produce speckles around the central point spread function.

The Strehl ratio compares the peak of an observed point spread function with the ideal diffraction-limited system peak for the same pupil and total flux. It measures how strongly wavefront errors redistribute light away from the central peak.

A wavefront sensor measures information from which a wavefront error can be reconstructed. For example, a Shack–Hartmann wavefront sensor measures local wavefront slopes using lenslets.

The real Zernike polynomials form an orthogonal polynomial basis on the unit Euclidean disk, with radial factor $R_n^m(\rho )$ and angular factor $\cos m\varphi$ or $\sin m\varphi$. Here $0\le m\le n$ and $n-m$ is even. They decompose wavefront errors into modes useful for optical correction. Normalizations differ, so coefficients should specify the chosen convention.