[논문 리뷰] Asymptotic behaviour of global solutions to a model of cell invasion

Gabriela Liţcanu, Cristian Morales-Rodrigo|ArXiv.org|2009. 07. 05.

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

한 줄 요약

이 논문은 종양 세포 침습을 모델링하는 삼성분 반응-확산 시스템에 대해 전역 존재성과 평형 상태로의 渐近 수렴을 확립한다. 이 시스템은 확산, 하프토타시스, 증식, 단백질분해효소에 의한 세포외기질 분해를 포함한다. 주요 결과는 비선형성에 대한 온건한 가정 하에 해가 L² 노름에서 일정한 평형 상태로 수렴한다는 것이다.

ABSTRACT

In this paper we analyze a mathematical model focusing on key events of the cells invasion process. Global well-possedness and asymptotic behaviour of nonnegative solutions to the corresponding coupled system of three nonlinear partial differential equations are studied.

연구 동기 및 목표

• 삼성분 PDE 시스템을 이용한 종양 세포 침입을 모델링하는 비음성 해의 전역 잘 정의됨을 확립하기 위해.
• 하프토타시스와 단백질분해효소 생성에 대한 일반적인 비선형성 하에서 해의 장기적 渐近 행동을 분석하기 위해.
• 시간이 무한히 흐를 때 해가 L² 노름에서 일정한 평형 상태로 수렴하는 것을 증명하기 위해.
• 이전 결과를 확장하여 하프토타시스 감도 χ(v)와 단백질분해효소 생성 함수 g(v)의 기능적 형태에 대한 제약 조건을 제거하기 위해.

제안 방법

• 침습 세포 밀도(u), 세포외기질(v), 단백질분해효소 농도(m)에 대한 세 개의 비선형 PDE로 이루어진 연립 방정식을 수립한다. 이들에는 확산, 하프토타시스, 증식, 분해 및 생성 항이 포함된다.
• 변수 치환 w = u z 및 z = exp(−∫₀^v χ(s) ds)를 적용하여 에너지 추정에 적합한 형태의 시스템으로 변환한다.
• 가중치 L² 에너지 방법을 사용하여 사전 추정을 도출한다. 특히 ∫₀^t ∫_Ω z⁻¹|∇w|² 및 ∫₀^t ∫_Ω z⁻¹(w−1)²에 대한 유계성을 확보한다.
• Gronwall 유형의 추론과 v 및 그 시간 도함수의 균일한 유계성으로 비선형 항을 제어한다.
• 가중치 L² 노름의 감쇠, 즉 (w−1)의 가중치 L² 노름의 감쇠를 통해 균일한 적분 가능성과 수렴성을 확보한다.
• 변환과 에너지 추정을 활용하여 t→∞일 때 L²(Ω)에서 u가 일정한 상태로 수렴함을 증명한다.

실험 결과

연구 질문

• RQ1 일반적인 비선형 하프토타시스와 단백질분해효소 생성에 대해 세포 침입 PDE 시스템의 전역적이고 음이 아닌 해가 존재하는 조건은 무엇인가?
• RQ2 해는 시간이 지남에 따라 어떻게 행동하는가. 특히 평형 상태로의 수렴 여부는 어떻게 되는가?
• RQ3 χ(v) 또는 g(v)의 특정 기능적 형태를 가정하지 않고도 일정한 평형 상태로의 수렴을 증명할 수 있는가?
• RQ4 변환 w = u z는 장기적 행동 분석을 단순화하는 데 어떤 역할을 하는가?
• RQ5 일반적인 초기 자료와 파rameter 설정 하에서 세포 밀도의 L² 수렴이 일정한 상태로 강건한가?

주요 결과

• 일반적인 음이 아닌 미분 가능 함수 χ(v)와 g(v)에 대해, 온건한 정규성 및 유계성 조건 하에서 해의 전역 존재성과 음성 보존이 입증된다.
• 시간이 무한히 흐를 때 해는 L²(Ω) 노름에서 일정한 평형 상태로 수렴한다. 특히 lim_{t→∞} ‖u(·,t)−1‖_{L²(Ω)} = 0 이다.
• 수렴은 가중치 L² 노름 ∫_Ω z⁻¹(w−1)²의 감쇠에 의해 이끌린다. 이 노름은 시간이 흐름에 따라 0으로 수렴한다.
• 시간에 걸쳐 ∇w의 L² 노름과 (w−1)의 L² 노름에 대한 균일한 유계성이 확립되어 안정성을 보장한다.
• 초기 세포 밀도의 크기와는 무관하게, 초기 자료가 유계이고 음이 아닌 한 평형 행동은 동일하다.
• 증식 항(μ=1)이 존재하더라도 결과는 성립하며, 증식이 없는 경우(μ=0)에도 결과는 확장된다.