Representations of Josephson junction on the unit circle and the derivations of Mathieu operators and Fraunhofer patterns
Toshiyuki Fujii, Fumio Hiroshima, Satoshi Tanda
TL;DR
This work rigorously constructs the Josephson junction Hamiltonian first on $\ell^2_{\mathbb{N}}\otimes\ell^2_{\mathbb{N}}$ and then realizes it as $H_{S^1}$ on $\mathcal{H}_{S^1}=L^2(S^1)\otimes L^2(S^1)$, establishing a fiber-wise reduction. On each fiber, the JJ dynamics collapse to a Mathieu operator of the form $\tfrac{2}{C}(-i\partial_\theta)^2-2\alpha\cos\theta$, linking the lattice model to phase-cosine tunneling phenomena; a magnetic phase $\Phi$ induces a current $I_{S^1}(\Phi)$ and, under a constant field, yields the Fraunhofer diffraction pattern via a linear phase gradient across the junction. The analysis also identifies a no-interference regime where no Mathieu operator appears, and proves a spectral decomposition $H_{S^1}=\bigoplus_k M_k$, with the spectrum given by $\sigma(H_{S^1})=\overline{\bigcup_k \sigma(M_k)}$; the Aharonov-Bohm effect is encoded through unitary phase shifts $U(\Phi)$ that relate $H_{S^1}(\Phi)$ to $H_{S^1}(0)$. Together, these results provide a rigorous operator-theoretic bridge between JJ physics, Mathieu operators, and Fraunhofer-type interference, with clear pathways to multi-junction arrays and richer symmetry structures.
Abstract
The Hamiltonian J of the Josephson junction is introduced as a self-adjoint operator on l2 tensor l2. It is shown that J can also be realized as a self-adjoint operator HS1 on L2(S1) tensor L2(S1), from which a Mathieu operator given by "-d^2/dθ^2 - 2α cos θ" is derived. A fiber decomposition of HS1 with respect to the total particle number is established, and the action on each fiber is analyzed. In the presence of a magnetic field, a phase shift defines the magnetic Josephson junction Hamiltonian HS1(Φ) and the Josephson current IS1(Φ). For a constant magnetic field inducing a local phase shift Φ(x), the corresponding local current IS1(Φ(x)) is computed, and it is proved that the Fraunhofer pattern arises naturally.
