Problem: find all continuous functions $f:[0,+\infty)\to [0,+\infty)$ such that $$f\left(y^2f(x)+x^2f(y)\right)=xy\big(f(x)+f(y)\big),\;\forall x,y\in [0,+\infty)\text.$$
-
1can you add your attempt please ? :) – r9m Mar 08 '14 at 01:37
-
I note $f(2 f(1)) = 2f(1)$, so is the identity function there. – Eric Towers Mar 08 '14 at 01:53
-
In fact, setting $y = x$ reveals that $f(2x^2f(x)) = 2x^2f(x)$ – Yiyuan Lee Mar 08 '14 at 02:08
-
I don't know what you wrote.Could you post full solutions? – Babymath Mar 08 '14 at 07:01
-
Let $g(x)=f(x)-x$,could anybody prove that $g(x)=const$? – Babymath Mar 23 '14 at 01:42
-
Of course not. Note that the constant zero function is a solution to the original equation and in that case $g$ is not constant. – Mohsen Shahriari Aug 09 '15 at 08:10
1 Answers
Problem:find all continuous functions $f:[0,+\infty)\to [0,+\infty)$ such that $$f(y^2f(x)+x^2f(y))=xy(f(x)+f(y)),\;\forall x,y\in [0,+\infty)$$
Solution:
We see that $ f(x)=0 $ is one solution.
We now proceed to find other solutions that are not identically zero. For these solutions we can find points $ a $ for which $ f(a) \neq 0 $.
Also note that $ f(0)=0 $ :
$f(0)=f(0f(0)+0f(0))=0(f(0)+f(0))=0 $.
$ f(x) $ must be surjective:
Choose $ a \neq 0 $ for which $ f(a) \neq 0 $. Now : $f(y^2f(a)+a^2f(y))=ay(f(a)+f(y)) \ge yaf(a) ,\;\forall y\in [0,+\infty)$ . The right part of this inequality can be made arbitrarily large. So values of $ f(x) $ range from $ 0 $ to $ \infty $. Because of the continuity requirement all values in between must be reached somewhere $ \implies f(x) $ is surjective.
Also the argument of $ f() $ on the left of the inequality above: $ y^2f(a)+a^2f(y) $ goes to $ 0 $ when $ y $ goes to $ 0 $ , and it goes to $ \infty $ when $ y $ goes to $ \infty $.
Because of the surjectivity, continuity and the fact that $ f(0)=0 $ the function: $ \lambda(x) = 2x^2f(x) $ is also continuous, surjective and ranges from $ 0 $ to $ \infty $.
In other words: every $ a \in \mathbb{R_{\ge 0}} $ can be written as $ 2b^2f(b) $ for some $ b \ge 0 $ .
Therefore we can change the coordinates of $ f() $ from $ x $ to $ \lambda(x) = 2x^2f(x) $ without loss of generality.
$f(\lambda)=f(2x^2f(x)) =f(x^2f(x)+x^2f(x))=x^2(f(x)+f(x))=2x^2f(x)=\lambda\implies $
The only continuous solutions are : $ f(x)=0 $ and $ f(x)=x $.
- 2,487