KSPiPiAmplitude.nb

•Reduction of the new counterterm amplitude

We divide off the kaon propagator and put the kaon on-mass-shell:

$amp4 = ((Cancel[(# /. cancelU) * (Pair[Momentum[p1], Momentum[p1]] - (ParticleMass[Kaon, RenormalizationState[0]])^2)] & /@ res1 /. {Pair[Momentum[p1], Momentum[p1]] -> ParticleMass[Kaon, RenormalizationState[1]]^2}) // Simplify) /. CouplingConstant[ChPTW3[4], i_] -> CouplingConstant[ChPTW3[4], i, RenormalizationState[0]] /. RenormalizationState[1] -> RenormalizationState[0] // Simplify$

${1/(6 (f _ ϕ^(ó ))^4) (i c _ 2^( ) p _ 1^μ _ 1 µ _ μ _ 1(p _ 1) (-6 N _ 21^( ) (m _ K^(ó ))^4 - 3 N _ 22^( ) (m _ K^(ó ))^4 - 6 N _ 23^( ) (m _ K^(ó ))^4 + 24 N _ 21^( ) (m _ π^(ó ))^2 (m _ K^(ó ))^2 + 12 N _ 22^( ) (m _ π^(ó ))^2 (m _ K^(ó ))^2 + 24 N _ 23^( ) (m _ π^(ó ))^2 (m _ K^(ó ))^2 + 6 s N _ 21^( ) (m _ K^(ó ))^2 + 3 s N _ 22^( ) (m _ K^(ó ))^2 + 6 s N _ 23^( ) (m _ K^(ó ))^2 - 10 N _ 21^( ) p _ 2^2 (m _ K^(ó ))^2 + 3 N _ 22^( ) p _ 2^2 (m _ K^(ó ))^2 + 6 N _ 23^( ) p _ 2^2 (m _ K^(ó ))^2 - 24 s N _ 21^( ) (m _ π^(ó ))^2 - 12 s N _ 22^( ) (m _ π^(ó ))^2 - 24 s N _ 23^( ) (m _ π^(ó ))^2 + 16 N _ 21^( ) p _ 2^2 (m _ π^(ó ))^2 - 3 N _ 20^( ) (-2 (m _ π^(ó ))^4 + (2 (m _ K^(ó ))^2 - 2 s + 4 t) (m _ π^(ó ))^2 + s^2 - 2 t^2 - 2 p _ 2^4 - s (m _ K^(ó ))^2 + 2 t (m _ K^(ó ))^2 - 2 s t + p _ 2^2 (-6 (m _ π^(ó ))^2 + 5 s + 2 t)) + 3 N _ 19^( ) (-2 (m _ π^(ó ))^4 + (2 (m _ K^(ó ))^2 - 2 s + 4 t) (m _ π^(ó ))^2 + s^2 - 2 t^2 - s (m _ K^(ó ))^2 + 2 t (m _ K^(ó ))^2 - 2 s t - p _ 2^2 (-2 (m _ π^(ó ))^2 + 2 (m _ K^(ó ))^2 + s - 2 t)))), 1/(3 (f _ ϕ^(ó ))^4 ((m _ K^(ó ))^2 - p _ 2^2)) (4 i c _ 5^( ) p _ 1^μ _ 1 µ _ μ _ 1(p _ 1) ((m _ π^(ó ))^2 - (m _ K^(ó ))^2) (6 L _ 3^( ) (m _ π^(ó ))^4 - 4 L _ 4^( ) (m _ π^(ó ))^4 - 4 L _ 5^( ) (m _ π^(ó ))^4 + 8 L _ 6^( ) (m _ π^(ó ))^4 + 8 L _ 8^( ) (m _ π^(ó ))^4 + 18 L _ 3^( ) (m _ K^(ó ))^2 (m _ π^(ó ))^2 - 82 L _ 4^( ) (m _ K^(ó ))^2 (m _ π^(ó ))^2 - 18 L _ 5^( ) (m _ K^(ó ))^2 (m _ π^(ó ))^2 + 120 L _ 6^( ) (m _ K^(ó ))^2 (m _ π^(ó ))^2 + 48 L _ 8^( ) (m _ K^(ó ))^2 (m _ π^(ó ))^2 - 18 s L _ 3^( ) (m _ π^(ó ))^2 - 12 t L _ 3^( ) (m _ π^(ó ))^2 + 30 s L _ 4^( ) (m _ π^(ó ))^2 + 6 s L _ 5^( ) (m _ π^(ó ))^2 + 18 L _ 3^( ) p _ 2^2 (m _ π^(ó ))^2 - 26 L _ 4^( ) p _ 2^2 (m _ π^(ó ))^2 - 6 L _ 5^( ) p _ 2^2 (m _ π^(ó ))^2 - 4 L _ 4^( ) (m _ K^(ó ))^4 - 2 L _ 5^( ) (m _ K^(ó ))^4 + 16 L _ 6^( ) (m _ K^(ó ))^4 + 8 L _ 8^( ) (m _ K^(ó ))^4 - 9 s L _ 3^( ) (m _ K^(ó ))^2 - 6 t L _ 3^( ) (m _ K^(ó ))^2 + 36 s L _ 4^( ) (m _ K^(ó ))^2 + 6 s L _ 5^( ) (m _ K^(ó ))^2 + 6 L _ 3^( ) p _ 2^2 (m _ K^(ó ))^2 - 4 L _ 4^( ) p _ 2^2 (m _ K^(ó ))^2 - 2 L _ 5^( ) p _ 2^2 (m _ K^(ó ))^2 + 9 s^2 L _ 3^( ) + 6 t^2 L _ 3^( ) + 6 s t L _ 3^( ) - 9 s L _ 3^( ) p _ 2^2 - 6 t L _ 3^( ) p _ 2^2 + 24 L _ 1^( ) (s - 2 (m _ π^(ó ))^2) (-(m _ K^(ó ))^2 + s - p _ 2^2) + 12 L _ 2^( ) (2 (m _ π^(ó ))^4 - 2 (-(m _ K^(ó ))^2 + s + 2 t) (m _ π^(ó ))^2 + s^2 + 2 t^2 - s (m _ K^(ó ))^2 - 2 t (m _ K^(ó ))^2 + 2 s t - p _ 2^2 (-2 (m _ π^(ó ))^2 - 2 (m _ K^(ó ))^2 + s + 2 t))))}$

Converted by Mathematica (July 10, 2003)