arxiv: 2605.13787 · v1 · submitted 2026-05-13 · 🧮 math.FA · math.CA

Recognition: no theorem link

Superharmonically Weighted Dirichlet Spaces

A. Hanine, H. Bahajji-El Idrissi, O. El-Fallah, Y. Elmadani

Authors on Pith no claims yet

Pith reviewed 2026-05-14 17:32 UTC · model grok-4.3

classification 🧮 math.FA math.CA

keywords weighted Dirichlet spacessuperharmonic weightsinvariant subspacescyclic functionsouter functionscapacityBrown-Shields conjecture

0 comments

The pith

Invariant subspaces in superharmonically weighted Dirichlet spaces reduce to outer functions when the Laplacian measure is finite or its boundary support is countable.

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

The paper studies weighted Dirichlet spaces D_ω with positive superharmonic weights ω on the unit disk, which generalize the standard spaces D_α. It shows that describing their invariant subspaces reduces to the problem of identifying cyclic vectors among bounded outer functions, a version of the Brown-Shields conjecture. The authors develop supporting tools including a formula for the Dirichlet integral of Carleson-Richter-Sundberg-type outer functions, norm estimates for the reproducing kernels, and basic properties of the associated capacity. These tools yield explicit descriptions of the invariant subspaces precisely when the measure Δω is finite or when the support of Δω intersected with the unit circle is countable. The paper also establishes that a smooth outer function f in D_α with regular zero set Z(f) is cyclic if and only if the capacity c_α(Z(f)) vanishes.

Core claim

In the spaces D_ω generated by superharmonic weights, the lattice of invariant subspaces admits an explicit description once the measure Δω is finite or its intersection with the unit circle is countable; this description is achieved by reducing to the cyclic vectors among bounded outer functions. For the classical weighted spaces D_α, a smooth outer function whose zero set is regular is cyclic exactly when the associated capacity of that zero set is zero.

What carries the argument

The superharmonic weight ω together with the induced capacity c_α, which controls cyclicity of outer functions by vanishing on their zero sets and supports the reduction of invariant-subspace descriptions to the Brown-Shields problem.

If this is right

When Δω is finite the invariant subspaces are precisely those generated by bounded outer functions satisfying the capacity condition.
When supp(Δω) ∩ T is countable the same reduction to outer-function cyclicity holds.
The capacity c_α(Z(f)) = 0 becomes a necessary and sufficient criterion for cyclicity of smooth regular outer functions in every D_α.
The developed integral formula and kernel-norm estimates apply directly to any outer function of Carleson-Richter-Sundberg type inside these weighted spaces.

Where Pith is reading between the lines

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

The capacity-zero condition may be verifiable for concrete families such as finite Blaschke products or certain singular inner functions.
The same reduction technique could be tested on weights whose Laplacian measure has more general support, potentially yielding further classes of spaces where invariant subspaces are fully classified.
The kernel-norm estimates might supply explicit constants useful for numerical checks of cyclicity in low-degree polynomial approximations.

Load-bearing premise

The weight must be positive and superharmonic on the disk, and the outer function in the final cyclicity statement must be smooth with a regular zero set.

What would settle it

Exhibit a smooth outer function f in some D_α whose zero set Z(f) is regular, satisfies c_α(Z(f))=0, yet f fails to be cyclic, or produce an invariant subspace in D_ω that cannot be generated by a bounded outer function when Δω is finite.

read the original abstract

In this paper, we consider weighted Dirichlet spaces $\cD_\omega$, where $\omega$ is a positive superharmonic weight on the unit disc $\DD$. These spaces include the standard weighted Dirichlet spaces $\cD_\alpha$ and appear in the description of their invariant subspaces. Our goal is to study the spaces $\cD_\omega$. We show that an explicit description of invariant subspaces reduces to the description of those generated by a bounded outer function, and then to the problem of describing cyclic functions, known as the Brown--Shields conjecture. We develop tools, analogous to those used in the harmonic case, that are needed to treat this problem for superharmonically weighted Dirichlet spaces $\cD_\omega$. In particular, we obtain a formula for the Dirichlet integral of outer functions of Carleson--Richter--Sundberg type, estimates for the norm of the reproducing kernel of $\cD_\omega$, and several properties on the capacity associated with $\cD_\omega$. Using these tools, we provide a description of invariant subspaces when the measure $\Delta \omega$ is finite measure or if the $\supp(\Delta \omega)\cap \TT$ is countable, where $\TT$ denotes the unit circle. Finally, we prove that a smooth outer function $f \in \cD_\alpha$ such that $\cZ (f) $ is "regular" is cyclic in $\cD_\alpha$ if and only if $c_{\alpha }(\cZ(f))= 0$.

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.

Desk Editor's Note private letter to a colleague

This paper reduces invariant subspaces for superharmonic weights to cyclicity and settles the finite-measure and countable-support cases plus a capacity criterion for D_alpha.

read the letter

The core result is a reduction of the invariant subspace problem in superharmonically weighted Dirichlet spaces to questions about cyclic vectors, followed by resolutions in the cases where the Laplacian measure is finite or supported on a countable set on the boundary. They also prove that a smooth outer function in D_alpha with a regular zero set is cyclic precisely when the capacity of that zero set vanishes. The paper does a solid job extending the harmonic-weight toolkit. The new formula for the Dirichlet integral of Carleson-Richter-Sundberg outer functions is a useful explicit expression, the reproducing kernel estimates are adapted appropriately, and the capacity properties are developed in a way that supports the cyclicity criterion. The reduction itself is a clear step that organizes the problem without introducing circular reasoning, and the special cases are treated directly using these tools. Credit is due for keeping the arguments grounded in standard complex analysis facts rather than ad-hoc constructions. The limitations are mainly in breadth. Only two restricted classes of weights are fully handled, leaving the general superharmonic case open, and the cyclicity theorem is stated for the classical D_alpha rather than the full family of spaces under study. The abstract does not include the proofs, so the details of the kernel norms and how regularity of the zero set is defined would need checking in the full text, but the overall logic appears consistent and free of obvious gaps. This work is for specialists in holomorphic function spaces and invariant subspaces who are already comfortable with the Brown-Shields conjecture and the harmonic case. A reader looking for new technical tools or partial results toward the conjecture will find material here. It is worth a serious referee report because the statements are precise, the methods are reproducible in principle, and the contributions add to the literature even if they do not resolve the full problem. I recommend sending it to peer review.

Referee Report

2 major / 3 minor

Summary. The paper studies weighted Dirichlet spaces D_ω with positive superharmonic weights ω on the unit disk. It shows that describing invariant subspaces reduces to those generated by bounded outer functions and ultimately to the cyclicity problem (Brown-Shields conjecture). New tools are developed, including a Dirichlet-integral formula for Carleson-Richter-Sundberg-type outer functions, reproducing-kernel norm estimates, and associated capacity properties. Explicit descriptions of invariant subspaces are given when Δω is finite or supp(Δω) ∩ T is countable. Finally, a smooth outer function f ∈ D_α with regular zero set Z(f) is cyclic in D_α if and only if c_α(Z(f)) = 0.

Significance. If the derivations hold, the work extends the invariant-subspace theory from harmonic to superharmonic weights, supplying concrete partial resolutions of the Brown-Shields conjecture in two special cases together with reusable estimates and a capacity-based cyclicity criterion. These tools strengthen the analytic toolkit for weighted Dirichlet spaces and are likely to support further progress on cyclicity questions.

major comments (2)

[Reduction to bounded outer functions] The reduction of general invariant subspaces to those generated by bounded outer functions is load-bearing for the entire program; the manuscript should supply the precise step (likely in the section following the definition of D_ω) that shows why superharmonicity of ω guarantees the required positivity and subharmonicity for the kernel estimates without additional uniformity assumptions.
[Cyclicity criterion for D_α] In the cyclicity theorem for smooth outer f ∈ D_α, the regularity condition on Z(f) is used to equate vanishing capacity with cyclicity; the precise definition of “regular” and its interaction with the capacity c_α must be stated explicitly (probably near the capacity-properties section) so that the if-and-only-if statement can be verified independently of the finite-measure or countable-support cases.

minor comments (3)

[Notation] The notation Δω for the Laplacian measure and the symbol c_α for capacity should be introduced with a short reminder of their definitions at first use, even if standard in the literature.
[Kernel estimates] Figure or table summarizing the kernel-norm bounds for the finite-measure and countable-support cases would improve readability of the comparison with the harmonic-weight results.
[Introduction] A brief sentence recalling the statement of the Brown-Shields conjecture would help readers who are not specialists in the area.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and will incorporate the requested clarifications in the revised version.

read point-by-point responses

Referee: [Reduction to bounded outer functions] The reduction of general invariant subspaces to those generated by bounded outer functions is load-bearing for the entire program; the manuscript should supply the precise step (likely in the section following the definition of D_ω) that shows why superharmonicity of ω guarantees the required positivity and subharmonicity for the kernel estimates without additional uniformity assumptions.

Authors: We agree that the reduction step is central and that its justification from superharmonicity should be fully explicit. In the revised manuscript we will insert, immediately after the definition of D_ω, a self-contained paragraph deriving the positivity and subharmonicity of the relevant kernels directly from the superharmonicity of ω, without invoking any uniformity assumptions. revision: yes
Referee: [Cyclicity criterion for D_α] In the cyclicity theorem for smooth outer f ∈ D_α, the regularity condition on Z(f) is used to equate vanishing capacity with cyclicity; the precise definition of “regular” and its interaction with the capacity c_α must be stated explicitly (probably near the capacity-properties section) so that the if-and-only-if statement can be verified independently of the finite-measure or countable-support cases.

Authors: We concur that the notion of a regular zero set must be defined precisely to make the cyclicity criterion independently verifiable. In the revised manuscript we will state the exact definition of regularity for Z(f) in the capacity-properties section and add a short paragraph clarifying its interaction with c_α, thereby allowing the if-and-only-if statement to be checked without reference to the special cases. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivations rely on independent estimates and external facts

full rationale

The paper introduces new formulas for the Dirichlet integral of Carleson-Richter-Sundberg outer functions, reproducing kernel norm estimates, and capacity properties specifically for superharmonically weighted Dirichlet spaces D_ω. These tools are developed by direct analogy with the harmonic-weight case but are not shown to reduce to prior self-citations or fitted inputs. The reduction of invariant-subspace descriptions to cyclicity questions for bounded outer functions follows standard functional-analytic arguments. Special-case descriptions (finite Δω or countable supp(Δω) ∩ 𝕋) and the cyclicity criterion for smooth outer f with regular zero set (cyclic iff c_α(Z(f))=0) apply these tools to known capacity and subharmonicity properties without self-referential definitions or load-bearing self-citations. The superharmonicity assumption is used only for positivity and subharmonicity, which are externally verifiable. The chain is self-contained against standard complex-analysis benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper introduces no free parameters. It relies on standard mathematical axioms from complex analysis and functional analysis together with domain assumptions about outer functions and capacities.

axioms (2)

standard math Superharmonic functions satisfy the sub-mean-value property on the disk
Invoked in the definition of the weight class D_ω throughout the paper.
domain assumption Outer functions of Carleson-Richter-Sundberg type admit the stated integral representation for the Dirichlet integral
Used to obtain the explicit formula for the Dirichlet integral.

pith-pipeline@v0.9.0 · 5586 in / 1498 out tokens · 84198 ms · 2026-05-14T17:32:26.022854+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

52 extracted references · 52 canonical work pages

[1]

D. R. Adams, On the existence of capacitary strong type estimates inRn, Ark. Mat.14(1976), 125–140

work page 1976
[2]

Agler, J

J. Agler, J. E. McCarthy, Pick interpolation and Hilbert function spaces, volume 44 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2002

work page 2002
[3]

Aleman, The multiplication operator on Hilbert spaces of analytic functions, Habilitationsschrift, Hagen, (1993)

A. Aleman, The multiplication operator on Hilbert spaces of analytic functions, Habilitationsschrift, Hagen, (1993)

work page 1993
[4]

Aleman, Hilbert spaces of analytic functions between the Hardy and the Dirichlet space, Proc

A. Aleman, Hilbert spaces of analytic functions between the Hardy and the Dirichlet space, Proc. Amer. Math. Soc.115(1) (1992), no. 1, 97–104

work page 1992
[5]

Aleman, M

A. Aleman, M. Hartz, J. McCarthy, S. Richter, Free outer functions in complete Pick spaces. Trans. Amer. Math. Soc. 376 (2023), no. 3, 1929-1978

work page 2023
[6]

Arcozzi, R

N. Arcozzi, R. Rochberg, E. Sawyer and B. D. Wick, The Dirichlet space: a survey, New York J. Math. 17A(2011), 45–86

work page 2011
[7]

Arcozzi, R

N. Arcozzi, R. Rochberg, E. Sawyer, B. Wick, The Dirichlet space and related function spaces. Math- ematical Surveys and Monographs, 239. American Mathematical Society, Providence, RI, 2019

work page 2019
[8]

Bahajji-El Idrissi and O

H. Bahajji-El Idrissi and O. El-Fallah, Blaschke Products and Zero Sets in Weighted Dirichlet Spaces. Potential Anal.53(2020), 1299–1316

work page 2020
[9]

Bahajji-El Idrissi and O

H. Bahajji-El Idrissi and O. El-Fallah, Approximation in some analytic spaces. Studia Math.255 (2020), 209–217

work page 2020
[10]

Bahajji-El Idrissi, O

H. Bahajji-El Idrissi, O. El-Fallah, Douglas-type formula for weighted Besov spaces.Collect. Math. (2025), 1–17

work page 2025
[11]

IEEE Transactions on Information Theory.51(2005), no 7, p 2664–2669

A Banerjee, G Xin and W Hui, On the optimality of conditional expectation as a Bregman predictor. IEEE Transactions on Information Theory.51(2005), no 7, p 2664–2669

work page 2005
[12]

Beurling, On two problems concerning linear operators in Hilbert space, Acta Math.81(1949), 239–255

A. Beurling, On two problems concerning linear operators in Hilbert space, Acta Math.81(1949), 239–255

work page 1949
[13]

Bregman, The relaxation method of finding the common point of convex sets and its application to the solution of problems in convex programming

M. Bregman, The relaxation method of finding the common point of convex sets and its application to the solution of problems in convex programming. USSR computational mathematics and mathematical physics.7(3)(1967), 200–217. SUPERHARMONICALLY WEIGHTED DIRICHLET SPACES 31

work page 1967
[14]

Brown and W

L. Brown and W. Cohn, Some examples of cyclic vectors in the Dirichlet space, Proc. Amer. Math. Soc.95(1985), no. 1, 42–46

work page 1985
[15]

Brown and A

L. Brown and A. L. Shields, Cyclic vectors in the Dirichlet space, Trans. Amer. Math. Soc.285(1984), 269–304

work page 1984
[16]

Beurling and J

A. Beurling and J. Deny, Espaces de Dirichlet, Acta Math.99(1958), 203–224

work page 1958
[17]

G. Bao, N. G¨ o˘ g¨ u¸ s and S. Pouliasis, On Dirichlet spaces with a class of superharmonic weights, Canad. J. Math.70(2018), no. 4, 721-741

work page 2018
[18]

Bonilla, F

A. Bonilla, F. P´ erez-Gonz´ alez, A. Stray and R. Trujillo-Gonz´ alez, Approximation in weighted Hardy spaces, J. Anal. Math.73(1997), 65–89

work page 1997
[19]

Carleson, Sets of uniqueness for functions regular in the unit circle, Acta Math.87(1952), 325–345

L. Carleson, Sets of uniqueness for functions regular in the unit circle, Acta Math.87(1952), 325–345

work page 1952
[20]

Carleson, A representation formula for the Dirichlet integral, Math

L. Carleson, A representation formula for the Dirichlet integral, Math. Z.73(1960), 190–196

work page 1960
[21]

Chac´ on, Carleson measures on Dirichlet–type spaces, Proc

G. Chac´ on, Carleson measures on Dirichlet–type spaces, Proc. Amer. Math. Soc.139(2011), no. 5, 1605–1615

work page 2011
[22]

Chafa¨ ı, Entropies, convexity, and functional inequalities, J

D. Chafa¨ ı, Entropies, convexity, and functional inequalities, J. Math. Kyoto Univ.44(2004), no. 2, 325–363

work page 2004
[23]

C. Chu, M. Hartz, J. Mashreghi and T. Ransford, A Gleason–Kahane–˙Zelazko theorem for reproducing kernel Hilbert spaces, Bull. Lond. Math. Soc.54(2022), no. 3, 1120–1130

work page 2022
[24]

Douglas, Solution of the problem of Plateau, Trans

J. Douglas, Solution of the problem of Plateau, Trans. Amer. Math. Soc.33(1931), no. 1, 263–321

work page 1931
[25]

El-Fallah, K

O. El-Fallah, K. Kellay and T. Ransford, Cantor sets and cyclicity in weighted Dirichlet spaces, J. Math. Anal. Appl.372(2010), no. 2, 565–573

work page 2010
[26]

El-Fallah, K

O. El-Fallah, K. Kellay and T. Ransford, On the Brown–Shields conjecture for cyclicity in the Dirichlet space, Adv. Math.222(2009), no. 6, 2196–2214

work page 2009
[27]

El-Fallah, K

O. El-Fallah, K. Kellay and T. Ransford, Cyclicity in the Dirichlet space, Ark. Mat.44(2006), 61–86

work page 2006
[28]

El-Fallah, K

O. El-Fallah, K. Kellay, J. Mashreghi and T. Ransford, A primer on the Dirichlet space, Cambridge Univ. Press, 2014

work page 2014
[29]

El-Fallah, Y

O. El-Fallah, Y. Elmadani and K. Kellay, Cyclicity and invariant subspaces in Dirichlet spaces, J. Funct. Anal.270(2016), no. 9, 3262–3279

work page 2016
[30]

El-Fallah, Y

O. El-Fallah, Y. Elmadani and K. Kellay, Kernel and capacity estimates in Dirichlet spaces, J. Funct. Anal.276(2019), no. 3, 867–895

work page 2019
[31]

El-Fallah, Y

O. El-Fallah, Y. Elmadani and I. Labghail, Extremal functions and invariant subspaces in Dirichlet spaces, Adv. Math.408(2022), 108604

work page 2022
[32]

Elmadani and I

Y. Elmadani and I. Labghail, Cyclicity in Dirichlet spaces, Canad. Math. Bull.62(2018), no. 2, 247-257

work page 2018
[33]

Fukushima , Y

M. Fukushima , Y. Oshima and M. Takeda. Dirichlet forms and symmetric Markov processes, Walter de Gruyter 2011

work page 2011
[34]

Hartz, M., Every complete Pick space satisfies the column-row property

M. Hartz, M., Every complete Pick space satisfies the column-row property. Acta Math. 231 (2023), no. 2, 345-386

work page 2023
[35]

Hedenmalm and A

H. Hedenmalm and A. L. Shields, Invariant subspaces in Banach spaces of analytic functions, Michigan Math. J.37(1990), 91–104

work page 1990
[36]

J. B. Garnett, Bounded analytic functions, Academic Press, New York 1981

work page 1981
[37]

Guillot, Fine boundary behavior and invariant subspaces of harmonically weighted Dirichlet spaces, Complex Anal

D. Guillot, Fine boundary behavior and invariant subspaces of harmonically weighted Dirichlet spaces, Complex Anal. Oper. Theory6(2012), 1211–1230

work page 2012
[38]

Hansson, Imbedding theorems of Sobolev type in potential theory, Math

K. Hansson, Imbedding theorems of Sobolev type in potential theory, Math. Scand.45(1980), no. 1, 77–102

work page 1980
[39]

Koosis, Introduction toH p spaces, Cambridge Univ

P. Koosis, Introduction toH p spaces, Cambridge Univ. Press 1998

work page 1998
[40]

G. Bao, N. G¨ og¨ u¸ s and S. Pouliasis, On Dirichlet spaces with a class of superharmonic weights. Canad. J. Math.70(2018), no. 4, 721–741

work page 2018
[41]

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
[42]

Richter, Invariant subspaces of the Dirichlet shift, J

S. Richter, Invariant subspaces of the Dirichlet shift, J. Reine Angew. Math.386(1988), 205–220. 32 H. BAHAJJI-EL IDRISSI, O. EL-F ALLAH, Y. ELMADANI AND A. HANINE

work page 1988
[43]

Richter and C

S. Richter and C. Sundberg, Multipliers and invariant subspaces in the Dirichlet space, J. Operator Theory28(1992), 167–186

work page 1992
[44]

Richter and C

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

work page 1991
[45]

Richter and C

S. Richter and C. Sundberg, Invariant subspaces of the Dirichlet shift and pseudocontinuations, Trans. Amer. Math. Soc.341(1994), 863–879

work page 1994
[46]

Richter and F

S. Richter and F. Yilmaz, Regularity for generators of invariant subspaces of the Dirichlet shift, J. Funct. Anal.277(7), (2018). 2117–2132

work page 2018
[47]

Ross, The classical Dirichlet space, Contemp

W. Ross, The classical Dirichlet space, Contemp. Math.393(2006), 171– 197

work page 2006
[48]

Sarason, Doubly shift–invariant spaces inH 2, J

D. Sarason, Doubly shift–invariant spaces inH 2, J. Operator Theory16(1986), no. 1, 75–97

work page 1986
[49]

Shimorin, Reproducing kernels and extremal functions in Dirichlet–type spaces, J

S. Shimorin, Reproducing kernels and extremal functions in Dirichlet–type spaces, J. Math. Sci. (N.Y.) 107(2001), 4108–4124

work page 2001
[50]

Shimorin, Complete Nevanlinna–Pick property of Dirichlet–type spaces, J

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

work page 2002
[51]

D. A. Stegenga, Multipliers of the Dirichlet space, Illinois J. Math.24(1980), no. 1, 113–139

work page 1980
[52]

Wu, Carleson measures and multipliers for Dirichlet spaces, J

Z. Wu, Carleson measures and multipliers for Dirichlet spaces, J. Funct. Anal.169(1999), no. 1, 148–163. Laboratory of Mathematical Analysis and Applications, Mohammed V University in Rabat, B.P. 1014, Rabat, Morocco Email address:bahajjielidrissihafid@gmail.com Email address:elfallah@fsr.ac.ma Email address:elmadanima@gmail.com Email address:abhanine@gmail.com

work page 1999