[论文解读] Haar system as Schauder basis in Besov spaces: The limiting cases for 0 < p <= 1

Peter Oswald|arXiv (Cornell University)|Aug 24, 2018

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

一句话总结

该论文在临界极限情形 s = d(1/p − 1) 下，针对 0 < p < 1 且 0 < q ≤ p 的情况，确立了 d 维 Haar 系在经典与基于差分的 Besov 空间中的 Schauder 基性质。通过原子分解与局部均值方法，证明了在这些条件下，Haar 系在 Bs_p,q,1(Id) 和 Bs_p,q(Id) 中构成 Schauder 基，从而解决了自 1979 年以来遗留的最后一个开放问题。该结果完成了对 0 < p ≤ 1 范围内 Haar 基性质的完整刻画。

ABSTRACT

We show that the d-dimensional Haar system H^d on the unit cube I^d is a Schauder basis in the classical Besov space B_{p,q,1}^s(I^d), 0<p<1, defined by first order differences in the limiting case s=d(1/p-1), if and only if 0<q\le p. For d=1 and p<q, this settles the only open case in our 1979 paper [4], where the Schauder basis property of H in B_{p,q,1}^s(I) for 0<p<1 was left undecided. We also consider the Schauder basis property of H^d for the standard Besov spaces B_{p,q}^s(I^d) defined by Fourier-analytic methods in the limiting cases s=d(1/p-1) and s=1, complementing results by Triebel [7].

研究动机与目标

• 解决自 1979 年以来未解的难题：在 0 < p < 1 且 p < q < ∞ 的条件下，d 维 Haar 系在临界参数 s = d(1/p − 1) 下是否构成 Besov 空间 Bs_p,q,1(Id) 中的 Schauder 基。
• 完成对 0 < p ≤ 1 全范围下，基于差分与傅里叶分析的 Besov 空间中 Haar 系 Schauder 基性质的完整刻画。
• 解决 Haar 系在 Besov 空间 Bs_p,q(Id) 中 s = d(1/p − 1) 和 s = 1 处的极限情形，填补早期研究留下的空白。
• 将早期单变量结果推广至多变量情形，特别是 d > 1 的情况，采用原子分解与局部均值技术。

提出的方法

• 利用 Besov 空间中函数的原子分解，分析 Haar 系数与部分和算子的行为。
• 通过光滑核对 Besov 范数的局部均值刻画，控制部分投影的拟范数。
• 采用 dyadic 分解与核的矩条件，估计局部均值算子的 Lp 拟范数。
• 通过控制函数与其 dyadic 投影之间差值的 Lp 范数，建立部分和算子的一致有界性。
• 将文献 [4] 中的单变量反例适配至多变量情形，以证明在临界参数范围内有界性与系数泛函扩展的失败。
• 通过比较基于差分与傅里叶分析的 Besov 范数，证明在 d/(d+1) < p ≤ 1 范围内二者等价。

实验结果

研究问题

• RQ1 当 s = d(1/p − 1) 且 0 < p < 1、0 < q ≤ p 时，d 维 Haar 系是否构成 Bs_p,q,1(Id) 中的 Schauder 基？
• RQ2 当 s = d(1/p − 1) 且 q > p 时，Haar 系在 Bs_p,q,1(Id) 中的 Schauder 基性质如何？
• RQ3 在端点 s = d(1/p − 1) 处，对于 d/(d+1) < p < 1 且 0 < q ≤ p，Haar 系是否构成标准 Besov 空间 Bs_p,q(Id) 中的 Schauder 基？
• RQ4 为何当 s = 1 且 d/(d+1) ≤ p < 1、0 < q < ∞ 时，Haar 展开在 Bs_p,q(Id) 中不收敛？
• RQ5 当 s = d(1/p − 1) 且 q > 1 时，Haar 展开的系数泛函能否扩展为 Bs_p,q(Id) 上的有界线性泛函？

主要发现

• 当 d ≥ 1 且 d/(d+1) < p < 1 时，d 维 Haar 系构成 Bs_p,q,1(Id) 中的 Schauder 基，当且仅当 s = d(1/p − 1) 且 0 < q ≤ p。
• 当 s = d(1/p − 1) 且 p < q ≤ 1 时，Haar 展开的部分和算子在 Bs_p,q,1(Id) 上不一致有界，表明基性质不成立。
• 当 s = d(1/p − 1) 且 1 < q < ∞ 时，Haar 系张成空间上的系数泛函无法扩展为 Bs_p,q,1(Id) 上的有界线性泛函，因此该系统不是 Schauder 基。
• 当 d/(d+1) ≤ p < 1 且 0 < q < ∞ 时，Haar 系在 s = 1 处不构成 Bs_p,q(Id) 中的 Schauder 基，通过 f(x) = x1 + ... + xd 的展开发散性得以证明。
• 对于标准 Besov 空间 Bs_p,q(Id)，当 d/(d+1) < p < 1 且 0 < q ≤ p 时，Haar 系在 s = d(1/p − 1) 处构成 Schauder 基，从而完成完整刻画。
• 结果可推广至整个空间 Rd，p、q、s 的条件保持不变，且 Haar 系在相同参数约束下仍为 Schauder 基。