Derivation of the first and second Josephson relation

In the following discussion, we assume that the quantum states are quasi-static. We solve the time-independent Schrödinger equation supposing that external potentials are independent of time . When we change them slowly enough, the corresponding quantum states (the effective wavefunction) changes s…