通过数值解析延拓的序列正性：生物膜 Canham 模型的唯一性
组合数学
2020-11-17 v1 符号计算
微分几何
摘要
我们证明了生物膜形状预测中出现的亏格一 Canham 变分问题的解唯一性。证明基于 Yu 和 Chen 的一个结果，该结果将变分问题化简为证明一个由带多项式系数的线性递推关系定义的序列的非负性。我们将 D-有限函数的严格数值解析延拓与奇点分析中的经典界相结合，推导出一个有效指标，使得序列的渐近行为（为正）在该指标后主导序列行为。剩余有限项的正性随后通过计算检验。
引用
@article{arxiv.2011.08155,
title = {Sequence Positivity Through Numeric Analytic Continuation: Uniqueness of the Canham Model for Biomembranes},
author = {Stephen Melczer and Marc Mezzarobba},
journal= {arXiv preprint arXiv:2011.08155},
year = {2020}
}