Abstract:Euler's classic partition identity states that the number of partitions of $n$ into odd parts equals the number of partitions of $n$ into distinct parts. We develop a new generalization of this identity, which yields a previous generalization of Franklin as a special case, and prove an accompanying Beck-type companion identity.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to generalize the classical integer partition identities and prove the related Beck - type companion identities. Specifically:
1. **Generalization of classical integer partition identities**:
- Euler's classical partition identity states that for any non - negative integer \(n\), the number of partitions of \(n\) into odd parts is equal to the number of partitions of \(n\) into distinct parts. Expressed as a formula:
\[
p(n\mid \text{no part is divisible by 2}) = p(n\mid \text{no part appears }\geq 2\text{ times})
\]
- Glaisher and Franklin further generalized this identity, considering more general cases respectively. For example, Glaisher's theorem states:
\[
p(n\mid \text{no part divisible by }k) = p(n\mid \text{no part appears }\geq k\text{ times})
\]
- This paper further generalizes these results by introducing a new parameter \(b\) and proving a more general identity:
\[
p(n\mid \text{no part is divisible by }kb) = p(n\mid \text{no part is both divisible by }b\text{ and appears }\geq k\text{ times})
\]
2. **Proof of Beck - type companion identities**:
- Beck conjectured some interesting identities related to Euler's identity. For example, for any positive integer \(n\), if we calculate the total number of parts in all partitions counted by \(O_{0,2}(n)\), and then subtract the total number of parts in all partitions counted by \(D_{0,2}(n)\), the result will be equal to \(O_{1,2}(n)=D_{1,2}(n)\).
- This paper not only verifies these conjectures but also generalizes them, proposing a more general Beck - type companion identity:
\[
E(O_{j,k,b}(n), D_{j,k,b}(n))=(k - 1)\left((j + 1)O_{j+1,k,b}(n)-jO_{j,k,b}(n)\right)
\]
Through these works, this paper provides a series of new and broader results in the theory of integer partitions and lays the foundation for future research.