3

Let $p(n)$ be the number of partitions of $n$, it is known that $p(n)\sim\frac{1}{4n\sqrt{3}}e^{\pi\sqrt{\frac{2n}{3}}}$, I am looking for a somewhat simple proof that $\log p(n)\sim \pi\sqrt{\frac{2n}{3}}$. Here is my first attempt :

Let $\Phi(x)=\sum_{n=0}^{+\infty}p(n)x^n=\prod_{k=1}^{+\infty}\frac{1}{1-x^k}$ for $x\in]-1,1[$, then $\forall x\in]0,1[,p(n)\leqslant\Phi(x)x^{-n}$ so we can look at how $\Phi$ behaves near $1^-$. In fact, it is not too hard to show that $\log\Phi(x)\underset{x\to 1^-}{\sim}\frac{\pi^2}{6(1-x)}$, so, if $\alpha>0$, we have $$ \log p(n)\leqslant\log\Phi\left(1-\frac{\alpha}{\sqrt{n}}\right)-n\log\left(1-\frac{\alpha}{\sqrt{n}}\right)\underset{n\to +\infty}{\sim}\left(\frac{\pi^2}{6\alpha}+\alpha\right)\sqrt{n}. $$ The $\alpha$ that minimizes the RHS is $\alpha=\frac{\pi}{\sqrt{6}}$ for which we get $\pi\sqrt{\frac{2n}{3}}$, this is suprisingly the right upper bound.

Can we obtain the right lower bound using the same ideas ? Or with some more new ideas if you want. Maybe there exists a tauberian theorem that would perfectly answer this question ?

Tuvasbien
  • 9,698
  • 1
    See this post for references to simple proofs. I think what you ask for is done in the article by Nathanson, including the references given there (by, say, Grosswald). – Dietrich Burde Mar 15 '25 at 11:08
  • Half of this can be done using the saddle point bound. See a discussion of how to get the right upper bound here: https://qchu.wordpress.com/2016/05/20/the-man-who-knew-partition-asymptotics/ I don't know an elementary way to get the corresponding lower bound. – Qiaochu Yuan Mar 15 '25 at 14:07

0 Answers0