[논문 리뷰] The high dimensional Fisher-KPP nonlocal diffusion equation with free boundary and radial symmetry

Yihong Du, Wenjie Ni|arXiv (Cornell University)|2021. 02. 10.

Mathematical and Theoretical Epidemiology and Ecology Models참고 문헌 30인용 수 5

한 줄 요약

이 논문은 자유 경계와 원형 대칭을 갖는 고차원 피셔-KPP 비국소 확산 방정식을 연구하며, 가속 확산을 위한 임계 조건을 확립하기 위해 새로운 분석 기법을 도입한다. 커널 함수가 무한대에서 $|x|^{-\beta}$처럼 감쇠할 경우, 가속 확산은 정확히 $\beta \in (N, N+1]$일 때 발생하며, 확산 프로파일에 대한 정밀한 점 清점 추정치를 제시한다. 이는 유한 속도 영역에서 로그 보정이 발생하고, 가속 케이스에서는 거듭제곱 법칙 속도가 나타나며, 1차원 경우와는 상당히 다름을 보인다.

ABSTRACT

We study the radially symmetric high dimensional Fisher-KPP nonlocal diffusion equation with free boundary, and reveal some fundamental differences from its one dimensional version considered in \cite{cdjfa} recently. Technically, this high dimensional problem is much more difficult to treat since it involves two kernel functions which arise from the original kernel function $J(|x|)$ in rather implicit ways. By introducing new techniques, we are able to determine the long-time dynamics of the model, including firstly finding the threshold condition on the kernel function that governs the onset of accelerated spreading, and the determination of the spreading speed when it is finite. Moreover, for two important classes of kernel functions, sharp estimates of the spreading profile are obtained. More precisely, for kernel functions with compact support, we show that logarithmic shifting occurs from the finite wave speed propagation, which is strikingly different from the one dimension case; for kernel functions $J(|x|)$ behaving like $|x|^{-β}$ for $x\in\R^N$ near infinity, we obtain the rate of accelerated spreading when $β\in (N, N+1]$, which is the exact range of $β$ where accelerated spreading is possible. These sharp estimates are obtained by constructing subtle upper and lower solutions, based on careful analysis of the involved kernel functions.

연구 동기 및 목표

• 고차원 피셔-KPP 비국소 확산 방정식의 장기적 역학을 자유 경계와 원형 대칭 하에서 분석하여 1차원 결과를 고차원으로 확장한다.
• 확산이 유한 속도인지 가속되는지를 결정하는 커널 함수 $J(|x|)$에 대한 임계 조건을 규명한다.
• 콤팩트 지지와 무한대에서 $|x|^{-\beta}$ 유형의 커널 함수에 대해 두 가지 주요 유형에서 확산 프로파일에 대한 정밀한 점 清점 추정치를 도출한다.
• 특히 유한 속도 확산에서의 로그 보정과 정확한 가속 확산 속도의 존재로 인해 1차원 경우와의 근본적인 차이를 규명한다.

제안 방법

• 저자들은 고차원에서 커널 함수의 암묵적 의존성을 다루기 위해 철저히 구성된 상한 및 하한 해를 사용하는 새로운 비교 기법을 도입한다.
• 반경 구조를 분리하기 위해 보조 커널 함수 $J_*$ 및 $\tilde{J}$를 정의하고, $|x|^{-\beta}$ 감쇠에 따라 그 행동을 분석한다.
• 반파동 해 프레임워크를 적응하여, 관련 고유값 유사 문제의 유일한 해 존재에 기반해 확산 속도 $c_0$가 존재할 경우를 결정한다.
• 증명은 반경 대칭을 활용해 문제를 1차원 적분 방정식으로 축소시킨 콘볼루션 적분 $\int_{B_{h(t)}} J(|x-y|)u(t,|y|) dy$의 세밀한 분석에 기반한다.
• 하한 및 상한 해가 확산 전면의 로그 및 거듭제곱 보정을 반영하도록 철저히 적용된 비교 원리가 엄밀하게 적용된다.
• $\beta \in (N, N+1]$인 경우, 저자들은 $\ln t$ 및 $t^{\alpha}$ 항을 포함하는 점 清점 추정치를 통해 정확한 가속 확산 속도를 유도하며, 적분 기준으로 검증한다.

실험 결과

연구 질문

• RQ1 자유 경계를 갖는 고차원 비국소 피셔-KPP 방정식에서 커널 함수 $J(|x|)$에 대한 임계 조건은 무엇이며, 이는 확산이 유한 속도인지 가속되는지를 결정하는가?
• RQ2 유한 속도 확산에서의 로그 보정이 있는가에 따라 고차원의 확산 프로파일은 1차원 경우와 어떻게 다를까?
• RQ3 무한대에서 $J(|x|) \sim |x|^{-\beta}$일 경우, 정확한 가속 확산 속도는 무엇이며, 이러한 가속화가 가능한 $\beta$의 범위는 무엇인가?
• RQ4 콤팩트 지지 커널의 경우 확산 전면 $h(t)$에 대해 정밀한 상한 및 하한을 구성할 수 있는가?
• RQ5 원형 대칭은 비원형 또는 1차원 설정과 비교해 장기 역학을 어떻게 변화시키는가?

주요 결과

• 콤팩트 지지 커널 함수의 경우, 확산 전면은 로그 보정을 보인다: $h(t) - c_0 t \sim \ln t$로, 이는 1차원에서는 나타나지 않는 현상이다.
• 무한대에서 $J(|x|) \sim |x|^{-\beta}$일 경우, 가속 확산은 $\beta \in (N, N+1]$일 때에만 발생하며, $\beta \in (N, N+1)$인 경우 확산 속도는 $h(t) \sim t^{(3-\beta)/(\beta-1)}$이며, $\beta = N+1$일 때는 $h(t) \sim t \ln t$이다.
• 유한 속도 확산의 임계 조건은 $\int_{\mathbb{R}^N} |x| J(|x|) dx < \infty$이며, 이는 $\beta > N+1$에 해당한다.
• $\beta \in (N, N+1]$인 경우 확산 속도는 무한대이며, 가속화의 정도는 정확히 거듭제곱 법칙 및 로그 보정으로 특징지어진다.
• 저자들은 $h(t)$의 점 清점 행동을 정확히 반영하는 명시적 상한 및 하한 해를 구성하였으며, $\tilde{J}$ 및 $J_*$에 대한 세밀한 적분 추정을 통해 추정치의 정밀도를 증명하였다.
• 분석 결과, 고차원에서의 원형 대칭은 확산 역학을 근본적으로 변화시키며, 1차원에서는 발생하지 않는 유한 속도 영역에서의 로그 보정과 같은 새로운 현상을 도입한다.