Let U⊆CdU\subseteq\mathbb C^d be open. A real-valued function uu on UU is pluriharmonic if its restriction to every affine complex line is on each component of the intersection with UU.

Differential characterization

For u∈C2(U)u\in C^2(U), pluriharmonicity is equivalent to the vanishing of the entire :

∂2u∂zj∂zˉk=0(1≤j,k≤d).\frac{\partial^2u}{\partial z_j\partial\bar z_k}=0 \qquad (1\le j,k\le d).

Thus both uu and −u-u are . In particular, every pluriharmonic function is harmonic, but the converse fails in complex dimension greater than one.

Local holomorphic representation

Locally, a pluriharmonic function is the real part of a : near every point there is a holomorphic FF with u=Re⁡Fu=\operatorname{Re}F. On a non-simply-connected domain these local conjugates can have nontrivial periods, so a single global FF need not exist.

References
  1. Lars Hörmander, An Introduction to Complex Analysis in Several Variables, 3rd ed., North-Holland, 1990. Relevant: Chapter 2, plurisubharmonic and pluriharmonic functions.
  2. Marek Klimek, Pluripotential Theory, Oxford University Press, 1991. Publisher record.