Showing 1–22 of 22 results for author: Rela, E

The exact dimension of Liouville numbers: The Fourier side

Authors: Iván Polasek, Ezequiel Rela

Abstract: In this article we study the generalized Fourier dimension of the set of Liouville numbers $\mathbb{L}$. Being a set of zero Hausdorff dimension, the analysis has to be done at the level of functions with a slow decay at infinity acting as control for the Fourier transform of (Rajchman) measures supported on $\mathbb{L}$. We give an almost complete characterization of admissible decays for this se… ▽ More In this article we study the generalized Fourier dimension of the set of Liouville numbers $\mathbb{L}$. Being a set of zero Hausdorff dimension, the analysis has to be done at the level of functions with a slow decay at infinity acting as control for the Fourier transform of (Rajchman) measures supported on $\mathbb{L}$. We give an almost complete characterization of admissible decays for this set in terms of comparison to power-like functions. This work can be seen as the ``Fourier side'' of the analysis made by Olsen and Renfro regarding the generalized Hausdorff dimension using gauge functions. We also provide an approach to deal with the problem of classifying oscillating candidates for a Fourier decay for $\mathbb{L}$ relying on its translation invariance property. △ Less

Submitted 7 August, 2024; originally announced August 2024.

MSC Class: 42A38; 26A12

Weighted Inequalities for Fractional maximal functions on the infinite rooted $k$-ary tree

Authors: Abhishek Ghosh, Ezequiel Rela

Abstract: In this article we introduce the fractional Hardy-Littlewood maximal function on the infinite rooted $k$-ary tree and study its weighted boundedness. We also provide examples of weights for which the fractional Hardy-Littlewood maximal function satisfies strong type $(p, q)$ estimates on the infinite rooted $k$-ary tree. In this article we introduce the fractional Hardy-Littlewood maximal function on the infinite rooted $k$-ary tree and study its weighted boundedness. We also provide examples of weights for which the fractional Hardy-Littlewood maximal function satisfies strong type $(p, q)$ estimates on the infinite rooted $k$-ary tree. △ Less

Submitted 10 December, 2021; originally announced December 2021.

MSC Class: 42B25; 05C63

Some non-standard biparametric Poincaré type inequalities through harmonic analysis

Authors: María Eugenia Cejas, Carolina Mosquera, Carlos Pérez, Ezequiel Rela

Abstract: We show some non-standard Poincaré type estimates in the biparametric setting with appropriate weights. We will derive these results using variants from classical estimates exploiting the interplay between maximal functions and fractional integrals. We also provide a sharper result by using extrapolation techniques. We show some non-standard Poincaré type estimates in the biparametric setting with appropriate weights. We will derive these results using variants from classical estimates exploiting the interplay between maximal functions and fractional integrals. We also provide a sharper result by using extrapolation techniques. △ Less

Submitted 22 September, 2021; originally announced September 2021.

MSC Class: 42B25; 42B20

Maximal operators on the infinite-dimensional torus

Authors: Dariusz Kosz, Javier Martínez Perales, Victoria Paternostro, Ezequiel Rela, Luz Roncal

Abstract: We study maximal operators related to bases on the infinite-dimensional torus $\mathbb{T}^ω$. {For the normalized Haar measure $dx$ on $\mathbb{T}^ω$ it is known that $M^{\mathcal{R}_0}$, the maximal operator associated with the dyadic basis $\mathcal{R}_0$, is of weak type $(1,1)$, but $M^{\mathcal{R}}$, the operator associated with the natural general basis $\mathcal{R}$, is not. We extend the l… ▽ More We study maximal operators related to bases on the infinite-dimensional torus $\mathbb{T}^ω$. {For the normalized Haar measure $dx$ on $\mathbb{T}^ω$ it is known that $M^{\mathcal{R}_0}$, the maximal operator associated with the dyadic basis $\mathcal{R}_0$, is of weak type $(1,1)$, but $M^{\mathcal{R}}$, the operator associated with the natural general basis $\mathcal{R}$, is not. We extend the latter result to all $q \in [1,\infty)$. Then we find a wide class of intermediate bases $\mathcal{R}_0 \subset \mathcal{R}' \subset \mathcal{R}$, for which maximal functions have controlled, but sometimes very peculiar behavior.} Precisely, for given $q_0 \in [1, \infty)$ we construct $\mathcal{R}'$ such that $M^{\mathcal{R}'}$ is of restricted weak type $(q,q)$ if and only if $q$ belongs to a predetermined range of the form $(q_0, \infty]$ or $[q_0, \infty]$. Finally, we study the weighted setting, considering the Muckenhoupt $A_p^\mathcal{R}(\mathbb{T}^ω)$ and reverse Hölder $\mathrm{RH}_r^\mathcal{R}(\mathbb{T}^ω)$ classes of weights associated with $\mathcal{R}$. For each $p \in (1, \infty)$ and each $w \in A_p^\mathcal{R}(\mathbb{T}^ω)$ we obtain that $M^{\mathcal{R}}$ is not bounded on $L^q(w)$ in the whole range $q \in [1,\infty)$. Since we are able to show that \[ \bigcup_{p \in (1, \infty)}A_p^\mathcal{R}(\mathbb{T}^ω) = \bigcup_{r \in (1, \infty)} \mathrm{RH}_r^\mathcal{R}(\mathbb{T}^ω), \] the unboundedness result applies also to all reverse Hölder weights. △ Less

Submitted 15 September, 2021; v1 submitted 10 September, 2021; originally announced September 2021.

Self-improving Poincaré-Sobolev type functionals in product spaces

Authors: Maria Eugenia Cejas, Carolina Mosquera, Carlos Pérez, Ezequiel Rela

Abstract: In this paper we give a geometric condition which ensures that $(q,p)$-Poincaré-Sobolev inequalities are implied from generalized $(1,1)$-Poincaré inequalities related to $L^1$ norms in the context of product spaces. The concept of eccentricity plays a central role in the paper. We provide several $(1,1)$-Poincaré type inequalities adapted to different geometries and then show that our selfimprovi… ▽ More In this paper we give a geometric condition which ensures that $(q,p)$-Poincaré-Sobolev inequalities are implied from generalized $(1,1)$-Poincaré inequalities related to $L^1$ norms in the context of product spaces. The concept of eccentricity plays a central role in the paper. We provide several $(1,1)$-Poincaré type inequalities adapted to different geometries and then show that our selfimproving method can be applied to obtain special interesting Poincaré-Sobolev estimates. Among other results, we prove that for each rectangle $R$ of the form $R=I_1\times I_2 \subset \mathbb{R}^{n}$ where $I_1\subset \mathbb{R}^{n_1}$ and $I_2\subset \mathbb{R}^{n_2}$ are cubes with sides parallel to the coordinate axes, we have that % \begin{equation*} \left( \frac{1}{w(R)}\int_{ R } |f -f_{R}|^{p_{δ,w}^*} \,wdx\right)^{\frac{1}{p_{δ,w}^*}} \leq c\,(1-δ)^{\frac1p}\,[w]_{A_{1,\mathfrak{R}}}^{\frac1p}\, \Big(a_1(R)+a_2(R)\Big), \end{equation*} % where $δ\in (0,1)$, $w \in A_{1,\mathfrak{R}}$, $\frac{1}{p} -\frac{1}{ p_{δ,w}^* }= \fracδ{n} \, \frac{1}{1+\log [w]_{A_{1,\mathfrak{R}}}}$ and $a_i(R)$ are bilinear analog of the fractional Sobolev seminorms $[u]_{W^{δ,p}(Q)}$ (See Theorem 2.18). This is a biparameter weighted version of the celebrated fractional Poincaré-Sobolev estimates with the gain $(1-δ)^{\frac1p}$ due to Bourgain-Brezis-Minorescu. △ Less

Submitted 10 May, 2022; v1 submitted 18 April, 2021; originally announced April 2021.

Comments: In the first version of the paper there was an issue with the last two inequalities on page 5, since the factor $δ^{1/p}$ on the right-hand side has to be omitted in the general case. This is not relevant to our contribution in the paper, but in order to correct this issue and not propagate the imprecision, we decided to remove the factor $δ^{1/p}$ from every incorrect appearance

Quantitative John-Nirenberg inequalities at different scales

Authors: Javier C. Martínez-Perales, Ezequiel Rela, Israel P. Rivera-Ríos

Abstract: We provide an abstract estimate of the form \[ \|f-f_{Q,μ}\|_{X \left(Q,\frac{\mathrm{d} μ}{Y(Q)}\right)}\leq c(μ,Y)ψ(X)\|f\|_{\mathrm{BMO}(\mathrm{d}μ)} \] for all cubes $Q$ in $\mathbb{R}^n$ and every function $f\in \mathrm{BMO}(\mathrm{d}μ)$, where $μ$ is a doubling measure in $\mathbb{R}^n$, $Y$ is some positive functional defined on cubes,… ▽ More We provide an abstract estimate of the form \[ \|f-f_{Q,μ}\|_{X \left(Q,\frac{\mathrm{d} μ}{Y(Q)}\right)}\leq c(μ,Y)ψ(X)\|f\|_{\mathrm{BMO}(\mathrm{d}μ)} \] for all cubes $Q$ in $\mathbb{R}^n$ and every function $f\in \mathrm{BMO}(\mathrm{d}μ)$, where $μ$ is a doubling measure in $\mathbb{R}^n$, $Y$ is some positive functional defined on cubes, $\|\cdot \|_{X \left(Q,\frac{\mathrm{d} w}{w(Q)}\right)}$ is a sufficiently good quasi-norm and $c(μ,Y)$ and $ψ(X)$ are positive constants depending on $μ$ and $Y$, and $X$, respectively. That abstract scheme allows us to recover the sharp estimate \[ \|f-f_{Q,μ}\|_{L^p \left(Q,\frac{\mathrm{d} μ(x)}{μ(Q)}\right)}\leq c(μ)p\|f\|_{\mathrm{BMO}(\mathrm{d}μ)}, \qquad p\geq1 \] for every cube $Q$ and every $f\in \mathrm{BMO}(\mathrm{d}μ)$, which is known to be equivalent to the John-Nirenberg inequality, and also enables us to obtain quantitative counterparts when $L^p$ is replaced by suitable strong and weak Orlicz spaces and $L^{p(\cdot)}$ spaces. Besides the aforementioned results we also generalize Theorem 1.2 in [OPRRR20] to the setting of doubling measures and obtain a new characterization of Muckenhoupt's $A_\infty$ weights. △ Less

Submitted 2 October, 2020; originally announced October 2020.

Minimal conditions for BMO

Authors: Javier Canto, Carlos Perez, Ezequiel Rela

Abstract: We study minimal integrability conditions via Luxemburg-type expressions with respect to generalized oscillations that imply the membership of a given function $f$ to the space BMO. Our method is simple, sharp and flexible enough to be adapted to several different settings, like spaces of homogeneous type, non doubling measures on $\mathbb{R}^n$ and also BMO spaces defined over more general bases… ▽ More We study minimal integrability conditions via Luxemburg-type expressions with respect to generalized oscillations that imply the membership of a given function $f$ to the space BMO. Our method is simple, sharp and flexible enough to be adapted to several different settings, like spaces of homogeneous type, non doubling measures on $\mathbb{R}^n$ and also BMO spaces defined over more general bases than the basis of cubes. △ Less

Submitted 20 July, 2020; originally announced July 2020.

A note on generalized Fujii-Wilson conditions and BMO spaces

Authors: Sheldy Ombrosi, Carlos Pérez, Israel P. Rivera-Ríos, Ezequiel Rela

Abstract: In this note we generalize the definition of Fujii-Wilson condition providing quantitative characterizations of some interesting classes of weights, such as $A_\infty$, $A_\infty^{weak}$ and $C_p$, in terms of BMO type spaces suited to them. We will provide as well some self improvement properties for some of those generalized BMO spaces and some quantitative estimates for Bloom's BMO type spaces. In this note we generalize the definition of Fujii-Wilson condition providing quantitative characterizations of some interesting classes of weights, such as $A_\infty$, $A_\infty^{weak}$ and $C_p$, in terms of BMO type spaces suited to them. We will provide as well some self improvement properties for some of those generalized BMO spaces and some quantitative estimates for Bloom's BMO type spaces. △ Less

Submitted 2 April, 2019; originally announced April 2019.

Comments: 15 pages

MSC Class: 42B25

Weighted estimates for maximal functions associated to skeletons

Authors: Andrea Olivo, Ezequiel Rela

Abstract: We provide quantitative weighted estimates for the $L^p(w)$ norm of a maximal operator associated to cube skeletons in $\mathbb{R}^n$. The method of proof differs from the usual in the area of weighted inequalities since there are no covering arguments suitable for the geometry of skeletons. We use instead a combinatorial strategy that allows to obtain, after a linearization and discretization,… ▽ More We provide quantitative weighted estimates for the $L^p(w)$ norm of a maximal operator associated to cube skeletons in $\mathbb{R}^n$. The method of proof differs from the usual in the area of weighted inequalities since there are no covering arguments suitable for the geometry of skeletons. We use instead a combinatorial strategy that allows to obtain, after a linearization and discretization, $L^p$ bounds for the maximal operator from an estimate related to intersections between skeletons and $k$-planes. △ Less

Submitted 14 March, 2019; originally announced March 2019.

Degenerate Poincaré-Sobolev inequalities

Authors: Carlos Pérez, Ezequiel Rela

Abstract: We study weighted Poincaré and Poincaré-Sobolev type inequalities with an explicit analysis on the dependence on the $A_p$ constants of the involved weights. We obtain inequalities of the form $$ \left (\frac{1}{w(Q)}\int_Q|f-f_Q|^{q}w\right )^\frac{1}{q}\le C_w\ell(Q)\left (\frac{1}{w(Q)}\int_Q |\nabla f|^p w\right )^\frac{1}{p}, $$ with different quantitative estimates for both the exponent $q$… ▽ More We study weighted Poincaré and Poincaré-Sobolev type inequalities with an explicit analysis on the dependence on the $A_p$ constants of the involved weights. We obtain inequalities of the form $$ \left (\frac{1}{w(Q)}\int_Q|f-f_Q|^{q}w\right )^\frac{1}{q}\le C_w\ell(Q)\left (\frac{1}{w(Q)}\int_Q |\nabla f|^p w\right )^\frac{1}{p}, $$ with different quantitative estimates for both the exponent $q$ and the constant $C_w$. We will derive those estimates together with a large variety of related results as a consequence of a general selfimproving property shared by functions satisfying the inequality $$ \frac{1}{|Q|}\int_Q |f-f_Q| dμ\le a(Q), $$ for all cubes $Q\subset\mathbb{R}^n$ and where $a$ is some functional that obeys a specific discrete geometrical summability condition. We introduce a Sobolev-type exponent $p^*_w>p$ associated to the weight $w$ and obtain further improvements involving $L^{p^*_w}$ norms on the left hand side of the inequality above. For the endpoint case of $A_1$ weights we reach the classical critical Sobolev exponent $p^*=\frac{pn}{n-p}$ which is the largest possible and provide different type of quantitative estimates for $C_w$. We also show that this best possible estimate cannot hold with an exponent on the $A_1$ constant smaller than $1/p$. We also provide an argument based on extrapolation ideas showing that there is no $(p,p)$, $p\geq1$, Poincaré inequality valid for the whole class of $RH_\infty$ weights by showing their intimate connection with the failure of Poincaré inequalities, $(p,p)$ in the range $0<p<1$. △ Less

Submitted 1 March, 2019; v1 submitted 25 May, 2018; originally announced May 2018.

Comments: Revised version. To appear in Trans. Amer. Math. Soc

Improved Buckley's theorem on LCA groups

Authors: Victoria Paternostro, Ezequiel Rela

Abstract: We present sharp quantitative weighted norm inequalities for the Hardy-Littlewood maximal function in the context of Locally Compact Abelian Groups, obtaining an improved version of the so-called Buckley's Theorem. On the way, we prove a precise reverse Hölder inequality for Muckenhoupt $A_\infty$ weights and provide a valid version of the "open property" for Muckenhoupt $A_p$ weights. We present sharp quantitative weighted norm inequalities for the Hardy-Littlewood maximal function in the context of Locally Compact Abelian Groups, obtaining an improved version of the so-called Buckley's Theorem. On the way, we prove a precise reverse Hölder inequality for Muckenhoupt $A_\infty$ weights and provide a valid version of the "open property" for Muckenhoupt $A_p$ weights. △ Less

Submitted 14 November, 2017; originally announced November 2017.

Journal ref: Pacific J. Math. 299 (2019) 171-189

Asymptotically sharp reverse Hölder inequalities for flat Muckenhoupt weights

Authors: Ioannis Parissis, Ezequiel Rela

Abstract: We present reverse Hölder inequalities for Muckenhoupt weights in $\mathbb{R}^n$ with an asymptotically sharp behavior for flat weights, namely $A_\infty$ weights with Fujii-Wilson constant $(w)_{A_\infty}\to 1^+$. That is, the local integrability exponent in the reverse Hölder inequality blows up as the weight becomes nearly constant. This is expressed in a precise and explicit computation of the… ▽ More We present reverse Hölder inequalities for Muckenhoupt weights in $\mathbb{R}^n$ with an asymptotically sharp behavior for flat weights, namely $A_\infty$ weights with Fujii-Wilson constant $(w)_{A_\infty}\to 1^+$. That is, the local integrability exponent in the reverse Hölder inequality blows up as the weight becomes nearly constant. This is expressed in a precise and explicit computation of the constants involved in the reverse Hölder inequality. The proofs avoid BMO methods and rely instead on precise covering arguments. Furthermore, in the one-dimensional case we prove sharp reverse Hölder inequalities for one-sided and two sided weights in the sense that both the integrability exponent as well as the multiplicative constant appearing in the estimate are best possible. We also prove sharp endpoint weak-type reverse Hölder inequalities and consider further extensions to general non-doubling measures and multiparameter weights. △ Less

Submitted 6 December, 2016; originally announced December 2016.

Comments: 25 pages, submitted for publication

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

Reverse Hölder Property for strong weights and general measures

Authors: Teresa Luque, Carlos Pérez, Ezequiel Rela

Abstract: We present dimension-free reverse Hölder inequalities for strong $A^*_p$ weights, $1\le p < \infty$. We also provide a proof for the full range of local integrability of $A_1^*$ weights. The common ingredient is a multidimensional version of Riesz's "rising sun" lemma. Our results are valid for any nonnegative Radon measure with no atoms. For $p=\infty$, we also provide a reverse Hölder inequality… ▽ More We present dimension-free reverse Hölder inequalities for strong $A^*_p$ weights, $1\le p < \infty$. We also provide a proof for the full range of local integrability of $A_1^*$ weights. The common ingredient is a multidimensional version of Riesz's "rising sun" lemma. Our results are valid for any nonnegative Radon measure with no atoms. For $p=\infty$, we also provide a reverse Hölder inequality for certain product measures. As a corollary we derive mixed $A_p^*-A_\infty^*$ weighted estimates. △ Less

Submitted 4 December, 2015; v1 submitted 3 December, 2015; originally announced December 2015.

Comments: To appear in Journal of Geometric Analysis

Optimal exponents in weighted estimates without examples

Authors: Teresa Luque, Carlos Pérez, Ezequiel Rela

Abstract: We present a general approach for proving the optimality of the exponents on weighted estimates. We show that if an operator $T$ satisfies a bound like $$ \|T\|_{L^{p}(w)}\le c\, [w]^β_{A_p} \qquad w \in A_{p}, $$ then the optimal lower bound for $β$ is closely related to the asymptotic behaviour of the unweighted $L^p$ norm $\|T\|_{L^p(\mathbb{R}^n)}$ as $p$ goes to 1 and $+\infty$, which is rela… ▽ More We present a general approach for proving the optimality of the exponents on weighted estimates. We show that if an operator $T$ satisfies a bound like $$ \|T\|_{L^{p}(w)}\le c\, [w]^β_{A_p} \qquad w \in A_{p}, $$ then the optimal lower bound for $β$ is closely related to the asymptotic behaviour of the unweighted $L^p$ norm $\|T\|_{L^p(\mathbb{R}^n)}$ as $p$ goes to 1 and $+\infty$, which is related to Yano's classical extrapolation theorem. By combining these results with the known weighted inequalities, we derive the sharpness of the exponents, without building any specific example, for a wide class of operators including maximal-type, Calderón--Zygmund and fractional operators. In particular, we obtain a lower bound for the best possible exponent for Bochner-Riesz multipliers. We also present a new result concerning a continuum family of maximal operators on the scale of logarithmic Orlicz functions. Further, our method allows to consider in a unified way maximal operators defined over very general Muckenhoupt bases. △ Less

Submitted 29 November, 2013; v1 submitted 22 July, 2013; originally announced July 2013.

Comments: Revised and corrected version. To appear in Math. Res. Lett

Refined size estimates for Furstenberg sets via Hausdorff measures: a survey of some recent results

Authors: Ezequiel Rela

Abstract: In this survey we collect and discuss some recent results on the so called "Furstenberg set problem", which in its classical form concerns the estimates of the Hausdorff dimension of planar sets containing, for any direction, a subset of an interval poitning in that direction of some prescribed dimension. This problem is closely related to the "Kakeya needle problem". In this work we approach this… ▽ More In this survey we collect and discuss some recent results on the so called "Furstenberg set problem", which in its classical form concerns the estimates of the Hausdorff dimension of planar sets containing, for any direction, a subset of an interval poitning in that direction of some prescribed dimension. This problem is closely related to the "Kakeya needle problem". In this work we approach this problem from a more general point of view, in terms of generalized Hausdorff measures associated to dimension functions. We generalize the known results in terms of "logarithmic gaps" and obtain analogues to the classical estimates. Moreover, these analogues allow us to extend our results to the zero dimensional endpoint. We also obtain results about the dimension of a variation of Furstenberg sets defined for a fractal set of directions. We prove analogous inequalities reflecting the interplay between the size of the set of directions and the size of each fiber. This problem is also studied in the general scenario of Hausdorff measures. △ Less

Submitted 16 May, 2013; originally announced May 2013.

Comments: To appear in the Proceedings of IWOTA 2011

MSC Class: 28A78

A new quantitative two weight theorem for the Hardy-Littlewood maximal operator

Authors: Carlos Pérez, Ezequiel Rela

Abstract: A quantitative two weight theorem for the Hardy-Littlewood maximal operator is proved improving the known ones. As a consequence a new proof of the main results in [HP] and in [HPR12] is obtained which avoids the use of the sharp quantitative reverse Holder inequality for $A_{\infty}$ proved in those papers. Our results are valid within the context of spaces of homogeneous type without imposing th… ▽ More A quantitative two weight theorem for the Hardy-Littlewood maximal operator is proved improving the known ones. As a consequence a new proof of the main results in [HP] and in [HPR12] is obtained which avoids the use of the sharp quantitative reverse Holder inequality for $A_{\infty}$ proved in those papers. Our results are valid within the context of spaces of homogeneous type without imposing the non-empty annuli condition. △ Less

Submitted 2 May, 2013; originally announced May 2013.

MSC Class: Primary: 42B25. Secondary: 43A85

Sharp Reverse Hölder property for A_\infty weights on spaces of homogeneous type

Authors: Tuomas Hytönen, Carlos Pérez, Ezequiel Rela

Abstract: In this article we present a new proof of a sharp Reverse Hölder Inequality for $A_\infty$ weights that is valid in the context of spaces of homogeneous type. Then we derive two applications: a precise open property of Muckenhoupt classes and, as a consequence of this last result, we obtain a simple proof of a sharp weighted bound for the Hardy-Littlewood maximal function involving $A_\infty$ cons… ▽ More In this article we present a new proof of a sharp Reverse Hölder Inequality for $A_\infty$ weights that is valid in the context of spaces of homogeneous type. Then we derive two applications: a precise open property of Muckenhoupt classes and, as a consequence of this last result, we obtain a simple proof of a sharp weighted bound for the Hardy-Littlewood maximal function involving $A_\infty$ constants: |M|_{L^p(w)} \leq c (\frac{1}{p-1} [w]_{A_p}[σ]_{A_\infty})^{1/p}, where $1<p<\infty$, $σ=w^{\frac{1}{1-p}}$ and $c$ depends only on the doubling constant of the measure $μ$ and the geometric constant $κ$ of the quasimetric. △ Less

Submitted 17 August, 2012; v1 submitted 10 July, 2012; originally announced July 2012.

Comments: Corrected version. Theorem 1.1 has changed and now is a weak sharp reverse Holder property in the case of spaces of homogeneous type. However, the main results derived from that Theorem remain valid as in the previous version, with minor modifications. We thank Andrei Lerner for his observations and corrections

Improving bounds for singular operators via Sharp Reverse Hölder Inequality for $A_{\infty}$

Authors: Carmen Ortiz-Caraballo, Carlos Pérez, Ezequiel Rela

Abstract: In this expository article we collect and discuss some recent results on different consequences of a Sharp Reverse Hölder Inequality for $A_{\infty}$ weights. For two given operators $T$ and $S$, we study $L^p(w)$ bounds of Coifman-Fefferman type. $ \|Tf\|_{L^p(w)}\le c_{n,w,p} \|Sf\|_{L^p(w)}, $ that can be understood as a way to control $T$ by $S$. We will focus on a \emph{quantitative} analysis… ▽ More In this expository article we collect and discuss some recent results on different consequences of a Sharp Reverse Hölder Inequality for $A_{\infty}$ weights. For two given operators $T$ and $S$, we study $L^p(w)$ bounds of Coifman-Fefferman type. $ \|Tf\|_{L^p(w)}\le c_{n,w,p} \|Sf\|_{L^p(w)}, $ that can be understood as a way to control $T$ by $S$. We will focus on a \emph{quantitative} analysis of the constants involved and show that we can improve classical results regarding the dependence on the weight $w$ in terms of Wilson's $A_{\infty}$ constant $ [w]_{A_{\infty}}:=\sup_Q\frac{1}{w(Q)}\int_Q M(wχ_Q).$ We will also exhibit recent improvements on the problem of finding sharp constants for weighted norm inequalities involving several singular operators. We obtain mixed $A_{1}$--$A_{\infty}$ estimates for the commutator $[b,T]$ and for its higher order analogue $T^k_{b}$. A common ingredient in the proofs presented here is a recent improvement of the Reverse Hölder Inequality for $A_{\infty}$ weights involving Wilson's constant. △ Less

Submitted 7 April, 2012; originally announced April 2012.

Exponential decay estimates for Singular Integral operators

Authors: Carmen Ortiz-Caraballo, Carlos Pérez, Ezequiel Rela

Abstract: The following subexponential estimate for commutators is proved |[|\{x\in Q: |[b,T]f(x)|>tM^2f(x)\}|\leq c\,e^{-\sqrt{α\, t\|b\|_{BMO}}}\, |Q|, \qquad t>0.\] where $c$ and $α$ are absolute constants, $T$ is a Calderón--Zygmund operator, $M$ is the Hardy Littlewood maximal function and $f$ is any function supported on the cube $Q$. It is also obtained \[|\{x\in Q: |f(x)-m_f(Q)|>tM_{1/4;Q}^#(f)(x) \… ▽ More The following subexponential estimate for commutators is proved |[|\{x\in Q: |[b,T]f(x)|>tM^2f(x)\}|\leq c\,e^{-\sqrt{α\, t\|b\|_{BMO}}}\, |Q|, \qquad t>0.\] where $c$ and $α$ are absolute constants, $T$ is a Calderón--Zygmund operator, $M$ is the Hardy Littlewood maximal function and $f$ is any function supported on the cube $Q$. It is also obtained \[|\{x\in Q: |f(x)-m_f(Q)|>tM_{1/4;Q}^#(f)(x) \}|\le c\, e^{-α\,t}|Q|,\qquad t>0,\] where $m_f(Q)$ is the median value of $f$ on the cube $Q$ and $M_{1/4;Q}^#$ is Strömberg's local sharp maximal function. As a consequence it is derived Karagulyan's estimate \[|\{x\in Q: |Tf(x)|> tMf(x)\}|\le c\, e^{-c\, t}\,|Q|\qquad t>0,\] improving Buckley's theorem. A completely different approach is used based on a combination of "Lerner's formula" with some special weighted estimates of Coifman-Fefferman obtained via Rubio de Francia's algorithm. The method is flexible enough to derive similar estimates for other operators such as multilinear Calderón--Zygmund operators, dyadic and continuous square functions and vector valued extensions of both maximal functions and Calderón--Zygmund operators. On each case, $M$ will be replaced by a suitable maximal operator. △ Less

Submitted 15 April, 2013; v1 submitted 7 April, 2012; originally announced April 2012.

Comments: To appear in Mathematische Annalen

Furstenberg sets for a fractal set of directions

Authors: Ursula Molter, Ezequiel Rela

Abstract: In this note we study the behavior of the size of Furstenberg sets with respect to the size of the set of directions defining it. For any pair $α,β\in(0,1]$, we will say that a set $E\subset \R^2$ is an $F_{αβ}$-set if there is a subset $L$ of the unit circle of Hausdorff dimension at least $β$ and, for each direction $e$ in $L$, there is a line segment $\ell_e$ in the direction of $e$ such that t… ▽ More In this note we study the behavior of the size of Furstenberg sets with respect to the size of the set of directions defining it. For any pair $α,β\in(0,1]$, we will say that a set $E\subset \R^2$ is an $F_{αβ}$-set if there is a subset $L$ of the unit circle of Hausdorff dimension at least $β$ and, for each direction $e$ in $L$, there is a line segment $\ell_e$ in the direction of $e$ such that the Hausdorff dimension of the set $E\cap\ell_e$ is equal or greater than $α$. The problem is considered in the wider scenario of generalized Hausdorff measures, giving estimates on the appropriate dimension functions for each class of Furstenberg sets. As a corollary of our main results, we obtain that $\dim(E)\ge\max\left\{α+\fracβ{2} ; 2α+β-1\right\}$ for any $E\in F_{αβ}$. In particular we are able to extend previously known results to the ``endpoint'' $α=0$ case. △ Less

Submitted 2 September, 2010; originally announced September 2010.

Comments: 13 pages

Small Furstenberg sets

Authors: Ursula Molter, Ezequiel Rela

Abstract: For $α$ in $(0,1]$, a subset $E$ of $\RR$ is called Furstenberg set of type $α$ or $F_α$-set if for each direction $e$ in the unit circle there is a line segment $\ell_e$ in the direction of $e$ such that the Hausdorff dimension of the set $E\cap\ell_e$ is greater or equal than $α$. In this paper we show that if $α> 0$, there exists a set $E\in F_α$ such that $\HH{g}(E)=0$ for… ▽ More For $α$ in $(0,1]$, a subset $E$ of $\RR$ is called Furstenberg set of type $α$ or $F_α$-set if for each direction $e$ in the unit circle there is a line segment $\ell_e$ in the direction of $e$ such that the Hausdorff dimension of the set $E\cap\ell_e$ is greater or equal than $α$. In this paper we show that if $α> 0$, there exists a set $E\in F_α$ such that $\HH{g}(E)=0$ for $g(x)=x^{1/2+3/2α}\log^{-θ}(\frac{1}{x})$, $θ>\frac{1+3α}{2}$, which improves on the the previously known bound, that $H^β(E) = 0$ for $β>1/2+3/2α$. Further, by refining the argument in a subtle way, we are able to obtain a sharp dimension estimate for a whole class of zero-dimensional Furstenberg type sets. Namely, for $\h_γ(x)=\log^{-γ}(\frac{1}{x})$, $γ>0$, we construct a set $E_γ\in F_{\h_γ}$ of Hausdorff dimension not greater than 1/2. Since in a previous work we showed that 1/2 is a lower bound for the Hausdorff dimension of any $E\in F_{\h_γ}$, with the present construction, the value 1/2 is sharp for the whole class of Furstenberg sets associated to the zero dimensional functions $\h_γ$. △ Less

Submitted 12 November, 2012; v1 submitted 24 June, 2010; originally announced June 2010.

Comments: Final version

MSC Class: 28A78; 28A80

Improving dimension estimates for Furstenberg-type sets

Authors: Ursula Molter, Ezequiel Rela

Abstract: In this paper we prove some lower bounds on the Hausdorff dimension of sets of Furstenberg type. Moreover, we extend these results to sets of generalized Furstenberg type, associated to doubling dimension functions. With some additional growth conditions on the dimension function, we obtain a lower bound on the dimension of "zero dimensional" Furstenberg sets. In this paper we prove some lower bounds on the Hausdorff dimension of sets of Furstenberg type. Moreover, we extend these results to sets of generalized Furstenberg type, associated to doubling dimension functions. With some additional growth conditions on the dimension function, we obtain a lower bound on the dimension of "zero dimensional" Furstenberg sets. △ Less

Submitted 18 November, 2009; v1 submitted 17 April, 2009; originally announced April 2009.

Comments: 16 pages, 3 figures

MSC Class: 28A78; 28A80