Thomas Wanner
Department of Mathematical Sciences
George Mason University
4400 University Drive, MS 3F2
Fairfax, Virginia 22030, USA

 

A computer-assisted study of red coral population dynamics

imgpub/074_redcoral1.jpg imgpub/074_redcoral2.jpg imgpub/074_bif_diagram4.jpg

  1. Sayomi Kamimoto, Hye Kyung Kim, Evelyn Sander, Thomas Wanner:
    A computer-assisted study of red coral population dynamics
    Pure and Applied Functional Analysis 7(4), pp. 1307-1337, 2022.

Abstract

We consider a 13-dimensional age-structured discrete red coral population model varying with respect to a fitness parameter. Our numerical results give a bifurcation diagram of both equilibria and stable invariant curves of orbits. We observe that not only for low levels of fitness, but also for high levels of fitness, populations are extremely vulnerable, in that they spend long time periods near extinction. We then use computer-assisted proofs techniques to rigorously validate the set of regular and bifurcation fixed points that have been found numerically.

The preprint version of the paper can be downloaded from https://arxiv.org/abs/2008.08011, while the published version of the paper can be found at http://www.yokohamapublishers.jp/online2/pafav7n4.html.

Bibtex

@article{kamimoto:kim:sander:wanner:22a,
   author = {Sayomi Kamimoto and Hye Kyung Kim and Evelyn Sander and Thomas Wanner},
   title = {A computer-assisted study of red coral population dynamics},
   journal = {Pure and Applied Functional Analysis},
   year = {2022},
   volume = {7},
   number = {4},
   pages = {1307--1337}
   }