[論文レビュー] Variational principle for contact Hamiltonian systems and its applications

Kaizhi Wang, Lin Wang+1 more|arXiv (Cornell University)|Feb 15, 2017

Quantum chaos and dynamical systems参考文献 6被引用数 6

ひとこと要約

本稿は接触ハミルトニアン系における変分原理を確立し、それを利用して一階準線形放物型偏微分方程式 $ w_t + H(x,w,w_x) = 0 $ の解の半群表現を導出し、また可視化解を用いた定常方程式 $ H(x,u,u_x) = c $ のエルゴディック問題を解く。主な貢献は、隠れ作用関数を通じて接触ハミルトニアン力学と一階偏微分方程式の可視化解との間の厳密な関係を確立することにある。

ABSTRACT

In \cite{WWY}, the authors provided an implicit variational principle for the contact Hamilton's equations \begin{align*} \left\{ \begin{array}{l} \dot{x}=\frac{\partial H}{\partial p}(x,u,p),\\ \dot{p}=-\frac{\partial H}{\partial x}(x,u,p)-\frac{\partial H}{\partial u}(x,u,p)p,\quad (x,p,u)\in T^*M imes\mathbf{R},\\ \dot{u}=\frac{\partial H}{\partial p}(x,u,p)\cdot p-H(x,u,p), \end{array} ight. \end{align*} where $M$ is a closed, connected and smooth manifold and $H=H(x,u,p)$ is strictly convex, superlinear in $p$ and Lipschitz in $u$. In the present paper, we focus on two applications of the variational principle: 1. We provide a representation formula for the solution semigroup of the evolutionary equation \[ w_t(x,t)+H(x,w(x,t),w_x(x,t))=0; \] 2. We study the ergodic problem of the stationary equation via the solution semigroup. More precisely, we find pairs $(u,c)$ with $u\in C(M,\mathbf{R})$ and $c\in\mathbf{R}$ which, in the viscosity sense, satisfy the stationary partial differential equation \[ H(x,u(x),u_x(x))=c. \]

研究の動機と目的

• 接触ハミルトニアン系における隠れ変分原理を、時間発展型および定常型の一階偏微分方程式に拡張すること。
• 隠れ作用関数を用いて、方程式 $ w_t + H(x,w,w_x) = 0 $ の解の半群を構成すること。
• 半群を用いて、方程式 $ H(x,u,u_x) = c $ のエルゴディック問題を、可視化解 $ (u,c) $ の特定によって解くこと。
• 半群構成を用いて、与えられた $ H $ の仮定のもとで、時間発展型偏微分方程式の可視化解の存在および一意性を証明すること。
• 接触ハミルトニアンおよびラグランジュアンの構造を用いて、解および最小化子に関する定量的評価を提示すること。

提案手法

• リプシッツ曲線 $ \gamma $ に対して $ \gamma(0) = x_0 $, $ \gamma(t) = x $ を満たすものについて、作用積分の下界をとることで、隠れ作用関数 $ h_{x_0,u_0}(x,t) $ を定義する。
• 関連する接触ラグランジュアン $ L $ を用いて、接触ハミルトニアン方程式 (1.4) を満たす最小化子を特徴付ける。
• 隠れ作用関数を用いて、方程式 $ w_t + H(x,w,w_x) = 0 $ の解の半群を構成し、可視化解の存在および一意性を保証する。
• 仮定 (H1)–(H3) の下で、$ u $, $ \dot{\gamma} $, $ p $ に対する一様有界性を用いて、隠れ作用関数の有界性および正則性を証明する。
• 半群をエルゴディック問題に応用し、長時間挙動を解析し、$ H(x,u,u_x) = c $ を可視化解の意味で満たすペア $ (u,c) $ を特定する。
• 比較原理および指数的推定を用いて、成長を制御し、エルゴディック解への収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 接触ハミルトニアン系における隠れ変分原理を用いて、方程式 $ w_t + H(x,w,w_x) = 0 $ の解の半群を構成できるか？
• RQ2 与えられた $ H $ の仮定のもとで、解の半群が時間発展型偏微分方程式の可視化解の存在および一意性を保証するか？
• RQ3 半群を用いて、方程式 $ H(x,u,u_x) = c $ のエルゴディック問題を解くことができるか、すなわち可視化解の意味で方程式を満たすペア $ (u,c) $ を特定できるか？
• RQ4 構造的仮定 (H1)–(H3) の下で、隠れ作用関数およびその関連最小化子に一様な評価をどのように得られるか？
• RQ5 接触ハミルトニアンの凸性およびリプシッツ連続性の構造が、解の半群の正則性および安定性をどのように保証するか？

主な発見

• 方程式 $ w_t + H(x,w,w_x) = 0 $ の解の半群は、隠れ作用関数 $ h_{x_0,u_0}(x,t) $ を用いて表現され、可視化解の存在および一意性が保証される。
• 隠れ作用関数 $ h_{x_0,u_0}(x,t) $ は、$ a, b, \delta, T $ のみに依存する定数によって、$ t \in (0,T] $ に対して一様に下界および上界を持つ。
• 作用関数の最小化子は接触ハミルトニアン方程式 (1.4) を満たし、関連する $ (x(s), u(s), p(s)) $ 軌道は $ C^1 $ であり、コンパクトな時間区間上で $ u $, $ \dot{\gamma} $, $ p $ について一様有界である。
• 解の半群を用いて、与えられた仮定のもとで、方程式 $ H(x,u,u_x) = c $ が可視化解 $ u \in C(M,\mathbb{R}) $ を持つような $ c \in \mathbb{R} $ が存在することを証明した。
• 本稿では、最小化子に沿って $ |H| $ が時間に関して高々指数関数的に増加することを示し、$ \dot{\gamma} $ および $ u $ の有界性と $ H $ の構造のおかげで $ p(s) $ が有界に保たれることを確立した。
• 解の半群は連続的であり、可視化解の性質を保ち、長時間挙動の解析およびエルゴディック解への収束を可能にする。