8
$\begingroup$

Does the Gamma Function have an Inverse? (Is there an "arc-gamma" function?)

Where $\Gamma(x) = y... \Gamma^{-1}(y) = x\ (arc\Gamma(y)=x)$.

I've searched and found something called DiGamma Function, but when I substituted it didn't seem to be an inverse ("arc") but something else. I am not yet developed enough to understand haha...

Edit, I'd like to draw special attention to the comment below by u/G Cab, be sure to check it out, has a very useful answer to this question, but comments often go overlooked.

$\endgroup$
6
  • 2
    $\begingroup$ You can define an inverse function on any interval on which $\Gamma$ is monotone, say $x\geq1$. $\endgroup$ – Yuval Filmus Sep 15 '14 at 3:18
  • 1
    $\begingroup$ @YuvalFilmus but how do I evaluate it? $\endgroup$ – Albert Renshaw Sep 15 '14 at 3:29
  • 1
    $\begingroup$ That's a current question. There are many ways. You can use binary search, for example, using some good lower and upper bounds for $\Gamma$ which can be inverted explicitly. $\endgroup$ – Yuval Filmus Sep 15 '14 at 3:31
  • 1
    $\begingroup$ @YuvalFilmus Okay, so there is no like known integral or anything, it's all just iterating guesses until you get the number of decimal places you need. $\endgroup$ – Albert Renshaw Sep 15 '14 at 5:59
  • 1
    $\begingroup$ see this post and this paper by M:Uchiyama $\endgroup$ – G Cab Sep 3 '18 at 23:10
11
$\begingroup$

Is there an arc-gamma function ?

Of course there is. Is it also expressible in terms of elementary functions ? No. $($I believe that this is what you were ultimately trying to ask$)$.

Sorry if "arc" is the wrong term.

It is! But hey, life's too short to be sorry. ;-)

I've searched and found something called DiGamma Function.

The digamma, trigamma, and polygamma functions are the derivatives of the $\Gamma$ function, not its inverse.

$\endgroup$
9
  • 1
    $\begingroup$ Thankyou for your very kind answer :D Okay, so the answer is that there is CURRENTLY no easily-expressible inverse-gamma function? $\endgroup$ – Albert Renshaw Sep 15 '14 at 5:58
  • 1
    $\begingroup$ @AlbertRenshaw: No. It can be determined $($though not by me$)$, using certain elements of abstract algebra $($which I never actually studied, but of whose existence I am aware$)$, whether a function possesses or not an inverse and/or antiderivative expressible as a finite combination of elements of a specific set of given functions. However, if the function is analytical $($and $\Gamma$ certainly is$)$, then the Lagrange inversion theorem can be employed to express that inverse as an infinite series. $\endgroup$ – Lucian Sep 15 '14 at 6:28
  • $\begingroup$ @Lucian Could you tell me where I could find a wikipedia page/pdf/the name/etc about this abstract algebra proof to show if a function possesses an inverse expressible as a finite combination of elements of a specific set of given functions? $\endgroup$ – P-S.D Jun 11 '17 at 10:07
  • $\begingroup$ @P-S.D: Unfortunately, I am not able to remember anymore. At a first glance, Lagrange's inversion theorem seems to come pretty close, but, in and of itself, appears rather useless. However, if one were to use it in conjunction either with his reversion theorem, or with Liouville's theorem, in the eventuality that the infinite power series given by the former might be shown to satisfy... (to be continued) $\endgroup$ – Lucian Jun 12 '17 at 4:24
  • $\begingroup$ @P-S.D: ...certain implicit functional and/or differential equations “attackable” by the latter two, then all these things taken together might ultimately amount to precisely just such a theorem. $\endgroup$ – Lucian Jun 12 '17 at 4:25

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.