211
Lectures on Lévy Processes and Stochastic Calculus (Koc University) Lecture 2: Lévy Processes David Applebaum School of Mathematics and Statistics, University of Sheffield, UK 6th December 2011 Dave Applebaum (Sheffield UK) Lecture 2 December 2011 1 / 56

Koc2(dba)

Embed Size (px)

DESCRIPTION

 

Citation preview

Page 1: Koc2(dba)

Lectures on Lévy Processes and StochasticCalculus (Koc University)

Lecture 2: Lévy Processes

David Applebaum

School of Mathematics and Statistics, University of Sheffield, UK

6th December 2011

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 1 / 56

Page 2: Koc2(dba)

Definition: Lévy Process

Let X = (X (t), t ≥ 0) be a stochastic process defined on a probabilityspace (Ω,F ,P).

We say that it has independent increments if for each n ∈ N and each0 ≤ t1 < t2 < · · · < tn+1 <∞, the random variables

(X (tj+1)− X (tj),1 ≤ j ≤ n) are independent

and it has stationary increments if eachX (tj+1)− X (tj)

d= X (tj+1 − tj)− X (0).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 2 / 56

Page 3: Koc2(dba)

Definition: Lévy Process

Let X = (X (t), t ≥ 0) be a stochastic process defined on a probabilityspace (Ω,F ,P).

We say that it has independent increments if for each n ∈ N and each0 ≤ t1 < t2 < · · · < tn+1 <∞, the random variables

(X (tj+1)− X (tj),1 ≤ j ≤ n) are independent

and it has stationary increments if eachX (tj+1)− X (tj)

d= X (tj+1 − tj)− X (0).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 2 / 56

Page 4: Koc2(dba)

Definition: Lévy Process

Let X = (X (t), t ≥ 0) be a stochastic process defined on a probabilityspace (Ω,F ,P).

We say that it has independent increments if for each n ∈ N and each0 ≤ t1 < t2 < · · · < tn+1 <∞, the random variables

(X (tj+1)− X (tj),1 ≤ j ≤ n) are independent

and it has stationary increments if eachX (tj+1)− X (tj)

d= X (tj+1 − tj)− X (0).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 2 / 56

Page 5: Koc2(dba)

We say that X is a Lévy process if

(L1) Each X (0) = 0 (a.s),

(L2) X has independent and stationary increments,

(L3) X is stochastically continuous i.e. for all a > 0 and for all s ≥ 0,

limt→s

P(|X (t)− X (s)| > a) = 0.

Note that in the presence of (L1) and (L2), (L3) is equivalent to thecondition

limt↓0

P(|X (t)| > a) = 0.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 3 / 56

Page 6: Koc2(dba)

We say that X is a Lévy process if

(L1) Each X (0) = 0 (a.s),

(L2) X has independent and stationary increments,

(L3) X is stochastically continuous i.e. for all a > 0 and for all s ≥ 0,

limt→s

P(|X (t)− X (s)| > a) = 0.

Note that in the presence of (L1) and (L2), (L3) is equivalent to thecondition

limt↓0

P(|X (t)| > a) = 0.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 3 / 56

Page 7: Koc2(dba)

We say that X is a Lévy process if

(L1) Each X (0) = 0 (a.s),

(L2) X has independent and stationary increments,

(L3) X is stochastically continuous i.e. for all a > 0 and for all s ≥ 0,

limt→s

P(|X (t)− X (s)| > a) = 0.

Note that in the presence of (L1) and (L2), (L3) is equivalent to thecondition

limt↓0

P(|X (t)| > a) = 0.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 3 / 56

Page 8: Koc2(dba)

We say that X is a Lévy process if

(L1) Each X (0) = 0 (a.s),

(L2) X has independent and stationary increments,

(L3) X is stochastically continuous i.e. for all a > 0 and for all s ≥ 0,

limt→s

P(|X (t)− X (s)| > a) = 0.

Note that in the presence of (L1) and (L2), (L3) is equivalent to thecondition

limt↓0

P(|X (t)| > a) = 0.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 3 / 56

Page 9: Koc2(dba)

The sample paths of a process are the maps t → X (t)(ω) from R+ toRd , for each ω ∈ Ω.

We are now going to explore the relationship between Lévy processesand infinite divisibility.

Theorem

If X is a Lévy process, then X (t) is infinitely divisible for each t ≥ 0.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 4 / 56

Page 10: Koc2(dba)

The sample paths of a process are the maps t → X (t)(ω) from R+ toRd , for each ω ∈ Ω.

We are now going to explore the relationship between Lévy processesand infinite divisibility.

Theorem

If X is a Lévy process, then X (t) is infinitely divisible for each t ≥ 0.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 4 / 56

Page 11: Koc2(dba)

The sample paths of a process are the maps t → X (t)(ω) from R+ toRd , for each ω ∈ Ω.

We are now going to explore the relationship between Lévy processesand infinite divisibility.

Theorem

If X is a Lévy process, then X (t) is infinitely divisible for each t ≥ 0.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 4 / 56

Page 12: Koc2(dba)

Proof. For each n ∈ N, we can write

X (t) = Y (n)1 (t) + · · ·+ Y (n)

n (t)

where each Y (n)k (t) = X (kt

n )− X ( (k−1)tn ).

The Y (n)k (t)’s are i.i.d. by (L2). 2

From Lecture 1 we can write φX(t)(u) = eη(t ,u) for each t ≥ 0,u ∈ Rd ,where each η(t , ·) is a Lévy symbol.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 5 / 56

Page 13: Koc2(dba)

Proof. For each n ∈ N, we can write

X (t) = Y (n)1 (t) + · · ·+ Y (n)

n (t)

where each Y (n)k (t) = X (kt

n )− X ( (k−1)tn ).

The Y (n)k (t)’s are i.i.d. by (L2). 2

From Lecture 1 we can write φX(t)(u) = eη(t ,u) for each t ≥ 0,u ∈ Rd ,where each η(t , ·) is a Lévy symbol.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 5 / 56

Page 14: Koc2(dba)

Proof. For each n ∈ N, we can write

X (t) = Y (n)1 (t) + · · ·+ Y (n)

n (t)

where each Y (n)k (t) = X (kt

n )− X ( (k−1)tn ).

The Y (n)k (t)’s are i.i.d. by (L2). 2

From Lecture 1 we can write φX(t)(u) = eη(t ,u) for each t ≥ 0,u ∈ Rd ,where each η(t , ·) is a Lévy symbol.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 5 / 56

Page 15: Koc2(dba)

Theorem

If X is a Lévy process, then

φX(t)(u) = etη(u),

for each u ∈ Rd , t ≥ 0, where η is the Lévy symbol of X (1).

Proof. Suppose that X is a Lévy process and for each u ∈ Rd , t ≥ 0,define φu(t) = φX(t)(u)then by (L2) we have for all s ≥ 0,

φu(t + s) = E(ei(u,X(t+s)))

= E(ei(u,X(t+s)−X(s))ei(u,X(s)))

= E(ei(u,X(t+s)−X(s)))E(ei(u,X(s)))

= φu(t)φu(s) . . . (i)

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 6 / 56

Page 16: Koc2(dba)

Theorem

If X is a Lévy process, then

φX(t)(u) = etη(u),

for each u ∈ Rd , t ≥ 0, where η is the Lévy symbol of X (1).

Proof. Suppose that X is a Lévy process and for each u ∈ Rd , t ≥ 0,define φu(t) = φX(t)(u)then by (L2) we have for all s ≥ 0,

φu(t + s) = E(ei(u,X(t+s)))

= E(ei(u,X(t+s)−X(s))ei(u,X(s)))

= E(ei(u,X(t+s)−X(s)))E(ei(u,X(s)))

= φu(t)φu(s) . . . (i)

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 6 / 56

Page 17: Koc2(dba)

Theorem

If X is a Lévy process, then

φX(t)(u) = etη(u),

for each u ∈ Rd , t ≥ 0, where η is the Lévy symbol of X (1).

Proof. Suppose that X is a Lévy process and for each u ∈ Rd , t ≥ 0,define φu(t) = φX(t)(u)then by (L2) we have for all s ≥ 0,

φu(t + s) = E(ei(u,X(t+s)))

= E(ei(u,X(t+s)−X(s))ei(u,X(s)))

= E(ei(u,X(t+s)−X(s)))E(ei(u,X(s)))

= φu(t)φu(s) . . . (i)

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 6 / 56

Page 18: Koc2(dba)

Theorem

If X is a Lévy process, then

φX(t)(u) = etη(u),

for each u ∈ Rd , t ≥ 0, where η is the Lévy symbol of X (1).

Proof. Suppose that X is a Lévy process and for each u ∈ Rd , t ≥ 0,define φu(t) = φX(t)(u)then by (L2) we have for all s ≥ 0,

φu(t + s) = E(ei(u,X(t+s)))

= E(ei(u,X(t+s)−X(s))ei(u,X(s)))

= E(ei(u,X(t+s)−X(s)))E(ei(u,X(s)))

= φu(t)φu(s) . . . (i)

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 6 / 56

Page 19: Koc2(dba)

Theorem

If X is a Lévy process, then

φX(t)(u) = etη(u),

for each u ∈ Rd , t ≥ 0, where η is the Lévy symbol of X (1).

Proof. Suppose that X is a Lévy process and for each u ∈ Rd , t ≥ 0,define φu(t) = φX(t)(u)then by (L2) we have for all s ≥ 0,

φu(t + s) = E(ei(u,X(t+s)))

= E(ei(u,X(t+s)−X(s))ei(u,X(s)))

= E(ei(u,X(t+s)−X(s)))E(ei(u,X(s)))

= φu(t)φu(s) . . . (i)

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 6 / 56

Page 20: Koc2(dba)

Theorem

If X is a Lévy process, then

φX(t)(u) = etη(u),

for each u ∈ Rd , t ≥ 0, where η is the Lévy symbol of X (1).

Proof. Suppose that X is a Lévy process and for each u ∈ Rd , t ≥ 0,define φu(t) = φX(t)(u)then by (L2) we have for all s ≥ 0,

φu(t + s) = E(ei(u,X(t+s)))

= E(ei(u,X(t+s)−X(s))ei(u,X(s)))

= E(ei(u,X(t+s)−X(s)))E(ei(u,X(s)))

= φu(t)φu(s) . . . (i)

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 6 / 56

Page 21: Koc2(dba)

x

Now φu(0) = 1 . . . (ii) by (L1), and the map t → φu(t) is continuous.However the unique continuous solution to (i) and (ii) is given byφu(t) = etα(u), where α : Rd → C. Now by Theorem 1, X (1) is infinitelydivisible, hence α is a Lévy symbol and the result follows.2

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 7 / 56

Page 22: Koc2(dba)

x

Now φu(0) = 1 . . . (ii) by (L1), and the map t → φu(t) is continuous.However the unique continuous solution to (i) and (ii) is given byφu(t) = etα(u), where α : Rd → C. Now by Theorem 1, X (1) is infinitelydivisible, hence α is a Lévy symbol and the result follows.2

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 7 / 56

Page 23: Koc2(dba)

x

Now φu(0) = 1 . . . (ii) by (L1), and the map t → φu(t) is continuous.However the unique continuous solution to (i) and (ii) is given byφu(t) = etα(u), where α : Rd → C. Now by Theorem 1, X (1) is infinitelydivisible, hence α is a Lévy symbol and the result follows.2

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 7 / 56

Page 24: Koc2(dba)

x

Now φu(0) = 1 . . . (ii) by (L1), and the map t → φu(t) is continuous.However the unique continuous solution to (i) and (ii) is given byφu(t) = etα(u), where α : Rd → C. Now by Theorem 1, X (1) is infinitelydivisible, hence α is a Lévy symbol and the result follows.2

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 7 / 56

Page 25: Koc2(dba)

x

Now φu(0) = 1 . . . (ii) by (L1), and the map t → φu(t) is continuous.However the unique continuous solution to (i) and (ii) is given byφu(t) = etα(u), where α : Rd → C. Now by Theorem 1, X (1) is infinitelydivisible, hence α is a Lévy symbol and the result follows.2

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 7 / 56

Page 26: Koc2(dba)

We now have the Lévy-Khinchine formula for a Lévyprocess X = (X (t), t ≥ 0):-

E(ei(u,X(t))) = exp(

t[i(b,u)− 1

2(u,Au)

+

∫Rd−0

(ei(u,y) − 1− i(u, y)1B(y))ν(dy)

]),(2.1)

for each t ≥ 0,u ∈ Rd , where (b,A, ν) are the characteristics of X (1).We will define the Lévy symbol and the characteristics of a Lévyprocess X to be those of the random variable X (1). We will sometimeswrite the former as ηX when we want to emphasise that it belongs tothe process X .

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 8 / 56

Page 27: Koc2(dba)

We now have the Lévy-Khinchine formula for a Lévyprocess X = (X (t), t ≥ 0):-

E(ei(u,X(t))) = exp(

t[i(b,u)− 1

2(u,Au)

+

∫Rd−0

(ei(u,y) − 1− i(u, y)1B(y))ν(dy)

]),(2.1)

for each t ≥ 0,u ∈ Rd , where (b,A, ν) are the characteristics of X (1).We will define the Lévy symbol and the characteristics of a Lévyprocess X to be those of the random variable X (1). We will sometimeswrite the former as ηX when we want to emphasise that it belongs tothe process X .

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 8 / 56

Page 28: Koc2(dba)

We now have the Lévy-Khinchine formula for a Lévyprocess X = (X (t), t ≥ 0):-

E(ei(u,X(t))) = exp(

t[i(b,u)− 1

2(u,Au)

+

∫Rd−0

(ei(u,y) − 1− i(u, y)1B(y))ν(dy)

]),(2.1)

for each t ≥ 0,u ∈ Rd , where (b,A, ν) are the characteristics of X (1).We will define the Lévy symbol and the characteristics of a Lévyprocess X to be those of the random variable X (1). We will sometimeswrite the former as ηX when we want to emphasise that it belongs tothe process X .

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 8 / 56

Page 29: Koc2(dba)

Let pt be the law of X (t), for each t ≥ 0. By (L2), we have for alls, t ≥ 0 that:

pt+s = pt ∗ ps.

By (L3), we have ptw→ δ0 as t → 0, i.e. limt→0 f (x)pt (dx) = f (0).

(pt , t ≥ 0) is a weakly continuous convolution semigroup of probabilitymeasures on Rd .

Conversely, given any such semigroup, we can always construct aLévy process on path space via Kolmogorov’s construction.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 9 / 56

Page 30: Koc2(dba)

Let pt be the law of X (t), for each t ≥ 0. By (L2), we have for alls, t ≥ 0 that:

pt+s = pt ∗ ps.

By (L3), we have ptw→ δ0 as t → 0, i.e. limt→0 f (x)pt (dx) = f (0).

(pt , t ≥ 0) is a weakly continuous convolution semigroup of probabilitymeasures on Rd .

Conversely, given any such semigroup, we can always construct aLévy process on path space via Kolmogorov’s construction.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 9 / 56

Page 31: Koc2(dba)

Let pt be the law of X (t), for each t ≥ 0. By (L2), we have for alls, t ≥ 0 that:

pt+s = pt ∗ ps.

By (L3), we have ptw→ δ0 as t → 0, i.e. limt→0 f (x)pt (dx) = f (0).

(pt , t ≥ 0) is a weakly continuous convolution semigroup of probabilitymeasures on Rd .

Conversely, given any such semigroup, we can always construct aLévy process on path space via Kolmogorov’s construction.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 9 / 56

Page 32: Koc2(dba)

Let pt be the law of X (t), for each t ≥ 0. By (L2), we have for alls, t ≥ 0 that:

pt+s = pt ∗ ps.

By (L3), we have ptw→ δ0 as t → 0, i.e. limt→0 f (x)pt (dx) = f (0).

(pt , t ≥ 0) is a weakly continuous convolution semigroup of probabilitymeasures on Rd .

Conversely, given any such semigroup, we can always construct aLévy process on path space via Kolmogorov’s construction.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 9 / 56

Page 33: Koc2(dba)

Let pt be the law of X (t), for each t ≥ 0. By (L2), we have for alls, t ≥ 0 that:

pt+s = pt ∗ ps.

By (L3), we have ptw→ δ0 as t → 0, i.e. limt→0 f (x)pt (dx) = f (0).

(pt , t ≥ 0) is a weakly continuous convolution semigroup of probabilitymeasures on Rd .

Conversely, given any such semigroup, we can always construct aLévy process on path space via Kolmogorov’s construction.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 9 / 56

Page 34: Koc2(dba)

Informally, we have the following asymptotic relationship between thelaw of a Lévy process and its Lévy measure:

ν = limt↓0

pt

t.

More precisely

limt↓0

1t

∫Rd

f (x)pt (dx) =

∫Rd

f (x)ν(dx), (2.2)

for bounded, continuous functions f which vanish in someneighborhood of the origin.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 10 / 56

Page 35: Koc2(dba)

Informally, we have the following asymptotic relationship between thelaw of a Lévy process and its Lévy measure:

ν = limt↓0

pt

t.

More precisely

limt↓0

1t

∫Rd

f (x)pt (dx) =

∫Rd

f (x)ν(dx), (2.2)

for bounded, continuous functions f which vanish in someneighborhood of the origin.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 10 / 56

Page 36: Koc2(dba)

Informally, we have the following asymptotic relationship between thelaw of a Lévy process and its Lévy measure:

ν = limt↓0

pt

t.

More precisely

limt↓0

1t

∫Rd

f (x)pt (dx) =

∫Rd

f (x)ν(dx), (2.2)

for bounded, continuous functions f which vanish in someneighborhood of the origin.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 10 / 56

Page 37: Koc2(dba)

Examples of Lévy Processes

Example 1, Brownian Motion and Gaussian Processes

A (standard) Brownian motion in Rd is a Lévy processB = (B(t), t ≥ 0) for which

(B1) B(t) ∼ N(0, tI) for each t ≥ 0,(B2) B has continuous sample paths.

It follows immediately from (B1) that if B is a standard Brownianmotion, then its characteristic function is given by

φB(t)(u) = exp−12

t |u|2,

for each u ∈ Rd , t ≥ 0.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 11 / 56

Page 38: Koc2(dba)

Examples of Lévy Processes

Example 1, Brownian Motion and Gaussian Processes

A (standard) Brownian motion in Rd is a Lévy processB = (B(t), t ≥ 0) for which

(B1) B(t) ∼ N(0, tI) for each t ≥ 0,(B2) B has continuous sample paths.

It follows immediately from (B1) that if B is a standard Brownianmotion, then its characteristic function is given by

φB(t)(u) = exp−12

t |u|2,

for each u ∈ Rd , t ≥ 0.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 11 / 56

Page 39: Koc2(dba)

Examples of Lévy Processes

Example 1, Brownian Motion and Gaussian Processes

A (standard) Brownian motion in Rd is a Lévy processB = (B(t), t ≥ 0) for which

(B1) B(t) ∼ N(0, tI) for each t ≥ 0,(B2) B has continuous sample paths.

It follows immediately from (B1) that if B is a standard Brownianmotion, then its characteristic function is given by

φB(t)(u) = exp−12

t |u|2,

for each u ∈ Rd , t ≥ 0.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 11 / 56

Page 40: Koc2(dba)

Examples of Lévy Processes

Example 1, Brownian Motion and Gaussian Processes

A (standard) Brownian motion in Rd is a Lévy processB = (B(t), t ≥ 0) for which

(B1) B(t) ∼ N(0, tI) for each t ≥ 0,(B2) B has continuous sample paths.

It follows immediately from (B1) that if B is a standard Brownianmotion, then its characteristic function is given by

φB(t)(u) = exp−12

t |u|2,

for each u ∈ Rd , t ≥ 0.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 11 / 56

Page 41: Koc2(dba)

We introduce the marginal processes Bi = (Bi(t), t ≥ 0) where eachBi(t) is the i th component of B(t), then it is not difficult to verify that theBi ’s are mutually independent Brownian motions in R. We will callthese one-dimensional Brownian motions in the sequel.Brownian motion has been the most intensively studied Lévy process.In the early years of the twentieth century, it was introduced as amodel for the physical phenomenon of Brownian motion by Einsteinand Smoluchowski and as a description of the dynamical evolution ofstock prices by Bachelier.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 12 / 56

Page 42: Koc2(dba)

We introduce the marginal processes Bi = (Bi(t), t ≥ 0) where eachBi(t) is the i th component of B(t), then it is not difficult to verify that theBi ’s are mutually independent Brownian motions in R. We will callthese one-dimensional Brownian motions in the sequel.Brownian motion has been the most intensively studied Lévy process.In the early years of the twentieth century, it was introduced as amodel for the physical phenomenon of Brownian motion by Einsteinand Smoluchowski and as a description of the dynamical evolution ofstock prices by Bachelier.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 12 / 56

Page 43: Koc2(dba)

We introduce the marginal processes Bi = (Bi(t), t ≥ 0) where eachBi(t) is the i th component of B(t), then it is not difficult to verify that theBi ’s are mutually independent Brownian motions in R. We will callthese one-dimensional Brownian motions in the sequel.Brownian motion has been the most intensively studied Lévy process.In the early years of the twentieth century, it was introduced as amodel for the physical phenomenon of Brownian motion by Einsteinand Smoluchowski and as a description of the dynamical evolution ofstock prices by Bachelier.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 12 / 56

Page 44: Koc2(dba)

We introduce the marginal processes Bi = (Bi(t), t ≥ 0) where eachBi(t) is the i th component of B(t), then it is not difficult to verify that theBi ’s are mutually independent Brownian motions in R. We will callthese one-dimensional Brownian motions in the sequel.Brownian motion has been the most intensively studied Lévy process.In the early years of the twentieth century, it was introduced as amodel for the physical phenomenon of Brownian motion by Einsteinand Smoluchowski and as a description of the dynamical evolution ofstock prices by Bachelier.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 12 / 56

Page 45: Koc2(dba)

We introduce the marginal processes Bi = (Bi(t), t ≥ 0) where eachBi(t) is the i th component of B(t), then it is not difficult to verify that theBi ’s are mutually independent Brownian motions in R. We will callthese one-dimensional Brownian motions in the sequel.Brownian motion has been the most intensively studied Lévy process.In the early years of the twentieth century, it was introduced as amodel for the physical phenomenon of Brownian motion by Einsteinand Smoluchowski and as a description of the dynamical evolution ofstock prices by Bachelier.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 12 / 56

Page 46: Koc2(dba)

We introduce the marginal processes Bi = (Bi(t), t ≥ 0) where eachBi(t) is the i th component of B(t), then it is not difficult to verify that theBi ’s are mutually independent Brownian motions in R. We will callthese one-dimensional Brownian motions in the sequel.Brownian motion has been the most intensively studied Lévy process.In the early years of the twentieth century, it was introduced as amodel for the physical phenomenon of Brownian motion by Einsteinand Smoluchowski and as a description of the dynamical evolution ofstock prices by Bachelier.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 12 / 56

Page 47: Koc2(dba)

The theory was placed on a rigorous mathematical basis by NorbertWiener in the 1920’s.We could try to use the Kolmogorov existence theorem to constructone-dimensional Brownian motion from the following prescription oncylinder sets of the formIHt1,...,tn = ω ∈ Ω;ω(t1) ∈ [a1,b1], . . . , ω(tn) ∈ [an,bn] where

H = [a1,b1]× · · · [an,bn] and we have taken Ω to be the set of allmappings from R+ to R:

P(IHt1,...,tn )

=

∫H

1

(2π)n2√

t1(t2 − t1) . . . (tn − tn−1)exp

(−1

2

(x2

1t1

+(x2 − x1)2

t2 − t1+ · · ·

+(xn − xn−1)2

tn − tn−1

))dx1 · · · dxn.

However there there is then no guarantee that the paths arecontinuous.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 13 / 56

Page 48: Koc2(dba)

The theory was placed on a rigorous mathematical basis by NorbertWiener in the 1920’s.We could try to use the Kolmogorov existence theorem to constructone-dimensional Brownian motion from the following prescription oncylinder sets of the formIHt1,...,tn = ω ∈ Ω;ω(t1) ∈ [a1,b1], . . . , ω(tn) ∈ [an,bn] where

H = [a1,b1]× · · · [an,bn] and we have taken Ω to be the set of allmappings from R+ to R:

P(IHt1,...,tn )

=

∫H

1

(2π)n2√

t1(t2 − t1) . . . (tn − tn−1)exp

(−1

2

(x2

1t1

+(x2 − x1)2

t2 − t1+ · · ·

+(xn − xn−1)2

tn − tn−1

))dx1 · · · dxn.

However there there is then no guarantee that the paths arecontinuous.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 13 / 56

Page 49: Koc2(dba)

The theory was placed on a rigorous mathematical basis by NorbertWiener in the 1920’s.We could try to use the Kolmogorov existence theorem to constructone-dimensional Brownian motion from the following prescription oncylinder sets of the formIHt1,...,tn = ω ∈ Ω;ω(t1) ∈ [a1,b1], . . . , ω(tn) ∈ [an,bn] where

H = [a1,b1]× · · · [an,bn] and we have taken Ω to be the set of allmappings from R+ to R:

P(IHt1,...,tn )

=

∫H

1

(2π)n2√

t1(t2 − t1) . . . (tn − tn−1)exp

(−1

2

(x2

1t1

+(x2 − x1)2

t2 − t1+ · · ·

+(xn − xn−1)2

tn − tn−1

))dx1 · · · dxn.

However there there is then no guarantee that the paths arecontinuous.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 13 / 56

Page 50: Koc2(dba)

The theory was placed on a rigorous mathematical basis by NorbertWiener in the 1920’s.We could try to use the Kolmogorov existence theorem to constructone-dimensional Brownian motion from the following prescription oncylinder sets of the formIHt1,...,tn = ω ∈ Ω;ω(t1) ∈ [a1,b1], . . . , ω(tn) ∈ [an,bn] where

H = [a1,b1]× · · · [an,bn] and we have taken Ω to be the set of allmappings from R+ to R:

P(IHt1,...,tn )

=

∫H

1

(2π)n2√

t1(t2 − t1) . . . (tn − tn−1)exp

(−1

2

(x2

1t1

+(x2 − x1)2

t2 − t1+ · · ·

+(xn − xn−1)2

tn − tn−1

))dx1 · · · dxn.

However there there is then no guarantee that the paths arecontinuous.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 13 / 56

Page 51: Koc2(dba)

The theory was placed on a rigorous mathematical basis by NorbertWiener in the 1920’s.We could try to use the Kolmogorov existence theorem to constructone-dimensional Brownian motion from the following prescription oncylinder sets of the formIHt1,...,tn = ω ∈ Ω;ω(t1) ∈ [a1,b1], . . . , ω(tn) ∈ [an,bn] where

H = [a1,b1]× · · · [an,bn] and we have taken Ω to be the set of allmappings from R+ to R:

P(IHt1,...,tn )

=

∫H

1

(2π)n2√

t1(t2 − t1) . . . (tn − tn−1)exp

(−1

2

(x2

1t1

+(x2 − x1)2

t2 − t1+ · · ·

+(xn − xn−1)2

tn − tn−1

))dx1 · · · dxn.

However there there is then no guarantee that the paths arecontinuous.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 13 / 56

Page 52: Koc2(dba)

The literature contains a number of ingenious methods for constructingBrownian motion. One of the most delightful of these (originally due toPaley and Wiener) obtains this, in the case d = 1, as a random Fourierseries for 0 ≤ t ≤ 1:

B(t) =

√2π

∞∑n=0

sin(πt(n + 12))

n + 12

ξ(n),

for each t ≥ 0, where (ξ(n),n ∈ N) is a sequence of i.i.d. N(0,1)random variables.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 14 / 56

Page 53: Koc2(dba)

The literature contains a number of ingenious methods for constructingBrownian motion. One of the most delightful of these (originally due toPaley and Wiener) obtains this, in the case d = 1, as a random Fourierseries for 0 ≤ t ≤ 1:

B(t) =

√2π

∞∑n=0

sin(πt(n + 12))

n + 12

ξ(n),

for each t ≥ 0, where (ξ(n),n ∈ N) is a sequence of i.i.d. N(0,1)random variables.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 14 / 56

Page 54: Koc2(dba)

The literature contains a number of ingenious methods for constructingBrownian motion. One of the most delightful of these (originally due toPaley and Wiener) obtains this, in the case d = 1, as a random Fourierseries for 0 ≤ t ≤ 1:

B(t) =

√2π

∞∑n=0

sin(πt(n + 12))

n + 12

ξ(n),

for each t ≥ 0, where (ξ(n),n ∈ N) is a sequence of i.i.d. N(0,1)random variables.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 14 / 56

Page 55: Koc2(dba)

We list a number of useful properties of Brownian motion in the cased = 1.

Brownian motion is locally Hölder continuous with exponent α forevery 0 < α < 1

2 i.e. for every T > 0, ω ∈ Ω there existsK = K (T , ω) such that

|B(t)(ω)− B(s)(ω)| ≤ K |t − s|α,for all 0 ≤ s < t ≤ T .

The sample paths t → B(t)(ω) are almost surely nowheredifferentiable.

For any sequence, (tn,n ∈ N) in R+ with tn ↑ ∞,

lim infn→∞

B(tn) = −∞ a.s. lim supn→∞

B(tn) =∞ a.s.

The law of the iterated logarithm:-

P

(lim sup

t↓0

B(t)

(2t log(log(1t )))

12

= 1

)= 1.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 15 / 56

Page 56: Koc2(dba)

We list a number of useful properties of Brownian motion in the cased = 1.

Brownian motion is locally Hölder continuous with exponent α forevery 0 < α < 1

2 i.e. for every T > 0, ω ∈ Ω there existsK = K (T , ω) such that

|B(t)(ω)− B(s)(ω)| ≤ K |t − s|α,for all 0 ≤ s < t ≤ T .

The sample paths t → B(t)(ω) are almost surely nowheredifferentiable.

For any sequence, (tn,n ∈ N) in R+ with tn ↑ ∞,

lim infn→∞

B(tn) = −∞ a.s. lim supn→∞

B(tn) =∞ a.s.

The law of the iterated logarithm:-

P

(lim sup

t↓0

B(t)

(2t log(log(1t )))

12

= 1

)= 1.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 15 / 56

Page 57: Koc2(dba)

We list a number of useful properties of Brownian motion in the cased = 1.

Brownian motion is locally Hölder continuous with exponent α forevery 0 < α < 1

2 i.e. for every T > 0, ω ∈ Ω there existsK = K (T , ω) such that

|B(t)(ω)− B(s)(ω)| ≤ K |t − s|α,for all 0 ≤ s < t ≤ T .

The sample paths t → B(t)(ω) are almost surely nowheredifferentiable.

For any sequence, (tn,n ∈ N) in R+ with tn ↑ ∞,

lim infn→∞

B(tn) = −∞ a.s. lim supn→∞

B(tn) =∞ a.s.

The law of the iterated logarithm:-

P

(lim sup

t↓0

B(t)

(2t log(log(1t )))

12

= 1

)= 1.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 15 / 56

Page 58: Koc2(dba)

We list a number of useful properties of Brownian motion in the cased = 1.

Brownian motion is locally Hölder continuous with exponent α forevery 0 < α < 1

2 i.e. for every T > 0, ω ∈ Ω there existsK = K (T , ω) such that

|B(t)(ω)− B(s)(ω)| ≤ K |t − s|α,for all 0 ≤ s < t ≤ T .

The sample paths t → B(t)(ω) are almost surely nowheredifferentiable.

For any sequence, (tn,n ∈ N) in R+ with tn ↑ ∞,

lim infn→∞

B(tn) = −∞ a.s. lim supn→∞

B(tn) =∞ a.s.

The law of the iterated logarithm:-

P

(lim sup

t↓0

B(t)

(2t log(log(1t )))

12

= 1

)= 1.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 15 / 56

Page 59: Koc2(dba)

We list a number of useful properties of Brownian motion in the cased = 1.

Brownian motion is locally Hölder continuous with exponent α forevery 0 < α < 1

2 i.e. for every T > 0, ω ∈ Ω there existsK = K (T , ω) such that

|B(t)(ω)− B(s)(ω)| ≤ K |t − s|α,for all 0 ≤ s < t ≤ T .

The sample paths t → B(t)(ω) are almost surely nowheredifferentiable.

For any sequence, (tn,n ∈ N) in R+ with tn ↑ ∞,

lim infn→∞

B(tn) = −∞ a.s. lim supn→∞

B(tn) =∞ a.s.

The law of the iterated logarithm:-

P

(lim sup

t↓0

B(t)

(2t log(log(1t )))

12

= 1

)= 1.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 15 / 56

Page 60: Koc2(dba)

0 1 2 3 4 5−2.0

−1.6

−1.2

−0.8

−0.4

0

0.4

0.8

1.2

Simulation of standard Brownian motionDave Applebaum (Sheffield UK) Lecture 2 December 2011 16 / 56

Page 61: Koc2(dba)

Let A be a non-negative symmetric d × d matrix and let σ be a squareroot of A so that σ is a d ×m matrix for which σσT = A. Now let b ∈ Rd

and let B be a Brownian motion in Rm. We construct a processC = (C(t), t ≥ 0) in Rd by

C(t) = bt + σB(t), (2.3)

then C is a Lévy process with each C(t) ∼ N(tb, tA). It is not difficult toverify that C is also a Gaussian process, i.e. all its finite dimensionaldistributions are Gaussian. It is sometimes called Brownian motionwith drift. The Lévy symbol of C is

ηC(u) = i(b,u)− 12

(u,Au).

In fact a Lévy process has continuous sample paths if and only if it is ofthe form (2.3).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 17 / 56

Page 62: Koc2(dba)

Let A be a non-negative symmetric d × d matrix and let σ be a squareroot of A so that σ is a d ×m matrix for which σσT = A. Now let b ∈ Rd

and let B be a Brownian motion in Rm. We construct a processC = (C(t), t ≥ 0) in Rd by

C(t) = bt + σB(t), (2.3)

then C is a Lévy process with each C(t) ∼ N(tb, tA). It is not difficult toverify that C is also a Gaussian process, i.e. all its finite dimensionaldistributions are Gaussian. It is sometimes called Brownian motionwith drift. The Lévy symbol of C is

ηC(u) = i(b,u)− 12

(u,Au).

In fact a Lévy process has continuous sample paths if and only if it is ofthe form (2.3).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 17 / 56

Page 63: Koc2(dba)

Let A be a non-negative symmetric d × d matrix and let σ be a squareroot of A so that σ is a d ×m matrix for which σσT = A. Now let b ∈ Rd

and let B be a Brownian motion in Rm. We construct a processC = (C(t), t ≥ 0) in Rd by

C(t) = bt + σB(t), (2.3)

then C is a Lévy process with each C(t) ∼ N(tb, tA). It is not difficult toverify that C is also a Gaussian process, i.e. all its finite dimensionaldistributions are Gaussian. It is sometimes called Brownian motionwith drift. The Lévy symbol of C is

ηC(u) = i(b,u)− 12

(u,Au).

In fact a Lévy process has continuous sample paths if and only if it is ofthe form (2.3).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 17 / 56

Page 64: Koc2(dba)

Let A be a non-negative symmetric d × d matrix and let σ be a squareroot of A so that σ is a d ×m matrix for which σσT = A. Now let b ∈ Rd

and let B be a Brownian motion in Rm. We construct a processC = (C(t), t ≥ 0) in Rd by

C(t) = bt + σB(t), (2.3)

then C is a Lévy process with each C(t) ∼ N(tb, tA). It is not difficult toverify that C is also a Gaussian process, i.e. all its finite dimensionaldistributions are Gaussian. It is sometimes called Brownian motionwith drift. The Lévy symbol of C is

ηC(u) = i(b,u)− 12

(u,Au).

In fact a Lévy process has continuous sample paths if and only if it is ofthe form (2.3).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 17 / 56

Page 65: Koc2(dba)

Let A be a non-negative symmetric d × d matrix and let σ be a squareroot of A so that σ is a d ×m matrix for which σσT = A. Now let b ∈ Rd

and let B be a Brownian motion in Rm. We construct a processC = (C(t), t ≥ 0) in Rd by

C(t) = bt + σB(t), (2.3)

then C is a Lévy process with each C(t) ∼ N(tb, tA). It is not difficult toverify that C is also a Gaussian process, i.e. all its finite dimensionaldistributions are Gaussian. It is sometimes called Brownian motionwith drift. The Lévy symbol of C is

ηC(u) = i(b,u)− 12

(u,Au).

In fact a Lévy process has continuous sample paths if and only if it is ofthe form (2.3).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 17 / 56

Page 66: Koc2(dba)

Let A be a non-negative symmetric d × d matrix and let σ be a squareroot of A so that σ is a d ×m matrix for which σσT = A. Now let b ∈ Rd

and let B be a Brownian motion in Rm. We construct a processC = (C(t), t ≥ 0) in Rd by

C(t) = bt + σB(t), (2.3)

then C is a Lévy process with each C(t) ∼ N(tb, tA). It is not difficult toverify that C is also a Gaussian process, i.e. all its finite dimensionaldistributions are Gaussian. It is sometimes called Brownian motionwith drift. The Lévy symbol of C is

ηC(u) = i(b,u)− 12

(u,Au).

In fact a Lévy process has continuous sample paths if and only if it is ofthe form (2.3).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 17 / 56

Page 67: Koc2(dba)

Let A be a non-negative symmetric d × d matrix and let σ be a squareroot of A so that σ is a d ×m matrix for which σσT = A. Now let b ∈ Rd

and let B be a Brownian motion in Rm. We construct a processC = (C(t), t ≥ 0) in Rd by

C(t) = bt + σB(t), (2.3)

then C is a Lévy process with each C(t) ∼ N(tb, tA). It is not difficult toverify that C is also a Gaussian process, i.e. all its finite dimensionaldistributions are Gaussian. It is sometimes called Brownian motionwith drift. The Lévy symbol of C is

ηC(u) = i(b,u)− 12

(u,Au).

In fact a Lévy process has continuous sample paths if and only if it is ofthe form (2.3).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 17 / 56

Page 68: Koc2(dba)

Let A be a non-negative symmetric d × d matrix and let σ be a squareroot of A so that σ is a d ×m matrix for which σσT = A. Now let b ∈ Rd

and let B be a Brownian motion in Rm. We construct a processC = (C(t), t ≥ 0) in Rd by

C(t) = bt + σB(t), (2.3)

then C is a Lévy process with each C(t) ∼ N(tb, tA). It is not difficult toverify that C is also a Gaussian process, i.e. all its finite dimensionaldistributions are Gaussian. It is sometimes called Brownian motionwith drift. The Lévy symbol of C is

ηC(u) = i(b,u)− 12

(u,Au).

In fact a Lévy process has continuous sample paths if and only if it is ofthe form (2.3).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 17 / 56

Page 69: Koc2(dba)

Example 2 - The Poisson Process

The Poisson process of intensity λ > 0 is a Lévy process N takingvalues in N ∪ 0 wherein each N(t) ∼ π(λt) so we have

P(N(t) = n) =(λt)n

n!e−λt ,

for each n = 0,1,2, . . ..The Poisson process is widely used in applications and there is awealth of literature concerning it and its generalisations.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 18 / 56

Page 70: Koc2(dba)

Example 2 - The Poisson Process

The Poisson process of intensity λ > 0 is a Lévy process N takingvalues in N ∪ 0 wherein each N(t) ∼ π(λt) so we have

P(N(t) = n) =(λt)n

n!e−λt ,

for each n = 0,1,2, . . ..The Poisson process is widely used in applications and there is awealth of literature concerning it and its generalisations.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 18 / 56

Page 71: Koc2(dba)

Example 2 - The Poisson Process

The Poisson process of intensity λ > 0 is a Lévy process N takingvalues in N ∪ 0 wherein each N(t) ∼ π(λt) so we have

P(N(t) = n) =(λt)n

n!e−λt ,

for each n = 0,1,2, . . ..The Poisson process is widely used in applications and there is awealth of literature concerning it and its generalisations.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 18 / 56

Page 72: Koc2(dba)

We define non-negative random variables (Tn,N ∪ 0) (usually calledwaiting times) by T0 = 0 and for n ∈ N,

Tn = inft ≥ 0; N(t) = n,

then it is well known that the Tn’s are gamma distributed. Moreover,the inter-arrival times Tn − Tn−1 for n ∈ N are i.i.d. and each hasexponential distribution with mean 1

λ . The sample paths of N areclearly piecewise constant with “jump” discontinuities of size 1 at eachof the random times (Tn,n ∈ N).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 19 / 56

Page 73: Koc2(dba)

We define non-negative random variables (Tn,N ∪ 0) (usually calledwaiting times) by T0 = 0 and for n ∈ N,

Tn = inft ≥ 0; N(t) = n,

then it is well known that the Tn’s are gamma distributed. Moreover,the inter-arrival times Tn − Tn−1 for n ∈ N are i.i.d. and each hasexponential distribution with mean 1

λ . The sample paths of N areclearly piecewise constant with “jump” discontinuities of size 1 at eachof the random times (Tn,n ∈ N).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 19 / 56

Page 74: Koc2(dba)

We define non-negative random variables (Tn,N ∪ 0) (usually calledwaiting times) by T0 = 0 and for n ∈ N,

Tn = inft ≥ 0; N(t) = n,

then it is well known that the Tn’s are gamma distributed. Moreover,the inter-arrival times Tn − Tn−1 for n ∈ N are i.i.d. and each hasexponential distribution with mean 1

λ . The sample paths of N areclearly piecewise constant with “jump” discontinuities of size 1 at eachof the random times (Tn,n ∈ N).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 19 / 56

Page 75: Koc2(dba)

We define non-negative random variables (Tn,N ∪ 0) (usually calledwaiting times) by T0 = 0 and for n ∈ N,

Tn = inft ≥ 0; N(t) = n,

then it is well known that the Tn’s are gamma distributed. Moreover,the inter-arrival times Tn − Tn−1 for n ∈ N are i.i.d. and each hasexponential distribution with mean 1

λ . The sample paths of N areclearly piecewise constant with “jump” discontinuities of size 1 at eachof the random times (Tn,n ∈ N).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 19 / 56

Page 76: Koc2(dba)

0 5 10 15 20

Time

02

46

810

Num

ber

Simulation of a Poisson process (λ = 0.5)

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 20 / 56

Page 77: Koc2(dba)

For later work it is useful to introduce the compensated Poissonprocess N = (N(t), t ≥ 0) where each N(t) = N(t)− λt . Note thatE(N(t)) = 0 and E(N(t)2) = λt for each t ≥ 0 .

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 21 / 56

Page 78: Koc2(dba)

For later work it is useful to introduce the compensated Poissonprocess N = (N(t), t ≥ 0) where each N(t) = N(t)− λt . Note thatE(N(t)) = 0 and E(N(t)2) = λt for each t ≥ 0 .

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 21 / 56

Page 79: Koc2(dba)

Example 3 - The Compound Poisson Process

Let (Z (n),n ∈ N) be a sequence of i.i.d. random variables takingvalues in Rd with common law µZ and let N be a Poisson process ofintensity λ which is independent of all the Z (n)’s. The compoundPoisson process Y is defined as follows:-

Y (t) :=

0 if N(t) = 0

Z (1) + · · ·+ Z (N(t)) if N(t) > 0,

for each t ≥ 0,so each Y (t) ∼ π(λt , µZ ).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 22 / 56

Page 80: Koc2(dba)

Example 3 - The Compound Poisson Process

Let (Z (n),n ∈ N) be a sequence of i.i.d. random variables takingvalues in Rd with common law µZ and let N be a Poisson process ofintensity λ which is independent of all the Z (n)’s. The compoundPoisson process Y is defined as follows:-

Y (t) :=

0 if N(t) = 0

Z (1) + · · ·+ Z (N(t)) if N(t) > 0,

for each t ≥ 0,so each Y (t) ∼ π(λt , µZ ).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 22 / 56

Page 81: Koc2(dba)

Example 3 - The Compound Poisson Process

Let (Z (n),n ∈ N) be a sequence of i.i.d. random variables takingvalues in Rd with common law µZ and let N be a Poisson process ofintensity λ which is independent of all the Z (n)’s. The compoundPoisson process Y is defined as follows:-

Y (t) :=

0 if N(t) = 0

Z (1) + · · ·+ Z (N(t)) if N(t) > 0,

for each t ≥ 0,so each Y (t) ∼ π(λt , µZ ).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 22 / 56

Page 82: Koc2(dba)

From the work of Lecture 1, Y has Lévy symbol

ηY (u) =

[∫(ei(u,y) − 1)λµZ (dy)

].

Again the sample paths of Y are piecewise constant with “jumpdiscontinuities” at the random times (T (n),n ∈ N), however this timethe size of the jumps is itself random, and the jump at T (n) can be anyvalue in the range of the random variable Z (n).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 23 / 56

Page 83: Koc2(dba)

From the work of Lecture 1, Y has Lévy symbol

ηY (u) =

[∫(ei(u,y) − 1)λµZ (dy)

].

Again the sample paths of Y are piecewise constant with “jumpdiscontinuities” at the random times (T (n),n ∈ N), however this timethe size of the jumps is itself random, and the jump at T (n) can be anyvalue in the range of the random variable Z (n).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 23 / 56

Page 84: Koc2(dba)

From the work of Lecture 1, Y has Lévy symbol

ηY (u) =

[∫(ei(u,y) − 1)λµZ (dy)

].

Again the sample paths of Y are piecewise constant with “jumpdiscontinuities” at the random times (T (n),n ∈ N), however this timethe size of the jumps is itself random, and the jump at T (n) can be anyvalue in the range of the random variable Z (n).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 23 / 56

Page 85: Koc2(dba)

0 10 20 30

Time

-3-2

-10

Pat

h

Simulation of a compound Poisson process with N(0,1)summands(λ = 1).Dave Applebaum (Sheffield UK) Lecture 2 December 2011 24 / 56

Page 86: Koc2(dba)

Example 4 - Interlacing Processes

Let C be a Gaussian Lévy process as in Example 1 and Y be acompound Poisson process as in Example 3, which is independent ofC.Define a new process X by

X (t) = C(t) + Y (t),

for all t ≥ 0, then it is not difficult to verify that X is a Lévy process withLévy symbol

ηX (u) = i(b,u)− 12

(u,Au) +

[∫(ei(u,y) − 1)λµZ (dy)

].

Using the notation of Examples 2 and 3, we see that the paths of Xhave jumps of random size occurring at random times.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 25 / 56

Page 87: Koc2(dba)

Example 4 - Interlacing Processes

Let C be a Gaussian Lévy process as in Example 1 and Y be acompound Poisson process as in Example 3, which is independent ofC.Define a new process X by

X (t) = C(t) + Y (t),

for all t ≥ 0, then it is not difficult to verify that X is a Lévy process withLévy symbol

ηX (u) = i(b,u)− 12

(u,Au) +

[∫(ei(u,y) − 1)λµZ (dy)

].

Using the notation of Examples 2 and 3, we see that the paths of Xhave jumps of random size occurring at random times.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 25 / 56

Page 88: Koc2(dba)

Example 4 - Interlacing Processes

Let C be a Gaussian Lévy process as in Example 1 and Y be acompound Poisson process as in Example 3, which is independent ofC.Define a new process X by

X (t) = C(t) + Y (t),

for all t ≥ 0, then it is not difficult to verify that X is a Lévy process withLévy symbol

ηX (u) = i(b,u)− 12

(u,Au) +

[∫(ei(u,y) − 1)λµZ (dy)

].

Using the notation of Examples 2 and 3, we see that the paths of Xhave jumps of random size occurring at random times.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 25 / 56

Page 89: Koc2(dba)

Example 4 - Interlacing Processes

Let C be a Gaussian Lévy process as in Example 1 and Y be acompound Poisson process as in Example 3, which is independent ofC.Define a new process X by

X (t) = C(t) + Y (t),

for all t ≥ 0, then it is not difficult to verify that X is a Lévy process withLévy symbol

ηX (u) = i(b,u)− 12

(u,Au) +

[∫(ei(u,y) − 1)λµZ (dy)

].

Using the notation of Examples 2 and 3, we see that the paths of Xhave jumps of random size occurring at random times.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 25 / 56

Page 90: Koc2(dba)

Example 4 - Interlacing Processes

Let C be a Gaussian Lévy process as in Example 1 and Y be acompound Poisson process as in Example 3, which is independent ofC.Define a new process X by

X (t) = C(t) + Y (t),

for all t ≥ 0, then it is not difficult to verify that X is a Lévy process withLévy symbol

ηX (u) = i(b,u)− 12

(u,Au) +

[∫(ei(u,y) − 1)λµZ (dy)

].

Using the notation of Examples 2 and 3, we see that the paths of Xhave jumps of random size occurring at random times.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 25 / 56

Page 91: Koc2(dba)

X (t) = C(t) for 0 ≤ t < T1,

= C(T1) + Z1 when t = T1,

= X (T1) + C(t)− C(T1) for T1 < t < T2,

= X (T2−) + Z2 when t = T2,

and so on recursively. We call this procedure an interlacing as acontinuous path process is “interlaced” with random jumps. It seemsreasonable that the most general Lévy process might arise as the limitof a sequence of such interlacings, and this can be establishedrigorously.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 26 / 56

Page 92: Koc2(dba)

X (t) = C(t) for 0 ≤ t < T1,

= C(T1) + Z1 when t = T1,

= X (T1) + C(t)− C(T1) for T1 < t < T2,

= X (T2−) + Z2 when t = T2,

and so on recursively. We call this procedure an interlacing as acontinuous path process is “interlaced” with random jumps. It seemsreasonable that the most general Lévy process might arise as the limitof a sequence of such interlacings, and this can be establishedrigorously.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 26 / 56

Page 93: Koc2(dba)

X (t) = C(t) for 0 ≤ t < T1,

= C(T1) + Z1 when t = T1,

= X (T1) + C(t)− C(T1) for T1 < t < T2,

= X (T2−) + Z2 when t = T2,

and so on recursively. We call this procedure an interlacing as acontinuous path process is “interlaced” with random jumps. It seemsreasonable that the most general Lévy process might arise as the limitof a sequence of such interlacings, and this can be establishedrigorously.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 26 / 56

Page 94: Koc2(dba)

X (t) = C(t) for 0 ≤ t < T1,

= C(T1) + Z1 when t = T1,

= X (T1) + C(t)− C(T1) for T1 < t < T2,

= X (T2−) + Z2 when t = T2,

and so on recursively. We call this procedure an interlacing as acontinuous path process is “interlaced” with random jumps. It seemsreasonable that the most general Lévy process might arise as the limitof a sequence of such interlacings, and this can be establishedrigorously.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 26 / 56

Page 95: Koc2(dba)

X (t) = C(t) for 0 ≤ t < T1,

= C(T1) + Z1 when t = T1,

= X (T1) + C(t)− C(T1) for T1 < t < T2,

= X (T2−) + Z2 when t = T2,

and so on recursively. We call this procedure an interlacing as acontinuous path process is “interlaced” with random jumps. It seemsreasonable that the most general Lévy process might arise as the limitof a sequence of such interlacings, and this can be establishedrigorously.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 26 / 56

Page 96: Koc2(dba)

X (t) = C(t) for 0 ≤ t < T1,

= C(T1) + Z1 when t = T1,

= X (T1) + C(t)− C(T1) for T1 < t < T2,

= X (T2−) + Z2 when t = T2,

and so on recursively. We call this procedure an interlacing as acontinuous path process is “interlaced” with random jumps. It seemsreasonable that the most general Lévy process might arise as the limitof a sequence of such interlacings, and this can be establishedrigorously.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 26 / 56

Page 97: Koc2(dba)

Example 5 - Stable Lévy Processes

A stable Lévy process is a Lévy process X in which the Lévy symbol isthat of a given stable law. So, in particular, each X (t) is a stablerandom variable. For example, we have the rotationally invariant casewhose Lévy symbol is given by

η(u) = −σα|u|α,

where α is the index of stability (0 < α ≤ 2). One of the reasons whythese are important in applications is that they display self-similarity.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 27 / 56

Page 98: Koc2(dba)

Example 5 - Stable Lévy Processes

A stable Lévy process is a Lévy process X in which the Lévy symbol isthat of a given stable law. So, in particular, each X (t) is a stablerandom variable. For example, we have the rotationally invariant casewhose Lévy symbol is given by

η(u) = −σα|u|α,

where α is the index of stability (0 < α ≤ 2). One of the reasons whythese are important in applications is that they display self-similarity.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 27 / 56

Page 99: Koc2(dba)

Example 5 - Stable Lévy Processes

A stable Lévy process is a Lévy process X in which the Lévy symbol isthat of a given stable law. So, in particular, each X (t) is a stablerandom variable. For example, we have the rotationally invariant casewhose Lévy symbol is given by

η(u) = −σα|u|α,

where α is the index of stability (0 < α ≤ 2). One of the reasons whythese are important in applications is that they display self-similarity.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 27 / 56

Page 100: Koc2(dba)

Example 5 - Stable Lévy Processes

A stable Lévy process is a Lévy process X in which the Lévy symbol isthat of a given stable law. So, in particular, each X (t) is a stablerandom variable. For example, we have the rotationally invariant casewhose Lévy symbol is given by

η(u) = −σα|u|α,

where α is the index of stability (0 < α ≤ 2). One of the reasons whythese are important in applications is that they display self-similarity.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 27 / 56

Page 101: Koc2(dba)

In general, a stochastic process Y = (Y (t), t ≥ 0) is self-similar withHurst index H > 0 if the two processes (Y (at), t ≥ 0) and(aHY (t), t ≥ 0) have the same finite-dimensional distributions for alla ≥ 0. By examining characteristic functions, it is easily verified that arotationally invariant stable Lévy process is self-similar with Hurstindex H = 1

α , so that e.g. Brownian motion is self-similar with H = 12 . A

Lévy process X is self-similar if and only if each X (t) is strictly stable.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 28 / 56

Page 102: Koc2(dba)

In general, a stochastic process Y = (Y (t), t ≥ 0) is self-similar withHurst index H > 0 if the two processes (Y (at), t ≥ 0) and(aHY (t), t ≥ 0) have the same finite-dimensional distributions for alla ≥ 0. By examining characteristic functions, it is easily verified that arotationally invariant stable Lévy process is self-similar with Hurstindex H = 1

α , so that e.g. Brownian motion is self-similar with H = 12 . A

Lévy process X is self-similar if and only if each X (t) is strictly stable.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 28 / 56

Page 103: Koc2(dba)

In general, a stochastic process Y = (Y (t), t ≥ 0) is self-similar withHurst index H > 0 if the two processes (Y (at), t ≥ 0) and(aHY (t), t ≥ 0) have the same finite-dimensional distributions for alla ≥ 0. By examining characteristic functions, it is easily verified that arotationally invariant stable Lévy process is self-similar with Hurstindex H = 1

α , so that e.g. Brownian motion is self-similar with H = 12 . A

Lévy process X is self-similar if and only if each X (t) is strictly stable.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 28 / 56

Page 104: Koc2(dba)

In general, a stochastic process Y = (Y (t), t ≥ 0) is self-similar withHurst index H > 0 if the two processes (Y (at), t ≥ 0) and(aHY (t), t ≥ 0) have the same finite-dimensional distributions for alla ≥ 0. By examining characteristic functions, it is easily verified that arotationally invariant stable Lévy process is self-similar with Hurstindex H = 1

α , so that e.g. Brownian motion is self-similar with H = 12 . A

Lévy process X is self-similar if and only if each X (t) is strictly stable.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 28 / 56

Page 105: Koc2(dba)

0 1 2 3 4 5−240

−200

−160

−120

−80

−40

0

40

80

Simulation of the Cauchy process.Dave Applebaum (Sheffield UK) Lecture 2 December 2011 29 / 56

Page 106: Koc2(dba)

Densities of Lévy Processes

Question: When does a Lévy process have a density ft for all t > 0 sothat for all Borel sets B:

P(Xt ∈ B) = pt (B) =

∫B

ft (x)dx?

In general, a random variable has a continuous density if itscharacteristic function is integrable and in this case, the density is theFourier transform of the characteristic function.So for Lévy processes, if for all t > 0,∫

Rd|etη(u)|du =

∫Rd

et<(η(u))du <∞

we then have

ft (x) = (2π)−d∫Rd

etη(u)−i(u,x)du.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 30 / 56

Page 107: Koc2(dba)

Densities of Lévy Processes

Question: When does a Lévy process have a density ft for all t > 0 sothat for all Borel sets B:

P(Xt ∈ B) = pt (B) =

∫B

ft (x)dx?

In general, a random variable has a continuous density if itscharacteristic function is integrable and in this case, the density is theFourier transform of the characteristic function.So for Lévy processes, if for all t > 0,∫

Rd|etη(u)|du =

∫Rd

et<(η(u))du <∞

we then have

ft (x) = (2π)−d∫Rd

etη(u)−i(u,x)du.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 30 / 56

Page 108: Koc2(dba)

Densities of Lévy Processes

Question: When does a Lévy process have a density ft for all t > 0 sothat for all Borel sets B:

P(Xt ∈ B) = pt (B) =

∫B

ft (x)dx?

In general, a random variable has a continuous density if itscharacteristic function is integrable and in this case, the density is theFourier transform of the characteristic function.So for Lévy processes, if for all t > 0,∫

Rd|etη(u)|du =

∫Rd

et<(η(u))du <∞

we then have

ft (x) = (2π)−d∫Rd

etη(u)−i(u,x)du.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 30 / 56

Page 109: Koc2(dba)

Densities of Lévy Processes

Question: When does a Lévy process have a density ft for all t > 0 sothat for all Borel sets B:

P(Xt ∈ B) = pt (B) =

∫B

ft (x)dx?

In general, a random variable has a continuous density if itscharacteristic function is integrable and in this case, the density is theFourier transform of the characteristic function.So for Lévy processes, if for all t > 0,∫

Rd|etη(u)|du =

∫Rd

et<(η(u))du <∞

we then have

ft (x) = (2π)−d∫Rd

etη(u)−i(u,x)du.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 30 / 56

Page 110: Koc2(dba)

Every Lévy process with a non-degenerate Gaussian component hasa density.

In this case

<(η(u)) = −12

(u,Au) +

∫Rd−0

(cos(u, y)− 1)ν(dy),

and so ∫Rd

et<(η(u))du ≤∫Rd

e−t2 (u,Au) <∞,

using (u,Au) ≥ λ|u|2 where λ > 0 is smallest eigenvalue of A.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 31 / 56

Page 111: Koc2(dba)

Every Lévy process with a non-degenerate Gaussian component hasa density.

In this case

<(η(u)) = −12

(u,Au) +

∫Rd−0

(cos(u, y)− 1)ν(dy),

and so ∫Rd

et<(η(u))du ≤∫Rd

e−t2 (u,Au) <∞,

using (u,Au) ≥ λ|u|2 where λ > 0 is smallest eigenvalue of A.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 31 / 56

Page 112: Koc2(dba)

Every Lévy process with a non-degenerate Gaussian component hasa density.

In this case

<(η(u)) = −12

(u,Au) +

∫Rd−0

(cos(u, y)− 1)ν(dy),

and so ∫Rd

et<(η(u))du ≤∫Rd

e−t2 (u,Au) <∞,

using (u,Au) ≥ λ|u|2 where λ > 0 is smallest eigenvalue of A.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 31 / 56

Page 113: Koc2(dba)

For examples where densities exist for A = 0 with d = 1: if X isα-stable, it has a density since for all 1 ≤ α ≤ 2:∫

|u|≥1e−t |u|αdu ≤

∫|u|≥1

e−t |u|du <∞,

and for 0 ≤ α < 1:∫R

e−t |u|αdu =2α

∫ ∞0

e−tyy1α−1dy <∞.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 32 / 56

Page 114: Koc2(dba)

For examples where densities exist for A = 0 with d = 1: if X isα-stable, it has a density since for all 1 ≤ α ≤ 2:∫

|u|≥1e−t |u|αdu ≤

∫|u|≥1

e−t |u|du <∞,

and for 0 ≤ α < 1:∫R

e−t |u|αdu =2α

∫ ∞0

e−tyy1α−1dy <∞.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 32 / 56

Page 115: Koc2(dba)

For examples where densities exist for A = 0 with d = 1: if X isα-stable, it has a density since for all 1 ≤ α ≤ 2:∫

|u|≥1e−t |u|αdu ≤

∫|u|≥1

e−t |u|du <∞,

and for 0 ≤ α < 1:∫R

e−t |u|αdu =2α

∫ ∞0

e−tyy1α−1dy <∞.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 32 / 56

Page 116: Koc2(dba)

In general, a sufficient condition for a density is

ν(Rd ) =∞

ν∗m is absolutely continuous with respect to Lebesgue measurefor some m ∈ N where

ν(A) =

∫A

(|x |2 ∧ 1)ν(dx).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 33 / 56

Page 117: Koc2(dba)

In general, a sufficient condition for a density is

ν(Rd ) =∞

ν∗m is absolutely continuous with respect to Lebesgue measurefor some m ∈ N where

ν(A) =

∫A

(|x |2 ∧ 1)ν(dx).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 33 / 56

Page 118: Koc2(dba)

In general, a sufficient condition for a density is

ν(Rd ) =∞

ν∗m is absolutely continuous with respect to Lebesgue measurefor some m ∈ N where

ν(A) =

∫A

(|x |2 ∧ 1)ν(dx).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 33 / 56

Page 119: Koc2(dba)

A Lévy process has a Lévy density gν if its Lévy measure ν isabsolutely continuous with respect to Lebesgue measure, then gν is

defined to be the Radon-Nikodym derivativedνdx

.

A process may have a Lévy density but not have a density.

Example. Let X be a compound Poisson process with eachX (t) = Y1 + Y2 + · · ·+ YN(t) wherein each Yj has a density fY , thengν = λfY is the Lévy density.

But

P(Y (t) = 0) ≥ P(N(t) = 0) = e−λt > 0,

so pt has an atom at 0.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 34 / 56

Page 120: Koc2(dba)

A Lévy process has a Lévy density gν if its Lévy measure ν isabsolutely continuous with respect to Lebesgue measure, then gν is

defined to be the Radon-Nikodym derivativedνdx

.

A process may have a Lévy density but not have a density.

Example. Let X be a compound Poisson process with eachX (t) = Y1 + Y2 + · · ·+ YN(t) wherein each Yj has a density fY , thengν = λfY is the Lévy density.

But

P(Y (t) = 0) ≥ P(N(t) = 0) = e−λt > 0,

so pt has an atom at 0.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 34 / 56

Page 121: Koc2(dba)

A Lévy process has a Lévy density gν if its Lévy measure ν isabsolutely continuous with respect to Lebesgue measure, then gν is

defined to be the Radon-Nikodym derivativedνdx

.

A process may have a Lévy density but not have a density.

Example. Let X be a compound Poisson process with eachX (t) = Y1 + Y2 + · · ·+ YN(t) wherein each Yj has a density fY , thengν = λfY is the Lévy density.

But

P(Y (t) = 0) ≥ P(N(t) = 0) = e−λt > 0,

so pt has an atom at 0.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 34 / 56

Page 122: Koc2(dba)

A Lévy process has a Lévy density gν if its Lévy measure ν isabsolutely continuous with respect to Lebesgue measure, then gν is

defined to be the Radon-Nikodym derivativedνdx

.

A process may have a Lévy density but not have a density.

Example. Let X be a compound Poisson process with eachX (t) = Y1 + Y2 + · · ·+ YN(t) wherein each Yj has a density fY , thengν = λfY is the Lévy density.

But

P(Y (t) = 0) ≥ P(N(t) = 0) = e−λt > 0,

so pt has an atom at 0.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 34 / 56

Page 123: Koc2(dba)

A Lévy process has a Lévy density gν if its Lévy measure ν isabsolutely continuous with respect to Lebesgue measure, then gν is

defined to be the Radon-Nikodym derivativedνdx

.

A process may have a Lévy density but not have a density.

Example. Let X be a compound Poisson process with eachX (t) = Y1 + Y2 + · · ·+ YN(t) wherein each Yj has a density fY , thengν = λfY is the Lévy density.

But

P(Y (t) = 0) ≥ P(N(t) = 0) = e−λt > 0,

so pt has an atom at 0.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 34 / 56

Page 124: Koc2(dba)

We have pt (A) = e−λtδ0(A) +∫

A f act (x)dx , where for x 6= 0

f act (x) = e−λt

∞∑n=1

(λt)n

n!f ∗nY (x).

f act (x) is the conditional density of X (t) given that it jumps at least once

between 0 and t .In this case, (2.2) takes the precise form (for x 6= 0)

gν(x) = limt↓0

f act (x)

t.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 35 / 56

Page 125: Koc2(dba)

We have pt (A) = e−λtδ0(A) +∫

A f act (x)dx , where for x 6= 0

f act (x) = e−λt

∞∑n=1

(λt)n

n!f ∗nY (x).

f act (x) is the conditional density of X (t) given that it jumps at least once

between 0 and t .In this case, (2.2) takes the precise form (for x 6= 0)

gν(x) = limt↓0

f act (x)

t.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 35 / 56

Page 126: Koc2(dba)

We have pt (A) = e−λtδ0(A) +∫

A f act (x)dx , where for x 6= 0

f act (x) = e−λt

∞∑n=1

(λt)n

n!f ∗nY (x).

f act (x) is the conditional density of X (t) given that it jumps at least once

between 0 and t .In this case, (2.2) takes the precise form (for x 6= 0)

gν(x) = limt↓0

f act (x)

t.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 35 / 56

Page 127: Koc2(dba)

We have pt (A) = e−λtδ0(A) +∫

A f act (x)dx , where for x 6= 0

f act (x) = e−λt

∞∑n=1

(λt)n

n!f ∗nY (x).

f act (x) is the conditional density of X (t) given that it jumps at least once

between 0 and t .In this case, (2.2) takes the precise form (for x 6= 0)

gν(x) = limt↓0

f act (x)

t.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 35 / 56

Page 128: Koc2(dba)

Subordinators

A subordinator is a one-dimensional Lévy process which is increasinga.s. Such processes can be thought of as a random model of timeevolution, since if T = (T (t), t ≥ 0) is a subordinator we have

T (t) ≥ 0 for each t > 0 a.s. and T (t1) ≤ T (t2) whenever t1 ≤ t2 a.s.

Now since for X (t) ∼ N(0,At) we haveP(X (t) ≥ 0) = P(X (t) ≤ 0) = 1

2 , it is clear that such a process cannotbe a subordinator.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 36 / 56

Page 129: Koc2(dba)

Subordinators

A subordinator is a one-dimensional Lévy process which is increasinga.s. Such processes can be thought of as a random model of timeevolution, since if T = (T (t), t ≥ 0) is a subordinator we have

T (t) ≥ 0 for each t > 0 a.s. and T (t1) ≤ T (t2) whenever t1 ≤ t2 a.s.

Now since for X (t) ∼ N(0,At) we haveP(X (t) ≥ 0) = P(X (t) ≤ 0) = 1

2 , it is clear that such a process cannotbe a subordinator.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 36 / 56

Page 130: Koc2(dba)

Subordinators

A subordinator is a one-dimensional Lévy process which is increasinga.s. Such processes can be thought of as a random model of timeevolution, since if T = (T (t), t ≥ 0) is a subordinator we have

T (t) ≥ 0 for each t > 0 a.s. and T (t1) ≤ T (t2) whenever t1 ≤ t2 a.s.

Now since for X (t) ∼ N(0,At) we haveP(X (t) ≥ 0) = P(X (t) ≤ 0) = 1

2 , it is clear that such a process cannotbe a subordinator.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 36 / 56

Page 131: Koc2(dba)

Theorem

If T is a subordinator then its Lévy symbol takes the form

η(u) = ibu +

∫(0,∞)

(eiuy − 1)λ(dy), (2.4)

where b ≥ 0, and the Lévy measure λ satisfies the additionalrequirements

λ(−∞,0) = 0 and∫

(0,∞)(y ∧ 1)λ(dy) <∞.

Conversely, any mapping from Rd → C of the form (2.4) is the Lévysymbol of a subordinator.

We call the pair (b, λ), the characteristics of the subordinator T .

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 37 / 56

Page 132: Koc2(dba)

Theorem

If T is a subordinator then its Lévy symbol takes the form

η(u) = ibu +

∫(0,∞)

(eiuy − 1)λ(dy), (2.4)

where b ≥ 0, and the Lévy measure λ satisfies the additionalrequirements

λ(−∞,0) = 0 and∫

(0,∞)(y ∧ 1)λ(dy) <∞.

Conversely, any mapping from Rd → C of the form (2.4) is the Lévysymbol of a subordinator.

We call the pair (b, λ), the characteristics of the subordinator T .

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 37 / 56

Page 133: Koc2(dba)

Theorem

If T is a subordinator then its Lévy symbol takes the form

η(u) = ibu +

∫(0,∞)

(eiuy − 1)λ(dy), (2.4)

where b ≥ 0, and the Lévy measure λ satisfies the additionalrequirements

λ(−∞,0) = 0 and∫

(0,∞)(y ∧ 1)λ(dy) <∞.

Conversely, any mapping from Rd → C of the form (2.4) is the Lévysymbol of a subordinator.

We call the pair (b, λ), the characteristics of the subordinator T .

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 37 / 56

Page 134: Koc2(dba)

Theorem

If T is a subordinator then its Lévy symbol takes the form

η(u) = ibu +

∫(0,∞)

(eiuy − 1)λ(dy), (2.4)

where b ≥ 0, and the Lévy measure λ satisfies the additionalrequirements

λ(−∞,0) = 0 and∫

(0,∞)(y ∧ 1)λ(dy) <∞.

Conversely, any mapping from Rd → C of the form (2.4) is the Lévysymbol of a subordinator.

We call the pair (b, λ), the characteristics of the subordinator T .

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 37 / 56

Page 135: Koc2(dba)

For each t ≥ 0, the map u → E(eiuT (t)) can be analytically continued tothe region iu,u > 0 and we then obtain the following expression forthe Laplace transform of the distribution

E(e−uT (t)) = e−tψ(u),

where ψ(u) = −η(iu) = bu +

∫(0,∞)

(1− e−uy )λ(dy) (2.5)

for each t ,u ≥ 0.This is much more useful for both theoretical and practical applicationthan the characteristic function.The function ψ is usually called the Laplace exponent of thesubordinator.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 38 / 56

Page 136: Koc2(dba)

For each t ≥ 0, the map u → E(eiuT (t)) can be analytically continued tothe region iu,u > 0 and we then obtain the following expression forthe Laplace transform of the distribution

E(e−uT (t)) = e−tψ(u),

where ψ(u) = −η(iu) = bu +

∫(0,∞)

(1− e−uy )λ(dy) (2.5)

for each t ,u ≥ 0.This is much more useful for both theoretical and practical applicationthan the characteristic function.The function ψ is usually called the Laplace exponent of thesubordinator.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 38 / 56

Page 137: Koc2(dba)

For each t ≥ 0, the map u → E(eiuT (t)) can be analytically continued tothe region iu,u > 0 and we then obtain the following expression forthe Laplace transform of the distribution

E(e−uT (t)) = e−tψ(u),

where ψ(u) = −η(iu) = bu +

∫(0,∞)

(1− e−uy )λ(dy) (2.5)

for each t ,u ≥ 0.This is much more useful for both theoretical and practical applicationthan the characteristic function.The function ψ is usually called the Laplace exponent of thesubordinator.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 38 / 56

Page 138: Koc2(dba)

For each t ≥ 0, the map u → E(eiuT (t)) can be analytically continued tothe region iu,u > 0 and we then obtain the following expression forthe Laplace transform of the distribution

E(e−uT (t)) = e−tψ(u),

where ψ(u) = −η(iu) = bu +

∫(0,∞)

(1− e−uy )λ(dy) (2.5)

for each t ,u ≥ 0.This is much more useful for both theoretical and practical applicationthan the characteristic function.The function ψ is usually called the Laplace exponent of thesubordinator.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 38 / 56

Page 139: Koc2(dba)

For each t ≥ 0, the map u → E(eiuT (t)) can be analytically continued tothe region iu,u > 0 and we then obtain the following expression forthe Laplace transform of the distribution

E(e−uT (t)) = e−tψ(u),

where ψ(u) = −η(iu) = bu +

∫(0,∞)

(1− e−uy )λ(dy) (2.5)

for each t ,u ≥ 0.This is much more useful for both theoretical and practical applicationthan the characteristic function.The function ψ is usually called the Laplace exponent of thesubordinator.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 38 / 56

Page 140: Koc2(dba)

Examples of Subordinators

(1) The Poisson Case

Poisson processes are clearly subordinators. More generally acompound Poisson process will be a subordinator if and only if theZ (n)’s are all R+ valued.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 39 / 56

Page 141: Koc2(dba)

Examples of Subordinators

(1) The Poisson Case

Poisson processes are clearly subordinators. More generally acompound Poisson process will be a subordinator if and only if theZ (n)’s are all R+ valued.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 39 / 56

Page 142: Koc2(dba)

(2) α-Stable Subordinators

Using straightforward calculus, we find that for 0 < α < 1, u ≥ 0,

uα =α

Γ(1− α)

∫ ∞0

(1− e−ux )dx

x1+α.

Hence for each 0 < α < 1 there exists an α-stable subordinator T withLaplace exponent

ψ(u) = uα.

and the characteristics of T are (0, λ) where λ(dx) = αΓ(1−α)

dxx1+α .

Note that when we analytically continue this to obtain the Lévy symbolwe obtain the form given in Lecture 1 for stable laws with µ = 0, β = 1and σα = cos

(απ2

).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 40 / 56

Page 143: Koc2(dba)

(2) α-Stable Subordinators

Using straightforward calculus, we find that for 0 < α < 1, u ≥ 0,

uα =α

Γ(1− α)

∫ ∞0

(1− e−ux )dx

x1+α.

Hence for each 0 < α < 1 there exists an α-stable subordinator T withLaplace exponent

ψ(u) = uα.

and the characteristics of T are (0, λ) where λ(dx) = αΓ(1−α)

dxx1+α .

Note that when we analytically continue this to obtain the Lévy symbolwe obtain the form given in Lecture 1 for stable laws with µ = 0, β = 1and σα = cos

(απ2

).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 40 / 56

Page 144: Koc2(dba)

(2) α-Stable Subordinators

Using straightforward calculus, we find that for 0 < α < 1, u ≥ 0,

uα =α

Γ(1− α)

∫ ∞0

(1− e−ux )dx

x1+α.

Hence for each 0 < α < 1 there exists an α-stable subordinator T withLaplace exponent

ψ(u) = uα.

and the characteristics of T are (0, λ) where λ(dx) = αΓ(1−α)

dxx1+α .

Note that when we analytically continue this to obtain the Lévy symbolwe obtain the form given in Lecture 1 for stable laws with µ = 0, β = 1and σα = cos

(απ2

).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 40 / 56

Page 145: Koc2(dba)

(2) α-Stable Subordinators

Using straightforward calculus, we find that for 0 < α < 1, u ≥ 0,

uα =α

Γ(1− α)

∫ ∞0

(1− e−ux )dx

x1+α.

Hence for each 0 < α < 1 there exists an α-stable subordinator T withLaplace exponent

ψ(u) = uα.

and the characteristics of T are (0, λ) where λ(dx) = αΓ(1−α)

dxx1+α .

Note that when we analytically continue this to obtain the Lévy symbolwe obtain the form given in Lecture 1 for stable laws with µ = 0, β = 1and σα = cos

(απ2

).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 40 / 56

Page 146: Koc2(dba)

(3) The Lévy Subordinator

The 12 -stable subordinator has a density given by the Lévy distribution

(with µ = 0 and σ = t2

2 )

fT (t)(s) =

(t

2√π

)s−

32 e−

t24s ,

for s ≥ 0. The Lévy subordinator has a nice probabilistic interpretationas a first hitting time for one-dimensional standard Brownian motion(B(t), t ≥ 0),

T (t) = inf

s > 0; B(s) =t√2

. (2.6)

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 41 / 56

Page 147: Koc2(dba)

(3) The Lévy Subordinator

The 12 -stable subordinator has a density given by the Lévy distribution

(with µ = 0 and σ = t2

2 )

fT (t)(s) =

(t

2√π

)s−

32 e−

t24s ,

for s ≥ 0. The Lévy subordinator has a nice probabilistic interpretationas a first hitting time for one-dimensional standard Brownian motion(B(t), t ≥ 0),

T (t) = inf

s > 0; B(s) =t√2

. (2.6)

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 41 / 56

Page 148: Koc2(dba)

(3) The Lévy Subordinator

The 12 -stable subordinator has a density given by the Lévy distribution

(with µ = 0 and σ = t2

2 )

fT (t)(s) =

(t

2√π

)s−

32 e−

t24s ,

for s ≥ 0. The Lévy subordinator has a nice probabilistic interpretationas a first hitting time for one-dimensional standard Brownian motion(B(t), t ≥ 0),

T (t) = inf

s > 0; B(s) =t√2

. (2.6)

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 41 / 56

Page 149: Koc2(dba)

(3) The Lévy Subordinator

The 12 -stable subordinator has a density given by the Lévy distribution

(with µ = 0 and σ = t2

2 )

fT (t)(s) =

(t

2√π

)s−

32 e−

t24s ,

for s ≥ 0. The Lévy subordinator has a nice probabilistic interpretationas a first hitting time for one-dimensional standard Brownian motion(B(t), t ≥ 0),

T (t) = inf

s > 0; B(s) =t√2

. (2.6)

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 41 / 56

Page 150: Koc2(dba)

To show directly that for each t ≥ 0,

E(e−uT (t)) =

∫ ∞0

e−usfT (t)(s)ds = e−tu12 ,

write gt (u) = E(e−uT (t)). Differentiate with respect to u and make thesubstitution x = t2

4us to obtain the differential equationg′t (u) = − t

2√

u gt (u). Via the substitution y = t2√

s we see that gt (0) = 1and the result follows.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 42 / 56

Page 151: Koc2(dba)

To show directly that for each t ≥ 0,

E(e−uT (t)) =

∫ ∞0

e−usfT (t)(s)ds = e−tu12 ,

write gt (u) = E(e−uT (t)). Differentiate with respect to u and make thesubstitution x = t2

4us to obtain the differential equationg′t (u) = − t

2√

u gt (u). Via the substitution y = t2√

s we see that gt (0) = 1and the result follows.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 42 / 56

Page 152: Koc2(dba)

To show directly that for each t ≥ 0,

E(e−uT (t)) =

∫ ∞0

e−usfT (t)(s)ds = e−tu12 ,

write gt (u) = E(e−uT (t)). Differentiate with respect to u and make thesubstitution x = t2

4us to obtain the differential equationg′t (u) = − t

2√

u gt (u). Via the substitution y = t2√

s we see that gt (0) = 1and the result follows.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 42 / 56

Page 153: Koc2(dba)

(4) Inverse Gaussian Subordinators

We generalise the Lévy subordinator by replacing Brownian motion bythe Gaussian process C = (C(t), t ≥ 0) where each C(t) = B(t) + µtand µ ∈ R. The inverse Gaussian subordinator is defined by

T (t) = infs > 0; C(s) = δt

where δ > 0 and is so-called since t → T (t) is the generalised inverseof a Gaussian process.Using martingale methods, we can show that for each t ,u > 0,

E(e−uT (t)) = e−tδ(√

2u+µ2−µ), (2.7)

In fact each T (t) has a density:-

fT (t)(s) =δt√2π

eδtµs−32 exp

−1

2(t2δ2s−1 + µ2s)

, (2.8)

for each s, t ≥ 0.In general any random variable with density fT (1) is called an inverseGaussian and denoted as IG(δ, µ).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 43 / 56

Page 154: Koc2(dba)

(4) Inverse Gaussian Subordinators

We generalise the Lévy subordinator by replacing Brownian motion bythe Gaussian process C = (C(t), t ≥ 0) where each C(t) = B(t) + µtand µ ∈ R. The inverse Gaussian subordinator is defined by

T (t) = infs > 0; C(s) = δt

where δ > 0 and is so-called since t → T (t) is the generalised inverseof a Gaussian process.Using martingale methods, we can show that for each t ,u > 0,

E(e−uT (t)) = e−tδ(√

2u+µ2−µ), (2.7)

In fact each T (t) has a density:-

fT (t)(s) =δt√2π

eδtµs−32 exp

−1

2(t2δ2s−1 + µ2s)

, (2.8)

for each s, t ≥ 0.In general any random variable with density fT (1) is called an inverseGaussian and denoted as IG(δ, µ).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 43 / 56

Page 155: Koc2(dba)

(4) Inverse Gaussian Subordinators

We generalise the Lévy subordinator by replacing Brownian motion bythe Gaussian process C = (C(t), t ≥ 0) where each C(t) = B(t) + µtand µ ∈ R. The inverse Gaussian subordinator is defined by

T (t) = infs > 0; C(s) = δt

where δ > 0 and is so-called since t → T (t) is the generalised inverseof a Gaussian process.Using martingale methods, we can show that for each t ,u > 0,

E(e−uT (t)) = e−tδ(√

2u+µ2−µ), (2.7)

In fact each T (t) has a density:-

fT (t)(s) =δt√2π

eδtµs−32 exp

−1

2(t2δ2s−1 + µ2s)

, (2.8)

for each s, t ≥ 0.In general any random variable with density fT (1) is called an inverseGaussian and denoted as IG(δ, µ).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 43 / 56

Page 156: Koc2(dba)

(4) Inverse Gaussian Subordinators

We generalise the Lévy subordinator by replacing Brownian motion bythe Gaussian process C = (C(t), t ≥ 0) where each C(t) = B(t) + µtand µ ∈ R. The inverse Gaussian subordinator is defined by

T (t) = infs > 0; C(s) = δt

where δ > 0 and is so-called since t → T (t) is the generalised inverseof a Gaussian process.Using martingale methods, we can show that for each t ,u > 0,

E(e−uT (t)) = e−tδ(√

2u+µ2−µ), (2.7)

In fact each T (t) has a density:-

fT (t)(s) =δt√2π

eδtµs−32 exp

−1

2(t2δ2s−1 + µ2s)

, (2.8)

for each s, t ≥ 0.In general any random variable with density fT (1) is called an inverseGaussian and denoted as IG(δ, µ).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 43 / 56

Page 157: Koc2(dba)

(4) Inverse Gaussian Subordinators

We generalise the Lévy subordinator by replacing Brownian motion bythe Gaussian process C = (C(t), t ≥ 0) where each C(t) = B(t) + µtand µ ∈ R. The inverse Gaussian subordinator is defined by

T (t) = infs > 0; C(s) = δt

where δ > 0 and is so-called since t → T (t) is the generalised inverseof a Gaussian process.Using martingale methods, we can show that for each t ,u > 0,

E(e−uT (t)) = e−tδ(√

2u+µ2−µ), (2.7)

In fact each T (t) has a density:-

fT (t)(s) =δt√2π

eδtµs−32 exp

−1

2(t2δ2s−1 + µ2s)

, (2.8)

for each s, t ≥ 0.In general any random variable with density fT (1) is called an inverseGaussian and denoted as IG(δ, µ).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 43 / 56

Page 158: Koc2(dba)

(5) Gamma Subordinators

Let (T (t), t ≥ 0) be a gamma process with parameters a,b > 0 so thateach T (t) has density

fT (t)(x) =bat

Γ(at)xat−1e−bx ,

for x ≥ 0; then it is easy to verify that for each u ≥ 0,∫ ∞0

e−ux fT (t)(x)dx =(

1 +ub

)−at= exp

(−ta log

(1 +

ub

)).

From here it is a straightforward exercise in calculus to show that∫ ∞0

e−ux fT (t)(x)dx = exp[−t∫ ∞

0(1− e−ux )ax−1e−bxdx

].

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 44 / 56

Page 159: Koc2(dba)

(5) Gamma Subordinators

Let (T (t), t ≥ 0) be a gamma process with parameters a,b > 0 so thateach T (t) has density

fT (t)(x) =bat

Γ(at)xat−1e−bx ,

for x ≥ 0; then it is easy to verify that for each u ≥ 0,∫ ∞0

e−ux fT (t)(x)dx =(

1 +ub

)−at= exp

(−ta log

(1 +

ub

)).

From here it is a straightforward exercise in calculus to show that∫ ∞0

e−ux fT (t)(x)dx = exp[−t∫ ∞

0(1− e−ux )ax−1e−bxdx

].

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 44 / 56

Page 160: Koc2(dba)

(5) Gamma Subordinators

Let (T (t), t ≥ 0) be a gamma process with parameters a,b > 0 so thateach T (t) has density

fT (t)(x) =bat

Γ(at)xat−1e−bx ,

for x ≥ 0; then it is easy to verify that for each u ≥ 0,∫ ∞0

e−ux fT (t)(x)dx =(

1 +ub

)−at= exp

(−ta log

(1 +

ub

)).

From here it is a straightforward exercise in calculus to show that∫ ∞0

e−ux fT (t)(x)dx = exp[−t∫ ∞

0(1− e−ux )ax−1e−bxdx

].

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 44 / 56

Page 161: Koc2(dba)

From this we see that (T (t), t ≥ 0) is a subordinator with b = 0 andλ(dx) = ax−1e−bxdx . Moreover ψ(u) = a log

(1 + u

b

)is the associated

Bernstein function (see below).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 45 / 56

Page 162: Koc2(dba)

From this we see that (T (t), t ≥ 0) is a subordinator with b = 0 andλ(dx) = ax−1e−bxdx . Moreover ψ(u) = a log

(1 + u

b

)is the associated

Bernstein function (see below).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 45 / 56

Page 163: Koc2(dba)

0 1 2 3 4 50

1

2

3

4

5

Simulation of a gamma subordinator.Dave Applebaum (Sheffield UK) Lecture 2 December 2011 46 / 56

Page 164: Koc2(dba)

Before we go further into the probabilistic properties of subordinatorswe’ll make a quick diversion into analysis.Let f ∈ C∞((0,∞)). We say it is completely monotone if (−1)nf (n) ≥ 0for all n ∈ N, and a Bernstein function if f ≥ 0 and (−1)nf (n) ≤ 0 for alln ∈ N.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 47 / 56

Page 165: Koc2(dba)

Before we go further into the probabilistic properties of subordinatorswe’ll make a quick diversion into analysis.Let f ∈ C∞((0,∞)). We say it is completely monotone if (−1)nf (n) ≥ 0for all n ∈ N, and a Bernstein function if f ≥ 0 and (−1)nf (n) ≤ 0 for alln ∈ N.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 47 / 56

Page 166: Koc2(dba)

Before we go further into the probabilistic properties of subordinatorswe’ll make a quick diversion into analysis.Let f ∈ C∞((0,∞)). We say it is completely monotone if (−1)nf (n) ≥ 0for all n ∈ N, and a Bernstein function if f ≥ 0 and (−1)nf (n) ≤ 0 for alln ∈ N.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 47 / 56

Page 167: Koc2(dba)

Before we go further into the probabilistic properties of subordinatorswe’ll make a quick diversion into analysis.Let f ∈ C∞((0,∞)). We say it is completely monotone if (−1)nf (n) ≥ 0for all n ∈ N, and a Bernstein function if f ≥ 0 and (−1)nf (n) ≤ 0 for alln ∈ N.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 47 / 56

Page 168: Koc2(dba)

Theorem

1 f is a Bernstein function if and only if the mapping x → e−tf (x) iscompletely monotone for all t ≥ 0.

2 f is a Bernstein function if and only if it has the representation

f (x) = a + bx +

∫ ∞0

(1− e−yx )λ(dy),

for all x > 0 where a,b ≥ 0 and∫∞

0 (y ∧ 1)λ(dy) <∞.3 g is completely monotone if and only if there exists a measure µ

on [0,∞) for which

g(x) =

∫ ∞0

e−xyµ(dy).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 48 / 56

Page 169: Koc2(dba)

Theorem

1 f is a Bernstein function if and only if the mapping x → e−tf (x) iscompletely monotone for all t ≥ 0.

2 f is a Bernstein function if and only if it has the representation

f (x) = a + bx +

∫ ∞0

(1− e−yx )λ(dy),

for all x > 0 where a,b ≥ 0 and∫∞

0 (y ∧ 1)λ(dy) <∞.3 g is completely monotone if and only if there exists a measure µ

on [0,∞) for which

g(x) =

∫ ∞0

e−xyµ(dy).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 48 / 56

Page 170: Koc2(dba)

Theorem

1 f is a Bernstein function if and only if the mapping x → e−tf (x) iscompletely monotone for all t ≥ 0.

2 f is a Bernstein function if and only if it has the representation

f (x) = a + bx +

∫ ∞0

(1− e−yx )λ(dy),

for all x > 0 where a,b ≥ 0 and∫∞

0 (y ∧ 1)λ(dy) <∞.3 g is completely monotone if and only if there exists a measure µ

on [0,∞) for which

g(x) =

∫ ∞0

e−xyµ(dy).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 48 / 56

Page 171: Koc2(dba)

To interpret this theorem, first consider the case a = 0. In this case, ifwe compare the statement of Theorem 4 with equation (2.5), we seethat there is a one to one correspondence between Bernstein functionsfor which limx→0 f (x) = 0 and Laplace exponents of subordinators.The Laplace transforms of the laws of subordinators are alwayscompletely monotone functions and a subclass of all possiblemeasures µ appearing in Theorem 4 (3) is given by all possible lawspT (t) associated to subordinators. A general Bernstein function witha > 0 can be given a probabilistic interpretation by means of “killing”.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 49 / 56

Page 172: Koc2(dba)

To interpret this theorem, first consider the case a = 0. In this case, ifwe compare the statement of Theorem 4 with equation (2.5), we seethat there is a one to one correspondence between Bernstein functionsfor which limx→0 f (x) = 0 and Laplace exponents of subordinators.The Laplace transforms of the laws of subordinators are alwayscompletely monotone functions and a subclass of all possiblemeasures µ appearing in Theorem 4 (3) is given by all possible lawspT (t) associated to subordinators. A general Bernstein function witha > 0 can be given a probabilistic interpretation by means of “killing”.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 49 / 56

Page 173: Koc2(dba)

To interpret this theorem, first consider the case a = 0. In this case, ifwe compare the statement of Theorem 4 with equation (2.5), we seethat there is a one to one correspondence between Bernstein functionsfor which limx→0 f (x) = 0 and Laplace exponents of subordinators.The Laplace transforms of the laws of subordinators are alwayscompletely monotone functions and a subclass of all possiblemeasures µ appearing in Theorem 4 (3) is given by all possible lawspT (t) associated to subordinators. A general Bernstein function witha > 0 can be given a probabilistic interpretation by means of “killing”.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 49 / 56

Page 174: Koc2(dba)

To interpret this theorem, first consider the case a = 0. In this case, ifwe compare the statement of Theorem 4 with equation (2.5), we seethat there is a one to one correspondence between Bernstein functionsfor which limx→0 f (x) = 0 and Laplace exponents of subordinators.The Laplace transforms of the laws of subordinators are alwayscompletely monotone functions and a subclass of all possiblemeasures µ appearing in Theorem 4 (3) is given by all possible lawspT (t) associated to subordinators. A general Bernstein function witha > 0 can be given a probabilistic interpretation by means of “killing”.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 49 / 56

Page 175: Koc2(dba)

One of the most important probabilistic applications of subordinators isto “time change”. Let X be an arbitrary Lévy process and let T be asubordinator defined on the same probability space as X such that Xand T are independent. We define a new stochastic processZ = (Z (t), t ≥ 0) by the prescription

Z (t) = X (T (t)),

for each t ≥ 0 so that for each ω ∈ Ω,Z (t)(ω) = X (T (t)(ω))(ω). Thekey result is then the following.

Theorem

Z is a Lévy process.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 50 / 56

Page 176: Koc2(dba)

One of the most important probabilistic applications of subordinators isto “time change”. Let X be an arbitrary Lévy process and let T be asubordinator defined on the same probability space as X such that Xand T are independent. We define a new stochastic processZ = (Z (t), t ≥ 0) by the prescription

Z (t) = X (T (t)),

for each t ≥ 0 so that for each ω ∈ Ω,Z (t)(ω) = X (T (t)(ω))(ω). Thekey result is then the following.

Theorem

Z is a Lévy process.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 50 / 56

Page 177: Koc2(dba)

One of the most important probabilistic applications of subordinators isto “time change”. Let X be an arbitrary Lévy process and let T be asubordinator defined on the same probability space as X such that Xand T are independent. We define a new stochastic processZ = (Z (t), t ≥ 0) by the prescription

Z (t) = X (T (t)),

for each t ≥ 0 so that for each ω ∈ Ω,Z (t)(ω) = X (T (t)(ω))(ω). Thekey result is then the following.

Theorem

Z is a Lévy process.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 50 / 56

Page 178: Koc2(dba)

One of the most important probabilistic applications of subordinators isto “time change”. Let X be an arbitrary Lévy process and let T be asubordinator defined on the same probability space as X such that Xand T are independent. We define a new stochastic processZ = (Z (t), t ≥ 0) by the prescription

Z (t) = X (T (t)),

for each t ≥ 0 so that for each ω ∈ Ω,Z (t)(ω) = X (T (t)(ω))(ω). Thekey result is then the following.

Theorem

Z is a Lévy process.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 50 / 56

Page 179: Koc2(dba)

One of the most important probabilistic applications of subordinators isto “time change”. Let X be an arbitrary Lévy process and let T be asubordinator defined on the same probability space as X such that Xand T are independent. We define a new stochastic processZ = (Z (t), t ≥ 0) by the prescription

Z (t) = X (T (t)),

for each t ≥ 0 so that for each ω ∈ Ω,Z (t)(ω) = X (T (t)(ω))(ω). Thekey result is then the following.

Theorem

Z is a Lévy process.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 50 / 56

Page 180: Koc2(dba)

We compute the Lévy symbol of the subordinated process Z .

Theorem

ηZ = −ψT (−ηX ).

Proof. For each u ∈ Rd , t ≥ 0,

eiηZ (t)(u) = E(ei(u,Z (t)))

= E(ei(u,X(T (t))))

=

∫E(ei(u,X(s)))pT (t)(ds)

=

∫esηX (u)pT (t)(ds)

= E(e−(−ηX (u))T (t))

= e−tψT (−ηX (u)). 2

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 51 / 56

Page 181: Koc2(dba)

We compute the Lévy symbol of the subordinated process Z .

Theorem

ηZ = −ψT (−ηX ).

Proof. For each u ∈ Rd , t ≥ 0,

eiηZ (t)(u) = E(ei(u,Z (t)))

= E(ei(u,X(T (t))))

=

∫E(ei(u,X(s)))pT (t)(ds)

=

∫esηX (u)pT (t)(ds)

= E(e−(−ηX (u))T (t))

= e−tψT (−ηX (u)). 2

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 51 / 56

Page 182: Koc2(dba)

We compute the Lévy symbol of the subordinated process Z .

Theorem

ηZ = −ψT (−ηX ).

Proof. For each u ∈ Rd , t ≥ 0,

eiηZ (t)(u) = E(ei(u,Z (t)))

= E(ei(u,X(T (t))))

=

∫E(ei(u,X(s)))pT (t)(ds)

=

∫esηX (u)pT (t)(ds)

= E(e−(−ηX (u))T (t))

= e−tψT (−ηX (u)). 2

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 51 / 56

Page 183: Koc2(dba)

We compute the Lévy symbol of the subordinated process Z .

Theorem

ηZ = −ψT (−ηX ).

Proof. For each u ∈ Rd , t ≥ 0,

eiηZ (t)(u) = E(ei(u,Z (t)))

= E(ei(u,X(T (t))))

=

∫E(ei(u,X(s)))pT (t)(ds)

=

∫esηX (u)pT (t)(ds)

= E(e−(−ηX (u))T (t))

= e−tψT (−ηX (u)). 2

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 51 / 56

Page 184: Koc2(dba)

We compute the Lévy symbol of the subordinated process Z .

Theorem

ηZ = −ψT (−ηX ).

Proof. For each u ∈ Rd , t ≥ 0,

eiηZ (t)(u) = E(ei(u,Z (t)))

= E(ei(u,X(T (t))))

=

∫E(ei(u,X(s)))pT (t)(ds)

=

∫esηX (u)pT (t)(ds)

= E(e−(−ηX (u))T (t))

= e−tψT (−ηX (u)). 2

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 51 / 56

Page 185: Koc2(dba)

We compute the Lévy symbol of the subordinated process Z .

Theorem

ηZ = −ψT (−ηX ).

Proof. For each u ∈ Rd , t ≥ 0,

eiηZ (t)(u) = E(ei(u,Z (t)))

= E(ei(u,X(T (t))))

=

∫E(ei(u,X(s)))pT (t)(ds)

=

∫esηX (u)pT (t)(ds)

= E(e−(−ηX (u))T (t))

= e−tψT (−ηX (u)). 2

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 51 / 56

Page 186: Koc2(dba)

We compute the Lévy symbol of the subordinated process Z .

Theorem

ηZ = −ψT (−ηX ).

Proof. For each u ∈ Rd , t ≥ 0,

eiηZ (t)(u) = E(ei(u,Z (t)))

= E(ei(u,X(T (t))))

=

∫E(ei(u,X(s)))pT (t)(ds)

=

∫esηX (u)pT (t)(ds)

= E(e−(−ηX (u))T (t))

= e−tψT (−ηX (u)). 2

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 51 / 56

Page 187: Koc2(dba)

We compute the Lévy symbol of the subordinated process Z .

Theorem

ηZ = −ψT (−ηX ).

Proof. For each u ∈ Rd , t ≥ 0,

eiηZ (t)(u) = E(ei(u,Z (t)))

= E(ei(u,X(T (t))))

=

∫E(ei(u,X(s)))pT (t)(ds)

=

∫esηX (u)pT (t)(ds)

= E(e−(−ηX (u))T (t))

= e−tψT (−ηX (u)). 2

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 51 / 56

Page 188: Koc2(dba)

Example : From Brownian Motion to 2α-stable Processes

Let T be an α-stable subordinator (with 0 < α < 1) and X be ad-dimensional Brownian motion with covariance A = 2I, which isindependent of T . Then for each s ≥ 0,u ∈ Rd , ψT (s) = sα andηX (u) = −|u|2, and hence ηZ (u) = −|u|2α, i.e. Z is a rotationallyinvariant 2α-stable process.In particular, if d = 1 and T is the Lévy subordinator, then Z is theCauchy process, so each Z (t) has a symmetric Cauchy distributionwith parameters µ = 0 and σ = 1. It is interesting to observe from (2.6)that Z is constructed from two independent standard Brownianmotions.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 52 / 56

Page 189: Koc2(dba)

Example : From Brownian Motion to 2α-stable Processes

Let T be an α-stable subordinator (with 0 < α < 1) and X be ad-dimensional Brownian motion with covariance A = 2I, which isindependent of T . Then for each s ≥ 0,u ∈ Rd , ψT (s) = sα andηX (u) = −|u|2, and hence ηZ (u) = −|u|2α, i.e. Z is a rotationallyinvariant 2α-stable process.In particular, if d = 1 and T is the Lévy subordinator, then Z is theCauchy process, so each Z (t) has a symmetric Cauchy distributionwith parameters µ = 0 and σ = 1. It is interesting to observe from (2.6)that Z is constructed from two independent standard Brownianmotions.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 52 / 56

Page 190: Koc2(dba)

Example : From Brownian Motion to 2α-stable Processes

Let T be an α-stable subordinator (with 0 < α < 1) and X be ad-dimensional Brownian motion with covariance A = 2I, which isindependent of T . Then for each s ≥ 0,u ∈ Rd , ψT (s) = sα andηX (u) = −|u|2, and hence ηZ (u) = −|u|2α, i.e. Z is a rotationallyinvariant 2α-stable process.In particular, if d = 1 and T is the Lévy subordinator, then Z is theCauchy process, so each Z (t) has a symmetric Cauchy distributionwith parameters µ = 0 and σ = 1. It is interesting to observe from (2.6)that Z is constructed from two independent standard Brownianmotions.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 52 / 56

Page 191: Koc2(dba)

Example : From Brownian Motion to 2α-stable Processes

Let T be an α-stable subordinator (with 0 < α < 1) and X be ad-dimensional Brownian motion with covariance A = 2I, which isindependent of T . Then for each s ≥ 0,u ∈ Rd , ψT (s) = sα andηX (u) = −|u|2, and hence ηZ (u) = −|u|2α, i.e. Z is a rotationallyinvariant 2α-stable process.In particular, if d = 1 and T is the Lévy subordinator, then Z is theCauchy process, so each Z (t) has a symmetric Cauchy distributionwith parameters µ = 0 and σ = 1. It is interesting to observe from (2.6)that Z is constructed from two independent standard Brownianmotions.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 52 / 56

Page 192: Koc2(dba)

Examples of subordinated processes have recently found usefulapplications in mathematical finance. We briefly mention twointeresting cases:-

(i) The Variance Gamma Process

In this case Z (t) = B(T (t)), for each t ≥ 0, where B is a standardBrownian motion and T is an independent gamma subordinator. Thename derives from the fact that, in a formal sense, each Z (t) arises byreplacing the variance of a normal random variable by a gammarandom variable. Using Theorem 6, a simple calculation yields

ΦZ (t)(u) =

(1 +

u2

2b

)−at

,

for each t ≥ 0,u ∈ R, where a and b are the usual parameters whichdetermine the gamma process. It is an easy exercise in manipulatingcharacteristic functions to compute the alternative representation:

Z (t) = G(t)− L(t),

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 53 / 56

Page 193: Koc2(dba)

Examples of subordinated processes have recently found usefulapplications in mathematical finance. We briefly mention twointeresting cases:-

(i) The Variance Gamma Process

In this case Z (t) = B(T (t)), for each t ≥ 0, where B is a standardBrownian motion and T is an independent gamma subordinator. Thename derives from the fact that, in a formal sense, each Z (t) arises byreplacing the variance of a normal random variable by a gammarandom variable. Using Theorem 6, a simple calculation yields

ΦZ (t)(u) =

(1 +

u2

2b

)−at

,

for each t ≥ 0,u ∈ R, where a and b are the usual parameters whichdetermine the gamma process. It is an easy exercise in manipulatingcharacteristic functions to compute the alternative representation:

Z (t) = G(t)− L(t),

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 53 / 56

Page 194: Koc2(dba)

Examples of subordinated processes have recently found usefulapplications in mathematical finance. We briefly mention twointeresting cases:-

(i) The Variance Gamma Process

In this case Z (t) = B(T (t)), for each t ≥ 0, where B is a standardBrownian motion and T is an independent gamma subordinator. Thename derives from the fact that, in a formal sense, each Z (t) arises byreplacing the variance of a normal random variable by a gammarandom variable. Using Theorem 6, a simple calculation yields

ΦZ (t)(u) =

(1 +

u2

2b

)−at

,

for each t ≥ 0,u ∈ R, where a and b are the usual parameters whichdetermine the gamma process. It is an easy exercise in manipulatingcharacteristic functions to compute the alternative representation:

Z (t) = G(t)− L(t),

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 53 / 56

Page 195: Koc2(dba)

Examples of subordinated processes have recently found usefulapplications in mathematical finance. We briefly mention twointeresting cases:-

(i) The Variance Gamma Process

In this case Z (t) = B(T (t)), for each t ≥ 0, where B is a standardBrownian motion and T is an independent gamma subordinator. Thename derives from the fact that, in a formal sense, each Z (t) arises byreplacing the variance of a normal random variable by a gammarandom variable. Using Theorem 6, a simple calculation yields

ΦZ (t)(u) =

(1 +

u2

2b

)−at

,

for each t ≥ 0,u ∈ R, where a and b are the usual parameters whichdetermine the gamma process. It is an easy exercise in manipulatingcharacteristic functions to compute the alternative representation:

Z (t) = G(t)− L(t),

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 53 / 56

Page 196: Koc2(dba)

Examples of subordinated processes have recently found usefulapplications in mathematical finance. We briefly mention twointeresting cases:-

(i) The Variance Gamma Process

In this case Z (t) = B(T (t)), for each t ≥ 0, where B is a standardBrownian motion and T is an independent gamma subordinator. Thename derives from the fact that, in a formal sense, each Z (t) arises byreplacing the variance of a normal random variable by a gammarandom variable. Using Theorem 6, a simple calculation yields

ΦZ (t)(u) =

(1 +

u2

2b

)−at

,

for each t ≥ 0,u ∈ R, where a and b are the usual parameters whichdetermine the gamma process. It is an easy exercise in manipulatingcharacteristic functions to compute the alternative representation:

Z (t) = G(t)− L(t),

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 53 / 56

Page 197: Koc2(dba)

where G and L are independent gamma subordinators each withparameters

√2b and a. This yields a nice financial representation of Z

as a difference of independent “gains” and “losses”. From thisrepresentation, we can compute that Z has a Lévy density

gν(x) =a|x |

(e√

2bx1(−∞,0)(x) + e−√

2bx1(0,∞)(x)).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 54 / 56

Page 198: Koc2(dba)

where G and L are independent gamma subordinators each withparameters

√2b and a. This yields a nice financial representation of Z

as a difference of independent “gains” and “losses”. From thisrepresentation, we can compute that Z has a Lévy density

gν(x) =a|x |

(e√

2bx1(−∞,0)(x) + e−√

2bx1(0,∞)(x)).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 54 / 56

Page 199: Koc2(dba)

where G and L are independent gamma subordinators each withparameters

√2b and a. This yields a nice financial representation of Z

as a difference of independent “gains” and “losses”. From thisrepresentation, we can compute that Z has a Lévy density

gν(x) =a|x |

(e√

2bx1(−∞,0)(x) + e−√

2bx1(0,∞)(x)).

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 54 / 56

Page 200: Koc2(dba)

The CGMY processes are a generalisation of the variance-gammaprocesses due to Carr, Geman, Madan and Yor. They arecharacterised by their Lévy density:

gν(x) =a

|x |1+α(eb1x1(−∞,0)(x) + e−b2x1(0,∞)(x)),

where a > 0,0 ≤ α < 2 and b1,b2 ≥ 0. We obtain stable Lévyprocesses when b1 = b2 = 0. They can also be obatined bysubordinating Brownian motion with drift. The CGMY processes are asubclass of the tempered stable processes. Note how the exponentialdampens the effects of large jumps.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 55 / 56

Page 201: Koc2(dba)

The CGMY processes are a generalisation of the variance-gammaprocesses due to Carr, Geman, Madan and Yor. They arecharacterised by their Lévy density:

gν(x) =a

|x |1+α(eb1x1(−∞,0)(x) + e−b2x1(0,∞)(x)),

where a > 0,0 ≤ α < 2 and b1,b2 ≥ 0. We obtain stable Lévyprocesses when b1 = b2 = 0. They can also be obatined bysubordinating Brownian motion with drift. The CGMY processes are asubclass of the tempered stable processes. Note how the exponentialdampens the effects of large jumps.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 55 / 56

Page 202: Koc2(dba)

The CGMY processes are a generalisation of the variance-gammaprocesses due to Carr, Geman, Madan and Yor. They arecharacterised by their Lévy density:

gν(x) =a

|x |1+α(eb1x1(−∞,0)(x) + e−b2x1(0,∞)(x)),

where a > 0,0 ≤ α < 2 and b1,b2 ≥ 0. We obtain stable Lévyprocesses when b1 = b2 = 0. They can also be obatined bysubordinating Brownian motion with drift. The CGMY processes are asubclass of the tempered stable processes. Note how the exponentialdampens the effects of large jumps.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 55 / 56

Page 203: Koc2(dba)

The CGMY processes are a generalisation of the variance-gammaprocesses due to Carr, Geman, Madan and Yor. They arecharacterised by their Lévy density:

gν(x) =a

|x |1+α(eb1x1(−∞,0)(x) + e−b2x1(0,∞)(x)),

where a > 0,0 ≤ α < 2 and b1,b2 ≥ 0. We obtain stable Lévyprocesses when b1 = b2 = 0. They can also be obatined bysubordinating Brownian motion with drift. The CGMY processes are asubclass of the tempered stable processes. Note how the exponentialdampens the effects of large jumps.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 55 / 56

Page 204: Koc2(dba)

The CGMY processes are a generalisation of the variance-gammaprocesses due to Carr, Geman, Madan and Yor. They arecharacterised by their Lévy density:

gν(x) =a

|x |1+α(eb1x1(−∞,0)(x) + e−b2x1(0,∞)(x)),

where a > 0,0 ≤ α < 2 and b1,b2 ≥ 0. We obtain stable Lévyprocesses when b1 = b2 = 0. They can also be obatined bysubordinating Brownian motion with drift. The CGMY processes are asubclass of the tempered stable processes. Note how the exponentialdampens the effects of large jumps.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 55 / 56

Page 205: Koc2(dba)

The CGMY processes are a generalisation of the variance-gammaprocesses due to Carr, Geman, Madan and Yor. They arecharacterised by their Lévy density:

gν(x) =a

|x |1+α(eb1x1(−∞,0)(x) + e−b2x1(0,∞)(x)),

where a > 0,0 ≤ α < 2 and b1,b2 ≥ 0. We obtain stable Lévyprocesses when b1 = b2 = 0. They can also be obatined bysubordinating Brownian motion with drift. The CGMY processes are asubclass of the tempered stable processes. Note how the exponentialdampens the effects of large jumps.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 55 / 56

Page 206: Koc2(dba)

The CGMY processes are a generalisation of the variance-gammaprocesses due to Carr, Geman, Madan and Yor. They arecharacterised by their Lévy density:

gν(x) =a

|x |1+α(eb1x1(−∞,0)(x) + e−b2x1(0,∞)(x)),

where a > 0,0 ≤ α < 2 and b1,b2 ≥ 0. We obtain stable Lévyprocesses when b1 = b2 = 0. They can also be obatined bysubordinating Brownian motion with drift. The CGMY processes are asubclass of the tempered stable processes. Note how the exponentialdampens the effects of large jumps.

Dave Applebaum (Sheffield UK) Lecture 2 December 2011 55 / 56

Page 207: Koc2(dba)

(ii) The Normal Inverse Gaussian Process

In this case Z (t) = C(T (t)) + µt for each t ≥ 0 where eachC(t) = B(t) + βt , with β ∈ R. Here T is an inverse Gaussiansubordinator, which is independent of B, and in which we write theparameter γ =

√α2 − β2, where α ∈ R with α2 ≥ β2. Z depends on

four parameters and has characteristic function

ΦZ (t)(α, β, δ, µ)(u) = exp δt(√α2 − β2 −

√α2 − (β + iu)2) + iµtu

for each u ∈ R, t ≥ 0. Here δ > 0 is as in (2.7).Each Z (t) has a density given by

fZ (t)(x) = C(α, β, δ, µ; t)q(

x − µtδt

)−1

K1

(δtαq

(x − µtδt

))eβx ,

for each x ∈ R, whereq(x) =

√1 + x2,C(α, β, δ, µ; t) = π−1αeδt

√α2−β2−βµt and K1 is a

Bessel function of the third kind.Dave Applebaum (Sheffield UK) Lecture 2 December 2011 56 / 56

Page 208: Koc2(dba)

(ii) The Normal Inverse Gaussian Process

In this case Z (t) = C(T (t)) + µt for each t ≥ 0 where eachC(t) = B(t) + βt , with β ∈ R. Here T is an inverse Gaussiansubordinator, which is independent of B, and in which we write theparameter γ =

√α2 − β2, where α ∈ R with α2 ≥ β2. Z depends on

four parameters and has characteristic function

ΦZ (t)(α, β, δ, µ)(u) = exp δt(√α2 − β2 −

√α2 − (β + iu)2) + iµtu

for each u ∈ R, t ≥ 0. Here δ > 0 is as in (2.7).Each Z (t) has a density given by

fZ (t)(x) = C(α, β, δ, µ; t)q(

x − µtδt

)−1

K1

(δtαq

(x − µtδt

))eβx ,

for each x ∈ R, whereq(x) =

√1 + x2,C(α, β, δ, µ; t) = π−1αeδt

√α2−β2−βµt and K1 is a

Bessel function of the third kind.Dave Applebaum (Sheffield UK) Lecture 2 December 2011 56 / 56

Page 209: Koc2(dba)

(ii) The Normal Inverse Gaussian Process

In this case Z (t) = C(T (t)) + µt for each t ≥ 0 where eachC(t) = B(t) + βt , with β ∈ R. Here T is an inverse Gaussiansubordinator, which is independent of B, and in which we write theparameter γ =

√α2 − β2, where α ∈ R with α2 ≥ β2. Z depends on

four parameters and has characteristic function

ΦZ (t)(α, β, δ, µ)(u) = exp δt(√α2 − β2 −

√α2 − (β + iu)2) + iµtu

for each u ∈ R, t ≥ 0. Here δ > 0 is as in (2.7).Each Z (t) has a density given by

fZ (t)(x) = C(α, β, δ, µ; t)q(

x − µtδt

)−1

K1

(δtαq

(x − µtδt

))eβx ,

for each x ∈ R, whereq(x) =

√1 + x2,C(α, β, δ, µ; t) = π−1αeδt

√α2−β2−βµt and K1 is a

Bessel function of the third kind.Dave Applebaum (Sheffield UK) Lecture 2 December 2011 56 / 56

Page 210: Koc2(dba)

(ii) The Normal Inverse Gaussian Process

In this case Z (t) = C(T (t)) + µt for each t ≥ 0 where eachC(t) = B(t) + βt , with β ∈ R. Here T is an inverse Gaussiansubordinator, which is independent of B, and in which we write theparameter γ =

√α2 − β2, where α ∈ R with α2 ≥ β2. Z depends on

four parameters and has characteristic function

ΦZ (t)(α, β, δ, µ)(u) = exp δt(√α2 − β2 −

√α2 − (β + iu)2) + iµtu

for each u ∈ R, t ≥ 0. Here δ > 0 is as in (2.7).Each Z (t) has a density given by

fZ (t)(x) = C(α, β, δ, µ; t)q(

x − µtδt

)−1

K1

(δtαq

(x − µtδt

))eβx ,

for each x ∈ R, whereq(x) =

√1 + x2,C(α, β, δ, µ; t) = π−1αeδt

√α2−β2−βµt and K1 is a

Bessel function of the third kind.Dave Applebaum (Sheffield UK) Lecture 2 December 2011 56 / 56

Page 211: Koc2(dba)

(ii) The Normal Inverse Gaussian Process

In this case Z (t) = C(T (t)) + µt for each t ≥ 0 where eachC(t) = B(t) + βt , with β ∈ R. Here T is an inverse Gaussiansubordinator, which is independent of B, and in which we write theparameter γ =

√α2 − β2, where α ∈ R with α2 ≥ β2. Z depends on

four parameters and has characteristic function

ΦZ (t)(α, β, δ, µ)(u) = exp δt(√α2 − β2 −

√α2 − (β + iu)2) + iµtu

for each u ∈ R, t ≥ 0. Here δ > 0 is as in (2.7).Each Z (t) has a density given by

fZ (t)(x) = C(α, β, δ, µ; t)q(

x − µtδt

)−1

K1

(δtαq

(x − µtδt

))eβx ,

for each x ∈ R, whereq(x) =

√1 + x2,C(α, β, δ, µ; t) = π−1αeδt

√α2−β2−βµt and K1 is a

Bessel function of the third kind.Dave Applebaum (Sheffield UK) Lecture 2 December 2011 56 / 56