Semiclassical Green's functions and an instanton formulation of electron-transfer rates in the nonadiabatic limit

We present semiclassical approximations to Green's functions of multidimensional systems, extending Gutzwiller's work to the classically forbidden region. Based on steepest-descent integrals over these functions, we derive an instanton method for computing the rate of nonadiabatic reactions, such as electron transfer, in the weak-coupling limit, where Fermi's golden-rule can be employed. This generalizes Marcus theory to systems for which the environment free-energy curves are not harmonic and where nuclear tunnelling plays a role. The derivation avoids using the Im F method or short-time approximations to real-time correlation functions. A clear physical interpretation of the nuclear tunnelling processes involved in an electron-transfer reaction is thus provided. In Paper II [J. O. Richardson, J. Chem. Phys. 143, 134116 (2015)], we discuss numerical evaluation of the formulae.