Skip to main content

Limit behaviour of the minimal solution of a BSDE with singular terminal condition in the non Markovian setting


We use the functional Itô calculus to prove that the solution of a BSDE with singular terminal condition verifies at the terminal time: \(\liminf _{t\to T} Y(t) = \xi = Y(T)\). Hence, we extend known results for a non-Markovian terminal condition.


In this paper, we consider a filtered probability space \((\Omega,\mathcal {F}, \mathbb {F},\mathbb {P})\) with a complete and right-continuous filtration \(\mathbb {F}=\{\mathcal {F}_{t}, \ t \geq 0\}\). We assume that this space supports a Brownian motion W. We consider the following BSDE:

$$ Y(t)=\xi + \int_{t}^{T} f(s,Y(s),Z(s)) ds - \int_{t}^{T} Z(s) dW(s) - \int_{t}^{T} dM(s), $$

where f is the generator and ξ is the terminal condition. The solution is the triplet (Y,Z,M). Since no particular assumption is made on the underlying filtration, there is the additional martingale part M orthogonal to W. It is already established that such a BSDE has a unique solution when the terminal condition ξ belongs to \(L^{p}(\Omega,\mathcal {F}_{T},\mathbb {P}), p >1,\) when f satisfies some regularity assumptions w.r.t. y and z and when the process f(t,0,0) is in Lp([0,TΩ) (see, among others, (Delong 2013), (Kruse and Popier 2016a), or (Pardoux and Rascanu 2014)).

When the terminal condition ξ satisfies

$$ \mathbb{P}(\xi = +\infty) >0, $$

we call the BSDE singular. This singular case has been studied in Popier (2006) when the filtration is generated by the Brownian motion (no additional noise, i.e., M=0) and for the particular generator f(t,y,z)=f(y)=−y|y|q,q>0. Extensions have been studied in Kruse and Popier (2016b) and Popier (2016). Recently, singular BSDEs were used to solve a particular stochastic control problem with application to portfolio management (see Ankirchner et al. (2014), Graewe et al. (2015), Kruse and Popier (2016b)). In this framework, the generator does not depend on z and has the following form

$$ f(t,y,z) = - \frac{y|y|^{q}}{q \alpha(t)^{q}} + \gamma(t), $$

where α and γ are positive processes. The minimal solution (Y,Z,M) (provided it exists) gives the value function of the following control problem: minimizeFootnote 1

$$ \mathbb{E} \left[ \int_{t}^{T} \left(\alpha(s) |\eta(s)|^{p} + \gamma(s) |X(s)|^{p} \right) ds + \xi |X(T)|^{p} \bigg| \mathcal{F}_{t} \right] $$

over all progressively measurable processes X that satisfy the dynamics

$$X(s) =x +\int_{t}^{s} \eta(u) du $$

and the terminal state constraint

$$X(T) \mathbf{1}_{\xi=\infty}= 0. $$

In (4), the constant p is the Hölder conjugate of 1+q. For the financial point of view, the set {ξ=+} is a specification of a set of market scenarios where liquidation is mandatory. The value function is equal to |x|pY(t) and the optimal state process X can be computed directly with Y. Note that the martingale part of the solution (Z,M) is not employed in the computation of the optimal state process. Thus, the control problem can be completely solved provided the BSDE has a minimal solution (see section 2 and Theorem 4 in Kruse and Popier (2016b) for more details on the control problem).

In Kruse and Popier (2016b), it is proved that under Conditions (A) on f (see Section 1), the BSDE (1) with singular terminal condition (2) has a minimal super-solution (Y,Z,M) such that a.s.

$$ \liminf_{t\to T} Y(t) \geq \xi. $$

The main requirement is that f decreases w.r.t. y at least as a polynomial function (similar to −y1+q,q>0), when y is large. The main difficulty is to obtain some a priori estimate, which states that Y(t) is bounded from above for any t<T by a finite process (Inequality (9)).

In the classical setting (ξLp(Ω)), Y has a limit as t increases to T since the process is a solution of the BSDE (1) and thus is càdlàgFootnote 2. Moreover this limit is equal to ξ a.s. if the filtration \(\mathbb {F}\) is left-continuous at time T. Indeed, for a complete and right-continuous filtration, the orthogonal martingale M may have a jump at time T; for example, if T is a thin time. In this case:

$${\lim}_{t\to T} Y(t) = \xi - \Delta M(T) =Y(T) - \Delta M(T)$$

(see the discussion in (Popier 2016, section 2.2)). Left-continuity at time T of the filtration \(\mathbb {F}\) is a sufficient condition to avoid this issue (and to obtain the behaviour (5) of the super-solution Y at time T). For example, the filtration \(\mathbb {F}\) generated by the Brownian motion W is left-continuous at time T (there is no additional martingale M under this setting).

For the related control problem (4), this weak behaviour (5) at time T of the minimal process Y is sufficient to obtain the optimal control and the value function (see Kruse and Popier (2016b)). Nevertheless, two natural questions arise here:

  1. 1.

    Does the limit exist ?

  2. 2.

    Can the inequality (5) be an equality if the filtration is left-continuous at time T ?

This paper addresses the second question. Despite the very theoretical aspect of these questions, there are several applications. From a financial point of view, it means that the optimal liquidation portfolio does not super hedge the penalty cost ξ. And in Bank and Voß (2018), a positive answer to these questions is a condition for solving the optimal targeting problem.

Related literature

To our best knowledge, there are only three works on this topic: (Popier 2006), (Popier 2016), and (Sezer et al. 2019). In Popier (2006), the author works under the Brownian setting, that is, when the filtration \(\mathbb {F}\) is generated by the Brownian motion W, and with the generator f(t,y,z)=−y|y|q. He proved that the limit of Y at time T always exists (see (Popier 2006, Proposition 9)), and to obtain the equality:

$${\lim}_{t\to T} Y(t) = \xi,$$

it is supposed that ξ=g(X(T)), where X is the solution of a forward SDE. Two cases are distinguished:

  • When q>2 without additional conditions since there exists a suitable control of Z.

  • When q≤2 but with Malliavin calculus: roughly speaking, Z is the Malliavin derivative of Y and the author uses an integration by parts to remove Z.

In Popier (2016), the author deals with a generator satisfying Condition (A) (see below). The filtration \(\mathbb {F}\) should be left-continuous at time T.

  1. 1

    The existence of a limit at time T is proved under a structural condition on the generator f (Popier 2016, Theorem 3.1). Roughly speaking, it is proved that Y is a non linear continuous transform of a nonnegative supermartingale. Relaxing the condition on f is not the aim of this paper.

  2. 2.

    In Popier (2016), there is also an extension of the result concerning the second question, again, when ξ=g(X(T)). This setting is called half-Markovian since a similar condition on f is not required. We only suppose that for any (y,z),tf(t,y,z) is progressively measurable.

The paper (Sezer et al. 2019) was the first attempt to prove the equality when ξ is not given by g(X(T)) in the Brownian setting. Indeed, ξ was assumed to be equal to \(\infty \mathbf 1_{B(m,r)^{c}}(W_{T})\) or 1B(m,r)(WT), where WT denotes the whole trajectory (W(t), t[0,T]) and B(m,r) is the ball in the space C([0,T]) centered at the constant function m and radius r. The proof was based on the exit time of the Brownian motion and the derivation and solution of a related heat equation with a singular and discontinuous Dirichlet boundary condition. Let us remark that the considered functionals are not continuous, in the sense of (Cont and Fournié 2013, Definition 2.3).

Contributions and composition of the paper

Our goal is to give another class of non-Markovian terminal values ξ such that the minimal supersolution constructed in Kruse and Popier (2016b) satisfies:

$$ \liminf_{t\to T} Y(t) = \xi. $$

This class is constructed using the functional Itô calculus developed by Cont (2016); Cont and Fournié (2010); Cont and Fournié (2013); Dupire (2009) (see Cont (2016) for an overview and the references therein). Roughly speaking, ξ is a smooth functional F of the paths of a continuous diffusion process X (solution of the SDE (14)) and of its bracket [X], satisfying some integrability assumption (see Condition (C)). As presented in subsection 1, our condition includes the Markovian case studied in Popier (2016), but also the integral of X w.r.t. t or some approximation of the process X.

The paper is organized as follows. In Section 1, we recall known results concerning BSDEs with a singular terminal condition and the functional Itô calculus, in particular the definition of smooth functionals. In Section 1, we give the setting of our continuity result (Condition (C)) and we state our result (Theorem 1). In the rest of the section we prove our statement and provide several examples satisfying our required assumptions.

To finish this introduction, let us discuss some points, which are left as future research. From Cont (2016), we know that the functional Itô calculus is also valid for more general semimartingales X. In particular continuity is not really relevant in the framework of Cont (2016). However, the presence of jumps requires a very careful discussion about the possibility of jumping inside the singularity set of ξ (see Popier (2016) for the Markovian case). This is the reason why we impose the continuity of X. Moreover to avoid very technical arguments, we do not consider locally smooth functionals (see (Cont 2016, Definition 5.2.10)).

Setting and known results

We consider a filtered probability space \((\Omega,\mathcal {F},\mathbb {P},\mathbb {F} = (\mathcal {F}_{t})_{t\geq 0})\). The filtration is assumed to be complete and right-continuous. Note that all martingales have right-continuous modifications in this setting and we will always assume that we are taking the right continuous version. We assume that \((\Omega,\mathcal {F},\mathbb {P},\mathbb {F} = (\mathcal {F}_{t})_{t\geq 0})\) supports a d-dimensional Brownian motion W. In this paper, for a given T≥0, we denote:

  • \(\mathcal {D}\) (resp., \(\mathcal {D}(0,T)\)): the set of all predictable processes on \(\mathbb {R}_{+}\) (resp., on [0,T]). \(L^{2}_{loc}(W)\) is the subspace of \(\mathcal {D}\) such that for any t≥0 a.s.

    $$\int_{0}^{t} |Z(s)|^{2} ds < +\infty.$$
  • \( \mathcal {M}_{loc}\): the set of càdlàg local martingales orthogonal to W. If \(M \in \mathcal {M}_{loc}\) then,

    $$\left[ M, W^{i}\right](t) =0, 1\leq i \leq k. $$
  • \(\mathcal {M}\) is the subspace of \( \mathcal {M}_{loc}\) of martingales.

On \(\mathbb {R}^{d}, |.|\) denotes the Euclidean norm and \(\mathbb {R}^{d\times d'}\) is identified with the space of real matrices with d rows and d columns. If \(z \in \mathbb {R}^{d\times d'}\), we have |z|2=trace(zz).

Now, to define the solution of our BSDE, let us introduce the following spaces for p≥1.

  • \(\mathbb {D}^{p}(0,T)\) is the space of all adapted càdlàg processes X such that

    $$\mathbb{E} \left(\sup_{t\in [0,T]} |X(t)|^{p} \right) < +\infty.$$

    For simplicity, X= supt[0,T]|X(t)|.

  • \(\mathbb {H}^{p}(0,T)\) is the subspace of all processes \(X\in \mathcal {D}(0,T)\) such that

    $$\mathbb{E} \left[ \left(\int_{0}^{T} |X(t)|^{2} dt\right)^{\frac{p}{2}} \ \right] < +\infty.$$
  • \(\mathbb {M}^{p}(0,T)\) is the subspace of \(\mathcal {M}\) of all martingales such that

    $$\mathbb{E} \left[ \left([ M ](T) \right)^{\frac{p}{2}}\right] < +\infty.$$
  • \(\mathbb {S}^{p}(0,T) = \mathbb {D}^{p}(0,T) \times \mathbb {H}^{p}(0,T) \times \mathbb {M}^{p}(0,T)\).

If M is an \(\mathbb {R}^{d}\)-valued martingale in \(\mathcal {M}\), the bracket process [M](t) is

$$[ M ](t) = \sum_{i=1}^{d} \left[ M^{i} \right](t), $$

where Mi is the i-th component of the vector M.

We consider the BSDE (1)

$$Y(t) = \xi + \int_{t}^{T} f(s,Y(s), Z(s)) ds -\int_{t}^{T} Z(s) dW(s) - \int_{t}^{T} dM(s). $$

Here, the random variable ξ is \(\mathcal {F}_{T}\)-measurable with values in \(\mathbb {R}\) and the generator \(f : \Omega \times [0,T] \times \mathbb {R} \times \mathbb {R}^{d} \to \mathbb {R}\) is a random function, measurable with respect to \(\text {Prog }\times \mathcal {B}(\mathbb {R})\times \mathcal {B}(\mathbb {R}^{d})\) where Prog denotes the sigma-field of progressive subsets of Ω×[0,T]. The unknowns are (Y,Z,M) such that

  • Y is progressively measurable and càdlàg with values in \(\mathbb {R}\);

  • \(Z \in L^{2}_{loc}(W)\), with values in \(\mathbb {R}^{d}\);

  • \(M \in \mathcal {M}_{loc}\) with values in \(\mathbb {R}\).

For notational convenience, we denote f0(t)=f(t,0,0).


  • (A1) ξ and f0 are nonnegative and \(\mathbb {P}(\xi = +\infty) > 0\). \(\mathfrak S_{\xi }\) is the \(\mathcal {F}_{T}\)-measurable set of singularity:

    $$\mathfrak S_{\xi} = \{\xi=+\infty \}.$$
  • (A2) The function yf(t,y,z) is continuous and monotone: there exists \(\chi \in \mathbb {R}\) such that a.s. and for any t[0,T] and \(z \in \mathbb {R}^{k}\)

    $$(f(t,y,z)-f(t,y',z))(y-y') \leq \chi (y-y')^{2}. $$
  • (A3) For every n>0, the function

    $$\sup_{|y|\leq n} |f(t,y,0)-f^{0}_{t}| \in L^{1}((0,T) \times \Omega). $$
  • (A4) f is Lipschitz in z, uniformly w.r.t. all parameters: there exists L>0 such that for any (t,y), z and z: a.s.

    $$|f(t,y,z)-f(t,y,z')| \leq L |z-z'|. $$

Note that no assumption on f0 (except nonnegativity) is required. Conditions (A1)–(A4) will ensure existence and uniqueness of the solution for a version of BSDE (1), where the terminal condition ξ is replaced by ξn and where the generator f is replaced by fn=ff0+(f0n) for some n>0 (see BSDE (7) below). We obtain the minimal supersolution (see Proposition 1) with singular terminal condition ξ by letting the truncation n tend to . To ensure that in the limit (when n goes to ) the solution component Y attains the value on \(\mathfrak S_{\xi }\) at time T but is finite before time T, we suppose that:

  • (A5) There exists a constant q>0 and a positive process a such that for any y≥0

    $$f(t,y,z)\leq - (a(t)) y|y|^{q} + f(t,0,z). $$

Moreover, in order to derive the a priori estimate, the following assumption is made.

  • (A6) There exists some >1 such that

    $$\mathbb{E} \int_{0}^{T} \left[ \left(\frac{1}{qa(s)}\right)^{\frac{\ell}{q}}+ \left(f^{0}(s)\right)^{\ell}\right] ds < +\infty. $$

Definition 1

The generator f satisfies Condition (A) if all assumptions (A1)–(A6) hold.

Example 1

(Toy example) The function f(y)=−y|y|q satisfies all previous conditions. It corresponds to generator (3) with α(t)=(1/q)1/q and γ(t)=0.

Example 2

(Portfolio example) The generator f given by (3) verifies the required assumptions with a(t)=1/(qα(t))q if \(\mathbb {E} \int _{0}^{T} \left (\alpha (s)^{\ell } + \gamma (s)^{\ell }\right) ds <+\infty \).

Remarks 1

In Kruse and Popier (2016b) or in Popier (2016), we consider some weaker integrability conditions on f0 (see (A6) in Kruse and Popier (2016b) and (A 6) and (A8) in Popier (2016). These weak hypotheses are also assumed here. But since it is not the core of this paper, we work under the stronger (but easier to check) Condition 1 on f0.

Known results

In Kruse and Popier (2016a;2017), we proved that if ξLp(Ω), for some p>1, then under Conditions (A) there exists a unique solution (Y,Z,M) in \(\mathbb {S}^{p\wedge \ell } (0,T)\) to BSDE (1). Since we assume completeness and right-continuity of the filtration \(\mathbb {F}\), the process Y has the same regularity as the martingale M, namely, it is càdlàg. In particular, the limit at time T of Y exists.

As mentioned before, a way to construct the minimal supersolution (Ankirchner et al. 2014;Kruse and Popier 2016b;Popier 2006) is to approximate our BSDE by considering a terminal condition of the form ξn:=ξn and observe asymptotic behaviour. In the rest of the paper, (Yn,Zn,Mn) will be the solution of the truncated BSDE:

$$\begin{array}{@{}rcl@{}} Y^{n}(t) & \,=\, & \xi\wedge n \,+\, \int_{t}^{T} f_{n}(s,Y^{n}(s),Z^{n}(s)) ds \,-\,\int_{t}^{T} Z^{n}(s) dW(s) \,-\, \int_{t}^{T} dM^{n}(s). \end{array} $$

Here, fn(t,y,z) is the generator obtained by the truncation on f0:

$$ f_{n}(t,y,z) = (f(t,y,z)-f^{0}(t)) + (f^{0}(t) \wedge n). $$

Under (A1)–(A4), existence and uniqueness of (Yn,Zn,Mn) comes from Kruse and Popier (2016a, Theorem 2). Moreover, using a comparison argument (seeKruse and Popier (2016a) orQuenez and Sulem (2013)) we obtain for mn: 0≤Ym(t)≤Yn(t). This allows us to define Y as the limit of the increasing sequence \((Y^{n}_{t})_{n\geq 1}\):

$$\forall\, t\in[0,T],\quad Y(t) :={\lim}_{n\rightarrow \infty} Y^{n}(t).$$

Using (A5) and (A6), the key point in the construction of the solution is the following a priori estimate (Kruse and Popier 2016b, Proposition 2): for any n

$$\begin{array}{@{}rcl@{}} Y^{n}(t) & \!\leq\! & \frac{K_{\ell,L}}{(T-t)^{1+1/q}} \left\{\!\mathbb{E}\! \left(\int_{t}^{T}\! \left[ \left(\frac{1}{qa(s)}\right)^{\frac{1}{q}} \,+\, (T-s)^{1+1/q} f^{0}(s) \!\right]^{\ell}\! ds \bigg| \mathcal{F}_{t}\!\right)\! \right\}^{\frac{1}{\ell}} \\ & = & \frac{K_{\ell,L}}{(T-t)^{1+1/q}} \Gamma(t), \end{array} $$

where K,L is a nonnegative constant depending only on and L and this constant is a nondecreasing function of L and a nonincreasing function of . Condition 1 implies that a.s. Y(t)<+ on [0,T).

Remarks 2

  • The constants K,L and >1 come from the growth condition on f w.r.t. z. In other words, if f does not depend on z, we take K,L==1.

  • If f(y)=−y|y|q,a(t)=1,L=0, and (9) is equal to the estimate of Popier (2006), :

    $$Y_{t} \leq \left(\frac{1}{q(T-t)} \right)^{1/q}.$$

By the stability of the solutions of BSDEs (Kruse and Popier 2016b, Proposition 3), there exists a constant C such that for any 0<t<T and all n and m

$$\begin{array}{@{}rcl@{}} &&\mathbb{E}\left[\sup_{0\leq s\leq t} |Y^{n}(s)\,-\,Y^{m}(s)|^{\ell}\,+\,\left(\int_{0}^{t} \!|Z^{n}(s)\,-\,Z^{m}(s)|^{2} ds \right)^{\ell/2} \,+\, [M^{n} \,-\, M^{m}](t)^{\ell/2}\!\right]\\ && \\ && \qquad \qquad \leq C\mathbb{E}\left[ |Y^{n}(t)-Y^{m}(t)|^{\ell}\right] + C \mathbb{E} \int_{0}^{t} |f^{0}(s)\wedge n - f^{0}(s)\wedge m|^{\ell} ds. \end{array} $$

Since Yn(t) converges to Y(t) almost surely, with the a priori estimate (9), Condition 1, and the dominated convergence theorem, we deduce that for every ε>0,(Yn,Zn,Mn)n≥1 converges to (Y,Z,M) in \(\mathbb {S}^{\ell }(0,T-\varepsilon)\). Then passing to the limit in (7), we get for all 0≤st<T:

$$ Y(s) = Y(t) + \int_{s}^{t} f(t,Y(r),Z(r)) dr-\int_{s}^{t} Z(r) dW(r) + M(t) -M(s). $$

Note that all of these results are obtained without the left-continuity assumption on the filtration \(\mathbb {F}\).

Since the solution (Y,Z,M) satisfies the preceding dynamic (11) only on [0,Tε] for any ε>0, we cannot directly derive existence of the left limit at time T for Y. However, if for any n

$${\lim}_{t\to T} Y^{n}(t) = \xi \wedge n,$$

we deduce (5), i.e. lower semi-continuity of Y at time T. Left-continuity of the filtration \(\mathbb {F}\) at time T is sufficient to get this equality on Yn.

Finally if \((\tilde Y, \tilde Z, \tilde M)\) belongs to \(\mathbb {S}^{\ell }(0,t)\) for any t<T and fixed >1 and if \(\widetilde Y \geq 0\) and satisfies (11) and (5), then by the comparison principle between \(\widetilde Y\) and Yn, we obtain that a.s. for any \(t \in [0,T], \widetilde Y_{t} \geq Y^{n}_{t}\). The properties of (Y,Z,M) are gathered in:

Proposition 1

(Theorem 1 in Kruse and Popier (2016b)) Under Condition (A) there exists a process (Y,Z,M) such that

  • (Y,Z,M) belongs to \(\mathbb {S}^{\ell }(0,t)\) for any t<T.

  • A.s. for any t[0,T],Yt≥0 and Y satisfies Inequality (9).

  • The dynamics (11) is verified: for all 0≤st<T:

$$Y(s) = Y(t) + \int_{s}^{t} f(t,Y(r),Z(r)) dr-\int_{s}^{t} Z(r) dW(r) + M(t) -M(s).$$
  • If the filtration \(\mathbb {F}\) is left-continuous at time T, (5) holds a.s.

    $$\liminf_{t\to T} Y(t) \geq \xi = Y(T). $$

Any process \((\tilde Y, \tilde Z, \tilde M)\) satisfying the previous four items is called a supersolution of the BSDE (1) with singular terminal condition ξ.

The solution (Y,Z,M) obtained by approximation is minimal, that is, if \((\widetilde Y, \widetilde Z,\widetilde M)\) is another nonnegative supersolution, then \(\mathbb {P}\)-a.s. for all \(t \in [0,T], \widetilde Y(t) \geq Y(t)\).

Remarks 3

In Kruse and Popier (2016b), we suppose that the filtration \(\mathbb {F}\) is quasi left-continuous, which implies that it is left-continuous at time T. This stronger condition is not used to construct the solution if ξLp(Ω) and the minimal supersolution in the singular case (see Bouchard et al. (2018) for more details on this technical point).

Note that on Z we also have a stronger integrability result:

Proposition 2

(Proposition 4.3 inPopier (2016)) Under Condition (A), there exists a constant C independent of n such that the process Zn satisfies:

$$\mathbb{E} \left\{ \left[ \int_{0}^{T} (T-s)^{\rho} \left(|Z^{n}(s)|^{2} \right) ds \right]^{\ell/2} \right\} \leq C. $$

The constant ρ satisfies \(\rho > \frac {2}{q} + 2\left (1 -\frac {1}{\ell } \right) = \frac {2}{q} + \frac {2}{\ell ^{*}}\), if is the Hölder conjugate of .

In the sequel, we assume that:

  1. (H)

    The constant q in Hypothesis (A5) verifies that q>2. The filtration \(\mathbb {F}\) is left-continuous at time T.

Without loss of generality, we assume that \(1< \ell < \frac {2q}{2+q}\) in Condition (A6) such that \(\frac {2}{q} + 2\left (1 -\frac {1}{\ell } \right) < 1\) and we choose ρ<1 in the above proposition. In particular, if the generator is f(y)=−y|y|q (Example 1), then we work with q>2 and =1, which was supposed inPopier (2006). In this particular case, the constant C of Proposition 2 is explicitly given by: C=16(1/q)2/q.

Functional Itô calculus

We adopt the notations and the setting developed inCont (2016);Cont and Fournié (2013). We simply copy the main definitions; all details are found in these two works.

Consider \(D([0,T],\mathbb {R}^{d}\times S^{+}_{d})\), the space of all càdlàg functions defined on [0,T] with values in \(\mathbb {R}^{d}\times S^{+}_{d}\), where \(S^{+}_{d}\) is the set of positive d×d matrices. For a path \(\omega \in D([0,T],\mathbb {R}^{d}\times S^{+}_{d}), \omega _{t}=\omega (t \wedge \cdot)\) is the path stopped at time t and ωt=ω1[0,t[+ω(t−)1[t,T], where ω(t−) is the left limit of ω at time t.

The space of stopped paths Υ is defined as the quotient space of \([0,T] \times D([0,T],\mathbb {R}^{d}\times S_{d}^{+})\) by the equivalence relation:

$$(t,\omega) \sim (t',{\omega}') \Leftrightarrow (t=t' \ \text{and} \ \omega_{t} = \omega^{\prime}_{t^{\prime}}). $$

This space is endowed with the distance

$$d_{\infty}((t,\omega),(t',{\omega}')) = \|\omega_{t} - \omega^{\prime}_{t^{\prime}}\|_{\infty} + |t-t'|. $$

And (Υ,d) is a metric space and a closed subset of \(([0,T] \times D([0,T],\mathbb {R}^{d}\times S^{+}_{d}); \|\cdot \|_{\infty })\). The notion of non-anticipative, continuous, left-continuous, and boundedness-preserving functionals is defined in (Cont and Fournié 2013, Definitions 2.1, 2.3, 2.4, and 2.5), and we denote by \(\mathbb {C}^{0,0}([0,T))\) (resp., \(\mathbb {C}^{0,0}([0,T))\), resp., \(\mathbb {B}([0,T))\)) the set of continuous (resp., left-continuous, resp., boundedness-preserving) functions on Υ. Let ω=(x,v) with \(x\in D([0,T],\mathbb {R}^{d})\) and \(v\in D([0,T],S_{d}^{+})\). We identify \(D([0,T],\mathbb {R}^{d} \times S_{d}^{+})\) and \(D([0,T],\mathbb {R}^{d}) \times D([0,T],S_{d}^{+})\). In the sequel, we assume that \(F :\Upsilon \to \mathbb {R}\) is a non-anticipative functional with predictable dependence with respect to v:

$$ \forall (t,\omega=(x,v)) \in \Upsilon, \quad F(t,x,v)=F(t,x_{t},v_{t-}). $$

Let us briefly recall the definition of the horizontal and vertical derivatives. Let \(F :\Upsilon \to \mathbb {R}\) be a non-anticipative functional. The horizontal derivative \(\mathcal {D} F\) of F at \((x,v) \in D([0,t],\mathbb {R}^{d}\times S^{+}_{d})\) is the limit (if it exists)

$$\mathcal{D} F(t,x,v) = {\lim}_{h \downarrow 0} \frac{F(t+h,x_{t},v_{t})-F(t,x_{t},v_{t})}{h}. $$

If the limit exists for all (x,v), the map \(\mathcal {D} : \Upsilon \to \mathbb {R}\) defines a non-anticipative functional \(\mathcal {D} F\), called the horizontal derivative (see (Cont and Fournié 2013, Definition 3.1)).

From Cont and Fournié (2013, Definition 3.2) F is vertically differentiable at (t,x,v) if the map defined on \(\mathbb {R}^{d}\) by eF(t,xt+e1[t,T],vt) is differentiable at 0. The vertical derivative ωF at (t,x,v) is the gradient of the previous map:

$$\nabla_{\omega} F(t,x,v) = \left({\lim}_{h\to 0} \frac{F(t,x_{t} + h e_{i}\mathbf{1}_{[t,T]},v_{t})-F(t,x_{t},v_{t})}{h}, \ i=1,\ldots,d\right),$$

where (ei,i=1,...,d) is the canonical basis in \(\mathbb {R}^{d}\). Let us recall (Cont and Fournié 2013, Definition 3.6):

Definition 2

(\(\mathbb {C}^{1,k}\) functionals) Define \(\mathbb {C}^{1,k}([0,T))\) as the set of left-continuous functionals \(F \in \mathbb {C}^{0,0}_{l}\) such that

  • F admits a horizontal derivative \(\mathcal {D} F(t,\omega)\) for all (t,ω)Υ, and the map \(\mathcal {D} F(t,\cdot) : (D([0,T],\mathbb {R}^{d} \times S_{d}^{+}),\|.\|_{\infty }) \to \mathbb {R}\) is continuous for each t[0,T[;

  • F is k times vertically differentiable with \(\nabla ^{j}_{\omega } F \in \mathbb {C}^{0,0}_{l}\).

We define \(\mathbb {C}^{1,k}_{b}([0,T))\)as the set of functionals \(F \in \mathbb {C}^{1,k}\) such that \(\mathcal {D} F, \nabla _{\omega } F,\ldots,\nabla ^{k}_{\omega } F\) belong to \(\mathbb {B}(\Upsilon)\).

In the sequel, we will use the change of variable formulas.

Theorem 4.1 in (Cont and Fournié 2013).Let\(F \in \mathbb {C}^{1,2}_{b}\)verifying (12). Let X be a continuous\(\mathbb {R}^{d}\)-valued semimartingale with absolutely continuous quadratic variation

$$[X](t) = \int_{0}^{t} A(u) du,$$

where A is an\(S^{+}_{d}\)-valued process. Then, fort[0,T]

$$\begin{array}{@{}rcl@{}} F(t,X_{t},A_{t}) &&\,=\, F(0,X_{0},A_{0}) \,+\, \int_{0}^{t} \!\mathcal{D} F(u,X_{u},A_{u})du \\ && \quad \,+\, \int_{0}^{t} \!\nabla_{\omega} F(u,X_{u},A_{u})dX(u) \,+\, \frac{1}{2}\! \int_{0}^{t}\! \text{Tr} \left(\nabla^{2}_{\omega} F(u,X_{u},A_{u})d[X](u) \right), \end{array} $$

whereX(t)denotes the value at time t, whileXt=(X(u),u[0,t])the path up to time t.

This result implies, in particular, that \(\mathcal {X} = F(\cdot,X,A)\) is a continuous semimartingale for any \(F \in \mathbb {C}^{1,2}_{b}\).

In the sequel, we need some integrability properties of \(\mathcal {X}\). Let us recall that the classical norm on semimartingales is defined inDellacherie and Meyer (1980), section VII.3 (98.1)-(98.2) or (Protter 2004), section V.2. Nevertheless, this norm is not sufficient in our case and we follow the ideas of (Cont 2016, section 7.5). For p≥1, we define \(\mathcal {A}^{p}(\mathbb {F})\) as the set of continuous \(\mathbb {F}\)-predictable absolutely continuous processes \(H=H(0) + \int _{0}^{\cdot } h(t) dt\) with finite variation such that

$$\|H\|^{p}_{\mathcal{A}^{p}} = \mathbb{E}\left(|H(0)|^{p} + \int_{0}^{T} |h(t)|^{p} dt \right) < +\infty. $$

We consider the direct sum

$$\mathcal{S}^{p} = \mathbb{M}^{p}(0,T)\oplus \mathcal{A}^{p}(\mathbb{F}). $$

Any process \(S \in \mathcal {S}^{p}\) is an \(\mathbb {F}\)-adapted special semimartingale with a unique decomposition S=M+H, where \(M \in \mathbb {M}^{p}(0,T)\) with M(0)=0 and \(H \in \mathcal {A}^{p}(\mathbb {F})\) with H(0)=0. Let us remark that by Jensen’s inequality, the norm defined on \(\mathcal {S}^{p}\) is stronger than the norm of semimartingales defined inDellacherie and Meyer (1980). Moreover, if \(S \in \mathcal {S}^{p}\), then \(S \in \mathbb {D}^{p}(0,T)\) by the Burkholder–Davis–Gundy inequality. The interested reader can find in (Cont 2016, Chapter 7) how the vertical and horizontal derivatives are defined on this space \(\mathcal {S}^{p}\).

Obtaining (6) in the non-Markovian setting

First, note that we do not impose any further condition on the generator. In the sequel, we assume that X is the solution of the SDE:

$$ X(t)=\zeta(t)+\int_{0}^{t} b(s,X_{s})\mathrm{d} s +\int_{0}^{t} \sigma(s,X_{s})\mathrm{d} W(s) $$

The coefficients \(b(\cdot,\cdot,\phi):\Omega \times [0,T] \to \mathbb {R}^{d}\) and \(\sigma (\cdot,\cdot,\phi):\Omega \times [0,T] \to \mathbb {R}^{d\times d}\) are progressively measurable stochastic processes for every \(\phi \in C([0,T];\mathbb {R}^{d})\) that satisfy the standard conditions:

  • b, σ are Lipschitz continuous w.r.t. ϕ uniformly in t and ω, i.e., there exists a constant Kb,σ such that for any (ω,t)Ω×[0,T], for any ϕ and ψ in \(C([0,T];\mathbb {R}^{d})\): a.s.

    $$|b(t,\phi)-b(t,\psi)| + |\sigma(t,\phi)-\sigma(t,\psi)| \leq K_{b,\sigma} \|\phi_{t}-\psi_{t}\|_{\infty}. $$
  • b and σ grow at most linearly:

    $$|b(t,0)| + |\sigma(t,0)| \leq C_{b,\sigma}. $$
  • ζ is a progressively measurable continuous stochastic process such that for some \(\varrho > 0, \zeta \in \mathbb {D}^{\varrho }(0,T)\).

Recall that ϕt is the stopped path of ϕ, which implies that

$$\|\phi_{t}-\psi_{t}\|_{\infty} = \sup \{|\phi(u)-\psi(u)|, \ 0 \leq u \leq t\}. $$

Let us emphasize that X is not a Markovian process since the drift and the volatility matrix may depend on the whole trajectory of X. Under those assumptions, the forward SDE (14) has a unique strong continuous solution X (see (Pardoux and Rascanu 2014, Theorem 3.17)), such that

$$ \mathbb{E} \left[ \sup_{t\in [0,T]} |X(t)|^{\varrho} \right] \leq C_{\varrho}. $$

To simplify the notation, the dimensions of X and of the Brownian motion are the same. But this condition is not crucial and we can also work with different dimensions. The process X is a continuous semimartingale with

$$[X](t) = \int_{0}^{t} \sigma(s,X_{s})\sigma^{*}(s,X_{s}) ds = \int_{0}^{t} A(s) ds. $$

We assume that Condition (C) holds, namely:

  • (C1) There exists a measurable function \(\Phi : \mathbb {R} \to [0,+\infty ]\) and \(F \in \mathbb {C}^{1,2}_{b}\) such that

    $$\xi = \Phi(F(T,X_{T},A_{T})).$$

    We denote \(\mathcal {R}=\{ \Phi < +\infty \}\) which is supposed to be an open subset of \(\mathbb {R}\) and we suppose that \(\mathbb {P}(\xi =\infty) > 0\). The singular set \(\mathfrak S_{\xi }\) is the inverse image of {Φ=+} by F(T,XT,AT).

  • (C2) For any compact set \(\mathcal {K} \subset \mathcal {R}, \mathbb {E} (\xi \mathbf {1}_{\mathcal {K}}(F(T,X_{T},A_{T}))) < +\infty \).

  • (C3) F(·,X,A) is in \(\mathcal {S}^{p}\) for \(p = \frac {q+1}{q}\ell ^{*}\), where is the Hölder conjugate of the constant >1 of Condition (A6).

  • (C4) ωF and ζ are in \(\mathbb {D}^{\ell ^{*}}(0,T)\).

The Itô formula (13), together with (14), implies that

$$F(t,X_{t},A_{t}) = F(0,X_{0},A_{0}) + \int_{0}^{t} \Theta_{1}(u)du + \int_{0}^{t} \nabla_{\omega} F(u,X_{u},A_{u})\sigma(u,X_{u})dW(u),$$


$$\begin{array}{@{}rcl@{}} \Theta_{1}(s)& =&\bigg\{ \mathcal{D} F(s,X_{s},A_{s}) + \nabla_{\omega} F(s,X_{s},A_{s}) b(s,X_{s}) \\ && \qquad \qquad\qquad \qquad \qquad \left. + \frac{1}{2} \text{Tr} \left(\nabla^{2}_{\omega} F(s,X_{s},A_{s}) A(s) \right) \right\}. \end{array} $$

From (C3), we obtain that

$$\mathbb{E} \int_{0}^{T} |\Theta_{1}(s)|^{p} ds < +\infty. $$

Moreover, (C3) implies that F(·,X,A) is in \(\mathbb {D}^{p}(0,T)\)

$$\mathbb{E} \left[\sup_{t\in [0,T]} |F(t,X_{t},A_{t})|^{p} \right] < +\infty, $$

and that σ(·,X)ωF(·,X,A) belongs to \(\mathbb {H}^{p}(0,T)\)

$$ \mathbb{E} \left[ \left(\int_{0}^{T}\left[(\nabla_{\omega} F(s,X_{s},A_{s}))^{*} A(s) \nabla_{\omega} F(s,X_{s},A_{s}) \right] \mathrm{d} s \right)^{p/2}\right]< +\infty. $$

Remarks 4

Recall that since q>2, in order to apply Proposition 2, we have chosen \(\ell < \frac {2q}{q+2}\). Hence,

$$p = \frac{q+1}{q} \ell^{*} > 2 \frac{q+1}{q-2} = 2 +\frac{6}{q-2}.$$

In particular, if q is close to 2, p is large.

Instead of Condition 1, we could assume that ωF is also in \(\mathcal {S}^{p}\), following the idea of (Cont 2016, section 7.5).

Let us state our main result.

Theorem 1

Under the hypotheses (A1)–(A6), (H), and (C1)–(C4), the minimal supersolution Y satisfies a.s.

$$\liminf_{t\to T} Y_{t} = \xi.$$

Proof of Theorem 1

Let us explain the key point of the proof, before going into details. From Proposition 1, the minimal supersolution (Y,Z,M) satisfies (5): a.s.

$$\liminf_{t\to T} Y(t) \geq \xi = Y(T). $$

The goal is to show that the inequality is in fact an equality. On the singular set \(\mathfrak S_{\xi }\), we deduce that

$$\liminf_{t\to T} Y(t) \geq+\infty = \xi. $$

Hence, we prove the result on the complement of the singular set. Assume that

$$ {\lim}_{t\to T} \mathbb{E}[Y_{t}\phi(F(t,X_{t},A_{t}))]= \mathbb{E}[\xi \phi(F(T,X_{T},A_{T}))] $$

for the following class of test functions ϕ:

$$\mathfrak C = \left\{ \phi = \psi^{\gamma} : \quad \psi \in C^{\infty}_{b}(\mathbb{R};\mathbb{R}_{+}) \ \text{with} \ \text{supp}(\psi) \subset \mathcal{R} \ \text{and} \ \gamma > \frac{2(q+1)}{q} \right\}. $$

With the continuity of tϕ(F(t,Xt,At)) and Fatou’s lemma, (18) yields to

$$\begin{aligned} \mathbb{E} \left[\left(\liminf_{t\to T}Y_{t} \right) \phi(F(T,X_{T},A_{T}))\right] &\leq {\lim}_{t\to T} \mathbb{E}[Y_{t}\phi(F(t,X_{t},A_{t}))]\\ &= \mathbb{E}[\xi \phi(F(T,X_{T},A_{T}))]. \end{aligned} $$

Since (5) holds, it follows that a.s. on {ξ<+}:

$$\liminf_{t\to T} Y(t) = \xi = Y(T). $$

The proof of (18) is divided into several steps:

  • We use functional Itô formula, not with Y because of the terminal singularity, but with the approximation Yn.

  • We show that all terms in the Itô decomposition are uniformly bounded (in mean) w.r.t. n.

  • These uniform estimates are sufficient to pass to the limit on n.

  • Finally, we derive (18).

Let (Yn,Zn,Mn) be the solution of the BSDE (7) with terminal condition ξn and generator fn given by (8):

$$Y^{n}(t) \,=\, \xi\wedge n \,+\, \int_{t}^{T} f_{n}(s,Y^{n}(s),Z^{n}(s)) \mathrm{d} s \,-\,\int_{t}^{T} Z^{n}(s) \mathrm{d} W(s) \,-\, M^{n}(T) + M^{n}(t). $$

Let us emphasize that the process Yn is bounded on Ω×[0,T]. Indeed, since the terminal condition and the quantity fn(t,0,0) are nonnegative and bounded by n, the comparison principle for BSDEs (seeKruse and Popier (2016a)) states that a.s. for any t[0,T]: 0≤Yn(t)≤n(1+T). Let \(\phi :\mathbb {R} \to \mathbb {R}_{+}\) be a C-function with compact support included in \(\mathcal {R}\).

Step 1. We apply Itô’s formula to the process Ynϕ(F(·,X,A)) between 0 and t:

$${\begin{aligned} Y^{n}(t) \phi(F(t,X_{t},A_{t})) &= Y^{n}(0) \phi(F(0,X_{0},A_{0}))\,+\,\int_{0}^{t} \phi(F(s,X_{s},A_{s}))Z^{n}(s) dW(s) \\ &\quad + \int_{0}^{t} \!\!Y^{n}(s) \phi^{\prime} \!(F(s,X_{s},A_{s})) \nabla_{\omega} F(s,X_{s},A_{s}) \sigma(s,X_{s})dW(s)\\ &\quad + \int_{0}^{t} \phi (F(s,X_{s},A_{s})) dM^{n}(s)\\ &\quad + \int_{0}^{t} \phi^{\prime} (F(s,X_{s},A_{s})) \nabla_{\omega} F(s,X_{s},A_{s}) \sigma(s,X_{s})Z^{n}(s) ds \\ &\quad - \int_{0}^{t} f_{n}(s,Y^{n}(s),Z^{n}(s)) \phi(F(s,X_{s},A_{s})) ds\\ &\quad + \int_{0}^{t} Y^{n}(s) \phi^{\prime}(F(s,X_{s},A_{s})) \Theta_{1}(s) ds\\ &\quad +\frac{1}{2} \int_{0}^{t}Y^{n}(s) \phi^{\prime\prime}(F(s,X_{s},A_{s})) \Theta_{2}(s) ds, \end{aligned}} $$

where Θ1 is given by (16) and with

$$\begin{array}{@{}rcl@{}} \Theta_{2}(s) &=& \frac{1}{2} \left(\nabla_{\omega} F(s,X_{s},A_{s}) \sigma(s,X_{s}) \right) \left(\nabla_{\omega} F(s,X_{s},A_{s}) \sigma(s,X_{s}) \right)^{*}. \end{array} $$

Now, we decompose the quantity with the generator fn as follows:

$$\begin{array}{@{}rcl@{}} &&\int_{0}^{t} \phi(F(s,X_{s},A_{s})) f_{n}(s,Y^{n}(s),Z^{n}(s)) ds \\ && \quad = \int_{0}^{t} \phi(F(s,X_{s},A_{s})) (f(s,Y^{n}(s),0) -f^{0}(s)) ds \\ && \qquad + \int_{0}^{t} \phi(F(s,X_{s},A_{s})) (f^{0}(s)\wedge n) ds \\ &&\qquad + \int_{0}^{t} \phi(F(s,X_{s},A_{s})) \left(f(s,Y^{n}(s),Z^{n}(s)) - f(s,Y^{n}(s),0)\right) ds \\ && \quad =\int_{0}^{t} \phi(F(s,X_{s},A_{s})) (f(s,Y^{n}(s),0) -f^{0}(s)) ds \\ && \qquad +\int_{0}^{t} \phi(F(s,X_{s},A_{s})) (f^{0}(s)\wedge n) ds \\ &&\qquad + \int_{0}^{t} \phi(F(s,X_{s},A_{s})) \zeta^{n}(s) Z^{n}(s) ds, \end{array} $$

where \(\zeta ^{n}_{s}\) is a d-dimensional random vector defined by: for i=1,…,d

$$\zeta^{i,n}(s) = \frac{\left(f(s,Y^{n}(s),Z^{n}(s)) - f(s,Y^{n}(s),0)\right) }{Z^{i,n}(s)} \mathbf{1}_{Z^{i,n}(s)\neq 0}. $$

From Condition (A4), |ζn(s)|≤L. Hence, we obtain

$$\begin{array}{@{}rcl@{}} Y^{n}(t) \phi(F(t,X_{t},A_{t})) &&= Y^{n}(0) \phi(F(0,X_{0},A_{0}))\\ && \quad +\int_{0}^{t} \phi(F(s,X_{s},A_{s})) \left[ Z^{n}(s) dW(s) + dM^{n}(s)\right]\\ &&\quad + \int_{0}^{t} \!\!Y^{n}(s) \phi^{\prime} (\!F\!(s,X_{s},A_{s}\!)) \nabla_{\omega} F\!(s,X_{s},A_{s}) \sigma(s,X_{s})dW(s)\\ &&\quad + \int_{0}^{t} \!\Psi^{n}(s)Z^{n}(s) ds - \int_{0}^{t} \phi(F(s,X_{s},A_{s})) (f^{0}(s)\wedge n) ds \\ &&\quad - \int_{0}^{t} \phi(F(s,X_{s},A_{s})) (f(s,Y^{n}(s),0) -f^{0}(s)) ds \\ &&\quad + \int_{0}^{t} Y^{n}(s) \left[ \phi^{\prime}(F(s,X_{s},A_{s})) \Theta_{1}(s) \right. \\ && \left.\quad+ \phi^{\prime\prime}(F(s,X_{s},A_{s})) \Theta_{2}(s)\right] ds \\ \end{array} $$


$$\begin{array}{@{}rcl@{}} \Psi^{n}(s) &=& \phi^{\prime} (F(s,X_{s},A_{s})) \nabla_{\omega} F(s,X_{s},A_{s}) \sigma(s,X(s)) - \phi(F(s,X_{s},A_{s})) \zeta^{n}(s). \end{array} $$

Recall that for a fixed n, Yn is bounded, (Zn,Mn) belong to \(\mathbb {H}^{\kappa }(0,T) \times \mathbb {M}^{\kappa }(0,T)\) for any κ≥1. From Condition 1 on F(·,X,A), taking the expectation in (19) leads to

$$\begin{array}{@{}rcl@{}} \mathbb{E} \left[Y^{n}(T) \phi(F(T,X_{T},A_{T})) \right]&&= \mathbb{E} \left[Y^{n}(t) \phi(F(t,X_{t},A_{t})) \right] \\ &&\quad - \mathbb{E} \left[\int_{t}^{T} \phi(F(s,X_{s},A_{s})) (f^{0}(s)\wedge n) ds \right] \\ &&\quad - \mathbb{E} \left[\int_{t}^{T} \phi(F(s,X_{s},A_{s})) (f(s,Y^{n}(s),0) -f^{0}(s)) ds \right] \\ &&\quad +\mathbb{E} \left[ \int_{t}^{T} Y^{n}(s) \left[ \phi^{\prime}(F(s,X_{s},A_{s})) \Theta_{1}(s) \right.\right.\\ &&\quad\left.\left. + \phi^{\prime\prime}(F(s,X_{s},A_{s})) \Theta_{2}(s)\right] ds {\vphantom{\int_{t}^{T}}}\right]\\ &&\quad +\mathbb{E} \left[ \int_{t}^{T} \Psi^{n}(s)Z^{n}(s) ds \right], \end{array} $$

for any t[0,T].

Step 2. We prove that all terms in (20) are uniformly bounded. From the assumptions (C1) and (C2) on ξ=Φ(F(T,XT,AT)), since Yn(T)=ξn, there exists a constant C1, given by:

$$C_{1} = \mathbb{E} [ \Phi(F(T,X_{T},A_{T}))\phi(F(T,X_{T},A_{T}))] <+\infty,$$

such that:

$$ \sup_{n\in \mathbb{N}} \mathbb{E} [Y^{n}(T) \phi(F(T,X_{T},A_{T})] \leq C_{1}. $$

Since Yn(t)≤Y(t) for all \(n\in \mathbb {N}\) and any t<T, from the a priori estimate (9), Assumption (A6), and the boundedness of ϕ, we have

$$ \mathbb{E} (Y^{n}(t) \phi(F(t,X_{t},A_{t}))) \leq \frac{K_{\ell,L}}{(T-t)^{1/q+1}} \mathbb{E} (\Gamma(t)\phi(F(t,X_{t},A_{t}))) < +\infty. $$

In particular, we deduce the existence of a constant C2 such that

$$ \sup_{n\in \mathbb{N}} \mathbb{E} [Y^{n}(0) \phi(F(0,X_{0},A_{0})] \leq C_{2}. $$

Since ϕ is bounded and f0L1((0,TΩ) (Condition (A6)), we deduce that there exists a constant C3 such that:

$$ \sup_{n\in \mathbb{N}} \mathbb{E} \left[ \int_{0}^{T} \phi(F(s,X_{s},A_{s})) (f^{0}_{s}\wedge n) ds \right]\leq C_{3}. $$

We use Hölder’s and Young’s inequalities to obtain:

$$\begin{array}{@{}rcl@{}} && \int_{0}^{t} |\left[ \phi^{\prime} (F(s,X_{s},A_{s})) \nabla_{\omega} F(s,X_{s},A_{s}) \sigma(s,X_{s}) +\phi(F(s,X_{s},A_{s})) \zeta^{n}(s) \right] Z^{n}(s)| ds\\ && \quad \leq \int_{0}^{t} | \Psi^{n}(s) Z^{n}(s) | ds \\ && \quad \leq \left[\int_{0}^{t} (T-s)^{\rho} |Z^{n}(s)|^{2} ds\right]^{1/2} \left[ \int_{0}^{t} \frac{|\Psi^{n}(s)|^{2}}{(T-s)^{\rho}} ds \right]^{1/2} \\ &&\quad \leq \frac{1}{\ell} \left[\int_{0}^{t} (T-s)^{\rho} |Z^{n}(s)|^{2} ds\right]^{\frac{\ell}{2}} + \frac{1}{\ell^{*}} \left[ \int_{0}^{t} \frac{|\Psi^{n}(s)|^{2}}{(T-s)^{\rho}} ds \right]^{\frac{\ell^{*}}{2}} \\ && \quad \leq \frac{1}{\ell} \left[\int_{0}^{t} (T-s)^{\rho} |Z^{n}(s)|^{2} ds\right]^{\frac{\ell}{2}} + \frac{1}{\ell^{*}} \left(\frac{ T^{1-\rho}}{1-\rho} \right)^{\frac{\ell^{*}}{2}} \sup_{t\in [0,T]} |\Psi^{n}(t)|^{\ell^{*}}, \end{array} $$

where ρ is the constant introduced in Proposition 2. Consequently, taking the expectation, the first term on the right side is bounded. For the second term, ϕ,ϕ, and ζn are bounded. From Condition 1, we deduce that there exists a constant C4 such that:

$$ \sup_{n\in \mathbb{N}} \mathbb{E} \int_{0}^{T} |\Psi^{n}_{s} Z^{n}_{s}| ds\leq C_{4}. $$

Coming back to (20) with t=0, and using (21), (23), (24), and (25), we deduce that for any test function ϕ, there exists a constant \(\mathcal {C}=C_{1}+C_{2}+C_{3}+C_{4}\), independent of n, such that for any n:

$$\begin{array}{@{}rcl@{}} &&\mathbb{E} \left[ \int_{0}^{T} Y^{n}(s) \left[ \phi^{\prime}(F(s,X_{s},A_{s})) \Theta_{1}(s) + \phi^{\prime\prime}(F(s,X_{s},A_{s})) \Theta_{2}(s)\right] ds \right]\\ &&\qquad - \mathbb{E} \left[\int_{0}^{T} \phi(F(s,X_{s},A_{s})) (f(s,Y^{n}(s),0) -f^{0}(s)) ds \right] \\ &&\quad =\mathbb{E} \left[Y^{n}(T) \phi(F(T,X_{T},A_{T})) \right]- \mathbb{E} \left[Y^{n}(0) \phi(F(0,X_{0},A_{0})) \right] \\ &&\qquad + \mathbb{E} \left[\int_{0}^{T} \phi(F(s,X_{s},A_{s})) (f^{0}(s)\wedge n) ds \right] -\mathbb{E} \left[ \int_{0}^{T} \Psi^{n}(s)Z^{n}(s) ds \right] \\ && \quad \leq \mathcal{C}. \end{array} $$

Now, we treat the two terms in (20) containing Yn. With Hölder’s inequality, we obtain for j=1 or 2

$$\begin{array}{@{}rcl@{}} && \int_{0}^{t} |Y^{n}(s) \phi^{(j)}(F(s,X_{s},A_{s}))\Theta_{j}(s)| ds \leq \left[ \int_{0}^{t} \phi(F(s,X_{s},A_{s})) a(s) |Y^{n}(s)|^{1+q} ds \right]^{\frac{1}{q+1}}\\ && \times \left[ \int_{0}^{t} a(s)^{-1/q} \phi(F(s,X_{s},A_{s}))^{-1/q}|\phi^{(j)}(F(s,X_{s},A_{s}))|^{\frac{q+1}{q}} |\Theta_{j}(s)|^{\frac{q+1}{q}} ds \right]^{\frac{q}{q+1}}. \end{array} $$

To control the second quantity, we will be more specific about the test-function ϕ. We assume that ϕ=ψγ, where ψ belongs to \(C^{\infty }_{b}(\mathbb {R};\mathbb {R}_{+})\) with support in \(\mathcal {R}\) and γ>2(q+1)/q. Under this setting, there exists a constant C depending only on ψ and γ such that

$$|\phi^{\prime}| + |\phi^{\prime\prime}| \leq C \psi^{\gamma-2}. $$

Thus, for γ>2(q+1)/q and j=1 or 2

$$\begin{array}{@{}rcl@{}} \phi(F(s,X_{s},A_{s}))^{-1/q} |\phi^{(j)} (F(s,X_{s},A_{s}))|^{(q+1)/q} & \leq & C \psi(F(s,X_{s},A_{s}))^{\gamma-2(q+1)/q}, \end{array} $$

which is bounded. By Condition (A6), a−1/q is in \(\mathbb {L}^{\ell }(\Omega \times [0,T])\). By Assumption (C3), the quantity \(|\Theta _{j}|^{\frac {q+1}{q}}\) is in \(\mathbb {L}^{\ell ^{*}}(\Omega \times [0,T])\). We deduce that there exists a constant \(\mathcal {\widehat {C}}\) such that for any t[0,T] and any n:

$$\begin{array}{@{}rcl@{}} && \mathbb{E} \left[ \int_{0}^{t}|Y^{n}(s) \phi^{(j)}(F(s,X_{s},A_{s}))\Theta_{j}(s)| ds \right] \\ && \qquad\leq \mathcal{\widehat{C}} \left[ \mathbb{E} \int_{0}^{t} a(s) \phi(F(s,X_{s},A_{s})) (Y^{n}(s))^{q+1} ds \right]^{\frac{1}{q+1}}. \end{array} $$

Now, by Condition (A5), note that:

$$\begin{array}{@{}rcl@{}} && - \int_{0}^{t} \phi(F(s,X_{s},A_{s})) \left(f(s,Y^{n}(s),0)-f(s,0,0) \right) ds\\ && \qquad \geq \int_{0}^{t} \phi(F(s,X_{s},A_{s})) a(s) |Y^{n}(s)|^{1+q} ds. \end{array} $$

If we denote

$$\mathcal{I}^{n} =\mathbb{E} \int_{0}^{T} \phi(F(s,X_{s},A_{s})) a(s) |Y^{n}(s)|^{1+q} ds,$$

the inequalities (26), (27) and (28) lead to:

$$\begin{array}{@{}rcl@{}} \mathcal{I}^{n} - \mathcal{\widehat{C}} (\mathcal{I}^{n})^{\frac{1}{q+1}} & \leq & \mathbb{E} \left[ \int_{t}^{T} Y^{n}(s) \left[ \phi^{\prime}(F(s,X_{s},A_{s})) \Theta_{1}(s) + \phi^{\prime\prime}(F(s,X_{s},A_{s})) \Theta_{2}(s)\right] ds \right]\\ &&\qquad - \mathbb{E} \left[\int_{t}^{T} \phi(F(s,X_{s},A_{s})) (f(s,Y^{n}(s),0) -f^{0}(s)) ds \right] \\ &&\quad \leq \mathcal{C}. \end{array} $$

Thereby, we deduce the existence of a constant C5 such that for any n:

$$ 0\leq \mathcal{I}^{n} = \mathbb{E} \int_{0}^{T} a(s) \phi(F(s,X_{s},A_{s}))|Y^{n}(s)|^{1+q} ds \leq C_{5} < +\infty. $$

Step 3. We prove that we can pass to the limit on n in (20). By the monotone convergence theorem, we can pass to the limit when n goes to + in the first three terms of (20). If the constant χ in (A2) is nonpositive, then yf(t,y,0)−f0(s) is nonincreasing and we can also apply the monotone convergence theorem to the fourth term of (20). If not, substracting χYn from f(s,Yn(s),0), we have:

$$\begin{array}{@{}rcl@{}} &&\mathbb{E} \left[\int_{t}^{T} \phi(F(s,X_{s},A_{s})) (f(s,Y^{n}(s),0) -f^{0}(s)) ds \right] \\ &&\quad = \mathbb{E} \left[\int_{t}^{T} \phi(F(s,X_{s},A_{s})) (f(s,Y^{n}(s),0) -f^{0}(s)- \chi Y^{n}(s)) ds \right] \\ && \qquad +\chi \mathbb{E} \left[\int_{t}^{T} \phi(F(s,X_{s},A_{s})) Y^{n}(s) ds \right]. \end{array} $$

Now from (A2), the mapping yf(t,y,0)−f0(s)−χy is nonincreasing and we can also apply the monotone convergence theorem. Furthermore, using the same arguments as for the estimate (27) yields to the existence of a constant C such that for all \(n\in \mathbb {N}\):

$$\mathbb{E}\! \left[\!\int_{t}^{T}\! \phi(F(s,X_{s},A_{s})) Y^{n}(s) ds \!\right]\!\leq\! C \!\left[ \!\mathbb{E} \int_{0}^{t} a(s) \phi(F(s,X_{s},A_{s})) (Y^{n}(s))^{q+1} ds \right]^{\frac{1}{q+1}}. $$

For this additional term and the last two terms of (20) (containing Yn and Zn), we summarize the arguments (see details inPopier (2006)). Estimate (29) shows that the sequence \(a^{\frac {1}{1+q}} \phi (F(\cdot,X,A))^{\frac {1}{1+q}} Y^{n}\) is bounded in \(\mathbb {L}^{1+q}(\Omega \times (0,T))\). Using a weak convergence result and extracting a subsequence if necessary, and arguing as in the proof of Estimate (27), we pass to the limit in the term

$$\mathbb{E} \left[ \int_{t}^{T} Y^{n}(s) \left[ \phi^{\prime}(F(s,X_{s},A_{s})) \Theta_{1}(s) + \phi^{\prime\prime}(F(s,X_{s},A_{s})) \Theta_{2}(s)\right] ds \right]. $$

From Proposition 2, there exists a subsequence, which we denote as (T−·)1/(2ρ)Zn, and which converges weakly in the space \(\mathbb {L}^{2}(\Omega \times (0,T))\) to the limit (T−·)1/(2ρ)Z, because we know that Zn converges to Z in \(\mathbb {H}^{\ell }(\Omega \times (0,T-\delta))\) for all δ>0. Define on [0,T) the d-dimensional random vector ζ by: for i=1,…,d

$$\zeta^{i}(s) = \frac{\left(f(s,Y(s),Z(s)) - f(s,Y(s),0)\right) }{Z^{i}(s)} \mathbf{1}_{Z^{i}(s)\neq 0}$$

and Ψ is defined as Ψn, replacing ζn with ζ. Again, |ζ(s)|≤K and we showed that Ψn/(T−·)1/(2ρ) and Ψ/(T−·)1/(2ρ) are in \(\mathbb {L}^{\ell ^{*}}(\Omega ; \mathbb {L}^{2}(0,T))\). For any ε>0, we deduce that there exists δ>0 such that

$$\mathbb{E} \int_{T-\delta}^{T} \left(|\Psi^{n}(s) Z^{n}(s)| + |\Psi(s) Z(s)| \right) \mathrm{d} s \leq \varepsilon/2. $$

On the interval [0,Tδ], the sequence (Yn,Zn) converges to (Y,Z) in \(\mathbb {D}^{\ell }(0,T-\delta) \times \mathbb {H}^{\ell }(0,T-\delta)\). Hence,

$${\lim}_{n \to +\infty} \mathbb{E} \int_{0}^{T-\delta} |\Psi^{n}(s) Z^{n}(s) - \Psi(s) Z(s)| \mathrm{d} s =0. $$

In other words, the sequence ΨnZn converges in \(\mathbb {L}^{1}(\Omega \times (0,T))\) to ΨZ and

$$\mathbb{E} \int_{0}^{T} |\Psi(s)Z(s)| ds \leq C_{4}. $$

Passing to the limit in (20) implies:

$$\begin{array}{@{}rcl@{}} &&\mathbb{E} \left[\xi \phi(F(T,X_{T},A_{T})) \right]= \mathbb{E} \left[Y(t) \phi(F(t,X_{t},A_{t})) \right] \\ &&\quad - \mathbb{E} \left[\int_{t}^{T} \phi(F(s,X_{s},A_{s})) f^{0}(s) ds \right] \\ &&\quad - \mathbb{E} \left[\int_{t}^{T} \phi(F(s,X_{s},A_{s})) (f(s,Y(s),0) -f^{0}(s)) ds \right] \\ &&\quad +\mathbb{E} \left[ \int_{t}^{T} Y(s) \left[ \phi^{\prime}(F(s,X_{s},A_{s})) \Theta_{1}(s) + \phi^{\prime\prime}(F(s,X_{s},A_{s})) \Theta_{2}(s)\right] ds \right]\\ &&\quad +\mathbb{E} \left[ \int_{t}^{T} \Psi(s)Z(s) ds \right]. \end{array} $$

Step 4. Finally, Estimate (29) also holds with Y (instead of Yn), and all estimates (24), (25), (27), and (28) are satisfied for the limit processes Y, Z, and Ψ. Hence, we let t go to T in (30) to get (18):

$${\lim}_{t\to T} \mathbb{E}[Y(t) \phi(F(t,X_{t},A_{t}))]= \mathbb{E}[\xi \phi(F(T,X_{T},A_{T}))]. $$

As explained at the beginning of the proof, this equality is the key point to deduce that a.s.

$$\liminf_{t \to T} Y(t) = \xi. $$

This achieves the proof of Theorem 1.

The proof of Theorem 1 shows that the limit of Yt exists in mean in the following sense: for smooth function ϕ

$${\lim}_{t \to T} \mathbb{E} (Y(t) \phi(F(t,X_{t},A_{t}))) = \left\{ \begin{array}{ll} \mathbb{E} (\xi \phi(F(T,X_{T},A_{T}))) & \text{if} \text{supp}(\phi) \cap \mathfrak S_{\xi} = \emptyset, \\ + \infty & \text{if} \mathbb{E} (\phi(F(T,X_{T},A_{T})) \mathbf{1}_{\mathfrak S_{\xi}}) > 0. \end{array} \right. $$

Some examples

Several examples of smooth functionals are given inCont (2016) andCont and Fournié (2013). There are also interesting counterexamples (see (Cont and Fournié 2013, section 3.2)).

First, we can recover the Markovian case if for some smooth function \(h \in C^{1,2}([0,T] \times \mathbb {R}^{d})\)

$$F(t,X_{t},A_{t}) = h(t,X(t)),$$

and if X satisfies the SDE

$$ X(t)=x+\int_{0}^{t} b(s,X(s)) d s +\int_{0}^{t} \sigma(s,X(s))d W(s). $$

Here, the coefficients \(b : [0,T] \times \mathbb {R}^{d} \to \mathbb {R}^{d}\) and \(\sigma : [0,T] \times \mathbb {R}^{d}\to \mathbb {R}^{d\times d}\) are Lipschitz continuous w.r.t. x uniformly in t, and the functions b and σ grow at most linearly. Under this setting, the SDE has a unique strong continuous solution X such that (15) holds for any ϱ≥1. Then, \(\mathcal {D} F(t,X_{t},A_{t}) = \partial _{t} h(t,X(t)), \nabla _{\omega } F(t,X_{t},A_{t})= \nabla _{x} h(t,X(t))\) and \(\nabla ^{2}_{\omega } F(t,X_{t},A_{t})= D^{2}_{x} h(t,X(t))\), where \(D^{2}_{x}\) is the Hessian matrix w.r.t. x. In this case, Eq. 20 is the same as the classical Itô formula used inPopier (2016). If we assume that h and its derivatives are of linear growth w.r.t. x, uniformly in time and ω, then using (15), Assumptions (C3) and (C4) are satisfied.

As a second example, we consider the case where X is the solution of (14) and

$$F(t,X_{t},A_{t}) = \int_{0}^{t} h(s,X(s)) A(s) ds,$$

where h is a continuous function on \([0,T] \times \mathbb {R}^{d}\). Then, \( \mathcal {D} F(s,X_{s},A_{s}) = h(s,X(s)) A(s), \nabla _{\omega } F(s,X_{s},A_{s})= 0\) and Conditions (C3) and (C4) are satisfied trivially verified if ϱ is sufficiently large and if h is of linear growth w.r.t. x. Moreover, Eq. 19 can be simplified:

$$\begin{array}{@{}rcl@{}} Y^{n}_{t} \phi(F(t,X_{t},A_{t})) &&= Y^{n}_{0} \phi(F(0,X_{0},A_{0}))\\ &&\quad+\int_{0}^{t} \phi(F(s,X_{s},A_{s})) \left[ Z^{n}(s) dW(s) + dM^{n}(s)\right]\\ &&\quad - \int_{0}^{t} f_{n}(s,Y^{n}_{s},Z^{n}_{s}) \phi(F(s,X_{s},A_{s})) ds \\ && \quad+\int_{0}^{t} Y^{n}_{s} \phi^{\prime}(F_{s}(X_{s},A_{s})) h(s,X(s))A(s) ds. \end{array} $$

Other examples are given by (Cont and Fournié 2013, Examples 4 and 5), namely,

$$F(t,x_{t},v_{t}) = x(t)^{2} - \int_{0}^{t} v(u) du,\qquad F(t,x_{t},v_{t}) = \exp \left(x(t) - \frac{1}{2} \int_{0}^{t} v(u) du\right).$$

Conditions on b and σ are easily found such that (C3) and (C4) hold, especially if X is given by (31).

We now finish with the weak Euler–Maruyama scheme as inCont and Lu (2016). We still consider the SDE (14) with b=0 and the non-anticipative functional Xn given by the recursion

$$X^{n}(t_{j+1}) = X^{n}(t_{j}) + \sigma(t_{j},X^{n}_{t_{j}}) (W(t_{j+1}) - W(t_{j})). $$

For a Lipschitz functional \(g : D([0,T],\mathbb {R}^{d}) \to \mathbb {R}\), consider the “weak Euler approximation”

$$F_{n}(t) = \mathbb{E} \left[ g(X^{n}_{T})| \mathcal{F}^{W}_{t}\right]$$

of the conditional expectation \(\mathbb {E} \left [ g(X_{T})| \mathcal {F}^{W}_{t}\right ]\), where \(\mathbb {F}^{W}\) is the filtration generated by the Brownian motion W. This weak approximation is computed by initializing the scheme on [0,t] with ω (a path of the Brownian motion) and then iterating the scheme with the increments of the Wiener process between t and T. Then, \(F_{n} \in \mathbb {C}^{1,\infty }_{\text {loc}}\) (see (Cont and Lu 2016, Theorem 3.1)). Moreover, since we have a martingale, Θ1(s)=0. Under our setting and due to (Cont and Lu 2016, Theorem 4.1), (C3) holds. (C4) does not hold on the whole interval [0,T]. Nevertheless, this functional is locally regular (Cont and Lu 2016, Definition 7) and on our neighbourhood of T, one easily gets (C4), provided that g is bounded, for example.

Availability of data and materials

Not applicable.


  1. with the convention 0.=0.

  2. French acronym for right continuous with left limits.


  • Ankirchner, S., Jeanblanc, M., Kruse, T.: BSDEs with Singular Terminal Condition and a Control Problem with Constraints. SIAM J. Control Optim. 52(2), 893–913 (2014).

    MathSciNet  Article  Google Scholar 

  • Bank, P., Voß, M.: Linear quadratic stochastic control problems with stochastic terminal constraint. SIAM J. Control Optim. 56(2), 672–699 (2018).

    MathSciNet  Article  Google Scholar 

  • Bouchard, B., Possamaï, D., Tan, X., Zhou, C.: A unified approach to a priori estimates for supersolutions of BSDEs in general filtrations. Ann. Inst. Henri Poincaré, Probab. Stat. 54(1), 154–172 (2018).

    MathSciNet  Article  Google Scholar 

  • Cont, R.: Functional Itô calculus and functional Kolmogorov equations. In: Stochastic integration by parts and functional Itô calculus, Adv. Courses Math, pp. 115–207. Birkhäuser/Springer, CRM Barcelona (2016).

    Google Scholar 

  • Cont, R., Fournié, D. -A.: A functional extension of the Ito formula. C. R. Math. Acad. Sci. Paris. 348(1–2), 57–61 (2010).

    MathSciNet  Article  Google Scholar 

  • Cont, R., Fournié, D. -A.: Functional Itô calculus and stochastic integral representation of martingales. Ann. Probab. 41(1), 109–133 (2013).

    MathSciNet  Article  Google Scholar 

  • Cont, R., Lu, Y.: Weak approximation of martingale representations. Stoch. Process. Appl. 126(3), 857–882 (2016).

    MathSciNet  Article  Google Scholar 

  • Dellacherie, C., Meyer, P. -A.: Probabilités et potentiel. Théorie des martingales. Chapitres V à VIII, Hermann (1980).

    MATH  Google Scholar 

  • Delong, Ł.: Backward stochastic differential equations with jumps and their actuarial and financial applications, European Actuarial Academy (EAA) Series. Springer, London (2013). BSDEs with jumps.

    MATH  Google Scholar 

  • Dupire, B.: Functional Itô calculus. Bloomberg Portfolio Research Paper No 2009-04-FRONTIERS (2009).

  • Graewe, P., Horst, U., Qiu, J.: A non-Markovian liquidation problem and backward SPDEs with singular terminal conditions. SIAM J. Control Optim. 53(2), 690–711 (2015).

    MathSciNet  Article  Google Scholar 

  • Kruse, T., Popier, A.: BSDEs with monotone generator driven by Brownian and Poisson noises in a general filtration. Stochastics. 88(4), 491–539 (2016).

    MathSciNet  Article  Google Scholar 

  • Kruse, T., Popier, A.: Minimal supersolutions for BSDEs with singular terminal condition and application to optimal position targeting. Stoch. Process. Appl. 126(9), 2554–2592 (2016).

    MathSciNet  Article  Google Scholar 

  • Kruse, T., Popier, A.: Lp-solution for BSDEs with jumps in the case p<2: corrections to the paper ‘BSDEs with monotone generator driven by Brownian and Poisson noises in a general filtration. Stochastics. 89(8), 1201–1227 (2017).

    MathSciNet  Article  Google Scholar 

  • Pardoux, E., Rascanu, A.: Stochastic Differential Equations, Backward SDEs, Partial Differential Equations, volume 69 of Stochastic Modelling and Applied Probability. Springer-Verlag (2014).

    Book  Google Scholar 

  • Popier, A.: Backward stochastic differential equations with singular terminal condition. Stoch. Process. Appl. 116(12), 2014–2056 (2006).

    MathSciNet  Article  Google Scholar 

  • Popier, A.: Limit behaviour of bsde with jumps and with singular terminal condition. ESAIM: PS. 20, 480–509 (2016).

    MathSciNet  Article  Google Scholar 

  • Protter, P. E.: Stochastic integration and differential equations, volume 21 of Applications of Mathematics (New York), second edition. Springer-Verlag, Berlin (2004). Stochastic Modelling and Applied Probability.

    Google Scholar 

  • Quenez, M. -C., Sulem, A.: BSDEs with jumps, optimization and applications to dynamic risk measures. Stoch. Process. Appl.123(8), 3328–3357 (2013).

    MathSciNet  Article  Google Scholar 

  • Sezer, A. D., Kruse, T., Popier, A.: Backward stochastic differential equations with non-Markovian singular terminal values. Stoch. Dyn.19(2), 1950006 (2019).

    MathSciNet  Article  Google Scholar 

Download references


Not applicable.


Not applicable.

Author information

Authors and Affiliations



Both authors read and approved the final manuscript.

Corresponding author

Correspondence to Alexandre Popier.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Marushkevych, D., Popier, A. Limit behaviour of the minimal solution of a BSDE with singular terminal condition in the non Markovian setting. Probab Uncertain Quant Risk 5, 1 (2020).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI:


  • Backward stochastic differential equations
  • Functional stochastic calculus
  • Singularity

AMS class

  • 60G99
  • 60H99