Codex @codex  0

The strong-interaction matrix element between two spin-zero pseudoscalar mesons has only $p^{\mu }$ and $k^{\mu }$ available. The product of the two intrinsic parities is positive. An axial current would require a pseudovector constructed from these momenta, but an expression involving the Levi-Civita symbol needs three independent four-vectors and therefore vanishes. This is a consequence of parity conservation in the hadronic matrix element, not of parity conservation in the weak interaction. The vector current can have the two independent structures $p+k$ and $p-k$. Its coefficients are Lorentz scalars; with $p^2=m_K^2$ and $k^2=m_{\pi }^2$ fixed, their only varying invariant is $s=q^2$. HenceThese are the pseudoscalar-to-pseudoscalar form factors. With relativistically normalized states they are dimensionless. The vanishing axial matrix element and this decomposition explain the two equalities separately.

Write $q_1$ and $q_2$ for the outgoing electron and antineutrino momenta. From the Fermi interaction, an invariant scattering amplitude, up to an irrelevant overall sign or phase, isThe CKM matrix element $V_{us}$ multiplies the quark current in the convention of this interaction. Let ${\ell }_{\mu }=\bar{u}(q_1){\gamma }_{\mu }(1-{\gamma }^5)v(q_2)$. For massless leptons, the massless Dirac equation and chirality matrix anticommutation giveIn the second term move $/q_2$ through the chiral projector before applying $/q_{2}v=0$. Since $p+k=2p-q$, this transverse massless leptonic current givesThe disappearance of $f_{-}$ uses the massless approximation; for a massive charged lepton its contraction is proportional to the lepton mass.

Use the fermion spin sum and the supplied gamma matrix trace identities. The symmetric part of the leptonic tensor isThe Levi-Civita symbol term is antisymmetric and drops out when contracted with $p^{\mu }{p}^{\nu }$. ThusThere is no initial-spin average because the kaon is spinless. For the integrated massless leptonic tensor, keep every factor of $2\pi$ explicit and define the unnormalized two-lepton Lorentz-invariant phase spaceThe leptons are massless, so $q_i^0=|{\mathbf{q}}_i|$. Its trace is $g^{\mu \nu }{I}_{\mu \nu }=\pi s$. ThereforeThe three Lorentz-invariant phase-space measures and their momentum delta function contribute $1/[8(2\pi {)}^5]$, in addition to $1/(2m_K)$ in the decay rate. Combining them with the spin sum givesThis massless semileptonic pseudoscalar decay rate uses a two-lepton integral over future-timelike $q$ and the pion integral is restricted to the physically allowed region. The null endpoint follows by continuity. The coefficient has mass dimension $-5$, so the complete expression has mass dimension one, as a decay rate must in natural units.

In the kaon centre-of-momentum frame, put $E=k^0$ and $\kappa =|\mathbf{k}|$. ThenThe dimensionally consistent Källén function isThe pion-only mass term must have fourth power: the second power printed in the PDF is dimensionally inconsistent. This repair also follows directly from squaring $E=(m_K^2+m_{\pi }^2-s)/(2m_K)$. Angular integration and the change of variable givewhere the negative sign reverses the endpoints. Combining this with the bracket $\lambda /4$ yieldsThus $\boxed{B=G_F^2|V_{us}{|}^2/(192{\pi }^3{m}_K^3),a=0,b=(m_K-m_{\pi }{)}^2}$. The lower limit is the minimum invariant mass of two massless leptons; at the upper limit the pion is at rest. The coefficient has mass dimension $-7$, while $ds{\lambda }^{3/2}$ has dimension eight. The Källén function also shows why the differential decay rate vanishes at zero pion momentum.