where,

All other elements of are zero. and are

where,

Since the contacts are by definition in equilibrium, one obtains (Appendix D.1)

where is the spectral function and is the FERMI factor of the left (right) contact. By defining the broadening function as

equation (G.17) can be rewritten as

In a similar manner one can show that