Integral representations in multi-dimensional complex analysis
The representation of a holomorphic function in terms of its boundary values by means of integral formulas is one of the most important tools in classical complex analysis (cf. also Boundary value problems of analytic function theory; Analytic continuation into a domain of a function given on part of the boundary). In the case of one complex variable, the familiar Cauchy integral formula plays a dominant and unique role in the theory of functions. In contrast, in higher dimensions there are numerous generalizations which have been discovered gradually over a period of many decades, each having its special properties and applications. Moreover, these integral formulas typically depend on the domain under consideration, and they intimately reflect complex-analytic/geometric properties of the boundaries of such domains.
The simplest and oldest such formula involves iteration of the one-variable formula on product domains. For example, on a poly-disc in
(the product of
discs), one obtains
![]() |
for a continuous function which is holomorphic in each variable separately (and thus, in particular, for
holomorphic). Here, integration is over the distinguished boundary
, the product of
circles and thus a strictly smaller subset of the topological boundary
when
. As in dimension one, this formula implies the standard local properties of holomorphic functions, for example, the local power series representation. Under suitable hypothesis, an analogous formula (the Bergman–Weil integral formula, cf. also Bergman–Weil representation) holds on analytic polyhedra i.e., regions
described by
for some holomorphic functions
in a neighbourhood of
. This formula explicitly involves the functions
, and integration is over the corresponding distinguished boundary of
as above. An important feature of the Bergman–Weil formula is the holomorphic dependence of the integrand on the free variable
, as is obvious in the poly-disc formula above.
In contrast, the Bochner–Martinelli integral formula (cf. also Bochner–Martinelli representation formula)
![]() |
![]() |
![]() |
which is valid for holomorphic functions on arbitrary regions, involves integration over the full topological boundary (assumed differentiable here), but the integrand is no longer holomorphic in
, except for
; here,
means that one has to "leave out dzj" , so that a bidegree-
-form is integrated. This formula is an easy consequence of the Green formulas in potential theory: the kernel
above is equal to
, where
is the Hodge operator (cf. Laplace operator) and
is the Newton potential on
(
). As in dimension one, there is a more general representation formula valid for
-functions:
![]() |
![]() |
In applications involving the construction of global holomorphic functions satisfying special properties, and in order to solve explicitly the inhomogeneous Cauchy–Riemann equation (cf. also Cauchy–Riemann equations) for a given
-closed
-form
(i.e., for solving the system
,
), it is important to replace the Bochner–Martinelli kernel
by kernels which are holomorphic in
. The existence of such kernels can be proved abstractly by functional-analytic methods (for example, the Szegö kernel, or the kernel of A.M. Gleason [a8]), but in applications one needs much more explicit information. A concrete general method to construct a class of integral representation formulas for holomorphic functions, the so-called Cauchy–Fantappiè integral formulas, was introduced in 1956 by J. Leray [a4] (cf. also Leray formula). (See [a6] for the origins of the terminology.) Together with its generalizations to differential forms (see below), this method has had numerous important applications. The ingredient for this construction is a so-called Leray mapping (or Leray section) for
, that is, a (differentiable) mapping
with the property that
on
. To any such
, Leray associates the following explicit
-form in
:
![]() |
![]() |
and he obtains the representation for holomorphic
. Notice that for
,
is independent of
and equals the Cauchy kernel, while for
one has many different possibilities. For example,
gives the Bochner–Martinelli kernel. Another important case arises for Euclidean-convex domains
with
boundary. If
is described as
, where
and
on
, convexity implies that
![]() |
for ,
, so
defines a Leray mapping that is holomorphic in
. The associated kernel
is then also holomorphic in
. Its pullback
to the boundary
, which only depends on the geometry of
and not on the particular function
chosen to describe
, is known as the Cauchy–Leray kernel for the (convex) domain
.
To construct Leray mappings which are holomorphic in
for more general domains
, is much more complicated. Such domains must necessarily be domains of holomorphy, and hence pseudo-convex, since
is a holomorphic function on
which is singular at
(cf. also Domain of holomorphy; Pseudo-convex and pseudo-concave). The most complete results are known for strictly pseudo-convex domains. Locally near each boundary point, such a domain is biholomorphically equivalent to a (strictly) convex domain. Thus, a local holomorphic Leray mapping is easily obtained from the convex case by applying an appropriate change of coordinates. The major obstacle then involves passing from local to global. This was achieved in 1968–1969 by G.M. Khenkin (also spelled G.M. Henkin) [a1] and, independently, by E. Ramirez [a5], by using deep global results in multi-dimensional complex analysis. The corresponding kernel is known as the Khenkin–Ramirez kernel (also written as Henkin–Ramirez kernel). Shortly thereafter, Khenkin and, independently, H. Grauert and I. Lieb used the new kernels to construct quite explicit integral operators to solve the
-equation with supremum-norm estimates on strictly pseudo-convex domains (cf. also Neumann
-problem).
These methods generalize to yield integral representation formulas for differential forms. In 1967, W. Koppelman [a3] introduced (double) differential forms ,
, of type
in
and type
in
, with
, and proved a representation for
-forms on a domain
with piecewise-differentiable boundary, as follows:
![]() |
Koppelman also introduced the analogous forms of Cauchy–Fantappiè type in dependence of a given Leray mapping
, and proved corresponding integral representation formulas. By applying the Leray mapping of Khenkin and Ramirez, these methods lead to integral solution operators for
on forms of arbitrary degree.
Standard reference texts for these topics are [a2] and [a7].
The rather explicit form of these integral operators on strictly pseudo-convex domains makes it possible to study refined regularity properties and estimates for solutions of the -problem in many classical and newer function spaces. In particular, the non-isotropic nature of the singularities of the kernels has led to new classes of singular integral operators which have been thoroughly investigated by E.M. Stein and his collaborators (see, for example, [a9] and Singular integral).
Another fundamental integral representation formula involves the non-explicit Bergman kernel function, which is defined abstractly in the context of Hilbert spaces of square-integrable holomorphic functions on a region . In particular, the Bergman kernel is used to define the Bergman metric (i.e., the Poincaré metric on the unit disc, cf. also Poincaré model). Biholomorphic mappings between two domains are isometries in the respective Bergman metrics. This leads to important applications of the Bergman kernel to the study of such mappings. On strictly pseudo-convex domains, the principal part of the Bergman kernel can be expressed explicitly by kernels closely related to the Khenkin–Ramirez kernel (see [a7]).
On more general weakly pseudo-convex domains no comparable precise results are known, except under additional quite restrictive assumptions. One major difficulty is the fact that such domains in general are not locally biholomorphic to a convex domain. Furthermore, the local complex-analytic geometry is considerably more complicated, and not yet fully understood. Much research work is continuing in this area.
References
[a1] | G.M. Henkin, "Integral representations of functions holomorphic in strictly pseudoconvex domains and some applications" Math. USSR Sb. , 7 (1969) pp. 597–616 Mat. Sb. , 78 (1969) pp. 611–632 |
[a2] | G.M. Henkin, J. Leiterer, "Theory of functions on complex manifolds" , Birkhäuser (1984) MR0795028 MR0774049 |
[a3] | W. Koppelman, "The Cauchy integral for differential forms" Bull. Amer. Math. Soc. , 73 (1967) pp. 554–556 MR0216027 Zbl 0186.13803 |
[a4] | J. Leray, "Le calcul différentiel et intégral sur une variété analytique complexe: Problème de Cauchy III" Bull. Soc. Math. France , 87 (1959) pp. 81–180 MR0125984 Zbl 0199.41203 |
[a5] | E. Ramirez, "Ein Divisionsproblem und Randintegraldarstellungen in der komplexen Analysis" Math. Ann. , 184 (1970) pp. 172–187 Zbl 0189.09702 |
[a6] | R.M. Range, "Cauchy–Fantappié formulas in multidimensional complex analysis" , Geometry and Complex Variables, Univ. Bologna 1989 , M. Dekker (1991) pp. 307–321 MR1151651 Zbl 0742.46026 |
[a7] | R.M. Range, "Holomorphic functions and integral representations in several complex variables" , Springer (1986) MR0847923 Zbl 0591.32002 |
[a8] | A. Gleason, "The abstract theorem of Cauchy–Weil" Pac. J. Math. , 12 (1962) pp. 511–525 MR0147672 Zbl 0117.09302 |
[a9] | E.M. Stein, "Hilbert Integrals, singular integrals, and Radon transforms II" Invent. Math. , 86 (1986) pp. 75–113 MR0857680 MR0853446 Zbl 0656.42009 |
Integral representations in multi-dimensional complex analysis. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Integral_representations_in_multi-dimensional_complex_analysis&oldid=31193