Taking x=0 in the given equation we get f(f(y))=y for every y∈R.
Therefore, we have
f(y−x2)=f(f(x2+f(y)))=x2+f(y).(3.1)
for every x,y∈R.
Taking y=x2 in (3.1) we get f(0)=x2+f(x2), that is
f(x2)=−x2+f(0),
while taking y=0 in (*) gives us
f(−x2)=x2+f(0).
Let c=f(0). From the above we conclude that
f(x)=−x+c,∀x∈R.
It is easy to verify that all the functions of the form f(x)=−x+c for c∈R satisfy the given equation:
f(x2+f(y))=f(x2−y+c)=−(x2−y+c)+c=−x2+y.