Uniqueness properties of Hardy space functions (Q1742940)

Let \(\Omega_1,\) \( \Omega_2\) be bounded domains in \(\mathbb C\) with \(C^2\) boundary. Let \(\Phi: \Omega_1\to \Omega_2\) be a conformal mapping. Theorem 1. Then the boundary mappings \(\widetilde{\Phi}\) and \(\widetilde{\Phi^{-1}}\) are inverse to each other. Now let \(\Omega_1\), \( \Omega_2\) be bounded domains in \(\mathbb C^n\) with \(C^2\) boundary. Let \(\Phi: \Omega_1\to \Omega_2\) be a holomorphic mapping. Let \(\sigma_j\) be the usual area measure on \(\partial\Omega_j\), \(j = 1, 2\). Then there is a \(\sigma_1\)-almost everywhere defined boundary mapping \(\widetilde{\Phi} : \partial\Omega_1\to \partial\Omega_2\) and there is a \(\sigma_2\)-almost everywhere defined boundary mapping \(\widetilde{\Phi^{-1}}: \partial\Omega_2\to \partial\Omega_1.\) The mapping \(\Phi\) converges to \(\widetilde{\Phi}\) both nontangentially and admissibly. Likewise for the mappings \(\Phi^{-1}\) and \(\widetilde{\Phi^{-1}}.\) Theorem 2. The mapping \(\widetilde{\Phi}\) and the mapping \(\widetilde{\Phi^{-1}}\) are each one-to-one (almost everywhere) and onto (almost everywhere). Assume that \(\Phi\) is biholomorphic. Then \(\Phi\) has boundary trace \(\widetilde{\Phi}\) and \(\Phi^{-1}\) has boundary trace \(\widetilde{\Phi^{-1}}\). The main results of the paper are the following. Theorem 3. Let \(E \subseteq \partial \Omega_1\) have \(\sigma_1\) measure \(0\) and \(F \subseteq \partial \Omega_1\) have positive \(\sigma_1\) measure. Then \(\widetilde{\Phi}(E)\) has \(\sigma_2\) measure \(0\) and \(\widetilde{\Phi}(F)\) has positive \(\sigma_2\) measure. Theorem 4. Let \(f\) be a Hardy space function on the smoothly bounded domain \(\Omega \subseteq \mathbb C^n\) and suppose that the boundary trace function \(\widetilde{f}\) vanishes on a set \(E \subseteq \partial \Omega\) of positive \(\sigma\) measure. Then \(f \equiv 0\) on \(\Omega\).