[논문 리뷰] Linear almost Poisson structures and Hamilton-Jacobi equation. Applications to nonholonomic Mechanics

Manuel de León, Juan Carlos Marrero외 1명|ArXiv.org|2008. 01. 28.

Control and Dynamics of Mobile Robots참고 문헌 21인용 수 23

한 줄 요약

이 논문은 비제약 기계 시스템에 대해 해밀턴-자비 방정식을 일반화하기 위해 선형 거의 파아송 구조와 비대칭 대수oid를 기반으로 하는 기하적 프레임워크를 제안한다. 허용 가능한 속도의 쌍대다발 위에서 해밀토니안 함수를 통해 역학을 기술함으로써, 자코비 항등식의 실패를 통해 비제약 조건을 반영하는 일반화된 해밀턴-자비 방정식을 유도한다. 이는 제약이 있는 및 없는 시스템을 통합적으로 다룰 수 있게 하며, 대칭 축소와 수치적 적분에의 적용을 가능하게 한다.

ABSTRACT

In this paper, we study the underlying geometry in the classical Hamilton-Jacobi equation. The proposed formalism is also valid for nonholonomic systems. We first introduce the essential geometric ingredients: a vector bundle, a linear almost Poisson structure and a Hamiltonian function, both on the dual bundle (a Hamiltonian system). From them, it is possible to formulate the Hamilton-Jacobi equation, obtaining as a particular case, the classical theory. The main application in this paper is to nonholonomic mechanical systems. For it, we first construct the linear almost Poisson structure on the dual space of the vector bundle of admissible directions, and then, apply the Hamilton-Jacobi theorem. Another important fact in our paper is the use of the orbit theorem to symplify the Hamilton-Jacobi equation, the introduction of the notion of morphisms preserving the Hamiltonian system; indeed, this concept will be very useful to treat with reduction procedures for systems with symmetries. Several detailed examples are given to illustrate the utility of these new developments.

연구 동기 및 목표

• 고전적 해밀턴-자비 방정식을 자코비 항등식을 만족하지 않는 거의 파아송 괄호에서 기인하는 비제약 기계 시스템으로 확장하는 것.
• 비제약 설정에서 해밀턴-자비 방정식을 기술하는 데 필요한 기하적 구조—허용 가능한 방향의 벡터 번들의 쌍대다발 위의 선형 거의 파아송 구조—를 규명하는 것.
• 해밀토니안 사상과 궤도 정리에 의해 대칭 축소를 통한 형식론을 개발하여 해밀턴-자비 방정식의 단순화를 가능하게 하는 것.
• 비대칭 대수oid 구조와 거의 미분을 사용하여 제약이 없는 시스템과 비제약 시스템을 기하학적으로 통합하는 것.
• 미래의 확장—시간에 의존하는 시스템, 애파인 제약, 최적 제어, 고전적 장 이론 등에 대한 기초를 마련하는 것.

제안 방법

• 논문은 허용 가능한 방향의 벡터 번들 $D \to Q$ 의 쌍대다발 $D^*$ 위에 선형 거의 파아송 구조를 구성하며, 이는 $D$ 위의 비대칭 대수oid 구조 $([\!\!,\!\!,\!], \rho_D)$ 와 대응된다.
• 함수 $h: D^* \to \mathbb{R}$ 를 통해 해밀토니안 시스템을 정의하며, 이는 거의 파아송 텐서 $\Lambda_{D^*}$ 와 연관된 해밀토니안 벡터장 $\mathcal{H}_h^{\Lambda_{D^*}}$ 에 의해 동역학이 생성된다.
• 해밀턴-자비 방정식은 $D^*$ 위의 함수 $S$ 에 대해 $\{S, h\}_{D^*} = 0$ 으로 제시되며, 이는 고전적 방정식을 비파아송 설정으로 일반화한다.
• 궤도 정리는 동역학의 행동을 궤도를 沿해 축소함으로써 해밀턴-자비 방정식을 단순화시키며, 특히 대칭 시스템에서 효과적이다.
• 해밀토니안 사상의 개념을 도입하여 해밀토니안 구조를 유지함으로써 대칭이 있는 시스템의 체계적 축소를 가능하게 한다.
• 거의 파아송 텐서 $\Lambda_{D^*}$, 거의 미분 $d^D$, 그리고 라그랑주 분포 $\mathcal{L}_{\alpha,D}$ 의 항등원에 대한 국소 좌표 표현을 유도하여 검증 및 예제를 위한 계산 도구를 제공한다.

실험 결과

연구 질문

• RQ1 자코비 항등식을 만족하지 않는 괄호에서 기인하는 비제약 기계 시스템에 대해 고전적 해밀턴-자비 방정식을 어떻게 일반화할 수 있는가?
• RQ2 비제약 시스템에서 해밀턴-자비 방정식의 기하적 구조는 무엇이며, 표준 파아송 케이스와 어떻게 다를까?
• RQ3 궤도 정리는 대칭 비제약 시스템에서 해밀턴-자비 방정식을 단순화하는 데 어떻게 활용될 수 있는가?
• RQ4 해밀토니안 사상은 대칭이 있는 비제약 시스템의 축소에 있어 어떤 역할을 하는가?
• RQ5 이 형식론은 시간에 의존하는 시스템, 애파인 제약, 최적 제어 문제로 확장될 수 있는가?

주요 결과

• 논문은 $D^*$ 위의 선형 거의 파아송 구조와 $D$ 위의 비대칭 대수oid 구조 사이의 일대일 대응을 확립하여 비제약 시스템의 기하학적 기초를 제공한다.
• 비제약 시스템의 해밀턴-자비 방정식은 $\{S, h\}_{D^*} = 0$ 으로 제시되며, 괄호 $\{\cdot, \cdot\}_{D^*}$ 는 자코비 항등식을 만족하지 않아 동역학의 비해밀토니안 성격을 반영한다.
• 궤도 정리는 행동의 궤도를 따라 시스템을 축소함으로써 해밀턴-자비 방정식을 단순화시키며, 특히 대칭 시스템에서 효과적이다.
• 해밀토니안 사상의 개념을 도입하고, 이가 해밀토니안 구조를 유지함을 보여주어 대칭이 있는 시스템의 체계적 축소를 가능하게 한다.
• 거의 파아송 텐서 $\Lambda_{D^*}$ 와 거의 미분 $d^D$ 에 대한 국소 좌표 표현을 유도하여 예제에서의 명시적 계산과 검증을 가능하게 한다.
• 이 형식론은 $A = TQ$ 와 $\bar{A} = TQ/G$ 의 구체적 사례에 적용되어 고전적 비제약 기계학에서의 유용성을 보여준다.