arxiv:math/ v1 [math.pr] 5 Jul 2006

Transcription

1 he Aals of Applied Probabiliy 2006, Vol. 16, No. 2, DOI: / c Isiue of Mahemaical Saisics, 2006 arxiv:mah/ v1 [mah.pr] 5 Jul 2006 ERROR ESIMAES FOR INOMIAL APPROXIMAIONS OF GAME OPIONS y Yuri Kifer Hebrew Uiversiy We jusify ad give error esimaes for biomial approximaios of game Israeli opios i he lac Scholes mare wih Lipschi coiuous pah depede payoffs which are ew also for usual America syle opios. We show also ha raioal opimal exercise imes ad hedgig self-fiacig porfolios of biomial approximaios yield for game opios i he lac Scholes mare early raioal exercise imes ad early hedgig self-fiacig porfolios wih small average shorfalls ad iiial capials close o fair prices of he opios. he esimaes rely o srog ivariace priciple ype approximaios via he Sorohod embeddig. 1. Iroducio. Cox, Ross ad Rubisei s CRR biomial model of a fiacial mare was iroduced i [6] o oly as a simplified discree ime ad space couerpar of he lac Scholes S model based o he geomeric rowia moio, bu also as a coveie approximaio of he laer which, ideed, became a popular ool o evaluae various derivaive securiies. Clearly, for a approximaio o have ay pracical value, i is ecessary o esimae he correspodig error. May papers deal wih boh jusificaio of he CRR approximaio of Europea ad America opios i he S mare ad wih esimaes of he correspodig error erms see, e.g., [1, 10, 21, 22, 24, 27, 30]. Sill, oe of hese papers derived error esimaes for opios wih pah depede payoffs. I his paper we cosider game Israeli opios iroduced i [15] which geeralie America syle opios whe o oly heir holders bu also heir wriers have he righ o exercise ad we obai error esimaes of biomial approximaios of fair prices, raioal exercise imes ad hedgig self-fiacig porfolios for such opios cosidered i a S mare ad havig pah depede payoffs. Received March 2005; revised November AMS 2000 subjec classificaios. Primary 9128; secodary 60F15, 91A05. Key words ad phrases. Game opios, Dyi games, complee mares, biomial approximaio, Sorohod embeddig. his is a elecroic repri of he origial aricle published by he Isiue of Mahemaical Saisics i he Aals of Applied Probabiliy, 2006, Vol. 16, No. 2, his repri differs from he origial i pagiaio ad ypographic deail. 1

2 2 Y. KIFER A game opio or coige claim sudied i [15] is a corac bewee a wrier ad a holder a ime = 0 such ha boh have he righ o exercise a ay soppig ime before he expiry dae. If he holder exercises a ime, he may claim he amou Y 0 from he wrier ad if he wrier exercises a ime, he mus pay o he holder he amou X Y so ha δ = X Y is viewed as a pealy imposed o he wrier for cacellaio of he corac. If boh exercise a he same ime, he he holder may claim Y ad if eiher have exercised uil he expiry ime, he he holder may claim he amou Y. I shor, if he wrier will exercise a a soppig ime σ ad he holder a a soppig ime τ, he he former pays o he laer he amou Rσ,τ, where 1.1 Rs, = X s I s< + Y I s ad we se I A = 1 if a eve or a asserio A holds rue ad I A = 0 if o. As usual, we sar wih a complee probabiliy space Ω, F,P ad a filraio of σ-algebras {F } 0 geeraed eiher by a rowia moio i he S model or by i.i.d. biomial radom variables i he CRR model. he payoff processes X ad Y should be adaped o he correspodig filraio ad i he coiuous ime case hey are posed o be righ coiuous wih lef limis, hough he laer could be relaxed someimes. wo popular models of complee mares were cosidered i [15] for pricig of game opios. Firs, he discree ime CRR biomial model was reaed here where he soc price S a ime is equal o 1.2 S = S ρ j, S 0 > 0, j=1 where ρ j, j = 1,2,..., are idepede ideically disribued i.i.d. radom variables such ha ρ j = b > 0 wih probabiliy p > 0 ad ρ j = a < 0,a > 1 wih probabiliy q = 1 p > 0. Secod, [15] deals wih he coiuous ime S mare model where he soc price S a ime is give by he geomeric rowia moio 1.3 S = S 0 expα κ 2 /2 + κ, S 0 > 0, where { } 0 is he sadard oe-dimesioal coiuous i ime rowia moio Wieer process sarig a ero ad κ > 0, α, are some parameers. I addiio o he soc which is a risy securiy, he mare icludes i boh cases also a savigs accou wih a deermiisic growh give by he formulas 1.4 b = 1 + r b 0 ad b = b 0 e r, b 0,r > 0, i he CRR model where we assume, i addiio, ha r < b ad i he S model, respecively.

3 INOMIAL APPROXIMAIONS OF GAME OPIONS 3 Recall see [28] ha a probabiliy measure describig he evoluio of a soc price i a sochasic fiacial mare is called marigale ris-eural if he discoued soc prices [1 + r S i he CRR model ad e r S i he S model] become marigales. Relyig o hedgig argumes, i was show i [15] ha he fair price V of he game opio is give by he formulas 1.5 V = mi σ 0 max τ 0 E1 + r σ τ Rσ,τ i he CRR mare [wih usual oaio a b = mia,b, a b = maxa,b] ad 1.6 V = if Ee rσ τ Rσ,τ σ 0 τ 0 i he S mare, where he expecaios are ae wih respec o he correspodig marigale probabiliies, which are uiquely defied sice hese mares are ow o be complee see [28], is he expiry ime ad s is he space of correspodig soppig imes wih values bewee s ad aig io accou ha i he CRR model σ ad τ are allowed o ae oly ieger values. Observe ha formulas 1.5 ad 1.6 represe also he values of correspodig Dyi s opimal soppig games wih payoffs 1 + r σ τ Rσ,τ ad e rσ τ Rσ,τ, respecively, whe he firs ad he secod players sop he game a soppig imes σ ad τ, respecively. Observe ha sice heir iroducio i [15], various aspecs of game Israeli opios were sudied i [2, 5, 7, 9, 12, 17, 18, 19, 20] ad recely his echique was applied i [8] o coverible callable bods. he coiuous ime S model is geerally cosidered as a beer descripio of he evoluio of real socs, i paricular, sice he CRR model allows oly wo possible values 1 + bs ad 1 + as for he soc price S +1 a ime + 1 give is price S a ime. he mai advaage of he CRR model is is simpliciy ad he possibiliy of easier compuaios of he value V i 1.5, i paricular, by meas of he dyamical programmig recursive relaios see [15], 1.7 V = V 0,N, V N,N = 1 + r N Y N ad V,N = mi1 + r X,max1 + r Y,EV +1,N F, where a posiive ieger N is a expiry ime ad {F } 0 is he correspodig filraio of σ-algebras. Followig [30], we will approximae he S model by a sequece of CRR models wih he ieres raes r = r from 1.4 ad wih radom variables ρ = ρ from 1.2 give by 1.8 r = r = expr/ 1 ad ρ = ρ r 1/2 = exp + κ 1,

4 4 Y. KIFER where j = j,j = 1,2,..., are i.i.d. radom variables aig o he values 1 ad 1 wih probabiliies p = expκ ad 1 p = exp κ +1 1, respecively. his choice of radom variables i, i N, deermies already he probabiliy measures P = {p,1 p } for he above sequece of CRR models ad sice E ρ = r, where E is he expecaio wih respec o P, we coclude ha P is he marigale measure for he correspodig CRR mare ad he fair price V = V of a game opio i his mare is give by he formula 1.5 wih E = E. Some auhors cosider a bi simpler ad more sraighforward approximaio see, e.g., [21] ad [22] where β 1.9 ρ = ˆρ = exp 1/2ˆ + κ 1 wih β = r κ 2 /2 ad ˆ aes o he values 1 ad 1 wih he same probabiliy 1/2. his approximaio leads o similar errors esimaes wih, esseially, he same proof bu, i geeral, we do o arrive a he marigale probabiliy measures i his case. hus, we have o spea he abou he prices V of discree ime Dyi s games raher ha abou he fair prices of he correspodig game opios give by 1.5 for he CRR mare wih ˆρ ad r described above, bu wih he expecaio E = E ˆ ae wih respec o he probabiliy P ˆ geeraed by ˆ j, j = 1,2,..., raher ha wih respec o he correspodig marigale probabiliies. For purposes of approximaio, his differece is o so impora, bu he firs approximaio becomes more coveie for he cosrucio of self-fiacig early hedgig porfolios wih small average shorfalls. Aoher useful advaage of he firs approximaio is ha i leads o discoued soc prices evolvig o he muliplicaive laice {S 0 expmκ/ 1/2,m Z} which subsaially simplifies compuaios. Le V be he fair price of he game opio i he S mare. he mai goal of his paper is o show ha for a cerai aural class of payoffs X ad Y which may deped o he whole pah hisory of he soc price evoluio as i iegral or Russia ype opios he error V V does o exceed C 1/4 l 3/4, where C > 0 does o deped o ad i ca be esimaed explicily. Moreover, we will show ha he raioal exercise imes of our CRR biomial approximaios yield ear raioal [C 1/4 l 3/4 - opimal soppig imes for he correspodig Dyi games] exercise imes for game opios i he S mare. Sice he values V ad he opimal soppig imes of he correspodig discree ime Dyi s games ca be obaied direcly via he dyamical programmig recursive procedure 1.7, our resuls provide a jusificaio of a raher effecive mehod of compuaio of fair prices ad exercise imes of game opios wih pah depede

5 INOMIAL APPROXIMAIONS OF GAME OPIONS 5 payoffs. he sadard cosrucio of a self-fiacig hedgig porfolio ivolves usually he Doob Meyer decomposiio of ermarigales which is explici oly i he discree, bu o i he coiuous ime case. We will show how o cosruc a self-fiacig porfolio i he S mare wih a small average maximal shorfall ad a iiial capial close o he fair price of a game opio usig hedgig self-fiacig porfolios for he approximaig biomial CRR mares. he laer problem does o seem o have bee addressed uil ow i he lieraure o his subjec. his his, i paricular, ha sice hedgig self-fiacig porfolio sraegies ca be compued oly approximaely, heir possible shorfalls come aurally io he picure ad hey should be ae io accou i opio pricig eve if a perfec hedgig exiss heoreically. Noe ha he resuls of he prese paper require o oly a approximaio of soc prices ad he correspodig payoffs, bu also we have o ae care abou he differe aure of soppig imes i 1.5 ad 1.6. I would be ieresig o obai similar resuls for discree ime ad space say, muliomial approximaios of sufficiely geeral Lévy mares, ha is, mares where he soc price evolve accordig o a geomeric Lévy process wih jumps, bu his requires addiioal ideas ad machiery. Some discree ime approximaio resuls wihou error esimaes for America opios i he Mero soc mare model were obaied i [25]. Game opios wih jump diffusio models of soc evoluios were cosidered recely i [8]. Our mai ool is he Sorohod ype embeddig of sums of i.i.d. radom variables io a rowia moio wih a cosa drif, i our case. his ool was already employed for similar purposes i [24] ad [30]. he firs paper reas a opimal soppig problem which ca be applied o a America syle opio wih a payoff fucio depedig oly o he curre soc price ad, more imporaly, his fucio mus be bouded ad have wo bouded derivaives which excludes usual pu ad call opios. he secod paper deals oly wih Europea opios ad, agai, oly payoffs hough wih some discoiuiies deermied by he curre soc price are allowed. A umber of oher papers also deal wih error esimaes for he CRR approximaio of Europea ad America opio prices i he S mare see, e.g., [21, 22, 27] ad refereces here, bu oe of hem rea pah depede payoffs moreover, boudedess of payoffs codiios here usually exclude eve America syle call opios ad oe of hem cosider he game opios case as well. he mai resuls of his paper are formulaed i he ex secio where we discuss also he Sorohod ype embeddig which we employ i he proof. I Secio 3 we show how his embeddig eables us o cosider boh CRR ad S soc evoluios i a appropriae way o he same probabiliy space ad we exhibi here a series of seps which lead o he proof of he mai resuls. he ecessary echical esimaes are derived i Secio 4. I Secio 5 we

6 6 Y. KIFER deal wih raioal exercise imes ad self-fiacig early hedgig porfolios wih small averaged shorfalls. I Secio 6 we geeralie o he game opios siuaio he esimaes from [24], which cao be applied o he sadard opios as he proof relies o very resricive bodedess ad smoohess assumpios, bu sill, i view of heir simpliciy, he argumes here may have a pedagogical value ad some readers may prefer o read his case firs. 2. Prelimiaries ad mai resuls. For each > 0, deoe by M[0,] he space of orel measurable fucios o [0, ] wih he uiform meric d 0 υ, υ = 0 s υ s υ s. For each > 0, le F ad be oegaive fucios o M[0,] such ha, for some cosa L 1 ad for ay s 0 ad υ, υ M[0,], 2.1 ad 2.2 F s υ F s υ + s υ s υ Ls + 1d 0s υ, υ F υ F s υ + υ s υ L s 1 + υ u + υ u υ s. u [0,] u [s,] y 2.1, F 0 υ = F 0 υ 0 ad 0 υ = 0 υ 0 are fucios of υ 0 oly. y 2.2, 2.3 F υ + υ F 0 υ υ 0 + L υ s 0 s. Nex, we cosider he S mare o a complee probabiliy space ogeher wih is marigale measure P which exiss ad is uique as a corollary of he Girsaov heorem see [28]. Le, 0, be he sadard oe-dimesioal coiuous i ime rowia moio wih respec o he marigale measure P. Se = κ 2 +, 0. he he soc price S a ime i he S mare ca be wrie i he form 2.4 S = expr + κ, S 0 = > 0, where r > 0 is he ieres rae ad κ > 0 is he so-called volailiy. We will cosider game opios i he S mare wih payoff processes i he form Y = F S ad X = G S, [0,], > 0, where G = F +, F, saisfy 2.1 ad 2.2, S = S,ω M[0,] is a radom fucio aig he value S = S,ω a [0,], ad i

7 INOMIAL APPROXIMAIONS OF GAME OPIONS 7 he oaio F S, G S for <, we ae he resricio of S o he ierval [0,]. he fair price V = V of his opio wih a iiial value > 0 of he soc is give by 1.6. Nex, we cosider a sequece of CRR mares o a complee probabiliy space such ha, for each = 1,2,..., he soc prices S a ime are give by he formula [/] S r 1/2 = exp + κ, / ad =1 2.5 S = S 0 = > 0, [0,/ where, recall, 1, 2,... are i.i.d. radom variables aig he values 1 ad 1 wih probabiliies p = expκ ad 1 p = exp κ + 1 1, respecively. Namely, we cosider CRR mares where soc prices give by 1.8 ad, i addiio, i place of he ieres rae r i he firs formula i 1.4, we ae he sequece of ieres raes r = expr/ 1, where r is he ieres rae of he S mare appearig i he secod formula of 1.4 ad i 1.6. We cosider S = S,ω as a radom fucio o [0,], so ha S,ω M[0,] aes he value S S m = S m/, m = 0,1,2,..., saisfy 1.2 wih ρ = ρ For = 0,1,2,...,, pu = S,ω a [0,]. 2.6 Y = Y = F / S ad X = X = G /S. he for each, he fair price V = V of he game opio i he correspodig CRR mare wih a iiial value > 0 of he soc is give by 1.5. Se also 2.7 Ŝ = exp S [/] =1 r κ2 2 = S 0 = > 0, [0,/, 1/2ˆ + κ, / ad where ˆ 1, ˆ 2,... are i.i.d. radom variables such ha ˆ 1 = 1 or ˆ 1 = 1 wih he same probabiliy 1/2 ad he correspodig produc measure we deoe by P ˆ. Se R s, = F S I s + G s S I s<, Q s, = e rs R s,, R s, = F S I s + G s S I s<, Q s, = e rs R s,,

8 8 Y. KIFER ad le ˆR s,, ˆQ s, be defied by 2.9 wih Ŝ i place of 0, ˆ 0 ad 0 he ses of soppig imes wih respec S. Deoe by o he rowia filraio F, 0, wih values i [0,] ad wih respec o he filraios F = σ{ 1,..., } ad F ˆ = σ{ˆ 1,..., ˆ }, = 0,1,2,..., respecively, wih values i {0, 1,..., }. Se ad 2.12 V = if σ 0 V = mi 0 ˆV = mi 0 E Q σ,τ, τ 0 max η 0 max E η 0 EQ, η ˆ ˆQ, η where E, E ad E ˆ are he expecaios wih respec o he probabiliy measures P, P ad P ˆ, respecively, ad we observe ha ˆ 0 ad 0 are fiie ses so ha we ca use mi ad max i 2.11 ad Recall ha we choose P o be he marigale measure for he S mare ad observe ha P is he marigale measure for he correspodig CRR mare sice a direc compuaio shows ha Eρ = r. hus, 2.10 ad 2.11 give fair prices of he game opios i he correspodig mares. O he oher had, P ˆ is o a marigale measure, i geeral, ad so 2.12 gives he price of he Dyi game, bu o he fair price of he correspodig game opio. We oe also ha all our formulas ivolvig he expecaios E, i paricular, 2.10 givig he fair price V of a game opio, do o deped o a paricular choice of a coiuous i ime versio of he rowia moio sice all of hem iduce he same probabiliy measure o he space of coiuous sample pahs see, e.g., Chaper 2 i [29] which already deermies all expressios wih he expecaios E appearig i his paper. he followig resul provides a esimae for he error erm i approximaio of he fair price of a game opio i he S mare by fair prices of he sequece of game opios ad prices of Dyi s games defied above. heorem 2.1. Suppose ha V ad V are defied by wih fucios F ad G = F + saisfyig 2.1 ad 2.2. he here exiss a cosa C > 0 which is, esseially, explicily esimaed i he proof such ha 2.13 max V V, V ˆV, CF /4 l 3/4

9 for all, > 0. INOMIAL APPROXIMAIONS OF GAME OPIONS 9 he esimaes of heorem 2.1 remai rue wih, esseially, he same proof if we defie ˆV by 2.7 ad 2.12 wih ˆ 1, ˆ 2,... beig arbirary i.i.d. bouded radom variables such ha Eˆ i = 0 ad Eˆ i 2 = 1. We ca choose more geeral i.i.d. radom variables 1, 2,... appearig i he defiiio of V, as well, bu hese geeraliaios do o seem o have a fiacial mahemaics moivaio sice we wa o approximae game opios i he S mare by simples possible models which are, of course, game opios i he CRR mare. Amog mai examples of opios wih pah-depede payoff, we have i mid iegral opios where + F υ = f u υ u du L call opio case or 0 + F υ = L f u υ u du pu opio case, 0 where, as usual, a + = maxa,0. he pealy fucioal may also have here he iegral form υ = δ u υ u du. 0 I order o saisfy codiios 2.1 ad 2.2, we ca assume ha, for some K > 0 ad all x,y,u, ad f u x f u y + δ u x δ u y K x y f u x + δ u x K x. Observe also ha he Asia ype averaged iegral payoffs of he form 1 + F υ = f u υ u du L or = L 1 + f u υ u du 0 do o saisfy codiio 2.2 if arbirarily small exercise imes are allowed, hough he laer seems o have oly some heoreical ieres, as i hardly happes i realiy. Sill, also i his case, he biomial approximaio errors ca be esimaed i a similar way cosiderig separaely esimaes for small soppig imes ad for soppig imes bouded away from ero. Namely, σ,τ are replaced by Q σ ε,τ ε ad Q ε, η ε, respecively. Assumig ha f u ad δ u are Lipschi coiuous also i u defie V ε ad V ε ad Q, η for ε 0 by 2.10 ad 2.11, where Q 0

10 10 Y. KIFER a leas for u close o 0 i he form f s x f u x + δ s x δ u x Kx + 1 s u for some K > 0 ad all s,u,x 0, we obai ha if υ 0 = ad F 0 υ = f 0 L + or = L f 0 +, he F s υ F 0 Ks 1 + υ u 0 u s + K υ u. 0 u s Usig some of he esimaes of Secio 4, i is o difficul o see from here ha V V ε ad V V ε do o exceed C1 + ε for all small ε ad some cosa C. O he oher had, applyig he same esimaes as i he proof of heorem 2.1, we derive ha, for some cosa C > 0 ad all,ε > 0, V ε V ε C1 + ε 1 1/4 l 3/4. Choosig ε = 1/6 l, we obai ha, uder he above codiios i he case of Asia opios, V V ca be esimaed by 3C1 + 1/12 l 1/4. Aoher impora example of pah-depede payoffs are, so-called, Russia opios where, for isace, F υ = max m, υ u ad υ = δυ. u [0,] Such payoffs saisfy he codiios of heorem 2.1. Ideed, 2.1 is clear i his case ad 2.2 follows sice, for s, max m, v u max m, v u v u v u u [0,] u [0,s] u [0,] u [0,s] v u v s u [s,] v u v s. u [s,] I fac, he esimaes 2.13 ca be improved a bi for he Russia opios case droppig he logarihmic erm here see Remar 3.7. Of course, codiios 2.1 ad 2.2 are always saisfied i he case of sadard opios wih payoffs depedig oly o he curre soc price. Observe ha may oher pah-depede ad loo bac opios have payoffs which ca be represeed via fucios F ad saisfyig 2.1 ad 2.2. arrier opios have discoiuous payoffs which cao be represeed via fucios saisfyig 2.1 ad 2.2, bu a small modificaio of our approach goes hrough i his case as well. his modificaio is based o he observaio ha roubles wih he approximaio occur here whe he remum of soc prices or a similar quaiy belogs o a small eighborhood of he barrier value, bu he probabiliy of his eve is small sice

11 INOMIAL APPROXIMAIONS OF GAME OPIONS 11 his remum is usually a radom variable havig a bouded probabiliy desiy fucio. I order o compare V ad V i he case of pah depede payoffs, we have o cosider boh S ad CRR mares o oe probabiliy space i a appropriae way ad he mai ool i achievig his goal will be here he Sorohod ype embeddig see, e.g., [4], Secio 37. I fac, for he biomial i.i.d. radom variables 1, 2,... ad ˆ 1, ˆ 2,... appearig i he seup of he CRR mare models above, he embeddig is explici ad o geeral heorems are required, bu if we wa o exed he resul for oher sequeces of i.i.d. radom variables, we have o rely upo he geeral resul. Namely, defie recursively θ 0 = 0, θ +1 = if { where, recall, = κ 2 + ad { ˆθ 0 = 0, ˆθ +1 = if > > θ ˆθ : = θ : ˆθ = } }. he sadard srog Marov propery based argumes cf. [4], Secio 37 show ha θ θ 1, = 1,2,..., ad ˆθ ˆθ 1, = 1,2,..., are i.i.d. sequeces of radom variables such ha θ +1 θ, ad θ θ +1 where, recall, F = ˆθ +1 ˆθ,ˆθ ˆθ are idepede of F +1 θ σ{ s,s }. his is sadard for he rowia moio ad he soppig ˆθ imes see [4], Secio 37, bu ca be proved by exacly he same mehod for he rowia moio wih a cosa drif ad he soppig imes θ as well. Aoher way o jusify his idepedecy asserio is o apply he Girsaov heorem see [11, 13] ad [28] which is useful o have i mid i our siuaio ayway. Namely, for ay rowia soppig ime τ saisfyig E expκ 2 τ/8 <, he process, 0, becomes a sadard rowia moio o he ierval [0,τ] wih respec o he probabiliy measure Pτ deermied by 2.14 dp τ = qτ, τdp or dp = q τ, τ dp τ, where κ q, = exp κ2 κ = exp κ2 = q, 1. Observe ha if σ > τ is aoher rowia soppig ime, he Pσ = Pτ o he σ-algebra Fτ so he above probabiliy measures eable us o cosider

12 12 Y. KIFER as a rowia moio o ay ime ierval. Hece, uder he measure P, he process, 0, ogeher wih he soppig imes θ, 0, becomes he rowia moio, 0, ogeher wih he soppig imes ˆθ, 0. Hece, by he srog Marov propery of he rowia moio, ay wo eves A F ad à θ σ{, [0,θ +θ θ +1 θ ]},. u he A ad à will remai idepede are idepede uder P θ +1 uder he origial probabiliy P i view of he facoriaio propery of he desiy q, q θ +l, = q θ θ, q θ θ +l +l θ wih he firs facor measurable wih respec o F θ, θ +l θ ad he secod facor idepede of i ad havig he same disribuio as q θ l follows ha θ +1 θ, θ +1 is idepede of F θ θ origial probabiliy P as well. I urs ou see [30] ad he begiig of Secio 4 ha θ 1 = or = same disribuio as 1. Clearly, ˆθ 1 probabiliy 1/2, ad so ˆθ 1 Ξ 1/ = j ad j=1 he Ξ ad ˆΞ. I, θ l uder he has he wih he same has he same disribuio as ˆ 1. Se 1/2 ˆΞ = ˆ j, j=1 have he same disribuio as θ ad ˆθ, respec- ively. heorem 2.1 provides a approximaio of he fair price of game opios i he S mare by meas of fair prices of game opios i he CRR mare which becomes especially useful if we ca provide also a simple descripio of raioal or δ-raioal exercise imes of hese opios i he S mare via exercise imes of heir CRR mare approximaios which are, by he defiiio, opimal or δ-opimal soppig imes for he Dyi games whose price are give by 2.11 ad 2.12, respecively. For each = 1,2,..., i- = σ{ θ 1 which is, clearly, isomorphic o F = σ{ i,i } cosidered before sice each roduce he fiie σ-algebra G, eleme of G,, θ 2 ad of F is a eve of he form { A, ι = θ j θ j 1 θ 1 = ι j,j = 1,...,,..., θ } θ 1 },

13 INOMIAL APPROXIMAIONS OF GAME OPIONS 13 ad A ι = { j = ι j,j = 1,...,}, respecively, where ι = ι 1,...,ι { 1,1}, θ 0 = 0 ad 0 = 0. Le S, be he se of soppig imes wih respec o he filraio G,, = 0,1,2,..., where G, 0 = {,Ω } is he rivial σ-algebra ad Ω is he sample space of he rowia moio. he subse of hese soppig imes wih values i {0,1,...,} will be deoed by S, 0,. For each ι = ι 1,...,ι { 1,1} ad <, we se ι = ι 1,...,ι { 1,1}. Deoe by J 0, he se of fucios ν : { 1,1} {0,1,...,} such ha if νι = ad ι = ι for some ι { 1,1}, he ν ι = as well. Defie he fucios λ 1 ω,..., ω ad :Ω { 1,1} ad λ :Ω { 1,1} by λ ω = λ ω = θ 1 ω ω, θ 2 ω ω θ 1 ω ω,..., ω θ ω θ ωω, 1 where Ω ad Ω are sample spaces o which he sequece 1, 2,... ad he rowia moio are defied, respecively. I is clear ha ay 0 ad η S, 0, ca be represeed uiquely i he form = µ λ ad η = ν λ ˆθ 1 for some µ,ν J 0,. Similarly, we iroduce Ĝ,,...,ˆθ ˆθ 1 ˆ 1 ω,..., ˆ ω ad }, which is isomorphic o ˆF = σ{ˆ i,i }, ˆλ ω = ˆθ 1 ω ω,ˆθ ω 2 ω ˆθ ω,..., 1 ω he followig resul will be proved i Secio 5. = σ{ˆθ,ˆθ 1 2 ˆθ ω ω ˆθ ωω. 1 ˆλ ω = heorem 2.2. here exiss a cosa C > 0 which is, esseially, esimaed explicily i he proof such ha if = µ λ ad η = ν λ, µ,ν J 0, are raioal exercise imes for he game opio i he CRR mare defied by 2.5, ha is, V = mi E Q,η = max E Q 0 η 2.16,η, 0

14 14 Y. KIFER he ϕ = θ ad ψ µ λ = θ are δ -raioal exercise imes for ν λ he game opio i he S mare defied by 2.3 ad 2.4, ha is, 2.17 τ 0 E Q ϕ,τ δ V if E Q σ 0 σ,ψ + δ, where δ = CF /4 l 3/4. he asserios remai rue if we replace above λ, λ, Q ad V by ˆλ, ˆλ, ˆQ ad ˆV, respecively. I is well ow see, e.g., [26] ha whe payoffs deped oly o he curre soc price a Marov case, δ-opimal soppig imes of Dyi s games ca be obaied as firs arrival imes o domais where he payoff is δ-close o he value of he game as a fucio of he iiial soc price. For pah depede payoffs, he siuaio is more complicaed ad, i geeral, i order o cosruc δ-opimal soppig imes, we have o ow he sochasic process of values of he games sarig a each ime [0,] codiioed o he iformaio up o. I is o clear wha id of approximaio of his process ca provide some iformaio abou δ-raioal exercise imes ad he coveie aleraive mehod of heir cosrucio exhibied i heorem 2.2 seems o be impora boh for he heory ad applicaios. Moreover, his cosrucio is effecive ad ca be employed i pracice sice µ ad ν are fucios o sequeces of 1 s ad 1 s which ca be compued ad sored i a compuer usig he recursive formulas 1.7 eve before he soc evoluio begis. I order o compue λ, we have o wach he discoued soc price Š = e r S momes θ 2.18 evoluio of a real soc a which are obaied recursively by θ 0 = 0 ad θ +1 = if{ > θ :Š = e ±κ/1/2 Š } θ ad o cosruc he {1, 1} sequece λ ω by wriig 1 or 1 o h place depedig o wheher Š = e κ/1/2 Š θ θ 1 e κ/1/2 Š θ 1 or Š = θ, respecively. Observe also ha heorem 2.2 ca be exeded o more geeral sequeces of radom variables 1, 2,... ad ˆ 1, ˆ 2,..., bu his does o seem o have much of a ieres for applicaios. Recall see [28] ha a sequece π = π 1,...,π of pairs π = β,γ of F 1 -measurable radom variables β, γ, = 1,...,, is called a selffiacig porfolio sraegy i he CRR mare deermied by 1.2, 1.4, 1.8 ad 2.5 if he price of he porfolio a ime is give by he formula 2.19 Z π, = β b + γ S / = β +1b + γ +1 S /

15 INOMIAL APPROXIMAIONS OF GAME OPIONS 15 ad he laer equaliy meas ha all chages i he porfolio value are due o capial gais ad losses bu o o wihdrawal or ifusio of fuds. A pair,π of a soppig ime 0 ad a self-fiacig porfolio sraegy π is called a hedge for agais he game opio wih he payoff R give by 2.9 if see [15] Z π, R, 2.20 = 0,1,...,. I follows from [15] ha, for ay 0, here exiss a self-fiacig porfolio sraegy π so ha,π is a hedge. I paricular, if we ae he raioal exercise ime = of he wrier, he such π exiss wih he iiial porfolio capial V. he cosrucio of π goes direcly via he Doob decomposiio of ermarigales ad a marigale represeaio lemma see [15] ad [28], boh beig explici i he CRR mare case. I he coiuous ime S mare we cao wrie he correspodig porfolio sraegies i a explici way, ad so some approximaios are ecessary hough, surprisigly, his problem has o bee reaed before i he lieraure. heorem 2.3. Le 0, π = π ad 2.19 ogeher wih 2.20 hold rue wih F -measurable β = β ad γ = γ, so ha,π is a hedge. he β = f λ 1, γ = g λ 1 ad = µ λ for some uiquely defied fucios f, g o { 1,1} 1 ad some µ J 0. Le ϕ = µ λ ad γ ϕ = g λ 1 wheever θ 1,θ ]. he ad se β ϕ = f λ Z = β ϕ b + γ ϕ S is a self-fiacig porfolio i he S mare ad here exiss a cosa C > 0 such ha 2.22 E R θ ϕ, Z 0 θ ϕ + CF /4 l 3/4, where a + = maxa,0. I paricular, here exiss a self-fiacig porfolio of his form saisfyig 2.22 wih he iiial value V [which accordig o 2.13 is close o he fair price V of he game opio] aig ϕ = µ λ if = µ λ is he raioal exercise ime ad π = π is he correspodig opimal self-fiacig hedgig porfolio sraegy for he CRR mare. Iequaliy 2.22 esimaes he expecaio of he maximal shorfall ris of cerai early hedgig porfolio sraegy which ca be cosruced effecively i applicaios sice he fucios f l,g l ad µ are deermied by a

16 16 Y. KIFER self-fiacig hedgig sraegy i he CRR mare which ca be compued direcly ad sored i a compuer eve before he real soc evoluio begis or i case of compuer memory limiaios, we ca compue hese fucios each ime whe eeded usig correspodig algorihms for he CRR mare. he fucios λ or, i oher words, he sequeces from { 1,1} which should be plugged io he fucios f l, g l ad µ should be obaied i pracice by wachig he evoluio of he discoued soc price e r S a momes θ as described afer heorem Auxiliary lemmas. I addiio o he se S, of soppig imes wih respec o he filraio {G, } =0,1,2,... iroduced before heorem 2.2, cosider also he se, of soppig imes wih respec o he filraio {F } θ =0,1,2,... wih values i {0,1,2,...} ad he subse of such soppig imes wih values i {0,1,...,} will be deoed by, 0,. Clearly, S,,. Se 3.1 S, = exp S, S, [/] =1 = S, if > ad r + κ if [/,], θ θ 1 = S, 0 = > 0 if [0,/ ad le Ŝ, be he correspodig expressio if we replace i 3.1 r by r κ2 2, by, ad θ s by ˆθ. Deoe ad 3.4 R, s, = F S, I s + G s S, I s<, Q, s, = e rs R, s,, V, = if V, S, 0, = mi S, 0, η, 0, max η S, 0, E Q,, η E Q,, η ˆR, Cosider also he correspodig quaiies s,, ˆQ, s,, ˆV,, ad ˆV S which are obaied by aig i he above formulas Ŝ, i place of S,. hough V,, S ad ˆV S are o used i he proofs, heir iroducio clarifies he aure of various ses of soppig imes ivolved here..

17 INOMIAL APPROXIMAIONS OF GAME OPIONS 17 he reaso for cosiderig he Sorohod embeddig here ad he basis for our proofs of heorems is he followig resul which is a geeraliaio of Lemma 3.1 from [24] ad which eables us o cosider all releva processes o oe probabiliy space ad o deal wih soppig imes wih respec o he same rowia filraio oly. 3.5 Lemma 3.1. For ay, > 0, V, S = V = V,. he same resul holds rue if we replace i 3.5 all V s by ˆV s. Proof. Firs, observe ha θ for ay, see [24], where is he se of all almos surely a.s. fiie soppig imes for he rowia moio, 0. Ideed, 3.6 {θ } = {θ } { = } ad sice { = } F θ =0 ad {θ } F, we coclude ha he eve i he righ-had side of 3.6 belogs o F, ad so θ Nex, as we meioed before he saeme of heorem 2.2, :µ J 0, } ad S, 0, J 0,, Q µ λ λ is a soppig ime. 0 = {µ = {ν λ :ν J 0,}. I is clear ha, for ay µ,ν, ν λ ad Q, µ λ, ν λ have he same disribuios, ad so he firs equaliy i 3.5 follows. I order o prove he secod equaliy i 3.5, we employ he dyamical programmig relaios 1.7 for V, = V,, ad for V, = V,,, = 0,1,...,, which i our case have he form 3.7 ad 3.8 V = V 0,, V, = e r F S ad, = mie r/ X,maxe r/ Y,EV +1, F V V, = V, 0,, V,, = e r F S, ad, = mie r/ X,,maxe r/ Y,,EV, +1, F, θ V, where X 3.9 Y, ad Y are give by 2.6, = F / S, ad X, = G / S,.

18 18 Y. KIFER For ay umbers x 1,x 2,...,x, se ad x 3.10 x = x = exp [/] =1 r + κx if / = x = if [0,/. I view of 2.1, we ca wrie F / x = q,x 1,...,x ad / x = r,x 1,...,x for some coiuous fucios q ad r depedig oly o,x 1,...,x. Nex, we show by he bacward iducio ha here exis measurable fucios Φ,x 1,...,x, = 1,2,...,, ad Φ 0 such ha 3.11 ad 3.12 V = Φ V,, = Φ, θ V, 0 = Φ /2 1,...,, θ 2 1/2, V 0 = Φ 0,...,, θ 1 θ θ 1 Ideed, for =, se Φ,x 1,...,x = e r q,x 1,...,x. Suppose ha he asserio holds rue for l + 1, ha is, ha for such s, we foud fucios Φ saisfyig 3.11 ad Now, se 3.13 where Φ l,x 1,...,x l = mie rl/ q l,x 1,...,x l + r l,x 1,...,x l, maxe rl/ q l,x 1,...,x l,h l,x 1,...,x l, h l,x 1,...,x l = E Φ l+1,x 1,...,x l,/ 1/2 l+1 = E Φ l+1,x 1,...,x l, θ l+1. θ l he 3.7 ad 3.8 will be saisfied for = l wih V, ad V give by 3.11 ad 3.12, respecively, sice l+1 ad are θ θ l+1 l idepede of F l ad F,, respecively, ad so by he sadard fac see, e.g., Example 34.3 i [4], 1/2 E Φ l+1, 1,..., l 1/2 1/2 = h l, 1,..., l 1/2 1/2 l, l+1 F l

19 ad INOMIAL APPROXIMAIONS OF GAME OPIONS 19 E Φ l+1,, θ 1 θ 2 = h l,, θ 1 θ 2,..., θ 1 θ l,..., θ 1 θ l, θ θ l 1 l+1, θ l 1 F, θ l l compleig he iducio. Now applyig 3.11 ad 3.12 wih = 0, we arrive a he secod equaliy i 3.5. We obai he asserio 3.5 for ˆV s i place of V s exacly i he same way as above. Nex, for readers coveiece, we formulae a series of lemmas which demosrae he pla of our proof of heorem 2.1 leavig ill he ex secio he acual proof of hese resuls which rely o relaively sadard sochasic aalysis esimaes. We will do L 1 -esimaes direcly wih respec o he probabiliy P, hough we could do isead L 2 esimaes wih respec o he probabiliy Pτ, ad he pass o esimaes wih respec o he origial measure P usig he Girsaov rasformaio 2.14 ad he Cauchy Schwar iequaliy. his would eable us o wor from he begiig wih he soppig imes ˆθ 1, ˆθ 2,... i place of θ 1,θ 2,... which is easier bu, o he oher had, would eed L 2 esimaes which require few addiioal lies ayway. We formulae resuls which lead o he required esimae of V V. he correspodig esimae of V ˆV proceeds exacly i he same way replacig s by ˆ s ad θ s by ˆθ s which, i fac, leads o a bi easier argumes. Firs, observe ha hough S, defied by 3.1 is a piecewise cosa approximaio of he S soc price S give by 2.4, here is cerai icosisecy here bewee imes / of jumps of S, ad he values θ θ of jumps i he expoe which correspods o he rowia 1 soppig ime θ. I order o pass o he correc ime, we iroduce 3.14 Se 3.15 ad 3.16 S,θ, S,θ, = exprθ = S,θ, θ + κ if θ θ < θ +1, = 0,1,...,, if θ. R,θ, s, = F S,θ, I s + G s S,θ, I s<, Q,θ, s, = e rs R,θ, s, V,θ, = if, 0, η, 0, E Q,θ, θ,θ η.

20 20 Y. KIFER I order o compare V, ad V,θ,, we have o be able o compare S, ad S,θ, a he same ime [0,]. Defiiios 3.1 ad 3.14 require us o compare he, i paricular, θ ad l θ, provided l 1 < l+1 1 ad θ. Via sadard reewal heory argumes, we coclude ha i average l for such,l is of order 1/2, he θ < θ +1 θ l is of order 1/2, ad so θ θ is roughly of order l 1/4. he proof of he followig resul i he ex secio maes hese heurisic argumes precise ad a effor is made o obai as bes as possible esimaes here. Lemma 3.2. here exiss a cosa C > 0 such ha, for all, > 0, 3.17 V, V,θ, CF /4 l 3/4. he values V,θ, are sill defied for piecewise cosa approximaios S,θ, of he S soc prices S give by 2.4. hus, o he ex sep we replace S,θ, by S esimaig he correspodig error which urs ou o be of smaller order ha i oher lemmas, as we have o compare θ 1 ad he rowia moio here a imes s, such ha s θ sice he laer is of order 1/, he icreme s is roughly of order 1/2 which is made precise i he followig resul. Lemma 3.3. For each ε > 0, here exiss C ε > 0 such ha, for all, > 0 ad,η, 0,, 3.18 E Q,θ, E θ,θ η Q θ,θ max 0,l Q,θ, θ,θ l C ε ε 1/2. η Q θ,θ l I 2.10 for V he allowed soppig imes ae values i he ierval [0,], so we have o resric he soppig imes θ which are o bouded o his ierval. I is o difficul o udersad ha i he average θ is of order 1/2 ad θ θ is of he same order. he he absolue value of he icreme of he rowia moio ae a imes θ ad θ is roughly of order 1/4, ad so he resricio of embeddig imes o he ierval [0, ] leads o a differece of abou ha order see also Remar 3.7 below. Lemma 3.4. here exiss a cosa C > 0 such ha, for all, > 0

21 ad,η, 0,, 3.19 INOMIAL APPROXIMAIONS OF GAME OPIONS 21 E Q θ,θ η Q θ E max 0,l Q θ,θ l,θ η Q θ CF /4.,θ l Uil ow we cosidered oly soppig imes θ for = 0,1,...,, which may o be eough, i priciple, i order o approximae all rowia soppig imes bouded by, so he ex resul assers ha we ca employ he whole sequece θ 0 = 0,θ 1,θ 2,... he esimaes of he correspodig differece here are similar o Lemma 3.4 ad hey produce, esseially, he same resul. Lemma 3.5. here exiss a cosa C > 0 such ha, for all, > 0 ad,η, wih, defied a he begiig of Secio 3, 3.20 Se, 3.21 E Q θ E,θ η Q θ,θ η 0,l< Q θ,θ l CF /4. = {θ :, } ad le V, 0, = if σ, τ, Q θ,θ l E Q σ,τ. he Lemmas yield ha, for some cosa C > 0, V,θ, V, 0, 3.22, E Q,θ, η, θ,θ η Q θ,θ η + Q θ,θ η Q θ,θ η + Q θ,θ η 3CF /4. Q θ,θ η I defiiio 3.21 of V, 0, we cosider oly soppig imes of he special form, while i 2.11, which gives V, all rowia soppig imes wih values i [0,] are allowed ad he las sep i he proof of heorem

22 22 Y. KIFER 2.1 is o esimae he correspodig error which urs ou o be of he same order as i Lemma 3.3 sice, agai, we have o esimae icremes s whe s θ θ 1, hough here rus over all posiive iegers ad o oly up o as i Lemma 3.3. Lemma 3.6. For ay ε > 0, here exiss a cosa C ε > 0 such ha, for all, > 0, 3.23 V V, 0, C εf ε 1/2. Lemmas yield he required esimae of V V from heorem 2.1 ad he correspodig esimae of V ˆV goes hrough exacly i he same way. Remar 3.7. he esimae of heorem 2.1 ad so he esimaes of heorems 2.2 ad 2.3 seems o be, esseially, opimal uder he geeral codiios 2.1 ad 2.2 a leas, usig he mehod which relies o he Sorohod embeddig as above. I is ow ad ca be see from he proof of Lemma 3.2 ha he embeddig procedure cao provide, i geeral, a beer ha 1/4 esimae here. Oe may resric he class of payoffs assumig, for isace, ha for piecewise cosa fucios v of ime [0,], he fucioals F v ad v deped oly o he values of v bu o o he ime iervals bewee jumps of v. his codiio is saisfied, for isace, i he case of Russia ype opios. he we ca sip Lemma 3.2 ad afer a sligh modificaio of Lemma 3.1, we ca proceed direcly o Lemma 3.3. I view of Lemmas , his would lead o a slighly beer esimae C 1/4 ha he esimae 2.13 of heorem 2.1. Sill, i does o seem possible o obai uder reasoably geeral codiios which are saisfied, say, for Russia opios beer ha 1/4 esimaes i Lemmas 3.4 ad 3.5. Ideed, i order o obai specific esimaes, we have o ge rid of he geeral fucioals F ad usig he assumpios 2.1 ad 2.2, which ieviably leads o a esimae of E θ θ θ i fac, of a bi larger expressio, which by he urholder Davis Gady iequaliy see [11], heorem 3.1 i Secio 3.3 ad [13], heorem 3.28 i Secio 3.3 is of order E θ θ 1/2 ad he laer expressio is of order 1/4. he mai obsrucio o a beer esimae of he firs expressio above is ha 2.2 requires us o wrie

23 INOMIAL APPROXIMAIONS OF GAME OPIONS 23 which differs from he expiry ime by abou 1/2. I [30] oly Europea opios wih payoffs depedig o he curre soc price are cosidered, which eables he auhor o apply he simple radom wal machiery leadig o beer esimaes. I [24] ad i is geeraliaio cosidered i Secio 6 below he payoffs also deped oly o he curre soc price, which ogeher wih he smoohess assumpio eables us o use he Iô formula leadig o he Dyi formula where he sochasic iegral par disappears ad he he remum ad he absolue value iside ad o ouside of he expecaio. his obsrucio disappears i he oher wo papers [24] ad [30] employig he Sorohod embeddig which also have o face esimaes of he error origiaed from he fac ha, afer embeddig, we have o cosider he rowia moio uil he soppig ime θ remaiig Riema iegral ae bewee ad θ has he same order 1/2 as θ. here exis oher mehods of srog ivariace priciple ype uiform approximaios of he rowia moio by meas of properly ormalied sums of i.i.d. radom variables see, e.g., [3, 16, 31] which may give a beer rae of approximaio, bu he problem arisig here is o fid a proper subsiuio o Lemma 3.1 which would eable us o oly o cosider correspodig processes o oe probabiliy space, bu also o deal wih soppig imes wih respec o he same filraio i he if formulas expressig values of correspodig Dyi s games. I he case of Europea opios or coige claims wih pah depede payoffs saisfyig 2.1, we do o have o worry abou soppig imes ad eed oly o produce a bes possible uiform approximaio of S soc prices by appropriae CRR soc prices. Employig he quaile rasformaio mehod from [16] ad [31], his ca always be doe wih a error roughly of order 1/2. O he oher had, he mehod of [3] ca be used, i priciple, i order o approximae mares where soc prices evolve o ecessarily as a geomeric rowia moio. Remar 3.8. I follows from [14] ha, wih probabiliy oe, lim θ 1/4 l 1/2 ll 1/4 = 2 1/4. I would be ieresig o udersad wheher he esimae 2.13 of heorem 2.1 ca be improved o C 1/4 lll 1/4 or he prese esimae is sharp. I view of Lemma 4.1 below, he esimae 2.13 is coeced wih he boud for E max 0 θ /, hough 2.13 requires also a esimae of H 2 i he ex secio which does o seem o be reducible o his oe. his quesio ca be formulaed

24 24 Y. KIFER i he followig classical form. Le ˆΘ 0 = 0 ad, successively, ˆΘ +1 = if{ > ˆΘ : ˆΘ = 1} wih 0 = 0. he resul of [14] gives ha, wih probabiliy oe, lim ˆΘ 1/4 l 1/2 ll 1/4 = 2 1/4. For our problem, we eed o ow he asympoical behavior as of E max 0 ˆΘ. Our esimaes give he boud C 1/4 l 3/4 for his expecaio. Is here a beer boud or his boud he bes possible? 4. Provig he esimaes. Se = κ 2 + ad Θ = if{ > 0: = 1}. y he scalig propery of he rowia moio, d / ad θ d 4.1 Θ, where d meas ha ad have he same disribuio. Observe ha, i view of idepedecy of icremes l l 1,l = 1,2,..., for ay 1, P {Θ } P { l l κ l = 1,...,} = e b, where b = lp { κ } > 0. I follows ha, for ay oegaive a < b, 4.3 E e aθ e a+1 P {Θ } e a 1 e a b 1 <. =0 he esimaes of Secio 3 are o rivial oly for large, so we will assume ha is sufficiely big, i paricular, ha various expoeial momes of he form E exp a Θ are fiie, ha is, ha > ab 1. Sice expκ, 0, is a marigale wih respec o he probabiliy P, ad so E expκ = 1 assumig ha > 1 θ 2 b 1, we derive by a 1 easy compuaio ha = θ or = ad = 1 or = 1 Θ 1 wih probabiliy 1 + expκ 1 or 1 + exp κ 1, respecively. Se α = E Θ so ha E θ 1 = α. Sice he rowia moio is a

25 INOMIAL APPROXIMAIONS OF GAME OPIONS 25 marigale, ad so E Θ = 0, we have ha κ 2 α = κ2 E Θ + Θ = 1 + e κ / e κ / 1. his ogeher wih a easy esimae shows ha α 1 mi 2κ 1, κ2 2 1 κ K 1, where y 4.2, 4.5 K 1 = mi2κ 1 2κ /2,κ 2. E Θ m M m = e 2b m e b 1 =1 0 x m e b x dx = e 2b m!b m+1. Assumig, wihou loss of geeraliy, ha K 1, we obai from 4.4 ha ad so 4.6 Observe ha θ he filraio F θ P { Θ α m } P {Θ 2}, E Θ α m m e b 3 = e 2b M m. =1 α, = 0,1,2,..., is a marigale wih respec o, N. hus, usig ha a + b m 2 m 1 a m + b m for a,b 0, m 1, we obai by 4.1, 4.4, 4.6 ad he urholder Davis Gady iequaliy see [11], heorem 3.1 i Secio 3.3 ad [13], heorem 3.28 i Secio 3.3 ha, for ay m > 1/2, E, 0, θ 2m = E max 0 θ 2m 2 2m 1 2m α 1 2m + 2 2m 1 E max 0 θ α 2m

26 26 Y. KIFER m 1 K1 2m 4m 2m + 2 2m 1 Λ m E θ 2 m 1 α 2 2m 1 2m m 2m K 2m 1 m + Λ m e 2mb M m 2 K m 2 2m m, where Λ m = 4 m2 m m2m+1 2m 1 m1 2m ad K m 2 = 2 2m 1 K1 2m 2m + Λ m e 2mb M2 m assumig ha 1. We will eed 4.7 mosly wih m = 1 which requires oly he Doob Kolmogorov iequaliy see, e.g., [11] ad i order o simplify oaio, we se K 2 = K 1 2. Usig he expoeial marigale expa 1 2 a2 ad applyig he Doob Kolmogorov ad Cauchy Schwar iequaliies, we obai E expa E e 1/2a2τ expa 1 2 a2 0 τ 0 τ 1/2 E e a2τ E 1/2 exp2a a 2 0 τ 4.8 2E e a2τ 1/2 E exp2a τ a 2 τ 1/2 2E e a2τ 1/2 E exp4a τ 8a 2 τ 1/4 E e 6a2τ 1/4 = 2E e a2τ 1/2 E e 6a2τ 1/4 for ay fiie rowia soppig ime τ ad a umber a. If σ τ is aoher rowia soppig ime, he by he urholder Davis Gady iequaliy see [11] ad [13] applied o he coiuous marigale sochasic iegral 0 I σ<s τ d s we obai ha, for ay m > 0, 4.9 E σ 2m Λ m E τ σ m, σ τ where Λ m is he same as i 4.7 ad, agai, we will use 4.9 oly for m > 1/2. Recall ha our releva formulas do o deped o a paricular choice of a coiuous i ime versio of he rowia moio ad each such versio is, i fac, Hölder coiuous wih probabiliy oe. I he proof of Lemma 3.2 we will eed also cerai reewal heory esimaes which seem o be sadard, bu, sice we could o fid a direc referece, heir proof for readers coveiece is give here. Lemma 4.1. Le [/] if [0,] ad l 4.10 E 0 = max{j :θ j = if >. he } for all 0 ad l = l 2 2E / K

27 ad 4.11 INOMIAL APPROXIMAIONS OF GAME OPIONS 27 E 0 θ θ θ 2 K 3 1/2 l 3/2, l where K 3 > 0 ca be esimaed from he proof below.,... be i.i.d. radom variables wih he same dis- = max{j : j i=1 Θ i u}, he, by 4.1,, [0,], has he same disribuio as he process, Proof. Le Θ 1,Θ 2 ribuio as Θ. Se m u he process m / [0,]. Hece, E / 2 = E m u u u Se Ψ = [] j=1 Θ j for 1 ad Ψ = Ψ 0 = 0 for [0,1. I is clear ha if l <, he m u u = l u if ad oly if l Ψ l l u > l Ψ l+1, ad so i his case If m u 4.12 m u u max Ψ l l, Ψ l+1 l = ad u, he Ψ u, ad so m u u Ψ. Hece, max 0 u m u Observe ha, by 4.4, for ay l, 4.13 u max Ψ l l l Ψ l l Ψ l lα + K 1, ad so by he Doob Kolmogorov iequaliy, E max 0 l Ψ l l 2 2E max 0 l Ψ l lα 2 + 2K E Ψ α 2 + 2K = 8E Θ α 2 + 2K ad 4.10 follows from 4.4 ad 4.6. Nex, we prove 4.11 esimaig, firs, θ θ 4I 0 θ θ 2 l l >D l + 4I max,l, l D l θ + 4I max 0 D 2 1 l θ 0 θ 2 θ >D 2 l 1 l + θ 0 θ 2 >D 2 1/4 l 3/4

28 28 Y. KIFER 2 0 θ + D 4 1/2 l 3/2, where D > 0 will be chose below. Observe ha 4.15 l 2 l 0 θ 0 sice, by he defiiio of Sice θ ad l, l = l. l / + 1 ad he processes m /, [0,], ad, [0,], have he same disribuio, we derive from 4.12, 4.13 ad 4.15 ha 4.16 P { 0 θ l > D } l P { max 0 l Ψ l lα > 1 2 D l 2 P {Ψ l lα > 1 2 D l 2} l=0 + P {lα Ψ l > 1 2 D l 2}. y 4.5, 4.6, Chebyshev s iequaliy ad he defiiio of Ψ l, P {Ψ l lα > 1 } 2 D l P {exp 2 } l 1 l Θ i α D e 4 i=1 e 4 D E exp2 1 lθ α l e 4 D 1 + e 2b 4l m/2 M m m! m=2 e 4 8e4b b 3 D e 4 2, where we use he iequaliy 1 + a/q q < e a for a,q > 0, choose D 2 + 8e 4b b 3 ad assume ha 216/b2 2, so ha 1 l b 2 /16. Similarly, uder he same codiios, 4.18 i P {lα Ψ l > 1 2 D l 2} e 4 2. }

29 INOMIAL APPROXIMAIONS OF GAME OPIONS 29 Nex, by 4.1, 4.3 ad he Chebyshev iequaliy, { P max θ θ l > D 2 } 1 l 4.19,l, l D l P {θ [D l] > D2 1 l} = P {a 1 θ [D l] > ad2 1 l} exp ad 2 1 le expa 1 θ [D l] exp ad 1 E e aθ D l 1, where [b] is he iegral par of b if we choose a posiive a < b, D a 1 1 l1 e a b + +1 so ha e ad e a b D e, ad assume ha e 3, so ha 1 l 1/4. Now, by he srog Marov propery, he reflecio priciple ad he scalig propery of he rowia moio see, e.g., [13], Chaper 2, } θ > D 2 1/4 l 3/ P {max θ P { θ +D2 1 l 0 D 2 1 l > D 2 1/4 l 3/4 } 4P { D 2 1 l > D2 1/4 l 3/4 } = 4P { 1 > D l} = 4 Dl 1/2 2π 1/2 e x2 /2 dx 8 D l 4 2π l e 1/2D2 2π l, provided we choose D 2. Fially, by 4.1, 4.4 ad 4.9, 4.21 E 0 θ 2 4E θ = 4α 41 + K 1, ad we obai 4.11 from 4.14 ad ogeher wih he Cauchy Schwar iequaliy. Now we are ready o pass direcly o he proof of Lemma 3.2.

30 30 Y. KIFER Proof of Lemma 3.2. y 3.3, 3.16 ad he equaliy θ θ η, 4.22 V, V,θ, J 1,η + J 2,η, where ad, 0, η, 0, J 1,η = E e r/ η e rθ J 2,η = E R,, η η R, R,θ,, η θ,θ η. θ η = Sice e ra e rb r a b, we obai by 4.7 ad he Cauchy Schwar iequaliy J 1,η re θ η η R,, η 4.23 K2 r J 11 η, 1/2, where by 2.3, 3.1, 3.2 ad 4.8, 2 J 11,η = E 4.24 Sice R,, η 2E F / η S, 2 + / η S, 2 6 F L E S, 2 6 F L e 2r E e 2κ 0 θ 6F θ = + 4L e 2r E e 4κ2 θ 1/2 E e 24κ2 θ 1/4. θ =1 θ 1 ad θ = θ =1 θ 1 are sums of i.i.d. radom variables, we obai by ad he aylor formula ha, for ay a > 0, E e aθ = E e a/θ

31 4.25 INOMIAL APPROXIMAIONS OF GAME OPIONS ak a2 2 2 m=0 1 + ak a2 2 b 3 2 exp C a = e ak 1+1, a m m M m+2 m m + 2! 2b + a b provided b 3 exp2b + ab 1 ad we use ha 1 + a/qq e a if a, q > 0. his ogeher wih 4.8 gives also 4.26 E e a θ 2E e a2 θ 1/2 E e 6a2 θ 1/4 2C a 2 1/2 C 6a 2 1/4, assumig ha b 3 exp2b + 2a 2 b 1. Nex, we esimae J 2,η. y 3.2 ad 3.15, 4.27 J 2,η E F / S, F θ S,θ, + F η/ S, F θ S,θ, η + / S, θ S,θ,. For ay, 0,, we obai from 2.1 ad 2.2 ha 4.28 where 4.29 ad Se H 1 = r F / S, F θ S,θ, max F 0 θ S, F θ S,θ, Lθ J 23 = max 0 θ J 21 = + F / S, F θ S, + 1J 21 + L max 0 θ 0 θ S, S,θ,, J 22 = S, e r 0 0 θ / θ u / θ l +κ θ θ l S, 1 + J 22 + LJ 23, e κ Su,. ad H 1 = 0 θ H 1,

32 32 Y. KIFER wih 4.30 ad l defied i Lemma 4.1. he by 3.1, 3.14 ad 4.29, J 21 J 22 I H + I H 2e r >1 0 θ 0 θ Nex, by 4.15, H 1 r κ2 2 max r κ2 2 e H 1 1 S, + S,θ, e κ H 1 + 2I H 0 θ 1 >1 er + e rθ θ 0 l + κ 0 θ θ 0 θ e κ. θ. l Hece, by 4.7, 4.10, 4.11, 4.31, he Cauchy Schwar ad he Chebyshev iequaliies, i follows ha here exiss a cosa C > 0 such ha 4.32 P {H 1 > 1} C 1/2 l 3/2. his ogeher wih 4.7, 4.8, 4.10, 4.11, 4.25, 4.30, 4.31 ad he Cauchy Schwar iequaliies yields ha here exiss a cosa C 1 > 0 such ha 4.33 E J 21 C 1 1/4 l 3/4 ad boh C ad C 1 ca be esimaed from he above formulas. I order o esimae J 23, se ad H 2 s, = r l H 2 = max 0 / θ he by 3.1, similarly o 4.30, 4.34 If θ 4.35 l s + κ θ l s / θ J 23 2J 22 I H 2 >1 + H 2. s θ, he by 4.4, l l s s + 1 max max 0 θ 0 θ θ l s H 2 s,. + 1 α + K 1 + 1

33 ad 4.36 θ l INOMIAL APPROXIMAIONS OF GAME OPIONS 33 θ l s θ l 3 max l 0 θ 0 θ 3 max + θ l s l s + l + α + 3K 4 1, where K 4 = K Hece, similarly o 4.14 ad 4.31, H 2 r 3κ2 2 max 0 θ + 1 κ ad, θ + max 0 θ θ θ,0 3max 0 l θ l,0 3max 0 l θ l l s + l/α +3K 4 1 θ θ θ l/α +3K θ I max0 l θ l/α l >1/3D 1 l K D 1/4 l 3/4 0 θ + 2I max0 0 D. 0 θ 1 l θ + θ >D 1/4 l 3/4 Sice he sequece {θ l,l 1} has he same disribuio as he sequece { Ψ l,l 1} defied i he proof of Lemma 4.1, he i he same way as i 4.16 ad 4.17, we obai { P max l l α > 1 } 3 D 1 l K l θ { = P max Ψ l lα > D } l K4 1 e 3K 4 1, 0 l 3 provided we choose D e 2b b 3 ad assume ha /b 2 2, so ha 1 l b 2. Hece, by 4.7, 4.9, 4.20, , he Cauchy Schwar ad Chebyshev iequaliies, i follows ha here exiss a

34 34 Y. KIFER cosa C > 0 such ha P {H 2 > 1} C 1/2 l 3/2. his ogeher wih , 4.20, 4.25, 4.34, ad he Cauchy Schwar iequaliy yields ha here exiss a cosa C 2 > 0 such ha 4.40 E J 23 C 2 1/4 l 3/4 ad boh C ad C 2 ca be esimaed explicily from he above formulas. Fially, esimaig he lef-had side of 4.28 by meas of 4.7, 4.8, 4.25, 4.28, 4.29, 4.33, 4.40 ad esimaig he oher wo erms i he righ-had side of 4.27 exacly i he same way, we obai ha 4.41 J 2,η C 3 1/4 l 3/4 for some C 3 > 0 idepede of, which ogeher wih yields 3.17, compleig he proof of Lemma 3.2. Proof of Lemma 3.3. I order o prove Lemma 3.3, we wrie by 2.1, 2.9 ad 3.15 ha, for ay,l = 1,2,...,, 4.42 where Se H,l 3 = max 1 l Q,,θ θ R,,θ,θ l θ Q θ,θ l Lθ + 1J 3, J 3 = θ 1 s θ 0 θ,θ l R θ S,θ, S.,θ l r s + κ s ad he by 2.4 ad 3.14, similarly o 4.19, H 3 = H, J 3 2e rθ 0 eκ θ H 3 max + 2e rθ I H 3 >1 max 0 eκ θ. Sice s θ + 1 θ ad a + b 2m 2 2m 1 a 2m + 1 b 2m for a,b 0, m 1/2, we obai by 4.1, 4.5 ad 4.9 ha E H 3 2m 2 2m 1 r κ2 2 2m E max 1 θ θ 1 2m

35 4.44 where K m INOMIAL APPROXIMAIONS OF GAME OPIONS m 1 κ 2m E max 1 2 2m 1 r κ2 2 =1 2m θ 1 θ E θ θ 2m 1 θ 1 2m + 2 2m κ 2m E θ 2m θ 1 θ 1 2 2m 1 r κ2 2m 2 E θ 1 2m + 2 2m κ 2m Λ m E θ 1 m K m 5 m+1, 5 = 2 2m 1 e 2b b m+1 m r κ2 2 2m 2m!b m m + 2 2m κ 2m Λ m m!. his ogeher wih he Chebyshev iequaliy gives ha, for ay iegers m, 1, 4.45 P {H 3 > 1} K m 5 m+1. Fially, by 4.8, 4.25, ad he Hölder iequaliy, we obai he asserio of Lemma 3.3. Proof of Lemma 3.4. he proof of Lemma 3.4 sars similarly wih he esimae 4.46 Q θ,θ l Q θ where by ad 2.8, 4.47 ad 4.48 wih,θ l E J 4,l + J 5,l, J 4,l = e rθ l e rθ l R θ,θ l rl + 2F e r θ e κ 0 J 5,l R θ,θ l L θ J 51 = max R θ 1 + e rθ 0 θ θ,θ l e κ + J 51 0 θ S S θ.