[논문 리뷰] Global existence and asymptotic behavior of solutions to a nonlocal Fisher-KPP type problem

Shen Bian, Li Chen외 1명|arXiv (Cornell University)|2015. 08. 01.

Nonlinear Partial Differential Equations참고 문헌 15인용 수 4

한 줄 요약

이 논문은 노이만 경계 조건과 비국소 반응 항 $ u^\alpha(1 - m(t)) $를 갖는 비국소 피셔-KPP 반응-확산 방정식에 대해 전역 존재성과 점점 수렴하는 행동을 확립한다. 여기서 $ m(t) $는 총 질량을 의미한다. $ \alpha \geq 1 $일 경우, 초기 질량이 $ \geq 1 $ 이면 유일한 전역 고전적 해가 존재하며, $ n=1,2 $ 에서는 $ \alpha < 2 $ 이거나, $ n \geq 3 $ 에서는 $ \alpha < 1 + 2/n $ 이면 성립한다. 이 경우 해는 $ t \to \infty $ 일 때 열 방정식의 해로 수렴한다. 수치 결과는 초기 질량 $ < 1 $ 이면서 $ \alpha > 2 $ 이더라도 전역 존재성이 성립할 가능성을 시사한다.

ABSTRACT

In this work, we consider a nonlocal Fisher-KPP reaction-diffusion problem with Neumann boundary condition and nonnegative initial data in a bounded domain in $\mathbb{R}^n (n \ge 1)$, with reaction term $u^α(1-m(t))$, where $m(t)$ is the total mass at time $t$. When $α\ge 1$ and the initial mass is greater than or equal to one, the problem has a unique nonnegative classical solution. While if the initial mass is less than one, then the problem admits a unique global solution for $n=1,2$ with any $1 \le α&lt;2$ or $n \ge 3$ with any $1 \le α&lt; 1+2/n$. Moreover, the asymptotic convergence to the solution of the heat equation is proved. Finally, some numerical simulations in dimensions $n=1,2$ are exhibited. Especially, for $α&gt;2$ and the initial mass is less than one, our numerical results show that the solution exists globally in time and the mass tends to one as time goes to infinity.

연구 동기 및 목표

• 비국소 피셔-KPP 유형의 반응-확산 문제에 대해 노이만 경계 조건을 갖는 고전적 해의 전역 존재성과 장기적 행동을 확립하기 위해.
• 초기 질량 $ m_0 $와 비선형 지수 $ \alpha \geq 1 $에 따른 해의 존재성과 정칙성의 의존성을 분석하기 위해.
• 시간이 $ t \to \infty $로 갈수록 해가 열 방정식의 해로 수렴하는 점점 수렴 행동을 조사하기 위해.
• 해석 결과가 제한된 $ \alpha > 2 $ 및 $ m_0 < 1 $ 의 경우 해의 행동을 수치적으로 탐색하기 위해.
• 질량 보존 반응 항을 갖는 비국소 KPP 유형 모델의 인구 역학 및 연소 이론에서의 이해를 확장하기 위해.

제안 방법

• 비국소 반응-확산 PDE인 $ u_t - \Delta u = u^\alpha(1 - \int_\Omega u \, dx) $ 의 형식적 분석: 노이만 경계 조건과 음이 아닌 초기 자료를 갖는다.
• $ \alpha $와 $ m_0 $에 대한 특정 조건 하에서 고전적 해의 존재성과 유일성을 증명하기 위해 에너지 추정과 최대원리 기법을 적용한다.
• 비교 원리와 질량 보존 논증을 활용하여 장기적 행동과 열 방정식 해로의 수렴성을 분석한다.
• 안정성과 수렴성을 유지하는 유한차분 스킴으로 반간접적 교차방향 음성(ADI) 스킴을 유도한다.
• 경계에서의 정확도를 유지하기 위해 외삽 기법을 활용한 두 번째 차수 정확도를 갖는 ADI 스킴을 구현한다.
• 1차원 및 2차원에서의 수치 시뮬레이션을 위해 $ \Omega = [0,1]^2 $ 의 정렬된 격자를 사용하며, 초기 자료는 $ m_0 < 1 $ 이며, $ \alpha = 3/2, 3 $, 그리고 1차원 및 2차원에서 $ \alpha = 2 $ 를 선택한다.

실험 결과

연구 질문

• RQ1 비국소 피셔-KPP 문제에 대해 $ \alpha $와 초기 질량 $ m_0 $ 가 어떤 조건을 만족할 경우 유일한 전역 고전적 해가 존재하는가?
• RQ2 시간이 $ t \to \infty $ 로 갈수록 해의 점점 수렴 행동은 열 방정식의 해와 어떻게 관련이 있는가?
• RQ3 특히 $ \alpha > 2 $ 이고 $ m_0 < 1 $ 일 때, 비국소 항 $ 1 - m(t) $ 가 유한 시간 내 폭발을 방지하는 데 어떤 역할을 하는가?
• RQ4 수치 시뮬레이션은 $ n=1,2 $ 에서 $ \alpha > 2 $ 이고 $ m_0 < 1 $ 일 때 전역 존재성이 성립한다는 추측을 지지할 수 있는가?
• RQ5 해는 시간에 따라 어떻게 진화하는가, 특히 질량 보존과 일정한 정적 상태로의 수렴 측면에서 어떻게 되는가?

주요 결과

• $ \alpha \geq 1 $ 이면, 차원에 관계없이 초기 질량 $ m_0 \geq 1 $ 이면 유일한 전역 비음수 고전적 해가 존재한다.
• 초기 질량 $ m_0 < 1 $ 이면, 차원 $ n = 1,2 $ 에서는 $ 1 \leq \alpha < 2 $ 이며, 차원 $ n \geq 3 $ 에서는 $ 1 \leq \alpha < 1 + 2/n $ 일 때 전역 존재성이 성립한다.
• 해는 $ t \to \infty $ 일 때 열 방정식의 해로 점점 수렴하며, 이는 장기적으로 일정한 프로파일로 안정화됨을 나타낸다.
• 1차원 및 2차원에서의 수치 시뮬레이션 결과, $ \alpha > 2 $ 이고 $ m_0 < 1 $ 이면 해는 전역적으로 존재하며 총 질량 $ m(t) $ 는 시간이 지남에 따라 1로 수렴한다.
• 해의 프로파일은 질량 보존과 비국소 피드백에 따라 균일한 상태 $ u \to 1/|\Omega| = 1 $ 로 수렴한다.
• ADI 유한차분 스킴은 높은 비선형성과 날카운 초기 자료가 있는 경우에도 두 번째 차수 정확도와 안정성을 잘 유지하며 동역학을 성공적으로 캡처한다.