Renormalization of contact vector fields with horizontal Sobolev regularity in Heisenberg groups

技術要約：ハイゼンベルク群における水平ソボレフ正則性を有する接触ベクトル場の繰り込み

問題設定
本論文は、真のサブ・リーマン的設定であるハイゼンベルク群 $\mathbb{H}^n$ における輸送方程式および連続方程式の適正設定（well-posedness）を調査するものである。これらの方程式は次のように与えられる：
$$\frac{\partial u}{\partial \tau} - \langle b, \nabla u \rangle + cu = 0 \quad \text{(輸送)}$$
$$\frac{\partial u}{\partial \tau} + \text{div}(bu) = 0 \quad \text{(連続)}$$
焦点は、標準的なユークリッド的なソボレフ正則性やBV正則性ではなく、水平ソボレフ正則性（$W^{k,s}_H$）を持つ速度場 $b$ に置かれている。中心となる課題は、$\mathbb{H}^n$ の非可換幾何学（具体的には、水平ベクトル場の非自明なリー括弧）が、標準的な差分商によるソボレフ空間の特性付けや、古典的なユークリッド的な手法の直接的な適用を妨げている点にある。

手法
著者らは、DiPerna and Lions [18] によって開拓されたモルフィケーション（滑化）戦略を、$\mathbb{H}^n$ の固有の幾何学へと適応させている。核となる手法は、輸送方程式をモルフィケーションした際に生じる交換子 $C_\varepsilon$ を分析することである：
$$\partial_\tau u_\varepsilon - \langle b, \nabla u_\varepsilon \rangle + cu_\varepsilon = C_\varepsilon$$
ここで、$u_\varepsilon = u * \varrho_\varepsilon$ は空間上の群畳み込みである。適正設定は、$C_\varepsilon$ が $\varepsilon \to 0$ のときに $L^1_{loc}$ 強収束することを示すことに依存している。

主要な手法ステップは以下の通りである：

1. 固有の差分商： 標準的なユークリッド的な差分商の代わりに、著者らは固有の膨張された左移動（$\delta_\varepsilon$）に沿った差分商を利用している。彼らは、水平ソボレフ空間 $W^{1,s}_H$ および $W^{2,s}_H$ における一次および二次差分商の収束結果を確立している。
2. 接触構造の活用： 速度場 $b$ は、生成関数 $\psi$ によって特徴付けられる接触ベクトル場であることに制限される。すなわち $b = \sum_{j=1}^n (Y_j \psi X_j - X_j \psi Y_j) - 4\psi T$ である。この構造は極めて重要であり、交換子項において特定の打ち消し合いを誘発する。
3. $\mathbb{H}^n$ におけるテイラー展開： 著者らは、群の法則に沿った $W^{2,s}_H$ 関数に対する決定的なテイラー展開（定理 3.5）を導出している。この展開は、水平成分と垂直成分を分離し、垂直成分の二次の挙動が垂直微分 $Tf$ によって支配されることを示している。
4. 打ち消しメカニズム： 交換子の解析において、接触ベクトル場の特定の形式により、生成関数の垂直微分の「剰余」項が正確に打ち消し合うことが示される。具体的には、接触条件（式 4.8）により、$\nabla_H b_{2n+1} + 4J(b)$ を含む項が消失する。

主要な貢献と結果

1. 繰り込み特性： 著者らは、接触ベクトル場 $b \in L^1(0, \bar{\tau}; X(\mathbb{H}^n))$（ここで生成関数 $\psi \in L^1(0, \bar{\tau}; W^{2,s'}_H(\mathbb{H}^n))$）を持つ輸送方程式の分布解が**繰り込まれる（renormalized）**ことを証明している。これは、有界な微分を持つ任意の $\beta \in C^1(\mathbb{R})$ に対して、$\beta(u)$ が適切なソース項を伴って輸送方程式を満たすことを意味する。
2. 適正設定： 繰り込み特性の結果として、著者らは $b$ と $c$ に関する自然な成長条件の下で、輸送方程式および連続方程式の分布解の存在と一意性を確立している（定理 4.6 および 4.7）。
3. 正則ラグランジュ流（RLF）： これらの結果は、これらのベクトル場に関連する正則ラグランジュ流の存在と一意性を意味しており、DiPerna-Lions 理論をこの特定のクラスの場に対してサブ・リーマン的設定へと拡張している。
4. 非ユークリッド的正則性の生成性： 著者らは、接触ベクトル場が水平ソボレフ正則性を持つ場合、（ベールの範疇の意味で）ユークリッド的な意味での有界変動（BV）ではないことを示している（定理 6.2）。これは、垂直方向の変動が水平方向の変動を支配する、高度に振動するテスト関数を構成することによって示される。したがって、これらの結果は、第一著者が [1] で確立した古典的な BV 理論から導出することはできない。
5. 計量測度空間アプローチとの区別： 本論文は、[7]（Bakry-Émery 微分法に基づく）の計量測度空間フレームワークと比較を行っている。著者らは、[7] のアプローチは直接適用できないと主張している。その理由は以下の通りである：
   • ハイゼンベルク群は曲率次元条件 $CD(K, \infty)$ および関連する Bakry-Émery 条件 $BE_2(K, \infty)$ を満たさない。
   • [7] における対称化された微分 $D_{sym} b$ に対する「変形」条件は、実質的に非水平なベクトル場を排除しているが、接触ベクトル場は本質的に非水平である。

意義と主張
本論文は、古典的なユークリッド理論には該当しないクラスのベクトル場に対して、真のサブ・リーマン的設定における適正設定の最初の例を提供すると主張している。その意義は以下の点にある：

• 幾何学的適応： 固有の差分商と接触ベクトル場の特定の代数的構造を利用することで、DiPerna-Lions のモルフィケーション戦略を非可換幾何学へと成功裏に適応させた。
• 構造的必然性： 接触構造は単なる技術的な便宜ではなく、交換子推定における必要な打ち消し合いのための必要条件であることを強調している。この構造がなければ、水平微分と垂直微分の非可換性を扱うために必要な微細な打ち消し合いは得られないと考えられる。
• 既存理論の限界： 本研究の結果が、既存のユークリッド的 BV 理論や、一般的な計量測度空間理論（[7] など）によってカバーされていないことを明示的に示すことで、サブ・リーマン的輸送問題のための、明確かつ必要な解析的枠組みを確立している。

著者らは、彼らの手法を [7] の計量測度空間アプローチと整合させるにはさらなる調査が必要であり、それは今後の課題であると述べることで、控えめな姿勢を維持している。実験的な応用については提案しておらず、この幾何学的文脈における PDE の適正設定の解析的基礎に厳密に焦点を当てている。