Past exam of the mathematics course of the University of Cambridge 2009 ii Paper 4 4H iii Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2009 ii Paper 4 4H ii Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2009 ii Paper 4 4H i Created 2026-09-24 Updated 2026-10-14
Past exam of the mathematics course of the University of Cambridge 2009 ii Paper 4 3F Solution Created 2026-09-24 Updated 2026-10-14
Let be the middle-third Cantor set and choose a positive integer with ; this is possible for every real , including negative . Set . It is closed and bounded since each factor is compact. If a subset of is connected, each coordinate projection is a connected subset of and hence a singleton; therefore the subset itself is a singleton. Thus is totally disconnected.
For completeness, the dimension of these Cartesian powers of the Cantor set can be checked directly. At stage there are cubes of side , giving vanishing -dimensional cover cost whenever . Conversely put independent equiprobable zero-or-two ternary digits on every coordinate. Each stage- cube has probability . If , a Euclidean ball of radius meets at most a constant depending on such cubes. Hence its probability is at most . For any sufficiently fine cover, summing this bound over covering sets shows that its cost at exponent is bounded below by a positive constant, since total probability is one. These upper and lower Hausdorff measure bounds proveThe construction does not claim arbitrarily large Hausdorff dimension in one fixed ambient Euclidean dimension.
Past exam of the mathematics course of the University of Cambridge 2009 ii Paper 4 39B b Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2009 ii Paper 4 39B a Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2009 ii Paper 4 38A Solution Created 2026-09-24 Updated 2026-10-14
In the shock rest frame the upstream and downstream speed magnitudes are and . Denote the downstream density by , and write for specific volume. The Rankine-Hugoniot conditions for a perfect gas express conservation of mass, momentum and total energy:These follow by balancing the respective fluxes across a stationary infinitesimal control volume around the shock wave. The mass relation also gives , and momentum gives .
Eliminate the kinetic-energy difference in the energy condition using momentum:Substitute the given perfect-gas internal energy and collect the coefficients of :HenceFinally givesFor the advancing piston choose the compressive branch , ; the algebraic squared relation alone does not specify that branch.
Past exam of the mathematics course of the University of Cambridge 2009 ii Paper 4 37E Solution Created 2026-09-24 Updated 2026-10-14
Write the common density as and take positive bending stiffness . With , use decaying velocity potentialsadded to the upper base potential and the lower zero base potential. They solve the Laplace equation, as required by incompressibility and irrotational flow. The two linear kinematic boundary conditions on the membrane areThe linearized Bernoulli equation gives perturbation pressures and . Substituting the kinematic conditions and imposing the stipulated pressure difference givesCompleting the square yields the bending-membrane Kelvin-Helmholtz dispersion relationThe imaginary shift convects the disturbance at mean fluid speed . For there is a growing root exactly whenAt the uniform displacement is neutral; at the square-root growth vanishes. Above this cutoff both roots are imaginary. To maximize the growth, maximize its square over the unstable interval. Its derivative is , so its unique positive maximum isFor there is no Kelvin-Helmholtz instability. Positivity of is the physical stiffness assumption behind the finite cutoff: gives no upper unstable cutoff, and destabilizes arbitrarily short waves.
Past exam of the mathematics course of the University of Cambridge 2009 ii Paper 4 36D Solution Created 2026-09-24 Updated 2026-10-14
Set and use proper time along a timelike geodesic. In the equatorial plane, the radial Christoffel symbols needed for a circular orbit areThe radial geodesic equation with gives . Outside the horizon this implies
For stability use the conserved energy and angular momentum . The normalization of the timelike tangent in the Schwarzschild metric gives , with the effective potential for timelike Schwarzschild geodesicsAt a circular orbit , so , requiring . Differentiate holding this conserved fixed and then substitute the circular value:The linear radial perturbation equation is . Thus circular timelike orbits are stable for , unstable for , with the marginal case at .
For the orbiting astronaut at radius , use to obtainThe static Earth twin has . During equal coordinate-time intervals of the long circular-orbit phase, the astronaut ages less precisely whenThe outward and return transfers have finite additional proper times; the stated long-orbit comparison is the limit in which the circular phase dominates them. At equality the circular phase contributes no age difference, so transfer details can decide the finite-trip result.
Past exam of the mathematics course of the University of Cambridge 2009 ii Paper 4 35C Solution Created 2026-09-24 Updated 2026-10-14
Use SI units and normalize the condensate wavefunction so . With mechanical momentum operator , the charge current density isFor uniform and , this becomes .
Under the gauge transformation , the wavefunction transforms as , so . The two added gradients cancel in , while stays fixed. Thus the superconducting current is gauge invariant. The same cancellation in the full displayed current proves it without requiring a constant amplitude.
For uniform carrier density in a region with smooth single-valued phase, taking a curl gives the London equation . In the time-independent setting Ampère's circuital law gives , and Gauss's law for magnetism gives . Thereforeso the Helmholtz equation and London penetration depth areThe equation has the modified, exponentially decaying Helmholtz sign. For a planar surface at with material in , the bounded solution is ; the exponentially growing solution is excluded in the bulk. Hence a macroscopic region far from the surface has negligible field: magnetic flux is expelled from the bulk, the Meissner effect. The literal assertion of zero flux everywhere is the bulk limit: finite penetration remains within distance of a surface. Vortices or flux trapped through a hole require different phase or topology assumptions and are not ruled out by this smooth-phase derivation.
Past exam of the mathematics course of the University of Cambridge 2009 ii Paper 4 34D iv Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2009 ii Paper 4 34D iii Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2009 ii Paper 4 34D ii Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2009 ii Paper 4 34D i Created 2026-09-24 Updated 2026-10-14
Past exam of the mathematics course of the University of Cambridge 2009 ii Paper 4 33D Solution Created 2026-09-24 Updated 2026-10-14
For potential period , a Bloch state has the form , with , or equivalently . Quasimomentum is defined modulo the reciprocal-lattice vector . A Brillouin zone is one fundamental interval for that identification, usually . Here , so it is .
For small , the first free-particle degeneracy occurs at the zone edge , between plane waves and of energy . In this two-dimensional subspace, the diagonal matrix elements of the potential vanish. Its Fourier coefficient at wave number one is ; the term cannot connect these two waves at first order. Thus degenerate perturbation theory gives the matrixwith energies . Near the edge the two uncoupled energies have opposite slopes, and diagonalization gives the avoided crossing, so the lowest band gap is
For large , expand about each deepest minimum :The local quantum harmonic oscillator has levels . Its localization width is , so the quartic term changes these low levels by . Tunnelling between successive deep wells gives exponentially narrow energy bands. The secondary minima at have potential zero, and their levels lie far above the first two deep-well levels, whose energies are . Therefore the gap between the first and second bands is the first oscillator spacing to leading order:The anharmonic shifts and exponentially small bandwidths do not change this leading estimate.
Past exam of the mathematics course of the University of Cambridge 2009 ii Paper 4 32C Solution Created 2026-09-24 Updated 2026-10-14
Let . Differentiating both exponentials and using that commutes with givesApplying the same calculation repeatedly gives . Its Taylor series at zero, evaluated at one, proves the commutator expansion for exponential conjugationFor bounded operators the series converges in operator norm by the bound . The quantum computations below hold on a common invariant domain, such as Schwartz functions, with the commutator series either terminating or closing on a finite-dimensional span.
Use the canonical commutation relations and the Heisenberg picture . For the first Hamiltonian,All further relevant commutators vanish, soThe explicit energy check isThe scalar shifts commute with all operators, so there is no ordering ambiguity.
For the two-dimensional system put and . Direct commutation gives , . Thus the Heisenberg equations of motion are , , whose solution, equivalently the resummed commutator series, isExpanding both squares cancels their cross terms and gives .
In the interaction picture generated by , and . The terminating expansion therefore gives . Also , either by the momentum-square calculation or by direct commutation. Conjugating by rotates position and momentum by the same matrix, since and . Hence
Past exam of the mathematics course of the University of Cambridge 2009 ii Paper 4 31A Solution Created 2026-09-24 Updated 2026-10-14
The lowest Liouville–Green approximation comes from , for which . First take ; the next transport term is . Integrating givesMultiplicative constants and the lower limit are arbitrary. The negative sign selects the recessive approximation in the usual WKB approximation regime, where the exponent dominates the amplitude and the derivative corrections are small. Positivity of by itself does not prove that tends to zero or that the approximation is valid: for example makes this expression grow like with a bounded integral in its exponent. For , all the required large- conditions hold and .
Put . Direct differentiation givesSubstituting into the Airy ordinary differential equation and dividing by gives . Multiplication by provesThe recessive branch has a constant leading amplitude . To find its first correction write . Balancing against the constant term forces , so . The constant coefficients then give . The remaining terms are of order and are cancelled by a next term of order . ThusThe multiplicative constant depends on the chosen normalization of the Airy function and of . The calculation selects the recessive solution; a growing Airy solution would not have this constant-amplitude expansion.
Past exam of the mathematics course of the University of Cambridge 2009 ii Paper 4 30B Solution Created 2026-09-24 Updated 2026-10-14
Write the Fourier coefficients of the two boundary functions as . The Laplace equation in polar coordinates is . A separated mode satisfies . The ansatz gives , so the solutions are for and for .
Set and . Solving the two boundary equations for every mode yieldsFor real boundary data, the conjugate coefficients ensure this is real. On any compact subannulus , the multipliers and all their differentiated versions are bounded by a polynomial in times . The boundary coefficients are square summable by Parseval identity, so Cauchy-Schwarz inequality proves locally uniform convergence of the series and of all its derivatives. Thus it is smooth and satisfies the Laplace equation term by term.
Because the data are only , the Dirichlet boundary condition is interpreted in on circles. As , the first multiplier tends to one and the second to zero; both lie between zero and one. Dominated convergence of the square-summable Fourier coefficients gives in , and similarly as . Finally, any harmonic solution with these traces has Fourier coefficients satisfying the radial equation above with the same two endpoint values. Uniqueness of those scalar boundary-value problems makes every coefficient equal to the displayed one. Hence this is the unique harmonic solution with the prescribed traces; pointwise values at every boundary angle are not required by the given data.
Past exam of the mathematics course of the University of Cambridge 2009 ii Paper 4 2F Solution Created 2026-09-24 Updated 2026-10-14
The Liouville approximation theorem says that if is an irrational algebraic number of degree , there is such that for all integers and . To see the source of the bound, a degree- integer minimal polynomial gives a nonzero integer. On a fixed neighbourhood of , the mean value theorem bounds by a constant times ; outside that neighbourhood a smaller uniform constant suffices.
Let denote the factorial-denominator sum and let be its partial sum through , with for . This is an integer numerator even though makes the first two terms equal. Positivity and the rapid increase of factorial exponents implyFor example the first omitted term is and every succeeding factorial exponent increases by at least one, giving a geometric tail bound less than times that first term.
First is irrational: if , the positive difference from a partial sum is at least , contradicting this bound for sufficiently large . If it were algebraic of any fixed degree , Liouville approximation theorem would require , again impossible for large . Hence
Past exam of the mathematics course of the University of Cambridge 2009 ii Paper 4 29J Solution Created 2026-09-24 Updated 2026-10-14
The terminal wealth of portfolio is the scalar normal distribution , with mean and variance . Its Gaussian exponential moment givesSince is strictly increasing in , strict preference is exactly . The nonsingular covariance matrix is positive definite. Completing the square givesso the unique optimum is .
Paying the deterministic transaction cost reduces the certainty equivalent of the new portfolio by . Put . Its gain over the current portfolio is exactlyIf every , then , so every nonzero trade has strictly negative gain, by positive definiteness. Conversely, if , choose . Its gain isfor . Therefore
There are unlisted articles, also show them or only show them.