Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I want to prove that for an integrable function $f(x)$ and periodic with period $T$, for every $a \in \mathbb{R}$, $\int_{0}^{T}f(x)dx=\int_{a}^{a+T}f(x)dx$.

I tried to change the values and define $y=a+x$ so that $dy=dx$ and the limits of the integrals are as we want, but I'm not sure how to use the fact that $f(x)$ is periodic.

Thanks a lot!

share|improve this question
2  
Dear Jozef: The simplest, I think, is to do the computation by using a primitive (or anti-derivative) $F$ of $f$. (At the end you can make $F$ disappear.) Also, compute "LHS minus RHS". –  Pierre-Yves Gaillard Dec 26 '11 at 15:36
1  
Let $N$ be such integer that $N\cdot T \in \langle a,a+T \rangle$. Does dividing the integral as $\int_a^{a+T}=\int_a^{NT}+\int_{NT}^{a+T}$ help? –  Martin Sleziak Dec 26 '11 at 15:37

4 Answers 4

up vote 11 down vote accepted

If $F$ is a primitive of $f$, then

$$\int_{a}^{a+T}f(x)\ dx-\int_{0}^{T}f(x)\ dx$$ $$=F(a+T)-F(a)-F(T)+F(0)$$ $$=\Big(F(a+T)-F(T)\Big)-\Big(F(a)-F(0)\Big)$$ $$=\int_T^{a+T}f(x)\ dx-\int_0^af(x)\ dx$$ $$=0.$$

One checks the last equality by making the obvious change of variable, and by using the periodicity.

EDIT 1. What I wrote above is how I remember the computation. Of course, it can be written like that: $$ \int_{a}^{a+T}f(x)\ dx-\int_{0}^{T}f(x)\ dx=\int_T^{a+T}f(x)\ dx-\int_0^af(x)\ dx=0. $$

EDIT 2. Formal justification of the first equality in the above display: $$ \int_0^af(x)\ dx+\int_{a}^{a+T}f(x)\ dx=\int_{0}^{T}f(x)\ dx+\int_T^{a+T}f(x)\ dx. $$

(This formula should appear somewhere...)

share|improve this answer
    
Thanks a lot @Pierre! very nice!!! –  Jozef Dec 26 '11 at 16:31
    
Dear @Jozef: You're most welcome! –  Pierre-Yves Gaillard Dec 26 '11 at 16:34

$$ \begin{align} \int_a^{a+T}f(x)\,\mathrm{d}x-\int_0^{T}f(x)\,\mathrm{d}x &=\left(\color{red}{\int_a^{T}f(x)\,\mathrm{d}x}+\int_T^{a+T}f(x)\,\mathrm{d}x\right)\\ &-\left(\int_0^{a}f(x)\,\mathrm{d}x+\color{red}{\int_a^{T}f(x)\,\mathrm{d}x}\right)\\ &=\int_T^{a+T}f(x)\,\mathrm{d}x-\int_0^{a}f(x)\,\mathrm{d}x\\ &=\int_0^{a}f(x+T)\,\mathrm{d}x-\int_0^{a}f(x)\,\mathrm{d}x\\ &=\int_0^{a}(f(x+T)-f(x))\,\mathrm{d}x\\ &=\int_0^{a}0\,\mathrm{d}x\\ &=0 \end{align} $$

share|improve this answer

Here's a picture illustrating the basic idea. (Compare the areas marked with the same color.)

periodic function

$NT$ denotes the integer multiple of $T$ which belongs to the interval $\langle a,a+T \rangle$. (In this example $N=2$.)


In case someone wants to see metapost source for the picture, it is figure 5 from here.

share|improve this answer

$\int_a^{a+T}f(t)dt=\int_a^Tf(t)dt+\int_T^{a+T}f(t)dt,$ and in the last integral, making the substitution $x=t-T$, we get for $a\in [0,T)$, since $f$ is $T$-periodic $$\int_a^{a+T}f(t)dt=\int_a^Tf(t)dt+\int_0^{a}f(x+T)dx=\int_a^Tf(t)dt+\int_0^{a}f(x)dx=\int_0^T f(t)dt.$$ For $a\in\mathbb R$, take $n\in\mathbb Z$ such that $a+nT\in [0,T)$. Then $$\int_a^{a+T}f(t)dt=\int_{a+nT}^{a+(n+1)T}f(x-nT)dx=\int_{a+nT}^{a+(n+1)T}f(x)dx=\int_0^Tf(t)dt$$ using the previous case.

share|improve this answer
2  
If I did not miss something, this works for $a\in \langle 0,T \rangle$, but general idea is basically the same. –  Martin Sleziak Dec 26 '11 at 16:05
1  
@MartinSleziak Yes, I have added the details. Thanks. –  Davide Giraudo Dec 26 '11 at 16:11
1  
Thanks a lot! very helpful! –  Jozef Dec 26 '11 at 16:16

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.