Intereting Posts

Generators of $S_n$
Differentiability of Norms
the $\partial\bar{\partial}$-lemma dilemma
Please help me compute this$ \sum_m\binom{n}{m}\sum_k\frac{\binom{a+bk}{m}\binom{k-n-1}{k}}{a+bk+1}$
A shrinking map that is not a contraction no fixed point.
Regular local ring and a prime ideal generated by a regular sequence up to radical
$g(x) = 1/(1+x^2)$ is continuous everywhere epsilon delta approach
How do you proof that the simply periodic continuous fraction is palindromic for the square root of positive primes?
Prove that $1989\mid n^{n^{n^{n}}} – n^{n^{n}}$
When is de-Skolemizing statements appropriate?
Showing that $\displaystyle\lim_{s \to{1+}}{(s-1)\zeta(s)}=1$
On average, how many friends would I need to have to have at least one friend's birthday every day?
Interpreting another proposition full of symbols
Why does $\sin^{-1}(\sin(\pi))$ not equal $\pi$
$A^2=A^*A$.Why $A$ is Hermitian matrix?

My question is about existence of a non-trivial solution of the functional equation $f(f(f(x)))=-x$ where $f$ is a continuous function defined on $\mathbb{R}$. Also, what about the general one $f^n(x)=-x$ where $f^n$ is understood in the sense of composition of functions and $n$ is odd.

Eventually, is there some theory about continuous solutions of $f^n(x)=g(x)$ where $g$ is a fixed continuous function. I tried a research here but all what I found was about $f^2(x)=g(x)$, i.e, “square root” in the sense of composition.

Thanks.

EDITED : I was looking for a non-trivial solution with $n$ odd, sorry for the inconvenience. I reformulated my question.

Thanks for the last poster who showed that the unique continuous solution to $f^n(x)=-x$ where $n$ is odd is the trivial one.

- Functional Equation $f(x+y)=f(x)+f(y)+f(x)f(y)$
- Follow-up to $f(x)^2 = f(\sqrt2 x)$
- D'alembert functional equation
- I want to show that $f(x)=x.f(1)$ where $f:R\to R$ is additive.
- Solve the functional equation $2f(x)=f(ax)$ for some $a$.
- Iterative roots of sine

- Proving that $f(n)=n$ if $f(n+1)>f(f(n))$
- Solve differential equation $f'(z) = e^{-2} (f(z/e))^2$
- Find $f(x)$ where $ f(x)+f\left(\frac{1-x}x\right)=x$
- Solution to the functional equation $f(x^y)=f(x)^{f(y)}$
- How to prove $f(x)=ax$ if $f(x+y)=f(x)+f(y)$ and $f$ is locally integrable
- Solution of functional equation $f(x+y)=f(x)+f(y)+y\sqrt{f(x)}$
- Differentiable functions satisfying $f'(f(x))=f(f'(x))$
- If $f\circ f\circ f=id$, then $f=id$
- Evaluating $f(x) f(x/2) f(x/4) f(x/8) \cdots$
- Functional equations leading to sine and cosine

The only solution is $f(x)=-x$ for all odd $n$.

We have $f(0)=0$ because if $f(0)=a$, then $f(f(a)))=0$ and $-a=f(f(f(a)))=f(0)=a$, so $a=0$.

Since $f^{2n}(x)=x$ for all $x$, the function $f$ cycles sets of at most $2n$ elements $\{\pm a_1,\pm a_2,\ldots,\pm a_n\}$. Fix one of these cycles, and assume without loss of generality that all the $a_i$ are nonzero, and denote by $a>0$ the least positive number in this cycle. Then $f((0,a))$ is an open interval with the endpoints $f(0)=0$ and $f(a)=b$. Assume that $b\neq \pm a$. Since $|b|>|a|$, the interval $f((0,a))$ must contain either $a$ or $-a$, which means there is an $x, |x|<a$ such that $f(x)=a$ or $f(x)=-a$, which is a contradiction, because $f$ is a bijection and $\pm a$ are the images of some $a_i, |a_i|\geq a$. Thus it must hold that $|f(a)|=a$ for all $a$, and consequently $f(a)=-a$ for all $a$.

As Henry points out in the comments, when $n$ is odd $f(x)=-x$ obviously works.

When $n$ is even, there is no such function. To see this, note the following properties must hold:

- $f$ is a bijection, and hence stricly monotonic.
- $f(0)=0$. Indeed, if $f(0)=a$, then $f^n(a) = f^{n+1}(0) = f(f^n(0)) = f(0) = a$, so $a=0$ since $0$ is the only fixed point of $-x$.
- From the previous two properties, we must have that $f$ is either increasing, in which case $f(x)$ has the same sign as $x$ for every $x$, or decreasing, in which case $f(x)$ has the opposite sign as $x$ for every $x$. Either way, $f^n(x)$ and $x$ share the same sign, and so $f^n(x) \neq -x$.

I have seen an example of a piecewise continuous function $f$ satisfying $f^2(x)=-x$. It’s best described with a picture, but I don’t know how to make those in this forum. Instead, I can describe it for nonnegative $x$, and then I’ll ask you to give it odd symmetry.

EDIT: I did indeed mess up the formula. I think this is what I wanted.

\begin{align}

f(0) &= 0 \\\\

f(x) &= x+1 &&\mbox{for $x\in(2n-2,2n-1]$}\\\\

f(x) &= 1-x &&\mbox{for $x\in(2n-1,2n]$}\\\\

\end{align}

Again, this is for nonnegative $x$ only. Extend to negative $x$ with odd symmetry.

Sketch this for $n=1,2,3$ and you’ll get the idea. Assuming I haven’t messed up the formula, you get a graph that reminds me of TIE fighters from Star Wars.

EDIT: I uploaded a picture – much easier than I thought.

- Dense subset of the plane that intersects every rational line at precisely one point?
- Affine plane of order 4?
- Compute the sum $\sum_{k=1}^{\infty}k^mz^k$ where $|z|<1$
- Using Octave to solve systems of two non-linear ODEs
- Are all extensions of finite fields cyclic?
- Prove or disprove – If a divides b and b divides a does a=b
- Differentiability implies continuity – A question about the proof
- The number of esquares of idempotents in the rank 2 $\mathcal{D}$-class of $M_n(\mathbb{Z}_2)$.
- Prove that the limit $\displaystyle\lim_{x\to \infty} \dfrac{\log(x)}{x} = 0$
- Parametrization of $x^2+ay^2=z^k$, where $\gcd(x,y,z)=1$
- Kolmogorov's maximal inequality for random number composition
- Solvability of Artin-Schreier Polynomial
- Normal + Connected -> Uncountable
- What went wrong?
- probability density function of $Y=X_1\dotsb X_n$, where $X_n \thicksim U$