BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Steve Hofmann

Steve Hofmann contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.APmath.CAmath.FAmath.MG

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
15works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

15 published item(s)

preprint2026arXiv

The Dirichlet Problem for elliptic equations with singular drift terms

We establish $L^p$ solvability of the Dirichlet problem, for some finite $p$, in a 1-sided chord-arc domain $Ω$ (i.e., a uniform domain with Ahlfors-David regular boundary), for elliptic equations of the form \[ Lu=-\text{div}(A\nabla u) + {\bf B}\cdot \nabla u=:L_0 u+ {\bf B}\cdot \nabla u=0, \] given that the analogous result holds (typically with a different value of $p$) for the homogeneous second order operator $L_0$. Essentially, we assume that $|{\bf B}(X)|\lesssim \text{dist}(X,\partial Ω)^{-1}$, and that $|{\bf B}(X)|^2\text{dist}(X,\partial Ω) dX$ is a Carleson measure in $Ω$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

$L^p$ theory for the square roots and square functions of elliptic operators having a BMO anti-symmetric part

We consider the operator $L=-{\rm div}(A\nabla)$, where the $n\times n$ matrix $A$ is real-valued, elliptic, with the symmetric part of $A$ in $L^\infty(\mathbb{R}^n)$, and the anti-symmetric part of $A$ only belongs to the space $BMO(\mathbb{R}^n)$, $n\ge2$. We prove the Gaussian estimates for the kernel of $e^{-tL}$, as well as that of $\partial_t^le^{-tL}$, for any $l\in\mathbb{N}$. We show that the square root of $L$ satisfies the $L^p$ estimates $\left\Vert{L^{1/2}f}\right\Vert_{L^p}\lesssim\left\Vert{\nabla f}\right\Vert_{L^p}$ for $1<p<\infty$, and $\left\Vert{\nabla f}\right\Vert_{L^p}\lesssim\left\Vert{L^{1/2}f}\right\Vert_{L^p}$ for $1<p<2+ε$ for some $ε>0$ depending on the ellipticity constant and the BMO semi-norm of the coefficients. Finally, we prove the $L^p$ estimates for square functions associated to $e^{-tL}$. In another article of the authors, these results are used to establish the solvability of the Dirichlet problem for elliptic equation ${\rm div}(A(x)\nabla u)=0$ in the upper half-space $(x,t)\in\mathbb{R}_+^{n+1}$ with the boundary data in $L^p(\mathbb{R}^n,dx)$ for some $p\in (1,\infty)$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

A Weak Reverse Holder Inequality for Caloric Measure

Following a result of Bennewitz-Lewis for non-doubling harmonic measure, we prove a criterion for non-doubling caloric measure to satisfy a weak reverse Holder inequality on an open set $Ω$, assuming as a background hypothesis only that the essential boundary of $Ω$ satisfies an appropriate parabolic version of Ahlfors-David regularity (which entails some backwards in time thickness). We also show that the weak reverse Holder estimate is equivalent to solvability of the initial Dirichlet problem with &#34;lateral&#34; data in $L^p$, for some $p<\infty$, in this setting.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

On Big Pieces approximations of parabolic hypersurfaces

Let $Σ$ be a closed subset of $\mathbb{R}^ {n+1}$ which is parabolic Ahlfors-David regular and assume that $Σ$ satisfies a 2-sided corkscrew condition. Assume, in addition, that $Σ$ is either time-forwards Ahlfors-David regular, time-backwards Ahlfors-David regular, or parabolic uniform rectifiable. We then first prove that $Σ$ satisfies a {\it weak synchronized two cube condition}. Based on this we are able to revisit the argument in \cite{NS} and prove that $Σ$ contains {\it uniform big pieces of Lip(1,1/2) graphs}. When $Σ$ is parabolic uniformly rectifiable the construction can be refined and in this case we prove that $Σ$ contains {\it uniform big pieces of regular parabolic Lip(1,1/2) graphs}. Similar results hold if $Ω\subset\mathbb R^{n+1}$ is a connected component of $\mathbb R^{n+1}\setminusΣ$ and in this context we also give a parabolic counterpart of the main result in \cite{AHMNT} by proving that if $Ω$ is a one-sided parabolic chord arc domain, and if $Σ$ is parabolic uniformly rectifiable, then $Ω$ is in fact a parabolic chord arc domain. Our results give a flexible parabolic version of the classical (elliptic) result of G. David and D. Jerison concerning the existence of uniform big pieces of Lipschitz graphs for sets satisfying a two disc condition.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Coronizations and big pieces in metric spaces

We prove that coronizations with respect to arbitrary d-regular sets (not necessarily graphs) imply big pieces squared of these (approximating) sets. This is known (and due to David and Semmes in the case of sufficiently large co-dimension, and to Azzam and Schul in general) in the (classical) setting of Euclidean spaces with Hausdorff measure of integer dimension, where the approximating sets are Lipschitz graphs. Our result is a far reaching generalization of these results and we prove that coronizations imply big pieces squared is a generic property. In particular, our result applies, when suitably interpreted, in metric spaces having a fixed positive (perhaps non-integer) dimension, equipped with a Borel regular measure and with arbitrary approximating sets. As a novel application we highlight how to utilize this general setting in the context of parabolic uniform rectifiability.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Harmonic measure and quantitative connectivity: geometric characterization of the $L^p$-solvability of the Dirichlet problem

It is well-known that quantitative, scale invariant absolute continuity (more precisely, the weak-$A_\infty$ property) of harmonic measure with respect to surface measure, on the boundary of an open set $ Ω\subset \mathbb{R}^{n+1}$ with Ahlfors-David regular boundary, is equivalent to the solvability of the Dirichlet problem in $Ω$, with data in $L^p(\partialΩ)$ for some $p<\infty$. In this paper, we give a geometric characterization of the weak-$A_\infty$ property, of harmonic measure, and hence of solvability of the $L^p$ Dirichlet problem for some finite $p$. This characterization is obtained under background hypotheses (an interior corkscrew condition, along with Ahlfors-David regularity of the boundary) that are natural, and in a certain sense optimal: we provide counter-examples in the absence of either of them (or even one of the two, upper or lower, Ahlfors-David bounds); moreover, the examples show that the upper and lower Ahlfors-David bounds are each quantitatively sharp.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Uniform rectifiability and elliptic operators satisfying a Carleson measure condition

The present paper establishes the correspondence between the properties of the solutions of a class of PDEs and the geometry of sets in Euclidean space. We settle the question of whether (quantitative) absolute continuity of the elliptic measure with respect to the surface measure and uniform rectifiability of the boundary are equivalent, in an optimal class of divergence form elliptic operators satisfying a suitable Carleson measure condition. The result can be viewed as a quantitative analogue of the Wiener criterion adapted to the singular $L^p$ data case. We split our proof on two main steps. In the first one we considered the case in which the desired Carleson measure condition on the coefficients holds with &#34;sufficiently small constant&#34;, using a novel application of techniques developed in geometric measure theory. In the second step we establish the final result, that is, the &#34;large constant case&#34;. The key elements are a powerful extrapolation argument, which provides a general pathway to self-improve scale-invariant small constant estimates, and a new mechanism to transfer quantitative absolute continuity of elliptic measure between a domain and its subdomains.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Uniform rectifiability and elliptic operators satisfying a Carleson measure condition. Part I: The small constant case

The present paper, along with its sequel, establishes the correspondence between the properties of the solutions of a class of PDEs and the geometry of sets in Euclidean space. We settle the question of whether (quantitative) absolute continuity of the elliptic measure with respect to the surface measure and uniform rectifiability of the boundary are equivalent, in an optimal class of divergence form elliptic operators satisfying a suitable Carleson measure condition. The result can be viewed as a quantitative analogue of the Wiener criterion adapted to the singular $L^p$ data case. This paper addresses the free boundary problem under the assumption of smallness of the Carleson measure of the coefficients. Part II of this work develops an extrapolation argument to bootstrap this result to the general case. The ideas in Part I constitute a novel application of techniques developed in geometric measure theory. They highlight the synergy between several areas. The ideas developed in this paper are well suited to study singularities arising in variational problems in a geometric setting.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Uniform rectifiability and elliptic operators satisfying a Carleson measure condition. Part II: The large constant case

The present paper, along with its companion [Hofmann, Martell, Mayboroda, Toro, Zhao, arXiv:1710.06157], establishes the correspondence between the properties of the solutions of a class of PDEs and the geometry of sets in Euclidean space. We settle the question of whether (quantitative) absolute continuity of the elliptic measure with respect to the surface measure and uniform rectifiability of the boundary are equivalent, in an optimal class of divergence form elliptic operators satisfying a suitable Carleson measure condition. The result can be viewed as a quantitative analogue of the Wiener criterion adapted to the singular $L^p$ data case. The first step in this direction was taken in our previous paper [Hofmann, Martell, Mayboroda, Toro, Zhao, arXiv:1710.06157], where we considered the case in which the desired Carleson measure condition on the coefficients holds with sufficiently small constant. In this paper we establish the final, general result, that is, the &#34;large constant case&#34;. The key elements of our approach are a powerful extrapolation argument, which provides a general pathway to self-improve scale-invariant small constant estimates, as well as a new mechanism to transfer quantitative absolute continuity of elliptic measure between a domain and its subdomains.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Uniform rectifiability implies Varopoulos extensions

We construct extensions of Varopolous type for functions $f \in \text{BMO}(E)$, for any uniformly rectifiable set $E$ of codimension one. More precisely, let $Ω\subset \mathbb{R}^{n+1}$ be an open set satisfying the corkscrew condition, with an $n$-dimensional uniformly rectifiable boundary $\partial Ω$, and let $σ:= \mathcal{H}^n\lfloor_{\partial Ω}$ denote the surface measure on $\partial Ω$. We show that if $f \in \text{BMO}(\partial Ω,dσ)$ with compact support on $\partial Ω$, then there exists a smooth function $V$ in $Ω$ such that $|\nabla V(Y)| \, dY$ is a Carleson measure with Carleson norm controlled by the BMO norm of $f$, and such that $V$ converges in some non-tangential sense to $f$ almost everywhere with respect to $σ$. Our results should be compared to recent geometric characterizations of $L^p$-solvability and of BMO-solvability of the Dirichlet problem, by Azzam, the first author, Martell, Mourgoglou and Tolsa and by the first author and Le, respectively. In combination, this latter pair of results shows that one can construct, for all $f \in C_c(\partial Ω)$, a harmonic extension $u$, with $|\nabla u(Y)|^2 \text{dist}(Y,\partial Ω) \, dY $ a Carleson measure controlled by the BMO norm of $f$, only in the presence of an appropriate quantitative connectivity condition.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Perturbations of elliptic operators in 1-sided chord-arc domains. Part II: Non-symmetric operators and Carleson measure estimates

We generalize to the setting of 1-sided chord-arc domains, that is, to domains satisfying the interior Corkscrew and Harnack Chain conditions (these are respectively scale-invariant/quantitative versions of the openness and path-connectedness) and which have an Ahlfors regular boundary, a result of Kenig-Kirchheim-Pipher-Toro, in which Carleson measure estimates for bounded solutions of the equation $Lu=-{\rm div}(A\nabla u) = 0$ with $A$ being a real (not necessarily symmetric) uniformly elliptic matrix, imply that the corresponding elliptic measure belongs to the Muckenhoupt $A_\infty$ class with respect to surface measure on the boundary. We present two applications of this result. In the first one we extend a perturbation result recently proved by Cavero-Hofmann-Martell presenting a simpler proof and allowing non-symmetric coefficients. Second, we prove that if an operator $L$ as above has locally Lipschitz coefficients satisfying certain Carleson measure condition then $ω_L\in A_\infty$ if and only if $ω_{L^\top}\in A_\infty$. As a consequence, we can remove one of the main assumptions in the non-symmetric case of a result of Hofmann-Martell-Toro and show that if the coefficients satisfy a slightly stronger Carleson measure condition the membership of the elliptic measure associated with $L$ to the class $A_\infty$ yields that the domain is indeed a chord-arc domain.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

$L^p$-Square Function Estimates on Spaces of Homogeneous Type and on Uniformly Rectifiable Sets

We establish square function estimates for integral operators on uniformly rectifiable sets by proving a local $T(b)$ theorem and applying it to show that such estimates are stable under the so-called big pieces functor. More generally, we consider integral operators associated with Ahlfors-David regular sets of arbitrary codimension in ambient quasi-metric spaces. The local $T(b)$ theorem is then used to establish an inductive scheme in which square function estimates on so-called big pieces of an Ahlfors-David regular set are proved to be sufficient for square function estimates to hold on the entire set. Extrapolation results for $L^p$ and Hardy space versions of these estimates are also established. Moreover, we prove square function estimates for integral operators associated with variable coefficient kernels, including the Schwartz kernels of pseudodifferential operators acting between vector bundles on subdomains with uniformly rectifiable boundaries on manifolds.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Layer potentials and boundary value problems for elliptic equations with complex $L^{\infty}$ coefficients satisfying the small Carleson measure norm condition

We consider divergence form elliptic equations $Lu:=\nabla\cdot(A\nabla u)=0$ in the half space $\mathbb{R}^{n+1}_+ :=\{(x,t)\in \mathbb{R}^n\times(0,\infty)\}$, whose coefficient matrix $A$ is complex elliptic, bounded and measurable. In addition, we suppose that $A$ satisfies some additional regularity in the direction transverse to the boundary, namely that the discrepancy $A(x,t) -A(x,0)$ satisfies a Carleson measure condition of Fefferman-Kenig-Pipher type, with small Carleson norm. Under these conditions, we establish a full range of boundedness results for double and single layer potentials in $L^p$, Hardy, Sobolev, BMO and Hölder spaces. Furthermore, we prove solvability of the Dirichlet problem for $L$, with data in $L^p(\mathbb{R}^n)$, $BMO(\mathbb{R}^n)$, and $C^α(\mathbb{R}^n)$, and solvability of the Neumann and Regularity problems, with data in the spaces $L^p(\mathbb{R}^n)/H^p(\mathbb{R}^n)$ and $L^p_1(\mathbb{R}^n)/H^{1,p}(\mathbb{R}^n)$ respectively, with the appropriate restrictions on indices, assuming invertibility of layer potentials in for the $t$-independent operator $L_0:= -\nabla\cdot(A(\cdot,0)\nabla)$.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Square function/non-tangential maximal function estimates and the dirichlet problem for non-symmetric elliptic operators

We consider divergence form elliptic operators L = - div A(x)\nabla, defined in the half space R^{n+1}_+, n \geq 2, where the coefficient matrix A(x) is bounded, measurable, uniformly elliptic, t-independent, and not necessarily symmetric. We establish square function/non-tangential maximal function estimates for solutions of the homogeneous equation Lu = 0, and we then combine these estimates with the method of &#34;ε-approximability&#34; to show that L-harmonic measure is absolutely continuous with respect to surface measure (i.e., n-dimensional Lebesgue measure) on the boundary, in a scale-invariant sense: more precisely, that it belongs to the class A_\infty with respect to surface measure (equivalently, that the Dirichlet problem is solvable with data in L^p, for some p < \infty). Previously, these results had been known only in the case n = 1.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Second order elliptic operators with complex bounded measurable coefficients in $L^p$, Sobolev and Hardy spaces

Let $L$ be a second order divergence form elliptic operator with complex bounded measurable coefficients. The operators arising in connection with $L$, such as the heat semigroup and Riesz transform, are not, in general, of Calderón-Zygmund type and exhibit behavior different from their counterparts built upon the Laplacian. The current paper aims at a thorough description of the properties of such operators in $L^p$, Sobolev, and some new Hardy spaces naturally associated to $L$. First, we show that the known ranges of boundedness in $L^p$ for the heat semigroup and Riesz transform of $L$, are sharp. In particular, the heat semigroup $e^{-tL}$ need not be bounded in $L^p$ if $p\not\in [2n/(n+2),2n/(n-2)]$. Then we provide a complete description of {\it all} Sobolev spaces in which $L$ admits a bounded functional calculus, in particular, where $e^{-tL}$ is bounded. Secondly, we develop a comprehensive theory of Hardy and Lipschitz spaces associated to $L$, that serves the range of $p$ beyond $[2n/(n+2),2n/(n-2)]$. It includes, in particular, characterizations by the sharp maximal function and the Riesz transform (for certain ranges of $p$), as well as the molecular decomposition and duality and interpolation theorems.

0 citations0 reviewsNo code linkedOpen access