- Research
- Open access
- Published:
A class of backward stochastic Bellman–Bihari’s inequality and its applications
Journal of Inequalities and Applications volume 2021, Article number: 172 (2021)
Abstract
In this paper, we propose and prove several different forms of backward stochastic Bellman–Bihari’s inequality. Then, as two applications, two different types of the comparison theorems for backward stochastic differential equation with stochastic non-Lipschitz condition are presented.
1 Introduction
In [9], Gronwall was the first to provide Gronwall’s inequality under the framework of differential form. Later, Bellman [2] put forward the integral form of Gronwall’s inequality as the following proposition.
Proposition 1.1
Assume that \(\alpha \geq 0\) and \(T>0\). If \(\beta (t)\) and \(\mu (t), t\in [0,T]\) are two nonnegative continuous functions satisfying
then
Since then, on the basis of different motivation, Gronwall’s inequality has been extended and used considerably in various articles. It became a useful tool to solve many problems in the fields of differential equations. We refer the reader to [4, 5, 12, 13, 19] and the references therein. In order to meet the needs of the development of stochastic differential equations, many scholars tried to generalize Gronwall’s inequality. Wang and Fan [16] established the following backward stochastic Gronwall’s inequality.
Proposition 1.2
Let \(\beta (\omega, t)\) be a strictly positive \({\mathbb{F}}\)-adapted stochastic process satisfying
If the nonnegative \({\mathscr{F}}_{t}\)-adapted stochastic process \(\mu (\omega, t)\) satisfies the following conditions:
- 1∘:
-
\({\mathbb{E}}[\sup_{t\in [0,T]}\mu (\omega, t)]<\infty \).
- 2∘:
-
\(\mu (t)\leq a + {\mathbb{E}} [ \int ^{T}_{t}\beta (s)\mu (s) \,\mathrm{d}s | {\mathscr{F}}_{t} ], t\in [0, T]\), where \(a> 0\) is a constant.
Then, for each \(t\in [0, T]\), we have
In particular, if \(a=0\), we have \(u(t)=0\).
They used this proposition to prove a comparison theorem of \(L^{p}\) solution for 1-dimensional backward stochastic differential equation under the stochastic Lipschitz condition. Hun et al. [10] generalized backward stochastic Gronwall’s inequality in the situation of random time horizon. [1] generalized a Lipovan’s result of Gronwall-like inequalities into a more general form.
Later, Bihari [3] put forward a useful generalization of Gronwall–Bellman’s inequality, called Bihari’s inequality, which provides explicit bounds on unknown functions. This inequality also had many applications in the fields of differential equations. Zhang and Zhu [20] used Bihari’s inequality to study non-Lipschitz stochastic differential equations driven by multi-parameter Brownian motion. In [17], Bihari’s inequality was used to study non-Lipschitz stochastic Volterra type equations with jumps. Furthermore, Wu et al. used [18] Bihari’s inequality to analyze the solvability of anticipated backward stochastic differential equations. And Fan [6] used Bihari’s inequality to study existence, uniqueness, and stability of \(L^{1}\) solutions for multidimensional backward stochastic differential equations with generators of one-sided Osgood type. With further study of stochastic differential equations, it was found that original Bihari’s inequality can no longer meet the needs of application. Thus, people began to generalize Bihari’s inequality. [11] studied some new Gronwall–Bellman–Bihari type integral inequalities with singular as well as nonsingular kernels, generalizing some already existing results. As an application, the behavior of solution of the fractional stochastic differential equation has been investigated. [8] analyzed some new nonlinear Gronwall–Bellman–Bihari type inequalities with singular kernel via k-fractional integral of Riemann–Liouville, which can be used to study some properties of solution for fractional differential equations.
To the best of our knowledge, so far there is little study on backward stochastic Bihari’s inequality. Motivated by the above articles, in this paper, we mainly generalize the following Bihari’s inequality in [3] into the situation of backward stochastic Bihari’s inequality.
Proposition 1.3
Let \(\rho: {\mathbb{R}}^{+}\rightarrow {\mathbb{R}}^{+}\) be a continuous and nondecreasing function, if \(\beta (s), f(s)\) are two nonnegative functions on \({\mathbb{R}}^{+}\) such that, for some \(a> 0\),
Then
where \(G(x)\doteq \int ^{x}_{c}\frac{1}{\rho (y)}\,\mathrm{d}y\) is well defined for some \(c> 0\) and \(G^{-1}(\cdot )\) is an inverse function of G.
We will study several different forms of backward stochastic Bihari’s inequality and give two applications. It is necessary to point out that the proof method in [3, 14, 15] for Bihari’s inequality is no longer applicable since \(\beta (s)\) in the following theorems in this paper depends on ω, while the \(\beta (s)\) in Proposition 1.3 is independent of ω.
2 Preliminaries
2.1 Notations
For \(x, y \in {\mathbb{R}}\), we use \(|x |\) to denote the Euclidean norm of x and use \(\langle x, y\rangle \) to denote the Euclidean inner product. For \(B\in {\mathbb{R}}^{ d}\), \(|B |\) represents \(\sqrt{\mathrm{Tr} BB^{\ast }.}\) Let \((\Omega, {\mathscr{F}}, P)\) be a complete probability space taking along a d-dimensional Brownian motion \(\{W_{t}\}_{0\leq t\leq T}\). \({\mathbb{F}}\doteq \{{\mathscr{F}}_{t}\}_{t\in [0,T]}\) is the natural filtration generated by W. For Euclidean space \({\mathbb{H}}\), we introduce the following spaces:
\(L^{2}_{{\mathscr{F}}_{T}}(\Omega; {\mathbb{H}})\) is represented as a space of \({\mathbb{H}}\)-valued \({\mathscr{F}}_{T}\)-measurable random variables ϕ satisfying \(\|\phi \|_{2}\doteq ({\mathbb{E}}[|\phi |^{2}])^{\frac{1}{2}}< \infty \).
\(L^{\infty }_{{\mathscr{F}}_{T}}(\Omega; {\mathbb{H}})\) is represented as a space of \({\mathbb{H}}\)-valued \({\mathscr{F}}_{T}\)-measurable random variables ϕ satisfying \(\|\phi \|_{\infty }\doteq \mathrm{esssup}_{\omega \in \Omega }|\phi |< \infty \).
\(L^{2}_{{\mathbb{F}}}(0, T; {\mathbb{H}})\) is represented as a space of \({\mathbb{H}}\)-valued \({\mathbb{F}}\)-adapted stochastic processes \(\{\varphi _{s}, s\in [0, T]\}\) satisfying \(\|\varphi \|_{L^{2}_{{\mathscr{F}}}(0, T)}\doteq ( { \mathbb{E}} [ \int ^{T}_{0}|\varphi (s)|^{2}\,\mathrm{d}s ] )^{\frac{1}{2}}< \infty \).
\(L^{\infty }_{{\mathbb{F}}}(0, T; {\mathbb{H}})\) is represented as a space of \({\mathbb{H}}\)-valued \({\mathbb{F}}\)-adapted stochastic processes \(\{\varphi _{s}, s\in [0, T]\}\) satisfying \(\|\varphi \|_{L^{\infty }_{{\mathbb{F}}}(0, T)}\doteq \mathrm{esssup}_{( \omega, s)\in \Omega \times [0,T]}|\varphi (s)|< \infty \).
\(S^{2}_{{\mathbb{F}}}(0, T; {\mathbb{H}})\) is represented as a space of continuous processes \(\{\varphi _{s}, s\in [t, T]\}\) in \(L^{2}_{{\mathbb{F}}}(0, T; {\mathbb{H}})\) satisfying \(\|\varphi \|_{S^{2}_{{\mathbb{F}}}(0, T)}\doteq ( { \mathbb{E}}[\sup_{0 \leqslant s \leqslant T}|\varphi (s)|^{2}] ) ^{\frac{1}{2}}< \infty \).
In the following, ρ is a nondecreasing continuous concave function from \({\mathbb{R}}_{+}\) to \({\mathbb{R}}_{+}\) such that \(\rho (0)=0\) and \(\int _{0+}\frac{1}{\rho (s)}\,\mathrm{d}s= +\infty \), where \(G(x)\doteq \int ^{x}_{c}\frac{1}{\rho (y)}\,\mathrm{d}y\) is well defined for some \(c> 0\) and \(G^{-1}(\cdot )\) is an inverse function of G.
Remark 2.1
-
1.
Since ρ is concave and \(\rho (0)=0\), one can find a pair of positive constants a and b such that
$$\begin{aligned} \rho (u)\leq a+ bu \quad\text{for all u $\geq $ 0}. \end{aligned}$$ -
2.
We make the following convention: the letter \(C^{\prime }\) will denote a positive constant, whose value may vary from one place to another. Moreover, \(C^{\prime }\) only depends on the constants in the following theorems.
3 Main results
Before giving our main results, we need the following lemma.
Lemma 3.1
The above function \(G(x), x> 0\) is a concave function.
Proof
For any \(0< x_{1}< x_{2}\),
Thus, \(G(x), x> 0\) is a concave function. □
Theorem 3.2
Let \(\beta (\omega, t)\) be a strictly positive \({\mathbb{F}}\)-adapted stochastic process satisfying
If the nonnegative \({\mathscr{F}}_{t}\)-adapted stochastic process \(\mu (\omega, t)\) satisfies the following conditions:
- 1∘:
-
\({\mathbb{E}}[\sup_{t\in [0,T]}\mu (\omega, t)]<\infty \).
- 2∘:
-
\(\mu (t)\leq a + {\mathbb{E}} [ \int ^{T}_{t}\beta (s)\rho ( \mu (s)) \,\mathrm{d}s | {\mathscr{F}}_{t} ], t\in [0, T]\), where \(a> 0\) is a constant.
Then, for each \(t\in [0, T]\), we have
In particular, if \(a=0\), we have \(u(t)=0\).
Proof
Set \(\eta = \int ^{T}_{0}\beta (s)\rho (\mu (s))\,\mathrm{d}s\). By the martingale representation theorem, there exists a stochastic process \(\{z(t), t\in [0, T] \}\in L^{2}_{{\mathbb{F}}}(0, T; {\mathbb{R}})\) such that
Set
By assumptions in theorem, we know that \(\mu (t) \leq \bar{\mu }(t)\). Moreover,
Using the differential formula to \(G^{-1} ( G(\bar{\mu }(t))+\int ^{t}_{0}\beta (s)\,\mathrm{d}s )\), we have
Since ρ is nondecreasing and \(\mu (t) \leq \bar{\mu }(t)\), we have \(\rho (\mu (t)) \leq \rho (\bar{\mu }(t))\), we have
Integrating on \([t, T]\) and taking the conditional mathematical expectation with respect to \({\mathscr{F}}_{t}\), noting that \(\bar{\mu }(T)=a\) leads to
Thus,
By \(\mu (t) \leq \bar{\mu }(t)\), we obtain
□
Remark 3.3
We will illustrate that
Since G is a concave function, by Jensen’s inequality, we have
The following lemma is a slight extension of Theorem 3.2.
Lemma 3.4
Let \(\alpha (\omega, t), \beta (\omega, t)\) be two nonnegative \({\mathbb{F}}\)-adapted stochastic processes. One of them is strictly positive. If the following conditions
- 1∘:
-
\(\| \int ^{T}_{0}\alpha (\omega, s)\,\mathrm{d}s \| _{ \infty }<\infty, \| \int ^{T}_{0}\beta (\omega, s)\,\mathrm{d}s \| _{\infty }<\infty \);
- 2∘:
-
\(\mu (\omega, t)\) is a nonnegative \({\mathbb{F}}\)-adapted stochastic process and \({\mathbb{E}}[\sup_{t\in [0,T]}\mu (\omega, t)]<\infty \);
- 3∘:
-
\(\mu (t)\leq a + {\mathbb{E}} [ \int ^{T}_{t}\alpha (s)\mu (s) \,\mathrm{d}s | {\mathscr{F}}_{t} ] + {\mathbb{E}} [ \int ^{T}_{t}\beta (s)\rho (\mu (s)) \,\mathrm{d}s | { \mathscr{F}}_{t} ], t\in [0, T]\), where \(a> 0\) is a constant,
hold, then, for each \(t\in [0, T]\), we have
where \(\bar{W}(x)\doteq \int ^{x}_{c}\frac{1}{y +\rho (y)}\,\mathrm{d}y\) is well defined for some \(c> 0\) and \(\bar{W}^{-1}(\cdot )\) is an inverse function of W̄. In particular, if \(a=0\), we have \(u(t)=0\).
In the following theorem, the forward Gronwall–Bellman’s inequality in [14] is generalized to backward stochastic Gronwall–Bellman’s inequality. In addition, compared with Gronwall–Bellman’s inequality in [14], \(\alpha (\omega, t), \beta (\omega, t)\) in the following theorem are not independent of ω. Thus, the proof method in this paper is also different from the method in [14].
Theorem 3.5
Let \(\alpha (\omega, t), \beta (\omega, t)\) be two nonnegative \({\mathbb{F}}\)-adapted stochastic processes. If the following conditions are satisfied:
- 1∘:
-
\(\| \int ^{T}_{0}\alpha (\omega, s)\,\mathrm{d}s \| _{ \infty }<\infty, \| \int ^{T}_{0}\beta (\omega, s)\,\mathrm{d}s \| _{\infty }<\infty \),
- 2∘:
-
\(\mu (\omega, t)\) is a nonnegative \({\mathbb{F}}\)-adapted stochastic process and \({\mathbb{E}}[\sup_{t\in [0,T]}\mu (\omega, t)]<\infty \),
- 3∘:
-
\(\mu (t)\leq a + {\mathbb{E}} [ \int ^{T}_{t}\alpha (s)\mu (s) \,\mathrm{d}s | {\mathscr{F}}_{t} ] + {\mathbb{E}} [ \int ^{T}_{t} (\alpha (s){\mathbb{E}} [ \int _{s}^{T} \beta (\tau )\mu (\tau ) \,\mathrm{d}\tau | {\mathscr{F}}_{s} ] ) \,\mathrm{d}s |{\mathscr{F}}_{t} ], t \in [0, T]\), where \(a> 0\) is a constant,
then, for each \(t\in [0, T]\), we have
In particular, if \(a=0\), we have \(u(t)=0\).
Proof
Set
It follows that \(\mu (t) \leq \bar{\mu }(t)\). Set
By the martingale representation theorem, there exists a stochastic process \(\{z(t), t\in [0, T] \}\in L^{2}_{{\mathbb{F}}}(0, T; {\mathbb{R}})\),
Thus,
Furthermore, it leads to
Set
From the above equality, we get
Integrating on \([t, T]\) and taking the conditional expectation with respect to \({\mathscr{F}}_{t}\) on both sides of the above inequality, we have
Then
From Theorem 1 in [16], we have
Then we have
□
From Theorem 3.5, we get the following lemma.
Lemma 3.6
\(\alpha (\omega, t), \beta (\omega, t)\) are two nonnegative \({\mathbb{F}}\)-adapted stochastic processes satisfying
If the following conditions hold:
- 1∘:
-
\(n(t)\) is a strictly positive \({\mathbb{F}}\)-adapted stochastic process and is decreasing with respect to t;
- 2∘:
-
\(\mu (\omega, t)\) is a nonnegative \({\mathbb{F}}\)-adapted stochastic process and \({\mathbb{E}}[\sup_{t\in [0,T]}\mu (\omega, t)]<\infty \);
- 3∘:
-
\(\mu (t)\leq n(t) + {\mathbb{E}} [ \int ^{T}_{t}\alpha (s) \mu (s) \,\mathrm{d}s | {\mathscr{F}}_{t} ]+{\mathbb{E}} [ \int ^{T}_{t} (\alpha (s){\mathbb{E}} [ \int _{s}^{T}\beta (\tau )\mu (\tau ) \,\mathrm{d}\tau | { \mathscr{F}}_{s} ] ) \,\mathrm{d}s |{\mathscr{F}}_{t} ], t\in [0, T]\),
then, for each \(t\in [0, T]\), we have
Proof
Since
we have
By the above theorem, we complete the proof. □
Next, we will extend Bellman–Bihari’s inequality in Theorem 2 of [15] to backward stochastic Bellman–Bihari’s inequality. And the proof method is this paper is also different from the method in [15].
Theorem 3.7
Let \(\alpha (\omega, t), \beta (\omega, t), \gamma (\omega, t)\) be three nonnegative \({\mathbb{F}}\)-adapted stochastic processes satisfying
One of them is strictly positive. If the following conditions are established:
- 1∘:
-
\(\mu (\omega, t)\) is a nonnegative \({\mathbb{F}}\)-adapted stochastic process and \({\mathbb{E}}[\sup_{t\in [0,T]}\mu (\omega, t)]<\infty \);
- 2∘:
-
$$\begin{aligned} \mu (t)\leq {}&a + {\mathbb{E}} \biggl[ \int ^{T}_{t}\alpha (s)\mu (s) \,\mathrm{d}s| { \mathscr{F}}_{t} \biggr]\\ &{}+{\mathbb{E}} \biggl[ \int ^{T}_{t} \biggl(\alpha (s){\mathbb{E}} \biggl[ \int _{s}^{T} \beta (\tau )\mu (\tau ) \,\mathrm{d}\tau | {\mathscr{F}}_{s} \biggr] \biggr) \,\mathrm{d}s\bigg|{\mathscr{F}}_{t} \biggr] \\ &{} + {\mathbb{E}} \biggl[ \int ^{T}_{t}\gamma (s)\rho \bigl(\mu (s)\bigr) \, \mathrm{d}s| {\mathscr{F}}_{t} \biggr],\quad t\in [0, T], \end{aligned}$$
then, for each \(t\in [0, T]\), we have
where \(\bar{W}, \bar{W}^{-1} \) are the functions in Lemma 3.4.
Proof
Set
It follows that \(\mu (t) \leq \bar{\mu }(t)\). Set
By the martingale representation theorem, there exists a stochastic process \(\{z(t), t\in [0, T] \}\in L^{2}_{{\mathbb{F}}}(0, T; {\mathbb{R}})\) such that
Thus,
Furthermore, it leads to
Set
From the above equality, we get
Integrating on \([t, T]\) and taking the conditional expectation with respect to \({\mathscr{F}}_{t}\) on both sides of the above inequality, we have
Since \(\bar{\mu }(t)\leq m(t) \), we derive
From Lemma 3.4, we have
□
4 Application
4.1 Application 1
In this subsection, we will give an application for Theorem 3.2. Let \((Y^{(1)}, Z^{(1)}), (Y^{(2)}, Z^{(2)})\) be respectively the solutions of the following two 1-dimensional BSDEs:
where \(j=1,2\).
-
(H1)
Assume that
$$\begin{aligned} f(\cdot,\cdot, \cdot, \cdot ): \Omega \times [0, T] \times { \mathbb{R}}\times { \mathbb{R}}^{ d}\rightarrow {\mathbb{R}}, \end{aligned}$$and f satisfies the following condition:
$$\begin{aligned} {\mathbb{E}} \biggl[ \int ^{T}_{0} \bigl\vert f(s,0,0) \bigr\vert ^{2}\,\mathrm{d}s \biggr]< \infty. \end{aligned}$$ -
(H2)
For all \(s\in [0, T], y,y^{\prime }\in {\mathbb{R}}, z, z^{\prime }\in { \mathbb{R}}^{d} \), we have
$$\begin{aligned} \bigl\vert f(s,y,z) - f\bigl(s,y^{\prime },z^{\prime } \bigr) \bigr\vert ^{2} \leq \epsilon (s)\rho \bigl( \bigl\vert y- y^{\prime } \bigr\vert ^{2}\bigr) + C \bigl\vert z-z^{\prime } \bigr\vert ^{2}, \end{aligned}$$where \(C> 0\) is a constant and \(\epsilon (s)> 0\) is an \({\mathbb{F}}\)-adapted stochastic process satisfying \(\|\int ^{T}_{0}\epsilon (s)\,\mathrm{d}s \|_{\infty } < \infty \).
-
(H3)
Assume that \(\xi ^{(j)} \in L^{2}_{{\mathscr{F}}_{T}}(\Omega; {\mathbb{R}})\), \((Y^{(j)}, Z^{(j)}) \in S^{2}_{{\mathbb{F}}}(0, T; {\mathbb{R}})\times L^{2}_{{ \mathbb{F}}}(0, T; {\mathbb{R}}^{d}), j=1,2\).
Theorem 4.1
Assume that \(f_{1}, f_{2}\) satisfy \((\mathrm{H}1)\) and \((\mathrm{H}2)\) and condition \((\mathrm{H}3)\) holds. If \(\xi ^{(1)}\leq \xi ^{(2)}\) and \(f_{1}(t, y, z)\leq f_{2}(t, y, z)\) for all \(t\in [0, T], y\in {\mathbb{R}}, z\in {\mathbb{R}}^{d}\), we have
Proof
Set
Using Itô’s formula to \(|\hat{Y}^{+}(t)|^{2}\), we have
Letting \(\lambda = 2C'\) and \(\beta >\lambda \), then we obtain
So, according to Theorem 3.2, we obtain that \(\hat{Y}^{+}(t) =0\), a.s., that is to say, \(Y^{(1)}(t)\leq Y^{(2)}(t)\), a.e., a.s. □
Remark 4.2
Obviously, since \(\epsilon (s)\) is a stochastic process, the assumption in \((\mathrm{H}3)\) about f is different from the assumption in [7].
4.2 Application 2
In this subsection, we will give an application for Theorem 3.7. Let \((Y^{(1)}, Z^{(1)}), (Y^{(2)}, Z^{(2)})\) be the solutions of the following two 1-dimensional BSDEs, respectively:
where \(\epsilon _{1}, \epsilon _{2} \) are two nonnegative processes satisfying
-
(H1)’
Assume that
$$\begin{aligned} f(\cdot,\cdot, \cdot, \cdot ): \Omega \times [0, T] \times { \mathbb{R}}\times { \mathbb{R}}^{ d}\rightarrow {\mathbb{R}}, \end{aligned}$$and f satisfies the following condition:
$$\begin{aligned} {\mathbb{E}} \biggl[ \int ^{T}_{0} \bigl\vert f(s,0,0) \bigr\vert ^{2}\,\mathrm{d}s \biggr]< \infty. \end{aligned}$$ -
(H2)’
For all \(s\in [0, T], y,y^{\prime }\in {\mathbb{R}}, z, z^{\prime }\in { \mathbb{R}}^{d} \), we have
$$\begin{aligned} \bigl\vert f(s,y,z) - f\bigl(s,y^{\prime },z^{\prime } \bigr) \bigr\vert ^{2} \leq \epsilon _{1}(s) \rho \bigl( \bigl\vert y- y^{\prime } \bigr\vert ^{2}\bigr)+ \epsilon _{2}(s) \bigl\vert y- y^{\prime } \bigr\vert ^{2} + C \bigl\vert z-z^{ \prime } \bigr\vert ^{2}, \end{aligned}$$where \(C> 0\) is a constant and \(\epsilon _{1}(s)\) is an \({\mathbb{F}}\)-adapted positive stochastic process satisfying \(\|\int ^{T}_{0}\epsilon _{1}(s)\,\mathrm{d}s\|_{\infty } < \infty \).
-
(H3)’
Assume that \(\xi ^{(j)} \in L^{2}_{{\mathscr{F}}_{T}}(\Omega; {\mathbb{R}})\), \((Y^{(j)}, Z^{(j)}) \in S^{2}_{{\mathbb{F}}}(0, T; {\mathbb{R}})\times L^{2}_{{ \mathbb{F}}}(0, T; {\mathbb{R}}^{d}), j=1,2\).
Theorem 4.3
Assume that \(f_{1}, f_{2}\) satisfy \(\mathrm{(H1)}\)’, \(\mathrm{(H2)}\)’ and the condition \((\mathrm{H}3)\)’ holds. If \(\xi ^{(1)}\leq \xi ^{(2)}\) and \(f_{1}(t, y, z)\leq f_{2}(t, y, z)\) for all \(t\in [0, T], y\in {\mathbb{R}}, z\in {\mathbb{R}}^{d}\), we have
Proof
Set
Using Itô’s formula to \(|\hat{Y}^{+}(t)|^{2}\), we have
Letting \(\lambda = 2C'\) and \(\beta >\lambda \), then we obtain
So, according to Theorem 3.7, we obtain that \(\hat{Y}^{+}(t) =0\), a.s., that is to say,
□
5 Conclusion
In this paper, we mainly studied several different forms of backward stochastic Bellman–Bihari’s inequality. The proposed scheme is based on studying the method of backward stochastic Gronwall’s inequalities and forward Bellman–Bihari’s inequalities. As far as we know, there is little study on backward stochastic Bellman–Bihari’s inequality. Just as backward stochastic Gronwall’s inequalities including some essential features compared with forward stochastic Gronwall’s inequalities, backward stochastic Bellman–Bihari’s inequalities also enjoy some essential different features, which can be applied to solve some problems on BSDEs. Our further interests will lie on more applications by using backward stochastic Bellman–Bihari’s inequalities.
Availability of data and materials
Not applicable.
References
Agarwal, R., Deng, S., Zhang, W.: Generalization of a retarded Gronwall-like inequality and its applications. Appl. Math. Comput. 165, 599–612 (2005)
Bellman, R.: The stability of solutions of linear differential equations. Duke Math. J. 10, 643–647 (1943)
Bihari, I.: A generalization of a lemma of Bellman and its application to uniqueness problems of differential equations. Acta Math. Acad. Sci. Hung. 7, 81–94 (1956)
Borkowska, J.: Fractional backward stochastic variational inequalities with non Lipschitz coefficient. Braz. J. Probab. Stat. 33, 480–497 (2019)
Butler, G., Rogers, T.: A generalization of a lemma of Bihari and applications to pointwise estimates for integral equations. J. Math. Anal. Appl. 33, 77–81 (1971)
Fan, S.: Existence, uniqueness and stability of \(L^{1}\) solutions for multidimensional backward stochastic differential equations with generators of one-sided Osgood type. J. Theor. Probab. 31, 1860–1899 (2017)
Fan, S., Jiang, L.: A generalized comparison theorem for BSDEs and its applications. J. Theor. Probab. 25, 50–61 (2012)
Foukrach, D., Meftah, B.: Some new generalized result of Gronwall–Bellman–Bihari type inequality with some singularity. Filomat 34, 3299–3310 (2020)
Gronwall, T.: Note on the derivatives with respect to a parameter of the solutions of a system of differential equations. Ann. Math. (2) 20, 292–296 (1919)
Hun, O., Kim, M., Pak, C.: A stochastic Gronwall’s inequality in random time horizon and its application to BSDE. J. Inequal. Appl. 2020, Article ID 31 (2020)
Hussain, S., Sadia, H., Aslam, S.: Some generalized Gronwall–Bellman–Bihari type integral inequalities with application to fractional stochastic differential equation. Filomat 33, 815–824 (2019)
Kim, Y.: Gronwall, Bellman and Pachpatte type integral inequalities with applications. Nonlinear Anal. 71, 2641–2656 (2009)
Ma, Q., Cheung, W.: Some new nonlinear difference inequalities and their applications. J. Comput. Appl. Math. 202, 339–351 (2007)
Pachpatte, B.: A note on Gronwall–Bellman inequality. J. Math. Anal. Appl. 44, 758–762 (1973)
Pachpatte, B.: On some integral inequalities similar to Bellman–Bihari inequalities. J. Math. Anal. Appl. 49, 794–802 (1975)
Wang, X., Fan, S.: A class of stochastic Gronwall’s inequality and its application. J. Inequal. Appl. 2018, Article ID 336 (2018)
Wang, Z., Zhang, X.: Non-Lipschitz backward stochastic Volterra type equations with jumps. Stoch. Dyn. 7, 479–496 (2007)
Wu, H., Wang, W., Ren, J.: Anticipated backward stochastic differential equations with non-Lipschitz coefficients. Stat. Probab. Lett. 82, 672–682 (2012)
Ye, H., Gao, J., Ding, Y.: A generalized Gronwall inequality and its application to a fractional differential equation. J. Math. Anal. Appl. 328, 1075–1081 (2007)
Zhang, X., Zhu, J.: Non-Lipschitz stochastic differential equations driven by multi-parameter Brownian motions. Stoch. Dyn. 6, 329–340 (2006)
Acknowledgements
The authors are very grateful to the editor and the anonymous referee(s) for their comments and suggestions which led to the present improved version of the manuscript.
Funding
This work is supported by the Special Fund of Basic Scientific Research of Central Colleges (GZQ16022) and NSF of China (Nos. 11626236 11701444) and Shanxi National Science Foundation (No. 2018JQ1008).
Author information
Authors and Affiliations
Contributions
All authors conceived of the study and participated in its design and coordination. All authors 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
Hao, W., Wang, J. A class of backward stochastic Bellman–Bihari’s inequality and its applications. J Inequal Appl 2021, 172 (2021). https://doi.org/10.1186/s13660-021-02706-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-021-02706-8