# show its integral less than half M

• Apr 8th 2008, 09:07 AM
szpengchao
show its integral less than half M
suppose
f: R--->R has a continuous derivative, f(0)=0, and |f'(x)|<=M for x in [0,1]

show that, |integral(f,0,1)|<= half M

show that, if given f(1)=0, then |integral(f,0,1)|<= quarter M

what could you say if |f'(x)|<= Mx?
• Apr 8th 2008, 10:18 AM
PaulRS
Quote:

Originally Posted by szpengchao
suppose
f: R--->R has a continuous derivative, f(0)=0, and |f'(x)|<=M for x in [0,1]

show that, |integral(f,0,1)|<= half M

show that, if given f(1)=0, then |integral(f,0,1)|<= quarter M

what could you say if |f'(x)|<= Mx?

$\displaystyle \left| {f'\left( x \right)} \right| \leqslant M \Leftrightarrow - M \leqslant f'\left( x \right) \leqslant M$

Integrating: $\displaystyle - M \leqslant f'\left( x \right) \leqslant M \Rightarrow \int_0^t { (- M)dx} \leqslant \int_0^t {f'\left( x \right)dx} \leqslant \int_0^t {Mdx}$ whenever $\displaystyle 0 \leqslant t \leqslant 1$

By the FTC: $\displaystyle \int_0^t {f'\left( x \right)dx} = f\left( t \right) - f\left( 0 \right)$

Thus: $\displaystyle \left( { - M} \right) \cdot t \leqslant f\left( t \right) - f\left( 0 \right) \leqslant M \cdot t$

Integrating again: $\displaystyle \left( { - M} \right) \cdot \int_0^1 {t \cdot dt} \leqslant \int_0^1 {f\left( t \right) \cdot dt} - \int_0^1 {f\left( 0 \right) \cdot dt} \leqslant M \cdot \int_0^1 {t \cdot dt}$

Therefore: $\displaystyle \left( {\tfrac{{ - M}} {2}} \right) \leqslant \int_0^1 {f\left( t \right) \cdot dt} - f\left( 0 \right) \leqslant \left( {\tfrac{M} {2}} \right)$

Since $\displaystyle f(0)=0$ we get the desired result

All the other parts are similar, try to do them and then ask if you still have doubts.

1:):)
• Apr 8th 2008, 10:33 AM
szpengchao
how can u get the second ques?
Quote:

Originally Posted by PaulRS
$\displaystyle \left| {f'\left( x \right)} \right| \leqslant M \Leftrightarrow - M \leqslant f'\left( x \right) \leqslant M$

Integrating: $\displaystyle - M \leqslant f'\left( x \right) \leqslant M \Rightarrow \int_0^t { (- M)dx} \leqslant \int_0^t {f'\left( x \right)dx} \leqslant \int_0^t {Mdx}$ whenever $\displaystyle 0 \leqslant t \leqslant 1$

By the FTC: $\displaystyle \int_0^t {f'\left( x \right)dx} = f\left( t \right) - f\left( 0 \right)$

Thus: $\displaystyle \left( { - M} \right) \cdot t \leqslant f\left( t \right) - f\left( 0 \right) \leqslant M \cdot t$

Integrating again: $\displaystyle \left( { - M} \right) \cdot \int_0^1 {t \cdot dt} \leqslant \int_0^1 {f\left( t \right) \cdot dt} - \int_0^1 {f\left( 0 \right) \cdot dt} \leqslant M \cdot \int_0^1 {t \cdot dt}$

Therefore: $\displaystyle \left( {\tfrac{{ - M}} {2}} \right) \leqslant \int_0^1 {f\left( t \right) \cdot dt} - f\left( 0 \right) \leqslant \left( {\tfrac{M} {2}} \right)$

Since $\displaystyle f(0)=0$ we get the desired result

All the other parts are similar, try to do them and then ask if you still have doubts.

1:):)

how can u get the second ques?
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}