Self-inverse

Level 2

Let f f be a differentiable function such that f ( f ( x ) ) = x f(f(x)) = x for x [ 0 , 1 ] . x \in [0,1]. Suppose f ( 0 ) = 1. f(0) = 1 .

Determine the value of

0 1 ( x f ( x ) ) 2016 d x \int_{0}^{1} (x - f(x))^{2016} dx

1 2016 \frac{1}{2016} 2016 1 2017 \frac{1}{2017} 2017

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.

1 solution

Mark Hennings
Apr 15, 2018

If we make the substitution y = f ( x ) y = f(x) , we note that x = f ( y ) x = f(y) , so that d x = f ( y ) d y dx \,=\, f'(y)\,dy and hence I = 0 1 ( x f ( x ) ) 2016 d x = 0 1 ( f ( y ) y ) 2016 f ( y ) d y = 0 1 ( f ( y ) y ) 2016 ( f ( y ) 1 ) d y 0 1 ( f ( y ) y ) 2016 d y = [ 1 2017 ( f ( y ) y ) 2017 ] 0 1 I = 2 2017 I \begin{aligned} I & = \; \int_0^1 \big(x - f(x)\big)^{2016}\,dx \; = \; -\int_0^1 \big(f(y) - y)^{2016} f'(y)\,dy \\ & = \; -\int_0^1 \big(f(y) - y)^{2016}\big(f'(y) - 1\big)\,dy - \int_0^1 \big(f(y) - y)^{2016}\,dy \\ & = \; -\Big[\frac{1}{2017}\big(f(y) - y\big)^{2017}\Big]_0^1 - I \; =\; \frac{2}{2017} - I \end{aligned} which makes the integral I = 1 2017 I = \boxed{\tfrac{1}{2017}} .

A direct calculation with f ( x ) = 1 x f(x) =1-x confirms this.

Can you explain the second step in a detailed way?

Dhruva V - 3 years, 1 month ago

Log in to reply

The first step (from integrating wrt x x to integrating wrt y y ) is just substitution. In the second stage, I just add and subtract a copy of 0 1 ( f ( y ) y ) 2016 d y \int_0^1 (f(y) - y)^{2016}\,dy .

Mark Hennings - 3 years, 1 month ago

Log in to reply

I understood the first part. But how does 0 1 ( f ( y ) y ) 2016 d y - \int_0^1 \big(f(y) - y)^{2016}\,dy become equals to I -I ?

Dhruva V - 3 years, 1 month ago

Log in to reply

@Dhruva V 0 1 g ( y ) d y = 0 1 g ( x ) d x \int_0^1 g(y)\,dy = \int_0^1 g(x)\,dx . Just change the dummy variable.

Mark Hennings - 3 years, 1 month ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...