Research Article | Open Access

Eiichi Nakai, Gaku Sadasue, Yoshihiro Sawano, "Martingale Morrey-Hardy and Campanato-Hardy Spaces", *Journal of Function Spaces*, vol. 2013, Article ID 690258, 14 pages, 2013. https://doi.org/10.1155/2013/690258

# Martingale Morrey-Hardy and Campanato-Hardy Spaces

**Academic Editor:**Natasha Samko

#### Abstract

We introduce generalized Morrey-Campanato spaces of martingales, which generalize both martingale Lipschitz spaces introduced by Weisz (1990) and martingale Morrey-Campanato spaces introduced in 2012. We also introduce generalized Morrey-Hardy and Campanato-Hardy spaces of martingales and study Burkholder-type equivalence. We give some results on the boundedness of fractional integrals of martingales on these spaces.

#### 1. Introduction

Lebesgue spaces and Hardy spaces play an important role in martingale theory and in harmonic analysis as well. Morrey-Campanato spaces are very useful to know more precise properties of functions and martingales. It is known that Morrey-Campanato spaces contain , , and as special cases; see, for example, [1, 2].

In martingale theory, Weisz [3] introduced martingale Lipschitz spaces for general filtrations and proved the duality between martingale Hardy spaces and martingale Lipschitz spaces. This result was extended to generalized martingale Campanato spaces and martingale Orlicz-Hardy spaces in [4]. Recently, martingale Morrey-Campanato spaces were introduced in [5], where each sub--algebra is generated by countable atoms.

In this paper, we introduce martingale Morrey-Hardy and Campanato-Hardy spaces based on square functions and unify Hardy, Lipschitz, and Morrey-Campanato spaces in [3–5]. To do this, we first introduce generalized martingale Morrey-Campanato spaces by using subfamilies of the filtration with for each . We establish Burkholder-type equivalence and discuss equivalence between martingale Morrey spaces and martingale Campanato spaces in a suitable condition. We also establish a John-Nirenberg-type theorem for generalized martingale Campanato-Hardy spaces; see Theorem 15.

On these martingale spaces, we introduce generalized fractional integrals as martingale transforms and prove their boundedness. Our result extends several results in [5–7] to these spaces. The fractional integrals are very useful tools to analyse function spaces in harmonic analysis. Actually, on the Euclidean space, Hardy and Littlewood [8, 9] and Sobolev [10] investigated the fractional integrals to establish the theory of Lebesgue spaces and Lipschitz spaces. Stein and Weiss [11], Taibleson and Weiss [12], and Krantz [13] also investigated the fractional integrals to establish the theory of Hardy spaces; see also [14]. The - boundedness of the fractional integrals is well known as the Hardy-Littlewood-Sobolev theorem derived from [8–10]. This boundedness has been extended to Morrey-Campanato spaces by Peetre [1] and Adams [15]; see also Chiarenza and Frasca [16]. In martingale theory, based on the result on the Walsh multiplier by Watari [7, Theorem 1.1], Chao and Ombe [6] proved the boundedness of the fractional integrals for , , , and Lipschitz spaces of the dyadic martingale. The boundedness of the fractional integrals for martingale Morrey-Campanato spaces was established in [5]. For other types of operators for martingales, see the recent work by Tanaka and Terasawa [17].

At the end of this section, we make some conventions. Throughout this paper, we always use to denote a positive constant that is independent of the main parameters involved but whose value may differ from line to line. Constants with subscripts, such as , are dependent on the subscripts. If , we then write or ; and if , we then write .

#### 2. Definitions and Notation

Let be a probability space and a nondecreasing sequence of sub--algebras of such that . For the sake of simplicity, let . The set is called atom, more precisely -atom, if any , , satisfying or . Denote by the set of all atoms in .

The expectation operator and the conditional expectation operators relative to are denoted by and , respectively. It is known from the Doob theorem that if , then any -bounded martingale converges in . Moreover, if , then, for any , its corresponding martingale with is an -bounded martingale and converges to in (see, e.g., [18]). For this reason a function and the corresponding martingale will be denoted by the same symbol .

Let be the set of all martingales such that . For , let be the set of all such that . For any , its corresponding martingale with is an -bounded martingale in . For this reason, we regard as a subset of .

Let be subfamilies of with for each . We denote by this relation of and .

In this paper, we always postulate the following condition on We first define generalized martingale Morrey-Campanato spaces with respect to as follows.

*Definition 1. *Let , , and . For , let
and define

*Remark 2. *By the condition (1), the functionals , , and are norms on .

*Remark 3. *Let . Then, if and only if its corresponding martingale is -bounded; that is, . The same conclusion holds for . Furthermore, if each sub--algebra is generated by countable atoms, and is almost decreasing, then the same conclusion holds for . More precisely, see Proposition 8.

*Remark 4. *In general, and hence . Actually, for any ,
Similarly, and .

*Definition 5. *For , denote and by and , respectively. For , , denote and by and , respectively.

If , , then we simply denote , , and by , , and , respectively.

A function is said to be almost increasing (resp., almost decreasing) if there exists a positive constant such that

For the case , the spaces and with , were introduced by Weisz [3].

Recall that is the set of all atoms in and let . Suppose that each sub--algebra is generated by countable atoms for the time being. Then, and ; see [5]. In general, if is almost increasing, then with equivalent norms, respectively. However, if is not almost increasing, then these equalities fail in general; see [5].

In this paper, we do not always assume that each sub--algebra is generated by countable atoms. Let and let In this case, if is almost increasing, then we will show that with equivalent norms, respectively (see Proposition 9). Moreover, if is nonatomic, then for all . If each sub--algebra is generated by countable atoms, then for all . Therefore, our definition generalizes those in [3–5].

Next we define Morrey-Hardy and Campanato-Hardy spaces, based on square functions, with respect to as follows. For , we denote by and the square function of : where (, with convention and ). We further define

*Definition 6. *Let , , and . For , let
and define

By (1), the functionals , , and are quasinorms on .

*Remark 7. *If we take and , then the norm coincides with the norm in [19, Definition 2.45]. In this point, our notation is different from the one in [19].

In the end of this section, we present the definition of regularity on and the doubling condition on . The filtration is said to be regular, if there exists a constant such that holds for all nonnegative martingales . We say the smallest constant satisfying (14) the regularity constant of . A function is said to satisfy the doubling condition if there exists a positive constant such that The smallest constant satisfying (15) is called the doubling constant of .

#### 3. Properties of Morrey-Hardy and Campanato-Hardy Spaces

In this section, we investigate the properties of Morrey-Hardy and Campanato-Hardy spaces. The proofs of the results in this section will be given in Section 6.

First we state basic properties of the norms.

Proposition 8. *Let , and . Let and let be its corresponding martingale; . Then
**
Moreover, if each sub--algebra is generated by countable atoms, , and is almost decreasing; that is, there exists a positive constant , such that for , then
*

Proposition 9. *Let . If is almost increasing; that is, there exists a positive constant , such that for , then
**
and the same conclusions hold for , , , , and . Consequently,
**
with equivalent norms, respectively.*

For , let be the set of all such that . Let . Note that if and , then and .

The following is well known as Burkholder’s inequality.

Theorem 10 (Burkholder [20]). *If , then there exist positive constants and , that depend only on , such that
**
for all .*

For expressions of the constants and , see, for example, [21–23]. See also [24] for Burkholder’s inequality on Banach functions spaces.

Our first result is the following, which is an extension of Burkholder’s inequality to martingale Campanato spaces.

Theorem 11. *Let , and . Then
**
for all , where and are the constants in Theorem 10.*

Next we give the relations between and and between and . We consider the following condition on :

Theorem 12. *Let and . Then
**
Conversely, if is regular, satisfies (23), and satisfies the doubling condition, then there exists a positive constant , dependent only on , the regularity constant of , and the doubling constant of , such that
*

We give a relation between martingale Morrey spaces and martingale Campanato spaces in the following form.

Theorem 13. *Suppose that every -algebra is generated by countable atoms. Let , , and . Assume that satisfies the doubling condition and there exists a positive constant such that
**
Then, there exists a positive constant such that
**
Moreover, if is regular, then , , and are equivalent to each other, and , and are equivalent to each other.*

Using Theorems 11–13, we have Burkholder-type equivalence for generalized martingale Morrey spaces.

Corollary 14. *Suppose that every -algebra is generated by countable atoms. Let , , and . Assume that satisfies the doubling condition and there exists a positive constant such that
**
If is regular, then there exist positive constants and such that, for all ,
*

For the martingale spaces based on square functions, the John-Nirenberg-type equivalence was established by Weisz [25] and [19, Theorem 2.50]. We extend this theorem to the spaces and .

Theorem 15. *Let , and . Assume that is almost increasing and satisfies the doubling condition. Then, for all . If we further assume that is regular, then and are equivalent to .*

#### 4. Fractional Integrals

In this section, we state the results on the boundedness of fractional integrals as martingale transforms. The proofs of the results in this section will be given in Section 7.

Let be a sequence of nonnegative bounded functions adapted to ; that is, is -measurable for every . Let be the martingale transform associate to ; that is, with convention . Note that if , then .

We now define a generalized fractional integral for martingales as a special case of under the assumption that every -algebra is generated by countable atoms. Our definition generalizes the fractional integral for dyadic martingales introduced in [6, 7]. The idea of comes from [26].

Suppose that every -algebra is generated by countable atoms. Let be an -measurable function such that that is, For a bounded function , we define a generalized fractional integral of by The generalized fractional integral is obtained by taking in (32). If , then we simply denote by .

For quasinormed spaces and of martingales, we denote by the set of all bounded martingale transforms from to ; that is, means that there exists a positive constant such that for all martingales .

We first study the boundedness on the spaces . On martingale Campanato-Hardy spaces, we consider the fractional integral as a martingale transform associated with monotone multipliers. We say a sequence of nonnegative measurable functions is almost decreasing if there exists a positive constant such that For an almost decreasing sequence , we define by

In Theorem 16 below, we do not need any assumption on .

Theorem 16. *Let , , and . Let be a sequence of nonnegative bounded almost decreasing adapted functions, and let be the martingale transform defined by (32). Assume that
**
Then
**
with
*

If every -algebra is generated by countable atoms, then we can apply Theorem 16 to the generalized fractional integral . The following corollary extends [5, Theorem 5.8] to the spaces .

Corollary 17. *Assume that every -algebra is generated by countable atoms and . Let and . Suppose that is almost increasing and that
**
Then
**
If one further assumes that is regular and that is almost increasing and satisfies the doubling condition, then
*

We next study the boundedness on martingale Morrey-Hardy spaces and martingale Hardy spaces .

Recall that for all if is nonatomic.

Proposition 18. *Let , , and . Let be a sequence of adapted functions. Suppose that is nonatomic and that . Assume in addition that is almost decreasing, that is almost increasing, and that . Then, .*

According to Proposition 18, to consider the boundedness on and , we suppose that every -algebra is generated by countable atoms and that .

In this case, if and , then coincides with and . However, if , then does not coincide with in general. We do not always assume that .

Theorem 19. *Suppose that every -algebra is generated by countable atoms, that , and that is regular. Let and , and let be a sequence of nonnegative bounded adapted functions. Assume that satisfies the doubling condition and that there exists a positive constant such that
**
for all , where is the measurable function defined by (33). Then
**
Furthermore, if , then
*

As a consequence of Theorem 19, we have the following corollary, which gives an extension of [5, Corollary 5.7] to the spaces and gives a martingale Morrey-Hardy version of Gunawan [27, Theorem ]:

Corollary 20. *Suppose that every -algebra is generated by countable atoms, that , and that is regular. Let and . Assume that is bounded, that both and satisfy the doubling condition, and that there exists a positive constant such that
**
Then
*

The following extends the results for dyadic martingales in [6, 7] and the result for in [28].

Corollary 21. *Suppose that every -algebra is generated by countable atoms, that , and that is regular. Let and . Then
*

#### 5. Lemmas

We prepare some lemmas to prove the results in Sections 3 and 4.

Lemma 1. *Let satisfy . Suppose that is almost increasing; that is, for all . Then, for all nonnegative functions ,
*

*Proof. *Let
For any , we can choose the sets , (finite or infinite) such that
In this case, , , since . Then
This shows the conclusion.

Lemma 2 (see [5, Lemma 3.3]). *Suppose that every -algebra is generated by countable atoms and that is regular. Then, every sequence
**
has the following property: for each ,
**
where is the constant in (14).*

Lemma 3. *Suppose that every -algebra is generated by countable atoms and that is regular. For , let be
**
Let . Suppose that satisfies the doubling condition. Then, there exists a positive constant , that depends only on and the regularity constant , such that
**
where is the function defined by (33).*

*Proof. *Let . Then, by Lemma 2, we have

In Theorem 13, we do not assume that is regular. Hence, we need the following lemma.

Lemma 4. *Let . Suppose that every -algebra is generated by countable atoms. For , let be
**
For the sequence above, one defines a decreasing sequence of integers inductively by
**
where one uses the convention . One further defines
**
Suppose that satisfies the doubling condition. Then, there exists a positive constant , that depends only on , such that
**
where is the function defined by (33).*

Note that this lemma is the counterpart to the technique in [29, page 1104, line 5].

*Proof. *By the definition of , if , then
where we use the convention .

Using the doubling condition on , we have
because the intervals are disjointed by (64).

In the proof of Theorem 19, we need the following estimates for the square function of .

Lemma 5. *Suppose that every -algebra is generated by countable atoms and that is regular. Let with . Let be a sequence of nonnegative bounded adapted functions. Suppose that satisfies the doubling condition. Assume that there exists a positive constant such that
**
for all , where is the measurable function defined by (33). Then, for with ,
**
for all , where is a positive constant independent of .*

*Proof. *Let such that . We first show that
where is a positive constant that depends only on and the regularity constant . Let . Then, on the set , keeping in mind that
we have
We have obtained (68). We now show (67). Using (68) and the assumption (66), we have

*Remark 22. *In the course of the proof, the embedding is used. If one does not use the embedding, then

#### 6. Proofs of the Results in Section 3

In this section, we prove the results in Section 3.

Proposition 8 can be proved in the same way as [5, Proposition 2.2], so we omit the proof. Proposition 9 is a direct consequence of Lemma 1. Then, we will prove Theorems 11, 12, and 13.

Recall that is defined by (11).

##### 6.1. Proof of Theorem 11

We first show Theorem 11, Burkholder’s inequality on generalized martingale Campanato spaces.

*Proof of Theorem 11. *Let and . Then, and
Therefore, we have . Hence, using Theorem 10, we have
We have obtained (21).

We next show (22). Using (74), we have
Therefore,
For the converse part, using the inequality
which we have mentioned in Remark 4, we obtain
That is,

##### 6.2. Proof of Theorem 12

We next show Theorem 12, a relation between and , , and .

*Proof of Theorem 12. *Inequality (24) was mentioned in Remark 4. Inequality (25) is deduced from the inequality .

We now show (26). Let and . Since , we have
that is, .

Suppose that is regular. To show (26), we first prove
where is the regularity constant. By the definition of , we have . We will show the converse. By the regularity, we have . This implies , or equivalently,
Operating , we have
We have obtained (81).

From (81), we deduce that
Hence, using the assumption (23) and the doubling condition on with (84), we have
We have obtained (26).

By the same way as above, we have (27). The proof is completed.

##### 6.3. Proof of Theorem 13

We now prove Theorem 13, a relation between martingale Morrey spaces and martingale Campanato spaces.

*Proof of Theorem 13. *The part was shown in Remark 4, and the part is obvious. We now show the part .

Let . We take such that . Let be the decreasing sequence of integers defined in Lemma 4, with convention . Since , the function is constant on . Therefore, on the set , we have
where is the same as in (62).

Let be the same as in Lemma 4 and let . Using Lemma 4 and the assumption (28), we have
For , we may assume that . By the definition of , we have . Therefore,
Hence, on the set , the constant has the following bound: