Lecture Notes on Several Complex Variables
Total Page:16
File Type:pdf, Size:1020Kb
Math 650, Fall 2011 Texas A&M University Lecture notes on several complex variables Harold P. Boas Draft of November 30, 2011 Contents 1 Introduction 1 1.1 Power series . 1 1.2 Integral representations . 2 1.3 Partial differential equations . 2 1.4 Geometry . 3 2 Power series 4 2.1 Domain of convergence . 4 2.2 Characterization of domains of convergence . 5 2.3 Elementary properties of holomorphic functions . 8 2.4 Natural boundaries . 9 2.5 Summary: domains of convergence . 17 2.6 The Hartogs phenomenon . 17 2.7 Separate holomorphicity implies joint holomorphicity . 19 3 Convexity 23 3.1 Real convexity . 23 3.2 Convexity with respect to a class of functions . 24 3.2.1 Polynomial convexity . 25 3.2.2 Linear and rational convexity . 30 ii 1 Introduction Although the great Karl Weierstrass (1815–1897) studied multi-variable power series already in the nineteenth century, the modern theory of several complex variables dates to the researches of Friedrich (Fritz) Hartogs (1874–1943) in the first decade of the twentieth century.1 The so-called Hartogs Phenomenon reveals a dramatic difference between one-dimensional complex analysis and multi-dimensional complex analysis, a fundamental feature that had eluded Weierstrass. Some aspects of the theory of holomorphic (complex analytic) functions—the maximum prin- ciple, for example—are essentially the same in all dimensions. The most interesting parts of the theory of several complex variables are the features that differ from the one-dimensional theory. The one-dimensional theory is illuminated by several complementary points of view: power se- ries, integral representations, partial differential equations, and geometry. The multi-dimensional theory reveals striking new phenomena from each of these points of view. This chapter sketches some of the issues that will be treated in detail later on. 1.1 Power series A one-variable power series converges inside a certain disc and diverges outside the closure of the disc. The convergence region for a two-dimensional power series, however, can have infinitely many different shapes. For instance, the largest open set in which the double series P P n m n1 0 m1 0 ´ w converges is the unit bidisc .´; w/ ´ < 1 and w < 1 , while the series P D n Dn f W j j j j g n1 0 ´ w converges in the unbounded hyperbolic region where ´w < 1. TheD theory of one-dimensional power series bifurcates into thej theoryj of entire functions (when the series has infinite radius of convergence) and the theory of functions on the unit disc (when the series has a finite radius of convergence, which can be normalized to the value 1). In higher dimensions, studying power series already leads to function theory on infinitely many dif- ferent types of domains. A natural question, to be answered later, is to characterize the domains that are convergence domains for multi-variable power series. Exercise 1. Exhibit a two-variable power series whose convergence domain is the unit ball .´; w/ ´ 2 w 2 < 1 . f W j j C j j g 1A student of Alfred Pringsheim (1850–1941), Hartogs belonged to the Munich school of mathematicians. Because of their Jewish heritage, both Pringsheim and Hartogs suffered greatly under the Nazi regime in the 1930s. Pringsheim, a wealthy man, managed to buy his way out of Germany into Switzerland, where he died at an advanced age in 1941. The situation for Hartogs, however, grew ever more desperate, and in 1943 he committed suicide rather than face being sent to a death camp. 1 1 Introduction Hartogs discovered that every function holomorphic in a neighborhood of the boundary of the unit bidisc automatically extends to be holomorphic on the interior of the bidisc; a proof can be carried out by considering one-variable Laurent series on slices. Thus, in dramatic contrast to the situation in one variable, there are domains in C2 on which all the holomorphic functions extend to a larger domain. A natural question, to be answered later, is to characterize the domains of holomorphy, that is, the natural domains of existence of holomorphic functions. The discovery of Hartogs shows too that holomorphic functions of several variables never have isolated singularities and never have isolated zeroes, in contrast to the one-variable case. Moreover, zeroes (and singularities) must propagate to infinity or to the boundary of the domain where the function is defined. Exercise 2. Let p.´; w/ be a nonconstant polynomial in two variables. Show that the zero set of p cannot be a compact subset of C2. 1.2 Integral representations The one-variable Cauchy integral formula for a holomorphic function f on a domain bounded by a simple closed curve C says that 1 Z f .w/ f .´/ dw for ´ inside C: D 2i w ´ C 1 A remarkable feature of this formula is that the kernel .w ´/ is both universal (independent of the curve C ) and holomorphic in the free variable ´. There is no such formula in higher dimensions! There are integral representations with a holomorphic kernel that depends on the domain, and there is a universal integral representation with a kernel that is not holomorphic. There is a huge literature about constructing and analyzing integral representations for various special types of domains. 1.3 Partial differential equations The one-dimensional Cauchy–Riemann equations are a pair of real partial differential equations for a pair of functions (the real and imaginary parts of a holomorphic function). In Cn, there are still two functions, but there are 2n equations. Thus when n > 1, the inhomogeneous Cauchy– Riemann equations form an overdetermined system; hence there is a necessary compatibility condition for solvability of the Cauchy–Riemann equations. This feature is a significant differ- ence from the one-variable theory. When the inhomogeneous Cauchy–Riemann equations are solvable in C2 (or in higher dimen- sion), there is (as will be shown later) a solution with compact support in the case of compactly supported data. When n 1, however, it is not always possible to solve the inhomogeneous Cauchy–Riemann equationsD while maintaining compact support. The Hartogs phenomenon can be interpreted as a manifestation of this dimensional difference. 2 1 Introduction Exercise 3. Show that if u is the real part of a holomorphic function of two complex variables ´1 ( x1 iy1) and ´2 ( x2 iy2), then the function u must satisfy the following real second-order partialD C differential equations:D C @2u @2u @2u @2u @2u @2u @2u @2u 2 2 0; 2 2 0; 0; : @x1 C @y1 D @x2 C @y2 D @x1@x2 C @y1@y2 D @x1@y2 D @y1@x2 Thus the real part of a holomorphic function of two variables not only is harmonic in each coordinate but also satisfies additional conditions. 1.4 Geometry In view of the one-variable Riemann mapping theorem, every bounded simply connected planar domain is biholomorphically equivalent to the unit disc. In higher dimension, there is no such simple topological classification of biholomorphically equivalent domains. Indeed, the unit ball in C2 and the unit bidisc in C2 are holomorphically inequivalent domains. One way to understand intuitively why the situation changes in dimension 2 is to realize that in C2, there is room for one-dimensional complex analysis to happen in the tangent space to the boundary of a domain. Indeed, the boundary of the bidisc contains pieces of one-dimensional complex affine subspaces, while the boundary of the two-dimensional ball does not contain any such analytic disc. Similarly, the zero set of a (not identically zero) holomorphic function in C2 is a one-dimensional complex variety, while the zero set of a holomorphic function in C1 is a zero-dimensional variety (that is, a discrete set of points). There is a mismatch between the dimension of the domain and the dimension of the range of a multi-variable holomorphic function. One might expect an equidimensional holomorphic mapping to be analogous to a one-variable holomorphic function. Here too there are surprises. For instance, there exists a biholomorphic mapping from all of C2 onto a proper subset of C2 whose complement has interior points. Such a mapping is called a Fatou–Bieberbach map.2 2The name honors the French mathematician Pierre Fatou (1878–1929) and the German mathematician Ludwig Bieberbach (1886–1982). 3 2 Power series Examples in the introduction show that the domain of convergence of a multi-variable power series can have various shapes; in particular, the domain need not be a convex set. Nonetheless, there is a special kind of convexity property that characterizes convergence domains. Developing the theory requires some notation. The Cartesian product of n copies of the com- plex numbers C is denoted by Cn. In contrast to the one-dimensional case, the space Cn is not an algebra when n > 1 (there is no multiplication operation). But the space Cn is a normed vector p 2 2 space, the usual norm being the Euclidean one: .´1; : : : ; ´n/ ´1 ´n . A point n k k D j j C C j j .´1; : : : ; ´n/ in C is commonly denoted by a single letter ´, a vector variable. If ˛ is a point n ˛ ˛1 ˛n of C all of whose coordinates are non-negative integers, then ´ means the product ´1 ´n ˛1 (as usual, the quantity ´1 is interpreted as 1 when ´1 and ˛1 are simultaneously equal to 0), the notation ˛Š abbreviates the product ˛1Š ˛nŠ (where 0Š 1), and ˛ means ˛1 ˛n. In D j j C P C ˛ this “multi-index” notation, a multi-variable power series can be written in the form ˛ c˛´ , P P ˛1 ˛n 1 1 an abbreviation for ˛1 0 ˛n 0 c˛1;:::;˛n ´1 ´n .