Stability analysis of new generalized mean-square stochastic fractional di ﬀ erential equations and their applications in technology

: Stability theory has signiﬁcant applications in technology, especially in control systems. On the other hand, the newly deﬁned generalized mean-square stochastic fractional (GMSF) operators are particularly interesting in control theory and systems due to their various controllable parameters. Thus, the combined study of stability theory and GMSF operators becomes crucial. In this research work, we construct a new class of GMSF di ﬀ erential equations and provide a rigorous proof of the existence of their solutions. Furthermore, we investigate the stability of these solutions using the generalized Ulam-Hyers-Rassias stability criterion. Some examples are also provided to demonstrate the e ﬀ ectiveness of the proposed approach in solving fractional di ﬀ erential equations (FDEs) and evaluating their stability. The paper concludes by discussing potential applications of the proposed results in technology and outlining avenues for future research.


Introduction
Fractional differential equations (FDEs) have gained significant importance in recent years due to their ability to model complex phenomena in physics, engineering, technology and biology that cannot be adequately captured by traditional integer-order differential equations [1].FDEs have been used to model a wide range of phenomena, such as the behavior of viscoelastic materials, the spread of diseases, and the dynamics of financial markets.They also have numerous applications in areas such as control theory, signal processing, and image analysis [2].
One of the fundamental concepts in the study of FDEs is stability, which refers to the behavior of a solution under small perturbations.Stability analysis is crucial in determining the long-term behavior of a system and in designing control strategies for engineering applications.In the context of FDEs, the concept of stability takes on new meanings, and new techniques have been developed to analyze it [3].Stability analysis is a critical component in FDEs because it helps to ensure the reliability and accuracy of numerical methods used to solve these equations.Stability in FDEs refers to the behavior of the numerical solution as the time step size approaches zero.In other words, a stable numerical method for FDEs should produce solutions that do not diverge or oscillate as the time step size decreases.Various stability criteria and techniques have been developed for FDEs [4,5].These stability criteria and techniques are essential for ensuring that the solutions obtained from a method are reliable, accurate, and consistent with the underlying physical phenomena being modeled by the FDEs.

Preliminaries
We start this section with the definition of GMSF integral operators.The GMSF operators are a class of newly proposed operators that extends the conventional idea of fractional calculus of deterministic functions to the calculus of probabilistic stochastic processes.Before continuing, it is important to note that for an interval [s, t] = I ⊆ R, L 2 (I) denotes the Banach space of second-order mean-square (m.s.) Riemann integrable (or continuous) stochastic processes with the norm defined as: ||y|| 2 = E[y 2 ].Also, (∆, A, P) is a probability space with the sample space ∆, σ-algebra A and probability measure P. The following definition of GMSF integrals was given by [6].
Theorem 5. Consider a separable Banach space S and its nonempty subset B which is also closed and bounded.Also, let M : ∆ × B → B be a continuous and compact random (stochastic) operator.Then, the equation M(w)y = y has a stochastic solution.
Theorem 6. Arzelà-Ascoli Let S 1 and S 2 be metric spaces, and let K be a compact subset of S 1 .
A subset F of the space C(K, S 2 ) (of continuous functions from K to S 2 ) is compact iff it is equicontinuous and uniformly bounded.
Definition 3. Random Carathéodory Function A function g : I × F × ∆ → F is said to be a random Carathéodory function if the map (η, w) → g(η, y, w) is jointly measurable for all y ∈ F, and also for almost all η ∈ I and w ∈ ∆, y → g(η, y, w) is continuous.

Previous contributions and related work
In recent years, there has been a surge in interest in using FDEs for the stability analysis.For example, in [8], various kinds of stability of differential equations with a distinct kind of general conformable derivative have been examined in a novel approach by the authors.They used some kind of Banach fixed-point theory in their analysis.They generalized a number of intriguing past findings in this manner.In [9], for a nonlinear FDE with three point integral boundary conditions, its Hyers-Ulam stability and Ulam-Hyers-Rassias stability were examined.Standard methods for solving the Hyers-Ulam Mittag-Leffler problem using nonlinear fractional integrals and derivatives have been explored in [10].For the purpose of solving the linear FDE using the fractional Fourier transform, the authors of this study have provided a brief overview of the Hyers-Ulam Mittag Leffler problem approach and mentioned the limitations of its applicability.Additionally, they developed a theory that describes the Hyers-Ulam-type Mittag-Leffler problem's structure for linear two terms equations.Under appropriate circumstances, Ulam, Hyers, and Rassias' stability results for the fractionally nonlinear Fredholm and Volterra integral equations with delay have been investigated in [11].Additionally, these stability results have been applied to fractional integral equations with an unbounded interval for the integration domain.In [12] the authors have examined stability of the fractional stochastic impulsive differential equations.According to the results obtained in [13], the stability problem has been studied using the well-known fixed point theorem, and the Ulam-Hyers stability was also demonstrated for the class of FDEs.Exponential stability of a class of neutral inertial neural networks with multi-proportional delays and leakage delays has been studied in [14].The research work described in [15] involved the construction of a new ψ-Hilfer differential equation with integral-type subsidiary conditions.Additionally, stability analysis as defined by Ulam-Hyers Mittag-Leffler has been explored.Some Ulam-Hyers stability results for matrix-valued FDEs have been found in [16], and the authors have also defined some necessary criteria for the stability of these equations.In [17], almost sure exponential stability of uncertain stochastic Hopfield neural networks based on subadditive measures is discussed.The authors in [18][19][20][21] have also examined various solutions for their stability.The analyses in these were conducted using traditional nonlinear functional analysis methods.Some other developments on the present topic can be found in [22][23][24][25][26][27].
In summary, the stability analysis of FDEs has been a highly active area of research, with significant contributions from a diverse range of fields including physics, engineering, biology, and technology.
The previous work has demonstrated the effectiveness of fractional calculus in modeling and analyzing complex systems, and has laid a strong foundation for further developments in the field.

Main results
We initiate the present work with the following class of GMSF differential equations: with the terminal condition where η ∈ I := [0, R], w ∈ ∆.As discussed above, (∆, A, P) is a probability space with the sample space ∆, σ-algebra A and probability measure P. In addition, ς ∈ (0, 1], ν ∈ R, such that ν + ς 0. Also, y R : ∆ → E is a measurable stochastic process, and f : , where E is a Banach space.Also, ν ς T θ s + denotes the GMSF derivative operator of order θ.Some other notations that we will use in the development of our main results, are explained as follows.Let y(η, w) = {y(η, .),η ∈ I, w ∈ ∆} be a second-order stochastic process, that is, E(y 2 (η, .))< ∞, for all η ∈ I.The notation C(I × ∆, E) or C(I) represents the Banach space of second-order stochastic processes y : I × ∆ → E which are continuous with the norm ( In addition, C θ,ν+ς (I) is the weighted space having continuous stochastic processes and defined by with the norm The following two definitions will be used in our mains results.
As our research is related to the investigation of random solutions, it is crucial to begin by providing a definition of what we mean by a random solution.
Next, we need to establish the following lemma. where Then, solving the equation: by applying ν ς K θ 0 + from the left side, using the relation (1.11), we obtain: where we get that y R = ν ς K θ 0 + h(R, .).Thus, we get the required solution.The following corollary is the direct consequence of the above Lemma.
Corollary 1.The second-order stochastic process y is the random solution of (2.1) ) Proof.The proof is simple by just applying the operator ν ς K θ t − to (2.1)-(2.2) from the left side utilizing the relation (1.11).
The following Theorem 7 provides a sufficient condition for the existence of a random solution to the GMSFDE (2.1) with terminal condition (2.2).Proof.Let us consider the operator M, defined by and set ; w ∈ ∆. (2.15) Define the ball From (2.14), we have Hence, (M)(w)B E ⊂ B E .We will prove that M : ∆ × B E → B E satisfies the assumptions of Theorem 5. First, M(w) is a random operator.Since f is a randomly Carathéodory function, w → f (r, y, w) is measurable.Also, the map f (s, y(s, w), w)s ν+ς−1 ds is measurable due to the integral being equal to the limit of a finite sum of measurable stochastic processes.
Second, M(w) is continuous.For this, let us take the sequence y n with y n → y in C θ,ν+ς .Set and Then, (2.20) Since we have that f is a random Carathéodory function, Thus, M(w) is continuous.Next, we prove that M(w)B E is equicontinuous.For 1 ≤ r 1 ≤ r 2 ≤ R, and y ∈ B E we have: ( The Arzelá-Ascoli theorem implies that M is compact and continuous.Hence, from Theorem 5, we establish that a random solution to the problem (2.1)-(2.2) exists.
Proof.In light of Theorem 7, first we show that the problem (2.1)-(2.2) has at least one stochastic solution y.We show that all conditions in the hypothesis of Theorem 7 hold true.

Examples
To demonstrate the effectiveness of our approach in practical scenarios, we provide two numerical examples corresponding to our main results Theorems 7 and 8.By analyzing these examples, we can gain insight into the behavior of the solutions of the considered generalized m.s.FDEs and their stability properties.
Example 2. Consider ∆ = (−∞, 0) with the usual σ-algebra containing those subsets of ∆ which are Lebesgue measurable.We take which is a Banach space with the norm We consider the GMSF differential equation: with the terminal condition ) We have

Applications of the obtained results in technology
The obtained results are significant in various senses.The main point of concern is that they contain the newly-defined GMSF operators having various parameters defined over the meaningful intervals of real numbers.Their possible applications in various fields of technology are discussed as below.

Control theory
One of the primary objectives of control theory is to create controllers to stabilize a particular system [28].By creating control signals that reflect the system's current state, the feedback control is a common technique for guiding a system to the desired state [29].The system that has to be controlled may commonly be represented as a differential equation with possibly fractional derivatives.The difficulty of system stabilization then is found in identifying the solution that satisfies certain stability constraints [30].
In the context of the present work, taking Eq (2.1) with the terminal condition (2.2), we may interpret y(η, w) as the state of the system at time η with parameters w and f (η, y(η, w), w) as the dynamics of the system.Finding a function y(η, w) that fullfils the provided equation and terminal condition as well as a number of stability criteria is the aim of control theory.
One stability criterion, for instance, would be that the entire system must remain stable with respect to disturbances, i.e., that slight changes in the parameters or initial state should not result in significant modifications to the system's behavior.Another requirement can be that the output of the system not be unduly sensitive to random fluctuations in the input, or that the system must be stable with regard to noise.
Therefore, control theory can be benefited from studying the stability of systems that can be described by GMSF differential equations (2.1) with the terminal condition (2.2) because it offers a framework for modeling and analyzing such stability.The goal is to identify solutions that satisfy stability criteria and may be used to develop controllers that stabilize the system.

Control systems
Control systems are essential to many technical systems, such as robots, airplanes, and automobiles [31].The design and implementation of control systems that can assure the stability of these systems can be improved by the stability analysis of GMSF differential equations.For instance, the stability analysis of these equations in robotics is useful in the development of control algorithms that guarantee the motion stability of the robot, resulting in precise and accurate motions [32].
The idea of state-space representation helps to clarify how Eqs (2.1) and (2.2) can be applied to control systems.Equation (2.1) may be thought of as a state equation that explains the dynamics of the system, with y(η, w) standing for the system's state at time xi and input w.The link between the state of the system, the output, and the input is represented by the function f (η, y(η, w), w).
As a result, it is possible to describe and analyze the behavior of a control system using the Eqs (2.1) and (2.2), where the input w is the control action that is applied to the system, and the output is the system's reaction to this control action.One can determine whether a control action will get a desired response from the system by examining the stability of the system given by these equations.

Signal processing
Equations (2.1) and (2.2) could potentially be used in signal processing.They can be used to model certain kinds of signals and create filters for those signals [33].
For example, let y(t) be a signal that is sampled at discrete time intervals.The rate at which change occurs in the signal (at each point of time) may be modeled using the GMSF derivative operator, and the Eq (2.1) may be utilized for modeling the signal's overall behavior throughout the time.By solving the Eq (2.1) with condition (2.2), one can acquire information about the signal's properties, including its stability, frequency content, and reaction to external inputs.
Additionally, the signal's filters may be designed using the Eq (2.1).By selecting the right function f (η, y(η, w), w), one may create a filter that selectively eliminates some frequencies or components of the signal while maintaining others.Several signal processing applications, including audio and picture processing, where it is frequently desirable to eliminate noise or other undesirable aspects from the signal, can benefit from this [34].
In a nutshell, the GMSF Eqs (2.1) and (2.2) have various applications in the field of signal processing, including modeling signal behavior and creating filters to handle that behavior.

Conclusions and future works
This study examined the existence and stability of the solutions of fractional differential equations using the GMSF operators.The GMSF operators are a recently defined new class of fractional operators that extend the conventional fractional calculus of deterministic functions to the m.s.stochastic calculus of probabilistic processes.The present investigation verifies the generalized Ulam-Hyers-Rassias stability criteria and offers a rigorous proof for the existence of solutions for the class of the GMSF differential equations.The numerical examples show how our established findings for solving FDEs and assessing their stability work accurately and effectively.Additionally, the applicability of the obtained results in various technological fields, including control systems, control theory, and signal processing, has also been focused on.
This research work has a number of benefits over the ones already in use.First, it increases the applicability of the generalized m.s.fractional derivative as a tool for solving FDEs by extending it to a wider class of functions.Second, it offers a thorough demonstration of the presence of solutions for a class of FDEs with the GMSF operators, which is a crucial first step in the development of trustworthy numerical techniques for resolving these equations.Finally, the generalized Ulam-Hyers-Rassias stability criterion, which is essential for analyzing the behavior of solutions over time, can be used to evaluate stability using the proposed method.
There are numerous exciting directions that future research in the fields of control theory, signal processing, and control systems can go.One area that has promise is the development of new algorithms and methods that make use of the GMSF derivative to improve the effectiveness of these systems.To fully comprehend these algorithms' theoretical properties, such as stability and convergence, further research is also needed.The GMSF derivative may be helpful for modeling and analyzing complicated systems, especially those containing non-Newtonian fluids or visco-elastic materials, in the field of material science.Overall, the GMSF derivative is a potent instrument with a wide range of potential applications in numerous technological domains, and we expect the development and growth that will be accomplished in the ensuing years.