Existence and uniqueness results for a fractional Riemann–Liouville nonlocal thermistor problem on arbitrary time scales

Moulay Rchid Sidi Ammi; Delfim F.M. Torres

doi:10.1016/j.jksus.2017.03.004

View/Download PDF

Buy Reprints

PDF

Translate this page into:

30 (

); 381-385

doi:

10.1016/j.jksus.2017.03.004

Existence and uniqueness results for a fractional Riemann–Liouville nonlocal thermistor problem on arbitrary time scales

Moulay Rchid Sidi Ammi^{^a}, Delfim F.M. Torres^{^b,⁎}

a AMNEA Group, Department of Mathematics, Faculty of Sciences and Techniques, Moulay Ismail University, B.P. 509, Errachidia, Morocco

b Center for Research & Development in Mathematics and Applications (CIDMA), Department of Mathematics, University of Aveiro, 3810-193 Aveiro, Portugal

⁎Corresponding author. delfim@ua.pt (Delfim F.M. Torres)

Received: 2016-12-16, Accepted: 2017-3-14, Published: 2017-07-01

Disclaimer:
This article was originally published by Elsevier and was migrated to Scientific Scholar after the change of Publisher.

Peer review under responsibility of King Saud University.

Abstract

Using a fixed point theorem in a proper Banach space, we prove existence and uniqueness results of positive solutions for a fractional Riemann–Liouville nonlocal thermistor problem on arbitrary nonempty closed subsets of the real numbers.

Keywords

26A33

26E70

35B09

45M20

Fractional Riemann–Liouville derivatives

Nonlocal thermistor problem on time scales

Fixed point theorem

Dynamic equations

Positive solutions

1 Introduction

The calculus on time scales is a recent area of research introduced by Aulbach and Hilger (1990), unifying and extending the theories of difference and differential equations into a single theory. A time scale is a model of time, and the theory has found important applications in several contexts that require simultaneous modeling of discrete and continuous data. It is under strong current research in areas as diverse as the calculus of variations, optimal control, economics, biology, quantum calculus, communication networks and robotic control. The interested reader is refereed to Agarwal and Bohner (1999), Agarwal et al. (2002), Bohner and Peterson (2001a,b), Martins and Torres (2009), Ortigueira et al. (2016) and references therein.

On the other hand, many phenomena in engineering, physics and other sciences, can be successfully modeled by using mathematical tools inspired by the fractional calculus, that is, the theory of derivatives and integrals of noninteger order. See, for example, Gaul et al. (1991), Hilfer (2000), Kilbas et al. (2006), Sabatier et al. (2007), Samko et al. (1993) and Srivastava and Saxena (2001). This allows one to describe physical phenomena more accurately. In this line of thought, fractional differential equations have emerged in recent years as an interdisciplinary area of research (Abbas et al., 2012). The nonlocal nature of fractional derivatives can be utilized to simulate accurately diversified natural phenomena containing long memory (Debbouche and Torres, 2015; Machado et al., 2011).

A thermistor is a thermally sensitive resistor whose electrical conductivity changes drastically by orders of magnitude, as the temperature reaches a certain threshold. Thermistors are used as temperature control elements in a wide variety of military and industrial equipment, ranging from space vehicles to air conditioning controllers. They are also used in the medical field, for localized and general body temperature measurement; in meteorology, for weather forecasting; as well as in chemical industries, as process temperature sensors (Kwok, 1995; Maclen, 1979).

Throughout the reminder of the paper, we denote by $T$ a time scale, which is a nonempty closed subset of $R$ with its inherited topology. For convenience, we make the blanket assumption that $t_{0}$ and T are points in $T$ . Our main concern is to prove existence and uniqueness of solution to a fractional order nonlocal thermistor problem of the form

(1)

\begin{matrix} {}_{t_{0}}^{T}D_{t}^{2 α} u (t) = \frac{λ f (u)}{{(\int_{t_{0}}^{T} f (u) ▵ x)}^{2}}, t \in (t_{0}, T), \\ {}_{t_{0}}^{T}I_{t}^{β} u (t_{0}) = 0, \forall β \in (0, 1), \end{matrix}

under suitable conditions on f as described below. We assume that

α \in (0, 1)

is a parameter describing the order of the fractional derivative;

{}_{t_{0}}^{T}D_{t}^{2 α}

is the left Riemann–Liouville fractional derivative operator of order

2 α

{}_{t_{0}}^{T}I_{t}^{β}

is the left Riemann–Liouville fractional integral operator of order

β

defined on

T

by Benkhettou et al. (2016b). By u, we denote the temperature inside the conductor;

f (u)

is the electrical conductivity of the material.

In the literature, many existence results for dynamic equations on time scales are available (Dogan, 2013a; Dogan, 2013b). In recent years, there has been also significant interest in the use of fractional differential equations in mathematical modeling (Aghababa, 2015; Ma et al., 2016; Yu et al., 2016 ). However, much of the work published to date has been concerned separately, either by the time-scale community or by the fractional one. Results on fractional dynamic equations on time scales are scarce (Ahmadkhanlu and Jahanshahi, 2012).

In contrast with our previous works, which make use of fixed point theorems like the Krasnoselskii fixed point theorem, the fixed point index theory, and the Leggett–Williams fixed point theorem, to obtain several results of existence of positive solutions to linear and nonlinear dynamic equations on time scales, and recently also to fractional differential equations (Sidi Ammi et al., 2012; Sidi Ammi and Torres, 2012b, 2013; Souahi et al., 2016 ); here we prove new existence and uniqueness results for the fractional order nonlocal thermistor problem on time scales (1), putting together time scale and fractional domains. This seems to be quite appropriate from the point of view of practical applications (Machado et al., 2015; Nwaeze and Torres, 2017; Ortigueira et al., 2016 ).

The rest of the article is arranged as follows. In Section 2, we state preliminary definitions, notations, propositions and properties of the fractional operators on time scales needed in the sequel. Our main aim is to prove existence of solutions for (1) using a fixed point theorem and, consequently, uniqueness. This is done in Section 3: see Theorems 3.2 and 3.6.

2 Preliminaries

In this section, we recall fundamental definitions, hypotheses and preliminary facts that are used through the paper. For more details, see the seminal paper Benkhettou et al. (2016b). From physical considerations, we assume that the electrical conductivity is bounded (Antontsev and Chipot, 1994). Precisely, we consider the following assumption:

(H1)

Function $f : R^{+} \to R^{+}$ of problem (1) is Lipschitz continuous with Lipschitz constant $L_{f}$ such that $c_{1} ⩽ f (u) ⩽ c_{2}$ , with $c_{1}$ and $c_{2}$ two positive constants.

We deal with the notions of left Riemann–Liouville fractional integral and derivative on time scales, as proposed in Benkhettou et al. (2016b), the so called BHT fractional calculus on time scales (Nwaeze and Torres, 2017). The corresponding right operators are obtained by changing the limits of integrals from a to t into t to b. For local approaches to fractional calculus on arbitrary time scales we refer the reader to Benkhettou et al. (2015, 2016a). Here we are interested in nonlocal operators, which are the ones who make sense with respect to the thermistor problem (Sidi Ammi and Torres, 2008, 2012a). Although we restrict ourselves to the delta approach on time scales, similar results are trivially obtained for the nabla fractional case (Girejko and Torres, 2012).

Definition 2.1

Definition 2.1 Riemann–Liouville fractional integral on time scales (Benkhettou et al., 2016b)

Let $T$ be a time scale and $[a, b]$ an interval of $T$ . Then the left fractional integral on time scales of order $0 < α < 1$ of a function $g : T \to R$ is defined by ${}_{a}^{T}I_{t}^{α} g (t) = \int_{a}^{t} \frac{{(t - s)}^{α - 1}}{Γ (α)} g (s) ▵ s,$ where $Γ$ is the Euler gamma function.

The left Riemann–Liouville fractional derivative operator of order $α$ on time scales is then defined using Definition 2.1 of fractional integral.

Definition 2.2

Definition 2.2 Riemann–Liouville fractional derivative on time scales (Benkhettou et al., 2016b)

Let $T$ be a time scale, $[a, b]$ an interval of $T$ , and $0 < α < 1$ . Then the left Riemann–Liouville fractional derivative on time scales of order $α$ of a function $g : T \to R$ is defined by ${}_{a}^{T}D_{t}^{α} g (t) = {(\int_{a}^{t} \frac{{(t - s)}^{- α}}{Γ (1 - α)} g (s) ▵ s)}^{▵} .$

Remark 2.3

If $T = R$ , then we obtain from Definitions 2.1 and 2.2, respectively, the usual left Rieman–Liouville fractional integral and derivative.

Proposition 2.4

Proposition 2.4 See Benkhettou et al. (2016b)

Let $T$ be a time scale, $g : T \to R$ and $0 < α < 1$ . Then ${}_{a}^{T}D_{t}^{α} g = ▵ \circ {}_{a}^{T}I_{t}^{1 - α} g .$

Proposition 2.5

Proposition 2.5 See Benkhettou et al. (2016b)

If $α > 0$ and $g \in C ([a, b])$ , then ${}_{a}^{T}D_{t}^{α} \circ {}_{a}^{T}I_{t}^{α} g = g .$

Proposition 2.6

Proposition 2.6 See Benkhettou et al. (2016b)

Let $g \in C ([a, b])$ and $0 < α < 1$ . If ${}_{a}^{T}I_{t}^{1 - α} u (a) = 0$ , then ${}_{a}^{T}I_{t}^{α} \circ {}_{a}^{T}D_{t}^{α} g = g .$

Theorem 2.7

Theorem 2.7 See Benkhettou et al. (2016b)

Let $g \in C ([a, b]), α > 0$ , and ${}_{a}^{T}I_{t}^{α} ([a, b])$ be the space of functions that can be represented by the Riemann–Liouville $▵$ -integral of order $α$ of some $C ([a, b])$ -function. Then, $g \in {}_{a}^{T}I_{t}^{α} ([a, b])$ if and only if ${}_{a}^{T}I_{t}^{1 - α} g \in C^{1} ([a, b])$ and ${}_{a}^{T}I_{t}^{1 - α} g (a) = 0 .$

The following result of the calculus on time scales is also useful.

Proposition 2.8

Proposition 2.8 See Ahmadkhanlu and Jahanshahi (2012)

Let $T$ be a time scale and g an increasing continuous function on the time-scale interval $[a, b]$ . If G is the extension of g to the real interval $[a, b]$ defined by $G (s) ≔ \{\begin{matrix} g (s) & if s \in T, \\ g (t) & if s \in (t, σ (t)) \notin T, \end{matrix}$ then $\int_{a}^{b} g (t) ▵ t ⩽ \int_{a}^{b} G (t) dt,$ where $σ : T \to T$ is the forward jump operator of $T$ defined by $σ (t) ≔ \inf {s \in T : s > t}$ .

Along the paper, by $C ([0, T])$ we denote the space of all continuous functions on $[0, T]$ endowed with the norm $‖ x ‖_{\infty} = \sup_{t \in [0, T]} {| x (t) |}$ . Then, $X = (C ([0, T]), ‖ \cdot ‖)$ is a Banach space.

3 Main Results

We begin by giving an integral representation to our problem (1). Due to physical considerations, the only relevant case is the one with $0 < α < \frac{1}{2}$ . Note that this is coherent with our fractional operators with $2 α - 1 < 0$ .

Lemma 3.1

Let $0 < α < \frac{1}{2}$ . Problem (1) is equivalent to

(2)

u (t) = \frac{λ}{Γ (2 α)} \int_{t_{0}}^{t} {(t - s)}^{2 α - 1} \frac{f (u (s))}{{(\int_{t_{0}}^{T} f (u) ▵ x)}^{2}} ▵ s .

Proof

We have $\begin{matrix} {}_{t_{0}}^{T}D_{t}^{2 α} u (t) & = \frac{λ}{Γ (2 α)} {(\int_{t_{0}}^{t} {(t - s)}^{2 α - 1} \frac{f (u (s))}{{(\int_{t_{0}}^{T} f (u) ▵ x)}^{2}} ▵ s)}^{▵} \\ = {({}_{t_{0}}^{T}I_{t}^{1 - 2 α} u (t))}^{▵} = (▵ \circ {}_{t_{0}}^{T}I_{t}^{1 - 2 α}) u (t) . \end{matrix}$

The result follows from Proposition 2.6: ${}_{t_{0}}^{T}I_{t}^{2 α} \circ ({}_{t_{0}}^{T}D_{t}^{2 α} (u)) = u$ . □

For the sake of simplicity, we take $t_{0} = 0$ . It is easy to see that (1) has a solution $u = u (t)$ if and only if u is a fixed point of the operator $K : X \to X$ defined by

(3)

Ku (t) = \frac{λ}{Γ (2 α)} \int_{0}^{t} {(t - s)}^{2 α - 1} \frac{f (u (s))}{{(\int_{0}^{T} f (u) ▵ x)}^{2}} ▵ s .

Follows our first main result.

Theorem 3.2

Theorem 3.2 Existence of solution

Let $0 < α < \frac{1}{2}$ and f satisfies hypothesis (H1). Then there exists a solution $u \in X$ of (1) for all $λ > 0$ .

3.1

3.1 Proof of Existence

In this subsection we prove Theorem 3.2. For that, firstly we prove that the operator K defined by (3) verifies the conditions of Schauder’s fixed point theorem (Cronin, 1994).

Lemma 3.3

The operator K is continuous.

Proof

Let us consider a sequence $u_{n}$ converging to u in X. Then,

(4)

\begin{matrix} | {Ku}_{n} (t) - Ku (t) | & ⩽ \frac{λ}{Γ (2 α)} \int_{0}^{t} {(t - s)}^{2 α - 1} |\frac{f (u_{n} (s))}{{(\int_{0}^{T} f (u_{n}) ▵ x)}^{2}} - \frac{f (u (s))}{{(\int_{0}^{T} f (u) ▵ x)}^{2}}| ▵ s \\ ⩽ \frac{λ}{Γ (2 α)} \int_{0}^{t} {(t - s)}^{2 α - 1} |\frac{1}{{(\int_{0}^{T} f (u_{n}) ▵ x)}^{2}} (f (u_{n} (s)) - f (u (s))) + f (u (s)) (\frac{1}{{(\int_{0}^{T} f (u_{n}) ▵ x)}^{2}} - \frac{1}{{(\int_{0}^{T} f (u) ▵ x)}^{2}})| \\ ⩽ \frac{λ}{Γ (2 α)} \int_{0}^{t} {(t - s)}^{2 α - 1} \frac{1}{{(\int_{0}^{T} f (u_{n}) ▵ x)}^{2}} |f (u_{n} (s)) - f (u (s))| ▵ s + \frac{λ}{Γ (2 α)} \int_{0}^{t} {(t - s)}^{2 α - 1} |f (u (s))| |\frac{1}{{(\int_{0}^{T} f (u_{n}) ▵ x)}^{2}} - \frac{1}{{(\int_{0}^{T} f (u) ▵ x)}^{2}}| ⩽ I_{1} + I_{2} . \end{matrix}

We estimate both right-hand terms separately. By hypothesis (H1) and Proposition 2.8, we have

\begin{matrix} I_{1} & ⩽ \frac{λ}{{(c_{1} T)}^{2} Γ (2 α)} \int_{0}^{t} {(t - s)}^{2 α - 1} |f (u_{n} (s)) - f (u (s))| ▵ s \\ ⩽ \frac{λ L_{f}}{{(c_{1} T)}^{2} Γ (2 α)} \int_{0}^{t} {(t - s)}^{2 α - 1} |u_{n} (s) - u (s)| ▵ s \\ ⩽ \frac{λ L_{f}}{{(c_{1} T)}^{2} Γ (2 α)} ‖ u_{n} - u ‖_{\infty} \int_{0}^{t} {(t - s)}^{2 α - 1} ▵ s \\ ⩽ \frac{λ L_{f}}{{(c_{1} T)}^{2} Γ (2 α)} ‖ u_{n} - u ‖_{\infty} \int_{0}^{t} {(t - s)}^{2 α - 1} ds, \end{matrix}

since

{(t - s)}^{2 α - 1}

is nondecreasing. Then,

(5)

I_{1} ⩽ \frac{λ T^{2 α} L_{f}}{{(c_{1} T)}^{2} Γ (2 α + 1)} ‖ u_{n} - u ‖_{\infty} .

Once again, since ${(t - s)}^{2 α - 1}$ is nondecreasing, we have $\begin{matrix} I_{2} & ⩽ \frac{λ}{Γ (2 α)} \int_{0}^{t} \frac{{(t - s)}^{2 α - 1} | f (u (s)) | |{(\int_{0}^{T} f (u_{n}) ▵ x)}^{2} - {(\int_{0}^{T} f (u) ▵ x)}^{2}|}{{(\int_{0}^{T} f (u_{n}) ▵ x)}^{2} {(\int_{0}^{T} f (u) ▵ x)}^{2}} ▵ s \\ ⩽ \frac{λ c_{2}}{{(c_{1} T)}^{4} Γ (2 α)} \int_{0}^{t} {(t - s)}^{2 α - 1} |{(\int_{0}^{T} f (u_{n}) ▵ x)}^{2} - {(\int_{0}^{T} f (u) ▵ x)}^{2}| ▵ s \\ ⩽ \frac{λ c_{2}}{{(c_{1} T)}^{4} Γ (2 α)} \int_{0}^{t} {(t - s)}^{2 α - 1} |(\int_{0}^{T} (f (u_{n}) - f (u)) ▵ x) (\int_{0}^{T} (f (u_{n}) + f (u)) ▵ x)| ▵ s \\ ⩽ \frac{2 λ c_{2}^{2} T}{{(c_{1} T)}^{4} Γ (2 α)} \int_{0}^{t} {(t - s)}^{2 α - 1} (\int_{0}^{T} |f (u_{n}) - f (u)| ▵ x) ▵ s \\ ⩽ \frac{2 λ c_{2}^{2} {TL}_{f}}{{(c_{1} T)}^{4} Γ (2 α)} \int_{0}^{t} {(t - s)}^{2 α - 1} (\int_{0}^{T} |u_{n} (x) - u (x)| ▵ x) ▵ s \\ ⩽ \frac{2 λ c_{2}^{2} T^{2} L_{f}}{{(c_{1} T)}^{4} Γ (2 α)} ‖ u_{n} - u ‖_{\infty} \int_{0}^{t} {(t - s)}^{2 α - 1} ▵ s \\ ⩽ \frac{2 λ c_{2}^{2} T^{2} L_{f}}{{(c_{1} T)}^{4} Γ (2 α)} ‖ u_{n} - u ‖_{\infty} \int_{0}^{t} {(t - s)}^{2 α - 1} ds \\ ⩽ \frac{2 λ c_{2}^{2} T^{2 (α + 1)} L_{f}}{{(c_{1} T)}^{4} Γ (2 α + 1)} ‖ u_{n} - u ‖_{\infty} . \end{matrix}$

It follows that

(6)

I_{2} ⩽ \frac{2 λ c_{2}^{2} T^{2 (α + 1)} L_{f}}{{(c_{1} T)}^{4} Γ (2 α + 1)} ‖ u_{n} - u ‖_{\infty} .

Bringing inequalities (5) and (6) into (4), we have $| {Ku}_{n} (t) - Ku (t) | ⩽ I_{1} + I_{2} ⩽ (\frac{λ T^{2 α} L_{f}}{{(c_{1} T)}^{2} Γ (2 α + 1)} + \frac{2 λ c_{2}^{2} T^{2 (α + 1)} L_{f}}{{(c_{1} T)}^{4} Γ (2 α + 1)}) ‖ u_{n} - u ‖_{\infty} .$

Then

(7)

‖ {Ku}_{n} - Ku ‖_{\infty} ⩽ (\frac{λ T^{2 α} L_{f}}{{(c_{1} T)}^{2} Γ (2 α + 1)} + \frac{2 λ c_{2}^{2} T^{2 (α + 1)} L_{f}}{{(c_{1} T)}^{4} Γ (2 α + 1)}) ‖ u_{n} - u ‖_{\infty} .

Hence, independently of $λ$ , the right-hand side of the above inequality converges to zero as $u_{n} \to u$ . Therefore, ${Ku}_{n} \to Ku$ . This proves the continuity of K. □

Lemma 3.4

The operator K sends bounded sets into bounded sets on $C ([0, T], R)$ .

Proof

Let $I = [0, T]$ . We need to prove that for all $r > 0$ there exists $l > 0$ such that for all $u \in B_{r} = {u \in C (I, R), ‖ u ‖_{\infty} ⩽ r}$ we have $‖ K (u) ‖_{\infty} ⩽ l$ . Let $t \in I$ and $u \in B_{r}$ . Then, $\begin{matrix} | K (u (t)) | & ⩽ \frac{λ}{Γ (2 α)} \int_{0}^{t} {(t - s)}^{2 α - 1} \frac{| f (u (s)) |}{{(\int_{0}^{T} f (u) ▵ x)}^{2}} ▵ s \\ ⩽ \frac{λ M}{Γ (2 α)} \int_{0}^{t} {(t - s)}^{2 α - 1} ▵ s \\ ⩽ \frac{λ M}{Γ (2 α)} \int_{0}^{t} {(t - s)}^{2 α - 1} ds \\ ⩽ \frac{λ {MT}^{2 α}}{Γ (2 α + 1)}, \end{matrix}$ where $M = \frac{\sup_{B_{r}} f}{{(c_{1} T)}^{2}}$ . Hence, taking the supremum over t, it follows that $‖ K (u) ‖_{\infty} ⩽ \frac{λ {MT}^{2 α}}{Γ (2 α + 1)},$ that is, $K (u)$ is bounded. □

Now, we shall prove that $K (B_{r})$ is an equicontinuous set in X. This ends the proof of our Theorem 3.2.

Lemma 3.5

The operator K sends bounded sets into equicontinuous sets of $C (I, R)$ .

Proof

Let $t_{1}, t_{2} \in I$ such that $0 ⩽ t_{1} < t_{2} ⩽ T$ , $B_{r}$ is a bounded set of $C (I, R)$ and $u \in B_{r}$ . Then, $\begin{matrix} | K (u (t_{2})) - K (u (t_{1})) | & ⩽ \frac{λ}{Γ (2 α)} |\int_{0}^{t_{2}} {(t_{2} - s)}^{2 α - 1} \frac{f (u (s))}{{(\int_{0}^{T} f (u) ▵ x)}^{2}} ▵ s - \int_{0}^{t_{1}} {(t_{1} - s)}^{2 α - 1} \frac{f (u (s))}{{(\int_{0}^{T} f (u) ▵ x)}^{2}} ▵ s| \\ ⩽ \frac{λ}{Γ (2 α)} |\int_{0}^{t_{2}} ({(t_{2} - s)}^{2 α - 1} - {(t_{1} - s)}^{2 α - 1} + {(t_{1} - s)}^{2 α - 1}) \frac{f (u (s))}{{(\int_{0}^{T} f (u) ▵ x)}^{2}} ▵ s - \int_{0}^{t_{1}} {(t_{1} - s)}^{2 α - 1} \frac{f (u (s))}{{(\int_{0}^{T} f (u) ▵ x)}^{2}} ▵ s| \\ ⩽ \frac{λ}{Γ (2 α)} |\int_{0}^{t_{2}} ({(t_{2} - s)}^{2 α - 1} - {(t_{1} - s)}^{2 α - 1}) \frac{f (u (s))}{{(\int_{0}^{T} f (u) ▵ x)}^{2}} ▵ s + \int_{t_{1}}^{t_{2}} {(t_{1} - s)}^{2 α - 1} \frac{f (u (s))}{{(\int_{0}^{T} f (u) ▵ x)}^{2}} ▵ s| \end{matrix}$ $\begin{matrix} ⩽ \frac{λ c_{2}}{{(c_{1} T)}^{2} Γ (2 α)} |\int_{0}^{t_{2}} ({(t_{2} - s)}^{2 α - 1} - {(t_{1} - s)}^{2 α - 1}) ds + \int_{t_{1}}^{t_{2}} {(t_{1} - s)}^{2 α - 1} ds| \\ ⩽ \frac{λ c_{2}}{{(c_{1} T)}^{2} Γ (2 α + 1)} |t_{1}^{2 α} - t_{2}^{2 α} + {(t_{1} - t_{2})}^{2 α} - {(t_{1} - t_{2})}^{2 α}| \\ ⩽ \frac{λ c_{2}}{{(c_{1} T)}^{2} Γ (2 α + 1)} |t_{2}^{2 α} - t_{1}^{2 α}| . \end{matrix}$

Because the right-hand side of the above inequality does not depend on u and tends to zero when $t_{2} \to t_{1}$ , we conclude that $K (\overline{B_{r}})$ is relatively compact. Hence, B is compact by the Arzela–Ascoli theorem. Consequently, since K is continuous, it follows by Schauder’s fixed point theorem (Cronin, 1994) that problem (1) has a solution on I. This ends the proof of Theorem 3.2. □

3.2

3.2 Uniqueness

We now derive uniqueness of solution to problem (1).

Theorem 3.6

Theorem 3.6 Uniqueness of solution

Let $0 < α < \frac{1}{2}$ and f satisfies hypothesis (H1). If $0 < λ < {(\frac{T^{2 α} L_{f}}{{(c_{1} T)}^{2} Γ (2 α + 1)} + \frac{2 c_{2}^{2} T^{2 (α + 1)} L_{f}}{{(c_{1} T)}^{4} Γ (2 α + 1)})}^{- 1},$ then the solution predicted by Theorem 3.2 is unique.

Proof

Let u and v be two solutions of (1). Then, from (7), one has $‖ Kv - Ku ‖_{\infty} ⩽ (\frac{λ T^{2 α} L_{f}}{{(c_{1} T)}^{2} Γ (2 α + 1)} + \frac{2 λ c_{2}^{2} T^{2 (α + 1)} L_{f}}{{(c_{1} T)}^{4} Γ (2 α + 1)}) ‖ v - u ‖_{\infty} .$

Choosing $λ$ such that $0 < λ < {(\frac{T^{2 α} L_{f}}{{(c_{1} T)}^{2} Γ (2 α + 1)} + \frac{2 c_{2}^{2} T^{2 (α + 1)} L_{f}}{{(c_{1} T)}^{4} Γ (2 α + 1)})}^{- 1}$ , the map $K : X \to X$ is a contraction. It follows by the Banach principle that it has a fixed point $u = Fu$ . Hence, there exists a unique $u \in X$ that is solution of (2). □

Acknowledgements

The authors were supported by the Center for Research and Development in Mathematics and Applications (CIDMA) of the University of Aveiro, through Fundação para a Ciência e a Tecnologia (FCT), within project UID/MAT/04106/2013. They are grateful to two anonymous referees for several comments and suggestions.

References

Abbas S., Benchohra M., N’Guérékata G.M., . Topics in fractional differential equations.Developments in Mathematics. Vol vol. 27. New York: Springer; 2012.
Agarwal R.P., Bohner M., . Basic calculus on time scales and some of its applications. Results Math.. 1999;35(1–2):3-22.
[Google Scholar]
Agarwal R., Bohner M., O’Regan D., Peterson A., . Dynamic equations on time scales: a survey. J. Comput. Appl. Math.. 2002;141(1–2):1-26.
[Google Scholar]
Aghababa M.P., . Fractional modeling and control of a complex nonlinear energy supply-demand system. Complexity. 2015;20(6):74-86.
[Google Scholar]
Ahmadkhanlu A., Jahanshahi M., . On the existence and uniqueness of solution of initial value problem for fractional order differential equations on time scales. Bull. Iranian Math. Soc.. 2012;38(1):241-252.
[Google Scholar]
Antontsev S.N., Chipot M., . The thermistor problem: existence, smoothness uniqueness, blowup. SIAM J. Math. Anal.. 1994;25(4):1128-1156.
[Google Scholar]
Aulbach, B., Hilger, S., 1990. A unified approach to continuous and discrete dynamics. In: Qualitative theory of differential equations (Szeged, 1988), vol. 53 of Colloq. Math. Soc. János Bolyai, pages 37–56. North-Holland, Amsterdam.
Benkhettou N., Brito da Cruz A.M.C., Torres D.F.M., . A fractional calculus on arbitrary time scales: fractional differentiation and fractional integration. Signal Process.. 2015;107:230-237.
[Google Scholar]
Benkhettou N., Brito da Cruz A.M.C., Torres D.F.M., . Nonsymmetric and symmetric fractional calculi on arbitrary nonempty closed sets. Math. Methods Appl. Sci.. 2016;39(2):261-279.
[Google Scholar]
Benkhettou N., Hammoudi A., Torres D.F.M., . Existence and uniqueness of solution for a fractional Riemann–Liouville initial value problem on time scales. J. King Saud Univ. Sci.. 2016;28(1):87-92.
[Google Scholar]
Bohner M., Peterson A., . Dynamic equations on time scales. Boston, MA: Birkhäuser Boston Inc; 2001.
Bohner M., Peterson A., . Dynamic Equations on Time Scales. Boston, MA: Birkhäuser Boston Inc; 2001.
Cronin J., . Differential equationsMonographs and Textbooks in Pure and Applied Mathematics Vol 180. (second ed.). New York: Marcel Dekker Inc; 1994.
Debbouche A., Torres D.F.M., . Sobolev type fractional dynamic equations and optimal multi-integral controls with fractional nonlocal conditions. Fract. Calc. Appl. Anal.. 2015;18(1):95-121.
[Google Scholar]
Dogan A., . Existence of three positive solutions for an m-point boundary-value problem on time scales. Electron. J. Diff. Equ. (149):10.
[Google Scholar]
Dogan A., . Existence of multiple positive solutions for p-Laplacian multipoint boundary value problems on time scales. Adv. Diff. Equ.. 2013;238:23.
[Google Scholar]
Gaul L., Klein P., Kempfle S., . Damping description involving fractional operators. Mech. Syst. Signal Process.. 1991;5:81-88.
[Google Scholar]
Girejko E., Torres D.F.M., . The existence of solutions for dynamic inclusions on time scales via duality. Appl. Math. Lett.. 2012;25(11):1632-1637.
[Google Scholar]
Hilfer R., ed. Applications of Fractional Calculus in Physics. River Edge, NJ: World Scientific Publishing Co., Inc.; 2000.
Kilbas A.A., Srivastava H.M., Trujillo J.J., . Theory and applications of fractional differential equations.North-Holland Mathematics Studies. Vol vol. 204. Amsterdam: Elsevier Science B.V; 2006.
Kwok K., . Complete Guide to Semiconductor Devices. New York: McGraw-Hill; 1995.
Machado J.T., Kiryakova V., Mainardi F., . Recent history of fractional calculus. Commun. Nonlinear Sci. Numer. Simul.. 2011;16(3):1140-1153.
[Google Scholar]
Machado J.T., Mainardi F., Kiryakova V., . Fractional calculus: quo vadimus? (Where are we going?) Fract. Calc. Appl. Anal.. 2015;18(2):495-526.
[Google Scholar]
Maclen E.D., . Thermistors. Glasgow: Electrochemical publication; 1979.
Ma Y., Zhou X., Li B., Chen H., . Fractional modeling and SOC estimation of lithium-ion battery. IEEE/CAA J. Autom. Sin.. 2016;3(3):281-287.
[Google Scholar]
Martins N., Torres D.F.M., . Calculus of variations on time scales with nabla derivatives. Nonlinear Anal.. 2009;71(12):e763-e773.
[Google Scholar]
Nwaeze E.R., Torres D.F.M., . Chain rules and inequalities for the BHT fractional calculus on arbitrary time scales. Arab. J. Math. (Springer). 2017;6(1):13-20.
[Google Scholar]
Ortigueira M.D., Torres D.F.M., Trujillo J.J., . Exponentials and Laplace transforms on nonuniform time scales. Commun. Nonlinear Sci. Numer. Simul.. 2016;39:252-270.
[Google Scholar]
Sabatier J., Agrawal O.P., Machado J.A.T., eds. Advances in fractional calculus. Dordrecht: Springer; 2007.
Samko S.G., Kilbas A.A., Marichev O.I., . Fractional Integrals and Derivatives. Yverdon: Gordon and Breach Science Publishers; 1993.
Sidi Ammi M.R., Torres D.F.M., . Numerical analysis of a nonlocal parabolic problem resulting from thermistor problem. Math. Comput. Simul.. 2008;77(2–3):291-300.
[Google Scholar]
Sidi Ammi M.R., Torres D.F.M., . Optimal control of nonlocal thermistor equations. Internat. J. Control. 2012;85(11):1789-1801.
[Google Scholar]
Sidi Ammi M.R., Torres D.F.M., . Existence and uniqueness of a positive solution to generalized nonlocal thermistor problems with fractional-order derivatives. Differ. Equ. Appl.. 2012;4(2):267-276.
[Google Scholar]
Sidi Ammi M.R., Torres D.F.M., . Existence of three positive solutions to some p-Laplacian boundary value problems. Discrete Dyn. Nat. Soc. 2013:12. Art. ID 145050
[Google Scholar]
Sidi Ammi M.R., El Kinani E.H., Torres D.F.M., . Existence and uniqueness of solutions to functional integro-differential fractional equations. Electron. J. Diff. Equ. (103):9.
[Google Scholar]
Souahi A., Guezane-Lakoud A., Khaldi R., . On some existence and uniqueness results for a class of equations of order $0 < α ⩽ 1$ on arbitrary time scales. Int. J. Differ. Equ. 2016:8. Art. ID 7327319
[Google Scholar]
Srivastava H.M., Saxena R.K., . Operators of fractional integration and their applications. Appl. Math. Comput.. 2001;118(1):1-52.
[Google Scholar]
Yu Y., Perdikaris P., Karniadakis G.E., . Fractional modeling of viscoelasticity in 3D cerebral arteries and aneurysms. J. Comput. Phys.. 2016;323:219-242.
[Google Scholar]

Introduction

Preliminaries

Main Results

Proof of Existence
Uniqueness

Fulltext Views
5

PDF downloads
9

View/Download PDF
Download Citations

BibTeX
RIS

Show Sections

[1] Abbas S., Benchohra M., N’Guérékata G.M., . Topics in fractional differential equations.Developments in Mathematics. Vol vol. 27. New York: Springer; 2012.

[2] Agarwal R.P., Bohner M., . Basic calculus on time scales and some of its applications. Results Math.. 1999;35(1–2):3-22.
[Google Scholar]

[3] Agarwal R., Bohner M., O’Regan D., Peterson A., . Dynamic equations on time scales: a survey. J. Comput. Appl. Math.. 2002;141(1–2):1-26.
[Google Scholar]

[4] Aghababa M.P., . Fractional modeling and control of a complex nonlinear energy supply-demand system. Complexity. 2015;20(6):74-86.
[Google Scholar]

[5] Ahmadkhanlu A., Jahanshahi M., . On the existence and uniqueness of solution of initial value problem for fractional order differential equations on time scales. Bull. Iranian Math. Soc.. 2012;38(1):241-252.
[Google Scholar]

[6] Antontsev S.N., Chipot M., . The thermistor problem: existence, smoothness uniqueness, blowup. SIAM J. Math. Anal.. 1994;25(4):1128-1156.
[Google Scholar]

[7] Aulbach, B., Hilger, S., 1990. A unified approach to continuous and discrete dynamics. In: Qualitative theory of differential equations (Szeged, 1988), vol. 53 of Colloq. Math. Soc. János Bolyai, pages 37–56. North-Holland, Amsterdam.

[8] Benkhettou N., Brito da Cruz A.M.C., Torres D.F.M., . A fractional calculus on arbitrary time scales: fractional differentiation and fractional integration. Signal Process.. 2015;107:230-237.
[Google Scholar]

[9] Benkhettou N., Brito da Cruz A.M.C., Torres D.F.M., . Nonsymmetric and symmetric fractional calculi on arbitrary nonempty closed sets. Math. Methods Appl. Sci.. 2016;39(2):261-279.
[Google Scholar]

[10] Benkhettou N., Hammoudi A., Torres D.F.M., . Existence and uniqueness of solution for a fractional Riemann–Liouville initial value problem on time scales. J. King Saud Univ. Sci.. 2016;28(1):87-92.
[Google Scholar]

[11] Bohner M., Peterson A., . Dynamic equations on time scales. Boston, MA: Birkhäuser Boston Inc; 2001.

[12] Bohner M., Peterson A., . Dynamic Equations on Time Scales. Boston, MA: Birkhäuser Boston Inc; 2001.

[13] Cronin J., . Differential equationsMonographs and Textbooks in Pure and Applied Mathematics Vol 180. (second ed.). New York: Marcel Dekker Inc; 1994.

[14] Debbouche A., Torres D.F.M., . Sobolev type fractional dynamic equations and optimal multi-integral controls with fractional nonlocal conditions. Fract. Calc. Appl. Anal.. 2015;18(1):95-121.
[Google Scholar]

[15] Dogan A., . Existence of three positive solutions for an m-point boundary-value problem on time scales. Electron. J. Diff. Equ. (149):10.
[Google Scholar]

[16] Dogan A., . Existence of multiple positive solutions for p-Laplacian multipoint boundary value problems on time scales. Adv. Diff. Equ.. 2013;238:23.
[Google Scholar]

[17] Gaul L., Klein P., Kempfle S., . Damping description involving fractional operators. Mech. Syst. Signal Process.. 1991;5:81-88.
[Google Scholar]

[18] Girejko E., Torres D.F.M., . The existence of solutions for dynamic inclusions on time scales via duality. Appl. Math. Lett.. 2012;25(11):1632-1637.
[Google Scholar]

[19] Hilfer R., ed. Applications of Fractional Calculus in Physics. River Edge, NJ: World Scientific Publishing Co., Inc.; 2000.

[20] Kilbas A.A., Srivastava H.M., Trujillo J.J., . Theory and applications of fractional differential equations.North-Holland Mathematics Studies. Vol vol. 204. Amsterdam: Elsevier Science B.V; 2006.

[21] Kwok K., . Complete Guide to Semiconductor Devices. New York: McGraw-Hill; 1995.

[22] Machado J.T., Kiryakova V., Mainardi F., . Recent history of fractional calculus. Commun. Nonlinear Sci. Numer. Simul.. 2011;16(3):1140-1153.
[Google Scholar]

[23] Machado J.T., Mainardi F., Kiryakova V., . Fractional calculus: quo vadimus? (Where are we going?) Fract. Calc. Appl. Anal.. 2015;18(2):495-526.
[Google Scholar]

[24] Maclen E.D., . Thermistors. Glasgow: Electrochemical publication; 1979.

[25] Ma Y., Zhou X., Li B., Chen H., . Fractional modeling and SOC estimation of lithium-ion battery. IEEE/CAA J. Autom. Sin.. 2016;3(3):281-287.
[Google Scholar]

[26] Martins N., Torres D.F.M., . Calculus of variations on time scales with nabla derivatives. Nonlinear Anal.. 2009;71(12):e763-e773.
[Google Scholar]

[27] Nwaeze E.R., Torres D.F.M., . Chain rules and inequalities for the BHT fractional calculus on arbitrary time scales. Arab. J. Math. (Springer). 2017;6(1):13-20.
[Google Scholar]

[28] Ortigueira M.D., Torres D.F.M., Trujillo J.J., . Exponentials and Laplace transforms on nonuniform time scales. Commun. Nonlinear Sci. Numer. Simul.. 2016;39:252-270.
[Google Scholar]

[29] Sabatier J., Agrawal O.P., Machado J.A.T., eds. Advances in fractional calculus. Dordrecht: Springer; 2007.

[30] Samko S.G., Kilbas A.A., Marichev O.I., . Fractional Integrals and Derivatives. Yverdon: Gordon and Breach Science Publishers; 1993.

[31] Sidi Ammi M.R., Torres D.F.M., . Numerical analysis of a nonlocal parabolic problem resulting from thermistor problem. Math. Comput. Simul.. 2008;77(2–3):291-300.
[Google Scholar]

[32] Sidi Ammi M.R., Torres D.F.M., . Optimal control of nonlocal thermistor equations. Internat. J. Control. 2012;85(11):1789-1801.
[Google Scholar]

[33] Sidi Ammi M.R., Torres D.F.M., . Existence and uniqueness of a positive solution to generalized nonlocal thermistor problems with fractional-order derivatives. Differ. Equ. Appl.. 2012;4(2):267-276.
[Google Scholar]

[34] Sidi Ammi M.R., Torres D.F.M., . Existence of three positive solutions to some p-Laplacian boundary value problems. Discrete Dyn. Nat. Soc. 2013:12. Art. ID 145050
[Google Scholar]

[35] Sidi Ammi M.R., El Kinani E.H., Torres D.F.M., . Existence and uniqueness of solutions to functional integro-differential fractional equations. Electron. J. Diff. Equ. (103):9.
[Google Scholar]

[36] Souahi A., Guezane-Lakoud A., Khaldi R., . On some existence and uniqueness results for a class of equations of order $0 < α ⩽ 1$ on arbitrary time scales. Int. J. Differ. Equ. 2016:8. Art. ID 7327319
[Google Scholar]

[37] Srivastava H.M., Saxena R.K., . Operators of fractional integration and their applications. Appl. Math. Comput.. 2001;118(1):1-52.
[Google Scholar]

[38] Yu Y., Perdikaris P., Karniadakis G.E., . Fractional modeling of viscoelasticity in 3D cerebral arteries and aneurysms. J. Comput. Phys.. 2016;323:219-242.
[Google Scholar]