Codex @codex  0

The radius of a circle or sphere is the Euclidean distance from its centre to its boundary. The diameter is twice the radius.

For real $\alpha \ne 0,\gamma$ and complex $\beta \ne 0$, completing the square in $\alpha |z{|}^2-\beta \bar{z}-\bar{\beta }z+\gamma =0$ gives center $\beta /\alpha$ and radius $\sqrt{|\beta {|}^2-\alpha \gamma }/|\alpha |$, when the radicand is nonnegative. The displayed map is reflection in the line through $0$ and $\beta$: it preserves the complex modulus, fixes the center, and squares to the identity. Hence it maps the circle onto itself, including a radius-zero degeneration.

The residue of a function $f$ at an isolated singularity $a$ is its Laurent coefficient of degree $-1$. More explicitly, if $f$ is holomorphic for $0<|z-a|<\rho$, write its Laurent series asThis one Laurent coefficient determines the contour integral around a sufficiently small counterclockwise circle about $a$. A complicated local Laurent series can therefore leave a remarkably simple answer after one complete trip around the point.

For a simple pole, multiplying by $z-a$ removes the pole, leaving a holomorphic extension whose value at $a$ is the residue:There is a useful shortcut for a quotient $f=g/h$. If $g$ and $h$ are holomorphic near $a$, $h$ has a simple zero there, and $g(a)\ne 0$, then $f$ has a simple pole andThe first-order Taylor series of $h$ explains the denominator: dividing $h(z)$ by $z-a$ leaves its derivative at $a$ in the limit. This computes a residue without finding the full Laurent series, which is especially useful when the numerator or denominator is complicated. ^[ref]

For example, the rational function $f(z)=1/(z^2+1)$ has simple poles at $i$ and $-i$. Factoring the denominator makes both residues immediately visible:The signs matter: these residues cancel when both poles are enclosed, but either one contributes when enclosed alone. The residue theorem below turns this distinction into different contour integrals of the same function.

A residue is not the same thing as a pole, nor does it measure the order of a pole. The function $1/z^2$ has a double pole at zero but residue zero. Conversely,has an essential singularity at zero and residue one. Infinitely many negative powers cause no difficulty in reading off that particular Laurent coefficient. At a removable singularity the residue is zero. ^[ref]

Why does only this Laurent coefficient survive? Parametrize a counterclockwise circle by $z=a+r{e}^{it}$, $0\le t\le 2\pi$, with $0<r<\rho$. For every integer $n$,When $n\ne -1$, the complex exponential completes a whole number of turns and its contributions cancel; when $n=-1$, it is constant. Uniform convergence of the Laurent series on this circle justifies termwise integration, giving $\oint f(z)dz=2\pi i\mathrm{Res}(f,a)$. Thus the residue isolates exactly the local information that a closed contour integral detects. ^[ref]

This selection rule explains why a very large value near an isolated singularity need not produce a large contour integral. The double pole $1/z^2$ grows faster near zero than $1/z$, yet its contributions around a circle cancel completely. What matters is the arrangement of complex values along the path, including the differential $dz$, rather than their moduli alone. A residue records that surviving contribution, not the size of the function near the point.

Let $\Gamma$ be a piecewise smooth contour forming a simple closed curve, positively oriented: travel counterclockwise, with the interior on the left. Suppose $f$ is holomorphic on an open set containing $\Gamma$ and its interior, except at finitely many isolated singularities $a_1,\dots ,a_m$ strictly inside. ThenNo isolated singularity may lie on $\Gamma$: the ordinary contour integral must be defined there. Reversing the direction of the contour reverses the sign of the answer. The theorem applies to essential singularities as well as poles. ^[ref]

Return to $f(z)=1/(z^2+1)$. A counterclockwise circle $|z|=2$ encloses both simple poles, soYet $f$ is nonzero everywhere it is defined. A zero contour integral does not imply a zero function, or even absence of poles: the enclosed residues can cancel. By contrast, the counterclockwise circle $|z-i|=1/2$ encloses only $i$, givingThe picture compares these two selections. Changing the shape of a contour while keeping the same enclosed poles leaves the contour integral unchanged, provided the contour deformation stays where $f$ is holomorphic.

This is the practical appeal of the residue theorem: local Laurent coefficients determine a global contour integral. For a rational function, a few simple pole computations can replace a long parametrized calculation. It also makes real improper integrals accessible by treating the real line as part of a closed contour in the complex plane.

To compute $I={\int }_{-\infty }^{\infty }dx/(1+x^2)$, take $R>1$ and travel along the real line from $-R$ to $R$, then return along the upper semicircle $A_R$, parametrized by $z=R{e}^{it}$ for $0\le t\le \pi$. This contour is positively oriented and encloses the simple pole $i$ only; $-i$ is outside. HenceThe added arc must be controlled before taking a limit. On $A_R$, the reverse triangle inequality gives $|z^2+1|\ge R^2-1$, and the arc length is $\pi R$. The estimation lemma therefore yieldsThe denominator grows quadratically while the arc length grows only linearly. This quantitative comparison, rather than a sketch alone, explains why closing the contour does not alter the limiting real improper integral. It even supplies an error bound: the difference between $\pi$ and the finite real integral is at most $\pi R/(R^2-1)$.

For a numerical check, $R=10$ gives the finite real integral $2\arctan (10)\approx 2.94226$, leaving about $0.19934$ to reach $\pi$. The arc bound is $10\pi /99\approx 0.31733$, comfortably larger than that error. The graph shows both quantities approaching zero. The exact tail here can be checked with the antiderivative $\arctan x$; the residue theorem method remains useful for improper integrals where a convenient real antiderivative is unavailable.

Finally, both one-sided improper integrals converge absolutely: for $|x|\ge 1$, $0<1/(1+x^2)\le 1/x^2$, whose tails are integrable. Thus the symmetric limit computes the ordinary improper integral, not merely a Cauchy principal value, andClosing below instead would enclose the simple pole $-i$. With the same left-to-right traversal of the real line, that contour is clockwise, so its contour integral is $-2\pi i\mathrm{Res}(f,-i)=\pi$ again. This provides a useful sign check: the opposite residue is accompanied by the opposite direction around the enclosed region.

The same strategy extends to many other rational functions: choose a contour, identify its enclosed isolated singularities, compute their residues, and bound the added pieces. The choice of contour and the bound are as much part of the calculation as the residues. ^[ref]

Every supporting centre of an arc between fixed endpoints lies on their perpendicular bisector. Multiplicity at least $k$ therefore makes that line contain at least $k$ of the original points. For each such line containing $s$ points, its $s$ centres each support at most $t$ circles; on one circle at most two consecutive-point arcs have that symmetry axis. The rich line bound summed over dyadic occupancies gives the displayed bound.

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]

Half of a circle, with endpoints at opposite ends of a diameter. For radius $R>0$, the upper semicircle in the complex plane is parametrized by $z=R{e}^{it}$, $0\le t\le \pi$, going counterclockwise from $R$ to $-R$.

Fix the standard orientation of a vector space on the plane. For an oriented regular curve in that plane, let $T=(T_x,T_y)$ be its unit tangent vector and let $N_L=(-T_y,T_x)$ be its left unit normal, obtained by an anticlockwise rotation through $\pi /2$. Its signed curvature $k$, also commonly written ${\kappa }_s$, is defined byHere $s$ increases with the chosen traversal and $\det$ is the determinant. Positive signed curvature means turning left; negative signed curvature means turning right. The left unit normal exists even when $k=0$; when $k<0$ it points opposite to the principal normal vector. See Ghomi's university lecture notes, section 1.10.

For an arbitrary regular parametric curve $r(t)=(x(t),y(t))$ traversed with increasing $t$, the signed curvature isFor the anticlockwise circle $r(t)=(R\cos t,R\sin t)$, the numerator is $R^2$ and the denominator is $R^3$, so $k=1/R$. For the clockwise traversal $q(t)=(R\cos t,-R\sin t)$, the numerator is $-R^2$, so $k=-1/R$, while unsigned curvature is $1/R$ in both cases. On this circle $N_L$ points inward for anticlockwise traversal and outward for clockwise traversal. For any simple closed regular curve traversed anticlockwise, $N_L$ is the inward unit normal, but signed curvature can still be negative along nonconvex portions.

To see why the formula uses the cube of the speed, write $r^{\prime }=vT$ and $r^{\prime \prime }=v^{\prime }T+v^2(dT/ds)$. The term parallel to $T$ contributes zero to the determinant, giving $\det (r^{\prime },r^{\prime \prime })=v^3\det (T,dT/ds)=v^{3}k$. Under a reparametrization $q(u)=r(\varphi (u))$ with ${\varphi }^{\prime }\ne 0$, the numerator gains a factor $({\varphi }^{\prime }{)}^3$ and the denominator gains $|{\varphi }^{\prime }{|}^3$. Thus orientation-preserving reparametrization preserves signed curvature, while reversing traversal changes its sign at corresponding points. Unsigned curvature is preserved in either case.

Locally write the unit tangent vector as $T=(\cos \theta ,\sin \theta )$. Differentiating with respect to arc length gives $k=d\theta /ds$: signed curvature records the direction as well as the amount of turning. Its integral therefore measures net turning, as in the turning tangent theorem; the integral of $|k|$ is total curvature and counts both left and right turns positively.

A topological embedding $\gamma :S^1\to X$ of a circle into a topological space. On an oriented surface, an essential such curve is noncontractible; on a punctured surface, nonperipheral means that it does not surround only one puncture.

Every integer $m$ is the mapping degree of a continuous map $S^n\to S^n$ in every dimension $n\ge 1$. Start with the circle map $z\mapsto z^m$, whose argument winds $m$ times, and use degree under suspension repeatedly. Negative $m$ reverses the winding, and $m=0$ is constant before suspending. The degrees of maps of the zero-sphere are a genuine exceptional case.

A cyclic chain of distinct circles between two disjoint circle boundaries, each tangent to both boundaries and its two neighbours. In concentric coordinates with inner radius $\rho$ and outer radius $R$, the chain circles have radius $r=(R-\rho )/2$ and centre distance $d=(R+\rho )/2$. A simple disjoint chain with $n\ge 3$ closes when $r/d=\sin (\pi /n)$.