[논문 리뷰] Nonlocal and local models for taxis in cell migration: a rigorous limit procedure

Maria Krasnianski, Kevin J. Painter외 2명|arXiv (Cornell University)|2019. 08. 27.

Mathematical Biology Tumor Growth참고 문헌 50인용 수 4

한 줄 요약

이 논문은 세포 이동을 기술하는 비국소 모델(신호 기울기 위상에서 작용하는 적분 연산자에 의해 지배됨)과 그 국소적 대응 모델(고전적 화학성향 및 허프타시스) 사이의 엄밀한 수학적 한계 절차를 수립한다. 기울기 기반 적분 연산자를 통해 비국소성을 재구성함으로써, 감지 반경 $ r \to 0 $ 일 때 수렴성을 증명하며, 부적절한 특이점이 발생하지 않음을 보이고 약한 해의 전역 존재성을 보장한다. 이는 더 생물학적으로 타당하고 분석적으로 안정된 프레임워크를 제공한다.

ABSTRACT

A rigorous limit procedure is presented which links nonlocal models involving adhesion or nonlocal chemotaxis to their local counterparts featuring haptotaxis and classical chemotaxis, respectively. It relies on a novel reformulation of the involved nonlocalities in terms of integral operators applied directly to the gradients of signal-dependent quantities. The proposed approach handles both model types in a unified way and extends the previous mathematical framework to settings that allow for general solution-dependent coefficient functions. The previous forms of nonlocal operators are compared with the new ones introduced in this paper and the advantages of the latter are highlighted by concrete examples. Numerical simulations in 1D provide an illustration of some of the theoretical findings.

연구 동기 및 목표

• 비국소적 세포 이동 모델과 국소적 모델 간의 엄밀한 수학적 한계 절차를 수립하는 것.
• 감지 반경 $ r \to 0 $ 일 때 기존 비국소 모델이 도메인 경계 근처에서 발생하는 부적절한 특이점 문제를 다루는 것.
• 비국소 점착성과 비국소 화학성향을 동일한 비국소 연산자 재구성 방식을 통해 통합적으로 다루는 것.
• 모델의 계수 함수가 해에 의존하는 경우에도 가능한 분석 프레임워크를 확장하는 것.
• 이전의 비국소 수식보다 더 생물학적으로 타당하고 수학적으로 안정적인 대안을 제공하는 것.

제안 방법

• 신호에 의존하는 양의 기울기에 직접 적분 연산자를 적용함으로써 비국소 연산자를 재구성하는 것. 이는 신호 자체가 아닌 기울기에 적용하는 방식이다.
• 두 가지 새로운 비국소 연산자 도입: $ \mathcal{T}_r $은 감지 반경 내의 선분을 따라 신호 기울기를 평균하는 연산자이며, $ \mathcal{S}_r $은 방향에 대해 평균을 취하는 연산자이다.
• 적절한 가정 하에 감지 반경 $ r \to 0 $ 일 때 비국소 모델의 해가 국소 모델의 해로 수렴함을 증명하는 것.
• 비국소 이송 항을 $ \nabla \cdot (c \chi \mathcal{A}_r(g)) $ 를 포함하는 공통된 구조에 통합함으로써 점착성 및 화학성향 모델을 통합적으로 다루는 프레임워크 제공.
• 새로운 연산자 수식을 통해 비국소 모델에 대해 약한 해의 전역 존재성을 확립하는 것.
• 이론적 결과를 시각화하고 다양한 비국소 수식 간의 해 행동을 비교하기 위해 1차원 수치 시뮬레이션 수행.

실험 결과

연구 질문

• RQ1 감지 반경 $ r \to 0 $ 일 때 비국소 세포 이동 모델과 그 국소적 대응 모델 간의 엄밀한 한계 절차를 수립할 수 있는가?
• RQ2 비국소 연산자의 다양한 수식화 방식이 해의 정칙성과 경계 행동에 미치는 영향은 무엇인가? 특히 도메인 경계 근처에서 어떻게 되는가?
• RQ3 비국소성에 대해 기울기에 적용된 적분 연산자를 통해 재구성함으로써 모델의 수학적·생물학적 타당성이 향상되는가?
• RQ4 새로운 수식화가 해에 의존하는 계수 함수를 수용하면서도 국소 한계로의 수렴성을 유지하는가?
• RQ5 적분 경로(변수 $ s \in [0,1] $)가 결과로 나오는 이송 방향과 해의 매끄러움에 어떤 영향을 미치는가?

주요 결과

• 선분을 따라 신호 기울기를 평균하는 새로운 비국소 연산자 $ \mathcal{T}_r $ 는 $ r \to 0 $ 일 때 도메인 경계에서 기존 $ \mathcal{A}_r $ 수식과 달리 부적절한 특이점을 피하고 더 매끄러운 해를 도출한다.
• 1차원 수치 시뮬레이션 결과, $ \mathcal{T}_r $ 기반 모델은 $ \mathcal{A}_r $ 기반 모델에 비해 정량적으로 더 안정적이고 생물학적으로 더 타당한 해를 생성함을 확인하였다.
• 재구성된 비국소 연산자 덕분에 $ r \to 0 $ 일 때 엄밀한 한계 절차가 가능해져 고전적 국소 화학성향 및 허프타시스 모델이 한계 시스템으로 도출된다.
• 새로운 수식화는 해에 의존하는 계수 함수가 존재하는 경우에도 비국소 모델에 대해 약한 해의 전역 존재성을 보장한다.
• $ \mathcal{T}_r $ 에서 경로 $ s \in [0,1] $ 에 대한 통합은 세포 돌출부가 환경을 연속적으로 탐색하는 방식을 반영하여, 점별 평가보다 더 생물학적으로 현실적인 모델링을 가능하게 한다.
• $ \mathcal{S}_r $ 수식은 방향에 대해서만 평균을 취하므로 신호 농도 지점으로부터 거리가 1인 지점에서 이송장에 점프 불연속성이 발생하지만, $ \mathcal{T}_r $ 은 연속성을 유지하고 특이성을 완화한다.