When derivative equals inverse

Is there a function whose derivative is its inverse? In other words, is there a function f that satisfies

f (x) = f^-1(x)

for positive x? Indeed there is one given here.

Let be the golden ratio (5 + 1)/2. Then for x > 0 the function

f(x) = (x/)

satisfies our equation. It's derivative is its inverse. To prove this, calculate

f ( f(x) )

and find that it equals x. The reason the golden ratio comes up is that if

f(x) = k (x/k)^k

is a solution then k must satisfy

k^2 - k = 1

and is a solution.

Whenever you see one root of a quadratic equation, it's natural to wonder about the other root. In this case

= -1/

is the other root to our quadratic equation. Could we have used rather than ? Yes, but the solution would blow up at 0. By using , our solution can be extended to allow not just x > 0 but x >= 0.

We could also define f for x < 0 using k = or k = . But the former blows up as x approaches 0 from the left and the latter does not. So if we use k = to the left of 0 and k = to the right, we get a function defined for all real x. That is, we can define

f(x) = (x/) for x >= 0

f(x) = (x/) for x < 0

and have a continuous function on the whole real line.

We need to be a little careful here about what we mean by raising a negative number to an irrational exponent. To be more explicit we should say

f(x) = (x/) for x >= 0

f(x) = - (-x/) for x < 0

Here's a plot:

Just to quickly open up a new can of worms before I close this out, you could go back to the definition

f(x) = (x/)

for x > 0 and consider it a function of a complex variable. You could extend it to most of the complex plane, but you'd have to have a branch cut that includes the origin. The construction above wouldn't work because the function is not analytic at 0. In fact, it's not twice differentiable at 0.

The post When derivative equals inverse first appeared on John D. Cook.