[논문 리뷰] On the History of the Development of the Nonholonomic Dynamics

А. В. Борисов, И. С. Мамаев|ArXiv.org|2005. 02. 18.

Control and Dynamics of Mobile Robots참고 문헌 11인용 수 27

한 줄 요약

이 논문은 비제약 동역학의 역사를 추적하며, 적분 불가능한 제약 조건을 가진 비제약 시스템에 라그랑주 및 해밀토니안 방법을 적용할 때 발생하는 기본적인 오류를 강조한다. 허츠, 푸앵카레, 그리고 코즈로프, 마르케예프와 같은 후속 연구자들의 핵심 기여를 언급하며, 비제약 시스템은 변분 원리 외부의 별도의 형식 체계가 필요하다고 주장하고, 고전적 분석적 접근 방식을 넘어서기 위해 현대적 수치 계산 기법의 발전이 필수적이라고 주장한다.

ABSTRACT

The main directions in the development of the nonholonomic dynamics are briefly considered in this paper. The first direction is connected with the general formalizm of the equations of dynamics that differs from the Lagrangian and Hamiltonian methods of the equations of motion's construction. The second direction, substantially more important for dynamics, includes investigations concerning the analysis of the specific nonholonomic problems. We also point out rather promising direction in development of nonholonomic systems that is connected with intensive use of the modern computer-aided methods.

연구 동기 및 목표

• 비제약 동역학의 역사적 발전을 명확히 하고, 비제약 시스템에 라그랑주 및 해밀토니안 형식 체계를 적용할 때 발생하는 오해를 바로잡는 것.
• 헤르츠가 처음 엄밀하게 지적한 바와 같이, 변분 원리가 비제약 시스템에 적용될 수 없는 장기적인 문제를 다루는 것.
• 코즈로프, 수스лов, 마르케예프와 같은 러시아 연구자들의 부족하게 평가받고 있지만 중요한 기여를 부각시키며, 그들의 연구는 영어권 과학 공동체에서 거의 알려져 있지 않다.
• 비제약 동역학의 발전을 위해 고전적 분석적 방법을 넘어서는 분석 계산, 시각화 및 수치 실험을 포함한 현대 계산 도구의 필수성을 주장하는 것.
• 비제약 축소와 거의 해밀토니안 형식 체계에 대한 재조명을 주장하면서도, 물리적 통찰을 흔들어 놓는 형식주의를 경계하는 것.

제안 방법

• C. 뉴먼과 E. 린델뢰프의 초기 연구에서 비제약 역학의 역사적 발전을 추적하며, 비제약 시스템에 라그랑주 방정식을 잘못 적용한 사례를 분석한다.
• 헤르츠의 비제약 역학에서 변분 원리의 기초적인 비판을 분석하며, 특히 가장 작은 작용 원리가 굴러가는 구와 같은 시스템에 실패한다는 그의 주장에 초점을 맞춘다.
• 푸앵카레의 허츠의 아이디어 확장, 특히 '비제약 역학에서의 허츠의 아이디어' 논문을 통해 변분 방법의 개념적 및 형식적 한계를 명확히 한다.
• 1871년에 제안된 미지수를 가진 페로스 방정식을 제시하며, 비제약 방정식의 첫 번째 일반 형식으로서 $ \frac{d}{dt}\left(\frac{\partial T}{\partial \dot{q}_i}\right) - \frac{\partial T}{\partial q_i} = Q_i + \sum_j \lambda_j \frac{\partial f_j}{\partial q_i} $ 를 표현한다. 여기서 제약 조건은 속도에 대해 선형이다.
• 해밀토니안 제약 조건과 비제약 조건의 차이를 검토한다: 비제약 조건은 미분형이며 적분 불가능하며, $ f_i(\mathbf{q}, \dot{\mathbf{q}}, t) = 0 $ 로 표현되며, 좌표에만 국한된 $ F_i(\mathbf{q}, t) = 0 $ 으로는 축약될 수 없다.
• 바아노믹 기하학 및 거의 해밀토니안 형식 체계와 같은 현대의 형식 체계를 비판하며, 물리적 기반 없이 개념적 진전을 이끌지 못한다고 주장한다.

실험 결과

연구 질문

• RQ1 비제약 시스템에 대해 변분 원리, 예를 들어 최소 작용 원리가 실패하는 이유는 무엇인가? 비록 그러한 경로가 존재하더라도, 왜 비제약 시스템은 그 경로를 따르지 않는가?
• RQ2 비제약 시스템에 라그랑주 역학을 적용할 때 발생한 역사적 근원과 개념적 오류는 무엇인가? 특히 굴림 없이 미끄러짐 없이 굴러가는 경우를 중심으로 분석한다.
• RQ3 헤르츠와 푸앵카레는 비제약 제약 조건의 기초적 이해에 어떻게 기여했으며, 왜 그들의 통찰은 오랫동안 간과되었는가?
• RQ4 비제약 동역학에서 적분 불가능한 제약 조건의 중요성은 무엇이며, 왜 그것들을 근사적으로도 해밀토니안 제약 조건으로 취급할 수 없는가?
• RQ5 코즈로프, 수스로프, 마르케예프와 같은 러시아 연구자들의 핵심 기여가 왜 글로벌 과학 공동체에서 부족하게 평가되었으며, 오늘날 그들의 기여는 어떤 의미를 갖는가?

주요 결과

• 헤르츠의 연구는 비제약 시스템, 예를 들어 미끄러짐 없이 굴러가는 구와 같은 시스템이 최소 작용 원리로 기술될 수 없다는 것을 입증했다. 이는 비록 그러한 경로가 존재하더라도, 시스템이 그 경로를 따르지 않기 때문이다.
• 적분 불가능한 제약 조건을 가진 비제약 시스템에 라그랑주 방정식을 적용하는 것은 뉴먼과 린델뢰프의 역사적 오류가 입증한 바와 같이 근본적으로 잘못된 것이다.
• 비제약 제약 조건은 본질적으로 미분형이며 적분 불가능하며, $ f_i(\mathbf{q}, \dot{\mathbf{q}}, t) = 0 $ 로 표현되며, 좌표에만 국한된 제약 조건으로는 축약될 수 없다.
• 미지수를 가진 페로스 방정식은 비제약 동역학의 첫 번째 일반 형식 체계로서, 운동 방정식 유도에 체계적인 방법을 제공한다.
• 코즈로프, 수스로프, 마르케예프의 정적 측도 및 제약 조건의 실현 가능성에 관한 연구는 영어권에서 거의 알려져 있지 않다. 이는 번역 부족 탓이다.
• 현대의 계산 도구—분석 계산, 시각화, 수치 실험—는 순수 분석적 접근의 한계를 넘어서 비제약 동역학을 발전시키기 위해 필수적이다.