On a problem of Alsina again (Q5930147)

In 1986 this referee proposed to determine all continuous decreasing involutions \(f:(0, \infty) \to (0, \infty) \) satisfying the functional equation \[ f(x+y) + f( f(x) + f(y)) = f [ f(x+f(y)) + f(f(x) + y)]. \tag{1} \] While the general answer is still open, some contributions have been made by the authors of this paper in the present paper as well as in previous works. For example in Theorem 3.2 it is shown that any \(f\) strictly decreasing geometrically Jensen convex (i.e. \(\log \circ f \circ \exp\) is convex on \(R\)) satisfying (1) has the form \[ f(x) = c/x \quad \text{ for some } c > 0. \] The authors consider also the related equation \[ z f(x+y) + f \left( (f(x) + f(y) \right) = f \left[ f(x+zf(y)) + f( zf(x) + y) \right] \] and show that any non-increasing solution has the form \( f(x) = c/x \), for some \( c> 0 \).