Source author record

Paul A. Hagelstein

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CA math.FA math.DS

Catalog footprint

Research overview

5works

3topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2015arXiv

Solyanik estimates and local Hölder continuity of halo functions of geometric maximal operators

Let $\mathcal{B}$ be a homothecy invariant basis consisting of convex sets in $\mathbb{R}^n$ , and define the associated geometric maximal operator $M_{\mathcal{B}}$ by $M_{\mathcal{B}} f(x) :=\sup_{x \in R \in \mathcal{B}}\frac{1}{|R|}\int_R |f|$ and the halo function $ϕ_{\mathcal{B}}(α)$ on $(1,\infty)$ by $ϕ_{\mathcal B}(α) :=\sup_{E \subset \mathbb{R}^n :\, 0 < |E| < \infty}\frac{1}{|E|}|\{x\in \mathbb{R}^n : M_{\mathcal{B}} χ_E (x) >1/α\}|.$ It is shown that if $ϕ_{\mathcal{B}}(α)$ satisfies the Solyanik estimate $ϕ_{\mathcal B}(α) - 1 \leq C (1 - \frac{1}α)^p$ for $α\in(1,\infty)$ sufficiently close to 1 then $ϕ_{\mathcal{B}}$ lies in the Hölder class $C^p(1,\infty)$ . As a consequence we obtain that the halo functions associated with the Hardy-Littlewood maximal operator and the strong maximal operator on $\mathbb{R}^n$ lie in the Hölder class $C^{1/n}(1,\infty)$ .

preprint2015arXiv

Solyanik estimates in ergodic theory

Let $U_1, \ldots, U_n$ be a collection of commuting measure preserving transformations on a probability space $(Ω, Σ, μ)$ . Associated with these measure preserving transformations is the ergodic strong maximal operator $\mathsf M ^\ast _{\mathsf S}$ given by $\mathsf M ^\ast _{\mathsf S} f(ω) := \sup_{0 \in R \subset \mathbb{R}^n}\frac{1}{\#(R \cap \mathbb{Z}^n)}\sum_{(j_1, \ldots, j_n) \in R\cap \mathbb{Z}^n}\big|f(U_1^{j_1}\cdots U_n^{j_n}ω)\big|,$ where the supremum is taken over all open rectangles in $\mathbb{R}^n$ containing the origin whose sides are parallel to the coordinate axes. For $0 < α< 1$ we define the sharp Tauberian constant of $\mathsf M ^\ast _{\mathsf S}$ with respect to $α$ by $\mathsf C ^\ast _{\mathsf S} (α) := \sup_{\substack{E \subset Ω\\ μ(E) > 0}}\frac{1}{μ(E)}μ(\{ω\in Ω: \mathsf M ^\ast _{\mathsf S} χ_E (ω) > α\}).$ Motivated by previous work of A. A. Solyanik and the authors regarding Solyanik estimates for the geometric strong maximal operator in harmonic analysis, we show that the Solyanik estimate $\lim_{α\rightarrow 1}\mathsf C ^\ast _{\mathsf S}(α) = 1$ holds, and that in particular we have $\mathsf C ^\ast _{\mathsf S}(α) - 1 \lesssim_n (1 - \frac{1}α)^{1/n}$ provided that $α$ is sufficiently close to $1$ . Solyanik estimates for centered and uncentered ergodic Hardy-Littlewood maximal operators associated with $U_1, \ldots, U_n$ are shown to hold as well. Further directions for research in the field of ergodic Solyanik estimates are also discussed.

preprint2014arXiv

Solyanik estimates in harmonic analysis

Let $\mathcal{B}$ denote a collection of open bounded sets in $\mathbb{R}^n$ , and define the associated maximal operator $M_{\mathcal{B}}$ by $M_{\mathcal{B}}f(x) := \sup_{x \in R \in \mathcal{B}} \frac{1}{|R|}\int_R |f|.$ The sharp Tauberian constant of $M_{\mathcal{B}}$ associated to $α$ , denoted by $C_{\mathcal{B}}(α)$ , is defined as $C_{\mathcal{B}}(α) := \sup_{E :\, 0 < |E| < \infty}\frac{1}{|E|}\big|\big\{x \in \mathbb{R}^n:\, M_{\mathcal{B}}χ_E (x) > α\big\}\big|.$ Motivated by previous work of A. A. Solyanik, we show that if $M_{\mathcal{B}}$ is the uncentered Hardy-Littlewood maximal operator associated to balls, the estimate $\lim_{α\rightarrow 1^-}C_{\mathcal{B}}(α) = 1$ holds. Similar results for iterated maximal functions are obtained, and open problems in the field of Solyanik estimates are also discussed.

preprint2013arXiv

Tauberian conditions, Muckenhoupt weights, and differentiation properties of weighted bases

We give an alternative characterization of the class of Muckenhoupt weights $A_{\infty, \mathfrak B}$ for homothecy invariant Muckenhoupt bases $\mathfrak B$ consisting of convex sets. In particular we show that $w\in A_{\infty, \mathfrak B}$ if and only if there exists a constant $c>0$ such that for all measurable sets $E\subset \mathbb R^n$ we have $w({x\in \mathbb R^n: M_{\mathfrak B} (\mathbf {1}_E)(x)>1/2}) < c w(E).$ This applies for example to the collection $\mathfrak R$ of rectangles with sides parallel to the coordinate axes, giving a new characterization of strong (multiparameter) Muckenhoupt weights. We also show versions of these results under the presence of a doubling measure. Thus the strong maximal function $M_{\mathfrak R,μ}$ , defined with respect to a product-doubling measure $μ$ , is bounded on $L^p(μ)$ for some $p>1$ if and only if $μ({x\in \mathbb R^n: M_{\mathfrak R,μ} (\mathbf{1}_E)(x)>1/2}) < c μ(E)$ for all measurable sets $E\subset \mathbb R^n$ . Finally we discuss applications in differentiation theory, proving among other things that Tauberian conditions as above imply that the corresponding bases differentiate $L^\infty(μ)$ , with respect to the measure $μ$ .

preprint2012arXiv

Continuity of halo functions associated to homothecy invariant density bases

Let $\mathcal{B}$ be a collection of open sets in $\mathbb{R}^{n}$ such that, for any $x \in \mathbb{R}^{n}$ , there exists a set $U \in \mathcal{B}$ of arbitrarily small diameter {containing $x$ .} $\mathcal{B}$ is said to be a \emph{density basis} provided that, given a measurable set $A \subset \mathbb{R}^{n}$ , for a.e. $x \in \mathbb{R}^{n}$ we have $\lim_{k \rightarrow \infty}\frac{1}{|R_{k}|}\int_{R_{k}}χ_{A} = χ_{A}(x)$ holds for any sequence of sets $\{R_{k}\}$ in $\mathcal{B}$ containing $x$ whose diameters tend to 0. The geometric maximal operator $M_{\mathcal{B}}$ associated to $\mathcal{B}$ is defined on $L^{1}(\mathbb{R}^n)$ by $M_{\mathcal{B}}f(x) = \sup_{x \in R \in \mathcal{B}}\frac{1}{|R|}\int_{R}|f|$ . The \emph{halo function} $ϕ$ of $\mathcal{B}$ is defined on $(1,\infty)$ by $ϕ(u) = \sup \{\frac{1}{|A|}|\{x \in \mathbb{R}^{n} : M_{\mathcal{B}}χ_{A}(x) > \frac{1}{u}\}| : 0 < |A| < \infty\}\;$ and on $[0,1]$ by $ϕ(u) = u$ . It is shown that the halo function associated to any homothecy invariant density basis is a continuous function on $(1,\infty)$ . However, an example of a homothecy invariant density basis is provided such that the associated halo function is not continuous at 1.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.