Abstract
Using the Nehari manifold and variational methods, the existence and multiplicity of positive solutions for the multi-singular semilinear elliptic system with critical growth terms in bounded domains are investigated. In addition, under appropriate assumptions, it is shown that the system has at least two positive solutions when the pair of the parameters \((\alpha ,\beta )\) belongs to a certain subset of \(\mathbb {R}^{2}\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Introduction
In this paper, we consider the following semilinear elliptic system:
where \(0\in \Omega \subset \mathbb {R}^{N}(N\ge 3)\) is a bounded domain with smooth boundary \(\partial \Omega\), such that \(0\le \sigma <\overline{\sigma }:=(\frac{N-2}{2})^{2},\) and \(F\in C^{1}(\overline{\Omega }\times (\mathbb {R^{+}})^{2},\mathbb {R^{+}})\) is positively homogeneous of degree \(2^{*}\) (\(2^{*}:=\frac{2N}{N-2}\) denotes the critical Sobolev exponent), that is, \(F(x,tz,ty)=t^{2^{*}}F(x,z,y)(t>0)\) holds for all \((x,z,y)\in \overline{\Omega }\times (\mathbb {R^{+}})^{2},\) with \(1\le q<2,\alpha>0 ,\sigma >0\).
We use \(H^1_0(\Omega )\) to denote the completion of \(C_0^{\infty }(\Omega )\) with respect to the norm:
In the Banach space \(Q =H^{1}_0(\Omega )\times H^{1}_0(\Omega )\), we introduce the norm:
We set \(\omega _0=(\frac{q}{2})\omega ,\) where
fore starting our result, we need the following assumptions:
\((F_1)\quad F:\overline{\Omega }\times \mathbb {R}^+ \rightarrow \mathbb {R}^+\) is a \(C^1\) function, such that \(F(x,tz,ty)=t^{{2^*}}F(x,z,y),\) for \(t>0\), \(\forall x\in \overline{\Omega },(z,y)\in (\mathbb {R}^+)^2\);
\((F_2)\quad F(x,z,0)=F(x,0,y)=\frac{\partial F}{\partial y}(x,0,y)=\frac{\partial F}{\partial z}(x,z,0),\) where \(z,y\in \mathbb {R}^+\);
\((F_3)\quad \frac{\partial F}{\partial z}(x,z,y),\, \frac{\partial F}{\partial y}(x,z,y),\) are strictly increasing functions about z and y for all \(z>0,y>0\).
Remark 1.1
We point out some important properties of homogeneous functions. Let \(\kappa \ge 1\) and H be a differentiable \(\kappa\)-homogeneous function, then
-
(i)
for all \(m,n\in \mathbb {R},\,mH_m(m,n)+nH_n(m,n)=\kappa H(m,n);\)
-
(ii)
there exists \(M_H>0\), such that \(|H(m,n)|\le M_H(|m|^{\kappa }+|n|^{\kappa }),\) for all \(m,n\in \mathbb {R},\) where \(M_H=\max \{H(m,n): m,n\in \mathbb {R},|m|^{\kappa }+|n|^{\kappa }=1\}\);
-
(iii)
the maximum \(M_H\) is attained for some \((m_0,n_0)\in \mathbb {R}^2\), i.e., \(|m_0|^{\kappa }+|n_0|^{\kappa }=1\) and \(H(m_0,n_0)=M_H\);
-
(iv)
\(H_m(m,n),H_n(m,n)\) are \((\kappa -1)\) homogeneous.
By \((F_1)\) and the properties of homogeneous functions, we have
and
where
Define
then we have [1]
The main result of this paper is the following theorems.
Theorem 1.2
Assume that parameters \((\alpha ,\beta )\in \Theta _{\omega }\) and \((F_{1})-(F_{3})\) hold. Then, problem (1) has at lest one positive solutions.
Theorem 1.3
Assume that parameters \((\alpha ,\beta )\in \Theta _{\omega ^{*}_{0}}\) and \((F_{1})-(F_{3})\) hold. Then, problem (1) has at lest two positive solutions.
This paper is organized as follows. In Sect. 2, we consider some properties of Nehari manifold. In Sect. 3, we show that \((\mathrm{PS})_c\) condition holds for \(E_{(\alpha ,\beta )}\) with c in certain interval, and then, we prove Theorems 1.2 and 1.3.
Nehari manifold
Definition 2.1
A pair of functions \((z,y)\in Q\) is weak solution to (1), if for all \((\phi ,\varphi )\in Q\):
Thus, the corresponding energy functional of problem (1) is defined by
for \((z,y)\in Q\), where \(D_{\alpha ,\beta }(z,y)=\alpha \int _{\Omega }g(x)|z|^{q}\mathrm{d}x+\beta \int _{\Omega }h(x)|y|^{q}\mathrm{d}x.\)
Throughout of this paper for \(0\le \sigma <\overline{\sigma }\), we suppose that \(S_{\mu }\) is the best Sobolev embedding constant [5, 6], where \(S_{\sigma }\) is independent of \(\Omega\) [9].
It is well known that the weak solutions of (1) are the critical points of the energy functional \(E_{\alpha ,\beta }\). If \(E_{\alpha ,\beta }\) is bounded below and has a minimizer on Q, then this minimizer is a critical point of \(E_{\alpha ,\beta }\). Therefore, it is a solution of the corresponding elliptic system. However, the energy function, \(E_{\alpha ,\beta }\), is not bounded below on the whole space Q, but is bounded on an appropriate subset, that is called Nehari manifold. Then, we have
Thus, \((z,y)\in \mathcal {N_{\alpha ,\beta }}\) if and only if
Note that \(\mathcal {N_{\alpha ,\beta }}\) contains every non-zero solution of Eq. (1). We now recall the following Lemma.
Lemma 2.2
[2, Lemma 2.1] The energy functional \(E_{\alpha ,\beta }\) is coercive and bounded below on \(\mathcal {N_{\alpha ,\beta }}\).
Now, we split \(\mathcal {N}_{\alpha ,\beta }\) into three parts:
By an argument similar to that [4, Theorem 2.3], we have the following lemma.
Lemma 2.3
Assume that \((z_{0},y_{0})\) is local minimizer for \(E_{\alpha ,\beta }\) on \(\mathcal {N_{\alpha ,\beta }}\) and \((z_{0},y_{0}) \notin \mathcal {N}^{0}_{\alpha ,\beta }\). Then, \(E'_{\alpha ,\beta }(z_{0},y_{0})=0\) in \(Q^{-1}\).
Lemma 2.4
There exists a positive number \(\omega =\omega (q,N,M_F,S,|\Omega |)\) such that if \((\alpha ,\beta )\in \Theta _{\omega },\) then \(\mathcal {N}^{0}_{\alpha ,\beta }=\emptyset\).
Using Lemma 2.4, we have \(\mathcal {N}_{\alpha ,\beta }=\mathcal {N}^{+}_{\alpha ,\beta }\cup \mathcal {N}^{-}_{\alpha ,\beta }\). Define
Now, we recall the following results.
Proposition 2.5
[2, Theorem 2.5]
-
(i)
If \((\alpha ,\beta )\in \Theta _{\omega },\) then \(\vartheta _{\alpha ,\beta }\le \vartheta ^{+}_{\alpha ,\beta }<0\);
-
(ii)
If \((\alpha ,\beta )\in \Theta _{\omega _0}\), then \(\vartheta ^{-}_{\alpha ,\beta }>c_{0}\) for some \(c_{0}=c_{0}(\alpha ,\beta ,q,N,S,|\Omega |)>0.\)
Lemma 2.6
[2, Lemma 2.6] If \(\int _{\Omega }F(x,z,y)\mathrm{d}x>0\), then there are unique \(t^{+}\) and \(t^{-}\) with \(0<t^{+}<t_{\max }<t^{-}\), such that \((t^{+}z,t^{+}y)\in \mathcal {N}^{+}_{\alpha ,\beta },(t^{-}z,t^{-}y)\in \mathcal {N}^{-}_{\alpha ,\beta }\,\)(for each \((z,y)\in Q\)) and
Proof of Theorems 1.2 and 1.3
This section is devoted to providing of the main results of this paper. In the first, we recall some notions and results. For details, see [7, 8, 11, 13, 14].
Definition 3.1
-
(i)
For \(c\in \mathbb {R}\), a sequence \(\{(z_n,y_n)\}\) is a \((\mathrm{PS})_c\) sequence in Q for \(E_{\alpha ,\beta }\) if \(E_{\alpha ,\beta }(z_n,y_n)=c+o_n(1),\) and \(E'_{\alpha ,\beta }(z_n,y_n)=o_n(1)\) strongly in Q, as \(n\rightarrow \infty\).
-
(ii)
\(c\in \mathbb {R}\) is a \((\mathrm{PS})_c\) value in Q for \(E_{\alpha ,\beta }\) if there exists a \((\mathrm{PS})_c\) sequence in Q for \(E_{\alpha ,\beta }\).
-
(iii)
\(E_{\alpha ,\beta }\) satisfies the \((\mathrm{PS})_c\) condition in Q if any \((\mathrm{PS})_c\) sequence \(\{(z_n,y_n)\}\) in Q for \(E_{\alpha ,\beta }\) contains a convergent subsequence.
We also need the following theorem due to Tsung-Fang Wu [15].
Lemma 3.2
[15, Proposition 9]
-
(i)
If \((\alpha ,\beta )\in \Theta _{\omega }\), then there exists a \((\mathrm{PS})_{\vartheta _{\alpha ,\beta }}\) sequence \(\{(z_{n},y_{n})\}\subset \mathcal {N}_{\alpha ,\beta }\) in Q for \(E_{\alpha ,\beta }\).
-
(ii)
If \((\alpha ,\beta )\in \Theta _{\omega _0}\), then there exists a \((\mathrm{PS})_{\vartheta ^{-}_{\alpha ,\beta }}\) sequence \(\{(z_{n},y_{n})\}\subset \mathcal {N}^{-}_{\alpha ,\beta }\) in Q for \(E_{\alpha ,\beta }.\)
In the following theorem, we express the existence of a local minimum for \(E_{\alpha ,\beta }\) on \(\mathcal {N}^{+}_{\alpha ,\beta }.\)
Theorem 3.3
Assume that \((\alpha ,\beta )\in \Theta _{\omega },\) and \((F_{1})- (F_{3})\) hold. Then, \(E_{\alpha ,\beta }\) has a minimizer \(\{(z^{+}_{0},y^{+}_{0})\}\subset \mathcal {N}^{+}_{\alpha ,\beta }\) and
-
(i)
\(E_{\alpha ,\beta }(z^{+}_{0},y^{+}_{0})=\vartheta _{\alpha ,\beta }=\vartheta ^{+}_{\alpha ,\beta }\),
-
(ii)
\((z^{+}_{0},y^{+}_{0})\) is a positive solution of problem (1).
Proof
Using Lemma 3.2(i), there exists a minimizing sequence \(\{(z_n,y_n)\}\) for \(E_{\alpha ,\beta }\) on \(\mathcal {N}_{\alpha ,\beta }\), such that
Then, by Lemma 2.2 and the compact imbedding theorem, there exist a subsequence \(\{(z_n,y_n)\}\) and \(\{(z_0^+,y_0^+)\}\in Q\), such that
This implies that \(D_{\alpha ,\beta }(z_n,y_n)\rightarrow D_{\alpha ,\beta }(z_0^+,y_0^+)\) as \(n\rightarrow \infty\).
Using (6) and (7), it is not hard to see that \((z_0^+,y_0^+)\) is a weak solution of (1).
Since
and using Lemma 2.5(i)
Letting \(n\rightarrow \infty\), we see that \(D_{\alpha ,\beta }(z_0^+,y_0^+)>0\). Thus, \((z_0^+,y_0^+)\) is a nontrivial solution of problem (1).
Now, it follows that \(z_n\rightarrow z_0^+\) strongly in \(H_0^1(\Omega )\), \(y_n\rightarrow y_0^+\) strongly in \(H_0^1(\Omega )\) and \(E_{\alpha ,\beta }(z_0^+,y_0^+)= \vartheta _{\alpha ,\beta }\). As \((z_n,y_n)\in \mathcal {N}_{\alpha ,\beta }\) and applying Fatou’s lemma, we have
This implies that
Let \((\overline{z}_n,\overline{y}_n)=(z_n,y_n)-(z_0^+,y_0^+)\), then Br\(\acute{\mathrm{e}}\)zis–Lieb lemma [3], implies
Therefore, \(z_n\rightarrow z_0^+\) strongly in \(H_0^1(\Omega )\), \(y_n\rightarrow y_0^+\) strongly in \(H_0^1(\Omega )\). Moreover, we have \((z_0^+,y_0^+)\in \mathcal {N}_{\alpha ,\beta }^+\). In fact, if \((z_0^+,y_0^+)\in \mathcal {N}_{\alpha ,\beta }^-\), by Lemma 2.6, there are unique \(t_0^+\) and \(t_0^-\), such that \((t_0^+z_0^+,t_0^+y_0^+)\in \mathcal {N}_{\alpha ,\beta }^+\) and \((t_0^-z_0^+,t_0^-y_0^+)\in \mathcal {N}_{\alpha ,\beta }^-\). In particular, we have \(t_0^+<t_0^-=1\). Since
there exists \(t_0^+<\overline{t}\le t_0^-\), such that \(E_{\alpha ,\beta }(t_0^+z_0^+, t_0^+y_0^+)<E_{\alpha ,\beta }(\overline{t}z_0^+,\overline{t}y_0^+)\). By Lemma 2.6
which is a contradiction.
It follows from the maximum principle that \((z_0^+,y_0^+)\) is a positive solution of problem (1). \(\square\)
Lemma 3.4
[12, Lemma 2.2] Let \(\{(z_{n},y_{n})\}\subset Q\) be a \((\mathrm{PS})_c\) sequence for \(E_{\alpha ,\beta }\) with \((z_{n},y_{n})\rightharpoonup (z,y)\) in Q, then \(E'_{\alpha ,\beta }(z,y)=0\), and there exists a constant \(d_{0}=d_0(q,N,S,|\Omega |)\), such that \(E_{\alpha ,\beta }(z,y)\ge -d_{0}((\alpha |g^+|_{\infty })^{\frac{2}{2-q}}+(\beta |h^+|_{\infty })^{\frac{2}{2-q}})\).
Lemma 3.5
[12, Lemma 4.1] Let \(\{(z_{n},y_{n})\}\subset Q\) be a \((\mathrm{PS})_{c}\) sequence for \(E_{\alpha ,\beta }\), then \((z_{n},y_{n})\) is bounded in Q.
Lemma 3.6
Assume that \((F_1)-(F_3)\) hold. Then, \(E_{\alpha ,\beta }\) satisfies the \((\mathrm{PS})_{c}\) condition with c satisfying
where \(d_0\) is positive constant given in Lemma 3.4.
Proof
Let \(\{(z_{n},y_{n})\}\subset Q\) be a \((\mathrm{PS})_c\) sequence for \(E_{\alpha ,\beta }\) with \(c\in (-\infty ,c_\infty )\). It follows from Lemma 3.5 that \(\{(z_{n},y_{n})\}\) is bounded in Q, and then \((z_{n},y_{n})\rightharpoonup (z,y)\) up to a subsequence, (z, y) is a critical point of \(E_{\alpha ,\beta }\). Furthermore, we may assume
Hence, \(E_{\alpha ,\beta }'(z,y)=0,\) and
Let \(\overline{z}_n=z_n-z,\,\overline{y}_n=y_n-y\). Using Br\(\acute{\mathrm{e}}\)zie–Lieb lemma [3], we obtain
In addition, using an argument similar to that [10, Lemma 8]
Since \(E_{\alpha ,\beta }(z_n,y_n)=c+o(1),\,E_{\alpha ,\beta }'(z,y)=o_n(1)\) and (9)–(11), we can deduce that
and
Hence, we may assume that
If \(l=0\), then the proof is complete. Assume that \(l>0\), then from (14), we obtain
which implies that \(l\ge I_{F}^{\frac{N}{2}}\). In addition, from Lemma 3.4, relations (12) and (14), we get
which contradicts \(c<\frac{1}{N}I_{F}^{\frac{N}{2}}-d_0((\alpha |g^+|_{\infty })^{\frac{2}{2-q}}+(\beta |h^+|_{\infty })^{\frac{2}{2-q}})\). \(\square\)
Lemma 3.7
Assume that \((F_1)-\) \((F_3)\) hold. Then, there exist a nonnegative function \((z,y)\in Q\backslash \{(0,0)\}\) and \(\omega ^{*}>0\), such that for \(0<(\alpha |g^+|_{\infty })^{\frac{2}{2-q}}+(\beta |h^+|_{\infty })^{\frac{2}{2-q}}<\omega ^{*}\), we have
In particular, \(\vartheta ^{-}_{\alpha ,\beta }<c_{\infty }\) for all \(0<(\alpha |g^+|_{\infty })^{\frac{2}{2-q}}+(\beta |h^+|_{\infty })^{\frac{2}{2-q}}<\omega ^{*}.\)
Proof
Since \(0\in \Omega\), there is \(\varrho _0>0\), such that \(B_{2\varrho _0}(0)\subset \Omega\). Now, we define a cut-off function \(\gamma (x)\) satisfying \(\gamma (x)=1\) for \(|x|\le \varrho _0,\gamma (x)=0\) for \(|x|>2\varrho _0\), \(0\le \gamma <1\) and \(|\nabla \gamma |\le C\). For \(\varepsilon >0\), let
where \(\overline{\sigma }=(\frac{N-2}{2})^{2},\, \tau '=\sqrt{\overline{\sigma }}- \sqrt{\overline{\sigma }-\sigma _{k}}\) and \(\tau =\sqrt{\overline{\sigma }}+ \sqrt{\overline{\sigma }-\sigma _{k}}.\) Using the property (iii) of homogeneous functions, there exists \((e_1,e_2)\in \mathbb {R}^2\), such that \(e_{1}^{2}+e_{2}^{2}=1\) and \(F(x,e_1,e_2)=M_F^{\frac{2^*}{2}}\).
For \(t\ge 0\), we consider \(z_{0}=e_{1}z_{\varepsilon }, \,y_{0}= e_{2}z_{\varepsilon }\) and \((z_{0},y_{0})\in Q\). We now define the following functions:
and
Step 1 We need to show that
To do this, we need to established the following estimates (as \(\varepsilon \rightarrow 0\)):
where \(U(x)=(|x|^{\tau '/\sqrt{\overline{\sigma }}}+ |x|^{\tau /\sqrt{\overline{\sigma }}})^{-\sqrt{\overline{\sigma }}},\) and \(\omega _{N}=2\pi ^{N/2}/N\Gamma (\frac{N}{2})\) is the volume of the unit ball B(0, 1) in \(\mathbb {R}^{N}\). We only show that the equality (15) is valid. By definition of \(z_{\varepsilon }\), we have
On the other hand, let \(x=\varepsilon ^{\frac{\sqrt{\overline{\sigma }}}{\tau _k-\tau '_k}}y\), we can deduce that
We have
Hence
that is
Now, let \(\varepsilon\) be small enough, such that \(d_1\varepsilon ^{\frac{N}{2}} |U|^{-2^*}_{L^{2^*}(\mathbb {R}^N)}<1\), then from (21), we can deduce that
which yield that
equivalently, the equality (15) is valid.
Combining (15) and (16), we obtain that
Step 2 Using the fact that
and using \((F_1)\), (3), (4), and (15)–(17), we conclude that
Let \(d_0\) be the positive constant given in Lemma 3.4. We can choose \(\varepsilon _1>0\), such that for all \(0<(\alpha |g^+|_{\infty })^{\frac{2}{2-q}}+ (\beta |h^+|_{\infty })^{\frac{2}{2-q}}<\varepsilon _1\), then
Using the definitions \(E_{\alpha ,\beta }\) and \((z_0,y_0)\), we obtain
which implies that there exists \(t_0\in (0,1)\) satisfying
Using the definitions of \(E_{\alpha ,\beta },(z_0,y_0)\), and Step 1, we have
where \(m=\min \{e_1^q|g^+|_{\infty },e_2^q|h^+|_{\infty }\}\). Let \(0<\varepsilon \le \varepsilon _0^{\frac{\tau -\tau '}{\sqrt{\overline{\sigma }}}}\), then
Combining relations (21) and (28), for all \(\varepsilon =((\alpha |g^+|_{\infty })^{\frac{2}{2-q}}+(\beta |h^+|_{\infty }) ^{\frac{2}{2-q}})^{\frac{2}{N-2}}\in (0,\varrho _0^ {\frac{\tau -\tau '}{\sqrt{\overline{\sigma }}}})\), we have
we can choose \(\varepsilon _2>0\), such that for all \(0<(\alpha |g^+|_{\infty })^{\frac{2}{2-q}} +(\beta |h^+|_{\infty })^{\frac{2}{2-q}}<\varepsilon _2\), we have
If we set \(\omega ^*=\min \{\varepsilon _1,\varepsilon _0^{N-2},\varepsilon _2\}\) and \(\varepsilon = ((\alpha |g^+|_{\infty })^{\frac{2}{2-q}}+(\beta |h^+|_{\infty })^{\frac{2}{2-q}})^{\frac{2}{N-2}},\) then for \(0<(\alpha |g^+|_{\infty })^{\frac{2}{2-q}}+(\beta |h^+|_{\infty })^{\frac{2}{2-q}}<\omega ^*\):
Finally, we prove that \(\vartheta ^-_{\alpha ,\beta }<c_\infty\) for all \(0<(\alpha |g^+|_{\infty })^{\frac{2}{2-q}}+(\beta |h^+|_{\infty })^{\frac{2}{2-q}}<\omega ^*\). Recall that \((z_0,y_0)=(e_1z_{\varepsilon },e_2z_{\varepsilon })\). It is easy to see that
Using Lemma 2.6, and from the definition of \(\vartheta ^-_{\alpha ,\beta }\) and (30), there exists \(t_0>0\), such that \((t_0z_0,t_0y_0)\in \mathcal {N}^-_{ \alpha ,\beta }\) and
This completes the proof. \(\square\)
Now, we establish the existence of a local minimum of \(E_{\alpha ,\beta }\) on \(\mathcal {N}^-_{\alpha ,\beta }\).
Theorem 3.8
If \(0<(\alpha |g^+|_{\infty })^{\frac{2}{2-q}}+(\beta |h^+|_{\infty })^{\frac{2}{2-q}}<\omega ^{*}_{0}\), \((F_{1})-(F_{3})\) hold, then \(E_{\alpha ,\beta }\) has a minimizer \((z^{-}_{0},y^{-}_{0})\) in \(\mathcal {N}^{-}_{\alpha ,\beta }\) and
-
(i)
\(E_{\alpha ,\beta }(z^{-}_{0},y^{-}_{0})=\vartheta ^{-}_{\alpha ,\beta }\),
-
(ii)
\((z^{-}_{0},y^{-}_{0})\) is a positive solution of problem (1), where
$$\begin{aligned} \omega ^{*}_{0}=\min \left\{ \omega ^{*},\left( \frac{q}{2}\right) ^{\frac{2}{2-q}}\omega \right\} . \end{aligned}$$
Proof
By Lemma 3.2(ii), there is a \((\mathrm{PS})_{\vartheta ^{-}_{\alpha ,\beta }}\) sequence \(\{(z_n,y_n)\}\subset \mathcal {N}^-_{\alpha ,\beta }\) in Q for \(E_{\alpha ,\beta }\) for all \(\alpha ,\beta \in \Theta _{\omega _0}\). From Lemmas 3.6, 3.7 and 2.5(ii), for \(\alpha ,\beta \in \Theta _{\omega ^*}\), \(E_{\alpha ,\beta }\) satisfies \((\mathrm{PS})_{\vartheta ^{-}_{\alpha ,\beta }}\) condition and \(\vartheta ^{-}_{\alpha ,\beta }>0\). Since \(E_{\alpha ,\beta }\) is coercive on \(\mathcal {N}^-_{\alpha ,\beta }\), we get that \((z_n,y_n)\) is bounded in Q. Therefore, there exists a subsequence still denoted by \((z_n,y_n)\) and \((z_0^-,y_0^-)\in \mathcal {N}^-_{\alpha ,\beta }\), such that \((z_n,y_n)\rightarrow (z_0^-,y_0^-)\) strongly in Q and \(E_{\alpha ,\beta }(z_0^-,y_0^-)={\vartheta ^{-}_{\alpha ,\beta }}>0\) for all \(\alpha ,\beta \in \Theta _{\omega _1}\). Finally, by the same arguments as in the proof of Theorem 3.3, for all \(\alpha ,\beta \in \Theta _{\omega _1}\), we have that \((z_0^-,y_0^-)\) is a positive solution of problem (1). \(\square\)
Now, we complete the proof of Theorems 1.2 and 1.3; by Theorem 3.3, we obtain that for all \(\alpha ,\beta \in \Theta _{\omega }\), problem (1) has a positive solution \((z_0^+,y_0^+)\in \mathcal {N}^+_{\alpha ,\beta }\). On the other hand, from Theorem 3.8, we get the second positive solution \((z_0^-,y_0^-)\in \mathcal {N}^-_{\alpha ,\beta }\) for all \(\alpha ,\beta \in \Theta _{\omega _1}\). Since \(\mathcal {N}^+_{\alpha ,\beta }\cap \mathcal {N}^-_{\alpha ,\beta }=\emptyset\), this implies that \((z_0^+,y_0^+)\) and \((z_0^-,y_0^-)\) are distinct. This completes the proof of Theorems 1.2 and 1.3.
References
Alves, C.O., de Moraes Fillho, D.C., Miyagaki, O.H.: Multiple solutions for an elliptic system on bounded or unbounded domains. Nonlinear Anal. 56, 555–568 (2004)
Brown, K.J., Wu, T.F.: A semilinear elliptic system involving nonlinear boundary condition and sign changing weight function. J. Math. Anal. Appl. 337, 1326–1336 (2008)
Brezis, H., Lieb, E.: A relation between pointwise convergence of functions and convergece of functionals. Proc. Am. Math. Soc. 88, 486–490 (1983)
Brown, K.J., Zhang, Y.: The Nehari manifold for a semilinear elliptic problem with a sign changing weight function. J. Differ. Equ. 193, 481–499 (2003)
Caffarelli, L., Kohn, R., Nirenberg, L.: First order interpolation inequality with weights. Compos. Math. 53, 259–275 (1984)
Chou, K.S., Chu, C.W.: On the best constant for a weighted Sobolev–Hardi inequality. Commun. J. Lond. Math. Soc. 48, 137–151 (1993)
Chu, C.M., Tang, C.L.: Existence and multiplicity of positive solutions for semilinear elliptic system with Sobolev critical exponent. Nonlinear Anal. 71, 5118–5130 (2009)
Ekeland, I.: On the variational principle. J. Math. Anal. Appl. 17, 324353 (1974)
Ferrero, A., Gazzola, F.: Existence of solutions for singular critical growth semilinear elliptic equations. J. Differ. Equ. 177, 494–522 (2001)
de Filho, D.C.M., Souto, M.A.S.: System of \(p\)-Laplacian equations involving homogeneous nonlinearities with critical Sobolev exponent degrees. Commun. Partial Differ. Equ. 24, 1537–1553 (1999)
Hsu, T.S.: Multiple positive solutions for a critical quasilinear elliptic system with concave–convex nonlinearities. Nonlinear Anal. 71, 2688–2698 (2009)
Hsu, T.S.: Multiple positive solutions for semilinear elliptic equations involving multi-singular inverse square potentials and concave–convex nonlinearities. Nonlinear Anal. 74, 3703–3715 (2011)
Hsu, T.S.: On the elliptic problem involving multisingular inverse square potentials and concave–convex nonlinearities. Abstr. Appl. Anal. 408307, 1–22 (2011)
Hsu, T.S., Lin, H.L.: Multiple solutions for singular elliptic equations with weighted Hardy terms and critical Sobolev-Hardy exponents. Proc. R. Soc. Edinb. Sect. A 140, 617–633 (2010)
Wu, T.F.: On semilinear elliptic equations involving concave-convex nonlinearities and sign-changing weight function. J. Math. Anal. Appl. 318, 253–270 (2006)
Acknowledgements
The authors are grateful to the referee for some valuable comments that led to an improvement of the manuscript.
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
Akhavan, A., Rahimi, H. The Nehari manifold approach for multiplicity of positive solutions to semilinear elliptic system involving multi-singular inverse square potentials with Sobolev critical exponent. Math Sci 11, 267–273 (2017). https://doi.org/10.1007/s40096-017-0228-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40096-017-0228-y