2025-11-24T04:19:17.762191

An Allen-Cahn tumor growth model with temperature

Gatti, Ipocoana, Miranville
In this paper, we propose a new non-isothermal Allen-Cahn (Ginzburg-Landau) model for tumor growth. After deriving it using a microforces approach, we study its well-posedness. In particular, we are able to prove the existence and uniqueness of a local and global-in-time solution to our PDE system.
academic

An Allen-Cahn tumor growth model with temperature

基本信息

  • 论文ID: 2510.13283
  • 标题: An Allen-Cahn tumor growth model with temperature
  • 作者: Stefania Gatti, Erica Ipocoana, Alain Miranville
  • 分类: math.AP (Analysis of PDEs)
  • 发表时间: October 16, 2025
  • 论文链接: https://arxiv.org/abs/2510.13283

摘要

本文提出了一个新的非等温Allen-Cahn(Ginzburg-Landau)肿瘤生长模型。通过使用微力方法推导该模型后,研究了其适定性问题。特别地,证明了PDE系统局部和全局时间解的存在性和唯一性。

研究背景与动机

问题背景

  1. 肿瘤生长建模的重要性:数学模型在癌症研究中发挥着越来越重要的作用,能够为医学界提供更好的理解和治疗癌症的支持,特别是在肿瘤生长机制、参数分析和长期行为研究方面。
  2. 相场模型的应用:相场(phase-field)模型在肿瘤生长研究中被广泛应用,通过序参量调节肿瘤演化,并由增殖、凋亡、趋化性等生物机制驱动。
  3. 温度效应的缺失:尽管已有大量肿瘤生长数学模型,但一个重要方面一直被忽视——温度对癌症的热效应。实验证实高温和低温都能导致肿瘤细胞的部分或完全破坏。

研究动机

  1. 填补研究空白:现有文献中缺乏考虑温度影响的Allen-Cahn肿瘤生长模型,仅有的非等温相场肿瘤模型是Cahn-Hilliard框架。
  2. 克服技术困难:在Cahn-Hilliard框架中,由于化学势项的存在,只能证明弱熵解的存在性,无法获得解的唯一性。Allen-Cahn系统能够克服类似困难。
  3. 热力学一致性:建立热力学一致的模型,能够包含温度对肿瘤生长的影响,同时实现不太弱解的全局存在性和唯一性。

核心贡献

  1. 提出新的非等温Allen-Cahn肿瘤生长模型:首次将温度效应纳入Allen-Cahn框架的肿瘤生长模型中。
  2. 严格的数学推导:使用Gurtin的微力方法从热力学第一、第二定律出发,严格推导出耦合的PDE系统。
  3. 完整的适定性理论:证明了系统局部和全局时间解的存在性和唯一性,克服了Cahn-Hilliard模型的技术困难。
  4. 解耦策略的成功应用:采用创新的解耦方法,结合Schauder不动点定理,成功处理了非线性耦合系统。
  5. 物理意义的保持:证明了解的非负性和有界性,符合生物学意义。

方法详解

任务定义

研究三维有界光滑区域Ω上的非等温Allen-Cahn肿瘤生长模型的适定性问题,系统包含三个演化方程:

ϕtΔϕ+F(ϕ)θ=(PσA)h(ϕ)in Ω×(0,T)θtdiv[κ(θ)θ]ϕt2+θϕt=0in Ω×(0,T)σtΔσ=Cσh(ϕ)+B(σBσ)in Ω×(0,T)\begin{aligned} \phi_t - \Delta\phi + F'(\phi) - \theta &= (P\sigma - A)h(\phi) \quad \text{in } \Omega \times (0,T) \\ \theta_t - \text{div}[\kappa(\theta)\nabla\theta] - \phi_t^2 + \theta\phi_t &= 0 \quad \text{in } \Omega \times (0,T) \\ \sigma_t - \Delta\sigma &= -C\sigma h(\phi) + B(\sigma_B - \sigma) \quad \text{in } \Omega \times (0,T) \end{aligned}

其中ϕ\phi为序参量(肿瘤浓度),θ\theta为绝对温度,σ\sigma为营养物浓度。

模型推导

1. 微力平衡方程

基于Gurtin的微力方法,建立内部微力平衡: div ξ+π+γ=0\text{div } \boldsymbol{\xi} + \pi + \gamma = 0

其中ξ\boldsymbol{\xi}为微应力,π\pi为内部微力,γ\gamma为外部微力。

2. 热力学关系

  • 内能密度e=ψ+θse = \psi + \theta s(Gibbs关系)
  • s=ψθs = -\frac{\partial \psi}{\partial \theta}
  • 自由能ψ=ε2ϕ2+1εF(ϕ)+f(θ)θϕ+N(ϕ)\psi = \frac{\varepsilon}{2}|\nabla\phi|^2 + \frac{1}{\varepsilon}F(\phi) + f(\theta) - \theta\phi + N(\phi)

3. 热力学定律应用

通过热力学第一定律和Clausius-Duhem不等式,推导出:

  • 微应力关系:ξ=εϕ\boldsymbol{\xi} = \varepsilon\nabla\phi
  • 本构关系:1θ(π+ψϕ)=βϕt\frac{1}{\theta}(\pi + \frac{\partial\psi}{\partial\phi}) = -\beta\frac{\partial\phi}{\partial t}

技术创新点

1. 解耦策略

采用两步解耦方法:

  • 第一步:固定温度θ~\tilde{\theta},求解(ϕ,σ)(\phi, \sigma)系统
  • 第二步:固定(ϕ,σ)(\phi, \sigma),求解温度方程

2. 函数空间设计

  • 温度空间:ΘR(T)={θ~L4(0,T;L6(Ω)):θ~0,θ~L4(0,T;L6(Ω))R}\Theta_R(T) = \{\tilde{\theta} \in L^4(0,T;L^6(\Omega)) : \tilde{\theta} \geq 0, \|\tilde{\theta}\|_{L^4(0,T;L^6(\Omega))} \leq R\}
  • 相场-营养空间:适当的Sobolev空间组合

3. 关键估计技术

  • Moser迭代:获得序参量的LL^\infty估计
  • 非线性Poincaré不等式:处理退化项
  • Young不等式和Hölder不等式:控制非线性项

实验设置

数学框架

  • 区域ΩR3\Omega \subset \mathbb{R}^3为光滑有界区域
  • 边界条件:齐次Neumann边界条件
  • 初始条件
    • θ0L3q(Ω)V\theta_0 \in L^{3q}(\Omega) \cap VK(θ0)VK(\theta_0) \in Vθ00\theta_0 \geq 0
    • ϕ0W5/3,6(Ω)\phi_0 \in W^{5/3,6}(\Omega)ϕ00\phi_0 \geq 0
    • σ0L(Ω)\sigma_0 \in L^\infty(\Omega)0σ010 \leq \sigma_0 \leq 1

模型参数

  • 物理参数P,A,C,B>0P, A, C, B > 0(增殖率、凋亡率、消耗率、转移率)
  • 热传导系数κ(θ)=1+θq\kappa(\theta) = 1 + \theta^qq2q \geq 2
  • 双阱势F(ϕ)=ϕ2(1ϕ)2F(\phi) = \phi^2(1-\phi)^2
  • 调节函数hC1(R)h \in C^1(\mathbb{R}),单调递增,h(0)=0h(0) = 0

实验结果

主要定理

定理3.1(局部存在唯一性)

对任意R>0R > 0,存在T=T(R)>0T = T(R) > 0,使得当初始数据满足条件且θ0VL3q(Ω)+K(θ0)V+ϕ0W5/3,6(Ω)R\|\theta_0\|_{V \cap L^{3q}(\Omega)} + \|K(\theta_0)\|_V + \|\phi_0\|_{W^{5/3,6}(\Omega)} \leq R时,系统存在唯一局部解(θ,ϕ,σ)(\theta, \phi, \sigma),满足:

  • θC([0,T];H)L(0,T;L3q(Ω)V)L4q(0,T;L12q(Ω))H1(0,T;H)\theta \in C([0,T];H) \cap L^\infty(0,T;L^{3q}(\Omega) \cap V) \cap L^{4q}(0,T;L^{12q}(\Omega)) \cap H^1(0,T;H)
  • ϕC([0,T];V)W1,4(0,T;L6(Ω))\phi \in C([0,T];V) \cap W^{1,4}(0,T;L^6(\Omega))
  • σL(0,T;L(Ω))L2(0,T;V)H1(0,T;V)\sigma \in L^\infty(0,T;L^\infty(\Omega)) \cap L^2(0,T;V) \cap H^1(0,T;V')

定理3.6(全局存在性)

局部解可以延拓为全局解,即对任意T>0T > 0,解在整个时间区间(0,T)(0,T)上存在。

关键估计

1. 先验估计

通过能量方法获得: ϕL(0,T;V)L2(0,T;H2(Ω))+σL(0,T;H)L2(0,T;V)m0(R)m1(T)\|\phi\|_{L^\infty(0,T;V) \cap L^2(0,T;H^2(\Omega))} + \|\sigma\|_{L^\infty(0,T;H) \cap L^2(0,T;V)} \leq m_0(R)m_1(T)

2. 正性保持

  • θ0\theta \geq 0 a.e. in QTQ_T
  • ϕ0\phi \geq 0 a.e. in QTQ_T
  • 0σ10 \leq \sigma \leq 1 a.e. in QTQ_T

3. LL^\infty估计

通过Moser迭代方法证明: ϕL(0,T;L(Ω))m0(R)m1(T)\|\phi\|_{L^\infty(0,T;L^\infty(\Omega))} \leq m_0(R)m_1(T)

相关工作

Allen-Cahn vs Cahn-Hilliard模型

  • Cahn-Hilliard模型:保持质量,但只能获得弱解
  • Allen-Cahn模型:不保持质量,但能获得强解和唯一性

非等温相场模型

  • 流体混合物:Eleuteri, Gatti, Schimperna等的工作
  • 肿瘤生长:Ipocoana的Cahn-Hilliard模型(仅弱解)

肿瘤生长的Allen-Cahn模型

  • Colli等:前列腺癌模型
  • Xu等:血管化肿瘤生长
  • 本文:首个包含温度效应的Allen-Cahn模型

结论与讨论

主要结论

  1. 成功建立了第一个非等温Allen-Cahn肿瘤生长模型
  2. 严格证明了局部和全局解的存在唯一性
  3. 保持了物理意义:解的非负性和有界性
  4. 克服了技术困难:相比Cahn-Hilliard模型的优势

局限性

  1. 简化假设:未考虑热控制、坏死等复杂生物过程
  2. 参数限制:热传导系数的特殊形式κ(θ)=1+θq\kappa(\theta) = 1 + \theta^q
  3. 维数限制:仅考虑三维情形
  4. 边界条件:仅处理齐次Neumann条件

未来方向

  1. 生物学扩展:包含更多生物机制(坏死、免疫反应等)
  2. 数值方法:开发高效数值算法
  3. 参数识别:从实验数据确定模型参数
  4. 最优控制:研究温度控制的肿瘤治疗策略

深度评价

优点

  1. 理论严谨性:完整的数学推导和严格的适定性证明
  2. 方法创新性:成功的解耦策略和技术处理
  3. 物理合理性:模型具有良好的热力学基础
  4. 数学技巧:巧妙运用Moser迭代、Schauder不动点定理等

不足

  1. 应用验证缺失:缺乏数值实验和生物学验证
  2. 模型简化:相对简单的生物假设
  3. 技术限制:某些参数和条件的限制性要求

影响力

  1. 理论贡献:为非等温肿瘤生长模型奠定数学基础
  2. 方法价值:解耦策略可应用于其他耦合PDE系统
  3. 应用前景:为温度治疗提供数学模型支持

适用场景

  1. 理论研究:PDE理论、相场模型分析
  2. 生物数学:肿瘤生长建模
  3. 医学应用:热疗、冷疗的数学建模

参考文献

论文引用了35篇重要文献,涵盖:

  • 相场理论基础(Gurtin, Frémond等)
  • 肿瘤生长模型(Byrne, Wise等)
  • PDE理论(Ladyzhenskaja等)
  • 热疗相关医学研究

总体评价:这是一篇高质量的数学分析论文,在理论上取得了重要突破,为非等温肿瘤生长模型提供了严格的数学基础。虽然在应用验证方面有所不足,但其理论贡献和方法创新具有重要的学术价值。