[论文解读] Littlewood-Paley Characterizations of Hajłasz-Sobolev and Triebel-Lizorkin Spaces via Averages on Balls

Der‐Chen Chang, Jun Liu+2 more|arXiv (Cornell University)|Jan 14, 2016

Advanced Harmonic Analysis Research参考文献 20被引用 4

一句话总结

本论文通过函数与其球平均之间的差值，在同类型空间上建立了 Hajłasz-Sobolev 空间与 Triebel-Lizorkin 空间的新型 Littlewood-Paley 特征刻画。研究证明，光滑性指标 α ∈ (0,2) 可通过基于 f(x) − Btf(x) 构造的 Lusin-area 函数与 gλ∗-函数来捕捉，关键结果表明：涉及球平均的点态不等式可刻画 Fαp,q 空间，包括 α = 2 时的端点情况 F²p,2，但无法刻画 F²p,∞。

ABSTRACT

Let $p\in(1,\infty)$ and $q\in[1,\infty)$. In this article, the authors characterize the Triebel-Lizorkin space ${F}^α_{p,q}(\mathbb{R}^n)$ with smoothness order $α\in(0,2)$ via the Lusin-area function and the $g_λ^*$-function in terms of difference between $f(x)$ and its average $B_tf(x):=\frac1{|B(x,t)|}\int_{B(x,t)}f(y)\,dy$ over a ball $B(x,t)$ centered at $x\in\mathbb{R}^n$ with radius $t\in(0,1)$. As an application, the authors obtain a series of characterizations of $F^α_{p,\infty}(\mathbb{R}^n)$ via pointwise inequalities, involving ball averages, in spirit close to Hajłasz gradients, here an interesting phenomena naturally appears that, in the end-point case when $α=2$, these pointwise inequalities characterize the Triebel-Lizorkin spaces $F^2_{p,2}(\mathbb{R}^n)$, while not $F^2_{p,\infty}(\mathbb{R}^n)$. In particular, some new pointwise characterizations of Hajłasz-Sobolev spaces via ball averages are obtained. Since these new characterizations only use ball averages, they can be used as starting points for developing a theory of Triebel-Lizorkin spaces with smoothness orders not less than $1$ on spaces of homogeneous type.

研究动机与目标

• 在同类型空间上，发展 Triebel-Lizorkin 空间 Fαp,q（光滑性指标 α ∈ (0,2)）的点态、基于球平均的特征刻画。
• 通过球平均引入高阶差分，将 Hajłasz-Sobolev 空间的理论从一阶梯度推广至更高阶。
• 基于 f(x) − Btf(x) 构造 Lusin-area 函数与 gλ∗-函数，建立 Fαp,q 的等价特征刻画，从而在度量测度空间上构建高阶光滑性的理论框架。
• 研究 α = 2 时的端点行为，表明此类点态不等式可刻画 F²p,2，但无法刻画 F²p,∞。

提出的方法

• 作者使用 Calderón 重构公式，将 Lusin-area 函数与 gλ∗-函数定义为 f(x) − Btf(x) 的形式，其中 Btf(x) 表示 f 在球 B(x,t) 上的平均值。
• 在缺乏微分结构的度量测度空间中，采用球平均 Btf(x) = ∫B(x,t) f(y) dy / |B(x,t)| 作为导数的替代工具。
• 关键技术路径在于证明 Triebel-Lizorkin 范数与基于 |f(x) − Btx| 构造的 gλ∗-函数或 Lusin-area 函数的 Lp 范数之间的等价性。
• 作者推导出涉及 tα 与非负函数 g ∈ Lp(X) 的平均值的点态不等式，将 f(x) − Btx 的大小与 g 的局部行为联系起来。
• 在定理 3.2 与定理 3.3 中，建立六种不同的点态条件 (i)–(vi) 的等价性，表明在适当的可积性与光滑性假设下，所有条件均刻画同一函数空间。
• 证明过程遵循 [7, 定理 3.5 与 3.6] 的结构，但已适配至同类型空间上基于球平均与 Lp 范数的设定。

实验结果

研究问题

• RQ1 能否通过基于 f(x) − Btf(x) 构造的 Lusin-area 函数与 gλ∗-函数，刻画同类型空间上 α ∈ (0,2) 的 Triebel-Lizorkin 空间 Fαp,q？
• RQ2 涉及 f(x) − Btx 与 g ∈ Lp(X) 平均值的点态不等式，是否可在同类型空间上提供 Fαp,q 空间的等价刻画？
• RQ3 在端点 α = 2 时情况如何？F²p,∞ 是否与 F²p,2 具有相同的刻画方式？
• RQ4 球平均本身是否足以替代导数，用于在度量测度空间上定义高阶 Sobolev 与 Triebel-Lizorkin 空间？
• RQ5 定理 3.2 与定理 3.3 中的六种点态条件 (i)–(vi) 是否完全等价？

主要发现

• 对于 α ∈ (0,2)，p ∈ (1,∞)，q ∈ [1,∞)，Triebel-Lizorkin 空间 Fαp,q(ℝⁿ) 可通过基于 f(x) − B2⁻ᵏf(x) 构造的 Lusin-area 函数与 gλ∗-函数进行刻画，所得范数与标准的 Fαp,q 范数等价。
• 对于 α ∈ (0,2)，点态不等式 |f(x) − Btx| ≤ C tα ∫B(x,ct) g(y) dμ(y) 可刻画 Fαp,q 空间，其中 g ∈ Lp(X)，C > 0 与 x、t 无关。
• 在端点 α = 2 时，相同的点态不等式可刻画 F²p,2(ℝⁿ)，但无法刻画 F²p,∞(ℝⁿ)，揭示了端点情况下行为的关键差异。
• 作者在定理 3.2 与定理 3.3 中建立了六种等价的点态条件 (i)–(vi)，所有条件均通过球平均与 g 的 tα 加权局部平均刻画 Fαp,q 空间。
• 结果为在同类型空间上仅使用球平均定义光滑性指标 ≥1 的 Triebel-Lizorkin 与 Hajłasz-Sobolev 空间提供了新框架。
• 尽管已证明定理 3.2 中的 (i) 蕴含定理 3.3 中的 (iv)，但定理 3.2 与定理 3.3 中条件之间的等价性仍为开放问题。