[논문 리뷰] A Discrete Theory of Connections on Principal Bundles

Melvin Leok, Jerrold E. Marsden외 1명|arXiv (Cornell University)|2005. 08. 18.

Numerical methods for differential equations참고 문헌 22인용 수 23

한 줄 요약

이 논문은 주 원료 번들의 접속에 대한 이산 이론을 개발하기 위해 아티야 수열의 이산 대응체를 도입하고, 이 수열의 분할을 통해 이산 접속을 정의한다. 이는 이산 외부 미분법을 활용하여 이산 곡률, 호로노미, 기하학적 위상에 대한 계산 프레임워크를 수립함으로써 기하학적 역학 및 제어에서 구조를 유지하는 수치적 적분을 가능하게 한다.

ABSTRACT

Connections on principal bundles play a fundamental role in expressing the equations of motion for mechanical systems with symmetry in an intrinsic fashion. A discrete theory of connections on principal bundles is constructed by introducing the discrete analogue of the Atiyah sequence, with a connection corresponding to the choice of a splitting of the short exact sequence. Equivalent representations of a discrete connection are considered, and an extension of the pair groupoid composition, that takes into account the principal bundle structure, is introduced. Computational issues, such as the order of approximation, are also addressed. Discrete connections provide an intrinsic method for introducing coordinates on the reduced space for discrete mechanics, and provide the necessary discrete geometry to introduce more general discrete symmetry reduction. In addition, discrete analogues of the Levi-Civita connection, and its curvature, are introduced by using the machinery of discrete exterior calculus, and discrete connections.

연구 동기 및 목표

• 주 원료 번들의 이산 접속을 체계화하기 위해 아티야 수열의 이산 대응체를 개발한다.
• 곡률과 호로노미와 같은 기하학적 구조를 유지하는 이산 접속을 위한 계산 프레임워크를 제공한다.
• 대칭을 가진 기계 시스템을 위한 변분 적분기에서 이산 대칭 축소와 기하학적 위상 계산을 가능하게 한다.
• 이산 외부 미분법을 확장하여 단순형 메esh에 주 원료 번들의 접속과 곡률을 포함한다.
• 대칭적이고 내재적인 설정에서 이산 접속을 도입함으로써 이산 비환원 역학과 기하학적 제어의 기초를 마련한다.

제안 방법

• 이산 군oids와 분할을 사용하여 주 원료 번들의 이산 아티야 수열을 구성하고, 이를 통해 이산 접속을 정의한다.
• 주 원료 번들의 구조를 유지하는 이중 쌍군oid의 확장된 조합을 도입하여 수평 이송을 가능하게 한다.
• 이산 1-사슬 위의 G-값을 가지는 이산 접속 1-형식으로 정의하며, 곡률은 이산 외부 미분을 통해 계산한다.
• 부분 정점 순서가 있는 단순형 메쉬를 사용하여 곡률을 코너지에 대해 잘 정의된 상태로 유지하고, 코너지 불변 노름을 사용하여 곡률 탐지에 활용한다.
• 정점과 변에 대한 원시 메트릭과 접속을 갖는 이산 리만다만다를 정의하여 국소 임bedding과 호로노미 계산을 가능하게 한다.
• 일반화된 스토크스 정리를 적용하여 메쉬에서의 평행 이동을 통해 닫힌 고리 주위의 호로노미를 통해 이산 곡률을 계산한다.

실험 결과

연구 질문

• RQ1 주 원료 번들의 접속을 모델링하기 위해 아티야 수열의 이산 대응체는 어떻게 구성할 수 있는가?
• RQ2 기하학적 구조를 유지하면서 단순형 메쉬에서 이산 곡률과 호로노미는 어떻게 내재적으로 정의할 수 있는가?
• RQ3 이산 접속은 이산 대칭 축소와 기하학적 위상 계산을 어떻게 가능하게 하는가?
• RQ4 연속 접속으로부터 이산 접속을 어떻게 구성할 수 있으며, 그 정확도의 차수는 무엇인가?
• RQ5 이산 접속을 사용하여 대칭을 가진 비환원 역학의 일致한 이산 이론을 개발할 수 있는가?

주요 결과

• 이산 아티야 수열이 구성되었으며, 이에 따라 이산 접속은 짧은 정확 수열의 분할에 대응한다.
• 이산 접속 1-형식의 이산 외부 미분을 통해 G-값을 가지는 2-형식으로 이산 곡률이 정의되며, 단순형 복합체에서 코너지에 대해 잘 정의된다.
• SO(n)에 대한 코너지 불변 노름을 통해 곡률이 곡률이 높은 영역에서 메쉬 정밀도 향상의 품질 척도로 사용될 수 있다.
• 이산 호로노미는 메쉬의 고리 주위를 따라 프레임의 평행 이동을 통해 계산되며, 일반화된 스토크스 정리를 통해 곡률의 적분을 제공한다.
• 이 프레임워크는 구조를 유지하는 적분기로, 낙하하는 고양이와 후카우트 진자에서의 기하학적 위상을 시뮬레이션할 수 있다.
• 이론은 이산 비환원 역학의 기초를 제공하며, 변분 적분기를 사용한 강체 시뮬레이션에서 정확한 이산 위상 공식의 가능성을 열어 놓는다.