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
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2023
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866909380999380992 |
|---|---|
| author | Bortz, Simon Hofmann, Steven Martell, José María Nyström, Kaj |
| author_facet | Bortz, Simon Hofmann, Steven Martell, José María Nyström, Kaj |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2306_17291 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | 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 Bortz, Simon Hofmann, Steven Martell, José María Nyström, Kaj Analysis of PDEs Classical Analysis and ODEs 35K05 (primary) 35K20, 35R35, 42B25, 42B37 (secondary) 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. |
| title | 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 |
| topic | Analysis of PDEs Classical Analysis and ODEs 35K05 (primary) 35K20, 35R35, 42B25, 42B37 (secondary) |
| url | https://arxiv.org/abs/2306.17291 |