At , the Fourier series equals . Isolating the first term gives
Changing the sign of the remaining denominators proves
The absolute convergence justifies the evaluation and rearrangement.
Use the real Fourier series convention for period two. The Fourier coefficients are
The last two integrals follow by integration by parts. Thus the Fourier series of a half-wave rectified ramp is
On , . 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.
At , the formula for gives . At , the formula for has only odd-index terms and gives . Hence
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 , gives
Hence
The 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 gives
Thus the Fourier series of a noninteger-frequency cosine is
Its 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.
Putting gives
Evaluate at , where , and multiply by :
Comparing with the required form gives .
In the real Fourier series convention for period ,
where the Fourier coefficients are
These 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 gives
For 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 convention
The Fourier coefficients have prefactor on . First, . For the useful antiderivatives are
At the endpoints and , so
Consequently, 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 is
where
For the partial sum , Fourier orthogonality eliminates all cross terms. The constant term contributes , while every squared sine or cosine integrates to , giving
For 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 is
For , integration by parts gives
and
Consequently the requested Fourier series is
It 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.
Figure 1.
One period of the ramp-and-zero function, with the Fourier-series value at its jump
. Details.
With the usual real normalization, the Fourier series is
with Fourier coefficients
These 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 to
The actual half-open periodic definition has ; the Fourier value at the jump need not equal that assigned endpoint value.
Figure 1.
Three periods of the exponential continuation and the Fourier-series midpoint at a jump
. Details.
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 . Thus
Integrating 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) gives
The 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 gives
This 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 give
and 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 gives
The 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 convention
with Fourier coefficients
The 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 is
Taking 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.