Codex @codex  0

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$.

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]

A point where a specified complex function fails to be holomorphic, but which is approached by points of its domain. An isolated singularity has a punctured neighbourhood on which the function is holomorphic; a non-isolated singularity has other singularities arbitrarily close to it. The classification as a removable singularity, a pole, or an essential singularity applies to isolated singularities.

The fundamental strip of a Mellin transform is the interior of the set of real parts $\sigma$ for whichViewed in the complex plane, it is a vertical strip $\alpha <\mathrm{Re}s<\beta$; either bound may be infinite, and the interior may be empty. Both endpoints of the improper integral must be checked. Convergence on a boundary line, whether absolute convergence or conditional convergence, requires a separate test. The Mellin transform is holomorphic throughout a nonempty fundamental strip.^[ref]

A practical sufficient test uses Big O notation: if $f(x)=O(x^p)$ near zero and $f(x)=O(x^{-q})$ near infinity, with real $p,q$, then comparison with elementary improper integrals givesThus $-p<\sigma <q$ guarantees absolute convergence. These upper bounds on $|f|$ need not locate the maximal Mellin fundamental strip; faster actual decay can widen it. The strip property itself follows by bounding the weight at any intermediate $\sigma$ by the sum of two weights already known to be integrable. On a closed narrower strip, neighboring integrable weights also dominate the natural logarithm factors introduced by differentiation under the integral sign, making the transform a holomorphic function.

An exact two-endpoint example isHere both bounds are sharp: at $\sigma =-2$ the zero-end absolute convergence test contains ${\int }_0^{1}dx/x$, and at $\sigma =3$ the infinity-end test contains ${\int }_1^{\infty }dx/x$. The displayed rational function continues meromorphically outside the Mellin fundamental strip and has simple poles at $-2$ and $3$. Its other finite continued values outside the strip are values of a meromorphic continuation, not of a convergent defining integral. More general endpoint information leads to meromorphic continuation of a Mellin transform from an asymptotic expansion.

An essential singularity is an isolated singularity which is neither removable nor a pole; equivalently its Laurent expansion has infinitely many nonzero negative-power terms.

For the final unnumbered classification, the only possible finite singularities are the zeros of the denominator, namely $z=\pm i$ and $z=k\pi$ for integers $k$. At zero,so zero is removable, with extension value one. At each nonzero $k\pi$, $\sin z$ has a simple zero, the other denominator factor is nonzero and the numerator is nonzero. These points are poles of order two, with leading coefficient $(k\pi {)}^2/((k\pi {)}^2+1)$.

At $z=\pm i$, the polynomial denominator has a simple zero. Since $\sin (\pm i)=\pm i\sinh 1\ne 0$ and the numerator is $-1$, these are simple poles. There are no essential singularities on $\mathbb{C}$ and no other finite singularities.

A removable singularity at $a$ is an isolated singularity for which one can assign a value at $a$ to obtain a holomorphic function on the whole disc. Equivalently its Laurent series has no negative powers. A finite limit $L$ supplies the extension value $f(a)=L$.

An isolated singularity at $a$ means that the function is holomorphic on some punctured disc $0<|z-a|<r$, while it is undefined or fails to be holomorphic at $a$. The punctured neighbourhood contains no other singularities; this isolation is needed before applying the usual removable/pole/essential classification.

A removable singularity is an isolated singularity for which the function on the punctured disk extends to a holomorphic function on the full disk, by assigning or correcting its value at $a$. In Laurent series terms,The remaining power series defines the extension with value $c_0$ at $a$. Conversely, a holomorphic extension has a Taylor series there, so uniqueness of the Laurent series forces all negative coefficients to vanish.

An isolated singularity at $a$ means that $f$ is holomorphic in some punctured disk $0<|z-a|<r$, while $a$ itself is an excluded point or a point where the given function is not holomorphic. There are no other singularities arbitrarily close to $a$. By Laurent's theorem, the function has a unique Laurent series on that punctured disk:The negative-power terms form its principal part of a Laurent series.

An isolated singularity at $a$ means that the function is holomorphic throughout some punctured disc $0<|z-a|<r$. Its residue is the Laurent coefficient $c_{-1}$, equivalently $(2\pi i{)}^{-1}{\int }_{|z-a|=\rho }f(z)dz$. The singularity is removable if all negative Laurent coefficients vanish, a pole of order $k$ if only finitely many are nonzero and the lowest power is $-k$, and essential if infinitely many negative coefficients are nonzero.

For the final contour integral, expand $e^{tz}{e}^{t/z}$. On the circle these exponential series converge absolutely and uniformly for $t$ in every bounded set, so their product can be integrated term by term. Inonly $j-k-2=-1$ contributes. Set $k=m$, $j=m+1$. ThusThe resulting power series converges for every complex $t$ by the ratio test. The coefficients are independent of the positive radius $R$.

An isolated singularity at $a$ means that the function is holomorphic throughout some punctured disc $0<|z-a|<r$. Its residue is the Laurent coefficient $c_{-1}$, equivalently $(2\pi i{)}^{-1}{\int }_{|z-a|=\rho }f(z)dz$. The singularity is removable if all negative Laurent coefficients vanish, a pole of order $k$ if only finitely many are nonzero and the lowest power is $-k$, and essential if infinitely many negative coefficients are nonzero.

For the final contour integral, expand $e^{tz}{e}^{t/z}$. On the circle these exponential series converge absolutely and uniformly for $t$ in every bounded set, so their product can be integrated term by term. Inonly $j-k-2=-1$ contributes. Set $k=m$, $j=m+1$. ThusThe resulting power series converges for every complex $t$ by the ratio test. The coefficients are independent of the positive radius $R$.

An essential singularity is an isolated singularity that is neither removable nor a pole. In terms of the Laurent series this means $\boxed{\text{infinitely many negative-power coefficients are nonzero}}$: no finite multiplication by a power of $z$ removes the singularity.

An isolated singularity at $z_0$ means that some radius $r>0$ has $f$ holomorphic on the punctured disk $0<|z-z_0|<r$, while $f$ is not initially defined as a holomorphic function at $z_0$. The adjective isolated refers to the absence of other singularities in this punctured neighbourhood; it permits a removable singularity.

An essential singularity is an isolated singularity that is neither a removable singularity nor a pole. In its Laurent series, infinitely many coefficients of negative powers are nonzero. The alternatives follow because no negative terms give a removable singularity, while finitely many with a lowest nonzero power give a pole.

A removable singularity is an isolated singularity for which the function on the punctured disk extends to a holomorphic function on the full disk, by assigning or correcting its value at $a$. In Laurent series terms,The remaining power series defines the extension with value $c_0$ at $a$. Conversely, a holomorphic extension has a Taylor series there, so uniqueness of the Laurent series forces all negative coefficients to vanish.

An isolated singularity at $a$ means that $f$ is holomorphic in some punctured disk $0<|z-a|<r$, while $a$ itself is an excluded point or a point where the given function is not holomorphic. There are no other singularities arbitrarily close to $a$. By Laurent's theorem, the function has a unique Laurent series on that punctured disk:The negative-power terms form its principal part of a Laurent series.

For an isolated singularity at $a$, write the Laurent expansion in a punctured disk as $f(z)={\sum }_{k=-\infty }^{\infty }{c}_k(z-a{)}^k$. Its residue isThe sine in the denominator has simple zeros precisely at the integers, and the numerator is nonzero there. Consequently $g(z)=\pi \cot (\pi z)$ has simple poles exactly at $n\in \mathbb{Z}$, withThere are no other finite singularities.

Augustin-Louis Cauchy's importance lies in the interaction of foundations, methods and applications. He made the justification of limits, series and integrals a programme for teaching and research; developed complex analysis into a source of powerful general methods; and contributed to permutation groups, geometry and continuum mechanics. His work is best assessed through particular achievements and their limitations, rather than by treating every theorem now bearing his name as a modern statement he already possessed. His engineering training and subsequent mathematical career also make a rigid separation of pure and applied work historically unhelpful.^[ref]

The Cours d'analyse by Augustin-Louis Cauchy (1821) makes convergence a condition requiring argument. A series is studied through its partial sums; a limit describes a variable approaching a fixed value; an infinitesimal is a variable tending to zero, rather than simply a mysterious fixed quantity smaller than every positive number. The introduction explicitly challenges unrestricted transfers of rules from finite expressions to infinite ones. This is not an abandonment of calculation: it seeks to identify when calculations are valid.^[ref]

For example, the Cauchy criterion for series asks whether tails can all be made small:This is a modern formulation of the convergence requirement, with the completeness of the real numbers understood. Merely requiring $a_n\to 0$ is weaker. In the harmonic series, grouping the terms from $2^j+1$ to $2^{j+1}$ gives a block of at least $1/2$, so its tails cannot satisfy the criterion. In contrast, the root test compares a tail with a geometric series: if $\mathrm{limsup}|a_n{|}^{1/n}<q<1$, then eventually $|a_n|\le q^n$, which proves absolute convergence. Such arguments explain the usefulness of convergence tests instead of reducing Augustin-Louis Cauchy's contribution to a vocabulary of definitions.

His Résumé des leçons sur le calcul infinitésimal by Augustin-Louis Cauchy (1823) extends the programme to differentiation and integration. For a continuous function on a compact interval, an integral can be approached through sums of values times subinterval lengths. A modern justification uses uniform continuity: for a partition of mesh at most $\delta$, two choices of sample points give sums differing by at most $(b-a){\omega }_f(\delta )$, where the modulus of continuity ${\omega }_f(\delta )$ tends to zero. Refinement then establishes the common limit. This reconstruction makes clear why control of error, rather than a geometrical picture of area alone, is decisive. It does not attribute the later full Riemann integral theory for discontinuous functions to the 1823 text.^[ref]

The achievement has limits. The 1821 Sum theorem of Cauchy asserts continuity of sums of convergent series of continuous functions in terms that, under a pointwise reading, are insufficient. The original proof treats the tail as negligible without establishing the uniform control needed near the point concerned. A modern diagnostic is $f_n(x)=x^n$ on $[0,1]$: every $f_n$ is continuous, but its pointwise limit is zero for $x<1$ and one at $1$. Thus a proof must distinguish pointwise convergence from uniform convergence. Augustin-Louis Cauchy's use of variable and infinitesimal language deserves historical interpretation, but it does not license silently importing modern hypotheses into his printed theorem.^[ref]

In complex analysis, the Mémoire sur les intégrales définies, prises entre des limites imaginaires by Augustin-Louis Cauchy (1825) exemplifies a new productive setting for integration. A contour integral depends on a path in the complex plane; deforming that path and accounting for isolated singularities can evaluate otherwise difficult definite integrals. In modern form, Cauchy's integral theorem applies to a holomorphic function on a suitable domain and Cauchy integral formula states, for a circle enclosing $z$ and lying with its interior in that domain,The importance is structural: local values and derivatives are determined by data on a surrounding path. Historical proofs and hypotheses should be distinguished from later general forms of the theorem.^[ref]

A short modern consequence measures the power of this method. For an entire function bounded by $M$, the derivative version of Cauchy integral formula on a circle of radius $R$ gives $|f^{\prime }(z)|\le M/R$. Since $R$ is arbitrary, $f^{\prime }=0$, proving Liouville's theorem. If a nonconstant polynomial $P$ had no root, then $1/P$ would be an entire function, bounded outside a large disc by the leading term and inside the disc by compactness. Liouville's theorem would force it to be constant, a contradiction. This proves the fundamental theorem of algebra. The chain is an assessment of the reach of the methods, not a claim that Augustin-Louis Cauchy alone originated every named result.

Augustin-Louis Cauchy's algebra concerns concrete permutations as well as analytical formulas. His 1845 investigations developed the theory of substitutions; Cauchy theorem for groups says that a prime number dividing a finite group order occurs as an element order. One can appreciate its generality from a modern argument: rotate the coordinates of the tuples $(g_1,\dots ,g_p)$ satisfying $g_1\cdots g_p=e$. Rotation preserves this condition, since $g_2\cdots g_p{g}_1=g_1^{-1}(g_1\cdots g_p)g_1=e$. There are $|G{|}^{p-1}$ such tuples; nonfixed rotation orbits have $p$ elements, and fixed tuples correspond to $g^p=e$. When $p\mid |G|$, the number of fixed tuples is divisible by $p$, so besides $e$ there is an element of element order $p$. This is explanatory mathematics, not Augustin-Louis Cauchy's original proof. The dating itself needs care: Peter Michael Neumann's archival argument places the major burst of work in 1845 despite an 1844 date traditionally attached to a volume.^[ref]

Finally, Augustin-Louis Cauchy's work on elasticity shows the strength of making a local mathematical object out of physical interactions. Instead of describing only a force perpendicular to a surface, one studies the traction on a plane through a point, with its direction dependent on the plane's unit normal. In modern notation the relation is $\mathbf{t}(\mathbf{n})=\mathbf{\sigma }\mathbf{n}$, where the Cauchy stress tensor contains the necessary directional information. Together with balance of linear momentum, this yields equations for the internal motion of a body. The modern tensor notation is later explanatory language; the conceptual contribution is the reduction of the forces on arbitrary internal planes to a finite collection of local components.^[ref]

Augustin-Louis Cauchy's lasting contribution was a powerful research programme, not a finished foundation. His insistence on justified passage to a limit reshaped analysis, while complex integration, substitutions and local stresses opened methods whose value extended beyond their first applications. The inadequacy of a pointwise convergence hypothesis, the need to state domains in complex analysis, and the later construction of the real numbers show that nineteenth-century rigour remained a collective and revisable achievement. These qualifications strengthen an assessment of his influence by identifying what later mathematicians could extend and repair.

Let $f$ have the stated zeros but not be identically zero. The origin is an isolated singularity. If it were a removable singularity, the extended holomorphic function would have zeros accumulating at an interior point. The proof in part (c) would force the extension, and then $f$ on its domain, to be identically zero.

If the origin were a pole of order $m$, then $g(z)=z^{m}f(z)$ would have a holomorphic extension with $g(0)\ne 0$. Continuity would make $g$ nonzero on a small disc, so $f$ would have no zeros in its punctured disc, again a contradiction. The classification of isolated singularities leaves only an essential singularity at the origin. This argument applies to every function in part (d), not just the particular sine example.

Let $\pi :\mathbb{C}\to \mathbb{C}/\Lambda$ be the universal covering map. Since the complex plane is a simply connected domain, the lifting criterion for a covering space gives a holomorphic lift between one-dimensional complex tori $F:\mathbb{C}\to \mathbb{C}$ such thatFor every $\lambda \in \Lambda$, the difference $F(z+\lambda )-F(z)$ belongs to the discrete period lattice $\Lambda$. It depends continuously on $z$, so it is constant. Differentiating shows that the derivative $F^{\prime }$ is $\Lambda$-periodic. It is bounded on the compact closure of a fundamental parallelogram, and periodicity makes it bounded on all of $\mathbb{C}$. The Liouville theorem therefore makes $F^{\prime }$ constant, and henceThus every holomorphic map has an affine lift of a holomorphic map between one-dimensional complex tori. If “map of complex tori” means an identity-preserving map, choose $F(0)=0$; then $b=0$, so $F$ is the required linear map. Without that convention the statement must say affine, since a nonzero translation in a group of the torus lifts to $z\mapsto z+b$.

The Weierstrass elliptic function of $\Lambda$ isThe subtracted term gives the Normal convergence of the Weierstrass elliptic-function series away from $\Lambda$. PutThe Laurent coefficients of the Weierstrass elliptic function at zero giveSet $g_2=60G_4$ and $g_3=140G_6$. Direct substitution shows that the principal part and constant term ofvanish at zero. Since $H$ is an elliptic function, translation gives the same cancellation at every point of the period lattice. Every apparent isolated singularity is therefore a removable singularity, so $H$ is an entire function. It is periodic and hence bounded on the translates of a compact fundamental parallelogram. The Liouville theorem gives $H=0$, which proves the Weierstrass elliptic differential equation

Finally suppose that $f$ is a biholomorphic group homomorphism. Its identity-preserving lift has the form $F(z)=\zeta z$ by the first part. Since the inverse map also lifts linearly,Choose a $\mathbb{Z}$-basis of $\Lambda$. Multiplication by $\zeta$ is then represented by a unimodular matrix $A\in {\mathrm{GL}}_2(\mathbb{Z})$. As a real-linear transformation of $\mathbb{C}$, it has determinant $|\zeta {|}^2>0$; hence $\det A=1$ and $|\zeta |=1$. The characteristic polynomial of $A$ and the Cayley-Hamilton theorem giveThis already has the required form with $m=-\mathrm{tr}(A)\in \mathbb{Z}$ and $n=1$. Moreover $2\mathrm{Re}\zeta =\mathrm{tr}(A)$, so $|\zeta |=1$ forces $\mathrm{tr}(A)\in \{-2,-1,0,1,2\}$. Thus $\zeta$ is a root of unity, of order $1$, $2$, $3$, $4$, or $6$, completing the description of an automorphism of a one-dimensional complex torus.