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

Berraho, M.
Vladikavkaz Mathematical Journal 2021. Vol. 23. Issue 4.

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,<)\), is this function 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})\) where \(\alpha_1,\ldots,\alpha_p\) are irrational real numbers.

Keywords: o-minimal structures, pluriharmonic function, Weierstrass division theorem

+ References

The sole copyright holder of the published work is the Founder of the Vladikavkaz Mathematical Journal. The terms of use of this work are governed by an open license (Creative Commons Attribution-NonCommercial 4.0 International). The use of metadata of the scientific article, including the title, abstract, author information, references, identifiers, and other bibliographic description elements for subsequent unrestricted use, is carried out under the terms of the CC BY or CC0 open licenses.