Obstacle problems for nonlocal operators

Obstacle problems for nonlocal operators: A brief overview

Donatella Danielli Department of Mathematics, Purdue University, West Lafayette, IN 47907 danielli@math.purdue.edu Arshak Petrosyan Department of Mathematics, Purdue University, West Lafayette, IN 47907 arshak@math.purdue.edu  and  Camelia A. Pop School of Mathematics, University of Minnesota, Minneapolis, MN 55455 capop@umn.edu

In this note, we give a brief overview of obstacle problems for nonlocal operators, focusing on the applications to financial mathematics. The class of nonlocal operators that we consider can be viewed as infinitesimal generators of non-Gaussian asset price models, such as Variance Gamma Processes and Regular Lévy Processes of Exponential type. In this context, we analyze the existence, uniqueness and regularity of viscosity solutions to obstacle problems which correspond to prices of perpetual and finite expiry American options.

Key words and phrases:
Obstacle problem, nonlocal operators, Lévy processes, American options, viscosity solutions, existence and uniqueness
2010 Mathematics Subject Classification:
Primary 35R35; Secondary 60G51, 91G80

1. Introduction

The purpose of this note is to give a brief overview of obstacle problems for nonlocal operators, focusing on the applications to financial mathematics. Natural classes of nonlocal operators are infinitesimal generators of Lévy processes. We recall that a Lévy process defined on a filtered probability space is a random process that is stochastically continuous and has stationary and independent increments. More precisely, is a Lévy process if:

  • with probability 1;

  • For all , are independent;

  • For all , the probability distribution of is the same as the one of ;

  • For all , we have that

We begin the introduction with §1.1 where we gives representations of Lévy processes using the Lévy-Khintchine formula and the Lévy-Itô decomposition. We continue in §1.2 to describe the connection to nonlocal (integro-differential) operators and we present in §1.3 more general stochastic equations, which give rise to a wider class of nonlocal operators. Finally, in §1.4 we give a brief introduction to obstacle problems and we summarize in §1.5 previous results obtained in the literature.

1.1. Representations of Lévy processes

Our starting point is the Lévy-Khintchine formula [1, Corollary 2.4.20], which shows that, for all and , we have


where the characteristic exponent is given by


Here is a -dimensional, symmetric, positive-semidefinite matrix, and is a Lévy measure on , i.e. it satisfies

When and , that is , the process is deterministic motion on a straight line, with velocity of motion, or drift, . If instead , but has finite variation, that is it satisfies


then we can rewrite the characteristic exponent (1.2) as

The simplest possible case is when where and is the Dirac mass concentrated at . If we let , then the process is such that

and therefore is a Poisson process of intensity taking values in . The physical interpretation is that follows the path of a straight line with drift and has jump discontinuities of size . The time between two consecutive jumps are independent random variables exponentially distributed with parameter .

The next step is to take , with , In this instance, we can write as

where the , are independent Poisson processes with intensity taking values in . The path is still deterministic with drift and has jumps of size in occurring at exponentially distributed random times. When we let tend to in a suitable sense, or more generally when the Lévy measure is of finite variation, that is, condition (1.3) holds, we can write

where is the jump at time . Instead of dealing with jumps directly, it is more convenient to count the number of jumps that belong to a set up to time . To this end, for a Borel set and , we define the random Poisson measure with intensity

which allows us to write

However, in the most general case, the Lévy measure may not satisfy the finite variation condition (1.3) and to deal with the accumulation of small jumps, we make use of the compensated Poisson measure:

Finally, in case of a general Lévy measure and of a diffusion matrix , one has the Lévy-Itô decomposition [1, Theorem 2.4.16]:


where is a -dimensional matrix such that , and is a -dimensional Brownian motion.

1.2. Connections to integro-differential operators

At this point we want to explore the connection between stochastic processes and integro-differential operators. Using the fact that any Lévy process is a Markov process, by defining

we obtain that defines a one-parameter semigroup of linear operators on the Banach space of bounded continuous functions, . One can think of the semigroup as a tool to give a deterministic, macroscopic description of the Lévy process as an average of microscopic random dynamics. The infinitesimal generator corresponding to the semigroup semigroup is defined formally by

and takes the form

Under suitable regularity assumptions that allow us to apply Itô’s rule [1, Theorem 4.4.7] to solutions to the parabolic differential equation on , with initial condition on , we obtain that , for all and , and so .

We can also establish a connection between the infinitesimal generator of the process and the characteristic exponent appearing in the Lévy-Khintchine formula (1.1). Viewed as a pseudo-differential operator [6, 21], the symbol of the infinitesimal generator is the characteristic exponent (1.2) appearing in identity (1.1). In our survey, we will be concerned with generalizations of symbols that contain only a drift and a nonlocal term (the second order diffusion term is removed). This gives rise to mathematical challenges in the study of the regularity of solutions, when the drift term dominates the nonlocal component – the so-called supercritical regime. This property is often encountered in financial models for stock prices, such as Variance Gamma and Regular Lévy Processes of Exponential Type described in greater detail in §2.

1.3. Stochastic integro-differential equations

More generally than the infinitesimal generators of Lévy processes, in this survey we are specifically concerned with nonlocal operators that are infinitesimal generators of strong Markov processes, which can be written as solutions to stochastic integro-differential equations of the form:


Here is a compensated Poisson random measure with intensity measure , as defined in §1.1, and and satisfy suitable conditions, which we describe in detail in §3. Our conditions ensure, by [1, Theorem 6.2.9], that for any initial condition , there exists a unique strong solution to equation (1.5) with càdlàg paths a.s. The process satisfies the strong Markov property, and therefore it is uniquely determined by its infinitesimal generator


for all (this denotes all functions with bounded and continuous derivatives up to and including order 2 in . The term nonlocal refers to the fact that the value of depends on the whole solution and not only on its behavior nearby the point . A typical example of a nonlocal integro-differential operator is the fractional Laplacian , with , which is defined on the Fourier transform side by the formula

or, equivalently, by the pointwise representation

being a normalization constant depending only on and . The fractional Laplacian is the infinitesimal generator of the symmetric -stable Lévy process with characteristic exponent in the Lévy-Khintchine formula given by .

1.4. Obstacle problems

In recent years there has been a resurgence of interest in the study of nonlocal operators, motivated by applications. In fact, such operators and the associated integro-differential equations naturally arise in a variety of contexts, ranging from temperature control to linear elasticity, from fluid dynamics to financial mathematics. To describe the latter application in more detail, we assume that


models an asset price process, where is a solution to the stochastic equation (1.5). We let be the payoff function of an American option (i.e., a profit of is generated when exercising the option at time and the stock level is ). Without loss of generality, we can assume that the payoff can be written as a function of . We recall that, unlike the European option, in the American option framework the holder has the right to exercise at any date prior to maturity, and not only at the expiry date. Hence, the value of the American option with expiry date can be written as

where the supremum is taken over all stopping times bounded by , and we assume that the expectation is taken under a risk-neutral probability measure and is the risk-free interest rate. Letting be the first time that the stochastic process enters the exercise region , and assuming that the value function is regular enough, probabilistic arguments ensure that the stopped process is a martingale, which is equivalent to the equality


In general, however the discounted option price process is a supermartingale, which translates into the inequality


Combining equations (1.8) and (1.9) together with the property that gives us that the value function is a solution to the evolution obstacle problem:


where is the infinitesimal generator of . The strong Markov property of implies that the exercise decision at any time depends only on and . Therefore, for each there exist an exercise region , in which one should exercise the option, and a continuation region , in which one instead should wait. The exercise boundary is the interface separating the two. See Figure 1 for a schematic representation. We briefly mention here that in the case of perpetual American option, when the option has a infinite expiration time, the value function depends only on the current value of the process and is a solution to a stationary obstacle problem. We refer to §3 for further details.

exercise (free) boundary

Figure 1. A schematic description of the complementarity conditions for the evolution obstacle problem at a time slice . The exercise region is represented by the gray area, and the remaining region is the continuation region .

1.5. Review of literature and outline of the survey

If the underlying stochastic process is Brownian motion, then the infinitesimal generator of the underlying process is and will satisfy the classical obstacle problem, which is by now very well understood [8, 9, 10, 14]. However, Brownian motion falls short in some respects:

  • Stock prices do not move continuously, which prompts us to consider models that allow jumps in small time intervals;

  • Empirical studies of stock price returns indicate distributions with heavy tails, which are not compatible with a Gaussian model.

For these reasons, it becomes necessary to study jump-diffusion processes, whose infinitesimal generator is an integro-differential operator of the form (1.4). Such type of operators were introduced in finance by the Nobel Prize winner R. Merton [19]. The novel element, which reflects the presence of jumps, is the integral term. Its presence leads to new theoretical and numerical issues. Since no closed form solutions are known in general for the American option, it becomes important to determine the regularity of the exercise boundary, which in turn is closely related to the behavior of the value function.

In the framework of jump-diffusion models with a non-degenerate diffusion matrix, regularity of the value function and efficient numerical schemes were studied in [17, 2, 3, 5], and regularity of the free boundary was explored in [4]. Using methods from the theory of pseudo-differential operators and the Wiener-Hopf factorization, qualitative studies of American option prices and of the exercise region under pure-jump models were performed in articles such as [20, 15, 16, 7, 6].

Our work continues the study of the regularity of solutions to obstacle problems for nonlocal operators with (possibly supercritical) drift. The purpose of this note is to give an overview of the regularity results obtained in [13]. In §2, we describe two examples of stochastic processes of interest in mathematical finance to which our results apply. In §3, we state the problem precisely, and provide the statements of our main results.

2. Motivating Examples

In this section we assume and that the asset price process can be written as in (1.7). Moreover, denotes the risk-free interest rate. It is crucially important to ensure that the discounted asset price process is a martingale in order to obtain an arbitrage-free market. Assume that is a one-dimensional Lévy process that satisfies the stochastic equation:


where is a real constant and is a compensated Poisson random measure with Lévy measure . Using [1, Theorem 5.2.4 and Corollary 5.2.2], a sufficient condition that guarantees that the discounted asset price process is a martingale is:


where denotes the characteristic exponent of the Lévy process , that is,


Examples in mathematical finance to which our results apply include the Variance Gamma Process [18] and Regular Lévy Processes of Exponential type (RLPE) [6].

When the jump-part of the nonlocal operator corresponding to the integral term in the characteristic exponent (2.3) has sublinear growth as , we say that the drift term corresponding to in the characteristic exponent (2.3) is supercritical. An example of a nonlocal operator with supercritical drift is the Variance Gamma Process and a subcollection of Regular Lévy Processes of Exponential type described below.

2.1. Variance Gamma Process

Following [11, Identity (6)], the Variance Gamma Process with parameters and has Lévy measure given by

where are the roots of the equation , and are positive constants. From [11, Identity (4)], we have that the characteristic exponent of the Variance Gamma Process with constant drift , , has the expression:

and so the infinitesimal generator of is given by

which is a sum of a pseudo-differential operator of order less than any and one of order . When and , condition (2.2) is satisfied and the discounted asset price process is a martingale. Thus, applying the results in §3 to the Variance Gamma Process with constant drift , we obtain that the prices of perpetual and finite expiry American options with bounded and Lipschitz payoffs are Lipschitz functions in the spatial variable. Given that the nonlocal component of the infinitesimal generator has order less than any , this may be the optimal regularity of solutions that we can expect.

2.2. Regular Lévy Processes of Exponential type

Following [6, Chapter 3], for parameters , a Lévy process is said to be of exponential type if it has a Lévy measure such that

Regular Lévy Processes of Exponential type and order are non-Gaussian Lévy processes of exponential type such that, in a neighborhood of zero, the Lévy measure can be represented as , where the density satisfies the property that

for constants , , and . Our results apply to RLPE type , when we choose the parameters and . The class of RLPE include the CGMY/KoBoL processes introduced in [11]. Following [11, Equation (7)], CGMY/KoBoL processes are characterized by a Lévy measure of the form

where the parameters , , and . Our results apply to CGMY/KoBoL processes, when we choose the parameters and , or and .

3. Statements of the main results

In this section we provide the statements of our main results. Complete proofs can be found in [13], where these results have originally appeared.

We begin by listing the required assumptions on the measure and the coefficients and appearing in the operator (1.6):

  1. There is a positive constant such that for all , we have

    where is a measurable function.

  2. The coefficient is bounded and Lipschitz continuous, i.e., .

  3. For the stationary problem, we assume that (independent of ).

3.1. Stationary obstacle problem

We consider the obstacle problem


where is the infinitesimal generator of the unique strong solution to the stochastic equation (1.5), with initial condition . We explicitly remark here that, in the applications in §2, one chooses , the risk-free interest rate. Solutions to the obstacle problem (3.1) are constructed using the stochastic representation formula of the value function:

where is the set of stopping times and

In order to state our results, we need to introduce the relevant function spaces. We denote by the space of bounded continuous functions such that

For all , a function belongs to the Hölder space of functions if

where, as usual, we define

When , we denote for brevity . Our first result concerns the regularity of the value function.

Theorem 3.1.

Let be bounded Lipschitz continuous functions, and assume that there is a constant such that . Then the following hold:

  1. (Hölder continuity) There is a constant , such that the value function .

  2. (Lipschitz continuity) If in addition we have that


    then the value function .

The proof of Theorem 3.1 hinges on the stochastic representation of solutions and on the continuity of the strong solutions to the SDE with respect to the initial conditions. To proceed, we introduce the notion of viscosity solution, which gives an intrinsic definition of a solution which is local in nature, but does not assume a priori any regularity, except for continuity.

Definition 3.2.

Let . We say that is a viscosity subsolution (supersolution) to the stationary obstacle problem if, for all such that has a global max (min) at and , then


We say that is a viscosity solution if it is both a sub- and supersolution.

Next, we show that the value function is the unique solution to (3.1).

Theorem 3.3 (Existence).

Assume in addition

where is the constant appearing in Theorem 1. Then the value function is a viscosity solution to the stationary obstacle problem.

Theorem 3.4 (Uniqueness).

Suppose that and is a positive function. If the stationary obstacle problem has a viscosity solution, then it is unique.

We remark that a sufficient condition on the Lévy measure to ensure that perpetual American put option prices are Lipschitz continuous, but not continuously differentiable, is provided in [6, Theorem 5.4, p. 133]. However, the condition is in terms of the Wiener-Hopf factorization for the characteristic exponent of the Lévy process, and it is difficult to find a concrete example for which it holds. Since in our case the order of the nonlocal operator is strictly less than the order of the drift component, and there is no second-order term, the issue of regularity of solutions is quite delicate.

The proof of the existence result hinges in a crucial way on a Dynamic Programming Principle. In order to state it precisely, we need the following definition.

Definition 3.5.

For all and , we let

where denoted the open Euclidean ball of radius centered at .

Theorem 3.6 (Dynamic Programming Principle).

The value function satisfies:

where we define

Uniqueness is proved instead with the aid of the following theorem.

Theorem 3.7 (Comparison principle).

Suppose that the assumptions of the uniqueness theorem hold. If and are a viscosity subsolution and supersolution to the stationary obstacle problem, respectively, then .

In financial terms, comparison principles simply translate into arbitrage inequalities: if the terminal payoff of an American option dominates the terminal payoff of another one, then their values should verify the same inequality.

3.2. Evolution Obstacle Problem

The evolution obstacle problem is given by


with the compatibility condition


The treatment of this problem is very similar to the stationary case. For the sake of brevity, we confine ourselves to mentioning here that the main new difficulty is to establish regularity in the time variable. This is done with the aid of the following result concerning the continuity properties of , which in turn is a consequence of Doob’s Martingale Inequality.

Lemma 3.8.

There is a positive constant such that

The use of this lemma also allows to relax the assumptions on the coefficients in that we no longer require condition (3.2) to hold and we can allow the jump size to be a function of the current state of the process.

The relevant function spaces, in the evolution case, are as follows. For all , we denote by the space of functions such that

and we let denote the space of functions such that the first order derivative in the time variable and the second order derivatives in the spatial variables are continuous and bounded. Let denote the set of stopping times bounded by , for all . Solutions to problem (3.4) are constructed using the stochastic representation formula,


where we define


for all .

Proposition 3.9 (Regularity).

Suppose that belong to , the final condition is in , and the compatibility condition (3.5) holds. Then the value function defined in (3.4) belongs to .

We next define a notion of viscosity solution for the evolution obstacle problem (3.4) extending that of its stationary analogue for equation (3.1) similarly to the ideas described in [12, §8]:

Definition 3.10 (Viscosity solutions).

Let . We say that is a viscosity subsolution (supersolution) to the evolution obstacle problem (3.4) if


and, for all such that has a global max (min) at and , we have that


We say that is a viscosity solution to equation (3.4) if it is both a sub- and supersolution.

Theorem 3.11 (Existence).

Suppose that the hypotheses of Proposition 3.9 hold. Then the value function defined in (3.6) is a viscosity solution to the evolution obstacle problem (3.4).

We conclude with

Theorem 3.12 (Uniqueness).

Suppose that belongs to , are in , the compatibility condition (3.5) holds, and


If the obstacle problem (3.4) has a solution, then it is unique.


  • [1] D. Applebaum, Lévy processes and stochastic calculus, second ed., Cambridge Studies in Advanced Mathematics, vol. 116, Cambridge University Press, Cambridge, 2009.
  • [2] E. Bayraktar, A proof of the smoothness of the finite time horizon American put options for jump diffusions, SIAM J. Control and Optimization 48 (2009), 51–572.
  • [3] by same author, On the perpetual American put options for level dependent volatility models with jumps, Quant. Finance 11 (2011), 335–341, arXiv:math/0703538.
  • [4] E. Bayraktar and H. Xing, Analysis of the optimal exercise boundary of American options for jump diffusions, SIAM J. Math. Anal. 41 (2009), 825–860.
  • [5] E. Bayraktar and H. Xing, Regularity of the optimal stopping problem for jump diffusions, SIAM J. Control Optim. 50 (2012), no. 3, 1337–1357.
  • [6] S. I. Boyarchenko and S. Z. Levendorskiĭ, Non-Gaussian Merton-Black-Scholes theory, World Scientific: River Edge, NJ, 2002.
  • [7] by same author, Optimal stopping in Lévy models for nonmonotone discontinuous payoffs, SIAM J. Control Optim. 49 (2011), 2062–2082.
  • [8] L. A. Caffarelli, The regularity of free boundaries in higher dimensions, Acta Math. 139 (1977), 155–184.
  • [9] by same author, Compactness methods in free boundary problems, Comm. Partial Differential Equations 5 (1980), 427–448.
  • [10] by same author, The obstacle problem revisited, J. Fourier Anal. Appl. 4 (1998), 383–402.
  • [11] P. Carr, H. Geman, D. B. Madan, and M. Yor, The fine structure of asset returns: An empirical investigation, The Journal of Business 75 (2002), no. 2, 305–333.
  • [12] M. G. Crandall, H. Ishii, and P.-L. Lions, User’s guide to viscosity solutions of second order partial differential equations, Bull. Amer. Math. Soc. (N.S.) 27 (1992), 1–67.
  • [13] D. Danielli, A. Petrosyan, and C.A. Pop, Obstacle problems for nonlocal operators, to appear in AMS Contemporary Mathematics, arXiv:1709.10384.
  • [14] P. Laurence and S. Salsa, Regularity of the free boundary of an American option on several assets, Comm. Pure Appl. Math. 62 (2009), 969–994.
  • [15] S. Z. Levendorskiĭ, Early exercise boundary and option prices in Lévy driven models, Quant. Finance 4 (2004), 525–547.
  • [16] by same author, Pricing of the American put under Lévy processes, Int. J. Theor. Appl. Finance 7 (2004), 303–335.
  • [17] by same author, American and European options in multi-factor jump-diffusion models, near expiry, Finance Stoch. 12 (2008), 541–560.
  • [18] D. B. Madan and E. Seneta, The Variance Gamma (V.G.) model for share market returns, J. Business 63 (1990), 511–524.
  • [19] R. Merton, Option pricing when underlying stock returns are discontinuous, J. Financial Economics 3 (1976), 125–144.
  • [20] E. Mordecki, Optimal stopping and perpetual options for Lévy processes, Finance and Stochastics 6 (2002), no. 4, 473–493.
  • [21] M. E. Taylor, Partial differential equations II. Qualitative studies of linear equations, Applied Mathematical Sciences, vol. 116, Springer, New York, 2011.
Comments 0
Request Comment
You are adding the first comment!
How to quickly get a good reply:
  • Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
  • Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
  • Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
The feedback must be of minimum 40 characters and the title a minimum of 5 characters
Add comment
Loading ...
This is a comment super asjknd jkasnjk adsnkj
The feedback must be of minumum 40 characters
The feedback must be of minumum 40 characters

You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test description