A Lorenz-type attractor in a piecewise-smooth system: Rigorous results.

Chaotic attractors appear in various physical and biological models; however, rigorous proofs of their existence and bifurcations are rare. In this paper, we construct a simple piecewise-smooth model which switches between three three-dimensional linear systems that yield a singular hyperbolic attractor whose structure and bifurcations are similar to those of the celebrated Lorenz attractor. Due to integrability of the linear systems composing the model, we derive a Poincaré return map to rigorously prove the existence of the Lorenz-type attractor and explicitly characterize bifurcations that lead to its birth, structural changes, and disappearance. In particular, we analytically calculate a bifurcation curve explicit in the model's parameters that corresponds to the formation of homoclinic orbits of a saddle, often referred to as a "homoclinic butterfly." We explicitly indicate the system's parameters that yield a bifurcation of two heteroclinic orbits connecting the saddle fixed point and two symmetrical saddle periodic orbits that gives birth to the chaotic attractor as in the Lorenz system. These analytical tasks are out of reach for the original nonintegrable Lorenz system. Our approach to designing piecewise-smooth dynamical systems with a predefined chaotic attractor and exact solutions may open the door to the synthesis and rigorous analysis of hyperbolic attractors.