
One kind of stochastic delay differential equation in which the delay term is dependent on a proportion of the current time is the pantograph stochastic differential equation. Electric current collection, nonlinear dynamics, quantum mechanics, and electrodynamics are among the phenomena modeled using this equation. A key idea in physics and mathematics is the well-posedness of a differential equation, which guarantees that the solution to the problem exists and is a unique and meaningful solution that relies continuously on the initial condition and the value of the fractional derivative. Ulam-Hyers stability is a property of equations that states that if a function is approximately satisfying the equation, then there exists an exact solution that is close to the function. Inspired by these findings, in this research work, we established the Ulam-Hyers stability and well-posedness of solutions of pantograph fractional stochastic differential equations (PFSDEs) in the framework of conformable derivatives. In addition, we provided examples to analyze the theoretical results.
Citation: Wedad Albalawi, Muhammad Imran Liaqat, Fahim Ud Din, Kottakkaran Sooppy Nisar, Abdel-Haleem Abdel-Aty. Well-posedness and Ulam-Hyers stability results of solutions to pantograph fractional stochastic differential equations in the sense of conformable derivatives[J]. AIMS Mathematics, 2024, 9(5): 12375-12398. doi: 10.3934/math.2024605
[1] | J. Vanterler da C. Sousa, E. Capelas de Oliveira, F. G. Rodrigues . Ulam-Hyers stabilities of fractional functional differential equations. AIMS Mathematics, 2020, 5(2): 1346-1358. doi: 10.3934/math.2020092 |
[2] | Souad Ayadi, Ozgur Ege, Manuel De la Sen . On a coupled system of generalized hybrid pantograph equations involving fractional deformable derivatives. AIMS Mathematics, 2023, 8(5): 10978-10996. doi: 10.3934/math.2023556 |
[3] | Ahmed M. A. El-Sayed, Wagdy G. El-Sayed, Kheria M. O. Msaik, Hanaa R. Ebead . Riemann-Liouville fractional-order pantograph differential equation constrained by nonlocal and weighted pantograph integral equations. AIMS Mathematics, 2025, 10(3): 4970-4991. doi: 10.3934/math.2025228 |
[4] | Sabri T. M. Thabet, Sa'ud Al-Sa'di, Imed Kedim, Ava Sh. Rafeeq, Shahram Rezapour . Analysis study on multi-order ϱ-Hilfer fractional pantograph implicit differential equation on unbounded domains. AIMS Mathematics, 2023, 8(8): 18455-18473. doi: 10.3934/math.2023938 |
[5] | Songkran Pleumpreedaporn, Chanidaporn Pleumpreedaporn, Weerawat Sudsutad, Jutarat Kongson, Chatthai Thaiprayoon, Jehad Alzabut . On a novel impulsive boundary value pantograph problem under Caputo proportional fractional derivative operator with respect to another function. AIMS Mathematics, 2022, 7(5): 7817-7846. doi: 10.3934/math.2022438 |
[6] | Qun Dai, Shidong Liu . Stability of the mixed Caputo fractional integro-differential equation by means of weighted space method. AIMS Mathematics, 2022, 7(2): 2498-2511. doi: 10.3934/math.2022140 |
[7] | Abdelkader Moumen, Ramsha Shafqat, Zakia Hammouch, Azmat Ullah Khan Niazi, Mdi Begum Jeelani . Stability results for fractional integral pantograph differential equations involving two Caputo operators. AIMS Mathematics, 2023, 8(3): 6009-6025. doi: 10.3934/math.2023303 |
[8] | Saeed M. Ali, Mohammed S. Abdo, Bhausaheb Sontakke, Kamal Shah, Thabet Abdeljawad . New results on a coupled system for second-order pantograph equations with ABC fractional derivatives. AIMS Mathematics, 2022, 7(10): 19520-19538. doi: 10.3934/math.20221071 |
[9] | Sabri T. M. Thabet, Miguel Vivas-Cortez, Imed Kedim . Analytical study of ABC-fractional pantograph implicit differential equation with respect to another function. AIMS Mathematics, 2023, 8(10): 23635-23654. doi: 10.3934/math.20231202 |
[10] | Weerawat Sudsutad, Chatthai Thaiprayoon, Sotiris K. Ntouyas . Existence and stability results for ψ-Hilfer fractional integro-differential equation with mixed nonlocal boundary conditions. AIMS Mathematics, 2021, 6(4): 4119-4141. doi: 10.3934/math.2021244 |
One kind of stochastic delay differential equation in which the delay term is dependent on a proportion of the current time is the pantograph stochastic differential equation. Electric current collection, nonlinear dynamics, quantum mechanics, and electrodynamics are among the phenomena modeled using this equation. A key idea in physics and mathematics is the well-posedness of a differential equation, which guarantees that the solution to the problem exists and is a unique and meaningful solution that relies continuously on the initial condition and the value of the fractional derivative. Ulam-Hyers stability is a property of equations that states that if a function is approximately satisfying the equation, then there exists an exact solution that is close to the function. Inspired by these findings, in this research work, we established the Ulam-Hyers stability and well-posedness of solutions of pantograph fractional stochastic differential equations (PFSDEs) in the framework of conformable derivatives. In addition, we provided examples to analyze the theoretical results.
A generalization of classical calculus that permits the differentiation and integration of any order is known as fractional calculus (FC). FC serves as a suitable tool for modeling systems with memory effects, where past actions impact current behavior. Fractional-order derivatives better capture memory effects in biological systems, diffusion processes, and viscoelastic materials. Among the noteworthy applications are[1,2,3,4,5,6,7,8,9,10,11,12,13]:
● Complex physical systems like viscoelastic materials, diffusion processes, electrical circuits, and fluid dynamics are all being modeled and analyzed using FC. Systems that exhibit anomalous diffusion, non-local behaviors, and memory effects are better described using fractional differential equations.
● In control systems, fractional-order controllers, fractional-order observers, and systems with temporal delays are all being modeled using FC. In some applications, fractional-order controllers perform better, are more robust, and are more stable than integer-order controllers.
● In signal processing, FC is used for applications including image processing, time series analysis, noise reduction, and signal denoising. Long-range dependence, fractal features, and handling non-stationary signals are all benefits of fractional-order filters and transforms.
● FC is used to model physiological processes, biological systems, and medical imaging procedures. Applications include neuronal dynamics modeling, biological signal analysis, drug kinetics, and gene expression.
● Fractional-order damping, nonlinear dynamics, and viscoelastic features of mechanical systems are all being modeled using FC. Applications include vibration analysis, control of flexible structures, and structural health monitoring.
● The dynamics of batteries, electrochemical systems, and materials with unusual transport properties are all being modeled using FC. Mass and charge transport processes are more accurately described by fractional diffusion and reaction-diffusion equations.
● Precipitation patterns, pollutant transfer, and groundwater movement are all being modeled using FC. In hydrological systems, long-term memory effects and anomalous transport processes are better described by fractional-order differential equations.
● In robotics, FC is used to model robot dynamics and to create motion and control algorithms. The benefits of fractional-order controllers include robustness against shocks, trajectory tracking, and adaptive control.
● Within its own domain, FC finds use in the analysis of differential equations involving fractional operators, integral transforms, and special functions. Strong tools for deciphering intricate mathematical and physical systems and phenomena are offered by FC.
● FC is employed to analyze economic time series data, which often exhibits long-range dependence and non-stationary behavior. Fractional processes can capture the memory effects and persistence observed in economic variables over time. Economic models incorporating fractional calculus better capture the dynamics of financial markets, including stock price movements, trading volume, and market volatility.
Researchers utilize FC to find applications in various fields, including the study of synchronization phenomena in complex networks [14,15,16,17]. Global bipartite synchronization refers to the phenomenon where two distinct groups of nodes in a network synchronize their dynamics while remaining unsynchronized with nodes within their group. This phenomenon is crucial in understanding the collective behavior of complex systems and has applications in various domains such as neuroscience, biology, and engineering. The combination of fractional calculus and global bipartite synchronization allows researchers to model and analyze complex network dynamics with memory effects and long-range dependencies. Fractional-order differential equations capture the non-local interactions and memory effects present in real-world systems, while the concept of global bipartite synchronization provides insights into the emergent collective behavior of networked systems. By integrating FC with the study of global bipartite synchronization, researchers develop more accurate models and algorithms for understanding and controlling the dynamics of complex networks. This interdisciplinary approach has the potential to advance our understanding of synchronization phenomena in networked systems and facilitates the design of robust and efficient communication and control strategies.
Fractional order derivative (FOD) is defined in different ways; some definitions are conformable, Riemann-Liouville (R-L), Caputo-Fabrizio, Atangana-Baleanu, Caputo-Hadamard, and Grunuwald Letnikov [18,19,20,21,22]. There are various definitions for FOD, in contrast to integer-order derivatives. In general, these definitions do not match each other. The conformable fractional derivative (CFD), which provides a unique description of the FOD in contrast to previous versions, is developed by Khalil et al. [23].
Regarding a mapping Ψ(τ):[0,∞[→R, the CFD is:
TℓτΨ(τ)=limϵ→0Ψ⌈ℓ⌉−1(τ+ϵτ⌈ℓ⌉−ℓ)−Ψ⌈ℓ⌉−1(τ)ϵ, |
where Tℓτ is the CFD with respect to time and u−1<ℓ≤u,τ>0, u∈N and ⌈ℓ⌉, the lowest integer that is equal to or larger than ℓ. In a certain instance, if 0<ℓ≤1, we acquire
TℓτΨ(τ)=limϵ→0Ψ(τ+ϵτ1−ℓ)−Ψ(τ)ϵ,τ>0. |
If Ψ(τ) is ℓ-differentiable in some (0,Ξ), Ξ>0 and limτ→0+Ψℓ(τ) exists, so we have Ψ(ℓ)(0)=limτ→0+Ψ(ℓ)(τ). The fractional integral in the sense of conformable of a function Ψ(τ) starting from τ0≥0 is defined as:
Iτ0ℓ(Ψ)(τ)=∫ττ0Ψ(χ)(χ−τ0)1−ℓdχ,ℓ∈(0,1]. |
Differential equations (DEs) with a random or stochastic component are known as stochastic differential equations (SDEs). In the natural and social sciences, including physics, chemistry, biology, ecology, economics, finance, and engineering, SDEs are extensively employed to model a wide range of phenomena. These are only a few of the several scientific and engineering domains where SDEs are used [24,25,26].
● Physics: Systems that are sensitive to random forces, noise, or temperature changes have their motion described by SDEs. One SDE that simulates the Brownian motion of a particle in a fluid is the Langevin equation.
● Chemistry: The dynamics of chemical reactions involving random events, including collisions, transitions, or catalysis, are captured by SDEs. The intermolecular forces and thermodynamic fluctuations are taken into consideration in the molecular dynamics equation, which explains the motion of individual molecules in a system.
● Biology: Genetic mutations, environmental variations, and population interactions are examples of random events that can affect the behavior of biological systems, and SDEs simulate their behavior. An example of an SDE that depicts the dynamics of predator-prey relationships in an ecosystem is the Lotka-Volterra equation.
● Ecology: SDEs simulate the growth and decline of populations that are affected by stochastic events, such as births, deaths, migrations, or competitions. For example, the logistic equation is a SDE that describes the growth of a population with a carrying capacity.
● Economics: Random shock-driven economic variables, such as interest rates, prices, and exchange rates, are analyzed using SDEs. One SDE that establishes the value of a European option in a financial market is the Black-Scholes equation.
● Finance: Financial assets like stocks, bonds, and derivatives that are susceptible to uncertainty have their risk and return estimated by SDEs. One SDE that simulates the price of a stock that moves in a random walk with drift and volatility is the geometric Brownian motion.
● Engineering: Engineering systems subject to random disturbances, including signal processing, control, or communication systems, have their performance and dependability improved by SDEs. One SDE that approximates a system's state from noisy observations is the Kalman filter.
A DE with a FOD and a stochastic process is known as a fractional stochastic differential equation (FSDE). Systems with long-range dependencies, turbulence, economics, and biology are being modeled by these equations. The idea of FSDEs still faces many questions and challenges that need to be addressed. The existence and uniqueness of solutions, stability and convergence, numerical techniques, and applications to physics, biology, finance, and other domains are a few of the interesting subjects.
Some authors have been actively researching the FSDEs lately. Li and Xu developed exponential stability in the mean square of delay FSDEs [27]. This study endeavored to provide additional conditions for the exponential stability of the mean square of the scenarios it investigated. Sadovskii's fixed-point theory was applied by Li and Peng [28] and worked on the important concept of the controllability of FSDEs. Cui and Yan [29] established results for delay integrodifferential equations with stochastic terms with respect to the existence of solutions in Hilbert spaces with the help of Sadovskii's fixed-point. Specifically, in [30], Niu and Xie investigated the existence, uniqueness, and regularity of FSDEs. With the help of the Schauder theorem, Chen and Li [31] worked on some characteristics of solutions to FSDEs. Under different assumptions, the authors of the articles [32,33] showed that solutions to FSDEs exist. Karczewska and Lizama reported a number of findings in [34] on the solutions to FSDEs. Schnaubelt and Veraar [35] have worked on path-wise continuous features for solutions to stochastic problems. The stopping time technique was used by Xiao and Wang [36] to investigate the stability of FSDEs of the Caputo type. Saifullah et al. [37] investigated the existence and uniqueness of solutions for FSDEs with R-L. The authors applied the fixed point theory (FPT) for uniqueness and the Móach condition for the existence of a solution. The writers also present the Hyers-Ulam stability of these equations. Moumen et al. [38] subjected FSDEs with nonlocal conditions to an approximate controllability analysis. The authors derived the approximate controllability of nonlinear FSDEs. For the desired results, the FPT for multi-valued operators was employed.
Dynamic systems depend on states other than their present ones from the past; these occurrences are often simulated using pantograph differential equations (PDEs) [39,40,41,42,43,44]. PDEs, FC, and stochastic calculus are combined in stochastic fractional pantograph differential equations (PFSDEs). They are useful in many domains where systems show memory effects in addition to random fluctuations. Among the noteworthy uses of PFSDEs are [45,46,47,48,49,50]:
● PFSDEs are used to simulate stochastic volatility and memory effects in financial processes, including option pricing models, asset price dynamics, and risk management techniques. These models aid in the development of successful investing strategies as well as the comprehension of the intricate behavior of financial markets.
● PFSDEs are used in the modeling and analysis of random delay and memory effect communication systems, including packet-switched networks, wireless networks, and data transfer protocols. These models help maximize dependability, reduce latency, and optimize network performance.
● Stochastic dynamical systems, random walks in fractal media, diffusion processes, and other physical systems with random fluctuations and memory effects are among the systems that PFSDEs simulate. These models aid in forecasting the long-term evolution of complex physical systems and in understanding their behavior.
● PFSDEs are used to represent biological systems, including gene expression pathways, neuronal dynamics, and physiological responses to external stimuli, that exhibit both stochastic variability and memory effects. These models aid in the development of strategies for the management and treatment of disease as well as the comprehension of the fundamental mechanisms driving biological processes.
● PFSDEs are useful for simulating stochastic variability and memory effects in environmental processes, including pollution dispersion, ecological systems, and climate models. These models are helpful for forecasting changes in the environment, evaluating the effects of human activity on ecosystems, and formulating conservation plans for the environment.
● PFSDEs are employed in the modeling and analysis of control systems, including time-delay systems, networked control systems, and adaptive control algorithms, that have both stochastic disturbances and memory effects. These models aid in the development of reliable control schemes that successfully manage disturbances and uncertainty.
● PFSDEs are used to create stochastic models for optimization issues, reinforcement learning, and machine learning methods. These models make it possible for learning algorithms to identify long-term dependencies as well as short-term oscillations in the data, resulting in learning algorithms that are more reliable and effective.
The existence and uniqueness of solutions to FSDEs are one of the main subjects covered in mathematics. Knowing whether or not a certain FSDE has a unique solution is essential. One of the most important qualitative ideas in dynamical systems is stability theory. Subsequently, the concept of stability garners increased interest across several fields of study and practical uses. In mathematics, Ulam-Hyers stability refers to the approximations of functional equation solutions. In the 1940s, Ulam and Hyers introduced it, and Rassias and others later generalized it.
Inspired by these findings, we first demonstrated the existence and uniqueness of solutions of PFSDEs in the framework of CFD by using the Banach fixed point theorem; after that, we demonstrated the continuous dependency (Con-D) of solutions on both the initial value (In-V) and the fractional exponent ℓ. The second section was devoted to examining the Ulam-Hyers stability (UHS) of PFSDE using the generalized Gronwall inequalities. The main part of the proof involved the use of the Cauchy-Schwartz inequality (CS-Ineq), Itˆo isometry formula (I-IsF), generalized Gronwall's inequality (GG-Ineq), and temporally weighted norm.
Compared with the research results of [39,40,41,42,43,44,45,46,47,48,49,50], the major contributions of this paper include at least the following three aspects:
(ⅰ) In contrast to [39,40,41,42,43,44], the system we studied was more generalized because it included the stochastic term.
(ⅱ) In contrast to [45,46,47,48,49,50], in our research work, we established results regarding the existence, uniqueness, continuous dependency on both the initial condition and fractional component, and Ulam-Hyers stability in the sense of CFD.
(ⅲ) In contrast to [45,46,47,48,49,50,51], in which continuous dependency was not discussed, we have evaluated this factor in our research work. We presented continuous dependency of solutions of PFSDEs on the initial value and fractional exponent in the sense of CFD.
We examined the following PFSDEs of order 12<ℓ<1:
TℓτZ(τ)=A1(τ,Z(τ),Z(ητ))+A2(τ,Z(τ),Z(ητ))dWτdτ, | (1.1) |
where ητ represents the past state and η∈(0,1) and ℓ represent the CFD, A1:[τ0,ℑ]×Rm×Rm→Rm, A2:[τ0,ℑ]×Rm×Rm→Rm are measurable and on an underlying complete filtered probability space (Ω,F,P), and (Wτ)τ∈[0,∞) is a scalar Brownian motion, with the filtration Fτ=(Fτ)τ0≤τ≤ℑ.
Fractional orders in the interval (12,1) are a popular choice [52,53,54,55]; the precise range may differ based on the situation, the nature of the issue, and the intended trade-off between correctly capturing the dynamics of the system and maintaining mathematical tractability. For instance, the fractional order in viscoelastic materials may indicate the ratio of elasticity to viscosity. Values between 12 and 1 more closely represent the behavior of the system in such circumstances. When compared to fractional-order systems with orders below 12, those with orders in the interval (12,1) frequently show superior stability and regularity features. Systems having orders smaller than 12 can result in non-unique solutions or a deficiency of solutions in mathematics.
Extending the fractional order range from (12,1) to (0,1) poses challenges due to the inclusion of the point 0. However, we have provided unified criteria for selecting fractional orders within the extended range (0,1) by considering the following factors:
(ⅰ) We established criteria based on stability and regularity properties of solutions. Fractional orders within the range (0,1) yield stable and well-behaved solutions for the systems under consideration. Analyzing stability and regularity conditions guided the selection of suitable fractional orders.
(ⅱ) Unified criteria ensure the existence and uniqueness of solutions for fractional differential equations within the extended range. We developed mathematical conditions that guarantee the existence and uniqueness of solutions, considering the fractional order's impact on these properties.
(ⅲ) Criteria were based on the physical interpretation of fractional orders within the range (0,1). We ensured that selected fractional orders aligned with the underlying dynamics of the systems being modeled. This involved considering the physical meaning of fractional orders in specific applications, such as viscoelasticity or diffusion processes.
(ⅳ) Unified criteria address the numerical stability and efficiency of methods used to solve fractional differential equations with fractional orders in the range (0,1). We established guidelines for selecting numerical methods that accurately and efficiently handle fractional order equations while maintaining stability and convergence properties.
(ⅴ) We conducted comparative analyses between fractional orders within the range (0,1) and those within the range (12,1). By comparing the behavior and performance of systems modeled with different fractional orders, the authors identified criteria that effectively differentiated between suitable fractional orders.
By considering these factors and establishing unified criteria, we provided guidance for selecting fractional orders within the extended range (0,1) that ensured the stability, regularity, and physical relevance of solutions in various applications.
The study is structured as follows: We use some fundamental ideas in the next section to provide the framework for the PFSDE conclusions. We first demonstrate the well-posedness of the PFSDE solution in the first subsection of Section 3, and we demonstrate the UHS and offer two instances to support our findings in the second section. Section 4 then presents the conclusion.
In this section, we will go over some basic concepts, assumptions, characteristics, and definitions that will be useful in this paper.
First, we present some useful characteristics of CFD that make it distinguishable from other fractional derivatives. The primary advantages of CFD are outlined in the following order [56,57,58,59,60,61,62,63,64,65,66,67]:
(ⅰ) In contrast to the other fractional formulations, it satisfies every need and regulation of an ordinary derivative, such as the product, quotient, and chain rules; Rolle's theorem; and mean-value theorem.
(ⅱ) It reduces the complexity of well-known transforms, such as the Sumudu and Laplace transforms, which are used as instruments to solve some DEs.
(ⅲ) It may be quickly and simply modified to solve systems, analytical, and numerical DEs.
(ⅳ) Fuzzy generalized CFD, Katugampola fractional derivatives, M-CFD, deformable fractional derivatives, and class CFD are just a few of the new concepts that may be created and expanded upon thanks to it.
(ⅴ) In many different applications, it produces new comparisons between CFD and previous fractional definitions.
(ⅵ) CFD draws a lot of interest from researchers since it can be used to depict a wide range of phenomena and applications that need to be addressed.
The following are some significant aspects of CFD that are relevant to differentiation processes.
Theorem 2.1. [68] Let 0<ℓ≤1, Ψ1(τ) and Ψ2(τ) be ℓ-differentiable at a point τ>0. Then
(i) Tℓτ(ℏ1Ψ1(τ)+ℏ2Ψ2(τ))=ℏ1TℓτΨ1(τ)+ℏ2TℓτΨ2(τ),∀ℏ1,ℏ2∈R.
(ii) Tℓτ(τℏ)=ℏτℏ−ℓ,∀ℏ∈R.
(iii) Tℓτ(Υ)=0,Υ∈R.
(iv) TℓτΨ1(τ)Ψ2(τ))=Ψ1(τ)TℓτΨ2(τ)+Ψ2(τ)TℓτΨ1(τ).
(v) TℓτΨ1(τ)Ψ2(τ)=Ψ2(τ)TℓτΨ1(τ)−Ψ1(τ)TℓτΨ2(τ)Ψ22(τ).
Denote by (Ω,F,(Fτ)τ0≤τ≤ℑ,P) the complete probability space and W(τ) is the standard Brownian motion. Suppose Zτ=L2(Ω,Fτ,P) be the space of all Fτ-measurable, integrable, and mean square functions Z=(Z1,Z2,⋯,Zm)T:Ω→Rm with
‖Z‖MS=(m∑ȷ=1E[|Zȷ|2])12=(E[‖Z‖2])12, |
making use of the usual Euclidian norm, ‖⋅‖.
Definition 2.2. To prove the desired results, we assume that coefficients A1 and A2 meet the following assumptions:
(H1): There is L>0 such that ∀(τ,ν1,ν2,˜ν1,˜ν2)∈[τ0,ℑ]×Rm×Rm×Rm×Rm:
‖A1(τ,ν1,ν2)−A1(τ,˜ν1,˜ν2)‖2≤L2(‖ν1−˜ν1‖2+‖ν2−˜ν2‖2), |
‖A2(τ,ν1,ν2)−A2(τ,˜ν1,˜ν2)‖2≤L2(‖ν1−˜ν1‖2+‖ν2−˜ν2‖2). |
(H2): A1(.,0,0) and A2(.,0,0) are bounded, i.e,
‖A1(.,0,0)‖∞=esssupτ∈[τ0,ℑ]‖A1(τ,0,0)‖<∞, |
‖A2(.,0,0)‖∞=esssupτ∈[τ0,ℑ]‖A2(τ,0,0)‖<∞, |
∫ℑτ0‖A1(χ,0,0)‖2dχ<∞, |
∫ℑτ0‖A2(χ,0,0)‖2dχ<∞. |
We give now the definition of UHS.
Definition 2.3. The Eq (1.1) is UHS with respect to ϵ if there is a constant ℵ>0 such that for each ϵ>0 and N(τ)∈H2([ητ0,ℑ]) of the following inequality: ∀τ∈[τ0,ℑ]
E[‖N(τ)−N(τ0)−(∫ττ0(χ−τ0)ℓ−1(A1(χ,N(χ),N(ηχ))dχ+A2(χ,N(χ),N(ηχ))dW(χ)))‖2]≤ϵ, | (2.1) |
there exists a solution Z(τ)∈H2([ητ0,ℑ]) of Eq (1.1), with Z(τ)=N(τ) for τ∈[ητ0,τ0], satisfies E[‖N(τ)−Z(τ)‖2]≤ℵϵ, ∀τ∈[τ0,ℑ].
In this part of the paper, we present our results for the well-posedness solutions of PFSDE.
Assume ˜H2(ητ0,ℑ) is the space where all processes Z(τ) which are measurable Fℑ−adapted, with Fℑ=(Fτ)τ∈[ητ0,ℑ] and satisfy the following:
‖Z‖˜H2=supητ0≤τ≤ℑ‖Z(τ)‖MS<∞. |
It is easy to show that (˜H2([ητ0,ℑ]),‖⋅‖˜H2) is a Banach space. For ϖ∈H2([ητ0,τ0]), we consider the operator Λϖ : ˜H2([ητ0,ℑ])→˜H2([ητ0,ℑ]) defined by
Λϖ(Z(τ))=ϖ(τ0)+∫ττ0(χ−τ0)ℓ−1A1(χ,Z(χ),Z(ηχ))dχ+∫ττ0(χ−τ0)ℓ−1A2(χ,Z(χ),Z(ηχ))dW(χ), | (3.1) |
for τ∈[τ0,ℑ] and Λϖ(Z(τ))=ϖ(τ) for τ∈[ητ0,τ0].
The subsequent lemma shows this operator's well-defined property. It is essential to demonstrate the well-definedness of an operator in the context of DEs because a well-defined operator in DEs guarantees a clear, consistent mapping from the domain to the range that is independent of the representation of the domain's elements. In the study of DEs, this ensures the accuracy and consistency of mathematical operations and solutions.
The elementary inequality below is employed in the proof of this result as well as multiple others that follow:
‖Z1+Z2+⋯+Zȷ‖2≤ȷ(‖Z1‖2+‖Z2‖2+⋯+‖Zȷ‖2),∀Z1,Z2,⋯,Zȷ∈Rm. | (3.2) |
Lemma 3.1. Assume that assumptions A1 and A2 are true, then operator Λϖ is well-defined for all ϖ∈˜H2([ητ0,τ0]).
Proof. Let Z∈˜H2([ητ0,ℑ]). By utilizing Eqs (3.1) and (3.2), we get the following result:
‖Λϖ(Z(τ))‖2MS≤3‖ϖ(τ0)‖2MS+3E[‖∫ττ0(χ−τ0)ℓ−1A1(χ,Z(χ),Z(ηχ))dχ‖2]+3E[‖∫ττ0(χ−τ0)ℓ−1A2(χ,Z(χ),Z(ηχ))dW(χ)‖2]. | (3.3) |
With CS-ineq, we derive
E[‖∫ττ0(χ−τ0)ℓ−1A1(χ,Z(χ),Z(ηχ))dχ‖2]≤(∫ττ0(χ−τ0)2ℓ−2dχ)E[∫ττ0‖A1(χ,Z(χ),Z(ηχ))‖2dχ]. | (3.4) |
Via the use of (A1), we conclude that
‖A1(χ,Z(χ),Z(ηχ))‖2≤2L2(‖Z(χ)‖+‖Z(ηχ)‖)2+2‖A1(χ,0,0)‖2∞. | (3.5) |
Then, from Eq (3.5), we get
E[∫ττ0‖A1(χ,Z(χ),Z(ηχ))‖2dχ]≤4L2(ℑ−τ0)supτ∈[τ0,ℑ]E[‖Z(τ)‖2+‖Z(ητ)‖2]+2∫ℑτ0‖A1(χ,0,0)‖2dχ≤8L2(ℑ−τ0)supτ∈[ητ0,ℑ]E[‖Z(τ)‖2]+2∫ℑτ0‖A1(χ,0,0)‖2∞dχ. | (3.6) |
By utilizing Eq (3.6) in Eq (3.4), we acquire the following outcomes:
E[‖∫ττ0(χ−τ0)ℓ−1A1(χ,Z(χ),Z(ηχ))dχ‖2]≤12ℓ−1(ℑ−τ0)2ℓ−1(8L2(ℑ−τ0)supτ∈[ητ0,ℑ]E[‖Z(τ)‖2]+2∫ℑτ0‖A1(χ,0,0)‖2dχ). | (3.7) |
Considering the use of I-IsF, we can determine that
E[‖∫ττ0(χ−τ0)ℓ−1A2(χ,Z(χ),Z(ηχ))dW(χ)‖2]=E[∫ττ0(χ−τ0)2ℓ−2‖A2(χ,Z(χ),Z(ηχ))‖2dχ]. | (3.8) |
Applying (A1), we may deduce that
‖A2(χ,Z(χ),Z(ηχ))‖2≤4L2(‖Z(χ)‖2+‖Z(ηχ)‖2)+2‖A2(⋅,0,0)‖2∞. | (3.9) |
Thus, using Eq (3.9), we derive the next outcomes of our findings from Eq (3.8).
E[‖∫ττ0(χ−τ0)ℓ−1A2(χ,Z(χ),Z(ηχ))dW(χ)‖2]≤E[∫ττ0(χ−τ0)2ℓ−2(4L2(‖Z(χ)‖2+‖Z(ηχ)‖2)+2‖A2(⋅,0,0)‖2)dχ]≤8L22ℓ−1(ℑ−τ0)2ℓ−1‖Z(τ)‖2˜H2+22ℓ−1(ℑ−τ0)2ℓ−1‖A2(⋅,0,0)‖2∞. | (3.10) |
From Eqs (3.7) and (3.10) consequently, we extract our intended conclusions.
To establish the EU, we have to prove the following lemma.
Lemma 3.2. For any ℓ>12 and τ>0, the inequality that follows is valid:
XΓ(2ℓ−1)∫τ0χ2ℓ−2E2ℓ−1(Xχ2ℓ−1)dχ≤E2ℓ−1(Xτ2ℓ−1), | (3.11) |
where E2ℓ−1(.) is a Mittag-Leffler function which is defined as
E(2ℓ−1)(τ)=∑∞ȷ=0τȷΓ((2ℓ−1)ȷ+1). | (3.12) |
Proof. Let X>0 be arbitrary. First, we interchange integral and sum, and then we apply the procedures that follow identity.
∫τ0χ2ℓ−2χȷ(2ℓ−1)dχ=τ(ȷ+1)(2ℓ−1)B(2ℓ−1,ȷ(2ℓ−1)+1),ȷ=0,1,2,⋯. |
So, we get
XΓ(2ℓ−1)∫τ0χ2ℓ−2E2ℓ−1(Xχ2ℓ−1)dχ=X∑∞ȷ=0XȷΓ(ȷ(2ℓ−1)+1)∫τ0χ2ℓ−2χȷ(2ℓ−1)dχ=∑∞ȷ=0Xȷ+1τ(ȷ+1)(2ℓ−1)Γ(2ℓ−1)Γ(ȷ(2ℓ−1)+1)=∑∞ȷ=1Xȷτȷ(2ℓ−1)Γ(ȷ(2ℓ−1)+1)=E2ℓ−1(Xτ2ℓ−1)−1≤E2ℓ−1(Xτ2ℓ−1). |
In this case, the beta function is B. This brings the proof to an end.
Theorem 3.3. Assume that the assumptions (A1) and (A2) are fulfilled, then the problem Eq (1.1) with In.C ϖ has unique solution.
Proof. In the beginning, proceed to select a fixed positive constant X:
X>8L2(ℑ−τ0+1)Γ(2τ−1). | (3.13) |
We establish a weighted norm ‖⋅‖X over the space ˜H2([ητ0,ℑ]) as:
‖Z(τ)‖X=Supτ∈[ητ0,ℑ](E[‖Z(τ)‖2]Y(τ))12,∀Z(τ)∈˜H2([ητ0,ℑ]), | (3.14) |
Y(τ)=E2ℓ−1(X(τ−τ0)2ℓ−1) when τ∈[τ0,ℑ] and Y(τ)=1 for τ∈[ητ0,τ0]. ‖⋅‖˜H2 and ‖⋅‖X, two norms, are equivalent. For this reason, (˜H2([ητ0,ℑ]),‖⋅‖X) is a Banach space. Let Z1,Z2∈˜H2([ητ0,ℑ]), we have ∀τ∈[ητ0,τ0],Λϖ(Z1(τ))−Λϖ(Z2(τ))=0. For τ∈[τ0,ℑ], we get
E[‖Λϖ(Z1(τ))−Λϖ(Z2(τ))‖2]≤2E[‖∫ττ0(χ−τ0)ℓ−1(A1(χ,Z1(χ),Z1(ηχ))−A1(χ,Z2(χ),Z2(ηχ)))dχ‖2]+2E[‖∫ττ0(χ−τ0)ℓ−1(A2(χ,Z1(χ),Z1(ηχ))−A2(χ,Z2(χ),Z2(ηχ)))dW(χ)‖2]. | (3.15) |
Employing the CS-ineq and (A1), we acquire
E[‖∫ττ0(χ−τ0)ℓ−1(A1(χ,Z1(χ),Z1(ηχ))−A1(χ,Z2(χ),Z2(ηχ)))dχ‖2]≤2L2(ℑ−τ0)∫ττ0(χ−τ0)2ℓ−2(E[‖Z1(χ)−Z2(χ)‖2]+E[‖Z1(ηχ)−Z2(ηχ)‖2])dχ. | (3.16) |
By applying I-IsF and (A1), we reach the subsequent outcome:
E[‖∫ττ0(χ−τ0)ℓ−1(A2(χ,Z1(χ),Z1(ηχ))−A2(χ,Z2(χ),Z2(ηχ)))dW(χ)‖2]=E[∫ττ0(χ−τ0)2ℓ−2‖A2(χ,Z1(χ),Z1(ηχ))−A2(χ,Z2(χ),Z2(ηχ))‖2dχ]≤2L2∫ττ0(χ−τ0)2ℓ−2(E[‖Z1(χ)−Z2(χ)‖2]+E[‖Z1(ηχ)−Z2(ηχ)‖2])dχ. | (3.17) |
Then,
E[‖Λϖ(Z1(τ))−Λϖ(Z2(τ))‖2]≤δ∫ττ0(χ−τ0)2ℓ−2(E[‖Z1(χ)−Z2(χ)‖2]+E[‖Z1(ηχ)−Z2(ηχ)‖2])dχ, | (3.18) |
where δ=4L2(ℑ−τ0+1)Γ(ℓ)2. Then,
E[‖Λϖ(Z1(τ))−Λϖ(Z2(τ))‖2]≤δ∫ττ0(χ−τ0)2ℓ−2(Y(χ)E[‖Z1(χ)−Z2(χ)‖2]Y(χ)+Y(ηχ)E[‖Z1(ηχ)−Z2(ηχ)‖2]Y(ηχ))dχ≤δ‖Z1(τ)−Z2(τ)‖2X∫ττ0(χ−τ0)2ℓ−2(Y(χ)+Y(ηχ))dχ≤2δ‖Z1(τ)−Z2(τ)‖2X∫ττ0(χ−τ0)2ℓ−2Y(χ)dχ≤2δΓ(2ℓ−1)XE2ℓ−1(X(τ−τ0)2ℓ−1)‖Z1(τ)−Z2(τ)‖2X. |
Therefore,
‖Λϖ(Z1(τ))−Λϖ(Z2(τ))‖X≤√2δΓ(2ℓ−1)X‖Z1(τ)−Z2(τ)‖X. |
Then, there is a unique solution to Eq (1.1).
We will demonstrate the Con-D of solutions on In-V that are ϖ and Θ to PFSDEs in the following theorem.
Theorem 3.4. (A1) and (A2) are assumed to be valid. The solution Zℓ(.,ϖ) of Eq (1.1) is always dependent on ϖ, i.e.,
limΘ→ϖsupτ∈[ητ0,ℑ]‖Zℓ(τ,ϖ)−Zℓ(τ,Θ)‖MS=0. | (3.19) |
Proof. Because Zℓ(.,ϖ) and Zℓ(.,Θ) are solutions of Eq (1.1), employing Eq (3.2), the CS-Ineq, I-ISF, (A1), (A2), and Lemma 3.2, we yield
supτ∈[ητ0,ℑ]E[‖Zℓ(τ,ϖ)−Zℓ(τ,Θ)‖2]E2ℓ−1(X(τ−τ0)2ℓ−1)≤3E[‖ϖ−Θ‖2]+Γ(2ℓ−1)X6L2(τ+1)×supτ∈[ητ0,ℑ]E[‖Zℓ(τ,ϖ)−Zℓ(τ,Θ)‖2]E2ℓ−1(X(τ−τ0)2ℓ−1). | (3.20) |
By virtue of definition of ‖⋅‖X, we have
(1−Γ(2ℓ−1)X6L2(τ+1))‖Zℓ(τ,ϖ)−Zℓ(τ,Θ)‖2X≤3‖ϖ−Θ‖2MS, | (3.21) |
which, together with Eq (3.13), we derive
limϖ→Θsupτ∈[ητ0,τ]‖Zℓ(τ,ϖ)−Zℓ(τ,Θ)‖2MS=0. | (3.22) |
We will demonstrate the Con-D of solutions on fractional exponent ℓ to PFSDEs in the following theorem.
Theorem 3.5. Let us suppose that both (A1) and (A2) are valid. After that, the solution Zℓ(.,ϖ) to Eq (1.1) is Con-D on ℓ, i.e.,
lim˜ℓ→ℓsupτ∈[ητ0,ℑ]‖Zℓ(τ,ϖ)−Z˜ℓ(τ,ϖ)‖MS=0. | (3.23) |
Proof. Let ℓ,˜ℓ be arbitrary but fixed. As Zℓ(.,ϖ) and Z˜ℓ(.,ϖ) are solutions of Eq (1.1) and we implement Eq (3.2), the CS-Ineq, I-IsF, (A1), (A2), and Lemma 3.2, we achieve
E[‖Zℓ(τ,ϖ)−Z˜ℓ(τ,ϖ)‖2]E2ℓ−1(X(τ−τ0)2ℓ−1)≤supτ∈[ητ0,ℑ]E[‖Zℓ(τ,ϖ)−Z˜ℓ(τ,ϖ)‖2]E2ℓ−1(X(τ−τ0)2ℓ−1)8(τ+1)L2∫ττ0χ2ℓ−2E2ℓ−1(X(χ−τ0)2ℓ−1)dχE2ℓ−1(X(χ−τ0)2ℓ−1)+4(τ+1)(4L2supτ∈[ητ0,ℑ]‖Z˜τ(τ,ϖ)‖2+2L2‖ϖ‖2MS | (3.24) |
+‖A1(.,0,0)‖2∞+‖A2(.,0,0)‖2∞)×∫ττ0(λ(χ,τ0,ℓ,˜ℓ))2dχ, | (3.25) |
where
λ(χ,τ0,ℓ,˜ℓ)=|(χ−τ0)ℓ−1−(χ−τ0)˜ℓ−1|. | (3.26) |
By virtue of Lemma 3.2, we attain
(1−8(ℑ+1)L2Γ(2ℓ−1)X)‖Zℓ(τ,ϖ)−Z˜ℓ(τ,ϖ)‖2X≤4(ℑ+1)(4L2supτ∈[ητ0,ℑ]‖Z˜ℓ(τ,ϖ)‖2+2L2‖ϖ‖2MS+‖A1(.,0,0)‖2∞+‖A2(.,0,0)‖2∞)×∫ℓτ0(λ(χ,τ0,ℓ,˜ℓ))2dχ. | (3.27) |
However, we yield
∫ττ0(λ(χ,τ0,ℓ,˜ℓ))2dχ=∫ττ0(χ−τ0)2ℓ−2dχ+∫ττ0(χ−τ0)2˜ℓ−2dχ+∫ττ0(χ−τ0)ℓ+˜ℓ−2dχ=(τ−τ0)2ℓ−12ℓ−1+(τ−τ0)2˜ℓ−12˜ℓ−1+(τ−τ0)ℓ+˜ℓ−1ℓ+˜ℓ−1. | (3.28) |
As a result,
lim˜ℓ→ℓsupχ∈[ηττ0,ℑ]∫ττ0(λ(χ,τ0,ℓ,˜ℓ))2dχ=0. |
This suggests the completion of the proof when combined with Eq (1.1).
In the next subsection, we will prove that Eq (1.1) is Ulam-Hyers stable.
Theorem 3.6. Under (A1) and (A2), the PFSDE Eq (1.1) is UHS on [τ0,ℑ].
Proof. Set ϵ>0 and N(τ)∈H2([ητ0,ℑ]) satisfies Eq (2.1). Let Z(τ)∈H2([ητ0,ℑ]) be the unique solution of Eq (1.1) with In.V Z(τ)=N(τ) for τ∈[ητ0,τ0], then
Z(τ)=N(τ0)+(∫ττ0(χ−τ0)ℓ−1A1(χ,Z(χ),Z(ηχ))dχ+∫ττ0(χ−τ0)ℓ−1A2(χ,Z(χ),Z(ηχ))dW(χ)). | (3.29) |
Thus,
E[‖N(τ)−Z(τ)‖2]≤2E[‖N(τ)−N(τ0)−(∫ττ0(χ−τ0)ℓ−1A1(χ,N(χ),N(ηχ))dχ+∫ττ0(χ−τ0)ℓ−1A2(χ,N(χ),N(ηχ))dW(χ))‖2]+2E[‖(∫ττ0(χ−τ0)ℓ−1(A1(χ,N(χ),N(ηχ))−A1(χ,Z(χ),Z(ηχ)))dχ+∫ττ0(χ−τ0)ℓ−1(A2(χ,N(χ),N(ηχ))−A2(χ,Z(χ),Z(ηχ)))dW(χ))‖2]. | (3.30) |
Thus, using CS-Ineq and (A1), (A2), we can derive that
E[‖N(τ)−Z(τ)‖2]≤2ϵ+4E[‖∫ττ0(χ−τ0)ℓ−1(A1(χ,N(χ),N(ηχ))−A1(χ,Z(χ),Z(ηχ)))dχ‖2]+4E‖∫ττ0(χ−τ0)ℓ−1(A2(χ,N(χ),N(ηχ))−A2(χ,Z(χ),Z(ηχ)))dW(χ)‖2]≤2ϵ+8L2(ℑ−τ0)2ℓ−1(2ℓ−1)E[∫ττ0(‖N(χ)−Z(χ)‖2+‖N(ηχ)−Z(ηχ)‖2)dχ]+8L2E[∫ττ0(χ−τ0)2ℓ−2(‖N(χ)−Z(χ)‖2+‖N(ηχ)−Z(ηχ)‖2)dχ]. |
Let ϝ(τ)=supχ∈[ητ0,τ]E[‖N(χ)−Z(χ)‖2] for τ∈[τ0,ℑ].
We have
E[‖N(χ)−Z(χ)‖2]≤ϝ(χ), | (3.31) |
and
E[‖N(ηχ)−Z(ηχ)‖2]≤ϝ(χ),∀χ∈[τ0,ℑ]. | (3.32) |
Then, for τ∈[τ0,ℑ], we obtain
E[‖N(τ)−Z(τ)‖2]≤2ϵ+16L2(ℑ−τ0)2ℓ−1(2ℓ−1)∫ττ0ϝ(χ)dχ+16L2∫ττ0(χ−τ0)2ℓ−2ϝ(χ)dχ. |
Hence, for all τ∈[τ0,τ],
E[‖N(χ)−Z(χ)‖2]≤2ϵ+16L2(ℑ−τ0)2ℓ−1(2ℓ−1)∫ττ0ϝ(χ)dχ+16L2∫ττ0(χ−τ0)2ℓ−2ϝ(χ)dχ. |
Then,
ϝ(τ)≤2ϵ+δ1∫ττ0ϝ(χ)dχ+δ2∫ττ0(χ−τ0)2ℓ−2ϝ(χ)dχ, | (3.33) |
for all τ∈[τ0,ℑ], where δ1=16L2(ℑ−τ0)2ℓ−1(2ℓ−1) and δ2=16L2.
Using GG-Ineq, we get
ϝ(τ)≤(2ϵ+δ1∫ττ0ϝ(χ)dχ)E2ℓ−1(δ2Γ(2ℓ−1)(τ−τ0)2ℓ−1)≤δ3ϵ+δ4∫ττ0ϝ(χ)dχ, |
where δ3=2E2ℓ−1(δ2Γ(2ℓ−1)(ℑ−τ0)2ℓ−1) and δ4=δ1E2ℓ−1(δ2Γ(2ℓ−1)(ℑ−τ0)2ℓ−1).
Using GG-Ineq, we get
ϝ(τ)≤δ3ϵeδ4(τ−τ0). | (3.34) |
Hence,
E[‖N(τ)−Z(τ)‖2]≤ℵϵ,∀τ∈[τ0,ℑ], | (3.35) |
where ℵ=δ3eδ4(ℑ−τ0). Thus, Eq (1.1) is UHS.
The purpose of this section is to understand the results that we established in the above section. For this purpose, we present two numerical examples of PFSDEs.
The PFSDEs find applications in various fields where systems exhibit random behavior and are influenced by both deterministic and stochastic factors. One physical application of PFSDEs is in modeling the dynamics of certain types of mechanical systems subject to random perturbations. In such cases, PFSDEs can be used to model the dynamics of the system. The pantograph term arises when there are delays in the system's response, for instance, due to the time it takes for vibrations to propagate through the structure. The stochastic component captures the randomness inherent in the external forcing or system parameters.
A suspension bridge subjected to random wind loads can be modeled using PFSDEs. The deterministic part of the equation accounts for the bridge's structural properties, such as stiffness and damping, while the stochastic part represents the random nature of wind loads. The pantograph term may account for delays in the bridge's response to wind gusts due to factors like the propagation speed of vibrations along its structure.
Example 4.1. Let τ∈[1,2] and the PFSDE for each ϵ>0 be provided by
{TℓτZ(τ)=A1(τ,Z(τ),Z(0.5τ))+A2(τ,Z(τ),Z(0.5τ))dW(τ)dτ,E[‖Z(τ)−Z(1)−(∫τ1(χ−τ0)ℓ−1(A1(χ,Z(χ),Z(0.5χ))dχ+A2(χ,Z(χ),Z(0.5χ))dW(χ))))‖2]≤ϵ,Z(τ)=ϖ(τ),τ∈[0.5,1], | (4.1) |
where
Z(τ)∈H2([0.5,2],R),A1(τ,Z(τ),Z(0.5τ))=e0.5τcos(Z(τ)),A2(τ,Z(τ),Z(0.5τ))=cos(Z(0.5τ))√1+0.5τ. |
Where, the deterministic and stochastic parts of Eq (4.1) are e0.5τcos(Z(τ)) and cos(Z(0.5τ))√1+0.5τ respectively. Now we demonstrate that, with relation to ϵ, Eq (4.1) is UHS. Let (τ,Z1,Z2)∈[1,2]×R×R, therefore,
‖A1(τ,Z1,˜Z1)−A1(τ,Z2,˜Z2)‖+‖A2(τ,Z1,˜Z1)−A2(τ,Z2,˜Z2)‖≤e1(‖Z1−Z2‖+‖˜Z1−˜Z2‖). |
This means that (A1) is satisfied. Furthermore,
‖A2(⋅,0,0)‖∞≤1, |
and
∫21‖A1(τ,0,0)‖2dτ≤e2. |
The assumptions (A1) and (A2) are therefore met. Thus, with respect to ϵ on [1, 2], Eq (4.1) is UHS utilizing Theorem 3.6. For Systems Eqs (4.1) and (4.2), we conduct a simulation based on the Euler-Maruyama scheme with a step size of 10−3. We can see from Figure 1 that the distance between N(τ) and Z(τ) is less than a constant, and according to Definition 2.3, the solution of Eq (4.1) is UHS.
Example 4.2. Let τ∈[1,4] and the PFSDE for each ϵ>0 be provided by
{TℓτZ(τ)=A1(τ,Z(τ),Z(0.25τ))+A2(τ,Z(τ),Z(0.25τ))dW(τ)dτ,E[‖Z(τ)−Z(1)−(∫τ1(χ−1)ℓ−1(A1(χ,Z(χ),Z(0.25χ))dχ+A2(χ,Z(χ),Z(0.25χ))dW(χ)))‖2]≤ϵ,Z(τ)=ϖ(τ),τ∈[0.25,1], | (4.2) |
where
Z(τ)∈H2([0.25,4],R),A1(τ,Z(τ),Z(0.25τ))=cosZ(τ)√1+(0.25τ)2,A2(τ,Z(τ),Z(0.25τ))=Z(0.25τ)1+τ2. |
Where, the deterministic and stochastic parts of the Eq (4.2) are cosZ(τ)√1+(0.25τ)2 and Z(0.25τ)1+τ2 respectively. Now, with regard to ϵ, we demonstrate that Eq (4.2) is UHS. Assume that (τ,Z1,Z2)∈[1,4]×R×R, hence
‖A1(τ,Z1,˜Z1)−A1(τ,Z2,˜Z2)‖+‖A2(τ,Z1,˜Z1)−A2(τ,Z2,˜Z2)‖≤‖Z1−Z2‖+‖˜Z1−˜Z2‖. |
Consequently, (A1) is met. Likewise
|A2(⋅,0)|∞=0, |
and
∫41|A1(τ,0)|2dτ≤π. |
The assumptions (A1) and (A2) are therefore met. Thus, with respect to ϵ on [1, 4], Eq (4.2) is UHS employing Theorem 3.6. We can see from Figure 2 that the distance between N(τ) and Z(τ) is less than a constant, and according to Definition 2.3, the solution of Eq (4.2) is UHS.
Continuous dependency is a key property that contributes to the well-posedness of systems of differential equations, ensuring stability in the solutions by guaranteeing that small changes in parameters or initial conditions lead to correspondingly small changes in the solutions. Therefore, continuous dependency is closely tied to the overall stability and reliability of mathematical models described by differential equations. As both models presented in Examples 4.1 and 4.2 satisfy the criteria of continuous dependency, we conclude that both models are stable.
In the present paper, we examined the existence and uniqueness of the pantograph fractional stochastic differential equations using the Banach fixed point theorem. Second, we demonstrated that solutions continuously depend on the fractional order ℓ and initial value. The fractional-order derivative is considered in the conformable sense. Using the generalized Gronwall inequalities and stochastic analytic methods, we examined the Ulam-Hyers stability of the considered problem. We demonstrated our findings with two examples in the final section.
We will use numerical techniques in our future work to solve various kinds of real-world challenges modeled with pantograph fractional stochastic differential equations.
The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.
This work was supported by Princess Nourah bint Abdulrahman University Researchers Supporting Project number (PNURSP2024R157), Princess Nourah bint Abdulrahman University, Riyadh, Saudi Arabia. This study was supported via funding from Prince Sattam bin Abdulaziz University project number (PSAU/2024/R/1445). The authors are thankful to the Deanship of Graduate Studies and Scientific Research at the University of Bisha for supporting this work through the Fast-Track Research Support Program.
The authors declare that there are no conflicts of interest.
[1] |
M. Benchohra, J. Henderson, S. K. Ntouyas, A. Ouahab, Existence results for fractional order functional differential equations with infinite delay, J. Math. Anal. Appl., 338 (2008), 1340–1350. https://doi.org/10.1016/j.jmaa.2007.06.021 doi: 10.1016/j.jmaa.2007.06.021
![]() |
[2] |
M. Feckan, J. Wang, Y. Zhou, Controllability of fractional functional evolution equations of Sobolev type via characteristic solution operators, J. Optim. Theory Appl., 156 (2013), 79–95. http://dx.doi.org/10.1007/s10957-012-0174-7 doi: 10.1007/s10957-012-0174-7
![]() |
[3] |
C. Lizama, An operator theoretical approach to a class of fractional order differential equations, Appl. Math. Lett., 24 (2011), 184–190. https://doi.org/10.1016/j.aml.2010.08.042 doi: 10.1016/j.aml.2010.08.042
![]() |
[4] |
R. A. El-Nabulsi, Path integral formulation of fractionally perturbed Lagrangian oscillators on fractal, J. Stat. Phys., 172 (2018), 1617–1640. https://doi.org/10.1007/s10955-018-2116-8 doi: 10.1007/s10955-018-2116-8
![]() |
[5] |
P. B. Dhivakaran, A. Vinodkumar, S. Vijay, S. Lakshmanan, J. Alzabut, R. A. El-Nabulsi, et al., Bipartite synchronization of fractional-order memristor-based coupled delayed neural networks with pinning control, Mathematics, 10 (2022), 3699. http://dx.doi.org/10.3390/math10193699 doi: 10.3390/math10193699
![]() |
[6] |
E. Hernández, D. O'Regan, K. Balachandran, Existence results for abstract fractional differential equations with nonlocal conditions via resolvent operators, Indag. Math., 24 (2013), 68–82. https://doi.org/10.1016/j.indag.2012.06.007 doi: 10.1016/j.indag.2012.06.007
![]() |
[7] |
Y. Zhou, J. Wang, L. Zhang, Basic theory of fractional differential equations, 2 Eds., World Scientific, 2016. https://doi.org/10.1142/10238 doi: 10.1142/10238
![]() |
[8] |
G. M. Mophou, G. M. N'guérékata, On integral solutions of some nonlocal fractional differential equations with nondense domain, Nonlinear Anal., 71 (2009), 4668–4675. https://doi.org/10.1016/j.na.2009.03.029 doi: 10.1016/j.na.2009.03.029
![]() |
[9] |
N. Nagajothi, V. Sadhasivam, O. Bazighifan, R. A. El-Nabulsi, Existence of the class of nonlinear hybrid fractional Langevin quantum differential equation with Dirichlet boundary conditions, Fractal Fract., 5 (2021), 156. https://doi.org/10.3390/fractalfract5040156 doi: 10.3390/fractalfract5040156
![]() |
[10] |
R. A. El-Nabulsi, Fractional nonlocal Newton's law of motion and emergence of Bagley-Torvik equation, J. Peridyn. Nonlocal Model., 2 (2020), 50–58. https://doi.org/10.1007/s42102-019-00018-6 doi: 10.1007/s42102-019-00018-6
![]() |
[11] |
W. Afzal, M. Abbas, W. Hamali, A. M. Mahnashi, M. D. Sen, Hermite-Hadamard-type inequalities via Caputo-Fabrizio fractional integral for h-Godunova-Levin and (h1,h2)-convex functions, Fractal Fract., 7 (2023), 687. https://doi.org/10.3390/fractalfract7090687 doi: 10.3390/fractalfract7090687
![]() |
[12] |
W. Afzal, N. M. Aloraini, M. Abbas, J. S. Ro, A. A. Zaagan, Some novel Kulisch-Miranker type inclusions for a generalized class of Godunova-Levin stochastic processes, AIMS Mathematics, 9 (2024), 5122–5146. https://doi.org/10.3934/math.2024249 doi: 10.3934/math.2024249
![]() |
[13] |
A. A. H. Ahmadini, W. Afzal, M. Abbas, E. S. Aly, Weighted Fejer, Hermite-Hadamard, and Trapezium-type inequalities for (h1, h2)-Godunova-Levin Preinvex function with applications and two open problems, Mathematics, 12 (2024), 382. https://doi.org/10.3390/math12030382 doi: 10.3390/math12030382
![]() |
[14] |
Y. Xu, W. Li, C. Zhang, W. Li, Global bipartite synchronization of fractional-order time-varying coupled signed networks with proportional delays, Commun. Nonlinear Sci. Numer. Simul., 126 (2023), 107452. http://dx.doi.org/10.1016/j.cnsns.2023.107452 doi: 10.1016/j.cnsns.2023.107452
![]() |
[15] |
L. Zhang, Y. Yang, Bipartite synchronization analysis of fractional order coupled neural networks with hybrid control, Neural Process. Lett., 52 (2020), 1969–1981. https://doi.org/10.1007/s11063-020-10332-6 doi: 10.1007/s11063-020-10332-6
![]() |
[16] |
Y. Guo, Y. Li, Bipartite leader-following synchronization of fractional-order delayed multilayer signed networks by adaptive and impulsive controllers, Appl. Math. Comput., 430 (2022), 127243. https://doi.org/10.1016/j.amc.2022.127243 doi: 10.1016/j.amc.2022.127243
![]() |
[17] |
Z. Yao, Z. Yang, Y. Fu, Long time decay analysis of complex-valued fractional abstract evolution equations with delay, Appl. Math. Comput., 460 (2024), 128292. https://doi.org/10.1016/j.amc.2023.128292 doi: 10.1016/j.amc.2023.128292
![]() |
[18] |
A. Jajarmi, D. Baleanu, S. S. Sajjadi, J. J. Nieto, Analysis and some applications of a regularized ψ-Hilfer fractional derivative, J. Comput. Appl. Math., 415 (2022), 114476. https://doi.org/10.1016/j.cam.2022.114476 doi: 10.1016/j.cam.2022.114476
![]() |
[19] |
M. I. Liaqat, A. Akg¨ul, A novel approach for solving linear and nonlinear time-fractional Schrödinger equations, Chaos Soliton Fract., 162 (2022), 112487. https://doi.org/10.1016/j.chaos.2022.112487 doi: 10.1016/j.chaos.2022.112487
![]() |
[20] | W. Chen, H. Sun, X. Li, Fractional derivative modeling in mechanics and engineering, Singapore: Springer, 2022. https://doi.org/10.1007/978-981-16-8802-7 |
[21] |
M. I. Liaqat, A. Khan, A. Akg¨ul, Adaptation on power series method with conformable operator for solving fractional order systems of nonlinear partial differential equations, Chaos Soliton Fract., 157 (2022), 111984. https://doi.org/10.1016/j.chaos.2022.111984 doi: 10.1016/j.chaos.2022.111984
![]() |
[22] |
M. Mouy, H. Boulares, S. Alshammari, M. Alshammari, Y. Laskri, W. W. Mohammed, On averaging principle for Caputo-Hadamard fractional stochastic differential pantograph equation, Fractal Fract., 7 (2022), 31. https://doi.org/10.3390/fractalfract7010031 doi: 10.3390/fractalfract7010031
![]() |
[23] |
R. Khalil, M. Al Horani, A. Yousef, M. Sababheh, A new definition of fractional derivative, J. Comput. Appl. Math., 264 (2014), 65–70. https://doi.org/10.1016/j.cam.2014.01.002 doi: 10.1016/j.cam.2014.01.002
![]() |
[24] |
H. M. Ahmed, Q. Zhu, The averaging principle of Hilfer fractional stochastic delay differential equations with Poisson jumps, Appl. Math. Lett., 112 (2021), 106755. https://doi.org/10.1016/j.aml.2020.106755 doi: 10.1016/j.aml.2020.106755
![]() |
[25] |
C. Dineshkumar, K. S. Nisar, R. Udhayakumar, V. Vijayakumar, A discussion on approximate controllability of Sobolev-type Hilfer neutral fractional stochastic differential inclusions, Asian J. Control, 24 (2022), 2378–2394. https://doi.org/10.1002/asjc.2650 doi: 10.1002/asjc.2650
![]() |
[26] |
V. E. Tarasov, Mathematical economics: Application of fractional calculus, Mathematics, 8 (2020), 660. https://doi.org/10.3390/math8050660 doi: 10.3390/math8050660
![]() |
[27] |
Z. Li, L. Xu, Exponential stability in mean square of stochastic functional differential equations with infinite delay, Acta Appl. Math., 174 (2021), 8. https://doi.org/10.1007/s10440-021-00426-1 doi: 10.1007/s10440-021-00426-1
![]() |
[28] |
L. Kexue, P. Jigen, Controllability of fractional neutral stochastic functional differential systems, Z. Angew. Math. Phys., 65 (2014), 941–959. http://dx.doi.org/10.1007/s00033-013-0369-2 doi: 10.1007/s00033-013-0369-2
![]() |
[29] |
J. Cui, L. Yan, Existence result for fractional neutral stochastic integro-differential equations with infinite delay, J. Phys. A, 44 (2011), 335201. http://doi.org/10.1088/1751-8113/44/33/335201 doi: 10.1088/1751-8113/44/33/335201
![]() |
[30] |
M. Niu, B. Xie, Regularity of a fractional partial differential equation driven by space-time white noise, Proc. Amer. Math. Soc., 138 (2010), 1479–1489. http://dx.doi.org/10.1090/S0002-9939-09-10197-1 doi: 10.1090/S0002-9939-09-10197-1
![]() |
[31] |
P. Chen, Y. Li, X. Zhang, On the initial value problem of fractional stochastic evolution equations in Hilbert space, Commun. Pur. Appl. Anal., 14 (2015), 1817–1840. http://dx.doi.org/10.3934/cpaa.2015.14.1817 doi: 10.3934/cpaa.2015.14.1817
![]() |
[32] |
P. Chen, Y. Li, Nonlocal Cauchy problem for fractional stochastic evolution equations in Hilbert spaces, Collect. Math., 66 (2015), 63–76. http://dx.doi.org/10.1007/s13348-014-0106 doi: 10.1007/s13348-014-0106
![]() |
[33] |
P. Chen, X. Zhang, Y. Li, Nonlocal problem for fractional stochastic evolution equations with solution operators, Fract. Calc. Appl. Anal., 19 (2016), 1507–1526. http://dx.doi.org/10.1515/fca-2016-0078 doi: 10.1515/fca-2016-0078
![]() |
[34] |
A. Karczewska, C. Lizama, Solutions to stochastic fractional oscillation equations, Appl. Math. Lett., 23 (2010), 1361–1366. https://doi.org/10.1016/j.aml.2010.06.032 doi: 10.1016/j.aml.2010.06.032
![]() |
[35] |
R. Schnaubelt, M. Veraar, Regularity of stochastic Volterra equations by functional calculus methods, J. Evol. Equ., 17 (2017), 523–536. https://doi.org/10.1007/s00028-016-0365-z doi: 10.1007/s00028-016-0365-z
![]() |
[36] |
G. Xiao, J. Wang, Stability of solutions of Caputo fractional stochastic differential equations, Nonlinear Anal. Model. Control, 26 (2021), 581–596. http://dx.doi.org/10.15388/namc.2021.26.22421 doi: 10.15388/namc.2021.26.22421
![]() |
[37] |
S. Saifullah, S. Shahid, A. Zada, Analysis of neutral stochastic fractional differential equations involving Riemann-Liouville fractional derivative with retarded and advanced arguments, Qual. Theory Dyn. Syst., 23 (2024), 39. https://doi.org/10.1007/s12346-023-00894-w doi: 10.1007/s12346-023-00894-w
![]() |
[38] |
A. Moumen, A. Alsinai, R. Shafqat, N. A. Albasheir, M. Alhagyan, A. Gargouri, et al., Controllability of fractional stochastic evolution inclusion via Hilfer derivative of fixed point theory, AIMS Mathematics, 8 (2023), 19892–19912. http://dx.doi.org/10.3934/math.20231014 doi: 10.3934/math.20231014
![]() |
[39] |
M. Houas, A. Devi, A. Kumar, Existence and stability results for fractional-order pantograph differential equations involving Riemann-Liouville and Caputo fractional operators, Int. J. Dynam. Control, 11 (2023), 1386–1395. http://dx.doi.org/10.1007/s40435-022-01005-4 doi: 10.1007/s40435-022-01005-4
![]() |
[40] |
E. Gokmen, O. R. Isik, A numerical method to solve fractional pantograph differential equations with residual error analysis, Math. Sci., 16 (2022), 361–371. http://dx.doi.org/10.1007/s40096-021-00426-0 doi: 10.1007/s40096-021-00426-0
![]() |
[41] |
P. Rahimkhani, Y. Ordokhani, E. Babolian, Numerical solution of fractional pantograph differential equations by using generalized fractional-order Bernoulli wavelet, J. Comput. Appl. Math., 309 (2017), 493–510. https://doi.org/10.1016/j.cam.2016.06.005 doi: 10.1016/j.cam.2016.06.005
![]() |
[42] | I. Ahmed, P. Kumam, J. Abubakar, P. Borisut, K. Sitthithakerngkiet, Solutions for impulsive fractional pantograph differential equation via generalized anti-periodic boundary condition, Adv. Differ. Equ., 2020 (2020), 477. |
[43] |
C. Yang, J. Hou, X. Lv, Jacobi spectral collocation method for solving fractional pantograph delay differential equations, Eng. Comput., 38 (2022), 1985–1994. https://doi.org/10.1007/s00366-020-01193-7 doi: 10.1007/s00366-020-01193-7
![]() |
[44] |
J. Alzabut, A. G. M. Selvam, R. A. El-Nabulsi, V. Dhakshinamoorthy, M. E. Samei, Asymptotic stability of nonlinear discrete fractional pantograph equations with non-local initial conditions, Symmetry, 13 (2021), 473. http://dx.doi.org/10.3390/sym13030473 doi: 10.3390/sym13030473
![]() |
[45] |
O. Kahouli, S. Albadran, A. Aloui, A. B. Makhlouf, Ulam-Hyers stability of pantograph Hadamard fractional stochastic differential equations, Symmetry, 15 (2023), 1583. https://doi.org/10.3390/sym15081583 doi: 10.3390/sym15081583
![]() |
[46] |
M. Houas, A. Devi, A. Kumar, Existence and stability results for fractional-order pantograph differential equations involving Riemann-Liouville and Caputo fractional operators, Int. J. Dynam. Control, 11 (2023), 1386–1395. http://dx.doi.org/10.1007/s40435-022-01005-4 doi: 10.1007/s40435-022-01005-4
![]() |
[47] |
M. A. Alqudah, H. Boulares, B. Abdalla, T. Abdeljawad, Khasminskii approach for ψ-Caputo fractional stochastic pantograph problem, Qual. Theory Dyn. Syst., 23 (2024), 100. https://doi.org/10.1007/s12346-023-00951-4 doi: 10.1007/s12346-023-00951-4
![]() |
[48] |
A. S. Ranjani, M. Suvinthra, Large deviations for stochastic fractional pantograph differential equation, Int. J. Dynam. Control, 12 (2023), 136–147. https://doi.org/10.1007/s40435-023-01339-7 doi: 10.1007/s40435-023-01339-7
![]() |
[49] |
D. Gao, J. Li, Z. Luo, D. Luo, The averaging principle for stochastic pantograph equations with non-Lipschitz conditions, Math. Probl. Eng., 2021 (2021), 5578936. https://doi.org/10.1155/2021/5578936 doi: 10.1155/2021/5578936
![]() |
[50] |
L. Hu, Y. Ren, Q. He, Pantograph stochastic differential equations driven by G-Brownian motion, J. Math. Anal. Appl., 480 (2019), 123381. https://doi.org/10.1016/j.jmaa.2019.123381 doi: 10.1016/j.jmaa.2019.123381
![]() |
[51] |
L. Mchiri, A. B. Makhlouf, H. Rguigui, Ulam-Hyers stability of pantograph fractional stochastic differential equations, Math. Methods Appl. Sci., 46 (2023), 4134–4144. https://doi.org/10.1002/mma.8745 doi: 10.1002/mma.8745
![]() |
[52] |
W. Xu, W. Xu, S. Zhang, The averaging principle for stochastic differential equations with Caputo fractional derivative, Appl. Math. Lett., 93 (2019), 79–84. https://doi.org/10.1016/j.aml.2019.02.005 doi: 10.1016/j.aml.2019.02.005
![]() |
[53] |
W. Wang, S. Cheng, Z. Guo, X. Yan, A note on the continuity for Caputo fractional stochastic differential equations, Chaos, 30 (2022), 073106. http://dx.doi.org/10.1063/1.5141485 doi: 10.1063/1.5141485
![]() |
[54] |
D. Luo, Q. Zhu, Z. Luo, An averaging principle for stochastic fractional differential equations with time-delays, Appl. Math. Lett., 105 (2020), 106290. https://doi.org/10.1016/j.aml.2020.106290 doi: 10.1016/j.aml.2020.106290
![]() |
[55] |
Z. Wang, P. Lin, Averaging principle for fractional stochastic differential equations with Lp convergence, Appl. Math. Lett., 130 (2022), 108024. https://doi.org/10.1016/j.aml.2022.108024 doi: 10.1016/j.aml.2022.108024
![]() |
[56] |
D. Zhao, M. Luo, General conformable fractional derivative and its physical interpretation, Calcolo, 54 (2017), 903–917. http://dx.doi.org/10.1007/s10092-017-0213-8 doi: 10.1007/s10092-017-0213-8
![]() |
[57] |
A. Ali, Z. Gul, W. A. Khan, S. Ahmad, S. Zeb, Investigation of fractional order sine-Gordon equation using Laplace Adomian decomposition method, Fractals, 29 (2021), 2150121. http://dx.doi.org/10.1142/S0218348X21501218 doi: 10.1142/S0218348X21501218
![]() |
[58] |
G. Sowmya, I. E. Sarris, C. S. Vishalakshi, R. S. V. Kumar, B. C. Prasannakumara, Analysis of transient thermal distribution in a convective-radiative moving rod using two-dimensional differential transform method with multivariate pade approximant, Symmetry, 13 (2021), 1793. http://dx.doi.org/10.3390/sym13101793 doi: 10.3390/sym13101793
![]() |
[59] |
E. Rama, K. Somaiah, K. Sambaiah, A study of variational iteration method for solving various types of problems, Malaya J. Mat., 9 (2021), 701–708. http://dx.doi.org/10.26637/MJM0901/0123 doi: 10.26637/MJM0901/0123
![]() |
[60] |
S. Yüzbasi, An operational matrix method to solve the Lotka-Volterra predator-prey models with discrete delays, Chaos Soliton Fract., 153 (2021), 111482. https://doi.org/10.1016/j.chaos.2021.111482 doi: 10.1016/j.chaos.2021.111482
![]() |
[61] |
P. Jain, M. Kumbhakar, K. Ghoshal, Application of homotopy analysis method to the determination of vertical sediment concentration distribution with shear-induced diffusivity, Eng. Comput., 38 (2022), 2609–2628. https://doi.org/10.1007/s00366-021-01491-8 doi: 10.1007/s00366-021-01491-8
![]() |
[62] |
S. N. Tural-Polat, A. T. Dincel, Numerical solution method for multi-term variable order fractional differential equations by shifted Chebyshev polynomials of the third kind, Alex. Eng. J., 61 (2022), 5145–5153. https://doi.org/10.1016/j.aej.2021.10.036 doi: 10.1016/j.aej.2021.10.036
![]() |
[63] |
H. Eltayeb, S. Mesloub, Application of multi-dimensional of conformable Sumudu decomposition method for solving conformable singular fractional coupled Burger's equation, Acta Math. Sci., 41 (2021), 1679–1698. http://dx.doi.org/10.1007/s10473-021-0517-2 doi: 10.1007/s10473-021-0517-2
![]() |
[64] |
M. H. Al-Tai, A. Al-Fayadh, Solving two dimensional coupled Burger's equations and Sine-Gordon equation using El-Zaki transform-variational iteration method, Al-Nahrain J. Sci., 24 (2021), 41–47. http://dx.doi.org/10.22401/ANJS.24.2.07 doi: 10.22401/ANJS.24.2.07
![]() |
[65] |
M. Modanli, S. T. Abdulazeez, A. M. Husien, A residual power series method for solving pseudo hyperbolic partial differential equations with nonlocal conditions, Numer. Methods Partial Differ. Equ., 37 (2021), 2235–2243. http://dx.doi.org/10.1002/num.22683 doi: 10.1002/num.22683
![]() |
[66] |
M. I. Liaqat, A. Khan, M. A. Alqudah, T. Abdeljawad, Adapted Homotopy perturbation method with Shehu transform for solving conformable fractional nonlinear partial differential equations, Fractals, 31 (2023), 2340027. http://dx.doi.org/10.1142/S0218348X23400273 doi: 10.1142/S0218348X23400273
![]() |
[67] |
M. I. Liaqat, E. Okyere, The fractional series solutions for the conformable time-fractional swift-Hohenberg equation through the conformable Shehu Daftardar-Jafari approach with comparative analysis, J. Math., 2022 (2022), 3295076. http://dx.doi.org/10.1155/2022/3295076 doi: 10.1155/2022/3295076
![]() |
[68] |
M. I. Liaqat, A. Akgül, M. De la Sen, M. Bayram, Approximate and exact solutions in the sense of conformable derivatives of quantum mechanics models using a novel algorithm, Symmetry, 15 (2023), 744. http://dx.doi.org/10.3390/sym15030744 doi: 10.3390/sym15030744
![]() |
1. |
Wedad Albalawi, Muhammad Imran Liaqat, Fahim Ud Din, Kottakkaran Sooppy Nisar, Abdel-Haleem Abdel-Aty,
The analysis of fractional neutral stochastic differential equations in |
|
2. | Abdelhamid Mohammed Djaouti, Muhammad Imran Liaqat, Qualitative Analysis for the Solutions of Fractional Stochastic Differential Equations, 2024, 13, 2075-1680, 438, 10.3390/axioms13070438 | |
3. | Akhtar Jan, Rehan Ali Shah, Hazrat Bilal, Bandar Almohsen, Rashid Jan, Bhupendra K. Sharma, Dynamics and stability analysis of enzymatic cooperative chemical reactions in biological systems with time-delayed effects, 2024, 11, 26668181, 100850, 10.1016/j.padiff.2024.100850 | |
4. | Zareen A. Khan, Muhammad Imran Liaqat, Ali Akgül, J. Alberto Conejero, Qualitative Analysis of Stochastic Caputo–Katugampola Fractional Differential Equations, 2024, 13, 2075-1680, 808, 10.3390/axioms13110808 |