Simultaneous polynomial approximation in Beurling-Sobolev spaces via Blaschke products
Stéphane Charpentier, Nicolas Espoullier, Rachid Zarouf
TL;DR
The paper addresses simultaneous polynomial approximation in Orlicz Beurling–Sobolev spaces $\ell_a^{\phi}$ under the condition $\phi(t)=o(t^2)$ as $t\to0$, extending classical Beurling–Sobolev theory. It develops a new inner-function based approach by analyzing the asymptotics of $\|B^k\|_{\ell^{\phi}}$ for finite Blaschke products $B$ not equal to a monomial, leveraging van der Corput estimates to obtain qualitative decay of $\|B^k\|_{\ell^{\infty}}$ and deducing the corresponding $\ell^{\phi}$-norm behavior. These results yield a simultaneous approximation lemma, leading to universal properties in $\ell_a^{\phi}$, including Menshov universality of Taylor partial sums and universality with respect to radial boundary limits. The work broadens the scope of universality phenomena to Orlicz–Beurling spaces and highlights inner-function techniques as a versatile tool for approximation in analytic function spaces.
Abstract
Assuming that $φ(t)=o(t^2)$ as $t\to0$, we establish a lemma on simultaneous polynomial approximation in Orlicz-Beurling-Sobolev spaces $\ell_a^φ$. These spaces, endowed with the Luxemburg norm $\Vert \cdot \Vert_{\ell^φ}$, generalize the classical Beurling-Sobolev spaces $\ell_a^p$ for $p>2$. More precisely, we prove that for every $\varepsilon>0$, every $v\in\mathbb{N}$ and every function $\varphi$ continuous on $\partial\mathbb{D}$, there exist a polynomial $P(z)=\sum_{k=v}^d a_k z^k$ and a compact set $K\subset\partial\mathbb{D}$ with $m(K)>1-\varepsilon$ such that \[\|P\|_{\ell^φ}\le\varepsilon \quad \text{and}\quad \|P-\varphi\|_K\le\varepsilon.\] The proof relies on a result of independent interest describing the asymptotic behaviour of the Luxemburg norm $\|B^k\|_{\ell^φ}$ of powers of a finite Blaschke product $B$ which is not a monomial. This behaviour is governed by the comparison between $φ(t)$ and $t^2$ near $0$: the norms remain bounded when $φ\asymp t^2$, tend to $0$ when $φ=o(t^2)$, and diverge to $+\infty$ when $t^2=o(φ(t))$. A key ingredient in the proof is the qualitative limit $\sup_{j\ge0}|\widehat{B^k}(j)|\to0$ as $k\to\infty$. As an application of the simultaneous approximation lemma, we derive the existence of functions in $\ell_a^φ$ with universal properties, including Menshov universality of Taylor partial sums and universality with respect to radial boundary limits.