Nothing Special   »   [go: up one dir, main page]

Next Article in Journal
Global Repeat Map (GRM) Application: Finding All DNA Tandem Repeat Units
Next Article in Special Issue
On a Hypothetical Model with Second Kind Chebyshev’s Polynomial–Correction: Type of Limit Cycles, Simulations, and Possible Applications
Previous Article in Journal
Special Issue on Algorithms and Data-Structures for Compressed Computation
Previous Article in Special Issue
Consistency and Convergence Properties of 20 Recent and Old Numerical Schemes for the Diffusion Equation
You seem to have javascript disabled. Please note that many of the page functionalities won't work as expected without javascript enabled.
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Modular Stability Analysis of a Nonlinear Stochastic Fractional Volterra IDE

1
School of Mathematics, Iran University of Science and Technology, Tehran 1684613114, Iran
2
School of Mathematical and Statistical Sciences, University of Galway, University Road, H91 TK33 Galway, Ireland
*
Author to whom correspondence should be addressed.
Algorithms 2022, 15(12), 459; https://doi.org/10.3390/a15120459
Submission received: 25 October 2022 / Revised: 27 November 2022 / Accepted: 29 November 2022 / Published: 5 December 2022
(This article belongs to the Special Issue Computational Methods and Optimization for Numerical Analysis)
Figure 1
<p>Graph of aggregate functions AM and GM for, <math display="inline"><semantics> <mrow> <mi>τ</mi> <mo>=</mo> <mn>2</mn> </mrow> </semantics></math> and different values <math display="inline"><semantics> <mi>θ</mi> </semantics></math>. (<b>a</b>) The aggregation arithmetic mean function for <math display="inline"><semantics> <mrow> <mi>θ</mi> <mo>∈</mo> <mo>(</mo> <mfrac> <mn>3</mn> <mn>2</mn> </mfrac> <mo>,</mo> <mfrac> <mn>10</mn> <mn>3</mn> </mfrac> <mo>)</mo> </mrow> </semantics></math>. (<b>b</b>) The aggregation arithmetic mean function for <math display="inline"><semantics> <mrow> <mi>θ</mi> <mo>∈</mo> <mo>(</mo> <mn>1.5</mn> <mo>,</mo> <mn>10.5</mn> <mo>)</mo> </mrow> </semantics></math>. (<b>c</b>) The aggregation geometric mean function for <math display="inline"><semantics> <mrow> <mi>θ</mi> <mo>∈</mo> <mo>(</mo> <mn>0</mn> <mo>,</mo> <mn>10</mn> <mo>)</mo> </mrow> </semantics></math>.</p> ">
Figure 2
<p>Graphic representation of the exact solution of Equation (<a href="#FD28-algorithms-15-00459" class="html-disp-formula">28</a>) for different values. (<b>a</b>) The exact solution of stochastic fractional nonlinear Volterra-IDE for <math display="inline"><semantics> <mrow> <mi>θ</mi> <mo>∈</mo> <mo>(</mo> <mn>1</mn> <mo>,</mo> <mn>10</mn> <mo>)</mo> </mrow> </semantics></math>. (<b>b</b>) The exact solution of stochastic fractional nonlinear Volterra-IDE <math display="inline"><semantics> <mrow> <mi>θ</mi> <mo>∈</mo> <mo>(</mo> <mfrac> <mn>1</mn> <mn>10</mn> </mfrac> <mo>,</mo> <mfrac> <mn>15</mn> <mn>4</mn> </mfrac> <mo>)</mo> </mrow> </semantics></math>.</p> ">
Versions Notes

Abstract

:
We define a new control function to approximate a stochastic fractional Volterra IDE using the concept of modular-stability.

1. Introduction

The stochastic fractional nonlinear Volterra-IDE is used in the science of engineering, management, economics and biophysics since many problems in these areas can be simulated by the stochastic fractional nonlinear Volterra-IDE. As a result, because of the important role these equations play in applied sciences, many researchers have investigated and presented numerical results for these equations. We refer the reader to methods such as the Galerkin method, shifted Legendre polynomials, and the collocation method based on radial basis functions (see [1,2]). In this paper, we study the existence of solutions for the stochastic fractional nonlinear Volterra-IDE:
H D 0 + , κ ; ( ϱ , θ ) = f ( ϱ , θ , ( ϱ , θ ) ) + 0 θ k ( ϱ , θ , ϑ , ( ϱ , θ ) ) d ϑ , I 0 + 1 λ ( ϱ , 0 ) = ϑ ,
with θ [ 0 , M ] , where f ( ϱ , θ , ) is a continuous random operator (in short CRO) with respect to all the variables ϱ , θ and on Υ × [ 0 , M ] × R , k ( ϱ , θ , ϑ , ) is a CRO with respect to ϱ , θ , ϑ and on Υ × [ 0 , M ] × R × R , ϑ is a fixed number, H D 0 + , κ ; ( . ) is defined later in (2) where ϱ Υ , 0 < < 1 , 0 κ 1 and I 0 + 1 λ ( . ) is the -Riemann–Liouville stochastic fractional integral, where 0 λ < 1 , and Υ is defined in the next section. We consider a new space called the modular space, which was first introduced in 1950 by Nakano [3]. Later, Musielak and Orlicz generalized it in [4], and we also refer the reader to [5] for more information. In this article, we use a fixed point technique, and it is of interest to note that this technique in modular spaces is a generalization of the technique in classical spaces and, to date, nonlinear and asymptotic contractions maps, as well as quasi-contraction mappings in modular spaces, have been studied in the literature. The description of our article is as follows:
We introduce a new space called a modular space and we examine the existence and uniqueness of solutions of stochastic fractional Volterra IDE in this new space. Furthermore, in this article, we consider the aggregation function and use special functions as inputs to the aggregation function to create a control function that for the solution of the equation has the best approximation. Finally, we present a practical example to illustrate our theory.

2. Preliminaries

Here, we let Ξ 1 = [ 0 , M ] , with M > 0 , Ξ 2 = ( 0 , ) , Ξ 3 = ( 0 , 1 ] , Ξ 4 = [ 0 , ] and Ξ 5 = [ 0 , 1 ] (note Ξ 5 = ( 0 , 1 ) denotes the interior of Ξ 5 ).
Definition 1.
Consider the linear space S and ν from S × Ξ 2 to Ξ 2 such that
 (MI) 
ν τ ( ϖ ) = 0 for any τ Ξ 2 iff ϖ = 0 ;
(MII) 
ν τ ( a ϖ ) = ν τ | a | ( ϖ ) for each ϖ S , τ Ξ 2 and a R with a 0 ;
(MIII) 
ν τ + γ ( ϖ + ) ν τ ( ϖ ) + ν γ ( ) for all ϖ , S and τ , γ Ξ 2 ;
 (MIV) 
ν . ( ϖ ) : Ξ 2 Ξ 3 is continuous.
Then, ( S , ν ) is called a modular normed-space (in short, MNS).
Let ( S , ν ) be an MNS. A sequence { ϖ n } S is modular convergent to ϖ S in MNS ( S , ν ) , if for any ϵ Ξ 5 and τ Ξ 2 , there exists a positive integer N ϵ , τ Ξ 2 such that ν τ ( ϖ n ϖ ) < ϵ when n N ϵ , τ . A sequence { ϖ n } S is modular Cauchy in MNS ( S , ν ) , if for any ϵ Ξ 5 and τ Ξ 2 , there exists a positive integer N ϵ , τ Ξ 2 such that ν τ ( ϖ n ϖ m ) < ϵ whenever n , m N ϵ , τ . An MNS in which every Cauchy sequence is convergent is said to be an MBS.
An example of a modular norm is
ν τ ( ϖ ) = ϖ g ( τ ) ,
in which g : Ξ 2 Ξ 2 is a nondecreasing function for all τ Ξ 2 and ϖ is a member of a normed linear space ( W , . ) .
Consider the probability measure space ( Υ , Ξ 2 , Ξ ) , and let U , B U and S , B S be Borel measureable spaces, for MNS U and S. If { ϱ : F ( ϱ , ϖ ) B } Ξ 2 for every ϖ in U and B B S , we say F : Υ × U S is a random operator.
To prove our main result, we use an alternative fixed point theorem (AFPT) (we refer the reader to [6,7]).
Definition 2
([8]). The gamma function is defined as
λ ( z ) = 0 e z 1 d ,
where z C , R e ( z ) > 0 .
Consider Ξ 5 ˚ and the integrable random operator f on Ξ 1 and the nondecreasing random operator C 1 ( Υ × Ξ 1 ) with ( ϱ , ) 0 , for each Ξ 1 . The right-sided -Hilfer stochastic fractional derivative is defined by [9,10]
H D 0 + , s ; f ( ϱ , θ ) = I 0 + s ( 1 ) ; 1 ( ϱ , θ ) d d θ I 0 + ( 1 s ) ( 1 ) ; f ( ϱ , θ ) .
In the following, we present the definitions that are needed to obtain the control function (for more details, see [11]).
Definition 3.
The complex exponential function is defined as
E x p ( θ ) = ς = 0 θ ς Γ ( ς + 1 ) , θ C ,
Definition 4.
The generalized exponential function, which is called Mittag–Leffler function, is defined as
E t ( θ ) = ς = 0 θ ς θ ( 1 + t ς ) p C , R ( p ) > 0 , θ C ,
Definition 5.
The Gauss Hypergeometric series, which is called the Hypergeometric function, is defined as
E t s 1 , s 2 ( θ ) = Γ ( t ) Γ ( s 1 ) Γ ( s 2 ) ς = 0 Γ ( s 1 + ς ) Γ ( s 2 + ς ) Γ ( t + ς ) θ ς ς ! , s 1 , s 2 , t C , R ( s 1 ) , R ( s 2 ) , R ( t ) > 0 .
We can rewrite the above series via the Mellin–Barnes integral as
E t s 1 , s 2 ( θ ) = Γ ( t ) Γ ( s 1 ) Γ ( s 2 ) 1 2 π i Γ ( x ) Γ ( s 1 x ) Γ ( s 2 x ) Γ ( t x ) ( θ ) x d x .
Definition 6.
The Maitland function, which is called the Wright function, is defined as
E t s 1 ( θ ) = ς = 0 θ ς ς ! Γ ( s 1 ς + t ) , s 1 ( 1 , ) , t , θ C .
The generalized Wright function, which is called the Fox–Wright function, is defined as
E [ ( t 1 , T 1 ) , ( t 2 , T 2 ) , , ( t ı , T ı ) ] [ ( s 1 , S 1 ) , ( s 2 , S 2 ) , , ( s ζ , S ζ ) ] ( θ ) = ς = 0 j = 1 ζ Γ ( S j ς + s j ) j = 1 ı Γ ( T j ς + t j ) θ ς ς ! .
Definition 7.
For 0 γ 1 γ 2 , 1 γ 3 γ 4 , { x , y } C , { u , v } R + , we define the following functions
  • ψ 1 ( f ) = = 1 γ 1 Γ ( y v f ) ,
  • ψ 2 ( f ) = = 1 γ 3 Γ ( 1 x + u f ) ,
  • ψ 3 ( f ) = = γ 3 + 1 γ 3 Γ ( 1 y + v f ) ,
  • ψ 4 ( f ) = = γ 1 + 1 γ 2 Γ ( x u f ) .
In the above functions, γ 1 = 0 if and only if ψ 2 ( f ) = 1 , γ 3 = γ 4 if and only if ψ 3 ( z ) = 1 and γ 1 = γ 2 if and only if γ 4 ( f ) = 1 . According to the above functions, we consider H γ 2 , γ 4 γ 3 , γ 1 ( f ) = ψ 1 ( f ) ψ 2 ( f ) ψ 3 ( f ) ψ 4 ( f ) . The Mellin–Barnes integral (M-BI) representation of the H-Fox function (H-FF) is
H γ 2 , γ 4 γ 3 , γ 1 ( u ) = 1 2 π i A H γ 2 , γ 4 γ 3 , γ 1 ( f ) u f d f ,
where u f = exp { f ( log | u | + i arg u ) } and A C is a path. Furthermore, the symbol H γ 2 , γ 4 γ 3 , γ 1 ( u ) = H γ 2 , γ 4 γ 3 , γ 1 u | ( x , ϵ ) = 1 , , γ 2 ( y , ρ ) = 1 , , γ 2 is considered for this integral.
Now we introduce the aggregation function because, in this paper, we use this function as a control function.
Definition 8.
For a natural and fixed number k and J R , an aggregation function is a function A k : J k J , which is nondecreasing, that is, for all j [ 1 , , k ]
p j q j A k ( p 1 , , p k ) A k ( q 1 , , q k ) ,
hold for the desired k-tuples ( p 1 , , p k ) J k , ( q 1 , , q k ) J k .
The natural k represents the arity of the aggregation function when no confusion arises, and the aggregation function can be given as A .
Now we consider some examples of aggregation functions. The arithmetic, the geometric, the projection, the order statistic, the minimum and maximum, the median are aggregation functions.
Example 1.
The arithmetic mean function A M : R k R is defined by
A M ( p ) = 1 k j = 1 k p j .
Example 2.
The geometric mean function G M : R k R is defined by
G M ( p ) = ( j = 1 k p j ) 1 k .
Example 3.
The projection function P : R k R for [ k ] and ℑth argument is defined by
P ( p ) = p ,
where p ( ) is the ℑth lowest coordinate of p, i.e., p ( 1 ) p ( ) p ( k ) . Furthermore, the following functions show the PF in the first and last coordinates
P F ( p ) = P 1 ( p ) = p 1 , P L ( p ) = P k ( p ) = p p .
Example 4.
The order statistic function O S : R k R with the ℑth argument and ℑth lowest coordinate is defined by
O S ( p ) = p ( ) ,
for any [ k ] .
Example 5.
The minimum function and maximum function are defined as follows, respectively,
M I N ( p ) = j = 1 k p j , M A X ( p ) = j = 1 k p j .
Example 6.
The median function is defined for odd and even values of ( p 1 , , p 2 1 ) and ( p 1 , , p 2 ) , respectively,
M E D ( p 1 , , p 2 1 ) = p ( ) , M E D ( p 1 , , p 2 ) = AM ( p ( ) , p ( + 1 ) ) = p ( ) + p ( + 1 ) 2 .
According to the above functions, we consider the following set:
Δ = E x p ( θ τ ) , E p ( θ τ ) , E p m 1 , m 2 ( θ τ ) , E p m 1 ( θ τ ) , H γ 2 , γ 4 γ 3 , γ 1 ( θ τ ) ,
and the necessary calculations were performed on the considered set, and the results are shown in the table below.
From the calculations in Table 1, we consider the minimum function as the control function and define it as follows
φ τ ( θ ) = E x p ( θ τ ) , E p ( θ τ ) , E p m 1 , m 2 ( θ τ ) , E p m 1 ( θ τ ) , H γ 2 , γ 4 γ 3 , γ 1 ( θ τ ) .
In the following, after the table, in Figure 1, we provide a graphical representation of some aggregation functions.
Definition 9.
Consider the continuously differentiable random operator ( ϱ , θ ) and let φ τ ( θ ) be a modular control function satisfying
ν τ H D 0 + , κ ; ( ϱ , θ ) f ( ϱ , θ , ( ϱ , θ ) ) 0 θ k ( ϱ , θ , ϑ , ( ϱ , θ ) ) d ϑ φ τ ( θ ) ,
for each θ Ξ 1 , τ Ξ 2 and ϱ Υ . If there exists a solution 0 ( ϱ , θ ) of the VIDE (1) and a fixed number C > 0 with
ν τ ( ϱ , θ ) 0 ( ϱ , θ ) φ τ C ( θ ) ,
for all θ Ξ 1 , τ Ξ 2 and ϱ Υ , in which C is autonomous of ( ϱ , θ ) and 0 ( ϱ , θ ) , then we say that (1) has Hyers–Ulam–Rassias stability.

3. Main Results

We assume the following:
Hypothesis 1 (H1).
Let M , L f , L k > 0 be fixed numbers with M L f + L k Ξ 5 ˚ and let the CROs f : Υ × Ξ 1 × R R and k : Υ × Ξ 1 × Ξ 1 × R R satisfy
ν τ f ( ϱ , θ , 1 ) f ( ϱ , θ , 2 ) ν τ L f 1 2 ,
for all θ Ξ 1 , 1 , 2 R , τ Ξ 2 and ϱ Υ , and
ν τ k ( ϱ , θ , ϑ , 1 ) k ( ϱ , θ , ϑ , 2 ) ν τ L k 1 2 ,
for all θ , ϑ Ξ 1 , 1 , 2 R , τ Ξ 2 and ϱ Υ .
Theorem 1.
Assume ( H 1 ) , the nondecreasing random operator C ( Υ × Ξ 1 ) with ( ϱ , θ ) 0 and the continuously differentiable random operator : Υ × Ξ 1 R satisfying
ν τ H D 0 + , κ ; ( ϱ , θ ) f ( ϱ , θ , ( ϱ , θ ) ) 0 θ k ( ϱ , θ , ϑ , ( ϱ , ϑ ) ) d ϑ φ τ ( θ ) ,
for all θ , ϑ Ξ 1 , R , τ Ξ 2 and ϱ Υ , where φ : Ξ 1 × Ξ 2 Ξ 3 is a continuous modular set with
ν τ 1 λ ( ) 0 θ ( ϱ , ϖ ) ( ( ϱ , θ ) ( ϱ , ϖ ) ) 1 φ ( ϖ , τ ) d ϖ φ τ M θ ,
for each θ Ξ 1 , τ Ξ 2 and ϱ Υ . Then, we can find a unique CRO 0 : Υ × Ξ 1 R , such that
0 ( ϱ , θ ) = ( ( ϱ , θ ) ( ϱ , 0 ) ) λ 1 Γ ( λ ) ϑ + I 0 + ; f ( ϱ , θ , 0 ( ϱ , θ ) ) + I 0 + ; 0 ϖ k ( ϱ , θ , ϑ , 0 ( ϱ , ϑ ) ) d ϑ ,
with I 0 + 1 λ ; ( ϱ , 0 ) = ϑ , 0 < < 1 , 0 κ 1 and
ν τ ( ϱ , θ ) 0 ( ϱ , θ ) φ M τ 1 M L f + L k θ ,
for each θ Ξ 1 , τ Ξ 2 and ϱ Υ .
Proof. 
For , j U , we set
( , j ) = inf C Ξ 4 : ν τ ( ϱ , θ ) j ( ϱ , θ ) φ τ C θ ,
for each θ Ξ 1 , τ Ξ 2 and ϱ Υ , where
U = : Υ × Ξ 1 R is CRO .
Let Ω : U U be given by
Ω ( ϱ , θ ) = ( ( ϱ , θ ) ( ϱ , 0 ) ) λ 1 Γ ( λ ) ϑ + I 0 + ; f ( ϱ , θ , ( ϱ , θ ) ) + I 0 + ; 0 ϖ k ( ϱ , θ , ϑ , ( ϱ , ϑ ) ) d ϑ ,
for all Ξ 1 , θ Ξ 1 and ϱ Υ .
First we show Ω is strictly contractive on U. Let ( , j ) C j for any , j U , C j Ξ 4 be a fixed number, then from (19) we have
ν τ ( ϱ , θ ) j ( ϱ , θ ) φ τ C j θ ,
for each θ Ξ 1 , τ Ξ 2 and ϱ Υ . From (13), (14), (16), (20) and (21), we have
ν τ Ω ( ϱ , θ ) Ω j ( ϱ , θ ) = ν τ ( 1 Γ ( ) 0 θ ( ϱ , ϖ ) ( ( ϱ , θ ) ( ϱ , ϖ ) ) 1 ν τ ( f ( ϱ , ϖ , ( ϱ , ϖ ) ) f ( ϱ , ϖ , j ( ϱ , ϖ ) ) + 0 ϖ k ( ϱ , θ , ϑ , ( ϱ , ϑ ) ) k ( ϱ , θ , ϑ , j ( ϱ , ϑ ) ) d ϑ ) d ϖ ) ν τ ( 1 Γ ( ) 0 θ ( ϱ , ϖ ) ( ( ϱ , θ ) ( ϱ , ϖ ) ) 1 max { ν τ f ( ϱ , ϖ , ( ϱ , ϖ ) ) f ( ϱ , ϖ , j ( ϱ , ϖ ) ) , ν τ 0 ϖ k ( ϱ , θ , ϑ , ( ϱ , ϑ ) ) k ( ϱ , θ , ϑ , j ( ϱ , ϑ ) ) d ϑ } d ϖ ) ν τ ( 1 Γ ( ) 0 θ ( ϱ , ϖ ) ( ( ϱ , θ ) ( ϱ , ϖ ) ) 1 max { ν τ L f ( ϱ , ϖ ) j ( ϱ , ϖ ) , ν τ L k ( ϱ , ϖ ) j ( ϱ , ϖ ) } d ϖ ) ν τ 1 Γ ( ) 0 θ ( ϱ , ϖ ) ( ( ϱ , θ ) ( ϱ , ϖ ) ) 1 ν τ L f + L k ( ϱ , ϖ ) j ( ϱ , ϖ ) d ϖ ν τ 1 Γ ( ) 0 θ ( ϱ , ϖ ) ( ( ϱ , θ ) ( ϱ , ϖ ) ) 1 φ τ C j ( L f + L k ) ϖ d ϖ φ τ M C j ( L f + L k ) θ ,
and we conclude that
( Ω , Ω j ) φ τ M C j ( L f + L k ) ( θ ) ,
for all θ Ξ 1 and τ Ξ 2 . Hence, we deduce that ( Ω , Ω j ) [ M L f + L k ] ( , j ) for any , j U , and recall 0 < M L f + L k < 1 .
Now (20), enables us to find C Ξ 2 , with
ν τ Ω j 0 ( ϱ , θ ) j 0 ( ϱ , θ ) = ν τ ( ( ( ϱ , θ ) ( ϱ , 0 ) ) λ 1 Γ ( λ ) ϑ + I 0 + ; f ( ϱ , θ , j 0 ( ϱ , θ ) ) + I 0 + ; 0 ϖ f ( ϱ , θ , ϑ , j 0 ( ϱ , ϑ ) ) d ϑ j 0 ( ϱ , θ ) ) φ τ C ( θ ) ,
for arbitrary j 0 U , for all θ Ξ 1 , τ Ξ 2 and ϱ Υ . The boundedness property of
f ( ϱ , ϖ , j 0 ( ϱ , ϖ ) ) , k ( ϱ , θ , ϑ , j 0 ( ϱ , ϑ ) ) , j 0 ( ϱ , θ )
and (19) imply that ( Ω j 0 , j 0 ) < . From the AFPT, we can find a CRO 0 : Υ × Ξ 1 R such that Ω n 0 0 in ( U , ) and Ω 0 = 0 .
Since j and 0 are bounded on Ξ 1 for each j U and max θ Ξ 1 φ τ ( θ ) > 0 , then we have a fixed number C j Ξ 4 with
ν τ j 0 ( ϱ , θ ) j ( ϱ , θ ) φ τ C j θ ,
for any θ Ξ 1 , τ Ξ 2 and ϱ Υ . Thus ( j 0 , j ) < for any j U .
Therefore, U = { j U : ( j 0 , j ) < } . Furthermore, the AFPT and (17), imply the uniqueness of 0 .
Using (15) and (Theorem 5 in [9]), we have
ν τ ( ( ϱ , θ ) ( ( ϱ , θ ) ( ϱ , 0 ) ) λ 1 Γ ( λ ) ϑ I 0 + ; f ( ϱ , θ , ( ϱ , θ ) ) I 0 + ; 0 ϖ k ( ϱ , θ , ϑ , ( ϱ , ϑ ) ) d ϑ ) 1 Γ ( ) 0 θ ( ϱ , ϖ ) ( ( ϱ , θ ) ( ϱ , ϖ ) ) 1 φ τ ( ϖ ) d ϖ .
Then, from (16) and (20), we obtain
ν τ ( ϱ , θ ) Ω ( ϱ , θ ) 1 Γ ( ) 0 θ ( ϱ , ϖ ) ( ( ϱ , θ ) ( ϱ , ϖ ) ) 1 φ τ ( ϖ ) d ϖ φ τ M θ ,
for any θ Ξ 1 , τ Ξ 2 and ϱ Υ , which implies
( , Ω ) M .
From the AFPT and (23), we deduce that
( , 0 ) 1 1 M ( L f + L k ) ( Ω , ) M 1 M ( L f + L k ) ,
which implies (18). □
Theorem 2.
Consider , κ Ξ 5 ˚ and the nondecreasing random operator C 1 ( Υ × Ξ 1 ) with ( ϱ , θ ) 0 for all θ Ξ 1 . Let L f , L k Ξ 2 be fixed numbers such that L f + L k Γ ( + 1 ) Ξ 5 ˚ . Consider the CROs f : Υ × Ξ 1 × R R and k : Υ × Ξ 1 × Ξ 1 × R R satisfying (13) and (14), respectively. Let ε Ξ 5 ˚ , and consider the continuously differentiable random operator : Υ × Ξ 1 R such that
ν τ H D 0 + , κ ; ( ϱ , θ ) f ( ϱ , θ , ( ϱ , θ ) ) 0 θ k ( ϱ , θ , ϑ , ( ϱ , ϑ ) ) d ϑ φ τ ( ε ) ,
and
ν τ ( ( ϱ , θ ) ( ϱ , 0 ) ) ν τ θ ,
for all θ , ϑ Ξ 1 , R , τ Ξ 2 and ϱ Υ . Then, we can find a unique CRO 0 : Υ × Ξ 1 R satisfying (17) and
ν τ ( ϱ , θ ) 0 ( ϱ , θ ) ( ( ϱ , T ) ( ϱ , 0 ) ) φ τ ( ε ) Γ ( + 1 ) ( ( ϱ , T ) ( ϱ , 0 ) ) [ T L f + L k ] ,
for all θ Ξ 1 , R , τ Ξ 2 and ϱ Υ .
Proof. 
Let U = : Υ × Ξ 1 R is CRO . Consider the complete Ξ 4 -valued metric on U given by
( , j ) = inf C Ξ 4 : ν τ ( ϱ , θ ) j ( ϱ , θ ) τ τ + C ,
for each θ Ξ 1 , τ Ξ 2 and ϱ Υ [10].
Consider Ω : U U in which
Ω ( ϱ , θ ) = ( ( ϱ , θ ) ( ϱ , 0 ) ) λ 1 Γ ( λ ) ϑ + I 0 + ; f ( ϱ , θ , ( ϱ , θ ) ) + I 0 + ; 0 ϖ k ( ϱ , θ , ϑ , ( ϱ , ϑ ) ) d ϑ ,
for all θ Ξ 1 and ϱ Υ .
Let , j U and consider a fixed number C j Ξ 4 such that ( , j ) C j and
ν τ ( ϱ , θ ) j ( ϱ , θ ) τ τ + C j ,
for each θ Ξ 1 , τ Ξ 2 and ϱ Υ . Using (13), (14), (26) and (27), we have
ν τ Ω ( ϱ , θ ) Ω j ( ϱ , θ ) = ν τ ( 1 Γ ( ) 0 θ ( ϱ , ϖ ) ( ( ϱ , θ ) ( ϱ , ϖ ) ) 1 ν τ ( f ( ϱ , ϖ , ( ϱ , ϖ ) ) f ( ϱ , ϖ , j ( ϱ , ϖ ) ) + 0 ϖ k ( ϱ , θ , ϑ , ( ϱ , ϑ ) ) k ( ϱ , θ , ϑ , j ( ϱ , ϑ ) ) d ϑ ) d ϖ ) ν τ ( 1 Γ ( ) 0 θ ( ϱ , ϖ ) ( ( ϱ , θ ) ( ϱ , ϖ ) ) 1 max { ν τ f ( ϱ , ϖ , ( ϱ , ϖ ) ) f ( ϱ , ϖ , j ( ϱ , ϖ ) ) , ν τ 0 ϖ k ( ϱ , θ , ϑ , ( ϱ , ϑ ) ) k ( ϱ , θ , ϑ , j ( ϱ , ϑ ) ) d ϑ } d ϖ ) ν τ ( 1 Γ ( ) 0 θ ( ϱ , ϖ ) ( ( ϱ , θ ) ( ϱ , ϖ ) ) 1 max { ν τ L f ( ϱ , ϖ ) j ( ϱ , ϖ ) , ν τ L k ( ϱ , ϖ ) j ( ϱ , ϖ ) } d ϖ ) ν τ 1 Γ ( ) 0 θ ( ϱ , ϖ ) ( ( ϱ , θ ) ( ϱ , ϖ ) ) 1 ν τ L f + L k ( ϱ , ϖ ) j ( ϱ , ϖ ) d ϖ ν τ 1 Γ ( ) 0 θ ( ϱ , ϖ ) ( ( ϱ , θ ) ( ϱ , ϖ ) ) 1 τ L f + L k τ + C j d ϖ ν τ ( ( ϱ , θ ) ( ϱ , 0 ) ) τ Γ ( + 1 ) L f + L k Γ ( + 1 ) τ + C j ν τ ( ( ϱ , θ ) ( ϱ , 0 ) ) , τ τ L f + L k Γ ( + 1 ) τ + C j ν τ τ L f + L k Γ ( + 1 ) τ + C j θ ,
for each θ Ξ 1 , τ Ξ 2 and ϱ Υ . Therefore
( Ω , Ω j ) τ L f + L k Γ ( + 1 ) τ + C j ( , j ) ,
for each , j U and ϱ Υ . Let j 0 U . We can find a fixed number C Ξ 2 with
ν τ Ω j 0 ( ϱ , θ ) j 0 ( ϱ , θ ) = ν τ ( ( ( ϱ , θ ) ( ϱ , 0 ) ) λ 1 Γ ( λ ) ϑ + I 0 + ; f ( ϱ , θ , j 0 ( ϱ , θ ) ) + I 0 + ; 0 ϖ k ( ϱ , θ , ϑ , j 0 ( ϱ , ϑ ) ) d ϑ j 0 ( ϱ , θ ) ) τ τ + C ,
for all θ Ξ 1 and ϱ Υ .
The boundedness of
f ( ϱ , ϖ , j 0 ( ϱ , ϖ ) ) , a , k ( ϱ , θ , ϑ , j 0 ( ϱ , ϑ ) ) , j 0 ( ϱ , θ )
and (25), imply that ( Ω j 0 , j 0 ) < .
By the AFPT, we can find a CRO 0 : Υ × Ξ 1 R with Ω n j 0 0 in ( U , ) and Ω 0 = 0 , so 0 satisfies (17). By Theorem 1, we obtain { j U : ( j 0 , j ) < } = U . Furthermore, the AFPT and (17) imply the uniqueness of 0 .
Now, using (15) and (Theorem 5 in [9]), we have
ν τ Γ ( + 1 ) ( ( ϱ , T ) ( ϱ , 0 ) ) ( ( ϱ , θ ) ( ( ϱ , θ ) ( ϱ , 0 ) ) λ 1 Γ ( λ ) ϑ I 0 + ; f ( ϱ , θ , 0 ( ϱ , θ ) ) I 0 + ; 0 ϖ k ( ϱ , θ , ϑ , 0 ( ϱ , ϑ ) ) d ϑ ) φ τ ( ε ) ,
for all θ Ξ 1 and ϱ Υ , which implies
( , Ω ) φ τ ( ε ) ( ( ϱ , T ) ( ϱ , 0 ) ) Γ ( + 1 ) .
By the AFPT and (19), we deduce that
ν τ Γ ( + 1 ) ( ( ϱ , T ) ( ϱ , 0 ) ) [ L f + T 2 L k ] ( ( ϱ , T ) ( ϱ , 0 ) ) ( ϱ , θ ) 0 ( ϱ , θ ) φ τ ( ε ) ,
which implies (24) for all θ Ξ 1 . □

4. Example

Example 7.
We consider the stochastic fractional nonlinear Volterra-IDE:
H D 0 + 1 5 , 1 10 ; ( ϱ , θ ) = 0.5 ( sin 2 ( ( ϱ , θ ) ) + cos 2 ( ( ϱ , θ ) ) ) 0.02 ( ϱ + θ ) + 0 θ 0.03 ( sin 2 ( ( ϱ , θ ) ) + cos 2 ( ( ϱ , θ ) ) ) cos ( ϱ + θ + ϑ ) + 4 ϑ d ϑ , I 0 + 1 2 ( ϱ , 0 ) = ϑ
where = 1 5 , κ = 1 10 , λ = 1 2 , f ( ϱ , θ , ( ϱ , θ ) ) = 0.5 ( sin 2 ( ( ϱ , θ ) ) + cos 2 ( ( ϱ , θ ) ) ) 0.02 ( ϱ + θ ) , k ( ϱ , θ , ϑ , ( ϱ , θ ) ) = 0.03 ( sin 2 ( ( ϱ , θ ) ) + cos 2 ( ( ϱ , θ ) ) ) cos ( ϱ + θ + ϑ ) + 4 ϑ . Considering L f = 0.5 2 , L k = 0.03 2 and M = 0.08 , for functions f and k, we have
ν τ ( 0.5 ( sin 2 ( 1 ( ϱ , θ ) ) + cos 2 ( 1 ( ϱ , θ ) ) ) 0.02 ( ϱ + θ ) 0.5 ( sin 2 ( 2 ( ϱ , θ ) ) cos 2 ( 2 ( ϱ , θ ) ) ) + 0.02 ( ϱ + θ ) ) ν τ 0.5 2 1 2 ,
for all θ Ξ 1 , 1 , 2 R , τ Ξ 2 and ϱ Υ , and
ν τ ( 0.03 ( sin 2 ( 1 ( ϱ , θ ) ) + cos 2 ( 1 ( ϱ , θ ) ) ) cos ( ϱ + θ + ϑ ) 4 ϑ 0.03 ( sin 2 ( 2 ( ϱ , θ ) ) cos 2 ( 2 ( ϱ , θ ) ) ) cos ( ϱ + θ + ϑ ) + 4 ϑ ) ν τ 0.03 2 1 2 ,
for all θ , ϑ Ξ 1 , 1 , 2 R , τ Ξ 2 and ϱ Υ .
According to the function C ( Υ × Ξ 1 ) with ( ϱ , θ ) 0 , if we have
ν τ ( H D 0 + 1 5 , 1 10 ; ( ϱ , θ ) = 0.5 ( sin 2 ( ( ϱ , θ ) ) + cos 2 ( ( ϱ , θ ) ) ) 0.02 ( ϱ + θ ) + 0 θ 0.03 ( sin 2 ( ( ϱ , θ ) ) + cos 2 ( ( ϱ , θ ) ) ) cos ( ϱ + θ + ϑ ) + 4 ϑ d ϑ ) φ τ ( θ ) ,
for all θ , ϑ Ξ 1 , R , τ Ξ 2 and ϱ Υ , where φ : Ξ 1 × Ξ 2 Ξ 3 is a continuous modular set with
ν τ 1 λ ( ) 0 θ ( ϱ , ϖ ) ( ( ϱ , θ ) ( ϱ , ϖ ) ) 4 5 φ ( ϖ , τ ) d ϖ φ τ 0.08 θ ,
for each θ Ξ 1 , τ Ξ 2 and ϱ Υ , then, we can find a unique CRO 0 : Υ × Ξ 1 R , such that
0 ( ϱ , θ ) = ( ( ϱ , θ ) ( ϱ , 0 ) ) 1 2 Γ ( λ ) ϑ + I 0 + 1 5 ; 0.5 ( sin 2 ( 0 ( ϱ , θ ) ) + cos 2 ( 0 ( ϱ , θ ) ) ) 0.02 ( ϱ + θ ) + I 0 + 1 5 ; 0 ϖ 0.03 ( sin 2 ( 0 ( ϱ , θ ) ) + cos 2 ( 0 ( ϱ , θ ) ) ) cos ( ϱ + θ + ϑ ) + 4 ϑ d ϑ ,
with I 0 + 1 2 ; ( ϱ , 0 ) = ϑ , and
ν τ ( ϱ , θ ) 0 ( ϱ , θ ) φ 0.08 τ 0.9400373450 θ ,
where M L f + L k = 0.05996265503 , for each θ Ξ 1 , τ Ξ 2 and ϱ Υ .
In the following, we have shown the exact solution of Equation (28) in Figure 2.

5. Conclusions

In this paper, we have considered a nonlinear stochastic fractional Volterra integro-differential equation, and we have presented a modular stability result for it. We have investigated the stability in the considered space by introducing special functions and considering the aggregation function, and we have obtained the best approximation for the desired equation. An application of our results is also presented, and we have provided graphical representations for some important functions and solved examples. In future work, we hope to extend our results with a nonstandard finite difference scheme and spatio-temporal numerical modeling [2,12,13,14,15,16,17,18,19,20,21,22,23,24].

Author Contributions

A.A., methodology, writing—original draft preparation. Z.E., methodology, writing—original draft preparation. R.S., supervision and project administration. D.O., writing—original draft preparation and editing—original draft preparation. All authors read and approved the final manuscript.

Funding

This research received no external funding.

Data Availability Statement

Not applicable.

Acknowledgments

The authors are thankful to the editor and referees for giving valuable comments and suggestions.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Ahmadi, N.; Vahidi, A.R.; Allahviranloo, T. An efficient approach based on radial basis functions for solving stochastic fractional differential equations. Math. Sci. 2017, 11, 13–118. [Google Scholar] [CrossRef] [Green Version]
  2. Raza, A.; Arif, M.S.; Rafiq, M.; Bibi, M.; Fayyaz, R. Numerical analysis of stochastic vector borne plant disease model. Comput. Mater. Contin. 2020, 63, 65–83. [Google Scholar]
  3. Nakano, H. Modular Semi-Ordered Spaces; Maruzen Co., Ltd.: Tokyo, Japan, 1950. [Google Scholar]
  4. Musielak, J.; Orlicz, W. On modular space. Stud. Math. 1959, 18, 49–65. [Google Scholar] [CrossRef]
  5. Krasnoselskii, M.A.; Rutickii, Y.B. Convex Functions and Orlicz Spaces; Noordhoff, G., Translator; Fizmatgiz: Moscow, Russia, 1961. (In Russian) [Google Scholar]
  6. Cădariu, L.; Radu, V. Fixed points and the stability of Jensen’s functional equation. JIPAM J. Inequal. Pure Appl. Math 2003, 4, 4. [Google Scholar]
  7. Diaz, J.B.; Margolis, B. A fixed point theorem of the alternative, for contractions on a generalized complete metric space. Bull. Amer. Math. Soc. 1968, 74, 305–309. [Google Scholar] [CrossRef] [Green Version]
  8. Sousa, J.V.C.; de Oliveira, E.C. On a new operator in fractional calculus and applications. J. Fixed Point Theory Appl. 2018, 20, 96. [Google Scholar] [CrossRef]
  9. Sousa, J.V.d.C.; de Oliveira, E.C. On the Φ-Hilfer fractional derivative. Commun. Nonlinear Sci. Numer. Simul. 2018, 60, 72–91. [Google Scholar] [CrossRef]
  10. Sevgin, S.; Sevli, H. Stability of a nonlinear Volterra integro-differential equation via a fixed point approach. J. Nonlinear Sci. Appl. 2016, 9, 200–207. [Google Scholar] [CrossRef] [Green Version]
  11. Eidinejad, Z.; Saadati, R.; Mesiar, R. Optimum Approximation for ς-Lie Homomorphisms and Jordan ς-Lie Homomorphisms in ς-Lie Algebras by Aggregation Control Functions. Mathematics 2022, 10, 1704. [Google Scholar] [CrossRef]
  12. Ahmed, N.; Wei, Z.; Baleanu, D.; Rafiq, M.; Rehman, M.A. Spatio-temporal numerical modeling of reaction-diffusion measles epidemic system. Chaos 2019, 29, 103101. [Google Scholar] [CrossRef]
  13. Namjoo, M.; Zibaei, S. A NSFD scheme for the solving fractional-order competitive prey-predator system. Thai J. Math. 2020, 18, 1933–1945. [Google Scholar]
  14. Namjoo, M.; Zeinadini, M.; Zibaei, S. Nonstandard finite-difference scheme to approximate the generalized Burgers-Fisher equation. Math. Methods Appl. Sci. 2018, 41, 8212–8228. [Google Scholar] [CrossRef]
  15. Zibaei, S.; Namjoo, M. A nonstandard finite difference scheme for solving fractional-order model of HIV-1 infection of CD4+ T-cells. IJMC 2015, 6, 169–184. [Google Scholar]
  16. Baleanu, D.; Zibaei, S.; Namjoo, M.; Jajarmi, A. A nonstandard finite difference scheme for the modeling and nonidentical synchronization of a novel fractional chaotic system. Adv. Differ. Equ. 2021, 2021, 308. [Google Scholar] [CrossRef]
  17. Macías-Díaz, J.E.; Raza, A.; Ahmed, N.; Rafiq, M. Analysis of a nonstandard computer method to simulate a nonlinear stochastic epidemiological model of coronavirus-like diseases. Comput. Methods Programs Biomed. 2021, 204, 106054. [Google Scholar] [CrossRef]
  18. Nauman, A.; Macías-Díaz, J.E.; Raza, A.; Baleanu, D.; Rafiq, M.; Iqbal, Z.; Ahmad, M.O. Design, Analysis and Comparison of a Nonstandard Computational Method for the Solution of a General Stochastic Fractional Epidemic Model. Axioms 2021, 11, 10. [Google Scholar]
  19. Noor, M.A.; Raza, A.; Arif, M.S.; Rafiq, M.; Nisar, K.S.; Khan, I.; Abdelwahab, S.F. Non-standard computational analysis of the stochastic COVID-19 pandemic model: An application of computational biology. Alex. Eng. J. 2022, 61, 619–630. [Google Scholar] [CrossRef]
  20. Win, Z.T.; Eissa, M.A.; Tian, B. Stochastic epidemic model for COVID-19 transmission under intervention strategies in China. Mathematics 2022, 10, 3119. [Google Scholar] [CrossRef]
  21. Yasin, M.W.; Iqbal, M.S.; Ahmed, N.; Akgül, A.; Raza, A.; Rafiq, M.; Riaz, M.B. Numerical scheme and stability analysis of stochastic Fitzhugh–Nagumo model. Results Phys. 2022, 32, 105023. [Google Scholar] [CrossRef]
  22. Shatanawi, W.; Raza, A.; Arif, M.S.; Abodayeh, K.; Rafiq, M.; Bibi, M. Design of nonstandard computational method for stochastic susceptible–infected–treated–recovered dynamics of coronavirus model. Adv. Differ. Equ. 2020, 2020, 505. [Google Scholar] [CrossRef]
  23. Raza, A.; Rafiq, M.; Ahmed, N.; Khan, I.; Nisar, K.S.; Iqbal, Z. A structure preserving numerical method for solution of stochastic epidemic model of smoking dynamics. Comput. Mater. Contin. 2020, 65, 263–278. [Google Scholar] [CrossRef]
  24. Shatanawi, W.; Raza, A.; Muhammad, S.A.; Abodayeh, K.; Rafiq, M.; Bibi, M. An effective numerical method for the solution of a stochastic coronavirus (2019-nCovid) pandemic model. Comput. Mater. Contin. 2021, 66, 1121–1137. [Google Scholar] [CrossRef]
Figure 1. Graph of aggregate functions AM and GM for, τ = 2 and different values θ . (a) The aggregation arithmetic mean function for θ ( 3 2 , 10 3 ) . (b) The aggregation arithmetic mean function for θ ( 1.5 , 10.5 ) . (c) The aggregation geometric mean function for θ ( 0 , 10 ) .
Figure 1. Graph of aggregate functions AM and GM for, τ = 2 and different values θ . (a) The aggregation arithmetic mean function for θ ( 3 2 , 10 3 ) . (b) The aggregation arithmetic mean function for θ ( 1.5 , 10.5 ) . (c) The aggregation geometric mean function for θ ( 0 , 10 ) .
Algorithms 15 00459 g001
Figure 2. Graphic representation of the exact solution of Equation (28) for different values. (a) The exact solution of stochastic fractional nonlinear Volterra-IDE for θ ( 1 , 10 ) . (b) The exact solution of stochastic fractional nonlinear Volterra-IDE θ ( 1 10 , 15 4 ) .
Figure 2. Graphic representation of the exact solution of Equation (28) for different values. (a) The exact solution of stochastic fractional nonlinear Volterra-IDE for θ ( 1 , 10 ) . (b) The exact solution of stochastic fractional nonlinear Volterra-IDE θ ( 1 10 , 15 4 ) .
Algorithms 15 00459 g002
Table 1. Calculation of aggregation function according to special functions for different values.
Table 1. Calculation of aggregation function according to special functions for different values.
θ A M ( Δ ) G M ( Δ ) M A X ( Δ ) M I N ( Δ ) M E D ( Δ )
0.2 0.8080213850 0.1309431397 1.124151808 0.00005753566833 1.105170918
0.3 0.8643139212 0.1490999010 1.548626550 0.00008260506014 1.161834243
0.4 0.9247680550 0.1663238147 1.668199962 0.0001071434790 1.221402758
0.5 0.9898018722 0.1835845210 1.794667420 0.0001318755004 1.284025417
0.6 1.059899323 0.2013893746 1.928408155 0.0001573709088 1.349858808
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Ahadi, A.; Eidinejad, Z.; Saadati, R.; O’Regan, D. Modular Stability Analysis of a Nonlinear Stochastic Fractional Volterra IDE. Algorithms 2022, 15, 459. https://doi.org/10.3390/a15120459

AMA Style

Ahadi A, Eidinejad Z, Saadati R, O’Regan D. Modular Stability Analysis of a Nonlinear Stochastic Fractional Volterra IDE. Algorithms. 2022; 15(12):459. https://doi.org/10.3390/a15120459

Chicago/Turabian Style

Ahadi, Azam, Zahra Eidinejad, Reza Saadati, and Donal O’Regan. 2022. "Modular Stability Analysis of a Nonlinear Stochastic Fractional Volterra IDE" Algorithms 15, no. 12: 459. https://doi.org/10.3390/a15120459

APA Style

Ahadi, A., Eidinejad, Z., Saadati, R., & O’Regan, D. (2022). Modular Stability Analysis of a Nonlinear Stochastic Fractional Volterra IDE. Algorithms, 15(12), 459. https://doi.org/10.3390/a15120459

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop