Abstract
This paper concerns the solvability of a nonlinear fractional boundary value problem at resonance. By using fixed point theorems we prove that the perturbed problem has a solution, then by some ideas from analysis we show that the original problem is solvable. An example is given to illustrate the obatined results.
Similar content being viewed by others
Background
Boundary value problems (BVP) at resonance have been studied in many papers for ordinary differential equations (Feng and Webb 1997; Guezane-Lakoud and Frioui 2013; Guezane-Lakoud and Kılıçman 2014; Hu and Liu 2011; Jiang 2011; Kosmatov 2010, 2006; Mawhin 1972; Samko et al. 1993; Webb and Zima 2009; Zima and Drygas 2013), most of them considered the existence of solutions for the BVP at resonance making use of Mawhin coincidence degree theory (Liu and Zhao 2007). In Guezane-Lakoud and Kılıçman (2014), Han investigated the existence and multiplicity of positive solutions for the BVP at resonance by considering an equivalent non resonance perturbed problem with the same conditions. More precisely, he wrote the original problem \(u^{\prime \prime }=f\left( t,u\right)\) as
under the conditions \(\beta \in \left( 0,\frac{\pi }{2}\right)\) and \(f:[ 0,1] \times [ 0,\infty [ \rightarrow {\mathbb {R}}\) is continuous and \(f\left( t,u\right) \ge -\beta ^{2}u.\) This result has been improved by Webb et al., in Samko et al. (1993) where the authors investigated a similar problem with various nonlocal boundary conditions.
In a recent study Mawhin (1972), Nieto investigated a resonance BVP by an other approach, that we will apply to a fractional boundary value problem to prove the existence of solutions.
The goal of this paper is to provide sufficient conditions that ensure the existence of solutions for the following fractional boundary value problem (P)
where \(f\in C\left( \left[ 0,1\right] \times {\mathbb {R}} \times {\mathbb {R}} ,{\mathbb {R}} \right)\), \(2<q<3,\) \(^{c}D_{0^{+}}^{\alpha }\) denotes the Caputo’s fractional derivative. The problem (P) is called at resonance in the sense that the associated linear homogeneous boundary value problem
has \(u(t)=ct^{2},\) \(c\in {\mathbb {R}}\) as nontrivial solutions. In this case since Leray-Schauder continuation theory cannot be used, we will apply some ideas from analysis. Although these techniques have already been considered in Mawhin (1972) for ordinary differential equation but the present problem (P) is different since the nonlinearity f depends also on the derivative and the differential Eq. (1) is of fractional type.
Fractional boundary value problems at resonance have been investigated in many works such in Bai (2011), Han (2007), Infante and Zima (2008), where the authors applied Mawhin coincidence degree theory. Further for the existence of unbounded positive solutions of a fractional boundary value problem on the half line, see Guezane-Lakoud and Kılıçman (2014).
The organization of this work is as follows. In Sect. 2, we introduce some notations, definitions and lemmas that will be used later. Section 3 treats the existence and uniqueness of solution for the perturbed problem by using respectively Schaefer fixed point theorem and Banach contraction principal. Then by some analysis ideas, we prove that the problem (P) is solvable. Finally, we illustrate the obtained results by an example.
Preliminaries
In this section, we present some Lemmas and Definitions from fractional calculus theory that can be found in Nieto (2013), Podlubny (1999).
Definition 1
If \(g\in C([a,b])\) and \(\alpha >0,\) then the Riemann-Liouville fractional integral is defined by
Definition 2
Let \(\alpha \ge 0,n=[\alpha ]+1.\) If \(g\in C^{n}[a,b]\) then the Caputo fractional derivative of order \(\alpha\) of g defined by
exists almost everywhere on [a, b] \(([\alpha ]\) is the integer part of \(\alpha ).\)
Lemma 3
For \(\alpha >0,\) \(g\in C(\left[ 0,1\right] ,{\mathbb {R}} ),\) the homogenous fractional differential equation
has a solution
where, \(c_{i}\in {\mathbb {R}} ,\) \(i=0,{\ldots},n-1,\) here n is the smallest integer greater than or equal to \(\alpha .\)
Lemma 4
Let \(p,q\ge 0,\) \(f\in L_{1}\left[ a,b\right] .\) Then \(I_{0^{+}}^{p}I_{0^{+}}^{q}f\left( t\right) =I_{0^{+}}^{p+q}f\left( t\right) =I_{0^{+}}^{q}I_{0^{+}}^{p}f\left( t\right)\) and \(^{c}D_{0^{+}}^{q}I_{0^{+}}^{q}f\left( t\right) =f\left( t\right) ,\) for all \(t\in \left[ a,b\right]\).
Now we start by solving an auxiliary problem.
Lemma 5
Let \(2<q<3\) and \(y\in C\left[ 0,1\right] .\) The linear fractional boundary value problem
has a solution if and only if \(I_{0^{+}}^{q}y(1)=0,\) in this case the solution can be written as
where
Proof
Applying Lemma 3 to (3) we get
Differentiating both sides of (6), it yields
The first condition in (3) gives \(c_{0}=c_{1}=0,\) the second one implies that \(I_{0^{+}}^{q}y(1)=0,\) hence (3) has solution if and only if \(I_{0^{+}}^{q}y(1)=0\), then the problem (3) has an infinity of solutions given by
Now we try to rewrite the function u. We have
then
substituting c by its value in (9) we obtain
Hence the linear problem can be written as
where \(H(t,s)=\left\{ \begin{array}{ll} (t-s)^{q-1}+t^{2}(1-s)^{q-1},\quad \ s\le t, \\ t^{2}(1-s)^{q-1},\quad t\le s.\end{array}\right.\) The kernel H(t, s) is continuous according to both variables s, t on \(\left[ 0,1\right] \times \left[ 0,1\right]\) and is positive. \(\square\)
Consequently the nonlinear problem (1) is transformed to the integral equation
Define a new function \(v(t)=u(t)-t^{2}u(1)\). To find a solution u we have to find v and u(1). Note \(v_{c}(t)=u(t)-t^{2}c,\) we try to solve for every \(v_{c}\) the problem
if \(v_{c}\) is a solution of (11) with \(c=u(1)\) then u is a solution of (1).
Existence and uniqueness results
Let E be the Banach space of all functions \(u\in C^{1}\left[ 0,1\right]\) into \({\mathbb {R}} ,\) equipped with the norm \(\left\| u\right\| =\max \left( \left\| u\right\| _{\infty },\left\| u^{\prime }\right\| _{\infty }\right)\) where \(\left\| u\right\| _{\infty }=\max _{t\in \left[ 0,1\right] }\left| u\left( t\right) \right|\). Denote by \(L^{1}\left( \left[ 0,1\right] ,{\mathbb {R}} \right)\) the Banach space of Lebesgue integrable functions from \(\left[ 0,1\right]\) into \({\mathbb {R}}\) with the norm \(\left\| y\right\| _{L^{1}}=\int _{0}^{1}\left| y\left( t\right) \right| dt.\) Define the integral operator \(T:E\rightarrow E\) by
and the corresponding perturbed operator \(T_{c}:E\rightarrow E\) by
Theorem 1
Assume that there exist nonnegative functions g, h, k \(\in\) \(L^{1}\left( \left[ 0,1\right] ,{\mathbb {R}} _{+}^{*}\right)\) and \(0\le \alpha <1\) such that
Then the map \(T_{c}\) has at least one fixed point \(v^{*}\in E.\)
We apply Schaefer fixed point theorem to prove Theorem 1.
Theorem 2
Let A be a completely continuous mapping of a Banach space X into it self, such that the set \(\left\{ x\in X:x=\lambda Ax,0<\lambda <1\right\}\) is bounded, then A has a fixed point.
Proof of Theorem 1
By Arzela-Ascoli Theorem we can easly show that \(T_{c}\) is a completely continuous mapping.
Now, let us prove that the set \(\left\{ v\in E:v=\lambda T_{c}v,0<\lambda <1\right\}\) is bounded. Endeed for \(\lambda \in \left( 0,1\right)\) such that \(v=\lambda T_{c}(v),\) we have
remarking that H(t, s) is continuous according to both variables s, t on \(\left[ 0,1\right] \times \left[ 0,1\right]\), nonnegative and \(0\le H(t,s)\le 2\) then using assumptions (14) and (15), we get
thus,
Let \(H^{\prime }(t,s)=H_{t}(t,s)=\left\{ \begin{array}{ll} \left( q-1\right) (t-s)^{q-2}+2t(1-s)^{q-1},\text { \ }s\le t, \\ 2t(1-s)^{q-1},\quad t\le s.\end{array}\right.,\) then \(H_{t}(t,s)\) is continuous according to both variables s, t on \(\left[ 0,1\right] \times \left[ 0,1\right]\), nonnegative and \(0\le H_{t}(t,s)\le q+1\). We have
Similarly we get
From here one can get
we conclude that v is bounded independently of \(\lambda\), then Schaefer fixed point theorem implies \(T_{c}\) has at least a fixed point. Hence equation
has at least one solution in E. The proof is complete. \(\square\)
The uniqueness result is given by the following Theorem:
Theorem 3
Assume there exist nonnegative functions \(g,h\in L^{1}\left( \left[ 0,1\right] ,{\mathbb {R}} _{+}\right)\) such that for all \(x,y,\overline{x},\overline{y}\in {\mathbb {R}} ,\) \(t\in \left[ 0,1\right]\) one has
Then \(T_{c}\) has a unique fixed point \(v_{c}^{*}\) in E.
Proof
Let v and \(w\in E\), then by (20) we get
thus
Similarly we get
consequently
where \(l=\frac{\left( q+1\right) \left( \left\| g\right\| _{L^{1}}+\left\| h\right\| _{L^{1}}\right) }{\Gamma \left( q\right) }.\) The assumption (21) implies that \(l<1\), so the Banach contraction principle ensure the uniqueness of the fixed point. The proof is complete. \(\square\)
Let us remark that under the assumptions of Theorem 3, the map \(\Psi :{\mathbb {R}}\rightarrow E,\) \(\Psi \left( c\right) =v_{c}^{*}\) is continuous. Moreover the map \(\Lambda :{\mathbb {R}}\rightarrow {\mathbb {R}},\) \(\Lambda =\Phi \circ \Psi ,\Lambda \left( c\right) =v_{c}^{*}\left( 1\right)\) is also continuous, where \(\Phi :E\rightarrow {\mathbb {R}},\) \(\Phi \left( v\right) =v\left( 1\right)\) and \(v_{c}^{*}\) is the unique fixed point of \(T_{c}\).
Let us show that the problem (1–2) is solvable.
Theorem 4
Under the assumptions of Theorems 1 and 3 and if
uniformly on \(\left[ 0.1\right]\), then the problem (1–2) has at least one solution in E. \((\left( u,v\right) \rightarrow +\infty ,\) ie. \(u\rightarrow +\infty\) and \(v\rightarrow +\infty ).\)
Proof
The condition \(\lim _{\left( u,v\right) \rightarrow \pm \infty }f\left( t,u,v\right) =\pm \infty\) is assumed to avoid the case \(f(t,u(t),u^{\prime }(t))=y\left( t\right)\) where the problem may have no solution (in the case \(I_{0^{+}}^{q}y(1)\ne 0).\) If we prove that \(\lim _{c\rightarrow \pm \infty }\Lambda \left( c\right) =\pm \infty ,\) then there exists \(c^{*}\in {\mathbb {R}}\) such that \(\Lambda \left( c^{*}\right) =0\) consequently \(c^{*}=u_{c^{*}}(1)\) hence \(u_{c^{*}}(t)=v_{c^{*}}^{*}(t)+t^{2}c^{*}\) is a solution of the nonlinear problem (1–2).
Now taking into account (18) we get \(\lim _{c\rightarrow +\infty }\frac{\left\| v_{c}^{*}\right\| }{c}=0.\) Since the norms of \(\left( v_{c}^{*}(s)+cs^{2}\right)\) and \(\left( v_{c}^{*\prime }(s)+2cs\right)\) growth asymptotically as c, \(H\left( t,s\right)\) is nonnegative and continuous and \(\lim _{\left( u,v\right) \rightarrow \pm \infty }f\left( t,u,v\right) =\pm \infty ,\) then from (19) it yields \(\lim _{c\rightarrow \pm \infty }\Lambda \left( c\right) =\pm \infty .\) The proof is complete. \(\square\)
Example 5
The following fractional boundary value problem
is solvable in E.
Proof
We have \(q=\frac{5}{2}\) and
where
some calculus give
Applying Theorem 1 we conclude that the map \(T_{c}\) has at least one fixed point \(v^{*}\in E\). Now we have
where \(G(t)=H(t)=\left( 0.1\right) \left( 1+t^{2}\right) ,\) hence we get
In view of Theorem 3, \(T_{c}\) has a unique fixed point \(v_{c}^{*}\) in E. It is easy to see that
From the above discussion and Theorem 4 we conclude that the problem (24) is solvable in E. \(\square\)
Conclusion
The goal of this paper was to provide sufficient conditions in order to ensure the existence of solutions for the following fractional boundary value problem
where \(f\in C\left( \left[ 0,1\right] \times {\mathbb {R}} \times {\mathbb {R}} ,{\mathbb {R}} \right)\), \(2<q<3,\) \(^{c}D_{0^{+}}^{\alpha }\) denotes the Caputo’s fractional derivative. By using fixed point theorems we proved that the perturbed problem has a solution, then we also show that the original problem is solvable. An example is provided n order to illustrate the results.
References
Bai Z (2011) Solvability for a class of fractional m-point boundary value problem at resonance. Comput Math Appl 62(3):1292–1302
Feng W, Webb JRL (1997) Solvability of three point boundary value problems at resonance. Nonlinear Anal 30:3227–3238
Guezane-Lakoud A, Frioui A (2013) Third order boundary value problem with integral condition at resonance. Theory Appl Math Comput Sci 3(1):56–64
Guezane-Lakoud A, Kılıçman A (2014) Unbounded solution for a fractional boundary value problem. Adv Diff Equ 154:1–15
Han X (2007) Positive solutions for a three-point boundary value problems at resonance. J Math Anal Appl 336:556–568
Hu Z, Liu W (2011) Solvability for fractional order boundary value problems at resonance. Bound Value Probl 2011:1
Infante G, Zima M (2008) Positive solutions of multi-point boundary value problems at resonance. Nonlinear Anal 69:2458–2465
Jiang W (2011) The existence of solutions to boundary value problems of fractional differential equations at resonance. Nonlinear Anal 74:1987–1994
Kosmatov N (2006) A symmetric solution of a multi-point boundary value problems at resonance. Abstr Appl Anal 2006:1
Kosmatov N (2010) A boundary value problem of fractional order at resonance. Electron J Differ Equ 135:1–10
Liu B, Zhao Z (2007) A note on multi-point boundary value problems. Nonlinear Anal TMA 67:2680–2689
Mawhin J (1972) Equivalence theorems for nonlinear operator equations and coincidence degree theory for mappings in locally convex topological vector spaces. J Differ Equ 12:610–636
Nieto JJ (2013) Existence of a solution for a three point boundary value problem for a second order differential equation at resonance. Bound Value Probl 2013:130
Podlubny I (1999) Fractional differential equation. Academic Press, Sain Diego
Samko SG, Kilbas A, Marichev O (1993) Fractional integrals and derivatives, theory and applications. Gordon & Breach, Yverdon les Bains
Webb JRL, Zima M (2009) Multiple positive solutions of resonant and non-resonant nonlocal boundary value problems. Nonlinear Anal 71:1369–1378
Zima M, Drygas P (2013) Existence of positive solutions for a kind of periodic boundary value problem at resonance. Bound Value Probl 2013:19
Authors' contributions
All authors read and approved the final manuscript
Acknowledgements
First of all the authors would like to thank the referees for giving useful suggestions to improve the manuscript. The first author would also like to thank the University Putra Malaysia for the kind hospitality during her visit in December 2015. The third author acknowledges that this research was partially supported by the University Putra Malaysia.
Competing interests
The authors declare that they have no competing interests.
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
Guezane-Lakoud, A., Khaldi, R. & Kılıçman, A. Solvability of a boundary value problem at resonance. SpringerPlus 5, 1504 (2016). https://doi.org/10.1186/s40064-016-3172-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s40064-016-3172-7
Keywords
- Fractional boundary value problem at resonance
- Existence of solution
- Schaefer fixed point theorem
- Banach contraction principal