[논문 리뷰] Asymptotic behaviour for a chemo-repulsion system with quadratic production: The continuous problem and two fully discrete numerical schemes

Francisco Guillén‐González, María Ángeles Rodríguez‐Bellido외 1명|arXiv (Cornell University)|2018. 05. 02.

Mathematical Biology Tumor Growth인용 수 3

한 줄 요약

이 논문은 이차 생산 항을 포함한 화학적 반발력 시스템을 분석하여, 시간이 무한히 흐르면서 전역 약한-강한 해가 지수적으로 일정 상태로 수렴함을 증명한다. 또한 유한요소 후진 오일러 및 비선형 기울기 보정 방법을 사용한 두 가지 완전 이산화된 수치적 스킴을 제안하고, 그 해법 가능성과 조건부 없는 에너지 안정성, 그리고 수치 시뮬레이션을 통한 유사한 성능을 입증한다.

ABSTRACT

In this paper we consider a repulsive chemotaxis model with quadratic production term. We analyze the large-time behavior of the global weak-strong solutions and we prove the exponential convergence to a constant state as time goes to infinity. Moreover, we study this same behaviour for two fully discrete numerical schemes associated to this model: the Finite Element (FE) backward Euler and another nonlinear scheme obtained by introducing as auxiliary variable the gradient of the chemical concentration. On the way, in order to analyze the asymptotic behaviour for the backward Euler scheme, we prove its solvability and unconditional energy-stability. Finally, we compare the numerical schemes throughout several numerical simulations.

연구 동기 및 목표

• 이차 생산 항을 포함한 화학적 반발력 시스템에서 전역 약한-강한 해의 장기적 행동을 연구한다.
• 시간이 무한히 흐르면서 해가 일정 상태로 지수적으로 수렴함을 증명한다.
• 유한요소 후진 오일러 스킴과 비선형 기울기 변수를 도입한 스킴을 포함한 두 가지 완전 이산화된 수치적 스킴의 점점 가까워지는 행동을 분석한다.
• 후진 오일러 스킴의 해법 가능성과 조건부 없는 에너지 안정성을 증명한다.
• 두 수치적 스킴 간의 성능을 광범위한 수치 시뮬레이션을 통해 비교한다.

제안 방법

• 세포 밀도 방정식에 이차 생산 항을 포함한 화학적 반발력 모델을 수립한다.
• 에너지 방법을 활용하여 연속 해의 장기적 행동을 분석하고, 평형 상태로의 지수 감쇠를 증명한다.
• 완전 이산화된 유한요소 후진 오일러 스킴을 도입하고, 그 해법 가능성과 조건부 없는 에너지 안정성을 증명한다.
• 화학 농도 기울기를 보조 변수로 도입하여 비선형 완전 이산화 스킴을 제안함으로써 안정성과 정확도를 향상시킨다.
• 에너지 추정과 이산 그론월라 타입 부등식을 사용하여 두 수치적 스킴의 점점 가까워지는 행동을 분석한다.
• 두 스킴 간의 해 프로파일, 수렴 속도, 에너지 감쇠를 비교하는 수치 시뮬레이션을 수행한다.

실험 결과

연구 질문

• RQ1 이차 생산 항을 포함한 화학적 반발력 시스템의 전역 약한-강한 해는 시간이 무한히 흐르면서 지수적으로 일정 상태로 수렴하는가?
• RQ2 이 시스템에 대한 유한요소 후진 오일러 스킴은 조건부 없이 에너지 안정적이며 해법 가능한가?
• RQ3 화학 기울기를 보조 변수로 포함한 비선형 완전 이산화 스킴은 에너지 안정성을 유지하고 장기적 행동을 정확히 포착할 수 있는가?
• RQ4 두 수치적 스킴은 해의 품질, 에너지 감쇠, 평형 상태 수렴 측면에서 어떻게 비교되는가?
• RQ5 이산 해의 점점 가까워지는 행동은 어떠한가? 연속 시스템의 지수 수렴을 그대로 반영하는가?

주요 결과

• 이차 생산 항을 포함한 연속 화학적 반발력 모델의 전역 약한-강한 해는 시간이 무한히 흐르면서 지수적으로 일정 상태로 수렴한다.
• 유한요소 후진 오일러 스킴은 조건부 없이 에너지 안정적이며, 조건부 없이 해법 가능하여 안정적인 수치적 통합을 보장한다.
• 보조 기울기 변수를 포함한 비선형 스킴은 에너지 안정성을 유지하며 장기적 역학을 정확히 포착한다.
• 수치 시뮬레이션은 두 스킴 모두 이산 에너지의 지수 감쇠를 보이며, 연속 시스템의 행동과 일치함을 확인한다.
• 두 수치적 스킴은 해의 품질, 에너지 감쇠, 평형 상태 수렴 측면에서 유사한 성능를 보이며, 정확도나 안정성에 심각한 열화가 없음을 확인한다.