Anticipated backward doubly stochastic differential equations with non-Liphschitz coefficients

Backward stochastic differential equations (BSDEs in short) were first introduced by Pardoux and Peng [4]. They proved an existence and uniqueness result under Lipschitz condition. Since then many efforts have been made in relaxing the Lipschitz assumption of the generator of the BSDEs (see among others Mao [3] and Wang and Huang [7]). Few years later, the same authors considered in [5] a new type of BSDEs, that is a class of backward doubly stochastic differential equations (BDSDEs in short) with two different directions of stochastic integrals. These equations are extensively used in the study of stochastic partial differential equations (SPDEs). Their link with SPDEs in the case of Lipchitzian drift was established in [5]. The key point of solvency of such equations is the martingale representation theorem. In this spirit, Bally and Matoussi [1] gave the probabilistic representation of the solution in Sobolev space of semilinear SPDEs in terms of BDSDEs.

On the other hand, Peng and Yang [6] introduced the following type of anticipated backward stochastic differential equations (ABSDEs in short)

${\begin{array}{l} - d Y_{t} = f (t, Y_{t}, Z_{t}, Y_{t + δ (t)}, Z_{t + ζ (t)}) d t - Z_{t} d W_{t}, 0 \leq t \leq T, \\ Y_{t} = ξ_{t}, Z_{t} = η_{t}, T \leq t \leq T + K, \end{array}$ $$\left\{ \begin{array}{*{35}{l}}-d{{Y}_{t}}=f\left( t,{{Y}_{t}},{{Z}_{t}},{{Y}_{t+\delta \left( t \right)}},{{Z}_{t+\zeta \left( t \right)}} \right)dt-{{Z}_{t}}d{{W}_{t}},\ \ \ \ \ \ \ 0\le t\le T, \\{{Y}_{t}}={{\xi }_{t}},\ \ {{Z}_{t}}={{\eta }_{t}},\ \ \ \ \ \ \ \ \ \ T\le t\le T+K, \\\end{array} \right.$$

where δ and ζ are given nonnegative deterministic functions. In these equations, the generator includes not only the values of solutions of the present but also the future. In [6], the authors obtained the existence and uniqueness of the solution of ABSDE under Lipschitz assumption, gave the comparison theorem for one dimensional ABSDEs and finally they solved a stochastic control problem by showing the duality between linear stochastic differential delay equations and ABSDEs.

This paper is devoted to the following anticipated BDSDE

(1.1) ${\begin{array}{l} Y_{t} = ξ_{T} + \int_{t}^{T} f (r, Y_{r}, Z_{r}, Y_{r + δ (r)}, Z_{r + ζ (r)}) d r + \int_{t}^{T} g (r, Y_{r}, Z_{r}) d B_{r} - \int_{t}^{T} Z_{r} d W_{r}, 0 \leq t \leq T, \\ Y_{t} = ξ_{t}, Z_{t} = η_{t}, T \leq t \leq T + K \end{array}$ $$\left\{ \begin{array}{*{35}{l}}{{Y}_{t}}={{\xi }_{T}}+\int_{t}^{T}{f\left( r,{{Y}_{r}},{{Z}_{r}},{{Y}_{r+\delta \left( r \right)}},{{Z}_{r+\zeta \left( r \right)}} \right)dr+\int_{t}^{T}{g\left( r,{{Y}_{r}},{{Z}_{r}} \right)d{{B}_{r}}-\int_{t}^{T}{{{Z}_{r}}d{{W}_{r}},\ \ \ 0\le t\le T,}}} \\{{Y}_{t}}={{\xi }_{t}},\ \ \ {{Z}_{t}}={{\eta }_{t}},\ \ \ \ \ \ \ \ \ \ T\le t\le T+K \\\end{array} \right.$$

where K is a positive constant, x., η: are given stochastic processes and δ,ζ : [0,T]➝R₊ are continuous functions satisfying:

(A1) : t +δ(t) ≤ T +K, t +ζ (t) ≤ T +K:

(A2) : There exists M ≥ 0 such that for 0 ≤ t ≤ T and non negative integrable function h,

$\int_{t}^{T} h (r + ϕ (r)) d r \leq M \int_{t}^{T + K} h (r) d r, ϕ \in {δ, ζ} .$ $$\int_{t}^{T}{h\left( r+\phi \left( r \right) \right)}dr\le M\int_{t}^{T+K}{h\left( r \right)dr,\ \ \ \phi \in \left\{ \delta ,\zeta \right\}}.$$

The paper is organized as follows. In section 2, we study first solvability of our equation in the case of Lipschtzian coefficients. Using this result, in section 3 we prove existence and uniqueness of solution with coefficients satisfying rather weaker conditions.

Preliminaries

Let Ω be a non-empty set, ℱ a σ‒algebra of sets of Ω and P a probability measure defined on ℱ. The triplet (Ω,ℱ, P) defines a probability space, which is assumed to be complete. For a fix real 0 < T ≤ ∞, we assume given two mutually independent processes:

an 𝓁‒dimensional Brownian motion (B_t)_0≤t≤T,

a δ ‒dimensional Brownian motion (W_t)_0≤t≤T.

We consider the family (ℱ_t)_0≤t≤T given by

$F_{t} = F_{t}^{W} \lor F_{t, T}^{B}, 0 \leq t \leq T, G_{s} = F_{0, s}^{W} \lor F_{s, T + k}^{B}, 0 \leq s \leq T + K,$ $${{F}_{t}}=F_{t}^{W}\vee F_{t,T}^{B},\ \ \ \ \ \ 0\le t\le T,\ \ \ \ \ \ {{G}_{s}}=F_{0,s}^{W}\vee F_{s,T+k}^{B},\ \ \ \ \ \ 0\le s\le T+K,$$

where for any process ${φ_{t}}_{t \geq 0}, F_{s, t}^{φ} = σ {φ_{r} - φ_{s}, s \leq r \leq t} \lor N, F_{t}^{φ} = F_{0, t}^{φ} .$ ${{\left\{ {{\varphi }_{t}} \right\}}_{t\ge 0}},F_{s,t}^{\varphi }=\sigma \left\{ {{\varphi }_{r}}-{{\varphi }_{s}},s\le r\le t \right\}\vee N,F_{t}^{\varphi }=F_{0,t}^{\varphi }.$Here 𝒩 denotes the class of P‒null sets of F. Note that (F_t)_0≤t≤T does not constitute a classical filtration.

For k ∈ N^* we consider the following sets (where E denotes the mathematical expectation with respect to the probability measure P):

L²(ℊ_T,R^k) the space of ℊ_T -measurable random variable such that $E [{| ξ_{T} |}^{2}] < + \infty .$ $\mathbf{E}\left[ {{\left| {{\xi }_{T}} \right|}^{2}} \right]<+\infty .$

$I_{[0, T]}^{2} (G, R^{k})$ $I_{\left[ 0,T \right]}^{2}\left( G,{{\text{R}}^{k}} \right)$the space of ℊ_t‒adapted càdlàg processes

$Ψ : [0, T] \times Ω \to R^{k}, {‖ Ψ ‖}_{I^{2} (R^{k})}^{2} = E (\sup_{0 \leq t \leq T} {| Ψ_{t} |}^{2}) < \infty .$ $$\Psi :\left[ 0,T \right]\times \Omega \to {{\text{R}}^{k}},\left\| \Psi \right\|_{{{I}^{2}}\left( {{\mathbf{R}}^{k}} \right)}^{2}=\mathbf{E}\left( \underset{0\le t\le T}{\mathop{\sup }}\,{{\left| {{\Psi }_{t}} \right|}^{2}} \right)<\infty .$$

$M_{[0, T]}^{2} (G, R^{k \times d})$ $M_{\left[ 0,T \right]}^{2}\left( G,{{\mathbf{R}}^{k\times d}} \right)$the space of ℊ_t‒progressively measurable processes

$Ψ : [0, T] \times Ω \to R^{k \times d}, {‖ Ψ ‖}_{M^{2} (R^{k \times d})}^{2} = E \int_{o}^{T} {‖ Ψ_{t} ‖}^{2} d t < \infty .$ $$\Psi :\left[ 0,T \right]\times \Omega \to {{\mathbf{R}}^{k\times d}},\left\| \Psi \right\|_{{{M}^{2}}\left( {{\mathbf{R}}^{k\times d}} \right)}^{2}=\mathbf{E}\int_{o}^{T}{{{\left\| {{\Psi }_{t}} \right\|}^{2}}dt<\infty .}$$

$C_{G}^{2} (0, T) = M_{[0, T]}^{2} (G, R^{k}) \times M_{[0. T]}^{2} (G, R^{k \times d})$ $C_{G}^{2}\left( 0,T \right)=M_{\left[ 0,T \right]}^{2}\left( G,{{\mathbf{R}}^{k}} \right)\times M_{\left[ 0.T \right]}^{2}\left( G,{{\mathbf{R}}^{k\times d}} \right)$endowed with the norm

${‖ (Y, Z) ‖}_{C_{G}^{2} (0, T)}^{2} = {‖ Y ‖}_{M^{2} (R^{k})}^{2} + {‖ Z ‖}_{M^{2} (R^{k \times d})}^{2} .$ $$\left\| \left( Y,Z \right) \right\|_{C_{G}^{2}\left( 0,T \right)}^{2}=\left\| Y \right\|_{{{M}^{2}}\left( {{\mathbf{R}}^{k}} \right)}^{2}+\left\| Z \right\|_{{{M}^{2}}\left( {{\mathbf{R}}^{k\times d}} \right)}^{2}.$$

$B_{G}^{2} (0, T) = I_{[0, T]}^{2} (G, R^{k}) \times M_{[0, T]}^{2} (G, R^{k \times d})$ $B_{G}^{2}\left( 0,T \right)=I_{\left[ 0,T \right]}^{2}\left( G,{{\text{R}}^{k}} \right)\times M_{\left[ 0,T \right]}^{2}\left( G,{{\mathbf{R}}^{k\times d}} \right)$endowed with the norm

${‖ (Y, Z) ‖}_{B_{G}^{2} (0, T)}^{2} = {‖ Y ‖}_{S^{2} (R^{k})}^{2} + {‖ Z ‖}^{2}_{M^{2} (R^{k \times d})} .$ $$\left\| \left( Y,Z \right) \right\|_{B_{G}^{2}\left( 0,T \right)}^{2}=\left\| Y \right\|_{{{S}^{2}}\left( {{\mathbf{R}}^{k}} \right)}^{2}+{{\left\| Z \right\|}^{2}}_{{{M}^{2}}\left( {{\mathbf{R}}^{k\times d}} \right)}.$$

S be the set of all nondecreasing, continuous and concave function ρ(·) : R₊ ➝ R₊ satisfying ρ(0) = 0, $ρ (s) > 0 for s > 0 and \int_{0 +} \frac{d u}{ρ (u)} = + \infty .$ $\rho \left( s \right)>0\ \text{for}\ s\ >\ 0\ \text{and }\int_{0+}{\frac{du}{\rho \left( u \right)}=+\infty .}$

Remark 2.1. For any ρ ∈ S, we can find a pair of positive constants a and b such that ρ(ν) ≤ a +bν for all ν ≥ 0.

We denote A = Ω×[0,T]×R^k ×R^k×d, f(r,0) = h(r,0,0,0,0), for all x,y ∈ R^k |x| the Euclidean norm of x and denote by 〈x,y〉 the Euclidean inner product.

Definition 2.2. A pair of processes (Y,Z) is called a solution to ABDSDE (1.1), $i f (Y, Z) \in B_{G}^{2} (0, T + K)$ $if\left( Y,Z \right)\in \ B_{G}^{2}\left( 0,T+K \right)$and it satisfies eq (1.1).

First we investigate the case of lipschitz coefficients.

The case of Lipschitz coefficients

In this subsection, we will mainly study the existence and uniqueness of the solution to ABDSDE (1.1) with Lipschitz coefficients. For this purpose, we first make the following assumptions.

3.0.1

Assumptions

In the following, we assume that there exists ρ ∈ S such that f and g satisfy assumptions (H1).

(H1.1): There exists a constant c > 0 such that

$\begin{aligned} {|f (t, y, z, θ (r), φ (r)) - f (t, y^{'}, z^{'}, θ^{'} (r), φ^{'} (r))|}^{2} \leq c ({|y - y^{'}|}^{2} + {|z - z^{'}|}^{2}) \\ + E^{F_{t}} [{|θ (r) - θ^{'} (r)|}^{2} + {|φ (r) - φ^{'} (r)|}^{2}], \end{aligned}$ $$\begin{align} & {{\left| f\left( t,y,z,\theta \left( r \right),\varphi \left( r \right) \right)-f\left( t,{y}',{z}',{\theta }'\left( r \right),{\varphi }'\left( r \right) \right) \right|}^{2}}\le c\left( {{\left| y-{y}' \right|}^{2}}+{{\left| z-{z}' \right|}^{2}} \right) \\ & +{{\mathbf{E}}^{{{F}_{t}}}}\left[ {{\left| \theta \left( r \right)-{\theta }'\left( r \right) \right|}^{2}}+{{\left| \varphi \left( r \right){{-}\varphi'}\left( r \right) \right|}^{2}} \right], \\ \end{align}$$

for all $(r, r^{'}) \in [t, T + K], (t, y, z, θ (r), φ (r)), (t, y^{'}, z^{'}, θ^{'} (r), φ^{'} (r)) \in A \times C_{G}^{2} (t, T + K) .$ $\left( r,r' \right)\in \left[ t,T+K \right],\left( t,y,z,\theta \left( r \right),\varphi \left( r \right) \right),\left( t,{y}',{z}',{\theta }'\left( r \right),{\varphi }'\left( r \right) \right)\in A\times C_{G}^{2}\left( t,T+K \right).$

(H1.2): There exists a constant 0 < α₁ < 1 such that for any (t,y, z), (t,y′, z′) ∈ [0,T]×R^k ×R^k×d

${| g (t, y, z) - g (t, y^{'}, z^{'}) |}^{2} \leq c {| y - y^{'} |}^{2} + α_{1} {| z - z^{'} |}^{2} .$ $${{\left| g\left( t,y,z \right)-g\left( t,{y}',{z}' \right) \right|}^{2}}\le c{{\left| y-{y}' \right|}^{2}}+{{\alpha }_{1}}{{\left| z-{z}' \right|}^{2}}.$$

(H1.3): For any (t,y,z) ∈ [0,T]×R^k ×R^k×d,

$E [\int_{o}^{T} {| f (s, 0) |}^{2} d s] + E [\int_{o}^{T} {| g (s, y, z) |}^{2} d s] < \infty .$ $$\mathbf{E}\left[ \int_{o}^{T}{{{\left| f\left( s,0 \right) \right|}^{2}}ds} \right]+\mathbf{E}\left[ \int_{o}^{T}{{{\left| g\left( s,y,z \right) \right|}^{2}}ds} \right]<\infty .$$

3.1

Existence and uniqueness of solution

Lemma 3.1

Suppose that ${(Y_{t}, Z_{t})}_{0 \leq t \leq T} \in C_{G}^{2} (0, T + K)$ ${{\left( {{Y}_{t}},{{Z}_{t}} \right)}_{0\le t\le T}}\in C_{G}^{2}\left( 0,T+K \right)$is the unique solution to the ABDSDE (1.1). Then $Y \in S_{[0, T]}^{2} (G, R^{k}) .$ $Y\in S_{\left[ 0,T \right]}^{2}\left( G,{{\mathbf{R}}^{k}} \right).$

Proof. Itô’s formula applied to eq (1.1) yields, for 0 ≤ t ≤ T

(3.1) $\begin{array}{l} {| Y_{t} |}^{2} + \int_{t}^{T} {| Z_{r} |}^{2} d r = {| ξ_{T} |}^{2} + 2 \int_{t}^{T} 〈 Y_{r}, f (r, Y_{r}, Z_{r}, Y_{r + δ (r)}, Z_{r + ζ (r)}) 〉 d r + 2 \int_{t}^{T} 〈 Y_{r}, g (r, Y_{r}, Z_{r}) d B_{r} 〉 \\ - 2 \int_{t}^{T} 〈 Y_{r}, Z_{r} d W_{r} 〉 + \int_{t}^{T} {| g (r, Y_{r}, Z_{r}) |}^{2} d r . \end{array}$ $$\begin{align}& {{\left| {{Y}_{t}} \right|}^{2}}+\int_{t}^{T}{{{\left| {{Z}_{r}} \right|}^{2}}dr={{\left| {{\xi }_{T}} \right|}^{2}}+2\int_{t}^{T}{\left\langle {{Y}_{r}},f\left( r,{{Y}_{r}},{{Z}_{r}},{{Y}_{r+\delta \left( r \right)}},{{Z}_{r+\zeta \left( r \right)}} \right) \right\rangle dr+2\int_{t}^{T}{\left\langle {{Y}_{r}},g\left( r,{{Y}_{r}},{{Z}_{r}} \right)d{{B}_{r}} \right\rangle }}} \\ & \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ -2\int_{t}^{T}{\left\langle {{Y}_{r}},{{Z}_{r}}d{{W}_{r}} \right\rangle +\int_{t}^{T}{{{\left| g\left( r,{{Y}_{r}},{{Z}_{r}} \right) \right|}^{2}}dr.}} \\ \end{align}$$

Using the fact that 2ab ≤ ε_a2+b²/ε for ε > 0 and assumptionn (H1.1), we deduce that

$\begin{aligned} 2 E \int_{t}^{T} ⟨Y_{r}, f (r, Y_{r}, Z_{r}, Y_{r + δ (r)}, Z_{r + ζ (r)})⟩ d r \leq \frac{1}{ε} E \int_{t}^{T} {|Y_{r}|}^{2} d r + ε c E \int_{t}^{T} ({|Y_{r}|}^{2} + {|Z_{r}|}^{2}) d r \\ + ε E \int_{t}^{T} E^{F_{t}} [{|Y_{r + δ (r)}|}^{2} + {|Z_{r + ζ (r)}|}^{2}] d r + 2 E \int_{t}^{T} |Y_{r}| |f (r, 0)| d r . \end{aligned}$ $$\begin{align}& 2\mathbf{E}\int_{t}^{T}{\left\langle {{Y}_{r}},f\left( r,{{Y}_{r}},{{Z}_{r}},{{Y}_{r+\delta \left( r \right)}},{{Z}_{r+\zeta \left( r \right)}} \right) \right\rangle dr\le \frac{1}{\varepsilon }\mathbf{E}\int_{t}^{T}{{{\left| {{Y}_{r}} \right|}^{2}}dr+\varepsilon c\mathbf{E}\int_{t}^{T}{\left( {{\left| {{Y}_{r}} \right|}^{2}}+{{\left| {{Z}_{r}} \right|}^{2}} \right)}}dr} \\ & +\varepsilon \mathbf{E}\int_{t}^{T}{{{\mathbf{E}}^{{{F}_{t}}}}\left[ {{\left| {{Y}_{r+\delta \left( r \right)}} \right|}^{2}}+{{\left| {{Z}_{r+\zeta \left( r \right)}} \right|}^{2}} \right]}dr+2\mathbf{E}\int_{t}^{T}{\left| {{Y}_{r}} \right|\left| f\left( r,0 \right) \right|dr.} \\ \end{align}$$

Applying (A2), we obtain finally

$\begin{array}{l} 2 E \int_{t}^{T} 〈 Y_{r}, f (r, Y_{r}, Z_{r}, Y_{r + δ (r)}, Z_{r + ζ (r)}) 〉 d r \leq (\frac{1}{ε} + ε (c + M)) E \int_{t}^{T} {| Y_{r} |}^{2} d r \\ + ε (c + M) E \int_{t}^{T} {| Z_{r} |}^{2} d r + 2 E \int_{t}^{T} | Y_{r} | | f (r, 0) | d r + ε M E \int_{T}^{T + K} ({| ξ_{r} |}^{2} + {| η_{r} |}^{2}) d r . \end{array}$ $$\begin{align}& 2\mathbf{E}\int_{t}^{T}{\left\langle {{Y}_{r}},f\left( r,{{Y}_{r}},{{Z}_{r}},{{Y}_{r+\delta \left( r \right)}},{{Z}_{r+\zeta \left( r \right)}} \right) \right\rangle dr\le \left( \frac{1}{\varepsilon }+\varepsilon \left( c+M \right) \right)\mathbf{E}\int_{t}^{T}{{{\left| {{Y}_{r}} \right|}^{2}}dr}} \\ & \ \ \ \ \ \ \ \ \ +\varepsilon \left( c+M \right)\mathbf{E}\int_{t}^{T}{{{\left| {{Z}_{r}} \right|}^{2}}dr}+2\mathbf{E}\int_{t}^{T}{\left| {{Y}_{r}} \right|\left| f\left( r,0 \right) \right|dr+\varepsilon M\mathbf{E}\int_{T}^{T+K}{\left( {{\left| {{\xi }_{r}} \right|}^{2}}+{{\left| {{\eta }_{r}} \right|}^{2}} \right)dr.}} \\ \end{align}$$

In addition, for any 0 ≤ t ≤ T, we have

$\begin{array}{l} E \int_{t}^{T} {| g (r, Y_{r}, Z_{r}) |}^{2} d r \leq E \int_{t}^{T} {| g (r, Y_{r}, Z_{r}) - g (r, 0, 0) |}^{2} d r + E \int_{t}^{T} {| g (r, 0, 0) |}^{2} d r \\ \leq c E \int_{t}^{T} {| Y_{r} |}^{2} d r + α_{1} E \int_{t}^{T} {| Z_{r} |}^{2} d r + E \int_{t}^{T} {g (r, 0, 0) |}^{2} d r . \end{array}$ $$\begin{align}& \mathbf{E}\int_{t}^{T}{{{\left| g\left( r,{{Y}_{r}},{{Z}_{r}} \right) \right|}^{2}}dr\le \mathbf{E}\int_{t}^{T}{{{\left| g\left( r,{{Y}_{r}},{{Z}_{r}} \right)-g\left( r,0,0 \right) \right|}^{2}}dr+\mathbf{E}\int_{t}^{T}{{{\left| g\left( r,0,0 \right) \right|}^{2}}dr}}} \\ & \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \,\le c\mathbf{E}\int_{t}^{T}{{{\left| {{Y}_{r}} \right|}^{2}}dr+{{\alpha }_{1}}}\mathbf{E}\int_{t}^{T}{{{\left| {{Z}_{r}} \right|}^{2}}dr+\mathbf{E}\int_{t}^{T}{{{\left. g\left( r,0,0 \right) \right|}^{2}}}dr.} \\ \end{align}$$

Putting pieces together, we deduce from (3.1) that

$\begin{aligned} E \int_{t}^{T} {|Z_{r}|}^{2} d r \leq E [{|ξ_{T}|}^{2}] + M ε E \int_{T}^{T + K} ({|ξ_{r}|}^{2} + {|η_{r}|}^{2}) d r + (\frac{1}{ε} + ε (c + M) + c) E \int_{t}^{T} {|Y_{r}|}^{2} d r \\ + 2 E \int_{t}^{T} |Y_{r}| |f (r, 0)| d r + E \int_{t}^{T} {|g (r, 0, 0)|}^{2} d r + (α_{1} + ε (c + M)) E \int_{t}^{T} {|Z_{r}|}^{2} d r . \end{aligned}$ $$\begin{align}& \mathbf{E}\int_{t}^{T}{{{\left| {{Z}_{r}} \right|}^{2}}dr\le \mathbf{E}\left[ {{\left| {{\xi }_{T}} \right|}^{2}} \right]+M\varepsilon \mathbf{E}\int_{T}^{T+K}{\left( {{\left| {{\xi }_{r}} \right|}^{2}}+{{\left| {{\eta }_{r}} \right|}^{2}} \right)}dr+\left( \frac{1}{\varepsilon }+\varepsilon \left( c+M \right)+c \right)\mathbf{E}\int_{t}^{T}{{{\left| {{Y}_{r}} \right|}^{2}}dr}} \\ & +2\mathbf{E}\int_{t}^{T}{\left| {{Y}_{r}} \right|\left| f\left( r,0 \right) \right|dr+\mathbf{E}\int_{t}^{T}{{{\left| g\left( r,0,0 \right) \right|}^{2}}dr+\left( {{\alpha }_{1}}+\varepsilon \left( c+M \right) \right)\mathbf{E}\int_{t}^{T}{{{\left| {{Z}_{r}} \right|}^{2}}dr.}}} \\ \end{align}$$

If we choose ε = ε₀ satisfying 1/C₀ = (1‒[α₁+ε₀(c+M)])^‒¹ > 0, we deduce that

(3.2) $E \int_{t}^{T} {| Z_{r} |}^{2} d r \leq \frac{1}{C_{0}} E [X_{t} + 2 \int_{t}^{T} | Y_{r} | | f (r, 0) | d r + \int_{t}^{T} {| g (r, 0, 0) |}^{2} d r]$ $$\mathbf{E}\int_{t}^{T}{{{\left| {{Z}_{r}} \right|}^{2}}dr}\le \frac{1}{{{C}_{0}}}\mathbf{E}\left[ {{X}_{t}}+2\int_{t}^{T}{\left| {{Y}_{r}} \right|\left| f\left( r,0 \right) \right|dr+\int_{t}^{T}{{{\left| g\left( r,0,0 \right) \right|}^{2}}dr}} \right]$$

where putting $C_{1} = (\frac{1}{ε_{0}} + ε_{0} (c + M + c)),$ ${{C}_{1}}=\left( \frac{1}{{{\varepsilon }_{0}}}+{{\varepsilon }_{0}}\left( c+M+c \right) \right),$

$X_{t} = [{| ξ_{T} |}^{2} + M ε_{0} \int_{T}^{T + k} ({| ξ_{r} |}^{2} + {| η_{r} |}^{2}) d r + C_{1} \int_{t}^{T} {| Y_{r} |}^{2} d r] .$ $${{X}_{t}}=\left[ {{\left| {{\xi }_{T}} \right|}^{2}}+M{{\varepsilon }_{0}}\int_{T}^{T+k}{\left( {{\left| {{\xi }_{r}} \right|}^{2}}+{{\left| {{\eta }_{r}} \right|}^{2}} \right)dr+{{C}_{1}}\int_{t}^{T}{{{\left| {{Y}_{r}} \right|}^{2}}dr}} \right].$$

By the same computations as before, we have

(3.3) $\begin{array}{l} E [{| ξ_{T} |}^{2}] + 2 E \int_{t}^{T} 〈 Y_{r}, f (r, Y_{r}, Z_{r}, Y_{r + δ (r)}, Z_{r + ζ (r)}) 〉 d r + E \int_{t}^{T} {| g (r, Y_{r}, Z_{r}) |}^{2} d r \\ \leq \frac{1}{C_{0}} E [X_{t} + 2 \int_{t}^{T} | Y_{r} | | f (r, 0) | d r + {\int_{t}^{T} | g (r, 0, 0) |}^{2} d r] . \end{array}$ $$\begin{align}& \mathbf{E}\left[ {{\left| {{\xi }_{T}} \right|}^{2}} \right]+2\mathbf{E}\int_{t}^{T}{\left\langle {{Y}_{r}},f\left( r,{{Y}_{r}},{{Z}_{r}},{{Y}_{r+\delta \left( r \right)}},{{Z}_{r+\zeta \left( r \right)}} \right) \right\rangle }dr+E\int_{t}^{T}{{{\left| g\left( r,{{Y}_{r}},{{Z}_{r}} \right) \right|}^{2}}dr} \\ & \ \ \ \ \ \ \ \ \ \ \ \ \le \frac{1}{{{C}_{0}}}\mathbf{E}\left[ {{X}_{t}}+2\int_{t}^{T}{\left| {{Y}_{r}} \right|\left| f\left( r,0 \right) \right|dr+{{\int_{t}^{T}{\left| g\left( r,0,0 \right) \right|}}^{2}}dr} \right]. \\ \end{align}$$

Moreover using again eq (3.1), we have

(3.4) $\begin{aligned} E (sup_{t \leq r \leq T} {|Y_{r}|}^{2}) \leq E [{|ξ_{T}|}^{2}] + 2 E sup_{t \leq r \leq T} (\int_{s}^{T} ⟨Y_{r}, f (r, Y_{r}, Z_{r}, Y_{r + δ (r),} Z_{r + ζ (r)})⟩ d r) \\ + 2 E sup_{t \leq s \leq T} |\int_{s}^{T} ⟨Y_{r}, g (r, Y_{r}, Z_{r}) d B_{r}⟩| + 2 E sup_{t \leq s \leq T} |\int_{s}^{T} ⟨Y_{r}, Z_{r} d W_{r}⟩| \\ + \int_{t}^{T} {|g (r, Y_{r}, Z_{r})|}^{2} d r . \end{aligned}$ $$\begin{align} & \mathbf{E}\left( \underset{t\le r\le T}{\mathop{\sup }}\,{{\left| {{Y}_{r}} \right|}^{2}} \right)\le \mathbf{E}\left[ {{\left| {{\xi }_{T}} \right|}^{2}} \right]+2\text{E}\underset{t\le r\le T}{\mathop{\sup }}\,\left( \int_{s}^{T}{\left\langle {{Y}_{r}},f\left( r,{{Y}_{r}},{{Z}_{r}},{{Y}_{r+\delta \left( r \right),}}{{Z}_{r+\zeta \left( r \right)}} \right) \right\rangle dr} \right) \\ & \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,+2\mathbf{E}\underset{t\le s\le T}{\mathop{\sup }}\,\left| \int_{s}^{T}{\left\langle {{Y}_{r}},g\left( r,{{Y}_{r}},{{Z}_{r}} \right)d{{B}_{r}} \right\rangle } \right|+2\mathbf{E}\underset{t\le s\le T}{\mathop{\sup }}\,\left| \int_{s}^{T}{\left\langle {{Y}_{r}},{{Z}_{r}}d{{W}_{r}} \right\rangle } \right| \\ & \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,+\int_{t}^{T}{{{\left| g\left( r,{{Y}_{r}},{{Z}_{r}} \right) \right|}^{2}}}dr. \\ \end{align}$$

By Burkhölder-Davis-Gundy inequality, there exists a constant C > 0 which may vary from line to line such that

$\begin{aligned} E sup_{t \leq s \leq T} |\int_{s}^{T} ⟨Y_{r}, g (r, Y_{r}, Z_{r}) d B_{r}⟩| \leq \frac{1}{8} E (sup_{t \leq r \leq T} {|Y_{r}|}^{2}) + C \int_{t}^{T} {|g (r, Y_{r}, Z_{r})|}^{2} d r \\ 2 E sup_{t \leq s \leq T} |\int_{s}^{T} ⟨Y_{r}, Z_{r} d W_{r}⟩| \leq f \frac{1}{8} E (sup_{t \leq r \leq T} {|Y_{1}|}^{2}) + C \int_{t}^{T} {|Z_{r}|}^{2} d r \end{aligned}$ $$\begin{align}& \mathbf{E}\underset{t\le s\le T}{\mathop{\sup }}\,\left| \int_{s}^{T}{\left\langle {{Y}_{r}},g\left( r,{{Y}_{r}},{{Z}_{r}} \right)d{{B}_{r}} \right\rangle } \right|\le \frac{1}{8}\mathbf{E}\left( \underset{t\le r\le T}{\mathop{\sup }}\,{{\left| {{Y}_{r}} \right|}^{2}} \right)+C\int_{t}^{T}{{{\left| g\left( r,{{Y}_{r}},{{Z}_{r}} \right) \right|}^{2}}}dr \\ & 2\mathbf{E}\underset{t\le s\le T}{\mathop{\sup }}\,\left| \int_{s}^{T}{\left\langle {{Y}_{r}},{{Z}_{r}}d{{W}_{r}} \right\rangle } \right|\le f\frac{1}{8}\mathbf{E}\left( \underset{t\le r\le T}{\mathop{\sup }}\,{{\left| {{Y}_{1}} \right|}^{2}} \right)+C\int_{t}^{T}{{{\left| {{Z}_{r}} \right|}^{2}}dr} \\ \end{align}$$

Using the above inequalities, we deduce from (3.4) that

$\begin{array}{l} \frac{3}{4} E (\sup_{t \leq r \leq T} {| Y_{r} |}^{2}) \leq E [{| ξ_{T} |}^{2}] + 2 E \sup_{t \leq s \leq T} (\int_{s}^{T} 〈 Y_{r}, f (r, Y_{r}, Z_{r}, Y_{r + δ (r)}, Z_{r + ζ (r)}) 〉 d r) \\ + C \int_{t}^{T} {| g (r, Y_{r}, Z_{r}) |}^{2} d r + C E \int_{t}^{T} {| Z_{r} |}^{2} d r \end{array}$ $$\begin{align}& \frac{3}{4}\mathbf{E}\left( \underset{t\le r\le T}{\mathop{\sup }}\,{{\left| {{Y}_{r}} \right|}^{2}} \right)\le \mathbf{E}\left[ {{\left| {{\xi }_{T}} \right|}^{2}} \right]+2\mathbf{E}\underset{t\le s\le T}{\mathop{\sup }}\,\left( \int_{s}^{T}{\left\langle {{Y}_{r}},f\left( r,{{Y}_{r}},{{Z}_{r}},{{Y}_{r+\delta \left( r \right)}},{{Z}_{r+\zeta \left( r \right)}} \right) \right\rangle dr} \right) \\ & \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \,+C\int_{t}^{T}{{{\left| g\left( r,{{Y}_{r}},{{Z}_{r}} \right) \right|}^{2}}dr+C\mathbf{E}\int_{t}^{T}{{{\left| {{Z}_{r}} \right|}^{2}}dr}} \\ \end{align}$$

Applying (3.2) and (3.3), we deduce that

(3.5) $\frac{3}{4} E (\sup_{t \leq r \leq T} {| Y_{r} |}^{2}) \leq \frac{2 C}{C_{0}} E [X_{t} + 2 \int_{t}^{T} | Y_{r} | | f (r, 0) | d r + \int_{t}^{T} {| g (r, 0, 0) |}^{2} d r] .$ $$\frac{3}{4}\mathbf{E}\left( \underset{t\le r\le T}{\mathop{\sup }}\,{{\left| {{Y}_{r}} \right|}^{2}} \right)\le \frac{2C}{{{C}_{0}}}\mathbf{E}\left[ {{X}_{t}}+2\int_{t}^{T}{\left| {{Y}_{r}} \right|\left| f\left( r,0 \right) \right|dr+\int_{t}^{T}{{{\left| g\left( r,0,0 \right) \right|}^{2}}dr}} \right].$$

Moreover, we have

$\frac{4 C}{C_{0}} E \int_{t}^{T} | Y_{r} | | f (r, 0) | d r \leq \frac{1}{4} E (\sup_{t \leq r \leq T} {| Y_{r} |}^{2}) + 4 {(\frac{2 C}{C_{0}})}^{2} E {(\int_{t}^{T} | f (r, 0) | d r)}^{2} .$ $$\frac{4C}{{{C}_{0}}}\mathbf{E}\int_{t}^{T}{\left| {{Y}_{r}} \right|\left| f\left( r,0 \right) \right|dr\le \frac{1}{4}\mathbf{E}\left( \underset{t\le r\le T}{\mathop{\sup }}\,{{\left| {{Y}_{r}} \right|}^{2}} \right)+4{{\left( \frac{2C}{{{C}_{0}}} \right)}^{2}}\mathbf{E}{{\left( \int_{t}^{T}{\left| f\left( r,0 \right) \right|dr} \right)}^{2}}.}$$

Hence gathering (3.2) and (3.5) we obtain

(3.6) $\frac{1}{2} E (\sup_{t \leq r \leq T} {| Y_{r} |}^{2}) + E \int_{t}^{T} {| Z_{r} |}^{2} d r \leq C_{2} E [X_{t} + {(\int_{t}^{T} | f (r, 0) | d r)}^{2} + \int_{t}^{T} {| g (r, 0, 0) |}^{2} d r],$ $$\frac{1}{2}\mathbf{E}\left( \underset{t\le r\le T}{\mathop{\sup }}\,{{\left| {{Y}_{r}} \right|}^{2}} \right)+\mathbf{E}\int_{t}^{T}{{{\left| {{Z}_{r}} \right|}^{2}}dr\le {{C}_{2}}\mathbf{E}\left[ {{X}_{t}}+{{\left( \int_{t}^{T}{\left| f\left( r,0 \right) \right|}dr \right)}^{2}}+\int_{t}^{T}{{{\left| g\left( r,0,0 \right) \right|}^{2}}dr} \right]},$$

where C₂ is a positive constant (which may change from line to line).

Then, applying the fubini’s theorem to (3.6) , this leads to

$\begin{array}{l} E (\sup_{t \leq r \leq T} {| Y_{r} |}^{2}) \leq C_{2} E [{| ξ_{T} |}^{2} + \int_{T}^{T + K} ({| ξ_{r} |}^{2} + {| η_{r} |}^{2}) d r + {(\int_{t}^{T} | f (r, 0) | d r)}^{2} + \int_{t}^{T} {| g (r, 0, 0) |}^{2} d r] \\ + C_{3} \int_{t}^{T} E [\sup_{r \leq s \leq T} {| Y_{s} |}^{2}] d r, \end{array}$ $$\begin{align}& \mathbf{E}\left( \underset{t\le r\le T}{\mathop{\sup }}\,{{\left| {{Y}_{r}} \right|}^{2}} \right)\le {{C}_{2}}\mathbf{E}\left[ {{\left| {{\xi }_{T}} \right|}^{2}}+\int_{T}^{T+K}{\left( {{\left| {{\xi }_{r}} \right|}^{2}}+{{\left| {{\eta }_{r}} \right|}^{2}} \right)dr+{{\left( \int_{t}^{T}{\left| f\left( r,0 \right) \right|dr} \right)}^{2}}+\int_{t}^{T}{{{\left| g\left( r,0,0 \right) \right|}^{2}}dr}} \right] \\ & \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \,+{{C}_{3}}\int_{t}^{T}{\mathbf{E}[\underset{r\le s\le T}{\mathop{\sup }}\,{{\left| {{Y}_{s}} \right|}^{2}}]dr,} \\ \end{align}$$

where C₃ = 2C₁C₂. Hence Gronwall’s inequality yields

$E (\sup_{t \leq r \leq T} {| Y_{r} |}^{2}) \leq + \infty .$ $$E\left( \underset{t\le r\le T}{\mathop{\sup }}\,{{\left| {{Y}_{r}} \right|}^{2}} \right)\le +\infty .$$

This implies that $Y \in S_{[0, T]}^{2} (G, R^{k}) .$ $Y\in S_{\left[ 0,T \right]}^{2}\left( G,{{\mathbf{R}}^{k}} \right).$This completes the proof.

To solve our equations, we examine first the cases where the coefficients do not depend on the variables. Namely, we consider the stochastic equation

(3.7) $Y_{t} = ξ_{T} + \int_{t}^{T} f (r) d r + \int_{t}^{T} g (r) d B_{r} - \int_{t}^{T} Z_{r} d W_{r}, 0 \leq t \leq T .$ $${{Y}_{t}}={{\xi }_{T}}+\int_{t}^{T}{f\left( r \right)dr+\int_{t}^{T}{g\left( r \right)d{{B}_{r}}-\int_{t}^{T}{{{Z}_{r}}d{{W}_{r}},\ \ \ \ 0\le t\le T.}}}$$

where $f \in M_{[0, T]}^{2} (G, R^{k}), g \in M_{[0, T]}^{2} (G, R^{k \times l}) and ξ_{T} L^{2} (G_{T}, R^{k}) .$ $f\in M_{\left[ 0,T \right]}^{2}\left( G,{{\mathbf{R}}^{k}} \right),\ \ \ \ g\in M_{\left[ 0,T \right]}^{2}\left( G,{{\mathbf{R}}^{k\times l}} \right)\ \text{and }{{\xi }_{T}}{{L}^{2}}\left( {{G}_{T}},{{\mathbf{R}}^{k}} \right).$

Let us recall the following result which will be useful in the sequel (the proof is omitted since it is an adaptation of Theorem 3.1 in Xu [9]).

Proposition 3.2. Given ξ_T ∈ L²(G_T,R^k), eq (3.7) has a unique solution ${(Y_{t}, Z_{t})}_{0 \leq t \leq T} \in C_{G}^{2} (0, T) .$ ${{\left( {{Y}_{t}},{{Z}_{t}} \right)}_{0\le t\le T}}\in C_{G}^{2}\left( 0,T \right).$

We are now in position to give our main results of this section.

Theorem 3.3

Assume that the assumptions (A1), (A2) and (H1) are true and let ξ_T ∈ L²(ℊ_T,R^k). Then for any $(ξ, η) \in S_{[T, T + K]}^{2} (G, R^{k}) \times M_{[T, T + K]}^{2} (G, R^{k \times d})$ $\left( \xi ,\eta \right)\in S_{\left[ T,T+K \right]}^{2}\left( G,{{\mathbf{R}}^{k}} \right)\times M_{\left[ T,T+K \right]}^{2}\left( G,{{\mathbf{R}}^{k\times d}} \right)$the ABDSDE (1.1) has a unique solution (Y_t ,Z_t)_0≤t≤T ∈ $B_{G}^{2} (0, T + K) .$ $B_{G}^{2}\left( 0,T+K \right).$

Proof. (i) Existence. Let us consider the mapping

$\begin{array}{l} Ψ : C_{G}^{2} (0, T + K) \to C_{G}^{2} (0, T + K), \\ (y, z) \to (Y, Z) \end{array}$ $$\begin{align}& \Psi :C_{G}^{2}\left( 0,T+K \right)\to C_{G}^{2}\left( 0,T+K \right), \\ & \ \ \ \ \ \ \ \ \ \ \ \ \ \,\,\,\,\left( y,z \right)\to \left( Y,Z \right) \\ \end{align}$$

where the pair ${(Y_{t}, Z_{t})}_{0 \leq t \leq T + K} \in C_{G}^{2} (0, T + K) is s .t {(Y_{t}, Z_{t})}_{T \leq t \leq T + K} = (ξ_{n}, η_{t})$ ${{\left( {{Y}_{t}},{{Z}_{t}} \right)}_{0\le t\le T+K}}\in C_{G}^{2}\left( 0,T+K \right)\ \text{is s}\text{.t}\ \ {{\left( {{Y}_{t}},{{Z}_{t}} \right)}_{T\le t\le T+K}}=\left( {{\xi }_{n}},{{\eta }_{t}} \right)$and it satisfies the equation

(3.8) $\{\begin{cases} \forall 0 \leq t \leq T, \\ Y_{t} = ξ_{T} + \int_{t}^{T} f (r, y_{r}, z_{r}, y_{r + δ (r)}, z_{r + ζ (r)}) d r + \int_{t}^{T} g (r, y_{r}, z_{r}) d B_{r} - \int_{t}^{T} Z_{r} d W_{r}, \\ \forall t \in [T, T + K], Y_{t} = ξ_{t}, Z_{t} = n_{t} \end{cases}$ $$\left\{ \begin{array}{*{35}{l}} \forall 0\le t\le T, \\ {{Y}_{t}}={{\xi }_{T}}+\int_{t}^{T}{f\left( r,{{y}_{r}},{{z}_{r}},{{y}_{r+\delta \left( r \right)}},{{z}_{r+\zeta \left( r \right)}} \right)dr+\int_{t}^{T}{g\left( r,{{y}_{r}},{{z}_{r}} \right)d{{B}_{r}}-\int_{t}^{T}{{{Z}_{r}}d{{W}_{r}},}}} \\ \forall t\in \left[ T,T+K \right], {{Y}_{t}}={{\xi }_{t}}, {{Z}_{t}}={{n}_{t}} \\ \end{array} \right.$$ .

Thanks to Proposition 3.2, the mapping Ψ is well defined. Let (Y,Z) and $(\tilde{Y}, \tilde{Z})$ $\left( \tilde{Y},\tilde{Z} \right)$be two solutions of eq.(3.8), i.e :

$(Y, Z) = Ψ (y, z) and (\tilde{Y}, \tilde{Z}) = Ψ (\tilde{y}, \tilde{z}) .$ $\left( Y,Z \right)=\Psi \left( y,z \right)\ \ \ \ \text{and}\ \ \ \ \left( \tilde{Y},\tilde{Z} \right)=\Psi \left( \tilde{y},\tilde{z} \right).$

Fix β ∈ R. The pair $(\bar{Y}, \bar{Z})$ $\left( \overline{Y},\overline{Z} \right)$solves the ABDSDE

(3.9) ${\begin{cases} {\bar{Y}}_{t} = \int_{t}^{T} Δ f (r) d r + \int_{t}^{T} Δ g (r) d B_{r} - \int_{t}^{T} {\bar{Z}}_{r} d W_{r}, \forall 0 \leq t \leq T, \\ \forall t \in [T, T + K], {\bar{Y}}_{t} = 0, {\bar{Z}}_{t} = 0, \end{cases}$ $$\left\{ \begin{array}& {{{\bar{Y}}}_{t}}=\int_{t}^{T}{\Delta f\left( r \right)dr+}\int_{t}^{T}{\Delta g\left( r \right)d{{B}_{r}}-\int_{t}^{T}{{{{\bar{Z}}}_{r}}d{{W}_{r}},\,\,\,\,\,}}\forall 0\le t\le T, \\ \forall t\,\in \left[ T,T+K \right],\,\,\,\,{{{\bar{Y}}}_{t}}=0,\,\,\,{{{\bar{Z}}}_{t}}=0,\\ \end{array} \right.$$

where for $ρ \in {Y, Z}, \bar{ρ} = ρ - \tilde{ρ}, Δ g (r) = g (r, y_{r}, z_{r}) - g (r, {\tilde{y}}_{r}, {\tilde{z}}_{r})$ $\rho \in \left\{ Y,Z \right\},\bar{\rho }=\rho -\tilde{\rho },\Delta g\left( r \right)=g\left( r,{{y}_{r}},{{z}_{r}} \right)-g\left( r,{{{\tilde{y}}}_{r}},{{{\tilde{z}}}_{r}} \right)$and

$Δ f (r) = f (r, y_{r}, z_{r}, y_{r + δ (r)}, z_{r + ζ (r)}) - f (r, {\tilde{y}}_{r}, {\tilde{z}}_{r}, {\tilde{y}}_{r + δ (r)}) .$ $$\Delta f\left( r \right)=f\left( r,{{y}_{r}},{{z}_{r}},{{y}_{r+\delta \left( r \right)}},{{z}_{r+\zeta \left( r \right)}} \right)-f\left( r,{{{\tilde{y}}}_{r}},{{{\tilde{z}}}_{r}},{{{\tilde{y}}}_{r+\delta \left( r \right)}} \right).$$

Applying Ito’s formula, we obtain

(3.10) $E [e^{β t} {|{\bar{Y}}_{t}|}^{2} + β \int_{t}^{T} e^{β r} {|{\bar{Y}}_{r}|}^{2} d r + \int_{t}^{T} e^{β r} {|{\bar{Z}}_{r}|}^{2} d r] = 2 E \int_{t}^{T} e^{β r} ⟨{\bar{Y}}_{r}, Δ f (r)⟩ d r + E \int_{t}^{T} e^{β r} {|Δ g (r)|}^{2} d r .$ $$\text{E}\left[ {{e}^{\beta t}}{{\left| {{{\bar{Y}}}_{t}} \right|}^{2}}+\beta \int_{t}^{T}{{{e}^{\beta r}}}{{\left| {{{\bar{Y}}}_{r}} \right|}^{2}}dr+\int_{t}^{T}{{{e}^{\beta r}}}{{\left| {{{\bar{Z}}}_{r}} \right|}^{2}}dr \right]=2\text{E}\int_{t}^{T}{{{e}^{\beta r}}}\left\langle {{{\bar{Y}}}_{r}},\Delta f\left( r \right) \right\rangle dr+\text{E}\int_{t}^{T}{{{e}^{\beta r}}}{{\left| \Delta g\left( r \right) \right|}^{2}}dr.$$

Using the inequality 2ab ≤ εa²+ b²/ε (where ε > 0 will be chosen later) and assumption (H1.1), we obtain

$E \int_{t}^{T} e^{β r} {| Δ g (r) |}^{2} d r \leq c E \int_{t}^{T + K} e^{β r} {| {\bar{y}}_{r} |}^{2} d r + α_{1} E \int_{t}^{T + K} e^{β r} {| {\bar{z}}_{r} |}^{2} d r .$ $$\text{E}\int_{t}^{T}{{{e}^{\beta r}}{{\left| \Delta g\left( r \right) \right|}^{2}}dr\le c\text{E}}\int_{t}^{T+K}{{{e}^{\beta r}}{{\left| {{{\bar{y}}}_{r}} \right|}^{2}}dr+}{{\alpha }_{1}}\text{E}\int_{t}^{T+K}{{{e}^{\beta r}}{{\left| {{{\bar{z}}}_{r}} \right|}^{2}}dr}.$$

Similarly, we have

$2 e^{β r} 〈 {\bar{Y}}_{r}, Δ f (r) 〉 \leq e^{β r} ε {| {\bar{Y}}_{r} |}^{2} + \frac{c}{ε} e^{β r} ({| {\bar{y}}_{r} |}^{2} + {| {\bar{z}}_{r} |}^{2}) + \frac{1}{ε} e^{β r} E^{F_{t}} [{| {\bar{y}}_{r + δ (r)} |}^{2} + {| {\bar{z}}_{r + ζ (r)} |}^{2}] .$ $$2{{e}^{\beta r}}\left\langle {{{\bar{Y}}}_{r}},\Delta f\left( r \right) \right\rangle \le {{e}^{\beta r}}\varepsilon {{\left| {{{\bar{Y}}}_{r}} \right|}^{2}}+\frac{c}{\varepsilon }{{e}^{\beta r}}\left( {{\left| {{{\bar{y}}}_{r}} \right|}^{2}}+{{\left| {{{\bar{z}}}_{r}} \right|}^{2}} \right)+\frac{1}{\varepsilon }{{e}^{\beta r}}{{\mathbf{E}}^{{{F}_{t}}}}\left[ {{\left| {{{\bar{y}}}_{r+\delta \left( r \right)}} \right|}^{2}}+{{\left| {{{\bar{z}}}_{r+\zeta \left( r \right)}} \right|}^{2}} \right].$$

Which implies by virtue of condition (A2) that

$2 E \int_{t}^{T} e^{β r} 〈 {\bar{Y}}_{r}, Δ f (r) 〉 d r \leq ε E \int_{t}^{T + K} e^{β r} {| {\bar{Y}}_{r} |}^{2} d r + \frac{1}{ε} (c + M) E \int_{t}^{T + K} e^{β r} ({| {\bar{y}}_{r} |}^{2} + {| {\bar{z}}_{r} |}^{2}) d r .$ $$2\mathbf{E}\int_{t}^{T}{{{e}^{\beta r}}\left\langle {{{\bar{Y}}}_{r}},\Delta f\left( r \right) \right\rangle }\,dr\le \varepsilon \mathbf{E}\int_{t}^{T+K}{{{e}^{\beta r}}{{\left| {{{\bar{Y}}}_{r}} \right|}^{2}}dr}+\frac{1}{\varepsilon }\left( c+M \right)\mathbf{E}\int_{t}^{T+K}{{{e}^{\beta r}}\left( {{\left| {{{\bar{y}}}_{r}} \right|}^{2}}+{{\left| {{{\bar{z}}}_{r}} \right|}^{2}} \right)dr}.$$

Therefore, we can write $(Where γ = \frac{\frac{1}{ε} (c + M) + c}{\frac{1}{ε} (c + M) + α_{1}})$ $\left( \text{Where}\,\gamma =\frac{\frac{1}{\varepsilon }\left( c+M \right)+c}{\frac{1}{\varepsilon }\left( c+M \right)+{{\alpha }_{1}}} \right)$

$\begin{array}{l} E (e^{β t} {| {\bar{Y}}_{t} |}^{2}) + (β - ε) E \int_{t}^{T + K} e^{β r} {| {\bar{Y}}_{r} |}^{2} d r + E \int_{r}^{T + K} e^{β r} {| {\bar{Z}}_{r} |}^{2} d r \\ \leq (\frac{1}{ε} (c + M) + c) E \int_{t}^{T + K} e^{β r} {| {\bar{y}}_{r} |}^{2} d r + (\frac{1}{ε} (c + M) + α_{1}) E \int_{t}^{T + K} e^{β r} {| {\bar{z}}_{r} |}^{2} d r \\ = (\frac{1}{ε} (c + M) + α_{1}) E \int_{t}^{T + K} e^{β r} [γ {| {\bar{y}}_{r} |}^{2} + {| {\bar{z}}_{r} |}^{2}] d r . \end{array}$ $$\begin{align}& \mathbf{E}\left( {{e}^{\beta t}}{{\left| {{{\bar{Y}}}_{t}} \right|}^{2}} \right)+\left( \beta -\varepsilon \right)\mathbf{E}\int_{t}^{T+K}{{{e}^{\beta r}}}{{\left| {{{\bar{Y}}}_{r}} \right|}^{2}}dr+\mathbf{E}\int_{r}^{T+K}{{{e}^{\beta r}}{{\left| {{{\bar{Z}}}_{r}} \right|}^{2}}}dr \\ & \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\le \left( \frac{1}{\varepsilon }\left( c+M \right)+c \right)\mathbf{E}\int_{t}^{T+K}{{{e}^{\beta r}}{{\left| {{{\bar{y}}}_{r}} \right|}^{2}}dr+\left( \frac{1}{\varepsilon }\left( c+M \right)+{{\alpha }_{1}} \right)\mathbf{E}\int_{t}^{T+K}{{{e}^{\beta r}}{{\left| {{{\bar{z}}}_{r}} \right|}^{2}}dr}} \\ & \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,=\left( \frac{1}{\varepsilon }\left( c+M \right)+{{\alpha }_{1}} \right)\mathbf{E}\int_{t}^{T+K}{{{e}^{\beta r}}\left[ \gamma {{\left| {{{\bar{y}}}_{r}} \right|}^{2}}+{{\left| {{{\bar{z}}}_{r}} \right|}^{2}} \right]}\,dr. \\ \end{align}$$

Hence if we choose ε = ε₀ satisfying $\bar{c} = (\frac{1}{ε_{0}} (c + M) + α_{1}) < 1,$ $\bar{c}=\left( \frac{1}{{{\varepsilon }_{0}}}\left( c+M \right)+{{\alpha }_{1}} \right)<1,$choose β = ε₀+ γ, then we deduce

$E \int_{t}^{T + K} e^{β r} [γ {| {\bar{Y}}_{r} |}^{2} + {| {\bar{Z}}_{r} |}^{2}] d r \leq \bar{c} E \int_{t}^{T + K} e^{β r} [γ {| \bar{y} |}^{2} + {| {\bar{z}}_{r} |}^{2}] d r .$ $$\mathbf{E}\int_{t}^{T+K}{{{e}^{\beta r}}\left[ \gamma {{\left| {{{\bar{Y}}}_{r}} \right|}^{2}}+{{\left| {{{\bar{Z}}}_{r}} \right|}^{2}} \right]}\,dr\le \bar{c}\mathbf{E}\int_{t}^{T+K}{{{e}^{\beta r}}}\left[ \gamma {{\left| {\bar{y}} \right|}^{2}}+{{\left| {{{\bar{z}}}_{r}} \right|}^{2}} \right]\,dr.$$

Thus, the mapping Ψ is a strict contraction on $C_{G}^{2} (0, T + K)$ $C_{G}^{2}\left( 0,T+K \right)$and it has a unique fixed point

$(Y, Z) \in C_{G}^{2} (0, T + K) .$ $\left( Y,Z \right)\in C_{G}^{2}\left( 0,T+K \right).$

It remains to prove that the above solution is in $B_{G}^{2} (0, T + K) .$ $B_{G}^{2}\left( 0,T+K \right).$Indeed, by Lemma 3.1, we have $Y \in S_{[0, T]}^{2} (G, R^{k}) .$ $Y\in S_{\left[ 0,T \right]}^{2}\left( G\text{,}{{\mathbf{R}}^{k}} \right).$Thus, we obtain ${(Y_{t}, Z_{t})}_{0 \leq t \leq T} B_{G}^{2} (0, T + K) .$ ${{\left( {{Y}_{t}},{{Z}_{t}} \right)}_{0\le t\le T}}B_{G}^{2}\left( 0,T+K \right).$

(ii) Uniqueness. Let (Y,Z) and $(\tilde{Y}, \tilde{Z})$ $\left( \tilde{Y},\tilde{Z} \right)$two solutions of eq.(1.1). Itô’s formula applied to eq.(3.9) yields, for 0 ≤ t ≤ T

(3.11) $E [{| {\bar{Y}}_{t} |}^{2}] + E \int_{t}^{T} {| {\bar{Z}}_{r} |}^{2} d r \leq 2 E \int_{t}^{T} 〈 {\bar{Y}}_{r}, Δ (r) 〉 d r + E \int_{t}^{T} {| Δ g (r) |}^{2} d r .$ $$\mathbf{E}\left[ {{\left| {{{\bar{Y}}}_{t}} \right|}^{2}} \right]+\mathbf{E}\int_{t}^{T}{{{\left| {{{\bar{Z}}}_{r}} \right|}^{2}}dr\le 2\mathbf{E}}\int_{t}^{T}{\left\langle {{{\bar{Y}}}_{r}},\Delta \left( r \right) \right\rangle dr+\mathbf{E}\int_{t}^{T}{{{\left| \Delta g\left( r \right) \right|}^{2}}}}dr.$$

Using assumption (H1), we have :

$\begin{array}{l} 2 E \int_{t}^{T} 〈 {\bar{Y}}_{r}, Δ f (r) 〉 d r \leq (\frac{1}{ε} (c + M) + ε) E \int_{t}^{T} {| {\bar{Y}}_{r} |}^{2} d r + \frac{1}{ε} (c + M) E \int_{t}^{T} {| {\bar{Z}}_{r} |}^{2} d r, \\ E \int_{t}^{T} {| Δ g (r) |}^{2} d r \leq c E \int_{t}^{T} {| {\bar{Y}}_{r} |}^{2} d r + α_{1} E \int_{t}^{T} {| {\bar{Z}}_{r} |}^{2} d r . \end{array}$ $$\begin{align}& 2\mathbf{E}\int_{t}^{T}{\left\langle {{{\bar{Y}}}_{r}},\Delta f\left( r \right) \right\rangle dr\le \left( \frac{1}{\varepsilon }\left( c+M \right)+\varepsilon \right)\mathbf{E}}\int_{t}^{T}{{{\left| {{{\bar{Y}}}_{r}} \right|}^{2}}}dr+\frac{1}{\varepsilon }\left( c+M \right)\mathbf{E}\int_{t}^{T}{{{\left| {{{\bar{Z}}}_{r}} \right|}^{2}}dr}, \\ & \,\,\mathbf{E}\int_{t}^{T}{{{\left| \Delta g\left( r \right) \right|}^{2}}dr}\le c\mathbf{E}\int_{t}^{T}{{{\left| {{{\bar{Y}}}_{r}} \right|}^{2}}}dr+{{\alpha }_{1}}\mathbf{E}\int_{t}^{T}{{{\left| {{{\bar{Z}}}_{r}} \right|}^{2}}dr}. \\ \end{align}$$

Hence if we choose ξ = ξ₀ satisfying $\bar{α} = \frac{1}{ε_{0}} (c + M) + α_{1} < 1$ $\bar{\alpha }=\frac{1}{{{\varepsilon }_{0}}}\left( c+M \right)+{{\alpha }_{1}}<1$and denote $\bar{c} = \frac{c (ε_{0} + 1) + M}{ε_{0}} + ε_{0},$ $\bar{c}=\frac{c\left( {{\varepsilon }_{0}}+1 \right)+M}{{{\varepsilon }_{0}}}+{{\varepsilon }_{0}},$then using the above inequalities, from (3.11), we obtain

$E ({| {\bar{Y}}_{t} |}^{2}) + (1 - \bar{α}) E \int_{t}^{T} {| {\bar{Z}}_{r} |}^{2} d r \leq \bar{c} E \int_{t}^{T} {| {\bar{Y}}_{r} |}^{2} d r .$ $$\mathbf{E}\left( {{\left| {{{\bar{Y}}}_{t}} \right|}^{2}} \right)+\left( 1-\bar{\alpha } \right)\mathbf{E}\int_{t}^{T}{{{\left| {{{\bar{Z}}}_{r}} \right|}^{2}}dr\le \bar{c}\mathbf{E}}\int_{t}^{T}{{{\left| {{{\bar{Y}}}_{r}} \right|}^{2}}dr}.$$

Then we can use Gronwall’s inequality to deduce $\bar{Y} = 0 a n d \bar{Z} = 0 .$ $\bar{Y}=0\,\text and \,\bar{Z}=\text{0}\text{.}$This completes the proof.

The case of non-Lipschitz coefficients

In this subsection, we will mainly study the existence and uniqueness of the solution to ABDSDE (1.1) with non-Lipschitz coefficients. For this purpose, we first make the following assumptions.

4.0.1

Assumptions

In the following, we assume that there exists ρ ∈ S such that f and g satisfy assumptions (H2).

(H2.1): There exists a constant c > 0 such that

$\begin{array}{l} {| f (t, y, z, θ (r), φ (r)) - f (t, y^{'}, z^{'}, θ^{'} (r), φ^{'} (r)) |}^{2} \leq c (ρ ({| y - y^{'} |}^{2}) + {| z - z^{'} |}^{2}) \\ + E^{F_{t}} [ρ ({| θ (r) - θ^{'} (r) |}^{2}) + {| φ (r) - φ^{'} (r) |}^{2}], \end{array}$ $$\begin{align}& {{\left| f\left( t,y,z,\theta \left( r \right),\varphi \left( r \right) \right)-f\left( t,{y}',{z}',{\theta }'\left( r \right),{\varphi }'\left( r \right) \right) \right|}^{2}}\le c\left( \rho \left( {{\left| y-{y}' \right|}^{2}} \right)+{{\left| z-{z}' \right|}^{2}} \right) \\ & \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,+{{E}^{{{F}_{t}}}}\left[ \rho \left( {{\left| \theta \left( r \right)-{\theta }'\left( r \right) \right|}^{2}} \right)+{{\left| \varphi \left( r \right)-{\varphi }'\left( r \right) \right|}^{2}} \right], \\ \end{align}$$

$for all (r, r^{'}) \in [t, T + K], (t, y, z, θ (r), φ (r)), (t, y^{'}, z^{'}, θ^{'} (r), φ^{'} (r)) \in A \times C_{G}^{2} (t, T + K) .$ $$\text{for}\,\text{all}\left( r,{r}' \right)\in \left[ t,T+K \right],\left( t,y,z,\theta \left( r \right),\varphi \left( r \right) \right),\,\left( t,{y}',{z}',{\theta }'\left( r \right),{\varphi }'\left( r \right) \right)\in A\times C_{G}^{2}\left( t,T+K \right).$$

(H2.2): There exists a constant 0 < α₁ < 1 such that for any $(t, y, z), (t, y^{'}, z^{'}) \in [0, T] \times R^{k} \times R^{k \times d}$ $\left( t,y,z \right),\,\left( t,{y}',{z}' \right)\in \left[ 0,T \right]\times {{\mathbf{R}}^{k}}\times {{\mathbf{R}}^{k\times d}}$

${| g (t, y, z) - g (t, y^{'}, z^{'}) |}^{2} \leq ρ ({| y - y^{'} |}^{2}) + α_{1} {| z - z^{'} |}^{2} .$ $${{\left| g\left( t,y,z \right)-g\left( t,{y}',{z}' \right) \right|}^{2}}\le \rho \left( {{\left| y-{y}' \right|}^{2}} \right)+{{\alpha }_{1}}{{\left| z-{z}' \right|}^{2}}.$$

(H2.3): (H1.3) holds.

4.1

Existence and uniqueness of solution

We consider now the sequence (Θⁿ)_n∈_N = (Yⁿ,Zⁿ)_n∈_N given by

(4.1) $\{\begin{matrix} Y_{t}^{0} = 0, Z_{t}^{0} = 0, 0 \leq t \leq T + K, \\ Y_{t}^{n} = ξ_{T} + \int_{t}^{T} f (r, Y_{r}^{n - 1}, Z_{r}^{n}, Y_{r + δ (r)}^{n - 1}, Z_{r + ζ (r)}^{n}) d r + \int_{t}^{T} g (r, Y_{r}^{n - 1}, Z_{r}^{n}) d B_{r} - \int_{t}^{T} Z_{r}^{n} d W_{r}, 0 \leq t \leq T, \\ Y_{t}^{n} = ξ_{t}, Z_{t}^{n} = η_{t}, T \leq t \leq T + K . \end{matrix}$ $$\left\{ \begin{array} \text Y_{t}^{0}=0,\,Z_{t}^{0}=0,\,\,\,\,\,\,\,\,0\le t\le T+K, \\ Y_{t}^{n}={{\xi }_{T}}+\int_{t}^{T}{f\left( r,Y_{r}^{n-1},Z_{r}^{n},Y_{r+\delta \left( r \right)}^{n-1},Z_{r+\zeta \left( r \right)}^{n} \right)dr+}\int_{t}^{T}{g\left( r,Y_{r}^{n-1},Z_{r}^{n} \right)d{{B}_{r}}-}\int_{t}^{T}{Z_{r}^{n}d{{W}_{r}},}\,\,\,\,\,\,\,0\le t\le T, \\ Y_{t}^{n}={{\xi }_{t}},\,\,\,Z_{t}^{n}={{\eta }_{t}},\,\,\,\,\,\,\,\,\,\,\,\,\,T\le t\le T+K. \\ \end{array} \right.$$

Thanks to Theorem 3.3, this sequence is well defined since the generators $f (r, Y_{r}^{n - 1}, \cdot, Y_{r + δ (r)}^{n - 1}, \cdot) and g (r, Y_{r}^{n - 1}, \cdot)$ $f\left( r,Y_{r}^{n-1},\cdot ,Y_{r+\delta \left( r \right)}^{n-1},\cdot \right)\,\text{and}\,\text{g}\left( r,Y_{r}^{n-1},\cdot \right)$are Г-Lipschitz. Let us state the following previous result

Lemma 4.1

Assume that the assumptions (A1), (A2) and (H2) are true and let ξ_T ∈ L²(ℊ_T,R^k). Then for any $(ξ, η) \in S_{[T, T + K]}^{2} (G, R^{k}) \times M_{[T, T + K]}^{2} (G, R^{k \times d})$ $\left( \xi ,\eta \right)\in S_{\left[ T,T+K \right]}^{2}\left( G,{{\mathbf{R}}^{k}} \right)\times M_{\left[ T,T+K \right]}^{2}\left( G,{{\mathbf{R}}^{k\times d}} \right)$there exists a positive constant C′ such that

(4.2) $\sup_{n \geq 0} E {| Y_{t}^{n} |}^{2} \leq C^{'} (1 + E [X]), 0 \leq t \leq T + K$ $$\underset{n\ge 0}{\mathop{\sup }}\,\mathbf{E}{{\left| Y_{t}^{n} \right|}^{2}}\le {C}'\left( 1+\mathbf{E}\left[ X \right] \right),\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,0\le t\le T+K$$

where

$X = {| ξ_{T} |}^{2} + \int_{T}^{T + K} ({| ξ_{r} |}^{2} + {| η_{r} |}^{2}) d r + \int_{0}^{T} {| f (r, 0) |}^{2} d r + \int_{0}^{T} {| g (r, 0, 0) |}^{2} d r .$ $$X={{\left| {{\xi }_{T}} \right|}^{2}}+\int_{T}^{T+K}{\left( {{\left| {{\xi }_{r}} \right|}^{2}}+{{\left| {{\eta }_{r}} \right|}^{2}} \right)dr+\int_{0}^{T}{{{\left| f\left( r,0 \right) \right|}^{2}}dr}}+\int_{0}^{T}{{{\left| g\left( r,0,0 \right) \right|}^{2}}dr}.$$

Proof. For β > 0, apply Itô’s formula to $e^{β t} {| Y_{t}^{n} |}^{2},$ ${{e}^{\beta t}}{{\left| Y_{t}^{n} \right|}^{2}},$

$\begin{array}{l} E [e^{β t} {| Y_{t}^{n} |}^{2}] + β E \int_{t}^{T} e^{β r} {| Y_{r}^{n} |}^{2} d r + E \int_{t}^{T} e^{β r} {| Z_{r}^{n} |}^{2} d r = E [e^{β T} {| ξ_{T} |}^{2}] \\ + 2 E \int_{t}^{T} e^{β r} 〈 Y_{r}^{n}, f (r, Y_{r}^{n - 1}, Z_{r}^{n}, Y_{r + δ (r)}^{n - 1}, Z_{r + ζ (r)}^{n}) 〉 d r + E \int_{t}^{T} e^{β r} {| g (r, Y_{r}^{n - 1}, Z_{r}^{n}) |}^{2} d r . \end{array}$ $$\begin{align}& \mathbf{E}\left[ {{e}^{\beta t}}{{\left| Y_{t}^{n} \right|}^{2}} \right]+\beta \mathbf{E}\int_{t}^{T}{{{e}^{\beta r}}{{\left| Y_{r}^{n} \right|}^{2}}}dr+\mathbf{E}\int_{t}^{T}{{{e}^{\beta r}}{{\left| Z_{r}^{n} \right|}^{2}}}dr=\mathbf{E}\left[ {{e}^{\beta T}}{{\left| {{\xi }_{T}} \right|}^{2}} \right] \\ & \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,+2\mathbf{E}\int_{t}^{T}{{{e}^{\beta r}}\left\langle Y_{r}^{n},f\left( r,Y_{r}^{n-1},Z_{r}^{n},Y_{r+\delta \left( r \right)}^{n-1},Z_{r+\zeta \left( r \right)}^{n} \right) \right\rangle }dr+\mathbf{E}\int_{t}^{T}{{{e}^{\beta r}}{{\left| g\left( r,Y_{r}^{n-1},Z_{r}^{n} \right) \right|}^{2}}}dr. \\ \end{align}$$

Using the inequality 2ab ≤ εa²+ b²/ε (where ε > 0 will be chosen later), we deduce from assumptions (H2.1) and (H2.2)

$E \int_{t}^{T} e^{β r} {| g (r, Y_{r}^{n - 1}, Z_{r}^{n}) |}^{2} d r \leq E \int_{t}^{T} e^{β r} {| g (r, 0, 0) |}^{2} d r + E \int_{t}^{T} e^{β r} [ρ ({| Y_{r}^{n - 1} |}^{2}) + α_{1} {| z_{r}^{n} |}^{2}] d r$ $$\mathbf{E}\int_{t}^{T}{{{e}^{\beta r}}{{\left| g\left( r,Y_{r}^{n-1},Z_{r}^{n} \right) \right|}^{2}}dr}\le \mathbf{E}\int_{t}^{T}{{{e}^{\beta r}}{{\left| g\left( r,0,0 \right) \right|}^{2}}dr+\mathbf{E}\int_{t}^{T}{{{e}^{\beta r}}\left[ \rho \left( {{\left| Y_{r}^{n-1} \right|}^{2}} \right)+{{\alpha }_{1}}{{\left| z_{r}^{n} \right|}^{2}} \right]}}\,dr$$

and

(4.3) $\begin{array}{l} 2 E \int_{t}^{T} e^{β r} 〈 Y_{r}^{n}, f (r, Y_{r}^{n - 1}, Z_{r}^{n}, Y_{r + δ (r)}^{n - 1}, Z_{r + ζ (r)}^{n}) 〉 d r \leq \frac{ε}{2} E \int_{t}^{T} e^{β r} {| Y_{r}^{n} |}^{2} d r + \frac{2}{ε} E \int_{t}^{T} e^{β r} {| f (r, 0) |}^{2} d r \\ + \frac{2}{ε} c E \int_{t}^{T} e^{β r} (ρ ({| Y_{r}^{n - 1} |}^{2}) + {| Z_{r}^{n} |}^{2}) d r + \frac{2}{ε} E \int_{t}^{T} e^{β r} E^{F_{t}} [ρ ({| Y_{r + δ (r)}^{n - 1} |}^{2}) + {| Z_{r + ζ (r)}^{n} |}^{2}] d r . \end{array}$ $$\begin{align}& 2\mathbf{E}\int_{t}^{T}{{{e}^{\beta r}}\left\langle Y_{r}^{n},f\left( r,Y_{r}^{n-1},Z_{r}^{n},Y_{r+\delta \left( r \right)}^{n-1},Z_{r+\zeta \left( r \right)}^{n} \right) \right\rangle }dr\le \frac{\varepsilon }{2}\mathbf{E}\int_{t}^{T}{{{e}^{\beta r}}{{\left| Y_{r}^{n} \right|}^{2}}dr}+\frac{2}{\varepsilon }\mathbf{E}\int_{t}^{T}{{{e}^{\beta r}}{{\left| f\left( r,0 \right) \right|}^{2}}dr} \\ & \,\,\,\,\,\,\,\,+\frac{2}{\varepsilon }c\mathbf{E}\int_{t}^{T}{{{e}^{\beta r}}\left( \rho \left( {{\left| Y_{r}^{n-1} \right|}^{2}} \right)+{{\left| Z_{r}^{n} \right|}^{2}} \right)}dr+\frac{2}{\varepsilon }\mathbf{E}\int_{t}^{T}{{{e}^{\beta r}}{{\mathbf{E}}^{{{F}_{t}}}}\left[ \rho \left( {{\left| Y_{r+\delta \left( r \right)}^{n-1} \right|}^{2}} \right)+{{\left| Z_{r+\zeta \left( r \right)}^{n} \right|}^{2}} \right]}\,dr. \\ \end{align}$$

Applying condition (A2), the last term on the right-hand side of (4.3) is less than

$\frac{2}{ε} M E \int_{t}^{T} e^{β r} [ρ ({| Y_{r}^{n - 1} |}^{2}) + {| Z_{r}^{n} |}^{2}] d r + \frac{2}{ε} M E \int_{T}^{T + K} e^{β r} [ρ ({| ξ_{r} |}^{2}) + {| η_{r} |}^{2}] d r .$ $$\frac{2}{\varepsilon }ME\int_{t}^{T}{{{e}^{\beta r}}\left[ \rho \left( {{\left| Y_{r}^{n-1} \right|}^{2}} \right)+{{\left| Z_{r}^{n} \right|}^{2}} \right]}\,dr+\frac{2}{\varepsilon }ME\int_{T}^{T+K}{{{e}^{\beta r}}}\left[ \rho \left( {{\left| {{\xi }_{r}} \right|}^{2}} \right)+{{\left| {{\eta }_{r}} \right|}^{2}} \right]\,dr.$$

Putting pieces together, we obtain finally

$\begin{array}{l} E [e^{β t} {| Y_{t}^{n} |}^{2}] + β E \int_{t}^{T} e^{β r} {| Y_{r}^{n} |}^{2} d r + E \int_{t}^{T} e^{β r} {| Z_{r}^{n} |}^{2} d r \leq E [e^{β T} {| ξ_{T} |}^{2}] + \frac{ε}{2} E \int_{t}^{T} e^{β r} {| Y_{r}^{n} |}^{2} d r \\ + (\frac{2}{ε} (c + M) + 1) E \int_{t}^{T} e^{β r} ρ ({| Y_{r}^{n - 1} |}^{2}) d r + (\frac{2}{ε} (c + M) + α_{1}) E \int_{t}^{T} e^{β r} {| Z_{r}^{n} |}^{2} d r \\ + \frac{2}{ε} M E \int_{T}^{T + K} e^{β r} [ρ ({| ξ_{r} |}^{2}) + {| η_{r} |}^{2}] d r + \frac{2}{ε} E \int_{t}^{T} e^{β r} {| f (r, 0) |}^{2} d r + E \int_{t}^{T} e^{β r} {| g (r, 0, 0) |}^{2} d r . \end{array}$ $$\begin{align}& \mathbf{E}\left[ {{e}^{\beta t}}{{\left| Y_{t}^{n} \right|}^{2}} \right]+\beta \mathbf{E}\int_{t}^{T}{{{e}^{\beta r}}{{\left| Y_{r}^{n} \right|}^{2}}dr+\mathbf{E}}\int_{t}^{T}{{{e}^{\beta r}}{{\left| Z_{r}^{n} \right|}^{2}}dr}\le \mathbf{E}\left[ {{e}^{\beta T}}{{\left| {{\xi }_{T}} \right|}^{2}} \right]+\frac{\varepsilon }{2}\mathbf{E}\int_{t}^{T}{{{e}^{\beta r}}{{\left| Y_{r}^{n} \right|}^{2}}dr} \\ & \,\,\,\,\,\,\,\,+\left( \frac{2}{\varepsilon }\left( c+M \right)+1 \right)\mathbf{E}\int_{t}^{T}{{{e}^{\beta r}}\rho \left( {{\left| Y_{r}^{n-1} \right|}^{2}} \right)dr}+\left( \frac{2}{\varepsilon }\left( c+M \right)+{{\alpha }_{1}} \right)\mathbf{E}\int_{t}^{T}{{{e}^{\beta r}}{{\left| Z_{r}^{n} \right|}^{2}}dr} \\ & \,\,\,\,\,\,\,\,\,+\frac{2}{\varepsilon }ME\int_{T}^{T+K}{{{e}^{\beta r}}\left[ \rho \left( {{\left| {{\xi }_{r}} \right|}^{2}} \right)+{{\left| {{\eta }_{r}} \right|}^{2}} \right]}\,dr+\frac{2}{\varepsilon }\mathbf{E}\int_{t}^{T}{{{e}^{\beta r}}}{{\left| f\left( r,0 \right) \right|}^{2}}dr+\mathbf{E}\int_{t}^{T}{{{e}^{\beta r}}}{{\left| g\left( r,0,0 \right) \right|}^{2}}dr. \\ \end{align}$$

This implies thanks to Remark 2.1 that

$\begin{aligned} E [e^{β t} {|Y_{t}^{n}|}^{2}] + β E \int_{t}^{T} e^{β r} {|Y_{r}^{n}|}^{2} d r + E \int_{t}^{T} e^{β r} {|Z_{r}^{n}|}^{2} d r \leq E [e^{β T} {|ξ_{T}|}^{2}] + \frac{ε}{2} E \int_{t}^{T} e^{β r} {|Y_{r}^{n}|}^{2} d r \\ + (\frac{2}{ε} (c + M) + 1) b E \int_{t}^{T} e^{β r} ρ ({|Y_{r}^{n - 1}|}^{2}) d r + (\frac{2}{ε} (c + M) + α_{1}) E \int_{t}^{T} e^{β r} {|Z_{r}^{n}|}^{2} d r \\ + \frac{2}{ε} M E \int_{T}^{T + K} e^{β r} [b ({|ξ_{r}|}^{2}) + {|η_{r}|}^{2}] d r + \frac{2}{ε} E \int_{t}^{T} e^{β r} {|f (r, 0)|}^{2} d r + E \int_{t}^{T} e^{β r} {|g (r, 0, 0)|}^{2} d r + C_{ε} \end{aligned}$ $$\begin{align} & \mathbf{E}\left[ {{e}^{\beta t}}{{\left| Y_{t}^{n} \right|}^{2}} \right]+\beta \mathbf{E}\int_{t}^{T}{{{e}^{\beta r}}{{\left| Y_{r}^{n} \right|}^{2}}dr+\mathbf{E}}\int_{t}^{T}{{{e}^{\beta r}}{{\left| Z_{r}^{n} \right|}^{2}}dr}\le \mathbf{E}\left[ {{e}^{\beta T}}{{\left| {{\xi }_{T}} \right|}^{2}} \right]+\frac{\varepsilon }{2}\mathbf{E}\int_{t}^{T}{{{e}^{\beta r}}{{\left| Y_{r}^{n} \right|}^{2}}dr} \\ & +\left( \frac{2}{\varepsilon }\left( c+M \right)+1 \right)\,b\mathbf{E}\int_{t}^{T}{{{e}^{\beta r}}\rho \left( {{\left| Y_{r}^{n-1} \right|}^{2}} \right)dr}+\left( \frac{2}{\varepsilon }\left( c+M \right)+{{\alpha }_{1}} \right)\mathbf{E}\int_{t}^{T}{{{e}^{\beta r}}{{\left| Z_{r}^{n} \right|}^{2}}dr} \\ & +\frac{2}{\varepsilon }ME\int_{T}^{T+K}{{{e}^{\beta r}}\left[ b\left( {{\left| {{\xi }_{r}} \right|}^{2}} \right)+{{\left| {{\eta }_{r}} \right|}^{2}} \right]}dr+\frac{2}{\varepsilon }\mathbf{E}\int_{t}^{T}{{{e}^{\beta r}}}{{\left| f\left( r,0 \right) \right|}^{2}}dr+\mathbf{E}\int_{t}^{T}{{{e}^{\beta r}}}{{\left| g\left( r,0,0 \right) \right|}^{2}}dr+{{C}_{\varepsilon }} \\ \end{align}$$

where $C_{ε} = \frac{a}{β} [\frac{2}{ε} (c + 2 M) + 1] e^{β (T + K)} .$ ${{C}_{\varepsilon }}=\frac{a}{\beta }\left[ \frac{2}{\varepsilon }\left( c+2M \right)+1 \right]{{e}^{\beta \left( T+K \right)}}.$Choose ε = ε₀ such that $β = \frac{1}{2} (ε_{0} + 1), C_{0} = C_{ε_{0}} a n d \frac{2}{ε_{0}} (M + c) + α_{1} =$ $\beta = \frac{1}{2}\left( {{\varepsilon }_{0}}+1 \right),\,\,{{C}_{0}}={{C}_{{{\varepsilon }_{0}}}}and\,\frac{2}{{{\varepsilon }_{0}}}\left( M+c \right)+{{\alpha }_{1}}=$1/2. Therefore, we obtain

$\begin{aligned} E [e^{β t} {|Y_{t}^{n}|}^{2}] + \frac{1}{2} E \int_{t}^{T} e^{β r} {|Y_{r}^{n}|}^{2} d r + \frac{1}{2} E \int_{t}^{T} e^{β r} {|Z_{r}^{n}|}^{2} d r \leq (\frac{2}{ε_{0}} (c + M) + 1) b E \int_{t}^{T} e^{β r} {|Y_{r}^{n - 1}|}^{2} d r \\ + E [e^{β T} {|ξ_{T}|}^{2}] + \frac{2}{ε_{0}} M E \int_{T}^{T + K} e^{β r} [b {|ξ_{r}|}^{2} + {|η_{r}|}^{2}] d r + \frac{2}{ε_{0}} E \int_{0}^{T} e^{β r} {|f (r, 0)|}^{2} d r \\ + E \int_{0}^{T} e^{β r} {|g (r, 0, 0)|}^{2} d r + C_{0}, 0 \leq t \leq T . \end{aligned}$ $$\begin{align} & \mathbf{E}\left[ {{e}^{\beta t}}{{\left| Y_{t}^{n} \right|}^{2}} \right]+\frac{1}{2}\mathbf{E}\int_{t}^{T}{{{e}^{\beta r}}{{\left| Y_{r}^{n} \right|}^{2}}dr+\frac{1}{2}\mathbf{E}}\int_{t}^{T}{{{e}^{\beta r}}{{\left| Z_{r}^{n} \right|}^{2}}dr}\le \left( \frac{2}{{{\varepsilon }_{0}}}\left( c+M \right)+1 \right)b\mathbf{E}\int_{t}^{T}{{{e}^{\beta r}}{{\left| Y_{r}^{n-1} \right|}^{2}}dr} \\ & +\mathbf{E}\left[ {{e}^{\beta T}}{{\left| {{\xi }_{T}} \right|}^{2}} \right]+\frac{2}{{{\varepsilon }_{0}}}M\mathbf{E}\int_{T}^{T+K}{{{e}^{\beta r}}\left[ b{{\left| {{\xi }_{r}} \right|}^{2}}+{{\left| {{\eta }_{r}} \right|}^{2}} \right]dr+\frac{2}{{{\varepsilon }_{0}}}\mathbf{E}\int_{0}^{T}{{{e}^{\beta r}}{{\left| f\left( r,0 \right) \right|}^{2}}dr}} \\ & \,\,\,\,+E\int_{0}^{T}{{{e}^{\beta r}}{{\left| g\left( r,0,0 \right) \right|}^{2}}dr+{{C}_{0}},\,\,\,\,0}\le t\le T. \\ \end{align}$$

This leads to

$E [{| Y_{t}^{n} |}^{2}] + \frac{1}{2} E \int_{t}^{T} {| Y_{r}^{n} |}^{2} d r + \frac{1}{2} E \int_{t}^{T} {| Z_{r}^{n} |}^{2} d r \leq C^{'} E {\int_{t}^{T} | Y_{r}^{n - 1} |}^{2} d r, 0 \leq t \leq T$ $$\mathbf{E}\left[ {{\left| Y_{t}^{n} \right|}^{2}} \right]+\frac{1}{2}\mathbf{E}\int_{t}^{T}{{{\left| Y_{r}^{n} \right|}^{2}}}dr+\frac{1}{2}\mathbf{E}\int_{t}^{T}{{{\left| Z_{r}^{n} \right|}^{2}}dr}\le {C}'E{{\int_{t}^{T}{\left| Y_{r}^{n-1} \right|}}^{2}}dr,\,\,0\le t\le T$$

where C′ is a positive constant(which may vary from line to line). In particular, putting $q_{n} (t) = \sup_{n \in ℕ} E [{| Y_{t}^{n} |}^{2}],$ ${{q}_{n}}\left( t \right)={{\sup }_{n\in \mathbb{N}}}\mathbf{E}\left[ {{\left| Y_{t}^{n} \right|}^{2}} \right],$we have

$q_{n} (t) \leq C^{'} (E [X] + 1) + C^{'} \int_{t}^{T} q_{n} (r) d r, 0 \leq t \leq T .$ $${{q}_{n}}\left( t \right)\le {C}'\left( E\left[ X \right]+1 \right)+{C}'\int_{t}^{T}{{{q}_{n}}\left( r \right)dr},\,\,\,\,\,0\le t\le T.$$

Gronwall’s inequality yields

$\sup_{n \in ℕ} E [{| Y_{t}^{n} |}^{2}] \leq C^{'} (1 + E [X]), 0 \leq t \leq T .$ $$\underset{n\in \mathbb{N}}{\mathop{\sup }}\,\mathbf{E}\left[ {{\left| Y_{t}^{n} \right|}^{2}} \right]\le {C}'\left( 1+\mathbf{E}\left[ X \right] \right),\,\,\,\,\,\,\,\,\,\,0\le t\le T.$$

This immediately gives (4.2).

Now we establish the main result of this section.

Theorem 4.2

Assume that the assumptions (A1), (A2) and (H2) are true and let ξ_T ∈ L²(G_T,R^k). Then for any $(ξ, η) \in S_{[T, T + K]}^{2} (G, R^{k}) \times M_{[T, T + K]}^{2} (G, R^{k \times d})$ $\left( \xi ,\eta \right)\in S_{\left[ T,T+K \right]}^{2}\left( G,{{\mathbf{R}}^{k}} \right)\times M_{\left[ T,T+K \right]}^{2}\left( G,{{\mathbf{R}}^{k\times d}} \right)$the ABDSDE (1.1) has a unique solution $(Y, Z) \in B_{G}^{2} (0, T + K) .$ $\left( Y,Z \right)\in B_{G}^{2}\left( 0,T+K \right).$

Proof. (i) Existence. We consider the sequence defined in eq.(4.1). For a process ρ ∈ {Y,Z}, and n ∈ N,m ∈ N, $\begin{array}{l} ρ_{t}^{- n, m} = ρ_{t}^{n} - ρ_{t}^{m}, Δ g^{(n, m)} (r) = f (r, Y_{r}^{n - 1}, Z_{r}^{n}) - g (r, Y_{r}^{m - 1}, Z_{r}^{m}) and \\ Δ f^{(n, m)} (r) = f (r, Y_{r}^{n - 1}, Z_{r}^{n}, Y_{r + δ (r)}^{n - 1}, Z_{r + ζ (r)}^{n}) - f (r, Y_{r}^{m - 1}, Z_{r}^{m}, Y_{r + δ (r)}^{m - 1}, Z_{r + ζ (r)}^{m}) . \end{array}$ $\begin{align}& \rho _{t}^{-n,m}=\rho _{t}^{n}-\rho _{t}^{m},\Delta {{g}^{\left( n,m \right)}}\left( r \right)=f\left( r,Y_{r}^{n-1},Z_{r}^{n} \right)-g\left( r,Y_{r}^{m-1},Z_{r}^{m} \right)\text{and} \\ & \Delta {{f}^{\left( n,m \right)}}\left( r \right)=f\left( r,Y_{r}^{n-1},Z_{r}^{n},Y_{r+\delta \left( r \right)}^{n-1},Z_{r+\zeta \left( r \right)}^{n} \right)-f\left( r,Y_{r}^{m-1},Z_{r}^{m},Y_{r+\delta \left( r \right)}^{m-1},Z_{r+\zeta \left( r \right)}^{m} \right). \\ \end{align}$

Note that the pair (Y^n,m,Z^n,m) solves the following equation

${\begin{cases} {\bar{Y}}_{t}^{n, m} = \int_{t}^{T} Δ f^{(n, m)} (r) d r + \int_{t}^{T} Δ g^{(n, m)} (r) d B_{r} - \int_{t}^{T} {\bar{Z}}_{r}^{n, m} d W_{r}, 0 \leq t \leq T, \\ {\bar{Y}}_{t}^{n, m} = 0, {\bar{Z}}_{t}^{n, m} = 0, T \leq t \leq T + K . \end{cases}$ $$\left\{ \begin{align}& \bar{Y}_{t}^{n,m}=\int_{t}^{T}{\Delta {{f}^{\left( n,m \right)}}\left( r \right)dr+\int_{t}^{T}{\Delta {{g}^{\left( n,m \right)}}\left( r \right)d{{B}_{r}}-\int_{t}^{T}{\bar{Z}_{r}^{n,m}d{{W}_{r}},}}}\,\,\,0\le t\le T, \\ & \bar{Y}_{t}^{n,m}=0,\,\,\,\,\bar{Z}_{t}^{n,m}=0,\,\,\,\,\,T\le t\le T+K. \\ \end{align} \right.\,$$

By the same computations as in the proof of Lemma 4.1, we have

(4.4) $E {| {\bar{Y}}_{t}^{n, m} |}^{2} + \frac{1}{2} E \int_{t}^{T} {| {\bar{Y}}_{r}^{n, m} |}^{2} d r + \frac{1}{2} E \int_{t}^{T} {| {\bar{Z}}_{r}^{n, m} |}^{2} d r \leq C^{'} E \int_{t}^{T} ρ ({| {\bar{Y}}_{r}^{n - 1, m - 1} |}^{2}) d r, 0 \leq t \leq T .$ $$\mathbf{E}{{\left| \bar{Y}_{t}^{n,m} \right|}^{2}}+\frac{1}{2}\mathbf{E}\int_{t}^{T}{{{\left| \bar{Y}_{r}^{n,m} \right|}^{2}}dr+\frac{1}{2}\mathbf{E}}\int_{t}^{T}{{{\left| \bar{Z}_{r}^{n,m} \right|}^{2}}dr\le {C}'E}\int_{t}^{T}{\rho \left( {{\left| \bar{Y}_{r}^{n-1,m-1} \right|}^{2}} \right)}dr,\,\,\,\,0\le t\le T.$$

Applying Fatou’s lemma and the fact that ρ ∈ S, we deduce that

$q (t) \leq C^{'} \int_{t}^{T + K} ρ (q (r)) d r, 0 \leq t \leq T + K$ $$q\left( t \right)\le {C}'\int_{t}^{T+K}{\rho \left( q\left( r \right) \right)dr},\,\,\,0\le t\le T+K$$

where $q (t) = \lim_{n, m \to \infty} \sup E {| {\bar{Y}}_{t}^{n, m} |}^{2}, 0 \leq t \leq T + K .$ $q\left( t \right)={{\lim }_{n,m\to \infty }}\sup \mathbf{E}{{\left| \bar{Y}_{t}^{n,m} \right|}^{2}},\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,0\le t\le T+K.$Therefore, we can use Bihari’s inequality to get q(t) = 0, i. $\lim_{n, m \to \infty} \sup E {| {\bar{Y}}_{t}^{n, m} |}^{2} = 0$ ${{\lim }_{n,m\to \infty }}\sup \mathbf{E}{{\left| \bar{Y}_{t}^{n,m} \right|}^{2}}=0$for all 0 ≤ t ≤ T + K.

So, from inequality (4.4), we obtain

$\lim_{n, m \to \infty} E ({| Y_{t}^{n} - Y_{t}^{m} |}^{2} + \int_{t}^{T + K} {| Z_{r}^{n} - Z_{r}^{m} |}^{2} d r) = 0, 0 \leq t \leq T + K .$ $$\underset{n,m\to \infty }{\mathop{\lim }}\,\mathbf{E}\left( {{\left| Y_{t}^{n}-Y_{t}^{m} \right|}^{2}}+\int_{t}^{T+K}{{{\left| Z_{r}^{n}-Z_{r}^{m} \right|}^{2}}dr} \right)=0,\,\,\,\,\,\,\,\,0\le t\le T+K.$$

Then, there exists $(Y, Z) \in B_{G}^{2} (0, T + K)$ $\left( Y,Z \right)\in B_{G}^{2}\left( 0,T+K \right)$such that

$\lim_{n \to \infty} E ({| Y_{t}^{n} - Y_{t} |}^{2} + {\int_{t}^{T + K} | Z_{r}^{n} - Z_{r} |}^{2} d r) = 0, 0 \leq t \leq T + K .$ $$\underset{n\to \infty }{\mathop{\lim }}\,\mathbf{E}\left( {{\left| Y_{t}^{n}-{{Y}_{t}} \right|}^{2}}+{{\int_{t}^{T+K}{\left| Z_{r}^{n}-{{Z}_{r}} \right|}}^{2}}dr \right)=0,\,\,\,\,\,\,0\le t\le T+K.$$

Finally, taking limit in eq (1.1) as n ➝+∞, we conclude that (Y,Z) solves

${\begin{cases} 0 \leq t \leq T, \\ Y_{t} = ξ_{T} + \int_{t}^{T} f (r, Y_{r}, Z_{r}, Y_{r + δ (r)}, Z_{r + ζ (r)}) d r + \int_{t}^{T} g (r, Y_{r}, Z_{r}) d B_{r} - \int_{t}^{T} Z_{r} d W_{r}, \\ Y_{t} = ξ_{t}, Z_{t} = η_{t}, T \leq t \leq T + K . \end{cases}$ $$\left\{ \begin{align}& 0\le t\le T, \\ & {{Y}_{t}}={{\xi }_{T}}+\int_{t}^{T}{f\left( r,{{Y}_{r}},{{Z}_{r}},{{Y}_{r+\delta \left( r \right)}},{{Z}_{r+\zeta \left( r \right)}} \right)dr+}\int_{t}^{T}{g\left( r,{{Y}_{r}},{{Z}_{r}} \right)d{{B}_{r}}-\int_{t}^{T}{{{Z}_{r}}d{{W}_{r}}}}, \\ & {{Y}_{t}}={{\xi }_{t}},\,\,\,{{Z}_{t}}={{\eta }_{t}},\,\,\,\,T\le t\le T+K. \\ \end{align} \right.$$

This shows that $(Y, Z) \in B_{G}^{2} (0, T + K)$ $\left( Y,Z \right)\in B_{G}^{2}\left( 0,T+K \right)$solves ABDSDE (1.1). The proof of existence is complete.

(ii) Uniqueness. Let $(Y^{i}, Z^{i}) \in B_{G}^{2} (0, T + K), i = 1, 2$ $\left( {{Y}^{i}},{{Z}^{i}} \right)\in B_{G}^{2}\left( 0,T+K \right),\,\,\,i=1,2$be two solutions of ABDSDE (1.1).

Define ${\bar{Y}}_{t} = Y_{t}^{1} - Y_{t}^{2}, {\bar{Z}}_{t} = Z_{t}^{1} - Z_{t}^{2}, Δ g (r) = g (r, Y_{r}^{1}, Z_{r}^{1}) - g (r, Y_{r}^{2}, Z_{r}^{2})$ ${{\bar{Y}}_{t}}=Y_{t}^{1}-Y_{t}^{2},\,\,\,\,\,\,{{\bar{Z}}_{t}}=Z_{t}^{1}-Z_{t}^{2},\Delta g\left( r \right)=g\left( r,Y_{r}^{1},Z_{r}^{1} \right)-g\left( r,Y_{r}^{2},Z_{r}^{2} \right)$and $Δ f (r) = f (r, Y_{r}^{1}, Z_{r}^{1}, Y_{r + δ (r)}^{1}, Z_{r + ζ (r)}^{1}) - f (r, Y_{r}^{2}, Z_{r}^{2}, Y_{r + δ (r)}^{2}, Z_{r + ζ (r)}^{2}) .$ $\Delta f\left( r \right)=f\left( r,Y_{r}^{1},Z_{r}^{1},Y_{r+\delta \left( r \right)}^{1},Z_{r+\zeta \left( r \right)}^{1} \right)-f\left( r,Y_{r}^{2},Z_{r}^{2},Y_{r+\delta \left( r \right)}^{2},Z_{r+\zeta \left( r \right)}^{2} \right).$

We obtain the following equation

(4.5) ${\begin{cases} {\bar{Y}}_{t} = \int_{t}^{T} Δ f (r) d r + \int_{t}^{T} Δ g (r) d B_{r} - \int_{t}^{T} {\bar{Z}}_{r} d W_{r}, 0 \leq t \leq T, \\ {\bar{Y}}_{t} = 0, {\bar{Z}}_{t} = 0, T \leq t \leq T + K . \end{cases}$ $$\left\{ \begin{array}& {{{\bar{Y}}}_{t}}=\int_{t}^{T}{\Delta f\left( r \right)dr+\int_{t}^{T}{\Delta g\left( r \right)d{{B}_{r}}-\int_{t}^{T}{{{{\bar{Z}}}_{r}}d{{W}_{r}},\,\,\,\,\,\,\,0\le t\le T,}}} \\ {{{\bar{Y}}}_{t}}=0,\,\,\,\,{{{\bar{Z}}}_{t}}=0,\,\,\,\,\,\,\,\,\,\,T\le t\le T+K. \\ \end{array}\right.$$

By the same computations as in Lemma 4.1 , we obtain

$E [{| {\bar{Y}}_{t} |}^{2}] + \frac{1}{2} E \int_{t}^{T} {| {\bar{Y}}_{r} |}^{2} d r + \frac{1}{2} E \int_{t}^{T} {| {\bar{Z}}_{r} |}^{2} d r \leq C^{'} E \int_{t}^{T} ρ ({| {\bar{Y}}_{r} |}^{2}) d r, 0 \leq t \leq T .$ $$E\left[ {{\left| {{{\bar{Y}}}_{t}} \right|}^{2}} \right]+\frac{1}{2}\mathbf{E}\int_{t}^{T}{{{\left| {{{\bar{Y}}}_{r}} \right|}^{2}}dr+\frac{1}{2}\mathbf{E}}\int_{t}^{T}{{{\left| {{{\bar{Z}}}_{r}} \right|}^{2}}}dr\le {C}'\mathbf{E}\int_{t}^{T}{\rho }\left( {{\left| {{{\bar{Y}}}_{r}} \right|}^{2}} \right)dr,\,\,\,\,0\le t\le T.$$

This leads to

$E [{| {\bar{Y}}_{t} |}^{2}] \leq C^{'} E \int_{t}^{T + K} ρ ({| {\bar{Y}}_{r} |}^{2}) d r, 0 \leq t \leq T + K .$ $$\mathbf{E}\left[ {{\left| {{{\bar{Y}}}_{t}} \right|}^{2}} \right]\le {C}'\mathbf{E}\int_{t}^{T+K}{\rho \left( {{\left| {{{\bar{Y}}}_{r}} \right|}^{2}} \right)}dr,\,\,\,\,\,\,0\le t\le T+K.$$

Using Fubini’s theorem and Jensen’s inequality, we deduce that

$E {| {\bar{Y}}_{t} |}^{2} \leq C^{'} \int_{t}^{T + K} ρ (E {| {\bar{Y}}_{r} |}^{2}) d r, 0 \leq t \leq T + K .$ $$\mathbf{E}{{\left| {{{\bar{Y}}}_{t}} \right|}^{2}}\le {C}'\int_{t}^{T+K}{\rho \left( \mathbf{E}{{\left| {{{\bar{Y}}}_{r}} \right|}^{2}} \right)}\,dr,\,\,\,\,\,\,0\le t\le T+K.$$

Then we can use Bihari’s inequality to obtain $E {| {\bar{Y}}_{t} |}^{2} = 0, 0 \leq t \leq T + K .$ $\mathbf{E}{{\left| {{{\bar{Y}}}_{t}} \right|}^{2}}=0,0\le t\le T+K.$This implies ${\bar{Z}}_{t} = 0.$ ${{\bar{Z}}_{t}}=0.$

eISSN:: 2444-8656
Language:: English

Publication timeframe:: Volume Open
Journal Subjects:: Life Sciences, other, Mathematics, Applied Mathematics, General Mathematics, Physics

Journal RSS Feed

Anticipated backward doubly stochastic differential equations with non-Liphschitz coefficients

Published Online: Mar 04, 2019

Page range: 9 - 20

Received: Dec 02, 2018

Accepted: Feb 04, 2019

DOI: https://doi.org/10.2478/AMNS.2019.1.00002

KeywordsAnticipated backward doubly stochastic differential equation, non-lipschitz coefficients, Itô’s representation formula and Gronwall lemma

© 2019 S. Aidara, published by Sciendo

This work is licensed under the Creative Commons Attribution 4.0 International License.

Keywords
Anticipated backward doubly stochastic differential equation, non-lipschitz coefficients, Itô’s representation formula and Gronwall lemma