[논문 리뷰] Long time behavior of solutions of Fisher-KPP equation with advection and free boundaries

Hong Gu, Bendong Lou외 1명|arXiv (Cornell University)|2015. 01. 23.

Mathematical and Theoretical Epidemiology and Ecology Models참고 문헌 19인용 수 8

한 줄 요약

이 논문은 유동 환경에서의 인구 확산을 모델링하는 광역 경계를 가진 피셔-KPP 방정식의 장기적 행동을 연구한다. 해가 확산되거나 소멸되거나 '가상의 확산'을 보이는지 여부는 유동 계수 β와 초기 인구 크기 σ에 따라 결정되며, 이를 결정하는 핵심 임계값으로 β*와 c₀(최소 이동파 속도)를 규명한다.

ABSTRACT

We consider Fisher-KPP equation with advection: $u_t=u_{xx}-βu_x+f(u)$ for $x\in (g(t),h(t))$, where $g(t)$ and $h(t)$ are two free boundaries satisfying Stefan conditions. This equation is used to describe the population dynamics in advective environments. We study the influence of the advection coefficient $-β$ on the long time behavior of the solutions. We find two parameters $c_0$ and $β^*$ with $β^*>c_0>0$ which play key roles in the dynamics, here $c_0$ is the minimal speed of the traveling waves of Fisher-KPP equation. More precisely, by studying a family of the initial data $\{ σϕ\}_{σ>0}$ (where $ϕ$ is some compactly supported positive function), we show that, (1) in case $β\in (0,c_0)$, there exists $σ^*\geqslant0$ such that spreading happens when $σ> σ^*$ and vanishing happens when $σ\in (0,σ^*]$; (2) in case $β\in (c_0,β^*)$, there exists $σ^*>0$ such that virtual spreading happens when $σ>σ^*$ (i.e., $u(t,\cdot;σϕ) o 0$ locally uniformly in $[g(t),\infty)$ and $u(t,\cdot + ct;σϕ) o 1$ locally uniformly in $\R$ for some $c>β-c_0$), vanishing happens when $σ\in (0,σ^*)$, and in the transition case $σ=σ^*$, $u(t, \cdot+o(t);σϕ) o V^*(\cdot-(β-c_0)t )$ uniformly, the latter is a traveling wave with a "big head" near the free boundary $x=(β-c_0)t$ and with an infinite long "tail" on the left; (3) in case $β= c_0$, there exists $σ^*>0$ such that virtual spreading happens when $σ> σ^*$ and $u(t,\cdot;σϕ) o 0$ uniformly in $[g(t),h(t)]$ when $σ\in (0,σ^*]$; (4) in case $β\geqslant β^*$, vanishing happens for any solution.

연구 동기 및 목표

• 자유 경계를 가진 이동 환경에서의 장기적 인구 역학에 영향을 미치는 유동(β로 모델링)의 영향을 이해하기 위해.
• 유동이 존재할 때 해가 확산, 소멸, 또는 가상의 확산를 보이는 조건을 규명하기 위해.
• 다양한 장기적 행동 간 전이를 지배하는 임계값 β*와 c₀를 규명하기 위해.
• 특히 임계값 β = c₀ 및 β = β* 근처에서의 전이 영역에서 해의 점근적 프로파일을 분석하기 위해.
• 유동이 없는 피셔-KPP 방정식에 대한 이전 결과를 공간적 유동과 자유 경계 역학이 있는 경우로 확장하기 위해.

제안 방법

• 자유 경계 문제를 분석: $ u_t = u_{xx} - \beta u_x + f(u) $, 여기서 $ f $ 는 단일 안정 조건을 만족한다.
• 콤팩트 지지 집합을 가진 초기 자료 $ \sigma\phi $ 의 가족을 사용하여 초기 인구 크기 σ에 대한 의존성 분석.
• 비교 원리 적용 및 이동파 프로파일 $ W_\delta $ 와 $ V^* $ 를 이용한 하한 및 상한 해의 구성.
• 해의 시간 이동된 이동파 구성에 기반한 모순 추론을 통해 점근적 행동 유도.
• 스테판 유형 조건을 통한 자유 경계 $ g(t) $ 와 $ h(t) $ 의 운동 분석: $ g'(t) = -\mu u_x(t,g(t)) $, $ h'(t) = -\mu u_x(t,h(t)) $.
• 유동이 없는 경우에 대한 이전 연구에서 알려진 확산 속도 $ c^* $ 와 점근적 프로파일 결과를 활용한다.

실험 결과

연구 질문

• RQ1 유동 계수 β 는 자유 경계를 가진 피셔-KPP 방정식의 해의 장기적 행동에 어떻게 영향을 미치는가?
• RQ2 확산, 소멸, 가상의 확산 간 전이를 결정하는 임계값 β* 와 c₀ 는 무엇인가?
• RQ3 β = c₀ 또는 β ∈ (c₀, β*) 일 때 해의 점근적 프로파일은 어떻게 되는가?
• RQ4 초기 인구 크기 σ 는 결과인 확산, 소멸 또는 가상의 확산에 어떻게 영향을 미치는가?
• RQ5 β ∈ (c₀, β*) 일 때 전이 영역인 σ = σ* 인 경우 해는 어떻게 되는가?

주요 결과

• β ∈ (0, c₀) 에서는 σ > σ* 이면 확산이 발생하고, σ ≤ σ* 이면 소멸이 발생한다.
• β ∈ (c₀, β*) 에서는 σ > σ* 이면 가상의 확산이 발생하고, σ < σ* 이면 소멸이 발생하며, σ = σ* 에서는 '큰 머리'와 무한한 尾를 가진 이동파가 형성된다.
• β = c₀ 에서는 σ > σ* 이면 가상의 확산이 발생하고, σ ≤ σ* 이면 소멸이 발생한다.
• β ≥ β* 에서는 모든 초기 자료에 대해 소멸이 발생한다.
• 임계값 β* > c₀ 이며, c₀ 는 유동이 없는 경우 이동파의 최소 속도이다.
• 가상의 확산 영역에서는 해가 속도 β − c₀ 로 이동하는 이동파 $ V^* $ 로 수렴하며, 자유 경계 근처에는 국소화된 '큰 머리'가 있고, 왼쪽에는 긴 尾가 존재한다.