Boundary behavior and the Martin boundary problem for \(p\) harmonic functions in Lipschitz domains (Q624925): Difference between revisions

This paper makes a significant advance in the study of positive \(p\)-harmonic functions (\(1<p<\infty \), \(p\neq 2\)) on a Lipschitz domain \(\Omega \) in \(\mathbb{R}^{n}\). In an earlier paper [Ann. Sci. Éc. Norm. Supér. (4) 40, No. 5, 765--813 (2007; Zbl 1134.31008)], the authors had established a boundary Harnack principle for the ratio of two positive \(p\)-harmonic functions that simultaneously vanish on a relatively open subset of \(\partial \Omega \). The first part of the present work is devoted to showing that this ratio is Hölder continuous up to the relevant portion of the boundary. The Hölder exponent and associated constants depend only on \(p\), \(n\) and the Lipschitz constant of \(\Omega \). The second part of the paper investigates the Martin boundary for positive \(p\)-harmonic functions on \(\Omega \). It remains an open question whether this boundary can be identified with the Euclidean boundary for general Lipschitz domains when \(p\neq 2\). However, the authors establish a sufficient condition for minimal positive \(p\)-harmonic functions relative to a given boundary point to be unique up to a multiplicative constant. From this they deduce that the \(p\)-Martin boundary can be identified with the Euclidean boundary when either \(\Omega \) is convex or \(\partial \Omega \) is \(C^{1}\).