 Research
 Open access
 Published:
A note on boundary point principles for partial differential inequalities of elliptic type
Boundary Value Problems volume 2022, Article number: 33 (2022)
Abstract
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 secondorder 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 blowup. Secondly, as a consequence, we establish a comparisontype boundary point lemma for classical elliptic solutions to quasilinear partial differential inequalities. Thirdly, we consider tangency principles, for \(C^{1}\) elliptic weak solutions to quasilinear divergence structure partial differential inequalities. We highlight the necessity of certain hypotheses in the aforementioned results via simple examples.
1 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 comparisontype 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 blowup 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–16], tangency principles have been established for \(C^{1}\) elliptic weak solutions to quasilinear PDI that have conclusions more similar to that of Hopftype 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 comparisontype 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.
2 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 blowup 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 comparisontype 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].
2.1 Notation and definitions
For a set \(X\subset \mathbb{R}^{n}\), we denote \(\partial X=\bar{X} \setminus \operatorname{int}(X)\), to be the boundary of X. In addition, throughout this note, \(\Omega \subset \mathbb{R}^{n}\) denotes an open connected bounded set (a bounded domain), and we denote the set \(B_{R}(x_{0})\subset \mathbb{R}^{n}\) to be an open ndimensional ball of radius R (with respect to the Euclidean distance) centered at \(x_{0}\in \mathbb{R}^{n}\). We also denote the origin in \(\mathbb{R}^{n}\) by O. Furthermore, we denote \(R(X)\) to be the set of realvalued functions with domain X, \(C(X)\subset R(X)\) to be the set of all continuous functions in \(R(X)\), and \(C^{i}(X)\subset C(X)\) to be the set of itimes continuously differentiable functions in \(C(X)\) for each \(i\in \mathbb{N}\). Additionally, for \(u\in C^{2}(\Omega )\) and \(\mathcal{S}\subset \Omega \), we consider the linear elliptic operator \(L:C^{2}(\Omega )\to R(\Omega \setminus \mathcal{S} )\) given by
with \(a_{ij},b_{i},c:\Omega \setminus \mathcal{S} \to \mathbb{R}\) prescribed functions for \(i,j=1,\dots,n\), and such that there exists a nonnegative function \(\Lambda:\Omega \setminus \mathcal{S}\to \mathbb{R}\) for which,
We refer to the set \(\mathcal{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 lefthand side of (2.2) can be expressed as \(\epsilon y^{2}\), i.e., with an equivalent frequently used ellipticity condition. Moreover, for \(u\in C^{2}(\Omega )\) 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 \(\mathcal{S}\subset \Omega \). We refer to \(\mathcal{S}\) as the singular set since the coefficients \(a_{ij}\), \(b_{i}\) or c of L are allowed, with constraint, to blowup in neighborhoods of \(\mathcal{S}\). We note that in [1], alternatively, twosided ‘hourglass’ conditions are employed for regularity conditions on singular sets that complement the following definition.
Definition 2.1
Let \(\Omega \subset \mathbb{R}^{n}\) be a domain and \(S\subset \Omega \). We say that \(\mathcal{S}\) satisfies an outward ball property if, given any nonempty relatively closed set \(\mathcal{T}\subset \Omega \) that is a strict subset of Ω, there exists \(R>0\) and \(x_{0}\in \Omega \setminus (\mathcal{T}\cup \mathcal{S})\) such that
To illustrate some geometric aspects of sets that satisfy an outward ball property, consider the following:

(i)
If \(\mathcal{S}\) consists solely of a finite number of points in Ω then \(\mathcal{S}\) satisfies the outward ball property. This follows by considering \(d_{H'}:\mathcal{P}(\mathbb{R}^{n})\times \mathcal{P}(\mathbb{R}^{n}) \to [0,\infty )\) with \(\mathcal{P}(X)\) denoting the power set of X, and
$$\begin{aligned} d_{H'}(X,Y) = \sup_{x\in X} \Bigl( \inf _{y\in Y} \vert xy \vert \Bigr) \quad\forall X,Y\in \mathcal{P} \bigl(\mathbb{R}^{n}\bigr), \end{aligned}$$i.e., one component of the Euclidean Hausdorff distance between X and Y. Note that if \(X=1\), then \(d_{H'}\) is the Euclidean Hausdorff distance between the two sets X and Y, denoted here by \(d(X,Y)\). Now, let \(\mathcal{T}\) be as in Definition 2.1. Then, since \(\mathcal{T}\) is nonempty and \(\mathcal{T}\neq\Omega \), it follows that \(\partial \mathcal{T}\cap \Omega \neq\emptyset \). If \(d_{H'}(\partial \mathcal{T} \cap \Omega, \mathcal{S})=0\), it follows that \(\mathcal{T} \subseteq \mathcal{S}\), and we can choose a point \(x_{0}\in \Omega \setminus ( \mathcal{T}\cup \mathcal{S})\) sufficiently close to \(\mathcal{T}\) such that there exists a ball \(B_{R}(x_{0})\) that satisfies (2.3). Alternatively, if \(d_{H'}(\partial \mathcal{T} \cap \Omega, \mathcal{S})>0\), then since \(\Omega \setminus (\mathcal{T}\cup \mathcal{S})\) is a nonempty open set, we can chose \(x_{0}\in \Omega \setminus (\mathcal{T}\cup \mathcal{S})\) so that \(d_{H'}(\{ x_{0}\},\mathcal{T})<\frac {1}{2} d_{H'}(\{ x_{0}\}, \mathcal{S}\cup \partial \Omega )\). Thus, there exists a ball \(B_{R}(x_{0})\) that satisfies (2.3).

(ii)
If \(\Omega =(1,1)^{2}\subset \mathbb{R}^{2}\) and
$$\begin{aligned} \mathcal{S}={}&\Bigl\{ (x_{1},x_{2})\in \Omega: (x_{1},x_{2}) = \bigl(\phi _{1}(t), \phi _{2}(t)\bigr) \ \forall t\in (0,1)\text{ with } \\ &{} \phi: (0,1)\to \Omega \text{ twice continuously differentiable and injective on } \\ &{} (0,1), \ \phi '>0 \text{ on } (0,1), \ \lim_{t\to 0} \phi (t) \neq \lim_{t\to 1} \phi (t) \text{ and } \\ &{} \lim_{t\to 0}\phi (t), \lim_{t\to 1}\phi (t) \neq \phi (s) \ \forall s\in (0,1) \Bigr\} , \end{aligned}$$then \(\mathcal{S}\) satisfies the outward ball property. To see this, let \(\mathcal{T}\) be as in Definition 2.1. If \(d_{H'}(\partial \mathcal{T} \cap \Omega, \mathcal{S})>0\), then a ball that satisfies (2.3) is guaranteed to exist, following the justification in (i). Alternatively, if \(d_{H'}(\partial \mathcal{T} \cap \Omega, \mathcal{S})=0\), then it follows that \(\partial \mathcal{T} \cap \Omega \subseteq \overline{\mathcal{S}}\). Suppose there exists \(s_{0} \in \partial \mathcal{T}\cap \mathcal{S}\). Then, since \(\mathcal{S}\) is given by a sufficiently smooth curve, for \(s_{0}\), there exists a ball \(B_{R}(s_{0})\subset \Omega \) such that
$$\begin{aligned} \mathcal{S} \cap \bar{B}_{R}(s_{0}) & = \bigl\{ \bigl(\phi _{1}(t),\phi _{2}(t)\bigr):t_{1} \leq t \leq t_{2} \bigr\} \\ & =: \mathcal{S}_{R} \cup \bigl\{ \bigl(\phi _{1}(t_{1}), \phi _{2}(t_{1})\bigr), \bigl( \phi _{1}(t_{2}), \phi _{2}(t_{2})\bigr) \bigr\} . \end{aligned}$$Thus, \(\partial \mathcal{T}\cap B_{R} (s_{0}) \subset \mathcal{S}_{R}\) and hence, via the Jordan Curve Theorem, \(B_{R}(s_{0})\) can be decomposed into the disjoint sets \(\mathcal{S}_{R}\), \(B_{R}^{1}(s_{0})\) and \(B_{R}^{2}(s_{0})\) with \(B_{R}^{1}(s_{0})\) the connected open set with boundary \(\mathcal{S}_{R}\) and the arc on \(\partial B_{R}(s_{0})\) connecting \((\phi _{1}(t_{1}),\phi _{2}(t_{1}))\) to \((\phi _{1}(t_{2}),\phi _{2}(t_{2}))\) in a clockwise direction (\(B_{R}^{2}(s_{0})\) is defined similarly to \(B_{R}^{1}(s_{0})\) with clockwise replaced by anticlockwise). Thus, \(\mathcal{T} \cap B_{R}(s_{0})\) is either: \(\mathcal{S}_{R}\cap \mathcal{T}\), \(\mathcal{S}_{R}\cup B_{R}^{1}(s_{0})\) or \(\mathcal{S}_{R} \cup B_{R}^{2}(s_{0})\), and in each case, since \(\mathcal{S}_{R}\) is defined by a \(C^{2}\) curve, there exists a ball \(B_{R_{1}}(x)\subset B_{R}(s_{0}) \setminus (\mathcal{T}\cup \mathcal{S})\) that satisfies (2.3). If instead \(d_{H'}(\partial \mathcal{T} \cap \Omega, \mathcal{S})=0\) and \(\partial \mathcal{T}\cap \mathcal{S} = \emptyset \) 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 \((n1)\)dimensional sufficiently smooth \(C^{2}\) manifolds in a domain \(\Omega \subset \mathbb{R}^{n}\) also satisfies the outward ball property.

(iii)
If \(\Omega = (1,1)^{2}\) and
$$\begin{aligned} \mathcal{S}' = \bigl\{ (x_{1},x_{2})\in \Omega: x_{1}=0 \text{ or }x_{2}=0 \bigr\} , \end{aligned}$$then \(\mathcal{S}'\) does not satisfy the outward ball property. This follows by considering \(\mathcal{T}=\{ (0,0) \}\) and observing that every ball \(B_{R}(x)\subset \Omega \) such that \(\partial B_{R}(x)\cap \mathcal{T} \neq \emptyset \), also satisfies \(B_{R}(x)\cap \mathcal{S}' \neq\emptyset \). However, if instead \(\Omega = (1,1)^{2}\) and
$$\begin{aligned} \mathcal{S} = \bigl\{ (x_{1},x_{2})\in [0,1)\times (1,1): x_{1}=0 \text{ or }x_{2}=0\bigr\} \end{aligned}$$then \(\mathcal{S}\) satisfies the outward ball property.

(iv)
If \(\mathcal{S}'\) is locally dense on \(B_{R}(x)\subset \Omega \) then \(\mathcal{S}'\) does not satisfy the outward ball property. This can be observed by choosing \(\mathcal{T}\) to contain any point in \(\mathcal{S}'\cap B_{R}(x)\). Consequently, sets that satisfy Definition 2.1 are necessarily measure zero sets with respect to the Lebesgue measure.

(v)
If \(\mathcal{S}\) satisfies Definition 2.1, then \(\mathcal{S}\) is 1porous at each \(s\in \mathcal{S}\) with respect to [20, Definition 2.1]. This follows by considering \(\mathcal{T}=\{ s\}\). However, not all subsets of Ω that are 1porous at every point necessarily satisfy Definition 2.1. For example, consider \(\Omega = (1,1)^{2}\) with
$$\begin{aligned} \mathcal{S}' = \biggl\{ (x_{1},x_{2})\in \Omega: x_{1} = \frac {1}{2n} \text{ for } n\in \mathbb{N} \biggr\} . \end{aligned}$$Since \(\mathcal{S}'\) consists of a countable set of isolated lines, it follows immediately that \(\mathcal{S}'\) is 1porous at each \(s\in \mathcal{S}'\). However, by considering \(\mathcal{T}= (1,0]\times (1,1)\subset \Omega \), it follows that \(\mathcal{S}'\) does not satisfy the outward ball property.
Later in this section, for \(u\in C^{2}(\Omega )\), we consider the quasilinear operator \(Q:C^{2}(\Omega )\to R(\Omega )\) given by,
with \(A_{ij},B:\Omega \times \mathbb{R}\times \mathbb{R}^{n} \to \mathbb{R}\) prescribed functions. Specifically, we refer to Q as elliptic with respect to a specific \(u\in C^{2}(\Omega )\) if (2.2) holds for \(a_{ij}(x) = A_{ij}(x,u(x),Du(x))\) for all \(x\in \Omega \).
2.2 CSMP and BPL for linear elliptic PDI
Before we establish a CSMP and BPL for classical solutions to \(L[u]\geq 0\) with L given by (2.1), we give the following lemma that guarantees the existence of a suitable comparison function.
Lemma 2.2
Let \(R,m>0\) be constants and set \(k=2n ( \frac {2}{R} + 1 ) + 3\). Additionally, suppose that there exists a constant \(\epsilon >0\) and a continuous nonincreasing function \(\Lambda:(0,\epsilon ]\to (0,\infty )\) such that \(\Lambda \in L^{1}((0,\epsilon ))\),
and moreover, for \(\Omega = B_{R}(O)\setminus \bar{B}_{R\epsilon}(O)\) that
Then, if L is a linear elliptic operator with coefficients that satisfy (2.6)–(2.8), there exists \(v:\bar{\Omega} \to [0,m]\), such that:

(i)
\(v=0\) on \(\partial B_{R}(O)\), \(v=m\) on \(\partial B_{R\epsilon}(O)\), and \(v>0\) on Ω.

(ii)
\(v\in C^{1}(\bar{\Omega}) \cap C^{2}(\Omega )\).

(iii)
\(L[v]>0\) on Ω.

(iv)
\(\partial _{\nu}v < 0\) on \(\partial B_{R}(O)\), where \(\partial _{\nu}v\) denotes the outward (to Ω) directional derivative of v normal to ∂Ω.
Proof
Define \(f:[0,\epsilon ]\to [0,\infty )\) to be
It follows immediately that
with
Now, we define \(\tilde{v}:\bar{\Omega}\to \mathbb{R}\) to be
It follows from (2.9)–(2.13) that
and
for all \(x\in \Omega \). It now follows from substituting (2.9), (2.11), and (2.12) into (2.16), and using (2.5)–(2.8), that
for all \(x\in \Omega \). Now, define \(v:\bar{\Omega}\to \mathbb{R}\) to be
Then, via (2.18), (2.13), (2.15), and (2.9), v satisfies (i). Also, via (2.14) v satisfies (ii). Additionally, from (2.17) and (2.18), v satisfies (iii). Moreover, via (2.18), (2.13), (2.11), and (2.9), it follows 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 \(\mathcal{S}=\emptyset \) with Λ a sufficiently large constant.
Theorem 2.3
((CSMP))
Let \(\Omega \subset \mathbb{R}^{n}\) and \(\mathcal{S}\subset \Omega \) satisfy the outward ball property. Suppose that \(u\in C^{2}(\Omega )\) satisfies the linear elliptic PDI \(L[u]\geq 0\) on \(\Omega \setminus \mathcal{S}\). In addition, suppose that for each \(B_{R}(x_{0})\subset (\Omega \setminus \mathcal{S})\) for which \(\partial B_{R}(x_{0}) \cap \partial \Omega = \emptyset \), there exists a function \(\Lambda: ( 0,\frac{R}{2} ] \to (0,\infty )\) that is continuous nonincreasing and such that \(\Lambda \in L^{1} ( ( 0,\frac {R}{2} ) )\), and such that the coefficients of L satisfy
Additionally, let
and suppose that either \(M_{u}=0\), or \(M_{u} >0\) with c nonpositive. Then, \(M_{u} > u(x)\) for all \(x\in \Omega \) or u is constant on Ω.
Proof
Suppose that u is not constant on Ω, and
is not empty. Since \(\mathcal{T}\) is a relatively closed strict subset of Ω and \(\mathcal{S}\) satisfies the outward ball property, it follows that there exists a sufficiently small \(B_{R}(x_{0})\) such that \(B_{R}(x_{0})\subset \Omega \setminus (\mathcal{T}\cup \mathcal{S})\), \(\partial B_{R}(x_{0}) \cap \mathcal{T} = \{ y_{0} \}\) and \(\partial B_{R}(x_{0}) \cap \partial \Omega = \emptyset \). Moreover, it follows from (2.19)–(2.21) and the hypotheses on L and Λ, that Lemma 2.2 can be applied to a linear elliptic operator L̃ defined in \(\Omega _{0} = B_{R}(O) \setminus \bar{B}_{R\epsilon}(O)\), for sufficiently small \(\epsilon \in (0,R)\), with coefficients given by
with
to guarantee the existence of \(v:\bar{\Omega}_{0}\to [0,m]\) that satisfies the conclusions of Lemma 2.2. Now, define \(w:\overline{\Omega}_{0}\to \mathbb{R}\) to be
It follows that \(w\in C^{2}(\Omega _{0})\cap C^{1}(\overline{\Omega}_{0})\) and \(\sup_{\partial \Omega _{0}}w = w(y_{0}x_{0})=0\). Additionally, it follows that \(w \leq 0\) on \(\Omega _{0}\), for suppose that the converse holds, i.e., that there exists \(x^{*}\in \Omega _{0}\) such that \(\sup_{x\in \Omega _{0}}w(x) = w(x^{*})>0\). From the hypotheses and Lemma 2.2(iii), we have \(L[u](x^{*}+x_{0})\geq 0\) and \(\tilde{L}[v](x^{*}) >0\), respectively. Thus, via (2.24) and (2.25) we have,
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 lefthand side of (2.26) is nonpositive, which gives a contradiction, and hence, \(w \leq 0\) on \(\Omega _{0}\). Therefore, \(\partial _{\nu}w(y_{0}x_{0}) \geq 0\), and hence \(\partial _{\nu}u(y_{0}) \geq \partial _{\nu}v(y_{0}x_{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 \(\partial _{\nu}u(y_{0}) >0\). Therefore, either u is constant on Ω, or \(u< M_{u}\) on Ω, as required. □
Remark 2.4
Note that in Theorem 2.3, the conditions on the coefficients of L apply on balls that satisfy \(\partial B_{R}(x_{0})\cap \bar{\mathcal{S}}\neq \emptyset \) but not on balls that satisfy \(B_{R}(x_{0})\cap \bar{\mathcal{S}}\neq \emptyset \). Thus, although the coefficients of L can, under constraints (2.19)–(2.21), blowup as \(x\to \bar{\mathcal{S}}\), they cannot blowup (except c negatively) as \(x\to x_{0}\) for \(x_{0}\in \Omega \setminus \bar{\mathcal{S}}\). Moreover, observe that the coefficients of L can blowup as \(x\to \partial \Omega \) with conditions (2.19)–(2.21) not required to hold on \(B_{R}(x_{0})\) such that \(\partial B_{R}(x_{0})\cap \partial \Omega \neq \emptyset \). However, for a BPL to hold for a linear elliptic operator L on Ω, conditions (2.19)–(2.21) are required to hold on balls \(B_{R}(x_{0})\) such that \(\partial B_{R}(x_{0})\cap \partial \Omega \neq \emptyset \). 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.3hold, with the restriction that ‘for which \(\partial B_{R}(x_{0}) \cap \partial \Omega = \emptyset \)’ is omitted.^{Footnote 1}In addition, suppose that \(u\in C^{1}(\bar{\Omega})\) and \(\sup_{x\in \Omega} u(x)=u(x_{b})\) for some \(x_{b}\in \partial \Omega \) such that there exists \(B_{R_{b}}(x_{b}')\subset \Omega \setminus \mathcal{S}\) that satisfies \(x_{b} \in \partial B_{R_{b}}(x_{b}')\). If u is not constant on Ω, then \(\partial _{\nu}u(x_{b}) >0\).
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\in 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 \(\partial _{\nu}u(x_{b})>0\), as required. □
2.3 Comparisontype BPL for elliptic classical solutions to quasilinear PDI
In this subsection we establish a comparisontype 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:\bar{\Omega}\to \mathbb{R}\) satisfy \(u,v\in C^{2}(\Omega )\cap C^{1}(\bar{\Omega })\) and the quasilinear PDI \(Q[u]\geq 0\) and \(Q[v]\leq 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,\ldots,n\). Suppose that \(u< v\) in Ω and \(u=v\) at \(x_{b}\in \partial \Omega \) for which there exists \(B_{R_{b}}(x_{b}')\subset \Omega \) with \(x_{b} \in \partial B_{R_{b}}(x_{b}')\). Suppose that there exists a continuous nonincreasing function \(\Lambda: ( 0, \frac{R_{b}}{2} ] \to (0,\infty )\) such that \(\Lambda \in L^{1} ( ( 0, \frac{R_{b}}{2} ) )\),
for all \((x,z_{1},\eta _{1}),(x,z_{2},\eta _{2})\in B_{R_{b}}(x_{b}') \times [M_{z},M_{z}] \times [M_{\eta}, M_{\eta}]^{n}\), and
for all \((x,z_{1},\eta _{1}),(x,z_{2},\eta _{2})\in B_{R_{b}}(x_{b}') \times [M_{z},M_{z}] \times [M_{\eta}, M_{\eta}]^{n}\) with \(z_{1} \geq z_{2}\), with
Then, \(\partial _{\nu}u(x_{b}) > \partial _{\nu}v(x_{b})\).
Proof
Let \(w=uv\) on \(\overline{B_{R_{b}}(x_{b}')}\). Then, on \(B_{R_{b}}(x_{b}')\),
where, for \(i,j=1,\dots,n\), \(\tilde{a}_{ij},\tilde{b}_{i},\tilde{c}: \Omega \to \mathbb{R}\) are given by,
on \(B_{R_{b}}(x_{b}')\). Thus, it follows that L̃ 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 \(\partial _{\nu}w >0\) at \(x_{b}\) and hence,
as required. □
Remark 2.7
Note that conditions (2.27) and (2.28) ensure that: \(A_{ij}\) are locally Lipschitz continuous in z and η on Ω; B is locally lower Lipschitz in z and Lipschitz continuous in η; and the associated Lipschitz and lower Lipschitz constants for \(A_{ij}\) and B can tend to ∞ as \(x\to \partial \Omega \) but are constrained by the integrability condition on Λ. Additionally, observe that the conditions in Theorem 2.6 can be readily altered to accommodate \(d(x,\partial \Omega )\) instead of \(d(x,\partial B_{R_{b}}(x_{b}'))\).
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 \(\Omega \subset \mathbb{R}^{n}\) and for \(x_{b}\in \partial \Omega \) there exists \(B_{R_{b}}(x_{b}')\subset \Omega \) with \(x_{b} \in \partial B_{R_{b}}(x_{b}')\). Consider \(u:\bar{\Omega}\to \mathbb{R}\) given by,
and \(v:\bar{\Omega}\to \mathbb{R}\) such that:
Note that (2.34) implies that there exists \(M\geq 0\) such that for \(i,j=1,\ldots, n\),
Now, for the quasilinear PDI in (2.4), set \(A_{ij}:\Omega \times \mathbb{R}\times \mathbb{R}^{n}\to \mathbb{R}\) to be
for all \(i,j=1,\dots,n\) and \(B:\Omega \times \mathbb{R}\times \mathbb{R}^{n}\to \mathbb{R}\) to be
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, \(\Lambda = 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
for all \((x,z_{1},\eta _{1} ),(x, z_{2},\eta _{2})\in K\) such that \(z_{1} \geq z_{2} \), with \(K= \Omega ' \times [M,M]\times [M,M]^{n}\) for any \(\Omega '\) that is a compact subset of Ω, where via (2.35) and (2.37),
Therefore, it follows from (2.40) and (2.41) that \(B(x,z,\eta )\) satisfies the conditions of Theorem 2.6 with the exception of the lower Lipschitz condition, which instead holds only locally on \(\Omega \times \mathbb{R}\times \mathbb{R}^{n}\). It follows from (2.33)–(2.36), that \(Q[u]\geq 0\) and \(Q[v]\leq 0\) on Ω, for Q defined by (2.38) and (2.39). Moreover, via (2.33), (2.35), and (2.36) \(u< v\) in Ω and \(u(x_{b})=v(x_{b})\) for \(x_{b}\in \partial \Omega \). 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.
Remark 2.9
We note that u, v, \(A_{ij}\) and B in Example 2.8 satisfy all of the conditions of [13, Theorem 2.7.1], but violate the conclusion. This occurs since an unconstrained local lower Lipschitz constant is supposed on B with respect to z in [13, Theorem 2.7.1], which is an error. It is noteworthy that essentially the same error can be found in the statement of a BPL for classical solutions to linear parabolic PDI given in [10, p.174, Theorem 7], as illustrated in [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.10
If \(\partial _{\nu \nu} v(x_{b}) >0\) in Example 2.8, by considering \(K=B_{R}(x_{b}')\times [M,M]\times [M,M]^{n}\) with \(0< R< R_{b}\), it follows from (2.34) that as \(R\to R_{b}\),
Thus, we observe that B in (2.40) satisfies the conditions of Theorem 2.6 with the exception of \(\Lambda \in L^{1} ( ( 0, \frac{R_{b}}{2} ) )\) in (2.28). This follows from letting \(R\to 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 \(\Omega = (0,1)\subset \mathbb{R}\) and \(u,v:\bar{\Omega}\to \mathbb{R}\) be given by
with constant \(\alpha \in (0,1)\). It follows that \(u,v\in C^{1}(\bar{\Omega} )\cap C^{2}(\Omega )\), \(v>u\) in Ω, and for \(x_{b}=0\in \partial \Omega \), we have \(u(x_{b})=v(x_{b})=0\). Now, consider the quasilinear operator Q with \(A:\Omega \times \mathbb{R}\times \mathbb{R} \to \mathbb{R}\) given by
with \(B=0\) on \(\Omega \times \mathbb{R}\times \mathbb{R} \to \mathbb{R}\). Since
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 \(\Lambda:(0,1]\to (0,\infty )\) given by
Since Λ is continuous nonincreasing and \(\Lambda \in L^{1} ( ( 0,\frac {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.
3 Weak theory
In this section, we establish a comparisontype 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].
3.1 Notation and definitions
The quasilinear divergence structure PDI we consider are given by:
with \(A:\Omega \times \mathbb{R} \times \mathbb{R}^{n}\to \mathbb{R}^{n}\) and \(B:\Omega \times \mathbb{R} \times \mathbb{R}^{n}\to \mathbb{R}\). Specifically, we consider \(C^{1}\) weak solutions to (3.1) (and analogously (3.2)) that satisfy: \(u\in C^{1}(\bar{\Omega})\), \(A(\cdot, u, Du), B(\cdot, u, Du)\in L_{\mathrm{loc}}^{1}(\Omega )\) and
for any test function \(\psi \in C^{1}(\bar{\Omega})\) such that \(\psi \geq 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})_{\eta _{j}} (x,u(x),Du(x))\) satisfies the left inequality in (2.2) for all \(x\in \Omega \). Furthermore, in this section we consider Ω with boundary ∂Ω that satisfies an interior cone condition, i.e., at each point \(x_{b}\in \partial \Omega \) there exists a cone of finite height in Ω with apex \(x_{b}\). We denote the interior of such a cone by \(\Omega _{b}\).
Additionally, for a function \(u\in C(\bar{\Omega})\) we say that u has a finiteorder zero at \(x_{b}\in \bar{\Omega}\) if \(u(x_{b})=0\) and there exists \(x_{1}\in \mathbb{R}^{n}\) and \(m\in \mathbb{N}\) such that \(x_{b} + hx_{1} \in \bar{\Omega}\) for all \(h \in (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\in \mathbb{N}\) such that (3.4) is satisfied.
3.2 A comparisontype tangency principle for weak elliptic solutions to quasilinear divergence structure PDI
Theorem 3.1
((Tangency Principle))
Let \(x_{b}\in \partial \Omega \) satisfy the interior cone condition, and \(u,v:\bar{\Omega}\to \mathbb{R}\) be such that: \(u,v\in C^{1}(\bar{\Omega})\); \(u,v\) satisfy (3.1) and (3.2), respectively; \(A:\Omega \times \mathbb{R}\times \mathbb{R}^{n}\to \mathbb{R}^{n}\) is continuous and continuously differentiable with respect to z and η; \(A_{z}\) is uniformly bounded and \(A_{\eta}\) is uniformly continuous on \(\Omega _{b}\times [u(x_{b})  M_{z}, u(x_{b}) + M_{z} ]\times [M_{\eta}, M_{\eta}]^{n}\) for some constants \(M_{z}, M_{\eta}>0 \); \(B:\Omega \times \mathbb{R}\times \mathbb{R}^{n}\to \mathbb{R}\) satisfies
for all \((x,z_{1},\eta _{1}),(x,z_{2},\eta _{2})\in \Omega _{b}\times [u(x_{b})  M_{z}, u(x_{b}) + M_{z} ]\times [M_{\eta}, M_{\eta}]^{n}\) with \(z_{1} \geq z_{2}\) for some constants \(b_{z}, b_{\eta}\geq 0\); u is an elliptic solution of (3.1) with respect to A in \(\Omega _{b}\); \(u< v\) in \(\Omega _{b}\); and \(u(x_{b})=v(x_{b})\). Then, the zero of \(vu\) at \(x_{b}\) is of finite order.
Proof
For a contradiction, assume that \(w=vu\) has a zero of infinite order at \(x_{b}\in \partial \Omega \). Via regularity on w, it follows that \(Dw(x_{b})=0\). Moreover, for each \(\epsilon \in (0, \min \{ M_{z}, M_{\eta}/2 \})\), there exists a cone of finite height in Ω with apex \(x_{b}\), without loss of generality denoted by \(\Omega _{b}\), such that \((w(x),Dw(x))\in (0,\epsilon ] \times [\epsilon, \epsilon ]^{n}\) for all \(x\in \Omega _{b}\), there exists a constant
and
for all \((x, \eta ^{(1)}), (x, \eta ^{(2)})\in \Omega _{b}\times [2\epsilon, 2\epsilon ]^{n}\) and \(i,j=1,\ldots,n\). From (3.1) and (3.2), we have
on \(\Omega _{b}\). The function \(\tilde{A}:\Omega _{b}\times \mathbb{R} \times \mathbb{R}^{n}\to \mathbb{R}^{n}\) arises from repeated application of the meanvalue theorem in (3.8), e.g.,
for all \((x,z,\eta )\in \Omega _{b} \times \mathbb{R} \times \mathbb{R}^{n}\), \(\tilde{z}^{(i)}:\Omega _{b}\to [0,\epsilon ]\) and \(\tilde{\eta}^{(i)}:\Omega _{b}\to [2\epsilon, 2\epsilon ]^{n}\) for \(i=1,\ldots, n\). Similarly, via (3.8), we define \(\tilde{B}:\Omega _{b}\times \mathbb{R}\times \mathbb{R}^{n}\to \mathbb{R}\) as
for all \((x,z,\eta ) \in \Omega _{b}\times \mathbb{R}\times \mathbb{R}^{n}\), with \(\check{B}_{i}: \Omega _{b}\to \mathbb{R}\) given by
and with \(\check{B}_{i}=0\) on \(\Omega _{b}\setminus R_{i}\) for \(i=1,\ldots, n\), such that
for \(i=1,\ldots,n\), and \(\eta ^{(i)}: \Omega _{b}\to \mathbb{R}^{n}\) given by
for \(i=1,\ldots,n+1\). Since Q is elliptic with respect to u, it follows from (3.6)–(3.9) that
for \((x,z,\eta )\in \Omega _{b} \times [0,\infty ) \times \mathbb{R}^{n}\). Additionally, via the regularity hypotheses on A and B it follows that there exists a constant \(a_{\eta}\geq 0\) such that
for all \((x,z,\eta )\in \Omega _{b} \times [0,\infty ) \times \mathbb{R}^{n}\), and
for all \((x,z,\eta )\in \Omega _{b} \times [0,\infty ) \times \mathbb{R}^{n}\). It follows from (3.8)–(3.13) that on any \(B_{r}(x)\subset \Omega _{b}\), w, Ã and B̃ satisfy the conditions of Trudinger’s weak Harnack inequality [18, Theorem 1.2] with constants required in the hypotheses and conclusion, independent of the ball, i.e., there exists a constant C independent of \(B_{2r}(x)\in \Omega _{b}\) such that
Note that [18, Theorem 1.2] remains true if \(u>0\) in Ω, inequalities (1.2) hold on \(\Omega \times [0,\infty ) \times E^{n}\), and the second and third inequalities in (1.2) for \(\alpha = 2\) are replaced by \(p\cdot A(x,u,p)\geq a_{5}p^{2}a_{2}u^{2}\) and \(B(x,u,p) \geq  b_{1}p  b_{2}u\) for constants \(a_{2},b_{1},b_{2}\geq 0\) and \(a_{5}>0\).
Now, since \(x_{b}\) is the apex of the cone \(\Omega _{b}\subset \Omega \), it follows that there exists a sequence of balls \(\{ B_{r_{k}}(y_{k})\}_{k\in \mathbb{N}_{0}}\): that have boundaries that tangentially intersect \(\partial \Omega _{b}\); such that \(B_{r_{k}/3} ( y_{k} ) \subset B_{2r_{k+1}/3} ( y_{k+1} )\) for all \(k\in \mathbb{N}_{0}\); for which \(y_{k}\to x_{b}\) as \(k\to \infty \); \(r_{k+1}< r_{k}\) for \(k\in \mathbb{N}_{0}\); and by denoting θ to be the halfangular opening of the cone, we can set
for all \(k\in \mathbb{N}_{0}\). It follows immediately that
with \(\omega _{n}\) denoting the volume of a Euclidean unit ball in \(\mathbb{R}^{n}\). By combining (3.14) and (3.16), we have
with
Now, via our initial assumption, w has a zero of infinite order at \(x_{b}\) and hence via (3.15), for each \(m\in \mathbb{N}\) there exists a positive constant c independent of k such that
Now, via (3.17) and (3.18), it follows that there exists a positive constant c independent of k such that
Letting \(k\to \infty \) in (3.19) implies that
However, via (3.15) \(\kappa ^{m}\to 0\) as \(m\to \infty \) and hence for all sufficiently large m, it follows that (3.20) yields a contradiction. Therefore, the zero of w at \(x_{b}\) is of finite order, as required. □
Remark 3.2
Observe that via the bounds in (3.11)–(3.13), we have ensured that the constant C in (3.14) exists independently of the choice of ball in \(\Omega _{b}\). Alternatively, using the conditions of [13, Theorem 2.7.2], although bounds analogous to (3.11)–(3.13) hold on any ball in \(\Omega _{b}\), the same constant C is not necessarily valid for every ball, i.e., C is potentially dependent on k. Consequently, in the proof of [13, Theorem 2.7.2], although Theorem [18, Theorem 1.2] can be applied to any ball in \(\Omega _{b}\), as in (3.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 \(\Omega \subset \mathbb{R}^{n}\) and for \(x_{b}\in \partial \Omega \) satisfies an interior cone condition. Consider \(u:\bar{\Omega}\to \mathbb{R}\) and \(v:\bar{\Omega}\to \mathbb{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:\Omega \times \mathbb{R}\times \mathbb{R}^{n}\to \mathbb{R}^{n}\) to be
with \(B:\Omega \times \mathbb{R}\times \mathbb{R}^{n}\to \mathbb{R}\) as in (2.39). It follows that A satisfies the conditions of Theorem 3.1, and also that u and v are elliptic solutions of (3.1) and (3.2), respectively. Via (2.40) and (2.41), observe that B is independent of η, and satisfies the conditions of Theorem 3.1 with the exception of the lower Lipschitz condition in (3.5), which instead holds locally on \(\Omega \times \mathbb{R}\times \mathbb{R}^{n}\). Moreover, via (2.33) and (2.35), it follows that \(u< v\) in Ω. In conclusion, although Ω, u, v, A and B satisfy all of the conditions of Theorem 3.1 (with the exception of the lower Lipschitz condition on B), via (3.21),
which violates the conclusion of Theorem 3.1. We also note here that the conditions on \(A_{\eta}\) and \(A_{z}\) in Theorem 3.1 cannot be relaxed to those in [13, Theorem 2.7.2], which can be observed via similarly constructed counterexamples.
Remark 3.4
We note that the erroneous tangency principle stated in [13, Theorem 2.7.2] was intended to be a relaxation of that in [17] to allow for weaker constraints on the nonlinearities A and B in (3.1) and (3.2) as \(x\to \partial \Omega \). However, the constraint on B, appears to arise from the very same condition on B in the erroneous BPL stated in [13, Theorem 2.7.1].
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\in C(\bar{\Omega})\) but so that u and v also possess strong derivatives in \(L_{\mathrm{loc}}^{2}(\Omega )\). 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.
Example 3.5
For \(\epsilon \in (0,1)\) consider \(\Omega = B_{1}(0)\setminus \overline{B_{1\epsilon}(0)}\) with u, \(A=A(\eta )\) and \(B=B(x,z)\) as in Example 3.3. Here, consider v given by
Observe that \(u,v\in C^{\infty}(\bar{\Omega})\) and that the zero of \(vu\) on \(\partial B_{1}(0)\) is of infinite order. Additionally, note that A is locally bounded on \(\mathbb{R}^{n}\) and B is locally bounded and locally lower Lipschitz on \(\Omega \times \mathbb{R}\). Furthermore, for \(i=1,\ldots,n\), we have
Via (3.23) and (3.24), for sufficiently small \(\epsilon >0\), it follows that
For such \(\epsilon >0\), it follows that \(B(x,z)\), as given by (2.39), is nonincreasing in z on Ω. Therefore, although Ω, u, v, A, and B satisfy the conditions of [13, Theorem 2.7.3], the conclusion that the zero of \(vu\) on \(\partial B_{1}(0)\) is of finite order is violated.
4 Discussion
In Theorem 2.3, the outward ball condition on \(\mathcal{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 1porous 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 righthand side of (2.29)–(2.32) can be expressed (for instance, by further constraining the growth of \(\Lambda (d)\) as \(d\to 0\)) so that Theorem 2.5 can be applied.
With regard to Theorem 3.1, we note that allowable blowup in A and B as \(x\to 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–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].
Availability of data and materials
Not applicable.
References
Alvarado, R., Brigham, D., Maz’ya, V., Mitrea, M., Ziadé, E.: On the regularity of domains satisfying a uniform hourglass condition and a sharp version of the Hopf–Oleinik boundary point principle. J. Math. Sci. 176(3), 281–360 (2011). https://doi.org/10.1007/s1095801103983
Apushkinskaya, D.E., Nazarov, A.I.: A counterexample to the Hopf–Oleinik lemma (elliptic case). Anal. PDE 9(2), 439–458 (2016). https://doi.org/10.2140/apde.2016.9.439
Giraud, G.: Problèmes de valeurs à la frontière relatifs à certaines données discontinues. Bull. Soc. Math. Fr. 61, 1–51 (1933)
Hopf, E.: Elementäre bemerkungen über die lösungen partieller differentialgleichungen zweiter ordnung vom elliptischen typus. Siszungsberichte Preussische Akademie der Wissenschaften, 147–152 (1927)
Lieberman, G.M.: Regularized distance and its applications. Pac. J. Math. 117(2), 329–352 (1985). https://doi.org/10.2140/pjm.1985.117.329
McNabb, A.: Strong comparison theorems for elliptic equations of second order. J. Math. Mech. 10, 431–440 (1961)
Moser, J.: A Harnack inequality for elliptic differential equations. Commun. Pure Appl. Math. 14, 577–591 (1961). https://doi.org/10.1002/cpa.3160140329
Nazarov, A.I.: A centennial on the Zaremba–Hopf–Oleinik lemma. SIAM J. Math. Anal. 14(1), 437–453 (2012). https://doi.org/10.1137/110821664
Needham, D.J., Meyer, J.C.: A note on the classical weak and strong maximum principles for linear parabolic partial differential inequalities. Z. Angew. Math. Phys. 66(4), 2081–2086 (2015). https://doi.org/10.1007/s0003301404928
Protter, M.H., Weinberger, H.F.: Maximum Principles in Differential Equations. Springer, Berlin (1984)
Pucci, P., Rădulescu, V.D.: A maximum principle with a lack of monotonicity. Electron. J. Qual. Theory Differ. Equ. 58, 1 (2018). https://doi.org/10.14232/ejqtde.2018.1.58
Pucci, P., Serrin, J.: The strong maximum principle revisited. J. Differ. Equ. 196(1), 1–66 (2004). https://doi.org/10.1016/j.jde.2003.05.001
Pucci, P., Serrin, J.: The Maximum Principle, vol. 73. Birkhäuser, Basel (2007)
Rosales, L.: Generalizing Hopf’s boundary point lemma. Can. Math. Bull. 62(1), 183–197 (2019). https://doi.org/10.4153/CMB20170746
Rosales, L.: A Hopftype boundary point lemma for pairs of solutions to quasilinear equations. Can. Math. Bull. 62(3), 607–621 (2019). https://doi.org/10.4153/S0008439519000055
Sabina De Lis, J.C.: Hopf maximum principle revisited. Electron. J. Differ. Equ. 2015(115), 1 (2015)
Serrin, J.: On the strong maximum principle for quasilinear second order differential inequalities. J. Funct. Anal. 5, 184–193 (1970). https://doi.org/10.1016/00221236(70)900248
Trudinger, N.S.: On Harnack type inequalities and their application to quasilinear elliptic equations. Commun. Pure Appl. Math. 20, 721–747 (1967). https://doi.org/10.1002/cpa.3160200406
Zajíček, L.: Porosity and σporosity. Real Anal. Exch. 13(2), 314–350 (1987)
Zajíček, L.: On σporous sets in abstract spaces. Abstr. Appl. Anal. 2005(5), 509–534 (2005). https://doi.org/10.1155/AAA.2005.509
Acknowledgements
The author would like to thank the reviewers, and numerous colleagues in the School of Mathematics at the University of Birmingham, past and present, who provided helpful comments in relation to the preparation of this manuscript.
Funding
The research within this manuscript was not financially supported by external funds.
Author information
Authors and Affiliations
Contributions
The main idea of this paper was proposed by JM. JM prepared the manuscript initially and performed all the steps of the proofs in this research. JM read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The author has no competing interests to declare that are relevant to the content of this article.
Additional information
Abbreviations
The following abbreviations are used throughout: BPL—boundary point lemma(s); CSMP—classical strong maximum principle(s); and PDI—partial differential inequality(ies).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Meyer, J.C. A note on boundary point principles for partial differential inequalities of elliptic type. Bound Value Probl 2022, 33 (2022). https://doi.org/10.1186/s13661022016140
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661022016140