The Monotone Case Approach for the Solution of Certain Multidimensional Optimal Stopping Problems

Sören Christensen∗, Albrecht Irle∗

June 4, 2019

This paper studies explicitly solvable multidimensional optimal stopping problems of sum- and product-type in discrete and continuous time using the monotone case approach. It gives a review on monotone case stopping using the Doob decomposition, resp. Doob-Meyer decomposition in con- tinuous time, also in its multiplicative versions. The approach via these decompositions leads to explicit solutions for a variety of examples, includ- ing multidimensional versions of the house-selling and burglar’s problem, the Poisson disorder problem, and an optimal investment problem.

Keywords: Monotone Stopping Rules; Optimal Stopping; Explicit Solutions; Multi- dimensional; Doob Decomposition; Doob-Meyer Decomposition; House-Selling Problem; Multiple Buying-Selling; Burglar’s Problem; Poisson Disorder Problem; Optimal Invest- ment Problem Mathematics Subject Classification: 60G40; 62L10; 91G80

1 Introduction

In multidimensional problems, optimal stopping theory reaches its limits when trying to find explicit solutions for problems with a finite time horizon or an underlying (Marko- vian) process in dimension d ≥ 2. In the one-dimensional case with infinite time horizon, the optimal continuation set usually is an interval of the real line, bounded or unbounded, so it remains to determine the boundary of that interval, which boils down to finding arXiv:1705.01763v2 [math.PR] 3 Jun 2019 equations for one or two, resp., real numbers. A wealth of techniques has been developed to achieve this, see Salminen (1985), Dayanik and Karatzas (2003) for one dimensional

∗Christian-Albrechts-Universität, Mathematisches Seminar, Ludewig-Meyn-Str. 4, 24098 Kiel, Ger- many

1 diffusions, or Mordecki and Salminen (2007) and Christensen et al. (2013) for jump processes, to name but a few. The notion of a multidimensional stopping problem is employed in this article in the following sense. It is used for such problems where the general theory of optimal stop- ping prescribes that the optimal stopping time is given by the first entrance time of a stochastic process into a d-dimensional optimal stopping set with (Euclidean) dimen- sion d ≥ 2. Some typical cases are as follows: The underlying stochastic process is a Markovian process with d-dimensional state space; under certain explicit time depen- dencies of the pay-off, in particular for finite time horizon, the space-time process arises with d = 2. Particularly in discrete time problems multidimensional problems arise due to history dependence for the optimal stopping time, e.g. for a Markovian process of degree k, or even full history dependence as in the well-known best choice problem of Robbins, see Bruss (2005). There are a few multidimensional problems, see Dubins et al. (1994), Margrabe (1978), Gerber and Shiu (1996), Shepp and Shiryaev (1995), which, by some transformation method, may be transferred to a one-dimensional problem. Let us call a multidimensional problem truly multidimensional (as a manner of speech) if such a transformation seems hardly possible, at least does not seem to be available in the current literature (as we know it). Explicit solutions for such problems seem to be rare, but, of course, many techniques have been developed to tackle such problems, either semi-explicitly using nonlinear integral equations, see the monograph Peskir and Shiryaev (2006) or the more recent article Christensen et al. (2018) for an overview, or numerically, see Chapter 8 in Detemple (2006) and Glasserman (2004). The purpose of this note is to provide some examples of seemingly truly multidimen- Pm i
sional problems with an explicit solution where the payoffs take the form i=1 Xn n Qm i
1 m or i=1 Xn n for m stochastic processes (Xn)n,..., (Xn )n in discrete time as well as i in continuous time. Knowing the individual solutions for the (Xn)n-problems in gen- eral does not seem to lead to the explicit solution for the sum or product problem. Here, we present a class of examples for which this is possible, the key being the notion of monotone stopping problems. The class of monotone stopping problems has been used extensively in the solution of optimal stopping problems, in particular in the first decades starting with Chow and Robbins (1961, 1963). A long list of examples can be found in Chow et al. (1971) and, more recently, in Ferguson (2008). The extension to continuous time problems is not straightforward. This was developed in Ross (1971), Irle (1979), Irle (1983), and Jensen (1989). Although these references are not very recent, it is interesting to note that the solution to certain “modern” optimal stopping problems is directly based on the notion of monotone case problems. Here, one may look e.g. at the odds-algorithm initiated in Bruss (2000) and extended by Ferguson (2016), or at Christensen (2017) where, to solve the original problem, an auxiliary problem for a two-dimensional process consisting of the underlying Markov process and its running maximum with suitable monotonicity properties is introduced. See also Christensen and Irle (2019) for related results. This paper aims at presenting the monotone case approach to optimal stopping by a systematic use of the Doob (in continuous time Doob-Meyer) decomposition of the

2 pay-off process, and shows how it may be used to solve some multidimensional stopping problems. The Doob(-Meyer) decomposition is a well-known tool in the treatment of super-/sub-martingales, in particular in optimal stopping it is applied to the Snell enve- lope. In the theory of continuous time finance, the decomposition, applied to the Snell envelope, is used to obtain duality results for option pricing, see Jamshidian (2007) for an overview and further discussions. Here we review monotone case problems in terms of the Doob(-Meyer) decomposition with regard to the optimality of the myopic stopping time in Section 2. Although this approach seems to be natural and is mathematically straightforward, we could not locate it in the literature in this form, so we present it in a survey style. Due to the simplicity of this approach, the very short proofs are given. Almost sure finiteness of stopping times is not needed in this approach. The multiplicative Doob(-Meyer) decomposition is included, and our treatment covers the discrete and continuous time case in a unified way such that it can be used for the application in multidimensional problems in Sections 3 and 4. In Section 3 we show that, under certain assumptions, the monotone case property of the individual stopping problems carries over to the sum- and product-type problems providing an explicit solution. For this, we use the Doob(-Meyer) decomposition. We discuss a variety of examples in Section 4. We start with multidimensional versions of the classical house-selling and burglar’s problem. Here, the original one-dimensional problems are well-known to be solvable using the theory of monotone stopping. Also the multidimensional house-selling problem with recall was already solved in Bruss and Ferguson (1997). The last two examples are multidimensional extensions of continuous- time problems: the Poisson disorder problem and the optimal investment problem, which in one dimension are usually solved using other argument. The more involved arguments concerning the Doob-Meyer decomposition are treated there in detail.

2 Monotone Stopping Problems

2.1 Monotone stopping problems in discrete time and the Doob decomposition Let us first stay in the realm of discrete time problems with infinite time horizon. For a se- quence X1,X2,... of integrable random variables, adapted to a given filtration (An)n∈N, we want to find a stopping time τ ∗ such that

EXτ ∗ = sup EXτ . (1) τ

Here τ runs through all stopping times such that EXτ exists. We include a random variable X∞, so that the stopping times may assume the value ∞. A natural choice for our problems below is X∞ = lim infn→∞ Xn, see the discussion in Subsection 2.2.3. There is a certain class of such problems for which we can easily solve this. Call the above problem a monotone case problem iff for all n ∈ N it holds that

E(Xn+1|An) ≤ Xn =⇒ E(Xn+2|An+1) ≤ Xn+1.

3 Using sets in the notation this may be written as

{E(Xn+1|An) ≤ Xn} ⊆ {E(Xn+2|An+1) ≤ Xn+1} for all n ∈ N.

A particularly simple sufficient condition for the monotone case is that the differences

Yn = E(Xn+1|An) − Xn are non-increasing in n, hence Yn ≤ 0 =⇒ Yn+1 ≤ 0. This condition turns out to be fulfilled in many examples of interest and allows for the treatment of multidimensional problems of sum type discussed in the following section. If we only want to consider stopping times ≥ k, e.g. if stopping in {1, ..., k − 1} is clearly suboptimal, then we may formulate the monotone case condition only for n ≥ k. 0 Of course, using Xn = Xn+(k−1), this may be subsumed in the case k = 1, so we shall look at n ≥ 1 in the following and, similarly in the latter continuous time case, at t ≥ 0. Comparing the current gain with what to expect in the next step leads to the stopping time ∗ τ = inf{n : Xn ≥ E(Xn+1|An)} = {n : Yn ≤ 0}. It is called the one-step look ahead rule or, as we will use in this paper, the myopic rule. In general, this does not yield an optimal rule, but in monotone case problems it is the natural candidate for an optimal one. The discussion of the optimality of τ ∗ for the monotone case is a well-known topic, see the references mentioned in the introduction. We, however, find it enlightening to provide a short review using the Doob decomposition, which leads to a shortcut to optimality results without the usual machinery of optimal stopping theory. This approach also provides a unifying line of argument for both discrete and continuous time. For every n let

n−1 X Mn = (Xk+1 − E(Xk+1|Ak)),M1 = 0, k=1 n−1 n−1 X X An = (E(Xk+1|Ak) − Xk) = Yk,A1 = 0, k=1 k=1 so that by telescoping expectation terms we have the Doob decomposition

Xn = X1 + Mn + An

∗ with a zero mean martingale (Mn)n∈N. For the myopic stopping time τ

∗ E(Xk+1|Ak) − Xk > 0 for k = 1, . . . , τ − 1

∗ – valid for all k ∈ N if τ = ∞ – and in the monotone case

∗ ∗ E(Xk+1|Ak) − Xk ≤ 0 for k = τ , τ + 1,....

4 Thus we have Aτ ∗ = sup An n ∗ ∗ and, using τL = min{τ ,L} for L ∈ N,

Aτ ∗ = sup An. L n≤L So, for any stopping time τ, not necessarily finite a.s.,

A ≤ A ∗ ,A ≤ A ∗ . τ τ min{τ,L} τL Basically these simple inequalities are the foundation for the optimality properties of the myopic stopping time. We provide sufficient conditions for this optimality, called (V1) and (V2), which are suitable for our classes of problems, in Subsection 2.2. Remark 2.1. It is remarkable that the myopic stopping rule immediately provides optimal stopping times for all possible time horizons in the monotone case. The same observation also holds true in the continuous time case discussed below. See also Ferguson (2008) and Irle (2017). This is in strong contrast to most Markovian-type optimal stopping problems, where infinite time problems are often easier to solve as the stopping boundary is not time dependent.

2.2 Optimality of The Myopic Rule Based on the Doob Decomposition We continue the treatment of Subsection 2.1 and assume that we are in the monotone case.

2.2.1 Optimality for finite time horizon

Let L ∈ N and τ ≤ L a bounded stopping time. Then, using the martingale property, EMτ = 0, valid for bounded stopping times,

EX = EX + EA ≤ EX + EA ∗ = EX ∗ . τ 1 τ 1 τL τL ∗ This implies optimality of τL for the finite time horizon L.

2.2.2 Optimality for infinite time horizon

The extension from the finite to the infinite case uses the approximation τ = limL→∞ τL,

τL = min{τ, L}, so that Xτ = limL→∞ XτL on {τ < ∞}, but on {τ = ∞} we need a specific definition of X∞. Here, we use

X∞ = lim inf Xn, n→∞ so that Xτ = lim infL→∞ XτL . We introduce the following conditions:

lim EXτ ∗ ≤ EXτ ∗ (V1) L→∞ L

sup{EXτ : τ bounded} = sup EXτ (V2) τ Note for (V1) that EX ∗ is increasing in L. τL

5 Proposition 2.2. Under (V1) and (V2), τ ∗ is optimal, i.e.

EXτ ∗ = sup EXτ . τ Proof. We have from the previous considerations that

EXτ ∗ ≥ lim sup EXτ = sup{EXτ : τ bounded}, L→∞ τ≤L proving the claim by (V2).

2.2.3 Discussion of Assumptions (V1) and (V2) The validity of (V2) is of course a well-known topic in optimal stopping, independently of the monotone case context. We only remark that, under E(infn Xn) > −∞, Fatou’s Lemma shows that for any τ

lim inf EXτ ≥ E(lim inf Xτ ) = EXτ . L→∞ L L→∞ L 0 0 The same holds if we add costs of observation, e.g. Xn = Xn−cn, assuming E(infn Xn) > −∞. (V1) follows from the condition E(supn Xn) < ∞, which is the standard assumption in optimal stopping theory, see e.g. Theorem 4.5, 4.5’ in Chow et al. (1971). This needs a short argument.

Proposition 2.3. E(supn Xn) < ∞ =⇒ (V1). Proof. Using Fatou’s Lemma again, we have

E lim sup Xτ ∗ ≥ lim sup EXτ ∗ . L→∞ L L→∞ L

Due to our definition of X we have to show that lim sup X ∗ = lim inf X ∗ ∞ L→∞ τL L→∞ τL ∗ on {τ = ∞}. On this set, (An)n∈N is increasing, hence limn→∞ An exists. Furthermore, ∗ (Mτn )n∈N is a martingale fulfilling the boundedness condition

Mτ ∗ = Xτ ∗ − X1 − Aτ ∗ ≤ sup Xn + |X1|, n n n n

∗ since Aτn ≥ 0. We may thus invoke the martingale convergence theorem and obtain the ∗ ∗ ∗ convergence of Mτn to some a.s. finite random variable. Since τn = n on {τ = ∞}, this shows the convergence of (Mn)n, hence of (Xn)n, on this set.

2.3 Monotone stopping problems in continuous time and the Doob-Meyer decomposition

To find the extension of the discrete time case to continuous time processes (Xt)t∈[0,∞) we may use the Doob-Meyer decomposition. Under regularity assumptions, not discussed here, we have Xt = X0 + Mt + At,

6 where (Mt)t∈[0,∞) is a zero mean martingale and (At)t∈[0,∞) is of locally bounded varia- tion. Now assume that we may write Z t At = YsdVs 0 where (Vt)t∈[0,∞) is increasing. Then the myopic stopping time – here often called in- finitesimal look ahead rule – becomes

∗ τ = inf{t : Yt ≤ 0}. In this situation, we say that the monotone case holds if

∗ Yt ≤ 0 for t > τ .

If (Yt)t∈[0,∞) is non-increasing in t, then again the monotone case property is immediate. The discussion of optimality is essentially the same as in the discrete time case, so is omitted. As no confusion can occur, we keep the notations (V1) and (V2) for the continuous-time versions of the optimality conditions.

2.4 Monotone stopping problems in discrete time and the multiplicative Doob decomposition

For processes (Xn)n∈N with Xn > 0 we may also consider the multiplicative Doob decomposition Xn = MnAn where, with X0 = 1, A0 = {∅, Ω}, n X M = Y k , n ≥ 1, is a mean 1-martingale, n E(X |A ) k=1 k k−1 n E(X |A ) A = Y k k−1 , n ≥ 1. n X k=1 k−1 Optimality of the myopic stopping time may also be inferred from this multiplicative decomposition in the monotone case. As in Subsection 2.1, we have for any τ

Aτ ≤ Aτ ∗ = sup An,Amin{τ,L} ≤ Aτ ∗ . n L The multiplicative decomposition leads, however, to different sufficient conditions for optimality. There is also a connection to a change of measure approach. Both is discussed in Subsection 2.5 below. We furthermore observe that we have a monotone case problem in particular if   Xn+1 E An is non-increasing in n, Xn which turns out to be a basis for the treatment of product-type problems in the following section.

7 2.5 Optimality of The Myopic Rule based on the Multiplicative Decomposition We assume the setting of Subsection 2.4 and work under the assumption that we are in the monotone case.

2.5.1 Optimality for finite time horizon For any bounded stopping time τ ≤ L

EX = EM A = EM A ≤ EM A ∗ = EX ∗ , τ τ τ L τ L τL τL so we arrive as in Subsection 2.2.1 at

EXτ ∗ = sup EXτ . L τ≤L

2.5.2 Optimality for infinite time horizon To extend this argument to infinite time horizon, first note that, due to the positivity property of the Xn, (V2) is valid due to the discussion in Subsection 2.2.3. Condi- tion (V1) has to be taken care of for the specific problem at hand (and we know from Subsection 2.2.3 that E(supn Xn) < ∞ is sufficient). We now present a measure-change approach leading to another sufficient condition for dQ|An optimality. We use a probability measure Q such that = Mn for each n, invoking dP |An the Kolmogorov extension theorem for the existence of Q. Then for any stopping time τ

EXτ 1{τ<∞} = EQAτ 1{τ<∞}.

Proposition 2.4. Assume that

Q(τ ∗ < ∞) = 1. (W1)

∗ Then, τ is optimal, i.e. EXτ ∗ = supτ EXτ Proof. For any stopping time τ

EXτ ≤ lim inf EXmin{τ,L} = lim inf EQAmin{τ,L} L→∞ L→∞

≤ EQAτ ∗ = EQAτ ∗ 1{τ ∗<∞}

= EXτ ∗ 1{τ ∗<∞} ≤ EXτ ∗ .

As (W1) does not seem to be very handy for applications, we now give a sufficient condition. Using Z Z Z ∗ Xn Q(τ > n) = MndP = dP ≤ XndP, {τ ∗>n} {τ ∗>n} An {τ ∗>n}

8 we see that we obtain optimality for τ ∗ if Z XndP → 0 as n → ∞. {τ ∗>n} Note the similarities to the approach of Beibel and Lerche as presented, e.g., in Beibel and Lerche (1997) and Lerche and Urusov (2007). There, in the continuous time case, the decomposition Xt = AtMt and EXτ 1{τ<∞} = EQAτ 1{τ<∞} is used for the case At = g(Zt) for some diffusion Z. Then, the stopping time

∗ σ = inf{t : g(Zt) = sup g(z)} z ∗ has on {σ < ∞} the property Aσ∗ = supt At, as the myopic stopping time.

2.6 Monotone stopping problems in continuous time and the multiplicative Doob-Meyer decomposition Also in continuous time, a multiplicative Doob-Meyer-type decomposition of the form

Xt = MtAt can be found in the case of a positive special semimartingale X, see Jamshidian (2007). For the ease of exposition, we now concentrate on the case of continuous semimartingales to have more explicit formulas. Using ibid, Theorem 4.2, M is a local martingale and R t if ( 0 YsdVs)t∈[0,∞) denotes the process in the additive Doob-Meyer decomposition as in Subsection 2.3, the process A here is given by  t  Z Ys At = exp dVs . 0 Xs The optimality may be discussed as in the discrete time case. We again remark that the problem can be identified to be monotone in particular if the process  Y  t is non-increasing. Xt t∈[0,∞)

3 Multidimensional Monotone Case Problems

We now come to the main point of this paper: Can we use the monotone case approach to find truly multidimensional stopping problems with explicit solutions? The answer is yes as shown in the following section by several non-trivial examples.

3.1 The sum problem

Already for sequences of real numbers, supn(an + bn) ≤ supn an + supn bn, usually with strict inequality. For optimal stopping,

1 2 1 2 sup E(Xτ + Xτ ) ≤ sup E(Xτ ) + sup E(Xτ ), τ τ τ

9 with strict inequality as a rule; this means that being able to solve the stopping problems 1 2 for (Xn)n and (Xn)n does not imply that we are able to solve the stopping problem for 1 2 (Xn + Xn)n.

3.1.1 Discrete time case

1 m Now let us look at m sequences (Xn)n∈N,..., (Xn )n∈N, adapted to a common filtration (An)n∈N, with Doob decompositions

i i i i Xn = X1 + Mn + An, i = 1, . . . , m,

i Pn−1 i where An = k=1 Yk as in Subsection 2.1. Then, the Doob decomposition for the sum process is m m m n−1 m X i X i X i X X i Xn = X1 + Mn + Yk , i = 1, . . . , m. i=1 i=1 i=1 k=1 i=1 i Now, if for each i the stopping problem for (Xn)n∈N is a monotone case problem it does not necessarily follow that we have a monotone case problem for Pm Xi
, see i=1 n n∈N i Example 4.2 below. But in the special case that all the (Yk )k∈N are non-increasing in k the monotone case property holds. We formulate this as a simple proposition:

Proposition 3.1. Assume that the processes X1,...,Xk have Doob decompositions

n−1 i i i X i Xn = X1 + Mn + Yk , i = 1, . . . , m, k=1

i such that all the sequences (Yk )k∈N are non-increasing in k. Then: (i) The sum problem for Pm Xi
is a monotone case problem with myopic rule i=1 n n∈N m ∗ X i τ = inf{k : Yk ≤ 0}. i=1

(ii) If (V1) and (V2) hold for Pm Xi
, then the myopic rule τ ∗ is optimal. i=1 n n∈N Proof. For the Doob decomposition

m m m n−1 m X i X i X i X X i Xn = X1 + Mn + Yk , i = 1, . . . , m, i=1 i=1 i=1 k=1 i=1 the sequence Pm Y i
is non-increasing in k by assumption, yielding (i). i=1 k k∈N (ii) now follows from (i) using Proposition 2.2.

10 3.1.2 Continuous time case

1 m Now let us look at m continuous time processes (Xt )t∈[0,∞),..., (Xt )t∈[0,∞), adapted to a common filtration (An)n∈N, with Doob-Meyer decompositions

i i i i Xi = X0 + Mt + At, i = 1, . . . , m,

i R t i where At = 0 Ys dVs for an increasing V independent of i. (The typical case is dVs = ds.) Then, the Doob decomposition for the sum process is

m m m Z t m X i X i X i X i Xt = X0 + Mt + Ys dVs, i = 1, . . . , m, i=1 i=1 i=1 0 i=1

i so that for non-increasing (Yt )t∈[0,∞), i = 1, . . . , m, the monotone case property holds. We obtain as in the discrete time case:

Proposition 3.2. Assume that the processes X1,...,Xk have Doob decompositions

Z t i i i i Xi = X0 + Mt + Ys dVs, i = 1, . . . , m, 0

i such that all the processes (Yt )t∈[0,∞) are non-increasing in t. Pm i
(i) The sum problem for i=1 Xt t∈[0,∞) is a monotone case problem with myopic rule m ∗ X i τ = inf{t : Yt ≤ 0}. i=1

Pm i
∗ (ii) If (V1) and (V2) hold for i=1 Xt t∈[0,∞), then the myopic rule τ is optimal. Remark 3.3. The assumptions of the previous Propositions can obviously be relaxed by assuming that the processes Y i are of the form

Y i = BY˜ i, where Y˜ i is a non-increasing process and B > 0 is a process independent of i.

3.2 The product problem 3.2.1 Discrete time case

1 m Now let us again consider m positive sequences (Xn)n∈N,..., (Xn )n∈N, which we now assume to be independent. We are interested in the product problem with gain Xn = Qn i i=1 Xn, n ∈ N. In this case   m i ! Xn+1 Y Xn+1 E An = E An . X Xi n i=1 n

11 So, if in the special individual monotone case problems

i ! Xn+1 E i An is non-increasing in n, (2) Xn then this also holds for the product. By noting that (V2) is fulfilled automatically by the positivity, we obtain

Proposition 3.4. Assume that the processes X1,...,Xk are positive, independent, and have multiplicative Doob decomposition

n i i i Y E(Xj|Aj−1) Xn = Mn i , i = 1, . . . , m, j=1 Xj−1 such that (2) holds true. Then:

(i) The product problem for Qm Xi
is a monotone case problem with myopic i=1 n n∈N rule ( m i ! ) ∗ Y Xn+1 τ = inf n : E An ≤ 1 . Xi i=1 n

(ii) If (V1) holds for Qm Xi
, then the myopic rule τ ∗ is optimal. i=1 n n∈N

3.2.2 Continuous time case The same argument as in the discrete case yields

Proposition 3.5. Assume that the processes X1,...,Xk are positive, independent semi- martingales, and have multiplicative Doob-Meyer decomposition

Z t i ! i i Ys Xt = Mt exp i dVs , i = 1, . . . , m, 0 Xs

 i  Yt such that i is non-increasing in t for i = 1, . . . , m. Then: Xt t∈[0,∞)

Qm i
(i) The product problem for i=1 Xt t∈[0,∞) is a monotone case problem with myopic rule ( ! ) ( ) m Z t Y i m Z t Y i τ ∗ = inf t : Y exp s dV ≤ 1 = inf t : X s dV ≤ 0 . Xi s Xi s i=1 0 s i=1 0 s

Qm i
∗ (ii) If (V1) holds for i=1 Xt t∈[0,∞), then the myopic rule τ is optimal.

12 4 Examples

4.1 The multidimensional house-selling problem 4.1.1 Sum problem

1 m (i) With recall: Consider m independent i.i.d. integrable sequences (Zn)n∈N,..., (Zn )n∈N and let for i = 1, . . . , m

i i i Xn = max{Z1,...,Zn} − cn, c > 0. In the terminology of the house-selling problem we have houses i = 1, . . . , m to sell i with gain Xn when selling it at time n describing a seller’s market, the max stating that former offers may be used. It is well-known, see Chow et al. (1971), that this is a monotone case problem with

i i i i i i Yk = E(max{Z1,...,Zk+1}|Ak) − max{Z1,...,Zk} − c = fi(Sk) − c where i i i i + Sk = max{Z1,...,Zk}, fi(z) = E((Z1 − z) ).

The filtration (An)n∈N is, of course, the one generated by the independent se- i quences. Since the fi are non-increasing in z and the Sk are non-decreasing in i k, the processes (Yk )k∈N are non-increasing in k. Proposition 3.1 yields that the multidimensional sum problem with reward m X i i Xn = max{Z1,...,Zn} − cn i=1 is a monotone case problem, and the myopic stopping time m ∗ X i 1 m ∗ τ = inf{k : fi(Sk) ≤ c} = inf{k :(Sk, ..., Sk ) ∈ Sm} i=1 with m ∗ X Sm = {(z1, ..., zm): fi(zi) ≤ c} i=1 i is optimal under the additional condition of finite variance for Zn. The validity of (V1) and (V2) follows as in the univariate case, see Ferguson (2008), Appendix to Chapter 4, Theorem 1. This problem was already solved by Bruss and Ferguson (1997), using the monotone case property for the sum problem in this example. Their treatment includes the validity of (V1) and (V2), and also explicit solutions for the uniform distribution 1 2 where fi(z) = 2 (1 − z) , z ∈ [0, 1], and the exponential distribution with fi(z) = e−z, z ∈ (0, ∞). Then

m m ∗ X 2 X −zi Sm = {(z1, . . . , zm): (1 − zi) ≤ 2c}, resp. = {(z1, . . . , zm): e ≤ c}. i=1 i=1

13 In the house-selling problem, the functions fi are decreasing and convex. In the two examples above, we assumed identical distributions, so that fi = f are independent of i and the stopping sets are symmetrical. Of course, this will disappear for non- identical distributions. If the underlying distributions are discrete then the fi will be piecewise linear and the optimal stopping sets polyhedrons.

(ii) Without recall: In the house-selling problem without recall we have

i i Xn = Zn − cn,

which is not a monotone case problem. But this one-dimensional problem has the same solution, i.e. optimal stopping time and optimal value as the problem with recall. This is well-known and follows from

i i i i i i Zn ≤ max{Z1, ..., Zn} and Zτ ∗ = max{Z1, ..., Zτ ∗ }.

Looking at the sum problem without recall we have

m X i Xn = Zn − cn i=1 which again is not a monotone case problem. But clearly, this is not a truly multidimensional problem as it reduces to the one-dimensional problem for Z˜n = Pm i ˜ ˜ + i=1 Zn. Using f(z) = E((Z1 − z) ), the optimal stopping time is given by ∗ ˜ ˜ 1 m ˜ τ˜ = inf{k : f(Zn) ≤ c} = inf{k :(Zk , ..., Zk ) ∈ Sm}

with −1 S˜m = {(z1, .., zm): z1 + ... + zm ≥ f˜ (c)}, thus a different geometric structure than in the problem with recall. For the explicit computation of f˜, an explicit expression for the distribution of Zn is necessary. As a simple example we take two uniform distributions to arrive at

4 z3 f˜(z) = + z2 − 2z − , 1 ≤ z ≤ 2. 3 6

(iii) Since

 m !+ m m ˜ X i X i + X f(z1 + ... + zm) = E  (Z1 − zi)  ≤ E((Z1 − zi) ) = fi(zi) i=1 i=1 i=1

it follows that ∗ ˜ Sm ⊆ Sm, see Figure 1. However, no ordering between τ˜∗ and τ ∗ may be inferred, as they are entrance times for two different stochastic sequences.

14 ∗ ˜ Figure 1: Stopping sets Sm (red, with recall) and Sm (blue and red, without recall) for (Z1,Z2) in the multidimensional sum house-selling problem for uniform distributions and c = 1/6.

4.1.2 Product problem Another multidimensional version of the house-selling problem is the product problem with constant costs, that is, with reward

m Y i i max{Z1,...,Zn} − cn. i=1 Looking at possible applications for the product structure, prices of houses do not pro- vide an appropriate setting. We look at the selling of other assets, keeping the traditional notion of the house-selling problem, although asset-selling problem might be more appro- priate. Stopping problems with product structure over various assets arise in American option pricing of financial engineers, and we sketch a possible case in the following lines. Consider (with recall) a selling problem for a commodity together with a currency con- version. Here m = 2 and the first factor gives the obtainable prices for the commodity in currency A, the second factor gives the obtainable exchange rates from currency A to currency B, and the product gives the prices in currency B. In the product problem with constant costs it can straightforwardly be checked that this does not lead to a monotone case problem. We now modify the classical problem by using a discounting factor ρ ∈ (0, 1) which is also appropriate for the financial engineering 1 m i setting. More precisely, for (Zn)n∈N,..., (Zn )n∈N as above with Zn > 0 a.s., let for i = 1, . . . , m i n i i Xn = ρ max{Z1,...,Zn}. Then,

i ! Xk+1 i E i Ak = ρgi(Sk) Xk

15 where ( )! Zi Si = max{Zi ,...,Zi }, g (z) = E max 1, 1 . k 1 k i z

i Similar as for the sum problem, the gi are decreasing in z and the Sk are non-decreasing  i  Xk+1 in k, so that the processes E i Ak are non-increasing in k. Therefore, the multi- Xk dimensional product problem with gain

m Y i Xn = Xn i=1 is a monotone case problem and the myopic stopping time reads as

( m ) ∗ Y i −m τ = inf k : gi(Sk) ≤ ρ . i=1 It is not difficult to see that τ ∗ is optimal according to Proposition 3.4. Indeed, (V2) i is clear due to the non-negativity and for (V1) it can be checked that E(supn Xn) < ∞ i for all integrable Zn, see e.g. Ferguson (2008), Chapter 4, Section 4.7. We provide the short argument: Since

m ! m   Y i Y i E sup Xn ≤ E sup Xn = E sup Xn n n n i=1 i=1 it is enough to consider m = 1. Then !   ∞ ρ E sup X1 ≤ E sup max{ρZ1, . . . , ρnZ1} ≤ E X ρnZ1 = EZ1 < ∞. n 1 n n ρ − 1 1 n n n=1 As for the sum problem, we obtain an explicit optimal stopping rule when consid- i ering concrete distributions. For example, consider the case that all Zn are uniformly distributed on [0, 1], then

Z 1  u 1 + z2 gi(z) = g(z) = max 1, du = , 0 z 2z so ∗ 1 m τ = inf{k :(Sk,...,Sk ) ∈ Sm}, where ( ) m 1 + z2 ρ−m S = (z , . . . , z ): Y i ≤ . m 1 m z 2 i=1 i See Figure 2 for an illustration.

16 Desmos | Graphing Calculator 30.05.18, 15)46

z2

z1

1 2 Figure 2: Stopping set Sm (red) for (S ,S ) in the multidimensional product house- selling problem for uniform distributions.

Remark 4.1. In the house-selling problem, as well as in other stopping problems, one might want to also study a problem of max-type, that is the problem with gain

i Xn = max Xn − cn i=1,...,m i i = max max{Z1,...,Zn} − cn i=1,...,m 1 (1 + y2) (1 + x2) · < 10 i = maxx · y max Zl − cn. l=1,...,n i=1,...,m https://www.desmos.com/calculator Seite 1 von 2 So, this is not a truly multidimensional problem as it boils down to a one-dimensional ˜ i problem for Zn := maxi=1,...,m Zn. But in general, it seems harder to work with max-type problems than with sum problems due to the nonlinearity of the max function.

4.2 The multidimensional burglar’s problem 4.2.1 Sum problem

i i Here, we have for i = 1, . . . , m independent i.i.d. sequences (Zn)n∈N and (δn)n∈N, where i i Zn ≥ 0 describes the burglar’s gain and δn = 0 or = 1 when getting caught or not caught, resp. Then, we look at

 n  n i X i Y i Xn =  Zj δj j=1 j=1 with obvious interpretation. The sum problem corresponds to the question when a burglar gang should stop their work. It is well-known that for each i we have a monotone

17 i i i i case problem. Indeed, writing p = Eδ , a = EZ1 it holds that    k k i X i i Y i i i Y = E  Z + Z  δ δ Ak − X k j k+1 j k+1 k j=1 j=1  k   k  i i Y i i i i i i Y i i i = Xkp +  δj a p − Xk = Xk(p − 1) +  δj a p , j=1 j=1

i hence Yk ≤ 0 iff k k aipi Y δi = 0 or X Zi ≥ . j j 1 − pi j=1 j=1 Let us first look at the sum problem for m = 2 and constant pi = p, ai = a. Then,

 k   k  1 2 1 2 Y 1 Y 2 Yk + Yk = (Xk + Xk )(p − 1) +  δj  +  δj  ap. j=1 j=1

Qk 1 Qk 2 If j=1 δj = 1 = j=1 δj , this becomes

k X 1 2 (Zj + Zj )(p − 1) + 2ap, j=1 hence k 2ap Y 1 + Y 2 ≤ 0 iff X(Z1 + Z2) ≥ . k k j j 1 − p j=1 1 2 But if, e.g., the next δk+1 = 1, δk+1 = 0, then

k+1  1 2 X 1 Yk+1 + Yk+1 =  Zj  (p − 1) + ap j=1

Pk+1 1 ap and j=1 Zj ≥ 1−p does not hold true in general. So, the sum problem is not monotone in general. i In the case that (δn)n∈N = (δn)n∈N is independent of i – that is the police takes away all stolen goods when catching one member of the gang – the problem for

m  n m  k X i X X i Y Xn =  Zj δj i=1 j=1 i=1 j=1 is simply the one-dimensional case for

m ˜ X i Zj = Zj. i=1

18 4.2.2 Product problem We now consider the product version of the multidimensional burglar’s problem. Looking at possible applications we may turn to the pricing of American options in financial engineering. Here we may have asset prices together with exchange rates and default variables δ, a bankruptcy replacing being caught. We could directly apply Proposition 3.4, but we want to cover a slightly more general case including geometric averages of the gains: m Y i i αi Xn = (Snβn) , αi > 0 i=1 with n n i X i i Y i Sn = Zj, βn = δj, j=1 j=1 so m m m m Y i αi Y i Y i i αi Y i i Xn = Sn βn,Xn+1 = (Sn + Zn+1) (βnδn+1). i=1 i=1 i=1 i=1 Qm i Using λ = i=1 p it follows

m m Z i Y i Y i αi Z E(Xn+1|An) = λ βn (Sn + z) P 1 (dz) i=1 i=1 so that E(Xn+1|An) ≤ Xn holds iff

m m m Z i Y i Y i αi Z Y i αi βn = 0 or λ (Sn + z) P 1 (dz) ≤ Sn . i=1 i=1 i=1

Qm i So under i=1 βn = 1, the inequality to be considered becomes

m Z  αi Y z Zi 1 1 + P 1 (dz) ≤ . Si λ i=1 n

i Since Sn is non-decreasing in n, we have a monotone case problem and the myopic stop- ping time is the the first entrance time for the m-dimensional random walk S1,...,Sm
n n n∈N into the set ( ) m 1 S = (y , . . . , y ): Y h (y ) ≤ m 1 m i i λ i=1 with Z  αi z Zi h (y) = 1 + P 1 (dz). i y The optimality of the myopic stopping time follows as in the univariate case; see Propo- sition 3.4 and Ferguson (2008), 5.4.

19 4.3 The multidimensional Poisson disorder problem The classical Poisson disorder problem is a change point-detection problem where the goal is to determine a stopping time τ which is as close as possible to the unobservable time σ when the intensity of an observed Poisson process changes its value. Early treat- ments include Galcuk and Rozovski˘ı(1971), Davis (1976), and a complete solution was obtained in Peskir and Shiryaev (2002). Further calculations can be found in Bayraktar et al. (2005). Our multidimensional version of this problem is based on observing m such indepen- dent processes with different change points σ1, . . . , σm. The aim is now to find one time τ which is as close as possible to the unobservable times σ1, . . . , σk. We now give a precise formulation. For each i, the unobservable random time σi is assumed to be exponentially distributed with parameter λi and the corresponding observable process N i is a count- i i i ing process whose intensity switches from a constant µ0 to µ1 at σ . Furthermore, all random variables are independent for different i. We denote by (Ft)t∈[0,∞) the filtration given by i Ft = σ(Ns, 1{σi≤s} : s ≤ t, i = 1, . . . , m).

As σi is not observable, we have to work under the subfiltration (At)t∈[0,∞) generated by 1 m (Nt ,...,Nt )t∈[0,∞) only. If we stop the process at t, a measure to describe the distance of t and σi often used in the literature is

i i + Zt = 1{σi≥t} + ci (t − σ ) for some constant ci > 0. We also stay in this setting, although a similar line of reasoning could be applied for other gain functions also. As Zi is not adapted to the observable 1 m information (At)t∈[0,∞), we introduce the processes X ,...,X by conditioning as

i i Xt = E(Zt |At).

The classical Poisson disorder problem for m = 1 is the optimal stopping problem of 1 Z over all (At)t∈[0,∞)-stopping times τ. Here, of course, we want to minimize (and not maximize) the expected distance, so that we have to make the obvious minor changes in the theory. We now study the corresponding problem for the sum process

m m ! X i X i + Xt = E (1{σi≥t} + ci (t − σ ) ) At , t ∈ [0, ∞). i=1 i=1

Pm i + Here, i=1(1{σi≥t} + ci (t − σ ) ) denotes the number of processes without a change before t plus a weighted sum of the cumulated times that have passed by since the other processes have changed their intensity. A possible application is a technical system consisting of m components. Component i changes its characteristics at a random time σi. After these changes, the component produces additional costs of ci per time unit. τ denotes a time for maintenance. Inspect- ing component i before σi produce (standardized) costs 1. Then, the optimal stopping

20 problem corresponds to the following question: What is the best time for maintenance in this technical system? The Doob-Meyer decomposition for Xi, i = 1, . . . , m, can explicitly be found in Peskir and Shiryaev (2002), (2.14), and is given by Z t i i i i Xt = X0 + Mt + Ys ds, 0 where i i i i i Yt = −λ + (c + λ )πt i and πt denotes the posterior probability process i i πt = P (σ ≤ t|At). The process πi can be calculated in terms of N i in this case, see Peskir and Shiryaev (2002), (2.8),(2.9). Indeed, i i φt πt = i 1 + φt where i i i i i i Z t i i i i i i i i (λ +µ −µ )t Nt log(µ /µ ) −(λ +µ −µ )s −Ns log(µ /µ ) φt = λ e 0 1 e 1 0 e 0 1 e 1 0 ds. 0 i i i i In particular, it can be seen that the process φ is increasing in the case λ ≥ µ1 −µ0 ≥ 0, and therefore so is Y i. It is furthermore easily seen that the integrability assumptions in Proposition 3.2 are fulfilled. Therefore, we obtain that the optimal stopping time in the i i i multidimensional Poisson disorder problem is – under the assumption λ ≥ µ1 − µ0 ≥ 0, i = 1, . . . , m – given by ( m ) ∗ X i τ = inf t : Yt ≥ 0 i=1 ( m m ) X i i i X i = inf t : (c + λ )πt ≥ λ , i=1 i=1 so that the optimal stopping time is a first entrance time into a half space ( m m ) X i i X i Sm = (z1, .., zm): (c + λ )zi ≥ λ i=1 i=1 for the m-dimensional posterior probability process. Let us underline that the elementary line of argument used here breaks down for gen- eral parameter sets, where more sophisticated techniques, such as pasting conditions, have to be applied. This, however, seems to be very hard to carry out in this multidi- mensional formulation, and there does not seem to be hope to obtain an explicit solution in these cases. It is furthermore interesting to note that Remark 2.1 implies that our solution to the (multidimensional) Poisson disorder problem also solves the Poisson dis- order problem in the finite time case, i.e. the optimal boundary is not time-dependent. This is, of course, in strong contrast to, e.g., the Wiener disorder problem, see Gapeev and Peskir (2006).

21 4.4 Optimal investment problem for negative subordinators One of the most famous multidimensional optimal stopping problems is the optimal in- vestment problem studied, e.g., in McDonald and Siegel (1986), Olsen and Stensland (1992), Hu and Øksendal (1998), Gahungu and Smeers (2011), Christensen and Irle (2011), Nishide and Rogers (2011), and Christensen and Salminen (2018). It can be de- scribed as follows: Let r > 0 a fixed discounting factor, (L1,...,Lm) be a d-dimensional Lévy process and let furthermore y1, . . . , yd ∈ (0, ∞). The optimal stopping problem can then be formulated as

−rτ L1 Lm sup E(e (1 − y1e τ − · · · − yme τ )). τ At the investment time τ the investor gets the fixed standardized reward 1 and has L1 Lm to pay the sum of the costs y1e τ , . . . , yme τ (with the reward as numéraire). In the Pm i
notation of this paper we are faced with a sum problem for i=1 Xt t∈[0,∞) where   i −rt 1 Li X := e − y e t . t m i

In the case that (L1,...,Ld) is a d-dimensional (possibly correlated) Brownian motion with drift, it was conjectured in Hu and Øksendal (1998) that the optimal stopping time is a first entrance time into a half-space for the process (eL1 , . . . , eLm ). But this was disproved for all nontrivial cases, see Christensen and Irle (2011), Nishide and Rogers (2011). The structure of the optimal boundary is much more complicated in this case and can be characterized as the solution to a nonlinear integral equation, also for more general Lévy processes with only negative jumps, see Christensen and Salminen (2018). An explicit description cannot be expected to exist in general. In a special case, however, our theory immediately leads to an explicit solution. We assume now that L1,...,Ld are negative subordinators, i.e., all (standardized) cost fac- tors have non-increasing sample paths. This case is typically implicitly excluded in the general theory. For example, the integral equation for the optimal boundary obtained in Christensen and Salminen (2018) has no unique solution in this case. In terms of the characteristic triple, the assumption means that the jump measure m Π is concentrated on (−∞, 0) and the drift vector has non-positive entries a1, . . . , am. Applying Itô’s formula for jump processes yields the Doob-Meyer decomposition as

Z t i i i i Xt = X0 + Mt + Ys ds, 0 where  i r  Y i = e−rs c eLs − s i m and Z ! zi ci = yi r − ai − (e − 1)Π(dz) > 0. (−∞,0)m

22 According to Remark 3.3, the sum problem is monotone and the myopic stopping time is ( m ) ∗ X Li τ = inf t ≥ 0 : cie s ≤ r . i=1 As each Xi is bounded, it is immediate that (V1) and (V2) are fulfilled. We obtain that in this case a stopping rule as conjectured in Hu and Øksendal (1998) is indeed optimal. Even more, the minimum of τ ∗ and L is the optimal stopping time for the investment problem with time horizon L by Remark 2.1. For other underlying processes, such a time-independent solution can of course not be expected.

Acknowledgments

We thank the referees for their careful reading of the manuscript and their very helpful suggestions.

References

E. Bayraktar, S. Dayanik, and I. Karatzas. The standard Poisson disorder problem revisited. Stochastic Process. Appl., 115(9):1437–1450, 2005.

M. Beibel and H. R. Lerche. A new look at optimal stopping problems related to mathematical finance. Statist. Sinica, 7(1):93–108, 1997.

F. T. Bruss. Sum the odds to one and stop. Ann. Probab., 28(3):1384–1391, 2000.

F. T. Bruss. What is known about Robbins’ problem? J. Appl. Probab., 42(1):108–120, 2005.

F. T. Bruss and T. S. Ferguson. Multiple buying or selling with vector offers. Journal of Applied Probability, 34(4):959–973, 1997.

Y. S. Chow and H. Robbins. A martingale system theorem and applications. In Proc. 4th Berkeley Sympos. Math. Statist. and Prob., Vol. I, pages 93–104. Univ. California Press, Berkeley, Calif., 1961.

Y. S. Chow and H. Robbins. On optimal stopping rules. Z. Wahrscheinlichkeitstheorie und Verw. Gebiete, 2:33–49, 1963.

Y. S. Chow, H. Robbins, and D. Siegmund. Great expectations: the theory of optimal stopping. Houghton Mifflin Co., Boston, Mass., 1971.

S. Christensen. An effective method for the explicit solution of sequential problems on the real line. Sequential Analysis, 36(1):2–18, 2017.

S. Christensen and A. Irle. A harmonic function technique for the optimal stopping of diffusions. Stochastics, 83(4-6):347–363, 2011.

23 S. Christensen and A. Irle. A general method for finding the optimal threshold in discrete time. Stochastics, 91(5):728–753, 2019.

S. Christensen and P. Salminen. Multidimensional investment problem. Mathematics and Financial Economics, 12(1):75–95, 2018.

S. Christensen, P. Salminen, and B. Q. Ta. Optimal stopping of strong markov processes. Stochastic Processes and their Applications, 123(3):1138 – 1159, 2013.

S. Christensen, F. Crocce, E. Mordecki, and P. Salminen. On optimal stopping of multidimensional diffusions. to appear in Stochastic Processes and Their Applications, 2018.

M. Davis. A note on the Poisson disorder problem. Banach Center Publications, 1(1): 65–72, 1976.

S. Dayanik and I. Karatzas. On the optimal stopping problem for one-dimensional diffusions. Stochastic Process. Appl., 107(2):173–212, 2003.

J. Detemple. American-style derivatives. Chapman & Hall/CRC Financial Mathematics Series. Chapman & Hall/CRC, Boca Raton, FL, 2006. Valuation and computation.

L. E. Dubins, L. A. Shepp, and A. N. Shiryaev. Optimal stopping rules and maximal inequalities for Bessel processes. Theory of Probability & Its Applications, 38(2):226– 261, 1994.

T. S. Ferguson. Optimal stopping and applications. electronic text, see https://www.math.ucla.edu/ tom/Stopping/Contents.html, 2008.

T. S. Ferguson. The sum-the-odds theorem with application to a stopping game of Sakaguchi. Math. Appl. (Warsaw), 44(1):45–61, 2016.

J. Gahungu and Y. Smeers. Optimal time to invest when the price processes are geo- metric Brownian motions. A tentative based on smooth fit. CORE Discussion Pa- pers 2011034, Université catholique de Louvain, Center for Operations Research and Econometrics (CORE), 2011.

L. I. Galcuk and B. L. Rozovski˘ı. The problem of “disorder” for a Poisson process. Teor. Verojatnost. i Primenen., 16:729–734, 1971.

P. V. Gapeev and G. Peskir. The Wiener disorder problem with finite horizon. Stochastic processes and their applications, 116(12):1770–1791, 2006.

H. U. Gerber and E. S. Shiu. Martingale approach to pricing perpetual American options on two stocks. Mathematical finance, 6(3):303–322, 1996.

P. Glasserman. Monte Carlo methods in financial engineering, volume 53 of Applications of Mathematics (New York). Springer-Verlag, New York, 2004. Stochastic Modelling and Applied Probability.

24 Y. Hu and B. Øksendal. Optimal time to invest when the price processes are geometric Brownian motions. Finance Stoch., 2(3):295–310, 1998.

A. Irle. Monotone stopping problems and continuous time processes. Z. Wahrsch. Verw. Gebiete, 48(1):49–56, 1979.

A. Irle. On the infinitesimal characterization of monotone stopping problems in con- tinuous time. In Mathematical learning models—theory and algorithms (Bad Honnef, 1982), volume 20 of Lect. Notes Stat., pages 93–100. Springer, New York, 1983.

A. Irle. Discussion on “An effective method for the explicit solution of sequential prob- lems on the real line” by Sören Christensen. Sequential Analysis, 36(1):27–29, 2017.

F. Jamshidian. The duality of optimal exercise and domineering claims: A doob–meyer decomposition approach to the snell envelope. Stochastics, 79(1-2):27–60, 2007.

U. Jensen. Monotone stopping rules for stochastic processes in a semimartingale repre- sentation with applications. Optimization, 20(6):837–852, 1989.

H. R. Lerche and M. Urusov. Optimal stopping via measure transformation: the Beibel- Lerche approach. Stochastics, 79(3-4):275–291, 2007.

W. Margrabe. The value of an option to exchange one asset for another. The journal of finance, 33(1):177–186, 1978.

R. McDonald and D. Siegel. The value of waiting to invest. The Quarterly Journal of Economics, 101(4):707–27, November 1986.

E. Mordecki and P. Salminen. Optimal stopping of Hunt and Lévy processes. Stochastics, 79(3-4):233–251, 2007.

K. Nishide and L. C. G. Rogers. Optimal time to exchange two baskets. J. Appl. Probab., 48(1):21–30, 2011.

T. Olsen and G. Stensland. On optimal timing of investment when cost components are additive and follows geometric diffusions. Journal of Economic Dynamics and Control, 16:39–51, 1992.

G. Peskir and A. N. Shiryaev. Solving the Poisson disorder problem. In Advances in finance and stochastics, pages 295–312. Springer, Berlin, 2002.

G. Peskir and A. N. Shiryaev. Optimal stopping and free-boundary problems. Lectures in Mathematics ETH Zürich. Birkhäuser Verlag, Basel, 2006.

S. M. Ross. Infinitesimal look-ahead stopping rules. The Annals of Mathematical Statis- tics, 42(1):297–303, 1971.

P. Salminen. Optimal stopping of one-dimensional diffusions. Math. Nachr., 124:85–101, 1985.

25 L. A. Shepp and A. N. Shiryaev. A new look at pricing of the Russian option. Theory of Probability & Its Applications, 39(1):103–119, 1995.

26