Past exam of the mathematics course of the University of Cambridge 2013 iii Paper 66 3 Solution Created 2026-10-03 Updated 2026-10-07
Assume . The density-dependent diffusion coefficient makes this a cubic porous medium equation, since its two-dimensional form is . The mass-preserving similarity solution is a radial cubic-diffusion source profile. At fixed , the proposed scaled density givesSeparation is possible whenwhere is a constant. The resulting ordinary differential equation isRecognize the second term as . Regularity and zero radial flux at the origin set the integration constant to zero:In the region , this reduces to , giving from the central normalization. For a nonnegative profile whose front is precisely at , the first zero fixes . Continuity of the density excludes truncating a positive value at the front. HenceHere integrating the scale equation gives , and the point-source initial condition requires .
Use the planar area element, not the one-dimensional area under the drawn profile. Mass conservation givesThus the scale and the complete density arewhere . The factors of are necessary on dimensional grounds; the length scale is not a function of alone.
The front and peak obeyEach radial profile starts with horizontal tangent at the origin, decreases to a square-root edge, and is identically zero beyond . Later profiles are wider and lower. This is finite propagation in porous-medium diffusion, because the diffusion coefficient vanishes at zero density. The sketch uses dimensionless time ; it preserves the radial integral , not the unweighted area under each curve.
At the front diverges, so the profile is a weak solution, not a globally smooth classical solution. Nevertheless tends to zero there. The density and flux both match their zero exterior values, so extending the interior solution by zero creates no spurious boundary source in the conservation law. The behavior at the origin is regular because .
Finally, the point release is recovered as a distributional initial condition. For any continuous compactly supported test function on the plane, the total density remains and all its support lies in the shrinking disk . ThereforeThus as , in the sense of the Dirac delta function.
