# On the Computation of the Survival Probability of Brownian Motion with Drift in a Closed Time Interval When the Absorbing Boundary Is a Step Function

Authors: Tristan Guillaume
Journal: Journal of Probability and Statistics
 (2015)

---

## Abstract

This paper provides explicit formulae for the probability that an arithmetic or a geometric Brownian motion will not cross an absorbing boundary defined as a step function during a finite time interval. Various combinations of downward and upward steps are handled. Numerical computation of the survival probability is done quasi-instantaneously and with utmost precision. The sensitivity of the survival probability to the number and the ordering of the steps in the boundary is analyzed.


---

## Body

## 1. Introduction

The question of the first passage time of a diffusion process to an absorbing boundary is of central importance in many mathematical sciences. As mentioned in Wang and Pötzelberger [1], it arises in biology, economics, engineering reliability, epidemiology, finance, genetics, seismology, and sequential statistical analysis. Typically, one needs to compute the probability that some random dynamics modelled as a diffusion process will remain under or above some critical threshold over a given time interval. This is often referred to as a survival probability. Some papers focus on specific forms of the boundary, for example, a square root one (Breiman [2] and Sato [3]) or a curved one (Groeneboom [4] and Daniels [5]). Other contributions focus on a specific diffusion process, mostly Brownian motion (Park and Schuurmann [6], Jennen and Lerche [7], Salminen [8], Scheike [9], Novikov et al. [10], and Fu and Wu [11], 2010) or Ornstein-Uhlenbeck process (Alili et al. [12] and Lo and Hui [13]). Alternatively, some papers provide results for general classes of diffusion processes or boundaries (Durbin [14], Pötzelberger and Wang [15], Wang and Pötzelberger [1], and Downes and Borovkov [16]).The contributions mentioned in this short noncomprehensive survey either focus on numerical algorithms usually involving recursive multidimensional quadrature or they seek to obtain approximate solutions by substituting the initial boundary with another one for which computations are easier and then deriving a bound for the error entailed by using the approximating boundary. This is because no closed form solution is known except in very few special cases when the boundary is linear and the underlying process is a Brownian motion. The main contribution of this paper is to provide a closed form solution to the problem of the computation of the survival probability of an arithmetic or geometric Brownian when the boundary is a step function of time. In general, this problem is numerically approximated by Monte Carlo simulation. The reason for this is twofold: from an analytical standpoint, the calculations involved are cumbersome and relatively complicated; from a numerical standpoint, the dimension of the integrals involved increases linearly with the number of steps in the boundary. In this paper, explicit formulae are provided up to five steps. An extension to higher dimensions is analytically straightforward. These formulae can be numerically computed quasi instantaneously with utmost precision in contrast to the slow and inaccurate approximations yielded by a Monte Carlo simulation. Nonmonotonic sequences of upper and lower steps are handled. The sensitivity of the survival probability with regard to the number and the ordering of the steps in the boundary is examined essentially as a function of the volatility of the underlying process. The problem of the location of the maximum or the minimum of Brownian motion with drift over several time intervals is also tackled. Although the purpose of this paper is not to study a specific engineering problem, one can mention that an immediate application of the results derived in this paper is the pricing and the hedging of many kinds of popular financial contracts known as barrier options and lookback options.Section2 provides a formula for the survival probability of an arithmetic Brownian motion when the absorbing boundary includes three steps. Section 3 is dedicated to numerical experiments whose purpose is to gain insight into the sensitivity of the survival probability to the number and the ordering of the steps. Section 4 extends the results of Section 2 to higher dimensions of the absorbing boundary. Section 5 provides a generalization to two-sided absorbing boundaries.


## 2. Formula for the Survival Probability of an Arithmetic Brownian Motion through a Sequence of Three Absorbing Steps

Letμ be a real constant and let σ be a positive real constant. Let Bt,t≥0 be a standard Brownian motion. Under a given probability measure P, let Xt be the process driven by(1)dXt=μdt+σdBt.A finite time interval 0,T is considered and divided into n subintervals t0=0,t1⋯tn-1,tn=T, n∈N. Let us define a piecewise constant boundary made up of n horizontal line segments matching n time subintervals, in other words, a step function. These line segments are called the steps of the boundary. They take on constant values Hi in each time subinterval ti-1,ti, i∈1,…,n. The boundary may or may not be monotonically increasing or decreasing in time. When Hi>X0, the step is said to be upward, and when Hi<X0, it is said to be downward. When all the steps of the boundary are upward, the boundary itself is said to be upward and may also be called an upper boundary, while a downward boundary (also referred to as a lower boundary) is one whose steps are all downward.The processX is said to have survived at maturity tn when none of the steps has been hit at any moment in continuous time from t0 to tn.The tractability of the calculation of the survival probability depends on the number of steps in the boundary. Indeed, each additional step increases the dimension of the integration problem under consideration. We first come up with a general closed form solution for boundaries made up of three steps. Higher dimensions are considered in Section3.LetP⋯h1,h2,h3,k1,k2,k3,t1,t2,t3 be defined as one of the six following cumulative distribution functions, where t3≥t2≥t1≥t0=0 and k1, k2, k3 are real constants: (2)
P
M
M
M
h
1
,
h
2
,
h
3
,
k
1
,
k
2
,
k
3
,
t
1
,
t
2
,
t
3
≜
P
sup
0
≤
t
≤
t
1
⁡
X
t
≤
h
1
,
X
t
1
≤
k
1
,
sup
t
1
≤
t
≤
t
2
⁡
X
t
≤
h
2
,
X
t
2
≤
k
2
,
sup
t
2
≤
t
≤
t
3
⁡
X
t
≤
h
3
,
X
t
3
≤
k
3
h
1
∈
R
+
,
h
2
,
h
3
,
k
1
,
k
2
,
k
3
∈
R
5
,
k
1
≤
h
1
,
k
2
≤
h
2
,
k
3
≤
h
3
,
P
M
M
m
h
1
,
h
2
,
h
3
,
k
1
,
k
2
,
k
3
,
t
1
,
t
2
,
t
3
≜
P
sup
0
≤
t
≤
t
1
⁡
X
t
≤
h
1
,
X
t
1
≤
k
1
,
sup
t
1
≤
t
≤
t
2
⁡
X
t
≤
h
2
,
X
t
2
≤
k
2
,
inf
t
2
≤
t
≤
t
3
⁡
X
t
≥
h
3
,
X
t
3
≥
k
3
h
1
∈
R
+
,
h
2
,
h
3
,
k
1
,
k
2
,
k
3
∈
R
5
,
k
1
≤
h
1
,
k
2
≤
h
2
,
k
3
≥
h
3
,
P
M
m
m
h
1
,
h
2
,
h
3
,
k
1
,
k
2
,
k
3
,
t
1
,
t
2
,
t
3
≜
P
sup
0
≤
t
≤
t
1
⁡
X
t
≤
h
1
,
X
t
1
≤
k
1
,
inf
t
1
≤
t
≤
t
2
⁡
X
t
≥
h
2
,
X
t
2
≥
k
2
,
inf
t
2
≤
t
≤
t
3
⁡
X
t
≥
h
3
,
X
t
3
≥
k
3
h
1
∈
R
+
,
h
2
,
h
3
,
k
1
,
k
2
,
k
3
∈
R
5
,
k
1
≤
h
1
,
k
2
≥
h
2
,
k
3
≥
h
3
,
P
m
m
m
h
1
,
h
2
,
h
3
,
k
1
,
k
2
,
k
3
,
t
1
,
t
2
,
t
3
≜
P
inf
0
≤
t
≤
t
1
⁡
X
t
≥
h
1
,
X
t
1
≥
k
1
,
inf
t
1
≤
t
≤
t
2
⁡
X
t
≥
h
2
,
X
t
2
≥
k
2
,
inf
t
2
≤
t
≤
t
3
⁡
X
t
≥
h
3
,
X
t
3
≥
k
3
h
1
∈
R
-
,
h
2
,
h
3
,
k
1
,
k
2
,
k
3
∈
R
5
,
k
1
≥
h
1
,
k
2
≥
h
2
,
k
3
≥
h
3
,
P
m
m
M
h
1
,
h
2
,
h
3
,
k
1
,
k
2
,
k
3
,
t
1
,
t
2
,
t
3
≜
P
inf
0
≤
t
≤
t
1
⁡
X
t
≥
h
1
,
X
t
1
≥
k
1
,
inf
t
1
≤
t
≤
t
2
⁡
X
t
≥
h
2
,
X
t
2
≥
k
2
,
sup
t
2
≤
t
≤
t
3
⁡
X
t
≤
h
3
,
X
t
3
≤
k
3
h
1
∈
R
-
,
h
2
,
h
3
,
k
1
,
k
2
,
k
3
∈
R
5
,
k
1
≥
h
1
,
k
2
≥
h
2
,
k
3
≤
h
3
,
P
m
M
M
h
1
,
h
2
,
h
3
,
k
1
,
k
2
,
k
3
,
t
1
,
t
2
,
t
3
≜
P
inf
0
≤
t
≤
t
1
⁡
X
t
≥
h
1
,
X
t
1
≥
k
1
,
sup
t
1
≤
t
≤
t
2
⁡
X
t
≤
h
2
,
X
t
2
≤
k
2
,
sup
t
2
≤
t
≤
t
3
⁡
X
t
≤
h
3
,
X
t
3
≤
k
3
h
1
∈
R
-
,
h
2
,
h
3
,
k
1
,
k
2
,
k
3
∈
R
5
,
k
1
≥
h
1
,
k
2
≤
h
2
,
k
3
≤
h
3
.Then, we have the following.Proposition 1.
(3)
P
⋯
h
1
,
h
2
,
h
3
,
k
1
,
k
2
,
k
3
,
t
1
,
t
2
,
t
3
=
N
3
I
1
+
I
2
+
I
3
I
1
+
I
2
k
1
∧
h
2
+
I
3
k
1
-
μ
t
1
-
I
4
+
I
5
+
I
6
I
4
+
I
5
k
1
∨
h
2
+
I
6
k
1
-
μ
t
1
σ
t
1
,
I
1
+
I
2
+
I
6
I
1
+
I
6
k
2
∧
h
3
+
I
2
k
2
-
μ
t
2
-
I
3
+
I
4
+
I
5
I
3
+
I
4
k
2
∨
h
3
+
I
5
k
2
-
μ
t
2
σ
t
2
,
I
1
+
I
5
+
I
6
-
I
2
-
I
3
-
I
4
k
3
-
μ
t
3
σ
t
3
;
I
1
+
I
2
-
I
3
+
I
4
+
I
5
-
I
6
t
1
t
2
,
I
1
-
I
2
-
I
3
+
I
4
-
I
5
-
I
6
t
1
t
3
,
I
1
-
I
2
+
I
3
+
I
4
-
I
5
+
I
6
t
2
t
3
-
I
2
+
I
3
+
I
5
+
I
6
·
N
3
I
2
+
I
3
I
2
k
1
∧
h
2
+
I
3
h
2
-
μ
t
1
-
I
5
+
I
6
I
5
k
1
∨
h
2
+
I
6
h
2
-
μ
t
1
σ
t
1
,
I
2
+
I
6
I
2
h
3
+
I
6
k
2
∧
h
3
-
μ
t
2
-
I
3
+
I
5
I
3
k
2
∨
h
3
+
I
5
h
3
-
μ
t
2
σ
t
2
,
I
5
+
I
6
-
I
2
-
I
3
k
3
-
μ
t
3
σ
t
3
;
I
1
+
I
2
-
I
3
+
I
4
+
I
5
-
I
6
t
1
t
2
,
I
1
-
I
2
-
I
3
+
I
4
-
I
5
-
I
6
t
1
t
3
,
I
1
-
I
2
+
I
3
+
I
4
-
I
5
+
I
6
t
2
t
3
-
exp
⁡
2
μ
h
1
σ
2
·
N
3
I
1
+
I
2
+
I
3
I
1
+
I
2
k
1
∧
h
2
+
I
3
k
1
-
2
h
1
-
μ
t
1
-
I
4
+
I
5
+
I
6
I
4
+
I
5
k
1
∨
h
2
+
I
6
k
1
-
2
h
1
-
μ
t
1
σ
t
1
,
I
1
+
I
2
+
I
6
I
1
+
I
6
k
2
∧
h
3
+
I
2
k
2
-
2
h
1
-
μ
t
2
-
I
3
+
I
4
+
I
5
I
3
+
I
4
k
2
∨
h
3
+
I
5
k
2
-
2
h
1
-
μ
t
2
σ
t
2
,
I
1
+
I
5
+
I
6
-
I
2
-
I
3
-
I
4
k
3
-
2
h
1
-
μ
t
3
σ
t
3
;
I
1
+
I
2
-
I
3
+
I
4
+
I
5
-
I
6
t
1
t
2
,
I
1
-
I
2
-
I
3
+
I
4
-
I
5
-
I
6
t
1
t
3
,
I
1
-
I
2
+
I
3
+
I
4
-
I
5
+
I
6
t
2
t
3
+
I
2
+
I
3
+
I
5
+
I
6
exp
⁡
2
μ
h
1
σ
2
·
N
3
I
2
+
I
3
I
2
k
1
∧
h
2
+
I
3
h
2
-
2
h
1
-
μ
t
1
-
I
5
+
I
6
I
5
k
1
∨
h
2
+
I
6
h
2
-
2
h
1
-
μ
t
1
σ
t
1
,
I
2
+
I
6
I
2
h
3
+
I
6
k
2
∧
h
3
-
2
h
1
-
μ
t
2
-
I
3
+
I
5
I
3
k
2
∨
h
3
+
I
5
h
3
-
2
h
1
-
μ
t
2
σ
t
2
,
I
5
+
I
6
-
I
2
-
I
3
k
3
-
2
h
1
-
μ
t
3
σ
t
3
;
I
1
+
I
2
-
I
3
+
I
4
+
I
5
-
I
6
t
1
t
2
,
I
1
-
I
2
-
I
3
+
I
4
-
I
5
-
I
6
t
1
t
3
,
I
1
-
I
2
+
I
3
+
I
4
-
I
5
+
I
6
t
2
t
3
-
exp
⁡
2
μ
h
2
σ
2
·
N
3
I
1
+
I
2
+
I
3
I
1
+
I
2
k
1
∧
h
2
+
I
3
k
1
+
μ
t
1
-
I
4
+
I
5
+
I
6
I
4
+
I
5
k
1
∨
h
2
+
I
6
k
1
+
μ
t
1
σ
t
1
,
I
1
+
I
2
+
I
6
I
1
+
I
6
k
2
∧
h
3
+
I
2
k
2
-
2
h
2
-
μ
t
2
-
I
3
+
I
4
+
I
5
I
3
+
I
4
k
2
∨
h
3
+
I
5
k
2
-
2
h
2
-
μ
t
2
σ
t
2
,
I
1
+
I
5
+
I
6
-
I
2
-
I
3
-
I
4
k
3
-
2
h
2
-
μ
t
3
σ
t
3
;
-
I
1
-
I
2
+
I
3
-
I
4
-
I
5
+
I
6
t
1
t
2
,
-
I
1
+
I
2
+
I
3
-
I
4
+
I
5
+
I
6
t
1
t
3
,
I
1
-
I
2
+
I
3
+
I
4
-
I
5
+
I
6
t
2
t
3
+
I
2
+
I
3
+
I
5
+
I
6
exp
⁡
2
μ
h
2
σ
2
·
N
3
I
2
+
I
3
I
2
k
1
∧
h
2
+
I
3
h
2
+
μ
t
1
-
I
5
+
I
6
I
5
k
1
∨
h
2
+
I
6
h
2
+
μ
t
1
σ
t
1
,
I
2
+
I
6
I
2
h
3
+
I
6
k
2
∧
h
3
-
2
h
2
-
μ
t
2
-
I
3
+
I
5
I
3
k
2
∨
h
3
+
I
5
h
3
-
2
h
2
-
μ
t
2
σ
t
2
,
I
5
+
I
6
-
I
2
-
I
3
k
3
-
2
h
2
-
μ
t
3
σ
t
3
;
-
I
1
-
I
2
+
I
3
-
I
4
-
I
5
+
I
6
t
1
t
2
,
-
I
1
+
I
2
+
I
3
-
I
4
+
I
5
+
I
6
t
1
t
3
,
I
1
-
I
2
+
I
3
+
I
4
-
I
5
+
I
6
t
2
t
3
-
exp
⁡
2
μ
h
3
σ
2
·
N
3
I
1
+
I
2
+
I
3
I
1
+
I
2
k
1
∧
h
2
+
I
3
k
1
+
μ
t
1
-
I
4
+
I
5
+
I
6
I
4
+
I
5
k
1
∨
h
2
+
I
6
k
1
+
μ
t
1
σ
t
1
,
I
1
+
I
2
+
I
6
I
1
+
I
6
k
2
∧
h
3
+
I
2
k
2
+
μ
t
2
-
I
3
+
I
4
+
I
5
I
3
+
I
4
k
2
∨
h
3
+
I
5
k
2
+
μ
t
2
σ
t
2
,
I
1
+
I
5
+
I
6
-
I
2
-
I
3
-
I
4
k
3
-
2
h
3
-
μ
t
3
σ
t
3
;
I
1
+
I
2
-
I
3
+
I
4
+
I
5
-
I
6
t
1
t
2
,
-
I
1
+
I
2
+
I
3
-
I
4
+
I
5
+
I
6
t
1
t
3
,
-
I
1
+
I
2
-
I
3
-
I
4
+
I
5
-
I
6
t
2
t
3
+
I
2
+
I
3
+
I
5
+
I
6
exp
⁡
2
μ
h
3
σ
2
·
N
3
I
2
+
I
3
I
2
k
1
∧
h
2
+
I
3
h
2
+
μ
t
1
-
I
5
+
I
6
I
5
k
1
∨
h
2
+
I
6
h
2
+
μ
t
1
σ
t
1
,
I
2
+
I
6
I
2
h
3
+
I
6
k
2
∧
h
3
+
μ
t
2
-
I
3
+
I
5
I
3
k
2
∨
h
3
+
I
5
h
3
+
μ
t
2
σ
t
2
,
I
5
+
I
6
-
I
2
-
I
3
k
3
-
2
h
3
-
μ
t
3
σ
t
3
;
I
1
+
I
2
-
I
3
+
I
4
+
I
5
-
I
6
t
1
t
2
,
-
I
1
+
I
2
+
I
3
-
I
4
+
I
5
+
I
6
t
1
t
3
,
-
I
1
+
I
2
-
I
3
-
I
4
+
I
5
-
I
6
t
2
t
3
+
exp
⁡
2
μ
h
2
-
h
1
σ
2
·
N
3
I
1
+
I
2
+
I
3
I
1
+
I
2
k
1
∧
h
2
+
I
3
k
1
-
2
h
1
+
μ
t
1
-
I
4
+
I
5
+
I
6
I
4
+
I
5
k
1
∨
h
2
+
I
6
k
1
-
2
h
1
+
μ
t
1
σ
t
1
,
I
1
+
I
2
+
I
6
I
1
+
I
6
k
2
∧
h
3
+
I
2
k
2
-
2
h
2
+
2
h
1
-
μ
t
2
-
I
3
+
I
4
+
I
5
I
3
+
I
4
k
2
∨
h
3
+
I
5
k
2
-
2
h
2
+
2
h
1
-
μ
t
2
σ
t
2
,
I
1
+
I
5
+
I
6
-
I
2
-
I
3
-
I
4
k
3
-
2
h
2
+
2
h
1
-
μ
t
3
σ
t
3
;
-
I
1
-
I
2
+
I
3
-
I
4
-
I
5
+
I
6
t
1
t
2
,
-
I
1
+
I
2
+
I
3
-
I
4
+
I
5
+
I
6
t
1
t
3
,
I
1
-
I
2
+
I
3
+
I
4
-
I
5
+
I
6
t
2
t
3
-
I
2
+
I
3
+
I
5
+
I
6
exp
⁡
2
μ
h
2
-
h
1
σ
2
·
N
3
I
2
+
I
3
I
2
k
1
∧
h
2
+
I
3
h
2
-
2
h
1
+
μ
t
1
-
I
5
+
I
6
I
5
k
1
∨
h
2
+
I
6
h
2
-
2
h
1
+
μ
t
1
σ
t
1
,
I
2
+
I
6
I
2
h
3
+
I
6
k
2
∧
h
3
-
2
h
2
+
2
h
1
-
μ
t
2
-
I
3
+
I
5
I
3
k
2
∨
h
3
+
I
5
h
3
-
2
h
2
+
2
h
1
-
μ
t
2
σ
t
2
,
I
5
+
I
6
-
I
2
-
I
3
k
3
-
2
h
2
+
2
h
1
-
μ
t
3
σ
t
3
;
-
I
1
-
I
2
+
I
3
-
I
4
-
I
5
+
I
6
t
1
t
2
,
I
1
+
I
2
+
I
3
-
I
4
+
I
5
+
I
6
t
1
t
3
,
I
1
-
I
2
+
I
3
+
I
4
-
I
5
+
I
6
t
2
t
3
+
exp
⁡
2
μ
h
3
-
h
1
σ
2
·
N
3
I
1
+
I
2
+
I
3
I
1
+
I
2
k
1
∧
h
2
+
I
3
k
1
-
2
h
1
+
μ
t
1
-
I
4
+
I
5
+
I
6
I
4
+
I
5
k
1
∨
h
2
+
I
6
k
1
-
2
h
1
+
μ
t
1
σ
t
1
,
I
1
+
I
2
+
I
6
I
1
+
I
6
k
2
∧
h
3
+
I
2
k
2
-
2
h
1
+
μ
t
2
-
I
3
+
I
4
+
I
5
I
3
+
I
4
k
2
∨
h
3
+
I
5
k
2
-
2
h
1
+
μ
t
2
σ
t
2
,
I
1
+
I
5
+
I
6
-
I
2
-
I
3
-
I
4
k
3
-
2
h
3
+
2
h
1
-
μ
t
3
σ
t
3
;
I
1
+
I
2
-
I
3
+
I
4
+
I
5
-
I
6
t
1
t
2
,
-
I
1
+
I
2
+
I
3
-
I
4
+
I
5
+
I
6
t
1
t
3
,
-
I
1
+
I
2
-
I
3
-
I
4
+
I
5
-
I
6
t
2
t
3
-
I
2
+
I
3
+
I
5
+
I
6
exp
⁡
2
μ
h
3
-
h
1
σ
2
·
N
3
I
2
+
I
3
I
2
k
1
∧
h
2
+
I
3
h
2
-
2
h
1
+
μ
t
1
-
I
5
+
I
6
I
5
k
1
∨
h
2
+
I
6
h
2
-
2
h
1
+
μ
t
1
σ
t
1
,
I
2
+
I
6
I
2
h
3
+
I
6
k
2
∧
h
3
-
2
h
1
+
μ
t
2
-
I
3
+
I
5
I
3
k
2
∨
h
3
+
I
5
h
3
-
2
h
1
+
μ
t
2
σ
t
2
,
I
5
+
I
6
-
I
2
-
I
3
k
3
-
2
h
3
+
2
h
1
-
μ
t
3
σ
t
3
;
I
1
+
I
2
-
I
3
+
I
4
+
I
5
-
I
6
t
1
t
2
,
-
I
1
+
I
2
+
I
3
-
I
4
+
I
5
+
I
6
t
1
t
3
,
-
I
1
+
I
2
-
I
3
-
I
4
+
I
5
-
I
6
t
2
t
3
+
exp
⁡
2
μ
h
3
-
h
2
σ
2
·
N
3
I
1
+
I
2
+
I
3
I
1
+
I
2
k
1
∧
h
2
+
I
3
k
1
-
μ
t
1
-
I
4
+
I
5
+
I
6
I
4
+
I
5
k
1
∨
h
2
+
I
6
k
1
-
μ
t
1
σ
t
1
,
I
1
+
I
2
+
I
6
I
1
+
I
6
k
2
∧
h
3
+
I
2
k
2
-
2
h
2
+
μ
t
2
-
I
3
+
I
4
+
I
5
I
3
+
I
4
k
2
∨
h
3
+
I
5
k
2
-
2
h
2
+
μ
t
2
σ
t
2
,
I
1
+
I
5
+
I
6
-
I
2
-
I
3
-
I
4
k
3
-
2
h
3
+
2
h
2
-
μ
t
3
σ
t
3
;
-
I
1
-
I
2
+
I
3
-
I
4
-
I
5
+
I
6
t
1
t
2
,
I
1
-
I
2
-
I
3
+
I
4
-
I
5
-
I
6
t
1
t
3
,
-
I
1
+
I
2
-
I
3
-
I
4
+
I
5
-
I
6
t
2
t
3
-
I
2
+
I
3
+
I
5
+
I
6
exp
⁡
2
μ
h
3
-
h
2
σ
2
·
N
3
I
2
+
I
3
I
2
k
1
∧
h
2
+
I
3
h
2
-
μ
t
1
-
I
5
+
I
6
I
5
k
1
∨
h
2
+
I
6
h
2
-
μ
t
1
σ
t
1
,
I
2
+
I
6
I
2
h
3
+
I
6
k
2
∧
h
3
-
2
h
2
+
μ
t
2
-
I
3
+
I
5
I
3
k
2
∨
h
3
+
I
5
h
3
-
2
h
2
+
μ
t
2
σ
t
2
,
I
5
+
I
6
-
I
2
-
I
3
k
3
-
2
h
3
+
2
h
2
-
μ
t
3
σ
t
3
;
-
I
1
-
I
2
+
I
3
-
I
4
-
I
5
+
I
6
t
1
t
2
,
I
1
-
I
2
-
I
3
+
I
4
-
I
5
-
I
6
t
1
t
3
,
-
I
1
+
I
2
-
I
3
-
I
4
+
I
5
-
I
6
t
2
t
3
-
exp
⁡
2
μ
h
3
-
h
2
+
h
1
σ
2
·
N
3
I
1
+
I
2
+
I
3
I
1
+
I
2
k
1
∧
h
2
+
I
3
k
1
-
2
h
1
-
μ
t
1
-
I
4
+
I
5
+
I
6
I
4
+
I
5
k
1
∨
h
2
+
I
6
k
1
-
2
h
1
-
μ
t
1
σ
t
1
,
I
1
+
I
2
+
I
6
I
1
+
I
6
k
2
∧
h
3
+
I
2
k
2
-
2
h
2
+
2
h
1
+
μ
t
2
-
I
3
+
I
4
+
I
5
I
3
+
I
4
k
2
∨
h
3
+
I
5
k
2
-
2
h
2
+
2
h
1
+
μ
t
2
σ
t
2
,
I
1
+
I
5
+
I
6
-
I
2
-
I
3
-
I
4
k
3
-
2
h
3
+
2
h
2
-
2
h
1
-
μ
t
3
σ
t
3
;
-
I
1
-
I
2
+
I
3
-
I
4
-
I
5
+
I
6
t
1
t
2
,
I
1
-
I
2
-
I
3
+
I
4
-
I
5
-
I
6
·
t
1
t
3
,
-
I
1
+
I
2
-
I
3
-
I
4
+
I
5
-
I
6
t
2
t
3
+
I
2
+
I
3
+
I
5
+
I
6
exp
⁡
2
μ
h
3
-
h
2
+
h
1
σ
2
·
N
3
I
2
+
I
3
I
2
k
1
∧
h
2
+
I
3
h
2
-
2
h
1
-
μ
t
1
-
I
5
+
I
6
I
5
k
1
∨
h
2
+
I
6
h
2
-
2
h
1
-
μ
t
1
σ
t
1
,
I
2
+
I
6
I
2
h
3
+
I
6
k
2
∧
h
3
-
2
h
2
+
2
h
1
+
μ
t
2
-
I
3
+
I
5
I
3
k
2
∨
h
3
+
I
5
h
3
-
2
h
2
+
2
h
1
+
μ
t
2
σ
t
2
,
I
5
+
I
6
-
I
2
-
I
3
k
3
-
2
h
3
+
2
h
2
-
2
h
1
-
μ
t
3
σ
t
3
;
-
I
1
-
I
2
+
I
3
-
I
4
-
I
5
+
I
6
t
1
t
2
,
I
1
-
I
2
-
I
3
+
I
4
-
I
5
-
I
6
t
1
t
3
,
-
I
1
+
I
2
-
I
3
-
I
4
+
I
5
-
I
6
t
2
t
3
,
whereI1=1 if P⋯=PMMM and zero otherwise; I2=1 if P⋯=PMMm and zero otherwise;I3=1 if P⋯=PMmm and zero otherwise; I4=1 if P⋯=Pmmm and zero otherwise;I5=1 if P⋯=PmmM and zero otherwise, I6=1 if P⋯=PmMM and zero otherwise.And the function N3x1,x2,x3;ρ12,ρ13,ρ23 is the cumulative distribution function of three correlated standard normal random variables X1, X2, and X3 with upper bounds x1,x2,x3∈R3 and correlation coefficients ρ12 between X1 and X2, ρ13 between X1 and X3, and ρ23 between X2 and X3; the numerical evaluation of this function can be carried out with double precision and computational time of approximately 0.01 second using the algorithm by Genz [17].Proof of Proposition1.
X
t
1, Xt2, and Xt3 are absolutely continuous random variables. Moreover, Xt,t≥0 is a Markov process. Hence, by applying the law of total probability and by conditioning, we have(4)P⋯h1,h2,h3,k1,k2,k3,t1,t2,t3=∫a1a2∫a3a4∫a5a6PXt1∈dx1,Xt2∈dx2,Xt3∈dx3·Psup0≤t≤t1⁡Xt<h1∣Xt1I1+I2+I3+Pinf0≤t≤t1⁡Xt>h1∣Xt1I4+I5+I6·Psupt1≤t≤t2⁡Xt<h2∣Xt1,Xt2I1+I2+I6+Pinft1≤t≤t2⁡Xt>h2∣Xt1,Xt2I3+I4+I5·Psupt2≤t≤t3⁡Xt<h3∣Xt2,Xt3I1+I5+I6+Pinft2≤t≤t3⁡Xt>h3∣Xt2,Xt3I2+I3+I4dx3dx2dx1,where a1=-∞I1+I2+I3+k1I4+I5+I6, a2=k1I1+I2+I3+∞I4+I5+I6, a3=-∞I1+I2+I6+k2I3+I4+I5, a4=k2I1+I2+I6+∞I3+I4+I5, a5=-∞I1+I5+I6+k3I2+I3+I4, and a6=k3I1+I5+I6+∞I2+I3+I4 and Xt1,Xt2, and Xt3 are jointly normal random variables and each pairwise correlation coefficient is equal to ti/tj, ∀i,j∈1,2,3, i<j. Besides, the distribution of the maximum (or the minimum) of a Brownian motion with drift on a closed time interval, conditional on the two endpoints, is given by(5)Psupti≤t≤tj⁡Xt<hj∣Xti∈dxi,Xtj∈dxj=Pinfti≤t≤tj⁡Xt>hj∣Xti∈dxi,Xtj∈dxj=1-exp⁡2hj-xixj-hjσ2tj-ti.Thus, expanding the trivariate normal probability density function, using (5) and substituting into (4), we obtain(6)P⋯h1,h2,h3,k1,k2,k3,t1,t2,t3=∫a1a2∫a3a4∫a5a6exp⁡-x-12/2-1/2λ2∣12x-2-ρ1.2x-12-1/2λ3∣1.22x-3-ρ1.3x-1-θ2.3∣1x-2-ρ1.2x-1/λ2∣128π3λ2∣1λ3∣1.2σ3t1t2t31-exp⁡2h1x1-h1σ2t1·1-exp⁡2h2-x1x2-h2σ2t2-t11-exp⁡2h3-x2x3-h3σ2t3-t2dx3dx2dx1,where(7)x-1=x1-μt1σt1,x-2=x2-μt2σt2,x-3=x3-μt3σt3,ρ1.2=t1t2,ρ1.3=t1t3,ρ2.3=t2t3,λ2∣1=1-ρ1.22,θ2.3∣1=ρ2.3-ρ1.2ρ1.3λ2∣1,λ3∣1.2=1-ρ1.32-θ2.3∣12.It is possible to solve this triple integral in closed form as a linear combination of sixteen trivariate standard normal cumulative distribution functions and this yields Proposition 1. The details are quite cumbersome, so they are omitted. However, it is easy to verify that a Monte Carlo simulation will produce numbers that slowly converge to the exact values provided by Proposition 1 whatever the parameters considered. It is highly recommended to use a conditional Monte Carlo approach inasmuch as the latter enables approximating the value of the integral in (6) by randomly drawing three and only three values of the process Xt,t≥0 at each run, without having to discretize the time interval; for some background on the conditional Monte Carlo approach, also known as Brownian Bridge Monte Carlo, the reader is referred to Dagpunar [18]. After implementing conditional Monte Carlo and drawing random numbers from the Mersenne Twister generator, we observed that at least 20,000,000 simulations were required to be sure to attain a minimum level of 10-5 convergence with the values provided by Proposition 1. These empirical findings were obtained out of a sample of 1,500 lists of randomly drawn parameters used as inputs to Proposition 1. They are reported in more detail in Table 1.
Before turning to Section3, one may notice that the following combinations of steps are not handled by Proposition 1: (8)
P
m
M
m
h
1
,
h
2
,
h
3
,
k
1
,
k
2
,
k
3
,
t
1
,
t
2
,
t
3
≜
P
inf
0
≤
t
≤
t
1
⁡
X
t
≥
h
1
,
X
t
1
≥
k
1
,
sup
t
1
≤
t
≤
t
2
⁡
X
t
≤
h
2
,
X
t
2
≤
k
2
,
inf
t
2
≤
t
≤
t
3
⁡
X
t
≥
h
3
,
X
t
3
≥
k
3
h
1
∈
R
-
,
h
2
,
h
3
,
k
1
,
k
2
,
k
3
∈
R
5
,
k
1
≥
h
1
,
k
2
≤
h
2
,
k
3
≥
h
3
,
(9)
P
M
m
M
h
1
,
h
2
,
h
3
,
k
1
,
k
2
,
k
3
,
t
1
,
t
2
,
t
3
≜
P
sup
0
≤
t
≤
t
1
⁡
X
t
≤
h
1
,
X
t
1
≤
k
1
,
inf
t
1
≤
t
≤
t
2
⁡
X
t
≥
h
2
,
X
t
2
≥
k
2
,
sup
t
2
≤
t
≤
t
3
⁡
X
t
≤
h
3
,
X
t
3
≤
k
3
h
1
∈
R
+
,
h
2
,
h
3
,
k
1
,
k
2
,
k
3
∈
R
5
,
k
1
≤
h
1
,
k
2
≥
h
2
,
k
3
≤
h
3
.This is not because (8) and (9) are more difficult to obtain using the method outlined in the proof of Proposition 1 but simply because the resulting formulae involve twice as many multivariate distribution functions as in the statement of Proposition 1, which would make the latter very bulky. Closed form formulae for (8) and (9) are available from the author upon request.Table 1
Numerical comparison between Proposition1 and conditional Monte Carlo (CMC) approximation1.
Proposition1
CMC500,000
CMC5,000,000
CMC20,000,000
Average divergence (%)
0
0.29874
0.021496
0.00046
Maximum divergence (%)
0
0.84231
0.13884
0.087
Computational time  (seconds)
0.59
24.57
239.26
953.42
1The average divergence is the average of the absolute values of the differences between Proposition 1 and CMC divided by Proposition 1 out of a sample of 1,500 lists of randomly drawn parameters.
The maximum divergence is the maximum of the absolute values of the differences between Proposition1 and CMC divided by Proposition 1 out of a sample of 1,500 lists of randomly drawn parameters.
Computational time is measured on an i3 2.5 Ghz processor.


## 3. Numerical Experiments

Let us consider a geometric Brownian motion driven by(10)dSt=νStdt+σStdBt,where ν is a constant, σ is a positive constant, and Bt,t≥0 is a standard Brownian motion.Without loss of generality, this process is assumed to start at levelS0=100 at time t0. We first deal with sequences of maxima or minima, that is, PMMM-type and Pmmm-cumulative distribution functions. We are interested in the following survival probabilities:(11)Psup0≤t≤t1⁡St≤H1,supt1≤t≤t2⁡St≤H2,supt2≤t≤t3⁡St≤H3,H1>S0,Pinf0≤t≤t1⁡St≥H1,inft1≤t≤t2⁡St≥H2,inft2≤t≤t3⁡St≥H3,H1<S0.An elementary application of Ito’s lemma to ln⁡(St/S0) shows that (9) and (10) can be obtained by computing(12)
P
sup
0
≤
t
≤
t
1
⁡
X
t
≤
h
1
,
X
t
1
≤
h
1
,
sup
t
1
≤
t
≤
t
2
⁡
X
t
≤
h
2
,
X
t
2
≤
h
2
,
sup
t
2
≤
t
≤
t
3
⁡
X
t
≤
h
3
,
X
t
3
≤
h
3
,
P
inf
0
≤
t
≤
t
1
⁡
X
t
≥
h
1
,
X
t
1
≥
h
1
,
inf
t
1
≤
t
≤
t
2
⁡
X
t
≥
h
2
,
X
t
2
≥
h
2
,
inf
t
2
≤
t
≤
t
3
⁡
X
t
≥
h
3
,
X
t
3
≥
h
3
,where hi=ln⁡(Hi/S0) and Xt is driven by(13)dXt=μdt+σdBt,μ=ν-σ22.Thus, Proposition 1 can be used to compute exact survival probabilities of the geometric Brownian motion St,t≥0.The boundaries under consideration are said to “widen” on a given time interval when the current step is located farther from the initial process value than the previous step. Likewise, the boundaries are said to “shrink” on a given time interval when the current step is nearer to the initial process value than the previous step. Our objective is threefold:(i)
To measure the effect of widening the boundary at one or two steps, compared with keeping a fixed boundary until maturity.(ii)
To measure the effect of ordering the steps of the boundary in different ways; in particular, we compare survival probabilities when the farthest step is located in the last time interval and the nearest step is located in the first time interval.(iii)
To compare, conversely, survival probabilities when the boundary is upward and when it is downward.For the latter comparison to be unbiased or neutral, we select upward and downward steps whose distances to the origin S0 are the same. Additionally, the probability of not hitting a boundary is a function of the deterministic part of the stochastic differential equation driving the process: a positive drift coefficient ν increases the chances of hitting an upward boundary, while a negative drift coefficient ν increases the chances of hitting a downward boundary. That is why we set symmetric values of ν of 3% and -3% when examining sequences of maxima and sequences of minima, respectively.Three levels of the dispersion coefficientσ are selected: 18% (defining a “low volatility regime”), 36% (defining an “intermediate volatility regime”), and 64% (defining a “high volatility regime”).Numerical results are reported in Tables2 and 3.Table 2
Survival probability for various sequences of upward absorbing steps as a function of volatility2.
σ
=
18
%
σ
=
36
%
σ
=
64
%
H
1
=
H
2
=
H
3
=
120
0.73861288
0.46868224
0.31769242
H
1
=
120, H2=120, H3=140
0.83295259
0.53187603
0.34607144
H
1
=
140, H2=120, H3=120
0.74289172
0.51226639
0.40804930
H
1
=
120, H2=140, H3=120
0.75896593
0.50006440
0.33948898
H
1
=
120, H2=126, H3=134
0.88521655
0.55858123
0.35488207
H
1
=
134, H2=126, H3=120
0.76627014
0.54546490
0.41461240
H
1
=
126, H2=120, H3=134
0.83167791
0.55637189
0.38677980
2All the values reported in this table are obtained by using Proposition 1 with S0=100, ν=3%, t1=0.25, t2=0.5, t3=0.75, K1=H1, K2=H2, and K3=H3.Table 3
Survival probability for various sequences of downward absorbing steps as a function of volatility3.
σ
=
18
%
σ
=
36
%
σ
=
64
%
H
1
=
H
2
=
H
3
=
80
0.7939442
0.4478266
0.2294535
H
1
=
80, H2=80, H3=60
0.8918561
0.5501897
0.2833042
H
1
=
60, H2=80, H3=80
0.7951798
0.4722809
0.2852277
H
1
=
80, H2=60, H3=80
0.8070047
0.4779041
0.2511610
H
1
=
80, H2=74, H3=66
0.9588887
0.6025832
0.2968822
H
1
=
66, H2=74, H3=80
0.8103539
0.5135717
0.3087369
H
1
=
74, H2=80, H3=66
0.8926716
0.5667168
0.3125188
3All the values reported in this table are obtained by using Proposition 1 with S0=100,  ν=-3%, t1=0.25, t2=0.5, t3=0.75, K1=H1, K2=H2, and K3=H3.First, it can be noticed that the increase in the survival probability entailed by a widening of the boundary is not symmetric whether one deals with an upward or a downward boundary. In a low volatility regime, the probability of remaining above a downward boundary is higher than the probability of remaining below an upward boundary. The reverse holds in a high volatility regime. In the intermediate volatility regime, the result depends on the order of the steps of the boundary.It must be stressed that not all these observations are intuitive. Recall that the drift and the dispersion coefficients of a geometric Brownian motion such asSt,t≥0 are proportional to St at any given t≥0, so that the drift coefficient of lnSt/S0,t≥0 is equal to μ≜ν-σ2/2. When σ=64%, we have μ=-17.48% if υ=3% as in Table 2 and μ=-23.48% if υ=-3% as in Table 3. The deterministic part of the instantaneous dynamics thus drives the process downward in the high volatility regime, so that it decreases the likelihood of crossing an upward boundary and increases the likelihood of crossing a downward boundary. It is therefore not surprising to observe that the probability of remaining below an upward boundary is higher than that of remaining above a downward boundary in the high volatility regime, all the more so as μ is more negative in Table 3 than in Table 2. However, the observation that one can make in the low volatility regime may seem counter-intuitive. Indeed, when σ=18%, we have μ=1.38% if υ=3% and μ=-4.62% if υ=-3%. The deterministic part of the instantaneous dynamics thus drives the process upward in Table 2, which has a negative effect on the probability of survival; but the process is driven downward in Table 3, which also creates a negative effect on the probability of survival and at a faster rate than that with which the process is driven upward in Table 2. Hence, from an intuitive point of view, one would expect the probability of remaining below an upward boundary to be higher than that of remaining above a downward boundary in the low volatility regime too.Second, one can observe that widening the boundary has a much more significant impact when the farthest step is located in the last time interval if volatility is low, whether one deals with an upward or a downward boundary, while the reverse is true in a high volatility regime; that is, the probability that the process will have survived at timet3 is higher when the farthest step is set in the first time interval. This phenomenon can be explained by the fact that the chances of hitting the boundary are already substantial early on in the life of the process when volatility is high, so that widening the boundary at the first time interval exerts a “strong” positive impact on the probability of survival, whereas the risk of absorption only gradually increases over time when volatility is low, so that widening the boundary at an early stage has less effect on the probability of survival. However, the magnitude of this phenomenon in a high volatility regime is much larger when the boundary is upward rather than downward, which suggests that when volatility is high, the risk of hitting the boundary at an early stage of the process is greater when the boundary is upward. Interestingly enough, the probabilities of survival are very close in Table 3 when the farthest step of the two-step boundary is located in the first or in the last time interval and volatility is high.Another noticeable fact is the fact that the chances of survival rise when setting two gradually increasing or decreasing steps rather than one much higher or much lower step whatever the level of volatility. More precisely, the survival probability with a two-step boundary is lower than that with a three-step boundary whether the boundary is widening or shrinking even as we consider an identical weighted average of the steps in both cases; in other words, it is “safer” to go through the set of steps120,126,134 rather than through the set of steps 120,120,140 and it is “safer” to go through the set of steps 134,126,120 rather than through the set of steps 140,120,120, although the average (weighted by each time interval) is 133 + 1/3 in both sets; similarly, it is safer to go through the set of steps 80,74,66 rather than through the set of steps 80,80,60 and it is safer to go through the set of steps 66,74,80 rather than through the set of steps 60,80,80, although the weighted average is 73 + 1/3 in both sets. The differences between survival probabilities as a function of the number of steps in the boundary are smaller when volatility is high than when it is intermediate or low.These observations suggest that we should use Proposition1 to compute the probability that the maximum (or the minimum) reached by the process St,t≥0 will lie in the first, the second, or the third time interval, as a function of volatility, considering three time intervals of identical length (otherwise, it is easily anticipated that any extremum will more likely be reached in any time interval (i.e., significantly larger than the others)). The probability that the maximum will lie in the first time interval can be obtained by computing(14)∫0∞∫0x1∫0x1Psup0≤t≤t1⁡Xt∈dx1,supt1≤t≤t2⁡Xt∈dx2,supt2≤t≤t3⁡Xt∈dx3dx3dx2dx1.The trivariate density function inside this integral is obtained by differentiating Proposition 1 three times. This operation is tedious but straightforward and can be dealt with painlessly by using standard scientific computing software. The probabilities that the maximum will lie in the second or in the third time interval can be computed likewise in an obvious manner. Numerical results are reported in Table 4, using parameters consistent with Table 2. The quantity S∗ is defined as the global maximum; that is,(15)S∗≜max⁡sup0≤t≤t1⁡St,supt1≤t≤t2⁡St,supt2≤t≤t3⁡St=sup0≤t≤t3⁡St.Conditional expected values of S∗, obtained by Monte Carlo simulation, are also reported.Table 4
Distribution of the global maximum over the various time intervals as a function of volatility4.
σ
=
18
%
σ
=
36
%
σ
=
64
%
P
S
∗
=
sup
⁡
0
≤
t
≤
t
1
S
t
0.37121
0.41847
0.46731
E
S
∗
∣
S
∗
=
sup
⁡
0
≤
t
≤
t
1
S
t
106.111
112.038
121.318
P
S
∗
=
sup
⁡
t
1
≤
t
≤
t
2
S
t
0.21601
0.21589
0.21306
E
S
∗
∣
S
∗
=
sup
⁡
t
1
≤
t
≤
t
2
S
t
115.013
130.861
158.376
P
S
∗
=
sup
⁡
t
2
≤
t
≤
t
3
S
t
0.41276
0.36562
0.31971
E
S
∗
∣
S
∗
=
sup
⁡
t
2
≤
t
≤
t
3
S
t
120.625
142.826
182.615
4The parameters used in this table are as follows: S0=100, ν=3%, t1=0.25, t2=0.5, and t3=0.75.We can see that, whatever the level of volatility, the probability thatS∗ is reached between t1 and t2, that is, in the middle time interval, is approximately the same. It is also always the least likely outcome. In contrast, the probability that S∗ is reached between t0 and t1, that is, in the first time interval, steadily increases with σ, while the probability that S∗ is reached between t2 and t3, that is, in the last time interval, steadily decreases with σ. When volatility is low, the most likely outcome is that S∗ will be reached in the last time interval. This result is quite intuitive, as low volatility implies that it takes time for the process to hit large positive values and that the chances that the process will plummet at an early stage are thin. When volatility is high, the most likely outcome is that S∗ will be reached in the first time interval. This could be because of the fact that as volatility rises the likelihood that the process St,t≥0 will hit lower and lower values over time increases, so that an increasingly smaller fraction of paths will have enough time to make the journey back to highly positive territory. This explanation is supported by the distribution of the location of S∗ in space. Indeed, Table 4 shows that when S∗ is reached in the first time interval, the expected value of S∗ is always smaller than that when S∗ is reached in the second time interval or in the third time interval, whatever the level of volatility, which implies that the occurrence of the event S∗=sup0≤t≤t1⁡St is positively correlated with the number of paths spending “much” time below S0 between t0 and t3.These various phenomena are confirmed and even more pronounced on longer time horizons, especially in a high volatility regime, whereS∗=sup0≤t≤t1⁡St is by far the most likely event, as shown by Table 5. The proportion of paths that verify S∗=supt1≤t≤t2⁡St remains noticeably stable, whatever the volatility level and the time horizon. Not surprisingly, the expected values of S∗ rise significantly on longer time horizons.Table 5
Distribution of the global maximum over the various time intervals as a function of volatility on a longer time horizon than that in Table45.
σ
=
18
%
σ
=
36
%
σ
=
64
%
P
S
∗
=
sup
⁡
0
≤
t
≤
t
1
S
t
0.35094
0.44517
0.54329
E
S
∗
∣
S
∗
=
sup
⁡
0
≤
t
≤
t
1
S
t
112.86
124.826
143.49
P
S
∗
=
sup
⁡
t
1
≤
t
≤
t
2
S
t
0.21522
0.21498
0.20364
E
S
∗
∣
S
∗
=
sup
⁡
t
1
≤
t
≤
t
2
S
t
132.932
169.266
237.806
P
S
∗
=
sup
⁡
t
2
≤
t
≤
t
3
S
t
0.43385
0.33984
0.25305
E
S
∗
∣
S
∗
=
sup
⁡
t
2
≤
t
≤
t
3
S
t
146.751
200.064
305.068
5The parameters used in this table are as follows: S0=100, ν=3%, t1=1, t2=2, and t3=3.So far, the emphasis has been laid on volatility as the fundamental variable, but one might object that it is not so muchσ as the ratio σ/ν that matters. In Table 6, the value of ν is significantly raised from 3% to 12%. It is clear that the pattern observed in Tables 4 and 5 is not altered but merely shifted, with bigger absolute values for PS∗=supt2≤t≤t3⁡St relative to PS∗=sup0≤t≤t1⁡St; just as in Tables 4 and 5, the probability that S∗ is reached in the first time interval steadily increases with σ, the probability that S∗ is reached in the last time interval steadily decreases with σ, and the probability that S∗ is reached in the middle time interval is strikingly stable.Table 6
Distribution of the global maximum over the various time intervals as a function of volatility with a larger drift coefficient than that in Tables4 and 56.
σ
=
18
%
σ
=
36
%
σ
=
64
%
P
S
∗
=
sup
⁡
0
≤
t
≤
t
1
S
t
0.24639
0.35099
0.42833
E
S
∗
∣
S
∗
=
sup
⁡
0
≤
t
≤
t
1
S
t
106.963
112.859
122.165
P
S
∗
=
sup
⁡
t
1
≤
t
≤
t
2
S
t
0.20214
0.21543
0.21541
E
S
∗
∣
S
∗
=
sup
⁡
t
1
≤
t
≤
t
2
S
t
116.995
132.917
160.696
P
S
∗
=
sup
⁡
t
2
≤
t
≤
t
3
S
t
0.55156
0.43357
0.35624
E
S
∗
∣
S
∗
=
sup
⁡
t
2
≤
t
≤
t
3
S
t
124.322
146.772
187.234
6The parameters used in this table are as follows: S0=100, ν=12%, t1=0.25, t2=0.5, and t3=0.75.Finally, in Table7, we take a brief look at the impact of combining both downward and upward steps in the boundary. Let us denote by Ω1 the set of probabilities of survival under a sequence of minimaor maxima, that is, the set including PMMM and Pmmm, and let us denote by Ω2 the set of probabilities of survival under a sequence of minimaand maxima, that is, the set including PMMm, PMmm, PmMM, and PmmM. It is noticeable that when volatility is low, the elements in Ω2 are never very different from those in Ω1, roughly speaking, while the value of the elements in Ω2 plummets versus that of the elements in Ω1 in a high volatility regime. The reason for the latter phenomenon is the fact that when volatility is high, the vast majority of the paths that never cross 120 until time t2 are those that spend a lot of time in regions far beneath the starting point S0=100, so that there is little chance that these paths will always be above 80 between t2 and t3. Most of them will actually lie under 80 at time t2. The same is true, to a slightly lesser extent, of the paths that never cross 120 until time t1. Similarly, in a high volatility regime, the vast majority of the paths that never cross 80 until time t2 or even t1 are those that spend a lot of time in regions far above the starting point S0=100, so that there is little chance that these paths will always be below 120 between t2 and t3 or even between t1 and t3.Table 7
Survival probability for various sequences of downward and upward absorbing steps as a function of volatility7.
σ
=
18
%
σ
=
36
%
σ
=
64
%
H
1
=
H
2
=
H
3
=
120
0.7386128
0.4686822
0.3176924
H
1
=
H
2
=
H
3
=
80
0.8617076
0.4973051
0.2497141
H
1
=
120, H2=120, H3=80
0.7122884
0.1944965
0.0296195
H
1
=
120, H2=80, H3=80
0.8167308
0.2772911
0.0484872
H
1
=
80, H2=120, H3=120
0.7309655
0.3146737
0.0772276
H
1
=
80, H2=80, H3=120
0.6983075
0.2255059
0.0425565
7All the values reported in this table are obtained by using Proposition 1 with ν=3%, t1=0.25, t2=0.5, t3=0.75, K1=H1, K2=H2, and K3=H3.The moderate differences between the elements inΩ2 and those in Ω1 when volatility is low can be explained by the fact that, in such an environment, the probability of survival is high anyway, whatever the number and the location of the steps of the boundary. However, it is interesting to notice that PmmM is smaller than PMMm and PmMM. Indeed, we know from Tables 2 and 3 that, in a low volatility regime, the probability of remaining above a downward boundary is higher than the probability of remaining below an upward boundary; that is, we have Pmmm>PMMM. All the more so in Table 7, since the positive drift coefficient creates an upward bias that decreases the likelihood of crossing a downward boundary. Since downward steps span two-thirds of the total time interval in PmmM versus one-third in both PMMm and PmMM the inequalities PmmM<PMMm and PmmM<PmMM show that the order in which steps with opposite direction are introduced matters more than the weight of downward steps versus upward steps; otherwise, we would have the reverse inequalities PmmM>PMMm and PmmM>PmMM. In the high volatility regime, the order in which steps with opposite direction are introduced is relatively negligible for those boundaries where downward steps outweigh upward steps, that is, for PmmM and PMmm, while it has a considerable impact on those boundaries where upward steps outweigh downward steps, that is, for PMMm and PmMM. All these properties cannot be easily “guessed” or anticipated and require an exact formula such as Proposition 1 to be established.


## 4. Extension to Higher Dimension

The kind of analytical calculations that led to Proposition1 can be carried out in dimensions greater than three. Similar to the approach laid out in the proof of Proposition 1, for any number n∈N of upward steps, the survival probability of a process with dynamics defined by (1) is given by the following n-dimensional integral:(16)
P
sup
t
0
<
t
<
t
1
⁡
X
t
<
h
1
,
X
t
1
<
k
1
,
sup
t
1
<
t
<
t
2
⁡
X
t
<
h
2
,
X
t
2
<
k
2
,
…
,
sup
t
n
-
1
<
t
<
t
n
⁡
X
t
<
h
n
,
X
t
n
<
k
n
=
∫
D
n
∂
n
∂
x
1
∂
x
2
⋯
∂
x
n
N
n
x
1
-
μ
t
1
σ
t
1
,
x
2
-
μ
t
2
σ
t
2
,
…
,
x
n
-
μ
t
n
σ
t
n
;
t
1
t
2
,
…
,
t
1
t
n
,
t
2
t
3
,
…
,
t
2
t
n
,
…
,
t
n
-
1
t
n
·
∏
i
=
0
n
-
1
1
-
exp
⁡
2
h
i
+
1
-
x
i
x
i
+
1
-
h
i
+
1
σ
2
t
i
+
1
-
t
i
d
x
n
d
x
n
-
1
⋯
d
x
1
,where the function Nn[(x1-μt1)/σt1,(x2-μt2)/σt2,…,(xn-μtn)/σtn;t1/t2,…,t1/tn,t2/t3,…,t2/tn, tn-1/tn] is the cumulative distribution function associated with the n-variate normal random vector Xti,i=1,…,n and Dn is the following product of intervals: (17)Dn=-∞,inf⁡k1,h2×-∞,inf⁡k2,h3×⋯×-∞,inf⁡kn-1,hn.The question is, can this integral be solved as a linear combination of functions that are computable with adequate accuracy and efficiency? Although the analytical side of the problem is not trivial, the main issue is numerical. Indeed, an explicit solution involves a combination of a number 2n of n-dimensional Gaussian integrals. Currently, there is no algorithm capable of evaluating the multivariate normal cumulative distribution function efficiently and with arbitrary precision as soon as the dimension of the normal integral is greater than or equal to 4. However, it can be noticed that, as a consequence of the Markov property of the process Xt,t≥0, the joint density function associated with the n-variate normal random vector Xti,i=1,…,n simplifies to(18)fXt1,…,Xtnx1,…,xn=exp⁡-1/2x1-μt1/σt12-∑i=1n-1xi+1-μti+1/σti+1-ti/ti+1xi-μti/σti2/21-ti/ti+1σn2πn/2∏i=1nti1-ti-1/tiwhich is simpler than the standard n-dimensional normal density function for computational purposes.The integral to be solved becomes(19)
∫
D
n
f
X
t
1
,
…
,
X
t
n
x
1
,
…
,
x
n
∏
i
=
0
n
-
1
1
-
exp
⁡
2
h
i
+
1
-
x
i
x
i
+
1
-
h
i
+
1
σ
2
t
i
+
1
-
t
i
d
x
n
d
x
n
-
1
⋯
d
x
1
.This new representation makes calculations easier both from an analytical perspective and from a numerical perspective. A general solution for any n∈N remains intractable, but it becomes possible to achieve a closed form solution for moderate n without too much effort, although the resulting formulae will be rather bulky. In particular, for n=5, one can obtain the following proposition.Proposition 2.
Givenh1>0 and k1≤h1, k2≤h2, k3≤h3, k4≤h4, and k5≤h5, we have(20)
P
sup
t
0
<
t
<
t
1
⁡
X
t
<
h
1
,
X
t
1
<
k
1
,
sup
t
1
<
t
<
t
2
⁡
X
t
<
h
2
,
X
t
2
<
k
2
,
sup
t
2
<
t
<
t
3
⁡
X
t
<
h
3
,
X
t
3
<
k
3
,
sup
t
3
<
t
<
t
4
⁡
X
t
<
h
4
,
X
t
4
<
k
4
,
sup
t
4
<
t
<
t
5
⁡
X
t
<
h
5
,
X
t
5
<
k
5
=
Φ
5
k
1
∧
h
2
-
μ
t
1
σ
t
1
,
k
2
∧
h
3
-
μ
t
2
σ
t
2
,
k
3
∧
h
4
-
μ
t
3
σ
t
3
,
k
4
∧
h
5
-
μ
t
4
σ
t
4
,
k
5
-
μ
t
5
σ
t
5
;
t
1
t
2
,
t
2
t
3
,
t
3
t
4
,
t
4
t
5
-
exp
⁡
2
μ
h
1
σ
2
·
Φ
5
k
1
∧
h
2
-
2
h
1
-
μ
t
1
σ
t
1
,
k
2
∧
h
3
-
2
h
1
-
μ
t
2
σ
t
2
,
k
3
∧
h
4
-
2
h
1
-
μ
t
3
σ
t
3
,
k
4
∧
h
5
-
2
h
1
-
μ
t
4
σ
t
4
,
k
5
-
2
h
1
-
μ
t
5
σ
t
5
;
t
1
t
2
,
t
2
t
3
,
t
3
t
4
,
t
4
t
5
-
exp
⁡
2
μ
h
2
σ
2
Φ
5
k
1
∧
h
2
+
μ
t
1
σ
t
1
,
k
2
∧
h
3
-
2
h
2
-
μ
t
2
σ
t
2
,
k
3
∧
h
4
-
2
h
2
-
μ
t
3
σ
t
3
,
k
4
∧
h
5
-
2
h
2
-
μ
t
4
σ
t
4
,
k
5
-
2
h
2
-
μ
t
5
σ
t
5
;
-
t
1
t
2
,
t
2
t
3
,
t
3
t
4
,
t
4
t
5
-
exp
⁡
2
μ
h
3
σ
2
Φ
5
k
1
∧
h
2
+
μ
t
1
σ
t
1
,
k
2
∧
h
3
+
μ
t
2
σ
t
2
,
k
3
∧
h
4
-
2
h
3
-
μ
t
3
σ
t
3
,
k
4
∧
h
5
-
2
h
3
-
μ
t
4
σ
t
4
,
k
5
-
2
h
3
-
μ
t
5
σ
t
5
;
t
1
t
2
,
-
t
2
t
3
,
t
3
t
4
,
t
4
t
5
-
exp
⁡
2
μ
h
4
σ
2
Φ
5
k
1
∧
h
2
+
μ
t
1
σ
t
1
,
k
2
∧
h
3
+
μ
t
2
σ
t
2
,
k
3
∧
h
4
+
μ
t
3
σ
t
3
,
k
4
∧
h
5
-
2
h
4
-
μ
t
4
σ
t
4
,
k
5
-
2
h
4
-
μ
t
5
σ
t
5
;
t
1
t
2
,
t
2
t
3
,
-
t
3
t
4
,
t
4
t
5
-
exp
⁡
2
μ
h
5
σ
2
Φ
5
k
1
∧
h
2
+
μ
t
1
σ
t
1
,
k
2
∧
h
3
+
μ
t
2
σ
t
2
,
k
3
∧
h
4
+
μ
t
3
σ
t
3
,
k
4
∧
h
5
+
μ
t
4
σ
t
4
,
k
5
-
2
h
5
-
μ
t
5
σ
t
5
;
t
1
t
2
,
t
2
t
3
,
t
3
t
4
,
-
t
4
t
5
+
exp
⁡
2
μ
h
2
-
h
1
σ
2
·
Φ
5
k
1
∧
h
2
-
2
h
1
+
μ
t
1
σ
t
1
,
k
2
∧
h
3
-
2
h
2
+
2
h
1
-
μ
t
2
σ
t
2
,
k
3
∧
h
4
-
2
h
2
+
2
h
1
-
μ
t
3
σ
t
3
,
k
4
∧
h
5
-
2
h
2
+
2
h
1
-
μ
t
4
σ
t
4
,
k
5
-
2
h
2
+
2
h
1
-
μ
t
5
σ
t
5
;
-
t
1
t
2
,
t
2
t
3
,
t
3
t
4
,
t
4
t
5
+
exp
⁡
2
μ
h
3
-
h
1
σ
2
·
Φ
5
k
1
∧
h
2
-
2
h
1
+
μ
t
1
σ
t
1
,
k
2
∧
h
3
-
2
h
1
+
μ
t
2
σ
t
2
,
k
3
∧
h
4
-
2
h
3
+
2
h
1
-
μ
t
3
σ
t
3
,
k
4
∧
h
5
-
2
h
3
+
2
h
1
-
μ
t
4
σ
t
4
,
k
5
-
2
h
3
+
2
h
1
-
μ
t
5
σ
t
5
;
t
1
t
2
,
-
t
2
t
3
,
t
3
t
4
,
t
4
t
5
+
exp
⁡
2
μ
h
3
-
h
2
σ
2
·
Φ
5
k
1
∧
h
2
-
μ
t
1
σ
t
1
,
k
2
∧
h
3
-
2
h
2
+
μ
t
2
σ
t
2
,
k
3
∧
h
4
-
2
h
3
+
2
h
2
-
μ
t
3
σ
t
3
,
k
4
∧
h
5
-
2
h
3
+
2
h
2
-
μ
t
4
σ
t
4
,
k
5
-
2
h
3
+
2
h
2
-
μ
t
5
σ
t
5
;
-
t
1
t
2
,
-
t
2
t
3
,
t
3
t
4
,
t
4
t
5
+
exp
⁡
2
μ
h
4
-
h
1
σ
2
·
Φ
5
k
1
∧
h
2
-
2
h
1
+
μ
t
1
σ
t
1
,
k
2
∧
h
3
-
2
h
1
+
μ
t
2
σ
t
2
,
k
3
∧
h
4
-
2
h
1
+
μ
t
3
σ
t
3
,
k
4
∧
h
5
-
2
h
4
+
2
h
1
-
μ
t
4
σ
t
4
,
k
5
-
2
h
4
+
2
h
1
-
μ
t
5
σ
t
5
;
t
1
t
2
,
t
2
t
3
,
-
t
3
t
4
,
t
4
t
5
+
exp
⁡
2
μ
h
4
-
h
2
σ
2
Φ
5
k
1
∧
h
2
-
μ
t
1
σ
t
1
,
k
2
∧
h
3
-
2
h
2
+
μ
t
2
σ
t
2
,
k
3
∧
h
4
-
2
h
2
+
μ
t
3
σ
t
3
,
k
4
∧
h
5
-
2
h
4
+
2
h
2
-
μ
t
4
σ
t
4
,
k
5
-
2
h
4
+
2
h
2
-
μ
t
5
σ
t
5
;
-
t
1
t
2
,
t
2
t
3
,
-
t
3
t
4
,
t
4
t
5
+
exp
⁡
2
μ
h
4
-
h
3
σ
2
·
Φ
5
k
1
∧
h
2
-
μ
t
1
σ
t
1
,
k
2
∧
h
3
-
μ
t
2
σ
t
2
,
k
3
∧
h
4
-
2
h
3
+
μ
t
3
σ
t
3
,
k
4
∧
h
5
-
2
h
4
+
2
h
3
-
μ
t
4
σ
t
4
,
k
5
-
2
h
4
+
2
h
3
-
μ
t
5
σ
t
5
;
t
1
t
2
,
-
t
2
t
3
,
-
t
3
t
4
,
t
4
t
5
+
exp
⁡
2
μ
h
5
-
h
1
σ
2
Φ
5
k
1
∧
h
2
-
2
h
1
+
μ
t
1
σ
t
1
,
k
2
∧
h
3
-
2
h
1
+
μ
t
2
σ
t
2
,
k
3
∧
h
4
-
2
h
1
+
μ
t
3
σ
t
3
,
k
4
∧
h
5
-
2
h
1
+
μ
t
4
σ
t
4
,
k
5
-
2
h
5
+
2
h
1
-
μ
t
5
σ
t
5
;
t
1
t
2
,
t
2
t
3
,
t
3
t
4
,
-
t
4
t
5
+
exp
⁡
2
μ
h
5
-
h
2
σ
2
·
Φ
5
k
1
∧
h
2
-
μ
t
1
σ
t
1
,
k
2
∧
h
3
-
2
h
2
+
μ
t
2
σ
t
2
,
k
3
∧
h
4
-
2
h
2
+
μ
t
3
σ
t
3
,
k
4
∧
h
5
-
2
h
2
+
μ
t
4
σ
t
4
,
k
5
-
2
h
5
+
2
h
2
-
μ
t
5
σ
t
5
;
-
t
1
t
2
,
t
2
t
3
,
t
3
t
4
,
-
t
4
t
5
+
exp
⁡
2
μ
h
5
-
h
3
σ
2
Φ
5
k
1
∧
h
2
-
μ
t
1
σ
t
1
,
k
2
∧
h
3
-
μ
t
2
σ
t
2
,
k
3
∧
h
4
-
2
h
3
+
μ
t
3
σ
t
3
,
k
4
∧
h
5
-
2
h
3
+
μ
t
4
σ
t
4
,
k
5
-
2
h
5
+
2
h
3
-
μ
t
5
σ
t
5
;
t
1
t
2
,
-
t
2
t
3
,
t
3
t
4
,
-
t
4
t
5
+
exp
⁡
2
μ
h
5
-
h
4
σ
2
·
Φ
5
k
1
∧
h
2
-
μ
t
1
σ
t
1
,
k
2
∧
h
3
-
μ
t
2
σ
t
2
,
k
3
∧
h
4
-
μ
t
3
σ
t
3
,
k
4
∧
h
5
-
2
h
4
+
μ
t
4
σ
t
4
,
k
5
-
2
h
5
+
2
h
4
-
μ
t
5
σ
t
5
;
t
1
t
2
,
t
2
t
3
,
-
t
3
t
4
,
-
t
4
t
5
-
exp
⁡
2
μ
h
3
-
h
2
+
h
1
σ
2
·
Φ
5
k
1
∧
h
2
-
2
h
1
-
μ
t
1
σ
t
1
,
k
2
∧
h
3
-
2
h
2
+
2
h
1
+
μ
t
2
σ
t
2
,
k
3
∧
h
4
-
2
h
3
+
2
h
2
-
2
h
1
-
μ
t
3
σ
t
3
,
k
4
∧
h
5
-
2
h
3
+
2
h
2
-
2
h
1
-
μ
t
4
σ
t
4
,
k
5
-
2
h
3
+
2
h
2
-
2
h
1
-
μ
t
5
σ
t
5
;
-
t
1
t
2
,
-
t
2
t
3
,
t
3
t
4
,
t
4
t
5
-
exp
⁡
2
μ
h
4
-
h
2
+
h
1
σ
2
·
Φ
5
k
1
∧
h
2
-
2
h
1
-
μ
t
1
σ
t
1
,
k
2
∧
h
3
-
2
h
2
+
2
h
1
+
μ
t
2
σ
t
2
,
k
3
∧
h
4
-
2
h
2
+
2
h
1
+
μ
t
3
σ
t
3
,
k
4
∧
h
5
-
2
h
4
+
2
h
2
-
2
h
1
-
μ
t
4
σ
t
4
,
k
5
-
2
h
4
+
2
h
2
-
2
h
1
-
μ
t
5
σ
t
5
;
-
t
1
t
2
,
t
2
t
3
,
-
t
3
t
4
,
t
4
t
5
-
exp
⁡
2
μ
h
4
-
h
3
+
h
1
σ
2
·
Φ
5
k
1
∧
h
2
-
2
h
1
-
μ
t
1
σ
t
1
,
k
2
∧
h
3
-
2
h
1
-
μ
t
2
σ
t
2
,
k
3
∧
h
4
-
2
h
3
+
2
h
1
+
μ
t
3
σ
t
3
,
k
4
∧
h
5
-
2
h
4
+
2
h
3
-
2
h
1
-
μ
t
4
σ
t
4
,
k
5
-
2
h
4
+
2
h
3
-
2
h
1
-
μ
t
5
σ
t
5
;
t
1
t
2
,
-
t
2
t
3
,
-
t
3
t
4
,
t
4
t
5
-
exp
⁡
2
μ
h
4
-
h
3
+
h
2
σ
2
·
Φ
5
k
1
∧
h
2
-
μ
t
1
σ
t
1
,
k
2
∧
h
3
-
2
h
2
-
μ
t
2
σ
t
2
,
k
3
∧
h
4
-
2
h
3
+
2
h
2
+
μ
t
3
σ
t
3
,
k
4
∧
h
5
-
2
h
4
+
2
h
3
-
2
h
2
-
μ
t
4
σ
t
4
,
k
5
-
2
h
4
+
2
h
3
-
2
h
2
-
μ
t
5
σ
t
5
;
t
1
t
2
,
-
t
2
t
3
,
-
t
3
t
4
,
t
4
t
5
-
exp
⁡
2
μ
h
5
-
h
2
+
h
1
σ
2
·
Φ
5
k
1
∧
h
2
-
2
h
1
-
μ
t
1
σ
t
1
,
k
2
∧
h
3
-
2
h
2
+
2
h
1
+
μ
t
2
σ
t
2
,
k
3
∧
h
4
-
2
h
2
+
2
h
1
+
μ
t
3
σ
t
3
,
k
4
∧
h
5
-
2
h
2
+
2
h
1
+
μ
t
4
σ
t
4
,
k
5
-
2
h
5
+
2
h
2
-
2
h
1
-
μ
t
5
σ
t
5
;
-
t
1
t
2
,
t
2
t
3
,
t
3
t
4
,
-
t
4
t
5
-
exp
⁡
2
μ
h
5
-
h
3
+
h
1
σ
2
·
Φ
5
k
1
∧
h
2
-
2
h
1
-
μ
t
1
σ
t
1
,
k
2
∧
h
3
-
2
h
1
-
μ
t
2
σ
t
2
,
k
3
∧
h
4
-
2
h
3
+
2
h
1
+
μ
t
3
σ
t
3
,
k
4
∧
h
5
-
2
h
3
+
2
h
1
+
μ
t
4
σ
t
4
,
k
5
-
2
h
5
+
2
h
3
-
2
h
1
-
μ
t
5
σ
t
5
;
t
1
t
2
,
-
t
2
t
3
,
t
3
t
4
,
-
t
4
t
5
-
exp
⁡
2
μ
h
5
-
h
3
+
h
2
σ
2
·
Φ
5
k
1
∧
h
2
-
μ
t
1
σ
t
1
,
k
2
∧
h
3
-
2
h
2
-
μ
t
2
σ
t
2
,
k
3
∧
h
4
-
2
h
3
+
2
h
2
+
μ
t
3
σ
t
3
,
k
4
∧
h
5
-
2
h
3
+
2
h
2
+
μ
t
4
σ
t
4
,
k
5
-
2
h
5
+
2
h
3
-
2
h
2
-
μ
t
5
σ
t
5
;
t
1
t
2
,
-
t
2
t
3
,
t
3
t
4
,
-
t
4
t
5
-
exp
⁡
2
μ
h
5
-
h
4
+
h
1
σ
2
·
Φ
5
k
1
∧
h
2
-
2
h
1
-
μ
t
1
σ
t
1
,
k
2
∧
h
3
-
2
h
1
-
μ
t
2
σ
t
2
,
k
3
∧
h
4
-
2
h
1
-
μ
t
3
σ
t
3
,
k
4
∧
h
5
-
2
h
4
+
2
h
1
+
μ
t
4
σ
t
4
,
k
5
-
2
h
5
+
2
h
4
-
2
h
1
-
μ
t
5
σ
t
5
;
t
1
t
2
,
t
2
t
3
,
-
t
3
t
4
,
-
t
4
t
5
-
exp
⁡
2
μ
h
5
-
h
4
+
h
2
σ
2
·
Φ
5
k
1
∧
h
2
-
μ
t
1
σ
t
1
,
k
2
∧
h
3
-
2
h
2
-
μ
t
2
σ
t
2
,
k
3
∧
h
4
-
2
h
2
-
μ
t
3
σ
t
3
,
k
4
∧
h
5
-
2
h
4
+
2
h
2
+
μ
t
4
σ
t
4
,
k
5
-
2
h
5
+
2
h
4
-
2
h
2
-
μ
t
5
σ
t
5
;
t
1
t
2
,
t
2
t
3
,
-
t
3
t
4
,
-
t
4
t
5
-
exp
⁡
2
μ
h
5
-
h
4
+
h
3
σ
2
·
Φ
5
k
1
∧
h
2
-
μ
t
1
σ
t
1
,
k
2
∧
h
3
-
μ
t
2
σ
t
2
,
k
3
∧
h
4
-
2
h
3
-
μ
t
3
σ
t
3
,
k
4
∧
h
5
-
2
h
4
+
2
h
3
+
μ
t
4
σ
t
4
,
k
5
-
2
h
5
+
2
h
4
-
2
h
3
-
μ
t
5
σ
t
5
;
t
1
t
2
,
t
2
t
3
,
-
t
3
t
4
,
-
t
4
t
5
+
exp
⁡
2
μ
h
4
-
h
3
+
h
2
-
h
1
σ
2
·
Φ
5
k
1
∧
h
2
-
2
h
1
+
μ
t
1
σ
t
1
,
k
2
∧
h
3
-
2
h
2
+
2
h
1
-
μ
t
2
σ
t
2
,
k
3
∧
h
4
-
2
h
3
+
2
h
2
-
2
h
1
+
μ
t
3
σ
t
3
,
k
4
∧
h
5
-
2
h
4
+
2
h
3
-
2
h
2
+
2
h
1
-
μ
t
4
σ
t
4
,
k
5
-
2
h
4
+
2
h
3
-
2
h
2
+
2
h
1
-
μ
t
5
σ
t
5
;
-
t
1
t
2
,
-
t
2
t
3
,
-
t
3
t
4
,
t
4
t
5
+
exp
⁡
2
μ
h
5
-
h
3
+
h
2
-
h
1
σ
2
·
Φ
5
k
1
∧
h
2
-
2
h
1
+
μ
t
1
σ
t
1
,
k
2
∧
h
3
-
2
h
2
+
2
h
1
-
μ
t
2
σ
t
2
,
k
3
∧
h
4
-
2
h
3
+
2
h
2
-
2
h
1
+
μ
t
3
σ
t
3
,
k
4
∧
h
5
-
2
h
3
+
2
h
2
-
2
h
1
+
μ
t
4
σ
t
4
,
k
5
-
2
h
5
+
2
h
3
-
2
h
2
+
2
h
1
-
μ
t
5
σ
t
5
;
-
t
1
t
2
,
-
t
2
t
3
,
t
3
t
4
,
-
t
4
t
5
+
exp
⁡
2
μ
h
5
-
h
4
+
h
2
-
h
1
σ
2
·
Φ
5
k
1
∧
h
2
-
2
h
1
+
μ
t
1
σ
t
1
,
k
2
∧
h
3
-
2
h
2
+
2
h
1
-
μ
t
2
σ
t
2
,
k
3
∧
h
4
-
2
h
2
+
2
h
1
-
μ
t
3
σ
t
3
,
k
4
∧
h
5
-
2
h
4
+
2
h
2
-
2
h
1
+
μ
t
4
σ
t
4
,
k
5
-
2
h
5
+
2
h
4
-
2
h
2
+
2
h
1
-
μ
t
5
σ
t
5
;
-
t
1
t
2
,
t
2
t
3
,
-
t
3
t
4
,
-
t
4
t
5
+
exp
⁡
2
μ
h
5
-
h
4
+
h
3
-
h
1
σ
2
·
Φ
5
k
1
∧
h
2
-
2
h
1
+
μ
t
1
σ
t
1
,
k
2
∧
h
3
-
2
h
1
+
μ
t
2
σ
t
2
,
k
3
∧
h
4
-
2
h
3
+
2
h
1
-
μ
t
3
σ
t
3
,
k
4
∧
h
5
-
2
h
4
+
2
h
3
-
2
h
1
+
μ
t
4
σ
t
4
,
k
5
-
2
h
5
+
2
h
4
-
2
h
3
+
2
h
1
-
μ
t
5
σ
t
5
;
t
1
t
2
,
-
t
2
t
3
,
-
t
3
t
4
,
-
t
4
t
5
+
exp
⁡
2
μ
h
5
-
h
4
+
h
3
-
h
2
σ
2
·
Φ
5
k
1
∧
h
2
-
μ
t
1
σ
t
1
,
k
2
∧
h
3
-
2
h
2
+
μ
t
2
σ
t
2
,
k
3
∧
h
4
-
2
h
3
+
2
h
2
-
μ
t
3
σ
t
3
,
k
4
∧
h
5
-
2
h
4
+
2
h
3
-
2
h
2
+
μ
t
4
σ
t
4
,
k
5
-
2
h
5
+
2
h
4
-
2
h
3
+
2
h
2
-
μ
t
5
σ
t
5
;
-
t
1
t
2
,
-
t
2
t
3
,
-
t
3
t
4
,
-
t
4
t
5
-
exp
⁡
2
μ
h
5
-
h
4
+
h
3
-
h
2
+
h
1
σ
2
·
Φ
5
k
1
∧
h
2
-
2
h
1
-
μ
t
1
σ
t
1
,
k
2
∧
h
3
-
2
h
2
+
2
h
1
+
μ
t
2
σ
t
2
,
k
3
∧
h
4
-
2
h
3
+
2
h
2
-
2
h
1
-
μ
t
3
σ
t
3
,
k
4
∧
h
5
-
2
h
4
+
2
h
3
-
2
h
2
+
2
h
1
+
μ
t
4
σ
t
4
,
k
5
-
2
h
5
+
2
h
4
-
2
h
3
+
2
h
2
-
2
h
1
-
μ
t
5
σ
t
5
;
-
t
1
t
2
,
-
t
2
t
3
,
-
t
3
t
4
,
-
t
4
t
5
.The function Φ5· in Proposition 2 is a special 5-dimensional convolution of Gaussian densities defined by(21)Φ5b1,…,b5;ρ1,…,ρ4=∫Dexp⁡-x12/2-∑i=1n-1xi+1-ρixi2/21-ρi22πn/2∏i=1n-11-ρi2dx5⋯dx1,where(22)D=-∞,b1×⋯×-∞,b5.In other words, the function Φ5 is the integrated standardized version of the function fXt1,…,Xtnx1,…,xn given by (18) in dimension 5. The numerical dimension of this integral can be reduced by a factor of two by using the following identity: (23)Φ5b1,…,b5;ρ1,…,ρ4=18π3·∫x2=-∞b2∫x3=-∞b3-ρ2x2/1-ρ22∫x4=-∞b4-ρ3x31-ρ22+ρ2x2/1-ρ32exp⁡-x22+x32+x422Nb1-ρ1x21-ρ12Nb5-ρ4x41-ρ32+ρ3x31-ρ22+ρ2x21-ρ42·dx4dx3dx2,where the function N· is the usual univariate standard normal cumulative distribution function.The quality of the numerical integration scheme given in (23) was tested by applying a classical adaptive Gauss-Legendre quadrature, combined with a Kronrod rule to reduce the number of required iterations. These are standard numerical techniques and it is easy to find available code or built-in functions in the usual scientific computing software. When ρ2 or ρ3 is close to 1, the upper bounds of the x3- and the x4-integrals in (23) become very “large.” To avoid numerical errors, it is safe to prespecify a maximum value for all possible integral endpoints. Given the standard normal distribution of the integrands, bounding at an absolute value of 5 will entail loss of accuracy of no more than 10-8. As we did with Proposition 1, the results obtained by evaluating Proposition 2 were compared with a conditional Monte Carlo simulation scheme in which only the endpoint values of Xt in each time subinterval ti-1,ti, i∈1,…,5, are randomly drawn at each performed simulation; if the conditions at each ti are met, a cumulative variable then records the product of the conditional probabilities that the boundary has not been crossed in each ti-1,ti as given by (5). A set of 1,500 random lists of parameters σ, hi, ki, and ti were drawn. A minimum 10-5 level of convergence was always observed between the numerical integration of Proposition 2 and Monte Carlo simulation on condition that a sample of 25,000,000 simulations were carried out for each of the 1,500 randomly drawn lists of parameters, using the Mersenne Twister random number generator. On an ordinary personal PC, it takes approximately 0.02 second to compute function Φ5 by numerical integration, so that the total time required to compute Proposition 2, which involves 32 calls to function Φ5, is about one second. Having to perform 25,000,000 simulations, the observed average computational time required to approximate the probability given in Proposition 2 by Monte Carlo was over 20 minutes. More detailed numerical results are reported in Table 8.Table 8
Numerical comparison between Proposition2 and conditional Monte Carlo (CMC) approximation7.
Proposition2
CMC500,000
CMC5,000,000
CMC25,000,000
Average divergence (%)
0
0.57311
0.02378
0.00005
Maximum divergence (%)
0
1.09239
0.14412
0.00948
Computational time (seconds)
0.81
30.45
297.43
1436.76
7The average divergence is the average of the absolute values of the differences between Proposition 2 and CMC divided by Proposition 2 out of a sample of 1,500 lists of randomly drawn parameters.
The maximum divergence is the maximum of the absolute values of the differences between Proposition2 and CMC divided by Proposition 2 out of a sample of 1,500 lists of randomly drawn parameters.
Computational time is measured on an i3 2.5 Ghz processor.Let us now briefly measure the effect of introducing more steps in the boundary using Proposition2. Before numerical results are presented, it must be noticed that Proposition 2 nests an exact formula for the 5-dimensional survival probability when the boundary is downward, that is, for the following probability:(24)
P
inf
t
0
<
t
<
t
1
⁡
X
t
>
h
1
,
X
t
1
>
k
1
,
inf
t
1
<
t
<
t
2
⁡
X
t
>
h
2
,
X
t
2
>
k
2
,
inf
t
2
<
t
<
t
3
⁡
X
t
>
h
3
,
X
t
3
>
k
3
,
inf
t
3
<
t
<
t
4
⁡
X
t
>
h
4
,
X
t
4
>
k
4
,
inf
t
4
<
t
<
t
5
⁡
X
t
>
h
5
,
X
t
5
>
k
5
∀
h
1
>
0
,
k
1
≥
h
1
,
k
2
≥
h
2
,
k
3
≥
h
3
,
k
4
≥
h
4
,
k
5
≥
h
5
.Indeed, one can switch from the survival probability with an upward boundary to the survival probability with a downward boundary simply by multiplying each bi by the coefficient -1 and by taking ki∨hi instead of ki∧hi in each Φ5 function in Proposition 2; i∈1,2,3,4,5. Both lower and upper boundaries are thus taken into consideration in Table 9, the setting of which is similar to those of Tables 2 and 3, in order to allow for a meaningful comparison. In particular, the drift and volatility parameters are the same, and the weighted average of the steps is almost identical; but the total time 0,0.75 is now divided into five subintervals of equal length instead of three. As a result, the widening and the shrinking of the upper and of the lower boundaries are a little smoother than those in Tables 2 and 3; that is, there are slightly more frequent changes in the boundaries and these changes are slightly less abrupt. When comparing Table 9 on one hand and Tables 2 and 3 on the other hand, the most noticeable fact is the fact that the sensitivity of the survival probability with respect to the number of steps in the boundary now depends more apparently on volatility: a five-step boundary is less “risky” than a three-step one when volatility is low or intermediate but it is more “risky” when volatility is high, whether the boundary is upward or downward and whether it widens or shrinks. Besides, in a low volatility regime, the survival probability is higher when the boundary widens than when it shrinks, while the reverse holds in a high volatility regime, whether the boundary is upward or downward. That observation is in line with the findings derived from Tables 2 and 3.Table 9
Survival probability when the absorbing boundary includes five steps8.
σ
=
18
%
σ
=
36
%
σ
=
64
%
t
1
=
0.15
,
t
2
=
0.3
,
t
3
=
0.45
,
t
4
=
0.6
,
t
5
=
0.75 H1=132,H2=130,H3=128,H4=124,H5=120
0.7797497
0.5520988
0.3975464
t
1
=
0.15
,
t
2
=
0.3
,
t
3
=
0.45
,
t
4
=
0.6
,
t
5
=
0.75  H1=120,H2=124,H3=128,H4=130,H5=132
0.8931785
0.5632040
0.3420149
t
1
=
0.15
,
t
2
=
0.3
,
t
3
=
0.45
,
t
4
=
0.6
,
t
5
=
0.75 H1=68,H2=70,H3=72,H4=76,H5=80
0.8223448
0.5312413
0.3060088
t
1
=
0.15
,
t
2
=
0.3
,
t
3
=
0.45
,
t
4
=
0.6
,
t
5
=
0.75 H1=80,H2=76,H3=72,H4=70,H5=68
0.9677121
0.6234348
0.2883722
8All the values reported in this table are obtained by using Proposition 2 with S0=100, ν=3%, K1=H1,K2=H2,K3=H3,K4=H4, and K5=H5.Finally, in Table10, we compute the probabilities that the global maximum of St over t0,t5, denoted by S∗, lies within t0,t1 or t1,t2 or t2,t3 or t3,t4 or t4,t5, as we did in Table 4 when the total time interval was divided in three. The parameters are the same as in Table 4. The results in Table 10 are very similar to those in Table 4. When volatility is low, there is a concentration of probability mass at the end of the process lifetime and, to a slightly lesser extent, at its beginning. When volatility is high, the probability mass is located mostly at the beginning but remains significant at the end. The middle region is always the least likely outcome and its probability mass is strikingly stable, whatever the volatility level.Table 10
Distribution of the global maximum over the various time intervals as a function of volatility using Proposition29.
σ
=
18
%
σ
=
36
%
σ
=
64
%
P
S
∗
=
sup
⁡
0
≤
t
≤
t
1
S
t
0.27746
0.31857
0.36216
P
S
∗
=
sup
⁡
t
1
≤
t
≤
t
2
S
t
0.13694
0.14482
0.15128
P
S
∗
=
sup
⁡
t
2
≤
t
≤
t
3
S
t
0.12837
0.12831
0.12654
P
S
∗
=
sup
⁡
t
3
≤
t
≤
t
4
S
t
0.14396
0.13584
0.12672
P
S
∗
=
sup
⁡
t
4
≤
t
≤
t
5
S
t
0.31325
0.27243
0.23327
9The parameters used in this table are as follows: S0=100, ν=3%, t1=0.15, t2=0.3, t3=0.45, t4=0.6, and t5=0.75.


## 5. Extension to Two-Sided Boundaries

The method developed in this paper can also be applied to two-sided boundaries. This final section shows how to compute the survival probability when dealing with a two-sided two-step boundary. All assumptions and notations are identical as in the previous sections, except that the boundary now consists in the combination of an upper line segmenth1 and a lower line segment h2 during time interval 0,t1 and an upper line segment h3 and a lower line segment h4 during time interval t1,t2. In other words, the diffusion process Xt,t≥0 defined in (1) may be absorbed either from above or from below in each of the two successive time intervals. The following proposition provides a closed form formula for the survival probability in this particular case.Proposition 3.
LetXt,t≥0 be an arithmetic Brownian motion under a probability measure P, as defined in Section 1, and let(i)
h1, h2, h3, and h4 be four real constants such that h1>0, h2<0, and h3>h4,(ii)
k1 and k2 be two real constants such that k1>h2 and k2>h4,(iii)
u1=min⁡h1,k1,h3, u2=max⁡h2,h4, and u3=min⁡h3,k2,(iv)
t1 and t2 be two nonrandom times such that t2≥t1≥0.Then, (25)
P
sup
0
≤
t
≤
t
1
⁡
X
t
≤
h
1
,
inf
0
≤
t
≤
t
1
⁡
X
t
≥
h
2
,
X
t
1
≤
k
1
,
sup
t
1
≤
t
≤
t
2
⁡
X
t
≤
h
3
,
inf
t
1
≤
t
≤
t
2
⁡
X
t
≥
h
4
,
X
t
2
≤
k
2
=
∑
m
=
-
∞
∞
∑
n
=
-
∞
∞
exp
⁡
2
μ
σ
2
m
h
1
-
h
2
+
n
h
3
-
h
4
·
N
2
u
1
-
2
m
h
1
-
h
2
-
μ
t
1
σ
t
1
,
u
3
-
2
n
h
3
-
h
4
-
2
m
h
1
-
h
2
-
μ
t
2
σ
t
2
;
t
1
t
2
-
N
2
u
2
-
2
m
h
1
-
h
2
-
μ
t
1
σ
t
1
,
u
3
-
2
n
h
3
-
h
4
-
2
m
h
1
-
h
2
-
μ
t
2
σ
t
2
;
t
1
t
2
-
N
2
u
1
-
2
m
h
1
-
h
2
-
μ
t
1
σ
t
1
,
h
4
-
2
n
h
3
-
h
4
-
2
m
h
1
-
h
2
-
μ
t
2
σ
t
2
;
t
1
t
2
+
N
2
u
2
-
2
m
h
1
-
h
2
-
μ
t
1
σ
t
1
,
h
4
-
2
n
h
3
-
h
4
-
2
m
h
1
-
h
2
-
μ
t
2
σ
t
2
;
t
1
t
2
-
∑
m
=
-
∞
∞
∑
n
=
-
∞
∞
exp
⁡
2
μ
σ
2
h
2
-
m
h
1
-
h
2
+
n
h
3
-
h
4
·
N
2
u
1
-
2
h
2
+
2
m
h
1
-
h
2
-
μ
t
1
σ
t
1
,
u
3
-
2
h
2
-
2
n
h
3
-
h
4
+
2
m
h
1
-
h
2
-
μ
t
2
σ
t
2
;
t
1
t
2
-
N
2
u
2
-
2
h
2
+
2
m
h
1
-
h
2
-
μ
t
1
σ
t
1
,
u
3
-
2
h
2
-
2
n
h
3
-
h
4
+
2
m
h
1
-
h
2
-
μ
t
2
σ
t
2
;
t
1
t
2
-
N
2
u
1
-
2
h
2
+
2
m
h
1
-
h
2
-
μ
t
1
σ
t
1
,
h
4
-
2
h
2
-
2
n
h
3
-
h
4
+
2
m
h
1
-
h
2
-
μ
t
2
σ
t
2
;
t
1
t
2
+
N
2
u
2
-
2
h
2
+
2
m
h
1
-
h
2
-
μ
t
1
σ
t
1
,
h
4
-
2
h
2
-
2
n
h
3
-
h
4
+
2
m
h
1
-
h
2
-
μ
t
2
σ
t
2
;
t
1
t
2
-
∑
m
=
-
∞
∞
∑
n
=
-
∞
∞
exp
⁡
2
μ
σ
2
h
4
-
m
h
1
-
h
2
-
n
h
3
-
h
4
·
N
2
u
1
-
2
m
h
1
-
h
2
+
μ
t
1
σ
t
1
,
u
3
-
2
h
4
+
2
n
h
3
-
h
4
+
2
m
h
1
-
h
2
-
μ
t
2
σ
t
2
;
-
t
1
t
2
-
N
2
u
2
-
2
m
h
1
-
h
2
+
μ
t
1
σ
t
1
,
u
3
-
2
h
4
+
2
n
h
3
-
h
4
+
2
m
h
1
-
h
2
-
μ
t
2
σ
t
2
;
-
t
1
t
2
-
N
2
u
1
-
2
m
h
1
-
h
2
+
μ
t
1
σ
t
1
,
-
h
4
+
2
n
h
3
-
h
4
+
2
m
h
1
-
h
2
-
μ
t
2
σ
t
2
;
-
t
1
t
2
+
N
2
u
2
-
2
m
h
1
-
h
2
+
μ
t
1
σ
t
1
,
-
h
4
+
2
n
h
3
-
h
4
+
2
m
h
1
-
h
2
-
μ
t
2
σ
t
2
;
-
t
1
t
2
+
∑
m
=
-
∞
∞
∑
n
=
-
∞
∞
exp
⁡
2
μ
σ
2
h
4
-
h
2
+
m
h
1
-
h
2
-
n
h
3
-
h
4
·
N
2
u
1
-
2
h
2
+
2
m
h
1
-
h
2
+
μ
t
1
σ
t
1
,
u
3
-
2
h
4
+
2
h
2
+
2
n
h
3
-
h
4
-
2
m
h
1
-
h
2
-
μ
t
2
σ
t
2
;
-
t
1
t
2
-
N
2
u
2
-
2
h
2
+
2
m
h
1
-
h
2
+
μ
t
1
σ
t
1
,
u
3
-
2
h
4
+
2
h
2
+
2
n
h
3
-
h
4
-
2
m
h
1
-
h
2
-
μ
t
2
σ
t
2
;
-
t
1
t
2
-
N
2
u
1
-
2
h
2
+
2
m
h
1
-
h
2
+
μ
t
1
σ
t
1
,
-
h
4
+
2
h
2
+
2
n
h
3
-
h
4
-
2
m
h
1
-
h
2
-
μ
t
2
σ
t
2
;
-
t
1
t
2
+
N
2
u
2
-
2
h
2
+
2
m
h
1
-
h
2
+
μ
t
1
σ
t
1
,
-
h
4
+
2
h
2
+
2
n
h
3
-
h
4
-
2
m
h
1
-
h
2
-
μ
t
2
σ
t
2
;
-
t
1
t
2
,where N2·,·;ρ is the bivariate standard normal cumulative distribution function with correlation coefficient ρ, which can be numerically evaluated with double precision and in less than 1/100 second using the algorithm by Genz [17]. Notice that an elementary modification of Proposition 3 provides the corresponding survival probability for a geometric Brownian motion similar to the case of one-sided boundaries in Section 3. Indeed, if Xt,t≥0 is driven by(26)dXt=μXtdt+σXtdBtunder the probability measure P, then, to obtain the survival probability(27)
P
sup
0
≤
t
≤
t
1
⁡
X
t
≤
H
1
,
inf
0
≤
t
≤
t
1
⁡
X
t
≥
H
2
,
X
t
1
≤
K
1
,
sup
t
1
≤
t
≤
t
2
⁡
X
t
≤
H
3
,
inf
t
1
≤
t
≤
t
2
⁡
X
t
≥
H
4
,
X
t
2
≤
K
2
,where H1, H2, H3, H4, K1, and K2 are all positive and H1>X0, H2<X0, H3>H4, K1>H2, and K2>H4, it suffices to apply the following substitutions in Proposition 3:(28)hi=ln⁡HiX0,ki=ln⁡KiX0,μ=μ-σ22as shown by an elementary application of Ito’s lemma to lnXt/X0.From a numerical standpoint, the double infinite series can be truncated in a simple manner by setting a convergence threshold such that no further terms are added once the difference between two successive finite sums of the double series becomes smaller than that prespecified level. A small number of terms in the infinite series will suffice to achieve adequate convergence for most practical purposes, so that the computational time implied by Proposition3 will typically be around one second on an ordinary personal computer.Proof of Proposition3.
As a detailed proof of Proposition3 is quite cumbersome, only the structure of the proof is given here; a detailed proof is available from the author upon request.
By conditioning onXt1 and Xt2 and by using the weak Markov property of the process Xt,t≥0, the sought probability, denoted by p, can be written as the solution of the following integration problem:(29)p=∫u2u1∫h4u3f1x1,x2f2x1f3x1,x2dx2dx1,where(30)
f
1
x
1
,
x
2
=
P
X
t
1
∈
d
x
1
,
X
t
2
∈
d
x
2
,
f
2
x
1
=
P
sup
0
≤
t
≤
t
1
⁡
X
t
≤
h
1
,
inf
0
≤
t
≤
t
1
⁡
X
t
≥
h
2
∣
X
t
1
∈
d
x
1
,
f
3
x
1
,
x
2
=
P
sup
t
1
≤
t
≤
t
2
⁡
X
t
≤
h
3
,
inf
t
1
≤
t
≤
t
2
⁡
X
t
≥
h
4
∣
X
t
1
∈
d
x
1
,
X
t
2
∈
d
x
2
.The pair Xt1,Xt2 follows a bivariate normal distribution, so the function f1x1,x2 is known.To obtainf2x1 and f3x1,x2, one needs the following lemma.Lemma 4.
Letq be the conditional probability defined by (31)
q
=
P
sup
t
i
≤
t
≤
t
j
⁡
X
t
≤
b
,
inf
t
i
≤
t
≤
t
j
⁡
X
t
≥
a
∣
X
t
i
∈
d
x
i
,
X
t
j
∈
d
x
j
,where xi,xj,a, and b are real constants such that b>a, b≥xi>a, and b≥xj>a, and ti and tj are two nonrandom times such that tj≥ti>0.
Then,(32)q=∑n=-∞∞exp⁡2nb-axj-xi-nb-aσ2tj-ti-∑n=-∞∞exp⁡2b-xi-nb-axj-b+nb-aσ2tj-ti.To provide an outline of proof of Lemma 4, let us consider the following cumulative distribution function, denoted by φ: (33)
φ
=
P
X
t
i
≤
x
i
,
sup
t
i
≤
t
≤
t
j
⁡
X
t
≤
b
,
inf
t
i
≤
t
≤
t
j
⁡
X
t
≥
a
,
X
t
j
≤
x
j
.φ can be expressed as the solution of the following integration problem: (34)φ=∫axig1yg2ydy,where(35)
g
1
y
=
P
X
t
i
∈
d
y
,
g
2
y
=
P
sup
t
i
≤
t
≤
t
j
⁡
X
t
≤
b
,
inf
t
i
≤
t
≤
t
j
⁡
X
t
≥
a
,
X
t
j
≤
x
j
∣
X
t
i
∈
d
y
.The function g1y is just a normal density function. By integrating the classical formula for the joint distribution of the maximum, the minimum, and the endpoint of a Brownian motion on a closed time interval (Cox and Miller [19]), it can be shown that the function g2y is equal to(36)
g
2
y
=
∑
n
=
-
∞
∞
exp
⁡
2
n
μ
b
-
a
σ
2
·
N
x
j
-
y
-
μ
t
j
-
t
i
-
2
n
b
-
a
σ
t
j
-
t
i
-
N
a
-
y
-
μ
t
j
-
t
i
-
2
n
b
-
a
σ
t
j
-
t
i
-
∑
n
=
-
∞
∞
exp
⁡
2
μ
a
-
y
-
n
b
-
a
σ
2
·
N
x
j
-
2
a
+
y
-
μ
t
j
-
t
i
+
2
n
b
-
a
σ
t
j
-
t
i
-
N
-
a
+
y
-
μ
t
j
-
t
i
+
2
n
b
-
a
σ
t
j
-
t
i
,where N· is the univariate standard normal cumulative distribution function.Pluggingg1y and g2y in (34), φ can be obtained in closed form as an infinite series of a linear combination of eight bivariate standard normal cumulative distribution functions. Differentiating φ with respect to xi and then with respect to xj and dividing the resulting quantity by PXti∈dxi,Xtj∈dxj yield Lemma 4.Once endowed with Lemma4, the functions f2x1 and f3x1,x2 can be plugged in (29). The rest of the proof consists in performing the necessary calculations to solve (29) in closed form and thus obtain Proposition 3.


## 6. Conclusion

In this paper, closed form solutions are obtained for the survival probability of an arithmetic or a geometric Brownian motion when the boundary is a step function. Although only up to five steps are considered, it is a straightforward extension to write down formulae when the boundary includes more than five steps. However, the obtained results are too cumbersome to be printed in Journal format. Numerical testing was carried out and showed that it was still possible to achieve an excellent level of accuracy and efficiency, for all practical purposes, when the required numerical integration is performed in dimension seven. In “much” higher dimensions, the numerical integration required by analytical formulae such as the ones provided in this paper may not be competitive with regard to a conditional Monte Carlo simulation scheme, as the efficiency of the latter decreases only linearly with dimension. Nonetheless, exact results obtained with a formula for a smaller number of steps will still be very useful as control variates allowing for a substantial variance reduction of the Monte Carlo approximation.



---

*Source: 391681-2015-09-09.xml*