Recientemente, la siguiente pregunta que se planteó: ¿existe un diferenciable bijection $f:\mathbb R\to\mathbb R$ tal que $f'=f^{-1}$? (Aquí, $f^{-1}$ es la inversa de $f$, con respecto a la composición de funciones.) La respuesta, como resulta, es negativo, debido a que un bijection es monótona, lo que implica que la derivada no puede ser bijective.
Al parecer no existen tales problemas si en lugar de buscar un bijection $f:(0,\infty)\a(0,\infty)$ tal que $f'=f^{-1}$, por lo que la siguiente variante de la pregunta me parece interesante:
¿Existe un diferenciable bijection $f:(0,\infty)\a(0,\infty)$ tal que $f'=f^{-1}$?
(Edit: como se mencionó al final de esta pregunta, la cuestión de la existencia ha sido resuelto. Es la solución única?)
He aquí la primera idea: si hay una función $f:(0,\infty)\a(0,\infty)$ tal que $f'(x)=f^{-1}(x)$ tiene para todo $x\in(0,\infty)$, entonces $$f'(f(x))=f^{-1}(f(x))=x$$ también debe mantener para todo $x$, dado que $f$ es bijective. Esto inmediatamente nos recuerda la regla de la cadena, por lo que se multiplican por $f'(x)$ para producir $$f'(f(x))f'(x)=xf'(x)$$, que es equivalente a $$f'(f(x))f'(x)=xf'(x)+f(x)-f(x).$$ Esto implica (integrar desde $1$ $x$, por ejemplo) que no es una primitiva de la función $F$ de $f$ tal que $$f(f(x)) = x f(x) - F(x)$$ vale para todo $x\in(0,\infty)$, por lo que podemos tratar de resolver esta ecuación en su lugar. No sé si esto es más fácil que el problema original, aunque. Tal vez algún tipo de punto fijo principio podría funcionar para mostrar la existencia?
Sería muy bonito si resulta que hay una buena caracterización de tales funciones.
Edit: En el enlace señalado por Christian Blatter en los comentarios, no es una solución explícita ($f(x)=\frac{x^\phi}{\phi^{\phi-1}}$, donde $\phi=\frac{1+\sqrt5}{2}$ es el cociente de oro), así que tal vez también sería interesante saber:
Es esta solución es única?