# Functional equation with cyclic function.

Find all functions $f:\mathbb R \to \mathbb R$ that satisfy: $$f(x) + 3 f\left( \frac {x-1}{x} \right) = 7x.$$

Some progress: I plugged-in $\dfrac{x-1}{x}$ and $\dfrac{1}{1-x}$, got a system of equations and solving I got $f(x) = \dfrac{x^3-4x^2-3x-3}{4x^2-4x}$. But after testing it back looks like it's not sufficient.

• I don't have any non-trivial progress. – Pikachuu. Jul 22 '14 at 18:15
• Now, I plugged-in $\dfrac{x-1}{x}$ and $\dfrac{1}{1-x}$. I got a system of equations and solving I got $f(x) = \dfrac{x^3-4x^2-3x-3}{4x^2-4x}$. But after testing it back looks like it's not sufficient. Is this correct? – Pikachuu. Jul 22 '14 at 18:25
• The issue here is that you want a function from $\mathbb{R} \to \mathbb{R}$, your function does not exist at zero. – Joel Jul 22 '14 at 18:45
• Ok... so what can we do? – Pikachuu. Jul 22 '14 at 19:01

Set $T(x) = \frac{x}{x-1}$. Then the composition $T^3(x) = x$. We have $f(Tx) = a x + b f(x)$ for $a= \frac{7}{3}$ and $b = -\frac{1}{3}$, so \begin{align*} f(x) &= f(T^3(x)) \\ &= a T^2(x) + b f(T^2 x) \\ &= a T^2(x) + a b T(x) + b^2 f(Tx) \\ &= a T^2(x) + a b T(x) +a b^2 x + b^3 f(x). \end{align*} That relation gives $f$ as a rational function of $x$.
• I like this solution a lot. I believe any function satisfying the functional equation must also satisfy your list of equalities. However, I wonder if your rational function will have a pole at $x=1$, since we have $T(x)$ isolated here. In which case, there is no solution since the question calls for a function defined on all of $\mathbb{R}$. – Joel Jul 22 '14 at 20:38
• @Pikachuu: Just solve for $f$ above. – anomaly Jul 22 '14 at 20:50
• @Joel: The functional equation for $f$ isn't defined at $0$, so presumably it's only required to hold outside the orbit $\{0, 1, \infty\}$ of $0$ under $T$. Choosing arbitrary $f(0), f(1)$ with $f(1) + 3f(0) = 7$ should be enough. (I don't know, not having worked out the explicit form for $f$, where the resulting function would be continuous.) Alternatively, we could just only require that $f$ be well-defined away from poles. It seems like the question should really about a function on the Riemann sphere, to neatly avoid issues of the functional equation or $f$ itself not being defined. – anomaly Jul 22 '14 at 20:55