7.3 Default Times with a Given Stochastic Intensity 423
for any B
t
∈F
t
and any h = 1
[0,a]
.Fort ≤ a, the equality is obvious. For
t>a, we have from the equality (7.3.1)
E
B
t
1
{τ≤a}
E(X|F
t
)
= E
1
{τ≤a}
E(B
t
X|F
t
)
= E
B
t
XE(1
{τ≤a}
|F
t
)
= E
B
t
XE(1
{τ≤a}
|F
∞
)
= E(B
t
X1
{τ≤a}
) .
The result follows.
Remark 7.3.5.2 The equality (7.3.4)impliesthateveryF-square integrable
martingale is a G-martingale. However, equality (7.3.4) does not apply to any
G
∞
-measurable r.v.; in particular, since τ is a G-stopping time and not an
F-stopping time, P(τ ≤ t|G
t
)=1
{τ≤t}
is not equal to P(τ ≤ t|F
t
).
7.3.6 Correlated Defaults: Copula Approach
An approach to modelling dependent credit risks is the use of copulas.
If X
i
,i =1,...,n are random variables with cumulative distribution
function F
i
,andiftheF
i
’s are strictly increasing, then, setting U
i
= F
i
(X
i
)
P(X
i
≤ x
i
, ∀i)=P(F
i
(X
i
) ≤ F
i
(x
i
), ∀i)=P(U
i
≤ F
i
(x
i
), ∀i)
hence, the joint law of the X
i
can be characterized in terms of the joint law
of the vector U. Note that the r.v. U
i
has a uniform law, and that, a priori
the U
i
’s are not independent.
Basic Definitions
Definition 7.3.6.1 A mapping C defined on [0, 1]
n
is a copula if it satisfies:
(i) C(u
1
,...,u
n
) is increasing with respect to each component u
i
,
(ii) C(1,...,u
i
,...,1) = u
i
, for every i, for every u
i
∈ [0, 1],
(iii) for every a, b ∈ [0, 1]
n
with a ≤ b (i.e., a
i
≤ b
i
, ∀i)
2
i
1
=1
...
2
i
n
=1
(−1)
i
1
+···+i
n
C(u
1,i
1
,...,u
n,i
n
) ≥ 0 ,
where u
j,1
= a
j
,u
j,2
= b
j
.
A copula is the cumulative distribution function of an n-uple (U
1
, ··· ,U
n
)
where the U
i
are r.v’s with uniform law on the interval [0, 1]. The survival
copula is
C(u
1
,...,u
n
)=P(U
1
>u
1
,...,U
n
>u
n
).
Property (iii) indicates that the probability that the n-tuple belongs to
the rectangle
n
i=1
]a
i
,b
i
] is non-negative.
Theorem 7.3.6.2 (Sklar’s Theorem.) Let F be an n-dimensional cumu-
lative distribution with margins F
i
. Then there exists a copula C such that
F (x)=C(F
1
(x
1
),...,F
n
(x
n
)) .