Count independent sinusoidal ripples by their spatial Fourier series indices. A mode with $n$ cycles across $D$ has $\Lambda =D/n$, so the given half-wave index is $j=2n$. The Nyquist spatial frequency permits $n\le N/2$. In two dimensions, a circular cutoff therefore contains approximately $\pi (N/2{)}^2$ integer wavevectors.

For a real wavefront error, the wavevectors $\mathbf{n}$ and $-\mathbf{n}$ describe the same ripple with conjugate coefficients, so count each pair once. The continuum mode-counting approximation givesThis counts one ripple with amplitude and phase per conjugate pair, not one real coefficient. Exact finite-grid counts are integers and have boundary corrections; the formula is the circular area estimate implicit in the question, with piston excluded.

The projected actuator pitch is $p=D/N$ in the question's sampling convention. A sinusoidal wavefront error needs at least two samples per spatial period, by the Nyquist–Shannon sampling theorem. Thus the shortest limiting correctable scale at the primary isThe Nyquist spatial frequency is $N/(2D)$ cycles per unit length. Exactly at that limiting frequency some phases are poorly sampled; actual deformable mirror performance also depends on actuator influence functions, so this is an ideal bandwidth limit.

For the unnormalized Zernike polynomial with $n=4,m=0$, the three radial terms areSince $\cos 0\varphi =1$,Along a central chord with signed coordinate $s\in [-1,1]$, replace $\rho$ by $|s|$. The profile is even, equals one at the center and both edges, and has minima $-1/2$ at $s=\pm 1/\sqrt{2}$. This Zernike spherical mode corresponds to primary spherical aberration, balanced by defocus and piston terms rather than simply the raw quartic Seidel term.

For a large aperture in the standard turbulence model, astronomical seeing is approximately $s=0.98\lambda /r_0$ radians, with Fried parameter $r_0$. Maintaining comparable correction requires a deformable mirror actuator pitch of order $r_0$, so the number of actuators across a diameter is proportional to $D/r_0$ and the total illuminated actuator count is proportional to $(D/r_0{)}^2$. ThereforeLonger wavelengths require fewer actuators and have slightly smaller uncorrected atmospheric angular blur, even though the telescope's diffraction-limited resolution scale $\lambda /D$ increases with wavelength.

Astronomical seeing is the atmospheric angular blurring of a point-source image, usually reported in arcseconds. Operationally it is commonly characterized by the full width at half maximum of a long-exposure stellar point spread function. The full observed width can also contain telescope and instrumental contributions; the atmospheric seeing is the turbulence contribution.

Adaptive-optics sky coverage is limited by the need for a guide star bright enough to measure the wavefront error on the atmospheric evolution time. A faint guide gives noisy measurements; a guide too far from the target samples a different turbulent column. That angular mismatch is anisoplanatism, with useful separation characterized by the isoplanatic angle. Thus a conventional single-guide system cannot provide equally good correction at every target position.

A laser guide star supplies an artificial bright reference and improves coverage. However, its finite-distance beam does not sample the full stellar turbulence column, and conventional laser systems need a natural reference for absolute image motion. The required reference brightness, angular separation, and desired correction quality therefore still constrain observations.

The Strehl ratio isusing the same total flux, pupil, and wavelength for both images. A value near one means that little light has been redistributed from the ideal central peak by wavefront errors. For small residual phase variance ${\sigma }_{\varphi }^2$, the Maréchal approximation is $S\simeq e^{-{\sigma }_{\varphi }^2}$, with ${\sigma }_{\varphi }=2\pi h_{\mathrm{rms}}/\lambda$ for the residual optical-path root mean square error.

The main optical path is telescope to deformable mirror to beam splitter to science camera. The splitter also directs reference light to a wavefront sensor; a controller reconstructs the wavefront error and feeds mirror commands back to the deformable mirror. The mirror is normally conjugate to a pupil so its actuators address the corresponding pupil phase. A separate steering mirror can handle overall image motion.

Adaptive optics corrects rapidly changing atmospheric wavefront errors to improve angular resolution and image concentration. A wavefront sensor estimates those errors and a feedback controller commands a deformable mirror to oppose them, aiming toward the diffraction limit of a telescope rather than the uncorrected astronomical seeing limit.

For identical luminosities in a uniform Euclidean distribution, the inverse-square law gives flux $F\propto r^{-2}$, while the number of sources within distance $r$ is proportional to $r^3$. Therefore ten times as many objects require $r_{10}/r_1=10^{1/3}$ and $F_{10}/F_1=10^{-2/3}$. Applying the definition of apparent magnitude givesThis is the Euclidean magnitude-limited source count relation. It assumes no extinction, spatial variation of density, or cosmological change in the flux-distance relation.

The traditional infrared photometric bands extending the optical photometric system into this range are approximatelyTheir photometric passbands lie mainly in atmospheric windows between strong molecular absorption bands. This makes ground-based observations practical. The exact centers depend on the system: $L^{\prime }$ is near $3.8\mu \mathrm{m}$, and shortened $K_s$ and $M^{\prime }$ bands reduce unwanted background or absorption. At the longest wavelengths, atmospheric and instrumental thermal radiation make sky brightness especially important. A modern $Y$ band near $1.0\mu \mathrm{m}$ is an additional choice, rather than one of the traditional $JHKLM$ extensions.

The magnitude zero point is defined by the reference response $I_0$. With zero magnitude assigned to that reference, the apparent magnitude isThe two responses must use the same photometric passband and instrumental weighting. If the reference has assigned magnitude $m_0$ instead, add $m_0$ to the right-hand side.

Let ${\beta }_0$ be the central camera direction. The grating equation fixesThe usual adjacent-order free spectral range of an echelle grating is thereforeThe constant $K$ has dimensions of length and is the path difference between adjacent grooves for light directed along the camera axis; it is also the fixed product $m{\lambda }_m$. Near the Littrow configuration, $K=2d\sin \alpha$. The detector width corresponding to this interval is approximately $qS$, with grating dispersion $q$.

There is a convention issue in reading the question literally. Adjacent order-center separation is exactly the expression above. A partition assigning each wavelength to whichever order lands closest to the vertical axis has boundaries halfway in detector displacement, not at adjacent order centers. In the small-angle detector approximation its boundaries for order $m$ are $2K/(2m+1)$ and $2K/(2m-1)$, giving width $4K/(4m^2-1)$. Both conventions give $S\sim K/m^2$ for high orders, but their exact finite-$m$ widths differ. The quoted expression is the conventional adjacent-order spacing.

The echellogram contains nearly parallel traces, one for each diffraction order. Choose the main echelle grating dispersion to increase wavelength toward the right and the cross-disperser to increase wavelength upward. At a fixed horizontal coordinate, order $m+1$ has a shorter wavelength than order $m$, so it lies below order $m$ in this convention.

In the simple slit-image approximation, the projected slit width is $w=x{f}_{\mathrm{cam}}/f_{\mathrm{coll}}$. Equating this width to the separation $q\Delta \lambda$ of barely resolved features, using the grating dispersion, givesThis recovers the stated spectral resolving power under the assumption that the grating has unit anamorphic magnification.

For arbitrary distinct $\alpha$ and $\beta$, the anamorphic magnification of a grating must be included. At fixed wavelength, the grating equation gives $|d\beta /d\alpha |=\cos \alpha /\cos \beta$, so the slit image instead has width $w=x{f}_{\mathrm{cam}}\cos \alpha /(f_{\mathrm{coll}}\cos \beta )$. Thus the general slit-limited resolving power of a grating isThe two expressions agree in the Littrow configuration, $\alpha =\beta$. Without that condition or the unit-magnification approximation, the quoted $\cos \beta$ expression is not the general slit-limited result. Finite grating size, detector sampling, and optical aberrations can lower the actual resolution further.

At fixed incidence angle, differentiation of the grating equation gives $d\cos \beta d\beta =md\lambda$. Near the camera axis, the focal-plane displacement is $dX\simeq f_{\mathrm{cam}}d\beta$, so the local grating dispersion isIt has units of distance per unit wavelength. If the camera axis is at ${\beta }_0$ and the flat focal-plane coordinate is retained exactly as $X=f_{\mathrm{cam}}\tan (\beta -{\beta }_0)$, thenThe boxed expression is the local value at the optical axis.

The bright peaks occur when contributions from adjacent grooves have equal phase modulo $2\pi$, so all illuminated grooves contribute by constructive interference. Use the reflection-grating convention shown below: $\alpha$ and $\beta$ are positive angles of the incident and outgoing ray lines on the same side of the normal. The incoming and outgoing path differences between neighboring grooves are $d\sin \alpha$ and $d\sin \beta$, respectively. Hence the grating equation isThe integer $m$ labels the diffraction order. With a different signed-angle convention, the same physical condition contains a difference of sines.

At $a=1$, the endpoint is degenerate: $S(t)=\sinh t-t=t^3/6+O(t^5)$. The contributing width is therefore $t=O({\nu }^{-1/3})$, rather than the width in part (i). With $v=\nu t^3/6$, the formula for a degenerate endpoint in Laplace's method givesThe coefficient is a Gamma function value obtained by the Gamma integral.

For $0<a<1$, the phase has an interior minimum atThe inverse hyperbolic cosine selects the positive stationary point. At this point,Expanding the phase to second order and evaluating the resulting Gaussian integral by Laplace's method yieldsThe exponential grows because the minimum of $S$ is negative; the original integral remains convergent because $a\sinh t$ dominates $t$ at infinity.

Let $S(t)=a\sinh t-t$. For $a>1$, $S^{\prime }(t)=a\cosh t-1>0$ on the integration interval, so its minimum is the endpoint $t=0$. The Taylor series isOn the contributing scale $t=O({\nu }^{-1})$, the higher terms are negligible. The endpoint form of Laplace's method, or the Watson lemma, therefore gives