[논문 리뷰] Global existence and steady states of a two competing species Keller-Segel chemotaxis model

Jia Hu, Qi Wang외 2명|arXiv (Cornell University)|2014. 07. 03.

Mathematical Biology Tumor Growth인용 수 4

한 줄 요약

이 논문은 1차원 두 종 킬러-세겔 화학유인 모델에 대해 룩타-볼테라 동역학과 노이만 경계 조건을 갖는 고전적 해의 전역 존재성과 균일 유계성을 확립한다. 분기 이론을 사용하여 비정상적인 양의 정 steady 상태의 존재를 증명하고, 화학유인 강도와 영역 길이에 따라 안정성을 결정하며, 작은 영역에서는 단조 안정 상태가 유리하고 큰 영역에서는 비단조 패턴이 지배됨을 보여준다.

ABSTRACT

We study an one{dimensional quasilinear system proposed by J. Tello and M. Winkler [19] which models the population dynamics of two competing species attracted by the same chemical. The kinetics terms of the interacting species are chosen to be the Lotka{Volterra type. We prove the existence of global bounded and classical solutions for all chemoattraction rates. Under homogeneous Neumann boundary conditions, we establish the existence of nonconstant steady states by local bifurcation theory. The stability of the bifurcating solutions is also obtained when the diffusivity of both species is large. Finally, we perform extensive numerical studies to demonstrate the formation of stable positive steady states with various interesting spatial structures.

연구 동기 및 목표

• 1차원에서 완전히 파라볼릭인 두 종 킬러-세겔 모델에 대해 고전적 해의 전역 존재성과 균일 유계성을 확립한다.
• 노이만 경계 조건 하에서 분기 이론을 통해 비정상적인 양의 정 steady 상태의 존재를 조사한다.
• 분기된 steady 상태의 안정성을 결정하고, 단조 또는 비단조 공간 패턴이 어떻게 발생하는지 조건을 규명한다.
• 화학유인 강도와 영역 크기를 기반으로 안정된 파동 모드 선택에 대한 이론적 메커니즘을 제공한다.
• 복잡한 시공간 패턴을 탐색하기 위해 광범위한 수치 시뮬레이션을 통해 이론적 결과를 검증한다.

제안 방법

• 화학물질을 향한 이동을 포함하는 두 경쟁 종의 1차원 비선형 편미분 포물선 시스템 (1.1)을 분석한다.
• 크랜달-라비노비츠 분기 이론을 적용하여 임계 화학유인 값에서 균일 평형 상태로부터 비정상적인 양의 정 steady 상태의 존재를 증명한다.
• 분기 매개변수의 명시적 공식을 유도하고, 분기 분지의 전환 방향을 결정하는 데 사용되는 임계 상수 $\mathcal{K}_2$를 계산한다.
• 튜링 불안정성 분석을 통해 균일 steady 상태가 화학유인 또는 유동 효과로 인해 안정성을 失하는 조건을 규명한다.
• 이론적 예측을 검증하고 시간 주기적 및 스파이크 유사 공간 패턴을 탐색하기 위해 수치 시뮬레이션을 수행한다.
• 패턴 형성의 영역 길이 $L$과 화학유인 강도 $\chi$, $\xi$에 대한 의존성을 조사한다.

실험 결과

연구 질문

• RQ1 완전히 파라볼릭인 두 종 킬러-세겔 시스템이 어떤 조건에서 전역적으로 유계인 고전적 해를 갖는가?
• RQ2 1차원 모델에서 비정상적인 양의 정 steady 상태가 분기 이론에 의해 어떻게 발생하는가?
• RQ3 분기된 steady 상태의 안정성은 영역 길이 $L$과 화학유인 강도 $\chi$, $\xi$에 따라 어떻게 달라지는가?
• RQ4 균일 상태가 안정성을 失할 경우, 어떤 공간 파동 모드(예: $\cos(k\pi x/L)$)가 안정된 패턴으로 선택되는가?
• RQ5 시간 주기적 패턴이나 스파이크 형성과 같은 복잡한 시공간 패턴은 어떤 조건에서 나타나며, 모델 매개변수에 어떻게 의존하는가?

주요 결과

• 주어진 조건 하에서 폭발 없이 모든 시간 동안 전역적으로 유계인 고전적 해가 존재함을 보여준다.
• 화학유인 강도 $\chi$가 임계 임계값 $\chi_0 = \min_k \{\tilde{\chi}_k, \hat{\chi}_k\}$을 초과할 경우, 균일 평형 상태에서 비정상적인 양의 정 steady 상태가 분기하여 존재한다.
• 작은 영역 길이 $L$에서는 안정된 steady 상태가 단조적이며, 큰 $L$에서는 고차 모드 분기로 인해 비단조 steady 상태가 나타난다.
• 분기된 해의 안정성은 분기 분지의 전환 방향을 결정하는 상수 $\mathcal{K}_2$의 부호에 의해 결정된다.
• $\chi_0 = \chi_{k_0} < \min_k \hat{\chi}_k$일 경우, 분기점 근처에서 시스템은 $k_0$-모드를 안정된 공간 패턴으로 선택한다.
• 수치 시뮬레이션을 통해 안정된 양의 정 steady 상태, 시간 주기적 패턴, 합쳐지거나 생성되는 스파이크와 같은 복잡한 구조의 형성이 확인되었다.