[논문 리뷰] The diffusive logistic equation with a free boundary and sign-changing coefficient

Mingxin Wang|arXiv (Cornell University)|2014. 04. 17.

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

한 줄 요약

이 논문은 침입 종 확산을 모델링하기 위해 자유 경계와 부호가 변화하는 계수를 갖는 확산 로지스틱 방정식을 연구하며, 확산-소멸 이분화를 확립한다. 초기 서식지 크기, 확산 계수, 그리고 이동 매개변수 $\mu$에 기반한 확산 또는 멸종에 대한 정밀한 기준을 유도하고, 확산이 발생할 경우 자유 경계의 점근적 확산 속도를 추정한다.

ABSTRACT

This short paper concerns a diffusive logistic equation with the heterogeneous environment and a free boundary, which is formulated to study the spread of an invasive species, where the free boundary represents the expanding front. A spreading-vanishing dichotomy is derived, namely the species either successfully spreads to the right-half-space as time $t o\infty$ and survives (persists) in the new environment, or it fails to establish and will extinct in the long run. The sharp criteria for spreading and vanishing is also obtained. When spreading happens, we estimate the asymptotic spreading speed of the free boundary.

연구 동기 및 목표

• 변동하는 성장률을 갖는 비균질 환경으로 확산하는 침입 종의 장기적 역학을 이해하기 위해.
• 기존의 자유 경계 모델을 확장하여 내재된 성장률 $m(x)$가 부호를 변화시킬 수 있도록 허용함으로써 유리하고 불리한 서식지를 반영하기 위해.
• 확산-소멸 이분화를 확립하고, 종이 새로운 환경에 정착하는 데 성공할지 실패할지에 대한 정밀한 기준을 도출하기 위해.
• 종이 성공적으로 확산될 경우 확장하는 전면의 점근적 확산 속도를 추정하기 위해.
• 초기 서식지 크기 $h_0$, 확산 계수 $d$, 이동 매개변수 $\mu$ 등의 핵심 매개변수들이 침입 결과에 미치는 영향을 분석하기 위해.

제안 방법

• 경계 조건 $B[u] = \alpha u - \beta u_x$ 가 $x=0$에서 노이만형이며, 이동 경계 $x=h(t)$에서 영 딜레르체 조건을 갖는 확산 로지스틱 방정식에 대한 자유 경계 문제를 수립한다.
• 확산 속도를 종의 전면에서의 인구 기울기로 유도하는 이동 경계 조건 $h'(t) = -\mu u_x(t, h(t))$를 사용한다.
• 해의 장기적 행동을 특성화하기 위해 스펙트럼 이론과 주 특성값 $\lambda_1(\ell; d, m)$을 적용한다.
• 비교 원리와 상하한 해를 활용하여 $t \to \infty$일 때 확산 속도 $h(t)/t$에 대한 추정을 유도한다.
• Du & Lin (2009) 및 Zhou & Xiao (2014)의 알려진 결과에 기반하여, 더 약한 가정 하에 $m(x)$가 부호를 변화시키는 경우에도 분석을 확장한다.
• 확산 속도의 상하한을 유도하기 위해 $-d w'' + k w' = w(c - w)$의 이동파 해 $w_k(x)$를 포함하는 보조 문제를 사용한다.

실험 결과

연구 질문

• RQ1 종이 전체 오른쪽 반직선으로 성공적으로 확산되어 지속 가능한 조건은 무엇인가?
• RQ2 초기 존재에도 불구하고 종이 정착에 실패하여 결국 멸종하는 조건는 무엇인가?
• RQ3 초기 서식지 크기 $h_0$, 확산 계수 $d$, 이동 매개변수 $\mu$는 확산 또는 소멸 결과에 어떻게 영향을 미치는가?
• RQ4 확산이 발생할 경우 자유 경계 $h(t)$의 점근적 확산 속도는 무엇인가?
• RQ5 확산 대 소멸에 대한 정밀한 기준을 $d$, $\mu$, $h_0$, $m(x)$에 명시적으로 의존하도록 도출할 수 있는가?

주요 결과

• 확산-소멸 이분화가 성립한다: 혹은 $h_\infty = \infty$ 이고 $u(t,x) \to \hat{u}(x) > 0$ 이며 컴acts 집합 위에서 균일 수렴하며, 혹은 $h_\infty \leq h^*$ 이고 $\max_{x \in [0,h(t)]} u(t,x) \to 0$ 이다. $t \to \infty$일 때.
• 만약 $h_0 \geq h^*$ 이고, 여기서 $h^*$ 는 $\lambda_1(h^*; d, m) = 0$ 을 만족하는 값이라면, 모든 $\mu > 0$ 에 대해 확산이 발생한다.
• 만약 $h_0 < h^*$ 이면, $\mu^* > 0$ 이 존재하여 $\mu > \mu^*$ 일 때는 확산이 발생하지만, $\mu \leq \mu^*$ 일 때는 소멸이 발생한다.
• 만약 $d \leq d^*$ 이고, 여기서 $d^*$ 는 $h_0$ 와 $m(x)$ 에 따라 결정되는 값이라면, $h_0$ 와 관계없이 모든 $\mu > 0$ 에 대해 확산이 발생한다.
• 만약 $d > d^*$ 이면, $\mu^*$ 가 존재하여 $\mu > \mu^*$ 일 때는 확산이 발생하지만, $\mu \leq \mu^*$ 일 때는 소멸이 발생한다.
• 점근적 확산 속도는 $k_0(\mu, m_1) \leq \liminf_{t \to \infty} h(t)/t \leq \limsup_{t \to \infty} h(t)/t \leq k_0(\mu, m_2)$ 를 만족한다. 여기서 $m_1 = \inf_{x \geq \ell} m(x)$, $m_2 = \sup_{x \geq \ell} m(x)$ 이고, $k_0$ 는 관련된 이동파 문제의 파동 속도이다.