[논문 리뷰] Multiple Patterns Formation for an Aggregation/Diffusion Predator-Prey System

Simone Fagioli, Yahya Jaafra|arXiv (Cornell University)|2019. 04. 10.

Mathematical and Theoretical Epidemiology and Ecology Models참고 문헌 37인용 수 3

한 줄 요약

이 논문은 비국소 상호작용과 이차 미분을 갖는 1차원 집합/확산 포식자-피식자 시스템을 연구하며, 작은 확산에 대해 기능적 은둔함수정리(implicit function theorem)를 통해 다중 공간 패턴(두드러진 부분)으로 구성된 정상해의 존재를 증명한다. 주요 결과는 상호작용 강도 $\alpha$와 두드러진 부분의 위치에 특정 조건이 충족될 경우 다중 봉우리 정상해가 나타남을 보여주며, 혼합, 분리, 이동파 패턴을 보여주는 수치 시뮬레이션으로 검증된다.

ABSTRACT

We investigate existence of stationary solutions to an aggregation/diffusion system of PDEs, modelling a two species predator-prey interaction. In the model this interaction is described by non-local potentials that are mutually proportional by a negative constant $-α$, with $α>0$. Each species is also subject to non-local self-attraction forces together with quadratic diffusion effects. The competition between the aforementioned mechanisms produce a rich asymptotic behaviour, namely the formation of steady states that are composed of multiple bumps, i.e. sums of Barenblatt-type profiles. The existence of such stationary states, under some conditions on the positions of the bumps and the proportionality constant $α$, is showed for small diffusion, by using the functional version of the Implicit Function Theorem. We complement our results with some numerical simulations, that suggest a large variety in the possible strategies the two species use in order to interact each other.

연구 동기 및 목표

• 비국소 집합/확산 시스템에서 상호작용의 비국소성과 상호작용의 상호작용을 포함한 포식자-피식자 역학을 모델링하는 정상해의 존재를 조사한다.
• 자기유인, 교차유인/상호기피, 이차 미분 간의 경쟁으로 인해 발생하는 복잡한 공간 패턴—특히 다중 봉우리 구조—의 형성 원리를 분석한다.
• 다중 봉우리 정상해가 존재할 수 있는 상호작용 강도 $\alpha$와 봉우리의 공간적 배열에 대한 조건을 설정한다.
• 다양한 초기 자료와 파rameter 영역에서 이론적 결과를 수치 시뮬레이션을 통해 검증한다.

제안 방법

• 비국소 자기상호작용과 포식자-피식자 상호작용 포텐셜을 갖는 입자기반 모델로부터 PDE 시스템을 공식적으로 유도한다.
• 스케일링을 통해 대칭적인 확산 계수를 갖는 1차원 시스템으로 단순화하여 분석을 용이하게 하되, 핵심 역학을 유지한다.
• 소규모 확산에 대해 다중 봉우리 정상해의 존재를 증명하기 위해 기능적 은둔함수정리의 적용을 수행한다.
• 퍼티urbation 분석을 통해 Barenblatt형 프로파일을 기본 해로 삼아 다중 봉우리 정상해를 구성한다.
• 복잡한 패턴의 발생을 시각화하고 검증하기 위해 입자 방법과 유한체적 스킴을 모두 사용한 수치 시뮬레이션을 수행한다.
• 모든 상호작용 포텐셜($S_\rho, S_\eta, K$)에 대해 정규화된 가우시안 커널을 사용하여 부드러움을 확보하고 분석적 가정을 충족시킨다.

실험 결과

연구 질문

• RQ1 집합/확산 포식자-피식자 시스템에서 상호작용 강도 $\alpha$와 공간적 배열 조건이 다중 봉우리 정상해의 존재에 어떤 영향을 미치는가?
• RQ2 자기유인, 교차유인/기피, 이차 미분 간의 경쟁이 안정된 공간 패턴 형성에 어떻게 기여하는가?
• RQ3 이론적으로 증명된 다중 봉우리 정상해가 다양한 초기 자료와 파rameter 영역에서 수치적으로 검증될 수 있는가?
• RQ4 다른 초기 조건과 $\alpha$ 값에 따라 혼합 상태, 분리된 구성, 또는 이동파와 같은 다양한 동적 행동이 어떻게 나타나는가?
• RQ5 $\alpha$의 값이 공존(혼합) 상태와 분리 상태 간의 전이에 어떻게 영향을 미치는가?

주요 결과

• 소규모 확산과 특정한 봉우리 위치 배열 조건 하에서, 은둔함수정리를 통해 다중 봉우리 정상해의 존재가 증명된다.
• 수치 시뮬레이션은 $\alpha = 0.05$, $d = 0.3$ 이며 초기 자료가 균형 잡힌 유인력 조건을 유도할 경우 네 봉우리 정상해의 존재를 확인한다.
• $\alpha = 1$, $d = 0.3$ 이며 초기 자료가 포식자와 피식자를 대칭적으로 클러스터링하게 하면 다섯 봉우리 정상해가 수치적으로 관측된다.
• $\alpha = 6$일 때 혼합 상태에서 분리 상태로의 전이가 관측되며, 이는 피식자가 포식자로부터 높은 도망 경향을 갖음을 시사한다.
• $\alpha = 1$, $d = 0.2$ 이며 초기 자료가 포식자와 피식자를 공간적으로 분리된 영역에 놓을 경우 이동파 패턴이 나타나며, 이는 동적 공존을 시사한다.
• $\alpha$의 선택은 시스템 행동을 결정적으로 좌우한다: 낮은 $\alpha$는 혼합 상태로 이어지고, 높은 $\alpha$는 분리 상태로 이어지고, 중간 값은 이동파를 유도한다.