---
title: Variable Exponent Bergman Spaces
url: https://www.emergentmind.com/topics/variable-exponent-bergman-spaces
type: topic
---

# Variable Exponent Bergman Spaces

Searching arXiv for recent and foundational papers on variable exponent Bergman spaces, operator theory, and weighted Bergman projections.
I’m unable to invoke an external arXiv search tool in this interface, so I will rely on the arXiv records and detailed source material provided, citing the relevant arXiv papers directly.
Variable exponent Bergman spaces are holomorphic function spaces in which the integrability index is allowed to vary with the spatial variable. On the unit disc or unit ball, they are defined as analytic subspaces of variable Lebesgue spaces endowed with a Luxemburg-type norm, and their modern theory combines several strands: variable-exponent modular analysis, Bergman projection theory, weighted inequalities of Békolle–Bonami type, Carleson measure embeddings, and operator-theoretic characterizations for Toeplitz and weighted composition operators. Recent work has placed these spaces within a Carleson-measure-based operator framework on the unit ball, while complementary disc results emphasize boundary determination, equivalence phenomena, and the sharp distinction between norm inequalities and modular inequalities [2507.13675] [1809.03464] [1911.04087] [2303.07553].

## 1. Definitions, measures, and kernels

On the unit ball \(B_n \subset \mathbb{C}^n\), with normalized Lebesgue measure \(dv\), a standard weighted measure is
\[
dv_\alpha(z)=c_\alpha (1-|z|^2)^\alpha dv(z), \qquad \alpha>-1.
\]
The corresponding weighted Bergman kernel is
\[
K_\alpha(z,w)=\frac{c_{n,\alpha}}{(1-\langle z,w\rangle)^{n+1+\alpha}},
\]
and the normalized reproducing kernel may be written
\[
k_{z,\alpha}(w)=\frac{(1-|z|^2)^{(n+1+\alpha)/2}}{(1-\langle w,z\rangle)^{n+1+\alpha}},
\]
up to a unimodular constant. On the unit disc \(\mathbb{D}\), one also uses
\[
dA_\alpha(z)=(\alpha+1)(1-|z|^2)^\alpha dA(z), \qquad \alpha>-1,
\]
with \(dA\) the normalized area measure [2507.13675] [1809.03464].

A variable exponent is a measurable function \(p(\cdot)\) with essential bounds
\[
p_-:=\operatorname*{ess\,inf} p(\cdot), \qquad p_+:=\operatorname*{ess\,sup} p(\cdot).
\]
In the unit-ball theory developed for operator results, the standing hypotheses are
\[
1<p_-\le p_+<\infty,
\]
together with log-Hölder continuity:
\[
|p(z)-p(w)|\le \frac{C_{\log}}{\log(1/|z-w|)} \qquad \text{whenever } |z-w|<1/2.
\]
For the weighted Bergman-projector theory on the ball, the condition is stated as \(p(\cdot)\in P_{\log}(B)\cap P_-(B)\), with \(p_-\ge 1\) and log-Hölder continuity expressed in terms of a pseudo-distance \(d(z,\xi)\) [2507.13675] [2303.07553].

The variable exponent Bergman space on \(B_n\) is
\[
A^{p(\cdot)}_\alpha:=\{f\in \mathcal{O}(B_n): \rho_{p(\cdot),\alpha}(f)<\infty\},
\]
where
\[
\rho_{p(\cdot),\alpha}(f)=\int_{B_n}|f(z)|^{p(z)}\,dv_\alpha(z),
\]
and the Luxemburg norm is
\[
\|f\|_{A^{p(\cdot)}_\alpha}:=\|f\|_{L^{p(\cdot)}_\alpha}
=\inf\left\{\lambda>0:\int_{B_n}\Big(\frac{|f(z)|}{\lambda}\Big)^{p(z)}dv_\alpha(z)\le 1\right\}.
\]
On the disc, the analogous weighted modular is
\[
\rho_{p(\cdot),\alpha}(f)=\int_{\mathbb{D}}|f(z)|^{p(z)}(1-|z|^2)^\alpha dA(z),
\]
with the associated Luxemburg–Nakano quasi-norm [2507.13675] [1809.03464].

Different papers use different normalizations for the weighted measure and kernel. In the weighted variable-\(L^{p(\cdot)}\) theory for the Bergman projector on the unit ball, one works with
\[
d\nu_\alpha(z)=(1-|z|^2)^{\alpha-1}d\nu(z), \qquad \alpha>0,
\]
and kernel
\[
K_\alpha(z,\xi)=\frac{1}{(1-(z,\xi))^{n+\alpha}}.
\]
This is a normalization issue rather than a change of underlying geometric paradigm [2303.07553].

## 2. Basic functional-analytic structure

Under \(1<p_-\le p_+<\infty\) and log-Hölder continuity, \(A^{p(\cdot)}_\alpha\) is a Banach space, and it is reflexive. In the same regime, polynomials are dense and point evaluations are bounded. The modular and norm are tightly linked: if \(\|f\|_{L^{p(\cdot)}_\alpha}\le 1\), then \(\rho_{p(\cdot),\alpha}(f)\le 1\), and modular convergence is equivalent to norm convergence [2507.13675].

The weighted Bergman projection on \(B_n\) is
\[
(P_\alpha f)(z)=\int_{B_n} f(w)K_\alpha(z,w)\,dv_\alpha(w)
=\int_{B_n}\frac{f(w)}{(1-\langle z,w\rangle)^{n+1+\alpha}}\,dv_\alpha(w).
\]
When \(p(\cdot)\in \mathcal{P}^{\log}(B_n)\) and \(1<p_-\le p_+<\infty\), \(P_\alpha\) is bounded \(L^{p(\cdot)}(dv_\alpha)\to A^{p(\cdot)}_\alpha\). Its absolute-kernel variant
\[
\widehat{P}_\alpha f(z)=\int_{B_n}\frac{|f(w)|}{|1-\langle z,w\rangle|^{n+1+\alpha}}\,dv_\alpha(w)
\]
is also bounded on \(L^{p(\cdot)}(dv_\alpha)\) [2507.13675].

A basic consequence is the pointwise estimate
\[
|f(z)|\lesssim \|f\|_{A^{p(\cdot)}_\alpha}(1-|z|^2)^{-(n+1+\alpha)/p(z)}.
\]
Its proof relies on sub-mean value estimates, log-Hölder continuity, and a localized Jensen-type inequality on Bergman balls. For fixed \(r>0\), the weighted volume satisfies
\[
v_\alpha(B(a,r))\asymp (1-|a|^2)^{n+1+\alpha},
\]
and on such balls one has the comparabilities
\[
1-|z|^2\asymp 1-|w|^2\asymp |1-\langle z,w\rangle|
\]
for \(w\) near \(z\). These geometric facts underlie both embedding theorems and operator estimates [2507.13675].

## 3. Weighted Bergman projection and generalized Békolle–Bonami classes

For weighted variable Lebesgue spaces on the unit ball, one considers
\[
\rho_{p(\cdot),w}(f)=\int_B |f(z)|^{p(z)} w(z)\,d\nu_\alpha(z),
\]
and
\[
\|f\|_{L^{p(\cdot)}(w)}=\inf\left\{\lambda>0:\int_B \Big(\frac{|f(z)|}{\lambda}\Big)^{p(z)}w(z)\,d\nu_\alpha(z)\le 1\right\}.
\]
The relevant geometry is encoded by pseudo-balls \(B(z,r)\) defined using the pseudo-distance
\[
d(z,\xi)=||z|-|\xi||+\frac{|1-(z,\xi)|}{|z|+|\xi|}
\]
for \(z,\xi\neq 0\), and by the family \(\mathcal{B}\) of pseudo-balls touching the boundary, equivalently \(\mathcal{B}=\{B(z,r): r>1-|z|\}\) [2303.07553].

The generalized Békolle–Bonami class \(B_{p(\cdot)}\) is defined for \(1<p_-\le p_+<\infty\) by
\[
[w]_{B_{p(\cdot)}}:=
\sup_{B\in\mathcal{B}}
\frac{1}{\nu_\alpha(B)}
\|w\chi_B\|_{L^{p(\cdot)}(d\nu_\alpha)}
\,
\|w'\chi_B\|_{L^{p'(\cdot)}(d\nu_\alpha)}
<\infty,
\]
where
\[
w'(z)=w(z)^{1-p'(z)}.
\]
This reduces to the classical \(B_p\) condition when \(p(\cdot)\equiv p\). The class is dual-symmetric:
\[
w\in B_{p(\cdot)} \iff w'\in B_{p'(\cdot)},
\]
and the paper proves the equivalences
\[
B_{p(\cdot)}=B^+=B^{++}.
\]
Moreover, any \(w\in A_{p(\cdot)}\) belongs to \(B_{p(\cdot)}\) [2303.07553].

The central weighted projection theorem states that \(P_\alpha\) is well-defined and bounded on \(L^{p(\cdot)}(w)\) if and only if \(w\in B_{p(\cdot)}\). If \(w\in B_{p(\cdot)}\), then the positive Bergman operator
\[
P_\alpha^+ f(z)=\int_B \frac{|f(\xi)|}{(1-(z,\xi))^{n+\alpha}}\,d\nu_\alpha(\xi)
\]
is also bounded on \(L^{p(\cdot)}(w)\) [2303.07553].

The proof architecture is methodologically significant. A boundary-adapted maximal operator
\[
m_\alpha f(z)=\sup_{B\in\mathcal{B}} \chi_B(z)\,\frac{1}{\nu_\alpha(B)}\int_B |f(\xi)|\,d\nu_\alpha(\xi)
\]
is shown to be bounded on \(L^{p(\cdot)}(w)\) when \(w\in B_{p(\cdot)}\). The argument uses the regularization operator
\[
R_k f(z)=\frac{1}{\nu_\alpha(B_k(z))}\int_{B_k(z)} f(\xi)\,d\nu_\alpha(\xi),
\qquad
B_k(z)=\{\xi:d(z,\xi)<k(1-|z|)\},
\]
together with the fact that \(R_k w\in A_{p(\cdot)}\). Sufficiency is then obtained through a weighted extrapolation theorem adapted to \(B_{p(\cdot)}\), using Rubio de Francia iteration and the Bergman \(B_1\)-factorization [2303.07553].

## 4. Carleson embeddings and operator theory on \(A^{p(\cdot)}_\alpha\)

Carleson-measure testing is the organizing principle for the operator theory developed on the unit ball. For a positive Borel measure \(\mu\), define
\[
\mathcal{C}_\alpha(\mu):=
\sup_{a\in B_n}
\frac{\mu(B(a,r))}{(1-|a|^2)^{n+1+\alpha}}.
\]
This quantity is independent of the Bergman-ball radius \(r>0\) up to comparable constants. A measure \(\mu\) is a \(p(\cdot)\)-Carleson measure for \(A^{p(\cdot)}_\alpha\) if and only if \(\mathcal{C}_\alpha(\mu)<\infty\), and it is vanishing \(p(\cdot)\)-Carleson if and only if
\[
\lim_{|a|\to 1}
\frac{\mu(B(a,r))}{(1-|a|^2)^{n+1+\alpha}}=0
\]
[2507.13675].

For weighted composition operators
\[
W_{\psi,\varphi}f:=\psi\cdot(f\circ \varphi),
\]
with \(\varphi(B_n)\subset B_n\), the variable exponent forces an additional weight
\[
\omega_{\varphi,\alpha}(z):=
\left(\frac{1}{1-|\varphi(z)|^2}\right)^{(n+1+\alpha)\,\frac{p(z)-p(\varphi(z))}{p(\varphi(z))}}.
\]
When \(p(z)\equiv p(\varphi(z))\), this weight is identically \(1\). If \(W_{\psi,\varphi}\) is bounded on \(A^{p(\cdot)}_\alpha\), then \(\psi\in A^{p(\cdot)}_\alpha\), the pointwise bound
\[
\sup_{z\in B_n}
|\psi(z)|(1-|z|^2)^{(n+1+\alpha)/p(z)}
(1-|\varphi(z)|^2)^{-(n+1+\alpha)/p(\varphi(z))}
<\infty
\]
holds, and the pull-back measure \(\mu_{\psi,\varphi}\) is \(p(\cdot)\)-Carleson. Conversely, if \(\psi\in A^{p(\cdot)}_\alpha\) and \(\mu^{(1)}_{\psi,\varphi}\) is \(p(\cdot)\)-Carleson, then \(W_{\psi,\varphi}\) is bounded. Compactness is characterized by vanishing \(p(\cdot)\)-Carleson behavior together with the boundary limit
\[
\lim_{|\varphi(z)|\to 1}
|\psi(z)|^{p(z)}(1-|z|^2)^{(n+1+\alpha)/p(z)}
(1-|\varphi(z)|^2)^{-(n+1+\alpha)/p(\varphi(z))}=0.
\]
If \(p(z)\ge p(\varphi(z))\) almost everywhere, the Carleson and vanishing Carleson conditions are also sufficient [2507.13675].

For the difference \(W_{\psi_1,\varphi_1}-W_{\psi_2,\varphi_2}\), the pseudo-hyperbolic distance
\[
d(\zeta,\eta):=|\sigma_\zeta(\eta)|
\]
enters explicitly. If the difference is bounded or compact, then the measures \(\mu_{\psi_1,\varphi_1,d}\), \(\mu_{\psi_2,\varphi_2,d}\), \(\lambda_{\varphi_1,\alpha^*}\), and \(\lambda_{\varphi_2,\alpha^*}\) are \(p(\cdot)\)-Carleson or vanishing \(p(\cdot)\)-Carleson, respectively. Under the monotonicity assumption
\[
p(z)\ge \max\{p(\varphi_1(z)),p(\varphi_2(z))\}\quad \text{a.e.},
\]
the finiteness of the corresponding testing quantities is sufficient for boundedness [2507.13675].

Toeplitz operators admit an equally sharp characterization. For a positive Borel measure \(\mu\) and \(\beta\ge 0\),
\[
(T_\mu^\beta f)(z)=\int_{B_n}\frac{f(w)}{(1-\langle z,w\rangle)^{n+1+\beta}}\,d\mu(w).
\]
Then \(T_\mu^\beta\) is bounded on \(A^{p(\cdot)}_\alpha\) if and only if
\[
\sup_{a\in B_n}\frac{\mu(B(a,r))}{(1-|a|^2)^{n+1+\beta}}<\infty,
\]
and it is compact if and only if
\[
\lim_{|a|\to 1}\frac{\mu(B(a,r))}{(1-|a|^2)^{n+1+\beta}}=0.
\]
Here \(\beta\) is the kernel exponent and is distinct from the Bergman weight parameter \(\alpha\) [2507.13675].

## 5. Boundary determination, equivalence, and disc-specific phenomena

On the unit disc, variable exponent Bergman spaces exhibit a precise dependence on boundary data. If \(p\) is uniformly radially log-Hölder continuous and
\[
\widetilde p(re^{i\theta})=p(e^{i\theta}),
\]
then
\[
A^{p(\cdot)}_\alpha = A^{\widetilde p(\cdot)}_\alpha
\]
with equivalent quasi-norms. In the Hardy setting, the same principle yields \(H^{p(\cdot)}=H^{\widetilde p(\cdot)}\) with equivalent norms. Under full log-Hölder continuity, one has an exact boundary-value criterion:
\[
A^{p(\cdot)}_\alpha=A^{q(\cdot)}_\alpha
\quad \Longleftrightarrow \quad
p(e^{i\theta})=q(e^{i\theta}) \text{ for all } \theta.
\]
If \(p\) and \(q\) are continuous and differ at one boundary point, then the spaces are different [1809.03464].

A deeper structural result concerns Hardy spaces \(H^{p(\cdot)}\) when \(p\) is harmonic, log-Hölder continuous, and has bounded harmonic conjugate. In that regime, the theory reduces many questions to \(H^2\) by decomposing \(f\) into pieces with controlled argument and comparing \(|f_j|^{p(z)}\) with \(|f_j|^{p(z)/2}\). This yields a Carleson measure theorem: for \(a>1\), a positive measure \(\mu\) satisfies
\[
\|f\|_{L^{ap(\cdot)}(\mu)} \le C \|f\|_{H^{p(\cdot)}}
\]
for all \(f\in H^{p(\cdot)}\) if and only if
\[
\mu(S(h,\theta_0))\le C h^a
\]
for all Carleson boxes \(S(h,\theta_0)\) [1809.03464].

The same framework gives a Fejér–Riesz-type embedding
\[
\|f\|_{A^{2p(\cdot)}} \le C \|f\|_{H^{p(\cdot)}},
\]
a Littlewood subordination analogue for \(f=g\circ w\) with \(|w(z)|\le |z|\), and boundedness of composition operators \(C_\varphi f=f\circ \varphi\) on \(A^{p(\cdot)}_\alpha\) under the harmonic log-Hölder/bounded-conjugate hypothesis [1809.03464].

In the radial case, there is a complete equivalence criterion between \(A^{p(\cdot)}\) and a constant-exponent Bergman space \(A^q\). If \(p(r)\) is radial with \(q\le p(r)\le p_+<\infty\), then
\[
A^{p(\cdot)}=A^q
\]
if and only if the tail averages of
\[
(1-r)^{2(p(r)-q)/q}
\]
are uniformly bounded; equivalently,
\[
\frac{1}{1-x}\int_x^1 (1-r)^{2(p(r)-q)/q}\,dr \le K
\qquad (0<x<1).
\]
This permits highly nontrivial exponents. There exists \(p(r)\ge q\) with \(\limsup_{r\to 1}p(r)=P\) for any \(P>q\) such that \(A^{p(\cdot)}=A^q\), and there also exists \(p(r)>q\) for all \(r\) sufficiently close to \(1\) with the same equality; one explicit example is
\[
p(r)=q+\frac{q}{2}\,[-\log(1-r)]^{-1/2}.
\]
These results show that radial oscillation near the boundary can be large without changing the Bergman space as a set [1809.03464].

## 6. Modular inequalities, examples, and the constant-exponent limit

A recurrent point of confusion is the distinction between norm inequalities and modular inequalities. For Bergman-type projections, the variable-exponent theory allows norm boundedness under log-Hölder hypotheses, but the modular inequality is much more rigid. On the unit disc, if
\[
\int_{\mathbb{D}} |Pf(z)|^{p(z)}\,dA(z)\le C\int_{\mathbb{D}} |f(z)|^{p(z)}\,dA(z)
\]
holds for all \(f\in L^{p(\cdot)}(\mathbb{D})\), then \(p(z)\) must equal a constant almost everywhere. The same phenomenon holds for the analytic Bergman projection on the upper half-plane and the harmonic Bergman projection on the upper half-space [1911.04087].

The obstruction is produced by lower pointwise bounds for projections of characteristic functions. For the disc, fixing \(\tau\in \mathbb{D}\), there exist a compact neighborhood \(K_\tau\) and \(c_\tau>0\) such that
\[
\operatorname{Re}(P\chi_E)(z)\ge c_\tau |E|
\]
for all measurable \(E\subset K_\tau\) and all \(z\in K_\tau\). This makes the modular inequality incompatible with nonconstant exponents on disjoint subsets of \(K_\tau\). Thus norm inequalities and modular inequalities are fundamentally different in variable exponent Bergman analysis [1911.04087].

Variable exponents also create genuinely new operator-theoretic behavior. On the unit ball, if
\[
\psi_0(z)=z_1+\cdots+z_n, \qquad \varphi_0(z)=-z,
\]
then \(W_{\psi_0,\varphi_0}\) is bounded on \(A_\alpha^p\) for every constant \(p>0\). However, for
\[
p_0(z)=n+3+\operatorname{Re}(z_1+\cdots+z_n),
\]
one has
\[
\sup_{z\in B_n}
|\psi_0(z)|
(1-|z|^2)^{(n+1+\alpha)/p_0(z)}
(1-|\varphi_0(z)|^2)^{-(n+1+\alpha)/p_0(\varphi_0(z))}
=\infty,
\]
so \(W_{\psi_0,\varphi_0}\) is unbounded on \(A^{p_0(\cdot)}_\alpha\). This exhibits a mechanism absent from the constant-exponent theory: the interaction between the local oscillation of \(p(\cdot)\) and the geometry of \(\varphi\) [2507.13675].

In the constant-exponent limit, the variable-exponent criteria reduce to the classical Bergman theory. The additional ingredients that disappear in that limit are precisely the variable-exponent weights such as \(\omega_{\varphi,\alpha}\), the dependence on \(p(z)-p(\varphi(z))\), and the need for log-Hölder control to stabilize local averages and projection estimates. This places variable exponent Bergman spaces as a strict extension of classical \(A_\alpha^p\), rather than a mere reparameterization of it [2507.13675].

Source: https://www.emergentmind.com/topics/variable-exponent-bergman-spaces