Table of Contents Author Guidelines Submit a Manuscript
Journal of Function Spaces
Volume 2018, Article ID 6937510, 18 pages
https://doi.org/10.1155/2018/6937510
Research Article

Boundedness and Continuity of Several Integral Operators with Rough Kernels in on Triebel-Lizorkin Spaces

College of Mathematics and Systems Science, Shandong University of Science and Technology, Qingdao, Shandong 266590, China

Correspondence should be addressed to Feng Liu; moc.361@413068gnefuil

Received 25 January 2018; Accepted 13 March 2018; Published 26 April 2018

Academic Editor: Stanislav Hencl

Copyright © 2018 Feng Liu. 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

A systematic treatment is given of singular integrals and Marcinkiewicz integrals associated with surfaces generated by polynomial compound mappings as well as related maximal functions with rough kernels in , which relates to the Grafakos-Stefanov function class. Certain boundedness and continuity for these operators on Triebel-Lizorkin spaces and Besov spaces are proved by applying some criterions of bounds and continuity for several operators on the above function spaces.

1. Introduction

Let be the -dimensional Euclidean space and denote the unit sphere in equipped with the induced Lebesgue measure . Assume that is a homogeneous function of degree zero and satisfies For a suitable function defined on , a complex number with ), and a suitable mapping , we consider the singular integral operators and parametric Marcinkiewicz integral operators in by Define the related maximal operators and by where is the set of all measurable functions with .

The primary purpose of this paper is to study the bounds and continuity of the singular integral operators and Marcinkiewicz integral operators associated with surfaces generated by polynomial compound mappings as well as related maximal functions with rough kernels in on the Triebel-Lizorkin spaces and Besov spaces. Before stating our main results, let us recall some pertinent definitions, notations, and backgrounds.

Definition 1 (function class ). For , the function class is the set of all functions which satisfy The function class was originally introduced by Fan and Sato [1]. It is closely related to the Grafakos-Stefanov function class , which was first introduced in [2] and is given by It was shown in [1, 3] that

To introduce some known results, we need to recall one more function space .

Definition 2 (function class ). For , the function class is the set of all measurable functions satisfying It is clear that for and .
When , the operators defined in (2) reduce to the classical Calderón-Zygmund operator which was originally studied by Calderón and Zygmund [4] and later investigated by many authors (see [1, 2, 5, 6], etc.). In 2009, Fan and Sato [1] first studied the bounds for with which belongs to . More precisely, the above authors established the bounds for with if for and for some . Recently, Liu and Wu [7] extended the result of [1] to the singular integrals along polynomial compound curves in the mixed homogeneity setting.

Let us recall the definitions of Triebel-Lizorkin spaces and Besov spaces.

Definition 3 (Triebel-Lizorkin spaces and Besov spaces). Let be the tempered distribution class on . For and , the homogeneous Triebel-Lizorkin spaces and Besov spaces are defined by where for and satisfies the conditions ; ; if . The inhomogeneous versions of Triebel-Lizorkin spaces and Besov spaces, which are denoted by and , respectively, are obtained by adding the term to the right hand side of (11) or (12) with replaced by , where (the Schwartz class), if .

The following properties are well-known (see [8, 9] for more details):

Recently, the investigation of the bounds for singular integrals with rough kernels in on Triebel-Lizorkin spaces and Besov spaces has received some attention of many authors (see [3, 10, 11]). Particularly, Liu et al. [10] obtained the following result.

Theorem A (see [10]). Let , where is a real-valued polynomial with and . Suppose that for some and for some satisfying (1). Then
is bounded on for and ;
is bounded on for , , and .

It should be pointed out that there is a gap in the proof of part (i) in Theorem A. To the best of my knowledge, it is unknown whether Theorem A(i) holds. However, we can obtain the following result.

Theorem 4. Let with each being a real-valued polynomial on satisfying . Suppose that for some and for some satisfying (1).
Then, for and , there exists a constant such that for all , where is independent of the coefficients of . Here is the set of all interiors of the convex hull of three squares , and , .
Then, for , , and , there exists a constant such that for all , where is independent of the coefficients of .

Applying a switched method following from [12], Theorem 4 yields the following more general result.

Theorem 5. Let with each being a real-valued polynomial on with and . Here is the set of all nonnegative (or nonpositive) and monotonic functions satisfying with , where depends only on . Suppose that for some and for some satisfying (1). Let be given as in Theorem 4.
Then, for and , there exists a constant such that for all , where is independent of the coefficients of .
Then, for , , and , there exists a constant such that for all , where is independent of the coefficients of .

Remark 6. It is not difficult to see that when and If , then and if is nonnegative and increasing, or nonpositive and decreasing; and if is nonnegative and decreasing or nonpositive and increasing (see [12]).
(iii) It follows from Theorem 5 that is bounded on for and under the same conditions of Theorem 5.

It is well known that the operators defined in (3) have their roots in the classical Marcinkiewicz integral operators , corresponding to , , and . The bounds for parametric Marcinkiewicz integrals have been extensively studied by many authors (see [1315], etc.). In recent years, the investigation of boundedness for parametric Marcinkiewicz integral operators on the Triebel-Lizorkin spaces has also attracted the attention of many authors (see [1619] for examples). Particularly, Yabuta [18] proved the following result.

Theorem B (see [18]). Let and with , where is the set of all functions which satisfy the following conditions:
is a positive increasing function on such that is monotonic on for some ;
there exist positive constants and such that and for all .
Suppose that for some and for some satisfying (1). Let be given as in Theorem 4. Then
is bounded on for and ;
is bounded on for , , and .

Remark 7. We notice that . There are some examples for the class , such as , , , and real-valued polynomials on with positive coefficients and . It should be pointed out that there exists such that for any (see [16]).

The second one of main results is listed as follows.

Theorem 8. Let with each being a real-valued polynomial on satisfying and . Suppose that for some and for some satisfying (1). Let be given as in Theorem 4.
Then for and , there exists a constant such that for all , where is independent of the coefficients of .
is continuous from to for and .
Then, for , , and , there exists a constant such that for all , where is independent of the coefficients of .
is continuous from to for , , and .

Remark 9. Parts (i) and (iii) in Theorem 8 extend Theorem B, which corresponds to the case . Comparing with the singular integral operators, the continuity of the singular integral operators on the Triebel-Lizorkin spaces and Besov spaces can be obtained automatically by the corresponding boundedness since the singular integral operators are linear. However, the continuity of the Marcinkiewicz integral operators on the above function spaces is nontrivial. The reason for this is twofold. First, the Marcinkiewicz integral operators are not linear. Second, can not imply and .

Remark 10. By employing the method in the proof of [20, Theorem 1.4] and applying some estimates about Fourier transforms of measures appearing in the proof of Theorem 8, one can obtain that is bounded on for if are given as in Theorem 8.

The study of integral operators in form (4) is motivated by the early work of Fefferman on singular integral operators with rough kernels multiplied by bounded radials functions [6] and was introduced by Chen and Lin [21]. Recently, the Triebel-Lizorkin space and Besov space bounds for maximal operators have also been investigated by many authors. For example, see [22, 23] for the Hardy-Littlewood maximal operator and [24, 25] for the maximal functions related to rough singular integrals and Marcinkiewicz integrals. Motivated by the above works, we shall establish the following theorem.

Theorem 11. Let with each being a real-valued polynomial on satisfying and . Suppose that for some satisfying (1).
Then, for and , there exists a constant such that for all , where is independent of the coefficients of . Here is the set of all interiors of the convex hull of two squares and .
and are continuous from to for , , and .
Then, for , , and , there exists a constant such that for all , where is independent of the coefficients of .
and are continuous from to for , , and .

Remark 12. Note that . By using the estimates of measures appearing in the proof of Theorem 11 and the arguments similar to those used in deriving [7, Theorem 1.9], we can obtain that is bounded on for under the conditions of Theorem 11.

Applying (15)-(16), Theorems 4, 5, 8, and 11, and Remarks 6, 9, 10, and 12, we can obtain the following result immediately.

Theorem 13. Under the same conditions of Theorems 4, 5, 8, and 11 and Remarks 6, 9, 10, and 12 with , these operators are bounded and continuous on and , respectively.

Due to the fact that , Theorem 13 may yield directly the following conclusion.

Theorem 14. Let and with each being a real-valued polynomial on satisfying and .
If for some and for some satisfying (1), let be given as in Theorem 4. Then
is bounded and continuous on for and . is also bounded and continuous on for , , and ;
is bounded and continuous on for and . is also bounded and continuous on for , , and .
If for some satisfying (1), then and are bounded and continuous on for , , and . and are also bounded and continuous on for , , and .

The paper is organized as follows. Section 2 contains some known results, which play key roles in the proofs of main results. In Section 3, we will present some criterions on the boundedness and continuity of several operators on Triebel-Lizorkin spaces and Besov spaces, which are the main ingredients of our proofs. The proofs of main results will be given in Section 4. We remark that the methods employed in this paper follow from a combination of ideas and arguments in [10, 12, 17, 18, 23, 24, 26, 27], among others. It should be also point out that our methods can be used to deal with other integral operators, such as singular integrals, Marcinkiewicz integrals, and related maximal functions associated with other surfaces with other rough kernels.

Throughout the paper, we denote by the conjugate index of , which satisfies . The letter or , sometimes with certain parameters, will stand for positive constants not necessarily the same one at each occurrence but are independent of the essential variables. In what follows, we set . We denote by the difference of for an arbitrary function defined on and ; that is, . We also set and .

2. Preliminary Lemmas

This section is devoted to recalling some known lemmas, which plays key roles in the proofs of main theorems. Let us begin with the following lemma of van der Corput type.

Lemma 15 (see [28]). Let and , where are real parameters, and are distinct positive (not necessarily integer) exponents. Then, for , the following holds: where and does not depend on as long as .

Applying Lemma 15 and the arguments similar to those used in the proof of [16, Lemma 2.2], we can obtain the following result.

Lemma 16. Let , where are real parameters, and are distinct positive (not necessarily integer) exponents. Suppose that satisfying is monotonic on for some . Then, for any and , the following holds: with , where is independent of , but may depend on , , and .

Proof. By the change of variables, we have where , , and . We can also write where Since is monotonic, applying Lemma 15, we obtain for , where . By (29) and the integration by parts, we have This proves Lemma 16.

Lemmas 1719 are known and will play key roles in the proofs of Theorems 4, 8, and 11, respectively.

Lemma 17 (see [26]). Let , where are real-valued polynomials defined on and are arbitrary functions defined on . Suppose that is a homogeneous function of degree zero and for some . Define the measures by If belongs to the interior of the convex hull of three squares , , and , then, for arbitrary functions , there exists independent of such that The constant is independent of and the coefficients of .

Lemma 18 (see [17]). Let , where , are real-valued polynomials on and are arbitrary functions independent of . Define the family of measures on by Suppose that for some and . If belongs to the interior of the convex hull of three cubes , , and , then, for arbitrary functions , there exists such that The constant is independent of and the coefficients of .

Lemma 19 (see [24]). Let , where and are real-valued polynomials on , and are arbitrary functions defined on . Suppose that . Define the measures by If belongs to the interior of the convex hull of two cubes and , then, for arbitrary functions , there exists independent of and the coefficients of such that

Below is the vector-valued inequality of the Hardy-Littlewood maximal functions, which is one of the main ingredients of our proofs.

Lemma 20 (see [16]). Let be the Hardy-Littlewood maximal operator on . Then for any , .

In order to deal with Marcinkiewicz integrals and maximal functions, we need a useful characterization of Triebel-Lizorkin spaces and Besov spaces.

Lemma 21 (see [18]). Let .
If , , and , then If , , and , then

To prove Theorem 5, we need the following results.

Lemma 22 (see [12]). Let be given as in Theorem 5. Suppose that