Bochner-Martinelli representation formula
Bochner–Martinelli representation, Bochner–Martinelli formula
An integral representation for holomorphic functions, which is defined as follows [1], [2]. Let the function be holomorphic in a domain
with piecewise-smooth boundary
, and let
be continuous in its closure
. Then the expression
![]() | (1) |
![]() |
![]() |
here means that the term
is to be omitted, is called the Bochner–Martinelli representation. For
this representation is identical with the Cauchy integral formula (cf. Cauchy integral), but for
its kernel is not holomorphic in
, which is the reason for the limited applicability of the Bochner–Martinelli representation in the theory of functions of several complex variables. The kernel of the Bochner–Martinelli representation is the
-differential form of bidegree
:
![]() |
![]() |
which is defined in , has a singular point at
, and is
-closed (i.e.
) outside the singular point. If
, the form
is equal to
, where
![]() |
is a form of bidegree , the coefficient of which is a fundamental solution of the Laplace equation; here
![]() |
The following integral representation, which generalizes formula (1), is the analogue of the Cauchy–Green formula (cf. Cauchy integral): If the function is continuously differentiable in the closure of a domain
with piecewise-smooth boundary
, then, for any point
,
![]() | (2) |
The function
![]() |
where is a smooth hypersurface in
and
is a function on
which is Lebesgue-integrable, is said to be an integral of Bochner–Martinelli type. As for Cauchy-type integrals, Sokhotskii's formula, with the usual restrictions on
and
, is applicable to Bochner–Martinelli-type integrals. A Bochner–Martinelli-type integral is a complex function which is harmonic everywhere outside
; in the general case this function is holomorphic only for
. If
, then if
, the condition
outside
is equivalent to the holomorphy of
in
.
The Bochner–Martinelli representation is employed to demonstrate other integral representations (e.g. the Bergman–Weil representation), in holomorphic continuation from the boundary, and also in the theory of boundary values of holomorphic functions of several complex variables. It was introduced by S. Bochner [1] and by E. Martinelli [2].
References
[1] | S. Bochner, "Analytic and meromorphic continuation by means of Green's formula" Ann. of Math. (2) , 44 : 4 (1943) pp. 652–673 |
[2] | E. Martinelli, Rend. Accad. Ital. , 9 (1938) pp. 269–283 |
[3] | V.S. Vladimirov, "Methods of the theory of functions of several complex variables" , M.I.T. (1966) (Translated from Russian) |
Comments
Sokhotskii's formula is also known as Plemelj's formula. The Cauchy–Green formula is also known as the Cauchy–Pompeiu formula.
The Bochner–Martinelli kernel is a special case of a Cauchy–Fantappié kernel. The integral representation (2) solves the -equation:
![]() |
for compactly-supported -forms
, by substituting
for
in the right-hand side of (2) and omitting the integral over the boundary. When
is not compactly supported, the boundary integral causes difficulties. These can be solved for strictly pseudo-convex domains and the Bochner–Martinelli kernel then occurs in an explicit solution operator for the
-equation.
References
[a1] | S.G. Krantz, "Function theory of several complex variables" , Wiley (1982) |
[a2] | G.M. [G.M. Khenkin] Henkin, J. Leiterer, "Theory of functions on complex manifolds" , Birkhäuser (1984) |
[a3] | R.M. Range, "Holomorphic functions and integral representation in several complex variables" , Springer (1986) pp. Chapt. 1, Sect. 3 |
Bochner-Martinelli representation formula. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Bochner-Martinelli_representation_formula&oldid=17118