Assume is continuously differentiable on the interval concerned. For fixed , take and , so . Integration by parts, interpreted first with an endpoint cutoff and then by a limit, givesThe upper endpoint term vanishes, and the lower endpoint supplies the explicit square-root term.
Write . The probability density function normalizes when , so . Its survival function is for ; hence, for ,Differentiating this conditional tail givesThe value assigned at the single endpoint does not affect any probability. The memorylessness of the exponential distribution says that , conditional on , is again an exponential distribution of rate . Its first two moments are and , found by integration by parts, so translation leaves the variance unchanged:
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.
Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge 2008 Paper 1 3 ii Solution Created 2026-10-18 Updated 2026-10-20
Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge 2008 Paper 2 17 c Solution Created 2026-10-18 Updated 2026-10-20
The periodic ramp is an odd function, so . Integration by parts givesThus the Fourier series of a periodic sawtooth isThe periodic function is smooth at , so the Dirichlet-Jordan convergence theorem permits evaluation there. Even-index terms vanish and odd-index sines alternate in sign, giving
For , integration by parts gives the Gamma function recurrence:The endpoint terms vanish because at zero and the exponential dominates the power at infinity. Also . Iterating for nonnegative integers therefore yieldsNegative integers are outside this integral definition and factorial conclusion.
Use the real Fourier series convention for period two. Since is an even function, , and . Twice applying integration by parts, with , givesHenceThe periodic extension is continuous at its endpoints, so the series takes the specified endpoint values as well as the interior values.
Take and substitute . The density becomes the standard Gaussian distribution density . Its normalization follows from the supplied Gaussian integral after scaling by . Since is an integrable odd function, its integral is zero, and therefore .
For the second moment, . Integration by parts givesThe endpoint term vanishes by Gaussian decay. Consequently
For , use integration by parts with and . ThenDifferentiating the answer checks cancellation of the extra constant term from .
The integrand is an even function, since both and are odd functions. Using integration by parts,The endpoint cosine terms vanish, leaving the sine contribution.
Normalize the probability density function on its nonnegative support:The integral follows from one integration by parts, with the boundary term zero since . Hence . This is a gamma distribution of shape and rate .
Use integration by parts twice. First,The bracket containing vanishes, while the last definite integral is . Therefore
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 .
The Leibniz integral rule accounts for both the moving upper endpoint and the integrand's dependence on :For the specified integrand this gives . When , integration by parts givessoFor the requested independent check, direct integration gives at . Its derivative is , agreeing with the result above. At zero the apparent singularity is removable: , so .
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.
The indicated integration by substitution givesPointwise, the argument of tends to . Since the Gaussian integral is , the expected limit is . To justify it for unbounded data, use the approximate identity property rather than assuming a uniform bound on .
In the original variable, normalization givesFor , continuity makes the difference smaller than any prescribed if is small enough, and the kernel mass is at most one. On the complement the Gaussian mass tends to zero; the data-weighted tail tends to zero by heat-kernel convergence for Gaussian-integrable initial data. This provesFor heat-kernel convergence from a conditionally convergent Gaussian integral, the same tail conclusion follows using the bounded primitive of . The factor has its maximum at , approaching . For sufficiently small , it is monotone on each of the two tails outside , and its values at the tail endpoints tend to zero exponentially. Integration by parts bounds each tail by a constant times its endpoint value, proving the same limit without an absolute-convergence assumption. The approach is from positive time.
Over one period, the graph rises linearly from the limiting point to , then drops to zero and stays there up to . Repeat this pattern every . The given open endpoints do not fix values at the jumps, but changing individual point values does not change any Fourier coefficient.
Only the negative half-interval contributes. The constant coefficient isFor , integration by parts givesandConsequently the requested Fourier series isIt equals the given function on each open continuity interval. By the Dirichlet-Jordan convergence theorem, at it takes the jump midpoint , while at it takes zero because the periodic one-sided limits agree there.
Retain the original PDF's full-line integration limits. For , write . Integration by parts givesGaussian decay dominates every power, so the endpoint term vanishes, soThis is the full-line Gaussian moment recurrence; its initial values differ from the half-line version.
