Variable Exponent Spaces of Analytic Functions

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.


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 the usual exponent p from the classical theory of Lebesgue spaces is replaced by a suitable function p Á ð Þ. Orlicz was interested in the summability of Fourier series which led him to consider spaces of sequences a n ð Þ so that X ∞ n¼1 λa n j j p n < ∞, for λ > 0 and p n ∈ 1, ∞ ½ Þ. Later generalizations consisted on considering real functions u on a domain Ω such that ð is a suitable function. Such spaces are known nowadays as Musielak-Orlicz spaces. We are interested in the case φ x, y ð Þ ¼ y p x ð Þ , 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 x ð Þ, 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  n , happens in parallel. Starting from the classical Hardy H p  ð Þ and Bergman A p  ð Þ spaces, the functional Banach spaces have had a preferential study. A Banach space X of complex-valued functions on a domain Ω is said to be a functional Banach space (cf. [16]) if the following hold: • Vectorial operations are precisely the pointwise operations on Ω.
• Evaluation functionals x↦f x ð Þ are continuous on 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 f ð Þ ¼ f x ð Þ (x ∈ Ω) are an extension of the well-known reproducing kernels in 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.

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 a measurable function p : Ω ! 1, ∞ ½ Þ, we call it a variable exponent and define the set of all variable exponents with p þ < ∞ as P Ω ð Þ. For a complex-valued measurable function φ : Ω ! , we define the modular ρ p Á ð Þ,μ by and the Luxemburg-Nakano norm by Þis defined as the set of all complex-valued measurable functions φ : Ω !  for which the modular is finite, i.e., ρ p Á ð Þ,μ φ ð Þ < ∞: 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 : Ω !  is said to be log -Hölder continuous-or satisfy the Dini-Lipschitz condition on Ω if there exists a positive constant C log such that for all x, y ∈ Ω such that |x À y| < 1=2, from which we obtain 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 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 that hold for all balls B ⊂ . Here |B| stands for the Lebesgue measure of B, p þ B ð Þ ¼ ess sup z ∈ B p z ð Þ, and p À B ð Þ ¼ ess inf z ∈ B p z ð Þ. 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 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.

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 , the Poisson kernel P z, ζ ð Þ is defined as where m denotes the normalized Lebesgue measure on .
We will use the following result from [21]: Theorem 3. Suppose that p is log -Hölder continuous. For each 0 ≤ r < 1, and f ∈ L p Á ð Þ  ð Þ, the linear operator P r : We are now ready to define the harmonic Hardy spaces with variable exponents. Given f :  !  and 0 ≤ r < 1, the dilations f r :

Definition 4. The variable exponent harmonic Hardy space h
For each z ∈ , the functions K z :  !  defined as are called reproducing kernels. They are bounded on  and consequently belong to every space H p Á ð Þ  ð Þ. Moreover, as a consequence of the reproducing formula and the Hahn-Banach theorem, the linear span of K z : z ∈  f gis dense in H p Á ð Þ  ð Þ. Consequently, the set of polynomials is also dense in H p Á ð Þ  ð Þ. Theorem 8. For each z ∈  consider the linear functional γ z : Then γ z is a bounded operator for every z ¼ |z|e iθ ∈  and Consequently, the convergence in the H p Á ð Þ  ð Þ-norm implies the uniform convergence on compact subsets of .
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 : 0, 2π ½ . Let 1=2 < r < 1 and z ¼ |z|e iθ . Define the function φ :

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 ∈ P  ð Þ, we define the variable exponent Bergman space A p Á ð Þ  ð Þ as the space of all analytic functions on  that belong to the variable exponent Lebesgue space L p Á ð Þ  ð Þ with respect to the area measure dA on the unit disk , i.e., 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 Á ð Þ  ð Þ implies uniform convergence on compact subsets of  and consequently L p Á ð Þ -limits of sequences in A p Á ð Þ  ð Þ are analytic. Hence A p Á ð Þ  ð Þ is a closed subspace of L p Á ð Þ  ð Þ (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 ∈ P  ð Þ, then for every function f ∈ L p Á ð Þ  ð Þ we have Using different techniques, the following sharp estimate was obtained in [24]: Theorem 12. Let p Á ð Þ ∈ P log  ð Þ. Then for every z ∈  we have that 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]).
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 Á ð Þ, and consequently a different technique is needed.

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  ð Þ implies convergence on compact subsets of  and that for any f ∈ A p  ð Þ, its radial dilations converge in norm to f for r ! 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 ∈ A p Á ð Þ  ð Þ and r ∈ 1 2 , 1 where ρ stands for the complex disk with radius ρ, 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.

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 μ defined on the unit disk , we say that μ is a Carleson measure for the variable exponent Bergman space In other words, μ is a Carleson measure on

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  ð Þ, 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 Á ð Þ does not hold unless the p Á ð Þ 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 μ be a finite, positive Borel measure on  and p Á ð Þ ∈ P log  ð Þ. Then μ is a Carleson measure for A p Á ð Þ  ð Þ if and only if there exists a constant C > 0 such that for every 0 < r < 1 and every a ∈ , μ D r a ð Þ ð Þ≤ C|D r a ð Þ|, where D r a ð Þ denotes pseudohyperbolic disk with center at a ∈  and radius r: 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 Á ð Þ ∈ P log  ð Þ. Then for every z ∈  we have that

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.
where δ z k is the Dirac measure with a point mass at z k , then the sequence z k f g is sampling if μ 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.

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 F as One natural question is to find the set of symbols f that make the operator M f map the space A p Á ð Þ  ð Þ 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 nonradial weights. Given a function φ ∈ L 1  ð Þ, the Toeplitz operator T φ is defined on the set of polynomials as One natural question is to ask whether this operator can be extended boundedly to the space A p Á ð Þ  ð Þ. This question is addressed in [31] were a characterization of the boundedness and compactness of T φ is found in terms of Carleson measures and the Berezin transform associated with T φ . 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 φ of the unit disk, the composition operator C φ can be formally defined as A natural question is to find function-theoretic conditions on φ that guarantee the boundedness and/or compactness of its associated composition operator acting