MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Is it possible to simplify the following expression involving instances of Gamma function:

$$E(p)=\frac{\frac{\Gamma(\frac{p+1}{2})}{\Gamma(\frac{p+2}{2})}} {\left(\frac{\Gamma(\frac{p+1}{p})^2}{\Gamma(\frac{p+2}{p})}\right)^{\frac{p+2}{2}}}$$

where $p$ is rational (or even real) and $p\geq2$. The bottom part of expression $E$ comes from the formula for the area of a superellipse, i.e., supercircle:

$$\mid x\mid ^p + \mid y \mid ^p =r^p,\ p\geq 2$$

and the rest is related to that also. Thanx in advance.

share|cite|improve this question
Either I'm missing the easy things, or David is missing the different denominators. Can you say more David? Gerhard "Ask Me About System Design" Paseman, 2011.12.05 – Gerhard Paseman Dec 6 '11 at 1:36
Duh, stupid me. Of course... – David Roberts Dec 6 '11 at 6:07
So I imagine it can't be made much simpler. I also tried using MatLab simplify command, but it didn't give any revolutionary results.. Thank you. – Dragisa Zunic Dec 9 '11 at 8:24

I guess it depends on what you mean by simplify. We could rewrite things in terms of (generalized) central binomial coefficients:

First the denominator: Notice that $$\frac{\Gamma\left(1+\frac{1}{p}\right)^{2}}{\Gamma\left(1+\frac{2}{p}\right)}=\binom{\frac{2}{p}}{\frac{1}{p}}^{-1}=\frac{1}{2p}\frac{\Gamma\left(\frac{1}{p}\right)^{2}}{\Gamma\left(\frac{2}{p}\right)}.$$ For the numerator $$\frac{\Gamma\left(\frac{p+1}{2}\right)}{\Gamma\left(\frac{p+2}{2}\right)}=\frac{\Gamma\left(\frac{p+1}{2}\right)^{2}}{\Gamma\left(\frac{p+1}{2}+\frac{1}{2}\right)\Gamma\left(\frac{p+1}{2}\right)}=\frac{\Gamma\left(\frac{p+1}{2}\right)^{2}}{\sqrt{\pi}2^{-p}\Gamma\left(p+1\right)}=\frac{2^{p}}{p\sqrt{\pi}}\binom{p-1}{\frac{p-1}{2}}^{-1}$$ so the fraction becomes $$\frac{2^{p}}{p\sqrt{\pi}}\binom{\frac{2}{p}}{\frac{1}{p}}^{\frac{p+2}{2}}\biggr/\binom{p-1}{\frac{p-1}{2}}.$$ You could also write it using the beta function, then it is $$\frac{2^{\frac{3p+2}{2}}p^{\frac{p+2}{2}}}{\sqrt{\pi}}\frac{\text{B}\left(\frac{1}{p},\frac{1}{p}\right)^{\frac{p+2}{2}}}{\text{B}\left(\frac{p+1}{2},\frac{p+1}{2}\right)}.$$ To clean it up, it feels like you need a nicer way to write $\Gamma\left(\frac{1}{p}\right)^{p}$. It seems to look like a multinomial coefficient.

Now, there is a way to rewrite everything as a multidimensional integral over a simplex, and I find this to be the cleanest way to rewrite it. This is related to a generalization of the Beta Function. Tell me if this interests you, and I can include it.

share|cite|improve this answer
Thank you Eric, I think this might be enough for me for now. – Dragisa Zunic Jan 23 '12 at 19:10

The only parts of this that can be simplified at all are $ \Gamma \left( {\frac {p+1}{p}} \right) ={\frac {\Gamma \left( \frac{1}{p} \right) }{p}}$, and similarly for $\Gamma\left(\frac{p+2}{p}\right)$ and $\Gamma\left(\frac{p+2}{2}\right)$

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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