We present lower estimates for the best constant appearing in the weak $(1,1)$ maximal inequality in the space $(\R^n,\|\cdot\|_{\iy})$. We show that this constant grows to infinity faster than $(\log n)^{1-o(1)}$ when $n$ tends to infinity. To this end, we follow and simplify the approach used by J.M. Aldaz. The new part of the argument relies on Donsker's theorem identifying the Brownian bridge as the limit object describing the statistical distribution of the coordinates of a point randomly chosen in the unit cube $[0,1]^n$ ($n$ large).
We improve the constant $\fracπ{2}$ in $L^1$-Poincaré inequality on Hamming cube. For Gaussian space the sharp constant in $L^1$ inequality is known, and it is $\sqrt{\fracπ{2}}$. For Hamming cube the sharp constant is not known, and $\sqrt{\fracπ{2}}$ gives an estimate from below for this sharp constant. On the other hand, L. Ben Efraim and F. Lust-Piquard have shown an estimate from above: $C_1\le \fracπ{2}$. There are at least two other independent proofs of the same estimate from above (we write down them in this note). Since those proofs are very different from the proof of Ben Efraim and…
We provide off-diagonal estimates for a maximal operator arising from a geometric problem of estimating the size of certain geometric configuration of k- skeletons in $\mathbb{R}^n$. This is achieved by interpolating a weak-type endpoint estimate with the known diagonal bounds. The endpoint estimate is proved by combining a geometric result about k-skeletons and adapting an argument used to prove off-diagonal estimates for the circular maximal function in the plane.
We study discretized maximal operators associated to averaging over (neighborhoods of) squares in the plane and, more generally, $k$-skeletons in $\mathbb{R}^n$. Although these operators are known not to be bounded on any $L^p$, we obtain nearly sharp $L^p$ bounds for every small discretization scale. These results are motivated by, and partially extend, recent results of T. Keleti, D. Nagy and P. Shmerkin, and of R. Thornton, on sets that contain a scaled $k$-sekeleton of the unit cube with center in every point of $\mathbb{R}^n$.
Let $M_d$ be the centered Hardy-Littlewood maximal function associated to cubes in $\mathbb{R}^d$ with Lebesgue measure, and let $c_d$ denote the lowest constant appearing in the weak type (1,1) inequality satisfied by $M_d$. We show that $c_d \to \infty$ as $d\to \infty$, thus answering, for the case of cubes, a long standing open question of E. M. Stein and J. O. Strömberg.
Dimension-free estimates for discrete maximal functions over cubes in $\mathbb Z^d$
Rutgers University（罗格斯大学）；Instytut Matematyczny, Uniwersytet Wrocławski（弗罗茨瓦夫大学数学研究所）；University of Georgia（佐治亚大学）；Instytut Matematyczny Polskiej Akademii Nauk（波兰科学院数学研究所）
Hausdorff-Young inequalities for $\mathrm{SU}(1,1)$ Fourier products indexed by binary cubes
Department of Mathematics, Faculty of Science, University of Split（斯普利特大学理学院数学系）；Faculty of Transport and Traffic Sciences, University of Zagreb（萨格勒布大学交通与运输科学学院）
The Fefferman-Stein type inequality for strong maximal operator is verified with compositions of some maximal operators in the heigher dimensions. An elementary proof of the endpoint estimate for the strong maximal operator is also given.
In this paper, we study the characterization of two weight inequality for multilinear fractional maximal operators. We give a multilinear analogue of Sawyer's two weight test condition.
Dimension-free bounds will be provided in maximal and $r$-variational inequalities on $\ell^p(\mathbb Z^d)$ corresponding to the discrete Hardy-Littlewood averaging operators defined over the cubes in $\mathbb Z^d$. We will also construct an example of a symmetric convex body in $\mathbb Z^d$ for which maximal dimension-free bounds fail on $\ell^p(\mathbb Z^d)$ for all $p\in(1, \infty)$. Finally, some applications in ergodic theory will be discussed.
This paper focuses on the operator norm of the truncated Hardy-Littlewood maximal operator $M^b_a$ and the strong truncated Hardy-Littlewood maximal operator $\tilde{M}^{\boldsymbol{b}}_{\boldsymbol{a}}$, respectively. We first present the $L^1$-norm of $M^b_a$, and then the $L^1$-norm of $\tilde{M}^{\boldsymbol{b}}_{\boldsymbol{a}}$ is given. Our study may have some enlightening significance for the research on sharp constant for the classical Hardy-Littlewood maximal inequality.
In this paper we consider weighted Morrey spaces ${\mathcal M}_{λ, {\mathcal F}}^p(w)$ adapted to a family of cubes ${\mathcal F}$, with norm $$\|f\|_{{\mathcal M}_{λ, {\mathcal F}}^p(w)}:=\sup_{Q\in {\mathcal F}}\left(\frac{1}{|Q|^λ}\int_Q|f|^pw\right)^{1/p},$$ and the question we deal with is whether a Muckenhoupt-type condition characterizes the boundedness of the Hardy--Littlewood maximal operator on ${\mathcal M}_{λ, {\mathcal F}}^p(w)$. In the case of the global Morrey spaces (when ${\mathcal F}$ is the family of all cubes in ${\mathbb R}^n$) this question is still open. In the case of t…
We find the exact value of the best possible constant $C$ for the weak type $(1,1)$ inequality for the one dimensional centered Hardy-Littlewood maximal operator. We prove that $C$ is the largest root of the quadratic equation $12C^{2}-22C+5=0$ thus obtaining $C=1.5675208...$. This is the first time the best constant for one of the fundamental inequalities satisfied by a centered maximal operator is precisely evaluated.
We study the necessity of bump conditions for the boundedness of the Hardy-Littlewood maximal operator $M$ from $L^p(v)$ into $L^p(w)$, where $1<p<\infty$. The conditions in question are obtained by replacing the average of $σ=v^{-\frac{1}{p-1}}$ in the Muckenhoupt $A_p$-condition by an average with respect to certain Banach function space, and are known to be sufficient for the two-weighted maximal inequality. We show that these conditions are in general not necessary for the boundedness of $M$ from $L^p(v)$ into $L^p(w)$.
Let Mf denote the strong maximal function of f on R^n, that is the maximal average of f with respect to n-dimensional rectangles with sides parallel to the coordinate axes. For any dimension n>1 we prove the natural endpoint Fefferman-Stein inequality for M and any strong Muckenhoupt weight w: w({x \in R^n: M f (x) > t}) \lesssim_{w,n} \int_{R^n} |f|/t [1 + (log^+ |f|/t)^{n-1}] Mw. This extends the corresponding two-dimensional result of T. Mitsis.
For a local maximal function defined on a certain family of cubes lying ``well inside'' of $Ω$, a proper open subset of $\mathbb R ^n$, we characterize the couple of weights $(u,v)$ for which it is bounded from $L^p(v)$ on $L^q(u)$.
We give an alternative proof of a sharp generalization of an 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. This last mentioned inequality, which was first noticed in [3],also generalizes in a certain direction the results of [7].
We show that the $β$--numbers of intrinsic Lipschitz graphs of Heisenberg groups $\mathbb{H}_n$ are locally Carleson integrable when $n \geq 2$. Our technique relies on a recent Dorronsoro inequality \cite{FO} as well as a novel slicing argument. A key ingredient in our proof is a Euclidean inequality bounding the $β$--number of a function on a cube of $\mathbb{R}^n$ using the $β$--number of the restriction of the function to codimension--1 slices of the cube.
In this work we give some maximal inequalities in Triebel-Lizorkin spaces, which are "$\dot{F}_{\infty}^{s,q}$-variants" of Fefferman-Stein vector-valued maximal inequality and Peetre's maximal inequality. We will give some applications of the new maximal inequalities and discuss sharpness of some results.
In this paper, we study the behavior of the bounds of matrix-valued maximal inequality in $\mathbb{R}^n$ for large $n$. The main result of this paper is that the $L_p$-bounds ($p>1$) can be taken to be independent of $n$, which is a generalization of Stein and Strömberg's resut in the scalar-valued case. We also show that the weak type $(1,1)$ bound has similar behavior as Stein and Stömberg's.
We estimate in Lp the maximal Riesz transform in terms of the Riesz transform itself for p greater than 1. In the limiting case p=1 the weak L1 inequality is shown to fail. Surprisingly, the weak L1 inequality for the maximal Beurling transform in terms of the Beurling transform does hold.
We show that some singular maximal functions and singular Radon transforms satisfy a weak type $L\log\log L$ inequality. Examples include the maximal function and Hilbert transform associated to averages along a parabola. The weak type inequality yields pointwise convergence results for functions which are locally in $L\log\log L$.
We reprove Wolff's $L^{\frac{5}2}-$ bound for the $\R^3-$Kakeya maximal function without appealing to the argument of induction on scales. The main ingredient in our proof is an adaptation of Sogge's strategy used in the work on Nikodym-type sets in curved spaces. Although the equivalence between these two type maximal functions is well known, our proof may shed light on some new geometric observations which is interesting in its own right.
We answer a special case of a question of T. Hytonen regarding the two weight norm inequality for the maximal function M in the affirmative, namely that there is a constant D > 1, depending only on dimension n, such that the two weight norm inequality for M holds if and only if the A_2 condition holds, and the testing condition holds for all doubling cubes.
This paper extends the self-improvement result of Keith and Zhong in [16] to the two-measure case. Our main result shows that a two-measure $(p,p)$-Poincaré inequality for $1<p<\infty$ improves to a $(p,p-\varepsilon)$-Poincaré inequality for some $\varepsilon>0$ under a balance condition on the measures. The corresponding result for a maximal Poincaré inequality is also considered. In this case the left-hand side in the Poincaré inequality is replaced with an integral of a sharp maximal function and the results hold without a balance condition. Moreover, validity of maximal Poincaré inequalit…
We establish the result of the title. In combinatorial terms this has the implication that for sufficiently small eps > 0, for all n, any marking of an eps fraction of the vertices of the n-dimensional hypercube necessarily leaves a vertex x such that marked vertices are a minority of every sphere centered at x.
The purpose of this note is to provide a summary of the recent work of the authors on two variations of the pointwise convergence problem for the solutions to the fractional Schrödinger equations; convergence along a tangential line and along a set of lines, as exhibiting some new results in each setting. For the former case, we make a simple observation on a path along a tangential curve of exponential order. We discuss counterexamples for the latter case that show some of the known smooth regularities are essentially optimal.
