Non-extendable zero sets of harmonic and holomorphic functions (Q2810708)

Let \(\Omega \) be a proper subdomain of \(\mathbb{R}^{N}\), \(N\geq 2\), and \(H(\Omega )\) be the space of harmonic functions on \(\Omega \) endowed with the topology of local uniform convergence. A function \(u\) in \(H(\Omega )\) is said to belong to \(N(\Omega )\) if, whenever \(v\) is real analytic on some ball \(B\) centred at a point of \(\partial \Omega \) and \(v=0\) on \(\{u=0\}\cap U \) for some component \(U\) of \(B\cap \Omega \), it follows that \(v\equiv 0\). The author shows that \(N(\Omega )\) is a dense \(G_{\delta }\) subset of \(H(\Omega )\). An analogous result is also established for holomorphic functions on domains of holomorphy in \(\mathbb{C}^{N}\).