Skip to main content

Explicit iteration to Hadamard fractional integro-differential equations on infinite domain

Abstract

This paper investigates the existence of the unique solution for a Hadamard fractional integral boundary value problem of a Hadamard fractional integro-differential equation with the monotone iterative technique. Two examples to illustrate our result are given.

Introduction

Fractional differential equations are becoming more and more popular recently in several journals and books due to their applications in a number of fields such as physics, biophysics, mechanical systems, electrical-analytical, and thermal systems [16]. For some recent development of this topic, see for example [713] and the references therein.

In 1892 [14], Hadamard presented a concept of fractional derivatives, which is different from Caputo and Riemann-Liouville type fractional derivatives and involves a logarithmic function of an arbitrary exponent in the integral kernel. It is significant that the study of Hadamard type fractional differential equations is still in its infancy and deserves further study. A detailed presentation of Hadamard fractional derivative is available in [3] and [1523].

As was pointed out in [22], Hadamard’s construction is more appropriate for problems on half axes. In this situation, we consider the following Hadamard fractional integro-differential equations with Hadamard fractional integral boundary conditions on an infinite interval:

$$ \left \{ \textstyle\begin{array}{ll} {}^{H}D^{\gamma }u(t) +f(t,u(t),{{}^{H}I}^{q}u(t))=0, \quad 2< \gamma < 3, t\in (1,+\infty ), \\ u(1)=u^{\prime}(1)=0, \qquad {{}^{H}D^{\gamma -1}u(\infty )}=\sum_{i=1}^{m}\lambda_{i}{{}^{H}I ^{\beta_{i}}u(\eta ),} \end{array}\displaystyle \right . $$
(1.1)

where \({{}^{H}D}^{\gamma }\) denotes Hadamard fractional derivative of order γ, \(\eta \in (1,\infty )\), and \({{}^{H}I}^{(\cdot )}\) is the Hadamard fractional integral, \(q,\beta_{i}>0\) \((i=1,2,\ldots,m), \lambda _{i}\geq 0\) \((i=1,2,\ldots,m)\) are given constants and γ, η, \(\beta _{i}\), \(\lambda_{i}\) satisfy \(\Gamma (\gamma )>\sum_{i=1}^{m}\frac{ \lambda_{i}\Gamma (\gamma )}{\Gamma (\gamma +\beta_{i})} (\log \eta )^{ \gamma +\beta_{i}-1}\).

We recall that the monotone iterative technique represents a powerful tool for seeking the solution of a nonlinear problem. For more details as regards the application of this method in fractional differential equations, see [2438] and the references therein.

We organize the rest of our manuscript as follows: In Section 2, we show some useful preliminaries and the key lemmas that are used in subsequent part of the manuscript. Then, in Section 3, the main results and proofs are provided. Section 4, exhibits two examples to illustrate our main results.

Preliminaries

Below, we will present some useful definitions and related lemmas.

Define

$$ E=\biggl\{ u\in C\bigl([1,\infty ),\mathbb{R}\bigr):\sup_{t\in [1,\infty )} \frac{\vert u(t) \vert }{1+( \log t)^{\gamma -1}}< \infty \biggr\} , $$
(2.1)

then E denotes a Banach space equipped with norm \(\Vert u \Vert _{E}=\sup_{t\in [1,\infty )}\frac{\vert u(t) \vert }{1+(\log t)^{\gamma -1}}\).

Denote

$$ \Omega =\Gamma (\gamma )-\sum_{i=1}^{m} \frac{\lambda_{i}\Gamma (\gamma )}{\Gamma (\gamma +\beta_{i})} (\log \eta )^{\gamma +\beta _{i}-1} ; $$
(2.2)

obviously \(\Omega >0\).

Definition 2.1

[3] For a function g, the Hadamard fractional integral of order γ has the following form:

$$ {}^{H}I^{\gamma } g(t)=\frac{1}{\Gamma (\gamma )} \int_{1}^{t}\biggl(\log \frac{t}{s} \biggr)^{\gamma -1}\frac{g(s)}{s}\,ds,\quad \gamma >0, $$

provided the integral exists.

Definition 2.2

[3] The Hadamard fractional derivative of fractional order γ for a function \(g:[1,\infty ) \rightarrow \mathbb{R} \) has the following form:

$$ {}^{H}D^{\gamma } g(t)=\frac{1}{\Gamma (n-\gamma )}\biggl(t\frac{d}{dt} \biggr)^{n} \int_{1}^{t}\biggl(\log \frac{t}{s} \biggr)^{n-\gamma -1}\frac{g(s)}{s}\,ds,\quad n-1< \gamma < n,n=[\gamma ]+1, $$

where \([\gamma ]\) means the integer part of the real number γ and \(\log (\cdot )=\log_{e}(\cdot )\).

Lemma 2.1

[3] If \(a,\gamma,\beta >0\) then

$$ {}^{H}I^{\gamma }_{a} \biggl(\log \biggl( \frac{t}{a}\biggr)^{\beta -1}\biggr) (x)=\frac{\Gamma (\beta )}{\Gamma (\beta +\gamma )}\biggl(\log \frac{x}{a}\biggr)^{\beta +\gamma -1}. $$

Lemma 2.2

[3] If \(a,\gamma,\beta >0\) then

$$ {}^{H}D^{\gamma }_{a} \biggl(\log \biggl( \frac{t}{a}\biggr)^{\beta -1}\biggr) (x)=\frac{\Gamma (\beta )}{\Gamma (\beta -\gamma )}\biggl(\log \frac{x}{a}\biggr)^{\beta -\gamma -1}. $$

Lemma 2.3

[3] Given \(\gamma >0\) and \(x\in C[1,\infty )\cap L^{1}[1,\infty )\), then the solution of the Hadamard fractional differential equation \({{}^{H}D}^{\gamma }x(t)=0\) is

$$ x(t)=\sum_{i=1}^{n}c_{i}(\log t)^{\gamma -i} $$
(2.3)

and

$$ {{}^{H}I}^{\gamma } {{}^{H}D}^{\gamma }x(t)=x(t)+\sum _{i=1}^{n}c _{i}(\log t)^{\gamma -i} $$
(2.4)

where \(c_{i}\in \mathbb{R}, i=1,2,\ldots,n\), and \(n-1<\gamma <n\).

Lemma 2.4

Let \(h\in C[1,\infty )\) with \(0<\int_{1}^{\infty }h(s)\frac{ds}{s}< \infty \), then the Hadamard fractional integral boundary value problem

$$ \left \{ \textstyle\begin{array}{ll} {{}^{H}D}^{\gamma }u(t)+h(t)=0, \quad 2< \gamma < 3, t\in (1,+\infty ), \\ u(1)=u^{\prime}(1)=0, \qquad {{}^{H}D^{\gamma -1}u(\infty )}=\sum_{i=1}^{m}\lambda_{i}{{}^{H}I ^{\beta_{i}}u(\eta ),} \end{array}\displaystyle \right . $$
(2.5)

has the unique solution

$$ u(t)= \int_{1}^{\infty }G(t,s)h(s)\frac{ds}{s}, $$
(2.6)

where

$$ G(t,s)=g(t,s)+\sum_{i=1}^{m} \frac{\lambda_{i}(\log t)^{\gamma -1}}{\Omega \Gamma (\gamma +\beta_{i})}g_{i}(\eta,s), $$
(2.7)

and

$$\begin{aligned}& g(t,s) = \frac{1}{\Gamma (\gamma )} \textstyle\begin{cases} (\log t)^{\gamma -1}-(\log (\frac{t}{s}))^{\gamma -1},&1\leq s\leq t< \infty, \\(\log t)^{\gamma -1},&1\leq t\leq s< \infty, \end{cases}\displaystyle \end{aligned}$$
(2.8)
$$\begin{aligned}& g_{i}(\eta,s) = \textstyle\begin{cases} (\log \eta )^{\gamma +\beta_{i}-1}-(\log (\frac{\eta }{s}))^{\gamma + \beta_{i}-1},&1\leq s\leq \eta < \infty, \\ (\log\eta )^{\gamma +\beta_{i}-1},&1\leq\eta \leq s< \infty. \end{cases}\displaystyle \end{aligned}$$
(2.9)

Proof

We apply the Hadamard fractional integral of order γ to

$$\begin{aligned} {{}^{H}D}^{\gamma }u(t)+h(t)=0, \end{aligned}$$

and we conclude that

$$ u(t)=c_{1}(\log t)^{\gamma -1}+c_{2}(\log t)^{\gamma -2}+c_{3}(\log t)^{ \gamma -3}-\frac{1}{\Gamma (\gamma )} \int_{1}^{t}\biggl(\log \frac{t}{s} \biggr)^{ \gamma -1}h(s)\frac{ds}{s}, $$
(2.10)

where \(c_{1},c_{2},c_{3}\in \mathbb{R}\).

Using the fact that \(u(1)=u^{\prime}(1)=0\), we conclude that \(c_{2}=c_{3}=0\). Thus,

$$ u(t)=c_{1}(\log t)^{\gamma -1}-\frac{1}{\Gamma (\gamma )} \int_{1}^{t}\biggl( \log \frac{t}{s} \biggr)^{\gamma -1}h(s)\frac{ds}{s}. $$
(2.11)

Lemma 2.2 implies that

$$ {{}^{H}D}^{\gamma -1}u(t)=c_{1}\Gamma (\gamma )- \int_{1}^{t}h(s) \frac{ds}{s}. $$
(2.12)

Thus, the condition

$$\begin{aligned} {{}^{H}D^{\gamma -1}(\infty )}=\sum_{i=1}^{m} \lambda_{i}{{}^{H}I ^{\beta_{i}}u(\eta )} \end{aligned}$$

leads to

$$ c_{1}=\frac{1}{\Omega } \Biggl( \int_{1}^{\infty} h(s)\frac{ds}{s}- \sum _{i=1}^{m}\frac{\lambda_{i}}{\Gamma (\gamma +\beta_{i})} \int_{1}^{\eta }\biggl(\log \frac{\eta }{s} \biggr)^{\gamma +\beta_{i}-1}h(s) \frac{ds}{s} \Biggr), $$
(2.13)

where Ω is defined by (2.2). Substituting \(c_{2}=c _{3}=0\) and (2.13) into (2.10), we get the unique solution of the Hadamard fractional integral boundary value problem (2.5)

$$ \begin{aligned}[b] u(t)={}& \frac{(\log t)^{\gamma -1}}{\Omega } \Biggl( \int_{1}^{\infty} h(s) \frac{ds}{s} \\ &{}-\sum _{i=1}^{m}\frac{\lambda_{i}}{\Gamma (\gamma + \beta_{i})} \int_{1}^{\eta }\biggl(\log \frac{\eta }{s} \biggr)^{\gamma +\beta_{i}-1}h(s) \frac{ds}{s} \Biggr) \\ &{}-\frac{1}{\Gamma (\gamma )} \int_{1}^{t}\biggl(\log \frac{t}{s} \biggr)^{\gamma -1}h(s) \frac{ds}{s} \\ = {}& \int_{1}^{\infty} g(t,s)h(s)\frac{ds}{s}+\sum _{i=1}^{m}\frac{ \lambda_{i}(\log t)^{\gamma -1}}{\Omega \Gamma (\gamma +\beta_{i})} \int_{1}^{\infty} g_{i}(\eta,s)h(s) \frac{ds}{s} \\ ={} & \int_{1}^{\infty} G(t,s)h(s)\frac{ds}{s}. \end{aligned} $$
(2.14)

The proof is finished. □

Lemma 2.5

The Green’s function \(G(t,s)\) defined by (2.7) has the following properties:

\((A_{1})\)::

\(G(t,s)\) is continuous and \(G(t,s)\geq 0\) for \((t,s)\in [1,\infty )\times [1,\infty )\).

\((A_{2})\)::

\(\frac{G(t,s)}{1+(\log t)^{\gamma -1}}\leq \frac{1}{ \Gamma (\gamma )}+\sum_{i=1}^{m} \frac{\lambda_{i} g_{i}( \eta,s)}{\Omega \Gamma (\gamma +\beta_{i})}\) for all \(s,t\in [1, \infty )\).

Proof

Since \((A_{1})\) it is easy to prove, we do not present it but only prove the property \((A_{2})\).

For \(\forall s,t\in [1,\infty )\),

$$\begin{aligned} \frac{G(t,s)}{1+(\log t)^{\gamma -1}} &= \frac{1}{1+(\log t)^{\gamma -1}} \Biggl[g(t,s)+\sum_{i=1}^{m} \frac{\lambda_{i} (\log t)^{ \gamma -1} g_{i}(\eta,s)}{\Omega \Gamma (\gamma +\beta_{i})} \Biggr] \\ &\leq \frac{1}{\Gamma (\gamma )}+\sum_{i=1}^{m} \frac{ \lambda_{i} (\log t)^{\gamma -1} g_{i}(\eta,s)}{\Omega \Gamma ( \gamma +\beta_{i})(1+(\log t)^{\gamma -1})} \\ &\leq \frac{1}{\Gamma (\gamma )}+\sum_{i=1}^{m} \frac{ \lambda_{i} g_{i}(\eta,s)}{\Omega \Gamma (\gamma +\beta_{i})}. \end{aligned}$$

 □

We present the following conditions for the sake of convenience:

\((C_{1})\)::

There exist two positive functions \(p(t)\) and \(q(t)\) such that

$$\begin{aligned}& \Lambda = \int_{1}^{\infty } \bigl[1+(\log t)^{\gamma -1} \bigr] \biggl[p(t)+\frac{q(t)( \log t)^{q}}{\Gamma (q)} \biggr]\frac{dt}{t}< \infty, \\& \bigl\vert f(t,u,v)-f(t,\overline{u},\overline{v}) \bigr\vert \leq p(t) \vert u-\overline{u} \vert +q(t)\vert v-\overline{v} \vert ,\quad t\in [1, \infty ), u,v, \overline{u},\overline{v}\in \mathbb{R}. \end{aligned}$$
\((C_{2})\)::
$$\begin{aligned} \lambda = \int_{1}^{\infty }\bigl\vert f(t,0,0) \bigr\vert \frac{dt}{t}< \infty. \end{aligned}$$

Lemma 2.6

If \((C_{1})\), \((C_{2})\) hold, then for any \(u\in E \)

$$ \int_{1}^{\infty }\bigl\vert f(t,u(t),{{}^{H}I}^{q}u(t) \bigr\vert \frac{dt}{t}\leq \Lambda \Vert u \Vert _{E}+ \lambda. $$
(2.15)

Proof

For any \(u\in E\), taking \(\overline{u}=0\), then \({{}^{H}I}^{q} \overline{u}=0\). Thus, by condition \((C_{1})\) we have

$$\begin{aligned} \bigl\vert f\bigl(t,u(t),{{}^{H}I}^{q}u(t) \bigr) \bigr\vert \leq{} & p(t)\bigl\vert u(t) \bigr\vert +q(t)\bigl\vert {{}^{H}I}^{q}u(t) \bigr\vert +\bigl\vert f(t,0,0) \bigr\vert \\ \leq {}& p(t)\bigl[1+(\log t)^{\gamma -1}\bigr]\frac{\vert u(t) \vert }{1+(\log t)^{\gamma -1}} \\ &{}+q(t)\frac{1}{\Gamma (q)}\int_{1}^{t}\biggl(\log \frac{t}{s}\biggr)^{q-1} \frac{\vert u(s) \vert }{s}\,ds+\bigl\vert f(t,0,0) \bigr\vert \\ \leq {}&p(t)\bigl[1+(\log t)^{\gamma -1}\bigr]\Vert u \Vert _{E} \\ &+q(t)\frac{1+(\log t)^{\gamma -1}}{\Gamma (q)} \\ &{}\times\int_{1}^{t}\frac{( \log \frac{t}{s})^{q-1}}{s}\frac{\vert u(s) \vert }{1+(\log s)^{\gamma -1}} \frac{1+( \log s)^{\gamma -1}}{1+(\log t)^{\gamma -1}}\,ds \\ &{}+\bigl\vert f(t,0,0) \bigr\vert \\ \leq{} & p(t)\bigl[1+(\log t)^{\gamma -1}\bigr]\Vert u \Vert _{E} \\ &{}+q(t)\frac{1+(\log t)^{\gamma -1}}{\Gamma (q)}\Vert u \Vert _{E} \int_{1}^{t}\frac{( \log t)^{q-1}}{s}\,ds+\bigl\vert f(t,0,0) \bigr\vert \\ \leq {}& p(t)\bigl[1+(\log t)^{\gamma -1}\bigr]\Vert u \Vert _{E}+q(t)\frac{1+(\log t)^{ \gamma -1}}{\Gamma (q)}(\log t)^{q}\Vert u \Vert _{E} \\ &{}+\bigl\vert f(t,0,0) \bigr\vert , \end{aligned}$$
(2.16)

from which, combined with \((C_{1})\) and \((C_{2})\), we can obtain

$$\begin{aligned} \int_{1}^{\infty }\bigl\vert f\bigl(t,u(t),{{}^{H}I}^{q}u(t) \bigr) \bigr\vert \frac{dt}{t} \leq{} & \int _{1}^{\infty }p(t)\bigl[1+(\log t)^{\gamma -1} \bigr]\Vert u \Vert _{E}\frac{dt}{t} \\ &{}+ \int_{1}^{\infty }q(t)\frac{1+(\log t)^{\gamma -1}}{\Gamma (q)}( \log t)^{q}\Vert u \Vert _{E}\frac{dt}{t} \\ &{}+ \int_{1}^{\infty }\bigl\vert f(t,0,0) \bigr\vert \frac{dt}{t} \\ = {}&\Lambda \Vert u \Vert _{E}+\lambda. \end{aligned}$$
(2.17)

The proof is done. □

Main results

Theorem 3.1

Suppose that the conditions \((C_{1})\) and \((C_{2})\) hold. Let

$$ w=\Lambda \Biggl(\frac{1}{\Gamma (\gamma )}+\sum _{i=1}^{m} \frac{ \lambda_{i} g_{i}(\eta,s)}{\Omega \Gamma (\gamma +\beta_{i})} \Biggr)< 1. $$
(3.1)

Then the Hadamard fractional integral boundary value problem (1.1) admits an unique solution \(\widetilde{u}(t)\) in E. In addition, there exists a monotone iterative sequence \({u_{n}(t)}\) such that \(u_{n}(t)\rightarrow \widetilde{u}(t)\) \((n\rightarrow \infty )\) uniformly on any finite sub-interval of \([1,\infty )\), where

$$ u_{n}(t)= \int_{1}^{\infty }G(t,s)f\bigl(s,u_{n-1}(s),{{}^{H}I}^{q}u_{n-1}(s) \bigr) \frac{ds}{s}. $$
(3.2)

Furthermore, there exists an error estimate for the approximating sequence

$$ \Vert u_{n}-\widetilde{u} \Vert _{E}\leq \frac{w^{n}}{1-w}\Vert u_{1}-u_{0} \Vert _{E} \quad (n=1,2,\ldots). $$
(3.3)

Proof

Define the operator T by

$$ (Tu) (t)= \int_{1}^{\infty }G(t,s)f\bigl(s,u(s),{{}^{H}I}^{q}u(s) \bigr)\frac{ds}{s}. $$
(3.4)

By Lemma 2.4, the Hadamard fractional integral boundary value problem (1.1) possesses a solution u iff u is a solution of \(u=Tu\).

First, for any \(t\in [1,\infty )\), by Lemma 2.5 and Lemma 2.6, we have

$$\begin{aligned} \frac{\vert (Tu)(t) \vert }{1+(\log t)^{\gamma -1}}&\leq \int_{1}^{\infty }\frac{G(t,s)}{1+( \log t)^{\gamma -1}} \bigl\vert f \bigl(s,u(s),{{}^{H}I}^{q}u(s)\bigr) \bigr\vert \frac{ds}{s} \\ &\leq \Biggl(\frac{1}{\Gamma (\gamma )}+\sum_{i=1}^{m} \frac{ \lambda_{i} g_{i}(\eta,s)}{\Omega \Gamma (\gamma +\beta_{i})} \Biggr) \bigl[\Lambda \Vert u \Vert _{E}+ \lambda \bigr] \\ &= w\Vert u \Vert _{E}+k. \end{aligned}$$
(3.5)

This means

$$ \Vert Tu \Vert _{E}\leq w\Vert u \Vert _{E}+k,\quad \forall t \in [1,\infty ), $$
(3.6)

where w is defined in (3.1) and

$$ k=\lambda \Biggl(\frac{1}{\Gamma (\gamma )}+\sum_{i=1}^{m} \frac{ \lambda_{i} g_{i}(\eta,s)}{\Omega \Gamma (\gamma +\beta_{i})} \Biggr). $$
(3.7)

In addition, for any \(u, \overline{u}\in E\), we have

$$\begin{aligned} \frac{\vert (Tu)(t)-(T\overline{u})(t) \vert }{1+(\log t)^{\gamma -1}} \leq{} & \int _{1}^{\infty }\frac{G(t,s)}{1+(\log t)^{\gamma -1}} \bigl\vert f(s,u(s),{{}^{H}I}^{q}u(s)-f\bigl(s,\overline{u}(s),{{}^{H}I}^{q}\overline{u}(s)\bigr) \bigr\vert \frac{ds}{s} \\ \leq{} &\int_{1}^{\infty }\frac{G(t,s)}{1+(\log t)^{\gamma -1}} \bigl[p(s)\bigl\vert u(s)-\overline{u}(s)\bigl\vert \mathop{+} q(s) \bigr\vert {{}^{H}I}^{q}u(s)-{{}^{H}I}^{q}\overline{u}(s) \bigr\vert \bigr]\frac{ds}{s} \\ \leq{} & \int_{1}^{\infty }\frac{G(t,s)}{1+(\log t)^{\gamma -1}}p(s)\bigl[1+( \log s)^{\gamma -1}\bigr]\frac{\vert u(s)-\overline{u}(s) \vert }{1+(\log s)^{\gamma -1}}\,ds \\ &{}+ \int_{1}^{\infty }\frac{G(t,s)}{1+(\log t)^{\gamma -1}}q(s)\bigl\vert {{}^{H}I}^{q}u(s)-{{}^{H}I}^{q} \overline{u}(s) \bigr\vert \frac{ds}{s} \\ \leq{} & \int_{1}^{\infty }\frac{G(t,s)}{1+(\log t)^{\gamma -1}}p(s)\bigl[1+( \log s)^{\gamma -1}\bigr]\Vert u-\overline{u} \Vert _{E}\,ds \\ &{}+\int_{1}^{\infty }\frac{G(t,s)}{1+(\log t)^{\gamma -1}}q(s)\frac{[1+(\log s)^{\gamma -1}](\log s)^{\gamma }}{\Gamma (\gamma )}\Vert u-\overline{u} \Vert _{E}\frac{ds}{s} \\ \leq {}& \Biggl(\frac{1}{\Gamma (\gamma )}+\sum_{i=1}^{m} \frac{\lambda_{i}g_{i}(\eta,s)}{\Omega \Gamma (\gamma +\beta_{i})} \Biggr) \\ &{}\times\int_{1}^{\infty }\Vert u-\overline{u} \Vert _{E}\bigl[1+(\log s)^{\gamma -1}\bigr] \biggl[p(s)+ \frac{q(s)( \log s)^{\gamma }}{\Gamma (\gamma )}\biggr]\frac{ds}{s} \\ \leq{} & \Biggl(\frac{1}{\Gamma (\gamma )}+\sum_{i=1}^{m} \frac{ \lambda_{i} g_{i}(\eta,s)}{\Omega \Gamma (\gamma +\beta_{i})} \Biggr) \Lambda \Vert u-\overline{u} \Vert _{E} \\ = {}& w\Vert u-\overline{u} \Vert _{E}. \end{aligned}$$
(3.8)

Then we get

$$ \Vert Tu-T\overline{u} \Vert _{E}\leq w\Vert u- \overline{u} \Vert _{E},\quad\forall u,\overline{u}\in E. $$
(3.9)

Through the Banach fixed point theorem, we can ensure that T has a unique fixed point ũ in E. That is, (1.1) admits a unique solution ũ in E. In addition, for any \(u_{0}\in E\), \(\Vert u_{n}-\widetilde{u} \Vert _{E}\rightarrow 0\) as \(n\rightarrow \infty \), where \(u_{n}=Tu_{n-1}\) \((n=1,2,\ldots)\).

From (3.9), we have

$$ \Vert u_{n}-u_{n-1} \Vert _{E}\leq w^{n-1}\Vert u_{1}-u_{0} \Vert _{E} $$
(3.10)

and

$$\begin{aligned} \Vert u_{n}-u_{j} \Vert _{E} &\leq \Vert u_{n}-u_{n-1} \Vert _{E}+\Vert u_{n-1}-u_{n-2} \Vert _{E}+\cdots+\Vert u_{j+1}-u_{j} \Vert _{E} \\ &\leq \frac{w^{n}(1-w^{n-j})}{1-w}\Vert u_{1}-u_{0} \Vert _{E}. \end{aligned}$$
(3.11)

Letting \(n\rightarrow \infty \) on both sides of (3.11), we conclude that

$$ \Vert u_{n}-\widetilde{u} \Vert _{E}\leq \frac{w^{n}}{1-w}\Vert u_{1}-u_{0} \Vert _{E}. $$
(3.12)

 □

Example

Example 4.1

In the following we discuss the Hadamard fractional integral boundary value problem

$$ \textstyle\begin{cases} {}^{H}D^{\frac{5}{2}} u(t) +\frac{e^{-3t}t}{1+(\log t)^{\frac{3}{2}}}\cos (3t^{2} \\ \quad +u(t))+\frac{3\sqrt{\pi }e^{-3t}t}{8[1+(\log t)^{\frac{3}{2}}](\log t)^{\frac{5}{2}}}\arctan ({}^{H}I^{\frac{5}{2}}u(t))=0,\\ u(1)=u^{\prime}(1)=0, \qquad {}^{H}D^{\frac{3}{2}}u(+\infty )=\lambda_{1}{{}^{H}I^{\beta_{1}}u(\eta ),} \end{cases} $$
(4.1)

where \(\gamma =\frac{5}{2}\), \(m=1\), \(q=\frac{5}{2}\), and \(\lambda_{1}\), \(\beta_{1}\), η satisfy (\(\lambda_{1}\geq 0, \beta_{1}>0, \eta >1\))

$$ 0< \frac{\Gamma (\frac{1}{2}+\beta_{1})}{3\Gamma (\frac{1}{2}+\beta _{1})-4\lambda_{1}(\log \eta )^{\frac{3}{2}+\beta_{1}}}< \frac{e^{3}\sqrt{ \pi }}{2} $$
(4.2)

(see Figure 1).

Figure 1
figure1

Set of \(\pmb{\lambda_{1}\geq 0,\beta_{1}>0,\eta >1}\) such that \(\pmb{0< \frac{\Gamma (\frac{1}{2}+\beta_{1})}{3\Gamma (\frac{1}{2}+\beta _{1})-4\lambda_{1}(\log \eta )^{\frac{3}{2}+\beta_{1}}}<\frac{e^{3}\sqrt{ \pi }}{2}}\) .

For example, we can take \(\lambda_{1}=\frac{1}{10},\beta_{1}= \frac{3}{2},\eta =\frac{5}{2}\),

$$\begin{aligned}& \bigl\vert f\bigl(t,u,{{}^{H}I}^{\frac{5}{2}}u(t) \bigr)-f\bigl(t,\overline{u},{{}^{H}I}^{\frac{5}{2}}\overline{u}(t)\bigr) \bigr\vert \\& \quad \leq \frac{e^{-3t}t}{1+(\log t)^{ \frac{3}{2}}}\bigl\vert \cos \bigl(3t^{2}+u(t) \bigr)-\cos \bigl(3t^{2}+\overline{u}(t)\bigr) \bigr\vert \\& \qquad {}+\frac{3\sqrt{\pi }e^{-3t}t}{8[1+(\log t)^{\frac{3}{2}}](\log t)^{ \frac{5}{2}}}\bigl\vert \arctan \bigl({}^{H}I^{\frac{5}{2}}u(t) \bigr)-\arctan \bigl({{}^{H}I}^{\frac{5}{2}}\overline{u}(t)\bigr) \bigr\vert \\& \quad \leq \frac{e^{-3t}t}{1+(\log t)^{\frac{3}{2}}}\bigl\vert u(t)-\overline{u}(t) \bigr\vert \\& \qquad {}+\frac{3\sqrt{\pi }e^{-3t}t}{8[1+(\log t)^{\frac{3}{2}}](\log t)^{ \frac{5}{2}}}\bigl\vert {}^{H}I^{\frac{5}{2}}u(t)-{{}^{H}I}^{\frac{5}{2}} \overline{u}(t) \bigr\vert . \end{aligned}$$

Since \(p(t)=\frac{e^{-3t}t}{1+(\log t)^{\frac{3}{2}}}\) and \(q(t)=\frac{3\sqrt{\pi }e^{-3t}t}{8[1+(\log t)^{\frac{3}{2}}]( \log t)^{\frac{5}{2}}}\), we can show that

$$\begin{aligned}& \Lambda = \int_{1}^{\infty }\bigl[1+(\log t)^{\frac{3}{2}}\bigr] \biggl[\frac{e^{-3t}t}{1+( \log t)^{\frac{3}{2}}}+\frac{3\sqrt{\pi }e^{-3t}t(\log t)^{ \frac{5}{2}}}{8[1+(\log t)^{\frac{3}{2}}](\log t)^{\frac{5}{2}}\Gamma (\frac{5}{2})}\biggr]\frac{dt}{t} \\& \hphantom{\Lambda}= \frac{1}{2e^{3}}< \infty, \\& \lambda = \int_{1}^{\infty }\bigl\vert f(t,0,0) \bigr\vert \frac{dt}{t}= \int_{1}^{\infty }e^{-3t}\,dt=\frac{1}{3e^{3}}< \infty. \end{aligned}$$

Then \((C_{1})\) and \((C_{2})\) hold. At last, by a simple computation, we have

$$\begin{aligned}& \Omega =\Gamma (\gamma )-\frac{\lambda_{1}\Gamma (\gamma )}{\Gamma (\gamma +\beta_{1})}(\log \eta )^{\gamma +\beta_{1}-1}= \frac{3\sqrt{ \pi }}{4}-\frac{\sqrt{\pi }\lambda_{1}(\log \eta )^{\frac{3}{2}+ \beta_{1}}}{\Gamma (\frac{1}{2}+\beta_{1})}>\frac{1}{2e^{3}}>0, \\& w=\Lambda \biggl(\frac{1}{\Gamma (\gamma )}+\frac{\lambda_{1} g_{1}( \eta,s)}{\Omega \Gamma (\gamma +\beta_{i})} \biggr)= \frac{2}{e^{3}\sqrt{ \pi }} \biggl(\frac{\Gamma (\frac{1}{2}+\beta_{1})}{3\Gamma (\frac{1}{2}+ \beta_{1})-4\lambda_{1}(\log \eta )^{\frac{3}{2}+\beta_{1}}} \biggr)< 1. \end{aligned}$$

As a result, the conditions of Theorem 3.1 hold. Thus, the conclusion of Theorem 3.1 implies that (4.1) possesses a unique solution.

Example 4.2

Let us discuss the following Hadamard fractional integral boundary value problem:

$$ \left \{ \textstyle\begin{array}{ll} {{}^{H}D}^{\frac{9}{4}} u(t) +f(t,u(t), {{}^{H}I}^{\frac{9}{2}}u(t))=0, \\ u(1)=u^{\prime} (1)=0, \qquad {{}^{H}D}^{\frac{9}{4}}u(+\infty )=\sum_{i=1}^{3}\lambda_{i} {{{}^{H}I}^{\beta_{i}}u(\eta )}, \end{array}\displaystyle \right . $$
(4.3)

here

$$\begin{aligned} f\bigl(t,u(t),{}^{H}I^{\frac{9}{2}}u(t)\bigr)=\frac{\sin (t^{2}+u(t))}{16(1+t^{2})[1+( \log t)^{\frac{5}{4}}]}+ \frac{{}^{H}I^{\frac{9}{2}}u(t)-\sin ({}^{H}I^{ \frac{9}{2}}u(t))\cos ({}^{H}I^{\frac{9}{2}}u(t))}{128(1+t^{2})[1+( \log t)^{\frac{5}{4}}](\log t)^{\frac{9}{2}}}. \end{aligned}$$

Take \(\gamma =\frac{9}{4}\), \(m=3\), \(q=\frac{9}{2}\), \(\eta = \frac{9}{4}\), \(\lambda_{1}=\frac{1}{10}\), \(\beta_{1}=\frac{3}{4}\), \(\lambda_{2}=\frac{\sqrt{\pi }}{2}\), \(\beta_{2}=\frac{7}{4}\), \(\lambda_{3}=4 \), and \(\beta_{3}=\frac{11}{4}\).

The function f satisfies the inequality

$$\begin{aligned}& \bigl\vert f\bigl(t,u,{}^{H}I^{\frac{9}{2}}u(t) \bigr)-f\bigl(t,\overline{u},{{}^{H}I}^{\frac{9}{2}}\overline{u}(t)\bigr) \bigr\vert \\& \quad \leq \frac{1}{16(1+t^{2})[1+(\log t)^{\frac{5}{4}}]}\bigl\vert u(t)-\overline{u}(t) \bigr\vert \\& \qquad {}+ \frac{1}{64(1+t^{2})[1+(\log t)^{\frac{5}{4}}]( \log t)^{\frac{9}{2}}}\bigl\vert {}^{H}I^{\frac{9}{2}}u(t)-{{}^{H}I}^{\frac{9}{2}} \overline{u}(t) \bigr\vert . \end{aligned}$$

Since \(p(t)=\frac{1}{16(1+t^{2})[1+(\log t)^{\frac{5}{4}}]}\) and \(q(t)=\frac{1}{64(1+t^{2})[1+(\log t)^{\frac{5}{4}}](\log t)^{ \frac{9}{2}}}\), we can show that

$$\begin{aligned}& \Lambda =\int_{1}^{\infty }\bigl[1+(\log t)^{\frac{5}{4}}\bigr] \\& \qquad {}\times\biggl[\frac{1}{16(1+t^{2})[1+(\log t)^{\frac{5}{4}}]}+\frac{(\log t)^{\frac{9}{2}}}{64 \Gamma (\frac{9}{2})(1+t^{2})[1+(\log t)^{\frac{5}{4}}](\log t)^{ \frac{9}{2}}}\biggr]\frac{dt}{t} \\& \hphantom{\Lambda{}}< \frac{\pi }{32}< \infty, \\& \lambda = \int_{1}^{\infty }\bigl\vert f(t,0,0) \bigr\vert \frac{dt}{t}< \int_{1}^{\infty }\frac{1}{4(1+t^{2})}\,dt= \frac{\pi }{64}< \infty. \end{aligned}$$

Then \((C_{1})\) and \((C_{2})\) hold. At last, by a simple computation, we have

$$\begin{aligned}& \Omega =\Gamma \biggl(\frac{9}{4}\biggr)-\sum _{i=1}^{3}\frac{\lambda_{i} \Gamma (\frac{9}{4})}{\Gamma (\frac{9}{4}+\beta_{i})}(\log \eta )^{ \frac{9}{4}+\beta_{i}-1}\approx 0.8562>0, \\& w=\Lambda \Biggl(\frac{1}{\Gamma (\frac{9}{4})}+\sum_{i=1}^{3} \frac{ \lambda_{i} g_{i}(\eta,s)}{\Omega \Gamma (\frac{9}{4}+\beta_{i})}\Biggr) \approx 0.0452< 1. \end{aligned}$$

Thus, by the application of Theorem 3.1 the Hadamard fractional integral boundary value problem (4.3) admits an unique solution.

References

  1. 1.

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

    MATH  Google Scholar 

  2. 2.

    Magin, RL: Fractional Calculus in Bioengineering. Begell House Publisher, Inc., Connecticut (2006)

    Google Scholar 

  3. 3.

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

    Book  MATH  Google Scholar 

  4. 4.

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

    MATH  Google Scholar 

  5. 5.

    Lakshmikantham, V, Leela, S, Devi, JV: Theory of Fractional Dynamic Systems. Cambridge Scientific Publishers, Cambridge (2009)

    MATH  Google Scholar 

  6. 6.

    Baleanu, D, Diethelm, K, Scalas, E, Trujillo, JJ: Fractional Calculus Models and Numerical Methods. Series on Complexity, Nonlinearity and Chaos. World Scientific, Boston (2012)

    Book  MATH  Google Scholar 

  7. 7.

    Zhang, X, Liu, L, Wu, Y: The uniqueness of positive solution for a singular fractional differential system involving derivatives. Commun. Nonlinear Sci. Numer. Simul. 18, 1400-1409 (2013)

    MathSciNet  Article  MATH  Google Scholar 

  8. 8.

    Zhang, X, Liu, L, Wiwatanapataphee, B, Wu, Y: The eigenvalue for a class of singular p-Laplacian fractional differential equations involving the Riemann-Stieltjes integral boundary condition. Appl. Math. Comput. 235, 412-422 (2014)

    MathSciNet  MATH  Google Scholar 

  9. 9.

    Zhang, X, Liu, L, Wu, Y: Variational structure and multiple solutions for a fractional advection-dispersion equation. Comput. Math. Appl. 68, 1794-1805 (2014)

    MathSciNet  Article  Google Scholar 

  10. 10.

    Zhang, X, Liu, L, Wu, Y: The uniqueness of positive solution for a fractional order model of turbulent flow in a porous medium. Appl. Math. Lett. 37, 26-33 (2014)

    MathSciNet  Article  MATH  Google Scholar 

  11. 11.

    Zhang, X, Wu, Y, Lou, C: Nonlocal fractional order differential equations with changing-sign singular perturbation. Appl. Math. Model. 39, 6543-6552 (2015)

    MathSciNet  Article  Google Scholar 

  12. 12.

    Zhang, X, Liu, L, Wu, Y, Wiwatanapataphee, B: The spectral analysis for a singular fractional differential equation with a signed measure. Appl. Math. Comput. 257, 252-263 (2015)

    MathSciNet  MATH  Google Scholar 

  13. 13.

    Zhang, X, Liu, L, Wiwatanapataphee, B, Wu, Y: Positive solutions of eigenvalue problems for a class of fractional differential equations with derivatives. Abstr. Appl. Anal. 2012, Article ID 512127 (2012)

    MathSciNet  MATH  Google Scholar 

  14. 14.

    Hadamard, J: Essai sur l’étude des fonctions données par leur developpement de Taylor. J. Math. Pures Appl. 8, 101-186 (1892)

    Google Scholar 

  15. 15.

    Kilbas, AA: Hadamard-type fractional calculus. J. Korean Math. Soc. 38, 1191-1204 (2001)

    MathSciNet  MATH  Google Scholar 

  16. 16.

    Butzer, PL, Kilbas, AA, Trujillo, JJ: Compositions of Hadamard-type fractional integration operators and the semigroup property. J. Math. Anal. Appl. 269, 387-400 (2002)

    MathSciNet  Article  MATH  Google Scholar 

  17. 17.

    Kilbas, AA, Trujillo, JJ: Hadamard-type integrals as G-transforms. Integral Transforms Spec. Funct. 14, 413-427 (2003)

    MathSciNet  Article  MATH  Google Scholar 

  18. 18.

    Ahmad, B, Ntouyas, S: A fully Hadamard type integral boundary value problem of a coupled system of fractional differential equations. Fract. Calc. Appl. Anal. 17(2), 348-360 (2014)

    MathSciNet  Article  MATH  Google Scholar 

  19. 19.

    Garra, R, Polito, F: On some operators involving Hadamard derivatives. Integral Transforms Spec. Funct. 24, 773-782 (2013)

    MathSciNet  Article  MATH  Google Scholar 

  20. 20.

    Wang, J, Zhou, Y, Medved, M: Existence and stability of fractional differential equations with Hadamard derivative. Topol. Methods Nonlinear Anal. 41, 113-133 (2013)

    MathSciNet  MATH  Google Scholar 

  21. 21.

    Ma, Q, Wang, R, Wang, J, Ma, Y: Qualitative analysis for solutions of a certain more generalized two-dimensional fractional differential system with Hadamard derivative. Appl. Math. Comput. 257, 436-445 (2015)

    MathSciNet  MATH  Google Scholar 

  22. 22.

    Aljoudi, S, Ahmad, B, Nieto, JJ, Alsaedi, A: A coupled system of Hadamard type sequential fractional differential equations with coupled strip conditions. Chaos Solitons Fractals 91, 39-46 (2016)

    MathSciNet  Article  Google Scholar 

  23. 23.

    Yukunthorn, W, Ahmad, B, Ntouyas, SK, Tariboon, J: On Caputo-Hadamard type fractional impulsive hybrid systems with nonlinear fractional integral conditions. Nonlinear Anal. Hybrid Syst. 19, 77-92 (2016)

    MathSciNet  Article  MATH  Google Scholar 

  24. 24.

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

    MATH  Google Scholar 

  25. 25.

    McRae, FA: Monotone iterative technique and existence results for fractional differential equations. Nonlinear Anal. 71, 6093-6096 (2009)

    MathSciNet  Article  MATH  Google Scholar 

  26. 26.

    Zhang, S: Monotone iterative method for initial value problem involving Riemann-Liouville fractional derivatives. Nonlinear Anal. 71, 2087-2093 (2009)

    MathSciNet  Article  MATH  Google Scholar 

  27. 27.

    Wei, Z, Dong, W, Che, J: Periodic boundary value problems for fractional differential equations involving a Riemann-Liouville fractional derivative. Nonlinear Anal. 73, 3232-3238 (2010)

    MathSciNet  Article  MATH  Google Scholar 

  28. 28.

    Al-Refai, M, Hajji, MA: Monotone iterative sequences for nonlinear boundary value problems of fractional order. Nonlinear Anal. 74, 3531-3539 (2011)

    MathSciNet  Article  MATH  Google Scholar 

  29. 29.

    Ramirez, JD, Vatsala, AS: Monotone method for nonlinear Caputo fractional boundary value problems. Dyn. Syst. Appl. 20, 73-88 (2011)

    MathSciNet  MATH  Google Scholar 

  30. 30.

    Wang, G: Monotone iterative technique for boundary value problems of a nonlinear fractional dif- ferential equations with deviating arguments. J. Comput. Appl. Math. 236, 2425-2430 (2012)

    MathSciNet  Article  MATH  Google Scholar 

  31. 31.

    Wang, G, Agarwal, RP, Cabada, A: Existence results and the monotone iterative technique for systems of nonlinear fractional differential equations. Appl. Math. Lett. 25, 1019-1024 (2012)

    MathSciNet  Article  MATH  Google Scholar 

  32. 32.

    Wang, G, Baleanu, D, Zhang, L: Monotone iterative method for a class of nonlinear fractional differential equations. Fract. Calc. Appl. Anal. 15, 244-252 (2012)

    MathSciNet  Article  MATH  Google Scholar 

  33. 33.

    Hu, C, Liu, B, Xie, S: Monotone iterative solutions for nonlinear boundary value problems of fractional differential equation with deviating arguments. Appl. Math. Comput. 222, 72-81 (2013)

    MathSciNet  MATH  Google Scholar 

  34. 34.

    Liu, Z, Sun, J, Szanto, I: Monotone iterative technique for Riemann-Liouville fractional integro-differential equations with advanced arguments. Results Math. 63, 1277-1287 (2013)

    MathSciNet  Article  MATH  Google Scholar 

  35. 35.

    Zhang, X, Liu, L, Wu, Y, Lu, Y: The iterative solutions of nonlinear fractional differential equations. Appl. Math. Comput. 219, 4680-4691 (2013)

    MathSciNet  MATH  Google Scholar 

  36. 36.

    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)

    MathSciNet  Article  MATH  Google Scholar 

  37. 37.

    Zhang, L, Ahmad, B, Wang, G: Successive iterations for positive extremal solutions of nonlinear fractional differential equations on a half-line. Bull. Aust. Math. Soc. 91, 116-128 (2015)

    MathSciNet  Article  MATH  Google Scholar 

  38. 38.

    Wang, G: Explicit iteration and unbounded solutions for fractional integral boundary value problem on an infinite interval. Appl. Math. Lett. 47, 1-7 (2015)

    MathSciNet  Article  MATH  Google Scholar 

Download references

Acknowledgements

Partially supported by National Natural Science Foundation of China (No. 11501342) and the Scientific and Technological Innovation Programs of Higher Education Institutions in Shanxi (Nos. 2014135 and 2014136)

Author information

Affiliations

Authors

Corresponding author

Correspondence to Guotao Wang.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally to the writing of this paper. All authors 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

Verify currency and authenticity via CrossMark

Cite this article

Wang, G., Pei, K. & Baleanu, D. Explicit iteration to Hadamard fractional integro-differential equations on infinite domain. Adv Differ Equ 2016, 299 (2016). https://doi.org/10.1186/s13662-016-1023-z

Download citation

Keywords

  • Hadamard derivative
  • Hadamard integro-differential boundary conditions
  • monotone iterative
  • infinite interval