[논문 리뷰] A class of Hamilton-Jacobi equations with constraint: uniqueness and constructive approach

Sepideh Mirrahimi, Jean‐Michel Roquejoffre|arXiv (Cornell University)|2015. 05. 22.

Evolution and Genetic Dynamics참고 문헌 23인용 수 25

한 줄 요약

이 논문은 최대값이 항상 0이 되도록 유지하는 제약 조건이 있는 시간에 따라 변화하는 해밀턴-자코비 방정식의 점도 해의 유일성과 구조적 존재성을 확립한다. 동적 프로그래밍 원리와 최댓값에 대한 상미분방정식을 유도함으로써, 저자들은 해가 고전적임을 증명하고 유일하게 결정됨을 보이며, 소규모 확산을 가진 인구역학의 선택-돌연변이 모델 분석을 발전시킨다.

ABSTRACT

We discuss a class of time-dependent Hamilton-Jacobi equations, where an unknown function of time is intended to keep the maximum of the solution to the constant value 0. Our main result is that the full problem has a unique viscosity solution, which is in fact classical. The motivation is a selection-mutation model which, in the limit of small diffusion, exhibits concentration on the zero level set of the solution of the Hamilton-Jacobi equation. Uniqueness is obtained by noticing that, as a consequence of the dynamic programming principle, the solution of the Hamilton-Jacobi equation is classical. It is then possible to write an ODE for the maximum of the solution, and treat the full problem as a nonstandard Cauchy problem.

연구 동기 및 목표

• 해밀턴-자코비 방정식의 최대값 제약 조건이 해의esssup를 항상 0으로 유지하도록 하는 오랜 동안 미해결된 열린 문제인 유일성 문제를 해결하기 위해.
• 이전 연구에서 사용된 점성 근사에 의존하지 않고, 제약 조건이 있는 시스템에 대해 구조적 존재 증명을 제공하기 위해.
• 자료에 대한 오목성 가정 하에 해가 점도 해가 아니라 고전적 해임을 입증하기 위해.
• 선택과 돌연변이의 복잡한 인구역학 모델에서 해밀턴-자코비 접근법의 발전을 지원하기 위해.
• 소규모 돌연변이 근처에서의 기저 선택-돌연변이 모델에 대해 더 강력한 수렴 결과와 점근적 전개를 가능하게 하기 위해.

제안 방법

• 저자들은 초기 자료와 함수 $ R(x,I) $ 에 대한 오목성 가정 하에, 해밀턴-자코비 방정식의 해가 고전적임을 동적 프로그래밍 원리를 통해 보여준다.
• 공간에 대한 해의 최댓값에 대한 상미분방정식을 유도하며, 전체 문제를 $ u(t,x) $ 와 조절자 $ I(t) $ 를 포함하는 비표준 초기값 문제로 간주한다.
• 제약 조건 $ \max_x u(t,x) = 0 $ 은 $ I(t) $ 를 라그랑주 승수로 모델링하여 이 조건을 유지하도록 조정함으로써 구현된다.
• 점성 근사에 의존하지 않고, 오목성에서 유도되는 정칙성에 기반하여 직접 방정식을 풀어 구조적 접근을 개발한다.
• 유일성 증명은 두 해를 그 이阶 도함수로 비교하고 특성 곡선을 사용하여 차이를 유계화하는 데 기반한다.
• 이차 경우에서는 오일러-라그랑주 방정식과 행렬 지수를 사용하여 명시적 해를 유도하며, 이는 이론적 결과를 확인한다.

실험 결과

연구 질문

• RQ1 자료 $ R $ 과 $ u_0 $ 에 대해 오목성 가정이 있을 때, 최대값 제약 조건이 있는 해밀턴-자코비 방정식은 고유한 해를 갖는가?
• RQ2 이전 연구에서 사용된 점성 근사 없이도 구조적 존재 증명을 제공할 수 있는가?
• RQ3 오목성 조건 하에서 동적 프로그래밍 원리는 해의 고전적 정칙성으로 이어지는가?
• RQ4 장기적으로 해와 제약 함수 $ I(t) $ 의 거동은 어떠한가, 특히 이차 경우에 대해 어떻게 되는가?
• RQ5 해의 정칙성과 고유성은 기저 선택-돌연변이 모델의 수렴 결과를 강화하는 데 사용될 수 있는가?

주요 결과

• 자료 $ R $ 과 $ u_0 $ 에 대한 오목성 가정 하에, 동적 프로그래밍 원리에 기반해 제약 조건이 있는 해밀턴-자코비 방정식의 해 $ u(t,x) $ 는 점도 해가 아니라 고전적 해임을 입증한다.
• 해 쌍 $ (u, I) $ 의 유일성은 최댓값이 잘 정의된 상미분방정식에 따라 진화하며, 임의의 두 해는 반드시 일치함을 보여 이로써 증명된다.
• 제약 조건 $ \max_x u(t,x) = 0 $ 은 $ I(t) $ 가 라그랑주 승수로 작용함으로써 유지되며, $ I(t) $ 는 동역학에 의해 유일하게 결정된다.
• 이차 경우에선 헤시안 $ D^2u(t,x) $ 가 시간에 관계없이 0 이상 무한 이하로 유계이며, 해는 안정 상태로 점차 수렴함을 보여준다.
• 큰 $ t $ 에서 최적 궤적 $ \overline{x}(t) $ 는 $ A_1^{-1}b $ 로 수렴하고, $ I(t) $ 는 $ I_0 + \frac{1}{2}A_1^{-1}b \cdot b $ 로 수렴함을 확인하여 장기적 거동을 확인한다.
• 이 방법은 점성 해의 점근적 전개를 가능하게 하여, 소규모 돌연변이 모델에서 표현형 분포를 근사하는 데 기여한다.