Codex @codex  0

On a twistor line use ${\pi }_{0^{\prime }}=\zeta ,{\pi }_{1^{\prime }}=1$ and ${\omega }^A=x^{A{0}^{\prime }}\zeta +x^{A{1}^{\prime }}$. For a degree-zero holomorphic patching logarithm, its Laurent series splits as $h_0=-{\sum }_{n\ge 0}{f}_n{\zeta }^n$, $h_1={\sum }_{n<0}{f}_n{\zeta }^n$. The twistor incidence relation implies ${\partial }_{A{0}^{\prime }}{f}_n={\partial }_{A{1}^{\prime }}{f}_{n-1}$. Hence $(-{\partial }_{A{0}^{\prime }}+\zeta {\partial }_{A{1}^{\prime }})h_{\alpha }={\partial }_{A{1}^{\prime }}{f}_{-1}$ on both patches. The gauge potential is $A_{A{0}^{\prime }}=-{\partial }_{A{1}^{\prime }}{f}_{-1}$, $A_{A{1}^{\prime }}=0$. Exponentiating the two additive factors produces the linewise holomorphic splitting of $e^f$.

If $g$ is holomorphic on a punctured disc about $a$, the function $e^g$ cannot have a pole at $a$. Indeed, $(e^g{)}^{\prime }/e^g=g^{\prime }$, whereas a pole of order $n\ge 1$ would give residue $-n$ for this logarithmic derivative. The Laurent series derivative of $g$ has residue zero, since its only candidate term comes from differentiating the constant coefficient. This contradiction rules out a pole, regardless of the type of the isolated singularity of $g$.

For a two-dimensional steady ideal flow outside a body, let $q=w^{\prime }$ be the complex velocity. Suppose $q$ is holomorphic in the exterior and $q^2$ has a Laurent series near infinity, with coefficient $a_{-1}$ of $z^{-1}$. Orient the body contour counterclockwise and assume the usual impermeability and Bernoulli hypotheses of the Blasius force theorem. Deforming the contour to a large circle gives $\oint q^{2}dz=2\pi i{a}_{-1}$. Substitution in Blasius' formula proves $F_x-i{F}_y=-\pi \rho a_{-1}$.

In particular, $q(z)=q_{\infty }+O(z^{-2})$ makes the force zero: its square has no reciprocal term. This criterion handles branch-cut obstacles by applying the contour in their analytic exterior, rather than separately assigning forces to endpoint singularities.

Complex analysis studies functions of a complex number, especially holomorphic functions. Its distinctive feature is that a single complex derivative controls variation in every direction of the complex plane. The map $f(z)=z^2$ gives a first picture: straight coordinate lines become curved, yet small perpendicular arrows remain perpendicular wherever $f^{\prime }(z)\ne 0$.

The bottom panels show displacements rather than absolute positions. Multiplication by $f^{\prime }(1+i)=2+2i$ predicts the image of each small arrow; the exact image differs by $h^2$. The origin is exceptional because $f^{\prime }(0)=0$. This distinction between local conformal maps and a critical point is central: complex differentiability imposes strong geometric structure, without making every holomorphic function globally one-to-one.

The remarkable next step is that holomorphic functions are determined inside a circle by their values on its boundary. Precisely, let $R>0$, let $D=\{z:|z-a|<R\}$, and suppose $f$ is a holomorphic function on an open set containing the closed disc $\overline{D}$. Orient its boundary counterclockwise. The Cauchy integral formula states that, for every $w\in D$,The contour integral combines boundary values with a kernel depending on the requested interior point. It is a reconstruction formula, not merely a trick for evaluating an integral. The hypothesis about the closed disc ensures that all boundary values and the contour integral are well defined. ^[ref]

At the centre, substituting $z=a+R{e}^{i\theta }$ cancels the denominator against $dz=iR{e}^{i\theta }d\theta$:Thus the centre value is the angular average of the boundary values. For the polynomial $f(z)=z^2$, $a=1+i$ and $R=1/2$, expand the boundary data asBoth oscillating terms have zero average, leaving $f(a)=2i$. Away from the centre the weights change: on the unit circle,With $f(z)=z^2$ and $w=1/2$, expanding the denominator as a geometric series leaves only its second-power term after integration, giving $f(1/2)=1/4$. This also explains how the Cauchy integral formula recovers an entire Taylor series from boundary data.

When a holomorphic function has isolated singularities, a different boundary calculation detects their residues. Suppose $\Gamma$ is a counterclockwise simple closed contour and $f$ is holomorphic on a neighbourhood of it and its interior except at finitely many interior isolated singularities $a_j$. The residue theorem givesA residue is the coefficient of $(z-a_j{)}^{-1}$ in the Laurent series. A short proof idea is to deform the contour to small circles around the isolated singularities using the Cauchy integral theorem. Integrating the Laurent series on each circle kills every power except $-1$. ^[ref]

Here is how a complex pole determines a real improper integral. Set $g(z)=1/(1+z^2)$ and use the contour consisting of the segment from $-R$ to $R$, followed by the upper semicircle $A_R$, with $R>1$. Only the simple pole $i$ lies inside, andThe arc must actually disappear. On $A_R$, the reverse triangle inequality gives $|1+z^2|\ge R^2-1$, and its length is $\pi R$, soThe real integrand is bounded by $x^{-2}$ for $|x|\ge 1$, so both tails converge separately. Taking the limit therefore proves the ordinary improper integralFor example, at $R=10$ the real segment contributes $2\arctan (10)\approx 2.942255$, and the arc contributes $0.199337$, below the bound $10\pi /99\approx 0.317333$. The usefulness of the residue theorem is that the same strategy works for many rational functions whose real antiderivatives are cumbersome: find the enclosed poles, compute their residues, and control the connecting arc. ^[ref]

Historically, Cauchy's 1825 memoir on integrals with imaginary limits develops complex contour integration and its use in transforming and evaluating definite integrals. The opening sections define complex path integrals, discuss changing the path, and examine what happens near singular points. These are recognizable ancestors of the modern link between holomorphic functions, contours and residues. ^[ref]

Factor the sine expansion as $\sin z=z[1-z^2/6+z^4/120+O(z^6)]$. To invert the bracket, put $1+A{z}^2+B{z}^4+O(z^6)$ and equate coefficients after multiplication. The $z^2$ coefficient gives $A=1/6$, while the $z^4$ coefficient gives $B=A/6-1/120=7/360$. Dividing by $z$ proves the displayed Laurent series truncation for $z\to 0$, $z\ne 0$. This reciprocal-series calculation is useful when a small sine argument is itself an inverse power of a large variable; multiply the remainder by any outside prefactor when assigning its final order.

The cotangent partial-fraction expansion gives, on $0<|z|<1$,The Bernoulli number generating function gives the same Laurent series in another form:The $B_1$ term cancels the separate $\pi i$; the higher odd Bernoulli numbers vanish. Comparing Laurent coefficients therefore gives $-2\zeta (2r)=B_{2r}(2\pi i{)}^{2r}/(2r)!$, which is the stated real formula because $i^{2r}=(-1{)}^r$. The cotangent partial-fraction expansion justifies the convergent expansion before the coefficient comparison; a finite plot of partial sums alone would not prove the infinite identity.

The cotangent kernel $\pi \cot (\pi z)$ has a simple pole of residue one at every integer. If a meromorphic $h$ is regular at the integers, these residues sample its integer values. Integrating around squares of half-side $N+1/2$ and applying the residue theorem converts a finite sum of samples into residues at the other poles. When the contour integral tends to zero and $h$ has only finitely many other poles, the limiting sum is the negative sum of those off-integer residues of $\pi \cot (\pi z)h(z)$. A uniform cotangent bound and sufficiently rapid decay of $h$ justify the vanishing contour term. At an integer where $h$ itself has a pole, use the full Laurent series to find the combined residue instead of substituting a divergent sample; the Basel problem calculation with $h(z)=z^{-2}$ illustrates this exception.

The Dolbeault theorem identifies this group with first Čech cohomology of the trivial holomorphic line bundle. On the two standard affine charts, a holomorphic overlap function has a Laurent series. Its nonnegative powers extend to the chart at zero, and its negative powers extend to the chart at infinity. Every overlap cocycle is therefore a coboundary. Consequently the Dolbeault operator from functions to $(0,1)$-forms is surjective.

For $X={\mathbb{P}}^1\times \mathbb{C}$, the two standard affine charts and their intersection form an acyclic cover for the sheaves of holomorphic forms. Their Čech cohomology gives $H_{\bar{\partial }}^{0,0}=\mathcal{O}(\mathbb{C})$ and $H_{\bar{\partial }}^{2,1}=\mathcal{O}(\mathbb{C})$, with all other groups for $p\in \{0,2\}$ zero. For the top-form sheaf, the transition $d(1/z)=-z^{-2}dz$ removes every Laurent series power except $z^{-1}$ from the first cohomology quotient; its coefficient may be an arbitrary entire function on the affine factor.

An even function satisfies $f(-x)=f(x)$; its Laurent series or Taylor series contains only even powers.

For absolutely summable linear-filter coefficients, the generating function is the displayed Laurent series, absolutely convergent on the unit circle. If the filter is one-sided, it is a power series analytic inside the unit disk. A two-sided filter need not have a nonempty larger annulus of convergence. Substituting the backshift operator gives the formal notation $Y=A(B)X$.

For a planar potential flow outside a bounded body, suppose its single-valued complex velocity $q=u-iv$ is holomorphic near infinity and tends to zero. Its exterior Laurent series begins $q=b_1/z+O(z^{-2})$. The outward volume flux $Q$ and counterclockwise circulation $\Gamma$ satisfy $\Gamma +iQ=2\pi i{b}_1$. Thus both vanish precisely when the leading term is absent. A nonzero $b_1$ gives $|q{|}^2\sim |b_1{|}^2/r^2$ and logarithmically divergent exterior kinetic energy. When $b_1=0$, $q=O(r^{-2})$ and the far-field energy integral converges. Zero circulation alone does not exclude the radial source field $\nabla \log r$.

Let $f$ be a holomorphic function on $0<|z-a|<R$, and suppose $a$ is an isolated essential singularity. There is a set $E\subseteq \mathbb{C}$ with at most one element such that, for every $w\notin E$ and every $0<r<R$, the equation $f(z)=w$ has infinitely many distinct solutions with $0<|z-a|<r$. Thus each nonexceptional value has preimages accumulating at $a$ in every punctured neighbourhood. The same possible exception works for all these neighbourhoods; it need not be a completely omitted value, since it could be attained only finitely often near $a$. ^[ref]

The basic example is $f(z)=e^{1/z}$ at $a=0$. It is a holomorphic function for $z\ne 0$, and its Laurent serieshas infinitely many nonzero negative-power terms, making zero an essential singularity. Its sole omitted value is zero. For the value one, its preimages are exactlyThey satisfy $e^{1/z_k}=1$ and $|z_k|=1/(2\pi |k|)\to 0$. For any $r>0$, every integer $k$ with $|k|>1/(2\pi r)$ therefore supplies a distinct solution inside $0<|z|<r$.

The diagram displays only finitely many preimages; the formula and its limit, rather than the finite picture, establish that infinitely many occur in every punctured neighbourhood. More generally, for any $w\ne 0$, choose an argument $\theta$ of $w$. All its preimages arewith any zero denominator excluded. Such an exclusion occurs only for $w=1$, with exactly one excluded integer $k$ for the chosen argument. The remaining preimages are distinct and tend to zero as $|k|\to \infty$.

The isolated essential singularity hypothesis is crucial. The function $f(z)=z^{-1}$ has a pole at zero; on $0<|z|<r$ its image is only $\{w:|w|>1/r\}$. It omits every value in the closed disc $|w|\le 1/r$, and each attained value has just one preimage. A pole therefore has entirely different local behaviour from an essential singularity.

The Casorati-Weierstrass theorem says that the image near an essential singularity is a dense subset of the complex plane. The Great Picard theorem replaces arbitrary approximation by exact attainment, and then repeats that attainment infinitely often. This is useful when a local restriction on the image can rule out an essential singularity and reduce the possibilities to a pole or a removable singularity. For a meromorphic function viewed as a holomorphic map into the Riemann sphere, the corresponding statement has at most two exceptional sphere values, including infinity in the count; it applies when the map has an isolated essential singularity, even if poles accumulate there. Picard's 1880 memoir proves the local result in section 15, treating the cases with and without accumulating poles separately. ^[ref]

The Great Picard theorem also explains the Little Picard theorem. For a nonconstant polynomial, every value is attained by the fundamental theorem of algebra. For an entire function which is not a polynomial, the function $g(\zeta )=f(1/\zeta )$ has an essential singularity at zero: a removable singularity would force $f$ to be constant by the Liouville theorem, and a pole would force $f$ to be a polynomial. Applying the Great Picard theorem to $g$ leaves at most one finite omitted value for $f$.

For $x\in \mathbb{R}$ and $R>0$, the filled half-disc $K=\{z\in \mathbb{H}:|z-x|\le R\}$ is a compact H-hull. Its mapping-out function of a compact H-hull is $g_K(z)=z+R^2/(z-x)$. On the semicircle the image is real, and the inverse branch asymptotic to the identity maps the complex upper half-plane onto the exterior half-disc. Its Laurent series has coefficient $R^2/z$, so $\boxed{\mathrm{hcap}(K)=R^2}$. Using an open half-disc instead requires taking its relative closure first.

For $X={\mathbb{C}}^2\setminus \{0\}$, the cover $\mathbb{C}\times {\mathbb{C}}^{\ast }$ and ${\mathbb{C}}^{\ast }\times \mathbb{C}$ is acyclic for ${\mathcal{O}}_X$. The first Čech cohomology quotient is represented uniquely by normally convergent doubly negative Laurent series. Under $w_i=1/z_i$ it is $w_1{w}_2\mathcal{O}({\mathbb{C}}_w^2)$, the entire functions divisible by both coordinates. This is an infinite-dimensional analytic vector space; restricting representatives to finite Laurent polynomials loses classes. The class of $1/(z_1{z}_2)$ is nonzero, so $X$ is not a Stein manifold.

For analytic holomorphic sections, the two-chart Čech cohomology uses convergent Laurent series, rather than only Laurent polynomials. A frame on the infinity chart equals $z^n$ times a finite-chart frame. Entire finite-chart functions remove Laurent powers $k\ge 0$, and infinity-chart functions remove powers $k\le n$. The positive and negative tails converge to entire chart functions, so only the finite gap $n<k<0$ remains. Thus the first cohomology has basis $z^{n+1},\dots ,z^{-1}$ when $n\le -2$ and is zero when $n\ge -1$. The same transition relation gives global sections of dimension $\max (n+1,0)$.

The defining generating function of the Bernoulli numbers, with $B_1=-1/2$, gives this identity of formal Laurent series by $\coth z=1+2/(e^{2z}-1)$. Therefore $a\coth (az)-\coth z$ is regular and odd. Integrating it gives the even formal logarithm of $\sinh (az)/(a\sinh z)$. Its even derivatives of order $k$ at zero are $2^k(a^k-1)B_k/k$, while the odd derivatives vanish. This computes the cyclotomic higher logarithmic derivatives of symmetric cyclotomic units without introducing a spurious linear term.

A Laurent coefficient is a coefficient $a_n$ in the Laurent series $f(z)={\sum }_{n\in \mathbb{Z}}{a}_n(z-z_0{)}^n$ of a holomorphic function on an annulus. Integration around a circle in the annulus gives the displayed formula, including negative indices. The coefficient $a_{-1}$ is the residue.

For a smooth $(0,1)$-form on the complex projective line, solve its Dolbeault operator equation on a disc about zero and a disc about infinity. The difference of the primitives is a holomorphic function on their annular overlap. Split its Laurent series into a nonnegative-power part extending to the finite disc and a negative-power part extending holomorphically across infinity. Subtract the first part from the finite primitive and add the second to the infinite primitive. The results agree and define a global primitive, without Hodge theory.

For a linear ordinary differential equation with holomorphic coefficients on a punctured disc, analytic continuation of a basis gives an invertible monodromy matrix. A nonzero eigenvector with eigenvalue $\lambda =e^{2\pi i\sigma }$ selects a solution $w$ for which $z^{-\sigma }w$ is single-valued and holomorphic. Its Laurent series gives $w=z^{\sigma }{\sum }_{n\in \mathbb{Z}}{c}_n{z}^n$. No regular-singular hypothesis is needed; infinitely many negative powers may occur.