In mathematics, precisely in the theory of functions of several complex variables, a pluriharmonic function is a real valued function which is locally the real part of a holomorphic function of several complex variables. Sometimes such a function is referred to as n-harmonic function, where n ≥ 2 is the dimension of the complex domain where the function is defined.[1] However, in modern expositions of the theory of functions of several complex variables[2] it is preferred to give an equivalent formulation of the concept, by defining pluriharmonic function a complex valued function whose restriction to every complex line is a harmonic function with respect to the real and imaginary part of the complex line parameter.

Formal definition

Definition 1. Let GCn be a complex domain and f : GR be a C2 (twice continuously differentiable) function. The function f is called pluriharmonic if, for every complex line

formed by using every couple of complex tuples a, bCn, the function

is a harmonic function on the set


Definition 2. Let M be a complex manifold and f : MR be a C2 function. The function f is called pluriharmonic if

Basic properties

Every pluriharmonic function is a harmonic function, but not the other way around. Further, it can be shown that for holomorphic functions of several complex variables the real (and the imaginary) parts are locally pluriharmonic functions. However a function being harmonic in each variable separately does not imply that it is pluriharmonic.

See also

Notes

  1. ^ See for example (Severi 1958, p. 196) and (Rizza 1955, p. 202). Poincaré (1899, pp. 111–112) calls such functions "fonctions biharmoniques", irrespective of the dimension n ≥ 2 : his paper is perhaps[citation needed] the older one in which the pluriharmonic operator is expressed using the first order partial differential operators now called Wirtinger derivatives.
  2. ^ See for example the popular textbook by Krantz (1992, p. 92) and the advanced (even if a little outdated) monograph by Gunning & Rossi (1965, p. 271).

Historical references

References

This article incorporates material from pluriharmonic function on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.