Substitution first makes the square-root branch transparent:On the given interval this is exactly , so direct differentiation givesin agreement with the chain-rule calculation. Outside this interval one must retain the absolute value; there are cusps at integer multiples of .
Differentiate the polar form of a complex number using the product rule and chain rule:A second differentiation givesThe two contributions to arise separately from differentiating and from differentiating the moving exponential factor.
Write . The cross product gives , whose three diagonal partial derivatives vanish. For the second vector field, direct differentiation gives , , and . Thus
Separate variables near the nonzero initial condition: . Integration gives , and fixes . ThereforeThis is the maximal connected interval containing the initial point. Direct differentiation gives ; the pole at prevents continuation as a finite classical solution of a differential equation through that point.
The positive-domain graph starts with limiting value and limiting slope , then decreases towards the horizontal asymptote , with for large . In fact direct differentiation givesThe first inequality follows from for . Thus the graph is strictly decreasing and convex upward, with and no stationary points. The integral representation also shows its positivity.
These properties belong to the reusable exponential spherical mass factor.
Put and . Logarithmic differentiation of the positive Gaussian function givesDifferentiating once more in space givesMultiplying by provesThe assumption ensures both the normalization and exponential denominator are defined. This is the heat kernel, with diffusion coefficient and centre .
On the negative half-line, differentiation gives . The integration path from to stays away from the singularity at zero. ThereforeThis choice satisfies .
Let . The chain rule gives , so the two given summands combine into its logarithmic derivative, . For , , so the real logarithm is defined throughout the integration path. Since ,This satisfies , and differentiation recovers both terms of the integrand.
The scaling relation says that is a homogeneous function of degree . Fix and differentiate the identity with respect to the positive parameter . The chain rule givesSetting proves the Euler theorem for homogeneous functions identityDifferentiate once more with respect to , using equality of the mixed partial derivatives for the assumed twice continuously differentiable function:At this is the second-order Euler identity for homogeneous functions:The repeated parameter differentiation accounts for the factor , rather than .
Write . Direct differentiation, using the chain rule, givesThe stated parameter restrictions ensure that the logarithm is defined near , and that and . With , the Taylor series beginsIf , the constant term is nonzero, and the first two nonzero terms areThis covers both and ; the constant term is respectively positive or negative.
If , which is possible precisely with and , the constant term vanishes. The first two nonzero terms are thenNo further case is needed, since the linear and quadratic coefficients cannot vanish under the given restrictions. All remainders use Big O notation.
For the given differential form, set and . Their partial derivatives satisfyIn fact an explicit potential issince and . Thus the differential form is an exact differential form on all of .
Replacing by suggests the potentialDirect differentiation verifies that is exactly the left-hand side of the required ordinary differential equation. This direct verification remains valid even for negative ; it does not require a real square root . ThereforeThe initial condition gives . Solving this quadratic equation in and selecting the branch that has givesThe second expression also defines the removable value . The maximal open interval containing on which this is a differentiable real solution isAt either endpoint the square root vanishes and , while , so the original ordinary differential equation cannot hold there with a finite derivative.
A rational lower bound for the natural logarithm proves positivity for every , including . DefineThen , while direct differentiation givesThus for . Setting in the expression from part (b) givesTherefore , and is a strictly increasing sequence.
An antiderivative of the initial velocity is . Thus D'Alembert's formula givesThis is a positive Gaussian function moving right and a negative Gaussian function moving left. Their cancellation at gives the zero initial displacement, while direct differentiation gives .
For every , the profile is an odd function of , vanishes at , is positive for and negative for , and tends to zero at both spatial infinities. The signs follow from . The positive and negative lobes move farther apart as increases; for large separation they approach the individual unit-height Gaussian functions centred at . At finite separation the actual extrema lie slightly beyond these centres: writing , the positive global maximum occurs at the unique satisfying .
Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge 2007 Paper 1 8 Solution Created 2026-10-18 Updated 2026-10-20
Choose the left homogeneous solution and the right one . Their Wronskian is . The Dirichlet modified Helmholtz Green function on an interval, with operator sign , is thereforeIt vanishes at both endpoints, is continuous at , and its first derivative jumps by , giving . The Green-function representation then givesThe two integrals are and , respectively. Substituting them and simplifying givesDirect differentiation verifies and both zero boundary values. The negative kernel also explains why the solution is negative inside the interval despite the positive right-hand side.
In monic form the Chebyshev differential equation has and . Both are analytic near zero, so it is an ordinary point. At , and are analytic; at , and are analytic. Thus both endpoints are regular singular points.
Insert and equate coefficients. The recurrence relation isExplicitly the factors are for and for . The lowest equation for forces . For , one may choose to select an even solution, independent of the odd solution. The leading coefficient is free in either chosen parity branch.
For a nonterminating branch the consecutive parity-term ratio tends to . Hence the ratio test gives convergence for , and radius of convergence one. Terminating branches are polynomials with infinite radius. For an integer, choose of the same parity as : the recurrence stops once , producing a degree- Chebyshev polynomial. Normalization at gives all nonzero coefficients through degree three:
Set . Direct differentiation gives , so the equation becomes . For , . A polynomial has finite derivative at , and therefore , forcing . Also , so . For , the transformed solution is affine in and the same derivative condition removes its linear term. ThusThe endpoint values follow by continuity. The finite-derivative condition is what excludes the independent nonpolynomial branch, rather than normalization alone.
The substitution separates the uniform equilibrium from the decaying perturbation. Direct differentiation givesConsequently the reaction-diffusion equation reduces to the heat equation . Its data become
When the three constants coincide, the Dirichlet boundary conditions for are homogeneous. Separation of variables gives and , selecting the normal modes for . ThusTwo integrations by parts give , while the constant term uses . Therefore the Fourier sine series isFor , its first coefficient is nonzero. Multiplying by and retaining the slowest-decaying mode givesThe remainder estimate holds uniformly in for sufficiently large positive time. If , the fundamental vanishes and the next possible mode has decay rate , explaining the exclusion.
There is an initial endpoint compatibility issue unless : the given polynomial profile vanishes at the endpoints, whereas the boundary values equal . The series realizes the initial data in L2 space and pointwise in the open interval, imposing the prescribed boundary values for . For nonzero it cannot also be continuous at both initial endpoint corners.
The homogeneous equation is a Cauchy-Euler equation. Trying gives the repeated indicial rootHence, for ,Both independent solutions diverge at the origin, so no nonzero homogeneous combination satisfies the zero-origin conditions by continuous extension.
For a source point , finiteness on forces the Green function to vanish on that side. On , continuity and the unit first-derivative jump requireUsing the homogeneous solutions gives the causal Green function for a repeated-root Euler operatorIndeed, the Wronskian of and is , and direct differentiation gives . Since is continuous, its second derivative produces precisely a unit Dirac delta, with no derivative of a delta. For each positive source it is identically zero near the origin, so both required origin values vanish. The differential operator itself is interpreted on ; no value of its singular coefficients at zero is needed.
Integrating against the forcing yieldsThe last integral equals , by integration by parts or differentiating . ConsequentlySubstitution gives , while . The divergent homogeneous solutions prove uniqueness in the regular class. No boundary condition at infinity was imposed or required.
Direct differentiation givesOn the unit disk , polar coordinates give , and . Consequently the volume integral isFor an independent surface integral calculation, the relevant cross product isThe bottom face contributes and the top contributes . On the cylindrical side, put , , and . The flux density is . All terms except integrate to zero because they are odd functions of or , givingThus minus the total outward flux is , in agreement with the volume integral.
The source factor cancels the singular denominator of the Green function. Splitting the integral at givesUsing , these two integrals are and , respectively. Simplification givesThe exponential and linear terms are homogeneous solutions, while direct differentiation gives for . Also , and the expression is analytic through zero. Uniqueness in this regular class follows because any difference is a global linear combination : the left boundary forces , and the right then forces .


