Related papers: The $(L^{1},L^{1})$ bilinear Hardy-Littlewood func…

We will show that the sequence appearing in the double recurrence theorem is a good universal weight for the Furstenberg averages. That is, given a system $(X, \mathcal{F}, \mu, T)$ and bounded functions $f_1, f_2 \in L^\infty(\mu)$, there…

We investigate the $L^p$ mapping properties of maximal functions associated with analytic hypersurfaces in $\mathbb R^d$, with a particular emphasis on the role of transversality. Around points that are not transversal, we show that the…

We prove long variational estimates for the bilinear ergodic averages \[ A_{N;X}(f,g)(x) = \frac{1}{N} \sum_{n=1}^N f(T^{\lfloor \sqrt{n} \rfloor}x) g(T^nx) \] on an arbitrary measure preserving system $(X,\mu,T)$ for the full expected…

Dependencies of the optimal constants in strong and weak type bounds will be studied between maximal functions corresponding to the Hardy--Littlewood averaging operators over convex symmetric bodies acting on $\mathbb R^d$ and $\mathbb…

We study measure preserving systems, called Furstenberg systems, that model the statistical behavior of sequences defined by smooth functions with at most polynomial growth. Typical examples are the sequences $(n^\frac{3}{2})$,…

In this article, we address endpoint issues for the bilinear spherical maximal functions. We obtain borderline restricted weak type estimates for the well studied bilinear spherical maximal function…

We study the almost sure convergence of bilateral ergodic averages for not necessarily integrable functions and relate it to the ones of the forward and backward averages, hence complementing results of Wo\'s and the second named author. In…

The rearrangement inequalities of Hardy-Littlewood and Riesz say that certain integrals involving products of two or three functions increase under symmetric decreasing rearrangement. It is known that these inequalities extend to integrands…

Let $T_1, ..., T_l: X \to X$ be commuting measure-preserving transformations on a probability space $(X, \X, \mu)$. We show that the multiple ergodic averages $\frac{1}{N} \sum_{n=0}^{N-1} f_1(T_1^n x) ... f_l(T_l^n x)$ are convergent in…

We obtain $L^p-$estimates for the full and lacunary maximal functions associated to the twisted bilinear spherical averages given by \[\mathfrak{A}_t(f_1,f_2)(x,y)=\int_{\mathbb S^{2d-1}}f_1(x+tz_1,y)f_2(x,y+tz_2)\;d\sigma(z_1,z_2),\;t>0,\]…

We introduce and study the median maximal function \mathcal{M} f, defined in the same manner as the classical Hardy-Littlewood maximal function, only replacing integral averages of f by medians throughout the definition. This change has a…

We prove that the Hardy--Littlewood maximal operator $M$ is bounded on the variable Lebesgue space $L^{p(\cdot)}(X,d,\mu)$, with $1<p_-\le p_+<\infty$, over an unbounded space of homogeneous type $(X,d,\mu)$ with a Borel-semiregular measure…

We prove convergence in norm and pointwise almost everywhere on $L^p$, $p\in (1,\infty)$, for certain multi-parameter polynomial ergodic averages by establishing the corresponding multi-parameter maximal and oscillation inequalities. Our…

This note presents a proof that the non-tangential maximal function of the Ornstein-Uhlenbeck semigroup is bounded almost surely by the Gaussian Hardy-Littlewood maximal function. In particular this entails improvement on a result by Pineda…

We show that if $(X, \mu, T)$ is a probability measure-preserving dynamical system, and $\mathscr{P}$ is a countable partition of $(X, \mu)$, then the limit $$ \lim_{n, k \to \infty} \mathbb{E} \left[ \frac{1}{k} \sum_{j = 0}^{k - 1} f…

Let $(X,\mu)$ be an arbitrary measure space equipped with a family of pairwise commuting measure preserving transformations $T_1, \dotsc, T_m$. We prove that the ergodic averages \[ A_{N;X}^{P_1, \dotsc, P_m}f = \frac{1}{N} \sum_{n=1}^N…

In infinite ergodic theory, two distributional limit theorems are well-known. One is characterized by the Mittag-Leffler distribution for time averages of $L^1(m)$ functions, i.e., integrable functions with respect to an infinite invariant…

Let $L^2(X,\Sigma,\mu,\tau)$ be a measure-preserving system, with $\tau$ a $\mathbb{Z}$-action. In this note, we prove that the ergodic averages along integer-valued polynomials, $P(n)$, \[ M_N(f):= \frac{1}{N}\sum_{n \leq N} \tau^{P(n)} f…

We give negative answers to two questions of Bergelson, Moreira, and Richter concerning recurrence along functions from a Hardy field. For the pair \(f_1(t)=t^{3/2}\) and \(f_2(t)=\lambda t^{3/2}+t\), where \(\lambda\in\mathbb…

We prove the Hardy-Littlewood theorem in two dimensions for functions whose Fourier coefficients obey general monotonicity conditions and, importantly, are not necessarily positive. The sharpness of the result is given by a counterexample,…