[논문 리뷰] Global existence, boundedness and stabilization in a high-dimensional chemotaxis system with consumption

Johannes Lankeit, Yulan Wang|arXiv (Cornell University)|2016. 08. 29.

Mathematical Biology Tumor Growth참고 문헌 17인용 수 7

한 줄 요약

이 논문은 소비와 로지스틱 성장을 고려한 고차원 화학유인 시스템에 대해 고전적 해의 전역 존재성과 유계성을 확립하며, 충분히 큰 μ가 전역 유계성과 평형 상태 수렴을 보장함을 증명한다. 또한 모든 μ > 0에 대해 전역 약한 해의 존재성을 보이며, κ > 0일 경우 해가 (κ/μ, 0)로 점점 수렴함을 보인다.

ABSTRACT

This paper deals with the homogeneous Neumann boundary-value problem for the chemotaxis-consumption system \begin{eqnarray*} \begin{array}{llc} u_t=Δu-χ abla\cdot (u abla v)+κu-μu^2,\\ v_t=Δv-uv, \end{array} \end{eqnarray*} in $N$-dimensional bounded smooth domains for suitably regular positive initial data. We shall establish the existence of a global bounded classical solution for suitably large $μ$ and prove that for any $μ>0$ there exists a weak solution. Moreover, in the case of $κ>0$ convergence to the constant equilibrium $(\fracκμ,0)$ is shown.

연구 동기 및 목표

• 소비와 로지스틱 원천을 포함한 고차원 화학유인 시스템에서 고전적 해의 전역 존재성과 유계성을 확립하는 것.
• 해의 장기적 행동을 분석하고, 특히 상수 평형 (κ/μ, 0)으로의 수렴을 다루는 것.
• 고전적 해가 존재하지 않을 수 있는 상황에서도 모든 μ > 0에 대해 전역 약한 해의 존재성을 증명하는 것.
• 화학유인 감도 χ, 초기 자료 크기, 과밀도 매개수 μ 간의 상호작용이 전역 유계성을 보장하는 데 미치는 영향을 조사하는 것.
• 적절한 μ 및 κ 조건 하에서 약한 해가 평형 상태로 안정화됨을 보이는 것.

제안 방법

• 경계가 유계이고 매끄러운 N차원 영역에서 노이만 경계 조건을 갖는 화학유인-소비 시스템을 분석: ut = Δu - χ∇·(u∇v) + κu - μu², vt = Δv - uv.
• 에너지 추정과 리아프노프 유형 함수 F를 사용하여 해 행동을 통제하고 사전 경계를 도출한다.
• ε-정규화를 통해 근사 해를 구성하고, [14, Cor. 8.4]를 통해 컴팩턴스 추론을 적용하여 수렴하는 부분수열을 추출한다.
• 바이탈리 수렴 정리와 등적분 가능성 추론을 적용하여 극한으로 간다 하여 약한 해를 확립한다.
• 두 번째 방정식(vt = Δv - uv)의 구조를 활용하여 비교 원리에 의해 v에 대한 L∞ 경계를 확보한다.
• 준에너지 부등식과 Lp 추정을 적용하여 수렴 속도와 저차원에서의 최종 매끄러움을 도출한다.

실험 결과

연구 질문

• RQ1 μ에 어떤 조건이 성립할 경우 화학유인-소비 시스템이 전역 고전적 해를 갖는가?
• RQ2 고전적 해가 폭발할 수 있는 상황에서도 모든 μ > 0에 대해 전역 약한 해를 구성할 수 있는가?
• RQ3 κ > 0일 경우, t → ∞일 때 해가 상수 평형 (κ/μ, 0)으로 수렴하는가?
• RQ4 초기 자료 크기와 화학유인 감도 χ는 해의 유계성에 어떤 영향을 미치는가?
• RQ5 μ는 시스템을 안정화시키는 데 어떤 역할을 하는가? 특히 고전적 켈러-세겔 모델과 비교하여 설명하는 것.

주요 결과

• 모든 μ > 0에 대해, 유계이고 매끄러운 영역에서 화학유인-소비 시스템에 전역 약한 해가 존재한다.
• μ가 χ와 초기 자료 크기(구체적으로 μ > Cχ‖v₀‖L∞(Ω))에 상대적으로 충분히 크면 고전적 해는 전역 존재하고 유계로 유지된다.
• κ > 0일 경우, t → ∞일 때 해 (u, v)는 상수 평형 (κ/μ, 0)으로 수렴하며, u − κ/μ ∈ L²(Ω × (0, ∞))이다.
• N ≤ 3일 경우, 약한 해는 최종적으로 매끄럽고, v에 대해 L∞(Ω)에서 균일하게 평형으로 수렴한다.
• u가 κ/μ로 수렴하는 속도는 ∫ₜ^{t+1} ‖u − κ/μ‖L²(Ω) dt → 0 (t → ∞)로 암시된다.
• 해의 존재성을 확보하기 위해 등적분 가능성과 컴팩턴스 추론을 사용하여 ε-정규화된 시스템에서 극한으로 간다.