BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Paul A. Hagelstein

Paul A. Hagelstein appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.CAmath.FAmath.DS

Catalog footprint

What is connected

5works
3topics
3close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

5 published item(s)

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)$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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 $μ$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access