Skip to main content

Existence and uniqueness of symmetric solutions for fractional differential equations with multi-order fractional integral conditions

Abstract

In this paper, we investigate the existence and uniqueness of symmetric solutions for fractional differential equations with multi-order fractional integral boundary conditions, by means of standard fixed point theorems. Examples which support our theoretical results are also presented.

1 Introduction

In this paper, we study the existence and uniqueness of symmetric solutions for the following boundary value problem for nonlinear fractional differential equations with multi-order fractional integral boundary conditions:

$$ \left \{ \textstyle\begin{array}{@{}l} {}^{c}D^{\alpha}x(t)=f(t, x(t)),\quad 1< \alpha\leq2, 0<t<T,\\ x(t)=x(T-t), \qquad\sum_{i=1}^{m}\lambda_{i}I^{\beta_{i}}x(\eta _{i})=\sigma, \end{array} \right . $$
(1.1)

where \({}^{c}D^{\alpha}\) denotes the Caputo fractional derivative of order α, x is symmetric (we recall that a function \(x\in C([0,T], {\mathbb{R}})\) is said to be symmetric on \([0,T]\) if \(x(t)=x(T-t)\), \(t\in[0,T]\)), \(f: [0,T]\times{\mathbb{R}}\to{\mathbb{R}}\) is a continuous function and symmetric with respect to t, that is, \(f(t,x)=f(T-t,x)\), \(\eta_{i}\in(0, T)\), \(\sigma,\lambda_{i}\in{\mathbb{R}}\), for all \(i=1,2,\ldots,m\) and \(I^{\beta_{i}}\) is the Riemann-Liouville fractional integral of order \(\beta_{i}>0\) (\(i=1,2,\ldots,m\)) such that

$$ \sum_{i=1}^{m} \frac{\lambda_{i}\eta_{i}^{\beta_{i}}}{\Gamma(\beta_{i}+1)}\neq0. $$
(1.2)

Fractional calculus has become very useful over the last years because of its many applications in almost all applied sciences. Fractional differential equations have been of great interest and it is caused both by the intensive development of the theory of fractional calculus itself and by the applications of such constructions in various science such as physics, mechanics, chemistry, and engineering. For details, and some recent results on the subject we refer to [117] and references cited therein.

Recently, many authors have focused on the existence of symmetric solutions for ordinary differential equation boundary value problems; for example, see [1821] and the references therein. To the best of the authors’ knowledge there are no papers dealing with the existence of symmetric solutions for boundary value problems for fractional differential equations. The filling of this gap is the main motivation of this paper. Here we study existence and uniqueness results for symmetric solutions for boundary value problems of nonlinear fractional differential equations with multi-order fractional integral boundary conditions.

Note that the singular case can occur when the left side of (1.2) is equal to zero. For example if \(m=3\), \(\eta_{1}=\eta_{3}=T/2\), \(\eta_{2}=T\), \(\lambda_{1}=\lambda_{3}=1\), \(\lambda_{2}=-1\), \(\sigma=0\), and \(\beta_{i}=1\), \(i=1,2,3\), then the fractional integral condition of (1.1) is reduced to

$$ \int_{0}^{\frac{T}{2}}x(s)\,ds=\int _{\frac{T}{2}}^{T}x(s)\,ds, $$
(1.3)

which is equivalent to the symmetric condition \(x(t)=x(T-t)\). Therefore, the condition (1.2) provides the other ordinary/fractional integral boundary condition which is different from the regular symmetric condition. Now, there are two different conditions which are sufficient to give the existence and uniqueness results for the problem (1.1).

The organization of this paper is as follows: In Section 2 we present some preliminary notations, definitions and lemmas that we need in the sequel. In Section 3 we present the main existence and uniqueness results for the problem (1.1). Several new existence and uniqueness results are proved by using a variety of fixed point theorems (such as Banach’s contraction principle, nonlinear contractions, Krasnoselskii’s fixed point theorem, and Leray-Schauder’s nonlinear alternative). Examples illustrating the obtained results are presented in Section 4.

2 Preliminaries

In this section, we introduce some notations and definitions of fractional calculus [1, 2] and present preliminary results needed in our proofs later.

Definition 2.1

For an at least n-times differentiable function \(g : [0,\infty) \to\mathbb{R}\), the Caputo derivative of fractional order q is defined as

$${}^{c}D^{q} g(t)=\frac{1}{\Gamma(n-q)}\int_{0}^{t}(t-s)^{n-q-1}g^{(n)}(s)\,ds, \quad n-1 < q < n, n=[q]+1, $$

where \([q]\) denotes the integer part of the real number q.

Definition 2.2

The Riemann-Liouville fractional integral of order q is defined as

$$I^{q} g(t)=\frac{1}{\Gamma(q)}\int_{0}^{t} \frac{g(s)}{(t-s)^{1-q}}\,ds,\quad q>0, $$

provided the integral exists.

Lemma 2.1

For \(q >0\), the general solution of the fractional differential equation \({}^{c}D^{q} u(t)=0\) is given by

$$u(t)=c_{0}+c_{1}t+ \cdots+c_{n-1} t^{n-1}, $$

where \(c_{i} \in\mathbb{R}\), \(i=1, 2,\ldots, n-1\) (\(n=[q]+1\)).

In view of Lemma 2.1, it follows that

$$ I^{q} {^{c}D^{q}} u(t)= u(t)+c_{0}+c_{1}t+ \cdots+c_{n-1} t^{n-1}, $$
(2.1)

for some \(c_{i} \in\mathbb{R}\), \(i=1, 2,\ldots, n-1\) (\(n=[q]+1\)).

For convenience we set

$$ \Omega_{1}= \sum_{i=1}^{m} \lambda_{i}\frac{\eta _{i}^{\beta_{i}+1}}{\Gamma(\beta_{i}+2)},\qquad \Omega_{2} = \sum _{i=1}^{m}\lambda_{i} \frac{\eta_{i}^{\beta _{i}}}{\Gamma(\beta_{i}+1)}. $$
(2.2)

Lemma 2.2

Let \(\Omega_{2}\neq0\), \(1<\alpha\leq2\), \(\beta_{i}>0\), \(\eta_{i}\in(0,T)\), for \(i=1,2,\ldots,m\), and \(y\in C([0,T], {\mathbb{R}})\). Then the problem

$$\begin{aligned}& D^{\alpha}x(t)=y(t), \quad t\in(0,T), \end{aligned}$$
(2.3)
$$\begin{aligned}& x(t)=x(T-t),\qquad \sum_{i=1}^{m} \lambda_{i}I^{\beta_{i}}x(\eta _{i})=\sigma, \end{aligned}$$
(2.4)

has a unique solution given by

$$\begin{aligned} x(t)=I^{\alpha}y(t) +\frac{ (\Omega_{1}-\Omega_{2} t ) }{\Omega_{2} T}I^{\alpha}y(T)+\frac {1}{\Omega_{2}} \Biggl(\sigma-\sum_{i=1}^{m} \lambda_{i}I^{\alpha+\beta _{i}}y(\eta_{i}) \Biggr). \end{aligned}$$
(2.5)

Proof

Using Lemma 2.1, (2.3) can be expressed as an equivalent integral equation

$$ x(t)= I^{\alpha}y(t)+c_{1} t+c_{2}, $$
(2.6)

for arbitrary constants \(c_{1}, c_{2}\in\mathbb{R}\).

Taking the Riemann-Liouville fractional integral of order \(p>0\) for (2.6), we have

$$ I^{p}x(t)=I^{\alpha+p}y(t)+c_{1} \frac{t^{p+1}}{\Gamma(p+2)}+c_{2}\frac {t^{p}}{\Gamma(p+1)}. $$
(2.7)

From the first condition of (2.4), it follows that

$$\begin{aligned} c_{1}=-\frac{1}{T}I^{\alpha}y(T). \end{aligned}$$

The second condition of (2.4) and (2.7) with \(p=\beta_{i}\) imply that

$$\begin{aligned} \sum_{i=1}^{m}\lambda_{i}I^{\alpha+\beta_{i}}y( \eta_{i})+c_{1}\sum_{i=1}^{m} \lambda_{i}\frac{\eta_{i}^{\beta_{i}+1}}{ \Gamma(\beta_{i}+2)}+c_{2}\sum _{i=1}^{m}\lambda_{i}\frac{\eta_{i}^{\beta _{i}}}{\Gamma(\beta_{i}+1)}= \sigma. \end{aligned}$$

Putting a constant \(c_{1}\), we have

$$\begin{aligned} c_{2} =&\frac{1}{\Omega_{2}} \Biggl(\sigma-\sum _{i=1}^{m}\lambda_{i}I^{\alpha +\beta_{i}}y( \eta_{i})+\frac{\Omega_{1}}{T}I^{\alpha}y(T) \Biggr). \end{aligned}$$

Substituting constants \(c_{1}\) and \(c_{2}\) into (2.6), we obtain (2.5) as required. □

Next we outline the fixed point theorems that will be used in the proofs of our existence and uniqueness results.

Definition 2.3

Let E be a Banach space and let \(F:E\rightarrow E\) be a mapping. F is said to be a nonlinear contraction if there exists a continuous nondecreasing function \(\Psi:\mathbb{R}^{+}\rightarrow \mathbb{R}^{+}\) such that \(\Psi(0)=0\) and \(\Psi(\varepsilon)<\varepsilon\) for all \(\varepsilon> 0\) with the property:

$$\begin{aligned} \|Fx-Fy\| \leq\Psi\bigl(\|x-y\|\bigr),\quad \forall x,y\in E. \end{aligned}$$

Lemma 2.3

(Boyd and Wong) [22]

Let E be a Banach space and let \(F:E\rightarrow E\) be a nonlinear contraction. Then F has a unique fixed point in E.

Lemma 2.4

(Krasnoselskii’s fixed point theorem) [23]

Let M be a closed, bounded, convex, and nonempty subset of a Banach space X. Let A, B be the operators such that (a) \(Ax+By \in M\) whenever \(x, y \in M\); (b) A is compact and continuous; (c) B is a contraction mapping. Then there exists \(z \in M\) such that \(z=Az+Bz\).

Lemma 2.5

(Nonlinear alternative for single valued maps) [24]

Let E be a Banach space, C a closed, convex subset of E, X an open subset of C and \(0\in X\). Suppose that \(F:\overline{X}\to C\) is a continuous, compact (that is, \(F(\overline {X})\) is a relatively compact subset of C) map. Then either

  1. (i)

    F has a fixed point in \(\overline{X}\), or

  2. (ii)

    there is a \(x\in\partial X\) (the boundary of X in C) and \(\lambda\in(0,1)\) with \(x=\lambda F(x)\).

3 Main results

Let \(\mathcal{C}=C([0, T],\mathbb{R})\) denotes the Banach space of all continuous functions from \([0, T]\) to \(\mathbb{R}\) endowed with the norm defined by \(\|x\|=\sup_{t\in[0, T]}|x(t)|\). Throughout this paper, for convenience, the expression \(I^{a} f(s,x(s))(b)\) means

$$\begin{aligned} I^{a} f \bigl(s,x(s) \bigr) (b)=\frac{1}{\Gamma(a)}\int _{0}^{b}(b-s)^{a-1}f \bigl(s,x(s) \bigr)\,ds, \quad t\in[0,T], \end{aligned}$$

where \(a\in\{\alpha,\alpha+\beta_{i}\}\) and \(b\in\{t,T,\eta_{i}\}\), \(i=1,2,\dots,m\).

As in Lemma 2.2, we define an operator \(\mathcal{F}:\mathcal {C}\rightarrow\mathcal{C}\) by

$$\begin{aligned} (\mathcal{F}x) (t)={}& I^{\alpha}f \bigl(s,x(s) \bigr) (t)+ \biggl(\frac {\Omega_{1}-\Omega_{2}t}{\Omega_{2}T} \biggr)I^{\alpha}f \bigl(s,x(s) \bigr) (T) \\ &{} +\frac{1}{\Omega_{2}} \Biggl(\sigma-\sum_{i=1}^{m} \lambda _{i}I^{\alpha+\beta_{i}}f \bigl(s,x(s) \bigr) ( \eta_{i}) \Biggr). \end{aligned}$$
(3.1)

It should be noticed that the problem (1.1) has solutions if and only if the operator \(\mathcal{F}\) has fixed points.

In the following subsections we prove existence, as well as existence and uniqueness results, for the boundary value problem (1.1) by using a variety of fixed point theorems.

We set

$$ \Lambda= \frac{T^{\alpha}}{\Gamma(\alpha+1)} + \biggl(\frac{|\Omega_{1}|+|\Omega _{2}|T}{|\Omega_{2}|T} \biggr) \frac{T^{\alpha}}{\Gamma(\alpha+1)}+\frac {1}{|\Omega_{2}|}\sum^{m}_{i=1}| \lambda_{i}|\frac{\eta^{\alpha+\beta _{i}}_{i}}{\Gamma(\alpha+\beta_{i}+1)}, $$
(3.2)

and

$$ \Phi=\frac{|\sigma|}{|\Omega_{2}|}. $$
(3.3)

3.1 Existence and uniqueness result via Banach’s fixed point theorem

The first existence and uniqueness result is based on Banach’s contraction mapping principle (Banach’s fixed point theorem).

Theorem 3.1

Assume that \(f:[0,T]\times\mathbb{R}\to\mathbb{R}\) is a symmetric continuous function and

(H1):

there exists a constant \(L>0\) such that \(|f(t,x)-f(t,y)|\leq L|x-y|\), for each \(t\in[0, T]\) and \(x, y\in \mathbb{R}\).

If

$$ L\Lambda< 1, $$
(3.4)

where Λ is defined by (3.2), then the boundary value problem (1.1) has a unique symmetric solution on \([0, T]\).

Proof

We transform the problem (1.1) into a fixed point problem, \(x=\mathcal{F}x\), where the operator \(\mathcal {F}\) is defined as in (3.1). Observe that the fixed points of the operator \(\mathcal{F}\) are solutions of the problem (1.1). Applying Banach’s contraction mapping principle, we shall show that \(\mathcal{F}\) has a unique fixed point.

We let \(\sup_{t \in[0,T]}|f(t,0)|=M< \infty\) and choose

$$\begin{aligned} r\geq\frac{\Lambda M+\Phi}{1-L\Lambda}, \end{aligned}$$

where the constant Φ is defined by (3.3).

Now, we show that \(\mathcal{F} B_{r} \subset B_{r}\), where \(B_{r}=\{x \in {\mathcal{C}}: \|x\|\le r \}\). For any \(x \in B_{r}\), we have

$$\begin{aligned} \bigl|(\mathcal{F}x) (t)\bigr| \le& \sup_{t\in[0,T]} \Biggl\{ I^{\alpha}\bigl|f \bigl(s,x(s) \bigr)\bigr|(t)+ \biggl(\frac{|\Omega_{1}|+|\Omega _{2}|t}{|\Omega_{2}|T} \biggr)I^{\alpha}\bigl|f \bigl(s,x(s) \bigr)\bigr|(T) \\ &{}+ \frac{1}{|\Omega_{2}|}|\sigma|+\frac{1}{|\Omega_{2}|}\sum _{i=1}^{m}|\lambda_{i}|I^{\alpha+\beta_{i}}\bigl|f \bigl(s,x(s) \bigr)\bigr|(\eta_{i}) \Biggr\} \\ \le& I^{\alpha}\bigl(\bigl|f \bigl(s,x(s) \bigr)-f(s,0)\bigr|+\bigl|f(s,0)\bigr| \bigr) (T) \\ &{} + \biggl(\frac{|\Omega_{1}|+|\Omega_{2}|T}{|\Omega_{2}|T} \biggr)I^{\alpha}\bigl(\bigl|f \bigl(s,x(s) \bigr)-f(s,0)\bigr|+\bigl|f(s,0)\bigr| \bigr) (T) \\ &{} + \frac{1}{|\Omega_{2}|}|\sigma|+\frac{1}{|\Omega_{2}|}\sum _{i=1}^{m}|\lambda_{i}|I^{\alpha+\beta_{i}} \bigl(\bigl|f \bigl(s,x(s) \bigr)-f(s,0)\bigr|+\bigl|f(s,0)\bigr| \bigr) (\eta_{i}) \\ \le& (Lr+M)I^{\alpha}(1) (T)+(Lr+M) \biggl(\frac{|\Omega_{1}|+|\Omega_{2}|T}{|\Omega _{2}|T} \biggr)I^{\alpha}(1) (T) \\ &{} + \frac{1}{|\Omega_{2}|}|\sigma|+(Lr+M)\frac{1}{|\Omega_{2}|}\sum _{i=1}^{m}|\lambda_{i}|I^{\alpha+\beta_{i}}(1 ) (\eta_{i}) \\ \le& (Lr+M)\frac{T^{\alpha}}{\Gamma{(\alpha+1)}}+(Lr+M) \biggl(\frac{|\Omega _{1}|+|\Omega_{2}|T}{|\Omega_{2}|T} \biggr) \frac{T^{\alpha}}{\Gamma{(\alpha +1)}} \\ &{} + \frac{1}{|\Omega_{2}|}|\sigma|+(Lr+M)\frac{1}{|\Omega_{2}|}\sum _{i=1}^{m}|\lambda_{i}|\frac{\eta_{i}^{\alpha+\beta_{i}}}{\Gamma{(\alpha +\beta_{i}+1)}} \\ =& (Lr+M )\Lambda+\Phi\le r, \end{aligned}$$

which implies that \(\mathcal{F}B_{r}\subset B_{r}\).

Next, we let \(x,y\in\mathcal{C}\). Then, for \(t\in[0,T]\), we have

$$\begin{aligned} &\bigl|(\mathcal{F}x) (t)-(\mathcal{F}y) (t)\bigr| \\ & \quad\le I^{\alpha}\bigl|f \bigl(s,x(s) \bigr)-f \bigl(s,y(s) \bigr)\bigr|(t)+ \biggl( \frac {|\Omega_{1}|+|\Omega_{2}|T}{|\Omega_{2}|T} \biggr)I^{\alpha}\bigl|f \bigl(s,x(s) \bigr)-f \bigl(s,y(s) \bigr)\bigr|(T) \\ &\qquad{}+\frac{1}{|\Omega_{2}|}\sum_{i=1}^{m}| \lambda_{i}|I^{\alpha+\beta _{i}}\bigl|f \bigl(s,x(s) \bigr)-f \bigl(s,y(s) \bigr)\bigr|( \eta_{i}) \\ &\quad\le L\|x-y\|\frac{T^{\alpha}}{\Gamma{(\alpha+1)}}+L\|x-y\| \biggl(\frac{|\Omega _{1}|+|\Omega_{2}|T}{|\Omega_{2}|T} \biggr) \frac{T^{\alpha}}{\Gamma{(\alpha +1)}} \\ &\qquad{}+ L\|x-y\|\frac{1}{|\Omega_{2}|}\sum_{i=1}^{m}| \lambda_{i}|\frac{\eta _{i}^{\alpha+\beta_{i}}}{\Gamma{(\alpha+\beta_{i}+1)}} \\ &\quad= L\Lambda\|x-y\|, \end{aligned}$$

which implies that \(\|\mathcal{F}x-\mathcal{F}y\|\leq L\Lambda\|x-y\|\). As \(L\Lambda<1\), \(\mathcal{F}\) is a contraction. Therefore, we deduce, by Banach’s contraction mapping principle, that \(\mathcal{F}\) has a fixed point which is the unique symmetric solution of the problem (1.1). The proof is completed. □

3.2 Existence and uniqueness result via Banach’s fixed point theorem and Hölder’s inequality

In this subsection we give another existence and uniqueness theorem for the boundary value problem (1.1) by using Banach’s fixed point theorem and Hölder’s inequality.

Theorem 3.2

Suppose that \(f: [0,T]\times{\mathbb{R}}\to{\mathbb{R}}\) is a symmetric continuous function satisfying the following assumption:

(H2):

\(|f(t,x)-f(t,y)|\leq\delta(t)|x-y|\), for \(t\in[0, T]\), \(x, y\in\mathbb{R}\), and \(\delta\in L^{\frac{1}{\omega}}([0,T],\mathbb {R}^{+})\), \(\omega\in(0,1)\).

Denote \(\|\delta\| = (\int_{0}^{T}|\delta(s)|^{\frac {1}{\omega}}\,ds )^{\omega}\). If

$$\begin{aligned}[b] &\|\delta\| \Biggl\{ \frac{T^{\alpha-\omega}}{\Gamma{(\alpha )}} \biggl(\frac{1-\omega}{\alpha-\omega} \biggr)^{1-\omega} + \biggl(\frac{|\Omega_{1}|+|\Omega_{2}|T}{|\Omega_{2}|T} \biggr) \frac{T^{\alpha-\omega}}{\Gamma{(\alpha)}} \biggl(\frac{1-\omega}{\alpha-\omega} \biggr)^{1-\omega} \\ &\quad{}+\frac{1}{|\Omega_{2}|}\sum _{i=1}^{m}\frac{|\lambda_{i}|\eta_{i}^{\alpha+\beta _{i}-\omega}}{\Gamma{(\alpha+\beta_{i})}} \biggl( \frac{1-\omega}{\alpha+\beta _{i}-\omega} \biggr)^{1-\omega} \Biggr\} < 1, \end{aligned} $$

then the boundary value problem (1.1) has a unique symmetric solution on \([0,T]\).

Proof

For \(x,y \in C([0,T],\mathbb{R})\) and for each \(t\in[0,T]\), by Hölder’s inequality, we have

$$\begin{aligned} &\bigl|(\mathcal{F}x) (t)-(\mathcal{F}y) (t)\bigr| \\ &\quad\le I^{\alpha}\bigl|f \bigl(s,x(s) \bigr)-f \bigl(s,y(s) \bigr)\bigr|(t)+ \biggl( \frac {|\Omega_{1}|+|\Omega_{2}|T}{|\Omega_{2}|T} \biggr)I^{\alpha}\bigl|f \bigl(s,x(s) \bigr)-f \bigl(s,y(s) \bigr)\bigr|(T) \\ &\qquad{}+ \frac{1}{|\Omega_{2}|}\sum_{i=1}^{m}| \lambda_{i}|I^{\alpha+\beta _{i}}\bigl|f \bigl(s,x(s) \bigr)-f \bigl(s,y(s) \bigr)\bigr|( \eta_{i}) \\ &\quad\le \frac{1}{\Gamma{(\alpha)}}\int_{0}^{t}(t-s)^{\alpha-1} \delta (s)\bigl|x(s)-y(s)\bigr|\,ds \\ &\qquad{}+ \biggl(\frac{|\Omega_{1}|+|\Omega_{2}|T}{|\Omega_{2}|T} \biggr)\frac {1}{\Gamma(\alpha)}\int _{0}^{T}(T-s)^{\alpha-1}\delta(s)\bigl|x(s)-y(s)\bigr|\,ds \\ &\qquad{}+ \frac{1}{|\Omega_{2}|}\sum_{i=1}^{m} \frac{|\lambda_{i}|}{\Gamma(\alpha +\beta_{i})}\int_{0}^{\eta_{i}}( \eta_{i}-s)^{\alpha+\beta_{i}-1}\delta (s)\bigl|x(s)-y(s)\bigr|\,ds \\ &\quad\le \frac{1}{\Gamma{(\alpha)}} \biggl(\int_{0}^{t} \bigl((t-s)^{\alpha-1} \bigr)^{\frac{1}{1-\omega}}\,ds \biggr)^{1-\omega} \biggl( \int_{0}^{t} \bigl(\delta(s) \bigr)^{\frac{1}{\omega}}\,ds \biggr)^{\omega}\|x-y\| \\ &\qquad{}+ \biggl(\frac{|\Omega_{1}|+|\Omega_{2}|T}{|\Omega_{2}|T} \biggr)\frac {1}{\Gamma{(\alpha)}} \biggl(\int _{0}^{T} \bigl((T-s)^{\alpha-1} \bigr)^{\frac {1}{1-\omega}}\,ds \biggr)^{1-\omega} \biggl(\int_{0}^{T} \bigl(\delta(s) \bigr)^{\frac{1}{\omega}}\,ds \biggr)^{\omega}\|x-y\| \\ &\qquad{}+\frac{1}{|\Omega_{2}|}\sum_{i=1}^{m} \frac{|\lambda_{i}|}{\Gamma(\alpha+\beta _{i})} \biggl(\int_{0}^{\eta_{i}} \bigl(( \eta_{i}-s)^{\alpha+\beta_{i}-1} \bigr)^{\frac{1}{1-\omega}}\,ds \biggr)^{1-\omega} \biggl(\int_{0}^{\eta_{i}} \bigl( \delta(s) \bigr)^{\frac{1}{\omega}}\,ds \biggr)^{\omega}\| x-y\| \\ &\quad\le \|\delta\| \Biggl[\frac{T^{\alpha-\omega}}{\Gamma{(\alpha)}} \biggl(\frac {1-\omega}{\alpha-\omega} \biggr)^{1-\omega} + \biggl(\frac{|\Omega_{1}|+|\Omega_{2}|T}{|\Omega_{2}|T} \biggr) \frac{T^{\alpha-\omega}}{\Gamma{(\alpha)}} \biggl(\frac{1-\omega}{\alpha-\omega} \biggr)^{1-\omega} \\ &\qquad{}+\frac{1}{|\Omega_{2}|}\sum_{i=1}^{m} \frac{|\lambda_{i}|\eta_{i}^{\alpha +\beta_{i}-\omega}}{\Gamma{(\alpha+\beta_{i})}} \biggl(\frac{1-\omega}{\alpha +\beta_{i}-\omega} \biggr)^{1-\omega} \Biggr]\|x-y \|. \end{aligned}$$

It follows that \(\mathcal{F}\) is a contraction mapping. Hence Banach’s fixed point theorem implies that \(\mathcal{F}\) has a unique fixed point, which is the unique symmetric solution of the boundary value problem (1.1). The proof is completed. □

3.3 Existence and uniqueness result via nonlinear contractions

In this subsection we establish an existence and uniqueness result for the boundary value problem (1.1) by using Boyd and Wong’s fixed point theorem for nonlinear contractions (Lemma 2.3).

Theorem 3.3

Let \(f:[0,T]\times\mathbb{R}\rightarrow \mathbb{R}\) be a symmetric continuous function satisfying the assumption:

(H3):

\(|f(t,x)-f(t,y)|\leq h(t)\frac {|x-y|}{H^{*}+|x-y|}\), \(t\in[0,T]\), \(x,y\geq0\), where \(h:[0,T]\rightarrow\mathbb{R}^{+}\) is continuous and a constant \(H^{*}\) defined by

$$ H^{*}= I^{\alpha}h(T)+ \biggl(\frac{|\Omega_{1}|+|\Omega_{2}|T}{|\Omega_{2}|T} \biggr)I^{\alpha}h(T)+\frac{1}{|\Omega_{2}|}\sum_{i=1}^{m}| \lambda_{i}|I^{\alpha +\beta_{i}}h(\eta_{i}). $$
(3.5)

Then the boundary value problem (1.1) has a unique symmetric solution on \([0,T]\).

Proof

We define the operator \(\mathcal{F}:\mathcal{C}\rightarrow \mathcal{C}\) as in (3.1) and a continuous nondecreasing function \(\Psi:\mathbb{R}^{+}\rightarrow\mathbb{R}^{+}\) by

$$\begin{aligned} \Psi(\varepsilon)=\frac{H^{*}\varepsilon}{H^{*}+\varepsilon}, \quad\forall \varepsilon\geq0. \end{aligned}$$

Note that the function Ψ satisfies \(\Psi(0)=0\) and \(\Psi (\varepsilon)<\varepsilon\) for all \(\varepsilon>0\).

For any \(x,y \in\mathcal{C}\) and for each \(t\in[0,T]\), we have

$$\begin{aligned} &\bigl|(\mathcal{F}x) (t)-(\mathcal{F}y) (t)\bigr| \\ &\quad \le I^{\alpha}\bigl|f \bigl(s,x(s) \bigr)-f \bigl(s,y(s) \bigr)\bigr|(t)+ \biggl( \frac {|\Omega_{1}|+|\Omega_{2}|T}{|\Omega_{2}|T} \biggr)I^{\alpha}\bigl|f \bigl(s,x(s) \bigr)-f \bigl(s,y(s) \bigr)\bigr|(T) \\ &\qquad{}+ \frac{1}{|\Omega_{2}|}\sum_{i=1}^{m}| \lambda_{i}|I^{\alpha+\beta _{i}}\bigl|f \bigl(s,x(s) \bigr)-f \bigl(s,y(s) \bigr)\bigr|( \eta_{i}) \\ &\quad\le I^{\alpha}\biggl(h(s)\frac{|x-y|}{H^{*}+|x-y|} \biggr) (T)+ \biggl( \frac{|\Omega_{1}|+|\Omega_{2}|T}{|\Omega_{2}|T} \biggr)I^{\alpha}\biggl(h(s)\frac{|x-y|}{H^{*}+|x-y|} \biggr) (T) \\ &\qquad{}+ \frac{1}{|\Omega_{2}|}\sum_{i=1}^{m}| \lambda_{i}|I^{\alpha+\beta _{i}} \biggl(h(s)\frac{|x-y|}{H^{*}+|x-y|} \biggr) ( \eta_{i}) \\ &\quad\le \frac{\Psi\|x-y\|}{H^{*}} \Biggl(I^{\alpha}h(T)+ \biggl( \frac{|\Omega_{1}|+|\Omega_{2}|T}{|\Omega_{2}|T} \biggr)I^{\alpha}h(T)+\frac {1}{|\Omega_{2}|}\sum _{i=1}^{m}|\lambda_{i}|I^{\alpha+\beta_{i}}h( \eta_{i}) \Biggr) \\ &\quad\le \Psi\bigl(\|x-y\|\bigr). \end{aligned}$$

This implies that \(\|\mathcal{F}x-\mathcal{F}y\|\leq\Psi(\|x-y\|)\). Therefore \(\mathcal{F}\) is a nonlinear contraction. Hence, by Lemma 2.3 the operator \(\mathcal{F}\) has a unique fixed point which is the unique symmetric solution of the problem (1.1). This completes the proof. □

3.4 Existence result via Krasnoselskii’s fixed point theorem

The next existence theorem is based on Krasnoselskii’s fixed point theorem (Lemma 2.4).

Theorem 3.4

Let \(f : [0,T]\times{\mathbb{R}} \to \mathbb{R}\) be a symmetric continuous function satisfying (H1). In addition we assume that:

(H4):

\(|f(t,x)|\le\phi(t)\), \(\forall(t,x) \in[0,T] \times{\mathbb{R}}\), and \(\phi\in C([0,T], {\mathbb{R}}^{+})\).

Then the boundary value problem (1.1) has at least one symmetric solution on \([0,T]\) provided

$$ \biggl(\frac{|\Omega_{1}|+|\Omega_{2}|T}{|\Omega_{2}|T} \biggr)\frac{T^{\alpha}}{\Gamma(\alpha+1)}+ \frac{1}{|\Omega_{2}|}\sum^{m}_{i=1}| \lambda_{i}|\frac{\eta^{\alpha+\beta_{i}}_{i}}{\Gamma(\alpha+\beta_{i}+1)}< 1. $$
(3.6)

Proof

Setting \(\sup_{t\in[0, T]}|\varphi(t)|=\|\varphi\| \) and choosing

$$\begin{aligned} \rho\geq\|\varphi\|\Lambda+\Phi \end{aligned}$$
(3.7)

(where Λ and Φ are defined by (3.2) and (3.3), respectively), we consider \(B_{\rho}=\{ x\in\mathcal{C}([0, T], \mathbb{R}):\|x\|\leq\rho\}\). We define the operators \(\mathcal{F}_{1}\) and \(\mathcal{F}_{2}\) on \(B_{\rho}\) by

$$\begin{aligned}& \mathcal{F}_{1}x(t)=I^{\alpha}f \bigl(s,x(s) \bigr) (t),\quad t \in[0,T], \\& \mathcal{F}_{2}x(t)= \biggl(\frac{\Omega_{1}-\Omega_{2}t}{\Omega_{2}T} \biggr)I^{\alpha}f \bigl(s,x(s) \bigr) (T)+\frac{1}{\Omega_{2}} \Biggl(\sigma-\sum _{i=1}^{m}\lambda_{i}I^{\alpha+\beta_{i}}f \bigl(s,x(s) \bigr) (\eta_{i}) \Biggr),\quad t\in[0,T]. \end{aligned}$$

For any \(x,y\in B_{\rho}\), we have

$$\begin{aligned} &\bigl|\mathcal{F}_{1}x(t)+\mathcal{F}_{2}y(t)\bigr| \\ &\quad \le \sup_{t\in[0,T]} \Biggl\{ I^{\alpha}\bigl|f \bigl(s,x(s) \bigr)\bigr|(t)+ \biggl(\frac{|\Omega_{1}|+|\Omega _{2}|t}{|\Omega_{2}|T} \biggr)I^{\alpha}\bigl|f \bigl(s,y(s) \bigr)\bigr|(T) \\ &\qquad{}+ \frac{1}{|\Omega_{2}|}|\sigma|+\frac{1}{|\Omega_{2}|}\sum _{i=1}^{m}|\lambda_{i}|I^{\alpha+\beta_{i}}\bigl|f \bigl(s,y(s) \bigr)\bigr|(\eta_{i}) \Biggr\} \\ &\quad\le \|\varphi\| \Biggl[\frac{T^{\alpha}}{\Gamma(\alpha+1)}+ \biggl(\frac{|\Omega _{1}|+|\Omega_{2}|T}{|\Omega_{2}|T} \biggr)\frac{T^{\alpha}}{\Gamma(\alpha +1)}+\frac{1}{|\Omega_{2}|}\sum^{m}_{i=1}| \lambda_{i}|\frac{\eta^{\alpha +\beta_{i}}_{i}}{\Gamma(\alpha+\beta_{i}+1)} \Biggr]+\frac{|\sigma|}{|\Omega _{2}|} \\ &\quad=\|\varphi\|\Lambda+\Phi\le\rho. \end{aligned}$$

This shows that \(\mathcal{F}_{1}x+\mathcal{F}_{2}y\in B_{\rho}\). It is easy to see using (3.6) that \(\mathcal{F}_{2}\) is a contraction mapping.

Continuity of f implies that the operator \(\mathcal{F}_{1}\) is continuous. Also, \(\mathcal{F}_{1}\) is uniformly bounded on \(B_{\rho}\) as

$$\|\mathcal{F}_{1} x\| \le\frac{T^{\alpha}}{\Gamma(\alpha+1)}\|\phi\|. $$

Now we prove the compactness of the operator \(\mathcal{F}_{1}\).

We define \(\sup_{(t,x) \in[0,T] \times B_{\rho}}|f(t,x)|=\overline{f}< \infty\), and consequently we have

$$\begin{aligned} \bigl|\mathcal{F}_{1}x(t_{2})-\mathcal{F}_{1}x(t_{1})\bigr|={}& \frac{1}{\Gamma(\alpha)} \biggl\vert \int_{0}^{t_{1}} \bigl[(t_{2}-s)^{\alpha-1}-(t_{1}-s)^{\alpha-1} \bigr]f \bigl(s,x(s) \bigr)\,ds\\ &{}+\int_{t_{1}}^{t_{2}}(t_{2}-s)^{\alpha-1}f \bigl(s,x(s) \bigr)\,ds \biggr\vert \\ \le{}&\frac{\overline{f}}{\Gamma(\alpha+1)}\bigl|t_{1}^{\alpha}-t_{2}^{\alpha}\bigr|, \end{aligned}$$

which is independent of x and tends to zero as \(t_{2}-t_{2}\to0\). Thus, \(\mathcal{F}_{1}\) is equicontinuous. So \(\mathcal{F}_{1}\) is relatively compact on \(B_{\rho}\). Hence, by Arzelá-Ascoli’s theorem, \(\mathcal{F}_{1}\) is compact on \(B_{\rho}\). Thus all the assumptions of Lemma 2.4 are satisfied. So the conclusion of Lemma 2.4 implies that the boundary value problem (1.1) has at least one symmetric solution on \([0,T]\). □

3.5 Existence result via Leray-Schauder’s nonlinear alternative

By using Leray-Schauder’s nonlinear alternative (Lemma 2.5) we give in this subsection our last existence theorem.

Theorem 3.5

Assume that:

(H5):

there exist a continuous nondecreasing function \(\psi: [0,\infty) \to (0,\infty)\) and a function \(p \in C([0,T],\mathbb{R}^{+})\) such that

$$\bigl|f(t,x)\bigr|\le p(t)\psi\bigl(|x|\bigr) \quad \textit{for each } (t,x) \in[0,T] \times \mathbb{R}; $$
(H6):

there exists a constant \(M>0\) such that

$$\begin{aligned} \frac{M}{\psi(M)\|p\|\Lambda+\Phi}> 1, \end{aligned}$$

where Λ and Φ are defined by (3.2) and (3.3), respectively.

Then the boundary value problem (1.1) has at least one symmetric solution on \([0,T]\).

Proof

Let the operator \(\mathcal{F}\) be defined by (3.1). Firstly, we shall show that \(\mathcal{F}\) maps bounded sets (balls) into bounded sets in \(C([0,T], \mathbb{R})\). For a number \(r>0\), let \(B_{r} = \{x \in C([0,T], \mathbb{R}): \|x\| \le r \}\) be a bounded ball in \(C([0,T], \mathbb{R})\). Then for \(t\in [0,T]\) we have

$$\begin{aligned}[b] &\bigl|(\mathcal{F}x) (t)\bigr| \\ &\quad \le \sup_{t\in[0,T]} \Biggl\{ I^{\alpha}\bigl|f \bigl(s,x(s) \bigr)\bigr|(t)+ \biggl(\frac{|\Omega_{1}|+|\Omega _{2}|t}{|\Omega_{2}|T} \biggr)I^{\alpha}\bigl|f \bigl(s,x(s) \bigr)\bigr|(T) \\ &\qquad{}+ \frac{1}{|\Omega_{2}|}|\sigma|+\frac{1}{|\Omega_{2}|}\sum _{i=1}^{m}|\lambda_{i}|I^{\alpha+\beta_{i}}\bigl|f \bigl(s,x(s) \bigr)\bigr|(\eta_{i}) \Biggr\} \\ &\quad \le \psi\bigl(\|x\|\bigr)I^{\alpha}p(s) (T)+\psi\bigl(\|x\|\bigr) \biggl( \frac{|\Omega_{1}|+|\Omega _{2}|T}{|\Omega_{2}|T} \biggr)I^{\alpha}p(s) (T) \\ &\qquad{} +\frac{1}{|\Omega_{2}|}|\sigma|+\psi\bigl(\|x\|\bigr)\frac{1}{|\Omega_{2}|}\sum _{i=1}^{m}|\lambda_{i}|I^{\alpha+\beta_{i}}p(s) (\eta_{i}) \\ &\quad\le \psi\bigl(\|x\|\bigr)\|p\|\frac{T^{\alpha}}{\Gamma{(\alpha+1)}} +\psi\bigl(\|x\|\bigr)\|p\| \biggl( \frac{|\Omega_{1}|+|\Omega_{2}|T}{|\Omega_{2}|T} \biggr)\frac{T^{\alpha}}{\Gamma{(\alpha+1)}} \\ &\qquad{} + \frac{1}{|\Omega_{2}|}|\sigma|+\psi\bigl(\|x\|\bigr)\|p\|\frac{1}{|\Omega _{2}|}\sum _{i=1}^{m}|\lambda_{i}| \frac{\eta_{i}^{\alpha+\beta_{i}}}{\Gamma {(\alpha+\beta_{i}+1)}} \\ &\quad\le \psi\bigl(\|x\|\bigr)\|p\| \Biggl[\frac{T^{\alpha}}{\Gamma(\alpha+1)}+ \biggl(\frac {|\Omega_{1}|+|\Omega_{2}|T}{|\Omega_{2}|T} \biggr)\frac{T^{\alpha}}{\Gamma (\alpha+1)}+\frac{1}{|\Omega_{2}|}\sum^{m}_{i=1}| \lambda_{i}|\frac{\eta ^{\alpha+\beta_{i}}_{i}}{\Gamma(\alpha+\beta_{i}+1)} \Biggr]\\ &\qquad{} +\frac{|\sigma|}{|\Omega_{2}|}, \end{aligned} $$

and consequently,

$$\|\mathcal{F}x\|\le\psi(r)\|p\|\Lambda+\Phi. $$

Next we will show that \(\mathcal{F}\) maps bounded sets into equicontinuous sets of \(C([0,T], \mathbb{R})\) . Let \(\tau_{1}, \tau_{2} \in[0,T]\) with \(\tau_{1}< \tau_{2}\) and \(u \in B_{r}\). Then we have

$$\begin{aligned} &\bigl|(\mathcal{F}x) (\tau_{2})-(\mathcal{F}x) (\tau_{1})\bigr| \\ &\quad\le \frac{1}{\Gamma(\alpha)} \biggl\vert \int_{0}^{\tau_{1}} \bigl[(\tau _{2}-s)^{\alpha-1}-(\tau_{1}-s)^{\alpha-1} \bigr]f \bigl(s,x(s) \bigr)\,ds +\int_{\tau_{1}}^{\tau_{2}}( \tau_{2}-s)^{\alpha-1}f \bigl(s,x(s) \bigr)\,ds \biggr\vert \\ &\qquad{}+\frac{1}{T}(\tau_{2}-\tau_{1})I^{\alpha}\bigl|f \bigl(s,x(s) \bigr)\bigr|(T) \\ &\quad\le \frac{\psi(r)}{\Gamma(\alpha)} \biggl\vert \int_{0}^{\tau _{1}} \bigl[(\tau_{2}-s)^{\alpha-1}-(\tau_{1}-s)^{\alpha-1} \bigr]p(s)\,ds +\int_{\tau_{1}}^{\tau_{2}}(\tau_{2}-s)^{\alpha-1}p(s)\,ds \biggr\vert \\ &\qquad{}+\frac{\psi(r)}{T}(\tau_{2}-\tau_{1})I^{\alpha}\bigl|p(s)\bigr|(T). \end{aligned}$$

As \(\tau_{2}-\tau_{1}\rightarrow0\), the right-hand side of the above inequality tends to zero independently of \(x\in B_{r}\). Therefore by Arzelá-Ascoli’s theorem the operator \(\mathcal{F}: C([0,T], \mathbb {R}) \to C([0,T], \mathbb{R})\) is completely continuous.

Let x be a solution. Then, for \(t\in[0,T]\), and the following similar computations to the first step, we have

$$\bigl|x(t)\bigr|\le\psi\bigl(\|x\|\bigr)\|p\|\Lambda+\Phi, $$

which leads to

$$\frac{\|x\|}{\psi(\|x\|)\|p\|\Lambda+\Phi}\leq1. $$

In view of (H6), there exists M such that \(\|x\|\ne M\). Let us set

$$\begin{aligned} X= \bigl\{ x\in C \bigl([0, T], \mathbb{R} \bigr) : \|x\|< M \bigr\} . \end{aligned}$$

We see that the operator \(\mathcal{F}:\overline{X}\rightarrow C([0, T], \mathbb{R})\) is continuous and completely continuous. From the choice of X, there is no \(x\in\partial X\) such that \(x=\nu\mathcal{F}x\) for some \(\nu\in(0,1)\). Consequently, by the nonlinear alternative of Leray-Schauder type (Lemma 2.5), we deduce that \(\mathcal{F}\) has a fixed point \(x\in\overline{X}\) which is a symmetric solution of the boundary value problem (1.1). This completes the proof. □

4 Examples

In this section, we present some examples to illustrate our results.

Example 4.1

Consider the following nonlinear fractional differential equation with multi-order fractional integral conditions:

$$ \left \{ \textstyle\begin{array}{@{}l} {}^{c}D^{\frac{3}{2}}x(t)=\frac{\sin((t-2)^{2})}{19} (\frac {|x(t)|}{3+|x(t)|}+1 )|x(t)|+\frac{3}{4}, \quad 0 < t < 4,\\ x(t)=x(4-t),\\ \frac{1}{5}I^{\frac{1}{2}}x (\frac{1}{2} )+\frac {1}{3}I^{\sqrt{3}}x(1)+\frac{2}{3}I^{\frac{1}{2}}x (\frac{3}{2} ) +\sqrt{2}I^{\frac{1}{3}}x(1)+\frac{1}{5}I^{\sqrt{2}}x (\frac {1}{2} )=2. \end{array} \right . $$
(4.1)

Here \(\alpha=3/2\), \(T=4\), \(m=5\), \(\sigma=2\), \(\beta_{1}=1/2\), \(\beta _{2}=\sqrt{3}\), \(\beta_{3}=1/2\), \(\beta_{4}=1/3\), \(\beta_{5}=\sqrt{2}\), \(\lambda _{1}=1/5\), \(\lambda_{2}=1/3\), \(\lambda_{3}=2/3\), \(\lambda_{4}=\sqrt{2}\), \(\lambda_{5}=1/5\), \(\eta_{1}=1/2\), \(\eta_{2}=1\), \(\eta_{3}=3/2\), \(\eta_{4}=1\), \(\eta_{5}=1/2\), and \(f(t,x)=(\sin ((t-2)^{2})/19)((|x|/(3+|x|))+1)|x|+(3/4)\). Since \(|f(t,x)-f(t,y)| \leq (4/57)|x-y|\), then (H1) is satisfied with \(L=4/57\). We can show that \(\Omega_{2}=2.934752823\neq0\) and

$$\begin{aligned} \Lambda&=\frac{T^{\alpha}}{\Gamma(\alpha+1)}+ \biggl(\frac{|\Omega_{1}|+|\Omega _{2}|T}{|\Omega_{2}|T} \biggr) \frac{T^{\alpha}}{\Gamma(\alpha+1)}+\frac {1}{|\Omega_{2}|}\sum^{m}_{i=1}| \lambda_{i}|\frac{\eta^{\alpha+\beta _{i}}_{i}}{\Gamma(\alpha+\beta_{i}+1)}\\ &= 13.74958140. \end{aligned}$$

Thus \(L\Lambda=0.9648829050<1\). Hence, by Theorem 3.1, the problem (4.1) has a unique symmetric solution on \([0,4]\).

Example 4.2

Consider the following nonlinear fractional differential equation with multi-order fractional integral conditions:

$$ \left \{ \textstyle\begin{array}{@{}ll} {}^{c}D^{\frac{3}{2}}x(t)=\frac{e^{(\frac{1}{2}-t)^{2}}}{18}\cdot \frac{|x(t)|}{1+|x(t)|}+\frac{1}{2},\quad 0 < t < 1,\\ x(t)=x(1-t),\\ \frac{1}{8}I^{\frac{1}{9}}x (\frac{1}{2} )+\frac {1}{34}I^{\frac{1}{5}}x (\frac{1}{3} )+\frac{1}{37}I^{\frac {1}{7}}x (\frac{1}{5} ) +\frac{1}{49}I^{\frac{1}{2}}x (\frac{2}{7} ) +\frac{1}{25}I^{\frac{1}{8}}x (\frac{\pi}{11} )=\frac{3}{2}. \end{array} \right . $$
(4.2)

Here \(\alpha=3/2\), \(T=1\), \(m=5\), \(\sigma=3/2\), \(\beta_{1}=1/9\), \(\beta _{2}=1/5\), \(\beta_{3}=1/7\), \(\beta_{4}=1/2\), \(\beta_{5}=1/8\), \(\lambda_{1}=1/8\), \(\lambda_{2}=1/34\), \(\lambda_{3}=1/37\), \(\lambda_{4}=1/49\), \(\lambda_{5}=1/25\), \(\eta_{1}=1/2\), \(\eta_{2}=1/3\), \(\eta_{3}=1/5\), \(\eta_{4}=2/7\), \(\eta_{5}=\pi /11\), and \(f(t,x)=(e^{((1/2)-t)^{2}}/18)(|x|/(1+|x|))+(1/2)\). We choose \(h(t) = e^{t^{2}}/9\) and we obtain \(\Omega_{2}=0.2195131282\neq0\),

$$\begin{aligned} H^{*}&=I^{\alpha}h(T)+ \biggl(\frac{|\Omega_{1}|+|\Omega_{2}|T}{|\Omega_{2}|T} \biggr)I^{\alpha}h(T)+ \frac{1}{|\Omega_{2}|}\sum_{i=1}^{m}| \lambda_{i}|I^{\alpha +\beta_{i}}h(\eta_{i}) \\ &= 0.2749628138. \end{aligned}$$

Clearly,

$$\bigl|f(t,x)-f(t,y)\bigr| = \frac{e^{ (\frac{1}{2}-t )^{2}}}{18} \biggl(\frac{|x|-|y|}{1+|x|+|y|+|x||y|} \biggr) \leq \frac{e^{t^{2}}}{9} \biggl(\frac{|x-y|}{0.2749628138+|x-y|} \biggr). $$

Hence, by Theorem 3.3, the problem (4.2) has a unique symmetric solution on \([0,1]\).

Example 4.3

Consider the following nonlinear fractional differential equation with multi-order fractional integral conditions:

$$ \left \{ \textstyle\begin{array}{@{}l} {}^{c}D^{\frac{3}{2}}x(t)=\frac{e^{-(t-\frac{1}{2})^{2}}\sin ((t-\frac{1}{2})^{2})}{2}\cdot\frac{|x(t)|}{1+|x(t)|}+2t(1-t), \quad 0 < t < 1,\\ x(t)=x(1-t),\\ \frac{1}{199}I^{\frac{1}{2}}x (\frac{1}{3} )+\frac {1}{256}I^{\frac{1}{3}}x (\frac{2}{3} )+\frac{1}{10}I^{\frac {1}{4}}x (\frac{1}{5} ) +\frac{1}{189}I^{\frac{1}{3}}x (\frac {1}{4} )+\frac{1}{191}I^{\frac{1}{3}}x (\frac{1}{6} )=3. \end{array} \right . $$
(4.3)

Here \(\alpha=3/2\), \(T=1\), \(m=5\), \(\sigma=3\), \(\beta_{1}=1/2\), \(\beta _{2}=1/3\), \(\beta_{3}=1/4\), \(\beta_{4}=1/3\), \(\beta_{5}=1/3\), \(\lambda _{1}=1/199\), \(\lambda_{2}=1/256\), \(\lambda_{3}=1/10\), \(\lambda_{4}=1/189\), \(\lambda_{5}=1/191\), \(\eta_{1}=1/3\), \(\eta_{2}=2/3\), \(\eta_{3}=1/5\), \(\eta _{4}=1/4\), \(\eta_{5}=1/6\), and \(f(t,x)=(e^{-(t-(1/2))^{2}}\sin ((t-(1/2))^{2})/2)(|x|/(1+|x|))+2t(1-t)\). Since \(|f(t,x)-f(t,y)| \leq (1/2)|x-y|\), (H1) is satisfied with \(L=1/2\). We find that \(\Omega _{2}=0.08783388964\neq0\),

$$\biggl(\frac{|\Omega_{1}|+|\Omega_{2}|T}{|\Omega_{2}|T} \biggr)\frac{T^{\alpha}}{\Gamma(\alpha+1)}+\frac{1}{|\Omega_{2}|}\sum ^{m}_{i=1}|\lambda_{i}| \frac{\eta^{\alpha+\beta_{i}}_{i}}{\Gamma(\alpha+\beta_{i}+1)} = 0.9472241016< 1. $$

Clearly,

$$\bigl|f(t,x)\bigr|= \biggl\vert \frac{e^{-(t-\frac{1}{2})^{2}}\sin((t-\frac {1}{2})^{2})}{2}\cdot\frac{|x(t)|}{1+|x(t)|}+2t(1-t) \biggr\vert \leq\frac {e^{-(t-\frac{1}{2})^{2}}}{2}+2t(1-t). $$

Hence, by Theorem 3.4, the problem (4.3) has at least one symmetric solution on \([0,1]\).

Example 4.4

Consider the following nonlinear fractional differential equation with multi-order fractional integral conditions:

$$ \left \{ \textstyle\begin{array}{@{}l} {}^{c}D^{\frac{4}{3}}x(t)=\frac{1}{225}(t-3)^{2} (\frac {x^{2}(t)}{1+|x(t)|}+\frac{|x(t)|+2}{3+|x(t)|} ), \quad 0 < t \leq 6,\\ x(t)=x(1-t),\\ \frac{1}{2}I^{\frac{1}{2}}x (\frac{1}{2} )+\frac {1}{3}I^{\frac{1}{\sqrt{2}}}x (\frac{1}{4} )+\frac {3}{11}I^{\frac{1}{5}}x (\frac{2}{7} ) +\frac{1}{7}I^{\frac{1}{3}}x (\frac {1}{5} )+\frac{1}{5}I^{\frac{1}{\sqrt{3}}}x (\frac{1}{2} )=\frac{1}{225}. \end{array} \right . $$
(4.4)

Here \(\alpha=4/3\), \(T=6\), \(m=5\), \(\sigma=1/225\), \(\beta_{1}=1/2\), \(\beta _{2}=1/\sqrt{2}\), \(\beta_{3}=1/5\), \(\beta_{4}=1/3\), \(\beta_{5}=1/\sqrt{3}\), \(\lambda_{1}=1/2\), \(\lambda_{2}=1/3\), \(\lambda_{3}=3/11\), \(\lambda_{4}=1/7\), \(\lambda_{5}=1/5\), \(\eta_{1}=1/2\), \(\eta_{2}=1/4\), \(\eta_{3}=2/7\), \(\eta _{4}=1/5\), \(\eta_{5}=1/2\), and \(f(t,x)=(1/225)(t-3)^{2}((x^{2}/(1+|x|))+((|x|+2)/(3+|x|)))\). Then, we get \(\Omega_{2}=1.011549229\neq0\),

$$\begin{aligned} \Lambda&= \frac{T^{\alpha}}{\Gamma(\alpha+1)}+ \biggl(\frac {|\Omega_{1}|+|\Omega_{2}|T}{|\Omega_{2}|T} \biggr) \frac{T^{\alpha}}{\Gamma (\alpha+1)}+\frac{1}{|\Omega_{2}|}\sum^{m}_{i=1}| \lambda_{i}|\frac{\eta ^{\alpha+\beta_{i}}_{i}}{\Gamma(\alpha+\beta_{i}+1)}\\ &= 18.87497313, \end{aligned}$$

and

$$\Phi= \frac{|\sigma|}{|\Omega_{2}|}= 0.004393700590. $$

Clearly,

$$\begin{aligned} \bigl|f(t,x)\bigr|= \biggl|\frac{1}{225}(t-3)^{2} \biggl(\frac {x^{2}}{1+|x|}+ \frac{|x|+2}{3+|x|} \biggr) \biggr| \leq\frac{1}{225}(t-3)^{2}\bigl(|x|+1\bigr). \end{aligned}$$

Choosing \(p(t) = (1/225)(t-3)^{2}\) and \(\psi(|x|) = |x| + 1\), we can show that

$$\frac{M}{\psi(M)\|p\|\Lambda+ \Phi}>1, $$

implies that \(M>3.099548142\). Hence, by Theorem 3.5, the problem (4.3) has at least one symmetric solution on \([0,6]\).

References

  1. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)

    Book  MATH  Google Scholar 

  2. Podlubny, I: Fractional Differential Equations. Academic Press, San Diego (1999)

    MATH  Google Scholar 

  3. Samko, SG, Kilbas, AA, Marichev, OI: Fractional Integrals and Derivatives, Theory and Applications. Gordon & Breach, Yverdon (1993)

    MATH  Google Scholar 

  4. Miller, KS, Ross, B: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)

    MATH  Google Scholar 

  5. Sabatier, J, Agrawal, OP, Machado, JAT (eds.): Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering. Springer, Dordrecht (2007)

    Google Scholar 

  6. Lakshmikantham, V, Leela, S, Vasundhara Devi, J: Theory of Fractional Dynamic Systems. Cambridge Academic Publishers, Cambridge (2009)

    MATH  Google Scholar 

  7. Agarwal, RP, Zhou, Y, He, Y: Existence of fractional neutral functional differential equations. Comput. Math. Appl. 59, 1095-1100 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  8. Ahmad, B, Nieto, JJ: Riemann-Liouville fractional integro-differential equations with fractional nonlocal integral boundary conditions. Bound. Value Probl. 2011, Article ID 36 (2011)

    Article  MathSciNet  Google Scholar 

  9. Ahmad, B, Nieto, JJ: Boundary value problems for a class of sequential integrodifferential equations of fractional order. J. Funct. Spaces Appl. 2013, Article ID 149659 (2013)

    Article  MathSciNet  Google Scholar 

  10. Ahmad, B, Ntouyas, SK, Alsaedi, A: New existence results for nonlinear fractional differential equations with three-point integral boundary conditions. Adv. Differ. Equ. 2011, Article ID 107384 (2011)

    Article  MathSciNet  Google Scholar 

  11. Ahmad, B, Ntouyas, SK: Fractional differential inclusions with fractional separated boundary conditions. Fract. Calc. Appl. Anal. 15, 362-382 (2012)

    MATH  MathSciNet  Google Scholar 

  12. Ahmad, B, Ntouyas, SK, Alsaedi, A: A study of nonlinear fractional differential equations of arbitrary order with Riemann-Liouville type multistrip boundary conditions. Math. Probl. Eng. 2013, Article ID 320415 (2013)

    MathSciNet  Google Scholar 

  13. Ahmad, B, Ntouyas, SK: Nonlocal fractional boundary value problems with slit-strips integral boundary conditions. Fract. Calc. Appl. Anal. 18, 261-280 (2015)

    Article  MATH  MathSciNet  Google Scholar 

  14. Choudhary, S, Daftardar-Gejji, V: Nonlinear multi-order fractional differential equations with periodic/anti-periodic boundary conditions. Fract. Calc. Appl. Anal. 17, 333-347 (2014)

    Article  MATH  MathSciNet  Google Scholar 

  15. Liu, X, Jia, M, Ge, W: Multiple solutions of a p-Laplacian model involving a fractional derivative. Adv. Differ. Equ. 2013, Article ID 126 (2013)

    Article  MathSciNet  Google Scholar 

  16. O’Regan, D, Stanek, S: Fractional boundary value problems with singularities in space variables. Nonlinear Dyn. 71, 641-652 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  17. Zhang, L, Ahmad, B, Wang, G, Agarwal, RP: Nonlinear fractional integro-differential equations on unbounded domains in a Banach space. J. Comput. Appl. Math. 249, 51-56 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  18. Sun, Y, Zhang, X: Existence of symmetric positive solutions for an m-point boundary value problem. Bound. Value Probl. 2007, Article ID 79090 (2007)

    Article  Google Scholar 

  19. Kosmatov, N: Symmetric solutions of a multi-point boundary value problem. J. Math. Anal. Appl. 309, 25-36 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  20. Zhao, J, Miao, C, Ge, W, Zhang, J: Multiple symmetric positive solutions to a new kind of four point boundary value problem. Nonlinear Anal. 71, 9-18 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  21. Pang, H, Tong, Y: Symmetric positive solutions to a second-order boundary value problem with integral boundary conditions. Bound. Value Probl. 2013, Article ID 150 (2013)

    Article  MathSciNet  Google Scholar 

  22. Boyd, DW, Wong, JSW: On nonlinear contractions. Proc. Am. Math. Soc. 20, 458-464 (1969)

    Article  MATH  MathSciNet  Google Scholar 

  23. Krasnoselskii, MA: Two remarks on the method of successive approximations. Usp. Mat. Nauk 10, 123-127 (1955)

    MathSciNet  Google Scholar 

  24. Granas, A, Dugundji, J: Fixed Point Theory. Springer, New York (2003)

    Book  MATH  Google Scholar 

Download references

Acknowledgements

The research of J Tariboon is supported by King Mongkut’s University of Technology North Bangkok, Thailand.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Jessada Tariboon.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally in this article. They 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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Aphithana, A., Ntouyas, S.K. & Tariboon, J. Existence and uniqueness of symmetric solutions for fractional differential equations with multi-order fractional integral conditions. Bound Value Probl 2015, 68 (2015). https://doi.org/10.1186/s13661-015-0329-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-015-0329-1

MSC

Keywords