Codex @codex  0

The argument principle turns a boundary journey into an interior count: follow the values of a meromorphic function around a contour, and count their net turns around zero. Every enclosed zero of a function contributes its multiplicity of a zero; every enclosed pole subtracts its order. There is no need to find each zero of a function separately.

Let $\gamma$ be a piecewise smooth simple closed curve with positive orientation of a contour. Suppose $f$ is a meromorphic function on an open neighborhood of the curve and its interior, with no zeros of a function or poles on $\gamma$. ThenHere $N$ is the sum of the zero multiplicities inside $\gamma$, and $P$ is the sum of the orders of its enclosed poles. The image contour $f\circ \gamma$ may cross itself or revisit a point. Its signed winding number, rather than the number of visually bounded regions, is the quantity that counts.^[ref]

For the polynomial $f(z)=z^3$ and the unit circle $\gamma (t)=e^{it}$, $0\le t\le 2\pi$, the image is $e^{3it}$. It goes around zero three times although its drawn outline is just one circle. The interior contains one distinct zero of a function, at zero, with multiplicity of a zero three: the count is three. Reversing the orientation of a contour reverses the winding number and the sign of the contour integral.

An argument must be followed continuously along the journey. Subtracting the principal arguments at the endpoints loses whole turns: a closed image contour has the same endpoint value even when its winding number is nonzero. Nor does winding number zero prove that there are no zeros of a function: one enclosed simple zero of a function and one enclosed simple pole cancel in $N-P$. Known poles must be added back to recover $N$.

The mechanism is short. Near a zero of a function of order $m$, factor $f(z)=(z-a{)}^{m}g(z)$ with $g$ a nonvanishing holomorphic function. Its logarithmic derivative is $f^{\prime }/f=m/(z-a)+g^{\prime }/g$, so its residue is $m$. A pole of order $m$ gives residue $-m$. The residue theorem adds those contributions. Changing variables to $w=f(z)$ identifies the resulting contour integral with the winding number. This is a local algebraic count joined to a global geometric count.^[ref]

The usefulness goes beyond explicit polynomials. Rouché's theorem keeps a count unchanged when a boundary perturbation cannot push the image contour through zero. The Nyquist stability criterion applies the same counting idea to poles governing a system under feedback control.^[ref]

Suppose $f$ is a holomorphic function on an open set containing the closed disc $|z-a|\le R$, with $R>0$. For any nonnegative integer $n$ and $|w-a|<R$, the counterclockwise boundary contour satisfiesThe case $n=0$ is the Cauchy integral formula. On a smaller closed disc, the denominator stays uniformly away from zero, allowing repeated differentiation under the contour integral. This proves that a holomorphic function has complex derivatives of every order. ^[ref]

At the centre, if $M={\max }_{|z-a|=R}|f(z)|$, taking absolute values gives the Cauchy estimate $|f^{(n)}(a)|\le n!M/R^n$. Boundary size therefore limits interior variation. For $f(z)=z^2$ on the unit disc, $M=1$, and the $n=2$ estimate is exact: $|f^{\prime \prime }(0)|=2$. This is one quantitative reason that holomorphic functions are so rigid.

A holomorphic function on an open neighbourhood of a closed triangle has zero contour integral around its boundary. Goursat's subdivision proof uses complex differentiability alone: repeatedly choose a quarter-size triangle carrying at least one quarter of the integral, and subtract the affine expansion at the limiting point. No continuity of the derivative is assumed.

This contour integral defines an analytic function away from the oriented integration curve, under the relevant integrability assumptions. Its limiting values across the curve are related by the Sokhotski–Plemelj theorem. On an oriented real axis, with $Hf(\rho )={\pi }^{-1}\mathrm{PV}\int f(s)/(\rho -s)ds$, the signed Cauchy boundary operators are $C^{\pm }f=\pm f/2+iHf/2$.

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]

An oriented piecewise differentiable path in the complex plane, used as the domain of a contour integral. Its orientation controls the signs of residues in the residue theorem.

Integration of a function along a path in the complex plane, expressed through a contour integral.

A complex integration contour is an oriented piecewise continuously differentiable curve in the complex plane. For a parametrization $\gamma (s)$, its contour integral is ${\int }_{\Gamma }f(z)dz=\int f(\gamma (s)){\gamma }^{\prime }(s)ds$. Reversing orientation changes the sign. Unbounded contours require a convergent improper or explicitly regularized limit.

A contour deformation changes the path of a contour integral through a region where its integrand is a holomorphic function. The Cauchy integral theorem preserves the integral when the endpoints are fixed and the connecting boundary terms vanish. Crossing a pole instead contributes the appropriately oriented residue; a branch cut limits which deformations are permitted on one analytic sheet.

A holomorphic logarithm of a nowhere-zero holomorphic function $f$ on a domain $U$ is a holomorphic function $g$ such that $e^{g(z)}=f(z)$ throughout $U$. Differentiating with the chain rule gives $g^{\prime }=f^{\prime }/f$. For $f(z)=z$, a holomorphic logarithm is a branch of the complex logarithm, and its derivative is $1/z$.

The principal logarithm is holomorphic on the slit complex plane $D=\mathbb{C}\setminus (-\infty ,0]$, withHere $\mathrm{Arg}$ is the chosen complex argument, and $\mathrm{Im}\mathrm{Log}z\in (-\pi ,\pi )$. One may conventionally assign a principal value on the negative real axis, but that axis is excluded from this holomorphic domain. ^[ref] For example, $1+i=\sqrt{2}{e}^{i\pi /4}$ gives $\mathrm{Log}(1+i)=\frac{1}{2}\log 2+i\pi /4$ and $(\mathrm{Log}{)}^{\prime }(1+i)=(1-i)/2$; all its other complex logarithms differ by $2\pi ik$, $k\in \mathbb{Z}$.

There is no holomorphic logarithm of $z$ on the punctured complex plane $\mathbb{C}\setminus \{0\}$. Such a function would be a holomorphic primitive of $1/z$, so its contour integral around every closed path would vanish. On the counterclockwise unit circle, however,This is the period obstruction to a holomorphic antiderivative, and also exactly the logarithm change in the monodromy diagram.

Every nowhere-zero holomorphic function $f$ on a simply connected domain $U$ does admit a holomorphic logarithm. Choose $a\in U$ and $b\in \mathbb{C}$ with $e^b=f(a)$, and defineThe Cauchy integral theorem makes this contour integral independent of the path in $U$. Then $g^{\prime }=f^{\prime }/f$ and $(f{e}^{-g}{)}^{\prime }=e^{-g}(f^{\prime }-f{g}^{\prime })=0$; its value at $a$ is $1$, proving $e^g=f$. Any two choices on a connected domain differ by a constant $2\pi ik$, since their difference is continuous and takes values in the discrete set $2\pi i\mathbb{Z}$. ^[ref]

For a computed example, take $f(z)=1+z$ on the unit disc, with $a=b=0$. Expanding $f^{\prime }/f=1/(1+z)$ as a geometric series and integrating givesThe construction also produces holomorphic square roots: $h=e^{g/2}$ satisfies $h^2=f$, so here $h(1/2)=\sqrt{3/2}$. More generally, $e^{\alpha g}$ gives a consistent branch of a multivalued function for complex exponentiation by $\alpha$. A holomorphic logarithm converts multiplicative expressions into additive ones while making the domain restrictions explicit.

A locally uniform convergence limit of holomorphic functions is holomorphic, and its derivatives converge locally uniformly as well. The limit is continuous. On each small triangle contained in the domain, uniform convergence allows passage to the limit in its contour integral; the integrals vanish by the Cauchy integral theorem. The Morera theorem therefore makes the limit holomorphic. Applying the Cauchy integral formula on circles in a slightly larger compact subset proves locally uniform convergence of every fixed-order derivative.

The orientation of a contour specifies the direction in which its parametrization is traversed. Reversing that direction negates its contour integral. For a simple closed curve in the complex plane, positive orientation of a contour is the direction keeping its bounded interior on the left.

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.

Fix real $y$ and use a rectangle with vertical sides at real coordinates $\pm R$. The function $e^{-z^2}$ is entire, so its closed contour integral is zero by Cauchy's integral theorem. The bottom horizontal side contributes ${\int }_{-R}^R{e}^{-x^2}dx$ and the top contributes the negative of ${\int }_{-R}^R{e}^{-(x+iy{)}^2}dx$. This identity applies for either sign of $y$, with the corresponding oriented rectangle.

On a vertical side, $z=\pm R+is$ with $|s|\le |y|$, andThe sum of the two vertical integrals in absolute value is at most $2|y|e^{-R^2+y^2}\to 0$. Both horizontal improper integrals converge absolutely, since $|e^{-(x+iy{)}^2}|=e^{y^2}{e}^{-x^2}$. Letting $R\to \infty$ therefore provesComplete the square in the Fourier transform:The shifted-integral identity applies after scaling by $\sqrt{2}$. The Gaussian integral is $\sqrt{2\pi }$: the square of $\int e^{-u^2}du$ becomes $2\pi {\int }_0^{\infty }{e}^{-r^2}rdr=\pi$ in polar coordinates. Thus the Gaussian Fourier transform yieldsThe eigenvalue reflects the unnormalized transform convention in this question.

Use units $\hslash =c=1$ and the Minkowski metric $g=\mathrm{diag}(1,-1,-1,-1)$. The canonical momentum of the real scalar field is $\pi =\partial \mathcal{L}/\partial \dot{\varphi }=\dot{\varphi }$. Canonical quantization replaces the classical fields by operator-valued distributions and imposes the equal-time canonical commutation relationsThese relations are imposed on an initial slice, with smeared fields understood. In the Heisenberg picture, simultaneous unitary time evolution of both operators preserves their commutators. Since the momentum is $\dot{\varphi }$, the requested equal-time commutator is $[\varphi (t,\mathbf{x}),\dot{\varphi }(t,\mathbf{y})]=i{\delta }^{(3)}(\mathbf{x}-\mathbf{y})$.

The Legendre transform in mechanics, applied pointwise, gives the canonical Hamiltonian density of a real scalar field. ThusTo obtain its dynamics rather than assume them, use the Heisenberg equation of motion $\dot{O}=i[H,O]$. The momentum-square term gives $[H,\varphi ]=-i\pi$. The field-square term gives $[H,\pi ]=i{m}^2\varphi$, while differentiating the Dirac delta function in the gradient term and integrating by parts gives $[H,\pi ]=-i{\nabla }^2\varphi +i{m}^2\varphi$. ConsequentlyBoundary terms vanish for suitably decaying smeared fields. This is the Klein-Gordon equation as an operator identity.

A spatial Fourier transform reduces the Klein-Gordon equation to ${\ddot{\varphi }}_{\mathbf{p}}+E_p^2{\varphi }_{\mathbf{p}}=0$, where $E_p=\sqrt{{\mathbf{p}}^2+m^2}$. Its two frequency branches and the Hermitian adjoint condition giveThe invariant-normalized scalar mode extraction can be written particularly simply asSubstituting the mode expansion of a free field proves these inversion formulas: the opposite-frequency coefficient is proportional to $E_p-E_q$ and vanishes after spatial Fourier inversion. Alternatively they are the corresponding Klein-Gordon inner products. Taking their commutators using the equal-time fields gives $(E_p+E_q)(2\pi {)}^3{\delta }^{(3)}(\mathbf{p}-\mathbf{q})$ in the mixed case. In the two equal-type cases the delta function enforces $\mathbf{q}=-\mathbf{p}$, multiplying $E_p-E_q=0$. ThereforeConversely these mode commutators reproduce $[\varphi ,\dot{\varphi }]=i{\delta }^{(3)}$: the two frequency contributions each supply half the spatial Dirac delta function.

For the covariant oscillator Hamiltonian of a real scalar field, insert the mode expansion of a free field into $H$. Spatial integration sets the two momenta equal in the mixed terms and opposite in the two-creator or two-annihilator terms. The latter have coefficient $-E_p^2+{\mathbf{p}}^2+m^2=0$. The mixed terms giveThe constant $E_0$ is the divergent zero-point energy; a finite box and a momentum cutoff make its meaning explicit. Normal ordering sets the free vacuum energy to zero and leaves all commutators unchanged. Directly applying the mode commutators to the mixed expression yieldsChoose the Fock vacuum by $a(p)|0⟩=0$. Each creation operator adds a boson of energy $E_p$ and four-momentum $p$, while each annihilation operator removes one. Products of commuting creation operators give bosonic statistics from commuting creation operators and unrestricted occupation numbers. The real scalar field has one spin-zero species, identical to its antiparticle. Its one-particle states obey $⟨q|p⟩=(2\pi {)}^{3}2E_p{\delta }^{(3)}(\mathbf{p}-\mathbf{q})$, precisely the relativistic normalization of a one-particle state.

For the Feynman propagator, put $z=x-y$ and contract the two fields in the Fock vacuum. Only $a{a}^{†}$ survives, giving the Wightman functionThe stipulated time-ordered product convention is $i{\Delta }_F(z)=\theta (z^0)W(z)+\theta (-z^0)W(-z)$. In a contour integral over $p^0$, the Feynman i-epsilon prescription places the positive-energy pole just below the real axis and the negative-energy pole just above it. For $z^0>0$ close below, clockwise, obtaining $-i{e}^{-i{E}_p{z}^0}/(2E_p)$; for $z^0<0$ close above, obtaining $-i{e}^{i{E}_p{z}^0}/(2E_p)$. Changing $\mathbf{p}\mapsto -\mathbf{p}$ in the second contribution therefore provesActing with $\square +m^2$ multiplies the integrand by $-(p^2-m^2)$. The remaining factor tends to $-1$ as a distribution, so Fourier inversion givesThe sign also follows from the derivative jump of a free scalar time-ordered two-point function: the first time derivative of $i{\Delta }_F$ jumps by $⟨[\dot{\varphi },\varphi ]⟩=-i{\delta }^{(3)}$, so that of ${\Delta }_F$ jumps by $-{\delta }^{(3)}$.

Give $\mathcal{O}(U)$ the compact-open topology. Choose a finite polygonal cycle $\Gamma$ in $U\setminus {\sigma }_A(x)$ whose winding number is one on the Banach algebra spectrum and zero outside $U$. One can take the oriented boundary of a finite union of small squares surrounding the compact Banach algebra spectrum and contained in $U$. DefineThe integral is an algebra-norm integral of a continuous function on finitely many segments. Cauchy's theorem, applied after any bounded linear functional on $A$, makes it independent of the cycle. Moreoverso it is continuous for the compact-open topology.

Here is a direct verification of the algebra properties and uniqueness using the allowed Runge theorem. The version required is that every holomorphic function on an open plane set is a locally uniform limit of rational functions with poles outside that set, allowing a polynomial part. A rational function $r=p/q$ of this kind has the unambiguous value $r(x)=p(x)q(x{)}^{-1}$, since the roots of $q$ avoid the Banach algebra spectrum. These rational values form a unital algebra homomorphism.

They agree with the contour integral. First $\frac{1}{2\pi i}{\int }_{\Gamma }(z1-x{)}^{-1}dz=1$, by replacing the cycle with a large circle and integrating its Neumann expansion. The identity $z^{j}1-x^j=(z1-x){\sum }_{k=0}^{j-1}{z}^{j-1-k}{x}^k$ then proves the assertion for polynomials. For $a\notin U$, the resolvent identity givesThe cycle has winding number zero at $a$, so integration gives $(x-a1{)}^{-1}$. This identity holds on a neighborhood of $a$ disjoint from the cycle and the Banach algebra spectrum. Differentiating with respect to $a$ gives the analogous result for every power $(z-a{)}^{-k}$, and partial fractions give it for all the rational functions under consideration.

If $r_n\to f$ and $s_n\to g$ locally uniformly, the contour estimate makes their evaluated sequences converge. Since $r_n{s}_n\to fg$ locally uniformly and multiplication in $A$ is continuous, their limits satisfy ${\Theta }_x(fg)={\Theta }_x(f){\Theta }_x(g)$. Also ${\Theta }_x(1)=1$ and ${\Theta }_x(Z)=x$. Conversely any continuous unital complex-algebra homomorphism sending $Z$ to $x$ must send $Z-a$ to $x-a1$ and its reciprocal to the inverse. It therefore agrees on rational functions and then, by Runge density and continuity, on all of $\mathcal{O}(U)$. This proves existence and uniqueness of the holomorphic functional calculus.

For its spectral mapping property, first note compatibility on a smaller open spectral neighborhood $W\subseteq U$: composing restriction to $W$ with the calculus there gives the calculus on $U$ by uniqueness. If $\mu \notin g({\sigma }_A(x))$, choose such a $W$ where $\mu -g$ never vanishes. Thenwith the right side evaluated on $W$. Conversely, for $\lambda \in {\sigma }_A(x)$, write $g(z)-g(\lambda )=(z-\lambda )q(z)$ with $q$ holomorphic on $U$. The evaluated factors commute. If their product were invertible, both factors would be invertible, contradicting $\lambda \in {\sigma }_A(x)$. ThusPullback $h\mapsto h\circ g$ is continuous from $\mathcal{O}(V)$ to $\mathcal{O}(U)$ because the image under $g$ of a compact set is compact. The composite $h\mapsto {\Theta }_x(h\circ g)$ is a continuous unital homomorphism taking the coordinate function to $y={\Theta }_x(g)$. Uniqueness of the calculus at $y$ provesFor the exponential conclusion, let $K={\sigma }_A(x)$. There is a simple polygonal arc from zero through its unbounded complementary component to outside a disk containing $K$, continued by a ray to infinity and avoiding $K$. Loops in an initial polygonal path can be removed to make the arc simple. The complement of this slit is a simply connected open neighborhood of $K$ avoiding zero, and hence admits a holomorphic logarithm $\ell$. Set $y={\Theta }_x(\ell )$. The composition rule givesThe calculus of the entire exponential agrees with the usual algebra exponential because its power-series partial sums converge locally uniformly. Finally an invertible matrix over the complex numbers has a finite Banach algebra spectrum avoiding zero. Removing finitely many plane points leaves a connected set, so the hypothesis always holds: every invertible matrix over the complex numbers is an exponential of a matrix over the complex numbers.

First continue the Riemann zeta function into $\Re s>0$. Summing the integral of the integer-part function gives, initially for $\Re s>1$,The last integral defines a holomorphic function for $\Re s>0$, so this continuation has only a simple pole at one, of residue one.

For $\sigma >1$, logarithmic expansion of the Euler product and $3+4\cos v+\cos 2v=2(1+\cos v{)}^2\ge 0$ giveThis proves the three-four-one product proof of zeta boundary nonvanishing inequalityIf $t\ne 0$ and $\zeta (1+it)=0$ to order $r\ge 1$, the middle factor is $O((\sigma -1{)}^{4r})$, the first is $O((\sigma -1{)}^{-3})$, and the last remains bounded. Their product tends to zero, a contradiction. At $t=0$ there is a pole, not a zero. The zeta function has no zero on $\Re s=1$.

Put $I(x)={\int }_0^x\psi (u)du={\sum }_{n\le x}(x-n)\Lambda (n)$, where $\Lambda$ is the Von Mangoldt function. Logarithmic differentiation of the Euler product gives $-{\zeta }^{\prime }(s)/\zeta (s)={\sum }_n\Lambda (n)n^{-s}$ for $\Re s>1$. The first integral of the Chebyshev function is consequentlyTo check its kernel, evaluate the contour integral of $y^s/(s(s+1))$ by closing to the left for $y>1$ and to the right for $0<y<1$. The residues at zero and minus one give $1-y^{-1}$ in the first case and zero in the second. Multiplication by $x$ and substitution $y=x/n$ therefore produce $(x-n{)}_{+}$. On the line $c>1$, the Dirichlet series and vertical integral have absolute convergence, justifying their interchange; at $x=n$ the kernel is zero on either side.

Here is the smoothing step that establishes the requested asymptotic. Shift the line of this contour integral to the left. The pole of $-{\zeta }^{\prime }/\zeta$ at one has residue $+1$; at each Nontrivial zero of the Riemann zeta function $\rho$ of zero multiplicity $m_{\rho }$ its residue is $-m_{\rho }$. The denominators also contribute at zero and minus one, and the trivial zeros of the Riemann zeta function occur at $-2,-4,\dots$. Summing these residues yields the smoothed explicit formula for the Chebyshev functionZeros are repeated with zero multiplicity. For the limits of the contour integral, choose horizontal heights avoiding zero ordinates, where the logarithmic derivative on each fixed strip is $O((\log T{)}^2)$. The factor $s(s+1)$ makes their integrals tend to zero. On left edges chosen a fixed distance from the trivial zeros, the functional equation of the Riemann zeta function controls the logarithmic derivative by $O(\log (|s|+2))$; for fixed $x>1$ the remaining vertical integral vanishes as that edge moves left. This is why the extra integration of $\psi$ is useful.

The Riemann–von Mangoldt formula, stated in Question 3, gives $N(T)=O(T\log T)$, henceIndeed each dyadic height block contributes $O((\log T)/T)$. The zero-free line just proved, the nonvanishing Euler product on its right, and the functional equation of the Riemann zeta function put every Nontrivial zero of the Riemann zeta function in $0<\Re \rho <1$. Therefore each $x^{\rho -1}$ tends to zero, with absolute value at most one for $x\ge 1$. Divide the explicit formula by $x^2$ and use dominated convergence on the zero terms with absolute convergence. The remaining displayed terms are $o(x^2)$, and we obtain

Monotonicity of $\psi$ removes the smoothing. For $0<h<1$,After division by $x$, the limits of the two bounds are $1-h/2$ and $1+h/2$. Let $h\downarrow 0$ to get $\psi (x)\sim x$. Question 1 gives $\psi (x)-\vartheta (x)=O(\sqrt{x}\log x)=o(x)$, so $\vartheta (x)\sim x$. Partial summation now givesThe integral is $O(x/(\log x{)}^2)$, by splitting at $\sqrt{x}$ and using $\vartheta (t)=O(t)$. Inverting this at $x=p_n$, we have $n\sim p_n/\log p_n$ and hence $\log n\sim \log p_n$. Thus the $n$th prime satisfies

Use units $\hslash =c=1$ and the Minkowski metric $g_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$, so $p\cdot x=E_{p}t-\mathbf{p}\cdot \mathbf{x}$. The canonical momentum of the real scalar field is $\pi =\dot{\varphi }$, and the Hamiltonian operator isCanonical quantization of a real scalar field promotes $\varphi$ and $\pi$ to operator-valued distributions satisfying the equal-time canonical commutation relationProducts and operator commutators can first be interpreted after spatial smearing. An additive vacuum constant in $H$ does not affect the following equations. In the Heisenberg picture, $\dot{O}=i[H,O]$. Applying the canonical commutation relation to the quadratic Hamiltonian operator, and integrating the gradient term by parts, givesThus the Klein-Gordon equation is an operator equation. The spatial Fourier transform reduces it to ${\ddot{\varphi }}_{\mathbf{p}}+E_p^2{\varphi }_{\mathbf{p}}=0$, with $E_p=\sqrt{{\mathbf{p}}^2+m^2}$. Its two frequency branches, together with the Hermitian adjoint condition ${\varphi }^{†}=\varphi$, give the mode expansion of a free fieldThe measure $d\mu (p)$ is Lorentz invariant; its normalization fixes that of the creation and annihilation operators rather than imposing any extra physical assumption.

For invariant-normalized scalar mode extraction, take the Klein-Gordon inner product of $f_p$ with the field. The positive-frequency contribution has coefficient $E_p+E_q$ and spatial integral $(2\pi {)}^3{\delta }^3(\mathbf{p}-\mathbf{q})$. The negative-frequency contribution has coefficient $E_p-E_q$ and spatial integral $(2\pi {)}^3{\delta }^3(\mathbf{p}+\mathbf{q})$, so it vanishes because $E_{-p}=E_p$. ConsequentlyTaking the Hermitian adjoint, with the order of the scalar factors immaterial, yieldsEquivalently $a(\mathbf{p})=\int d^{3}x{f}_p^{\ast }(E_p\varphi +i\pi )$ and $a^{†}(\mathbf{q})=\int d^{3}y{f}_q(E_q\varphi -i\pi )$. At a common time their operator commutator therefore isThe same calculation gives $[a(\mathbf{p}),a(\mathbf{q})]=[a^{†}(\mathbf{p}),a^{†}(\mathbf{q})]=0$: the surviving factor is an energy difference supported at opposite spatial momenta. These are the bosonic canonical commutation relations in relativistic normalization of a one-particle state.

Choose the Fock vacuum by $a(\mathbf{p})|0⟩=0$ and $⟨0|0⟩=1$. Only the annihilator-creator product contributes to the Wightman function, givingUsing time ordering and the reverse product for $y^0>x^0$, the Feynman propagator, with the convention $D_F=i{\Delta }_F$ in this calculation, isIn particular the denominator in the spatial measure is $2E_p$ in both terms.

To verify the four-dimensional Fourier transform representation, let $\tau =x^0-y^0$ and integrate the energy variable first:The Feynman i-epsilon prescription puts the positive-energy pole at $E_p-i0$ and the negative-energy pole at $-E_p+i0$. For $\tau >0$, the contour integral closes in the lower half-plane with clockwise orientation. The residue theorem multiplies the residue $i{e}^{-i{E}_p\tau }/(2E_p)$ by $-i$, giving $e^{-i{E}_p\tau }/(2E_p)$. For $\tau <0$, it closes counterclockwise above: multiplying the residue $-i{e}^{i{E}_p\tau }/(2E_p)$ by $i$ gives $e^{i{E}_p\tau }/(2E_p)$. Thus $I(\tau )=e^{-i{E}_p|\tau |}/(2E_p)$. After inserting the spatial exponential, reversing $\mathbf{p}$ in the negative-time term gives exactly the time ordering expression above. HenceThis equality is understood as a distribution limit; the same prescription gives $(\square +m^2)D_F(x-y)=-i{\delta }^4(x-y)$.