arXiv subjects

Michael T. Lacey

Publications and source records attributed to Michael T. Lacey.

At least 55 records · Page 3Linked to original sources

arXiv2013

Local $Tb$ theorem with $L^2$ testing conditions and general measures: Calderón-Zygmund operators

Local $Tb$ theorems with $L^p$ type testing conditions, which are not scale invariant, have been studied widely in the case of the Lebesgue measure. Until very recently, local $Tb$ theorems in the non-homogeneous case had only been proved assuming scale invariant ($L^{\infty}$ or BMO) testing conditions. The combination of non-scale-invariance and general measures is a delicate issue. In a previous paper we overcame this obstacle in the model case of square functions defined using general measures. In this paper we finally tackle the very demanding case of Calderón-Zygmund operators. That is, we prove a non-homogeneous local $Tb$ theorem with $L^2$ type testing conditions for all Calderón-Zygmund operators. In doing so we prove general twisted martingale transform inequalities which turn out to be subtle in our general framework.

math.CA↗

arXiv2013

A variation norm Carleson theorem for vector-valued Walsh-Fourier series

We prove a variation norm Carleson theorem for Walsh-Fourier series of functions with values in a UMD Banach space. Our only hypothesis on the Banach space is that it has finite tile-type, a notion introduced by Hytönen and Lacey. Given q \geq 2 we show that, if the space X has tile-type t for all t>q, then the r-variation of the Walsh-Fourier sums of any function f \in L^p ([0,1) ; X) belongs to L^p, whenever q q. For intermediate spaces, i.e. spaces X= [Y,H]_s which are complex interpolation spaces between some UMD space Y and a Hilbert space H, the tile-type is q=2/s. We show that in this case the variation norm Carleson theorem remains true for all r > q in the larger range p > (2r/q)'.

math.CA↗

arXiv2013

On the Local $Tb$ Theorem: A Direct Proof under Duality Assumption

We give a direct proof of the local $Tb$ Theorem, in the Euclidean setting, and under the assumption of dual exponents. This Theorem provides a flexible framework for proving the boundedness of a Calderón-Zygmund operator, supposing the existence of systems of local accretive functions. We assume that the integrability exponents on these systems of functions are of the form $1/p+1/q\le 1$, and provide a direct proof. The principal point of interest is in the use of random grids and the corresponding construction of the corona. We also utilize certain twisted martingale transform inequalities.

math.CA↗

arXiv2013

Local Tb theorem with L2 testing conditions and general measures: Square functions

Local Tb theorems with Lp type testing conditions, which are not scale invariant, have been studied widely in the case of the Lebesgue measure. In the non-homogeneous world local Tb theorems have only been proved assuming scale invariant ($L^{\infty}$ or BMO) testing conditions. In this paper, for the first time, we overcome these obstacles in the non-homogeneous world, and prove a non-homogeneous local Tb theorem with L2 type testing conditions. This paper is in the setting of the vertical and conical square functions defined using general measures and kernels. The proof uses various recent innovations including a Whitney averaging formula and the insertion of a Calderon-Zygmund stopping data of a fixed function in to the construction of the twisted martingale difference operators.

math.CA↗

arXiv2013

Non-Homogeneous Local $T1$ Theorem: Dual Exponents

We provide an alternative proof of a (local) T1 theorem for dual exponents in the non-homogeneous setting of upper doubling measures. This previously known theorem provides necessary and sufficient conditions for the L^p-boundedness of Calderón-Zygmund operators in the described setting, and the novelty lies in the method of proof.

math.CA↗

arXiv2012

The Vector Valued Quartile Operator

Certain vector-valued inequalities are shown to hold for a Walsh analog of the bilinear Hilbert transform. These extensions are phrased in terms of a recent notion of quartile type of a UMD (Unconditional Martingale Differences) Banach space X. Every known UMD Banach space has finite quartile type, and it was recently shown that the Walsh analog of Carleson's Theorem holds under a closely related assumption of finite tile type. For a Walsh model of the bilinear Hilbert transform however, the quartile type should be sufficiently close to that of a Hilbert space for our results to hold. A full set of inequalities is quantified in terms of quartile type.

math.CA↗

arXiv2012

The Perfect Local $ Tb$ Theorem and Twisted Martingale Transforms

A local Tb Theorem provides a flexible framework for proving the boundedness of a Calderón-Zygmund operator T. One needs only boundedness of the operator T on systems of locally pseudo-accretive functions \{b_Q\}, indexed by cubes. We give a new proof of this Theorem in the setting of perfect (dyadic) models of Calderón-Zygmund operators, imposing integrability conditions on the b_Q functions that are the weakest possible. The proof is a simple direct argument, based upon a new inequality for transforms of so-called twisted martingale differences.

math.CA↗

arXiv2012

Pointwise convergence of vector-valued Fourier series

We prove a vector-valued version of Carleson's theorem: Let Y=[X,H]_t be a complex interpolation space between a UMD space X and a Hilbert space H. For p\in(1,\infty) and f\in L^p(T;Y), the partial sums of the Fourier series of f converge to f pointwise almost everywhere. Apparently, all known examples of UMD spaces are of this intermediate form Y=[X,H]_t. In particular, we answer affirmatively a question of Rubio de Francia on the pointwise convergence of Fourier series of Schatten class valued functions.

math.FA↗

arXiv2012

Weighted bounds for variational Walsh-Fourier series

For 1<p<infty, and weight w in A_p, and function f in L^p(w), we show that the r-variation of the Walsh-Fourier sums are finite, for r sufficiently large as function of w. (That r is a function of w is necessary.) This strengthens a result of Hunt-Young and is a weighted extension of a variation norm Carleson theorem of Oberlin-Seeger-Tao-Thiele-Wright. The proof uses phase plane analysis and a weighted extension of a variational inequality of Lepingle.

math.CA↗

arXiv2012

Non-probabilistic proof of the A_2 theorem, and sharp weighted bounds for the q-variation of singular integrals

Any Calderon-Zygmund operator T is pointwise dominated by a convergent sum of positive dyadic operators. We give an elementary self-contained proof of this fact, which is simpler than the probabilistic arguments used for all previous results in this direction. Our argument also applies to the q-variation of certain Calderon-Zygmund operators, a stronger nonlinearity than the maximal truncations. As an application, we obtain new sharp weighted inequalities.

math.CA↗

arXiv2012

Pointwise convergence of Walsh--Fourier series of vector-valued functions

We prove a version of Carleson's Theorem in the Walsh model for vector-valued functions: For $1<p< \infty$, and a UMD space $Y$, the Walsh-Fourier series of $f \in L ^{p}(0,1;Y)$ converges pointwise, provided that $Y$ is a complex interpolation space $Y=[X,H]_θ$ between another UMD space $X$ and a Hilbert space $H$, for some $θ\in(0,1)$. Apparently, all known examples of UMD spaces satisfy this condition.

math.CA↗

arXiv2011

The Two Weight Inequality for Hilbert Transform, Coronas, and Energy Conditions

We consider the two weight problem for the Hilbert transform, namely the question of finding real-variable characterization of those pair of weights for which the Hilbert transform acts boundedly on $ L ^2 $ of the weights. Such a characterization is known subject to certain side conditions. We give a new proof, simpler in many details, of the best such result. In addition, we analyze underlying assumptions in the proof, especially in terms of two alternate side conditions. A new characterization in the case of one doubling weight is given.

math.CA↗

arXiv2011

On the Convergence of Lacunary Walsh-Fourier Series

We study the Walsh-Fourier series of S_{n_j}f, along a lacunary subsequence of integers {n_j}. Under a suitable integrability condition, we show that the sequence converges to f a.e. Integral condition is only slightly larger than what the sharp integrability condition would be, by a result of Konyagin. The condition is: f is in L loglog L (logloglog L). The method of proof uses four ingredients, (1) analysis on the Walsh Phase Plane, (2) the new multi-frequency Calderon-Zygmund Decomposition of Nazarov-Oberlin-Thiele, (3) a classical inequality of Zygmund, giving an improvement in the Hausdorff-Young inequality for lacunary subsequences of integers, and (4) the extrapolation method of Carro-Martin, which generalizes the work of Antonov and Arias-de-Reyna.

math.CA↗

arXiv2011

On the A_2 inequality for Calderon-Zygmund Operators

We prove that for a Calderon-Zygmund operator and weight w\in A_2, that it satisfies the linear in A2 bound due to Hytonen. Our proof will appeal to a distributional inequality used by several authors, adapted Haar functions, and standard stopping times.

math.CA↗

arXiv2011

The A_p-A_infty inequality for general Calderon--Zygmund operators

Let T be an arbitrary L^2 bounded Calderon--Zygmund operator, and T_# its maximal truncated version. Then T_# satisfies the following bound for all 1<p<\infty and all weights w\in A_p: \|T_# \|_{L^p(w)} << [w]_{A_p}^{1/p} {[w]_{A_infty}^{1/p'}+[w^{1-p'}]_{A_infty}^{1/p}}.

math.CA↗

arXiv2011

Weak and Strong-type estimates for Haar Shift Operators: Sharp power on the $A_p$ characteristic

As a corollary to our main result we deduce sharp A_p$ inequalities for T being either the Hilbert transform in dimension d=1, the Beurling transform in dimension d=2, or a Riesz transform in any dimension d\ge 2. For T_{\ast} the maximal truncations of these operators, we prove the sharp A_p weighted weak and strong-type L ^{p} (w) inequalities, for all 1<p<\infty. Key elements of the proof are (1) extrapolation (2) a recent argument for the A_2 bound in the untruncated case, an argument of Lacey-Petermichl-Reguera. (3) a weak-L^1 estimate for duals of maximal truncations. And (4) recent characterizations of the two-weight inequalities for strong and weak type inequalities, due to Lacey-Sawyer-Uriate-Tuero.

math.CA↗

arXiv2011

Two Weight Inequalities for Maximal Truncations of Dyadic Calderón-Zygmund Operators

We consider L^p two weight inequalities for maximal truncations of dyadic Calderon-Zygmund operators. In the case of one weight being doubling, a characterization is given, and for the general case, sufficient conditions are given, including standard and non-standard testing conditions. The arguments of this paper parallel the authors prior work arXiv:0805.4711, but in this paper are much easier.

math.CA↗

arXiv2011

Weak and Strong type $ A_p$ Estimates for Calderón-Zygmund Operators

For a Calderon-Zygmund operator T on d-dimensional space, that has a sufficiently smooth kernel, we prove that for any 1< p \le 2, and weight w in A_p, that the maximal truncations T_* of T map L^p(w) to weak-L^p(w), with norm bounded by the A_p characteristic of w to the first power. This result combined with the (deep) recent result of Perez-Treil-Volberg, shows that the strong-type of T on L^2(w) is bounded by A_2 characteristic of w to the first power. (It is well-known that L^2 is the critical case for the strong type estimate.) Both results are sharp, aside from the number of derivatives imposed on the kernel of the operator. The proof uses the full structure theory of Calderon-Zygmund Operators, reduction to testing conditions, and a Corona argument.

math.CA↗