pith. sign in

arxiv: 2605.16939 · v1 · pith:TH5KCCPPnew · submitted 2026-05-16 · 🧮 math.AP · math.FA

Continuity properties of the Laguerre operator and its propagator

Smiljana Jak\v{s}i\'c , Nenad Teofanov , {\DJ}or{\dj}e Vu\v{c}kovi\'c This is my paper

Pith reviewed 2026-05-19 20:32 UTC · model grok-4.3

classification 🧮 math.AP math.FA
keywords Laguerre operatorpropagatorCauchy problemwell-posednessharmonic oscillatorfractional Fourier transformfractional Hankel transformPilipović spaces
0
0 comments X

The pith

Continuity properties of the Laguerre propagator establish well-posedness for its Cauchy problem and relate it to the harmonic oscillator.

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

The paper examines the well-posedness of a Cauchy problem tied to the general Laguerre operator through a close study of the continuity properties of its associated propagator. It connects this setup to the corresponding global problem for the harmonic oscillator. Links are drawn between several integral transforms, among them the fractional Fourier transform and the fractional Hankel transform. The analysis points to the utility of Pilipović spaces on positive orthants for work involving the Laguerre operator.

Core claim

A detailed analysis of the continuity properties of the propagator for the general form of the Laguerre operator establishes the well-posedness of the associated Cauchy problem and relates it to the global problem for the harmonic oscillator, while also establishing connections between several integral transforms and highlighting the role of Pilipović spaces on positive orthants.

What carries the argument

The propagator of the Laguerre operator, whose continuity properties are analyzed in detail to secure well-posedness and the link to the harmonic oscillator.

Load-bearing premise

The continuity properties of the propagator suffice to establish well-posedness of the Cauchy problem and to relate it to the global harmonic-oscillator problem.

What would settle it

A concrete initial condition for which the solution of the Cauchy problem either fails to exist in the expected function space or violates the claimed continuity properties of the propagator would falsify the central results.

read the original abstract

We study the well-posedness of a Cauchy problem associated with the general form of the Laguerre operator and relate it to the corresponding global problem for the harmonic oscillator. To this end, we carry out a detailed analysis of the continuity properties of the associated propagator. Furthermore, we establish connections between several integral transforms, including the fractional Fourier transform and the fractional Hankel transform. Our results highlight the role of Pilipovi\'c spaces on positive orthants when studying problems involving the Laguerre operator.

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

2 major / 2 minor

Summary. The manuscript studies the well-posedness of a Cauchy problem for the general Laguerre operator by analyzing the continuity properties of its propagator and relating the problem to the global harmonic-oscillator case. It also establishes connections among the fractional Fourier transform, the fractional Hankel transform, and other integral transforms, while emphasizing the role of Pilipović spaces on positive orthants.

Significance. If the continuity analysis is shown to yield the required strong continuity in the target spaces, the results would provide a useful bridge between local Laguerre-type evolution problems and global oscillator problems, together with new links among fractional transforms. This could strengthen the functional-analytic toolkit for PDEs on orthants.

major comments (2)
  1. [§4] §4 (well-posedness of the Cauchy problem): the passage from the continuity properties established for the propagator (in §3) to strong continuity in the full Pilipović-space topology is not made explicit. The estimates appear to control seminorms rather than the complete topology; without a separate argument that the t→0 limit holds in the strong sense for each fixed initial datum, the existence/uniqueness claim and the reduction to the harmonic-oscillator problem both rest on an unverified step.
  2. [§3.2] §3.2 (continuity of the propagator): the claimed continuity is stated in a topology weaker than the Pilipović topology used for well-posedness; it is therefore unclear whether the propagator forms a strongly continuous semigroup on the space in which the Cauchy problem is posed.
minor comments (2)
  1. [Introduction] The precise definition of the 'general form' of the Laguerre operator is introduced only after the abstract; a one-sentence reminder in the introduction would improve readability.
  2. [§2] Notation for the Pilipović spaces on positive orthants is introduced without an explicit comparison to the standard (whole-space) version; a short remark on the difference would help readers unfamiliar with the setting.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on the continuity properties of the propagator and the well-posedness of the Cauchy problem. We address each major comment below and will revise the manuscript to make the relevant arguments fully explicit.

read point-by-point responses

  1. Referee: [§4] §4 (well-posedness of the Cauchy problem): the passage from the continuity properties established for the propagator (in §3) to strong continuity in the full Pilipović-space topology is not made explicit. The estimates appear to control seminorms rather than the complete topology; without a separate argument that the t→0 limit holds in the strong sense for each fixed initial datum, the existence/uniqueness claim and the reduction to the harmonic-oscillator problem both rest on an unverified step.

    Authors: We agree that an explicit bridge from the seminorm estimates in §3 to strong continuity in the full Fréchet topology of the Pilipović space is needed for clarity. In the revised manuscript we will add a short proposition in §4 showing that uniform bounds on the countable family of seminorms, together with the metrizability of the space, imply that the propagator converges strongly to the identity as t→0 for every fixed initial datum. This will also make the well-posedness statement and the comparison with the global harmonic-oscillator problem fully rigorous. revision: yes

  2. Referee: [§3.2] §3.2 (continuity of the propagator): the claimed continuity is stated in a topology weaker than the Pilipović topology used for well-posedness; it is therefore unclear whether the propagator forms a strongly continuous semigroup on the space in which the Cauchy problem is posed.

    Authors: The kernel estimates of §3.2 are first obtained in a weaker topology for technical convenience. We will insert a remark immediately after the main continuity theorem in §3.2 that invokes the equivalence of the relevant seminorm families on the positive orthant and verifies that the same estimates control the full Pilipović topology. This establishes that the propagator is indeed a strongly continuous semigroup on the space employed for the Cauchy problem. revision: yes

Circularity Check

0 steps flagged

No circularity: standard functional-analytic derivation on Pilipović spaces

full rationale

The paper performs a detailed analysis of continuity properties of the Laguerre propagator to establish well-posedness for the associated Cauchy problem and to relate it to the global harmonic-oscillator case. The abstract and description indicate reliance on operator theory, integral transforms (fractional Fourier and Hankel), and function-space arguments in Pilipović spaces on positive orthants. No quoted step defines a quantity in terms of the result it claims to derive, renames a fitted parameter as a prediction, or reduces the central claim to a self-citation chain. The derivation chain therefore remains self-contained against external benchmarks of semigroup theory and Fourier analysis.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on background theory of Laguerre and harmonic-oscillator operators together with properties of Pilipović spaces; no free parameters or new postulated entities are visible from the abstract.

axioms (2)
  • standard math Standard functional-analytic properties of the Laguerre operator and its propagator are assumed known from prior literature.
    Invoked when relating the Cauchy problem to the harmonic oscillator and when claiming continuity.
  • domain assumption Pilipović spaces on positive orthants form an appropriate framework for controlling the relevant estimates.
    Explicitly highlighted in the abstract as central to the study.

pith-pipeline@v0.9.0 · 5622 in / 1415 out tokens · 57165 ms · 2026-05-19T20:32:08.794480+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages

  1. [1]

    Chung, J

    S.-Y. Chung, J. -Y. Na, Rotation Invariant Generalized Functions, Integral Transforms and Special Functions 10:1 (2000), 25-40

    work page 2000

  2. [2]

    Erdélyi, Higher Transcedentals Function, Vol

    A. Erdélyi, Higher Transcedentals Function, Vol. 2, McGraw-Hill, New York, 1953

    work page 1953

  3. [3]

    I. M. Gel’fand, G. E. Shilov, Generalized Functions Volume 2 - Spaces of Fundamental and Generalized functions - Academic Press, 1968. 46

    work page 1968

  4. [4]

    Jakšić, B

    S. Jakšić, B. Prangoski, Extension theorem of Whitney type forS(Rd +) by the use of the Kernel Theorem, Publ. Inst. Math. Beograd, 99 (113) (2016), 59-65

    work page 2016

  5. [5]

    Jakšić, S

    S. Jakšić, S. Pilipović, B. Prangoski, G-type spaces of ultradistri- butions overR d + and the Weyl pseudo-differential operators with radial symbols, Rev. R. Acad. Cienc. Exactas Fis. Nat. Ser. A Math., doi: 10.1007/s13398-016-0313-3

    work page doi:10.1007/s13398-016-0313-3

  6. [6]

    Jakšić, S

    S. Jakšić, S. Pilipović, B. Prangoski, Spaces of ultradistributions of Beurling type overRd + through Laguerre expansions, Sarajevo J. Math, 12 (25) (2016), no. 2, suppl., 385-399

    work page 2016

  7. [7]

    Jakšić, S

    S. Jakšić, S. Maksimović, S. Pilipović, B. Prangoski, Relations between Hermite and Laguerre expansions of ultradistributions overRd andR d +, J. Pseudo-Differ. Oper. Appl. 8 (2017), 275–296

    work page 2017

  8. [8]

    Jakšić, S

    S. Jakšić, S. Pilipović, N. Teofanov, Ð. Vučković, Ultradifferentiable functions via the Laguerre operator. Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat. 119, 89 (2025)

    work page 2025

  9. [9]

    F. H. Kerr, Fractional powers of Hankel transforms in the Zemanian spaces, J. Math. Anal. Appl. 158 (1991), 114-123

    work page 1991

  10. [10]

    Meise, D

    R. Meise, D. Wogt, Introduction to Functional Analysis, Oxford Uni- versity Press, 1998

    work page 1998

  11. [11]

    Morimoto, An Introduction to Sato’s Hyperfunctions, vol

    M. Morimoto, An Introduction to Sato’s Hyperfunctions, vol. 129. American Mathematical Society Providence (1993)

    work page 1993

  12. [12]

    Namias, Fractionalization of Hankel Transforms, IMA Journal of Applied Mathematics, 26(2), (1980), 187-197

    V. Namias, Fractionalization of Hankel Transforms, IMA Journal of Applied Mathematics, 26(2), (1980), 187-197

    work page 1980

  13. [13]

    Pilipović, Tempered ultradistreibutions, Boll

    S. Pilipović, Tempered ultradistreibutions, Boll. U.M.I. 7 (1988), 235- 251

    work page 1988

  14. [14]

    H. H. Schaefer,Topological vector spaces, Springer-Verlag, New York Heidelberg Berlin, 1970

    work page 1970

  15. [15]

    V. K. Sohani, Strichartz estimates for the Schroödinger propagator for the Laguerre operator, Proc. Indian Acad . Sci (Math. Sci.) 123 (4) (2013), 525-537. 47

    work page 2013

  16. [16]

    Taggart, Inhomogeneous Strichartz estimates, Forum

    R. Taggart, Inhomogeneous Strichartz estimates, Forum. Math. 22 (2010), 825–853

    work page 2010

  17. [17]

    Thangavelu, Lectures on Hermite and Laguerre Expansions, Prince- ton University Press, Princeton New Jersey (1993)

    S. Thangavelu, Lectures on Hermite and Laguerre Expansions, Prince- ton University Press, Princeton New Jersey (1993)

    work page 1993

  18. [18]

    Toft, Images of function and distribution spaces under the Bargmann transform, J

    J. Toft, Images of function and distribution spaces under the Bargmann transform, J. Pseudo-Differ. Oper. Appl. 8 (2017) 83–139

    work page 2017

  19. [19]

    J. Toft, D. G. Bhimani, R. Manna, Fractional Fourier transforms, harmonic oscillator propagators and Strichartz estimates on Pilipović and modulation spaces, Appl. Comput. Harmon. Anal. 67 (2023) 101580

    work page 2023

  20. [20]

    Tréves, Topological Vector Spaces, Distributions and Kernels, Dover Publications, New York, 1995

    F. Tréves, Topological Vector Spaces, Distributions and Kernels, Dover Publications, New York, 1995

    work page 1995

  21. [21]

    M. W. Wong, Weyl Transform, Springer-Verlag, New York, 1998

    work page 1998