[论文解读] The Fatou property of block spaces

Yoshihiro Sawano, Hitoshi Tanaka|arXiv (Cornell University)|Apr 10, 2014

Advanced Harmonic Analysis Research参考文献 12被引用 68

一句话总结

本文建立了块空间的Fatou性质，证明了块空间 ${\mathcal{B}}^{p'}_{q'}({\mathbb{R}}^n)$ 是Morrey空间 ${\mathcal{M}}^p_q({\mathbb{R}}^n)$ 的预对偶空间，其中 $1 < q \leq p < \infty$。作者通过将紧支集函数构造性地分解为 $(p',q')$-块，实现了对系数和的统一有界控制，从而验证了对偶性并完整刻画了预对偶空间。

ABSTRACT

Around thirty years ago, block spaces, which are the predual of Morrey spaces, had been considered. However, it seems that there is no proof that block spaces satisfy the Fatou property. In this paper the Fatou property for block spaces is verified and the predual of block spaces is characterized.

研究动机与目标

• 验证块空间的Fatou性质，尽管其作为Morrey空间的预对偶空间角色已被广泛使用，但该性质此前尚未被严格确立。
• 通过证明块空间的预对偶空间与Morrey空间 ${\mathcal{M}}^p_q({\mathbb{R}}^n)$ 一致，从而对预对偶空间进行完整刻画，其中 $1 < q \leq p < \infty$。
• 通过证明块空间满足Fatou性质，弥合了Morrey空间理论中的对偶性鸿沟，确保在对偶配对中弱*收敛能推出预对偶空间中的范数收敛。

提出的方法

• 作者将 $(p',q')$-块定义为在立方体 $Q$ 上有紧支集且满足 $\|b\|_{L^{q'}(Q)} \leq |Q|^{1/p - 1/q}$ 的函数，这些块构成了块空间 ${\mathcal{B}}^{p'}_{q'}({\mathbb{R}}^n)$ 的基底。
• 他们对非负、紧支集的函数 $f \in L^{q'}({\mathbb{R}}^n)$ 进行构造性分解，将其表示为非负 $(p',q')$-块的无穷级数 $f = \sum_{j=1}^\infty \Lambda_j B_j$，其中 $\Lambda_j$ 为系数。
• 通过在足够大的 $N$ 处截断级数，他们构造出有限分解 $f = \sum_{j=1}^N \lambda_j b_j$，并满足 $\sum_{j=1}^N \lambda_j \leq 2\|f\|_{{\mathcal{B}}^{p'}_{q'}({\mathbb{R}}^n)}$，从而实现对系数和的统一控制。
• 关键的技术步骤包括对级数尾部的 $L^{q'}$-范数进行估计，并利用单调收敛定理来控制剩余部分的和。
• 他们应用Hahn-Banach定理将泛函从Morrey空间的子空间上延拓，证明并非所有有界线性泛函都来自 $L^{p'}$ 函数，从而证明了 $L^{p'}$ 与Morrey空间之间不构成对偶。
• 该证明依赖于一个具体例子：集合 $E = \bigcup_{k=1}^\infty (k-1+k^{p/(p-q)}, k+k^{p/(p-q)})$，用以说明 $\chi_E \in {\mathcal{M}}^p_q$ 但 $\chi_E \notin \widetilde{{\mathcal{M}}}^p_q$，从而凸显了Morrey空间与块空间之间的本质区别。

实验结果

研究问题

• RQ1 块空间 ${\mathcal{B}}^{p'}_{q'}({\mathbb{R}}^n)$ 是否满足Fatou性质，即在对偶空间中弱*收敛是否能保证在预对偶空间中范数收敛？
• RQ2 在 $1 < q \leq p < \infty$ 条件下，块空间 ${\mathcal{B}}^{p'}_{q'}({\mathbb{R}}^n)$ 是否确实是Morrey空间 ${\mathcal{M}}^p_q({\mathbb{R}}^n)$ 的实际预对偶空间？
• RQ3 每个 $L^{q'}({\mathbb{R}}^n)$ 中的紧支集函数是否都能被分解为有限个 $(p',q')$-块之和，且系数和具有统一有界性？
• RQ4 在 $L^{p'}({\mathbb{R}}^n)$ 无法表示 ${\mathcal{M}}^p_q({\mathbb{R}}^n)$ 上所有有界线性泛函的背景下，Morrey空间 ${\mathcal{M}}^p_q({\mathbb{R}}^n)$ 与其潜在预对偶空间之间的精确关系是什么？
• RQ5 块空间与Morrey空间的对偶性与标准的 $L^p$-$L^{p'}$ 对偶性有何不同，特别是在泛函表示和收敛性质方面？

主要发现

• 块空间 ${\mathcal{B}}^{p'}_{q'}({\mathbb{R}}^n)$ 满足Fatou性质，即若序列 $\{f_k\}$ 在 ${\mathcal{B}}^{p'}_{q'}({\mathbb{R}}^n)$ 中弱*收敛于 $f$（在 ${\mathcal{M}}^p_q({\mathbb{R}}^n)$ 的对偶空间中），则有 $\|f\|_{{\mathcal{B}}^{p'}_{q'}({\mathbb{R}}^n)} \leq \liminf_{k \to \infty} \|f_k\|_{{\mathcal{B}}^{p'}_{q'}({\mathbb{R}}^n)}$。
• Morrey空间 ${\mathcal{M}}^p_q({\mathbb{R}}^n)$ 的预对偶空间正是块空间 ${\mathcal{B}}^{p'}_{q'}({\mathbb{R}}^n)$，从而解决了Morrey空间理论中长期悬而未决的问题。
• 对于任意非负、紧支集的函数 $f \in L^{q'}({\mathbb{R}}^n)$，存在有限分解 $f = \sum_{j=1}^N \lambda_j b_j$，其中 $b_j$ 为 $(p',q')$-块，且满足 $\sum_{j=1}^N \lambda_j \leq 8\|f\|_{{\mathcal{B}}^{p'}_{q'}({\mathbb{R}}^n)}$，其中常数 8 是有效的。
• 例子 $E = \bigcup_{k=1}^\infty (k-1+k^{p/(p-q)}, k+k^{p/(p-q)})$ 表明 $\chi_E \in {\mathcal{M}}^p_q({\mathbb{R}})$ 但 $\chi_E \notin \widetilde{{\mathcal{M}}}^p_q({\mathbb{R}})$，证明了Morrey空间严格大于具有有限 $\widetilde{{\mathcal{M}}}^p_q$-范数的函数空间。
• 存在 ${\mathcal{M}}^p_q({\mathbb{R}})$ 上的有界线性泛函，其不能由 $L^{p'}({\mathbb{R}}^n)$ 函数产生，例如一个在所有紧支集函数上为零但在 $\chi_E$ 上非零的泛函，这表明 $L^{p'}({\mathbb{R}}^n)$ 并非 ${\mathcal{M}}^p_q({\mathbb{R}}^n)$ 的预对偶空间。