[论文解读] Approximation by Lipschitz, analytic maps on certain Banach spaces

R. Fry, L. Keener|ArXiv.org|Oct 31, 2008

Advanced Banach Space Theory参考文献 16被引用 5

一句话总结

该论文证明，在具有分离多项式的可分Banach空间上，任何有界开集上的有界、一致连续的实值函数，均可被Lipschitz-解析函数一致逼近。该方法通过在空间的复化中使用类似单位分解的结构，对解析函数进行加权平均，构造此类逼近函数，从而同时保证解析性与一致Lipschitz连续性，逼近误差由目标函数的一致连续性控制。

ABSTRACT

We show that on separable Banach spaces admitting a separating polynomial, any uniformly continuous, bounded, real-valued function can be uniformly approximated by Lipschitz, analytic maps on bounded sets.

研究动机与目标

• 将Kurzweil关于解析逼近的定理推广至Lipschitz-连续解析映射的设定。
• 解决无限维Banach空间中关于Lipschitz函数的解析逼近缺乏结果的问题。
• 通过引入Lipschitz控制，弥合$C^p$-光滑逼近与解析逼近之间的差距。
• 提供一种构造性方法，利用解析函数与Lipschitz函数逼近一般有界、一致连续函数（在有界集上）。

提出的方法

• 利用可数稠密集$\{x_j\}$和类似单位分解的结构，在Banach空间$X$上构造一列一致Lipschitz、实解析函数$u_j(x)$。
• 定义加权平均$K(x) = \frac{\lambda(\{F(x_j)u_j(x)\})}{\lambda(\{u_j(x)\})}$，其中$\lambda$是$\ell^\infty$上的范数类泛函，以确保解析性与Lipschitz连续性。
• 利用复化空间$\widetilde{X}$扩展实解析函数，确保幂级数展开的收敛性。
• 利用$F$的一致连续性以及$\{C_j^3\}$的覆盖性质，统一有界逼近误差。
• 证明$\lambda(\{u_j(x)\}) \geq 4/5$在$G$上一致成立，确保分母远离零。
• 利用$\lambda$的1-Lipschitz性质及$u_j$的一致Lipschitz性，确保$K$在$G$上为Lipschitz函数。

实验结果

研究问题

• RQ1 在具有分离多项式的可分Banach空间中，有界开集上的有界、一致连续函数能否被Lipschitz-解析映射一致逼近？
• RQ2 在$C^\infty$-逼近失效的无限维设定中，是否可能实现具有统一Lipschitz控制的解析逼近？
• RQ3 在不需全局光滑性的情况下，能否使解析逼近函数的构造在一致连续性约束下保持稳健？
• RQ4 如何利用Banach空间的复化来确保逼近函数的解析性？
• RQ5 空间与函数的何种条件可确保逼近函数同时具备解析性与Lipschitz性？

主要发现

• 对任意$\varepsilon > 0$，存在一实解析函数$K: G \to \mathbb{R}$，其在$G$上Lipschitz连续，且对所有$x \in G$满足$|F(x) - K(x)| < \varepsilon$。
• 逼近函数$K$构造为对序列解析函数应用两个$\lambda$-泛函的比值，从而同时保证解析性与Lipschitz连续性。
• 分母$\lambda(\{u_j(x)\})$在$G$上一致有下界$4/5$，防止除零并确保构造的稳定性。
• 逼近误差由$F$的一致连续性控制，$\varepsilon$-界由覆盖$\{C_j^3\}$及$u_j(x)$在$\delta$-邻域外的衰减性导出。
• 该方法适用于所有具有分离多项式的可分Banach空间，包括$\ell^p$和$p$为偶数的$L^p$空间，以及具有可数紧致集$K$的$c_0$空间。
• 这是首次在无限维Banach空间中关于一般函数（不仅限于范数）实现Lipschitz-解析映射一致逼近的已知结果。