[논문 리뷰] Macroscopic limit from a structured population model to the Kirkpatrick-Barton model

G. Raoul|arXiv (Cornell University)|2017. 06. 13.

Evolutionary Game Theory and Cooperation참고 문헌 27인용 수 15

한 줄 요약

이 논문은 공간적 및 형질적 특성을 갖는 구조화된 인구 모델의 거시적 극한을 엄밀하게 확립한다. 재생률 γ → ∞일 때 해가 킴스퍼트-바튼 모델로 수렴함을 보이며, 증명은 형질 연산자에 대한 탄카의 부등식에서 유도된 와서스타인 수축과 공간 정규성에 대한 포아송형 추정을 조합하여 수행된다. 이로 인해 L∞loc에서 거시적 모델로의 모멘트 수렴이 도출된다.

ABSTRACT

We consider an ecology model in which the population is structured by a spatial variable and a phenotypic trait. The model combines a parabolic operator on the spatial variable with a kinetic operator on the trait variable. We prove the existence of solutions to that model, and show that these solutions are unique. The kinetic operator present in the model, that represents the effect of sexual reproductions, satisfies a Tanaka-type inequality: it implies a contraction of the Wasserstein distance in the space of phenotypic traits. We combine this contraction argument with parabolic estimates controlling the spatial regularity of solutions to prove the convergence of the population size and the mean phenotypic trait to solutions of the Kirkpatrick-Barton model, which is a well-established model in evolutionary ecology. Specifically, at high reproductive rates, we provide explicit convergence estimates for the moments of solutions of the kinetic model.

연구 동기 및 목표

• 재생률 γ가 매우 클 때 공간적으로 구조화된 무한소 모델(SIM)의 거시적 극한을 엄밀히 정당화하는 것.
• 성적 인구의 세밀한 운동학적 모델과 진화 생태학에서 널리 사용되는 킴스퍼트-바튼 모델(KBM) 사이의 격차를 메우는 것.
• 인구 밀도 n(t,x,y)가 (N,Z)가 킴스퍼트-바튼 모델(KBM)을 만족할 때 중심이 Z(t,x)이고 분산이 A인 가우시안 형태로 수렴함을 확립하는 것.
• 선형화 기법을 통해 속도를 명시적으로 기술할 수 없는 성적 인구에서의 전파 현상에 대한 수학적 기반을 제공하는 것.
• 비국소적이고 비선형인 재생 연산자를 갖는 모델에 대해, 와서스타인 수축과 포아송형 정규성 추정을 조합하여 수소화 한계 기법을 확장하는 것.

제안 방법

• 공간에 대해 포아송형 연산자를, 형질에 대해 볼츠만 유사 재생 연산자를 갖는 운동학 방정식으로 인구를 모델링하여 성적 재생을 표현한다.
• 형질 연산자에 대한 와서스타인 수축을 보장하기 위해 탄카의 부등식을 적용하여 모멘트 제어를 확보한다.
• 포아송형 추정(예: 하르나크 부등식, 슈라우드 이론)을 사용하여 공간 정규성을 제어하고 초기 조건의 부드러움을 유지한다.
• macroscopic 양 N(t,x)과 Z(t,x)에 대한 사전 추정을 도출하며, N의 하한과 호일더 연속성 조건을 포함한다.
• 공간 전이 밀도의 진화를 추정하기 위해 쌍대 문제를 구성하고 기본 해의 유계성을 증명한다.
• SIM과 KBM 해의 차이에 대해 포아송형 최대원리를 적용하여 γ → ∞일 때 수렴을 보인다.

실험 결과

연구 질문

• RQ1 공간적으로 구조화된 무한소 모델(SIM)의 해가 재생률 γ가 매우 클 때 킴스퍼트-바튼 모델(KBM)로 수렴하는가?
• RQ2 재생 연산자가 유도하는 와서스타인 수축과 포아송형 추정을 조합하여 공간적으로 구조화된 인구 모델에서 거시적 극한을 정당화할 수 있는가?
• RQ3 γ → ∞일 때 SIM 해의 모멘트가 KBM 해로 수렴하는 속도는 어떠한가?
• RQ4 KBM의 해는 SIM과 동일한 초기 조건 하에서 유일하게 결정되는가? 그리고 SIM의 극한으로서 나타나는가?
• RQ5 선택 항이 비국소적이고 비선형인 경우에도, 적절한 정규성 및 유계성 조건 하에서 거시적 극한을 확립할 수 있는가?

주요 결과

• SIM의 해는 γ → ∞일 때 KBM로 수렴하며, 인구 밀도 n(t,x,y)는 N(t,x)ΓA(y−Z(t,x)) 형태의 가우시안 프로파일로 수렴한다.
• macroscopic 양 (N,Z)는 킴스퍼트-바튼 모델 방정식을 만족하며, 이는 선택과 공간 확산 하에서 총 인구 수와 평균 형질의 역학을 묘사한다.
• 수렴은 L∞loc(ℝ+×𝕋d)에서 N과 Z에 대해 성립하며, 수렴 속도는 어떤 θ>0에 대해 O(γ−θ)이다.
• 증명은 탄카의 부등식에서 유도된 와서스타인 수축과 포아송형 정규성 추정을 조합하여 공간 및 형질 역학을 동시에 제어하는 데 의존한다.
• KBM의 해는 주어진 초기 조건 하에서 유일하며, SIM 해는 γ → ∞일 때 이로 수렴한다.
• 분석은 공간 도메인이 d차원 토러스임을 전제로 하며, 초기 자료가 적분 가능성 및 정규성 조건(초기 인구 및 그 모멘트의 유계성 포함)을 만족한다고 가정한다.