[论文解读] Inverse theorems in the theory of approximation of vectors in a Banach space with exponential type entire vectors

Ya. I. Grushka|arXiv (Cornell University)|Sep 24, 2008

Approximation Theory and Sequence Spaces参考文献 7被引用 5

一句话总结

本文建立了关于非拟解析算子 A 的巴拿赫空间中向量光滑性与指数型整向量最佳逼近速率及 k-模连续性之间关系的逆定理。证明了与生成元 A 相关的谱子空间等于类型 ≤σ 的指数型整向量空间，从而可应用谱理论并推导出伯恩斯坦型不等式，同时将逼近结果推广至加权 Lp 空间。

ABSTRACT

Arbitrary operator A on a Banach space X which is the generator of C_0-group with certain growth condition at infinity is considered. The relationship between its exponential type entire vectors and its spectral subspaces is found. Inverse theorems on connection between the degree of smoothness of vector $x\in X$ with respect to operator A, the rate of convergence to zero of the best approximation of x by exponential type entire vectors for operator A, and the k-module of continuity are established. Also, a generalization of the Bernstein-type inequality is obtained. The results allow to obtain Bernstein-type inequalities in weighted L_p spaces.

研究动机与目标

• 建立向量在巴拿赫空间中关于非拟解析算子 A 的光滑性与它们被指数型整向量最佳逼近的收敛速率之间的逆定理。
• 证明类型 ≤σ 的指数型整向量集合与生成元 A 的一个谱子空间一致，从而可应用谱理论。
• 将伯恩斯坦型不等式推广至加权 Lp 空间。
• 提供一种框架，利用 k-模连续性与 K-泛函等价性来估计加权 Lp 空间中的逼近速率。

提出的方法

• 使用由 Kuptsov 引入并由 Terekhin 扩展的巴拿赫空间中 C0-群的广义模连续性。
• 建立类型 ≤σ 的指数型整向量空间与非拟解析算子 A 的一个谱子空间之间的等价性。
• 应用谱理论与 C0-群理论分析光滑性与逼近行为。
• 通过谱子空间表征与群的生长条件推导出伯恩斯坦型不等式。
• 利用 Paley-Wiener 定理与傅里叶变换技术表征加权 Lp 空间中的整向量。
• 在整向量空间上应用归纳极限拓扑，并在加权 Lp 空间中进行范数估计。

实验结果

研究问题

• RQ1 向量在巴拿赫空间中的光滑性与其被指数型整向量最佳逼近之间的关系，通过 k-模连续性如何体现？
• RQ2 在何种条件下，类型 ≤σ 的指数型整向量集合与生成元 A 的一个谱子空间一致？
• RQ3 能否通过谱子空间结构将伯恩斯坦型不等式推广至加权 Lp 空间？
• RQ4 在非拟解析 C0-群背景下，K-泛函与模连续性之间存在何种关系？
• RQ5 加权 Lp 空间中的逼近速率如何依赖于函数的光滑性与权函数？

主要发现

• 类型 ≤σ 的指数型整向量空间与非拟解析 C0-群生成元 A 的谱子空间一致。
• 函数 f ∈ Lp(R, μp) 被指数型整向量最佳逼近的值，等于其被指数型整函数最佳逼近的值。
• 对于 f ∈ Lp(R, μp) ∩ Bσ 且 σ ≥ 1，对所有 n ∈ N 及与 σ 和 f 无关的常数 cn，有 ‖f(n)‖Lp(μp) ≤ cnσn‖f‖Lp(μp)。
• 若最佳逼近满足 𝒟r(f) ≤ m/rn ω(1/r)（r ≥ 1），则 f ∈ Wpn(R, μp)，且 f(n) 的 k 阶模连续性被一个包含 ω 的积分表达式所有界。
• 先前工作的广义 Jackson 型不等式通过谱子空间表征被推广至加权 Lp 空间。
• 当权函数 μ(t) 满足 μ(t) ≥ 1 + R|t|（t > t0）时，反嵌入关系 Ξσ(A) ⊂ Bσ ∩ Lp(R, μp) 成立，确保可积性并支持 Paley-Wiener 型论证。