Stochastic Gronwall's inequality in random time horizon and its application to BSDE

In this paper, we introduce and prove stochastic Gronwall's inequality in (unbounded) random time horizon. As an application, we prove a comparison theorem for backward stochastic differential equation (BSDE for short) with random terminal time under stochastic monotonicity condition.


Introduction
Gronwall's inequality is a handy tool to derive many useful results such as uniqueness, comparison, boundedness, continuous dependence with respect to initial value, and stability in the theory of differential and integral equations. It was first introduced by Gronwall [9] as a differential form, and the integral inequality was proposed by Bellman [3]. Since then, many researchers have studied the various types of generalizations of this inequality motivated by the development of the differential and integral equations [1,5,7,8,12,16,19]. Among such generalizations, we are concerned with the stochastic version of Gronwall's inequality.
Let (Ω, F, P) be a complete probability space on which a d-dimensional Brownian motion B = (B t ) t≥0 is defined. Let (F t ) t≥0 be the right-continuous completion of the natural filtration generated by B, that is, F t := σ {B s , s ≤ t}, and augment it by P-null sets of F . The stochastic forward Gronwall inequality was first proposed by Itô [10] and was developed in several papers (see e.g. [2,18,20]).
Recently, Wang and Fan [17] proposed the following stochastic backward Gronwall inequality due to the development of backward stochastic differential equations.
T t a(s) ds |F t , P-a.s.
Unlike the deterministic case, the backward version of stochastic Gronwall's inequality has an essential difference to the forward one. If the backward inequality is given by a differential equation, then the diffusion term needs to be controlled to ensure the adaptivity of the stochastic processes with respect to the filtration. Indeed, the solution of the backward stochastic differential equation should be a pair of adapted processes, not one process. So the stochastic backward Gronwall inequality involves the conditional expectation. If the random processes a(t) and x(t) are deterministic functions in the above proposition, then we reach the well-known Gronwall inequality (more precisely deterministic backward Gronwall inequality) as follows.

Corollary 1 Let c > 0 be a constant. If a(t) and x(t) are two non-negative
In this paper, we study the complete version of backward Gronwall's inequality in the stochastic sense. More precisely, in Proposition 1, the constants c and T are replaced by a random variable and an (unbounded) stopping time, respectively, and the integral of a(t) is not assumed to be essentially bounded.
Our method uses the martingale representation and random time change to prove the main inequality. Due to the type of the proposed inequality, the application to the stochastic differential (or integral) equation with stochastic coefficients defined up to a random time (more precisely, stopping time) is naturally considered. We give the proof of a comparison theorem of L p -solutions to backward stochastic differential equation (BSDE for short) with random terminal time and stochastic coefficients by using the stochastic Gronwall inequality in a random time horizon, effectively.

Notations
Let p > 1 and τ be an (F t ) t≥0 -stopping time. That is, ∀t ≥ 0, {ω|τ (ω) ≤ t} ∈ F t . Throughout the paper, | · | means the standard Euclidean norm. We put A(t) := t 0 a(s) ds, where a(s) is a non-negative progressively-measurable process. The symbols E[·] and E[·|F t ] denote the expectation and conditional expectation (with respect to F t ), respectively.
In the following notations, θ ∈ R is a fixed constant.
-I B is an indicator function of a set B, that is,

Main inequality
Theorem 1 Let p > 1, l ≥ 0 be constants and q be a constant such that 1/p + 1/q = 1.
Let τ be an (F t ) t≥0 -stopping time and ξ be a non-negative random variable. Let a(t) and , P-a.s., then we have P-a.s., Proof Define the process X(t) := E[ξ + l τ t∧τ a(s)x(s) ds|F t ], then it follows that x(t) ≤ X(t) from the assumption. Let us put η := ξ + l τ 0 a(s)x(s) ds. Using Hölder's inequality with Therefore, By the martingale representation theorem (see [13], Corollary 2.44), there exists a process Z satisfying E[( T 0 |Z t | 2 ds) p 2 ] < ∞ for any T > 0 such that P-a.s. So, Moreover, we have the backward version: for all T > 0, Or equivalently, Now we shall show that Z ∈ H p (ρ, a, [0, τ ], R 1×d ). First, we introduce a certain random time change. Since the process A t = t 0 a(s) ds is strictly increasing and continuous, we can define its inverse denoted by C s := A -1 (s). Then a family of stopping times {C s }, s ≥ 0, is an (F t ) t≥0 -random time change (see [14], Chapter V, Sect. 1 for systematic study of random time changes). Set F t := F C t , then ( F t ) t≥0 is a new filtration. For any adapted process X, we assume that X means the time-changed process, that is, X(t) = X(C t ) (more precisely, X = X • (id Ω × C). We also define τ := A(τ ) and W t := t 0 √ a(s) d B s . Note that W = (W 1 , W 2 , . . . , W d ) is a d-dimensional ( F t ) t≥0 -Brownian motion by Levy's characterization theorem. In fact, for each i ∈ {1, . . . , d}, From the properties of (stochastic) integral with respect to time change, So, we get the following expression with respect to ( F t ) t≥0 : or equivalently, for all T > 0, According to [6], Proposition 3.2, for all T > 0, It is easy to check that From expression (5)

Application
In this section, we show a comparison principle of L p -solutions to BSDEs with random terminal time under stochastic monotonicity condition on generator. The existence and uniqueness of L 2 -solutions (that is, p = 2) to BSDEs under the Lipschitz condition was studied in [4]. Wang et al. [15] first established the existence and uniqueness result of L psolutions under the stochastic Lipschitz condition. Recently, Pardoux and Răşcanu [13] studied the existence and uniqueness of L p -solutions to BSDEs with random terminal time under a stochastic monotonicity condition. The comparisons theorems of L p -solutions were studied in [13,17] under the stochastic Lipschitz (or monotonicity) conditions, but those were restricted to the case of deterministic terminal time. We shall prove the comparison theorem of L p -solutions in an unbounded random time horizon. Let us consider the following one-dimensional BSDE with random terminal time: where the terminal time τ is an (F t ) t≥0 -stopping time, the terminal value ξ is an F τmeasurable random variable, and the generator f : Ω × R + × R × R 1×d → R is (F t ) t≥0progressively measurable. The solution of BSDE (7) is a pair (Y t , Z t ) t≥0 of progressively measurable processes such that Y t = ξ and Z t = 0, P-a.s. for t ≥ τ , and for all 0 ≤ T < ∞, For convenience, we characterize BSDE (7) by a triple (τ , ξ , f ).