•The pion

zpion = CheckF[dum, "ChPT3P20o2.Fac"]

(2 (32 π^2 (6 (L _ 4^(  ) + L _ 5^(  )) - λ) - log((m _ π^(ó    ))^2/μ^2)) (m _ π^(ó    ))^2 + (32 π^2 (24 L _ 4^(  ) - λ) - log((m _ K^(ó    ))^2/μ^2)) (m _ K^(ó    ))^2)/(48 π^2 (f _ ϕ^(ó    ))^2) + 1

ff2 = amp2 /. p2 -> -p1

-i f _ ϕ^(ó    ) p _ 1^μ _ 1

amploop = ampinfinities /. ρ1 -> μ1 /. i1 -> 1 // SUNReduce // Simplify

(i p _ 1^μ _ 1 (2 (32 π^2 λ + log((m _ π^(ó    ))^2/μ^2)) (m _ π^(ó    ))^2 + (32 π^2 λ + log((m _ K^(ó    ))^2/μ^2)) (m _ K^(ó    ))^2))/(24 π^2 f _ ϕ^(ó    ))

The first order tree amplitude is multiplied with Z^(1/2) ~~ (1 + Z)/2:

ampwf4 = amp4 /. p2 -> -p1 /. I1 -> 1 // SUNReduce // Simplify

-(8 i p _ 1^μ _ 1 (L _ 5^(  ) (m _ π^(ó    ))^2 + L _ 4^(  ) ((m _ π^(ó    ))^2 + 2 (m _ K^(ó    ))^2)))/f _ ϕ^(ó    )

amppf4 = ff2 (1 + (2 - zpion))/2 // Simplify

-1/2 i f _ ϕ^(ó    ) p _ 1^μ _ 1 (2 - (2 (32 π^2 (6 (L _ 4^(  ) + L _ 5^(  )) - λ) - log((m _ π^(ó    ))^2/μ^2)) (m _ π^(ó    ))^2 + (32 π^2 (24 L _ 4^(  ) - λ) - log((m _ K^(ó    ))^2/μ^2)) (m _ K^(ó    ))^2)/(48 π^2 (f _ ϕ^(ó    ))^2))

ff4 = amploop + ampwf4 + amppf4 // ExpandAll // Simplify

-1/(32 π^2 f _ ϕ^(ó    )) (i p _ 1^μ _ 1 (32 π^2 (f _ ϕ^(ó    ))^2 + 128 π^2 L _ 5^(  ) (m _ π^(ó    ))^2 - 64 π^2 λ (m _ π^(ó    ))^2 - 2 log((m _ π^(ó    ))^2/μ^2) (m _ π^(ó    ))^2 - 32 π^2 λ (m _ K^(ó    ))^2 - log((m _ K^(ó    ))^2/μ^2) (m _ K^(ó    ))^2 + 128 π^2 L _ 4^(  ) ((m _ π^(ó    ))^2 + 2 (m _ K^(ó    ))^2)))

ff0 = Renormalize[ff4] // Simplify

-(i p _ 1^μ _ 1 (32 π^2 (f _ ϕ^(ó    ))^2 + 128 π^2 L _ 5^(r  ) (m _ π^(ó    ))^2 - 2 log((m _ π^(ó    ))^2/μ^2) (m _ π^(ó    ))^2 - log((m _ K^(ó    ))^2/μ^2) (m _ K^(ó    ))^2 + 128 π^2 L _ 4^(r  ) ((m _ π^(ó    ))^2 + 2 (m _ K^(ó    ))^2)))/(32 π^2 f _ ϕ^(ó    ))

The coefficient c of f is then the renormalization factor relating the unrenormalized f^0 to the renormalized f = c f^0:

c = Collect[Coefficient[-ff0/I/DecayConstant[PhiMeson, RenormalizationState[0]], Pair[LorentzIndex[μ1], Momentum[p1]]], _DecayConstant]

(128 π^2 L _ 5^(r  ) (m _ π^(ó    ))^2 - 2 log((m _ π^(ó    ))^2/μ^2) (m _ π^(ó    ))^2 - log((m _ K^(ó    ))^2/μ^2) (m _ K^(ó    ))^2 + 128 π^2 L _ 4^(r  ) ((m _ π^(ó    ))^2 + 2 (m _ K^(ó    ))^2))/(32 π^2 (f _ ϕ^(ó    ))^2) + 1

$VeryVerbose = 1 ;

CheckF[c, "ChPT3A00P20o2.Fac"] ;

Using file name D:\\Program Files\\Wolfram Research\\Mathematica\\4.1\\AddOns\\Applications\\HighEnergyPhysics\\Phi\\Factors\\ChPT3A00P20o2.Fac

File does not exist, evaluating

Saving


Converted by Mathematica  (July 10, 2003)