Sequence Positivity Through Numeric Analytic Continuation: Uniqueness of the Canham Model for Biomembranes
Résumé
We prove solution uniqueness for the genus one Canham variational problem arising in the shape prediction of biomembranes. The proof builds on a result of Yu and Chen that reduces the variational problem to proving non-negativity of a sequence defined by a linear recurrence relation with polynomial coefficients. We combine rigorous numeric analytic continuation of D-finite functions with classic bounds from singularity analysis to derive an effective index where the asymptotic behaviour of the sequence, which is positive, dominates the sequence behaviour. Positivity of the finite number of remaining terms is then checked computationally.
Fichier principal
210211-whn79.pdf (499.75 Ko)
Télécharger le fichier
canham.binder.zip (554.03 Ko)
Télécharger le fichier
rectangles.pdf (132.61 Ko)
Télécharger le fichier
| Origine | Fichiers éditeurs autorisés sur une archive ouverte |
|---|