International Journal of Mathematics and Mathematical Sciences

Volume 2014 (2014), Article ID 738125, 15 pages

http://dx.doi.org/10.1155/2014/738125

## Vector-Valued Inequalities in the Morrey Type Spaces

College of Mathematics and Econometrics, Hunan University, Changsha 410082, China

Received 8 February 2014; Accepted 3 May 2014; Published 15 May 2014

Academic Editor: Ingo Witt

Copyright © 2014 Hua Wang. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

We will obtain the strong type and weak type estimates for vector-valued analogues of classical Hardy-Littlewood maximal function, weighted maximal function, and singular integral operators in the weighted Morrey spaces when and , and in the generalized Morrey spaces for , where is a growth function on satisfying the doubling condition.

#### 1. Introduction

The classical Hardy-Littlewood maximal function is defined for a locally integrable function on by where the supremum is taken over all balls containing . It is well known that the maximal operator maps into for all and into . Let be a sequence of locally integrable functions on . For any , we define and

This nonlinear operator was introduced by Fefferman and Stein in [1], and since then it has played an important role in the development of modern harmonic analysis. In this remarkable paper [1], Fefferman and Stein extended the classical maximal theorem to the case of vector-valued functions.

Theorem 1 (see [1]). *Let . Then, for every , there exists a constant independent of such that
*

*Theorem 2 (see [1]). Let . Then, for every , there exists a constant independent of such that
*

*A weight is a nonnegative, locally integrable function on ; denotes the ball with the center and radius . For , a weight function is said to belong to , if there is a constant such that, for every ball (see [2, 3]),
*

*
For the case , , if there is a constant such that, for every ball ,
*

*
A weight function if it satisfies the condition for some . We say that , if for any ball there exists an absolute constant such that
*

*
It is well known that if with , then . Moreover, if , then, for all balls and all measurable subsets of , there exists such that
*

*
Given a ball and , denotes the ball with the same center as whose radius is times that of . For a given weight function and a measurable set , we also denote the Lebesgue measure of by and the weighted measure of by , where .*

*Given a weight function on , for , the weighted Lebesgue space is defined as the set of all functions such that
*

*
We also denote by the weighted weak space consisting of all measurable functions such that
*

*In particular, when equals to a constant function, we will denote and simply by and .*

*In [4], Andersen and John considered the weighted version of Fefferman-Stein maximal inequality and showed the following.*

*Theorem 3 (see [4]). Let and . Then, for every , there exists a constant independent of such that
*

*Theorem 4 (see [4]). Let and . Then, for every , there exists a constant independent of such that
*

*Given a weight , the weighted maximal function is defined as
where the supremum is taken over all balls containing . One says that with , if and there is a constant such that, for every ball ,
*

*
If is a sequence of locally integrable functions on , then, for any , we can also define and
*

*In [5], Wu proved the following theorem.*

*Theorem 5 (see [5]). Let and . Then, for every , there exists a constant independent of such that
*

*Obviously, by the definition, we have with , if . Thus, as a direct consequence of Theorem 5, we get the following theorem.*

*
Theorem 5′. Let and . Then, for every , there exists a constant independent of such that*

*Let us now consider the vector-valued singular integral operators. Suppose that is the unit sphere in () equipped with the normalized Lebesgue measure . Let with be homogeneous of degree zero and satisfy the cancellation condition
where for any . Then, the homogeneous singular integral operator is defined by
*

*
For , we say that satisfies the -Dini condition and write , if and
where denotes the integral modulus of continuity of order of defined by
is a rotation in , and . When , is defined by the following expression:
*

*
Let be a sequence of locally integrable functions on . For any , as above, the vector-valued singular integral operators with kernels can be defined as and
*

*In [4], Andersen and John derived the weighted strong and weak type estimates for vector-valued singular integral operators with kernels (see also [6, 7]).*

*Theorem 6 (see [4]). Let be a singular integral operator with kernel . If and , then, for every , there exists a constant independent of such that
*

*Theorem 7 (see [4]). Let be a singular integral operator with kernel . If and , then, for every , there exists a constant independent of such that
*

*Theorem 6 was later extended by Rubio de Francia et al. in [7].*

*Theorem 8 (see [7]). Let and let be a singular integral operator with kernel . If and , then, for every , there exists a constant independent of such that
*

*In particular, if we take to be a constant function, then we immediately get the following unweighted results (see also [8]).*

*Theorem 9. Let be a singular integral operator with kernel and . Then, for every , there exists a constant independent of such that
*

*Theorem 10. Let be a singular integral operator with kernel and . Then, for every , there exists a constant independent of such that
*

*Theorem 11. Let and let be a singular integral operator with kernel . If , then, for every , there exists a constant independent of such that
*

*2. Our Main Results*

*2. Our Main Results**The classical Morrey spaces were originally introduced by Morrey in [9] to study the local behavior of solutions to second order elliptic partial differential equations. For the boundedness of the Hardy-Littlewood maximal operator, the fractional integral operator, and the Calderón-Zygmund singular integral operator on these spaces, we refer the reader to [10–12]. In [13], Mizuhara introduced the generalized Morrey spaces which were later extended and studied by many authors (see [14–18]). In [19], Komori and Shirai defined the weighted Morrey spaces which could be viewed as an extension of weighted Lebesgue spaces and then studied the boundedness of the above classical operators in harmonic analysis on these weighted spaces.*

*Definition A (see [19]). *Let , let , and let be a weight function on . Then, the weighted Morrey space is defined by
where
and the supremum is taken over all balls in .

*For and , we also denote by the weighted weak Morrey spaces of all measurable functions satisfying
*

*Let , , be a growth function, that is, a positive increasing function in , and satisfy the following doubling condition:
where is a doubling constant independent of .*

*Definition B (see [13]). *Let . One denotes by the space of all locally integrable functions defined on , such that for every and all
where is the ball centered at and with radius . Then, one lets be the smallest constant satisfying (34) and becomes a Banach space with norm .

*Obviously, when with , is just the classical Morrey spaces introduced in [9]. We also denote by the generalized weak Morrey spaces of all measurable functions for which
for every and all . The smallest constant satisfying (35) is also denoted by .*

*Let be a sequence of locally integrable functions on . Now, let us formulate our main results as follows. For the continuity properties of vector-valued Hardy-Littlewood maximal function, weighted maximal function, and singular integral operators in the weighted Morrey spaces for all and , we will prove the following.*

*Theorem 12. Let , , and . Then, for all , there exists a constant independent of such that
*

*Theorem 13. Let , , and . Then, for all , there exists a constant independent of such that
*

*Theorem 14. Let , , and . Then, for all , there exists a constant independent of such that
*

*Theorem 15. Let be a singular integral operator with kernel . If , , and , then, for all , there exists a constant independent of such that
*

*Theorem 16. Let be a singular integral operator with kernel . If , , and , then, for all , there exists a constant independent of such that
*

*Theorem 17. Let and let be a singular integral operator with kernel . If , , and , then, for all , there exists a constant independent of such that
*

*For the vector-valued inequalities in the generalized Morrey spaces for all , we will show the following.*

*Theorem 18. Assume that satisfies (33) and . Then, for all , there exists a constant independent of such that
*

*Theorem 19. Assume that satisfies (33) and . Then, for and all , there exists a constant independent of such that
*

*Theorem 20. Let be a singular integral operator with kernel . Assume that satisfies (33) and ; then, for all , there exists a constant independent of such that
*

*Theorem 21. Let be a singular integral operator with kernel . Assume that satisfies (33) and ; then, for and all , there exists a constant independent of such that
*

*Theorem 22. Let and let be a singular integral operator with kernel . Assume that satisfies (33) and ; then, for and all , there exists a constant independent of such that
*

*Throughout this paper, the letter always denotes a positive constant independent of the main parameters involved, but it may be different from line to line. By , we mean that there exists a constant such that . Moreover, we will denote the conjugate exponent of by .*

*3. Boundedness in the Weighted Morrey Spaces*

*3. Boundedness in the Weighted Morrey Spaces**3.1. Proofs of Theorems 12, 13, and 14*

*3.1. Proofs of Theorems 12, 13, and 14**Proof of Theorem 12. *Let with , and . Fix a ball and decompose , where and denotes the characteristic function of , . Then, we write

Using Theorem 3 and inequality (7), we get

Let us now turn to estimate the other term . For any and any fixed ball , by definition (1), one can write

A simple geometric observation shows that when and , then we have . This fact together with the condition and Hölder’s inequality implies that

Therefore, for any ,

So we have

Combining the above estimates for and and then taking the supremum over all balls , we complete the proof of Theorem 12.

*Proof of Theorem 13. *Let with and . Fix a ball ; then, we set , where , . Then, for any given , one writes

Theorem 4 and inequality (7) yield

Next, let us turn to deal with the term . We apply Chebyshev’s inequality to obtain

For any and any fixed ball , we still have if and . It then follows from (49) and the condition that

Hence, for any ,

Therefore,

Summing up the above estimates for and and then taking the supremum over all balls and all , we finish the proof of Theorem 13.

*Proof of Theorem 14. *Let with , and . For any ball and let , where , . Then, we have

By using Theorem 5′ and inequality (7), we thus obtain

To estimate the other term , it follows from definition (13) that, for any and any fixed ball ,

Moreover, as before, we know that if and . Applying the condition and Hölder’s inequality, we can deduce that

Therefore, for any ,

Consequently,

Collecting all the above estimates for and and then taking the supremum over all balls , we complete the proof of Theorem 14.

*3.2. Proofs of Theorems 15, 16, and 17*

*3.2. Proofs of Theorems 15, 16, and 17**Proof of Theorem 15. *Let with , and . Fix a ball and decompose , where , . Then, we write

It follows from Theorem 6 and inequality (7) that

To estimate the term , we first observe that when and , then . This fact together with the condition yields