• Views 744
• Citations 1
• ePub 23
• PDF 342
`International Journal of Mathematics and Mathematical SciencesVolume 2014, Article ID 738125, 15 pageshttp://dx.doi.org/10.1155/2014/738125`
Research Article

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

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

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 [1012]. In [13], Mizuhara introduced the generalized Morrey spaces which were later extended and studied by many authors (see [1418]). 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.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

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