arXiv subjects

Steven Hofmann

Publications and source records attributed to Steven Hofmann.

2 recordsLinked to original sources

arXiv2025

Solvability of the $L^p$ Dirichlet problem for the heat equation implies parabolic uniform rectifiability

Let $Ω\subset \mathbb{R}^{n+1}$ be an open set in space-time with boundary $Σ= \partial Ω$. Under minimal and natural background assumptions - namely, that $Σ$ is time-symmetrically parabolic Ahlfors--David regular and that $Ω$ satisfies an interior corkscrew condition - we treat a one-phase parabolic free boundary problem which establishes the necessity of parabolic uniform rectifiability for $L^p(dσ)$ solvability of the Dirichlet problem for the heat equation. More precisely, we prove that if the caloric measure associated with $Ω$ satisfies a weak-$A_\infty$ condition with respect to the surface measure $σ= \mathcal{H}_{\mathrm{par}}^{n+1}\!\lfloor_Σ$, then $Σ$ is parabolically uniformly rectifiable, hence equivalently, that solvability of the Dirichlet problem for the heat (or adjoint heat) equation in $Ω$ with boundary data in $L^p(dσ)$, for some $p \in (1,\infty)$, implies parabolic uniform rectifiability. Our main theorem thus identifies parabolic uniform rectifiability as the correct geometric framework for boundary regularity, and $L^p$ solvability, in the parabolic setting.

math.AP↗

arXiv2024

Solvability of the $L^p$ Dirichlet problem for the heat equation is equivalent to parabolic uniform rectifiability in the case of a parabolic Lipschitz graph

We prove that if a parabolic Lipschitz (i.e., Lip(1,1/2)) graph domain has the property that its caloric measure is a parabolic $A_\infty$ weight with respect to surface measure (which in turn is equivalent to $L^p$ solvability of the Dirichlet problem for some finite $p$), then the function defining the graph has a half-order time derivative in the space of (parabolic) bounded mean oscillation. Equivalently, we prove that the $A_\infty$ property of caloric measure implies, in this case, that the boundary is parabolic uniformly rectifiable. Consequently, by combining our result with the work of Lewis and Murray we resolve a long standing open problem in the field by characterizing those parabolic Lipschitz graph domains for which one has $L^p$ solvability (for some $p <\infty$) of the Dirichlet problem for the heat equation. The key idea of our proof is to view the level sets of the Green function as extensions of the original boundary graph for which we can prove (local) square function estimates of Littlewood-Paley type.

math.AP↗