Regularity of $p(\cdot)$-superharmonic functions, the Kellogg property and semiregular boundary points

TL;DR

This paper investigates boundary regularity for $p( obreak ext{)}$-harmonic functions, establishing the Kellogg property, classifying boundary points, and providing new characterizations and examples in the context of variable exponent spaces.

Contribution

It introduces a classification of boundary points for $p( obreak ext{)}$-harmonic functions and proves the Kellogg property, advancing understanding of boundary regularity in variable exponent analysis.

Findings

Established the Kellogg property for $p( obreak ext{)}$-harmonic functions.

Classified boundary points into regular, semiregular, and strongly irregular.

Provided new characterizations of $W^{1, p( obreak ext{)} }_0$ spaces.

Abstract

We study various boundary and inner regularity questions for $p(\cdot)$-(super)harmonic functions in Euclidean domains. In particular, we prove the Kellogg property and introduce a classification of boundary points for $p(\cdot)$-harmonic functions into three disjoint classes: regular, semiregular and strongly irregular points. Regular and especially semiregular points are characterized in many ways. The discussion is illustrated by examples. Along the way, we present a removability result for bounded $p(\cdot)$-harmonic functions and give some new characterizations of $W^{1, p(\cdot)}_0$ spaces. We also show that $p(\cdot)$-superharmonic functions are lower semicontinuously regularized, and characterize them in terms of lower semicontinuously regularized supersolutions.