Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge 2002 Paper 1 2 Solution Created 2026-10-18 Updated 2026-10-20
The periodically extended is even, so every sine coefficient is zero. With the convention , the Fourier coefficients areFor the second integral, two applications of integration by parts give . ConsequentlyThe periodic extension is continuous even at the joined endpoints, where both one-sided values equal . The pointwise convergence of a piecewise smooth Fourier series therefore gives the displayed values throughout the interval; the coefficient bound also gives uniform convergence by the Weierstrass M-test. Setting and then yields
Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge 2003 Paper 2 2 Solution Created 2026-10-18 Updated 2026-10-20
For an odd integrable function, both and are odd. Their integrals over therefore vanish, so the constant and cosine Fourier coefficients are zero. For , the remaining Fourier sine coefficients areThe product-to-sum identity in the first step reduces the integral to two cosines. Here is real and noninteger, so no denominator vanishes. Consequently the Fourier series of a noninteger-frequency sine isAt every term is zero. The Fourier series converges there to the average of the two limits of the periodic extension, namely zero, rather than to the nonzero endpoint values .
Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge 2006 Paper 1 11 b Solution Created 2026-10-18 Updated 2026-10-20
Because the function is even, all sine Fourier coefficients vanish. Its average is zero, so . The Fourier cosine coefficients of a sine mode follow from the product-to-sum identity:For , the integral is directly zero rather than an undefined substitution into a denominator. ThusThe Fourier series equals the continuous function at every point, including the corners. Its coefficients decay quadratically, so the series is also absolutely convergent.
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.
Use the real Fourier series convention . The function is an even function, so . For noninteger real ,For , the product-to-sum identity givesThus the Fourier series of a noninteger-frequency cosine isIts Fourier coefficients are , giving absolute convergence and uniform convergence. The periodic function is continuous at its joins because the two endpoint cosine values coincide, so the Dirichlet-Jordan convergence theorem gives this value at every point.
In the real Fourier series convention for period ,where the Fourier coefficients areThese formulas apply to integrable periodic functions. Writing equality at each point requires appropriate convergence hypotheses; the periodic solution sought below is smooth, so its series causes no such difficulty.
Fourier orthogonality isolates a coefficient. Multiplication by and integration over annihilates the constant, all cosine terms and all sine terms except the one with , whose squared integral is . Thus the corresponding coefficients on the two sides must agree for each positive integer .
Multiplication by works in the same way, while integration against the constant mode extracts . This is the uniqueness of the Fourier coefficients; it does not follow from comparing a few point values of the series.
For period , use the Fourier series conventionThe Fourier coefficients have prefactor on . First, . For the useful antiderivatives areAt the endpoints and , soConsequently, on ,The Dirichlet-Jordan convergence theorem justifies equality at every point of continuity of the periodic extension. At odd integers the extension has a jump discontinuity between and , so the series converges to their average , regardless of any assigned endpoint value. This is the case of the Fourier series of a periodically extended exponential.
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.
With the usual real normalization, the Fourier series iswith Fourier coefficientsThese formulas follow from Fourier orthogonality. Integrability is needed to define the coefficients, and periodicity alone does not guarantee pointwise equality with the series. For a piecewise smooth periodic function, the Dirichlet-Jordan convergence theorem gives the average of the one-sided limits at a jump and the function value at a continuity point.
The required property is odd symmetry, , up to irrelevant changes on a set of measure zero when discussing Fourier coefficients. An odd function has zero mean, and its products with cosine are odd, so every cosine coefficient vanishes. Its sine coefficients may remain nonzero.
For pointwise representation, the Fourier series takes the average of the one-sided limits at a jump. In particular a pure Fourier sine series has value zero at the origin and at the endpoints; arbitrary assigned values there need not equal the series sum.
If with integer , then . All sine phase factors vanish and all cosine phase factors equal one. Thereforefor the periodic extension, and every Fourier coefficient is unchanged.
Apart from its endpoint convention, the ramp is odd, so its constant and cosine Fourier coefficients vanish. For the sine coefficient, evenness of the integrand and integration by parts giveHenceThis is the Fourier series of a periodic sawtooth. At the periodic jump, the series sums to zero rather than the assigned endpoint value ; changing a value at one endpoint does not change the coefficients.
For a real -periodic square-integrable function, use the Fourier series conventionwith Fourier coefficientsThe trigonometric orthogonality relations are for positive , with the same formula for sines; sine-cosine products integrate to zero. The constant has squared integral and is orthogonal to every positive harmonic. Thus the squared norm of the th partial sum isTaking the limit in the L2 space gives the Fourier-series Parseval identity:Square integrability is the natural hypothesis for this finite norm identity; additional smoothness can be used when pointwise convergence is required.
With the real Fourier series convention,where the Fourier coefficients areFor a square-integrable periodic function, Parseval's identity isThe Fourier coefficients require integrability, and the stated Parseval identity requires square integrability. The expansion agrees with in the L2 space sense; for piecewise smooth data it converges pointwise to the average of the two one-sided limits. Without such qualifications an arbitrary periodic function need not have a pointwise-convergent Fourier series.
For fixed , converges absolutely and uniformly. Thus for integrable , one may integrate the kernel series term by term. The cosine addition formula givesSubstitute this into the defining integral. The constant kernel term gives ; the remaining terms givewhereThese are the same Fourier coefficients as in part (a). The kernel is the Poisson kernel for the unit disk; the factors suppress the higher angular frequencies inside the disk.
The boundary data are odd except at isolated endpoint choices, which do not change integrals. Thus every cosine Fourier coefficient, including , vanishes. For the sine Fourier coefficients,Consequently the extension isIt converges absolutely for every ; its limiting boundary values at jumps are the midpoint of the two one-sided limits.
Assume , so the squared-error integral is finite. WriteAt a minimum, differentiating with respect to each coefficient givesBy Fourier orthogonality, the constant has squared norm , each nonconstant cosine has squared norm , and all distinct modes are orthogonal. ThusThese are exactly the Fourier coefficients of the Fourier cosine series of the even function. To check that the stationary choice is a unique global minimum, perturb the coefficients by . The residual is orthogonal to every fitted mode, so the cross terms vanish andwith equality only when every perturbation is zero. The truncated series is the orthogonal projection onto a finite-dimensional subspace spanned by the constant and the first cosine modes.
The standard Fourier series iswith Fourier coefficientsThese follow by taking inner products with the individual basis vectors and using their orthogonality and squared norms.
Separate the already finite sine terms from the even part . Since is an even function, it has no sine coefficients. Its constant coefficient isFor , integration by parts givesTherefore the cosine Fourier coefficients areOnly even frequencies survive: . The sine Fourier coefficients are , , with all others zero. HenceThe periodic function is continuous at zero and at its endpoint joins, and its coefficients are absolutely summable. Thus this Fourier series represents it everywhere, including those joins.

