[논문 리뷰] Uniqueness of solutions to Hamilton-Jacobi equations arising in the Calculus of Variations

Gianni Dal Maso, Hélène Frankowska|ArXiv.org|2000. 06. 02.

Optimization and Variational Analysis참고 문헌 6인용 수 8

한 줄 요약

이 논문은 라그랑지안이 연속적이고 속도 변수에 대해 볼록하며 초선형 강성 조건을 만족할 때, 변분법에서 유도된 하미르톤-자코비 방정식의 점성해의 유일성을 최소한의 조건 하에 확립한다. 핵심 기여는 값 함수가 약한 연속 도함수 조건과 초기 조건을 만족하는 유일한 연속 점성해임을 증명한 것으로, 이는 전통적 또는 국소 리프시츠 해를 초월해 더 넓은 하향연속 함수의 클래스로 유일성 결과를 확장한다.

ABSTRACT

We prove the uniqueness of the viscosity solution to the Hamilton-Jacobi equation associated with a Bolza problem of the Calculus of Variations, assuming that the Lagrangian is autonomous, continuous, superlinear, and satisfies the usual convexity hypothesis. Under the same assumptions we prove also the uniqueness, in a class of lower semicontinuous functions, of a slightly different notion of solution, where classical derivatives are replaced only by subdifferentials. These results follow from a new comparison theorem for lower semicontinuous viscosity supersolutions of the Hamilton-Jacobi equation, that is proved in the general case of lower semicontinuous Lagrangians.

연구 동기 및 목표

• 변분법의 볼차 문제로부터 유도된 하미르톤-자코비 방정식의 점성해의 유일성을 확립하기 위해.
• 국소 리프시츠 또는 유계 해를 초월해 더 넓은 연속 함수의 클래스로 유일성 결과를 확장하기 위해.
• 특정 연속 도함수 조건과 초기 조건을 만족하는 하향연속 함수의 클래스에서 유일성을 증명하기 위해.
• 기존의 점성 준해에 대한 비교 정리의 일반화를 하향연속 라그랑지안의 경우로 확장하기 위해.
• 해의 최소한의 정규성 조건 하에서 유일성을 보장하는 새로운 비교 원리 제공하기 위해.

제안 방법

• 하미르톤-자코비 방정식의 하향연속 점성 준해에 대한 새로운 비교 정리를 도입한다.
• 클래식 도함수를 대체하기 위해 연속 방향 도함수를 사용하여 해의 약한 정규성 조건을 특성화한다.
• 유지 가능성 이론과 클락의 탄젠트 콘을 사용하여 해 함수의 하위개형을 분석한다.
• 분리 정리와 연속 도함수 콘의 닫힌 볼록 코어의 성질을 활용하여 해밀토니안을 포함하는 부등식을 유도한다.
• 근사 궤적의 수열을 구성하고 라그랑지안의 연속성을 활용하여 적분 추정치에서 극한을 취한다.
• 해의 하위개형에서 궤적의 유지 가능성에 관한 정리 2.2를 적용하여 해가 값 함수를 지배하도록 만드는 미분부등식을 유도한다.

실험 결과

연구 질문

• RQ1 해에 대해 어떤 최소한의 조건이 성립할 때 값 함수가 하미르톤-자코비 방정식의 유일한 점성해가 되는가?
• RQ2 해가 국소 리프시츠일 필요는 없지만 약한 연속 도함수 조건을 만족하는 연속 점성해에 대해 유일성이 확보될 수 있는가?
• RQ3 해의 클래스가 특정 연속 도함수 제약 조건을 만족하는 하향연속 함수로 확장될 경우 값 함수가 여전히 유일한 해인가?
• RQ4 하미르톤-자코비 방정식의 맥락에서 하향연속 점성 준해에 대해 비교 원리를 어떻게 제안하고 증명할 수 있는가?
• RQ5 연속 도함수 조건 (1.9)와 (1.10)은 전체 정규성 조건을 요구하지 않더라도 유일성을 보장하는 데 어떤 역할을 하는가?

주요 결과

• 값 함수 $ V $ 는 연속 도함수 조건 (1.9)와 (1.10), 그리고 초기 조건 (1.7)을 만족하는 함수들 중에서 하미르톤-자코비 방정식 (1.3)의 유일한 연속 점성해이다.
• 라그랑지안 $ L $ 이 연속적이고 속도 변수에 대해 볼록하며 초선형 강성 조건을 만족할 경우 유일성 결과가 성립한다.
• 하향연속 점성 준해에 대한 새로운 비교 정리가 확립되었으며, 이는 라그랑지안이 오직 하향연속일 경우에도 유효하다.
• 증명 과정에서 $ W \neq V $ 는 하위개형에서의 유지 가능성 논증을 통해 모순을 유도하므로 $ W \neq V $ 는 성립할 수 없다.
• 이전의 국소 리프시츠 정규성 또는 해의 유계성 조건을 요구하는 유일성 정리들을 초월하여 결과를 일반화하였다.
• 연속 도함수 조건 (1.9)와 (1.10)이 해가 일반화된 의미에서 점성해처럼 행동하도록 보장하여 비교 원리 적용이 가능하다는 것이 입증되었다.