arxiv: 2605.03200 · v2 · submitted 2026-05-04 · 🧮 math.CV · math.CO· math.NT

Recognition: unknown

Analytic summation of series involving higher-order derivatives of Chebyshev polynomials of the second kind and their applications to convolved linear recurrent sequences

Alexander Stokolos, Daniel Gray, Dmitriy Dmitrishin, Vitaly Khamitov

Pith reviewed 2026-05-08 01:34 UTC · model grok-4.3

classification 🧮 math.CV math.COmath.NT

keywords Chebyshev polynomials of the second kindanalytic summationlinear recurrent sequencesFibonacci numbersLucas numbersPell numberscombinatorial identitiesanalytic continuation

0 comments

The pith

Series of higher-order derivatives of Chebyshev polynomials of the second kind sum analytically to rational functions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper applies analytic summation to functional series whose terms are higher-order derivatives of Chebyshev polynomials of the second kind, with polynomial degree linked to derivative order. These series converge to rational functions expressed using the polynomials evaluated at a fixed argument. The resulting closed-form summation formulas connect directly to linear recurrent sequences and produce explicit identities. Consequences include combinatorial relations among Fibonacci, Lucas, and Pell numbers, their sections, and convolutions. Analytic continuation then extends the formulas to formally divergent cases, recovering Euler-type results in special instances.

Core claim

Analytic summation shows that the series converge to rational functions expressed in terms of Chebyshev polynomials of the second kind evaluated at a specific argument. New closed-form formulas follow for the sums at various arguments. These formulas generate combinatorial identities for the Fibonacci, Lucas, and Pell numbers, for sections of the Fibonacci sequence, and for their convolutions. Analytic continuation supplies sums for formally divergent series that correspond to classical Euler formulas in special cases.

What carries the argument

Analytic summation applied to series of higher-order derivatives of Chebyshev polynomials of the second kind (degree tied to derivative order), which maps onto terms generated by linear recurrence relations.

If this is right

Closed-form summation formulas for the series at specific argument values.
Combinatorial identities for Fibonacci, Lucas, and Pell numbers.
Identities for sections of the Fibonacci sequence and for convolutions of these recurrent sequences.
Explicit sums for formally divergent series via analytic continuation, matching Euler formulas in special cases.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The summation technique may extend to other families of orthogonal polynomials that satisfy similar recurrence relations.
The derived identities could simplify explicit computations or generating-function derivations for broader classes of linear recurrent sequences.
Testing the analytic-continuation step on additional series with polynomial derivatives would check the robustness of the extension beyond the original convergence domains.

Load-bearing premise

The series converge to the claimed rational functions inside suitable domains of the complex plane, and analytic continuation extends the resulting identities without introducing extra singularities.

What would settle it

Numerical partial sums of the series for a concrete argument value inside the convergence disk compared directly against the value of the proposed rational function at that point.

read the original abstract

This paper considers functional series whose terms are higher-order derivatives of Chebyshev polynomials of the second kind, where the degree of the polynomial is related to the order of the derivative. Analytic summation is used to determine the rational functions to which these series converge. These functions are expressed in terms of Chebyshev polynomials evaluated at a specific argument. Connections are established between derivatives of Chebyshev polynomials of the second kind and special numerical sequences generated by linear recurrence relations. New closed-form formulas are obtained for the sums of the series at various values of the argument. As consequences, combinatorial identities are derived for the Fibonacci, Lucas, and Pell numbers, for sections of the Fibonacci sequence, and for their convolutions. By means of analytic continuation, sums of formally divergent series are obtained, which in special cases correspond to the classical Euler formulas.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives explicit rational closed forms for sums of higher-order Chebyshev second-kind derivative series and derives combinatorial identities for Fibonacci/Lucas/Pell convolutions, with the analytic continuation step for divergent cases as the part that needs the tightest verification.

read the letter

The paper supplies explicit closed-form rational expressions for certain series built from higher-order derivatives of Chebyshev polynomials of the second kind. It connects these sums to linear recurrent sequences and derives combinatorial identities for Fibonacci, Lucas, and Pell numbers along with their convolutions, including some for formally divergent series via analytic continuation. The approach builds directly on known analytic properties of Chebyshev polynomials and standard recurrence techniques. The new closed forms and the extension to convolved sequences are the concrete advances here. The formulas look usable for direct computation in the convergent range. The main concern is whether the analytic continuation is fully justified. The derived rational functions must not have singularities that block the paths to the claimed values at the special arguments. The paper needs to show that the continuation preserves the connection to the recurrence relations without hidden obstructions. If the text provides that check, the divergent cases are fine; if not, those identities rest on an unverified assumption. Readers working on summation methods for special functions or identities in recurrent sequences will find this relevant. It is a focused contribution rather than a broad one, but the explicit results make it worth refereeing. I would send this to peer review with a request to strengthen the continuation argument.

Referee Report

1 major / 1 minor

Summary. The paper develops analytic summation for series whose terms involve the k-th derivative of the Chebyshev polynomial of the second kind of degree n (with n related to k). It shows these series converge to explicit rational functions expressed in terms of Chebyshev polynomials of the second kind evaluated at a fixed argument. Connections are established to linear recurrent sequences, producing closed-form sums and combinatorial identities for Fibonacci, Lucas, Pell numbers, sections of the Fibonacci sequence, and their convolutions. Analytic continuation is invoked to assign values to formally divergent series, recovering classical Euler formulas in special cases.

Significance. If the derivations and domain specifications hold, the work supplies new explicit rational-function expressions and identities at the interface of orthogonal polynomials and linear recurrences. The concrete combinatorial consequences for convolved sequences constitute a tangible contribution; the recovery of Euler-type sums via continuation, if justified, would add further interest.

major comments (1)

[analytic continuation argument and applications to recurrent sequences] The analytic continuation step used to sum formally divergent series (including those tied to the Fibonacci/Lucas/Pell convolutions) is load-bearing for the central claims about divergent regimes and Euler formulas. The manuscript must explicitly verify that the derived rational functions have no poles or other singularities on the continuation paths for the specific arguments employed; otherwise the extension does not commute with the recurrence relations and the claimed identities fail.

minor comments (1)

[Abstract] The abstract should state the precise argument at which the Chebyshev polynomials are evaluated.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the constructive report and for highlighting the need for rigorous justification of the analytic continuation step. We address the major comment below.

read point-by-point responses

Referee: The analytic continuation step used to sum formally divergent series (including those tied to the Fibonacci/Lucas/Pell convolutions) is load-bearing for the central claims about divergent regimes and Euler formulas. The manuscript must explicitly verify that the derived rational functions have no poles or other singularities on the continuation paths for the specific arguments employed; otherwise the extension does not commute with the recurrence relations and the claimed identities fail.

Authors: We agree that explicit verification is required to substantiate the analytic continuation for the divergent series and the associated identities. The closed-form rational functions are derived from the generating-function relations satisfied by the Chebyshev derivatives and are meromorphic in the complex plane. For the concrete parameter values arising in the Fibonacci, Lucas, and Pell applications (determined by the roots of the respective characteristic polynomials), the poles lie at isolated algebraic points that do not intersect the standard continuation paths (real-line segments or small deformations avoiding branch cuts). In the revised manuscript we will add a short subsection (or appendix) that explicitly locates these poles for each sequence, confirms that the chosen paths remain in the domain of holomorphy, and verifies that the resulting sums are consistent with the linear recurrence relations. This also ensures that the recovered Euler-type formulas hold without contradiction in the indicated special cases. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation uses independent analytic summation and known recurrence-Chebyshev links

full rationale

The paper derives closed-form rational functions for the series by direct analytic summation of terms involving higher-order derivatives of Chebyshev polynomials of the second kind, expressed at a fixed argument. These expressions are then connected to linear recurrences (Fibonacci, Lucas, Pell) via established generating-function identities between Chebyshev polynomials and such sequences, which predate the paper and are not fitted or redefined here. Analytic continuation is applied to assign values to formally divergent cases, matching classical Euler sums in special cases, but this extension rests on the analytic properties of the derived rational functions rather than presupposing the target sums. No self-citation is load-bearing, no parameters are fitted to subsets and relabeled as predictions, and no ansatz or uniqueness claim reduces the central result to its own inputs by construction. The chain is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard analytic properties of Chebyshev polynomials of the second kind together with the theory of linear recurrence sequences. No free parameters or invented entities are introduced in the abstract; the work applies existing tools to obtain explicit sums.

axioms (2)

standard math Known differentiation and recurrence identities for Chebyshev polynomials of the second kind hold in the complex plane.
Invoked to perform the term-by-term summation and to express the resulting rational functions.
domain assumption The functional series converge inside suitable disks or half-planes determined by the argument.
Required for the analytic summation step to be valid before continuation.

pith-pipeline@v0.9.0 · 5460 in / 1390 out tokens · 63215 ms · 2026-05-08T01:34:06.459250+00:00 · methodology