[논문 리뷰] Curvature: a variational approach

Andrei Agrachev, Davide Barilari외 1명|arXiv (Cornell University)|2013. 06. 22.

Advanced Differential Geometry Research참고 문헌 39인용 수 15

한 줄 요약

이 논문은 최적 제어 비용 함수의 점근적 성질을 분석하여 리만기하학, 부분 리만기하학, 펄러스기하학 및 부분 펄러스기하학에 적용 가능한 통합된 변분적 곡률 정의를 제안한다. 곡률은 길항 비용의 두 번째 변분에서 유래하며, 자코비 곡선에서 유도된 곡률 연산자에 의해 표현되며, 리만의 섹션 곡률을 일반화하고 비가속 또는 부분 리만 기하학적 설정에서도 유효한 직접적이고 리만에 기반한 구성법을 제공한다.

ABSTRACT

The curvature discussed in this paper is a rather far going generalization of the Riemannian sectional curvature. We define it for a wide class of optimal control problems: a unified framework including geometric structures such as Riemannian, sub-Riemannian, Finsler and sub-Finsler structures; a special attention is paid to the sub-Riemannian (or Carnot-Caratheodory) metric spaces. Our construction of the curvature is direct and naive, and it is similar to the original approach of Riemann. Surprisingly, it works in a very general setting and, in particular, for all sub-Riemannian spaces.

연구 동기 및 목표

• 최적 제어 문제에서 유래하는 광범위한 기하학적 구조에 대해 리만의 섹션 곡률을 일반화하기.
• 기준 길항 주위에서 길항 비용 함수의 점근적 행동을 이용해 곡률을 내재적으로 정의하기.
• 부분 리만, 펄러스 및 선형-제곱형 제어 시스템에 대해 유효한 통합된 프레임워크 수립하기.
• 비용 함수의 두 번째 미분과 자코비 곡선을 통한 곡률의 기하학적 해석 제공하기.
• 곡률 연산자가 상태 피드백에 대해 불변이고 부분 리만 스케일링에 대해 동차임을 증명하기.

제안 방법

• 기하학적 길항 $ \gamma(t) $에 대해 지오데식 비용 함수 $ c_t(x) = -\frac{1}{2t} \mathsf{d}^2(x, \gamma(t)) $ 를 정의하고 $ t \to 0 $ 일 때의 점근적 전개를 연구한다.
• $ x_0 $ 에서 $ c_t $ 의 두 번째 미분을 계산하여 곡률 정보를 포함하는 이차형식을 도출한다.
• 길항을 따라 두 번째 변분의 진전을 나타내는 자코비 곡선을 리만-그라스만다이어그램에서 곡선으로 구성한다.
• 해밀토니안 내적을 이용해 자코비 곡선의 스펙트럼 성질로부터 표준 기저와 곡률 연산자 $ \mathcal{I}_\lambda $ 를 정의한다.
• 포트리아긴 최대원리와 등등급 길항 이론을 적용하여 구성의 정규성과 불변성을 확보한다.
• 특수 좌표계에서의 점근적 전개를 통해 곡률 연산자와 지오데식 비용 함수의 부분 라플라시안 간의 연결을 수립한다.

실험 결과

연구 질문

• RQ1 길항이 최적 제어 문제에서 유도되는 모든 기하학적 구조에 대해 통합된 곡률 개념을 정의할 수 있는가?
• RQ2 부분 리만 다양체의 곡률은 지오데식 비용 함수의 점근적 성질에서 어떻게 유도되는가?
• RQ3 자코비 곡선과 그 스펙트럼 성질을 기반으로 비용 함수의 두 번째 변분의 기하학적 의미는 무엇인가?
• RQ4 곡률 연산자는 부분 리만 기하학에서 전통적인 불변량인 컷 및 공액 궤적과 어떻게 관련이 있는가?
• RQ5 곡률 연산자는 상태 피드백 변환에 대해 불변이고 부분 리만 스케일링에 대해 동차한가?

주요 결과

• 등등급 길항에 대해 곡률 연산자 $ \mathcal{I}_\lambda $ 는 잘 정의되어 있으며 상태 피드백 변환에 대해 불변이다.
• 헤이젠베르크 군의 경우 곡률 연산자는 일정하고 명시적으로 계산되며, 비영인 곡률을 도출하여 리만 섹션 곡률을 일반화한다.
• 지오데식 비용 함수의 점근적 전개는 그 헤시안이 곡률 연산자 $ \mathcal{I}_\lambda $ 와 직접적으로 관련된 이차항을 드러낸다.
• 부분 리만 스케일링에 대해 곡률 연산자는 -1차 동차성을 띤다. 이는 기하학적 척도의 내재적 성질을 반영한다.
• 3차원 접촉 부분 리만 기하학에서 곡률 연산자는 성장 벡터와 표준 기저에 의해 완전히 결정되며, 기존의 거리 불변량과 일치한다.
• 지오데식 비용 함수의 두 번째 미분은 상수를 제외한 $ \frac{1}{2} \| W_{x_0,\gamma(t)}^t - W_{x,\gamma(t)}^t \|^2 $ 와 같으며, 이는 만남 지점에서 상대 속도 발산으로서 곡률의 물리적 해석을 제공한다.