Sets in \(\mathbb C^N\) with vanishing global extremal function and polynomial approximation (Q639740): Difference between revisions

Let \(f\) be a function holomorphic in a neighborhood of \(0\in\mathbb C^N\) with Taylor series \[ \sum_{j=0}^\infty Q_j(z)\tag{\(*\)} \] at \(0\). We say that the series (*) has Ostrowski gaps with respect to a strictly increasing sequence \((n_k)_{k=1}^\infty\subset\mathbb N\) if there exists a sequence \((q_k)_{k=1}^\infty\subset(0,+\infty)\) with \(\lim_{k\to+\infty}q_k=0\) such that \(\lim_{I\ni j\to+\infty}\|Q_j\|_{\mathbb B}^{1/j}=0\), where \(\mathbb B\) is the closed unit ball and \(I:=\bigcup_{k=1}^\infty[q_kn_k, n_k]\cap\mathbb N\). We denote by \((s_n)_{n=1}^\infty\) the sequence of partial sums of (*). The main results of the paper are the following characterizations of series with Ostrowski gaps. {\parindent=6mm \begin{itemize} \item[(1)]Assume that (*) has Ostrowski gaps relative to \((n_k)_{k=1}^\infty\). Let \(\varOmega\) be the set of all points \(a\in\mathbb C^N\) such that the sequence \((s_{n_k})_{k=1}^\infty\) is uniformly convergent in a neighborhood of \(a\). Let \(G\) be the connected component of \(\varOmega\) with \(0\in G\). Then \(G\) is the maximal domain of existence of \(f\), \(G\) is polynomially convex, and \[ \limsup_{k\to+\infty}\|f-s_{n_k}\|_K^{1/n_k}<1\quad\text{for every compact }K\subset G. \] \item[(2)]For every polynomially convex open set \(\varOmega\subset\mathbb C^n\) with \(0\in\varOmega\) there exists an \(f\in\mathcal O(\varOmega)\) for which (*) has Ostrowski gaps relative to a sequence \((n_k)_{k=1}^\infty\) such that \begin{itemize} \item[(i)]every connected component \(D\) of \(\varOmega\) is the maximal domain of existence of \(f|_D\), \item[(ii)]\((s_{n_k})_{k=1}^\infty\) converges locally uniformly in \(\varOmega\) to \(f\), \item[(iii)]if \(G\) is the connected component of \(\varOmega\) with \(0\in G\), then \[ \limsup_{k\to+\infty}\|f-s_{n_k}\|_K^{1/n_k}<1\quad\text{for every compact }K\subset G. \] \end{itemize} \item[(3)]Let \(E\subset\mathbb C^N\) be closed. Then the following conditions are equivalent: \begin{itemize} \item[(i)]\(V_E\equiv0\), where \(V_E\) denotes the Siciak extremal function; \item[(ii)]if \[ \limsup_{k\to+\infty}|s_{n_k}(z)|^{1/n_k}\leq1, \qquad z\in E, \] then (*) has Ostrowski gaps relative to a subsequence \((n_{k_\ell})_{\ell=1}^\infty\) of \((n_k)_{k=1}^\infty\). \end{itemize} \item[(4)]Let \(E\subset\mathbb C^N\) be a set with \(V_E\equiv0\). Assume that \(G\subset\mathbb C^N\) is a domain, \(f\in\mathcal O(G)\), and \(\varGamma\subset G\) is non-pluripolar. Let \((P_n)_{n=1}^\infty\) be a sequence of polynomials of \(N\)-complex variables with \(\deg P_n\leq d_n<d_{n+1}\) such that \[ \limsup_{n\to+\infty}|f(z)-P_n(z)|^{1/d_n}<1,\qquad z\in\varGamma, \] and \[ \limsup_{n\to+\infty}|P_n(z)|^{1/d_n}\leq1,\qquad z\in E. \] Then the maximal domain of existence \(G_f\) of \(f\) is a polynomially convex domain in \(\mathbb C^N\) and \[ \limsup_{n\to+\infty}\|f-P_n\|_K^{1/d_n}<1\quad\text{for every compact }K\subset G_f. \] \end{itemize}} Moreover, if the sequence \((d_{n+1}/d_n)_{n=1}^\infty\) is bounded, then \(G_f=\mathbb C^N\).