A modified form of the Ginzburg-Landau energy functional is presented to model a superconductor-normal-superconductor junction (a Josephson junction) and various parameter regimes are analyzed. It is proven that as the temperature is lowered, a stable superconducting solution bifurcates off of the normal state. An asymptotic series is generated to analyze the bifurcating solution. The approach of Gamma-Limits is also used. The case of multiple junctions is considered. |