Let $Q^+$ denote the set of all positive rational number and let $\alpha\in Q^+.$ Determine all functions $f:Q^+ \to (\alpha,+\infty )$ satisfying $$f(\frac{ x+y}{\alpha}) =\frac{ f(x)+f(y)}{\alpha}$$for all $x,y\in Q^+ .$
Problem
Source: MEMO 2018 I1
Tags: algebra, function, functional equation
02.09.2018 14:15
It's easy to see that if $\alpha \neq 2$, there are no solutions. For $\alpha =2$, $f(x)=ax+b$, where $a\ge 0, b>2$, which is clearly a solution. Full solution coming soon
05.09.2018 11:06
05.09.2018 12:58
Actually in the same way as above we can solve the problem for general $\alpha>0$ without the restriction of the range i.e. for $f:\mathbb{Q}^+ \to \mathbb{R}$. As above we have $f(x+1)+f(2)=f(x+2)+f(1)$ and hence $f(x+2)-f(x+1)=a$ is constant i.e. $f(x+1)=f(x)+a$ for all $x>1$. But then again $f(x+1)+f(x-1)=2f(x)$ implis $f(x+1)=f(x)+a$ for all $x>0$. But then $f(x+y)=\frac{f(\alpha x)+f(\alpha y)}{\alpha}$ with $y=1$ implies that $f(\alpha x)=\alpha f(x)+b$ for some constant $b$. But then again $f(x+y)=f(x)+f(y)-c$ for some $c$ and from here as above we find that $f(x)=ax+c$ for all $x$.
10.01.2022 21:52
from the simple inequality $a = 2$.then Jenson's equation
02.02.2022 18:09
Actually, there is a little catch in my solution above, for when $a>0$, we can also allow $b=2$. So the result really is $f(x)=ax+b$ where either $a>0, b \ge 2$ or $a=0, b>2$.