proof of Riemann mapping theorem

This proof relies on the existence of a solution to the Dirichlet problem, and hence is applicable to any domain for which it can be proven that the Dirichlet problem has a solution. For simplicity, I will assume that the region U is boundedPlanetmathPlanetmathPlanetmathPlanetmath;

Since this proof uses real techniques to prove a complex result, a few simple conventions will make it easier to read. The letter x and y will always denote real quantities and z will always equal x+iy. FunctionsMathworldPlanetmath of a complex variable will be written as functions of two real variables without further warning; thus, f(z) and f(x,y) will denote the same entity.

Consider the following boundary value problem:


when x+iy lies on the boundary of U. Note that, since a lies in the interior of U, log|x+iy-a| bounded on the boundary of U. Hence, by the existence theoremMathworldPlanetmath, there exists a unique function u satisfying this boundary value problem. Since the boundary values of u are bounded, u will be bounded on the interior of U as well. By the regularity theorem for the Laplace equation, h will be differentiableMathworldPlanetmathPlanetmath (in fact, analyticPlanetmathPlanetmath) on the interior of U.

Because u satisfies the two-dimensional Laplace equation, the curl of the vector field


vanishes. Since U is simply connected, Poincare’s lemma implies that there must exist a function v such that this vector field is the gradient of v. Since v is only determind up to an additive constant, we may impose the condition v(a)=0. Written out explicitly, the condition that the gradient of v equals the vector field looks like


Note that these equations are exactly the Cauchy-Riemann equationsMathworldPlanetmath for u and v and, hence, u+iv is an analytic function.

Define p q, and f as


Because u and v satisfies Laplace’s equation, p and q will also satisfy Laplace’s equation in U{a}. Note that, whilst p is single-valued, q is multiply-valued with branch pointMathworldPlanetmath at a. Upon circling a once, the value of q increases by 2πi. On the other hand, f is single valued since the exponentiation operationMathworldPlanetmath cancels out the multiple-valuedness of q. Because p and q satisfy the Cauchy-Riemann equations and the exponential functionDlmfDlmfMathworldPlanetmath is analytic, f is analytic.

By construction, p(z)=0 when z lies on the boundary of U. It will now be shown that p(z)0 whenever zU{a}. Since log|z-a|- as za and h(a) is finite, it follows that there exists ϵ>0, such that p(z)>0 when 0<|z-a|ϵ Consider the region V={zU:|z|>ϵ}. For a point z to lie on the boundary of V, either |z-a|=ϵ or z must lie on the boundary of U. Either way, p(z)0, so the maximum principlePlanetmathPlanetmath implies that p(z)0 whenever zV. We already saw that p(z)0 when 0<|z|<ϵ, so p(z)>0 whenever zU{a}.

As a consequence, |f(z)|1 when zU because


Also, note that f(a)=0 and that f(a) is real and positive because


since v was chosen so that v(a)=0.

To show that f is bijectiveMathworldPlanetmath, we shall study the level setsPlanetmathPlanetmath of p. To simplify this study, we shall exclude those points at which the derivativePlanetmathPlanetmath of f vanishes. For every real number r>0, define


We will now show that A(r) is finite. The set


is compactPlanetmathPlanetmath. Hence, were A(r) infiniteMathworldPlanetmath, it would have an accumulation pointMathworldPlanetmath. Since f(z)=0 whenever sA(r) and f is analytic, this would imply that f(z)=0 identically, which is not the case. Hence, A(r) must be finite.

Choose r such that f(z)0 whenever |z|=r. Let C(r) denote the level set


We shall now show that C is smooth and is homeomorphic to a circle. As the level set of a continuous functionMathworldPlanetmathPlanetmath on a compact set, C is compact. Let w be an point of C(r). By assumptionPlanetmathPlanetmath, f(w)0. Hence, by the inverse function theoremMathworldPlanetmath, there exists a neighborhood N of w on which f is invertible. Furthermore, f-1 is an anlytic function. Since zC(r) if and only if |f(z)|=e-r, it follows that C(r)N is the image of an arc the circle {z:|z|=e-r} under f-1. Hence, C(r)N is diffeomorphic to a line segment.

Since this is true of every point wC(r), C(r) is a compact one-dimensional manifold. A compact, one-dimensional manifold must be either a circle or a finite union of circles. Suppose that C is a union of more than one circle. By the Jordan curve theoremMathworldPlanetmath, each of these circles divides the compex plane into an interior and an exterior reigion. Hence, given two of the circles which would comprise C(r), one of these circles would have to lie inside the other and there would have to be an open set which has these two circles as boundary. However, it is assumed that p is constant on both circles and assumes the same value on both. By the maximum principle, this would imply that p is constant in the region between the circles which would, in turn, imply that f is constant on U, which is impossible. Hence, C consists of a single circle.

Next, note that a must lie inside C. If a did not lie in C, it would follow that |f(z)|<r when z lies outside of C. But this is not possible because the boundary of u lies on the outsde of C as well and |f| was chosen to satisfy the boundary value |f(z)|=1 when z lies on the boundary of U.

Since a lies on the interior of the circle C, the winding numberDlmfPlanetmath of C about a is 1. Hence, upon traversing C once, the phase of q will increase by 2π.

Since f-1 is analytic, C is not only homeomorphic to a circle, it is also a smooth curve. Hence it makes sense to speak of the tangentPlanetmathPlanetmathPlanetmath to C and the normal to C. In terms of the normal and tangential derivatives, the Cauchy-Riemann equations my be written as


Since p(x)=r when x lies on C(r) and p(x)r when x lies in the interior of C(r), it follows that p/t=0 and p/n>0. By the Cauchy-Riemann eqations, this means that q/t0. It is not possible that q/t0 because, if that were so, then all the derivatives of p and q would vanish, which would imply that f=0, contrary to hypothesis. Hence q is a monotonically decreasing function on C(r). We already saw that q decreases by 2π upon traversing C(r). These two facts together imply that exp(-iq) is a bijection from C(r) to the unit circle. Hence f is a bijection from C(r) to the circle of radius e-r.

To finish the proof, we need to deal with the points z such that f(z)=0. We shall use the argument principle to show that these points do not exist! As before, choose r such that f(z)0 whenever |z|=r. Then C(r) is a smooth close curve and we may apply the argument principle to f along C(r). Differentiating the definition,


Since the argumentMathworldPlanetmath of a productPlanetmathPlanetmath is the sum of the arguments of the factors, we may consider f and u+iv separately. The argument principle states that, because f has only one simple zero (located at a) inside C(r), the argument of f will increase by 2π upon traversing C(r). To compute the argument of u+iv, we may make use of the fact that the derivative of an analytic function is the same no matter what direction one chooses to compute the derivative. To compute the derivative of u+iv at a point on C(r), choose the normal direction. From what we had seen earlier, it follows that u+iv will point along the inward normal to C(r). Since the inward normal rotates by by -2π upon traversing the curve, the argument of u+iv changes by -2π upon traversing C(r). Hence, the argument of f stays the same after traversing C(r). Since f is analytic inside C(r), the argument principle states that f can have no zeros inside of C(r).

Title proof of Riemann mapping theorem
Canonical name ProofOfRiemannMappingTheorem
Date of creation 2013-03-22 14:35:17
Last modified on 2013-03-22 14:35:17
Owner rspuzio (6075)
Last modified by rspuzio (6075)
Numerical id 22
Author rspuzio (6075)
Entry type Proof
Classification msc 30A99