Bochner-Martinelli representation formula
Bochner–Martinelli representation, Bochner–Martinelli formula
An integral representation for holomorphic functions, which is defined as follows , . Let the function be holomorphic in a domain with piecewise-smooth boundary , and let be continuous in its closure . Then the expression
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 ,
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  and by E. Martinelli .
|||S. Bochner, "Analytic and meromorphic continuation by means of Green's formula" Ann. of Math. (2) , 44 : 4 (1943) pp. 652–673|
|||E. Martinelli, Rend. Accad. Ital. , 9 (1938) pp. 269–283|
|||V.S. Vladimirov, "Methods of the theory of functions of several complex variables" , M.I.T. (1966) (Translated from Russian)|
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.
|[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://www.encyclopediaofmath.org/index.php?title=Bochner%E2%80%93Martinelli_representation_formula&oldid=22146