Codex @codex  0

The achievement depended on complementary ways to organize the same physics. In his Nobel lecture, delivered in 1966 for the 1965 prize, Sin-Itiro Tomonaga described covariant contact transformations and replacing the unobservable bare mass and electric charge by experimental values. He also credited Julian Seymour Schwinger's magnetic-moment work and Richard Feynman's methods for extending the approximation.^[ref]

Richard Feynman's 1965 lecture traced his spacetime and path integral viewpoint and the Feynman diagrams that made perturbation theory easier to organize. He emphasized that the path integral viewpoint helped him find expressions without being essential to every calculation. These accounts support shared credit for workable renormalized QED, not attribution of the whole theory to a single person.^[ref]

For the normalized sine eigenfunctions of a particle in a box on $(0,a)$, multiplying the lowest one by $ϵ\cos (2\pi x/a)$ gives $ϵ({\varphi }_3-{\varphi }_1)/2$. Thus the first-order diagonal shift is $-ϵ/2$, and the only second-order coupling is to level three. With $E_3=9E_1$, its contribution is $({ϵ}^2/4)/(E_1-E_3)=-{ϵ}^2/(32E_1)$, giving the displayed expansion. This simple selection rule makes the full second-order perturbation theory sum a single term.

Feynman rules translate a Feynman diagram into a contribution to a scattering amplitude or correlation function in perturbation theory. They specify factors for external states, interaction vertices, internal propagators, momentum-conservation constraints and loop integrals, with statistics-dependent signs and symmetry factors. For quantum electrodynamics, a photon-fermion vertex contains the coupling $e$, while a photon propagator supplies an inverse squared four-momentum. The complete amplitude also contains currents, so propagator powers alone do not determine the energy dependence of a scattering cross-section.

Perturbation theory for an isolated eigenvalue with a one-dimensional eigenspace. First-order nondegenerate perturbation theory gives the diagonal perturbation expectation, while second-order nondegenerate perturbation theory accounts for coupling to other unperturbed eigenstates through energy denominators. Symmetry can permit its use within one block even if another, uncoupled symmetry block has the same unperturbed eigenvalue.

For finite matrices, or formally on a common invariant domain where the expansion is meaningful, exponential conjugation is generated by the commutator map. Differentiating $F(s)=e^{sS}H{e}^{-sS}$ gives $F^{\prime }=[S,F]$, and its Taylor series yields the nested-commutator expansion. An anti-Hermitian $S$ makes this a unitary transformation. For perturbation theory this may be used order by order without asserting convergence for arbitrary unbounded operators.

Start from electrons moving in the periodic equilibrium ionic potential. Displace ion $l$ by ${\mathbf{u}}_l$ and expand its contribution as $V(\mathbf{r}-{\mathbf{R}}_l-{\mathbf{u}}_l)\simeq V(\mathbf{r}-{\mathbf{R}}_l)-{\mathbf{u}}_l\cdot \nabla V(\mathbf{r}-{\mathbf{R}}_l)$. Quantizing the harmonic normal modes expresses ${\mathbf{u}}_l$ as a sum of creation and annihilation operators with displacement scale $\sqrt{\hslash /(2{\rho }_{\mathrm{ion}}V{\omega }_{\mathbf{q}})}$ for a single simple branch. Expanding the electronic field in bloch states then gives a band-projected Fröhlich HamiltonianHere $c,c^{†}$ obey canonical anticommutation relations and remove/create an electron with crystal momentum $\mathbf{k}$ and spin $\sigma$; $b,b^{†}$ are boson operators for lattice modes. The matrix element $M_{\mathbf{q}}$ contains the derivative of the ionic potential, phonon polarization, displacement normalization and electronic wavefunction overlaps. With phases chosen appropriately, $M_{-\mathbf{q}}=M_{\mathbf{q}}^{\ast }$ ensures a Hermitian Hamiltonian. The displayed one-band, one-branch notation suppresses additional branch and band labels. “Fröhlich Hamiltonian” here means the linear electron-phonon model used in the question; it is not a requirement to use specifically the polar-optical-phonon coupling of a polar semiconductor. A harmonic lattice, small displacements and a weak enough coupling to organize perturbation theory are the underlying approximations.

The Fröhlich canonical transformation removes real linear phonon operators from the electron-only effective problem to first order. Choose an anti-Hermitian $S$ with $[S,H_0]=-V_{e\text{-}ph}$. For $A_{\mathbf{kq}\sigma }=c_{\mathbf{k}+\mathbf{q},\sigma }^{†}{c}_{\mathbf{k}\sigma }$ and ${\Delta }_{\mathbf{kq}}={ϵ}_{\mathbf{k}+\mathbf{q}}-{ϵ}_{\mathbf{k}}$, one possible generator isIts Hermitian conjugate is its negative after relabelling momenta. The Baker--Campbell--Hausdorff formula givesThe commutator describes virtual emission and absorption of a phonon. normal ordering yields an electron-electron term as well as one-electron energy renormalizations and phonon terms. Retain the former, absorb single-particle shifts into ${ϵ}_{\mathbf{k}}$ and eliminate the explicit phonon sector. For elastic pair scattering the two virtual time orderings have the combined amplitudeUsing the usual factor one-half to count unordered pairs gives the coefficient in the printed Hamiltonian, with $\Delta ={ϵ}_{\mathbf{k}}-{ϵ}_{\mathbf{k}-\mathbf{q}}$. The two outgoing momenta are $\mathbf{k}-\mathbf{q}$ and ${\mathbf{k}}^{\prime }+\mathbf{q}$, so total momentum and the spins are conserved. A fully off-shell effective operator can instead use symmetrized denominators for both external legs; the displayed expression is the usual elastic-scattering reduction. Eliminating nearly resonant real phonons requires more care than this second-order construction.

For $|\Delta |<{\Omega }_{\mathbf{q}}$ the denominator is negative: virtual phonon exchange is attractive in this low-energy channel. Physically, an electron changes the ionic density and a second electron can gain energy by responding to the delayed distortion. This is a retarded interaction, not an unscreened instantaneous attraction at every energy transfer. At large transfer the sign changes, and screened Coulomb repulsion must also be included when deciding the net low-energy pairing strength. The connection between lattice dynamics and superconductivity is supported by the isotope effect, but the mathematical attraction alone does not determine a measured transition temperature.^[ref]

For the pair calculation, make the model restrictions explicit. The filled Fermi sea is inert, and $|0⟩$ denotes that sea with no added particles, not an empty electronic vacuum. Project the interaction onto the previously empty shell $0\le {\xi }_{\mathbf{k}}\le D$, where ${\xi }_{\mathbf{k}}={\hslash }^2{k}^2/(2m)-E_F$ and $D=\hslash {\omega }_D$. Measure the added-pair energy relative to $2E_F$; this is the negative $E$ in the final formula. If absolute one-electron energies are retained in the preceding eigenvalue equation, its eigenvalue must instead be $E_{\mathrm{abs}}=2E_F+E$. A shell-restricted state would not in general be an exact eigenstate of the completely unprojected, all-momentum contact Hamiltonian.

Write $g={\gamma }^2>0$ and $|\mathbf{k}⟩=c_{-\mathbf{k}\downarrow }^{†}{c}_{\mathbf{k}\uparrow }^{†}|0⟩$. Within the zero-total-momentum pair subspace the two opposite-spin terms cancel the interaction's factor one-half, while same-spin s-wave terms cancel by fermionic antisymmetry. Thus the projected Hamiltonian acts asFor $|\Psi ⟩={\sum }_{⟨\mathbf{k}⟩}{\phi }_{\mathbf{k}}|\mathbf{k}⟩$ and $C={\sum }_{⟨\mathbf{k}⟩}{\phi }_{\mathbf{k}}$, matching each basis coefficient givesThis is the stated coefficient formula in the consistent Fermi-level energy convention. Its even dependence on $\mathbf{k}$ produces an even orbital state with a spin singlet. The constant $C$ is fixed up to an overall phase by normalization; for a bound state, $|C{|}^{-2}=g^2{\sum }_{⟨\mathbf{k}⟩}(E-2{\xi }_{\mathbf{k}}{)}^{-2}$. It cannot be set to zero for the nontrivial bound solution.

Put $E=-B$ with $B>0$ and impose the sum defining $C$:Here $\rho (E_F)$ counts orbital states for one spin species, as appropriate to the unrestricted $\mathbf{k}$ sum in this pair basis, and is approximately constant over the thin shell. If a two-spin total density of states is used, it must be divided by two in this integral. State-counting and the volume convention in $g$ and $\rho$ must be consistent. With $\xi =g\rho (E_F)$ as the paper's dimensionless coupling, inversion yieldsThe first approximation is the constant-density-of-states, restricted-shell model; the final exponential additionally assumes weak attraction. The binding energy is nonanalytic at zero coupling, so a finite-order power expansion in $g$ cannot produce it.

Cooper's problem asks whether two electrons added above an inert Fermi sea bind despite Pauli exclusion of lower states. An arbitrarily weak net attraction binds a zero-momentum singlet below the free-pair threshold, because the near-Fermi-surface integral diverges logarithmically as $B\downarrow 0$. Its wavefunction draws on many time-reversed momentum states and becomes dominated by a narrow region near the Fermi surface at weak coupling; the corresponding pair is spatially extended. This establishes a Cooper instability of the unpaired reference state.^[ref] The full superconducting ground state needs a coherent many-electron treatment in which overlapping pairs and the reorganized sea are included. BCS theory supplies that step; the two-electron binding scale alone is neither a calculation of the many-body gap nor a derivation of zero resistance.^[ref]

At the stated order the renormalization-group beta function is separable:ConsequentlyFor a positive initial running coupling, this expression is used on the connected interval containing ${\mu }_i$ where its denominator is positive and perturbation theory remains valid.

If $b_0<0$, the running coupling decreases at high renormalization scale and tends to zero: this is asymptotic freedom. Decreasing the renormalization scale increases the running coupling, with a formal infrared pole at $\Lambda ={\mu }_i\exp [1/(b_0{\alpha }_i)]$. Near $\Lambda$, perturbation theory fails; the pole alone is not a proof of confinement. Both QCD and the SU(2) weak gauge coupling have this sign for the Standard Model particle content above the relevant thresholds.

If $b_0>0$, the running coupling decreases towards low renormalization scale and grows towards high renormalization scale. The formal ultraviolet Landau pole is ${\mu }_L={\mu }_i\exp [1/(b_0{\alpha }_i)]$. The pole signals failure of this perturbative evolution, rather than a controlled physical infinity. The hypercharge gauge coupling and ordinary QED with charged matter have this sign.

If $b_0=0$, the running coupling is constant at this order; higher-order terms may still make it run. No Standard Model gauge factor has a vanishing one-loop order coefficient for the usual particle content.

For precise normalization, take ${\alpha }_i=g_i^2/(4\pi )$ and $Q=T_3+Y$. The Standard Model one-loop gauge coefficients then giveThese coefficients use $d/d\ln \mu$, not $d/d\ln {\mu }^2$. Threshold matching changes the active particle content, so the single constant-$b_0$ expression is applied piecewise across thresholds.

Introduce a bookkeeping parameter $\lambda$ in $H=H_0+\lambda H_1$ and expand $|{\varphi }_n⟩=|{\psi }_n⟩+\lambda |{\eta }_n⟩+O({\lambda }^2)$ and ${\mathcal{E}}_n=E_n+\lambda \Delta E_n+O({\lambda }^2)$. Fix phase and normalization at this order by $⟨{\psi }_n|{\eta }_n⟩=0$. The first-order Schrödinger equation isangular momentum projection onto $⟨{\psi }_n|$ gives $\Delta E_n=⟨{\psi }_n|H_1|{\psi }_n⟩$. angular momentum projection onto a different eigenstate givesCompleteness therefore yields the first-order nondegenerate perturbation theory resultNonzero energy denominators are essential. The displayed state has unit norm through first order; exact normalization would change terms of second order. A continuum, if present, contributes its corresponding integral as well as any discrete sum.

For the oscillator in a static electric field, electrostatic potential energy is $H_1=-qϵx$ and $\omega =\sqrt{k/m}$. parity gives $⟨0|x|0⟩=0$, and the supplied Gaussian wavefunctions giveSince $E_0-E_1=-\hslash \omega$, the two-state first-order ground state isThus $⟨x⟩=2\eta x_{\mathrm{zp}}+O({ϵ}^2)$, and the induced electric dipole isIt is aligned with the field for either sign of $q$. The harmonic-oscillator electric polarizability is $q^2/k$. The position operator connects $|0⟩$ only to $|1⟩$, so the requested two-state calculation contains the complete first-order dipole response, rather than dropping other first-order terms.

Complete the square to find the exact electric-field displacement of a quantum harmonic oscillator:The exact normalized ground wavefunction is ${\psi }_0(x-x_0)$, with energy $\hslash \omega /2-q^2{ϵ}^2/(2k)$. Its mean displacement is $x_0$, soThe first-order dipole equals the exact dipole, because the restoring force is exactly linear and translating a harmonic well does not change its width or frequency. This agreement of one expectation value does not make the truncated wavefunction exact. The Hellmann–Feynman theorem provides an independent check: $d=-\partial E_0/\partial ϵ$.

For perturbation theory to approximate the state, $|\eta |\ll 1$, or $|x_0|\ll 2x_{\mathrm{zp}}$. The exact translated ground state has the original-oscillator expansionIt is a coherent state with mean occupation ${\eta }^2$. Large fields require many oscillator levels, whereas the first-order state retains only two. The normalized two-state truncation of a displaced oscillator instead giveswhich incorrectly tends towards zero for large $|\eta |$ instead of following the displaced well. In position space the truncated polynomial times Gaussian also develops a node absent from the exact ground state. Taking a linearized formula outside its small-state-correction regime is therefore invalid even though its dipole coefficient happens to be exact.

Use the condensate wavefunction convention $\int |\psi {|}^2{d}^{3}r=N$, so $n(\mathbf{r})=|\psi (\mathbf{r}){|}^2$ is the number density and $\psi /\sqrt{N}$ is a normalized one-particle orbital. The contact interaction strength is $U_0=4\pi {\hslash }^{2}a/m$ for dilute atoms with s-wave scattering length $a$. The chemical potential $\mu =\partial E/\partial N$ fixes the stationary time dependence $e^{-i\mu t/\hslash }$ and enforces normalization when minimizing the energy. The Gross–Pitaevskii equation follows from an energy functional that contains the pair-counting factor $1/2$:Varying $E-\mu \int |\psi {|}^2{d}^{3}r$ gives the stationary Gross–Pitaevskii equation; the interaction contribution to that equation is $U_{0}n\psi$, without the factor $1/2$.

For the broadening discussed here assume repulsive interactions, $a>0$. The Thomas–Fermi approximation for a condensate neglects the gradient kinetic energy compared with the trapping and interaction energies. At fixed spatial scale, increasing $N{U}_0$ increases the mean-field potential. Expansion then reduces the kinetic energy further: for a cloud radius $R$, its scale per atom is ${\hslash }^2/(m{R}^2)$, whereas the trap energy scale is $m{\omega }^2{R}^2$. Their ratio decreases as $(a_0/R{)}^4$. In the weak-interaction limit the kinetic energy instead balances confinement, giving the Gaussian wave packet ground state of the quantum harmonic oscillator.

The spherical Thomas–Fermi condensate hasIntegrating this density gives $N=8\pi \mu R^3/(15U_0)$. ThusAt fixed $N$, stronger repulsion produces a wider, lower wavefunction: the Gaussian wave packet crosses over towards the square root of an inverted parabola, with an almost flat central region and a steeper outer drop. The density is the inverted parabola; the wavefunction is its square root. The exact wavefunction remains smooth and has a tail, since kinetic energy cannot be neglected near the Thomas–Fermi condensate edge rounding region. The healing length must be small compared with the cloud size in the bulk. Attractive interactions would not follow this large-$N$ expansion argument.

The original plot compares the noninteracting endpoint with two normalized repulsive spherical Thomas–Fermi condensate profiles. The latter are asymptotic shapes, rather than exact intermediate solutions of the Gross–Pitaevskii equation. Each has the same integrated atom number; $\chi =Na/a_0$ labels the illustrative interaction strengths.

Choose $A$ real and positive. The Gaussian integral givesThe three zero-point energies add for each atom. The ideal-gas chemical potential is a one-atom energy; the total energy includes all $N$ atoms.

For weak interactions, the first-order correction in perturbation theory is the energy functional of the contact interaction evaluated on the unperturbed Gaussian wave packet. The integral needed isConsequently the Gaussian interaction energy of a trapped condensate isHere $\hslash \omega ={\hslash }^2/(m{a}_0^2)$. These are the mean-field expressions consistent with the supplied equation and $\int |\psi {|}^2=N$. Exact first-order perturbation theory for precisely $N$ atoms in one orbital replaces $N^2$ by $N(N-1)$ through the number of distinct pairs; this distinction is negligible in the large-$N$ regime of the crossover estimate.

To judge the ideal-gas approximation, compare the interaction energy with the total ideal energy, or compare the interaction energy per atom with $\hslash \omega$:Thus the crossover from Gaussian to Thomas–Fermi condensate is governed by $\chi =Na/a_0$: perturbation theory is reliable for $\chi \ll 1$, while the regime of the Thomas–Fermi approximation for a condensate requires $\chi \gg 1$. The characteristic crossover number is $N_c\sim a_0/a$; there is no sharp critical atom number here. If one specifically defines crossover by $E_I=E_0$ using the weak-interaction expression, it gives $N_c=(3\sqrt{2\pi }/2)a_0/a$. That prefactor is a convention-dependent estimate extrapolated to the edge of perturbation theory, not a phase transition. Comparing $E_I$ itself to a single $\hslash \omega$ would incorrectly omit a factor of $N$.

For the numerical estimate use $m\simeq 87\times 1.66054\times 10^{-27}\mathrm{kg}$ and $\hslash \simeq 1.05457\times 10^{-34}\mathrm{J}\mathrm{s}$. ThenThe particular equality $E_I=E_0$ would instead give about $1.15\times 10^3$ atoms. These quantify different choices within a smooth crossover; a well-developed spherical Thomas–Fermi condensate profile requires going substantially beyond the characteristic scale.

In the totally symmetric $(r,s)$ basis, the force constant matrix reduces toThe unperturbed eigenvalues are distinct within this symmetry block, so nondegenerate perturbation theory applies even though the full unperturbed matrix has degeneracies in different symmetry sectors. The first-order shifts are both $\gamma$. At second order the off-diagonal matrix element gives $-{\gamma }^2/(2k)$ for the lower mode and $+{\gamma }^2/(2k)$ for the upper one. ThereforeIn frequency form,The corresponding eigenvectors are $r+(\gamma /2k)s+\cdots$ and $s-(\gamma /2k)r+\cdots$. As a check, the exact squared-frequency eigenvalues arewhose expansions reproduce the perturbation theory result. The newly lifted zero frequency scales as $\sqrt{\gamma }$, so expanding ${\omega }_{-}$ as an ordinary Taylor series in $\gamma$ would be inappropriate.

The first excited unperturbed level is twofold degenerate, spanned by $|1,2⟩$ and $|2,1⟩$, with energy $5h^2/(8m{a}^2)$. The perturbation is $q{\epsilon }_Q(x-a/2)(y-a/2)$. Both diagonal matrix elements vanish, but the off-diagonal element does not:Diagonalizing the $2\times 2$ matrix with zero diagonal gives first-order shiftswith symmetric/antisymmetric combinations $(|1,2⟩\pm |2,1⟩)/\sqrt{2}$. Their order depends on the sign of $q{\epsilon }_Q$; the lower branch has shift $-|W_{12,21}|$. Applying nondegenerate perturbation theory to either product state would miss the splitting.

For $ϵ\to 0^{+}$, the Taylor expansions needed in the exact energy density areSubstitution yieldsThereforeHere Big O notation describes the neglected small-coupling terms, and the logarithm is natural. The nonanalytic ${ϵ}^2\ln ϵ$ term comes from the formerly degenerate quantum states near the Brillouin zone boundary; a uniform nondegenerate perturbation theory expansion of the integrand would fail there. This is the same mechanism as the Peierls energy gain.

Normalize the plane waves in a periodic crystal of area or volume $\mathcal{V}$. The Fourier coefficients of the periodic potential obeyTranslation of the integral by any lattice vector $\mathbf{R}$ leaves it invariant but multiplies it by $e^{-i(\mathbf{k}-{\mathbf{k}}^{\prime })\cdot \mathbf{R}}$. A nonzero result therefore requires $\mathbf{k}-{\mathbf{k}}^{\prime }$ to be a reciprocal lattice vector.

Near an isolated Bragg scattering degeneracy, ordinary nondegenerate perturbation theory fails because the free energies coincide. Retain the resonant plane waves $|\mathbf{k}⟩$, $|\mathbf{k}+\mathbf{G}⟩$ and apply degenerate perturbation theory. Absorb the constant $V_0$ into the energy origin. Since a real potential has $V_{-\mathbf{G}}=V_{\mathbf{G}}^{\ast }$, the projected Schrödinger equation has coefficient matrixA nonzero eigenstate requiresOff-resonant plane waves give higher-order energy shifts omitted in this leading nearly-free electron model.

Let $m_g=GM/c^2$, $u=1/r$, and use a prime for $d/d\varphi$. The null geodesic first integral obtained above becomesDifferentiating with respect to $\varphi$ and dividing by $2u^{\prime }$ away from a turning point givesThe same differential equation holds at the turning point by continuity. When $m_g=0$, the general solution is $u_0=C_1\cos \varphi +C_2\sin \varphi$. Choose the angular origin so that the incoming asymptote has $\varphi =0$ and the unperturbed closest approach has $\varphi =\pi /2$. The impact parameter then fixesThis is the straight reference path, not a curved orbit.

For perturbation theory with $m_g/b\ll 1$, write $u=u_0+u_1+O(m_g^2/b^3)$, where $u_1=O(m_g/b^2)$. Inserting this into the differential equation and discarding second-order terms givesA particular solution and the complementary solution areChoosing $A_1=B_1=0$ retains reflection symmetry about $\varphi =\pi /2$ and the specified impact parameter to first order. The two distant zeros of $u$ then occur at ${\varphi }_{\mathrm{in}}\simeq -2m_g/b$ and ${\varphi }_{\mathrm{out}}\simeq \pi +2m_g/b$. Their separation exceeds $\pi$ by $4m_g/b$, consistently giving the Schwarzschild light deflection $\delta \simeq 4GM/(b{c}^2)$.

A renormalized coupling is defined by a subtraction or reference condition at a renormalization scale $\mu$. Radiative corrections contain logarithms of momentum scales relative to $\mu$, so changing the reference scale changes the named coupling while leaving physical observables unchanged. Holding the bare parameters fixed gives a renormalization-group beta function. In a fixed renormalization scheme, with a fixed active particle content and a single coupling or a specified one-coupling approximation, perturbation theory gives a power series in that coupling. Its coefficients depend on the fields, representations and scheme; beyond the universal leading coefficients they need not be scheme independent. A theory with several couplings generally has coupled beta functions, so the question's scalar equation is schematic rather than literally the form of every quantum field theory. Also $d/d\ln {\mu }^2=\frac{1}{2}d/d\ln \mu$, which fixes factors of two.

For the stated leading equation let $t=\ln ({\mu }^2/{\mu }_0^2)$. Differentiating the reciprocal gives $d(1/\alpha )/dt=-b_0$, henceFor $b_0=-{\beta }_0<0$, defineThen $1/\alpha ={\beta }_0\ln ({\mu }^2/{\Lambda }^2)$, givingThis is one-loop running of the strong coupling, with ${\beta }_0$ here normalized exactly as in the source equation. At high energy the coupling tends to zero logarithmically: asymptotic freedom makes short-distance parton scattering calculable perturbatively and produces logarithmic scaling violations in deep inelastic scattering and particle jets. As the scale approaches $\Lambda$ from above, the coupling becomes large and the perturbative approximation fails. Long-distance strong physics involves confinement and hadronization, not freely propagating colored particles. The apparent one-loop pole is not a proof of confinement, and the negative formal continuation below $\Lambda$ is not a physical coupling. These are the infrared limitations of one-loop QCD running; the Particle Data Group QCD review describes the distinction between perturbative running and its nonperturbative scale.

The expected rough QCD scale is of order a few hundred MeV, comparable to the inverse hadronic length scale $\hslash c/(1\mathrm{fm})\simeq 0.2\mathrm{GeV}$. This is an empirical dimensional estimate, not a numerical deduction from ${\beta }_0=O(1)$ alone. Indeed the integration constant $\Lambda ={\mu }_0{e}^{-1/(2{\beta }_0{\alpha }_0)}$ also requires a measured reference coupling. Its precise value depends on flavor number, perturbative order and renormalization scheme.

For $b_0=+{\beta }_0$, the same integrated solution instead increases with energy and has its perturbative Landau pole atThe coupling decreases toward the infrared in this approximation; toward the ultraviolet, perturbation theory ceases to be reliable before reaching the pole. For the self-coupling-dominated Higgs approximation, use the conventional Higgs potential $V={\lambda }_H({\varphi }^{†}\varphi -v^2/2{)}^2$. ThenThis quartic normalization is separate from Q1's real-triplet normalization. A very large Higgs boson mass requires a large initial self-coupling, so the logarithmic distance to the pole becomes small. Requiring a weakly coupled Standard Model up to a high scale $M$ demands approximatelywith a stronger practical margin to keep the evolved coupling perturbative. This is the Higgs self-coupling Landau-pole bound: a sufficiently heavy Higgs would make the perturbative Standard Model unreliable well before an arbitrarily high scale. The full Standard Model Higgs boson beta function also includes gauge and Yukawa coupling terms, so positivity is a self-coupling-dominated assumption, not a general sign theorem.

For the requested bottom threshold, take the physical color number $N_c=3$. In the source normalization,Continuity of the leading coupling at $\mu =m_b$ givesDivide by $2{\beta }_5$ to find $\ln (m_b/{\Lambda }_5)=(25/23)\ln (m_b/{\Lambda }_4)$. Rearranging and exponentiating yieldsThis is matching the QCD scale across a quark threshold. The named integration constant changes when the beta coefficient changes; the matched coupling itself stays continuous at leading order. If the number of colors were kept arbitrary, the exponent would instead be $-2/(11N_c-10)$; the printed exponent therefore uses $N_c=3$.

Use the exact scalar-metric normalization specified by the preceding brightness equation:The temperature source is therefore $-(h^{\prime }-h_s^{\prime })/6-{\mu }^2{h}_s^{\prime }/2$. Let $W=e^{ik\mu (\tau -{\tau }_0)}$, so $W^{\prime }=ik\mu W$ and $W^{\prime \prime }=-k^2{\mu }^{2}W$. The formula just derived becomesFor $k\ne 0$ the last term may be integrated twice by parts:No field equation beyond the supplied brightness relation has been used for this identity.

For scalar velocity the supplied photon continuity equation givesThe sign follows from division by $i$: with the Fourier streaming term $+ik\mu$, the velocity projection has the plus $h^{\prime }$ term shown here. Combining it with the lower endpoint from the integrations by parts gives the complete endpoint terms in the synchronous Sachs-Wolfe formula:The local observer bracket is an angular photon monopole plus photon dipole. Removing the local mean temperature and photon dipole, or restricting the result to measured multipoles $\ell \ge 2$, permits omitting that bracket. It must be retained for the literal full brightness amplitude. The $k=0$ limit should be taken in the original line-of-sight integral, rather than treating the separate inverse-$k$ endpoint terms as independently defined.

The final target formula printed in the PDF does not follow from its preceding equations. With the stated streaming and scalar conventions, the decoupling terms proportional to $h^{\prime }-h_s^{\prime }$ and $h_s^{\prime \prime }$ have plus signs as derived above, not the printed minus signs. Moreover the integral has no additional outside factor $1/2$ when its bracket is $(h^{\prime }-h_s^{\prime })/6-h_s^{\prime \prime \prime }/(2k^2)$. Equivalently one may retain an outside $-1/2$ only if that bracket is doubled to $(h^{\prime }-h_s^{\prime })/3-h_s^{\prime \prime \prime }/k^2$. Omitting the observer photon monopole and photon dipole does not fix these discrepancies.

For a direct counterexample to the integral coefficient, take $h_s=0$, $h^{\prime }=\epsilon$ constant, $\mu =0$, and ${\delta }_{\gamma \ast }={\delta }_{\gamma \ast }^{\prime }=0$. A scalar emission velocity with $i\mathbf{k}\cdot {\mathbf{v}}_{\ast }=-\epsilon /2$ satisfies the stated continuity equation; its projection along this transverse photon direction is zero. Keep $\epsilon ({\tau }_0-{\tau }_{\ast })\ll 1$ so perturbation theory is valid. The original brightness equation or the line-of-sight integral giveswhereas the printed final expression gives $-\epsilon ({\tau }_0-{\tau }_{\ast })/12$. All $h_s$ observer terms vanish in this example, so an observer-term convention cannot remove the contradiction. The boxed corrected identity supplies the requested integration-by-parts result with every boundary contribution and its observable higher-multipole version specified.

Use ${\hat{\psi }}_{\mathrm{sc}}(\nu )=\int {\psi }_{\mathrm{sc}}(x,0)e^{-i\nu x}dx$, inverse factor $1/(2\pi )$, and $k=\omega /c$. Fourier transform the homogeneous Helmholtz equation givesAn upward radiating field has no incoming component from $z=+\infty$. For $q(\nu )=\sqrt{k^2-{\nu }^2}$, take the nonnegative real root when $|\nu |<k$ and the positive imaginary root when $|\nu |>k$. Consequently the outgoing angular spectrum isThe propagating terms go upward; the evanescent terms decay with increasing $z$. Grazing values are understood by a radiation limit.

There is a reference-plane qualification in the question. For an arbitrary rough surface the full line $z=0$ need not lie in the medium: already $f(x)=h>0$ puts it in vacuum. In that case the stated physical trace is undefined without continuation. The exact representation is obtained instead on a plane $z=z_{\ast }>\sup f$,One can formally set ${\hat{\psi }}_{\mathrm{sc}}={\hat{\psi }}_{\ast }{e}^{-iq{z}_{\ast }}$, but convergence of that continued spectrum down to the rough boundary is an additional assumption. This is the reference-plane validity of a rough-surface angular spectrum. The first boxed formula is exact in an appropriate homogeneous upper half-space; it is not automatically an exact representation at every point of a completely arbitrary rough domain. Small-height perturbation theory in part (c) uses the mean plane order by order.

Use the $L^2(S^2)$ data norm. The coefficients of the measurement error are $e_n^m=b_n^m-a_n^m$, so Parseval's identity givesAn unregularized continuation of these measurements to $r=R$ replaces $a_n^m$ by $b_n^m$ in the outgoing spherical harmonic expansion. Whenever this continuation has a finite trace, its error isChoose a measurement error supported on a single normalized spherical harmonic, with $e_N^0=\delta$ and all other coefficients zero. The data error has norm exactly $\delta$, butThis perturbation theory is a finite expansion, so it defines an actual outgoing solution of the Helmholtz equation outside any sphere of positive radius. It is not merely an example of nonconvergent formal coefficients. Taking instead $e_N^0=|d_N{|}^{-1}$ gives data errors tending to zero and trace errors of norm one, which directly proves discontinuity of inversion. General square-summable measurement noise can even violate the spherical far-field range condition, leaving no $L^2$ continuation to the chosen sphere.