Variable Exponent Spaces of Analytic Functions

Abstract

Variable exponent spaces are a generalization of Lebesgue spaces in which the exponent is a measurable function. Most of the research done in this topic has been situated under the context of real functions. In this work, we present two examples of variable exponent spaces of analytic functions: variable exponent Hardy spaces and variable exponent Bergman spaces. We will introduce the spaces together with some basic properties and the main techniques used in the context. We will show that in both cases, the boundedness of the evaluation functionals plays a key role in the theory. We also present a section of possible directions of research in this topic.

1. Introduction

In recent years the interest for nonstandard function spaces has risen due to several considerations including their need in some fields of applied mathematics, differential equations, and simply the possibility to study extensions and generalizations of classical spaces.

One of such type of spaces is the variable exponent Lebesgue spaces. A first introduction to them was due to Orlicz in 1931. He considered measurable functions $u$such that

$${\int }_0^1{\left|u\left(x\right)\right|}^{p\left(x\right)}\mathrm{d}\mathit{x}<\infty ,$$

the usual exponent $p$from the classical theory of Lebesgue spaces is replaced by a suitable function $p\left(\cdot \right)$. Orlicz was interested in the summability of Fourier series which led him to consider spaces of sequences $\left(a_n\right)$so that

$$\sum _{n=1}^{\infty }{\left|\lambda a_n\right|}^{p_n}<\infty ,$$

for $\lambda >0$and $p_n\in \left[1,\infty \right)$.

Later generalizations consisted on considering real functions $u$on a domain $\mathrm{\Omega }$such that

$${\int }_{\mathrm{\Omega }}\phi \left(x,|u\left(x\right)|\right)\mathrm{d}\mathit{x}<\infty ,$$

where

$$\phi :\mathrm{\Omega }\times \left[0,\infty \right)\to \left[0,\infty \right)$$

is a suitable function. Such spaces are known nowadays as Musielak-Orlicz spaces. We are interested in the case

$$\phi \left(x,y\right)=y^{p\left(x\right)},$$

which corresponds to variable exponent Lebesgue spaces, with some adequate restrictions for the exponent$p$.

The study of problems in spaces with nonstandard growth has been mainly related to Lebesgue spaces with variable order $p\left(x\right)$, to the corresponding Sobolev spaces, and to generalized Orlicz spaces (see surveys [1, 2]). The investigation of structural properties of variable exponent spaces and of operator theory in such spaces is of interest not only due to their intriguing mathematical structure—also worthy of investigation—but because such spaces appear in applications. One of these applications is the mathematical modeling of inhomogeneous materials, like electrorheological fluids. These are special viscous liquids that have the ability to change their mechanical properties significantly when they come in contact with an electric field. This can be explored in technological applications, like photonic crystals, smart inks, heterogeneous polymer composites, etc. [3, 4, 5, 6].

Another known application is related to image restoration. Based on variable exponent spaces, the authors of [7] proposed a new model of image restoration combining the strength of the total variation approach and the isotropic diffusion approach. This model uses one value of $p$near the edge of images and another one near smooth regions, which leads to the variable exponent setting of the problem. Other references discussing image processing are [8, 9, 10, 11, 12, 13]. This theory has also been applied to differential equations with nonstandard growth (see [14, 15]).

The theory of spaces of analytic functions on domains of the complex plane, or in general of ${\mathbb{C}}^n$, happens in parallel. Starting from the classical Hardy $H^p\left(\mathbb{D}\right)$and Bergman $A^p\left(\mathbb{D}\right)$spaces, the functional Banach spaces have had a preferential study.

A Banach space $\mathcal{X}$of complex-valued functions on a domain $\mathrm{\Omega }$is said to be a functional Banach space(cf. [16]) if the following hold:

• Vectorial operations are precisely the pointwise operations on $\mathrm{\Omega }$.

• If $f\left(x\right)=g\left(x\right)$for every $x\in \mathrm{\Omega }$, then $f=g$.

• If $f\left(x\right)=f\left(y\right)$for every $f\in \mathcal{X}$, then $x=y$.

• Evaluation functionals $x\mapsto f\left(x\right)$are continuous on $\mathcal{X}$.

Classical Hardy and Bergman spaces are examples of functional Banach spaces. In the case of spaces of analytic functions, the evaluation functionals $K_x\left(f\right)=f\left(x\right)$($x\in \mathrm{\Omega }$) are an extension of the well-known reproducing kernelsin Hilbert spaces of analytic functions. The analyticity property of the functions in the space interacts with the Banach space structure by means of the continuity of evaluation functionals raising a fruitful relation between function theory and operator theory.

The setting of nonstandard spaces of analytic functions is a young area of research; a lot is yet to be explored. In this chapter, an introduction to the subject of variable exponent spaces of analytic functions will be given, making emphasis in the special place that evaluation functionals have in the theory.

2. Variable exponents

Perhaps the most known function spaces in mathematical analysis are the Lebesgue spaces$L^p$. These are a fundamental basis of measure theory, functional analysis, harmonic analysis, and differential equations, among other areas. A recent generalization is the so-called variable exponent Lebesgue spaces. In this case, the defining parameter $p$is allowed to vary.

The basics on variable Lebesgue spaces may be found in the monographs [1, 17, 18]. For $\mathrm{\Omega }\subset {\mathbb{R}}^d$we put $p_{\mathrm{\Omega }}^{+}≔\mathrm{ess}{sup}_{x\in \mathrm{\Omega }}p\left(x\right)$and $p_{\mathrm{\Omega }}^{-}≔\mathrm{ess}{inf}_{x\in \mathrm{\Omega }}p\left(x\right)$; we use the abbreviations $p^{+}=p_{\mathrm{\Omega }}^{+}$and $p^{-}=p_{\mathrm{\Omega }}^{-}$. For a measurable function $p:\mathrm{\Omega }\to \left[1,\infty \right)$, we call it a variable exponentand define the set of all variable exponents with $p^{+}<\infty$as $\mathcal{P}\left(\mathrm{\Omega }\right)$.

For a complex-valued measurable function $\phi :\mathrm{\Omega }\to \mathbb{C}$, we define the modular${\rho }_{p\left(\cdot \right),\mu }$by

$${\rho }_{p\left(\cdot \right),\mu }\left(\phi \right)≔\underset{\mathrm{\Omega }}{\int }{\left|\phi \left(x\right)\right|}^{p\left(x\right)}\mathrm{d}\mathit{\mu }\left(x\right)$$

and the Luxemburg-Nakano normby

$$\parallel \phi {\parallel }_{L^{p\left(\cdot \right)}\left(\mathrm{\Omega },\mu \right)}≔inf\left\{\lambda >0:{\rho }_{p\left(\cdot \right),\mu }\left(\frac{\phi }{\lambda }\right)⩽1\right\}.$$E1

Given $p\left(\cdot \right)\in \mathcal{P}\left(\mathrm{\Omega }\right)$, the variable Lebesgue space$L^{p\left(\cdot \right)}\left(\mathrm{\Omega },\mu \right)$is defined as the set of all complex-valued measurable functions $\phi :\mathrm{\Omega }\to \mathbb{C}$for which the modular is finite, i.e., ${\rho }_{p\left(\cdot \right),\mu }\left(\phi \right)<\infty .$Equipped with the Luxemburg-Nakano norm (1) is a Banach space.

Most of the research being done on variable exponent spaces makes use of a regularity condition in the variable exponent in order to have a “fruitful” theory.

Definition 1.A function $p:\mathrm{\Omega }\to \mathbb{R}$is said to be $log$-Hölder continuous—or satisfy the Dini-Lipschitz conditionon $\mathrm{\Omega }$if there exists a positive constant $C_{\log }$such that

$$\mid p\left(x\right)-p\left(y\right)\mid ⩽\frac{C_{\log }}{log\left(1/|x-y|\right)},$$

for all $x,y\in \mathrm{\Omega }$such that $\mid x-y\mid <1/2$, from which we obtain

$$\mid p\left(x\right)-p\left(y\right)\mid \le \frac{2\mathrm{\ell }{C}_{\log }}{log\left(\frac{2\mathrm{\ell }}{\mid x-y\mid }\right)}$$

for all $x,y\in \mathrm{\Omega }$such that $\mid x-y\mid <\mathrm{\ell }$. We will write $p\left(\cdot \right)\in {\mathcal{P}}^{\log }\left(\mathrm{\Omega }\right)$when $p\left(\cdot \right)$is $log$-Hölder continuous.

This condition has proven to be very useful in the theory since, among other things, it implies the boundedness of the Hardy-Littlewood maximal operator in $L^{p\left(\cdot \right)}\left(\mathrm{\Omega }\right)$. Such operator is defined as

$$\mathit{Mf}\left(x\right)≔\underset{r>0}{sup}\frac{1}{\mid B\left(x,r\right)\mid }{\int }_{B\left(x,r\right)}\mid f\left(y\right)\mid \mathrm{d}y$$

and represents an important tool in harmonic analysis. We used it in [19] to show that the Bergman projection is bounded on variable exponent Bergman spaces.

Another consequence of the $log$-Hölder condition is the following inequality

$${\left|B\right|}^{p_{-}\left(B\right)-p_{+}\left(B\right)}\le C,$$

that hold for all balls $B\subset \mathbb{C}$. Here $\mid B\mid$stands for the Lebesgue measure of $B$, $p^{+}\left(B\right)=\mathrm{ess}{sup}_{z\in B}p\left(z\right)$, and $p^{-}\left(B\right)=\mathrm{ess}{inf}_{z\in B}p\left(z\right)$. This will be a useful tool when studying complex function spaces since it allows to pass from an exponent that varies over a ball to a constant exponent at the center of such ball.

One interesting point of the theory of variable exponents is that, in general, the classical approach to Bergman spaces seems to fail in the variable framework. For example, in [19] it is shown that the Bergman projection is bounded from $A^{p\left(\cdot \right)}\left(\mathbb{D}\right)$to $A^{p\left(\cdot \right)}\left(\mathbb{D}\right)$. This is done by using the theory of Békollé-Bonami weights and a theorem that extends Rubio de Francia’s extrapolation theory to variable Lebesgue spaces. This method is quite different from the usual ways of showing that the Bergman projection is bounded, which use either Schur’s test or Calderón-Zygmund theory.

3. Variable exponent Hardy spaces

In this section we will give an introduction to the variable exponent Hardy spaces and the results and techniques that are usually found. We will follow the presentation as in [20].

Definition 2.For each $z$in the unit disk $\mathbb{D}$, the Poisson kernel $P\left(z,\zeta \right)$is defined as

$$P\left(z,\zeta \right)=\frac{1-{\left|z\right|}^2}{{\left|z-\zeta \right|}^2},$$

and the Poisson transform of a function $f\in L^{p\left(\cdot \right)}\left(\mathbb{T}\right)$is defined as

$$\mathit{Pf}\left(z\right)={\int }_{\mathbb{T}}P\left(z,\zeta \right)f\left(\zeta \right)m\left(\zeta \right),$$

where $m$denotes the normalized Lebesgue measure on $\mathbb{T}$.

We will use the following result from [21]:

Theorem 3.Suppose that$p$is$log$-Hölder continuous. For each$0\le r<1$, and$f\in L^{p\left(\cdot \right)}\left(\mathbb{T}\right)$, the linear operator$P_r:L^{p\left(\cdot \right)}\left(\mathbb{T}\right)\to L^{p\left(\cdot \right)}\left(\mathbb{T}\right)$defined as

$$P_{r}f\left(\zeta \right)=\mathit{Pf}\left(\mathit{r\zeta }\right)$$

is uniformly bounded on $L^{p\left(\cdot \right)}\left(\mathbb{T}\right)$, $\parallel P_r\left(f\right){\parallel }_{L^{p\left(\cdot \right)}\left(\mathbb{T}\right)}\lesssim \parallel f{\parallel }_{L^{p\left(\cdot \right)}\left(\mathbb{T}\right)}$, and for every $f\in L^{p\left(\cdot \right)}\left(\mathbb{T}\right)$,

$$\parallel f-P_{r}f{\parallel }_{L^{p\left(\cdot \right)}\left(\mathbb{T}\right)}\to 0,\mathit{as}r\to 1^{-}.$$

We are now ready to define the harmonic Hardy spaces with variable exponents. Given $f:\mathbb{D}\to \mathbb{C}$and $0\le r<1$, the dilations$f_r:\mathbb{T}\to \mathbb{C}$of $f$are defined as $f_r\left(\zeta \right)=f\left(\mathit{r\zeta }\right)$.

Definition 4.The variable exponent harmonic Hardy space$h^{p\left(\cdot \right)}\left(\mathbb{D}\right)$is defined as the space of harmonic functions $f:\mathbb{D}\to \mathbb{C}$such that

$$\parallel f{\parallel }_{h^{p\left(\cdot \right)}\left(\mathbb{D}\right)}=\underset{0\le r<1}{sup}\parallel f_r{\parallel }_{L^{p\left(\cdot \right)}\left(\mathbb{T}\right)}<\infty .$$

Notice that, since $\mathit{Pf}$is harmonic for $f\in L^{p\left(\cdot \right)}\left(\mathbb{T}\right)$, then Theorem 3 shows that the Poisson transform $P:L^{p\left(\cdot \right)}\left(\mathbb{T}\right)\to h^{p\left(\cdot \right)}\left(\mathbb{D}\right)$is bounded. Moreover, we have the following theorem analogous to the constant exponent context.

Theorem 5.Suppose that$p:\left[0,2\pi \right]\to \left[1,\infty \right)$is$log$-Hölder continuous. Then for every$U\in h^{p\left(\cdot \right)}\left(\mathbb{D}\right)$, there exists$u\in L^{p\left(\cdot \right)}\left(\mathbb{T}\right)$such that$\mathit{Pu}=U$and moreover,$\parallel U{\parallel }_{h^{p\left(\cdot \right)}\left(\mathbb{D}\right)}\sim \parallel u{\parallel }_{L^{p\left(\cdot \right)}\left(\mathbb{T}\right)}$.

Theorem 6.The following chain of inclusions holds

$$h^{p^{+}}\left(\mathbb{D}\right)\subset h^{p\left(\cdot \right)}\left(\mathbb{D}\right)\subset h^{p^{-}}\left(\mathbb{D}\right),$$

and moreover, the inclusions are continuous.

Definition 7.The variable exponent Hardy space $H^{p\left(\cdot \right)}\left(\mathbb{D}\right)$is defined as the space of analytic functions $f:\mathbb{D}\to \mathbb{C}$such that $f\in h^{p\left(\cdot \right)}\left(\mathbb{D}\right)$.

In an analogous way to the classical setting $H^{p\left(\cdot \right)}\left(\mathbb{D}\right)$can be identified with the subspace of functions in $L^{p\left(\cdot \right)}\left(\mathbb{T}\right)$whose negative Fourier coefficients are zero, and as such, $H^{p\left(\cdot \right)}\left(\mathbb{D}\right)$is a Banach space.

Recall that for all functions $f\in H^1\left(\mathbb{D}\right)$, we have the reproducing formula:

$$f\left(z\right)={\int }_{\mathbb{T}}\frac{f\left(\zeta \right)}{1-\overline{\zeta }z}\mathrm{d}m\left(\zeta \right).$$

For each $z\in \mathbb{D}$, the functions $K_z:\mathbb{D}\to \mathbb{C}$defined as

$$K_z\left(w\right)=\frac{1}{1-\overline{z}w},$$

are called reproducing kernels. They are bounded on $\mathbb{D}$and consequently belong to every space $H^{p\left(\cdot \right)}\left(\mathbb{D}\right)$. Moreover, as a consequence of the reproducing formula and the Hahn-Banach theorem, the linear span of $\left\{K_z:z\in \mathbb{D}\right\}$is dense in $H^{p\left(\cdot \right)}\left(\mathbb{D}\right)$. Consequently, the set of polynomials is also dense in $H^{p\left(\cdot \right)}\left(\mathbb{D}\right)$.

Theorem 8.For each$z\in \mathbb{D}$consider the linear functional${\gamma }_z:H^{p\left(\cdot \right)}\left(\mathbb{D}\right)\to \mathbb{C}$defined as${\gamma }_z\left(f\right)=f\left(z\right)$. Then${\gamma }_z$is a bounded operator for every$z=\mid z\mid e^{\mathit{i\theta }}\in \mathbb{D}$and

$$\parallel {\gamma }_z\parallel \lesssim \frac{1}{{\left(1-|z|\right)}^{1/p\left(\theta \right)}}.$$

Consequently, the convergence in the$H^{p\left(\cdot \right)}\left(\mathbb{D}\right)$-norm implies the uniform convergence on compact subsets of$\mathbb{D}$.

The main tool for proving the previous theorem is following the version of a Forelli-Rudin inequality, adapted to the case of variable exponents. Here, the Log-Hölder continuity plays a key role.

Lemma 9.Suppose$p:\left[0,2\pi \right]\to \left[1,\infty \right)$and$q:\left[0,2\pi \right]\to \left[1,\infty \right)$are such that$\frac{1}{p\left(\theta \right)}+\frac{1}{q\left(\theta \right)}=1$ for every$\theta \in \left[0,2\pi \right]$. Let$1/2<r<1$and$z=\mid z\mid e^{\mathit{i\theta }}$. Define the function$\phi :\left[0,2\pi \right]\to {\mathbb{R}}^{+}$as

$$\phi \left(t\right)=\frac{{\left(1-|z|\right)}^{1/q\left(\theta \right)}}{\mid 1-\mid z\mid {\mathit{re}}^{i\left(t-\theta \right)}\mid }.$$

Then if$\phi \left(t\right)>1$, it holds that

$$\phi {\left(t\right)}^{p\left(t\right)}\lesssim \phi {\left(t\right)}^{p\left(\theta \right)}.$$

4. Variable exponent Bergman spaces

The theory of Bergman spaces was introduced by S. Bergman in [22] and since the 1990s has gained a great deal of attention mainly due to some major breakthroughs at the time. For details on the theory of Bergman spaces, we refer to the books [5, 23].

Definition 10.Given a measurable function $p\in \mathcal{P}\left(\mathbb{D}\right)$, we define the variable exponent Bergman space$A^{p\left(\cdot \right)}\left(\mathbb{D}\right)$as the space of all analytic functions on $\mathbb{D}$that belong to the variable exponent Lebesgue space $L^{p\left(\cdot \right)}\left(\mathbb{D}\right)$with respect to the area measure $\mathrm{d}A$on the unit disk $\mathbb{D}$, i.e.,

$$A^{p\left(\cdot \right)}\left(\mathbb{D}\right)=\left\{f\text{is an analytic function and}{\int }_{\mathbb{D}}{\left|f\left(z\right)\right|}^{p\left(z\right)}\mathrm{d}A\left(z\right)<\infty \right\}.$$

One of the first results proven in [19] about this theory was the boundedness of the evaluation functionals that, as we saw before, will allow us to conclude that convergence in $A^{p\left(\cdot \right)}\left(\mathbb{D}\right)$implies uniform convergence on compact subsets of $\mathbb{D}$and consequently $L^{p\left(\cdot \right)}$-limits of sequences in $A^{p\left(\cdot \right)}\left(\mathbb{D}\right)$are analytic. Hence $A^{p\left(\cdot \right)}\left(\mathbb{D}\right)$is a closed subspace of $L^{p\left(\cdot \right)}\left(\mathbb{D}\right)$(and hence a Banach space). The first approach to such result used the following interpolation result based on Forelli-Rudin estimates:

Lemma 11.Let$p\in \mathcal{P}\left(\mathbb{D}\right)$, then for every function$f\in L^{p\left(\cdot \right)}\left(\mathbb{D}\right)$we have

$$\parallel f{\parallel }_{L^{p\left(\cdot \right)}\left(\mathbb{D}\right)}⩽\parallel f{\parallel }_{L^1\left(\mathbb{D}\right)}^{1/p^{+}}\parallel f{\parallel }_{L^{\infty }\left(\mathbb{D}\right)}^{1-1/p^{+}}.$$

Using different techniques, the following sharp estimate was obtained in [24]:

Theorem 12.Let$p\left(\cdot \right)\in {\mathcal{P}}^{\log }\left(\mathbb{D}\right)$. Then for every$z\in \mathbb{D}$we have that

$$\parallel {\gamma }_z{\parallel }_{p\left(\cdot \right)}\asymp \frac{1}{{\left(1-{\left|z\right|}^2\right)}^{2/p\left(z\right)}}.$$E2

The proof of this fact relies on the Log-Hölder condition and on the following version of a Jensen-type inequality for variable exponent spaces (see [17]).

Lemma 13.Suppose that$p\left(\cdot \right)\in {\mathcal{P}}^{\log }\left(\mathbb{D}\right)$and let

$$\frac{1}{q\left(z,y\right)}≔max\left\{\frac{1}{p\left(z\right)}-\frac{1}{p\left(y\right)},0\right\}.$$

Then for$0<\gamma <1$,

$${\left(\underset{B\left(x,r\right)}{⨏}|f\left(y\right)|\mathrm{d}A\left(y\right)\right)}^{p\left(z\right)}\lesssim \underset{B\left(x,r\right)}{{\displaystyle ⨏}}{\left|f\left(y\right)\right|}^{p\left(y\right)}\mathrm{d}A\left(y\right)+\underset{B\left(x,r\right)}{{\displaystyle ⨏}}{\gamma }^{q\left(z,y\right)}\mathrm{d}A\left(y\right)$$

for all $z\in B\left(x,r\right)$provided that $\parallel f{\parallel }_{L^{p\left(\cdot \right)}\left(\mathbb{D}\right)}⩽1.$The constant depends on $\gamma$and $p\left(\cdot \right)$.

The additional term that appears in the previous inequality makes the boundedness of the domain a necessary condition to use such technique. One question to address in future investigations is how the situation is for Bergman spaces defined on unbounded domains. In such case, the error term accumulates despite the regularity condition on $p\left(\cdot \right)$, and consequently a different technique is needed.

4.1 Mollified dilations

One technique developed to study variable exponent Bergman spaces is a combination of mollifiers and dilations. Such concept was developed for studying the density of the set of polynomials in Bergman spaces. In the classical case, this is a consequence of the fact that convergence in $A^p\left(\mathbb{D}\right)$implies convergence on compact subsets of $\mathbb{D}$and that for any $f\in A^p\left(\mathbb{D}\right)$, its radial dilations

$$f_r\left(z\right)=f\left(\mathit{rz}\right)$$

converge in norm to $f$for $r\to 1^{-}$. This is a simple fact that depends on the dilation-invariant nature of Bergman Spaces, something that does not hold in the case of variable exponent Bergman spaces. This is one of the main difficulties for generalizing the classical theory.

One way of overcoming this problem in the case of variable exponent Lebesgue spaces is the use of a mollification operator. But in the case of the unit disk, changes need to be made. That is, when we had the idea to introduce a mollified dilation, given a function $f\in A^{p\left(\cdot \right)}\left(\mathbb{D}\right)$and $r\in \left[\frac{1}{2},1\right)$, define the mollified dilation$f_r:\frac{1+r}{2r}\mathbb{D}\to \mathbb{C}$of $f$as

$$f_r\left(z\right)≔{\int }_{\mathbb{D}}f\left(\mathit{rw}\right){\eta }_r\left(z-w\right)\mathrm{d}A\left(w\right).$$

where $\rho \mathbb{D}$stands for the complex disk with radius $\rho$,

$${\eta }_r\left(z\right)≔\frac{4r^2}{{\left(1-r\right)}^2}\eta \left(\frac{2\mathit{rz}}{1-r}\right)$$

and

$$\eta \left(z\right)≔\left\{\begin{array}{ll}exp\left(\frac{1}{{\left|z\right|}^2-1}\right),& \text{if}\mid z\mid <1,\\ 0,& \text{if}\mid z\mid ⩾1,\end{array}\right.$$

Mollified dilations allow us to approximate analytic functions in the variable exponent Bergman spaces by functions that are analytic on a neighborhood of the unit disk.

Theorem 14.Let$p\in {\mathcal{P}}^{\log }\left(\mathbb{D}\right)$and let$f\in A^{p\left(\cdot \right)}\left(\mathbb{D}\right)$. Then for$\mathrm{½}⩽r<1$,$f_r\in A^{p\left(\cdot \right)}\left(\mathbb{D}\right)$, and

$$\underset{\mathrm{½}⩽r<1}{sup}\parallel f_r{\parallel }_{A^{p\left(\cdot \right)}\left(\mathbb{D}\right)}\lesssim \parallel f{\parallel }_{A^{p\left(\cdot \right)}\left(\mathbb{D}\right)}.$$

Moreover,$\parallel f_r-f{\parallel }_{A^{p\left(\cdot \right)}\left(\mathbb{D}\right)}\to 0$as$r\to 1^{-}$.

As a consequence of the previous theorem, we can approximate a function $f\in A^{p\left(\cdot \right)}\left(\mathbb{D}\right)$by a function $f_r$which is analytic in $\frac{1+r}{2r}\mathbb{D}$. Hence, the sequence of Taylor polynomials associated with $f_r$converges uniformly on $\mathbb{D}$to $f_r$. Therefore, given $\epsilon >0$, there exists $1/2\le r<1$such that $\parallel f-f_r{\parallel }_{A^{p\left(\cdot \right)}\left(\mathbb{D}\right)}<\epsilon /2$. And there exists a polynomial $p$such that $\parallel p-f_r{\parallel }_{A^{p\left(\cdot \right)}\left(\mathbb{D}\right)}<\epsilon /2$.

4.2 Carleson measures

Another classical problem that has a variable exponent equivalent consists on finding a geometrical characterization of Carleson measures in variable exponent Bergman spaces. Given a positive Borel measure $\mu$defined on the unit disk $\mathbb{D}$, we say that $\mu$is a Carleson measurefor the variable exponent Bergman space $A^{p\left(\cdot \right)}\left(\mathbb{D}\right)$if there exists a constant $C>0$such that

$$\parallel f{\parallel }_{L^{p\left(\cdot \right)}\left(\mathbb{D},\mu \right)}⩽C\parallel f{\parallel }_{A^{p\left(\cdot \right)}\left(\mathbb{D}\right)}.$$

In other words, $\mu$is a Carleson measure on $A^{p\left(\cdot \right)}\left(\mathbb{D}\right)$if $A^{p\left(\cdot \right)}\left(\mathbb{D}\right)$is continuously embedded in $L^{p\left(\cdot \right)}\left(\mathbb{D},\mu \right)$.

Lennart Carleson gave a geometric characterization of Carleson measures on Hardy spaces $H^p$and used this result in his proof of the Corona theorem and some interpolation problems (cf. [25]). After that, Carleson measures have gained interest, and a geometric characterization is usually important in spaces of analytic functions.

In the case of the classical Bergman spaces $A^p\left(\mathbb{D}\right)$, Carleson measures are characterized in terms of the measure on pseudo-hyperbolic disks (see [26]). An interesting fact is the independence of the characterization on the exponent $p$. In the case of variable exponent Bergman spaces, the independence of $p\left(\cdot \right)$does not hold unless the $p\left(\cdot \right)$satisfies the Log-Hölder condition. The counterexample for the general case and the theorem for the restricted case were found in [24].

Theorem 15.Let$\mu$be a finite, positive Borel measure on$\mathbb{D}$and$p\left(\cdot \right)\in {\mathcal{P}}^{\log }\left(\mathbb{D}\right)$. Then$\mu$is a Carleson measure for$A^{p\left(\cdot \right)}\left(\mathbb{D}\right)$if and only if there exists a constant$C>0$such that for every$0<r<1$and every$a\in \mathbb{D}$,$\mu \left(D_r\left(a\right)\right)\le C\mid D_r\left(a\right)\mid$, where$D_r\left(a\right)$denotes pseudo-hyperbolic disk with center at$a\in \mathbb{D}$and radius$r$:

$$D_r\left(a\right)≔\left\{z\in \mathbb{D}:\left|\frac{a-z}{1-\overline{a}z}\right|<r\right\}.$$

The main tool for the proof of the previous theorem is Eq. (2) that implies the following estimate for the reproducing kernels.

Theorem 16.Let$p\left(\cdot \right)\in {\mathcal{P}}^{\log }\left(\mathbb{D}\right)$. Then for every$z\in \mathbb{D}$we have that

$$\parallel k_z{\parallel }_{A^{p\left(\cdot \right)}\left(\mathbb{D}\right)}\asymp \frac{1}{{\left(1-{\left|z\right|}^2\right)}^{2\left(1-1/p\left(z\right)\right)}}.$$

5. Open problems

5.1 Zero sets

An interesting area will be to study some analytic properties of functions belonging to variable exponent Bergman spaces. One starting point will be to study the structure of zero sets in the space.

A sequence of points $\left\{z_n\right\}\subset \mathbb{D}$is a zero set for the Bergman space $A^p\left(\mathbb{D}\right)$if there exists $f\in A^p\left(\mathbb{D}\right)$such that $f\left(z_n\right)=0$for all $n$and $f\left(z\right)\ne 0$if $z\cancel{\in }\left\{z_n\right\}$.

Although the problem of completely describing the zero sets in $A^p\left(\mathbb{D}\right)$is still open, some information is available. For example, if $n\left(r\right)$denotes the number of zeroes of a function $f\in A^p\left(\mathbb{D}\right)$having modulus smaller than $r>0$, then it is known that

$$n\left(r\right)=O\left(\frac{1}{1-r}log\left(\frac{1}{1-r}\right)\right),r\to 1^{-}.$$

This result depends on studying the radial growth of functions in the Bergman space and on Jensen’s formula for the sequence $\left\{z_k\right\}$of zeroes of $f$such that $\mid z_k)<r$.

$$log\mid f\left(0\right)\mid =\sum _{k=1}^{n\left(r\right)}log\left(\frac{\mid z_k\mid }{r}\right)+\frac{1}{2\pi }{\int }_0^{2\pi }log\mid f\left({\mathit{re}}^{\mathit{i\theta }}\right)\mid \mathrm{d}\mathit{\theta }.$$

This equation holds for every analytic function on $\mathbb{D}$. Consequently, if we want to find out whether a similar result about the growth of the zeroes holds in the variable exponent case, then it is necessary to study the radial growth of functions in $A^{p\left(\cdot \right)}\left(\mathbb{D}\right)$. Such results, in the case of a constant exponent again, depend on the subharmonicity of ${\left|f\right|}^p$.

Another result involving zero sets is that if $f\left(0\right)\ne 0$, then

$$\prod _{k=1}^{n\left(r\right)}\frac{1}{\mid z_k\mid }=O\left(n{\left(r\right)}^{1/p}\right),r\to 1^{-}.$$

Finding an extension of such result to variable exponents would include making sense of the right-hand side term that is not even clear in this context.

5.2 Sampling sequences

A related concept that we would like to address in variable exponent Bergman spaces is that of sampling sequences. A sequence of points $\left\{z_k\right\}\subset \mathbb{D}$is sampling in $A^p\left(\mathbb{D}\right)$if there exists constants $c>0$and $C>0$such that for all $f\in A^p\left(\mathbb{D}\right)$

$$c\parallel f{\parallel }_p^p\le \sum _{k=1}^{\infty }{\left(1-{\left|z_k\right|}^2\right)}^2{\left|f\left(z_k\right)\right|}^p\le C\parallel f{\parallel }_p^p.$$

One difference that is expected to occur in the case of variable exponents is that sampling sequences will probably not be invariant under automorphism of the unit disk. This is true for a constant exponent, and it will be interesting to find counterexamples if the exponent varies. Sampling sequences are related to the concept of “frames” in Hilbert spaces and can be thought as sequences that contain great information of the space. It is expected that a sampling sequence is a somehow “big” and “spread out” subset of the unit disk. The notion is clearly related in $A^p$to the concept of Carleson measures.

If we define a discrete measure $\mu$as

$$\mu =\sum _{k=1}^{\infty }{\left(1-{\left|z_k\right|}^2\right)}^2{\delta }_{z_k}$$

where ${\delta }_{z_k}$is the Dirac measure with a point mass at $z_k$, then the sequence $\left\{z_k\right\}$is sampling if $\mu$is a Carleson measure and satisfies a “reverse” Carleson condition. Then it becomes relevant to find a geometric characterization of the measures that satisfy a reverse Carleson condition (see [27, 28, 29]). The characterization depends on the concept of dominant sets and it is independent of $p$. The methods used by Luecking for Bergman spaces rely on a calculation of the norm of evaluation functionals and a submean value property. Different techniques must be developed for the variable exponent counterpart.

5.3 Operators in variable exponent Bergman spaces

The characterization of Carleson measures obtained in [24] opens the possibility of studying the boundedness and compactness of certain operators acting on variable exponent Bergman spaces.

Among those operators worth studying are multiplication operators. Those are formally defined on a functions space $\mathcal{F}$as

$$M_f\left(g\right)=\mathit{fg}$$

where $g\in \mathcal{F}$. One natural question is to find the set of symbols $f$that make the operator $M_f$map the space $A^{p\left(\cdot \right)}\left(\mathbb{D}\right)$to itself.

Such question has been addressed in the case of weighted Bergman spaces in [23]. The proof relies on a geometric characterization of Carleson measures, a composition with a disk isomorphism, and a theorem of change of variables. Such tool is difficult to use in the setting of variable exponents since any change of variables will also affect the exponent and consequently the spaces are not necessarily invariant under composition with isomorphisms. This makes the situation different from the case of a constant exponent.

Other operators related to multiplication are Toeplitz operators. Those have already being studied in [30] for the case of weighted Bergman spaces with non-radial weights. Given a function $\phi \in L^1\left(\mathbb{D}\right)$, the Toeplitz operator $T_{\phi }$is defined on the set of polynomials as

$$T_{\phi }p\left(z\right)={\int }_{\mathbb{D}}p\left(w\right)k_w\left(z\right)\phi \left(w\right)\mathrm{d}\mathit{A}\left(w\right).$$

One natural question is to ask whether this operator can be extended boundedly to the space $A^{p\left(\cdot \right)}\left(\mathbb{D}\right)$. This question is addressed in [31] were a characterization of the boundedness and compactness of $T_{\phi }$is found in terms of Carleson measures and the Berezin transform associated with $T_{\phi }$. This type of results are sometimes referred to as Axler-Zheng theorems, and similar questions looking to establish the relation between the Berezin transform of a finite product of Toeplitz operators with its compactness have been addressed by several authors; a survey of this type of results is given in [32]. It is then reasonable to ask weather an Axler-Zheng type result for products of Toeplitz operators holds in the context of variable exponents.

The composition operators are another type of operators to be studied. Given an analytic self-map $\phi$of the unit disk, the composition operator $C_{\phi }$can be formally defined as

$$C_{\phi }\left(f\right)=f\circ \phi .$$

A natural question is to find function-theoretic conditions on $\phi$that guarantee the boundedness and/or compactness of its associated composition operator acting on $A^{p\left(\cdot \right)}\left(\mathbb{D}\right)$. One approach to follow is to address the boundedness problems of linear operators acting on $A^{p\left(\cdot \right)}\left(\mathbb{D}\right)$through the use Rubio de Francia extrapolation. Given an open set $\mathrm{\Omega }\subset \mathbb{C}$, we denote by $\mathcal{F}$a family of pairs of non-negative, measurable functions defined on $\mathrm{\Omega }$, and by $A_1$we denote the class of Muckenhoupt weights $w$. That is, the non-negative functions $w$such that

$$\mathrm{ess}{sup}_{z\in \mathrm{\Omega }}\frac{\mathit{Mw}\left(z\right)}{w\left(z\right)}<\infty$$

where $M$denotes the Hardy-Littlewood maximal operator. Rubio de Francia extrapolation in the setting of variable exponent spaces can be stated as follows.

Proposition 17(Thm. 5.24 in [1]). Suppose that for some$p_0\ge 1$the family of pairs of functions$\mathcal{F}$is such that for all$w\in A_1$,

$${\int }_{\mathrm{\Omega }}F{\left(x\right)}^{p_0}w\left(x\right)\mathrm{d}\mathit{x}\le C_0{\int }_{\mathrm{\Omega }}G{\left(x\right)}^{p_0}w\left(x\right)\mathrm{d}x,\left(F,G\right)\in \mathcal{F}.$$

Given$p\in \mathcal{P}\left(\mathrm{\Omega }\right)$, if$p_0\le p_{-}\le p_{+}<\infty$and the maximal operator is bounded on$L^{{\left(p\left(\cdot \right)/p_0\right)}^{\prime }}\left(\mathrm{\Omega }\right)$, then

$$\parallel F{\parallel }_{L^{p\left(\cdot \right)}\left(\mathrm{\Omega }\right)}\le C_{p\left(\cdot \right)}\parallel G{\parallel }_{L^{p\left(\cdot \right)}\left(\mathrm{\Omega }\right)}.$$

This result allows, under certain conditions, to pass from the of studying operators defined on variable exponent spaces, to study operators defined on weighted constant exponent spaces, and therefore it is possible to use known results from the Muckenhoupt weights theory.

5.4 Analytic Besov spaces

Another type of spaces we are interested is the class of analytic Besov spaces $B_p$. These are the spaces of all analytic functions in the unit disk such that

$${\int }_{\mathbb{D}}{\left|f^{\prime }\left(z\right)\right|}^p{\left(1-{\left|z\right|}^2\right)}^{p-2}\mathrm{d}A\left(z\right)<\infty .$$

For each $p$this is a normed space with norm

$$\parallel f{\parallel }_{B_p}=\mid f\left(0\right)\mid +{\left({\int }_{\mathbb{D}}{\left|f^{\prime }\left(z\right)\right|}^p{\left(1-{\left|z\right|}^2\right)}^{p-2}\mathrm{d}A\left(z\right)\right)}^{1/p}.$$

One particular property of this space is that they are Möbius invariant in the sense that $\parallel f\circ \phi {\parallel }_{B_p}=\parallel f{\parallel }_{B_p}$for every automorphism of the unit disk $\phi$. This is probably not true in general for a variable exponent version due to the problems with the change of variables formula. A first question to address is to characterize the exponents that leave the space invariant under disk automorphisms.

One useful technique to study such spaces is a derivative-free characterization of functions in $B_p$. It can be seen (see, e.g., [33]) that $f\in B_p$if and only if

$${\int }_{\mathbb{D}}{\int }_{\mathbb{D}}\frac{{\left|f\left(z\right)-f\left(w\right)\right|}^p}{{\left|1-z\overline{w}\right|}^4}\mathrm{d}A\left(z\right)\mathrm{d}A\left(w\right)<\infty .$$

A similar result in the case of variable exponents could serve as a starting point for investigating other properties of the space.