Relativistic relativistic aberration concentrates emission into an angular scaleThis is a half-angle or characteristic divergence scale; a full cone opening is about twice it. The exact half-photon-count cone in a applies to isotropic rest-frame emission. A synchrotron emitter has its own rest-frame angular radiation pattern, so that count result should not be treated as an exact median-power formula for the synchrotron beam. It nevertheless gives the correct relativistic beaming scale. Electron-beam emittance, vertical angular spread and the detector's acceptance can broaden the experimentally observed divergence beyond this intrinsic estimate.

Interpret $3$ GeV as the electron's total energy; the alternative kinetic-energy reading changes the estimate only slightly at this scale. The Lorentz factor and orbital acceleration areUsing the supplied Larmor formula, ${\mu }_0=1/({ϵ}_0{c}^2)$ and the revolution time $2\pi R/v$,For $R=561$ m this gives $P=1.7405\times 10^{-10}$ W per electron and $T_{\mathrm{turn}}=1.17577\times 10^{-5}$ s. Their product isThis is the energy loss of one electron on a full circular orbit, not its energy loss per metre or the total loss of the whole bunch. The fractional loss is only about $4.26\times 10^{-6}$ of the $3$ GeV energy each revolution. Maintaining a steady stored energy requires replacing that energy through the accelerator's rf system.

The beam energy is a total pion energy, so the momentum follows the relativistic relation $p^2{c}^2=E_{\pi }^2-m_{\pi }^2{c}^4$. Taking the standard charged-pion rest energy $m_{\pi }{c}^2=139.57$ MeV,^[ref]For motion perpendicular to a uniform magnetic field, the Lorentz force supplies the transverse momentum change and gives $r=p/(qB)$. With the stipulated $qB=1$ eV s m${}^{-2}$,The unit cancellation leaves length after dividing by $c$ in metres per second. Equivalently, the usual magnetic-rigidity conversion is $p[\mathrm{GeV}/c]\simeq 0.2998B[\mathrm{T}]r[\mathrm{m}]$ for unit charge. The sign of the pion charge chooses the bending direction, while the radius uses its magnitude. Treating the pion as massless would give about $0.831$ m and is not a good approximation at this modest total energy. The production target does not determine the downstream orbit once the pion momentum and magnetic field are specified.

Raising each beam energy to 250 MeV makes $E=500$ MeV. The kaon denominator is now dominated byrather than by $E^2{\Gamma }_K^2$. Substituting into a givesThe enormous change is a tiny-width effect, not a comparably abrupt change in the broad rho contribution. The center-of-momentum energy has moved about $2/(7.4\times 10^{-12})\simeq 2.7\times 10^{11}$ kaon widths from the peak. A width of $7.4\times 10^{-12}$ MeV is only $7.4\times 10^{-6}$ eV, requiring an energy-selection scale of order $10^{-14}$ relative to the several-hundred-MeV beam energy.

Real beams have vastly broader energy distributions. Averaging over such a distribution suppresses the useful narrow-resonance contribution: the finite peak value does not imply a large energy-integrated formation rate, whose resonant area shrinks with the width at fixed branching fractions. The weak inverse-decay entrance coupling and the broad strong-interaction rho background therefore make this a poor way to study kaon resonant formation. The supplied broad-resonance formula is used algebraically as requested; a practical calculation would convolve an appropriate narrow line shape with the actual beam distribution.

Use $c=1$ and let $E$ denote the total center-of-momentum energy, not one beam's energy. Opposite equal momenta give $E=2E_{\mathrm{beam}}=498$ MeV, so the kaon is at its stipulated resonance mass $m_K=498$ MeV. Write the unspecified selected exit branching fractions as $b_{\rho }$ and $b_K$. The supplied line shape givesThe distinction between inclusive and exclusive resonance branching factors matters here. For inclusive resonance formation, sum over all decays, so $b_{\rho }=b_K=1$. At $E=m_K$ the small kaon width cancels from the peak value:If instead the measured cross section is specifically resonant elastic ${\pi }^{+}{\pi }^{-}\to {\pi }^{+}{\pi }^{-}$, its exit branching fractions equal the entrance ones: $b_{\rho }=1$, $b_K=0.69$. ThenThe source says production without specifying an observed decay channel, so both conventions are made explicit rather than silently squaring a branching fraction for an inclusive measurement. The quoted kaon width and two-pion branching fraction identify the short-lived propagation state $K_S$; a pure flavor state $K^0$ is a superposition of short- and long-lived states. This exercise uses the stipulated $K_S$ resonance model and equal omitted proportionality factors.

Adding the three characteristic quark energies from b givesThe estimate recovers a sub-GeV scale but underestimates the stated neutron mass by a factor of a few. This is consistent with its deliberately crude uncertainty and geometry assumptions; it is not a precision mass prediction.

A better model needs the actual spatial and momentum correlations, a confining interaction, and the energy in the quark and gluon fields. In quantum chromodynamics, hadron masses are not simply the sum of three freely moving particles with tiny masses. The supplied $5$ MeV rest-energy scale resembles a light current-quark scale; a phenomenological constituent-quark mass includes substantial dressing and is a different parameter. Color, spin correlations, relativistic dynamics and sea components all matter when defining a more realistic bound-state Hamiltonian operator or performing a lattice QCD calculation. The prescribed uniform-sphere model supplies none of those extra dynamical inputs, so its discrepancy should not be repaired by an unannounced change of the given radius or mass.

Adopt the lower-bound scale of the Heisenberg uncertainty principle, $\Delta r\Delta p\sim \hslash /2$, with the prescribed radial scale from a. Using $\hslash c=197.327$ MeV fm,For a one-sided exponential distribution of a positive momentum magnitude, $f(p)=p_0^{-1}{e}^{-p/p_0}$, both its mean and its standard deviation are $p_0$. Under the additional identification made in this estimate, set the characteristic momentum to $\Delta p$. This identification concerns a positive magnitude; the mean of a signed momentum component in an isotropic stationary state would instead vanish.

Use the relativistic energy-momentum relation, not a nonrelativistic kinetic-energy approximation, because the momentum-energy scale is much larger than the stipulated quark rest energy:This is a characteristic energy estimated at the characteristic momentum. It is not an exact evaluation of $⟨\sqrt{p^2{c}^2+m_q^2{c}^4}⟩$ over a fully specified three-dimensional wavefunction. An order-of-magnitude convention $\Delta p\sim \hslash /\Delta r$ would give an answer about twice as large; the uncertainty principle by itself specifies a bound, not a unique confinement energy.

Uniform probability per volume does not give a uniform radial distribution. A shell of radius $r$ and thickness $dr$ occupies volume $4\pi r^{2}dr$, so the radial probability density function isIt integrates to one. The second radial moment isThe radial uncertainty scale in a uniform sphere supplies the position-uncertainty scale as instructed by the toy model. It is not literally the standard deviation of the scalar radius: $⟨r⟩=3R/4$ and $\sqrt{⟨r^2⟩-⟨r{⟩}^2}=R\sqrt{3/80}$. Nor is a uniform spatial probability density sufficient to determine a unique momentum space wavefunction. This explicit distinction keeps the order-of-magnitude assumption separate from a fully specified quantum bound-state calculation. Replacing the radial density by a uniform density in $r$ would give a different second moment because it omits the spherical volume element.

The integrated friction is exactlyFor every finite $c>0$, the roots of $s^2+cs+c$ have negative real parts. The Green-Kubo formula for diffusion therefore gives the diffusion coefficient directly:ConsequentlyIntegrating the limiting velocity autocorrelation function gives the same value, ${\int }_0^{\infty }5e^{-\tau }d\tau =5$. Computing $D_c$ before taking the limit also avoids having to justify an interchange of the infinite-time integral and the parameter limit.

Write $c=c_1=c_3$, so the friction memory kernel is ${\kappa }_c(t)=c{e}^{-ct}$ and has area one for every $c>0$. Its Laplace transform is ${\tilde{\kappa }}_c(s)=c/(s+c)$. The generalized fluctuation-dissipation relation therefore givesTo verify the pointwise time-domain limit, rather than relying only on Laplace transform convergence, consider $c>4$. The two rootsare negative and satisfy ${\lambda }_{+}\to -1$, ${\lambda }_{-}\to -\infty$. Since ${\chi }_c(0)=5$ and ${\chi }_c^{\prime }(0)=0$, the inverse Laplace transform isThe coefficient of the slow exponential tends to $5$, and that of the fast exponential tends to zero. HenceThis is the velocity autocorrelation function of an Ornstein-Uhlenbeck process satisfying $dV=-Vdt+\sqrt{10}dW$. The friction memory kernel becomes local in time. Consistently, the even noise autocorrelation $5c{e}^{-c|\tau |}$ tends to $10\delta (\tau )$ in the sense of distributions, fixing the white noise normalization. The finite-$c$ right derivative ${\chi }_c^{\prime }(0)=0$ does not converge to the right derivative $-5$ of the limiting function: there is a short initial relaxation layer.

Since $X_0=0$, its supremum $X^{\star }$ is nonnegative. For $b>0$, continuity givesThe events increase with $n$. Part (iii) therefore yields $\mathbb{P}(X^{\star }>b)={\lim }_n{e}^{-(b+1/n)}=e^{-b}$. Letting $b\downarrow 0$ gives $\mathbb{P}(X^{\star }>0)=1$; letting $b\to \infty$ gives finiteness almost surely. ConsequentlyIts probability density function is $e^{-x}{1}_{\{x>0\}}$, with no atom at zero. Using strict exceedances above also avoids presupposing that the infinite-horizon supremum is attained.

Let $S=T_b\wedge T_{-a}$ and $p=\mathbb{P}(T_b<T_{-a})$. Set $R=\max (a,b)$. The exit time $S$ from $(-a,b)$ is at most the exit time from $(-R,R)$, so part (ii) gives $\mathbb{E}S<\infty$. Continuity ensures that exactly one of the two different boundary levels is reached at $S$.

The stopped local martingale $e^{X_{t\wedge S}}$ lies in $[e^{-a},e^b]$, hence is a uniformly integrable martingale. The optional sampling theorem, justified at the terminal time also by bounded convergence theorem, givesThus the boundary hitting probability from a diffusion scale function isFor integer $n\to \infty$, the events $\{T_b<T_{-n}\}$ increase to $\{T_b<\infty \}$. Indeed, on any path with finite $T_b$, continuity makes the path bounded below on $[0,T_b]$, so some lower barrier $-n$ has not yet been hit. The reverse inclusion is immediate. Taking the limit in the displayed probability gives

The stopped representation from part (a)(ii) and the Itô isometry give the exact second-moment identityThe cross term with the initial value is zero because the stopped stochastic integral has zero mean. This is the useful finite-time computation; evaluating the remaining occupation integral explicitly is unnecessary for proving integrability of $T$.

For $|x|\le L$,Combining the second-moment identity with part (i) yieldsLet $t\to \infty$ and use monotone convergence:In particular $T<\infty$ almost surely, a conclusion obtained without assuming finite exit in the stopping argument.

One can also evaluate the limiting second moment exactly. At exit $M_T$ is either $e^{-L}$ or $e^L$, soBy bounded convergence theorem and part (i), $\mathbb{E}{M}_T=1$. ThereforeThe same bound also holds at every finite time, by applying $(y-e^{-L})(y-e^L)\le 0$ to $y=M_{t\wedge T}$ and taking expected values. It improves the preceding bound to $\mathbb{E}T\le c_L^{-1}(e^L+e^{-L}-2)$ if desired.

Take $L>0$, as needed for a nontrivial interval. Since $X$ is continuous and adapted, for every level $a$ and $t\ge 0$,The infimum is attained on this compact interval and can be computed on the countable dense set $(\mathbb{Q}\cap [0,t])\cup \{t\}$. It is therefore ${\mathcal{F}}_t$-measurable. Thus $T_a$ is a stopping time, and so is $T=T_{-L}\wedge T_L$, because $\{T\le t\}=\{T_{-L}\le t\}\cup \{T_L\le t\}$.

By continuity, $X_{t\wedge T}\in [-L,L]$, even before knowing that $T$ is finite. HenceStopping preserves the local martingale property. The bounded local martingale criterion now shows that $M^T=(M_{t\wedge T}{)}_{t\ge 0}$ is a uniformly integrable martingale; its deterministic bound also gives square integrability. In particular,

Apply the Itô formula to $M_t=e^{X_t}$. Since $d[X{]}_t=\sigma (X_t{)}^{2}dt$ and $b=-{\sigma }^2/2$, the two drift terms cancel:The integrand is continuous and hence locally square integrable after stopping at bounded levels of $X$. Thus $M$ is a positive continuous local martingale, with $M_0=1$ and quadratic variationThe cancellation is the reason $e^x$ is the relevant scale function for this diffusion.

Write the diffusion and drift coefficients asBoth are continuously differentiable, withThese derivatives are bounded. For example $2|x|\le 1+x^2$ bounds both absolute values by one. The mean value theorem therefore makes both coefficients globally Lipschitz. They are also bounded, so satisfy the linear growth condition for an SDE.

The global existence theorem for stochastic differential equations with Lipschitz coefficients consequently givesIn particular, there is no finite explosion time. The solution has continuous paths, so all subsequent level-hitting and stopping arguments apply.

Put $c=\beta /2-\alpha$. The change of measure and part (a)(iii) yieldFor a centered normal random variable $G$ of variance $v>0$, a Gaussian integral gives the Gaussian quadratic exponential momentHere $c\le \beta /2$ and $\beta v_t<1/2$ for finite positive $t$, so the required positivity holds, including when $c>0$. ThusExpanding the two exponentials in terms of hyperbolic functions givesAt $t=0$ this is one. As $\beta \downarrow 0$, the denominator tends to $1+2\alpha t$, recovering part (a)(i). At $\alpha =0$ it gives the Laplace transform of the integrated square of Brownian motion. The joint terminal-and-integral transform is the Joint Laplace transform of Brownian square and its time integral.

Fix $t<\infty$. Part (b)(i) makes $d{\mathbb{Q}}_t=Z_{t}d\mathbb{P}$ a probability measure on ${\mathcal{F}}_t$, equivalent to $\mathbb{P}$ since $Z_t>0$. Its density process on $[0,t]$ is $Z_s=\mathbb{E}[Z_t\mid {\mathcal{F}}_s]$. The Girsanov theorem, applied to the stochastic exponential with integrand $-\beta B_s$, says thatis standard Brownian motion under ${\mathbb{Q}}_t$. The required local square-integrability follows from path continuity, and the true martingale property was proved in part (b)(i).

By part (b)(ii), under ${\mathbb{Q}}_t$ the process $B$ is therefore the zero-started Ornstein-Uhlenbeck process:This identifies its full law on continuous path space, rather than just its one-time marginal. It is a centered Gaussian process, since it consists of deterministic Itô integrals against Brownian motion. For $r,s\in [0,t]$, the Itô isometry gives its covariance function:In particular, its Ornstein-Uhlenbeck transition distribution at the terminal time is

The relation between $B$ and $W$ is the linear equation $d{B}_s=d{W}_s-\beta B_{s}ds$ with $B_0=0$. Multiplication by the deterministic integrating factor $e^{\beta s}$ and the Itô product rule giveHenceThe second equality follows by semimartingale integration by parts. It expresses $B$ as an explicit function of the continuous path of $W$, using only an ordinary time integral. This inversion holds before changing measure; $W$ is already a continuous semimartingale under the original measure.

The expression obtained in part (a)(iii) gives a direct deterministic bound. For every fixed $T<\infty$ and $0\le s\le T$,Thus the bounded local martingale criterion makes $Z$ a true martingale on every finite time interval. More explicitly, if ${\sigma }_n$ is a localizing sequence, the identities $\mathbb{E}[Z_{t\wedge {\sigma }_n}\mid {\mathcal{F}}_s]=Z_{s\wedge {\sigma }_n}$ pass to the limit by dominated convergence, using the displayed bound for $t\le T$. ThereforeThis establishes exactly the finite-horizon property needed for the subsequent change of measure.