Answer. For α=−1, the identity is the only solution. For other values of α, there is no solution.
The functional equation immediately implies that f cannot be a constant function, as αxy would then have to be constant. In the following, we let (F) denote the given functional equation.
Setting y=1, (F) gives us
f(f(x+1))=f(x+1)+f(x)f(1)+αx.(1)
For x=1 we therefore have
f(f(2))=f(2)+f(1)2+α.(2)
and replacing x by x+1 then yields
f(f(x+2))=f(x+2)+f(x+1)f(1)+α(x+1).(3)
For y=2, (F) yields
f(f(x+2))=f(x+2)+f(x)f(2)+2αx.(4)
For x=0, we therefore obtain
f(f(2))=f(2)+f(0)f(2).
Together with (2) this gives us
f(0)f(2)=f(1)2+α.(5)
If we now take (F) and let y=0 and replace x by x+1, we obtain
f(f(x+1))=f(x+1)+f(x+1)f(0).(6)
From (1) and (6) we have
f(x+1)f(0)=f(x)f(1)+αx(7)
and from (3) and (4)
f(x+1)f(1)=f(x)f(2)+αx−α.(8)
If we multiply (7) by f(2) and (8) by f(1), we obtain
f(x+1)f(0)f(2)=f(x)f(1)f(2)+αf(2)x
or
f(x+1)f(1)2=f(x)f(1)f(2)+αf(1)x−αf(1).
After subtracting and taking (5) into consideration, we therefore have
αf(x+1)=α(f(2)−f(1))x+αf(1),
and thus (since α=0)
f(x+1)=(f(2)−f(1))x+f(1).
We see that f is a linear function, and f(x)=ax+b with a=0. Substitution then gives us
a2x+a2y+ab+b=ax+ay+b+a2xy+abx+aby+b2+αxy.
For y=0 we obtain
a2x+ab=(a+ab)x+b2,x∈R,
an therefore by comparing coefficients a2=a+ab, or a=1+b, and ab=b2. We therefore have (1+b)b=b2, and thus b=0, and a=1. For the only possible function f(x)=x, we obtain from (F) that (1+α)xy=0, x,y∈R, or α=−1 must hold.
(Walther Janous) ☐