Qualitative Analysis for the Solutions of Fractional Stochastic Differential Equations

Abstract

Fractional pantograph stochastic differential equations (FPSDEs) combine elements of fractional calculus, pantograph equations, and stochastic processes to model complex systems with memory effects, time delays, and random fluctuations. Ensuring the well-posedness of these equations is crucial as it guarantees meaningful, reliable, and applicable solutions across various disciplines. In differential equations, regularity refers to the smoothness of solution behavior. The averaging principle offers an approximation that balances complexity and simplicity. Our research contributes to establishing the well-posedness, regularity, and averaging principle of FPSDE solutions in ${\mathcal{L}}^{\mathrm{p}}$ spaces with $\mathrm{p}\ge 2$ under Caputo derivatives. The main ingredients in the proof include the use of Hölder, Burkholder–Davis–Gundy, Jensen, and Grönwall–Bellman inequalities, along with the interval translation approach. To understand the theoretical results, we provide numerical examples at the end.

1. Introduction

Traditional calculus provides a foundational framework for understanding and modeling changes and accumulations using integer-order derivatives and integrals. It is characterized by local operations and relatively simple mathematical formulations. Fractional calculus (Fr-Cal) generalizes these concepts to noninteger orders, allowing for a broader range of mathematical modeling. It incorporates nonlocal operations that account for the entire history of a function, making it particularly powerful for describing complex systems with memory effects. This added complexity and generality make Fr-Cal a valuable tool for advanced applications in various scientific and engineering fields.

Fr-Cal is needed for several reasons, particularly in situations where traditional integer-order calculus falls short. Here is why we need Fr-Cal [1,2,3]:

• Modeling complex systems: Fr-Cal provides a more accurate and versatile framework for modeling complex systems with memory effects, nonlocal interactions, and fractal characteristics. Many real-world phenomena, such as viscoelastic materials, biological systems, and financial markets, exhibit behaviors that cannot be adequately described by traditional calculus.
• Anomalous diffusion: Anomalous diffusion processes, where the mean squared displacement of particles does not grow linearly with time, are prevalent in various natural and man-made systems. Fr-Cal offers a natural way to model and analyze such processes, providing insights into transport phenomena in porous media, crowded environments, and disordered materials.
• Long-range dependence: Many systems exhibit long-range dependence, where events at distant points in space or time are correlated. Fr-Cal allows for the inclusion of nonlocal interactions, enabling the modeling of processes with long-range dependencies, such as turbulent flows, climate dynamics, and complex networks.
• Memory effects: Fr-Cal naturally accounts for memory effects, where the current state of a system depends not only on its current state but also on its past states. This is crucial for modeling systems with memory, including viscoelasticity, fractional Brownian motion, and fractional differential equations.
• Fractal and multifractal systems: Fr-Cal is well-suited for modeling systems with fractal or multifractal characteristics, where patterns or structures exhibit self-similarity across different scales. This includes phenomena in physics, biology, finance, and engineering, such as fractal surfaces, multifractal time series, and self-similar networks.
• Optimization and control: Fr-Cal plays a role in optimization problems and control theory, offering tools for analyzing and designing systems with fractional-order dynamics. Fractional-order controllers, for example, have been shown to offer advantages in certain applications, such as robotics, aerospace, and biomedical engineering.
• Interdisciplinary applications: Fr-Cal finds applications across a wide range of disciplines, including physics, engineering, biology, finance, and materials science. Its versatility and applicability make it a valuable tool for addressing complex real-world problems and develo** innovative solutions.

Fractional-order derivatives are known for their ability to capture memory effects and nonlocal properties, making them a powerful tool in modeling complex systems where traditional integer-order derivatives fall short. The memory effect refers to the ability of fractional derivatives to account for the past states of a system in determining its current state. Unlike integer-order derivatives, which depend only on the present state and an infinitesimally small neighborhood around it, fractional derivatives incorporate the entire history of the function. The nonlocal property of fractional derivatives means that the derivative at any point depends on the values of the function over an entire interval, rather than just at that point or its immediate neighborhood.

There are several types of fractional derivatives, each with its own unique definition and properties. The choice of fractional derivative depends on the specific application and the nature of the problem. Here are some of the main types of fractional derivatives:

The natural derivative is fundamentally extended into a fractional operator by the Grünwald–Letnikov derivative. Both Anton Karl Grünwald and Aleksey Vasilievich Letnikov introduced it in 1867 and 1868, respectively [4]. It is written as

$${\mathcal{T}}_{\tau }^{\lambda }\mathsf{\Omega }\left(\tau \right)=\underset{\mathsf{\Theta }\to 0}{lim}\frac{1}{{\mathsf{\Theta }}^{\lambda }}\sum _{\kappa =0}^{\infty }{(-1)}^{\kappa }\left(\genfrac{}{}{0pt}{}{\lambda }{\kappa }\right)\mathsf{\Omega }(\tau -\kappa \mathsf{\Theta }),$$

where $\kappa \in \mathbb{N}$, and the gamma function is used to determine the binomial coefficient,

$$\left(\genfrac{}{}{0pt}{}{\lambda }{\kappa }\right)=\frac{\lambda (\lambda -1)(\lambda -2)(\lambda -3)\dots (\lambda -\kappa +1)}{\kappa !}=\frac{\mathsf{\Gamma }(\lambda +1)}{\kappa !\mathsf{\Gamma }(\lambda -\kappa +1)}.$$

In 1847, R-L defined a new fractional derivative that is called the Riemann–Liouville fractional derivative (RLFD) [5]. It is defined as follows:

$${\mathcal{T}}_{\tau }^{\lambda }\mathsf{\Omega }\left(\tau \right)=\left\{\begin{array}{cc}\frac{1}{\mathsf{\Gamma }(\mathfrak{n}-\lambda )}\frac{d^{\mathfrak{n}}}{d{\tau }^{\mathfrak{n}}}{\int }_0^{\tau }{(\tau -\mathsf{{\rm Y}})}^{\mathfrak{n}-\lambda -1}\mathsf{\Omega }\left(\mathsf{{\rm Y}}\right)d\mathsf{{\rm Y}}\hfill & \mathrm{if}\mathfrak{n}-1\le \lambda <\mathfrak{n},\hfill \\ \frac{d^{\mathfrak{n}}}{d{\tau }^{\mathfrak{n}}}\mathsf{\Omega }\left(\tau \right)\hfill & \mathrm{if}\lambda =\mathfrak{n}.\hfill \end{array}\right.$$

The Caputo fractional derivative (Cap-FrD) was established in 1967 [6] because the RLFD was ineffective in the description and modeling of some complicated events. It is defined as follows [7,8]:

$${\mathcal{T}}_{\tau }^{\lambda }\mathsf{\Omega }\left(\tau \right)=\left\{\begin{array}{cc}\frac{1}{\mathsf{\Gamma }(\mathfrak{n}-\lambda )}{\int }_{{\tau }_0}^{\tau }{(\tau -\mathsf{{\rm Y}})}^{\mathfrak{n}-\lambda -1}{\mathsf{\Omega }}^{\mathfrak{n}}\left(\mathsf{{\rm Y}}\right)d\mathsf{{\rm Y}},\tau >{\tau }_0,\hfill & \mathrm{if}\mathfrak{n}-1\le \lambda <\mathfrak{n},\hfill \\ \frac{d^{\mathfrak{n}}}{d{\tau }^{\mathfrak{n}}}\mathsf{\Omega }\left(\tau \right)\hfill & \mathrm{if}\lambda =\mathfrak{n},\hfill \end{array}\right.$$

where $\mathfrak{n}-1\le \lambda <\mathfrak{n}\in {\mathbb{Z}}^{+}$. The RLFD of a constant $\mathfrak{C}$ is given by $\frac{\mathfrak{C}{\tau }^{-\mathfrak{n}}}{\mathsf{\Gamma }(1-\lambda )}$. As a result, the ability of Cap-FrD to provide the derivative of a constant zero, as in an ordinary derivative, is one of its strengths. There are more fractional derivatives; the interested reader is referred to [9,10,11] for further details.

In fractional stochastic differential equations (FSDEs), fractional derivatives are incorporated into stochastic differential equations (SDEs). This allows for the modeling of systems that exhibit both stochastic behavior and nonlocal or memory-like effects. FSDEs find application in various real-life scenarios where systems exhibit memory effects, long-range dependencies, and stochastic behavior. Here are some specific areas where FSDEs are utilized in modeling [12,13,14,15,16,17,18]:

• Finance and economics:
  • Asset price modeling: FSDEs are employed to model asset prices with long memory, capturing phenomena such as volatility clustering and heavy tails observed in financial markets.
  • Risk management: FSDEs help in assessing and managing financial risk by incorporating memory effects into risk models.
  • Option Pricing: Derivative pricing models based on FSDEs account for the memory effects of asset price dynamics, leading to more accurate pricing of financial derivatives.
• Biological systems:
  • Population dynamics: FSDEs are used to model populations with hereditary traits, where the current population size depends on historical data.
  • Epidemiology: Modeling the spread of diseases with memory effects, considering factors such as past infection rates and immune responses.
  • Ecological interactions: FSDEs capture the dynamics of ecological systems, including predator–prey interactions and species coexistence, where historical interactions influence current dynamics.
• Climate science and environmental modeling:
  • Climate modeling: FSDEs help in modeling long-term climate trends and variability, considering memory effects in climate processes.
  • Hydrology: Modeling groundwater flow, rainfall–runoff processes, and river discharge, where historical data and long-term dependencies play a crucial role.
  • Environmental pollution: FSDEs are utilized to model the dispersion of pollutants in air and water, considering the memory effects of pollutant transport and degradation processes.
• Control systems and engineering:
  • Robust control: FSDEs are used to design control systems that account for memory effects and uncertainties, leading to more robust and adaptive control mechanisms.
  • Signal processing: FSDEs are applied in signal processing for filtering and analysis of signals with memory, nonstationarity, and long-range dependencies.
  • Mechanical Systems: Modeling mechanical systems with memory effects, such as viscoelastic materials and structures, for better design and analysis.
• Telecommunications and networking:
  • Network traffic modeling: FSDEs help in modeling network traffic patterns, including long-range dependence and memory effects, for optimizing network performance and resource allocation.
  • Wireless communications: Modeling wireless channels with memory effects, fading, and interference, for designing efficient communication systems.
• Physics and Material Science:
  • Anomalous diffusion: FSDEs are used to model diffusion processes in complex materials, porous media, and biological tissues, where particles exhibit anomalous diffusion behavior.
  • Transport phenomena: Modeling transport processes in disordered media, where memory effects and long-range dependencies influence particle movement and dispersion.

Fractional pantograph stochastic differential equations (FP-SDEs) provide a rich and versatile framework for modeling complex systems with memory effects, time delays, and stochastic behavior. They extend traditional stochastic differential equations (SDEs) by incorporating Fr-Cal and delay terms, offering more accurate and comprehensive models for a wide range of applications in science and engineering [19,20,21]. The development and application of FP-SDEs continue to be an active area of research, with ongoing advancements in both theory and numerical methods.

The existence and uniqueness (EU) of solutions to FSDEs concern whether there exists a solution to the equation, and if it does, whether that solution is unique. This topic is fundamental to the study of FSDEs, as it establishes the mathematical foundation for their analysis and application. For a given FSDE, existence refers to whether there is at least one function that satisfies the equation under consideration. In the context of FSDEs, which involve both fractional derivatives and stochastic processes, establishing the existence of solutions can be challenging due to the combined effects of randomness and nonlocality. Uniqueness, on the other hand, refers to whether there is only one solution that satisfies the FSDE. In many cases, proving uniqueness is as crucial as proving existence, especially in applications where a unique solution is desired for predictive or control purposes.

Continuous dependence is a crucial aspect of the well-posedness of solutions to FSDEs. It refers to the property that small changes in the initial conditions or parameters of the FSDEs result in small changes in the solutions. In other words, if the initial conditions or parameters are perturbed slightly, then the corresponding solutions also change only slightly. This property underpins the stability and reliability of FSDEs in various scientific and engineering applications.

The regularity of a solution to an FSDE refers to the smoothness of the solution function. In mathematical terms, it describes how well-behaved the solution is with respect to its derivatives and how it behaves across the domain of the equation. In the context of FSDEs, the regularity of a solution is particularly important because these equations involve both fractional derivatives and stochastic processes. Since fractional derivatives can capture memory effects and long-range dependencies, the regularity of the solution can vary depending on the order of the fractional derivative and the characteristics of the stochastic process involved. The regularity of a solution to an FSDE is often analyzed using mathematical techniques such as Hölder continuity, Sobolev spaces, or other function space properties. Understanding the regularity of solutions helps in assessing the stability, convergence, and behavior of the system described by the FSDE in various applications, such as in physics, biology, finance, and engineering.

Several writers have recently been actively working on the FSDEs; for instance, Li and Xu [22] developed exponential stability for delay FSDEs. The authors also introduced novel criteria for evaluating stability within the ${\mathcal{L}}^2$ space. Kexue and Jigen [23] established controllability results for FSDEs using Sadovskii’s fixed-point theorem (FPT). Similarly, Cui and Yan [24] applied the same FPT in Hilbert spaces. In another study [25], the authors demonstrated the asymptotic stability results in the ${\mathcal{L}}^2$ space of FSDEs. In their study [26], the authors presented results related to the EU and stability within the framework of Hyers–Ulam for FSDEs of Cap-FrD, utilizing the Banach FPT. In another work [27], the authors explored stability in terms of exponential and EU results for fuzzy FSDEs under the Lipschitzian condition. Similar results are established in [28,29]. The researchers [30,31] established criteria for the EU of solutions for FSDEs under various assumptions. Karczewska and Lizama [32], as well as Schnaubelt and Veraar [33], explored distinct aspects of stochastic Volterra equations and FSDEs. Karczewska and Lizama elaborated on various findings concerning perturbations in stochastic Volterra equations while also discussing the EU results for FSDEs. Schnaubelt and Veraar focused on demonstrating the path-wise continuity properties of solutions for the same model. ** time technique to investigate the stability of FSDEs.

The averaging principle (Ave-Pr) is a fundamental concept used to simplify complex systems described by differential equations. By employing this principle, intricate differential equations can be reduced to more manageable forms, streamlining analysis and enhancing understanding. This approach is particularly valuable in fields such as physics, engineering, biology, and finance, where the complexity of mathematical models can be overwhelming. Through the application of the Ave-Pr, researchers are able to distill essential dynamics from complicated equations, uncovering underlying patterns and facilitating insightful interpretations. In essence, the Ave-Pr serves as a powerful tool for simplifying the analysis of complex systems, making them more accessible for study and application. Khasminskii’s pioneering work on the Ave-Pr for stochastic differential equations (SDEs) extended the concept to systems influenced by random fluctuations. His book “Stochastic Stability of Differential Equations” introduced methods for averaging SDEs driven by Brownian motion. Recently, some scholars have shown interest in the concept of averaging in FSDEs. For example, in [35,36,37,38,39,40,41,42,43,44,45,46], the authors presented findings regarding the principle of averaging.

Based on the understanding of the authors, it is important to highlight that the majority of the existing literature focuses on investigating the EU as well as the Ave-Pr results for FSDEs within the context of ${\mathcal{L}}^2$. Drawing inspiration from these findings, our approach initially establishes the EU of the solutions of the FP-SDEs through the utilization of the Banach FPT in ${\mathcal{L}}^{\mathrm{p}}$ space. Additionally, we demonstrate the continuous dependency on both initial values and the fractional exponent $\lambda$, as well as the regularity of solutions to FP-SDEs in the ${\mathcal{L}}^{\mathrm{p}}$ space. The objective of the second section is to establish the Ave-Pr result of FP-SDEs in terms of the $\mathrm{p}$th moment. This is achieved by employing various mathematical inequalities such as Grönwall–Bellman’s inequality (GB-I), Jensen’s inequality (J-I), Burkholder–Davis–Gundy’s inequality (BDG-I), Hölder’s inequality (H-I), and the interval translation method. To illustrate the theoretical results we established, numerical examples are also presented.

We examined the following FP-SDEs of order $\frac{1}{2}<\lambda <1$:

$$\{\begin{array}{cc}{\mathcal{T}}_{\tau }^{\lambda }\mathfrak{M}\left(\tau \right)=\mathbb{U}(\tau ,\mathfrak{M}\left(\tau \right),\mathfrak{M}({\tau }_0+\tau \varphi ))+\mathbb{M}(\tau ,\mathfrak{M}\left(\tau \right),\mathfrak{M}({\tau }_0+\tau \varphi ))\frac{d\mathcal{W}\left(\tau \right)}{d\tau },\hfill & \\ \mathfrak{M}\left({\tau }_0\right)=\chi .\hfill \end{array}$$

(1)

where $\varphi \in (0,\frac{\xi -{\tau }_0}{\xi })$ and $\lambda$ represent the Cap-FrD, $\mathbb{U}:[{\tau }_0,\xi ]\times {\mathbb{R}}^{\theta }\times {\mathbb{R}}^{\theta }\to {\mathbb{R}}^{\theta }$, $\mathbb{M}:[{\tau }_0,\xi ]\times {\mathbb{R}}^{\theta }\times {\mathbb{R}}^{\theta }\to {\mathbb{R}}^{\theta \times \varsigma }$ are mesurable continuous functions on an underlying complete filtered probability space $(\mathsf{\Omega },\mathbb{F},\mathcal{F}={\left({\mathbb{F}}_{\tau }\right)}_{\tau \in [{\tau }_0,\infty )},\mathbb{P})$ with $\theta \in \mathbb{N}$ and ${\left(\mathcal{W}(\tau \right))}_{\tau \in [{\tau }_0,\infty )}$ is a $\varsigma$-dimensional scalar Brownian motion.

The structure of the research work is as follows: In the subsequent part, we provide definitions, significant findings, and assumptions that form the framework for the FP-SDE results. The well-posedness of the solutions to FP-SDEs is established in the first subsection of Section 3, and regularity is demonstrated in the second subsection. We establish the Ave-Pr theorem in Section 4 and provide numerical examples in Section 5. Finally, the conclusion is presented in Section 6.

2. Preliminaries

In this section, we present some basic concepts, definitions, lemmas, assumptions, and a theorem that are necessary and useful to establish results regarding the FP-SDEs.

Definition 1. 

When $\mathrm{p}\ge 2,\tau \in [{\tau }_0,\infty )$, suppose ${\mathcal{Z}}_{\tau }^{\mathrm{p}}={\mathcal{L}}^{\mathrm{p}}(\mathsf{\Omega },{\mathcal{F}}_{\tau },\mathbb{P})$ represents all ${\mathcal{F}}_{\tau }$-measurable, ${\mathrm{p}}^{th}$ functions that are integrable $\mathfrak{M}={({\mathfrak{M}}_1,{\mathfrak{M}}_2,\dots ,{\mathfrak{M}}_{\theta })}^T:\mathsf{\Omega }\to {\mathbb{R}}^{\theta }$ with

$${\parallel \mathfrak{M}\parallel }_{\mathrm{p}}={\left({\sum }_{i=1}^{\theta }\mathsf{\Xi }(|{\mathfrak{M}}_i{|}^{\mathrm{p}})\right)}^{\frac{1}{\mathrm{p}}}.$$

(2)

A measurable procedure $\mathfrak{M}\left(\tau \right):[{\tau }_0,\xi ]\to {\mathcal{L}}^{\mathrm{p}}(\mathsf{\Omega },{\mathcal{F}}_{\tau },\mathbb{P})$ becomes $\mathbb{F}-$adapted process if $\mathfrak{M}\left(\tau \right)\in {\mathcal{Z}}_{\tau }^{\mathrm{p}}$ for each $\tau \ge {\tau }_0$. For $\forall \chi \in {\mathcal{Z}}_0^{\mathrm{p}}$, a $\mathbb{F}-$adapted process $\mathfrak{M}\left(\tau \right)$ is a solution of Equation (1) with an initial condition $\mathfrak{M}\left({\tau }_0\right)=\chi$ if $\mathfrak{M}\left({\tau }_0\right)=\chi$ and the subsequent equality satisfy on ${\mathcal{Z}}_{\tau }^{\mathrm{p}}$ for $\tau \in [{\tau }_0,\xi ]$. By applying the fractional integral in the Caputo sense and then utilizing the result ${\mathrm{I}}_{\tau }^{\lambda }{\mathcal{T}}_{\tau }^{\lambda }\mathsf{\Omega }\left(\tau \right)=\mathsf{\Omega }\left(\tau \right)-\mathsf{\Omega }\left(0\right)$, we obtained the following integral form of Equation (1).

$$\begin{array}{cc}\hfill \mathfrak{M}\left(\tau \right)=& \chi +\frac{1}{\mathsf{\Gamma }\left(\lambda \right)}{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\mathbb{U}\left(\vartheta ,\mathfrak{M}\left(\vartheta \right),\mathfrak{M}({\tau }_0+\varphi \vartheta )\right)d\vartheta \hfill \\ & +\frac{1}{\mathsf{\Gamma }\left(\lambda \right)}{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\mathbb{M}\left(\vartheta ,\mathfrak{M}\left(\vartheta \right),\mathfrak{M}({\tau }_0+\varphi \vartheta )\right)d\mathcal{W}\left(\vartheta \right).\hfill \end{array}$$

(3)

Definition 2. 

To establish the results, we suggest the following important assumptions for $\mathbb{U}$ and $\mathbb{M}$.

1. 

$\left({\mathbb{A}}_1\right)$ When $\forall {\omega }_1,{\omega }_2,{\mathsf{\Lambda }}_1,{\mathsf{\Lambda }}_2\in {\mathbb{R}}^{\theta }$ there are ${\mathcal{L}}_1$ and ${\mathcal{L}}_2$ such as

$$\parallel \mathbb{U}(\tau ,{\omega }_1,{\omega }_2)-\mathbb{U}(\tau ,{\mathsf{\Lambda }}_1,{\mathsf{\Lambda }}_2){\parallel }_{\mathrm{p}}\le {\mathcal{L}}_1\left(\parallel {\omega }_1-{\mathsf{\Lambda }}_1{\parallel }_{\mathrm{p}}+{\parallel {\omega }_2-{\mathsf{\Lambda }}_2\parallel }_{\mathrm{p}}\right).$$

$$\parallel \mathbb{M}(\tau ,{\omega }_1,{\omega }_2)-\mathbb{M}(\tau ,{\mathsf{\Lambda }}_1,{\mathsf{\Lambda }}_2){\parallel }_{\mathrm{p}}\le {\mathcal{L}}_2\left(\parallel {\omega }_1-{\mathsf{\Lambda }}_1{\parallel }_{\mathrm{p}}+{\parallel {\omega }_2-{\mathsf{\Lambda }}_2\parallel }_{\mathrm{p}}\right).$$

2. 

$\left({\mathbb{A}}_2\right)$ The drift term $\mathbb{U}(\tau ,{\tau }_0,{\tau }_0)$ and the diffusion $\mathbb{M}(\tau ,{\tau }_0,{\tau }_0)$ are essential bounded in time, i.e.,

$$\underset{\tau \in [{\tau }_0,\xi ]}{esssup}\parallel \mathbb{U}(\tau ,{\tau }_0,{\tau }_0){\parallel }_{\mathrm{p}}<\mathcal{U},\underset{\tau \in [{\tau }_0,\xi ]}{esssup}{\parallel \mathbb{M}(\tau ,{\tau }_0,{\tau }_0)\parallel }_{\mathrm{p}}<\mathcal{U}.$$

(4)

In the context of differential equations, including stochastic and FSDEs, an $\mathcal{L}$-Lipschitz term typically refers to a condition that bounds how much a function can change relative to changes in its input. This is crucial for proving the EU of solutions. While the $\mathcal{L}$-Lipschitz term is commonly assumed to be a constant in differential equations, extending this concept to a linear functional offers significant advantages. Some of them are as follows:

• Greater flexibility: Extending the Lipschitz condition to a linear functional allows for a more flexible analysis. It can accommodate functions whose rate of change is not uniformly bounded by a constant but still exhibits linear behavior.
• Enhanced modeling capability: This extension is particularly useful in modeling real-world systems where changes in the state of the system do not follow a uniform rate. For instance, systems with state-dependent dynamics can be better captured using a linear functional.
• Broader applicability: Many complex systems, especially those described by stochastic and FSDEs, may not satisfy a constant Lipschitz condition. A linear functional provides a more general framework, extending the applicability of the Lipschitz condition to a wider range of problems.

Theorem 1. 

Suppose that $\left({\mathbb{A}}_1\right)$ and $\left({\mathbb{A}}_2\right)$ are true. Then, a constant $\mathcal{S}>0$ that depends on $\lambda ,\mathcal{L},\mathcal{U},\mathrm{p},\xi$ exists, so we have the following [47]:

$$\parallel {\mathcal{B}}_{\lambda }(\chi ,\tau )-{\mathcal{B}}_{\lambda }{(\chi ,\mathfrak{r})\parallel }_{\mathrm{p}}\le \mathcal{S}{|\tau -\mathfrak{r}|}^{\lambda -\frac{1}{2}},\forall \tau ,\mathfrak{r}\in [{\tau }_0,\xi ],$$

(5)

where ${\mathcal{B}}_{\lambda }(\chi ,\tau )$ represents the solution of Equation (1).

Corollary 1. 

For every $\mathsf{{\rm Y}}\in (0,\lambda -\frac{1}{2})$, there occurred a modification ${\mathfrak{M}}_2\left(\tau \right)$ of ${\mathfrak{M}}_1\left(\tau \right)$ with Φ-Hölder continuous paths, i.e.,

$$\mathbb{P}({\mathfrak{M}}_1\left(\tau \right)={\mathfrak{M}}_2\left(\tau \right))=1,\forall \tau \in [{\tau }_0,\xi ].$$

(6)

Proof. 

By utilizing Equation (5) and Kolmogorov test [48], $\mathfrak{M}\left(\tau \right)$ has $\mathsf{{\rm Y}}$-Hölder continuous modification for all $\mathsf{{\rm Y}}\in (0,\lambda -\frac{1}{2})$. □

Now, we propose some conditions that are foundational to the results of the Ave-Pr.

• $\left({\mathbb{C}}_3\right):$ We make the condition that coefficient $\mathbb{U}$ in Equation (1) when $\forall {\omega }_1,{\omega }_2,{\mathsf{\Lambda }}_1,{\mathsf{\Lambda }}_2,\omega$, $\mathsf{\Lambda }\in {\mathbb{R}}^{\theta }$, $\tau \in [{\tau }_0,\xi ]$ there is ${\mathcal{U}}_1>0$ such as meet the following:

  $$\begin{array}{cc}\hfill \parallel \mathbb{U}(\tau ,{\omega }_1,{\omega }_2)-& \mathbb{U}(\tau ,{\mathsf{\Lambda }}_1,{\mathsf{\Lambda }}_2)\parallel \vee \parallel \mathbb{M}(\tau ,{\omega }_1,{\omega }_2)-\mathbb{M}(\tau ,{\mathsf{\Lambda }}_1,{\mathsf{\Lambda }}_2)\parallel \hfill \\ & \le {\mathcal{U}}_1\left(\parallel {\omega }_1-{\mathsf{\Lambda }}_1\parallel +\parallel {\omega }_2-{\mathsf{\Lambda }}_2\parallel \right).\hfill \end{array}$$
• $\left({\mathbb{C}}_4\right):$ Now we make the condition that coefficient $\mathbb{M}$ in Equation (1) when $\forall {\omega }_1,{\omega }_2$,${\mathsf{\Lambda }}_1$, ${\mathsf{\Lambda }}_2$,$\omega ,$
  $\mathsf{\Lambda }\in {\mathbb{R}}^{\theta }$, $\tau \in [{\tau }_0,\xi ]$ there is ${\mathcal{U}}_2>0$ such as satisfy the following:

  $$\begin{array}{c}\hfill \parallel \mathbb{U}(\tau ,\omega ,\mathsf{\Lambda })\parallel \vee \parallel \mathbb{M}(\tau ,\omega ,\mathsf{\Lambda })\parallel \le {\mathcal{U}}_2\left(1+\parallel \omega \parallel +\parallel \mathsf{\Lambda }\parallel \right).\end{array}$$
• $\left({\mathbb{C}}_5\right):$ Functions $\tilde{\mathbb{U}}$ and $\tilde{\mathbb{M}}$ exist and for ${\xi }_1\in [{\tau }_0,\xi ]$, $\tau \in [{\tau }_0,\xi ]$, and $\mathrm{p}\ge 2$, we are able to identify positively bound functions ${\mathbb{D}}_1\left({\xi }_1\right)$ and ${\mathbb{D}}_2\left({\xi }_1\right)$ that fulfill

  $$\begin{array}{cc}\hfill \frac{1}{{\xi }_1}{\int }_{{\tau }_0}^{{\xi }_1}\parallel \mathbb{U}(\tau ,\omega ,\mathsf{\Lambda })& -\tilde{\mathbb{U}}{(\tau ,\omega ,\mathsf{\Lambda })\parallel }^{\mathrm{p}}d\tau \le {\mathbb{D}}_1\left({\xi }_1\right)\left(1+{\parallel \omega \parallel }^{\mathrm{p}}+{\parallel \mathsf{\Lambda }\parallel }^{\mathrm{p}}\right),\hfill \end{array}$$

  $$\begin{array}{cc}\hfill \frac{1}{{\xi }_1}{\int }_{{\tau }_0}^{{\xi }_1}\parallel \mathbb{M}(\tau ,\omega ,\mathsf{\Lambda })& -\tilde{\mathbb{M}}{(\tau ,\omega ,\mathsf{\Lambda })\parallel }^{\mathrm{p}}d\tau \le {\mathbb{D}}_2\left({\xi }_1\right)\left(1+{\parallel \omega \parallel }^{\mathrm{p}}+{\parallel \mathsf{\Lambda }\parallel }^{\mathrm{p}}\right),\hfill \end{array}$$

  where ${lim}_{{\xi }_1\to \infty }{\mathbb{D}}_1\left({\xi }_1\right)=0$ and ${lim}_{{\xi }_1\to \infty }{\mathbb{D}}_2\left({\xi }_1\right)=0$.

Lemma 1. 

Assume that there are real numbers ${\mathbb{J}}_1,{\mathbb{J}}_2,\dots ,{\mathbb{J}}_{\upsilon }(\upsilon \in \mathbb{N})$ and meet ${\mathbb{J}}_i\ge 0$, $(i=$$1,2,\dots ,\upsilon )$. Then [49],

$$\begin{array}{c}\hfill {\left(\sum _{i=1}^{\upsilon }{\mathbb{J}}_i\right)}^{\mathrm{p}}\le {\upsilon }^{\mathrm{p}-1}\sum _{i=1}^{\upsilon }{\mathbb{J}}_i^{\mathrm{p}},\forall \mathrm{p}>1.\end{array}$$

Lemma 2. 

For any $\lambda >\frac{1}{2}$ and $\tau >0$, the following inequality holds [50]:

$$\frac{\hslash }{\mathsf{\Gamma }(2\lambda -1)}{\int }_{{\tau }_0}^{\tau }{(\vartheta -{\tau }_0)}^{2\lambda -2}{\mathbb{E}}_{2\lambda -1}(\hslash {(\vartheta -{\tau }_0)}^{2\lambda -1})d\vartheta \le {\mathbb{E}}_{2\lambda -1}(\hslash {(\tau -{\tau }_0)}^{2\lambda -1});$$

(7)

here, the Mittag–Leffler function ${\mathbb{E}}_{2\lambda -1}(.)$ is defined as

$${\mathbb{E}}_{(2\lambda -1)}\left(\tau \right)={\sum }_{i=0}^{\infty }\frac{{\tau }^i}{\mathsf{\Gamma }\left(\right(2\xi -1)i+1)}.$$

In this part, we demonstrate the well-posedness and regularity of the solutions to FP-SDEs.

3. Well-Posedness of Solutions of FP-SDEs under the Standard Lipschitz Condition of Coefficients

To prove the well-posedness of the solutions to FP-SDEs, we need to demonstrate the EU and continuous dependency of the solution on $\lambda$ and the initial data in order to verify the well-posedness of the solutions.

Suppose ${\mathcal{H}}^{\mathrm{p}}({\tau }_0,\xi )$ is the space of all processes $\mathfrak{M}\left(\tau \right)$ that are measurable ${\mathcal{F}}_{\xi }$-adapted, with ${\mathcal{F}}_{\xi }={\left({\mathbb{F}}_{\tau }\right)}_{\tau \in [{\tau }_0,\xi ]}$ and satisfy the following:

$${\parallel \mathfrak{M}\left(\tau \right)\parallel }_{{\mathcal{H}}^{\mathrm{p}}}=\underset{\tau \in [{\tau }_0,\xi ]}{esssup}{\parallel \mathfrak{M}\left(\tau \right)\parallel }_{\mathrm{p}}<\infty .$$

(8)

$\left({\mathcal{H}}^{\mathrm{p}}({\tau }_0,\xi ),{\parallel ·\parallel }_{{\mathcal{H}}^{\mathrm{p}}}\right)$ is surely a Banach space. We construct an operator ${\Im }_{\chi }:{\mathcal{H}}^{\mathrm{p}}({\tau }_0,\xi )\to {\mathcal{H}}^{\mathrm{p}}({\tau }_0,\xi )$ by ${\Im }_{\chi }\left(\mathfrak{M}\left({\tau }_0\right)\right)=\chi$ for any $\chi \in {\mathcal{Z}}_0^{\mathrm{p}}$ and for $\tau \in [{\tau }_0,\xi ]$, the subsequent equality is valid. Moreover, we follow the procedure [51].

$$\begin{array}{cc}\hfill {\Im }_{\chi }\left(\mathfrak{M}\left(\tau \right)\right)=& \chi +\frac{1}{\mathsf{\Gamma }\left(\lambda \right)}{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\mathbb{U}\left(\vartheta ,\mathfrak{M}\left(\vartheta \right),\mathfrak{M}({\tau }_0+\varphi \vartheta )\right)d\vartheta \hfill \\ & +\frac{1}{\mathsf{\Gamma }\left(\lambda \right)}{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\mathbb{M}\left(\vartheta ,\mathfrak{M}\left(\vartheta \right),\mathfrak{M}({\tau }_0+\varphi \vartheta )\right)d\mathcal{W}\left(\vartheta \right).\hfill \end{array}$$

(9)

The well-defined property of this operator is being demonstrated in the ensuing lemma. The well-defined property of an operator is essential because it ensures that the operator behaves predictably and consistently within its defined domain. When an operator is well-defined, it means that for every input in its domain, there exists a unique output. This property is crucial in mathematical analysis as it guarantees the EU of solutions to equations or problems involving the operator. Without the well-defined property, the behavior of the operator may become ambiguous or unreliable, leading to inconsistencies in mathematical reasoning and potentially invalid results. Therefore, establishing a well-defined property is fundamental for ensuring the validity and reliability of mathematical theories and calculations. The elementary inequality below is being employed in the proof of this result and multiple others that follow.

$$\parallel {\mathfrak{M}}_1+{\mathfrak{M}}_2{\parallel }_{\mathrm{p}}^{\mathrm{p}}\le 2^{\mathrm{p}-1}({\parallel {\mathfrak{M}}_1\parallel }_{\mathrm{p}}^{\mathrm{p}}+\left(\parallel {\mathfrak{M}}_2{\parallel }_{\mathrm{p}}^{\mathrm{p}}\right),\forall {\mathfrak{M}}_1,{\mathfrak{M}}_2\in {\mathbb{R}}^{\theta }.$$

(10)

Lemma 3. 

Assume that ${\mathbb{A}}_1$ and ${\mathbb{A}}_2$ are valid. The operator ${\Im }_{\chi }$ is then well defined for any $\chi \in {\mathcal{Z}}_0^{\mathrm{p}}$.

Proof. 

Suppose for any $\mathfrak{M}\left(\tau \right)\in {\mathcal{H}}^{\mathrm{p}}[{\tau }_0,\xi ]$ with $\forall \tau \in [{\tau }_0,\xi ]$. We obtain the following by utilizing Equations (9) and (10).

$$\begin{array}{cc}\hfill \parallel {\Im }_{\chi }\left(\mathfrak{M}\left(\tau \right)\right){\parallel }_{\mathrm{p}}^{\mathrm{p}}\le & 2^{\mathrm{p}-1}\parallel \chi {\parallel }_{\mathrm{p}}^{\mathrm{p}}+\frac{2^{2\mathrm{p}-2}}{{\mathsf{\Gamma }}^{\mathrm{p}}\left(\lambda \right)}\parallel {\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\mathbb{U}\left(\vartheta ,\mathfrak{M}\left(\vartheta \right),\mathfrak{M}({\tau }_0+\varphi \vartheta )\right)d\vartheta {\parallel }_{\mathrm{p}}^{\mathrm{p}}\hfill \\ \hfill +& \frac{2^{2\mathrm{p}-2}}{{\mathsf{\Gamma }}^{\mathrm{p}}\left(\lambda \right)}\parallel {\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\mathbb{M}\left(\vartheta ,\mathfrak{M}\left(\vartheta \right),\mathfrak{M}({\tau }_0+\varphi \vartheta )\right)d\mathcal{W}\left(\vartheta \right){\parallel }_{\mathrm{p}}^{\mathrm{p}}.\hfill \end{array}$$

(11)

The H-I gives us the result that

$$\begin{array}{cc}\hfill \parallel {\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\mathbb{U}\left(\vartheta ,\mathfrak{M}\left(\vartheta \right),\mathfrak{M}({\tau }_0+\varphi \vartheta )\right)d\vartheta {\parallel }_{\mathrm{p}}^{\mathrm{p}}& \le {\sum }_{i=1}^{\mathfrak{M}}\mathsf{\Xi }{\left({\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}|{\mathbb{U}}_i\left(\vartheta ,\mathfrak{M}\left(\vartheta \right),\mathfrak{M}({\tau }_0+\varphi \vartheta )\right)|d\vartheta \right)}^{\mathrm{p}}\hfill \\ & \le {\sum }_{i=1}^{\mathfrak{M}}\mathsf{\Xi }({\left({\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\frac{(\lambda -1)\mathrm{p}}{(\mathrm{p}-1)}}d\vartheta \right)}^{\mathrm{p}-1}\hfill \\ & {\int }_{{\tau }_0}^{\tau }|{\mathbb{U}}_i\left(\vartheta ,\mathfrak{M}\left(\vartheta \right),\mathfrak{M}({\tau }_0+\varphi \vartheta )\right){|}^{\mathrm{p}}d\vartheta )\hfill \\ & \le \frac{{(\xi -{\tau }_0)}^{(\mathrm{p}\lambda -1)}{(\mathrm{p}-1)}^{(\mathrm{p}-1)}}{{(\mathrm{p}\lambda -1)}^{(\mathrm{p}-1)}}\hfill \\ & {\int }_{{\tau }_0}^{\tau }\parallel \mathbb{U}\left(\vartheta ,\mathfrak{M}\left(\vartheta \right),\mathfrak{M}({\tau }_0+\varphi \vartheta )\right){\parallel }_{\mathrm{p}}^{\mathrm{p}}d\vartheta .\hfill \end{array}$$

(12)

According to $\left({\mathbb{A}}_1\right)$, we acquire

$$\begin{array}{cc}\hfill \parallel \mathbb{U}\left(\vartheta ,\mathfrak{M}\left(\vartheta \right),\mathfrak{M}({\tau }_0+\varphi \vartheta )\right){\parallel }_{\mathrm{p}}^{\mathrm{p}}\le & 2^{\mathrm{p}-1}\left(\parallel \mathbb{U}\left(\vartheta ,\mathfrak{M}\left(\vartheta \right),\mathfrak{M}({\tau }_0+\varphi \vartheta )\right)-\mathbb{U}(\vartheta ,{\tau }_0,{\tau }_0){\parallel }_{\mathrm{p}}^{\mathrm{p}}+\parallel \mathbb{U}(\vartheta ,{\tau }_0,{\tau }_0){\parallel }_{\mathrm{p}}^{\mathrm{p}}\right)\hfill \\ \hfill \le & 2^{\mathrm{p}-1}({\mathcal{L}}_1^{\mathrm{p}}\left(\parallel \mathfrak{M}\left(\vartheta \right){\parallel }_{\mathrm{p}}^{\mathrm{p}}+\parallel \mathfrak{M}({\tau }_0+\varphi \vartheta ){\parallel }_{\mathrm{p}}^{\mathrm{p}}\right)+\parallel \mathbb{U}(\vartheta ,{\tau }_0,{\tau }_0){\parallel }_{\mathrm{p}}^{\mathrm{p}}).\hfill \end{array}$$

(13)

Therefore,

$$\begin{array}{cc}\hfill {\int }_{{\tau }_0}^{\tau }\parallel \mathbb{U}\left(\vartheta ,\mathfrak{M}\left(\vartheta \right),\mathfrak{M}({\tau }_0+\varphi \vartheta )\right){\parallel }_{\mathrm{p}}^{\mathrm{p}}d\vartheta \le & 2^{\mathrm{p}-1}{\mathcal{L}}_1^{\mathrm{p}}({\left(\underset{\vartheta \in [{\tau }_0,\xi ]}{esssup}{\parallel \mathfrak{M}\left(\vartheta \right)\parallel }_{\mathrm{p}}\right)}^{\mathrm{p}}+{\left(\underset{\vartheta \in [{\tau }_0,\xi ]}{esssup}\parallel \mathfrak{M}\left({\tau }_0+\varphi \vartheta \right){\parallel }_{\mathrm{p}}\right)}^{\mathrm{p}})\hfill \\ & {\int }_{{\tau }_0}^{\tau }1d\vartheta +2^{\mathrm{p}-1}{\int }_{{\tau }_0}^{\tau }\parallel \mathbb{U}(\vartheta ,{\tau }_0,{\tau }_0){\parallel }_{\mathrm{p}}^{\mathrm{p}}d\vartheta \hfill \\ & \le 2^{\mathrm{p}-1}{\mathcal{L}}_1^{\mathrm{p}}(\xi -{\tau }_0)(\parallel \mathfrak{M}\left(\vartheta \right){\parallel }_{{\mathcal{H}}^{\mathrm{p}}}^{\mathrm{p}}+\parallel \mathfrak{M}({\tau }_0+\varphi \vartheta ){\parallel }_{{\mathcal{H}}^{\mathrm{p}}}^{\mathrm{p}})+\hfill \\ & 2^{\mathrm{p}-1}{\int }_{{\tau }_0}^{\tau }\parallel \mathbb{U}(\vartheta ,{\tau }_0,{\tau }_0){\parallel }_{\mathrm{p}}^{\mathrm{p}}d\vartheta .\hfill \end{array}$$

(14)

By Equations (12) and (14), we obtain

$$\begin{array}{cc}\hfill \parallel {\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\mathbb{U}\left(\vartheta ,\mathfrak{M}\left(\vartheta \right),\mathfrak{M}({\tau }_0+\varphi \vartheta )\right)d\vartheta {\parallel }_{\mathrm{p}}^{\mathrm{p}}\le & \frac{{(\xi -{\tau }_0)}^{(\mathrm{p}\lambda -1)}{(2\mathrm{p}-2)}^{(\mathrm{p}-2)}}{{(\mathrm{p}\lambda -1)}^{(\mathrm{p}-1)}}\left({\mathcal{L}}_1^{\mathrm{p}}(\xi -{\tau }_0)\right(\parallel \mathfrak{M}\left(\vartheta \right){\parallel }_{{\mathcal{H}}^{\mathrm{p}}}^{\mathrm{p}}\hfill \\ \hfill +& \parallel \mathfrak{M}({\tau }_0+\varphi \vartheta ){\parallel }_{{\mathcal{H}}^{\mathrm{p}}}^{\mathrm{p}})+{\int }_{{\tau }_0}^{\tau }\parallel \mathbb{U}(\vartheta ,{\tau }_0,{\tau }_0){\parallel }_{\mathrm{p}}^{\mathrm{p}}d\vartheta ).\hfill \end{array}$$

(15)

By utilizing $\left({\mathbb{A}}_2\right)$, we obtain the following from Equation (15).

$$\begin{array}{cc}\hfill \parallel {\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\mathbb{U}\left(\vartheta ,\mathfrak{M}\left(\vartheta \right),\mathfrak{M}({\tau }_0+\varphi \vartheta )\right)d\vartheta {\parallel }_{\mathrm{p}}^{\mathrm{p}}\le & \frac{{(\xi -{\tau }_0)}^{(\mathrm{p}\lambda -1)}{(2\mathrm{p}-2)}^{(\mathrm{p}-2)}}{{(\mathrm{p}\lambda -1)}^{(\mathrm{p}-1)}}\left({\mathcal{L}}_1^{\mathrm{p}}(\xi -{\tau }_0)\right(\parallel \mathfrak{M}\left(\vartheta \right){\parallel }_{{\mathcal{H}}^{\mathrm{p}}}^{\mathrm{p}}\hfill \\ \hfill +& \parallel \mathfrak{M}({\tau }_0+\varphi \vartheta ){\parallel }_{{\mathcal{H}}^{\mathrm{p}}}^{\mathrm{p}})+(\xi -{\tau }_0){\mathcal{U}}^{\mathrm{p}}).\hfill \end{array}$$

(16)

Now, applying BDG-I and H-I, we obtain

$$\begin{array}{cc}\hfill \parallel {\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\mathbb{M}\left(\vartheta ,\mathfrak{M}\left(\vartheta \right),\mathfrak{M}({\tau }_0+\varphi \vartheta )\right)d\mathcal{W}\left(\vartheta \right){\parallel }_{\mathrm{p}}^{\mathrm{p}}& \le {\sum }_{i=1}^{\mathfrak{M}}\mathsf{\Xi }|{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\left({\mathbb{M}}_i(\vartheta ,\mathfrak{M}\left(\vartheta \right),\mathfrak{M}({\tau }_0+\varphi \vartheta )\right)d\mathcal{W}\left(\vartheta \right){|}^{\mathrm{p}}\hfill \\ & \le {\sum }_{i=1}^{\mathfrak{M}}{\mathcal{C}}_{\mathrm{p}}\mathsf{\Xi }\left|{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{2\lambda -2}\right|{\mathbb{M}}_i\left(\vartheta ,\mathfrak{M}\left(\vartheta \right),\mathfrak{M}({\tau }_0+\varphi \vartheta )\right){|}^{2}d\vartheta {|}^{\frac{\mathrm{p}}{2}}\hfill \\ & \le {\sum }_{i=1}^{\mathfrak{M}}{\mathcal{C}}_{\mathrm{p}}\mathsf{\Xi }{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{2\lambda -2}|{\mathbb{M}}_i\left(\vartheta ,\mathfrak{M}\left(\vartheta \right),\mathfrak{M}({\tau }_0+\varphi \vartheta )\right){|}^{\mathrm{p}}d\vartheta \hfill \\ & {\left({\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{2\lambda -2}d\vartheta \right)}^{\frac{\mathrm{p}-2}{2}}\hfill \\ & \le {\mathcal{C}}_{\mathrm{p}}{\left(\frac{{(\xi -{\tau }_0)}^{2\lambda -1}}{2\lambda -1}\right)}^{\frac{\mathrm{p}-2}{2}}\hfill \\ & {\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{2\lambda -2}\parallel \mathbb{M}\left(\vartheta ,\mathfrak{M}(\vartheta ,\mathfrak{M}({\tau }_0+\varphi \vartheta )\right){\parallel }_{\mathrm{p}}^{\mathrm{p}}d\vartheta .\hfill \end{array}$$

(17)

where ${\mathcal{C}}_{\mathrm{p}}={\left(\frac{{\mathrm{p}}^{\mathrm{p}+1}}{2{(\mathrm{p}-1)}^{\mathrm{p}-1}}\right)}^{\frac{\mathrm{p}}{2}}$.

By utilizing $\left({\mathbb{A}}_1\right)$ and $\left({\mathbb{A}}_2\right)$, we have the following:

$$\begin{array}{cc}\hfill \parallel \mathbb{M}\left(\vartheta ,\mathfrak{M}\left(\vartheta \right),\mathfrak{M}({\tau }_0+\varphi \vartheta )\right){\parallel }_{\mathrm{p}}^{\mathrm{p}}\le & 2^{\mathrm{p}-1}{\mathcal{L}}_2^{\mathrm{p}}\left(\parallel \mathfrak{M}\left(\vartheta \right){\parallel }_{\mathrm{p}}^{\mathrm{p}}+\parallel \mathfrak{M}({\tau }_0+\varphi \vartheta ){\parallel }_{\mathrm{p}}^{\mathrm{p}}\right)+2^{\mathrm{p}-1}\parallel \mathbb{M}(\vartheta ,0,0){\parallel }_{\mathrm{p}}^{\mathrm{p}}\hfill \\ \hfill \le & 2^{\mathrm{p}-1}{\mathcal{L}}_2^{\mathrm{p}}\left(\parallel \mathfrak{M}\left(\vartheta \right){\parallel }_{\mathrm{p}}^{\mathrm{p}}+\parallel \mathfrak{M}({\tau }_0+\varphi \vartheta ){\parallel }_{\mathrm{p}}^{\mathrm{p}}\right)+2^{\mathrm{p}-1}{\mathcal{U}}^{\mathrm{p}}.\hfill \end{array}$$

(18)

Thus, $\forall \tau \in [{\tau }_0,\xi ]$, we obtain the following:

$$\begin{array}{cc}\hfill {\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{2\lambda -2}\parallel \mathbb{M}\left(\vartheta ,\mathfrak{M}\left(\vartheta \right),\mathfrak{M}({\tau }_0+\varphi \vartheta )\right){\parallel }_{\mathrm{p}}^{\mathrm{p}}d\vartheta \le & 2^{\mathrm{p}-1}{\mathcal{L}}_2^{\mathrm{p}}{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{2\lambda -2}({\left(\underset{\vartheta \in [{\tau }_0,\xi ]}{esssup}\parallel \mathfrak{M}\left(\vartheta \right){\parallel }_{\mathrm{p}}\right)}^{\mathrm{p}}\hfill \\ \hfill +& {\left(\underset{\vartheta \in [{\tau }_0,\xi ]}{esssup}\parallel \mathfrak{M}({\tau }_0+\varphi \vartheta ){\parallel }_{\mathrm{p}}\right)}^{\mathrm{p}})d\vartheta \hfill \\ \hfill +& 2^{\mathrm{p}-1}{\mathcal{U}}^{\mathrm{p}}{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{2\lambda -2}d\vartheta \hfill \\ \hfill \le & \frac{2^{\mathrm{p}-1}{(\xi -{\tau }_0)}^{2\lambda -1}}{2\lambda -1}\hfill \\ & ({\mathcal{L}}_2^{\mathrm{p}}\left({\parallel \mathfrak{M}\left(\vartheta \right)\parallel }_{{\mathcal{H}}_{\mathrm{p}}}^{\mathrm{p}}+{\parallel \mathfrak{M}({\tau }_0+\varphi \vartheta )\parallel }_{{\mathcal{H}}_{\mathrm{p}}}^{\mathrm{p}}\right)+{\mathcal{U}}^{\mathrm{p}}).\hfill \end{array}$$

(19)

By using Equation (19) in Equation (17), we have

$$\begin{array}{cc}\hfill \parallel {\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\mathbb{M}\left(\vartheta ,\mathfrak{M}\left(\vartheta \right),\mathfrak{M}({\tau }_0+\varphi \vartheta )\right)d\mathcal{W}\left(\vartheta \right){\parallel }_{\mathrm{p}}^{\mathrm{p}}& \le {\mathcal{C}}_{\mathrm{p}}{\left(\frac{{(\xi -{\tau }_0)}^{2\lambda -1}}{2\lambda -1}\right)}^{\frac{\mathrm{p}-2}{2}}\frac{2^{\mathrm{p}-1}{(\xi -{\tau }_0)}^{2\lambda -1}}{2\lambda -1}\hfill \\ & ({\mathcal{L}}_2^{\mathrm{p}}\left({\parallel \mathfrak{M}\left(\vartheta \right)\parallel }_{{\mathcal{H}}_{\mathrm{p}}}^{\mathrm{p}}+{\parallel \mathfrak{M}({\tau }_0+\varphi \vartheta )\parallel }_{{\mathcal{H}}_{\mathrm{p}}}^{\mathrm{p}}\right)+{\mathcal{U}}^{\mathrm{p}}).\hfill \end{array}$$

(20)

By employing Equations (16) and (20) in (11), we obtain that $\parallel \Im \left(\mathfrak{M}\left(\tau \right)\right){\parallel }_{{\mathcal{H}}_{\mathrm{p}}}<\infty$. As a consequence, the map** ${\Im }_{\chi }$ is well-defined. □

The EU of solutions will be established by showing that the operator ${\Im }_{\chi }$ is contractive under a suitable weighted norm ([52], [Remark 2.1]). In this instance, the Mittag–Leffler function ${\mathbb{E}}_{(2\lambda -1)}(\tau -{\tau }_0)$ serves as the weight function.

Theorem 2. 

If $\left({\mathbb{A}}_1\right)$ and $\left({\mathbb{A}}_2\right)$ are valid, then the Equation (1) with $\mathfrak{M}\left({\tau }_0\right)=\chi$ has unique solution on $[{\tau }_0,\xi ]$ for any $\chi \in {\mathcal{Z}}_0^{\mathrm{p}}$.

Proof. 

First of all, choose a fixed positive constant ℏ as follows:

$$\hslash >\Psi 2^{\mathrm{p}-1}\mathsf{\Gamma }(2\lambda -1),$$

(21)

where

$$\mathsf{\Psi }=\frac{2^{\mathrm{p}-1}}{{\mathsf{\Gamma }}^{\mathrm{p}}\left(\lambda \right)}({\mathcal{L}}_1^{\mathrm{p}}{(\xi -{\tau }_0)}^{(\mathrm{p}-2)\lambda +1}\frac{1}{{\left(\frac{(\mathrm{p}-2)\lambda +1}{\mathrm{p}-1}\right)}^{\mathrm{p}-1}}+{\left(\frac{{(\xi -{\tau }_0)}^{2\lambda -1}}{2\lambda -1}\right)}^{\frac{\mathrm{p}-2}{2}}{\left(\frac{{\mathrm{p}}^{\mathrm{p}+1}}{2{(\mathrm{p}-1)}^{\mathrm{p}-1}}\right)}^{\frac{\mathrm{p}}{2}}{\mathcal{L}}_2^{\mathrm{p}}).$$

(22)

We establish a weighted norm ${\parallel ·\parallel }_{\hslash }$ over the space ${\mathcal{H}}^{\mathrm{p}}\left([{\tau }_0,\xi ]\right)$ as:

$${\parallel \mathfrak{M}\left(\tau \right)\parallel }_{\hslash }=\underset{\tau \in [{\tau }_0,\xi ]}{esssup}{\left(\frac{{\parallel \mathfrak{M}\left(\tau \right)\parallel }_{\mathrm{p}}^{\mathrm{p}}}{{\mathbb{E}}_{2\lambda -1}(\hslash {(\tau -{\tau }_0)}^{2\lambda -1})}\right)}^{\frac{1}{\mathrm{p}}},\forall \mathfrak{M}\left(\tau \right)\in {\mathcal{H}}^{\mathrm{p}}\left([{\tau }_0,\xi ]\right).$$

(23)

Two norms, ${\parallel ·\parallel }_{{\mathcal{H}}^{\mathrm{p}}}$ and ${\parallel ·\parallel }_{\hslash }$, are equivalent. $\left({\mathcal{H}}^{\mathrm{p}}([{\tau }_0,\xi ]\right){,\parallel ·\parallel }_{\hslash })$ is a Banach space as a result. Choose and fix $\chi \in {\mathcal{Z}}_0^{\mathrm{p}}$ by virtue of Lemma 3, the operator ${\Im }_{\chi }$ is well-defined. Now, we prove that the map** ${\Im }_{\chi }$ is contractive with respect to the norm ${\parallel ·\parallel }_{\hslash }$. For this purpose, let $\mathfrak{M}$, $\tilde{\mathfrak{M}}$ be arbitrary. We obtain the following from Equations (9) and (10):

$$\begin{array}{cc}\hfill \parallel {\Im }_{\chi }\left(\mathfrak{M}\left(\tau \right)\right)& -{\Im }_{\chi }(\tilde{\mathfrak{M}}\left(\tau \right){)\parallel }_{\mathrm{p}}^{\mathrm{p}}\le \hfill \\ & \frac{2^{\mathrm{p}-1}}{{\mathsf{\Gamma }}^{\mathrm{p}}\left(\lambda \right)}\parallel {\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\left(\mathbb{U}\left(\vartheta ,\mathfrak{M}\left(\vartheta \right),\mathfrak{M}({\tau }_0+\varphi \vartheta )\right)-\mathbb{U}\left(\vartheta ,\tilde{\mathfrak{M}}\left(\vartheta \right),\tilde{\mathfrak{M}}({\tau }_0+\varphi \vartheta )\right)\right)d\vartheta {\parallel }_{\mathrm{p}}^{\mathrm{p}}+\hfill \\ & \frac{2^{\mathrm{p}-1}}{{\mathsf{\Gamma }}^{\mathrm{p}}\left(\lambda \right)}\parallel {\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\left(\mathbb{M}\left(\vartheta ,\mathfrak{M}\left(\vartheta \right),\mathfrak{M}({\tau }_0+\varphi \vartheta )\right)-\mathbb{M}\left(\vartheta ,\tilde{\mathfrak{M}}\left(\vartheta \right),\tilde{\mathfrak{M}}({\tau }_0+\varphi \vartheta )\right)\right)d\mathcal{W}\left(\vartheta \right){\parallel }_{\mathrm{p}}^{\mathrm{p}}.\hfill \end{array}$$

(24)

Using the H-I and $\left({\mathbb{A}}_1\right)$, we obtain

$$\begin{array}{cc}\hfill \parallel {\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}& \left(\mathbb{U}\left(\vartheta ,\mathfrak{M}\left(\vartheta \right),\mathfrak{M}({\tau }_0+\varphi \vartheta )\right)-\mathbb{U}\left(\vartheta ,\tilde{\mathfrak{M}}\left(\vartheta \right),\tilde{\mathfrak{M}}({\tau }_0+\varphi \vartheta )\right)\right)d\vartheta {\parallel }_{\mathrm{p}}^{\mathrm{p}}\hfill \\ \hfill \le & {\sum }_{i=1}^m\mathsf{\Xi }{\left({\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\left({\mathbb{U}}_i\left(\vartheta ,\mathfrak{M}\left(\vartheta \right),\mathfrak{M}({\tau }_0+\varphi \vartheta )\right)-{\mathbb{U}}_i\left(\vartheta ,\tilde{\mathfrak{M}}\left(\vartheta \right),\tilde{\mathfrak{M}}({\tau }_0+\varphi \vartheta )\right)\right)d\vartheta \right)}^{\mathrm{p}}\hfill \\ \hfill \le & {\sum }_{i=1}^m\mathsf{\Xi }({\left({\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\frac{(\lambda -1)(\mathrm{p}-2)}{\mathrm{p}-1}}d\vartheta \right)}^{\mathrm{p}-1}\hfill \\ & ({\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{2\lambda -2}|{\mathbb{U}}_i\left(\vartheta ,\mathfrak{M}\left(\vartheta \right),\mathfrak{M}({\tau }_0+\varphi \vartheta )\right)-{\mathbb{U}}_i\left(\vartheta ,\tilde{\mathfrak{M}}\left(\vartheta \right),\tilde{\mathfrak{M}}({\tau }_0+\varphi \vartheta ))|\right))\hfill \\ \hfill \le & \frac{{\mathcal{L}}_1^{\mathrm{p}}{(\xi -{\tau }_0)}^{\mathrm{p}\lambda -2\lambda +1}{(\mathrm{p}-1)}^{\mathrm{p}-1}}{{(\mathrm{p}\lambda -2\lambda +1)}^{\mathrm{p}-1}}\hfill \\ & {\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{2\lambda -2}\left(\parallel \mathfrak{M}\left(\vartheta \right)-\tilde{\mathfrak{M}}\left(\vartheta \right)){\parallel }_{\mathrm{p}}^{\mathrm{p}}+\parallel \mathfrak{M}({\tau }_0+\varphi \vartheta )-\tilde{\mathfrak{M}}({\tau }_0+\varphi \vartheta )){\parallel }_{\mathrm{p}}^{\mathrm{p}}\right)d\vartheta .\hfill \end{array}$$

(25)

However, using $\left({\mathbb{A}}_1\right)$ and the BHDK-Inq, we have

$$\begin{array}{cc}\hfill & \parallel {\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\left(\mathbb{M}\left(\vartheta ,\mathfrak{M}\left(\vartheta \right),\mathfrak{M}({\tau }_0+\varphi \vartheta )\right)-\mathbb{M}\left(\vartheta ,\tilde{\mathfrak{M}}\left(\vartheta \right),\tilde{\mathfrak{M}}({\tau }_0+\varphi \vartheta )\right)\right)d\mathcal{W}\left(\vartheta \right){\parallel }_{\mathrm{p}}^{\mathrm{p}}\hfill \\ \hfill =& {\sum }_{i=1}^m\mathsf{\Xi }|{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\left({\mathbb{M}}_i\left(\vartheta ,\mathfrak{M}\left(\vartheta \right),\mathfrak{M}({\tau }_0+\varphi \vartheta )\right)-{\mathbb{M}}_i\left(\vartheta ,\tilde{\mathfrak{M}}\left(\vartheta \right),\tilde{\mathfrak{M}}({\tau }_0+\varphi \vartheta )\right)\right)d\mathcal{W}\left(\vartheta \right){|}^{\mathrm{p}}\hfill \\ \hfill \le & {\sum }_{i=1}^m{\mathcal{C}}_{\mathrm{p}}\mathsf{\Xi }\left|{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{2\lambda -2}\right|{\mathbb{M}}_i\left(\vartheta ,\mathfrak{M}\left(\vartheta \right),\mathfrak{M}({\tau }_0+\varphi \vartheta )\right)-{\mathbb{M}}_i\left(\vartheta ,\tilde{\mathfrak{M}}\left(\vartheta \right),\tilde{\mathfrak{M}}({\tau }_0+\varphi \vartheta )\right){|}^{2}d\vartheta {|}^{\frac{\mathrm{p}}{2}}\hfill \\ \hfill \le & {\sum }_{i=1}^m{\mathcal{C}}_{\mathrm{p}}\mathsf{\Xi }{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{2\lambda -2}|{\mathbb{M}}_i\left(\vartheta ,\mathfrak{M}\left(\vartheta \right),\mathfrak{M}({\tau }_0+\varphi \vartheta )\right)-{\mathbb{M}}_i\left(\vartheta ,\tilde{\mathfrak{M}}\left(\vartheta \right),\tilde{\mathfrak{M}}({\tau }_0+\varphi \vartheta )\right){|}^{\mathrm{p}}d\vartheta \hfill \\ & {\left({\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{2\lambda -2}d\vartheta \right)}^{\frac{\mathrm{p}-2}{2}}\hfill \\ \hfill \le & {\left(\frac{{(\xi -{\tau }_0)}^{2\lambda -1}}{2\lambda -1}\right)}^{\frac{\mathrm{p}-2}{2}}{\mathcal{L}}_2^{\mathrm{p}}{\mathcal{C}}_{\mathrm{p}}{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{2\lambda -2}\left(\parallel \mathfrak{M}\left(\vartheta \right)-\tilde{\mathfrak{M}}\left(\vartheta \right){{\parallel }_{\mathrm{p}}^{\mathrm{p}}+\parallel \mathfrak{M}({\tau }_0+\varphi \vartheta )-\tilde{\mathfrak{M}}({\tau }_0+\varphi \vartheta )\parallel }_{\mathrm{p}}^{\mathrm{p}}\right)d\vartheta .\hfill \end{array}$$

(26)

Thus, $\forall \tau \in [{\tau }_0,\xi ]$, we have

$$\begin{array}{c}\hfill \parallel {\Im }_{\chi }\left(\mathfrak{M}\left(\tau \right)\right)-{\Im }_{\chi }\left(\tilde{\mathfrak{M}}\left(\tau \right)\right){\parallel }_{\mathrm{p}}^{\mathrm{p}}\le \mathsf{\Psi }{\int }_{{\tau }_0}^{\tau }\left(\parallel \mathfrak{M}\left(\vartheta \right)-\tilde{\mathfrak{M}}\left(\vartheta \right){{\parallel }_{\mathrm{p}}^{\mathrm{p}}+\parallel \mathfrak{M}({\tau }_0+\varphi \vartheta )-\tilde{\mathfrak{M}}({\tau }_0+\varphi \vartheta )\parallel }_{\mathrm{p}}^{\mathrm{p}}\right){(\tau -\vartheta )}^{2\lambda -2}d\vartheta ,\end{array}$$

(27)

here, $\mathsf{\Psi }$ is specified in Equation (22). The result suggests that using the definition of ${\parallel ·\parallel }_{\hslash }$ from Equation (23)

$$\begin{array}{cc}\hfill \frac{\parallel {\Im }_{\chi }\mathfrak{M}\left(\tau \right)-{\Im }_{\chi }\tilde{\mathfrak{M}}{\left(\tau \right)\parallel }_{\mathrm{p}}^{\mathrm{p}}}{{\mathbb{E}}_{2\lambda -1}(\hslash {(\tau -{\tau }_0)}^{2\lambda -1})}\le & \frac{\mathsf{\Psi }{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{2\lambda -2}\frac{\left(\parallel \mathfrak{M}\left(\vartheta \right)-\tilde{\mathfrak{M}}{\left(\vartheta \right)\parallel }_{\mathrm{p}}^{\mathrm{p}}+{\parallel \mathfrak{M}({\tau }_0+\varphi \vartheta )-\tilde{\mathfrak{M}}({\tau }_0+\varphi \vartheta )\parallel }_{\mathrm{p}}^{\mathrm{p}}\right)}{{\mathbb{E}}_{2\lambda -1}(\hslash {(\vartheta -{\tau }_0)}^{2\lambda -1})}{\mathbb{E}}_{2\lambda -1}(\hslash {(\vartheta -{\tau }_0)}^{2\lambda -1})d\vartheta }{{\mathbb{E}}_{2\lambda -1}(\hslash {(\tau -{\tau }_0)}^{2\lambda -1})}\hfill \\ \hfill \le & \mathsf{\Psi }\left(\underset{\vartheta \in [{\tau }_0,\xi ]}{esssup}\right(\frac{\left(\parallel \mathfrak{M}\left(\vartheta \right)-\tilde{\mathfrak{M}}{\left(\vartheta \right)\parallel }_{\mathrm{p}}^{\mathrm{p}}+{\parallel \mathfrak{M}({\tau }_0+\varphi \vartheta )-\tilde{\mathfrak{M}}({\tau }_0+\varphi \vartheta )\parallel }_{\mathrm{p}}^{\mathrm{p}}\right)}{{\mathbb{E}}_{2\lambda -1}(\hslash {(\tau -{\tau }_0)}^{2\lambda -1})}{)}^{\frac{1}{\mathrm{p}}}{)}^{\mathrm{p}}\hfill \\ & \frac{{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{2\lambda -2}{\mathbb{E}}_{2\lambda -1}(\hslash {(\vartheta -{\tau }_0)}^{2\lambda -1})d\vartheta }{{\mathbb{E}}_{2\lambda -1}(\hslash {(\tau -{\tau }_0)}^{2\lambda -1})}\hfill \\ \hfill \le & \frac{\mathsf{\Psi }\mathsf{\Gamma }(2\lambda -1)}{\hslash }\left(\parallel \mathfrak{M}\left(\vartheta \right)-\tilde{\mathfrak{M}}{\left(\vartheta \right)\parallel }_{\hslash }^{\mathrm{p}}+{\parallel \mathfrak{M}({\tau }_0+\varphi \vartheta )-\tilde{\mathfrak{M}}({\tau }_0+\varphi \vartheta )\parallel }_{\hslash }^{\mathrm{p}}\right).\hfill \end{array}$$

(28)

By utilizing Lemma 2, we obtain the required result.

$$\begin{array}{c}\hfill \parallel {\Im }_{\chi }\left(\mathfrak{M}\left(\tau \right)\right)-{\Im }_{\chi }\left(\tilde{\mathfrak{M}}\left(\tau \right)\right){\parallel }_{\hslash }\le {\left(\frac{\mathsf{\Psi }\mathsf{\Gamma }(2\lambda -1)}{\hslash }\right)}^{\frac{1}{\mathrm{p}}}\left(\parallel \mathfrak{M}\left(\vartheta \right)-\tilde{\mathfrak{M}}{\left(\vartheta \right)\parallel }_{\hslash }+{\parallel \mathfrak{M}({\tau }_0+\varphi \vartheta )-\tilde{\mathfrak{M}}({\tau }_0+\varphi \vartheta )\parallel }_{\hslash }\right).\end{array}$$

(29)

From Equation (21), we obtain $\frac{\mathsf{\Psi }\mathsf{\Gamma }(2\lambda -1)}{\hslash }<1$, the operator ${\Im }_{\chi }$ on $\left({\mathcal{H}}^{\mathrm{p}}\left([{\tau }_0,\xi ]\right),{\parallel ·\parallel }_{\hslash }\right)$ is a contractive map. There is a single fixed point of this map in ${\mathcal{H}}^{\mathrm{p}}\left([{\tau }_0,\xi ]\right)$, according to the Banach FPT. The unique solution of Equation (1) with the $\mathfrak{M}\left({\tau }_0\right)=\chi$ is also this fixed point. This theorem is proved. □

In the following theorem, we demonstrate that the solution continuously depends on $\lambda$.

Theorem 3. 

The solution ${\mathcal{B}}_{\lambda }(\tau ,\chi )$ depends continuously on λ, i.e.,

$$\underset{\lambda \to \tilde{\lambda }}{lim}\underset{\tau \in [{\tau }_0,\xi ]}{esssup}{\parallel {\mathcal{B}}_{\lambda }(\tau ,\chi )-{\mathcal{B}}_{\tilde{\lambda }}(\tau ,\chi )\parallel }_{\mathrm{p}}=0.$$

(30)

Proof. 

Suppose $\lambda$, $\tilde{\lambda }\in (\frac{1}{2},1)$ further take $\chi \in {\mathcal{Z}}_0^{\mathrm{p}}$. As ${\mathcal{B}}_{\lambda }(\chi ,\tau )$ and ${\mathcal{B}}_{\tilde{\lambda }}(\chi ,\tau )$ are solutions to Equation (1), we obtain the following:

$$\begin{array}{cc}\hfill {\mathcal{B}}_{\lambda }(\tau ,\chi )-{\mathcal{B}}_{\tilde{\lambda }}(\chi ,\tau )=& \frac{1}{\mathsf{\Gamma }\left(\lambda \right)}{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\left(\mathbb{U}(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\chi ))-\mathbb{U}(\vartheta ,{\mathcal{B}}_{\tilde{\lambda }}(\vartheta ,\chi ))\right)d\vartheta \hfill \\ \hfill +& {\int }_{{\tau }_0}^{\tau }\left(\frac{{(\tau -\vartheta )}^{\lambda -1}}{\mathsf{\Gamma }\left(\lambda \right)}-\frac{{(\tau -\vartheta )}^{\tilde{\lambda }-1}}{\mathsf{\Gamma }\left(\tilde{\lambda }\right)}\right)\mathbb{U}(\vartheta ,{\mathcal{B}}_{\tilde{\lambda }}(\vartheta ,\chi ))d\vartheta \hfill \\ \hfill +& \frac{1}{\mathsf{\Gamma }\left(\lambda \right)}{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\left(\mathbb{M}(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\chi ))-\mathbb{M}(\vartheta ,{\mathcal{B}}_{\tilde{\lambda }}(\vartheta ,\chi ))\right)d\mathcal{W}\left(\vartheta \right)\hfill \\ \hfill +& {\int }_{{\tau }_0}^{\tau }\left(\frac{{(\tau -\vartheta )}^{\lambda -1}}{\mathsf{\Gamma }\left(\lambda \right)}-\frac{{(\tau -\vartheta )}^{\tilde{\lambda }-1}}{\mathsf{\Gamma }\left(\tilde{\lambda }\right)}\right)\mathbb{M}(\vartheta ,{\mathcal{B}}_{\tilde{\lambda }}(\vartheta ,\chi ))d\mathcal{W}\left(\vartheta \right).\hfill \end{array}$$

(31)

Using Equation (10), we obtain the following result from Equation (31).

$$\begin{array}{cc}\hfill \parallel {\mathcal{B}}_{\lambda }(\tau ,\chi )-{\mathcal{B}}_{\tilde{\lambda }}(\tau ,\chi ){\parallel }_{\mathrm{p}}^{\mathrm{p}}\le & 2^{\mathrm{p}-1}\mathsf{\Psi }{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{2\lambda -2}\parallel {\mathcal{B}}_{\lambda }(\tau ,\chi )-{\mathcal{B}}_{\tilde{\lambda }}(\chi ,\tau ){\parallel }_{\mathrm{p}}^{\mathrm{p}}d\vartheta \hfill \\ \hfill +& 2^{2\mathrm{p}-2}\parallel {\int }_{{\tau }_0}^{\tau }\left(\frac{{(\tau -\vartheta )}^{\lambda -1}}{\mathsf{\Gamma }\left(\lambda \right)}-\frac{{(\tau -\vartheta )}^{\tilde{\lambda }-1}}{\mathsf{\Gamma }\left(\tilde{\lambda }\right)}\right)\mathbb{U}(\vartheta ,{\mathcal{B}}_{\tilde{\lambda }}(\vartheta ,\chi )d\vartheta {\parallel }_{\mathrm{p}}^{\mathrm{p}}\hfill \\ \hfill +& \parallel {\int }_{{\tau }_0}^{\tau }\left(\frac{{(\tau -\vartheta )}^{\lambda -1}}{\mathsf{\Gamma }\left(\lambda \right)}-\frac{{(\tau -\vartheta )}^{\tilde{\lambda }-1}}{\mathsf{\Gamma }\left(\tilde{\lambda }\right)}\right)\mathbb{M}(\vartheta ,{\mathcal{B}}_{\tilde{\lambda }}(\vartheta ,\chi )d\mathcal{W}\left(\vartheta \right){\parallel }_{\mathrm{p}}^{\mathrm{p}}.\hfill \end{array}$$

(32)

Suppose the following:

$$\mathcal{A}(\tau ,\vartheta ,\lambda ,\tilde{\lambda })=|\frac{{(\tau -\vartheta )}^{\lambda -1}}{\mathsf{\Gamma }\left(\lambda \right)}-\frac{{(\tau -\vartheta )}^{\tilde{\lambda }-1}}{\mathsf{\Gamma }\left(\tilde{\lambda }\right)}|.$$

(33)

Now, we simplify Equation (32) one by one. First, by using Equation (10), the H-I, $\left({\mathbb{A}}_1\right)$, and $\left({\mathbb{A}}_2\right)$, we obtain the following result:

$$\begin{array}{cc}\hfill \parallel {\int }_{{\tau }_0}^{\tau }(\frac{{(\tau -\vartheta )}^{\lambda -1}}{\mathsf{\Gamma }\left(\lambda \right)}-& \frac{{(\tau -\vartheta )}^{\tilde{\lambda }-1}}{\mathsf{\Gamma }\left(\tilde{\lambda }\right)}\left)\mathbb{U}\right(\vartheta ,{\mathcal{B}}_{\tilde{\lambda }}(\vartheta ,\chi )d\vartheta {\parallel }_{\mathrm{p}}^{\mathrm{p}}\hfill \\ \hfill \le & {\sum }_{\iota =1}^m\mathsf{\Xi }{\left({\int }_{{\tau }_0}^{\tau }\mathcal{A}(\tau ,\vartheta ,\lambda ,\tilde{\lambda })\left|{\mathbb{U}}_i(\vartheta ,{\mathcal{B}}_{\tilde{\lambda }}(\vartheta ,\chi ))\right|d\vartheta \right)}^{\mathrm{p}}\hfill \\ \hfill \le & {\sum }_{\iota =1}^m\mathsf{\Xi }({\left({\int }_{{\tau }_0}^{\tau }{\left(\mathcal{A}(\tau ,\vartheta ,\lambda ,\tilde{\lambda })\right)}^{\frac{\mathrm{p}}{\mathrm{p}-1}}\right)}^{\mathrm{p}-1}{\int }_{{\tau }_0}^{\tau }\left|{\mathbb{U}}_i(\vartheta ,{\mathcal{B}}_{\tilde{\lambda }}(\vartheta ,\chi ){|}^{\mathrm{p}}d\vartheta \right)\hfill \\ \hfill \le & {\left({\int }_{{\tau }_0}^{\tau }{\left(\mathcal{A}(\tau ,\vartheta ,\lambda ,\tilde{\lambda })\right)}^2\right)}^{\frac{\mathrm{p}}{2}}{\left({\int }_{{\tau }_0}^{\tau }1d\vartheta \right)}^{\frac{\mathrm{p}-2}{2}}{\int }_{{\tau }_0}^{\tau }\parallel \mathbb{U}(\vartheta ,{\mathcal{B}}_{\tilde{\lambda }}(\vartheta ,\chi ){\parallel }_{\mathrm{p}}^{\mathrm{p}}d\vartheta \hfill \\ \hfill \le & {\left({\int }_{{\tau }_0}^{\tau }{\left(\mathcal{A}(\tau ,\vartheta ,\lambda ,\tilde{\lambda })\right)}^2\right)}^{\frac{\mathrm{p}}{2}}{(\xi -{\tau }_0)}^{\frac{\mathrm{p}-2}{2}}{\int }_{{\tau }_0}^{\tau }{2}^{\mathrm{p}-1}\left({\mathcal{L}}_1^{\mathrm{p}}\parallel {\mathcal{B}}_{\tilde{\lambda }}{(\vartheta ,\chi )\parallel }_{\mathrm{p}}^{\mathrm{p}}{)+\parallel \mathbb{U}(\vartheta ,0)\parallel }_{\mathrm{p}}^{\mathrm{p}}\right)\hfill \\ \hfill \le & {\left({\int }_{{\tau }_0}^{\tau }{\left(\mathcal{A}(\tau ,\vartheta ,\lambda ,\tilde{\lambda })\right)}^2\right)}^{\frac{\mathrm{p}}{2}}{(\xi -{\tau }_0)}^{\frac{\mathrm{p}}{2}}{2}^{\mathrm{p}-1}\left({\mathcal{L}}_1^{\mathrm{p}}\underset{\tau \in [{\tau }_0,\xi ]}{esssup}\parallel {\mathcal{B}}_{\tilde{\lambda }}(\vartheta ,\chi ){\parallel }_{\mathrm{p}}^{\mathrm{p}})+{\mathcal{U}}^{\mathrm{p}}\right).\hfill \end{array}$$

(34)

Now, we simplify the second part of Equation (32). For this, we use the BDG-I, Equation (33), $\left({\mathbb{A}}_1\right)$, $\left({\mathbb{A}}_2\right)$. So, we have as a result.

$$\begin{array}{cc}\hfill \parallel {\int }_{{\tau }_0}^{\tau }& \left(\frac{{(\tau -\vartheta )}^{\lambda -1}}{\mathsf{\Gamma }\left(\lambda \right)}-\frac{{(\tau -\vartheta )}^{\tilde{\lambda }-1}}{\mathsf{\Gamma }\left(\tilde{\lambda }\right)}\right)\mathbb{M}(\vartheta ,{\mathcal{B}}_{\tilde{\lambda }}(\vartheta ,\chi )d\mathcal{W}\left(\vartheta \right){\parallel }_{\mathrm{p}}^{\mathrm{p}}\hfill \\ \hfill \le & {\sum }_{\iota =1}^m\mathsf{\Xi }|{\int }_{{\tau }_0}^{\tau }\mathcal{A}(\tau ,\vartheta ,\lambda ,\tilde{\lambda }){\mathbb{M}}_i(\vartheta ,{\mathcal{B}}_{\tilde{\lambda }}(\vartheta ,\chi )d\mathcal{W}\left(\vartheta \right){|}^{\mathrm{p}}\hfill \\ \hfill \le & {\sum }_{\iota =1}^m{\mathcal{C}}_{\mathrm{p}}\mathsf{\Xi }|{\int }_{{\tau }_0}^{\tau }\mathcal{A}{(\tau ,\vartheta ,\lambda ,\tilde{\lambda })}^2|{\mathbb{M}}_i(\vartheta ,{\mathcal{B}}_{\tilde{\lambda }}(\vartheta ,\chi ){|}^{2}d\mathcal{W}\left(\vartheta \right){|}^{\frac{\mathrm{p}}{2}}\hfill \\ \hfill \le & {\sum }_{\iota =1}^m{\mathcal{C}}_{\mathrm{p}}\mathsf{\Xi }{\left[{\left({\int }_{{\tau }_0}^{\tau }\mathcal{A}{(\tau ,\vartheta ,\lambda ,\tilde{\lambda })}^2|{\mathbb{M}}_i(\vartheta ,{\mathcal{B}}_{\tilde{\lambda }}(\vartheta ,\chi ){|}^{\mathrm{p}}d\vartheta \right)}^{\frac{2}{\mathrm{p}}}{\left({\int }_{{\tau }_0}^{\tau }{\left(\mathcal{A}(\tau ,\vartheta ,\lambda ,\tilde{\lambda })\right)}^{2}d\vartheta \right)}^{\frac{\mathrm{p}-2}{\mathrm{p}}}\right]}^{\frac{\mathrm{p}}{2}}\hfill \\ \hfill =& {\mathcal{C}}_{\mathrm{p}}{\int }_{{\tau }_0}^{\tau }\mathcal{A}{(\tau ,\vartheta ,\lambda ,\tilde{\lambda })}^2\parallel \mathbb{M}(\vartheta ,{\mathcal{B}}_{\tilde{\lambda }}(\vartheta ,\chi ){\parallel }_{\mathrm{p}}^{\mathrm{p}}d\vartheta {\left({\int }_{{\tau }_0}^{\tau }{\left(\mathcal{A}(\tau ,\vartheta ,\lambda ,\tilde{\lambda })\right)}^{2}d\vartheta \right)}^{\frac{\mathrm{p}-2}{\mathrm{p}}}\hfill \end{array}$$

(35)

$$\begin{array}{cc}\hfill \le & {\mathcal{C}}_{\mathrm{p}}{\left({\int }_{{\tau }_0}^{\tau }\mathcal{A}{(\tau ,\vartheta ,\lambda ,\tilde{\lambda })}^{2}d\vartheta \right)}^{\frac{\mathrm{p}}{2}}{2}^{\mathrm{p}-1}\left({\mathcal{L}}_2^{\mathrm{p}}\underset{\tau \in [{\tau }_0,\xi ]}{esssup}{\parallel {\mathcal{B}}_{\tilde{\lambda }}(\vartheta ,\chi )\parallel }_{\mathrm{p}}^{\mathrm{p}}+{\mathcal{U}}^{\mathrm{p}}\right).\hfill \end{array}$$

(36)

By utilizing the above results and definition ${\parallel ·\parallel }_{\hslash }$, we obtain the following:

$$\begin{array}{cc}\hfill \frac{\parallel {\mathcal{B}}_{\lambda }(\tau ,\chi )-{\mathcal{B}}_{\tilde{\lambda }}(\tau ,\chi ){\parallel }_{\mathrm{p}}^{\mathrm{p}}}{{\mathbb{E}}_{2\lambda -1}(\hslash {(\tau -{\tau }_0)}^{2\lambda -1})}\le & \frac{\mathsf{\Psi }{2}^{\mathrm{p}-1}{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{2\lambda -2}\frac{\parallel {\mathcal{B}}_{\lambda }(\vartheta ,\chi )-{\mathcal{B}}_{\tilde{\lambda }}(\vartheta ,\chi ){\parallel }_{\mathrm{p}}^{\mathrm{p}}}{{\mathbb{E}}_{2\lambda -1}(\hslash {(\tau -{\tau }_0)}^{2\lambda -1})}{\mathbb{E}}_{2\lambda -1}(\hslash {(\tau -{\tau }_0)}^{2\lambda -1})}{{\mathbb{E}}_{2\lambda -1}(\hslash {(\tau -{\tau }_0)}^{2\lambda -1})}\hfill \\ \hfill +& 2^{3\mathrm{p}-3}\left({\mathcal{L}}_1^{\mathrm{p}}\underset{\tau \in [{\tau }_0,\xi ]}{esssup}{\parallel {\mathcal{B}}_{\tilde{\lambda }}(\vartheta ,\chi )\parallel }_{\mathrm{p}}^{\mathrm{p}}+{\mathcal{U}}^{\mathrm{p}}\right){\left({\int }_{{\tau }_0}^{\tau }{\left(\mathcal{A}(\tau ,\vartheta ,\lambda ,\tilde{\lambda })\right)}^{2}d\vartheta \right)}^{\frac{\mathrm{p}}{2}}{\xi }^{\frac{\mathrm{p}}{2}}\hfill \\ \hfill +& 2^{3\mathrm{p}-3}\left({\mathcal{L}}_2^{\mathrm{p}}\underset{\tau \in [{\tau }_0,\xi ]}{esssup}{\parallel {\mathcal{B}}_{\tilde{\lambda }}(\vartheta ,\chi )\parallel }_{\mathrm{p}}^{\mathrm{p}}+{\mathcal{U}}^{\mathrm{p}}\right){\mathcal{C}}_{\mathrm{p}}{\left({\int }_{{\tau }_0}^{\tau }{\left(\mathcal{A}(\tau ,\vartheta ,\lambda ,\tilde{\lambda })\right)}^{2}d\vartheta \right)}^{\frac{\mathrm{p}}{2}}\hfill \\ \hfill \le & \frac{\mathsf{\Psi }{2}^{\mathrm{p}-1}\mathsf{\Gamma }(2\lambda -1)}{\hslash }\parallel {\mathcal{B}}_{\lambda }(\tau ,\chi )-{\mathcal{B}}_{\tilde{\lambda }}(\tau ,\chi ){\parallel }_{\hslash }^{\mathrm{p}}\hfill \\ \hfill +& 2^{3\mathrm{p}-3}\left({\mathcal{L}}_1^{\mathrm{p}}\underset{\tau \in [{\tau }_0,\xi ]}{esssup}{\parallel {\mathcal{B}}_{\tilde{\lambda }}(\vartheta ,\chi )\parallel }_{\mathrm{p}}^{\mathrm{p}}+{\mathcal{U}}^{\mathrm{p}}\right){\left({\int }_{{\tau }_0}^{\tau }{\left(\mathcal{A}(\tau ,\vartheta ,\lambda ,\tilde{\lambda })\right)}^{2}d\vartheta \right)}^{\frac{\mathrm{p}}{2}}{\xi }^{\frac{\mathrm{p}}{2}}\hfill \\ \hfill +& 2^{3\mathrm{p}-3}\left({\mathcal{L}}_2^{\mathrm{p}}\underset{\tau \in [{\tau }_0,\xi ]}{esssup}{\parallel {\mathcal{B}}_{\tilde{\lambda }}(\vartheta ,\chi )\parallel }_{\mathrm{p}}^{\mathrm{p}}+{\mathcal{U}}^{\mathrm{p}}\right){\mathcal{C}}_{\mathrm{p}}{\left({\int }_{{\tau }_0}^{\tau }{\left(\mathcal{A}(\tau ,\vartheta ,\lambda ,\tilde{\lambda })\right)}^{2}d\vartheta \right)}^{\frac{\mathrm{p}}{2}}.\hfill \end{array}$$

(37)

Finally, by utilizing the Lemma 2, we obtain

$$\begin{array}{cc}\hfill (1-& \frac{\mathsf{\Psi }{2}^{\mathrm{p}-1}\mathsf{\Gamma }(2\lambda -1)}{\hslash })\parallel {\mathcal{B}}_{\lambda }(\tau ,\chi )-{\mathcal{B}}_{\tilde{\lambda }}(\tau ,\chi ){\parallel }_{\hslash }^{\mathrm{p}}\le 2^{3\mathrm{p}-3}\left({\mathcal{L}}_1^{\mathrm{p}}\underset{\tau \in [{\tau }_0,\xi ]}{esssup}{\parallel {\mathcal{B}}_{\tilde{\lambda }}(\vartheta ,\chi )\parallel }_{\mathrm{p}}^{\mathrm{p}}+{\mathcal{U}}^{\mathrm{p}}\right)\hfill \\ & {\left({\int }_{{\tau }_0}^{\tau }{\left(\mathcal{A}(\tau ,\vartheta ,\lambda ,\tilde{\lambda })\right)}^{2}d\vartheta \right)}^{\frac{\mathrm{p}}{2}}{\xi }^{\frac{\mathrm{p}}{2}}+2^{3\mathrm{p}-3}\left({\mathcal{L}}_2^{\mathrm{p}}\underset{\tau \in [{\tau }_0,\xi ]}{esssup}{\parallel {\mathcal{B}}_{\tilde{\lambda }}(\vartheta ,\chi )\parallel }_{\mathrm{p}}^{\mathrm{p}}+{\mathcal{U}}^{\mathrm{p}}\right)\hfill \\ & {\mathcal{C}}_{\mathrm{p}}{\left({\int }_{{\tau }_0}^{\tau }{\left(\mathcal{A}(\tau ,\vartheta ,\lambda ,\tilde{\lambda })\right)}^{2}d\vartheta \right)}^{\frac{\mathrm{p}}{2}}.\hfill \end{array}$$

(38)

Thus, by Equation (21) and $\mathrm{p}\ge 2$, it is required to demonstrate the following in order to complete the proof:

$$\underset{\tilde{\lambda }\to \lambda }{lim}\underset{\tau \in [{\tau }_0,\xi ]}{sup}{\int }_{{\tau }_0}^{\tau }{\left(\mathcal{A}(\tau ,\vartheta ,\lambda ,\tilde{\lambda })\right)}^{2}d\vartheta =0.$$

(39)

We have the following:

$$\begin{array}{cc}\hfill {\int }_{{\tau }_0}^{\tau }{\left(\mathcal{A}(\tau ,\vartheta ,\lambda ,\tilde{\lambda })\right)}^{2}d\vartheta =& {\int }_{{\tau }_0}^{\tau }\frac{{(\tau -\vartheta )}^{2\lambda -2}}{{\mathsf{\Gamma }}^2\left(\lambda \right)}d\vartheta +{\int }_{{\tau }_0}^{\tau }\frac{{(\tau -\vartheta )}^{2\tilde{\lambda }-2}}{{\mathsf{\Gamma }}^2\left(\tilde{\lambda }\right)}d\vartheta -{\int }_{{\tau }_0}^{\tau }\frac{{(\tau -\vartheta )}^{\lambda +\tilde{\lambda }-2}}{\mathsf{\Gamma }\left(\lambda \right)\mathsf{\Gamma }\left(\tilde{\lambda }\right)}d\vartheta \hfill \\ \hfill =& \frac{{\tau }^{2\lambda -1}}{(2\lambda -1){\mathsf{\Gamma }}^2\left(\lambda \right)}+\frac{{\tau }^{2\tilde{\lambda }-1}}{(2\tilde{\lambda }-1){\mathsf{\Gamma }}^2\left(\tilde{\lambda }\right)}-\frac{2{\tau }^{\lambda +\tilde{\lambda }-1}}{(\lambda +\tilde{\lambda }-1)\mathsf{\Gamma }\left(\lambda \right)\mathsf{\Gamma }\left(\tilde{\lambda }\right)}.\hfill \end{array}$$

(40)

Hence, it proved the required result. □

In the following theorem, we demonstrate that the solution continuously depends on the initial value.

Theorem 4. 

For any $\chi ,\gamma \in {\mathcal{Z}}_0^{\mathrm{p}}$ the solution ${\mathcal{B}}_{\lambda }(\tau ,\chi )$ depends Lipschitz continuously on χ, i.e., there exists $\mathcal{L}>0$ such that

$$\parallel {\mathcal{B}}_{\lambda }(\tau ,\chi )-{\mathcal{B}}_{\lambda }{(\tau ,\gamma )|}_{\mathrm{p}}\le \mathcal{L}{\parallel \chi -\gamma \parallel }_{\mathrm{p}},forall\tau \in [{\tau }_0,\xi ].$$

(41)

Proof. 

Choose and fix $\chi \in {\mathcal{Z}}_0^{\mathrm{p}}$. Let $\chi \in {\mathcal{Z}}_0^{\mathrm{p}}$ arbitrarily. Since ${\mathcal{B}}_{\lambda }(\tau ,\chi )$ and ${\mathcal{B}}_{\lambda }(\tau ,\gamma )$ are solutions of Equation (1), it follows that

$$\begin{array}{cc}\hfill {\mathcal{B}}_{\lambda }(\tau ,\chi )-& {\mathcal{B}}_{\lambda }(\tau ,\gamma )\hfill \\ \hfill =& \chi -\gamma +\frac{1}{\mathsf{\Gamma }\left(\lambda \right)}{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\left(\mathbb{U}(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\chi ))-\mathbb{U}(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\gamma ))\right)d\vartheta \hfill \\ & +\frac{1}{\mathsf{\Gamma }\left(\lambda \right)}{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\left(\mathbb{M}(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\chi ))-\mathbb{M}(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\gamma ))\right)d\mathcal{W}\left(\vartheta \right).\hfill \end{array}$$

(42)

Hence, using the Equation (10).

$$\begin{array}{cc}\hfill \parallel {\mathcal{B}}_{\lambda }(\tau ,& \chi )-{\mathcal{B}}_{\lambda }(\tau ,\gamma ){\parallel }_{\mathrm{p}}^{\mathrm{p}}\le 2^{\mathrm{p}-1}\parallel \chi -\gamma {\parallel }_{\mathrm{p}}^{\mathrm{p}}\hfill \\ \hfill +& \frac{2^{\mathrm{p}-1}}{\mathsf{\Gamma }\left(\lambda \right)}\parallel {\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\left(\mathbb{U}\right(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\chi ))-\mathbb{U}\left(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\gamma ))\right)d\vartheta {\parallel }_{\mathrm{p}}^{\mathrm{p}}\hfill \\ \hfill +& \frac{2^{\mathrm{p}-1}}{\mathsf{\Gamma }\left(\lambda \right)}\parallel {\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}(\mathbb{M}\left(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\chi ))\right)-\mathbb{M}\left(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\chi ))\right)d\mathcal{W}\left(\vartheta \right){\parallel }_{\mathrm{p}}^{\mathrm{p}}.\hfill \end{array}$$

(43)

Now, we simplify Equation (43) one by one. So, by using Equation (10), H-I, and $\left({\mathbb{A}}_1\right)$, we obtain the following result:

$$\begin{array}{cc}\hfill & \parallel {\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\left(\mathbb{U}\right(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\chi ))-\mathbb{U}\left(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\gamma ))\right)d\vartheta {\parallel }_{\mathrm{p}}^{\mathrm{p}}\hfill \\ \hfill \le & {\sum }_{i=1}^m\mathsf{\Xi }\left({\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\right({\mathbb{U}}_i{\left(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\chi ))-{\mathbb{U}}_i\left(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\gamma ))\right)d\vartheta \right)}^{\mathrm{p}}\hfill \\ \hfill \le & {\sum }_{i=1}^m\mathsf{\Xi }\left({\left({\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\frac{(\lambda -1)(\mathrm{p}-2)}{\mathrm{p}-1}}d\vartheta \right)}^{\mathrm{p}-1}\right({\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{2\lambda -2}|{\mathbb{U}}_i(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\chi ))-{\mathbb{U}}_i\left(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\gamma ))|\right))\hfill \\ \hfill \le & \left(\frac{{\mathcal{L}}_1^{\mathrm{p}}{(\xi -{\tau }_0)}^{\mathrm{p}\lambda -2\lambda +1}{(\mathrm{p}-1)}^{\mathrm{p}-1}}{{(\mathrm{p}\lambda -2\lambda +1)}^{\mathrm{p}-1}}\right){\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{2\lambda -2}\left(\parallel {\mathcal{B}}_{\lambda }(\vartheta ,\chi )-{\mathcal{B}}_{\lambda }(\vartheta ,\gamma ){\parallel }_{\mathrm{p}}^{\mathrm{p}}\right)d\vartheta .\hfill \end{array}$$

(44)

Now, using the H-I, BDG-I, and $\left({\mathbb{A}}_1\right)$, we obtain

$$\begin{array}{cc}\hfill & \parallel {\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}(\mathbb{M}(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\chi ))-\mathbb{M}\left(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\gamma ))\right)d\mathcal{W}(\vartheta ){\parallel }_{\mathrm{p}}^{\mathrm{p}}\hfill \\ \hfill =& {\sum }_{i=1}^m\mathsf{\Xi }|{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}({\mathbb{M}}_i(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\chi ))-{\mathbb{M}}_i(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\gamma ))d\mathcal{W}(\vartheta ){|}^{\mathrm{p}}\hfill \\ \hfill \le & {\sum }_{i=1}^m{\mathcal{C}}_{\mathrm{p}}\mathsf{\Xi }|{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{2\lambda -2}|{\mathbb{M}}_i(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\chi ))-{\mathbb{M}}_i(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\gamma )){|}^{2}d\vartheta {|}^{\frac{\mathrm{p}}{2}}\hfill \\ \hfill \le & {\sum }_{i=1}^m{\mathcal{C}}_{\mathrm{p}}\mathsf{\Xi }{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{2\lambda -2}|{\mathbb{M}}_i(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\chi ))-{\mathbb{M}}_i(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\gamma )){|}^{\mathrm{p}}d\vartheta {\left({\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{2\lambda -2}d\vartheta \right)}^{\frac{\mathrm{p}-2}{2}}\hfill \\ \hfill \le & {\mathcal{L}}_2^{\mathrm{p}}{\mathcal{C}}_{\mathrm{p}}{\left(\frac{{(\xi -{\tau }_0)}^{2\lambda -1}}{2\lambda -1}\right)}^{\frac{\mathrm{p}-2}{2}}{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{2\lambda -2}\left(\parallel {\mathcal{B}}_{\lambda }(\vartheta ,\chi )-{\mathcal{B}}_{\lambda }(\vartheta ,\gamma ){\parallel }_{\mathrm{p}}^{\mathrm{p}}\right)d\vartheta .\hfill \end{array}$$

(45)

Utilizing Equations (44) and (45), we can therefore extract the following from Equation (43).

$$\begin{array}{cc}\hfill \parallel {\mathcal{B}}_{\lambda }(\tau ,\chi )& -{\mathcal{B}}_{\lambda }(\tau ,\gamma ){\parallel }_{\mathrm{p}}^{\mathrm{p}}\le 2^{\mathrm{p}-1}\parallel \chi -\gamma {\parallel }_{\mathrm{p}}^{\mathrm{p}}\hfill \\ & +2^{\mathrm{p}-1}\mathsf{\Psi }{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{2\lambda -2}\left(\parallel {\mathcal{B}}_{\lambda }(\vartheta ,\chi )-{\mathcal{B}}_{\lambda }(\vartheta ,\gamma ){\parallel }_{\mathrm{p}}^{\mathrm{p}}\right)d\vartheta .\hfill \end{array}$$

(46)

Considering the Grönwall inequality, we obtain the following:

$$\begin{array}{c}\hfill \parallel {\mathcal{B}}_{\lambda }(\tau ,\chi )-{\mathcal{B}}_{\lambda }(\tau ,\gamma ){\parallel }_{\mathrm{p}}^{\mathrm{p}}\le 2^{\mathrm{p}-1}{\mathbb{E}}_{2\lambda -1}\left(2^{\mathrm{p}-1}\mathsf{\Psi }{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{2\lambda -2}d\vartheta \right)\parallel \chi -\gamma {\parallel }_{\mathrm{p}}^{\mathrm{p}}.\end{array}$$

By utilizing ([53], [Lemma 7.1.1]), we have the following:

$$\begin{array}{c}\hfill \parallel {\mathcal{B}}_{\lambda }(\tau ,\chi )-{\mathcal{B}}_{\lambda }(\tau ,\gamma ){\parallel }_{\mathrm{p}}^{\mathrm{p}}\le 2^{\mathrm{p}-1}{\mathbb{E}}_{2\lambda -1}\left(2^{\mathrm{p}-1}\mathsf{\Psi }\mathsf{\Gamma }(2\lambda -1){(\tau -{\tau }_0)}^{2\lambda -1}\right)\parallel \chi -\gamma {\parallel }_{\mathrm{p}}^{\mathrm{p}}.\end{array}$$

Hence,

$$\begin{array}{c}\hfill \underset{\chi \to \gamma }{lim}\parallel {\mathcal{B}}_{\lambda }(\tau ,\chi )-{\mathcal{B}}_{\lambda }(\tau ,\gamma ){\parallel }_{\mathrm{p}}=0.\end{array}$$

Therefore, the proof is complete. □

The Regularity of Solutions to FP-SDEs

In this subsection, we prove the regularity of solutions to FP-SDEs.

Proof of Theorem 1. 

Take $\tau$ and $\mathfrak{r}$ in $[{\tau }_0,\xi ]$, such as $\tau >\mathfrak{r}$. We can derive the following through Equation (10):

$$\begin{array}{cc}\hfill {\mathsf{\Gamma }}^{\mathrm{p}}\left(\lambda \right)2^{2-2\mathrm{p}}\parallel {\mathcal{B}}_{\lambda }(\tau ,\chi )& -{\mathcal{B}}_{\lambda }(\mathfrak{r},\chi ){\parallel }_{\mathrm{p}}^{\mathrm{p}}\le \parallel {\int }_{\mathfrak{r}}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\mathbb{U}(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\chi ))d\vartheta {\parallel }_{\mathrm{p}}^{\mathrm{p}}\hfill \\ & +\parallel {\int }_{\mathfrak{r}}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\mathbb{M}(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\chi ))d\mathcal{W}\left(\vartheta \right){\parallel }_{\mathrm{p}}^{\mathrm{p}}\hfill \\ & +\parallel {\int }_{{\tau }_0}^{\mathfrak{r}}|{(\tau -\vartheta )}^{\lambda -1}-{(\mathfrak{r}-\vartheta )}^{\lambda -1}|\mathbb{U}(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\chi ))d\vartheta {\parallel }_{\mathrm{p}}^{\mathrm{p}}\hfill \\ & +\parallel {\int }_{{\tau }_0}^{\mathfrak{r}}|{(\tau -\vartheta )}^{\lambda -1}-{(\mathfrak{r}-\vartheta )}^{\lambda -1}|\mathbb{M}(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\chi ))d\mathcal{W}{\parallel }_{\mathrm{p}}^{\mathrm{p}}.\hfill \end{array}$$

(47)

By utilizing H-I and BDG-I, we obtain the following from Equation (47):

$$\begin{array}{cc}\hfill {\mathsf{\Gamma }}^{\mathrm{p}}\left(\lambda \right)2^{2-2\mathrm{p}}\parallel {\mathcal{B}}_{\lambda }(\tau ,\chi )-& {\mathcal{B}}_{\lambda }(\mathfrak{r},\chi ){\parallel }_{\mathrm{p}}^{\mathrm{p}}\le \frac{{(\mathrm{p}-1)}^{\mathrm{p}-1}}{{(\mathrm{p}\lambda -1)}^{\mathrm{p}-1}{(\tau -\mathfrak{r})}^{1-\lambda \mathrm{p}}}{\int }_{\mathfrak{r}}^{\tau }\parallel \mathbb{U}(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\chi )){\parallel }_{\mathrm{p}}^{\mathrm{p}}d\vartheta \hfill \\ \hfill +& {\mathcal{C}}_{\mathrm{p}}{\int }_{\mathfrak{r}}^{\tau }\parallel \mathbb{M}(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\chi )){\parallel }_{\mathrm{p}}^{\mathrm{p}}{(\tau -\vartheta )}^{2\lambda -2}d\vartheta {\left({\int }_{\mathfrak{r}}^{\tau }{(\tau -\vartheta )}^{2\lambda -2}d\vartheta \right)}^{\frac{\mathrm{p}-2}{2}}\hfill \\ \hfill +& \frac{1}{{\xi }^{\frac{2-\mathrm{p}}{2}}}{\int }_{{\tau }_0}^{\mathfrak{r}}{\parallel \mathbb{U}(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\chi ))\parallel }_{\mathrm{p}}^{\mathrm{p}}d\vartheta {\left({\int }_{{\tau }_0}^{\mathfrak{r}}|{(\tau -\vartheta )}^{\lambda -1}-{(\mathfrak{r}-\vartheta )}^{\lambda -1}{|}^{2}d\vartheta \right)}^{\frac{\mathrm{p}}{2}}\hfill \\ \hfill +& {\mathcal{C}}_{\mathrm{p}}{\int }_{{\tau }_0}^{\mathfrak{r}}{\left({(\tau -\vartheta )}^{\lambda -1}-{(\mathfrak{r}-\vartheta )}^{\lambda -1}\right)}^2{\parallel \mathbb{M}(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\chi ))\parallel }_{\mathrm{p}}^{\mathrm{p}}d\vartheta \hfill \\ \hfill \times & {\left({\int }_{{\tau }_0}^{\mathfrak{r}}{\left({(\tau -\vartheta )}^{\lambda -1}-{(\mathfrak{r}-\vartheta )}^{\lambda -1}\right)}^{2}d\vartheta \right)}^{\frac{\mathrm{p}-2}{2}}.\hfill \end{array}$$

However, ${\mathcal{U}}_1>0$ also exists, as $\underset{\tau \in [{\tau }_0,\xi ]}{esssup}{\parallel {\mathcal{B}}_{\lambda }(\tau ,\chi )\parallel }_{\mathrm{p}}^{\mathrm{p}}\le {\mathcal{U}}_1$ because ${\mathcal{B}}_{\lambda }(\vartheta ,\chi )\in {\tilde{\mathcal{H}}}^{\mathrm{p}}\left([{\tau }_0,\xi ]\right)$. Along with $\left({\mathbb{A}}_1\right)$ and $\left({\mathbb{A}}_2\right)$, this implies

$$\parallel \mathbb{U}(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\chi )){\parallel }_{\mathrm{p}}^{\mathrm{p}}\le 2^{\mathrm{p}-1}\left({\mathcal{L}}_1^{\mathrm{p}}\parallel {\mathcal{B}}_{\lambda }(\vartheta ,\chi )){\parallel }_{\mathrm{p}}^{\mathrm{p}}+{\parallel \mathbb{U}(\vartheta ,0)\parallel }_{\mathrm{p}}^{\mathrm{p}}\right)\le 2^{\mathrm{p}-1}\left({\mathcal{L}}_1^{\mathrm{p}}{\mathcal{U}}_1+{\mathcal{U}}^{\mathrm{p}}\right).$$

$$\parallel \mathbb{M}(\vartheta ,{\mathcal{B}}_{\lambda }(\vartheta ,\chi )){\parallel }_{\mathrm{p}}^{\mathrm{p}}\le 2^{\mathrm{p}-1}\left({\mathcal{L}}_2^{\mathrm{p}}\parallel {\mathcal{B}}_{\lambda }(\vartheta ,\chi )){\parallel }_{\mathrm{p}}^{\mathrm{p}}+{\parallel \mathbb{M}(\vartheta ,0)\parallel }_{\mathrm{p}}^{\mathrm{p}}\right)\le 2^{\mathrm{p}-1}\left({\mathcal{L}}_2^{\mathrm{p}}{\mathcal{U}}_1+{\mathcal{U}}^{\mathrm{p}}\right).$$

Furthermore,

$$\begin{array}{c}\hfill {\int }_{{\tau }_0}^{\mathfrak{r}}{\left({(\tau -\vartheta )}^{\lambda -1}-{(\mathfrak{r}-\vartheta )}^{\lambda -1}\right)}^{2}d\vartheta \le \frac{{(\tau -\mathfrak{r})}^{2\lambda -1}}{2\lambda -1}.\end{array}$$

(48)

The estimate that results from combining the calculations above is as follows:

$$\begin{array}{cc}\hfill {\mathsf{\Gamma }}^{\mathrm{p}}\left(\lambda \right)2^{2-2\mathrm{p}}\parallel {\mathcal{B}}_{\lambda }(\tau ,\chi )-{\mathcal{B}}_{\lambda }(\mathfrak{r},\chi ){\parallel }_{\mathrm{p}}^{\mathrm{p}}\le & \frac{{(2\mathrm{p}-2)}^{\mathrm{p}-1}}{{(\mathrm{p}\lambda -1)}^{\mathrm{p}-1}}{\left(\tau -\mathfrak{r}\right)}^{\frac{(2\lambda -1)\mathrm{p}}{2}}\left({\mathcal{L}}_1^{\mathrm{p}}{\mathcal{U}}_1+{\mathcal{U}}^{\mathrm{p}}\right){(\xi -{\tau }_0)}^{\frac{\mathrm{p}}{2}}\hfill \\ \hfill +& \frac{1}{{(2\lambda -1)}^{\frac{\mathrm{p}}{2}}}{\left(\tau -\mathfrak{r}\right)}^{\frac{(2\lambda -1)\mathrm{p}}{2}}\left({\mathcal{L}}_2^{\mathrm{p}}{\mathcal{U}}_1+{\mathcal{U}}^{\mathrm{p}}\right)2^{\mathrm{p}-1}{\mathcal{C}}_{\mathrm{p}}\hfill \\ \hfill +& \frac{2^{\mathrm{p}-1}}{{(2\lambda -1)}^{\mathrm{p}-1}}{\left(\tau -\mathfrak{r}\right)}^{\frac{(2\lambda -1)\mathrm{p}}{2}}\left({\mathcal{L}}_1^{\mathrm{p}}{\mathcal{U}}_1+{\mathcal{U}}^{\mathrm{p}}\right){(\xi -{\tau }_0)}^{\frac{\mathrm{p}}{2}}\hfill \\ \hfill +& \frac{1}{{(2\lambda -1)}^{\frac{\mathrm{p}}{2}}}{\left(\tau -\mathfrak{r}\right)}^{\frac{(2\lambda -1)\mathrm{p}}{2}}\left({\mathcal{L}}_2^{\mathrm{p}}{\mathcal{U}}_1+{\mathcal{U}}^{\mathrm{p}}\right)2^{\mathrm{p}-1}{\mathcal{C}}_{\mathrm{p}}.\hfill \end{array}$$

Hence, we obtain

$$\parallel {\mathcal{B}}_{\lambda }(\tau ,\chi )-{\mathcal{B}}_{\lambda }(\mathfrak{r},\chi ){\parallel }_{\mathrm{p}}\le \mathcal{S}{(\tau -\mathfrak{r})}^{\lambda -\frac{1}{2}},$$

(49)

where

$$\begin{array}{cc}\hfill {\mathcal{S}}^{\mathrm{p}}=& 2^{2\mathrm{p}-2}\left(\frac{{(2\mathrm{p}-2)}^{\mathrm{p}-1}}{{(\mathrm{p}\lambda -1)}^{\mathrm{p}-1}}\left({\mathcal{L}}_1^{\mathrm{p}}{\mathcal{U}}_1+{\mathcal{U}}^{\mathrm{p}}\right){(\xi -{\tau }_0)}^{\frac{\mathrm{p}}{2}}+\frac{1}{{(2\lambda -1)}^{\frac{\mathrm{p}}{2}}}({\mathcal{L}}_2^{\mathrm{p}}{\mathcal{U}}_1+{\mathcal{U}}^{\mathrm{p}}\right)2^{\mathrm{p}-1}{\mathcal{C}}_{\mathrm{p}})\frac{1}{{\mathsf{\Gamma }}^{\mathrm{p}}\left(\lambda \right)}\hfill \\ \hfill +& 2^{2\mathrm{p}-2}\left(\frac{2^{\mathrm{p}-1}}{{(2\lambda -1)}^{\mathrm{p}-1}}\left({\mathcal{L}}_1^{\mathrm{p}}{\mathcal{U}}_1+{\mathcal{U}}^{\mathrm{p}}\right){(\xi -{\tau }_0)}^{\frac{\mathrm{p}}{2}}+\frac{1}{{(2\lambda -1)}^{\frac{\mathrm{p}}{2}}}({\mathcal{L}}_2^{\mathrm{p}}{\mathcal{U}}_1+{\mathcal{U}}^{\mathrm{p}}\right)2^{\mathrm{p}-1}{\mathcal{C}}_{\mathrm{p}}){\mathsf{\Gamma }}^{\mathrm{p}}\left(\lambda \right).\hfill \end{array}$$

It means that, in addition to the understanding that $\lambda \in (\frac{1}{2},1)$ and $\mathrm{p}\ge 2$,

$$\underset{\mathfrak{r}\to \tau }{lim}\parallel {\mathcal{B}}_{\lambda }(\tau ,\chi )-{\mathcal{B}}_{\lambda }(\mathfrak{r},\chi ){\parallel }_{\mathrm{p}}=0.$$

(50)

□

4. Averaging Principle Result

In this part, we outline the conditions for the growth of $\tilde{\mathbb{M}}$ and elucidate the key outcome regarding the Ave-Pr for FP-SDEs, as it is established within the framework of ${\mathcal{L}}^{\mathrm{p}}$.

Lemma 4. 

From any ${\xi }_1$ within the interval $[{\tau }_0,\xi ]$, we can establish the subsequent growth criteria for $\tilde{\mathbb{M}}$ by employing conditions $\left({\mathbb{C}}_4\right)$ and $\left({\mathbb{C}}_5\right)$.

$$\parallel \tilde{\mathbb{M}}{(\omega ,\mathsf{\Lambda })\parallel }^{\mathrm{p}}\le {\mathcal{U}}_3\left(1+{\parallel \omega \parallel }^{\mathrm{p}}+{\parallel \mathsf{\Lambda }\parallel }^{\mathrm{p}}\right),$$

where ${\mathcal{U}}_3=\left(2^{\mathrm{p}-1}{\mathbb{D}}_2\left({\xi }_1\right)+6^{\mathrm{p}-1}{\mathcal{U}}_2^{\mathrm{p}}\right)$.

Proof. 

Considering conditions $\left({\mathbb{C}}_4\right),\left({\mathbb{C}}_5\right)$ and Lemma 1, we obtain the following outcome:

$$\begin{array}{cc}\hfill \parallel \tilde{\mathbb{M}}{(\omega ,\mathsf{\Lambda })\parallel }^{\mathrm{p}}& \le 2^{\mathrm{p}-1}\parallel \mathbb{M}(\tau ,\omega ,\mathsf{\Lambda })-\tilde{\mathbb{M}}{(\omega ,\mathsf{\Lambda })\parallel }^{\mathrm{p}}+2^{\mathrm{p}-1}{\parallel \mathbb{M}(\tau ,\omega ,\mathsf{\Lambda })\parallel }^{\mathrm{p}}\hfill \\ & \le 2^{\mathrm{p}-1}{\mathbb{D}}_2\left({\xi }_1\right)\left(1+{\parallel \omega \parallel }^{\mathrm{p}}+{\parallel \mathsf{\Lambda }\parallel }^{\mathrm{p}}\right)+2^{\mathrm{p}-1}{\mathcal{U}}_2^{\mathrm{p}}{(1+\parallel \omega \parallel +\parallel \mathsf{\Lambda }\parallel )}^{\mathrm{p}}\hfill \\ & \le \left(2^{\mathrm{p}-1}{\mathbb{D}}_2\left({\xi }_1\right)+6^{\mathrm{p}-1}{\mathcal{U}}_2^{\mathrm{p}}\right)\left(1+{\parallel \omega \parallel }^{\mathrm{p}}+{\parallel \mathsf{\Lambda }\parallel }^{\mathrm{p}}\right).\hfill \end{array}$$

□

Next, we present the time scale change property for the Cap-FrD.

Lemma 5 

(time scale change property). If we take the time scale $\tau =\delta \nu$, we obtain the following [54]:

$${\mathcal{T}}_{\nu }^{\lambda }\mathfrak{M}\left(\delta \nu \right)={\delta }^{\lambda }{\mathcal{T}}_{\tau }^{\lambda }\mathfrak{M}\left(\tau \right).$$

Now, examine the Ave-Pr of FP-SDEs in the sense of ${\mathcal{L}}^{\mathrm{p}}$ space. First, consider the following:

$$\begin{array}{c}\hfill \{\begin{array}{cc}{\mathcal{T}}_{\tau }^{\lambda }\mathfrak{M}\left(\tau \right)=\mathbb{U}(\frac{\tau }{\epsilon },\mathfrak{M}\left(\tau \right),\mathfrak{M}({\tau }_0+\tau \varphi ))+\mathbb{M}(\frac{\tau }{\epsilon },\mathfrak{M}\left(\tau \right),\mathfrak{M}({\tau }_0+\tau \varphi ))\frac{d\mathcal{W}\left(\tau \right)}{d\tau },\hfill & \\ \mathfrak{M}\left({\tau }_0\right)=\chi .\hfill \end{array}\end{array}$$

(51)

When we suppose $\frac{\tau }{\epsilon }=\nu$ and then employ Lemma 5, Equation (51) can be rearranged in the following manner:

$$\begin{array}{c}\hfill \left\{\begin{array}{c}{\epsilon }^{-\lambda }{\mathcal{T}}_{\nu }^{\lambda }\mathfrak{M}\left(\epsilon \nu \right)=\mathbb{U}(\nu ,\mathfrak{M}\left(\epsilon \nu \right),\mathfrak{M}(\epsilon {\nu }_0+\epsilon \nu \varphi ))+\mathbb{M}(\nu ,\mathfrak{M}\left(\epsilon \nu \right),\mathfrak{M}(\epsilon {\nu }_0+\epsilon \nu \varphi ))\frac{d\mathcal{W}\left(\epsilon \nu \right)}{\epsilon d\nu },\hfill \\ \mathfrak{M}\left(\epsilon {\nu }_0\right)=\chi ,\hfill \end{array}\right.\end{array}$$

where $\tau =\epsilon \nu$ and ${\tau }_0=\epsilon {\nu }_0.$

By considering $d\mathcal{W}\left(\epsilon \nu \right)=\sqrt{\epsilon }d\mathcal{W}\left(\nu \right)$ and representing $\mathfrak{M}\left(\epsilon \nu \right)={\mathfrak{M}}_{\epsilon }\left(\nu \right)$ and $\mathfrak{M}(\epsilon {\nu }_0+\epsilon \nu \varphi )={\mathfrak{M}}_{\epsilon }({\nu }_0+\nu \varphi )$, we obtain the following outcomes from the above system:

$$\{\begin{array}{cc}{\mathcal{T}}_{\nu }^{\lambda }{\mathfrak{M}}_{\epsilon }\left(\nu \right)={\epsilon }^{\lambda }\mathbb{U}(\nu ,{\mathfrak{M}}_{\epsilon }\left(\nu \right),{\mathfrak{M}}_{\epsilon }({\nu }_0+\nu \varphi ))+{\epsilon }^{\lambda -\frac{1}{2}}\mathbb{M}(\nu ,{\mathfrak{M}}_{\epsilon }\left(\nu \right),{\mathfrak{M}}_{\epsilon }({\nu }_0+\nu \varphi ))\frac{d\mathcal{W}\left(\nu \right)}{d\nu },\hfill & \\ {\mathfrak{M}}_{\epsilon }\left({\nu }_0\right)=\chi .\hfill \end{array}$$

We can indicate $\nu :=\tau$ without losing generality. The standard form of Equation (1) is provided as follows by utilizing the natural time scaling $\frac{\tau }{\epsilon }\mapsto \tau$ and Lemma 5.

$$\{\begin{array}{c}{\mathcal{T}}_{\tau }^{\lambda }{\mathfrak{M}}_{\epsilon }\left(\tau \right)={\epsilon }^{\lambda }\mathbb{U}(\tau ,{\mathfrak{M}}_{\epsilon }\left(\tau \right),{\mathfrak{M}}_{\epsilon }({\tau }_0+\tau \varphi ))+{\epsilon }^{\lambda -\frac{1}{2}}\mathbb{M}(\tau ,{\mathfrak{M}}_{\epsilon }\left(\tau \right),{\mathfrak{M}}_{\epsilon }({\tau }_0+\tau \varphi ))\frac{d\mathcal{W}\left(\tau \right)}{d\tau },\hfill \\ {\mathfrak{M}}_{\epsilon }\left({\tau }_0\right)=\chi .\hfill \end{array}$$

(52)

Equation (52) can thus be represented in its integral form as

$$\begin{array}{cc}\hfill {\mathfrak{M}}_{\epsilon }\left(\tau \right)=& \chi +{\epsilon }^{\lambda }\frac{1}{\mathsf{\Gamma }\left(\lambda \right)}{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\mathbb{U}\left(\vartheta ,{\mathfrak{M}}_{\epsilon }\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }({\tau }_0+\varphi \vartheta )\right)d\vartheta \hfill \\ & +{\epsilon }^{\lambda -\frac{1}{2}}\frac{1}{\mathsf{\Gamma }\left(\lambda \right)}{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\mathbb{M}\left(\vartheta ,{\mathfrak{M}}_{\epsilon }\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }({\tau }_0+\varphi \vartheta )\right)d\mathcal{W}\left(\vartheta \right),\hfill \end{array}$$

(53)

here, $\epsilon \in (0,{\epsilon }_0]$ represents a small positive parameter, with ${\epsilon }_0$ being a predetermined constant. Additionally, $\mathbb{U}$ and $\mathbb{M}$ fulfill the criteria outlined in conditions $\left({\mathbb{C}}_3\right)$ and $\left({\mathbb{C}}_4\right)$. The averaged form of Equation (53) is consequently presented below.

$$\begin{array}{cc}\hfill {\mathfrak{M}}_{\epsilon }^{*}\left(\tau \right)=& \chi +{\epsilon }^{\lambda }\frac{1}{\mathsf{\Gamma }\left(\lambda \right)}{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\tilde{\mathbb{U}}\left({\mathfrak{M}}_{\epsilon }^{*}\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\varphi \vartheta )\right)d\vartheta \hfill \\ & +{\epsilon }^{\lambda -\frac{1}{2}}\frac{1}{\mathsf{\Gamma }\left(\lambda \right)}{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\tilde{\mathbb{M}}\left({\mathfrak{M}}_{\epsilon }^{*}\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\varphi \vartheta )\right)d\mathcal{W}\left(\vartheta \right),\hfill \end{array}$$

(54)

where $\tilde{\mathbb{U}}:{\mathbb{R}}^{\theta }\times {\mathbb{R}}^{\theta }\to {\mathbb{R}}^{\theta },\tilde{\mathbb{M}}:{\mathbb{R}}^{\theta }\times {\mathbb{R}}^{\theta }\to {\mathbb{R}}^{\theta \times \varsigma }$.

Theorem 5. 

Assume that from $\left({\mathbb{C}}_3\right)$ to $\left({\mathbb{C}}_5\right)$ are satisfied. We can determine the corresponding ${\epsilon }_1\in$$\left(0,{\epsilon }_0\right],\varrho >0,\beth \in (0,1)$ satisfies $\forall \epsilon \in \left(0,{\epsilon }_1\right]$ when $\mathrm{p}\in \left[2,{(1-\lambda )}^{-1}\right)$ and for $\mho >0$, which is an arbitrarily small number. The result is derived in the following manner:

$$\mathsf{\Xi }\left[\underset{\tau \in [{\tau }_0,\varrho {\epsilon }^{-\beth }]}{sup}\parallel {\mathfrak{M}}_{\epsilon }\left(\tau \right)-{\mathfrak{M}}_{\epsilon }^{*}\left(\tau \right){\parallel }^{\mathrm{p}}\right]\le \mho .$$

(55)

Proof. 

We obtain the subsequent result for $\tau \in [{\tau }_0,a]\subset [{\tau }_0,\xi ]$ via Equations (53) and (54).

$$\begin{array}{cc}\hfill & {\mathfrak{M}}_{\epsilon }\left(\tau \right)-{\mathfrak{M}}_{\epsilon }^{*}\left(\tau \right)\hfill \\ & =(\chi -\chi )+{\epsilon }^{\lambda }\frac{1}{\mathsf{\Gamma }\left(\lambda \right)}{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\left(\mathbb{U}\left(\vartheta ,{\mathfrak{M}}_{\epsilon }\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }({\tau }_0+\varphi \vartheta )\right)-\tilde{\mathbb{U}}\left({\mathfrak{M}}_{\epsilon }^{*}\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\varphi \vartheta )\right)\right)d\vartheta \hfill \\ & +{\epsilon }^{\lambda -\frac{1}{2}}\frac{1}{\mathsf{\Gamma }\left(\lambda \right)}{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\left(\mathbb{M}\left(\vartheta ,{\mathfrak{M}}_{\epsilon }\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }({\tau }_0+\varphi \vartheta )\right)-\tilde{\mathbb{M}}\left({\mathfrak{M}}_{\epsilon }^{*}\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\varphi \vartheta )\right)\right)d\mathcal{W}\left(\vartheta \right).\hfill \end{array}$$

(56)

By using J-I, we obtain the following from Equation (56) as a result

$$\begin{array}{cc}\hfill \parallel {\mathfrak{M}}_{\epsilon }\left(\tau \right)-{\mathfrak{M}}_{\epsilon }^{*}\left(\tau \right){\parallel }^{\mathrm{p}}& \le 2^{\mathrm{p}-1}\hfill \\ & \parallel {\epsilon }^{\lambda }\frac{1}{\mathsf{\Gamma }\left(\lambda \right)}{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\left(\mathbb{U}\left(\vartheta ,{\mathfrak{M}}_{\epsilon }\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }({\tau }_0+\varphi \vartheta )\right)-\tilde{\mathbb{U}}\left({\mathfrak{M}}_{\epsilon }^{*}\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\varphi \vartheta )\right)\right)d\vartheta {\parallel }^{\mathrm{p}}\hfill \\ & +2^{\mathrm{p}-1}\hfill \\ & \parallel {\epsilon }^{\lambda -\frac{1}{2}}\frac{1}{\mathsf{\Gamma }\left(\lambda \right)}{\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\left(\mathbb{M}\left(\vartheta ,{\mathfrak{M}}_{\epsilon }\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }({\tau }_0+\varphi \vartheta )\right)-\tilde{\mathbb{M}}\left({\mathfrak{M}}_{\epsilon }^{*}\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\varphi \vartheta )\right)\right)d\mathcal{W}\left(\vartheta \right){\parallel }^{\mathrm{p}}\hfill \\ & \le \frac{1}{{\mathsf{\Gamma }}^{\mathrm{p}}\left(\lambda \right)}{2}^{\mathrm{p}-1}{\epsilon }^{\mathrm{p}\lambda }\hfill \\ & \parallel {\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\left(\mathbb{U}\left(\vartheta ,{\mathfrak{M}}_{\epsilon }\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }({\tau }_0+\varphi \vartheta )\right)-\tilde{\mathbb{U}}\left({\mathfrak{M}}_{\epsilon }^{*}\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\varphi \vartheta )\right)\right)d\vartheta {\parallel }^{\mathrm{p}}\hfill \\ & +\frac{1}{{\mathsf{\Gamma }}^{\mathrm{p}}\left(\lambda \right)}{2}^{\mathrm{p}-1}{\epsilon }^{\mathrm{p}(\lambda -\frac{1}{2})}\hfill \\ & \parallel {\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\left(\mathbb{M}\left(\vartheta ,{\mathfrak{M}}_{\epsilon }\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }({\tau }_0+\varphi \vartheta )\right)-\tilde{\mathbb{M}}\left({\mathfrak{M}}_{\epsilon }^{*}\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\varphi \vartheta )\right)\right)d\mathcal{W}\left(\vartheta \right){\parallel }^{\mathrm{p}}.\hfill \end{array}$$

(57)

Utilizing Equation (57) in Equation (55).

$$\begin{array}{cc}\hfill \mathsf{\Xi }[\underset{{\tau }_0\le \tau \le a}{sup}\parallel & {\mathfrak{M}}_{\epsilon }\left(\tau \right)-{\mathfrak{M}}_{\epsilon }^{*}\left(\tau \right){\parallel }^{\mathrm{p}}]\hfill \\ & \le \frac{1}{{\mathsf{\Gamma }}^{\mathrm{p}}\left(\lambda \right)}{2}^{\mathrm{p}-1}{\epsilon }^{\mathrm{p}\lambda }\hfill \\ & \mathsf{\Xi }\left[\underset{{\tau }_0\le \tau \le a}{sup}\parallel {\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\left(\mathbb{U}\left(\vartheta ,{\mathfrak{M}}_{\epsilon }\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }({\tau }_0+\varphi \vartheta )\right)-\tilde{\mathbb{U}}\left({\mathfrak{M}}_{\epsilon }^{*}\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\varphi \vartheta )\right)\right)d\vartheta {\parallel }^{\mathrm{p}}\right]\hfill \\ & +\frac{1}{{\mathsf{\Gamma }}^{\mathrm{p}}\left(\lambda \right)}{2}^{\mathrm{p}-1}{\epsilon }^{\mathrm{p}(\lambda -\frac{1}{2})}\hfill \\ & \mathsf{\Xi }\left[\underset{{\tau }_0\le \tau \le a}{sup}\parallel {\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\left(\mathbb{M}\left(\vartheta ,{\mathfrak{M}}_{\epsilon }\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }({\tau }_0+\varphi \vartheta )\right)-\tilde{\mathbb{M}}\left({\mathfrak{M}}_{\epsilon }^{*}\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }^{*}\left(\varphi \vartheta \right)\right)\right)d\mathcal{W}\left(\vartheta \right){\parallel }^{\mathrm{p}}\right]\hfill \\ & ={\mathbb{V}}_1+{\mathbb{V}}_2.\hfill \end{array}$$

(58)

From ${\mathbb{V}}_1$

$$\begin{array}{cc}\hfill {\mathbb{V}}_1\le & \frac{1}{{\mathsf{\Gamma }}^{\mathrm{p}}\left(\lambda \right)}{2}^{2\mathrm{p}-2}{\epsilon }^{\mathrm{p}\lambda }\hfill \\ & \mathsf{\Xi }\left[\underset{{\tau }_0\le \tau \le a}{sup}\parallel {\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\left(\mathbb{U}\left(\vartheta ,{\mathfrak{M}}_{\epsilon }\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }({\tau }_0+\varphi \vartheta )\right)-\mathbb{U}\left(\vartheta ,{\mathfrak{M}}_{\epsilon }^{*}\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\varphi \vartheta )\right)\right)d\vartheta {\parallel }^{\mathrm{p}}\right]\hfill \\ & +\frac{1}{{\mathsf{\Gamma }}^{\mathrm{p}}\left(\lambda \right)}{2}^{2\mathrm{p}-2}{\epsilon }^{\mathrm{p}\lambda }\hfill \\ & \mathsf{\Xi }\left[\underset{{\tau }_0\le \tau \le a}{sup}\parallel {\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\left(\mathbb{U}\left(\vartheta ,{\mathfrak{M}}_{\epsilon }^{*}\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\varphi \vartheta )\right)-\tilde{\mathbb{U}}\left({\mathfrak{M}}_{\epsilon }^{*}\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\varphi \vartheta )\right)\right)d\vartheta {\parallel }^{\mathrm{p}}\right]\hfill \\ & ={\mathbb{V}}_{11}+{\mathbb{V}}_{12}.\hfill \end{array}$$

(59)

Using H-I, J-I, and $\left({\mathbb{C}}_3\right)$ on ${\mathbb{V}}_{11}$, we obtain the following result:

$$\begin{array}{cc}\hfill {\mathbb{V}}_{11}\le & \frac{1}{{\mathsf{\Gamma }}^{\mathrm{p}}\left(\lambda \right)}{2}^{2\mathrm{p}-2}{\epsilon }^{\mathrm{p}\lambda }{\left({\int }_{{\tau }_0}^a{(a-\vartheta )}^{\frac{(\lambda -1)\mathrm{p}}{\mathrm{p}-1}}d\vartheta \right)}^{\mathrm{p}-1}\hfill \\ & \mathsf{\Xi }\left[\underset{{\tau }_0\le \tau \le a}{sup}{\int }_{{\tau }_0}^{\tau }{∥\mathbb{U}\left(\vartheta ,{\mathfrak{M}}_{\epsilon }\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }({\tau }_0+\varphi \vartheta )\right)-\mathbb{U}\left(\vartheta ,{\mathfrak{M}}_{\epsilon }^{*}\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\varphi \vartheta )\right)∥}^{\mathrm{p}}d\vartheta \right]\hfill \\ \hfill \le & \frac{1}{{\mathsf{\Gamma }}^{\mathrm{p}}\left(\lambda \right)}{2}^{3\mathrm{p}-3}{\epsilon }^{\mathrm{p}\lambda }{(a-{\tau }_0)}^{\lambda \mathrm{p}-1}{\mathcal{U}}_2^{\mathrm{p}}{\left(\frac{\mathrm{p}-1}{\lambda \mathrm{p}-1}\right)}^{\mathrm{p}-1}\hfill \\ & \mathsf{\Xi }\left[\underset{{\tau }_0\le \tau \le a}{sup}{\int }_{{\tau }_0}^{\tau }{∥{\mathfrak{M}}_{\epsilon }\left(\vartheta \right)-{\mathfrak{M}}_{\epsilon }^{*}\left(\vartheta \right)∥}^{\mathrm{p}}d\vartheta \right]+\mathsf{\Xi }\left[\underset{{\tau }_0\le \tau \le a}{sup}{\int }_{{\tau }_0}^{\tau }{∥{\mathfrak{M}}_{\epsilon }({\tau }_0+\varphi \vartheta )-{\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\varphi \vartheta )∥}^{\mathrm{p}}d\vartheta \right]\hfill \\ \hfill =& {\mathbb{Y}}_{11}{\epsilon }^{\mathrm{p}\lambda }{(a-{\tau }_0)}^{\lambda \mathrm{p}-1}({\int }_{{\tau }_0}^a\mathsf{\Xi }\left[\underset{0\le \rho \le \vartheta }{sup}{∥{\mathfrak{M}}_{\epsilon }\left(\rho \right)-{\mathfrak{M}}_{\epsilon }^{*}\left(\rho \right)∥}^{\mathrm{p}}\right]d\vartheta \hfill \\ & +{\int }_{{\tau }_0}^a\mathsf{\Xi }\left[\underset{0\le \rho \le \vartheta }{sup}{\parallel {\mathfrak{M}}_{\epsilon }({\tau }_0+\rho \varphi )-{\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\rho \varphi )\parallel }^{\mathrm{p}}\right]d\vartheta ),\hfill \end{array}$$

(60)

where ${\mathbb{Y}}_{11}=2^{3\mathrm{p}-3}{\mathcal{U}}_2^{\mathrm{p}}{\left(\frac{\mathrm{p}-1}{\lambda \mathrm{p}-1}\right)}^{\mathrm{p}-1}\frac{1}{{\mathsf{\Gamma }}^{\mathrm{p}}\left(\lambda \right)}$.

Using H-I, J-I, and $\left({\mathbb{C}}_5\right)$ on ${\mathbb{V}}_{12}$, we obtain the following result:

$$\begin{array}{cc}\hfill {\mathbb{V}}_{12}\le & \frac{1}{{\mathsf{\Gamma }}^{\mathrm{p}}\left(\lambda \right)}{2}^{2\mathrm{p}-2}{\epsilon }^{\mathrm{p}\lambda }{\left({\int }_{{\tau }_0}^a{(a-\vartheta )}^{\frac{(\lambda -1)\mathrm{p}}{\mathrm{p}-1}}d\vartheta \right)}^{\mathrm{p}-1}\hfill \\ & \mathsf{\Xi }\left[\underset{{\tau }_0\le \tau \le a}{sup}{\int }_{{\tau }_0}^{\tau }\parallel \mathbb{U}\left(\vartheta ,{\mathfrak{M}}_{\epsilon }^{*}\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\varphi \vartheta )\right)-\tilde{\mathbb{U}}\left({\mathfrak{M}}_{\epsilon }^{*}\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\varphi \vartheta )\right){\parallel }^{\mathrm{p}}d\vartheta \right]\hfill \\ \hfill \le & \frac{1}{{\mathsf{\Gamma }}^{\mathrm{p}}\left(\lambda \right)}{2}^{2\mathrm{p}-2}{\epsilon }^{\mathrm{p}\lambda }{\left(\frac{\mathrm{p}-1}{\lambda \mathrm{p}-1}\right)}^{\mathrm{p}-1}{(a-{\tau }_0)}^{\lambda \mathrm{p}}{\mathbb{D}}_1\left(a\right)\hfill \\ & \left(1+\mathsf{\Xi }\parallel {\mathfrak{M}}_{\epsilon }^{*}\left(\vartheta \right){\parallel }^{\mathrm{p}}+\mathsf{\Xi }\parallel {\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\varphi \vartheta ){\parallel }^{\mathrm{p}}\right)\hfill \\ \hfill =& {\mathbb{Y}}_{12}{\epsilon }^{\mathrm{p}\lambda }{(a-{\tau }_0)}^{\lambda \mathrm{p}},\hfill \end{array}$$

(61)

where ${\mathbb{Y}}_{12}=2^{2\mathrm{p}-2}{\mathbb{D}}_1\left(a\right)\left(1+\mathsf{\Xi }{∥{\mathfrak{M}}_{\epsilon }^{*}\left(\vartheta \right)∥}^{\mathrm{p}}+\mathsf{\Xi }\parallel {\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\varphi \vartheta ){\parallel }^{\mathrm{p}}\right){\left(\frac{\mathrm{p}-1}{\lambda \mathrm{p}-1}\right)}^{\mathrm{p}-1}\frac{1}{{\mathsf{\Gamma }}^{\mathrm{p}}\left(\lambda \right)}$.

Through the use of J-I, ${\mathbb{V}}_2$ provides the following:

$$\begin{array}{cc}\hfill {\mathbb{V}}_2\le & \frac{1}{{\mathsf{\Gamma }}^{\mathrm{p}}\left(\lambda \right)}{2}^{2\mathrm{p}-2}{\epsilon }^{\mathrm{p}(\lambda -\frac{1}{2})}\hfill \\ & \left(\mathsf{\Xi }\left[\underset{{\tau }_0\le \tau \le a}{sup}\parallel {\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\left[\mathbb{M}\left(\vartheta ,{\mathfrak{M}}_{\epsilon }\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }({\tau }_0+\varphi \vartheta )\right)-\mathbb{M}\left(\vartheta ,{\mathfrak{M}}_{\epsilon }^{*}\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\varphi \vartheta )\right)\right]d\mathcal{W}\left(\vartheta \right){\parallel }^{\mathrm{p}}\right]\right)\hfill \\ \hfill +& \frac{1}{{\mathsf{\Gamma }}^{\mathrm{p}}\left(\lambda \right)}{2}^{2\mathrm{p}-2}{\epsilon }^{\mathrm{p}(\lambda -\frac{1}{2})}\hfill \\ & \left(\mathsf{\Xi }\left[\underset{{\tau }_0\le \tau \le a}{sup}\parallel {\int }_{{\tau }_0}^{\tau }{(\tau -\vartheta )}^{\lambda -1}\left[\mathbb{M}\left(\vartheta ,{\mathfrak{M}}_{\epsilon }^{*}\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\varphi \vartheta )\right)-\tilde{\mathbb{M}}\left({\mathfrak{M}}_{\epsilon }^{*}\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\varphi \vartheta )\right)\right]d\mathcal{W}\left(\vartheta \right){\parallel }^{\mathrm{p}}\right]\right)\hfill \\ \hfill =& {\mathbb{V}}_{21}+{\mathbb{V}}_{22}.\hfill \end{array}$$

(62)

Using $\left({\mathbb{C}}_3\right)$, H-I, and BDG-I on ${\mathbb{V}}_{21}$, we achieve the following outcomes:

$$\begin{array}{cc}\hfill {\mathbb{V}}_{21}\le & \frac{1}{{\mathsf{\Gamma }}^{\mathrm{p}}\left(\lambda \right)}{2}^{2\mathrm{p}-2}{\epsilon }^{\mathrm{p}(\lambda -\frac{1}{2})}{\left(2{(\mathrm{p}-1)}^{1-\mathrm{p}}{\mathrm{p}}^{\mathrm{p}+1}\right)}^{\frac{\mathrm{p}}{2}}\hfill \\ & \mathsf{\Xi }{\left[{\int }_{{\tau }_0}^a{(a-\vartheta )}^{2\lambda -2}{∥\mathbb{M}\left(\vartheta ,{\mathfrak{M}}_{\epsilon }\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }({\tau }_0+\varphi \vartheta )\right)-\mathbb{M}\left(\vartheta ,{\mathfrak{M}}_{\epsilon }^{*}\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\varphi \vartheta )\right)∥}^{2}d\vartheta \right]}^{\frac{\mathrm{p}}{2}}\hfill \\ & \le \frac{1}{{\mathsf{\Gamma }}^{\mathrm{p}}\left(\lambda \right)}{2}^{2\mathrm{p}-2}{\epsilon }^{\mathrm{p}(\lambda -\frac{1}{2})}{a}^{\frac{\mathrm{p}}{2}-1}{\left({\mathrm{p}}^{\mathrm{p}+1}2{(\mathrm{p}-1)}^{1-\mathrm{p}}\right)}^{\frac{\mathrm{p}}{2}}\hfill \\ & \mathsf{\Xi }\left[{\int }_{{\tau }_0}^a{(a-\vartheta )}^{(\lambda -1)\mathrm{p}}{∥\mathbb{M}\left(\vartheta ,{\mathfrak{M}}_{\epsilon }\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }({\tau }_0+\varphi \vartheta )\right)-\mathbb{M}\left(\vartheta ,{\mathfrak{M}}_{\epsilon }^{*}\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\varphi \vartheta )\right)∥}^{\mathrm{p}}d\vartheta \right]\hfill \\ & \le \frac{1}{{\mathsf{\Gamma }}^{\mathrm{p}}\left(\lambda \right)}{2}^{3\mathrm{p}-3}{\epsilon }^{\mathrm{p}(\lambda -\frac{1}{2})}{a}^{\frac{\mathrm{p}}{2}-1}{\mathcal{U}}_2^{\mathrm{p}}{\left({\mathrm{p}}^{\mathrm{p}+1}2{(1-\mathrm{p})}^{\mathrm{p}-1}\right)}^{\frac{\mathrm{p}}{2}}{\int }_{{\tau }_0}^a{(a-\vartheta )}^{(\lambda -1)\mathrm{p}}\hfill \\ & \mathsf{\Xi }\left[\underset{{\tau }_0\le \rho \le \vartheta }{sup}\left[{∥{\mathfrak{M}}_{\epsilon }\left(\rho \right)-{\mathfrak{M}}_{\epsilon }^{*}\left(\rho \right)∥}^{\mathrm{p}}+{∥{\mathfrak{M}}_{\epsilon }\left(\rho \varphi \right)-{\mathfrak{M}}_{\epsilon }^{*}\left(\rho \varphi \right)∥}^{\mathrm{p}}\right]d\vartheta \right]\hfill \\ & ={\mathbb{Y}}_{21}{\epsilon }^{\mathrm{p}(\lambda -\frac{1}{2})}{(a-{\tau }_0)}^{\frac{\mathrm{p}}{2}-1}({\int }_{{\tau }_0}^a{(a-\vartheta )}^{(\lambda -1)\mathrm{p}}\mathsf{\Xi }\left[\underset{{\tau }_0\le \rho \le \vartheta }{sup}{∥{\mathfrak{M}}_{\epsilon }\left(\rho \right)-{\mathfrak{M}}_{\epsilon }^{*}\left(\rho \right)∥}^{\mathrm{p}}d\vartheta \right]\hfill \\ & +{\int }_{{\tau }_0}^a{(a-\vartheta )}^{(\lambda -1)\mathrm{p}}\mathsf{\Xi }\left[\underset{0\le \rho \le \vartheta }{sup}{∥{\mathfrak{M}}_{\epsilon }({\tau }_0+\rho \varphi )-{\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\rho \varphi )∥}^{\mathrm{p}}d\vartheta \right]),\hfill \end{array}$$

(63)

where ${\mathbb{Y}}_{21}=2^{3\mathrm{p}-3}{\mathcal{U}}_2^{\mathrm{p}}{\left(\frac{{\mathrm{p}}^{\mathrm{p}+1}}{2{(\mathrm{p}-1)}^{\mathrm{p}-1}}\right)}^{\frac{\mathrm{p}}{2}}\frac{1}{{\mathsf{\Gamma }}^{\mathrm{p}}\left(\lambda \right)}$.

Again using H-I and BDG-I on ${\mathbb{V}}_{22}$, we achieve the following outcomes:

$$\begin{array}{cc}\hfill {\mathbb{V}}_{22}\le & \frac{1}{{\mathsf{\Gamma }}^{\mathrm{p}}\left(\lambda \right)}{2}^{2\mathrm{p}-2}{\left(2{(\mathrm{p}-1)}^{1-\mathrm{p}}{\mathrm{p}}^{\mathrm{p}+1}\right)}^{\frac{\mathrm{p}}{2}}{\epsilon }^{\mathrm{p}(\lambda -\frac{1}{2})}\hfill \\ & \mathsf{\Xi }{\left[{\int }_{{\tau }_0}^a{∥\mathbb{U}\left(\vartheta ,{\mathfrak{M}}_{\epsilon }^{*}\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\varphi \vartheta )\right)-\tilde{\mathbb{M}}\left(\vartheta ,{\mathfrak{M}}_{\epsilon }^{*}\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\varphi \vartheta )\right)∥}^2{(a-\vartheta )}^{2\lambda -2}d\vartheta \right]}^{\frac{\mathrm{p}}{2}}\hfill \\ \hfill \le & \frac{1}{{\mathsf{\Gamma }}^{\mathrm{p}}\left(\lambda \right)}{2}^{2\mathrm{p}-2}{\epsilon }^{\mathrm{p}(\lambda -\frac{1}{2})}{(a-{\tau }_0)}^{\frac{\mathrm{p}}{2}-1}{\left(2{(\mathrm{p}-1)}^{\mathrm{p}-1}{\mathrm{p}}^{\mathrm{p}+1}\right)}^{\frac{\mathrm{p}}{2}}\mathsf{\Xi }[{\int }_{{\tau }_0}^a{(a-\vartheta )}^{(\lambda -1)\mathrm{p}}\hfill \\ & \left({∥\mathbb{M}\left(\vartheta ,{\mathfrak{M}}_{\epsilon }^{*}\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\varphi \vartheta )\right)∥}^{\mathrm{p}}+\parallel \tilde{\mathbb{M}}\left({\mathfrak{M}}_{\epsilon }^{*}\left(\vartheta \right),{\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\varphi \vartheta )\right){\parallel }^{\mathrm{p}}\right)d\vartheta ]\hfill \\ \hfill \le & \frac{1}{{\mathsf{\Gamma }}^{\mathrm{p}}\left(\lambda \right)}\frac{2^{3\mathrm{p}-3}{3}^{\mathrm{p}-1}{\epsilon }^{\mathrm{p}(\lambda -\frac{1}{2})}{(a-{\tau }_0)}^{\lambda \mathrm{p}-\frac{\mathrm{p}}{2}}{\mathcal{U}}_2^{\mathrm{p}}{\left({\mathcal{U}}_2^{\mathrm{p}}+{\mathcal{U}}_3\right)}^{\mathrm{p}}}{\left(\right(\lambda -1)\mathrm{p}+1)}\hfill \\ & {\left(2{(\mathrm{p}-1)}^{1-\mathrm{p}}{\mathrm{p}}^{\mathrm{p}+1}\right)}^{\frac{\mathrm{p}}{2}}\left(1+\mathsf{\Xi }\left[{∥{\mathfrak{M}}_{\epsilon }^{*}\left(\vartheta \right)∥}^{\mathrm{p}}\right]+\mathsf{\Xi }\left[{∥{\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\varphi \vartheta )∥}^{\mathrm{p}}\right]\right)\hfill \\ \hfill =& {\mathbb{Y}}_{22}{\epsilon }^{\mathrm{p}(\lambda -\frac{1}{2})}{(a-{\tau }_0)}^{\lambda \mathrm{p}-\frac{\mathrm{p}}{2}},\hfill \end{array}$$

(64)

where

$$\begin{array}{cc}\hfill {\mathbb{Y}}_{22}=& 2^{3\mathrm{p}-3}{3}^{\mathrm{p}-1}{\mathcal{U}}_2^{\mathrm{p}}{\left({\mathcal{U}}_2^{\mathrm{p}}+{\mathcal{U}}_3\right)}^{\mathrm{p}}\frac{1}{\left(\right(\lambda -1)\mathrm{p}+1)}\hfill \\ & {\left(2{(\mathrm{p}-1)}^{1-\mathrm{p}}{\mathrm{p}}^{\mathrm{p}+1}\right)}^{\frac{\mathrm{p}}{2}}\left(1+\mathsf{\Xi }\left[{∥{\mathfrak{M}}_{\epsilon }^{*}\left(\vartheta \right)∥}^{\mathrm{p}}\right]+\mathsf{\Xi }\left[{∥{\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\varphi \vartheta )∥}^{\mathrm{p}}\right]\right)\frac{1}{{\mathsf{\Gamma }}^{\mathrm{p}}\left(\lambda \right)}.\hfill \end{array}$$

By utilizing Equations (59)–(64) in (58), as a result, we obtain the following outcomes:

$$\begin{array}{cc}\hfill & \mathsf{\Xi }\left[\underset{{\tau }_0\le \tau \le a}{sup}{∥{\mathfrak{M}}_{\epsilon }\left(\tau \right)-{\mathfrak{M}}_{\epsilon }^{*}\left(\tau \right)∥}^{\mathrm{p}}\right]\le {\mathbb{Y}}_{12}{\epsilon }^{\mathrm{p}\lambda }{(a-{\tau }_0)}^{\lambda \mathrm{p}}+{\mathbb{Y}}_{22}{\epsilon }^{\mathrm{p}(\lambda -\frac{1}{2})}{(a-{\tau }_0)}^{\lambda \mathrm{p}-\frac{\mathrm{p}}{2}}\hfill \\ & +{\int }_{{\tau }_0}^a\left[{\mathbb{Y}}_{11}{\epsilon }^{\mathrm{p}\lambda }{(a-{\tau }_0)}^{\lambda \mathrm{p}-1}+{\mathbb{Y}}_{21}{\epsilon }^{\mathrm{p}(\lambda -\frac{1}{2})}{(a-{\tau }_0)}^{\frac{\mathrm{p}}{2}-1}{(a-\vartheta )}^{(\lambda -1)\mathrm{p}}\right]\mathsf{\Xi }\left[\underset{{\tau }_0\le \rho \le \vartheta }{sup}{∥{\mathfrak{M}}_{\epsilon }\left(\rho \right)-{\mathfrak{M}}_{\epsilon }^{*}\left(\rho \right)∥}^{\mathrm{p}}d\vartheta \right]\hfill \\ & +{\int }_{{\tau }_0}^a\left[{\mathbb{Y}}_{11}{\epsilon }^{\mathrm{p}\lambda }{(a-{\tau }_0)}^{\lambda \mathrm{p}-1}+{\mathbb{Y}}_{21}{\epsilon }^{\mathrm{p}(\lambda -\frac{1}{2})}{(a-{\tau }_0)}^{\frac{\mathrm{p}}{2}-1}{(a-\vartheta )}^{(\lambda -1)\mathrm{p}}\right]\hfill \\ & \mathsf{\Xi }\left[\underset{{\tau }_0\le \rho \le \vartheta }{sup}{∥{\mathfrak{M}}_{\epsilon }({\tau }_0+\rho \varphi )-{\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\rho \varphi )∥}^{\mathrm{p}}d\vartheta \right].\hfill \end{array}$$

(65)

Consequently, we obtain the subsequent outcome from Equation (65).

$$\begin{array}{cc}\hfill \mathsf{\Xi }\left[\underset{{\tau }_0\le \tau \le a}{sup}{∥{\mathfrak{M}}_{\epsilon }\left(\tau \right)-{\mathfrak{M}}_{\epsilon }^{*}\left(\tau \right)∥}^{\mathrm{p}}\right]\le & \left({\mathbb{Y}}_{12}{\epsilon }^{\mathrm{p}\lambda }{(a-{\tau }_0)}^{\lambda \mathrm{p}}+{\mathbb{Y}}_{22}{\epsilon }^{\mathrm{p}(\lambda -\frac{1}{2})}{(a-{\tau }_0)}^{\lambda \mathrm{p}-\frac{\mathrm{p}}{2}}\right)\hfill \\ & exp\left(2{\mathbb{Y}}_{11}{\epsilon }^{\mathrm{p}\lambda }{(a-{\tau }_0)}^{\lambda \mathrm{p}}+\frac{2{\mathbb{Y}}_{21}}{(\lambda -1)\mathrm{p}+1}{\epsilon }^{\mathrm{p}(\lambda -\frac{1}{2})}{(a-{\tau }_0)}^{\lambda \mathrm{p}-\frac{\mathrm{p}}{2}}\right).\hfill \end{array}$$

This implies that for any $\tau \in \left[{\tau }_0,\varrho {\epsilon }^{-\beth }\right]\subseteq [{\tau }_0,\xi ]$, there are $\varrho >0$ and $\beth \in (0,1)$ as well.

$$\mathsf{\Xi }\left[\underset{{\tau }_0\le \tau \le \varrho {\epsilon }^{-\beth }}{sup}{∥{\mathfrak{M}}_{\epsilon }\left(\tau \right)-{\mathfrak{M}}_{\epsilon }^{*}\left(\tau \right)∥}^{\mathrm{p}}\right]\le \mathcal{Z}{\epsilon }^{1-\beth },$$

(66)

where

$$\begin{array}{cc}\hfill \mathcal{Z}=& \left({\mathbb{Y}}_{12}{(\varrho -{\tau }_0)}^{\lambda \mathrm{p}}{\epsilon }^{\mathrm{p}\lambda +\beth -\lambda \beth \mathrm{p}-1}+{\mathbb{Y}}_{22}{(\varrho -{\tau }_0)}^{\lambda \mathrm{p}-\frac{\mathrm{p}}{2}}{\epsilon }^{\mathrm{p}(\lambda -\frac{1}{2})(1+\beth )+\beth -\lambda \beth \mathrm{p}-1}\right)\hfill \\ & exp\left[2{\mathbb{Y}}_{11}{(\varrho -{\tau }_0)}^{\lambda \mathrm{p}}{\epsilon }^{\mathrm{p}\lambda (1-\lambda \beth )}+\frac{2{\mathbb{Y}}_{21}}{(\lambda -1)\mathrm{p}+1}{(\varrho -{\tau }_0)}^{\lambda \mathrm{p}-\frac{\mathrm{p}}{2}}{\epsilon }^{\mathrm{p}(\lambda -\frac{1}{2})(1+\beth )-\lambda \beth \mathrm{p}}\right]\hfill \end{array}$$

is a constant. As a result, when $\forall \mho >0$, finding ${\epsilon }_1\in \left(0,{\epsilon }_0\right]$ that satisfies $\forall \epsilon \in \left(0,{\epsilon }_1\right]$ and $\tau \in \left[{\tau }_0,\varrho {\epsilon }^{-\beth }\right]$ allows us to deduce

$$\mathsf{\Xi }\left[\underset{{\tau }_0\le \tau \le \varrho {\epsilon }^{-\beth }}{sup}{∥{\mathfrak{M}}_{\epsilon }\left(\tau \right)-{\mathfrak{M}}_{\epsilon }^{*}\left(\tau \right)∥}^{\mathrm{p}}\right]\le \mho .$$

□

Corollary 2. 

Assume that the assumptions $\left({\mathbb{C}}_3\right)$ and $\left({\mathbb{C}}_4\right)$ are valid. For any arbitrary positive number ${\mho }_1>0$, the following criteria are defined: ℶ is within the interval $(0,1)$, ϱ is greater than 0, and ${\epsilon }_1$ lies in the interval $\left(0,{\epsilon }_0\right)$. We have $\forall \epsilon \in \left(0,{\epsilon }_1\right]$:

$$\underset{\epsilon \to 0}{lim}\mathfrak{P}\left[\underset{\tau \in [{\tau }_0,\varrho {\epsilon }^{-\beth }]}{sup}\parallel {\mathfrak{M}}_{\epsilon }\left(\tau \right)-{\mathfrak{M}}_{\epsilon }^{*}\left(\tau \right)\parallel >{\mho }_1\right]=0.$$

(67)

Proof. 

By employing the Chebyshev–Markov inequality and Theorem 5, it is possible to infer the following for any positive number ${\mho }_1$.

$$\begin{array}{cc}\hfill \mathfrak{P}\left[\underset{\tau \in [{\tau }_0,\varrho {\epsilon }^{-\beth }]}{sup}\parallel {\mathfrak{M}}_{\epsilon }\left(\tau \right)-{\mathfrak{M}}_{\epsilon }^{*}\left(\tau \right)\parallel >{\mho }_1\right]\le & \frac{1}{{\mho }_1^2}\mathsf{\Xi }\left[\underset{\tau \in [{\tau }_0,\varrho {\epsilon }^{-\beth }]}{sup}\parallel {\mathfrak{M}}_{\epsilon }\left(\tau \right)-{\mathfrak{M}}_{\epsilon }^{*}\left(\tau \right){\parallel }^2\right]\hfill \\ & \le \frac{\mathcal{Z}{\epsilon }^{1-\beth }}{{\mho }_1^2}\hfill \\ & \le 0\mathrm{as}\epsilon \to 0,\hfill \end{array}$$

where

$$\begin{array}{cc}\hfill \mathcal{Z}=& \left({\mathbb{Y}}_{12}{(\varrho -{\tau }_0)}^{\lambda \mathrm{p}}{\epsilon }^{\mathrm{p}\lambda +\beth -\lambda \beth \mathrm{p}-1}+{\mathbb{Y}}_{22}{(\varrho -{\tau }_0)}^{\lambda \mathrm{p}-\frac{\mathrm{p}}{2}}{\epsilon }^{\mathrm{p}(\lambda -\frac{1}{2})(1+\beth )+\beth -\lambda \beth \mathrm{p}-1}\right)\hfill \\ & exp\left[2{\mathbb{Y}}_{11}{(\varrho -{\tau }_0)}^{\lambda \mathrm{p}}{\epsilon }^{\mathrm{p}\lambda (1-\lambda \beth )}+\frac{2{\mathbb{Y}}_{21}}{(\lambda -1)\mathrm{p}+1}{(\varrho -{\tau }_0)}^{\lambda \mathrm{p}-\frac{\mathrm{p}}{2}}{\epsilon }^{\mathrm{p}(\lambda -\frac{1}{2})(1+\beth )-\lambda \beth \mathrm{p}}\right].\hfill \end{array}$$

It ends the proof. □

5. Examples

In this section, we provide four examples to demonstrate the practical value of our presented outcome.

Example 1. 

Consider the subsequent FP-SDE:

$$\begin{array}{c}\hfill \left\{\begin{array}{c}{\mathcal{T}}_{\tau }^{0.8}{\mathfrak{M}}_{\epsilon }\left(\tau \right)=2{\epsilon }^{\lambda }{cos}^2\left(\tau \right){\mathfrak{M}}_{\epsilon }\left(\tau \right)-{\epsilon }^{\lambda }{\mathfrak{M}}_{\epsilon }{sin}^2\left(\frac{1}{2}\tau \right)+{\epsilon }^{\lambda -\frac{1}{2}}\frac{d\mathcal{W}\left(\tau \right)}{d\tau },\tau \in [0,\pi ],\hfill \\ \mathfrak{M}\left(0\right)=\chi ,\hfill \end{array}\right.\end{array}$$

(68)

where $\lambda =0.8$, ${\tau }_0=0$ and $\varphi \in (0,\frac{\pi -0}{\pi })=(0,1)$.

$$\begin{array}{cc}\hfill \mathbb{U}(\tau ,\mathfrak{M}\left(\tau \right),\mathfrak{M}({\tau }_0+\tau \varphi ))& =2{cos}^2\left(\tau \right){\mathfrak{M}}_{\epsilon }\left(\tau \right)-{\mathfrak{M}}_{\epsilon }{sin}^2\left(\frac{1}{2}\tau \right),\hfill \\ \hfill \mathbb{M}(\tau ,\mathfrak{M}\left(\tau \right),\mathfrak{M}({\tau }_0+\tau \varphi ))& =1.\hfill \end{array}$$

Since both drift and diffusion factors in Equation (68) meet the necessary conditions of Theorem 2, the solution to Equation (68) exists and is unique.

The averages of $\mathbb{U}$ and $\mathbb{M}$ can be expressed in the following manner:

$$\begin{array}{cc}\hfill \tilde{\mathbb{U}}(\mathfrak{M}\left(\tau \right),\mathfrak{M}({\tau }_0+\tau \varphi ))& =\frac{1}{\pi }{\int }_0^{\pi }\left(2{cos}^2\left(\tau \right){\mathfrak{M}}_{\epsilon }\left(\tau \right)-{\mathfrak{M}}_{\epsilon }{sin}^2\left(\frac{1}{2}\tau \right)\right)d\tau =\frac{1}{2}{\mathfrak{M}}_{\epsilon }\left(\tau \right),\hfill \\ \hfill \tilde{\mathbb{M}}(\mathfrak{M}\left(\tau \right),\mathfrak{M}({\tau }_0+\tau \varphi ))& =\frac{1}{\pi }{\int }_0^{\pi }1d\tau =1.\hfill \end{array}$$

Thus, we have the corresponding averaged FP-SDEs

$$\begin{array}{c}\hfill \left\{\begin{array}{c}{\mathcal{T}}_{\tau }^{0.8}{\mathfrak{M}}_{\epsilon }^{*}\left(\tau \right)=\frac{1}{2}{\epsilon }^{\lambda }{\mathfrak{M}}_{\epsilon }\left(\tau \right)+{\epsilon }^{\lambda -\frac{1}{2}}\frac{d\mathcal{W}\left(\tau \right)}{d\tau },\hfill \\ \mathfrak{M}\left(0\right)=\chi .\hfill \end{array}\right.\end{array}$$

Example 2. 

Consider the subsequent FP-SDEs:

$$\begin{array}{c}\hfill \left\{\begin{array}{c}{\mathcal{T}}_{\tau }^{0.8}{\mathfrak{M}}_{\epsilon }\left(\tau \right)={\epsilon }^{\lambda }{sin}^2\left(\tau \right){\mathfrak{M}}_{\epsilon }({\tau }_0+\varphi \tau )+{\epsilon }^{\lambda -\frac{1}{2}}sin\left({\mathfrak{M}}_{\epsilon }\left(\tau \right)\right)\frac{d\mathcal{W}\left(\tau \right)}{d\tau },\tau \in [0.5,\pi ],\hfill \\ \mathfrak{M}\left(0.5\right)=\chi ,\hfill \end{array}\right.\end{array}$$

(69)

where $\lambda =0.8$, ${\tau }_0=0.5$, $\varphi \in (0,\frac{\pi -0.5}{\pi })$ and

$$\begin{array}{cc}\hfill \mathbb{U}(\tau ,\mathfrak{M}\left(\tau \right),\mathfrak{M}({\tau }_0+\tau \varphi ))& ={sin}^2\left(\tau \right){\mathfrak{M}}_{\epsilon }({\tau }_0+\varphi \tau ),\hfill \\ \hfill \mathbb{M}(\tau ,\mathfrak{M}\left(\tau \right),\mathfrak{M}({\tau }_0+\tau \varphi ))& =sin\left({\mathfrak{M}}_{\epsilon }\left(\tau \right)\right).\hfill \end{array}$$

Since both ${sin}^2\left(\tau \right){\mathfrak{M}}_{\epsilon }({\tau }_0+\varphi \tau )$ and $sin\left({\mathfrak{M}}_{\epsilon }\left(\tau \right)\right)$ factors in Equation (69) meet the necessary conditions of Theorem 2, the solution to Equation (69) exists and is unique.

We can express the averages of $\mathbb{U}$ and $\mathbb{M}$ as follows:

$$\begin{array}{cc}\hfill \tilde{\mathbb{U}}(\mathfrak{M}\left(\tau \right),\mathfrak{M}({\tau }_0+\tau \varphi ))& =\frac{1}{\pi }{\int }_{0.5}^{\pi }{sin}^2\left(\tau \right){\mathfrak{M}}_{\epsilon }({\tau }_0+\varphi \tau )d\tau =\frac{1}{\pi }\left(\frac{1}{2}\left((\pi -0.5)+\frac{1}{4}sin1\right)\right){\mathfrak{M}}_{\epsilon }^{*}({\tau }_0+\tau \varphi ),\hfill \\ \hfill \tilde{\mathbb{M}}(\mathfrak{M}\left(\tau \right),\mathfrak{M}({\tau }_0+\tau \varphi ))& =\frac{1}{\pi }{\int }_{0.5}^{\pi }sin\left({\mathfrak{M}}_{\epsilon }\left(\tau \right)\right)d\tau =\frac{1}{\pi }(\pi -0.5)sin\left({\mathfrak{M}}_{\epsilon }\left(\tau \right)\right).\hfill \end{array}$$

Thus, we have the corresponding averaged FP-SDEs

$$\begin{array}{c}\hfill \left\{\begin{array}{c}{\mathcal{T}}_{\tau }^{0.8}{\mathfrak{M}}_{\epsilon }^{*}\left(\tau \right)=\frac{1}{2}{\epsilon }^{\lambda }{\mathfrak{M}}_{\epsilon }^{*}\left(\tau \varphi \right)+{\epsilon }^{\lambda -\frac{1}{2}}\left(\frac{1}{\pi }(\pi -0.5)sin\left({\mathfrak{M}}_{\epsilon }\left(\tau \right)\right)\right)\frac{d\mathcal{W}\left(\tau \right)}{d\tau },\hfill \\ \mathfrak{M}\left(0.5\right)=\chi .\hfill \end{array}\right.\end{array}$$

Example 3. 

Consider the subsequent FP-SDEs:

$$\begin{array}{c}\hfill \left\{\begin{array}{c}{\mathcal{T}}_{\tau }^{0.9}{\mathfrak{M}}_{\epsilon }\left(\tau \right)=\frac{1}{2}{\epsilon }^{\lambda }{\mathfrak{M}}_{\epsilon }\left(\tau \varphi \right)+\frac{3\pi }{4}{\epsilon }^{\lambda -\frac{1}{2}}{sin}^3\tau .{\mathfrak{M}}_{\epsilon }\left(\tau \right)\frac{d\mathcal{W}\left(\tau \right)}{d\tau },\tau \in [0,\pi ],\hfill \\ \mathfrak{M}\left(0\right)=\chi ,\hfill \end{array}\right.\end{array}$$

(70)

where $\lambda =0.9$, ${\tau }_0=0$ and $\varphi \in (0,\frac{\pi -0}{\pi })=(0,1)$.

$$\begin{array}{cc}\hfill \mathbb{U}(\tau ,\mathfrak{M}\left(\tau \right),\mathfrak{M}({\tau }_0+\tau \varphi ))& =\frac{1}{2}{\mathfrak{M}}_{\epsilon }\left(\tau \varphi \right),\hfill \\ \hfill \mathbb{M}(\tau ,\mathfrak{M}\left(\tau \right),\mathfrak{M}({\tau }_0+\tau \varphi ))& =\frac{3\pi }{4}{sin}^3\tau .{\mathfrak{M}}_{\epsilon }\left(\tau \right).\hfill \end{array}$$

Since both drift $\frac{1}{2}{\mathfrak{M}}_{\epsilon }\left(\tau \varphi \right)$ and diffusion $\frac{3\pi }{4}{sin}^3\tau .{\mathfrak{M}}_{\epsilon }\left(\tau \right)$ factors in Equation (70) meet the necessary conditions of Theorem 2, the solution to Equation (70) exists and is unique.

The following forms represent the averages of $\mathbb{U}$ and $\mathbb{M}$.

$$\begin{array}{cc}\hfill \tilde{\mathbb{U}}(\mathfrak{M}\left(\tau \right),\mathfrak{M}({\tau }_0+\tau \varphi ))& =\frac{1}{\pi }{\int }_0^{\pi }\frac{1}{2}{\mathfrak{M}}_{\epsilon }\left(\tau \varphi \right)d\lambda =\frac{1}{2}{\mathfrak{M}}_{\epsilon }^{*}\left(\tau \varphi \right),\hfill \\ \hfill \tilde{\mathbb{M}}(\mathfrak{M}\left(\tau \right),\mathfrak{M}({\tau }_0+\tau \varphi ))& =\frac{1}{\pi }\frac{3\pi }{4}{\int }_0^{\pi }{sin}^3\tau .{\mathfrak{M}}_{\epsilon }\left(\tau \right)d\lambda ={\mathfrak{M}}_{\epsilon }^{*}\left(\tau \right).\hfill \end{array}$$

Thus, we have the corresponding averaged FP-SDEs

$$\begin{array}{c}\hfill \left\{\begin{array}{c}{\mathcal{T}}_{\tau }^{0.9}{\mathfrak{M}}_{\epsilon }^{*}\left(\tau \right)=\frac{1}{2}{\epsilon }^{\lambda }{\mathfrak{M}}_{\epsilon }^{*}\left(\tau \varphi \right)+{\epsilon }^{\lambda -\frac{1}{2}}{\mathfrak{M}}_{\epsilon }^{*}\left(\tau \right)\frac{d\mathcal{W}\left(\tau \right)}{d\tau },\hfill \\ \mathfrak{M}\left(0\right)=\chi .\hfill \end{array}\right.\end{array}$$

Example 4. 

Consider the subsequent FP-SDE:

$$\begin{array}{c}\hfill \left\{\begin{array}{c}{\mathcal{T}}_{\tau }^{0.8}{\mathfrak{M}}_{\epsilon }\left(\tau \right)=\frac{3}{5}{\epsilon }^{\lambda }{exp}^{-\tau }+{\epsilon }^{\lambda -\frac{1}{2}}{\mathfrak{M}}_{\epsilon }({\tau }_0+\varphi \tau )\frac{d\mathcal{W}\left(\tau \right)}{d\tau },\tau \in [0.3,\pi ],\hfill \\ \mathfrak{M}\left(0.3\right)=\chi ,\hfill \end{array}\right.\end{array}$$

(71)

where $\lambda =0.8$, ${\tau }_0=0.3$, $\varphi \in (0,\frac{\pi -0.3}{\pi })$, and

$$\begin{array}{cc}\hfill \mathbb{U}(\tau ,\mathfrak{M}\left(\tau \right),\mathfrak{M}({\tau }_0+\tau \varphi ))& =\frac{3}{5}{exp}^{-\tau },\hfill \\ \hfill \mathbb{M}(\tau ,\mathfrak{M}\left(\tau \right),\mathfrak{M}({\tau }_0+\tau \varphi ))& ={\mathfrak{M}}_{\epsilon }({\tau }_0+\varphi \tau ).\hfill \end{array}$$

Since both drift and diffusion factors in Equation (71) meet the necessary conditions of Theorem 2, the solution to Equation (71) exists and is unique.

The averages of $\mathbb{U}$ and $\mathbb{M}$ can be expressed in the following manner:

$$\begin{array}{cc}\hfill \tilde{\mathbb{U}}(\mathfrak{M}\left(\tau \right),\mathfrak{M}({\tau }_0+\tau \varphi ))& =\frac{1}{\pi }{\int }_{0.3}^{\pi }\left(\frac{3}{5}{exp}^{-\tau }\right)d\tau =\frac{3}{5}\frac{1}{\pi }({exp}^{-0.3}-{exp}^{-\pi }),\hfill \\ \hfill \tilde{\mathbb{M}}(\mathfrak{M}\left(\tau \right),\mathfrak{M}({\tau }_0+\tau \varphi ))& =\frac{1}{\pi }{\int }_{0.3}^{\pi }1d\tau =\frac{1}{\pi }(\pi -0.3).\hfill \end{array}$$

Thus, we have the corresponding averaged FP-SDEs

$$\begin{array}{c}\hfill \left\{\begin{array}{c}{\mathcal{T}}_{\tau }^{0.8}{\mathfrak{M}}_{\epsilon }^{*}\left(\tau \right)={\epsilon }^{\lambda }\left(\frac{3}{5}\frac{1}{\pi }({exp}^{-0.3}-{exp}^{-\pi })\right)+{\epsilon }^{\lambda -\frac{1}{2}}\left(\frac{1}{\pi }(\pi -0.3)\right)\frac{d\mathcal{W}\left(\tau \right)}{d\tau },\hfill \\ \mathfrak{M}\left({\tau }_0\right)=\chi .\hfill \end{array}\right.\end{array}$$

6. Conclusions

In this research work, we generalize the results concerning the existence, uniqueness, continuous dependency, and regularity of solutions to FP-SDEs, along with the Ave-Pr in the ${\mathcal{L}}^{\mathrm{p}}$ space. The application of the contraction map** concept is utilized to explore the EU of the problem under discussion. Moreover, we illustrate the Ave-Pr for FP-SDEs in the ${\mathcal{L}}^{\mathrm{p}}$ space using GB-I, BDG-I, H-I, J-I, and an interval translation approach. Ultimately, we present three examples to help elucidate the established results and demonstrate the effectiveness of our findings.

In our future research, we plan to employ numerical methods to tackle various real-world problems modeled by FP-SDEs.