A calculus problem by Sutirtha Datta

Calculus Level 3

Suppose f f is a differentiable function such that f ( f ( x ) ) = x f(f(x)) =x for x [ 0 , 1 ] x \in [0,1] and f ( 0 ) = 1 f(0)=1 . Then find the value of: 0 1 ( x f ( x ) ) 2017 d x \large \int_{0}^1(x-f(x))^{2017} dx

0 2018 2017 2016 1

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

Sutirtha Datta
Jun 1, 2017

Inverse of f exists hence its onto, now f(0)=1 & f(1)=0

Again f''(x). f'(x) =1

So its strictly decreasing one

Hence f(x) =1-x

0 1 ( 2 x 1 ) 2017 d x = 0 \int_{0} ^1(2x-1)^{2017} dx =0

EDIT: ANY OTHER DIRECT SOLUTION THAN MINE WILL BE HIGHLY APPRECIATED.

Maximos Stratis
Jun 3, 2017

We will first prove that f ( x ) f(x) is an one-to-one function.
For every x 1 , x 2 x_{1},x_{2} that belong in [ 0 , 1 ] [0,1] with f ( x 1 ) = f ( x 2 ) f ( f ( x 1 ) ) = f ( f ( x 2 ) ) x 1 = x 2 f(x_{1})=f(x_{2})\Rightarrow f(f(x_{1}))=f(f(x_{2}))\Rightarrow x_{1}=x_{2} .
So, f ( x ) f(x) is an one-to-one function, which suggets that it's inverse exists.
f ( f ( x ) ) = x f ( x ) = f 1 ( x ) f(f(x))=x\Rightarrow f(x)=f^{-1}(x) .
Now we will prove that f ( x ) f(x) is strictly decreasing.
f ( f ( x ) ) = x f ( f ( x ) ) f ( x ) = 1 f(f(x))=x\Rightarrow f'(f(x))f'(x)=1 ( 1 ) (1)
Let's assume that there exists a number x 0 x_{0} such that f ( x 0 ) = 0 f'(x_{0})=0 . If we substitute x = x 0 x=x_{0} in ( 1 ) (1) we get:
f ( f ( x 0 ) ) f ( x 0 ) = 1 0 = 1 f'(f(x_{0}))f'(x_{0})=1\Rightarrow 0=1 .
That is a contradiction, which means that f ( x ) f'(x) is never zero. So, the function can either be strictly increasing or scrictly decreasing.
We know that: f ( 0 ) = 1 f(0)=1 .
In ( 1 ) (1) for x = 0 x=0 we get:
f ( f ( 0 ) ) = 0 f ( 1 ) = 0 f(f(0))=0\Rightarrow f(1)=0 .
So, for 0 < 1 0<1 , 1 = f ( 0 ) > f ( 1 ) = 0 1=f(0)>f(1)=0 .
Therefor, f ( x ) f(x) must be strictly decreasing.
But, if f ( x ) f(x) is strictly decreasing and it's inverse function is the function itself, f ( x ) f(x) can either be:
f ( x ) = x f(x)=x (which is not acceptable since f ( x ) f(x) strictly decreases) or f ( x ) = c x f(x)=c-x for some constant c.
f ( 0 ) = 1 c = 1 f ( x ) = 1 x f(0)=1\Rightarrow c=1\Rightarrow f(x)=1-x .
So, we want the integral:
0 1 ( 2 x 1 ) 2017 d x \int_{0}^{1} (2x-1)^{2017}dx
which, by substituting and using the power rule, works out to be 0 \boxed{0}


0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...