[논문 리뷰] Solving two-point boundary value problems using generating functions: Theory and Applications to optimal control and the study of Hamiltonian dynamical systems

Vincent Guibout, Daniel J. Scheeres|arXiv (Cornell University)|2003. 10. 30.

Adaptive Dynamic Programming Control참고 문헌 15인용 수 7

한 줄 요약

이 논문은 해밀턴-자비 이론과 위상 흐름에 의해 유도되는 캐논성 변환을 활용하여, 해밀턴 시스템의 두점 경계값 문제를 생성 함수 기반 방법으로 해결한다. 이는 초기 추정치 없이 최적 제어 문제 및 위상공간 구조 분석(예: 주기 궤도 및 평형점)을 효율적이고 직접적으로 해결할 수 있게 하며, 우주선 편대 비행 및 궤도 설계에 적용 가능하다.

ABSTRACT

A methodology for solving two-point boundary value problems in phase space for Hamiltonian systems is presented. Using Hamilton-Jacobi theory in conjunction with the canonical transformation induced by the phase flow, we show that the generating functions for this transformation solve any two-point boundary value problem in phase space. Properties of the generating functions are exposed, we especially emphasize multiple solutions, singularities, relations with the state transition matrix and symmetries. Then, we show that using Hamilton's principal function we are also able to solve two-point boundary value problems, nevertheless both methodologies have fundamental differences that we explore. Finally, we present some applications of this theory. Using the generating functions for the phase flow canonical transformation we are able to solve the optimal control problem (without an initial guess), to study phase space structures in Hamiltonian dynamical systems (periodic orbits, equilibrium points) and classical targeting problems (this last topic finds its applications in the design of spacecraft formation trajectories, reconfiguration, formation keeping, etc...).

연구 동기 및 목표

• 특히 n! 개의 궤도 해가 필요한 다중 우주선 편대 임무에서 전통적인 샷팅 방법의 비효율성을 해결한다.
• 해밀턴-자비 방정식에서 유도된 생성 함수를 사용하여 n 자유도 해밀턴 시스템의 위상공간 내 임의의 두점 경계값 문제를 체계적으로 해결하는 방법을 개발한다.
• 반복적인 초기 조건 보정 없이도 궤도, 주기 궤도 및 평형점을 직접 계산할 수 있도록 한다.
• 기존의 반복 기반 접근 방식에 대체할 수 있는 비반복적이고 해석적인 방법으로 생성 함수를 최적 제어 문제에 확장한다.
• 람베르트 문제 및 운동량 공간 경계값 문제와 같은 복잡한 항항역학 문제를 해결하기 위한 이론적이고 계산 가능한 프레임워크를 제공한다.

제안 방법

• 해밀턴-자비 이론을 사용하여 해밀턴 시스템의 위상 흐름에 의해 유도되는 캐논성 변환을 나타내는 생성 함수를 유도한다.
• 해밀턴-자비 방정식을 사전에 해석하여 생성 함수를 확보하고, 이를 통해 임의의 두점 경계값 문제에 대해 초기 상태에서 최종 상태로의 사상이 가능해진다.
• 해밀턴의 주요 함수를 생성 함수의 대안으로 사용하여, 위상 흐름 기반 생성 함수와의 성질 및 한계를 비교한다.
• 경계 조건에 해당하는 값에서 생성 함수를 평가하여 수치적 통합 및 반복 해법을 회피하고 궤도를 계산한다.
• 생성 함수의 대칭성과 특이점을 활용하여 위상공간의 다중 해 및 구조적 특징을 분석한다.
• 국소적으로 위상공간에서 수렴하는 수치 알고리즘을 사용하여 최적 제어 및 주기 궤도 계산과 같은 실용적 응용을 구현한다.

실험 결과

연구 질문

• RQ1 해밀턴-자비 방정식에서 유도된 생성 함수는 초기 추정치 없이도 해밀턴 시스템의 두점 경계값 문제를 해결하는 데 사용될 수 있는가?
• RQ2 위상 흐름 기반 생성 함수를 통해 구한 해와 해밀턴의 주요 함수를 통해 구한 해는 해의 구조, 다중 해, 특이성 측면에서 어떻게 비교되는가?
• RQ3 생성 함수의 특이성과 대칭성이 경계값 문제의 해 존재성과 다중성에 미치는 영향은 무엇인가?
• RQ4 이 방법은 특히 우주선 편대 비행에서의 항공우주 시스템 최적 제어 문제에 어느 정도 적용될 수 있는가?
• RQ5 이 프레임워크는 제한된 삼체 문제와 같은 해밀턴 시스템에서 주기 궤도 및 평형점을 효율적으로 계산할 수 있는가?

주요 결과

• 위상 흐름에 의한 캐논성 변환의 생성 함수는 해밀턴-자비 방정식의 해를 통해 초기 상태에서 최종 상태로의 사상으로서 위상공간 내 임의의 두점 경계값 문제를 해결한다.
• 반복적인 보정 없이도 최적 제어 문제를 직접 해결할 수 있으며, 이는 우주선 편대 궤도 응용에서 입증되었다.
• 특이점이나 대칭성이 존재할 경우 생성 함수의 구조를 통해 경계값 문제의 다중 해가 자연스럽게 포착된다.
• 생성 함수는 선형 시스템의 상태 전이 행렬과 관련이 있으며, 선형화된 동역학과 비선형 해 사이의 기하학적·해석적 연결 고리를 제공한다.
• 원형 제한 삼체 문제 및 힐 문제에 대한 응용은 주기 궤도 및 평형점을 성공적으로 계산하였으며, 해 집합의 도표를 통한 수치적 검증이 이루어졌다.
• 생성 함수를 사전에 계산한 후에는 m개의 경계값 문제를 m개의 함수 평가 비용으로 효율적으로 해결할 수 있어, 다중 우주선 임무에 대한 확장성이 뛰어나다.