Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge 2006 Paper 1 11 c Solution Created 2026-10-18 Updated 2026-10-20
At , the Fourier series equals . Isolating the first term givesChanging the sign of the remaining denominators provesThe absolute convergence justifies the evaluation and rearrangement.
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 2 17 a Solution Created 2026-10-18 Updated 2026-10-20
Every harmonic in this Fourier series has period . Since the first-harmonic coefficient is nonzero, the fundamental period cannot be smaller: translating by a period must multiply that nonzero complex coefficient by . Thus, taking ,
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.
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.
Differentiate the Fourier series term by term and collect cosine and sine terms. Substitution into the equation givesFor a smooth periodic solution, differentiation of the series is justified. Alternatively, multiply the differential equation by each trigonometric mode and integrate by parts; periodicity cancels the boundary terms and gives the same coefficient constraints without first differentiating an infinite sum.
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.
With the standard real normalization, the Fourier series of a period- function iswhereFor the partial sum , Fourier orthogonality eliminates all cross terms. The constant term contributes , while every squared sine or cosine integrates to , givingFor a square-integrable function, completeness of the trigonometric orthogonal basis in the Hilbert space makes in norm. Passing to the limit proves Parseval's identity:Square integrability is the needed hypothesis here; periodicity alone is not an integrability or convergence condition.
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 periodic continuation is on each interval . Thus the plot repeats an increasing exponential segment on each of the three requested periods, jumping down from to at odd multiples of .
At , the left and right limits are and . The Dirichlet-Jordan convergence theorem therefore makes the Fourier series converge toThe actual half-open periodic definition has ; the Fourier value at the jump need not equal that assigned endpoint value.
The sine and cosine functions are orthogonal over a complete period. For positive integers ,while every mixed sine-cosine integral and every integral of a nonconstant single harmonic is zero. These identities follow from the product-to-sum formulas and the integer-period endpoint values.
Multiply the Fourier series by and integrate. All terms except vanish, giving . Repeating with sine isolates . ThusIntegrating without a harmonic also gives . The factor on the constant term in the chosen convention is essential.
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.
Write the translated Fourier series in the convention . Comparing with (i) givesThe minus sign in the cosine coefficient records translation in the positive direction.
Use the periodic extension of when the translated argument falls outside the original interval. With , the sine subtraction identity givesThis translation of a Fourier series generally introduces cosine terms: a translated odd function need not be odd about the original origin. Equality is understood wherever the original Fourier series represents its periodic extension, with midpoint values at jumps.
Not as ordinary convergent Fourier series, for a nontrivial moving ramp. Formal spatial differentiation would giveand formal time differentiation multiplies that expression by . The summands have nondecaying amplitude and do not tend to zero, so the ordinary series cannot converge. The periodic extension has jumps, violating the regularity needed for Termwise differentiation of a Fourier series.
Away from the moving jumps, the classical derivatives exist and are and . A distributional derivative also includes the Dirac delta distribution contributions at the jumps, so distributional differentiation is possible, but it is a different interpretation. If , the time derivative is trivially zero; if , both derivatives are zero.
Constant translation speed gives , since the initial displacement is zero. Substituting into the Fourier series givesThe periodic ramp moves in the positive direction for . At the moving jumps, this series gives the average of the two one-sided values.
Use the double-angle identity . The Fourier series is already a finite trigonometric sum:In the usual Fourier sine series convention, , all other vanish, and all cosine coefficients and the constant coefficient vanish.
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.

