Abstract
This paper studies the existence of radial solutions of the boundary value problem of p-Laplace equation with gradient term
where \(\Omega=\{x\in\mathbb{R}^{N}: |x|>r_{0}\}\), \(N\ge3\), \(1< p\le2\), \(K: [r_{0}, \infty)\to\mathbb{R}^{+}\), and \(f: [r_{0}, \infty)\times\mathbb{R}\times\mathbb{R}^{+}\to \mathbb{R}\) are continuous. Under certain inequality conditions of f, the existence results of radial solutions are obtained.
Similar content being viewed by others
1 Introduction
The boundary value problems of p-Laplace operator \(\Delta_{p} u=\operatorname{div}(|\nabla u|^{p-2}\nabla u)\) have important application background. These problems have been raised in many different fields of applied mathematics and mechanics, such as diffusion problems, nonlinear elasticity, non-Newtonian fluids, etc. For the Laplace operator case (\(p=2\)), these problems have been extensively and deeply studied, and a large number of research results have been achieved. But for the p-Laplace operator cases (\(p\ne2\)), the problems are still being explored, and research results are very limited. In this paper, we consider the existence of radial solution for the boundary value problem(BVP) of p-Laplace equation with gradient term
in the exterior domain \(\Omega=\{x\in\mathbb{R}^{N}: |x|>r_{0}\}\), where \(N\in\mathbb{N}\) and ≥3, \(r_{0}>0\), and \(p>1\) are positive constants, \(\frac{\partial u}{\partial n}\) is the outward normal derivative of u on ∂Ω, \(K: [r_{0}, \infty)\to\mathbb{R}^{+}\) and \(f: [r_{0}, \infty)\times\mathbb{R}\times\mathbb{R}^{+}\to \mathbb{R}\) are continuous functions, \(\mathbb{R}^{+}=[0, \infty)\). Set \(J=[0, \infty)\), \(q=\frac{p}{p-1}\). For the convenience, we make the following assumptions:
-
(A1)
\(K: J\to\mathbb{R}^{+}\) is continuous and \(r^{q(N-1)}K(r)\) is bounded on J;
-
(A2)
\(f: J\times\mathbb{R}\times\mathbb{R}^{+}\to \mathbb{R}\) is continuous, and for \(\forall M>0\), \(f(r, u, \eta)\) is uniformly continuous on \(J\times[-M, M]\times[0, M]\); for every \((u, \eta)\in\mathbb{R}\times\mathbb{R}^{+}\), \(f(\cdot, u, \eta)\) is bounded on J.
For the special case BVP(1.1) of \(p=2\) and the nonlinearity f without gradient terms, namely for the boundary value problem
the existence of radial solutions has been considered by many authors, see [1–7]. The authors of references[1–7] obtained some existence results by using various nonlinear analysis methods, such as upper and lower solutions method, priori estimates technique, fixed point index theory, etc. In [7], Li and Zhang built an eigenvalue criterion for the existence of positive radial solutions of BVP(1.2), see [7, Theorem 1.1]. The eigenvalue criterion is related to the principle eigenvalue \(\lambda_{1}\) of the corresponding linear eigenvalue problem, and it is an effective method to obtain positive solutions. Recently, Li and Wei [8] partially extended the result of [7] to the p-Laplace boundary value problem
in the case of \(1< p< N\), see [8, Theorem 1.1]. BVP(1.3) has a variational structure, and the existence of its solution can be obtained by using critical point theory. For the case of bounded domains, see references [9–12].
This paper aims to study the existence of radial solutions for the general BVP(1.1) with gradient term. For the case of \(p=2\), the existence of radial solutions has been studied by some authors, see [13–17]. These authors discussed the existence of radial solutions by using upper and lower solutions method and fixed point index theory in cones. For the case of \(p\ne2\), since the p-Laplace operator \(\Delta_{p} u=\operatorname{div}(|\nabla u|^{p-2}\nabla u)\) is nonlinear, BVP(1.1) is difficult to discuss and the approach of \(p=2\) is not applicable. In this paper, we consider the case of \(1< p\le2\) and obtain an existence result of radial solutions. We introduce two positive constants:
The main result of our paper is as follows.
Theorem 1.1
Let \(1< p\le2\) and assumptions (A1) and (A2) hold. If the nonlinear function f satisfies the following conditions:
-
(F1)
There exist constants \(\alpha, \beta\ge0\) and \(C>0\) with \(H_{0}\alpha+H_{1}\beta<1\) such that
$$ f(r, \xi, \eta)\xi\le\alpha \vert \xi \vert ^{p}+\beta \eta^{p}+C, (r, \xi, \eta)\in J\times\mathbb{R}\times \mathbb{R}^{+}; $$ -
(F2)
For every given \(M>0\), there is a continuous monotone increasing function \(G_{M}: \mathbb{R}^{+}\to(0, \infty)\) satisfying
$$\begin{aligned}& \int_{0}^{\infty}\frac{\rho d \rho}{ G_{M}(\rho)}=\infty \end{aligned}$$(1.5)such that
$$\begin{aligned}& \bigl\vert f(r, \xi, \eta) \bigr\vert \le G_{M}\bigl( \eta^{p-1}\bigr) \quad \textit{for all } (r, \xi, \eta)\in J\times[-M, M] \times \mathbb{R}^{+}, \end{aligned}$$(1.6)
then BVP(1.1) has at least one radial solution.
In Theorem 1.1, condition (F1) is a growth condition of \(f(r, \xi, \eta)\) on ξ and η, and it allows \(f(r, \xi, \eta)\) to have downward superlinear growth on ξ and η, and upward \((p-1)\)-power growth. Condition (F2) is a Nagumo-type growth condition, and it restricts \(f(r, \xi, \eta)\) to have at most \(2(p-1)\)-power growth on η.
The proof of Theorem 1.1 is presented in Sect. 3. Some preliminaries to discuss BVP(1.1) are given in Sect. 2. At the end of Sect. 3, an example to illustrate the applicability of Theorem 1.1 is presented.
2 Preliminaries
Let \(u=u(|x|)\) be a radially symmetric solution of BVP (1.1) and \(r=|x|\). By direct computation, we have
Hence u is a solution of the ordinary differential equation BVP in \([r_{0}, \infty)\)
where \(u(\infty)=\lim_{r\to\infty}u(r)\). Conversely, if \(u(r)\) is a solution of BVP(2.1), then \(u(|x|)\) is a radial solution of BVP(1.1). Hence, to discuss the radial solutions of BVP(1.1) just consider BVP (2.1).
For BVP(2.1), we make the variable transformation by
and set
then BVP(2.1) is changed into the BVP in \((0, 1]\)
where
BVP (2.3) is a boundary value problem of quasilinear ordinary differential equation with nonlinear derivative term and singularity at \(t=0\). A solution v of BVP(2.3) means that \(v\in C^{1}[0, 1]\) such that \(|v'|^{p-2}v'\in C^{1}(0, 1]\), and it satisfies equation (2.3). Hence, the solution of BVP(2.3) belongs to the subset of \(C^{1}(I)\)
If \(v\in\mathfrak{D}\) is a solution of BVP(2.3), then we easily verify that \(u(r)=v(t(r))\) is a solution of BVP (2.1) and \(u(|x|)\) is a classical radial solution of BVP(1.1). Hence we discuss BVP(2.3) to obtain radial solutions of BVP (1.1). We will use the Leray–Schauder fixed point theorem on the completely continuous mapping to obtain the existence of BVP (2.3).
Let \(I=[0, 1]\). We use \(C(I)\) to denote the Banach space of all continuous function \(v(t)\) on I with the maximal module norm \(\|v\|_{C}=\max_{t\in I}|v(t)|\), \(C^{1}(I)\) denotes the Banach space of all continuous differentiable function on I with the norm \(\|v\|_{C^{1}}=\max\{\|v\|_{C}, \|v'\|_{C}\}\). Let \(C_{B}(0, 1]\) be the Banach space of all bounded continuous function \(w(t)\) on \((0, 1]\) with the norm \(\|w\|_{\infty}=\sup_{t\in(0, 1]}|w(t)|\).
Given \(h\in C_{B}(0, 1]\), we consider the simple boundary value problem corresponding to BVP(2.3)
Define a function Φ by
Clearly, \(w=\Phi(v)\) is a strictly monotone increasing continuous function on \(\mathbb{R}\) and its inverse function is given by
\(v=\Psi(w)\) is also a strictly monotone increasing continuous function on \(\mathbb{R}\).
Lemma 2.1
For any given \(h\in C_{B}(0, 1]\), BVP (2.7) has a unique solution \(v:=Sh\in\mathfrak{D}\). Moreover, the solution operator \(S: C_{B}(0, 1]\to C^{1}(I)\) is compact continuous and satisfies
Proof
By (2.4) and assumption (A1), the function \(a(t)\) is nonnegative, bounded, and continuous on \((0, 1]\), and
for every \(s\in(0, 1]\),
For any given \(h\in C_{B}(0, 1]\), we verify that
is a solution of BVP(2.7). By (2.12), the function defined by
is continuous on I. Hence, \(\Psi(H(s))\) is continuous on I, and
is continuously differentiable on H. This means that \(v\in C^{1}(I)\) and \(v'(t)=\Psi(H(t))\) for \(t\in I\), so we have
Using Φ to act on both sides of this equation, we obtain that
This implies that \((|v'(t)|^{p-2}v'(t)\in C^{1}(0, 1]\) and
Hence, \(v\in\mathfrak{D}\), and it is a solution of BVP(2.7).
Conversely, if \(v\in\mathfrak{D}\) is a solution of BVP(2.7), we show that v can be expressed by (2.13). Integrating equation (2.13) on \((t, 1]\), we have
Using Φ to act on both sides of this equation, we obtain that
Integrating this equation on \([0, t]\), we have
That is, v is expressed by (2.13). Hence, BVP(2.7) has a unique solution \(v=Sh\).
Finally, we prove that the operator \(S: C_{B}(0, 1]\to C^{1}(I)\) is compact continuous. By (2.13) and (2.14) and the continuity of Ψ, we easily see that \(S: C_{B}(0, 1]\to C^{1}(I)\) is continuous. For any bounded set \(D\subset C_{B}(0, 1]\), by (2.13) and (2.14) we can show that \(S(D)\) and its derivative set \(\{v' | v\in S(D)\}\) are bounded equicontinuous sets in \(C(I)\). By the Ascoli–Arzéla theorem, \(S(D)\) is a precompact subset of \(C^{1}(I)\). Thus, \(S: C_{B}(0, 1]\to C^{1}(I)\) is compact continuous.
By expression (2.13) of the solution operator S, we can directly verify that S satisfies (2.10). □
Lemma 2.2
Let \(1< p\le2\), \([a, b]\subset\mathbb{R}^{+}\), \(w\in C^{+}[a, b]\). Then
Proof
Since \(\Phi''(v)<0\) in \((0, +\infty)\), it follows that \(\Phi(v)\) is an upper convex function on \(\mathbb{R}^{+}\). Hence, \(\Phi(v)\) satisfies Jensen’s inequality on \(\mathbb{R}^{+}\). That is, for any \(v_{1}, v_{2}, \ldots,v_{n}\in\mathbb{R}^{+}\), and \(\mu_{1}, \mu_{2}, \ldots,\mu_{n}\in\mathbb{R}^{+}\) with \(\mu_{1}+\mu_{2}+\cdots+\mu_{n}=1\), \(\Phi(v)\) satisfies the inequality
For any partition of \([a, b]\),
setting \(\Delta t_{k}=t_{k}-t_{k-1}\), \(k=1,2,\ldots, n\), by Jensen’s inequality (2.16), we have
Letting \(\|\Delta\|:=\max_{1\le k\le n}\to0\), by the definition of Riemann integral, we have
Hence, (2.15) holds. □
Now we consider BVP(2.3). Let \(f: J\times\mathbb{R}\times\mathbb{R}^{+}\to\mathbb{R}\) satisfy assumption (A1). Define a mapping \(F: C^{1}(I)\to C_{B}(0, 1]\) by
By assumption (A2), we easily verify that \(F: C^{1}(I)\to C_{B}(0, 1]\) is continuous and maps every bounded subset of \(C^{1}(I)\) into a bounded subset of \(C_{B}(0, 1]\). Hence, by the compact continuity of the operator \(S: C_{B}(0, 1]\to C^{1}(I)\), the composite mapping
is compact continuous. By the definitions of S, the solution of BVP(2.3) is equivalent to the fixed point of A. We will find the fixed point of A by using the following Leray–Schauder fixed point theorem of compact continuous mapping[18].
Lemma 2.3
Let X be a Banach space, \(A: X\to X\) be a compact continuous mapping. If the set of solutions of the equation family
is a bounded subset of X, then A has a fixed point.
3 Proof of the main result
Proof of Theorem 1.1
Let \(A: C^{1}(I)\to C^{1}(I)\) be the mapping defined by (2.18). Then A is compact continuous and the solution of BVP(2.3) is equivalent to the fixed point of A. Hence, if \(v\in C^{1}(I)\) is a fixed point of A, then \(v(t)\) is a solution of BVP (2.3), and \(u=v((r_{0}/|x|)^{(q-1)(N-p)})\) is a classical positive radial solution of BVP (1.1). We use Lemma 2.3 to show that A has a fixed point. For this, we consider the family of equations
We need to prove that the set of solutions of (3.1) is bounded in \(C^{1}(I)\).
Let \(v_{0}\in C^{1}(I)\) be a solution of (3.1) for \(\mu_{0}\in(0, 1)\). By (2.10), \(v_{0}=\mu_{0} Av_{0}=\mu_{0} S(F(v_{0}))=S(\mu_{0}^{p-1}F(v_{0}))\). By the definition of S, \(v_{0}\) is the unique solution of BVP(2.7) for \(h=\mu_{0}^{p-1}F(v_{0})\in C_{B}(0, 1]\). Hence \(v_{0}\in\mathfrak{D}\) satisfies the differential equation
By the boundary condition of \(v_{0}\), we easily see that
Multiplying equation (3.2) by \(v_{0}(t)\), by condition (F1) we have
Integrating this inequality on \((0, 1]\), then using integration by parts for the left-hand side and (3.3), we obtain that
From this inequality it follows that
Hence, for every \(t\in I\), we have
This means that
For this \(M>0\), by assumption (F2), there is a monotone increasing function \(G_{M}: \mathbb{R}^{+}\to(0, \infty)\) satisfying (1.5) such that (1.6) holds. From (1.6) and (3.5) it follows that
By this and equation (3.2), we have
By (1.5), there exists a constant \(M_{1}>0\) such that
Choosing the positive constant
we show that
It may be set \(\|v_{0}'\|_{C}>0\). Since \(v_{0}'(1)=0\), by the maximum theorem of continuous functions, there exists \(t_{1}\in[0, 1)\) such that
There are two cases: \(v_{0}'(t_{1})>0\) or \(v_{0}'(t_{1})<0\). We only consider the case \(v_{0}'(t_{1})>0\), and the other case can be treated in the same way. Set
Then \(t_{1}< s_{1}\le1\), and on \([t_{1}, s_{1}]\), \(v_{0}'(t)\) satisfies
Hence, by inequality (3.6), we have
Integrating both sides of this inequality on \([t_{1}, s_{1}]\) and making the variable transformation \(\rho=( b(1){v_{0}}'(t) )^{p-1}\) for the left-hand side, using (2.8) and (3.11) for the right-hand side, we have
By (3.11), \(v_{0}'\in C^{+}[t_{1}, s_{1}]\). Hence \(v_{0}(t)\) is increasing on \([t_{1}, s_{1}]\) and \(0\le v_{0}(s_{1})-v_{0}(t_{1})\le2M\). By Lemma 2.2, we have
Hence from (3.12) it follows that
Combining this inequality and (3.7), we obtain that
From this inequality it follows that
Hence, (3.9) holds. By (3.9) and (3.3), we have
Hence, the set of solutions of equation family (3.1) is bounded in \(C^{1}(I)\). By Lemma 2.3, A has a fixed point in \(C^{1}(I)\), which is a solution of BVP(2.3).
The proof of Theorem 1.1 is complete. □
Example 3.1
Consider the boundary value problem of p-Laplace operator on the exterior of unit ball \(\Omega=\{x\in\mathbb{R}^{N}: |x|>1\}\)
where \(N\ge3\), \(1< p\le2\), \(K: [1, +\infty)\to\mathbb{R}^{+}\) is continuous and satisfies assumption (A1), \(c_{0}\), \(c_{1}\), \(c_{2}\), α, β are positive constants. Corresponding to BVP(1.1), the nonlinearity is
From this it follows that
By this and Young’s inequality, it is easy to prove that, when \(1<\alpha<p\), \(f(r, \xi, \eta)\) satisfies condition (F1). By (3.17), when \(0<\beta\le2(p-1)\), \(f(r, \xi, \eta)\) satisfies condition (F2). Hence, by Theorem 1.1, when \(1<\alpha<p\), \(f(r, \xi, \eta)\) and \(0<\beta\le2(p-1)\), BVP(3.16) has at least one radial solution.
Data availability
Not applicable.
References
Santanilla, J.: Existence and nonexistence of positive radial solutions of an elliptic Dirichlet problem in an exterior domain. Nonlinear Anal. 25, 1391–1399 (1995)
Lee, Y.H.: Eigenvalues of singular boundary value problems and existence results for positive radial solutions of semilinear elliptic problems in exterior domains. Differ. Integral Equ. 13, 631–648 (2000)
Lee, Y.H.: A multiplicity result of positive radial solutions for a multiparameter elliptic system on an exterior domain. Nonlinear Anal. 45, 597–611 (2001)
Stanczy, R.: Decaying solutions for sublinear elliptic equations in exterior domains. Topol. Methods Nonlinear Anal. 14, 363–370 (1999)
Stanczy, R.: Positive solutions for superlinear elliptic equations. J. Math. Anal. Appl. 283, 159–166 (2003)
Precup, R.: Existence, localization and multiplicity results for positive radial solutions of semilinear elliptic systems. J. Math. Anal. Appl. 352, 48–56 (2009)
Li, Y., Zhang, H.: Existence of positive radial solutions for the elliptic equations on an exterior domain. Ann. Pol. Math. 116, 67–78 (2016)
Li, Y., Wei, M.: Positive radial solutions of p-Laplace equations on exterior domains. AIMS Math. 6(8), 8949–8958 (2021)
Bartsch, T., Liu, Z.: On a superlinear elliptic p-Laplacian equation. J. Differ. Equ. 198, 149–175 (2004)
Dinca, G., Jebelean, P., Mawhin, J.: Variational and topological methods for Dirichlet problems with p-Laplacian. Port. Math. 58(3), 339–378 (2001)
Cingolani, S., Degiovanni, M.: Nontrivial solutions for p-Laplace equations with right-hand side having p-linear growth at infinity. Commun. Partial Differ. Equ. 30(7–9), 1191–1203 (2005)
De Napoli, P.L., Bonder, J.F., Silva, A.: Multiple solutions for the p-Laplace operator with critical growth. Nonlinear Anal. 71(12), 6283–6289 (2009)
Cianciaruso, F., Infante, G., Pietramala, P.: Multiple positive radial solutions for Neumann elliptic systems with gradient dependence. Math. Methods Appl. Sci. 41(16), 6358–6367 (2018)
Dong, X., Wei, Y.: Existence of radial solutions for nonlinear elliptic equations with gradient terms in annular domains. Nonlinear Anal. 187, 93–109 (2019)
Li, Y.: Positive radial solutions for elliptic equations with nonlinear gradient terms in an annulus. Complex Var. Elliptic Equ. 63(2), 171–187 (2018)
Li, Y., Ding, Y., Ibrahim, E.: Positive radial solutions for elliptic equations with nonlinear gradient terms on an exterior domain. Mediterr. J. Math. 15(3), 83 (2018)
Li, Y.: Positive radial solutions for elliptic equations with nonlinear gradient terms on the unit ball. Mediterr. J. Math. 17(6), 176 (2020)
Deimling, K.: Nonlinear Functional Analysis. Springer, New York (1985)
Funding
This research is supported by NNSFs of China (12061062, 11661071).
Author information
Authors and Affiliations
Contributions
Y. Li and P. Li carried out the first draft of this manuscript, Y. Li prepared the final version of the manuscript. All authors read and approved the final version of the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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, Y., Li, P. Radial solutions of p-Laplace equations with nonlinear gradient terms on exterior domains. J Inequal Appl 2023, 158 (2023). https://doi.org/10.1186/s13660-023-03069-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-023-03069-y