Discrete index Whittaker transforms

Semyon Yakubovich

REVIEW 3 major objections 3 minor 7 references

Discrete index Whittaker transforms

T0 review · 3 major / 3 minor · reviewed 2026-08-27 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Two inversion theorems make the discrete index Whittaker transform exactly recoverable.

desk verdict Solid reduction to known Kontorovich-Lebedev machinery, but Theorem 2's printed normalization is off by a factor Γ(2(1−μ))², so the main inversion formula does not follow as stated. read the letter →

arxiv 2009.12238 v1 pith:MJ5N7HCH submitted 2020-09-25 math.CA

Semyon Yakubovich This is my paper · ORCID

classification math.CA MSC 45A0544A1542A1633C1533C10

keywords discreteindexWhittakertransformfunctionKontorovich-LebedevparaboliccylinderinversionformulaFourierseriesmodifiedBessel

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proposes discrete analogs of the index Whittaker transform: a series that sends a sequence $(a_n)$ to a function $f(x)=e^{-x/2}\sum_{n\ge1}a_n W_{\mu,in}(x)$, and an integral that sends a function $f$ to the coefficients $a_n=\int_0^\infty e^{-x/2}W_{\mu,in}^2(x)f(x)x^{\mu-2}\,dx$. Its aim is to show that these two operations are reciprocal. Two inversion theorems are proved for $\mu<1/2$: every sequence satisfying a weighted $\ell^1$ condition is recovered from $f$ by an explicit absolutely convergent integral, and every function representable as an integral against the same Whittaker kernels is recovered from its coefficients by a sine series. The first reduction goes through the discrete Kontorovich-Lebedev transform of double index; the second uses Fourier series of a Lipschitz function.

What carries the argument

The argument is carried by two integral identities. Identity (1.12) evaluates the modified Laplace transform of $e^{-t/2}W_{\mu,\rho}(t)t^{\mu-2}$ as $2(x/2)^{2\mu-1}K_{2\rho}(x)$, turning the Whittaker series into a double-index discrete Kontorovich-Lebedev transform; identity (1.13) rewrites integrals with quadratic exponentials in terms of parabolic cylinder functions, which become the kernels $\Phi_n^\mu$ and $\Psi_n^\mu$. In Theorem 2 the same reduction converts the coefficients into Fourier sine coefficients of a Lipschitz function, and a Riemann-Lebesgue argument recovers the function.

What would settle it

Take $\mu=0$, $a_1=1$, and $a_n=0$ for $n>1$, compute $f(x)=e^{-x/2}\sqrt{x/\pi}K_i(x/2)$, and evaluate the right side of (2.2) at $n=1$ numerically over a range of $x$; if the integral does not return 1 within quadrature error, the inversion formula is false.

Watch

Extended reading notes

Core claim

The central discovery is that the discrete index Whittaker transform is invertible on explicit, natural classes. For $\mu<1/2$ and any sequence obeying (2.1), the proof derives the recovery formula (2.2) from the series definition (1.3), with a kernel $\Phi_n^\mu$ built from a parabolic cylinder function; conversely, any function of the form (2.12) with a Lipschitz-periodic seed is shown to equal the series (2.14) whose coefficients are the transforms (1.4). The results make the discrete index Whittaker transform a bona fide reciprocal pair on these classes.

Load-bearing premise

The proof of the first inversion theorem relies on a quoted result that any series of modified Bessel functions $K_{2im}(x)$ of the kind produced here can be inverted; that quoted result is not proved in this paper, and the whole formula (2.2) collapses if the class does not match.

Editorial extensions

If this is right

Theorem 1 lets one reconstruct a sequence $\{a_n\}$ from pointwise values of the Whittaker series $f$, with an absolutely convergent integral formula, whenever the sequence satisfies (2.1).
Theorem 2 lets one reconstruct $f$ from its coefficients $a_n$ whenever $f$ is of the form (2.12), including the special case $\mu=0$, where the kernel simplifies to a complementary error function and the transform reduces to a modified discrete Kontorovich-Lebedev transform.
Remark 1 yields an explicit expansion of any admissible sequence in terms of the Whittaker functions.
The kernels are related by $\Psi_n^\mu(x)=2\,\operatorname{Im}\Phi_{n-i/2}^{\mu-1/2}(x)$, giving a structural link between the two inversion formulas.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The same 'apply modified Laplace transform, invert discrete Kontorovich-Lebedev, swap back' route could likely produce explicit inversions for discrete index transforms with other kernels, such as Meijer G-function kernels, whenever the corresponding continuous theory is available.
The Lipschitz hypothesis in Theorem 2 is used only to control a Dirichlet-kernel remainder through the Riemann-Lebesgue lemma; a function of bounded variation might serve the same purpose, so the inversion set may be wider than stated.
The condition (2.1) is an $\ell^1$ condition with a gamma-factor weight; testing numerically whether (2.2) remains stable when the condition fails marginally would clarify how sharp the stated hypothesis is.

Share X Bluesky LinkedIn Reddit HN

Formalized claims in Lean

Claim #1: The central discovery is that the discrete index Whittaker transform is invertible on explicit, natural classes. For $\mu<1/2$ and any sequence obeying (2.1), the proof derives the recovery formula (2.2) from the series definition (1.3), with a kernel $\Phi_n^\mu$ built from a parabolic cylinder function; conversely, any function of the form (2.12) with a Lipschitz-periodic seed is shown to equal

/-- @claim 1 The central discovery is that the discrete index Whittaker transform is invertible on explicit, natural classes. For $\mu<1/2$ and any sequence obeying (2.1), the proof derives the recovery formula (2.2) from the series definition (1.3), with a kernel $\Phi_n^\mu$ built from a parabolic cylinder function; conversely, any function of the form (2.12) with a Lipschitz-periodic seed is shown to equal  -/
def central_claim : Prop :=

Signed reviews

No signed human review yet.

Request a human review

A listed scientist reviews the paper for a fee and the review publishes here regardless of verdict. See the reviewers or get listed.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Bottom line: this paper adds discrete index Whittaker transforms and a pair of inversion theorems, but Theorem 2's printed inversion formula has a genuine normalization error. The proof's final limit differs from the definition of f in (2.12) by a factor Γ(2(1−μ))², so (2.14) does not reproduce f for generic μ<1/2. That is a checkable algebraic inconsistency, not a subtle analytic issue.

What works: Theorem 1 is a genuine extension of Wimp's continuous Whittaker pair to a discrete index, and the derivation is a careful reduction to the author's discrete Kontorovich-Lebedev inversion. The estimates for interchanging sums and integrals are detailed and plausible. The use of [7] is not circular: it is an external dependence on a separate result, not an assumption of the target claim. The parabolic cylinder kernel and Fourier series machinery are appropriate for the problem.

Soft spots, in order: (1) The constant error above is load-bearing. The proof's last line uses the fact that the symmetric integrand [φ(t)+φ(−t)] integrates to 2∫φ, yielding (2x)^{1−μ}/Γ(2(1−μ))∫e^{...}φ, while (2.12) inserts an extra Γ(2(1−μ)). The fix looks simple—change the prefactor in (2.14) from 1/Γ(2(1−μ)) to Γ(2(1−μ))—but as printed the theorem is false. (2) The coefficient definition (1.4) appears to use W_{μ, i n/2} (the text shows 'in 2'), while the abstract and (1.3) use W_{μ, i n}. That mismatch is confusing and should be resolved; the proof of Theorem 2 uses the half-index version consistently, so it may be a notational slip. (3) Theorem 1's reliance on [7] is acceptable; the condition check via Stirling is convincing.

Who this is for: specialists in special function transforms and index transforms. The paper deserves a serious referee even with the error, because the method is sound, Theorem 1 is likely correct, and Theorem 2 is one constant factor away from being correct.

Recommendation: send to peer review with a request that the author carefully check the normalization of (2.14) versus (2.12). This is exactly the kind of error a referee should catch, not a desk rejection.

Referee Report

3 major / 3 minor

Summary. The paper introduces discrete analogs of the index Whittaker transform, defined through series and integrals over the discrete index n of Whittaker functions W_{μ,in}(x). Two inversion theorems are claimed. Theorem 1 gives an inversion formula (2.2) recovering a sequence {a_n} from the function f defined by (1.3), with a kernel built from parabolic cylinder functions. Theorem 2 gives an inversion formula (2.14) recovering a function f of the special form (2.12) from the coefficients (1.4). The proofs rely on integral representations, an identity connecting the modified Laplace transform of W_{μ,iτ} to modified Bessel functions, Fourier series, and a reduction to the discrete Kontorovich-Lebedev transform. The paper also contains remarks on the case μ=0 and a relation between the two kernel functions.

Significance. If the two inversion formulas were correct, they would provide useful discrete analogues of the index Whittaker transform, complementing the author's earlier work on discrete Kontorovich-Lebedev transforms. The paper demonstrates a plausible strategy: at μ=0 the results reduce to known discrete Kontorovich-Lebedev inversion, and the estimates used to justify interchanges are mostly careful. However, the main theorems as printed contain a serious internal inconsistency in Theorem 2, and Theorem 1 depends on an unstated, load-bearing external inversion theorem from a self-citation. These issues currently prevent the paper from establishing its central claims.

major comments (3)

[Section 2, Theorem 2, Eq. (2.14) and the final line of its proof] The final limit derived in the proof is lim_N S_N(x) = (2x)^{1−μ}/(2Γ(2(1−μ))) ∫_{−π}^{π} e^{x cosh²(t)/2} D_{2(μ−1)}(√(2x) cosh(t)) [φ(t)+φ(−t)] dt. Since ∫_{−π}^{π}[φ(t)+φ(−t)]dt = 2∫_{−π}^{π}φ(t)dt, this expression equals (2x)^{1−μ}/Γ(2(1−μ)) ∫_{−π}^{π} e^{x cosh²(t)/2} D_{2(μ−1)}(√(2x) cosh(t)) φ(t) dt. But the function f in (2.12) is defined with an additional prefactor Γ(2(1−μ)), so the displayed limit differs from f(x) by the factor Γ(2(1−μ))² for generic μ<1/2. Consequently, the printed series (2.14) does not reproduce the f of (2.12), and Theorem 2, as stated, is internally inconsistent. The normalization in (2.14) or (2.12) must be corrected and the proof checked accordingly.
[Section 1, Eq. (1.4), and the proof of Theorem 2] The coefficient transform (1.4) is printed with the kernel W_{μ,in}(x) (or possibly its square), but in the proof of Theorem 2, around (2.17), the kernel used is W_{μ, in/2}(x), and the subsequent calculation with (1.12) produces K_{in}(t), consistent with the index n/2. As printed, (1.4) is ambiguous and appears inconsistent with the proof. Since (1.4) defines the very transform under study, this needs to be corrected and made unambiguous.
[Section 2, Theorem 1, proof after Eq. (2.4)] The inversion step in Theorem 1 relies entirely on the statement that the right-hand side of (2.4) is a discrete Kontorovich-Lebedev transform of double index invertible under the condition Σ|a_m|e^{−πm}<∞, citing Theorem 1 of [7]. The precise hypothesis of that theorem is not stated in this paper, and it is not verified here that the kernel K_{2im}(x) and sequences satisfying (2.1) fall within its scope. This is a load-bearing external premise; the author should either state the theorem from [7] and verify its applicability in detail, or give a self-contained proof of the inversion step.

minor comments (3)

[Throughout] The text contains many typographical and formatting errors (e.g., 'intro duced', 'i s', inconsistent spacing in formulas) that should be corrected before publication.
[Section 2, Eq. (2.3) and Remark 1] The kernel Φ_n^μ in (2.3) is defined as an integral over [0,π], but in Remark 1 the same notation is used in (2.11) for the case μ=0 with a different expression involving erfc. It would help to clearly distinguish these definitions or add a comment explaining the reduction.
[Section 2, Eq. (2.15) and Remark 2] The relation Ψ_n^μ(x)=2 Im Φ_{n−i/2}^{μ−1/2}(x) in Remark 2 is stated without proof or derivation. If it is intended to be an identity, a brief justification or a reference would be helpful.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the paper reduces the new discrete Whittaker inversions to the author's prior discrete Kontorovich-Lebedev inversion and to standard Fourier-series arguments, neither of which assumes the target theorem.

full rationale

The derivation chain is a genuine reduction rather than a circular one. In Theorem 1, identity (2.4) converts the Whittaker series (1.3) into a discrete Kontorovich-Lebedev transform in the variable x. The paper then invokes the inversion theorem for that transform from [7], Th. 1, and checks the required summability condition using (2.1) and Stirling's formula. The cited theorem concerns a different transform and does not already contain the Whittaker inversion formula (2.2), so the self-citation is load-bearing but independent. In Theorem 2, the coefficients a_n are computed from the defining integral (1.4) in formula (2.18), and the series (2.14) is then evaluated by a Dirichlet-kernel/Fourier argument with the Lipschitz condition (2.13). The representation (2.12) is an input hypothesis, not the conclusion being assumed. No parameter is fitted and then renamed as a prediction, and no known result is merely relabeled. The paper does rely on prior work [7] for a key inversion step, but that reliance is an external mathematical premise, not circular reasoning. Any possible constant-factor inconsistency in the final limit of Theorem 2 would be an internal correctness concern, not a circularity of the derivation. Therefore no circular step is exhibited, and the appropriate score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The derivation leans on standard special function identities and on one external theorem from the author's prior work [7]. No free parameters are fitted to data and no new entities are introduced. The main external dependency is the discrete Kontorovich-Lebedev inversion theorem, which is cited but not reproduced in the text.

assumptions (5)

domain assumption Theorem 1 of [7] gives an inversion formula for the discrete Kontorovich-Lebedev transform of double index K_{2im}(x) under the stated summability condition.
Used in Theorem 1 immediately after equation (2.4) to pass from the modified Laplace transform identity to the coefficients a_n; the present paper does not reproduce the theorem or its proof.
standard math The integral identity (1.12): integral over t of exp(-x^2/(4t)-t/2) W_{mu,rho}(t) t^{mu-2} dt equals 2(x/2)^{2mu-1} K_{2rho}(x) holds for the parameters used.
Derived in Section 1 from the Mellin-Barnes representation and Bessel function formulas; it is the bridge between the Whittaker and Bessel kernels in both theorems.
standard math The bounds (1.8) and (1.9) on |K_{i tau}(x)| and |W_{mu,i tau}(x)| hold and provide the exponential decay used to justify Fubini interchanges.
Quoted from [6] and [2]; used in the proof of Theorem 1 to allow summation-integration interchange and in Theorem 2 for the x-integral estimates.
standard math The parabolic cylinder integral formula (1.13) is valid for the parameter ranges used in the kernels (2.3), (2.12), and (2.15).
Used to convert the integral representations into the displayed inversion kernels and the function class (2.12).
standard math Fourier series of a 2pi-periodic Lipschitz function converge pointwise and the Dirichlet kernel limit follows from the Riemann-Lebesgue lemma.
Used at the end of Theorem 2 to pass from the partial sums (2.19) to f(x) in the limit N to infinity.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Discrete index Whittaker transforms." pith.science (2026). https://pith.science/paper/MJ5N7HCH

@misc{pith2026200912238,
  author       = {Pith},
  title        = {Pith review of: Discrete index Whittaker transforms},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/MJ5N7HCH}},
  note         = {Machine review of arXiv:2009.12238}
}

abstract

Discrete analogs of the index Whittaker transform are introduced and investigated. It involves series and integrals with respect to a second parameter of the Whittaker function $W_{\mu, {i n} }(x), \ x >0, \ \mu \in \mathbb{R}, \ n \in \mathbb{N}, \ i $ is the imaginary unit. The corresponding inversion formulas for suitable functions and sequences in terms of these series and integrals are established.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

7 extracted references · 5 canonical work pages

[7]

Low-thrust transfer trajec- tory planning and tracking in the Earth-Moon elliptic restr icted three-body problem,

S. Yakubovich, Discrete Kontorovich-Lebedev transforms, Ramanujan J. DOI 10.1007/s 11139-020-00313-7. S.Yakubovich Department of Mathematics, Faculty of Sciences, University of Porto, Campo Alegre st., 687 4169-007 Porto Portugal E-Mail: syakubov@fc.up.pt

work page doi:10.1007/s
[1]

Jones, Incomplete Bessel functions

D.S. Jones, Incomplete Bessel functions. I, Proc. Edinb. Math. Soc. 50 ( 2007), N 1, 173-183

work page 2007
[2]

Prudnikov, Yu.A

A.P. Prudnikov, Yu.A. Brychkov and O.I. Marichev, Integrals and Series . Vol. I: Elementary Functions , Vol. II: Special Functions, Gordon and Breach, New York and London, 1986, Vol. III : More special functions , Gordon and Breach, New York and London, 1990

1986
[3]

Wimp, A class of integral transforms, Proc

J. Wimp, A class of integral transforms, Proc. Edinb. Math. Soc. 14 (1964), N 2, 33-40

1964
[4]

Yakubovich and Yu

S. Yakubovich and Yu. Luchko, The Hypergeometric Approach to I ntegral Trans- forms and Convolutions, Kluwer Academic Publishers, Mathematics and Applica- tions. Vol.287, 1994

work page 1994
[5]

Srivastava, Yu

H.M. Srivastava, Yu. V. Vasil’ev and S.B. Yakubovich, A class of index t ransforms with Whittaker’s function as the kernel. Quart. J. Math. Oxford 49 (2) (1998), 375-394

work page 1998
[6]

Yakubovich, Index Transforms, World Scientiﬁc Publishing Company, Singapore, New Jersey, London and Hong Kong, 1996

S. Yakubovich, Index Transforms, World Scientiﬁc Publishing Company, Singapore, New Jersey, London and Hong Kong, 1996

work page 1996

Pith tools

Reviewed August 27, 2026 · model on record in the stance chip above.

[1] [7]

Low-thrust transfer trajec- tory planning and tracking in the Earth-Moon elliptic restr icted three-body problem,

S. Yakubovich, Discrete Kontorovich-Lebedev transforms, Ramanujan J. DOI 10.1007/s 11139-020-00313-7. S.Yakubovich Department of Mathematics, Faculty of Sciences, University of Porto, Campo Alegre st., 687 4169-007 Porto Portugal E-Mail: syakubov@fc.up.pt

work page doi:10.1007/s

[2] [1]

Jones, Incomplete Bessel functions

D.S. Jones, Incomplete Bessel functions. I, Proc. Edinb. Math. Soc. 50 ( 2007), N 1, 173-183

work page 2007

[3] [2]

Prudnikov, Yu.A

A.P. Prudnikov, Yu.A. Brychkov and O.I. Marichev, Integrals and Series . Vol. I: Elementary Functions , Vol. II: Special Functions, Gordon and Breach, New York and London, 1986, Vol. III : More special functions , Gordon and Breach, New York and London, 1990

1986

[4] [3]

Wimp, A class of integral transforms, Proc

J. Wimp, A class of integral transforms, Proc. Edinb. Math. Soc. 14 (1964), N 2, 33-40

1964

[5] [4]

Yakubovich and Yu

S. Yakubovich and Yu. Luchko, The Hypergeometric Approach to I ntegral Trans- forms and Convolutions, Kluwer Academic Publishers, Mathematics and Applica- tions. Vol.287, 1994

work page 1994

[6] [5]

Srivastava, Yu

H.M. Srivastava, Yu. V. Vasil’ev and S.B. Yakubovich, A class of index t ransforms with Whittaker’s function as the kernel. Quart. J. Math. Oxford 49 (2) (1998), 375-394

work page 1998

[7] [6]

Yakubovich, Index Transforms, World Scientiﬁc Publishing Company, Singapore, New Jersey, London and Hong Kong, 1996

S. Yakubovich, Index Transforms, World Scientiﬁc Publishing Company, Singapore, New Jersey, London and Hong Kong, 1996

work page 1996