The prime end capacity of inaccessible prime ends, resolutivity, and the Kellogg property

DOI10.1007/S00209-019-02268-YMaRDI QIDQ2332889zbMATH OpenOpenAlexWikidataFDO

Authors Tomasz Adamowicz, Nageswari Shanmugalingam

Publication date 5 November 2019

Published in Mathematische Zeitschrift (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1807.08166

zbMATH Keywords

\(p\)-Laplace-type equationsMazurkiewicz boundary value problemmetric measure spacesprime end boundary

Mathematics Subject Classification ID

Analysis on metric spaces (30L99) Potentials and capacities, extremal length and related notions in higher dimensions (31B15) Boundary behavior of harmonic functions in higher dimensions (31B25) Potentials and capacities on other spaces (31C15) Potential theory on fractals and metric spaces (31E05)

Abstract: Prime end boundaries $partia{l}_{P}Omega$ of domains $Omega$ are studied in the setting of complete doubling metric measure spaces supporting a $p$-Poincar'e inequality. Notions of rectifiably (in)accessible- and (in)finitely far away prime ends are introduced and employed in classification of prime ends. We show that, for a given domain, the prime end capacity of the collection of all rectifiably inaccessible prime ends together will all non-singleton prime ends is zero. We show the resolutivity of continouous functions on $partia{l}_{P}Omega$ which are Lipschitz continuous with respect to the Mazurkiewicz metric when restricted to the collection $partia{l}_{SP}Omega$ of all accessible prime ends. Furthermore, bounded perturbations of such functions in $partia{l}_{P}Omegasetminuspartia{l}_{SP}Omega$ yield the same Perron solution. In the final part of the paper, we demonstrate the (resolutive) Kellogg property with respect to the prime end boundary of bounded domains in the metric space. Notions given in this paper are illustrated by a number of examples.

Review text

The paper is a continuation of [the authors, Adv. Math. 238, 459--505 (2013; Zbl 1297.30056)] and studies the Marzurkiewicz boundary value problem for \(p\)-Laplace type equations in metric measure spaces. The Marzurkiewicz boundary value problem is more general than the Dirichlet problem allowing different boundary values on the opposite sides of the boundary ``wall. The authors use the Marzurkiewicz metric \(d_M(x,y) = \inf_E \operatorname{diam}(E)\) where \(x\) and \(y\) are points in a bounded domain \(\Omega \subset X\) and \(E\) is a continuum joining \(x\) to \(y\). The prime end boundary \(\partial\Omega_P\) of \(\Omega\) is then defined as a collection of sequences of sets suitably identified in terms of the distance \(d_M\) and approaching the boundary of \(\Omega\). Important subsets of \(\partial\Omega_P\) are singletons, the subset of singletons which are rectifiably accessible along a rectifiable curve in \(\Omega\) and the complements of these sets. The authors define a natural topology on the prime end closure \(\Omega \cup \partial\Omega_P\) and then in an usual way the Newtonian type \(p\)-capacity \(\overline{C}^P_p(E)\) for sets \(E \subset \Omega \cup \partial\Omega_P\). The main result states that if \(F\) consists of non-singleton prime ends and singleton prime ends that are rectifiably inaccessible, then \(\overline{C}^P_p(F) = 0\). Another result says that if \(f: \partial\Omega_P \rightarrow \mathbb{R}\) is such that its restriction to the collection of rectifiably accessible prime ends is Lipschitz continuous with respect to \(d_M\), then \(f\) is resolutive and the Perron solution with boundary values \(f\) and the solution \(H_{\Omega}f\) defined by the variational principle coincide. In general, sufficient and necessary boundary conditions for the the Marzurkiewicz and the Dirichlet boundary value problems are not known in metric measure spaces and little is known about resolutivity, however, a sufficient condition for resolutivity is given in the important Lipschitz case. There is also a Kellogg-type result showing that certain irregular set in \(\partial\Omega_P\) has \(\overline{C}^P_p\)-capacity zero. Several examples illustrate the boundary behavior of domains (mostly subsets of \(\mathbb{R}^2\)) in \(X\) and the rather complicate concepts in prime end theory.

Recommendations

• Geometry of prime end boundary and the Dirichlet problem for bounded domains in metric measure spaces
• The Dirichlet problem for \(p\)-harmonic functions with respect to the Mazurkiewicz boundary, and new capacities
• The Kellogg property and boundary regularity forp-harmonic functions with respect to the Mazurkiewicz boundary and other compactifications
• Prime ends for domains in metric spaces
• Prime ends in metric spaces and quasiconformal-type mappings

Cites work

• Differentiability of Lipschitz functions on metric measure spaces
• Geometry of prime end boundary and the Dirichlet problem for bounded domains in metric measure spaces
• scientific article; zbMATH DE number 2024202 (Why is no real title available?)
• scientific article; zbMATH DE number 5174426 (Why is no real title available?)
• scientific article; zbMATH DE number 3240458 (Why is no real title available?)
• Lectures on analysis on metric spaces
• Newtonian spaces: An extension of Sobolev spaces to metric measure spaces
• Non-linear potentials and approximation in the mean by analytic functions
• Nonlinear potential theory of metric spaces
• Nonlinear potential theory on metric spaces
• Nonsmooth calculus
• Prime ends and quasiconformal mappings
• Prime ends for domains in metric spaces
• Prime ends in the Heisenberg group H₁ and the boundary behavior of quasiconformal mappings
• Quasiconformal maps in metric spaces with controlled geometry
• Regularity of quasi-minimizers on metric spaces
• Sobolev met Poincaré
• Sobolev Spaces on Metric Measure Spaces
• The Dirichlet problem for \(p\)-harmonic functions on the topologist's comb
• The Dirichlet problem for \(p\)-harmonic functions with respect to the Mazurkiewicz boundary, and new capacities
• The Dirichlet problem for p-harmonic functions on metric spaces
• The Kellogg property and boundary regularity forp-harmonic functions with respect to the Mazurkiewicz boundary and other compactifications
• The Perron method for \(p\)-harmonic functions in metric spaces.

Cited in

(5)

• Carathéodory-type extension theorem with respect to prime end boundaries
• Geometry of prime end boundary and the Dirichlet problem for bounded domains in metric measure spaces
• Prime ends in metric spaces and quasiconformal-type mappings
• Boundary regularity for p-harmonic functions and solutions of obstacle problems on unbounded sets in metric spaces
• On homogeneous Newton-Sobolev spaces of functions in metric measure spaces of uniformly locally controlled geometry

This page was built for publication: The prime end capacity of inaccessible prime ends, resolutivity, and the Kellogg property

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2332889)