I am attempting to compute the one loop correction to the Higgs mass, which requires the evaluation of a scattering amplitude, namely
$$\require{cancel} \mathcal{M} = (-)N_f \int \frac{\mathrm{d}^4 k}{(2\pi)^4} \mathrm{Tr} \, \left[ \left( \frac{i\lambda_f}{\sqrt{2}}\right) \frac{i}{\cancel{k}-m_f} \left( \frac{i\lambda_f}{\sqrt{2}} \right) \frac{i}{\cancel{k} + \cancel{p}-m_f}\right]$$
which corresponds to the Feynman diagram:
After combining constants, and rationalizing the denominators, I obtain,
$$-\frac{N_f \lambda_f^2}{2} \int \frac{\mathrm{d}^4 k}{(2\pi)^4} \frac{\mathrm{Tr}\left[ \cancel{k}\cancel{k} + \cancel{k}\cancel{p} +2m_f \cancel{k} + m_f \cancel{p} + m_f^2\right]}{\left(k^2-m_f^2\right)\left((k+p)^2 -m_f^2 \right)}$$
Computing traces, via the relation $\mathrm{Tr}[\cancel{a}\cancel{b}] = 4(a\cdot b)$ yields,
$$-2N_f \lambda_f^2 \int \frac{\mathrm{d}^4 k}{(2\pi)^4} \frac{k^2 +k\cdot p + m_f^2}{\left(k^2-m_f^2\right)\left((k+p)^2 -m_f^2 \right)}$$
At this point, I employed dimensional regularization, followed by Feynman reparametrization to combine the denominators, and then completed the square, yielding
$$-\frac{2^{2-d}\pi^{-d/2}}{\Gamma (d/2)}N_f \lambda_f^2 \int_{0}^1 \mathrm{d}x \int_0^\infty \mathrm{d}k \frac{k^{d-1}(k^2 +kp + m_f^2)}{\left[ \left(k-(x-1)p\right)^2 +p^2(x-x^2 -1)\right]^2}$$
Additional Calculations (Edit)
I attempted to further simplify the integrand using a substitution in only the first integral, namely $\ell = k-(1-x)p$ which implies $\mathrm{d}\ell = \mathrm{d}k$, yielding (after several manipulations),
$$-\frac{2^{2-d}\pi^{-d/2}}{\Gamma(d/2)}N_f \lambda_f^2 \int_0^1 \mathrm{d}x \, \int_{(x-1)p}^{\infty} \mathrm{d}\ell \frac{(\ell + (1-x)p)^{d-1}[(\ell + \frac{1}{2}p(3-2x))^2 - \frac{1}{4}p^2 + m_f^2]}{[\ell^2 + p^2(x-x^2-1)]^2}$$
N.B. Mathematica evaluated the original integral over $k$, and outputted a combination of the first Appell hypergeometric series, which possess the integral representation,
$$F_1(a,b_1,b_2,c;x,y) = \frac{\Gamma(c)}{\Gamma(a)\Gamma(c-a)} \int_0^1 \mathrm{d}t \, t^{a-1}(1-t)^{c-a-1}(1-xt)^{-b_1}(1-yt)^{-b_2}$$
with $\Re c >\Re a >0$, which has a structure similar to the beta function. If I can express the loop integral in a similar form, I may be able to express it in terms of these functions. At the end of the calculation, I will take $d \to 4-\epsilon$ to obtain poles in $\epsilon$, using the usual expansion
$$\Gamma(x) = \frac{1}{x} -\gamma + \mathcal{O}(x)$$
and a similar expansion should the final answer indeed contain the Appell hypergeometric series.
Passarino-Veltmann Reduction (Edit):
Based on my understanding of Veltmann-Passarino reduction, it is not applicable as the numerator contains an arbitrary power of loop momentum. I could plug in $d=4$, and impose a high momentum cut off, but this has already been done in many texts. As aforementioned, I would like a dimensionally regularized amplitude.
I am stuck at this point, can anyone give some details as to how to proceed? In addition, I have a query regarding the hierarchy problem. If using a simple cut-off regularization, the one loop correction can be shown to be quadratically divergent. But why is this an issue that needs to be remedied, by for example, the minimally supersymmetric standard model? Can't the divergence be eliminated by a regular renormalization procedure?
This post imported from StackExchange Physics at 2014-05-04 11:44 (UCT), posted by SE-user JamalS