[논문 리뷰] Traveling waves and spreading speeds for time-space periodic monotone systems

Jian Fang, Xiao Yu외 1명|arXiv (Cornell University)|2015. 04. 15.

Mathematical and Theoretical Epidemiology and Ecology Models참고 문헌 29인용 수 7

한 줄 요약

이 논문은 시간-공간 주기적 환경에서 단조성 반류를 갖는 시스템에 대해, Poincaré 사상 접근법을 사용하여 시간-공간 주기적 진행파와 확산 속도의 존재를 확립한다. 두 종 경쟁 모델에서 선형 결정성 없이도 최소 파동 속도가 확산 속도와 일치함을 증명하고, 선형 결정성이 성립하는 조건을 제시한다.

ABSTRACT

The theory of traveling waves and spreading speeds is developed for time-space periodic monotone semiflows with monostable structure. By using traveling waves of the associated Poincaré maps in a strong sense, we establish the existence of time-space periodic traveling waves and spreading speeds. We then apply these abstract results to a two species competition reaction-advection-diffusion model. It turns out that the minimal wave speed exists and coincides with the single spreading speed for such a system no matter whether the spreading speed is linearly determinate. We also obtain a set of sufficient conditions for the spreading speed to be linearly determinate.

연구 동기 및 목표

• 시간-공간 주기적 단조성 반류에 대해 진행파와 확산 속도의 일반 이론을 개발하기 위해.
• 주기적으로 변화하는 시공간 환경에서의 전파 분석을 위한 통합 프레임워크의 부족을 해결하기 위해.
• 선형 결정성이 없더라도 확산 속도가 최소 파동 속도와 일치하는 조건을 확립하기 위해.
• 반응-확산-유동 모델을 이용한 두 종 경쟁 모델에 추상 이론을 적용하기 위해.
• 이러한 시스템에서 확산 속도의 선형 결정성을 보장하는 충분조건을 규명하기 위해.

제안 방법

• 강한 의미에서 진행파를 정의하기 위해 Poincaré 사상 접근법을 사용하여 시간-공간 주기적 단조성 반류를 분석한다.
• 순서 유지(compact) 연산자 이론과 일반화된 고유값 이론을 적용하여 주기적 진행파의 존재를 확립한다.
• 초기 자료가 컴actsupport를 갖는 해의 渐近적 행동을 통해 확산 속도 개념을 적용한다.
• 선형화된 시스템의 스펙트럼 이론과 고유값 분석을 활용하여 선형 결정성 문제를 조사한다.
• 안정성 및 진행파 존재성 분석을 용이하게 하기 위해 원래 시스템을 협동형으로 변환한다.
• 비교 원리와 단조성 추론을 활용하여 전역 안정성 및 진행파 전파 성질을 증명한다.

실험 결과

연구 질문

• RQ1 시간-공간 주기적 환경에서 단조성 반류에 대해 진행파가 존재하는 조건은 무엇인가?
• RQ2 선형 결정성이 없더라도 이러한 시스템에서 최소 파동 속도가 항상 확산 속도와 일치하는가?
• RQ3 주기적 경쟁 시스템에서 확산 속도가 선형 결정성이 되기 위한 조건은 무엇인가?
• RQ4 확산, 유동, 시간-공간 주기성 간의 상호작용이 진행파 전파와 종 공존에 어떻게 영향을 미치는가?
• RQ5 주기적 매질에서 확산 속도는 선형화된 시스템의 주요 고유값을 통해 특징지을 수 있는가?

주요 결과

• 선형 결정성이 없더라도 시간-공간 주기적 시스템에서 최소 파동 속도가 확산 속도와 일치함을 입증하였다.
• 두 종 경쟁 모델에서 초기 종 1의 개체수가 0이 아니면, 정상 상태 $E_1 = (u^*_1(t,x), 0)$ 는 전역적으로 점점 수렴한다.
• 모든 $c \geq \bar{c}_+$ 에 대해, $ (u^*_1(t,x), 0) $ 에서 $ (0, u^*_2(t,x)) $ 로 연결되는 시간-공간 주기적 진행파가 존재하는 임계 속도 $\bar{c}_+$ 가 존재한다.
• $c < \bar{c}_+$ 인 경우, 두 경계 평형 상태를 연결하는 右방향 주기적 진행파는 존재하지 않으며, 이는 진행파 전파에 대한 날카운 임계값을 나타낸다.
• 선형 결정성에 대한 충분조건을 도출: 종 2의 확산 계수 $d_2$ 가 충분히 크거나 시간 주기 $\omega$ 가 충분히 작을 경우.
• Poincaré 사상 접근법을 통해 주기적 진행파의 존재를 확립하였으며, 이는 진행파 프로파일이 진행파 좌표에서 연속적이고 단조적임을 보장한다.