Pluriharmonic Definable Functions in Some O-Minimal Expansions of the Real Field

Abstract

In this paper, we first try to solve the following problem: If a pluriharmonic function $f$ is definable in an arbitrary o-minimal expansion of the structure of the real field $\overline{\mathbb{R}}:=(\mathbb{R},+,-,.,0,1,<)$, does this function be locally the real part of a holomorphic function which is definable in the same expansion? In Proposition 2.1 below, we prove that this problem has a positive answer if the Weierstrass division theorem holds true for the system of the rings of real analytic definable germs at the origin of $\mathbb{R}^n$. We obtain the same answer for an o-minimal expansion of the real field which is pfaffian closed (Proposition 2.6) for the harmonic functions. In the last section, we are going to show that the Weierstrass division theorem does not hold true for the rings of germs of real analytic functions at $0\in\mathbb{R}^n$ which are definable in the o-minimal structure $(\overline{\mathbb{R}}, x^{\alpha_1},\ldots,x^{\alpha_p})$, here $\alpha_1,\ldots,\alpha_p$ are irrational real numbers.