---
author:
- Moulay Rchid Sidi Ammi
- 'Delfim F. M. Torres'
title: 'Analysis of fractional integro-differential equations of thermistor type'
---

Introduction
============

Fractional calculus covers a wide range of classical fields in mathematics and its applications, such as Abel’s integral equation, viscoelasticity, analysis of feedback amplifiers, capacitor theory, fractances, electric conductance, mathematical biology and optimal control [@MR3787674]. In particular, Abel integral equations are well studied, with many sources devoted to its applications in different fields. One can say that Abel’s integral equations, of first and second kind, are the most celebrated integral equations of fractional order [@MyID:310]. The former investigations on such equations are due to Niels Henrik Abel himself, for the first kind [@MR3721889], and to Hille and Tamarkin for the second kind [@MR1502959]. Niels Henrik Abel was led to his equations studying the *tautochrone* problem (from the Greek prefixes *tauto*, meaning same, and *chrono*, meaning time), that is, the problem of determining the shape of a curve for which the time taken by an object sliding without friction in uniform gravity to its lowest point is independent of its starting point. The curve is a cycloid, simultaneously the *tautochrone* and the *brachistochrone* curve, which brings together the subjects of fractional calculus and the calculus of variations [@MyID:310; @MR3331286].

Fractional integral equations occur in many situations where physical measurements are to be evaluated, e.g., in evaluation of spectroscopic measurements of cylindrical gas discharges, the study of the solar or a planetary atmosphere, the investigation of star densities in a globular cluster, the inversion of travel times of seismic waves for determination of terrestrial sub-surface structure, and spherical stereology [@ref33; @MR2024583]. For detailed descriptions and analysis of such integral equations of fractional order, we refer the readers to the books of Gorenflo and Vessella [@21] and Craig and Brown [@31]. See also [@32]. Another field, in which fractional integral equations with general weakly singular kernels appear naturally, is inverse boundary value problems in partial differential equations, in particular parabolic ones [@GorMin]. Here we are mainly interested in questions involving existence and uniqueness of solutions of fractional integral equations.

Existence and uniqueness of solutions for FDEs have been intensely studied by many mathematicians [@hilfer; @srivastava2; @22; @29]. However, most available results have been concerned with existence-uniqueness of solutions for FDEs on a finite interval. Since continuation theorems for FDEs are not well developed, results about global existence-uniqueness of solution of FDEs on the half axis $[0,+\infty )$, by using directly the results from local existence, have only recently flourished [@2; @li]. Here we address such issues. To motivate our study, we can mention two types of electrical circuits, which are related with fractional calculus. Circuits of the first type consist of capacitors and resistors, which are described by conventional (integer-order) models, but for which the circuit itself, as a whole, may have non-integer order properties, becoming a fractance device, that is, an electrical element that exhibits fractional order impedance properties. Circuits of the second type may consist of resistors and capacitors, both modeled in the classical sense, and fractances. In particular, we can consider thermistor-type problems, which are highly nonlinear and mathematically challenging [@MR2397904].

Inspired by modern developments of thermistors, where fractional partial differential equations have a crucial role, we consider here mathematical models and tools that serve as prototypes for other integral problems. It turns out that available computational methods for such mathematical problems are not theoretically sound, in the sense they rely on results of local existence. Here we review the recent theory of global existence for nonlocal fractional problems of thermistor type [@sidiammi3; @sidiammi1; @MyID:347; @MyID:365]. We begin, in Section \[sec:History\], with an historical account of the theory of FDEs dealing with Cauchy-type problems and their reduction to Volterra integral equations. Section \[section2\] contains some of the main tools in the area: we recall a necessary and sufficient condition for a subspace of continuous functions to be precompact; Schauder’s fixed point theorem; and a useful generalization of Gronwall’s inequality. In Section \[sec:RL\], our main concern is existence and uniqueness of solution to a fractional order nonlocal Riemann–Liouville thermistor problem of the form $$\label{eq21}
\begin{gathered}
D^{2 \alpha} u(t) = \frac{\lambda f(u(t))}{\left(
\int_{0}^{T} f(u(x))\, dx\right)^{2}}+ h(t) \, , \quad  t \in  (0, T)  \, , \\
I^{\beta} u(t)|_{t=0} = 0 ,  \quad    \forall \beta \in  (0,1],
\end{gathered}$$ under suitable conditions on $f$ and $h$ (see Theorem \[thm11\]). We also establish the boundedness of $u$ (Theorem \[thm:bnd\]). Here constant $\lambda$ is a positive dimensionless real parameter. The unknown function $u$ may be interpreted as the temperature generated by an electric current flowing through a conductor [@lac2; @tza]. We assume that $T$ is a fixed positive real and $ \alpha > 0$ a parameter describing the order of the FD. In the case $\alpha =1$ and $h \equiv 0$, becomes the one-dimensional nonlocal steady state thermistor problem; the values of $0< \alpha <\frac{1}{2}$ correspond to intermediate processes. In Section \[sec:Cap\], a more general Caputo thermistor problem on the half axis $[0,+\infty )$ is considered, instead of the bounded interval $[0, T)$ of . One of the main difficulties lies in handling the nonlocal term $$\frac{\lambda f(t, u(t))}{\left(\int_{0}^{t}f(x, u(x))\, dx\right)^{2}}$$ of problem , where, in contrast with problem , function $f$ depends on both time and the unknown function $u$. We are concerned with local existence on a finite interval (Theorem \[thm3.1\]), as well as results of continuation (Theorem \[thm4.1\]) and global existence (Theorems \[thm5.2\] and \[thm5.2b\]) via Schauder’s fixed point theorem. Finally, in Section \[sec:ts\], we consider fractional integral and differential equations on time scales, that is, on arbitrary nonempty closed subsets of the real numbers. The investigation of dynamic equations on time scales allows to unify and extend the theories of difference and differential equations into a single theory [@MR1062633]. 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. Its usefulness appears in many different areas, and the reader interested in applications is refereed to [@agarwal1b; @agarwal2; @bohner1; @MR2671876; @MR3498485] and references therein. The idea to join the two subjects of FC and the calculus on time scales, on a single theory, was born with the works [@MyID:152; @MyID:179; @MyID:201] and is under strong current research since 2011: see, e.g., [@ben; @MyID:328; @MyID:358; @MR3498485; @MyID:365]. Using Schauder’s fixed point theorem, we obtain existence and uniqueness results of positive solutions for a fractional Riemann–Liouville nonlocal thermistor problem on arbitrary nonempty closed subsets of the real numbers (Theorems \[thm12\] and \[corollary2\]). We end with Section \[sec:conc\] of conclusions.

Historical account {#sec:History}
==================

Abel’s integral equations of first and second kinds can be formulated, respectively, as $$\label{eq:1.1}
f(x)=\int_0^x\frac{k(x,s)g(s)}{(x-s)^\alpha}ds,
\quad 0<\alpha<1, \quad 0 \leq x \leq b,$$ and $$\label{eq:1.1:2nd}
f(x)=\int_0^x\frac{k(x,s)g(s)}{(x-s)^\alpha}ds + g(x),
\quad 0<\alpha<1, \quad 0 \leq x \leq b,$$ where $g$ is the unknown function to be found, $f$ is a well behaved function, and $k$ is the kernel. These celebrated equations appear frequently in many physical and engineering problems, like semi-conductors, heat conduction, metallurgy and chemical reactions [@32; @21]. The special case $\alpha = 1/2$ arises often. If the kernel is given by $k(x,s)=\frac{1}{\Gamma(1-\alpha)}$, then is a fractional integral equation of order $1-\alpha$ [@MyID:310]. This problem is a generalization of the tautochrone problem, and is related with the born of the fractional calculus of variations [@MyID:404]. For solving integral equations – of Abel type, several approaches are possible, e.g., using transformation techniques [@r3:5], orthogonal polynomials [@r3:6], integral operators [@r3:7], fractional calculus [@r3:8; @r3:9], Bessel functions [@r3:10], wavelets [@r3:12], methods based on semigroups [@r3:13; @r3:14], as well as many other techniques [@r3:16; @r3:17].

FDEs, in which an unknown function is contained under the operation of a FD, have a long history, enriched by the intensive development of the theory of fractional calculus and their applications in the last decades. Fractional ordinary differential equations have the following form: $$F\left(x, y(x), D^{\alpha_{1}}y(x), D^{\alpha_{2}}y(x), 
\ldots, D^{\alpha_{n}}y(x)\right)=g(x),$$ where $F(x, y_{1}, y_{2}, \ldots, y_{n})$ and $g(x)$ are given functions, $D^{\alpha_{k}}$ are fractional differentiation operators of real order $\alpha_{k} > 0$, $k=1, 2, \ldots, n$ [@128]. For example, one can consider nonlinear differential equations of the form $$\label{2}
D^{\alpha}y(x)=f(x, y(x))$$ with real $\alpha >0$ or complex $\alpha$, $Re(\alpha) >0$. Similarly to the investigation of ordinary differential equations, the methods for FDEs are essentially based on the study of equivalent Volterra integral equations. Equations – are examples of Volterra integral equations of first and second kinds, respectively. Several authors have developed methods to deal with fractional integro-differential equations and construct solutions for ordinary and partial differential equations, with the general goal of obtaining a unified theory of special functions [@78; @128]. In [@GorMin], analytical solutions to some linear operators of fractional integration and fractional differentiation are obtained, using Laplace transforms. The 1918 note of O’Shaughnessy and Post [@116], is one of the first references to develop a method for solving the equation $$(D^{\frac{1}{2}}y)(x)= \frac{y}{x}$$ with the Riemann–Liouville derivative. Fifteen years later, in 1933, Fujiwara considered the FDE $$(D_{+}^{\alpha}y)(x)=\left(\frac{\alpha}{x}\right)^{\alpha} y(x)$$ using the Hadamard FD of order $\alpha >0$ [@49]. Provided $f(x, y)$ is bounded in a special domain and satisfies a Lipschitz condition with respect to $y$, Pitcher and Sewell have shown in 1938 how the nonlinear FDE $$\label{12}
(D_{a+}^{\alpha}y)(x)=f(x, y(x)), \quad 
0 < \alpha < 1, \quad a \in \mathbb{R},$$ in the sense of Riemann–Liouville, can be reduced to a Volterra integral equation, proving existence and uniqueness of a continuous solution to [@117]. In 1965, Al-Bassam considered the nonlinear Cauchy-type problem of fractional order $$\label{13bis}
\begin{gathered}
(D_{a+}^{\alpha}y)(x)=f(x, y(x)), \quad 0 < \alpha < 1, \quad a \in \mathbb{R},\\
(D_{a+}^{\alpha-1}y)(x)/(x=a) 
= (I_{a+}^{1-\alpha}y)(x)/(x=a) =b_{1},\,\, b_{1} \in \mathbb{R}.
\end{gathered}$$ Similarly as before, he applied the method of successive approximations to the equivalent reduced Volterra integral equation and the contraction mapping method, establishing existence of a unique solution [@3]. In 1978, Al-Abedeen and Arora considered the problem $$(D_{a+}^{\alpha}y)(x)=f(x, y(x)), 
\quad (I_{a+}^{1-\alpha}y)(c)=y_{0},
\quad a<c<b, \quad y_{0} \in  \mathbb{R},$$ with $0 < \alpha \leq 1$, and proved an existence and uniqueness result for the corresponding Volterra nonlinear integral equation [@al2]. On the basis of Picard method and Schauder’s fixed point theorem, Tazali obtained in 1982 two local existence results of a continuous solution to [@133]. Interestingly, more general existence and uniqueness results than the ones of [@133], also obtained using a fixed point theorem and equivalent nonlinear integral formulations, have been published in 1977 by Leskovskiĭ[@83]. Similar results, on the basis of fixed-point theorems and integral equations, were derived by Semenchuk in 1982 [@132]. In 1988 [@37], El-Sayed examined problem on a finite interval where the FD is considered in the sense of Gelfand and Shilov [@51]. Hadid, in 1995, used a fixed point theorem to prove existence of a solution to the corresponding integral equation of [@60]. Using the contraction mapping method on a complete metric space, Hayek et al. established in 1999 existence and uniqueness of a continuous solution to the Cauchy-type problem described by the following system of FDEs: $$(D_{0+}^{\alpha}y)(x)=f(x, y(x)), 
\quad y(a)=b, \quad 0 < \alpha \leq 1, 
\quad a>0, \quad b\in \mathbb{R}^{n}$$ [@65]. In 2000, Kilbas, Bonilla and Trujillo studied the Cauchy-type problem $$\begin{gathered}
(D_{a+}^{\alpha}y)(x)=f(x, y(x)), 
\quad n-1 < \alpha \leq n, \quad n=-[-\alpha],\\
(D_{a+}^{\alpha-k)}y)(x)/(x=a)  =b_{k},
\quad b_{k} \in \mathbb{R}, \quad k=1, 2, \ldots, n,\end{gathered}$$ with complex $\alpha$, $\alpha \in \mathbb{C}$ with $Re(\alpha)>0$, on a finite interval $[a, b]$ [@69]. By using the method of successive expansions and Avery–Henderson and Leggett–Williams multiple fixed point theorems on cones, they proved existence of multiple positive solutions for the corresponding nonlinear Volterra integral equation [@69]. See also [@Trujillo]. It should be noted, however, that in some function spaces the proof of equivalence between solutions of Cauchy-type problems for FDEs and corresponding reduced Volterra integral equations constitute a major difficulty [@MR3557873]. For more recent results, we refer the reader to [@MR2962045]. The techniques are, however, similar to the ones already mentioned, being detailed in what follows.

Fundamental results {#section2}
===================

Let $C([0,T])$ be the space of all continuous functions on $[0,T]$. The following three auxiliary lemmas are particularly useful for our purposes.

\[lem2.2\] Let $M$ be a subset of $C([0,T])$. Then $M$ is precompact if and only if the following conditions hold:

1.  $\{u(t):u \in M\}$ is uniformly bounded,

2.  $\{u(t):u \in M\}$ is equicontinuous on $[0,T]$.

\[lem2.3 \] Let $U$ be a closed bounded convex subset of a Banach space $X$. If $T:U\to U$ is completely continuous, then $T$ has a fixed point in $U$.

We also recall the following version of Gronwall’s lemma.

\[lem5.1\] Let $v:[0,b]\to [0,+\infty )$ be a real function and $w(\cdot)$ be a nonnegative, locally integrable function on $[0,b]$. Suppose that there exist $a>0$ and $0<\alpha <1$ such that $$v(t)\leq w(t)+a\int_0^{t}\frac{v(s)}{(t-s)^{\alpha }}ds.$$ Then there exists a constant $k=k(\alpha )$ such that $$v(t)\leq w(t)+ka\int_0^{t}\frac{w(s)}{(t-s)^{\alpha }}ds$$ for $t\in [0,b]$.

Nonlocal Riemann–Liouville problem {#sec:RL}
==================================

Let $0< \alpha <\frac{1}{2}$ and $X = \left( C([0,T]) , \| \cdot \| \right)$. For $ x \in C([0,T])$, define the norm $$\| x \| =  \sup_{t\in [0,T]} \{ e^{-Nt} |x(t)| \},$$ which is equivalent to the standard supremum norm for $f \in
C([0,T])$ [@sayed]. The use of this norm is technical and allows us to simplify the integral calculus. By $L^{1}([0,T],
\mathbb{R})$, we denote the set of Lebesgue integrable functions on $[0,T]$. We consider problem with the following assumptions:

-    $f: \mathbb{R}^{+}\rightarrow \mathbb{R}^{+}$ is a Lipschitz continuous function with Lipschitz constant $L_{f}$ such that $c_{1} \leq f(u) \leq c_{2}$, with $c_{1}, c_{2}$ two positive constants;

-    $h$ is continuous on $(0, T)$ with $h \in L^{\infty}(0, T)$.

Our first result asserts existence of a unique solution to on $C(\mathbb{R}^{+})$ of form $$\label{eq41}
\begin{split}
u(t) &= I^{2\alpha} \left\{\frac{\lambda f(u)}{\left(
\int_{0}^{T} f(u)\,dx\right)^{2}}+ h(t) \right\}\\
&= \int_0^t\frac{(t-s)^{2 \alpha-1}}{\Gamma(2\alpha)}
\left\{\frac{\lambda f(u)}{\left( \int_{0}^{T} f(u)\, dx\right)^{2}}
+ h(s) \right\}  ds.
\end{split}$$

Existence and Uniqueness
------------------------

We begin proving equivalence between and on the space $C(\mathbb{R}^{+})$. This restriction of the space of functions allows to exclude from the proof a stationary function with Riemann–Liouville derivative of order $2\alpha$ equal to $d \cdot t^{2\alpha-1}$, $d\in \mathbb{R}$, which belongs to the space $C_{1-2\alpha}[0, T]$ of continuous weighted functions.

\[m:lema1\] Suppose that $\alpha \in (0, \frac{1}{2})$. Then the nonlocal problem is equivalent to the integral equation on the space $C(\mathbb{R}^{+})$.

\[thm11\] Let $f$ and $h$ satisfy hypotheses $(H_1)$ and $(H_2)$. Then there exists a unique solution $u \in X $ of for all $0 < \lambda < \frac{N^{2 \alpha}}{L_{f}
\left(\frac{1}{\left(c_{1}T\right)^{2}}
+ \frac{2c_{2}^{2}T}{\left(c_{1}T\right)^{4}} e^{NT}\right)}$.

Let $F : X  \to  X $ be defined by $$Fu= I^{2 \alpha} \left\{ \frac{\lambda f(u)}{\left(
\int_{0}^{T} f(u)\, dx\right)^{2}}+ h(t) \right\}.$$ For a well Chosen $\lambda >0$ we can prove that the map $ F : X \to X $ is a contraction and it has a fixed point $u=Fu$. Hence, there exists a unique $u \in X$ that is the solution to the integral equation . The result follows from Lemma \[m:lema1\].

Boundedness
-----------

We now show that the assumption that electrical conductivity $f(u)$ is bounded (hypothesis $(H_1)$) allows to assert boundedness of $u$.

\[thm:bnd\] Under hypotheses $(H_1)$ and $(H_2)$ and $\lambda
> 0$, if $u$ is the solution of , then $$\|u \| \leq  \frac{\left(
\frac{\lambda}{(c_{1}T)^{2}}f(0)+h_{\infty}\right)}{N^{2 \alpha}}
e^{\frac{\lambda L_{f}}{(c_{1}TN^{\alpha})^{2}}}.$$

For more details on the subject see [@sidiammi1].

Nonlocal Caputo thermistor problem {#sec:Cap}
==================================

Now, our main goal consists to prove global existence of solutions for a fractional Caputo nonlocal thermistor problem. Precisely, we consider the following fractional order initial value problem: $$\label{13}
\begin{gathered}
^{C}D^{2 \alpha}_{0+} u(t) = \frac{\lambda f(t, u(t))}{\left(
\int_{0}^{t}f(x, u(x))\, dx\right)^{2}} \, ,
\quad  t \in  (0, \infty)  \, , \\
u(t)|_{t=0}=u_0,
\end{gathered}$$ where $^{C}D^{2 \alpha}_{0+}$ is the fractional Caputo derivative operator of order $2 \alpha$ with $0 < \alpha < \frac{1}{2}$ a real parameter. We shall assume the following hypotheses:

-    $f: \mathbb{R}^{+} \times \mathbb{R}^{+}\rightarrow \mathbb{R}^{+}$ is a Lipschitz continuous function with Lipschitz constant $L_{f}$ with respect to the second variable such that $c_{1} \leq f(s,u) \leq c_{2}$ with $c_{1}$ and $c_{2}$ two positive constants;

-    there exists a positive constant $M$ such that $f(s, u) \leq M s^{2}$;

-    $|f(s, u)- f(s, v) | \leq  s^{2} |u-v|$ or, in a more general manner, there exists a constant $\omega \geq 2$ such that $|f(s,u)- f(s,v) | \leq  s^{\omega} |u-v|$.

Local existence theorem {#section33}
-----------------------

In this subsection, a local existence theorem of solutions for is obtained by applying Schauder’s fixed point theorem. In order to transform into a fixed point problem, we give in the following lemma an equivalent integral form of .

\[lem2.1\] Suppose that $(H_1)$–$(H_3)$ holds. Then the initial value problem is equivalent to $$\label{23}
u(t)=u_0+\frac{\lambda}{\Gamma (2\alpha )}\int_0^{t}(t-s)^{2\alpha-1}
\frac{f(s, u(s))}{\left( \int_{0}^{t}f(x, u)\,  dx\right)^{2}}  ds.$$

It is a simple exercise to see that $u$ is a solution of the integral equation if and only if it is also a solution of the IVP .

\[thm3.1\] Suppose that conditions $(H_1)$–$(H_3)$ are verified. Then, has at least one solution $u\in C[0,h]$ for some $T\geq h>0$.

Let $$E=\left\{ u\in C[0,T]:\| u-u_0\|_{C[0,T]}
=\sup_{0 \leq t\leq T}| u-u_0| \leq b\right\},$$ where $b$ is a positive constant. Further, put $$D_{h}=\left\{ u:u\in C[0,h],\ \| u-u_0\| _{C[0,h]} \leq b\right\},$$ where $$h=\min \left\{ \left (b \left(\frac{ \lambda M }{
\Gamma(2 \alpha+1) c_{1}^{2}}\right)^{-1}\right)^{\frac{1}{2 \alpha}},T\right\}$$ and $ 0< \alpha < \frac{1}{2}$. It is clear that $h \leq T$. Note also that $D_{h}$ is a nonempty, bounded, closed, and convex subset of $C[0,h]$. In order to apply Schauder’s fixed point theorem, we define the following operator $A$: $$\label{33}
(Au)(t)=u_0+\frac{\lambda}{\Gamma (2\alpha )}
\int_0^{t}(t-s)^{2\alpha-1}\frac{f(s, u(s))}{\left(
\int_{0}^{t}f(x, u)\,  dx\right)^{2}}  ds,\quad t\in [0,h].$$ It is clear that all solutions of are fixed points of . Then, by assumptions $(H_1)$ and $(H_2)$, it follows that $AD_{h}\subset D_{h}$. Our next step, in order to prove Theorem \[thm3.1\], consists to use the following two technical lemmas.

\[lemma:in1\] The operator $A$ is continuous.

\[lemma:in2\] The operator $AD_{h}$ is continuous.

One can prove that $\{(Au)(t):u\in D_{h}\}$ is equicontinuous. Taking into account that $AD_{h}\subset D_{h}$, we infer that $AD_{h}$ is precompact. This implies that $A$ is completely continuous. As a consequence of Schauder’s fixed point theorem and Lemma \[lem2.1\], we conclude that problem has a local solution. This ends the proof of Theorem \[thm3.1\].

Continuation results {#section43}
--------------------

Now we give a continuation theorem for the fractional Caputo nonlocal thermistor problem . First, we present the definition of noncontinuable solution.

\[def4.1\] Let $u(t)$ on $(0,\beta )$ and $\tilde{u}(t)$ on $(0,\tilde{\beta})$ be both solutions of . If $\beta <\tilde{\beta}$ and $u(t)=\tilde{u}(t)$ for $t\in (0,\beta )$, then we say that $\tilde{u}(t)$ can be continued to $(0,\tilde{\beta})$. A solution $u(t)$ is noncontinuable if it has no continuation. The existing interval of the noncontinuable solution $u(t)$ is called the maximum existing interval of $u(t)$.

\[thm4.1\] Assume that conditions $(H_1)$–$(H_3)$ are satisfied. Then $u=u(t)$, $t\in (0,\beta )$, is noncontinuable if and if only for some $\eta \in \left(0,\frac{\beta }{2}\right)$ and any bounded closed subset $S\subset [\eta ,+\infty )\times\mathbb{R}$ there exists a $t^{\ast }\in [ \eta ,\beta )$ such that $(t^{\ast},u(t^{\ast }))\notin S$.

Suppose that there exists a compact subset $S\subset [ \eta,+\infty )\times\mathbb{R}$ such that $$\left\{ (t,u(t)):t\in [ \eta ,\beta )\right\} \subset S.$$ Compactness of $S$ implies $\beta <+\infty $. The proof follows from Lemmas \[insTh2:lem1\] and \[insTh2:lem2\].

\[insTh2:lem1\] The limit $\lim_{t\to \beta ^{-}}u(t)$ exists.

The proof is based on the Cauchy’s convergence criterion.

The second step of the proof of Theorem \[thm4.1\] consists to show the following result.

\[insTh2:lem2\] Function $u(t)$ is continuable.

As $S$ is a closed subset, we can say that $(\beta ,u^{\ast })\in S$. Define $u(\beta )=u^{\ast }$. Hence, $u(t)\in C[0,\beta ]$. Then we define the operator $K$ by $$(Kv)(t)=u_1+\frac{\lambda}{\Gamma (2 \alpha )}\int_{\beta }^{t}(t-s)^{2
\alpha-1} \frac{ f(s, v(s))}{\left( \int_{0}^{t}f(x, v)\, dx\right)^{2}} ds,$$ where $$u_1=u_0+\frac{\lambda}{\Gamma (2\alpha )}\int_0^{\beta }(t-s)^{2\alpha-1}
\frac{ f(s, v(s))}{\left( \int_{0}^{t}f(x, v)\, d x\right)^{2}} ds,$$ $v \in C([\beta ,\beta +1])$, $t\in [ \beta ,\beta+1]$. Set $$E_{b}=\left\{ (t,v):\beta \leq t\leq \beta +1,| v|
\leq \max_{\beta \leq t\leq \beta +1}| u_1(t)| +b\right\}$$ and $$E_{h}=\left\{ v\in C[\beta ,\beta +1]:\max_{t\in [ \beta ,\beta+h]}| v(t)-u_1(t)|
\leq b,v(\beta )=u_1(\beta)\right\},$$ where $h=\min\left\{ \left (b \left(\frac{ \lambda M}{\Gamma(2 \alpha +1 )
c_{1}^{2}} \right )^{-1}\right)^{\frac{1}{2 \alpha}},1\right\}$. Similarly to the proof of Theorem \[thm3.1\], we show that $K$ is completely continuous on $E_{b}$, which yields that operator $K$ is continuous. We show that $KE_{h}$ is equicontinuous. Consequently, $K$ is completely continuous. Then, Schauder’s fixed point theorem can be applied to obtain that operator $K$ has a fixed point $\tilde{u}(t)\in E_{h}$. On other words, we have $$\begin{aligned}
\tilde{u}(t)
&= u_1+\frac{\lambda}{\Gamma (2\alpha )}\int_{\beta}^{t}
(t-s)^{2\alpha -1} \frac{ f(s, \tilde{u}(s))}{\left(
\int_{0}^{t}f(x, \tilde{u}(x))\, dx\right)^{2}} ds\\
&= u_0+\frac{\lambda}{\Gamma (2\alpha )}
\int_0^{t}(t-s)^{2\alpha -1} \frac{ f(s, \tilde{u}(s))}{\left(
\int_{0}^{t}f(x, \tilde{u}(x))\, dx\right)^{2}} ds,
\end{aligned}$$ $t\in [ \beta ,\beta +h]$, where $$\tilde{u}(t)=\begin{cases}
u(t), & t\in (0,\beta ] \\
\tilde{u}(t), & t\in [ \beta ,\beta +h].
\end{cases}$$ It follows that $\tilde{u}(t)\in C[0,\beta +h]$ and $$\tilde{u}(t)=u_0+\frac{\lambda}{\Gamma (2\alpha )}
\int_0^{t}(t-s)^{2\alpha-1}\frac{ f(s, \tilde{u}(s))}{\left(
\int_{0}^{t}f(x, \tilde{u}(x))\, dx\right)^{2}} ds.$$ Therefore, according to Lemma \[lem2.1\], $\tilde{u}(t)$ is a solution of on $(0,\beta +h]$. This is absurd because $u(t)$ is noncontinuable. This completes the proof of Lemma \[insTh2:lem2\].

Similarly to Theorem \[thm11\], uniqueness of solution to problem is derived from the proof of Theorem \[thm4.1\] for a well chosen $\lambda$.

Global existence of solutions {#section53}
-----------------------------

Now we provide two sets of sufficient conditions for the existence of a global solution for (Theorems \[thm5.2\] and \[thm5.2b\]). We begin with an auxiliary lemma.

\[thm5.1\] Suppose that conditions $(H_1)$–$(H_3)$ hold. Let $u(t)$ be a solution of on $(0,\beta )$. If $u(t)$ is bounded on $[\tau ,\beta )$ for some $\tau >0$, then $\beta =+\infty$.

Follows immediately from the results of Subsection \[section43\].

\[thm5.2\] Suppose that conditions $(H_1)$–$(H_3)$ hold. Then has a solution in $C([0,+\infty ))$.

The existence of a local solution $u(t)$ of is ensured thanks to Theorem \[thm3.1\]. We already know, by Lemma \[lem2.1\], that $u(t)$ is a also a solution to the integral equation $$u(t)=u_0+\frac{\lambda}{\Gamma (2\alpha )}\int_0^{t}(t-s)^{2\alpha
-1}\frac{ f(s, u(s))}{\left( \int_{0}^{t}f(x, u(x))\, dx\right)^{2}}ds.$$ Suppose that the existing interval of the noncontinuable solution $u(t)$ is $(0,\beta)$, $\beta<+\infty$. Then, $$\begin{aligned}
|u(t)|
&= \left| u_0+\frac{\lambda}{\Gamma (2\alpha)}
\int_0^{t}(t-s)^{2\alpha -1}\frac{ f(s, u(s))}{\left(
\int_{0}^{t}f(x, u(x))\, dx\right)^{2}}ds\right| \\
& \leq |u_0|+ \frac{\lambda}{\Gamma (2\alpha )} \frac{1}{(c_{1}t)^{2}}
\int_0^{t}(t-s)^{2\alpha -1}\left| f(s, u(s))\right|ds\\
&\leq |u_0| + \frac{\lambda }{\Gamma (2\alpha )}
\frac{1}{c_{1}^{2}} \int_0^{t} \frac{|u(s)|}{(t-s)^{1- 2\alpha}} ds.\end{aligned}$$ By Lemma \[lem2.1\], there exists a constant $k(\alpha)$ such that, for $t\in (0, \beta)$, we have $$\begin{aligned}
| u(t)| & \leq |u_0| + k |u_0|\frac{\lambda }{\Gamma (2\alpha )}
\frac{1}{c_{1}^{2}} \int_0^{t} (t-s)^{2\alpha-1} ds,\end{aligned}$$ which is bounded on $(0, \beta)$. Thus, by Lemma \[thm5.1\], problem has a solution $u(t)$ on $(0,+\infty )$.

Next we give another sufficient condition ensuring global existence for .

\[thm5.2b\] Suppose that there exist positive constants $c_{3}$, $c_{4}$ and $c_{5}$ such that $c_{3} \leq |f(s, x)|\leq c_{4}|x|+ c_{5}$. Then has a solution in $C([0,+\infty ))$.

Suppose that the maximum existing interval of $u(t)$ is $(0,\beta )$, $\beta<+\infty$. We claim that $u(t)$ is bounded on $[\tau ,\beta )$ for any $\tau \in (0,\beta )$. Indeed, we have $$\begin{aligned}
|u(t)|
&= \left| u_0+\frac{\lambda}{\Gamma (2\alpha )}
\int_0^{t}(t-s)^{2\alpha -1}\frac{ f(s, u(s))}{\left(
\int_{0}^{t}f(x, u(x))\, dx\right)^{2}}ds\right| \\
&\leq |u_0|+\frac{\lambda}{\Gamma (2\alpha )}
\frac{c_{3}}{(c_{1}\tau)^{2}}\int_0^{t}(t-s)^{2\alpha -1} ds
+ \frac{\lambda }{\Gamma (2\alpha )} \frac{c_{2}}{(c_{1}\tau)^{2}}
\int_0^{t}  \frac{|u(s)|}{(t-s)^{1- 2\alpha}} ds.\end{aligned}$$ If we take $$w(t)=|u_0|+ \frac{\lambda}{\Gamma (2\alpha )}
\frac{c_{3}}{(c_{1}\tau)^{2}}\int_0^{t}(t-s)^{2\alpha -1}ds,$$ which is bounded, and $$a=\frac{\lambda c_{2}}{\Gamma (2\alpha )} \frac{1}{(c_{1}\beta)^{2}},$$ it follows, according with Lemma \[lem5.1\], that $v(t)=|u(t)|$ is bounded. Thus, by Lemma \[thm5.1\], problem has a solution $u(t)$ on $(0,+\infty )$.

For more details on the subject, see [@sidiammi3; @MR3736617; @sidiammi1; @sidiammi2; @GL].

Fractional problems on arbitrary time scales {#sec:ts}
============================================

Throughout the reminder of this chapter, we denote by $\mathbb{T}$ a time scale, which is a nonempty closed subset of $\mathbb{R}$ with its inherited topology. For convenience, we make the blanket assumption that $t_{0}$ and $T$ are points in $\mathbb{T}$. Our main concern is to prove existence and uniqueness of solution to a fractional order nonlocal thermistor problem of the form $$\label{eq12}
\begin{gathered}
^{\mathbb{T}}D^{2 \alpha}_{t_{0+}} u(t)
= \frac{\lambda f(u(t))}{\left(\int_{t_{0}}^{T} f(u(x))\, \triangle x\right)^{2}}
\, , \quad  t \in (t_{0}, T)  \, , \\
^{\mathbb{T}}I_{t_{0+}}^{\beta}u(t_{0})=0,
\quad    \forall \, \beta \in  (0, 1),
\end{gathered}$$ under suitable conditions on $f$ as described below. We assume that $\alpha \in (0,1)$ is a parameter describing the order of the FD; $^{\mathbb{T}}D^{2 \alpha}_{t_{0+}}$ is the left Riemann–Liouville FD operator of order $2 \alpha$ on $\mathbb{T}$; $^{\mathbb{T}}I^{\beta}_{t_{0+}}$ is the left Riemann–Liouville FI operator of order $\beta$ defined on $\mathbb{T}$ by [@MyID:328] (see Section \[section22\], where these definitions and main properties of the fractional operators on time scales are recalled). As before, $u$ may be interpreted as the temperature inside the conductor and $f(u)$ the electrical conductivity of the material.

In the literature, many existence results for dynamic equations on time scales are available [@dogan1; @dogan2]. In recent years, there has been also significant interest in the use of FDEs in mathematical modeling [@MR3370824; @MR3529931; @MR3535730]. 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 [@ahmad]. Here we give existence and uniqueness results for the fractional order nonlocal thermistor problem on time scales , putting together time scale and fractional domains. According with [@MR3323914; @MyID:358; @MR3498485], this is quite appropriate from the point of view of practical applications. Our main aim is to prove existence of solutions for using a fixed point theorem and, consequently, uniqueness (see Theorems \[thm12\] and \[corollary2\]). For more details see [@MyID:365].

Fractional calculus on time scales {#section22}
----------------------------------

We deal with the notions of Riemann–Liouville FIs and FDs on time scales, the so called BHT fractional calculus on time scales [@MyID:358]. For local approaches, we refer the reader to [@ben; @MyID:320]. Here we are interested in nonlocal operators, which are the ones who make sense with respect to thermistor-type problems [@MR2397904; @MR2980253]. Although we restrict ourselves to the delta approach on time scales, similar results are trivially obtained for the nabla fractional case [@MyID:224].

\[def12\] Let $\mathbb{T}$ be a time scale and $[a, b]$ an interval of $\mathbb{T}$. Then the left fractional integral on time scales of order $ 0 < \alpha <1$ of a function $g: \mathbb{T} \rightarrow \mathbb{R}$ is defined by $$^{\mathbb{T}}I^{\alpha}_{a+} g(t)
= \int_a^t \frac{(t - s)^{ \alpha-1}}{\Gamma( \alpha)} g(s)\, \triangle s,$$ where $\Gamma $ is the Euler gamma function.

The left Riemann–Liouville FD operator of order $\alpha$ on time scales is then defined using Definition \[def12\] of FI.

\[def22\] Let $\mathbb{T}$ be a time scale, $[a, b]$ an interval of $\mathbb{T}$, and $\alpha \in (0,1)$. Then the left Riemann–Liouville FD on time scales of order $\alpha$ of a function $g: \mathbb{T} \rightarrow \mathbb{R}$ is defined by $$^{\mathbb{T}}D^{\alpha}_{a+} g(t)
= \left (\int_a^t \frac{(t - s)^{ -\alpha}}{\Gamma(1- \alpha)}
g(s)\, \triangle s \right)^{\triangle}.$$

If $\mathbb{T}= \mathbb{R}$, then we obtain from Definitions \[def12\] and \[def22\], respectively, the usual left Rieman–Liouville FI and FD.

Let $\mathbb{T}$ be a time scale, $g: \mathbb{T} \rightarrow \mathbb{R}$ and $0< \alpha < 1$. Then $${^{\mathbb{T}}D}^{\alpha}_{a+} g
= \triangle \circ {^{\mathbb{T}}I}^{1- \alpha}_{a+} g.$$

If $\alpha >0$ and $g \in C([a, b])$, then $$^{\mathbb{T}}D^{\alpha}_{a+}
\circ {^{\mathbb{T}}I}^{\alpha}_{a+}g= g.$$

\[prop:I:D\] Let $g \in C([a, b])$, $0 <\alpha < 1$. If ${^{\mathbb{T}}I}^{1-\alpha}_{a+} u(a)=0$, then $$^{\mathbb{T}}I^{\alpha}_{a+}
\circ {^{\mathbb{T}}D}^{\alpha}_{a+}g= g.$$

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

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

\[proposition252\] Let $\mathbb{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{cases}
g(s) & \mbox{ if } s \in \mathbb{T},\\
g(t) &  \mbox{ if } s \in (t, \sigma(t)) \notin  \mathbb{T},
\end{cases}$$ then $$\int_{a}^{b} g(t) \triangle t \leq  \int_{a}^{b} G(t)  dt,$$ where $\sigma: \mathbb{T} \rightarrow \mathbb{T}$ is the forward jump operator of $\mathbb{T}$ defined by $$\sigma(t):= \inf \{ s \in \mathbb{T}: s > t\}.$$

Existence
---------

We begin by giving an integral representation to our problem . Note that the case $0<\alpha<\frac{1}{2}$ is coherent with our fractional operators with $2 \alpha -1 < 0$.

Let $ 0< \alpha < \frac{1}{2}$. Problem is equivalent to $$\label{eq22}
u(t) = \frac{\lambda}{\Gamma (2 \alpha )} \int_{t_{0}}^{t} (t-s)^{2 \alpha -1}
\frac{f(u(s))}{\left(\int_{t_{0}}^{T} f(u)\, \triangle x\right)^{2}} \triangle s.$$

We have $$\begin{split}
^{\mathbb{T}}D^{2 \alpha}_{t_{0+}} u(t)
&=  \frac{\lambda}{\Gamma ( 2 \alpha )} \left(
\int_{t_{0}}^{t} (t-s)^{2 \alpha -1} \frac{f(u(s))}{\left(
\int_{t_{0}}^{T} f(u)\, \triangle x\right)^{2}}\triangle s\right )^{\triangle}\\
&= \left( ^{\mathbb{T}}I^{1- 2 \alpha}_{t_{0+}} u(t) \right )^{\triangle}
= \left(\triangle \, \circ \, ^{\mathbb{T}}I^{1- 2 \alpha}_{t_{0+}} \right) u(t).
\end{split}$$ The result follows from Proposition \[prop:I:D\]: $^{\mathbb{T}}I^{2 \alpha}_{t_{0+}}  \circ
\left ( ^{\mathbb{T}}D^{ 2 \alpha}_{t_{0+}} (u) \right) = u$.

For the sake of simplicity, we take $t_{0}=0$. It is easy to see that has a solution $u=u(t)$ if and only if $u$ is a fixed point of the operator $K: X \rightarrow X $ defined by $$\label{eq32}
Ku(t)=  \frac{\lambda}{\Gamma ( 2 \alpha )} \int_{0}^{t} (t-s)^{2 \alpha -1}
\frac{f(u(s))}{\left(\int_{0}^{T} f(u)\, \triangle x\right)^{2}} \triangle s.$$

To prove existence of solution, we begin by showing that the operator $K$ defined by verifies the conditions of Schauder’s fixed point theorem.

\[m:lema2\] The operator $K$ is continuous.

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

Operator $K$ sends bounded sets into equicontinuous sets of $\mathbb{C}(I, \mathbb{R})$.

It follows by Schauder’s fixed point theorem that has a solution on $I$. We have just proved Theorem \[thm12\].

\[thm12\] Let $ 0< \alpha < \frac{1}{2}$ and $f$ satisfies hypothesis $(H_1)$. Then there exists a solution $u \in X $ of for all $\lambda > 0$.

Uniqueness
----------

We now derive uniqueness of solution to problem .

\[corollary2\] Let $ 0< \alpha < \frac{1}{2}$ and $f$ be a function satisfying the hypothesis $(H_1)$. If $$0 < \lambda <  \left(
\frac{ T^{2 \alpha}L_{f}}{(c_{1}T)^{2}\Gamma (2 \alpha +1 )}
+ \frac{2 c_{2}^{2}T^{2(\alpha +1)}
L_{f}}{(c_{1}T)^{4}\Gamma (2 \alpha+1 )} \right)^{-1},$$ then the solution predicted by Theorem \[thm12\] is unique.

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$ solution of .

Conclusion {#sec:conc}
==========

We gave a survey on methods and results based on the reduction of FDEs to integral equations. As an example, we have reviewed the main results and proof techniques of [@MR3736617; @sidiammi1; @MyID:365]. The employed mathematical techniques are quite general and effective, and can be used to cover a wide class of integral equations of fractional order. We trust the theoretical results here reported will have a positive impact on the development of computer methods for integral equations of fractional order.

the authors are grateful to the R&D unit UID/MAT/04106/2013 (CIDMA) and to two anonymous referees for constructive comments.

[00]{}

S. Abbas, Existence of solutions to fractional order ordinary and delay differential equations and applications, [*Electron. J. Differential Equations*]{} [**2011**]{} (2011), no. 9, 11 pp.

S. Abbas, M. Benchohra and G. M. N’Guérékata, [*Topics in fractional differential equations*]{}, Developments in Mathematics, 27, Springer, New York, 2012.

R. P. Agarwal, D. Baleanu, J. J. Nieto, D. F. M. Torres and Y. Zhou, A survey on fuzzy fractional differential and optimal control nonlocal evolution equations, [*J. Comput. Appl. Math.*]{} [**339**]{} (2018), 3–29. [arXiv:1709.07766]{}

R. P. Agarwal and M. Bohner. Basic calculus on time scales and some of its applications, [*Results Math.*]{} [**35**]{} (1999), no. 1-2, 3–22.

R. Agarwal, M. Bohner, D. O’Regan and A. Peterson, Dynamic equations on time scales: a survey, [*J. Comput. Appl. Math.*]{} [**141**]{} (2002), no. 1-2, 1–26.

M. P. Aghababa, Fractional modeling and control of a complex nonlinear energy supply-demand system, [*Complexity*]{} 20 (2015), no. 6, 74–86.

A. Ahmadkhanlu and M. Jahanshahi, On the existence and uniqueness of solution of initial value problem for fractional order differential equations on time scales, [*Bull. Iranian Math. Soc.*]{} [**38**]{} (2012), no. 1, 241–252.

A. Z. Al-Abedeen and H. L. Arora, A global existence and uniqueness theorem for ordinary differential equations of generalized order, [*Canad. Math. Bull.*]{} [**21**]{} (1978), no. 3, 267–271.

M. A. Al-Bassam, Some existence theorems on differential equations of generalized order, [*J. Reine Angew. Math.*]{} [**218**]{} (1965), 70–78.

R. Almeida, D. Tavares and D. F. M. Torres, [*The variable-order fractional calculus of variations*]{}, SpringerBriefs in Applied Sciences and Technology, Springer, Cham, 2019. [arXiv:1805.00720]{}

A. Antoniadis, J. Fan and I. Gijbels, A wavelet method for unfolding sphere size distributions, [*Canad. J. Statist.*]{} [**29**]{} (2001), no. 2, 251–268.

A. Arara, M. Benchohra, N. Hamidi and J. J. Nieto, Fractional order differential equations on an unbounded domain, [*Nonlinear Anal.*]{} [**72**]{} (2010), no. 2, 580–586.

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

N. R. O. Bastos, R. A. C. Ferreira and D. F. M. Torres, Necessary optimality conditions for fractional difference problems of the calculus of variations, [*Discrete Contin. Dyn. Syst.*]{} [**29**]{} (2011), no. 2, 417–437. [arXiv:1007.0594]{}

N. R. O. Bastos, R. A. C. Ferreira and D. F. M. Torres, Discrete-time fractional variational problems, [*Signal Process.*]{} [**91**]{} (2011), no. 3, 513–524. [arXiv:1005.0252]{}

N. R. O. Bastos, D. Mozyrska and D. F. M. Torres, Fractional derivatives and integrals on time scales via the inverse generalized Laplace transform, Int. J. Math. Comput. [**11**]{} (2011), J11, 1–9. [arXiv:1012.1555]{}

N. Benkhettou, A. M. C. Brito da Cruz and D. F. M. Torres, A fractional calculus on arbitrary time scales: fractional differentiation and fractional integration, [*Signal Process.*]{} [**107**]{} (2015), 230–237. [arXiv:1405.2813]{}

N. Benkhettou, A. M. C. Brito da Cruz and D. F. M. Torres, Nonsymmetric and symmetric fractional calculi on arbitrary nonempty closed sets, [*Math. Methods Appl. Sci.*]{} [**39**]{} (2016), no. 2, 261–279. [arXiv:1502.07277]{}

N. Benkhettou, A. Hammoudi and D. F. M. Torres, Existence and uniqueness of solution for a fractional [R]{}iemann–[L]{}iouville initial value problem on time scales, [*J. King Saud Univ. Sci.*]{} [**28**]{} (2016), no. 1, 87–92. [arXiv:1508.00754]{}

M. Bohner and A. Peterson, [*Dynamic equations on time scales*]{}, Birkhäuser Boston, Inc., Boston, MA, 2001.

A. Chidouh and D. F. M. Torres, A generalized Lyapunov’s inequality for a fractional boundary value problem, [*J. Comput. Appl. Math.*]{} [**312**]{} (2017), 192–197. [arXiv:1604.00671]{}

I. J. D. Craig and J. C. Brown, [*Inverse problems in astronomy*]{}, Adam Hilger, Ltd., Bristol, 1986.

J. Cronin, [*Differential equations*]{}, Marcel Dekker, Inc., New York, 1994.

H.-S. Ding, M.-M. Liu and J. J. Nieto, Multiple positive solutions for quadratic integral equations of fractional order, [*J. Funct. Spaces*]{} [**2017**]{} (2017), Art. ID 4571067, 8 pp.

A. Dogan, Existence of three positive solutions for an [$m$]{}-point boundary-value problem on time scales, [*Electron. J. Differential Equations*]{} [**149**]{} (2013), 10 pp.

A. Dogan, Existence of multiple positive solutions for [$p$]{}-[L]{}aplacian multipoint boundary value problems on time scales, [*Adv. Difference Equ.*]{} [**2013**]{} (2013), no. 238, 23 pp.

A. M. A. El-Sayed, Fractional differential equations, [*Kyungpook Math. J.*]{} [**28**]{} (1988), no. 2, 119–122.

M. Fujiwara, On the integration and differentiation of an arbitrary order, [*Tohoku Math. J.*]{} [**37**]{} (1933), 110–121.

I. M. Gelfand and G. E. Shilov, [*Generalized functions. Vol. 1*]{}, translated from the Russian by Eugene Saletan, Academic Press, New York, 1964 \[1977\].

I. M. Gelfand and K. Vilenkin, [*Generalized Functions*]{}, vol. 1, Academic Press, New York. NY, USA, 1964.

E. Girejko and D. F. M. Torres, The existence of solutions for dynamic inclusions on time scales via duality, [*Appl. Math. Lett.*]{} [**25**]{} (2012), no. 11, 1632–1637. [arXiv:1201.4495]{}

R. Gorenflo, Abel integral equations with special emphasis on applications, Lectures in Mathematical Sciences Vol. 13, The University of Tokyo, Graduate School of Mathematical Sciences, 1996.

R. Gorenflo, The tomato salad problem in spherical stereology, in [*Transform methods & special functions, Varna ’96*]{}, 132–149, Bulgarian Acad. Sci., Sofia, 1998.

R. Gorenflo, The tomato salad problem in spherical stereology, in [*Ill-posed and inverse problems*]{}, 127–144, VSP, Zeist, 2002.

R. Gorenflo and F. Mainardi, Fractional calculus: integral and differential equations of fractional order, in [*Fractals and fractional calculus in continuum mechanics (Udine, 1996)*]{}, 223–276, CISM Courses and Lect., 378, Springer, Vienna, 1997.

R. Gorenflo and S. Vessella, [*Abel integral equations*]{}, Lecture Notes in Mathematics, 1461, Springer-Verlag, Berlin, 1991.

S. B. Hadid, Local and global existence theorems on differential equations of non-integer order, [*J. Fract. Calc.*]{} [**7**]{} (1995), 101–105.

J. R. Hatcher, A nonlinear boundary problem, [*Proc. Amer. Math. Soc.*]{} [**95**]{} (1985), no. 3, 441–448.

N. Hayek, J. Trujiilo, M. Rivero, B. Bonilla and J. C. Moreno, An extension of Picard-Lindelöff theorem to fractional differential equations, [*Appl. Anal.*]{} [**70**]{} (1999), no. 3-4, 347–361.

J. Henderson and A. Ouahab, Impulsive differential inclusions with fractional order, [*Comput. Math. Appl.*]{} [**59**]{} (2010), no. 3, 1191–1226.

R. Hilfer, [*Applications of fractional calculus in physics*]{}, World Scientific Publishing Co., Inc., River Edge, NJ, 2000.

E. Hille and J. D. Tamarkin, On the theory of linear integral equations, [*Ann. of Math.*]{} (2) [**31**]{} (1930), no. 3, 479–528.

R. J. Hughes, Semigroups of unbounded linear operators in Banach space, [*Trans. Amer. Math. Soc.*]{} [**230**]{} (1977), 113–145.

K. Ito and J. Turi, Numerical methods for a class of singular integro-differential equations based on semigroup approximation, [*SIAM J. Numer. Anal.*]{} [**28**]{} (1991), no. 6, 1698–1722.

S. Jahanshahi, E. Babolian, D. F. M. Torres and A. Vahidi, Solving Abel integral equations of first kind via fractional calculus, [*J. King Saud Univ. Sci.*]{} [**27**]{} (2015), no. 2, 161–167. [arXiv:1409.8446]{}

A. A. Kilbas, B. Bonilla and J. J. Trujillo, Existence and uniqueness theorems for nonlinear fractional differential equations, [*Demonstratio Math.*]{} [**33**]{} (2000), no. 3, 583–602.

A. A. Kilbas, H. M. Srivastava and J. J. Trujillo, [*Theory and applications of fractional differential equations*]{}, Elsevier Science B.V., Amsterdam, 2006.

A. A. Kilbas and J. J. Trujillo, Differential equations of fractional order: methods, results and problems. I, [*Appl. Anal.*]{} [**78**]{} (2001), no. 1-2, 153–192.

V. Kiryakova, [*Generalized fractional calculus and applications*]{}, Pitman Research Notes in Mathematics Series, 301, Longman Scientific & Technical, Harlow, 1994.

C. Kou, H. Zhou and C. Li, Existence and continuation theorems of Riemann-Liouville type fractional differential equations, [*Internat. J. Bifur. Chaos Appl. Sci. Engrg.*]{} [**22**]{} (2012), no. 4, 1250077, 12 pp.

A. A. Lacey, Thermal runaway in a non-local problem modelling Ohmic heating. II. General proof of blow-up and asymptotics of runaway, [*European J. Appl. Math.*]{} [**6**]{} (1995), no. 3, 201–224.

V. Lakshmikantham, S. Leela and J. Vasundhara Devi, [*Theory of fractional dynamic systems*]{}, Cambridge Scientific Publishers, Cambridge, 2009.

I. P. Leskovskiĭ, On the theory of fractional differentiation, [*Differencial’nye Uravnenija*]{} [**13**]{} (1977), no. 1, 170–173.

C. Li and S. Sarwar, Existence and continuation of solutions for Caputo type fractional differential equations, [*Electron. J. Differential Equations*]{} [**2016**]{} (2016), no. 207, 14 pp.

M. Li and W. Zhao, Solving Abel’s type integral equation with Mikusinski’s operator of fractional order, [*Adv. Math. Phys.*]{} [**2013**]{} (2013), Art. ID 806984, 4 pp.

Y. Ma, X. Zhou, B. Li and H. Chen, Fractional modeling and [SOC]{} estimation of lithium-ion battery, [*IEEE/CAA J. Autom. Sin.*]{} [**3**]{} (2016), no. 3, 281–287.

J. T. Machado, F. Mainardi and V. Kiryakova, Fractional calculus: quo vadimus? ([W]{}here are we going?), [*Fract. Calc. Appl. Anal.*]{} [**18**]{} (2015), no. 2, 495–526.

A. B. Malinowska, T. Odzijewicz and D. F. M. Torres, [*Advanced methods in the fractional calculus of variations*]{}, SpringerBriefs in Applied Sciences and Technology, Springer, Cham, 2015.

N. Martins and D. F. M. Torres, Calculus of variations on time scales with nabla derivatives, [*Nonlinear Anal.*]{} [**71**]{} (2009), no. 12, e763–e773. [arXiv:0807.2596]{}

K. S. Miller and B. Ross, [*An introduction to the fractional calculus and fractional differential equations*]{}, A Wiley-Interscience Publication, John Wiley & Sons, Inc., New York, 1993.

G. N. Minerbo and M. E. Levy, Inversion of Abel’s integral equation by means of orthogonal polynomials, [*SIAM J. Numer. Anal.*]{} [**6**]{} (1969), 598–616.

E. R. Nwaeze and D. F. M. Torres, Chain rules and inequalities for the BHT fractional calculus on arbitrary time scales, [*Arab J. Math. (Springer)*]{} [**6**]{} (2017), no. 1, 13–20. [arXiv:1611.09049]{}

M. D. Ortigueira, D. F. M. Torres and J. J. Trujillo, Exponentials and Laplace transforms on nonuniform time scales, [*Commun. Nonlinear Sci. Numer. Simul.*]{} [**39**]{} (2016), 252–270. [arXiv:1603.04410]{}

L. O’Shaughnessy and E. L. Post, Solutions of Problems: Calculus: 433, [*Amer. Math. Monthly*]{} [**25**]{} (1918), no. 4, 172–173.

R. K. Pandey, O. P. Singh and V. K. Singh, Efficient algorithms to solve singular integral equations of Abel type, [*Comput. Math. Appl.*]{} [**57**]{} (2009), no. 4, 664–676.

Y. Yu, P. Perdikaris and G. E. Karniadakis, Fractional modeling of viscoelasticity in 3[D]{} cerebral arteries and aneurysms, [*J. Comput. Phys.*]{} [**323**]{} (2016), 219–242.

E. Pitcher and W. E. Sewell, Existence theorems for solutions of differential equations of non-integral order, [*Bull. Amer. Math. Soc.*]{} [**44**]{} (1938), no. 2, 100–107.

I. Podlubny, R. L. Magin and I. Trymorush, Niels Henrik Abel and the birth of fractional calculus, [*Fract. Calc. Appl. Anal.*]{} [**20**]{} (2017), no. 5, 1068–1075.

S. G. Samko, A. A. Kilbas and O. I. Marichev, [*Fractional integrals and derivatives*]{}, Gordon and Breach Science Publishers, Yverdon, 1993.

N. P. Semenchuk, A class of differential equations of nonintegral order, [*Differentsial’nye Uravneniya*]{} [**18**]{} (1982), no. 10, 1831–1833.

M. R. Sidi Ammi, E. H. El Kinani and D. F. M. Torres, Existence and uniqueness of solutions to functional integro-differential fractional equations, [*Electron. J. Differential Equations*]{} [**2012**]{} (2012), no. 103, 9 pp. [arXiv:1206.3996]{}

M. R. Sidi Ammi, I. Jamiai and D. F. M. Torres, Global existence of solutions for a fractional Caputo nonlocal thermistor problem, [*Adv. Difference Equ.*]{} [**2017**]{} (2017), no. 363, 14 pp. [arXiv:1711.00143]{}

M. R. Sidi Ammi and D. F. M. Torres, Numerical analysis of a nonlocal parabolic problem resulting from thermistor problem, [*Math. Comput. Simulation*]{} [**77**]{} (2008), no. 2-3, 291–300. [arXiv:0709.0129]{}

M. R. Sidi Ammi and D. F. M. Torres, Optimal control of nonlocal thermistor equations, [*Internat. J. Control*]{} [**85**]{} (2012), no. 11, 1789–1801. [arXiv:1206.2873]{}

M. R. Sidi Ammi and D. F. M. Torres, Existence and uniqueness of a positive solution to generalized nonlocal thermistor problems with fractional-order derivatives, [*Differ. Equ. Appl.*]{} [**4**]{} (2012), no. 2, 267–276. [arXiv:1110.4922]{}

M. R. Sidi Ammi and D. F. M. Torres, Existence of three positive solutions to some [$p$]{}-[L]{}aplacian boundary value problems, [*Discrete Dyn. Nat. Soc.*]{} [**2013**]{} (2013), Art. ID 145050, 12 pp. [arXiv:1210.5351]{}

M. R. Sidi Ammi and D. F. M. Torres, Galerkin spectral method for the fractional nonlocal thermistor problem, [*Comput. Math. Appl.*]{} [**73**]{} (2017), no. 6, 1077–1086. [arXiv:1605.07804]{}

M. R. Sidi Ammi and D. F. M. Torres, Existence and uniqueness results for a fractional Riemann-Liouville nonlocal thermistor problem on arbitrary time scales, [*J. King Saud Univ. Sci.*]{} [**30**]{} (2018), no. 3, 381–385. [arXiv:1703.05439]{}

C. E. Smith, A theorem of Abel and its application to the development of a function in terms of Bessel’s functions, [*Trans. Amer. Math. Soc.*]{} [**8**]{} (1907), no. 1, 92–106.

A. Souahi, A. Guezane-Lakoud and R. Khaldi, On some existence and uniqueness results for a class of equations of order [$0<\alpha\leq 1$]{} on arbitrary time scales, [*Int. J. Differ. Equ.*]{} [**2016**]{} (2016), Art. ID 7327319, 8 pp.

D. B. Sumner, Abel’s integral equation as a convolution transform, [*Proc. Amer. Math. Soc.*]{} [**7**]{} (1956), 82–86.

J. D. Tamarkin, On integrable solutions of Abel’s integral equation, [*Ann. of Math. (2)*]{} [**31**]{} (1930), no. 2, 219–229.

A. Z.-A. M. Tazali, Local existence theorems for ordinary differential equations of fractional order, in [*Ordinary and partial differential equations (Dundee, 1982)*]{}, 652–665, Lecture Notes in Math., 964, Springer, Berlin, 1982.

D. E. Tzanetis, Blow-up of radially symmetric solutions of a non-local problem modelling Ohmic heating, [*Electron. J. Differential Equations*]{} [**2002**]{} (2002), no. 11, 26 pp.

H. Ye, J. Gao and Y. Ding, A generalized Gronwall inequality and its application to a fractional differential equation, [*J. Math. Anal. Appl.*]{} [**328**]{} (2007), no. 2, 1075–1081.
