[논문 리뷰] Uniqueness of the viscosity solution of a constrained Hamilton-Jacobi equation

Vincent Cálvez, King‐Yeung Lam|arXiv (Cornell University)|2018. 09. 14.

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

한 줄 요약

이 논문은 양적 유전학에서 발생하는 제약 조건이 알려지지 않은 스칼라 함수 $ I(t) $에 의해 구현되는 해밀턴-자코비 방정식에 대한 점성 해의 유일성을 확립한다. 해밀턴함수의 운동량 변수에 대한 볼록성, $ I $에 대한 단조성, $ I(t) $의 유계 변동성 정규성 조건 하에서, 저자들은 해밀턴-자코비-벨만 공식화와 리프시츠 함수에 의한 $ I(t) $의 근사화를 활용한 유일성 증명을 비타리성 이론적 접근 방식으로 수행한다.

ABSTRACT

In quantitative genetics, viscosity solutions of Hamilton-Jacobi equations appear naturally in the asymptotic limit of selection-mutation models when the population variance vanishes. They have to be solved together with an unknown function I(t) that arises as the counterpart of a non-negativity constraint on the solution at each time. Although the uniqueness of viscosity solutions is known for many variants of Hamilton-Jacobi equations, the uniqueness for this particular type of constrained problem was not resolved, except in a few particular cases. Here, we provide a general answer to the uniqueness problem, based on three main assumptions: convexity of the Hamiltonian function H(I, x, p) with respect to p, monotonicity of H with respect to I, and BV regularity of I(t).

연구 동기 및 목표

• 알려지지 않은 피드백 함수 $ I(t) $를 가진 제약 조건이 있는 해밀턴-자코비 방정식에 대한 점성 해의 유일성 문제를 오랫동안 미해결로 남아 있던 문제를 해결하기 위해.
• 특히 $ I \in BV(0,T) $와 같이 $ I(t) $에 대해 최소한의 정규성 조건을 가정할 때 유일성을 확립하기 위해.
• 이전에 볼록성 또는 분리 가능한 경우에 국한되어 있던 유일성 결과를 비분리적, 비볼록 해밀턴함수에 적용 가능한 일반적 프레임워크로 확장하기 위해.
• 선택-돌연변이 모델의 영구 점성 근사와 그 한계 해밀턴-자코비 문제의 유일성 사이의 격차를 메우기 위해.

제안 방법

• 제약 조건이 있는 해밀턴-자코비 방정식을 $ \partial_t u + H(I(t), x, d_x u) = 0 $ 및 $ \min_x u(t,x) = 0 $ 형태로 설정하며, 여기서 $ I(t) $는 알려져 있지 않지만 최소 조건에 의해 제약을 받는다.
• 측정 가능 시간 의존성을 갖는 점성 해의 이론을 적용하며, 잘 정의된 해의 존재성과 유일성을 확보하기 위해 이시이 및 리옹스-페르타메의 결과를 활용한다.
• 해의 변분적 특성화를 위해 값 함수 $ V(t,x) = \inf_{\gamma} \int_0^t L(s, \gamma(s), \dot{\gamma}(s)) \, ds + g(\gamma(0)) $ 를 사용한다. 여기서 $ L $ 은 $ H $ 의 레이지에-펜체르 변환이다.
• 해밀턴 흐름과 비타리성 이론을 활용해 역행적 궤적을 구성함으로써, 임의의 점성 해 $ u $ 가 $ u \geq V $ 를 만족함을 증명한다.
• $ I(t) $를 아래에서 리프시츠 함수의 수열 $ I_k(t) \nearrow I(t) $ 로 근사함으로써, 해의 성질이 유지됨을 보장한다.
• 최소화 곡선의 컴actness와 지배 수렴 정리를 활용해 극한으로 넘어가 $ u \geq V $ 를 유도하고, 따라서 $ u = V $ 를 도출함으로써 유일성을 증명한다.

실험 결과

연구 질문

• RQ1 만약 $ I(t) $ 가 매끄럽거나 볼록이 아니라 유계 변동성일 경우, 제약 조건이 있는 해밀턴-자코비 방정식의 점성 해가 여전히 유일한가?
• RQ2 비분리적, 비볼록 해밀턴함수에 대해 $ I(t) $ 에 대한 최소한의 정규성 조건 하에서 유일성을 확보할 수 있는가?
• RQ3 제약 조건과 가정 조건 하에서 변분적 해 $ V(t,x) $ 는 유일한 점성 해인가?
• RQ4 인구 수준의 제약 조건에서 유래하는 피드백 함수 $ I(t) $ 는 한계 해밀턴-자코비 방정식의 유일성에 어떤 영향을 미치는가?

주요 결과

• 해밀턴함수 $ H $ 가 운동량 변수 $ p $ 에 대해 볼록성, $ H $ 가 $ I $ 에 대해 단조성, $ I(t) \in BV(0,T) $ 를 만족할 경우 점성 해의 유일성이 성립한다.
• 해 $ u $ 는 값 함수 $ V(t,x) $ 와 일치하며, 이는 절대 연속 곡선을 따라 행동 적분의 하한으로서 특징지어진다.
• 증명은 해밀턴 흐름을 이용한 역행적 궤적의 구성과 $ u $ 의 에피그래프에 비타리성 정리를 적용하는 데 기반한다.
• $ I(t) $ 를 리프시츠 함수 $ I_k(t) $ 로 근사하는 것은, 리프시츠 경우의 유일성 결과를 $ BV $ 경우로 확장하기 위한 수렴 논증을 가능하게 한다.
• 이전에 강한 볼록성 또는 분리 가능성 조건이 필요로 했던 유일성 결과를 일반화하여, 비분리적, 비볼록 해밀턴함수의 경우에도 적용 가능하게 한다.
• 최소한의 정규성 조건인 $ I \in BV $ 가 유일성에 충분함을 보였으며, 이는 이러한 제약 조건 문제에 있어 자연스러운 임계 조건임을 시사한다.