pith. machine review for the scientific record. sign in

arxiv: 2605.14456 · v1 · submitted 2026-05-14 · 🧮 math.FA

Recognition: 2 theorem links

· Lean Theorem

The dual of the Hardy space associated to the Dunkl-Schr\"odinger operator with reverse H\"older class potential

P. Athulya , S.K. Verma
Authors on Pith no claims yet

Pith reviewed 2026-05-15 02:00 UTC · model grok-4.3

classification 🧮 math.FA
keywords Dunkl LaplacianHardy spaceBMO spaceSchrödinger operatoratomic decompositionreverse Hölder classcritical radius function
0
0 comments X

The pith

The dual of the Hardy space H^1 for the Dunkl-Schrödinger operator is the space BMO(L_k)

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

This paper proves that the dual of the Hardy space associated to the Dunkl-Schrödinger operator is the space BMO(L_k). BMO(L_k) forms a subspace of the Dunkl BMO space and is identified through an atomic decomposition of the Hardy space. The atoms satisfy a cancellation condition that depends on the critical radius function built from the potential V. The result extends classical duality to Dunkl operators when the potential lies in a suitable reverse Hölder class.

Core claim

The dual space of H_{tilde L_k}^1 is BMO(L_k), a subspace of the Dunkl BMO_k space, characterized via atomic decomposition where the cancellation condition of atoms depends on the critical radius function associated with V.

What carries the argument

Atomic decomposition of H^1_{tilde L_k} whose atoms carry cancellation conditions fixed by the critical radius function rho associated to the reverse-Hölder potential V

Load-bearing premise

The potential V belongs to the reverse Hölder class RH_k^q with q larger than max{1, (n+2γ)/2}.

What would settle it

A bounded linear functional on H^1 that fails to satisfy the BMO(L_k) norm bound, or an atom lacking the radius-dependent cancellation whose H^1 norm is nevertheless positive.

read the original abstract

Let $\mathcal{L}_k = -\Delta_k + V$ be a Schr\"odinger operator associated with the Dunkl Laplacian $\Delta_k$, where $V$ is the non-negative potential function belonging to the reverse H\"older class $RH_k^q(\mathbb{R}^n)$ with $q> \max\{1, \frac{n+2\gamma}{2}\}$. Here, $2\gamma$ denotes the degree of homogeneity of the weight function $w_k$, which is determined by the normalized root system and the non-negative multiplicity function $k$. In this paper, we investigate the dual space of the Hardy space $H_{\Tilde{\mathcal{L}}_k}^1$ associated with the Dunkl-Schr\"odinger operator. The dual space $BMO(\mathcal{L}_k)$ is a subspace of the $BMO_k$ space, which is the Dunkl analogue of the classical $BMO(\mathcal{L})$ space. We provide a characterization for the $BMO(\mathcal{L}_k)$ space. The duality result is obtained via the atomic decomposition of $H_{\Tilde{\mathcal{L}}_k}^1$, where the cancellation condition of atoms depends on the critical radius function associated with the potential $V$. Finally, we establish the boundedness of the uncentered maximal function on the space $BMO(\mathcal{L}_k)$.

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 paper claims that for the Dunkl-Schrödinger operator L_k = -Δ_k + V with V nonnegative and belonging to the reverse Hölder class RH_k^q(R^n) for q > max{1, (n+2γ)/2}, the dual of the associated Hardy space H^1_{tilde L_k} is the space BMO(L_k), realized as a subspace of the Dunkl BMO_k space. The duality is obtained from an atomic decomposition of H^1_{tilde L_k} in which the (1,2)-atoms satisfy a cancellation condition determined by the critical radius function ρ associated to V; the paper also proves boundedness of the uncentered maximal function on BMO(L_k).

Significance. If the central claims hold, the work supplies a concrete duality theorem for Hardy spaces attached to Dunkl-Schrödinger operators, extending the Euclidean Schrödinger theory to the setting of reflection groups and weighted measures w_k dx. The adaptation of atomic decomposition with ρ-dependent cancellation and the subsequent maximal-function boundedness result are technically natural once the effective dimension n+2γ and the doubling properties of w_k are substituted into the standard Calderón-Zygmund machinery. The manuscript therefore adds a useful reference point for harmonic analysis on Dunkl spaces with potentials.

major comments (2)
  1. [§3.2] §3.2, atomic decomposition theorem: the cancellation condition for atoms supported in balls of radius comparable to ρ(x_0) is stated to be ∫ a w_k = 0, but the proof sketch does not explicitly verify that this condition is preserved under the Dunkl Laplacian heat-kernel estimates when the support radius is smaller than ρ; a quantitative estimate showing that the constant remains independent of the RH_q constant of V is needed to close the duality argument.
  2. [§5] §5, boundedness of the uncentered maximal operator on BMO(L_k): the weak-type estimate is claimed to follow from the same covering argument used for the classical BMO_k, yet the oscillation control must incorporate the variation of ρ across the ball; without an explicit comparison of ρ(x) and ρ(y) for |x-y| < r, the constant in the BMO norm may depend on the local geometry of V in a way not controlled by the RH assumption alone.
minor comments (2)
  1. [Introduction] Notation: the symbol tilde L_k is introduced in the abstract but the precise relation between L_k and tilde L_k (e.g., whether it denotes the operator on the weighted space or a modified potential) is not restated in the introduction; a single clarifying sentence would remove ambiguity.
  2. [References] References: several standard citations for the Euclidean Schrödinger Hardy-space duality (e.g., works of Auscher, Duong, McIntosh) are missing from the bibliography; adding them would clarify the precise novelty of the Dunkl adaptation.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions. The comments highlight two places where additional explicit estimates would strengthen the presentation. We address each point below and will incorporate the requested clarifications in the revised manuscript.

read point-by-point responses

  1. Referee: [§3.2] §3.2, atomic decomposition theorem: the cancellation condition for atoms supported in balls of radius comparable to ρ(x_0) is stated to be ∫ a w_k = 0, but the proof sketch does not explicitly verify that this condition is preserved under the Dunkl Laplacian heat-kernel estimates when the support radius is smaller than ρ; a quantitative estimate showing that the constant remains independent of the RH_q constant of V is needed to close the duality argument.

    Authors: We agree that the preservation of the cancellation condition under the heat-kernel estimates requires a more explicit verification when the support radius is smaller than ρ(x_0). In the full proof we use the fact that, on balls of radius ≪ ρ(x_0), the potential V is comparable to a constant by the reverse-Hölder property, so that the Dunkl heat kernel behaves like the free Dunkl kernel up to a controllable error. We will insert a new lemma (Lemma 3.4 in the revision) that quantifies the deviation of ∫ a w_k from zero and shows that the implied constant depends only on n, γ, q and the doubling constant of w_k, but is independent of the RH_q constant of V. This closes the duality argument as requested. revision: yes

  2. Referee: [§5] §5, boundedness of the uncentered maximal operator on BMO(L_k): the weak-type estimate is claimed to follow from the same covering argument used for the classical BMO_k, yet the oscillation control must incorporate the variation of ρ across the ball; without an explicit comparison of ρ(x) and ρ(y) for |x-y| < r, the constant in the BMO norm may depend on the local geometry of V in a way not controlled by the RH assumption alone.

    Authors: We acknowledge that the oscillation control in the BMO(L_k) norm must account for the variation of the critical radius function ρ. Under the reverse-Hölder assumption on V we have the standard comparability ρ(y) ≍ ρ(x) whenever |x-y| ≤ c ρ(x) for a constant c depending only on n, γ and q. We will add a short preliminary lemma (Lemma 5.1) stating this comparison explicitly, together with the resulting bound on the oscillation of the mean values. With this lemma the covering argument proceeds exactly as in the classical case, and the BMO constant remains controlled solely by the RH_q data. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via standard adaptations

full rationale

The paper's central duality result between H_{tilde L_k}^1 and BMO(L_k) is obtained through atomic decomposition of the Hardy space, with atom cancellation conditions defined using the critical radius function rho associated to the given reverse Holder potential V in RH_k^q. This construction relies on external hypotheses on V (q > max{1, (n+2 gamma)/2}) and standard heat-kernel estimates, doubling properties, and weak-type bounds for the Dunkl-weighted measure, which follow from Calderon-Zygmund machinery once the effective dimension n+2 gamma is substituted. No equation or claim reduces by construction to a fitted input, self-definition, or load-bearing self-citation chain; the assumptions are independent of the target duality statement, and the boundedness of the uncentered maximal function on BMO(L_k) is a separate consequence. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on background properties of the Dunkl Laplacian and the reverse Hölder class without introducing new free parameters or invented entities; all assumptions are drawn from established domain theory.

axioms (2)
  • domain assumption The Dunkl Laplacian Δ_k generates a suitable semigroup and satisfies known boundedness properties on weighted spaces.
    Invoked when defining L_k = -Δ_k + V and the associated Hardy space.
  • domain assumption Membership of V in RH_k^q with q large enough implies the existence and good behavior of the critical radius function.
    Used to control the cancellation condition in the atomic decomposition.

pith-pipeline@v0.9.0 · 5560 in / 1327 out tokens · 56502 ms · 2026-05-15T02:00:50.786497+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

39 extracted references · 39 canonical work pages · 1 internal anchor

  1. [1]

    Aalto, L

    D. Aalto, L. Berkovits, O.E. Kansanen, H. Yue, John-Nirenberg lemmas for a doubling measure. Studia Math.204(1):21-37 (2011)

    work page 2011

  2. [2]

    Betancor, J.C

    V.Almeida, J.J. Betancor, J.C. Fari˜ na, L. Rodr´ ıguez-Mesa, Maximal, Littlewood-Paley, Varia- tion, and oscillation operators in the Dunkl setting. J. Fourier Anal. Appl.30(5):60(1-41) (2024)

    work page 2024

  3. [3]

    B. Amri, A. Hammi, Dunkl-Schr¨ odinger operators. Complex Anal. Oper. Theory.13(3):1033- 1058 (2019)

    work page 2019

  4. [4]

    B. Amri, A. Hammi, Semigroup and Reisz transform for the Dunkl-Schr¨ odinger operators. Semi- group Forum.101(3):507-533 (2020)

    work page 2020

  5. [5]

    Anker, J

    J.P. Anker, J. Dziuba´ nski, A. Hejna, Harmonic functions, conjugate harmonic functions and the Hardy spaceH 1 in the rational Dunkl setting. J. Fourier Anal. Appl.25(5):2356-2418 (2019)

    work page 2019

  6. [6]

    N. Badr, B. Ben Ali,L p Boundedness of the Riesz transform related to Schr¨ odinger operators on a manifold. Ann. Scuola Norm. Sup. di Pisa Cl. Sci. 5.8(4):725-765 (2009)

    work page 2009

  7. [7]

    Bennett, R.A

    C. Bennett, R.A. DeVore, R. Sharpley, Weak-L ∞ and BMO. Ann. of Math.113(3):601-611 (1981)

    work page 1981

  8. [8]

    Cherednik, Double Affine Hecke Algebras, London Math

    I. Cherednik, Double Affine Hecke Algebras, London Math. Soc. Lect. Note Ser., vol. 319, Cam- bridge Univ. Press, Cambridge (2005)

    work page 2005

  9. [9]

    Christ, D

    M. Christ, D. Geller, Singular integral characterizations of Hardy spaces on homogeneous groups. Duke Math. J.51:547-598 (1984)

    work page 1984

  10. [10]

    Dafni, H

    G. Dafni, H. Yue, Some characterizations of local bmo andh 1 on metric measure spaces. Anal. Math. Phys.2(3):285-318 (2012)

    work page 2012

  11. [11]

    de Jeu, The Dunkl transform

    M.F.E. de Jeu, The Dunkl transform. Invent. Math.113(1):147-162 (1993)

    work page 1993

  12. [12]

    Dunkl, Differential-difference operators associated to reflection groups

    C.F. Dunkl, Differential-difference operators associated to reflection groups. Trans. Amer. Math. Soc.311(1):167-183 (1989)

    work page 1989

  13. [13]

    Dunkl, Y

    C.F. Dunkl, Y. Xu, Orthogonal Polynomials of Several Variables, Encyclopedia Math. Appl., vol. 81, Cambridge Univ. Press, (2001)

    work page 2001

  14. [14]

    Dziuba´ nski, J

    J. Dziuba´ nski, J. Zienkiewicz, Hardy spacesH1 associated to Schrodinger operator with potential satisfying reverse H¨ older inequality. Rev. Mat. Iberoam.15(2):277-95 (1999)

    work page 1999

  15. [15]

    Dziuba´ nski, G

    J. Dziuba´ nski, G. Garrig´ os, T. Mart´ ınez, J.L. Torrea, J. Zienkiewicz,BM Ospaces related to Schr¨ odinger operators with potentials satisfying a reverse H¨ older inequality. Math. Z.249(2):329- 356 (2005)

    work page 2005

  16. [16]

    Dziuba´ nski, J

    J. Dziuba´ nski, J. Zienkiewicz, Hardy spacesH1 for Schr¨ odinger operators with certain potentials. Studia Math.164(1):39-53 (2004)

    work page 2004

  17. [17]

    Dziuba´ nski, A

    J. Dziuba´ nski, A. Hejna, A note on commutators of singular integrals with BMO and VMO functions in the Dunkl setting. Math. Nachr.297(2):629-643 (2023)

    work page 2023

  18. [18]

    Dziuba´ nski, A

    J. Dziuba´ nski, A. Hejna, On Dunkl Schr¨ odinger semigroups with Green bounded potentials. Constr. Approx.61(3):481-509 (2025)

    work page 2025

  19. [19]

    Etingof, Calogero-Moser systems and representation theory, Zurich Lectures in Advanced Mathematics, European Mathematical Society (EMS), Z¨ urichl (2007)

    P. Etingof, Calogero-Moser systems and representation theory, Zurich Lectures in Advanced Mathematics, European Mathematical Society (EMS), Z¨ urichl (2007)

    work page 2007

  20. [20]

    Fefferman, E.M

    C. Fefferman, E.M. Stein,H p spaces of several variables. Acta Math.129(3–4):137–193 (1972)

    work page 1972

  21. [21]

    Goldberg, A local version of real Hardy spaces

    D. Goldberg, A local version of real Hardy spaces. Duke Math. J.46(1):27-42 (1979)

    work page 1979

  22. [22]

    Graczyk, M

    P. Graczyk, M. R¨ osler, M. Yor (Eds.), Harmonic and Stochastic Analysis of Dunkl Pro- cesses,Travaux en cours 71, Hermann, Paris (2008)

    work page 2008

  23. [23]

    Q. Guo, J. Li, B.D. Wick, Fefferman–Stein type decomposition of CMO spaces in the Dunkl setting and an application. Nonlinear Anal.262:113916,27 (2026)

    work page 2026

  24. [24]

    Heckman, Dunkl operators

    G.J. Heckman, Dunkl operators. S´ eminaire Bourbaki 828, 1996–97; Ast´ erisque 245, 223-246 (1997)

    work page 1996

  25. [25]

    Hejna, Hardy spaces for the Dunkl harmonic oscillator

    A. Hejna, Hardy spaces for the Dunkl harmonic oscillator. Math. Nachr.293(11):2112-2139 (2020)

    work page 2020

  26. [26]

    Hejna, Schr¨ odinger operators with reverse H¨ older class potentials in the Dunkl setting and Hardy spaces

    A. Hejna, Schr¨ odinger operators with reverse H¨ older class potentials in the Dunkl setting and Hardy spaces. J. Fourier Anal. Appl.27(3):46,42 (2021)

    work page 2021

  27. [27]

    Hejna, Behavior of eigenvalues of certain Schr¨ odinger operators in the rational Dunkl setting

    A. Hejna, Behavior of eigenvalues of certain Schr¨ odinger operators in the rational Dunkl setting. Anal. Math. Phys.11(3):116 (2021). 30 ATHULYA P, S.K. VERMA

    work page 2021

  28. [28]

    J. Jiu, Z. Li, The dual of the Hardy space associated with the Dunkl operators. Adv. Math. 412:108810, 55 (2023)

    work page 2023

  29. [29]

    F. John, L. Nirenberg, On functions of bounded oscillation. Comm. Pure Appl. Math.14(3):415- 426 (1961)

    work page 1961

  30. [30]

    C.C. Lin, H. Liu, Y. Liu, Hardy spaces associated with Schr¨ odinger operators on the Heisenberg group, preprint available at arXiv:1106.4960

    work page internal anchor Pith review Pith/arXiv arXiv

  31. [31]

    C.C. Lin, H. Liu,BM O L(Hn) spaces and Carleson measures for Schr¨ odinger operators, Adv. Math.228:1631-1688 (2011)

    work page 2011

  32. [32]

    Macdonald, Affine Hecke Algebras and Orthogonal Polynomials, Cambridge Tracts Math

    I.G. Macdonald, Affine Hecke Algebras and Orthogonal Polynomials, Cambridge Tracts Math. vol. 157, Cambridge Univ. Press, Cambridge (2003)

    work page 2003

  33. [33]

    Opdam, Lecture notes on Dunkl operators for real and complex reflection Groups

    E.M. Opdam, Lecture notes on Dunkl operators for real and complex reflection Groups. MSJ Memoirs, vol.8, Math. Soc. of Japan, Tokyo, (2000)

    work page 2000

  34. [34]

    R¨ orsler, A positive radial product formula for the Dunkl kernel

    M. R¨ orsler, A positive radial product formula for the Dunkl kernel. Trans. Amer. Math. Soc., 355(6):2413-2438 (2003)

    work page 2003

  35. [35]

    R¨ osler, Dunkl operators: theory and applications, in: E

    M. R¨ osler, Dunkl operators: theory and applications, in: E. Koelink, W. Van Assche (Eds.), Orthogonal Polynomials and Special Functions, in: Lecture Notes in Math. vol. 1817, Springer- Verlag, Berlin, 93-135 (2003)

    work page 2003

  36. [36]

    Shen,L p estimates for the Schr¨ odinger operators with certain potentials

    Z. Shen,L p estimates for the Schr¨ odinger operators with certain potentials. Ann. Inst. Fourier 45(2):513-546 (1995)

    work page 1995

  37. [37]

    Stein, Harmonic analysis: Real-variable methods, orthogonality, and oscillatory integrals, Princeton University Press, Princeton, NJ, (1993)

    E.M. Stein, Harmonic analysis: Real-variable methods, orthogonality, and oscillatory integrals, Princeton University Press, Princeton, NJ, (1993)

    work page 1993

  38. [38]

    Stein, Singular integrals and differentiability properties of functions

    E.M. Stein, Singular integrals and differentiability properties of functions. Princeton University Press, Princeton (1970)

    work page 1970

  39. [39]

    Stein, G

    E.M. Stein, G. Weiss, On the theory of harmonic functions of several variables. I. The theory of H p-spaces. Acta Math.103:25-62 (1960)

    work page 1960