The only denominator zero is , which lies strictly inside the given circle. The numerator is an entire function. Apply the derivative form of the Cauchy integral formula with :
The sixth derivative is , so its value at is . Consequently
For the simple-contour form of the residue theorem, let be a positively oriented, simple, closed, piecewise smooth contour. Assume is holomorphic on a neighbourhood of and its interior except at finitely many isolated singularities , all strictly inside , with none on . Then
The more general version weights each residue by the contour's winding number, with the usual requirement that the contour be homologous to zero in the domain of analyticity containing it and the nonsingular region.
For the requested application, assume is holomorphic on a neighbourhood of the contour and its closed interior, and is strictly inside it. Its Taylor series shows
Only the second term contributes a residue. The residue theorem therefore proves the derivative form of the Cauchy integral formula:
The Cauchy integral formula for derivatives, with , gives
The derivative cycles of sine and cosine give and . Therefore
In particular the sine integral vanishes for even , and the cosine integral vanishes for odd . For the remaining cases their signs alternate. The radius is irrelevant provided , since the numerator is entire and the origin is enclosed once counterclockwise.
One standard form of the Cauchy integral formula is this: if is holomorphic on an open set containing a contour that is a simple closed curve and its interior, and has positive orientation of a contour, then for every point inside it,
The hypothesis includes the contour itself; singularities on the contour are excluded. In particular, the formula applies on a circle whose closed disk is contained in the domain of holomorphy.
Put and choose . For , the triangle inequality gives
The reverse triangle inequality therefore yields
If had no root, the function would be an entire function. The bound just proved makes as . On the remaining closed disk, continuity and the extreme value theorem make bounded. Thus is a bounded entire function, so Liouville's theorem makes it constant. Its limit at infinity forces that constant to be zero, impossible for a reciprocal.
Consequently has a root in . This proves the existence part of the fundamental theorem of algebra. The invoked Liouville theorem follows from the Cauchy integral formula: the Cauchy estimate on arbitrarily large circles gives when is bounded by .
Fix and . On and , the reverse triangle inequality gives . Subtract the two Cauchy integral formula expressions and apply the estimation lemma, using circle length :
Thus every fixed-order derivative converges uniformly on each smaller disc. The right-hand factor tends to zero by the assumed uniform convergence on . Keeping a positive gap from the integration contour is the essential feature of this Cauchy derivative convergence bound. If , the specified open disc is empty and the claim is vacuous.
For and , the Cauchy integral formula for derivatives is
The formula applies because the closed unit disc lies inside the domain of holomorphy. For this is the ordinary value formula, with .
The Cauchy derivative formula says that if is holomorphic on a neighbourhood of a closed disk and is inside its positively oriented boundary circle , then for ,
For this is the Cauchy integral formula. The same formula holds for a positively oriented simple closed contour when is holomorphic on a neighbourhood of the contour and its enclosed region.
In the present problem the unit circle and its closed interior lie inside . Parametrize it by , , so . For a positive integer ,
The first contour integral is zero by the Cauchy integral theorem, since is holomorphic on the disk; the second is evaluated by the Cauchy derivative formula. Therefore
Taking gives the requested .
For the standard canonical Wiener-Hopf factorization, first assume the nonzero kernel has Index of a Wiener-Hopf kernel zero and a continuous analytic logarithm tending to zero at both ends of the strip, with sufficient decay for the Cauchy projections. Choose . Let be the line oriented left to right, with its factor used above that line; let be the line oriented left to right, with its factor used below that line.
For , closing the rectangle between the two lines and using the Cauchy integral formula gives
Thus . Multiplying gives in the overlap. The canonical factors are analytic, nonzero, and normalized at infinity in their respective half-planes, so part (a) yields
Contours may be shifted within the strip without changing their factors on the appropriate side. When necessary, a subtracted Cauchy kernel fixes convergence and the common normalization constant.
The printed hypotheses omit the index and factor-growth qualifications; alone does not ensure them. An explicit counterexample is on , with and . Both functions are analytic and bounded at infinity in their prescribed half-planes, and the relation holds. If admissible analytic factors made their common product a nonzero constant, would force constant and hence proportional to , impossible because has a pole at in the plus half-plane. The natural factors , instead give the nonconstant common polynomial . Thus the boxed constant conclusion is the intended index-zero result, not a consequence of the literal assumptions alone.
For a holomorphic normal family, limits are holomorphic or identically infinity. A uniform bound at one interior point excludes infinity on its connected domain. Every sequence therefore has a finite locally uniform subsequential limit. The Cauchy integral formula makes the derivatives converge locally uniformly too, so the derivative family is normal. Without the point bound this can fail: tends uniformly to infinity on the unit disk, whereas its derivatives are not normal at zero.
Poisson formula for a holomorphic function Created 2026-10-25 Updated 2026-10-31
For holomorphic on a neighbourhood of the radius- closed disk and , the displayed representation holds even though may be complex-valued. For , put . On , the Poisson kernel equals . Replacing by reduces the formula to the Cauchy integral formula minus a zero contour integral whose pole lies outside. The case is the mean value property for holomorphic functions.
Let , , and be the directed attenuated Radon transform. With the signed Cauchy boundary operators, set . An integrating factor turns the attenuated equation into unattenuated directional transport; its spectral solution has jump on the unit circle. A normalized Cauchy integral formula and the coefficient at spectral infinity then prove the reconstruction formula. Known attenuation and full directed angular data determine the source; attenuation itself is not reconstructed by this pair.
For a complex-valued harmonic function in the first quadrant, write and as independent holomorphic functions. Prescribe on the imaginary axis and on the real axis. If , set . Reflection into four quadrants produces a scalar Riemann-Hilbert problem with parity and known jumps. Provided its corner and large-arc contributions vanish, the Cauchy integral formula gives
Complex boundary data do not justify replacing by the conjugate of .
Riemann-Hilbert problem 2026-10-06
Find functions analytic on the two sides of a contour whose boundary values obey a prescribed jump, with suitable normalization at infinity and other distinguished points. An additive jump on a counterclockwise closed contour is solved by the Cauchy integral formula , subject to the normalization and compatibility conditions. The Sokhotski–Plemelj theorem verifies the jump.
Taylor coefficient 2026-10-25
The coefficient of in the Taylor series of a function at . The displayed formula defines it whenever the indicated derivative exists. For a holomorphic function on a disk, the Cauchy integral formula also gives along a circle enclosing the center within that disk.