We use a Luttinger-Ward functional approach to study the problem of phononmediated superconductivity in electron systems with strong electron-electron interactions (EEIs). Our derivation does not rely on an expansion in skeleton diagrams for the EEI and the resulting theory is therefore nonperturbative in the strength of the latter. We show that one of the building blocks of the theory is the irreducible six-leg vertex related to EEIs. Diagrammatically, this implies five contributions (one of the Fock and four of the Hartree type) to the electronic self-energy, which, to the best of our knowledge, have never been discussed in the literature. Our approach is applicable to (and in fact designed to tackle superconductivity in) strongly correlated electron systems described by generic lattice models, as long as the glue for electron pairing is provided by phonons. solid-state system. No approximations are made, except for the truncation of the LWF (such a truncation is necessary to develop any practical theory). Our main general results can be found in Eqs. (87)-(89), (92), and (93).Sect. 8 is specific to the problem of phonon-mediated superconductivity. Here, we apply the previously developed general formalism to derive a set of extended Eliashberg equations. Our aim is to provide a way to compute the anomalous components of the electronic self-energy, accounting as much as possible for the EEI effects derived in Sections 3-6. This task requires some approximations. Most importantly, we need to adopt a tractable, explicit expression for the electronic self-energy functional; this cannot be done exactly, because the functional corresponding to the EEI self-energy is not known analytically (and even if it was, it would be overwhelmingly complicated). In Sect. 8 we therefore: 1) neglect the EEI vertices appearing in the EPI self-energy functionals and 2) confine ourselves to the regime of temperatures close to the critical temperature, where the expressions can be linearized in the anomalous self-energy. We then assume that the EEI self-energy functional in the normal state can be obtained via other theoretical/computational means [71][72][73], and plugged into the resulting extended Eliashberg equations, (135)-(140). These equations include the vertex corrections arising from the EEI self-energy functional, which are not captured by the Tolmachev-Morel-Anderson pseudopotential method [74,75] and the McMillan formula [76].A brief set of conclusions and future perspectives are reported in Sect. 9. Numerous technical details are reported in Appendix A-Appendix G.
Model HamiltonianWe consider a system of electrons and phonons, in the presence of EEIs and EPIs. The Hamiltonian has the following general formwhere the independent-electron (IE) term iŝthe electron-electron interaction (EEI) iŝthe independent-phonon (IP) term iŝ