The Integrated Euler Function: Analytic Properties, Generative Identities, and the Boundary Between Proof and Construction via Term-by-Term Integration of Euler's Pentagonal Number Theorem

═══════════════════════════════════════════ ALTERNATIVE TITLES ═══════════════════════════════════════════ 1. Integrating Euler's Pentagonal Number Theorem: New Series Identities and the Limits of Calculus as Proof 2. From Product to Integral: Term-by-Term Integration of the Euler Function and Its Consequences 3. The Integral of the Euler Function: Uniform Convergence, New Generating Series, and Numerical Evaluation 4. Proof or Generation? Term-by-Term Integration of the Pentagonal Number Theorem Reconsidered 5. ∫ φ(q) dq: A Study of the Integrated Euler Function and Its Applications to Partition Theory 6. Beyond Euler's Identity: Constructing New Power Series through Integration of the Pentagonal Number Theorem 7. The q-Pochhammer Integral: Deriving and Evaluating ∫(0 to 1) ∏(n=1 to ∞)(1 - qⁿ) dq 8. When Integration Cannot Prove but Can Create: A Case Study on Euler's Pentagonal Number Theorem ═══════════════════════════════════════════ SUBTITLES ═══════════════════════════════════════════ Subtitle A (formal, journal style): "A rigorous treatment of uniform convergence, term-by-term integration, and the generation of new identities from the Euler product" Subtitle B (question-driven): "Does integrating both sides of an identity prove it—or generate something new?" Subtitle C (application-focused): "New series for the q-Pochhammer integral and the constant ≈ 0.448779…" Subtitle D (pedagogical): "Clarifying the distinction between proof and generation in formal power series manipulations" Subtitle E (compact): "Convergence, new identities, and numerical applications" ═══════════════════════════════════════════ DETAILED DESCRIPTION ═══════════════════════════════════════════ This paper investigates what happens when one applies calculus—specifically, indefinite and definite integration—to both sides of Euler's Pentagonal Number Theorem, the celebrated identity: φ(q) = ∏(n=1 to ∞) (1 - qⁿ) = 1 - q - q² + q⁵ + q⁷ - q¹² - q¹⁵ + … The central object of study is the Euler function φ(q), which plays a foundational role in combinatorics and number theory, most notably because its reciprocal 1/φ(q) is the generating function for the integer partition function p(n). The paper is organized around four questions: (1) Is term-by-term integration of the series mathematically legitimate? (2) What new identity does it produce? (3) Does this operation prove the original theorem? (4) What practical or numerical value does the resulting identity have? On question (1), the paper establishes that the power series for φ(q) converges absolutely and uniformly on every compact subset of the open unit disk |q| < 1. By standard theorems on uniform convergence, the integral of the infinite sum equals the infinite sum of the integrals. Term-by-term integration is therefore fully justified within the radius of convergence. On question (2), integrating both sides from 0 to q yields a new, valid power series identity: ∫(0 to q) ∏(n=1 to ∞) (1 - tⁿ) dt = q - q²/2 - q³/3 + q⁶/6 + q⁸/8 - q¹³/13 - q¹⁶/16 + … where the exponents are generalized pentagonal numbers g_k = k(3k-1)/2, each increased by one, and each coefficient is (-1)ᵏ divided by (g_k + 1). This integral has no elementary closed form but is closely related to the integral of the q-Pochhammer symbol (q;q)_∞. On question (3), the paper draws a sharp conceptual distinction. Integration is an implication, not an equivalence: if A = B, then ∫A = ∫B, but the converse fails because integration discards constant information (∫A = ∫B implies only A = B + C). Therefore, integrating both sides of the Pentagonal Number Theorem cannot serve as a proof of that theorem—it presupposes the theorem. What integration does provide is a generative mechanism: from a known truth it produces a new, valid identity. The paper contrasts this with differentiation, which is frequently used in the reverse direction—for example, taking logarithmic derivatives of Euler-type products to derive recurrence relations for p(n). On question (4), the paper evaluates the definite integral at the boundary of convergence, q → 1⁻, obtaining the constant: I = ∫(0 to 1) ∏(n=1 to ∞) (1 - tⁿ) dt ≈ 0.448779… and shows that the integrated series supplies a rapidly converging alternating representation of this constant: I = 1 - 1/2 - 1/3 + 1/6 + 1/8 - 1/13 - 1/16 + … This series converges faster than direct numerical quadrature of the integral, illustrating a concrete practical payoff. The constant itself appears in the study of quantum dilogarithms and in certain models of statistical mechanics. The paper concludes that term-by-term integration of Euler's Pentagonal Number Theorem is a legitimate and fruitful operation: it cannot prove the theorem it starts from, but it reliably constructs new identities, provides efficient numerical methods, and clarifies the boundary between what calculus can establish and what it can only build upon. The work is intended to be accessible to readers familiar with power series and uniform convergence, and it serves as a compact case study in the logic of formal series manipulation.