[论文解读] A mathematical model of atherosclerosis development in thin blood vessels and its asymptotic approximation

Taras Mel’nyk|arXiv (Cornell University)|Jan 1, 2017

Mathematical Biology Tumor Growth参考文献 41被引用 2

一句话总结

本文提出了一种针对薄血管中动脉粥样硬化的改进数学模型，整合了关于巨噬细胞异质性的最新实验发现。通过在薄域中使用渐近分析，证明了可将复杂的三维反应-扩散系统简化为一个简化的二维极限模型，其精度由一个小的无量纲参数 ε 控制，从而实现了对疾病进展的高效模拟与分析。

ABSTRACT

Some existing models of the atherosclerosis development are discussed and a new improved mathematical model, which takes into account new experimental results about diverse roles of macrophages in atherosclerosis, is proposed. Using technic of upper and lower solutions, the existence and uniqueness of its positive solution are justified. After the nondimensionalisation, small parameters are found. Then asymptotic approximation for the solution is constructed and justified with the help of asymptotic methods for boundary-value problems in thin domains. The results argue for the possibility to replace the complex $3D$ (dimensional) mathematical model with the corresponding simpler $2D$ model with sufficient accuracy measured by these small parameters.

研究动机与目标

• 基于最新实验发现，开发一个数学上严谨的动脉粥样硬化模型，以反映巨噬细胞（促炎与抗炎）的双重作用。
• 解决现有模型的局限性，这些模型通常过度简化细胞动力学或未能纳入关键的生物反馈机制。
• 通过严格分析当内膜厚度（ε）趋于零时的渐近行为，证明可用简化二维模型替代原始三维问题。
• 利用上下解技术，证明所提模型正解的存在性与唯一性。
• 提供精确解与渐近近似之间误差估计，确保简化模型的有效性与准确性。

提出的方法

• 构建一个包含11个耦合偏微分方程的三维反应-扩散系统，描述低密度脂蛋白（LDL）运输、单核细胞募集、巨噬细胞分化、泡沫细胞形成及细胞因子信号传导。
• 应用无量纲化处理，识别出与内膜几何薄度及扩散与反应速率相对尺度相关的微小参数（ε）。
• 采用上下解方法，证明初边值问题正解的存在性与唯一性。
• 基于边界层及内外展开技术，为薄域中当 ε → 0 时的解构造形式渐近近似（Rε）。
• 通过推导精确解与近似函数之间的误差估计，严格证明渐近近似的有效性，并在适当范数下实现收敛。
• 将复杂三维问题在薄管域中简化为在矩形区域上的简单二维极限问题，其解与精确解在 L∞-范数下的差异为 O(ε)。

实验结果

研究问题

• RQ1 当内膜厚度趋于零时，能否对三维反应-扩散动脉粥样硬化模型进行严格近似，得到一个误差可控的简化二维模型？
• RQ2 巨噬细胞的多种功能角色——特别是促炎性 M1 亚型与抗炎性 M2 亚型——如何影响动脉粥样硬化过程的稳定性和动力学？
• RQ3 当 t → +∞ 时，解的长期行为如何？其是否依赖于生化参数收敛至稳态？
• RQ4 极限问题的参数如何影响动脉粥样硬化斑块发展的速率与潜在爆破行为？
• RQ5 能否使用自由边界问题来建模不断变化的内膜厚度与内皮损伤区域？这将如何扩展当前模型？

主要发现

• 利用上下解方法，严格证明了所提三维反应-扩散系统正解的存在性与唯一性。
• 经过无量纲化处理后，识别出小参数 ε（代表内膜的无量纲厚度），为渐近分析提供了基础。
• 为薄域问题的解构造了渐近近似 Rε，其主导项来源于在二维矩形上的极限问题。
• 精确解与渐近近似之间的误差在 L∞-范数下估计为 O(ε)，从而为使用二维模型提供了高精度的理论依据。
• 证明了在薄域 Cε 中的三维问题与二维极限问题（4.13）渐近等价，显著简化了数值与分析研究。
• 结果表明，在真实生物学情境下 ε 值较小，因此复杂三维模型可被更简单的二维模型替代，且误差受 ε 有界。