Next Article in Journal
Existence and Hyers–Ulam Stability Analysis of Nonlinear Multi-Term Ψ-Caputo Fractional Differential Equations Incorporating Infinite Delay
Previous Article in Journal
Parameter Estimation of Fractional Uncertain Differential Equations
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Existence of Solutions to the Variable Order Caputo Fractional Thermistor Problem

1
Department of Mathematics, University of Tennessee at Chattanooga, Chattanooga, TN 37403, USA
2
Department of Mathematics, University of Ibn Khaldoun, Tiaret 14000, Algeria
3
Departamento de Matemática, Universidade de Aveiro, 3810-193 Aveiro, Portugal
4
Laboratory of Fundamental and Applied Mathematics (LMFAO), University of Oran 1, Oran 31000, Algeria
5
Department of Mathematics, Faculty of Science and Technology, Relizane University, Relizane 48000, Algeria
*
Author to whom correspondence should be addressed.
Fractal Fract. 2025, 9(3), 139; https://doi.org/10.3390/fractalfract9030139
Submission received: 30 December 2024 / Revised: 11 February 2025 / Accepted: 17 February 2025 / Published: 22 February 2025

Abstract

The thermistor model captures the complex interaction between heat dissipation, electrical current conduction, and Joule heat generation. Our research examines the diverse properties and implications of employing fractional calculus in the analysis with a focus on fixed-point principles. This paper addresses the existence and uniqueness of solutions to a variable order Caputo fractional thermistor problem by applying Schauder’s fixed-point theorem.

1. Introduction

A thermistor, the name being a blend of the words “thermal” and “resistor”, is a resistor whose resistance changes with temperature [1,2,3,4]. As can be seen from the references in this paper, during the last two decades, a number of researchers (see [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18]) have studied the complexities of the thermistor problem. Their works have included proving the existence and uniqueness of weak solutions to the problem. Some recent work (see [19,20,21,22,23,24,25]) has even shifted towards computational approaches to examine the thermistor problem in various mechanical contexts by utilizing techniques such as finite difference [19,20] and finite element methods [21,22]. These models capture the interactions between heat dissipation, electrical conduction, and Joules heat generation; for further physical details, see [5]. Notably, this model integrates thermo-visco-elastic effects, which sets it apart from earlier models. The existence of a unique weak solution to the problem was established in [5] by using regularization, time-retarding, and a fixed-point argument.
Positive temperature coefficient (PTC) thermistors are known for their property of increasing resistance as temperature rises. These components are commonly used in series configurations within circuits and act as current limiters to protect the circuitry by serving as substitutes for fuses. As electrical current flows through a PTC thermistor, it generates a small amount of resistive heat. If the current exceeds a certain threshold, the heat generated surpasses the thermistor’s ability to dissipate it, which then causes the device to heat up. This rise in temperature increases the resistance and creates a feedback loop that further elevates resistance and subsequently reduces current flow.
Negative temperature coefficient (NTC) thermistors, which exhibit decreasing resistance with rising temperature, are widely used as temperature sensors in various applications such as fluid temperatures in engine coolants, automotive cabin air, and engine oil. They then transmit these data to control units. In the food processing industry, for example, they ensure optimal temperatures are maintained to prevent spoilage. Additionally, NTC thermistors provide precise temperature regulation in household appliances such as toasters, coffee makers, refrigerators, freezers, and hair dryers. These thermistors come in various physical forms, including axial-loaded glass-encapsulated diodes, epoxy-coated versions with insulated lead wires, cylindrical rods, and disk-shaped configurations, all to meet various application needs. The versatility and reliability of NTC thermistors make them essential in a wide range of temperature sensitive systems and applications across various industries. Their precise measurement and response to temperature changes are crucial for thermal management, temperature control, and temperature sensing applications.
Ammi and Torres [6] investigated the behavior of NTC thermistors and proved the existence and uniqueness of positive solutions to fractional Riemann–Liouville nonlocal thermistor problems on an arbitrary time scale. This research enhanced the mathematical modeling and the understanding of NTC thermistors by providing insights that can inform the design, optimization, and implementation of these components in diverse engineering and scientific fields.
In [7], local and global existence results were established for nonlocal thermistor problems involving a Caputo fractional derivative. The research in [8] resulted in a tube solution to a nonlocal thermistor problem containing conformable fractional derivatives by using fixed-point theory. Shi and Yang [22], analyzed superclose and superconvergence properties of a nonlinear Caputo fractional thermistor problem using a bilinear finite element method. Vivek et al. [9] explored the dynamics and Ulam stability of thermistor problems involving a Hilfer fractional derivative by employing Schauder’s fixed point theorem.
Motivated by these studies, Mazzouz and Henderson [4] investigated the existence and uniqueness of solutions to the Caputo–Katugampola fractional thermistor problem,
D ı . c ¥ ( ) = λ ( , ¥ ( ) ) ( υ 1 υ 2 ( , ¥ ( ) ) d ) 2 , ı > 0 , 0 < < 1 , J = [ υ 1 , υ 2 ] , υ 1 0 , ¥ ( υ 1 ) = ¥ υ 1 R ,
where D ı . c is the Caputo–Katugampola fractional derivative of order , ¥ describes the temperature distribution within a conductor over time ≀, denotes the electrical conductivity, and λ is a parameter.
In this paper, we apply fixed-point techniques to investigate the existence and uniqueness of solutions to the variable order Caputo fractional thermistor problem,
D ( ) c ¥ ( ) = λ ( , ¥ ( ) ) ( υ 1 υ 2 ( , ¥ ( ) ) d ) 2 , 0 < ( ) < 1 , J = υ 1 , υ 2 , υ 1 0 , ¥ ( υ 1 ) = ¥ υ 1 R .
Here, D ( ) c is a variable order Caputo fractional derivative of order ( ) , ¥ represents the temperature distribution within a conductor over time ≀, is the electrical conductivity, and λ is a parameter.
Problems involving variable order fractional operators are very useful in other situations such as in viscoelasticity in which the parameters depend on the temperature variation.
Our paper is structured as follows. In Section 2, we review essential definitions and notation for this study. Section 3 contains our main findings. Section 5 contains an example with numerical simulations of our results.

2. Basic Concepts

In this section, we present the concepts needed to derive our results.
Let [ υ 1 , υ 2 ] be an interval in R . We define C ( J , R ) as the Banach space of continuous functions P : [ υ 1 , υ 2 ] R endowed with the supremum norm
( ) = sup { | ( ) | : [ υ 1 , υ 2 ] } ,
and L 1 ( [ υ 1 , υ 2 ] , R ) is the Banach space of measurable functions : [ υ 1 , υ 2 ] R that are Lebesgue integrable with the norm
L 1 = 0 υ 2 | ( s ) | d s .
Definition 1
([26,27,28]). Let < υ 1 < υ 2 < , and : [ υ 1 , υ 2 ] ( 0 , + ) . The left Riemann–Liouville fractional integral of variable order ( ) of the function ℏ is defined by
I 0 ( ) ( ) = 0 ( s ) ( ) 1 Γ ( ( ) ) ( s ) d s , > 0 .
Definition 2
([27]). The variable order Caputo derivative of order ( ) of the function ℏ is defined as
D 0 ( ) c ( ) = 1 Γ ( n ( ) ) 0 ( s ) ( ) 1 ( n ) ( s ) d s , > 0 , ( ) > 0 .
Definition 3.
The Riemann–Liouville fractional derivative of variable order ( ) of the function h is defined by
D ( ) RL h ( ) = ρ ( ) n + 1 ( ) Γ ( n ( ) ) 1 ρ d d n a ( ρ s ρ ) n ( ) 1 s ρ 1 h ( s ) d s , > a ,
where n = [ ( ) ] + 1 .
Remark 1
([29] (p. 32), [19] (Lemma 1)). The variable order Riemann–Liouville derivative and the variable order Caputo derivative are linked by the relationship
D ( ) RL ( ) = k = 0 n 1 ( k ) ( 0 ) k ( ) Γ ( 1 + k ( ) ) + D ( ) c ( ) , where 0 < ( ) < 1 ,
and
D ( ) c ( ) = D ( ) R L [ ( ) ( 0 ) ] .
In what follows, [ i ] denotes the greatest integer function of i.
Definition 4
([30]). The Caputo fractional derivative of order > 0 of a continuous function f is defined as
D c ( ) = 1 Γ ( n ) 0 ( s ) n 1 d n d s n ( ( s ) ) d s ,
where n 1 < < n and n = [ ] + 1 .
Lemma 1
([31]). Given 1 , 2 > 0 , 0 < υ 1 < υ 2 , ¥ L 1 ( υ 1 , υ 2 ) , and D 1 + c ¥ L 1 ( υ 1 , υ 2 ) , the unique solution of the equation
D 1 + ¥ ( ) = 0
is given by
¥ ( ) = ρ 0 + ρ 1 ( a ) + ρ 2 ( a ) 2 + + ρ ı 1 ( a ) ı 1 ,
where ρ j R , j = 0 , 1 , , i 1 . Moreover,
I + D + c ¥ ( ) = ¥ ( ) + ρ 0 + ρ 1 ( 1 ) + ρ 2 ( 1 ) 2 + + ρ ı 1 ( 1 ) ı 1 ,
D + c I + ¥ ( ) = ¥ ( ) ,
and
I + 1 I + 2 ¥ ( ) = I + 2 I + 1 ¥ ( ) = I + 1 + 2 ¥ ( ) .
Definition 5
([31]). Let S be a subset of R .
(i) 
S is called a generalized interval if it is either a standard interval, a point, or ∅.
(ii) 
If S is a generalized interval, then the finite set P consisting of generalized intervals contained in S is called a partition of S provided that every S lies in exactly one of the intervals I in the finite set P .
(iii) 
We say that the function : [ υ 1 , υ 2 ] R is piecewise constant with respect to the partition P of S, if for any I P , ℵ is constant on I .
The following result, known as Schauder’s fixed-point theorem, will be the main tool used in proving our results.
Theorem 1
([32] (Theorem 3.2)). Let A be a Banach space, B be a nonempty bounded convex and closed subset of A , and G : B B be a compact and continuous map. Then, G has at least one fixed point in B .

3. Main Results

This section contains the main results of our research. Our first goal is to obtain an integral representation for a solution to our problem. We first need to point out that [ K ( ) ] = 0 so that in what follows, n = [ K ( ) ] + 1 = 1 .
Take
P = { [ υ 1 , 1 ] , ( 1 , 2 ] , ( 2 , 3 ] , , ( k 1 , υ 2 ] }
to be a partition of the interval [ υ 1 , υ 2 ] , and consider the function ( ) : [ υ 1 , υ 2 ] ( 0 , 1 ) that is piecewise constant with respect to P ; this function is defined as
( ) = ı = 1 k ı χ ı ( ) , for [ υ 1 , υ 2 ] ,
where 0 < ı < 1 for each ı = 1 , 2 , , k , and the constants ı are defined over the intervals specified by P . Here, χ ı denotes the indicator (characteristic) function for the interval [ ı 1 , ı ] , where 0 = υ 1 , k = υ 2 , and is defined by
χ ı ( ) = 1 , if [ ı 1 , ı ] , 0 , otherwise .
Thus, in view of Definition 4,
D ( ) c ¥ ( ) = 1 Γ ( 1 ı = 1 k ı χ ı ( ) ) υ 1 ( s ) 1 ı = 1 k ı χ ı ( ) 1 d d s ( ¥ ( s ) ) d s = 1 Γ ( 1 ı = 1 k ı χ ı ( ) ) υ 1 ( s ) 1 ı = 1 k ı χ ı ( ) 1 ¥ ( s ) d s = λ ( , ¥ ( ) ) ( υ 1 υ 2 ( , ¥ ( ) ) d ) 2 .
for 0 υ 1 υ 2 < + . We denote by Z ı = C ( [ ı 1 , ı ] , R ) , the class of functions that form a Banach space with the norm
¥ Z ı = sup [ ı 1 , ı ] { | ¥ ( ) | : i { 1 , 2 , , k } } .
For each i { 2 , , k } , let the functions ¥ ^ i Z i be such that ¥ ^ ı ( ) = 0 for all [ υ 1 , i 1 ] . Therefore, in the interval [ υ 1 , 1 ] we have
D 1 c ¥ ^ ( ) = 1 Γ ( 1 1 ) υ 1 ( s ) 1 ¥ ^ ( s ) d s = λ ( , ¥ ( ) ) ( υ 1 ( , ¥ ^ ( ) ) d t ) 2 .
In the interval ( 1 , 2 ] ,
D 2 c ¥ ^ ( ) = 1 Γ ( 1 2 ) 1 ( s ) 2 ¥ ^ ( s ) d s = λ ( , ¥ ( ) ) ( 1 ( , ¥ ^ ( ) ) d t ) 2 .
In general, in ( ı 1 , ı ] , we have
D ı c ¥ ^ ( ) = 1 Γ ( 1 ı ) ı 1 + ( s ) ı ¥ ^ ( s ) d s = λ ( , ¥ ( ) ) ( ı 1 + ( , ¥ ^ ( ) ) d t ) 2 .
Consequently, for each ı { 1 , 2 , , k } , we examine the auxiliary constant-order initial value problem
D ı c ¥ ^ ( ) = λ ( , ¥ ( ) ) ( ı 1 + ( , ¥ ^ ( ) ) d t ) 2 , ı 1 < < ı , ¥ ^ ( υ 1 ) = ¥ ^ υ 1 .
Definition 6.
We define the solution of problem (2) to be ¥ if there exist functions ¥ i such that ¥ 1 Z 1 satisfies (9) and ¥ 1 ( υ 1 ) = ¥ 1 ( 0 ) = ¥ ^ υ 1 ; ¥ 2 Z 2 satisfies (10) and ¥ 2 ( 0 ) = ¥ 2 ( 1 ) = ¥ ^ υ 1 ; …; ¥ ı Z ı satisfies (11) and ¥ ı ( ı 1 ) = ¥ ı ( ı ) = ¥ ^ υ 1 for ı = { 3 , , k } .
Remark 2.
We say that problem (2) possesses a unique solution in C ( [ υ 1 , υ 2 ] , R ) if the functions ¥ ^ i are unique for each i { 1 , 2 , , k } .
Lemma 2.
For ı { 1 , 2 , , k } , the function ¥ ^ i is a solution of (12) if and only if it satisfies the integral equation
¥ ^ i ( ) = ¥ ^ υ 1 + 1 Γ ( i ) i 1 ( s ) i 1 ( s ) d s .
for ( i 1 , i ] for each i { 1 , 2 , , k } .
Proof. 
Given that ¥ ^ satisfies (12), we rewrite (12) as the equivalent integral equation as follows: For ı 1 < < ı , by Lemma 1,
I + ı D + ı c ¥ ( ) = I + ı ( ) + ρ 0 ,
where
( ) = λ ( , ¥ ^ ( ) ) ( υ 1 υ 2 ( , ¥ ( ) ) d ) 2 .
Using the boundary conditions ¥ ^ ( υ 1 ) = ¥ ^ υ 1 , we obtain
¥ ^ ( ) = ¥ ^ υ 1 + 1 Γ ( ı ) ı 1 ( s ) ı 1 ( s ) d s .
For the sake of brevity, we set
N ı ( s ) = ( s ) ı 1 Γ ( ı ) and ¥ ^ ( ) = ( , ¥ ^ ( ) ) .
It is easy to verify that
υ 1 N ı ( s ) d s υ 1 υ 2 N υ 2 ı ( s ) d s = ( υ 2 υ 1 ) ı Γ ( ı + 1 ) = N .
Prior to presenting our primary findings, we list the following hypotheses that are needed in our analysis.
( C 1 )
is continuous;
( C 2 )
| ¥ ^ 2 ( ) ¥ ^ 1 ( ) | k | ¥ ^ 2 ¥ ^ 1 | , k > 0 , for all J and ¥ ^ 1 , ¥ ^ 2 R ;
( C 3 )
0 < c ¥ ^ ( ) , for all J and ¥ ^ R ;
( C 4 )
For i = 1 , 2 , , k
¥ ^ υ 1 ( c ( ı ı 1 ) ) 2 + λ N 0 ( c ( ı ı 1 ) ) 2 λ N k < δ i .
Theorem 2.
Assume that conditions ( C 1 ) ( C 4 ) hold. Then, the boundary value problem (2) possesses at least one solution in C ( [ υ 1 , υ 2 ] , R ) .
Proof. 
Consider the mapping G i : Z ı Z ı given by
( G i ¥ ^ ) ( ) = ¥ ^ υ 1 + λ ı 1 ¥ ^ ( s ) N ı ( s ) ( i 1 i ¥ ^ ( ) d ) 2 d s .
Let the ball B δ ı = { ¥ ^ Z ı : ¥ ^ Z ı δ ı } be the nonempty, closed, bounded, convex subset of Z ı , where
δ ı ¥ ^ υ 1 + λ N 0 ( c ( ı ı 1 ) ) 2 1 λ N k ( c ( ı ı 1 ) ) 2 .
The proof will be given through several claims.
Claim 1: The function G i is continuous for each i { 1 , 2 , , k } . Suppose that { ¥ ^ m } is a sequence such that ¥ ^ m ¥ ^ in B δ i . For each i { 1 , 2 , , k } and for every [ i 1 , i ] , we have
( G i ¥ m ^ ) ( ) ( G i ¥ ^ ) ( ) λ ı 1 N i ( s ) ¥ ^ m ( s ) ( i 1 i ¥ ^ m ( ) d ) 2 ¥ ^ ( s ) ( i 1 i ¥ ^ ( ) d ) 2 d s λ ı 1 N ı ( s ) ¥ ^ m ( s ) ¥ ^ ( s ) ( ı 1 ı ¥ ^ m ( ) d ) 2 + ¥ ^ ( s ) ( ı 1 ı ¥ ^ m ( ) d ) 2 ¥ ^ ( s ) ( ı 1 ı ¥ ^ ( ) d ) 2 d s λ ı 1 N ı ( s ) k | ¥ ^ m ( s ) ¥ ^ ( s ) | ( ı 1 ı ¥ ^ m ( ) d ) 2 + ı 1 ı ¥ ^ m ( ) d 2 ı 1 ı ¥ ^ ( ) d 2 ı 1 ı ¥ ^ m ( ) d 2 ı 1 ı ¥ ^ ( ) d 2 | ¥ ^ ( s ) | d s λ ( c ( ı ı 1 ) ) 2 i 1 N ı ( s ) k | ¥ ^ m ( s ) ¥ ^ ( s ) | + k ¥ ^ Z ı + 0 ( c ( ı ı 1 ) ) 4 ı 1 ı ¥ ^ m ( ) d 2 ı 1 ı ¥ ^ ( ) d 2 d s λ i 1 N ı ( s ) k | ¥ ^ m ( s ) ¥ ^ ( s ) | ( c ( i i 1 ) ) 2 + k ¥ ^ Z ı + 0 ( c ( ı ı 1 ) ) 4 × ı 1 ı ¥ ^ m ( ) d 2 ı 1 ı ¥ ^ ( ) d 2 d s λ ( c ( ı ı 1 ) ) 2 ı 1 N ı ( s ) k | ¥ ^ m ( s ) ¥ ^ ( s ) | + k ¥ ^ Z ı + 0 ( c ( ı ı 1 ) ) 2 × ı 1 ı ¥ ^ m ( ) d ı 1 ı ¥ ^ ( ) d ı 1 ı ¥ ^ m ( ) d + ı 1 ı ¥ ^ ( ) d d s λ ( c ( ı ı 1 ) ) 2 i 1 N ı ( s ) × k | ¥ ^ m ( s ) ¥ ^ ( s ) | + 2 k ¥ ^ Z ı + 0 2 ( c ( ı ı 1 ) ) 2 ı 1 ı | ¥ ^ m ( ) ¥ ^ ( ) | d d s λ k ( c ( ı ı 1 ) ) 2 ı 1 N ı ( s ) 1 + 2 k ¥ ^ Z ı + 0 2 c 2 ¥ ^ m ( s ) ¥ ^ ( s ) d s λ k c 2 + 2 k ¥ ^ Z ı + 0 2 ( c 2 ( ı ı 1 ) ) 2 i 1 N ı ( s ) ¥ ^ m ( s ) ¥ ^ ( s ) d s λ k c 2 + 2 k ¥ ^ Z ı + 0 2 N ( c 2 ( ı ı 1 ) ) 2 ¥ ^ m ( s ) ¥ ^ ( s ) .
Since { ¥ ^ m } ¥ ^ and is continuous, the right-hand side of the above inequality tends to zero as m + . Therefore,
( G i ¥ ^ ) ( ) ( G i ¥ ^ ) ( ) Z ı 0 as m + ,
and so G i is continuous.
Claim 2: For each i { 1 , 2 , , k } , G ( B δ ı ) B δ ı . We have
( G ¥ ^ ) ( ) = ¥ ^ υ 1 + λ ı 1 ¥ ^ ( s ) N ı ( s ) ( ı 1 ı ¥ ^ ( ) d ) 2 d s ¥ ^ υ 1 + λ ı 1 ¥ ^ ( s ) N ı ( s ) ( ı 1 ı ¥ ^ ( ) d ) 2 d s ¥ ^ υ 1 + λ ( c ( ı ı 1 ) ) 2 ı 1 ( | ¥ ^ ( s ) 0 ( s ) | + | 0 ( s ) | ) N ı ( s ) d s ¥ ^ υ 1 + λ ( k ¥ ^ Z ı + max ı j | 0 ( s ) | ) ( c ( ı ı 1 ) ) 2 ı 1 N ı ( s ) d s ¥ ^ υ 1 + λ ( k ¥ ^ Z ı + max ı j | 0 ( s ) | ) ( c ( ı ı 1 ) ) 2 ı 1 N ı ( s ) d s ¥ ^ υ 1 + λ N ( k ¥ ^ Z ı + 0 ) ( c ( ı ı 1 ) ) 2 δ i ,
where 0 = max ı j | 0 ( s ) | , which proves the claim.
Claim 3:  G i is relatively compact for each i { 1 , 2 , , k } . From Claim 2, G i ( B δ ı ) B δ ı , so G i ( B δ ı ) is uniformly bounded. It remains to show the equicontinuity of G i for each i { 1 , 2 , , k } .
Consider 1 , 2 ( i 1 , i ] . Then,
( G i ¥ ^ ) ( 2 ) ( G i ¥ ^ ) ( 1 ) = λ ı 1 2 ¥ ^ ( s ) N 2 ı ( s ) ( i 1 i ¥ ^ ( ) d ) 2 d s λ ı 1 1 ¥ ^ ( s ) N 1 ı ( s ) ( i 1 i ¥ ^ ( ) d ) 2 d s λ ı 1 2 ¥ ^ ( s ) N 2 ı ( s ) ( i 1 i ¥ ^ ( ) d ) 2 d s λ ı 1 1 ¥ ^ ( s ) N 1 ı ( s ) ( i 1 i ¥ ^ ( ) d ) 2 d s λ ( c ( ı ı 1 ) ) 2 ı 1 2 ¥ ^ ( s ) N 2 ı ( s ) d s ı 1 1 ¥ ^ ( s ) N 1 ı ( s ) d s λ ( c ( ı ı 1 ) ) 2 ı 1 1 ¥ ^ ( s ) N 2 ı ( s ) N 1 ı ( s ) d s + 1 2 ¥ ^ ( s ) N 1 ı ( s ) d s λ k ¥ ^ Z ı + 0 ( c ( ı ı 1 ) ) 2 ı 1 1 N 2 ı ( s ) N 1 ı ( s ) d s + 1 2 N 1 ı ( s ) d s λ k ¥ ^ Z ı + 0 ( c ( ı ı 1 ) ) 2 2 ( 2 1 ) ı + ( 1 ı 1 ) ı ( 2 ı 1 ) ı .
As 1 2 , the right-hand side of the above inequality approaches zero, so the mapping G i is equicontinuous. Thus, by the Ascoli–Arzelà theorem, the mapping G i is relatively compact on B δ i .
Theorem 1 thus ensures that the auxiliary boundary value problem (12) possesses at least one solution in B δ i for each i { 1 , 2 , , k } . Consequently, the boundary value problem (2) possesses at least one solution in C ( [ υ 1 , υ 2 ] , R ) given by
¥ ( ) = ¥ 1 ( ) = ¥ ^ ( ) , [ υ 1 , 1 ] , ¥ 2 ( ) = 0 , [ υ 1 , 1 ] , ¥ ^ 2 ( ) , ( 1 , 2 ] , ¥ k ( ) = 0 , [ υ 1 , k ] , ¥ ^ n ( ) , ( k 1 , k ] ,
Theorem 3.
Assume that conditions ( C 1 ) and ( C 2 ) hold with 0 < c 1 ¥ ^ ( ) < c 2 for all J and ¥ ^ R . Then, Equation (12) has a unique solution in [ υ 1 , υ 2 ] for each i { 1 , 2 , , k } , provided that
λ k c 1 2 + 2 c 2 2 N ( c 1 2 ( ı ı 1 ) ) 2 1 .
Proof. 
As in Claim 2 in the proof of Theorem 2, the mapping G i : B δ ı B δ ı is uniformly bounded. It remains to show that G i is a contraction.
Consider i { 1 , 2 , , k } and let ¥ i , ¥ i B δ i . Then,
( G i ¥ ı ) ( ) ( G i ¥ ı ) ( ) = λ ı 1 ¥ ı ( s ) N ı ( s ) ( ı 1 ı ¥ ı ( ) d ) 2 d s λ ı 1 ¥ ı ( s ) N ı ( s ) ( ı 1 i ¥ ı ( ) d ) 2 d s λ i 1 i N i ( s ) ¥ i ( s ) ( i 1 i ¥ i ( ) d ) 2 ¥ i ( s ) ( i 1 i ¥ i ( ) d ) 2 d s λ i 1 i N i ( s ) ¥ i ( s ) ¥ i ( s ) ( i 1 i ¥ i ( ) d ) 2 + ¥ i ( s ) ( i 1 i ¥ i ( ) d ) 2 ¥ i ( s ) ( i 1 i ¥ i ( ) d ) 2 d s λ i 1 N i ( s ) k | ¥ i ( s ) ¥ ( s ) | ( i 1 i ¥ ( ) d ) 2 + i 1 i ¥ i ( ) d 2 i 1 i ¥ i ( ) d 2 ı 1 ı ¥ ı ( ) d 2 ı 1 ı ¥ ı ( ) d 2 | ¥ ı ( s ) | d s λ ı 1 N ı ( s ) k | ¥ ı ( s ) ¥ ı ( s ) | ( c 1 ( ı ı 1 ) ) 2 + c 2 ( c 1 ( ı ı 1 ) ) 4 ı 1 ı ¥ ı ( ) d 2 ı 1 ı ¥ ı ( ) d 2 d s λ ( c 1 ( ı ı 1 ) ) 2 ı 1 N ı ( s ) k | ¥ ı ( s ) ¥ ı ( s ) | + c 2 ( c 1 ( ı ı 1 ) ) 2 ı 1 ı ¥ ı ( ) ¥ ı ( ) d ı 1 ı ¥ ı ( ) + ¥ ı ( ) d d s λ ( c 1 ( ı ı 1 ) ) 2 ı 1 N ı ( s ) k | ¥ ı ( s ) ¥ ı ( s ) | + 2 c 2 2 c 1 2 ( ı ı 1 ) ı 1 ı ¥ ı ( ) ¥ ı ( ) d d s λ k ( c 1 ( ı ı 1 ) ) 2 ı 1 ı N ı ( s ) 1 + 2 c 2 2 c 1 2 | ¥ ı ( s ) ¥ ı ( s ) | d s λ k c 1 2 + 2 c 2 2 N ( c 1 2 ( ı ı 1 ) ) 2 ¥ ı ( s ) ¥ ı ( s ) Z ı .
Since (16) holds for each i { 1 , 2 , , k } , G i is a contraction. By Banach’s fixed-point theorem, it follows that G i has a unique fixed point that corresponds to a unique solution of Equation (12) in the interval ( i , i ] for each i { 1 , 2 , , k } . In view of Remark 2, the uniqueness of solutions to Equation (2) is obtained.  □

4. An Example

To demonstrate the implications of our main results in this paper, consider the initial value problem
D ( ) c ¥ ( ) = 1 1000 1 4 + + 3 7 | ¥ ( ) | 0 1 1 4 + + 3 7 | ¥ ( ) | d 2 , [ 0 , 1 ] , ¥ ( 0 ) = 1 3 .
The exact solution to this problem is depicted in Figure 1.
Here we have ( , ¥ ( ) ) = 1 4 + + 3 7 ¥ ( ) , 1 = 1 2 , and 2 = 1 , λ = 1 1000 , ¥ R + , so that our partition of [ 0 , 1 ] becomes P = { [ 0 , 1 2 ] , ( 1 2 , 1 ] } . We take
( ) = 3 7 , if [ 0 , 1 2 ] , 3 4 , if ( 1 2 , 1 ] .
Consider the auxiliary initial value problems corresponding to (17)
D 3 7 c ¥ ( ) = 1 1000 1 4 + + 3 7 | ¥ ( ) | 0 1 1 4 + + 3 7 | ¥ ( ) | d 2 , [ 0 , 1 2 ] , ¥ ( 0 ) = 1 3 ,
and
D 3 4 c ¥ ( ) = 1 1000 1 4 + + 3 7 ¥ ( ) | 0 1 1 4 + + 3 7 | ¥ ( ) | d 2 , ( 1 2 , 1 ] , ¥ ( 0 ) = 1 3 .
Since
| ( , ¥ 2 ( ) ) ( , ¥ 1 ( ) ) | = 3 7 1 4 + + ¥ 2 ( ) ¥ 1 ( ) 1 4 + 3 7 | ¥ 2 ( ) ¥ 1 ( ) | ,
conditions ( C 1 ) and ( C 2 ) are satisfied with k = 3 7 . It can easily be seen that
2 9 ¥ ( ) 13 28 , N = N = 2 3 7 Γ ( 10 7 ) , [ 0 , 1 2 ] , 1 4 ¥ ( ) 55 126 , N = 2 3 4 Γ ( 7 4 ) , ( 1 2 , 1 ] .
and
λ k c 1 2 + 2 c 2 2 N ( c 1 2 ( ı ı 1 ) ) 2 0.88622224492 1 , λ k c 1 2 + 2 c 2 2 N ( c 1 2 ( ı ı 1 ) ) 2 0.12594989224 1 .
By Theorem 3, a unique solution to problem (17) exists and is given by
¥ ( ) = ¥ 1 ( ) = ¥ ^ 1 ( ) , [ 0 , 1 2 ] , ¥ 2 ( ) = 0 , [ 0 , 1 2 ] , ¥ ^ 2 ( ) , ( 1 2 , 1 ] .
The approximate solution to problem (17) as determined by (18)–(19) is pictured in Figure 2.

5. Discussion

In this paper, the authors examine a variable order fractional Caputo model for thermistors. Thermistors have important applications in engine cooling and automotive cabin air control as well as in many household appliances such as coffee makers, toasters, refrigerators, freezers, and hair dryers. Conditions guaranteeing the existence and uniqueness of solutions are given by an application of Schauder’s fixed-point theorem. An example is included for illustrative purposes.
As pointed out by one of the reviewers, since the Caputo–Katugampola (CK) fractional operator is a generalization of the Caputo fractional operator, proving the existence and uniqueness of solutions to the CK problem also demonstrates it for the Caputo problem.
As was mentioned in the Introduction, problems involving variable order fractional operators can be useful in many other settings. It is hope that the work here will motivate others to explore variable order fracional problems in other types of applications.
Directions for future research include using other fractional derivatives in the model as well as looking at such models that contain impulsive effects.

Author Contributions

Conceptualization, J.R.G., K.M., S.P., Z.B., and N.B.; methodology, J.R.G., K.M., S.P., Z.B., and N.B.; formal analysis, J.R.G., K.M., S.P., Z.B., and N.B.; investigation, J.R.G., K.M., S.P., Z.B., and N.B.; writing—original draft preparation, J.R.G., K.M., S.P., Z.B., and N.B.; writing—review and editing, J.R.G., K.M., S.P., Z.B., and N.B. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

No new data were created or analyzed in this study. Data sharing is not applicable to this article.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Allegretto, W.; Xie, H. A nonlocal thermistor problem. Europ. J. Appl. Math. 1995, 6, 83–94. [Google Scholar] [CrossRef]
  2. Antontsev, S.N.; Chipot, M. The thermistor problem: Existence, smoothness, uniqueness, blowup. SIAM J. Math. Anal. 1994, 25, 1128–1156. [Google Scholar] [CrossRef]
  3. Lacey, A.A. Thermal runaway in a nonlocal problem modelling ohmic heating: Part I: Model derivation and some special cases. Europ. J. Appl. Math. 1995, 6, 127–144. [Google Scholar] [CrossRef]
  4. Mazzouz, K.; Henderson, J. Existence and uniqueness of solutions for a Caputo-Katugampola fractional thermistor problem. Commun. Appl. Nonlinear Anal. 2021, 28, 43–56. [Google Scholar]
  5. Kuttler, K.L.; Shillor, M.; Fernandez, J.R. Existence for the thermoviscoelastic thermistor problem. Differ. Equations Dynam. Syst. 2008, 16, 309–332. [Google Scholar] [CrossRef]
  6. 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. 2018, 30, 381–385. [Google Scholar] [CrossRef]
  7. Ammi, M.R.S.; Jamiai, I.; Torres, D.F.M. Global existence of solutions for a fractional Caputo nonlocal thermistor problem. Adv. Differ. Equ. 2017, 2017, 363. [Google Scholar] [CrossRef]
  8. Ammi, M.R.S.; Torres, D.F.M. Existence of solution to a nonlocal conformable fractional thermistor problem. Commun. Fac. Sci. Univ. Ank. Ser. A1 Math. Stat. 2019, 68, 1061–1072. [Google Scholar] [CrossRef]
  9. Vivek, D.; Kanagarajan, K.; Sivasundaram, S. Dynamics and stability results for Hilfer fractional type thermistor problem. Fractal Fract. 2017, 1, 5. [Google Scholar] [CrossRef]
  10. Allegreto, W.; Lin, Y.; Ma, S. Existence and long time behaviour of solutions to obstacle thermistor equations. Discret. Contin. Dyn. Sys. 2002, 8, 757–780. [Google Scholar] [CrossRef]
  11. Allegreto, W.; Lin, Y.; Zhou, A. A box scheme for coupled systems resulting from microsensor thermistor problems. Dynam. Contin. Discret. Impuls. Systems 1999, 5, 209–223. [Google Scholar]
  12. Chen, X. Existence and regularity of solutions of a nonlinear degenerate elliptic system arising from a thermistor problem. J. Partial Differ. Equ. 1994, 7, 19–34. [Google Scholar]
  13. Cimatti, G. Remark on the existence and uniqueness for the thermistor problem under mixed boundary conditions. Quart. J. Mech. Appl. Math. 1989, 47, 117–121. [Google Scholar] [CrossRef]
  14. Howison, S.D. A note on the thermistor problem in two space dimension. Quart. J. Mech. Appl. Math. 1989, 47, 509–512. [Google Scholar] [CrossRef]
  15. Howison, S.D.; Rodrigues, J.; Shillor, M. Stationary solutions to the thermistor problem. J. Math. Anal. Appl. 1993, 174, 573–588. [Google Scholar] [CrossRef]
  16. Xie, H.; Allegretto, W. Cα( Ω ¯ ) solutions of a class of nonlinear degenerate elliptic systems arising in the thermistor problem. SIAM J. Math. Anal. 1991, 22, 1491–1499. [Google Scholar] [CrossRef]
  17. Xu, X. The thermistor problem with conductivity vanishing for large temperature. Proc. Roy. Soc. Edinb. Sect. A 1994, 124, 1–21. [Google Scholar] [CrossRef]
  18. Xu, X. Local regularity theorems for the stationary thermistor problem. Proc. Roy. Soc. Edinb. Sect. A 2004, 134, 773–782. [Google Scholar] [CrossRef]
  19. Caoa, J.; Qiub, Y. A high order numerical scheme for variable order fractional ordinary differential equation. Appl. Math. Lett. 2016, 61, 88–94. [Google Scholar] [CrossRef]
  20. Kutluay, S.; Bahadir, A.R.; Özdeş, A. A variety of finite difference methods to the thermistor with a new modified electrical conductivity. Appl. Math. Comput. 1999, 106, 205–213. [Google Scholar] [CrossRef]
  21. Kutluay, S.; Esen, E. A B-spline finite element method for the thermistor problem with the modified electrical conductivity. Appl. Math. Comput. 2004, 156, 621–632. [Google Scholar] [CrossRef]
  22. Shi, D.; Yang, H. Superconvergence analysis of finite element method for time-fractional thermistor problem. Appl. Math. Comput. 2018, 323, 31–42. [Google Scholar] [CrossRef]
  23. Bahadir, A.R. Application of cubic B-spline finite element technique to the thermistor problem. Appl. Math. Comput. 2004, 149, 379–387. [Google Scholar] [CrossRef]
  24. Kutluay, S.; Wood, A.S. Numerical solutions of the thermistor problem with a ramp electrical conductivity. Appl. Math. Comput. 2004, 148, 145–162. [Google Scholar] [CrossRef]
  25. Zhou, S.; Westbrook, D.R. Numerical solutions of the thermistor equations. J. Comput. Appl. Math. 1997, 79, 101–118. [Google Scholar] [CrossRef]
  26. Samko, S.G. Fractional integration and differentiation of variable order. Anal. Math. 1995, 21, 213–236. [Google Scholar] [CrossRef]
  27. Samko, S.G.; Ross, B. Integration and differentiation to a variable fractional-order. Integral Transform. Spec. Funct. 1993, 1, 277–300. [Google Scholar] [CrossRef]
  28. Valério, D.; da Costa, J.S. Variable-order fractional derivatives and their numerical approximations. Signal Process. 2011, 91, 470–483. [Google Scholar] [CrossRef]
  29. Sun, H.; Chang, A.; Zhang, Y.; Chen, W. A review on variable-order fractional differential equations: Mathematical foundations, physical models, numerical methods and applications. Fract. Calc. Appl. Anal. 2019, 22, 27–59. [Google Scholar] [CrossRef]
  30. Lakshmikantham, V.; Vatsala, A.S. Basic theory of fractional differential equations. Nonlinear Anal. 2008, 69, 2677–2682. [Google Scholar] [CrossRef]
  31. Zhang, S. The uniqueness result of solutions to initial value problems of differential equations of variable-order. Rev. R. Acad. Cienc. Exactas Fis. Nat. Serie A Mat. 2018, 112, 407–423. [Google Scholar] [CrossRef]
  32. Granas, A.; Dugundji, J. Fixed Point Theory; Springer: New York, NY, USA, 2003. [Google Scholar]
Figure 1. Exact solution.
Figure 1. Exact solution.
Fractalfract 09 00139 g001
Figure 2. Approximate solution.
Figure 2. Approximate solution.
Fractalfract 09 00139 g002
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Graef, J.R.; Maazouz, K.; Pinelas, S.; Bellabes, Z.; Boussekkine, N. Existence of Solutions to the Variable Order Caputo Fractional Thermistor Problem. Fractal Fract. 2025, 9, 139. https://doi.org/10.3390/fractalfract9030139

AMA Style

Graef JR, Maazouz K, Pinelas S, Bellabes Z, Boussekkine N. Existence of Solutions to the Variable Order Caputo Fractional Thermistor Problem. Fractal and Fractional. 2025; 9(3):139. https://doi.org/10.3390/fractalfract9030139

Chicago/Turabian Style

Graef, John R., Kadda Maazouz, Sandra Pinelas, Zineb Bellabes, and Naima Boussekkine. 2025. "Existence of Solutions to the Variable Order Caputo Fractional Thermistor Problem" Fractal and Fractional 9, no. 3: 139. https://doi.org/10.3390/fractalfract9030139

APA Style

Graef, J. R., Maazouz, K., Pinelas, S., Bellabes, Z., & Boussekkine, N. (2025). Existence of Solutions to the Variable Order Caputo Fractional Thermistor Problem. Fractal and Fractional, 9(3), 139. https://doi.org/10.3390/fractalfract9030139

Article Metrics

Back to TopTop