Partition function (number theory): Difference between revisions

Revision as of 21:27, 15 February 2023

Revision as of 21:29, 15 February 2023

Line 182:

=== Generating function ===

The generating function for the numbers ''q''(''n'') is given by a simple infinite product:<ref>{{cite book|first=Richard P.|last=Stanley|author-link=Richard P. Stanley|title=Enumerative Combinatorics 1 |series=Cambridge Studies in Advanced Mathematics|volume=49|publisher=Cambridge University Press|isbn=0-521-66351-2 |year=1997|at=Proof of Proposition 1.8.5}}</ref>

<math display="block">\sum_{kn=0}^{\infty} q(kn)x^kn = \prod_{nk = 1}^\infty (1 + x^n) = (x;x^2)_{\infty}^{-1},</math>

where the notation <math>(a;b)_{\infty}</math> represents the [[Pochhammer symbol]] <math>(a;b)_{\infty} = \prod_{k = 0}^{\infty} (1 - ab^{k}).</math> From this formula, one may easily obtain the first few terms {{OEIS|A000009}}:

<math display="block">\sum_{kn=0}^{\infty} q(kn)x^kn = 1+1x+1x^2+2x^3+2x^4+3x^5+4x^6+5x^7+6x^8+8x^9+10x^{10}+\ldots.</math>

This series may also be written in terms of [[theta function]]s as

<math display="block">\sum_{kn=0}^{\infty} q(kn)x^kn = \vartheta_{00}(x)^{1/6}\vartheta_{01}(x)^{-1/3}\biggl\{\frac{1}{16\,x}\bigl[\vartheta_{00}(x)^4 - \vartheta_{01}(x)^4\bigr]\biggr\}^{1/24},</math>

where

<math display="block">\vartheta_{00}(x) = 1 + 2\sum_{n = 1}^{\infty} x^{n^2}</math>

Line 192:

<math display="block">\vartheta_{01}(x) = 1 + 2\sum_{n = 1}^{\infty} (-1)^{n} x^{n^2}.</math>

In comparison, the generating function of the regular partition numbers ''p''(''n'') has this identity with respect to the theta function:

<math display="block">\sum_{kn=0}^{\infty} p(kn)x^kn = (x;x)_{\infty}^{-1} = \vartheta_{00}(x)^{-1/6}\vartheta_{01}(x)^{-2/3}\biggl\{\frac{1}{16\,x}\bigl[\vartheta_{00}(x)^4 - \vartheta_{01}(x)^4\bigr]\biggr\}^{-1/24}.</math>

=== Identities about strict partition numbers ===