- Research
- Open Access
- Published:

# Solvability of a boundary value problem at resonance

*SpringerPlus*
**volume 5**, Article number: 1504 (2016)

## 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.

## 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

### 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:

### Keywords

- Fractional boundary value problem at resonance
- Existence of solution
- Schaefer fixed point theorem
- Banach contraction principal

### Mathematics Subject Classification

- 34A08
- 34B15