-
Dyadic analysis of compactness on product spaces
Authors:
Mingming Cao,
Kôzô Yabuta
Abstract:
We develop the compactness theory of multilinear singular integrals on product spaces using a modern point of view. The first main result is a compact $T1$ theorem for multilinear Calderón--Zygmund operators on product spaces. More specifically, we prove that a multilinear singular integral operator $T$ on product spaces can be extended to a compact multilinear operator from…
▽ More
We develop the compactness theory of multilinear singular integrals on product spaces using a modern point of view. The first main result is a compact $T1$ theorem for multilinear Calderón--Zygmund operators on product spaces. More specifically, we prove that a multilinear singular integral operator $T$ on product spaces can be extended to a compact multilinear operator from $L^{p_1}(w_1^{p_1}) \times \cdots \times L^{p_m}(w_m^{p_m})$ to $L^p(w^p)$ for all exponents $\frac1p = \sum_{j=1}^m \frac{1}{p_j}>0$ with $p_1, \ldots, p_m \in (1, \infty]$ and for all weights $\vec{w} \in A_{\vec{p}}(\mathbb{R}^{n_1} \times \mathbb{R}^{n_2})$ if the following hypotheses are satisfied: (H1) $T$ admits a compact full kernel representation, (H2) $T$ admits a compact partial kernel representation, (H3) $T$ satisfies the weak compactness property, (H4) $T$ satisfies the diagonal $\mathrm{CMO}$ condition, and (H5) $T$ satisfies the product $\mathrm{CMO}$ condition. This is a multilinear compact extension of Journé's $T1$ theorem on product spaces. The second main result establishes the mean continuity of commutators $[\boldsymbol{b}, T]_{\boldsymbolα}$ on weighted Lebesgue spaces as above, which can be viewed as a substitution of compactness because the compactness of $[\boldsymbol{b}, T]_{\boldsymbolα}$ is equivalent to $\boldsymbol{b} \equiv \text{constant}$ when $T$ is a non-degenerate bi-parameter singular integral. Our main tools include multilinear bi-parameter dyadic representation, multilinear extrapolation, multilinear interpolation, and Kolmogorov--Riesz compactness criterion.
△ Less
Submitted 19 March, 2025; v1 submitted 14 October, 2024;
originally announced October 2024.
-
A characterization of compactness via bilinear $T1$ theorem
Authors:
Mingming Cao,
Honghai Liu,
Zengyan Si,
Kôzô Yabuta
Abstract:
In this paper we solve a long standing problem about the bilinear $T1$ theorem to characterize the (weighted) compactness of bilinear Calderón-Zygmund operators. Let $T$ be a bilinear operator associated with a standard bilinear Calderón-Zygmund kernel. We prove that $T$ can be extended to a compact bilinear operator from $L^{p_1}(w_1^{p_1}) \times L^{p_2}(w_2^{p_2})$ to $L^p(w^p)$ for all exponen…
▽ More
In this paper we solve a long standing problem about the bilinear $T1$ theorem to characterize the (weighted) compactness of bilinear Calderón-Zygmund operators. Let $T$ be a bilinear operator associated with a standard bilinear Calderón-Zygmund kernel. We prove that $T$ can be extended to a compact bilinear operator from $L^{p_1}(w_1^{p_1}) \times L^{p_2}(w_2^{p_2})$ to $L^p(w^p)$ for all exponents $\frac1p = \frac{1}{p_1} + \frac{1}{p_2}>0$ with $p_1, p_2 \in (1, \infty]$ and for all weights $(w_1, w_2) \in A_{(p_1, p_2)}$ if and only if the following hypotheses hold: (H1) $T$ is associated with a compact bilinear Calderón-Zygmund kernel, (H2) $T$ satisfies the weak compactness property, and (H3) $T(1,1), T^{*1}(1,1), T^{*2}(1,1) \in \mathrm{CMO}(\mathbb{R}^n)$. This is also equivalent to the endpoint compactness: (1) $T$ is compact from $L^1(w_1) \times L^1(w_2)$ to $L^{\frac12, \infty}(w^{\frac12})$ for all $(w_1, w_2) \in A_{(1, 1)}$, or (2) $T$ is compact from $L^{\infty}(w_1^{\infty}) \times L^{\infty}(w_2^{\infty})$ to $\mathrm{CMO}_λ(w^{\infty})$ for all $(w_1, w_2) \in A_{(\infty, \infty)}$. Besides, any of these properties is equivalent to the fact that $T$ admits a compact bilinear dyadic representation.
Our main approaches consist of the following new ingredients: (i) a resulting representation of a compact bilinear Calderón-Zygmund operator as an average of some compact bilinear dyadic shifts and paraproducts; (ii) extrapolation of endpoint compactness for bilinear operators; and (iii) compactness criterion in weighted Lorentz spaces. Finally, to illustrate the applicability of our result, we demonstrate the hypotheses (H1)-(H3) through examples including bilinear continuous/dyadic paraproducts, bilinear pseudo-differential operators, and bilinear commutators.
△ Less
Submitted 30 July, 2024; v1 submitted 22 April, 2024;
originally announced April 2024.
-
A compact $T1$ theorem for Calderón-Zygmund operators associated with Zygmund dilations
Authors:
Mingming Cao,
Jiao Chen,
Zhengyang Li,
Fanghui Liao,
Kôzô Yabuta,
Juan Zhang
Abstract:
We develop a compact version of $T1$ theorem for singular integrals of Zygmund type on $\mathbb{R}^3$. More specifically, if a $(D_θ, δ_1, δ_{2, 3})$-Calderón-Zygmund operator $T$ associated with Zygmund dilations admits the compact full and partial kernel representations, and satisfies the weak compactness property and the cancellation condition, then $T$ can be extended to a compact operator on…
▽ More
We develop a compact version of $T1$ theorem for singular integrals of Zygmund type on $\mathbb{R}^3$. More specifically, if a $(D_θ, δ_1, δ_{2, 3})$-Calderón-Zygmund operator $T$ associated with Zygmund dilations admits the compact full and partial kernel representations, and satisfies the weak compactness property and the cancellation condition, then $T$ can be extended to a compact operator on $L^p(w)$ whenever (i) $p \in (1, \infty)$, $w \in A_{p, \mathcal{R}}$, and $θ, δ_1, δ_{2, 3} \in (0, 1]$, or (ii) $p \in (1, \infty)$, $w \in A_{p, \mathcal{Z}}$, $θ= δ_1 = 1$, and $δ_{2, 3} \in (0, 1]$. Here $A_{p, \mathcal{R}}$ and $A_{p, \mathcal{Z}}$ respectively denote the class of of strong $A_p$ weights and the class of Zygmund $A_p$ weights. Beyond that, under similar bilinear assumptions, we prove bilinear Calderón-Zygmund operators associated with Zygmund dilations are compact from $L^{p_1}(\mathbb{R}^3) \times L^{p_2}(\mathbb{R}^3)$ to $L^p(\mathbb{R}^3)$ for all $p_1, p_2 \in (1, \infty)$, where $\frac1p = \frac{1}{p_1} + \frac{1}{p_2}$. The core of the proof is a compact dyadic representation, which asserts that under the hypotheses above, a (bilinear) Calderón-Zygmund operator associated with Zygmund dilations can be represented an average of some compact (bilinear) dyadic shifts of Zygmund nature. This further deepens our understanding of the compactness of singular integral operators.
△ Less
Submitted 29 April, 2025; v1 submitted 25 July, 2023;
originally announced July 2023.
-
A compact extension of Journé's $T1$ theorem on product spaces
Authors:
Mingming Cao,
Kôzô Yabuta,
Dachun Yang
Abstract:
We prove a compact version of the $T1$ theorem for bi-parameter singular integrals. That is, if a bi-parameter singular integral operator $T$ admits the compact full and partial kernel representations, and satisfies the weak compactness property, the diagonal $\mathrm{CMO}$ condition, and the product $\mathrm{CMO}$ condition, then $T$ can be extended to a compact operator on $L^p(w)$ for all…
▽ More
We prove a compact version of the $T1$ theorem for bi-parameter singular integrals. That is, if a bi-parameter singular integral operator $T$ admits the compact full and partial kernel representations, and satisfies the weak compactness property, the diagonal $\mathrm{CMO}$ condition, and the product $\mathrm{CMO}$ condition, then $T$ can be extended to a compact operator on $L^p(w)$ for all $1<p<\infty$ and $w \in A_p(\mathbb{R}^{n_1} \times \mathbb{R}^{n_2})$. Even in the unweighted setting, it is the first time to give a compact extension of Journé's $T1$ theorem on product spaces.
△ Less
Submitted 27 May, 2024; v1 submitted 20 March, 2023;
originally announced March 2023.
-
A class of multilinear bounded oscillation operators on measure spaces and applications
Authors:
Mingming Cao,
Gonzalo Ibañez-Firnkorn,
Israel P. Rivera-Ríos,
Qingying Xue,
Kôzô Yabuta
Abstract:
In this paper, we develop a comprehensive weighted theory for a class of Banach-valued multilinear bounded oscillation operators on measure spaces, which merges multilinear Calderón-Zygmund operators with a quantity of operators beyond the multilinear Calderón-Zygmund theory. We prove that such multilinear operators and corresponding commutators are locally pointwise dominated by two sparse dyadic…
▽ More
In this paper, we develop a comprehensive weighted theory for a class of Banach-valued multilinear bounded oscillation operators on measure spaces, which merges multilinear Calderón-Zygmund operators with a quantity of operators beyond the multilinear Calderón-Zygmund theory. We prove that such multilinear operators and corresponding commutators are locally pointwise dominated by two sparse dyadic operators, respectively. We also establish three kinds of typical estimates: local exponential decay estimates, mixed weak type estimates, and sharp weighted norm inequalities. Beyond that, based on Rubio de Francia extrapolation for abstract multilinear compact operators, we obtain weighted compactness for commutators of specific multilinear operators on spaces of homogeneous type. A compact extrapolation allows us to get full range of exponents, while weighted interpolation for multilinear compact operators is crucial to the compact extrapolation. These are due to a weighted Fréchet-Kolmogorov theorem in the quasi-Banach range, which gives a characterization of relative compactness of subsets in weighted Lebesgue spaces. As applications, we illustrate multilinear bounded oscillation operators with examples including multilinear Hardy-Littlewood maximal operators on measure spaces, multilinear $ω$-Calderón-Zygmund operators on spaces of homogeneous type, multilinear Littlewood-Paley square operators, multilinear Fourier integral operators, higher order Calderón commutators, maximally modulated multilinear singular integrals, and $q$-variation of $ω$-Calderón-Zygmund operators.
△ Less
Submitted 25 March, 2024; v1 submitted 18 October, 2022;
originally announced October 2022.
-
Limited range extrapolation with quantitative bounds and applications
Authors:
Mingming Cao,
Honghai Liu,
Zengyan Si,
Kôzô Yabuta
Abstract:
In recent years, sharp or quantitative weighted inequalities have attracted considerable attention on account of $A_2$ conjecture solved by Hytönen. Advances have greatly improved conceptual understanding of classical objects such as Calderón-Zygmund operators. However, plenty of operators do not fit into the class of Calderón-Zygmund operators and fail to be bounded on all $L^p(w)$ spaces for…
▽ More
In recent years, sharp or quantitative weighted inequalities have attracted considerable attention on account of $A_2$ conjecture solved by Hytönen. Advances have greatly improved conceptual understanding of classical objects such as Calderón-Zygmund operators. However, plenty of operators do not fit into the class of Calderón-Zygmund operators and fail to be bounded on all $L^p(w)$ spaces for $p \in (1, \infty)$ and $w \in A_p$. In this paper we develop Rubio de Francia extrapolation with quantitative bounds to investigate quantitative weighted inequalities for operators beyond the (multilinear) Calderón-Zygmund theory. We mainly establish a quantitative multilinear limited range extrapolation in terms of exponents $p_i \in (\mathfrak{p}_i^-, \mathfrak{p}_i^+)$ and weights $w_i^{p_i} \in A_{p_i/\mathfrak{p}_i^-} \cap RH_{(\mathfrak{p}_i^+/p_i)'}$, $i=1, \ldots, m$, which refines a result of Cruz-Uribe and Martell. We also present an extrapolation from multilinear operators to the corresponding commutators. Additionally, our result is quantitative and allows us to extend special quantitative estimates in the Banach space setting to the quasi-Banach space setting. Our proof is based on an off-diagonal extrapolation result with quantitative bounds. Finally, we present various applications to illustrate the utility of extrapolation by concentrating on quantitative weighted estimates for some typical multilinear operators such as bilinear Bochner-Riesz means, bilinear rough singular integrals, and multilinear Fourier multipliers. In the linear case, based on the Littlewood-Paley theory, we include weighted jump and variational inequalities for rough singular integrals.
△ Less
Submitted 28 June, 2022; v1 submitted 25 June, 2022;
originally announced June 2022.
-
On the weak boundedness of multilinear Littlewood--Paley functions
Authors:
Mahdi Hormozi,
Yoshihiro Sawano,
Kozo Yabuta
Abstract:
In this note, notwithstanding the generalization, we simplify and shorten the proofs of the main results of the third author's paper \cite{SXY} significantly. In particular, the new proof for \cite[Theorem 1.1]{SXY} is quite short and, unlike the original proof, does not rely on the properties of the "Marcinkiewicz function". This allows us to get a precise linear dependence on Dini constants with…
▽ More
In this note, notwithstanding the generalization, we simplify and shorten the proofs of the main results of the third author's paper \cite{SXY} significantly. In particular, the new proof for \cite[Theorem 1.1]{SXY} is quite short and, unlike the original proof, does not rely on the properties of the "Marcinkiewicz function". This allows us to get a precise linear dependence on Dini constants with a subsequent application to Littlewood--Paley operators by well-known techniques. In other words, we relax the log-Dini condition in the pointwise bound to the classical Dini condition. %$\int\limits_{0}^{1} \frac{\varphi(t)}{t}dt<\infty$. This solves an open problem (see e.g. \cite[pp. 37--38]{CY}). Our method can be applied to the multilinear case.
△ Less
Submitted 5 July, 2023; v1 submitted 16 November, 2021;
originally announced November 2021.
-
Absolute continuity of degenerate elliptic measure
Authors:
Mingming Cao,
Kôzô Yabuta
Abstract:
Let $Ω\subset \mathbb{R}^{n+1}$ be an open set whose boundary may be composed of pieces of different dimensions. Assume that $Ω$ satisfies the quantitative openness and connectedness, and there exist doubling measures $m$ on $Ω$ and $μ$ on $\partial Ω$ with appropriate size conditions. Let $Lu=-\mathrm{div}(A\nabla u)$ be a real (not necessarily symmetric) degenerate elliptic operator in $Ω$. Writ…
▽ More
Let $Ω\subset \mathbb{R}^{n+1}$ be an open set whose boundary may be composed of pieces of different dimensions. Assume that $Ω$ satisfies the quantitative openness and connectedness, and there exist doubling measures $m$ on $Ω$ and $μ$ on $\partial Ω$ with appropriate size conditions. Let $Lu=-\mathrm{div}(A\nabla u)$ be a real (not necessarily symmetric) degenerate elliptic operator in $Ω$. Write $ω_L$ for the associated degenerate elliptic measure. We establish the equivalence between the following properties: (i) $ω_L \in A_{\infty}(μ)$, (ii) the Dirichlet problem for $L$ is solvable in $L^p(μ)$ for some $p \in (1, \infty)$, (iii) every bounded null solution of $L$ satisfies Carleson measure estimates with respect to $μ$, (iv) the conical square function is controlled by the non-tangential maximal function in $L^q(μ)$ for all $q \in (0, \infty)$ for any null solution of $L$, and (v) the Dirichlet problem for $L$ is solvable in $\mathrm{BMO}(μ)$. On the other hand, we obtain a qualitative analogy of the previous equivalence. Indeed, we characterize the absolute continuity of $ω_L$ with respect to $μ$ in terms of local $L^2(μ)$ estimates of the truncated conical square function for any bounded null solution of $L$. This is also equivalent to the finiteness $μ$-almost everywhere of the truncated conical square function for any bounded null solution of $L$.
△ Less
Submitted 16 September, 2024; v1 submitted 10 September, 2021;
originally announced September 2021.
-
Extrapolation for multilinear compact operators and applications
Authors:
Mingming Cao,
Andrea Olivo,
Kôzô Yabuta
Abstract:
This paper is devoted to studying the Rubio de Francia extrapolation for multilinear compact operators. It allows one to extrapolate the compactness of $T$ from just one space to the full range of weighted spaces, whenever an $m$-linear operator $T$ is bounded on weighted Lebesgue spaces. This result is indeed established in terms of the multilinear Muckenhoupt weights $A_{\vec{p}, \vec{r}}$, and…
▽ More
This paper is devoted to studying the Rubio de Francia extrapolation for multilinear compact operators. It allows one to extrapolate the compactness of $T$ from just one space to the full range of weighted spaces, whenever an $m$-linear operator $T$ is bounded on weighted Lebesgue spaces. This result is indeed established in terms of the multilinear Muckenhoupt weights $A_{\vec{p}, \vec{r}}$, and the limited range of the $L^p$ scale. To show extrapolation theorems above, by means of a new weighted Fréchet-Kolmogorov theorem, we present the weighted interpolation for multilinear compact operators. To prove the latter, we also need to bulid a weighted interpolation theorem in mixed-norm Lebesgue spaces. As applications, we obtain the weighted compactness of commutators of many multilinear operators, including multilinear $ω$-Calderón-Zygmund operators, multilinear Fourier multipliers, bilinear rough singular integrals and bilinear Bochner-Riesz means. Beyond that, we establish the weighted compactness of higher order Calderón commutators, and commutators of Riesz transforms related to Schrödinger operators.
△ Less
Submitted 24 January, 2022; v1 submitted 26 November, 2020;
originally announced November 2020.
-
VMO spaces associated with Neumann Laplacian
Authors:
Mingming Cao,
Kôzô Yabuta
Abstract:
In this paper, we establish several different characterizations of the vanishing mean oscillation space associated with Neumann Laplacian $Δ_N$, written ${\rm VMO}_{Δ_N}(\mathbb{R}^n)$. We first describe it with the classical ${\rm VMO}(\mathbb{R}^n)$ and certain ${\rm VMO}$ on the half-spaces. Then we demonstrate that ${\rm VMO}_{Δ_N}(\mathbb{R}^n)$ is actually ${\rm BMO}_{Δ_N}(\mathbb{R}^n)$-clo…
▽ More
In this paper, we establish several different characterizations of the vanishing mean oscillation space associated with Neumann Laplacian $Δ_N$, written ${\rm VMO}_{Δ_N}(\mathbb{R}^n)$. We first describe it with the classical ${\rm VMO}(\mathbb{R}^n)$ and certain ${\rm VMO}$ on the half-spaces. Then we demonstrate that ${\rm VMO}_{Δ_N}(\mathbb{R}^n)$ is actually ${\rm BMO}_{Δ_N}(\mathbb{R}^n)$-closure of the space of the smooth functions with compact supports. Beyond that, it can be characterized in terms of compact commutators of Riesz transforms and fractional integral operators associated to the Neumann Laplacian. Additionally, by means of the functional analysis, we obtain the duality between certain ${\rm VMO}$ and the corresponding Hardy spaces on the half-spaces. Finally, we present an useful approximation for ${\rm BMO}$ functions on the space of homogeneous type, which can be applied to our argument and otherwhere.
△ Less
Submitted 30 September, 2020;
originally announced September 2020.
-
Weak and strong type estimates for the multilinear Littlewood-Paley operators
Authors:
Mingming Cao,
Mahdi Hormozi,
Gonzalo Ibañez-Firnkorn,
Israel P. Rivera-Ríos,
Zengyan Si,
Kôzô Yabuta
Abstract:
Let $S_α$ be the multilinear square function defined on the cone with aperture $α\geq 1$. In this paper, we investigate several kinds of weighted norm inequalities for $S_α$. We first obtain a sharp weighted estimate in terms of aperture $α$ and $\vec{w} \in A_{\vec{p}}$. By means of some pointwise estimates, we also establish two-weight inequalities including bump and entropy bump estimates, and…
▽ More
Let $S_α$ be the multilinear square function defined on the cone with aperture $α\geq 1$. In this paper, we investigate several kinds of weighted norm inequalities for $S_α$. We first obtain a sharp weighted estimate in terms of aperture $α$ and $\vec{w} \in A_{\vec{p}}$. By means of some pointwise estimates, we also establish two-weight inequalities including bump and entropy bump estimates, and Fefferman-Stein inequalities with arbitrary weights. Beyond that, we consider the mixed weak type estimates corresponding Sawyer's conjecture, for which a Coifman-Fefferman inequality with the precise $A_{\infty}$ norm is proved. Finally, we present the local decay estimates using the extrapolation techniques and dyadic analysis respectively. All the conclusions aforementioned hold for the Littlewood-Paley $g^*_λ$ function. Some results are new even in the linear case.
△ Less
Submitted 23 October, 2020; v1 submitted 29 September, 2020;
originally announced September 2020.
-
Weighted Fréchet-Kolmogorov theorem and compactness of vector-valued multilinear operators
Authors:
Qingying Xue,
Kozo Yabuta,
Jingquan Yan
Abstract:
In this paper, we gave a weighted compactness theory for the generalized commutators of vecotor-valued multilinear Calderón-Zygmund operators. This was done by establishing a weighted Fréchet-Kolmogorov theorem, which holds for weights not merely in $A_\infty$. This weighted theory also extends the previous known unsatisfactory results in the terms of relaxing the index to the natural range. As co…
▽ More
In this paper, we gave a weighted compactness theory for the generalized commutators of vecotor-valued multilinear Calderón-Zygmund operators. This was done by establishing a weighted Fréchet-Kolmogorov theorem, which holds for weights not merely in $A_\infty$. This weighted theory also extends the previous known unsatisfactory results in the terms of relaxing the index to the natural range. As consequences, we not only obtained the weighted compactness theory for the commutators of multilinear Calderón-Zygmund operators, but also extended the same results to the commutators of multilinear Littlewood-Paley type operators. In addition, the generalized commutators contain almost all the commutators formerly considered in this literature.
△ Less
Submitted 17 December, 2019; v1 submitted 18 June, 2018;
originally announced June 2018.
-
Regularity and continuity of the multilinear strong maximal operators
Authors:
Feng Liu,
Qingying Xue,
Kozo Yabuta
Abstract:
Let $m\ge 1$, in this paper, our object of investigation is the regularity and and continuity properties of the following multilinear strong maximal operator $${\mathscr{M}}_{\mathcal{R}}(\vec{f})(x)=\sup_{\substack{R \ni x R\in\mathcal{R}}}\prod\limits_{i=1}^m\frac{1}{|R|}\int_{R}|f_i(y)|dy,$$ where $x\in\mathbb{R}^d$ and $\mathcal{R}$ denotes the family of all rectangles in $\mathbb{R}^d$ with s…
▽ More
Let $m\ge 1$, in this paper, our object of investigation is the regularity and and continuity properties of the following multilinear strong maximal operator $${\mathscr{M}}_{\mathcal{R}}(\vec{f})(x)=\sup_{\substack{R \ni x R\in\mathcal{R}}}\prod\limits_{i=1}^m\frac{1}{|R|}\int_{R}|f_i(y)|dy,$$ where $x\in\mathbb{R}^d$ and $\mathcal{R}$ denotes the family of all rectangles in $\mathbb{R}^d$ with sides parallel to the axes. When $m=1$, denote $\mathscr{M}_{\mathcal{R}}$ by $\mathcal {M}_{\mathcal{R}}$.Then, $\mathcal {M}_{\mathcal{R}}$ coincides with the classical strong maximal function initially studied by Jessen, Marcinkiewicz and Zygmund. We showed that ${\mathscr{M}}_{\mathcal{R}}$ is bounded and continuous from the Sobolev spaces $W^{1,p_1}(\mathbb{R}^d)\times \cdots\times W^{1,p_m}(\mathbb{R}^d)$ to $W^{1,p} (\mathbb{R}^d)$, from the Besov spaces $B_{s}^{p_1,q} (\mathbb{R}^d)\times\cdots\times B_s^{p_m,q}(\mathbb{R}^d)$ to $B_s^{p,q}(\mathbb{R}^d)$, from the Triebel-Lizorkin spaces $F_{s}^{p_1,q}(\mathbb{R}^d)\times\cdots\times F_s^{p_m,q}(\mathbb{R}^d)$ to $F_s^{p,q}(\mathbb{R}^d)$. As a consequence, we further showed that ${\mathscr{M}}_{\mathcal{R}}$ is bounded and continuous from the fractional Sobolev spaces $W^{s,p_1}(\mathbb{R}^d)\times \cdots\times W^{s,p_m}(\mathbb{R}^d)$ to $W^{s,p}(\mathbb{R}^d)$ for $0<s\leq 1$ and $1<p<\infty$. As an application, we obtain a weak type inequality for the Sobolev capacity, which can be used to prove the $p$-quasicontinuity of $\mathscr{M}_{\mathcal{R}}$. The discrete type of the strong maximal operators has also been considered. We showed that this discrete type of the maximal operators enjoys somewhat unexpected regularity properties.
△ Less
Submitted 30 January, 2018; v1 submitted 29 January, 2018;
originally announced January 2018.
-
The $n$-linear embedding theorem for dyadic rectangles
Authors:
Hitoshi Tanaka,
Kozo Yabuta
Abstract:
Let $\sg_i$, $i=1,\ldots,n$, denote reverse doubling weights on $\R^d$, let $\cdr(\R^d)$ denote the set of all dyadic rectangles on $\R^d$ (Cartesian products of usual dyadic intervals) and let $K:\,\cdr(\R^d)\to[0,\8)$ be a~map. In this paper we give the $n$-linear embedding theorem for dyadic rectangles. That is, we prove the $n$-linear embedding inequality for dyadic rectangles \[ \sum_{R\in\cd…
▽ More
Let $\sg_i$, $i=1,\ldots,n$, denote reverse doubling weights on $\R^d$, let $\cdr(\R^d)$ denote the set of all dyadic rectangles on $\R^d$ (Cartesian products of usual dyadic intervals) and let $K:\,\cdr(\R^d)\to[0,\8)$ be a~map. In this paper we give the $n$-linear embedding theorem for dyadic rectangles. That is, we prove the $n$-linear embedding inequality for dyadic rectangles \[ \sum_{R\in\cdr(\R^d)} K(R)\prod_{i=1}^n\lt|\int_{R}f_i\,{\rm d}\sg_i\rt| \le C \prod_{i=1}^n \|f_i\|_{L^{p_i}(\sg_i)} \] can be characterized by simple testing condition \[ K(R)\prod_{i=1}^n\sg_i(R) \le C \prod_{i=1}^n\sg_i(R)^{\frac{1}{p_i}} \quad R\in\cdr(\R^d), \] in the range $1<p_i<\8$ and $\sum_{i=1}^n\frac{1}{p_i}>1$. As a~corollary to this theorem, for reverse doubling weights, we verify a~necessary and sufficient condition for which the weighted norm inequality for the multilinear strong positive dyadic operator and for strong fractional integral operator to hold.
△ Less
Submitted 22 October, 2017;
originally announced October 2017.
-
On Some properties of dyadic operators
Authors:
Heng Gu,
Qingying Xue,
Kozo Yabuta
Abstract:
In this paper, the objects of our investigation are some dyadic operators, including dyadic shifts, multilinear paraproducts and multilinear Haar multipliers. We mainly focus on the continuity and compactness of these operators. First, we consider the continuity properties of these operators. Then, by the Fréchet-Kolmogorov-Riesz-Tsuji theorem, the non-compactness properties of these dyadic operat…
▽ More
In this paper, the objects of our investigation are some dyadic operators, including dyadic shifts, multilinear paraproducts and multilinear Haar multipliers. We mainly focus on the continuity and compactness of these operators. First, we consider the continuity properties of these operators. Then, by the Fréchet-Kolmogorov-Riesz-Tsuji theorem, the non-compactness properties of these dyadic operators will be studied. Moreover, we show that their commutators are compact with \textit{CMO} functions, which is quite different from the non-compaceness properties of these dyadic operators. These results are similar to those for Calderón-Zygmund singular integral operators.
△ Less
Submitted 23 March, 2017;
originally announced March 2017.
-
On the bilinear square Fourier multiplier operators and related multilinear square functions
Authors:
Zengyan Si,
Qingying Xue,
Kozo Yabuta
Abstract:
Let $n\ge 1$ and $\mathfrak{T}_{m}$ be the bilinear square Fourier multiplier operator associated with a symbol $m$, which is defined by $$ \mathfrak{T}_{m}(f_1,f_2)(x) = \biggl( \int_{0}^\infty\Big|\int_{(\mathbb{R}^n)^2} e^{2πix\cdot (ξ_1 +ξ_2) }m(tξ_1,tξ_2) \hat{f}_{1}(ξ_1)\hat{f}_{2}(ξ_2)dξ_1 dξ_2\Big|^2\frac{dt}{t } \biggr)^{\frac 12}. $$ Let $s$ be an integer with $s\in[n+1,2n]$ and $p_0$ be…
▽ More
Let $n\ge 1$ and $\mathfrak{T}_{m}$ be the bilinear square Fourier multiplier operator associated with a symbol $m$, which is defined by $$ \mathfrak{T}_{m}(f_1,f_2)(x) = \biggl( \int_{0}^\infty\Big|\int_{(\mathbb{R}^n)^2} e^{2πix\cdot (ξ_1 +ξ_2) }m(tξ_1,tξ_2) \hat{f}_{1}(ξ_1)\hat{f}_{2}(ξ_2)dξ_1 dξ_2\Big|^2\frac{dt}{t } \biggr)^{\frac 12}. $$ Let $s$ be an integer with $s\in[n+1,2n]$ and $p_0$ be a number satisfying $2n/s\le p_0\le 2$. Suppose that $ν_{\vecω}=\prod_{i=1}^2ω_i^{p/ p_i}$ and each $ω_i$ is a nonnegative function on $\mathbb{R}^n$. In this paper, we show that $\mathfrak{T}_{m}$ is bounded from $L^{p_1}(ω_1)\times L^{p_2}(ω_2)$ to $L^p(ν_{\vecω})$ if $p_0< p_1, p_2<\infty$ with $1/p=1/p_1+ 1/p_2$. Moreover, if $p_0>2n/s$ and $p_1=p_0$ or $p_2=p_0$, then $\mathfrak{T}_{m}$ is bounded from $L^{p_1}(ω_1)\times L^{p_2}(ω_2)$ to $L^{p,\infty}(ν_{\vecω})$. The weighted end-point $L\log L$ type estimate and strong estimate for the commutators of $\mathfrak{T}_{m}$ are also given. These were done by considering the boundedness of some related multilinear square functions associated with mild regularity kernels and essentially improving some basic lemmas which have been used before.
△ Less
Submitted 19 April, 2016;
originally announced April 2016.
-
On the Boundedness of Multilinear Fractional Strong Maximal Operator with multiple weights
Authors:
Mingming Cao,
Qingying Xue,
Kozo Yabuta
Abstract:
In this paper, we investigated the boundedness of multilinear fractional strong maximal operator $\mathcal{M}_{\mathcal{R},α}$ associated with rectangles or related to more general basis with multiple weights $A_{(\vec{p},q),\mathcal{R}}$. In the rectangles setting, we first gave an end-point estimate of $\mathcal{M}_{\mathcal{R},α}$, which not only extended the famous linear result of Jessen, Mar…
▽ More
In this paper, we investigated the boundedness of multilinear fractional strong maximal operator $\mathcal{M}_{\mathcal{R},α}$ associated with rectangles or related to more general basis with multiple weights $A_{(\vec{p},q),\mathcal{R}}$. In the rectangles setting, we first gave an end-point estimate of $\mathcal{M}_{\mathcal{R},α}$, which not only extended the famous linear result of Jessen, Marcinkiewicz and Zygmund, but also extended the multilinear result of Grafakos, Liu, Pérez and Torres ($α=0$) to the case $0<α<mn.$ Then, in one weight case, we gave several equivalent characterizations between $\mathcal{M}_{\mathcal{R},α}$ and $A_{(\vec{p},q),\mathcal{R}}$, by applying a different approach from what we have used before. Moreover, a sufficient condition for the two weighted norm inequality of $\mathcal{M}_{\mathcal{R},α}$ was presented and a version of vector-valued two weighted inequality for the strong maximal operator was established when $m=1$. In the general basis setting, we further studied the properties of the multiple weights $A_{(\vec{p},q),\mathcal{R}}$ conditions, including the equivalent characterizations and monotonic properties, which essentially extended one's previous understanding. Finally, a survey on multiple strong Muckenhoupt weights was given, which demonstrates the properties of multiple weights related to rectangles systematically.
△ Less
Submitted 29 December, 2015;
originally announced December 2015.
-
The existence and boundedness of multilinear Marcinkiewicz integrals on Companato spaces
Authors:
Qingying Xue,
Kozo Yabuta
Abstract:
In this paper, we established the boundedness of m-linear Marcinkiewicz integral on Campanato type spaces. We showed that if the $m$-linear Marcinkiewicz integral is finite for one point, then it is finite almost everywhere. Moreover, the following norm inequality holds, $$\|μ(\vec{f})\|_{\mathcal{E}^{α,p}} \leq C\prod_{j=1}^m\|f_j\|_{\mathcal{E}^{α_j,p_j}},$$ where $\mathcal{E}^{α,p}$ is the clas…
▽ More
In this paper, we established the boundedness of m-linear Marcinkiewicz integral on Campanato type spaces. We showed that if the $m$-linear Marcinkiewicz integral is finite for one point, then it is finite almost everywhere. Moreover, the following norm inequality holds, $$\|μ(\vec{f})\|_{\mathcal{E}^{α,p}} \leq C\prod_{j=1}^m\|f_j\|_{\mathcal{E}^{α_j,p_j}},$$ where $\mathcal{E}^{α,p}$ is the classical Campanato spaces.
△ Less
Submitted 2 December, 2015;
originally announced December 2015.
-
On multilinear fractional strong maximal operator associated with rectangles and multiple weights
Authors:
Mingming Cao,
Qingying Xue,
Kozo Yabuta
Abstract:
In this paper, the multilinear fractional strong maximal operator $\mathcal{M}_{\mathcal{R},α}$ associated with rectangles and corresponding multiple weights $A_{(\vec{p},q),\mathcal{R}}$ are introduced. Under the dyadic reverse doubling condition, a necessary and sufficient condition for two-weight inequalities is given. As consequences, we first obtain a necessary and sufficient condition for on…
▽ More
In this paper, the multilinear fractional strong maximal operator $\mathcal{M}_{\mathcal{R},α}$ associated with rectangles and corresponding multiple weights $A_{(\vec{p},q),\mathcal{R}}$ are introduced. Under the dyadic reverse doubling condition, a necessary and sufficient condition for two-weight inequalities is given. As consequences, we first obtain a necessary and sufficient condition for one-weight inequalities. Then, we give a new proof for the weighted estimates of multilinear fractional maximal operator $\mathcal{M}_α$ associated with cubes and multilinear fractional integral operator $\mathcal{I}_α$, which is quite different and simple from the proof known before.
△ Less
Submitted 3 May, 2015; v1 submitted 14 April, 2015;
originally announced April 2015.
-
Fractional type Marcinkiewicz integral operators associated to surfaces
Authors:
Yoshihiro Sawano,
Kôzô Yabuta
Abstract:
In this paper, we discuss the boundedness of the fractional type Marcinkiewicz integral operators associated to surfaces, and extend a result given by Chen, Fan and Ying in 2002. They showed that under certain conditions the fractional type Marcinkiewicz integral operators are bounded from the Triebel-Lizorkin spaces $\dot F_{pq}^α({\mathbb R}^n)$ to $L^p({\mathbb R}^n)$. Recently the second autho…
▽ More
In this paper, we discuss the boundedness of the fractional type Marcinkiewicz integral operators associated to surfaces, and extend a result given by Chen, Fan and Ying in 2002. They showed that under certain conditions the fractional type Marcinkiewicz integral operators are bounded from the Triebel-Lizorkin spaces $\dot F_{pq}^α({\mathbb R}^n)$ to $L^p({\mathbb R}^n)$. Recently the second author, together with Xue and Yan, greatly weakened their assumptions. In this paper, we extend their results to the case where the operators are associated to the surfaces of the form $\{x=φ(|y|)y/|y|\} \subset {\mathbb R}^n \times ({\mathbb R}^n \setminus \{0\})$.
To prove our result, we discuss a characterization of the homogeneous Triebel-Lizorkin spaces in terms of lacunary sequences.
△ Less
Submitted 28 May, 2013;
originally announced May 2013.
