Smoothness of a holomorphic function in a ball and of its modulus on the sphere (Q1709820)

Let \(B^n\) be the unit ball in \(\mathbb C^n,\) \(n\geq 2.\) Denote by \(H^\alpha(S^n)\) and \(H^\alpha(\overline{B}^n),\) \(0 < \alpha\leq 1,\) where \(S^n = \partial B^n,\) the spaces of functions \(\varphi\) defined on \(S^n\) and \(B^n,\) respectively, such that \[ |\varphi(z)-\varphi(\zeta)|\leq C_\varphi ||z-\zeta||^\alpha, \quad z,\zeta\in S^n \text{ and } z,\zeta\in \overline{B}^n,\text{ respectively}, \] with the seminorms \[ ||\varphi||_{\alpha,S^n} \overset{\mathrm{def}}{=}\sup_{z,\zeta\in S^n, z\neq\zeta}\frac{|\varphi(z)-\varphi(\zeta)|}{||z-\zeta||^\alpha}\quad \text{and}\quad ||\varphi||_{\alpha,\overline{B}^n}\overset{\mathrm{def}}{=}\sup_{z,\zeta\in \overline{B}^n, z\neq\zeta}\frac{|\varphi(z)-\varphi(\zeta)|}{||z-\zeta||^\alpha}. \] The author proves the following theorem. Theorem 1. Assume that a function \(f\) is holomorphic in the ball \(B^n,\) \(n\geq 2,\) and continuous in the closed ball \(\overline{B}^n.\) Assume, in addition, that \(f(z) \neq 0,\) \(z \in B^n,\) and \(|f| \in H^\alpha(S^n),\) \(0 < \alpha \leq 1.\) Then \(f \in H^\frac{\alpha}{2}(\overline{B}^n).\) The author also proves an analogue of Theorem 1 for domains of a more general form. Let \(\Omega\) be a bounded convex domain in \( \mathbb C^n\), \(n\geq 2\), with boundary of class \(C^2\). Denote by \(H^\alpha(\partial\Omega)\) the set of functions \(\varphi\) defined on \(\partial\Omega\) such that \[ |\varphi(z)-\varphi(\zeta)|\leq C_\varphi ||z-\zeta||^\alpha, \quad z,\zeta\in \partial\Omega, \quad 0 < \alpha \leq 1, \] and let \(H^\alpha(\overline{\Omega})\) be the set of functions \(\varphi\) defined on \(\overline{\Omega}\) such that \[ |\varphi(z)-\varphi(\zeta)|\leq C_\varphi ||z-\zeta||^\beta, \quad z,\zeta\in \partial\Omega,\quad 0 < \beta \leq 1. \] Theorem 2. Let \(\Omega\) satisfy the conditions above. Consider a function \(f\) that is holomorphic in \(\Omega\) and continuous in \(\overline{\Omega}\), and let \(f(z) \neq 0\), \(z \in \Omega\). If \(|f| \in H^\alpha(\partial\Omega)\), then \(f \in H^\frac{\alpha}{2}(\overline{\Omega}).\)