- Research
- Open access
- Published:
A fixed point operator for systems of vector p-Laplacian with singular weights
Boundary Value Problems volume 2016, Article number: 73 (2016)
Abstract
In this paper, after establishing a fixed point operator for a strongly coupled vector p-Laplacian with a singular and sign-changing weight function, which may not be integrable, we investigate the existence for the Dirichlet boundary value problems of strongly coupled vector p-Laplacian systems with a nonlinear term consisting of Hadamard product. The proofs are mainly based on topological degree arguments and the global continuation theorem.
1 Introduction
We are concerned with the existence of nontrivial solutions for strongly coupled nonlinear differential systems of the form
where \(p>1\), \(\Psi_{p}: \mathbb{R}^{N} \to\mathbb{R}^{N}\) is defined by \(\Psi _{p}(x)=|x|^{p-2}x\), \(\lambda>0\) is a parameter, \(h(t)=(h_{1}(t),\ldots ,h_{N}(t))\) with \(h_{i} :(0,1) \to\mathbb{R}\), and \(f(u)=(f_{1}(u),\ldots,f_{N}(u))\) with continuous \(f_{i}: \mathbb{R}^{N}\to\mathbb{R}\). Here we denote \(x \cdot y = (x_{1}y_{1}, x_{2}y_{2}, \ldots, x_{N}y_{N})\) the Hadamard product of x and y in \(\mathbb{R}^{N}\). Thus, problem (\(P_{\lambda}\)) can be rewritten as
Throughout the paper, we denote by \(|\cdot|\) the absolute value on \(\mathbb{R}\) or the Euclidean norm on \(\mathbb{R}^{N}\) and by \(\langle\cdot,\cdot\rangle\) the inner product on \(\mathbb{R}^{N}\) and define \(\varphi_{p}: \mathbb{R} \to\mathbb{R}\) by \(\varphi _{p}(s)=|s|^{p-2}s\). For a weight function h, we assume that \(h_{i} \in \mathcal{H}\), where
It is well known that \(L^{1} (0,1) \subsetneqq\mathcal{H}\). Thus, a function in \(\mathcal{H}\) may have stronger singularity at the boundary than a function in \(L^{1}(0,1)\) (see examples in Section 4). If \(h_{i} \in\mathcal{H}\) for all \(i=1,2,\ldots,N\), then \(|h| \in \mathcal{H}\). In this sense, we shall denote \(h \in\mathcal{H}\) whenever \(h_{i} \in\mathcal{H}\) for all \(i=1,2,\ldots,N\).
Scalar equations or systems of p-Laplacian-like problem (\(P_{\lambda}\)) appear in various applications, which describe reaction-diffusion systems, nonlinear elasticity, glaciology, population biology, combustion theory, and non-Newtonian fluids (see [1–4]). The study on the existence of solutions for p-Laplacian scalar equations or systems or more generalized Laplacian systems has attracted much attention recently (see [5–18] and the references therein).
Among their general setup, a solution operator for nonlinear p-Laplacian systems was introduced in the pioneering works of Manásevich and Mawhin [19, 20]. They applied the solution operator to study the existence of solutions for systems of strongly coupled vector p-Laplacian-like operators with \(L^{1}\)-Carathéodory nonlinear perturbations.
We see that the \(L^{1}\)-Carathéodory condition in problem (\(P_{\lambda}\)) corresponds to the condition \(h \in L^{1}((0,1),\mathbb{R}^{N})\). As a generalization of the \(L^{1}\)-Carathéodory condition, it is interesting to consider the case \(h \in\mathcal{H}\). Since our problem involves systems of strongly coupled differential operators and the weight function h may change sign, related studies are not known yet, as far as the authors know. Recently, for a scalar equation of (\(P_{\lambda}\)), Sim and Lee [21] established a new solution operator and proved an existence result by the global continuation theorem.
Thus, the goal of this paper is to get an existence result for (\(P_{\lambda}\)) where the differential operator is related to strongly coupled vector p-Laplacian and the weight function has stronger singularity at the boundary than \(L^{1}\) and sign-changing. The novelty of the paper is providing a new solution operator, which is the most generalized so far.
This paper is organized as follows. In Section 2, we derive a solution operator for problem (W)+(D) with \(g \in\mathcal{H}\). In Section 3, we prove the compactness of the solution operator for (\(P_{\lambda}\)) with \(\lambda=1\). In Section 4, we show the existence of solutions and give some illustrative examples, which satisfy all assumptions in the paper and are not given in other studies.
2 A fixed point operator
In this section, we construct a solution operator for a strongly coupled vector p-Laplacian. Let us consider a problem of the form
where \(g\in\mathcal{H}\). Since g may not be in \(L^{1}((0,1),\mathbb{R}^{N})\), the solution of (W)+(D) may not be in \(C^{1}([0,1],\mathbb{R}^{N})\). For an example of a simple scalar case, take \(g(t) = (p-1) t^{-1}|1+ \ln t|^{p-2}\), \(p>2\); then \(g \notin L^{1}(0,1)\), but \(g\in\mathcal{H}\), and the solution u is given by \(u(t) = -t \ln t\), which is not in \(C^{1}[0,1]\).
So by a solution to this problem we mean a function \(w \in C([0,1],\mathbb{R}^{N}) \cap C^{1}((0,1),\mathbb{R}^{N})\) with \(\Psi_{p}(w')\) absolutely continuous that satisfies equations (W)+(D).
We first give some remarks for calculations later on.
Remark 2.1
From the definition of \(\Psi_{p}\) and \(\varphi_{p}\) we get, for any \(x, y\in\mathbb{R}^{N}\),
where
Remark 2.2
By the homogeneity of \(\varphi_{p}^{-1}\) we can deduce that if \(h \in \mathcal{H}\), then \(\alpha\cdot h \in\mathcal{H}\) for all \(\alpha\in C([0,1],\mathbb{R}^{N})\).
Let w be a solution of (W)+(D). Then integrating both sides of \((W)\) on the intervals \([s,\frac{1}{2}]\) and \([\frac{1}{2},s]\) for \(s\in(0,\frac {1}{2}]\) and \(s\in[\frac{1}{2},1)\), respectively, we find that (W)+(D) is equivalent to
where \(a=\Psi_{p}(w'(\frac{1}{2}))\). Applying Remark 2.1 with \(x=a\) and \(y=\int_{s}^{\frac{1}{2}}g(\tau)\,d\tau\), we get
Since \(g \in\mathcal{H}\), we know that
Thus, we may integrate both sides of (2.1) on the interval \([0,t]\) for \(t\in[0,\frac{1}{2}]\) and on the interval \([t,1]\) for \(t\in[\frac{1}{2},1]\), and we get
We need to check that \(w(\frac{1}{2}^{-})=w(\frac{1}{2}^{+})\). For \(a \in\mathbb{R}^{N}\), define
Then the function \(G_{g}: \mathbb{R}^{N}\rightarrow\mathbb{R}^{N}\) is well defined. If \(G_{g}\) has a unique zero, then \(w(\frac{1}{2}^{-})=w(\frac{1}{2}^{+})\). For this, we give the following lemma.
Lemma 2.3
For given \(g \in\mathcal{H}\), the function \(G_{g}\) defined in (2.2) has a unique zero \(a=a(g)\) in \(\mathbb{R}^{N}\).
Proof
I. Existence. We claim that there exists \(r>0\) such that \(\langle G_{g} (a),a \rangle>0\) for all \(a \in\partial B_{r}(0)\subset\mathbb{R}^{N}\). If the claim is valid, then we consider the homotopy
By the claim,
for any \(a\in\partial B_{r}(0)\), \(\lambda\in[0,1]\). Taking \(\Omega=B_{r}(0)\), we see that the Brouwer degree \(d_{B}(h(\lambda,a), \Omega,0)\) is well defined, and by the homotopy invariance property we get
since \(0\in\Omega\). This completes the proof of the existence of a zero of \(G_{g}\). We now prove the claim. For convenience, we denote
Then it suffices to show that there exists \(r>0\) such that \(\langle H_{g} (a), a\rangle> 0\) and \(\langle W_{g} (a), a \rangle< 0\) for all \(a \in\partial B_{r}(0)\subset \mathbb{R}^{N}\). Indeed, we have
where \(\delta\in(0,\frac{1}{2})\) will be determined later. Since \(g\in \mathcal{H}\), both integrations are well defined, and we denote
We first consider \(H_{1,\delta}\). Since
applying Remark 2.1, we obtain
where \(p^{\ast}=\frac{p}{p-1}\). Thus, we get
Now we consider \(H_{2,\delta}\). Since \(\langle\Psi_{p}(x),x\rangle =|x|^{p}\), \(x \in\mathbb{R}^{N}\), we see that
Moreover, for \(s\in[\delta,\frac{1}{2}]\), \(|\int_{s}^{\frac{1}{2}}g(\tau )\,d\tau|\leq\int_{\delta}^{\frac{1}{2}}|g(\tau)|\,d\tau<\infty\); thus, denoting \(\int_{\delta}^{\frac{1}{2}}|g(\tau)|\,d\tau\triangleq M_{\delta}\), we obtain
Since \(p^{*} >1\) and
for \(s\in[\delta,\frac{1}{2}]\), taking \(|a|\) large enough to satisfy \(|a|-M_{\delta}>0\), we get
Combining (2.3) and (2.4), we get that
Since \(g\in\mathcal{H}\), we have that \(\varphi_{p}^{-1} (\int _{s}^{\frac{1}{2}}|g(\tau)|\,d\tau )\in L^{1}(0,\delta]\). Choosing \(\delta>0\) sufficiently small and \(|a|=r\) sufficiently large, we can make the right-hand side of (2.5) strictly greater than 0. This implies that there exists \(r>0\) such that \(\langle H_{g}(a),a \rangle>0\) for all \(a \in\partial B_{r}(0)\). Applying a similar argument, we can show that \(\langle W_{g} (a), -a \rangle> 0\) for all \(a \in\partial B_{r}(0)\). Therefore, we conclude that there exists \(r>0\) such that \(\langle G_{g}(a),a \rangle>0\) for all \(a \in\partial B_{r}(0)\), and the claim is proved.
II. Uniqueness. Suppose that \(a_{1}\) and \(a_{2}\) are two distinct zeros of \(G_{g}\). Then
On the contrary,
Therefore, we get
since \(\langle\Psi_{p}^{-1}(x)-\Psi_{p}^{-1}(y),x-y\rangle>0\) for all \(x,y\in\mathbb{R}^{N}\), \(x\neq y\). This contradiction completes the proof of uniqueness. □
Lemma 2.3 implies that if \(g\in\mathcal{H}\), then the solution w of (W)+(D) can be represented by
where \(a(g)\in\mathbb{R}^{N}\) satisfies
We note that \(a(g)\) is determined uniquely up to g, and from this uniqueness property the following corollary is obvious.
Corollary 2.4
Let \(g\in\mathcal{H}\), Then, as a function of g, a is homogeneous, that is,
On the other hand, it is not hard to see that the function w defined in (2.6) satisfies \(w\in C([0,1],\mathbb{R}^{N})\cap C^{1}((0,1),\mathbb{R}^{N})\), \(\Psi_{p}(w')\) is absolutely continuous on \((0,1)\), and w satisfies (W)+(D). Therefore, we conclude that if \(g\in \mathcal{H}\), then w is a solution of (W)+(D) if and only if w satisfies (2.6).
3 Compactness of the fixed point operator
Consider a nonlinear problem of the form
where \(h \in\mathcal{H}\) and \(f \in C(\mathbb{R}^{N},\mathbb{R}^{N})\). We note that, by Remark 2.2, \(h\cdot f(u)\in\mathcal{H}\). Let us apply the solution representation for (W)+(D) given in (2.6) replacing g with \(h\cdot f(u)\). Then we may rewrite problem (P) equivalently as
where \(T: C([0,1],\mathbb{R}^{N}) \to C([0,1],\mathbb{R}^{N})\) is defined by
In this section, we prove that the solution operator T is completely continuous. For this, we need two lemmas about the properties of \(a( h\cdot f(u))\). Since h and f are fixed, we regard \(a( h\cdot f(u))\) as a function of \(u\in C([0,1],\mathbb{R}^{N})\).
Lemma 3.1
The function a sends bounded sets in \(C([0,1],\mathbb{R}^{N})\) into bounded sets in \(\mathbb{R}^{N}\).
Proof
Assume that a sequence \(\{u_{n}\}\) is bounded in \(C([0,1],\mathbb {R}^{N})\). Let us denote \(a_{n}\triangleq a(h\cdot f(u_{n}))\) and \(G_{n} \triangleq G_{h\cdot f(u_{n})}\). Suppose that \(\{a_{n}\}\) is unbounded in \(\mathbb{R}^{N}\). Then there exists a subsequence \(\{a_{n_{k}}\}\) such that \(|a_{n_{k}}|\rightarrow \infty\) as \(k\rightarrow\infty\). Since each \(a_{n_{k}}\) is a zero of \(G_{n_{k}}\), we see that \(\langle G_{n_{k}}(a_{n_{k}}), a_{n_{k}}\rangle=0\) for all k. On the other hand, by the same calculation as in the proof of Lemma 2.3 we obtain
where \(M=\sup_{k\in\mathbb{N}} \|f(u_{n_{k}})\|_{\infty}\) and \(H_{\delta} = \int_{\delta}^{\frac{1}{2}}|h(\tau)|\,d\tau\). Since \(|a_{n_{k}}|\rightarrow\infty\) as \(k\rightarrow\infty\), we may choose sufficiently large k and then \(\delta>0\) small enough to satisfy \(\langle H_{n_{k}} (a_{n_{k}}),a_{n_{k}} \rangle>0\). Applying a similar argument for \(W_{n_{k}}\), we conclude that \(\langle G_{n_{k}} (a_{n_{k}}),a_{n_{k}} \rangle>0\) for sufficiently large k, and this contradiction completes the proof. □
Remark 3.2
If B is a bounded set in \(C([0,1],\mathbb{R}^{N})\), then \(\{a(h\cdot v) | v\in B\}\) is also bounded in \(\mathbb{R}^{N}\). The proof is similar to that of Lemma 3.1 by replacing M with \(\sup_{v\in B}\|v\|_{\infty}\).
Lemma 3.3
The function \(a: C([0,1],\mathbb{R}^{N})\rightarrow\mathbb{R}^{N}\) is continuous.
Proof
Assume that \(u_{n} \to u\) in \(C([0,1],\mathbb{R}^{N})\). Then for the continuity of a, we need to show that \(a(h\cdot f(u_{n}))\rightarrow a(h\cdot f(u))\) in \(\mathbb{R}^{N}\) as \(n\rightarrow\infty\). Denote again \(a_{n}\triangleq a(h\cdot f(u_{n}))\). We know that \(\{a_{n}\}\) is bounded in \(\mathbb{R}^{N}\) by Lemma 3.1; thus, it has a convergent subsequence \(\{a_{n_{k}}\}\), which converges to, say, \(\hat{a}\in\mathbb{R}^{N}\). We first claim that
Indeed, let us take \(K=\sup_{n\in\mathbb{N}} |a_{n}|\), \(M=\sup_{n\in \mathbb{N}} \|f(u_{n})\|_{\infty}\) and fix \(s\in(0, {\frac{1}{2}}]\). Then we get
for all \(\tau\in[s, {\frac{1}{2}}]\). Moreover, \(h_{i} \in L^{1}_{\mathrm{loc}} (0,1)\) implies \(|h|\in L^{1} [s, {\frac{1}{2}}]\). Thus, by the continuity of \(\Psi _{p}^{-1}\) and applying the Lebesgue dominated convergence theorem componentwise, we get
Similarly, for \(k\in\mathbb{N}\),
where \(A=C_{p}\varphi_{p}^{-1}(K)\) and \(B=C_{p}\varphi_{p}^{-1}(M)\). Since \(h\in\mathcal{H}\), the right-hand side of the last inequality is in \(L^{1} (0, {\frac{1}{2}}]\). Thus, applying the Lebesgue dominated convergence theorem componentwise again, we have
By the same argument, for fixed \(s\in[{\frac{1}{2}}, 1)\), we also get
Moreover, by the definition of \(a_{n_{k}}\) given in (2.7), we know that
This implies that both limits in (3.2) and (3.3) are the same, and thus (3.1) is valid. Equation (3.1) implies that \(\hat{a}=a(h\cdot f(u))\) by the uniqueness of â. So we conclude that \(\lim_{k\to\infty} a_{n_{k}} ( = a(h\cdot f(u_{n_{k}})) ) = a(h\cdot f(u))\) in \(\mathbb{R}^{N}\). It is not hard to see by the standard subsequence argument that \(\lim_{n\to\infty} a_{n} ( = a(h\cdot f(u_{n})) ) = a(h\cdot f(u))\), and the proof is done. □
Remark 3.4
If \(v_{n} \in C([0,1],\mathbb{R}^{N})\) with \(v_{n}\to v\) as \(n\to\infty\), then \(a(h\cdot v_{n})\to a(h\cdot v)\) as \(n\to\infty\). In particular, if \(v=0\), then \(a(h\cdot v_{n})\to0 \) as \(n\to\infty\). The proof is similar to that of Lemma 3.3 by replacing M with \(\sup_{v\in B}\|v\|_{\infty}\).
Lemma 3.5
The operator \(T: C([0,1],\mathbb{R}^{N})\rightarrow C([0,1],\mathbb{R}^{N})\) is completely continuous.
Proof
The continuity of T is easily verified mainly by Lemma 3.1 and the Lebesgue dominated convergence theorem. Let B be a bounded subset of \(C([0,1],\mathbb{R}^{N})\). Then by the Arzelà -Ascoli theorem, it suffices to show that \(T(B)\) is uniformly bounded and equicontinuous. Take \(M_{B}=\sup_{u\in B} \|f(u)\|_{\infty}\), \(K_{B}=\sup_{u\in B} |a(h\cdot f(u))|\), and denote \(a_{u}\triangleq a(h\cdot f(u))\). Then, for \(t \in(0,\frac{1}{2}]\),
Since \(h\in\mathcal{H}\), we see that the last bound is independent of \(u\in B\) and \(t \in(0,\frac{1}{2}]\). The bound on the interval \([\frac{1}{2},1)\) can be obtained similarly, and thus \(T(B)\) is uniformly bounded.
To show the equicontinuity of \(T(B)\), let \(t_{1}, t_{2}\in[0,1]\) with \(t_{1}< t_{2}\).
Case 1. \(t_{1},t_{2}\in[0,\frac{1}{2} ]\) or \(t_{1},t_{2}\in[\frac{1}{2}, 1 ]\). We have
The bound is independent of \(u\in B\) and \(\varphi_{p}^{-1} (\int _{s}^{\frac{1}{2}} |h(\tau)|\,d\tau )\in L^{1} (0,\frac{1}{2} ]\) since \(h \in\mathcal {H}\); thus, we see that the bound converges to 0 as \(|t_{1}-t_{2}| \to0\). The case of \(t_{1},t_{2}\in[\frac{1}{2},1]\) can be similarly proved.
Case 2. \(0< t_{1}\leq\frac{1}{2}< t_{2}<1\). Since \(t_{1}\) and \(t_{2}\) can be considered sufficiently close, without loss of generality, we assume that \(\frac{1}{4}\leq t_{1}\leq\frac {1}{2}< t_{2}\leq\frac{3}{4}\). Then, by the definition of T,
and
Since, by the definition of \(a_{u}\),
we get
Thus, using Remark 2.1, we obtain
Since the coefficient at \(t_{2} -t_{1}\) is a constant independent on \(u\in B\), the proof of the equicontinuity of \(T(B)\) is complete. □
4 Applications
In this section, we apply the solution operator obtained in Section 2 and use the compactness of the operator in Section 3 to show the existence of nontrivial solutions for the problem
For this, we first give one assumption on f.
-
(F)
\(f_{i}(0,\ldots,0)>0\) and \(\lim_{|s|\to\infty} f_{i}(s)/|s|^{p-1}=0\) for \(s\in\mathbb{R}^{N}\), \(i=1,\ldots,N\).
Let X be a Banach space, and \(G : \mathbb{R} \times X \to X\) be completely continuous with \(G(0,u)=0\). Consider
Denote by \(\mathcal{S}\) the set of solutions of (4.1), \(\mathbb{R}_{+}=[0,\infty)\), and \(\mathbb{R}_{-}=(-\infty,0]\). As the basic tool for the proof of our main theorem, we introduce the following theorem known as the global continuation theorem.
Theorem 4.1
([22])
Let X be a Banach space, and \(G : \mathbb{R} \times X \to X\) be continuous and compact with \(G(0,u)=0\). Then \(\mathcal{S}\) contains a pair of unbounded components \(\mathcal{C}^{+}\) and \(\mathcal{C}^{-}\) in \(\mathbb{R}_{+} \times X\) and \(\mathbb{R}_{-} \times X\), respectively, and \(\mathcal{C}^{+} \cap\mathcal{C}^{-} = \{(0,0)\}\).
For our fitting, let us take \(X = C([0,1],\mathbb{R}^{N})\). Then the usual norm for X to be a Banach space is defined by \(\|u\|_{\infty}= \sum_{i=1}^{N} \|u_{i}\|_{\infty}\). In this paper, for the convenience of computation, we establish an equivalent norm, which is defined by
Indeed, it is easy to see that
We are ready to state our main existence theorem.
Theorem 4.2
Assume that \(h \in\mathcal{H}\) and that (F) holds. Then (\(P_{\lambda}\)) has at least one nontrivial solution for all \(\lambda>0\).
We know that to solve (\(P_{\lambda}\)) is equivalent to solve
where \(G: (0,\infty) \times X \to X\) is defined by
By Remark 2.2 and Lemma 3.5 we can easily show that G is continuous and compact with \(G(0,u)=0\). Since Theorem 4.1 guarantees an unbounded continuum \(\mathcal{C}^{+}\), if we provide the a priori boundedness of solutions for (\(P_{\lambda}\)), then the unbounded continuum allows the existence of solutions for all \(\lambda>0\).
Lemma 4.3
Assume that \(h \in\mathcal{H}\) and that f satisfies (F). Let any \(\Lambda>0\) be given, and let \((\lambda,u)\) be a solution for (\(P_{\lambda}\)) with \(\lambda\in(0,\Lambda]\). Then there exists a constant \(C(\Lambda)>0\), depending only on Λ, such that \(\|u\|_{X} \le C(\Lambda)\).
Proof
Assume that there exists a sequence \((\lambda_{n},u_{n})\in(0,\Lambda] \times X\) such that, for any \(n\in\mathbb{N}\),
with \(\|u_{n}\|_{X} \to\infty\) as \(n\to\infty\).
By using Remark 2.1 with \(x=a(\lambda_{n} h\cdot f(u_{n}))\), \(y=\int_{s}^{\frac{1}{2}}\lambda_{n} h(\tau)\cdot f(u_{n}(\tau))\,d\tau\) and the homogeneity of \(\varphi_{p}^{-1}\) and a we can estimate the solution \(u_{n}\) as follows:
for all \(t\in[0,\frac{1}{2}]\). By the homogeneity of a again, we get
By (F), for any \(\varepsilon>0\), there exists \(l_{\epsilon}>0\) such that for all \(s\in\mathbb{R}^{N}\) with \(|s|\ge l_{\epsilon}\),
Since \(f_{i}\) is continuous on \(\{s \in\mathbb{R}^{N} \mid |s| \le l_{\epsilon}\}\), there exists a constant \(M_{\epsilon}>0\) such that
on \(\{s \in\mathbb{R}^{N} \mid |s| \le l_{\epsilon}\}\) for \(i=1,\ldots,N\). Thus, we have
Since \(\|u_{n}\|_{X} \to\infty\) as \(n\to\infty\), there exists \(n_{\epsilon}\in\mathbb{N}\) such that for any \(n\geq n_{\epsilon}\), we have
that is,
Using (4.2), we get that, for any \(n\geq n_{\epsilon}\) and \(t\in[0,1/2]\),
and
Take
Then B is a bounded subset in X. Thus, by Remark 3.2 we see that the set \(\{a(h\cdot v) \mid v\in B\}\) is bounded in \(\mathbb{R}^{N}\). Moreover, by (4.3) and Remark 3.4 we may choose a constant \(C_{\epsilon}=C_{\epsilon}(\epsilon N)>0\) satisfying \(C_{\epsilon}\to0\) as \(\epsilon\to0\) such that
Therefore, for \(t\in[0,\frac{1}{2}]\), we obtain
By similar arguments, for \(t\in[\frac{1}{2},1]\), we obtain
Denoting \(C_{h} \triangleq\max\{ \int_{0}^{\frac{1}{2}}\varphi_{p}^{-1}(\int_{s}^{\frac{1}{2}} |h(\tau)|\,d\tau )\,ds,\int_{\frac{1}{2}}^{1}\varphi_{p}^{-1}(\int_{\frac{1}{2}}^{s} |h(\tau )|\,d\tau)\,ds\} \), we can choose \(\epsilon>0\) small enough such that
Consequently, combining (4.4) and (4.5), we obtain, for \(t\in[0,1]\),
This implies that
which contradicts
and this completes the proof. □
Example 1
Consider the following p-Laplacian system:
where \(\mathbf{u}=(u,v)\), \(\lambda>0\) is a parameter, and \(h(t)=(h_{1}(t),h_{2}(t))\) is given by
We note that \(h\in L^{1} _{\mathrm{loc}}\) but \(h_{1}\notin L^{1}\). We now show that \(h\in\mathcal{H}\). Indeed,
Since \(1<\alpha<p\), we have \(\frac{1}{\alpha-1}s^{-(\alpha-1)}>0\) for \(s\in(0,1)\) and
In addition, since \(h_{1}\) and \(h_{2}\) are constants on \((\frac{1}{2},1)\) and \((0,1)\), respectively, by Remark 2.1 we get \(h\in\mathcal{H}\).
Next, we need to check that both \(f_{1}(u,v)=(u^{2}+v^{2})^{\frac {p-1}{4}}+1\) and \(f_{2}(u,v)= e^{-v^{2}}[1+(u^{2})^{\frac{p-1}{3}}]\) satisfy assumption (F). In fact, \(f_{1}(0,0)=f_{2}(0,0)=1>0\), and
that is, \(\lim_{|(u,v)|\to\infty}\frac{f_{2}(u,v)}{|(u,v)|^{p-1}}=0\). Consequently, by Theorem 4.2 we see that problem (\(E_{1}\)) has at least one nontrivial solution for all \(\lambda>0\).
Example 2
Consider the following p-Laplacian system with \(p=6\):
where \(\mathbf{u}=(u,v)\), \(\lambda>0\) is a parameter, and \(h(t)=(h_{1}(t),h_{2}(t))\) is given by
and
By similar arguments as in Example 1, we can easily check that \(h\in \mathcal{H}\) and \(f_{1}\), \(f_{2}\) satisfy assumption (F). Consequently, by Theorem 4.2 we see that problem (\(E_{2}\)) has at least one nontrivial solution for all \(\lambda>0\).
Example 3
Consider the following p-Laplacian system:
where \(\mathbf{u}=(u_{1},\ldots,u_{N})\), \(\lambda>0\) is a parameter, \(h(t)=(h_{1}(t),\ldots,h_{N}(t))\) is defined by
and
We note that each \(h_{i}\) is not in \(L^{1}(0,1)\), \(h_{i}(\frac {1}{2})=4^{\alpha}-4^{p}<0\) for \(1<\alpha<p\), and \(h:(0,1)\to\mathbb {R}^{N}\) is locally integrable. By similar arguments as in Example 1, we can easily check that \(h\in \mathcal{H}\).
Next, let us check (F) for \(f_{i}(u_{1},\ldots,u_{N})=\ln ((u_{1}^{2}+\cdots+u_{N}^{2})^{\frac{1}{2}}+i+1 )\). In fact, \(f_{i}(0,\ldots,0)= \ln(i+1)>0\), and setting \(x :=(u_{1}^{2}+\cdots +u_{N}^{2})^{\frac{1}{2}}\), we have
that is, \(\lim_{|(u_{1},\ldots,u_{N})|\to\infty}\frac{f_{i}(u_{1},\ldots ,u_{N})}{|(u_{1},\ldots,u_{N})|^{p-1}}=0\) for \(i=1,\ldots,N\). Consequently, by Theorem 4.2 we see that problem (\(E_{3}\)) has at least one nontrivial solution for all \(\lambda>0\).
References
DÃaz, JI: Nonlinear Partial Differential Equations and Free Boundaries, Vol. I. Elliptic Equations. Research Notes in Mathematics, vol. 106. Pitman, Boston (1985)
Drábek, P, Kufner, A, Nicolosi, F: Quasilinear Elliptic Equations with Degenerations and Singularities. de Gruyter Series in Nonlinear Analysis and Applications, vol. 5. de Gruyter, Berlin (1997)
Glowinski, R, Rappaz, J: Approximation of a nonlinear elliptic problem arising in a non-Newtonian fluid flow model in glaciology. Math. Model. Numer. Anal. 37, 175-186 (2003)
O’Regan, D: Some general existence principles and results for \((\phi(y'))'=qf(t,y,y')\), \(0< t<1\). SIAM J. Math. Anal. 24, 648-668 (1993)
Agarwal, RP, Lü, H, O’Regan, D: Eigenvalues and the one-dimensional p-Laplacian. J. Math. Anal. Appl. 266, 383-400 (2002)
Agarwal, RP, O’Regan, D, Staněk, S: Dead cores of singular Dirichlet boundary value problems with ϕ-Laplacian. Appl. Math. 53, 381-399 (2008)
Bai, D, Chen, Y: Three positive solutions for a generalized Laplacian boundary value problem with a parameter. Appl. Math. Comput. 219, 4782-4788 (2013)
Bai, DY, Xu, YT: Positive solutions and eigenvalue regions of two-delay singular systems with a twin parameter. Nonlinear Anal. 66, 2547-2564 (2007)
Cheng, X, Lu, H: Multiplicity of positive solutions for a \((p_{1}, p_{2})\)-Laplacian system and its applications. Nonlinear Anal., Real World Appl. 13, 2375-2390 (2012)
Chhetri, M, Oruganti, S, Shivaji, R: Existence results for a class of p-Laplacian problems with sign-changing weight. Differ. Integral Equ. 18, 991-996 (2005)
Do Ó, JM, Lorca, S, Sánchez, J, Ubilla, P: Positive radial solutions for some quasilinear elliptic systems in exterior domains. Commun. Pure Appl. Anal. 5, 571-581 (2006)
Henderson, J, Wang, HY: Nonlinear eigenvalue problems for quasilinear systems. Comput. Math. Appl. 49, 1941-1949 (2005)
Hai, DD, Xu, XS: On a class of quasilinear problems with sign-changing nonlinearities. Nonlinear Anal. 64, 1977-1983 (2006)
Kajikiya, R, Lee, YH, Sim, I: Bifurcation of sign-changing solutions for one-dimensional p-Laplacian with a strong singular weight; p-sublinear at ∞. Nonlinear Anal. 71, 1235-1249 (2009)
Lee, EK, Lee, YH: A multiplicity result for generalized Laplacian systems with multiparameters. Nonlinear Anal. TMA 71, 366-376 (2009)
Wang, HY: On the number of positive solutions of nonlinear systems. J. Math. Anal. Appl. 281, 287-306 (2003)
Wang, JY: The existence of positive solutions for the one-dimensional p-Laplacian. Proc. Am. Math. Soc. 125, 2275-2283 (1997)
Xu, XH, Lee, YH: Some existence results of positive solutions for φ-Laplacian systems. Abstr. Appl. Anal. 2014, Article ID 814312 (2014)
Manásevich, R, Mawhin, J: Periodic solutions of nonlinear systems with p-Laplacian-like operators. J. Differ. Equ. 145, 367-393 (1998)
Manásevich, R, Mawhin, J: Boundary value problems for nonlinear perturbations of vector p-Laplacian-like operators. J. Korean Math. Soc. 37, 665-685 (2000)
Sim, I, Lee, YH: A new solution operator of one-dimensional p-Laplacian with a sign-changing weight and its application. Abstr. Appl. Anal. 2012, Article ID 243740 (2012)
Rabinowitz, PH: Contributions to Nonlinear Functional Analysis. Academic Press, New York (1971)
Acknowledgements
The second author was supported by the National Research Foundation of Korea, Grant funded by the Korea Government (MEST) (NRF2012R1A1A2000739). The third author was supported by the National Research Foundation of Korea, Grant funded by the Korea Government (MEST) (NRF2014R1A1A2056339).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests for this paper.
Authors’ contributions
All authors have equally contributed in obtaining new results in this article and also read and approved the final manuscript.
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
Xu, X., Sim, I. & Lee, YH. A fixed point operator for systems of vector p-Laplacian with singular weights. Bound Value Probl 2016, 73 (2016). https://doi.org/10.1186/s13661-016-0582-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-016-0582-y