skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Solvability of the $\mathrm{L}^{p}$ Dirichlet problem for the heat equation is equivalent to parabolic uniform rectifiability in the case of a parabolic Lipschitz graph
Abstract We prove that if a parabolic Lipschitz (i.e., Lip(1,1/2)) graph domain has the property that its caloric measure is parabolic$$A_{\infty }$$ A with respect to surface measure (which property is in turn equivalent to$$\mathrm{L}^{p}$$ L p solvability of the Dirichlet problem for some finite$$p$$ 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 }$$ A 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$$\mathrm{L}^{p}$$ L p solvability (for some$$p <\infty $$ p < ) 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.  more » « less
Award ID(s):
2349846
PAR ID:
10595716
Author(s) / Creator(s):
; ; ;
Publisher / Repository:
NSF-PAR
Date Published:
Journal Name:
Inventiones mathematicae
Volume:
239
Issue:
1
ISSN:
0020-9910
Page Range / eLocation ID:
165 to 217
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract We study the singular set in the thin obstacle problem for degenerate parabolic equations with weight$$|y|^a$$ | y | a for$$a \in (-1,1)$$ a ( - 1 , 1 ) . Such problem arises as the local extension of the obstacle problem for the fractional heat operator$$(\partial _t - \Delta _x)^s$$ ( t - Δ x ) s for$$s \in (0,1)$$ s ( 0 , 1 ) . Our main result establishes the complete structure and regularity of the singular set of the free boundary. To achieve it, we prove Almgren-Poon, Weiss, and Monneau type monotonicity formulas which generalize those for the case of the heat equation ($$a=0$$ a = 0 ). 
    more » « less
  2. Abstract We define a type of modulus$$\operatorname {dMod}_p$$ dMod p for Lipschitz surfaces based on$$L^p$$ L p -integrable measurable differential forms, generalizing the vector modulus of Aikawa and Ohtsuka. We show that this modulus satisfies a homological duality theorem, where for Hölder conjugate exponents$$p, q \in (1, \infty )$$ p , q ( 1 , ) , every relative Lipschitzk-homology classchas a unique dual Lipschitz$$(n-k)$$ ( n - k ) -homology class$$c'$$ c such that$$\operatorname {dMod}_p^{1/p}(c) \operatorname {dMod}_q^{1/q}(c') = 1$$ dMod p 1 / p ( c ) dMod q 1 / q ( c ) = 1 and the Poincaré dual ofcmaps$$c'$$ c to 1. As$$\operatorname {dMod}_p$$ dMod p is larger than the classical surface modulus$$\operatorname {Mod}_p$$ Mod p , we immediately recover a more general version of the estimate$$\operatorname {Mod}_p^{1/p}(c) \operatorname {Mod}_q^{1/q}(c') \le 1$$ Mod p 1 / p ( c ) Mod q 1 / q ( c ) 1 , which appears in works by Freedman and He and by Lohvansuu. Our theory is formulated in the general setting of Lipschitz Riemannian manifolds, though our results appear new in the smooth setting as well. We also provide a characterization of closed and exact Sobolev forms on Lipschitz manifolds based on integration over Lipschitzk-chains. 
    more » « less
  3. Abstract Let E / Q \mathrm{E}/\mathbb{Q}be an elliptic curve and 𝑝 a prime of supersingular reduction for E \mathrm{E}.Consider a quadratic extension L / Q p L/\mathbb{Q}_{p}and the corresponding anticyclotomic Z p \mathbb{Z}_{p}-extension L / L L_{\infty}/L.We analyze the structure of the points E ( L ) \mathrm{E}(L_{\infty})and describe two global implications of our results. 
    more » « less
  4. Abstract Given a compact doubling metric measure spaceXthat supports a 2-Poincaré inequality, we construct a Dirichlet form on$$N^{1,2}(X)$$ N 1 , 2 ( X ) that is comparable to the upper gradient energy form on$$N^{1,2}(X)$$ N 1 , 2 ( X ) . Our approach is based on the approximation ofXby a family of graphs that is doubling and supports a 2-Poincaré inequality (see [20]). We construct a bilinear form on$$N^{1,2}(X)$$ N 1 , 2 ( X ) using the Dirichlet form on the graph. We show that the$$\Gamma $$ Γ -limit$$\mathcal {E}$$ E of this family of bilinear forms (by taking a subsequence) exists and that$$\mathcal {E}$$ E is a Dirichlet form onX. Properties of$$\mathcal {E}$$ E are established. Moreover, we prove that$$\mathcal {E}$$ E has the property of matching boundary values on a domain$$\Omega \subseteq X$$ Ω X . This construction makes it possible to approximate harmonic functions (with respect to the Dirichlet form$$\mathcal {E}$$ E ) on a domain inXwith a prescribed Lipschitz boundary data via a numerical scheme dictated by the approximating Dirichlet forms, which are discrete objects. 
    more » « less
  5. Abstract We propose a new observable for the measurement of the forward–backward asymmetry$$(A_{FB})$$ ( A FB ) in Drell–Yan lepton production. At hadron colliders, the$$A_{FB}$$ A FB distribution is sensitive to both the electroweak (EW) fundamental parameter$$\sin ^{2} \theta _{W}$$ sin 2 θ W , the weak mixing angle, and the parton distribution functions (PDFs). Hence, the determination of$$\sin ^{2} \theta _{W}$$ sin 2 θ W and the updating of PDFs by directly using the same$$A_{FB}$$ A FB spectrum are strongly correlated. This correlation would introduce large bias or uncertainty into both precise measurements of EW and PDF sectors. In this article, we show that the sensitivity of$$A_{FB}$$ A FB on$$\sin ^{2} \theta _{W}$$ sin 2 θ W is dominated by its average value around theZpole region, while the shape (or gradient) of the$$A_{FB}$$ A FB spectrum is insensitive to$$\sin ^{2} \theta _{W}$$ sin 2 θ W and contains important information on the PDF modeling. Accordingly, a new observable related to the gradient of the spectrum is introduced, and demonstrated to be able to significantly reduce the potential bias on the determination of$$\sin ^{2} \theta _{W}$$ sin 2 θ W when updating the PDFs using the same$$A_{FB}$$ A FB data. 
    more » « less