Semiregular and strongly irregular boundary points for $p$-harmonic functions on unbounded sets in metric spaces

The trichotomy between regular, semiregular, and strongly irregular boundary points for $p$-harmonic functions is obtained for unbounded open sets in complete metric spaces with a doubling measure supporting a $p$-Poincar\'e inequality, $1<p<\infty$. We show that these are local properties. We also deduce several characterizations of semiregular points and strongly irregular points. In particular, semiregular points are characterized by means of capacity, $p$-harmonic measures, removability, and semibarriers.


Introduction
Let Ω ⊂ R n be a nonempty bounded open set and let f ∈ C(∂Ω). The Perron method provides us with a unique function P f that is harmonic in Ω and takes the boundary values f in a weak sense, i.e., P f is a solution of the Dirichlet problem for the Laplace equation ∆u = 0. It was introduced on R 2 in 1923 by Perron [25] and independently by Remak [26]. A point x 0 ∈ ∂Ω is regular if lim Ω∋y→x0 P f (y) = f (x 0 ) for every f ∈ C(∂Ω). Wiener [28] characterized regular boundary points by means of the Wiener criterion in 1924. In the same year Lebesgue [22] gave a different characterization using barriers.
This definition of boundary regularity can be paraphrased in the following way: The point x 0 ∈ ∂Ω is regular if the following two conditions hold: (i) For all f ∈ C(∂Ω) the limit lim Ω∋y→x0 P f (y) exists.
(ii) For all f ∈ C(∂Ω) there is a sequence Ω ∋ y j → x 0 such that lim j→∞ P f (y j ) = f (x 0 ). Perhaps surprisingly, it is the case that for irregular boundary points exactly one of these two properties fails; one might have guessed that both can fail at the same time but this can in fact never happen. A boundary point x 0 ∈ ∂Ω is semiregular if the first condition holds but not the second; and strongly irregular if the second condition holds but not the first.
For the Laplace equation it is well known that all boundary points are either regular, semiregular, or strongly irregular, and this trichotomy (in an abstract linear setting) was developed in detail in Lukeš-Malý [23]. Key examples of semiregular and strongly irregular points are Zaremba's punctured ball and the Lebesgue spine, respectively, see Examples 13.3 and 13.4 in [6].
A nonlinear analogue is to consider the Dirichlet problem for p-harmonic functions, which are solutions of the p-Laplace equation ∆ p u := div(|∇u| p−2 ∇u) = 0, 1 < p < ∞. This leads to a nonlinear potential theory that has been studied since the 1960s. Initially, it was developed for R n , but it has also been extended to weighted R n , Riemannian manifolds, and other settings. In more recent years, it has been generalized to metric spaces, see, e.g., the monograph Björn-Björn [6] and the references therein. The Perron method was extended to such metric spaces by Björn-Björn-Shanmugalingam [9] for bounded open sets and Hansevi [16] for unbounded open sets.
Boundary regularity for p-harmonic functions on metric spaces was first studied by Björn [13] and Björn-MacManus-Shanmugalingam [14], and a rather extensive study was undertaken by Björn-Björn [5] on bounded open sets. Recently this theory was generalized to unbounded open sets by ; see also Björn-Björn-Li [7]. For further references and a historical discussion on regularity for p-harmonic functions we refer the interested reader to the introduction in [11].
For p-harmonic functions on R n and metric spaces the trichotomy was obtained by Björn [4] for bounded open sets. It was also obtained for unbounded sets in certain Ahlfors regular metric spaces by Björn-Björn-Li [7]. Adamowicz-Björn-Björn [1] obtained the trichotomy for p(·)-harmonic functions on bounded open sets in R n .
In this paper we obtain the trichotomy in the following form, where regularity is defined using upper Perron solutions (Definition 5.1). (We use upper Perron solutions as it is not known whether continuous functions are resolutive with respect to unbounded p-hyperbolic sets.) Theorem 1.1. (Trichotomy) Assume that X is a complete metric space equipped with a doubling measure supporting a p-Poincaré inequality, 1 < p < ∞. Let Ω ⊂ X be a nonempty (possibly unbounded ) open set with the capacity C p (X \ Ω) > 0.
Let x 0 ∈ ∂Ω \ {∞}. Then x 0 is either regular, semiregular, or strongly irregular for functions that are p-harmonic in Ω. Moreover, • The relatively open set consists exactly of all semiregular boundary points of ∂Ω \ {∞}.
The importance of the distinction between semiregular and strongly irregular boundary points is perhaps best illustrated by the equivalent characterizations given in Theorems 6.4 and 6.5. Semiregular points are in some ways not seen by Perron solutions.
Our contribution here is to extend the results in [4] to unbounded open sets. In order to do so there are extra complications, most notably the fact that it is not known whether continuous functions are resolutive with respect to unbounded p-hyperbolic sets. We will also rely on the recent results by  on regularity for p-harmonic functions on unbounded sets in metric spaces. Most of our results are new also on unweighted R n .
Acknowledgement. The first author was supported by the Swedish Research Council, grant 2016-03424.

Notation and preliminaries
We assume that (X, d, µ) is a metric measure space (which we simply refer to as X) equipped with a metric d and a positive complete Borel measure µ such that 0 < µ(B) < ∞ for every ball B ⊂ X. It follows that X is second countable. For balls B(x 0 , r) := {x ∈ X : d(x, x 0 ) < r} and λ > 0, we let λB = λB(x 0 , r) := B(x 0 , λr). The σ-algebra on which µ is defined is the completion of the Borel σ-algebra. We also assume that 1 < p < ∞. Later we will impose further requirements on the space and on the measure. We will keep the discussion short, see the monographs Björn-Björn [6] and Heinonen-Koskela-Shanmugalingam-Tyson [18] for proofs, further discussion, and references on the topics in this section.
The measure µ is doubling if there exists a constant C ≥ 1 such that for every ball B ⊂ X. A metric space is proper if all bounded closed subsets are compact, and this is in particular true if the metric space is complete and the measure is doubling. We say that a property holds for p-almost every curve if it fails only for a curve family Γ with zero p-modulus, i.e., there exists a nonnegative ρ ∈ L p (X) such that γ ρ ds = ∞ for every curve γ ∈ Γ. For us, a curve in X is a rectifiable nonconstant continuous mapping from a compact interval into X, and it can thus be parametrized by its arc length ds.
Following Koskela-MacManus [21] we make the following definition, see also Heinonen-Koskela [17]. for p-almost every curve γ : [0, l γ ] → X, where we use the convention that the lefthand side is ∞ whenever at least one of the terms on the left-hand side is infinite.
One way of controlling functions by their p-weak upper gradients is to require a Poincaré inequality to hold. Definition 2.2. We say that X supports a p-Poincaré inequality if there exist constants, C > 0 and λ ≥ 1 (the dilation constant), such that for all balls B ⊂ X, all integrable functions u on X, and all p-weak upper gradients g of u, where u B := B u dµ := 1 µ(B) B u dµ. Shanmugalingam [27] used p-weak upper gradients to define so-called Newtonian spaces.
Definition 2.3. The Newtonian space on X, denoted N 1,p (X), is the space of all extended real-valued functions u ∈ L p (X) such that where the infimum is taken over all p-weak upper gradients g of u.
Definition 2.4. The Dirichlet space on X, denoted D p (X), is the space of all measurable extended real-valued functions on X that have a p-weak upper gradient in L p (X).
In this paper we assume that functions in N 1,p (X) and D p (X) are defined everywhere (with values in R), not just up to an equivalence class. This is important, in particular for the definition of p-weak upper gradients to make sense.
A measurable set A ⊂ X can itself be considered to be a metric space (with the restriction of d and µ to A) with the Newtonian space N 1,p (A) and the Dirichlet space D p (A) given by Definitions 2.3 and 2.4, respectively. If X is proper and Ω ⊂ X is open, then u ∈ N 1,p loc (Ω) if and only if u ∈ N 1,p (V ) for every open V such that V is a compact subset of Ω, and similarly for D p loc (Ω). If u ∈ D p loc (X), then there exists a minimal p-weak upper gradient g u ∈ L p loc (X) of u such that g u ≤ g a.e. for all p-weak upper gradients g ∈ L p loc (X) of u.
Definition 2.5. The (Sobolev ) capacity of a set E ⊂ X is the number where the infimum is taken over all u ∈ N 1,p (X) such that u ≥ 1 on E.
A property that holds for all points except for those in a set of capacity zero is said to hold quasieverywhere (q.e.).
The capacity is countably subadditive, and it is the correct gauge for distinguishing between two Newtonian functions: If u ∈ N 1,p (X), then u ∼ v if and only if u = v q.e. Moreover, if u, v ∈ N 1,p loc (X) and u = v a.e., then u = v q.e. Continuous functions will be assumed to be real-valued unless otherwise stated, whereas semicontinuous functions are allowed to take values in R. We use the common notation u+ = max{u, 0}, let χ E denote the characteristic function of the set E, and consider all neighbourhoods to be open.

The obstacle problem and p-harmonic functions
We assume from now on that 1 < p < ∞, that X is a complete metric measure space supporting a p-Poincaré inequality, that µ is doubling, and that Ω ⊂ X is a nonempty (possibly unbounded ) open subset with C p (X \ Ω) > 0.
The K ψ,f -obstacle problem has a unique (up to sets of capacity zero) solution whenever K ψ,f = ∅, see Hansevi [15,Theorem 3.4]. Furthermore, there is a unique lsc-regularized solution of the K ψ,f -obstacle problem, by Theorem 4.1 in [15] is continuous as an extended real-valued function, and K ψ,f = ∅, then the lsc-regularized solution of the K ψ,f -obstacle problem is continuous, by Theorem 4.4 in [15]. Hence the following generalization of Definition 3.3 in Björn-Björn-Shanmugalingam [8] (and Definition 8.31 in [6]) to Dirichlet functions and to unbounded sets makes sense. It was first used by Hansevi [15,Definition 4.6].

Perron solutions
In addition to the assumptions given at the beginning of Section 3, from now on we make the convention that if Ω is unbounded, then the point at infinity, ∞, belongs to the boundary ∂Ω. Topological notions should therefore be understood with respect to the one-point compactification X * := X ∪ {∞}.
Note that this convention does not affect any of the definitions in Sections 2 or 3, as ∞ is not added to X (it is added solely to ∂Ω).
Since continuous functions are assumed to be real-valued, every function in C(∂Ω) is bounded even if Ω is unbounded. Note that since X is second countable so is X * , and hence X * is metrizable by Urysohn's metrization theorem, see, e.g., Munkres [24, Theorems 32.3 and 34.1].
We will only consider Perron solutions and p-harmonic measures with respect to Ω and therefore omit Ω from the notation below.
Definition 4.1. Given a function f : ∂Ω → R, let U f be the collection of all functions u that are superharmonic in Ω, bounded from below, and such that The upper Perron solution of f is defined by The lower Perron solution can be defined similarly using subharmonic functions, or by letting P f = −P (−f ). If P f = P f , then we denote the common value by P f . Moreover, if P f is real-valued, then f is said to be resolutive (with respect to Ω).
An immediate consequence of the definition is that P f ≤ P h whenever f ≤ h on ∂Ω. Moreover, if α ∈ R and β ≥ 0, then P (α + βf ) = α + βP f . Corollary 6.3 in Hansevi [16] shows that P f ≤ P f . In each component of Ω, P f is either pharmonic or identically ±∞, by Theorem 4.1 in Björn-Björn-Shanmugalingam [9] (or Theorem 10.10 in [6]); the proof is local and applies also to unbounded Ω.
For examples of p-parabolic sets, see, e.g., Hansevi [16]. The main reason for introducing p-parabolic sets in [16] was to be able to obtain resolutivity results, and in particular, establishing the following resolutivity and invariance result for pparabolic unbounded sets. The first such invariance result for p-harmonic functions was obtained, for bounded sets, by Björn-Björn-Shanmugalingam [9]. Resolutivity of continuous functions is not known for unbounded p-hyperbolic sets, but it is rather trivial to show that constant functions are resolutive. We shall show that a similar invariance result as in Theorem 4.3 can be obtained for constant functions on unbounded p-hyperbolic sets. This fact will be an important tool when characterizing semiregular boundary points.
We first need to define p-harmonic measures, which despite the name are (usually) not measures, but nonlinear generalizations of the harmonic measure.  In particular, ω(E) = ω(E) ≡ 0.
Proof. Without loss of generality we may assume that a = 0. As the capacity C p is an outer capacity, by Corollary , we can choose a decreasing subsequence of open sets G k with C p (G k ) < 2 −kp , k = 1, 2, ... . By Lemma 5.3 in Björn-Björn-Shanmugalingam [9] (or [6, Lemma 10.17]), there is a decreasing sequence {ψ j } ∞ j=1 of nonnegative functions such that lim j→∞ ψ j N 1,p (X) = 0 and ψ j ≥ k − j in G k whenever k > j. In particular, ψ j = ∞ on E for each j = 1, 2, ... .
Let u j be the lsc-regularized solution of the K ψj,0 (Ω)-obstacle problem, j = 1, 2, ... . As u j is lsc-regularized and u j ≥ ψ j q.e., we see that u j ≥ k − j everywhere in G k whenever k > j, and also that u j ≥ 0 everywhere in Ω. In particular, lim inf Ω∋y→x u j (y) = ∞ for x ∈ E, which shows that u j ∈ U f (Ω) and thus u j ≥ P f .
On the other hand, Theorem 3.2 in Hansevi [16] shows that the sequence u j decreases q.e. to 0, and hence P f ≤ 0 q.e. in Ω. Since P f is continuous, we get that P f ≤ 0 everywhere in Ω. Applying this to −f shows that P f = −P (−f ) ≥ 0 everywhere in Ω, which together with the inequality P f ≤ P f shows that P f = P f ≡ 0. In particular, ω(E) = P χ E ≡ 0 and ω(E) = P χ E ≡ 0.
We will also need the following result.
Because f is upper semicontinuous, ∂Ω is compact, and X * is metrizable, it follows from Proposition 1.12 in [6] that f = inf ϕ∈F ϕ. Hence by Lemma 10.31 in [6] (whose proof is valid also for unbounded Ω) P f = inf ϕ∈F P ϕ.

Boundary regularity
It is not known whether continuous functions are resolutive also with respect to unbounded p-hyperbolic sets. We therefore define regular boundary points in the following way. Furthermore, we say that a boundary point x 0 ∈ ∂Ω is semiregular if (I) holds but not (II); and strongly irregular if (II) holds but not (I).
We do not require Ω to be bounded in this definition, but if it is, then it follows from Theorem 6.1 in Björn-Björn-Shanmugalingam [9] (or Theorem 10.22 in [6]) that our definition coincides with the definitions of regularity in Björn-Björn-Shanmugalingam [8], [9], and Björn-Björn [5], [6], where regularity is defined using P f or Hf . Thus we can use the boundary regularity results from these papers when considering bounded sets.
Since P f = −P (−f ), the same concept of regularity is obtained if we replace the upper Perron solution by the lower Perron solution in Definition 5.1.
Boundary regularity for p-harmonic functions on unbounded sets in metric spaces was recently studied by . We will need some of the characterizations obtained therein. For the reader's convenience we state these results here. We will not discuss regularity of the point ∞ in this paper. One of the important results we will need from [11] is the Kellogg property. Superharmonic functions satisfy the strong minimum principle, i.e., if u is superharmonic and attains its minimum in some component G of Ω, then u| G is constant (see Theorem 9.13 in [6]). This implies that a barrier is always nonnegative, and furthermore, that a barrier is positive if ∂G \ {x 0 } = ∅ for every component G ⊂ Ω.
The following result is a collection of the key facts we will need from Björn-Hansevi [11, Theorems 5.

Semiregular and strongly irregular points
We are now ready to start our discussion of semiregular and strongly irregular boundary points. We begin by proving Theorem 1.1.
Let f ∈ C(∂Ω). Then the Perron solution P f is bounded (as f is bounded), and thus P f has a p-harmonic extension U to Ω ∪ G, by Theorem 6.2 in Björn [3] (or Theorem 12.2 in [6]). Since U is continuous, it follows that Let f ∈ C(∂Ω). Because x j is regular, there is y j ∈ B(x j , 1/j) ∩ Ω so that |P f (y j ) − f (x j )| < 1/j. It follows that y j → x 0 and P f (y j ) → f (x 0 ) as j → ∞, i.e., condition (II) in Definition 5.1 holds, and hence x 0 must be either regular or strongly irregular.
As there are no strongly irregular points in case 1, it follows that x 0 ∈ ∂Ω\{∞} is strongly irregular if and only if x 0 ∈ R\R, where R := {x ∈ ∂Ω\{∞} : x is regular}. And since there are no semiregular points in case 2, the set S in (1.1) consists exactly of all semiregular boundary points of ∂Ω \ {∞}.
In fact, in case 2 it is possible to improve upon the result above. The sequence {y j } ∞ j=1 can be chosen independently of f , see the characterization (c) in Theorem 6.4.
We will characterize semiregular points by a number of equivalent conditions in Theorem 6.4. But first we obtain the following characterizations of relatively open sets of semiregular points. (f) The set Ω∪V is open in X, C p (X \(Ω∪V )) > 0, µ(V ) = 0, and every function that is bounded and superharmonic in Ω has a superharmonic extension to Ω ∪ V . (g) The set Ω ∪ V is open in X, C p (X \ (Ω ∪ V )) > 0, and every function that is bounded and p-harmonic in Ω has a p-harmonic extension to Ω ∪ V . If moreover Ω is bounded or p-parabolic, then also the following statement is equivalent to the statements above.
Note that there are examples of sets with positive capacity and even positive measure which are removable for bounded p-harmonic functions, see Section 9 in Björn [3] (or [6,Section 12.3]). For superharmonic functions it is not known whether such examples exist. This motivates the formulations of (f) and (g).
The following example shows that the condition C p (X \ (Ω ∪ V )) > 0 cannot be dropped from (g), nor from (j) in Theorem 6.4 below. We do not know whether the conditions C p (X \ (Ω ∪ V )) > 0 and µ(V ) = 0 can be dropped from (f), but they are needed for our proof. Similarly they are needed in (l) in Theorem 6.4 below.
Example 6.2. Let X = [0, 1] be equipped with the Lebesgue measure, and let 1 < p < ∞, Ω = (0, 1] and V = {0}. Then C p (V ) > 0. In this case the p-harmonic functions on Ω are just the constant functions, and these trivially have p-harmonic extensions to X. Thus the condition C p (X \ (Ω ∪ V )) > 0 cannot be dropped from (g).
On the other hand, the set V is not removable for bounded superharmonic functions on Ω, see Example 9.1 in Björn [3] or Example 12.17 in [6]. (e) ⇒ (b) Suppose that x ∈ V is regular. Because χ V is continuous at x, this yields a contradiction, as it follows from Theorem 5.4 that Thus V does not contain any regular point.
(c) ⇒ (f) Suppose that C p (V ) = 0. Then C p (X \ (Ω ∪ V )) = C p (X \ Ω) > 0 and µ(V ) = 0. Let x ∈ V and let G be a connected neighbourhood of x such that G ∩ ∂Ω ⊂ V . Sets of capacity zero cannot separate space, by Lemma 4.6 in Björn-Björn [6], and hence G \ ∂Ω must be connected, i.e., G ⊂ Ω, from which it follows that Ω ∪ V is open in X. The superharmonic extension is now provided by Theorem 6.3 in Björn [3] (or Theorem 12.3 in [6]).
(f) ⇒ (g) Let u be a bounded p-harmonic function on Ω. Then, by assumption, u has a superharmonic extension U to Ω ∪ V . Moreover, as −u is also bounded and p-harmonic, there is a superharmonic extension W of −u to Ω ∪ V . Now, as −W is clearly a subharmonic extension of u to Ω ∪ V , Proposition 6.5 in Björn [3] (or Proposition 12.5 in [6]) asserts that U = −W is p-harmonic (it is here that we use that µ(V ) = 0).
where d x0 is defined by (5.1). Then P h is bounded and has a p-harmonic extension U to Ω ∪ V , and hence the Kellogg property (Theorem 5.2) implies that It then follows from Lemma 4.3 in Björn-Björn [5] (or Lemma 4.5 in [6]) that C p (∂G) > 0. In particular, it follows from (6.1) that U ≡ 1 in G, and thus, by the strong maximum principle (see Corollary 6.4 in Kinnunen-Shanmugalingam [20] or [6,Theorem 8.13]), that U (x 0 ) < 1. Therefore and hence x 0 must be irregular.
However, if f ∈ C(∂Ω), then P f has a p-harmonic extension W to Ω ∪ V . Since W is continuous in Ω ∪ V , it follows that lim Ω∋y→x0 P f (y) = W (x 0 ), and hence the limit on the left-hand side always exists. Thus x 0 is semiregular. We now assume that Ω is bounded or p-parabolic. Moreover, we say that u is a weak semibarrier (with respect to Ω) at x 0 ∈ ∂Ω if u is a positive superharmonic function such that (ii) holds. Now we are ready to characterize the semiregular points by means of capacity, p-harmonic measures, removable singularities, and semibarriers. In particular, we show that semiregularity is a local property. (c) There is no sequence {y j } ∞ j=1 in Ω such that y j → x 0 as j → ∞ and The point x 0 is neither regular nor strongly irregular.
(e) It is true that that every function that is bounded and p-harmonic in Ω has a p-harmonic extension to Ω ∪ V . (k) There is a neighbourhood V of x 0 such that every function that is bounded and p-harmonic in Ω has a p-harmonic extension to Ω ∪ V , and moreover x 0 is irregular. (l) There is a neighbourhood V of x 0 , with C p (X \ (Ω ∪ V )) > 0 and µ(V \ Ω) = 0, such that every function that is bounded and superharmonic in Ω has a superharmonic extension to Ω ∪ V . (m) It is true that lim Ω∋y→x0 P d x0 (y) > 0.
(o) There is no weak semibarrier at x 0 .
(p) There is no semibarrier at x 0 . (q) The continuous solution of the K dx 0 ,dx 0 -obstacle problem is not a semibarrier at x 0 . If moreover Ω is bounded or p-parabolic, then also the following statement is equivalent to the statements above.
(r) There is a neighbourhood V of x 0 such that for every f ∈ C(∂Ω), the Perron solution P f depends only on f | ∂Ω\V (i.e., if f, h ∈ C(∂Ω) and f = h on ∂Ω \ V , then P f ≡ P h).
Proof.  Because x j is regular, there is y j ∈ B(x j , 1/j) ∩ Ω such that |P f j (y j )| = |f j (x j ) − P f j (y j )| < 1/j.
Hence y j → x 0 and P f j (y j ) → 0 as j → ∞.
Observe that (f) is equivalent to the existence of a neighbourhood U of x 0 with C p (U ∩ ∂G) = 0, which is equivalent to (b), by the already proved equivalence (f) ⇔ (a) applied to G instead of Ω.  (g) ⇔ (j) ⇔ (l) In all three statements it follows directly that V ⊂ Ω. Thus their equivalence follows directly from Theorem 6.1, with V in Theorem 6.1 corresponding to V ∩ ∂Ω here.
(j) ⇒ (k) We only have to show the last part, i.e., that x 0 is irregular, but this follows from the already proved implication (j) ⇒ (a).
(k) ⇒ (a) Let f ∈ C(∂Ω). Then P f has a p-harmonic extension U to Ω ∪ V for some neighbourhood V of x 0 , and hence lim Ω∋y→x0 P f (y) = U (x 0 ). Since x 0 is irregular it follows that x 0 must be semiregular.
(l) ⇒ (o) Let u be a positive superharmonic function on Ω. Then min{u, 1} is superharmonic by Lemma 9.3 in Björn-Björn [6], and hence has a superharmonic extension U to Ω ∪ V . As U is lsc-regularized (see Section 3) and µ(V \ Ω) = 0, it follows that U ≥ 0 in Ω ∪ V . Suppose that U (x 0 ) = 0. Then the strong minimum principle [6, Theorem 9.13] implies that U ≡ 0 in the component of Ω ∪ V that contains x 0 . But this is in contradiction with u being positive in Ω, and thus lim inf Thus there is no weak semibarrier at x 0 . ¬(p) ⇒ ¬(o) Let u be a semibarrier at x 0 . If u > 0 in all of Ω, then u is a weak semibarrier at x 0 . On the other hand, assume that there exists x ∈ Ω such that u(x) = 0 (in this case u is not a weak semibarrier). Then the strong minimum principle [6,Theorem 9.13] implies that u ≡ 0 in the component G ⊂ Ω that contains x, and hence x 0 must be the only boundary point of G, because u is a semibarrier. As C p (X \ G) ≥ C p (X \ Ω) > 0, Lemma 4.3 in Björn-Björn [5] (or Lemma 4.5 in [6]) implies that C p ({x 0 }) = C p (∂G) > 0. By the Kellogg property (Theorem 5.2), x 0 is regular, and hence Theorem 5.4 asserts that there is a positive barrier v at x 0 , and thus v is a weak semibarrier.
Let {x j } ∞ j=1 be a sequence of regular boundary points such that d x0 (x j ) < 1/j. By Theorem 5.4, lim Ω∋y→xj u(y) = d x0 (x j ). Hence we can find y j ∈ B(x j , 1/j) ∩ Ω so that u(y j ) < 2/j. Thus u satisfies (ii) in Definition 6.3 as 0 ≤ lim inf We now assume that Ω is bounded or p-parabolic.
(e) ⇔ (r) This follows directly from Theorem 6.1, with V therein corresponding to V ∩ ∂Ω here.
We conclude our description of boundary points with some characterizations of strongly irregular points. As for regular and semiregular points, strong irregularity is a local property.  (h) There is a semibarrier (or equivalently there is a weak semibarrier ) but no barrier at x 0 .
The trichotomy property (Theorem 1.1) shows that a boundary point is either regular, semiregular, or strongly irregular. We will use this in the following proof.
Proof. (a) ⇔ (b) By Theorems 5.4 and 6.4, regularity and semiregularity are local properties, and hence this must be true also for strong irregularity. (a) ⇒ (e) Since x 0 is strongly irregular and P d x0 is nonnegative, it follows that lim inf Ω∋y→x0 P d x0 (y) = 0 ≤ lim sup Ω∋y→x0 P d x0 (y).
(f) ⇒ (a) By definition, x 0 is neither regular nor semiregular, and hence must be strongly irregular.