Next Article in Journal
Exact Discretization of an Economic Accelerator and Multiplier with Memory
Next Article in Special Issue
Stokes’ First Problem for Viscoelastic Fluids with a Fractional Maxwell Model
Previous Article in Journal
A Fractional Complex Permittivity Model of Media with Dielectric Relaxation
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Dynamics and Stability Results for Hilfer Fractional Type Thermistor Problem

1
Department of Mathematics, Sri Ramakrishna Mission Vidyalaya College of Arts and Science, Coimbatore 641020, India
2
Department of Mathematics, Embry-Riddle Aeronautical University, Daytona Beach, FL 32114, USA
*
Author to whom correspondence should be addressed.
Fractal Fract. 2017, 1(1), 5; https://doi.org/10.3390/fractalfract1010005
Submission received: 22 August 2017 / Revised: 5 September 2017 / Accepted: 6 September 2017 / Published: 9 September 2017
(This article belongs to the Special Issue The Craft of Fractional Modelling in Science and Engineering)

Abstract

:
In this paper, we study the dynamics and stability of thermistor problem for Hilfer fractional type. Classical fixed point theorems are utilized in deriving the results.

1. Introduction

Fractional differential equations (FDEs) occur in many engineering systems and scientific disciplines such as the mathematical modelling of systems and processes in the fields of physics, chemistry, aerodynamics, electrodynamics of complex medium, etc. FDEs also provide as an efficient tool for explanations of hereditary properties of different resources and processes. As a result, the meaning of the FDEs has been of great importance and attention, and one can refer to Kilbas [1], Podlubny [2] and the papers [3,4,5,6,7,8,9]. Recently, the Hilfer fractional derivative [10] for FDEs has become a very active area of research. R. Hilfer initiated the Hilfer fractional derivative. This is used to interpolate both the Riemann–Liouville and the Caputo fractional derivative for the theory and applications of the Hilfer fractional derivative (see, e.g., [6,10,11,12,13,14,15,16] and references cited therein). Analogously, we prefer the Hilfer derivative operator that interpolates both the Riemann–Liouville and the Caputo derivative.
English scientist Michael Faraday first discovered the concept of thermistors in 1833 while reporting on the semiconductor behavior of silver sulfide. From his research work, he noticed that the silver sulfides resistance decreased as the temperature increased. This later leads to the commercial production of thermistors in the 1930s when Samuel Ruben invented the first commercial thermistor. Ever since, technology has improved; this made it possible to improve manufacturing processes along with the availability of advanced quality material.
A thermistor is a thermally sensitive resistor that displays a precise and predictable change in resistance proportional to small changes in body temperature. How much its resistance will change is dependent upon its unique composition. Thermistors are part of a larger group of passive components. Unlike their active component counterparts, passive devices are incapable of providing power gain, or amplification to a circuit. Thermistors can be found everywhere in airplanes, air conditioners, in cars, computers, medical equipment, hair dryers, portable heaters, incubators, electrical outlets, refrigerators, digital thermostats, ovens, stove tops and in all kinds of appliances. Ice sensors and aircraft wings, if ice builds up on the wings, the thermistor senses this temperature drop and a heater will be activated to remove the ice. Flight tests need to be completed on a particular date, hence there may not be enough time to create a flight test technique on that date. However, it is possible to take a number of recommendations on the needs of any future flight plan to examine the nature of thermistor thermometer at high subsonic and supersonic speeds. In general, the unusual behaviour of the thermistor thermometer is caused by the possibility of vortices and an aerodynamic disturbance generating non-uniform flow, happening in the chamber with sensing element. The thermistors are small, which makes them very delicate to such effects [17,18].
A thermistor is a temperature dependent resistor and comes in two varieties, negative temperature coefficient (NTC) and positive temperature coefficient (PTC), although NTCs are most commonly used. With NTC, the resistance variation is inverse to the temperature change i.e.,: as temperature goes up, resistance goes down. NTC Thermistors are nonlinear, and their resistance decreases as temperature increases. A phenomenon called self-heating may affect the resistance of an NTC thermistor. When current flows through the NTC thermistor, it absorbs the heat causing its own temperature to rise. In [19], Khan et al. investigated the coupled p-Laplacian fractional differential equations with nonlinear boundary conditions. Wenjing Song and Wenjie Gao studied the existence of solutions for a nonlocal initial value problem to a p-Laplacian thermistor problems on time scales in [20]. Later, Moulay Rchid Sidi Ammi and Delfim F. M. Torres developed and applied a numerical method for the time-fractional nonlocal thermistor problem in [21]. They investigated the existence and uniqueness of a positive solution to generalized nonlocal thermistor problems with fractional-order derivatives in [22]. Recently, Moulay Rchid Sidi Ammi and Delfim F. M. Torres [23] discussed the existence and uniqueness results for a fractional Riemann–Liouville nonlocal thermistor problem on arbitrary time scales. Interested readers can refer to recent papers [22,23,24,25,26] treating a nonlocal thermistor problem.
Motivated by the aforementioned papers, we study the existence, uniqueness and Ulam–Hyers stability types of solutions for Hilfer type thermistor problem of the form
D 0 + α , β u ( t ) = λ f ( u ( t ) ) 0 T f ( u ( x ) ) d x 2 , t J : = [ 0 , T ] , I 0 + 1 γ u ( 0 ) = u 0 , γ = α + β α β ,
where D 0 + α , β is the Hilfer fractional derivative of order α and type β , 0 < α < 1 , 0 β 1 and let J = [ 0 , T ] , X be a Banach space, f : J × X X is a given continuous function. The operator I 0 + 1 γ denotes the left-sided Riemann–Liouville fractional integral of order 1 γ . Choosing λ such that 0 < λ < L T α + 1 γ ( C 1 T ) 2 Γ ( α + 1 ) + 2 C 2 2 L T α + 3 γ ( C 1 T ) 2 Γ ( α + 1 ) 1 is discussed in Section 4.
It is seen that (1) is equivalent to the following nonlinear integral equation
u ( t ) = u 0 Γ ( γ ) t γ 1 + λ Γ ( α ) 0 t ( t s ) α 1 f ( u ( s ) ) 0 T f ( u ( x ) ) d x 2 d s .
The stability of the functional equations were first introduced in a discourse conveyed in 1940 at the University of Wisconsin. The issue made by Ulam is as per the following: Under what conditions does there exist an additive mapping near an approximately additive mapping? [5,27,28,29]. The first reply to the topic of Ulam was given by Hyers in 1941 on account of Banach spaces. Ever since, this type of stability was known as the Ulam–Hyers stability. Rassias [29] gave a generalization of the Hyers theorem for linear mappings. Many mathematicians later extended the issue of Ulam in different ways. Recently, Ulam’s problem was generalized for the stability of differential equations. A comprehensive interest was given to the study of the Ulam and Ulam–Hyers–Rassias stability of all kinds of functional equations [5,8,9,30]. An exhaustive interest was given to the investigation of the Ulam and Ulam–Hyers–Rassias stability of all kinds of functional Equation (1).
The paper is organized as follows. In Section 2, we introduce some definitions, notations, and lemmas that are used throughout the paper. In Section 3, we will prove existence and uniqueness results concerning problem (1). Section 4 is devoted to the Ulam–Hyers stabilities of problem (1).

2. Basic Concepts and Results

In this section, we introduce notations, definitions, and preliminary facts that are used throughout this paper. For more details on Hilfer fractional derivative, interested readers can refer to [6,10,12,13,15,31].
Definition 1.
Let C [ J , X ] denote the Banach space of all continuous functions from [ 0 , T ] into X with the norm
u C : = sup u ( t ) : t J .
We denote L 1 R + , the space of Lebesgue integrable functions on J.
By C γ [ J , X ] and C γ 1 [ J , X ] , we denote the weighted spaces of continuous functions defined by
C γ [ J , X ] : = f ( t ) : J X | t γ f ( t ) C [ J , X ] ,
with the norm
f C γ = t γ f ( t ) C ,
and
f C γ n = k = 0 n 1 f k C + f ( n ) C γ , n N .
Moreover, C γ 0 [ J , X ] : = C γ [ J , X ] .
Now, we give some results and properties of fractional calculus.
Definition 2
([1,16]). The left-sided mixed Riemann–Liouville integral of order α > 0 of a function h L 1 R + is defined by
( I 0 + α h ) ( t ) = 1 Γ ( α ) 0 t ( t s ) α 1 h ( s ) d s , f o r   a . e . t J ,
where Γ ( · ) is the (Euler’s) Gamma function defined by
Γ ( ξ ) = 0 t ξ 1 e t d t ; ξ > 0 .
Notice that for all α , α 1 , α 2 > 0 and each h C [ J , X ] , we have I 0 + α h C [ J , X ] , and
( I 0 + α 1 I 0 + α 2 h ) ( t ) = ( I 0 + α 1 + α 2 h ) ( t ) ; f o r   a . e . t J .
Definition 3
([1,16]). The Riemann–Liouville fractional derivative of order α ( 0 , 1 ] of a function h L 1 R + is defined by
( D 0 + α h ) ( t ) = d d t I 0 + 1 α h ( t ) = 1 Γ ( 1 α ) d d t 0 t ( t s ) α h ( s ) d s ; f o r   a . e . t J .
Let α ( 0 , 1 ] , γ [ 0 , 1 ) and h C 1 γ [ J , X ] . Then, the following expression leads to the left inverse operator as follows:
( D 0 + α I 0 + α h ) ( t ) = h ( t ) ; f o r   a l l t ( 0 , T ] .
Moreover, if I 0 + 1 α h C 1 γ 1 [ J , X ] , then the following composition
( I 0 + α D 0 + α h ) ( t ) = h ( t ) ( I 0 + 1 α h ) ( 0 + ) Γ ( α ) t α 1 ; f o r   a l l t ( 0 , T ] .
Definition 4
([1,16]). The Caputo fractional derivative of order α ( 0 , 1 ] of a function h L 1 R + is defined by
( c D 0 + α h ) ( t ) = ( I 0 + 1 α d d t h ) ( t ) = 1 Γ ( 1 α ) 0 t ( t s ) α d d s h ( s ) d s ; f o r   a . e . t J .
In [10], Hilfer studied applications of a generalized fractional operator having the Riemann–Liouville and the Caputo derivatives as specific cases (see also [6,32]).
Definition 5 (Hilfer derivative).
Let 0 < α < 1 , 0 β 1 , h L 1 R + , I 0 + ( 1 α ) ( 1 β ) C γ 1 [ J , X ] . The Hilfer fractional derivative of order α and type β of h is defined as
( D 0 + α , β h ) ( t ) = I 0 + β ( 1 α ) d d t I 0 + ( 1 α ) ( 1 β ) h ( t ) ; f o r   a . e . t J .
Properties. Let 0 < α < 1 , 0 β 1 , γ = α + β α β , and h L 1 R + .
  • The operator ( D 0 + α , β h ) ( t ) can be written as
    ( D 0 + α , β h ) ( t ) = I 0 + β ( 1 α ) d d t I 0 + 1 γ h ( t ) = I 0 + β ( 1 α ) D 0 + γ h ( t ) ; f o r   a . e . t J .
    Moreover, the parameter γ satisfies
    0 < γ 1 , γ α , γ > β , 1 γ < 1 β ( 1 α ) .
  • The generalization (3) for β = 0 coincides with the Riemann–Liouville derivative and for β = 1 with the Caputo derivative
    D 0 + α , 0 = D 0 + α , a n d D 0 + α , 1 = c D 0 + α .
  • If D 0 + β ( 1 α ) h exists and in L 1 R + , then
    ( D 0 + α , β I 0 + α h ) ( t ) = I 0 + β ( 1 α ) D 0 + β ( 1 α ) h ( t ) ; f o r   a . e . t J .
    Furthermore, if h C γ [ J , X ] and I 0 + 1 β ( 1 α ) h C γ 1 [ J , X ] , then
    ( D 0 + α , β I 0 + α h ) ( t ) = h ( t ) ; f o r   a . e . t J .
  • If D 0 + γ h exists and in L 1 R + , then
    I 0 + α D 0 + α , β h ( t ) = I 0 + γ D 0 + γ h ( t ) = h ( t ) I 0 + 1 γ h ( 0 + ) Γ ( γ ) t γ 1 ; f o r   a . e . t J .
In order to solve our problem, the following spaces are presented
C 1 γ α , β [ J , X ] = f C 1 γ [ J , X ] , D 0 + α , β f C 1 γ [ J , X ] ,
and
C 1 γ γ [ J , X ] = f C 1 γ [ J , X ] , D 0 + γ f C 1 γ [ J , X ] .
It is obvious that
C 1 γ γ [ J , X ] C 1 γ α , β [ J , X ] .
Corollary 1
([31]). Let h C 1 γ [ J , X ] . Then, the linear problem
D 0 + α , β x ( t ) = h ( t ) , t J = [ 0 , T ] , I 0 + 1 γ x ( 0 ) = x 0 , γ = α + β α β ,
has a unique solution x L 1 R + given by
x ( t ) = x 0 Γ ( γ ) t γ 1 + 1 Γ ( α ) 0 t ( t s ) α 1 h ( s ) d s .
From the above corollary, we conclude the following lemma.
Lemma 1.
Let f : J × X X be a function such that f C 1 γ [ J , X ] . Then, problem (1) is equivalent to the problem of the solutions of the integral Equation (2).
Theorem 1
(Schauder fixed point theorem [31,33]). Let B be closed, convex and nonempty subset of a Banach space E. Let P : B B be a continuous mapping such that P ( B ) is a relatively compact subset of E. Then, P has at least one fixed point in B.
Now, we study the Ulam stability, and we adopt the definitions in [4,30,34] of the Ulam–Hyers stability, generalized Ulam–Hyers stability, Ulam–Hyers–Rassias stability and generalized Ulam–Hyers–Rassias stability.
Consider the following Hilfer type termistor problem
D 0 + α , β u ( t ) = λ f ( u ( t ) ) 0 T f ( u ( x ) ) d x 2 , t J : = [ 0 , T ] ,
and the following fractional inequalities:
D 0 + α , β z ( t ) λ f ( z ( t ) ) 0 T f ( z ( x ) ) d x 2 ϵ , t J ,
D 0 + α , β z ( t ) λ f ( z ( t ) ) 0 T f ( z ( x ) ) d x 2 ϵ φ ( t ) , t J ,
D 0 + α , β z ( t ) λ f ( z ( t ) ) 0 T f ( z ( x ) ) d x 2 φ ( t ) , t J .
Definition 6.
Equation (4) is Ulam–Hyers stable if there exists a real number C f > 0 such that, for each ϵ > 0 and for each solution z C 1 γ γ [ J , X ] of Inequality (5), there exists a solution u C 1 γ γ [ J , X ] of Equation (4) with
z ( t ) u ( t ) C f ϵ , t J .
Definition 7.
Equation (4) is generalized Ulam–Hyers stable if there exists ψ f C ( [ 0 , ) , [ 0 , ) ) , ψ f ( 0 ) = 0 such that, for each solution z C 1 γ γ [ J , X ] of Inequality (5), there exists a solution u C 1 γ γ [ J , X ] of Equation (4) with
z ( t ) u ( t ) ψ f ϵ , t J .
Definition 8.
Equation (4) is Ulam–Hyers–Rassias stable with respect to φ C 1 γ [ J , X ] if there exists a real number C f > 0 such that, for each ϵ > 0 and for each solution z C 1 γ γ [ J , X ] of Inequality (6), there exists a solution u C 1 γ γ [ J , X ] of Equation (4) with
z ( t ) u ( t ) C f ϵ φ ( t ) , t J .
Definition 9.
Equation (4) is generalized Ulam–Hyers–Rassias stable with respect to φ C 1 γ [ J , X ] if there exists a real number C f , φ > 0 such that, for each solution z C 1 γ γ [ J , X ] of Inequality (7), there exists a solution u C 1 γ γ [ J , X ] of Equation (4) with
z ( t ) u ( t ) C f , φ φ ( t ) , t J .
Remark 1.
A function z C 1 γ γ [ J , X ] is a solution of Inequality (5) if and only if there exist a function g C 1 γ γ [ J , X ] (which depends on solution z) such that
1. 
g ( t ) ϵ , t J .
2. 
D 0 + α , β z ( t ) = λ f ( z ( t ) ) 0 T f ( z ( x ) ) d x 2 + g ( t ) , t J .
Remark 2.
It is clear that:
1. 
Definition 6Definition 7.
2. 
Definition 8Definition 9.
3. 
Definition 8 for φ ( t ) = 1 Definition 6.
Lemma 2
([3]). Let v : [ 0 , T ] [ 0 , ) be a real function and w ( · ) is a nonnegative, locally integrable function on [ 0 , T ] and there are constants a > 0 and 0 < α < 1 such that
v ( t ) w ( t ) + a 0 t v ( s ) ( t s ) α d s .
Then, there exists a constant K = K ( α ) such that
v ( t ) w ( t ) + K a 0 t w ( s ) ( t s ) α d s ,
for every t [ 0 , T ] .

3. Existence Results

The following existence result for Hilfer type thermistor problem (1) is based on Schauder’s fixed point theorem. Let us consider the following assumptions:
Assumption 1.
Function f : J × X X of problem (1) is Lipschitz continuous with Lipschitz constant L such that c 1 f ( u ) c 2 , with c 1 and c 2 two positive constants.
Assumption 2.
There exists an increasing function φ C 1 γ [ J , X ] and there exists λ φ > 0 such that, for any t J ,
I 0 + α φ ( t ) λ φ φ ( t ) .
Our main result may be presented as the following theorem.
Theorem 2 (existence).
Under the above Assumption 1, problem (1) has at least one solution u X for all λ > 0 .
Proof. 
Consider the operator P : C 1 γ [ J , X ] C 1 γ [ J , X ] is defined by
( P u ) ( t ) = u 0 Γ ( γ ) t γ 1 + λ Γ ( α ) 0 t ( t s ) α 1 f ( u ( s ) ) 0 T f ( u ( x ) ) d x 2 d s .
Clearly, the fixed points of P are solutions to (1). The proof will be given in several steps.
Step 1: The operator P is continuous. Let u n be a sequence such that u n u in C 1 γ [ J , X ] . Then, for each t J ,
t 1 γ ( P u n ) ( t ) ( P u ) ( t ) λ t 1 γ Γ ( α ) 0 t ( t s ) α 1 f ( u n ( s ) ) 0 T f ( u n ( x ) ) d x 2 f ( u ( s ) ) 0 T f ( u ( x ) ) d x 2 d s λ t 1 γ Γ ( α ) 0 t ( t s ) α 1 1 0 T f ( u n ( x ) ) d x 2 f ( u n ( s ) ) f ( u ( s ) ) + f ( u ( s ) ) 1 0 T f ( u n ( x ) ) d x 2 1 0 T f ( u ( x ) ) d x 2 λ t 1 γ Γ ( α ) 0 t ( t s ) α 1 1 0 T f ( u n ( x ) ) d x 2 f ( u n ( s ) ) f ( u ( s ) ) d s + λ t 1 γ Γ ( α ) 0 t ( t s ) α 1 f ( u ( s ) ) 1 0 T f ( u n ( x ) ) d x 2 1 0 T f ( u ( x ) ) d x 2 d s I 1 + I 2 ,
where
I 1 = λ t 1 γ Γ ( α ) 0 t ( t s ) α 1 1 0 T f ( u n ( x ) ) d x 2 f ( u n ( s ) ) f ( u ( s ) ) d s , I 2 = λ t 1 γ Γ ( α ) 0 t ( t s ) α 1 f ( u ( s ) ) 1 0 T f ( u n ( x ) ) d x 2 1 0 T f ( u ( x ) ) d x 2 d s .
We estimate I 1 and I 2 terms separately. By Assumption 1, we have
I 1 λ t 1 γ Γ ( α ) 0 t ( t s ) α 1 1 0 T f ( u n ( x ) ) d x 2 f ( u n ( s ) ) f ( u ( s ) ) d s λ t 1 γ ( c 1 T ) 2 Γ ( α ) 0 t ( t s ) α 1 f ( u n ( s ) ) f ( u ( s ) ) d s L λ t 1 γ ( c 1 T ) 2 Γ ( α ) u n u C 1 γ 0 t ( t s ) α 1 d s L λ T α + 1 γ ( c 1 T ) 2 Γ ( α + 1 ) u n u C 1 γ .
Then,
I 1 L λ T α + 1 γ ( c 1 T ) 2 Γ ( α + 1 ) u n u C 1 γ ,
I 2 = λ t 1 γ Γ ( α ) 0 t ( t s ) α 1 f ( u ( s ) ) 1 0 T f ( u n ( x ) ) d x 2 1 0 T f ( u ( x ) ) d x 2 d s λ t 1 γ Γ ( α ) 0 t ( t s ) α 1 f ( u ( s ) ) 0 T f ( u n ( x ) ) d x 2 0 T f ( u ( x ) ) d x 2 0 T f ( u n ( x ) ) d x 2 0 T f ( u ( x ) ) d x 2 d s λ t 1 γ c 2 ( c 1 T ) 4 Γ ( α ) 0 t ( t s ) α 1 0 T f ( u n ( x ) ) d x 2 0 T f ( u ( x ) ) d x 2 d s λ t 1 γ c 2 ( c 1 T ) 4 Γ ( α ) 0 t ( t s ) α 1 0 T ( f ( u n ( x ) ) f ( u ( x ) ) ) d x 0 T ( f ( u n ( x ) ) + f ( u ( x ) ) ) d x d s 2 λ c 2 2 T t 1 γ ( c 1 T ) 4 Γ ( α ) 0 t ( t s ) α 1 0 T f ( u n ( x ) ) f ( u ( x ) ) d x d s 2 λ c 2 2 T L t 1 γ ( c 1 T ) 4 Γ ( α ) 0 t ( t s ) α 1 0 T u n ( x ) u ( x ) d x d s 2 λ c 2 2 L T 2 t 1 γ ( c 1 T ) 4 Γ ( α ) u n u C 1 γ 0 t ( t s ) α 1 d s 2 λ c 2 2 L T α + 3 γ ( c 1 T ) 4 Γ ( α + 1 ) u n u C 1 γ .
It follows that
I 2 2 λ c 2 2 L T α + 3 γ ( c 1 T ) 4 Γ ( α + 1 ) u n u C 1 γ .
To substitute (10) and (11) into (9), we have
t 1 γ ( P u n ) ( t ) ( P u ) ( t ) I 1 + I 2 L λ T α + 1 γ ( c 1 T ) 2 Γ ( α + 1 ) + 2 λ c 2 2 L T α + 3 γ ( c 1 T ) 4 Γ ( α + 1 ) u n u C 1 γ .
Then,
P u n P u C 1 γ L λ T α + 1 γ ( c 1 T ) 2 Γ ( α + 1 ) + 2 λ c 2 2 L T α + 3 γ ( c 1 T ) 4 Γ ( α + 1 ) u n u C 1 γ .
Here, independently of λ , the right-hand side of the above inequality converges to zero as u n u . Therefore, P u n P u . This proves the continuity of P.
Step 2: The operator P maps bounded sets into bounded sets in C 1 γ [ J , X ] .
Indeed, it is enough to show that, for r > 0 , there exists a positive constant l such that u B r u C 1 γ [ J , X ] : u r , we have ( P u ) C 1 γ l . Set M = sup B r f ( c 1 T ) 2 :
t 1 γ ( P u ) ( t ) u 0 Γ ( γ ) + λ t 1 γ Γ ( α ) 0 t ( t s ) α 1 f ( u ( s ) ) 0 T f ( u ( x ) ) d x 2 d s u 0 Γ ( γ ) + λ M t 1 γ Γ ( α ) 0 t ( t s ) α 1 d s u 0 Γ ( γ ) + λ M T 1 γ + α Γ ( α ) .
Thus,
P u C 1 γ u 0 Γ ( γ ) + λ M T 1 γ + α Γ ( α ) : l .
Step 3:P maps bounded sets into equicontinuous set of C 1 γ [ J , X ] .
Let t 1 , t 2 J , t 1 < t 2 , B r be a bounded set of C 1 γ [ J , X ] and u B r . Then,
t 2 1 γ ( P u ) ( t 2 ) t 1 1 γ ( P u ) ( t 1 ) λ Γ ( α ) t 2 1 γ 0 t 2 ( t 2 s ) α 1 f ( u ( s ) ) 0 T f ( u ( x ) ) d x 2 d s t 1 1 γ 0 t 1 ( t 1 s ) α 1 f ( u ( s ) ) 0 T f ( u ( x ) ) d x 2 d s λ t 2 1 γ Γ ( α ) t 1 t 2 ( t 2 s ) α 1 f ( u ( s ) ) 0 T f ( u ( x ) ) d x 2 d s + λ Γ ( α ) 0 t 2 t 2 1 γ ( t 2 s ) α 1 t 1 1 γ ( t 1 s ) α 1 f ( u ( s ) ) 0 T f ( u ( x ) ) d x 2 d s λ c 2 t 2 1 γ ( c 1 T ) 2 Γ ( α ) t 1 t 2 ( t 2 s ) α 1 d s + λ c 2 ( c 1 T ) 2 Γ ( α ) 0 t 2 t 2 1 γ ( t 2 s ) α 1 t 1 1 γ ( t 1 s ) α 1 d s λ c 2 t 2 1 γ ( c 1 T ) 2 Γ ( α + 1 ) ( t 2 t 1 ) 1 α + λ c 2 ( c 1 T ) 2 Γ ( α ) 0 t 2 t 2 1 γ ( t 2 s ) α 1 t 1 1 γ ( t 1 s ) α 1 d s .
Beacause the right-hand side of the above inequality does not depend on u and tends to zero when t 2 t 1 , we conclude that P ( B r ¯ ) is relatively compact. Hence, B is compact by the Arzela–Ascoli theorem. Consequently, since P is continuous, it follows by Theorem 1 that problem (1) has a solution. The proof is completed. ☐

4. The Ulam–Hyers–Rassias Stability

In this section, we investigate generalized Ulam–Hyers–Rassias stability for problem (1). The stability results are based on the Banach contraction principle.
Lemma 3 (Uniqueness).
Assume that the Assumption 1 is hold. If
L λ T α + 1 γ ( c 1 T ) 2 Γ ( α + 1 ) + 2 λ c 2 2 L T α + 3 γ ( c 1 T ) 2 Γ ( α + 1 ) < 1 ,
then problem (1) has a unique solution.
Proof. 
Consider the operator P : C 1 γ [ J , X ] C 1 γ [ J , X ] :
( P u ) ( t ) = u 0 Γ ( γ ) t γ 1 + λ Γ ( α ) 0 t ( t s ) α 1 f ( u ( s ) ) 0 T f ( u ( x ) ) d x 2 d s .
It is clear that the fixed points of P are solutions of problem (1).
Letting u , v C 1 γ [ J , X ] and t J , then we have
t 1 γ ( P v ) ( t ) ( P u ) ( t ) λ t 1 γ Γ ( α ) 0 t ( t s ) α 1 f ( v ( s ) ) 0 T f ( v ( x ) ) d x 2 f ( u ( s ) ) 0 T f ( u ( x ) ) d x 2 d s L λ T α + 1 γ ( c 1 T ) 2 Γ ( α + 1 ) + 2 λ c 2 2 L T α + 3 γ ( c 1 T ) 2 Γ ( α + 1 ) v u C 1 γ .
Then,
P v P u C 1 γ L λ T α + 1 γ ( c 1 T ) 2 Γ ( α + 1 ) + 2 λ c 2 2 L T α + 3 γ ( c 1 T ) 2 Γ ( α + 1 ) v u C 1 γ .
Choosing λ such that 0 < λ < L T α + 1 γ ( C 1 T ) 2 Γ ( α + 1 ) + 2 C 2 2 L T α + 3 γ ( C 1 T ) 2 Γ ( α + 1 ) 1 , the map P : C 1 γ [ J , X ] C 1 γ [ J , X ] is a contraction. From (12), it follows that P has a unique fixed point, which is a solution of problem (1). ☐
Theorem 3.
In Assumption 1 and (12), problem (1) is Ulam–Hyers stable.
Proof. 
Let ϵ > 0 and let z C 1 γ γ [ J , X ] be a function that satisfies Inequality (5) and let u C 1 γ γ [ J , X ] be the unique solution of the following Hilfer type thermistor problem
D 0 + α , β u ( t ) = λ f ( u ( t ) ) 0 T f ( u ( x ) ) d x 2 , t J : = [ 0 , T ] , I 0 + 1 γ u ( t ) = I 0 + 1 γ z ( t ) = u 0 ,
where α ( 0 , 1 ) , β [ 0 , 1 ] . From Lemma 1, we have
u ( t ) = u 0 Γ ( γ ) t γ 1 + λ Γ ( α ) 0 t ( t s ) α 1 f ( u ( s ) ) 0 T f ( u ( x ) ) d x 2 d s .
By integration of (5), we obtain
z ( t ) u 0 Γ ( γ ) t γ 1 λ Γ ( α ) 0 t ( t s ) α 1 f ( z ( s ) ) 0 T f ( z ( x ) ) d x 2 d s ϵ T α Γ ( α + 1 ) ,
for all t J . From the above, it follows:
z ( t ) u ( t ) z ( t ) u 0 Γ ( γ ) t γ 1 λ Γ ( α ) 0 t ( t s ) α 1 f ( z ( s ) ) 0 T f ( z ( x ) ) d x 2 d s + λ Γ ( α ) 0 t ( t s ) α 1 f ( z ( s ) ) 0 T f ( z ( x ) ) d x 2 f ( u ( s ) ) 0 T f ( u ( x ) ) d x 2 d s ϵ T α Γ ( α + 1 ) + λ Γ ( α ) 0 t ( t s ) α 1 1 0 T f ( z ( x ) ) d x 2 f ( z ( s ) ) f ( u ( s ) ) d s + λ Γ ( α ) 0 t ( t s ) α 1 f ( u ( s ) ) 1 0 T f ( z ( x ) ) d x 2 1 0 T f ( u ( x ) ) d x 2 d s .
For computational convenience, we set
K 1 = λ Γ ( α ) 0 t ( t s ) α 1 1 0 T f ( z ( x ) ) d x 2 f ( z ( s ) ) f ( u ( s ) ) d s , K 2 = λ Γ ( α ) 0 t ( t s ) α 1 f ( u ( s ) ) 1 0 T f ( z ( x ) ) d x 2 1 0 T f ( u ( x ) ) d x 2 d s .
We estimate K 1 , K 2 terms separately. By Assumption 1, we have
K 1 λ Γ ( α ) 0 t ( t s ) α 1 1 0 T f ( z ( x ) ) d x 2 f ( z ( s ) ) f ( u ( s ) ) d s λ ( c 1 T ) 2 Γ ( α ) 0 t ( t s ) α 1 f ( z ( s ) ) f ( u ( s ) ) d s λ L ( c 1 T ) 2 Γ ( α ) 0 t ( t s ) α 1 z ( s ) u ( s ) d s ,
K 2 λ Γ ( α ) 0 t ( t s ) α 1 f ( u ( s ) ) 0 T f ( z ( x ) ) d x 2 0 T f ( u ( x ) ) d x 2 0 T f ( z ( x ) ) d x 2 0 T f ( u ( x ) ) d x 2 d s 2 λ c 2 2 T L ( c 1 T ) 4 Γ ( α ) 0 t ( t s ) α 1 0 T z ( x ) u ( x ) d x d s 2 λ c 2 2 T L ( c 1 T ) 4 Γ ( α ) z u C 1 γ 0 t ( t s ) α 1 d s 2 λ c 2 2 T L ( c 1 T ) 4 Γ ( α ) 0 t ( t s ) α 1 z ( s ) u ( s ) d s .
To substitute (16) and (17) into (15), we get
z ( t ) u ( t ) ϵ T α Γ ( α + 1 ) + λ L ( c 1 T ) 2 Γ ( α ) 0 t ( t s ) α 1 z ( s ) u ( s ) d s + 2 λ c 2 2 T 2 L ( c 1 T ) 4 Γ ( α ) 0 t ( t s ) α 1 z ( s ) u ( s ) d s ϵ T α Γ ( α + 1 ) + λ L ( c 1 T ) 2 + 2 λ c 2 2 T 2 L ( c 1 T ) 4 1 Γ ( α ) 0 t ( t s ) α 1 z ( s ) u ( s ) d s ,
and, to apply Lemma 2, we have
z ( t ) u ( t ) T α Γ ( α + 1 ) 1 + ν T α Γ ( α + 1 ) λ L ( c 1 T ) 2 + 2 λ c 2 2 T 2 L ( c 1 T ) 4 ϵ : = C f ϵ ,
where ν = ν ( α ) is a constant, which completes the proof of the theorem. Moreover, if we set ψ ( ϵ ) = C f ϵ ; ψ ( 0 ) = 0 , then problem (1) is generalized Ulam–Hyers stable. ☐
Theorem 4.
In Assumptions 1, 2 and (12), problem (1) is Ulam–Hyers–Rassias stable.
Proof. 
Let z C 1 γ γ [ J , X ] be solution of Inequality (6) and let z C 1 γ γ [ J , X ] be the unique solution of the following Hilfer type thermistor problem
D 0 + α , β u ( t ) = λ f ( u ( t ) ) 0 T f ( u ( x ) ) d x 2 , t J : = [ 0 , T ] , I 0 + 1 γ u ( t ) = I 0 + 1 γ z ( t ) = u 0 ,
where α ( 0 , 1 ) , β [ 0 , 1 ] . From Lemma 1, we have
u ( t ) = u 0 Γ ( γ ) t γ 1 + λ Γ ( α ) 0 t ( t s ) α 1 f ( u ( s ) ) 0 T f ( u ( x ) ) d x 2 d s .
By integration of (6) and Assumption 2, we obtain
z ( t ) u 0 Γ ( γ ) t γ 1 λ Γ ( α ) 0 t ( t s ) α 1 f ( z ( s ) ) 0 T f ( z ( x ) ) d x 2 d s ϵ λ φ φ ( t ) ,
for all t J . From the above, it follows:
z ( t ) u ( t ) z ( t ) u 0 Γ ( γ ) t γ 1 λ Γ ( α ) 0 t ( t s ) α 1 f ( z ( s ) ) 0 T f ( z ( x ) ) d x 2 d s + λ Γ ( α ) 0 t ( t s ) α 1 f ( z ( s ) ) 0 T f ( z ( x ) ) d x 2 f ( u ( s ) ) 0 T f ( u ( x ) ) d x 2 d s ϵ λ φ φ ( t ) + λ Γ ( α ) 0 t ( t s ) α 1 1 0 T f ( z ( x ) ) d x 2 f ( z ( s ) ) f ( u ( s ) ) d s + λ Γ ( α ) 0 t ( t s ) α 1 f ( u ( s ) ) 1 0 T f ( z ( x ) ) d x 2 1 0 T f ( u ( x ) ) d x 2 d s .
To substitute (16) and (17) into (19), we get
z ( t ) u ( t ) ϵ λ φ φ ( t ) + λ L ( c 1 T ) 2 Γ ( α ) 0 t ( t s ) α 1 z ( s ) u ( s ) d s + 2 λ c 2 2 T 2 L ( c 1 T ) 4 Γ ( α ) 0 t ( t s ) α 1 z ( s ) u ( s ) d s ϵ λ φ φ ( t ) + λ L ( c 1 T ) 2 + 2 λ c 2 2 T 2 L ( c 1 T ) 4 1 Γ ( α ) 0 t ( t s ) α 1 z ( s ) u ( s ) d s ,
and, to apply Lemma 2, we have
z ( t ) u ( t ) 1 + ν 1 λ φ λ L ( c 1 T ) 2 + 2 λ c 2 2 T 2 L ( c 1 T ) 4 λ φ ϵ φ ( t ) = C f ϵ φ ( t ) ,
where ν 1 = ν 1 ( α ) is a constant. It completes the proof of Theorem 4. ☐

Acknowledgments

The authors are grateful to anonymous referees for several comments and suggestions.

Author Contributions

All of the authors contributed to the conception and development of this manuscript.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations; Elsevier: Amsterdam, The Netherlands, 2006; Volume 204. [Google Scholar]
  2. Podlubny, I. Fractional Differential Equations; Academy Press: Cambridge, MA, USA, 1999; Volume 198. [Google Scholar]
  3. Benchohra, M.; Henderson, J.; Ntouyas, S.K.; Ouahab, A. Existence results for fractional order functional differential equations with infinite delay. J. Math. Anal. Appl. 2008, 338, 1340–1350. [Google Scholar] [CrossRef]
  4. Benchohra, M.; Bouriah, S. Existence and stability results for nonlinear boundary value problem for implicit differential equations of fractional order. Moroc. J. Pure Appl. Anal. 2005, 1, 22–37. [Google Scholar] [CrossRef]
  5. Ibrahim, R.W. Generalized Ulam–Hyers stability for fractional differential equations. Int. J. Math. 2012, 23, 1250056. [Google Scholar] [CrossRef]
  6. Hilfer, R.; Luchko, Y.; Tomovski, Z. Operational method for the solution of fractional differential equations with generalized Riemann-Lioville fractional derivative. Fract. Calc. Appl. Anal. 2009, 12, 289–318. [Google Scholar]
  7. Vivek, D.; Kanagarajan, K.; Sivasundaram, S. Dynamics and stability of pantograph equations via Hilfer fractional derivative. Nonlinear Stud. 2016, 23, 685–698. [Google Scholar]
  8. Wang, J.; Lv, L.; Zhou, Y. Ulam stability and data dependence for fractional differential equations with Caputo derivative. Electron. J. Qual. Theory Differ. Equ. 2011, 63, 1–10. [Google Scholar] [CrossRef]
  9. Wang, J.; Zhou, Y. New concepts and results in stability of fractional differential equations. Commun. Nonlinear Sci. Numer. Simul. 2012, 17, 2530–2538. [Google Scholar] [CrossRef]
  10. Hilfer, R. (Ed.) Fractional time evolution. In Application of Fractional Calculus in Physics; World Scientific: Singapore, 1999; pp. 87–130. [Google Scholar]
  11. Abbas, S.; Benchohra, M.; Lagreg, J.E.; Alsaedi, A.; Zhou, Y. Existence and Ulam stability for fractional differential equations of Hilfer-Hadamard type. Adv. Differ. Equ. 2017. [Google Scholar] [CrossRef]
  12. Furati, K.M.; Kassim, M.D.; Tatar, N.E. Existence and uniqueness for a problem involving Hilfer fractional derivative. Comput. Math. Appl. 2012, 64, 1616–1626. [Google Scholar] [CrossRef]
  13. Furati, K.M.; Kassim, M.D.; Tatar, N.E. Non-existence of global solutions for a differential equation involving Hilfer fractional derivative. Electron. J. Differ. Equ. 2013, 2013, 235. [Google Scholar]
  14. Gu, H.; Trujillo, J.J. Existence of mild solution for evolution equation with Hilfer fractional derivative. Appl. Math. Comput. 2014, 257, 344–354. [Google Scholar] [CrossRef]
  15. Wang, J.R.; Yuruo Zhang, Y. Nonlocal initial value problems for differential equations with Hilfer fractional derivative. Appl. Math. Comput. 2015, 266, 850–859. [Google Scholar] [CrossRef]
  16. Samko, S.G.; Kilbas, A.A.; Marichev, O.I. Fractional Integrals and Derivatives, Theory and Applications; Gordon and Breach: Amsterdam, The Netherlands, 1987. [Google Scholar]
  17. Kwok, K. Complete Guide to Semiconductor Devices; Mc Graw-Hill: New York, NY, USA, 1995. [Google Scholar]
  18. Maclen, E.D. Thermistors; Electrochemical Publication: Glasgow, UK, 1979. [Google Scholar]
  19. Khan, A.; Li, Y.; Shah, K.; Khan, T.S. On Coupled p-Laplacian Fractional Differential Equations with Nonlinear Boundary Conditions. Complexity 2017. [Google Scholar] [CrossRef]
  20. Song, W.; Gao, W. Existence of solutions for nonlocal p-Laplacian thermistor problems on time scales. Bound. Value Probl. 2013. [Google Scholar] [CrossRef]
  21. Sidi Ammi, M.R.; Torres, D.F.M. Galerkin spectral method for the fractional nonlocal thermistor problem. Comput. Math. Appl. 2017, 73, 1077–1086. [Google Scholar] [CrossRef]
  22. 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, 267–276. [Google Scholar]
  23. Ammi, M.R.S.; Torres, D.F.M. Existence and uniqueness results for a fractional Riemann-liouville nonlocal thermistor problem on arbitrary time scales. J. King Saud Univ. Sci. 2017, in press. [Google Scholar]
  24. Sidi Ammi, M.R.; Torres, D.F.M. Numerical analysis of a nonlocal parabolic problem resulting from thermistor problem. Math. Comput. Simul. 2008, 77, 291–300. [Google Scholar] [CrossRef]
  25. Sidi Ammi, M.R.; Torres, D.F.M. Optimal control of nonlocal thermistor equations. Int. J. Control 2012, 85, 1789–1801. [Google Scholar] [CrossRef]
  26. Liang, Y.; Chen, W.; Akpa, B.S.; Neuberger, T.; Webb, A.G.; Magin, R.L. Using spectral and cumulative spectral entropy to classify anomalous diffusion in SephadexTM gels. Comput. Math. Appl. 2017, 73, 765–774. [Google Scholar] [CrossRef]
  27. Andras, S.; Kolumban, J.J. On the Ulam–Hyers stability of first order differential systems with nonlocal initial conditions. Nonlinear Anal. Theory Methods Appl. 2013, 82, 1–11. [Google Scholar] [CrossRef]
  28. Jung, S.M. Hyers-Ulam stability of linear differential equations of first order. Appl. Math. Lett. 2004, 17, 1135–1140. [Google Scholar] [CrossRef]
  29. Muniyappan, P.; Rajan, S. Hyers-Ulam-Rassias stability of fractional differential equation. Int. J. Pure Appl. Math. 2015, 102, 631–642. [Google Scholar] [CrossRef]
  30. Rus, I.A. Ulam stabilities of ordinary differential equations in a Banach space. Carpathian J. Math. 2010, 26, 103–107. [Google Scholar]
  31. Abbas, S.; Benchohra, M.; Sivasundaram, S. Dynamics and Ulam stability for Hilfer type fractional differential equations. Nonlinear Stud. 2016, 4, 627–637. [Google Scholar]
  32. Kamocki, R.; Obcznnski, C. On fractional Cauchy-type problems containing Hilfer derivative. Electron. J. Qual. Theory Differ. Equ. 2016, 50, 1–12. [Google Scholar] [CrossRef]
  33. Granas, A.; Dugundji, J. Fixed Point Theory; Springer: New York, NY, USA, 2003. [Google Scholar]
  34. Vivek, D.; Kanagarajan, K.; Sivasundaram, S. Theory and analysis of nonlinear neutral pantograph equations via Hilfer fractional derivative. Nonlinear Stud. 2017, 24, 699–712. [Google Scholar]

Share and Cite

MDPI and ACS Style

Vivek, D.; Kanagarajan, K.; Sivasundaram, S. Dynamics and Stability Results for Hilfer Fractional Type Thermistor Problem. Fractal Fract. 2017, 1, 5. https://doi.org/10.3390/fractalfract1010005

AMA Style

Vivek D, Kanagarajan K, Sivasundaram S. Dynamics and Stability Results for Hilfer Fractional Type Thermistor Problem. Fractal and Fractional. 2017; 1(1):5. https://doi.org/10.3390/fractalfract1010005

Chicago/Turabian Style

Vivek, D., K. Kanagarajan, and Seenith Sivasundaram. 2017. "Dynamics and Stability Results for Hilfer Fractional Type Thermistor Problem" Fractal and Fractional 1, no. 1: 5. https://doi.org/10.3390/fractalfract1010005

Article Metrics

Back to TopTop