pith. sign in

arxiv: 2509.19714 · v2 · submitted 2025-09-24 · 🧮 math.FA · math.CV

Higher order weighted Dirichlet type spaces with poly-superharmonic weights and Dirichlet type operators of finite order

Ashish Kujur , Md. Ramiz Reza This is my paper

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

classification 🧮 math.FA math.CV
keywords higher-order Dirichlet spacespoly-superharmonic weightsDirichlet-type operatorsfunctional modelsm-isometrieshyperexpansive operatorsLittlewood-Paley formulacyclic operators
0
0 comments X

The pith

Cyclic Dirichlet-type operators of finite order admit functional models as shifts on higher-order weighted Dirichlet spaces with poly-superharmonic weights.

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

The paper develops higher-order weighted Dirichlet-type spaces on the unit disk using poly-superharmonic weights. It proves a higher-order Littlewood-Paley formula that connects Laplacian iterates of the weight to higher-order defect operators of the multiplication shift. This formula supports the definition of Dirichlet-type operators of finite order, a class that includes m-isometries as well as finite-order completely hyperexpansive and hypercontractive operators. The central result establishes that every cyclic operator from this class is unitarily equivalent to the shift on a suitable space in the family, supplying a common model theory that recovers earlier results for cyclic m-isometries and cyclic completely hyperexpansive operators as special cases.

Core claim

The authors introduce higher-order weighted Dirichlet-type spaces associated to poly-superharmonic weights and establish a higher-order Littlewood-Paley formula. This identity relates iterates of the Laplacian of the weight to the higher-order defect operators of the shift. The formula permits the definition of Dirichlet-type operators of finite order and yields the theorem that every cyclic operator in this class possesses a functional model as the shift on an appropriate higher-order weighted Dirichlet-type space, thereby unifying the model theories for cyclic m-isometries and cyclic completely hyperexpansive operators.

What carries the argument

Higher-order Littlewood-Paley formula that equates iterates of the Laplacian of a poly-superharmonic weight with higher-order defect operators of the shift on the associated Dirichlet-type space.

If this is right

  • Every cyclic m-isometry belongs to the class and therefore admits a model as a shift on one of these spaces.
  • Every cyclic completely hyperexpansive operator of finite order likewise receives such a model.
  • Higher-order weighted Dirichlet integrals become computable directly from the Laplacian iterates of the weight.
  • The defect operators of the shift on these spaces are explicitly tied to the weight geometry via the new formula.

Where Pith is reading between the lines

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

  • The explicit models may permit direct transfer of spectral or subspace properties from the model shift back to the original operator.
  • Similar weight classes and formulas could be tested on other function spaces or on the bidisk to produce analogous model theorems.
  • The connection between Laplacian iterates and defect operators suggests possible links to curvature or positivity questions in operator theory that the paper leaves open.

Load-bearing premise

The chosen poly-superharmonic weights must satisfy a higher-order Littlewood-Paley identity that directly equates Laplacian iterates to the higher-order defect operators of the shift.

What would settle it

A concrete counterexample would be either a cyclic operator of finite order that cannot be realized as the shift on any higher-order weighted Dirichlet-type space with a poly-superharmonic weight, or a poly-superharmonic weight for which the claimed higher-order Littlewood-Paley identity fails to hold with the defect operators.

read the original abstract

We study higher-order weighted Dirichlet-type spaces on the unit disc associated with a class of poly-superharmonic weights. A higher-order Littlewood Paley formula is established enabling the computation of higher-order weighted Dirichlet integrals and allowing us to relate iterates of the Laplacian of the weight to higher-order defect operators of the shift operator on these spaces. This leads to the introduction of Dirichlet-type operators of finite order, a class containing $m$-isometries as well as completely hyperexpansive and completely hypercontractive operators of finite order. We prove that every cyclic operator in this class admits a functional model as the shift on a suitable higher-order weighted Dirichlet-type space, thereby providing a unified extension of the model theories for cyclic completely hyperexpansive operators and cyclic $m$-isometries.

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 introduces higher-order weighted Dirichlet-type spaces on the unit disc associated to poly-superharmonic weights. It establishes a higher-order Littlewood-Paley formula relating iterates of the Laplacian of the weight to higher-order defect operators of the shift on these spaces. This is used to define Dirichlet-type operators of finite order (containing m-isometries and finite-order completely hyperexpansive/hypercontractive operators) and to prove that every cyclic operator in this class admits a functional model as the shift on a suitable higher-order weighted Dirichlet-type space, extending model theories for cyclic m-isometries and completely hyperexpansive operators.

Significance. If the results hold, the work supplies a unified functional-model framework for a broad class of cyclic operators on Hilbert spaces of analytic functions, generalizing existing models for m-isometries and completely hyperexpansive operators via poly-superharmonic weights and higher-order defect-operator identities. The higher-order Littlewood-Paley formula and the associated operator class constitute the main technical contributions.

major comments (2)
  1. [Theorem 3.4] Theorem 3.4 (higher-order Littlewood-Paley formula): the proof invokes repeated application of Green's formula and discards boundary integrals on the circle. For weights that are merely poly-superharmonic (Definition 2.3) and not necessarily C^{2m} up to the boundary, these boundary terms need not vanish or may change sign, so the claimed equality between the weighted integral of |f^{(m)}|^2 and the sum involving the m-th defect operator may fail.
  2. [Theorem 5.3] Theorem 5.3 (functional model): the identification of a cyclic Dirichlet-type operator T with the shift on D_ω^{(m)} rests on the defect operators Δ_k(T) matching the weighted integrals of Δ^k ω, which in turn requires the isometry supplied by the Littlewood-Paley identity of Theorem 3.4. If the boundary-term issue in Theorem 3.4 is not resolved for the full class of poly-superharmonic weights, the model map is not isometric on the whole class.
minor comments (2)
  1. [Section 2] Notation for the higher-order spaces D_ω^{(m)} and the defect operators Δ_k could be introduced with a short table or explicit comparison to the classical m=1 case to aid readability.
  2. [Definition 2.3] A concrete example of a poly-superharmonic weight that is not C^2 up to the boundary would help illustrate the scope of the results.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful and detailed reading of our manuscript. The comments raise valid points about the regularity needed for the boundary terms in the higher-order Littlewood-Paley identity, and we address them directly below.

read point-by-point responses

  1. Referee: [Theorem 3.4] Theorem 3.4 (higher-order Littlewood-Paley formula): the proof invokes repeated application of Green's formula and discards boundary integrals on the circle. For weights that are merely poly-superharmonic (Definition 2.3) and not necessarily C^{2m} up to the boundary, these boundary terms need not vanish or may change sign, so the claimed equality between the weighted integral of |f^{(m)}|^2 and the sum involving the m-th defect operator may fail.

    Authors: We agree that the proof of Theorem 3.4 must rigorously justify the vanishing of the boundary integrals when the weight is only poly-superharmonic in the sense of Definition 2.3. The current argument applies Green's formula iteratively but does not explicitly verify the boundary contribution for weights that may lack C^{2m} regularity up to the circle. We will revise the proof to either (i) impose an additional standing assumption that the weights are C^{2m} in a neighborhood of the closed disc, or (ii) show that the poly-superharmonicity condition together with the analyticity of the test functions forces the boundary integrals to vanish. The revised version will contain this justification. revision: yes

  2. Referee: [Theorem 5.3] Theorem 5.3 (functional model): the identification of a cyclic Dirichlet-type operator T with the shift on D_ω^{(m)} rests on the defect operators Δ_k(T) matching the weighted integrals of Δ^k ω, which in turn requires the isometry supplied by the Littlewood-Paley identity of Theorem 3.4. If the boundary-term issue in Theorem 3.4 is not resolved for the full class of poly-superharmonic weights, the model map is not isometric on the whole class.

    Authors: This observation is correct and follows immediately from the status of Theorem 3.4. In the revision we will first settle the Littlewood-Paley identity under clearly stated regularity conditions on the weight, and then restate Theorem 5.3 so that the functional model is asserted only for those weights for which the isometry holds. The scope of the unification result will therefore be made precise rather than claimed for the entire class of poly-superharmonic weights. revision: yes

Circularity Check

0 steps flagged

Derivation is self-contained with independent proofs

full rationale

The paper first defines poly-superharmonic weights and proves the higher-order Littlewood-Paley identity (Thm 3.4) via repeated application of Green's formula under the stated regularity assumptions on the weights. This identity is then used to define the class of Dirichlet-type operators of finite order by matching defect operators to weighted integrals of Laplacian iterates. The functional model theorem (Thm 5.3) follows by constructing an isometry from the cyclic operator to the shift on the associated space using these defect relations. No equation reduces to a prior definition by construction, no parameter is fitted and relabeled as a prediction, and no load-bearing step rests solely on self-citation; all central identities are derived within the paper from standard analytic tools.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The construction rests on standard domain assumptions from complex analysis and operator theory on the disk; no free parameters or invented entities are visible in the abstract.

axioms (1)
  • domain assumption Poly-superharmonic weights satisfy iterated positivity conditions under the Laplacian that permit a higher-order Littlewood-Paley identity.
    Invoked to define the spaces and relate integrals to defect operators.

pith-pipeline@v0.9.0 · 5668 in / 1218 out tokens · 44372 ms · 2026-05-18T15:00:45.710469+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

38 extracted references · 38 canonical work pages

  1. [1]

    Abkar and H

    A. Abkar and H. Hedenmalm,A Riesz representation formula for super-biharmonic functions, Ann. Acad. Sci. Fenn. Math.26(2001), no. 2, 305–324

    work page 2001

  2. [2]

    Agler,Hypercontractions and subnormality, J

    J. Agler,Hypercontractions and subnormality, J. Operator Theory13(1985), no. 2, 203–217

    work page 1985

  3. [3]

    Agler and M

    J. Agler and M. Stankus,m-isometric transformations of Hilbert space. I, Integral Equations Operator Theory21(1995), no. 4, 383–429

    work page 1995

  4. [4]

    II, Integral Equations Operator Theory23(1995), no

    ,m-isometric transformations of Hilbert space. II, Integral Equations Operator Theory23(1995), no. 1, 1–48

    work page 1995

  5. [5]

    III, Integral Equations Operator Theory24 (1996), no

    ,m-isometric transformations of Hilbert space. III, Integral Equations Operator Theory24 (1996), no. 4, 379–421

    work page 1996

  6. [6]

    Aleman,The multiplication operator on hilbert spaces of analytic functions, Ph.D

    A. Aleman,The multiplication operator on hilbert spaces of analytic functions, Ph.D. thesis, Fern Uni- versit¨ at, Hagen, 1993

    work page 1993

  7. [7]

    Aleman, S

    A. Aleman, S. Richter, and C. Sundberg,Beurling’s theorem for the Bergman space, Acta Math.177 (1996), no. 2, 275–310

    work page 1996

  8. [8]

    Athavale,On completely hyperexpansive operators, Proc

    A. Athavale,On completely hyperexpansive operators, Proc. Amer. Math. Soc.124(1996), no. 12, 3745– 3752

    work page 1996

  9. [9]

    G. Bao, J. Mashreghi, Z. Wang, and H. Wulan,Blaschke sequences and zero sets for dirichlet spaces with superharmonic weights, Math. Z.309(2025), no. 3, 30, Id/No 53

    work page 2025

  10. [10]

    Begehr,Orthogonal decompositions of the function spaceL 2(D;C), J

    H. Begehr,Orthogonal decompositions of the function spaceL 2(D;C), J. Reine Angew. Math.549(2002), 191–219

    work page 2002

  11. [11]

    Publ., Hackensack, NJ, 2007, pp

    ,A particular polyharmonic Dirichlet problem, Complex analysis and potential theory, World Sci. Publ., Hackensack, NJ, 2007, pp. 84–115

    work page 2007

  12. [12]

    Chavan and V

    S. Chavan and V. M. Sholapurkar,Completely monotone functions of finite order and Agler’s conditions, Studia Math.226(2015), no. 3, 229–258

    work page 2015

  13. [13]

    ,Completely hyperexpansive tuples of finite order, J. Math. Anal. Appl.447(2017), no. 2, 1009– 1026

    work page 2017

  14. [14]

    R. E. Curto and N. Salinas,Generalized Bergman kernels and the Cowen-Douglas theory, Am. J. Math. 106(1984), 447–488 (English)

    work page 1984

  15. [15]

    Duren and A

    P. Duren and A. Schuster,Bergman spaces, Mathematical Surveys and Monographs, vol. 100, American Mathematical Society, Providence, RI, 2004

    work page 2004

  16. [16]

    El-Fallah, K

    O. El-Fallah, K. Kellay, H. Klaja, J. Mashreghi, and T. Ransford,Dirichlet spaces with superharmonic weights and de Branges-Rovnyak spaces, Complex Anal. Oper. Theory10(2016), no. 1, 97–107

    work page 2016

  17. [17]

    El-Fallah, K

    O. El-Fallah, K. Kellay, J. Mashreghi, and T. Ransford,A primer on the Dirichlet space, Camb. Tracts Math., vol. 203, Cambridge: Cambridge University Press, 2014

    work page 2014

  18. [18]

    P. R. Garabedian,Partial differential equations, John Wiley & Sons, Inc., New York-London-Sydney, 1964

    work page 1964

  19. [19]

    J. B. Garnett,Bounded analytic functions, first ed., Graduate Texts in Mathematics, vol. 236, Springer, New York, 2007

    work page 2007

  20. [20]

    Ghara, R

    S. Ghara, R. Gupta, and M.R. Reza,Analyticm-isometries and weighted Dirichlet-type spaces, J. Op- erator Theory88(2022), no. 2, 445–477

    work page 2022

  21. [21]

    ,A local Douglas formula for higher order weighted Dirichlet-type integrals, J. Geom. Anal.33 (2023), no. 8, 30

    work page 2023

  22. [22]

    Gu,On(m, p)-expansive and(m, p)-contractive operators on Hilbert and Banach spaces, J

    C. Gu,On(m, p)-expansive and(m, p)-contractive operators on Hilbert and Banach spaces, J. Math. Anal. Appl.426(2015), no. 2, 893–916. HIGHER ORDER WEIGHTED DIRICHLET TYPE SPACES 29

    work page 2015

  23. [23]

    Hedenmalm, B

    H. Hedenmalm, B. Korenblum, and K. Zhu,Theory of bergman spaces, Graduate Texts in Mathematics, vol. 199, Springer-Verlag, New York, 2000

    work page 2000

  24. [24]

    Z. J. Jablonski,Complete hyperexpansivity, subnormality and inverted boundedness conditions, Integral Equations Operator Theory44(2002), no. 3, 316–336

    work page 2002

  25. [25]

    S. Luo, C. Gu, and S. Richter,Higher order local Dirichlet integrals and de Branges–Rovnyak spaces, Adv. Math.385(2021), Paper No. 107748, 47

    work page 2021

  26. [26]

    Luo and E

    S. Luo and E. Rydhe,On Dirichlet-type andn-isometric shifts in finite rank de Branges-Rovnyak spaces, Sci. China Math.68(2025), 1–20

    work page 2025

  27. [27]

    Mashreghi and T

    J. Mashreghi and T. Ransford,Hadamard multipliers on weighted Dirichlet spaces, Integral Equations Operator Theory91(2019), no. 6, Paper No. 52, 13

    work page 2019

  28. [28]

    V. I. Paulsen and M. Raghupathi,An introduction to the theory of reproducing kernel Hilbert spaces, Camb. Stud. Adv. Math., vol. 152, Cambridge: Cambridge University Press, 2016

    work page 2016

  29. [29]

    Pouliasis,Weighted Dirichlet spaces that are de Branges-Rovnyak spaces with equivalent norms, J

    S. Pouliasis,Weighted Dirichlet spaces that are de Branges-Rovnyak spaces with equivalent norms, J. Funct. Anal.288(2025), no. 3, 17, Id/No 110717

    work page 2025

  30. [30]

    Richter,A representation theorem for cyclic analytic two-isometries, Trans

    S. Richter,A representation theorem for cyclic analytic two-isometries, Trans. Amer. Math. Soc.328 (1991), no. 1, 325–349

    work page 1991

  31. [31]

    Richter and C

    S. Richter and C. Sundberg,A formula for the local Dirichlet integral, Michigan Math. J.38(1991), no. 3, 355–379

    work page 1991

  32. [32]

    Operator Theory28(1992), no

    ,Multipliers and invariant subspaces in the Dirichlet space, J. Operator Theory28(1992), no. 1, 167–186

    work page 1992

  33. [33]

    Rydhe,Cyclicm-isometries and Dirichlet type spaces, J

    E. Rydhe,Cyclicm-isometries and Dirichlet type spaces, J. Lond. Math. Soc. (2)99(2019), no. 3, 733–756

    work page 2019

  34. [34]

    Sarason,Local Dirichlet spaces as de Branges-Rovnyak spaces, Proc

    D. Sarason,Local Dirichlet spaces as de Branges-Rovnyak spaces, Proc. Amer. Math. Soc.125(1997), no. 7, 2133–2139

    work page 1997

  35. [35]

    Shimorin,Wold-type decompositions and wandering subspaces for operators close to isometries, J

    S. Shimorin,Wold-type decompositions and wandering subspaces for operators close to isometries, J. Reine Angew. Math.531(2001), 147–189 (English)

    work page 2001

  36. [36]

    ,Complete Nevanlinna-Pick property of Dirichlet-type spaces, J. Funct. Anal.191(2002), no. 2, 276–296

    work page 2002

  37. [37]

    V. M. Sholapurkar and A. Athavale,Completely and alternatingly hyperexpansive operators, J. Operator Theory43(2000), no. 1, 43–68

    work page 2000

  38. [38]

    G. D. Taylor,Multipliers onD α, Trans. Amer. Math. Soc.123(1966), 229–240. MR 206696 School of Mathematics, Indian Institute of Science Education and Research, Thiruvanan- thapuram. Email address:ashishkujur23@iisertvm.ac.in School of Mathematics, Indian Institute of Science Education and Research, Thiruvanan- thapuram. Email address:ramiz@iisertvm.ac.in

    work page 1966