[論文レビュー] A "No-Go" Theorem for the Existence of an Action Principle for Discrete Invertible Dynamical Systems

Gianluca Caterina, Bruce M. Boghosian|ArXiv.org|Nov 29, 2006

Mathematical Dynamics and Fractals参考文献 1被引用数 53

ひとこと要約

この論文は、有限な配置空間を持つ可逆的2階離散力学系が、離散的・有限構造と変分原理の不適合性により、最小作用原理を有し得ないことを示す「禁断の定理」を証明している。しかし、位相空間の制限または無限型系を用いることで、このような作用が回復可能であることを示しており、物理的経路の最小化に向けた線形不等式系を用いた離散的変分枠組みを提供している。

ABSTRACT

In this paper we study the problem of the existence of a least-action principle for invertible, second-order dynamical systems, discrete in time and space. We show that, when the configuration space is finite, a least-action principle does not exist for such systems. We dichotomize discrete dynamical systems with infinite configuration spaces into those of finite type for which this theorem continues to hold, and those not of finite type for which it is possible to construct a least-action principle. We also show how to recover an action by restriction of the phase space of certain second-order discrete dynamical systems. We provide numerous examples to illustrate each of these results.

研究の動機と目的

• 可逆的で2階の離散力学系が有限な配置空間を持つ場合、最小作用原理が存在するかどうかを調査すること。
• このような系が変分的定式化を支持できる・できない条件を特定すること。
• 微分構造に依存しない、線形不等式系を用いた離散的変分枠組みを構築すること。
• 可逆性、配置空間のサイズ、作用原理の存在との関係を調査すること。
• 一般的な禁断の結果にもかかわらず、作用原理が回復可能な構成的例を提示すること。

提案手法

• 離散作用を遷移ラグランジアンの和として定式化：$ S[\mathbf{r}] = \sum_{t=0}^{T-1} \mathcal{L}(\mathbf{r}(t), \mathbf{r}(t+1)) $、ここで $ \mathcal{L}: \mathcal{C}^2 \to \mathbb{R} $ である。
• 連続的微分を離散勾配条件に置き換え：$ \frac{∂S}{∂\mathbf{r}(t)} = \mathcal{L}_2(\mathbf{r}(t-1), \mathbf{r}(t)) + \mathcal{L}_1(\mathbf{r}(t), \mathbf{r}(t+1)) = 0 $、有限集合に適応されたものである。
• 物理的経路が物理的でない代替経路よりも作用を最小化することを保証する線形不等式系を導入する。
• 経路数の比較を通じて、これらの不等式の整合性を解析し、各状態遷移に対する制約を導出する。
• 無限な配置空間を「有限型」と「非有限型」に二分し、作用の存在を決定する。
• 不等式系の明示的解を構成し、たとえば $ \mathcal{L}(1,2) = 2 $、$ \mathcal{L}(2,0) = -3 $、$ \mathcal{L}(2,1) = -1 $ を割り当てることで、非一意性と実行可能性を実証する。

実験結果

リサーチクエスチョン

• RQ1 可逆的2階離散力学系が有限な配置空間を持つ場合、最小作用原理は存在可能か？
• RQ2 配置空間の性質（有限対無限）に応じて、変分的定式化が可能かどうかの条件は何か？
• RQ3 微分積分学や連続的微分に依存しない、離散的変分原理はどのように定義できるか？
• RQ4 物理的経路と非物理的経路の構造が作用原理の存在に果たす役割は何か？
• RQ5 位相空間を制限することで作用原理を回復できるか？もしそうなら、その方法は何か？

主な発見

• 可逆的2階離散力学系が有限な配置空間を持つ場合、最小作用原理は存在しない。
• すべての状態が位相空間に含まれる場合、経路最小化から導かれる不等式系は整合性が保たれないため、禁断の結果が証明される。
• 無限な配置空間では、作用の存在は系が有限型かどうかに依存する；非有限型の系のみが作用を許容する。
• 一時的状態（例：22番目の状態）を位相空間から除外することで位相空間を制限すると、解ける線形不等式系を介して整合的な作用が構築可能である。
• 構築された作用は一意ではない。不等式系は無限個の解を許容し、たとえば $ \mathcal{L}(1,2) = 2 $、$ \mathcal{L}(2,0) = -3 $、$ \mathcal{L}(2,1) = -1 $ を含む具体的な例も存在する。
• 微分を離散的経路比較に置き換えることで、微分構造に依存しない真正の離散的変分原理を実現する方法が成功裏に得られた。