[논문 리뷰] On metric viscosity solutions for Hamilton-Jacobi equations of evolution type

Atsushi Nakayasu|arXiv (Cornell University)|2014. 07. 29.

Geometric Analysis and Curvature Flows참고 문헌 10인용 수 11

한 줄 요약

이 논문은 일반적인 미터 공간에서 진화형 해밀턴-자코비 방정식에 대한 새로운 미터 점탄성 해법의 개념을 최적 제어 원리에 기반해 도입한다. 동적 프로그래밍 원리를 통해 해의 유일 존재성을 확립하고, 제안된 해법 개념이 [13]에서 제시된 지가, 하마무키, 나카야수의 점탄성 해법 프레임워크와 동치임을 증명하며, 유클리드 또는 바나흐 공간을 초월해 임의의 미터 구조로 점탄성 이론을 확장한다.

ABSTRACT

This paper studies Hamilton-Jacobi equations of evolution type defined in a general metric space. We give a notion of a solution through optimal principles and establish a unique existence theorem of the solution for initial value problems. We also note a relationship between the notion of a solution and another notion based on characterization of the modulus of the gradient in the sense of [13].

연구 동기 및 목표

• 클래식 도함수나 기울기가 존재하지 않는, 탄성 공간의 구조가 없는 일반적인 미터 공간에서 해밀턴-자코비 방정식의 해법 개념을 정의하기 위해.
• 최적 제어에 기반한 동적 프로그래밍 원리를 사용하여 이러한 방정식의 초기값 문제에 대한 유일 존재 정리를 확립하기 위해.
• 이 논문에서 제안한 해법 개념을 지가, 하마무키, 나카야수의 [13]에서 제시한 미터 점탄성 해법 프레임워크와 연결하기 위해, 특히 하위해법에 대해.
• 유클리드 또는 바나흐 공간을 초월해, 유일한 미터 구조만을 갖는 임의의 미터 공간으로 점탄성 해법 이론을 확장하기 위해.

제안 방법

• 거칠기 없이 미터 도함수가 거의 어디서나 1 이하로 유계인 립시츠 곡선으로 가능한 곡선을 정의한다.
• 동적 프로그래밍 원리를 통해 하위해법과 상위해법을 도입한다: 하위해법은 모든 또는 일부 가능한 곡선을 따라 부분 최적 조건을 만족하고, 상위해법은 초과 최적 조건을 만족한다.
• 모든 가능한 곡선에 대해 총 비용의 상한으로서 가치 함수를 구성한다. 이는 주어진 비용과 종료 값의 조합이다.
• 가치 함수가 동적 프로그래밍 원리를 만족하고, 하위해법이자 상위해법임을 증명한다.
• 비교 원리를 사용하여, 동일한 초기 데이터를 가진 모든 하위해법이 상위해법에 의해 상한으로 제한됨을 보인다.
• 가치 함수가 동일한 초기 조건을 가진 하위해법이자 상위해법 조건을 유일하게 만족함을 증명함으로써 해의 유일 존재성을 확립한다.

실험 결과

연구 질문

• RQ1 탄성 공간이나 클래식 기울기가 없는 일반적인 미터 공간에서 해밀턴-자코비 방정식에 대한 점탄성 해법은 어떻게 정의할 수 있는가?
• RQ2 최적 제어에 기반한 본 논문의 해법 개념과 [13]에서 제시된 미터 점탄성 해법 개념 사이의 관계는 무엇인가?
• RQ3 해밀턴 함수에 대한 일반적인 가정 하에, 임의의 미터 공간에서 해밀턴-자코비 방정식에 대해 유일한 해가 존재할 수 있는가?
• RQ4 최적 제어 문제의 가치 함수는 동적 프로그래밍 원리를 만족하고, 제안된 의미에서 해로 작용할 수 있는가?
• RQ5 제안된 해법 개념은 유클리드 공간에서의 고전적 점탄성 해법과 동치이며, 비가속성 또는 비리만노이안 설정으로 어떻게 일반화되는가?

주요 결과

• 최적 제어에 의해 정의된 가치 함수는 제안된 미터 점탄성 해법 의미에서 해밀턴-자코비 방정식의 해이다.
• 가치 함수는 동적 프로그래밍 원리를 만족한다: 모든 h ∈ [0,t]에 대해 U(x,t) = inf over curves of ∫₀ʰ L[ξ] dr + U(ξ(h), t−h).
• 제안된 정의에 따라 가치 함수는 하위해법이자 상위해법이므로 해이다.
• 해는 유일하다: 동일한 초기 데이터를 가진 두 해는 비교 원리를 통해 반드시 동일하다.
• 이 논문의 하위해법 개념은 [13]의 하위해법 개념과 동치이며, 이는 이전 연구와의 일관성을 확보한다.
• 이 이론은 매끄럽거나 선형적 구조가 필요로 하지 않는 임의의 미터 공간에 적용 가능하므로, 비유클리드 및 비바나흐 설정으로 점탄성 해법을 일반화한다.