Weighted Korenblum Spaces

• Weighted Korenblum spaces are analytic function spaces for holomorphic functions with controlled boundary growth defined by weights or majorants on the unit disk and upper half-plane.
• These spaces encompass various models—including weighted Banach spaces, inductive-limit spaces, and Fréchet constructions—that connect growth conditions with operator theory, cyclicity, and basis properties.
• They facilitate precise operator norm computations for Hilbert and integration operators while also providing a framework for studying cyclicity through premeasures and Hankel operator characterizations.

Weighted Korenblum spaces are spaces of holomorphic functions in which admissible boundary growth is controlled by a weight or majorant. In the literature represented here, the term refers not to a single canonical object but to several closely related scales on the unit disk and the upper half-plane: weighted Banach spaces $H_v^\infty$, classical Korenblum growth spaces $A^{-\gamma}$, Fréchet and $(LB)$ limits built from those Banach steps, inductive-limit spaces $A_\Lambda^{-\infty}$ defined by exponential majorants, and upper half-plane spaces $H_{\Omega,t}^\infty(\mathbb C_+)$. Across these models, the common theme is that a vanishing weight near the boundary permits controlled blow-up of analytic functions, and this growth structure interacts sharply with operator theory, cyclicity, basis questions, and boundary-measure decompositions (Lindström et al., 2018, Hanine, 2012, Bonet et al., 2017, Malman, 25 Mar 2025, Sehba, 10 Aug 2025).

1. Definitions and principal models

On the unit disk $\mathbb D$, one basic weighted model is the weighted Banach space

$$H_v^\infty=\left\{f\in H(\mathbb D): \|f\|_{H_v^\infty}:=\sup_{z\in\mathbb D}|f(z)|\,v(z)<\infty\right\},$$

where $v$ is a continuous radial weight, normalized by $\sup_{z\in\mathbb D}v(z)=1$ in one formulation, or more generally assumed radial, continuous, non-increasing, and such that $v(r)\to0$ as $A^{-\gamma}$0. Its vanishing subspace is

$A^{-\gamma}$1

or, equivalently in parallel notation,

$A^{-\gamma}$2

For the standard power weights

$A^{-\gamma}$3

these become the classical Korenblum-type growth Banach spaces. A closely related and standard normalization is

$A^{-\gamma}$4

In this formulation, the parameter $A^{-\gamma}$5 measures the allowed boundary growth of $A^{-\gamma}$6: larger $A^{-\gamma}$7 means more vanishing weight near the boundary and hence permits faster growth of $A^{-\gamma}$8 as $A^{-\gamma}$9 (Lindström et al., 2018, Beltrán-Meneu et al., 2024).

A second, more flexible model uses a majorant $(LB)$0 satisfying positivity, monotonicity, convexity, doubling-type control

$(LB)$1

and auxiliary regularity conditions such as $(LB)$2, $(LB)$3 as $(LB)$4, and the existence of $(LB)$5 such that $(LB)$6 is non-decreasing. The corresponding weighted Korenblum-type space is

$(LB)$7

where

$(LB)$8

Typical examples are

$(LB)$9

Here the boundary growth is governed by the majorant $A_\Lambda^{-\infty}$0, and larger $A_\Lambda^{-\infty}$1 means a larger space (Hanine, 2012).

A third variant is the upper half-plane model. For a positive weight $A_\Lambda^{-\infty}$2 and $A_\Lambda^{-\infty}$3,

$A_\Lambda^{-\infty}$4

and the weighted Korenblum space is

$A_\Lambda^{-\infty}$5

In the main applications there, $A_\Lambda^{-\infty}$6, where $A_\Lambda^{-\infty}$7 is the standard logarithmic function used in the upper half-plane setting (Sehba, 10 Aug 2025).

Model	Definition	Typical notation
Weighted sup-norm space on $A_\Lambda^{-\infty}$8	$A_\Lambda^{-\infty}$9	$H_{\Omega,t}^\infty(\mathbb C_+)$0, $H_{\Omega,t}^\infty(\mathbb C_+)$1
Standard Korenblum weight	$H_{\Omega,t}^\infty(\mathbb C_+)$2 or $H_{\Omega,t}^\infty(\mathbb C_+)$3	$H_{\Omega,t}^\infty(\mathbb C_+)$4, $H_{\Omega,t}^\infty(\mathbb C_+)$5
Majorant-defined inductive limit	$H_{\Omega,t}^\infty(\mathbb C_+)$6	$H_{\Omega,t}^\infty(\mathbb C_+)$7
Upper half-plane weighted model	$H_{\Omega,t}^\infty(\mathbb C_+)$8	$H_{\Omega,t}^\infty(\mathbb C_+)$9

A recurrent source of confusion is notational rather than mathematical. The cited papers use $\mathbb D$0, $\mathbb D$1, $\mathbb D$2, $\mathbb D$3, $\mathbb D$4, and $\mathbb D$5 for related but non-identical constructions. The common structure is weighted boundary growth control, but the topology and operator theory depend strongly on which scale is chosen.

2. Scale structure, topology, and basis theory

For $\mathbb D$6, the weighted Banach norm

$\mathbb D$7

defines the Banach space

$\mathbb D$8

with little space

$\mathbb D$9

From these Banach steps, one obtains projective and inductive Korenblum-type scales. For $$H_v^\infty=\left\{f\in H(\mathbb D): \|f\|_{H_v^\infty}:=\sup_{z\in\mathbb D}|f(z)|\,v(z)<\infty\right\},$$0,

$$H_v^\infty=\left\{f\in H(\mathbb D): \|f\|_{H_v^\infty}:=\sup_{z\in\mathbb D}|f(z)|\,v(z)<\infty\right\},$$1

The special Korenblum space is

$$H_v^\infty=\left\{f\in H(\mathbb D): \|f\|_{H_v^\infty}:=\sup_{z\in\mathbb D}|f(z)|\,v(z)<\infty\right\},$$2

In another notation, the Fréchet Korenblum-type space is

$$H_v^\infty=\left\{f\in H(\mathbb D): \|f\|_{H_v^\infty}:=\sup_{z\in\mathbb D}|f(z)|\,v(z)<\infty\right\},$$3

while the $$H_v^\infty=\left\{f\in H(\mathbb D): \|f\|_{H_v^\infty}:=\sup_{z\in\mathbb D}|f(z)|\,v(z)<\infty\right\},$$4-version is

$$H_v^\infty=\left\{f\in H(\mathbb D): \|f\|_{H_v^\infty}:=\sup_{z\in\mathbb D}|f(z)|\,v(z)<\infty\right\},$$5

and

$$H_v^\infty=\left\{f\in H(\mathbb D): \|f\|_{H_v^\infty}:=\sup_{z\in\mathbb D}|f(z)|\,v(z)<\infty\right\},$$6

is called the classical Korenblum space. The paper on Cesàro-type operators uses yet another closely related notation,

$$H_v^\infty=\left\{f\in H(\mathbb D): \|f\|_{H_v^\infty}:=\sup_{z\in\mathbb D}|f(z)|\,v(z)<\infty\right\},$$7

and

$$H_v^\infty=\left\{f\in H(\mathbb D): \|f\|_{H_v^\infty}:=\sup_{z\in\mathbb D}|f(z)|\,v(z)<\infty\right\},$$8

These formulations are all built from weighted Banach steps, but they encode different locally convex topologies (Bonet et al., 2017, Bonet et al., 2020, Meneu et al., 2024).

The topological structure is concrete. For the majorant model,

$$H_v^\infty=\left\{f\in H(\mathbb D): \|f\|_{H_v^\infty}:=\sup_{z\in\mathbb D}|f(z)|\,v(z)<\infty\right\},$$9

For projective constructions such as $v$0, convergence is determined by all norms above the threshold, while for inductive constructions such as $v$1, convergence is controlled within one Banach step.

The monomial system

$v$2

has markedly different behavior at the Banach and limit-space levels. For every $v$3, $v$4 is a Schauder basis of $v$5 and of $v$6. Thus every $v$7 in either space has a unique expansion

$v$8

with convergence in the corresponding locally convex topology. By contrast, Lusky had shown that the monomials are not a Schauder basis for the closure of the polynomials in weighted Banach spaces of $v$9-type. The positive basis theorem is therefore specific to the Fréchet and $\sup_{z\in\mathbb D}v(z)=1$0 Korenblum-type limit spaces, not to the underlying weighted Banach steps (Bonet et al., 2017).

The same work gives an explicit sequence-space model. For each $\sup_{z\in\mathbb D}v(z)=1$1, $\sup_{z\in\mathbb D}v(z)=1$2 is isomorphic to a Köthe echelon space $\sup_{z\in\mathbb D}v(z)=1$3, and $\sup_{z\in\mathbb D}v(z)=1$4 is represented as a Köthe co-echelon space $\sup_{z\in\mathbb D}v(z)=1$5. This places weighted Korenblum scales within the standard framework of locally convex sequence spaces and explains why dyadic block decompositions and discrete-continuous norm comparisons are effective in their analysis.

3. Cyclicity, premeasures, and weighted Korenblum–Roberts theory

For weighted Korenblum-type spaces $\sup_{z\in\mathbb D}v(z)=1$6, cyclicity is studied for the multiplication operator

$\sup_{z\in\mathbb D}v(z)=1$7

If $\sup_{z\in\mathbb D}v(z)=1$8, where $\sup_{z\in\mathbb D}v(z)=1$9 or one Banach stage $v(r)\to0$0, the cyclic subspace generated by $v(r)\to0$1 is

$v(r)\to0$2

and $v(r)\to0$3 is cyclic if $v(r)\to0$4. For zero-free normalized functions $v(r)\to0$5, the key boundary datum is a premeasure $v(r)\to0$6 in the representation

$v(r)\to0$7

The main theorem states that cyclicity is characterized by the vanishing of the $v(r)\to0$8-singular part of this premeasure. Under the growth hypotheses labeled (C1) and (C2), the paper proves

$v(r)\to0$9

This gives a positive answer to Deninger’s conjecture in the weighted Korenblum setting (Hanine, 2012).

The same paper develops the relevant boundary apparatus. A premeasure $A^{-\gamma}$00 is $A^{-\gamma}$01-bounded if

$A^{-\gamma}$02

for all arcs $A^{-\gamma}$03. For a closed $A^{-\gamma}$04, the $A^{-\gamma}$05-entropy is

$A^{-\gamma}$06

where $A^{-\gamma}$07 are the complementary arcs of $A^{-\gamma}$08. The structural theorem

$A^{-\gamma}$09

is the bridge between boundary decomposition and cyclicity. In this framework, the singular part of the boundary data is exactly the obstruction to density of polynomial multiples.

A more recent weighted extension is the weighted Korenblum–Roberts theory for spaces

$A^{-\gamma}$10

and also for more general radial disk weights

$A^{-\gamma}$11

with the specific gauge

$A^{-\gamma}$12

Here the boundary weight $A^{-\gamma}$13 determines the family of associated Beurling–Carleson sets

$A^{-\gamma}$14

The main cyclicity theorem is

$A^{-\gamma}$15

assuming $A^{-\gamma}$16 is analytic. In the unweighted Bergman case, the relevant Beurling–Carleson sets have Lebesgue measure zero; in the weighted theory, associated sets can have either zero or positive Lebesgue measure. That distinction is one of the key structural differences from the classical Korenblum–Roberts theorem (Malman, 25 Mar 2025).

The same paper computes the Thomson decomposition

$A^{-\gamma}$17

with $A^{-\gamma}$18 and $A^{-\gamma}$19. This isolates the maximal analytic part of the space and shows that analyticity itself is a weighted boundary phenomenon.

4. Hilbert matrix and generalized Hilbert operators

The Hilbert matrix operator is defined on Taylor coefficients by

$A^{-\gamma}$20

A crucial device is its representation as an integral of weighted composition operators,

$A^{-\gamma}$21

with

$A^{-\gamma}$22

For a weighted composition operator $A^{-\gamma}$23 on $A^{-\gamma}$24, the norm formula used in the analysis is

$A^{-\gamma}$25

This formula reduces operator norm estimation to a supremum over the disk and is the technical heart of the Hilbert-matrix analysis on weighted Korenblum spaces (Lindström et al., 2018, Hu et al., 2024).

For the Korenblum spaces

$A^{-\gamma}$26

the 2018 norm computation gives a sharp formula in the range

$A^{-\gamma}$27

The lower bound is obtained by testing on

$A^{-\gamma}$28

and evaluating a Beta integral. For

$A^{-\gamma}$29

the same paper proves boundedness and an explicit upper estimate, but does not claim sharpness. The structure of Lemma 4.2 suggests a change in norm behavior at the threshold $A^{-\gamma}$30 (Lindström et al., 2018).

A later result computes the exact norm and essential norm on the equivalent Korenblum weights

$A^{-\gamma}$31

showing that

$A^{-\gamma}$32

The same value holds for the equivalent standard weight $A^{-\gamma}$33. Thus, in this normalization, the exact constant is valid for all $A^{-\gamma}$34, and the essential norm already attains the full operator norm. More generally, for generalized Hilbert matrix operators on weighted Banach spaces,

$A^{-\gamma}$35

A common misconception is that the exact constant $A^{-\gamma}$36 was known uniformly across all Korenblum normalizations already in 2018. What the cited results show is more specific: exactness up to $A^{-\gamma}$37 in one treatment, and exactness for all $A^{-\gamma}$38 for the equivalent weight $A^{-\gamma}$39, with explicit identification of norm and essential norm (Lindström et al., 2022).

The generalized Hilbert operator associated with a positive finite Borel measure $A^{-\gamma}$40 on $A^{-\gamma}$41 is governed by the moments

$A^{-\gamma}$42

and the integral operator

$A^{-\gamma}$43

On spaces where both are defined and polynomials are dense, $A^{-\gamma}$44. For weighted Korenblum-type spaces $A^{-\gamma}$45 and $A^{-\gamma}$46, the main control quantity is

$A^{-\gamma}$47

If $A^{-\gamma}$48, then

$A^{-\gamma}$49

is well defined and continuous; if $A^{-\gamma}$50 is essential, this is also necessary. For the standard weights $A^{-\gamma}$51, boundedness and compactness become moment conditions: $A^{-\gamma}$52 with equivalent formulations in terms of $A^{-\gamma}$53-Carleson and vanishing $A^{-\gamma}$54-Carleson measures. For $A^{-\gamma}$55, the well-definedness criterion becomes

$A^{-\gamma}$56

The same paper emphasizes that this behavior differs in essential ways from the Cesàro-type setting (Beltrán-Meneu et al., 2024).

The Hilbert matrix has also been studied on the logarithmically weighted Korenblum space

$A^{-\gamma}$57

with $A^{-\gamma}$58. The exact norm of $A^{-\gamma}$59 and of $A^{-\gamma}$60 on $A^{-\gamma}$61 is expressed by an explicit supremum of integral kernels, and the lower estimate

$A^{-\gamma}$62

again arises from the Beta identity. This extends the Hilbert-matrix norm problem from standard Korenblum weights to logarithmic variants (Hu et al., 2024).

5. Cesàro, Volterra, and integration operators

Given a positive finite Borel measure $A^{-\gamma}$63 on $A^{-\gamma}$64, the Cesàro-type operator is

$A^{-\gamma}$65

and if

$A^{-\gamma}$66

then

$A^{-\gamma}$67

For general weights $A^{-\gamma}$68, a sufficient continuity criterion is

$A^{-\gamma}$69

For standard weights $A^{-\gamma}$70, the exact Banach-step criteria are especially explicit. If $A^{-\gamma}$71 and $A^{-\gamma}$72, then

$A^{-\gamma}$73

$A^{-\gamma}$74

and compactness is characterized by

$A^{-\gamma}$75

or, equivalently, the vanishing $A^{-\gamma}$76-Carleson condition. These Banach-step results transfer to the Korenblum-type scales: $A^{-\gamma}$77 Moreover,

$A^{-\gamma}$78

is continuous for every positive finite Borel measure $A^{-\gamma}$79. Under a Carleson assumption,

$A^{-\gamma}$80

Thus the moment sequence governs not only continuity and compactness but also the spectrum on the classical Korenblum space (Meneu et al., 2024).

For generalized Volterra operators,

$A^{-\gamma}$81

the relevant Banach spaces are

$A^{-\gamma}$82

and

$A^{-\gamma}$83

Boundedness and compactness are completely controlled by the Bloch and little Bloch classes: $A^{-\gamma}$84 and

$A^{-\gamma}$85

When $A^{-\gamma}$86 is nonconstant, the optimal domains are Banach spaces and admit the precise descriptions

$A^{-\gamma}$87

$A^{-\gamma}$88

Their multiplier spaces are

$A^{-\gamma}$89

The classical Cesàro operator appears as the special case $A^{-\gamma}$90, and for every $A^{-\gamma}$91,

$A^{-\gamma}$92

This shows that optimal domains are often strictly larger than the original weighted Korenblum space (Albanese et al., 2 Feb 2025).

A different operator-theoretic rigidity appears for the integration operator

$A^{-\gamma}$93

On weighted Fréchet and $A^{-\gamma}$94 spaces of holomorphic functions, including the Korenblum-type examples built from the weights

$A^{-\gamma}$95

the proper closed invariant subspaces of $A^{-\gamma}$96 are exactly the jet-vanishing spaces

$A^{-\gamma}$97

In particular, for

$A^{-\gamma}$98

and

$A^{-\gamma}$99

every proper closed invariant subspace of $(LB)$00 has this form. No additional boundary-growth invariant subspaces appear (Bonet et al., 2020).

6. Upper half-plane characterization and broader structural significance

Weighted Korenblum spaces in the upper half-plane admit a dual characterization through Hankel operators. For $(LB)$01, $(LB)$02, and $(LB)$03, the main theorem states that for holomorphic $(LB)$04 on $(LB)$05, the following are equivalent: $(LB)$06 and the Hankel operator $(LB)$07 is bounded from

$(LB)$08

Moreover,

$(LB)$09

This places weighted Korenblum spaces exactly at the symbol level of bounded Hankel operators between suitable weighted Bergman spaces. The proof uses duality,

$(LB)$10

together with weak factorization and atomic decomposition. An endpoint variant replaces $(LB)$11 by $(LB)$12, with $(LB)$13 and a loss $(LB)$14 (Sehba, 10 Aug 2025).

This upper half-plane formulation complements the disk theory rather than duplicating it. On the disk, weighted Korenblum spaces are frequently defined directly by radial growth; on $(LB)$15, the same growth class is recovered through operator-symbol duality. A plausible implication is that the weighted Korenblum condition is robust under substantial changes of ambient geometry, provided the boundary growth is encoded in the correct weighted analytic pairing.

The basis and sequence-space results also reinforce a broader structural theme. Weighted Korenblum spaces can behave poorly at the single Banach-step level—for example, the monomials need not form a Schauder basis there—yet acquire strong approximation and decomposition properties at the projective or inductive limit level. Conversely, operator-theoretic phenomena can sharpen when passing to a single weighted Banach step, as in the exact Hilbert-matrix norm formulas or the Bloch characterization of Volterra boundedness. This suggests that the topology of the scale is not a secondary detail but a central part of the theory (Bonet et al., 2017).

Taken together, the cited results show that weighted Korenblum spaces form a family of analytically natural growth spaces whose structure is simultaneously function-theoretic, boundary-measure-theoretic, and operator-theoretic. Exact norm formulas for Hilbert operators, cyclicity criteria via premeasures and associated Beurling–Carleson sets, optimal-domain descriptions for Volterra operators, and Hankel-symbol characterizations in the upper half-plane all point to the same organizing principle: weighted boundary growth is the mechanism by which these spaces encode both analytic regularity and singular boundary behavior.