[논문 리뷰] Uniqueness in a class of Hamilton-Jacobi equations with constraints

Sepideh Mirrahimi, Jean‐Michel Roquejoffre|arXiv (Cornell University)|2015. 02. 13.

Mathematical Biology Tumor Growth참고 문헌 6인용 수 4

한 줄 요약

이 논문은 시간에 따라 변화하는 해밀턴-자코비 방정식의 클래스에 대해, 해의 최댓값이 항상 0이 되도록 강제하는 동적 제약 조건이 있는 경우, 처음으로 전역 유일성 결과를 확립한다. $(u, I(t))$의 결합된 해의 유일성 증명을 통해, 인구가 시간에 따라 변화하는 주요 특성에 집중하는 소수의 분산 한계에서 강한 수렴성과 오차 추정치를 가능하게 한다.

ABSTRACT

In this note, we discuss a class of time-dependent Hamilton-Jacobi equations depending on a function of time, this function being chosen in order to keep the maximum of the solution to the constant value 0. The main result of the note is that the full problem has a unique classical solution. 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. The uniqueness result that we prove implies strong convergence and error estimates for the selection-mutation model.

연구 동기 및 목표

• 시간에 따라 변화하는 매개변수 $I(t)$를 통해 해의 최댓값이 항상 0이 되도록 제약하는, 시간에 따라 변화하는 해밀턴-자코비 방정식의 클래스에 대해 유일성 문제를 해결한다.
• 소수의 분산 한계($\varepsilon \to 0$)에서 선택-돌연변이 인구 모델에 대해 강한 수렴성과 오차 추정치를 확립한다. 이 경우 인구 밀도는 해밀턴-자코비 해의 0 수준 집합에 집중된다.
• $n_\varepsilon$, 특성 집중점 $x_\varepsilon$, 자원 수준 $I_\varepsilon$의 인구 밀도에 대해 $\varepsilon$의 거듭제곱으로 이루어진 엄밀한 점근 전개를 제공한다.
• 제한 해밀턴-자코비 문제의 유일성을 활용하여, 전체 해 시퀀스 $(n_\varepsilon)$가 (단지 부분 시퀀스가 아니라) 수렴함을 보여준다.
• 생물학적 해석을 검증하여, 인구가 시간에 따라 변화하는 주요 특성에 집중되며, 제한 측도가 $\bar{x}(t)$에 집중됨을 보여준다.

제안 방법

• 동적 제약 조건을 포함한 해밀턴-자코비 문제를 설정: $\partial_t u = |\nabla u|^2 + R(x, I(t))$ 및 $\max_x u(t,x) = 0$, 여기서 $I(t)$는 시간에 대한 알려지지 않은 함수이다.
• 특성 방법을 사용하여 $r = V(I_1) - V(I_2)$의 선형화된 방정식을 분석하고, 이는 $I(t)$의 변화에 대한 해의 민감도를 제어한다.
• 핵심 추정치 확립: $\|V(I_1) - V(I_2)\|_{W^{2,\infty}} \leq C \|I_1 - I_2\|_{L^\infty} \delta$로, 이는 작은 시간 간격에서 수축 유사 행동을 암시한다.
• 시간 간격 $[0, \delta]$에서 해의 사상 $I \mapsto V(I)$의 리프시츠 연속성과 특성 흐름에 대한 은폐 함수 정리(implicit function theorem)를 활용한 고정점 방법을 적용한다.
• 엄격한 볼록성과 $I(t) \in [0, I_M]$의 유계성에 기반하여 국소 해를 전역 존재성과 유일성으로 확장한다.
• 해밀턴-자코비 방정식을 파라볼릭 PDE $n_\varepsilon$와 연결하기 위해 호프-콜 변환 $n_\varepsilon = \exp(u_\varepsilon / \varepsilon)$를 사용하여 점근 분석을 가능하게 한다.

실험 결과

연구 질문

• RQ1 주어진 정규성 및 볼록성 가정 하에, 제약 조건이 있는 해밀턴-자코비 방정식의 해 $(u, I(t))$가 유일하게 결정되는가?
• RQ2 전체 시퀀스 $\varepsilon \to 0$에서 인구 밀도 $n_\varepsilon$가 시간에 따라 변화하는 특성 $\bar{x}(t)$에 집중된 측도로 수렴하는가? (부분 시퀀스가 아니라 전체 시퀀스로.)
• RQ3 $I_\varepsilon$, $x_\varepsilon$, $u_\varepsilon$의 고차 점근 전개는 $\varepsilon$의 거듭제곱으로 어떻게 표현되는가?
• RQ4 인구 밀도 $n_\varepsilon$의 수렴에 대한 오차 추정치는 복제율 $R(x, I)$의 정규성과 볼록성에 어떻게 의존하는가?
• RQ5 제한 측도 집중의 정확한 형태는 무엇이며, 진폭 $\bar{\rho}(t)$는 해 $I(t)$와 자원 함수 $\psi(x)$와 어떻게 관련되어 있는가?

주요 결과

• 해밀턴-자코비 문제 (1)는 $R$의 $C^2$ 정규성, $x$에 대한 엄격한 볼록성, 그리고 $\max_x R(x, I_M) = 0 = R(0, I_M)$를 만족하는 $I_M > 0$ 조건 하에 고전적 해 $(u, I(t))$를 유일하게 가진다.
• 해는 $u \in L^\infty_{\text{loc}}(\mathbb{R}^+; W^{3,\infty}_{\text{loc}}(\mathbb{R}^d)) \cap W^{1,\infty}_{\text{loc}}(\mathbb{R}^+; L^\infty_{\text{loc}}(\mathbb{R}^d))$ 및 $I \in W^{1,\infty}(\mathbb{R})$를 만족한다.
• 전체 시퀀스 $n_\varepsilon$는 $\varepsilon \to 0$일 때 측도의 의미에서 $\bar{\rho}(t) \delta(x - \bar{x}(t))$로 약한 수렴성을 보이며, 여기서 $\bar{\rho}(t) = I(t)/\psi(\bar{x}(t))$이다.
• 선택-돌연변이 모델의 해에 대해 점근 전개 $I_\varepsilon = I + \varepsilon I_1 + o(1)$, $x_\varepsilon = \bar{x} + \varepsilon \bar{x}_1 + o(1)$, $u_\varepsilon = u + \varepsilon \log(r / \varepsilon^{d/2}) + \varepsilon u_1 + o(1)$가 확립된다.
• $n_\varepsilon$의 수렴은 시간에 대해 컴팩트 세트에서 강하고 균일하며, 오차 추정치는 전개식의 $o(1)$ 항을 통해 정량화된다.
• 이 결과는 이 클래스의 제약 조건이 있는 해밀턴-자코비 방정식에서 오랫동안 열려 있던 유일성 문제를 해결하였으며, 이는 이전에 특수 케이스에서만 알려져 있었다.