[논문 리뷰] Non-holonomic constrained systems as implicit differential equations

Alberto Ibort, Manuel de León외 2명|ArXiv.org|2001. 04. 17.

Control and Dynamics of Mobile RobotsEngineering참고 문헌 20인용 수 16

한 줄 요약

이 논문은 Tulczyjew의 기하학적 프레임워크를 사용하여 비제약성 제약을 가진 기계 시스템을 암묵적 미분방정식으로 공식화함으로써 라그랑주 및 해밀토니안 역학의 통합적 처리를 가능하게 한다. 수정된 적분 가능성 알고리즘을 도입하여 해가 존재하고 유일함을 보장하는 충분한 호환성 조건을 도출하였으며, 이는 이전의 조건들인 Chetaev의 조건과 Faddeev-Vershik의 조건을 특수한 경우로 포함한다.

ABSTRACT

Non-holonomic constraints, both in the Lagragian and Hamiltonian formalism, are discussed from the geometrical viewpoint of implicit differential equations. A precise statement of both problems is presented remarking the similarities and differences with other classical problems with constraints. In our discussion, apart from a constraint submanifold, a field of permitted directions and a system of reaction forces are given, the later being in principle unrelated to the constraint submanifold. An implicit differential equation is associated to a non-holonomic problem using the Tulczyjew's geometrical description of the Legendre transformation. The integrable part of this implicit differential equation is extracted using an adapted version of the integrability algorithm. Moreover, sufficient conditions are found that guarantees the compatibility of the non-holonomic problem, i.e., that assures that the integrability algorithm stops at first step, and moreover it implies the existence of a vector field whose integral curves are the solutions to the problem. In addition this vector field turns out to be a second order differential equation. These compatibility conditions are shown to include as particular cases many others obtained previously by other authors. Several examples and further lines of development of the subject are also discussed.

연구 동기 및 목표

• 비제약성 기계 시스템을 암묵적 미분방정식을 통한 기하학적 공식화를 제공한다.
• 비제약성 제약 조건과 반작용력을 서로 다른 기하학적 구조로 간주하여 구분한다.
• 비제약성 제약 조건에 특화된 수정된 적분 가능성 알고리즘을 개발하여 시스템의 적분 가능 부분을 추출한다.
• 해가 존재하고 유일한 두 번째 차수의 벡터장으로서의 해를 보장하는 일반적 호환성 조건을 규명한다.
• 이전의 조건들(예: Chetaev의 조건, Faddeev-Vershik의 조건)을 하나의 기하학적 프레임워크 안에서 통합하고 일반화한다.

제안 방법

• 기계 시스템을 탄성 및 코탄젠트 배럴 위의 암묵적 미분방정식으로 모델링하기 위해 Tulczyjew의 삼중성을 사용한다.
• 제약 부분다양체와 제약 다양체에 독립적인 허용 가능한 방향의 장을 도입한다.
• 반작용력을 제약 기하학에 반드시 연결되지 않은 1-형식의 가족으로 정의한다.
• 암묵적 시스템의 적분 가능 부분을 추출하기 위해 적분 가능성 알고리즘의 수정된 변형을 적용한다.
• 알고리즘이 첫 번째 단계에서 종료되도록 요구함으로써 호환성 조건을 도출하여 고유한 해 벡터장의 존재를 보장한다.
• 라그랑주 및 해밀토니안 공식화를 연결하기 위해 Tulczyjew의 기하학적 설정에서 레전드르 변환을 사용한다.

실험 결과

연구 질문

• RQ1 비제약성 제약 조건은 암묵적 미분방정식의 기하학적 프레임워크 내에서 어떻게 일관되게 공식화될 수 있는가?
• RQ2 힘과 제약 조건을 독립적으로 다룰 때 비제약성 시스템의 해가 존재하고 유일하기 위한 조건은 무엇인가?
• RQ3 적분 가능성 알고리즘이 비제약성 제약 조건이 존재하는 상황에서 어떻게 적응되며, 언제 첫 번째 단계에서 종료되는가?
• RQ4 기존의 호환성 조건들(예: Chetaev의 조건, Faddeev-Vershik의 조건)이 제안된 일반적 프레임워크의 특수한 경우로 어떻게 도출되는가?
• RQ5 비제약성 시스템의 기하학적 구조는 특이 라그랑지안 및 시간에 의존하는 설정으로 확장될 수 있는가?

주요 결과

• 비제약성 제약 조건이 가로막는 기하학적 제약을 정확히 다룰 수 있도록 수정된 적분 가능성 알고리즘이 개발되었다.
• 적분 가능성 알고리즘이 첫 번째 단계에서 종료되는 충분한 호환성 조건이 도출되었으며, 이는 고유한 해 벡터장의 존재를 보장한다.
• 해 벡터장이 두 번째 차수 미분방정식임을 보여주어 역학적 일관성이 확보됨을 입증하였다.
• 일반적 호환성 조건은 이전의 결과들을 포함하고 일반화하며, Faddeev-Vershik의 조건, Chetaev의 조건, Benenti의 조건, Marle의 조건을 포함한다.
• 비-Chetaev의 힘을 허용함으로써, 이러한 힘을 사용할 경우 해가 유일하지 않을 수 있음을 보여주었다.
• 표준적인 확장된 위상공간 기법을 통해 시간에 의존하는 시스템으로의 확장이 가능하며, 특이 라그랑지안의 경우에도 적용 가능하지만, 이 경우 라그랑주 및 비제약성 제약 조건을 동시에 다뤄야 한다.