[논문 리뷰] Second Order Necessary Conditions for Optimal Control Problems on Riemannian Manifolds

Qing Cui, Li Deng외 1명|arXiv (Cornell University)|2015. 08. 25.

Geometric Analysis and Curvature Flows참고 문헌 19인용 수 3

한 줄 요약

이 논문은 리만 다양체 위의 최적 제어 문제에 대해 이차 필요 및 충분 최적성 조건을 수립하며, 이중 방정정식과 변분 분석을 통해 곡률 텐서를 통합한다. 자유 종점 및 고정 종점 케이스에 대해 적분형 및 점별 이차 조건을 유도하며, 기존의 제어 방법이 실패하는 고전적 지형선 에너지 최소화를 특수 케이스로 포함한다.

ABSTRACT

This work is concerned with an optimal control problem on a Riemannian manifold, for which two typical cases are considered. The first case is when the endpoint is free. For this case, the control set is assumed to be a separable metric space. By introducing suitable dual equations, which depend on the curvature tensor of the manifold, we establish the second order necessary and sufficient optimality conditions of integral form. In particular, when the control set is a Polish space, the second order necessary condition is reduced to a pointwise form. As a key preliminary result and also an interesting byproduct, we derive a geometric lemma, which may have some independent interest. The second case is when the endpoint is fixed. For this more difficult case, the control set is assumed to be open in an Euclidian space. We obtain the second order necessary and sufficient optimality conditions, in which the curvature tensor also appears explicitly. Our optimality conditions can be used to recover the following famous geometry result: Any geodesic connecting two fixed points on a Riemannian manifold satisfies the second variation of energy; while the existing optimality conditions in control literatures fail to give the same result.

연구 동기 및 목표

• 리만 다양체 위에서 상태가 곡률을 가진 다양체 위를 이동할 경우, 최적 제어 문제에 대한 이차 필요 및 충분 최적성 조건을 개발한다.
• 기존의 제어이론적 최적성 조건이 지형선 에너지 최소화를 포괄하지 못하는 한계를 해결한다. 이는 리만 기하학의 기본 결과이다.
• 자유 종점 및 고정 종점 케이스로 이차 분석을 확장하며, 제어 집합에 대해 별도의 가정을 적용한다 (분리 가능한 거리 공간 대비 유클리드 공간의 열린 부분집합).
• 곡률을 포함하는 기하학적 보조정리를 유도하며, 이는 주요 최적성 결과를 넘어서 독립적인 관심을 가질 수 있다.
• 제안된 조건이 지형선의 에너지 제2변위를 회복할 수 있음을 보여주며, 이는 기존의 고전적 제어이론적 방법이 포착하지 못하는 결과이다.

제안 방법

• 비용 기능의 제2차 변동을 특징짓기 위해 리만 곡률 텐서에 의존하는 이중 방정식을 도입한다.
• 상태 다양체 위에서 변분 분석을 수행하며, 편향된 궤도에 대한 제1 및 제2차 변분 방정식을 포함한다.
• 비용 기능과 종점 제약 조건에 타일러 전개를 적용하여 제어 변동에 대해 제2차까지 전개한다.
• 라그랑주 승수의 구조를 통해 정상적 및 비정상적 케이스를 구분하며, 비정상적 케이스는 종점 제약 조건 도함수의 핵에 대한 헤시안의 정부호성에 의존한다.
• 콤���트성 및 수렴 논증(예: L²에서의 약한 수렴)을 활용하여 편향 시퀀스에서 극한을 취하고 필수 조건을 도출한다.
• 지수 사상과 그 역을 사용하여 상태 궤도의 변동을 선형화함으로써, 곡률 텐서를 포함하는 제2차 항을 도출할 수 있다.

실험 결과

연구 질문

• RQ1 제어 집합이 일반적인 분리 가능한 거리 공간일 경우, 리만 다양체 위의 최적 제어 문제에 대해 이차 최적성 조건을 도출할 수 있는가?
• RQ2 리만 곡률 텐서는 다양체 위의 최적 제어 문제에서 이차 필요 및 충분 조건에 어떻게 영향을 미치는가?
• RQ3 제안된 이차 최적성 조건은 고전적인 결과, 즉 지형선이 에너지 기능을 최소화한다는 사실을 복원할 수 있는가?
• RQ4 종점 제약 조건(고정 대비 자유)은 이차 최적성 조건의 구조에 어떤 역할을 하는가?
• RQ5 이차 조건이 적분형에서 점별 형태로 축소되는 조건은 무엇인가?

주요 결과

• 자유 종점 케이스에 대해 적분형으로 이차 필요 및 충분 최적성 조건을 도출하였으며, 곡률 텐서가 이중 방정식에 명시적으로 나타난다.
• 제어 집합이 폴란드 공간일 경우, 이차 필요 조건은 점별 형태로 축소되어 최적성 조건의 정(regularity)이 향상된다.
• 고정 종점 케이스에서는 제어 집합이 유클리드 공간의 열린 부분집합인 경우에 대해 이차 조건을 확립하였으며, 곡률 텐서가 다시 헤시안 항에 명시적으로 나타난다.
• 제안된 최적성 조건은 지형선의 에너지 제2변위를 성공적으로 복원하며, 이는 기존의 제어이론적 방법이 포착하지 못하는 결과이다.
• 분석을 통해 종점 맵의 헤시안이 종점 제약 조건 도함수의 핵 위에서 음의 정부호여야 하며, 이는 국소 최적성을 보장한다.
• 곡률 텐서를 포함하는 기하학적 보조정리가 부산물로 도출되었으며, 이는 미분기하학 분야에서 독립적인 관심을 가질 수 있다.