# Journal of Computational Finance

**ISSN:**

1460-1559 (print)

1755-2850 (online)

**Editor-in-chief:** Cornelis (Kees) Oosterlee

# Error analysis in Fourier methods for option pricing

Fabián Crocce, Juho Häppölä, Jonas Kiessling and Raúl Tempone

####
Need to know

- We present an error analysis in using Fourier methods for pricing European options when the underlying asset follows an exponential Levy process.
- The derived bound is minimised to achieve optimal parameters for the numerical method.
- We propose a scheme to use the error bound in choosing parameters in a systematic fashion to meet a pre-described error tolerance at minimal cost.
- Using numerical examples, we present results comparable to or superior to relevant points of comparison

####
Abstract

We provide a bound for the error committed when using a Fourier method to price European options, when the underlying follows an exponential Lévy dynamic. The price of the option is described by a partial integro-differential equation (PIDE). Applying a Fourier transformation to the PIDE yields an ordinary differential equation (ODE) that can be solved analytically in terms of the characteristic exponent of the Lévy process. Then, a numerical inverse Fourier transform allows us to obtain the option price. We present a bound for the error and use this bound to set the parameters for the numerical method. We analyze the properties of the bound and demonstrate the minimization of the bound to select parameters for a numerical Fourier transformation method in order to solve the option price efficiently.

####
Introduction

Lévy processes form a rich field within mathematical finance. They allow the modeling of asset prices with possibly discontinuous dynamics. An early, and probably the best-known, model involving a Lévy process is the Merton (1976) model, which generalizes the Black and Scholes (1973) model. More recently, we have seen more complex models allowing for more general dynamics of the asset price. Examples of such models include the Kou (2002) model (see also Dotsis et al 2007), the normal inverse Gaussian model (Barndorff-Nielsen 1997; Rydberg 1997), the variance gamma (VG) model (Madan and Seneta 1990; Madan et al 1998) and the Carr–Geman–Madan–Yor (CGMY) model (Carr et al 2002, 2003). For a good exposition on jump processes in finance, we refer the reader to Cont and Tankov (2004) (see also Raible 2000; Eberlein 2001).

The prices of European options with underlying assets driven by the Lévy process are solutions to partial integro-differential equations (PIDEs) (Nualart and Schoutens 2001; Briani et al 2004; Almendral and Oosterlee 2005; Kiessling and Tempone 2011); they generalize the Black–Scholes equation by incorporating a nonlocal integral term to account for the discontinuities in the asset price. This approach has also been extended to cases where the option price features path dependence (see, for example, Boyarchenko and Levendorskii 2002; d’Halluin et al 2004; Lord et al 2008).

The Lévy–Khintchine formula provides an explicit representation of the characteristic function of a Lévy process (see Tankov 2004). As a consequence, one can derive an exact expression for the Fourier transform of the solution of the relevant PIDE. Using the inverse fast Fourier transform (iFFT) method, one may efficiently compute the option price for a range of asset prices simultaneously. Further, in the case of European call options, one may use the duality property presented by Dupire (1997) and iFFT to efficiently compute option prices for a wide range of strike prices.

Despite the popularity of Fourier methods for option pricing, few works can be found on error analysis and related parameter selection for these methods. A bound for the error not only provides an interval for the precise value of the option, but also suggests a method for selecting the parameters of the numerical method. An important work in this direction is Lee (2004), in which several payoff functions are considered for a rather general set of models, whose characteristic function is assumed to be known. Feng and Linetsky (2008) presents the framework and theoretical approach for the error analysis and establishes polynomial convergence rates for approximations of the option prices. For a more contemporary review on the error committed in various FT-related methods, we refer the reader to Boyarchenko and Levendorskii (2011). That paper extends the classical flat Fourier methods by deforming the integration contours on the complex plane; it also looks at the discretely monitored barrier options studied in De Innocentis and Levendorskii (2014).

In this work, we present a methodology for studying and bounding the error committed when using FT methods to compute option prices. We also provide a systematic way of choosing the parameters of the numerical method in a way that minimizes the strict error bound, thus guaranteeing adherence to a pre-described error tolerance. We focus on exponential Lévy processes that may be either diffusive or pure jump. Our contribution is to derive a strict error bound for a Fourier transform method when pricing options under risk-neutral Lévy dynamics. We derive a simplified bound that separates the contributions of the payoff and the process in an easily processed and extensible product form; this is independent of the asymptotic behavior of the option price at extreme prices and strike parameters. We also provide a proof for the existence of optimal parameters of the numerical computation that minimize the presented error bound. When comparing our work with that of Lee (2004), we find that Lee’s work is more general than ours, in that he studies a wider range of processes. However, our results apply to a larger class of payoffs. In test examples of practical relevance, we also find that the bound presented produces comparable or better results than those previously presented in the literature, with an acceptable computational cost.

This paper is organized as follows. Section 2 introduces the PIDE setting in the context of risk-neutral asset pricing; we show the Fourier representation of the relevant PIDE for asset pricing with Lévy processes and use that representation for derivative pricing. In Section 3, we derive a representation for the numerical error and divide it into quadrature and cutoff contributions. We also describe the methodology for choosing numerical parameters to obtain minimal error bounds for the FT method. The derivation is supported by numerical examples using relevant test cases with both diffusive and pure-jump Lévy processes in Section 4. Numerics are followed by conclusions in Section 5.

## 2 Fourier method for option pricing

Consider an asset whose price at time $t$ is modeled by the stochastic process $S=({S}_{t})$, defined by ${S}_{t}={S}_{0}{\mathrm{e}}^{{X}_{t}}$, where $X=({X}_{t})\in \mathbb{R}$ is assumed to be a Lévy process whose jump measure $\nu $ satisfies

$$ | (2.1) |

Assuming the risk-neutral dynamic for ${S}_{t}$, the price at time $t=T-\tau $ of a European option with payoff $G$ and maturity time $T$ is given by

$\mathrm{\Pi}(\tau ,s)={\mathrm{e}}^{-r\tau}E(G({S}_{T})\mid {S}_{T-\tau}=s),$ |

where $r$ is the short rate that we assume to be constant and $\tau :0\le \tau \le T$ is the time to maturity. Extensions to nonconstant deterministic short rates are straightforward.

The infinitesimal generator of a Lévy process $X$ is given by (see Applebaum 2004)

${\mathcal{L}}^{X}f(x)$ | $\equiv \underset{h\to 0}{lim}{\displaystyle \frac{E(f({X}_{t+h})\mid {X}_{t}=x)-f(x)}{h}}$ | |||

$=\gamma {f}^{\prime}(x)+{\displaystyle \frac{{\sigma}^{2}}{2}}{f}^{\mathrm{\prime \prime}}(x)$ | ||||

$\mathrm{\hspace{1em}\hspace{1em}}+{\displaystyle {\int}_{\mathbb{R}\setminus \{0\}}}(f(x+y)-f(x)-y{\mathrm{\U0001d7cf}}_{|y|\le 1}{f}^{\prime}(x))\nu (\mathrm{d}y),$ | (2.2) |

where $(\gamma ,{\sigma}^{2},\nu )$ is the characteristic triple of the Lévy process. The risk-neutral assumption on $({S}_{t})$ implies

$$ | (2.3) |

and fixes the drift term (see Kiessling and Tempone 2011) $\gamma $ of the Lévy process to

$$\gamma =r-\frac{{\sigma}^{2}}{2}-{\int}_{\mathbb{R}\setminus \{0\}}({\mathrm{e}}^{y}-1-y{\mathrm{\U0001d7cf}}_{|y|\le 1})\nu (\mathrm{d}y).$$ | (2.4) |

Thus, the infinitesimal generator of $X$ may be written under the risk-neutral assumption as

${\mathcal{L}}^{X}f(x)$ | $=\left(r-{\displaystyle \frac{{\sigma}^{2}}{2}}\right){f}^{\prime}(x)+{\displaystyle \frac{{\sigma}^{2}}{2}}{f}^{\mathrm{\prime \prime}}(x)$ | |||

$\mathrm{\hspace{1em}\hspace{1em}}+{\displaystyle {\int}_{\mathbb{R}\setminus \{0\}}}(f(x+y)-f(x)-({\mathrm{e}}^{y}-1){f}^{\prime}(x))\nu (\mathrm{d}y).$ | (2.5) |

Consider $g$ as the reward function in log prices (ie, defined by $g(x)=G({S}_{0}{\mathrm{e}}^{x})$). Now, take $f$ to be defined as

$$f(\tau ,x)\equiv E(g({X}_{T})\mid {X}_{T-\tau}=x).$$ |

Then, $f$ solves the following PIDE:

$${\partial}_{\tau}f(\tau ,x)={\mathcal{L}}^{X}f(\tau ,x),$$ | ||

$$f(0,x)=g(x),(\tau ,x)\in [0,T]\times \mathbb{R}.$$ |

Observe that $f$ and $\mathrm{\Pi}$ are related by

$$\mathrm{\Pi}(\tau ,{S}_{0}{\mathrm{e}}^{x})={\mathrm{e}}^{-r\tau}f(\tau ,x).$$ | (2.6) |

Consider a damped version of $f$ defined by ${f}_{\alpha}(\tau ,x)={\mathrm{e}}^{-\alpha x}f(\tau ,x)$; we see that ${\partial}_{\tau}{f}_{\alpha}={\mathrm{e}}^{-\alpha x}{\mathcal{L}}^{X}f(\tau ,x)$.

There are different conventions for the Fourier transform. Here, we consider the operator $\mathcal{F}$ such that

$$\mathcal{F}[f](\omega )\equiv {\int}_{\mathbb{R}}{\mathrm{e}}^{\mathrm{i}\omega x}f(x)\mathrm{d}x,$$ | (2.7) |

defined for functions $f$ for which the previous integral is convergent. We also use $\widehat{f}(\omega )$ as a shorthand notation of $\mathcal{F}[f](\omega )$. To recover the original function $f$, we define the inverse Fourier transform as

$${\mathcal{F}}^{-1}[f](x)=\frac{1}{2\pi}{\int}_{\mathbb{R}}{\mathrm{e}}^{-\mathrm{i}\omega x}f(\omega )\mathrm{d}\omega .$$ |

We have that ${\mathcal{F}}^{-1}[\widehat{f}](x)=f(x)$.

Applying $\mathcal{F}$ to ${f}_{\alpha}$, we get $\widehat{{f}_{\alpha}}(\omega )=\widehat{f}(\omega +\mathrm{i}\alpha )$. Observe also that the Fourier transform applied to ${\mathcal{L}}^{X}f(\tau ,x)$ gives $\mathrm{\Psi}(-\mathrm{i}\omega )\widehat{f}(\tau ,\omega )$, where $\mathrm{\Psi}(\cdot )$ is the characteristic exponent of the process $X$, which satisfies $E({\mathrm{e}}^{z{X}_{t}})={\mathrm{e}}^{t\mathrm{\Psi}(z)}$. The explicit expression for $\mathrm{\Psi}(\cdot )$ is

$$\mathrm{\Psi}(z)=\left(r-\frac{{\sigma}^{2}}{2}\right)z+\frac{{\sigma}^{2}}{2}{z}^{2}+{\int}_{\mathbb{R}}({\mathrm{e}}^{zy}-1-({\mathrm{e}}^{y}-1)z)\nu (\mathrm{d}y).$$ | (2.8) |

From the previous considerations, it can be concluded that

$${\partial}_{\tau}{\widehat{f}}_{\alpha}=\mathrm{\Psi}(\alpha -\mathrm{i}\omega )\widehat{f}(\omega -\mathrm{i}\alpha ).$$ | (2.9) |

Now, $\widehat{f}(\omega -\mathrm{i}\alpha )={\widehat{f}}_{\alpha}(\omega )$, so ${\widehat{f}}_{\alpha}$ satisfies the following ODE:

$\frac{{\partial}_{\tau}{\widehat{f}}_{\alpha}(\tau ,\omega )}{{\widehat{f}}_{\alpha}(\tau ,\omega )}$ | $=\mathrm{\Psi}(\alpha -\mathrm{i}\omega ),$ | |||

${\widehat{f}}_{\alpha}(0,\omega )$ | $={\widehat{g}}_{\alpha}(\omega ).$ | (2.10) |

Solving the previous ODE explicitly, we obtain

$${\widehat{f}}_{\alpha}(\tau ,\omega )={\mathrm{e}}^{\tau \mathrm{\Psi}(\alpha -\mathrm{i}\omega )}{\widehat{g}}_{\alpha}(\omega ).$$ | (2.11) |

Observe that the first factor on the right-hand side of the above equation is $E({\mathrm{e}}^{(\alpha -\mathrm{i}\omega ){X}_{\tau}})$ (ie, ${\phi}_{1}(-\mathrm{i}\alpha -\omega )$), where ${\phi}_{\tau}(\cdot )$ denotes the characteristic function of the random variable ${X}_{\tau}$:

$${\phi}_{\tau}(\omega )\equiv E(\tau \mathrm{\Psi}(\mathrm{i}\omega )).$$ | (2.12) |

Now, we employ the inverse Fourier transformation to obtain the value function:

${f}_{\alpha}(\tau ,x)$ | $={\mathcal{F}}^{-1}[\widehat{{f}_{\alpha}}](\tau ,x)={\displaystyle \frac{1}{2\pi}}{\displaystyle {\int}_{\mathbb{R}}}{\mathrm{e}}^{-\mathrm{i}\omega x}\widehat{{f}_{\alpha}}(\tau ,\omega )\mathrm{d}\omega ,$ | (2.13) | ||

or | ||||

${f}_{\alpha}(\tau ,x)$ | $={\displaystyle \frac{1}{\pi}}{\displaystyle {\int}_{0}^{+\mathrm{\infty}}}Re[{\mathrm{e}}^{-\mathrm{i}\omega x}{\widehat{f}}_{\alpha}(\tau ,\omega )]\mathrm{d}\omega .$ | (2.14) |

As it is typically not possible to compute the inverse Fourier transform analytically, we approximate it by discretizing and truncating the integration domain using trapezoidal quadrature (2.13). Consider the following approximation:

${f}_{\alpha ,\mathrm{\Delta}\omega ,n}(\tau ,x)$ | $={\displaystyle \frac{\mathrm{\Delta}\omega}{2\pi}}{\displaystyle \sum _{k=-n}^{n-1}}{\mathrm{e}}^{-\mathrm{i}(k+\frac{1}{2})\mathrm{\Delta}\omega x}{\widehat{f}}_{\alpha}(\tau ,(k+\frac{1}{2})\mathrm{\Delta}\omega )$ | (2.15) | ||

$={\displaystyle \frac{\mathrm{\Delta}\omega}{\pi}}{\displaystyle \sum _{k=0}^{n-1}}Re[{\mathrm{e}}^{-\mathrm{i}(k+\frac{1}{2})\mathrm{\Delta}\omega x}{\widehat{f}}_{\alpha}(\tau ,(k+\frac{1}{2})\mathrm{\Delta}\omega )].$ | (2.16) |

Bounding and consequently minimizing the error in the approximation of $f(\tau ,x)$ by

$${f}_{\mathrm{\Delta}\omega ,n}(\tau ,x)\equiv {\mathrm{e}}^{\alpha x}{f}_{\alpha ,\mathrm{\Delta}\omega ,n}(\tau ,x)$$ |

is the main focus of this paper and will be addressed in the following section.

###### Remark 2.1.

Although we are mainly concerned with option pricing when the payoff function can be damped in order to guarantee regularity in the ${L}^{1}$ sense, we note here that our main results are naturally extendable to include the Greeks of the option. Indeed, we have by (2.11) that

$$f(t,x)=\frac{1}{2\pi}{\int}_{\mathbb{R}}{\mathrm{e}}^{(\alpha -\mathrm{i}\omega )x}{\widehat{f}}_{\alpha}(\tau ,\omega )\mathrm{d}\omega ,$$ | (2.17) |

so the Delta and Gamma of the option equal

$\mathrm{\Delta}(t,x)$ | $\equiv {\displaystyle \frac{\partial f(t,x)}{\partial x}}={\displaystyle \frac{1}{2\pi}}{\displaystyle {\int}_{\mathbb{R}}}(\alpha -\mathrm{i}\omega ){\mathrm{e}}^{(\alpha -\mathrm{i}\omega )x}{\widehat{f}}_{\alpha}(\tau ,\omega )\mathrm{d}\omega ,$ | (2.18) | ||

$\mathrm{\Gamma}(t,x)$ | $\equiv {\displaystyle \frac{{\partial}^{2}f(t,x)}{\partial {x}^{2}}}={\displaystyle \frac{1}{2\pi}}{\displaystyle {\int}_{\mathbb{R}}}{(\alpha -\mathrm{i}\omega )}^{2}{\mathrm{e}}^{(\alpha -\mathrm{i}\omega )x}{\widehat{f}}_{\alpha}(\tau ,\omega )\mathrm{d}\omega .$ | (2.19) |

Because the expressions involve partial derivatives with respect to only $x$, the results in this work are applicable to the computation of $\mathrm{\Delta}$ and $\mathrm{\Gamma}$ through a modification of the payoff function:

${\widehat{g}}_{\alpha ,\mathrm{\Delta}}(\omega )=$ | ${\widehat{g}}_{\alpha}(\omega )(\alpha -\mathrm{i}\omega ),$ | (2.20) | ||

${\widehat{g}}_{\alpha ,\mathrm{\Gamma}}(\omega )=$ | ${\widehat{g}}_{\alpha}(\omega ){(\alpha -\mathrm{i}\omega )}^{2}.$ | (2.21) |

When the Fourier space payoff function manifests exponential decay, the introduction of a coefficient that is polynomial in $\omega $ does not change the regularity of $\widehat{g}$ in a way that would significantly change the following analysis. Last, we note that since we do our analysis for PIDEs on a mesh of $x$’s, we may also compute the option values in one go and obtain the Greeks with little additional effort, using a finite difference approach for the derivatives.

### 2.1 Evaluation of the method for multiple values of $x$ simultaneously

The fast Fourier transform (FFT) algorithm provides an efficient way of computing (2.15) for an equidistantly spaced mesh of values for $x$ simultaneously. Examples of works that consider this widely extended tool are Lord et al (2008), Jackson et al (2008), Hurd and Zhou (2010) and Schmelzle (2010).

Similarly, one may define the Fourier frequency $\omega $ as the conjugate variable of some external parameter on which the payoff depends. In particular, for the practically relevant case of call options, we can denote the log-strike as $k$, treat $x$ as a constant and write

$${\overline{f}}_{k,\alpha}(\omega )\equiv {\int}_{\mathbb{R}}{\mathrm{e}}^{(\alpha +\mathrm{i}\omega )k}{f}_{k}(x)\mathrm{d}k.$$ | (2.22) |

Using this convention, the time dependence is given by

$${\stackrel{~}{f}}_{k,\alpha}(\tau ,x)=\frac{{\mathrm{e}}^{(\mathrm{i}\omega +\alpha +1)x}{\phi}_{\tau}(\omega -\mathrm{i}(\alpha +1))}{(\mathrm{i}\omega +\alpha )(\mathrm{i}\omega +\alpha +1)}$$ | (2.23) |

contrasted with the $x$-space solution

$${\widehat{f}}_{k,\alpha}(\tau ,x)=\frac{{\mathrm{e}}^{(\mathrm{i}\omega -\alpha +1)k}{\phi}_{\tau}(\omega +\mathrm{i}\alpha )}{(\mathrm{i}\omega +\alpha )(\mathrm{i}\omega +\alpha +1)}.$$ | (2.24) |

We note that for a call option payoff to be in ${L}^{1}$, we demand that $\alpha $ in (2.23) is positive. By omitting the exponential factors that contain the $x$ and $k$ dependence in (2.23) and (2.24), respectively, one can get from (2.23) to (2.24) using the mapping $\alpha \mapsto -\alpha -1$. Thanks to this, much of the analysis regarding the $x$-space transformation generalizes in a straightforward manner to the $k$-space transform.

## 3 Error bound

The aim of this section is to compute a bound of the error when approximating the option price $f(\tau ,x)$ by ${f}_{\alpha ,\mathrm{\Delta}\omega ,n}(\tau ,x)$, which is defined in (2.15). Considering

$${f}_{\alpha ,\mathrm{\Delta}\omega}(\tau ,x)=\frac{\mathrm{\Delta}\omega}{2\pi}\sum _{k\in \bm{Z}}{\mathrm{e}}^{-\mathrm{i}(k+\frac{1}{2})\mathrm{\Delta}\omega x}{\widehat{f}}_{\alpha}(\tau ,(k+\frac{1}{2})\mathrm{\Delta}\omega ),$$ | (3.1) |

the total error $\mathcal{E}$ can be split into a sum of two terms: the quadrature and truncation errors. The former is the error from the approximation of the integral in (2.13) by the infinite sum in (3.1), while the latter is due to the truncation of the infinite sum. Using the triangle inequality, we have

$$\mathcal{E}:=|f(\tau ,x)-{f}_{\mathrm{\Delta}\omega ,n}(\tau ,x)|\le {\mathcal{E}}_{\mathcal{Q}}+{\mathcal{E}}_{\mathcal{F}}$$ | (3.2) |

with

${\mathcal{E}}_{\mathcal{Q}}$ | $={\mathrm{e}}^{\alpha x}|{f}_{\alpha}(\tau ,x)-{f}_{\alpha ,\mathrm{\Delta}\omega}(\tau ,x)|,$ | ||

${\mathcal{E}}_{\mathcal{F}}$ | $={\mathrm{e}}^{\alpha x}|{f}_{\alpha ,\mathrm{\Delta}\omega}(\tau ,x)-{f}_{\alpha ,\mathrm{\Delta}\omega ,n}(\tau ,x)|.$ |

Observe that each $\mathcal{E}$, ${\mathcal{E}}_{\mathcal{Q}}$ and ${\mathcal{E}}_{\mathcal{F}}$ depends on three kinds of parameters:

- •
those underlying the model and payoff, such as volatility and strike price, which we call physical parameters;

- •
those relating to the numerical scheme, such as $\alpha $ and $n$;

- •
auxiliary parameters, which will be introduced in the process of deriving the error bound; these parameters do not enter the computation of the option price, but they need to be chosen appropriately to have as tight a bound as possible.

We start by analyzing the quadrature error.

### 3.1 Quadrature error

Denote by ${A}_{a}$, with $a>0$, the strip of width $2a$ around the real line

$$ |

The following theorem presents conditions under which the quadrature error goes to zero at a spectral rate as $\mathrm{\Delta}\omega $ goes to zero. Later in this section, we will discuss simpler conditions to verify the hypotheses and analyze in more detail the case where the process $X$ is a diffusive process, or there are “enough small jumps”.

###### Theorem 3.1.

Assume that, for $a\mathrm{>}\mathrm{0}$,

- (H1)
the characteristic function of the random variable ${X}_{1}$ has an analytic extension to the set

$$ - (H2)
the Fourier transform of ${g}_{\alpha}(x)$ is analytic in the strip ${A}_{a}$ ,

- (H3)
there exists a continuous function $\gamma \in {L}^{1}(\mathbb{R})$ such that $$ for all $\omega \in \mathbb{R}$ and for all $\beta \in [-a,a]$ .

Then, the quadrature error is bounded by

$${\mathcal{E}}_{\mathcal{Q}}\le {\mathrm{e}}^{\alpha x}\frac{{M}_{\alpha ,a}(\tau ,x)}{2\pi ({\mathrm{e}}^{2\pi a/\mathrm{\Delta}\omega}-1)},$$ |

where ${M}_{\alpha \mathrm{,}a}\mathit{}\mathrm{(}\tau \mathrm{,}x\mathrm{)}$ is given by

$${M}_{\alpha ,a}(\tau ,x):=\sum _{\beta \in \{-a,a\}}{\int}_{\mathbb{R}}|{\mathrm{e}}^{-\mathrm{i}(\omega +\mathrm{i}\beta )x}{\widehat{f}}_{\alpha}(\tau ,\omega +\mathrm{i}\beta )|\mathrm{d}\omega .$$ | (3.3) |

${M}_{\alpha ,a}(\tau ,x)$ equals the Hardy norm (defined in (3.4)) of the function

$$\omega \mapsto {\mathrm{e}}^{-\mathrm{i}(\omega +\mathrm{i}\beta )x}{\widehat{f}}_{\alpha}(\tau ,\omega +\mathrm{i}\beta ),$$ |

which is finite.

The proof of Theorem 3.1 is an application of Stenger (1993, Theorem 3.2.1), whose relevant parts we include for ease of reading. Using the notation in Stenger (1993), ${H}_{{A}_{a}}^{1}$ is the family of functions $w$ that are analytic in ${A}_{a}$, such that

$$ | (3.4) |

where

$$ |

###### Lemma 3.2 (Stenger 1993, Theorem 3.2.1).

Let $w\mathrm{\in}{H}_{{A}_{a}}^{\mathrm{1}}$; then, define

$I(w)$ | $={\displaystyle {\int}_{\mathbb{R}}}w(x)\mathrm{d}x,$ | (3.5) | ||

$J(w,h)$ | $=h{\displaystyle \sum _{j=-N}^{N}}w(jh),$ | (3.6) | ||

$\zeta (w,h)$ | $=I(w)-J(w,h),$ | (3.7) |

and then

$|\zeta (w,h)|\le {\displaystyle \frac{{\mathrm{e}}^{-\pi a/h}{\parallel w\parallel}_{{H}_{{A}_{a}}^{1}}}{2\mathrm{s}\mathrm{i}\mathrm{n}\mathrm{h}(\pi a/h)}}.$ | (3.8) |

###### Proof of Theorem 3.1.

First, observe that H1 and H2 imply that the function $w(z)={\mathrm{e}}^{-\mathrm{i}xz+\mathrm{\Delta}\omega /2}{\widehat{f}}_{\alpha}(\tau ,z+\mathrm{\Delta}\omega /2)$ is analytic in ${A}_{a}$. H3 allows us to use dominated convergence theorem to prove that ${\parallel w\parallel}_{{H}_{{A}_{a}}^{1}}$ is finite and coincides with ${M}_{\alpha ,a}(\tau ,x)$. Applying Lemma 3.2, the proof is completed. ∎

Regarding the hypotheses of Theorem 3.1, the next propositions provide simpler conditions that imply H1 and H2, respectively.

###### Proposition 3.3.

###### Proof.

Denoting by ${\phi}_{1}(\cdot )$ the characteristic function of ${X}_{1}$, we want to prove that $z\mapsto {\phi}_{1}(z+\alpha \mathrm{i})$ is analytic in ${A}_{a}$. Considering that ${\phi}_{1}(z+\alpha \mathrm{i})={\mathrm{e}}^{\mathrm{\Psi}(\mathrm{i}z-\alpha )}$, the only nontrivial part of the proof is to verify that

$$z\mapsto \int p(z,y)\nu (\mathrm{d}y)$$ | (3.10) |

is analytic in ${A}_{a}$, where $p:{A}_{a}\times \mathbb{R}\to \u2102$ is given by

$$p(z,y)={\mathrm{e}}^{y(\mathrm{i}z-\alpha )}-1-({\mathrm{e}}^{y}-1)(\mathrm{i}z-\alpha ).$$ |

To prove this fact, we demonstrate that we can apply the main result and the only theorem in Mattner (2001), which, given a measure space $(\mathrm{\Omega},\mathcal{A},\mu )$ and an open subset $G\subseteq \u2102$, ensures the analyticity of $\int f(\cdot ,\omega )\mathrm{d}\mu (\omega )$, provided that $f:G\times \mathrm{\Omega}\to \u2102$ satisfies the following: $f(z,\cdot )$ is $\mathcal{A}$-measurable for all $z\in G$, $f(\cdot ,\omega )$ is holomorphic for all $\omega \in \mathrm{\Omega}$ and $\int |f(\cdot ,\omega )|\mathrm{d}\mu (\omega )$ is locally bounded. In our case, we consider the measure space to be $\mathbb{R}$, with the Borel $\sigma $-algebra and the Lebesgue measure, $G={A}_{a}$ and $f=p$. It is clear that $p(x,\cdot )$ is Borel measurable and $p(\cdot ,y)$ is holomorphic. It remains for us to verify that

$$z\mapsto {\int}_{{\mathbb{R}}^{*}}|p(z,y)|\nu (\mathrm{d}y)$$ |

is locally bounded. To this end, we assume that $$ (and, since $z\in {A}_{a}$, $$) and split the integration domain into $|y|>1$ and $$ to prove that both integrals are uniformly bounded.

Regarding the integral in $|y|>1$, we observe that

$$|p(z,y)|\le {\mathrm{e}}^{y(\alpha +Im[z])}+1+({\mathrm{e}}^{y}+1)(\alpha +a+b);$$ | (3.11) |

for $$, we have $$, while for $y>1$, we have $$. Using the previous bounds and hypotheses together with (2.1) and (2.3), we obtain the needed bound.

For the integral in $$, observe that, denoting $f(z,y)=|p(z,y)|$, we have $f(z,0)=0$ for every $z$, ${\partial}_{y}f(z,0)=0$ for every $z$ and $$ for $z\in {A}_{a}$, $$, $$. From these observations, we get that the Maclaurin polynomial of degree $1$ of $y\mapsto f(z,y)$ is null for every $z$. We can bound $f(z,y)$ by the remainder term, which, in our region of interest, is bounded by $(c/2){y}^{2}$; thus, we obtain

$$ | (3.12) |

which is finite by the hypothesis on $\nu $. This finishes the proof. ∎

###### Proposition 3.4.

If, for all $$, the function $x\mathrm{\mapsto}{\mathrm{e}}^{b\mathit{}\mathrm{|}x\mathrm{|}}\mathit{}{g}_{\alpha}\mathit{}\mathrm{(}x\mathrm{)}$ is in ${L}^{\mathrm{2}}\mathit{}\mathrm{(}\mathbb{R}\mathrm{)}$, then H2 in Theorem 3.1 is fulfilled.

###### Proof.

The proof is a direct application of Reed and Simon (1975, Theorem IX.13). ∎

We now turn our attention to a more restricted class of Lévy processes; namely, processes such that either ${\sigma}^{2}>0$ or there exists $\lambda \in (0,2)$ such that $C(\lambda )$ defined in (3.13) is strictly positive. For this class of processes, we can state our main result explicitly in terms of the characteristic triplet.

Given $\lambda \in (0,2)$, define $C(\lambda )$ as

$$ | (3.13) |

Observe that $C(\lambda )\ge 0$, and, by our assumptions on the jump measure $\nu $, $C(\lambda )$ is finite. Further, if $\lambda \in (0,2)$ is such that

$$ | (3.14) |

then $C(\lambda )>0$. To see this, note that (3.14) implies the existence of ${\u03f5}_{0}$, such that

$$ |

If $$, observe that

$$ |

where, for the first inequality, it was taken into account that $1/{\u03f5}^{\lambda}\ge 1$ and that the integral is increasing with $\u03f5$. By combining the two previous infima and considering $|\kappa |=1/\u03f5$, we get that $C(\lambda )>0$.

Further, we note that for a Lévy model with finite jump intensity, such as the Black–Scholes and Merton models that satisfy the first of our assumptions, $C(\lambda )=0$ for all $\lambda \in (0,2)$.

###### Theorem 3.5.

Assume that $\alpha $ and $a$ are such that (3.9) holds, ${\widehat{g}}_{\alpha}\mathrm{\in}{L}_{{A}_{a}}^{\mathrm{\infty}}$ and either ${\sigma}^{\mathrm{2}}\mathrm{>}\mathrm{0}$ or $C\mathit{}\mathrm{(}\lambda \mathrm{)}\mathrm{>}\mathrm{0}$ for some $\lambda \mathrm{\in}\mathrm{(}\mathrm{0}\mathrm{,}\mathrm{2}\mathrm{)}$. Then, the quadrature error is bounded by

$${\mathcal{E}}_{\mathcal{Q}}\le {\mathrm{e}}^{\alpha x}\frac{{\stackrel{~}{M}}_{\alpha ,a}(\tau ,x)}{2\pi ({\mathrm{e}}^{2\pi a/\mathrm{\Delta}\omega}-1)},$$ |

where

${\stackrel{~}{M}}_{\alpha ,a}(\tau ,x)$ | $={\displaystyle \sum _{c\in \{-1,1\}}}{\mathrm{e}}^{cax}{\mathrm{e}}^{\tau \mathrm{\Psi}(ca)}|{\widehat{g}}_{\alpha}(ca)|$ | |||

$\mathrm{\hspace{1em}\hspace{1em}}\times {\displaystyle {\int}_{\mathbb{R}}}\mathrm{exp}\left(-\tau \left({\displaystyle \frac{{\sigma}^{2}}{2}}{\omega}^{2}+{\displaystyle \frac{{|\omega |}^{2-\lambda}}{4}}C(\lambda ){\mathrm{\U0001d7cf}}_{|\omega |>1}\right)\right)\mathrm{d}\omega .$ | (3.15) |

Further, if ${\sigma}^{\mathrm{2}}\mathrm{>}\mathrm{0}$, we have

$${\stackrel{~}{M}}_{\alpha ,a}(\tau ,x)\le \frac{\sqrt{2\pi}}{\sigma \sqrt{\tau}}\sum _{c\in \{-1,1\}}{\mathrm{e}}^{cax}{\mathrm{e}}^{\tau \mathrm{\Psi}(ca)}|{\widehat{g}}_{\alpha}(ca)|.$$ | (3.16) |

###### Proof.

Considering ${h}_{\alpha ,a}(\tau ,x,\omega )$, defined by

$${h}_{\alpha ,a}(\tau ,x,\omega )=\sum _{c\in \{-1,1\}}|{\mathrm{e}}^{-\mathrm{i}(\omega +\mathrm{i}ca)x}{\widehat{f}}_{\alpha}(\tau ,\omega +\mathrm{i}ca)|,$$ | (3.17) |

we have that

$${M}_{\alpha ,a}(\tau ,x)={\int}_{\mathbb{R}}{h}_{\alpha ,a}(\tau ,x,\omega )\mathrm{d}\omega .$$ |

However, for $\beta \in (-a,a)$,

$|{\mathrm{e}}^{-\mathrm{i}(\omega +\mathrm{i}\beta )x}{\widehat{f}}_{\alpha}(\tau ,\omega +\mathrm{i}\beta )|$ | $={\mathrm{e}}^{\beta x}|{\widehat{f}}_{\alpha}(\tau ,\omega +\mathrm{i}\beta )|$ | |||

$={\mathrm{e}}^{\beta x}|{\mathrm{e}}^{\tau \mathrm{\Psi}(\alpha +\beta -\mathrm{i}\omega )}||{\widehat{g}}_{\alpha}(\omega +\mathrm{i}\beta )|.$ | (3.18) |

For the factor involving the characteristic exponent, we have

$$|{\mathrm{e}}^{\tau \mathrm{\Psi}(\alpha +\beta -\mathrm{i}\omega )}|={\mathrm{e}}^{\tau Re[\mathrm{\Psi}(\alpha +\beta -\mathrm{i}\omega )]}.$$ | (3.19) |

Now, observe that

$Re[\mathrm{\Psi}(\alpha +\beta -\mathrm{i}\omega )]$ | $=(\alpha +\beta )\left(r-{\displaystyle \frac{{\sigma}^{2}}{2}}\right)+{\displaystyle \frac{{\sigma}^{2}}{2}}({(\alpha +\beta )}^{2}-{\omega}^{2})$ | |||

$\mathrm{\hspace{1em}}+{\displaystyle {\int}_{\mathbb{R}\setminus \{0\}}}({\mathrm{e}}^{(\alpha +\beta )y}\mathrm{cos}(-y\omega )-1-(\alpha +\beta )({\mathrm{e}}^{y}-1))\nu (\mathrm{d}y).$ | (3.20) |

If $|\omega |\le 1$, we bound $\mathrm{cos}(-y\omega )$ by 1, getting

$Re[\mathrm{\Psi}(\alpha +\beta -\mathrm{i}\omega )]$ | $\le (\alpha +\beta )\left(r-{\displaystyle \frac{{\sigma}^{2}}{2}}\right)+{\displaystyle \frac{{\sigma}^{2}}{2}}({(\alpha +\beta )}^{2}-{\omega}^{2})$ | |||

$\mathrm{\hspace{1em}\hspace{1em}}+{\displaystyle {\int}_{\mathbb{R}\setminus \{0\}}}({\mathrm{e}}^{(\alpha +\beta )y}-1-(\alpha +\beta )({\mathrm{e}}^{y}-1))\nu (\mathrm{d}y)$ | ||||

$=\mathrm{\Psi}(\alpha +\beta )-{\displaystyle \frac{{\sigma}^{2}}{2}}{\omega}^{2}.$ | (3.21) |

Assume that $|\omega |>1$. Using that for $$ it holds that $$, we can bound the first term of the integral in the following manner:

${\int}_{\mathbb{R}\setminus \{0\}}}{\mathrm{e}}^{(\alpha +\beta )y}\mathrm{cos}(y\omega )\nu (\mathrm{d}y)$ | $$ | |||

$$ | ||||

$\le {\displaystyle {\int}_{\mathbb{R}\setminus \{0\}}}{\mathrm{e}}^{(\alpha +\beta )y}\nu (\mathrm{d}y)-{\displaystyle \frac{{|\omega |}^{2-\lambda}}{4}}C(\lambda ).$ | (3.22) |

Inserting (3.1) back into (3.1), we get

$Re[\mathrm{\Psi}(\alpha +\beta -\mathrm{i}\omega )]$ | $\le (\alpha +\beta )\left(r-{\displaystyle \frac{{\sigma}^{2}}{2}}\right)+{\displaystyle \frac{{\sigma}^{2}}{2}}({(\alpha +\beta )}^{2}-{\omega}^{2})$ | ||

$\mathrm{\hspace{1em}\hspace{1em}}+{\displaystyle {\int}_{\mathbb{R}\setminus \{0\}}}({\mathrm{e}}^{(\alpha +\beta )y}-1-(\alpha +\beta )({\mathrm{e}}^{y}-1))\nu (\mathrm{d}y)$ | |||

$\mathrm{\hspace{1em}\hspace{1em}}-{\displaystyle \frac{{|\omega |}^{2-\lambda}}{4}}C(\lambda )$ | |||

$=\mathrm{\Psi}(\alpha +\beta )-{\displaystyle \frac{{\sigma}^{2}}{2}}{\omega}^{2}-{\displaystyle \frac{{|\omega |}^{2-\lambda}}{4}}C(\lambda ).$ |

Taking the previous considerations and integrating in $\mathbb{R}$ with respect to $\omega $, we obtain (3.5).

Finally, observing that $C(\lambda )\ge 0$ and bounding it by 0, the bound (3.16) is obtained by evaluating the integral. ∎

###### Remark 3.6.

In the case of call options, hypothesis H2 implies a dependence between the strip-width parameter $a$ and the damping parameter $\alpha $. We have that the damped payoff of the call option is in ${L}^{1}(\mathbb{R})$ if and only if $\alpha >1$; hence, the appropriate choice of strip-width parameter is given by $$. A similar argument holds for the case of put options, for which the Fourier-transformed damped payoff is identical to the calls, with the distinction that $$. In such a case, we require $$.

In the case of binary options with payoffs that have finite support ($G(x)={\mathrm{\U0001d7cf}}_{[{x}_{-},{x}_{+}]}(x)$), we can set any $a\in \mathbb{R}$ (ie, no damping is needed at all, and even if such damping is chosen, it has no effect on the appropriate choice of $a$).

###### Remark 3.7.

The bound we provide for the quadrature error is naturally positive and increasing in $\mathrm{\Delta}\omega $. It decays to zero at a spectral rate as $\mathrm{\Delta}\omega $ decreases to zero.

### 3.2 Frequency truncation error

The frequency truncation error is given by

$${\mathcal{E}}_{\mathcal{F}}=\frac{{\mathrm{e}}^{\alpha x}\mathrm{\Delta}\omega}{\pi}|\sum _{k=n}^{\mathrm{\infty}}Re[{\mathrm{e}}^{-\mathrm{i}(k+\frac{1}{2})\mathrm{\Delta}\omega x}{\widehat{f}}_{\alpha}(\tau ,(k+\frac{1}{2})\mathrm{\Delta}\omega )]|.$$ |

If a function $c:({\omega}_{0},\mathrm{\infty})\to (0,\mathrm{\infty})$ satisfies

$$|Re[{\mathrm{e}}^{-\mathrm{i}(k+\frac{1}{2})\mathrm{\Delta}\omega x}{\widehat{f}}_{\alpha}(\tau ,(k+\frac{1}{2})\mathrm{\Delta}\omega )]|\le c((k+\frac{1}{2})\mathrm{\Delta}\omega )$$ | (3.23) |

for every natural number $k$, then we have that

${\mathcal{E}}_{\mathcal{F}}$ | $\le {\displaystyle \frac{{\mathrm{e}}^{\alpha x}\mathrm{\Delta}\omega}{\pi}}{\displaystyle \sum _{k=n}^{\mathrm{\infty}}}|Re[{\mathrm{e}}^{-\mathrm{i}(k+\frac{1}{2})\mathrm{\Delta}\omega x}{\widehat{f}}_{\alpha}(\tau ,(k+\frac{1}{2})\mathrm{\Delta}\omega )]|$ | ||

$\le {\displaystyle \frac{{\mathrm{e}}^{\alpha x}\mathrm{\Delta}\omega}{\pi}}{\displaystyle \sum _{k=n}^{\mathrm{\infty}}}c((k+\frac{1}{2})\mathrm{\Delta}\omega ).$ |

Further, if $c$ is a nonincreasing concave integrable function, we get

$${\mathcal{E}}_{\mathcal{F}}\le \frac{{\mathrm{e}}^{\alpha x}}{\pi}{\int}_{n\mathrm{\Delta}\omega}^{\mathrm{\infty}}c(\omega )\mathrm{d}\omega .$$ | (3.24) |

When ${\widehat{g}}_{\alpha}\in {L}_{[{\omega}_{0},\mathrm{\infty})}^{\mathrm{\infty}}$ and either ${\sigma}^{2}>0$ or $C(\lambda )>0$, then the function $c$ in (3.23) can be chosen as

$$c(\omega )={\parallel {\widehat{g}}_{\alpha}\parallel}_{{L}_{[{\omega}_{0},\mathrm{\infty})}^{\mathrm{\infty}}}{\mathrm{e}}^{\tau \mathrm{\Psi}(\alpha )}\mathrm{exp}\left(-\tau \left(\frac{{\sigma}^{2}}{2}{\omega}^{2}+\frac{{|\omega |}^{2-\lambda}}{4}C(\lambda ){\mathrm{\U0001d7cf}}_{|\omega |>1}\right)\right).$$ | (3.25) |

To prove that this function satisfies (3.23), we can use the same bound we found in the proof of Theorem 3.5, with $\beta =0$, to obtain

$$Re[\mathrm{\Psi}(\alpha -\mathrm{i}\omega )]\le \mathrm{\Psi}(\alpha )-\frac{{\sigma}^{2}}{2}{\omega}^{2}-\frac{{|\omega |}^{2-\lambda}}{4}C(\lambda ){\mathrm{\U0001d7cf}}_{|\omega |>1},$$ |

from which the result is straightforward.

### 3.3 Bound for the full error

In this section, we summarize the bounds obtained for the error under different assumptions and analyze their central properties.

In general, the bounds provided in this paper are of the form

$$\overline{\mathcal{E}}=\frac{{\mathrm{e}}^{\alpha x}}{\pi}\left(\frac{\overline{M}}{{\mathrm{e}}^{2\pi a/\mathrm{\Delta}\omega}-1}+{\int}_{n\mathrm{\Delta}\omega}^{\mathrm{\infty}}c(\omega )\mathrm{d}\omega \right),$$ | (3.26) |

where $\overline{M}$ is an upper bound of ${M}_{\alpha ,a}(\tau ,x)$ defined in (3.3), and $c$ is nonincreasing, integrable and satisfies (3.23). Both $\overline{M}$ and $c$ may depend on the parameters of the model and the artificial parameters, but they are independent of $\mathrm{\Delta}\omega $ and $n$. Typically, one can remove the dependence of some of the parameters, simplifying the expressions but obtaining less tight bounds.

When analyzing the behavior of the bound, one can observe that the term correspondent with the quadrature error decreases to zero spectrally when $\mathrm{\Delta}\omega $ goes to zero. The second term goes to zero if $n\mathrm{\Delta}\omega $ diverges, but we are unable to determine the rate of convergence without further assumptions.

Once an expression for the error bound is obtained, the problem of how to choose the parameters of the numerical method in order to minimize the bound arises, assuming a constraint on the computational effort one is willing to use. The computational effort of the numerical method depends only on $n$. For this reason, we aim to find the parameters that minimize the bound for a fixed $n$. The following result shows that the bound obtained, as a function of $\mathrm{\Delta}\omega $, has a unique local minimum, which is the global minimum.

###### Proposition 3.8.

Fix $\alpha $, $a$, $n$ and $\lambda $, and consider the bound $\overline{\mathcal{E}}$ as a function of $\mathrm{\Delta}\mathit{}\omega $. There exists an optimal $\mathrm{\Delta}\mathit{}{\omega}^{\mathrm{*}}\mathrm{\in}\mathrm{[}{\omega}_{\mathrm{0}}\mathrm{/}n\mathrm{,}\mathrm{\infty}\mathrm{)}$ such that $\overline{\mathcal{E}}$ is decreasing in $\mathrm{(}{\omega}_{\mathrm{0}}\mathrm{/}n\mathrm{,}\mathrm{\Delta}\mathit{}{\omega}^{\mathrm{*}}\mathrm{)}$ and increasing in $\mathrm{(}\mathrm{\Delta}\mathit{}{\omega}^{\mathrm{*}}\mathrm{,}\mathrm{\infty}\mathrm{)}$; thus, a global minimum of $\overline{\mathcal{E}}$ is attained at $\mathrm{\Delta}\mathit{}{\omega}^{\mathrm{*}}$.

Further, the optimal $\mathrm{\Delta}\mathit{}\omega $ is either the only point at which $\mathrm{\Delta}\mathit{}\omega \mathrm{\mapsto}p\mathit{}\mathrm{(}n\mathit{}\mathrm{\Delta}\mathit{}\omega \mathrm{,}b\mathrm{)}\mathrm{-}c\mathit{}\mathrm{(}n\mathit{}\mathrm{\Delta}\mathit{}\omega \mathrm{)}$, with $p$ defined in (3.27), changes sign, or $\mathrm{\Delta}\mathit{}\omega \mathrm{=}{\omega}_{\mathrm{0}}\mathrm{/}n$ if $p\mathit{}\mathrm{(}{\omega}_{\mathrm{0}}\mathrm{,}b\mathrm{)}\mathrm{-}c\mathit{}\mathrm{(}{\omega}_{\mathrm{0}}\mathrm{)}\mathrm{>}\mathrm{0}$.

###### Proof.

Let us simplify the notation by calling $y=n\mathrm{\Delta}\omega $, $b=2\pi an$ and $\stackrel{~}{\mathcal{E}}=\pi {\mathrm{e}}^{-\alpha x}\overline{\mathcal{E}}$. We want to prove the existence of ${y}^{*}:{y}^{*}\ge {\omega}_{0}$ such that $\stackrel{~}{\mathcal{E}}(y)$ is decreasing for $$ and increasing for $y>{y}^{*}$. We have

$$\stackrel{~}{\mathcal{E}}(y)=\frac{\overline{M}}{{\mathrm{e}}^{b/y}-1}+{\int}_{y}^{\mathrm{\infty}}c(\omega )\mathrm{d}\omega .$$ |

The first term is differentiable with respect to $y$ and goes to 0 if $y\to {0}^{+}$. This allows us to express it as an integral of its derivative. We can then express $\stackrel{~}{\mathcal{E}}(y)$ as

$$\stackrel{~}{\mathcal{E}}(y)=\stackrel{~}{\mathcal{E}}({\omega}_{0})+{\int}_{{\omega}_{0}}^{y}\left(\frac{b\overline{M}{\mathrm{e}}^{b/\omega}}{{({\mathrm{e}}^{b/\omega}-1)}^{2}{\omega}^{2}}-c(\omega )\right)\mathrm{d}(\omega ).$$ |

The first term on the right-hand side of the previous equation is constant. Now, we move on to proving that the integrand is increasing with $y$ and is positive if $y$ is large enough. This can be denoted by

$$p(y,b)=\frac{b\overline{M}{\mathrm{e}}^{b/y}}{{({\mathrm{e}}^{b/y}-1)}^{2}{y}^{2}}.$$ | (3.27) |

Taking into account that $c$ is integrable, we can compute the limit of the integrand in $\mathrm{\infty}$, obtaining

$$\underset{y\to +\mathrm{\infty}}{lim}p(y,b)-c(y)=\frac{\overline{M}}{b}>0.$$ |

Let us prove that $p(y,b)$ is increasing with $y$ for all $b>0$, which renders $p(y,b)-c(y)$ also increasing with $y$. The derivative of $p$ with respect to $y$ is given by

$${\partial}_{y}p(y,b)=\frac{b\overline{M}{\mathrm{e}}^{b/y}((b/y){\mathrm{e}}^{b/y}-2{\mathrm{e}}^{b/y}+b/y+2)}{{y}^{3}{({\mathrm{e}}^{b/y}-1)}^{3}},$$ |

in which the denominator and the first factor in the numerator are clearly positive. To prove that the remaining factor is also positive, observe that $x{\mathrm{e}}^{x}-2{\mathrm{e}}^{x}+x+2>0$ if $x>0$. ∎

### 3.4 Explicit error bounds

In the case where either ${\sigma}^{2}>0$ or $C(\lambda )>0$ for some $\lambda \in (0,2)$, we can give an explicit version of (3.26). Substituting $M$ with $\stackrel{~}{M}$ (defined in Theorem 3.5) and $c$ with the function given in (3.25), we obtain

$$\overline{\mathcal{E}}={\overline{\mathcal{E}}}_{Q}+{\overline{\mathcal{E}}}_{F},$$ | (3.28) |

where

${\overline{\mathcal{E}}}_{Q}$ | $={\displaystyle \sum _{c\in \{-1,1\}}}{\displaystyle \frac{{\mathrm{e}}^{\alpha x}{\mathrm{e}}^{cax}{\mathrm{e}}^{\tau \mathrm{\Psi}(ca)}|\widehat{{g}_{\alpha}}(ca)|}{\pi ({\mathrm{e}}^{(2\pi a/\mathrm{\Delta}\omega )}-1)}}$ | |||

$\mathrm{\hspace{1em}\hspace{1em}}\times {\displaystyle {\int}_{\mathbb{R}}}\mathrm{exp}\left(-\tau \left({\displaystyle \frac{{\sigma}^{2}}{2}}{\omega}^{2}+{\displaystyle \frac{{|\omega |}^{2-\lambda}}{4}}C(\lambda ){\mathrm{\U0001d7cf}}_{|\omega |>1}\right)\right)\mathrm{d}\omega ,$ | (3.29) | |||

${\overline{\mathcal{E}}}_{F}$ | $={\displaystyle \frac{{\mathrm{e}}^{\alpha x}}{\pi}}{\parallel \widehat{{g}_{\alpha}}\parallel}_{{L}_{\mathbb{R}}^{\mathrm{\infty}}}{\mathrm{e}}^{\tau \mathrm{\Psi}(\alpha )}{\displaystyle {\int}_{n\mathrm{\Delta}\omega}^{\mathrm{\infty}}}\mathrm{exp}\left(-\tau \left({\displaystyle \frac{{\sigma}^{2}}{2}}{\omega}^{2}+{\displaystyle \frac{{|\omega |}^{2-\lambda}}{4}}C(\lambda ){\mathrm{\U0001d7cf}}_{|\omega |>1}\right)\right)\mathrm{d}\omega .$ | (3.30) |

This reproduces the essential features of Feng and Linetsky (2008, Theorem 6.6); the bound (3.30) can be further improved by substituting ${\parallel \widehat{{g}_{\alpha}}\parallel}_{{L}_{\mathbb{R}}^{\mathrm{\infty}}}$ with ${\parallel \widehat{{g}_{\alpha}}\parallel}_{{L}_{[n\mathrm{\Delta}\omega ,\mathrm{\infty})}^{\mathrm{\infty}}}$.

###### Remark 3.9.

Observe that the bound of both the quadrature and the cutoff error is given by a product of one factor that depends exclusively on the payoff and another factor that depends on the asset dynamic. This property makes it easy to evaluate the bound for a specific option under different dynamics of the asset price. In Section 4.4, we analyze the terms that depend on the payoff function for the particular case of call options.

###### Remark 3.10.

From (3.4), it is evident that the speed of the exponential convergence of the trapezoidal rule for analytic functions is dictated by the width of the strip in which the function being transformed is analytic. Thus, in the limit of small error tolerances, it is desirable to set $a$ as large as possible to obtain optimal rates. However, non-asymptotic error tolerances are often practically relevant, and in these cases the trade-off between optimal rates and the constant term $|{\widehat{g}}_{\alpha}|$ becomes nontrivial. As an example, for the particular case of the Merton model, we have that any finite value of $a$ will do. However, this improvement of the rate of spectral convergence is more than compensated for by the divergence in the constant term.

The integrals in (3.4) and (3.30) can, in some cases, be computed analytically, or bounded from above by a closed-form expression. Consider, for instance, dissipative models with finite jump intensity. These models are characterized by ${\sigma}^{2}>0$ and $C(\lambda )=0$. Thus, the integrals can be expressed in terms of the cumulative normal distribution $\mathrm{\Phi}$:

${\int}_{\mathbb{R}}}{\mathrm{e}}^{-\tau ({\sigma}^{2}{\omega}^{2}/2)}\mathrm{d}\omega $ | $=\sqrt{{\displaystyle \frac{2\pi}{\tau {\sigma}^{2}}}},$ | (3.31) | ||

${\int}_{\varsigma}^{\mathrm{\infty}}}{\mathrm{e}}^{-\tau ({\sigma}^{2}{\omega}^{2}/2)}\mathrm{d}\omega $ | $=\sqrt{{\displaystyle \frac{2\pi}{\tau {\sigma}^{2}}}}(1-\mathrm{\Phi}(\varsigma \sqrt{\tau {\sigma}^{2}})).$ | (3.32) |

Now we consider the case of pure-jump processes (ie, ${\sigma}^{2}=0$) that satisfy the condition $C(\lambda )>0$ for some $\lambda \in (0,2)$. In this case, the integrals are expressible in terms of the incomplete gamma function $\gamma $. First, let us define the auxiliary integral:

$$I(a,b)\equiv {\mathrm{e}}^{-a}+{a}^{-1/b}\gamma (\frac{1}{b},a)$$ |

for $a,b>0$. Using this, the integrals become

${\int}_{\mathbb{R}}}\mathrm{exp}\left(-\tau {\displaystyle \frac{{|\omega |}^{2-\lambda}}{4}}C(\lambda ){\mathrm{\U0001d7cf}}_{|\omega |>1}\right)$ | $=2\left(1+I({\displaystyle \frac{\tau C(\lambda )}{4}},2-\lambda )\right),$ | (3.33) | ||

${\int}_{\varsigma}^{\mathrm{\infty}}}\mathrm{exp}\left(-\tau {\displaystyle \frac{{|\omega |}^{2-\lambda}}{4}}C(\lambda ){\mathrm{\U0001d7cf}}_{|\omega |>1}\right)$ | $$ | (3.34) |

An example of a process for which the previous analysis works is the CGMY model, presented in Carr et al (2002, 2003), for the regime $Y>0$.

Last, when both $C(\lambda )$ and ${\sigma}^{2}$ are positive, the integrals in (3.4) and (3.30) can be bounded by a simpler expression. Consider the two following auxiliary bounds for the same integral, where $\varsigma \ge 1$:

${\int}_{\varsigma}^{\mathrm{\infty}}}\mathrm{exp}\left(-\tau \left({\displaystyle \frac{{\sigma}^{2}}{2}}{\omega}^{2}+{\displaystyle \frac{{|\omega |}^{2-\lambda}}{4}}C(\lambda )\right)\right)\mathrm{d}\omega $ | $\le {\mathrm{e}}^{-\tau ({\sigma}^{2}/2){\varsigma}^{2}}{\displaystyle {\int}_{\varsigma}^{\mathrm{\infty}}}{\mathrm{e}}^{-\tau ({|\omega |}^{2-\lambda}/4)C(\lambda )}\mathrm{d}\omega $ | |||

$=\varsigma {\mathrm{e}}^{-\tau ({\sigma}^{2}/2){\varsigma}^{2}}I({\displaystyle \frac{\tau {\varsigma}^{2-\lambda}C(\lambda )}{4}},2-\lambda ),$ | (3.35) | |||

${\int}_{\varsigma}^{\mathrm{\infty}}}\mathrm{exp}\left(-\tau \left({\displaystyle \frac{{\sigma}^{2}}{2}}{\omega}^{2}+{\displaystyle \frac{{|\omega |}^{2-\lambda}}{4}}C(\lambda )\right)\right)\mathrm{d}\omega $ | $\le {\mathrm{e}}^{-\tau ({\varsigma}^{2-\lambda}/4)C(\lambda )}{\displaystyle {\int}_{\varsigma}^{\mathrm{\infty}}}{\mathrm{e}}^{-\tau ({\sigma}^{2}/2){\omega}^{2}}\mathrm{d}\omega $ | |||

$=\sqrt{{\displaystyle \frac{2\pi}{\tau {\sigma}^{2}}}}{\mathrm{e}}^{-\tau ({\varsigma}^{2-\lambda}/4)C(\lambda )}(1-\mathrm{\Phi}(\varsigma \sqrt{\tau {\sigma}^{2}})).$ | (3.36) |

We have that $b(\varsigma )$, defined as the minimum of the right-hand sides of the two previous equations, is

$b(\varsigma )$ | $=\mathrm{min}\{\varsigma {\mathrm{e}}^{-\tau ({\sigma}^{2}/2){\varsigma}^{2}}I({\displaystyle \frac{\tau {\varsigma}^{2-\lambda}C(\lambda )}{4}},2-\lambda ),$ | ||

$\mathrm{\hspace{1em}\hspace{1em}}\mathit{\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}}\sqrt{{\displaystyle \frac{2\pi}{\tau {\sigma}^{2}}}}{\mathrm{e}}^{-\tau ({\varsigma}^{2-\lambda}/4)C(\lambda )}(1-\mathrm{\Phi}(\varsigma \sqrt{\tau {\sigma}^{2}}))\},$ |

a bound for the integral. Bearing this in mind, we have

$${\int}_{\mathbb{R}}\mathrm{exp}\left(-\tau \left(\frac{{\sigma}^{2}}{2}{\omega}^{2}+\frac{{|\omega |}^{2-\lambda}}{4}C(\lambda ){\mathrm{\U0001d7cf}}_{|\omega |>1}\right)\right)\mathrm{d}\omega \le 2\mathrm{\Phi}(\sqrt{\tau {\sigma}^{2}})-1+2b(1)$$ | (3.37) | ||

and | |||

$${\int}_{\varsigma}^{\mathrm{\infty}}\mathrm{exp}\left(-\tau \left(\frac{{\sigma}^{2}}{2}{\omega}^{2}+\frac{{|\omega |}^{2-\lambda}}{4}C(\lambda ){\mathrm{\U0001d7cf}}_{|\omega |>1}\right)\right)\mathrm{d}\omega \le b(\varsigma ),$$ | (3.38) |

provided that $\varsigma \ge 1$.

## 4 Computation and minimization of the bound

In this section, we present numerical examples on the bound presented in the previous section, using practical models known from the literature. We gauge the tightness of the bound compared with the true error using both dissipative and pure-jump processes. We also demonstrate the feasibility of using the expression of the bound as a tool for choosing numerical parameters for the Fourier inversion.

### 4.1 Call option in VG model

The VG model provides a test case to evaluate the bound in the pure-jump setting. We note that of the two numerical examples presented, it is the less regular model, in the sense that ${\sigma}^{2}=0$ and $C(\lambda )=0$ for $$, indicating that Theorem 3.5 in particular is not applicable.

The Lévy measure of the VG model is given by

$$ |

and the corresponding characteristic function is given by Madan et al (1998, Equation (7)):

$\phi \tau \omega $ | $={\left(1-\mathrm{i}\theta \chi \omega +{\displaystyle \frac{{\sigma}^{2}\chi}{2}}\right)}^{-\tau /\chi},$ | ||

$K$ | $={\chi}^{-1},$ | ||

${\eta}_{-}$ | $={\left(\sqrt{{\displaystyle \frac{{\theta}^{2}{\chi}^{2}}{4}}+{\displaystyle \frac{{\sigma}^{2}\nu}{2}}}-{\displaystyle \frac{\theta \chi}{2}}\right)}^{-1},$ | ||

${\eta}_{+}$ | $={\left(\sqrt{{\displaystyle \frac{{\theta}^{2}{\chi}^{2}}{4}}+{\displaystyle \frac{{\sigma}^{2}\nu}{2}}}+{\displaystyle \frac{\theta \chi}{2}}\right)}^{-1}.$ |

By Proposition 3.3, we get that

$$ | (4.1) |

which, combined with the requirement that ${g}_{\alpha}\in {L}^{1}(\mathbb{R})$ (see Remark 3.6), implies

$a$ | $$ | |||

$a$ | $$ | (4.2) |

for calls and puts, respectively. We note that an evaluation of the integral in (2.13) is also possible for $\alpha \in (0,1)$ and $$. In fact, there is a correspondence between shifts in the integration contour and the put–call parity. Integrals with $$ give rise to put option prices instead of calls. For an extended discussion of this, we refer the reader to Lee (2004) or Boyarchenko and Levendorskii (2011), in which conformal deformation of the integration contour is exploited in order to achieve improved numerical accuracy.

In Lee (2004) and in our calculations, the parameters equal ${\eta}_{+}=39.7840$, ${\eta}_{-}=20.2648$ and $K=5.9311$.

Table 1 presents the specific parameters and compares the bound for the VG model with the results obtained by Lee (2004). Based on Table 1, we note that for the VG model presented in Madan et al (1998), we can achieve comparable or better error bounds when compared with the study by Lee (2004).

$\bm{K}$ | ||||||

80 | 90 | 100 | 110 | 120 | ||

$\text{12}\tau =\text{1}$, | $\alpha $ | $-$16.9 | $-$13.8 | 21.6 | 29.10 | 36.3 |

$N=\text{32}$ | $a$ | 3.33 | 6.45 | 18.1 | 9.77 | 3.52 |

${\omega}_{\text{max}}$ | 229 | 229 | 363 | 363 | 424 | |

$\overline{\mathcal{E}}$ | $\text{3.35}\times {\text{10}}^{-\text{4}}$ | 0.00334 | 0.00562 | $\text{3.97}\times {\text{10}}^{-\text{4}}$ | $\text{7.33}\times {\text{10}}^{-\text{6}}$ | |

${\overline{\mathcal{E}}}^{*}$ | $\text{6}\times {\text{10}}^{-\text{4}}$ | 0.0032 | 0.0058 | $\text{6}\times {\text{10}}^{-\text{4}}$ | $\text{1}\times {\text{10}}^{-\text{4}}$ | |

$\text{12}\tau =\text{4}$, | $\alpha $ | $-$13.8 | $-$13.8 | 22.1 | 23.7 | 29.10 |

$N=\text{8}$ | $a$ | 6.11 | 6.11 | 17.9 | 15.2 | 8.75 |

${\omega}_{\text{max}}$ | 62.4 | 42.4 | 84.9 | 126 | 126 | |

$\overline{\mathcal{E}}$ | $\text{3.99}\times {\text{10}}^{-\text{4}}$ | 0.00312 | 0.00398 | $\text{3.57}\times {\text{10}}^{-\text{4}}$ | $\text{1.33}\times {\text{10}}^{-\text{5}}$ | |

${\overline{\mathcal{E}}}^{*}$ | $\text{1.3}\times {\text{10}}^{-\text{3}}$ | 0.0057 | 0.0055 | $\text{9}\times {\text{10}}^{-\text{4}}$ | $\text{1}\times {\text{10}}^{-\text{4}}$ |

To evaluate the bound, we perform the integration of (3.3) and (3.24) by relying on the Clenshaw–Curtis quadrature method provided in the SciPy package. To supplement Table 1 for a wide range of $n$, we present the magnitude of the bound compared with the true error in Figure 1.

In Figure 1, we see that the choice of numerical parameters for the Fourier inversion has a strong influence on the error of the numerical method. One does not in general have access to the true solution. Thus, the parameters need to be optimized with respect to the bound. Recall that $\mathcal{E}=\mathcal{E}(\alpha ,\mathrm{\Delta}\omega ,a,n)$ and $\overline{\mathcal{E}}=\overline{\mathcal{E}}(\alpha ,\mathrm{\Delta}\omega ,n)$ denote the true and estimated errors, respectively. Keeping the number of quadrature points $n$ fixed, we let $({\alpha}_{1},\mathrm{\Delta}{\omega}_{1},{a}_{1})$ and $({\alpha}_{2},\mathrm{\Delta}{\omega}_{2})$ denote the minimizers of the estimated and true errors, respectively:

$({\alpha}_{1},\mathrm{\Delta}{\omega}_{1},{a}_{1})$ | $=\mathrm{arg}\mathrm{inf}\overline{\mathcal{E}},$ | (4.3) | ||

$({\alpha}_{2},\mathrm{\Delta}{\omega}_{2})$ | $=\mathrm{arg}\mathrm{inf}\mathcal{E}.$ | (4.4) |

Further, we let ${\mathcal{E}}_{1}$ and ${\mathcal{E}}_{2}$ denote the true error as a function of the parameters minimizing the estimated error and true error, respectively:

${\mathcal{E}}_{1}$ | $=\mathcal{E}({\alpha}_{1},\mathrm{\Delta}{\omega}_{1}),$ | (4.5) | ||

${\mathcal{E}}_{2}$ | $=\mathcal{E}({\alpha}_{2},\mathrm{\Delta}{\omega}_{2}).$ | (4.6) |

In Figure 1, we see that the true error increases by approximately an order of magnitude when optimizing to the bound instead of to the true error, which translates into a twofold difference in the number of quadrature points needed for a given tolerance. The difference between ${\mathcal{E}}_{1}$ and the bound is approximately another order of magnitude, which necessitates another twofold number of quadrature points compared with the theoretical minimum.

In Figure 2, we present the true error of the Fourier method for the two test cases in Table 1.^{1}^{1}The reference value for computing the true error was obtained using the numerical methods with $n$ and $\mathrm{\Delta}\omega $, such that the level of accuracy is of the order ${10}^{-10}$. We note that while minimizing error bounds will produce suboptimal results, the numerical parameters that minimize the bound are a good approximation of the true optimal parameters. This, of course, is a consequence of the error bound having qualitatively similar behavior to the true error, especially as one gets further away from the true optimal parameters.

###### Remark 4.1.

In practice, the Hardy norm in coefficient $M$ reduces to evaluating an ${L}^{1}$ norm along the two boundaries of the strip of width $2a$. We find that, for practical purposes, the performance of the Clenshaw–Curtis quadrature of the QUADPACK library (provided by the SciPy library) is more than adequate, enabling the evaluation of the bound in a fraction of a second.

For example, the evaluations of the bounds in Table 1 take only around $0.3$ seconds on a mid 2014 Macbook Pro equipped with a 2.6 GHz Intel Core i5 processor; this is without attempting to optimize or parallelize the implementation, and while checking for input sanity factors such as the evaluation of the characteristic function in a domain that is a subset in the permitted strip.

We believe that through optimizing routines, skipping sanity checks for inputs and using lower-level computation routines this can be optimized even further, guaranteeing a fast performance even when numerous evaluations are needed.

###### Remark 4.2.

Like many other authors, we note the exceptional guaranteed accuracy of the FT method with only dozens of quadrature points. This is partially a result of the regularity of the European option price. Numerous Fourier-based methods have been developed for pricing path-dependent options. One might, for the sake of generality, be tempted to use these methods for European options as well, correcting for the lack of early exercise opportunities. This can be done, certainly; but due to weakened regularity, the required number of quadrature points is easily in the thousands, even when no rigorous bound for the error is required.

We raise one point of comparison, the European option pricing example in Jackson et al (2008, Table 2), which indicates a number of quadrature points for pricing the option in the range of thousands. With the method introduced, to guarantee $\overline{\mathcal{E}}\approx {10}^{-3}$, even with no optimization, $n=64$ turns out to be sufficient.

### 4.2 Call options under Kou dynamics

To contrast with the pure-jump process presented above, we also test the performance of the bound for the Kou model. We present the relevant results in Table 2. This model differs from the first example in terms of its being dissipative as well as in terms of regularity, in the sense that the maximal width of the domain ${A}_{a}$ is, in the case at hand, considerably narrower. The Lévy measure in the Kou model is given by

$$ |

with $p+q=1$. For the characterization given in Toivanen (2007), the values are set as

$$\lambda =0.1,r=0.05,\tau =0.25,{S}_{0}=100,$$ | ||

$$p=0.3445,{\eta}_{1}=3.0465,{\eta}_{2}=\mathrm{3.0775.}$$ |

From the expression of the characteristic exponent (see Kou and Wang 2004)

$$\mathrm{\Psi}(z)=z\left(r-\frac{{\sigma}^{2}}{2}-\lambda \zeta \right)+\frac{{z}^{2}{\sigma}^{2}}{2}+\lambda \left(\frac{p{\eta}_{1}}{{\eta}_{1}-z}+\frac{q{\eta}_{2}}{{\eta}_{2}+z}-1\right),$$ |

it is straightforward to see that

$${A}_{a}\subset \{z\in \u2102:Imz\in (-3.0465,3.0775)\}.$$ |

This range is considerably narrower than that considered earlier. When transforming the option prices in strike space, the relevant expressions for option prices and the error bounds contain a factor exponential in $k$. The practical implication of this is that, for deep out-of-the-money calls, it is often beneficial to exploit the put–call parity and compute deep in-the-money calls. However, in the case at hand, the strip width does not permit such a luxury. As a consequence, the parameters that minimize the bound are near-identical over a wide range of moneyness, suggesting that we use the FFT algorithm to evaluate the option prices at once for a range of strikes.

$\bm{K}$ | |||||

80 | 90 | 100 | 110 | 120 | |

$\overline{\mathcal{E}}$ | $\text{2.67}\times {\text{10}}^{-\text{4}}$ | $\text{3.49}\times {\text{10}}^{-\text{4}}$ | $\text{4.43}\times {\text{10}}^{-\text{4}}$ | $\text{5.52}\times {\text{10}}^{-\text{4}}$ | $\text{6.77}\times {\text{10}}^{-\text{4}}$ |

$\alpha $ | $-$1.57 | $-$1.57 | $-$1.57 | $-$1.57 | $-$1.57 |

${\omega}_{\text{max}}$ | 22.9 | 22.8 | 22.6 | 22.5 | 22.4 |

${\overline{\mathcal{E}}}^{*}$ | 0.34 | 0.26 | 0.21 | 0.17 | 0.13 |

${\overline{\mathcal{E}}}^{\u2020}$ | $\text{6.87}\times {\text{10}}^{-\text{4}}$ | $\text{1.90}\times {\text{10}}^{-\text{3}}$ | $\text{2.82}\times {\text{10}}^{-\text{3}}$ | $\text{2.72}\times {\text{10}}^{-\text{3}}$ | $\text{2.29}\times {\text{10}}^{-\text{3}}$ |

### 4.3 Binary option in the Merton model

For the particular case of the Merton model, the Lévy measure is given by

$${\nu}_{\mathrm{Merton}}(\mathrm{d}y)=\frac{\lambda}{\sqrt{2\pi {\sigma}^{2}}}\mathrm{exp}\left(-\frac{{(y-{r}_{j})}^{2}}{2{\sigma}_{j}^{2}}\right),$$ |

and the characteristic exponent is correspondingly given by

$\mathrm{\Psi}{(z)}_{\mathrm{Merton}}=z\left(r-{\displaystyle \frac{{\sigma}^{2}z}{2}}\right)+{\displaystyle \frac{{\sigma}^{2}{z}^{2}}{2}}+\lambda ({\mathrm{e}}^{z{r}_{j}+({\sigma}_{j}^{2}{z}^{2}/2)}-1-z({\mathrm{e}}^{{r}_{j}+({\sigma}_{j}^{2}/2)}-1)).$ |

We may employ a fast, semi-closed-form evaluation of the relevant integrals instead of resorting to quadrature methods. We choose the Merton model as an example of bounding the error of the numerical method for such a model. The parameters are adopted from the estimated parameters for the Standard & Poor’s (S&P) 500 index from Andersen and Andreasen (2000):

$${S}_{0}=100,\lambda =0.089,\sigma =0.1765,$$ | ||

$$r=0.05,{r}_{j}=-0.8898,{\sigma}_{j}=\mathrm{0.4505.}$$ |

In Figure 3, we present the bound and true error for the Merton model to demonstrate the bound on another dissipative model. The option presented is a binary option with finite support on $[95,105]$; no damping was needed or used. We note that, as in the case of the pure-jump module presented above, our bound reproduces the qualitative behavior of the true error. The configuration that results from optimizing the bound is a good approximation of the true error. Such behavior is consistent across the range of $n$ of the most practical relevance.

### 4.4 Call options

In Section 3.4, explicit expressions to bound $\mathcal{E}$ are provided. To evaluate these bounds, it is necessary to compute ${\parallel \widehat{{g}_{\alpha}}\parallel}_{{L}_{\mathbb{R}}^{\mathrm{\infty}}}$ and ${\parallel \widehat{{g}_{\alpha}}\parallel}_{{L}_{{A}_{a}}^{\mathrm{\infty}}}$. According to Remark 3.9, once we compute these values, we could use them for any model, provided that they satisfy the conditions considered there.

The payoff of perhaps the most practical relevance is that of a call option. Consider $g$, defined by

$g(x)={({S}_{0}{\mathrm{e}}^{x}-K)}^{+}={S}_{0}{({\mathrm{e}}^{x}-{\mathrm{e}}^{k})}^{+},$ |

for which the selection of a damping parameter $\alpha >0$ is necessary to have the damped payoff in ${L}^{1}(\mathbb{R})$ as well as to ensure the existence of a Fourier transformation. In this case, we have

${\widehat{g}}_{\alpha}(\omega )$ | $={S}_{0}{\displaystyle {\int}_{\mathbb{R}}}\mathrm{exp}((1-\alpha +\mathrm{i}\omega )x)-\mathrm{exp}(k+(\mathrm{i}\omega -\alpha )x)\mathrm{d}x$ | (4.7) | ||

$={\displaystyle \frac{{S}_{0}\mathrm{exp}((1-\alpha +\mathrm{i}\omega )k)}{(1+\mathrm{i}\omega -\alpha )(\mathrm{i}\omega -\alpha )}}$ | (4.8) |

and

$${|\widehat{{g}_{\alpha}}(\omega )|}^{2}=\frac{{S}_{0}^{2}{\mathrm{e}}^{2(1-\alpha )k}}{({\alpha}^{2}+{\omega}^{2})({(1-\alpha )}^{2}+{\omega}^{2})}.$$ | (4.9) |

It is easy to see that the previous expression decreases as $|\omega |$ increases. This yields

$${\parallel {\widehat{g}}_{\alpha}\parallel}_{{L}_{\mathbb{R}}^{\mathrm{\infty}}}=|{\widehat{g}}_{\alpha}(0)|=\frac{{S}_{0}{\mathrm{e}}^{(1-\alpha )k}}{{\alpha}^{2}-\alpha}$$ | (4.10) | ||

and | |||

$${\parallel \widehat{{g}_{\alpha}}\parallel}_{{L}_{[\varsigma ,\mathrm{\infty})}^{\mathrm{\infty}}}=|{\widehat{g}}_{\alpha}(\varsigma )|.$$ | (4.11) |

The maximization of $|{\widehat{g}}_{\alpha}|$ in the strip ${A}_{a}$ of the complex plane is more subtle. Denoting ${\widehat{g}}_{\alpha}(\eta ,\rho )={\widehat{g}}_{\alpha}(\eta +\mathrm{i}\rho )$, we look for critical points that satisfy ${\partial}_{\eta}|{\widehat{g}}_{\alpha}|=0$. This gives

$$4{\eta}^{3}+2\eta (4\rho \alpha +2{\alpha}^{2}-2\rho -2\alpha +{\rho}^{2}+1)=0.$$ | (4.12) |

For fixed $\rho $, $|{\widehat{g}}_{\alpha}|$ has a vanishing derivative with respect to $\eta $ at a maximum of three points. Of the three roots of the derivative, only the one characterized by $\eta =0$ is a local maximum; this gives us that, for call options,

$${\parallel {\widehat{g}}_{\alpha}\parallel}_{{L}_{{A}_{a}}^{\mathrm{\infty}}}=\underset{\rho \in [-a,a]}{sup}|{\widehat{g}}_{\alpha}(0,\rho )|.$$ | (4.13) |

Now, observe that $|{\widehat{g}}_{\alpha}(0,\rho )|$ is a differentiable real function of $\rho $, whose derivative is given by the following polynomial of second degree:

$$p(\rho )\equiv k(\rho +\alpha -2\rho \alpha -{\alpha}^{2}-{\rho}^{2})-2\alpha -2\rho +1.$$ | (4.14) |

We conclude that

$${\parallel {\widehat{g}}_{\alpha}\parallel}_{{L}_{{A}_{a}}^{\mathrm{\infty}}}=\underset{\rho \in B}{\mathrm{max}}\{|{\widehat{g}}_{\alpha}(0,\rho )|\},$$ | (4.15) |

where $B$ is the set of no more than four elements consisting of $a$, $-a$ and the real roots of $p$ that fall in $(-a,a)$.

###### Remark 4.3.

So far, we have assumed the number of quadrature points $n$ to be constant. In real-life applications, however, this is often not the case. Typically, the user will choose a minimal $n$ that is sufficient to guarantee an error that lies within a predefined error tolerance.

In such a case, we propose the following very simplistic scheme for optimizing numerical parameters and choosing the appropriate $n$ to satisfy an error smaller than $\u03f5$.

- (1)
Select $n={n}_{0}$ and optimize to find the relevant configuration.

- (2)
See if $$; if not, increase $n$ by choosing it from a predetermined increasing sequence $n={n}_{j}$, and repeat the procedure.

Especially when using FFT algorithms to evaluate Fourier transforms, we propose ${n}_{j}={2}^{j}{n}_{0}$. We further note that, typically, the optimal configuration for the optimizing configuration for ${n}_{j+1}$ quadrature points does not differ too dramatically from the configuration that optimizes bounds for ${n}_{j}$.

## 5 Conclusion

We have presented a decomposition of the error committed in the numerical evaluation of the inverse Fourier transform, which is needed in asset pricing for exponential Lévy models, into truncation and quadrature errors. For a wide class of exponential Lévy models, we have presented an ${L}^{\mathrm{\infty}}$ bound for the error.

This error bound differs from the earlier work of Lee (2004) in the sense that it does not rely on the asymptotic behavior of the option payoff at extreme strikes or option prices. This enables the pricing of a wide variety of nonstandard payoff functions, such as those in Suh and Zapatero (2008). The bound, however, does not take into account path-dependent options. We argue that the methods which allow the evaluation of American, Bermudan or knockoff options are considerably more cumbersome and produce significantly larger errors; so, in implementations where performance is important, such as calibration, using American option pricing methods for European options is not justified.

The bound also provides a general framework in which the truncation error is evaluated using a quadrature method; this remains invariant, regardless of the asymptotic behavior of the option price function. The structure of the bound allows for a modular implementation that decomposes the error components arising from the dynamics of the system and the payoff into a product form for a large class of models, including all dissipative models. In select examples, we also demonstrate performances that are comparable or superior to the relevant points of comparison.

We have focused on the minimization of the bound as a proxy for minimizing numerical error. By doing this, one obtains, for a given parameterization of a model, a rigorous ${L}^{\mathrm{\infty}}$ bound for the error committed in solving the European option price. We have shown that the bound reproduces the qualitative behavior of the actual error. This supports the argument for selecting numerical parameters in a way that minimizes the bound, providing evidence that this selection will, besides guaranteeing numerical precision, be close to the actual minimizing configuration that is not often achievable at an acceptable computational cost.

The bound can be used in the primitive setting of establishing a strict error bound for the numerical estimation of option prices for a given set of physical and numerical parameters, or as a part of a numerical scheme, whereby the end user wishes to estimate an option price either on a single point or in a domain up to a predetermined error tolerance.

In future, the error bounds presented could be used in efforts requiring multiple evaluations of Fourier transformations. Examples of such applications include multi-dimensional Fourier transformations, possibly in sparse tensor grids, as well as time-stepping algorithms for American and Bermudan options. Such applications are sensitive toward the error bound being used, as any numerical scheme will need to be run multiple times, either in high dimension or for multiple time steps (or both).

## Declaration of interest

The authors report no conflicts of interest. The authors alone are responsible for the content and writing of the paper.

## Acknowledgements

Häppölä and Crocce are members and Tempone is the director of the KAUST Strategic Research Initiative, Uncertainty Quantification Center. We wish to thank an anonymous referee for their critique, which significantly improved the quality of the manuscript.

## References

Almendral, A., and Oosterlee, C. W. (2005). Numerical valuation of options with jumps in the underlying. Applied Numerical Mathematics 53(1), 1–18 (http://doi.org/fw2zjg).

Andersen, L., and Andreasen, J. (2000). Jump-diffusion processes: volatility smile fitting and numerical methods for option pricing. Review of Derivatives Research 4(3), 231–262 (http://doi.org/bbqjx2).

Applebaum, D. (2004). Lévy Processes and Stochastic Calculus. Cambridge Studies in Advanced Mathematics, Volume 93. Cambridge University Press.

Barndorff-Nielsen, O. E. (1997). Normal inverse Gaussian distributions and stochastic volatility modelling. Scandinavian Journal of Statistics 24(1), 1–13 (http://doi.org/fjwqd4).

Black, F., and Scholes, M. (1973). The pricing of options and corporate liabilities. Journal of Political Economy 81(3), 637–654.

Boyarchenko, S., and Levendorskii, S. (2002). Barrier options and touch-and-out options under regular Lévy processes of exponential type. Annals of Applied Probability 12(4), 1261–1298.

Boyarchenko, S., and Levendorskii, S. (2011). New efficient versions of Fourier transform method in applications to option pricing. Working Paper 1846633, Social Science Research Network.

Briani, M., Chioma, C. L., and Natalini, R. (2004). Convergence of numerical schemes for viscosity solutions to integro-differential degenerate parabolic problems arising in financial theory. Numerische Mathematik 98(4), 607–646.

Carr, P., Geman, H., Madan, D. B., and Yor, M. (2002). The fine structure of asset returns: an empirical investigation. Journal of Business 75(2), 305–333 (http://doi.org/fqvqsv).

Carr, P., Geman, H., Madan, D. B., and Yor, M. (2003). Stochastic volatility for Lévy processes. Mathematical Finance 13(3), 345–382 (http://doi.org/d8pqm7).

Cont, R., and Tankov, P. (2004). Financial Modelling with Jump Processes. Chapman & Hall/CRC Financial Mathematics Series. Chapman & Hall/CRC, Boca Raton, FL.

De Innocentis, M., and Levendorskii, S. (2014). Pricing discrete barrier options and credit default swaps under Lévy processes. Quantitative Finance 14(8), 1337–1365 (http://doi.org/btnk).

d’Halluin, Y., Forsyth, P. A., and Labahn, G. (2004). A penalty method for American options with jump diffusion processes. Numerische Mathematik 97(2), 321–352 (http://doi.org/d5sn5v).

d’Halluin, Y., Forsyth, P. A., and Vetzal, K. R. (2005). Robust numerical methods for contingent claims under jump diffusion processes. IMA Journal of Numerical Analysis 25(1), 87–112 (http://doi.org/dkpm7g).

Dotsis, G., Psychoyios, D., and Skiadopoulos, G. (2007). An empirical comparison of continuous-time models of implied volatility indices. Journal of Banking and Finance 31(12), 3584–3603 (http://doi.org/d288t3).

Dupire, B. (1997). Pricing and hedging with smiles. In Mathematics of Derivative Securities, Dempster, S. R., and Pliska, M. A. H. (eds). Cambridge University Press.

Eberlein, E. (2001). Application of generalized hyperbolic Lévy motions to finance. In Lévy Processes, pp. 319–336. Springer (http://doi.org/dgp3sh).

Feng, L., and Linetsky, V. (2008). Pricing discretely monitored barrier options and defaultable bonds in Levy process models: a fast Hilbert transform approach. Mathematical Finance 18(3), 337–384 (http://doi.org/fwbmkb).

Hurd, T. R., and Zhou, Z. (2010). A Fourier transform method for spread option pricing. SIAM Journal on Financial Mathematics 1(1), 142–157 (http://doi.org/dqvtxv).

Jackson, K. R., Jaimungal, S., and Surkov, V. (2008). Fourier space time-stepping for option pricing with Lévy models. The Journal of Computational Finance 12(2), 1–29 (http://doi.org/btnm).

Kiessling, J., and Tempone, R. (2011). Diffusion approximation of Lévy processes with a view towards finance. Monte Carlo Methods and Applications 17(1), 11–45 (http://doi.org/fbxt9z).

Kou, S. G. (2002). A jump-diffusion model for option pricing. Management Science 48(8), 1086–1101 (http://doi.org/fg58sf).

Kou, S. G., and Wang, H. (2004). Option pricing under a double exponential jump diffusion model. Management Science 50(9), 1178–1192 (http://doi.org/bqk52m).

Lee, R. W. (2004). Option pricing by transform methods: extensions, unification and error control. The Journal of Computational Finance 7(3), 51–86 (http://doi.org/btnn).

Lord, R., Fang, F., Bervoets, F., and Oosterlee, C. W. (2008). A fast and accurate FFT-based method for pricing early-exercise options under Lévy processes. SIAM Journal on Scientific Computing 30(4), 1678–1705 (http://doi.org/bd4r4h).

Madan, D. B., and Seneta, E. (1990). The variance gamma (VG) model for share market returns. Journal of Business 63(4), 511–524.

Madan, D. B., Carr, P. P., and Chang, E. C. (1998). The variance gamma process and option pricing. European Finance Review 2(1), 79–105 (http://doi.org/d4hkvp).

Mattner, L. (2001). Complex differentiation under the integral. Nieuw Archief voor Wiskunde 2, 32–35.

Merton, R. C. (1976). Option pricing when underlying stock returns are discontinuous. Journal of Financial Economics 3(12), 125–144 (http://doi.org/d659w5).

Nualart, D., and Schoutens, W. (2001). Backward stochastic differential equations and Feynman–Kac formula for Lévy processes, with applications in finance. Bernoulli 7(5), 761–776 (http://doi.org/cs6qm4).

Raible, S. (2000). Lévy processes in finance: theory, numerics, and empirical facts. PhD Thesis, Universität Freiburg im Breisgau.

Reed, M., and Simon, B. (1975). Methods of Modern Mathematical Physics, Volume 2: Fourier Analysis, Self-Adjointness. Academic Press.

Rydberg, T. H. (1997). The normal inverse Gaussian Lévy process: simulation and approximation. Communications in Statistics: Stochastic Models 13(4), 887–910 (http://doi.org/fmsknc).

Schmelzle, M. (2010). Option pricing formulae using Fourier transform: theory and application. Unpublished manuscript.

Stenger, F. (1993). Numerical Methods Based on Sinc and Analytic Functions. Springer.

Suh, S., and Zapatero, F. (2008). A class of quadratic options for exchange rate stabilization. Journal of Economic Dynamics and Control 32(11), 3478–3501 (http://doi.org/bd5qf3).

Tankov, P. (2004). Financial Modelling with Jump Processes. CRC Press.

Toivanen, J. (2007). Numerical valuation of options under Kou’s model. PAMM 7(1), 1024001–1024002 (http://doi.org/cdssm5).