$\mathrm{L}^p$ bounds for parabolic Riesz transforms with rough coefficients: The case $1<p \leq 2$

技術要約：粗い係数を持つ放物型リーゼッシュ変換の $L^p$ 有界性

問題設定
本論文は、$\mathbb{R}^{n+1}$ 上の非自己共役な、発散形式の2次放物型微分作用素に関連するリーゼッシュ変換の有界性を扱う。作用素は $H = \partial_t - \text{div}_x(A(x,t)\nabla_x)$ として定義される。ここで、係数行列 $A$ は、すべての時空変数に依存し、有界、可測、かつ楕円的である。関連するリーゼッシュ変換は、$D = (\nabla_x, D_t^{1/2})$ を用いて $R_H = D H^{-1/2}$ と定義される。ここで $D_t^{1/2}$ は、1/2次の分数階時間微分を含む放物型勾配である。

このような作用素に対する $L^2$ 有界性は、放物型カトー問題（parabolic Kato problem）の解決を通じて確立されていたが、 $p \neq 2$ の $L^p$ 空間への拡張は依然として重要な課題であった。粗い係数を持つ楕円型の設定では、$L^p$ 有界性は滑らかさの欠如により通常 $1 < p < 2$ の指数範囲に制限される。また、双対性の議論は $p > 2$ に対しては成立しない。放物型作用素の場合、時間微分の非局所的な性質（$D_t^{1/2}$）と、可測な係数による空間変数と時間変数の結合によって状況はさらに複雑化しており、変数分離を行う古典的なフーリエ乗数法の手法の適用を妨げている。

手法と主要なアイデア
著者らは、作用素のカーネルの限定的な時空減衰を扱うために、2つの補完的な幾何学構造に基づく新しい補外（extrapolation）フレームワークを開発している。

1. 小スケール（Small Scales）: 作用素の局所的な幾何学を反映する放物型キューブ $\Delta_r(x,t) = Q_r(x) \times I_r(t)$。
2. 大スケール（Large Scales）: 放物型ベッセルポテンシャルの半次時間微分のレベルセットをモデルとした領域。これらは、時間次元が空間次元に対して $N^2$ 倍引き伸ばされた「時間的に引き伸ばされた（time-stretched）」アニュラス（環状領域）である。

核心となる技術的戦略は、一族の作用素 $(\lambda D E_\lambda)_{\lambda > 0}$ （ここで $E_\lambda = (1 + \lambda^2 H)^{-1}$ はレゾルベント）に対する**時空オフダイアゴナル推定（space-time off-diagonal estimates）**を確立することである。$L^2$ エネルギー推定と $L^p$ 有界性を補間することに依存していた従来のアプローチとは異なり、著者らは真の $L^p$ オフダイアゴナル推定を導出している。これは、非局所的な分数階微分 $D_t^{1/2}$ の存在により、標準的な補間を用いて $2$の下方の放物型ソボレフ共役数$2^\star$未満の$p$に対して、基礎となる$L^2$ 推定値だけでは十分な減衰が得られないためである。

証明は、放物型ソボレフ共役に従った**ブートストラップ引数（bootstrapping argument）**を通じて進行する。補外基準（具体的には、Blunck–Kunstmann 基準の2スケール版、および限定的な減衰を持つ作用素のための新しい基準）を反復的に適用することで、有界性の範囲を $p=2$ から臨界指数まで拡張する。

主要な貢献と結果

1. 最大範囲の特定: 本論文は、すべての変数に可測に依存する係数を持つ非自己共役な放物型作用素に関するリーゼッシュ変換の最初の $L^p$ 有界性を確立した。$R_H$ が有界となる指数の最大開範囲を特定している。

   • 定理 1.3: 複素係数の場合、$R_H$ はすべての $p \in (p_-(H), 2]$ に対して $L^p$ で有界である。著者らは $p_-(H) = q_-(H)$ であること（ここで $q_-(H)$ は勾配族のインフィマムである）を証明し、この値が区間 $[1, 2^\star)$ に存在することを示す。ここで $2^\star = \frac{2(n+2)}{n+4}$ は 2 の下方の放物型ソボレフ共役数である。

2. 実係数: 係数 $A$ が実数値である場合、著者らは $p_-(H) = 1$ であることを証明している。したがって、リーゼッシュ変換は全範囲 $1 < p \leq 2$ において $L^p$ 有界である。さらに、空間勾配成分 $\nabla_x H^{-1/2}$ は弱 $(1,1)$ 型であることが示されている。

3. 鋭さ（Sharpness）: これらの結果は、空間次元 $n \geq 2$ の放物型作用素のクラスにおいて鋭いことが示されている。Mooney によって構成された不規則な弱解を用いることで、任意の $\epsilon > 0$ に対して、 $p_-(H) \geq 2^\star - \epsilon$ となる係数が存在することを証明している。これにより、一般的な複素数の場合、補外範囲の下限を追加の仮定なしに 1 に改善できないことが確認された。

4. 新しい補外フレームワーク: 標準的な同次型空間に適合しない「限定的な時空減衰」を持つ作用素に特化した有界性基準（定理 5.1）を導入している。このフレームワークにより、既知の有界な指数 $q$ から補外引数を再開することで、有界性を $L^2$ から臨界指数へと反復的に拡張することが可能となる。

意義と主張
本論文は、単に可測な係数に依存し、すべての変数に依存する非自己共役な放物型作用座に関連するリーゼッシュ変換の $L^p$ 有界性に関する最初の結果を提供すると主張している。その意義は、空間変数と時間変数の結合、および時間微分の非局所性を克服した点にある。これらは、標準的なカルデロン＝ジグムンド理論の適用を阻んできた要因であった。

著者らは、放物型キューブと時間的に引き伸ばされた領域を組み合わせるという幾何学的洞察により、古典的な座標ごとの議論に代わる、十分なオフダイアゴナル減衰の回復が可能になったことを強調している。結果は $n \geq 2$ において鋭く、係数の粗さがもたらす正確な限界を特定している。実係数の場合、結果は全範囲 $1 < p \leq 2$ を回収し、自己共役またはより高い正則性を必要としていた従来の成果を拡張している。

最後に、論文は開発された手法が、一般化されたストークス作用素などの他の非局所的作用素にも適用可能であることを述べ、実係数の場合の完全なリーゼッシュ変換の弱 $(1,1)$ 有界性や、次元 $n=1$ における挙動を含むいくつかの未解決問題を挙げている。