Polynomial Approximation in $ L^2 $ of the Double Exponential via Complex Analysis
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912228988420096 |
|---|---|
| author | Bizeul, Pierre Klartag, Boaz |
| author_facet | Bizeul, Pierre Klartag, Boaz |
| contents | We study the polynomial approximation problem in $L^2(μ_1)$ where $μ_1(dx) = e^{-|x|}/2 dx$. We show that for any absolutely continuous function $f$, $$ \sum_{k=1}^{\infty} \log^2(e+k) \langle f, P_k \rangle^2 \ \leq C \left( \int_{\mathbb{R}} \log^2(e+\lvert x \rvert) f^2 \, dμ_1 \ + \ \int_{\mathbb{R}} (f')^2 \, dμ_1 \right) $$
for some universal constant $C>0$, where $(P_k)_{k \in N}$ are the orthonormal polynomials associated with $μ_1$. This inequality is tight in the sense that $\log^2(e +k)$ on the left hand-side cannot be replaced by $a_k \log^2(e +k)$ with a sequence $a_k \longrightarrow \infty$.
When the right hand-side is bounded this inequality implies a logarithmic rate of approximation for $f$, which was previously obtained by Lubinsky. We also obtain some rates of approximation for the product measure $μ_1^{\otimes d}$ in $\mathbb{R}^d$ via a tensorization argument. Our proof relies on an explicit formula for the generating function of orthonormal polynomials associated with the weight $\frac{1}{2\cosh(πx/2)}$ and some complex analysis. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2502_07448 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Polynomial Approximation in $ L^2 $ of the Double Exponential via Complex Analysis Bizeul, Pierre Klartag, Boaz Classical Analysis and ODEs Functional Analysis We study the polynomial approximation problem in $L^2(μ_1)$ where $μ_1(dx) = e^{-|x|}/2 dx$. We show that for any absolutely continuous function $f$, $$ \sum_{k=1}^{\infty} \log^2(e+k) \langle f, P_k \rangle^2 \ \leq C \left( \int_{\mathbb{R}} \log^2(e+\lvert x \rvert) f^2 \, dμ_1 \ + \ \int_{\mathbb{R}} (f')^2 \, dμ_1 \right) $$ for some universal constant $C>0$, where $(P_k)_{k \in N}$ are the orthonormal polynomials associated with $μ_1$. This inequality is tight in the sense that $\log^2(e +k)$ on the left hand-side cannot be replaced by $a_k \log^2(e +k)$ with a sequence $a_k \longrightarrow \infty$. When the right hand-side is bounded this inequality implies a logarithmic rate of approximation for $f$, which was previously obtained by Lubinsky. We also obtain some rates of approximation for the product measure $μ_1^{\otimes d}$ in $\mathbb{R}^d$ via a tensorization argument. Our proof relies on an explicit formula for the generating function of orthonormal polynomials associated with the weight $\frac{1}{2\cosh(πx/2)}$ and some complex analysis. |
| title | Polynomial Approximation in $ L^2 $ of the Double Exponential via Complex Analysis |
| topic | Classical Analysis and ODEs Functional Analysis |
| url | https://arxiv.org/abs/2502.07448 |