Abstract
In this paper we present a new topological tool which allows us to prove the existence of Shilnikov homoclinic or heteroclinic solutions. We present an application of this method to the Michelson system
[16]. We prove that there exists a countable set of parameter values
for which a pair of the Shilnikov homoclinic orbits to the equilibrium points
appear. This result was conjectured by Michelson [16]. We also show that there exists a countable set of parameter values for which there exists a heteroclinic orbit connecting the equilibrium
possessing a one-dimensional unstable manifold with the equilibrium
possessing a one-dimensional stable manifold. The method used in the proof can be applied to other reversible systems. To verify the assumptions of the main topological theorem for the Michelson system, we use rigorous computations based on interval arithmetic.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Wilczak, D. The Existence of Shilnikov Homoclinic Orbits in the Michelson System: A Computer Assisted Proof. Found Comput Math 6, 495–535 (2006). https://doi.org/10.1007/s10208-005-0201-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10208-005-0201-2