Dirichlet problem for pluriharmonic functions of several complex variables (Q4242987)

The author proves the following two facts, concerning the existence of pluriharmonic real functions on a domain \(D\), with given data on the boundary \(\partial D\). 1) If \(\partial D\) is of class \(C^{1+\alpha}\) \((\alpha>0)\) and if \(u\) is a real function in \(C^{1+\alpha}(\partial D)\), satisfying the condition \(\int_{\partial D}u\overline\partial_n H d\sigma= 0\), for every harmonic function \(H\) in \(C^1(\overline D)\), such that \(\overline\partial_nH\) is real on \(\partial D\), then the harmonic extension of \(u\) is pluriharmonic (\(\overline\partial_n\) is the normal component of \(\overline\partial\)). 2) If \(D\) is smooth, bounded, strictly pseudo-convex domain and if \(u\in C^0(\partial D)\) satisfies the above boundary condition, then \(\widetilde u\) is a solution, i.e. \(\widetilde u\) is pluriharmonic (\(\widetilde u\) is the harmonic extension of \(u\)). Of course, more detailed results are given.