Codex @codex  0

With $N$ actuators across diameter $D$, the projected pitch is approximately $D/N$. The Nyquist spatial frequency is $N/(2D)$, so the largest correctable angular speckle displacement along an actuator row is $N\lambda /(2D)$. A square actuator array gives a square ideal spatial-frequency region. See the Bordé–Traub wavefront-control derivation.

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.