A function of complex variables in a domain of the complex space , , that has continuous derivatives with respect to the coordinates , , , in up to the second order inclusive and that satisfies the following system of equations in :
One uses the formal derivatives
to write (1) in the more compact form:
The significance of the class of pluriharmonic functions is determined by the fact that the real and imaginary parts and of any holomorphic function in are pluriharmonic functions in ; two such real-valued pluriharmonic functions are called conjugate. Conversely, if one is given a pluriharmonic function in a simply-connected neighbourhood of a point , then there exists a holomorphic function in with real part equal to . The task of determining this holomorphic function amounts to finding the conjugate pluriharmonic function from the formula
where the integral is independent of the path by virtue of (1).
In general, one may also consider complex-valued pluriharmonic functions, which are defined as solutions to (1) or (2). For , the pluriharmonic functions constitute a proper subclass of the class of multiharmonic functions (cf. Multiharmonic function), which in turn is a proper subclass of the class of harmonic functions (cf. Harmonic function); all three classes coincide for . On the other hand, the real-valued pluriharmonic functions constitute a proper subclass of the class of plurisubharmonic functions (cf. Plurisubharmonic function) for , which in turn for is a proper subclass of the class of subharmonic functions (cf. Subharmonic function).
Pluriharmonic functions for have not only the general properties of harmonic functions, but also characteristic ones due, in general, to the fact that (1), or (2), is an overdetermined system in that case. Suppose, for example, that the pluriharmonic function in the unit polydisc
is continuous in the closed polydisc , . Then even its boundary values on the skeleton , this being a proper part of the entire boundary , cannot be specified as an arbitrary continuous function , ; they must satisfy certain additional conditions. Therefore, within the class of pluriharmonic functions the Dirichlet problem with data on the skeleton is solvable only for special choices of the boundary data .
|||B.V. Shabat, "Introduction of complex analysis" , 2 , Moscow (1976) (In Russian)|
|||E.D. Solomentsev, "Harmonic and subharmonic functions and their generalizations" Itogi Nauk. Mat. Anal. Teor. Veroyatnost. Regulirovanie (1964) pp. 83–100 (In Russian)|
|||W. Rudin, "Function theory in polydiscs" , Benjamin (1969)|
The Dirichlet problem for pluriharmonic functions with data on the unit sphere in is, of course, also solvable for special data only. The boundary data have to satisfy a certain system of third-order (!) partial differential equations, comparable to the tangential Cauchy–Riemann equations, see [a1], Chapt. 18.
Pluriharmonic functions often serve as a replacement for harmonic functions in the setting of several complex variables. One example is an analogue of classical Hardy spaces (cf. Hardy classes) on the unit disc . Lumer's Hardy space on consists of those holomorphic functions such that for some plurisubharmonic function on .
|[a1]||W. Rudin, "Function theory in the unit ball in " , Springer (1980)|
Pluriharmonic function. E.D. Solomentsev (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Pluriharmonic_function&oldid=16481