[논문 리뷰] A "No-Go" Theorem for the Existence of an Action Principle for Discrete Invertible Dynamical Systems

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

Mathematical Dynamics and Fractals참고 문헌 1인용 수 53

한 줄 요약

이 논문은 유한한 구성공간을 가진 가역적인 이阶 이산 동역계 시스템이 이산적이고 유한한 구조와 변분 원리 사이의 부호호환성으로 인해 최소작용원리(least-action principle)를 가질 수 없음을 보여주는 '금지정리(no-go theorem)'를 증명한다. 그러나 단계공간을 제한하거나 무한형 시스템을 사용함으로써 이러한 작용을 복원할 수 있음을 보이며, 물리적 경로 최소화를 위한 선형부등식 시스템을 통해 이산적인 변분 프레임워크를 제공한다.

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 $의 구체적 예시가 존재한다.
• 도함수 대신 이산 경로 비교를 사용함으로써 이산 시스템에 대해 진정으로 이산적인 변분 원리를 회복하는 데 성공하였다.