Positive solution for a class of coupled $(p,q)$Laplacian nonlinear systems
 Eder M Martins^{1}Email author and
 Wenderson M Ferreira^{1}
DOI: 10.1186/16872770201421
© Martins and Ferreira; licensee Springer. 2014
Received: 21 May 2013
Accepted: 20 November 2013
Published: 20 January 2014
Abstract
In this article, we prove the existence of a nontrivial positive solution for the elliptic system
where ${\mathrm{\Delta}}_{p}$ denotes the pLaplacian operator, $p,q>1$ and Ω is a smooth bounded domain in ${\mathbb{R}}^{N}$ ($N\ge 2$). The weight functions ω and ρ are continuous, nonnegative and not identically null in Ω, and the nonlinearities f and g are continuous and satisfy simple hypotheses of local behavior, without involving monotonicity hypotheses or conditions at ∞. We apply the fixed point theorem in a cone to obtain our result.
MSC:35B09, 35J47, 58J20.
1 Introduction
where ${\mathrm{\Delta}}_{p}$ denotes the pLaplacian operator defined by ${\mathrm{\Delta}}_{p}u:=div({\mathrm{\nabla}u}^{p2}\mathrm{\nabla}u)$, $p,q>1$ and Ω denotes a smooth bounded domain in ${\mathbb{R}}^{N}$ ($N\ge 2$). In other words, we will prove the existence of a pair $(u,v)\in {C}^{1,\alpha}(\mathrm{\Omega})\times {C}^{1,\alpha}(\mathrm{\Omega})$ such that $(u,v)$ satisfies (P), with u and v strictly positive in Ω. The weight functions $\omega ,\rho :\overline{\mathrm{\Omega}}\to \mathbb{R}$ are continuous, nonnegative in Ω and positive in ${\mathrm{\Omega}}_{\epsilon}=\{x\in \mathrm{\Omega}:0<dist(x,\partial \mathrm{\Omega})<\epsilon \}$ for some $\epsilon >0$. The nonlinearities $f,g:[0,\mathrm{\infty})\times [0,\mathrm{\infty})\to [0,\mathrm{\infty})$ are continuous, g is positive in $(0,\lambda )$ for some $\lambda >0$, and both satisfy simple hypotheses of local behavior.
We suppose that the nonlinearity f is superlinear at origin and f, g are allowed to be sub or superlinear at ∞. Moreover, there is no monotonicity hypotheses on these nonlinearities. We suppose the existence of positive constants $0<\delta <M$ such that
(H1) $0\le f(v)\le {k}_{1}{M}^{p1}$, $0\le g(u)\le {k}_{1}{M}^{q1}$ if $0\le u,v\le M$,
(H2) $f(v)\ge {k}_{2}{v}^{p1}$ if $0\le v\le \delta $,
Elliptic problems concerning the existence of positive solutions for equations and systems of equations related to Dirichlet problems have been studied in several papers during the last decades. In this way, many existence results for systems involving the pLaplacian operator in general bounded domains in ${\mathbb{R}}^{N}$ have been considered in recent articles. In particular, systems as (P) have been studied in articles in [2–6] for example.
Schauder’s fixed point theorem, the LeraySchauder degree and a variant of Krasnoselskii’s method are applied to guarantee the existence of a positive solution for (P).
The studies of [2] were extended by Hai and Shivaji in [4] (for $p=q>1$), [5] (for $p=q=2$) and by Hai in [3] (for $p,q>1$). In these papers, the authors deal with problem (P), $\omega \equiv \lambda $ and $\rho \equiv \mu $ (in [4] and [5], $\lambda =\mu $), with no sign conditions on $f(0)$ or $g(0)$ and without monotonicity conditions on f or g. In this way, semipositone cases were also considered in these papers (for more details about semipositone problems, see [7] and the references therein).
in addition to condition (1). The existence of a positive solution is guaranteed for large λ by applying the subsupersolution method.
The paper [5] deals with problem (P) in the particular case $p=2$ and a positive solution is guaranteed by applying the sub and supersolution method and Schauder’s fixed point theorem. The nonlinearities $f,g:[0;\mathrm{\infty})\to \mathbb{R}$ considered are continuous and there exist positive numbers L, K such that $f(x)\ge L$ and $g(x)\ge L$ for $x\ge K$. Moreover, the authors considered, as it has been done in [2], condition (1) with $p=2$.
sublinear at 0 and ∞. In this paper, the maximum principle and fixed point arguments are applied to guarantee the existence of a solution.
Another paper dealing with the existence of a positive solution for a class of coupled systems is [6]. In this paper, the authors studied problem (P), with $w(x)=\lambda a(x)$ and $\rho (x)=\lambda b(x)$, in which λ is a positive parameter. The existence of a solution is guaranteed via the method of sub and supersolution if, among other assumptions, the functions a and b considered are ${C}^{1}$ signchanging functions that may be negative near the boundary and the positive nonlinearities f and g are supposed to be ${C}^{1}$ and nondecreasing.
Recently, many articles have applied fixed point results to prove the existence of positive solutions of partial differential equations or systems (see, for example, [1, 8–12]). In this paper we study problem (P) in general domains, assuming that (H1) and (H2) hold. As system (P) has no variational structure, our main arguments are based on fixedpoint index and comparison theorems, following the ideas of [8, 10] and [11]. In particular, our assumptions on the nonlinearities do not involve monotonicity hypotheses or sublinearity conditions at ∞.
Our strategy is as follows. At first, we show an existence result for the radial case when $\mathrm{\Omega}={B}_{1}:=\{x\in {\mathbb{R}}^{N}:x=1\}$, applying a fixed point theorem in a cone. Afterwards, we utilize this result to prove our main existence result for (P), when $\mathrm{\Omega}\subset {\mathbb{R}}^{N}$ is a bounded smooth domain. In this case, we do a symmetrization of weigh functions and combine comparison theorems with a new application of the fixed point theorem.
For completeness, we will consider concrete examples of coupled systems for which it is possible to apply our method to guarantee the existence of at least one positive solution. It will be clear in some of these examples that conditions (1), (2) and (3) are not required in our method.
2 The radial case
where ${B}_{1}=\{x\in {\mathbb{R}}^{N}:x<1\}$ and the weight functions $w,\rho :{\overline{B}}_{1}\to \mathbb{R}$ are radial, continuous, nonnegative and not identically null functions. The positive functions f and g are supposed to be continuous and satisfying local conditions that depend on the positive constants defined in (6) and (7).
in which ${p}^{\prime}$ and ${q}^{\prime}$ are the conjugate exponents of p and q, respectively.
Finally we assume that the nonlinearities f and g satisfy the local conditions.

(H1) $0\le f(v)\le {k}_{1}{M}^{p1}$, $0\le g(u)\le {k}_{1}{M}^{q1}$ if $0<u,v\le M$ for some $M>0$.

(H2) $f(v)\ge {k}_{2}{v}^{p1}$ if $0<v\le \delta $ for some $0<\delta <M$.
Now, we are in a position to state the main result of this section: the existence of a positive radial solution for (P_{r}).
To prove the last theorem, we will apply a wellknown result of the fixedpoint index theory, known as a fixed point cone theorem (see, for example, [13]).
 (i)If there exists ${x}_{0}\in K\{0\}$ such that$xTx\ne t{x}_{0}\phantom{\rule{1em}{0ex}}\mathit{\text{for all}}x\in \partial {K}_{R}\mathit{\text{and}}t\ge 0,$
 (ii)If $\parallel Tx\parallel \le \parallel x\parallel $ for $x\in \partial {K}_{R}$ and $Tx\ne x$ for $x\in \partial {K}_{R}$, then$i(T,{K}_{R},K)=1.$
and the cone $K=\{(u,v)\in X:u,v\ge 0\}\subset X$.
Moreover, it is straightforward that the operator T is completely continuous.
(Note that it is immediate that ${t}^{\ast}<\mathrm{\infty}$. In fact, if ${t}^{\ast}=\mathrm{\infty}$ and if $\mathrm{\Theta}(r)\ne 0$, we have ${u}^{\ast}(r)=\mathrm{\infty}$, which contradicts ${u}^{\ast}\in {K}_{\delta}$.)
which contradicts (12).
Thus, T has a nontrivial fixed point in ${K}_{M}\mathrm{\setminus}{K}_{\delta}$. The regularity of the solution follows from classical results of Lieberman and Tolksdorf (see [14] and [15]). □
3 The general case
Now we will establish the main result of this paper: the existence of a nontrivial positive solution for (P) when $\mathrm{\Omega}\subset {\mathbb{R}}^{N}$ is a smooth bounded domain.
3.1 The constants ${k}_{1}$ and ${k}_{2}$ in Ω
It is well known in pLaplacian operator theory that T is completely continuous. Moreover, a simple maximum principle argument guarantees that ${z}_{i}>0$ in Ω for $i=1,2$.
As it has been done in the radial case, in order to obtain a result of existence for (P), we will apply Lemma 3.
(where ξ is defined similarly as it has been done in (4) and (5)).
3.2 Main theorem
where $r=x{x}_{0}$.
where $({z}_{1}^{\ast},{z}_{2}^{\ast})=T({u}^{\ast},{v}^{\ast})$.
proving the theorem. As in the radial case, the regularity follows from [14] and [15]. □
Remark 5 Due to the hypotheses on the nonlinearities and on the weight functions, simple applications of the maximum principle allow us to guarantee that if $(u,v)$ is a solution of problem (P), then both u and v are strictly positive in Ω.
4 Examples
where $\alpha ,\beta ,\gamma ,\mu >0$ and $\mathrm{\Omega}\subset {\mathbb{R}}^{N}$ ($N>2$) is a smooth domain. If $p1>\beta $ and $q1\ge \mu $, problem (20) has at least one positive solution.
Since ${k}_{1}<{k}_{2}$, we have $\delta <M$.
Choosing δ and M as above, hypotheses (H1) and (H2) are verified and, as a consequence of Theorem 2, we guarantee the existence of a positive solution for coupled system (20). Furthermore, according to Theorem 4, it is easy to see that if $(u,v)$ is the considered positive solution, we have ${\parallel (u,v)\parallel}_{\mathrm{\infty}}$ as large as α is.
One of the advantages of our method is that conditions (1), (2) and (3) are not required. Let us see examples of these situations.
where $\gamma ,\mu >0$, $\mathrm{\Omega}\subset {\mathbb{R}}^{N}$ ($N>2$) is a smooth domain and ${f}_{1}$ is a nonlinearity satisfying (H1) and (H2). Examples of ${f}_{1}$ will be presented in the following examples.
where $\alpha >0$, $k>0$ and M is the positive constant whose existence is guaranteed in Example 6. If $p1>\beta $ and $q1>\mu $, the same arguments as those applied in Example 6 can guarantee the existence of a positive solution to (23).
and condition (1) does not hold.
In this way, ${(f(cg{(x)}^{\frac{1}{q1}}))}^{\frac{1}{p1}}$ can be either sub or superlinear at +∞ according to the constant k. Therefore, we have an example in which we guarantee the existence of a positive solution even if condition (3) is not satisfied.
in which M is the positive constant whose existence is guaranteed in Example 6, $p1>\beta $ and $q1>\mu $. As a consequence of previous examples, it is straightforward to guarantee the existence of a positive solution to this problem. Furthermore, it is clear that condition (2) does not hold.
Declarations
Acknowledgements
The authors thank for the support of FAPEMIG and Universidade Federal de Ouro Preto.
Authors’ Affiliations
References
 Bueno H, Ercole G, Zumpano A: Positive solutions for the p Laplacian and bounds for its first eigenvalue. Adv. Nonlinear Stud. 2009, 9: 313338.MATHMathSciNet
 Dalmasso R: Existence and uniqueness of positive solutions for some quasilinear elliptic systems. Nonlinear Anal. 2000, 39: 559568. 10.1016/S0362546X(98)002211MATHMathSciNetView Article
 Hai DD: Existence and uniqueness of solutions for quasilinear elliptic systems. Proc. Am. Math. Soc. 2004, 133(1):223228.MathSciNetView Article
 Hai DD, Shivaji R: An existence result on positive solutions for a class of p Laplacian systems. Nonlinear Anal. 2004, 56: 10071010. 10.1016/j.na.2003.10.024MATHMathSciNetView Article
 Hai DD, Shivaji R: An existence result on positive solutions for a class of semilinear elliptic systems. Proc. R. Soc. Edinb. A 2004, 134: 137141. 10.1017/S0308210500003115MATHMathSciNetView Article
 Rasouli SH, Halimi Z, Mashhadban Z:A remark on the existence of positive weak solution for a class of $(p\text{}q)$Laplacian nonlinear system with signchanging weight. Nonlinear Anal. 2010, 73: 385389. 10.1016/j.na.2010.03.027MATHMathSciNetView Article
 Castro A, Maya C, Shivaji R: Nonlinear eigenvalue problems with semipositone structure. Electron. J. Differ. Equ. 2000, 5: 3349.MathSciNet
 Bueno H, Ercole G, Ferreira W, Zumpano A: Existence and multiplicity of positive solutions for the p Laplacian with nonlocal coefficient. J. Math. Anal. Appl. 2008, 343: 151158. 10.1016/j.jmaa.2008.01.001MATHMathSciNetView Article
 Hai DD, Wang H: Nontrivial solutions for p Laplacian systems. J. Math. Anal. Appl. 2007, 330: 186194. 10.1016/j.jmaa.2006.07.072MATHMathSciNetView Article
 O’Regan D, Wang H: Positive radial solutions for p Laplacian systems. Aequ. Math. 2008, 75: 4350. 10.1007/s0001000729093MATHMathSciNetView Article
 Wang H: An existence theorem for quasilinear systems. Proc. Edinb. Math. Soc. 2006, 49: 505511. 10.1017/S0013091504001506MATHMathSciNetView Article
 Wang H: Existence and nonexistence of positive radial solutions for quasilinear systems. Discrete Contin. Dyn. Syst. 2009, 2009: 810817. suppl.MATH
 Deimling K: Nonlinear Functional Analysis. Springer, Berlin; 1985.MATHView Article
 Lieberman GM: Boundary regularity for solutions of degenerate elliptic equations. Nonlinear Anal. 1988, 12: 12031219. 10.1016/0362546X(88)900533MATHMathSciNetView Article
 Tolksdorf P: Regularity for a more general class of quasilinear elliptic equations. J. Differ. Equ. 1984, 51: 126150. 10.1016/00220396(84)901050MATHMathSciNetView Article
Copyright
This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.