[论文解读] A new framework for generalized Besov-type and Triebel-Lizorkin-type spaces

Yiyu Liang, Dachun Yang+3 more|arXiv (Cornell University)|May 14, 2012

Advanced Harmonic Analysis Research参考文献 88被引用 10

一句话总结

本文提出了一种基于Peetre极大函数的新框架，用于广义Besov型与Triebel-Lizorkin型函数空间，避免依赖Hardy-Littlewood极大不等式或向量值极大不等式。该框架实现了原子与分子表征，建立了傅里叶乘子与伪微分算子的有界性，并将Morrey、Orlicz及变指数Lebesgue空间等多种函数空间统一于同一理论结构之下。

ABSTRACT

In this paper, the authors propose a new framework under which a theory of generalized Besov-type and Triebel-Lizorkin-type function spaces is developed. Many function spaces appearing in harmonic analysis fall under the scope of this new framework. Among others, the boundedness of the Hardy-Littlewood maximal operator or the related vector-valued maximal function on any of these function spaces is not required to construct these generalized scales of smoothness spaces. Instead of this, a key idea used in this framework is an application of the Peetre maximal function. This idea originates from recent findings in the abstract coorbit space theory obtained by Holger Rauhut and Tino Ullrich. Under this new setting, the authors establish the boundedness of pseudo-differential operators based on atomic and molecular characterizations and also the boundedness of the Fourier multipliers. The characterizations of these function spaces by means of differences and oscillations are also established. As further applications of this new framework, the authors reexamine and polish some existing results for many different scales of function spaces.

研究动机与目标

• 开发一个统一的理论框架，用于广义Besov型与Triebel-Lizorkin型函数空间，超越经典Lebesgue与Sobolev尺度。
• 消除在构建这些函数空间时对Hardy-Littlewood极大算子有界性或向量值极大不等式的假设需求。
• 在新框架下建立原子与分子分解、伪微分算子与傅里叶乘子的有界性，以及通过差分与振荡进行的表征。
• 在统一的理论框架下重新表述并优化现有关于多种函数空间（如Morrey、Orlicz、Herz及变指数Lebesgue空间）的研究结果。

提出的方法

• 以共形空间理论为灵感，将Peetre极大函数作为核心工具，用于定义与表征函数空间，而无需依赖极大算子有界性。
• 通过权函数 $ w $、参数 $ \tau $ 及满足公理(A1)–(A5)的函数空间 $ \tilde{\mathcal{L}} $，定义广义函数空间 $ A^{w, au}_{{\tilde{\mathcal{L}}},q,a}({{{\mathbb{R}}}^{n}}) $。
• 通过构造适配于Peetre极大函数与 dyadic 分解的原子与分子，建立原子与分子分解。
• 利用Peetre极大函数定义范数：$ \|f\|_{{\mathcal{L}}_{q,\phi,d}({{{\mathbb{R}}}^{n}})} := \sup_{(x,t)} \frac{1}{\phi(x,t)} \|f - P^{d}_{Q(x,t)}f\|_{L^\infty(Q(x,t))} $，将其与Campanato型空间联系起来。
• 通过将Peetre极大函数与局部振荡及差分算子关联，推导出基于差分与振荡的表征。
• 利用原子分解与新范数结构，证明傅里叶乘子与伪微分算子的有界性，且估计在广义尺度上具有一致性。

实验结果

研究问题

• RQ1 能否为广义Besov型与Triebel-Lizorkin型空间构建一个不依赖极大算子有界性的统一框架？
• RQ2 在该新框架下，如何利用Peetre极大函数建立原子与分子分解？
• RQ3 该新函数空间框架与经典空间（如Morrey、Orlicz及变指数Lebesgue空间）之间存在何种关系？
• RQ4 能否在该广义设定下建立傅里叶乘子与伪微分算子的有界性？
• RQ5 差分与振荡如何表征新函数空间？参数 $ a $ 在此情境中起何作用？

主要发现

• 新框架成功构建了广义Besov型与Triebel-Lizorkin型空间，且无需假设Hardy-Littlewood极大算子在基底空间上有界。
• 为广义空间 $ A^{w, au}_{{\tilde{\mathcal{L}}},q,a}({{{\mathbb{R}}}^{n}}) $ 建立了原子与分子分解，且分解常数与函数无关。
• 通过原子分解与Peetre极大函数技术，证明了傅里叶乘子在这些广义空间上的有界性。
• 在新框架下，符号属于H"ormander类 $ S^0_{1,0} $ 的伪微分算子被证明在广义函数空间上有界。
• 建立了基于差分与振荡的表征，且在公理(A1)–(A5)下，振荡范数与Peetre极大函数范数等价。
• 该框架统一并重新诠释了现有空间：Campanato空间 $ \mathcal{L}_{q,\phi,d}({{{\mathbb{R}}}^{n}}) $、$ \mathcal{L}^{D}_{q,\phi}({{{\mathbb{R}}}^{n}}) $ 及广义Campanato空间在 $ \tau = 0 $、$ q = \infty $ 且 $ a > N_0 + \log_2(M_2/M_1) $ 时均属于新理论的范畴。