Abstract
This paper aims to investigate the class of quasilinear Schrödinger equations
where \(N >2\), \(1 \le \gamma \le 2\), \(\alpha ,\beta \in \mathbb{R}\) and either \(0< p<1<q\) or \(1< p< q\). Functions \(h(|x|)\), \(H(|x|)\) are continuous and positive in \(\mathbb{R}^{N} \). Relying on some special arguments and the Schauder–Tychonoff fixed point theorem, nonexistence criteria, existence of positive ground state solutions and blow-up solutions to Eq. (0.1) with \(0< p<1<q\) or \(1< p< q\) will be obtained.
Similar content being viewed by others
1 Preliminaries
This paper is concerned with the following quasilinear Schrödinger equation:
where \(1 \le \gamma \le 2\), \(\alpha , \beta \in \mathbb{R}\) and either \(0< p<1<q\) or \(1< p< q\).
This class of equations is often referred to as so-called modified nonlinear Schödinger equations due to the quasilinear term \([\Delta (1+u^{2})^{\frac{\gamma }{2}}] \frac{\gamma u}{2(1+u^{2})^{\frac{2-\gamma }{2}}}\), whose solutions are related to the standing wave solutions for the quasilinear Schrödinger equation
where V is a given potential, Ψ and h are real functions.
The quasilinear Schrödinger equation (1.2) has been derived as models of several physical phenomena corresponding to different types of Ψ; see [1, 2]. The super fluid film equation in plasma physics has this structure for \(\varPsi (s)=s^{2\alpha }\) [1, 3, 4]. For the case \(\varPsi (s)=(1+s)^{\alpha /2}\), Eq. (1.2) was used to model the self-channeling of a high-power ultrashort laser in matter [5–8]. Especially, Cheng in [9] solved the existence of positive solutions to the following equation by a dual approach:
where \(K>0\), \(\alpha \ge 1\), \(2< q+1< p+1\le \alpha 2^{*}\). Similar work can be found in [10, 11] and the references therein.
Besides, Zhang, Liu, Wu and Cui [12] focused on the existence and nonexistence of entire blow-up solutions for the following quasilinear p-Laplacian Schrödinger equation with a non-square diffusion term:
where \(p\geq 2\gamma \), \(\gamma >\frac{1}{2}\), the nonnegative radial function q is continuous on \(\mathbb{R}^{N}\), g is a continuous positive and non-decreasing function on \([0,\infty )\). Chen and Chen [13] concentrated on the nonexistence of stable solutions for the quasilinear Schrödinger equation
where \(N\geq 3\), \(q> \frac{5}{2}\), \(h(x)\) is continuous and positive in \(\mathbb{R}^{N}\).
Throughout the paper, we consider (1.1) with the following two cases:
- (i)
\(0< p<1<q\), \(\alpha ,\beta >0\), \(h(|x|),H(|x|)>0\),
- (ii)
\(1< p< q\), \(\alpha ,\beta >0\), \(h(|x|),H(|x|)>0\).
With the aid of a variational argument, the question of the existence and multiplicity of nontrivial solutions to problem (1.1) is largely open. Compared with the work on weak solutions by variational way, we are interested in investigating the radial solutions and asymptotic behavior. In the present paper, the first task is to obtain the nonexistence criteria of positive ground state solutions to (1.1) involving superlinear nonlinearities, which mainly relies on some special techniques. Immediately after that, the sufficient conditions for existence of positive ground state solutions are solved by the Schauder–Tychonoff fixed point theorem. At last, we aim at the sufficient conditions for existence of blow-up solutions involving concave-convex nonlinearities by the Schauder–Tychonoff fixed point theorem. As far as the authors are aware, it seems that there is little work concerning the nonexistence criteria of the positive ground state solutions to problem (1.1) involving superlinear nonlinearities. Furthermore, there is almost no work on the existence of blow-up solutions involving concave-convex nonlinearities.
Motivated by [14–17], we take the changing of variables \(u=g(z)\) or \(z=g^{-1}(u)\), where \(g(t)\) is given by
and \(g(t)=-g(-t)\) on \((-\infty , 0]\).
Thus, we can obtain the properties of the function \(g(t)\) as below.
Lemma 1.1
([8])
The function \(g(t)\) satisfies
- \((f_{1})\) :
-
gis uniquely defined, \(C^{\infty }\)and invertible;
- \((f_{2})\) :
-
\(0< g'(t)\le 1\), for all\(t\in \mathbb{R}\);
- \((f_{3})\) :
-
\(|g(t)|\le |t|\), for all\(t\in \mathbb{R}\);
- \((f_{4})\) :
-
\(\frac{g(t)}{t}\to 1\)as\(t\to 0\);
- \((f_{5})\) :
-
\(g(t)\le 2 \gamma tg'(t)\le 2\gamma g(t)\), for all\(t\in \mathbb{R}^{+}=[0, \infty )\);
- \((f_{6})\) :
-
there exists \(b_{0}>0\) such that
$$\begin{aligned} \bigl\vert g(t) \bigr\vert \ge \textstyle\begin{cases} b_{0} \vert t \vert &\textit{if } \vert t \vert \le 1 , \\ b_{0} \vert t \vert ^{1/\gamma } & \textit{if } \vert t \vert \ge 1 . \end{cases}\displaystyle \end{aligned}$$
After making the change \(u=g(z)\), (1.1) turns into the following equation:
Definition 1.1
The function \(z\in C_{\mathrm{loc}}^{1,\delta }(\mathbb{R}^{N})\) (\(0<\delta <1\)) is said to be a weak solution of (1.6) if
where and in the sequel, \(G_{1}(z)=|g(z)|^{p-1}g(z)g^{\prime }(z)\), \(G_{2}(z)=|g(z)|^{q-1}g(z)g^{\prime }(z)\).
We observe that \(z=z(|x|)=z(r)\) is a positive radial solution of (1.6) if and only if the function \(z(r)\) satisfies the following equation:
As usual, we focus on the existence and nonexistence of weak solutions to (1.1) via (1.7). Our main conclusions in this work are as below.
Theorem 1.1
Let\(1< p< q \), \(\alpha ,\beta >0\), suppose that functions\(h(t)\), \(H(t)\)are positive, continuous in\(\mathbb{R}^{N}\)and
- \((\mathcal{P}_{1})\):
\(A_{1}(r)\to \infty \)or\(A_{2}(r)\to \infty \), as\(r\to \infty \), where for all\(s>0\), \(A_{1}(r)=\int _{s}^{r}t^{N-1-(N-2)(p+1)}h(t)\,dt \), \(A_{2}(r)=\int _{s}^{r}t^{N-1-(N-2)(q+1)}H(t)\,dt\),
then problem (1.7) does not possess any positive ground state solutions.
Theorem 1.2
Let\(1< p< q\), \(\alpha ,\beta >0\), suppose that functions\(h(t)\), \(H(t)\)are positive, continuous in\(\mathbb{R}^{N}\)and
- \((\mathcal{P}_{2})\):
\(\varphi _{1}(t)\to \infty \)or\(\varphi _{2}(t)\to \infty \), as\(t\to \infty \), where\(\varphi _{1}(t)=\int _{1}^{t}r^{N-1}h(r)\,dr\cdot t^{1-N}\), \(\varphi _{2}(t)=\int _{1}^{t}r^{N-1}H(r)\,dr\cdot t^{1-N}\);
- \((\mathcal{P}_{3})\):
\((t^{N}h(t))^{\prime }\leq \frac{(N-2)(p+1)}{4\gamma } t^{N}h(t)\), \((t^{N}H(t))^{ \prime }\leq \frac{(N-2)(q+1)}{4\gamma } t^{N}H(t)\), for all\(t>0\),
then problem (1.7) has at least one positive ground state solution.
Theorem 1.3
Let\(0< p<1< q\), \(\alpha , \beta >0 \), suppose that\(h(|x|)\), \(H(|x|)\)are positive, continuous in\(\mathbb{R}^{N}\)and satisfy
where\(L_{1},L_{2}>0\), \(0< \lambda _{1}<2 \), \(\lambda _{2}>2 \), then problem (1.7) has multiple positive blow-up solutions.
The organization of this work is as below. Sufficient conditions for nonexistence of positive ground state solutions to (1.7) will be set up in Sect. 2. Section 3 and Sect. 4 contain the proof of the existence of positive ground state solutions and blow-up solutions.
2 Nonexistence criteria of positive ground state solutions
In this section, we aim at deriving some useful lemmas by special techniques and then finishing the proof of Theorem 1.1. Throughout the paper, a function z is called a ground state solution of problem (1.1) if the weak solution z tends to zero as \(|x|\to \infty \).
Let us denote operator
Lemma 2.1
Let\(z(r)\in C^{2}(0, \infty )\)be a positive solution of (1.7), if
then the function\(F(r)= r^{N-2}z(r)\)is increasing for\(r>0\). Moreover, \(F^{\prime }(r)=0\)iff\(z(r)= cr^{2-N}\), wherecis a constant.
Proof
It is easy to get \(T(z)(r)\geq 0\) and
where \(M(r)=(N-2)z+rz^{\prime }\) and \(M'(r)\leq 0\) (\(r>0 \)). Integrating (1.7) over \((0,r)\), we have \(z^{\prime }(r)\leq 0\).
In fact, we have \(M(t)>0\) for every \(t>0\). Otherwise, there exists \(t_{0}>0\) such that \(M(t_{0})<0\), then
that is, \(z'(r)\le \frac{M(t_{0})}{r}\), \(r>t_{0}\).
Integrating the above inequality over \([t_{0}, r]\), one can see
which gives rise to a contradiction with the positive solution \(z(r)\). Therefore,
which implies the function \(F(r)= r^{N-2}z(r)\) is increasing for \(r>0\). Moreover, \(F^{\prime }(r)=0\) iff \(z(r)= cr^{2-N}\). □
Proof of Theorem 1.1
By (2.2), one can get
Namely
Since \(z(r)\) is a positive ground state solution and \(g(z)\) satisfies properties
there exist \(b_{1}, b_{2}>0\) such that
integrating (2.3) over \([s, r]\) yields
Note that \(r^{N-2}z(r)\) is an increasing function, then
where \(b=\min \{b_{1},b_{2}\}\). By \((\mathcal{P}_{1})\), \(A_{1}(r)\to \infty \) or \(A_{2}(r)\to \infty \) as \(r\to \infty \), it gives rise to a contradiction. Thus, there is no positive ground state solution to (1.7).
Otherwise, \(A_{1}(r)< \infty \) and \(A_{2}(r)< \infty \) as \(r\to \infty \). Denote
which implies that \(B_{1}(s)\), \(B_{2}(s)\) are bounded for all \(s>0\). One can see that
On the other hand, one can have
and by (2.5), one can obtain
If \(\min \{F^{p}(s),F^{q}(s)\}=F^{p}(s)\), one can get
Integrating (2.7) over \([s, r]\), one can have
which implies that
where \({A^{*}_{1}}(r)= \int _{s}^{r}t^{N-1-(N-2)p}h(t)\,dt\), \({A^{*}_{2}}(r)= \int _{s}^{r}t^{N-1-(N-2)q}H(t)\,dt\).
If \({A^{*}_{1}}(r)\to \infty \) or \({A^{*}_{2}}(r)\to \infty \) as \(r\to \infty \), we can get \(F^{1-p}(s)\to +\infty \). Since the function \(F(s)\) is increasing, we have \(F(s)\le 0\). It yields a contradiction.
As to the other case, if \(\min \{F^{p}(s),F^{q}(s)\}=F^{p}(s)\), we can apply the same argument. Thus, Eq. (1.7) has no positive ground state solution and the proof is completed. □
Remark 2.1
Since
we can get
3 Existence of positive ground state solutions
Let us consider (1.7),
where \(\alpha ,\beta >0\), \(1< p< q\).
Proof of Theorem 1.2
Step 1. We claim that, for all \(z_{0}>0\), there exist \(\delta >0\) and \(z=z(r)\) such that
with \(\frac{z_{0}}{2}\le z(r)\le z_{0}\), \(r\in [0, \delta ] \); \(z'(r)<0\), \(r\in (0, \delta )\).
By \((f_{5})\), we have \(g(z)>0\), thus (3.1) can be rewritten as
Since the functions \(h(t)\) and \(H(t)\) are positive and continuous, we can get
and there exists \(\delta >0\) such that
Let \(U_{1}\) denote locally convex space of all continuous function on \([0,\infty )\) with the usual topology and consider the set
and the operator \(\mathcal{T}:X\to C{[0, \delta ]}\)
It is easy to get \(\mathcal{T}X \subset X\), the operator \(\mathcal{T}\) is continuous and relatively compact. Therefore there exists a \(z\in X\) such that \(\mathcal{T}z =z\) holds by the Schauder–Tychonoff fixed point theorem.
Besides, the solution \(z=z(r)\) can be extended and satisfies \(z^{\prime }(r)<0\) as long as \(z(r)>0\).
Denote
In fact, we have \(Y=[0, \infty )\). Otherwise, if \(Y\neq [0, \infty )\), then there exists \(R>0\) such that
Multiplying both sides of (3.2) by \(-rz^{\prime }(r)\), we can obtain
then integrating (3.5) from \([0, R]\), one can see
On the other hand, by (3.2) we get
and
and analogously
Substituting (3.7), (3.8), (3.9) and \((f_{5})\) into (3.6) gives
thus it gives rise to a contradiction with \((\mathcal{P}_{3})\), so \(Y=[0, \infty ) \).
Step 2. We consider the asymptotic behavior of solution \(z(r)\), that is, \(z(r)\to 0\), as \(r\to \infty \).
Since the function \(r^{N-1}(-z^{\prime })\) is increasing, we have \(r^{N-1}(-z^{\prime })\ge -z'(1)\), \(r\ge 1\), then integrating from \([t, R]\), we get
and \(z(t)\ge z(\infty ) -z^{\prime }(1)\frac{1}{N-2}t^{2-N}\), \(r\ge 1\), \(R \to \infty \).
On the other hand, integrating both sides of (3.2) on \([0, R]\), we can acquire
Let \(0< z_{0}\le 1\) in X, since \((f_{6})\), \((f_{4})\) and \(\frac{z_{0}}{2}\le z(r)\le z_{0}\), there exist \(c_{1},c_{2} >0\) such that
where \(c=\min \{c_{1},c_{2}\}\). If \(z^{p}(R)=\min \{z^{p}(R),z^{q}(R)\}\), then we can have
where \(\varphi _{i}(R)\), \(i=1,2\) denoted by \((\mathcal{P}_{2})\). Integrating (3.14) over \([1, R]\), one can have
Hence, by hypothesis \((\mathcal{P}_{2})\) we obtain
As to the other case, if \(z^{q}(R)=\min \{z^{p}(R),z^{q}(R)\}\), we can apply the same argument. Thus \(\lim_{r\to \infty }z(r)=0\) is proved and the proof of Theorem 1.2 is completed. □
4 Existence of positive blow-up solutions
In this section, we investigate (1.7) with concave-convex nonlinearities and give a proof of Theorem 1.3. Throughout the paper, a function z is called a blow-up solution of problem (1.1) if a weak solution z satisfies \(z\to \infty \) as \(|x|\to \infty \).
We consider (1.7),
where \(\alpha ,\beta >0\), \(0< p<1<q\).
Proof of Theorem 1.3
At first, we choose \(z_{0}>0\) such that
and
where \(k= \frac{2-\lambda _{1}}{1-p}= \frac{\lambda _{2}-2}{q-1}\ge 0\), \(0< \lambda _{1}<2\), \(\lambda _{2}>2\).
It is well known that (1.7) is equivalent to the following integral form:
Let \(U_{2}\) denote locally convex space of all continuous function on \([0,\infty )\) with the usual topology and consider the set
where
and the operator \(\mathcal{T}: W\to C{\overline{R}_{+}}\), \(\overline{R}_{+}=[0, + \infty )\) is given by \(\mathcal{T}z=\widetilde{z}\),
Obviously, W is a nonempty closed convex set of \(C{\overline{R}_{+}}\). In order to apply the Schauder–Tychonoff fixed point theorem, we are going to verify in three steps.
Step 1. \(\mathcal{T}\) maps W into itself. For \(0 \le r\le 1\), by (4.2) we have
and for \(r\ge 1\), by (4.1),(4.2), we have
where \(2-\lambda _{1}+kp =k\), \(2-\lambda _{2}+kq=k\), that is, \(k=\frac{2-\lambda _{1}}{1-p}=\frac{\lambda _{2}-2}{q-1}\) with \(0<\lambda _{1}<2\), \(\lambda _{2}>2\), thus we prove that \(\mathcal{T}W\subset W\).
Step 2. \(\mathcal{T}\) is continuous. Let \(\{z_{n}\}\) be a sequence in W which converges to \(z\in W\) uniformly on each compact subinterval of \(\overline{R}_{+}\).
Let
Then one can see
and
from (4.8), (4.9), we see that \(\{\varphi _{m}\}\) converges to φ uniformly and \(\{\widetilde{z}_{m}\}\) converges to z̃ uniformly on each compact subinterval of \(\overline{R}_{+}\). Hence, the mapping \(\mathcal{T}\) is continuous.
Step 3. \(\mathcal{T}(W)\) is relatively compact. For \(R >0\) an arbitrary constant, one can have
it implies the local boundedness of the set \(\{\widetilde{z}'(r)| z\in W\}\). Thus, the relatively compactness of \(\mathcal{T}(W)\) can be shown by the Ascoli–Arzelá theorem.
Therefore, the Schauder–Tychonoff fixed point theorem guarantees a \(z\in W\) satisfying \(\mathcal{T}z=z\), namely, \(z(r)\) satisfies (1.7). Thus, \(z(|x|)\) gives a solution of (1.1). Besides, multiple occurrences \(z_{0}\) fulfill (4.1) and (4.2), so multiple positive radial solutions of (1.1) can be constructed.
Step 4. We consider the asymptotic behavior of solution \(z(r)\), that is, \(z(r)\to \infty \), as \(r\to \infty \).
Given \(z_{0} \ge 1\), \(r\ge 1\), \(\gamma -1< p<1<q\) and \(z_{0}\le z(r)\le A(r)\), one can get
and \(g^{q}(z)g'(z)\ge b_{3}>0\). Then
By the hypothesis \((\mathcal{P}_{2})\), we can verify that \(\lim_{r\to \infty }z(r)=\infty \) and the proof of Theorem 1.3 is completed. □
References
Kurihara, S.: Exact soliton solution for superfluid film dynamics. J. Phys. Soc. Jpn. 50, 3801–3805 (1981)
Zhang, J., Tang, X., Zhang, W.: Infinitely many solutions of quasilinear equation with sign-changing potential. J. Math. Anal. Appl. 420, 1762–1775 (2014)
Liu, J., Wang, Y., Wang, Z.: Soliton solutions for quasilinear Schrödinger equations II. J. Differ. Equ. 187, 473–493 (2003)
Chen, J., Huang, X., Cheng, B.: Positive solutions for a class of quasilinear Schrödinger equations with superlinear conditions. Appl. Math. Lett. 87, 165–171 (2019)
Brandi, H., Manus, C., Mainfray, G., Leher, T., Bonnaud, G.: Relativistic and ponderomotive self-focusing of a laser beam in a radially inhomogeneous plasma. Phys. Fluids B 5, 3539–3550 (1993)
Laedke, E.W., Spatschek, K.H., Stenflo, L.: Evolution theorem for a class of perturbed envelope soliton solutions. J. Math. Phys. 24, 2764–2769 (1983)
Qian, X., Chao, W.: Positive solutions for a Kirchhoff type problem with fast increasing weight and critical nonlinearity. Electron. J. Qual. Theory Differ. Equ. 2019, 27, 1–17 (2019)
Li, G.B.: Positive solutions for quasilinear Schrödinger equation with a parameter. Commun. Pure Appl. Anal. 14, 1803–1816 (2015)
Cheng, Y., Yang, J.: Positive solution to a class of relativistic nonlinear Schrödinger equation. J. Math. Anal. Appl. 411, 665–674 (2014)
Shen, Y., Wang, Y.: Soliton solutions for generalized quasilinear Schrödinger equations. Nonlinear Anal. 80, 194–201 (2013)
Yang, M.: Existene of solutions for a quasilinear Schrödinger equation with subcritical nonlinearities. Nonlinear Anal. 75, 5362–5373 (2012)
Zhou, X., Liu, L., Wu, Y., Cui, Y.: Entire blow-up solutions for a quasilinear p-Laplacian Schrödinger equation with a non-square diffusion term. Appl. Math. Lett. 74, 85–93 (2017)
Chen, L., Chen, C., Yang, H.: Nonexistence of stable solutions for quasilinear Schrödinger equation. Bound. Value Probl. 2018, 168, 1–11 (2018)
Chen, C., Wang, Y.: Positive radial solutions of fully nonlinear elliptic equations in \(\mathbb{R}^{N}\). Appl. Math. J. Chin. Univ. Ser. B 10, 167–178 (1995)
Chen, C.S.: Multiple solutions for a class of quasilinear Schrödinger equations in \(\mathbb{R}^{N}\). J. Math. Phys. 56, 1–14 (2015)
Teramoto, T.: Existence and nonexistence of positive radial entire solutions of second order quasilinear elliptic systems. Hiroshima Math. J. 30, 437–461 (2000)
Teramoto, T.: Existence and nonexistence of positive radial entire solutions of second order semilinear elliptic systems. Funkc. Ekvacioj 42, 241–260 (1999)
Acknowledgements
The authors thank the anonymous reviewers for carefully reading this paper and for constructive comments.
Availability of data and materials
Not applicable.
Funding
This work is supported by the National Natural Science Foundation of China (11701252).
Author information
Authors and Affiliations
Contributions
JL formulated and proved the theorems on the nonexistence and existence of the solutions, YW checked all the computations. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
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
Li, J., Wang, Y. Nonexistence and existence of positive radial solutions to a class of quasilinear Schrödinger equations in \(\mathbb{R}^{N}\). Bound Value Probl 2020, 81 (2020). https://doi.org/10.1186/s13661-020-01378-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-020-01378-5