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.

Let $f$ be an integrable function over $[a,b]$. Prove that: $$\lim_{n \rightarrow \infty } \int _a ^b f(x)|\sin(nx)| dx= \frac {2}{\pi} \int _a^b f(x) dx.$$

share|improve this question
2  
What have you tried? –  Alex Becker Jun 11 '12 at 16:01
1  
[a,b] is a bounded interval. –  Ben Jun 11 '12 at 16:01
    
Tried to use lower integral –  Ben Jun 11 '12 at 16:04
1  
Welcome to math.stackexchange BenLi. It is your first time on this website, so please take some time to read over the FAQ. When asking questions, please tell us what you have tried, you need to put in some effort into a problem and get stuck in a specific area so we can help you there. This time, I'll direct you to this relevant question. –  Ragib Zaman Jun 11 '12 at 16:06

2 Answers 2

up vote 7 down vote accepted

Hint: Prove the theorem for characteristic functions of intervals, then prove the theorem for step functions. Approximate integrable functions with step functions and apply a convergence theorem.

share|improve this answer
    
I get the main idea now.Thank you. –  Ben Jun 11 '12 at 16:27

Based on the hints given by Alex Becker, we can obtain a more general result: If $f$ is integrable on $[a,b]$,which is a bounded closed interval, and $g$ is integrable periodic function with period $\rm T$, then we have the following:

$$\lim\limits_{n\rightarrow \infty} \int_a^b f(x)g(nx)dx={\rm T}^{-1}\int_0^{\rm T} g(t)dt \int_a^bf(x)dx$$

(1): I show that $$\lim\limits_{n\rightarrow \infty} \int_a^b {\rm g}(nx)dx={\rm T}^{-1}(b-a)\int_0^{\rm T}g(t)dt $$

PROOF: For each $n\in \mathbb{N}$, define $b_n=a+\frac{{\rm T}}{n} \left[\frac{n(b-a)}{{\rm T}} \right]$. It is not difficult to see that $0\le b-b_n <\frac{{\rm T}}{n}$.

$$\int_a^{{b_n}} g (nx)dx = \sum\limits_{k = 1}^{\left[ {\frac{{n(b - a)}}{{\rm T}}} \right]} {\int_{a + (k - 1)\frac{{\rm T}}{n}}^{a + k\frac{{\rm T}}{n}} g } (nx)dx$$

$$ = \frac{1}{n}\sum\limits_{k = 1}^{\left[ {\frac{{n(b - a)}}{{\rm T}}} \right]} {\int_{na + (k - 1){\rm T}}^{na + k{\rm T}} g } (y)dy = \frac{1}{n}\sum\limits_{k = 1}^{\left[ {\frac{{n(b - a)}}{{\rm T}}} \right]} {\int_0^{\rm T} g } (y)dy$$

(since the integral of a periodic function over a length of its period is the same)

$$\int_a^{b_n} g(nx) dx=\frac{1}{n}\sum_{k=1}^{\left[\frac{n(b-a)}{{\rm T}}\right]}\int_{0}^{{\rm T}} g(y)dy =\frac{1}{n}\left[\frac{n(b-a)}{{\rm T}}\right]\int_0^{\rm T}g(t)dt$$

Since $$\left|\int_a^bg(nt)dt-\int_a^{b_n}g(nt)dt \right|\le (b-b_n)M \le \frac{{\rm T}}{n} M$$ where $$M=\sup|g(x)|$$

so $$\lim_{x\rightarrow \infty} \int_a^bg(nx)dx=\lim_{x\rightarrow \infty} \int_a^{b_n}g(nx)dx={\rm T}^{-1}(b-a)\int_0^{\rm T} g(t)dt $$

(2): I show $$\lim_{n\rightarrow \infty} \int_a^b f(x)g(nx)dx={\rm T}^{-1}\int_0^{\rm T} g(t)dt \int_a^bf(x)dx$$ for any step function $f$.

PROOF: This result follows from (1) easily.

(3): I prove $$\lim_{n\rightarrow \infty} \int_a^b f(x)g(nx)dx={\rm T}^{-1}\int_0^{\rm T} g(t)dt \int_a^bf(x)dx$$ for any integrable function.

PROOF: Given $\delta >0$, since $f$ is integrable, we can find a step function $h$ such that $\displaystyle \int_a^b|f-h|<\delta$.

$$\eqalign{ & \left| {\int_a^b f (x)g(nx)dx - {T^{ - 1}}\int_0^T g (t)dt\int_a^b f (x)dx} \right| \leqslant \cr & \left| {\int_a^b f (x)g(nx)dx - \int_a^b h (x)g(nx)dx} \right| + \left| {\int_a^b h (x)g(nx)dx - {T^{ - 1}}\int_0^T g (t)dt\int_a^b h (x)dx} \right| \cr & + \left| {{T^{ - 1}}\int_0^T g (t)dt\int_a^b f (x)dx - {T^{ - 1}}\int_0^T g (t)dt\int_a^b h (x)dx} \right| < \left( {M + 1 + {T^{ - 1}}\int_0^T g (t)dt} \right)\delta \cr} $$

for all $n\ge N$,(such $N$ exist by (2)),and since $\delta>0$ is arbitrary so

$$\lim_{n\rightarrow \infty} \int_a^b f(x)g(nx)dx=T^{-1}\int_0^Tg(t)dt \int_a^bf(x)dx$$

share|improve this answer
    
Let me know if the edit is OK. –  Pedro Tamaroff Jun 17 '12 at 17:41
    
It is ok.Thank you. –  Ben Jun 18 '12 at 2:59

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.