Existence and uniqueness results on time scales for fractional nonlocal thermistor problem in the conformable sense

We study a conformable fractional nonlocal thermistor problem on time scales. Under an appropriate nonrestrictive condition on the resistivity function, we establish existence and uniqueness results. The proof is based on the use of Schauder’s point fixed theorem.

The theory of time scales is often used for describing models that cannot be considered as exclusively continuous or exclusively discrete processes. It was first introduced by Aulbach and Stefan Hilger [8] with many applications in calculus of variations, economics, quantum calculus [4]. To find out more about the fractional calculus on a time scale, excellent references are situated in the books of Miller and Ross [22] and Podlubny [24]. The monograph of Bohner and Peterson [14] and [4,5] are considered as good bibliography for calculus on time scales.
In recent years, the notion of conformable fractional derivative, which is a natural extension of the classical derivative, was initiated in [20]. It was after extended to an arbitrary time scales in [13] generalizing the Hilger derivative, preserving the compatibility, and satisfying more standard formulas of the usual derivative. The main advantages and efficiency of the conformable calculus are described in a detailed way in [30]. A nabla conformable fractional calculus was introduced in [12] and more generally in [34] on arbitrary time scales.
A thermistor sensor is a temperature sensing element made of a sintered semiconductor material that is characterized by large changes in resistance proportional to small changes in temperature. Thermistors are made from a combination of metals and metal oxide materials. Once combined, the materials are formed and fired into the desired shape. The thermistors can then be used as disc-shaped thermistors or can be formed and assembled with conductive wires and coatings to form ball-shaped thermistors.
The main qualities of these sensors are: accuracy, nominal value for a given temperature (at 25 Celsius), response time (in seconds), sensitivity or temperature coefficient (variation of resistance according to temperature), extent or measurement range (min. and max. temperature of use), lifespan, stability (variation of the various parameters over time), dimensions, and low cost [17].
Due to its various applications, a great interest is given by researchers to the study of integer order, fractional order, or time scales thermistors models via different approaches [7,28,30,31]. In [28], the question of existence and uniqueness of a positive solution to generalized nonlocal thermistor problems with fractional order derivatives was investigated. Global existence of solutions for a fractional nonlocal thermistor problem in the Caputo sense was addressed in [27]. Existence and uniqueness results for a fractional Riemann-Liouville nonlocal thermistor problem on arbitrary nonempty closed subsets of the real numbers were studied in [29], Dynamics and stability results for Hilfer fractional derivative, which interpolate both the Riemann-Liouville and the Caputo fractional derivative, thermistor problems were investigated in [33]. Existence of a particular tube solution of a nonlocal thermistor problem for fractional derivative in the conformable sense was proved in [32]. In the present work, we are concerned with a conformable fractional thermistor problem and with existence and uniqueness results on time scales.
In order that the paper be complete for beginning researchers wishing to infiltrate the field, we recall in Sect. 2 preliminary basic time scales notation, definitions, and lemmas that are used later. As an illustration, in Sect. 3, existence and uniqueness for a fractional nonlocal thermistor problem on time scales are addressed. The undermentioned model is formulated in the conformable sense. We employ essentially Banach and Schauder's fixed point theorems.

Preliminaries
In the beginning we present the following auxiliary theorems that play a crucial role in reaching our existence and uniqueness results.

Theorem 2.1 ([18] Banach fixed point theorem)
Let (X, d) be a complete metric space, and let F : X → X be a contraction mapping. Then F admits a unique fixed point in X.

Theorem 2.2 ([18] Schauder fixed point theorem) Let E be a Banach space. Assume that F : E → E is a completely continuous operator and the set V
For convenience, we secondly give some important notations, definitions, and basic results on a fractional calculus on a time scale generalizing the Hilger derivative which can be found, for example, in [14]. A nonempty closed subset T of R is called a time scale.
The forward jump operator σ : T → T is defined by while the backward jump operator ρ : T → T is defined by The (forward) graininess function μ : T → [0, ∞) and the backward graininess function For the usual definitions of -derivative, -integral of a function, we refer the reader to [14].
Let h : T → R be a real-valued function on a time scale T, t ∈ T k and α ∈ (0, 1]. In [13], the authors define the conformable fractional(CF) derivative of a function h of order α at t, denoted by T α (h)(t), the number provided it exists such that, for all ε > 0, there exists a We remind the following properties as given in [13].

Lemma 2.3
Let α ∈ (0, 1), t ∈ T k , and h : T → R be a function. The following properties hold: (a) If h is CF differentiable of order α at t > 0, then h is continuous at t.
Let h be a regulated function on T. The indefinite α-CF integral of h is defined by Finally, we define the Cauchy or definite α-CF integral of h by Other fundamental properties and features of the CF derivative as linearity of conformable fractional derivatives, conformable chain rule, conformable fractional derivative of product, quotient and composite of functions are given in [19].
The following result of the calculus on time scales is also useful [13].

Main results
In this section, we are concerned with the conformable fractional nonlocal thermistor problem governed by with the boundary value conditions where 0 < α < 1, T α is the CF derivative. λ is a dimensionless real parameter. In case α = 1, problem (1) describes the diffusion of heat through a thermistor. f (u) is the temperaturedependent resistivity of the conductor; and β is a heat transfer coefficient verifying 0 < β < 1. η ∈ (0, T) T , T is real fixed. Many existence results for different forms of thermistor problem were investigated using various fixed point theorems [28,30]. Different to our earlier contributions, we consider the nonlocal thermistor problem in the conformable sense on a time scale. Further, we establish the main results under the following nonrestrictive hypothesis: (H 1 ) f : T × R → R + * is a continuous function with respect to the first variable and a locally Lipschitzian function with respect to the second variable.
C(T, R) will denote the Banach space of all continuous real-valued functions defined on the time scale T with the supremum norm.

Lemma 3.1 Assume that hypothesis (H1) is verified. Then u is a solution to (1)-(2) if and only if u is a solution of the representation integral equation
Proof Suppose that u(t) verifies (1), then after taking the α-CF integral of this equation from ρ(0) to s, we get Using the property of inverse integral, we have The boundary condition implies we then get We can then substitute in (3) and have By taking the α-CF integral Thus (4) which together with the second boundary value condition and (4) yields Therefore, we have the intended result.

Theorem 3.2 There exists a unique solution for a well-chosen parameter λ.
Proof Let S ⊆ C(T, R). Define the subset S(r) as where r is described below. First, it is clear that the set S(r) is a nonempty, closed, convex, and bounded set. Define the operator F by It is clear that u(t) is a solution of (1)-(2) if it is a fixed point of the operator Fu. Since f is a continuous function, there exist two positive constants such that M 1 ≤ f (t, u(t)) ≤ M 2 . Then Setting u(ρ(0)) = μ. Then, by using Proposition 2.4, we get With the equality μ + M 3

1-β
T 2α α 2 = r, we conclude that F is an operator from S(r) to S(r). We prove that F is contractive, we can easily see that On the other hand, we have Using that f is locally Lipschitzian, we have By the assumption that λ 1-β (M 4 + M 5 )( T α ) 2 < 1, we conclude that F is contractive. It implies that (1)-(2) has a unique solution by the Banach fixed point theorem. Step 1 We prove that F is continuous. Let u n be a sequence which converges to u. In a similar way as above, one can have, for all t ∈ T, The above inequality permits to conclude that whenever u n → u, then Fu n → Fu. This proves the continuity of F.