[论文解读] On the properties of quasi-Banach function spaces

Aleš Nekvinda, Dalimil Peša|arXiv (Cornell University)|Apr 20, 2020

Advanced Harmonic Analysis Research参考文献 30被引用 7

一句话总结

本文建立了拟巴拿赫函数空间的基础性质，证明了广义的 Riesz–Fischer 定理，从而为它们的完备性提供了另一种证明。研究表明，此类空间之间的嵌入总是连续的，重排不变的拟巴拿赫函数空间上的伸缩算子是有界的，并且对欧几里得空间上的可分性给出了完整的刻画，显著推进了拟范数函数空间理论，具有广泛的应用前景。

ABSTRACT

In this paper we explore some basic properties of quasi-Banach function spaces which are important in applications. Namely, we show that they posses a generalised version of Riesz--Fischer property, that embeddings between them are always continuous and that the dilation operator is bounded on them. We also provide a characterisation of separability for quasi-Banach function spaces over the Euclidean space. Furthermore, we extend the classical Riesz--Fischer theorem to the context of quasinormed spaces and, as a consequence, obtain an alternative proof of completeness of quasi-Banach function spaces.

研究动机与目标

• 为解决拟巴拿赫函数空间缺乏基础理论的问题，尽管这类空间在现代函数空间理论中至关重要，但其发展仍不充分。
• 为拟巴拿赫函数空间建立广义的 Riesz–Fischer 性质，从而为它们的完备性提供一种新证明。
• 证明拟巴拿赫函数空间之间的嵌入总是连续的，这一结果在函数空间理论中具有广泛影响。
• 对 n 维欧几里得空间上的拟巴拿赫函数空间的可分性进行完整刻画。
• 证明在重排不变的拟巴拿赫函数空间上，伸缩算子是有界的，从而将经典结果推广到拟范数情形。

提出的方法

• 为拟范数空间量身定制广义的 Riesz–Fischer 条件，将经典的 Riesz–Fischer 定理推广到拟巴拿赫情形。
• 利用重排不变的拟巴拿赫函数空间的凹性模 $ C $ 来控制伸缩算子 $ D_a $ 的算子范数。
• 定义辅助算子 $ S_1, S_2 $，并利用其性质，通过极大函数 $ D_{3/2} $ 将函数的重排范数与缩放版本联系起来。
• 通过拟范数空间中的三角不等式与凹性模建立一系列不等式，将 $ \|D_a f\|_X $ 控制在 $ \|f\|_X $ 的范围内。
• 使用 dyadic 分解与缩放论证，对 $ a < 1 $ 的情形控制 $ \|D_a\| $，利用 $ \|D_b\| \leq 2C $ 的界，其中 $ b = (2/3)^{1/n} $。
• 通过 $ D_1 $ 的恒等性质控制 $ a \geq 1 $ 时的 $ D_a $ 有界性，并结合缩放关系推导出完整的范数估计。

实验结果

研究问题

• RQ1 经典 Riesz–Fischer 定理是否可推广到拟范数空间？若可，广义版本与巴拿赫情形有何不同？
• RQ2 拟巴拿赫函数空间之间的嵌入是否总是连续的？何种结构性质保证了这一点？
• RQ3 在 $ \mathbb{R}^n $ 上，拟巴拿赫函数空间可分性的精确条件是什么？它与底层测度空间有何关联？
• RQ4 在重排不变的拟巴拿赫函数空间上，伸缩算子是否是有界的？其算子范数能否显式估计？
• RQ5 能否通过广义 Riesz–Fischer 性质重新证明拟巴拿赫函数空间的完备性？这对理论有何影响？

主要发现

• 广义 Riesz–Fischer 定理在拟巴拿赫函数空间上成立，通过修改的收敛准则为它们的完备性提供了新证明。
• 拟巴拿赫函数空间之间的嵌入总是连续的：$ X \subseteq Y $ 蕴含 $ X \hookrightarrow Y $，该结果在函数空间理论中具有广泛适用性。
• 在任意重排不变的拟巴拿赫函数空间上，伸缩算子 $ D_a $ 是有界的，其算子范数满足 $ \|D_a\| \leq 2C a^{\log(2C)/\log(b)} $，其中 $ a \in (0,1) $，且 $ b = (2/3)^{1/n} $。
• 对 $ \mathbb{R}^n $ 上的拟巴拿赫函数空间，获得了可分性的完整刻画，将其与底层测度空间的结构及空间的表示形式联系起来。
• 当 $ a \in [1,\infty) $ 时，$ D_a $ 的算子范数是一致有界的，且 $ \|D_a\| \leq 1 $，这是由于 $ D_1 $ 的恒等性质以及范数在缩放下单调性所致。
• 通过将函数分解为两部分，并与 $ D_{3/2} $-算子比较，利用非增重排和测度保持性质，推导出 $ \|D_b\| $ 的界，其中 $ b = (2/3)^{1/n} $。