Develops and verifies a rigorous numerical continuation technique proving global families of stable periodic orbits in Holling type II predator-prey systems, resolving the Butler-Waltman stable connection problem.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
representative citing papers
A general framework using Newton-Kantorovich with explicit contraction bounds and an approximate inverse proves existence of localized and periodic solutions in the 1D Thomas model, handling its non-polynomial nonlinearity via computer-assisted analysis.
citing papers explorer
-
Global Continuation of Stable Periodic Orbits in Systems of Competing Predators
Develops and verifies a rigorous numerical continuation technique proving global families of stable periodic orbits in Holling type II predator-prey systems, resolving the Butler-Waltman stable connection problem.
-
Proving the existence of localized patterns, periodic solutions, and branches of periodic solutions in the 1D Thomas model
A general framework using Newton-Kantorovich with explicit contraction bounds and an approximate inverse proves existence of localized and periodic solutions in the 1D Thomas model, handling its non-polynomial nonlinearity via computer-assisted analysis.