We prove a sharp multiparameter integral inequality for the dyadic maximal operator which refines the one-parameter inequality that is given by A.Melas in [4] which in turn is applied for the evaluation of the Bellman function of two integral variables for this maximal operator. Moreover we find the exact domain of definition of the related Bellman function of three integral variables and by using the results connected with the sharpness of this new multiparameter inequality we give lower bounds of this Bellman function.
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 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 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 study boundedness properties of a class of multiparameter paraproducts on the dual space of the dyadic Hardy space H_d^1(T^N), the dyadic product BMO space BMO_d(T^N). For this, we introduce a notion of logarithmic mean oscillation on the polydisc. We also obtain a result on the boundedness of iterated commutators on BMO([0,1]^2).
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.
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 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…
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.
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…
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 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 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$.
The classical Grothendieck inequality is viewed as a statement about representations of functions of two variables over discrete domains by integrals of two-fold products of functions of one variable. An analogous statement is proved, concerning continuous functions of two variables over general topological domains. The main result is a construction of a continuous map $Φ$ from $l^2(A)$ into $L^2(Ω_A, P_A)$, where $A$ is a set, $Ω_A = {-1,1}^A$, and $P_A$ is the uniform probability measure on $Ω_A$, such that $$\sum_{α\in A} x(α) \bar{y}(α)} = \int_{Ω_A} Φ(x)Φ(\bar{y})dP_A, x \in l^2(A), y \in…
The Optimal Scaling Parameter in Metric Cotype for Alexandrov Spaces of Nonnegative Curvature
School of Mathematical Sciences, Xiamen University（厦门大学数学科学学院）；Hebei Key Laboratory of Physics and Energy Technology, School of Mathematics and Physics, North China Electric Power University（华北电力大学数学与电气工程学院）
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 …
Let $S_α$ be the multilinear square function defined on the cone with aperture $α\geq 1$. In this paper, we investigate several kinds of weighted norm inequalities for $S_α$. We first obtain a sharp weighted estimate in terms of aperture $α$ and $\vec{w} \in A_{\vec{p}}$. By means of some pointwise estimates, we also establish two-weight inequalities including bump and entropy bump estimates, and Fefferman-Stein inequalities with arbitrary weights. Beyond that, we consider the mixed weak type estimates corresponding Sawyer's conjecture, for which a Coifman-Fefferman inequality with the precise…
We give necessary and sufficient conditions in order that inequalities of the type $$ \| T_K f\|_{L^q(dμ)}\leq C \|f\|_{L^p(dσ)}, \qquad f \in L^p(dσ), $$ hold for a class of integral operators $T_K f(x) = \int_{R^n} K(x, y) f(y) d σ(y)$ with nonnegative kernels, and measures $d μ$ and $dσ$ on $\R^n$, in the case where $p>q>0$ and $p>1$. An important model is provided by the dyadic integral operator with kernel $K_{\mathcal D}(x, y) \sum_{Q\in{\mathcal D}} K(Q) χ_Q(x) χ_Q(y)$, where $\mathcal D=\{Q\}$ is the family of all dyadic cubes in $\R^n$, and $K(Q)$ are arbitrary nonnegative constants a…
Let $({\mathcal X},ρ,μ)$ be a space of homogeneous type in the sense of Coifman and Weiss, and $Y({\mathcal X})$ a ball quasi-Banach function space on ${\mathcal X}$, which supports a Fefferman--Stein vector-valued maximal inequality, and the boundedness of the powered Hardy--Littlewood maximal operator on its associate space. The authors first introduce the Hardy space $H_{Y}^*({\mathcal X})$, associated with $Y({\mathcal X})$, via the grand maximal function, and then establish its various real-variable characterizations, respectively, in terms of radial or non-tangential maximal functions, a…
Let $(\mathbb{X},d,μ)$ be a space of homogeneous type in the sense of R. R. Coifman and G. Weiss, and $X(\mathbb{X})$ a ball quasi-Banach function space on $\mathbb{X}$. In this article, the authors introduce the weak Hardy space $WH_X(\mathbb{X})$ associated with $X(\mathbb{X})$ via the grand maximal function, and characterize $WH_X(\mathbb{X})$ by other maximal functions and atoms. The authors then apply these characterizations to obtain the real interpolation and the boundedness of Calderón--Zygmund operators in the critical case. The main novelties of this article exist in that the authors…
