- Research
- Open access
- Published:
Best approximation of \((\mathcal{G}_{1},\mathcal{G}_{2})\)-random operator inequality in matrix Menger Banach algebras with application of stochastic Mittag-Leffler and \(\mathbb{H}\)-Fox control functions
Journal of Inequalities and Applications volume 2022, Article number: 10 (2022)
Abstract
We stabilize pseudostochastic \((\mathcal{G}_{1},\mathcal{G}_{2})\)-random operator inequality using a class of stochastic matrix control functions in matrix Menger Banach algebras. We get an approximation for stochastic \((\mathcal{G}_{1},\mathcal{G}_{2})\)-random operator inequality by means of both direct and fixed point methods. As an application, we apply both stochastic Mittag-Leffler and \(\mathbb{H}\)-fox control functions to get a better approximation in a random operator inequality.
1 Introduction and preliminaries
The theory of special functions, such as Mittag-Leffler function, hypergeometric function, Wright function, \(\mathbb{H}\)-Fox function, and so on, encircles a significant segment of mathematics. In recent centuries, the necessity of solving problems taking place in various fields of science motivated the advancement of the theory of special functions. These functions have extensive applications in a variety of different fields, together with material science and engineering science, biology, chemistry, mathematical physics, and both applied and pure mathematics. The interested readers can review the literature [1–4].
In 1903, the Swedish mathematician Gosta Mittag-Leffler presented a generalization of the exponential function and introduced some properties of this function. In 1905, Wiman introduced its general form. Mittag-Leffler function naturally appears as the solution of fractional order integro-differential equations and particularly in the investigations of electric networks, random walks, fluid flow, superdiffusive transport, the fractional generalization of the kinetic equation, diffusive transport akin to diffusion, and in the study of complex systems. During the last 20 years, the interest in Mittag-Leffler function has remarkably increased among scientists and engineers, owing to it wide potential in applications. We suggest the readers to consult the literature [5, 6].
In 1961, Charles Fox presented a generalization of the Meijer G-function and the Fox–Wright function. \(\mathbb{H}\)-Fox function is defined by a Mellin–Barnes integral in the context of symmetrical Fourier kernels. It has a number of great applications, most notably in fractional calculus and statistics. Also, it plays a significant role in a wide range of response-related topics, like reaction–diffusion, theoretical physics, and mathematical probability theory. For more details, see [7, 8].
In [9], the authors introduced and applied the following additive (\(\rho _{1}\), \(\rho _{2}\))-functional inequalities in complex Banach spaces:
in which \(\rho _{1}\), \(\rho _{2}\) are fixed nonzero complex numbers with \(\vert \rho _{1}\vert +\vert \rho _{2}\vert <2\).
Here, we introduce a class of stochastic matrix control functions and apply them to approximate the following pseudostochastic additive \((\mathcal{G}_{1},\mathcal{G}_{2})\)-random operator inequalities in matrix Menger Banach algebras:
where \(0\neq \mathcal{G}_{1},\mathcal{G}_{2}\in \mathbb{C}\) are fixed and \(\max \{|\mathcal{G}_{1}|,|\mathcal{G}_{2}|\}<2\).
Now, let \(\mho =[0,1]\) and
We denote \({\boldsymbol{\mathfrak{M}}}:=\operatorname{diag}[\mathfrak{M}_{1},\dots , \mathfrak{M}_{n}]\preceq {\boldsymbol{\mathfrak{N}}}:=\operatorname{diag}[ \mathfrak{N}_{1},\dots ,\mathfrak{N}_{n}]\) if \(\mathfrak{M}_{i}\leq \mathfrak{N}_{i}\) for any \(1\leq i\leq n\), and note that and .
Next, we define a generalized t-norm on \(\operatorname{diag}\mathsf{N}_{n}(\mho )\).
Definition 1.1
([10])
A generalized t-norm on \(\operatorname{diag}\mathsf{N}_{n}(\mho )\) is an operation \(\odot : \operatorname{diag}\mathsf{N}_{n}(\mho )\times \operatorname{diag}\mathsf{N}_{n}(\mho ) \to \operatorname{diag} \mathsf{N}_{n}(\mho )\) satisfying the following conditions:
-
(1)
\((\forall {\boldsymbol{\mathfrak{M}}} \in \operatorname{diag}\mathsf{N}_{n}( \mho )) ( {\boldsymbol{\mathfrak{M}}}\odot \textbf{1})={\boldsymbol{\mathfrak{M}}})\) (boundary condition);
-
(2)
\((\forall ({\boldsymbol{\mathfrak{M}}},{\boldsymbol{\mathfrak{N}}})\in ( \operatorname{diag}\mathsf{N}_{n}(\mho ))^{2}) ( {\boldsymbol{\mathfrak{M}}} \odot {\boldsymbol{\mathfrak{N}}} = {\boldsymbol{\mathfrak{N}}}\odot {\boldsymbol{\mathfrak{M}}} )\) (commutativity);
-
(3)
\((\forall ({\boldsymbol{\mathfrak{M}}},{\boldsymbol{\mathfrak{N}}},{\boldsymbol{\mathfrak{I}}}) \in (\operatorname{diag}\mathsf{N}_{n}(\mho )^{3}) ( {\boldsymbol{\mathfrak{M}}}\odot ({\boldsymbol{\mathfrak{N}}}\odot {\boldsymbol{\mathfrak{I}}}) = ({ \boldsymbol{\mathfrak{M}}}\odot {\boldsymbol{\mathfrak{N}}})\odot {\boldsymbol{\mathfrak{I}}} )\) (associativity);
-
(4)
\((\forall ({\boldsymbol{\mathfrak{M}}},{\boldsymbol{\mathfrak{M}}}^{\prime }, \boldsymbol{\mathfrak{N}},\boldsymbol{\mathfrak{N}}^{\prime })\in ( \operatorname{diag}\mathsf{N}_{n}(\mho ^{4}) ({\boldsymbol{\mathfrak{M}}} \preceq {\boldsymbol{\mathfrak{M}}}^{\prime } \text{ and } \boldsymbol{\mathfrak{N}}\preceq \boldsymbol{\mathfrak{N}}^{\prime } \Longrightarrow {\boldsymbol{\mathfrak{M}}} \odot {\boldsymbol{\mathfrak{N}}} \preceq { \boldsymbol{\mathfrak{M}}}^{\prime }\odot {\boldsymbol{\mathfrak{N}}}^{\prime } \) (monotonicity).
For every \(\boldsymbol{\mathfrak{M}}, \boldsymbol{\mathfrak{N}} \in \operatorname{diag}\mathsf{N}_{n}(\mho )\) and all sequences \(\{\boldsymbol{\mathfrak{M}}_{k}\}\) and \(\{\boldsymbol{\mathfrak{N}}_{k}\}\) converging to \(\boldsymbol{\mathfrak{M}}\) and \(\boldsymbol{\mathfrak{N}}\), respectively, if we have
then ⊙ on \(\operatorname{diag}\mathsf{N}_{n}(\mho )\) is continuous, see [11, 12]. Consider the following examples of a continuous generalized t-norm:
-
(1)
Let \(\odot _{P} : \operatorname{diag}\mathsf{N}_{n}(\mho )\times \operatorname{diag}\mathsf{N}_{n}(\mho ) \to \operatorname{diag} \mathsf{N}_{n}(\mho )\) such that
$$ {\boldsymbol{\mathfrak{M}}}\odot _{P} {\boldsymbol{\mathfrak{N}}}= \operatorname{diag}[ \mathfrak{M}_{1},\dots ,\mathfrak{M}_{n}] \odot _{P} \operatorname{diag}[\mathfrak{N}_{1},\dots ,\mathfrak{N}_{n}] = \operatorname{diag}[\mathfrak{M}_{1}. \mathfrak{N}_{1},\dots , \mathfrak{M}_{n}. \mathfrak{N}_{n}]. $$Then \(\odot _{P}\) is a continuous generalized t-norm.
-
(2)
Let \(\odot _{M} : \operatorname{diag}\mathsf{N}_{n}(\mho )\times \operatorname{diag}\mathsf{N}_{n}(\mho ) \to \operatorname{diag} \mathsf{N}_{n}(\mho )\) such that
$$\begin{aligned} {\boldsymbol{\mathfrak{M}}}\odot _{M} {\boldsymbol{\mathfrak{N}}} =& \operatorname{diag}[ \mathfrak{M}_{1},\dots ,\mathfrak{M}_{n}] \odot _{M} \operatorname{diag}[\mathfrak{N}_{1},\dots ,\mathfrak{N}_{n}] \\ =& \operatorname{diag}\bigl[\min \{ \mathfrak{M}_{1},\mathfrak{N}_{1}\}, \dots ,\min \{ \mathfrak{M}_{n},\mathfrak{N}_{n}\}\bigr]. \end{aligned}$$Then \(\odot _{M}\) is a continuous generalized t-norm.
-
(3)
Let \(\odot _{L} : \operatorname{diag}\mathsf{N}_{n}(\mho )\times \operatorname{diag}\mathsf{N}_{n}(\mho ) \to \operatorname{diag} \mathsf{N}_{n}(\mho )\) such that
$$\begin{aligned} {\boldsymbol{\mathfrak{M}}}\odot _{L} {\boldsymbol{\mathfrak{N}}} =& \operatorname{diag}[\mathfrak{M}_{1},\dots ,\mathfrak{M}_{n}] \odot _{L} \operatorname{diag}[\mathfrak{N}_{1},\dots ,\mathfrak{N}_{n}] \\ =&\operatorname{diag}\bigl[\max \{\mathfrak{M}_{1}+ \mathfrak{N}_{1}-1,0 \},\dots ,\max \{\mathfrak{M}_{n}+ \mathfrak{N}_{n}-1,0\}\bigr]. \end{aligned}$$Then \(\odot _{L}\) is a continuous generalized t-norm.
Furthermore, we present some numerical examples and compare the results:
Also, since
we get
Consider \(\mathcal{E}^{+}\), the set of matrix distribution functions, including left continuous and increasing maps \(\Phi :{\mathbb{R}} \cup \{-\infty ,\infty \} \to \operatorname{diag} \mathsf{N}_{n}(\mho )\) such that \(\Phi _{0}={\mathbf{0}}\) and \(\Phi _{+\infty }={\mathbf{1}}\). Now \(\Delta ^{+}\subseteq \mathcal{E}^{+}\) are all (proper) mappings \(\Phi \in \mathcal{E}^{+}\) for which \(\ell ^{-}\Phi _{\Theta }=\lim_{\sigma \to \Theta ^{-}}\Phi _{\sigma }={ \mathbf{1}}\). Notice that proper matrix distribution functions are the matrix distribution functions of real random variables q such that \(P(|q|=\infty )=0\).
On \(\mathcal{E}^{+}\), we define “⪯” as follows:
Also
belongs to \(\mathcal{E}^{+}\) and for any matrix distribution function Φ, \(\Phi \preceq \nabla ^{0}\) [11, 13–15]. For example,
is a matrix distribution function in \(\operatorname{diag}M_{3}(\mho )\). Notice that \(\Phi _{\Theta }=\operatorname{diag}[\Phi _{1,\Theta },\dots ,\Phi _{n, \Theta }]\), where \(\Phi _{i,\Theta }\) are distribution functions, is a matrix distribution function.
Definition 1.2
Let \(\mathbb{S}\) be a linear space, ⊙ be a continuous generalized t-norm, and \(\Phi :\mathbb{S}\to \Delta ^{+}\) be a matrix distribution function. The triple \((\mathbb{S},\Phi ,\odot )\) is said to be a matrix Menger normed space if we have
(D-1) \(\Phi ^{s}_{\Theta }=\nabla ^{0}_{\Theta }\) for any \(\Theta >0\) if and only if \(s=0\);
(D-2) \(\Phi ^{\rho s}_{\Theta }=\Phi ^{s}_{\frac{\Theta }{|\rho |}}\) for all \(s\in \mathbb{S}\) and \(\rho \in \mathbb{C}\) with \(\rho \neq 0\);
(D-3) \(\Phi ^{s+s'}_{\Theta +\varrho }\succeq \Phi ^{s}_{\Theta }\odot \Phi ^{s'}_{\varrho }\) for all \(s,s'\in \mathbb{S}\) and \(\Theta ,\varrho \geq 0\).
For example, the matrix distribution function Φ given by
is a matrix Menger norm and \((\mathbb{S},\Phi ,\odot _{M})\) and \((\mathbb{S},\|\cdot \|)\) are a matrix Menger normed space and a linear normed space, respectively.
Definition 1.3
Let \((\mathbb{S},\Phi ,\odot )\) be a matrix Menger normed space and ⊙, ⊘ be continuous generalized t-norms. If
(D-4) \(\Phi ^{ss'}_{\Theta \Theta ^{\prime }}\succeq \Phi ^{s}_{\Theta } \odot \Phi ^{s'}_{\Theta ^{\prime }}\) for any \(s,s'\in \mathbb{S}\) and any \(\Theta ^{\prime },\Theta >0 \),
then \((\mathbb{S},\Phi ,\odot ,\oslash )\) is called a matrix Menger normed algebra.
If
then with
\((\mathbb{S},\Phi ,\odot _{M},\odot _{P})\) is a matrix Menger normed algebra, and vice versa. A complete matrix Menger normed algebra is called a matrix Menger Banach algebra.
Consider matrix Menger Banach algebras \(\Omega _{1}\) and \(\Omega _{2}\). Let \((\mathcal{J}, \Pi , \Phi )\) be a probability measure space. Let \((\Omega _{1},{\mathfrak{B}}_{\Omega _{1}})\) and \((\Omega _{2},\mathfrak{B}_{\Omega _{2}})\) be Borel measurable spaces. Then a map \(\mathcal{Q}:\mathcal{J}\times \Omega _{1}\to \Omega _{2}\) is a random operator if \(\{j:\mathcal{Q}(j,\mathsf{S})\in \mathcal{C}\}\in \Pi \) for all S in \(\Omega _{1}\) and \(\mathcal{C}\in \mathfrak{B}_{\Omega _{2}}\). Also \(\mathcal{Q}\) is linear if
and \(\mathcal{Q}\) is bounded if there is a \(\mathsf{Q}(j)>0\) such that
Theorem 1.4
([16])
Consider a complete generalized metric space \((\xi , \zeta )\) and a strictly contractive function \(\mathfrak{L}: \xi \rightarrow \xi \) with Lipschitz constant \(\mathfrak{P} <1\). Then, for every given element \(j\in \xi \), either
for each \(\imath \in \mathbb{N}\) or there is \(\imath _{0}\in \mathbb{N}\) such that
-
(1)
\(\zeta (\mathfrak{L}^{\imath }j, \mathfrak{L}^{\imath +1}j) <\infty \), \(\forall m\ge m_{0}\);
-
(2)
the limit point of the sequence \(\{\mathfrak{L}^{\imath }j\}\) is the fixed point \(\mathfrak{Z}^{*}\) of \(\mathfrak{L}\);
-
(3)
\(\mathfrak{Z}^{*}\) is the unique fixed point of \(\mathfrak{L}\) in the set \(\mathsf{D} = \{\mathfrak{Z}\in \xi \mid \zeta (\mathfrak{L}^{\imath _{0}} j, \mathfrak{Z}) <\infty \}\);
-
(4)
\((1-\mathfrak{P})\zeta (\mathfrak{Z}, \mathfrak{Z}^{*}) \le \zeta ( \mathfrak{Z}, \mathfrak{L}\mathfrak{Z})\) for every \(\mathfrak{Z} \in \mathsf{D}\).
2 Direct method approximation of inequality (1.1)
In this section, we improve and get a generalization of results in [9] yielding a better approximation (see also [17–28]).
Lemma 2.1
Suppose that \(\mathcal{Q} : \mathcal{J}\times \Omega _{1} \rightarrow \Omega _{2}\) is a random operator satisfying (1.1) for each \(\mathsf{S},\mathsf{R},\mathsf{A}\in \Omega _{1}\) and \(j\in \mathcal{J}\). Then \(\mathcal{Q}:\mathcal{J}\times \Omega _{1}\rightarrow \Omega _{2}\) is additive.
Proof
Putting \(\mathsf{S}=\mathsf{R}=\mathsf{A}=0\) in (1.1), we have
and so
since \(\max \{\vert \mathcal{G}_{1}\vert , \vert \mathcal{G}_{2}\vert \}<2 \), \(\mathcal{Q}(j,0)=0 \) for each \(j\in \mathcal{J} \).
Now, putting \(\mathsf{R}=0 \) in (1.1), we have
and
or \(\mathcal{Q}(j,\mathsf{S}+\mathsf{A}) =\mathcal{Q}(j,\mathsf{S})+ \mathcal{Q}(j,\mathsf{A}) \) for all \(\mathsf{S},\mathsf{A}\in \Omega _{1} \), since \(\vert \mathcal{G}_{1}\vert <2\). So \(\mathcal{Q} \) is additive. □
Theorem 2.2
Suppose the following assumptions hold:
-
\((\Omega _{1},\Phi ,\odot _{M},\oslash _{M})\) is a matrix Menger Banach algebra,
-
\(\phi :\Omega _{1}^{3}\rightarrow \Delta ^{+} \) is a matrix distribution function,
-
there exists a \(\mathfrak{P}<1\) such that \(\phi ^{\frac{\mathsf{S}}{2},\frac{\mathsf{R}}{2}, \frac{\mathsf{A}}{2}}_{\Theta }\succeq \phi ^{\mathsf{S},\mathsf{R}, \mathsf{A}}_{\frac{2\Theta }{\mathfrak{P}}}\) for all \(\mathsf{S},\mathsf{R},\mathsf{A}\in \Omega _{1}\) and \(\Theta >0\),
-
for all \(\mathsf{S},\mathsf{R},\mathsf{A}\in \Omega _{1}\) and \(\Theta >0\),
$$ \lim_{n\to \infty }\phi ^{\frac{\mathsf{S}}{2^{n}}, \frac{\mathsf{R}}{2^{n}},\frac{\mathsf{A}}{2^{n}}}_{ \frac{\Theta }{2^{n}}}= \nabla ^{0}_{\Theta }, $$(2.3) -
the random operator \(\mathcal{Q}:\mathcal{J}\times \Omega _{1}\rightarrow \Omega _{2}\) satisfies \(\mathcal{Q}(j,0)=0\) and
$$\begin{aligned}& \Phi ^{ \mathcal{Q}(j,\mathsf{S}+\mathsf{R}+\mathsf{A}) - \mathcal{Q}(j,\mathsf{S}) - \mathcal{Q}(j,\mathsf{R}) -\mathcal{Q}(j, \mathsf{A})}_{\Theta } \\& \quad \succeq \Phi ^{\mathcal{G}_{1} [\mathcal{Q} (j,\mathsf{S}+ \mathsf{A}) - \mathcal{Q}(j,\mathsf{S}) - \mathcal{Q}(j,\mathsf{A})]}_{ \Theta } \odot _{M} \Phi ^{\mathcal{G}_{2}[\mathcal{Q}(j,\mathsf{R}+ \mathsf{A}) - \mathcal{Q}(j,\mathsf{R} )- \mathcal{Q}(j,\mathsf{A} )]}_{ \Theta } \odot _{M} \phi ^{\mathsf{S},\mathsf{R},\mathsf{A}}_{\Theta } , \end{aligned}$$(2.4)for all \(\mathsf{S},\mathsf{R},\mathsf{A}\in \Omega _{1}\), \(j\in \mathcal{J,}\) and \(\Theta >0\).
Then we can find a unique additive random operator \(\mathcal{V} :\mathcal{J}\times \Omega _{1} \rightarrow \Omega _{2}\) such that
for all \(\mathsf{S},\mathsf{R},\mathsf{A}\in \Omega _{1}\), \(j\in \mathcal{J,}\) and \(\Theta >0\).
Proof
Putting \(\mathsf{A}=0\) and \(\mathsf{S}=\mathsf{R}\) in (2.4), we get
for all \(\mathsf{S}\in \Omega _{1}\), \(j\in \mathcal{J,}\) and \(\Theta >0\). Thus
for all \(\mathsf{S} \in \Omega _{1}\), \(j\in \mathcal{J,}\) and \(\Theta >0\). Replacing S by \(\frac{\mathsf{S}}{2^{n}}\) in (2.7), we get
It follows from
and (2.8) that
for all \(\mathsf{S}\in \Omega _{1}\), \(j\in \mathcal{J}\), \(\Theta >0\). That is,
Replacing S with \({\frac{\mathsf{S}}{2^{m}}}\) in (2.9), we get
Since \(\phi ^{\mathsf{S},\mathsf{S},0}_{ \frac{\Theta }{\sum _{k=m+1}^{n+m}\frac{\mathfrak{P}^{k}}{2}}}\) tends to \(\nabla ^{0}_{\Theta }\) as \(n,m\to \infty \), we conclude that the sequence \(\{2^{n} \mathcal{Q}(j,\frac{\mathsf{S}}{2^{n}} )\}\) is Cauchy for all \(\mathsf{S} \in \Omega _{1}\), \(j\in \mathcal{J}\). Since \(\Omega _{2}\) is a matrix Menger Banach algebra, the sequence \(\{2^{n} \mathcal{Q}(j,\frac{\mathsf{S}}{2^{n}} )\}\) is convergent. Consider the random operator \(\mathcal{V} :\mathcal{J}\times \Omega _{1}\rightarrow \Omega _{2}\) defined by
for all \(\mathsf{S} \in \Omega _{1}\), \(j\in \mathcal{J}\). Putting \(m =0\) and letting \(n \to \infty \) in (2.10), we obtain
for all \(\mathsf{S} \in \Omega _{1}\), \(j\in \mathcal{J,}\) and \(\Theta >0\).
Now, (2.4) implies that
for all \(\mathsf{S},\mathsf{R},\mathsf{A}\in \Omega _{1}\), \(j\in \mathcal{J}\), \(\Theta >0\), since \(\phi ^{\frac{x}{2^{n}},\frac{\mathsf{S}}{2^{n}},0}_{ \frac{\Theta }{2^{n}}} \) tends to \(\nabla ^{0}_{\Theta }\) as \(n \to \infty \). Thus
for all \(\mathsf{S},\mathsf{R},\mathsf{A}\in \Omega _{1}\), \(j\in \mathcal{J}\), \(\Theta >0\). Lemma 2.1 implies that the random operator \(\mathcal{V} :\mathcal{J}\times \Omega _{1}\rightarrow \Omega _{2}\) is stochastic additive.
Now, to prove the uniqueness of the random operator \(\mathcal{V}\), suppose that there exists a stochastic additive random operator \(\mathcal{V}^{\prime }:\mathcal{J}\times \Omega _{1} \rightarrow \Omega _{2}\) which satisfies (2.5). Then
Since \(\lim_{n\to \infty }\frac{2(1-\mathfrak{P})}{\mathfrak{P}^{n+1}}= \infty \), we get that \(\phi ^{\mathsf{S},\mathsf{S},0}_{ \frac{2(1-\mathfrak{P})\Theta }{\mathfrak{P}^{n+1}}}\) tends to \(\nabla ^{0}_{\Theta }\) as \(n \to \infty \).
Thus we conclude that \(\Phi ^{ 2^{n}\mathcal{V} (j,\frac{\mathsf{S}}{2^{n}} ) - 2^{n} \mathcal{V}^{\prime } (j,\frac{\mathsf{S}}{2^{n}} )}_{ \Theta }=1\) for all \(\mathsf{S}\in \Omega _{1}\), \(j\in \mathcal{J}\), \(\Theta >0\). So \(\mathcal{V}(j,\mathsf{S})=\mathcal{V}^{\prime }(j,\mathsf{S})\) for all \(\mathsf{S} \in \Omega _{1}\), and \(j\in \mathcal{J}\). □
Theorem 2.3
Suppose \((\Omega _{1},\Phi ,\odot _{M},\oslash _{M})\) is a matrix Menger Banach algebra and \(\phi :\Omega _{1}^{3}\rightarrow \Delta ^{+} \) is a matrix distribution function such that there exists a \(\mathfrak{P}<1\) with \(\phi ^{\mathsf{S},\mathsf{R},0}_{\Theta }\succeq \phi ^{ \frac{\mathsf{S}}{2},\frac{\mathsf{R}}{2},0}_{ \frac{\Theta }{2\mathfrak{P}}}\) for all \(\mathsf{S},\mathsf{R}\in \Omega _{1}\), \(\lim_{n\to \infty }\phi ^{2^{n}\mathsf{S},2^{n}\mathsf{R},0}_{2^{n} \Theta }=\nabla ^{0}_{\Theta }\) for any \(\mathsf{S},\mathsf{R}\in \Omega _{1}\), \(\Theta >0\). Assume that a random operator \(\mathcal{Q}:\mathcal{J}\times \Omega _{1}\rightarrow \Omega _{2}\) satisfies (2.4) and \(\mathcal{Q}(j,\mathsf{S})=0\) for all \(\mathsf{S},\mathsf{R}\in \Omega _{1}\) and \(j \in \mathcal{J}\). Then there exists a unique additive random operator \(\mathcal{V} :\mathcal{J}\times \Omega _{1} \rightarrow \Omega _{2}\) such that
for all \(\mathsf{S} \in \Omega _{1}\), \(j\in \mathcal{J,}\) and \(\Theta >0\).
Proof
Putting \(\mathsf{A}=0\) and \(\mathsf{S}= \mathsf{R}\) in (2.4), we have
for all \(\mathsf{S} \in \Omega _{1}\), \(j\in \mathcal{J,}\) and \(\Theta >0\). Thus
for all \(\mathsf{S} \in \Omega _{1}\), \(j\in \mathcal{J,}\) and \(\Theta >0\). Replacing S by \(2^{n}\mathsf{S}\) in (2.14), we have
From
and (2.15), we get
for each \(\mathsf{S} \in \Omega _{1}\), \(j\in \mathcal{J,}\) and \(\Theta >0\). That is,
Replacing S by \({2^{m}\mathsf{S}}\) in (2.16), we get
As \(m,n\to \infty \), \(\phi ^{\mathsf{S},\mathsf{S},0}_{ \frac{\Theta }{\sum _{k=m}^{n+m}\frac{(2\mathfrak{P})^{k}}{2\times 2^{k}}}}\) tends to \(\nabla ^{0}_{\Theta }\). It implies that the sequence \(\{\frac{1}{2^{n}}\mathcal{Q}(j,2^{n}\mathsf{S} )\}\) is Cauchy for any \(\mathsf{S} \in \Omega _{1}\) and \(j\in \mathcal{J}\). Since \(\Omega _{2}\) is a matrix Menger Banach algebra, the sequence \(\{\frac{1}{2^{n}}\mathcal{Q}(j,2^{n}\mathsf{S} )\}\) converges.
Now, we determine the random operator \(\mathcal{V} :\mathcal{J}\times \Omega _{1}\rightarrow \Omega _{2}\) as follows:
for each \(\mathsf{S} \in \Omega _{1}\) and \(j\in \mathcal{J}\). Putting \(m =0\) and letting \(n \to \infty \) in (2.17), we get
for all \(\mathsf{S}\in \Omega _{1}\), \(j\in \mathcal{J,}\) and \(\Theta >0\). Using Theorem 2.2 completes the proof. □
3 Fixed point method for approximating inequality (1.1)
We use the fixed point technique to get an approximation of the additive \((\mathcal{G}_{1}, \mathcal{G}_{2})\)-random operator inequality (1.1) in matrix Menger Banach algebras.
Theorem 3.1
Suppose the following assumptions hold:
-
\((\Omega _{1},\Phi ,\odot _{M},\oslash _{M})\) is a matrix Menger Banach algebra,
-
\(\phi :\Omega _{1}^{3}\rightarrow \Delta ^{+} \) is a matrix distribution function, satisfying (2.3) for all \(\mathsf{S},\mathsf{R},\mathsf{A}\in \Omega _{1}\), and \(\Theta >0\),
-
there exists a \(\mathfrak{P}<1\), such that \(\phi ^{\frac{\mathsf{S}}{2},\frac{\mathsf{R}}{2}, \frac{\mathsf{A}}{2}}_{\Theta }\succeq \phi ^{\mathsf{S},\mathsf{R}, \mathsf{A}}_{\frac{2\Theta }{\mathfrak{P}}}\) for all \(\mathsf{S},\mathsf{R},\mathsf{A}\in \Omega _{1}\) and \(\Theta >0\),
-
the random operator \(\mathcal{Q}:\mathcal{J}\times \Omega _{1}\rightarrow \Omega _{2}\) satisfies \(\mathcal{Q}(j,0)=0\) and (2.4) for all \(\mathsf{S},\mathsf{R},\mathsf{A}\in \Omega _{1}\), \(j\in \mathcal{J,}\) and \(\Theta >0\),
Then we can find a unique additive random operator \(\mathcal{V} :\mathcal{J}\times \Omega _{1} \rightarrow \Omega _{2}\) satisfying (2.5) for all \(\mathsf{S},\mathsf{R},\mathsf{A}\in \Omega _{1}\), \(j\in \mathcal{J,}\) and \(\Theta >0\).
Proof
Putting \(\mathsf{S} = \mathsf{R}\) and \(\mathsf{A}=0 \) in (2.4), we have
almost everywhere for each \(\mathsf{S}\in \Omega _{1}\) and \(\Theta >0\).
Consider
and the generalized metric defined as follows:
In [29], Miheţ and Radu showed that \((\xi , \zeta )\) is complete.
We define the linear function \(\mathfrak{L} : \xi \rightarrow \xi \) as
almost everywhere for each \(\mathsf{S}\in \Omega _{1}\). Consider \(\mathcal{H}, \mathcal{K}\in \xi \) such that \(\zeta (\mathcal{H},\mathcal{K}) = \varepsilon \). Then
almost everywhere for any \(\mathsf{S}\in \Omega _{1}\) and \(\Theta >0\), and also
almost everywhere for each \(\mathsf{S}\in \Omega _{1}\) and \(\Theta >0\). Thus, from \(\zeta (\mathcal{H},\mathcal{K}) = \varepsilon \), we conclude that \(\zeta (\mathfrak{L}\mathcal{H},\mathfrak{L}\mathcal{K})\le \mathfrak{P}\varepsilon \), and so
for each \(\mathcal{H},\mathcal{K}\in \xi \).
By (3.1), we have that
almost everywhere for each \(\mathsf{S}\in \Omega _{1}\) and \(\Theta >0\), which implies that \(\zeta (\mathcal{Q}, \mathfrak{L}\mathcal{Q}) \le \frac{\mathfrak{P}}{2}\).
Theorem 1.4 implies that there is a random operator \(\mathcal{V} : \mathcal{J}\times \Omega _{1} \rightarrow \Omega _{2}\) such that:
-
(1)
A fixed point for the function \(\mathfrak{L}\) is \(\mathcal{V}\),
$$\begin{aligned} \mathcal{V} (j,x ) =2\mathcal{V} \biggl(j, \frac{x}{2} \biggr) \end{aligned}$$(3.2)almost everywhere for each \(x\in \Omega _{1}\), which is unique in the set
$$ \mathsf{D}=\bigl\{ \mathcal{H}\in \xi : \zeta (\mathcal{H},\mathcal{K}) < \infty \bigr\} ; $$ -
(2)
\(\zeta (\mathfrak{L}^{p}\mathcal{Q}, \mathcal{V}) \rightarrow 0\) as \(p \rightarrow \infty \), which implies that
$$\begin{aligned} \lim_{p\to \infty } 2^{p} \mathcal{Q} \biggl(j,\frac{\mathsf{S}}{2^{p}} \biggr) = \mathcal{V}(j,\mathsf{S}) \end{aligned}$$(3.3)almost everywhere for each \(\mathsf{S}\in \Omega _{1}\);
-
(3)
\(\zeta (\mathcal{Q},\mathcal{V}) \le \frac{1}{1-\mathfrak{P}} \zeta ( \mathcal{Q}, \mathfrak{L}\mathcal{Q})\), which implies that
$$\begin{aligned} \Phi ^{\mathcal{Q}(j,\mathsf{S})- \mathcal{V}(j,\mathsf{S})}_{\Theta } \ge \phi ^{\mathsf{S},\mathsf{S},0}_{ \frac{2(1-\mathfrak{P})}{\mathfrak{P}}\Theta } \end{aligned}$$almost everywhere for each \(\mathsf{S}\in \Omega _{1}\) and \(\Theta >0\).
Using (2.4) and (3.3), we have
almost everywhere for any \(\mathsf{S},\mathsf{R},\mathsf{A} \in \Omega _{1}\) and \(\Theta >0\). Thus
almost everywhere for each \(\mathsf{S},\mathsf{R},\mathsf{A} \in \Omega _{1}\) and \(\Theta >0\). Now, Lemma 2.1 implies that the \(\mathcal{V}\) is an additive random operator. □
Theorem 3.2
Suppose \((\Omega _{1},\Phi ,\odot _{M},\oslash _{M})\) is a matrix Menger Banach algebra and \(\phi :\Omega _{1}^{3}\rightarrow \Delta ^{+} \) is a matrix distribution function such that there exists a \(\mathfrak{P}<1\) with \(\phi ^{\mathsf{S},\mathsf{R},0}_{\Theta }\succeq \phi ^{ \frac{\mathsf{S}}{2},\frac{\mathsf{R}}{2},0}_{ \frac{\Theta }{2\mathfrak{P}}}\) for all \(\mathsf{S},\mathsf{R}\in \Omega _{1}\), \(\lim_{n\to \infty }\phi ^{2^{n}\mathsf{S},2^{n}\mathsf{R},0}_{2^{n} \Theta }=\nabla ^{0}_{\Theta }\) for any \(\mathsf{S},\mathsf{R}\in \Omega _{1}\), \(\Theta >0\). Assume that a random operator \(\mathcal{Q}:\mathcal{J}\times \Omega _{1}\rightarrow \Omega _{2}\) satisfies (2.4) and \(\mathcal{Q}(j,\mathsf{S})=0\) for all \(\mathsf{S},\mathsf{R}\in \Omega _{1}\) and \(j \in \mathcal{J}\). Then there exists a unique additive random operator \(\mathcal{V} :\mathcal{J}\times \Omega _{1} \rightarrow \Omega _{2}\) satisfying (2.12) for all \(\mathsf{S} \in \Omega _{1}\), \(j\in \mathcal{J,}\) and \(\Theta >0\).
Proof
Let \((\xi , \zeta )\) be the same as in the proof of Theorem 2.2. We define the linear function \(\mathfrak{L}: \xi \rightarrow \xi \) as
almost everywhere for each \(\mathsf{S} \in \Omega _{1}\). Using (2.5), we obtain
almost everywhere for each \(\mathsf{S}\in \Omega _{1}\) and \(\Theta >0\).
By a similar method as in the proof of Theorem 3.1, the proof will be completed. □
4 Application with stochastic Mittag-Leffler and Fox’s \(\mathbb{H}\)-control functions
In this section, we apply stochastic Mittag-Leffler control functions and stochastic Fox \(\mathbb{H}\)-control functions to get a better approximation in the random operator inequality (1.1). Now, we introduce the concepts of the above stochastic control functions.
Suppose \(\mathbb{T} \) is a vector space and \(\Theta _{\bullet } >0\).
We will present an example of a stochastic normed space by means of Mittag-Leffler function, but before that we introduce Mittag-Leffler function itself.
The special function
is called Mittag-Leffler function [3], where \(\mathbb{C}\) and Γ are respectively the set of complex numbers and the gamma function.
Consider the one-parameter Mittag-Leffler function
Now we want to show in the following four steps that \((\mathbb{T}, \Xi _{\sigma } (- \frac{\Vert \mathbf{T}_{\circ }\Vert }{\Theta _{\bullet } } ) , \min )\) is a random normed space.
(1) If \(\sigma \in (0,1]\), then \(\Xi _{\sigma }(0)=1 \) and \(\lim_{\mathbf{T}_{\circ }\rightarrow -\infty } \Xi _{\sigma }( \mathbf{T}_{\circ })=0\). Hence we can conclude that \(\Xi _{\sigma } \) is an increasing function for all \(\sigma \in (0,1]\), and also we have \(\Xi _{\sigma }\in (0,1]\).
(2) It is straightforward to show that \(\Xi _{\sigma } (- \frac{ \Vert \mathbf{T}_{\circ }\Vert }{\Theta _{\bullet } } )=1\) for every \(\Theta _{\bullet } >0\), if and only if \(\mathbf{T}_{\circ }=0\).
(3) For any \(\mathbf{T}_{\circ }\in \mathbb{T} \) and \(\Theta _{\bullet } >0\), we have
(4) Let \(\Xi _{\sigma } (- \frac{ \Vert \mathbf{T}_{\circ }\Vert }{\Theta _{\bullet } } ) \leq \Xi _{\sigma } (- \frac{ \Vert \mathbf{T}_{\circ }^{\prime }\Vert }{\Theta _{\bullet } ^{\prime }} )\). Then we have \(\frac{\Vert \mathbf{T}_{\circ }^{\prime }\Vert }{\Theta _{\bullet } ^{\prime }} \leq \frac{\Vert \mathbf{T}_{\circ }\Vert }{\Theta _{\bullet } }\) for all \(\mathbf{T}_{\circ }, \mathbf{T}_{\circ }^{\prime }\in \mathbb{T} \) and \(\Theta _{\bullet } , \Theta _{\bullet } ^{\prime }>0\). Now, if \(\mathbf{T}_{\circ }=\mathbf{T}_{\circ }^{\prime }\), then we have \(\Theta _{\bullet } \leq \Theta _{\bullet } ^{\prime }\). Otherwise, we have
and so \(\frac{\Vert \mathbf{T}_{\circ }\Vert }{\Theta _{\bullet } }\geq \frac{\Vert \mathbf{T}_{\circ } +\mathbf{T}_{\circ }^{\prime }\Vert }{\Theta _{\bullet } +\Theta _{\bullet } ^{\prime }}\). But \(- \frac{\Vert \mathbf{T}_{\circ }\Vert }{\Theta _{\bullet } }\leq - \frac{\Vert \mathbf{T}_{\circ }+\mathbf{T}_{\circ }^{\prime }\Vert }{\Theta _{\bullet } +\Theta _{\bullet } ^{\prime }}\) and also
which implies that
Hence we have
for all \(\mathbf{T}_{\circ }, \mathbf{T}_{\circ }^{\prime }\in \mathbb{T} \) and \(\Theta _{\bullet } , \Theta _{\bullet } ^{\prime }>0\). Therefore, \(\Xi _{\sigma } (- \frac{ \Vert \mathbf{T}_{\circ }\Vert }{\Theta _{\bullet } } )\) is a stochastic Mittag-Leffler control function.
Now, we introduce the Fox \(\mathbb{H}\)-function [30] as follows:
in which \(\log \vert z \vert \) denotes the natural logarithm of \(\vert z \vert \) and \(\arg (z) \) is not necessarily the principal value. For convenience, let
with an empty product interpreted as 1, and the integers m, n, p, q satisfy the inequalities
where the coefficients
and the complex parameters
are so constrained that no poles of integrand in (4.3) coincide, and \(\mathfrak{L}\) is a suitable contour of the Mellin–Barnes type (in the complex ξ-plane) which separates the poles of one product from those of the other. In addition, if we let
then the integral in (4.3) converges absolutely and defines the \(\mathbb{H}\)-function, analytic in the sector
the point \(z=0 \) being tacitly excluded. In fact, the \(\mathbb{H}\)-function makes sense and defines an analytic function of z also when either
or
In a similar way, we can show that \(\mathbb{H}^{m,n}_{p,q} [ - \frac{ \Vert \mathbf{T}_{\circ }\Vert }{\Theta _{\bullet } } \vert {}^{(a_{j},A_{j})_{1,p}}_{(b_{j},B_{j})_{1,q}} ]\) is a stochastic Fox \(\mathbb{H}\)-control function, for all \(\mathbf{T}_{\circ } \in \mathbb{T} \) and \(\Theta _{\bullet } >0\), \(A_{j},a_{j}>0 \) (\(j=1,\ldots , p\)), \(B_{j},b_{j}>0\) (\(j=1,\ldots , q\)) and \(p,q\in \mathbb{N} \).
Corollary 4.1
Let \((\Omega _{1},\Phi ,\odot _{M},\odot _{M})\) be a matrix Menger Banach algebra. Suppose that \(\mathsf{M}> 1\) and W is a nonnegative real number, and \(\mathcal{Q}:\mathcal{J}\times \Omega _{1} \rightarrow \Omega _{2}\) is a random operator satisfying \(\mathcal{Q}(j,0)=0\) and
for all \(\mathsf{S}, \mathsf{R},\mathsf{A}\in \Omega _{1}\), \(j\in \mathcal{J}\), \(0< \sigma \leq 1\), \(\Theta >0\), \(A_{j},a_{j}>0 \) (\(j=1,\ldots , p\)), \(B_{j},b_{j}>0 \) (\(j=1,\ldots , q\)), and \(p,q\in \mathbb{N} \). Then there exists a unique additive random operator \(\mathcal{V}: \mathcal{J}\times \Omega _{1} \rightarrow \Omega _{2}\) such that
for all \(\mathsf{S}\in \Omega _{1}\), \(j\in \mathcal{J}\), \(0< \sigma \leq 1\), \(\Theta >0\), \(A_{j},a_{j}>0 \) (\(j=1,\ldots , p\)), \(B_{j},b_{j}>0 \) (\(j=1,\ldots , q\)), and \(p,q\in \mathbb{N} \).
Proof
It follows from Theorem 2.2 by putting
for all \(\mathsf{S},\mathsf{R},\mathsf{A} \in \Omega _{1}\), \(j\in \mathcal{J}\), \(\Theta >0\), \(0< \sigma \leq 1\), \(A_{j},a_{j}>0\) (\(j=1,\ldots , p\)), \(B_{j},b_{j}>0\) (\(j=1,\ldots , q\)), \(p,q\in \mathbb{N}\), and \(\mathfrak{P}=2^{1-\mathsf{M}}\). □
Corollary 4.2
Assume \((\Omega _{1},\Phi ,\odot _{M},\oslash _{M})\) is a matrix Menger Banach algebra. Suppose that \(\mathsf{M}< 1\), \(\mathsf{W}\geq 0\), and \(\mathcal{Q}:\mathcal{J}\times \Omega _{1}\rightarrow \Omega _{2}\) is a random operator satisfying (4.4) and \(\mathcal{Q}(j,\mathsf{S})=0\) for all \(\mathsf{S}\in \Omega _{1}\) and \(j\in \mathcal{J}\). Then there exists a unique additive random operator \(\mathcal{V} :\mathcal{J}\times \Omega _{1} \rightarrow \Omega _{2}\) such that
for all \(\mathsf{S} \in \Omega _{1}\), \(j\in \mathcal{J}\), \(0< \sigma \leq 1\), \(\Theta >0\), \(A_{j},a_{j}>0\) (\(j=1,\ldots , p\)), \(B_{j},b_{j}>0\) (\(j=1,\ldots , q\)), and \(p,q\in \mathbb{N} \).
Proof
The claim follows from Theorem 2.3 by putting
for all \(\mathsf{S} \in \Omega _{1}\), \(j\in \mathcal{J}\), \(\Theta >0\), \(0<\sigma \leq 1 \), \(A_{j},a_{j}>0\) (\(j=1,\ldots , p\)), \(B_{j},b_{j}>0\) (\(j=1,\ldots , q\)), \(p,q\in \mathbb{N}\), and \(\mathfrak{P}=2^{\mathsf{M}-1}\). □
5 Conclusions
By means of both direct and fixed point methods, we investigated an approximation for additive \((\mathcal{G}_{1},\mathcal{G}_{2})\)-random operator inequality using a class of stochastic matrix control functions in matrix Menger normed algebras. As an application, we applied stochastic Mittag-Leffler control functions and the \(\mathbb{H}\)-fox control function to get a better approximation in the random operator inequality.
As can be seen in the previous section, using a new method (an alternative fixed point method), we get a new stability approximation result that, compared to the direct method, yields a better approximation.
As for the future research directions, we can replace the above control functions with hypergeometric function, Wright function, Fox–Wright function, and so on. Also, we can use matrix-valued fuzzy control functions instead of a class of stochastic matrix control functions.
Availability of data and materials
Not applicable.
Abbreviations
- ⊙, ⊘:
-
Continuous generalized t-norm
- \(\mathcal{E}^{+}\) :
-
The set of matrix distribution functions
- Φ, ϕ :
-
Matrix distribution function
- \(\mathbb{S}\) :
-
Linear space
- \((\mathbb{S}, \Phi , \odot )\) :
-
Matrix Menger norm space
- \((\mathbb{S}, \Phi , \odot , \oslash )\) :
-
Matrix Menger normed algebra
- \(\Omega _{1}\), \(\Omega _{2}\) :
-
Matrix Menger Banach algebra
- ℧:
-
\([0,1]\)
- \(\mathcal{Q}\) :
-
Random operator
- ζ :
-
Generalized metric
- \(\Xi _{\sigma }\) :
-
Mittag-Leffler function
- \(\mathbb{H}^{m,n}_{p,q}\) :
-
Fox \(\mathbb{H}\)-function
- \(\mathbb{T}\) :
-
Vector space
References
Paris, R.B., Consiglio, A., Mainardi, F.: On the asymptotics of Wright functions of the second kind. Fract. Calc. Appl. Anal. 24(1), 54–72 (2021)
Mehrez, K.: Positivity of certain classes of functions related to the Fox H-functions with applications. Anal. Math. Phys. 11(3), Article ID 114 (2021)
Rezaei Aderyani, S., Saadati, R.: Best approximations of the φ-Hadamard fractional Volterra integro-differential equation by matrix valued fuzzy control functions. Adv. Differ. Equ. 2021, Article ID 154 (2021)
Rezaei Aderyani, S., Saadati, R., Feckan, M.: The Cadariu–Radu method for existence, uniqueness and Gauss hypergeometric stability of Ω-Hilfer fractional differential equations. Mathematics 9(12), 1408 (2021)
Rahman, G., Saboor, A., Anjum, Z., Nisar, K.S., Abdeljawad, T.: An extension of the Mittag-Leffler function and its associated properties. Adv. Math. Phys. 2020, Article ID 5792853 (2020)
Fernandez, A., Kurt, C., Ozarslan, M.A.: A naturally emerging bivariate Mittag-Leffler function and associated fractional-calculus operators. Comput. Appl. Math. 39(3), Article ID 200 (2020)
Karpa, D.B.: A Note on Fox’s H Function in the Light of Braaksma’s Results. Chapman & Hall, London (2019)
Meena, S., Bhatter, S., Jangid, K., Purohit, S.D.: Some expansion formulas for incomplete H- and H̅-functions involving Bessel functions. Adv. Differ. Equ. 2020, Article ID 562 (2020)
Jin, Y., Park, C., Rassias, M.T.: Hom-derivations in \(C^{*}\)-ternary algebras. Acta Math. Sin. Engl. Ser. 36, 1025–1038 (2020)
Madadi, M., O’Regan, D., Rassias, T.M., Saadati, R.: Best approximation of κ-random operator inequalities in matrix MB-algebras. J. Inequal. Appl. 2021, Article ID 13 (2021)
Schweizer, B., Sklar, A.: Probabilistic Metric Spaces. North-Holland Series in Probability and Applied Mathematics. North-Holland, New York (1983)
Hadzic, O., Pap, E.: Fixed Point Theory in Probabilistic Metric Spaces. Mathematics and Its Applications, vol. 536. Kluwer Academic, Dordrecht (2001)
Jang, S.Y., Saadati, R.: Approximation of an additive \((\varrho _{1},\varrho _{2})\)-random operator inequality. J. Funct. Spaces 2020, Article ID 7540303 (2020)
Saadati, R.: Random Operator Theory. Elsevier/Academic Press, London (2016)
Ns̆dăban, S., Bînzar, T., Pater, F.: Some fixed point theorems for φ-contractive mappings in fuzzy normed linear spaces. J. Nonlinear Sci. Appl. 10, 5668–5676 (2017)
Diaz, J.B., Margolis, B.: A fixed point theorem of the alternative, for contractions on a generalized complete metric space. Bull. Am. Math. Soc. 74, 305–309 (1968)
Rezaei Aderyani, S., Saadati, R., Yang, X.J.: Radu–Mihet method for UHML stability for a class of ξ-Hilfer fractional differential equations in matrix valued fuzzy Banach spaces. Math. Methods Appl. Sci. (2021)
Brzdek, J., Ciepliński, K.: A fixed point theorem in n-Banach spaces and Ulam stability. J. Math. Anal. Appl. 470, 632–646 (2019)
Srivastava, H.M., Saadati, R., Jang, S.Y.: Bi-additive σ-random operator inequalities and random quasi-∗-multipliers on MB-algebras. Math. Sci. 15(4), 325–336 (2021)
Narasimman, P.: Solution and stability of a generalized k-additive functional equation. J. Interdiscip. Math. (2018)
Sene, N.: Global asymptotic stability of the fractional differential equations. J. Nonlinear Sci. Appl. 13(3), 171–175 (2020)
Park, C., Jin, Y., Zhang, X.: Bi-additive s-functional inequalities and quasi-multipliers on Banach algebras. Rocky Mt. J. Math. 49, 593–607 (2019)
Park, C., Lee, J., Zhang, X.: Additive s-functional inequality and hom-derivations in Banach algebras. J. Fixed Point Theory Appl. 21, Article ID 18 (2019)
Murali, R., Park, C.: Hyers–Ulam stability for an nth order differential equation using fixed point approach. J. Appl. Anal. Comput. 11, 614–631 (2021)
Kim, G.H., Lee, Y.-H.: Stability of an additive-quadratic-quartic functional equation. Demonstr. Math. 53(1), 1–7 (2020)
Thanyacharoen, A., Sintunavarat, W.: The new investigation of the stability of mixed type additive-quartic functional equations in non-Archimedean spaces. Demonstr. Math. 53(1), 174–192 (2020)
Fripertinger, H., Schwaiger, J.: Some remarks on the stability of the Cauchy equation and completeness. Aequ. Math. (2021)
Tamilvanan, K., Lee, J.R., Park, C.: Hyers–Ulam stability of a finite variable mixed type quadratic-additive functional equation in quasi-Banach spaces. AIMS Math. 5(6), 5993–6005 (2020)
Mihet, D., Radu, V.: On the stability of the additive Cauchy functional equation in random normed spaces. J. Math. Anal. Appl. 343, 567–572 (2009)
Srivastava, H.M., Hussain, M.A.: Fractional integration of the H-function of several variables. Comput. Math. Appl. 30(9), 73–85 (1995)
Acknowledgements
The authors are thankful to the area editor and referees for giving valuable comments and suggestions.
Funding
No funding.
Author information
Authors and Affiliations
Contributions
All authors conceived of the study, participated in its design and coordination, drafted the manuscript, participated in the sequence alignment, as well as read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Rezaei Aderyani, S., Saadati, R., Rassias, T.M. et al. Best approximation of \((\mathcal{G}_{1},\mathcal{G}_{2})\)-random operator inequality in matrix Menger Banach algebras with application of stochastic Mittag-Leffler and \(\mathbb{H}\)-Fox control functions. J Inequal Appl 2022, 10 (2022). https://doi.org/10.1186/s13660-021-02747-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-021-02747-z