Generalized Hamiltonian gradient flow of contact type I: regularity of the fundamental solutions

技術要約：接触型タイプIの一般化ハミルトン勾配流：基本解の正則性

問題設定
本論文は、接触型ハミルトン・ヤコビ方程式に関連する基本解の正則性の性質を調査するものである。具体的には、エネルギー散逸不等式（EDI）および厳密な特異特性方程式（SC）によって定義される一般化ハミルトン勾配流に焦点を当てている。著者らは、ヘルツ（Herglotz）の変分原理から生じる基本解 $h_L(t, x, y, u)$ の精密な一次および二次正則性の評価の必要性に取り組んでいる。接触ハミルトン系のダイナミクスとその長期的な振る舞いについては関心が高まっているが、その基本解の正則性に関する厳密かつ内在的な解析、特に一般化された勾配流の文脈における解析は、依然として基礎的な空白領域となっている。本研究はユークリッド設定（$\mathbb{R}^n$）内で行われているが、多様体上のより広範な応用をサポートすることを意図している。

手法
著者らは、ヘルツの原理に基づく変分フレームワークを採用している。基本解 $h_L(t, x, y, u)$ は、曲線 $x$ から $y$ へ接続する作用関数の下限として定義される。ここで、作用は補助変数 $u_\xi$（システムの「エネルギー」または接触変数の進化を表す）に関する微分方程式と結合している。

核となる手法は以下の通りである：

1. 変分解析： 最小化軌跡 $\xi$ とそれに関連する双対弧 $p$ の詳細な解析。著者らは、最小化者を特徴付けるために、ヘルツ方程式および対応するリー方程式（接触項を持つハミルトン系）を利用する。
2. 感度解析： 境界条件（$x, y, u$）および時間ホライゾン（$t$）を摂動することによる、一次感度関係の導出。これには、値関数 $h_L$ の微分を最小化軌跡の双対弧に結びつけるための、関連する変分方程式の解決が含まれる。
3. 定量的評価： 特定の比較曲線の構成を通じた二次評価の確立。摂動された曲線 $\xi^\pm$ を定義し、ラグランジアン $L$ の凸性／凹性（$L$ は $C^2$ であり、速度に関して厳密に凸であり、その $r$ 微分に関する超線形成長および有界性の条件を満たすと仮定される）を分析することで、著者らは $h_L$ の二次差分に関する明示的な境界を導出する。
4. グロンウォルおよびコンパクト性議論： 証明は、補助変数 $u_\xi$ および軌跡 $\xi$ における摂動の成長を制御するためのグロンウォルの不等式と、ドメイン内の特定の錐（cone）内における最小化者の一様境界を確保するためのコンパクト性議論に大きく依存している。

主要な貢献と結果

• 一次正則性（感度関係）：
  本論文は、基本解 $h_L$ の微分と最小化軌跡の双対弧との間の精密な関係を確立している。

  • 空間微分： $h_L$ の終点 $y$ に関する超微分は、双対運動量 $p(t) = L_v(\xi(t), \dot{\xi}(t), u_\xi(t))$ を含む。同様に、始点 $x$ に関する微分は、$L_u$ の積分を含む指数因子によってスケールされた初期運動量 $p(0)$ に結び付けられる。
  • 変数 $u$ および時間 $t$： 著者らは、初期値 $u$ および時間 $t$ に関する超微分の明示的な公式を導出している。特に、時間の微分は、軌跡に沿ったハミルトニアン $H$ に関連することが示されている。具体的には $D_t h_L = -H(\xi(t), p(t), u_\xi(t))$ である。
  • 微分可能性： $h_L$ が微分可能な場合、これらの超微分は正確な勾配となり、粘性解の勾配と基礎となる接触ハミルトン力学との間の直接的なリンクを提供する。

• 二次正則性（セミコンカビティと凸性）：
  著者らは、$h_L$ のセミコンカビティ（半凹性）およびセミコンベキシティ（半凸性）に関する定量的評価を証明している。

  • セミコンカビティ： $h_L$ はすべての変数 $(t, x, y, u)$ において局所的にセミコンカブである。論文では、摂動の二乗ノルムを $1/t$ でスケールした、 $h_L$ の二次差分に関する明示的な上界が示されている。
  • 短時間セミコンベキシティ： 十分に短い時間 $t$ において、この関数は特定の錐 $S_{\lambda, \delta}$ 上でセミコンベックスであることが証明されている。
  • 一様凸性：
    • 空間変数 $y$（および同様に $x$）において、$h_L$ は短時間において球 $B(x, \lambda t)$ 上で一様凸であり、その凸性定数は $1/t$ に比例する。
    • 時間変数 $t$ において、最小化軌跡が非零の速度を持つという条件（$|\dot{\xi}|^2$ の下限）の下で、$h_L$ は時間に関して一様凸である。
  • $C^{1,1}$ 正則性： これらの結果を組み合わせることで、本論文は、短時間において写像 $(t, y, u) \mapsto h_L(t, x, y, u)$ が局所的に $C^{1,1}$（連続微分可能であり、導関数がリプシッツ連続）であることを結論付けている。

意義と主張
本論文は、接触型設定における一般化ハミルトン勾配流の理論に捧げられた一連の研究の第一報として位置付けられている。著者らは、確立された正則性の性質が以下のための基礎となることを主張している：

• 内在的手法： 接触の文脈において、内在的に特異性の伝播および一般化された勾配流を分析するために必要な評価を提供すること。
• 理論的接続： 基本解と基礎となる接触ハミルトン系の関係を明確にすることであり、これは弱KAM理論にとって不可欠である。
• 広範な応用： 得られた結果は、ラズリー・リオン（Lasry–Lions）正則化、拡大された勾配の進化に関するアルノー（Arnaud）の定理、粘性解のSBV正則性、ラックス・オレニク（Lax–Oleinik）交換子、および最適輸送の問題を含む、既存および発展中のいくつかの分野に不可欠であると述べられている。

本研究は新しい実験的応用を提案するものではなく、むしろこれらの高度な理論的展開に必要とされる解析的な基盤を固めるものである。著者らは、導出された定量的評価が、特に時間の順方向における接触ハミルトン系に固有の不可逆現象を扱うために極めて重要であることを強調している。