5
$\begingroup$

Inspired by this post:

I was amazed to see that (at least according to wolframalpha) the inverse of such a nice and simple function as $f(x)=x^3+x$ is: $$ f^{-1}(x) = \sqrt[3]{\frac{2}{3( \sqrt{81x^2+12}- 9x)}} - \sqrt[3]{\frac{\sqrt{81x^2+12}- 9x}{ 18}} $$

Now there may be a way to simplify that that I'm not seeing...

But regardless, I was wondering if there are any other seemingly simple functions with crazy, ugly inverses.

Is there any way to know ahead of time whether a function will have a nice inverse?

I know that not all functions even have inverses (over the reals). But is there any rhyme or reason as to why such a simple function would have such a crazy complex inverse? And is there a more general criteria for know whether other functions will be similar in this respect?

EDIT: To make this a little easier to answer, I've been told I need a better definition than ugly. Let's go with non-analytic, just because I'm interested. But if anyone has a better idea, please let me know.

$\endgroup$
12
  • 7
    $\begingroup$ Most polynomials have awful inverses. $\endgroup$
    – symplectomorphic
    Mar 10, 2016 at 7:00
  • 3
    $\begingroup$ And starting from degree 5 many of them are so ugly that you can't even write them analytically. $\endgroup$
    – pointer
    Mar 10, 2016 at 7:03
  • 3
    $\begingroup$ That's largely a silly question. To get a precise answer you'd need a precise definition of "ugly." The vast majority of "arbitrary" functions don't even have simple analytic representations. The short answer is: the inverse is "nice" if you can easily solve the appropriate equation. But most equations are very hard to solve. $\endgroup$
    – symplectomorphic
    Mar 10, 2016 at 7:17
  • 1
    $\begingroup$ Consider the simple function $f:x\mapsto xe^x$. Its inverse is the notorious Lambert W function. $\endgroup$
    – MJD
    Mar 10, 2016 at 8:20
  • 1
    $\begingroup$ The good news is that an ugly inverse of function might become a nice function when it is defined as a standard "special function". $\endgroup$
    – JJacquelin
    Mar 10, 2016 at 8:33

1 Answer 1

Reset to default
4
$\begingroup$

If you treat the function $f(x)=x+x^3$ as a series expansion and perform a series reversion then $$ f^{-1}(x) = x - x^3 + 3x^5 - 12 x^7 + 55x^9 - 273 x^{11} + \cdots $$ alternatively $$ f^{-1}(x) = \sum_{n=0}^\infty \binom{3n}{n}\frac{(-1)^n x^n}{2n+1} $$ with the coefficients identified thanks to OEIS entry A001764. The fact that the inverse series expansion has all integers with a simple formula is quite nice in my opinion, but if you look in the OEIS entry there are many combinatoric interpretations of this series. Viewed in the world of generating functions this is a 'nice' inverse. The function can be written in two other ways $$ f^{-1}(x) = \frac{2}{\sqrt{3}}\sinh\left(\frac{1}{3}\mathrm{arcsinh}\left(\frac{3\sqrt{3}x}{2}\right)\right) $$ and $$ f^{-1}(x) = x \;_2F_1\left( \frac{1}{3},\frac{2}{3}; \frac{3}{2};\frac{3^3 x^2}{2^2}\right) $$ In the language of hyperbolic trig functions the $\sinh$ and $\mathrm{arcsinh}$ almost cancel out if it wasn't for the factor of $1/3$, that's at least interesting, but not pretty. In the language of hypergeometric functions, this inverse is quite beautiful and mysterious. polynomial inverses often generate nice hypergeometric representations, and for higher orders that is one of the few languages that is capable of writing the inverses, (see my answer to this post for an example, note the $\frac{5^5}{4^4}$ pattern continues).

The reason it looks so ugly in it's surd form is probably because the function is not as special when written in that language. (I don't think many things look pretty with roots really).

$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .