`ISRN Probability and StatisticsVolume 2013 (2013), Article ID 856458, 17 pageshttp://dx.doi.org/10.1155/2013/856458`
Review Article

## Dynkin's Games and Israeli Options

Institute of Mathematics, The Hebrew University, Jerusalem 91904, Israel

Received 2 October 2012; Accepted 27 November 2012

Academic Editors: M. Lenci, P. Neal, and C. A. Tudor

Copyright © 2013 Yuri Kifer. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

We start by briefly surveying a research on optimal stopping games since their introduction by Dynkin more than 40 years ago. Recent renewed interest to Dynkin####^~^~^~^~^~^####x2019;s games is due, in particular, to the study of Israeli (game) options introduced in 2000. We discuss the work on these options and related derivative securities for the last decade. Among various results on game options we consider error estimates for their discrete approximations, swing game options, game options in markets with transaction costs, and other questions.

#### 1. Introduction

Optimal stopping games were introduced in 1969 by Dynkin in [1] as an extension of the optimal stopping problem which has been already actively studied since 1950. Optimal stopping and, in particular, its game version was often discussed on Dynkin####^~^~^~^~^~^####x2019;s undergraduate seminar at Moscow State University in the end of 1960 which resulted in papers [2####^~^~^~^~^~^####x2013;5].

The original setup of optimal stopping games consisted of a probability space , a filtration of -algebras , with either (discrete time case) or (continuous time case), -adapted payoff process , and a pair of -adapted 0-1 valued ####^~^~^~^~^~^####x201c;permission####^~^~^~^~^~^####x201d; processes , such that the player is allowed to stop the game at time if and only if . If the game is stopped at time then the first player pays to the second one the sum . Clearly, if and , we arrive back at the usual optimal stopping problem. Observe that in the one-player optimal stopping problem the goal is maximization of the payoff, and the corresponding supremum always exists (may be infinite), so only optimal or almost optimal stopping times remain to be found while in the game version already existence of the game value is the question which should be resolved first, and only then we can look for optimal (saddle point) or almost optimal stopping times of the players.

Few years later Neveu suggested in [6] a very useful generalization of the above setup which turned out to be more convenient for both further study and applications. Namely, now the ####^~^~^~^~^~^####x201c;permission####^~^~^~^~^~^####x201d; processes were dropped off and the players could stop whenever they want, but instead two payoff adapted processes were introduced. It was prescribed that if the first player stops the game at time and the second one at time , then the former pays to the latter the amount or if or , respectively. If desired we can have virtual ####^~^~^~^~^~^####x201c;permission####^~^~^~^~^~^####x201d; processes within this setup not by direct regulations but by ####^~^~^~^~^~^####x201c;market economy####^~^~^~^~^~^####x201d; tools. Namely, in order to accomplish this it suffices to prescribe very high payment or a very low (may be negative) payment where we ####^~^~^~^~^~^####x201c;forbid####^~^~^~^~^~^####x201d; to stop the game by the first player or by the second one, respectively.

We observe that from a bit different perspective differential games with stopping times were studied in the 1970 in a series of papers (see [7, 8] and references there). Game versions of optimal stopping of a Markov process and of a diffusion were considered in [9, 10], respectively. It seems that the term ####^~^~^~^~^~^####x201c;Dynkin####^~^~^~^~^~^####x2019;s game####^~^~^~^~^~^####x201d; appeared first in [11].

Israeli or game options were introduced first in [12] though some special callable derivative security LION was discussed before in [13] in a kind of game framework without any rigorous justification. An option or a contingent claim is a certain contract and an American option enables its buyer (holder) to exercise it at any time up to the maturity. A game option gives additionally the right to the option seller (writer, issuer) to cancel it early paying for this a prescribed penalty. The rationale behind this provision comes from an idea that essentially any contract stipulates conditions for a way out so that the financial market should not be an exception.

The classical approach to pricing of options is based on hedging arguments. Namely, the price is defined as a minimal initial amount of a self-financing portfolio which can provide protection (hedging) against any exercising strategy of the option buyer. So, somehow heuristically, this leads to the infimum over the seller####^~^~^~^~^~^####x2019;s strategies and to the supremum over the buyer####^~^~^~^~^~^####x2019;s strategies; that is, we arrive at a game-type infsup representation which still should be rigorously justified.

The structure of this paper is as follows. In Section 2 we briefly survey main results concerning Dynkin####^~^~^~^~^~^####x2019;s games. In Section 3 we discuss the up-to-date research on game options and related derivative securities. In Sections 4 and 5 we exhibit more special results concerning discrete approximations of game options and game options in markets with transaction costs, respectively.

#### 2. Dynkin####^~^~^~^~^~^####x2019;s Games

The general modern setup for a Dynkin####^~^~^~^~^~^####x2019;s game consists of a probability space , a right continuous filtration of complete -algebras , and three -adapted stochastic processes , and so that when the first player stops the game at time and the second one stops at time , then the former pays to the latter the amount where if an event occurs and , otherwise. We allow the time to run either along nonnegative integers or along nonnegative reals up to some horizon when the game is stopped and the first player pays to the second one the amount where in case , we assume that In the continuous time case; that is, when runs over , the processes , , and are supposed to be right continuous.

Next, assume that for any , Denote by the collection of all stopping times with values between and (i.e., nonnegative random variables such that for all ). Introduce the upper and the lower values of the game starting at time by It turns out that we can choose these processes and to be right upper semicontinuous which is a sufficient regularity in order to proceed here.

Theorem 1. Under the above conditions almost surely for any stopping time and, in particular, the Dynkin####^~^~^~^~^~^####x2019;s game has a value Furthermore, for any the stopping times are -optimal, that is, for any , Under additional regularity conditions (say, , , and are continuous stochastic processes), the inequality (9) remains true for with some ; that is, there exists a saddle point for the Dynkin####^~^~^~^~^~^####x2019;s game above. In the discrete time case we have also the following backward recursive (dynamical programming) relation:

The theorem above follows from [6, 14####^~^~^~^~^~^####x2013;16] in the discrete time case and from [17####^~^~^~^~^~^####x2013;19] in the continuous time case. Observe that (6), (7), and (9) imply

If the condition (4) does not hold true, then the above game value may not exist (i.e., ) if the players are restricted to usual (pure) stopping times, and to have the game value, they should be allowed to use randomized stopping times (see [20####^~^~^~^~^~^####x2013;24]). Other results on Dynkin's games leading to randomized stopping times can be found in [25####^~^~^~^~^~^####x2013;28].

Remark 2. We observe that randomized stopping times used in the above mentioned papers in order to obtain Dynkin's game value without the condition (4) look somewhat different from randomized stopping times we employ in Section 5 in order to study game options in markets with transaction costs. Namely, the above papers deal with randomized stopping times having (in the discrete time case) the form , where is an adapted to the filtration process with for all and is a sequence of independent identically uniformly distributed on random variables independent of payoff processes. Sometimes, it is assumed additionally (see [21]) that is -measurable and independent of . If is an adapted stochastic process, then we can write On the other hand, randomized stopping times employed in Section 5 are determined by an adapted nonnegative sequence such that and for an adapted stochastic process as above we write . Here is an adapted sequence but not necessarily indicators of events while the above sequence is not adapted (unless the filtration is properly enlarged) and it consists of indicators of events. Still, with respect to the enlarged filtration, is a usual (pure) stopping time while randomized stopping times of Section 5 look rather differently. Nevertheless, it turns out that these two approaches to randomized stopping times are essentially equivalent if (see [29] in the discrete time case and the corresponding discussion in [22] for the continuous time case).

Among other works on Dynkin####^~^~^~^~^~^####x2019;s games we can mention results concerning nonzero-sum games (see [30####^~^~^~^~^~^####x2013;33]), Dynkin####^~^~^~^~^~^####x2019;s games with asymmetric information (see [34]), more than 2 person optimal stopping games (see [35####^~^~^~^~^~^####x2013;37]), optimal stopping games driven by Markov processes (see [2, 9, 38, 39]), Dynkin####^~^~^~^~^~^####x2019;s games via backward stochastic differential equations with reflection (see [40####^~^~^~^~^~^####x2013;42]) and via Dirichlet forms (see [43]), and some other results on Dynkin's and similar games (see [44####^~^~^~^~^~^####x2013;55]).

#### 3. Game Options and Their Shortfall Risk

A game (Israeli) option (or contingent claim) studied in [12] is a contract between a writer and a holder at time such that both have the right to exercise at any stopping time before the expiry date . If the holder exercises at time , he or she receives the amount from the writer and if the writer, exercises at time before the holder he must pay to the holder, the amount so that is viewed as a penalty imposed on the writer for cancellation of the contract. If both exercise at the same time , then the holder may claim , and if neither exercised until the expiry time , then the holder may claim the amount . In short, if the writer will exercise at a stopping time and the holder at a stopping time , then the former pays to the latter the amount where We consider such game options in a standard securities market consisting of a nonrandom component representing the value of a savings account at time with an interest rate and of a random component representing the stock price at time . As usual, we view , as a stochastic process on a complete probability space , and we assume that it generates a right continuous filtration and that the payoff processes and are right continuous processes adapted to this filtration and satisfying the integrability conditions (5).

The classical approach suggests that valuation of options should be based on the notions of a self-financing portfolio and on hedging. We start with a portfolio strategy which is a collection of pairs so that the portfolio value at time equals where the process , is supposed to be predictable in the discrete time case and progressively measurable in the continuous time case. A portfolio strategy is called self-financing if all changes in the portfolio value are due to capital gains or losses but not due to withdrawal or infusion of funds. This can be expressed by the relations (see [56]) in the discrete time case and in the continuous time case. We assume also in the continuous time case that with probability one: A pair of a stopping time and a self-financing portfolio strategy is called a hedge (against the game contingent claim) if with probability one for any . Now the fair price of the game option is defined as the infimum of capitals for which there exists a hedge with . In a complete market (i.e., having a unique martingale measure) this is a widely acceptable fair price of the option while in an incomplete market or in a market with transaction costs this definition leads to what is known as superhedging (see [56]).

Two popular models of complete markets were considered in [12] for pricing of game options. First, the discrete time Cox, Rox, Rubinstein (CRR) binomial model (see [57]) was treated there where the stock price at time is equal to where are independent identically distributed (i.i.d.) random variables such that with probability and with probability . Secondly, [12] deals with the continuous time Black-Scholes (BS) market model where the stock price at time is given by the geometric Brownian motion: where is the standard one-dimensional continuous-in-time Brownian motion (Wiener process) starting at zero and , are some parameters. In addition to the stock which is a risky security, the market includes in both cases also a savings account with a deterministic growth given by the formulas in the CRR model (where we assume in addition that ) and in the BS model, respectively.

Recall (see [56]) that a probability measure describing the evolution of a stock price in a stochastic financial market is called martingale (risk-neutral) if the discounted stock prices ( in the CRR model and in the BS model) become martingales. Relying on the above hedging arguments the following result was proved in [12].

Theorem 3. The fair price of the game option is given by the formulas in the CRR market (with usual notations , and in the BS market, where the expectations are taken with respect to the corresponding martingale probabilities, which are uniquely defined since these markets are known to be complete (see [56]), is the expiry time, and is the space of corresponding stopping times with values between and taking into account that in the CRR model and are allowed to take only integer values.

Observe that the formulas (21) and (22) represent also the values of corresponding Dynkin####^~^~^~^~^~^####x2019;s (optimal stopping) games with payoffs and , respectively, when the first and the second players stop the game at stopping times and , respectively. The continuous time BS model is generally considered as a better description of the evolution of real stocks, in particular, since the CRR model allows only two possible values and for the stock price at time given its price at time . The main advantage of the CRR model is its simplicity and the possibility of easier computations of the value in (21), in particular, by means of the dynamical programming recursive relations (see [12]), where a positive integer is an expiry time and is the corresponding filtration of -algebras. By this reason it makes sense to study approximations of the BS model by CRR models which we describe in the next section.

Though game options do not appear explicitly yet as a trading security in contemporary financial markets, it became popular recently to employ game options as a framework for the study of convertible (callable) bonds (see [58####^~^~^~^~^~^####x2013;65]). A holder of such bond either does nothing or decides to convert it into a predetermined number of stocks which can be considered as a cash payment depending on the current stock price, especially, in a market without transaction costs. On the other hand, the firm which issued this callable convertible bond may redeem it any time at a call price or force its conversion into stocks, and so this situation can be treated within the setup of game options.

Several papers deal with computation of the fair price of game options in special situations when the underlying stock price evolves according to a Markov process which usually, as in the BS model, turns out to be the geometric Brownian motion and when the payoffs depend only on the current stock price, usually just for the put and call options####^~^~^~^~^~^####x2019; payoffs arriving at a study of the free boundary problem with buyer's and seller's exercise boundaries (see [66####^~^~^~^~^~^####x2013;73]). For other callable derivative securities which were studied within the game options framework and its generalizations, we refer the reader to [74####^~^~^~^~^~^####x2013;79].

In real market conditions an investor (seller) may not be willing for various reasons to tie in a hedging portfolio the full initial capital required for a (perfect) hedge. In this case the seller is ready to accept a risk that his portfolio value at an exercise time may be less than his obligation to pay and he will need additional funds to fulfil the contract. Thus a portfolio shortfall comes into the picture and it is important to estimate the corresponding risk. We consider here a certain type of risk called the shortfall risk which was defined for game options in [80] by where the infimum is taken over all self-financing portfolio strategies with an initial capital , and in both infimum and supremum the stopping times and do not exceed the option expiration date (horizon) . It was shown in [80] that in the discrete time case both the shortfall risk and the corresponding minimizing portfolio strategies and stopping times could be obtained by means of a backward induction (dynamical programming) algorithm. In the continuous time case the situation is more complicated. For the shortfall risk in the American options case [81] obtained existence of minimizing strategies relying on some convex analysis arguments which are not available in the game options case, and so existence of minimizing portfolio strategies and stopping times in (24) remains an open question.

The papers [82, 83] deal with the, so-called, swing game options which are, in fact, multiple exercise game options. This question was studied before for American options in [84] but the option price obtained there was not justified by classical hedging arguments. This justification was done in [82, 83] for multiple exercise game options in the discrete and continuous time cases, respectively, which by simplification yields the result for American options as well. This investigation required the study of Dynkin's games with multiple stopping which did not appear in the literature before. Observe that multiple exercise options may appear in their own rights when an investor wants to buy or sell an underlying security in several instalments at times of his choosing and, actually, any usual American or game option can be naturally extended to the multiexercise setup so that they may emerge both in commodities, energy and in different financial markets. Suppose, for instance, that a European car producer (having most expenses in euros or pounds) plans to supply autos to USA during a year in several shipments and buys a multiple-exercise option which guarantees a favorable dollar-euro (or dollar-pound) exchange rate at time of shipments (of his choice). The seller of such option can use currencies as underlying securities for his hedging portfolio. A multiple exercise option could be cheaper than a basket of usual one-exercise options if the former stipulates certain delay time between exercises which is quite natural in the above example. Furthermore, the acting sides above may prefer to deal with game rather than American multiple-exercise options since the former is cheaper for the buyer and safer (because of cancellation clause) for the seller.

Next, we describe more precisely game swing (multiple-exercise) options in the CRR market where the stock price evolves according to (18). We consider a swing option of the game type which has the th payoff, , having the form where are -adapted and . Thus for any there exist functions such that For any let be the set of all pairs such that for any . Such sequences represent the history of payoffs up to the th one in the following way. If and then the seller cancelled the th claim at the moment and if then the buyer exercised the th claim at the moment (may be together with the seller). For denote by the set of all stopping times with respect to the filtration with values from to and set .

Definition 4. A stopping strategy is a sequence such that is a stopping time and for , is a map which satisfies .

In other words for the th payoff both the seller and the buyer choose stopping times taking into account the history of payoffs so far. Denote by the set of all stopping strategies and define the map by where , and for , Set which is a random variable equal to the number of payoffs until the moment .

For swing options the notion of a self-financing portfolio involves not only allocation of capital between stocks and the bank account but also payoffs at exercise times. At the time the writer's decision how much money to invest in stocks (while depositing the remaining money into a bank account) depends not only on his present portfolio value but also on the current claim. Denote by the set of functions on the (finite) probability space .

Definition 5. A portfolio strategy with an initial capital is a pair , where is a map such that is an -measurable random variable which represents the number of stocks which the seller buys at the moment provided that the current claim has the number and the present portfolio value is . At the same time the sum is deposited to the bank account of the portfolio. One calls a portfolio strategy admissible if for any , For any denote .

Notice that if the portfolio value at the moment is then the portfolio value at the moment before the payoffs (if there are any payoffs at this time) is given by , where is the number of the next payoff. In view of independency of and we conclude that the inequality (29) is equivalent to the inequality , that is, the portfolio value at the moment before the payoffs is nonnegative. Denote by the set of all admissible portfolio strategies with an initial capital . Denote . Let be a portfolio strategy and . Set and . The portfolio value at the moment after the payoffs (if there are any payoffs at this moment) is given by

Definition 6. A (perfect) hedge is a pair which consists of a portfolio strategy and a stopping strategy such that for any and .

As usual, the option price is defined as the infimum of such that there exists a hedge with an initial capital . The following result from [82] provides a dynamical programming algorithm for computation of both the option price and the corresponding hedge.

Theorem 7. For any set and for , where is the expectation with respect to the unique martingale measure. Then where and . Furthermore, the stopping strategies and given by satisfy the saddle point inequalities and there exists a portfolio strategy such that is a hedge.

#### 4. Approximations of Game Options and of Their Shortfall Risk

Following [85] we will consider here approximations of the BS model by a sequence of CRR models with the interest rates from (20) and with random variables from (18) given by where are i.i.d. random variables taking on the values and with probabilities and , respectively. This choice of random variables , determines already the probability measures for the above sequence of CRR models and since , where is the expectation with respect to , we conclude that is the martingale measure for the corresponding CRR market and the fair price of a game option in this market is given by the formula (21) with .

Let be the fair price of the game option in the BS market. It turns out that for a certain natural class of payoffs and which may depend on the whole path (history) of the stock price evolution (as in integral or Russian-type options), the error does not exceed where does not depend on and it can be estimated explicitly. Moreover, we will see that the rational exercise times of our CRR binomial approximations yield near rational (-optimal stopping times for the corresponding Dynkin####^~^~^~^~^~^####x2019;s games) exercise times for game options in the BS market. Since the values and the optimal stopping times of the corresponding discrete time Dynkin####^~^~^~^~^~^####x2019;s games can be obtained directly via the dynamical programming recursive procedure (23) our results provide a justification of a rather effective method of computation of fair prices and exercise times of game options with path-dependent payoffs. The standard construction of a self-financing hedging portfolio involves usually the Doob-Meyer decomposition of supermartingales which is explicit only in the discrete but not in the continuous time case. We will see how to construct a self-financing portfolio in the BS market with a small average (maximal) shortfall and an initial capital close to the fair price of a game option using hedging self-financing portfolios for the approximating binomial CRR markets. The latter problem does not seem to have been addressed before [85] in the literature on this subject. Having in mind that hedging self-financing portfolio strategies can be computed only approximately, their possible shortfalls come naturally into the picture and they should be taken into account in option pricing even if a perfect hedging exists theoretically. Note that these results require not only an approximation of stock prices and the corresponding payoffs, but also we have to take care of the different nature of stopping times in (21) and (22).

The main tool here is the Skorokhod-type embedding (see [86]) of sums of i.i.d. random variables into a Brownian motion (with a constant drift, in this case). This tool was already employed for similar purposes in [87, 88]. The first paper treats an optimal stopping problem which can be applied to an American style option with a payoff function depending only on the current stock price and, more importantly, this function must be bounded and have two bounded derivatives which excludes usual put and call options cases. The second paper deals only with European options and, again, only payoffs (though with some discontinuities) determined by the current stock price are allowed. We observe that the Skorokhod embedding does not provide optimal error estimates in strong approximation theorems and it would be interesting to understand whether other approaches such as the quantile method (see [89####^~^~^~^~^~^####x2013;91]) and Stein's method (see [92]) can be employed for approximation of optimal stopping game values with better estimates of errors. Skorokhod embedding does not work also in the multidimensional situation, and for this case another method from [93] was employed in [94] where, actually, more general and not only binomial approximations were considered. More general approximation results for game options were obtained in [95] where only continuity of payoffs was assumed, but as a result no error estimates could be obtained there.

For each denote by the space of Borel measurable functions on with the uniform metric . For each , let and be nonnegative functions on such that for some constant and for any and , By (37), and are functions of only. By (38),

Next, we consider the BS market on a complete probability space together with its martingale measure which exists and is unique as a corollary of the Girsanov theorem (see [56]). Let be the standard one-dimensional continuous in time Brownian motion with respect to the martingale measure . Set Then the stock price at time in the BS market can be written in the form where is the interest rate and is the, so called, volatility. We will consider game options in the BS market with payoff processes in the form where , , satisfies (37) and (38), is a random function taking the value at , and in the notations for we take the restriction of to the interval . The fair price of this option with an initial value of the stock is given by (22).

Next, we consider a sequence of CRR markets on a complete probability space such that for each the stock prices at time are given by the formula where, recall, are i.i.d. random variables taking the values 1 and ####^~^~^~^~^~^####x2212;1 with probabilities and , respectively. Namely, we consider CRR markets where stock prices satisfy (18) with given by (36), and, in addition, in place of the interest rate in the first formula in (20) we take the sequence of interest rates , where is the interest rate of the BS market appearing in the second formula of (20) and in (22). We consider as a random function on , so that takes the value at . For put Then for each the fair price of the game option in the corresponding CRR market with an initial value of the stock is given by (21).

Set Denote by and the sets of stopping times with respect to the Brownian filtration , with values in and with respect to the filtration with values in . Set where and are the expectations with respect to the probability measures and , respectively, and we observe that is a finite set so that we can use and in (48).

Recall, that we choose to be the martingale measure for the BS market and observe that is the martingale measure for the corresponding CRR market since a direct computation shows that . Thus, (47) and (48) give fair prices of the game options in the corresponding markets. We note also that all our formulas involving the expectations , in particular, (47) giving the fair price of a game option, do not depend on a particular choice of a continuous-in-time version of the Brownian motion since all of them induce the same probability measure on the space of continuous sample paths which already determines all expressions with the expectations appearing in this paper.

The following result from [96] provides an estimate for the error term in approximation of the fair price of a game option in the BS market by fair prices of the sequence of game options and prices of Dynkin's games defined above.

Theorem 8. Suppose that and are defined by (46)####^~^~^~^~^~^####x2013;(48) with functions and satisfying (37) and (38). Then there exists a constant (which can be explicitly estimated) such that for all .

We can choose more general i.i.d. random variables appearing in the definition of as well, but these generalizations do not seem to have a financial mathematics motivation since we want to approximate game options in the BS market by the simplest possible models which are, of course, game options in the CRR market.

Among main examples of options with path-dependent payoff we have in mind integral options where or where, as usual, . The penalty functional may also have here the integral form In order to satisfy the conditions (37) and (38), we can assume that for some and all ,

Observe also that the Asian-type (averaged integral) payoffs of the form do not satisfy the condition (38) if arbitrarily small exercise times are allowed though the latter seems to have only some theoretical interest as it hardly happens in reality. Still, also in this case, the binomial approximation errors can be estimated in a similar way considering separately estimates for small stopping times and for stopping times bounded away from zero. Namely, define and for by (47) and (48), where and are replaced by and , respectively. Assuming that and are Lipschitz continuous also in (at least for close to 0) in the form for some and all , we obtain that if and or , then It is not difficult to see from here that and do not exceed for all small and some constant . On the other hand, similar to Theorem 8, we see that for some constant and all , Choosing , we obtain that under the above conditions in the case of Asian options, can be estimated by .

Another important example of path-dependent payoffs are the, so-called, Russian options where, for instance, Such payoffs satisfy the conditions of Theorem 8. Indeed, (37) is clear in this case and (38) follows since for ,

In order to compare and in the case of path-dependent payoffs, we have to consider both BS and CRR markets on one probability space in an appropriate way, and the main tool in achieving this goal will be here the Skorokhod-type embedding (see, for instance, [86], Section 37). In fact, for the binomial i.i.d. random variables appearing in the setup of the CRR market models above, the embedding is explicit and no general theorems are required, but if we want to extend the result for other sequences of i.i.d. random variables, we have to rely upon the general result. Namely, define recursively where, recall, . The standard strong Markov property-based arguments (cf. [86], Section 37) show that are i.i.d. sequences of random variables such that are independent of (where, recall, ).

It turns out (see [85, 88]) that has the same distribution as . Set then has the same distribution as .

Theorem 8 provides an approximation of the fair price of game options in the BS market by means of fair prices of game options in the CRR market which becomes especially useful if we can provide also a simple description of rational (or -rational) exercise times of these options in the BS market via exercise times of their CRR market approximations which are, by the definition, optimal (or -optimal) stopping times for the Dynkin####^~^~^~^~^~^####x2019;s game whose price is given by (48). For each introduce the finite -algebra which is, clearly, isomorphic to considered before since each element of and of is an event of the form respectively, where , , and . Let be the set of stopping times with respect to the filtration , where is the trivial -algebra, and is the sample space of the Brownian motion. The subset of these stopping times with values in will be denoted by . For each and we set . Denote by the set of functions such that if and for some , then , as well. Define the functions and by and where and are sample spaces on which the sequence and the Brownian motion are defined, respectively. It is clear that any and can be represented uniquely in the form and for some .

Theorem 9. There exists a constant (which can be estimated explicitly) such that if ####^~^~^~^~^~^####x2009;####^~^~^~^~^~^####x2009; and , are rational exercise times for the game option in the CRR market defined by (43); that is, then and are -rational exercise times for the game option in the BS market defined by (39) and (41); that is, where .

It is well known (see, for instance, [6]) that when payoffs depend only on the current stock price (a Markov case), -optimal stopping times of Dynkin####^~^~^~^~^~^####x2019;s games can be obtained as first arrival times to domains where the payoff is -close to the value of the game (as a function of the initial stock price). For path-dependent payoffs the situation is more complicated, and, in general, in order to construct -optimal stopping times, we have to know the stochastic process of values of the games starting at each time conditioned to the information up to . It is not clear what kind of approximation of this process can provide some information about -rational exercise times, and the convenient alternative method of their construction exhibited in Theorem 9 seems to be important for both the theory and applications. Moreover, this construction is effective and can be employed in practice since and are functions on sequences of ####^~^~^~^~^~^####x2019;s and ####^~^~^~^~^~^####x2019;s which can be computed (and stored in a computer) using the recursive formulas (23) even before the stock evolution begins. In order to compute , we have to watch the discounted stock price evolution of a real stock at moments which are obtained recursively by and and to construct the sequence by writing or on th place depending on whether or , respectively.

Recall (see [56]) that a sequence of pairs of -measurable random variables , is called a self-financing portfolio strategy in the CRR market determined by (18), (20), (36), and (43) if the price of the portfolio at time is given by the formula and the latter equality means that all changes in the portfolio value are due to capital gains and losses but not due to withdrawal or infusion of funds. A pair of a stopping time and a self-financing portfolio strategy is called a hedge for (against) the game option with the payoff given by (46) if (see [12]) It follows from [12] that for any there exists a self-financing portfolio strategy so that is a hedge. In particular, if we take the rational exercise time of the writer, then such exists with the initial portfolio capital . The construction of goes directly via the Doob-Meyer decomposition of supermartingales and a martingale representation lemma (see [12, 56]), both being explicit in the CRR market case. In the continuous time BS market we cannot write the corresponding portfolio strategies in an explicit way, and so some approximations are necessary.

Theorem 10. Let , , and (66) together with (67) hold true with -measurable and , so that is a hedge. Then , , and for some uniquely defined functions , on and some . Let and set and whenever . Then is a self-financing portfolio in the BS market and there exists a constant such that where . In particular, there exists a self-financing portfolio of this form satisfying (69) with the initial value (which according to (49) is close to the fair price of the game option) taking if is the rational exercise time and is the corresponding optimal self-financing hedging portfolio strategy for the CRR market.

The inequality (69) estimates the expectation of the maximal shortfall (risk) of certain (nearly hedging) portfolio strategy which can be constructed effectively in applications since the functions , , and are determined by a self-financing hedging strategy in the CRR market which can be computed directly and stored in a computer even before the real stock evolution begins or in case of computer memory limitations we can compute these functions each time when needed using corresponding algorithms for the CRR market. The functions or, in other words, the sequences from which should be plugged into the functions , , and should be obtained in practice by watching the evolution of the discounted stock price at moments as described after Theorem 9.

The paper [96] studied approximations of the shortfall risk given by (24) for game options in the BS market by the shortfall risks of game options in the sequence of CRR markets defined above where the initial capital of all portfolios under consideration is kept the same and the payoffs satisfy the same conditions as above. The convergence was proved in [96] but only the one sided error estimate was obtained there for game options. On the other hand, relying on some convexity arguments, it was possible to obtain for American options two-sided estimates with the same error term.

In [97] similar approximation results as above were extended to barrier game options. Namely, [97] deals with double knock-out barrier option with two constant barriers such that which means that the option becomes worthless to its holder (buyer) at the first time the stock price exits the open interval . Thus for the payoff is . For path-dependent payoffs satisfying (38) and (39) are considered. Such a contract is of potential value to a buyer who believes that the stock price will not exit the interval up to a maturity date and to a seller who does not want to worry about hedging if the stock price will reach one of the barriers . Such an option is equivalent to the usual game option when the payoffs and are replaced by and , respectively. Now, these new payoffs lose regularity conditions (38) and (39), but still it turns out that the error estimates in (49) remain true when we approximate the price of the above barrier game options in the BS market by the prices of corresponding barrier game options in the CRR markets as in Theorem 8 above. The results concerning approximation of the shortfall risk turn out to be very similar for barrier game options to the corresponding results for usual game options described above.

When payoffs depend only on the current stock price (and not path-dependent as in (45) and (46)) then in some special cases it is possible to obtain better error estimates for binomial approximations of prices of game options relying on partial differential equations methods in the free boundary problem. In [98] this was done for American put options in the BS market, and in [99] this was extended to game put options with error estimates of order in comparison to obtained in Theorem 8.

#### 5. Incomplete Markets and Transaction Costs

Both in incomplete markets and in markets with transaction costs there is no one arbitrage free price of each derivative which can be considered as its fair price, and one of approaches in these circumstances is to study superhedging. Game options in incomplete markets were studied in several papers; in particular, in [100] they were studied from the point of view of utility maximization which leads to non-zero-sum Dynkin's games while in [101] they were studied from the point of view of superhedging and arbitrage free prices.

Next, we concentrate in this section on superhedging pricing of game options in discrete markets with transaction costs. The market model here will consist of a finite probability space with the -field of all subspaces of and a probability measure on giving a positive weight to each . The setup includes also a filtration where is a positive integer called the time horizon. It is convenient to denote by the set of atoms in so that any -measurable random variable (vector) can be identified with a function (vector function) defined on and its value at will be denoted either by or by .

The market model consists of a risk-free bond and a risky stock. Without loss of generality, we can assume that all prices are discounted so that the bond price equals 1 all the time, and a position in bonds is identified with cash holding. On the other hand, the shares of the stock can be traded which involves proportional transaction costs. This will be represented by bid-ask spreads; that is, shares can be bought at an ask price or sold at the bid price , where are processes adapted to the filtration .

The liquidation value at time of a portfolio consisting of an amount of cash (or bond) and shares of the stock equals which in case means that a portfolio owner should spend the amount in order to close his short position. Observe that fractional numbers of shares are allowed here so that both and in a portfolio could be, in principle, any real numbers. By definition, a self-financing portfolio strategy is a predictable process representing positions in cash (or bonds) and stock at time such that and the set of all such portfolio strategies will be denoted by .

As before, we consider here a game option which is a contract between its seller and buyer such that both have the right to exercise it at any time up to a maturity date (horizon) . In the presence of transaction costs there is a difference whether we stipulate that the option to be settled in cash or both in cash and shares of stock while in the former case an assumption concerning transaction costs in the process of portfolio liquidation should be made. We adopt here the setup where the payments and are made both in cash and shares of the stock, and transaction costs take place always when a portfolio adjustment occurs. Thus, the payments are, in fact, adapted random 2-vectors and where the first and the second coordinates represent, respectively, a cash amount to be paid and a number of stock shares to be delivered, and as we allow also fractional numbers of shares, both coordinates can take on any nonnegative real value. The inequality in the zero transaction costs case is replaced in our present setup by and is interpreted as a cancellation penalty. We impose also a natural assumption that and ; that is, on the maturity date there is no penalty. Therefore, if the seller cancels the contract at time while the buyer exercises at time , the former delivers to the latter a package of cash and stock shares which can be represented as a 2-vector in the form where if an event occurs and if not. It will be convenient to allow the payment components and to take on any real (and not only nonnegative) values which will enable us to demonstrate complete duality (symmetry) between the seller's and the buyer's positions.

A pair of a stopping time and of a self-financing strategy will be called a superhedging strategy for the seller of the game option with a payoff given by (74) if for all , where, as usual, and . The seller's (ask or upper hedging) price of a game option is defined as the infimum of initial amounts required to start a superhedging strategy for the seller. Since in order to get amount of cash and shares of stock at time 0, the seller should spend in cash, we can write

On the other hand, the buyer may borrow from a bank an amount to purchase a game option with the payoff (74) and begining with the negative valued portfolio to manage a self-financing strategy so that for a given stopping time and all , In this case the pair will be called a superhedging strategy for the buyer. The buyer####^~^~^~^~^~^####x2019;s (bid or lower hedging) price of the game option above is defined as the supremum of initial bank loan required to purchase this game option and to manage a superhedging strategy for the buyer. Thus, It follows from the representations of Theorem 11 that .

First, we recall the notion of a randomized stopping time (see [102####^~^~^~^~^~^####x2013;104] and references there) which is defined as a nonnegative adapted process such that . The set of all randomized stopping times will be denoted by while the set of all usual or pure stopping times will be denoted by . It will be convenient to identify each pure stopping time with a randomized stopping time such that for any , so that we could write . For any adapted process and each randomized stopping time the time- value of is defined by

Considering a game option with a payoff given by (74) we write also which is the seller####^~^~^~^~^~^####x2019;s payment to the buyer when the former cancels and the latter exercises at randomized stopping times and , respectively. In particular, if and are pure stopping times, then Next, we introduce the notion of an approximate martingale which is defined for any randomized stopping time as a pair of a probability measure on and of an adapted process such that for each , where is the expectation with respect to , Given a randomized stopping time the space of corresponding approximate martingales will be denoted by and we denote by the subspace of consisting of pairs with being equivalent to the original (market) probability .

Next, we introduce some convex analysis notions and notations (see [104, 105] for more details). Denote by the family of functions such that either or is a (finite) real valued polyhedral (continuous piecewise linear with finite number of segments) function. If , , then, clearly, , . The epigraph of is defined by epi. For any the function , clearly, belongs to . Observe that the self-financing condition (72) can be rewritten in the form For each and there exists a unique function such that For any , and define , , , by with the same as in (85) and (86). Observe that if , then either or is a monotone decreasing function, and so