Processing math: 100%
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

0.1: Motivation, Single Variable, and Cauchy's Formula

( \newcommand{\kernel}{\mathrm{null}\,}\)

We start with some standard notation. We use C for complex numbers, R for real numbers, Z for integers, N={1,2,3,} for natural numbers, i=1. Throughout this book, the standard terminology of domain means a connected open set. We try to avoid using it if connectedness is not needed, but sometimes we use it just for simplicity.

As complex analysis deals with complex numbers, perhaps we should begin with 1. Start with the real numbers, R, and add 1 into our field. Call this square root i, and write the complex numbers, C, by identifying C with R2 using z=x+iy, where zC, and (x,y)R2. A subtle philosophical issue is that there are two square roots of 1. Two chickens are running around in our yard, and because we like to know which is which, we catch one and write “i” on it. If we happened to have caught the other chicken, we would have gotten an exactly equivalent theory, which we could not tell apart from the original.

Given a complex number z, its “opposite” is the complex conjugate of z and is defined as ˉzdef=xiy. The size of z is measured by the so-called modulus, which is just the Euclidean distance: |z|def=z¯z=x2+y2.

If z=x+iyC for x,yR, then x is called the real part and y is called the imaginary part. We write z=(x+iy)=z+ˉz2=x,z=(x+iy)=zˉz2i=y.

A function f:URnC for an open set U is said to be continuously differentiable, or C1 if the first (real) partial derivatives exist and are continuous. Similarly, it is Ck or Ck-smooth if the first k partial derivatives all exist and are differentiable. Finally, a function is said to be C or simply smooth1 if it is infinitely differentable, or in other words, if it is Ck for all kN.

Complex analysis is the study of holomorphic (or complex-analytic) functions. Holomorphic functions are a generalization of polynomials, and to get there one leaves the land of algebra to arrive in the realm of analysis. One can do an awful lot with polynomials, but sometimes they are just not enough. For example, there is no nonzero polynomial function that solves the simplest of differential equations, f=f. We need the exponential function, which is holomorphic.

We start with polynomials. A polynomial in z is an expression of the form P(z)=dk=0ckzk, where ckC and cd0. The number d is called the degree of the polynomial P. We can plug in some number z and compute P(z), to obtain a function P:CC.

We try to write f(z)=k=0ckzk and all is very fine until we wish to know what f(z) is for some number zC. We usually mean k=0ckzk=limddk=0ckzk. As long as the limit exists, we have a function. You know all this; it is your one-variable complex analysis. We usually start with the functions and prove that we can expand into series.

Let UC be open. A function f:UC is holomorphic (or complex-analytic) if it is complex-differentiable at every point, that is, if f(z)=limξC0f(z+ξ)f(z)ξexists for all z  U. Importantly, the limit is taken with respect to complex ξ. Another vantage point is to start with a continuously differentiable2 f, and say f=u+iv is holomorphic if it satisfies the Cauchy-Riemann equations: ux=vy,uy=vx. The so-called Wirtinger operators, zdef=12(xiy),     ˉzdef=12(x+iy), provide an easier way to understand the Cauchy–Riemann equations. These operators are determined by insisting zz=1,zˉz=0,ˉzz=0,ˉzˉz=1.

The function f is holomorphic if and only if fˉz=0. That seems a far nicer statement of the Cauchy–Riemann equations; it is just one complex equation. It says a function is holomorphic if and only if it depends on z but not on ˉz (perhaps that does not make a whole lot of sense at first glance). We check: fˉz=12(fx+ify)=12(ux+ivx+iuyvy)=12(uxvy)+i2(vx+uy). This expression is zero if and only if the real parts and the imaginary parts are zero. In other words, uxvy=0,andvx+uy=0. That is, the Cauchy–Riemann equations are satisfied.

If f is holomorphic, the derivative in z is the standard complex derivative you know and love: fz(z0)=f(z0)=limξ0f(z0+ξ)f(z0)ξ. That is because fz=12(ux+vy)+i2(vxuy)=ux+ivx=fx=1i(uy+ivy)=f(iy).

A function on C is a function defined on R2 as identified above and so it is a function of x and y. Writing x=z+ˉz2 and y=zˉz2i, think of it as a function of two complex variables, z and ˉz. Pretend for a moment as if ˉz did not depend on z. The Wirtinger operators work as if z and ˉz really were independent variables. For instance: z[z2ˉz3+z10]=2zˉz3+10z9andˉz[z2ˉz3+z10]=z2(3ˉz2)+0. A holomorphic function is a function “not depending on ˉz.”

The most important theorem in one variable is the Cauchy integral formula.

Theorem 0.1.1

Cauchy Integral Formula

Let UC be a bounded domain where the boundary U is a piecewise smooth simple closed path (a Jordan curve). Let f:¯UC be a continuous function, holomorphic in U. Orient U positively (going around counter-clockwise). Then f(z)=12πiUf(ζ)ζzdζfor all zU.

The Cauchy formula is the essential ingredient we need from one complex variable. It follows from Green’s theorem3 (Stokes’ theorem in two dimensions). You can look forward to Theorem 4.1.1 for a proof of a more general formula, the Cauchy–Pompeiu integral formula.

As a differential form, dz=dx+idy. If you are uneasy about differential forms, you probably defined the path integral above directly using the Riemann–Stieltjes integral in your one-complex-variable class. Let us write down the formula in terms of the standard Riemann integral in a special case. Take the unit disc Ddef={zC:|z|<1}. The boundary is the unit circle D={zC:|z|=1} oriented positively, that is, counter-clockwise. Parametrize D by eit, where t goes from 0 to 2π. If ζ=eit, then dζ=ieitdt, and f(z)=12πiDf(ζ)ζzdζ=12π2π0f(eit)eiteitzdt. If you are not completely comfortable with path integrals, try to think about how you would parametrize the path, and write the integral as an integral any calculus student would recognize.

I venture a guess that 90% of what you learned in a one-variable complex analysis course (depending on who taught it) is more or less a straightforward consequence of the Cauchy integral formula. An important theorem from one variable that follows from the Cauchy formula is the maximum modulus principle (or just the maximum principle). Let us give its simplest version.

Theorem 0.1.2

Maximum Modulus Principle

Suppose UC is a domain and f:UC is holomorphic. If for some z0U supzU|f(z)|=|f(z0)|, then f is constant, that is, ff(z0).

That is, if the supremum is attained in the interior of the domain, then the function must be constant. Another way to state the maximum principle is to say: If f extends continuously to the boundary of a domain, then the supremum of |f(z)| is attained on the boundary. In one variable you learned that the maximum principle is really a property of harmonic functions.

Theorem 0.1.3

Maximum Principle

Let UC be a domain and h:UR harmonic, that is, 2h=2hx2+2hy2=0. If for some z0U supzUh(z)=h(z0)orinfzUh(z)=h(z0), then h is constant, that is, hh(z0).

In one variable, if f=u+iv is holomorphic for real valued u and v, then u and v are harmonic. Locally, any harmonic function is the real (or imaginary) part of a holomorphic function, so in one complex variable, studying harmonic functions is almost equivalent to studying holomorphic functions. Things are decidedly different in two or more variables.

Holomorphic functions admit a power series representation in z at each point a: f(z)=k=0ck(za)k. No ˉz is necessary, since fˉz=0.

Let us see the proof using the Cauchy integral formula as we will require this computation in several variables as well. Given aC and ρ>0, define the disc of radius ρ around a Δρ(a)def={zC:|za|<ρ}. Suppose UC is open, f:UC is holomorphic, aU, and ¯Δρ(a)U (that is, the closure of the disc is in U, and so its boundary Δρ(a) is also in U).

For zΔρ(a) and ζΔρ(a), |zaζa|=|za|ρ<1. In fact, if |za|ρ<ρ, then |zaζa|ρρ<1. Therefore, the geometric series k=0(zaζa)k=11zaζa=ζaζz converges uniformly absolutely for (z,ζ)¯Δρ(a)×Δρ(a) (that is, k|zaζa|k converges uniformly).

Let γ be the path going around Δρ(a) once in the positive direction. Compute

f(z)=12πiγf(ζ)ζzdζ=12πiγf(ζ)ζaζaζzdζ=12πiγf(ζ)ζak=0(zaζa)kdζ=k=0(12πiγf(ζ)(ζa)k+1dζ)(za)k. In the last equality, we may interchange the limit on the sum with the integral either via Fubini’s theorem or via uniform convergence: z is fixed and if M is the supremum of |f(ζ)ζa|=|f(ζ)|ρ on Δρ(a), then |f(ζ)ζa(zaζa)k|M(|za|ρ)k,and|za|ρ<1.

The key point is writing the Cauchy kernel 1ζz as 1ζz=1ζaζaζz, and then using the geometric series.

Not only have we proved that f has a power series, but we computed that the radius of convergence is at least R, where R is the maximum R such that ΔR(a)U. We also obtained a formula for the coefficients ck=12πiγf(ζ)(ζa)k+1dζ.

For a set K, denote the supremum norm: ||f||Kdef=supzK|f(z)|. By a brute force estimation, we obtain the very useful Cauchy estimates: |ck|=|12πiγf(ζ)(ζa)k+1dζ|12πγ||f||yρk+1|dζ|=||f||yρk.

We differentiate Cauchy’s formula k times (using the Wirtinger z operator),

f(k)(z)=kfzk(z)=12πiγk!f(ζ)(ζz)k+1dζ, and therefore k!ck=f(k)(a)=kfzk(a). Hence, we can control derivatives of f by the size of the function: |f(k)(a)|=|kfzk(a)|k!||f||γρk. This estimate is one of the key properties of holomorphic functions, and the reason why the correct topology for the set of holomorphic functions is the same as the topology for continuous functions. Consequently, obstructions to solving problems in complex analysis are often topological in character.

For further review of one-variable results, see Appendix B.

Footnotes

[1] While C is the common definition of smooth, not everyone always means the same thing by the word smooth. I have seen it mean differentiable, C1, piecewise-C1, C, holomorphic, …

[2] Holomorphic functions end up being infinitely differentiable anyway, so this hypothesis is not overly restrictive.

[3] If you wish to feel inadequate, note that this theorem, on which all of complex analysis (and all of physics) rests, was proved by George Green, who was the son of a miller and had one year of formal schooling.


This page titled 0.1: Motivation, Single Variable, and Cauchy's Formula is shared under a CC BY-SA 4.0 license and was authored, remixed, and/or curated by Jiří Lebl via source content that was edited to the style and standards of the LibreTexts platform.

  • Was this article helpful?

Support Center

How can we help?