[論文レビュー] A PDE Characterization of Anisotropic Hardy Spaces

Marcin Bownik, Li-An Daniel Wang|arXiv (Cornell University)|Nov 20, 2020

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

ひとこと要約

本稿は、非等方的倍長行列によって誘導される連続的拡大群を介して、非等方的ハーディー空間 $H_A^p$ を放物型ハーディー空間と関連付けることにより、非等方的ハーディー空間 $H_A^p$ のPDE的特徴付けを確立する。主な結果は、$H_A^p$ が連続的拡大群 $\{A_t\}$ に関連する放物型ハーディー空間 $H_{\{A_t\}}^p$ と一致することであり、その基本解が空間を定義する放物型PDEを通じた微分的特徴付けが可能になる。

ABSTRACT

We obtain a differential characterization for the anisotropic Hardy space $H_A^p$ by identifying it with a parabolic Hardy space associated with a general continuous group. This allows $H_A^p$ to be defined using a parabolic differential equation of Calderon and Torchinsky. We also provide a classification of dilations corresponding to equivalent anisotropic Hardy spaces with respect to linear transformations.

研究の動機と目的

• 非等方的ハーディー空間 $H_A^p$ が偏微分方程式（PDE）によって特徴付けられるかどうかという未解決問題を解消すること。
• 非等方的ハーディー空間と連続的拡大群に関連する放物型ハーディー空間との間の関係を確立すること。
• 線形変換の下での非等方的ハーディー空間の分類を是正・拡張すること、特に先行研究における誤りを是正すること。
• 同じ連続的拡大群に関連する異なる同次準ノルムが、$0 < p \leq 1$ の場合に同一のハーディー空間を生成するかどうかを調査すること。

提案手法

• 非等方的倍長行列を扱えるように一般化された連続的拡大群 $\{A_t\}_{t>0}$ のクラスを導入する。
• 基本解 $\tilde{\Phi}_t(x) = t^{-1}\Phi(A_t^{-1}x)$ を持つ形の放物型PDE $\frac{\partial u}{\partial t} = \frac{1}{t}(D_t^{-1}\Delta D_t)u$ を構成する。ここで $D_t$ は拡大作用素である。
• 非等方的ハーディー空間 $H_A^p$ を、その最大関数 $\sup_{\tilde{\rho}(x-y) < t} |(\tilde{\Phi}_t * f)(x)|$ が $L^p$ に属するテンパレート分布 $f$ の空間として定義する。
• すべての非等方的倍長行列 $A$ が、同じ幾何的構造を保存する一意の連続的拡大群 $\{A_t\}$ を生成することを証明し、$H_A^p = H_{\{A_t\}}^p$ の同定を可能にする。
• 放物型ハーディー空間の理論および基本解を用いて、$H_A^p$ と $\{A_t\}$ に関連する放物型ハーディー空間との同値性を確立する。
• 同次型空間の理論を用いて、関連するPDE作用素 $L$ の非対角線推定およびDavies-Gaffney性質を分析する。

実験結果

リサーチクエスチョン

• RQ1 すべての非等方的ハーディー空間 $H_A^p$ は、放物型微分作用素の基本解を用いたPDE的特徴付けを有するか？
• RQ2 非等方的ハーディー空間 $H_A^p$ は、連続的拡大群 $\{A_t\}$ に関連する放物型ハーディー空間と同定可能か？
• RQ3 同じ連続的拡大群 $\{A_t\}$ に関連する2つの異なる同次準ノルム $\tilde{\rho}_1$ と $\tilde{\rho}_2$ が、$0 < p \leq 1$ の場合に同一のハーディー空間 $H_L^p$ を生成するか？
• RQ4 群 $\{A_t\}$ に関連するPDEの基本解は、Davies-Gaffneyの非対角線推定を満たすか？
• RQ5 線形変換は非等方的ハーディー空間の同値性にどのように影響するか。このような変換の下での空間の正しい分類は何か？

主な発見

• 非等方的ハーディー空間 $H_A^p$ は、非等方的倍長行列 $A$ によって誘導される連続的拡大群 $\{A_t\}$ に関連する放物型ハーディー空間 $H_{\{A_t\}}^p$ と正確に一致する。これにより、完全なPDE的特徴付けが確立される。
• PDE (1.1) の解 $u(x,t) = f * \tilde{\Phi}_t(x)$ は、$\sup_{\tilde{\rho}(x-y) < t} |(\tilde{\Phi}_t * f)(x)| \in L^p$ を満たすことが、かつそのときに限り $f \in H_A^p$ であることが示され、最大関数による特徴付けが得られる。
• 本稿は [2] の定理10.3を是正・拡張し、線形変換の下での非等方的ハーディー空間の分類を洗練させ、2つの行列が誘導するハーディー空間が同値であるための必要十分条件が、群構造を保存する線形変換による共役であることを示している。
• $p > 1$ の場合、ハーディー空間 $H_A^p$ と $H_{\{A_t\}}^p$ は $L^p$ と一致するが、古典的結果に整合する。一方、$0 < p \leq 1$ の場合、異なる準ノルムが使われる際の同値性は未解決のまま残っている。
• PDE (1.1) の基本解 $\tilde{\Phi}_t$ は、$\tilde{\rho}(A_t x) = t \tilde{\rho}(x)$ を満たす同次性を有しており、拡大群の幾何構造と整合性を保つ。
• 本稿は、同じ連続的群に関連する2つの異なる準ノルムが $0 < p \leq 1$ の場合に同一のハーディー空間を生成するかという問題を未解決のまま残しているが、積のポisson核 $Q$ に対して $H^p \subseteq H_Q^p$ が成り立つことを示しており、逆包含は未解決である。