7
$\begingroup$

I am finding this functional equation from a past high school mathematics competition rather tricky.

Find all continuous functions $f:\mathbb{R}\rightarrow\mathbb{R}^+$ such that:

$f(x+f(x))=f(x)\quad \forall x\in\mathbb{R}$

and

$f(2012)=2012$.

(One must prove that the trivial constant solution is the only solution.)

$\endgroup$
  • $\begingroup$ I have no idea how to do it, but here's maybe an idea: if you can show that $f(x)=2012$ for all rational numbers $x$, you can deduce that it holds for all real numbers,too. Of course, you probably knew that already. $\endgroup$ – goblin May 17 '13 at 15:22
  • $\begingroup$ Yep. So I had a couple of approaches in mind, none of which worked out (at least for me right now). 1. Using some sort of number theoretic argument to prove that $f(x)=2012$ for a dense subset of the rationals and using continuity to finish. 2. Let $S$ be the set of $x$ for which $f(x)=2012$ and using some clever use of the intermediate value theorem to arrive at a contradiction if $S$ is not all of $\mathbb{R}$. One possibly useful result is that $g(x)=x+f(x)$ can be easily shown to be injective (in fact monotonically increasing). $\endgroup$ – Goonfiend May 17 '13 at 15:30
  • $\begingroup$ Does the function have to be differentiable? $\endgroup$ – Quark May 17 '13 at 15:45
  • $\begingroup$ No, we cannot assume differentiability. $\endgroup$ – Goonfiend May 17 '13 at 15:48
  • $\begingroup$ @Eric Jablow: Why do you delete your answer? $\endgroup$ – 23rd May 17 '13 at 16:46
4
$\begingroup$

By induction, $f(x+nf(x))=f(x)$. Hence as you observe, each $x+nf(x)$ is injective, since $$x+nf(x)=y+nf(y) \implies f(\cdots)=f(\cdots) \implies f(x) = f(y) \implies x + \cdot = y + \cdot$$ and therefore monotonically increasing, since $x+nf(x)\to\infty$ as $x\to\infty$.

Now for $x<y$, we have $x+nf(x)<y+nf(y)$ for all $n$ and so $f(y)-f(x)\ge0$.

But $f(x+nf(x))=f(x)$ and $f(x)>0$ implies that for all $x$ there exist points arbitrarily far away which take the same $f$ value, and hence as $f$ is non-decreasing, $f$ must be constant.

$\endgroup$
  • $\begingroup$ Very nice, thanks! $\endgroup$ – Goonfiend May 17 '13 at 17:35
  • $\begingroup$ I really hate functional equations P: $\endgroup$ – Sharkos May 17 '13 at 17:43
  • 1
    $\begingroup$ Haha I used to enjoy them when I did these sort of contests but the more difficult ones are pretty frustrating! $\endgroup$ – Goonfiend May 17 '13 at 17:53

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.