Skip to main content
Open Access Publications from the University of California

Combinatorial Theory

Combinatorial Theory banner

Sequence positivity through numeric analytic continuation: uniqueness of the Canham model for biomembranes

Published Web Location Commons 'BY' version 4.0 license

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 positivity 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 separately.

Mathematics Subject Classifications: 05A16, 68Q40, 30B40

Keywords: Analytic combinatorics, D-finite, P-recursive, positivity, Canham model

Main Content
For improved accessibility of PDF content, download the file to your device.
Current View