[论文解读] A Survey of Weighted Approximation for Exponential Weights

D. S. Lubinsky|ArXiv.org|Jan 3, 2007

Mathematical functions and polynomials参考文献 110被引用 5

一句话总结

本综述全面概述了实轴上具有指数权的加权多项式逼近理论，聚焦于伯恩斯坦逼近问题、杰克逊与伯恩斯坦定理、马尔可夫-伯恩斯坦与尼科尔斯基不等式、正交展开以及拉格朗日插值。文章建立了多项式在加权 $ L_∞ $ 范数下稠密性的条件，并统一了偶函数、连续权函数在无穷远处趋于零时的关键技术与结果。

ABSTRACT

Let W: R to (0,1] be continuous. Bernstein's approximation problem, posed in 1924, deals with approximation by polynomials in the weighted uniform norm ||fW|| Linfinity(R) . The qualitative form of this problem was solved by Achieser, Mergelyan, and Pollard, in the 1950's. Quantitative forms of the problem were actively investigated starting from the 1960's. We survey old and recent aspects of this topic, including the Bernstein problem, weighted Jackson and Bernstein Theorems, Markov-Bernstein and Nikolskii inequalities, orthogonal expansions and Lagrange interpolation. We present the main ideas used in many of the proofs, and different techniques of proof, though not the full proofs. The class of weights we consider is typically even, and supported on the whole real line, so we exclude Laguerre type weights on [0,infinity). Nor do we discuss Saff's weighted approximation problem, nor the asymptotics of orthogonal polynomials.

研究动机与目标

• 系统性地综述整个实轴上具有指数权的加权多项式逼近理论。
• 解决伯恩斯坦逼近问题：当函数 $ f $ 满足 $ fW \to 0 $ 在无穷远处时，多项式在加权 $ L_∞ $ 范数下何时稠密？
• 统一并呈现关键技术和结果，包括杰克逊-伯恩斯坦定理、马尔可夫-伯恩斯坦不等式以及正交展开的收敛性。
• 聚焦于满足 $ \lim_{|x|\to\infty} x^n W(x) = 0 $ 的偶函数、连续权 $ W $，排除拉盖尔型权函数及正交多项式渐近行为。
• 通过整理和总结数十年来关于指数权的研究成果，尤其针对 $ \mathcal{E} $ 和 $ \mathcal{F}_{\text{even}}(C^2) $ 类权函数，为逼近论研究者提供参考。

提出的方法

• 使用正则化 $ \Omega(z) = \sup\{ |P(z)| : \sup_t |P(t)W(t)| / \sqrt{1+t^2} \leq 1 \} $ 来刻画伯恩斯坦问题可解性的条件。
• 应用梅尔杰良准则：伯恩斯坦问题有正解当且仅当 $ \int_{-\infty}^\infty \frac{\log \Omega(t)}{1+t^2} dt = \infty $，或等价地，存在某个非实 $ z $ 使得 $ \Omega(z) = \infty $。
• 采用加权 $ L_p $ 范数及适配于权函数的连续模，其中 $ \sigma(t) = \inf\{ a_n : a_n/n \leq t \} $，$ a_n $ 为 Mhaskar–Rakhmanov–Saff 数。
• 引入 $ r $ 阶连续模 $ \omega_{r,p}(f,W,t) $，涉及对称差分 $ \Delta_h^r f $ 和区间 $ [-\sigma(2t), \sigma(2t)] $ 上的加权 $ L_p $ 范数。
• 定义 $ K $-泛函 $ K_{r,p}(f,W,t^r) = \inf_g \left\{ \| (f-g)W \|_{L_p} + t^r \| g^{(r)} W \|_{L_p} \right\} $，以关联逼近误差与光滑性。
• 应用德·拉·瓦勒·普桑平均、分段多项式逼近及对偶性等方法，证明加权不等式与收敛性结果。

实验结果

研究问题

• RQ1 对于偶函数、连续权 $ W $，在何种条件下，多项式在加权 $ L_\infty(\mathbb{R}) $ 范数下稠密？
• RQ2 加权杰克逊与伯恩斯坦定理在指数权下成立的充要条件是什么？
• RQ3 对于 $ \mathcal{E} $ 与 $ \mathcal{F}_{\text{even}}(C^2) $ 类权函数，马尔可夫-伯恩斯坦与尼科尔斯基不等式的行为如何？
• RQ4 在加权 $ L_p $ 空间中，正交展开与拉格朗日插值的收敛性特征是什么？
• RQ5 弗雷德、内瓦伊、克罗和萨巴达斯等人的技术如何贡献于加权逼近不等式的证明？

主要发现

• 伯恩斯坦逼近问题有正解当且仅当 $ \int_{-\infty}^\infty \frac{\log \Omega(t)}{1+t^2} dt = \infty $，其中 $ \Omega $ 为权函数的正则化。
• 对于 $ \mathcal{E} $ 类权函数，连续模涉及 $ \Phi_t(x) = \sqrt{1 - |x|/\sigma(t)} + T(\sigma(t))^{-1/2} $，其中 $ T(x) = xQ'(x)/Q(x) $，且 $ r $ 阶连续模通过 $ \Delta_h^r f $ 的加权 $ L_p $ 范数定义。
• 在适当条件下，多项式对次数 $ \leq n $ 的加权 $ L_p $ 逼近误差 $ E_n[f;W]_p $ 与 $ K $-泛函等价。
• 对于 $ W \in \mathcal{F}_{\text{even}}(C^2) $，函数 $ T(t) = tQ'(t)/Q(t) $ 是准递增的，且满足 $ T(t) \geq \Lambda > 1 $，从而确保逼近理论所需的足够衰减。
• 通过大筛法与对偶性等方法，建立了马尔钦凯维奇–齐格蒙德不等式，其应用涵盖求积和与勒贝格函数。
• 莱文–鲁比尼方法与筛分马尔可夫-伯恩斯坦不等式为指数权下多项式导数提供了精确估计。