[论文解读] Smooth norms and approximation in Banach spaces of the type C(K)

Petr Hájek, Richard Haydon|ArXiv.org|Oct 12, 2006

Advanced Banach Space Theory参考文献 6被引用 6

一句话总结

该论文证明了，对于任意具有局部一致严格凸（LUR）对偶范数的等价范数的连续函数空间 $\mathcal{C}(K)$，若其定义在 $\sigma$-离散的紧致离散空间 $K$ 上，则其必存在一个等价的 $\mathcal{C}^\infty$ 范数。关键结果是通过 Orlicz 型范数与隐函数定理构造性地证明了此类光滑范数可在有界集上一致逼近上确界范数。

ABSTRACT

We prove two theorems about differentiable functions on the Banach space C(K), where K is compact. (i) If C(K) admits a non-trivial function of class C^m and of bounded support, then all continuous real-valued functions on C(K) may be uniformly approximated by functions of class C^m. (ii) If C(K) admits an equivalent norm with locally uniformly convex dual norm, then C(K) admits an equivalent norm which is of class C^infty (except at 0).

研究动机与目标

• 解决关于 $\mathcal{C}(K)$ 空间中光滑逼近的长期悬而未决问题，即在对偶范数为 LUR 的条件下，证明 $\mathcal{C}^1$ 光滑性蕴含 $\mathcal{C}^\infty$ 光滑性。
• 证明当 $K$ 为 $\sigma$-离散且 $\mathcal{C}(K)^*$ 具有 LUR 对偶范数时，$\mathcal{C}(K)$ 上的连续函数可被 $\mathcal{C}^\infty$ 函数一致逼近。
• 利用 Orlicz 函数与隐函数定理，显式构造 $\mathcal{C}(K)$ 上的 $\mathcal{C}^\infty$ 等价范数。
• 在 $K$ 为 $\sigma$-离散的条件下，建立上确界范数可在有界集上被 $\mathcal{C}^\infty$ 范数一致逼近的结论。

提出的方法

• 在 $\mathbb{R}^+$ 上定义一族 Orlicz 函数 $\phi_t$，使得 $\phi_t(x) = 0$ 对于 $x \leq \alpha(t)$，且 $\phi_t(x) > 1$ 对于 $x \geq \beta(t)$，其中 $0 < \alpha(t) < \beta(t) < 1$。
• 通过非线性算子框架构造范数 $\|f\|_{\phi(\cdot)} = \inf\{\rho > 0 : \Psi(f, \rho) = 1\}$，其中 $\Psi(f, \rho) = \sum_t \phi_t(\rho^{-1}|f(t)|)$。
• 应用隐函数定理，证明 $\|\cdot\|_{\phi(\cdot)}$ 在 $\mathcal{C}(K) \setminus \{0\}$ 上为 $\mathcal{C}^\infty$，其依据是偏导数 $\text{D}_2\Psi$ 不为零。
• 利用 $K$ 的 $\sigma$-离散性，将其分解为离散集 $D_i$，并定义 $\alpha(t) = \prod \{r_i : t \in \overline{D}_i\}$ 与 $\beta(t) = \alpha(t) \cdot r_j$ 对于 $t \in D_j$，以确保 $\alpha(t) < \beta(t)$。
• 证明 $\|f\|_{\phi(\cdot)}$ 满足 $\|f\|_\infty \leq \|f\|_{\phi(\cdot)} \leq \alpha^{-1}\|f\|_\infty$，其中 $\alpha = \prod r_i$，从而实现上确界范数被 $\mathcal{C}^\infty$ 范数一致逼近。
• 通过反证法，结合序列收敛 $t_n \to t$ 与引理6（$\beta(t) \leq \liminf \alpha(t_n)$）来验证范数的良定义性与光滑性。

实验结果

研究问题

• RQ1 若 $\mathcal{C}(K)^*$ 上存在等价的局部一致严格凸（LUR）对偶范数，是否意味着 $\mathcal{C}(K)$ 存在等价的 $\mathcal{C}^\infty$ 范数？
• RQ2 当 $K$ 为 $\sigma$-离散且 $\mathcal{C}(K)^*$ 具有 LUR 对偶范数时，$\mathcal{C}(K)$ 上的连续函数是否可被 $\mathcal{C}^\infty$ 函数一致逼近？
• RQ3 是否可以利用 Orlicz 型函数与非线性算子显式构造 $\mathcal{C}(K)$ 上的 $\mathcal{C}^\infty$ 等价范数？
• RQ4 在 $\sigma$-离散性假设下，$\mathcal{C}(K)$ 上的上确界范数是否可在有界集上被 $\mathcal{C}^\infty$ 范数一致逼近？
• RQ5 何种紧致空间 $K$ 的条件可保证 $\mathcal{C}(K)$ 允许 $\mathcal{C}^\infty$ 等价范数的构造，特别是与 LUR 对偶范数的存在性之间的关系？

主要发现

• 若 $\mathcal{C}(K)^*$ 具有等价的 LUR 对偶范数，则 $\mathcal{C}(K)$ 必存在等价的 $\mathcal{C}^\infty$ 范数，从而解决了 $\mathcal{C}(K)$ 空间中一个长期悬而未决的猜想。
• 所构造的 $\mathcal{C}^\infty$ 范数满足 $\|f\|_\infty \leq \|f\|_{\phi(\cdot)} \leq \alpha^{-1}\|f\|_\infty$，其中 $\alpha = \prod r_i$，且 $\alpha$ 可被任意逼近于 1。
• 由于导数 $\text{D}_2\Psi$ 不为零，范数 $\|f\|_{\phi(\cdot)}$ 在 $\mathcal{C}(K) \setminus \{0\}$ 上为 $\mathcal{C}^\infty$，从而可应用隐函数定理。
• 证明依赖于 $K$ 的 $\sigma$-离散性，该性质允许将 $K$ 分解为离散集 $D_i$，并据此构造 $\alpha(t)$ 与 $\beta(t)$ 以定义 Orlicz 函数。
• 证明了对任意收敛序列 $t_n \to t$，有 $\beta(t) \leq \liminf \alpha(t_n)$，该不等式对排除范数构造中的病态行为至关重要。
• 该结果表明，即使原始范数非 $\mathcal{C}^\infty$，$\mathcal{C}(K)$ 上的连续函数仍可在有界集上被 $\mathcal{C}^\infty$ 函数一致逼近。