  We consider a superconducting/normal/superconducting Josephson junctionmodeled through the Ginzburg-Landau theory. When the normal material issufficiently thin and the applied magnetic field is below the critical field ofvortex nucleation, we prove to leading order that jump boundary conditions ofthe type predicted by de Gennes are satisfied across the junction.
We consider a superconducting/normal/superconducting Josephson junctionmodeled through the Ginzburg-Landau theory. When the normal material issufficiently thin and the applied magnetic field is below the critical field ofvortex nucleation, we prove to leading order that jump boundary conditions ofthe type predicted by de Gennes are satisfied across the junction.