Abstract
This paper deals with the existence and multiplicity of weak solutions to non-uniformly elliptic problem
in \(\mathbb {R}^N\), where \(N\ge 2\), \(\alpha \) is some positive constant and \(\lambda \) is some positive parameter. Our method is mainly based on variational arguments.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, we are concerned with the existence and multiplicity of nontrivial weak solutions for the non-uniformly elliptic equations of N-Laplacian type of the form
where \(N\ge 2\), \(\alpha \) is some positive constant and \(\lambda \) is some positive parameter, \(V:\mathbb {R}^N\rightarrow ]0,+\infty [\) is a continuous function such that \(V(x)\ge V_0\) for some positive constant \(V_0\) and \(V^{-1}\in L^{\frac{1}{N-1}}(\mathbb {R}^N)\) or \(\lim V(x)\rightarrow \infty \) as \(|x|\rightarrow \infty \), i.e., \(\text {meas}\lbrace x\in \mathbb {R}^N : V(x)\le M\rbrace <\infty \) for every \(M>0\). Motivated by [6], we assume that A be a measurable function on \(\mathbb {R}^N\times \mathbb {R}\) such that \(A(x,0)=0\) and \(a(x,\tau )=\frac{\partial {A(x,\tau )}}{\partial \tau }\) is a Carathéodory function on \(\mathbb {R}^N\times \mathbb {R}\), and there are positive real numbers \(c_0, c_1, k_1\) and two nonnegative measurable functions \(h_0, h_1\) on \(\mathbb {R}^N\) such that \(h_0\in L^{N/(N-1)}(\mathbb {R}^N)\), \(h_1\in L_\mathrm{loc}^{\infty }(\mathbb {R}^N)\) and \(h_1(x)\ge 1, \) satisfying the properties:
- (\(A_1\)):
-
\( \vert a(x,\tau )\vert \le c_0(h_0(x)+h_1(x)\vert \tau \vert ^{N-1}),~~\forall \tau \in \mathbb {R}^N, \text {a.e.}~~x\in \mathbb {R}^N, \)
- (\(A_2\)):
-
\( 0\le a(x,\tau ).\tau \le NA(x,\tau ) \quad \forall \tau \in \mathbb {R}^N, \text {a.e.} ~~x\in \mathbb {R}^N, \)
- (\(A_3\)):
-
\( A(x,\tau )\ge k_0 h_1(x)\vert \tau \vert ^N \quad \forall \tau \in \mathbb {R}^N, \text {a.e.} ~~x\in \mathbb {R}^N. \)
Then A verifies the growth condition:
Note that in the case of N-Laplacian, i.e., \(A(x,\tau )=\frac{1}{N}|\tau |^N\), we choose
which has been studied extensively, both in the case \(N=2\) (i.e., Laplacian equation in \(\mathbb {R}^2\)) and in the case \(N>3\) (i.e., N-Laplacian equation in \(\mathbb {R}^N\)).
The problems of this type are important in many fields of sciences, for example, in electromagnetism, astronomy and fluid dynamics. In fact, these models describe potentials of electric, gravitation and fluid, respectively.
In the case \(p<N\), by the Sobolev embedding, the critical exponent is \(p^*=\frac{pN}{N-p}\). When \(p=N\), one has another maximal growth for any bounded domain \(\Omega \), i.e.,
where \(\alpha _N=NW_{N-1}^{\frac{1}{N-1}}\) and \(W_{N-1}\) is the surface area of the unit sphere in \(\mathbb {R}^N\). In this situation, the constant \(\alpha _N\) is sharp.([1, 4, 7])
In the case of unbounded domain, if we replace \(||\nabla u||_{L^N}\) in the supremum by the standard Sobolev norm, then the following expression (Trudinger–Moser inequality) can be derived
where \(\Xi \le \infty \) if \(\alpha \le \alpha _N\) and \(\Xi =\infty \) if \(\alpha >\alpha _N\). In this expression, \(S_{N-2}(\alpha ,u)= \sum _{k=0}^{N-2}\frac{\alpha ^k}{k!}\vert u\vert ^{\frac{kN}{N-1}}\) (see [5, 9]).
Motivated by the Trudinger–Moser inequality, we consider the following assumptions on f which allows us to treat the problem (1.1) variationally in a subspace of \(W^{1,N}(\mathbb {R}^N)\). We assume that \(f:\mathbb {R}^N\times \mathbb {R}\rightarrow \mathbb {R}\) be a Carathéodory function that \(\forall (x,s)\in \mathbb {R}^N\times [0,+\infty ], ~~f(x,s)\ge 0,\) and
for some \(b_1,b_2,\alpha _0>0\) and \(\beta _1,\beta _2\ge 0\).
Next, we introduce some notations
which since V is positive and bounded from below, E is a reflexive Banach space when endowed with the norm
Then for \( q\in [N,+\infty [\)
with continuous embedding. Thus, there exists a positive constant \(c_2\) such that
where
is the norm in the Sobolev space \(W^{1,N}(\mathbb {R}^N)\).
Using the radial lemma which asserts
for all \(u\in W^{1,N}(\mathbb {R}^N)\) radially nonincreasing symmetric ([2, 5]), there exists a constant \(c_3>0\) such that
provided that \(\parallel \nabla u\parallel _N\le 1,~\parallel u\parallel _N\le M<\infty \) and \(\alpha <\alpha _N\). Furthermore, there exists a constant \(c_4>0\) such that
provided that \(\parallel u\parallel _{1,N}\le M\) which \(M<(\frac{\alpha _N}{\alpha })^{\frac{N-1}{N}}\).
Inequalities (1.3) and (1.5) imply that there exists a constant \(c_5>0\) such that
provided that \(\parallel u\parallel _E\le M\) with \(M<\frac{1}{c_2}(\frac{\alpha _N}{\alpha })^{\frac{N-1}{N}}\).
Note that according to [9, Lemma 2.4], the assumptions \(V^{-1}\in L^1(\mathbb {R}^N)\) or \(\lim V(x)\rightarrow \infty \) as \(|x|\rightarrow \infty \), on the potential V(x) lead us to have the compactness of the imbedding \(E\hookrightarrow L^q(\mathbb {R}^N),\) for all \(1\le q<+\infty \).
Now from (1.2), the imbedding \(E\hookrightarrow L^q(\mathbb {R}^N)\) for \(q=\beta _1+1\) and (1.5) and (1.6) for \(q=\beta _2+1\), there exist \(c_6,c_7>0\) such that for all \((x,u)\in \mathbb {R}^N\times E,\)
provided that \(||u||_E\le \frac{1}{c_2}(\frac{\alpha _N}{\alpha })^{\frac{N-1}{N}}.\)
Thus, by (1.4), we have \(F(x,u)\in L^1({\mathbb {R}^N})\) for all \(u\in E\). Therefore, the functional \(I_\lambda :E\rightarrow \mathbb {R}\) given by
for
and
is well defined. Moreover, \(I_\lambda \) is a \(C^1\) functional on E and for \(u,v\in E\)
Consequently, the critical points of the functional \(I_\lambda \) are precisely nontrivial weak solutions of the problem (1.1).
In the present paper, first we obtain the existence of a nontrivial weak solution for the problem (1.1), in a certain range of \(\lambda \) (in Theorem 3.1). Then we prove the existence of the second weak solution for the problem (1.1) distinct from the first one (in Theorem 4.1).
2 Preliminaries
Our main tool is Theorem 2.2, consequence of a local minimum theorem [3, Theorem 5.1] which is inspired by Ricceri’s variational principle.
For a given non-empty set X, and two functionals \(\Phi ,\Psi :X\rightarrow \mathbb {R}\), we define the following functions:
for all \(r_1,r_2\in \mathbb {R},\) \(r_1<r_2.\)
Definition 2.1
Let \(\phi _0\) and \(\psi _0\) be two continuously Gâteaux differentiable functionals defined on a real Banach space X and fix \(r_1,r_2\in [-\infty ,+\infty ]\), with \(r_1<r_2\). We say that the functional \(I_0=\phi _0-\psi _0\) verifies the Palais–Smale condition cut off lower at \(r_1\) and upper at \(r_2\) (in short \(^{[r_1]}(PS)^{[r_2]}\)) if any sequence \((u_n)\subset X\) such that
- (i):
-
\( (I_0(u_n))\) is bounded,
- (ii):
-
if \( I_{0}^\prime (u_n)\rightarrow 0\) in \(X^*\) (where \(X^*\) denotes the topological dual of X),
- (iii):
-
\( r_1<\phi _0(u_n)<r_2,~ \forall n\in \mathbb {N}\)
has a convergent subsequence. Clearly, if \(r_1=-\infty \) and \(r_2=+\infty \) it coincides with the classical (PS) condition. Moreover, if \(r_1=-\infty \) and \(r_2\in \mathbb {R}\) it is denoted by \((PS)^{[r_2]}.\)
Theorem 2.2
([3] Theorem 5.1) Let X be a real Banach space; \(\Phi :X\rightarrow \mathbb {R}\) be a sequentially weakly lower semicontinuous, coercive and continuously Gâteaux differentiable function whose Gâteaux derivative admits a continuous inverse on \(X^*\), \(\Psi :X\rightarrow \mathbb {R}\) be a continuously Gâteaux differentiable function whose Gâteaux derivative is compact. Assume that there are \(r_1,r_2\in \mathbb {R}\), \(r_1<r_2\), such that
and for each \(\lambda \in \Lambda =]\frac{1}{\rho _1(r_1,r_2)},\frac{1}{\varsigma (r_1,r_2)}[\) the functional \(I_\lambda =\phi -\lambda \psi \) satisfies \(^{[r_1]}(PS)^{[r_2]}\) condition.
Then, for each \(\lambda \in \Lambda \) there is \(u_{0,\lambda }\in \Phi ^{-1}(]r_1,r_2[)\) such that \(I_{\lambda }(u_{0,\lambda })\le I_\lambda (u)\) \(\forall u\in \Phi ^{-1}(]r_1,r_2[)\) and \(I'_\lambda (u_{0,\lambda })=0.\)
Lemma 2.3
Assume that \((A_1),(A_2), (A_3)\) and \((f_1)\) hold. Then for each
and \(\lambda >0\), the functional \(I_\lambda \) satisfies \((PS)^{[r]}\).
Proof
Let \((u_n)\subset E\) be such that \((I_\lambda (u_n))\) is bounded, \(I_{\lambda }^\prime (u_n)\rightarrow 0\) and \(\phi (u_n)<r,\) for all \(n\in \mathbb {N}\). Since \(k_0\parallel u_n\parallel _E^N\le \phi (u_n)\), so \(\parallel u_n\parallel _E<(\frac{r}{k_0})^{\frac{1}{N}}\). Therefore, there exists \(u\in E\) such that \(u_n\rightharpoonup u\) weakly in E. Thanks to Lemma 2.1. of [9] and using the assumption (1.2), one has
where \(b_3=\max \{b_1,b_2\}\). Since \(\parallel u_n\parallel _E\le (\frac{r}{k_0})^{\frac{1}{N}}<\frac{1}{2c_2} (\frac{\alpha _N}{\frac{N}{N-1} \alpha _0})^{\frac{N-1}{N}}\), using (1.6) for \(q=\frac{\beta _2N}{N-1}\), we deduce that
This fact together with the compactness of the imbedding \(E\hookrightarrow L^N(\mathbb {R}^N)\) implies
On the other hand, using the definition of \(S_{N-2}\), one has
Using the compact imbedding \(E\hookrightarrow L^1(\mathbb {R}^N)\) together with (1.4) for the first part of the above inequality and \(E\hookrightarrow L^2(\mathbb {R}^N)\) together with the fact that \(u_n\) is converges and so bounded in \(L^q\) for any \(q\ge 1\), arguing as before, one has
Now using \((A_1)\), it follows that
This inequality together with \(h_0\in L^{N/(N-1)}(\mathbb {R}^N)\) and \(h_1\in L_\mathrm{loc}^{\infty }(\mathbb {R}^N)\) (\(u_n\) is converges to u in \(L^1\) and \(L^N\)) and using the fact
it can be derived that \((u_n)\) is strongly convergent to u in E. \(\square \)
3 Existence of the First Solution
Chosen large enough \(R>0\) such that
where
and
and the constant \(c_0,c_6,c_7\) introduced in \((A_1)\), (1.6) and (1.7).
Now we are ready to present our first main result
Theorem 3.1
Assume that \((A_1),(A_2), (A_3)\) and \((f_1)\) hold. Then there exists \(\lambda ^*=\lambda ^*(r)>0\) such that for all \(0<\lambda <\lambda ^*\) the functional \(I_\lambda \) admits a nontrivial critical point \(u_1\) satisfying
for each \(r>0\) with the property
Proof
For \(\lambda >0\) and \(R>0\) as in (3.1), define the function
with \(\eta _\lambda \) is a real number satisfying
where
and
First we note that \(\theta _\lambda \in E\).
Owing to our assumptions, one has
So using the fact that \(F(x,\theta _\lambda )\ge 0\), and \(\exp (\alpha \vert s\vert ^{\frac{N}{N-1}})\ge 1\), it follows that
Thanks to (3.2) and (3.3), we get
On the other hand, if \(u\in E\) has the property \(\phi (u)<r\), then
and so
i.e.,
By (3.1) and (1.7), there exists \(C^*>0\) such that
Notice that in (3.5) we use the property \(||u||\le 1\) .
Set
Using the definition of \(T_r\) and (3.4), we have \(0<\phi (\theta _\lambda )<r\). Therefore, one has
for all \(0<\lambda <\lambda ^*\). (Note that \(\Psi (0)=0\))
Hence, employing Theorem 2.2, for each \(0<\lambda <\lambda ^*\), the functional \(\Phi -\lambda \Psi \) admits at least one critical point \(u_1\in E\) such that \(0<\phi (u_1)<r\), that is \(\parallel u\parallel _{E}<(\frac{r}{k_0})^{1/N},\) and \(I_\lambda (u_1)\le I_\lambda (w),\) for any \(w\in \phi ^{-1}(]0,r[)\). This completes the proof. \(\square \)
4 Existence of the Second Solution
Now, in this section, we prove the existence of the second local minimum distinct from the first one. For this purpose, we verify the hypotheses of Theorem 2.2. for another range of r.
Theorem 4.1
Assume that \((A_1),(A_2), (A_3)\) and \((f_1)\) hold. Then there exists \(\lambda _*\in ]0,\lambda ^*[\) such that for \(\lambda _*<\lambda <\lambda ^*\), the functional \(I_\lambda \) admits a critical point \(u_2\) which satisfies
Proof
First set
From assumption (3.1), we get
For \(\lambda _*<\lambda <\lambda ^*\), we take the function \(\theta _\lambda \) as before but in the following different condition:
Therefore,
so 4.1 yields that
Similar to the arguments in the last section, by replacing r by 2r, we have
for all \(\lambda _*<\lambda <\lambda ^*\). Note that in the second inequality we use the fact that if \(\frac{t_1}{t_2}<s<\frac{t_3}{t_4}\), then \(\frac{t_1-t_3}{t_2-t_4}<s\), and the following inequalities:
for all \(\lambda _*<\lambda <\lambda ^*\).
Since
then by Lemma 2.3, the functional \(I_\lambda \) satisfies \(^{[r]}(PS)^{[2r]}\). Hence, employing Theorem 2.2, we conclude that the functional \(I_\lambda \) admits a critical point \(u_2\) satisfying
for each \(\lambda _*<\lambda <\lambda ^*\). Since \(\phi (u_1)<r\), then \(u_1\ne u_2\). \(\square \)
Remark 4.2
To prove the existence of another local minimum distinct from the first and second ones, we can assume an algebraic condition on f with the classical Ambrosetti–Rabinowitz condition: there exist \(\nu >N\) and \(R'>0\) such that
Clearly, the functional \(\Phi -\lambda \Psi \) is of class \(C^1\) and \((\Phi -\lambda \Psi )(0)=0\).
The first part of proof guarantees that \(u_2\in E\) is a local nontrivial local minimum for \(\Phi -\lambda \Psi \) in E. Therefore, there is \(s>0\) such that
So the condition [8, Theorem 2.2, \((I_1)\)] is verified. Now choosing \(u\ne 0\), from Ambrosetti–Rabinowitz condition, one has
as \(t\rightarrow \infty \), since \(\nu >N\). So the condition [8, Theorem 2.2, \((I_1)\)] is fulfilled.
Moreover, by standard computations, the functional \(\Phi -\lambda \Psi \) satisfies (PS) condition. Hence, the classical theorem of Ambrosetti and Rabinowitz gives a critical point \(u_3\) of \(\Phi -\lambda \Psi \) such that \((\Phi -\lambda \Psi )(u_3)>(\Phi -\lambda \Psi )(u_2)\). So \(u_1\), \(u_2\) and \(u_3\) are distinct weak solutions of the problem (1.1).
References
Adimurthi, Yang, Y.: An interpolation of Hardly inequality and Trundinger–Moser inequality in \({\mathbb{R}}^N\) and its applications. Int. Math. Res. Not. 13, 2394–2426 (2010)
Berestycki, H., Lions, P.L.: Nonlinear scalar field equations, I. Existence of ground state. Arch. Ratl. Mech. Anal. 82, 313–346 (1983)
Bonanno, G.: A critical point theorem via the Ekeland variational principle. Nonlinear Anal. 75, 2992–3007 (2012)
do Ò, J.M.: N-Laplacian equation in \({\mathbb{R}}^N\) with critical growth. Abstr. Appl. Anal. 2, 301–315 (1997)
do Ó, J.M., Medeiros, E., Severo, U.: On a quasilinear nonhomogeneous elliptic equation with critical growth in \({\mathbb{R}}^n\). J. Differ. Equ. 246, 1363–1386 (2009)
Lam, N., Lu, G.: Existence and multiplicity of solutions to equations of N-Laplacian type with critical exponential growth in \({\mathbb{R}}^N\). J. Funct. Anal. 262, 1132–1165 (2012)
Moser, J.: A sharp form of an inequality by N. Trudinger. Indiana Univ. Math. J. 20, 1077–1092 (1970/1971)
Rabinowitz, P.H.: Minimax Methods in Critical Point Theory with Applications to Differential Equations. CBMS Reg. Conf. Ser. Math. 65, Amer. Mat. Soc., Providence (1986)
Yang, Y.: Existence of positive solutions to quasi-linear elliptic equations with exponential growth in the whole Euclidean space. J. Funct. Anal. 262, 1679–1704 (2012)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Khademloo, S., Babagolzadeh, M. Existence of Multiple Solutions for a Class Non-uniformly Elliptic Equations with Critical Exponential Growth. Bull. Iran. Math. Soc. 44, 561–573 (2018). https://doi.org/10.1007/s41980-018-0033-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s41980-018-0033-x