[论文解读] 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

一句话总结

本文證明了一個「無解定理」，顯示具有有限配置空間的可逆二階離散動力系統無法滿足最小作用原理，這是因為離散、有限的結構與變分原理之間存在不相容性。然而，本文也表明，透過限制相空間或使用無限類型的系統，可以恢復此類作用量，並透過線性不等式系統建立離散變分框架，以實現物理路徑的最小化。

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.

研究动机与目标

• 探討可逆、二階離散動力系統在有限配置空間下是否存在最小作用原理。
• 確定此類系統能否支援變分形式的條件。
• 發展一種離散變分框架，避免使用微分結構，改以線性不等式系統為基礎。
• 探討可逆性、配置空間大小與作用量原理存在性之間的關係。
• 提供具體範例，顯示即使在一般性無解結果下，作用量原理仍可被恢復。

提出的方法

• 將離散作用量表述為過渡拉格朗日量的總和：$ 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{\partial S}{\partial \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 可逆二階離散動力系統在有限配置空間下，其最小作用原理是否可能存在？
• RQ2 在配置空間為有限或無限的情況下，變分形式仍有可能成立的條件為何？
• RQ3 如何在不依賴微分學或連續導數的情況下定義離散變分原理？
• RQ4 物理路徑與非物理路徑的結構在作用量存在性中扮演何種角色？
• RQ5 能否透過限制相空間恢復作用量原理？若可，其方式為何？

主要发现

• 可逆二階離散動力系統在有限配置空間下，不存在最小作用原理。
• 當相空間包含所有狀態時，由路徑最小化導出的不等式系統不相容，從而證明了無解結果。
• 對於無限配置空間，作用量的存在性取決於系統是否為有限類型；僅非有限類型系統容許作用量存在。
• 透過限制相空間以排除暫態，例如範例中的狀態22，可透過可解的線性不等式系統構造出一致的作用量。
• 所構造的作用量並非唯一，因為該不等式系統允許多種解，包括一組具體範例：$ \mathcal{L}(1,2) = 2 $，$ \mathcal{L}(2,0) = -3 $，$ \mathcal{L}(2,1) = -1 $。
• 該方法成功透過以離散路徑比較取代導數，恢復了離散系統的變分形式，從而實現真正意義上的離散變分原理。