[논문 리뷰] The Lyapunov stability of first order dynamic equations with respect to time-dependent Riemannian metrics

G. Sardanashvily|ArXiv.org|2002. 01. 30.

Stability and Controllability of Differential Equations참고 문헌 2인용 수 3

한 줄 요약

이 논문은 매니폴드 위의 임의의 매끄러운 일阶 동역학 방정식이 적절한 시간에 의존하는 리만계량을 선택함으로써 리아푸노프 안정성으로 만들 수 있음을 입증한다. 공변 리아푸노프 텐서를 도입하여 리아푸노프 행렬의 좌표 불변 일반화를 제공하며, 이 텐서의 음의 정부호성은 안정성을 의미함을 증명한다. 또한 모든 해는 메트릭 선택을 통해 안정화되거나 원하는 임의의 리아푸노프 지수로 지정될 수 있으며, 이는 매끄러운 시스템에서의 혼돈이 시간에 의존하는 계량에 의해 완전히 기하학적으로 기술됨을 보여준다.

ABSTRACT

Solutions of a smooth first order dynamic equation can be made Lyapunov stable at will by the choice of an appropriate time-dependent Riemannian metric.

연구 동기 및 목표

• 일阶 동역학 방정식에서 선호되는 리만계량이 부재한 문제를 해결하기 위해, 리아푸노프 안정성을 정의하는 데 필수적인 요소이다.
• 일반 좌표 변환에 대해 불변인 리아푸노프 안정성의 기하학적 프레임워크를 개발하기 위해.
• 임의의 매끄러운 일阶 동역학 방정식에 대해, 모든 해가 리아푸노프 안정성이 되는 시간에 의존하는 리만계량이 존재함을 보여주기 위해.
• 해의 리아푸노프 지수를 적절한 메트릭 선택을 통해 임의의 실수로 설정할 수 있음을 보여주기 위해.

제안 방법

• 비텐서적 리아푸노프 행렬을 일반화하는 진정한 텐서장으로서의 공변 리아푸노프 텐서를 도입한다.
• 시간에 의존하는 리만계량의 시간 도함수와 벡터장의 자코비안을 사용하여 공변 리아푸노프 텐서를 정의한다.
• 동역학 시스템의 변동 방정식을 활용하여, 수직 접선(bundle) 위의 대칭 이항형으로서의 공변 리아푸노프 텐서를 유도한다.
• 초기 조건의 섬유에서 정규좌표를 적용하여, 근접한 해들 간의 거리와 그 시간에 따른 변화를 분석한다.
• 해의 리아푸노프 지수를 제어하기 위해 양함수 h(t)를 사용하여 특정한 시간에 의존하는 메트릭을 구성한다.
• 통로근역도와 리만거리 함수를 활용하여 안정성을 기하학적 관점에서 분석한다.

실험 결과

연구 질문

• RQ1 적절한 시간에 의존하는 리만계량을 선택함으로써, 일阶 동역학 방정식의 해의 리아푸노프 안정성을 보장할 수 있는가?
• RQ2 임의의 좌표 변환 하에서 리아푸노프 행렬을 텐서 형태로 일반화할 수 있는 기하학적 대상이 존재하는가?
• RQ3 매끄러운 일阶 동역학 방정식의 모든 해가 적절한 시간에 의존하는 메트릭 선택을 통해 리아푸노프 안정성이 될 수 있는가?
• RQ4 해의 리아푸노프 지수를 메트릭 설계를 통해 임의의 실수로 설정할 수 있는가?
• RQ5 시간에 의존하는 리만계량을 통해 매끄러운 동역학 시스템에서의 혼돈은 어느 정도 기하학적으로 기술될 수 있는가?

주요 결과

• 공변 리아푸노프 텐서가 해의 궤적을 따라 음의 정부호일 때이고 그때에만, 해당 해는 관련된 시간에 의존하는 리만계량에 대해 리아푸노프 안정성이 된다.
• 완전한 벡터장을 갖는 임의의 매끄러운 일阶 동역학 방정식에 대해, 모든 해가 리아푸노프 안정성이 되는 시간에 의존하는 리만계량이 존재한다.
• 해의 리아푸노프 지수를 임의의 사전 지정된 실수 λ로 설정하기 위해, 공변 리아푸노프 텐서의 구성에서 exp(λt)에 비례하는 메트릭을 선택함으로써 가능하다.
• 공변 리아푸노프 텐서가 음의 정부호일 경우, 근접한 해들 사이의 리만거리의 시간 도함수는 음이 되며, 이는 시간이 지남에 따라 분리거리가 감소함을 의미한다.
• 양의 리아푸노프 지수로 정의되는 매끄러운 동역학 시스템에서의 혼돈은 시간에 의존하는 리만계량의 선택에 의해 완전히 기하학적으로 기술될 수 있다.
• 안정성 조건은 시간에 불변인 좌표 변환에서는 유지되나, 일반적인 시간에 의존하는 변환에서는 유지되지 않으며, 이는 계량의 핵심적 역할을 강조한다.