Two extension theorems of Hartogs-Chirka type involving continuous multifunctions (Q654933)

For a continuous mapping \(a=(a_0,\dots,a_{k-1}):\overline{\mathbb D}\longrightarrow\mathbb C^k\) define \[ \Sigma_a:=\bigg\{(z,w)\in\overline{\mathbb D}\times\mathbb C: w^k+\sum_{j=0}^{k-1}a_j(z)w^j=0\bigg\}. \] The author proves the following two extension theorems. -- Assume that \(\Sigma_a\subset\overline{\mathbb D}\times\mathbb D\). For \(0<r\leq1\) let \(A_\nu^j(r)\) stand for the \(\nu\)-th Fourier coefficient of the function \(\mathbb R\ni t\longmapsto a_j(re^{it})\). Assume that \(A_\nu^j(r)=0\) for all \(\nu<0\) and \(j=0,\dots,k-1\). Let \(\varOmega\) be a connected neighborhood of \(S:=\Sigma_a\cup(\partial\mathbb D\times\overline{\mathbb D})\) such that \(\varOmega\cap\mathbb D^2\) is connected. Then for every \(f\in\mathcal O(\varOmega)\) there exists an \(F\in\mathcal O(\mathbb D^2)\) such that \(F|_{\varOmega\cap\mathbb D^2}\equiv f|_{\varOmega\cap\mathbb D^2}\). -- Let \(\psi_j\in\mathcal O(\mathbb D^2)\) be such that \[ \sup\big\{|\psi_j(\zeta,s\overline\zeta)|: \zeta\in\mathbb D,\;s\in[0,1]\big\}<1 \] and the function \(\mathbb D\ni z\longrightarrow\psi_j(z,\overline z)\) extends continuously to \(\overline{\mathbb D}\). Put \(a_j(z):=\psi_j(z,\overline z)\), \(z\in\overline{\mathbb D}\), \(j=0,\dots,k-1\), and assume that \(\Sigma_a\subset\overline{\mathbb D}\times(2\mathbb D)\). Let \(\varOmega\) be a connected neighborhood of \(S:=\Sigma_a\cup\big(\partial\mathbb D\times(2\overline{\mathbb D})\big)\) such that \(\varOmega\cap\big(\mathbb D\times(2\mathbb D)\big)\) is connected. Then for every \(f\in\mathcal O(\varOmega)\) there exists an \(F\in\mathcal O\big(\mathbb D\times(2\mathbb D)\big)\) such that \(F|_{\varOmega\cap(\mathbb D\times(2\mathbb D))}\equiv f|_{\varOmega\cap(\mathbb D\times(2\mathbb D))}\).