Riesz transform and its related inequalities for degenerate elliptic operators of Grushin type

技術要約：グルシンス型退化楕円作用素に関するリースの変換と関連する不等式

問題設定
本論文は、グルシンス型の退化楕円作用素のクラスに対するリースの変換（Riesz transform）の $L^p$ 有界性と、逆リースの不等式（reverse Riesz inequality）の妥当性を調査している。作用素 $L$ は $\mathbb{R}^{n+m}$ 上で次のように定義される：
$$L = -\nabla_x \cdot (|x|^{2\alpha}\nabla_x) + |x|^{2\beta}\Delta_y,$$
ここで、$n, m \ge 1$、$0 < \alpha < 1$、および $\beta \ge 0$ である。関連する固有の勾配（intrinsic gradient）は $\nabla_L = (|x|^\alpha \nabla_x, |x|^\beta \nabla_y)$ である。退化は特異集合 $\{x=0\}$ において発生する。

中心となる問いは以下の通りである：

1. リースの変換の有界性： どの $p \in (1, \infty)$ に対して、不等式 $\|\nabla_L L^{-1/2} f\|_p \le C_p \|f\|_p$ が成立するか？
2. 逆リースの不等式： どの $p$ に対して、逆の不等式 $\|L^{1/2} f\|_p \le C_p \|\nabla_L f\|_p$ が成立するか？

解析は、グルシンス空間の異方的な幾何学と、次元 $n$ および退化パラメータ $\alpha$ に大きく依存して変化する特異集合近傍におけるフリードリヒス実現（Friedrichs realization）の振る舞いによって複雑化している。

手法
証明戦略は、$L$-調和関数の勾配に関する逆ヘルダー不等式の確立に依拠しており、これはリースの変換の有界性と（Coulhon, Jiang, Koskela, Sikoraによる）抽象的な同値性を利用している。手法は、次元と退化パラメータに基づく異なる領域に分けられる：

1. カーネル構成と明示的解析：

   • フリードリヒス実現： 著者らは、特異集合 $\{x=0\}$ における許容可能な境界条件を厳密に特徴付けている。$0 < \alpha < 1/2$ の場合、形式ドメイン（form domain）は共通のトレースを許容し、フラックス一致条件（flux-matching conditions）を導く。$1/2 \le \alpha < 1$ の場合、特異集合はゼロ容量を持ち、ドメインをゼロ・フラックス条件を持つ2つの半直線へと分離する。
   • ポアソンおよびグリーン・カーネル： 著者らは、フリードリヒス拡張に適応した明示的なポアソン・カーネルおよびグリーン・カーネルを構成する。これには、$y$ 変数に関するフーリエ変換と、球面調和関数（$n \ge 2$ の場合）または偶奇成分の分離（$n=1$ の場合）が含まれる。
   • 変形ベッセル関数： 作用素の動径部分は変形ベッセル方程式に帰着する。解析には、変形ベッセル関数（$I_\nu$ および $K_\nu$）の比に関する精密な評価が必要となる。
     • $n \ge 2$ の場合： ベッセル関数の次数 $\nu_\ell$ は角周波数 $\ell$ に依存し、無限大に発散する。著者らは、特異集合との相互作用を制御するために不可欠な、次数に一様な（uniform-in-order）評価を開発している。
     • $n=1$ の場合： 問題は半直線上の固定次数のベッセル解析に帰着するが、成分ごとに異なる境界条件（偶数成分にはゼロ・フラックス、奇数成分にはゼロ・トレース）を持つ。

2. 調和消滅による逆リースの不等式：

   • 逆の不等式、特にグローバルなポアンカレ不等式が成立しない強退化領域（$n=1, \alpha \ge 1/2$）において、著者らは**調和消滅（harmonic annihilation）**法を用いる。
   • この手法は、リースの変換の核（kernel）において（有界性を妨げる原因となる）主要な調和項を孤立させ、双線形形式における部分積分を通じてそれを排除する。残りの項は、グルシンス適応型のハーディ不等式を用いて制御される。

3. ホッジ射影体の議論：

   • 強退化な一次元の場合（$n=1, 1/2 \le \alpha < 1$）、グローバルなポアンカレ不等式の欠如により、標準的な逆ヘルダー特性の直接適用が妨げられる。著者らは、逆リースの不等式と**ホッジ射影体（Hodge projector）**の有界性結果（Shenの判定基準）を組み合わせることで、リースの変換の全範囲の有界性を回復する。

主な貢献と結果

• $n \ge 2$ における全範囲の有界性：
  定理 1.1 は、$n \ge 2$ かつ $0 < \alpha < 1$ のとき、リースの変換が $1 < p < \infty$ の全範囲で $L^p$ 上有界であることを確立している。これは、一様なベッセル評価を用いて、特異集合近傍での終端逆ヘルダー評価 $(RH_\infty)$ を証明することによって達成される。

• 弱退化 $n=1$ におけるシャープな範囲と終端の障害：
  $n=1$ かつ $0 < \alpha < 1/2$ のとき、リースの変換が $1 < p < \alpha^{-1}$ である場合に限り有界であることを、定理 1.2 は証明している。

  • メカニズム： 解の奇数成分は原点でゼロ・トレース条件を満たし、$\text{sgn}(x)|x|^{1-2\alpha}$ のように振る舞う。その固有の勾配は $|x|^{-\alpha}$ とスケールし、これが $p \ge \alpha^{-1}$ における有界性を阻害する特異性を生み出す。
  • 鋭さ（Sharpness）： 著者らは、終端において逆ヘルダー不等式が失敗することを示す反例を構成している。

• 全領域における逆リースの不等式：
  定理 1.3 は、すべての $n, m \ge 1$ に対して逆リースの不等式を確立している。

  • $n \ge 2$ の場合、これはすべての $1 < p < \infty$ で成立する。
  • $n=1$ の場合、これは $p \in (1, (1-\alpha)^{-1}) \cup ((1-\alpha)^{-1}, \infty)$ で成立する。除外された指数 $p = (1-\alpha)^{-1}$ は、ハーディの閾値に対応する。
  • 決定的なことに、強退化の場合（$n=1, \alpha \ge 1/2$）でも、グローバルなポアンカレ不等式の失敗にもかかわらず、調和消滅法のおかげで逆リースの不等式はすべての $1 < p < \infty$ で成立する。

• 強退化 $n=1$ における全範囲の有界性：
  定理 1.4 は、$n=1$ かつ $1/2 \le \alpha < 1$ のとき、リースの変換が全範囲 $1 < p < \infty$ で有界であることを証明している。

  • メカニズム： フリードリヒス実現は、二つの半直線を引き離し、それぞれの側でゼロ・フラックスの枝を選択する。グローバルなポアンカレ不等式は成立しないものの、この分離された構造により、強化された局所逆ヘルダー評価が可能となる。これを逆リースの不等式およびホッジ射影体の有界性と組み合わせることで、全範囲の結果が得られる。

意義と主張
本論文は、あらゆるパラメータ領域において、グルシンス型作用素のリースの変換の $L^p$ 有界性を完全に記述したことを主張している。

• 振る舞いの遷移： 主要な知見は、特異集合の振る舞いにおける「劇的な遷移」である。弱退化の一次元の場合、特異集合は特定の障害（$p < \alpha^{-1}$）を生み出す障壁として機能する。一方、強退化の場合、特異集合は実質的に空間を分離するが、ゼロ・フラックス条件が全範囲の有界性を回復させる。
• 技術的独創性： 本研究は、グルシンス作用素の文脈において、高次元の場合に必要となる変形ベッセル関数の次数に一様な評価を導入している。また、特異集合がゼロ容量を持つ退化作用素において、グローバルなポアンカレ不等式を必要とせずに逆リースの解析を行うための、調和消滅法の適応を行っている。
• 限界： 論文では、終端のケース $p = \alpha^{-1}$ （$n=1, \alpha < 1/2$ の場合）および $p = (1-\alpha)^{-1}$ （逆リースの不等式の場合）は、未解決であるか、あるいは失敗の正確な閾値であることが記されているが、本論文はこれらの正確な点における有界性については解決していない。

これらの結果は、リースの変換の有界性が、熱核の幾何学だけでなく、特に特異集合における調和関数の局所的な終端挙触、およびフリードリヒス実現と固有の勾配との相互作用に対して極めて敏感であることを浮き彫りにしている。