Extension of holomorphic function to pseudo-ellipsoids (Q1127705): Difference between revisions

The author studies the problem of extending functions holomorphic on complex subvarieties of complex pseudo-ellipsoids to the entire ellipsoids, with estimates. A complex pseudo-ellipsoid is a domain of the form: \[ D:= \left\{z\in \mathbb{C}^n: \rho(z):= \sum^n_{i=1} | z_i|^{2q_i}-1<0 \right\}, \] where \(q_i\in \mathbb{N}\). Let \(k:= \sup_{i\in \{1,\dots, n\}}\{q_i\}\). Let \(X\) be a complex variety defined as the set of common zeroes at a collection of functions holomorphic in a neighbourhood of \(D\), and let \(V:= X\cap D\). Let \(\lambda_D\) and \(\lambda_V\) denote the Lebesgue measures on \(D\) and \(V\) respectively. Denote by \(L^q (d(z, \partial D)^s, \lambda_V)\) and \(L^q(d(z, \partial D)^s, \lambda_D)\) the spaces of \(L^q\)-functions on \(V\) and \(D\) respectively, with weight \(d(z, \partial D)^s\), and by \(B_p(D)\) the collection of continuous functions on \(D\) such that \[ \sup_{z\in D} \bigl| f(z) \bigr| d(z, \partial D)^p< \infty. \] The following four theorems are the main results of the paper. Theorem 1. For any integer \(p\geq 1\) and any small positive \(\xi\), there exist \(f,X,D\) with \(D\) a complex pseudo-ellipsoid in \(\mathbb{C}^{2p+1}\), \(X\) a complex sub-variety of \(\mathbb{C}^{2p+1}\) of codimension \(p\) transversal to \(\partial D\), \(f\in H(V)\cap L^\infty (V)\), such that there is no function \(g\in H(D)\) satisfying: \[ \begin{cases} g=f \quad \text{on }V;\\ g\in B_{{p\over 2} -\xi}(D). \end{cases} \] Theorem 2. Let \(n\geq 3\), \(1\leq p\leq n-2\), \(2\leq q< +\infty\) and \(s>0\). (i) If \(n>2p+1\), then for any \(\xi >0\), there exist a complex pseudo-ellipsoid \(D\subset \mathbb{C}^n\), a complex subvariety \(X\subset \mathbb{C}^n\) transversal to \(\partial D\) and a function \(f\in H(V) \cap L ^q(d(z, \partial D)^s,\lambda_V)\), such that \(f\) does not admit a holomorphic extension to \(D\) in the class \(L^q(d(z, \partial D)^{s+\left( {q-2\over 2}\right) p-\xi}, \lambda_D)\). (ii) If \(n\leq 2p+1\), then for any \(\xi>0\), there exist a complex pseudo-ellipsoid \(D\subset \mathbb{C}^n\), a complex subvariety \(X\subset \mathbb{C}^n\) transversal to \(\partial D\) and a function \(f\in H(V) \cap L^q (\partial (z, \partial D)^s,\lambda_V)\), such that \(f\) does not admit a holomorphic extension to \(D\) in the class \(L^q(d(z, \partial D)^{s+\left( {q-2\over 2} \right) (n-p-1)-\xi}, \lambda_D)\). Theorem 3. Let \(D\) be a complex pseudo-ellipsoid, \(X\) a complex affine subvariety of codimension \(p\) transversal to \(\partial D\); then there exists a linear extension operator \(E_s\) for \(s\geq {p\over k}\) satisfying: \[ f\in H(V) \cap L^q\bigl( d(z,\partial D)^s, \lambda_V\bigr) \Rightarrow E_sf\in H(D) \cap L^q \Bigl( d(z, \partial D)^{s-{p \over k}}, \lambda_D \Bigr). \] Theorem 4. Let \(D\) be a complex pseudo-ellipsoid and \(X\) a complex subvariety of a neighbourhood of \(\overline D\) of codimension \(p\). Then there exists, for \(s\geq {p\over k}\), a linear extension operator \(E_s\) satisfying: if \(1\leq q\leq 2\), \[ f\in H(V) \cap L^q \bigl( d(z, \partial D)^s, \lambda_V\bigr) \Rightarrow E_sf \in H(D)\cap L^q \bigl(d (z,\partial D)^{s- {p\over k}}, \lambda_D \bigr); \] if \(2<q< \infty\) and \(X\) is transversal to \(\partial D\), (i) for \(h>2p+1\) and \(f\in H(V) \cap L^q (d(z, \partial D)^s, \lambda_V)\) one has \[ E_sf\in H(D) \cap L^q\Bigl( d(z,\partial D)^{s- {p\over k}+ {(q-2) p(1-{1 \over k}) \over 2}}, \lambda_D \Bigr), \] (ii) for \(n\leq 2p+1\) and \(f\in H(V) \cap L^q (d(z, \partial D)^s, \lambda_V)\) one has \[ E_sf\in H(D) \cap L^q \Bigl( d(z, \partial D)^{s- {p\over k} +{q-2 \over 2} \max\{ n-p-1- {p\over k},0\}}, \lambda_D \Bigr). \]