A computer-assisted proof of chaos in Josephson junctions

This paper presents a rigorous verification of chaos in the RCLSJ model for studying dynamics of the Josephson junction. By carefully picking a suitable cross-section with respect to the attractor, it is shown that for the corresponding Poincare map P obtained in terms of second return time, there exists a closed invariant set A in this cross-section such that P vertical bar Lambda is semi-conjugate to a 2-shift map, thus showing existence of chaos in the RCLSJ model, (c) 2005 Elsevier Ltd. All rights reserved.