Abstract
In this paper, we study the behavior as \(p\rightarrow \infty \) of eigenvalues and eigenfunctions of a system of p-Laplacians, that is
in a bounded smooth domain \(\Omega \). Here \(\alpha +\beta =p\). We assume that \( \frac{\alpha }{p} \rightarrow \Gamma \) and \( \frac{\beta }{p} \rightarrow 1 - \Gamma \) as \(p\rightarrow \infty \) and we prove that for the first eigenvalue \(\lambda _{1,p}\) we have
Concerning the eigenfunctions \((u_{p}, v_p)\) associated with \(\lambda _{1,p}\) normalized by \( \int _{\Omega } |u_p|^\alpha |v_p|^\beta =1\), there is a uniform limit \((u_\infty , v_\infty )\) that is a solution to a limit minimization problem as well as a viscosity solution to
In addition, we also analyze the limit PDE when we consider higher eigenvalues.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, we deal with nonnegative weak or viscosity solutions to the following elliptic problem
when p is large. Here \(p>1\), \(\Delta _p u = \text{ div }( |\nabla u|^{p-2} \nabla u)\) is the well-known p-Laplacian operator, \(\Omega \) is a smooth bounded domain in \(\mathbb {R}^N\), and \(\alpha \) and \(\beta \) are real numbers greater or equal than one and verify
The limit of p-harmonic functions, that is, of solutions to \(-\Delta _p u =-\text{ div } (|\nabla u|^{p-2} \nabla u)= 0\), as \(p \rightarrow \infty \) has been extensively studied in the literature (see [2] and the survey [1]) and leads naturally to solutions of the infinity Laplacian, given by \(-\Delta _{\infty } u = - \nabla u D^2 u (\nabla u)^t=0\). Infinity harmonic functions (solutions to \(-\Delta _\infty u =0\)) are related to the optimal Lipschitz extension problem (see the survey [1]) and find applications in optimal transportation, image processing and tug-of-war games (see, for example, [4, 7, 16, 17] and the references therein). Also limits of the eigenvalue problem related to the p-Laplacian with various boundary conditions have been exhaustively examined, see [8, 11, 12, 18, 19], and lead naturally to the infinity Laplacian eigenvalue problem (in the scalar case)
In particular, the limit as \(p\rightarrow \infty \) of the first eigenvalue \(\lambda _{p,D}\) of the p-Laplacian with Dirichlet boundary conditions and of its corresponding positive normalized eigenfunction \(u_p\) has been studied in [11, 12]. It was proved there that, up to a subsequence, the \(u_{p}\) converges uniformly to some Lipschitz function \(u_\infty \) satisfying \(\Vert u_\infty \Vert _\infty =1\) and that
where \(R_\Omega = \max _{x\in \Omega } \text {dist}\,(x, \partial \Omega )\). Moreover \(u_\infty \) is an extremal for this limit variational problem, and the pair \(u_\infty \), \(\lambda _{\infty ,D}\) is a nontrivial solution to (1.3). This problem has also been studied from an optimal mass transport point of view in [5].
On the other hand, there is a rich recent literature concerning eigenvalues for systems of p-Laplacian type, (we refer, for example, to [3, 9, 15, 22] and references therein), but there does not seem to be, to our knowledge, work concerning their asymptotic behavior as p goes to infinity. The purpose of this paper is to initiate such work by considering the asymptotic behavior of the first eigenvalue \(\lambda _{1,p}\) of the simple system of p-Laplacian type (1.1).
Existence of weak solutions to (1.1) can be easily obtained from a variational argument, see [15]. In fact, we just have to look for a minimizer of the quotient
in \(S_p:= W^{1,p}_0 (\Omega ) \times W^{1,p}_0 (\Omega )\) to obtain the first eigenvalue \(\lambda _{1,p}\) whose associated pair of eigenfunctions \((u_p,v_p)\) is nonnegative. Note that, up to our knowledge, except in the symmetric case \(\alpha =\beta \) where we recover the first eigenfunction of the p-Laplacian, it is not known that the first eigenvalue (1.5) is simple as it happens for a single equation.
Theorem 1.1
Let \((u_{p}, v_p)\) be a minimizer in (1.5) normalized by
Assume that
with \(0<\Gamma <1\) (in view of (1.2), this implies that \( \frac{\beta }{p} \rightarrow 1 - \Gamma \) as \(p\rightarrow \infty \)). Then, there exist functions \(u_\infty ,v_\infty \in C(\overline{\Omega })\) and a sequence \(p_j\rightarrow \infty \) such that
uniformly in \(\overline{\Omega }\). In addition,
where \(R_\Omega \) is the radius of the largest ball included in \(\Omega \) that is
The limit pair of functions \((u_\infty , v_\infty )\) belongs to \(S_\infty = W^{1,\infty }_0 (\Omega ) \times W^{1,\infty }_0 (\Omega )\) and is a minimizer for the limit variational problem defined by
In addition, \((u_\infty , v_\infty )\) is a viscosity solution to the following limit eigenvalue problem
where \(\Delta _\infty u = \sum _{i,j=1}^n \partial _{ij} u \partial _iu \partial _ju\) is the \(\infty \)-Laplacian of u.
Remark that the limit of \((\lambda _{1,p})^{1/p}\) as \(p\rightarrow \infty \) is given by \(\lambda _\infty = \frac{1}{R_\Omega }\). This is the same limit as the one for the first eigenvalue for the usual p-Laplacian (that is, for a single equation not for a system) and is known as the first eigenvalue for the \(\infty -\)Laplacian, see [12]. Hence, we have the surprising (except in the symmetric case \(\alpha =\beta \)) fact that the first eigenvalue for the system converges to the same limit as for a single equation.
In addition, when \(\Omega \) is a ball of radius R, we have that there is a unique minimizer of \(\lambda _\infty = \inf _{u\in W^{1,\infty }_0(\Omega )} \frac{\Vert \nabla u\Vert _{L^\infty (\Omega ) }}{\Vert u\Vert _{L^\infty (\Omega )}}\) that is given by the cone \(c(x) = R-|x|\). Therefore, in this case, it can be proved that the limit of \(u_p\) and \(v_p\) coincides and is given exactly by the same cone c(x). Hence, we conclude that for the ball the first eigenvalue is associated with a pair of eigenfunctions that are quite close to each other for p large.
Notice that any minimizer (u, v) of (1.7) must satisfy \(\Vert \nabla u\Vert _\infty =\Vert \nabla v\Vert _\infty \). Indeed assume, for example, that \(\Vert \nabla u\Vert _\infty <\Vert \nabla v\Vert _\infty \). It is then easily checked that we can decrease the quotient in (1.7) by considering a pair \((u+ \varepsilon \phi ,v)\) where \( \varepsilon >0\) is small and \(\phi \in C^\infty _c(\Omega )\) satisfies \(\phi (x_0)=1\) for some maximum point \(x_0\) of \(|u|^\Gamma |v|^{1-\Gamma }\). However we cannot assert that in general any minimizer (u, v) satisfies \(u=v\). To see this, notice first that if u and v are nonnegative minimizer for \(\lambda _{\infty ,D}\) in (1.4) that attain their maximum at the same point, then (u, v) is minimizing. It follows in particular that (u, u) is minimizing for any minimizer u of \(\lambda _{\infty ,D}\). However it is not known in general whether \(\lambda _{\infty ,D}\) is simple. It is the case, for instance, for a ball, an annulus and a stadium (the unique eigenvalue is then the function \(\text {dist}\,(x, \partial \Omega )\)—see [21]) but not for the planar dumbbell domain \(B(5e_1,1)\cup R\cup B(-5e_1,1)\) recently considered in [10] (here \(e_1=(1,0)\) and \(R=(-5,5)\times (-\delta ,\delta )\) with \(\delta >0\) small). Indeed the authors there proved the existence of a nonnegative normalized eigenvalue v for \(\lambda _{\infty ,D}\) minimizing the quotient in (1.4) with \(u(5,0)=1\), but which is not symmetric in the second coordinate and therefore is not equal to an eigenvalue u obtained as a limit of positive normalized eigenvalues for the p-Laplacian. Since u and v attain their maximum value 1 both at the same point (5, 0), the pair (u, v) is minimizing in (1.7).
Notice eventually that we cannot assert that \(\lambda _\infty \) is the smallest positive \(\lambda \) such that the equation (1.8) has a nonnegative viscosity solution (u, v). This seems to be a nontrivial problem due to the lack of comparison principle for a system like (1.8) and also to the fact that, the infinity norm being non-differentiable, we cannot affirm that a solution of (1.8) is a critical point of Q.
Next, we show that the limits of the eigenfunctions of the first eigenvalue verify an uncoupled problem. To show this fact, we use ideas from optimal mass transportation, see [5], [18] for similar ideas and [20] for basic concepts and definitions.
Theorem 1.2
Under the same conditions of Theorem 1.1, consider the measures \(f_p=u_p^{\alpha -1}v_p^\beta \,\hbox {d}x\) and \(g_p=u_p^{\alpha }v_p^{\beta -1}\,\hbox {d}x\). Then, there exists \(f_\infty ,g_\infty \in P(\overline{\Omega })\) (the space of probability measures on \(\overline{\Omega }\)) such that up to a subsequence,
In addition, we have that \(((u_\infty ,f_\infty ),(v_\infty ,g_\infty ))\) is a minimizer of the functional \(G_\infty \) given by
Concerning higher eigenvalues, we have the following result: For (1.1) with fixed p, \(\alpha \), \(\beta \), it can be proved using topological arguments that there is a sequence of eigenvalues \(\lambda _{n,p} \rightarrow \infty \) with eigenfunctions \((u_{p},v_{p})\) that change sign in \(\Omega \). Note that since solutions change sign we have to write \(u^\alpha \) as \(|u|^{\alpha -1 } u\) and analogously for \(v^\beta \) in (1.1). The next result finds the associated limit PDE as \(p\rightarrow \infty \).
Theorem 1.3
Let \(\lambda _{n,p}\) be a sequence of eigenvalues with corresponding eigenfunctions \((u_{p}, v_{p})\) normalized by
and assume that
with \(0<\Gamma <1\) [note that (1.2) implies that \( \frac{\beta }{p} \rightarrow 1 - \Gamma \) as \(p\rightarrow \infty \)]. If there is a constant C independent of p such that
then, there exists a sequence \(p_j\rightarrow \infty \) such that
and
uniformly in \(\overline{\Omega }\). The limit pair of functions \((u_\infty , v_\infty )\) belongs to \(S_\infty = W^{1,\infty }_0 (\Omega ) \times W^{1,\infty }_0 (\Omega )\) and is a viscosity solution to the following limit eigenvalue problem
together with the analogous equation that holds for \(v_\infty \).
The condition \((\lambda _{n,p})^{1/p} \le C\) holds, for example, for the eigenvalues constructed using topological arguments in [15]. We remark that it is not known whether this set of eigenvalues exhausts the whole spectrum. Therefore, we prefer to state our result assuming \((\lambda _{n,p})^{1/p} \le C\) and let \(\lambda _{n,p}\) be any possible eigenvalue.
The paper is organized as follows: In Sect. 2, we prove Theorem 1.1, in Sect. 3, we collect some extra remarks concerning the limit problem for the first eigenvalue and we prove Theorem 1.2, and finally, in Sect. 4, we deal with higher eigenvalues and prove Theorem 1.3.
2 Proof of Theorem 1.1
We first look for a uniform bound for \(\lambda _{1,p}^{1/p}\). To this end, let us consider a Lipschitz function \(w\in W^{1,\infty } (\Omega )\) that is a first eigenfunction for the \(\infty -\)Laplacian normalized according to \( \Vert w\Vert _{L^\infty (\Omega )}=1\). This function verifies
Using the pair \((w,w)\in S\) as a test function in (1.5) to estimate \(\lambda _{1,p}\), we obtain
Therefore, there is a constant, C, independent of p such that, for p large,
Recalling that \((u_p,v_p)\) is a minimizer for \(\lambda _{1,p}\) normalized by (1.6), we have that
from which we deduce with (2.1) that
Now, we argue as follows. We fix \(r\in (1,\infty )\). Using Holder’s inequality, we obtain for \(p>r\) large enough that
Hence, extracting a subsequence \(p_j \rightarrow \infty \) if necessary, we have that
weakly in \(W^{1,r} (\Omega )\) for any \(1<r<\infty \) and uniformly in \(\overline{\Omega }\). From (2.2), we obtain that this weak limit verifies
As we can assume that the above inequality holds for every r (using a diagonal argument), we get that \(u_\infty \in W^{1,\infty } (\Omega )\), and moreover, taking the limit as \( r \rightarrow \infty \), we obtain
Analogously, we obtain the existence of a function \(v_\infty \in W^{1,\infty }(\Omega )\) satisfying
weakly in \(W^{1,r} (\Omega )\) for any \(1<r<\infty \) and uniformly in \(\overline{\Omega }\), with
From the uniform convergence and the normalization condition (1.6), we obtain that
Therefore, we get
Now, let us point out that the limit for the first eigenvalue stated in Theorem 1.1 can be also characterized as follows:
where the inf is taken over all pairs \((u,v)\in W^{1,\infty }_0(\Omega )\times W^{1,\infty }_0(\Omega )\) such that \(\Vert |u|^\Gamma |v|^{1-\Gamma }\Vert _{L^\infty (\Omega )}=1\). Indeed, to prove that
we argue as follows. First, taking \(u=v\), we obtain that \(\lambda _\infty \) is less or equal than the first Dirichlet eigenvalue of \(-\Delta _\infty \) which equals \(1/R_\Omega \). On the other hand if (u, v) satisfies \(\Vert |u|^\Gamma |v|^{1-\Gamma }\Vert _{L^\infty (\Omega )}=1\) then \(\Vert u\Vert _{L^\infty (\Omega )} \ge 1\) or \(\Vert v\Vert _{L^\infty (\Omega )} \ge 1\). If, for example, \(\Vert u\Vert _{L^\infty (\Omega )} \ge 1\), then \(\Vert \nabla u\Vert _{L^\infty (\Omega )} \ge 1/R_\Omega \) so that \(\lambda _\infty \ge 1/R_\Omega \).
To prove the convergence of \(\lambda _{1,p}^{1/p}\) to \(\lambda _\infty \), we use the fact that for \(u,v\in L^\infty (\Omega )\) (independent of p),
as \(p\rightarrow \infty \) and argue as before.
In order to identify the limit PDE problem satisfied by any limit \((u_\infty ,v_\infty )\), we introduce the concept of viscosity solutions to each of the equations in (1.1). Assuming that \(u_p\) is smooth enough, we can rewrite the first equation in (1.1) as
This equation is nonlinear but elliptic (degenerate); thus, it makes sense to consider viscosity subsolutions and supersolutions of it. Let \(x,y\in \mathbb {R}\), \( z\in \mathbb {R}^N\), and S a real symmetric matrix. We define the following continuous function
Observe that \(H_p\) is elliptic in the sense that \(H_p(x,y,z,S)\ge H_p(x,y,z,S')\) if \(S\le S'\) in the sense of bilinear forms and also that (2.3) can then be written as \(H_{p}(x, u_p,\nabla u_p,D^2 u_p)=0\). We are thus interested in viscosity super- and subsolutions of the partial differential equation
Definition 2.1
An upper semicontinuous function u defined in \(\Omega \) is a viscosity subsolution of (2.5) if, \(u|_{\partial \Omega } \le 0\) and, whenever \(x_0\in \Omega \) and \(\phi \in C^2(\Omega )\) are such that
-
(i)
\(u(x_0)=\phi (x_0)\),
-
(ii)
\(u(x)<\phi (x)\), if \(x\ne x_0\),
then
Definition 2.2
A lower semicontinuous function u defined in \(\Omega \) is a viscosity supersolution of (2.5) if, \(u|_{\partial \Omega } \ge 0\) and, whenever \(x_0\in \Omega \) and \(\phi \in C^2(\Omega )\) are such that
-
(i)
\(u(x_0)=\phi (x_0)\),
-
(ii)
\(u(x)>\phi (x)\), if \(x\ne x_0\),
then
We observe that in both of the above definitions the second condition is required just in a neighborhood of \(x_0\) and the strict inequality can be relaxed. We refer to [6] for more details about general theory of viscosity solutions and to [13] for viscosity solutions related to the \(\infty -\)Laplacian and the p-Laplacian operators. The following result can be shown as in [14, Proposition 2.4].
Lemma 2.3
A continuous weak solution to the equation
is a viscosity solution to (2.5).
Now, we have all the ingredients to compute the limit of the equation
as \(p\rightarrow \infty \) in the viscosity sense, that is, to identify the limit equation verified by any limit \(u_\infty \). For \(x,y\in \mathbb {R}\) \(z\in \mathbb {R}^N\) and S a symmetric real matrix, we define the limit operator \(H_\infty \) by
Note that \(H_{\infty }(x,u,\nabla u,D^2 u)=0\) is the first equation in the system that we are looking for.
Theorem 2.4
A function \(u_\infty \) obtained as a limit as \(p\rightarrow \infty \) of a subsequence of \(\{u_p\}\), the first component of the eigenfunctions \((u_p,v_p)\) associated with \(\lambda _{1,p}\), that is, a solution to \(-\Delta _p u_p = \lambda _p \alpha u_p^{\alpha -1} v_p^\beta \), is a viscosity solution of the equation
with \(H_\infty \) defined in (2.7) and \(v_\infty \) a uniform limit of \(v_p\).
Proof
In the sequel, we assume that we have a subsequence \(p_{n}\rightarrow \infty \) such that
uniformly in \(\Omega \) and \((\lambda _{p_{n}})^{1/p_n}\rightarrow \lambda _\infty \). In what follows, we omit the subscript n and denote as \(u_p\) and \(\lambda _p\) such subsequences for simplicity.
We first check that \(u_\infty \) is a supersolution of (2.8). To this end, we consider a point \(x_0\in \Omega \) and a function \(\phi \in C^2(\Omega )\) such that \(u_\infty (x_0)= \phi (x_0)\) and \(u_\infty (x)>\phi (x)\) for every \(x\in B(x_0,R)\), \(x\ne x_0\), with \(R>0\) fixed and verifying that \(B(x_0,2R)\subset \Omega \). We must show that
Let \(x_p\) be a minimum point of \(u_p-\phi \) in \(\bar{B}(x_0,R)\). Up to a subsequence, the \(x_p\) converges to some point \(x_\infty \in \bar{B}(x_0,R)\). Recalling that \(u_p\rightarrow u_\infty \) uniformly in \(\bar{B}(x_0,R)\), we see that \(x_\infty \) is a minimum point of \(u_\infty -\phi \) so that \(x_\infty =x_0\).
In view of Lemma 2.3, \(u_p\) is a viscosity supersolution of (2.5) so that
Assume that \(\phi (x_0)=u_\infty (x_0)>0\) and \(v_\infty (x_0)>0\). Then for p large, \(\phi (x_p)>0\) and \(v_p(x_p)>0\) so that the right-hand side of (2.10) is positive. It follows that \(|\nabla \phi (x_p)|>0\) and then that
Note that we have
Hence
Recalling that by assumptions \(\frac{\alpha }{p}\rightarrow \Gamma \) as \(p\rightarrow +\infty \), we obtain
and
which is (2.9).
Assume now that either \(u_\infty (x_0)=0\) or \(v_\infty (x_0)=0\). In particular, (2.13) holds. Note first that if \(\nabla \phi (x_0)=0\) then \(\Delta _\infty \phi (x_0)=0\) by definition so that (2.14) holds. We now assume that \(|\nabla \phi (x_0)|>0\) and write (2.11). The parenthesis in the right-hand side goes to 0 as \(p\rightarrow +\infty \) so that the right-hand side goes to 0 and (2.14) follows.
To complete the proof, it just remains to see that \(u_\infty \) is a viscosity subsolution. Let us consider a point \(x_0\in \Omega \) and a function \(\phi \in C^2(\Omega )\) such that \(u_\infty (x_0)=\phi (x_0)\) and \(u_\infty (x)<\phi (x)\) for every x in a neighborhood of \(x_0\). We want to show that
We first observe that if \(\nabla \phi (x_0) =0\) the previous inequality trivially holds. Hence, let us assume that \(\nabla \phi (x_0) \ne 0\). Now, we argue as follows: Assuming that
we will show that
As before, using that \(u_p\) is a viscosity subsolution of (2.5), we get a sequence of points \(x_p\rightarrow x_0\) such that
Using (2.15), we get
Hence, we conclude (2.16) taking limits in (2.17) and we obtain that
Since we have obtained (2.9) and (2.18), the proof is now complete.
In a complete analogous way, we can prove that \(v_\infty \) is a viscosity solution to
with
3 A mass transport approach: Proof of theorem 1.2
Now we want to put our limit for the first eigenvalue in the context of optimal mass transportation. We find the interesting fact that, from this point of view, the system completely decouples in the limit.
Lemma 3.1
Let \((u_p,v_p)\) be an eigenfunction associated with \(\lambda _{1,p}\). Consider the measures
Then \(f_p,g_p\in L^\frac{p}{p-1}(\Omega )\) and there exists \(f_\infty ,g_\infty \in P(\overline{\Omega })\) (the space of probability measures on \(\overline{\Omega }\)) such that up to a subsequence,
Proof
We have
with
Here \(\lambda _{p,D}\) is the first eigenvalue of the p-Laplacian with Dirichlet boundary conditions. Then
Here we used that \(\lim _{p\rightarrow +\infty }(\lambda _{1,p})^{1/p} = \lim _{p\rightarrow +\infty }(\lambda _{p,D})^{1/p} = \lambda _\infty = 1/R_\Omega \) and that \(\frac{\alpha }{p}\rightarrow \Gamma \). Hence
In an analogous way, we obtain
and therefore, we can extract a subsequence such that
with \(f_\infty \) and \(g_\infty \) nonnegative measures with total mass less or equal than one. Moreover, we have
whence
Now, we observe that, since we have
we get
and we conclude that
and therefore, we conclude from (3.1) that the total mass of \(f_\infty \) is equal to one.
In an analogous way, we obtain that \(g_\infty \) is also a nonnegative probability measure on \(\overline{\Omega }\).
Let us consider the functional \(F_p: C(\overline{\Omega })\times C(\overline{\Omega }) \rightarrow \mathbb {R}\cup \{+\infty \}\) defined by
Here, given \((u,\mu ) \in X\), we denote by \((\mu ,u) = \int _\Omega u\, \hbox {d}\mu \). We have that \((u_p,v_p)\) is a minimizer of \(F_p\) with
In addition, using ideas as in [5], we can show that \(F_p\) \(\Gamma \) converge to the functional \(F_\infty \) given by
Then, \((u_\infty ,v_\infty )\) is a minimizer of \(F_\infty \) with
Now let \(X=C(\overline{\Omega })\times M(\overline{\Omega })\) and we consider the functional \(G_\infty :X\times X\rightarrow \mathbb {R}\cup \{+\infty \}\) defined by
Since \((u_\infty ,v_\infty )\) is a minimizer of \(F_\infty \) and we have \((\mu ,u) \le 1\) for any pair \((u,\mu )\in X\) such that \( \Vert \nabla u\Vert _{L^\infty (\Omega )} \le \lambda _\infty =1/R_\Omega \) (note that this fact implies that \(\Vert u\Vert _{L^\infty (\Omega )} \le 1\)) and \( \int |\mu |\le 1\), we obtain that \(((u_\infty ,f_\infty ),(v_\infty ,g_\infty ))\) is a minimizer of \(G_\infty \) and
where \(\chi _C(u)=0\) if \(u=0\) on \(\partial \Omega \) and \(+\infty \) otherwise. We then infer that
using the computations in [5] to justify the two last equalities. Here \(\lambda _{\infty ,D} = 1/\mathbb {R}_\Omega \) is the first eigenvalue for the infinity Laplacian, and \(W_1(\cdot ,\cdot )\) stands for the Monge–Kantorovich distance, see [20] for its definition and properties. We thus recover from these computations, as expected, that the limit of \((\lambda _{1,p})^{1/p}\), \(\lambda _\infty \), is the first eigenvalue of \(\Delta _\infty \) with Dirichlet boundary conditions.
We want to highlight the fact that the limit pair \((u_\infty , v_\infty )\) together with the limit pair of measures \((f_\infty , g_\infty )\) gives a solution to a variational problem (minimize the functional \(G_\infty \)) that is clearly uncoupled.
4 Higher eigenvalues: Proof of theorem 1.3
We have assumed that there is a constant, C, independent of p such that, for p large,
Recall also that we have normalized the eigenvalues according to
This implies
and analogously
for large p. Hence, for p large, we have
with C independent of p.
Hence, arguing as in the proof of Theorem 1.1, we can extract a subsequence \(p_j \rightarrow \infty \) if necessary, such that
weakly in \(W^{1,r} (\Omega )\) for any \(1<r<\infty \) and uniformly in \(\overline{\Omega }\). In addition, we get that \(u_\infty \in W^{1,\infty } (\Omega )\). Analogously, we obtain that
weakly in \(W^{1,r} (\Omega )\) for any \(1<r<\infty \) and uniformly in \(\overline{\Omega }\), with \(v_\infty \in W^{1,\infty } (\Omega )\).
Now our aim is to show that \(u_\infty \) is a viscosity solution to (1.9). Fix \(x_0 \in \Omega \). First we consider the case \(u_\infty (x_0) > 0\). Then there exits \(\rho > 0\) such that \(u_{p_j} > 0\) in \(B_\rho (x_0)\) for all \(p_j\) sufficiently large, and we may proceed as in the case of the first eigenvalue, to conclude that
The case \(u_\infty (x_0) < 0\) is similar, but we have to reverse the inequalities.
Finally for the case \(u_\infty (x_0) = 0\), we argue as follows. Let \(\phi \) be such that \(u_\infty - \phi \) has a strict local maximum at \(x_0\). Since \(u_{p_j} \rightarrow u_\infty \) uniformly, there exists a sequence \(x_j \rightarrow x_0\) such that \(u_{p_j} - \phi \) has a local maximum at \(x_j\). Hence, assuming that \(\nabla \phi (x_0) \ne 0\), we get
Now we observe that
as \(p\rightarrow \infty \) and we conclude that
Note that this inequality holds trivially when \(\nabla \phi (x_0) = 0\). This shows that \(u_\infty \) is a viscosity subsolution to \(-\Delta _\infty u =0\).
The fact that it is also a supersolution can be deduced considering \(-u_\infty \) and repeating the previous argument.
Remark 4.1
The condition \((\lambda _{n,p})^{1/p} \le C\) holds, for example, for the eigenvalues constructed using topological arguments in [15]. In fact, let us consider
where \(K_m\) is the class of compact symmetric (\(K = -K\)) subsets of \(W^{1,p}_0( \Omega ) \times W_0^{1,p}(\Omega )\) of genus greater or equal than m. For such an eigenvalue \(\lambda _{m,p}\), it holds that there exists a constant C independent of p such that \((\lambda _{m,p})^{1/p} \le C\). To see this fact, it is enough to consider the union of m disjoints balls of radius r, \(B_i\), inside \(\Omega \) and as K the set \(\{\hbox {span} (\phi _1,\ldots ,\phi _m) \cap S_1 \times \{\sum _i \phi _i\}\}\), where \(\phi _i\) is an eigenfunction of the p-Laplacian in the ball \(B_i\subset \Omega \) and \(S_1\) denotes the unit ball in \(W^{1,p}_0( \Omega )\). Such set K has genus m and we have
where \(\lambda _1 (B_i)\) is the first eigenvalue of the p-Laplacian in \(B_i\). Now we just note that from the results in [12] it follows that \((\lambda _1 (B_i))^{1/p}\) is bounded independently of p and we obtain the desired uniform in p bound for the eigenvalues constructed using the genus argument at level m, \((\lambda _{m,p})^{1/p}\le C\).
References
Aronsson, G., Crandall, M.G., Juutinen, P.: A tour of the theory of absolutely minimizing functions. Bull. Am. Math. Soc. 41, 439–505 (2004)
Bhattacharya, T., DiBenedetto, E., Manfredi, J.J.: Limits as \(p \rightarrow \infty \) of \(\Delta _p u_p = f\) and related extremal problems. Rend. Sem. Mat. Univ. Politec. Torino 1991, 15–68 (1989)
Boccardo, L., de Figueiredo, D.G.: Some remarks on a system of quasilinear elliptic equations. Nonlinear Differ. Equ. Appl. 9, 309–323 (2002)
Caselles, V., Morel, J.M., Sbert, C.: An axiomatic approach to image interpolation. IEEE Trans. Image Process. 7, 376–386 (1998)
Champion, T., De Pascale, L., Jimenez, C.: The \(\infty \)-eigenvalue problem and a problem of optimal transportation. Commun. Appl. Anal. 13(4), 547–565 (2009)
Crandall, M.G., Ishii, H., Lions, P.L.: User’s guide to viscosity solutions of second order partial differential equations. Bull. Am. Math. Soc. 27, 1–67 (1992)
García-Azorero, J., Manfredi, J.J., Peral, I., Rossi, J.D.: The Neumann problem for the \(\infty \)-Laplacian and the Monge–Kantorovich mass transfer problem. Nonlinear Anal. 66, 349–366 (2007)
Garcia-Azorero, J., Manfredi, J.J., Peral, I., Rossi, J.D.: Steklov eigenvalue for the \(\infty \)-Laplacian. Rendiconti Lincei 17(3), 199–210 (2006)
Fleckinger, J., Mansevich, R.F., Stavrakakis, N.M., de Thlin, F.: Principal eigenvalues for some quasilinear elliptic equations on \({\mathbb{R}}^n\). Adv. Differ. Equ. 2(6), 981–1003 (1997)
Hynd, R., Smart, C.K., Yu, Y.: Nonuniqueness of infinity ground states. Calc. Var. PDE. 48(3), 545–554 (2013)
Juutinen, P., Lindqvist, P.: On the higher eigenvalues for the \(\infty \)- eigenvalue problem. Calc. Var. Partial Differ. Equ. 23(2), 169–192 (2005)
Juutinen, P., Lindqvist, P., Manfredi, J.J.: The \(\infty \)-eigenvalue problem. Arch. Ration. Mech. Anal. 148, 89–105 (1999)
Juutinen, P.-, Lindqvist, P., Manfredi, J.J.: On the equivalence of viscosity solutions and weak solutions for a quasilinear equation. SIAM J. Math. Anal. 33(3), 699–717 (2001)
Manfredi, J.J., Rossi, J.D., Urbano, J.M.: \(p(x)\)Inst Henri Poincaré. C. Anal. Non Linéaire. 26(6), 2581–2595 (2009)
de Napoli, P.L., Pinasco, J.P.: Estimates for eigenvalues of quasilinear elliptic systems. J. Differ. Equ. 227, 102–115 (2006)
Peres, Y., Schramm, O., Sheffield, S., Wilson, D.B.: Tug-of-war and the infinity Laplacian. J. Am. Math. Soc. 22, 167–210 (2009)
Peres, Y., Sheffield, S.: Tug-of-war with noise: a game theoretic view of the \(p\)-Laplacian. Duke Math. J. 145, 91–120 (2008)
Rossi, J.D., Saintier, N.: On the first nontrivial eigenvalue of the \(\infty \)-Laplacian with Neumann boundary conditions. Houston J. Math. (to appear)
Rossi, J.D., Saintier, N.: The limit as \(p\rightarrow +\infty \) of the first eigenvalue for the \(p\)-Laplacian with mixed Dirichlet and Robin boundary conditions. Nonlinear Anal. 119, 167–178 (2015)
Villani, C.: Optimal transport, old and new, Grundlehren der Mathematischen Wissenschaften, 338. Springer, Berlin (2009)
Yu, Y.: Some properties of the ground sates of the infinity Laplacian. Indiana Univ. Math. J. 56(2), 947–964 (2007)
Zographopoulos, N.: \(p\)-Laplacian systems at resonance. Appl. Anal. 83(5), 509–519 (2004)
Acknowledgments
JDR was partially supported by MEC MTM2010-18128 and MTM2011-27998 (Spain). Part of this work was done during a visit of JDR to Univ. libre de Bruxelles. He wants to thank for the very nice and stimulating atmosphere found there. DB is supported by INRIA— Team MEPHYSTO, MIS F.4508.14 (FNRS), PDR T.1110.14F (FNRS) & ARC AUWB-2012-12/17-ULB1-IAPAS.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bonheure, D., Rossi, J.D. & Saintier, N. The limit as \(p\rightarrow \infty \) in the eigenvalue problem for a system of p-Laplacians. Annali di Matematica 195, 1771–1785 (2016). https://doi.org/10.1007/s10231-015-0547-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-015-0547-2