[논문 리뷰] A Free Boundary Problem for a Predator-prey Model with Double Free Boundaries

Mingxin Wang, Jingfu Zhao|arXiv (Cornell University)|2013. 12. 30.

Mathematical and Theoretical Epidemiology and Ecology Models참고 문헌 13인용 수 21

한 줄 요약

이 논문은 한 차원적 서식지에서 포식자 종의 확장 경계를 나타내는 이중 자유경계를 가진 포식-피식자 모델을 연구한다. 반응-확산 체계에 스타인호프 유형의 이동 경계 조건을 적용하여, 포식자는 성공적으로 무한히 퍼져서 양의 평형에 안정화되며(확산), 또는 정착에 실패하여 소멸된다(소멸)는 확산-소멸 이분법을 확립한다. 정확한 기준은 포식 효율성 및 초기 서식지 크기와 같은 모델 파라미터에 따라 달라진다.

ABSTRACT

In this paper we investigate a free boundary problem for a predator-prey model with double free boundaries in one space dimension. This system models the expanding of an invasive or new predator species in which the free boundaries represent expanding fronts of the predator species and are described by Stefan-like condition. We prove a spreading-vanishing dichotomy for this model, namely the predator species either successfully spreads to infinity as $t o \infty$ at both fronts and survives in the new environment, or it fails to establish and dies out in the long run while the prey species stabilizes at a positive equilibrium state. The long time behavior of solution and criteria for spreading and vanishing are also obtained.

연구 동기 및 목표

• 자유경계 문제를 사용하여 새로운 서식지로 침입하는 포식자 종의 공간적 확장을 모델링하기 위해.
• 인구 압력에 의해 이동하는 경계에 의해 이끌리는 장기적 역학을 이해하기 위해.
• 포식자가 성공적으로 침입하는지 여부를 결정하는 확산-소멸 이분법을 설정하기 위해.
• 포식률, 확산, 초기 서식지 크기와 같은 모델 파라미터에 기반한 확산 및 소멸에 대한 명시적 기준을 유도하기 위해.

제안 방법

• 좌우 확장 경계를 나타내는 이중 자유경계 $g(t)$ 와 $h(t)$ 를 가진 포식-피식자 상호작용에 대한 반응-확산 체계를 수립한다.
• 포식자 인구 기울기에 의해 이동하는 경계를 모델링하기 위해 스타인호프 유형의 조건 $g'(t) = -\mu u_x(t,g(t))$ 와 $h'(t) = -\mu u_x(t,h(t))$ 를 적용한다.
• 비교 원리와 상하한 해를 사용하여 이동 영역에서 해의 장기적 행동을 분석한다.
• 자유경계를 가진 타원형 방정식 이론을 적용하여 모든 $t > 0$ 에 대해 해의 존재성, 유일성 및 정규성을 증명한다.
• 장기적 영역에서의 점근적 분석과 해의 극한 행동을 사용하여 확산-소멸 이분법을 도출한다.
• 보조 타원형 문제와 수렴 결과를 활용하여 장기적 인구 수준과 경계 역학을 추정한다.

실험 결과

연구 질문

• RQ1 포식자 종이 새로운 환경에서 성공적으로 확산되고 지속되는 조건은 무엇인가?
• RQ2 초기 도입에도 불구하고 포식자 인구가 시간이 지남에 따라 소멸하는 이유는 무엇인가?
• RQ3 이동 경계 $g(t)$ 와 $h(t)$ 는 어떻게 변화하며, 그들의 점근적 행동은 무엇에 의해 결정되는가?
• RQ4 확산 또는 소멸 시나리오에서 장기적 평형 수준은 포식자와 피식자 인구에 대해 각각 무엇인가?
• RQ5 포식 효율성 $c$, 확산 $D$, 초깃역지 크기 $h_0$ 와 같은 파라미터는 침입 결과에 어떻게 영향을 미치는가?

주요 결과

• 확산-소멸 이분법이 성립한다: $h(t) \to \infty$ 이고 $g(t) \to -\infty$ 이면 확산이며, $h(t) - g(t) \to h_\infty - g_\infty \leq \pi \sqrt{1/(1+ab)}$ 이면 소멸이다.
• 확산의 경우, $b > c$ 이고 $ac < 1$ 이면 $t \to \infty$ 일 때 $u(t,x) \to a/b$ 이고 $v(t,x) \to b$ 이다; $b \leq c$ 이면 $u(t,x) \to 1$ 이고 $v(t,x) \to 0$ 이다.
• 소멸의 경우, $\|u(t,x)\|_{C[g(t),h(t)]} \to 0$ 이고 $t \to \infty$ 일 때 $v(t,x) \to b$ 이다.
• 포식자의 확산 속도는 점근적으로 선형이다: $t \to \infty$ 일 때 $h(t) \sim k_0 t$ 를 만족하는 $k_0 > 0$ 이 존재한다.
• 확산 또는 소멸에 대한 기준은 초깃역지 크기 $h_0$, 포식률 $c$, 그리고 파라미터 $a$, $b$, $c$, $D$, $\mu$ 에 따라 달라진다.
• 장기적 행동는 포식자 확산, 피식자 성장, 포식 강도 간의 상호작용에 의해 결정되며, 모델 파라미터로부터 명시적 임계값이 도출된다.