[논문 리뷰] Minimal geodesics on GL(n) for left-invariant, right-O(n)-invariant Riemannian metrics

Robert J. Martin, Patrizio Neff|arXiv (Cornell University)|2014. 09. 27.

Advanced Differential Geometry Research참고 문헌 13인용 수 3

한 줄 요약

이 논문은 미분기하학의 고급 개념을 사용하지 않고, 변분법과 고전적 해석학을 유일한 도구로 사용하여 GL(n)에서의 지그로드 곡선과 거리에 대한 자가 포함된 접근 가능한 유도를 제공한다. 핵심 결과는 지그로드 곡선의 명시적 매개변수화와 지그로드 거리의 전역적 특성으로, 이는 오른쪽 Cauchy-Green 텐서의 행렬 로그의 노름으로 표현되며, 비선형 탄성 이론에서 헨크리 에너지 밀도와 직접 연결된다.

ABSTRACT

We provide an easy approach to the geodesic distance on the general linear group GL(n) for left-invariant Riemannian metrics which are also right-O(n)-invariant. The parametrization of geodesic curves and the global existence of length minimizing geodesics are deduced using simple methods based on the calculus of variations and classical analysis only. The geodesic distance is discussed for some special cases and applications towards the theory of nonlinear elasticity are indicated.

연구 동기 및 목표

• GL(n)에서의 지그로드 곡선과 거리에 대한 단순화되고 접근 가능한 유도를 제공하여 고급 미분기하학에 의존하지 않도록 하는 것.
• GL(n)에서의 왼쪽 불변, 오른쪽 O(n)-불변 리만 계량에 대해 길이를 최소화하는 지그로드 곡선의 전역적 존재성과 유일성을 확립하는 것.
• 에너지 최소화에서 유도된 지그로드 방정정식의 해를 사용하여 지그로드 곡선을 명시적으로 매개변수화하는 것.
• 지그로드 거리를 로그 변형 텐서와 연결하고, 비선형 탄성 이론에서의 그 중요성을 보여주는 것.
• 특수 케이스에서 지그로드 거리를 계산하는 데 기초를 마련하고, 이러한 계량에 대한 GL(n)과 SO(n)의 기하학적 문제를 규명하는 것.

제안 방법

• 에너지 함수에 대한 변분법을 통해 GL(n)에서의 일반적인 왼쪽 불변, 오른쪽 O(n)-불변 리만 계량에 대한 지그로드 방정식을 도출한다.
• 행렬 지수와 로그를 사용하여 지그로드 곡선을 대칭 양의 정부호 행렬과 직교 변환으로 매개변수화한다.
• 극분해 $ F = R U $를 적용하여 $ R o ext{SO}(n) $, $ U = ext{Sym}^+(n) $이며, 지그로드 거리가 $ ext{dev} ext{log}(U) $와 $ ext{tr} ext{log}(U) $에만 의존함을 보인다.
• 가중 페로노비우스 노름을 사용하여 지그로드 거리를 $ ext{dist}_{ ext{geod}}(F, ext{SO}(n)) = ig\| ext{log} ig( ext{sym}(F^T F)^{1/2} ig) igig floor_{ ext{metric}} $로 특성화한다.
• 고전적 해석학과 행렬 로그의 성질을 사용하여 에너지 최소화자(길이를 최소화하는 지그로드 곡선)의 전역적 존재성과 유일성을 증명한다.
• 지그로드 거리가 헨크리 응력 에너지와 일치함을 보여주며, 리만 기하학과 초탄성 이론 간의 연결 고리를 확립한다.

실험 결과

연구 질문

• RQ1 왼쪽 불변, 오른쪽 O(n)-불변 리만 계량에 대해 변분법을 유일하게 사용하여 GL(n)에서의 지그로드 곡선과 거리를 명시적으로 매개변수화할 수 있는가?
• RQ2 이러한 계량 하에서 GL(n)에서 길이를 최소화하는 지그로드 곡선의 전역적 구조는 어떻게 되며, 항상 존재하는가?
• RQ3 GL(n)에서의 지그로드 거리가 비선형 탄성 이론에서의 로그 변형 텐서와 어떻게 관련되는가?
• RQ4 GL⁺(n)에 속한 두 행렬 사이의 지그로드 거리는 닫힌 형태로 계산 가능한가, 아니면 특수 케이스에서는 명시적으로 평가할 수 있는가?
• RQ5 이러한 계량 하에서 GL(n)과 SO(n)의 기하학적 성질은 무엇인가? 예를 들어 곡률 또는 국소적이지 않은 거리 행동 등.

주요 결과

• 임의의 $ F o ext{SO}(n) $에 대해 지그로드 거리는 $ igig floor ext{log} ig( ext{sym}(F^T F)^{1/2} ig) igig floor_{ ext{metric}} $로 주어지며, 여기서 노름은 매개변수 $ u, u_c, u $를 가진 등방성 내적에 의해 정의된다.
• 지그로드 거리가 SO(n)까지는 헨크리 응력 에너지 $ W(F) = \nu \big\| \text{dev} \text{log} \big( \text{sym}(F^T F)^{1/2} \big) \big\|^2 + \frac{\nu_c}{n} \big[ \text{tr} \text{log} \big( \text{sym}(F^T F)^{1/2} \big) \big]^2 $ 와 일치한다.
• 지그로드 곡선의 매개변수화는 지그로드 방정식의 해 $ U(t) $를 통해 명시적으로 주어지며, 이는 $ U(t) = \text{exp}(tM) $로 표현되며, $ M \to \text{Sym}(n) $ 이고 초기 조건에 의해 결정된다.
• 이러한 계량에 대해 길이를 최소화하는 지그로드 곡선은 GL⁺(n) 전역에서 존재하며, 에너지 함수의 볼록성과 컴actness 추론에 의해 존재가 보장된다.
• 결과는 $ \big\| F - \boldsymbol{\text{1}} \big\| $가 크더라도 GL⁺(n) 전역에서 유효하며, 공식 (5.20)이 국소적 제약 없이 항상 성립함을 확인한다.
• 논문은 지그로드 거리가 극분해 $ F = R U $에서의 회전 부분 $ R $에 영향을 받지 않으며, 오직 대칭 부분 $ U $에만 의존함을 증명한다.