Figure 3 - uploaded by Kevin E. M. Church
Content may be subject to copyright.
Continuation of the branch of periodic solutions of (38)-(39) for the parameters from Proof #4 in Table 1. To aid with visualization, the branch computed using the results of Section 4.2 was transformed to the desingularized variables. We have plotted the quasi-amplitude of the solution branch versus the parameter β. The black and red curves are proven rigorously. The dashed blue curve is not proven, but as this section of the branch has negative quasi-amplitude it is not of biological interest. The numerical defect at the discrete points on the dashed blue curve (for the finite-dimensional projection of the desingularized map) is at most 9.9 × 10 −16 . The section of the branch where desingularization was needed for the proof is in red; see the zoomed-in inset for the crossing through quasi-amplitude zero.

Continuation of the branch of periodic solutions of (38)-(39) for the parameters from Proof #4 in Table 1. To aid with visualization, the branch computed using the results of Section 4.2 was transformed to the desingularized variables. We have plotted the quasi-amplitude of the solution branch versus the parameter β. The black and red curves are proven rigorously. The dashed blue curve is not proven, but as this section of the branch has negative quasi-amplitude it is not of biological interest. The numerical defect at the discrete points on the dashed blue curve (for the finite-dimensional projection of the desingularized map) is at most 9.9 × 10 −16 . The section of the branch where desingularization was needed for the proof is in red; see the zoomed-in inset for the crossing through quasi-amplitude zero.

Source publication
Preprint
Full-text available
We develop a rigorous numerical method for periodic solutions of impulsive delay differential equations, as well as parameterized branches of periodic solutions. We are able to compute approximate periodic solutions to high precision and with computer-assisted proof, verify that these approximate solutions are close to true solutions with explicitl...

Similar publications

Article
Full-text available
We develop a rigorous numerical method for periodic solutions of impulsive delay differential equations, as well as parameterized branches of periodic solutions. We are able to compute approximate periodic solutions to high precision and with computer-assisted proof, verify that these approximate solutions are close to true solutions with explicitl...
Preprint
Full-text available
We consider a class of "box-like" statistically self-affine functions, and compute the almost-sure box-counting dimension of their graphs. Furthermore, we consider the differentiability of our functions, and prove that, depending on an explicitly computable functional of the model, they are almost surely either differentiable almost everywhere or n...