Function of several complex variables
The theory of functions of several complex variables is the branch of mathematics dealing with complex-valued functions. The name of the field dealing with the properties of function of several complex variables is called several complex variables (and analytic space), that has become a common name for that whole field of study and Mathematics Subject Classification has, as a top-level heading. A function is n-tuples of complex numbers, classically studied on the complex coordinate space .
As in complex analysis of functions of one variable, which is the case n = 1, the functions studied are holomorphic or complex analytic so that, locally, they are power series in the variables zi. Equivalently, they are locally uniform limits of polynomials; or locally square-integrable solutions to the n-dimensional Cauchy–Riemann equations.[1][2][3] For one complex variable, every domain[note 1](), is the domain of holomorphy of some function, in other words every domain has a function for which it is the domain of holomorphy.[4][5] For several complex variables, this is not the case; there exist domains () that are not the domain of holomorphy of any function, and so is not always the domain of holomorphy, so the domain of holomorphy is one of the themes in this field.[4] Patching the local data of meromorphic functions, i.e. the problem of creating a global meromorphic function from zeros and poles, is called the Cousin problem. Also, the interesting phenomena that occur in several complex variables are fundamentally important to the study of compact complex manifolds and complex projective varieties ()[6] and has a different flavour to complex analytic geometry in or on Stein manifolds, these are much similar to study of algebraic varieties that is study of the algebraic geometry than complex analytic geometry.
Historical perspective
Many examples of such functions were familiar in nineteenth-century mathematics; abelian functions, theta functions, and some hypergeometric series, and also, as an example of an inverse problem; the Jacobi inversion problem.[7] Naturally also same function of one variable that depends on some complex parameter is a candidate. The theory, however, for many years didn't become a full-fledged field in mathematical analysis, since its characteristic phenomena weren't uncovered. The Weierstrass preparation theorem would now be classed as commutative algebra; it did justify the local picture, ramification, that addresses the generalization of the branch points of Riemann surface theory.
With work of Friedrich Hartogs, Pierre Cousin , E. E. Levi, and of Kiyoshi Oka in the 1930s, a general theory began to emerge; others working in the area at the time were Heinrich Behnke, Peter Thullen, Karl Stein, Wilhelm Wirtinger and Francesco Severi. Hartogs proved some basic results, such as every isolated singularity is removable, for every analytic function
After 1945 important work in France, in the seminar of Henri Cartan, and Germany with Hans Grauert and Reinhold Remmert, quickly changed the picture of the theory. A number of issues were clarified, in particular that of analytic continuation. Here a major difference is evident from the one-variable theory; while for every open connected set D in we can find a function that will nowhere continue analytically over the boundary, that cannot be said for n > 1. In fact the D of that kind are rather special in nature (especially in complex coordinate spaces and Stein manifolds, satisfying a condition called pseudoconvexity). The natural domains of definition of functions, continued to the limit, are called Stein manifolds and their nature was to make sheaf cohomology groups vanish, also, the property that the sheaf cohomology group disappears is also found in other high-dimensional complex manifolds, indicating that the Hodge manifold is projective. In fact it was the need to put (in particular) the work of Oka on a clearer basis that led quickly to the consistent use of sheaves for the formulation of the theory (with major repercussions for algebraic geometry, in particular from Grauert's work).
From this point onwards there was a foundational theory, which could be applied to analytic geometry, [note 2] automorphic forms of several variables, and partial differential equations. The deformation theory of complex structures and complex manifolds was described in general terms by Kunihiko Kodaira and D. C. Spencer. The celebrated paper GAGA of Serre[8] pinned down the crossover point from géometrie analytique to géometrie algébrique.
C. L. Siegel was heard to complain that the new theory of functions of several complex variables had few functions in it, meaning that the special function side of the theory was subordinated to sheaves. The interest for number theory, certainly, is in specific generalizations of modular forms. The classical candidates are the Hilbert modular forms and Siegel modular forms. These days these are associated to algebraic groups (respectively the Weil restriction from a totally real number field of GL(2), and the symplectic group), for which it happens that automorphic representations can be derived from analytic functions. In a sense this doesn't contradict Siegel; the modern theory has its own, different directions.
Subsequent developments included the hyperfunction theory, and the edge-of-the-wedge theorem, both of which had some inspiration from quantum field theory. There are a number of other fields, such as Banach algebra theory, that draw on several complex variables.
The complex coordinate space
The complex coordinate space is the Cartesian product of n copies of , and when is a domain of holomorphy, can be regarded as a Stein manifold, and more generalized Stein space. is also considered to be a complex projective variety, a Kähler manifold,[9] etc. It is also an n-dimensional vector space over the complex numbers, which gives its dimension 2n over .[note 3] Hence, as a set and as a topological space, may be identified to the real coordinate space and its topological dimension is thus 2n.
In coordinate-free language, any vector space over complex numbers may be thought of as a real vector space of twice as many dimensions, where a complex structure is specified by a linear operator J (such that J 2 = −I) which defines multiplication by the imaginary unit i.
Any such space, as a real space, is oriented. On the complex plane thought of as a Cartesian plane, multiplication by a complex number w = u + iv may be represented by the real matrix
with determinant
Likewise, if one expresses any finite-dimensional complex linear operator as a real matrix (which will be composed from 2 × 2 blocks of the aforementioned form), then its determinant equals to the square of absolute value of the corresponding complex determinant. It is a non-negative number, which implies that the (real) orientation of the space is never reversed by a complex operator. The same applies to Jacobians of holomorphic functions from to .
Connected space
Every product of a family of an connected (resp. path-connected) spaces is connected (resp. path-connected).
Compact
From the Tychonoff's theorem, the space mapped by the cartesian product consisting of any combination of compact spaces is a compact space.
Holomorphic functions
Definition
This section may be confusing or unclear to readers. In particular, it is unclear whether this definition is equivalent with the definition given in the lead of holomorphic function. (August 2021) |
When a function f defined on the domain D is complex-differentiable at each point on D, f is said to be holomorphic on D. When the function f defined on the domain D satisfies the following conditions, it is complex-differentiable at the point on D;
- Let ,
- , since such are uniquely determined, they are called the partial differential coefficients of f, and each are written as
Therefore, when a function f is holomorphic on the domain , then f satisfies the following two conditions.
- f is continuous on D[note 4]
- f is holomorphic in each variable separately, that is f is separate holomorphicity, namely,
Cauchy–Riemann equations
For each index ν let
and[clarification needed]
Then as expected,
through, let be the Kronecker delta, that is , and if .
When,
then,
therefore,
This satisfies the Cauchy–Riemann equation of one variable to each index ν, then f is a separate holomorphic.
Cauchy's integral formula I (Polydisc version)
Prove the sufficiency of two conditions (A) and (B). Let f meets the conditions of being continuous and separately homorphic on domain D. Each disk has a rectifiable curve , is piecewise smoothness, class Jordan closed curve. ( ) Let be the domain surrounded by each . Cartesian product closure is . Also, take the closed polydisc so that it becomes . ( and let be the center of each disk.) Using the Cauchy's integral formula of one variable repeatedly, [note 5]
Because is a rectifiable Jordanian closed curve[note 6] and f is continuous, so the order of products and sums can be exchanged so the iterated integral can be calculated as a multiple integral. Therefore,
-
(1)
-
Cauchy's evaluation formula
Because the order of products and sums is interchangeable, from (1) we get
-
(2)
-
f is class -function.
From (2), if f is holomorphic, on polydisc and , the following evaluation equation is obtained.
Therefore, Liouville's theorem hold.
Power series expansion of holomorphic functions on polydisc
If function f is holomorphic, on polydisc , from the Cauchy's integral formula, we can see that it can be uniquely expanded to the next power series.
In addition, f that satisfies the following conditions is called an analytic function.
For each point , is expressed as a power series expansion that is convergent on D :
We have already explained that holomorphic functions on polydisc are analytic. Also, from the theorem derived by Weierstrass , we can see that the analytic function on polydisc (convergent power series) is holomorphic.
- If a sequence of functions which converges uniformly on compacta inside a domain D, the limit function f of also uniformly on compacta inside a domain D. Also, respective partial derivative of also compactly converges on domain D to the corresponding derivative of f.
Radius of convergence of power series
It is possible to define a combination of positive real numbers such that the power series converges uniformly at and does not converge uniformly at .
In this way it is possible to have a similar, combination of radius of convergence[note 7] for a one complex variable. This combination is generally not unique and there are an infinite number of combinations.
Laurent series expansion
Let be holomorphic in the annulus and continuous on their circumference, then there exists the following expansion ;
The integral in the second term, of the right-hand side is performed so as to see the zero on the left in every plane, also this integrated series is uniformly convergent in the annulus , where and , and so it is possible to integrate term.[11]
Bochner–Martinelli formula (Cauchy's integral formula II)
The Cauchy integral formula holds only for polydiscs, and in the domain of several complex variables, polydiscs are only one of many domain, so we introduce the Bochner–Martinelli formula.
Suppose that f is a continuously differentiable function on the closure of a domain D on with piecewise smooth boundary , and let the symbol denotes the exterior or wedge product of differential forms. Then the Bochner–Martinelli formula states that if z is in the domain D then, for , z in the Bochner–Martinelli kernel is a differential form in of bidegree , defined by
In particular if f is holomorphic the second term vanishes, so
Identity theorem
When the function f,g is analytic in the domain D,[note 8] even for several complex variables, the identity theorem[note 9] holds on the domain D, because it has a power series expansion the neighbourhood of point of analytic. Therefore, the maximal principle hold. Also, the inverse function theorem and implicit function theorem hold. For a generalized version of the implicit function theorem to complex variables, see the Weierstrass preparation theorem
Biholomorphism
From the establishment of the inverse function theorem, the following mapping can be defined.
For the domain U, V of the n-dimensional complex space , the bijective holomorphic function and the inverse mapping is also holomorphic. At this time, is called a U, V biholomorphism also, we say that U and V are biholomorphically equivalent or that they are biholomorphic.
The Riemann mapping theorem does not hold
When , open balls and open polydiscs are not biholomorphically equivalent, that is, there is no biholomorphic mapping between the two.[13] This was proven by Poincaré in 1907 by showing that their automorphism groups have different dimensions as Lie groups.[5][14] However, even in the case of several complex variables, there are some results similar to the results of the theory of uniformization in one complex variable. [15]
Analytic continuation
Let U, V be domain on , such that and , ( is the set/ring of holomorphic functions on U.) assume that and is a connected component of . If then f is said to be connected to V, and g is said to be analytic continuation of f. From the identity theorem, if g exists, for each way of choosing w it is unique. Whether or not the definition of this analytic continuation is well-defined should be considered whether the domains U, V and W can be defined arbitrarily. When n > 2, the following phenomenon occurs depending on the shape of the boundary : there exists V, W such that arbitrary holomorphic functions over the domain U have an analytic continuation . In other words, there may be not exist function such that as the natural boundary. There is called the Hartogs's phenomenon. Therefore, researching when domain boundaries become natural boundaries has become one of the main research themes of several complex variables.
Reinhardt domain
In polydisks, the Cauchy's integral formula holds and the power series expansion of holomorphic functions is defined, but the unique radius of convergence is not defined for each variable. Also, since the Riemann mapping theorem does not hold, polydisks and open unit balls are not biholomorphic mapping, and also, polydisks was possible to separation of variables, but it doesn't always hold for any domain. Therefore, in order to study of the domain of convergence of the power series, it was necessary to make additional restriction on the domain, this was the Reinhardt domain. Early Knowledge into the properties of field of study of several complex variables, such as Logarithmically-convex, Hartogs's extension theorem, etc. , were given in the Reinhardt domain.
A domain D in the complex coordinate space , , with centre at a point , with the following property; Together with each point , the domain also contains the set
A Reinhardt domain[16] D with is invariant under the transformations , , . The Reinhardt domains constitute a subclass of the Hartogs domains [17] and a subclass of the circular domains, which are defined by the following condition; Together with all points of , the domain contains the set
i.e. all points of the circle with center and radius that lie on the complex line through and .
A Reinhardt domain D is called a complete Reinhardt domain if together with all point it also contains the polydisc
A complete Reinhardt domain D is star-like with respect to its centre a. Therefore, the complete Reinhardt domain is simply connected, also when the complete Reinhardt domain is the boundary line, there is a way to prove the Cauchy's integral theorem without using the Jordan curve theorem.
Logarithmically-convex
A Reinhardt domain D is called logarithmically convex if the image of the set
under the mapping
is a convex set in the real coordinate space .
Every such domain in is the interior of the set of points of absolute convergence (i.e. the domain of convergence) of some power series in , and conversely; The domain of convergence of every power series in is a logarithmically-convex Reinhardt domain with centre . [note 10]
Some results
Hartogs's extension theorem and Hartogs's phenomenon
When examining the domain of convergence on the Reinhardt domain, Hartogs found the Hartogs's phenomenon in which holomorphic functions in some domain on the were all connected to larger domain.[18]
- On the polydisk consisting of two disks when .
- Internal domain of
- Hartogs's extension theorem (1906);[19] Let f be a holomorphic function on a set G \ K, where G is a bounded (surrounded by a rectifiable closed Jordan curve) domain[note 11] on (n ≥ 2) and K is a compact subset of G. If the complement G \ K is connected, then every holomorphic function f regardless of how it is chosen can be each extended to a unique holomorphic function on G.[21][20]
- It is also called Osgood–Brown theorem is that for holomorphic functions of several complex variables, the singularity is a accumulation point, not an isolated point. This means that the various properties that hold for holomorphic functions of one-variable complex variables do not hold for holomorphic functions of several complex variables. The nature of these singularities is also derived from Weierstrass preparation theorem. A generalization of this theorem using the same method as Hartogs was proved in 2007.[22][23]
From Hartogs's extension theorem the domain of convergence extends from to . Looking at this from the perspective of the Reinhardt domain, is the Reinhardt domain containing the center z = 0, and the domain of convergence of has been extended to the smallest complete Reinhardt domain containing .[24]
Thullen's classic results
Thullen's[25] classical result says that a 2-dimensional bounded Reinhard domain containing the origin is biholomorphic to one of the following domains provided that the orbit of the origin by the automorphism group has positive dimension:
- (polydisc);
- (unit ball);
- (Thullen domain).
Sunada's results
Toshikazu Sunada (1978)[26] established a generalization of Thullen's result:
- Two n-dimensional bounded Reinhardt domains and are mutually biholomorphic if and only if there exists a transformation given by , being a permutation of the indices), such that .
Natural domain of the holomorphic function (domain of holomorphy)
When moving from the theory of one complex variable to the theory of several complex variables, depending on the range of the domain, it may not be possible to define a holomorphic function such that the boundary of the domain becomes a natural boundary. Considering the domain where the boundaries of the domain are natural boundaries (In the complex coordinate space call the domain of holomorphy), the first result of the domain of holomorphy was the holomorphic convexity of H. Cartan and Thullen.[27] Levi's problem shows that the pseudoconvex domain was a domain of holomorphy. (First for ,[28] later extended to .[29][30])[31] Kiyoshi Oka's[34][35] notion of idéal de domaines indéterminés is interpreted theory of sheaf cohomology by H. Cartan and more development Serre.[note 13][36][37][38][39][40][41][6] In sheaf cohomology, the domain of holomorphy has come to be interpreted as the theory of Stein manifolds.[42] The notion of the domain of holomorphy is also considered in other complex manifolds, furthermore also the complex analytic space which is its generalization.[4]
Domain of holomorphy
When a function f is holomorpic on the domain and cannot directly connect to the domain outside D, including the point of the domain boundary , the domain D is called the domain of holomorphy of f and the boundary is called the natural boundary of f. In other words, the domain of holomorphy D is the supremum of the domain where the holomorphic function f is holomorphic, and the domain D, which is holomorphic, cannot be extended any more. For several complex variables, i.e. domain , the boundaries may not be natural boundaries. Hartogs' extension theorem gives an example of a domain where boundaries are not natural boundaries.[43]
Formally, a domain D in the n-dimensional complex coordinate space is called a domain of holomorphy if there do not exist non-empty domain and , and such that for every holomorphic function f on D there exists a holomorphic function g on V with on U.
For the case, the every domain ( ) was the domain of holomorphy; we can define a holomorphic function with zeros accumulating everywhere on the boundary of the domain, which must then be a natural boundary for a domain of definition of its reciprocal.
Properties of the domain of holomorphy
- If are domains of holomorphy, then their intersection is also a domain of holomorphy.
- If is an increasing sequence of domains of holomorphy, then their union is also a domain of holomorphy (see Behnke–Stein theorem).[44]
- If and are domains of holomorphy, then is a domain of holomorphy.
- The first Cousin problem is always solvable in a domain of holomorphy, also Cartan showed that the converse of this result was incorrect for .[45] this is also true, with additional topological assumptions, for the second Cousin problem.
Holomorphically convex hull
Let be a domain , or alternatively for a more general definition, let be an dimensional complex analytic manifold. Further let stand for the set of holomorphic functions on G. For a compact set , the holomorphically convex hull of K is
One obtains a narrower concept of polynomially convex hull by taking instead to be the set of complex-valued polynomial functions on G. The polynomially convex hull contains the holomorphically convex hull.
The domain is called holomorphically convex if for every compact subset is also compact in G. Sometimes this is just abbreviated as holomorph-convex.
When , every domain is holomorphically convex since then is the union of K with the relatively compact components of .
When , if f satisfies the above holomorphic convexity on D it has the following properties. for every compact subset K in D, where denotes the distance between K and . Also, at this time, D is a domain of holomorphy. Therefore, every convex domain is domain of holomorphy.[5]
Pseudoconvexity
Hartogs showed that
Hartogs (1906):[19] Let D be a Hartogs's domain on and R be a positive function on D such that the set in defined by and is a domain of holomorphy. Then is a subharmonic function on D.[4]
If such a relations holds in the domain of holomorphy of several complex variables, it looks like a more manageable condition than a holomorphically convex.[note 14] The subharmonic function looks like a kind of convex function, so it was named by Levi as a pseudoconvex domain (Hartogs's pseudoconvexity). Pseudoconvex domain are important, as they allow for classification of domains of holomorphy.[46]
Definition of plurisubharmonic function
- A function
- with domain
is called plurisubharmonic if it is upper semi-continuous, and for every complex line
- with
- the function is a subharmonic function on the set
- In full generality, the notion can be defined on an arbitrary complex manifold or even a Complex analytic space as follows. An upper semi-continuous function
- is said to be plurisubharmonic if and only if for any holomorphic map
the function
is subharmonic, where denotes the unit disk.
In one-complex variable, necessary and sufficient condition that the real-valued function , that can be second-order differentiable with respect to z of one-variable complex function is subharmonic is . There fore, if is of class , then is plurisubharmonic if and only if the hermitian matrix is positive semidefinite.
Equivalently, a -function u is plurisubharmonic if and only if is a positive (1,1)-form.[47]: 39–40
Strictly plurisubharmonic function
When the hermitian matrix of u is positive-definite and class , we call u a strict plurisubharmonic function.
(Weakly) pseudoconvex (p-pseudoconvex)
Weak pseudoconvex is defined as : Let be a domain. One says that X is pseudoconvex if there exists a continuous plurisubharmonic function on X such that the set is a relatively compact subset of X for all real numbers x. [note 15] i.e. there exists a smooth plurisubharmonic exhaustion function . Often, the definition of pseudoconvex is used here and is written as; Let X be a complex n-dimensional manifold. Then is said to be weeak pseudoconvex there exists a smooth plurisubharmonic exhaustion function .[47]: 49
Strongly (Strictly) pseudoconvex
Let X be a complex n-dimensional manifold. Strongly pseudoconvex if there exists a smooth strictly plurisubharmonic exhaustion function ,i.e., is positive definite at every point. The strongly pseudoconvex domain is the pseudoconvex domain.[47]: 49 The strong Levi pseudoconvex domain is simply called strong pseudoconvex and is often called strictly pseudoconvex to make it clear that it has a strictly plurisubharmonic exhaustion function in relation to the fact that it may not have a strictly plurisubharmonic exhaustion function.[48]
(Weakly) Levi(–Krzoska) pseudoconvexity
If boundary , it can be shown that D has a defining function; i.e., that there exists which is so that , and . Now, D is pseudoconvex iff for every and in the complex tangent space at p, that is,
- , we have
- [5]
For arbitrary complex manifold, Levi (–Krzoska) pseudoconvexity does not always have an plurisubharmonic exhaustion function, i.e. it does not necessarily have a (p-)pseudoconvex domain.[48]
If D does not have a boundary, the following approximation result can be useful.
Proposition 1 If D is pseudoconvex, then there exist bounded, strongly Levi pseudoconvex domains with class -boundary which are relatively compact in D, such that
This is because once we have a as in the definition we can actually find a exhaustion function.
Strongly Levi (–Krzoska) pseudoconvex (Strongly pseudoconvex)
When the Levi (–Krzoska) form is positive-definite, it is called strongly Levi (–Krzoska) pseudoconvex or often called simply strongly pseudoconvex.[5]
Levi total pseudoconvex
If for every boundary point of D, there exists an analytic variety passing which lies entirely outside D in some neighborhood around , except the point itself. Domain D that satisfies these conditions is called Levi total pseudoconvex.[49]
Oka pseudoconvex
Family of Oka's disk
Let n-functions be continuous on , holomorphic in when the parameter t is fixed in [0, 1], and assume that are not all zero at any point on . Then the set is called an analytic disc de-pending on a parameter t, and is called its shell. If and , Q(t) is called Family of Oka's disk.[49][50]
Definition
When holds on any family of Oka's disk, D is called Oka pseudoconvex.[49] Oka's proof of Levi's problem was that when the unramified Riemann domain over [51] was a domain of holomorphy (holomorphically convex), it was proved that it was necessary and sufficient that each boundary point of the domain of holomorphy is an Oka pseudoconvex.[29]