Composing F with F

Algebra Level 5

How many functions f f from the reals to the reals are there, such that f ( f ( x ) ) = x 2 2 f( f(x) ) = x^2 -2 ?

Details and assumptions

f f need not be a polynomial. f f need not even be continuous.


The answer is 0.

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

Ronit Raj
May 20, 2014

The answer is that there are no such functions f f . More generally, applying the below assertion to g ( x ) = x 2 2 g(x) = x^2-2 to get a solution to the problem.

A more general assertion: If g g is a function from R \mathbb{R} to itself such that g g has exactly two fixed points { s , t } \{s,t\} and if g ( g ( x ) ) g(g(x)) has exactly four fixed points { s , t , u , v } \{s,t,u,v\} then there is no function f f such that f ( f ( x ) ) = g ( x ) f(f(x))= g(x) .

Proof by contradiction: (Assuming there is f f such that f ( f ( x ) ) = g ( x ) f(f(x)) = g(x) :-

Step 1: g ( u ) = v , g ( v ) = u g(u)=v,g(v)=u .

Step 2: g ( f ( x ) ) = f ( g ( x ) ) g(f(x))=f(g(x)) .

Step 3: Using step 2 and the fact that s , t s,t are the fixed points of g g , we can show that f f takes { s , t } \{s,t\} to { s , t } \{s,t\} and { s , t , u , v } \{s,t,u,v\} to { s , t , u , v } \{s,t,u,v\} .

Step 4: by further solving we can show that each possibility f ( v ) = s f(v) = s or t t or u u or v v leads to a contradiction. so there is no function exist so that f ( f ( x ) ) = x 2 2 f(f(x))=x^2-2 .

[Latex Edits - Calvin]

The main steps are written clearly, and you are invited to fill in the details.

Calvin Lin Staff - 7 years ago
Calvin Lin Staff
May 13, 2014

Let g ( x ) = x 2 2 g(x) = x^2 -2 . Notice that if g ( x ) = x g(x) =x , then x 2 2 = x x^2-2=x which has 2 distinct solutions, so g ( x ) g(x) has 2 fixed points. If g ( g ( x ) ) = x g( g(x) )=x , then ( x 2 2 ) 2 2 = x 0 = x 4 4 x 2 x + 2 = ( x 2 x 2 ) ( x 2 + x 1 ) (x^2-2)^2-2=x \Rightarrow 0=x^4-4x^2-x+2 = (x^2-x-2)(x^2+x-1) has 4 distinct solutions, so g ( g ( x ) ) g(g(x)) has 4 fixed points. We will show, by contradiction, that there are no functions f f that satisfy f f = g f \circ f = g .

Suppose that f f exists. Let a a and b b be the distinct fixed points of g g and let a , b , c a, b, c and d d be the distinct fixed points of g g g \circ g . Let m = g ( c ) m=g(c) . Then g ( m ) = g ( g ( c ) ) = c g(m) = g(g(c)) = c , so g ( g ( m ) ) = g ( c ) = m g(g(m)) = g(c) = m , so m m is a fixed point of g g g\circ g . If m = a m = a , then c = g ( m ) = g ( a ) = a c=g(m) = g(a)=a is a contradiction. Similarly, if m = b m=b , then c = g ( m ) = g ( b ) = b c = g(m) = g(b) = b is a contradiction. If m = c m=c , then c = g ( c ) c=g(c) so c c is a fixed point of g g , which is a contradiction. Thus, m = d m = d . As such, g ( c ) = d g(c)=d , and we similarly have g ( d ) = c g(d) = c .

Now consider f ( x 1 ) f(x_1) for x 1 { a , b } x_1 \in \{a, b\} . Since g ( f ( x 1 ) ) = f ( f ( f ( x 1 ) ) ) = f ( g ( x 1 ) ) = f ( x 1 ) g( f(x_1) ) = f( f( f(x_1) ) ) = f( g(x_1) ) = f(x_1) , so f ( x 1 ) f(x_1) is a fixed point of g g , thus f ( x 1 ) { a , b } f(x_1) \in \{a, b\} . Similarly, consider f ( x 2 ) f(x_2) for x 2 { a , b , c , d } x_2 \in \{ a, b, c, d\} . Since g ( g ( f ( x 2 ) ) = f ( f ( f ( f ( f ( x 2 ) ) ) ) ) = f ( g ( g ( x 2 ) ) ) = f ( x 2 ) g( g( f(x_2) ) = f(f(f(f(f(x_2))))) = f( g ( g( x_2) ) ) = f(x_2) , so f ( x 2 ) f(x_2) is a fixed point of g g , thus f ( x 2 ) { a , b , c , d } f(x_2) \in \{a, b, c, d\} . Consider f ( c ) f(c) .

Case 1: f ( c ) = a f(c) = a . Then, f ( a ) = f ( f ( c ) ) = g ( c ) = d f(a) = f( f(c) ) = g(c) = d which is a contradiction.

Case 2: f ( c ) = b f(c) = b . Similarily, f ( b ) = f ( f ( c ) ) = g ( c ) = d f(b) = f(f(c))=g(c) =d which is a contradiction.

Case 3: f ( c ) = c f(c) = c . Then g ( c ) = f ( f ( c ) ) = f ( c ) = c g(c) = f( f(c)) = f(c) = c which is a contradiction.

Case 4: f ( c ) = d f( c) = d . Then d = g ( c ) = f ( f ( c ) ) = f ( d ) d = g(c) = f( f(c) ) = f( d) g ( d ) = f ( f ( d ) ) = f ( d ) = d \Rightarrow g(d) = f( f(d) ) = f(d) = d which is a contradiction.

Hence, there are 0 functions f f that satisfies the conditions.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...