uniqueness

[tommy1729]

here are the equations that make half-iterate of exp(x) unique :

(under condition f(x) maps reals to reals and f(x) > x )

exp(x)

= f(f(x))

= D f(f(x)) = f ' (f(x)) * f ' (x)

= D^2 f(f(x)) = f '' (f(x)) * f ' (x)^2 + f ' (f(x)) * f '' (x)

= D^3 f(f(x)) = D^4 f(f(x))


regards

tommy1729

is there a solution where f ' (x) is not strictly rising but f(x) is Coo ??