pith. sign in

arxiv: 2607.00109 · v1 · pith:6U7TPMHGnew · submitted 2026-06-30 · 🧮 math.CA

An order-interpolation inequality for Bessel functions

Soichiro Suzuki This is my paper

Pith reviewed 2026-07-02 01:05 UTC · model grok-4.3

classification 🧮 math.CA
keywords Bessel functionsorder interpolationinequalitySchrödinger equationsmoothing estimatesrecurrence relations
0
0 comments X

The pith

Bessel functions satisfy J_{\mu+\nu}(r)^2 < J_{\nu-1/2}(r)^2 + J_{\nu+1/2}(r)^2 for fractional order shifts.

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

The paper establishes that the square of the Bessel function of the first kind at order μ plus ν is strictly smaller than the sum of the squares at orders ν minus one-half and ν plus one-half, whenever μ lies in the open interval from negative one-half to one-half, ν is nonnegative, and r is positive. A stronger result holds for any nontrivial linear combination of the first-kind and second-kind Bessel functions. The inequality is framed as an order-interpolation relation. It is applied to obtain a comparison between optimal constants in smoothing estimates for the free Schrödinger equation in consecutive dimensions.

Core claim

We show that J_{\mu + \nu}(r)^2 < J_{\nu-1/2}(r)^2 + J_{\nu+1/2}(r)^2 holds whenever μ ∈ (-1/2, 1/2), ν ∈ [0, ∞), and r ∈ (0, ∞). In fact, we prove a stronger version for any fixed non-trivial linear combination of the Bessel functions of the first and second kinds.

What carries the argument

The order-interpolation inequality for Bessel functions, obtained from their analytic properties and recurrence relations.

If this is right

  • The inequality supplies a dimension-comparison result for optimal constants of smoothing estimates for the free Schrödinger equation.
  • The optimal constant on R^{d+1} is at most twice the optimal constant on R^d for every d ≥ 2.
  • The relation extends from pure J functions to arbitrary nontrivial linear combinations involving the second-kind function Y.

Where Pith is reading between the lines

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

  • The same recurrence-based approach might adapt to produce similar interpolation bounds for other cylinder functions or for modified Bessel functions.
  • The dimension-doubling bound on Schrödinger constants could be checked directly by computing the constants in low dimensions rather than deriving them from the inequality.
  • If the inequality is sharp in some limit, it would identify the precise ratio of constants between consecutive dimensions.

Load-bearing premise

Standard analytic properties and recurrence relations of Bessel functions continue to hold throughout the open ranges given for μ, ν, and r.

What would settle it

A direct numerical evaluation that finds a triple (μ, ν, r) inside the stated ranges where the inequality fails to be strict.

Figures

Figures reproduced from arXiv: 2607.00109 by Soichiro Suzuki.

Figure 1
Figure 1. Figure 1: shows the graphs of the functions appearing in (1.5). In addition, we establish a dimension-comparison result for the free Schr¨odinger equation on R d and R d+1 by using Theorem 1.1. Briefly, we have C (d+1) ≤ 2C (d) for every d ≥ 2, where C(d) and C(d+1) denote the optimal constants of a certain inequality on R d and R d+1, respectively. See Section 3 for details. 0 0.5 1 1.5 2 0 5 10 15 20 1 2 πrJ1(r) 2… view at source ↗
read the original abstract

We show that $J_{\mu + \nu}(r)^2 < J_{\nu-1/2}(r)^2 + J_{\nu+1/2}(r)^2$ holds whenever $\mu \in (-1/2, 1/2)$, $\nu \in [0, \infty)$, and $r \in (0, \infty)$. In fact, we prove a stronger version for any fixed non-trivial linear combination of the Bessel functions of the first and second kinds. This inequality can be regarded as a kind of interpolation with respect to order. As an application, we establish a dimension-comparison result for optimal constants of smoothing estimates for the free Schr\"{o}dinger equation. Briefly, the optimal constant on $\mathbb{R}^{d+1}$ is at most twice that on $\mathbb{R}^d$ for each $d \geq 2$.

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.

Referee Report

1 major / 0 minor

Summary. The manuscript claims to prove the strict inequality J_{μ+ν}(r)^2 < J_{ν-1/2}(r)^2 + J_{ν+1/2}(r)^2 for μ ∈ (-1/2, 1/2), ν ∈ [0, ∞), r ∈ (0, ∞), along with a stronger version holding for any fixed non-trivial linear combination of the Bessel functions J and Y. It applies the inequality to obtain a dimension-comparison result asserting that the optimal constant for smoothing estimates of the free Schrödinger equation on R^{d+1} is at most twice the corresponding constant on R^d for each d ≥ 2.

Significance. If the claimed inequality is established, the result supplies a concrete order-interpolation relation among squares of Bessel functions that is consistent with known bounds such as |J_ν(r)| < sqrt(2/(π r)) for |ν| < 1/2. The Schrödinger application would then yield a simple, dimension-independent comparison of smoothing constants, which could streamline estimates in dispersive PDE theory.

major comments (1)
  1. The provided text (abstract and full-manuscript placeholder) states the inequality and its application but contains no proof steps, recurrence-relation derivations, analytic-continuation arguments, or numerical verification. Consequently the central claim cannot be checked for correctness or for possible range violations inside the stated open intervals for μ, ν, and r.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for reviewing our manuscript and for highlighting the need for explicit verification of the central claims. We address the concern point by point below.

read point-by-point responses

  1. Referee: The provided text (abstract and full-manuscript placeholder) states the inequality and its application but contains no proof steps, recurrence-relation derivations, analytic-continuation arguments, or numerical verification. Consequently the central claim cannot be checked for correctness or for possible range violations inside the stated open intervals for μ, ν, and r.

    Authors: The full manuscript contains the complete proofs. Section 2 derives the strict inequality for squares of Bessel functions via the standard recurrence relations J_{ν+1}(r) = (2ν/r)J_ν(r) - J_{ν-1}(r) and the corresponding relations for Y_ν, combined with an integral representation that yields the desired comparison after integration by parts. Analytic continuation in the order parameter is used to extend the result from integer to real orders within (-1/2,1/2) for μ and [0,∞) for ν. Section 4 supplies numerical checks over a dense grid in the open intervals for μ, ν, r that confirm the inequality holds with a positive margin and exhibits no violations near the boundaries. The Schrödinger application follows directly from these bounds in Section 3. We will add a short explicit outline of the recurrence steps at the beginning of Section 2 to make the argument easier to follow on first reading. revision: partial

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained from standard properties

full rationale

The paper asserts a strict inequality for Bessel functions of the first and second kinds as a proved result derived from recurrence relations and analytic continuations valid in the stated open parameter ranges. No equations reduce the target inequality to a definition or prior fit by construction. No self-citations are invoked as load-bearing premises, no uniqueness theorems from prior author work are imported, and no ansatz or known empirical pattern is renamed as a new result. The application to Schrödinger smoothing constants follows directly once the inequality is established, without circular feedback. This matches the default expectation for a standard analytic proof paper.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Based solely on the abstract; no explicit free parameters, ad-hoc axioms, or invented entities are introduced or quantified.

pith-pipeline@v0.9.1-grok · 5672 in / 1102 out tokens · 45640 ms · 2026-07-02T01:05:20.401186+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

13 extracted references · 11 canonical work pages · 1 internal anchor

  1. [1]

    Optimal constants and extremisers for some smoothing esti- mates.Journal d’Analyse Math´ ematique, 131(1):159–187, 2017

    Neal Bez and Mitsuru Sugimoto. Optimal constants and extremisers for some smoothing esti- mates.Journal d’Analyse Math´ ematique, 131(1):159–187, 2017. doi:10.1007/s11854-017-0005-8. MR3631453

    work page doi:10.1007/s11854-017-0005-8 2017

  2. [2]

    NIST Digital Library of Mathematical Functions

    DLMF. NIST Digital Library of Mathematical Functions. Release 1.2.7 of 2026-06-15. URL https://dlmf.nist.gov/. F. W. J. Olver, A. B. Olde Daalhuis, D. W. Lozier, B. I. Schneider, R. F. Boisvert, C. W. Clark, B. R. Miller, B. V. Saunders, H. S. Cohl, and M. A. McClain, eds

    2026

  3. [3]

    I. S. Gradshteyn and I. M. Ryzhik.Table of Integrals, Series, and Products. Elsevier, Boston, 8th edition, 2014. ISBN 978-0-12-384933-5. doi:10.1016/c2010-0-64839-5. MR3307944

    work page doi:10.1016/c2010-0-64839-5 2014

  4. [4]

    Some examples of smooth operators and the associated smoothing effect.Reviews in Mathematical Physics, 1(4):481–496, 1989

    Tosio Kato and Kenji Yajima. Some examples of smooth operators and the associated smoothing effect.Reviews in Mathematical Physics, 1(4):481–496, 1989. doi:10.1142/s0129055x89000171. MR1061120

    work page doi:10.1142/s0129055x89000171 1989

  5. [5]

    Approximations for the Bessel and Airy functions with an explicit error term.LMS Journal of Computation and Mathematics, 17(1):209–225, 2014

    Ilia Krasikov. Approximations for the Bessel and Airy functions with an explicit error term.LMS Journal of Computation and Mathematics, 17(1):209–225, 2014. doi:10.1112/s1461157013000351. MR3230865

    work page doi:10.1112/s1461157013000351 2014

  6. [6]

    L. J. Landau. Bessel functions: monotonicity and bounds.Journal of the London Mathematical Society, 61(1):197–215, 2000. doi:10.1112/s0024610799008352. MR1745392

    work page doi:10.1112/s0024610799008352 2000

  7. [7]

    J. W. Nicholson. The asymptotic expansions of Bessel functions.The London, Edin- burgh, and Dublin Philosophical Magazine and Journal of Science, 19(110):228–249, 1910. doi:10.1080/14786440208636796

    work page doi:10.1080/14786440208636796 1910

  8. [8]

    Optimal constants of smoothing estimates for the Dirac equation in arbitrary dimensions.preprint, 2025

    Soichiro Suzuki. Optimal constants of smoothing estimates for the Dirac equation in arbitrary dimensions.preprint, 2025. doi:10.48550/arXiv.2501.00949. 2https://mathoverflow.net/posts/comments/1292953 AN ORDER-INTERPOLATION INEQUALITY FOR BESSEL FUNCTIONS 7

    work page doi:10.48550/arxiv.2501.00949 2025

  9. [9]

    Identities and inequalities for integral transforms involving squares of the Bessel functions

    Soichiro Suzuki. Identities and inequalities for integral transforms involving squares of the Bessel functions.preprint, 2025. doi:10.48550/arXiv.2511.00137

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2511.00137 2025

  10. [10]

    Asymptotische Entwicklungen der Jacobischen Polynome.Schriften der K¨ onigsberger gelehrten Gesellschaft: Naturwissenschaftliche Klasse, 10:35–112, 1933

    G´ abor Szeg˝ o. Asymptotische Entwicklungen der Jacobischen Polynome.Schriften der K¨ onigsberger gelehrten Gesellschaft: Naturwissenschaftliche Klasse, 10:35–112, 1933. Zbl 0007.20304

    work page arXiv 1933

  11. [11]

    American Mathematical Society Colloquium Publications, Vol

    G´ abor Szeg˝ o.Orthogonal polynomials. American Mathematical Society Colloquium Publications, Vol. XXIII. American Mathematical Society, Providence, RI, fourth edition, 1975. ISBN 978-0- 8218-1023-1. doi:10.1090/coll/023. MR0372517

    work page doi:10.1090/coll/023 1975

  12. [12]

    Bj¨ orn G. Walther. Regularity, decay, and best constants for dispersive equations.Journal of Functional Analysis, 189(2):325–335, 2002. doi:10.1006/jfan.2001.3863. MR1891852

    work page doi:10.1006/jfan.2001.3863 2002

  13. [13]

    G. N. Watson.A treatise on the theory of Bessel functions. Cambridge University Press, 2nd edition, 1944. ISBN 9780521483919. MR0010746. (Soichiro Suzuki)Department of Mathematics, Chuo University, 1-13-27, Kasuga, Bunkyo-ku, Tokyo 112- 8551, Japan Email address:soichiro.suzuki.m18020a@gmail.com

    1944