Open sets of harmonicity for separately harmonic functions (Q1591346)

Let \(E\subset D\subset \mathbb{R}^N\) and \(F\subset G\subset \mathbb{R}^M\), where \(D\), \(G\) are connected open sets and \(E\), \(F\) are compact sets, and let \(X\) denote the union of \(D\times F\) and \(E\times G\). Further, let \(f:X\to \mathbb{R}\) be such that, for each \(x\in E\) the function \(f(x,\cdot)\) is harmonic on \(G\), and for each \(y\in F\) the function \(f(\cdot,y)\) is harmonic on \(D\). By imposing a restriction on the compact sets \(E\) and \(F\) (formulated in terms of bounds on families of harmonic polynomials), the author is able to deduce that \(f\) extends to a function harmonic on a specified open set in \(\mathbb{R}^{N+M}\). This result was inspired by work of \textit{J. Siciak} [Ann. Pol. Math. 22, 145-171 (1969; Zbl 0185.15202)] and \textit{V. P. Zahariuta} (Zakharyuta) [Mat. Sb. 101(143), 57-67 (1976; Zbl 0357.32002)] on separately holomorphic functions.