Maths Olympiad Prep

Library / /23 of 26

Algebra Difficulty 5.3 AIME, harder Prove it United States

Problem:
Find all twice differentiable functions f:RRf: \mathbb{R} \rightarrow \mathbb{R} satisfying
f(x)2f(y)2=f(x+y)f(xy) f(x)^2 - f(y)^2 = f(x+y) f(x-y)
for all real numbers xx and yy.

Solution

Solution:
The answer is f(x)=kxf(x) = kx, f(x)=asin(cx)f(x) = a \sin(c x), f(x)=asinh(cx)f(x) = a \sinh(c x), where a,cRa, c \in \mathbb{R}. The given functional equation is
f(x)2f(y)2=f(x+y)f(xy). f(x)^2 - f(y)^2 = f(x+y) f(x-y).
Observe that x=y=0x = y = 0 gives f(0)=0f(0) = 0.
Since ff is smooth, we may differentiate with respect to xx and obtain
2f(x)f(x)=f(x+y)f(xy)+f(x+y)f(xy). 2 f'(x) f(x) = f'(x+y) f(x-y) + f(x+y) f'(x-y).
Now differentiate this with respect to yy to obtain
0=[f(x+y)f(xy)f(x+y)f(xy)]+[f(x+y)f(xy)f(x+y)f(xy)]=f(x+y)f(xy)f(x+y)f(xy) \begin{aligned} 0 &= \left[f''(x+y) f(x-y) - f'(x+y) f'(x-y)\right] \\ &\quad + \left[f'(x+y) f'(x-y) - f(x+y) f''(x-y)\right] \\ &= f''(x+y) f(x-y) - f(x+y) f''(x-y) \end{aligned}
From this we conclude the key relation: for any real numbers XX and YY:
f(X)f(Y)=f(X)f(Y). f''(X) f(Y) = f(X) f''(Y).
Assume ff isn't identically zero. Then we deduce there's a constant kk such that
f(x)=kf(x) f''(x) = k f(x)
for all xx.
This is a standard differential equation with cases on kk.
- If k=0k = 0, the solution set is f(x)=ax+bf(x) = a x + b. Then f(0)=0b=0f(0) = 0 \Longrightarrow b = 0, and we can check f(x)=axf(x) = a x works.
- If k<0k < 0, the solution set is f(x)=asin(kx)+bcos(kx)f(x) = a \sin(-k x) + b \cos(-k x). Again f(0)=0b=0f(0) = 0 \Longrightarrow b = 0, and we can check f(x)=asin(kx)f(x) = a \sin(-k x) works.
- If k>0k > 0, the solution set is f(x)=asinh(kx)+bcosh(kx)f(x) = a \sinh(-k x) + b \cosh(-k x). Again f(0)=0b=0f(0) = 0 \Longrightarrow b = 0, and we can check f(x)=asinh(kx)f(x) = a \sinh(k x) works.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.