Existence of homoclinic connections in continuous piecewise linear systems

Numerical methods are often used to put in evidence the existence of global connections in differential systems. The principal reason is that the corresponding analytical proofs are usually very complicated. In this work we give an analytical proof of the existence of a pair of homoclinic connections in a continuous piecewise linear system, which can be considered to be a version of the widely studied Michelson system. Although the computations developed in this proof are specific to the system, the techniques can be extended to other piecewise linear systems.