[논문 리뷰] On a diffuse interface model of tumor growth

Sergio Frigeri, Maurizio Grasselli외 1명|arXiv (Cornell University)|2014. 01. 01.

Mathematical Biology Tumor Growth참고 문헌 18인용 수 6

한 줄 요약

이 논문은 종양 성장의 확산 인터페이스 모델에 대해 약한 해의 존재성, 유일성 및 장기적 행동을 확립한다. 이 모델은 Cahn-Hilliard 방정식과 반응-확산 방정식을 증식 함수를 통해 결합한다. 주요 기여는 잠재력과 증식 함수에 대한 일반 조건 하에서 유한 에너지 위상 공간에서 문제의 잘 정의됨과 전역 수집집합의 존재를 증명하는 것으로, 해는 유한 시간 내에 정규화된다.

ABSTRACT

We consider a diffuse interface model of tumor growth proposed by A.~Hawkins-Daruud et al. This model consists of the Cahn-Hilliard equation for the tumor cell fraction $φ$ nonlinearly coupled with a reaction-diffusion equation for $ψ$, which represents the nutrient-rich extracellular water volume fraction. The coupling is expressed through a suitable proliferation function $p(φ)$ multiplied by the differences of the chemical potentials for $φ$ and $ψ$. The system is equipped with no-flux boundary conditions which entails the conservation of the total mass, that is, the spatial average of $φ+ψ$. Here we prove the existence of a weak solution to the associated Cauchy problem, provided that the potential $F$ and $p$ satisfy sufficiently general conditions. Then we show that the weak solution is unique and continuously depends on the initial data, provided that $p$ satisfies slightly stronger growth restrictions. Also, we demonstrate the existence of a strong solution and that any weak solution regularizes in finite time. Finally, we prove the existence of the global attractor in a phase space characterized by an a priori bounded energy.

연구 동기 및 목표

• 연립 Cahn-Hilliard 및 반응-확산 방정식에 의해 지배되는 확산 인터페이스 종양 성장 모델에 대해 약한 해의 존재성을 확립한다.
• 증식 함수의 성장 조건을 약간 더 강하게 제한할 경우, 약한 해의 유일성과 초기 자료에 대한 연속적 의존성을 증명한다.
• 비선형성에 의한 점성 정규화 없이도 약한 해가 유한 시간 내에 강한 해로 정규화됨을 보여준다.
• 사전에 유한한 에너지를 가진 위상 공간에 정의된 전역 수집집합의 존재를 확립한다.
• 이전 연구에서 점성 정규화 또는 유계 증식 함수를 요구했던 것과 달리, 확산 인터페이스 종양 모델의 수학적 분석을 확장한다.

제안 방법

• ϕ (종양 세포 비율)와 ψ (영양소가 풍부한 세포외 수분 비율)가 각각 Cahn-Hilliard 및 반응-확산 방정식에 의해 진화하는 확산 인터페이스 모델을 수립한다.
• ϕ에 대한 증식 함수 p(ϕ)를 도입하여 ϕ와 ψ의 화학적 포텐셜을 연결하며, p는 다항식 성장 조건을 만족시킨다.
• 에너지 보존성과 비선형성의 하한을 가진 F의 근사화된 하한 Fm을 사용한 Faedo-Galerkin 근사 방법을 통해 근사 해를 구성한다.
• 에너지 항등식과 균일한 그론월 렘마를 사용하여 사전 추정을 도출하고, 극한을 취하여 약한 해를 얻는다.
• 타원형 정규성과 부트스트랩 기법을 적용하여 약한 해가 유한 시간 내에 더 높은 정규성을 획득함을 보여준다.
• 유한 에너지 위상 공간 WM에서 동역학 시스템을 정의하고, 유한한 수축 집합의 존재를 증명함으로써, 닫힌 족쇄에 대한 일반 정리에 따라 전역 수집집합을 도출한다.

실험 결과

연구 질문

• RQ1 잠재력 F와 증식 함수 p에 대해 어떤 일반 조건 하에서 확산 인터페이스 종양 모델이 유한 에너지를 가진 약한 해를 갖는가?
• RQ2 p에 대한 약간의 성장 제약 조건 하에서 약한 해는 유일하며, 초기 자료에 대해 연속적으로 의존하는가?
• RQ3 점성 정규화 없이도 약한 해가 유한 시간 내에 강한 해로 정규화될 수 있는가?
• RQ4 유한 에너지를 가진 위상 공간에서 모델이 생성하는 동역학 시스템은 전역 수집집합을 갖는가?
• RQ5 시스템의 장기적 행동은 어떻게 특징지어지며, 컴actness와 균일한 유계성으로 어떻게 기술되는가?

주요 결과

• 일반 조건 하에서 초기값 문제에 대해 약한 해가 존재한다: F는 C²이며 λ1-볼록이며, |F′| ≤ λ2F + λ3 이고, p는 다항식 성장 조건을 만족시킨다.
• p′에 대해 약간 더 강한 성장 제약 조건이 만족될 경우, 유일성과 초기 자료에 대한 연속적 의존성이 확립된다.
• 모든 약한 해는 유한 시간 내에 정규화되어 t > 0 에서 H³(Ω) × H¹(Ω) 에서 강한 해가 된다.
• 유한 에너지 위상 공간 WM에서의 해의 반군 {SM(t)}t≥0 는 잘 정의되어 있으며 전역 수집집합을 갖는다.
• 전역 수집집합은 WM에서 컴팩트하며, 위상 공간의 모든 유계 집합을 끌어당긴다. ∥ϕ∥H³(Ω), ∥ψ∥H¹(Ω), 에너지 관련 노름에 대해 균일한 유계성이 확보된다.
• 에너지 유형 기능 Φ에 대해 균일한 그론월 렘마를 적용하여 전역 수집집합의 존재성을 증명한다. 이에 따라 t ≥ 1 에서 ∥∇µ∥², ∥∇ψ∥², ∥∆ϕ∥² 가 균일하게 유계가 된다.