\input phyzzx
\input pstricks97

\hsize=6.7in	\hoffset=-0.1in
\vsize=8.5in    \voffset=0in
%\overfullrule=0pt
\noindent PHY--396~K.\qquad
Problem set \#18.\quad
Due March 7, 2001.
\par\smallskip\hrule\kern1pt\hrule\vbox{}\medskip

\pointbegin
Consider the field-strength renormalization in the $\lambda\Phi^4$ theory.
As discussed in class, the $\half\delta_Z(\partial_\mu\Phi)^2$ counterterm
does not show up at the one-loop level of the renormalized perturbation theory
because the one-loop diagram yields a momentum-independent $\Sigma_{1\,\rm loop}$
amplitude.
At the two-loop level however, there is a momentum-dependent 1PI diagram, namely
$$
\psset{unit=5pt,linewidth=1pt}
    \pspicture [0.5](-15,-10)(+15,+10)
    \pscircle(0,0){10}
    \psline(-15,0)(+15,0)
    \pscircle*(-10,0){1}
    \pscircle*(+10,0){1}
    \endpspicture
$$
and hence the second-order $\delta_Z^{(2)}\neq0$.

\pointcon
Your task is to evaluate this two-loop diagram and to calculate the counterterm
$\delta_Z^{(2)}$.

\pointcon
This is a difficult calculation, so proceed with care.
I suggest you first combine the three propagators using Feynman parameters and
shift the two independent loop momenta to rewrite the loop integral as
$$
\int\!\!\!\int\!\!\!\int\!\!dx\,dy\,dz\,\delta(x+y+z-1)
\int\!\!\!\int\!{d^4\ell_1\over(2\pi)^4}\,{d^4\ell_2\over(2\pi)^4}\,
{2\over\left[\alpha\ell_1^2+\beta\ell_2^2+\gamma p^2-m^2+i0\right]^3}
\eqno\eq
$$
for some $(x,y,z)$--dependent coefficients $\alpha,\beta,\gamma$.
Second, Wick-rotate $\ell_1$ and $\ell_2$ into the Euclidean space,
dimensionally regularize to $d<4$ and evaluate the momentum integrals.
Third, for the purpose of calculating the $\delta_Z$ counterterm,
take the derivative $d\Sigma/dp^2$ {\sl before} integrating over Feynman parameters
or taking the $d\to4$ limit.
Fourth, do take the $d\to4$ limit and write the counterterm as
$$
\delta_Z^{(2)}\ =\int\!\!\!\int\!\!\!\int\!\!dxdydz\,\delta(x+y+z-1)\,F(x,y,z)\times
\left\{{1\over\epsilon}\,+\,{\rm const}\,+\,\log G(x,y,z)\right\}
\eqn\Mess
$$
for some rational functions $F$ and $G$ of the Feynman parameters.
\subpar
Finally, the simplest way of evaluating the integral~\Mess\ over the Feynman
parameters is to use Mathematica.
To help it along, replace the $(x,y,z)$ variables to $(w,\xi)$
according to $x=\xi w$, $y=(1-\xi)w$, $z=1-w$, then integrate
over the $w$ variable first and over the $\xi$ second.
Here is a couple of integrals I did this way you might find useful:
$$
\eqalign{
\int\!\!\!\int\!\!\!\int\!\!dxdydz\,\delta(x+y+z-1) &
\times {xyz\over(xy+xz+yz)^3}\
        =\ {1\over2}\,,\crr
\int\!\!\!\int\!\!\!\int\!\!dxdydz\,\delta(x+y+z-1) &
\times{xyz\over(xy+xz+yz)^3}\,\log{(xy+xz+yz)^3\over (xy+xz+yz-xyz)^2}\
        =\ -{3\over4}\,.\cr
}\eqno\eq
$$

\bigskip
\point
Now consider the renormalization in the Yukawa theory.
Specifically, solve {\bf problem~10.2} of the {\sl Peskin \& Schroeder} textbook.

\bye

