Find this unique real number!

Calculus Level pending

f ( x ) f(x) is an odd function ( that is f ( x ) = f ( x ) f(-x)=-f(x) ) and f f is twice continuously differentiable in R \mathbb{R} . f ( 1 ) = 1 f(1)=1 . We can prove that there is a unique real number a a such that for any function f ( x ) f(x) that satisfies those conditions there exists 0 < b < 1 0<b<1 such that f ( b ) + f ( b ) = a f''(b)+f'(b)=a ( b b can depend on f f ) what is the value of a a ?


The answer is 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.

1 solution

Cuize Han
Jan 1, 2015

First note that f ( x ) = x f(x)=x satisfies all the conditions and f ( x ) + f ( x ) = 1 f''(x)+f'(x)=1 for all x x . This shows the uniquness of a a and a a can only be 1 1 . Then we are left to prove that for any f f with stated conditions there exsists 0 < b < 1 0<b<1 such that f ( b ) + f ( b ) = 1 f''(b)+f'(b)=1 .

Define g ( x ) = f ( x ) x g(x)=f(x)-x . Since f ( x ) f(x) is odd and f ( 1 ) = 1 f(1)=1 , we have g ( 0 ) = 0 , g ( 1 ) = 0 g(0)=0, g(1)=0 .
From Rolle's Theorem, there exists 0 < c < 1 0<c<1 such that g ( c ) = 0 g'(c)=0 . This gives us f ( c ) = 1 f'(c)=1 .

Then is the tricky part....

Define h ( x ) = e x ( f ( x ) 1 ) h(x)=e^x(f'(x)-1) . h ( x ) = e x ( f ( x ) + f ( x ) 1 ) h'(x)=e^x(f''(x)+f'(x)-1) .
If there does not exist 0 < b < 1 0<b<1 such that f ( b ) + f ( b ) = 1 f''(b)+f'(b)=1 , then, because of the continuity of h ( x ) h'(x) , for any 0 < x < 1 0<x<1 , h ( x ) > 0 h'(x)>0 , or for any 0 < x < 1 0<x<1 , h ( x ) < 0 h'(x)<0 .

Assume h ( x ) > 0 h'(x)>0 for all 0 < x < 1 0<x<1 then h h is strictly increasing in 0 < x < 1 0<x<1 , so h ( 0 ) = h ( 0 ) h ( c / 2 ) < h ( c ) = 0 h(0)=h(0^-)\leq h(c/2)<h(c)=0 . That is f ( 0 ) < 1 f'(0)<1 .
Note that when f ( x ) f(x) is odd and f f is twice differentiable, f ( x ) f''(x) is odd. Thus f ( 0 ) = 0 f''(0)=0 . So h ( 0 ) = f ( 0 ) + f ( 0 ) 1 < 0 h'(0)=f''(0)+f'(0)-1<0 .
But h ( x ) > 0 h'(x)>0 for all 0 < x < 1 0<x<1 and h ( x ) h'(x) is continuous, so we get h ( 0 ) 0 h'(0)\geq 0 . Contradiction!

Similarly if we assume h ( x ) < 0 h'(x)<0 for all 0 < x < 1 0<x<1 we will also get contradiction.

Done.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...