We prove a sharp integral inequality for the dyadic maximal operator due to which the evaluation of the Bellman function of this operator with respect to two variables is possible, as can be seen in [3]. Our inequality of interest is proved in this article by a simpler and more immediate way. We also study a stability result in connection with this inequality, that is we provide a necessary and sufficient condition, for a sequence of functions,under which we obtain equality in the limit. The proof of this result is based on the proof of the related inequality which we present in this article.
We prove a sharp integral inequality for the dyadic maximal operator and give as an application another proof for the computation of its Bellman function of three variables.
We precisely compute the Bellman function of two variables of the dyadic maximal operator in relation to Kolmogorov inequality. In this way we give an alternative proof of the results in [5].Additionally, we characterize the sequences of functions that are extremal for this Bellman function.The proof of this is based on that is given in this paper for the Bellman function we are interested in.
We give a characterization of the extremal sequences for the Bellman function of three variables of the dyadic maximal operator in relation to Kolmogorov's inequality. In fact we prove that they behave approximately like eigenfunctions of this operator for a specific eigenvalue. For this approach we use the one introduced in [4], where the respective Bellman function has been precisely evaluated.
We prove a sharp integral inequality which connects the dyadic maximal operator with the Hardy operator. We also give some applications of this inequality.
We obtain sharp estimates for the localized distribution function of Mϕ, when ϕbelongs to Lp,\inf where M is the dyadic maximal operator. We obtain these estimates given the L1 and Lq norm, q < p and certain weak Lp-conditions.
We compute the Bellman function of three integral variables associated to the dyadic maximal operator on a subset of its domain. Additionally, we provide an upper bound for the whole domain of its definition.
We precisely evaluate Bellman type functions for the dyadic maximal opeator on $R^n$ and of maximal operators on martingales related to local Lorentz type estimates. Using a type of symmetrization principle, introduced for the dyadic maximal operator in earlier works of the authors we precisely evaluate the supremum of the Lorentz quasinorm of the maximal operator on a function $ϕ$ when the integral of $ϕ$ is fixed and also the same Lorentz quasinorm of $ϕ$ is fixed. Also we find the corresponding supremum when the integral of $ϕ$ is fixed and several weak type conditions are given.
We prove that for any weight $ϕ$ defined on $[0,1]^n$ that satisfies a reverse Holder inequality with exponent p > 1 and constant $c\ge1$ upon all dyadic subcubes of $[0,1]^n$, it's non increasing rearrangement satisfies a reverse Holder inequality with the same exponent and constant not more than $2^nc-2^n + 1$, upon all subintervals of $[0; 1]$ of the form $[0; t]$. This gives as a consequence, according to the results in [8], an interval $[p; p_0(p; c)) = I{p,c}$, such that for any $q \in I{p,c}$, we have that $ϕ$ is in $L^q$.
We discuss the dyadic John-Nirenberg space that is a generalization of functions of bounded mean oscillation. A John-Nirenberg inequality, which gives a weak type estimate for the oscillation of a function, is discussed in the setting of medians instead of integral averages. We show that the dyadic maximal operator is bounded on the dyadic John-Nirenberg space and provide a method to construct nontrivial functions in the dyadic John-Nirenberg space. Moreover, we prove that the John-Nirenberg space is complete. Several open problems are also discussed.
We provide sharp weak estimates for the distribution function of Mϕwhen on ϕwe impose L1, Lq and Lp,1 restrictions. Here M is the dyadic maximal operator associated to a tree T on a non-atomic probability measure space.
We introduce atoms for dyadic atomic $H^1$ for which the equivalence between atomic and maximal function defnitions is dimension independent. We give the sharp, up to $\log(d)$ factor, estimates for the $H^1 \to L^1$ norm estimates for the special maximal function.
We give a new proof of the sharp weighted $L^2$ inequality ||T||_{L^2(w)} \leq c [w]_{A_2} where $T$ is the Hilbert transform, a Riesz transform, the Beurling-Ahlfors operator or any operator that can be approximated by Haar shift operators. Our proof avoids the Bellman function technique and two weight norm inequalities. We use instead a recent result due to A. Lerner to estimate the oscillation of dyadic operators.
We investigate a scale of dyadic operator-valued BMO spaces, corresponding to the different yet equivalent characterizations of dyadic BMO in the scalar case. In the language of operator spaces, we investigate different operator space structures on the scalar dyadic BMO space which arise naturally from the different characterisations of scalar BMO. We also give sharp dimensional growth estimates for the sweep of functions and its bilinear extension in some of those different dyadic BMO spaces.
Properties of a maximal function for vector-valued martingales were studied by the author in an earlier paper. Restricting here to the dyadic setting, we prove the equivalence between (weighted) L^p inequalities and weak type estimates, and discuss an extension to the case of locally finite Borel measures on R^n. In addition, to compensate for the lack of an L^\infty inequality, we derive a suitable BMO estimate. Different dyadic systems in different dimensions are also considered.
We prove that the decreasing rearrangement of a dyadic A1 weight w with dyadic A1 constant [w]_{1,T}=c with respect to a tree T of homogeneity k,on a non-atomic probability space, is a usual A1 weight on (0,1] with A1 constant not more than kc-k+1.We prove also that the result is sharp, when one considers all such weights w.
We consider BMO spaces of operator-valued functions, among them the space of operator-valued functions $B$ which define a bounded paraproduct on $L^2(H)$. We obtain several equivalent formulations of $\|π_B\|$ in terms of the norm of the "sweep" function of $B$ or of averages of the norms of martingales transforms of $B$ in related spaces. Furthermore, we investigate a connection between John-Nirenberg type inequalities and Carleson-type inequalities via a product formula for paraproducts and deduce sharp dimensional estimates for John-Nirenberg type inequalities.
We provide a quantitative two weight estimate for the dyadic paraproduct $π_b$ under certain conditions on a pair of weights $(u;v)$ and $b$ in $Carl_{u,v}$, a new class of functions that we show coincides with BMO when $u = v \in A^d_2$. We obtain quantitative two weight estimates for the dyadic square function and the martingale transforms under the assumption that the maximal function is bounded from $L_2(u)$ into $L_2(v)$ and $v \in RH^d_1$. Finally we obtain a quantitative two weight estimate from $L_2(u)$ into $L_2(v)$ for the dyadic square function under the assumption that the pair $(u…
We study trace inequalities of the type $$ \| T_k f\|_{L^q(dμ)}\leq C \|f\|_{L^p(dσ)}, \qquad f \in L^p(dσ), $$ in the ``upper triangle case'' $1 \leq q<p$ for integral operators $T_k$ with positive kernels, where $dσ$ and $dμ$ are positive Borel measures on $\R^n$. Our main tool is a generalization of Th. Wolff's inequality which gives two-sided estimates of the energy ${\mathcal E}_{k, σ} [μ]=\int_{\R^n} (T_k [μ])^{p'} d σ$ through the $L^1(dμ)$-norm of an appropriate nonlinear potential $W_{k, σ}[μ]$ associated with the kernel $k$ and measures $dμ$, $d σ$. We initially work with a dyadic in…
Dyadic shifts of point distributions in the multi-dimensional unit cube are considered as a randomization. Explicit formulas for the discrepancies of such randomized distributions are given in the paper in terms of Rademacher functions. Relaying on the statistical independence of Rademacher functions, Khinchin's inequalities, and other related results, we obtain very sharp upper and lower bounds for the mean discrepancies.
Let $S$ be the Lie group $\mathrm{R}^n\ltimes \mathrm{R}^+$ endowed with the left-invariant Riemannian symmetric space structure and the right Haar measure $ρ$, which is a Lie group of exponential growth. Hebisch and Steger in [Math. Z. 245(2003), 37--61] proved that any integrable function on $(S,ρ)$ admits a Calderón--Zygmund decomposition which involves a particular family of sets, called Calderón--Zygmund sets. In this paper, we first show the existence of a dyadic grid in the group $S$, which has {nice} properties similar to the classical Euclidean dyadic cubes. Using the properties of th…
In this paper we extend dyadic shifts and the dyadic representation theorem to an operator-valued setting: We first define operator-valued dyadic shifts and prove that they are bounded. We then extend the dyadic representation theorem, which states that every scalar-valued Calderón-Zygmund operator can be represented as a series of dyadic shifts and paraproducts averaged over randomized dyadic systems, to operator-valued Calderón-Zygmund operators. As a corollary, we obtain another proof of the operator-valued, global T(1) theorem. We work in the setting of integral operators that have R-bound…
Using elementary techniques, we prove sharp anisotropic Hardy-Littlewood inequalities for positive multilinear forms. In particular, we recover an inequality proved by F. Bayart in 2018.
We prove a sharp quantitative version of the $p$-Sobolev inequality for any $1<p<n$, with a control on the strongest possible distance from the class of optimal functions. Surprisingly, the sharp exponent is constant for $p<2$, while it depends on $p$ for $p>2$.
The primary goal of this paper is to improve the operator version of Jensen inequality. As an application, we provide an improvement for the celebrated Ando's inequality. Additionally, we give a tight bound for the operator Hölder inequality.
We solve the open problem of determining the second order term in the asymptotic expansion of the integral in Ball's integral inequality. In fact, we provide a method by which one can compute any term in the expansion. We also indicate how to derive an asymptotically sharp form of a generalized Ball's integral inequality.
A Bernstein-type inequality in the standard Hardy space H^{2} of the unit disc \mathbb{D}=\{z\in\mathbb{C}:\,|z|<1\}, for rational functions in \mathbb{D} having at most n poles all outside of \frac{1}{r}\mathbb{D}, 0
We prove a sharp integral inequality that generalizes the well known Hardy type integral inequality for negative exponents. We also give sharp applications in two directions for Muckenhoupt weights on R. This work refines the results that appear in [9].
In this note besides two abstract versions of the Vitali Covering Lemma an abstract Hardy-Littlewood Maximal Inequality, generalizing weak type (1,1) maximal function inequality, associated to any outer measure and a family of subsets on a set is introduced. The inequality is (effectively) satisfied if and only if a special numerical constant called Hardy-Littelwood maximal constant is finite. Two general sufficient conditions for the finiteness of this constant are given and upper bounds for this constant associated to the family of (centered) balls in homogeneous spaces, family of dyadic cub…
We extend the classical Lyapunov inequality on the measurable space with infinite measure and on the so-called Grand Lebesgue spaces (GLS). We find also the exact value for correspondent constant. Possible applications: Functional Analysis (for instance, interpolation of operators), Integral Equations, Probability Theory and Statistics (tail estimations for random variables) etc.
We study the vector-valued positive dyadic operator \[T_λ(fσ):=\sum_{Q\in\mathcal{D}} λ_Q \int_Q f \mathrm{d}σ1_Q,\] where the coefficients $\{λ_Q:C\to D\}_{Q\in\mathcal{D}}$ are positive operators from a Banach lattice $C$ to a Banach lattice $D$. We assume that the Banach lattices $C$ and $D^*$ each have the Hardy--Littlewood property. An example of a Banach lattice with the Hardy--Littlewood property is a Lebesgue space. In the two-weight case, we prove that the $L^p_C(σ)\to L^q_D(ω)$ boundedness of the operator $T_λ( \cdot σ)$ is characterized by the direct and the dual $L^\infty$ testing …
We give a new proof of the sharp one weight $L^p$ inequality for any operator $T$ that can be approximated by Haar shift operators such as the Hilbert transform, any Riesz transform, the Beurling-Ahlfors operator. Our proof avoids the Bellman function technique and two weight norm inequalities. We use instead a recent result due to A. Lerner to estimate the oscillation of dyadic operators. Our method is flexible enough to prove the corresponding sharp one-weight norm inequalities for some operators of harmonic analysis: the maximal singular integrals associated to $T$, Dyadic square functions …
A sharp Poincaré-type inequality is derived for the restriction of the Gaussian measure on the boundary of a convex set. In particular, it implies a Gaussian mean-curvature inequality and a Gaussian iso second-variation inequality. The new inequality is nothing but an infinitesimal form of Ehrhard's inequality for the Gaussian measure.
Given a general dyadic grid ${\mathscr{D}}$ and a sparse family of cubes ${\mathcal S}=\{Q_j^k\}\in {\mathscr{D}}$, define a dyadic positive operator ${\mathcal A}_{\mathscr{D},{\mathcal S}}$ by $${\mathcal A}_{\mathscr{D},{\mathcal S}}f(x)=\sum_{j,k}f_{Q_j^k}χ_{Q_j^k}(x).$$ Given a Banach function space $X({\mathbb R}^n)$ and the maximal Calderón-Zygmund operator $T_{\natural}$, we show that $$\|T_{\natural}f\|_X\le c(n,T)\sup_{\mathscr{D},{\mathcal S}}\|{\mathcal A}_{\mathscr{D},{\mathcal S}}f\|_{X}.$$ This result is applied to weighted inequalities. In particular, it implies: (i) the "two-w…
A method of proving Hardy's type inequality for orthogonal expansions is presented in a rather general setting. Then sharp multi-dimensional Hardy's inequality associated with the Laguerre functions of convolution type is proved for type index $\al\in[-1/2,\infty)^d$. The case of the standard Laguerre functions is also investigated. Moreover, the sharp analogues of Hardy's type inequality involving $L^1$ norms in place of $H^1$ norms are obtained in both settings.
The well known duality between the Sobolev inequality and the Hardy-Littlewood-Sobolev inequality suggests that the Nash inequality could also have an interesting dual form, even though the Nash inequality relates three norms instead of two. We provide such a dual form here with sharp constants. This dual inequality relates the $L^2$ norm to the infimal convolution of the $L^\infty $ and $H^{-1}$ norms. The computation of this infimal convolution is a minimization problem, which we solve explicitly, thus providing a new proof of the sharp Nash inequality itself. This proof, via duality, also y…
Using a dimension reduction argument and a stability version of the weighted Sobolev inequality on half space recently proved by Seuffert, we establish, in this paper, some stability estimates (or quantitative estimates) for a family of the sharp Gagliardo--Nirenberg--Sobolev inequalities due to Del Pino and Dolbeault \cite{DelPino}.
We construct a new idempotent Fourier multiplier on the Hardy space on the bidisc, which could not be obtained by applying known one dimentional results. The main tool is a new $L^1$ equivalent of the Stein martingale inequality which holds for a special filtration of periodic subsets of $\mathbb{T}$ with some restrictions on the functions involved. We also identify the isomorphic type of the range of the associated operator as the independent sum of dyadic $H^1_n$, which is known to be a complemented and invariant subspace of dyadic $H^1$.
We prove a sharp analog of Young's inequality on $S^N$, and deduce from it certain sharp entropy inequalities. The proof turns on constructing a nonlinear heat flow that drives trial functions to optimizers in a monotonic manner. This strategy also works for the generalization of Young's inequality on $R^N$ to more than three functions, and leads to significant new information about the optimizers and the constants.
We give a new proof of certain cases of the sharp HLS inequality. Instead of symmetric decreasing rearrangement it uses the reflection positivity of inversions in spheres. In doing this we extend a characterization of the minimizing functions due to Li and Zhu.
We prove a Log Log inequality with a sharp constant in four dimensions for radially symmetric functions. We also show that the constant in the Log estimate is almost sharp.
We establish several Poincaré--Sobolev type inequalities for the Lapalce--Beltrami operator $Δ_g$ in the hyperbolic space $\mathbb H^n$ with $n\geq 5$. These inequalities could be seen as the improved second order Poincaré inequality with remainder terms involving with the sharp Rellich inequality or sharp Sobolev inequality in $\mathbb H^n$. The novelty of these inequalities is that it combines both the sharp Poincaré inequality and the sharp Rellich inequality or the sharp Sobolev inequality for $Δ_g$ in $\mathbb H^n$. As a consequence, we obtain the Poincaré--Sobolev inequality for the seco…
In this paper we prove a class of second order Caffarelli-Kohn-Nirenberg inequalities which contains the sharp second order uncertainty principle recently established by Cazacu, Flynn and Lam \cite{CFL2020} as a special case. We also show the sharpness of our inequalities for several classes of parameters. Finally, we prove two stability versions of the sharp second order uncertainty principle of Cazacu, Flynn and Lam by showing that the difference of both sides of the inequality controls the distance to the set of extremal functions in $L^2$ norm of gradient of functions.
We show that the sharp constant in the Hardy-Littlewood-Sobolev inequality can be derived using the method that we employed earlier for a similar inequality on the Heisenberg group. The merit of this proof is that it does not rely on rearrangement inequalities; it is the first one to do so for the whole parameter range.
We find a new sharp trace Gagliardo-Nirenberg-Sobolev inequality on convex cones, aswell as a weighted sharp trace Sobolev inequality on epigraphs of convex functions. This is done by using a generalized Borell-Brascamp-Lieb inequality, coming from the Brunn-Minkowski theory.
We obtain a sharp norm estimate for Hankel operators with anti-analytic symbol for weighted Bergman spaces. For the classical Bergman space, the estimate improves the corresponding classical Putnam inequality for commutators of Toeplitz operators with analytic symbol by a factor of $1/2$, answering a recent conjecture by Bell, Ferguson and Lundberg. As an application, this yields a new proof of the de St. Venant inequality, which relates the torsional rigidity of a domain with its area.
We establish a sharp Adams-type inequality invoking a Hardy inequality for any even dimension. This leads to a non compact Sobolev embedding in some Orlicz space. We also give a description of the lack of compactness of this embedding in the spirit of \cite{Bahouri}.
