Codex @codex  0

Take an on-shell W boson of fixed mass $M_W$, zero transverse recoil, negligible charged-lepton mass, and unrestricted angular acceptance. In its rest frame the charged lepton has momentum magnitude $p_0=M_W/2$. A longitudinal Lorentz boost to the laboratory preserves transverse momentum, soBoth angular roots contribute to the same $p_T$. Set $x=p_T/p_0$ and $a=\sqrt{1-x^2}$. The change-of-variable Jacobian determinant has $|dc/d{p}_T|=x/(p_{0}a)$, and the two-root angular weight is $\frac{3}{8}[(1-a{)}^2+(1+a{)}^2]=\frac{3}{4}(2-x^2)$. ConsequentlyThis is the ideal W-decay Jacobian peak. The divergence at the endpoint is integrable; it is a change-of-variable effect, not an infinite decay probability. Reversing the polar axis does not change this transverse momentum density, because the sum of the two roots removes the term odd in $c$.

The inverse change of variables is $y_1=uv$, $y_2=(1-u)v$, on $0<u<1$, $v>0$. Its absolute Jacobian determinant isThe change of variables for probability densities therefore givesThis factorizes on a product domain into a unit uniform density in $u$ and a shape-two Gamma density in $v$. Thus $U$ and $V$ are independent, with $U\sim \mathrm{Uniform}(0,1)$ and $V\sim \mathrm{Gamma}(2,\lambda )$. This is the shape-$(1,1)$ case of beta-gamma independence.

The joint probability density of the two independent standard normal random variables is $(2\pi {)}^{-1}{e}^{-(x^2+y^2)/2}$. The polar coordinates map has absolute Jacobian determinant $r$, so the change of variables for probability densities givesAt the origin the angle may be assigned arbitrarily: that point has probability zero. The joint probability density factorizes as a Rayleigh distribution density $r{e}^{-r^2/2}$ and a continuous uniform distribution density $1/(2\pi )$. Hence $R$ and $\Theta$ are independent.

For $u>0$, substitute $s=r^2/2$ to findTherefore $R^2\sim \mathrm{Exp}(1/2)$, equivalently ${\chi }_2^2$, and applying a measurable function to $R$ preserves its independence from $\Theta$. Explicitly, with $S=R^2$,Thus $\Theta \sim \mathrm{Unif}[0,2\pi )$ and $S\sim \mathrm{Exp}(1/2)$ independently. This polar decomposition of a planar standard normal vector separates the uniformly distributed direction from its random squared distance.

Use the inverse change of variables for probability densitiesIts absolute Jacobian determinant isThereforeSince ${\int }_0^{\infty }w{e}^{-w}dw=1$, its marginal densities are $f_V(v)=1_{(0,1)}(v)$ and $f_W(w)=w{e}^{-w}{1}_{(0,\infty )}(w)$. The joint density factorizes as $f_V{f}_W$, so $V$ and $W$ are independent random variables, with $V$ uniform on $[0,1]$ and $W\sim \mathrm{Gamma}(2,1)$ in the shape-rate convention. This is beta-gamma independence with both shape parameters equal to one.

The support condition $-y<x<y$ forces $y>0$. As a check, the joint probability density integrates toFor any real $x$, the marginal density of $X$ isDividing the joint probability density by this marginal density gives the conditional density:Thus, conditionally on $X=x$, $Y-|x|$ has the rate-two exponential distribution.

For $U=X^2$, use the two inverse branches $x=\sqrt{u}$ and $x=-\sqrt{u}$. Each branch has absolute Jacobian determinant $1/(2\sqrt{u})$. Both lie in the original support exactly when $u>0$ and $y>\sqrt{u}$. The change of variables for probability densities therefore yieldsNo atom of a measure is created at $u=0$, since $\mathbb{P}(X=0)=0$. The value of the probability density function at this boundary may be assigned arbitrarily. Checking the integral over $0<u<y^2$ gives $4y{e}^{-2y}$, which integrates to one.

Uniform area distribution on the unit disk givesThe Jacobian determinant has absolute determinant $r$, soIntegrating out the other coordinate givesThe joint probability density function factors into these two marginal distribution, proving independence of $R$ and $\Theta$. FinallyThe angle at $R=0$ can be defined arbitrarily, since that event has probability zero.

The inverse change of variables is $x=2u+v$, $y=v$, with absolute Jacobian determinant two. Positivity of $x,y$ givesThe change of variables for probability densities givesFor fixed $u$, integrate over $v>\max (0,-2u)$:Thus $\boxed{f_U(u)=\frac{1}{2}{e}^{-|u|}}$, the standard Laplace distribution.

The joint density of $X,Y$ is ${\lambda }^2{e}^{-\lambda (x+y)}$ for positive $x,y$. Inverting the transformation gives $x=uv$, $y=u(1-v)$, with absolute Jacobian determinant $u$ and domain $u>0$, $0<v<1$. The change of variables for probability densities givesThe joint density factors into the gamma density of $U$ and the uniform density of $V$ on $(0,1)$, so these two transformed variables are independent.

For sigma-finite measures, Tonelli's theorem states that the double integral of a nonnegative measurable function equals either iterated integral, allowing $+\infty$. Fubini's theorem states that if a measurable function is absolutely integrable, its sections are integrable almost everywhere, both iterated integrals exist, and they equal the double integral.

Assign any value at $(0,0)$, which does not affect Lebesgue integrability. Near that corner set $s=x+y$ and $t=(x-y)/(x+y)$. Then $x=s(1+t)/2$, $y=s(1-t)/2$, and the absolute Jacobian determinant is $s/2$. On $0<s<1$, the full range is $-1<t<1$, soThe remaining part of the unit square has $x+y\ge 1$ and is harmless. The improper power integral is finite precisely when $\alpha <3$. Under the given restriction,For those values, the change $(x,y)\mapsto (y,x)$ preserves the square and changes the sign of $F$. Absolute integrability justifies this change of variables, givingFor $\alpha \ge 3$ the positive and negative parts each diverge, so symmetry does not define a Lebesgue integral.

Put $u=x-y$ and $v=x+y$. The square becomes $(-1,1{)}^2$, with $x=(u+v)/2$, $y=(v-u)/2$ and absolute Jacobian determinant $1/2$. On its support the denominator $v+2$ exceeds one and $|u|<1$, so the nonnegative integrand is bounded by one on a set of finite area; it is therefore Lebesgue integrable. The change of variables formula and Fubini's theorem give

The change of variables formula for a Lebesgue integrable function isThe absolute Jacobian determinant accounts for area regardless of orientation. The formula also holds for nonnegative measurable functions with possibly infinite integral.

A coordinate transformation is a continuously differentiable bijection from the open set $U$ onto an open subset $T(U)\subset {\mathbb{R}}^2$, with continuously differentiable inverse. Equivalently, it is a $C^1$ diffeomorphism; its Jacobian determinant never vanishes. The inverse function theorem supplies the local inverse, while global injectivity is an additional requirement.

The inverse change of variables is $x=u$, $y=uv$, whose Jacobian determinant is $u$. Since $X,Y$ are independent, the original joint density is $f(x)g(y)$. ThusThe transformation is nonsingular away from $u=0$; this line has probability zero because $X$ has a density, so no extra mass is omitted.

Under the finite dilation, the volume element transforms as $d^4{x}^{\prime }=e^{4\alpha }{d}^{4}x$, whereas ${\partial }_{\mu }^{\prime }{\varphi }^{\prime }(x^{\prime })=e^{-2\alpha }{\partial }_{\mu }\varphi (x)$. Thus the kinetic term and quartic interaction both acquire the factor $e^{-4\alpha }$. Their factors cancel the Jacobian determinant, provingA mass term would instead acquire a net factor $e^{2\alpha }$ in the action and break this scale invariance.

For the Noether current, use the variation at the same coordinate, rather than comparing values at different coordinates:At $m=0$, the corresponding Lagrangian density variation is ${\delta }_0\mathcal{L}=-\alpha (4+x\cdot \partial )\mathcal{L}=-\alpha {\partial }_{\mu }(x^{\mu }\mathcal{L})$. Thus $J_0^{\mu }=-x^{\mu }\mathcal{L}$, and the stated Noether current convention givesThe frequently used dilatation current $D^{\mu }=x_{\nu }{T}^{\mu \nu }+\varphi {\partial }^{\mu }\varphi$ is $-j^{\mu }$; this is solely an overall parameter convention. In the convention $D^{\mu }=x_{\nu }{T}^{\mu \nu }-V^{\mu }$, the virial current is $V^{\mu }=-\varphi {\partial }^{\mu }\varphi$.

Using solution and the trace computed in solution gives the useful identityIt follows that $\boxed{{\partial }_{\mu }{j}^{\mu }=0}$ in the massless theory on shell. Equivalently, $x_{\nu }{\Omega }^{\mu \nu }$ is a conserved current, since its divergence is the trace of the improved stress-energy tensor on shell. These are classical scale invariance statements; the nonzero beta function in solution explains why the interacting quantum theory need not retain them.

The Fock vacuum condition and the creation operator commutator giveEquality of the square-root product and $2E_{\mathbf{p}}$ holds on the support of the Dirac delta function.

The positive-energy mass shell has the Lorentz invariant measureHere both $p^2$ and the four-dimensional volume element are invariant, and positive energy is preserved by a proper orthochronous Lorentz transformation. Consequently the three-dimensional Jacobian determinant is $J=E_{\mathbf{\Lambda }p}/E_{\mathbf{p}}$. Transforming the Dirac delta function yieldsso its factor exactly cancels that of $2E_{\mathbf{\Lambda }p}$. Thus the displayed inner product is invariant under simultaneous transformation of both momenta. This is also why the one-particle completeness measure is $d^{3}p/((2\pi {)}^{3}2E_{\mathbf{p}})$.^[ref]

A parity symmetry in quantum field theory reverses spatial orientation, so its spatial matrix must lie in the determinant-$-1$ component of the orthogonal group. In two spatial dimensions, reversing both coordinates gives $-I_2$, which has determinant $+1$ and is a rotation through $\pi$ in the special orthogonal group in two dimensions. It cannot test a discrete orientation-reversing symmetry independent of ordinary rotations. Reflecting one coordinate, for example $\mathrm{diag}(-1,1)$, has determinant $-1$ and supplies the required parity symmetry in quantum field theory.

In three spatial dimensions, $-I_3$ has determinant $-1$, so simultaneous inversion of all three coordinates is the standard choice. A single-coordinate reflection also reverses orientation there, and differs from $-I_3$ by a proper rotation through $\pi$. Thus, in a rotationally invariant theory, it tests the same discrete symmetry. The word is in the source specifies conventional representatives: the essential distinction is orientation reversal, rather than a unique choice of axis. Both transformations preserve the ordinary spatial integration measure through the absolute value of their Jacobian determinants.

Put $x_P=(t,-x,y)$ and $U_P={\gamma }^1$. Since $U_P^{†}=-{\gamma }^1$ and ${\gamma }^0{\gamma }^1{\gamma }^0=-{\gamma }^1$, the Dirac adjoint transforms asThe chain rule gives ${\partial }_{\mu }\psi (x_P)=r_{\mu }({\partial }_{\mu }\psi )(x_P)$, with $(r_0,r_1,r_2)=(1,-1,1)$ and no sum in this formula. The Clifford algebra givesMultiplication by $r_{\mu }$ therefore restores each kinetic term:However, the Dirac scalar bilinear changes sign because $({\gamma }^1{)}^2=-I_2$:Changing variables in the action has unit absolute Jacobian determinant. HenceA nonzero Dirac mass term for this single two-component field breaks parity symmetry in quantum field theory with the specified transformation.

The specified time reversal includes complex conjugating $i{\gamma }^{\mu }{\partial }_{\mu }$; omitting that operation changes the answer. Put $x_T=(-t,x,y)$, $U_T={\gamma }^2$, and $(r_0,r_1,r_2)=(-1,1,1)$. As in c, the Dirac adjoint in the source's transformed bilinear is ${\bar{\psi }}^{\prime }(x)=\bar{\psi }(x_T){\gamma }^2$. The conjugated Dirac operator has coefficient matricesCombining these coefficients with the chain rule signs and the Clifford algebra gives, without summing over $\mu$,For example the time coefficient is ${\gamma }^2(-i{\gamma }^0){\gamma }^2(-1)=i{\gamma }^0$, and the second spatial coefficient is ${\gamma }^2(-i{\gamma }^2){\gamma }^2=i{\gamma }^2$. Thus the kinetic term is invariant. The real Dirac mass term again reverses sign since ${\bar{\psi }}^{\prime }{\psi }^{\prime }=\bar{\psi }({\gamma }^2{)}^2\psi =-\bar{\psi }\psi$. The spacetime integration has unit absolute Jacobian determinant, soEach operation reverses the sign of the mass, while their composition reverses it twice and preserves the kinetic term. In an operator formulation the complex conjugation of coefficients expresses the antiunitary operator character of time reversal; the transformation must not be treated as an ordinary unitary substitution with all $i$'s held fixed. These statements concern the stated free action.

For an allowed decay channel in iii, $|\mathcal{M}{|}^2=h^2$. Integrating the spatial Dirac delta distribution in the printed Lorentz-invariant phase-space measure sets ${\mathbf{p}}_2=-{\mathbf{p}}_1$. With $p=|{\mathbf{p}}_1|$ and $E_p=\sqrt{p^2+m^2}$, its remaining value isThe positive root is $p_{\ast }=(M/2)\beta$, where $\beta =\sqrt{1-4m^2/M^2}$, and the Dirac delta distribution contributes the Jacobian determinant $E_{\ast }/(2p_{\ast })$. HenceIt follows that the literal printed integral evaluates toThe printed integration ranges count each final configuration twice, once as $({\mathbf{p}}_1,{\mathbf{p}}_2)$ and once in the opposite order. For two identical final bosons, the physical decay width therefore requires an additional identical final-state symmetry factor $1/2!$:There is one allowed decay channel per heavy particle, not an extra factor of two from summing the two charge-conjugate heavy species. Both expressions vanish below the two-body decay threshold $M=2m$, and the limiting value at threshold is zero. For the literally forbidden labels $\Phi \to \varphi \varphi$, the decay width is instead zero because its decay amplitude vanishes, as explained in iii.

A permutation $\pi$ of identical particles multiplies a fermionic state by $\mathrm{sgn}(\pi )$; a bosonic state is invariant. Particle exchange keeps $y_{+}$ fixed and sends $y_{-}$ to $-y_{-}$. Consequently the spatial wave function is even in $y_{-}$ for the stated bosonic model and odd for the stated fermionic model. This assumes no additional spin variables in the supplied model; exchange of full particle states is the underlying rule.

The coordinate change is orthogonal, with unit Jacobian determinant, so the kinetic energy becomeson the square $|y_{+}|,|y_{-}|<a$ with zero boundary values. Product states ${\psi }_r(y_{+}){\psi }_s(y_{-})$ have energyThe one-dimensional eigenfunction is even for odd $s$ and odd for even $s$. Bosons therefore allow odd $s$, whereas fermions require even $s$. The lowest bosonic pair is $(r,s)=(1,1)$; its first excited pair is $(2,1)$. The lowest fermionic pair is $(1,2)$. ThusThe printed bosonic ground-energy claim omits the factor ${\pi }^2/4$; the value above follows directly from the supplied one-dimensional spectrum and kinetic energy.

The separation is $|x_1-x_2|=\sqrt{2}|y_{-}|$. The normalized $y_{+}$ factor integrates out. In the fermionic ground state, the relative-coordinate density is $a^{-1}{\sin }^2(\pi y_{-}/a)$, givingFor the bosonic ground state it is $a^{-1}{\cos }^2(\pi y_{-}/(2a))$, givingBoth integrals follow by replacing squared trigonometric functions by their constant and cosine parts and integrating once by parts. Henceand the difference is $\boxed{2\sqrt{2}a/{\pi }^2}$. The odd relative state vanishes at coincidence, which increases its expected separation.