My aim is to derive the photon propagator in an arbitrary gauge. I follow Itzykson-Zuber Quantum Field Theory and start from the Lagrangian with gauge-fixing term:
{\cal L}(x) = -\,\frac{1}{4}\,F_{\mu\nu}(x)F^{\mu\nu}(x) -
\,\frac{1}{2\xi}\,(\partial_{\mu}A^{\mu}(x))^2
I get the following...