An explicit example of HQET at one-loop order of perturbation theory

As an explicit example of HQET, we construct correlation functions containing a heavy-light axial current, both in the static approximation and in full QCD. This enables us to investigate the size of finite mass effects. As we use the lattice regularisation, we can also check the mass dependence of discretisation errors.