[论文解读] Square Function Estimates and Functional Calculi

Bernhard H. Haak, Markus Haase|arXiv (Cornell University)|Nov 3, 2013

Holomorphic and Operator Theory参考文献 40被引用 8

一句话总结

本文引入了一种使用 γ-径道化算子的平方函数估计的抽象框架，将经典的 Littlewood–Paley 理论推广至巴拿赫空间。研究证明，在具有有限 cotype 的空间上，若某类条带型算子的标量 H∞-演算有界，则其向量值 H∞-演算在更大条带上亦有界，该结果基于新型工具如 ℓ₁-框架有界性与积分表示。

ABSTRACT

In this paper the notion of an abstract square function (estimate) is introduced as an operator X to gamma (H; Y), where X, Y are Banach spaces, H is a Hilbert space, and gamma(H; Y) is the space of gamma-radonifying operators. By the seminal work of Kalton and Weis, this definition is a coherent generalisation of the classical notion of square function appearing in the theory of singular integrals. Given an abstract functional calculus (E, F, Phi) on a Banach space X, where F (O) is an algebra of scalar-valued functions on a set O, we define a square function Phi_gamma(f) for certain H-valued functions f on O. The assignment f to Phi_gamma(f) then becomes a vectorial functional calculus, and a "square function estimate" for f simply means the boundedness of Phi_gamma(f). In this view, all results linking square function estimates with the boundedness of a certain (usually the H-infinity) functional calculus simply assert that certain square function estimates imply other square function estimates. In the present paper several results of this type are proved in an abstract setting, based on the principles of subordination, integral representation, and a new boundedness concept for subsets of Hilbert spaces, the so-called ell-1 -frame-boundedness. These abstract results are then applied to the H-infinity calculus for sectorial and strip type operators. For example, it is proved that any strip type operator with bounded scalar H-infinity calculus on a strip over a Banach space with finite cotype has a bounded vectorial H-infinity calculus on every larger strip.

研究动机与目标

• 通过 γ-径道化算子将经典平方函数估计从 Lp-空间推广至任意巴拿赫空间。
• 在抽象框架下统一并扩展平方函数估计与函数演算有界性之间关系的结果。
• 利用 ℓ₁-框架有界性与积分表示，建立向量值 H∞-演算有界性的新判据。
• 将该抽象框架应用于扇形算子与条带型算子，特别是证明 H∞-演算有界性可向更大条带传播。

提出的方法

• 通过映射 f ↦ Φγ(f) 定义向量值函数演算，其中 Φγ(f) 是与函数演算 (E, F, Φ) 关联的 γ-径道化算子。
• 在希尔伯特空间的子集上引入 ℓ₁-框架有界性概念，作为算子族的新有界性准则。
• 利用次序化与积分表示（例如柯西–高斯、拉普拉斯）关联不同的平方函数估计。
• 应用迹对偶性与 γ-空间的性质，刻画所得向量值函数演算的有界性。
• 利用 γ-径道化算子的理想性质及其与高斯和的联系，推导估计式。
• 借助底层巴拿赫空间的有限 cotype 性质，控制向量值演算中算子范数的增长。

实验结果

研究问题

• RQ1 在何种条件下，条带型算子的标量 H∞-演算有界性可推出其在更大条带上的向量值 H∞-演算有界性？
• RQ2 如何通过次序化与积分表示系统地关联抽象平方函数估计？
• RQ3 ℓ₁-框架有界性在刻画向量值函数演算有界性方面起何种作用？
• RQ4 在哪些巴拿赫空间中，标量 H∞-演算的有界性可推出向量值 H∞-演算的有界性？
• RQ5 该框架能否统一并推广调和分析与函数演算中已知的平方函数估计？

主要发现

• 任何在具有有限 cotype 的巴拿赫空间上具有有界标量 H∞-演算的条带型算子，均在每个更大的条带上具有有界向量值 H∞-演算。
• 希尔伯特空间上 ℓ₁-框架有界算子的类与希尔伯特–施密特算子的类完全一致，提供了明确的刻画。
• 嵌入 W₁²(ℝ) ↪ L₂(ℝ) 是 ℓ₁-框架有界的，且更一般地，当 α > 1 时，W₁^α(ℝ) ↪ L₂(ℝ) 也是 ℓ₁-框架有界的。
• 阿贝尔空间 A(ℝ) 到 L₂(ℝ) 的典范嵌入目前尚不知是否为 ℓ₁-框架有界，但通过加伯框架分析，已证明 W₁²(ℝ) ↪ L₂(ℝ) 是 ℓ₁-框架有界的。
• 该框架允许通过柯西–高斯与拉普拉斯变换等积分表示，实现平方函数估计的传递。
• 对于取值于希尔伯特空间的函数，ℓ₁-框架有界性可保证其关联的 γ-径道化算子有界，从而支持一致的向量值函数演算的构造。