All about flooble | fun stuff | Get a free chatterbox | Free JavaScript | Avatars    
perplexus dot info

Home > Just Math > Calculus
Some other kind of root extraction (Posted on 2006-11-07) Difficulty: 4 of 5
Let's call a real-valued continuous function an n-th identity root when it generates the identity function after exactly n compositions with itself. For example f(x)=-x is a 2nd identity root because f(f(x))=x.

1. The function f(x)=1-1/x is a 3rd identity root. Unfortunately it is undefined at x=0. Are there identity roots for n>2 which are defined for all real numbers?

2. For a given real number c and n>1, give an example of an n-th identity root which is defined for all real numbers except c. How many such roots exist?

  Submitted by JLo    
Rating: 4.0000 (3 votes)
Solution: (Hide)

For the following fi denotes the i-fold composition of a function f with itself.

1. No, there is not. We prove this by contradiction and assume f is such a function. First note that f must be a bijection, because y=fn is. It follows that f must be strictly monotonically increasing or decreasing. We can rule out that f is increasing as follows: Consider a x_1 with x_2:=f(x_1)<>x_1 ("<>" stands for "unequal"). Say x_2>x_1, then by applying f we get x_3:=f(x_2)>f(x_1)=x_2>x_1. By induction it follows that x_i:=fi(x_1)>x_1 for all i and we see that f is no identity root after all. If x_2<x_1 it follows similarly that fi(x_1)<x_1 for all i. So now we know that f, if it exists, must be strictly monotonically decreasing. Then the function g(x):=f(f(x)) is monotonically increasing. But its n-fold self-composition is also the identity function. From what we have just proven, this is only possible if g itself is the identity function, i.e. g(x)=x for all x. But this means f is a 2nd identity root, which contradicts n>2.

2. Assume c=0 first. If we consider the unit circle, rather than the (straight line of) real numbers as domain for our function, there is an obvious n-th identity root, namely the rotation by 2*Pi/n. Let's denote this rotation by D. Then if p is a bijection from the real numbers (to which we add a number that we call "infinity", otherwise no continuous bijection is possible) to the unit circle, then f=p-1Dp is an n-th root defined on the real numbers. It is undefined at f-1(infinity).

We choose the unit circle with mid point (0,1). It is easy to find the bijection
p(x):=[u(x),v(x)]:=[sin(2arctan(x+tan(Pi/2-Pi/n))),1-cos(2arctan(x+tan(Pi/2-Pi/n)))].
The term tan(Pi/2-Pi/n) is only to ensure we end up with a pole in 0. After applying the rotation we get
D(p(x))=[sin(2arctan(x+2Pi/n+tan(Pi/2-Pi/n))),1-cos(2arctan(x+2Pi/n+tan(Pi/2-Pi/n)))]
Finally we get
f(x)=p-1(D(p(x)))=(1-cos(2arctan(x+2Pi/n+tan(Pi/2-Pi/n))))/sin(2arctan(x+2Pi/n+tan(Pi/2-Pi/n)))
which is along the lines of Joel's 2nd solution.
Simplification yields
f(x)=-1/(x sin(Pi/n)^2)-2*cot(Pi/n)
which looks more similar to Richard's solution. To shift the pole from 0 to c, a simple transformation t(x):=x-c and g(x):=t-1(D(t(x))) gets us the final solution

g(x)=-1/((x-c)sin(Pi/n)^2)-2*cot(Pi/n)+c

Example: For n=4 and c=1 we get g(x)=(1+x)/(1-x)

There are many, many such roots: If g is a solution to the problem and if t is any bijection of the real numbers (i.e. strictlty monotonic decreasing or increasing) with t(c)=c, then t-1Dt is also a solution. E.g. for t(x)=x^3 and the 3rd root g(x)=1-1/x we get another 3rd root sqrt_3(x3-1)/x. Because there are so many such t's, we get many 3rd identity roots. In terms of set cardinality, there are as many such roots as there are continuous functions. This is no bigger than the set of real numbers, but still pretty big.

Comments: ( You must be logged in to post comments.)
  Subject Author Date
re(2): CuriousJLo2006-11-10 08:36:32
re: CuriousRichard2006-11-09 18:15:56
re: CuriousJoel2006-11-09 16:38:51
QuestionCuriousJLo2006-11-09 15:39:48
Any n, one cRichard2006-11-08 23:48:05
re: There's still something to find...Joel2006-11-08 19:26:41
Some ThoughtsA complex answere.g.2006-11-08 19:10:57
Hints/TipsThere's still something to find...JLo2006-11-08 17:43:45
SolutionsolutionJoel2006-11-07 20:33:02
Please log in:
Login:
Password:
Remember me:
Sign up! | Forgot password


Search:
Search body:
Forums (0)
Newest Problems
Random Problem
FAQ | About This Site
Site Statistics
New Comments (8)
Unsolved Problems
Top Rated Problems
This month's top
Most Commented On

Chatterbox:
Copyright © 2002 - 2024 by Animus Pactum Consulting. All rights reserved. Privacy Information