[Paper Review] Complex Harmonic Progression

Jose Risomar Sousa|arXiv (Cornell University)|Feb 4, 2019

History and Theory of Mathematics2 references1 citations

TL;DR

This paper generalizes previous formulae for sums of generalized harmonic progressions by extending the parameters $ a $ and $ b $ from integers to arbitrary complex numbers, while introducing the imaginary unit $ i $, resulting in expressions of the form $ \sum_j 1/(a i j + b)^k $. The derived formulae are valid except when $ i b / a \in \mathbb{Z} $, and they extend prior work through a refined application of the same analytical reasoning framework.

ABSTRACT

In my second paper, we'd seen how to create formulae for the sum of the terms of a generalized harmonic progression with integer parameters, that is, $\sum_{j}1/(a j+b)^k$, where $a$ and $b$ are integers. Those formulae were more general than the ones we came up with for the harmonic numbers in the first paper. In this new paper we will make these formulae even more general by removing the restriction that $a$ and $b$ be integers, that is, here we'll address $\sum_{j}1/(a ext{i} j+b)^k$, where $a$ and $b$ are any complex numbers and $ ext{i}$ is the imaginary unity. These new, relatively simple formulae always hold, except when $ ext{i} b/a\in \mathbb{Z}$. This paper employs a slightly modified version of the reasoning used in the previous paper, which has already been fully explained in previous papers. Nonetheless, we will make another brief exposition of the principle used to derive such formulae.

Motivation & Objective

• To generalize prior formulae for generalized harmonic progression sums by relaxing the integer constraint on parameters $ a $ and $ b $.
• To extend the domain of validity of such sum formulae to complex numbers while preserving analytical tractability.
• To maintain consistency with the reasoning framework established in previous works, now applied to complex-valued coefficients.
• To identify the exceptional case $ i b / a \in \mathbb{Z} $, where the formulae no longer hold.

Proposed method

• Adapts the analytical approach from prior papers to handle complex parameters $ a $ and $ b $, treating them as elements of $ \mathbb{C} $.
• Applies a modified version of the summation derivation technique used in earlier works, now extended to complex arithmetic.
• Derives closed-form expressions for $ \sum_j 1/(a i j + b)^k $, where $ j $ ranges over an appropriate index set.
• Identifies the condition $ i b / a \in \mathbb{Z} $ as the sole exception where the formulae fail.
• Uses analytic continuation principles implicitly through the structure of the derived expressions.
• Maintains consistency with prior derivations by reusing the same foundational reasoning, now generalized to complex parameters.

Experimental results

Research questions

• RQ1 How can the sum $ \sum_j 1/(a i j + b)^k $ be expressed in closed form when $ a $ and $ b $ are complex numbers?
• RQ2 What conditions must be satisfied for the derived formulae to remain valid in the complex domain?
• RQ3 How does the inclusion of the imaginary unit $ i $ in the denominator affect the convergence and structure of the sum?
• RQ4 What is the role of the condition $ i b / a \in \mathbb{Z} $ in determining the validity of the formulae?
• RQ5 In what way does the method from previous papers generalize to complex parameters without losing analytical simplicity?

Key findings

• The paper derives closed-form formulae for $ \sum_j 1/(a i j + b)^k $ that are valid for all complex $ a $ and $ b $, except when $ i b / a \in \mathbb{Z} $.
• The derived expressions generalize earlier results by removing the restriction that $ a $ and $ b $ be integers.
• The formulae maintain analytical simplicity and are consistent with the reasoning framework used in prior publications.
• The exceptional case $ i b / a \in \mathbb{Z} $ is identified as the only condition under which the formulae fail.
• The method successfully extends the domain of applicability of harmonic progression sum formulae to the complex plane while preserving mathematical rigor.