Abstract
This paper aims to study the existence and stability results concerning a fractional partial differential equation with variable exponent source functions. The local existence result for \(\alpha \in (0,1)\) is established with the help of the \(\alpha \)-resolvent kernel and the Schauder-fixed point theorem. The non-continuation theorem is proved by the fixed point technique and accordingly the global existence of solution is achieved. The uniqueness of the solution is obtained using the contraction principle and the stability results are discussed by means of Ulam-Hyers and generalized Ulam-Hyers-Rassias stability concepts via the Picard operator. Examples are provided to illustrate the results.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The origin of fractional calculus can be dated back to the end of the seventeenth century when Newton and Leibniz developed the cornerstones of integral and differential calculus [13, 23, 32]. Over the past few decades, time-fractional partial differential equations have been used as a tool to open up various perspectives in the study of physical [19] and biological phenomena [21]. Professor Katsuyuki Nishimoto [30] quoted, “the fractional calculus is the calculus of the 21st century”. This fact is acknowledged by the enormous growth and a huge interest in the field of fractional calculus and applications in modeling chaotic dynamics [17], material sciences, economics [40], and control theory [9]. For instance, Tarasov [39] obtained fractional integro-differential equations for electromagnetic waves in a dielectric medium and proved that the electromagnetic fields whose susceptibility follows a fractional power-law dependence in a wide frequency range can be described by time-fractional differential equations. Likewise, K. A. Abro et al. [1] presented a mathematical analysis of plasma diffusion model with three types of fractional integro-differential equations and illustrated a comparative analysis to show their adaptabilites respectively. The memory effect in systems was incorporated into the integro-differential equations used to represent physical and biological phenomena. There are numerous contributions have been made to prove the existence results for the integro-differential systems. In this paper, we use the concept of resolvent operators to achieve our desired result. Zhu et al. [45] investigated the global existence of a nonlinear fractional differential equation by means of contraction principle. They scrutinized the fractional partial differential equation in its abstract form using \(\alpha \)- resolvent operator [12] and obtained its existence result. The existence of resolvent operators proved by Dos Santos, helps to examine a sort of fractional integro-differential equation [14] in its abstract form under appropriate conditions.
In recent decades, the stability analysis of nonlinear fractional systems were reviewed by many authors. Notably, Li et al. [24] propounded the definition of Mittag-Leffler stability and introduced the fractional Lyapunov direct method with fractional comparison principle. Though the Lyapunov direct method is one of the dominant technique for dealing the stability results, there are some disadvantages in constructing the Lyapunov functionals. The Lyapunov direct approach is merely a sufficient requirement to get the stability results, therefore even if a Lyapunov functional cannot be constructed, stability can still be attained. There are various types of stability technique (we refer [16]) in the literature. Among, Ulam-type stability problems have been scrutinized by many authors (see [6, 22, 37]). Under what conditions one can still say that the result of a theorem holds or is approximately true when altering slightly the assumption?. This question about the stability of functional equations was raised in a talk by Ulam in 1940 in Wisconsin University (for more details, we refer [41]). In 1941, Hyers [20] answerd his question which results in the concept of Ulam-Hyers stability. Further, Rassias [34] developed a generalization of Ulam-Hyers stability concept in 1948 that results in Ulam-Hyers-Rassias stability. The following are some results discussed regarding Ulam-Hyers stability. Abbas et al. [2] studied the stability of partial differential equations via Picard operators. Andras et al. [6] studied Ulam-Hyers stability of first order differential system with non-local condition. Marian et al. [29] provided a stability result for a system of partial differential equation using the Gronwall inequality and the fixed point technique.
Ulam-stability for Caputo fractional differential equations was initiated by Wang et al. [42] and Wei et al. [43]. Recent study of Ulam-stability involves the usage of Picard operators [35] especially the problems interrelated to the fixed point theory. This conceptual approach seems to be very powerful method in studying the existence and uniqueness results of partial differential equations and integral equations. In this study, we consider the following fractional nonlinear reaction-diffusion equation:
where \(\Omega =(0,L)\). The operator \(^C_0D^{\alpha }_t u\) represents the Caputo fractional derivative with respect to the time variable of order \(0<\alpha < 1\) and the function \(a(t-s)\) is a positive kernel. The nonlinear source term f(t, u) \(=\) \(b(x)u^{p(x)}\) or \(b(x)\int _{\Omega } u^{p(z)}\textrm{d}z\) which represents a human controlled distribution [28]. The variable coefficient b(x) and the variable exponent \(p(x):\Omega \rightarrow (1,\infty )\) is presumed to satisfy the following conditions:
Numerous works on problems concerning variable exponent source functions have been developed over the past few decades (for details, we refer [4, 5, 33] and references therein). Problems with source functions similar to (1.1) are found in many branches of applied mathematics and have been utilized to model chemical reactions, heat transfer, and population dynamics. For instance, in the absence of integro-differential term, when \(\alpha =1\), Pinasco [31] discussed a parabolic problem and proved the local existence using contraction principle. Also, the author discussed the blow-up phenomena using the differential inequality technique. When \(\alpha = 1\), \(\mathbb {D}=1\) and without the integro-differential term, the following problem:
where Q is a bounded domain in \(\mathbb {R}^n\), has been scrutinized by many authors, we refer [15, 44] and references therein for more details. In the sequel, Cao et al. [10] investigated the blow-up phenomena and long term behaviour of solutions for a fractional reaction-diffusion equation with weakly spatial source functions.
The main contribution of this paper is to prove the existence, non-continuation and Ulam stability of solution to a fractional integro-differential equation (1.1) with variable exponent source functions. First, we consider the given problem (1.1) in its abstract form using \(\alpha \)- resolvent operator and proceed further to prove the existence results using Schauder fixed point theorem. Further, we prove the stability theorem using some known results on Picard operators.
In the absence of variable exponent source functions and for integer order derivative, there are few works in the literature which are mentioned as follows: For \(\alpha =1\), an integro-differential equation is discussed in [11] where different types of Ulam-Hyers-Rassias stability results are investigated. Ma et al. [27] analyzed the existence of a Caputo fractional integro-differential equation using a Krasnoselskii fixed point theorem and they developed results on continuous dependance of mild solutions. Further, Akilandeeswari et al. [3] investigated the existence of solution of the fractional diffusion equation with integral kernel using Schauder fixed point theorem and Arzela-Ascoli theorem.
Motivated by the above works, this paper is organized as follows: In Sect. 2, the defintions of fractional operators, concepts of \(\alpha \)- resolvent operator and its qualitative properties and definitions of Ulam-Hyers stability are presented. In Sect. 3, the local existence of mild solution is established using Schauder fixed point technique. In Sect. 4, the global existence is achieved by proving non-continuation results to the problem (1.1) in its abstract form. In Sect. 5, the uniqueness and stability results via Picard operators are discussed. In Sect. 6, examples are provided to justify our results.
2 Preliminaries
The fundamental definitions of fractional calculus are reviewed in this section. Further, we address the idea of the \(\alpha \)- resolvent operator [14] for an abstract fractional integro-differential equation and their qualitative properties, which aid in proving the existence and uniqueness of mild solution. Moreover, we recall some definitions and properties of Picard operator that helps to obtain the stability results.
Definition 2.1
[23] The left and right sided Caputo partial fractional derivative of order \(\alpha >0\) with respect to the time variable t are defined respectively as follows:
where \(n-1< \alpha < n\); \(n\in \mathbb {N}\) and the function u(x, .) has absolutely continuous derivatives up to order \(n-1\).
Definition 2.2
[23] The Riemann-Liouville fractional integral operator of order \(\alpha \) with respect to time t of a function u(x, t) is defined by
where \(n-1< \alpha < n\); \(n\in \mathbb {N}\) and the function u(x, .) is an integrable function.
Now we define the operators \(Au=\mathbb {D}\displaystyle \frac{\partial ^2 u}{\partial x^2}\) and \(B(t)u= a(t)\displaystyle \frac{\partial ^2 u}{\partial x^2}\) for \(u\in D(A)\) and let \(X=L^2(\Omega )\). Further, let \(A: \mathscr {D}(A)\subset X\rightarrow X\) and \(B(t): \mathscr {D}(A)\subset X\rightarrow X\) are closed linear operators defined on a domain
which is dense in X. Then according to the results contemplated in [14], the abstract form of the problem (1.1) can be written as follows:
To deal with the abstract problem (2.1), the concept of \(\alpha \)- resolvent operator for an abstract fractional integro-differential system is presented:
Definition 2.3
[14] An one parameter family of bounded linear operators \((\mathscr {R}_{\alpha }(t))_{t\geqslant 0}\) on X is called an \(\alpha \)- resolvent operator of (2.1) if the following conditions are satisfied:
-
The function \(\mathscr {R}_{\alpha }(\cdot ):[0,\infty )\rightarrow \mathscr {L}(X)\) is strongly continuous and \(\mathscr {R}_{\alpha }(0)u=u\) for all \(u\in X\) and \(\alpha \in (0,1)\).
-
For \(u\in \mathscr {D}(A),\) \(\mathscr {R}_{\alpha }(\cdot )u\in C([0,\infty ),\mathscr {D}(A))\cap C^{\alpha }((0,\infty ),X)\) and
$$\begin{aligned} {^C_0}D_t^{\alpha }\mathscr {R}_{\alpha }(t)u&= A\mathscr {R}_{\alpha }(t)u+\displaystyle \int _0^t B(t-s)\mathscr {R}_{\alpha }(s)u\textrm{d}s\\&= \mathscr {R}_{\alpha }(t)Au+\displaystyle \int _0^t \mathscr {R}_{\alpha }(t-s)B(s)u\textrm{d}s,\,\,\,\,\text {for}\,\, \text {every}\,\, t\geqslant 0. \end{aligned}$$
Here \(\mathscr {L}(X)\) denotes the set of all bounded linear operators from X into X. \(C^{\alpha }([0,\infty ),X):= \{u\in C([0,\infty ), X); {^C}D_t^{\alpha }u \in C([0,\infty ), X)\}\) and X is a Banach space.
The following are some useful theorems concerning the \(\alpha \)- resolvent operators that plays a vital role in the proof of the existence results.
Theorem 2.4
[14] The operator \(\mathscr {R}_{\alpha }(t)\) is
-
(i)
exponentially bounded in \(\mathscr {L}(X)\);
-
(ii)
exponentially bounded in \(\mathscr {L}([\mathscr {D}(A)])\);
-
(iii)
strongly continuous on \([0,\infty )\) and uniformly continuous on \((0,\infty )\);
-
(iv)
strongly continuous on \([0, \infty )\) in \(\mathscr {L}([\mathscr {D}](A)).\)
Theorem 2.5
[14] The operator function \(t\rightarrow t^{\alpha -1}\mathscr {S}_{\alpha }(t)\) is exponentially bounded in \(\mathscr {L}(X)\) and uniformly (strongly) continuous on \((0,\infty )\).
Corollary 2.6
[14] Let f \(\in \) \(L^1_{\text {loc}}(\mathbb {R}_{+},\,X)\), then the convolution \(t^{\alpha -1}\mathscr {S}_{\alpha }(t)*f(t)\) \(=\) \(\displaystyle \int _0^t (t-s)^{\alpha -1}\mathscr {S}_{\alpha }(t-s)f(s)\textrm{d}s\) exists (as a Bochner integral) and defines a continuous function from \(\mathbb {R}_+\) into X.
In the sequel, next we recollect the definitions and properties of Picard operator as follows:
Definition 2.7
[2] The operator P : \(X\rightarrow X\) is a Picard operator, if there exists \(u_{\star }\) \(\in \) X such that:
-
(a)
\(F_P\) \(=\) \(\{u_{\star }\}\);
-
(b)
The sequence \(\{P^n(u_0)\}_{n\in \mathbb {N}}\) converges to \(u_{\star }\) for all \(u_0\) \(\in \) X.
Here \(F_P\) denotes the set of all fixed points of P and X is a Banach space.
Definition 2.8
[2] The operator P : \(X\rightarrow X\) is a weakly Picard operator, if the sequence \(\{P^n(u)\}_{n\in \mathbb {N}}\) converges for all \(u\in X\), and its limit (may depend on u) is a fixed point of P.
Definition 2.9
[2] If P is a weakly Picard operator, then we consider the operator \(P^{\infty }\) defined by
From the above definition, we infer that \(F_P\) \(=\) \(P^{\infty }\). Next, we have the definition of Ulam-Hyers stability of a fixed point equation.
Definition 2.10
[36] Let (X, d) be a metric space and P : \(X\rightarrow X\) be an operator. The fixed point equation u \(=\) P(u) is said to be Ulam-Hyers stable, if there exists a real number \(c_P\) > 0 such that for each real number \(\varepsilon >0\) and each solution \(y_{\star }\) of the inequality d(y, Py) \(\leqslant \) \(\varepsilon \), there exists a solution \(u_{\star }\) of the equation u \(=\) P(u) such that
Lemma 2.11
[36] Let (X, d) be a metric space. If \(\mathbb {T}:X\rightarrow X\) is a c-weakly Picard operator, then the fixed point equation \(u=\mathbb {T}(u)\) is Ulam-Hyers stable.
Lemma 2.12
[36] Let (X, d) be a metric space. If \(\mathbb {T}:X\rightarrow X\) is a contraction with a positive constant \(q<1\), then \(\mathbb {T}\) is a c-weakly Picard operator with the positive constant \(c_{\mathbb {T}}=\frac{1}{1-q}\). Moreover the fixed point equation \(u=\mathbb {T}(u)\) is Ulam-Hyers stable.
Lemma 2.13
[8] Let \(\chi :[0,T]\rightarrow [0,\infty )\) be a real function and \(\zeta (\cdot )\) is a non-negative, locally integrable function on [0, T] and there are positive constants \(m>0\) and \(0<\beta <1\) such that:
Then there exists a constant \(\mathfrak {M}=\mathfrak {M}(\alpha )\) such that
for every \(t\in [0,T].\)
Lemma 2.14
[25] Let \(\textrm{S}\) be a subset of C([0, T]). Then \(\textrm{S}\) is precompact if and onlf if the following conditions hold:
-
(i)
\(\{u(t):\,\, u\in \textrm{S}\}\) is uniformly bounded;
-
(ii)
\(\{u(t):\,\, u\in \textrm{S}\}\) is equicontinuous on [0, T].
Lemma 2.15
(Leray-Schauder fixed point theorem) [3] If U is a closed bounded convex subset of a Banach space X and \(\mathbb {T}:\) \(U\rightarrow U\) is completely continuous, then \(\mathbb {T}\) has atleast a fixed point in U.
Corollary 2.16
(Banach fixed point theorem) [13] Suppose that (U, d) is a non-empty complete metric space. Let \(0\leqslant a <1\) and the mapping \(\mathbb {T}: U\rightarrow U\) satisfy the inequality
for every u, v \(\in \) U. Then, \(\mathbb {T}\) has uniquely determined fixed point \(u^*\). Furthermore, for any \(u_0\in U\), the sequence \((\mathbb {T}^ju_0)_{j=1}^{\infty }\) converges to the fixed point \(u^*\).
3 Local existence
This section scrutinizes the local existence of mild solution to the problem (1.1) using Lemma 2.14 and Schauder fixed point theorem. The mild solution to the problem (2.1) is represented as follows:
Definition 3.1
A function \(u:(0,T)\rightarrow X\) is called a mild solution of problem (2.1) in (0, T) if \(u\in C((0,T),X)\) and
holds for all \(t\in (0,T)\), where \(T>0\).
The existence of the integral Eq. (3.1) is equivalent to the existence of mild solution to the problem (2.1). In order to prove the existence result, we need the following estimate for the nonlinear function f(t, u). First, we note that, for any fixed \(x\in \Omega \), we have [31]
where \(\omega ^{p(z)}\) is a bounded function and \(\omega = su+(1-s)v\), \(s\in (0,1)\). Thus, we obtain
where \(\mathbb {L}= |\Omega |c_{\omega }b^+ p^+\) \(>0\), where \(\Vert \omega ^{p(z)-1}\Vert \leqslant c_w\). Similarly, we can prove the same estimate for the nonlinear function \(b(x)u^{p(x)}\).
Theorem 3.2
Suppose that \(u_0(x)\) is continuous in \(L^2(\Omega )\) and the hypotheses \((H1)-(H2)\) hold. Then there exist atleast one solution \(u\in C[0,\tau ]\) for \(0<\tau \leqslant T\) to the abstract problem (2.1).
Proof
Let
where r is a positive constant. Further, we set
It is important to note that \(u(0)\in U_{\tau }\) that means \(U_{\tau }\) is non-empty. From the construction, we can say that \(U_{\tau }\) is closed and bounded. For \(\lambda _1, \lambda _2 \, \geqslant 0\), suppose that \(\lambda _1+\lambda _2\,=1\). Then for any \(u_1\), \(u_2\) \(\in \) \(U_{\tau }\), we have,
Clearly \(\lambda _1u_1+\lambda _2u_2\) \(\in \) \(U_\tau \). Therefore, \(U_\tau \) is a non-empty closed convex set. Now we define an operator \(\mathbb {T}\) on the set \(U_{\tau }\) as follows:
It is clear that all solutions of (2.1) are fixed points of (3.4). Let \(\Vert u(t)\Vert _{C[0,\tau ]}:= \Vert u(t)\Vert \). In the context of Theorem 2.4 and 2.5, we choose \(\tau >0\) such that
For any constant \(r>0\), define
where \(\mathbb {L}\), N and M are defined in (3.3), (3.6) and (3.7) respectively. Then by the estimate (3.3) of f(t, u) and using the ansatzes (3.5), (3.6) and (3.7), for any \(u\in \) \(C[0,\tau ]\), we prove \(\mathbb {T}\) maps \(U_{\tau }\) into itsef as follows:
This shows that \(\mathbb {T}U_{\tau }\subset \) \(U_{\tau }\) by the choice of \(\tau \). In order to proceed further, we claim that \(\mathbb {T}\) is continuous. Let \(u_n,\) u \(\in \) \(U_{\tau }\) and the sequence \(\{u_n\}\) is a converging sequence in \(U_{\tau }\) to u such that \(\Vert u_n-u\Vert _{C[0,\tau ]}\rightarrow 0\) as \(n\rightarrow \infty \). Then we have the following estimate using (3.3) and (3.6):
By Theorem 2.4 and as \(n\rightarrow \infty \), we see that \(\Vert \mathbb {T}u_n(t)-\mathbb {T}u(t)\Vert \) \(\rightarrow \) 0. This implies that the operator \(\mathbb {T}\) is continuous. Furthermore, for \(u\in U_{\tau }\) and \(\forall t\in [0,\tau ]\), we have
This shows that \(\mathbb {T}U_{\tau }\) is uniformly bounded. Now it remains to prove that \(\mathbb {T}\) maps \(U_{\tau }\) into an equicontinuous family. Let \(u\in U_{\tau }\) and \(t_1,\,\,t_2\) \(\in \) \([0,\tau ]\). Then, we obtain
By the Theorems 2.4 and 2.5 and the Corollary 2.6, the resolvent operators \(\mathscr {R}_{\alpha }(\cdot )\) and \(\mathscr {S}_{\alpha }(\cdot )\) are bounded and uniformly continuous on \((0,\infty )\) such that for \(|t_1-t_2|<\delta \), we have
Thus by (3.3) and (3.7), the Eq. (3.10) becomes
For arbitrary small \(\varepsilon _1\) and \(u_0\) and as \(t_1\rightarrow t_2\), we have,
Therefore, the operator \(\mathbb {T}\) is equicontinuous. Then by Lemma 2.14, the operator \(\mathbb {T}\) is precompact. This implies that \(\mathbb {T}\) is completely continuous. Hence by Schauder fixed point theorem, we conclude that \(\mathbb {T}\) has a fixed point in \(U_{\tau }\) and the problem (2.1) has a local solution in [0, T]. \(\square \)
4 Global existence
In this section, first we prove a continuation theorem for the abstract problem (2.1) that aids to prove the global existence theorem. For that, first we display the definition of non-continuable solution (we refer [25] and references therein).
Definition 4.1
Let u(t) on \((0,\eta )\) and \(\tilde{u}(t)\) on \((0,\tilde{\eta })\) be both solutions of (2.1). If \(\eta \) < \(\tilde{\eta }\) and u(t) \(=\) \(\tilde{u}(t)\) for t \(\in \) \((0,\eta )\), then we say that \(\tilde{u}(t)\) is a continuation of u(t) or u(t) can be continued to \((0,\tilde{\eta })\). A solution u(t) is non-continuable if it has no continuation. The existing interval of the non-continuable solution u(t) is called the maximum existing interval of u(t).
The following results shows that the solution is non-continuable for a certain condition stated as follows:
Theorem 4.2
Let the conditions \((H1)-(H2)\) hold and the nonlinear function f satisfies the Lipschitz condition (3.3). Then u(t), \(t\in (0,\eta )\), is non-continuable if and only if for some \(\beta \) \(\in \) \((0,\frac{\eta }{2})\) and any bounded closed subset D \(\subset \) \([\beta ,+\infty )\) \(\times \) \(\mathbb {R}\), there exists a \(\tilde{t}\) \(\in \) \([\beta ,\eta )\) such that \((\tilde{t},\, u(\tilde{t}))\) \(\notin \) D.
Proof
The proof is divided into two parts. To prove the first, we assume that the latter part of the statement is true and now the case is to prove u(t) is non-continuable. As a contradiction, suppose that u(t) is continuable. Then by Definition 4.1, there exists a solution \(\tilde{u}(t)\) of (2.1) defined on \((0,\,\tilde{\eta })\), where \(\tilde{\eta }\) > \(\eta \) such that u(t) = \(\tilde{u}(t)\) for \((0,\eta )\). This implies that \(\lim \nolimits _{t\rightarrow {\eta }^{-}}u(t)\) \(=\) \(\tilde{u}(t)\). Now we define \(u(\eta )\) \(:=\) \(\tilde{u}(\eta )\). Then there exists a set
a compact subset of \([\beta ,+\infty )\) \(\times \) \(\mathbb {R}\). Since u(t) is continuable, there exists no \(\tilde{t}\) \(\in \) \([\beta ,\eta )\) such that \((\tilde{t},u(\tilde{t}))\) \(\notin \) S. This contradiction implies that u(t) is non-continuable. Hence the first part.
To prove the second part, we consider u(t) is non-continuable. Suppose that there exists a subset D \(\subset \) \([\beta ,+\infty )\) \(\times \) \(\mathbb {R}\) such that
The compactness of D implies that \(\eta \) < \(\infty \). The remainder of the proof is given in two steps.
- Step 1::
-
Let \(t_1,\, t_2\) \(\in \) \([2\beta ,\eta )\) such that \(t_1\) < \(t_2\). Using the method of contradiction, we now prove that \(\lim \limits _{t\rightarrow {\eta }^-} u(t)\) exists. Now consider
$$\begin{aligned} u(t_1)-u(t_2)&= (\mathscr {R}_{\alpha }(t_1)- \mathscr {R}_{\alpha }(t_2))u_0 + \displaystyle \int _0^{t_1}(t_1-s)^{\alpha -1}\mathscr {S}_{\alpha }(t_1-s)f(s,u(s))\textrm{d}s \nonumber \\&\quad -\displaystyle \int _0^{t_2}(t_2-s)^{\alpha -1}\mathscr {S}_{\alpha }(t_2-s)f(s,u(s))\textrm{d}s\nonumber \\&= (\mathscr {R}_{\alpha }(t_1)- \mathscr {R}_{\alpha }(t_2))u_0 +\displaystyle \int _0^{\beta }(t_1-s)^{\alpha -1}\mathscr {S}_{\alpha }(t_1-s)f(s,u(s))\textrm{d}s\nonumber \\&\quad +\displaystyle \int _{\beta }^{t_1}(t_1-s)^{\alpha -1}\mathscr {S}_{\alpha }(t_1-s)f(s,u(s))\textrm{d}s-\displaystyle \int _0^{\beta }(t_2-s)^{\alpha -1}\mathscr {S}_{\alpha }(t_2-s)f(s,u(s))\textrm{d}s\nonumber \\&\quad -\displaystyle \int _{\beta }^{t_1}(t_2-s)^{\alpha -1}\mathscr {S}_{\alpha }(t_2-s)f(s,u(s))\textrm{d}s-\displaystyle \int _{t_1}^{t_2}(t_2-s)^{\alpha -1}\mathscr {S}_{\alpha }(t_2-s)f(s,u(s))\textrm{d}s\nonumber \\&=\displaystyle \int _0^{\beta }\bigg ((t_1-s)^{\alpha -1}\mathscr {S}_{\alpha }(t_1-s)-(t_2-s)^{\alpha -1}\mathscr {S}_{\alpha }(t_2-s)\bigg )f(s,u(s))\textrm{d}s\nonumber \\&\quad +\displaystyle \int _{\beta }^{t_1}\bigg ((t_1-s)^{\alpha -1}\mathscr {S}_{\alpha }(t_1-s)-(t_2-s)^{\alpha -1}\mathscr {S}_{\alpha }(t_2-s)\bigg )f(s,u(s))\textrm{d}s\nonumber \\&\quad -\displaystyle \int _{t_1}^{t_2}(t_2-s)^{\alpha -1}\mathscr {S}_{\alpha }(t_2-s)f(s,u(s))\textrm{d}s+(\mathscr {R}_{\alpha }(t_1)- \mathscr {R}_{\alpha }(t_2))u_0.\nonumber \\&= I_1+ I_2-\displaystyle \int _{t_1}^{t_2}(t_2-s)^{\alpha -1}\mathscr {S}_{\alpha }(t_2-s)f(s,u(s))\textrm{d}s+(\mathscr {R}_{\alpha }(t_1)- \mathscr {R}_{\alpha }(t_2))u_0. \end{aligned}$$(4.1)Theorems 2.4 and 2.5, Corollary 2.6 and the condition (3.3) show that the integrals \(I_1\) and \(I_2\) are continuous and the operator \(\mathscr {R}_{\alpha }(\cdot )\) is bounded and uniformly continuous. Therefore, as \(t_1\rightarrow t_2\), we have
$$\begin{aligned} |u(t_1)-u(t_2)|&\leqslant \varepsilon _4+ N\bigg (\mathbb {L}\Vert u-u_0\Vert _{C[0,\beta ]}+M\bigg )\displaystyle \frac{(t_2-t_1)^{\alpha }}{\alpha }+ \varepsilon _1 u_0\leqslant \varepsilon _5, \end{aligned}$$where \(\varepsilon _4+\varepsilon _1 u_0\) \(\leqslant \) \(\varepsilon _5\), for arbitrary small \(u_0\). Hence by Cauchy’s convergence criterion, \(\lim \limits _{t\rightarrow \eta ^-}u(t)\) \(=\) \(u^{\star }\) exists.
- Step 2::
-
Let \(u^{\star }\) be the limit point and also we know that D is a closed subset. Hence we can say that \((\eta , u^{\star })\) \(\in \) D. Now we define \(u(\eta )\) \(=\) \(u^{\star }\) and the operator
$$\begin{aligned} (Jv)(t)&:= u_1+\displaystyle \int _{\eta }^t (t-s)^{\alpha -1}\mathscr {S}_{\alpha }(t-s)f(s,v(s))\textrm{d}s, \end{aligned}$$
where
for v \(\in \) \(C([\eta ,\, \eta +1])\) and \(t\in [\eta ,\,\eta +1]\). Let us suppose the following sets to prove the continuation of solution u.
and also we set
where \(\tau :=\min \bigg \{1, \bigg (\displaystyle \frac{r\alpha }{2N(\mathbb {L}r+M)}\bigg )^{\frac{1}{\alpha }}\bigg \}.\) Similar to Theorem 3.2, we prove that J is completely continuous. First we prove that J maps \(V_{\tau }\) into itself. Thus by Theorems 2.4 and 2.5,
This shows that \(JV_{\tau }\) \(\subset \) \( V_{\tau }\). Let \(\{v_n\}\) \(\subset \) \(C[\eta ,\,\eta +\tau ]\), then \(\Vert v_n-v\Vert _{[\eta ,\eta +\tau ]}\rightarrow 0\) on \(V_\tau \) as \(n\rightarrow \infty \). To prove continuity of the operator J on \(V_{\tau }\), we compute
By the continuity of v, we see that \(\Vert Jv_n(t)-Jv(t)\Vert _{[\eta ,\eta +\tau ]}\rightarrow 0\) as \(n\rightarrow \infty \). This shows that the operator J is continuous. Next we claim that J is equicontinuous. Let v \(\in \) \(V_{\tau }\) and \(\eta \leqslant t_1\leqslant t_2 \leqslant \eta +\tau \). Then, we have
By the continuity of \(I_3\) and \(I_4\) and the operator \(\mathscr {R}_{\alpha }(\cdot )\) and by the Lipschitz continuity of f, as \(t_1\rightarrow t_2\), \(\Vert (Jv)(t_2)-(Jv)(t_1)\Vert _{[\eta ,\eta +\tau ]}\rightarrow 0\). Thus the operator J is precompact and this implies that it is completely continuous. By Schauder fixed point theorem, there exists a fixed point \(\tilde{u}(t)\in V_{\tau }\). Specifically, we can say that
where t \(\in \) \([\eta ,\eta +\tau ]\) and we write
This implies that \(\tilde{u}(t)\) \(\in \) \(C((0,\eta +\tau ])\) and is a solution of (2.1) on \((0,\eta +\tau )\). This contradicts our assumption u(t) is non-continuable. Hence there exists a \(\tilde{t}\in [\beta ,\eta )\) so that \((\tilde{t}, u(\tilde{t}))\) \(\notin \) D. \(\square \)
Now we present an another continuation theorem which is more helpful to prove global existence theorem.
Theorem 4.3
Let the conditions \((H1)-(H2)\) hold and the nonlinear function f satisfies the Lipschitz condition (3.3). Then u = u(t), \(t\in (0,\eta )\), is non-continuable if and only if
where \(A(t)= (t,u(t))\), \(\Vert A(t)\Vert =\bigg (u^2+t^2\bigg )^{\frac{1}{2}}\).
Proof
Similar to Theorem 4.2, the proof is divided into two parts. First we assume that (4.5) is true and now the case is to prove u(t) is non-continuable. We prove by the method of contradiction. So we assume that u(t) is continuable. Then by Definition 4.1, there exists a solution \(\tilde{u}(t)\) of (2.1) defined on \((0,\,\tilde{\eta })\), where \(\tilde{\eta }\) > \(\eta \) such that u(t) = \(\tilde{u}(t)\) for \((0,\eta )\). This implies that \(\lim \nolimits _{t\rightarrow {\eta }^{-}}u(t)\) \(=\) \(\tilde{u}(t)\). Thus, \(|A(t)|\rightarrow |A(\eta )|\) as \(t\rightarrow \eta ^-\). This is a contradiction to (4.5). Hence u(t) is non-continuable.
To prove the second part, we assume that u(t) is non-continuable. For the method of contradiction, we suppose that (4.5) is not true. Then there exists a sequence \(\{t_l\}\) and a positive constant \(m>0\) such that \(t_l\) < \(t_{l+1}\), for \(l\in \mathbb {N}\). Then
Hence \(t_l^2+u^2(t_l)\leqslant m^2.\) Since \({u(t_l)}\) is bounded, it has a convergent sequence such that we suppose that
Now we claim that
That is, for given \(\varepsilon >0\), there exists a T \(\in \) \((0,\eta )\), such that \(|u(t)-u^\star |<\varepsilon \), \(t\in (T,\eta )\). Now for sufficiently small \(\gamma >0\), let
From (4.6) and (4.7), we see that there exists a \(l_0\) such that \(t_{l_0}>\gamma \) and for \(l\geqslant l_0\), we have
If (4.8) is not valid, then there exists a \(t_*\) \(\in \) \((t_l,\eta )\) such that
Now, we consider
Now by the continuity of \(t^{\alpha -1}\mathscr {S}_{\alpha }(t)*f(t)\) and the operator \(\mathscr {R}_{\alpha }(t)\) and the condition (3.3), as \(t_l\rightarrow t_*\), we have
This implies that (4.8) exists. This is a contradiction as we suppose that u(t) is non-continuable. Hence (4.5) is valid. \(\square \)
Before proving the main theorem, we present an auxiliary lemma similar to Theorem 5.1 in [25].
Theorem 4.4
Let the conditions \((H1)-(H2)\) hold and the nonlinear function f satisfies the Lipschitz condition (3.3). Let u(t) be solution of (2.1) on \((0,\eta )\). If u(t) is bounded on \([\gamma ,\eta )\) for some \(\gamma \geqslant 0\), then \(\eta \) \(=\) \(+\infty \).
Proof
By Theorems 4.2 and 4.3, we see that if u(t) is continuable on \((0,\eta )\), then \(\eta =+\infty \). \(\square \)
Now we state the main theorem on global existence.
Theorem 4.5
Suppose that the conditions \((H1)-(H2)\) hold and f satisfies the Lipschitz condition (3.3). Then (2.1) has a solution in \(C([0,+\infty ))\).
Proof
The existence of local solution is valid by Theorem 2.5. Let the maximum existing interval of the solution u(t) be \((0,\eta )\). Then
This implies that |u(t)| is bounded on \((0,\eta )\) by the boundedness of the operators \(\mathscr {R}_{\alpha }(t)\) and \(\mathscr {S}_{\alpha }(t)\). Therefore, for any \(\gamma \in (0,\eta )\), |u(t)| is bounded in \([\gamma ,\eta )\). Hence by Theorem 4.4, u(t) is a solution on \((0,+\infty )\).
5 Uniqueness and stability
Now we state the four types of Ulam stability of the fixed point equation \(u=\mathbb {T}(u)\) in the view of Definition 2.10. Let \(\varepsilon \) be a positive real number and \(\Psi \) be a continuous function. Then we have:
Definition 5.1
The fixed point equation \(u=\mathbb {T}(u)\) is said to be Ulam-Hyers stable if there exists a real number \(c_{\mathbb {T}}>0\) such that for each \(\varepsilon > 0\) and for each solution \(u\in C([0,T])\) of the inequality \(\Vert u(t)-(\mathbb {T}u)(t)\Vert \leqslant \varepsilon \), for \(t\in [0,T]\), there exists a solution \(v\in C([0,T])\) of the equation \(u=\mathbb {T}(u)\) with
Definition 5.2
The fixed point equation \(u=\mathbb {T}(u)\) is said to be generalized Ulam-Hyers stable if there exists \(\phi _{\mathbb {T}}\) \(\in \) \(C([0,\infty ))\), \(\phi _{\mathbb {T}}(0)=0\) such that for each \(\varepsilon >0\) and for each solution \(u\in C([0,T])\) of the inequality \(\Vert u(t)-(\mathbb {T}u)(t)\Vert \leqslant \varepsilon \), \(t\in J\) , there exists a solution \(v\in C([0,T])\) of the equation \(u=\mathbb {T}(u)\) with
Definition 5.3
The fixed point equation \(u=\mathbb {T}(u)\) is said to be Ulam-Hyers-Rassias stable with respect to an arbitrary function \(\Psi \), if there exists a positive real number \(c_{\mathbb {T},\Psi }\) such that for each \(\varepsilon >0\) and for each solution \(u\in C([0,T])\) of the inequality \(\Vert u(t)-(\mathbb {T}u)(t)\Vert \leqslant \varepsilon \Psi (t)\); \(t\in [0,T]\), there exists a solution \(v\in C([0,T])\) of the equation \(u=\mathbb {T}(u)\) with
Definition 5.4
The fixed point equation \(u=\mathbb {T}(u)\) is said to be generalized Ulam-Hyers-Rassias stable with respect to \(\Psi \), if there exists a positive real number \(c_{\mathbb {T},\Psi }\) such that for each \(\varepsilon >0\) and for each solution \(u\in C([0,T])\) of the inequality \(\Vert u(t)-(\mathbb {T}u)(t)\Vert \leqslant \Psi (t)\); \(t\in J\), there exists a solution \(v\in C([0,T])\) of the equation \(u=\mathbb {T}(u)\) with
Remark 5.5
From the above definitions of stability, it is clear that
The next theorem states that the solution has atmost one solution.
Theorem 5.6
Let the conditions \((H1)-(H2)\) hold and f satisfies the estimate (3.3). If \(0<\mathbb {L}\leqslant \frac{1}{2}\), then (2.1) has a unique mild solution in \(C([0,\overline{\tau }])\), where \(\overline{\tau }^{\alpha }\leqslant \frac{\alpha }{N} \). Moreover, the operator \(\mathbb {T}\) is a c-weakly Picard operator and hence the fixed point equation \(u=\mathbb {T}(u)\) is Ulam-Hyers stable.
Proof
The uniqueness of solution to the abstract problem (2.1) is proved using contraction principle. Let u, v \(\in \) \(U_{\tau }\) be a mild solution of (2.1) with same initial data. Then using ansatzes (3.5), (3.6), (3.7) and the condition (3.3), we have,
By the Banach contraction principle, we conclude that there exists a unique fixed point which is the desired mild solution of the problem (1.1). Then by Lemma 2.12, the operator \(\mathbb {T}\) is a c-weakly Picard operator with the constant \(c_{\mathbb {T}}=\frac{1}{1-q}\), where \(q=\mathbb {L}\) and hence the fixed point equation \(u=\mathbb {T}(u)\) is Ulam-Hyers stable. \(\square \)
Next we prove the Ulam-Hyers Rassias stability to the fixed point equation \(u=\mathbb {T}(u)\) as follows:
Theorem 5.7
Let the conditions \((H1)-(H2)\) hold and f satisfies (3.3). If u(t) is a solution of the inequality \(\Vert u- \mathbb {T}(u)\Vert \) \(\leqslant \) \(\Psi (t)\) \(\in \) \(L^1([0,t))\) and there exists \(\lambda _{\Psi }>0\) such that for each \(t\in [0,\overline{\tau }]\), we have
and the operator \(\mathbb {T}\) is a contraction, then the fixed point equation \(u=\mathbb {T}(u)\) is generalized Ulam-Hyers-Rassias stable such that
where v is the solution of the equation \(\mathbb {T}u=u.\)
Proof
Let u \(\in \) \(C([0,\overline{\tau }])\) be a solution of the inequality \(\Vert u- \mathbb {T}(u)\Vert \) \(\leqslant \) \(\Psi (t)\). Then by Theorem 5.6, \(\mathbb {T}\) is a contraction and has a unique solution of the fixed point equation \(u=\mathbb {T}(u)\). Let v be a solution. Then, we write
Then for each \(t\in [0,\overline{\tau }]\), by Lemma 2.13, we obtain
where \(c_{\Psi }\) \(=\) \(1+\lambda _{\Psi }\). Then by Definition 5.4, the fixed point equation \(u=\mathbb {T}(u)\) is generalized Ulam-Hyers-Rassias stable. \(\square \)
6 Applications
Example 6.1
In problem (1.1), let us consider \(a(t-s)=(t-s)^{\beta -1}\), \(0<\beta < 1\). Consider the domain \(\Omega = [0,2]\) and \(t\in [0,1]\). Then the problem (1.1) can be written as
with initial and boundary conditions
Let us suppose that p(x) = \(x+1\) \(>1\) and \(b(x)=0.05x^2\). Hence by [14], the problem (6.2) can be written in its abstract form since it satisfies the ansatzes (3.5)–(3.7). Then we define an operator \((\mathbb {T}u)(t)\) similar to (3.4) and we see that the operator \(\mathbb {T}\) is a contraction using (3.5)–(3.7). Hence by Theorem 4.3, the problem (6.2) has a unique solution. Moreover, the solution of the fixed point equation \(u(t)=(\mathbb {T}u)(t)\) is Ulam-Hyers stable. Now let us assume \(\Psi (t):=t+1\). Then from the inequality (5.2), using the substitution method, we obtain
where \(0\leqslant 1+ \lambda _{\Psi }:=c_{\Psi }\), where \(\lambda _{\Psi }=1+\frac{N\mathbb {L}\mathfrak {M}t^{\beta }}{\beta }\). Then by Theorem 5.7, the fixed point equation \(u=\mathbb {T}u\) is generalized Ulam-Hyer-Rassias stable. To verify numerically, we consider \(v=1\). Now
This implies that v is a solution of the inequality \(\Vert \mathbb {T}u-u\Vert \leqslant \Psi (t)\). Then by Theorem 5.7, there exists a solution u that satisfies
Let us assign values for the parameters: \(N=1\), \(\mathbb {L}=0.5\) and \(\mathfrak {M}=0.5\). We choose \(\alpha =0.4\) and \(\beta =0.5\). Now using finite difference scheme [18, 26] with time grid size \(\bigtriangleup t=0.0001\) and space grid size \(\bigtriangleup x=0.25\), one gets Fig. 1 which is the solution u of the problem (6.1). Now using the solution \(v=1\) of the inequality \(\Vert \mathbb {T}u-u\Vert \leqslant \Psi (t)\), we verify the relation (6.3) by plotting the values of \(\Vert u-v\Vert \) and \(c_{\Psi }\Psi (t)\). Then at \(x=0.5\) and for different values of t, the desired result is presented in the Fig. 2. The tabular values shows that our theoretical results in the Theorem 5.7 are satisfied and hence the solution to the problem (6.1)–(6.2) is generalized Ulam-Hyers Rassias stable.
Example 6.2
Consider the problem (6.1) with \(\Omega = [0,1]\) and \(t\in [0,1]\):
with initial and boundary conditions
Now we choose \(\alpha =0.6\) and \(\beta =0.5\) with the assumptions on the parameters \(N=1\), \(\mathbb {L}=0.5\), \(\mathfrak {M}=0.5\), \(p(x)= x+1\) and \(b(x)=0.05x^2\). Similar to Example (6.1), the problem (6.4)–(6.5) satisfies the ansatzes (3.5)–(3.7). Hence an operator \(\mathbb {T}u(t)\) is defined as in (3.4) and see that the operator \(\mathbb {T}\) is a contraction using the assumptions (3.5)–(3.7). Hence by Theorem 4.3, the problem (6.4)–(6.5) has a unique solution. This follows that the solution is Ulam-Hyers stable. Now similar to the Example 6.1, we assume \(\Psi (t):= t+1\). Then from the similar computation one gets
Hence the solution u to the problem (6.4)–(6.5) is generalized Ulam-Hyers-Rassias stable by Theorem 5.7. To verify numerically, we choose a solution \(v=1\) of the inequality
This implies that v is a solution of the inequality \(\Vert \mathbb {T}u-u\Vert \leqslant \Psi (t)\). The solution u to the problem (6.4)–(6.5) is obtained using the finite difference scheme [18, 26] and accordingly the Fig. 3 displays the solution at \(x=0.5\). The Fig. 4 shows that the relation (6.3) is true for \(0<\alpha ,\beta <1\). At \(x=0.5\) and for different values of t, the table and the graph is given in Fig. 4. Hence by Theorem 5.7, the solution to the system (6.4)–(6.5) is generalized Ulam-Hyers-Rassias stable.
7 Conclusion
The global existence of solution to the problem (1.1) is established by Schauder fixed point theorem and non-continuation principle. The uniqueness of solution is achieved in \((0,\overline{\tau })\) using contraction principle. The Ulam-Hyers and generalized Ulam-Hyers-Rassias stability is discussed using Picard operator in \((0,\overline{\tau })\). The Figs. 2 and 4 shows that our theoretical results are valid for \(0<\alpha <1\) and certain conditions on the parameters \(\mathbb {L}\), \(\mathfrak {M}\) and N. Further, it is planned to investigate the blow-up behaviour of solution to the problem (1.1) in future.
Data Availibility
Not applicable.
References
Abro, K.A.; Atangana, A.; Aguilar, J.F.G.: A comparative analysis of plasma dilution based on fractional integro-differential equation: an application to biological science, International Journal of Simulation Modelling, 1-10 (2022)
Abbas, S.; Benchohra, M.: Ulam-Hyers stability for the Darboux problem for partial fractional differential and integro-differential equations via Picard operators. Results Math. 65, 67–79 (2014)
Akilandeeswari, A.; Balachandran, K.; Annapoorani, N.: On fractional partial equations of diffusion type with integral kernel, 333–349. Mathematical Modelling, Optimization, Analytic and Numerical Solutions, Springer, Singapore (2020)
Alaoui, M.K.; Messaoudi, S.A.; Khenous, H.B.: A blow-up result for nonlinear generalized heat equation. Comput. Math. Appl. 68, 1723–1732 (2014)
Antontsev, S.; Shmarev, S.: Anisotropic parabolic equations with variable nonlinearity. Publ. Math. 53, 355–399 (2009)
Andras, S.; Kolumban, J.J.: On the Ulam-Hyers stability of first order differential systems with nonlocal initial conditions. Nonlinear Anal. Theory Methods Appl. 82, 1–11 (2013)
Andras, S.; Baricz, A.; Pogany, T.I.B.O.R.: Ulam-Hyers stability of singular integral equations via weakly Picard operators. Fixed Point Theory 17, 21–36 (2016)
Benchohra, M.; Henderson, J.; Ntouyas, S.K.; Ouahab, A.: Existence results for fractional order functional differential equations with infinite delay. J. Math. Anal. Appl. 338, 1340–1350 (2008)
Butkovskii, A.G.; Postnov, S.S.; Postnova, E.A.: Fractional integro-differential calculus and its control-theoretical applications. II. Fractional dynamic systems: Modeling and hardware implementation, Automation and Remote Control 74, 725–749 (2013)
Cao, J.; Song, G.; Wang, J.; Shi, Q.; Sun, S.: Blow-up and global solutions for a class of time fractional nonlinear reaction-diffusion equation with weakly spatial source. Appl. Math. Lett. 91, 201–206 (2019)
Castro, L.P.; Simoes, A.M.: Different types of Hyers-Ulam-Rassias stabilities for a class of integro-differential equations. Filomat 31, 5379–5390 (2017)
Debbouche, A.; Baleanu, D.: Controllability of fractional evolution nonlocal impulsive quasilinear delay integro-differential systems. Comput. Math. Appl. 62, 1442–1450 (2011)
Diethelm, K.: The Analysis of Fractional Differential Equations: An Application-Oriented Exposition Using Differential Operators of Caputo Type. Springer-Verlag, Berlin, Heidelberg (2010)
Dos Santos, J.P.C.: Fractional resolvent operator with \(\alpha \in (0, 1)\) and applications. Fract. Differen. Calculus 9, 187–208 (2019)
Ferreira, R.; de Pablo, A.; Prez-LLanos, M.; Rossi, J.D.: Critical exponents for a semi-linear parabolic equation with variable reaction. Proceedings of the Royal Society, Edinburgh 142, 1027–1042 (2012)
Glendinning, P.: Stability, instability and chaos: An introduction to the theory of nonlinear differential equations. Cambridge University Press, Cambridge (1994)
Grigorenko, I.; Grigorenko, E.: Chaotic dynamics of the fractional Lorenz system. Phys. Rev. Lett. 91, 034101 (2003)
Guo, J.; Xu, D.; Qiu, W.: A finite difference scheme for the nonlinear time-fractional partial integro-differential equation. Math. Methods Appl. Sci. 43, 3392–3412 (2020)
Hilfer, R.: Applications of Fractional Calculus in Physics. World Scientific (2000)
Hyers, D.H.: On the stability of the linear functional equation. Proc. Natl. Acad. Sci. 27, 222–224 (1941)
Ionescu, C.; Lopes, A.; Copot, D.; Machado, J.T.; Bates, J.H.: The role of fractional calculus in modeling biological phenomena: A review. Commun. Nonlinear Sci. Numer. Simul. 51, 141–159 (2017)
Jung, S.M.: Hyers-Ulam stability of linear differential equations of first order. Appl. Math. Lett. 17, 1135–1140 (2004)
Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier Science B.V, Amsterdam (2006)
Li, Y.; Chen, Y.; Podlubny, I.: Mittag-Leffler stability of fractional order nonlinear dynamic systems. Automatica 45, 1965–1969 (2009)
Li, C.; Sarwar, S.: Existence and continuation of solutions for Caputo type fractional differential equations. Electron. J. Differen. Eq. 207, 1–14 (2016)
Liu, F.; Shen, S.; Anh, V.; Turner, I.: Analysis of a discrete non-Markovian random walk approximation for the time fractional diffusion equation. ANZIAM J. 46, C488–C504 (2004)
Ma, Y.K.; Mohan Raja, M.; Vijayakumar, V.; Shukla, A.; Albalawi, W.; Nisar, K.S.: Existence and continuous dependence results for fractional evolution integro-differential equations of order \(r\in (1,2)\). Alexandria Eng. J. 61, 9929–9939 (2022)
Manimaran, J.; Shangerganesh, L.: Blow-up solutions of a time-fractional diffusion equation with variable exponents. Tbilisi Math. J. 12, 149–157 (2019)
Marian, D.; Ciplea, S.A.; Lungu, N.: On Ulam-Hyers stability for a system of partial differential equations of first order. Symmetry 12, 1060 (2020)
Nishimoto, K.: An Essence of Nishimoto’s Fractional Calculus. Descartes Press, Koriyama (1991)
Pinasco, J.P.: Blow-up for parabolic and hyperbolic problems with variable exponents. Nonlinear Anal. 71, 1094–1099 (2009)
Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)
Radulescu, V.D.; Repovs, D.D.: Partial differential equations with variable exponents: variational methods and qualitative analysis. CRC Press, Boca Raton (2015)
Rassias, T.M.: On the stability of the linear mapping in Banach spaces. Proc. Am. Math. Soc. 72, 297–300 (1978)
Rus, I.A.: Picard operators and applications. Sci. Math. Japn. 58, 191–219 (2003)
Rus, I.A.: Remarks on Ulam stability of the operatorial equations. Fixed Point Theory 10, 305–320 (2009)
Rus, I.A.: Ulam stabilities of ordinary differential equations in a Banach space. Carpathian J. Math. 26, 103–107 (2010)
Sidi Ammi, M.R.; Jamiai, I.; Torres, D.F.M.: Global existence of solutions for a fractional Caputo nonlocal thermistor problem. Adv. Difference Equ. 1, 1–14 (2017)
Tarasov, V.E.: Fractional integro-differential equations for electromagnetic waves in dielectric media. Theor. Math. Phys. 158, 355–359 (2009)
Tarasov, V.E.: Mathematical economics: Application of fractional calculus. Mathematics 8, 660 (2020)
Ulam, S.M.: A Collection of Mathematical Problems. Interscience Publishers, New York (1968)
Wang, J.R.; Lv, L.; Zhou, Y.: New concepts and results in stability of fractional differential equations. Commun. Nonlinear Sci. Numer. Simul. 17, 2530–2538 (2012)
Wei, W.; Li, X.: New stability results for fractional integral equation. Comput. Math. Appl. 64, 3468–3476 (2012)
Xin, Q.; Liu, D.: Blow-up of solutions for the heat equations with variable source on graphs. J. Nonlinear Sci. Appl. 9, 1685–1692 (2016)
Zhu, B.; Liu, L.; Wu, Y.: Local and global existence of mild solutions for a class of nonlinear fractional reaction-diffusion equations with delay. Appl. Math. Lett. 61, 73–79 (2016)
Funding
The authors have not disclosed any funding.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that no funds, grants, or other support were received during the preparation of this manuscript. There is no Conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Aruchamy, A., Rayappan, S. & Natarajan, A. Global existence and stability results for a time-fractional diffusion equation with variable exponents. Arab. J. Math. (2024). https://doi.org/10.1007/s40065-024-00463-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40065-024-00463-2