Showing 1–37 of 37 results for author: Petermichl, S

The matrix $A_2$ conjecture fails, i.e. $3/2>1$

Authors: Komla Domelevo, Stefanie Petermichl, Sergei Treil, Alexander Volberg

Abstract: We show that the famous matrix $A_2$ conjecture is false: the norm of the Hilbert Transform in the space $L^2(W)$ with matrix weight $W$ is estimated below by $C[W]_{{A}_2}^{3/2}$. We show that the famous matrix $A_2$ conjecture is false: the norm of the Hilbert Transform in the space $L^2(W)$ with matrix weight $W$ is estimated below by $C[W]_{{A}_2}^{3/2}$. △ Less

Submitted 10 February, 2024; originally announced February 2024.

Comments: 46 pages, 5 figures

MSC Class: 42B20; 42B35; 47A30

The dyadic Riesz vector II

Authors: Komla Domelevo, Stefanie Petermichl

Abstract: We derive a dyadic model operator for the Riesz vector. We show linear upper $L^p$ bounds for $1 < p < \infty$ between this model operator and the Riesz vector, when applied to functions with values in Banach spaces. By an upper bound we mean that the boundedness of the dyadic Riesz vector implies the boundedness of the Riesz vector. The same holds for single dyadic Riesz transforms and their cont… ▽ More We derive a dyadic model operator for the Riesz vector. We show linear upper $L^p$ bounds for $1 < p < \infty$ between this model operator and the Riesz vector, when applied to functions with values in Banach spaces. By an upper bound we mean that the boundedness of the dyadic Riesz vector implies the boundedness of the Riesz vector. The same holds for single dyadic Riesz transforms and their continuous counterparts. The linear dependence is with constant one. △ Less

Submitted 6 September, 2023; originally announced September 2023.

Comments: This is part II of II

MSC Class: 46B20 (Primary) 60G42; 60G44; 65C30 (Secondary)

The dyadic Riesz vector I

Authors: Komla Domelevo, Stefanie Petermichl

Abstract: We derive a dyadic model operator for the Riesz vector. We show linear lower $L^p$ bounds for $1 < p < \infty$ between this model operator and the Riesz vector, when applied to functions with values in Banach spaces. By a lower bound we mean that the boundedness of the Riesz vector implies the boundedness of the dydic Riesz vector. We derive a dyadic model operator for the Riesz vector. We show linear lower $L^p$ bounds for $1 < p < \infty$ between this model operator and the Riesz vector, when applied to functions with values in Banach spaces. By a lower bound we mean that the boundedness of the Riesz vector implies the boundedness of the dydic Riesz vector. △ Less

Submitted 6 September, 2023; originally announced September 2023.

Comments: This is part I of II

MSC Class: 46B20 (Primary) 60G42; 60G44; 65C30 (Secondary)

The dyadic and the continuous Hilbert transforms with values in Banach spaces. Part2

Authors: Komla Domelevo, Stefanie Petermichl

Abstract: We show that if the dyadic Hilbert transform with values in a Banach space is $L^p$ bounded, then so is the Hilbert transform, with a linear relation of the bounds. This result is the counterpart of [arXiv:2212.00090] where the opposite bound was proven. We show that if the dyadic Hilbert transform with values in a Banach space is $L^p$ bounded, then so is the Hilbert transform, with a linear relation of the bounds. This result is the counterpart of [arXiv:2212.00090] where the opposite bound was proven. △ Less

Submitted 22 March, 2023; originally announced March 2023.

Comments: 19 pages

MSC Class: 46B20 (Primary) 60G42; 60G44; 65C30 (Secondary)

The dyadic and the continuous Hilbert transforms with values in Banach spaces

Authors: Komla Domelevo, Stefanie Petermichl

Abstract: We show that if the Hilbert transform with values in a Banach space is $L^p$ bounded, then so is the dyadic Hilbert transform, with a linear relation of the norms. We show that if the Hilbert transform with values in a Banach space is $L^p$ bounded, then so is the dyadic Hilbert transform, with a linear relation of the norms. △ Less

Submitted 27 March, 2023; v1 submitted 30 November, 2022; originally announced December 2022.

Comments: Grant information added and references completed

MSC Class: 46B20 (Primary) 60G42; 60G44; 65C30 (Secondary)

Continuous sparse domination and dimensionless weighted estimates for the Bakry Riesz vector

Authors: Komla Domelevo, Stefanie Petermichl, Kristina Ana Škreb

Abstract: We present a fundamentally new proof of the dimensionless Lp boundedness of the Bakry Riesz vector on manifolds with bounded geometry. Our proof has the significant advantage that it allows for a much stronger conclusion than previous arguments, namely that of some new dimensionless weighted estimates with optimal exponent. Part of the importance of this task lies in the novelty of the techniques:… ▽ More We present a fundamentally new proof of the dimensionless Lp boundedness of the Bakry Riesz vector on manifolds with bounded geometry. Our proof has the significant advantage that it allows for a much stronger conclusion than previous arguments, namely that of some new dimensionless weighted estimates with optimal exponent. Part of the importance of this task lies in the novelty of the techniques: we develop the self similarity argument known as sparse domination in the setting of uniformly integrable cadlag Hilbert space valued martingales and extend the domination to a process with infinite memory. We provide a range of optimal weighted estimates and weak type estimates for these stochastic processes. Previous geometric Riesz transform estimates relied on Bellman functions and did not provide this range of weighted estimates. The development of sparse domination in this probabilistic setting and its use for high dimensional problems is new. △ Less

Submitted 28 March, 2023; v1 submitted 19 November, 2022; originally announced November 2022.

Comments: This is a complete paper, contains part of arXiv:1607.06319 and extends the scope of arXiv:1802.00366. The latter had a substantial gap we address. This version has the grant information added

MSC Class: 60G46

The matrix-weighted dyadic convex body maximal operator is not bounded

Authors: F. Nazarov, S. Petermichl, K. A. Škreb, S. Treil

Abstract: The convex body maximal operator is a natural generalisation of the Hardy Littlewood maximal operator. In the presence of a matrix weight it is not bounded. The convex body maximal operator is a natural generalisation of the Hardy Littlewood maximal operator. In the presence of a matrix weight it is not bounded. △ Less

Submitted 25 January, 2022; originally announced January 2022.

Boundedness of Journé operators with matrix weights

Authors: Komla Domelevo, Spyridon Kakaroumpas, Stefanie Petermichl, Odí Soler i Gibert

Abstract: We develop a biparameter theory for matrix weights and provide various biparameter matrix-weighted bounds for Journé operators as well as other central operators under the assumption of the product matrix Muckenhoupt condition. In particular, we provide a complete theory for biparameter Journé operator bounds on matrix-weighted $L^2$ spaces. We also achieve bounds in the general case of matrix-wei… ▽ More We develop a biparameter theory for matrix weights and provide various biparameter matrix-weighted bounds for Journé operators as well as other central operators under the assumption of the product matrix Muckenhoupt condition. In particular, we provide a complete theory for biparameter Journé operator bounds on matrix-weighted $L^2$ spaces. We also achieve bounds in the general case of matrix-weighted $L^p$ spaces, for $1 < p < \infty$ for paraproduct-free Journé operators. Finally, we expose an open problem involving a matrix-weighted Fefferman--Stein inequality, on which our methods rely in the general setting of matrix-weighted bounds for arbitrary Journé operators and $p \neq 2.$ △ Less

Submitted 23 November, 2023; v1 submitted 5 February, 2021; originally announced February 2021.

Comments: 67 pages, no figures. Several parts of the paper have been deleted as they follow from other works, other parts have been modified to improve clarity of exposition. To be published in Journal of Mathematical Analysis and Applications

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

Dyadic lower little BMO estimates

Authors: Komla Domelevo, Spyridon Kakaroumpas, Stefanie Petermichl, Odí Soler i Gibert

Abstract: We characterize dyadic little BMO via the boundedness of the tensor commutator with a single well chosen dyadic shift. It is shown that several proof strategies work for this problem, both in the unweighted case as well as with Bloom weights. Moreover, we address the flexibility of one of our methods. We characterize dyadic little BMO via the boundedness of the tensor commutator with a single well chosen dyadic shift. It is shown that several proof strategies work for this problem, both in the unweighted case as well as with Bloom weights. Moreover, we address the flexibility of one of our methods. △ Less

Submitted 23 February, 2023; v1 submitted 18 December, 2020; originally announced December 2020.

Comments: 17 pages. Minor changes after journal revision for consistency and clarity, to be published in Publicacions Matemàtiques

MSC Class: 42B35

$H^\infty$ calculus for submarkovian semigroups on weighted $L^2$ spaces

Authors: Komla Domelevo, Christoph Kriegler, Stefanie Petermichl

Abstract: Let $(T_t)_{t \geq 0}$ be a markovian (resp. submarkovian) semigroup on some $σ$-finite measure space $(Ω,μ)$. We prove that its negative generator $A$ has a bounded $H^\infty(Σ_θ)$ calculus on the weighted space $L^2(Ω,wdμ)$ as long as the weight $w : Ω\to (0,\infty)$ has finite characteristic defined by $Q^A_2(w) = \sup_{t > 0} \left\| T_t(w) T_t \left(w^{-1} \right) \right\|_{L^\infty(Ω)}$ (res… ▽ More Let $(T_t)_{t \geq 0}$ be a markovian (resp. submarkovian) semigroup on some $σ$-finite measure space $(Ω,μ)$. We prove that its negative generator $A$ has a bounded $H^\infty(Σ_θ)$ calculus on the weighted space $L^2(Ω,wdμ)$ as long as the weight $w : Ω\to (0,\infty)$ has finite characteristic defined by $Q^A_2(w) = \sup_{t > 0} \left\| T_t(w) T_t \left(w^{-1} \right) \right\|_{L^\infty(Ω)}$ (resp. by a variant for submarkovian semigroups). Some additional technical conditions on the semigroup have to be imposed and their validity in examples is discussed. Any angle $θ> \fracπ{2}$ is admissible in the above $H^\infty$ calculus, and for some semigroups also certain $θ= θ_w < \fracπ{2}$ depending on the size of $Q^A_2(w)$. The norm of the $H^\infty(Σ_θ)$ calculus is linear in the $Q^A_2$ characteristic for $θ> \fracπ{2}$. We also discuss negative results on angles $θ< \fracπ{2}$. Namely we show that there is a markovian semigroup on a probability space and a $Q^A_2$ weight $w$ without Hörmander functional calculus on $L^2(Ω,w dμ)$. △ Less

Submitted 22 November, 2019; v1 submitted 9 October, 2019; originally announced October 2019.

Comments: Corrected display of abstract on arxiv

MSC Class: 47A60; 47D03; 47D07; 46J15; 47B40

Failure of the matrix weighted bilinear Carleson embedding theorem

Authors: Komla Domelevo, Stefanie Petermichl, Kristina Ana Škreb

Abstract: We prove failure of the natural formulation of a matrix weighted bilinear Carleson embedding theorem, featuring a matrix valued Carleson sequence as well as products of norms for the embedding. We show that assuming an A2 weight is also not sufficient. Indeed, a uniform bound on the conditioning number of the matrix weight is necessary and sufficient to get the bilinear embedding. We show that any… ▽ More We prove failure of the natural formulation of a matrix weighted bilinear Carleson embedding theorem, featuring a matrix valued Carleson sequence as well as products of norms for the embedding. We show that assuming an A2 weight is also not sufficient. Indeed, a uniform bound on the conditioning number of the matrix weight is necessary and sufficient to get the bilinear embedding. We show that any improvement of a recent matrix weighted bilinear embedding, featuring a scalar Carleson sequence and inner products instead of norms must fail. In particular, replacing the scalar sequence by a matrix sequence results in failure even when maintaining the formulation using inner products. Any formulation using norms, even in the presence of a scalar Carleson sequence must fail. As a positive result, we prove the so called matrix weighted redundancy condition in full generality. △ Less

Submitted 29 March, 2023; v1 submitted 20 June, 2019; originally announced June 2019.

Comments: grant info added

MSC Class: 42B20; 60G42; 60G46

A matrix weighted bilinear Carleson Lemma and Maximal Function

Authors: Stefanie Petermichl, Sandra Pott, Maria Carmen Reguera

Abstract: We prove a bilinear Carleson embedding theorem with matrix weight and scalar measure. In the scalar case, this becomes exactly the well known weighted bilinear Carleson embedding theorem. Although only allowing scalar Carleson measures, it is to date the only extension to the bilinear setting of the recent Carleson embedding theorem by Culiuc and Treil that features a matrix Carleson measure and a… ▽ More We prove a bilinear Carleson embedding theorem with matrix weight and scalar measure. In the scalar case, this becomes exactly the well known weighted bilinear Carleson embedding theorem. Although only allowing scalar Carleson measures, it is to date the only extension to the bilinear setting of the recent Carleson embedding theorem by Culiuc and Treil that features a matrix Carleson measure and a matrix weight. It is well known that a Carleson embedding theorem implies a Doob's maximal inequality and this holds true in the matrix weighted setting with an appropriately defined maximal operator. It is also known that a dimensional growth must occur in the Carleson embedding theorem with matrix Carleson measure, even with trivial weight. We give a definition of a maximal type function whose norm in the matrix weighted setting does not grow with dimension. △ Less

Submitted 28 March, 2023; v1 submitted 14 November, 2018; originally announced November 2018.

Comments: 15 pages, for proceedings, grant information added

MSC Class: 42A50

Dimensionless $L^p$ estimates for the Riesz vector on manifolds

Authors: Kamilia Dahmani, Komla Domelevo, Stefanie Petermichl

Abstract: We present a new proof of the dimensionless $L^p$ boundedness of the Riesz vector on manifolds with bounded geometry. Our proof has the significant advantage that it allows for a much stronger conclusion, namely that of a new dimensionless weighted $L^p$ estimate with optimal exponent. Other than previous arguments, only a small part of our proof is based on special auxiliary functions, the core o… ▽ More We present a new proof of the dimensionless $L^p$ boundedness of the Riesz vector on manifolds with bounded geometry. Our proof has the significant advantage that it allows for a much stronger conclusion, namely that of a new dimensionless weighted $L^p$ estimate with optimal exponent. Other than previous arguments, only a small part of our proof is based on special auxiliary functions, the core of the argument is a weak type estimate and a sparse decomposition of the stochastic process by X.D. Li, whose projection is the Riesz vector. △ Less

Submitted 1 February, 2018; originally announced February 2018.

Comments: 14 pages

MSC Class: 42B20; 60G44; 60G46

On the failure of lower square function estimates in the non-homogeneous weighted setting

Authors: K. Domelevo, P. Ivanisvili, S. Petermichl, S. Treil, A. Volberg

Abstract: We show that the classical $A_{\infty}$ condition is not sufficient for a lower square function estimate in the non-homogeneous weighted $L^2$ space. We also show that under the martingale $A_2$ condition, an estimate holds true, but the optimal power of the characteristic jumps from $1 / 2$ to $1$ even when considering the classical $A_2$ characteristic. This is in a sharp contrast to known estim… ▽ More We show that the classical $A_{\infty}$ condition is not sufficient for a lower square function estimate in the non-homogeneous weighted $L^2$ space. We also show that under the martingale $A_2$ condition, an estimate holds true, but the optimal power of the characteristic jumps from $1 / 2$ to $1$ even when considering the classical $A_2$ characteristic. This is in a sharp contrast to known estimates in the dyadic homogeneous setting as well as the recent positive results in this direction on the discrete timenon-homogeneous martingale transforms. Last, we give a sharp $A_{\infty}$ estimate for the $n$-adic homogeneous case, growing with $n$. △ Less

Submitted 23 May, 2017; originally announced May 2017.

Comments: 26 pages

MSC Class: 42B20; 42B35; 47A30 ACM Class: F.2.2

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

Weighted little bmo and two-weight inequalities for Journé commutators

Authors: Irina Holmes, Stefanie Petermichl, Brett D. Wick

Abstract: We characterize the boundedness of the commutators $[b, T]$ with biparameter Journé operators $T$ in the two-weight, Bloom-type setting, and express the norms of these commutators in terms of a weighted little $bmo$ norm of the symbol $b$. Specifically, if $μ$ and $λ$ are biparameter $A_p$ weights, $ν:= μ^{1/p}λ^{-1/p}$ is the Bloom weight, and $b$ is in $bmo(ν)$, then we prove a lower bound and t… ▽ More We characterize the boundedness of the commutators $[b, T]$ with biparameter Journé operators $T$ in the two-weight, Bloom-type setting, and express the norms of these commutators in terms of a weighted little $bmo$ norm of the symbol $b$. Specifically, if $μ$ and $λ$ are biparameter $A_p$ weights, $ν:= μ^{1/p}λ^{-1/p}$ is the Bloom weight, and $b$ is in $bmo(ν)$, then we prove a lower bound and testing condition $\|b\|_{bmo(ν)} \lesssim \sup \| [b, R_k^1 R_l^2]: L^p(μ) \rightarrow L^p(λ)\|$, where $R_k^1$ and $R_l^2$ are Riesz transforms acting in each variable. Further, we prove that for such symbols $b$ and any biparameter Journé operators $T$ the commutator $[b, T]:L^p(μ) \rightarrow L^p(λ)$ is bounded. Previous results in the Bloom setting do not include the biparameter case and are restricted to Calderón-Zygmund operators. Even in the unweighted, $p=2$ case, the upper bound fills a gap that remained open in the multiparameter literature for iterated commutators with Journé operators. As a by-product we also obtain a much simplified proof for a one-weight bound for Journé operators originally due to R. Fefferman. △ Less

Submitted 25 January, 2018; v1 submitted 23 January, 2017; originally announced January 2017.

Comments: Final journal (Analysis and PDE) version, with a new introduction and a few new Propositions/Lemmas

Journal ref: Analysis & PDE 11 (2018) 1693-1740

Various sharp estimates for semi-discrete Riesz transforms of the second order

Authors: Komla Domelevo, Adam Osekowski, Stefanie Petermichl

Abstract: We give several sharp estimates for a class of combinations of second order Riesz transforms on Lie groups ${G}={G}_{x} \times {G}_{y}$ that are multiply connected, composed of a discrete abelian component ${G}_{x}$ and a connected component ${G}_{y}$ endowed with a biinvariant measure. These estimates include new sharp $L^p$ estimates via Choi type constants, depending upon the multipliers of the… ▽ More We give several sharp estimates for a class of combinations of second order Riesz transforms on Lie groups ${G}={G}_{x} \times {G}_{y}$ that are multiply connected, composed of a discrete abelian component ${G}_{x}$ and a connected component ${G}_{y}$ endowed with a biinvariant measure. These estimates include new sharp $L^p$ estimates via Choi type constants, depending upon the multipliers of the operator. They also include weak-type, logarithmic and exponential estimates. We give an optimal $L^q \to L^p$ estimate as well. It was shown recently by Arcozzi, Domelevo and Petermichl that such second order Riesz transforms applied to a function may be written as conditional expectation of a simple transformation of a stochastic integral associated with the function. The proofs of our theorems combine this stochastic integral representation with a number of deep estimates for pairs of martingales under strong differential subordination by Choi, Banuelos and Osekowski. When two continuous directions are available, sharpness is shown via the laminates technique. We show that sharpness is preserved in the discrete case using Lax-Richtmyer theorem. △ Less

Submitted 15 January, 2017; originally announced January 2017.

Comments: 26 pages. arXiv admin note: substantial text overlap with arXiv:1507.04940

MSC Class: 42B20; 60G42; 60G44; 60G46

Convex body domination and weighted estimates with matrix weights

Authors: Fedor Nazarov, Stefanie Petermichl, Sergei Treil, Alexander Volberg

Abstract: We introduce the so called convex body valued sparse operators, which generalize the notion of sparse operators to the case of spaces of vector valued functions. We prove that Calderón--Zygmund operators as well as Haar shifts and paraproducts can be dominated by such operators. By estimating sparse operators we obtain weighted estimates with matrix weights. We get two weight $A_2$-$A_\infty$ esti… ▽ More We introduce the so called convex body valued sparse operators, which generalize the notion of sparse operators to the case of spaces of vector valued functions. We prove that Calderón--Zygmund operators as well as Haar shifts and paraproducts can be dominated by such operators. By estimating sparse operators we obtain weighted estimates with matrix weights. We get two weight $A_2$-$A_\infty$ estimates, that in the one weight case give us the estimate $$ \|T\|_{L^2(W)\to L^2 (W)} \le C [W]_{A_2}^{1/2} [W]_{A_\infty} \le C[W]_{A_2}^{3/2} $$ where $T$ is either a Calderon--Zygmund operator (with modulus of continuity satisfying the Dini condition), or a Haar shift or a paraproduct. △ Less

Submitted 19 May, 2017; v1 submitted 7 January, 2017; originally announced January 2017.

Comments: 23 pages, this third version was finished on November 27, 2016

MSC Class: 42B20; 42B35; 47A30 ACM Class: F.2.2

Continuous-time sparse domination

Authors: Komla Domelevo, Stefanie Petermichl

Abstract: We develop the self similarity argument known as sparse domination in an abstract martingale setting, using a continuous time parameter. With this method, we prove a sharp weighted L^p estimate for the maximal operator Y^* of Y with respect to X. Here Y and X are uniformly integrable càdllàg Hilbert space valued martingales and Y differentially subordinate to X via the square bracket process. We a… ▽ More We develop the self similarity argument known as sparse domination in an abstract martingale setting, using a continuous time parameter. With this method, we prove a sharp weighted L^p estimate for the maximal operator Y^* of Y with respect to X. Here Y and X are uniformly integrable càdllàg Hilbert space valued martingales and Y differentially subordinate to X via the square bracket process. We also present a second, very simple proof of the special case Y=X. In this generality, notably including processes with jumps, the special case Y = X addresses a question raised in the late 70s by Bonami--Lépingle. △ Less

Submitted 20 April, 2019; v1 submitted 21 July, 2016; originally announced July 2016.

Comments: submitted version

MSC Class: 60G44

Differential subordination under change of law

Authors: Komla Domelevo, Stefanie Petermichl

Abstract: We prove optimal ${L}^2$ bounds for a pair of Hilbert space valued differentially subordinate martingales under a change of law. The change of law is given by a process called a weight and sharpness in this context refers to the optimal growth with respect to the characteristic of the weight. The pair of martingales are adapted, uniformly integrable, and cadlag. Differential subordination is in th… ▽ More We prove optimal ${L}^2$ bounds for a pair of Hilbert space valued differentially subordinate martingales under a change of law. The change of law is given by a process called a weight and sharpness in this context refers to the optimal growth with respect to the characteristic of the weight. The pair of martingales are adapted, uniformly integrable, and cadlag. Differential subordination is in the sense of Burkholder, defined through the use of the square bracket. In the scalar dyadic setting with underlying Lebesgue measure, this was proved by Wittwer, where homogeneity was heavily used. Recent progress by Thiele-Treil-Volberg and Lacey, independently, resloved the so-called non-homogenous case of discrete in time filtrations with two completely different proofs. The general case for continuous-in-time filtrations remained open and is adressed here. As a by-product, we give the needed explicit expression of a Bellman function of four variables for the weighted estimate of subordinate martingales with jumps. △ Less

Submitted 20 November, 2016; v1 submitted 6 April, 2016; originally announced April 2016.

Comments: 32 pages, version 2. Typos corrected

MSC Class: 60G44; 60G46

Discrete Hilbert Transform a la Gundy-Varopoulos

Authors: Nicola Arcozzi, Komla Domelevo, Stefanie Petermichl

Abstract: We show that the centered discrete Hilbert transform on integers applied to a function can be written as the conditional expectation of a transform of stochastic integrals, where the stochastic processes considered have jump components. The stochastic representation of the function and that of its Hilbert transform are under differential subordination and orthogonality relation with respect to the… ▽ More We show that the centered discrete Hilbert transform on integers applied to a function can be written as the conditional expectation of a transform of stochastic integrals, where the stochastic processes considered have jump components. The stochastic representation of the function and that of its Hilbert transform are under differential subordination and orthogonality relation with respect to the sharp bracket of quadratic covariation. This illustrates the Cauchy Riemann relations of analytic functions in this setting. This result is inspired by the seminal work of Gundy and Varopoulos on stochastic representation of the Hilbert transform in the continuous setting. △ Less

Submitted 24 January, 2017; v1 submitted 7 December, 2015; originally announced December 2015.

Comments: 12 pages. Version 2; minor typos corrected

MSC Class: 60G46

BMO solvability and the $A_\infty$ condition for second order parabolic operators

Authors: Martin Dindoš, Stefanie Petermichl, Jill Pipher

Abstract: We prove that the $A_\infty$ property of parabolic measure for operators in certain time-varying domains is equivalent to a Carleson measure property of bounded solutions. Kircheim, Kenig, Pipher, and T. Toro established this criterion on bounded solutions in the elliptic case, improving an earlier result of Dindos, Kenig and Pipher for solutions with data in BMO. The extension to the parabolic se… ▽ More We prove that the $A_\infty$ property of parabolic measure for operators in certain time-varying domains is equivalent to a Carleson measure property of bounded solutions. Kircheim, Kenig, Pipher, and T. Toro established this criterion on bounded solutions in the elliptic case, improving an earlier result of Dindos, Kenig and Pipher for solutions with data in BMO. The extension to the parabolic setting requires an approach to the key estimate that primarily exploits the maximum principle. For various classes of parabolic operators, this criterion makes it easier to establish the solvability of the Dirichlet problem with data in $L^p$ for some $p$ (see results of Rivera-Noriega), and also to quantify these results in several aspects. △ Less

Submitted 20 October, 2015; originally announced October 2015.

MSC Class: 35K10; 35K20

Sharp weighted norm estimates beyond Calderón-Zygmund theory

Authors: Frédéric Bernicot, Dorothee Frey, Stefanie Petermichl

Abstract: We dominate non-integral singular operators by adapted sparse operators and derive optimal norm estimates in weighted spaces. Our assumptions on the operators are minimal and our result applies to an array of situations, whose prototype are Riesz transforms / multipliers or paraproducts associated with a second order elliptic operator. It also applies to such operators whose unweighted continuity… ▽ More We dominate non-integral singular operators by adapted sparse operators and derive optimal norm estimates in weighted spaces. Our assumptions on the operators are minimal and our result applies to an array of situations, whose prototype are Riesz transforms / multipliers or paraproducts associated with a second order elliptic operator. It also applies to such operators whose unweighted continuity is restricted to Lebesgue spaces with certain ranges of exponents $(p_0,q_0)$ where $1\le p_0<2<q_0\le \infty$. The norm estimates obtained are powers $α$ of the characteristic used by Auscher and Martell. The critical exponent in this case is $\mathfrak{p}=1+\frac{p_0}{q'_0}$. We prove $α=\frac1{p-p_0}$ when $p_0<p\le \mathfrak{p}$ and $α= \frac{q_0-1}{q_0-p}$ when $\mathfrak{p}\le p<q_0$. In particular, we are able to obtain the sharp $A_2$ estimates for non-integral singular operators which do not fit into the class of Calderón-Zygmund operators. These results are new even in the Euclidean space and are the first ones for operators whose kernel does not satisfy any regularity estimate. △ Less

Submitted 4 October, 2015; originally announced October 2015.

Comments: 34 pages

MSC Class: 58J35; 42B20

Journal ref: Anal. PDE 9 (2016) 1079-1113

Second order Riesz transforms on multiply-connected Lie groups and processes with jumps

Authors: Nicola Arcozzi, Komla Domelevo, Stefanie Petermichl

Abstract: We study a class of combinations of second order Riesz transforms on Lie groups that are multiply connected, composed of a discrete abelian component and a compact connected component. We prove sharp $L^{p}$ estimates for these operators, therefore generalising previous results. We construct stochastic integrals with jump components adapted to functions defined on our semi-discrete set. We show… ▽ More We study a class of combinations of second order Riesz transforms on Lie groups that are multiply connected, composed of a discrete abelian component and a compact connected component. We prove sharp $L^{p}$ estimates for these operators, therefore generalising previous results. We construct stochastic integrals with jump components adapted to functions defined on our semi-discrete set. We show that these second order Riesz transforms applied to a function may be written as conditional expectation of a simple transformation of a stochastic integral associated with the function. The analysis shows that Ito integrals for the discrete component must be written in an augmented discrete tangent plane of dimension twice larger than expected, and in a suitably chosen discrete coordinate system. Those artifacts are related to the difficulties that arise due to the discrete component, where derivatives of functions are no longer local. Previous representations of Riesz transforms through stochastic integrals in this direction do not consider discrete components and jump processes. △ Less

Submitted 1 August, 2015; v1 submitted 17 July, 2015; originally announced July 2015.

MSC Class: 60G46

Sharp $L^p$ estimates for discrete second order {R}iesz transforms

Authors: Komla Domelevo, Stefanie Petermichl

Abstract: We show that multipliers of second order Riesz transforms on products of discrete abelian groups enjoy the $L^{p} $ estimate $p^{\ast} -1$, where $p^{\ast} = \max \{ p,q \}$ and $p$ and $q$ are conjugate exponents. This estimate is sharp if one considers all multipliers of the form $\sum_i σ_{i} R_{i} R^{\ast}_{i}$ with $| σ_{i} | \leqslant 1$ and infinite groups. In the real valued case, we obtai… ▽ More We show that multipliers of second order Riesz transforms on products of discrete abelian groups enjoy the $L^{p} $ estimate $p^{\ast} -1$, where $p^{\ast} = \max \{ p,q \}$ and $p$ and $q$ are conjugate exponents. This estimate is sharp if one considers all multipliers of the form $\sum_i σ_{i} R_{i} R^{\ast}_{i}$ with $| σ_{i} | \leqslant 1$ and infinite groups. In the real valued case, we obtain better sharp estimates for some specific multipliers, such as $\sum_{i} σ_{i} R_{i} R^{\ast}_{i}$ with $0 \leqslant σ_{i} \leqslant 1$. These are the first known precise $L^{p} $ estimates for discrete Calderón-Zygmund operators. △ Less

Submitted 14 July, 2015; originally announced July 2015.

Comments: 22 pages

Journal ref: Adv. Math., (262) 932-952, 2014

A linear dimensionless bound for the weighted Riesz vector

Authors: Komla Domelevo, Stefanie Petermichl, Janine Wittwer

Abstract: We show that the norm of the vector of Riesz transforms as operator in the weighted Lebesgue space L^2(w) is bounded by a constant multiple of the first power of the Poisson-A_2 characteristic of w. The bound is free of dimension. Our argument requires an extension of Wittwer's linear estimate for martingale transforms to the vector valued setting with scalar weights, for which we indicate a proof… ▽ More We show that the norm of the vector of Riesz transforms as operator in the weighted Lebesgue space L^2(w) is bounded by a constant multiple of the first power of the Poisson-A_2 characteristic of w. The bound is free of dimension. Our argument requires an extension of Wittwer's linear estimate for martingale transforms to the vector valued setting with scalar weights, for which we indicate a proof. Extensions to L^p(w) for 1<p<\infty are discussed. Our proof for sharpness requires a martingale extrapolation lemma for which we sketch a proof. We also show that for n>1, the Poisson-A_2 class is properly included in the classical A_2 class. △ Less

Submitted 12 December, 2016; v1 submitted 30 January, 2015; originally announced January 2015.

Comments: this version corrects the previous gap in sharpness at the critical exponent

Higher order Journe commutators and characterizations of multi-parameter BMO

Authors: Yumeng Ou, Stefanie Petermichl, Elizabeth Strouse

Abstract: We consider iterated commutators of multiplication by a symbol function and tensor products of Hilbert or Riesz transforms. We establish mixed BMO classes of symbols that characterize boundedness of these objects in $L^p$. Little BMO and product BMO, big Hankel operators and iterated commutators are the base cases of our results. We use operator theoretical methods and existing profound results on… ▽ More We consider iterated commutators of multiplication by a symbol function and tensor products of Hilbert or Riesz transforms. We establish mixed BMO classes of symbols that characterize boundedness of these objects in $L^p$. Little BMO and product BMO, big Hankel operators and iterated commutators are the base cases of our results. We use operator theoretical methods and existing profound results on iterated commutators for the Hilbert transform case, while the general result in several variables is obtained through the construction of a Journé operator that models the behavior of the multiple Hilbert transform. Upper estimates for commutators with paraproduct free Journé operators as well as weak factorisation results are proven. △ Less

Submitted 14 July, 2015; v1 submitted 23 January, 2015; originally announced January 2015.

Comments: 38 pages

MSC Class: 42B20

Bounds for the Hilbert Transform with Matrix $A_2$ Weights

Authors: Kelly Bickel, Stefanie Petermichl, Brett Wick

Abstract: Let $W$ denote a matrix $A_2$ weight. In this paper, we implement a scalar argument using the square function to deduce square-function type results for vector-valued functions in $L^2(\mathbb{R},\mathbb{C}^d)$. These results are then used to study the boundedness of the Hilbert transform and Haar multipliers on $L^2(\mathbb{R},\mathbb{C}^d)$. Our proof shortens the original argument by Treil and… ▽ More Let $W$ denote a matrix $A_2$ weight. In this paper, we implement a scalar argument using the square function to deduce square-function type results for vector-valued functions in $L^2(\mathbb{R},\mathbb{C}^d)$. These results are then used to study the boundedness of the Hilbert transform and Haar multipliers on $L^2(\mathbb{R},\mathbb{C}^d)$. Our proof shortens the original argument by Treil and Volberg and improves the dependence on the $A_2$ characteristic. In particular, we prove that the Hilbert transform and Haar multipliers map $L^2(\mathbb{R},W,\mathbb{C}^d)$ to itself with dependence on on the $A_2$ characteristic at most $[W]_{A_2}^{\frac{3}{2}} \log [W]_{A_2}$. △ Less

Submitted 31 August, 2015; v1 submitted 16 February, 2014; originally announced February 2014.

Comments: 20 pages. v3: Revised to address referee comments and include additional references. v4: Grant information added. v5: Revised to address referee comments and include additional references

MSC Class: 42A50

Journal ref: J. Funct. Anal. 270 (2016), no. 5, 1719-1743

A lower bound criterion for iterated commutators

Authors: Laurent Dalenc, Stefanie Petermichl

Abstract: We give a criterion on collections of Calderon-Zygmund operators to classify product BMO by means of iterated commutators. We give a criterion on collections of Calderon-Zygmund operators to classify product BMO by means of iterated commutators. △ Less

Submitted 24 July, 2013; originally announced July 2013.

MSC Class: 42

Multi-Parameter Div-Curl Lemmas

Authors: Michael T. Lacey, Stefanie Petermichl, Jill C. Pipher, Brett D. Wick

Abstract: We study the possible analogous of the Div-Curl Lemma in classical harmonic analysis and partial differential equations, but from the point of view of the multi-parameter setting. In this context we see two possible Div-Curl lemmas that arise. Extensions to differential forms are also given. We study the possible analogous of the Div-Curl Lemma in classical harmonic analysis and partial differential equations, but from the point of view of the multi-parameter setting. In this context we see two possible Div-Curl lemmas that arise. Extensions to differential forms are also given. △ Less

Submitted 14 January, 2010; originally announced January 2010.

Comments: v1: 8 pages

Journal ref: Bull. Lond. Math. Soc. 44 (2012), no. 6, 1123-1131

Sharp $ A_2$ Inequality for Haar Shift Operators

Authors: Michael T. Lacey, Stefanie Petermichl, Maria Carmen Reguera

Abstract: As a corollary to our main theorem we give a new proof of the result that the norm of the Hilbert transform on L^2(w) has norm bounded by a the A_2 characteristic of a weight to the first power, a theorem of one of us. This new proof begins as the prior proofs do, by passing to Haar shifts. Then, we apply a deep two-weight T1 theorem of Nazarov-Treil-Volberg, to reduce the matter to checking a c… ▽ More As a corollary to our main theorem we give a new proof of the result that the norm of the Hilbert transform on L^2(w) has norm bounded by a the A_2 characteristic of a weight to the first power, a theorem of one of us. This new proof begins as the prior proofs do, by passing to Haar shifts. Then, we apply a deep two-weight T1 theorem of Nazarov-Treil-Volberg, to reduce the matter to checking a certain carleson measure condition. This condition is checked with a corona decomposition of the weight. Prior proofs of this type have used Bellman functions, while this proof is flexible enough to address all Haar shifts at the same time. △ Less

Submitted 6 October, 2009; v1 submitted 10 June, 2009; originally announced June 2009.

Comments: 14 pages, submitted to math annalen. Typos corrected. This is the final version of the paper

MSC Class: 42

Journal ref: Math. Ann. 348 (2010), no. 1, 127-141

New estimates for the Beurling-Ahlfors operator on differential forms

Authors: Stefanie Petermichl, Leonid Slavin, Brett D. Wick

Abstract: We establish new $p$-estimates for the norm of the generalized Beurling--Ahlfors transform $\mathcal{S}$ acting on form-valued functions. Namely, we prove that $\norm{\mathcal{S}}_{L^p(\R^n;Λ)\to L^p(\R^n;Λ)}\leq n(p^{*}-1)$ where $p^*=\max\{p, p/(p-1)\},$ thus extending the recent Nazarov--Volberg estimates to higher dimensions. The even-dimensional case has important implications for quasiconf… ▽ More We establish new $p$-estimates for the norm of the generalized Beurling--Ahlfors transform $\mathcal{S}$ acting on form-valued functions. Namely, we prove that $\norm{\mathcal{S}}_{L^p(\R^n;Λ)\to L^p(\R^n;Λ)}\leq n(p^{*}-1)$ where $p^*=\max\{p, p/(p-1)\},$ thus extending the recent Nazarov--Volberg estimates to higher dimensions. The even-dimensional case has important implications for quasiconformal mappings. Some promising prospects for further improvement are discussed at the end. △ Less

Submitted 3 January, 2009; originally announced January 2009.

Comments: v1: 17 pages

Journal ref: J. Operator Theory 65 (2011), no. 2, 307--324

Iterated Riesz Commutators: A Simple Proof of Boundedness

Authors: Michael T. Lacey, Stefanie Petermichl, Jill C. Pipher, Brett D. Wick

Abstract: We give a simple proof of L^p boundedness of iterated commutators of Riesz transforms and a product BMO function. We use a representation of the Riesz transforms by means of simple dyadic operators - dyadic shifts - which in turn reduces the estimate quickly to paraproduct estimates. We give a simple proof of L^p boundedness of iterated commutators of Riesz transforms and a product BMO function. We use a representation of the Riesz transforms by means of simple dyadic operators - dyadic shifts - which in turn reduces the estimate quickly to paraproduct estimates. △ Less

Submitted 6 August, 2008; originally announced August 2008.

Comments: 10 pages, submitted to Proceedings of El Escorial 2008

Journal ref: Contemp. Math., 505, Amer. Math. Soc., Providence, RI, 2010, 171-178

Multiparameter Riesz Commutators

Authors: Michael Lacey, Stefanie Petermichl, Jill Pipher, Brett Wick

Abstract: It is shown that product BMO of Chang and Fefferman, defined on the product of Euclidean spaces can be characterized by the multiparameter commutators of Riesz transforms. This extends a classical one-parameter result of Coifman, Rochberg, and Weiss, and at the same time extends the work of Lacey and Ferguson and Lacey and Terwilleger on multiparameter commutators with Hilbert transforms. The me… ▽ More It is shown that product BMO of Chang and Fefferman, defined on the product of Euclidean spaces can be characterized by the multiparameter commutators of Riesz transforms. This extends a classical one-parameter result of Coifman, Rochberg, and Weiss, and at the same time extends the work of Lacey and Ferguson and Lacey and Terwilleger on multiparameter commutators with Hilbert transforms. The method of proof requires the real-variable methods throughout, which is new in the multi-parameter context. △ Less

Submitted 27 April, 2008; v1 submitted 27 April, 2007; originally announced April 2007.

Comments: 38 Pages. References updated. To appear in American J Math

Journal ref: Amer. J. Math. 131 (2009), no. 3, 731-769

A Weighted Estimate for the Square Function on the Unit Ball in $\C^n$

Authors: Stefanie Petermichl, Brett D. Wick

Abstract: We show that the Lusin area integral or the square function on the unit ball of $\C^n$, regarded as an operator in weighted space $L^2(w)$ has a linear bound in terms of the invariant $A_2$ characteristic of the weight. We show a dimension-free estimate for the ``area-integral'' associated to the weighted $L^2(w)$ norm of the square function. We prove the equivalence of the classical and the inv… ▽ More We show that the Lusin area integral or the square function on the unit ball of $\C^n$, regarded as an operator in weighted space $L^2(w)$ has a linear bound in terms of the invariant $A_2$ characteristic of the weight. We show a dimension-free estimate for the ``area-integral'' associated to the weighted $L^2(w)$ norm of the square function. We prove the equivalence of the classical and the invariant $A_2$ classes. △ Less

Submitted 29 January, 2007; originally announced January 2007.

Comments: 11 pages, to appear in Arkiv for Matematik

Journal ref: Ark. Mat. 45 (2007), no. 2, 337--350

Carleson Potentials and the Reproducing Kernel Thesis for Embedding Theorems

Authors: Stefanie Petermichl, Sergei Treil, Brett D. Wick

Abstract: In this note we present a new proof of the Carleson Embedding Theorem on the unit disc and unit ball. The only technical tool used in the proof of this fact is Green's formula. The starting point is that every Carleson measure gives rise to a bounded subharmonic function. Using this function we construct a new related Carleson measure that allows for a simple embedding. In the case of the disc t… ▽ More In this note we present a new proof of the Carleson Embedding Theorem on the unit disc and unit ball. The only technical tool used in the proof of this fact is Green's formula. The starting point is that every Carleson measure gives rise to a bounded subharmonic function. Using this function we construct a new related Carleson measure that allows for a simple embedding. In the case of the disc this gives the best known constant, with the previous best given by N. Nikolskii. △ Less

Submitted 29 January, 2007; originally announced January 2007.

Comments: 11 pages, to appear in Illinois Journal of Mathematics

MSC Class: 30D55; 30E05; 32A53; 42B30; 46E22

Journal ref: Illinois J. Math. 51 (2007), no. 4, 1249--1263

Sharp estimates of martingale transforms in higher dimensions and applications to the Ahlfors-Beurling operator

Authors: Oliver Dragicevic, Stefanie Petermichl, Alexander Volberg

Abstract: The main aspiration of this note is to construct several different Haar-type systems in euclidean spaces of higher dimensions and prove sharp Lp bounds for the corresponding martingale transforms. In dimension one this was a result of Burkholder. The motivation for working in this direction is the search for Lp estimates of the Ahlfors-Beurling operator. The main aspiration of this note is to construct several different Haar-type systems in euclidean spaces of higher dimensions and prove sharp Lp bounds for the corresponding martingale transforms. In dimension one this was a result of Burkholder. The motivation for working in this direction is the search for Lp estimates of the Ahlfors-Beurling operator. △ Less

Submitted 31 May, 2006; originally announced June 2006.

Comments: 41 pages, 12 figures