For positive semiaxes , the cross product of the two parametric tangent vectors gives the outward oriented surface element of an ellipsoid of revolution:Substituting the parametrization into the vector field and taking its dot product with this element givesThe middle term has zero integral over . In the other terms, , , and . The directly evaluated flux is therefore
Use the real Fourier series convention for period two. The Fourier coefficients areThe last two integrals follow by integration by parts. Thus the Fourier series of a half-wave rectified ramp isOn , . Its even part is and its odd part is , so the cosine and sine terms separate:At a jump, the Fourier series converges to the average of the one-sided limits. Thus the first series for takes the value at odd integers, while the Fourier series of a periodic sawtooth for takes the value there. The even function has a continuous periodic extension.
The integrand in the preceding expression is nonnegative. Tonelli's theorem permits squaring as a quadrant integral; then polar coordinates giveThe defining integral is positive, fixing the sign of the square root. ThereforeThis is the positive-quadrant proof of the Gaussian integral.
Choose the upward orientation. The boundary is the circle at , oriented counterclockwise from above. By Stokes theorem, the surface integral is . On this boundary and , soThe first term integrates to zero around a closed curve. By Green's theorem, the second equals the disk integral , by oddness in . ThusHere reversing orientation leaves the zero value unchanged.
Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge 2009 Paper 2 2 i Solution Created 2026-10-18 Updated 2026-10-20
The function is an odd function, since is even and the sine is odd. Its integral on the symmetric interval therefore cancels:
The gradient part contributes zero around a closed path by the fundamental theorem for line integrals:Along the parametrization, , so the first two components of vanish wherever the printed expression is defined. The remaining component gives . ThusThe printed field needs a qualification: is undefined at the isolated parameters where , so cannot literally be evaluated. The result above is the improper line integral, or equivalently the integral of the continuous extension of the restricted field along the curve. That restricted field tends to at each omitted parameter. No extension of the full field to a neighbourhood is being assumed.
Writing , the gradient is . Its divergence, equivalently the Laplacian of , isOn the unit sphere this scalar is the constant . The lower hemisphere has surface area , soThis is a scalar surface integral of the divergence, not the electric- or vector-field flux integral. There is no normal component to insert.
Use the integration by substitution , with . On this interval , so it cancels the positive denominator square root. The transformed integral isIts integrand is even. Therefore the answer in the PDF's modulus-amplitude convention for the elliptic integral of the second kind isThe modulus is , not the squared parameter .
Multiply the two displayed equations by and subtract the one with indices reversed. The product terms combine into the Lagrange identity for a Sturm-Liouville operator:Integrating from zero to infinity givesAll factors are polynomials. The endpoint term at zero vanishes because of the factor , and the one at infinity vanishes because the exponential function dominates every polynomial. Therefore, if ,The integral is absolutely convergent. This is orthogonality in the weighted inner product with weight ; the boundary cancellation is the self-adjoint mechanism behind the Laguerre differential operator on polynomials.
Apply the fundamental theorem of calculus separately to the upper and lower limits. No evaluation of the integral is needed:The first result has no dependence and the second no dependence, so the mixed partial derivative is
Set , so , and write . The integration by substitution gives . For , integration by parts yieldsBoth endpoint terms vanish. Use inside the remaining integral:ConsequentlyThis is the instance of the power-complement integral recurrence, with initial value .
Apply the power-complement integral recurrence three times, starting from :Each factor corresponds to reducing by one; the final unreduced integral is just .
Write the kernel as , with . Its partial derivatives areThus the heat kernel itself satisfies . The proposed convolution consequently givesThis verifies the heat equation. The parameter is positive time; the real integral formula is not defined at negative time.
The passage of derivatives through the integral needs justification. A sufficient condition is the Gaussian-weighted absolute integrability in heat-kernel convergence for Gaussian-integrable initial data; it holds, in particular, for data of polynomial growth. On compact positive-time intervals strictly below an integrable later time, the differentiated kernels have an integrable Gaussian bound, so differentiation under the integral sign applies.
Even if the PDF's assumed convergence is read as ordinary conditional convergence, one can justify the same calculation. Choose a later time and let be a primitive of . Convergence at spatial point zero and time makes bounded on both tails. Put . This function, its spatial and time derivatives, and their -derivatives decay as Gaussians when . Integration by parts rewrites the convolution as , with vanishing endpoint terms. Boundedness of now permits differentiation under this absolutely convergent integral; since , the same equation follows. Thus one need not silently equate conditional and absolute convergence.
Insert the linear initial profile into the transformed integral from (b):The constant part integrates to . The other part is an absolutely integrable odd function, so its integral vanishes. HenceAs a direct check, and . Thus a linear temperature profile is stationary on the whole line. More generally, every affine function is preserved by this heat-kernel solution.
The chain rule identifies an antiderivative directly:The upper limit in the PDF is . By the fundamental theorem of calculus, the required integral is
The probability density function is nonnegative for . Its integral over the support isso it is normalized for every . This is the unit-threshold Pareto distribution.