Unlettered marked requests are numbered in source order; explicit letters and Roman parts are retained. S18 worked notes are linked below; their missing amplitude sketch is supplemented here.
Choose the principal logarithm, so L(z)=Log(1−z) has branch cut [1,∞). Near zero its Taylor series givesThus zero is a simple pole of residue one, and one is a logarithmic branch point. The function is holomorphic on C∖({0}∪[1,∞)) with this branch. Infinity is also a branch point in the extended-plane description; the function's decay there along the cut plane does not make it a single-valued holomorphic function through infinity.
L(z)=−z−2z2−3z3+O(z4),z3L(z)2=z1+1+O(z).
Use the positive orientation shown in the source: the upper bank runs outwards and the lower bank returns towards one. On those banks the logarithm branch has values ℓ−iπ and ℓ+iπ, respectively, with ℓ=log(x−1). Their squared difference is −4iπℓ. The residue theorem therefore givesand henceThe large-circle contribution is O(R−2log2R) and the small circle about one contributes O(ε∣logε∣2), both tending to zero. These estimates justify replacing the closed contour integral by its two cut-bank integrals.
2πi=lim∮Γz3L(z)2dz=−4πi∫1∞x3log(x−1)dx,
∫1∞x3log(x−1)dx=−21.
Take g(z)=L(z)3/z3 on the same logarithm branch. At zero, L(z)3=−z3+O(z4), so the apparent singularity is removable and the closed contour integral is zero. The bank difference isThe circular contributions vanish by the previous estimates with the third power of the logarithm. ConsequentlyThe last integral is 1/2, givingIncreasing the logarithm power has converted the desired real integral into a jump across a branch cut, while removing the pole inside the contour.
(ℓ−iπ)3−(ℓ+iπ)3=−6iπℓ2+2iπ3.
0=−6iπ∫1∞x3log2(x−1)dx+2iπ3∫1∞x3dx.
∫1∞x3log2(x−1)dx=6π2.
A conformal map preserves the magnitude and orientation of angles between intersecting smooth curves locally. For a complex holomorphic function, the condition at z0 is f′(z0)=0: the first-order change δw=f′(z0)δz rotates and uniformly scales every tangent vector by the same complex factor. This local statement does not require a globally one-to-one map.
No region maps onto the entire finite complex plane: ez is never zero. Its image on C is C∖{0}. A fundamental strip such asmaps bijectively onto that punctured plane, because ex+iy=exeiy. The half-open strip supplies one representative of each angle; it is not an open domain. An open strip of height 2π omits a ray as well. The missing zero is approached only in the limit x→−∞.
{x+iy:x∈R, −π<y≤π}
Writing z=x+iy gives ∣w∣=ex and argw=y. Thus the closed square maps to the annular sectorIts horizontal edges become radial segments and its vertical edges become circular arcs. Each radial tangent is perpendicular to the tangent of its adjoining circle, so the four interior angles remain π/2. Equivalently, the complex derivative ez is nonzero at every vertex and the map is conformal there.
1≤∣w∣≤ea,0≤argw≤a.
Use the complex logarithm with 0≤argw≤π/2 on the nonzero points of the first-quadrant square. Put z=x+iy=log∣w∣+iargw. The square bounds Rew,Imw≤a giveThe two edges meeting at w=0 map to the horizontal half-lines y=0 and y=π/2, extending indefinitely to the left. The other edges map to x=loga−logcosy for 0≤y≤π/4 and x=loga−logsiny for π/4≤y≤π/2. They meet at log(a2)+iπ/4.
0≤y≤2π,x≤loga−logmax(cosy,siny).
The angles are preserved at a, a(1+i) and ia. There dlogw/dw=1/w is finite and nonzero. The origin is a branch point, has no finite logarithmic image, and supplies no fourth finite vertex at which angle preservation could be asserted.
For t>0, close the real-axis contour in the upper half-plane: ∣eizt∣=e−tImz supplies decay. The only enclosed simple pole is z=i, with residue e−t/(2i). Thus h(t)=2πie−t/(2i)=πe−t.
For t<0, close downwards. The clockwise orientation contributes −2πi times the residue et/(−2i) at z=−i, givingAt t=0, direct integration of 1/(1+p2) gives π, consistent with the continuous extension. The large arc tends to zero by Jordan's lemma for nonzero t, or the denominator estimate when t=0.
h(t)=πe−∣t∣.
Let I denote the requested integral. Symmetry and the period of sin2θ make the corresponding integral over 0≤θ≤2π equal to 4I. With z=eiθ, this becomesThe denominator factors as −2(z2−1/2)(z2−2). The two poles inside the unit circle are z=±1/2. Each residue is 1/(6i), because the derivative of the polynomial denominator there is 6z. The residue theorem gives 4I=2π/3, so
4I=∮∣z∣=1i(−2z4+5z2−2)zdz.
I=6π.
For the two-body problem, the centre of mass lies a distance aMJ/(M⊙+MJ)=a/1048 from the Sun. With a=5.2AU,The relative circular-orbit period is P=2πa3/[G(M⊙+MJ)]≃11.85 years. The Sun's orbital speed about that centre of mass is thereforeThis is the space-speed amplitude; the observed radial velocity amplitude also includes the orbital inclination.
r⊙≃7.42×108m≃1.07R⊙.
v⊙=2πr⊙/P≃12.5ms−1.
Kepler's third law is P2=4π2a3/[G(MS+MP)], with a the semimajor axis of the relative orbit. For a circular edge-on orbit, the star's speed is VS=2πaS/P, and the centre of mass relation gives aS=aMP/(MS+MP). Cubing the speed expression and eliminating a yieldsFor MP≪MS, this reduces toWithout the edge-on assumption, a factor sin3i multiplies the numerator, explaining the minimum-mass degeneracy of the radial-velocity method.
(MS+MP)2MP3=2πGPVS3.
MP3≃2πGVS3PMS2.
Converting luminosity to mass needs a main-sequence mass-luminosity relation. Using the near-solar approximation L/L⊙≃(M/M⊙)4 gives MS≃0.946M⊙. ThenFor P=11.6 days and VS=10ms−1, these give approximatelyThese estimates retain the circular, edge-on and low-companion-mass assumptions. Adopting a mass-luminosity exponent 3.5 instead changes the quoted values by about one percent; luminosity alone does not determine a unique stellar mass without such a calibration.
MP=VS(2πGPMS2)1/3,a=(4π2GMSP2)1/3.
MP≃0.107MJ,a≃0.0985AU.
The effective temperature is defined by the Stefan–Boltzmann law applied to a star's total luminosity:Here R is the adopted photospheric radius and σSB is the Stefan-Boltzmann constant. This defines the temperature of a black body radiating the same total flux per unit surface area; it does not assert that every wavelength of the stellar spectrum follows a perfect Planck spectrum.
L=4πR2σSBTeff4.
The parallax gives d=1/0.00763≃131pc. Ignoring extinction, the distance modulus givesThe bolometric magnitude relation then yields L/L⊙=100.4(4.72−Mbol)≃2.53×104. With T⊙≃5772K,A star this cool and luminous belongs to the red-supergiant region of the Hertzsprung-Russell diagram. Extinction and the adopted effective temperature are important systematic inputs; this calculation uses the supplied temperature to infer the radius.
Mbol=mbol−5log10(d/10pc)≃−6.29.
R⊙R=L⊙L(3500KT⊙)2≃4.3×102.
A first distance-independent method fits the continuum shape or a calibrated colour index to an atmosphere model. A black-body approximation uses Wien's displacement law, λmaxT≃2.90×10−3mK, or ratios of the Planck spectrum at two wavelengths. It requires a known extinction correction and sufficient treatment of molecular absorption and line blanketing; a cool supergiant need not have a black-body colour temperature equal to its effective temperature.
A second method fits temperature-sensitive spectral lines or molecular bands. Boltzmann excitation and the Saha equation explain why excitation and ionization ratios change with temperature; detailed atmosphere calculations also include surface gravity, composition and departures from local thermodynamic equilibrium. TiO molecular bands are particularly useful for cool stars. Line ratios remove the overall distance normalization, but their calibration remains model dependent.
The direct flux-radius method can be made distance independent as well: an independently measured angular diameter Θ gives Teff=[4Fbol/(σSBΘ2)]1/4. For a large nearby supergiant with a resolved photosphere, good bolometric flux and a limb-darkened interferometric angular diameter, this is often the most direct determination. Its advantage depends on those measurement uncertainties and a consistent radius definition. The radius inferred in the preceding part cannot itself provide an independent temperature measurement, because the supplied temperature was already used to calculate it.
The virial theorem for a stationary isolated system with inverse-square gravity iswhere K is total kinetic energy in the system's centre-of-mass frame and W is its negative gravitational potential energy. The brackets denote a suitable time or ensemble average. Surface pressure, rapid evolution or mass fluxes add terms, so equilibrium and an appropriate boundary are substantive assumptions.
2⟨K⟩+⟨W⟩=0,
For an isotropic velocity dispersion, ⟨v2⟩=3σlos2. To specify the order-unity structure factor, approximate the gravitating system by a uniform sphere, whose gravitational potential energy is W=−3GM2/(5R). The virial theorem givesThe numerical value uses R=1Mpc and σlos=900kms−1. Different mass profiles change the prefactor, rather than the scaling Rσ2/G.
Mdyn≃G5Rσlos2≃9.4×1014M⊙.
For fully ionized intracluster gas, take mean particle mass μmp with μ≃0.6. In the same uniform-sphere virial estimate, replace σ2 by kBT/(μmp) to obtainAlternatively, hydrostatic equilibrium gives M(<R)=−kBTR(Gμmp)−1(dlogρg/dlogr+dlogT/dlogr). An isothermal gas with density proportional to r−2 gives 1.3×1015M⊙. The supplied radius and temperature do not specify the profile, so the meaningful inference is a mass of order 1015M⊙, with the displayed model choices making the coefficient explicit. The high supplied temperature need not yield the same estimate as the galaxy dispersion in a crude single-profile calculation.
MX≃Gμmp5RkBT≃3.2×1015M⊙.
The stellar estimate is much smaller:It counts luminous stellar matter, rather than all matter in the cluster.
M∗≃1000(5×109)(3)M⊙=1.5×1013M⊙.
Nonbaryonic dark matter can provide the additional gravitating mass. Gravitational lensing independently maps cluster mass, while the cosmic microwave background and Big Bang nucleosynthesis constrain the cosmic matter and baryon budgets. The separation of lensing mass from strongly interacting X-ray gas in merging clusters is evidence that much of the gravitating component is not that hot gas.
Uncounted baryonic matter, including the observed hot gas, faint stars and compact remnants, certainly adds to the stellar estimate. X-ray emission directly establishes a large gas reservoir. However, baryon-budget constraints and microlensing constraints on compact objects prevent arbitrarily filling the entire discrepancy with ordinary hidden objects.
Modified gravity could change the inference from a measured acceleration to a Newtonian mass. Such a theory must also reproduce the observed lensing and cosmological evidence; explaining some rotation curves alone is insufficient, and cluster mass discrepancies remain a demanding test. Departures from equilibrium and projection can bias individual mass estimates, but would have to explain the independent observations systematically rather than merely modify one virial prefactor.
The one-dimensional Time-dependent Schrödinger equation isThe left side generates time evolution; the two terms on the right are the kinetic and potential parts of the Hamiltonian operator. For a time-independent potential and an energy eigenstate, set ψ(x,t)=ϕ(x)e−iEt/ℏ. Cancelling the time factor gives the time-independent Schrödinger equation, −ℏ2ϕ′′/(2m)+Vϕ=Eϕ.
iℏ∂tψ=[−2mℏ2∂x2+V(x)]ψ.
By the Born rule, ∣ψ∣2dx is the position probability in an interval of width dx, with ∫∣ψ∣2dx=1 for a normalized particle. Therefore [ψ]=length−1/2 in one dimension. An ideal scattering plane wave instead uses flux normalization and is not itself a normalizable single-particle state on the whole line.
The reflection-one result describes a semi-infinite potential step, rather than a finite-width barrier. Define k=2mE/ℏ and κ=2m(V0−E)/ℏ. For E>0, takeThe growing exponential is excluded by boundedness as x→∞. Continuity of ϕ and ϕ′ at the finite step gives 1+r=c and ik(1−r)=−κc, henceThe probability current of the decaying tail is zero; the reflected and incident currents have equal magnitude. This agrees with the classical reflection coefficient even though the spatial wave function differs from a classical trajectory.
ϕ(x)={eikx+re−ikx,ce−κx,x<0,x>0.
r=k+iκk−iκ,c=k+iκ2k,R=∣r∣2=1.
On the incident side, ϕ is the superposition of incoming and reflected waves, producing a standing-wave pattern whose travelling-wave de Broglie wavelength is λ=2π/k. On the forbidden side, it decays exponentially and remains nonzero near the boundary. A sketch should therefore show oscillations for x<0, a continuous function and slope at zero, and the evanescent tail for x>0 beside the potential step.
The quantum distinction is finite probability density inside the classically forbidden region, despite complete reflection. There is no transmitted flux at arbitrarily large positive x for this semi-infinite step. A finite-width barrier would allow quantum tunnelling, a different boundary-value problem.
The wave-function amplitude decays as e−κx, so its e-folding penetration depth isThe probability density decays as e−2κx and has the smaller e-folding depth 1/(2κ). Specifying which quantity decays avoids a factor-of-two ambiguity in the term penetration depth.
Δx=κ−1=2m(V0−E)ℏ.
A stationary evanescent wave does not assign a classical trajectory or a real local speed inside the forbidden region. The dwell time in a semi-infinite potential step measures probability stored in x>0 divided by incident probability current. For incident amplitude one,This gives a time in terms of m,E,V0 through the definitions of k,κ. A simpler dimensional estimate is the penetration length divided by the incident speed, Δx/vin=m/(ℏkκ)=ℏ/[2E(V0−E)]. The dwell time equals (2E/V0) times that estimate. Different operational timing definitions need not agree; treating the imaginary under-barrier momentum as a real particle velocity would not justify a unique traversal time.
τD=ℏk/m∫0∞∣c∣2e−2κxdx=ℏκ(k2+κ2)2mk.
Using m≃4mp and T=15meV, the nonrelativistic de Broglie wavelength and speed areFor the square interferometer, the enclosed area projected into a vertical plane is a2sinθ. The gravitational phase shift in matter-wave interferometry is Δφ=mga2sinθ/(ℏv) to leading order in the small gravitational energy change. Thus rotation from horizontal to vertical changes the fringe count byOne way to see the phase is that the horizontal arms differ in gravitational potential energy by mgasinθ for a flight time a/v. Which-path detection entangles the atom with distinguishable detector states. If those states are orthogonal and the path record is ignored, their coherence is lost and the interference fringes disappear. This is a loss of interference visibility, not a change in the atom's de Broglie wavelength.
λ=2mTh≃1.17×10−10m,v≃8.48×102ms−1.
N=hvmga2≃1.17×103,NMoon≃1.95×102.
For the macroscopic mass,The ideal fixed-momentum expression tends to infinity as v→0. An everyday localized object is not a perfectly coherent momentum eigenstate, however: its thermal and environmental momentum uncertainty remains nonzero, and decoherence rapidly suppresses spatially separated coherent alternatives. Merely setting the mean velocity to zero does not prepare an object with a macroscopic coherence length.
λ=mvh=2(33)6.626×10−34≃1.00×10−35m.
For a uniformly illuminated single slit of width w, the far-field amplitude is proportional to sinu/u, with u=πwsinϑ/λ. Its first zeros occur at sinϑ=±λ/w. If the quoted peak width is the full width between those zeros, the small-angle geometry givesThe Fraunhofer diffraction approximation is appropriate since w2/(λL)≪1. If the supplied width instead meant a half-width or full width at half maximum, its numerical conversion factor would differ; the displayed answer states the first-zero convention explicitly.
Δy≃w2Lλ,w≃Δy2Lλ≃2.3×10−8m.
The normalized linear polarization state is ∣θ⟩=cosθ∣H⟩+sinθ∣V⟩. A transmitted-photon count implements the projector ∣θ⟩⟨θ∣. The Born rule givesthe single-photon form of Malus's law, assuming ideal polarizers and detection.
p(θ)=∣⟨θ∣H⟩∣2=cos2θ,
For the product state ∣H⟩A∣H⟩B, the two projection amplitudes multiply. ThereforeThe independent factors arise from this product input; they cannot be assumed for a general correlated pair state.
p(θA,θB)=cos2θAcos2θB.
The classical mixture has density matrix ρ=21∣HH⟩⟨HH∣+21∣VV⟩⟨VV∣. Average the probabilities of its two alternatives:Alice's single-detector transmission probability is 1/2 at every angle. Dividing by it givesAt 45∘, Alice's click does not distinguish the two classical alternatives. At zero, it selects the horizontally polarized alternative.
p(A,B)=21[cos2θAcos2θB+sin2θAsin2θB].
p(B∣A,θA=45∘)=21,p(B∣A,θA=0)=cos2θB.
The normalized Bell statehas equal outcomes for any common real linear-polarization basis. In the stated rotated basis it is (∣θ(+)θ(+)⟩+∣θ(−)θ(−)⟩)/2: the cross terms cancel when the inverse rotation is substituted.
∣Φ+⟩=2∣HH⟩+∣VV⟩
Thus the coincidence probability for the transmitted ports is p(A,B)=21cos2(θA−θB). At equal angles it is 1/2 per emitted pair, while Bob transmits with probability one conditional on Alice's transmission. Both photons are blocked for the other half of ideal pairs. The phrase always in coincidence must therefore mean matching outcomes or conditional transmission, rather than unit unconditional transmission through both polarizers.
The classical mixture has no coherence between HH and VV; it gives equal-angle coincidence probability 1/4 at 45∘, rather than 1/2. The coherent quantum superposition maintains correlation in this rotated basis. Bob's unconditional transmission remains 1/2, so the conditional correlation does not permit signalling by Alice's polarizer choice.
Hamilton's principle makes the action S[q]=∫t1t2L(q,q˙,t)dt stationary under variations vanishing at the endpoints. It need not be a strict minimum. Varying the action and integrating the velocity variation by parts givesThe endpoint term vanishes. Since the interior variations are arbitrary, the fundamental lemma of the calculus of variations yields
δS=[∑i∂q˙i∂Lδqi]t1t2+∫t1t2∑i[∂qi∂L−dtd∂q˙i∂L]δqidt.
dtd∂q˙i∂L−∂qi∂L=0.
Write u=πx2/l02 and assume V0>0. The derivative of the potential is V′(x)=−2πV0xsinu/l02. Its equilibrium positions are zero and x=±l0n for positive integers n. At a nonzero equilibrium,Thus the stable equilibria and their small-oscillation normal mode frequencies areEven positive n give unstable maxima. At zero the quadratic term vanishes but V(x)=V0−V0π2x4/(2l04)+⋯, so the equilibrium is still unstable; a zero linearized frequency does not prove stability. If the unspecified sign of V0 were chosen negative, even-n positions would be stable instead, together with a degenerate quartic minimum at zero whose frequency tends to zero with oscillation amplitude.
V′′=−l024π2V0n(−1)n.
xn=±l0n,ωn=l02πmnV0,n=1,3,5,….
For an infinitesimal continuous symmetry δqi=εξi(q,t), allow the Lagrangian to change by a total derivative, δL=εdF/dt. Direct variation givesOn a solution of the Euler-Lagrange equations, the first term vanishes. This proves Noether's theorem in the fixed-time form:Spatial translations yield total momentum, and rotations yield angular momentum. Time translations yield energy when the Lagrangian has no explicit time dependence; this follows either from the extended time-transformation form of the theorem or by differentiating H=∑ipiq˙i−L to obtain H˙=−∂L/∂t.
εδL=∑i(∂qi∂L−dtd∂q˙i∂L)ξi+dtd∑ipiξi.
Q=i∑piξi−F,Q˙=0.
The central pair potential is invariant under simultaneous spatial translations, simultaneous rotations and time translations. The corresponding time-independent Noether charges are total momentum P=p1+p2, total angular momentum about a fixed origin, and total energy H.
In one dimension this supplies P and H: two charges. In two dimensions it supplies Px,Py,Lxy,H: four charges. In three dimensions it supplies three momentum components, three angular-momentum components and H: seven charges. For generic states these listed charges are independent in those dimensions. Galilean boosts can also be expressed by explicitly time-dependent conserved combinations, but are not part of the requested translation-rotation-energy count.
In D dimensions the antisymmetric angular momentum tensor has componentsThere are D(D−1)/2 independent rotation generators. Together with D translation generators and one time-translation generator, the standard Noether charge enumeration is thereforeThe word independent here counts symmetry generators and tensor components; it needs qualification if it is meant as functional independence of all charges for only two particles in arbitrarily high dimension. In centre-of-mass coordinates, L=R∧P+r∧p. Consequently P∧L∧L=0, a nontrivial identity from dimension five onwards, since (r∧p)∧(r∧p)=0. Thus the displayed number is the symmetry-charge count; it is not an assertion that these functions have unrestricted values for a two-particle realization in every D.
Lab=∑s=12(qs,aps,b−qs,bps,a),a<b.
1+D+2D(D−1)=1+2D(D+1).
The canonical momentum is pi=∂L/∂q˙i. If the velocity-momentum relation can be locally inverted, the Legendre transform defines H(q,p,t)=∑ipiq˙i−L, with the velocities expressed in terms of q,p,t. Its differential isThe Euler-Lagrange equations then yield Hamilton's equations,A singular velocity Hessian instead requires a constrained-Hamiltonian treatment.
dH=∑iq˙idpi−∑i∂qi∂Ldqi−∂t∂Ldt.
q˙i=∂pi∂H,p˙i=−∂qi∂H.
The canonical momentum is p=γmr˙, where γ=(1−r˙2/c2)−1/2. Eliminating velocity givesIts Hamilton equations are r˙=c2p/H and p˙=0. In the limit ∣p∣≪mc, the Taylor expansion is H=mc2+p2/(2m)+O(p4/(m3c2)), and r˙≃p/m. The additive rest energy does not change the classical free-particle equations.
H=γmc2=m2c4+c2p2.
Minimal electromagnetic coupling changes the canonical momentum to p=γmr˙+qA. The mechanical momentum is π=p−qA. The Legendre transform yieldsThe cancellation of qr˙⋅A in the Legendre transform does not remove magnetic effects: A remains in the relation between canonical and mechanical momenta. The expression is the relativistic kinetic-plus-rest energy with an electrostatic potential-energy term, expressed in canonical variables.
H(r,p,t)=m2c4+c2[p−qA(r,t)]2+qϕ(r,t).
Let E=m2c4+c2π2. Hamilton's equations giveSubtracting qdAi/dt from the second equation gives the familiar Lorentz force, π˙=q(E+r˙×B), with E=−∇ϕ−∂tA and B=∇×A. This also checks the signs of both potential terms.
r˙i=Ec2πi,p˙i=qj∑r˙j∂iAj−q∂iϕ.
The canonical Poisson bracket isThe coordinate derivatives are Kronecker deltas, so direct substitution gives
{f,g}=∑k(∂qk∂f∂pk∂g−∂pk∂f∂qk∂g).
{qi,qj}=0,{pi,pj}=0,{qi,pj}=δij.
For a phase-space function with no explicit time dependence, the chain rule and Hamilton's equations giveAn explicitly time-dependent function would instead satisfy df/dt=∂tf+{f,H}.
dtdf=∑i(∂qifq˙i+∂pifp˙i)=∑i(∂qif∂piH−∂pif∂qiH)={f,H}.
The Jacobi identity is {f,{g,h}}+{g,{h,f}}+{h,{f,g}}=0. If f,g have no explicit time dependence and are conserved, {f,H}={g,H}=0. Taking h=H in that identity yields {H,{f,g}}=0, orThus the Poisson bracket of the two conserved functions is another conserved function; it need not be independent of the original ones.
dtd{f,g}={{f,g},H}=0.
Articles were limited to the first 100 out of 283 total.
Ancestors (8)
- Past exam of the short options paper shared by Prelims and Parts A and B of the physics course of the University of Oxford
- Short options paper shared by Prelims and Parts A and B of the physics course of the University of Oxford
- Physics course of the University of Oxford
- Undergraduate course of the University of Oxford
- Course of the University of Oxford
- University of Oxford
- List of universities
- Home
Discussion (0)
New discussionThere are no discussions about this article yet.
Articles by others on the same topic (0)
There are currently no matching articles.



