# A BSDE with Delayed Generator Approach to Pricing under Counterparty Risk and Collateralization

Authors: Francesco Cordoni; Luca Di Persio
Journal: International Journal of Stochastic Analysis
 (2016)

---

## Abstract

We consider a nonlinear pricing problem that takes into account credit risk and funding issues. The aforementioned problem is formulated as a stochastic forward-backward system with delay, both in the forward and in the backward component, whose solution is characterized in terms of viscosity solution to a suitable type ofpath-dependent PDE.


---

## Body

## 1. Introduction

Starting from the spreading of the credit crunch in 2007, empirical lines of evidence have shown how some aspects of financial markets, neglected up to that point by theoretical models, are instead fundamental in concrete economical frameworks. In particular, let us mention the violation of standard nonarbitrage relation between forward rates and zero-coupon bonds. Even though we will not address the latter problem in the present paper, we would like to underline how it is very connected to the topic we will treat, as witnessed by the recent, wide, and growing literature linked to the so-calledmulticurve modelling; see, for example, [1–5] and the references therein.In what follows, we will focus on a different issue which emerged after the last financial crisis, namely, the problem of pricing derivatives contracts, including the possibility of thecounterparty default, that is, the event in which a borrower fails to make the required payments to his lender. Such an event is treated in the framework of thecredit risk which, according to [6], is definedas the potential that a bank borrower or counterparty will fail to meet its obligations in accordance with agreed terms. Even if the number or type of related financial losses is rather huge, it is interesting to note that they may be complete, as in the case of default, or even partial and can happen in a number of different cases, for example, if a consumer fails to make a payment related to a line of credit or if an insolvent insurance company does not pay previously stipulated policy obligations or a bank that because of its insolvency does not return funds to a depositor. We would like to underline the notion that thecredit default risk has a great impact on almost all the credit-sensitive transactions, also including mortgages, loans, securities, and derivatives. Hence, its careful determination and forecasting are crucial tasks, especially in the modern theory of financial markets (see, e.g., [7, 8]), which are widely characterized by sophisticated contracts of the aforementioned type. In particular, the wrong estimation of credit default risk that, at different levels, has been experienced at the end of the last decade is intrinsically linked to the inadequacy of classical models in describing real financial markets, mainly because of the unrealistic hypotheses of the existence of a unique risk-free rate, that is, the theoretical rate of return of an investment with zero risk, or the possibility of having unlimited access to funding. Our aim is to derive a mathematical formulation of such problems, while we refer the interested reader to, for example, [9, 10] and references therein, for a deep study of related financial implications; see also [11], where the credit risk is studied in connection with the so-calledCatastrophe Bonds, [12] where the default probability problem for credit risk is considered, [13] which concerns alarge deviation approach, and [14] where related trigger prices determination for convertible contingent bonds is treated.Recently, several works appeared that try to include counterparty risk, that is, the risk to each party of a contract that the counterparty will be unable to meet contractual obligations, as well as funding issues in pricing financial contracts, leading to a systematic treatment of both of them. In particular, to our knowledge, the first attempts in the direction of developing a concrete framework able to treat both the counterparty risk and the funding constraints can be found in [15–17]. However, we will mainly refer to a slightly different and yet closely related approach, namely, the one developed in [9, 18]. Let us mention that both approaches identify backward stochastic differential equations (BSDEs) as a fundamental mathematical object to consider a financial setting characterized by counterparty risk; see, for example, [19, 20].In what follows, we also exploit the approach developed in [18, 21], where the authors firstly consider the present value of a contract as the discounted present value of future payoffs, and then include margin variations and counterparty risk in their valuation BSDE, which turns out to be risk-free rate independent. In fact, the latter depends only on different funding rates which are directly observable on the markets.The main contribution of the present work is thus to give rigorous and general mathematical foundation of the previously introduced setting. In particular, following [18, 21], we will consider the so-calledmaster pricing equation generalizing it in several directions. Firstly, we will consider possibly path-dependent hedging strategy exploiting the so-calledpath-dependent calculus developed in [22, 23]. Secondly, we will not assume any differentiability assumptions in order to consider viscosity solutions for the related pricing PDE. Finally, as major generalization, we consider a margining procedure that can be path-dependent with respect to the portfolio. In fact, as pointed out in [15, Remark. 5.5], in real world, the margining scheme often depends upon its past values. It is worth mentioning that the latter is highly nontrivial, since, from a mathematical point of view, it implies that the related BSDE generator depends on its past values as well.Let us recall that the first rigorous treatment of delay differential equations dates back to the monograph [24], while, more recently (see [22, 23, 25]), new notions of ad hoc derivatives have been introduced to study the stochastic calculus for path-dependent stochastic differential equations. Since then, such results have been then generalized in several directions; see, for example, [26–32] and the references therein. We would like to mention that thepath-dependent calculus has revealed itself since its inception as a powerful tool to model financial markets exhibiting delay and also path-dependent options.Analogously, in [33–35], the authors proposed an ad hoc notion of viscosity solutions to path-dependent PDE which, similar to the relation established by theFeynman-Kac theorem between a stochastic differential equation (SDE) and its deterministic counterpart, relates apath-dependent SDE to a correspondingpath-dependent PDE, by exploiting the theory of BSDE, hence by using the notion ofnonlinear expectations; see, for example, [36].Recently, the development of the theory of delayed stochastic differential equations has made one step further to include, besides the delay in the forward SDE, also a delay component in the backward equation. In particular, in [37], the authors proposed a new type of stochastic delay equation, whose generator may depend on the past values of the BSDE itself. As mentioned above, this peculiarity is highly nontrivial, as witnessed by several examples reported in [37], where the authors show how the uniqueness property for the solution fails to be true.To overcome the latter problem, some additional assumptions have to be taken into account, as in [38], where, exploiting the notion of viscosity solution proposed in [33], the connection between forward-backward SDE with delay both in the forward and in the backward component and a new type ofpath-dependent PDE has been proved.In the present paper, we exploit the aforementioned results obtained in [38], to generalize the financial setting developed in [18, 21], allowing forpath-dependent hedging strategies, that is, plans to reduce the financial risk associated with adverse price movements of, for example, assets in which one has invested, and collateralization scheme with delay. We recall that the collateralization represents the situation in which a borrower pledges an asset as recourse to the lender to hedge the case of the borrower’s default. In particular, the collateralization of assets gives, for example, banks a sufficient level of reassurance against the default risk. The latter banking practice allows loans to be issued to individuals or companies which do not belong to the set of the ones having optimal credit history or good debt rating. We underline the notion that our approach is particularly suitable to treat financial frameworks characterized by delays in the default procedure; see, for example, [18, Sec. 3, Sec. 4], the latter being the object of our future works.Moreover, we underline that analogous approaches can be fruitfully exploited within frameworks characterized by stochastic optimal control problems, as has been made in, for example, [31, 39]; see also the references therein.The present paper is so structured: in Section2, we introduce the mathematical setting; in particular, Section 2.1 is devoted to the introduction to the formalism used, whereas in Section 2.2 we state the main theoretical results that will be then applied in Section 3 to the problem of obtaining a portfolio under credit risk and funding issues. Finally, in Section 3.1, we will derive the mainpath-dependent pricing PDE.


## 2. Forward-Backward Delayed Equation and Related Kolmogorov Equation

In what follows, we introduce the mathematical setting that allows us to derive the delayed pricing equation we are interested in. The aforementioned framework will be first introduced in its complete generality; for example, we will also consider path-dependent coefficients. Moreover, we underline the notion that the main novelty of the present work is represented by the fact that we can also consider a backward equation with delayed generator, together with the associated Feynman-Kac representation theorem. For the sake of completeness, we report here what has been essentially derived in [38].


### 2.1. Pathwise Derivatives, Functional Itô’s Formula, Viscosity Solution, and Time Delayed Forward-Backward System

Let us briefly introduce the setting thepath-dependent setting, first developed in [22, 23], stating the main results; see also [22, 23, 38], for a rather complete introduction to thepath-dependent calculus, [33] which concerns the concept of viscosity solution topath-dependent PDE, and [37] for general results on BSDE with delayed generator.


#### 2.1.1. Pathwise Derivatives and Functional Itô’s Formula

In what follows, we define the mathematical framework needed to construct the solutions of the Kolmogorov equation we will treat later; see, for example, [22, 23, 25] for a complete introduction to the related functional Itô calculus. For ease of notation, we will consider R-valued processes, the generalization to the case of R
d-valued processes being straightforward.We will denoteB
(
t
,
ϕ
^
)
≔
ϕ
t, while F
≔
(
F
s
)
s
∈
0
,
T will be the filtration generated by B.LetD
≔
D
0
,
T
;
R, where T
<
+
∞ is a positive fixed constant, be the set of Càdlàg R-valued functions, that is, right continuous, with finite left-hand limits. On D, we introduce the norm (1)
ϕ
T
≔
sup
s
∈
0
,
T
⁡
ϕ
s
,with respect to which D becomes a Banach space. Similarly on 0
,
T
×
D, we introduce the pseudometric(2)
d
t
,
ϕ
,
t
′
,
ϕ
′
≔
t
-
t
′
+
sup
s
∈
0
,
T
⁡
ϕ
s
∧
t
-
ϕ
′
r
∧
t
′
,with respect to which 0
,
T
×
D becomes a complete pseudometric space.Letu
:
[
0
,
T
]
×
D
→
R be a given function; then we say that u is vertically differentiable at (
t
,
ϕ
)
∈
0
,
T
×
D, if there exist(3)
∂
x
u
t
,
ϕ
≔
lim
h
→
0
⁡
u
t
,
ϕ
+
h
1
t
,
T
-
u
t
,
ϕ
h
. The second-order derivative, when it exists, is denoted by ∂
x
x
u
(
t
,
ϕ
)
≔
∂
x
(
∂
x
u
).Moreover, takingt
∈
[
0
,
T
] and considering apath
ϕ
∈
D, we define(4)
ϕ
t
≔
ϕ
·
∧
t
∈
D
.As it is standard when dealing with delay equations, we will exploit the following notation: for a pathϕ
∈
D, we will denote by ϕ
(
t
) the R-value at time t of ϕ, whereas ϕ
t denotes the path up to time t.We say thatu is horizontally differentiable at (
t
,
ϕ
)
∈
0
,
T
×
D if there exist(5)
∂
t
u
t
,
ϕ
≔
lim
h
→
0
+
⁡
u
t
+
h
,
ϕ
t
-
u
t
,
ϕ
h
, for t
∈
[
0
,
T
) and ∂
t
u
(
T
,
ϕ
)
≔
l
i
m
t
→
T
-
∂
t
u
(
t
,
ϕ
).Letu
:
0
,
T
×
D
→
R be nonanticipative; we say that u
∈
C
(
0
,
T
×
D
), if u is continuous on 0
,
T
×
D under the pseudometric d; moreover, we write that u
∈
C
b
(
0
,
T
×
D
), if u
∈
C
(
0
,
T
×
D
) and u is bounded on 0
,
T
×
D. Eventually, we say that u
∈
C
b
1,2
(
0
,
T
×
D
), if u
∈
C
(
0
,
T
×
D
) and the derivatives ∂
x
u, ∂
x
x
u, and ∂
t
u exist, and they are both continuous and bounded. Finally, we denote by D
t
≔
D
(
[
t
,
T
]
;
R
) the shifted spaces of Càdlàg paths with corresponding metric and pseudometric.Exploiting previous notations and following [25], we are going to work with processes u defined on 0
,
T
×
C
→
R, being C
≔
C
(
[
0
,
T
]
;
R
), namely, the space of continuous paths. It is worth mentioning that all the definitions stated above can be straightforwardly adapted to the case u
:
[
0
,
T
]
×
C
→
R.For a continuous functionϕ
∈
C
-
δ
,
T
;
R, we denote(6)
ϕ
t
≔
ϕ
t
+
θ
θ
∈
-
δ
,
0
,
δ
>
0 being a fixed constant.The following theorem states a functional version of Itô’s formula; see, for example, [22, Theorem 4.1].Theorem 1 (functional Itô’s formula).
LetA be a 1-dimensional Itô process; namely, A
:
0
,
T
×
C
→
R is a continuous R-valued semimartingale defined on the probability space C
,
F
,
P which admits the representation(7)
A
t
=
A
0
+
∫
0
t
b
r
d
r
+
∫
0
t
σ
r
d
B
r
,
∀
t
∈
0
,
T
,for some suitable processes b and σ.
IfF
∈
C
b
1,2
(
0
,
T
×
C
), then, for any t
∈
[
0
,
T
), the following change of variable formula holds true:(8)
F
t
,
A
t
=
F
0
,
A
0
+
∫
0
t
∂
t
F
r
,
A
s
d
s
+
∫
0
t
∂
x
F
r
,
A
s
b
s
d
s
+
1
2
∫
0
t
σ
2
s
∂
x
x
F
r
,
A
s
d
s
+
∫
0
t
∂
x
F
r
,
A
s
σ
s
d
W
s
.


#### 2.1.2. Viscosity Solution to the Path-Dependent PDE

In what follows, mainly following [38], we introduce the notion ofviscosity solution; see also [33].Let us denote byT the set of all stopping times τ such that, for all t
∈
[
0
,
T
), we have that the set ϕ
∈
C
:
τ
ϕ
>
t is an open subset of C
,
·
T, while we define by T
t the set of all stopping times τ such that, for all s
∈
[
t
,
T
), the set ϕ
∈
C
t
:
τ
ϕ
>
s is an open subset of C
t
,
·
T
t.LetL
≥
0 and t
<
T; then we denote by U
t
L the space of R-valued processes λ such that |
λ
|
≤
L; then, we defined a new probability measure P
t
,
λ by d
P
t
,
λ
≔
M
t
,
λ
T
d
P, where(9)
M
t
,
λ
s
≔
exp
⁡
∫
t
s
λ
r
d
W
r
-
1
2
∫
t
s
λ
r
2
d
r
,
P
-
a
.
s
.Let us consider the processX
t
,
ϕ
s
s
∈
0
,
T which evolves according to(10)
X
t
,
ϕ
s
=
ϕ
t
+
∫
t
s
b
r
,
X
t
,
ϕ
d
r
+
∫
t
s
σ
r
,
X
t
,
ϕ
d
W
r
,
s
∈
t
,
T
,
X
t
,
ϕ
s
=
ϕ
s
,
s
∈
0
,
t
,where t
,
ϕ
∈
0
,
T
×
C is given, W is standard Brownian motion, and b and σ are some suitable coefficients that will be soon better specified. Further, we denote by G
=
G
s
s
∈
[
0
,
T
] the natural filtration generated by W.Taking into account what we have introduced so far, we are in position to state the main object of analysis in the present work, namely, the following functional path-dependent PDE:(11)
-
∂
t
u
t
,
ϕ
-
L
u
t
,
ϕ
-
f
t
,
ϕ
,
u
t
,
ϕ
,
∂
x
u
t
,
ϕ
σ
t
,
ϕ
,
u
·
,
ϕ
t
=
0
,
u
T
,
ϕ
=
h
ϕ
,for t
∈
[
0
,
T
), ϕ
∈
C. Moreover, indicating by δ
>
0 a given fixed delay, we have set u
(
·
,
ϕ
)
t
≔
u
(
t
+
θ
,
ϕ
)
θ
∈
-
δ
,
0, while, in (11), we have denoted by L the second-order differential operator given by(12)
L
u
t
,
ϕ
≔
1
2
σ
2
t
,
ϕ
∂
x
x
u
t
,
ϕ
+
b
t
,
ϕ
∂
x
u
t
,
ϕ
, with b
:
0
,
T
×
C
→
R and σ
:
0
,
T
×
C
→
R being two nonanticipative functionals.We now introduce the space of the test functions:(13)
A
_
L
u
t
,
ϕ
≔
φ
∈
C
b
1,2
0
,
T
×
C
:
∃
τ
0
∈
T
+
t
,
φ
t
,
ϕ
-
u
t
,
ϕ
=
min
τ
∈
T
t
⁡
E
_
t
L
φ
-
u
τ
∧
τ
0
,
X
t
,
ϕ
,
A
¯
L
u
t
,
ϕ
≔
φ
∈
C
b
1,2
0
,
T
×
C
:
∃
τ
0
∈
T
+
t
,
φ
t
,
ϕ
-
u
t
,
ϕ
=
max
τ
∈
T
t
⁡
E
¯
t
L
φ
-
u
τ
∧
τ
0
,
X
t
,
ϕ
,where T
+
t
≔
τ
∈
T
t
:
τ
>
t, if t
<
T and T
+
T
≔
T. Also, for any ξ
∈
L
2
F
T
t
;
P, E
_
t
L
ξ
≔
i
n
f
λ
∈
U
t
L
E
P
t
,
λ
ξ and E
¯
t
L
ξ
≔
s
u
p
λ
∈
U
t
L
E
P
t
,
λ
ξ are nonlinear expectations.The definition of a viscosity solution to the functional PDE (11) (see, e.g., [33, Def. 3.3] or [38, Def. 2]) reads as follows.Definition 2.
Letu
∈
C
b
(
0
,
T
×
C
) such that u
(
T
,
ϕ
)
=
h
ϕ, for all ϕ
∈
C.(a)
For anyL
≥
0, one says that u is a viscosity L-subsolution of (11) if at any point t
,
ϕ
∈
0
,
T
×
C, and, for any φ
∈
A
_
L
u
t
,
ϕ, it holds that(14)
-
∂
t
φ
t
,
ϕ
-
L
φ
t
,
ϕ
-
f
t
,
ϕ
,
φ
t
,
ϕ
,
∂
x
φ
t
,
ϕ
σ
t
,
ϕ
,
φ
·
,
ϕ
t
≤
0
.
(b)
For anyL
≥
0, one says that u is a viscosity L-supersolution of (11) if at any point t
,
ϕ
∈
0
,
T
×
C, and, for any φ
∈
A
¯
L
u
t
,
ϕ, one has(15)
-
∂
t
φ
t
,
ϕ
-
L
φ
t
,
ϕ
-
f
t
,
ϕ
,
φ
t
,
ϕ
,
∂
x
φ
t
,
ϕ
σ
t
,
ϕ
,
φ
·
,
ϕ
t
≥
0
.
(c)
One says thatu is a viscosity subsolution, respectively, supersolution, of (11), if u is a viscosity L-subsolution, respectively, L-supersolution, of (11), for some L
≥
0
.
(d)
One says thatu is a viscosity solution of (11) if u is both a viscosity subsolution and supersolution of (11).


#### 2.1.3. Time Delayed Forward-Backward System

The present section is devoted to the characterization of the delayed forward-backward system we are interested in. In particular, we will look for a triplet,(16)
X
u
,
ϕ
,
Y
u
,
ϕ
,
Z
u
,
ϕ
u
,
ϕ
∈
0
,
T
×
C
, of stochastic processes such that the following decoupled forward-backward system holds:(17)
X
u
,
ϕ
t
=
ϕ
u
+
∫
u
t
b
s
,
X
u
,
ϕ
d
s
+
∫
u
t
σ
s
,
X
u
,
ϕ
d
W
s
,
t
∈
u
,
T
,
X
u
,
ϕ
t
=
ϕ
t
,
t
∈
0
,
s
,
Y
u
,
ϕ
t
=
h
X
u
,
ϕ
+
∫
t
T
f
s
,
X
u
,
ϕ
,
Y
u
,
ϕ
s
,
Z
u
,
ϕ
s
,
Y
s
u
,
ϕ
d
s
-
∫
t
T
Z
u
,
ϕ
s
d
W
s
,
t
∈
u
,
T
,
Y
u
,
ϕ
t
=
Y
t
,
ϕ
t
,
Z
u
,
ϕ
t
=
0
,
t
∈
0
,
u
.Let us first focus on the forward componentX appearing in system (17), also assuming the following.Assumptions 3.
Let us consider two nonanticipative functionalsb
:
0
,
T
×
C
→
R and σ
:
0
,
T
×
C
→
R such that(A
1)
b and σ are continuous;
(A
2)
there existsl
>
0 such that, for any t
∈
0
,
T, ϕ
,
ϕ
′
∈
C,(18)
b
t
,
ϕ
-
b
t
,
ϕ
′
+
σ
t
,
ϕ
-
σ
t
,
ϕ
′
≤
l
ϕ
-
ϕ
′
T
.In light of Assumptions3, the following theorem states both the existence and the uniqueness for the process X
u
,
ϕ
t
t
∈
0
,
T; see, for example, [38, Th. 4].Theorem 4.
Let the coefficientsb and σ satisfy Assumptions 3 (A1)-(A2). Let t
,
ϕ
,
(
t
′
,
ϕ
′
)
∈
0
,
T
×
C be given. Then, there exists a unique continuous and adapted stochastic process X
u
,
ϕ
t
t
∈
0
,
T, such that(19)
X
u
,
ϕ
t
=
ϕ
u
+
∫
u
t
b
s
,
X
t
,
ϕ
d
s
+
∫
u
t
σ
s
,
X
u
,
ϕ
d
W
s
,
t
∈
u
,
T
,
X
u
,
ϕ
t
=
ϕ
t
,
t
∈
0
,
u
.In order to analyse the delayed backward SDE appearing in (17), let us first introduce the main reference spaces we will work with.Definition 5.
(i) LetH
t
2 denote the space of G
u-progressively measurable processes Z
:
Ω
×
u
,
T
→
R, such that(20)
E
∫
u
T
Z
s
2
d
s
<
∞
.(ii) Let S
u
2 be the space of continuous G
u-progressively measurable processes Y
:
Ω
×
u
,
T
→
R such that(21)
E
sup
u
≤
s
≤
T
⁡
Y
s
2
<
∞
.
Moreover, we will equip the spacesH
u
2 and S
u
2 with the following norms:(22)
Z
H
u
2
2
=
E
∫
u
T
e
β
s
Z
s
2
d
s
,
Y
S
u
2
2
=
E
sup
u
≤
s
≤
T
⁡
e
β
s
Y
s
2
,where β
>
0 is a given constant.Further, in order to deal with the delayed backward SDE appearing in (17), we will assume the following.Assumptions 6.
Let(23)
f
:
0
,
T
×
C
×
R
×
R
×
C
-
δ
,
0
;
R
⟶
R
,
h
:
C
⟶
R
,such that the following hold:(
B
1
)
There existL
,
K
,
M
>
0, p
≥
1 and a probability measure α on [
-
δ
,
0
]
,
B
-
δ
,
0 such that, for any t
∈
[
0
,
T
], ϕ
∈
C, y
,
z
,
(
y
′
,
z
′
)
∈
R
×
R, y
^
,
y
^
′
∈
C
-
δ
,
0
;
R, we have the following:(24)
i
ϕ
⟼
f
t
,
ϕ
,
y
,
z
,
y
^
i
s
c
o
n
t
i
n
u
o
u
s
,
i
i
f
t
,
ϕ
,
y
,
z
,
y
^
-
f
t
,
ϕ
,
y
′
,
z
′
,
y
^
≤
L
y
-
y
′
+
z
-
z
′
,
i
i
i
f
t
,
ϕ
,
y
,
z
,
y
^
-
f
t
,
ϕ
,
y
,
z
,
y
^
′
2
≤
K
∫
-
δ
0
y
^
θ
-
y
^
′
θ
2
α
d
θ
,
i
v
f
t
,
ϕ
,
0,0
,
0
<
M
1
+
ϕ
T
p
.
(
B
2
)
The functionf
·
,
·
,
y
,
z
,
y
^ is F-progressively measurable, for any y
,
z
,
y
^
∈
R
×
R
×
C
-
δ
,
0
;
R.
(
B
3
)
The functionh is continuous and, for all ϕ
∈
C,(25)
h
ϕ
≤
M
1
+
ϕ
T
p
.Hence, we are in position to report the result which states both the existence and the uniqueness for the solution to the BSDE with delayed generator we are considering; see, for example, [38, Th. 7].Theorem 7.
If Assumptions6 (B1)–(B3) hold true and K and δ are small enough, namely, if there exists a constant γ
∈
(
0,1
) such that(26)
K
γ
e
γ
+
6
L
2
/
γ
δ
1
-
γ
L
2
max
⁡
1
,
T
<
1
290
,then there exists a unique solution Y
u
,
ϕ
,
Z
u
,
ϕ
(
u
,
ϕ
)
∈
[
0
,
T
]
×
C to the backward stochastic differential system (17), such that(27)
Y
u
,
ϕ
,
Z
u
,
ϕ
∈
S
u
2
×
H
u
2
, for all u
∈
[
0
,
T
]; moreover, u
↦
Y
u
,
ϕ
,
Z
u
,
ϕ is continuous from [
0
,
T
] into S
0
2
×
H
0
2.


### 2.2. Viscosity Solution for the Path-Dependent PDE

The present subsection is mainly based on [38] and it is devoted to the study of viscosity solutions to the path-dependent equation (11). In what follows, we will consider that Assumptions 6 (B1)–(B3) hold true.It is worth mentioning that typical generatorsf satisfying Assumptions 6 are of the following form:(28)
f
1
t
,
ϕ
,
y
,
z
,
y
^
≔
K
∫
-
δ
0
y
^
s
d
s
,
f
2
t
,
ϕ
,
y
,
z
,
y
^
≔
K
y
^
t
-
δ
.Remark 8.
Ifg
:
0
,
T
→
R is a measurable and bounded function with g
t
=
0 for t
<
0, the linear time delayed generator(29)
f
t
,
ϕ
,
y
,
z
,
y
^
=
∫
-
δ
0
g
t
+
θ
y
^
θ
α
d
θsatisfies Assumptions 6.Let us define the functionu
:
[
0
,
T
]
×
C
→
R by(30)
u
t
,
ϕ
≔
Y
t
,
ϕ
t
,
t
,
ϕ
∈
0
,
T
×
C
;notice that u
(
t
,
ϕ
) is deterministic; in fact, Y
t
,
ϕ
t is G
t
t
≡
N-measurable. Thus, we have the following results which are theFeynman-Kac type result adapted to the currentpath-dependent setting.Theorem 9 (existence).
Let Assumptions3 and 6 hold true; then, if the delay δ and the Lipschitz constant K are sufficiently small, namely, if condition (26) is verified, then the path-dependent PDE (11) admits at least one viscosity solution.Proof.
See, for example, [38, Th. 11].Theorem 10.
Let Assumptions3 and 6 hold true as well as condition (26). Then, there exists a continuous nonanticipative functional u
:
0
,
T
×
C
→
R such that(31)
u
t
,
X
u
,
ϕ
=
Y
u
,
ϕ
t
,
∀
t
∈
0
,
T
,
a
.
s
.
, for any u
,
ϕ
∈
0
,
T
×
C, which is a viscosity solution to the path-dependent PDE (11).Proof.
See, for example, [38, Th. 14].


## 2.1. Pathwise Derivatives, Functional Itô’s Formula, Viscosity Solution, and Time Delayed Forward-Backward System

Let us briefly introduce the setting thepath-dependent setting, first developed in [22, 23], stating the main results; see also [22, 23, 38], for a rather complete introduction to thepath-dependent calculus, [33] which concerns the concept of viscosity solution topath-dependent PDE, and [37] for general results on BSDE with delayed generator.


### 2.1.1. Pathwise Derivatives and Functional Itô’s Formula

In what follows, we define the mathematical framework needed to construct the solutions of the Kolmogorov equation we will treat later; see, for example, [22, 23, 25] for a complete introduction to the related functional Itô calculus. For ease of notation, we will consider R-valued processes, the generalization to the case of R
d-valued processes being straightforward.We will denoteB
(
t
,
ϕ
^
)
≔
ϕ
t, while F
≔
(
F
s
)
s
∈
0
,
T will be the filtration generated by B.LetD
≔
D
0
,
T
;
R, where T
<
+
∞ is a positive fixed constant, be the set of Càdlàg R-valued functions, that is, right continuous, with finite left-hand limits. On D, we introduce the norm (1)
ϕ
T
≔
sup
s
∈
0
,
T
⁡
ϕ
s
,with respect to which D becomes a Banach space. Similarly on 0
,
T
×
D, we introduce the pseudometric(2)
d
t
,
ϕ
,
t
′
,
ϕ
′
≔
t
-
t
′
+
sup
s
∈
0
,
T
⁡
ϕ
s
∧
t
-
ϕ
′
r
∧
t
′
,with respect to which 0
,
T
×
D becomes a complete pseudometric space.Letu
:
[
0
,
T
]
×
D
→
R be a given function; then we say that u is vertically differentiable at (
t
,
ϕ
)
∈
0
,
T
×
D, if there exist(3)
∂
x
u
t
,
ϕ
≔
lim
h
→
0
⁡
u
t
,
ϕ
+
h
1
t
,
T
-
u
t
,
ϕ
h
. The second-order derivative, when it exists, is denoted by ∂
x
x
u
(
t
,
ϕ
)
≔
∂
x
(
∂
x
u
).Moreover, takingt
∈
[
0
,
T
] and considering apath
ϕ
∈
D, we define(4)
ϕ
t
≔
ϕ
·
∧
t
∈
D
.As it is standard when dealing with delay equations, we will exploit the following notation: for a pathϕ
∈
D, we will denote by ϕ
(
t
) the R-value at time t of ϕ, whereas ϕ
t denotes the path up to time t.We say thatu is horizontally differentiable at (
t
,
ϕ
)
∈
0
,
T
×
D if there exist(5)
∂
t
u
t
,
ϕ
≔
lim
h
→
0
+
⁡
u
t
+
h
,
ϕ
t
-
u
t
,
ϕ
h
, for t
∈
[
0
,
T
) and ∂
t
u
(
T
,
ϕ
)
≔
l
i
m
t
→
T
-
∂
t
u
(
t
,
ϕ
).Letu
:
0
,
T
×
D
→
R be nonanticipative; we say that u
∈
C
(
0
,
T
×
D
), if u is continuous on 0
,
T
×
D under the pseudometric d; moreover, we write that u
∈
C
b
(
0
,
T
×
D
), if u
∈
C
(
0
,
T
×
D
) and u is bounded on 0
,
T
×
D. Eventually, we say that u
∈
C
b
1,2
(
0
,
T
×
D
), if u
∈
C
(
0
,
T
×
D
) and the derivatives ∂
x
u, ∂
x
x
u, and ∂
t
u exist, and they are both continuous and bounded. Finally, we denote by D
t
≔
D
(
[
t
,
T
]
;
R
) the shifted spaces of Càdlàg paths with corresponding metric and pseudometric.Exploiting previous notations and following [25], we are going to work with processes u defined on 0
,
T
×
C
→
R, being C
≔
C
(
[
0
,
T
]
;
R
), namely, the space of continuous paths. It is worth mentioning that all the definitions stated above can be straightforwardly adapted to the case u
:
[
0
,
T
]
×
C
→
R.For a continuous functionϕ
∈
C
-
δ
,
T
;
R, we denote(6)
ϕ
t
≔
ϕ
t
+
θ
θ
∈
-
δ
,
0
,
δ
>
0 being a fixed constant.The following theorem states a functional version of Itô’s formula; see, for example, [22, Theorem 4.1].Theorem 1 (functional Itô’s formula).
LetA be a 1-dimensional Itô process; namely, A
:
0
,
T
×
C
→
R is a continuous R-valued semimartingale defined on the probability space C
,
F
,
P which admits the representation(7)
A
t
=
A
0
+
∫
0
t
b
r
d
r
+
∫
0
t
σ
r
d
B
r
,
∀
t
∈
0
,
T
,for some suitable processes b and σ.
IfF
∈
C
b
1,2
(
0
,
T
×
C
), then, for any t
∈
[
0
,
T
), the following change of variable formula holds true:(8)
F
t
,
A
t
=
F
0
,
A
0
+
∫
0
t
∂
t
F
r
,
A
s
d
s
+
∫
0
t
∂
x
F
r
,
A
s
b
s
d
s
+
1
2
∫
0
t
σ
2
s
∂
x
x
F
r
,
A
s
d
s
+
∫
0
t
∂
x
F
r
,
A
s
σ
s
d
W
s
.


### 2.1.2. Viscosity Solution to the Path-Dependent PDE

In what follows, mainly following [38], we introduce the notion ofviscosity solution; see also [33].Let us denote byT the set of all stopping times τ such that, for all t
∈
[
0
,
T
), we have that the set ϕ
∈
C
:
τ
ϕ
>
t is an open subset of C
,
·
T, while we define by T
t the set of all stopping times τ such that, for all s
∈
[
t
,
T
), the set ϕ
∈
C
t
:
τ
ϕ
>
s is an open subset of C
t
,
·
T
t.LetL
≥
0 and t
<
T; then we denote by U
t
L the space of R-valued processes λ such that |
λ
|
≤
L; then, we defined a new probability measure P
t
,
λ by d
P
t
,
λ
≔
M
t
,
λ
T
d
P, where(9)
M
t
,
λ
s
≔
exp
⁡
∫
t
s
λ
r
d
W
r
-
1
2
∫
t
s
λ
r
2
d
r
,
P
-
a
.
s
.Let us consider the processX
t
,
ϕ
s
s
∈
0
,
T which evolves according to(10)
X
t
,
ϕ
s
=
ϕ
t
+
∫
t
s
b
r
,
X
t
,
ϕ
d
r
+
∫
t
s
σ
r
,
X
t
,
ϕ
d
W
r
,
s
∈
t
,
T
,
X
t
,
ϕ
s
=
ϕ
s
,
s
∈
0
,
t
,where t
,
ϕ
∈
0
,
T
×
C is given, W is standard Brownian motion, and b and σ are some suitable coefficients that will be soon better specified. Further, we denote by G
=
G
s
s
∈
[
0
,
T
] the natural filtration generated by W.Taking into account what we have introduced so far, we are in position to state the main object of analysis in the present work, namely, the following functional path-dependent PDE:(11)
-
∂
t
u
t
,
ϕ
-
L
u
t
,
ϕ
-
f
t
,
ϕ
,
u
t
,
ϕ
,
∂
x
u
t
,
ϕ
σ
t
,
ϕ
,
u
·
,
ϕ
t
=
0
,
u
T
,
ϕ
=
h
ϕ
,for t
∈
[
0
,
T
), ϕ
∈
C. Moreover, indicating by δ
>
0 a given fixed delay, we have set u
(
·
,
ϕ
)
t
≔
u
(
t
+
θ
,
ϕ
)
θ
∈
-
δ
,
0, while, in (11), we have denoted by L the second-order differential operator given by(12)
L
u
t
,
ϕ
≔
1
2
σ
2
t
,
ϕ
∂
x
x
u
t
,
ϕ
+
b
t
,
ϕ
∂
x
u
t
,
ϕ
, with b
:
0
,
T
×
C
→
R and σ
:
0
,
T
×
C
→
R being two nonanticipative functionals.We now introduce the space of the test functions:(13)
A
_
L
u
t
,
ϕ
≔
φ
∈
C
b
1,2
0
,
T
×
C
:
∃
τ
0
∈
T
+
t
,
φ
t
,
ϕ
-
u
t
,
ϕ
=
min
τ
∈
T
t
⁡
E
_
t
L
φ
-
u
τ
∧
τ
0
,
X
t
,
ϕ
,
A
¯
L
u
t
,
ϕ
≔
φ
∈
C
b
1,2
0
,
T
×
C
:
∃
τ
0
∈
T
+
t
,
φ
t
,
ϕ
-
u
t
,
ϕ
=
max
τ
∈
T
t
⁡
E
¯
t
L
φ
-
u
τ
∧
τ
0
,
X
t
,
ϕ
,where T
+
t
≔
τ
∈
T
t
:
τ
>
t, if t
<
T and T
+
T
≔
T. Also, for any ξ
∈
L
2
F
T
t
;
P, E
_
t
L
ξ
≔
i
n
f
λ
∈
U
t
L
E
P
t
,
λ
ξ and E
¯
t
L
ξ
≔
s
u
p
λ
∈
U
t
L
E
P
t
,
λ
ξ are nonlinear expectations.The definition of a viscosity solution to the functional PDE (11) (see, e.g., [33, Def. 3.3] or [38, Def. 2]) reads as follows.Definition 2.
Letu
∈
C
b
(
0
,
T
×
C
) such that u
(
T
,
ϕ
)
=
h
ϕ, for all ϕ
∈
C.(a)
For anyL
≥
0, one says that u is a viscosity L-subsolution of (11) if at any point t
,
ϕ
∈
0
,
T
×
C, and, for any φ
∈
A
_
L
u
t
,
ϕ, it holds that(14)
-
∂
t
φ
t
,
ϕ
-
L
φ
t
,
ϕ
-
f
t
,
ϕ
,
φ
t
,
ϕ
,
∂
x
φ
t
,
ϕ
σ
t
,
ϕ
,
φ
·
,
ϕ
t
≤
0
.
(b)
For anyL
≥
0, one says that u is a viscosity L-supersolution of (11) if at any point t
,
ϕ
∈
0
,
T
×
C, and, for any φ
∈
A
¯
L
u
t
,
ϕ, one has(15)
-
∂
t
φ
t
,
ϕ
-
L
φ
t
,
ϕ
-
f
t
,
ϕ
,
φ
t
,
ϕ
,
∂
x
φ
t
,
ϕ
σ
t
,
ϕ
,
φ
·
,
ϕ
t
≥
0
.
(c)
One says thatu is a viscosity subsolution, respectively, supersolution, of (11), if u is a viscosity L-subsolution, respectively, L-supersolution, of (11), for some L
≥
0
.
(d)
One says thatu is a viscosity solution of (11) if u is both a viscosity subsolution and supersolution of (11).


### 2.1.3. Time Delayed Forward-Backward System

The present section is devoted to the characterization of the delayed forward-backward system we are interested in. In particular, we will look for a triplet,(16)
X
u
,
ϕ
,
Y
u
,
ϕ
,
Z
u
,
ϕ
u
,
ϕ
∈
0
,
T
×
C
, of stochastic processes such that the following decoupled forward-backward system holds:(17)
X
u
,
ϕ
t
=
ϕ
u
+
∫
u
t
b
s
,
X
u
,
ϕ
d
s
+
∫
u
t
σ
s
,
X
u
,
ϕ
d
W
s
,
t
∈
u
,
T
,
X
u
,
ϕ
t
=
ϕ
t
,
t
∈
0
,
s
,
Y
u
,
ϕ
t
=
h
X
u
,
ϕ
+
∫
t
T
f
s
,
X
u
,
ϕ
,
Y
u
,
ϕ
s
,
Z
u
,
ϕ
s
,
Y
s
u
,
ϕ
d
s
-
∫
t
T
Z
u
,
ϕ
s
d
W
s
,
t
∈
u
,
T
,
Y
u
,
ϕ
t
=
Y
t
,
ϕ
t
,
Z
u
,
ϕ
t
=
0
,
t
∈
0
,
u
.Let us first focus on the forward componentX appearing in system (17), also assuming the following.Assumptions 3.
Let us consider two nonanticipative functionalsb
:
0
,
T
×
C
→
R and σ
:
0
,
T
×
C
→
R such that(A
1)
b and σ are continuous;
(A
2)
there existsl
>
0 such that, for any t
∈
0
,
T, ϕ
,
ϕ
′
∈
C,(18)
b
t
,
ϕ
-
b
t
,
ϕ
′
+
σ
t
,
ϕ
-
σ
t
,
ϕ
′
≤
l
ϕ
-
ϕ
′
T
.In light of Assumptions3, the following theorem states both the existence and the uniqueness for the process X
u
,
ϕ
t
t
∈
0
,
T; see, for example, [38, Th. 4].Theorem 4.
Let the coefficientsb and σ satisfy Assumptions 3 (A1)-(A2). Let t
,
ϕ
,
(
t
′
,
ϕ
′
)
∈
0
,
T
×
C be given. Then, there exists a unique continuous and adapted stochastic process X
u
,
ϕ
t
t
∈
0
,
T, such that(19)
X
u
,
ϕ
t
=
ϕ
u
+
∫
u
t
b
s
,
X
t
,
ϕ
d
s
+
∫
u
t
σ
s
,
X
u
,
ϕ
d
W
s
,
t
∈
u
,
T
,
X
u
,
ϕ
t
=
ϕ
t
,
t
∈
0
,
u
.In order to analyse the delayed backward SDE appearing in (17), let us first introduce the main reference spaces we will work with.Definition 5.
(i) LetH
t
2 denote the space of G
u-progressively measurable processes Z
:
Ω
×
u
,
T
→
R, such that(20)
E
∫
u
T
Z
s
2
d
s
<
∞
.(ii) Let S
u
2 be the space of continuous G
u-progressively measurable processes Y
:
Ω
×
u
,
T
→
R such that(21)
E
sup
u
≤
s
≤
T
⁡
Y
s
2
<
∞
.
Moreover, we will equip the spacesH
u
2 and S
u
2 with the following norms:(22)
Z
H
u
2
2
=
E
∫
u
T
e
β
s
Z
s
2
d
s
,
Y
S
u
2
2
=
E
sup
u
≤
s
≤
T
⁡
e
β
s
Y
s
2
,where β
>
0 is a given constant.Further, in order to deal with the delayed backward SDE appearing in (17), we will assume the following.Assumptions 6.
Let(23)
f
:
0
,
T
×
C
×
R
×
R
×
C
-
δ
,
0
;
R
⟶
R
,
h
:
C
⟶
R
,such that the following hold:(
B
1
)
There existL
,
K
,
M
>
0, p
≥
1 and a probability measure α on [
-
δ
,
0
]
,
B
-
δ
,
0 such that, for any t
∈
[
0
,
T
], ϕ
∈
C, y
,
z
,
(
y
′
,
z
′
)
∈
R
×
R, y
^
,
y
^
′
∈
C
-
δ
,
0
;
R, we have the following:(24)
i
ϕ
⟼
f
t
,
ϕ
,
y
,
z
,
y
^
i
s
c
o
n
t
i
n
u
o
u
s
,
i
i
f
t
,
ϕ
,
y
,
z
,
y
^
-
f
t
,
ϕ
,
y
′
,
z
′
,
y
^
≤
L
y
-
y
′
+
z
-
z
′
,
i
i
i
f
t
,
ϕ
,
y
,
z
,
y
^
-
f
t
,
ϕ
,
y
,
z
,
y
^
′
2
≤
K
∫
-
δ
0
y
^
θ
-
y
^
′
θ
2
α
d
θ
,
i
v
f
t
,
ϕ
,
0,0
,
0
<
M
1
+
ϕ
T
p
.
(
B
2
)
The functionf
·
,
·
,
y
,
z
,
y
^ is F-progressively measurable, for any y
,
z
,
y
^
∈
R
×
R
×
C
-
δ
,
0
;
R.
(
B
3
)
The functionh is continuous and, for all ϕ
∈
C,(25)
h
ϕ
≤
M
1
+
ϕ
T
p
.Hence, we are in position to report the result which states both the existence and the uniqueness for the solution to the BSDE with delayed generator we are considering; see, for example, [38, Th. 7].Theorem 7.
If Assumptions6 (B1)–(B3) hold true and K and δ are small enough, namely, if there exists a constant γ
∈
(
0,1
) such that(26)
K
γ
e
γ
+
6
L
2
/
γ
δ
1
-
γ
L
2
max
⁡
1
,
T
<
1
290
,then there exists a unique solution Y
u
,
ϕ
,
Z
u
,
ϕ
(
u
,
ϕ
)
∈
[
0
,
T
]
×
C to the backward stochastic differential system (17), such that(27)
Y
u
,
ϕ
,
Z
u
,
ϕ
∈
S
u
2
×
H
u
2
, for all u
∈
[
0
,
T
]; moreover, u
↦
Y
u
,
ϕ
,
Z
u
,
ϕ is continuous from [
0
,
T
] into S
0
2
×
H
0
2.


## 2.1.1. Pathwise Derivatives and Functional Itô’s Formula

In what follows, we define the mathematical framework needed to construct the solutions of the Kolmogorov equation we will treat later; see, for example, [22, 23, 25] for a complete introduction to the related functional Itô calculus. For ease of notation, we will consider R-valued processes, the generalization to the case of R
d-valued processes being straightforward.We will denoteB
(
t
,
ϕ
^
)
≔
ϕ
t, while F
≔
(
F
s
)
s
∈
0
,
T will be the filtration generated by B.LetD
≔
D
0
,
T
;
R, where T
<
+
∞ is a positive fixed constant, be the set of Càdlàg R-valued functions, that is, right continuous, with finite left-hand limits. On D, we introduce the norm (1)
ϕ
T
≔
sup
s
∈
0
,
T
⁡
ϕ
s
,with respect to which D becomes a Banach space. Similarly on 0
,
T
×
D, we introduce the pseudometric(2)
d
t
,
ϕ
,
t
′
,
ϕ
′
≔
t
-
t
′
+
sup
s
∈
0
,
T
⁡
ϕ
s
∧
t
-
ϕ
′
r
∧
t
′
,with respect to which 0
,
T
×
D becomes a complete pseudometric space.Letu
:
[
0
,
T
]
×
D
→
R be a given function; then we say that u is vertically differentiable at (
t
,
ϕ
)
∈
0
,
T
×
D, if there exist(3)
∂
x
u
t
,
ϕ
≔
lim
h
→
0
⁡
u
t
,
ϕ
+
h
1
t
,
T
-
u
t
,
ϕ
h
. The second-order derivative, when it exists, is denoted by ∂
x
x
u
(
t
,
ϕ
)
≔
∂
x
(
∂
x
u
).Moreover, takingt
∈
[
0
,
T
] and considering apath
ϕ
∈
D, we define(4)
ϕ
t
≔
ϕ
·
∧
t
∈
D
.As it is standard when dealing with delay equations, we will exploit the following notation: for a pathϕ
∈
D, we will denote by ϕ
(
t
) the R-value at time t of ϕ, whereas ϕ
t denotes the path up to time t.We say thatu is horizontally differentiable at (
t
,
ϕ
)
∈
0
,
T
×
D if there exist(5)
∂
t
u
t
,
ϕ
≔
lim
h
→
0
+
⁡
u
t
+
h
,
ϕ
t
-
u
t
,
ϕ
h
, for t
∈
[
0
,
T
) and ∂
t
u
(
T
,
ϕ
)
≔
l
i
m
t
→
T
-
∂
t
u
(
t
,
ϕ
).Letu
:
0
,
T
×
D
→
R be nonanticipative; we say that u
∈
C
(
0
,
T
×
D
), if u is continuous on 0
,
T
×
D under the pseudometric d; moreover, we write that u
∈
C
b
(
0
,
T
×
D
), if u
∈
C
(
0
,
T
×
D
) and u is bounded on 0
,
T
×
D. Eventually, we say that u
∈
C
b
1,2
(
0
,
T
×
D
), if u
∈
C
(
0
,
T
×
D
) and the derivatives ∂
x
u, ∂
x
x
u, and ∂
t
u exist, and they are both continuous and bounded. Finally, we denote by D
t
≔
D
(
[
t
,
T
]
;
R
) the shifted spaces of Càdlàg paths with corresponding metric and pseudometric.Exploiting previous notations and following [25], we are going to work with processes u defined on 0
,
T
×
C
→
R, being C
≔
C
(
[
0
,
T
]
;
R
), namely, the space of continuous paths. It is worth mentioning that all the definitions stated above can be straightforwardly adapted to the case u
:
[
0
,
T
]
×
C
→
R.For a continuous functionϕ
∈
C
-
δ
,
T
;
R, we denote(6)
ϕ
t
≔
ϕ
t
+
θ
θ
∈
-
δ
,
0
,
δ
>
0 being a fixed constant.The following theorem states a functional version of Itô’s formula; see, for example, [22, Theorem 4.1].Theorem 1 (functional Itô’s formula).
LetA be a 1-dimensional Itô process; namely, A
:
0
,
T
×
C
→
R is a continuous R-valued semimartingale defined on the probability space C
,
F
,
P which admits the representation(7)
A
t
=
A
0
+
∫
0
t
b
r
d
r
+
∫
0
t
σ
r
d
B
r
,
∀
t
∈
0
,
T
,for some suitable processes b and σ.
IfF
∈
C
b
1,2
(
0
,
T
×
C
), then, for any t
∈
[
0
,
T
), the following change of variable formula holds true:(8)
F
t
,
A
t
=
F
0
,
A
0
+
∫
0
t
∂
t
F
r
,
A
s
d
s
+
∫
0
t
∂
x
F
r
,
A
s
b
s
d
s
+
1
2
∫
0
t
σ
2
s
∂
x
x
F
r
,
A
s
d
s
+
∫
0
t
∂
x
F
r
,
A
s
σ
s
d
W
s
.


## 2.1.2. Viscosity Solution to the Path-Dependent PDE

In what follows, mainly following [38], we introduce the notion ofviscosity solution; see also [33].Let us denote byT the set of all stopping times τ such that, for all t
∈
[
0
,
T
), we have that the set ϕ
∈
C
:
τ
ϕ
>
t is an open subset of C
,
·
T, while we define by T
t the set of all stopping times τ such that, for all s
∈
[
t
,
T
), the set ϕ
∈
C
t
:
τ
ϕ
>
s is an open subset of C
t
,
·
T
t.LetL
≥
0 and t
<
T; then we denote by U
t
L the space of R-valued processes λ such that |
λ
|
≤
L; then, we defined a new probability measure P
t
,
λ by d
P
t
,
λ
≔
M
t
,
λ
T
d
P, where(9)
M
t
,
λ
s
≔
exp
⁡
∫
t
s
λ
r
d
W
r
-
1
2
∫
t
s
λ
r
2
d
r
,
P
-
a
.
s
.Let us consider the processX
t
,
ϕ
s
s
∈
0
,
T which evolves according to(10)
X
t
,
ϕ
s
=
ϕ
t
+
∫
t
s
b
r
,
X
t
,
ϕ
d
r
+
∫
t
s
σ
r
,
X
t
,
ϕ
d
W
r
,
s
∈
t
,
T
,
X
t
,
ϕ
s
=
ϕ
s
,
s
∈
0
,
t
,where t
,
ϕ
∈
0
,
T
×
C is given, W is standard Brownian motion, and b and σ are some suitable coefficients that will be soon better specified. Further, we denote by G
=
G
s
s
∈
[
0
,
T
] the natural filtration generated by W.Taking into account what we have introduced so far, we are in position to state the main object of analysis in the present work, namely, the following functional path-dependent PDE:(11)
-
∂
t
u
t
,
ϕ
-
L
u
t
,
ϕ
-
f
t
,
ϕ
,
u
t
,
ϕ
,
∂
x
u
t
,
ϕ
σ
t
,
ϕ
,
u
·
,
ϕ
t
=
0
,
u
T
,
ϕ
=
h
ϕ
,for t
∈
[
0
,
T
), ϕ
∈
C. Moreover, indicating by δ
>
0 a given fixed delay, we have set u
(
·
,
ϕ
)
t
≔
u
(
t
+
θ
,
ϕ
)
θ
∈
-
δ
,
0, while, in (11), we have denoted by L the second-order differential operator given by(12)
L
u
t
,
ϕ
≔
1
2
σ
2
t
,
ϕ
∂
x
x
u
t
,
ϕ
+
b
t
,
ϕ
∂
x
u
t
,
ϕ
, with b
:
0
,
T
×
C
→
R and σ
:
0
,
T
×
C
→
R being two nonanticipative functionals.We now introduce the space of the test functions:(13)
A
_
L
u
t
,
ϕ
≔
φ
∈
C
b
1,2
0
,
T
×
C
:
∃
τ
0
∈
T
+
t
,
φ
t
,
ϕ
-
u
t
,
ϕ
=
min
τ
∈
T
t
⁡
E
_
t
L
φ
-
u
τ
∧
τ
0
,
X
t
,
ϕ
,
A
¯
L
u
t
,
ϕ
≔
φ
∈
C
b
1,2
0
,
T
×
C
:
∃
τ
0
∈
T
+
t
,
φ
t
,
ϕ
-
u
t
,
ϕ
=
max
τ
∈
T
t
⁡
E
¯
t
L
φ
-
u
τ
∧
τ
0
,
X
t
,
ϕ
,where T
+
t
≔
τ
∈
T
t
:
τ
>
t, if t
<
T and T
+
T
≔
T. Also, for any ξ
∈
L
2
F
T
t
;
P, E
_
t
L
ξ
≔
i
n
f
λ
∈
U
t
L
E
P
t
,
λ
ξ and E
¯
t
L
ξ
≔
s
u
p
λ
∈
U
t
L
E
P
t
,
λ
ξ are nonlinear expectations.The definition of a viscosity solution to the functional PDE (11) (see, e.g., [33, Def. 3.3] or [38, Def. 2]) reads as follows.Definition 2.
Letu
∈
C
b
(
0
,
T
×
C
) such that u
(
T
,
ϕ
)
=
h
ϕ, for all ϕ
∈
C.(a)
For anyL
≥
0, one says that u is a viscosity L-subsolution of (11) if at any point t
,
ϕ
∈
0
,
T
×
C, and, for any φ
∈
A
_
L
u
t
,
ϕ, it holds that(14)
-
∂
t
φ
t
,
ϕ
-
L
φ
t
,
ϕ
-
f
t
,
ϕ
,
φ
t
,
ϕ
,
∂
x
φ
t
,
ϕ
σ
t
,
ϕ
,
φ
·
,
ϕ
t
≤
0
.
(b)
For anyL
≥
0, one says that u is a viscosity L-supersolution of (11) if at any point t
,
ϕ
∈
0
,
T
×
C, and, for any φ
∈
A
¯
L
u
t
,
ϕ, one has(15)
-
∂
t
φ
t
,
ϕ
-
L
φ
t
,
ϕ
-
f
t
,
ϕ
,
φ
t
,
ϕ
,
∂
x
φ
t
,
ϕ
σ
t
,
ϕ
,
φ
·
,
ϕ
t
≥
0
.
(c)
One says thatu is a viscosity subsolution, respectively, supersolution, of (11), if u is a viscosity L-subsolution, respectively, L-supersolution, of (11), for some L
≥
0
.
(d)
One says thatu is a viscosity solution of (11) if u is both a viscosity subsolution and supersolution of (11).


## 2.1.3. Time Delayed Forward-Backward System

The present section is devoted to the characterization of the delayed forward-backward system we are interested in. In particular, we will look for a triplet,(16)
X
u
,
ϕ
,
Y
u
,
ϕ
,
Z
u
,
ϕ
u
,
ϕ
∈
0
,
T
×
C
, of stochastic processes such that the following decoupled forward-backward system holds:(17)
X
u
,
ϕ
t
=
ϕ
u
+
∫
u
t
b
s
,
X
u
,
ϕ
d
s
+
∫
u
t
σ
s
,
X
u
,
ϕ
d
W
s
,
t
∈
u
,
T
,
X
u
,
ϕ
t
=
ϕ
t
,
t
∈
0
,
s
,
Y
u
,
ϕ
t
=
h
X
u
,
ϕ
+
∫
t
T
f
s
,
X
u
,
ϕ
,
Y
u
,
ϕ
s
,
Z
u
,
ϕ
s
,
Y
s
u
,
ϕ
d
s
-
∫
t
T
Z
u
,
ϕ
s
d
W
s
,
t
∈
u
,
T
,
Y
u
,
ϕ
t
=
Y
t
,
ϕ
t
,
Z
u
,
ϕ
t
=
0
,
t
∈
0
,
u
.Let us first focus on the forward componentX appearing in system (17), also assuming the following.Assumptions 3.
Let us consider two nonanticipative functionalsb
:
0
,
T
×
C
→
R and σ
:
0
,
T
×
C
→
R such that(A
1)
b and σ are continuous;
(A
2)
there existsl
>
0 such that, for any t
∈
0
,
T, ϕ
,
ϕ
′
∈
C,(18)
b
t
,
ϕ
-
b
t
,
ϕ
′
+
σ
t
,
ϕ
-
σ
t
,
ϕ
′
≤
l
ϕ
-
ϕ
′
T
.In light of Assumptions3, the following theorem states both the existence and the uniqueness for the process X
u
,
ϕ
t
t
∈
0
,
T; see, for example, [38, Th. 4].Theorem 4.
Let the coefficientsb and σ satisfy Assumptions 3 (A1)-(A2). Let t
,
ϕ
,
(
t
′
,
ϕ
′
)
∈
0
,
T
×
C be given. Then, there exists a unique continuous and adapted stochastic process X
u
,
ϕ
t
t
∈
0
,
T, such that(19)
X
u
,
ϕ
t
=
ϕ
u
+
∫
u
t
b
s
,
X
t
,
ϕ
d
s
+
∫
u
t
σ
s
,
X
u
,
ϕ
d
W
s
,
t
∈
u
,
T
,
X
u
,
ϕ
t
=
ϕ
t
,
t
∈
0
,
u
.In order to analyse the delayed backward SDE appearing in (17), let us first introduce the main reference spaces we will work with.Definition 5.
(i) LetH
t
2 denote the space of G
u-progressively measurable processes Z
:
Ω
×
u
,
T
→
R, such that(20)
E
∫
u
T
Z
s
2
d
s
<
∞
.(ii) Let S
u
2 be the space of continuous G
u-progressively measurable processes Y
:
Ω
×
u
,
T
→
R such that(21)
E
sup
u
≤
s
≤
T
⁡
Y
s
2
<
∞
.
Moreover, we will equip the spacesH
u
2 and S
u
2 with the following norms:(22)
Z
H
u
2
2
=
E
∫
u
T
e
β
s
Z
s
2
d
s
,
Y
S
u
2
2
=
E
sup
u
≤
s
≤
T
⁡
e
β
s
Y
s
2
,where β
>
0 is a given constant.Further, in order to deal with the delayed backward SDE appearing in (17), we will assume the following.Assumptions 6.
Let(23)
f
:
0
,
T
×
C
×
R
×
R
×
C
-
δ
,
0
;
R
⟶
R
,
h
:
C
⟶
R
,such that the following hold:(
B
1
)
There existL
,
K
,
M
>
0, p
≥
1 and a probability measure α on [
-
δ
,
0
]
,
B
-
δ
,
0 such that, for any t
∈
[
0
,
T
], ϕ
∈
C, y
,
z
,
(
y
′
,
z
′
)
∈
R
×
R, y
^
,
y
^
′
∈
C
-
δ
,
0
;
R, we have the following:(24)
i
ϕ
⟼
f
t
,
ϕ
,
y
,
z
,
y
^
i
s
c
o
n
t
i
n
u
o
u
s
,
i
i
f
t
,
ϕ
,
y
,
z
,
y
^
-
f
t
,
ϕ
,
y
′
,
z
′
,
y
^
≤
L
y
-
y
′
+
z
-
z
′
,
i
i
i
f
t
,
ϕ
,
y
,
z
,
y
^
-
f
t
,
ϕ
,
y
,
z
,
y
^
′
2
≤
K
∫
-
δ
0
y
^
θ
-
y
^
′
θ
2
α
d
θ
,
i
v
f
t
,
ϕ
,
0,0
,
0
<
M
1
+
ϕ
T
p
.
(
B
2
)
The functionf
·
,
·
,
y
,
z
,
y
^ is F-progressively measurable, for any y
,
z
,
y
^
∈
R
×
R
×
C
-
δ
,
0
;
R.
(
B
3
)
The functionh is continuous and, for all ϕ
∈
C,(25)
h
ϕ
≤
M
1
+
ϕ
T
p
.Hence, we are in position to report the result which states both the existence and the uniqueness for the solution to the BSDE with delayed generator we are considering; see, for example, [38, Th. 7].Theorem 7.
If Assumptions6 (B1)–(B3) hold true and K and δ are small enough, namely, if there exists a constant γ
∈
(
0,1
) such that(26)
K
γ
e
γ
+
6
L
2
/
γ
δ
1
-
γ
L
2
max
⁡
1
,
T
<
1
290
,then there exists a unique solution Y
u
,
ϕ
,
Z
u
,
ϕ
(
u
,
ϕ
)
∈
[
0
,
T
]
×
C to the backward stochastic differential system (17), such that(27)
Y
u
,
ϕ
,
Z
u
,
ϕ
∈
S
u
2
×
H
u
2
, for all u
∈
[
0
,
T
]; moreover, u
↦
Y
u
,
ϕ
,
Z
u
,
ϕ is continuous from [
0
,
T
] into S
0
2
×
H
0
2.


## 2.2. Viscosity Solution for the Path-Dependent PDE

The present subsection is mainly based on [38] and it is devoted to the study of viscosity solutions to the path-dependent equation (11). In what follows, we will consider that Assumptions 6 (B1)–(B3) hold true.It is worth mentioning that typical generatorsf satisfying Assumptions 6 are of the following form:(28)
f
1
t
,
ϕ
,
y
,
z
,
y
^
≔
K
∫
-
δ
0
y
^
s
d
s
,
f
2
t
,
ϕ
,
y
,
z
,
y
^
≔
K
y
^
t
-
δ
.Remark 8.
Ifg
:
0
,
T
→
R is a measurable and bounded function with g
t
=
0 for t
<
0, the linear time delayed generator(29)
f
t
,
ϕ
,
y
,
z
,
y
^
=
∫
-
δ
0
g
t
+
θ
y
^
θ
α
d
θsatisfies Assumptions 6.Let us define the functionu
:
[
0
,
T
]
×
C
→
R by(30)
u
t
,
ϕ
≔
Y
t
,
ϕ
t
,
t
,
ϕ
∈
0
,
T
×
C
;notice that u
(
t
,
ϕ
) is deterministic; in fact, Y
t
,
ϕ
t is G
t
t
≡
N-measurable. Thus, we have the following results which are theFeynman-Kac type result adapted to the currentpath-dependent setting.Theorem 9 (existence).
Let Assumptions3 and 6 hold true; then, if the delay δ and the Lipschitz constant K are sufficiently small, namely, if condition (26) is verified, then the path-dependent PDE (11) admits at least one viscosity solution.Proof.
See, for example, [38, Th. 11].Theorem 10.
Let Assumptions3 and 6 hold true as well as condition (26). Then, there exists a continuous nonanticipative functional u
:
0
,
T
×
C
→
R such that(31)
u
t
,
X
u
,
ϕ
=
Y
u
,
ϕ
t
,
∀
t
∈
0
,
T
,
a
.
s
.
, for any u
,
ϕ
∈
0
,
T
×
C, which is a viscosity solution to the path-dependent PDE (11).Proof.
See, for example, [38, Th. 14].


## 3. Pricing under Counterparty Risk

In the present section, we are going to apply previously derived results to the pricing of financial derivatives under counterparty risk and funding issues. In order to derive the pricing equation, we closely follow [21, Sec. 2]; see also, for example, [10, 40] and the references therein.Let us consider a standard filtered probability spaceΩ
,
G
,
G
s
s
∈
[
0
,
T
]
,
Q, with T
<
+
∞ being a fixed positive constant, while the filtration G
s represents all the information available on the market at a given time s. Our goal is to derive a portfolio of financial contracts between two parties, namely, the investor, which will be denoted by I, and thecounterparty, which will be denoted by C.In order to work in a realistic and concrete financial framework, we include the risk of default. In particular, we denote byτ
I and τ
C the G-measurable stopping time representing the default time of I and C, respectively. Moreover, we prescribe that τ
I and τ
C have intensity λ
I
>
0 and λ
C
>
0, respectively, and are indicated by τ
≔
τ
I
∧
τ
C and by λ
≔
λ
I
+
λ
C. Recalling that arisk-neutral measure
Q is nothing but a probability measure such that each share price equals the discounted expectation of the share price under Q itself, in what follows, F
s
s
∈
[
0
,
T
] indicates the default-free filtration generated by the asset S which evolves under therisk-neutral measure
Q and according to the following SDE:(32)
d
S
t
S
t
=
r
t
d
t
+
σ
t
,
S
t
d
W
t
,
S
0
=
s
0
>
0
∈
R
+
,where r is F-measurable process indicating therisk-free rate. We also assume that there exists arisk-free account
B whose dynamic is given by(33)
d
B
t
=
r
t
B
t
d
t
,
B
0
=
1
,where we have used the notation introduced in Section 2, while the assumptions on the coefficients appearing in (32)-(33) will be specified in a while. We underline the notion that we indicate by S
(
t
) the present R-value of the process S, whereas S
t denotes the whole path up to time t, so that, in complete generality, we have assumed both the risky asset and theriskless rate to bepath-dependent.Remark 11.
Until now, we have worked under the strong assumption that there exists a risk-free rater with a corresponding risk-free account. Nevertheless, the latter assumption turns out to be rather unrealistic in concrete financial markets, and this enlightens a major strength of our approach, since it allows deriving a portfolio that is independent of the risk-free rate r.Given a rateξ
(
s
), we will denote the discount factor associated with ξ by(34)
D
u
,
t
;
ξ
≔
e
-
∫
u
t
ξ
s
d
s
, and we also define D
(
u
,
t
)
≔
D
(
u
,
t
;
r
).Following [21, Sec. 2.1], we construct a replicating portfolio taking all future cash flows and then discounting them at therisk-free rate
r. Moreover, to treat the problem in its full generality, we will assume the following processes to be possibly path-dependent, hence stating a difference with respect to what has been done in [21].In particular, we have first to consider the payments due to the contract itself, which is a predictable processπ
t and the terminal payoff of the claim Φ
(
S
T
), so that, at time t, the cumulated discounted flow is given by(35)
1
τ
>
T
D
0
,
T
Φ
S
T
+
∫
t
τ
D
t
,
s
π
s
d
s
.We also have a random variableθ
τ representing the cash flow due to the default of one of the parties; hence, the resulting cash flow is given by(36)
1
t
<
τ
<
T
D
t
,
τ
θ
τ
=
1
t
<
τ
<
T
∫
t
T
D
t
,
s
θ
s
d
1
τ
≤
s
.We consider further a collateral accountC
t, namely, an asset or some other financial good that a borrower offers to a lender to secure a loan, and we will use the convention that C
t
>
0 and C
t
<
0 for the investor being the collateral taker and the collateral provider, respectively. Moreover, we assume that the collateral account is subjected to an interest rate c
t, which might be different according to what party the collateral taker is in; namely, we have(37)
c
t
=
1
C
t
>
0
c
t
+
+
1
C
t
<
0
c
t
-
.Allowing also for rehypothecation, namely, allowing banks and brokers to use assets that have been posted as collateral by their clients, we end up with the following cash flow:(38)
∫
t
τ
D
t
,
s
r
s
-
c
s
C
s
d
s
.The contract will be hedged by a cash position denoted by H
t, respectively, by exploiting a position in a risky asset, denoted by F
t. As we have already done, we use the convention that F
t
>
0 and F
t
<
0 if the investor is borrowing money and if he is investing money, respectively. Again, we assume the existence of two different rates(39)
f
t
=
1
F
t
>
0
f
t
+
+
1
F
t
<
0
f
t
-
,so that the funding component cash flow reads as follows:(40)
∫
t
τ
D
t
,
s
r
s
-
f
s
F
s
d
s
.A similar convention holds forH
t, so that (39)-(40) become(41)
h
t
=
1
H
t
>
0
h
t
+
+
1
H
t
<
0
h
t
-
,
(42)
∫
t
τ
D
t
,
s
h
s
-
f
s
H
s
d
s
.Eventually, summing up all the aforementioned cash flows (35), (36), (38), (40), and (42), we have that the value of the portfolio V is given by(43)
V
t
=
E
t
G
∫
t
τ
D
t
,
s
π
s
+
r
s
-
c
s
C
s
+
r
s
-
f
s
F
s
-
f
s
-
h
s
H
s
+
E
t
G
1
τ
>
T
D
t
,
T
Φ
S
T
+
1
t
<
τ
<
T
D
t
,
τ
θ
τ
,where we have denoted E
t
G
·
≔
E
·
∣
G
t. Further, since V
(
s
)
=
F
s
+
H
s
+
C
s, we can substitute it in (43), obtaining(44)
V
t
=
E
t
G
∫
t
τ
D
t
,
s
π
s
+
f
s
-
c
s
C
s
+
r
s
-
f
s
V
s
-
r
s
-
h
s
H
s
+
E
t
G
1
τ
>
T
D
t
,
T
Φ
S
T
+
1
t
<
τ
<
T
D
t
,
τ
θ
τ
.For a concrete example of how (44) is practically derived, we refer to [21, Sec. 2.2].Switching to the default-free filtration, we can exploit the results stated in [41, Sec. 5.1] and [42, Lemma 3.8.1]; see also [21, Lemma 3.1, Lemma 3.3]. In particular, let us recall that G is the standard filtration, whereas F denotes the default-free filtration.Lemma 12.
For anyX
G-measurable random variable and any t
≥
0, it holds that(45)
E
t
G
1
t
<
τ
≤
s
X
=
1
τ
>
t
E
t
F
1
t
<
τ
≤
s
X
E
t
F
1
τ
>
t
.
In particular, we have that, for anyG
t-measurable random variable Y, there exists an F
t-measurable random variable Z such that(46)
1
τ
>
t
X
=
1
τ
>
t
Z
.Lemma 13.
Letφ
s be a predictable process and let τ
I and τ
C be a stopping time with intensity λ
t
I
>
0 and λ
t
C
>
0, respectively. Assuming that τ
I and τ
C are independent and denoting τ
≔
τ
I
∧
τ
C and λ
t
=
λ
t
I
+
λ
t
C, then one has(47)
E
t
G
1
t
<
τ
<
T
1
τ
I
<
τ
C
φ
τ
=
1
τ
>
t
E
t
F
∫
t
T
D
t
,
s
;
λ
λ
t
I
φ
s
d
s
.So, by an application of Lemmas12 and 13 and with slight abuse of notation, we denote again by V
(
t
) the portfolio evaluated under the default-free filtration F; namely,(48)
V
t
=
E
t
F
∫
t
τ
D
t
,
s
;
r
+
λ
π
s
+
f
s
-
c
s
C
s
+
r
s
-
f
s
V
t
-
r
s
-
h
s
H
s
+
E
t
F
D
t
,
T
;
r
+
λ
Φ
S
T
+
D
t
,
τ
;
r
+
λ
θ
τ
.By (48) and proceeding as in [21, Sec. 3], we can immediately obtain the BSDE formulation for the portfolio V; that is, we have that V evolves according to(49)
d
V
s
=
-
π
s
+
f
s
-
c
s
C
s
-
λ
s
+
f
s
V
s
-
r
s
-
h
s
H
s
d
s
-
Z
s
d
W
s
,
V
T
=
Φ
S
T
.


### 3.1. The Pricing Path-Dependent PDE

In the previous section, we have derived the BSDE that describes the evolution of the financial portfolio, while, in the present section, we are going to better specify the mathematical assumptions regarding (49). We would like to underline the notion that while some of the following assumptions are mainly taken from [21, Sec. 4], some others are here formalized, to our best knowledge, for the first time.We assume that the dividend processπ depends on time t and on the underlying S; moreover, we assume the dependence to be possibly path-dependent; namely, we have π
(
t
,
S
t
). Further, we assume that π satisfies Assumptions 3.In what follows, all the ratesr, f, c, h, and λ are taken to be deterministic and bounded in time and possibly dependent on past values.We assume thatθ has the form(50)
θ
t
=
ϵ
t
-
1
τ
C
<
τ
I
LGD
C
ϵ
t
-
C
t
+
+
1
τ
I
<
τ
C
L
G
D
I
ϵ
t
-
C
t
-
,where L
G
D denotes theloss given default, commonly defined as the share of an asset that is lost when a borrower defaults, and (
ϵ
(
t
)
-
C
t
)
+ and (
ϵ
(
t
)
-
C
t
)
- denote the positive part and the negative part, respectively. We will not enter here financial details regarding θ
t, since it would go beyond the aim of the present work, but we refer the interested reader to [10] for a deep treatment of closeout values. We assume then that ϵ
(
t
)
=
V
(
t
).The hedging termH is of the form H
s
=
H
(
s
,
S
s
,
V
(
s
)
,
Z
(
s
)
) and it satisfies Assumptions 6; moreover, the diffusion term σ, appearing in (32), satisfies Assumptions 3.Last but not least, since this is the main novelty of the present approach, we assume that the collateral depends on portfolio past values. As said above, this implies that the BSDE is highly irregular, and even the existence and uniqueness of a solution are in general not granted under standard assumptions. However, as pointed out in [15, Rem. 5.5], in practice, it often happens that the collateralization scheme is path-dependent in V. We thus assume that the collateral C is of the following particular form:(51)
C
s
=
α
t
V
¯
t
,
V
¯
t
≔
1
δ
∫
-
δ
0
V
t
+
s
d
s
,where α
t
∈
(
0,1
]; that is, we assume the collateral to be a fraction of a time average of the portfolio. Notice that in principle also θ in (50) depends on V
¯
(
t
) so that in what follows we will use the notation θ
s
(
V
¯
(
s
)
). Moreover, in order to satisfy condition (26), we have that δ is positive and small enough. Alternatively, we can set δ
=
T, at the cost of assuming that the Lipschitz constant in (32) satisfies condition (26).We would like to underline the notion that previous choice is just one of the possible schemes admitted in our mathematical setting; see, for example, (28)-(29).The aforementioned assumptions can be better formalized as follows.Assumptions 14.
One has the following:(
C
1
)
The parametersr, f, c, h, and λ are all bounded elements of C.
(
C
2
)
H
:
[
0
,
T
]
×
C
×
R
×
R
→
R, and there exist positive constants L
H
>
0 and M
H
>
0 and p
≥
1 such that(52)
i
ϕ
⟼
H
t
,
ϕ
,
y
,
z
i
s
c
o
n
t
i
n
u
o
u
s
,
i
i
H
t
,
ϕ
,
y
,
z
-
H
t
,
ϕ
,
y
′
,
z
′
≤
L
H
y
-
y
′
+
z
-
z
′
,
i
i
i
H
t
,
ϕ
,
0,0
<
M
H
1
+
ϕ
T
p
.
(
C
3
)
Φ
:
C
→
R is continuous and, for all ϕ
∈
C, there exist M
Φ
>
0 and p
≥
1, such that(53)
Φ
ϕ
≤
M
Φ
1
+
ϕ
T
p
.
(
C
4
)
σ
:
[
0
,
T
]
×
C
→
R is continuous and, for any t
∈
0
,
T, ϕ
,
ϕ
′
∈
C, there exists l
σ
>
0 such that(54)
σ
t
,
ϕ
-
σ
t
,
ϕ
′
≤
l
σ
ϕ
-
ϕ
′
T
.In light of Assumptions14, let us consider the following forward-backward collateralization scheme:(55)
S
u
,
ϕ
t
=
ϕ
t
+
∫
u
t
r
s
d
s
+
∫
u
t
σ
s
,
S
s
u
,
ϕ
d
W
s
,
s
∈
u
,
T
,
S
u
,
ϕ
t
=
ϕ
t
,
t
∈
0
,
u
,
V
u
,
ϕ
t
=
Φ
S
T
u
,
ϕ
+
∫
t
T
B
s
,
S
s
u
,
ϕ
,
V
u
,
ϕ
s
,
Z
u
,
ϕ
s
,
V
s
u
,
ϕ
d
s
-
∫
t
T
Z
u
,
ϕ
s
d
W
s
,
V
u
,
ϕ
t
=
V
t
,
ϕ
t
,
t
∈
0
,
u
,with (56)
B
≔
f
s
+
λ
s
V
u
,
ϕ
s
-
π
s
-
θ
s
V
¯
s
+
r
s
-
h
s
H
s
,
S
s
,
V
s
,
Z
s
-
α
s
f
s
-
c
s
V
¯
s
.Remark 15.
It is worth mentioning that, in the setting represented by (55), we are generalizing the framework considered in [21]. In fact, we have that, besides assuming the collateralization scheme to be dependent on the past values of V, we are also considering both the hedging strategy and the terminal payoff to be possibly path-dependent. Moreover, we do not require any differentiability assumption on Φ. The latter is a crucial point when dealing with concrete financial derivatives often characterized by terminal payoffs which are Lipschitz continuous but fail to be differentiable.With respect to the forward-backward system (55), we have the following.Theorem 16.
Let one consider the forward-backward delayed system (55) with Assumptions 14. Then, for every u
,
ϕ
∈
0
,
T
×
C, it holds that(57)
V
u
,
ϕ
t
=
u
t
,
S
u
,
ϕ
,
∀
t
∈
u
,
T
, where u
t
,
ϕ
=
V
t
,
ϕ
t is a viscosity solution of the following path-dependent PDE:(58)
∂
t
u
t
,
ϕ
+
1
2
σ
2
t
,
ϕ
∂
x
x
2
u
t
,
ϕ
+
r
t
∂
x
u
t
,
ϕ
=
B
t
,
ϕ
,
u
t
,
ϕ
,
∂
x
u
t
,
ϕ
σ
t
,
ϕ
,
u
·
,
ϕ
t
,
ϕ
∈
C
,
t
∈
0
,
T
,
u
T
,
ϕ
=
Φ
ϕ
,
ϕ
∈
C
,with(59)
B
t
,
ϕ
,
y
,
z
,
y
^
≔
f
s
+
λ
s
y
-
π
s
-
θ
s
y
^
+
r
s
-
h
s
H
s
,
ϕ
,
y
,
z
-
α
s
f
s
-
c
s
y
^
.Proof.
Because of Assumptions14, we have that (55) satisfies Assumptions 3 and 6; hence, exploiting Theorems 4 and 7, we have existence and uniqueness of a solution to the delayed forward-backward system (55). Thus, by using the results stated in the previous sections, we can derive the characterization of (55) given in (65). In particular, we obtain that Theorem 10 holds true, and the claim follows.We would like to underline the notion that the scheme described by (55) still depends on the nonrealistic assumption of arisk-free rate
r. Then, in order to consider a more concrete case, namely, without therisk-free rate, we will exploit the results stated in [21, Sec. 6]. In particular, we will assume the hedging strategy to be a classicaldelta-hedging strategy; namely,(60)
H
s
,
S
s
,
V
s
,
Z
s
≔
S
t
Z
t
σ
t
,
S
t
,so that (55) can be rewritten as follows:(61)
S
u
,
ϕ
t
=
ϕ
t
+
∫
u
t
h
s
d
s
+
∫
u
t
σ
s
,
S
s
u
,
ϕ
d
W
s
,
s
∈
u
,
T
,
S
u
,
ϕ
t
=
ϕ
t
,
t
∈
0
,
u
,
V
u
,
ϕ
t
=
Φ
S
T
u
,
ϕ
+
∫
t
T
B
~
s
,
S
s
u
,
ϕ
,
V
u
,
ϕ
s
,
V
s
u
,
ϕ
d
s
-
∫
t
T
Z
u
,
ϕ
s
d
W
s
,
V
u
,
ϕ
t
=
V
t
,
ϕ
t
,
t
∈
0
,
u
,with (62)
B
~
≔
f
s
+
λ
s
V
u
,
ϕ
s
-
π
s
-
θ
s
V
¯
s
-
α
s
f
s
-
c
s
V
¯
s
.Thus, we are now dealing with a scheme, that is, the one represented by system (61), which is independent of therisk-free rate
r, where the parameter h mimes the role played by therisk-free rate
r in the classicalBlack-Scholes equation. For the latter setting, the following result holds.Theorem 17.
Let one consider the forward-backward delayed system (61), assuming both Assumptions 14 and the existence of positive constants k
σ and K
σ such that, for any (
t
,
ϕ
)
∈
[
0
,
T
]
×
C, the following holds:(63)
k
σ
<
σ
t
,
ϕ
<
K
σ
. Then, for every u
,
ϕ
∈
0
,
T
×
C,(64)
V
u
,
ϕ
t
=
u
t
,
S
u
,
ϕ
,
∀
t
∈
u
,
T
, where u
t
,
ϕ
=
V
t
,
ϕ
t is a viscosity solution of the following path-dependent PDE:(65)
∂
t
u
t
,
ϕ
+
1
2
σ
2
t
,
ϕ
∂
x
x
2
u
t
,
ϕ
+
r
t
∂
x
u
t
,
ϕ
=
B
~
t
,
ϕ
,
u
t
,
ϕ
,
∂
x
u
t
,
ϕ
σ
t
,
ϕ
,
u
·
,
ϕ
t
,
ϕ
∈
C
,
t
∈
0
,
T
,
u
T
,
ϕ
=
Φ
ϕ
,
ϕ
∈
C
,with(66)
B
~
t
,
ϕ
,
y
,
y
^
≔
f
s
+
λ
s
y
-
π
s
-
θ
s
y
^
-
α
s
f
s
-
c
s
y
^
.Proof.
The proof is analogous to the one provided for Theorem16.


## 3.1. The Pricing Path-Dependent PDE

In the previous section, we have derived the BSDE that describes the evolution of the financial portfolio, while, in the present section, we are going to better specify the mathematical assumptions regarding (49). We would like to underline the notion that while some of the following assumptions are mainly taken from [21, Sec. 4], some others are here formalized, to our best knowledge, for the first time.We assume that the dividend processπ depends on time t and on the underlying S; moreover, we assume the dependence to be possibly path-dependent; namely, we have π
(
t
,
S
t
). Further, we assume that π satisfies Assumptions 3.In what follows, all the ratesr, f, c, h, and λ are taken to be deterministic and bounded in time and possibly dependent on past values.We assume thatθ has the form(50)
θ
t
=
ϵ
t
-
1
τ
C
<
τ
I
LGD
C
ϵ
t
-
C
t
+
+
1
τ
I
<
τ
C
L
G
D
I
ϵ
t
-
C
t
-
,where L
G
D denotes theloss given default, commonly defined as the share of an asset that is lost when a borrower defaults, and (
ϵ
(
t
)
-
C
t
)
+ and (
ϵ
(
t
)
-
C
t
)
- denote the positive part and the negative part, respectively. We will not enter here financial details regarding θ
t, since it would go beyond the aim of the present work, but we refer the interested reader to [10] for a deep treatment of closeout values. We assume then that ϵ
(
t
)
=
V
(
t
).The hedging termH is of the form H
s
=
H
(
s
,
S
s
,
V
(
s
)
,
Z
(
s
)
) and it satisfies Assumptions 6; moreover, the diffusion term σ, appearing in (32), satisfies Assumptions 3.Last but not least, since this is the main novelty of the present approach, we assume that the collateral depends on portfolio past values. As said above, this implies that the BSDE is highly irregular, and even the existence and uniqueness of a solution are in general not granted under standard assumptions. However, as pointed out in [15, Rem. 5.5], in practice, it often happens that the collateralization scheme is path-dependent in V. We thus assume that the collateral C is of the following particular form:(51)
C
s
=
α
t
V
¯
t
,
V
¯
t
≔
1
δ
∫
-
δ
0
V
t
+
s
d
s
,where α
t
∈
(
0,1
]; that is, we assume the collateral to be a fraction of a time average of the portfolio. Notice that in principle also θ in (50) depends on V
¯
(
t
) so that in what follows we will use the notation θ
s
(
V
¯
(
s
)
). Moreover, in order to satisfy condition (26), we have that δ is positive and small enough. Alternatively, we can set δ
=
T, at the cost of assuming that the Lipschitz constant in (32) satisfies condition (26).We would like to underline the notion that previous choice is just one of the possible schemes admitted in our mathematical setting; see, for example, (28)-(29).The aforementioned assumptions can be better formalized as follows.Assumptions 14.
One has the following:(
C
1
)
The parametersr, f, c, h, and λ are all bounded elements of C.
(
C
2
)
H
:
[
0
,
T
]
×
C
×
R
×
R
→
R, and there exist positive constants L
H
>
0 and M
H
>
0 and p
≥
1 such that(52)
i
ϕ
⟼
H
t
,
ϕ
,
y
,
z
i
s
c
o
n
t
i
n
u
o
u
s
,
i
i
H
t
,
ϕ
,
y
,
z
-
H
t
,
ϕ
,
y
′
,
z
′
≤
L
H
y
-
y
′
+
z
-
z
′
,
i
i
i
H
t
,
ϕ
,
0,0
<
M
H
1
+
ϕ
T
p
.
(
C
3
)
Φ
:
C
→
R is continuous and, for all ϕ
∈
C, there exist M
Φ
>
0 and p
≥
1, such that(53)
Φ
ϕ
≤
M
Φ
1
+
ϕ
T
p
.
(
C
4
)
σ
:
[
0
,
T
]
×
C
→
R is continuous and, for any t
∈
0
,
T, ϕ
,
ϕ
′
∈
C, there exists l
σ
>
0 such that(54)
σ
t
,
ϕ
-
σ
t
,
ϕ
′
≤
l
σ
ϕ
-
ϕ
′
T
.In light of Assumptions14, let us consider the following forward-backward collateralization scheme:(55)
S
u
,
ϕ
t
=
ϕ
t
+
∫
u
t
r
s
d
s
+
∫
u
t
σ
s
,
S
s
u
,
ϕ
d
W
s
,
s
∈
u
,
T
,
S
u
,
ϕ
t
=
ϕ
t
,
t
∈
0
,
u
,
V
u
,
ϕ
t
=
Φ
S
T
u
,
ϕ
+
∫
t
T
B
s
,
S
s
u
,
ϕ
,
V
u
,
ϕ
s
,
Z
u
,
ϕ
s
,
V
s
u
,
ϕ
d
s
-
∫
t
T
Z
u
,
ϕ
s
d
W
s
,
V
u
,
ϕ
t
=
V
t
,
ϕ
t
,
t
∈
0
,
u
,with (56)
B
≔
f
s
+
λ
s
V
u
,
ϕ
s
-
π
s
-
θ
s
V
¯
s
+
r
s
-
h
s
H
s
,
S
s
,
V
s
,
Z
s
-
α
s
f
s
-
c
s
V
¯
s
.Remark 15.
It is worth mentioning that, in the setting represented by (55), we are generalizing the framework considered in [21]. In fact, we have that, besides assuming the collateralization scheme to be dependent on the past values of V, we are also considering both the hedging strategy and the terminal payoff to be possibly path-dependent. Moreover, we do not require any differentiability assumption on Φ. The latter is a crucial point when dealing with concrete financial derivatives often characterized by terminal payoffs which are Lipschitz continuous but fail to be differentiable.With respect to the forward-backward system (55), we have the following.Theorem 16.
Let one consider the forward-backward delayed system (55) with Assumptions 14. Then, for every u
,
ϕ
∈
0
,
T
×
C, it holds that(57)
V
u
,
ϕ
t
=
u
t
,
S
u
,
ϕ
,
∀
t
∈
u
,
T
, where u
t
,
ϕ
=
V
t
,
ϕ
t is a viscosity solution of the following path-dependent PDE:(58)
∂
t
u
t
,
ϕ
+
1
2
σ
2
t
,
ϕ
∂
x
x
2
u
t
,
ϕ
+
r
t
∂
x
u
t
,
ϕ
=
B
t
,
ϕ
,
u
t
,
ϕ
,
∂
x
u
t
,
ϕ
σ
t
,
ϕ
,
u
·
,
ϕ
t
,
ϕ
∈
C
,
t
∈
0
,
T
,
u
T
,
ϕ
=
Φ
ϕ
,
ϕ
∈
C
,with(59)
B
t
,
ϕ
,
y
,
z
,
y
^
≔
f
s
+
λ
s
y
-
π
s
-
θ
s
y
^
+
r
s
-
h
s
H
s
,
ϕ
,
y
,
z
-
α
s
f
s
-
c
s
y
^
.Proof.
Because of Assumptions14, we have that (55) satisfies Assumptions 3 and 6; hence, exploiting Theorems 4 and 7, we have existence and uniqueness of a solution to the delayed forward-backward system (55). Thus, by using the results stated in the previous sections, we can derive the characterization of (55) given in (65). In particular, we obtain that Theorem 10 holds true, and the claim follows.We would like to underline the notion that the scheme described by (55) still depends on the nonrealistic assumption of arisk-free rate
r. Then, in order to consider a more concrete case, namely, without therisk-free rate, we will exploit the results stated in [21, Sec. 6]. In particular, we will assume the hedging strategy to be a classicaldelta-hedging strategy; namely,(60)
H
s
,
S
s
,
V
s
,
Z
s
≔
S
t
Z
t
σ
t
,
S
t
,so that (55) can be rewritten as follows:(61)
S
u
,
ϕ
t
=
ϕ
t
+
∫
u
t
h
s
d
s
+
∫
u
t
σ
s
,
S
s
u
,
ϕ
d
W
s
,
s
∈
u
,
T
,
S
u
,
ϕ
t
=
ϕ
t
,
t
∈
0
,
u
,
V
u
,
ϕ
t
=
Φ
S
T
u
,
ϕ
+
∫
t
T
B
~
s
,
S
s
u
,
ϕ
,
V
u
,
ϕ
s
,
V
s
u
,
ϕ
d
s
-
∫
t
T
Z
u
,
ϕ
s
d
W
s
,
V
u
,
ϕ
t
=
V
t
,
ϕ
t
,
t
∈
0
,
u
,with (62)
B
~
≔
f
s
+
λ
s
V
u
,
ϕ
s
-
π
s
-
θ
s
V
¯
s
-
α
s
f
s
-
c
s
V
¯
s
.Thus, we are now dealing with a scheme, that is, the one represented by system (61), which is independent of therisk-free rate
r, where the parameter h mimes the role played by therisk-free rate
r in the classicalBlack-Scholes equation. For the latter setting, the following result holds.Theorem 17.
Let one consider the forward-backward delayed system (61), assuming both Assumptions 14 and the existence of positive constants k
σ and K
σ such that, for any (
t
,
ϕ
)
∈
[
0
,
T
]
×
C, the following holds:(63)
k
σ
<
σ
t
,
ϕ
<
K
σ
. Then, for every u
,
ϕ
∈
0
,
T
×
C,(64)
V
u
,
ϕ
t
=
u
t
,
S
u
,
ϕ
,
∀
t
∈
u
,
T
, where u
t
,
ϕ
=
V
t
,
ϕ
t is a viscosity solution of the following path-dependent PDE:(65)
∂
t
u
t
,
ϕ
+
1
2
σ
2
t
,
ϕ
∂
x
x
2
u
t
,
ϕ
+
r
t
∂
x
u
t
,
ϕ
=
B
~
t
,
ϕ
,
u
t
,
ϕ
,
∂
x
u
t
,
ϕ
σ
t
,
ϕ
,
u
·
,
ϕ
t
,
ϕ
∈
C
,
t
∈
0
,
T
,
u
T
,
ϕ
=
Φ
ϕ
,
ϕ
∈
C
,with(66)
B
~
t
,
ϕ
,
y
,
y
^
≔
f
s
+
λ
s
y
-
π
s
-
θ
s
y
^
-
α
s
f
s
-
c
s
y
^
.Proof.
The proof is analogous to the one provided for Theorem16.


## 4. Conclusion and Further Development

Inspired by the increasing attention to financial models which take into account credit risk factors, we have generalized results provided in [10, 21] by exploiting techniques developed to treat backward stochastic differential equations (BSDEs).Our BSDE approach generalizes the approach derived in [10, 21] allowing the coefficients n the resulting pricing PDE to be possibly path-dependent. Moreover, as major novelty of our work, we are also able to treat a collateralization scheme that can depend on the past value of the contract.We would like to underline the notion that the previous approach will be the base of our future works related to the fundamental topic of allowing for closeout rule with delay. Previous situation usually happens when one considers the time gap between the actual default of a party and the real closure of a contract. In such interval of time, it may happen that also the second party could default. Therefore, when one has to price a contract, such a time delay has to be taken into account; see, for example, [10] for a detailed treatment of the topic.With respect to the aforementioned setting, we believe that both BSDEs techniques and thepath-dependent calculus could turn out to be useful tools to treat the problem in concrete financial frameworks.According to the recent literature, it is also important to note that the BSDEs techniques investigated in the present paper are also strongly connected to theoretical and, respectively, applied, questions (see, e.g., [43, 44]) that can lead to highly interesting developments, also from the statistical point of view.



---

*Source: 1059303-2016-08-02.xml*