Abstract
We study energy functionals associated with quasi-linear Schrödinger operators on infinite weighted graphs, and develop a ground state representation. Using the representation, we develop a criticality theory, and show characterisations for a Hardy inequality to hold true. As an application, we show a Liouville comparison principle.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The quasi-linear p-Laplacian on Riemannian manifolds, and especially in the Euclidean space, is one of the best studied non-linear local elliptic operators. There are many beautiful monographs related to this operator, see e.g. [2, 8, 18, 26, 39], or in general metric spaces, see [9].
First results for p-Laplacians on finite graphs are given in [5, 13, 27, 28, 44, 45]. On locally finite graphs, p-Laplacians were studied in [31, 55, 61, 62], and on almost locally finite graphs in [42, 57].
Here, we study an extended class of operators including the p-Laplacian as a special case, i.e., p-Schrödinger operators. Moreover, we study this class on locally summable weighted graphs.
Recently, the potential theory of local p-Schrödinger operators with not necessarily non-negative potential term was studied more closely, see e.g. [2, 15, 29, 50,51,52,53]. In this theory, the ground state representation is of fundamental importance. This representation is an equivalence between functionals. It states that the p-energy functional associated with the p-Schrödinger operator is equivalent to a simplified energy functional consisting of non-negative terms only.
For non-local p-Schrödinger operators in the Euclidean space, which includes graphs as a special case, a one-sided inequality for \(p \ge 2\) is given in [23].
Here, we show a ground state representation for non-local p-Schrödinger operators for all \(p>1\) in terms of an equivalence between the corresponding p-energy functional and the simplified energy. We show this statement on graphs in Theorem 3.1 and Corollary 3.2.
The ground state representation is an essential tool in criticality theory (which is sometimes also called parabolic theory). A p-energy functional is called critical if it is non-negative and the p-Hardy inequality does not hold. In the continuum, many characterisations of criticality are known, see e.g. [29, 50].
Criticality theory on almost locally finite graphs for the standard p-Laplacian was studied in [57], see [55, 61] for locally finite graphs. They show a connection between positive p-harmonic functions and the variational p-capacity.
In this paper, we establish a characterisation of criticality for p-Schrödinger operators in terms of null-sequences, the variational p-capacity, as well as positive p-harmonic functions, see Theorem 4.1. This will be achieved mainly by the aid of the ground state representation. These characterisations are the discrete counterpart to results in [29, 50].
Moreover, we show a Liouville comparison principle which is a discrete analogue to results in [51, 53]. It is another application of the ground state representation and gives the criticality of an energy functional if a p-subharmonic function can be estimated properly by the ground state of another energy functional.
In this paper, we focus on graphs but since the fundamental methods are based on pointwise estimates, also corresponding results in other non-local settings are valid. To be more specific, our results can also to be extended to non-local p-Schrödinger operators on the Euclidean space in the spirit of [23], confer also with [6, 7, 11, 12, 16, 37]. We chose graphs because they do not have local regularity issues and therefore the presentation is less technical than, e.g., for non-local p-Schrödinger operators on \({\mathbb {R}}^{d}\).
There is an abundance of literature for the linear \((p=2)\)-case: For linear Schrödinger operators on locally summable graphs see [25, 32,33,34], for random walks see [60], for Schrödinger forms see [24, 41, 54, 58], for Jacobi matrices see [22], and references therein. In probabilistic settings, the ground state representation is also known as Doob’s h-transform.
In the local and linear case, ground state representations are classical and have shown their powerfulness in many applications, see [23, Sect. 1] for a list of applications with references and more details.
This paper is organised as follows: In Sect. 2, we briefly introduce the basic notation and show connection between the p-Schrödinger operators and p-energy functionals via a Green’s formula. Then, we turn in Sect. 3 to the main results of this paper, Theorem 3.1 and Corollary 3.2. After we stated the results, we discuss them in detail in Sect. 3.2. This includes a comparison with the local case in the continuum. The proofs of Theorem 3.1 and Corollary 3.2 are then divided into two parts: The proof of an elementary equivalence in Sect. 3.3, and then the application of this equivalence in Sect. 3.4. Thereafter, we show in Sect. 4 how this ground state representation can be used to prove some characterisations of criticality. Here, also one part of an Agmon-Allegretto-Piepenbrink-type theorem is needed, as well as a local p-Harnack inequality. This is part of Sect. 4.1. We end this paper with two simple applications of Theorems 3.1 and 4.1, one of them is a Liouville comparison principle. In the appendix, we show the proof of Lemma 3.8.
2 Setting the scene
In this section, we start by introducing graphs. Thereafter, we define quasi-linear Schrödinger operators on graphs. We end this section by introducing p-energy functionals and showing a connection to p-Schrödinger operators via Green’s formula.
2.1 Graphs and Schrödinger operators
Let an infinite set X equipped with the discrete topology and a symmetric function \(b:X\times X \rightarrow [0,\infty )\) with zero diagonal be given such that b is locally summable, i.e., the vertex degree satisfies
We refer to b as a graph over X and elements of X are called vertices. Two vertices x, y are called connected with respect to the graph b if \(b(x,y)>0\), in terms \(x\sim y\). A subset \(V\subseteq X\) is called connected with respect to b, if for every two vertices \(x,y\in V\) there are vertices \({x_0,\ldots ,x_n \in V}\), such that \(x=x_0\), \(y=x_n\) and \(x_{i-1}\sim x_i\) for all \(i\in \left\{ 1,\ldots , n-1\right\} \). For \(V\subseteq X\) let \(\partial V=\left\{ y\in X{\setminus } V:y\sim z\in V\right\} \). Throughout this paper we will always assume that
We now turn to functions: Let S be some arbitrary set. A function \(f:S\rightarrow {\mathbb {R}}\) is called non-negative, positive, or strictly positive on \(I\subseteq S\), if \(f\ge 0\), \(f\gneq 0\), \(f>0\) on I, respectively. If for two non-negative functions \(f_1, f_2:S\rightarrow {\mathbb {R}}\) there exists a constant \(C>0\) such that \(C^{-1}f_1 \le f_2 \le Cf_1\) on \(I\subset S\), we write
and call them equivalent on I.
The space of real valued functions on \(V\subseteq X\) is denoted by C(V) and is a subspace of C(X) by extending the functions of C(V) by zero on \(X\setminus V\). The space of functions with compact support in V is denoted by \( C_c(V)\).
A strictly positive function \(m\in C(X)\) extends to a measure with full support via \({m(V)= \sum _{x\in V}m(x)}\) for \(V\subseteq X\).
The next fundamental definition is the one of the p-Laplacian. But first, we have to introduce some notation. For showing the connection to the counterpart in the continuum, we introduce the difference operator \(\nabla \) on C(X) via
Let \(p\in [1,\infty )\). For \(V\subseteq X\), let the formal space \( F(V)=F_{b,p}(V) \) be given by
If \(V=X\) we write \(F=F(X)\).
For \(1<p<2\) we make the convention that \(\left|t\right|^{p-2}t=0\) if \(t=0\), i.e., \(0\cdot \infty =0\). Then, we can write for all \(p\ge 1\),
Here, \({{\,\textrm{sgn}\,}}:{\mathbb {R}}\rightarrow \left\{ -1,0,1\right\} \) is the sign function, that is \({{\,\textrm{sgn}\,}}(t)=1\) for all \(t > 0\), \({{\,\textrm{sgn}\,}}(t)=-1\) for all \(t< 0\), and \({{\,\textrm{sgn}\,}}(0)=0\). We remark that \(F(V)=C(X)\) if \(p=1\), by the local summability assumption on the graph.
Next, we show a basic lemma, which states an alternative representation for the formal space. There, we need the following elementary inequality: we have for all \(p\ge 0\) that
This follows from \(\left|\alpha +\beta \right|^{p}\le (2\max \left\{ \left|\alpha \right|,\left|\beta \right|\right\} )^{p}\le 2^{p}(\left|\alpha \right|^{p}+\left|\beta \right|^{p})\).
Lemma 2.1
Let \(V\subseteq X\) and \(p\ge 1\). Then,
In particular, \(C_c(X)\subseteq \ell ^{\infty }(V)\subseteq F(V)\).
Proof
The case \(p=1\) is trivial. Let \(p>1\), and denote the set on the right-hand side by \({\hat{F}}(V)\). We obviously have that \(C_c(V)\subseteq \ell ^\infty (V)\subseteq {\hat{F}}(V)\). Furthermore, let \(f\in {\hat{F}}(V)\). Then, using the elementary inequality (2.1), we get for any \(x\in V\) that
The first sum on the right-hand side is finite by the local summability property of the graph b. The second sum is finite since \(f\in {\hat{F}}(V)\). This shows \(f\in F(V)\).
Moreover, if \(f\in F(V)\) we obtain \(f\in {\hat{F}}(V)\) since for all \(x\in V\)
\(\square \)
Now, we are in a position to define the Laplacian: Let m be a measure on X. Then, the p-Laplace operator \(L=L_{b, m, V,p} :F(V)\rightarrow C(V)\) is defined via
Let \(p\ge 1\). If we have additionally \(m=1\), \(b(X\times X)\subseteq \left\{ 0,1\right\} \), then L is called standard p-Laplacian.
Remark 2.2
Following [42, 55, 59], there is the following analogy to p-Laplacians in the continuum: A vector field v is a function in \(C(X\times X)\) such that \(v(x,y)=-v(y,x)\), \(x,y\in X\). Moreover, define \({{\,\textrm{div}\,}}\) on the space of absolutely summable vector fields in the second entry via
Then, for all \(f\in F\), and \(p\ge 1\),
This shows that our Laplacian is a discrete analogue to weighted Laplace–Beltrami-type operators on manifolds.
Remark 2.3
The definition of the action of the p-Laplacian to vanish outside of \(V\subseteq X\) is an arbitrary choice. It evolves from the main result, where we are taking test functions only from \(C_c(V)\). This choice implies that the functions u in Theorem 3.1 can be taken from the largest possible set, namely \(F(V)\), and that the action of the p-Laplacian outside of V does not matter. If we enlarge the set of test functions then we need to be more careful with the definition of the action of the p-Laplacian outside of V. Then, we might also reconsider to define the p-Laplacian only weakly. A larger set of test functions would on the other hand result in a smaller set of functions u to which we can apply the main result, confer Theorem 3.1. Since the main result is proven by summing up pointwise estimates, similar results hold mutatis mutandis when considering other sets of test functions and related p-Laplacians, see [30, 42] for definitions of Dirichlet and Neumann p-Laplacians.
Finally, we can define Schrödinger operators as follows: Let \(c\in C(X)\). Then the p-Schrödinger operator \(H=H_{b,c,m,V,p}:F(V)\rightarrow C(V)\) is given by
The function c is then usually called the potential of H. If c is non-negative, then H is called p-Laplace-type operator.
A function \(u\in F(V)\) is said to be p-harmonic, (p-superharmonic, p-subharmonic) on \(V\subseteq X\) with respect to H if
If \(V=X\) we only speak of p-super-/sub-/harmonic functions.
2.2 Energy functionals associated with graphs
Let \(D=D_{b,c, p}\) be given by
Then, the p-energy functional \(h=h_{b,c,p}:D\rightarrow {\mathbb {R}}\) is defined via
If \(p=2\), then the corresponding energy functional is a quadratic form, and called Schrödinger form.
As in the continuum or the linear case on graphs, there exists a so-called Green’s formula which shows a connection between H and h on \(C_c(X)\). The Green’s formula seems to be folklore in both worlds. However, for the convenience of the reader we include a proof here. A similar proof of the Green’s formula for the normalised p-Laplacian, that is \(m=\deg \) and \(c=0\), is given in [59].
Lemma 2.4
(Green’s formula) Let \(p\ge 1\), \(V\subseteq X\), \(f\in F(V)\) and \(\varphi \in C_c(X)\). Then, all of the following sums converge absolutely and
In particular, the formula can be applied to \(f\in C_c(X)\), or \(f\in D\), and
Proof
Since \(\varphi \in C_c(X)\), the absolute convergence follows from
for any \(f\in F(V)\).
Applying Fubini’s theorem, using the absolute convergence of the sums and the symmetry of b, we get
The assertions for the Schrödinger operator H follow now easily.
By Lemma 2.1, \(C_c(X)\subseteq F(V)\). Note that \(F(X)\subseteq F(V)\). It remains to show that \(D\subseteq F(X)\). This follows from Hölder’s inequality for all \(x\in X\) by
This ends the proof. \(\square \)
The Green’s formula is sometimes taken to define a p-Schrödinger operator weakly. By taking the test function \(\varphi =1_z\) for \(z\in V\subseteq X\), we see that the action of a weakly defined operator agrees with the action of our (strongly) defined p-Schrödinger operator on V.
3 The ground state representation on graphs
In the classical linear case, ground state representations are transformations which use a superharmonic function to turn a quadratic energy form associated with a linear Schrödinger operator into a quadratic energy form associated with a linear Laplace operator, see e.g. [34, Proposition 4.8] for such a statement on graphs, and e.g. [14, p. 109] for a counterpart in the continuum.
In the non-linear (\(p\ne 2\))-case, we do not have an equality via a transformation between functionals anymore. But instead, we achieve an equivalence between functionals, providing that a positive p-superharmonic function exists. The equivalent functional has the property that it consists of non-negative terms only.
Our representations in Theorem 3.1 and Corollary 3.2 can be seen as the non-local analogues to the local and non-linear representations in [51, 53], where p-Schrödinger operators on domains in \({\mathbb {R}}^d\) are discussed.
First applications of our representations are given in Sect. 4. Moreover, other applications can be found in the follow-up papers [20, 21].
3.1 The statement
Let \(p>1\), and \(0\le u\in F(V)\) for some \(V\subseteq X\). The simplified energy (functional) \(h_{u}\) of h with respect to u on \(C_c(V)\) be given by
where we set \(0\cdot \infty =0\) if \(1<p<2\).
Moreover, we define a weighted bracket \(\langle \cdot , \cdot \rangle \) on \(C(X)\times C_c(X)\) via
We state now the main result of this paper.
Theorem 3.1
(Ground state representation) Let \(p> 1\) and \(0\le u\in F(V)\) for some \(V\subseteq X\). Then, we have
Furthermore, the equivalence becomes an equality if \(p=2\).
In many applications the function u is assumed to be p-harmonic in \(V\subseteq X\). In this case the representation in (3.1) reduces to
A further consequence of (3.1) is, that the corresponding left-hand side is non-negative, i.e,
This inequality is known as Picone’s inequality, see [1, 4, 5, 11, 21, 23, 45, 46, 53] for applications of this inequality in various contexts.
From the inequalities in Theorem 3.1, we get as consequences estimates between the energy associated with the Schrödinger operator and other functionals, which are usually also referred to as simplified energies (see e.g. [15, 53]). They all are called simplified, because they consist of non-negative terms only, and the difference operator \(\nabla \) applies either to u or \(\varphi \) but not to the product \(u\cdot \varphi \).
We set on \(C_c(V)\),
and for \(p\ge 2\), we define on \(C_c(V)\)
The following corollary is an immediate consequence of Theorem 3.1.
Corollary 3.2
Let \(p>1\). If \(1<p\le 2\), then there is a positive constant \(c_{p}\) such that for all \(0\le u\in F(V)\)
and if \(p\ge 2\) the reversed inequality in (3.2) holds true, i.e.,
Furthermore, both inequalities become equalities if \(p=2\).
Moreover, if \(p\ge 2\), we have for all \(0\le u\in F(V)\),
The statements in Theorem 3.1 and Corollary 3.2 will follow mainly by pointwise inequalities without summation. Then, we will sum over \(X\times X\) and use Green’s formula to obtain the results. The elementary inequalities are basically given in the upcoming Lemma 3.8.
The proof does not include the case \(p=1\). This is because we use a quantification of the strict convexity of the mapping \(x\mapsto \left|x\right|^p\), \(p> 1\).
3.2 Some remarks on the main result
Remark 3.3
(Comparison with the local non-linear analogue) We compare our ground state representation with results in [53]. Similar results associated with weighted p-Schrödinger operators can be found in [51].
Fix \(p\in (1,\infty )\) and a domain \(\Omega \subseteq {\mathbb {R}}^{d}\). Let \(u\in W^{1,p}_{\textrm{loc}}(\Omega )\) and \(\Delta (u):=- {{\,\textrm{div}\,}}(\left|\nabla u\right|^{p-2} \nabla u )\) be the p-Laplacian on \(\Omega \). Furthermore, let \(V\in L^{\infty }_{\textrm{loc}}(\Omega )\). The corresponding energy functional to the Schrödinger operator \(\Delta + V\) is given by
Then, by [53, Lemma 2.2], we have the following: If u is a positive p-har-monic function of \(\Delta +V\) in the weak sense, i.e., \(\int _{\Omega }\left|\nabla u\right|^{p-2}\nabla u \cdot \nabla \varphi + V \left|u\right|^{p-2}u \varphi \textrm{d}x = 0\) for all \(\varphi \in C_{c}^{\infty }(\Omega )\), then
In particular, for \(p>2\), we have
In the case of \(1<p<2\), we have by [53, Remark 1.12] that
Now, we do the comparison: In the continuum, domains of \({\mathbb {R}}^{d}\) are considered. On graphs, we can take any subset of the graph.
Recall that u is p-harmonic. It is very easy to compare \(h_{u}(\varphi )\) with the right-hand side in (3.5), see Table 1.
This motivates to call the simplified energy \(h_{u}\) the analogue to the simplified energy in the local non-linear case. Note that in the continuum, we only consider non-negative compactly supported functions \(\varphi \), whereas on graphs, we allow \(\varphi \) to take negative values. Thus, the version in the continuum contains hidden moduli of \(\varphi \).
Furthermore, we see that the equivalence (3.6) has the same structure as the equivalence (3.4). For a comparison of \(h_{u,1}(\varphi )+ h_{u,2}(\varphi )\) with the right-hand side in (3.6) see Table 2.
Furthermore, we see that the estimate in (3.7) together with (3.5) has the same structure as the upper bound (3.2).
It should be mentioned that the strategy to prove the ground state representation in [53] and here are similar. There, an elementary equivalence is the key ingredient and then a Picone identity is used. Here, we use different elementary equivalences and the Green’s formula. However, the proof of the elementary equivalences in the discrete is technically much harder than the proof of the corresponding one in the continuum. Thus, the differences above might come from the fact that in the continuum we have a Picone identity (see [53, Sect. 2]) which is established via the chain rule. Whereas in the discrete, we only have a one-sided Picone inequality. A general version of this one-sided Picone inequality is discussed in a follow-up paper by the author [21], see also [11].
Moreover, in [53, Proposition 5.1] it was shown that for \(p>2\) both summands in the integral in (3.6) are needed in general for an upper bound. We expect that the same holds true on graphs, i.e., we expect that both \(h_{u,1}\) and \(h_{u,2}\) are needed in general for an upper bound of h.
Remark 3.4
(Discussion of the constants) By comparing Theorem 3.1 with [23, Proposition 2.3] and Lemma 3.8 (the lemma below) with [23, Lemma 2.6], we see that \(c_p\) in (3.3) can be stated explicitly as a minimiser, i.e., for \(p\ge 2\)
Note that \(c_2=1/2\). Moreover, we expect that the best constants in Theorem 3.1 are between 0 and 1.
Remark 3.5
(Hardy inequality) In [15] the non-linear ground state representation of [53] was used to prove optimality of certain p-Hardy weights associated with p-Schrödinger operators on domains in \({\mathbb {R}}^d\). The discrete counterpart does hold as well using the here presented discrete ground state representation and are topic of a follow-up paper by the author, [20]. This generalises the results of the linear case in [33] to \(p\ne 2\). A consequence of the ground state representation and some results in this yet unpublished paper is that the improved p-Hardy inequality on \({\mathbb {N}}\) in [19] is indeed optimal.
Example 3.6
(Standard p-Laplacian on \({\mathbb {N}}_{0}\)) Here, we calculate the representation for one of the simplest cases: for the graph b on \({\mathbb {N}}\) with \(b(n,m)=1\) if \(\left|n-m\right|=1\) and \(b(n,m)=0\) elsewhere for all \(n,m\in {\mathbb {N}}\).
The standard (or combinatorial) p-Laplacian \(\Delta \) for real valued functions on \( {\mathbb {N}}_{0}={\mathbb {N}}\cup \left\{ 0\right\} \) is given by
for all functions \(f\in C({\mathbb {N}})\) and \( n\ge 1 \). The corresponding energy functional reads then as
for all \(\varphi \in C_{c}({\mathbb {N}})\). From [19, Proposition 4] it follows that \(u\in F\) defined via \(u(n)=n^{(p-1)/p}\) is a positive p-superharmonic function such that \(\Delta u= w u^{p-1}\), where w is the improved p-Hardy weight in [19, Theorem 1]. Let \(q:=p/(p-1)\) and \(\alpha (n):=(1-1/n)^{1/q}\), \(n\in {\mathbb {N}}\). Then, the equivalence (3.1) reads as follows: for all \(\varphi \in C_c({\mathbb {N}})\), we have
If \(p=2\), then the equivalence is an equality and gives exactly the result of [36, Theorem 1].
Moreover, the inequality (3.3) (\(p\ge 2\)) in Corollary 3.2 is here
for all \(\varphi \in C_c({\mathbb {N}})\). By (3.2), the reversed inequality holds for \(1<p\le 2\).
Remark 3.7
(Simplified Energy Functionals) In the linear case, an application of the ground state representation formula is to get from Schrödinger forms h with arbitrary potential part via an equality to a new Schrödinger form \(h_u + \langle uHu, \left|\cdot \right|^2 \rangle \) with non-negative potential part. This new form corresponds then to the graph \(b_u\) given by \(b_u(x,y):=b(x,y)u(x)u(y)\), \(x,y\in X\), where u is a positive superharmonic function with respect to the Schrödinger operator associated with h, and has the potential \(c_u:= uHu\), see [33, 35]. An advantage of Schrödinger forms with non-negative potential part is that they are Markovian.
For \(p\ne 2\), the simplified energy \(h_u\) is not a p-energy functional anymore and the described method from the linear situation cannot be applied directly. However, there is a partial workaround via \(h_{u,1}\). By applying Corollary 3.2 for some fixed positive superharmonic u in X, we see that there is a positive constant \(c_p\) such that
The right-hand side is a p-energy functional associated with the graph \(b_u\) given by \(b_u(x,y):=c_pb(x,y)(u(x)u(y))^{p/2}\), \(x,y\in X\), and has the non-negative potential \(c_u:=uHu\).
In the case of \(p>2\), the situation is more complicated because the right-hand side gets additionally the functional \(h_{u,2}\), which is not a p-energy functional. Nevertheless, the following observation has proven to be useful (see [15, 20]): applying Hölder’s inequality to \(h_{u,2}\), we get the existence of a positive constant \(C_p\) such that
where
which can be interpreted as a p-energy functional on \(F\) for some fixed \(\varphi \in C_c(X)\).
3.3 Elementary inequalities and equivalences
The next lemma is the most important tool in order to derive the ground state representations, Theorem 3.1 and Corollary 3.2. It provides us with pointwise estimates which result in the desired estimates of the energy functionals by summing over all vertices.
Lemma 3.8
(Fundamental inequalities and equivalences) Let \(a\in {\mathbb {R}}\), \(0\le t\le 1\), and \(p> 1\). Then we have
where the right-hand side is understood to be zero if \(1<p<2\) and \(a=t=1\).
Moreover, we have
where the right-hand side is an upper bound with optimal constant \(c=2\), and it is a lower bound with optimal constant \(c=1/2\).
Furthermore, if \(1<p\le 2\), then
and for \(p\ge 2\), the reserved inequality holds, i.e.,
Moreover, we have the following refinement of the elementary inequality (2.1): for all \(p\ge 0\), we have
where the right-hand side is an upper bound with optimal constant \(c_p=2^{1-p}\) if \(0\le p\le 1\) and \(c_p=1\) if \(p\ge 1\), and it is a lower bound with optimal constant \(c_p=1\) for \(0\le p\le 1\) and \(c_p=2^{1-p}\) for \(p\ge 1\).
A proof is given in Appendix 1.
We do not claim that the constants we get in (3.8) are optimal. We expect that they can be improved and that the best constants should be either on the boundary of \([0,1]\times {\mathbb {R}}\), or at (t, 0), (t, t), (t, 1), \(t\in [0,1]\). Moreover, we expect that the optimal constants are between 0 and 2.
Also note that the inequalities (3.8) and (3.11) show that we improved an elementary one-sided result in [23] for \(p>2\).
Moreover, in the case of \(1<p<2\), the "\(\ge \)"-inequality in (3.8) was proven in [1, Lemma 3.3]. However, the basic strategy to prove the remaining inequalities in (3.8) up to a certain point will be the similar, i.e., we start the proof with the same substitution and then use the same Taylor-Maclaurin formula (confer this also with the proof of [40, Lemma 4.2]).
Furthermore, note that (3.8) is false for \(p=1\) as the left-hand side vanishes for \(a>1\ge t>0\) but the right-hand side does not. A similar argument can also be made for (3.10).
3.4 Proof of the ground state representation theorem
Now we prove our main results, Theorem 3.1 and Corollary 3.2. The basic strategy is to use the pointwise equivalences and estimates from Lemma 3.8 and then sum over all vertices.
Proof of Theorem 3.1
Let \(\varphi \in C_c(V)\) and \(0\le u\in F(V)\) for some \(V\subseteq X\). If either \(u(x)=0\) or \(u(y)=0\) for some \(x,y\in V\cup \partial V\), then
Moreover, \(u(x)u(y)(\nabla _{x,y}\varphi )^{2}=0\). Thus, it remains in the following to consider the case \(u(x), u(y)> 0\).
Firstly, let \(u(x)\ge u(y)>0\) for some fixed \(x, y \in V\cup \partial V\). Moreover, assume that \(\varphi (y)\ne 0\). Then, setting \(t=u(y)/u(x)\) and \(a=\varphi (x)/\varphi (y)\) in (3.8) combined with (3.9) results in
If \(\varphi (y)=0\), then we get the equivalence above if we can show that
Using (3.9) with \(a=0\), we see that \(t^{1/2}+(1-t)/2\asymp 1\). Moreover, the left-hand side lies between \(t\mapsto (p-1)t\) and the identity on (0, 1]. This shows the claim.
By a symmetry argument, we also get for all \(x,y\in V\cup \partial V\) such that \(u(y)\ge u(x)>0\),
Note that by Green’s formula, Lemma 2.4 for the p-Laplacian L,
Summing over all \(x,y\in X\) with respect to b and using the calculation above yields then (3.1). \(\square \)
Now, we can directly continue with proving Corollary 3.2.
Proof of Corollary 3.2
The proof of (3.2) and (3.3) can simply be read off (3.1).
The inequalities in (3.4) follow easily from (3.1) and (3.12). \(\square \)
Alternatively, one can also deduce (3.2) and (3.3) from (3.11), (3.10) and (3.8). The proof can then be mimicked from the proof of Theorem 3.1.
4 Characterisations of criticality
In this section, we will discuss the notion of criticality. For the history of this notion see [49, Remark 2.7] or [34, Sect. 5]. There it is stated that in the continuum the notion goes back to [56] and was then generalised in [43, 48]. On locally summable weighted graphs, [34] is the first paper discussing criticality in the context of linear Schrödinger operators. See also [32, Chapter 6] (and references therein) for corresponding results for linear Laplace-type operators on graphs.
Non-negative energy functionals associated with Schrödinger operators seem to divide naturally into two categories: the ones which are strictly positive, i.e., for which a Hardy inequality holds true, and the ones which are not strictly positive, i.e., for which the Hardy inequality does not hold. In the linear (\(p=2\))-case, there are surprisingly many equivalent formulations to the statement that the Hardy inequality does (not) hold, for graphs confer [34]. For \(p=2\), \(c=0\) and \(m=\deg \), this is exactly the division of graphs into transient and recurrent graphs.
Using our recently developed ground state representation, we will see that many of the characterisations in [34] remain characterisations also if \(p\ne 2\).
Let h be a functional which is non-negative on \(C_c(V)\), \(V\subseteq X\). Then, h is called subcritical in V if the Hardy inequality holds true in V, that is, there exists a positive function \(w\in C(V)\) such that
If such a positive w does not exist, then h is called critical in V. Moreover, h is called supercritical in V if h is not non-negative on \(C_c(V)\).
Other names for a subcritical functional are sometimes strictly positive, coercive, or hyperbolic.
Before we can state the main result of this section, we need the following definition: A sequence \((e_n)\) in \(C_c(V)\), \(V\subseteq X\), of non-negative functions is called null-sequence in V if there exists \(o\in V\) and \(\alpha >0\) such that \(e_n(o)=\alpha \) and \(h(e_n)\rightarrow 0\).
Moreover, we define the variational capacity of h in \(V\subseteq X\) at \(x\in V\) via
Theorem 4.1
(Characterisations of criticality) Let \(p>1\). Furthermore, assume that there exists a positive p-superharmonic function in X. Then the following statements are equivalent:
-
(i)
h is critical in X.
-
(ii)
For any \(o\in X\) and \(\alpha >0\) there is a null-sequence \((e_n)\) in X such that \(e_n(o)=\alpha \), \(n\in {\mathbb {N}}\).
-
(iii)
\({{\,\textrm{cap}\,}}_{h}(x,X)=0\) for all \(x\in X\).
-
(iv)
There exists a strictly positive p-harmonic function u in X such that \(h_u\) is critical in X.
-
(v)
For all positive p-harmonic functions u in X, the ground state representation \(h_u\) is critical in X.
-
(vi)
For any positive p-superharmonic function \(u\in F(X)\) in X and any null-sequence \((e_n)\) in X there exists a positive constant \(\tilde{c}\) such that \(e_n(x)\rightarrow \tilde{c}\, u(x)\) for all \(x\in X\) as \(n\rightarrow \infty \).
-
(vii)
There exists a strictly positive p-harmonic function \(u\in F(X)\) in X and a null-sequence \((e_n)\) in X such that \(e_n(x)\rightarrow u(x)\) for all \(x\in X\) as \(n\rightarrow \infty \). If \(p\ge 2\), the sequence can be chosen such that \(0\le e_n \le u\) for all \(n\in {\mathbb {N}}\).
In particular, if one of the equivalent statements above is fulfilled, then there exists a unique positive p-superharmonic function in X (up to linear dependence) and this function is strictly positive and p-harmonic in X.
We remark that in the continuum, the corresponding characterisation holds true on any subdomain of \({\mathbb {R}}^{d}\), confer [50, Theorem 4.15]. In Proposition 4.6, we show that h cannot be critical in V whenever \(V\subsetneq X\), assumed that a positive function exists which is p-superharmonic on V, and which is strictly positive somewhere at the boundary.
We divide the proof of this main theorem into two subsections. In the first subsection, we show some more general auxiliary lemmata, and in the second subsection, we show the equivalences.
Some other characterisations of criticality for p-Schrödinger operators, involving the non-existence of positive minimal Green’s functions, can be found in [21].
4.1 Preliminaries
We start with a direct consequence of the ground state representation.
Lemma 4.2
Let \(p>1\) and \(V\subseteq X\). Assume that there exists a function \(u\in F(V)\) which is strictly positive in V and p-superharmonic on V. Then, we have
In particular, h is non-negative on \(C_c(V)\).
Proof
By the ground state representation, Theorem 3.1, the statement follows easily since for some \(c_p>0\),
\(\square \)
Note that the reversed statement in Lemma 4.2 is also true which is proven in a follow-up paper by the author [21]. The corresponding statement is known as an Agmon-Allegretto-Piepenbrink-type theorem (see [3, 10, 47] for a linear version in the continuum, [17, 34] for a linear version in the discrete setting, [50] for a recent non-linear version in the continuum, and [38] for a corresponding result on strongly local Dirichlet forms).
An immediate consequence of the definition of criticality is the following statement.
Lemma 4.3
Let \(p>1\) and \(V\subseteq X\). Let h be critical in V. Then any function \(u\in F(V)\) which is strictly positive in V and p-superharmonic in V is p-harmonic on V.
Proof
Let u be such a strictly positive p-superharmonic function. By Lemma 4.2 we have \(h(\varphi )\ge \langle u^{1-p}Hu, \left|\varphi \right|^{p} \rangle \) for all \(\varphi \in C_c(V)\). Because h is critical we get that \(u^{1-p}Hu=0\) on V, and thus, u is p-harmonic on V. \(\square \)
Next we show that locally, i.e., on finite and connected sets, our graphs fulfil a so-called Harnack inequality for non-negative supersolutions. This inequality implies that non-negative supersolutions are either strictly positive or the zero function, and they do not tend to infinity in the interior of the graph.
There is a long list of proofs of various Harnack-type inequalities for the p-Laplacian, see for instance for metric spaces [9, Theorem 8.12] where a p-Poincaré inequality is assumed. The corresponding analogue for linear Schrödinger operators on locally summable graphs can be found in [34]. The basic idea of the following proof of the local Harnack inequality can also be found in [55], where the standard p-Laplacian on locally finite graphs without potential (i.e., \(c=0\)) is considered, and [27], where the standard p-Laplacian on finite graphs without potential, is considered.
Lemma 4.4
(Local Harnack inequality) Let \(p>1\), \(V\subseteq X\) be connected and \(f\in C(X)\). Let \(u\in F(V)\) be non-negative on \(V\cup \partial V\) such that \(Hu\ge fu^{p-1}\) on V. Then, for any \(x\in V\) and \(y\sim x\) we have
In particular, we have \(\deg +c\ge fm\) on V. Furthermore, if \(u(x)=0\) for some \(x\in V\), then \(u(x)=0\) for all \(x\in V\cup \partial V\). In other words, any function which is positive on \(V\cup \partial V\) and p-superharmonic on V is strictly positive on V.
If V is also finite, then there exists a positive constant \(C_{V,H,f}\) depending only on V, H and f, such that
The constant \(C_{V,H,f}\) can be chosen to be monotonous in the sense that if \(f\le g \in C(X)\) then \(C_{V,H,f}\ge C_{V,H,g}\).
Proof
Let \(V\subseteq X\) be connected and let \(u\in F(V)\) be such that \(u\ge 0\) on \(V\cup \partial V\) and \(Hu\ge fu^{p-1}\) on V for some \(f\in C(X)\).
If \(u(x_0)=0\) for some \(x_0\in V\), then we have
Thus, for all \(x\sim x_0\), we have \(u(x)=0\) and since V is connected we infer by induction that \(u(x)=0\) for all \(x\in V\cup \partial V\).
Hence, we can assume that \(u>0\) on V. Because of \(Hu\ge fu^{p-1}\) on V, we have
for any \(x\in V\). The right-hand side can be estimated as follows:
Let \(d_f:=\deg +c- fm\). The previous calculations imply that \(d_f\ge 0\) on V. Now assume that there is a vertex \(y_0\sim x\) such that \(u(x)\le u(y_0)\). Then the previous calculations also imply
Hence, for all \(y\sim x\) we have
Let \(x\in V\) and \(y\in V\cup \partial V\). Since V is connected, there is a path \( x_1 \sim \ldots \sim x_n\) in V such that \(x_1\sim x_0:=y\) and \(x_n=x\). Then we derive
Note that the obtained product does not only depend on V, H and f but also on x and y, and the chosen path. The dependence on the path can be overcome by considering all possible paths in V such that the starting vertex is connected to y. Taking then the infimum of all resulting products, we get a function \(C_{V,H,f}:V\times V\cup \partial V \rightarrow [1,\infty )\) which is still dependent on the vertices but independent of a specific path. As we would like to get a unifying constant for all vertices, one possibility is to simply take the supremum of \(C_{V,H,f}(x,y)\) over all \(x\in V, y\in V\cup \partial V\). However, this supremum might not be finite. A way to ensure finiteness is to assume additionally that V is finite and \(x,y\in V\). Then, \(C_{V,H,f}:= \max _{x,y \in V}C_{V,H,f}(x,y)< \infty \) which yields the desired statement. Moreover, if \(f\le g\in C(X)\) then \(d_f\ge d_g\) and hence \(C_{K,H,f}\ge C_{K,H,g}\). \(\square \)
The following lemma is the discrete analogue of [50, Proposition 4.11].
Lemma 4.5
Let \(p>1\) and assume that there exists a positive p-superharmonic function \(u\in F\). Furthermore, assume that \((e_n)\) is a null-sequence in X such that \(e_n(o)=\alpha \) for some \(o\in X\) and \(\alpha > 0\). Then, \(e_n\rightarrow (\alpha /u(o))u\) pointwise on X as \(n\rightarrow \infty \). In particular, for all \((x,y)\in X\times X\) we have \(\nabla _{x,y}(e_n/u)\rightarrow 0\) as \(n\rightarrow \infty \).
Proof
By the Harnack inequality, Lemma 4.4, any positive p-superharmonic function u in X is strictly positive in X.
Let \(o\in X\) and \(\alpha >0\) be arbitrary. Set \(\varphi _n:=e_n/u\). Then, by the ground state representation, Theorem 3.1,
Firstly, let \(p\ge 2\). Then, (4.1) implies \(\left|\nabla _{x,y}\varphi _n\right|\rightarrow 0\) for all \(x,y\in X\), \(x\sim y\). Since X is connected, we have for any \(x\in X\) a \(k\in {\mathbb {N}}\) such that \(x=x_1\sim \ldots \sim x_k=o\). Thus, we obtain
Rearranging, yields \(e_n\rightarrow (\alpha /u(o))u\) pointwise on X as \(n\rightarrow \infty \).
Secondly, let \(1<p< 2\). Then Eq. (4.1) implies either
-
(1)
\(\left|\nabla _{x,y}\varphi _n\right|\rightarrow 0\), or
-
(2)
\(\left|\nabla _{x,y}\varphi _n\right|\rightarrow \infty \), or
-
(3)
\((\varphi _n(x)+\varphi _n(y))\left|\nabla _{x,y}u\right|\rightarrow \infty \)
for each \((x,y)\in X\times X\), \(x\sim y\). We show that (2) and (3) cannot apply: Using the triangle inequality, it is easy to see that (2) and (3) are equivalent for the pair (x, o) with \(x\sim o\). They are also equivalent to \(e_n(x)\rightarrow \infty \) for \(x\sim o\). Set
Then using Hölder’s inequality with \(\tilde{p}=2/p>1\), and \(\tilde{q}=2/(2-p)\), we calculate
where \(c_i(p)\), \(i\le 4\), are positive constants depending only on p (and not on n). Since b(x, o), u(x), u(o) are also independent of n and strictly positive, we can rewrite the inequality above as
for some positive constants \(C_i(p)\), \(i=1,2\). Since \(h_u(\varphi _n)\rightarrow 0\) as \(n\rightarrow \infty \), we conclude that \(\left|\nabla _{x,o}\varphi _n\right|\rightarrow 0\), and \((e_n(x))\) does not converge to \(\infty \) for all \(x\sim o\). Hence, (2) and (3) cannot apply for all \(x\sim o\), and only (1) holds true for all \(x\sim o\). Thus, we can continue as in the case \(p\ge 2\) to get that \(e_n(x)\rightarrow (\alpha /u(o)) u(x)\) for all \(x\sim o\).
Arguing similarly, we have for all \(y\sim x\sim o\) that
for some positive constants \(C_i(p)\), \(i\le 3\). Thus, as before, (2) and (3) cannot apply for all \(y\sim x\sim o\) which results in \(e_n(y)\rightarrow (\alpha /u(o)) u(y)\). Since X is connected, we get by induction that \(e_n(y)\rightarrow (\alpha /u(o)) u(y)\) for all \(y\in X\). This proofs the statement for \(1<p<2\). \(\square \)
4.2 Proof of the characterisations of criticality
Here, we proof Theorem 4.1. We show the equivalences in the following order: (i) \(\iff \) (ii) \(\iff \) (iii), and (i) \(\iff \) (iv) \(\iff \) (v), and under the assumption \(V=X\), (ii) \(\implies \) (vi), and ((i) & (ii) & (vi)) \(\implies \) (vii) \(\implies \) (i). From (vii), we deduce the last assertion of the theorem.
Proof of Theorem 4.1
Ad (i) \(\implies \) (ii): Let \(w_n=1_o/n\) for \(o\in X\) and \(n\in {\mathbb {N}}\). Then by the criticality of h in X we have the existence of a function \(e_n\in C_c(X)\) such that \(h(e_n)< \langle w_n, \left|e_n\right|^{p} \rangle \). By the reverse triangle inequality, we have \(h(\left|e_n\right|)\le h(e_n)\) and thus, we can assume that \(e_n\ge 0\). By Lemma 4.2 we have that h is non-negative in \(C_c(X)\), and therefore we get
Hence, we can normalise \(e_n\) such that \(e_n(o)=\alpha \) for any \(\alpha >0\). Altogether, \(h(e_n)< \alpha ^pm(o)/n\) and \((e_n)\) is a null sequence in X.
Ad (ii) \(\implies \) (i): Let \((e_n)\) be a null-sequence in X with \(e_n(o)=\alpha >0\) for some \(o\in X\). Let \(w\ge 0\) on X such that \(h(\varphi )\ge \langle w, \left|\varphi \right|^{p} \rangle \) for \(\varphi \in C_c(X)\). Then,
Since \(o\in X\) is arbitrary, \(m(o)>0\) and \(\alpha >0\), we get \(w=0\) on X.
Ad (ii) \(\iff \) (iii): This follows immediately from the definitions.
Ad (i) \(\iff \) (iv) \(\iff \) (v): This follows from the ground state representation, Theorem 3.1. Note that the existence of such a strictly positive p-harmonic function is ensured by Lemma 4.3.
Ad (ii) \(\implies \) (vi): This is Lemma 4.5.
Ad ((i) and (ii) and (vi)) \(\implies \) (vii): The preamble ensures the existence of a positive p-superharmonic function u. By the the Harnack inequality, Lemma 4.4, the function u is a strictly positive p-superharmonic function in X. By Lemma 4.3, the criticality of h in X implies that any strictly positive p-superharmonic in X is a strictly positive p-harmonic function in X.
By (vi), any null-sequence converges to a constant multiple of u. The existence of a null-sequence is ensured by (ii). This shows the first part.
Let \(p\ge 2\), and let \((e_n)\) be a null sequence such that \(e_n(o)= u(o)\) for some \(o\in X\), and \(e_n\rightarrow u\). Consider the sequence \((e_n\wedge u)\), where \(\wedge \) denotes the minimum. We show that it is a null-sequence. Indeed, since for all \(\alpha , \beta , \gamma \in {\mathbb {R}}\), we have
we conclude,
Thus, \(h(e_n\wedge u)\rightarrow 0\), and \(e_n(o)=u(o)>0\), i.e., \((e_n\wedge u)\) is a null sequence. Since \(e_n\rightarrow u\), we conclude that \((e_n\wedge u)\rightarrow u\).
Ad (vii) \(\implies \) (i): By Lemma 4.2, \(0\le h(e_n)\rightarrow 0\). Hence, h is critical.
Thus, we have completed the proof of the equivalences. The last statement follows immediately from (vi). This finishes the proof.
\(\square \)
Now, we show that h cannot be critical on any proper subset of X.
Proposition 4.6
Let \(p>1\), \(V\subsetneq X\), and h be non-negative on \(C_c(V)\). Assume that there is a function \(u\in F(V)\) which is positive in \(V\cup \partial V\), p-superharmonic in V and there is a vertex \(o\in \partial V\) such that \(u(o)> 0\). Then, h is subcritical in V.
Furthermore, there does not exists a null-sequence \((e_n)\) in V with \(e_n(x_o)=\alpha \) for \(o\sim x_o\in V\) and some \(\alpha >0\), and we have \({{\,\textrm{cap}\,}}(x_o, V)>0\).
Proof
Without loss of generality, we can assume that \(V\ne \emptyset \), and thus there is at least one non-empty connected component of V. By the Harnack inequality, Lemma 4.4, we have that u is strictly positive in every connected component of V which contains a vertex that is connected to o.
Assume that h is critical in V. Note that then u is p-harmonic in V: On the connected components where it is strictly positive it follows from Lemma 4.3, and on the other components \(\tilde{U}\) it has to vanish on \(\tilde{U}\cup \partial \tilde{U}\) by Lemma 4.4. Furthermore, let us fix a connected component U of V with \(o\in \partial U\). Take \(x_o\in U\) with \(x_o\sim o\), and set \(w_n = 1_{x_o}/n\) for \(n\in {\mathbb {N}}\). Then, by the definition of criticality in V we have the existence of a sequence \((\varphi _n)\) in \(C_c(V)\) such that
By the reversed triangle inequality, we can assume without loss of generality that \(\varphi _n \ge 0\) on V for all \(n\in {\mathbb {N}}\). Furthermore, we can normalise \(\varphi _n\) such that \(\varphi _n(x_o)=1\) for all \(n\in {\mathbb {N}}\). Then, \((\varphi _n)\) is a null-sequence of h in V.
Using the ground state representation, Theorem 3.1, we get that \(h(u\psi )\asymp h_{u}(\psi )\) for all \(\psi \in C_c(V)\). Let us define \(\psi _n\in C_c(V)\) for all \(n\in {\mathbb {N}}\) via \(\psi _n= \varphi _n/u\) on V wherever u is strictly positive and \(\psi _n=0\) otherwise. Then, \((\psi _n)\) is a null-sequence of \(h_u\) in V.
Firstly, let \(p\ge 2\). Since \((\psi _n)\) is a null-sequence of \(h_u\) in V, we have
In particular, since \(u> 0\) on \(U\cup \left\{ o\right\} \), we have
But this is a contradiction, because \(\psi _n(x_o)=1/u(x_o) > 0\) for all \(n\in {\mathbb {N}}\).
Secondly, let \(1<p<2\). Since \((\psi _n)\) is a null-sequence of \(h_u\) in V, we have for each \((x,y)\in (U\cup \left\{ o\right\} )^2\), \(x\sim y\) either
-
(1)
\(\left|\nabla _{x,y}\psi _n\right|\rightarrow 0\), or
-
(2)
\(\left|\nabla _{x,y}\psi _n\right|\rightarrow \infty \), or
-
(3)
\((\psi _n(x)+\psi _n(y))\left|\nabla _{x,y}u\right|\rightarrow \infty \).
Since \(\left|\nabla _{o,x_o}\psi _n\right|=\psi _n(x_o)=1/u(x_o) > 0\) for all \(n\in {\mathbb {N}}\) and \(o\sim x_o\in U\),
we see that neither (1) nor (2) can apply for the pair \((o,x_o)\). Because of
also (3) cannot apply. Hence, we also have a contradiction in the case of \(1<p<2\).
Thus, \((\varphi _n)\) cannot be a null-sequence of h in V, and therefore the strict inequality in (4.2) does not hold, i.e., h cannot be critical in V. \(\square \)
Remark 4.7
Proposition 4.6 has the following interpretation for \(p=2\), \(m=\deg \), and \(c= 0\): Given any connected graph, the induced graph on any proper subset is then a graph with boundary and thus transient.
We end this subsection by giving a connection between the energy functional associated with the graph b, and the energy functional associated with the graph \(b_{u}\), where \(b_{u}(x,y)=b(x,y)(u(x)u(y))^{p/2}\) for \(0\le u\in F\).
If h is critical in X then the unique p-harmonic function \(\psi \) such that \(\psi (o)=1\) is called (Agmon) ground state of h normalised at o.
Corollary 4.8
Let \(p>1\), and \(0\le u\in F\).
-
(a)
If \(p>2\) and u is a ground state of h, then 1 is a ground state of \(h_{u,1}\).
-
(b)
If \(1<p<2\) and \(h_{u,1}\) is critical in X, then \(h(\cdot )-\langle u^{1-p}Hu, \left|\cdot \right|^{p} \rangle \) is critical in X.
Proof
Ad (a): Recall that a ground state is p-harmonic, i.e., \(uHu=0\). Moreover, h is critical. Then, by the ground state representation, Corollary 3.2, we have that \(h_{u,1}\) is critical. Since 1 is a p-harmonic function with respect to the Laplace operator associated with \(h_{u,1}\), it is a ground state.
Ad (b): This is a direct consequence of the ground state representation. \(\square \)
4.3 Liouville comparison principle
Here, we show a consequence of the characterisations of criticality and the ground state representation which is usually referred to as a Liouville comparison principle, confer [49, Sect. 11] and references therein for the linear case. For the counterpart in the continuum see [51, Theorem 8.1], or [53, Theorem 1.9].
Proposition 4.9
(Liouville comparison principle) Let \(p>1\). Let b and \(\tilde{b}\) be two graphs on X, and \(c, \tilde{c}\in C(X)\) be two potentials. Let denote h and \(\tilde{h}\) the energy functionals with corresponding Schrödinger operators \(H:=H_{b,c,m,X,p}\) and \(\tilde{H}:=H_{\tilde{b},\tilde{c},m,X,p}\), respectively. Assume that the following assumptions hold true:
-
(a)
The energy functional h is critical in X with ground state u.
-
(b)
There exists a positive p-superharmonic function with respect to \(\tilde{H}\), and also a positive p-subharmonic function \(\tilde{u}\) with respect to \(\tilde{H}\).
-
(c)
There exists a constant \(\alpha >0\), such that for all \(x,y\in X\) we have
$$\begin{aligned}b^{2/p}(x,y)u(x)u(y)\ge \alpha \, \tilde{b}^{2/p}(x,y)\tilde{u}(x)\tilde{u}(y).\end{aligned}$$ -
(d)
There exists a constant \(\beta >0\) such that for all \(x,y\in X\) we have for \(p\ge 2\),
$$\begin{aligned}b^{1/p}(x,y)\left|\nabla _{x,y}u\right|\ge \beta \, \tilde{b}^{1/p}(x,y)\left|\nabla _{x,y}\tilde{u}\right|,\end{aligned}$$and the reversed inequality holds for \(1<p<2\).
Then the energy functional \(\tilde{h}\) is critical in X with ground state \(\tilde{u}\).
Proof
By Theorem 4.1, there exists a null-sequence \((e_n)\) with respect to h such that \(e_n\rightarrow u\) pointwise as \(n\rightarrow \infty \). Denote \(\varphi _n=e_n/u, n\in {\mathbb {N}}\). From the ground state representation, Theorem 3.1, we get \(h(e_n)\asymp h_{u}(\varphi _n)\) for all \(n\in {\mathbb {N}}\). Hence, using (c) and (d), we infer \(h_{u}(\varphi _n)\ge \gamma _1 \tilde{h}_{\tilde{u}}(\varphi _n)\) for some constant \(\gamma _1>0\). Now, (b) implies by Lemma 4.2 that \(\tilde{h}\) is non-negative in \(C_c(X)\). Using this fact, the calculation before, and the ground state representation, we get for some constants \(\gamma _2, \gamma _3>0\) that
Thus, \((\tilde{u}\varphi _n)\) is a null-sequence for \(\tilde{h}\) and by Theorem 4.1, \(\tilde{h}\) is critical in X. Since \(\varphi _n\rightarrow 1\), we get \(\tilde{u}\varphi _n\rightarrow \tilde{u}\), and by Theorem 4.1, \(\tilde{u}\) is the ground state. \(\square \)
Data availability
Data sharing is not applicable to this article as no datasets were generated or analysed during the current study.
References
Abdellaoui, B., Mahmoudi, F.: An improved Hardy inequality for a nonlocal operator. Discrete Contin. Dyn. Syst 36(3), 1143–1157 (2016)
Alexander, A., Balinsky, W., Desmond, Evans., and Lewis, Roger T.: The analysis and geometry of Hardy’s inequality, pp. xv+263. Universitext. Springer, Cham (2015)
Allegretto, W.: On the equivalence of two types of oscillation for elliptic operators. Pacific J. Math. 55, 319–328 (1974)
Allegretto, W., Xi, H.Y.: A Picone’s identity for the p-Laplacian and applications. Nonlinear Anal. 32(7), 819–830 (1998)
Amghibech, S.: On the discrete version of Picone’s identity. Discrete Appl. Math. 156(1), 1–10 (2008)
Andreu, F., Mazón, J. M., Rossi, J. D., Toledo, J.: A nonlocal p-Laplacian evolution equation with nonhomogeneous Dirichlet boundary conditions. SIAM J. Math. Anal 40(5), 1815–1851 (2008/09)
Andreu, F., Mazón, J.M., Rossi, J.D., Toledo, J.: A nonlocal p-Laplacian evolution equation with Neumann boundary conditions. In: J. Math. Pures Appl. 90(2), 201–227 (2008)
Appell, J., De Pascale, E., Vignoli, A. Nonlinear spectral theory. In: De Gruyter Series in Nonlinear Analysis and Applications, vol. 10, pp. xii+408. Walter de Gruyter & Co., Berlin (2004)
Björn, A., Björn, J.: Nonlinear potential theory on metric spaces. In: EMS Tracts in Mathematics, vol. 17, pp. xii+403. European Mathematical Society (EMS), Zürich (2011)
Boutet de Monvel, A., Lenz, D., Stollmann, P.: Sch’nol’s theorem for strongly local forms. Israel J. Math 173, 189–211 (2009)
Brasco, L., Franzina, G.: Convexity properties of Dirichlet integrals and Piconetype inequalities. Kodai Math. J 37(3), 769–799 (2014)
Chen, W., Mosconi, S., Squassina, M.: Nonlocal problems with critical Hardy nonlinearity. J. Funct. Anal 275(11), 3065–3114 (2018)
Chung, S.-Y., Lee, H.: The p-Laplacian operators with potential terms. Commun. Korean Math. Soc 26(4), 591–601 (2011)
Davies, E.B.: Heat kernels and spectral theory. English, Vol. 92, pp. ix + 197. Cambridge: Cambridge University Press (1989)
Devyver, B., Pinchover, Y.: Optimal Lp Hardy-type inequalities. Ann. Inst. H. Poincaré Anal. Non Linéaire 33(1), 93–118 (2016)
Di Castro, A., Kuusi, T., Palatucci, G.: Local behavior of fractional pminimizers. Ann. Inst. H. Poincaré Anal. Non Linéaire 33(5), 1279–1299 (2016)
Dodziuk, J.: Difference equations, isoperimetric inequality and transience of certain random walks. Trans. Amer. Math. Soc 284(2), 787–794 (1984)
Drábek, P.: Quasilinear elliptic equations with degenerations and singularities. In: De Gruyter Series in Nonlinear Analysis and Applications, vol. 5, pp. xii+219 . Walter de Gruyter & Co., Berlin (1997)
Fischer, F.: An Improved Discrete p-Hardy Inequality (2019). arXiv:1910.03004 [math.CA]
Fischer, F.: On the Optimality and Decay of p-Hardy Weights on Graphs (2022). arXiv:2212.07728 [math.AP]
Fischer, F.: Quasi-Linear Criticality Theory and Green’s Functions on Graphs (2022). arXiv:2207.05445 [math-ph]
Frank, R.L., Simon, B., Weidl, T.: Eigenvalue bounds for perturbations of Schrödinger operators and Jacobi matrices with regular ground states. Comm. Math. Phys. 282(1), 199–208 (2008)
Frank, R.L., Seiringer, R.: Non-linear ground state representations and sharp Hardy inequalities. J. Funct. Anal 255(12), 3407–3430 (2008)
Fukushima, M., Oshima, Y., Takeda, M.: Dirichlet forms and symmetric Markov processes. Extended. In: de Gruyter Studies in Mathematics, vol. 19, pp. x+489. Walter de Gruyter & Co., Berlin (2011)
Haeseler, S., Keller, M.: Generalized solutions and spectrum for Dirichlet forms on graphs. In: Random walks, boundaries and spectra, vol. 64, pp. 181–199. Progr. Probab. Birkhäuser/Springer Basel AG, Basel, (2011)
Heinonen, J., Kilpeläinen, T., Martio, O.: Nonlinear potential theory of degenerate elliptic equations. In: Unabridged republication of the 1993 original, pp. xii+404. Dover Publications, Inc., Mineola, NY (2006)
Holopainen, I., Soardi, P.M.: p-harmonic functions on graphs and manifolds. Manuscripta mathematica 94(1), 95–110 (1997)
Holopainen, I., Soardi, P.M.: A strong Liouville theorem for p-harmonic functions on graphs. Ann. Acad. Sci. Fenn. Math 22(1), 205–226 (1997)
Hou, Y., Pinchover, Y., Rasila, A.: Positive solutions of the A-Laplace equation with a potential (2023). https://doi.org/10.1007/s11118-023-10068-7
Hua, B., Mugnolo, D.: Time regularity and long-time behavior of parabolic p-Laplace equations on infinite graphs. J. Diff. Equ. 259(11), 6162–6190 (2015)
Kayano, T., Yamasaki, M.: Boundary limit of discrete Dirichlet potentials. Hiroshima Math. J 14(2), 401–406 (1984)
Keller, M., Lenz, D., Wojciechowski, R. K.: Graphs and discrete Dirichlet spaces. English, pp. xv + 668. Springer, Cham (2021)
Keller, M., Pinchover, Y., Pogorzelski, F.: Optimal Hardy inequalities for Schrödinger operators on graphs. Commun. Math. Phys. 358, 767–790 (2018)
Keller, M., Pinchover, Y., Pogorzelski, F.: Criticality theory for Schrödinger operators on graphs. J. Spectr. Theory 10(1), 73–114 (2020)
Keller, M., Pinchover, Y., Pogorzelski, F.: From Hardy to Rellich inequalities on graphs. Proc. Lond. Math. Soc. 122(3), 458–477 (2021)
Krejcirik, D., Stampach, F.: A sharp form of the discrete Hardy inequality and the Keller–Pinchover–Pogorzelski inequality Am Math Mon 129(3), 281–283 (2022)
Kuusi, T., Mingione, G., Sire, Y.: Nonlocal equations with measure data. Comm. Math. Phys 337(3), 1317–1368 (2015)
Lenz, D., Stollmann, P., Veselić, I.: The Allegretto-Piepenbrink theorem for strongly local Dirichlet forms. Doc. Math. 14, 167–189 (2009)
Lindqvist, P.: Notes on the stationary p-Laplace equation. In: SpringerBriefs in Mathematics, pp. xi+104. Springer, Cham (2019)
Lindqvist, P.: On the equation div (\(|\delta u|^{p-2}\delta u)+\lambda |u|^{p-2}u = 0\). Proc. Amer. Math. Soc. 109, 157–164 (1990)
Masayoshi, T.: Criticality and subcriticality of generalized Schrödinger forms. Illinois J. Math. 58(1), 251–277 (2014)
Mugnolo, D.: Parabolic theory of the discrete p-Laplace operator. Nonlinear Anal. 87, 33–60 (2013)
Murata, M.: Structure of positive solutions to \((-\delta + V )u = 0\) in Rn. Duke Math. J. 53(4), 869–943 (1986)
Park, J.-H., Chung, S.-Y.: The Dirichlet boundary value problems for p-Schrödinger operators on finite networks. J. Difference Equ. Appl. 17(5), 795–811 (2011)
Park, J.-H., Kim, J.-H., Chung, S.-Y.: The p-Schrödinger equations on finite networks. Publ. Res. Inst. Math. Sci 45(2), 363–381 (2009)
Picone, M.: Sui valori eccezionali di un parametro da cui dipende un’equazione differenziale lineare ordinaria del secondo ordine, Italian. Pisa Ann. 11, 141 (1910)
Piepenbrink, J.: Nonoscillatory elliptic equations. J. Diff. Equ. 15, 541–550 (1974)
Pinchover, Y.: On positive solutions of second-order elliptic equations, stability results, and classification. Duke Math. 57(3), 955–980 (1988)
Pinchover, Y.: Topics in the theory of positive solutions of second-order elliptic and parabolic partial differential equations. Spectral theory and mathematical physics: a Festschrift in honor of Barry Simon’s 60th birthday. Proc. Sympos. Pure Math. Amer. Math. Soc. 76, 329–355 (2007)
Pinchover, Y., Psaradakis, G.: On positive solutions of the (p, A)-Laplacian with potential in Morrey space. Anal. PDE 9(6), 1317–1358 (2016)
Pinchover, Y., Regev, N.: Criticality theory of half-linear equations with the (p,A)- Laplacian. English. Nonlinear Anal. Theory Methods Appl. Ser. A Theory Methods 119, 295–314 (2015)
Pinchover, Y., Tintarev, K.: On positive solutions of p-Laplacian-type equations. Analysis, partial differential equations and applications. Oper. Theory Adv. Appl. 193, 245–267 (2009)
Pinchover, Y., Tertikas, A., Tintarev, K.: A Liouville-type theorem for the p- Laplacian with potential term. Ann. Inst. H. Poincaré Anal. Non Linéaire 25(2), 357–368 (2008)
Pinsky, R.G.: Positive harmonic functions and diffusion. In: Cambridge Studies in Advanced Mathematics, vol. 45, pp. xvi+474. Cambridge University Press, Cambridge, (1995)
Prado, L.M.-G.: p-Potential theory on graphs: p-Parabolicity and p-hyperbolicity. In: Thesis (Ph.D.)– City University of New York, p. 143. ProQuest LLC, Ann Arbor, MI (2004)
Simon, B.: Brownian motion, Lp properties of Schrödinger operators and the localization of binding. J. Funct. Anal. 35(2), 215–229 (1980)
Soardi, P.M., Yamasaki, M.: Classification of infinite networks and its application. English. Circuits Syst. Signal Process 12(1), 133–149 (1993)
Takeda, M., Uemura, T.: Criticality of Schrödinger forms and recurrence of Dirichlet forms. Trans. Amer. Math. Soc. 376, 4145–4171 (2023)
Takeuchi, H.: The spectrum of the p-Laplacian and p-harmonic morphisms on graphs. Illinois J. Math. 47(3), 939–955 (2003)
Woess, W.: Random walks on infinite graphs and groups. In: Cambridge Tracts in Mathematics, vol: 138, pp. xii+334. Cambridge University Press, Cambridge, (2000)
Yamasaki, M.: Parabolic and hyperbolic infinite networks. Hiroshima Math. J. 7(1), 135–146 (1977)
Yamasaki, M.: Ideal boundary limit of discrete Dirichlet functions. Hiroshima Math. J. 16(2), 353–360 (1986)
Acknowledgements
The author gratefully acknowledges inspiring discussions with Matthias Keller and Yehuda Pinchover, and the helpful comments of the anonymous referee. Furthermore, the author thanks the Heinrich-Böll-Stiftung for the support.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author has no competing interests to declare that are relevant to the content of this article.
Additional information
Communicated by Andrea Mondino.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A: Proof of Lemma 3.8
Appendix A: Proof of Lemma 3.8
Before we can proof Lemma 3.8, we need the following quantification of the strict convexity of the mapping \(x\mapsto \left|x\right|^p\), \(p> 1\). In the following lemma, \(\langle \cdot , \cdot \rangle _{{\mathbb {R}}^{n}}\) denotes the standard inner product in \({\mathbb {R}}^{n}\).
Lemma A.1
(Lindqvist’s lemma, Lemma 4.2 in [40]) Let \(a, b\in {\mathbb {R}}^n\). Then, for all \(p\ge 2\) we have
where \(c_p=1/(2^{p-1}-1)> 0\). If \(1<p<2\), then
where \(c_p=3p(p-1)/16>0\), and the fraction is interpreted to be zero if \(a=b=0\).
In the previous lemma, the constant \(c_p\) does not seem to be optimal. However, this is not important for our further investigations.
Proof of Lemma 3.8
Ad (3.8): Recall that we have to show that for \(p>1\),
The strategy of the proof is as follows: We start with some simple special cases for which the equivalence can be shown very easily. Thereafter, we do a substitution to bring the equivalence in a simpler form for the remaining cases. Then, we divide \({\mathbb {R}}\) into the three intervals \([1, +\infty )\), (t, 1), and \((-\infty , t]\) for some \(t\in [0,1]\). In the two intervals \([1, +\infty )\) and \((-\infty , t]\), we then distinguish between proving lower bounds and upper bounds, as well as having \(p> 2\) or \(1<p<2\). In the remaining interval (t, 1), we show that we can deduce the equivalence from the validity of the equivalence in \([1, +\infty )\).
1. The three cases \(\varvec{t\in \left\{ 0, 1\right\} }\), \(\varvec{a=t}\), and\(\varvec{p=2}\): If \(p=2\), then it is obvious that we have equality for all \(a\in {\mathbb {R}}\) and \(t\in [0,1]\).
An easy computation shows that we have indeed equality for \(t\in \left\{ 0,1\right\} \).
If \(a=t\), we have to show that for all \(p> 1\)
Thus, let us consider the function
If \(1<p<2\), then \(t^{p-1} \ge t\) for \(t\in (0,1)\), and thus, q is decreasing. If \(p > 2\), we have \(t^{p-1} \le t\) for \(t\in (0,1)\), and q is increasing. Moreover, by L’Hôpital’s rule \(q(1)=p-1\). Hence, for \(p> 2\) we have \(1=q(0)\le q(t)\le q(1)=p-1\) and for \(1<p<2\), we have \(p-1=q(1)\le q(t) \le q(0)=1\).
2. The remaining cases \(t\in (0, 1)\), \(a\ne t\), and \(p\ne 2\): We do the following substitution: Set \(\alpha :=(a-t)/(1-t)\), then we have to show that
We will do this by considering the following three cases separately
-
\(\alpha \ge 1\),
-
\(1>\alpha > 0\), and
-
\( \alpha < 0\).
Furthermore, let
Note that \(f_{\alpha }(0)=\left|\alpha \right|^{p}\).
2.1 The case \(\varvec{\alpha \ge 1}\). The basic strategy is to use the Taylor-Maclaurin formula. Thus, let us calculate the first and the second derivatives with respect to t. Note that for \(\alpha \ge 1\), we have \(\left|\alpha + t(1-\alpha )\right|=\alpha + t(1-\alpha )\). Hence, we calculate
and using \(\alpha +t(1-\alpha )= \beta +1\), where \(\beta := (\alpha -1)(1-t)\ge 0\), we get
where
Let us analyse \(g(\beta )\) for \(\beta \ge 0\). Then, \(g'(\beta )=p(p-1)(p-2)(\beta +1)^{p-3}\beta ^2\), which is positive for \(p>2\) and negative for \(1<p<2\). Hence, \(g(0)=2\) is a minimum for \(p>2\) and a maximum for \(1<p<2\). This implies that for all \(t\in (0,1)\)
Now, we apply the Taylor-Maclaurin formula
Since \(f_{\alpha }(0)=\alpha ^{p}\), we have
This term will be analysed in the following for upper and lower bounds and different values of p.
2.1.1 Lower bound for \(\varvec{1<p<2}\) and \(\varvec{\alpha \ge 1}\). Then \(f''_{\alpha } \le 0\) on (0, 1). Thus we conclude from (A.3),
Using Lindqvist’s lemma, Lemma A.1, with \(b=\alpha \) and \(a=1\), we see
This is the desired lower bound in (A.1) for \(1<p<2\) and \(\alpha \ge 1\).
2.1.2 Upper bound for \(\varvec{p>2}\) and \(\varvec{\alpha \ge 1}\). Then \(f''_{\alpha } \ge 0\) on (0, 1). Thus we conclude from (A.3),
Hence, it remains to show that there exists \(C_p >0\) such that
For any positive constant \(C_p\) we have using \((1+\alpha ^{-1})^{p-2}\ge 1\),
Let \(g(\alpha ):= \bigl (p-1-C_p \bigr )\alpha ^{2} +\bigl (2C_p-p \bigr )\alpha +\alpha ^{2-p}-C_p \) for \(\alpha >0\), then
has a root at \(\alpha = 1\). If we can show that g is concave on \([1,\infty ]\), then \(g(1)=0\) is a maximum. Since
g is concave on \([1,\infty ]\) for all \(C_p\ge p(p-1)/2\), we found a possible constant such that \(j(\alpha )\le 0\). In other words, we have the desired upper bound for \(p>2\). However, it is obvious that the constant can be improved.
2.1.3 Upper bound for \(\varvec{1<p<2}\) and \(\varvec{\alpha \ge 1}\). For \(1\le p\le 2\), the function \(\left|\cdot \right|^{p-1}\) is concave on \((0,\infty )\), thus
Using this estimate in the left-hand side of (A.1), we get
Define for \(\alpha \ge 1\),
then
Since for all \(k\in 2{\mathbb {N}}\), \(1\le p \le 2\) and \(\alpha \ge 1\), we have
we get for all \(1\le p \le 2\) and \(\alpha \ge 1\),
Since \(l'(\alpha )=(2-p)((p-1)-\alpha )\alpha ^{-p}\le 0\) for \(\alpha \ge 1\) and \(1\le p\le 2\), we get
Thus, using that \(g\le 0\) on \([1,\infty ]\) results in (A.4) in
This results in the right-hand side of (A.1) with constant 1.
2.1.4 Lower bound for \(\varvec{p>2}\) and \(\varvec{\alpha \ge 1}\). For \(p\ge 2\), the function \(\left|\cdot \right|^{p-1}\) is convex on \((0,\infty )\), thus
Using this estimate in the left-hand side of (A.1), we get
Define for \(\alpha \ge 1\), and some constant \(C_p>0\),
then
If \(p\ge 3\), then
Choosing \(C_p= 2^{3-p}(p-1)/p\), we get \(g'\ge 0\) on \([1,\infty )\). In particular,
Thus, for \(p\ge 3\),
If \(2\le p\le 3\), then
Choosing \(C_p=(p-1)/(2^{p-2}+p-2)\), we get \(g'\ge 0\) on \([1,\infty )\). Thus, for \(2\le p\le 3\),
Applying (A.6) and (A.7) to (A.5), results in the right-hand side of (A.1).
Moreover, this was the last puzzle stone to show (A.1) for \(\alpha \ge 1\) and all \(1<p<\infty \).
2.2 The case \(\varvec{0<\alpha < 1}\). We have shown that (A.1) holds for all \(\alpha > 1\) and \(t\in (0,1)\). Then it holds in particular for \(s=1-t\), i.e.,
Now, for any \(\alpha >1\) let \(\beta :=1/\alpha \in (0,1)\). Then, we get by multiplying both sides with \(\beta ^{p}s/(1-s)\),
which is the desired equivalence.
2.3 The case \(\varvec{\alpha < 0}\). Set \(\beta := -\alpha \). Then, substituting into (A.1), we have to show that for all \(\beta > 0\) and \(t\in (0,1)\),
We have
where
Before we continue with the estimates, let us note that
The first inequality can be seen as follows: let \(\gamma > 0\). Firstly assume that \(\gamma > t\). Then,
Secondly, if \(\gamma \le t\), then a similar calculation can be done to get the desired inequality (factor t out of the sum and use the binomial theorem).
Note that for all \(p\ge 1\),
Now we continue with showing (A.8): By the first parts of the proof, i.e., the proof of (A.1), we have that for all \(\beta > 0\),
The strategy for the upper bound will be as follows: Clearly, \((\beta -1)^2\le (\beta +1)^2\) for all \(\beta > 0\). If we apply this estimate to (A.9), we are left to show that also
for some positive constant \(C_p\) in order to show the upper bound in (A.8).
Let us turn to the strategy for the lower bound: It is obvious, that there does not exists a positive constant \(C_p\) such that \((\beta -1)^2\ge C_p (\beta +1)^2\) since the left-hand side has a root at \(\beta =1\). However, fix \(0< \varepsilon < 1\), then we clearly have for all \(\beta \in (0,\infty )\setminus (1-\varepsilon , 1+\varepsilon )\) that \((\beta -1)^2\ge C_{p, \varepsilon } (\beta +1)^2\) for some constant \(C_{p,\varepsilon }>0\). Since \(g\ge 0\), we have the desired lower bound of (A.8) using (A.9) in \((0,\infty )\setminus (1-\varepsilon , 1+\varepsilon )\).
For the lower bound, we are left to discuss the compact interval \([1-\varepsilon , 1+\varepsilon ]\). On this interval, we clearly have \((\beta +1)^{p}\asymp 1\). The equivalence (A.9) shows in particular that the corresponding left-hand side is positive. Thus, we are left to show that there exists \(C_{p,\varepsilon }>0\) such that
2.3.1 Lower bound for \(\varvec{1<p<2}\) and \(\varvec{\beta =-\alpha \ge 0}\). By the discussion before we only have to show that \(g_t \ge C_{p,\varepsilon }t\) on \([1-\varepsilon , 1+\varepsilon ]\). Since \(g_{t}' \ge 0\), we have for all \(\beta \in [1-\varepsilon , 1+\varepsilon ]\),
Using Lindqvist’s lemma, Lemma A.1, we get with \(a=(1-\varepsilon )(1-t)+t\) and \(b=\left|(1-\varepsilon )(1-t)-t\right|\) that
If \((1-\varepsilon )(1-t)-t\ge 0\), i.e., \(t\in (0,(1-\varepsilon )/(2-\varepsilon ))\), the latter reduces to
Using this, we get
Since \(t\mapsto \bigl ((1-\varepsilon )(1-t)-t\bigr )^{p-1}/(1-t)\) is continuous on \([0,(1-\varepsilon )/(2-\varepsilon )]\), strictly positive on \([0,(1-\varepsilon )/(2-\varepsilon ))\) and has a root at \(t=(1-\varepsilon )/(2-\varepsilon )\), and \(t\mapsto t/(1-t)^{3-p}\) is continuous and strictly positive on (0, 1), has a root at \(t=0\), we conclude that there is a positive constant which bounds the sum from below on \([0,(1-\varepsilon )/(2-\varepsilon )]\subset [0,1]\).
If \((1-\varepsilon )(1-t)-t<0\), i.e., \(t\in ((1-\varepsilon )/(2-\varepsilon ),1)\), then (A.10) reduces instead to
Using this, we get
Since \(t\mapsto \bigl (-(1-\varepsilon )(1-t)+t\bigr )^{p-1}/t\) is continuous and strictly positive on \(((1-\varepsilon )/(2-\varepsilon ),1]\) and vanishes at \(t=(1-\varepsilon )/(2-\varepsilon )\), and \(t\mapsto (1-t)/t^{3-p}\) is continuous and strictly positive on \(((1-\varepsilon )/(2-\varepsilon ),1)\) (and is only zero at \(t=1\)), we conclude that there is a positive constant which bounds the sum from below.
This shows the desired lower bound for \(1<p<2\) and \(\beta \ge 0\).
2.3.2 Lower bound for \(\varvec{p>2}\) and \(\varvec{\beta =-\alpha \ge 0}\). As in the case for \(p<2\), it suffices to show that \(g_{t}\ge t\cdot C_{p,\varepsilon }> 0\) on \([1-\varepsilon , 1+\varepsilon ]\). Since \(g_{t}' \ge 0\), we have for all \(\beta \in [1-\varepsilon , 1+\varepsilon ]\),
Using Lindqvist’s lemma, Lemma A.1, we get with \(a=(1-\varepsilon )(1-t)+t\) and \(b=\left|(1-\varepsilon )(1-t)-t\right|\) that
If \((1-\varepsilon )(1-t)-t\ge 0\), i.e., \(t\in (0,(1-\varepsilon )/(2-\varepsilon ))\), the latter reduces to
Using this, we get
Since \(t\mapsto \bigl ((1-\varepsilon )(1-t)-t\bigr )^{p-1}/(1-t)\) is continuous on \([0,(1-\varepsilon )/(2-\varepsilon )]\), strictly positive on \([0,(1-\varepsilon )/(2-\varepsilon ))\) and vanishes at \(t=(1-\varepsilon )/(2-\varepsilon )\), and \(t\mapsto t^{p-1}/(1-t)\) is continuous and strictly positive on (0, 1), and vanishes at \(t=0\), we conclude that there is a positive constant which bounds the sum from below on \([0,(1-\varepsilon )/(2-\varepsilon )]\).
If \((1-\varepsilon )(1-t)-t<0\), i.e., \(t\in ((1-\varepsilon )/(2-\varepsilon ),1)\), then (A.11) reduces instead to
Using this, we get
Since \(t\mapsto \bigl (-(1-\varepsilon )(1-t)+t\bigr )^{p-1}/t\) is continuous and strictly positive on \(((1-\varepsilon )/(2-\varepsilon ),1]\) and vanishes only at \(t=(1-\varepsilon )/(2-\varepsilon )\), and \(t\mapsto (1-t)^{p-1}/t\) is continuous and strictly positive on \(((1-\varepsilon )/(2-\varepsilon ),1)\) and vanishes only at \(t=1\), we conclude that there is a positive constant which bounds the sum from below.
This shows the desired lower bound for \(p>2\) and \(\beta \ge 0\), and we are left to show the upper bounds.
2.3.3 Upper bound for \(\varvec{1<p<2}\) and \(\varvec{p> 2}\), and \(\varvec{\beta =-\alpha \ge 0}\). It remains to show that \(g_t(\beta )\le C_p t (\beta +1)^{p}\) for all \(\beta \ge 0\).
Recall that by the convexity of \(\left|\cdot \right|^{p}\), we have
Let \(a=\beta (1-t)+t\) and \(b=\left|\beta (1-t)-t\right|\), then we get by the convexity that
Since \(\beta (1-t)+t\le \beta +1\) and \((\beta +1)^{p-1}\le (\beta +1)^{p}\) for all \(\beta \ge 0\), \(1<p<\infty \) and \(t\in [0,1]\), we get
If \(\beta (1-t)\ge t\), then \(\beta (1-t)+t-\left|\beta (1-t)-t\right|= 2t.\) If \(\beta (1-t)\le t\), then \(\beta (1-t)+t-\left|\beta (1-t)-t\right|= 2\beta (1-t)\le 2t.\) Thus, we get altogether,
This finishes the proof of (A.8) and moreover, it also finishes the proof of (3.8).
Ad (3.9): The assertion follows by a simple case analysis. Here are the details: Let
We have to show that \(f_{t,C}\ge 0\) for all \(t\in [0,1]\) and \(C\ge 2\), \(f_{t,C}\le 0\) for all \(t\in [0,1]\) and \(0\le C\le 1/2\), and for every \(C\in (1/2,2)\), the function \(f_{\cdot ,C}(\cdot )\) changes sign.
1. The cases \(t\in \left\{ 0, 1\right\} \) and \(a=t\): For \(t=0\), we have
which is non-negative for \(C\ge 2\) and strictly negative for \(C<2\). If \(t=1\), then
which is non-negative for \(C\ge 1\) and strictly negative for \(C<1\). If \(a=t\), then
which is non-negative for \(C\ge 2\), non-positive for \(C\le 1/2\) and changes sign from negative to positive as t increases in \(1/2<C<2\). Hence, it is easy to see that \(f_{\cdot ,C}(\cdot )\) changes sign for any \(1/2<C<2\) and an appropriate choice of t by evaluating \(f_{t,C}\) at 0, t and 1.
2. The remaining cases \(\varvec{t\in (0, 1), a\ne t:}\) Note that for \(a\not \in \left\{ 0,t,1\right\} \), we can calculate the derivative, i.e.,
We have for all \(t\in (0,1)\) and \(C\ge 2\),
If \(0\le C\le 1/2\), then \(f'_{t,C}\) has opposite sign on every subinterval.
Hence, \(f_{t,C}\) has two extrema, one at \(a=0\) and one at \(a=t\). If \(C\ge 2\), the extrema are minima, and if \(0\le C\le 1/2\), the extrema are maxima. By the computations in the first case and since
which is non-negative for \(C\ge 2\) and non-positive for \(0\le C\le 1/2\), it follows that \(f_{t,C}\) is non-negative if \(C\ge 2\) and non-positive if \(0\le C\le 1/2\) for all \(t\in [0,1]\) and we have shown that the right-hand side in (3.9) is an upper bound for every \(C\ge 2\), and lower bound if \(0\le C\le 1/2\).
Ad (3.10) and (3.11) We will show these inequalities similarly as we showed (3.8). Recall that we have to show that
and
Note that the inequalities basically come from the fact that for \(t\in [0,1]\), we have \(t^{p/2}\ge t\) for \(1<p\le 2\), whereas \(t^{p/2}\le t\) for \(p\ge 2\). Here are the details:
1. The three cases \(\varvec{t\in \left\{ 0, 1\right\} }\), \(\varvec{a=t}\), and \(\varvec{p=2}\): If \(p=2\), then it is obvious that we have equality for all \(a\in {\mathbb {R}}\) and \(t\in [0,1]\).
An easy computation shows that we indeed have equality for \(t\in \left\{ 0,1\right\} \).
If \(a=t\), then note that \(t\in [0,1]\) implies \(t^{p/2}\ge t\) for \(1<p\le 2\), and \(t^{p/2}\le t\) for \(p\ge 2\). This immediately yields the desired inequalities.
2. The remaining cases \(\varvec{t\in (0, 1)}\), \(\varvec{a\ne t}\), and \(\varvec{p\ne 2}\): We consider the cases \(a>t\) and \(a<t\) separately.
2.1. The case \(\varvec{a > t}\): Here, we have to show that
as well as
Firstly, consider the case \(1< p < 2\). We clearly have \(a+1-2t \ge a-1\). Thus, \((a+1-2t)^{2-p}\ge (a-1)^{2-p}\). Moreover, \(t\le t^{p/2}\) for \(t\in (0,1)\). This shows the inequality (A.12).
Secondly, consider the case \(p> 2\). Because \((a+1-2t)^{p-2}\ge (a-1)^{p-2}\) as well as \(t\ge t^{p/2}\) for \(t\in (0,1)\), we get the desired inequality (A.13).
2.2. The case \(\varvec{a < t}\): Note that \(a<t<1\). Thus, we have to show that
as well as
Since \(t\le t^{p/2}\) for \(1<p<2\) and \(t\ge t^{p/2}\) for \(p>2\), we get the desired result.
Ad (3.12): Recall that there we assume that \(p\ge 0\). The desired inequality is clearly fulfilled if \(\alpha =\beta =0\). Thus, assume that both do not vanish at the same time. Setting \(t=\alpha /(\alpha +\beta )\), then (3.12) is equivalent to
If \(0\le p<1\), then f has a minimum at 0 and 1, and a maximum at 1/2. If \(p\ge 1\), then f has a maximum at 0 and 1, and a minimum at 1/2. Since \(f(0)= f(1)=1\) and \(f(1/2)=2^{1-p}\), we finished the proof. \(\square \)
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
Fischer, F. A non-local quasi-linear ground state representation and criticality theory. Calc. Var. 62, 163 (2023). https://doi.org/10.1007/s00526-023-02496-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-023-02496-5