Commutators with Coefficients in CMO of Weighted Hardy Operators in Generalized Local Morrey Spaces

We prove theorems on the boundedness of commutators [a,Hwα]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$[a,H_w^\alpha ]$$\end{document} of the weighted multidimensional Hardy operator Hwα:=wHα1w\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$H^\alpha _w:= w H^\alpha \frac{1}{w}$$\end{document} from a generalized local Morrey space Lp,φ;0(Rn)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {L}^{p,\varphi ;0}({\mathbb {R}^n})$$\end{document} to local or global space Lq,ψ(Rn)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {L}^{q,\psi }({\mathbb {R}^n})$$\end{document}. The main impacts of these theorems are the use of CMOs\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$_s$$\end{document}-class of coefficients a for the commutators; the general setting when the function φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varphi $$\end{document} defining the Morrey space and the weight w are independent of one another and the weight w is not assumed to be in Ap\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$A_p$$\end{document}; recovering the Sobolev–Adams exponent q instead of Sobolev–Spanne type exponent in the case of classical Morrey spaces boundedness from local to global Morrey spaces; the obtained estimates contain the parameter s>1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$s > 1$$\end{document} which may be arbitrarily chosen. Its choice regulates in fact an equilibrium between assumptions on the coefficient a and the characteristics of the space. The obtained results are new also in non-weighted case. the use of CMOs\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$_s$$\end{document}-class of coefficients a for the commutators; the general setting when the function φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varphi $$\end{document} defining the Morrey space and the weight w are independent of one another and the weight w is not assumed to be in Ap\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$A_p$$\end{document}; recovering the Sobolev–Adams exponent q instead of Sobolev–Spanne type exponent in the case of classical Morrey spaces boundedness from local to global Morrey spaces; the obtained estimates contain the parameter s>1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$s > 1$$\end{document} which may be arbitrarily chosen. Its choice regulates in fact an equilibrium between assumptions on the coefficient a and the characteristics of the space.


Introduction
The main object in this paper is the multi-dimensional Hardy operator We obtain conditions for the boundedness of the weighted commutators (1.2) from a generalized local Morrey space to a generalized global Morrey space, with coefficients in the class CMO s .
The spaces L p,λ which bear the name of Morrey spaces originate from the paper [19] by C. Morrey on regularity problems of solutions to PDE. A formulation of Morrey's ideas in terms of normed function spaces probably first appeared in [6]. Classical Morrey spaces are well presented in various books, see e.g. [10,16] and references therein; we refer also to the recent survey paper [22].
There are also known the so-called generalized Morrey spaces L p,ϕ (Ω), defined by the norm where Ω ⊆ R n is an open set, B(x, r) = B(x, r)∩Ω and ϕ(r) is a non-negative measurable function on [0, ], = diamΩ, satisfying certain assumptions (one may take ϕ depending not only on r, but on the point x as well). We refer for instance, to [11] and also the survey [22] where one can find a detailed historical account on such spaces. There is also known the version of Morrey spaces, called local generalized Morrey spaces denoted sometimes as L p,ϕ x0 (Ω) and defined by the norm We refer, for instance, to [12,25], but note that they appeared in [9] in the case of ϕ(r) = r λ Ω = R n and x 0 = 0. Various versions of Morrey spaces were widely investigated during the past decades, including the study of classical operators of harmonic analysismaximal, singular and potential operators in Morrey spaces and their generalizations and modifications, see for instance [3][4][5]11,15,20,21] and references therein.
In comparison, the spaces defined by the norm 1.3, are often called global Morrey spaces.
With regard to the weighted operator (1.1), note that, given an operator A and a weight w, the boundedness of its weighted version, i.e. wA 1 w in the Morrey space L p,ϕ , global or local, is equivalent to the boundedness of the operator A itself in the weighted Morrey (1.5) i.e. in the form where the weight w and the function ϕ are independent of each other. We went into these details to avoid a misunderstanding in terminology: sometimes weighted Morrey spaces are introduced in a specific way, with the function ϕ depending on the weight w.
Estimates of the classical operators of harmonic analysis in weighted Morrey spaces in the natural setting, i.e. in the general form with the function ϕ and the weight w independent of each other, were less studied.
We find it important to note that the class of weights w, for which, for instance the maximal operator is bounded in the weighted Morrey space, depends, as observed in [23] (see also [24,26]), on the function ϕ. In the case ϕ(0) = 0 which differs Morrey spaces from Lebesgue spaces, the class of admissible weights is different from the Muckenhoupt class A p . It is larger than A p with respect to possible vanishing of weights, but more narrow with respect to growth of weights. Therefore, the assumption for the weight to belong to A p made in various studies on Morrey spaces is not natural for the weighted setting of problems for Morrey spaces. We avoid such a restriction in our approach.
In our estimations of the weighted commutators (1.2) we base ourselves on the approach developed in [18,21,23,25], to obtain pointwise estimates for the Hardy operator.
Note that the boundedness results for weighted commutators of multidimensional Hardy operators are known for Lebesgue spaces L p (R n ), see [8]. For Morrey spaces norm estimates were obtained in non-weighted case (w ≡ 1) in [7] for classical Morrey space, i.e. in the case where ϕ is a power function.
Our progress in proving the boundedness of weighted commutators of Hardy operators within the frameworks of generalized Morrey spaces is based on the fact that we are able to prove the direct pointwise estimate of the commutator [a, H α w ]f itself via the product of the norm f L p,ϕ;0 by a concrete function depending only on the coefficient a, the weight w and the parameters p, ϕ of the space, see Theorem 3.1. This enables us to immediately pass to Morrey norms of commutator in this estimate and thereby obtain the main result on the boundedness, where on the right-hand side of the estimate there appears the Morrey norm of the above concrete function, see Theorems 3.3 and 3.4.
The paper is organized as follows. In Sect. 2 we recall the notion of CMO p -spaces (spaces of central mean oscillation) and prove important technical Lemma 2.1 for functions in CMO p . We introduce also the class of weights which we use in this paper. In Sect. 3 we prove the main results (Theorems 3.1-3.4 and 3.6) on the boundedness of the commutators of weighted multidimensional Hardy operators, with coefficients in CMO-type spaces. Among these theorems, the main one in some sense is the final Theorem 3.6. In this 64 Page 4 of 18 N. Samko MJOM theorem we impose restrictions on the functions ϕ and the ratio ϕ 1 p w which are just slightly more restrictive than in Theorem 3.4, but which allow to radically simplify the final assumptions on characteristics p and ϕ of the space and the weight w. The proof of the above mentioned pointwise estimate of commutators is given in Theorem 3.1. In Corollary 3.9 we provide the corresponding result for the case of the classical Morrey spaces, when ϕ(r) = r λ .
Everywhere in the sequel we assume that the function ϕ defining Morrey space is continuous in a neighborhood of the origin, almost increasing and satisfies the following conditions: If ϕ(0) > 0 and ϕ(r) does not tend to 0 at infinity, the generalized Morrey space is nothing else but the Libesgue space L p (R n ).

On CMO p -Spaces
The BM O-space, as is well known, is defined by the quasi-norm The BMO is an appropriate class of coefficients for commutators of many classical operators, in particular, for integral operators whose kernels have singularity on the whole diagonal x = y, such as singular and potential operators.
For Hardy type operators with singularities of the kernel only at the origin x = y = 0 and infinity x = y = ∞, a wider class of coefficients, with BMO-type-behaviour only at the origin, is more appropriate. Such a local version of BMO, the space CMO (central mean oscillation) is defined by the norm We also need its generalization, the space CMO p depending on p, defined by the norm so that CMO = CMO p p=1 . However, in contrast to the "global" BMO-space, such local CMO p -spaces no more are independent of p. By Jensen inequality we have We refer to [1,13,17] for the study of the classes CMO p . The following property: of functions a in the global space BM O is known which goes back to [14]. This property proves to be also true in the local setting, as shown in the following lemma: where one can take C = 2 (1 + 2 n ) .
Proof. At the first step we obtain for all λ ≥ 1 and m = 1, 2, 3, . . . Let first t ≥ 2. We represent t as t = 2 N +α r, where N + α = log 2 t r and N = log 2 t r . and proceed as follows: where the first term is estimated by (2.7) with λ = 2 and m = N, and the second one by (2.7) with r replaced by r2 N , λ = 2 α ∈ [1, 2) and m = 1 so that we arrive at (2.5).

On Quasi Monotone Functions
In the sequel, a non-negative function f on [0, ], 0 < ≤ ∞, is called almost increasing (almost decreasing), if there exists a constant C(≥ 1) such that f (x) ≤ Cf(y) for all x ≤ y (x ≥ y, respectively). Equivalently, a function f is almost increasing (almost decreasing), if it is equivalent to an increasing (decreasing, resp.) function g, i.e. 2. by W 0 = W 0 (R + ) we denote the class of functions ϕ ∈ W almost increasing on (R + ); 3. by W = W (R + ) we denote the class of functions ϕ ∈ W such that x a ϕ(x) ∈ W 0 for some a = a(ϕ) ∈ R; 4. by W = W (R + ) we denote the class of functions ϕ ∈ W such that there exists a number b ∈ R such that f (t) t b is almost decreasing.
By Δ 2 we denote the class of non-negative functions ϕ on R + satisfying the doubling condition ϕ(2t) ≤ Cϕ(t).
Everywhere in the sequel we assume that the function ϕ defining the Morrey space and the weight w satisfy the condition which is equivalent to saying that the functions ϕ and w have finite Matuszewska-Orlicz indices. Note also that the assumption that ϕ is almost increasing yields that the indices of the function ϕ are non-negative.
Observe also that sums, products, quotients and powers of functions in W W are also in W W .
We will also use the notation Lemma 2.4. Let g ∈ W(R + ). Then there exists a constant C > 0 such that under the assumption that the right-hand side integral exists. Proof. This is in fact a known estimation of a series by an integral from mathematical analysis, usually proved for monotonic functions g (then it holds with C = 1), but the proof is essentially the same, which we provide below for the completeness of presentation. We have By definition of the classes W and W , it can be easily seen that for some constant C. Then By Φ γ (R + ) we denote the class of functions ϕ ∈ W (R + ), γ ∈ R such that r 0 This class is known in the literature as Bari-Stechkin class [2]. Various properties of functions in this class may be found, for instance in [25], see also references therein. We recall only properties we use in this paper. To this end, we first introduce the indices It is also known for ϕ ∈ W that holds. It is also useful to keep in mind that any function ϕ ∈ W (R + ) belongs to some class Φ γ (R + ) (with γ depending on ϕ). Namely,

Pointwise Estimates
In the following theorem we denote Then for all f ∈ L p,ϕ (R n ) and y ∈ R n the following pointwise estimate holds and C > 0 does not depend on f, a, y and r.
whence by Hölder inequality we get By the definition of the norm in the Morrey space, we then obtain By Lemma 2.4 with g(t) = Φ(t) we obtain For I 2 we have It remains to gather the estimates for I 1 and I 2 .

Main Results
From the pointwise estimate of Theorem 3.1 we immediately obtain the following statement on the boundedness of the weighted commutator of the Hardy operator from a local Morrey space L p,ϕ;0 (R n ) to a global Morrey space L q,ψ (R n ), where 1 < q < ∞ and ψ satisfies (1.6).

Theorem 3.2.
Under the assumptions of Theorem 3.1 the weighted commutator [a, H α w ] is bounded from the local space L p,ϕ;0 (R n ) to the global space The condition (3.2) may be reduced to simple easily verified conditions, if we consider the action of the commutator not to a global Morrey space but to a local one, as given in Theorem 3.4 after the preparatory Theorem 3.3.
In the next theorem we use the following functions, defined by the function ϕ(r) and the weight w(r): where 1 < s < ∞, β ∈ R. In Theorems 3.3, 3.4 and 3.6 there is used the parameter s > 1 which may be arbitrary chosen. Its choice regulates in fact an equilibrium between assumptions on the coefficient a and the characteristics of the space. The more s is, the more restriction we impose on a and less on the space, and viceversa. Theorem 3.3. Let 1 < p < ∞, 1 < q < ∞, a ∈ CMO p ∩ CMO sq for some s > 1, the conditions (1.6) and (2.8) be satisfied. Then and we have to estimate the norms Cχ B(0,r) L q and D a χ B(0,r) L q . For the term with C there is nothing more to estimate, it just generates the term A(r) in (3.6). For another term we have For E a we have Applying the Hölder inequality with the exponent s > 1, we get To justify the application of Lemma 2.4, note that from the assumption of the theorem it follows that ϕ 1 p = ϕ 1 p w w is a product of two functions in Δ 2 . Then ϕ 1 p and consequently the integrand in (3.10) is doubling, and then use Lemma 2.3. Therefore, which generates the second term in (3.6) with B s,β (r).
For the term F a , by Lemma 2.1 we obtain |F a (y)| ≤ C a * ,0 |y| α−n w(|y|) ∞ k=0 Φ(2 −k |y|) 1 + ln 2 k r |y| and consequently Hence by (3.9) we have The application of Lemma 2.4 is justified by means of Lemma 2.3 similarly to arguments after the formula (3.10). Note that the dependence of g(t) in this case on the parameter r is not of importance since g is the product of a power function and an increasing function, so that the constant C in the estimate of Lemma 2.4 does not depend on r. We get which generates the third term in (3.6) with C β (r) and completes the proof.
In the sequel we use the notation