Showing 1–50 of 96 results for author: Hytönen, T

Extrapolation of compactness on variable $L^{p(\cdot)}$ spaces

Authors: Tuomas Hytönen, Stefanos Lappas, Tuomas Oikari

Abstract: Building on a recent approach of Hytönen-Lappas to the extrapolation of compactness of linear operators on weighted $L^p(w)$ spaces, we extend these results to the weighted variable-exponent spaces $L^{p(\cdot)}(w)$. Related results are recently due to Lorist-Nieraeth, who showed that compactness can be extrapolated from $L^p(w)$ to a general class of Banach function spaces including the… ▽ More Building on a recent approach of Hytönen-Lappas to the extrapolation of compactness of linear operators on weighted $L^p(w)$ spaces, we extend these results to the weighted variable-exponent spaces $L^{p(\cdot)}(w)$. Related results are recently due to Lorist-Nieraeth, who showed that compactness can be extrapolated from $L^p(w)$ to a general class of Banach function spaces including the $L^{p(\cdot)}(w)$ spaces. The novelty of our result is that one can take any variable-exponent $L^{p(\cdot)}(w)$, not just $L^p(w)$, as a starting point of extrapolation. An application of our extrapolation to commutators $[b,T]$ of pointwise multipliers and singular integrals allows us to complete a set of implications, showing that $b\in CMO(\mathbb{R}^d)$ is not only sufficient (as known from Lorist-Nieraeth) but also necessary for the compactness of $[b,T]$ on any fixed $L^{p(\cdot)}(w)$. △ Less

Submitted 29 May, 2025; originally announced May 2025.

Comments: 13 pages

MSC Class: 47B38 (Primary); 42B35; 46B70

Besov--Triebel--Lizorkin-Type Spaces with Matrix $A_\infty$ Weights

Authors: Fan Bu, Tuomas Hytönen, Dachun Yang, Wen Yuan

Abstract: Introduced by A. Volberg, matrix $A_{p,\infty}$ weights provide a suitable generalization of Muckenhoupt $A_\infty$ weights from the classical theory. In our previous work, we established new characterizations of these weights. Here, we use these results to study inhomogeneous Besov-type and Triebel--Lizorkin-type spaces with such weights. In particular, we characterize these spaces, in terms of t… ▽ More Introduced by A. Volberg, matrix $A_{p,\infty}$ weights provide a suitable generalization of Muckenhoupt $A_\infty$ weights from the classical theory. In our previous work, we established new characterizations of these weights. Here, we use these results to study inhomogeneous Besov-type and Triebel--Lizorkin-type spaces with such weights. In particular, we characterize these spaces, in terms of the $\varphi$-transform, molecules, and wavelets, and obtain the boundedness of almost diagonal operators, pseudo-differential operators, trace operators, pointwise multipliers, and Calderón--Zygmund operators on these spaces. This is the first systematic study of inhomogeneous Besov--Triebel--Lizorkin-type spaces with $A_{p,\infty}$-matrix weights, but some of the results are new even when specialized to the scalar unweighted case. △ Less

Submitted 6 January, 2025; originally announced January 2025.

Comments: 84 pages; Submitted. arXiv admin note: text overlap with arXiv:2304.00292

MSC Class: Primary 46E35; Secondary 47A56; 42B25; 42B20; 42C40; 35S05; 42B35

Schatten properties of commutators and equivalent Sobolev norms on metric spaces

Authors: Tuomas Hytönen, Riikka Korte

Abstract: We characterise the Schatten class $S^p$ properties of commutators $[b,T]$ of singular integrals and pointwise multipliers in a general framework of (quasi-)metric measure spaces. This covers, unifies, and extends a range of previous results in different special cases. As in the classical results on $\mathbb R^d$, the characterisation has three parts: (1) For $p>d$, we have $[b,T]\in S^p$ if and o… ▽ More We characterise the Schatten class $S^p$ properties of commutators $[b,T]$ of singular integrals and pointwise multipliers in a general framework of (quasi-)metric measure spaces. This covers, unifies, and extends a range of previous results in different special cases. As in the classical results on $\mathbb R^d$, the characterisation has three parts: (1) For $p>d$, we have $[b,T]\in S^p$ if and only if $b$ is in suitable Besov (or fractional Sobolev) space. (2) For $p\leq d$, we have $[b,T]\in S^p$ if and only if $b$ is constant. (3) For $p=d$, we have $[b,T]\in S^{d,\infty}$ (a weak-type Schatten class) if and only if $b$ is in a first-order Sobolev space. Result (1) is very general and extends to all spaces of homogeneous type as long as there are appropriate singular integrals, while extensions of (2) and (3) are proved for complete doubling metric spaces supporting a suitable Poincaré inequality. For the proof of (3), we extend a recent derivative-free characterisation of the Sobolev space $\dot W^{1,p}(\mathbb R^d)$ by R. Frank to the general domains that we consider; this is our second main result of independent interest. △ Less

Submitted 4 November, 2024; originally announced November 2024.

Comments: 92 pages

MSC Class: 42B20; 42B35; 46E36; 47B10; 47B47

Reduced inequalities for vector-valued functions

Authors: Tuomas P. Hytönen

Abstract: Building on the notion of convex body domination introduced by Nazarov, Petermichl, Treil, and Volberg, we provide a general principle of bootstrapping bilinear estimates for scalar-valued functions into vector-valued versions with a reduced right-hand side involving iterated norms of a pointwise dot product $\vec f(x)\cdot\vec g(y)$ instead of the product of lengths $|\vec f(x)| |\vec g(y)|$ that… ▽ More Building on the notion of convex body domination introduced by Nazarov, Petermichl, Treil, and Volberg, we provide a general principle of bootstrapping bilinear estimates for scalar-valued functions into vector-valued versions with a reduced right-hand side involving iterated norms of a pointwise dot product $\vec f(x)\cdot\vec g(y)$ instead of the product of lengths $|\vec f(x)| |\vec g(y)|$ that would result from a naïve extension of the scalar inequality. On the way, we study connections between convex body domination and tensor norms. In order to cover the full regime of $L^p$ norms, also with $p<1$, that naturally arise in bilinear harmonic analysis, we develop a framework in general quasi-normed spaces. A key application is a vector-valued Kato-Ponce inequality (or fractional Leibnitz rule) with a reduced right-hand side, which we obtain as a soft corollary of the known scalar-valued version and our general bootstrapping method. △ Less

Submitted 16 February, 2024; originally announced February 2024.

Comments: 20 pages

MSC Class: 15A69; 26D15; 47G10

On the sense of convergence in the dyadic representation theorem

Authors: Tuomas Hytönen

Abstract: The dyadic representation of any singular integral operator, as an average of dyadic model operators, has found many applications. While for many purposes it is enough to have such a representation for a "suitable class" of test functions, we show that, under quite general assumptions (essentially minimal ones to make sense of the formula), the representation is actually valid for all pairs… ▽ More The dyadic representation of any singular integral operator, as an average of dyadic model operators, has found many applications. While for many purposes it is enough to have such a representation for a "suitable class" of test functions, we show that, under quite general assumptions (essentially minimal ones to make sense of the formula), the representation is actually valid for all pairs $(f,g)\in L^p(\mathbb R^d)\times L^{p'}(\mathbb R^d)$, not just test functions. △ Less

Submitted 31 December, 2023; originally announced January 2024.

Comments: 25 pages

MSC Class: 42B20

Matrix-Weighted Besov-Type and Triebel--Lizorkin-Type Spaces III: Characterizations of Molecules and Wavelets, Trace Theorems, and Boundedness of Pseudo-Differential Operators and Calderón--Zygmund Operators

Authors: Fan Bu, Tuomas Hytönen, Dachun Yang, Wen Yuan

Abstract: This is the last one of three successive articles by the authors on matrix-weighted Besov-type and Triebel--Lizorkin-type spaces $\dot B^{s,τ}_{p,q}(W)$ and $\dot F^{s,τ}_{p,q}(W)$. In this article, the authors establish the molecular and the wavelet characterizations of these spaces. Furthermore, as applications, the authors obtain the optimal boundedness of trace operators, pseudo-differential o… ▽ More This is the last one of three successive articles by the authors on matrix-weighted Besov-type and Triebel--Lizorkin-type spaces $\dot B^{s,τ}_{p,q}(W)$ and $\dot F^{s,τ}_{p,q}(W)$. In this article, the authors establish the molecular and the wavelet characterizations of these spaces. Furthermore, as applications, the authors obtain the optimal boundedness of trace operators, pseudo-differential operators, and Calderón--Zygmund operators on these spaces. Due to the sharp boundedness of almost diagonal operators on their related sequence spaces obtained in the second article of this series, all results presented in this article improve their counterparts on matrix-weighted Besov and Triebel--Lizorkin spaces $\dot B^{s}_{p,q}(W)$ and $\dot F^{s}_{p,q}(W)$. In particular, even when reverting to the boundedness of Calderón--Zygmund operator on unweighted Triebel--Lizorkin spaces $\dot F^{s}_{p,q}$, these results are still better. △ Less

Submitted 27 December, 2023; v1 submitted 20 December, 2023; originally announced December 2023.

Comments: We split the article arXiv:2304.00292 into three articles and this is the last one

MSC Class: Primary 46E35; Secondary 47A56; 42B25; 42B20; 42C40; 35S05; 42B35

Matrix-Weighted Besov-Type and Triebel--Lizorkin-Type Spaces II: Sharp Boundedness of Almost Diagonal Operators

Authors: Fan Bu, Tuomas Hytönen, Dachun Yang, Wen Yuan

Abstract: This article is the second one of three successive articles of the authors on the matrix-weighted Besov-type and Triebel--Lizorkin-type spaces. In this article, we obtain the sharp boundedness of almost diagonal operators on matrix-weighted Besov-type and Triebel--Lizorkin-type sequence spaces. These results not only possess broad generality but also improve several existing related results in var… ▽ More This article is the second one of three successive articles of the authors on the matrix-weighted Besov-type and Triebel--Lizorkin-type spaces. In this article, we obtain the sharp boundedness of almost diagonal operators on matrix-weighted Besov-type and Triebel--Lizorkin-type sequence spaces. These results not only possess broad generality but also improve several existing related results in various special cases covered by this family of spaces. This improvement depends, on the one hand, on the notion of $A_p$-dimensions of matrix weights and their properties introduced in the first article of this series and, on the other hand, on a careful direct analysis of sequences of averages avoiding maximal operators. While a recent matrix-weighted extension of the Fefferman--Stein vector-valued maximal inequality would provide an alternative route to some of our results in the restricted range of function space parameters $p,q\in(1,\infty)$, our approach covers the full scale of exponents $p\in(0,\infty)$ and $q\in(0,\infty]$ that is relevant in the theory of function spaces. △ Less

Submitted 21 August, 2024; v1 submitted 20 December, 2023; originally announced December 2023.

Comments: We split the article arXiv:2304.00292 into three articles and this is the second one. In this revised version, we explain that, using the new matrix-weighted Fefferman--Stein vector-valued inequality very recently established by S. Kakaroumpas and O. Soler i Gibert in arXiv: 2407.16776, one can give a simplified proof of one special case of one result of our article, but not the full result

MSC Class: Primary 46E35; Secondary 47A56; 42B25; 42B35

New Characterizations and Properties of Matrix $A_\infty$ Weights

Authors: Fan Bu, Tuomas Hytönen, Dachun Yang, Wen Yuan

Abstract: We provide several new characterizations of $A_{p,\infty}$-matrix weights, originally introduced by A. Volberg as matrix-valued substitutes of the classical $A_\infty$ weights. In analogy with the notion of $A_p$-dimension of matrix weights introduced in our previous work, we introduce the concepts of the lower and the upper dimensions of $A_{p,\infty}$-matrix weights, which enable us to obtain sh… ▽ More We provide several new characterizations of $A_{p,\infty}$-matrix weights, originally introduced by A. Volberg as matrix-valued substitutes of the classical $A_\infty$ weights. In analogy with the notion of $A_p$-dimension of matrix weights introduced in our previous work, we introduce the concepts of the lower and the upper dimensions of $A_{p,\infty}$-matrix weights, which enable us to obtain sharp estimates related to their reducing operators. In a follow-up work, these results will play a key role in the study of function spaces with $A_{p,\infty}$-matrix weights, which extends earlier results in the more restricted class of $A_p$-matrix weights. △ Less

Submitted 10 November, 2023; originally announced November 2023.

Comments: 39 pages. arXiv admin note: text overlap with arXiv:2304.00292

MSC Class: Primary 46E30; Secondary 47A56; 15A15; 42B35

Singular integrals in uniformly convex spaces

Authors: Tuomas Hytönen

Abstract: We consider the action of finitely truncated singular integral operators on functions taking values in a Banach space. Such operators are bounded for any Banach space, but we show a quantitative improvement over the trivial bound in any space with an equivalent uniformly convex norm. This answers a question asked by Naor and the author, who previously proved the result in the important special cas… ▽ More We consider the action of finitely truncated singular integral operators on functions taking values in a Banach space. Such operators are bounded for any Banach space, but we show a quantitative improvement over the trivial bound in any space with an equivalent uniformly convex norm. This answers a question asked by Naor and the author, who previously proved the result in the important special case of the finite Hilbert transforms. The proof, which splits the operator into a cancellative part and two paraproducts, follows the broad outline of similar results for genuinely singular (non-truncated) operators in the narrower class of UMD spaces. Thus we revisit and survey the recent techniques behind such results, but our precise setting, the main theorem, and some aspects of its proof, are new. Curiously, it turns out that the paraproducts admit somewhat better bounds than the full operator. In a large class of spaces other than UMD, they remain bounded even without the finite truncations. △ Less

Submitted 13 October, 2023; originally announced October 2023.

Comments: 23 pages. Accepted for publication in the contributed book "Geometry of Banach Spaces and Related Fields" dedicated to Prof. Per H. Enflo

MSC Class: 46E40; 42B20; 60G46

Matrix-Weighted Besov-Type and Triebel--Lizorkin-Type Spaces I: $A_p$-Dimensions of Matrix Weights and $\varphi$-Transform Characterizations

Authors: Fan Bu, Tuomas P. Hytönen, Dachun Yang, Wen Yuan

Abstract: Let $s\in{\mathbb R}$, $q\in (0,\infty]$, and $τ\in[0,\infty)$. It is well known that Besov-type spaces $\dot B^{s,τ}_{p,q}$ with $p\in (0,\infty]$ and Triebel--Lizorkin-type spaces $\dot F^{s,τ}_{p,q}$ with $p\in (0,\infty)$ when $τ\in [0,\infty)$ or with $p\in (0,\infty]$ when $τ=0$ on $\mathbb{R}^n$ consist of a general family of function spaces that cover not only the well-known Besov and Trie… ▽ More Let $s\in{\mathbb R}$, $q\in (0,\infty]$, and $τ\in[0,\infty)$. It is well known that Besov-type spaces $\dot B^{s,τ}_{p,q}$ with $p\in (0,\infty]$ and Triebel--Lizorkin-type spaces $\dot F^{s,τ}_{p,q}$ with $p\in (0,\infty)$ when $τ\in [0,\infty)$ or with $p\in (0,\infty]$ when $τ=0$ on $\mathbb{R}^n$ consist of a general family of function spaces that cover not only the well-known Besov and Triebel--Lizorkin spaces $\dot B^{s}_{p,q}$ and $\dot F^{s}_{p,q}$ (when $τ=0$) but also several other function spaces of interest, such as Morrey spaces and $Q$ spaces. In three successive articles, the authors develop a complete real-variable theory of matrix-weighted Besov-type spaces $\dot B^{s,τ}_{p,q}(W)$ and matrix-weighted Triebel--Lizorkin-type spaces $\dot F^{s,τ}_{p,q}(W)$ on $\mathbb{R}^n$, where $W$ is a matrix-valued Muckenhoupt $A_p$ weight. This article is the first one, whose main novelty exists in that the authors introduce the new concept, $A_p$-dimensions of matrix weights, and intensively study their properties, especially those elaborate properties expressed via reducing operators. The authors then introduce the spaces $\dot B^{s,τ}_{p,q}(W)$ and $\dot F^{s,τ}_{p,q}(W)$ and, using $A_p$-dimensions and their nice properties, the authors establish the $\varphi$-transform characterization of $\dot B^{s,τ}_{p,q}(W)$ and $\dot F^{s,τ}_{p,q}(W)$. The $A_p$-dimensions of matrix weights and their properties also enable the authors to obtain the sharp boundedness of almost diagonal operators on related sequence spaces in the subsequent second article and the optimal characterizations of molecules and wavelets, trace theorems, and the optimal boundedness of pseudo-differential operators and Calderón--Zygmund operators in the subsequent third article. △ Less

Submitted 26 December, 2023; v1 submitted 1 April, 2023; originally announced April 2023.

Comments: 74 pages. We split the original article into three parts. This is the first part, which retains the original arXiv identifier. See arXiv:2312.13548 and arXiv:2312.13549 for parts II and III

MSC Class: Primary 46E35; Secondary 47A56; 42B25; 42C40; 42B35

Some remarks on convex body domination

Authors: Tuomas P. Hytönen

Abstract: Convex body domination is an important elaboration of the technique of sparse domination that has seen significant development and applications over the past ten years. In this paper, we present an abstract framework for convex body domination, which also applies to Banach space -valued functions, and yields matrix-weighted norm inequalities in this setting. We explore applications to "generalised… ▽ More Convex body domination is an important elaboration of the technique of sparse domination that has seen significant development and applications over the past ten years. In this paper, we present an abstract framework for convex body domination, which also applies to Banach space -valued functions, and yields matrix-weighted norm inequalities in this setting. We explore applications to "generalised commutators", obtaining new examples of bounded operators among linear combinations of compositions of pointwise multipliers and a singular integral operator. △ Less

Submitted 2 January, 2023; originally announced January 2023.

Comments: 25 pages

MSC Class: 42B20; 46E40

Quantitative estimates for bounded holomorphic semigroups

Authors: Tuomas Hytönen, Stefanos Lappas

Abstract: In this paper we revisit the theory of one-parameter semigroups of linear operators on Banach spaces in order to prove quantitative bounds for bounded holomorphic semigroups. Subsequently, relying on these bounds we obtain new quantitative versions of two recent results of Xu related to the vector-valued Littlewood--Paley--Stein theory for symmetric diffusion semigroups. In this paper we revisit the theory of one-parameter semigroups of linear operators on Banach spaces in order to prove quantitative bounds for bounded holomorphic semigroups. Subsequently, relying on these bounds we obtain new quantitative versions of two recent results of Xu related to the vector-valued Littlewood--Paley--Stein theory for symmetric diffusion semigroups. △ Less

Submitted 8 February, 2024; v1 submitted 30 August, 2022; originally announced August 2022.

Comments: V3: 27 pages. Fixed several details in Section 5, also affecting the statement of Theorem 5.1. Eq. (5.2) now has B^{k+1} in place of the previous B^2 that resulted from oversights in the earlier versions. V2: 26 pages. Revised according to referee comments. To appear in Semigroup Forum. arXiv admin note: text overlap with arXiv:1803.05107 by other authors

MSC Class: 47D03 (Primary); 42B25; 46B20

The $L^p$-to-$L^q$ Compactness of Commutators with $p>q$

Authors: Tuomas Hytönen, Kangwei Li, Jin Tao, Dachun Yang

Abstract: Let $1<q<p<\infty$, $\frac1r:=\frac1q-\frac1p$, and $T$ be a non-degenerate Calderón--Zygmund operator. We show that the commutator $[b,T]$ is compact from $L^p({\mathbb R}^n)$ to $L^q({\mathbb R}^n)$ if and only if the symbol $b=a+c$ with $a\in L^r({\mathbb R}^n)$ and $c$ being any constant. Since both the corresponding Hardy--Littlewood maximal operator and the corresponding Calderón--Zygmund ma… ▽ More Let $1<q<p<\infty$, $\frac1r:=\frac1q-\frac1p$, and $T$ be a non-degenerate Calderón--Zygmund operator. We show that the commutator $[b,T]$ is compact from $L^p({\mathbb R}^n)$ to $L^q({\mathbb R}^n)$ if and only if the symbol $b=a+c$ with $a\in L^r({\mathbb R}^n)$ and $c$ being any constant. Since both the corresponding Hardy--Littlewood maximal operator and the corresponding Calderón--Zygmund maximal operator are not bounded from $L^p({\mathbb R}^n)$ to $L^q({\mathbb R}^n)$, we take the full advantage of the compact support of the approximation element in $C_{\rm c}^\infty({\mathbb R}^n)$, which seems to be redundant for many corresponding estimates when $p\leq q$ but to be crucial when $p>q$. We also extend the results to the multilinear case. △ Less

Submitted 21 August, 2022; originally announced August 2022.

MSC Class: Primary 47B47; Secondary 42B20; 42B25; 42B35; 46E30

Fractional Bloom boundedness and compactness of commutators

Authors: Tuomas Hytönen, Tuomas Oikari, Jaakko Sinko

Abstract: Let $T$ be a non-degenerate Calderón-Zygmund operator and let $b:\mathbb{R}^d\to\mathbb{C}$ be locally integrable. Let $1<p\leq q<\infty$ and let $μ^p\in A_p$ and $λ^q\in A_q,$ where $A_{p}$ denotes the usual class of Muckenhoupt weights. We show that \begin{align*} \|[b,T]\|_{L^p_μ\to L^q_λ}\sim \|b\|_{\operatorname{BMO}_ν^α},\qquad [b,T]\in \mathcal{K}(L^p_μ, L^q_λ)\quad\mbox{iff}\quad b\in… ▽ More Let $T$ be a non-degenerate Calderón-Zygmund operator and let $b:\mathbb{R}^d\to\mathbb{C}$ be locally integrable. Let $1<p\leq q<\infty$ and let $μ^p\in A_p$ and $λ^q\in A_q,$ where $A_{p}$ denotes the usual class of Muckenhoupt weights. We show that \begin{align*} \|[b,T]\|_{L^p_μ\to L^q_λ}\sim \|b\|_{\operatorname{BMO}_ν^α},\qquad [b,T]\in \mathcal{K}(L^p_μ, L^q_λ)\quad\mbox{iff}\quad b\in \operatorname{VMO}_ν^α, \end{align*} where $L^p_μ=L^p(μ^p)$ and $α/d = 1/p-1/q,$ , the symbol $\mathcal{K}$ stands for the class of compact operators between the given spaces, and the fractional weighted $\operatorname{BMO}_ν^α$ and $\operatorname{VMO}_ν^α$ spaces are defined through the following fractional oscillation and Bloom weight \begin{align*} \mathcal{O}_ν^α(b;Q) = ν^{-α/d}(Q)\Big(\frac{1}{ν(Q)}\int_Q |b-\langle b\rangle_Q|\Big),\qquad ν = \big(\fracμλ\big)^β,\quad β= (1+α/d)^{-1}. \end{align*} The key novelty is dealing with the off-diagonal range $p<q$, whereas the case $p=q$ was previously studied by Lacey and Li. However, another novelty in both cases is that our approach allows complex-valued functions $b$, while other arguments based on the median of $b$ on a set are inherently real-valued. △ Less

Submitted 17 February, 2023; v1 submitted 4 July, 2022; originally announced July 2022.

Comments: V2: 26 pages, minor revision according to referee comments, accepted for publication in Forum Mathematicum. V1:26 pages

Journal ref: Forum Mathematicum, 2023

Multiresolution analysis and Zygmund dilations

Authors: Tuomas Hytönen, Kangwei Li, Henri Martikainen, Emil Vuorinen

Abstract: Zygmund dilations are a group of dilations lying in between the standard product theory and the one-parameter setting - in $\mathbb{R}^3 = \mathbb{R} \times \mathbb{R} \times \mathbb{R}$ they are the dilations $(x_1, x_2, x_3) \mapsto (δ_1 x_1, δ_2 x_2, δ_1 δ_2 x_3)$. The dyadic multiresolution analysis and the related dyadic-probabilistic methods have been very impactful in the modern product sin… ▽ More Zygmund dilations are a group of dilations lying in between the standard product theory and the one-parameter setting - in $\mathbb{R}^3 = \mathbb{R} \times \mathbb{R} \times \mathbb{R}$ they are the dilations $(x_1, x_2, x_3) \mapsto (δ_1 x_1, δ_2 x_2, δ_1 δ_2 x_3)$. The dyadic multiresolution analysis and the related dyadic-probabilistic methods have been very impactful in the modern product singular integral theory. However, the multiresolution analysis has not been understood in the Zygmund dilation setting or in other modified product space settings. In this paper we develop this missing dyadic multiresolution analysis of Zygmund type, and justify its usefulness by bounding, on weighted spaces, a general class of singular integrals that are invariant under Zygmund dilations. We provide novel examples of Zygmund $A_p$ weights and Zygmund kernels showcasing the optimality of our kernel assumptions for weighted estimates. △ Less

Submitted 3 May, 2022; v1 submitted 29 March, 2022; originally announced March 2022.

Comments: v2: Added complementing details to the counterexamples in Section 2. 61 pages

MSC Class: 42B20

Exotic Calderón-Zygmund operators

Authors: Tuomas Hytönen, Kangwei Li, Henri Martikainen, Emil Vuorinen

Abstract: We study singular integral operators with kernels that are more singular than standard Calderón-Zygmund kernels, but less singular than bi-parameter product Calderón-Zygmund kernels. These kernels arise as restrictions to two dimensions of certain three-dimensional kernels adapted to so-called Zygmund dilations, which is part of our motivation for studying these objects. We make the case that such… ▽ More We study singular integral operators with kernels that are more singular than standard Calderón-Zygmund kernels, but less singular than bi-parameter product Calderón-Zygmund kernels. These kernels arise as restrictions to two dimensions of certain three-dimensional kernels adapted to so-called Zygmund dilations, which is part of our motivation for studying these objects. We make the case that such kernels can, in many ways, be seen as part of the extended realm of standard kernels by proving that they satisfy both a T1 theorem and commutator estimates in a form reminiscent of the corresponding results for standard Calderón-Zygmund kernels. However, we show that one-parameter weighted estimates, in general, fail. △ Less

Submitted 29 March, 2022; originally announced March 2022.

Comments: 23 pages

MSC Class: 42B20

Causal sparse domination of Beurling maximal regularity operators

Authors: Tuomas Hytönen, Andreas Rosén

Abstract: We prove boundedness of Calderón-Zygmund operators acting in Banach functions spaces on domains, defined by the $L_1$ Carleson functional and $L_q$ ($1<q<\infty$) Whitney averages. For such bounds to hold, we assume that the operator maps towards the boundary of the domain. We obtain the Carleson estimates by proving a pointwise domination of the operator, by sparse operators with a causal structu… ▽ More We prove boundedness of Calderón-Zygmund operators acting in Banach functions spaces on domains, defined by the $L_1$ Carleson functional and $L_q$ ($1<q<\infty$) Whitney averages. For such bounds to hold, we assume that the operator maps towards the boundary of the domain. We obtain the Carleson estimates by proving a pointwise domination of the operator, by sparse operators with a causal structure. The work is motivated by maximal regularity estimates for elliptic PDEs and is related to one-sided weighted estimates for singular integrals. △ Less

Submitted 17 February, 2022; v1 submitted 24 August, 2021; originally announced August 2021.

Comments: An appendix, Lemma 5.2 and 3 open problems added, in particular

MSC Class: 42B35; 42B20; 42B37

Extrapolation of compactness on weighted spaces: Bilinear operators

Authors: Tuomas Hytönen, Stefanos Lappas

Abstract: In a previous paper, we obtained several "compact versions" of Rubio de Francia's weighted extrapolation theorem, which allowed us to extrapolate the compactness of linear operators from just one space to the full range of weighted Lebesgue spaces, where these operators are bounded. In this paper, we study the extrapolation of compactness for bilinear operators in terms of bilinear Muckenhoupt wei… ▽ More In a previous paper, we obtained several "compact versions" of Rubio de Francia's weighted extrapolation theorem, which allowed us to extrapolate the compactness of linear operators from just one space to the full range of weighted Lebesgue spaces, where these operators are bounded. In this paper, we study the extrapolation of compactness for bilinear operators in terms of bilinear Muckenhoupt weights. As applications, we easily recover and improve earlier results on the weighted compactness of commutators of bilinear Calderón-Zygmund operators, bilinear fractional integrals and bilinear Fourier multipliers. More general versions of these results are recently due to Cao, Olivo and Yabuta (arXiv:2011.13191), whose approach depends on developing weighted versions of the Fréchet--Kolmogorov criterion of compactness, whereas we avoid this by relying on "softer" tools, which might have an independent interest in view of further extensions of the method. △ Less

Submitted 22 September, 2021; v1 submitted 18 December, 2020; originally announced December 2020.

Comments: v3: final version, incorporated referee comments, to appear in Indagationes Mathematicae, 27 pages

MSC Class: 47B38 (Primary); 42B20; 42B35; 46B70; 47H60

Journal ref: Indag. Math. 33 (2), (2022), 397-420

An operator-valued T(1) theorem for symmetric singular integrals in UMD spaces

Authors: Tuomas Hytönen

Abstract: The natural BMO (bounded mean oscillation) conditions suggested by scalar-valued results are known to be insufficient for the boundedness of operator-valued paraproducts. Accordingly, the boundedness of operator-valued singular integrals has only been available under versions of the classical ``$T(1)\in BMO$'' assumptions that are not easily checkable. Recently, Hong, Liu and Mei (J. Funct. Anal.… ▽ More The natural BMO (bounded mean oscillation) conditions suggested by scalar-valued results are known to be insufficient for the boundedness of operator-valued paraproducts. Accordingly, the boundedness of operator-valued singular integrals has only been available under versions of the classical ``$T(1)\in BMO$'' assumptions that are not easily checkable. Recently, Hong, Liu and Mei (J. Funct. Anal. 2020) observed that the situation improves remarkably for singular integrals with a symmetry assumption, so that a classical $T(1)$ criterion still guarantees their $L^2$-boundedness on Hilbert space -valued functions. Here, these results are extended to general UMD (unconditional martingale differences) spaces with the same natural BMO condition for symmetrised paraproducts, and requiring in addition only the usual replacement of uniform bounds by $R$-bounds in the case of general singular integrals. In particular, under these assumptions, we obtain boundedness results on non-commutative $L^p$ spaces for all $1<p<\infty$, without the need to replace the domain or the target by a related non-commutative Hardy space as in the results of Hong et al. for $p\neq 2$. △ Less

Submitted 10 August, 2020; originally announced August 2020.

Comments: 14 pages

MSC Class: 42B20; 46E40

Extrapolation of compactness on weighted spaces II: Off-diagonal and limited range estimates

Authors: Tuomas Hytönen, Stefanos Lappas

Abstract: In a previous paper by one of us, a "compact version" of Rubio de Francia's weighted extrapolation theorem was proved, which allows one to extrapolate the compactness of an operator from just one space to the full range of weighted spaces, where this operator is bounded. In this paper, we obtain generalizations of this extrapolation of compactness for operators that are bounded from one space to a… ▽ More In a previous paper by one of us, a "compact version" of Rubio de Francia's weighted extrapolation theorem was proved, which allows one to extrapolate the compactness of an operator from just one space to the full range of weighted spaces, where this operator is bounded. In this paper, we obtain generalizations of this extrapolation of compactness for operators that are bounded from one space to a different one ("off-diagonal estimates") or only in a limited range of the $L^p$ scale. As applications, we easily recover recent results on the weighted compactness of commutators of fractional integrals and pseudo-differential operators, and obtain new results about the weighted compactness of Bochner--Riesz multipliers. △ Less

Submitted 25 September, 2020; v1 submitted 29 June, 2020; originally announced June 2020.

Comments: v2: We corrected a typo at the end of the proof of Lemma 3.4 and an oversight in the proof of Lemma 3.7, 24 pages. arXiv admin note: substantial text overlap with arXiv:2003.01606

MSC Class: 47B38 (Primary); 35S05; 42B20; 42B35; 46B70

Off-diagonal estimates for bi-commutators

Authors: Emil Airta, Tuomas Hytönen, Kangwei Li, Henri Martikainen, Tuomas Oikari

Abstract: We study the bi-commutators $[T_1, [b, T_2]]$ of pointwise multiplication and Calderón-Zygmund operators, and characterize their $L^{p_1}L^{p_2} \to L^{q_1}L^{q_2}$ boundedness for several off-diagonal regimes of the mixed-norm integrability exponents $(p_1,p_2)\neq(q_1,q_2)$. The strategy is based on a bi-parameter version of the recent approximate weak factorization method. We study the bi-commutators $[T_1, [b, T_2]]$ of pointwise multiplication and Calderón-Zygmund operators, and characterize their $L^{p_1}L^{p_2} \to L^{q_1}L^{q_2}$ boundedness for several off-diagonal regimes of the mixed-norm integrability exponents $(p_1,p_2)\neq(q_1,q_2)$. The strategy is based on a bi-parameter version of the recent approximate weak factorization method. △ Less

Submitted 7 May, 2020; originally announced May 2020.

Comments: 46 pages

MSC Class: 42B20

Dyadic representation theorem using smooth wavelets with compact support

Authors: Tuomas Hytönen, Stefanos Lappas

Abstract: The representation of a general Calderón--Zygmund operator in terms of dyadic Haar shift operators first appeared as a tool to prove the $A_2$ theorem, and it has found a number of other applications. In this paper we prove a new dyadic representation theorem by using smooth compactly supported wavelets in place of Haar functions. A key advantage of this is that we achieve a faster decay of the ex… ▽ More The representation of a general Calderón--Zygmund operator in terms of dyadic Haar shift operators first appeared as a tool to prove the $A_2$ theorem, and it has found a number of other applications. In this paper we prove a new dyadic representation theorem by using smooth compactly supported wavelets in place of Haar functions. A key advantage of this is that we achieve a faster decay of the expansion when the kernel of the general Calderón--Zygmund operator has additional smoothness. △ Less

Submitted 22 June, 2022; v1 submitted 9 March, 2020; originally announced March 2020.

Comments: v2: incorporated referees' comments, to appear in Journal of Fourier Analysis and Applications, 18 pages

MSC Class: 42B20(Primary); 42C40(Secondary)

Journal ref: Journal of Fourier Analysis and Applications 28(4), Paper No. 66, 2022

Extrapolation of compactness on weighted spaces

Authors: Tuomas Hytönen, Stefanos Lappas

Abstract: Let $T$ be a linear operator that, for some $p_1\in(1,\infty)$, is bounded on $L^{p_1}(\tilde w)$ for all $\tilde w\in A_{p_1}(\mathbb R^d)$ and in addition compact on $L^{p_1}(w_1)$ for some $w_1\in A_{p_1}(\mathbb R^d)$. Then $T$ is bounded and compact on $L^p(w)$ for all $p\in(1,\infty)$ and all $w\in A_p(\mathbb R^d)$. This "compact version" of Rubio de Francia's celebrated weighted extrapolat… ▽ More Let $T$ be a linear operator that, for some $p_1\in(1,\infty)$, is bounded on $L^{p_1}(\tilde w)$ for all $\tilde w\in A_{p_1}(\mathbb R^d)$ and in addition compact on $L^{p_1}(w_1)$ for some $w_1\in A_{p_1}(\mathbb R^d)$. Then $T$ is bounded and compact on $L^p(w)$ for all $p\in(1,\infty)$ and all $w\in A_p(\mathbb R^d)$. This "compact version" of Rubio de Francia's celebrated weighted extrapolation theorem follows from a combination of results in the interpolation and extrapolation theory of weighted spaces on the one hand, and of compact operators on abstract spaces on the other hand. Moreover, generalizations of this extrapolation of compactness are obtained for operators that are bounded from one space to a different one ("off-diagonal estimates") or only in a limited range of the $L^p$ scale. As applications, we easily recover several recent results on the weighted compactness of commutators of singular integral operators, fractional integrals and pseudo-differential operators, and obtain new results about the weighted compactness of commutators of Bochner-Riesz multipliers. △ Less

Submitted 22 February, 2022; v1 submitted 3 March, 2020; originally announced March 2020.

Comments: V4: 34 pages; final version, incorporated referee comments, to appear in Rev. Mat. Iberoam. (2022)

MSC Class: 47B38 (Primary); 35S05; 42B20; 42B35; 46B70

Iterated commutators under a joint condition on the tuple of multiplying functions

Authors: Tuomas Hytönen, Kangwei Li, Tuomas Oikari

Abstract: We present a pair of joint conditions on the two functions $b_1,b_2$ strictly weaker than $b_1,b_2\in \operatorname{BMO}$ that almost characterize the $L^2$ boundedness of the iterated commutator $[b_2,[b_1,T]]$ of these functions and a Calderón-Zygmund operator $T.$ Namely, we sandwich this boundedness between two bisublinear mean oscillation conditions of which one is a slightly bumped up versio… ▽ More We present a pair of joint conditions on the two functions $b_1,b_2$ strictly weaker than $b_1,b_2\in \operatorname{BMO}$ that almost characterize the $L^2$ boundedness of the iterated commutator $[b_2,[b_1,T]]$ of these functions and a Calderón-Zygmund operator $T.$ Namely, we sandwich this boundedness between two bisublinear mean oscillation conditions of which one is a slightly bumped up version of the other. △ Less

Submitted 4 August, 2020; v1 submitted 1 October, 2019; originally announced October 2019.

Comments: 14 pages, article restructured for improved presentation in accordance with referee comments

MSC Class: 42B20

Journal ref: Proc. Amer. Math. Soc. 148 (2020), 4797-4815

Of commutators and Jacobians

Authors: Tuomas P. Hytönen

Abstract: I discuss the prescribed Jacobian equation $Ju=\det\nabla u=f$ for an unknown vector-function $u$, and the connection of this problem to the boundedness of commutators of multiplication operators with singular integrals in general, and with the Beurling operator in particular. A conjecture of T. Iwaniec regarding the solvability for general datum $f\in L^p(R^d)$ remains open, but recent partial re… ▽ More I discuss the prescribed Jacobian equation $Ju=\det\nabla u=f$ for an unknown vector-function $u$, and the connection of this problem to the boundedness of commutators of multiplication operators with singular integrals in general, and with the Beurling operator in particular. A conjecture of T. Iwaniec regarding the solvability for general datum $f\in L^p(R^d)$ remains open, but recent partial results in this direction will be presented. These are based on a complete characterisation of the $L^p$-to-$L^q$ boundedness of commutators, where the regime of exponents $p>q$, unexplored until recently, plays a key role. These results have been proved in general dimension $d\geq 2$ elsewhere, but I will here present a simplified approach to the important special case $d=2$, using a framework suggested by S. Lindberg. △ Less

Submitted 2 May, 2019; originally announced May 2019.

Comments: Accepted for publication in the proceedings of Geometric Aspects of Harmonic Analysis (GAHA 2018) in honour of Fulvio Ricci

Weighted Estimates for Operator-Valued Fourier Multipliers

Authors: Stephan Fackler, Tuomas P. Hytönen, Nick Lindemulder

Abstract: We establish Littlewood-Paley decompositions for Muckenhoupt weights in the setting of UMD spaces. As a consequence we obtain two-weight variants of the Mikhlin multiplier theorem for operator-valued multipliers. We also show two-weight estimates for multipliers satisfying Hörmander type conditions. We establish Littlewood-Paley decompositions for Muckenhoupt weights in the setting of UMD spaces. As a consequence we obtain two-weight variants of the Mikhlin multiplier theorem for operator-valued multipliers. We also show two-weight estimates for multipliers satisfying Hörmander type conditions. △ Less

Submitted 29 September, 2018; originally announced October 2018.

Comments: 31 pages

MSC Class: 42B15 (Primary) 42B25; 42B20 (Secondary)

Restricted testing for positive operators

Authors: Tuomas P. Hytönen, Kangwei Li, Eric T. Sawyer

Abstract: We prove that for certain positive operators $T$, such as the Hardy-Littlewood maximal function and fractional integrals, there is a constant $D>1$, depending only on the dimension $n$, such that the two weight norm inequality \begin{equation*} \int_{\mathbb{R}^{n}}T\left( fσ\right) ^{2}dω\leq C\int_{\mathbb{ R}^{n}}f^{2}dσ\end{equation*} holds for all $f\geq 0$ if and only if the (fractional)… ▽ More We prove that for certain positive operators $T$, such as the Hardy-Littlewood maximal function and fractional integrals, there is a constant $D>1$, depending only on the dimension $n$, such that the two weight norm inequality \begin{equation*} \int_{\mathbb{R}^{n}}T\left( fσ\right) ^{2}dω\leq C\int_{\mathbb{ R}^{n}}f^{2}dσ\end{equation*} holds for all $f\geq 0$ if and only if the (fractional) $A_{2}$ condition holds, and the restricted testing condition \begin{equation*} \int_{Q}T\left( 1_{Q}σ\right) ^{2}dω\leq C\left\ | Q\right\ |_{σ} \end{equation*} holds for all cubes $Q$ satisfying $\left\ | 2Q\right\ |_{σ}\leq D\left\ | Q\right\ |_{σ}$. If $T$ is linear, we require as well that the dual restricted testing condition \begin{equation*} \int_{Q}T^{\ast }\left( 1_{Q}ω\right) ^{2}dσ\leq C\left\ | Q\right\ |_{ω} \end{equation*} holds for all cubes $Q$ satisfying $\left\ | 2Q\right\ |_{ω}\leq D\left\ | Q\right\ |_{ω}$. △ Less

Submitted 12 September, 2019; v1 submitted 13 September, 2018; originally announced September 2018.

Comments: This version also updates arXiv:1811.11032, 18 pages

The L^p-to-L^q boundedness of commutators with applications to the Jacobian operator

Authors: Tuomas P. Hytönen

Abstract: Supplying the missing necessary conditions, we complete the characterisation of the $L^p\to L^q$ boundedness of commutators $[b,T]$ of pointwise multiplication and Calderón-Zygmund operators, for arbitrary pairs of $1<p,q<\infty$ and under minimal non-degeneracy hypotheses on $T$. For $p\leq q$ (and especially $p=q$), this extends a long line of results under more restrictive assumptions on $T$.… ▽ More Supplying the missing necessary conditions, we complete the characterisation of the $L^p\to L^q$ boundedness of commutators $[b,T]$ of pointwise multiplication and Calderón-Zygmund operators, for arbitrary pairs of $1<p,q<\infty$ and under minimal non-degeneracy hypotheses on $T$. For $p\leq q$ (and especially $p=q$), this extends a long line of results under more restrictive assumptions on $T$. In particular, we answer a recent question of Lerner, Ombrosi, and Rivera-Ríos by showing that $b\in BMO$ is necessary for the $L^p$-boundedness of $[b,T]$ for any non-zero homogeneous singular integral $T$. We also deal with iterated commutators and weighted spaces. For $p>q$, our results are new even for special classical operators with smooth kernels. As an application, we show that every $f\in L^p(R^d)$ can be represented as a convergent series of normalised Jacobians $Ju=\det\nabla u$ of $u\in \dot W^{1,dp}(R^d)^d$. This extends, from $p=1$ to $p>1$, a result of Coifman, Lions, Meyer and Semmes about $J:\dot W^{1,d}(R^d)^d\to H^1(R^d)$, and supports a conjecture of Iwaniec about the solvability of the equation $Ju=f\in L^p(R^d)$. △ Less

Submitted 8 October, 2021; v1 submitted 30 April, 2018; originally announced April 2018.

Comments: V4: 40 pages, final author version to appear in J. Math. Pures Appl. New examples on the non-degeneracy condition and some new references. V3: Minor revision: a couple of new references and short related discussion; numbering scheme changed. V2: Corrected a detail in the proof of Theorem 3.7 on page 22 (random d-th roots of unity are needed here rather than random signs)

MSC Class: 42B20; 42B25; 42B37; 35F20; 47B47

Off-diagonal sharp two-weight estimates for sparse operators

Authors: Stephan Fackler, Tuomas P. Hytönen

Abstract: For a class of sparse operators including majorants of singular integral, square function, and fractional integral operators in a uniform manner, we prove off-diagonal two-weight estimates of mixed type in the two-weight and $A_{\infty}$-characteristics. These bounds are known to be sharp in many cases; as a new result, we prove their sharpness for fractional square functions. For a class of sparse operators including majorants of singular integral, square function, and fractional integral operators in a uniform manner, we prove off-diagonal two-weight estimates of mixed type in the two-weight and $A_{\infty}$-characteristics. These bounds are known to be sharp in many cases; as a new result, we prove their sharpness for fractional square functions. △ Less

Submitted 10 January, 2018; v1 submitted 22 November, 2017; originally announced November 2017.

Comments: 15 pages. V3: Intro revised and references added. Several cases of the main theorem, claimed as new in V1 and V2, were already known, as now explained in the intro. This version is published in NYJM

MSC Class: 42B20 (Primary) 42B25; 47G10; 47G40 (Secondary)

Journal ref: New York Journal of Mathematics New York Journal of Mathematics 24 (2018) 21-42 http://nyjm.albany.edu/j/2018/24-2.html

Multi-parameter estimates via operator-valued shifts

Authors: Tuomas Hytönen, Henri Martikainen, Emil Vuorinen

Abstract: We prove new results for multi-parameter singular integrals. For example, we prove that bi-parameter singular integrals in $\mathbb{R}^{n+m}$ satisfying natural $T1$ type conditions map $L^q(\mathbb{R}^n; L^p(\mathbb{R}^m;E))$ to $L^q(\mathbb{R}^n; L^p(\mathbb{R}^m;E))$ for all $p,q \in (1,\infty)$ and UMD function lattices $E$. This result is shown to hold even in the $\mathcal{R}$-boundedness se… ▽ More We prove new results for multi-parameter singular integrals. For example, we prove that bi-parameter singular integrals in $\mathbb{R}^{n+m}$ satisfying natural $T1$ type conditions map $L^q(\mathbb{R}^n; L^p(\mathbb{R}^m;E))$ to $L^q(\mathbb{R}^n; L^p(\mathbb{R}^m;E))$ for all $p,q \in (1,\infty)$ and UMD function lattices $E$. This result is shown to hold even in the $\mathcal{R}$-boundedness sense for all suitable families of bi-parameter singular integrals. On the technique side we demonstrate how many dyadic multi-parameter operators can be bounded by using, and further developing, the theory of operator-valued dyadic shifts. Even in the scalar-valued case this is an efficient way to bound the various so called partial paraproducts, which are key operators appearing in the multi-parameter representation theorems. Our proofs also entail verifying the $\mathcal{R}$-boundedness of various families of multi-parameter paraproducts. △ Less

Submitted 17 October, 2017; originally announced October 2017.

Comments: 41 pages

MSC Class: 42B20

Journal ref: Proc. Lond. Math. Soc. 119 (6) (2019) 1560-1597

Sparse bounds for maximal rough singular integrals via the Fourier transform

Authors: Francesco Di Plinio, Tuomas P. Hytönen, Kangwei Li

Abstract: We prove that the class of convolution-type kernels satisfying suitable decay conditions of the Fourier transform, appearing in the works of Christ, Christ-Rubio de Francia, and Duoandikoetxea-Rubio de Francia gives rise to maximally truncated singular integrals satisfying a sparse bound by $(1+\varepsilon,1+\varepsilon)$-averages for all $\varepsilon>0$, with linear growth in $\varepsilon^{-1}$.… ▽ More We prove that the class of convolution-type kernels satisfying suitable decay conditions of the Fourier transform, appearing in the works of Christ, Christ-Rubio de Francia, and Duoandikoetxea-Rubio de Francia gives rise to maximally truncated singular integrals satisfying a sparse bound by $(1+\varepsilon,1+\varepsilon)$-averages for all $\varepsilon>0$, with linear growth in $\varepsilon^{-1}$. This is an extension of the sparse domination principle by Conde-Alonso, Culiuc, Ou and the first author to maximally truncated singular integrals. Our results cover the rough homogeneous singular integrals $T_Ω$ on $\mathbb{R}^d$ with bounded angular part $Ω$ having vanishing integral on the $(d-1)$-dimensional sphere. Consequences of our sparse bound include novel quantitative weighted norm estimates as well as Fefferman-Stein type inequalities. In particular, we obtain that the $L^2(w)$ norm of the maximal truncation of $T_Ω$ depends quadratically on the Muckenhoupt constant $[w]_{A_2}$, extending a result originally by Roncal, Tapiola and the second author. A suitable convex-body valued version of the sparse bound is also deduced and employed towards novel matrix weighted norm inequalities for the maximal truncated rough homogeneous singular integrals. Our result is quantitative, but even the qualitative statement is new, and the present approach via sparse domination is the only one currently known for the matrix weighted bounds of this class of operators. △ Less

Submitted 27 June, 2017; originally announced June 2017.

Comments: 24 pages

MSC Class: 42B20 (Primary); 42B25 (Secondary)

The space $JN_p$: nontriviality and duality

Authors: Galia Dafni, Tuomas Hytönen, Riikka Korte, Hong Yue

Abstract: We study a function space $JN_p$ based on a condition introduced by John and Nirenberg as a variant of BMO. It is known that $L^p\subset JN_{p}\subsetneq L^{p,\infty}$, but otherwise the structure of $JN_p$ is largely a mystery. Our first main result is the construction of a function that belongs to $JN_p$ but not $L^p$, showing that the two spaces are not the same. Nevertheless, we prove that for… ▽ More We study a function space $JN_p$ based on a condition introduced by John and Nirenberg as a variant of BMO. It is known that $L^p\subset JN_{p}\subsetneq L^{p,\infty}$, but otherwise the structure of $JN_p$ is largely a mystery. Our first main result is the construction of a function that belongs to $JN_p$ but not $L^p$, showing that the two spaces are not the same. Nevertheless, we prove that for monotone functions, the classes $JN_{p}$ and $L^p$ do coincide. Our second main result describes $JN_p$ as the dual of a new Hardy kind of space $HK_{p'}$. △ Less

Submitted 1 February, 2018; v1 submitted 21 April, 2017; originally announced April 2017.

Comments: corrections, 1 figure added, Section 4 (multidimensional counterexample) is new

MSC Class: 46E30; 42B35

Journal ref: J. Funct. Anal. 275 (2018), no. 3, 577-603

The sharp square function estimate with matrix weight

Authors: Tuomas Hytönen, Stefanie Petermichl, Alexander Volberg

Abstract: We prove the matrix $A_2$ conjecture for the dyadic square function, that is, a norm estimate of the matrix weighted square function, where the focus is on the sharp linear dependence on the matrix $A_2$ constant in the estimate. Moreover, we give a mixed estimate in terms of $A_2$ and $A_{\infty}$ constants. Key is a sparse domination of a process inspired by the integrated form of the matrix--we… ▽ More We prove the matrix $A_2$ conjecture for the dyadic square function, that is, a norm estimate of the matrix weighted square function, where the focus is on the sharp linear dependence on the matrix $A_2$ constant in the estimate. Moreover, we give a mixed estimate in terms of $A_2$ and $A_{\infty}$ constants. Key is a sparse domination of a process inspired by the integrated form of the matrix--weighted square function. △ Less

Submitted 30 March, 2019; v1 submitted 15 February, 2017; originally announced February 2017.

Comments: Published Version

Journal ref: Discrete Analysis 2019

Vector-valued local approximation spaces

Authors: Tuomas Hytönen, Jori Merikoski

Abstract: We prove that for every Banach space $Y$, the Besov spaces of functions from the $n$-dimensional Euclidean space to $Y$ agree with suitable local approximation spaces with equivalent norms. In addition, we prove that the Sobolev spaces of type $q$ are continuously embedded in the Besov spaces of the same type if and only if $Y$ has martingale cotype $q$. We interpret this as an extension of earlie… ▽ More We prove that for every Banach space $Y$, the Besov spaces of functions from the $n$-dimensional Euclidean space to $Y$ agree with suitable local approximation spaces with equivalent norms. In addition, we prove that the Sobolev spaces of type $q$ are continuously embedded in the Besov spaces of the same type if and only if $Y$ has martingale cotype $q$. We interpret this as an extension of earlier results of Xu (1998), and Martínez, Torrea and Xu (2006). These two results combined give the characterization that $Y$ admits an equivalent norm with modulus of convexity of power type $q$ if and only if weakly differentiable functions have good local approximations with polynomials. △ Less

Submitted 14 December, 2017; v1 submitted 30 December, 2016; originally announced December 2016.

Comments: To appear in Journal of Fourier Analysis and Applications. Typos corrected, some notations modified, and Remark 5 added at the end of the paper

Journal ref: J. Fourier Anal. Appl. 25 (2019), no. 2, 299-320

Dyadic representation and boundedness of non-homogeneous Calderón--Zygmund operators with mild kernel regularity

Authors: Ana Grau de la Herrán, Tuomas Hytönen

Abstract: We prove a new dyadic representation theorem with applications to the $T(1)$ and $A_2$ theorems. In particular, we obtain the non-homogeneous $T(1)$ theorem under weaker kernel regularity than the earlier approaches. We prove a new dyadic representation theorem with applications to the $T(1)$ and $A_2$ theorems. In particular, we obtain the non-homogeneous $T(1)$ theorem under weaker kernel regularity than the earlier approaches. △ Less

Submitted 15 December, 2016; originally announced December 2016.

Comments: 30 pages

A Two-weight inequality between $L^p(\ell^2)$ and $L^p$

Authors: Tuomas Hytönen, Emil Vuorinen

Abstract: We consider boundedness of a certain positive dyadic operator $$ T^σ\colon L^p(σ; \ \! \ell^2) \to L^p(ω), $$ that arose during our attempts to develop a two-weight theory for the Hilbert transform in $L^p$. Boundedness of $T^σ$ is characterized when $p \in [2, \infty)$ in terms of certain testing conditions. This requires a new Carleson-type embedding theorem that is also proved. We consider boundedness of a certain positive dyadic operator $$ T^σ\colon L^p(σ; \ \! \ell^2) \to L^p(ω), $$ that arose during our attempts to develop a two-weight theory for the Hilbert transform in $L^p$. Boundedness of $T^σ$ is characterized when $p \in [2, \infty)$ in terms of certain testing conditions. This requires a new Carleson-type embedding theorem that is also proved. △ Less

Submitted 1 November, 2018; v1 submitted 25 August, 2016; originally announced August 2016.

Comments: 18 pages. v2: Incorporates referees comments. Added more discussion concerning the conjecture about the two-weight inequality of the Hilbert transform between $L^p$ spaces

MSC Class: 42B20

Journal ref: Mathematika 64 (2018) 284-302

Heat flow and quantitative differentiation

Authors: Tuomas Hytönen, Assaf Naor

Abstract: For every Banach space $(Y,\|\cdot\|_Y)$ that admits an equivalent uniformly convex norm we prove that there exists $c=c(Y)\in (0,\infty)$ with the following property. Suppose that $n\in \mathbb{N}$ and that $X$ is an $n$-dimensional normed space with unit ball $B_X$. Then for every $1$-Lipschitz function $f:B_X\to Y$ and for every $\varepsilon\in (0,1/2]$ there exists a radius… ▽ More For every Banach space $(Y,\|\cdot\|_Y)$ that admits an equivalent uniformly convex norm we prove that there exists $c=c(Y)\in (0,\infty)$ with the following property. Suppose that $n\in \mathbb{N}$ and that $X$ is an $n$-dimensional normed space with unit ball $B_X$. Then for every $1$-Lipschitz function $f:B_X\to Y$ and for every $\varepsilon\in (0,1/2]$ there exists a radius $r\ge\exp(-1/\varepsilon^{cn})$, a point $x\in B_X$ with $x+rB_X\subset B_X$, and an affine mapping $Λ:X\to Y$ such that $\|f(y)-Λ(y)\|_Y\le \varepsilon r$ for every $y\in x+rB_X$. △ Less

Submitted 5 August, 2016; originally announced August 2016.

The Holmes--Wick theorem on two-weight bounds for higher order commutators revisited

Authors: Tuomas P. Hytönen

Abstract: A sufficient condition for the two-weight boundedness of higher order commutators was recently obtained by Holmes and Wick in terms of an intersection of two BMO spaces. We provide an alternative proof, showing that the higher order case can be deduced by a classical Cauchy integral argument from the corresponding first order result of Holmes, Lacey and Wick. A sufficient condition for the two-weight boundedness of higher order commutators was recently obtained by Holmes and Wick in terms of an intersection of two BMO spaces. We provide an alternative proof, showing that the higher order case can be deduced by a classical Cauchy integral argument from the corresponding first order result of Holmes, Lacey and Wick. △ Less

Submitted 8 April, 2016; originally announced April 2016.

Comments: 5 pages

MSC Class: 42B20; 42B35

Quantitative weighted estimates for rough homogeneous singular integrals

Authors: Tuomas P. Hytönen, L. Roncal, Olli Tapiola

Abstract: We consider homogeneous singular kernels, whose angular part is bounded, but need not have any continuity. For the norm of the corresponding singular integral operators on the weighted space $L^2(w)$, we obtain a bound that is quadratic in the $A_2$ constant $[w]_{A_2}$. We do not know if this is sharp, but it is the best known quantitative result for this class of operators. The proof relies on a… ▽ More We consider homogeneous singular kernels, whose angular part is bounded, but need not have any continuity. For the norm of the corresponding singular integral operators on the weighted space $L^2(w)$, we obtain a bound that is quadratic in the $A_2$ constant $[w]_{A_2}$. We do not know if this is sharp, but it is the best known quantitative result for this class of operators. The proof relies on a classical decomposition of these operators into smooth pieces, for which we use a quantitative elaboration of Lacey's dyadic decomposition of Dini-continuous operators: the dependence of constants on the Dini norm of the kernels is crucial to control the summability of the series expansion of the rough operator. We conclude with applications and conjectures related to weighted bounds for powers of the Beurling transform. △ Less

Submitted 20 October, 2015; originally announced October 2015.

Comments: 23 pages

Quantitative affine approximation for UMD targets

Authors: Tuomas Hytönen, Sean Li, Assaf Naor

Abstract: It is shown here that if $(Y,\|\cdot\|_Y)$ is a Banach space in which martingale differences are unconditional (a UMD Banach space) then there exists $c=c(Y)\in (0,\infty)$ with the following property. For every $n\in \mathbb{N}$ and $\varepsilon\in (0,1/2]$, if $(X,\|\cdot\|_X)$ is an $n$-dimensional normed space with unit ball $B_X$ and $f:B_X\to Y$ is a $1$-Lipschitz function then there exists… ▽ More It is shown here that if $(Y,\|\cdot\|_Y)$ is a Banach space in which martingale differences are unconditional (a UMD Banach space) then there exists $c=c(Y)\in (0,\infty)$ with the following property. For every $n\in \mathbb{N}$ and $\varepsilon\in (0,1/2]$, if $(X,\|\cdot\|_X)$ is an $n$-dimensional normed space with unit ball $B_X$ and $f:B_X\to Y$ is a $1$-Lipschitz function then there exists an affine mapping $Λ:X\to Y$ and a sub-ball $B^*=y+ρB_X\subseteq B_X$ of radius $ρ\ge \exp(-(1/\varepsilon)^{cn})$ such that $\|f(x)-Λ(x)\|_Y\le \varepsilon ρ$ for all $x\in B^*$. This estimate on the macroscopic scale of affine approximability of vector-valued Lipschitz functions is an asymptotic improvement (as $n\to \infty$) over the best previously known bound even when $X$ is $\mathbb{R}^n$ equipped with the Euclidean norm and $Y$ is a Hilbert space. △ Less

Submitted 17 January, 2017; v1 submitted 1 October, 2015; originally announced October 2015.

Comments: This new version of the article has been reformatted using the Discrete Analysis style, but is otherwise identical to the previous version

Weak and strong $A_p$-$A_\infty$ estimates for square functions and related operators

Authors: Tuomas P. Hytönen, Kangwei Li

Abstract: We prove sharp weak and strong type weighted estimates for a class of dyadic operators that includes majorants of both standard singular integrals and square functions. Our main new result is the optimal bound $[w]_{A_p}^{1/p}[w]_{A_\infty}^{1/2-1/p}\lesssim [w]_{A_p}^{1/2}$ for the weak type norm of square functions on $L^p(w)$ for $p>2$; previously, such a bound was only known with a logarithmic… ▽ More We prove sharp weak and strong type weighted estimates for a class of dyadic operators that includes majorants of both standard singular integrals and square functions. Our main new result is the optimal bound $[w]_{A_p}^{1/p}[w]_{A_\infty}^{1/2-1/p}\lesssim [w]_{A_p}^{1/2}$ for the weak type norm of square functions on $L^p(w)$ for $p>2$; previously, such a bound was only known with a logarithmic correction. By the same approach, we also recover several related results in a streamlined manner. △ Less

Submitted 27 July, 2017; v1 submitted 1 September, 2015; originally announced September 2015.

Comments: 12 pages, typos corrected. Accepted for publication in Proc. Amer. Math. Soc

Journal ref: Proc. Amer. Math. Soc., 146(2018), 2497--2507

Addendum to : Orthonormal bases of regular wavelets in spaces of homogeneous type

Authors: Pascal Auscher, Tuomas Hytönen

Abstract: We bring a precision to our cited work concerning the notion of "Borel measures", as the choice among different existing definitions impacts on the validity of the results. We bring a precision to our cited work concerning the notion of "Borel measures", as the choice among different existing definitions impacts on the validity of the results. △ Less

Submitted 26 January, 2015; originally announced March 2015.

Comments: 1 page. we make a precision on the density lemma in arXiv:1110.5766. This reference had been published in ACHA

MSC Class: 42C40; 41A15; 30Lxx; 42B25

The $L(\log L)^ε$ endpoint estimate for maximal singular integral operators

Authors: Tuomas Hytönen, Carlos Pérez

Abstract: We prove in this paper the following estimate for the maximal operator $T^*$ associated to the singular integral operator $T$: $ \|T^*f\|_{L^{1,\infty}(w)} \lesssim \frac{1}ε \int_{\mathbb{R}^n} |f(x)| M_{L(\log L)^ε} (w)(x)dx$, for $w\geq 0, 0<ε\leq 1.$ This follows from the sharp $L^p$ estimate $ \|T^*f \|_{ L^{p}(w) } \lesssim p' (\frac{1}δ)^{1/p'} \|f \|_{L^{p}(M_{ L(\log L)^{p-1+δ}} (w))}$,… ▽ More We prove in this paper the following estimate for the maximal operator $T^*$ associated to the singular integral operator $T$: $ \|T^*f\|_{L^{1,\infty}(w)} \lesssim \frac{1}ε \int_{\mathbb{R}^n} |f(x)| M_{L(\log L)^ε} (w)(x)dx$, for $w\geq 0, 0<ε\leq 1.$ This follows from the sharp $L^p$ estimate $ \|T^*f \|_{ L^{p}(w) } \lesssim p' (\frac{1}δ)^{1/p'} \|f \|_{L^{p}(M_{ L(\log L)^{p-1+δ}} (w))}$, for $1<p<\infty, w\geq 0, 0<δ\leq 1. $ As as a consequence we deduce that $ \|T^*f\|_{L^{1,\infty}(w)} \lesssim [w]_{A_{1}} \log(e+ [w]_{A_{\infty}}) \int_{\mathbb{R}^n} |f| w dx, $ extending the endpoint results obtained in [LOP] and [HP] to maximal singular integrals. Another consequence is a quantitative two weight bump estimate. △ Less

Submitted 13 March, 2015; originally announced March 2015.

Comments: 21 pages, final version, accepted for publication in J. Math. Anal. Appl

MSC Class: 42B20; 42B25; 46E30

Two-weight $L^p$-$L^q$ bounds for positive dyadic operators: unified approach to $p\leq q$ and $p>q$

Authors: Timo S. Hänninen, Tuomas P. Hytönen, Kangwei Li

Abstract: We characterize the $L^p(σ)\to L^q(ω)$ boundedness of positive dyadic operators of the form $ T(fσ)=\sum_{Q\in\mathscr{D}}λ_Q\int_Q f\,\mathrm{d}σ\cdot 1_Q, $ and the $L^{p_1}(σ_1)\times L^{p_2}(σ_2)\to L^q(ω)$ boundedness of their bilinear analogues, for arbitrary locally finite measures $σ,σ_1,σ_2,ω$. In the linear case, we unify the existing "Sawyer testing" (for $p\leq q$) and "Wolff potenti… ▽ More We characterize the $L^p(σ)\to L^q(ω)$ boundedness of positive dyadic operators of the form $ T(fσ)=\sum_{Q\in\mathscr{D}}λ_Q\int_Q f\,\mathrm{d}σ\cdot 1_Q, $ and the $L^{p_1}(σ_1)\times L^{p_2}(σ_2)\to L^q(ω)$ boundedness of their bilinear analogues, for arbitrary locally finite measures $σ,σ_1,σ_2,ω$. In the linear case, we unify the existing "Sawyer testing" (for $p\leq q$) and "Wolff potential" (for $p>q$) characterizations into a new "sequential testing" characterization valid in all cases. We extend these ideas to the bilinear case, obtaining both sequential testing and potential type characterizations for the bilinear operator and all $p_1,p_2,q\in(1,\infty)$. Our characterization covers the previously unknown case $q<\frac{p_1p_2}{p_1+p_2}$, where we introduce a new two-measure Wolff potential. △ Less

Submitted 8 December, 2014; originally announced December 2014.

Comments: 27 pages

MSC Class: 42B25; 47G40

Journal ref: Potential Anal. 45 (2016), no. 3, 579-608

Operator-valued dyadic shifts and the T(1) theorem

Authors: Timo S. Hänninen, Tuomas P. Hytönen

Abstract: In this paper we extend dyadic shifts and the dyadic representation theorem to an operator-valued setting: We first define operator-valued dyadic shifts and prove that they are bounded. We then extend the dyadic representation theorem, which states that every scalar-valued Calderón-Zygmund operator can be represented as a series of dyadic shifts and paraproducts averaged over randomized dyadic sys… ▽ More In this paper we extend dyadic shifts and the dyadic representation theorem to an operator-valued setting: We first define operator-valued dyadic shifts and prove that they are bounded. We then extend the dyadic representation theorem, which states that every scalar-valued Calderón-Zygmund operator can be represented as a series of dyadic shifts and paraproducts averaged over randomized dyadic systems, to operator-valued Calderón-Zygmund operators. As a corollary, we obtain another proof of the operator-valued, global T(1) theorem. We work in the setting of integral operators that have R-bounded operator-valued kernels and act on functions taking values in UMD-spaces. The domain of the functions is the Euclidean space equipped with the Lebesgue measure. In addition, we give new proofs for the following known theorems: Boundedness of the dyadic (operator-valued) paraproduct, a variant of Pythagoras' theorem for (vector-valued) functions adapted to a sparse collection of dyadic cubes, and a decoupling inequality for (UMD-valued) martingale differences. △ Less

Submitted 1 December, 2014; originally announced December 2014.

Comments: 29 pages, 1 figure

MSC Class: 42B20 (Primary); 46E40 (Secondary)

Journal ref: Monatsh. Math. 180 (2016), no. 2, 213-253

Weak A_\infty weights and weak Reverse Hölder property in a space of homogeneous type

Authors: Theresa C. Anderson, Tuomas Hytönen, Olli Tapiola

Abstract: In the Euclidean setting, the Fujii-Wilson-type $A_\infty$ weights satisfy a Reverse Hölder Inequality (RHI) but in spaces of homogeneous type the best known result has been that $A_\infty$ weights satisfy only a weak Reverse Hölder Inequality. In this paper, we compliment the results of Hytönen, Pérez and Rela and show that there exist both $A_\infty$ weights that do not satisfy an RHI and a genu… ▽ More In the Euclidean setting, the Fujii-Wilson-type $A_\infty$ weights satisfy a Reverse Hölder Inequality (RHI) but in spaces of homogeneous type the best known result has been that $A_\infty$ weights satisfy only a weak Reverse Hölder Inequality. In this paper, we compliment the results of Hytönen, Pérez and Rela and show that there exist both $A_\infty$ weights that do not satisfy an RHI and a genuinely weaker weight class that still satisfies a weak RHI. We also show that all the weights that satisfy a weak RHI have a self-improving property but the self-improving property of the strong Reverse Hölder weights fails in a general space of homogeneous type. We prove most of these purely non-dyadic results using convenient dyadic systems and techniques. △ Less

Submitted 7 December, 2015; v1 submitted 14 October, 2014; originally announced October 2014.

Comments: 17 pages. v2: introduction updated, Section 8 and some references added, some typos fixed

MSC Class: 30L99; 42B25

Bounds for partial derivatives: necessity of UMD and sharp constants

Authors: Alejandro J. Castro, Tuomas P. Hytönen

Abstract: We prove the necessity of the UMD condition, with a quantitative estimate of the UMD constant, for any inequality in a family of $L^p$ bounds between different partial derivatives $\partial^βu$ of $u\in C^\infty_c(\mathbb{R}^n,X)$. In particular, we show that the estimate $\|u_{xy}\|_p\leq K(\|u_{xx}\|_p+\|u_{yy}\|_p)$ characterizes the UMD property, and the best constant $K$ is equal to one half… ▽ More We prove the necessity of the UMD condition, with a quantitative estimate of the UMD constant, for any inequality in a family of $L^p$ bounds between different partial derivatives $\partial^βu$ of $u\in C^\infty_c(\mathbb{R}^n,X)$. In particular, we show that the estimate $\|u_{xy}\|_p\leq K(\|u_{xx}\|_p+\|u_{yy}\|_p)$ characterizes the UMD property, and the best constant $K$ is equal to one half of the UMD constant. This precise value of $K$ seems to be new even for scalar-valued functions. △ Less

Submitted 16 September, 2015; v1 submitted 11 June, 2014; originally announced June 2014.

Comments: v2: corrected typo in the references

MSC Class: 35A23; 42B15; 60G46

Journal ref: Math. Z. 282 (2016), 635-650

Bounded variation approximation of L_p dyadic martingales and solutions to elliptic equations

Authors: Tuomas Hytönen, Andreas Rosén

Abstract: We prove continuity and surjectivity of the trace map onto $L_p$, from a space of functions of locally bounded variation, defined by the Carleson functional. The extension map is constructed through a stopping time argument. This extends earlier work by Varopoulos in the BMO case, related to the Corona theorem. We also prove $L_p$ Carleson approximability results for solutions to elliptic non-smoo… ▽ More We prove continuity and surjectivity of the trace map onto $L_p$, from a space of functions of locally bounded variation, defined by the Carleson functional. The extension map is constructed through a stopping time argument. This extends earlier work by Varopoulos in the BMO case, related to the Corona theorem. We also prove $L_p$ Carleson approximability results for solutions to elliptic non-smooth divergence form equations, which generalize results in the case $p=\infty$ by Hofmann, Kenig, Mayboroda and Pipher. △ Less

Submitted 21 June, 2016; v1 submitted 9 May, 2014; originally announced May 2014.

Comments: This is an extended version of an earlier arXiv preprint (not to be published) "Approximate and exact extensions of Lebesgue boundary functions", which also includes Lp epsilon-approximability results for divergence form elliptic equations. To this third version we have also added a section on applications to estimates of harmonic measure

The two-weight inequality for the Hilbert transform with general measures

Authors: Tuomas P. Hytönen

Abstract: The two-weight inequality for the Hilbert transform is characterized for an arbitrary pair of positive Radon measures $σ$ and $w$ on $\mathbb R$. In particular, the possibility of common point masses is allowed, lifting a restriction from the recent solution of the two-weight problem by Lacey, Sawyer, Shen and Uriarte-Tuero. Our characterization is in terms of Sawyer-type testing conditions and a… ▽ More The two-weight inequality for the Hilbert transform is characterized for an arbitrary pair of positive Radon measures $σ$ and $w$ on $\mathbb R$. In particular, the possibility of common point masses is allowed, lifting a restriction from the recent solution of the two-weight problem by Lacey, Sawyer, Shen and Uriarte-Tuero. Our characterization is in terms of Sawyer-type testing conditions and a variant of the two-weight $A_2$ condition, where $σ$ and $w$ are integrated over complementary intervals only. A key novely of the proof is a two-weight inequality for the Poisson integral with `holes'. △ Less

Submitted 18 November, 2019; v1 submitted 3 December, 2013; originally announced December 2013.

Comments: The last version of the article submitted to the publisher (but without journal style file)

MSC Class: 42B20; 42B25

Journal ref: Proc. Lond. Math. Soc. (3) 117 (2018), no. 3, 483-526

Almost Lipschitz-continuous wavelets in metric spaces via a new randomization of dyadic cubes

Authors: Tuomas Hytönen, Olli Tapiola

Abstract: In any quasi-metric space of homogeneous type, Auscher and Hytönen recently gave a construction of orthonormal wavelets with Hölder-continuity exponent $η>0$. However, even in a metric space, their exponent is in general quite small. In this paper, we show that the Hölder-exponent can be taken arbitrarily close to 1 in a metric space. We do so by revisiting and improving the underlying constructio… ▽ More In any quasi-metric space of homogeneous type, Auscher and Hytönen recently gave a construction of orthonormal wavelets with Hölder-continuity exponent $η>0$. However, even in a metric space, their exponent is in general quite small. In this paper, we show that the Hölder-exponent can be taken arbitrarily close to 1 in a metric space. We do so by revisiting and improving the underlying construction of random dyadic cubes, which also has other applications. △ Less

Submitted 8 October, 2013; originally announced October 2013.

MSC Class: 30L99; 42C40; 41A15; 60D05

Journal ref: J. Approx. Theory 185 (2014), 12-30