 Previous Article in Journal
Precise Asymptotics for Bifurcation Curve of Nonlinear Ordinary Differential Equation

Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

# Pricing of Barrier Options on Underlying Assets with Jump-Diffusion Dynamics: A Mellin Transform Approach

School of Mathematics and Applied Statistics, University of Wollongong, Wollongong, NSW 2522, Australia
Mathematics 2020, 8(8), 1271; https://doi.org/10.3390/math8081271
Received: 10 July 2020 / Revised: 25 July 2020 / Accepted: 27 July 2020 / Published: 3 August 2020

## Abstract

:
A barrier option is an exotic path-dependent option contract where the right to buy or sell is activated or extinguished when the underlying asset reaches a certain barrier price during the lifetime of the contract. In this article we use a Mellin transform approach to derive exact pricing formulas for barrier options with general payoffs and exponential barriers on underlying assets that have jump-diffusion dynamics. With the same approach we also price barrier options on underlying futures contracts.
MSC:
91G20; 91B25; 91G80; 35A22

## 1. Introduction

A European call option is a financial contract that gives the holder the right, but not the obligation, to buy an underlying asset from the writer at an agreed strike price on a predetermined expiry date. A European put option is similar but gives the right to sell instead. Examples of the underlying asset, or simply the underlying, are stocks or futures contracts.
Options are mainly used for speculation and hedging. For example, an investor who believes that the share price for a certain stock is going to rise within the next month may invest by buying a call option on that stock. On the other hand, an investor who already owns shares of a certain stock may insure against a temporary fall in the share price by deciding to buy a put option to minimize the risk of a potential loss.
At the time the option contract is agreed upon, the holder must pay a certain amount, known as the premium or time-zero option price, to the writer. Option valuation, or option pricing, is the fundamental problem of determining a fair price for this premium. For European-style contracts, analytical expressions for the call and put premiums are given by the Nobel Prize-winning Black–Scholes formulas .
Call and put options can be characterized by their so-called payoff functions. We denote a payoff function by $g : R + → R$, where $R + = ( 0 , ∞ )$, which is typically piecewise linear. If $S ( T )$ is the asset price at the expiry date T and K is the strike price, then the call and put payoffs are $g ( S ( T ) ) = ( S ( T ) − K ) +$ and $g ( S ( T ) ) = ( K − S ( T ) ) +$, respectively, where $( z ) + = max ( z , 0 )$ for any $z ∈ R$. Thus the respective call and put payoff functions are $g ( x ) = ( x − K ) +$ and $g ( x ) = ( K − x ) +$.
Options are attractive because they can be used to create a wide range of trading strategies characterised by different payoff functions. Suppose that $K 1 < K 2 < K 3 < K 4$. Denote the usual indicator function of a set A by $1 A$, i.e., $1 A ( x ) = 1$ if $x ∈ A$ and $1 A ( x ) = 0$ if $x ∉ A$. Some popular trading strategies with their corresponding payoff functions are given in Table 1 (see Hull  and Wilmott et al.  for more details):
Consider the stochastic differential equation
$d S ( t ) = ( r − D ) S ( t ) d t + σ S ( t ) d W ( t ) ,$
where $S = { S ( t ) : t ≥ 0 }$ is the underlying asset price process and $W = { W ( t ) : t ≥ 0 }$ is a Wiener process with respect to the risk-neutral measure. Here, the risk-free rate r, the dividend yield D, and the volatility $σ$ are assumed to be constants with $r , σ > 0$ and $D ≥ 0$. Denote the generic European option price at time t by $V ( t )$ and the corresponding payoff function by g. At expiry we therefore have $V ( T ) = g ( S ( T ) )$. It is well known that $V ( t ) = v ( S ( t ) , t )$, where the option pricing function $v = v ( x , t )$ satisfies the Black–Scholes partial differential equation (PDE)
$∂ v ∂ t + 1 2 σ 2 x 2 ∂ 2 v ∂ x 2 + ( r − D ) x ∂ v ∂ x − r v = 0 .$
The premium is obtained by setting $V ( 0 ) = v ( S ( 0 ) , 0 )$, where $S ( 0 )$ is today’s known asset price.
While geometric Brownian motion assumed in the Black–Scholes asset price model (1) is convenient, it cannot capture many of the features of asset price returns, e.g., the skew/smile features of the implied volatility surface. In the absence of dividend payments, Merton  considered a jump-diffusion process that allows for the probability of the asset price to change at large magnitudes irrespective of the time interval between successive observations. The jumps in the asset price can be incorporated by introducing an additional source of uncertainty into the asset price dynamics. Empirical studies have revealed that the asset price is better described by a process with a discontinuous sample path (see, for instance, Rosenfeld , Jarrow and Rosenfeld , Ball and Torous , and Brown and Dybvig ). Cont and Tankov  showed that unlike standard diffusion models such as (1), jump-diffusion models produce rich structures of the distribution of asset returns and implied volatility surfaces.
To account for the possibility of instantaneous jumps in the asset price, Merton  proposed the following modification of (1) by assuming that the discontinuous jumps arrive as a Poisson process (here we incorporate dividend payments):
$d S ( t ) = [ r − D − λ E ( Y − 1 ) ] S ( t ) d t + σ S ( t ) d W ( t ) + ( Y − 1 ) S ( t ) d N ( t ) ,$
where Y is a nonnegative continuous random variable with $Y − 1$ denoting the impulse change in the asset price from $S ( t )$ to $Y S ( t )$ as a result of the jump, E is the expectation operator, and $N = { N ( t ) : t ≥ 0 }$ is a Poisson process with constant intensity $λ$ and such that $d N ( t ) = 1$ (respectively, $d N ( t ) = 0$) with probability $λ d t$ (respectively, $1 − λ d t$). It is assumed that $W ( t )$, $N ( t )$, and Y are independent for each t, and that the asset price jumps occur independently and identically. Analogous to the Black–Scholes PDE (2), it can be shown  that the European option pricing function v satisfies the Black–Scholes partial integro-differential equation (PIDE)
$∂ v ∂ t + 1 2 σ 2 x 2 ∂ 2 v ∂ x 2 + ( r − D ) x ∂ v ∂ x − r v + λ I ( v ; f Y ) = 0 ,$
where $I ( v ; f Y )$ is the integral operator defined by
$I ( v ; f Y ) ( x , t ) = ∫ 0 ∞ [ v ( x y , t ) − v ( x , t ) ] f Y ( y ) d y$
and $f Y$ is the probability density function of Y. Using Mellin transform techniques adapted from Rodrigo and Mamon , Li and Rodrigo  studied (4) and found exact pricing formulas for European options with general payoffs such as those in Table 1. A PIDE analogue of Dupire’s PDE was also derived and used to find an explicit formula for the implied volatility. In the same vein, Rodrigo and Goard  considered (4) with a time varying D and obtained exact pricing formulas for European options on discrete dividend-paying assets.
A barrier option is an exotic path-dependent option contract where the right to buy or sell is activated (in the case of a knock-in barrier option) or extinguished (in the case of a knock-out barrier option) when the underlying reaches a certain barrier price during the lifetime of the contract. If the option expires inactive or extinguishes, then it may be worthless or there may be a cash rebate paid out. Since payoff opportunities are more limited, a barrier option is cheaper than a similar European option. Barriers are generally fixed but time-dependent barriers can be considered as well. The rationale for a barrier option is to provide a hedge at a lower premium than a conventional option.
There are many results in the academic literature on continuously monitored barrier options. One of the earliest dates back to the work of Merton , who gave a closed-form solution for the price of a continuously monitored down-and-out European call. One approach, mainly for fixed barriers, identifies pathwise hedging strategies for European-style derivatives that either uniquely determine or provide an admissible range for the barrier option price (see, for instance, Carr et al.  and Brown et al. ). A static hedge using calls and puts for a time-dependent single barrier option was given by Andersen et al. . Their result also applies to linear diffusions with compound Poisson jumps but the hedging strategy depends on knowing the values of the barrier contract to be hedged at certain times before expiry. Geman and Yor  used a probabilistic approach for constant double barrier options in the Black–Scholes model. Kunitomo and Ikeda  introduced a method for pricing time-dependent barrier options in the Black–Scholes model with the help of the joint density of the asset and its maximum and minimum. Lattice methods were utilized by Boyle and Lau  and Ritchken , while finite difference and finite element methods were employed by Boyle and Tian  and Zvan et al. , respectively.
Recent results on time-dependent double barrier options include Fourier series expansions (Hui and Lo ), Green’s functions (Dorleitner et al. ) and Laplace transforms (Pelsser ). Davydov and Linetsky  applied spectral methods to obtain constant double barrier option prices in constant elasticity of variance models. The boundary element method was used to derive an integral representation of the barrier option price in Guardasoni and Sanfelici  and Shen and Hsiao  under a Black–Scholes framework; in Guardasoni and Sanfelici  under stochastic volatility and jumps; and in Ballestra et al.  under a mixed fractional Brownian motion. Buchen and Konstandatos  proposed a method of images approach to price double barrier options with exponential barriers, extending the results by Buchen  for single fixed barriers.
Many options have as the underlying not the cash product but the corresponding futures contract, which is often more liquid and involves lower transaction costs . Recall that a forward contract, made at time $t ∗$, is a contract where the holder pays the writer the deterministic amount $F ( t ∗ ; T ∗ )$ (known as the forward price) at the delivery date $T ∗$ and then receives the stochastic amount $S ( T ∗ )$ at the same time. Under the asset price dynamics (1), it is known  that
$F ( t ∗ ; T ∗ ) = S ( t ∗ ) e ( r − D ) ( T ∗ − t ∗ ) .$
It can be shown [2,33] that when interest rates are deterministic, the price of a futures contract is the same as the price of a forward contract. One can then consider a European option, with payoff function g and expiry date T, on an underlying futures contract on an asset with price process S satisfying (1) and with delivery date $T ∗$ such that $T < T ∗$. Thus the payoff of a European option on a futures contract is
$g ( F ( T ; T ∗ ) ) = g ( S ( T ) e ( r − D ) ( T ∗ − T ) ) .$
In the case of a call, where $g ( x ) = ( x − K ) +$, then after some modification to include D the so-called “Black-76” formula  is obtained.
The primary objective of this article is to employ a Mellin transform approach to price barrier options with general payoffs when the underlying is modeled by the jump-diffusion dynamics (3). The use of Mellin transforms in option pricing has been developed by the present author in a series of articles [10,11,12,35,36]. In the absence of jumps (i.e., $λ = 0$ in (4)), we recover the classical Black–Scholes framework (1). In fact, the corresponding barrier option pricing problem was considered by Guardasoni, Rodrigo, and Sanfelici in , where the Mellin transform was used to price single and double barrier options. Although the results in  are applicable to general time-dependent barriers, it is necessary to solve an associated linear Volterra integral equation of the first kind (or a coupled system of two linear Volterra integral equations of the first kind for double barriers). This integral cannot be solved analytically and one must resort to a numerical approximation. In this article we incorporate jumps as in (3) but consider only exponential barriers akin to that studied in Buchen and Konstandatos . Note that this includes fixed barriers as a special case. We will also use a Mellin transform technique but avoid the introduction of Volterra integral equations of the first kind.
The secondary objective of this article is to obtain, with essentially the same amount of work, exact pricing formulas for barrier options with payoffs that include those in Table 1 but when the underlying is a futures contract, with the possibility of jumps in the corresponding asset. To my knowledge, even in the absence of jumps, barrier options on futures have not been previously considered in this general framework but the proposed Mellin transform approach can handle such exotic options, with or without jumps in the asset price dynamics associated with the futures contract.
The outline of this paper is as follows. In Section 2 we recall and also derive some preliminary results involving the generalized Black–Scholes kernel and jump function with the aim of using these to obtain the European option pricing function when the underlying behaves according to jump-diffusion dynamics. We also find image function solutions in the jump-diffusion case that will be needed to price barrier options. Here the reason for choosing an exponential barrier will be evident. We formulate the barrier option pricing problem in Section 4. Knock-out barrier options are considered in Section 4 while Section 5 deals with knock-in options. Illustrative examples for both types are also given. We discuss how to price options on futures in Section 6 and give brief concluding remarks in Section 7.

## 2. Preliminary Results

To ensure that our results are applicable to other problems, here we will consider the PIDE
$L λ v = ∂ v ∂ t + c 2 x 2 ∂ 2 v ∂ x 2 + c 1 x ∂ v ∂ x + c 0 v + λ I ( v ; f Y ) = 0 ,$
where $c 0 , c 1 , c 2 ∈ R$ with $c 2 > 0$, and $I ( v ; f Y )$ is the integral operator defined in (5). Note that $λ = 0$ reduces $L 0$ to a Black–Scholes-type differential operator. If the underlying asset dynamics is given by (3), then we see from (4) that $c 2 = σ 2 / 2$, $c 1 = r − D$, and $c 0 = − r$. On the other hand, for options on futures, if we make the substitution $v ( x , t ) = v ¯ ( x ¯ , t ¯ )$ into (4), where $x ¯ = x e ( r − D ) ( T ∗ − t )$ and $t ¯ = t$ (cf. (6)), then we obtain the PIDE
$∂ v ¯ ∂ t ¯ + 1 2 σ 2 x ¯ 2 ∂ 2 v ¯ ∂ x ¯ 2 − r v ¯ + λ I ( v ¯ ; f Y ) = 0 ,$
which is of the form (8) with $c 2 = σ 2 / 2$, $c 1 = 0$, and $c 0 = − r$. We observe that when $λ = 0$, (9) simplifies to the PDE for pricing options on futures; see for instance Wilmott et al. . We will return to the pricing of options on futures in Section 6.
For the convenience of the reader we summarize here some results pertaining to the Mellin transform (see, for example, (, pp. 362–363) or ). The Mellin transform of a function $f : R + → R$ is
$M { f ( x ) ; ξ } = f ^ ( ξ ) = ∫ 0 ∞ x ξ − 1 f ( x ) d x ,$
provided the improper integral converges at the complex number $ξ$. This transform is useful for Black–Scholes-type equations because of the following properties for the derivatives of f, namely,
$M { x f ′ ( x ) ; ξ } = − ξ f ^ ( ξ ) , M { x 2 f ″ ( x ) ; ξ } = ( ξ + ξ 2 ) f ^ ( ξ ) .$
The convolution of $f : R + → R$ and $g : R + → R$ is defined as
$( f ∗ g ) ( x ) = ∫ 0 ∞ 1 y f x y g ( y ) d y .$
Note that the convolution operator is both commutative and associative. It follows that
$M { ( f ∗ g ) ( x ) ; ξ } = f ^ ( ξ ) g ^ ( ξ ) ,$
also known as the convolution property.

#### 2.1. Generalized Black–Scholes Kernel and Properties

The following lemma motivates an extension (see (18) below) of the Black–Scholes kernel originally introduced in [10,35]:
Lemma 1.
Let $a , b , c ∈ R$ with $a > 0$. Then
$M e a − b + c 2 a x Φ ′ log ( x ) + 2 a − b 2 a ; ξ = M e c 2 a Φ ′ log ( x ) − b 2 a ; ξ = e a ξ 2 + b ξ + c ,$
where Φ is the cumulative distribution function on a standard normal random variable. Hence defining
$K ( x ) = e a − b + c 2 a x Φ ′ log ( x ) + 2 a − b 2 a = e c 2 a Φ ′ log ( x ) − b 2 a ,$
it follows that
$K x y = ∂ ∂ y − e a − b + c x Φ log ( x / y ) + 2 a − b 2 a , 1 y K x y = ∂ ∂ y − e c Φ log ( x / y ) − b 2 a .$
Proof.
Let $α 1$, $α 2$, $β$, $γ 1$, and $γ 2$ be independent of x. Suppose that $Z ∼ N ( 0 , 1 )$. Using the definition of the Mellin transform (10) and a property of normal random variables, we obtain
$M { α 1 x Φ ′ ( β log ( x ) + γ 1 ) ; ξ } = α 1 β e − ( ξ + 1 ) γ 1 / β E ( e ( ξ + 1 ) / β Z ) = α 1 β e − ( ξ + 1 ) γ 1 / β e ( ξ + 1 ) 2 / ( 2 β 2 )$
and
$M { α 2 Φ ′ ( β log ( x ) + γ 2 ) ; ξ } = α 2 β e − γ 2 ξ / β E ( e ξ Z / β ) = α 2 β e − γ 2 ξ / β e ξ 2 / ( 2 β 2 ) .$
Choosing
$α 1 = e a − b + c 2 a , α 2 = e c 2 a , β = 1 2 a , γ 1 = 2 a − b 2 a , γ 2 = − b 2 a$
and algebraic manipulations yield (14). Equation (15) is justified by continuity of the arguments of the Mellin transforms in (14). The properties in (16) can be easily shown by evaluating the derivatives on the right-hand side and comparing with (15). □
Next we set
$a = c 2 ( u − t ) , b = − ( c 1 − c 2 ) ( u − t ) , c = c 0 ( u − t )$
in Lemma 1. Define the auxiliary functions
$z 1 ( x , t , u ) = log ( x ) + ( c 1 + c 2 ) ( u − t ) 2 c 2 ( u − t ) , z 2 ( x , t , u ) = log ( x ) + ( c 1 − c 2 ) ( u − t ) 2 c 2 ( u − t )$
and the generalized Black–Scholes kernel
$K ( x , t , u ) = x e ( c 0 + c 1 ) ( u − t ) 2 c 2 ( u − t ) Φ ′ ( z 1 ( x , t , u ) ) = e c 0 ( u − t ) 2 c 2 ( u − t ) Φ ′ ( z 2 ( x , t , u ) ) .$
Then (16) gives the Black–Scholes kernel identities
$K x y , t , u = ∂ ∂ y − x e ( c 0 + c 1 ) ( u − t ) Φ z 1 x y , t , u , 1 y K x y , t , u = ∂ ∂ y − e c 0 ( u − t ) Φ z 2 x y , t , u .$
Finally, from (14) we have
$K ^ ( ξ , t , u ) = M K ( x , t , u ) ; ξ = e − p ( ξ ) ( u − t ) , p ( ξ ) = − c 2 ξ 2 + ( c 1 − c 2 ) ξ − c 0 .$
We see that (17)–(20) reduce to analogous results introduced in  in the special case when $c 2 = σ 2 / 2$, $c 1 = r − D$, and $c 0 = − r$.

#### 2.2. Properties of the Jump Function

We refer the reader to [11,12] for further details regarding this subsection. Construct a sequence $( h j ) j = 0 ∞$, where $h j = h j ( x )$, by
$h 0 ( x ) = δ ( x − 1 ) , h 1 ( x ) = 1 x f Y 1 x , h j + 1 ( x ) = ( h 1 ∗ h j ) ( x ) , j ≥ 1 ,$
where $f Y$ is the probability density function of the random variable Y (see (3) and (5)) and $δ$ is the Dirac delta function. It was shown in  that
$h ^ j ( ξ ) = M { h j ( x ) ; ξ } = [ E ( Y − ξ ) ] j , j ≥ 0 .$
Defining the jump function
$J ( x , t , u ) = e − λ ( u − t ) ∑ j = 0 ∞ [ λ ( u − t ) ] j j ! h j ( x ) ,$
we see from (22) that
$J ^ ( ξ , t , u ) = e − λ [ 1 − E ( Y − ξ ) ] ( u − t ) .$
Example 1.
Let Y be a lognormal random variable with parameters $μ Y$ and $σ Y 2$. Then $Y = e X$, where $X ∼ N ( μ Y , σ Y 2 )$, and
$f Y ( y ) = 1 σ Y y Φ ′ log ( y ) − μ Y σ Y , y > 0 .$
It follows that
$E ( Y − ξ ) = E ( e − ξ X ) = e − μ Y ξ + σ Y 2 ξ 2 / 2$
using a property of normal random variables. Hence (22) gives
$h ^ j ( ξ ) = [ E ( Y − ξ ) ] j = e − j μ Y ξ + j σ Y 2 ξ 2 / 2$
and
$h 0 ( x ) = δ ( x − 1 ) , h j ( x ) = 1 σ Y j Φ ′ log ( x ) + μ Y j σ Y j , j ≥ 1 ,$
where we used (14) with $a = j σ Y 2 / 2$, $b = − j μ Y$, and $c = 0$. Thus the jump function for a lognormal random variable Y with parameters $μ Y$ and $σ Y 2$ is
$J ( x , t , u ) = e − λ ( u − t ) δ ( x − 1 ) + e − λ ( u − t ) ∑ j = 1 ∞ [ λ ( u − t ) ] j j ! 1 σ Y j Φ ′ log ( x ) + μ Y j σ Y j .$

#### 2.3. European Option Pricing Function for Underlyings with Jump-Diffusion Dynamics

We are ready to solve the PIDE (8) together with the final condition $v ( x , T ) = g ( x )$ using the Mellin transform. Let $v 0 = v 0 ( x , t )$ satisfy the final value problem for the PDE
$L 0 v 0 = ∂ v 0 ∂ t + c 2 x 2 ∂ 2 v 0 ∂ x 2 + c 1 x ∂ v 0 ∂ x + c 0 v 0 = 0 , v 0 ( x , T ) = g ( x ) .$
Denote by
$v ^ ( ξ , t ) = ∫ 0 ∞ x ξ − 1 v ( x , t ) d x , v ^ 0 ( ξ , t ) = ∫ 0 ∞ x ξ − 1 v 0 ( x , t ) d x$
the Mellin transforms of v and $v 0$ with respect to x, respectively. We assume that the random variable Y is such that $E ( Y − ξ )$ is finite. Taking the Mellin transform of (8) and using the derivative properties in (11), we get
$L ^ λ v ^ ( ξ , t ) = ∂ v ^ ∂ t ( ξ , t ) − [ p ( ξ ) + λ − λ E ( Y − ξ ) ] v ^ ( ξ , t ) = 0 ,$
where p is defined in (20). Moreover, $v ^ ( ξ , T ) = g ^ ( ξ )$, where $g ^$ is the Mellin transform of g. The solution of (27) is therefore
$v ^ ( ξ , t ) = e − p ( ξ ) ( T − t ) e − λ [ 1 − E ( Y − ξ ) ] ( T − t ) g ^ ( ξ ) .$
Since $v 0$ is the solution of (8) subject to $v 0 ( x , T ) = g ( x )$ when $λ = 0$, we see that
$v ^ 0 ( ξ , t ) = e − p ( ξ ) ( T − t ) g ^ ( ξ ) = K ^ ( ξ , t , T ) g ^ ( ξ )$
with the help of (20). Hence substituting (29) into (28) gives
$v ^ ( ξ , t ) = e − λ [ 1 − E ( Y − ξ ) ] ( T − t ) v ^ 0 ( ξ , t ) = J ^ ( ξ , t , T ) v ^ 0 ( ξ , t ) ,$
where we used (24).
Next, we proceed to invert (28) and (29). Recalling the convolution property (13), we obtain from (29) that
$v 0 ( x , t ) = ( K ( · , t , T ) ∗ g ) ( x ) = ∫ 0 ∞ 1 y K x y , t , T g ( y ) d y .$
Similarly, (30), (13), and (23) yield
$v ( x , t ) = ( J ( · , t , T ) ∗ v 0 ( · , t ) ) ( x ) = e − λ ( T − t ) ∑ j = 0 ∞ [ λ ( T − t ) ] j j ! ( v 0 ( · , t ) ∗ h j ) ( x ) .$
Note that if $λ = 0$, then (32) implies that
$v ( x , t ) = ( v 0 ( · , t ) ∗ h 0 ) ( x ) = ∫ 0 ∞ 1 z v 0 x z , t δ ( z − 1 ) d z = v 0 ( x , t )$
as expected since there are no jumps.
Example 2.
Continuing with Example 1 and recalling (29) and (26), we see that the Mellin transform of (32) is
$v ^ ( ξ , t ) = e − λ ( T − t ) ∑ j = 0 ∞ [ λ ( T − t ) ] j j ! e − p ( ξ ) ( T − t ) − j μ Y ξ + j σ Y 2 ξ 2 / 2 g ^ ( ξ ) .$
However, (20) gives
$− p ( ξ ) ( T − t ) − j μ Y ξ + 1 2 j σ Y 2 ξ 2 = a ξ 2 + b ξ + c ,$
where
$a = c 2 ( T − t ) + 1 2 j σ Y 2 , b = − ( c 1 − c 2 ) ( T − t ) − j μ Y , c = c 0 ( T − t ) .$
If we define $K j = K j ( x , t , u )$ such that its Mellin transform is
$K ^ j ( ξ , t , u ) = e − p ( ξ ) ( u − t ) − j μ Y ξ + j σ Y 2 ξ 2 / 2 , j ≥ 0 ,$
then (15) gives
$K j ( x , t , u ) = x e ( c 0 + c 1 ) ( u − t ) + j μ Y + j σ Y 2 / 2 [ 2 c 2 ( u − t ) + j σ Y 2 ] 1 / 2 Φ ′ ( z j , 1 ( x , t , u ) ) = e c 0 ( u − t ) [ 2 c 2 ( u − t ) + j σ Y 2 ] 1 / 2 Φ ′ ( z j , 2 ( x , t , u ) ) ,$
where
$z j , 1 ( x , t , u ) = log ( x ) + ( c 1 + c 2 ) ( u − t ) + j μ Y + j σ Y 2 [ 2 c 2 ( u − t ) + j σ Y 2 ] 1 / 2 , z j , 2 ( x , t , u ) = log ( x ) + ( c 1 − c 2 ) ( u − t ) + j μ Y [ 2 c 2 ( u − t ) + j σ Y 2 ] 1 / 2 .$
The analogous Black–Scholes kernel identities (16) are
$K j x y , t , u = ∂ ∂ y − x e ( c 0 + c 1 ) ( u − t ) + j μ Y + j σ Y 2 / 2 Φ z j , 1 x y , t , u , 1 y K j x y , t , u = ∂ ∂ y − e c 0 ( u − t ) Φ z j , 2 x y , t , u .$
Thus (33) can be expressed as
$v ^ ( ξ , t ) = e − λ ( T − t ) ∑ j = 0 ∞ [ λ ( T − t ) ] j j ! K ^ j ( ξ , t , T ) g ^ ( ξ ) .$
Therefore if Y is a lognormal random variable with parameters $μ Y$ and $σ Y 2$, then the exact solution of (8) satisfying the final condition $v ( x , T ) = g ( x )$ is
$v ( x , t ) = e − λ ( T − t ) ∑ j = 0 ∞ [ λ ( T − t ) ] j j ! ∫ 0 ∞ 1 y K j x y , t , T g ( y ) d y ,$
with $K j$ defined as in (34).
To illustrate (37), consider a put payoff function $g ( x ) = ( K − x ) +$. Then
$∫ 0 ∞ 1 y K j x y , t , T g ( y ) d y = K ∫ 0 K 1 y K j x y , t , T d y − ∫ 0 K K j x y , t , T d y .$
The Black–Scholes kernel identities in (36) give
$∫ 0 K 1 y K j x y , t , T d y = ∫ 0 K ∂ ∂ y − e c 0 ( T − t ) Φ z j , 2 x y , t , T d y = e c 0 ( T − t ) Φ − z j , 2 x K , t , T$
and
$∫ 0 K K j x y , t , T d y = ∫ 0 K ∂ ∂ y − x e ( c 0 + c 1 ) ( T − t ) + j μ Y + j σ Y 2 / 2 Φ z j , 1 x y , t , T d y = x e ( c 0 + c 1 ) ( T − t ) + j μ Y + j σ Y 2 / 2 Φ − z j , 1 x K , t , T .$
Therefore (37) becomes
$v ( x , t ) = K e ( c 0 − λ ) ( T − t ) ∑ j = 0 ∞ [ λ ( T − t ) ] j j ! Φ − z j , 2 x K , t , T − x e ( c 0 + c 1 − λ ) ( T − t ) ∑ j = 0 ∞ [ λ ( T − t ) ] j j ! e j μ Y + j σ Y 2 / 2 Φ − z j , 1 x K , t , T ,$
where $z j , 1$ and $z j , 2$ are given by (35). Note that in the special case when $λ = 0$, $c 2 = σ 2 / 2$, $c 1 = r − D$, and $c 0 = − r$, this recovers the Black–Scholes formula for a European put. A general piecewise linear payoff function g, corresponding to any of the option strategies given in Table 1 among others, can similarly be considered since the integrals appearing in (37) can always be evaluated with the help of the Black–Scholes kernel identities (16) (or (36) if Y is lognormal).

#### 2.4. Image Function Solutions

Here we construct so-called image function solutions of (8) that will be used to “piece together” the barrier option pricing functions later on (cf.  for the special case when $λ = 0$, $c 2 = σ 2 / 2$, $c 1 = r$, and $c 0 = − r$).
Suppose that $B = B ( t )$ is an exponential barrier, i.e.,
$B ( t ) = B ( T ) e − μ ( T − t ) ,$
where $μ ∈ R$. Note that (38) includes the fixed barrier case if we set $μ = 0$, so that $B ( t ) = B ( T )$ for all $0 ≤ t ≤ T$.
Let $v 1 = v 1 ( x , t )$ be any solution of (8). We claim that its image function
$v 2 ( x , t ) = B ( t ) x α v 1 B ( t ) 2 x , t$
is also a solution of (8) for some $α ∈ R$ to be determined. Rather than use a “brute-force” verification by substituting $v 2$ into (8), we follow a more instructive Mellin transform route. We know that $v = v ( x , t )$ is a solution of (8) if and only if its Mellin transform $v ^ = v ^ ( ξ , t )$ is a solution of (27). Note that we are not imposing any final condition like $v ( x , T ) = g ( x )$ here but are considering solutions of the PIDE and the transformed PIDE only.
Since $v 1$ is a solution of (8) by hypothesis, it follows from (27) that
$L ^ λ v ^ 1 ( ξ , t ) = 0 .$
We see that
$v ^ 2 ( ξ , t ) = ∫ 0 ∞ x ξ − 1 v 2 ( x , t ) d x = B ( t ) α ∫ 0 ∞ x ξ − α − 1 v 1 B ( t ) 2 x , t d x .$
Making the substitution
$y = B ( t ) 2 x , d y = − B ( t ) 2 x − 2 d x = − y x d x ,$
we have
$v ^ 2 ( ξ , t ) = B ( t ) 2 ξ − α ∫ 0 ∞ y α − ξ − 1 v 1 ( y , t ) d y = B ( t ) 2 ξ − α v ^ 1 ( α − ξ , t ) ,$
so that
$∂ v ^ 2 ∂ t ( ξ , t ) = ( 2 ξ − α ) B ( t ) 2 ξ − α − 1 B ′ ( t ) v ^ 1 ( α − ξ , t ) + B ( t ) 2 ξ − α ∂ v ^ 1 ∂ t ( α − ξ , t ) = μ ( 2 ξ − α ) B ( t ) 2 ξ − α v ^ 1 ( α − ξ , t ) + B ( t ) 2 ξ − α ∂ v ^ 1 ∂ t ( α − ξ , t ) ,$
where we used the assumption (38) of an exponential barrier. Using (40), we get
$L ^ λ v ^ 2 ( ξ , t ) = B ( t ) 2 ξ − α ∂ v ^ 1 ∂ t ( α − ξ , t ) + [ μ ( 2 ξ − α ) − p ( ξ ) − λ + λ E ( Y − ξ ) ] v ^ 1 ( α − ξ , t ) .$
Our task is to introduce (40) to simplify the right-hand side.
Now let us define
$p λ ( ξ ) = p ( ξ ) − μ ξ − λ E ( Y − ξ )$
and assume that there exists $α$ such that
$p λ ( α − ξ ) = p λ ( ξ ) for every ξ .$
Then
$μ ( 2 ξ − α ) − p ( ξ ) − λ + λ E ( Y − ξ ) = − μ ( α − ξ ) − p λ ( ξ ) − λ = − μ ( α − ξ ) − p λ ( α − ξ ) − λ$
upon combining (41) and (42). An application of (42) once more yields
$μ ( 2 ξ − α ) − p ( ξ ) − λ + λ E ( Y − ξ ) = − [ p ( α − ξ ) + λ − λ E ( Y − ( α − ξ ) ) ]$
and therefore
$L ^ λ v ^ 2 ( ξ , t ) = B ( t ) 2 ξ − α L ^ λ v ^ 1 ( α − ξ , t ) .$
Recalling (40), we deduce that $v ^ 2$ is a solution of (27) and hence $v 2$ given in (39) is also a solution of (8), as was to be shown. We remark that image functions become solutions only for exponential (or fixed) barriers.
Let us now take a closer look at the assumption (42). This imposes a condition on $α$ and/or the distribution of Y. A pair of sufficient, but not necessary, conditions for (42) to be true is
$p ( α − ξ ) − μ ( α − ξ ) = p ( ξ ) − μ ξ , E ( Y − ξ ) = E ( Y − ( α − ξ ) ) for every ξ .$
Of course, if $λ = 0$, then the first relation above already implies (42).
Example 3.
Suppose that there are no jumps (i.e., $λ = 0$). The first condition in (43) holds if
$α = c 1 − c 2 − μ c 2$
from the definition of p in (20). In particular, if$c 2 = σ 2 / 2$,$c 1 = r − D$, and $c 0 = − r$, then (44) simplifies to
$α = 2 ( r − D − μ ) σ 2 − 1 .$
In the absence of dividend yields (i.e. $D = 0$), this is precisely the value of α obtained in  to arrive at the mirror function solution (39) of the Black–Scholes PDE (2). Furthermore, for a fixed barrier (i.e., $μ = 0$), this result is well known .
Example 4.
Now suppose that we include jumps (i.e., $λ ≠ 0$). Then α is still given by (44) but the second condition in (43) is more restrictive as it makes further assumptions about the distribution of Y. A particular case is when Y is lognormal with parameters $μ Y$ and $σ Y 2$. Then $E ( Y − ξ ) = E ( Y − ( α − ξ ) )$ for every ξ if and only if $μ Y$ and $σ Y 2$ are such that $μ Y = α σ Y 2 / 2$ (see (26)). If we assume that μ is given, and choose α in (44) and let $μ Y = α σ Y 2 / 2$, then (42) holds. Alternatively, if $μ Y$ and $σ Y 2$ are arbitrary but given, then we take $α = 2 μ Y / σ Y 2$ and $μ = c 1 − c 2 − α c 2$ from (44). This would also imply that (42) is also true. As pointed out above, (43) is not a necessary condition so there may exist other α and Y when $λ ≠ 0$ such that (42) is true.

## 3. Formulation of the Barrier Option Pricing Problem for Underlyings with Jump-Diffusion Dynamics

Here we formulate the barrier option pricing problem associated with the PIDE (8). The active domain is defined [32,36] to be either
$A ( t ) = ( 0 , B ( t ) ) or A ( t ) = ( B ( t ) , ∞ ) .$
The active domain for down-and-out and down-and-in options is $A ( t ) = ( B ( t ) , ∞ )$. Similarly, the active domain for up-and-out and up-and-in options is $A ( t ) = ( 0 , B ( t ) )$. Let $v 0 = v 0 ( x , t )$, $v 1 = v 1 ( x , t )$, and $v e = v e ( x , t )$ be the solutions of the auxiliary problems
$L 0 v 0 = 0 , x > 0 , 0 ≤ t < T , v 0 ( x , T ) = g ( x ) 1 A ( T ) ( x ) , x > 0 ,$
$L λ v 1 = 0 , x > 0 , 0 ≤ t < T , v 1 ( x , T ) = g ( x ) 1 A ( T ) ( x ) , x > 0 ,$
$L λ v e = 0 , x > 0 , 0 ≤ t < T , v e ( x , T ) = g ( x ) , x > 0 ,$
respectively. We observe that $v 1$ and $v e$ are solutions of the same PIDE (8) but with different final conditions (we associate $v e$ with the “usual” European option pricing function). Moreover, $v 0$ is essentially $v 1$ but with $λ = 0$.
Equation (31) with g replaced by $g 1 A ( T )$ gives
$v 0 ( x , t ) = ∫ 0 ∞ 1 y K x y , t , T g ( y ) 1 A ( T ) ( y ) d y = ∫ A ( T ) 1 y K x y , t , T g ( y ) d y ,$
while from (32) we have
$v 1 ( x , t ) = e − λ ( T − t ) ∑ j = 0 ∞ [ λ ( T − t ) ] j j ! ∫ 0 ∞ 1 z v 0 x z , t h j ( z ) d z .$
An analogous expression for $v e$ can also be obtained from (31) (with $λ = 0$) and (32) (with $λ ≠ 0$) by considering the payoff function g on the entire $R +$.
Example 5.
Let us continue with Examples 1 and 2 for a lognormal variable Y with parameters $μ Y$ and $σ Y 2$. From (37) we have
$v 0 ( x , t ) = ∫ A ( T ) 1 y K 0 x y , t , T g ( y ) d y$
and
$v 1 ( x , t ) = e − λ ( T − t ) ∑ j = 0 ∞ [ λ ( T − t ) ] j j ! ∫ A ( T ) 1 y K j x y , t , T g ( y ) d y .$
The barrier option pricing function $v = v ( x , t )$ satisfies the PIDE
$L λ v = 0 , x ∈ A ( t ) , 0 ≤ t < T .$
Note that the PIDE is only considered in the active domain. The final condition is
$v ( x , T ) = g ( x ) , x ∈ A ( T )$
for knock-out options and
$v ( x , T ) = 0 , x ∈ A ( T )$
for knock-in options. For knock-out options the condition at the barrier is
$v ( B ( t ) , t ) = 0 , 0 ≤ t < T ,$
while for knock-in options the barrier condition is
$v ( B ( t ) , t ) = v e ( B ( t ) , t ) , 0 ≤ t < T .$
Further analysis necessitates that we consider knock-out and knock-in options separately.

## 4. Pricing of Knock-out Barrier Options

A knock-out barrier option pricing problem is to solve
$L λ v out = 0 , x ∈ A ( t ) , 0 ≤ t < T , v out ( x , T ) = g ( x ) , x ∈ A ( T ) , v out ( B ( t ) , t ) = 0 , 0 ≤ t < T .$
We claim that
$v out ( x , t ) = v 1 ( x , t ) − B ( t ) x α v 1 B ( t ) 2 x , t , x ∈ A ( t ) , 0 ≤ t ≤ T$
is the solution of (56). As $v out$ is a linear combination of a solution and its image function solution, linear superposition implies that $v out$ satisfies the PIDE in (56). It is clear that $v out ( B ( t ) , t ) = 0$ for all $0 ≤ t < T$. Furthermore, by construction $v 1 ( x , T ) = g ( x ) 1 A ( T ) ( x )$ for $x > 0$; hence $v 1 ( x , T ) = g ( x )$ for $x ∈ A ( T )$. If we can show that
$v 1 B ( T ) 2 x , T = 0 , x ∈ A ( T ) ,$
then $v out ( x , T ) = g ( x )$ for $x ∈ A ( T )$ in (57) and this would verify the final condition in (56). We remark that this is the reason for the choice of the final condition of $v 1$ in (46). Using (48), we have
$v 1 B ( t ) 2 x , t = e − λ ( T − t ) ∑ j = 0 ∞ [ λ ( T − t ) ] j j ! ∫ 0 ∞ 1 z v 0 B ( t ) 2 x z , t h j ( z ) d z = e − λ ( T − t ) v 0 B ( t ) 2 x , t + e − λ ( T − t ) ∑ j = 1 ∞ [ λ ( T − t ) ] j j ! ∫ 0 ∞ 1 z v 0 B ( t ) 2 x z , t h j ( z ) d z .$
Since all of the terms in the above summation are zero when $t = T$, it suffices to look at
$lim t → T − v 0 B ( t ) 2 x , t = lim t → T − ∫ A ( T ) 1 y K B ( t ) 2 / x y , t , T g ( y ) d y$
and show that the limit is zero for all $x ∈ A ( T )$. To evaluate the limit, we first investigate the bounds for
$v 0 B ( t ) 2 x , t ≤ ∫ A ( T ) 1 y K B ( t ) 2 / x y , t , T | g ( y ) | d y .$
Our goal here is to show that the integral on the right-hand side tends to zero as $t → T −$ and we would be done. As g is assumed to be piecewise linear, it is either (i) bounded or (ii) unbounded but $g ( x ) = O ( x )$ as $x → ∞$.

#### 4.1. g Is Bounded

If g is bounded, then there exists $M > 0$ such that $| g ( x ) | ≤ M$ for all $x > 0$, from which we deduce that
$∫ A ( T ) 1 y K B ( t ) 2 / x y , t , T | g ( y ) | d y ≤ M ∫ A ( T ) 1 y K B ( t ) 2 / x y , t , T d y .$
For a down-and-out barrier option when $A ( t ) = ( B ( t ) , ∞ )$, Equation (19) yields
$∫ A ( T ) 1 y K B ( t ) 2 / x y , t , T d y = ∫ B ( T ) ∞ ∂ ∂ y − e c 0 ( T − t ) Φ z 2 B ( t ) 2 / x y , t , T d y = e c 0 ( T − t ) Φ z 2 B ( t ) 2 B ( T ) x , t , T ,$
which tends to zero as $t → T −$ since $B ( T ) / x < 1$.
In the up-and-out barrier option case when $A ( t ) = ( 0 , B ( t ) )$, from (19) we obtain
$∫ A ( T ) 1 y K B ( t ) 2 / x y , t , T d y = ∫ 0 B ( T ) ∂ ∂ y − e c 0 ( T − t ) Φ z 2 B ( t ) 2 / x y , t , T d y = e c 0 ( T − t ) Φ − z 2 B ( t ) 2 B ( T ) x , t , T ,$
which also tends to zero as $t → T −$ since $B ( T ) / x > 1$ this time.
Therefore for the case when g is bounded we see that
$v 1 B ( T ) 2 x , T = lim t → T − v 1 B ( t ) 2 x , t = 0 , x ∈ A ( T ) .$

#### 4.2. g Is Unbounded But $g ( x ) = O ( x )$ as $x → ∞$

If $g ( x ) = O ( x )$ as $x → ∞$, then there exist $L , x ∞ > 0$ such that
$| g ( x ) | ≤ L x for x ≥ x ∞ .$
Without loss of generality, we may assume that $x ∞ > B ( T )$; otherwise if $x ∞ ≤ B ( T )$, then $| g ( x ) | ≤ L x$ for $x ≥ max ( x ∞ , B ( T ) ) = B ( T )$.
Consider a down-and-out barrier option, i.e. $A ( t ) = ( B ( t ) , ∞ )$. Then
$∫ A ( T ) 1 y K B ( t ) 2 / x y , t , T | g ( y ) | d y = ∫ B ( T ) x ∞ 1 y K B ( t ) 2 / x y , t , T | g ( y ) | d y + ∫ x ∞ ∞ 1 y K B ( t ) 2 / x y , t , T | g ( y ) | d y .$
On $[ B ( T ) , x ∞ ]$ we know that g is bounded, so there exists $M 1 > 0$ such that $| g ( y ) | ≤ M 1$ for $B ( T ) ≤ y ≤ x ∞$. Thus (19) implies that
$∫ B ( T ) x ∞ 1 y K B ( t ) 2 / x y , t , T | g ( y ) | d y ≤ M 1 ∫ B ( T ) x ∞ ∂ ∂ y − e c 0 ( T − t ) Φ z 2 B ( t ) 2 / x y , t , T d y = M 1 e c 0 ( T − t ) − Φ z 2 B ( t ) 2 x ∞ x , t , T + Φ z 2 B ( t ) 2 B ( T ) x , t , T ,$
which tends to zero as $t → T −$ since $B ( T ) / x < 1$ and $B ( T ) / x ∞ < 1$. On $( x ∞ , ∞ )$, we deduce from (19) that
$∫ x ∞ ∞ 1 y K B ( t ) 2 / x y , t , T | g ( y ) | d y ≤ L ∫ x ∞ ∞ K B ( t ) 2 / x y , t , T d y = L ∫ x ∞ ∞ ∂ ∂ y − B ( t ) 2 x e ( c 0 + c 1 ) ( T − t ) Φ z 1 B ( t ) 2 / x y , t , T d y = L B ( t ) 2 x e ( c 0 + c 1 ) ( T − t ) Φ z 1 B ( t ) 2 x ∞ x , t , T ,$
which also tends to zero as $t → T −$ because $B ( T ) / x < 1$ and $B ( T ) / x ∞ < 1$. Hence
$lim t → T − ∫ A ( T ) 1 y K B ( t ) 2 / x y , t , T | g ( y ) | d y = 0$
for the down-and-out case.
Now let us look at an up-and-out barrier option, so that $A ( t ) = ( 0 , B ( t ) )$. Since g is piecewise linear, hence bounded on $[ 0 , B ( T ) ]$, there exists $M 2 > 0$ such that $| g ( y ) | ≤ M 2$ for $0 ≤ y ≤ B ( T )$. Therefore
$∫ A ( T ) 1 y K B ( t ) 2 / x y , t , T | g ( y ) | d y ≤ M 2 ∫ 0 B ( T ) ∂ ∂ y − e c 0 ( T − t ) Φ z 2 B ( t ) 2 / x y , t , T d y = M 2 e c 0 ( T − t ) Φ − z 2 B ( t ) 2 B ( T ) x , t , T ,$
which tends to zero as $t → T −$ since $B ( T ) / x > 1$ in this case.
Therefore for the case when g is unbounded but $g ( x ) = O ( x )$ as $x → ∞$, we conclude that
$v 1 B ( T ) 2 x , T = lim t → T − v 1 B ( t ) 2 x , t = 0 , x ∈ A ( T ) .$
Example 6.
Consider a down-and-out asset-or-nothing call, so that $g ( x ) = x 1 [ K , ∞ ) ( x )$ and $A ( t ) = ( B ( t ) , ∞ )$. For definiteness we assume that Y is lognormal with parameters $μ Y$ and $σ Y 2$. Then (50) gives
$v 1 ( x , t ) = e − λ ( T − t ) ∑ j = 0 ∞ [ λ ( T − t ) ] j j ! ∫ B ( T ) ∞ K j x y , t , T 1 [ K , ∞ ) ( y ) d y ,$
while the down-and-out barrier option pricing function from (57) is
$v out ( x , t ) = v 1 ( x , t ) − B ( t ) x α v 1 B ( t ) 2 x , t , x > B ( t ) , 0 ≤ t ≤ T .$
Case (i).$B ( T ) < K$
Using (36), we have
$∫ B ( T ) ∞ K j x y , t , T 1 [ K , ∞ ) ( y ) d y = ∫ K ∞ K j x y , t , T d y = ∫ K ∞ ∂ ∂ y − x e ( c 0 + c 1 ) ( T − t ) + j μ Y + j σ Y 2 / 2 Φ z j , 1 x y , t , T d y = x e ( c 0 + c 1 ) ( T − t ) + j μ Y + j σ Y 2 / 2 Φ z j , 1 x K , t , T ;$
hence
$v 1 ( x , t ) = x e ( c 0 + c 1 − λ ) ( T − t ) ∑ j = 0 ∞ [ λ ( T − t ) ] j j ! e j μ Y + j σ Y 2 / 2 Φ z j , 1 x K , t , T .$
Case (ii).$B ( T ) ≥ K$
Using (36) and noting that $y ≥ B ( T )$ implies $y ≥ K$, we have
$∫ B ( T ) ∞ K j x y , t , T 1 [ K , ∞ ) ( y ) d y = ∫ B ( T ) ∞ K j x y , t , T d y = ∫ B ( T ) ∞ ∂ ∂ y − x e ( c 0 + c 1 ) ( T − t ) + j μ Y + j σ Y 2 / 2 Φ z j , 1 x y , t , T d y = x e ( c 0 + c 1 ) ( T − t ) + j μ Y + j σ Y 2 / 2 Φ z j , 1 x B ( T ) , t , T$
and therefore
$v 1 ( x , t ) = x e ( c 0 + c 1 − λ ) ( T − t ) ∑ j = 0 ∞ [ λ ( T − t ) ] j j ! e j μ Y + j σ Y 2 / 2 Φ z j , 1 x B ( T ) , t , T .$

## 5. Pricing of Knock-in Barrier Options

A knock-in barrier option pricing problem is to solve
$L λ v in = 0 , x ∈ A ( t ) , 0 ≤ t < T , v in ( x , T ) = 0 , x ∈ A ( T ) , v in ( B ( t ) , t ) = v e ( B ( t ) , t ) , 0 ≤ t < T .$
The previous analysis for knock-out options can be used for knock-in options. Define $v in = v in ( x , t )$ by
$v in ( x , t ) = v e ( x , t ) − v out ( x , t ) , x ∈ A ( t ) , 0 ≤ t ≤ T .$
We claim that $v in$ is the knock-in barrier option pricing function. By linear superposition it is clear that $v in$ satisfies the PIDE in (59). At the boundary there holds
$v in ( B ( t ) , t ) = v e ( B ( t ) , t ) − v out ( B ( t ) , t ) = v e ( B ( t ) , t ) , 0 ≤ t < T ,$
while at the expiry date we see that
$v in ( x , T ) = v e ( x , T ) − v out ( x , T ) = g ( x ) − g ( x ) = 0 , x ∈ A ( T ) .$
This proves the claim.
Example 7.
Continuing with Example 6, let us price a down-and-in asset-or-nothing call. All we need is to determine $v e$, which from (37) and (36) is
$v e ( x , t ) = e − λ ( T − t ) ∑ j = 0 ∞ [ λ ( T − t ) ] j j ! ∫ K ∞ K j x y , t , T d y = x e ( c 0 + c 1 − λ ) ( T − t ) ∑ j = 0 ∞ [ λ ( T − t ) ] j j ! e j μ Y + j σ Y 2 / 2 Φ z j , 1 x K , t , T .$
The corresponding down-and-out asset-or-nothing call option pricing function $v out$ is given in (58). Note that there will also be two cases for $v 1$ here: $B ( T ) < K$ and $B ( T ) ≥ K$. Therefore the down-and-in asset-or-nothing call option pricing function $v in$ is obtained from (60).

## 6. Pricing of Barrier Options on Futures under Jump-Diffusion Dynamics

If the underlying asset pays a constant dividend and has dynamics decribed by (3), then in (57) and (60) we simply take $c 2 = σ 2 / 2$, $c 1 = r − D$, and $c 0 = − r$. In the absence of jumps, setting $λ = 0$ and $D = 0$ recovers the well-known results for fixed barriers  and exponential barriers .
On the other hand, if the underlying is a futures contract, as described in Section 2, we take $c 2 = σ 2 / 2$, $c 1 = 0$, $c 0 = − r$, $x ¯ = x e ( r − D ) ( T ∗ − t )$, $t ¯ = t$ in (8), and $v ¯ = v ¯ ( x ¯ , t ¯ )$ in (32) would give the standard European option pricing function. For example, if Y is lognormal with parameters $μ Y$ and $σ Y 2$, then (37) (which is (32) in the lognormal case) gives
$v ¯ ( x ¯ , t ¯ ) = e − λ ( T − t ¯ ) ∑ j = 0 ∞ [ λ ( T − t ¯ ) ] j j ! ∫ 0 ∞ 1 y K j a x ¯ y , t ¯ , T g ( y ) d y ,$
where
$K j a ( x ¯ , t ¯ , T ) = x ¯ e − r ( T − t ¯ ) + j μ Y + j σ Y 2 / 2 [ σ 2 ( T − t ¯ ) + j σ Y 2 ] 1 / 2 Φ ′ ( z j , 1 a ( x ¯ , t ¯ , T ) ) = e − r ( T − t ¯ ) [ σ 2 ( T − t ¯ ) + j σ Y 2 ] 1 / 2 Φ ′ ( z j , 2 a ( x ¯ , t ¯ , T ) ) , z j , 1 a ( x ¯ , t ¯ , T ) = log ( x ¯ ) + ( σ 2 / 2 ) ( T − t ¯ ) + j μ Y + j σ Y 2 [ σ 2 ( T − t ¯ ) + j σ Y 2 ] 1 / 2 , z j , 2 a ( x ¯ , t ¯ , T ) = log ( x ¯ ) − ( σ 2 / 2 ) ( T − t ¯ ) + j μ Y [ σ 2 ( T − t ¯ ) + j σ Y 2 ] 1 / 2 .$
When $λ = 0$, $D = 0$ and $g ( x ) = ( x − K ) +$, (61) reduces to the “Black-76” formula  for a call option on a futures contract. The determination of the barrier option pricing function can then proceed as given in Section 4 and Section 5.
Alternatively, instead of introducing variable transformations in (8), we can price barrier options on futures as follows. Again it suffices to consider the option pricing function of a standard European option with payoff function g on an underlying asset with jump-diffusion dynamics (3). Suppose that Y is lognormal with parameters $μ Y$ and $σ Y 2$. Take $c 2 = σ 2 / 2$, $c 1 = r − D$, and $c 0 = − r$ in (8). The variable ‘x’ here is the placeholder for the asset price while ‘$x ¯$’ above is for the futures price. Recall that for a forward contract, the simple contingent claim $Π h ( T ∗ )$ with contract function h (see  for an explanation of the terminology) is now
$Π h ( T ∗ ) = h ( S ( T ∗ ) ) = S ( T ∗ ) − F ( t ∗ ; T ∗ ) ,$
where $F ( t ∗ ; T ∗ )$ is the forward price to be determined and $h ( x ) = x − F ( t ∗ ; T ∗ )$. Note that the price process for the contingent claim at any time t can be described by $Π h ( t ) = v ( S ( t ) , t )$, where $v = v ( x , t )$ satisfies (8). As it costs nothing to enter into a forward contract at time $t ∗$, we must have $Π h ( t ∗ ) = 0$. Using the pricing formula (37), we obtain
$v ( x , t ) = e − λ ( T ∗ − t ) ∑ j = 0 ∞ [ λ ( T ∗ − t ) ] j j ! ∫ 0 ∞ 1 y K j x y , t , T ∗ [ y − F ( t ∗ ; T ∗ ) ] d y = e − λ ( T ∗ − t ) ∑ j = 0 ∞ [ λ ( T ∗ − t ) ] j j ! [ x e − D ( T ∗ − t ) − F ( t ∗ ; T ∗ ) e − r ( T ∗ − t ) ] ,$
where we used (36) to evaluate the integrals. The condition $Π h ( t ∗ ) = v ( S ( t ∗ ) , t ∗ ) = 0$ implies that the forward price is $F ( t ∗ ; T ∗ ) = S ( t ∗ ) e ( r − D ) ( T ∗ − t ∗ )$. This is the same as (6) but in the jump-diffusion case. Moreover, the prices of a futures contract and a forward contract are the same if the interest rate is deterministic since this result is model free . As seen in (7), we can therefore price a European option on a futures contract using (37) by substituting $g ( x e ( r − D ) ( T ∗ − T ) )$, i.e., the European option pricing function $v = v ( x , t )$ (with a slight abuse of notation) on a futures contract is
$v ( x , t ) = e − λ ( T − t ) ∑ j = 0 ∞ [ λ ( T − t ) ] j j ! ∫ 0 ∞ 1 y K j b x y , t , T g ( y e ( r − D ) ( T ∗ − T ) ) d y = e − λ ( T − t ) ∑ j = 0 ∞ [ λ ( T − t ) ] j j ! ∫ 0 ∞ 1 z K j b x e ( r − D ) ( T ∗ − T ) z , t , T g ( z ) d z ,$
where
$K j b ( x , t , T ) = x e − D ( T − t ) + j μ Y + j σ Y 2 / 2 [ σ 2 ( T − t ) + j σ Y 2 ] 1 / 2 Φ ′ ( z j , 1 b ( x , t , T ) ) = e − r ( T − t ) [ σ 2 ( T − t ) + j σ Y 2 ] 1 / 2 Φ ′ ( z j , 2 b ( x , t , T ) ) , z j , 1 b ( x , t , T ) = log ( x ) + ( r − D + σ 2 / 2 ) ( T − t ) + j μ Y + j σ Y 2 [ σ 2 ( T − t ) + j σ Y 2 ] 1 / 2 , z j , 2 b ( x , t , T ) = log ( x ) + ( r − D − σ 2 / 2 ) ( T − t ) + j μ Y [ σ 2 ( T − t ) + j σ Y 2 ] 1 / 2 .$
Using (62) and (64), it is straightforward to verify that
$K j a ( x ¯ , t ¯ , T ) = K j b ( x e ( r − D ) ( T ∗ − T ) , t , T ) .$
Therefore the European option pricing function on a futures contract can be obtained from either (61) or (63). This is then used to price barrier options in Section 4 and Section 5.

## 7. Discussion and Concluding Remarks

The knock-out barrier option pricing formula (57) and knock-in barrier option pricing formula (60) are solutions of the general PIDE (8). We can therefore price barrier options with general payoffs and exponential barriers when the underlyings exhibit jump-diffusion dynamics. Some of the more popular trading strategies are given in Table 1, but any barrier option with a piecewise linear payoff can be priced because the resulting integrals in (57) and (60) are evaluated explicitly with the help of the fundamental kernel identities in (19).
For more general barriers we have to use the results in  (with $λ = 0$), which also employs a Mellin transform approach. The tradeoff is that the pricing formulas in  are semi-analytic since they involve linear Volterra integral equations of the first kind which have to be evaluated numerically. Although we do not consider them here, double exponential barriers can also be studied. Indeed, in the absence of jumps, Equation (7) in  expresses the option pricing formula as a doubly infinite series of image function solutions. In principle, with the addition of jump-diffusion dynamics, one can show that an analogous series expansion is also a solution of (8) by showing that its Mellin transform is a solution of (27), just like what was done in Section 2.4
The use of the Mellin transform in the pricing of financial derivatives where the underlying dynamics are governed by geometric Brownian motion has proven to be very powerful and provides a useful tool in the quant’s toolbox [10,11,12,35,36]. In two articles currently under review, the author has applied this tool to price perpetual American options with general payoffs, as well as a combined Mellin–Laplace transform approach to price American options with general payoffs (the latter article is joint work with Mamon). Other pricing problems that are currently being investigated by the author are lookbacks, compounds, and Parisians, among others, with the assumption of jump-diffusion dynamics. A far-reaching goal is to be able to extend the results to include stochastic volatility and early exercise features to other pricing problems. However, it should be remarked that Mellin transforms are not as useful when considering other asset price dynamics precisely because the derivative properties in (11) are not valid anymore. In these scenarios a different integral transform has to be used, although it is not clear what the appropriate transform should be and therefore the pricing problem has to be handled on a case-to-case basis.

## Funding

This research received no external funding.

## Conflicts of Interest

The author declares no conflict of interest.

## References

1. Black, F.; Scholes, M. The pricing of options and corporate liabilities. J. Political Econ. 1973, 81, 637–654. [Google Scholar] [CrossRef][Green Version]
2. Hull, J.C. Fundamentals of Futures and Options Markets, 6th ed.; Pearson: London, UK, 2008. [Google Scholar]
3. Wilmott, P.; Dewynne, J.; Howison, S. Option Pricing: Mathematical Models and Computation; Press Syndicate: Oxford, UK, 1994. [Google Scholar]
4. Merton, R.C. Option pricing when underlying stock returns are discontinuous. J. Financ. Econ. 1976, 3, 125–144. [Google Scholar] [CrossRef][Green Version]
5. Rosenfeld, E. Stochastic Processes of Common Stock Returns: An Empirical Examination. Ph.D Thesis, Massachussetts Institute of Technology, Cambridge, MA, USA, 1980. [Google Scholar]
6. Jarrow, R.; Rosenfeld, E. Jump risks and the intertemporal capital asset pricing model. J. Bus. 1984, 57, 337–351. [Google Scholar] [CrossRef]
7. Ball, C.A.; Torous, W.N. On jumps in common stock prices and their impact on call option pricing. J. Financ. 1985, 40, 155–173. [Google Scholar] [CrossRef]
8. Brown, S.; Dybvig, P. The empirical implications of the Cox-Ingersoll-Ross theory of the term structure of interest rates. J. Financ. 1986, 41, 617–630. [Google Scholar] [CrossRef]
9. Cont, R.; Tankov, P. Financial Modelling with Jump Processes; Chapman and Hall/CRC Financial Mathematics Series; CRC Press: Boca Raton, FL, USA, 2004. [Google Scholar]
10. Rodrigo, M.R.; Mamon, R.S. An application of Mellin transform techniques to a Black–Scholes equation problem. Anal. Appl. 2007, 5, 1–16. [Google Scholar] [CrossRef]
11. Li, T.R.; Rodrigo, M.R. Alternative results for option pricing and implied volatility in jump-diffusion models using Mellin transforms. Eur. J. Appl. Math. 2016, 28, 1–38. [Google Scholar] [CrossRef]
12. Rodrigo, M.R.; Goard, J.M. Pricing of general European options on discrete dividend-paying assets with jump-diffusion dynamics. Appl. Math. Model. 2018, 64, 47–54. [Google Scholar] [CrossRef]
13. Merton, R.C. Theory of rational option pricing. Bell J. Econ. Manag. Sci. 1973, 4, 141–183. [Google Scholar] [CrossRef][Green Version]
14. Carr, P.; Ellis, K.; Gupta, V. Static hedging of exotic options. J. Financ. 1998, 53, 1165–1190. [Google Scholar] [CrossRef]
15. Brown, H.M.; Hobson, D.; Rogers, L.C.G. Robust hedging of barrier options. Math. Financ. 2001, 11, 285–314. [Google Scholar] [CrossRef]
16. Andersen, L.; Andreasen, J.; Eliezer, D. Static replication of barrier options: Some general results. J. Comput. Financ. 2002, 5, 1–25. [Google Scholar] [CrossRef]
17. Geman, H.; Yor, M. Pricing and hedging double-barrier options: A probabilistic approach. Math. Financ. 1996, 6, 365–378. [Google Scholar] [CrossRef][Green Version]
18. Kunitomo, N.; Ikeda, M. Pricing options with curved boundaries. Math. Financ. 1992, 2, 275–298. [Google Scholar] [CrossRef]
19. Boyle, P.P.; Lau, S.H. Bumping up against the barrier with the binomial method. J. Deriv. 1994, 1, 6–14. [Google Scholar] [CrossRef]
20. Ritchken, P. On pricing barrier options. J. Deriv. 1995, 3, 19–28. [Google Scholar] [CrossRef]
21. Boyle, P.P.; Tian, Y. An explicit finite difference approach to the pricing of barrier options. Appl. Math. Financ. 1998, 5, 17–43. [Google Scholar] [CrossRef]
22. Zvan, R.; Vetzal, K.R.; Forsyth, P.A. PDE methods for pricing barrier options. J. Econ. Dyn. Control. 2000, 24, 1563–1590. [Google Scholar] [CrossRef]
23. Hui, C.H.; Lo, C.F. Valuing double-barrier options with time-dependent parameters by Fourier series expansion. Int. J. Appl. Math. 2007, 36, 1–5. [Google Scholar]
24. Dorfleitner, G.; Schneider, P.; Hawlitschek, K.; Buch, A. Pricing options with Green’s functions when volatility, interest rate and barriers depend on time. Quant. Financ. 2008, 8, 119–133. [Google Scholar] [CrossRef]
25. Pelsser, A. Pricing double-barrier options using Laplace transforms Financ. Stochastics 2004, 4, 95–105. [Google Scholar] [CrossRef]
26. Davydov, D.; Linetsky, V. Pricing options on scalar diffusions: An eigenfunction expansion approach. J. Oper. Res. 2003, 51, 185–209. [Google Scholar] [CrossRef][Green Version]
27. Guardasoni, C.; Sanfelici, S. A boundary element approach to barrier option pricing in Black–Scholes framework. Int. J. Comput. Math. 2016, 93, 696–722. [Google Scholar] [CrossRef]
28. Shen, S.-Y.; Hsiao, Y.-L. A boundary element formulation for the pricing of barrier options. Open J. Model. Simul. 2013, 1, 30–35. [Google Scholar] [CrossRef]
29. Guardasoni, C.; Sanfelici, S. Fast numerical pricing of barrier options under stochastic volatility and jumps. SIAM J. Appl. Math. 2016, 76, 27–57. [Google Scholar] [CrossRef]
30. Ballestra, L.V.; Pacelli, G.; Radi, D. A very efficient approach for pricing barrier options on an underlying described by the mixed fractional Brownian motion. Chaos Solitons Fractals 2016, 87, 240–248. [Google Scholar] [CrossRef]
31. Buchen, P.; Konst, O. A new approach to pricing double-barrier options with arbitrary payoffs and exponential boundaries. Appl. Math. Financ. 2009, 16, 497–515. [Google Scholar] [CrossRef]
32. Buchen, P. Image options and the road to barriers. Risk Mag. 2001, 14, 127–130. [Google Scholar]
33. Björk, T. Arbitrage Theory in Continuous Time; Oxford University Press: Oxford, UK, 2009. [Google Scholar]
34. Black, F. The pricing of commodity contracts. J. Financ. Econ. 1976, 3, 167–179. [Google Scholar] [CrossRef]
35. Rodrigo, M.R. Approximate ordinary differential equations for the optimal exercise boundaries of American put and call options. Eur. J. Appl. Math. 2014, 25, 27–43. [Google Scholar] [CrossRef][Green Version]
36. Guardasoni, C.; Rodrigo, M.R.; Sanfelici, S. A Mellin transform approach to barrier option pricing. IMA J. Manag. Math. 2020, 31, 49–67. [Google Scholar] [CrossRef]
37. Myint-U, T.; Debnath, L. Partial Differential Equations for Scientists and Engineers; North Holland: Amsterdam, The Netherlands, 1987. [Google Scholar]
38. Oberhettinger, O. Tables of Mellin Transforms; Springer: Berlin, Germany, 1974. [Google Scholar]
Table 1. Examples of options and their payoff functions.
Table 1. Examples of options and their payoff functions.
TypePayoff Function $g ( x )$
put$( K − x ) +$
bear spread$( K 2 − x ) + − ( K 1 − x ) +$
call$( x − K ) +$
bull spread$( x − K 1 ) + − ( x − K 2 ) +$
digital call$1 [ K , ∞ ) ( x )$
asset-or-nothing call$x 1 [ K , ∞ ) ( x )$
butterfly spread$( x − K 1 ) + + ( x − K 3 ) + − 2 ( x − K 2 ) +$, $− K 1 − K 3 + 2 K 2 = 0$
iron condor$( x − K 1 ) + − ( x − K 2 ) + − ( x − K 3 ) + + ( x − K 4 ) +$, $− K 1 + K 2 + K 3 − K 4 = 0$
straddle$( x − K ) + + ( K − x ) +$
strip$( x − K ) + + 2 ( K − x ) +$
strap$( K − x ) + + 2 ( x − K ) +$
strangle$( x − K 2 ) + + ( K 1 − x ) +$

## Share and Cite

MDPI and ACS Style

Rodrigo, M.R. Pricing of Barrier Options on Underlying Assets with Jump-Diffusion Dynamics: A Mellin Transform Approach. Mathematics 2020, 8, 1271. https://doi.org/10.3390/math8081271

AMA Style

Rodrigo MR. Pricing of Barrier Options on Underlying Assets with Jump-Diffusion Dynamics: A Mellin Transform Approach. Mathematics. 2020; 8(8):1271. https://doi.org/10.3390/math8081271

Chicago/Turabian Style

Rodrigo, Marianito R. 2020. "Pricing of Barrier Options on Underlying Assets with Jump-Diffusion Dynamics: A Mellin Transform Approach" Mathematics 8, no. 8: 1271. https://doi.org/10.3390/math8081271

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.