Let be the class of bounded away from one and infinity functions such that the Hardy-Littlewood maximal operator is bounded on the variable Lebesgue space . We show that if belongs to the Hörmander class with , , then the pseudodifferential operator is bounded on the variable Lebesgue space provided that . Let be the class of variable exponents represented as where , , and . We prove that if slowly oscillates at infinity in the first variable, then the condition
is sufficient for the Fredholmness of on whenever . Both theorems generalize pioneering results by Rabinovich and Samko  obtained for globally log-Hölder continuous exponents , constituting a proper subset of .
PDO on Variable Lebesgue Spaces]
on Variable Lebesgue Spaces A. Yu. Karlovich]Alexei Yu. Karlovich
I. M. Spitkovsky]Ilya M. Spitkovsky
To Professor Vladimir Rabinovich on the occasion of his 70th birthday
Mathematics Subject Classification (2000). Primary 47G30; Secondary 42B25, 46E30.
Keywords. Pseudodifferential operator, Hörmander symbol, slowly oscillating symbol, variable Lebesgue space, Hardy-Littlewood maximal operator, Fefferman-Stein sharp maximal operator, Fredholmness..
We denote the usual operators of first order partial differentiation on by . For every multi-index with non-negative integers , we write . Further, , and for each vector , define and where stands for the Euclidean norm of .
Let denote the set of all infinitely differentiable functions with compact support. Recall that, given , a pseudodifferential operator is formally defined by the formula
where the symbol is assumed to be smooth in both the spatial variable and the frequency variable , and satisfies certain growth conditions (see e.g. [25, Chap. VI]). An example of symbols one might consider is the class , introduced by Hörmander , consisting of with
where and and the positive constants depend only on and .
Let be a measurable a.e. finite function. By we denote the set of all complex-valued functions on such that
for some . This set becomes a Banach space when equipped with the norm
It is easy to see that if is constant, then is nothing but the standard Lebesgue space . The space is referred to as a variable Lebesgue space.
We will always suppose that
Under these conditions, the space is separable and reflexive, and its dual space is isomorphic to , where
Given , the Hardy-Littlewood maximal operator is defined by
where the supremum is taken over all cubes containing (here, and throughout, cubes will be assumed to have their sides parallel to the coordinate axes). By denote the set of all measurable functions such that (1.1) holds and the Hardy-Littlewood maximal operator is bounded on .
and is constant outside some ball, then . Further, the behavior of at infinity was relaxed by Cruz-Uribe, Fiorenza, and Neugebauer [5, 6], where it was shown that if satisfies (1.2) and there exists a such that
Conditions (1.2) and (1.3) are optimal for the boundedness of in the pointwise sense; the corresponding examples are contained in  and . However, neither (1.2) nor (1.3) is necessary for . Nekvinda  proved that if satisfies (1.1)–(1.2) and
for some and , then . One can show that (1.3) implies (1.4), but the converse, in general, is not true. The corresponding example is constructed in . Nekvinda further relaxed condition (1.4) in . Lerner  (see also [9, Example 5.1.8]) showed that there exist discontinuous at zero or/and at infinity exponents, which nevertheless belong to . We refer to the recent monograph  for further discussions concerning the class .
Our first main result is the following theorem on the boundedness of pseudodifferential operators on variable Lebesgue spaces.
Let , , and . If , then extends to a bounded operator on the variable Lebesgue space .
Following [23, Definition 4.5], a symbol is said to be slowly oscillating at infinity in the first variable if
for all multi-indices and . We denote by the class of all symbols slowly oscillating at infinity. Finally, we denote by the set of all symbols , for which (1.5) holds for all multi-indices and . The classes and were introduced by Grushin .
We denote by the set of all variable exponents for which there exist constants , , and a variable exponent such that
for almost all . Rabinovich and Samko observed in the proof of [23, Theorem 6.1] that if satisfies (1.1)–(1.3), then . It turns out that the class contains many interesting exponents which are not globally log-Hölder continuous (see ). In particular, there exists such that for every satisfying the function
belongs to .
As usual, we denote by the identity operator on a Banach space. Recall that a bounded linear operator on a Banach space is said to be Fredholm if there is an (also bounded linear) operator such that the operators and are compact. In that case the operator is called a regularizer for the operator .
Our second main result is the following sufficient condition for the Fredholmness of pseudodifferential operators on variable Lebesgue spaces.
Suppose and . If
then the operator is Fredholm on the variable Lebesgue space .
As it was the case with Theorem \@setrefth:boundedness, for satisfying (1.1)–(1.3) this result was established by Rabinovich and Samko [23, Theorem 6.1]. Notice that for such condition (1.6) is also necessary for the Fredholmness (see [23, Theorems 6.2 and 6.5]). Whether or not the necessity holds in the setting of Theorem \@setrefth:sufficiency, remains an open question.
The paper is organized as follows. In Section \@setrefsec:sharp, the Diening-Růžička generalization (see ) of the Fefferman-Stein sharp maximal theorem to the variable exponent setting is stated. Further, Diening’s results  on the duality and left-openness of the class are formulated. In Section \@setrefsec:pointwise we discuss a pointwise estimate relating the Fefferman-Stein sharp maximal operator of and for and . Such an estimate for the range of parameters , , and as in Theorem \@setrefth:boundedness was recently obtained by Michalowski, Rule, and Staubach . Combining this key pointwise estimate with the sharp maximal theorem and taking into account that is bounded on for some whenever , we give the proof of Theorem \@setrefth:boundedness in Section \@setrefsec:proof.
Section \@setrefsec:Fredholmness is devoted to the proof of the sufficient condition for the Fredholmness of a pseudodifferentail operator with slowly oscillating symbol. In Section \@setrefsec:interpolation, we state analogues of the Riesz-Thorin and Krasnoselskii interpolation theorems for variable Lebesgue spaces. Section \@setrefsec:calculus contains the composition formula for pseudodifferential operators with slowly oscillating symbols and the compactness result for pseudodifferential operators with symbols in . Both results are essentially due to Grushin . Section \@setrefsec:sufficiency contains the proof of Theorem \@setrefth:sufficiency. Its outline is as follows. From (1.6) it follows that there exist symbols and such that . Since , the operator is compact on all standard Lebesgue spaces. Its compactness on the variable Lebesgue space is proved by interpolation, since it is bounded on the variable Lebesgue space , where is the variable exponent from the definition of the class . Actually, the class is introduced exactly for the purpose to perform this step. Therefore is a right regularizer for on . In the same fashion it can be shown that is a left regularizer for . Thus is Fredholm.
We start with the following simple but important property of variable Lebesgue spaces. Usually it is called the lattice property or the ideal property.
(see e.g. [9, Theorem 2.3.17]) Let be a measurable a.e. finite function. If , is a measurable function, and for a.e. , then and .
Let . For a cube , put
The Fefferman-Stein sharp maximal function is defined by
where the supremum is taken over all cubes containing .
It is obvious that is pointwise dominated by . Hence, by Lemma \@setrefle:lattice,
whenever . The converse is also true. For constant this fact goes back to Fefferman and Stein (see e.g. [25, Chap. IV, Section 2.2]). The variable exponent analogue of the Fefferman-Stein theorem was proved by Diening and Růžička .
Let . Given , the -th maximal operator is defined by
where the supremum is taken over all cubes containing . For this is the usual Hardy-Littlewood maximal operator. Diening  established the following deep duality and left-openness result for the class .
One of the main steps in the proof of Theorem \@setrefth:boundedness is the following pointwise estimate.
(see [16, Theorem 3.3]) Let and with , , and . For every ,
where is a positive constant depending only on and the symbol .
Let . One of the main steps in the Rabinovich and Samko’s proof  of the boundedness on of the operator with is another pointwise estimate
for all , where is a positive constant independent of . It was proved in [23, Corollary 3.4] following the ideas of Álvarez and Pérez , where the same estimate is obtained for the Calderón-Zygmund singular integral operator in place of the pseudodifferential operator .
Suppose . Then, by Theorem \@setrefth:Diening, and there exists a number such that is bounded on . In other words, there exists a positive constant depending only on and such that for all ,
From Theorem \@setrefth:sharp it follows that there exists a constant such that for all ,
On the other hand, from Theorem \@setrefth:pointwise and Lemma \@setrefle:lattice we obtain that there exists a positive constant , depending only on and , such that
for all . It remains to recall that is dense in (see Lemma \@setrefle:density). ∎
For a Banach space , let and denote the Banach algebra of all bounded linear operators and its ideal of all compact operators on , respectively.
Let , , be a.e. finite measurable functions, and let be defined for by
Suppose is a linear operator defined on .
If for , then for all and
If and , then for all .
Part (a) is proved in [9, Corollary 7.1.4] under the more general assumption that may take infinite values on sets of positive measure (and in the setting of arbitrary measure spaces). Part (b) was proved in [23, Proposition 2.2] under the additional assumptions that satisfy (1.1)–(1.3). It follows without these assumptions from a general interpolation theorem by Cobos, Kühn, and Schonbeck [4, Theorem 3.2] for the complex interpolation method for Banach lattices satisfying the Fatou property. Indeed, the complex interpolation space is isomorphic to the variable Lebesgue space (see [9, Theorem 7.1.2]), and have the Fatou property (see [9, p. 77]).
If and , then their product belongs to and its symbol is given by
Let . If , then .
From Theorem \@setrefth:boundedness it follows that for all constant exponents . By [11, Theorem 3.2], . Hence, by the Krasnoselskii interpolation theorem (Theorem \@setrefth:interpolation(b) for constant with ), for all . ∎
From (1.6) it follows that there exists an such that
Then it is not difficult to check that
belongs to . It is also clear that .
From Proposition \@setrefpr:composition it follows that there exists a function such that
On the other hand, since
Since , there exist , , and such that
From Theorem \@setrefth:boundedness we conclude that all pseudodifferential operators considered above are bounded on , , and . Since , from Proposition \@setrefpr:compactness it follows that . Then, by Theorem \@setrefth:interpolation(b), . Therefore, from (3.3) it follows that is a right regularizer for . Analogously it can be shown that is also a left regularizer for . Thus is Fredholm on . ∎
-  J. Álvarez and J. Hounie, Estimates for the kernel and continuity properties of pseudo-differential operators. Ark. Mat. 28 (1990), 1-22.
-  J. Álvarez and C. Pérez, Estimates with weights for various singular integral operators. Boll. Un. Mat. Ital. A (7) 8 (1994), 123-133.
-  C. Capone, D. Cruz-Uribe, and A. Fiorenza, The fractional maximal operator and fractional integrals on variable spaces. Rev. Mat. Iberoamericana 23 (2007), 743–770.
-  F. Cobos, T. Kühn, and T. Schonbek, One-sided compactness results for Aronszajn-Gagliardo functors. J. Funct. Analysis 106 (1992), 274–313.
-  D. Cruz-Uribe, A. Fiorenza, and C. J. Neugebauer, The maximal function on variable spaces. Ann. Acad. Sci. Fenn. Math. 28 (2003), 223-238.
-  D. Cruz-Uribe, A. Fiorenza, and C. J. Neugebauer, Corrections to: “The maximal function on variable spaces”. Ann. Acad. Sci. Fenn. Math. 29 (2004), 247-249.
-  L. Diening, Maximal function on generalized Lebesgue spaces . Math. Inequal. Appl. 7 (2004), 245-253.
-  L. Diening, Maximal function on Musielak-Orlicz spaces and generlaized Lebesgue spaces. Bull. Sci. Math. 129 (2005), 657–700.
-  L. Diening, P. Harjulehto, P. Hästö, and M. Růžička, Lebesgue and Sobolev Spaces with Variable Exponents. Lecture Notes in Mathematics 2017, 2011.
-  L. Dieinig and M. Růžička, Calderón-Zygmund operators on generalized Lebesgue spaces and problems related to fluid dynamics. J. Reine Angew. Math., 563 (2003), 197–220.
-  V. V. Grushin, Pseudodifferential operators on with bounded symbols. Funct. Anal. Appl. 4 (1970), 202–212.
-  L. Hörmander, Pseudo-differential operators and hypoelliptic equations. In: “Singular integrals (Proc. Sympos. Pure Math., Vol. X, Chicago, Ill., 1966)”, pp. 138-183. Amer. Math. Soc., Providence, R.I., 1967.
-  A. Yu. Karlovich and I. M. Spitkovsky, On an interesting class of variable exponents, submitted.
-  O. Kováčik and J. Rákosník, On spaces and . Czechoslovak Math. J. 41(116) (1991), no. 4, 592–618.
-  A. K. Lerner, Some remarks on the Hardy-Littlewood maximal function on variable spaces. Math. Z. 251 (2005), no. 3, 509-521.
-  N. Michalowski, D. Rule, and W. Staubach, Weighted boundedness of pseudodifferential operators and applications. Canad. Math. Bull. (2011), doi:10.4153/CMB-2011-122-7.
-  N. Miller, Weighted Sobolev spaces and pseudodifferential operators with smooth symbols. Trans. Amer. Math. Soc. 269 (1982), 91–109.
-  A. Nekvinda, Hardy-Littlewood maximal operator on . Math. Inequal. Appl. 7 (2004), 255–265.
-  A. Nekvinda, Maximal operator on variable Lebesgue spaces for almost monotone radial exponent. J. Math. Anal. Appl. 337 (2008), 1345-1365.
-  L. Pick and M. Růžička, An example of a space of Lp(x) on which the Hardy-Littlewood maximal operator is not bounded. Expo. Math. 19 (2001), 369–371.
-  V. S. Rabinovich, An itroductory course on pseudodifferential operators. Textos de Matemática, Instituto Superior Técnico, Lisboa, 1998.
-  V. S. Rabinovich, S. Roch, and B. Silbermann, Limit Operators and Their Applications in Operator Theory. Operator Theory: Advances and Applications, vol. 150. Birkhäuser, Basel, 2004.
-  V. S. Rabinovich and S. G. Samko, Boundedness and Fredholmness of pseudodifferential operators in variable exponent spaces. Integral Equations Operator Theory 60 (2008), 507–537.
-  V. S. Rabinovich and S. G. Samko, Pseudodifferential operators approach to singular integral operators in weighted variable exponent Lebesgue spaces on Carleson curves. Integral Equations Operator Theory 69 (2011), 405–444.
-  E. Stein, Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals. Princeton Uinversity Press, Princeton, NJ, 1993.
Departamento de Matemática
Faculdade de Ciências e Tecnologia
Universidade Nova de Lisboa
Quinta da Torre
Department of Mathematics
College of William & Mary
Williamsburg, VA, 23187-8795