No label defined (Q4355091)

Let \(D\) be a domain in \(\mathbb{C}^p=\mathbb{R}^{2p}\). A function \(f:D\to\mathbb{C}\) is said to be polyanalytic if \(f\in C^\infty(D)\) and there exists a multi-index \(n=(n_1,\dots,n_p)\) such that \[ \left({\partial\over\partial\overline z_i}\right)^{n_i}f=0\quad\text{for }i=1,\dots,p. \] If each \(n_i\) is minimal, then we say that \(f\) is polyanalytic of order \(n\). In this paper, the author makes the following definition. A function \(f:D\to\mathbb{C}\) is pluriharmonic of order \(n=(n_1,\dots,n_p)\) if \(f\in C^\infty(D)\) and verifies \[ \left({\partial\over\partial z_i}\right)^{n_i}\left({\partial\over\partial\overline z_j}\right)^{n_j}f=0\quad\text{for all }i,j=1,\dots,p, \] and the multi-index \(n\) is minimal with this property. The main theorem asserts that a real-valued function \(u:D\to\mathbb{R}\) defined on a simply connected domain \(D\) is pluriharmonic of order \(n\) if and only if it is the real part of a function which is polyanalytic of order \(n\).