Holomorphic extension of functions along finite families of complex straight lines in an \(n\)-circular domain (Q345253)

Let \(D\) be a bounded domain with smooth boundary in \(\mathbb C^n\). Consider the complex straight lines of the form \(l_{z,b} = \{\zeta \in\mathbb C^n : \zeta = z + bt, t\in \mathbb C\} \), where \(z \in\mathbb C^n\) and \(b \in \mathbb C\mathbb P^{n-1}.\) We say that \(f\in {\mathcal C} (\partial D)\) admits one-dimensional holomorphic extension along the straight line \(l_{z,b}\) if \(\partial D \cap l_{z,b}\not=\emptyset\) and there is a function \(F_{z,b}\) with the properties: (1) \(F_{z,b}\in { \mathcal C} ( \overline{D} \cap l_{z,b})\), (2) \(F_{z,b}=f \text{ on } l_{z,b}\), (3) \(F_{z,b} \) is holomorphic at the interior points (in the topology of \(l_{z,b}\) ) of \( \overline{D} \cap l_{z,b}\). Let \(\Gamma\) be a set in \(\mathbb C^n\). Denote by \(\mathfrak L_\Gamma\) the family of all complex straight lines \(l_{z,b}\) such that \(z \in \Gamma\) and \(b \in \mathbb CP^{n-1}\), i.e., this is the set of all complex straight lines passing through a point in \(\Gamma\). We say that \(f\in {\mathcal C} (\partial D)\) admits a one-dimensional holomorphic extension along the family \(\mathfrak L_\Gamma\) if \(f\) admits a one-dimensional holomorphic extension along every complex straight line \( l_{z,b} \in \mathfrak L_\Gamma\). Refer to \(\mathfrak L_\Gamma\) as a set sufficient for holomorphic extension if the fact that \(f\in {\mathcal C} (\partial D)\) admits a one-dimensional holomorphic extension along all complex straight lines in \(\mathfrak L_\Gamma\) implies that \(f\) extends holomorphically to \(D\) (i.e., \(f\) is a CR-function on \(\partial D\)). The main results of this article are as follows. Theorem A. Suppose that \(n = 2\) and \(D\) is a bounded strictly convex bicircular domain with twice smooth boundary, \(f\in {\mathcal C} (\partial D)\) admits a one-dimensional holomorphic extension along a family \(\mathfrak L_{a, b, c}\), and \(a, c, d \in D\) do not lie on one complex straight line in \(\mathbb C^2\). Then \(f\) extends holomorphically to \(D\). Denote by \(\mathfrak A\) not coplanar points \(a_k \in D \subset\mathbb C^n, \) \(k - 1,..., n + 1.\) Theorem B. Suppose that \(D\) is a bounded strictly convex \(n\)-circular domain with twice smooth boundary in \(\mathbb C^n\) and \(f \in {\mathcal C} (\partial D)\) admits a one-dimensional holomorphic extension along the family \(\mathfrak L_{\mathfrak A}\). Then \(f\) extends holomorphically to \(D\).