We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.AP

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Analysis of PDEs

Title: On an obstacle to the converse of Dahlberg's theorem in high codimensions

Abstract: It has been recently understood that the harmonic measure on the boundary $E = \partial \Omega$ of a domain $\Omega$ in $\mathbb{R}^n$ is absolutely continuous with respect to the Hausdorff measure $\mathcal{H}^{n - 1}$ on $E$ if and only if the boundary $E$ is rectifiable. Then, by G. David, M. Engelstein, J. Feneuil, S. Mayboroda and other coauthors, a notion of harmonic measure for Ahlfors-regular sets $E$ of higher codimension $n - d$ was developed with the aid of the operator $L_\alpha = -\mbox{div} D_{\alpha}^{-n + d + \alpha} \nabla$, where $\alpha > 0$ and $D_\alpha$ is a certain regularized distance function to the set $E$. A program was launched to establish analogous to the classical case equivalence between rectifiability of the higher-codimensional set $E$ and good relations of the (new) harmonic and Hausdorff measures. The sufficiency of rectifiability for quantitative absolute continuity was only just obtained. For the other direction the main obstacle is to prove that, roughly, the equation $L_\alpha D_\alpha = 0$ is true only when the set $E$ is a hyperplane. In this paper we prove some first results which indicate that the latter conjecture may be true. We also explain that a certain natural strategy to tackle the problem does not work till the end.
Subjects: Analysis of PDEs (math.AP)
Cite as: arXiv:2205.11661 [math.AP]
  (or arXiv:2205.11661v1 [math.AP] for this version)

Submission history

From: Polina Perstneva [view email]
[v1] Mon, 23 May 2022 22:51:13 GMT (78kb,D)

Link back to: arXiv, form interface, contact.