[논문 리뷰] Dynamical Systems on Leibniz Algebroids

Gheorghe Ivan, Dumitru Opriş|ArXiv.org|2005. 08. 13.

Advanced Differential Geometry Research참고 문헌 4인용 수 10

한 줄 요약

이 논문은 해밀턴 역학을 비반대칭 브라켓으로 일반화함으로써 리브니츠 대수다발 위의 동역계를 도입한다. 유도 기반의 브라켓 구조를 통해 리브니츠 벡터장이 정의되며, 새로운 종류의 약간 메트리플레크틱 대수다발이 수립되고, 구체적인 동역계 시스템(예: 강체 시스템)이 유도된다. 이들의 해 궤도는 관련 텐서장과 좌표 동역학을 통해 분석된다.

ABSTRACT

In this paper we study the differential systems on Leibniz algebroids. We introduce a class of almost metriplectic manifolds as a special case of Leibniz manifolds. Also, the notion of almost metriplectic algebroid is introduced. These types of algebroids are used in the presentation of associated differential systems. We give some interesting examples of differential systems on algebroids and the orbits of the solutions of corresponding systems are established.

연구 동기 및 목표

• 비반대칭 파울리 브라켓 대신 리브니츠 브라켓을 사용하여 해밀턴 역학을 리브니츠 대수다발으로 일반화한다. 이 브라켓은 리브니츠 법칙을 만족한다.
• 리브니츠 대수다발의 맥락에서 심플렉틱 및 파울리 구조의 일반화로 약간 메트리플레크틱 대수다발의 개념을 도입한다.
• 기하학적 및 대수적 방법을 통해 리브니츠 대수다발 위의 미분 시스템 해의 행동, 특히 평형점 근처의 행동을 분석한다.
• 강체 시스템을 포함한 구체적인 동역계 시스템의 예를 제시하고, 관련 반대칭 텐서장을 사용하여 그 해 궤도를 유도한다.
• 선형적이며 각 항에서 유도법칙을 만족하는 브라켓 연산을 통해 해밀턴 함수와 리브니츠 대수다발 위의 벡터장 간의 대응을 수립한다.

제안 방법

• 매니폴드 위의 매끄러운 함수에 대해 리브니츠 브라켓을 정의한다. 이는 이항 연산으로서 리브니츠 법칙을 만족한다: [fg,h] = [f,h]g + f[g,h] 및 [f,gh] = g[f,h] + [f,g]h.
• 브라켓에 대해 2-반대칭 텐서장 B를 정의하여 B(df,dg) = [f,g]로 연결함으로써, 벡터장을 X_h(f) = [f,h] 형태로 표현할 수 있도록 한다.
• 리브니츠 벡터장 X_h를 통해 동역계를 구성하며, 국소 방정식은 ẋ^i = [x^i, h] = B^{ij} ∂h/∂x^j 로 주어진다.
• 비퇴화적인 대칭 텐서장이 있는 특수한 리브니츠 대수다발 클래스인 약간 메트리플레크틱 대수다발을 도입한다. 이는 가짜계량 브라켓을 일반화한다.
• 쌍대다발 E*와 관련된 2-반대칭 텐서장 (C, ρ, ρ)을 사용하여 동역계를 모델링하며, ρ는 앵커 사상이고 C는 브라켓 구조를 코딩한다.
• 강체를 R^3 위에서 정의함으로써 강체 시스템의 명시적 방정식을 도출한다. p^{ij}를 구조 텐서로 정의하고, h를 운동에너지로 설정함으로써 특정 궤도 역학을 가지는 ODE 시스템을 유도한다.

실험 결과

연구 질문

• RQ1 비반대칭 브라켓이 리브니츠 법칙을 만족하도록 하여, 파울리 대수다발에서 리브니츠 대수다발으로 해밀턴 동역계를 어떻게 일반화할 수 있는가?
• RQ2 약간 메트리플레크틱 대수다발의 기하학적 구조는 무엇이며, 리브니츠 대수다발 맥락에서 심플렉틱 및 파울리 구조를 어떻게 일반화하는가?
• RQ3 리브니츠 대수다발 위의 동역계 시스템의 해 궤도는 무엇이며, 특히 강체 시스템의 경우 단위 공간에서 어떻게 행동하는가?
• RQ4 주어진 해밀턴 함수 h2에 대해 Λ(dh2,df)=0 를 만족하는 E* 위의 2-반대칭 텐서장 Λ를 어떻게 구성할 수 있는가?
• RQ5 다른 해밀턴 함수 h1에 대해 Λ2(dh1,df)=0 를 만족하는 두 번째 텐서장 Λ2가 존재하기 위한 조건은 무엇이며, 이를 대수적으로 어떻게 구성할 수 있는가?

주요 결과

• R^3 위의 강체 시스템은 p^{ij}를 구조 텐서로, h = ½(a₁(x¹)² + a₂(x²)² + a₃(x³)²)로 정의함으로써 리브니츠 대수다발 위의 동역계로 모델링되며, 특정 시간 도함수를 가지는 ODE 시스템을 유도한다.
• 강체 시스템의 해 궤도는 그림 3과 4에 나타나 있으며, 위치 (x¹,x²,x³)와 운동량 (ξ₁,ξ₂,ξ₃) 공간에서의 궤도를 보여준다.
• 두 번째 동역계는 수정된 역학을 가지며, ẋ^i 및 ẋ̇_i에 관성 모멘트에 의존하는 a₁, a₂, a₃와 좌표의 이차항을 포함하는 추가 항이 포함된다. 이들의 계수는 명시적으로 주어진다.
• a₁=0.6, a₂=0.4, a₃=0.2 일 때, 두 번째 시스템의 궤도는 그림 5와 6에 시각화되어 있으며, 복잡하고 비자명한 위상공간 궤도를 보여준다.
• 텐서장 Λ₁은 모든 f에 대해 Λ₁(dh₂,df)=0 를 만족하며, 이는 선형 운동량 유사량의 보존을 나타낸다. 여기서 h₂ = x¹ξ₁ + x²ξ₂ + x³ξ₃ 이다.
• 두 번째 텐서장 Λ₂는 (C₂, ρ₂, ρ₂) 형태로 명시적으로 구성되며, C₂는 대각행렬이고 ρ₂는 대칭 행렬이다. 이 행렬은 Vᵢ = (aⱼ)²(xʲ)² + (aₖ)²(xᵏ)² 및 Wᵢ = (aⱼ)²xʲξⱼ + (aₖ)²xᵏξₖ 와 같은 항을 포함하며, 해밀턴 함수 h₁ = a₁x¹ξ₁ + a₂x²ξ₂ + a₃x³ξ₃ 에 대해 Λ₂(dh₁,df)=0 를 보장한다.