{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q639740","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q639740","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q639740","kernelVersion":"v1","immutable":true,"modified":"2026-01-17T20:43:53Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q639740","name":"Sets in \\(\\mathbb C^N\\) with vanishing global extremal function and polynomial approximation","headline":"Sets in \\(\\mathbb C^N\\) with vanishing global extremal function and polynomial approximation","description":"scientific article; zbMATH DE number 5956569","url":"https://portal.mardi4nfdi.de/entity/Q639740","datePublished":"2011-10-11","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q639739"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q169535"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.5802/AFST.1312","url":"https://doi.org/10.5802/AFST.1312"},"sameAs":["https://doi.org/10.5802/AFST.1312"],"comment":"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