Abstract
In this paper, we consider the existence of solutions to the \(p(r)\)-Laplacian equation with multi-point boundary conditions. Under some new criteria and by utilizing degree methods and also the Leray–Schauder fixed point theorem, the new existence results of the solutions have been established. Some results in the literature can be generalized and improved. And as an application, two examples are provided to demonstrate the effectiveness of our theoretical results.
Similar content being viewed by others
1 Introduction
In recent years, there has been extensive interest in boundary value problems (BVPs) with variable exponent in a Banach space, see [1,2,3,4,5,6,7,8,9]. Such problems usually arise in the study of image processing, elastic mechanics, electrorheological fluids dynamics, etc. (see [10,11,12,13,14,15,16,17,18]).
In the case when p is a constant and \(f(r,u(r),u'(r))=f(r,u(r))\), the first differential equation of Eq. (1.1) subjected to some other boundary conditions becomes the classical p-Laplacian problem, which has been extensively researched in [19,20,21]:
and we have obtained the existence of solutions for the addressed equations. For more information on the problems of differential equations with p-Laplacian operator, the readers may refer to [22,23,24,25,26,27,28,29,30].
This paper focuses on the following \(p(r)\)-Laplacian differential equations with multi-point boundary conditions:
where the functions f, p, a and the constants α, \(\beta_{i}\), ξ, \(\eta_{i}\) (\(1\leq i\leq m-3\)) satisfy:
-
(H1)
\(f \in C([0, 1]\times \mathbb {R}\times \mathbb {R}, \mathbb {R})\), \(p \in C([0, 1], \mathbb {R})\), \(p(r)>1\), \(a \in C((0, 1), \mathbb {R})\) is possibly singular at \(r=0\) or \(r=1\) and satisfies \(0<\int_{0}^{1}|a(r)|\mathrm {\,d}r<+\infty\);
-
(H2)
\(\alpha,\beta_{i}>0\), \(0<\xi<\eta_{1}<\eta_{2}<\cdots <\eta_{m-3}<1\).
Compared with some new achievements in the articles, such as [19,20,21,22,23,24,25,26,27,28,29,30], the major contributions of our research contain at least the following three:
-
(1)
f is the nonlinear term and \(a(r)\) is allowed to be singular at \(r=0\) or \(r=1\). Additionally, compared to two-point or three-point BVPs, which have been extensively studied, we discuss a multi-point BVP in this article.
-
(2)
The model we are concerned with is more generalized, some ones in the articles [19,20,21,22] are the special cases of it. \(p(r)\) is a general function, which is more complicated than the case when p is a fixed constant. That is to say, the comprehensive model is originally considered in the present paper.
-
(3)
An innovative approach based on degree methods and the Leray–Schauder fixed point theorem are utilized to obtain the existence of solutions for the addressed equations (1.1). The results established are essentially new.
The following article is organized as follows: In Sect. 2, we introduce some necessary notations and important lemmas, while Sect. 3 is devoted to establishing the existence of solutions for problem (1.1) by a fixed point theorem and degree methods, and then we come up with the main theorems. To explain the results clearly, we finally give two examples in Sect. 4.
2 Preliminaries
In this section, we are going to present some basic notations and lemmas which are used throughout this paper.
Let \(U=C^{1}[0, 1]\). It is well known that U is a Banach space with the norm \(\|\cdot\|_{1}\) defined by
where
Besides, we denote
Set
and set \(\varphi^{-1}(r,\cdot)\) as
where \(\varphi^{-1}(r,0)=0\).
Obviously, \(\varphi^{-1}(r,\cdot)\) is continuous and sends a bounded set into a boundary set. Aiming to obtain the existence of solutions to problem (1.1), we need the following lemmas. The proofs are standard, thus some details can be omitted.
Lemma 2.1
([31])
φ is a continuous function and satisfies that, for any \(x_{1},x_{2} \in \mathbb {R}\), \(x_{1}\neq x_{2}\), for any \(r \in[T_{1}, T_{2}]\),
which implies it is monotone increasing.
Lemma 2.2
Let U be a Banach space. Provided that the operator \(T(u,\lambda ):U\times[0,1] \to U\) is a map satisfying the conditions as follows:
-
(S1)
T is a compact map;
-
(S2)
For any \(u \in U\), \(T(u,0)=0\);
-
(S3)
If one has \(u=T(u,\lambda)\) for some \(\lambda\in [0, 1]\), then there exists \(M>0\) such that \(\|u\|_{1}\leq M\) for any \(u \in U\). Then \(T(u,1)\) has a fixed point in U.
Lemma 2.3
Suppose that \(g \in L^{1}[0, 1]\) and \(g(r)\neq0\) on any subinterval of \([0, 1]\). Then the BVP
has a unique solution \(u(r)\), which is
or
where \(\rho=\varphi(0,u'(0))\) and ρ is dependent on g.
Now, for any \(h \in C[0,1]\), we define
The properties of the operator \(\Lambda_{h}\) are described in the following lemma.
Lemma 2.4
For any \(h \in C[0, 1]\), the equation
has a unique solution \(\overline{\rho}(h) \in \mathbb {R}\).
Proof
From Lemma 2.1, it is apparent that
Hence, if Eq. (2.2) has a solution, then it is unique.
Since \(h \in C[0,1]\), and let \(R_{0}=2\|h\|\). It is easy to see that if \(|\rho|>R_{0}\), then for any \(r\in[0, 1]\) we have \(( \rho-\int _{0}^{r} h(s)\mathrm {\,d}s )\cdot\rho> 2\|h\|^{2}\).
Denote
then
it follows that
While \(|s(r)|^{p(r)-1}s(r)\cdot\rho= ( \rho-\int_{0}^{r} h(s)\mathrm {\,d}s )\cdot\rho>2\|h\|^{2}>0\), thus \(s(r)\cdot\rho>0\).
From \(|\rho|>R_{0}\) we have \(s(r)\neq0\), then we also have
So, when \(|\rho|>R_{0}\), \(\Lambda_{h}(\rho)\neq0\).
Let us consider the following equation:
It is easy to prove that all the solutions of Eq. (2.3) belong to \(b(R_{0})\triangleq\{x\in \mathbb {R}:|x|< R_{0}\}\). From the homotopy invariance property on Leray–Schauder degree theory, we have
which implies the existence of solution of \(\Lambda_{h}(\rho)=0\). Consequently, \(\Lambda_{h}(\rho)=0\) has a solution \(\overline{\rho }(h) \in \mathbb {R}\). □
Lemma 2.5
Assume that u is the solution of problem (2.1), then it can also be rewritten in the following form:
where \(\sigma\in(0,1)\).
Proof
Assume that \(u(r)\) is the solution of problem (2.1), then there exists \(\sigma\in(0,1)\) such that \(u'(\sigma)=0\). Otherwise, suppose that \(u'(r)<0\) for any \(r \in(0,1)\), which means that \(u(t)\) is nonincreasing. From the boundary value conditions, it follows that
but
which is a contradiction. Similarly, if \(u'(r)>0\) for any \(t\in(0,1)\), we know that \(u(t)\) is nondecreasing, which with boundary conditions yields a contradiction. Then, through direct computations, (2.4) holds. □
3 Existence of solutions
In this section, we will show that under some suitable conditions solutions to problem (1.1) do exist.
Theorem 3.1
Suppose that (H1), (H2) hold and f satisfies
Then problem (1.1) has at least one solution.
Proof
To obtain the existence of solutions of problem (1.1), consider the BVP
and define the integral operator \(T:U\times[0,1] \to U\) by
From the continuity of \(f, \varphi^{-1}\) and also the definition of a, it is easy to see that u is a solution of problem (1.1) if and only if u is a fixed point of the integral operator T when \(\lambda=1\). In order to apply Lemma 2.2, the proof includes three steps:
(1) T is a compact map.
Let \(D \subset U\times[0,1]\) be an arbitrary bounded subset, then there exists \(M>0\) such that
And let \(\{(u_{n},\lambda_{n})\}\) be a sequence in D. Firstly, we prove that \(\{T(u_{n},\lambda_{n})\}\) has a convergent subsequence in \(C[0,1]\). According to (H1), we find that there exists \(N>1\) such that
Thus, for any \((u_{n},\lambda_{n})\in D\), if \(0\leq r\leq\sigma\), then
Similarly, if \(\sigma\leq r\leq1\), then
On the other hand,
Therefore,
and
Besides, we find that, for any \(0\leq t_{1}\leq t_{2}\leq1\),
Hence, \(\{T(u_{n},\lambda_{n})\}\) is equi-continuous and uniformly bounded.
Applying the Ascoli–Arzelà theorem, there exists a convergent subsequence of \(\{T(u_{n},\lambda_{n})\}\) in \(C[0,1]\). Without loss of generality, we denote the convergent subsequence again by \(\{ T(u_{n},\lambda_{n})\}\).
Next, we should show that \(\{T'(u_{n},\lambda_{n})\}\) also has a convergent subsequence in \(C[0,1]\). Denote
Similar to the proof above, we can find that \(\{F_{n}(t)\}\) has a convergent subsequence in \(C[0,1]\), which we still denote by \(\{F_{n}(t)\} \). From the continuity of \(\varphi^{-1}\), we can easily get that \(\{ T'(u_{n},\lambda_{n})\}\) is convergent in \(C[0,1]\).
From the above, we know that T is a compact operator, which implies that condition (S1) in Lemma 2.2 holds.
(2) Evidently, \(T(u,0)=0\) for \(u\in U\), so condition (S2) is satisfied.
(3) Now, we verify condition (S3) in Lemma 2.2.
If condition (S3) does not hold, then we would find that there exists a subsequence \(\{(u_{n},\lambda_{n})\}\) such that \(\|u_{n}\|_{1}\to \infty\) as \(n\to\infty\) and \(\|u_{n}\|_{1}>1\). According to Lemma 2.5, we have
Note that
then we get that there exist \(M_{1}>0, c_{1}>0\) such that
Thus, for \(|u_{n}|+|u'_{n}|\in[M_{1},+\infty)\) and \(r\in[0,1]\), we have
it follows that
Hence,
and
where C is a constant.
We can conclude that \(\{(u_{n},\lambda_{n})\}\) is bounded, which leads to a contradiction. Therefore, condition (S3) in Lemma 2.2 holds.
Applying Lemma 2.2, we can obtain that \(T(u,1)\) has a fixed point in U, that is to say, problem (1.1) has at least one solution. This completes the proof. □
Furthermore, we prove the existence of solutions to problem (1.1) under other innovative conditions.
Theorem 3.2
Suppose that \(\Omega_{t}=\{u\in C^{1}[0,1]:\|u\|_{1}< t\}\) is a bounded open set in U and (H1), (H2) hold. If there exists \(t>0\) such that
where \(u\in\overline{\Omega_{t}}\), \(r\in[0,1]\), then problem (1.1) has at least one solution.
Proof
Let us consider the following BVP:
and define an integral operator \(T:U\times[0,1] \to U\) by
where \(\sigma\in(0,1)\). Similar to the above proof, we know that T is compact. Moreover, u is a fixed point of \(u=T(u,1)\) if and only if u is a solution of problem (1.1). To achieve the result by Leray–Schauder degree theory, we just need to prove that
-
(i)
for any \(\lambda\in[0,1)\), \(u=T(u,\lambda)\) has no solution on \(\partial\Omega_{t}\);
-
(ii)
\(\deg(I-T(u,0), \Omega_{t}, 0)\neq0\).
Firstly, we verify that (i) holds. Without loss of generality, there exist \(\lambda\in[0,1)\) and \(u\in\partial\Omega_{t}\) such that \(u=T(u,\lambda)\), then we have
Since \(u\in\partial\Omega_{t}\), it is easy to see that
If \(\|u\|\geq2t/3\), then \(\|u'\|\leq t/3\), but
which is a contradiction.
Similarly, if \(\|u\|\leq2t/3\), then \(\|u'\|>t/3\). Hence, there exists \(r_{0}\in[0,1]\) such that
According to condition (3.2), we get that
which together with \(\|u'\|\leq t/3\) leads to a contradiction. So problem (3.3) has no solution on \(\partial\Omega_{t}\).
Secondly, when \(\lambda=0\), problem (3.3) becomes the following one:
We can easily find that problem (3.4) has a solution on \(\Omega_{t}\). From the solvability on Leray–Schauder degree theory, we get that
Thus condition (ii) is satisfied.
Therefore, upon an application of Leray–Schauder degree method, we obtain that problem (1.1) has at least one solution. This completes the proof. □
4 Example
In the section, we will present the following two examples to illustrate our main results.
Example 4.1
Consider the following \(p(r)\)-Laplacian differential equations with six-point boundary conditions:
Conclusion
Problem (4.1) has at least one solution.
Proof
Corresponding to Eq. (1.1), we have
Thus, conditions (H1), (H2) are satisfied.
Choose \(q(r)=e^{r}+2>2\), we can easily get that \(1< q^{-}< q^{+}< p^{-}\) and, when \(|u|+|u'|\rightarrow\infty\), \(r\in(0,1)\), we also get that
Hence, by applying Theorem 3.1, we can see that Eq. (4.1) has at least one solution. □
Example 4.2
Consider the following \(p(r)\)-Laplacian differential equations with four-point boundary conditions:
Conclusion
Problem (4.2) has at least one solution.
Proof
Corresponding to Eq. (1.1), we have
So conditions (H1), (H2) are satisfied.
Choose \(t=3\), then, when \(u\in\Omega_{t}= \{u\in U:\|u\|<3 \} \), we have
and inequality (3.2) holds, which implies that all the conditions in Theorem 3.1 are satisfied. Thus, we can see that Eq. (4.2) has at least one solution. □
5 Conclusions
In this paper, we are concerned with a class of differential equations involving a \(p(r)\)-Laplacian operator. The addressed equation with the multi-point boundary value is quite different from the related references discussed in the literature [26,27,28, 32]. The nonlinear differential system studied in the present paper is more generalized and more practical. By applying the degree methods (see Lemma 2.4, Theorem 3.2) and the fixed point theorem (see Theorems 3.1, 3.2), we employ innovative arguments, and easily verifiable sufficient conditions have been provided to determine the existence of the solutions to the considered equation. Consequently, this paper shows theoretically that some related references known in the literature can be enriched and complemented.
References
Khan, A., Li, Y., Shah, K., Khan, T.S.: On coupled p-Laplacian fractional differential equations with nonlinear boundary conditions. Complexity 2017, Article ID 8197610 (2017)
Shah, K., Ali, A., Khan, R.A.: Degree theory and existence of positive solutions to coupled systems of multi-point boundary value problems. Bound. Value Probl. 2016, 43 (2016)
Shah, K., Khan, R.A.: Existence and uniqueness results to a coupled system of fractional order boundary value problems by topological degree theory. Numer. Funct. Anal. Optim. 37(7), 887–899 (2016)
Herrero, M.A., Vazquez, J.L.: On the propagation properties of a nonlinear degenerate parabolic equation. Commun. Partial Differ. Equ. 7, 1381–1402 (1982)
Esteban, J.R., Vazquez, J.L.: On the equation of the turbulent filtration in dimensional porous media. Nonlinear Anal. 10, 1305–1325 (1986)
del Pino, M., Elhueta, M., Mansevich, R.: A Homotopic Differential Difference and Integral Equations. Springer, Singapore (2000)
Erbe, L.H., Wang, H.: On the existence of positive solutions of ordinary differential equations. Proc. Am. Math. Soc. 120(3), 743–748 (1994)
Wong, F.: Existence of positive solutions for m-Laplacian BVPs. Appl. Math. Lett. 12, 11–17 (1999)
Wang, J., Gao, W.: A singular boundary value problem for the one-dimensional p-Laplacian. J. Math. Anal. Appl. 201, 851–866 (1996)
Chen, Y., Levine, S., Rao, M.: Variable exponent linear growth functionals in image restoration. SIAM J. Appl. Math. 66(4), 1383–1406 (2006)
Fan, X.: Solutions for \(p(x)\)-Laplacian Dirichlet problems with singular coefficients. J. Math. Anal. Appl. 312(2), 464–477 (2005)
Ling, X.: Existence of solutions for \(p(x)\)-Laplacian Dirichlet problem. Nonlinear Anal. 52(8), 1843–1852 (2003)
Liu, Q.: Existence of three solutions for \(p(x)\)-Laplacian equations. Nonlinear Anal. 68(7), 2119–2127 (2007)
Deng, S.-G.: Positive solutions for Robin problem involving the \(p(x)\)-Laplacian. J. Math. Anal. Appl. 360(2), 548–560 (2009)
Fu, Y.: Existence of solutions for \(p(x)\)-Laplacian problem on an unbounded domain. Topol. Methods Nonlinear Anal. 30(2), 235–249 (2007)
Dai, G., Liu, W.: Three solutions for a differential inclusion problem involving the \(p(x)\)-Laplacian. Nonlinear Anal. 71(11), 5318–5326 (2009)
Zhang, Q.H.: Existence of positive solutions to a class of \(p(x)\)-Laplacian equations with singular nonlinearities. Appl. Math. Lett. 25(12), 2381–2384 (2012)
Kaufmann, E.R., Kosmatov, N.: A multiplicity result for a boundary value problem with infinitely many singularities. J. Math. Anal. Appl. 269, 444–453 (2002)
Lü, H.S., O’Regan, D., Agarwal, R.P.: Existence theorems for the one-dimensional p-Laplacian equation with sign changing nonlinearities. Appl. Math. Comput. 143, 15–38 (2003)
Agarwal, R.: Singular Differential and Integral Equations with Applications. Kluwer Academic, Dordrecht (2003)
Wang, J., Gao, W.: A singular boundary value problems for the one dimensional p-Laplace. J. Math. Anal. Appl. 201, 851–866 (1996)
Wong, F.: The existence of positive solutions for m-Laplacian BVPs. Appl. Math. Lett. 12, 11–17 (1999)
Wang, J., Gao, W.: A singular boundary value problem for the one-dimensional p-Laplacian. J. Math. Anal. Appl. 201, 851–866 (1996)
Wang, J.: The existence of positive solutions for the one-dimensional p-Laplacian. Proc. Am. Math. Soc. 125, 2272–2283 (1997)
Jiang, D.: Upper and lower solutions method and a singular superlinear boundary value problem for the one-dimensional p-Laplacian. Comput. Math. Appl. 42, 927–940 (2001)
Ma, D., Ge, W.: Existence and iteration of positive solutions for a singular two-point boundary value problem with a p-Laplacian operator. Czechoslov. Math. J. 57(1), 135–152 (2007)
Ma, D., Hu, J.: Existence and iteration of positive solutions for a three-point boundary value problem of second order integro-differential equation with p-Laplacian operator. J. Appl. Math. Comput. 39, 333–343 (2012)
Ma, D., Ge, W.: Existence and iteration of positive pseudo-symmetric solutions for a three-point second-order p-Laplacian BVP. Appl. Math. Lett. 20, 1244–1249 (2007)
Lian, H., Ge, W.: Positive solutions for a four-point boundary value problem with the p-Laplacian. Nonlinear Anal. 68, 3493–3503 (2008)
Li, Y., Gao, W., Wenjing, S.: Existence of solutions for a four-point boundary value problem with a \(p(t)\)-Laplacian. Commun. Math. Res. 31(1), 23–30 (2015)
Zhang, Q.: Existence of solutions for weighted \(p(r)\)-Laplacian system boundary value problems. J. Math. Anal. Appl. 327, 127–141 (2007)
Naito, Y., Tanaka, S.: Sharp conditions for the existence of sign-changing solutions to equations involving the one-dimensional p-Laplacian. Nonlinear Anal. 69(9), 3070–3083 (2007)
Funding
This work was supported by the National Natural Science Foundation of China (Grant No. 11471109).
Author information
Authors and Affiliations
Contributions
All authors have equally contributed to obtaining new results in this article and also read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have 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 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
Luo, Z., Liang, J. Existence of solutions for a multi-point boundary value problem with a \(p(r)\)-Laplacian. Adv Differ Equ 2018, 453 (2018). https://doi.org/10.1186/s13662-018-1846-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-018-1846-x