MathLabs

Problem 1

Find all functions ff defined on the set of positive real numbers which take positive real values and satisfy the two conditions: (i) f(xf(y))=yf(x)f(xf(y)) = yf(x) for all positive real numbers x,yx, y; (ii) f(x)→0f(x) \to 0 as x→∞x \to \infty.
Step 5 of 6: No fixed point other than 11
a>1 fixed ⇒ f ⁣(a2k)=a2k→k→∞∞a>1 \text{ fixed} \ \Rightarrow\ f\!\left(a^{2^k}\right)=a^{2^k}\xrightarrow[k\to\infty]{} \infty
Detailed analysis

Suppose some a≠1a\ne1 is a fixed point; replacing aa by 1/a1/a if needed (Step 4), we may assume a>1a>1. By Step 4 with b=ab=a, a2a^2 is fixed; repeating, a2ka^{2^k} is fixed for every k≥0k\ge0. As k→∞k\to\infty, a2k→∞a^{2^k}\to\infty, so f(a2k)=a2k→∞f(a^{2^k})=a^{2^k}\to\infty, contradicting condition (ii) that f(x)→0f(x)\to0 as x→∞x\to\infty. Hence 11 is the only fixed point of ff.