Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2602.06798 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911428171005952 |
|---|---|
| author | Charpentier, Stéphane Espoullier, Nicolas Zarouf, Rachid |
| author_facet | Charpentier, Stéphane Espoullier, Nicolas Zarouf, Rachid |
| contents | 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 $φ$ 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-φ\|_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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2602_06798 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Simultaneous polynomial approximation in Beurling-Sobolev spaces via Blaschke products Charpentier, Stéphane Espoullier, Nicolas Zarouf, Rachid Complex Variables 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 $φ$ 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-φ\|_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. |
| title | Simultaneous polynomial approximation in Beurling-Sobolev spaces via Blaschke products |
| topic | Complex Variables |
| url | https://arxiv.org/abs/2602.06798 |