A note on boundary point principles for partial differential inequalities of elliptic type

In this note we consider boundary point principles for partial differential inequalities of elliptic type. First, we highlight the difference between the conditions required to establish classical strong maximum principles and classical boundary point lemmas for second-order linear elliptic partial differential inequalities. We highlight this difference by introducing a singular set in the domain where the coefficients of the partial differential inequality need not be defined and, in a neighborhood of which, can blow-up. Secondly, as a consequence, we establish a comparison-type boundary point lemma for classical elliptic solutions to quasilinear partial differential inequalities. Thirdly, we consider tangency principles, for C1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$C^{1}$\end{document} elliptic weak solutions to quasilinear divergence structure partial differential inequalities. We highlight the necessity of certain hypotheses in the aforementioned results via simple examples.


Introduction
In this note we consider boundary point principles for solutions to elliptic partial differential inequalities (PDI). Specifically, we first give a relaxation of Hopf 's [4] classical strong maximum principle (CSMP) for classical solutions to linear elliptic PDI, which here, allows the coefficients in the PDI to be unbounded in a neighborhood of a sufficiently regular subset of the spatial domain. The boundary point lemma (BPL) for linear elliptic PDI is obtained as a consequence of this CSMP and complements available results in [5,13]. Although coefficients in the PDI in the BPL are not necessarily bounded, they are constrained by growth conditions detailed in Sect. 2. As a secondary consideration, we illustrate how to extend BPL for classical solutions to linear elliptic PDI, to comparison-type BPL for elliptic classical solutions of quasilinear PDI, and highlight the importance of specific conditions on this extension via examples. Consequently, we demonstrate that the BPL, as stated in [13,Theorem 2.7.1] is erroneous. Thirdly, we give an extension of a tangency principle for C 1 elliptic weak solutions to divergence structure quasilinear PDI in domains with boundaries that satisfy an interior cone condition, which appeared in [17]. We also highlight that the tangency principle in [13,Theorem 2.7.2], an extension of that in [17], is erroneous.
We speculate that if detailed proofs for each of the three results in [13,Sect. 2.7] were included, then erroneous statements would not have appeared therein. Consequently, rather than merely provide counterexamples to the aforementioned erroneous theorem statements, we also investigate suitable amendments to the aforementioned results, which are established subject to conditions apparently intended in [13]. Specifically, the amended theorem statements allow for coefficients and functions in the elliptic PDI considered here to allow for local instead of global regularity/bounds, within the limitations of arguments used to prove the results. By providing detailed proofs, we clearly highlight when the mathematical arguments in [13] cease to be valid. Moreover, the proofs provided here illustrate the requirement for supplementary hypotheses to the theorem statements provided in [13], which retain the nonlocal nature of the theorem hypotheses.
We now give a brief account of the historical development of results in this note. The CSMP and BPL for classical solutions to linear elliptic PDI were established by Hopf in [4] for linear elliptic PDI with bounded (uniformly elliptic) coefficients. Although Hopf considered generalizations of the CSMP and BPL to elliptic solutions of nonlinear PDI in [4], more general statements of these results were established by McNabb in [6]. Extensions to the CSMP and BPL for classical solutions to linear elliptic PDI with coefficients that can blow-up or degenerate have been considered by numerous authors, as summarized in [2,5,12]. Notably, the consideration of a singular set within a domain for an elliptic PDI where the differential operator is not necessarily defined, and where tangency/maximum principles can be estalished, date back to Giraud [3]. Additionally, due to the development of a theory for weak solutions to boundary value problems for divergence structure quasilinear elliptic partial differential equations, tangency principles for C 1 elliptic weak solutions to quasilinear PDI were established by Serrin in [17], and extended in [13]. We note that the proof of Serrin relies on an iteration method developed by Moser [7] and a Harnack inequality for quasilinear divergence structure elliptic PDI established by Trudinger [18]. More recently [14][15][16], tangency principles have been established for C 1 elliptic weak solutions to quasilinear PDI that have conclusions more similar to that of Hopf-type BPL. A broader historical overview of the development of this theory can be found in [10, p.156-158 and p.193-194], [13, p.46] and [1,8,11].
The remainder of the note is presented as follows. In Sect. 2, we prove the CSMP and BPL for classical solutions to linear elliptic PDI, and consequently, we establish a comparisontype BPL for elliptic classical solutions to quasilinear PDI. Furthermore, we provide examples that highlight the need for specific conditions given in the statement of the BPL as given here, one of which, is a counterexamples to [13, Theorem 2.7.1]. In Sect. 3, we establish a comparison-type tangency principle for C 1 elliptic weak solutions to quasilinear divergence structure PDI in domains that satisfy an interior cone condition at boundary points. The necessity of several conditions in the BPL statement are highlighted, and furthermore, we demonstrate that [13, Theorems 2.7.2 and 2.7.3], are erroneous. In Sect. 4, we discuss how results in this note can be generalized and placed in a wider context.

Classical theory
In this section, we establish a CSMP in Theorem 2.3 and BPL in Theorem 2.5 for classical solutions to linear elliptic PDI. The CSMP is noteworthy in that it allows coefficients in the PDI, under constraint, to blow-up in the interior of the domain in the neighborhood of a singular set. After defining the regularity of the singular set and constructing a suitable auxiliary function, the proofs of these results largely follow the description of related proofs available in [13,Chap. 2]. This allows us to highlight a distinction between the conditions required to establish a CSMP and BPL for classical solutions to linear elliptic PDI. Consequently, we also establish a comparison-type BPL for classical elliptic solutions to quasilinear PDI in Theorem 2.6 using the aforementioned BPL for linear elliptic PDI, refining an analogous statement in [13,Theorem 2.7.1]. We provide a proof using the approach outlined in [13,Sect. 2.7] where it is noteworthy that a full proof is omitted. To conclude the section, we give a simple counterexample to [13,Theorem 2.7.1] and provide a further example to highlight the importance of specific conditions in Theorem 2.6 that are not present in [13, Theorem 2.7.1].

Notation and definitions
For a set X ⊂ R n , we denote ∂X =X \ int(X), to be the boundary of X. In addition, throughout this note, ⊂ R n denotes an open connected bounded set (a bounded domain), and we denote the set B R (x 0 ) ⊂ R n to be an open n-dimensional ball of radius R (with respect to the Euclidean distance) centered at x 0 ∈ R n . We also denote the origin in R n by O. Furthermore, we denote R(X) to be the set of real-valued functions with domain X, C(X) ⊂ R(X) to be the set of all continuous functions in R(X), and C i (X) ⊂ C(X) to be the set of i-times continuously differentiable functions in C(X) for each i ∈ N. Additionally, for u ∈ C 2 ( ) and S ⊂ , we consider the linear elliptic operator L : C 2 ( ) → R( \ S) given by with a ij , b i , c : \ S → R prescribed functions for i, j = 1, . . . , n, and such that there exists a nonnegative function : \ S → R for which, We refer to the set S where the linear elliptic operator is not defined for u, as the singular set. Additionally, note that by rescaling the coefficients in the operator in (2.1) by , the left-hand side of (2.2) can be expressed as |y| 2 , i.e., with an equivalent frequently used ellipticity condition. Moreover, for u ∈ C 2 ( ) we denote Du and D 2 u to be the gradient of u and the Hessian of u on , respectively. To establish the CSMP in this note, we give the following definition, which will be used to define the structure of the singular set S ⊂ . We refer to S as the singular set since the coefficients a ij , b i or c of L are allowed, with constraint, to blow-up in neighborhoods of S. We note that in [1], alternatively, two-sided 'hour-glass' conditions are employed for regularity conditions on singular sets that complement the following definition.
Definition 2.1 Let ⊂ R n be a domain and S ⊂ . We say that S satisfies an outward ball property if, given any nonempty relatively closed set T ⊂ that is a strict subset of , there exists R > 0 and x 0 ∈ \ (T ∪ S) such that To illustrate some geometric aspects of sets that satisfy an outward ball property, consider the following: (i) If S consists solely of a finite number of points in then S satisfies the outward ball property. This follows by considering d H : denoting the power set of X, and , and in each case, since S R is defined by a C 2 curve, there exists a ball B R 1 (x) ⊂ B R (s 0 ) \ (T ∪ S) that satisfies (2.3). If instead d H (∂T ∩ , S) = 0 and ∂T ∩ S = ∅ then a similar argument to that in (i) can be used to demonstrate that a ball that satisfies (2.3) exists. It follows analogously from the Jordan-Brouwer Separation Theorem that any set of finitely many disjoint compact (n -1)-dimensional sufficiently smooth C 2 manifolds in a domain ⊂ R n also satisfies the outward ball property. (iii) If = (-1, 1) 2 and S = (x 1 , x 2 ) ∈ : x 1 = 0 or x 2 = 0 , then S does not satisfy the outward ball property. This follows by considering T = {(0, 0)} and observing that every ball Since S consists of a countable set of isolated lines, it follows immediately that S is 1-porous at each s ∈ S . However, by considering T = (-1, 0] × (-1, 1) ⊂ , it follows that S does not satisfy the outward ball property. Later in this section, for u ∈ C 2 ( ), we consider the quasilinear operator Q : C 2 ( ) → R( ) given by,

CSMP and BPL for linear elliptic PDI
Before we establish a CSMP and BPL for classical solutions to L[u] ≥ 0 with L given by (2.1), we give the following lemma that guarantees the existence of a suitable comparison function.

5)
and moreover, for Then, if L is a linear elliptic operator with coefficients that satisfy (2.6)- It follows immediately that and for all x ∈ . It now follows from substituting (2.9), (2.11), and (2.12) into (2.16), and using (2.5)-(2.8), that and hence v satisfies (iv), as required.
We now establish a CSMP for linear elliptic PDI that allows coefficients of L to blowup in neighborhoods of interior points of . We note that one can recover a standard CSMP for linear elliptic PDI with bounded coefficients of appropriate sign (see for instance [4,10,13]) by considering S = ∅ with a sufficiently large constant.
that is continuous nonincreasing and such that ∈ L 1 ((0, R 2 )), and such that the coefficients of L satisfy and suppose that either M u = 0, or M u > 0 with c nonpositive. Then, M u > u(x) for all x ∈ or u is constant on .
Proof Suppose that u is not constant on , and is not empty. Since T is a relatively closed strict subset of and S satisfies the outward ball property, it follows that there exists a sufficiently small , for sufficiently small ∈ (0, R), with coefficients given byã to guarantee the existence of v :¯ 0 → [0, m] that satisfies the conclusions of Lemma 2.2. Now, define w : 0 → R to be It follows that w ∈ C 2 ( 0 ) ∩ C 1 ( 0 ) and sup ∂ 0 w = w(y 0x 0 ) = 0. Additionally, it follows that w ≤ 0 on 0 , for suppose that the converse holds, i.e., that there exists x * ∈ 0 such that sup x∈ 0 w(x) = w(x * ) > 0. From the hypotheses and Lemma 2.
with the last two inequalities following from (2.21), (2.25), and the hypotheses. However, since there is a local maxima of w at x * , then Dw(x * ) = 0, and D 2 w(x * ) is negative semidefinite. Consequently, via the Schur Product Theorem, the left-hand side of (2.26) is nonpositive, which gives a contradiction, and hence, w ≤ 0 on 0 . Therefore, ∂ ν w(y 0x 0 ) ≥ 0, and hence ∂ ν u(y 0 ) ≥ -∂ ν v(y 0x 0 ) > 0. However, since there is a local maxima of u at y 0 , it follows from the regularity of u that Du(y 0 ) = 0, which contradicts ∂ ν u(y 0 ) > 0. Therefore, either u is constant on , or u < M u on , as required.
This is the principal difference in hypothesis between BPL and CSMP for linear elliptic PDI.
A straightforward application of Theorem 2.3 gives an associated BPL for classical solutions to linear elliptic PDI.

Theorem 2.5 ((BPL))
Suppose that the hypotheses of Theorem 2.3 hold, with the restriction that 'for which ∂B R (x 0 ) ∩ ∂ = ∅' is omitted. 1 In addition, suppose that u ∈ C 1 (¯ ) and Proof Since u satisfies the conditions of Theorem 2.3 and is not constant, it follows that u(x) < u(x b ) for all x ∈ B R b (x b ). A function analogous to w in (2.25) can now be constructed, from which we can conclude (as in the proof of Theorem 2.3) that ∂ ν u(x b ) > 0, as required.

Comparison-type BPL for elliptic classical solutions to quasilinear PDI
In this subsection we establish a comparison-type BPL for classical elliptic solutions to quasilinear PDI using the approach described in [13,Chap. 2]. Specifically, via an application of Theorem 2.5, a BPL for classical elliptic solutions to quasilinear PDI can be established. Although the proof is standard, we provide it to inform the discussion that follows. Theorem 2.6 ((BPL)) Suppose that u, v :¯ → R satisfy u, v ∈ C 2 ( ) ∩ C 1 (¯ ) and the quasilinear PDI Q[u] ≥ 0 and Q[v] ≤ 0 on . Furthermore, suppose that Q is elliptic with respect to u, with v x i x j bounded on (or instead suppose that Q is elliptic with respect to v, with u x i x j bounded on ) for i, j = 1, . . . , n. Suppose that u < v in and u = v at .
where, for i, j = 1, . . . , n,ã ij ,b i ,c : → R are given by, . Thus, it follows thatL is a linear elliptic operator on B R b (x b ), that satisfies the conditions of Theorem 2.5, provided that we consider in Theorem 2.5 as that in (2.29)-(2.32) after multiplication by a sufficiently large constant. An application of Theorem 2.5 yields ∂ ν w > 0 at x b and hence, as required.
We now demonstrate that if the bound on the lower Lipschitz constant for B in Theorem 2.6 is relaxed to a mere local lower Lipschitz condition, then the conclusion of Theorem 2.6 does not necessarily hold.
Example 2.8 Suppose that ⊂ R n and for Consider u :¯ → R given by, u(x) = 0 ∀x ∈¯ , (2.33) and v :¯ → R such that: for all i, j = 1, . . . , n and B : × R × R n → R to be (2.39) Since the coefficients of A ij define a Laplacian, it can be seen that A ij satisfies the conditions of Theorem 2.6 (with, for example, = 1), and also, that Q is elliptic with respect to u with v x i x j bounded on . Moreover, observe that B is independent of η, and In conclusion, although u, v, A ij and B satisfy all of the conditions of Theorem 2.6 (with the exception of the lower Lipschitz condition on B, or alternatively (2.28)), via (2.36), which violates the conclusion of Theorem 2.6.  [9]. We also highlight that in both of these instances, a direct proof of the associated BPL is not given, but instead, only the main ideas of the proofs are described.

Remark
(2.42) Thus, we observe that B in (2.40) satisfies the conditions of Theorem 2.6 with the exception of ∈ L 1 ((0, R b 2 )) in (2.28). This follows from letting R → R b in (2.42), which implies that necessarily satisfies Now, we highlight the necessity of the bound on v x i x j (or u x i x j ) in Theorem 2.6. Note that this condition is not present in [13, Theorem 2.7.1].
Example 2.11 Let = (0, 1) ⊂ R and u, v :¯ → R be given by with constant α ∈ (0, 1). It follows that u, v ∈ C 1 (¯ )∩C 2 ( ), v > u in , and for on , it follows that Q is elliptic with respect to u, and that Q satisfies the conditions (2.27) and (2.28) in Theorem 2.6 with : (0, 1] → (0, ∞) given by Since is continuous nonincreasing and ∈ L 1 ((0, 1 2 )), it follows from (2.43)-(2.45) that u and v satisfy all of the conditions of Theorem 2.6 with the exception of v xx being bounded on . However, via (2.43), which violates the conclusion of Theorem 2.6.

Weak theory
In this section, we establish a comparison-type tangency principle, for C 1 weak elliptic solutions to divergence structure PDI that is a correction of that stated in [13, Theorem 2.7.2]. The proof largely follows that of [13,Theorem 2.7.2] with additional details included to highlight the additional hypotheses, and missing details in the proof of [13, Theorem 2.7.2]. We also provide simple counterexamples to [13, Theorems 2.7.2 and 2.7.3].

Notation and definitions
The quasilinear divergence structure PDI we consider are given by: with A : × R × R n → R n and B : × R × R n → R. Specifically, we consider C 1 weak solutions to (3.1) (and analogously (3.2)) that satisfy: u ∈ C 1 (¯ ), A(·, u, Du), B(·, u, Du) ∈ L 1 loc ( ) and for any test function ψ ∈ C 1 (¯ ) such that ψ ≥ 0 on and ψ has compact support in . Moreover, we say that u (and analogously v) is an elliptic solution to (3.1) if a ij (x) = (A i ) η j (x, u(x), Du(x)) satisfies the left inequality in (2.2) for all x ∈ . Furthermore, in this section we consider with boundary ∂ that satisfies an interior cone condition, i.e., at each point x b ∈ ∂ there exists a cone of finite height in with apex x b . We denote the interior of such a cone by b .
Additionally, for a function u ∈ C(¯ ) we say that u has a finite-order zero at x b ∈¯ if u(x b ) = 0 and there exists x 1 ∈ R n and m ∈ N such that x b + hx 1 ∈¯ for all h ∈ (0, 1), and Conversely we say that u has an infinite order 0 at x b if u(x b ) = 0 and there does not exist m ∈ N such that (3.4) is satisfied.

A comparison-type tangency principle for weak elliptic solutions to quasilinear divergence structure PDI
Theorem 3.1 ((Tangency Principle)) Let x b ∈ ∂ satisfy the interior cone condition, and u, v :¯ → R be such that: u, v ∈ C 1 (¯ ); u, v satisfy (3.1) and (3.2), respectively; A : × R × R n → R n is continuous and continuously differentiable with respect to z and η; A z is uniformly bounded and A η is uniformly continuous and for all (x, η (1) ), (x, η (2) ) ∈ b × [-2 , 2 ] n and i, j = 1, . . . , n. From = div Ã (x, w, Dw) +B(x, w, Dw) ≤ 0 (3.8) on b . The functionÃ : b × R × R n → R n arises from repeated application of the meanvalue theorem in (3.8), e.g., for i = 1, . . . , n, and η (i) : b → R n given by for i = 1, . . . , n + 1. Since Q is elliptic with respect to u, it follows from (3.6)-(3.9) that Additionally, via the regularity hypotheses on A and B it follows that there exists a constant a η ≥ 0 such that for all (x, z, η) ∈ b × [0, ∞) × R n , and (3.14) Note that [18,Theorem 1.2] remains true if u > 0 in , inequalities (1.2) hold on × [0, ∞) × E n , and the second and third inequalities in (1.2) for α = 2 are replaced by p · A(x, u, p) ≥ a 5 |p| 2 -a 2 u 2 and B(x, u, p) ≥ -b 1 |p|-b 2 u for constants a 2 , b 1 , b 2 ≥ 0 and a 5 > 0. Now, since x b is the apex of the cone b ⊂ , it follows that there exists a sequence of balls {B r k (y k )} k∈N 0 : that have boundaries that tangentially intersect ∂ b ; such that B r k /3 (y k ) ⊂ B 2r k+1 /3 (y k+1 ) for all k ∈ N 0 ; for which y k → x b as k → ∞; r k+1 < r k for k ∈ N 0 ; and by denoting θ to be the half-angular opening of the cone, we can set for all k ∈ N 0 . It follows immediately that with ω n denoting the volume of a Euclidean unit ball in R n . By combining (3.14) and (3.16), we have with L = ω n C3 n . Now, via our initial assumption, w has a zero of infinite order at x b and hence via (3.15), for each m ∈ N there exists a positive constant c independent of k such that  .14) and (3.17), the constant c that arises, as in (3.19), is not necessarily independent of k, which is the source of the error in the proof.
Example 3.3 Suppose that ⊂ R n and for x b ∈ ∂ satisfies an interior cone condition. Consider u :¯ → R and v :¯ → R as given in Example 2.8 such that additionally, v has a zero of infinite order at x b , i.e., For the quasilinear partial differential inequalities in (3.1) and (3.2) set A : × R × R n → R n to be which violates the conclusion of Theorem 3.1. We also note here that the conditions on A η and A z in To conclude the section, we note that in [13, Theorem 2.7.3], a strong maximum principle and tangency principle is stated with the regularity conditions on u and v in [13, Theorem 2.7.2] relaxed to u, v ∈ C(¯ ) but so that u and v also possess strong derivatives in L 2 loc ( ). To compensate for these relaxed regularity conditions on u and v, stricter regularity conditions are imposed on A and B that we now demonstrate, are insufficient to establish the conclusion. This establishes that all three theorems in [13,Sect. 2.7] are erroneous. x ∈ ∂B 1 (0). (3.23) Observe that u, v ∈ C ∞ (¯ ) and that the zero of vu on ∂B 1 (0) is of infinite order. Additionally, note that A is locally bounded on R n and B is locally bounded and locally lower Lipschitz on × R. Furthermore, for i = 1, . . . , n, we have

Discussion
In Theorem 2.3, the outward ball condition on S in Definition 2.1 can be generalized to an outward C 1,Dini condition, provided that the conditions on the coefficients of L are appropriately constrained. This can be achieved with more restrictive conditions in the statement of Theorem 2.3, by replacing the function in Lemma 2.2 with a suitable alternative (for instance, the regularized distance functions constructed in [5, Sects. 1 and 2]). It is also noteworthy that although the singular sets for elliptic PDI considered in Sect. 2 satisfy a 1-porous condition (see [20,Definition 2.1]) the review articles [19,20] do not indicate that a link has been established between porous sets and singular sets for elliptic PDI. Although it is not immediately clear if strengthening the link between porosity and singular sets for elliptic PDI will be a fruitful pursuit, it is potentially worthy of further consideration.
In relation to Theorem 2.6, a fully nonlinear version can be established without substantial additional technicality (see, for example [4,13]). Moreover, the condition bounding v x i x j can be relaxed provided that the right-hand side of (2.29)-(2.32) can be expressed (for instance, by further constraining the growth of (d) as d → 0) so that Theorem 2.5 can be applied.
With regard to Theorem 3.1, we note that allowable blow-up in A and B as x → x b can be accommodated by using the more general integrability conditions on coefficients in Theorem [18, Theorem 1.2], i.e., by using Theorem [18,Theorem 5.1]. Also, complementary results are contained in [14][15][16] where BPL for quasilinear elliptic PDI are established under more regular domain and PDI constraints, but that guarantee the existence of nonzero (first) outward directional derivatives. It is also pertinent to note that in [16] the author highlights two further distinct incorrect statements of BPL from those highlighted here and in [9].