[论文解读] Some maximal inequalities on Triebel-Lizorkin spaces for $p=\infty$

Bae Jun Park|arXiv (Cornell University)|Oct 3, 2017

Advanced Harmonic Analysis Research参考文献 15被引用 3

一句话总结

本文在端点 $ p = \infty $ 情况下建立了 Triebel-Lizorkin 空间的新极值不等式，引入了一种改进的极大算子 $ \mathcal{M}_r^{k,\epsilon} $，以克服经典 Fefferman-Stein 和 Peetre 型不等式在此情形下的失效。关键贡献在于建立了 $ \dot{F}_\infty^{s,q} $-型的精确极值不等式，使得在 dyadic 方块上的 $ \ell^q $-和有界，其在函数空间理论及指数条件的精确性结果方面具有应用。

ABSTRACT

In this work we give some maximal inequalities in Triebel-Lizorkin spaces, which are "$\dot{F}_{\infty}^{s,q}$-variants" of Fefferman-Stein vector-valued maximal inequality and Peetre's maximal inequality. We will give some applications of the new maximal inequalities and discuss sharpness of some results.

研究动机与目标

• 解决在 Triebel-Lizorkin 空间 $ \dot{F}_\infty^{s,q} $ 中，当 $ p = \infty $ 时经典 Fefferman-Stein 和 Peetre 极大不等式失效的问题。
• 开发一种新的极大算子 $ \mathcal{M}_r^{k,\epsilon} $，使其适应 $ \dot{F}_\infty^{s,q} $ 空间结构，并在 dyadic 方块上的 $ \ell^q $-和中恢复有界性。
• 证明新极值不等式中指数条件 $ r < q $ 的精确性，表明该条件是必要的。
• 为新不等式在函数空间理论中的应用提供支持，特别是在 $ BMO $ 和 $ bmo $ 空间背景下的应用。
• 将极大算子理论扩展至 $ p = \infty $ 的极限情形，其中由于缺乏 $ L^p $-有界性，标准工具失效。

提出的方法

• 引入一种改进的极大算子 $ \mathcal{M}_r^{k,\epsilon}f(x) $，其结合了 dyadic 方块上的局部 $ L^r $ 平均与大方块的衰减因子 $ (2^k l(Q))^{-\epsilon} $。
• 利用频率局部化 $ f_k \in \mathcal{E}(2^k) $，通过 $ \mathcal{M}_t^{k,\epsilon}f_k $ 控制 $ \mathfrak{M}_{\sigma,2^k}f_k $ 的行为，借助引理 1.2 建立点态比较。
• 证明主要极值不等式：当 $ 0 < r < q < \infty $ 时，$ \mathcal{M}_r^{k,\epsilon}f_k $ 在 dyadic 方块上的 $ \ell^q $-和受控于 $ |f_k| $ 在弱型 $ \dot{F}_\infty^{0,q} $-范数下的 $ \ell^q $-和。
• 通过构造在平移方块上支撑的振荡函数 $ f_k $ 的反例，表明经典 $ \mathcal{M}_r $ 在 $ p = \infty $ 时失效，即使 $ r < q $。
• 利用 Christ 和 Seeger 的随机构造技术证明 $ r < q $ 条件的精确性，表明若该条件不成立，不等式将失效。
• 将新不等式应用于推导 $ \dot{F}_\infty^{s,q} $-范数的有界性，并将其与 $ BMO $ 和 $ bmo $ 空间中的已知结果联系起来。

实验结果

研究问题

• RQ1 Fefferman-Stein 向量值极大不等式能否被推广到 Triebel-Lizorkin 空间中端点情形 $ p = \infty $？
• RQ2 为何经典极大算子在 $ \dot{F}_\infty^{s,q} $-框架下失效？需要何种结构上的修改才能恢复有界性？
• RQ3 $ \dot{F}_\infty^{s,q} $-框架中，不等式成立所需的指数条件 $ r < q $ 是否必要？
• RQ4 能否构造一种尊重 $ \dot{F}_\infty^{s,q} $ 空间 dyadic 与频率局部化结构的新极大算子？
• RQ5 在 dyadic 方块上的 $ \ell^q $-和中，极大算子有界性的指数 $ r, q $ 的精确条件是什么？

主要发现

• 经典 Fefferman-Stein 不等式在 $ p = \infty $ 时失效，即使 $ r < q $，反例显示当 $ f_k $ 支撑在平移方块上时该不等式不成立。
• 改进的极大算子 $ \mathcal{M}_r^{k,\epsilon} $ 满足关键不等式：对 $ 0 < r < q < \infty $，有 $ \left\| \left( \sum_k (\mathcal{M}_r^{k,\epsilon} f_k)^q \right)^{1/q} \right\|_{\dot{F}_\infty^{0,q}} \lesssim \left\| \left( \sum_k |f_k|^q \right)^{1/q} \right\|_{\dot{F}_\infty^{0,q}} $。
• 条件 $ r < q $ 是精确的：若 $ r \geq q $，则不等式失效，该结论通过随机构造及 $ \mathfrak{M}_{\sigma,2^k} $ 算子得到验证。
• 对 $ f_k \in \mathcal{E}(2^k) $，当 $ r < t $ 时，有 $ \mathfrak{M}_{d/r,2^k}f_k $ 被 $ \mathcal{M}_t^{k,d(1/r-1/t)}f_k $ 点态控制，从而可将 $ \mathcal{M}_r^{k,\epsilon} $ 用于替代 $ \mathcal{M}_r $。
• 不等式在所有 dyadic 方块 $ P $ 上一致成立，其范数由 $ \sup_P \left( \frac{1}{|P|} \int_P \sum_k |f_k(x)|^q dx \right)^{1/q} $ 定义，该式刻画了 $ \|f\|_{\dot{F}_\infty^{0,q}} $。
• 精确性结果表明，对 $ \sigma \leq d/q $，有 $ \sup_P \left( \frac{1}{|P|} \int_P \sum_k (\mathfrak{M}_{\sigma,2^k}f_k^\mu)^q dx \right)^{1/q} \gtrsim \max\{2^{N(d/q - \sigma)}, N^{1/q}\} $，从而证明了 $ r < q $ 的必要性。