arxiv: v1 [math.st] 6 Jun 2013

Transcription

1 Eimaio of he fiie righ edpoi i he Gumbel domai Iabel Fraga Alve CEAUL ad DEIO Cláudia Neve CEAUL ad Uiveriy of Aveiro arxiv:306.45v [mah.st] 6 Ju 03 FCUL, Uiveriy of Libo Abrac A imple eimaor for he fiie righ edpoi of a diribuio fucio i he Gumbel maxdomai of aracio i propoed. Large ample properie uch a coiecy ad he aympoic diribuio are derived. A imulaio udy i alo preeed. Iroducio Le X, X,... X, be he order aiic from he ample X, X,..., X of i.i.d. radom variable wih commo uow diribuio fucio F. Le x F deoe he righ edpoi of F. We hall aume ha he diribuio fucio F ha a fiie righ edpoi, i.e. x F := up{x : F x < } R. The fudameal reul for exreme value heory i due i vary degree of geeraliy o Fiher ad Tippe 98, Gedeo 943, de Haa 970 ad Balema ad de Haa 974. The exreme value heorem or exremal ype heorem urpriigly reric he cla of all poible limiig diribuio fucio o oly hree differe ype, while he iduced domai of aracio embrace a grea variey of diribuio fucio. Thi i paricularly rue i he cae of he Gumbel domai of aracio. I oher word, if here exi coa a > 0, b R uch ha lim F a x + b = Gx,

2 Iroducio for all x, G o-degeerae, he G mu be oly oe of he followig: Ψ α x = exp{ x α }, x < 0, α > 0, Λx = exp{ exp x}, x R, Φ α x = exp{ x α }, x > 0, α > 0. Redefiig he coa a > 0 ad b R, hee ca i ur be eed i a oe-parameer family of diribuio, he Geeralized Exreme Value GEV diribuio wih diribuio fucio G γ x := exp{ + γx /γ }, + γx > 0, γ R. We he ay ha F i i he max-domai of aracio of G γ ad ue he oaio F D M G γ. For γ < 0, γ = 0 ad γ > 0, he GEV diribuio fucio reduce agai o Weibull, Gumbel ad Fréche diribuio fucio, repecively. A equivale exreme value codiio allow he limi relaio i o ru over he real liear cf. Theorem..6 de Haa ad Ferreira, 006: F D M G γ if ad oly if lim F a x + b = + γ x /γ, for all x uch ha + γx > 0, a := a [] ad b := b [], wih [] deoig he ieger par of. The exreme value idex γ deermie vary degree of ail heavie. If F D M G γ wih γ > 0, he he diribuio fucio F i heavy-ailed, i.e., F ha a power-law decayig ail wih ifiie righ edpoi. O he oppoie ed, γ < 0 refer o hor ail which mu have fiie righ edpoi. The Gumbel domai of aracio D M G 0 reder a grea variey of diribuio, ragig from ligh-ailed diribuio uch a he Normal diribuio, he expoeial diribuio, o moderaely heavy diribuio uch a he Logormal. All he ju meioed diribuio have a ifiie righ edpoi bu a fiie edpoi i alo poible i he Gumbel domai. We hall give everal example. Diribuio fucio of hi or, i.e. ligh-ailed diribuio wih fiie edpoi, bu o o ligh ha hey are ill icluded i he Gumbel domai, have bee i grea demad a feaible diribuio uderlyig real life pheomea. A riig example i he exreme value aalyi by Eimahl ad Magu 008 of he be mar i Ahleic, aimig a aeig he ulimae record for everal eve. For iace, Table 3 i Eimahl ad Magu 008 ha everal miig value for he eimae of he edpoi which are due o a eimaed exreme value idex γ ear zero. A aemp o fulfill hee bla pace wih a appropriae framewor

3 Iroducio for iferece i he Gumbel domai ha bee provided by Fraga Alve e al. 03, alhough from he ric view poi of applicaio o he Log Jump daa e ued i Eimahl ad Magu 008. The eaive eimaor propoed by Fraga Alve e al. 03 i virually he ame a he oe iroduced i he pree paper. The ovely here i i he developme of a imple cloedfrom expreio for he previou aiic. Hece, he problem of eimaig he righ edpoi x F of a diribuio fucio lyig i he Gumbel exremal domai of aracio i ow acled by he emi-parameric aiic or i a more compac form, by X, + X, log + X i,, log + i i=0 ˆx F := X, + a i, X, X i,, 3 i=0 where a i, := log + i + log + i / log, uch ha i=0 a i, =. Here ad hroughou hi paper, he umber i aumed iermediae, ha i, i i fac a equece of poiive ieger goig o ifiiy a bu a a much lower rae ha. More formally, we are aumig ha ˆx F i a fucioal of he op obervaio of he origial ample, which relie o a iermediae equece = uch ha, = o, a. From he o-egaivee of he weighed pacig i he um 3, we clearly ee ha he ow propoed eimaor i greaer ha X, wih probabiliy oe. Thi coiue a crucial advaage i compario wih he uual emi-parameric eimaor for he righ edpoi of a diribuio fucio i he Weibull domai of aracio i.e. wih γ < 0. We refer o Hall 98, Fal 995, Hall ad Wag 999 ad o de Haa ad Ferreira 006 ad referece herei. To he be of our owledge, oe of hee eimaor have eured o far he exrapolaio beyod he ample rage, meaig ha we ca ecouer i pracice eimae for he edpoi ha are maller ha he oberved ample maximum. There have bee, however, ome developme of he mo wellow edpoi eimaor coeced wih γ < 0 i he ee of bia reducio ad/or correcio. Li ad Peg 009 ad Cai e al. 0 are wo of he mo rece wor i hi repec. I fac, he problem of eimaig x F ill gaher a grea iere owaday. Recely, Girard e al. 0 devied a edpoi eimaor from he high-order mome peraiig o a diribuio 3

4 Framewor aached wih γ < 0; Li ad Peg 0 propoed a boorap eimaor for he edpoi evolvig from he oe by Hall 98 i cae γ /, 0. The pree paper deliberaely addree he cla of diribuio fucio belogig o he Gumbel domai of aracio, for which o pecific iferece ha ye bee provided i he coex of eimaio of he righ edpoi x F <. The appropriae framewor for he laer hall be developed i Secio. The remaider of he paper i a follow. The raioale behid he propoal of he ew eimaor for he righ edpoi i expouded i Secio 3. Large ample properie of hi eimaor, amely coiecy ad aympoic diribuio, are wored ou i Secio 4 by aig advaage of hi form of eparabiliy bewee he maximum ad he um of higher order aiic. I order o perform aympoic, we require ome baic codiio i he coex of he heory of regular variaio. Thee are laid ou i he ex ecio Secio. Fially, i Secio 5 we gaher ome imulaio reul ae a ey example. Framewor Le F be a diribuio fucio d.f. wih righ edpoi x F, x F := up{x : F x < }. Suppoe F belog o he domai of aracio of he Geeralized Exreme Value diribuio GEV wih d.f. G γ, ha i F aifie he followig exreme value codiio F + x f lim = + γ x /γ, 4 x x F F for all x R uch ha + γ x > 0, wih a uiable poiive fucio f equivale codiio o, ee Theorem..6 of de Haa ad Ferreira, 006. For he mo iereig cae of γ = 0 he limi i 4 read a e x. I hi cae f > 0 ca be defied a follow f := x F F x dx = E[X X > ] 5 F cf. Theorem..5 of de Haa ad Ferreira, 006, he f i he o called Mea Exce Fucio. Now le U be he geeralized ivere fucio of / F. If F aifie 4 wih γ = 0 he 4

5 Framewor we ca aume here exi a poiive fucio a 0 uch ha, for all x > 0, Ux lim = log x. 6 a 0 Hece U belog o he cla Π ee Defiiio B..4 of de Haa ad Ferreira, 006 ad a 0 i a meaurable fucio uch ha lim a 0 x/a 0 = for x > 0. The we ay ha a 0 i a lowly varyig fucio ad ue he oaio a 0 RV 0 ee Theorem B..7 of de Haa ad Ferreira, 006. Moreover, he fucio a 0 ad f iroduced i 6 ad 4, repecively are relaed o each oher by a 0 = f Uee Theorem B.. of de Haa ad Ferreira, 006. Throughou we hall ue he oaio U Πa 0 i order o pu ome emphai o he auxiliary fucio a 0. We have he followig reul: Lemma. Suppoe U Πa. For ay ε > 0 here exi 0 = 0 ε uch ha, for 0, a a ε maxε, ε.. Suppoe a > 0 i a lowly varyig fucio, iegrable over fiie ierval of R + uch ha for every > 0. The a 0, a, ad a d <. a d lim a =. Proof: Par. of he Lemma come from Dree, 998 cf. Propoiio B..0 of de Haa ad Ferreira, 006. The ecod par follow from Karamaa heorem for regularly varyig fucio cf. Theorem B..5 of de Haa ad Ferreira, 006. The relaiohip bewee codiio impoed o he auxiliary fucio a i.e. wo codiio i. of Lemma ad he ail quaile fucio U, for which x F := U = lim U exi fiie, i give by U = c + a d + o a, 7 c R cf. Theorem B.. ad Propoiio B of de Haa ad Ferreira, 006. I hi 5

6 Saiic developme, he followig hold: U = a d + o a,, 8 which i our mai aumpio eveually. Moreover, 8 implie ha U Πa ad a a 0, a, wih a 0 he auxiliary fucio i 6. We ca obai from 6 wih a 0 replaced by a i.e. U Πa ye aoher limiig relaio ow ivolvig iegraio of U ad a: applyig Cauchy rule oce, we obai lim / 0 U x / a d 0 d = lim Ux /, 9 a/ he for arbirary poiive x, he Π-variaio of U acerai ha log x i he limi above, i.e. x lim U d U d a d for all x > 0. Hece U d/ i alo Π-varyig wih auxiliary fucio q := = log x, 0 a d. I he uual oaio, U d/ Πq. The q i lowly varyig while relaio 8 eail ha q 0 a. 3 Saiic Le X, X,..., X be a radom ample of ize from he uderlyig diribuio fucio F wih fiie righ edpoi x F. Le X, X,... X, be he correpodig order aiic. We iroduce he eimaor ˆq/ for he auxiliary fucio defied above, i.e. q = a d = 0 a d evaluaed a = /. Thi eimaor ha he propery ha, a, = ad / 0 provided ome uiable ye mild rericio ivolvig he ecod order refieme of 6

7 Saiic U/ d, q ˆq a q d N, where N i a o-geerae radom variable. Several eimaor for he righ edpoi x F = U < ca be readily devied from 8, i he ee ha hee migh evolve from ˆx F = Û + ˆq = X, + ˆq, 3 which alo eable he eimae yield o carry aalogou large ample properie o ˆq/. I paricular, relaio 0 a x = / ogeher wih a = / promp he followig approximaio for large eough : 0 U d q log. Our propoal for eimaig q/ hu arie quie aurally from he correpodig empirical couerpar i.e. Û /θ = X [θ],, 0, ], θ =, : ˆq := log 0 X [], X [], d. 4 A cerai amou of imple calculaio yield he followig aleraive expreio for ˆq: ˆq = X, + + i log X i,. 5 log + i + Combiig 3 wih 5 we are led o he eimaor for he righ edpoi i=0 ˆx F := X, + X, + + i log X i,. 6 log + i + i=0 We oe ha, afer rearragig compoe, i i poible o expre ˆx F a he maximum X, added by ome weighed mea of o-egaive ummad a follow: ˆx F = X, + a i, X, X i,, i=0 a i, := log + i log + i + > 0, log 7

8 Aympoic reul all i = 0,,... ad N. We ca eaily ee ha a i, are uch ha a i, =. i=0 Remar We emphaize ha he ow propoed eimaor for he righ edpoi reur value alway larger ha x,. Thi coiue a major advaage i compario o he available emi-parameric eimaor for he edpoi i he cae of Weibull domai of aracio, for which he exrapolaio beyod he ample rage i o guaraeed. Thi iadequacy of he exiig eimaor ofe lead o ome diappoiig reul i pracical applicaio, wih eimae-yield ha may be lower ha he oberved maximum i he daa. 4 Aympoic reul Throughou hi ecio we hall bear i mid ha ˆx F re clearly o wo buildig bloc: he high radom hrehold X, ad ˆq/ defied i 5. We hall hadle ˆq/ fir. The proof for coiecy of he eimaor ˆq/ defied i 4 i uppored o he aerio i Lemma.4.0 of de Haa ad Ferreira 006. The aympoic diribuio of ˆq/ i aaied uder a ecod order limi regardig he mai codiio of exeded regular variaio provided i Secio, by aig advaage of i ihere eparabiliy bewee he maximum ad he um of oher highorder aiic. The he wo mai reul cocerig ˆx F, compriig Theorem 5 ad Theorem 3, arie almo direcly from he previou. Le U, U,..., U be idepede ad ideically diribued uiform radom variable o he ui ierval ad le U, U :... U : be heir order aiic. Noe ha U/U i d =X i, i =,,.... Sice = i a iermediae equece uch ha, = o, a, he we ca defie a equece of Browia moio { W } uch ha, for each ε > 0, 0 up 3 +ε θ θ θ U [θ]+, W = o p, 7 for all θ cf. Lemma.4.0 of de Haa ad Ferreira, 006, wih γ =. Le X, X,... be i.i.d radom variable wih he ame diribuio fucio F belogig o he Gumbel domai of aracio, i.e., F DG 0, wih fiie righ edpoi x F. I view of 8

9 Aympoic reul characerizaio 7 for U Πa, he followig relaio hold Ux a /x a a for all x > 0. Hece we obai for ufficiely large ha d, X [θ], θ a d = U θ θ U [θ]+, θ θ a θ U [θ]+, θ a θ x a dx x. θ Now he uiform iequaliie i Lemma ell u ha, for ay ε > 0, Sice U [θ]+, [0, ] ad for every 0, ], a θ a = ± ε ε, 0 <. θ U [θ]+, θ U [θ]+, θ P, we ge X [θ], θ a θ d U[θ]+, = log log + ± θ = log U[θ]+, θ U[θ]+, θ ε + op ± ε + o p, wih he o p -erm edig o zero uiformly for [θ, ]. Now we ca apply Cramér δ-mehod o relaio 7 i order o obai: X [θ], θ a = log + W + o p / ε ± ε + o p, 8 θ θ a, uiformly for θ, θ. We ow coider he ormalized differece bewee a ample iermediae quaile ad correpodig heoreical quaile ad deoe i by R θ, i.e. R θ := X [θ], θ a 9 θ = X [θ], θ a a θ + θ a X [θ], θ θ a + U θ θ θ a θ 9

10 Aympoic reul Bearig o 8 combied wih he uiform iequaliie i Lemma ad he oe for Π-varyig fucio provided i Propoiio B..7 of de Haa ad Ferreira 006, we hu ge for ay ε > 0, R θ = log + W + / ε o p θ ± ε + o p ± ε ε log + log ± ε ε = W ± ε + o p ε ε log, 0 θ for [θ, ], all θ. Therefore, we have ju ee ha he diribuio of deviaio bewee high large ample quaile ad heir heoreical couerpar i aaiable wih a differe ormalizaio ha i 8. Before we proceed we hall require he followig lemma regardig a ecod order codiio o he auxiliary fucio a: Lemma 3 Le U Πa uch ha U = lim U exi fiie. The he followig limi hold wih q := a d/ defied i, lim ax a a q = log x, x > 0. Proof: The aumpio ha U Πa eail q ax a a = = q Ux Ux ax a a q ax Ux log x a + o. Furhermore, accordig o defiiio of he fucio q ad he mai relaio 8, q Ux = x a d a d = + + o x x a d a d + o. By aig he limi of he laer erm whe, we ge from Cauchy rule ogeher wih he fudameal heorem of iegral calculu ha x lim x a d a d ax ax = lim ax a = lim a. 0

11 Aympoic reul Givig heed o, he limiig aeme follow i a raighforward maer: q ax a a = log x + x x d a a d ax a + o ax = log x + log x a + o. Propoiio 4 Le X, X,... be i.i.d. radom variable wih ail quaile fucio U aifyig codiio 8. Suppoe = i a equece of poiive ieger uch ha, / 0, a. The ˆq/ i a coie eimaor for q/ i he ee ha he followig covergece i probabiliy hold, Proof: We begi by oig ha ˆq q = log = log ˆq q p. Û Û 0 q d { X [], q d X, q d + X [], q d U q } d. 3 The wo iegral erm i hall be hadled joily hrough he coideraio of R ee Eq. 9 wih θ = i he oe iegral below: X [], q d X [], U q d = X [], U q d =: I, 4 whece I, = a { q R d + a a R d }. 5

12 Aympoic reul Now, Lemma 3 acerai I, = X [], q d a q R d a + q R log d a q + a q log R d, 6 wih high probabiliy, for ufficiely large. We ca provide a imilar lower boud. Owig o 0, he followig hold w.r.. he iegral feaurig i he upper boud 6, for ay poiive ε, R d Sice ε > 0 i arbirary, he meaig ha W d + 0 < ε d ε d = ε ε ε d ca be dicarded. A imilar lie of reaoig applie o hu alo dicarded. ε + op ε log ε 0 0, ε log d = ε log ε 0, ε ε 0 ε log d. We ow recall ha = i a equece of poiive ieger edig o ifiiy a. Le u defie Y := W d, which regard a equece of ormal radom variable wih zero mea ad variace equal o V ary = log 0. The laer mea ha he equece of radom variable {Y } 0 i a equece of degeerae radom variable, eveually, ad he wo iegral i uifyed i 4; ee alo Eq. 5 i

13 Aympoic reul erm of R vaih wih probabiliy edig o oe a. I hi repec we oe ha a//q/ = o, which eail i fac ha I, = o p = o p a/ q/ = O p a/ q/. The re of he proof perai o he erm i 3. Regardig he fir iegral i 3, we oe ha I, := = / d = a q = a q = a q X, q X, d d q { U U, a { log U, log + } d U log a } + op log d log log U, log + op. Now, he probabiliy iegral raformaio yield he followig equaliy i diribuio for he radom erm above: log U, d = E, log, 7 where E, i he maximum of i.i.d. adard expoeial radom variable. Hece, he radom variable 7 coverge i diribuio o a Gumbel radom variable wih diribuio fucio give by exp{ e x }, x R. Moreover, a/q/ 0, a, becaue a//q/ = o ee Lemma, where he auxiliary poiive fucio a aifie a 0, a, by aumpio. Therefore, I, = o p = O p a q/. 8 I order o fially aai coiecy of ˆq/ le u coider he la iegral i 3, which we will how i i bouded. O he oe had, for he upper boud, U q d U 0 q d 9 3

14 Aympoic reul ad o he oher had, for he lower boud, = 0 0 U q U U +/ + d q q + + d + d + U +/ q + d +. Maig = / ru o he real lie oward ifiiy, he he Π variaio i relaio 0 i rephraed a lim 0 U x d 0 U d q which clearly eail he followig limi for he upper boud i 9: 0 U d q Regardig he lower boud, 0 U d = = log x, x > 0, 30 0 U d 0 U d q log. U q d 0 U + q q q U + +/ d + q + 3 d +, 3 we oe ha for every ε > 0, here exi 0 N uch ha for 0, + / < ε. 33 Whece, we have i ur he followig iequaliy wih repec o 3: 0 U + q + d + > 0 U + q + ε d. For he fir par of he righ-had ide of he above we ue agai codiio 30, while he ecod 4

15 Aympoic reul par i deal wih Theorem B..9 of de Haa ad Ferreira 006 ivolvig he fac ha U Πa: U + 0 q = log + o ε a log. q + d + εa q log + o 0 U + a + d For he laer, we recall ha a/ = o q/. Now we wrie δ = / > 0 everywhere i 3. Furhermore, we aume ha here exi 0 N uch ha, for 0, he erm δ i large eough ad he iegral i 3 ca rephraed a I δ := δ U +δ δ d a δ +δ δ d +δ. 34 We oe ha, for every fixed δ > 0, we have ha from he Π-variaio of U ha he followig hold for he umeraor of I δ 006: properly recaled by aδ cf. Theorem B..9 i de Haa ad Ferreira, δ U +δ δ +δ δ d +δ aδ log δ d = log + δ log. + δ For arbirary mall δ, he laer approache zero. Predicaed o he above, we apply Cauchy rule o obai lim δ 0 I δ we recall ha δ 0 implie. Toward hi ed, we apply Eq.. of Chiag 000 upo he umeraor of I δ, whece lim δ 0 I δ = lim δ 0 δ U +δ δ +δ 3 +δ δ { + lim δ δ 0 δ aδ δ U δ +δ δ +δ aδ +δ 3 d Sice U = a/ he he limi become equal o he he limi of a δ +δ δ aδ a δ +δ aδ d + δ + δ δ U δ +δ δ +δ aδ d Uδ δ } δ. + δ aδ d Uδ δ. + δ aδ We ca ow ae ay arbirary mall δ maig i order o apply he uiform covergece of a RV 0 ad U Πa o ha he above iegral are eured fiie ad he equal o zero by defiiio. Hece, all he erm are egligible a δ coverge o zero meaig ha lim δ 0 I δ 5

16 Aympoic reul become ull. Therefore, U q d log. ad he precie reul for coiecy of ˆq/ hu follow by oig ha q/ q /. I view of 3, we have he followig aleraive formulaio aimed a eablihig coiecy of he propoed eimaor for he righ edpoi. Theorem 5 Le X, X,... be i.i.d. radom variable wih ail quaile fucio U aifyig codiio 8. Suppoe = i a equece of poiive ieger uch ha, / 0, a. The ˆx F := X, + ˆq/ i a coie eimaor for x F <, i.e. ˆx F p xf. Proof: I will uffice o oe here are hree mai coribuig compoe for x F ˆx F. Specifically, x F ˆx F d = U ˆq U +, = U = I II III, q U U +, q ˆq q where: I := U q = o a, which follow direcly from relaio 8; II := U = op a U +, becaue U Πa while Smirov Lemma eure / U +, ad Ferreira, 006; P III := q ˆq q = o p ee Lemma..3 i de Haa which i verified by Propoiio 4 ad he fac ha relaio 8 implie q/ = o. The aympoic diribuio of ˆq/ i predicaed o a uiable ecod order refieme of 6

17 Aympoic reul 6: uppoe here exi fucio a, poiive ad A, poiive or egaive, boh edig o zero a, uch ha for all x > 0. lim Ux U a log x = A log x, 35 Remar 6 The ecod order codiio above follow direcly from Theorem B.3.6, Remar B.3.7 ad Corollary.3.5 of de Haa ad Ferreira 006 becaue he former ae ha, i our eup of γ = 0 ad x F <, he oly cae allowed i he cae of he ecod order parameer ρ equal o zero. Lie he fucio a, he ecod order auxiliary fucio A coverge o zero, o chagig ig for ear ifiiy, ad A i lowly varyig, i.e. Ax/A, oaio: A RV 0. Furhermore, Theorem.3.6 of de Haa ad Ferreira 006 acerai he exiece of fucio a 0 ad A 0 aifyig, a, A 0 A ad a 0 /a = o A, wih he propery ha for ay ε > 0, here exi 0 = 0 ε uch ha for all, x 0, Ux U a 0 log x A 0 log x ε maxx ε, x ε 36 ad a 0x a 0 A 0 log x ε maxxε, x ε. 37 Remar 7 We oe ha relaio 37 combied wih Lemma 3 acerai ha a 0 /q = ca 0, wih c 0 becaue ρ = γ = 0 cf. Eq. B.3.4 ad Remar B.3.5 i de Haa ad Ferreira, 006. Heceforh we may aume ha he fucio q i coveiely redefied o ha a/q A. Example 8 The Negaive Fréche model wih parameer β > 0, i.e.,, wih diribuio fucio F x = exp{ x F x β }, x x F, β > 0. The aociaed ail quaile fucio U i give by U = x F log /β,. The U Πa 0 wih a 0 = /βlog /β 0, a. Therefore, he auxiliary fucio q defied i become q = log /β, β > 0. Now, by raighforward calculaio we ee ha A 0 = + /βlog, which implie ha a 0 /q = A 0 / + β, for ear ifiiy. Theorem.4. of de Haa ad Ferreira 006 allow o gai iigh abou he diribuioal repreeaio diplayed i 8. Specifically, if he ail quaile fucio aifie he ecod order 7

18 Aympoic reul codiio 35 he, for each ε > 0, up /+ε θ X [θ], θ θ a + log 0 θ W provided =, / = o ad A 0 / = O. θ A 0 log θ p 0, 38 Therefore, he aympoic diribuio of ˆq/ will appear ierwied wih he proof of coiecy i Propoiio 4 via R θ, defied i 9 for [θ, ], ee alo 0, albei uder he ecod order grap provided above. The ex Propoiio accou for hi cf..4.7 of de Haa ad Ferreira, 006. Propoiio 9 Suppoe he ecod order codiio 35 hold. Le =, / = o ad A/ λ R, a. The, for θ ad for each ε > 0 ufficiely mall, up /+ε θ X [θ], θ θ a W = o p. θ Proof: Similarly o he equaliy righ afer 9, we have ha Noig ha R θ := X [θ], θ a = a { 0 θ θ a X [θ], θ θ a θ } θ 0 θ a. 0 θ a 0 a = a 0 a a a, for all > 0, he Lemma 3 combied wih Remar 7 yield he expaio a 0 a = a 0 a a a q log + o q = a 0 a + A log + o A, 39 for all > 0. I hi repec, we alo oe ha A RV 0 ad a 0 /a = + o A. Havig e /θ, we hu have from 38, he uiform boud i 36 ad he ecod equaliy i 39, ha θ Rθ = W + A θ log W ε ε θ A ± ε ε log θ A θ θ + o p ε + o p ε log A θ uiformly i. Hece, he aumpio ha A/ = O eail ha log/a /θ 0,, 8

19 Aympoic reul wherea ε ε θa /θ virually become o / ε for each ε > 0 arbirarily mall ad uiformly i [θ, ]. The o p -erm are uiform i [/θ, ]. Hece he followig repreeaio for θ R θ, valid for ε 0,, θ Rθ = W + o p / ε. Theorem 0 Aume he ecod order codiio 35 hold. Suppoe = i uch ha, a,, / 0, a/a/ ad A/ = O. Aume furhermore ha The lim A/ q ˆq a q U q d Λ log d log = λ R. 40 λ log, 4 where Λ i a Gumbel radom variable wih diribuio fucio exp{ e x }, all x R. Before givig a proof, we oe ha he aumpio 40 of he heorem regard a ecod order refieme of 0, more cocreely: lim x d U q Q U d log x = log x, 4 ae i he poi x = for large eough = /. Hece, he aumpio 40 ha bee ailored via he uual ecod order eup ee alo Eq. 35 provided by he heory of exeded regular variaio, wih Q = OA. We refer o Appedix B of de Haa ad Ferreira 006 for a good caalog o reul cocerig heory of exeded regular variaio. The aumpio o ha a//a, a i, however, a bi more rericive i erm of creeig for a adequae value which will deermie he umber of op order aiic o bae our iferece from. For example, if we aume he Negaive Fréche for he uderlyig diribuio fucio ee Example 8 ad = p, p 0,, he a a/ = log /β+ = p /β+, log which i approximaely if ad oly if p approache zero. A more appropriae choice regard 9

20 Aympoic reul iermediae equece a a lower rae uch a = log r, r 0, ]. Bearig hi choice i mid, we have ha a a/ = log log /β+ = r log log log /β+ +. log The upper boud r i impoed i order o comply wih he aumpio A/ = O. Give he low variaio feaure of all he fucio ivolved i he characerizaio of he pree ubcla of diribuio i he Gumbel domai wih fiie righ edpoi, we believe ha he laer choice for = i a feaible oe for mo model aifyig 8, meaig ha we require iermediae value uch ha log = olog. Alogeher, we are excludig Neverhele, we ca brig forward he fac ha a mi-pecificaio of i he ee ha a/ /a coverge o a coa differe ha, ha a direc impac o he aympoic variace of he ormalized relaive error preeed i Theorem 0 raher ha upo he aympoic bia. Thi ca be clearly ee i he proof we pree below. Proof of Theorem 0: Similarly a i 4, we have ha q ˆq a q = { a log = log X [], d q X, U d q d log } { J, J, } + q a log J 3,. 43 By mimicig he ep of progreio from 4 o 5, we obai for he fir iegral above ha J, := X [], a d = R d a + a R d. Hece, Propoiio 9 while aumig ha a//q/ = O by appoime of Remar 7 ad applicaio of he uiform boud i 37 wih a 0 := a + oa ad A 0 := A, 0

21 Aympoic reul imply for each ε > 0, J, = W log d + o p log 3/+ε d + op A 0. Sice he iegral / W log d coverge o a um of idepede ormal radom variable, he he expreio above allow o coclude ha he fir radom compoe i 43 i egligible wih high probabiliy becaue J, = O p. Now, imilarly o I, i he proof of Propoiio 4, albei uder he ecod order codiio 35 ad peraiig uiform boud provided by 36, we ow have ha J, := = a a X, a d { log log U, + a 0 a log d + A 0 Agai, oe ha a 0 /a = o A ad A 0 = A. Hece, a a log J, = log log U, + log A = log U, log + o. log log ± ε ε d }. ± ε ε d + o A Furhermore, aumig ha = i uch ha a/a/, he he followig covergece i diribuio hold a a log J d, Λ log, where Λ deoe a Gumbel radom variable wih diribuio fucio exp{ e x }, x R cf. Eq. 7 ad ubeque ex. The followig alo hold provided 37 ad ha A/ = O: log J d, Λ log, Fially we ur o he bia erm J 3,. By aumpio, J 3, A = A U q d log λ,

22 Aympoic reul a. Therefore, ice A a /q cf. Remar 7, he deermiiic erm J 3, reder he followig coribuio o he aympoic bia: q a log J 3, λ log. Example We reume here he reul for he Negaive Fréche diribuio iroduced i Example 8. The Negaive Fréche diribuio wih peraiig ail quaile fucio U = x F log /β,, 0 < β <, aifie he ecod order limiig codiio 4 wih Q = β log. We are hu ready o purue wih deviig he aympoic diribuio of ˆx F. The followig propoiio re heavily o he aeme i Theorem 0. Propoiio Uder he codiio of Theorem 0, ˆx F x F q ˆq a/ a q P 0. Proof: We ue he fac ha X, d =U/U+,, where U +, i he + h order aiic aociaed wih a ample of idepede ad adard uiform radom variable, i order o wrie ˆx F x F a/ q/ ˆq/ a/ q/ = ˆxF ˆq/ a/ = X, / a/ xf q/ a/ U / q/. a/ Sice U Πa ad /U +, i aympoically adard ormal ee Corollary.. of de Haa ad Ferreira 006 he X, / a d = U U +, = O p = o p. a The re follow from relaio 8. The ex heorem ecloe a aleraive formulaio of he reul compried i Theorem 0 ad Propoiio aimig a providig cofidece bad for ˆx F.

23 Simulaio Theorem 3 Le X, X,... be i.i.d. radom variable wih ail quaile fucio U aifyig he ecod order codiio 35. Le â/ be a coie eimaor for a/. Suppoe = i a equece of poiive ieger uch ha, a,, / 0, a/a/ ad A/ = O. Furhermore aume ha lim A/ U q d log = λ R. The â/ ˆx F x F d Λ log λ log. Proof: The reul follow eaily by cojugaig Theorem 0 wih Propoiio ad he applyig Sluy heorem. There are i he lieraure everal poibiliie for eimaig he auxiliary or cale fucio a/. The mo obviou choice i he Maximum Lielihood Eimaor MLE by preedig ha he exceedace over a cerai high radom hrehold follow a Geeralized Pareo diribuio cf. ecio 3.4 of de Haa ad Ferreira, 006: 5 Simulaio â = ˆσ MLE := X i, X,. i=0 The hree diribuio ierveig i hi imulaio udy are ae hroughou a ey example for he purpoe of illuraig he fiie ample behavior of our eimaor for x F defied i 6. Model : Negaive Fréche, wih diribuio fucio F x = exp{ x F x β }, x x F, β > 0. The peraiig ail quaile fucio U i give by U = x F log /β,. Clearly U Πa wih a = β log /β, β > 0 cf. Example 8. Model : The diribuio fucio F give by F x = exp{ ax/β}, 0 x < βπ/, β > 0. The peraiig fucio U i give by U = β arcalog, ad U Πa wih auxiliary fucio a = / log + β. Model 3: The diribuio fucio F give by F x = exp{π/ β arci x/β β }, 0 x < β, β > 0. The peraiig fucio U i give by U = β { i [ /π β + log ] /β },. The U Πa wih a = log /β+ co log /β. 3

24 Simulaio Figure : Probabiliy deiy fucio of Model fir row, Model ecod row ad Model 3 hird row. 4

25 Simulaio Figure : Mea eimae ad empirical Mea Squared Error of ˆx F for Model wih he rue value x F = ad everal ample ize: = 00 fir row, = 000 ecod row, = 0000 hird row; All plo are depiced agai he umber = of op order aiic ued i he eimaor. 5

26 Simulaio Figure 3: Mea eimae ad empirical Mea Squared Error of ˆx F for Model wih he rue value x F = π/8, π/4, π/ ad everal ample ize: = 00 fir row, = 000 ecod row, = 0000 hird row; All plo are depiced agai he umber = of op order aiic ued i he eimaor. 6

27 Simulaio Figure 4: Mea eimae ad empirical Mea Squared Error of ˆx F for Model 3 wih he rue value x F = /4, /, ad everal ample ize: = 00 fir row, = 000 ecod row, = 0000 hird row; All plo are depiced agai he umber = of op order aiic ued i he eimaor. 7

28 Simulaio We have imulaed 000 ample of ize = 00, 000, 0000, from each model ad for differe parameer β =, /, /4. The reul are depiced i Figure, 3 ad 4. Sice he umber acually implie ha he umber of op order aiic ued i he eimaio i wice a much, we have ploed he eimaed mea of ˆx F a a fucio of he laer, i.e., he plo are agai =. The mo commo approach of elecig he umber or i he pree cae i o loo for a regio where he plo are relaively able. Thi way, give he coiecy propery of he adoped eimaor, oe hould i priciple be away from mall value of avoidig large variace mall i uually aociaed wih a large variace ad o o far off i he ail preveig bia o iill bia uually due o large. A already dicued i Secio 4, for Model a appropriae choice for a iermediae = may be give by = log r, wih r 0, ]. If we are uig = 000, for iace, ad if we e r =, he maximum allowed for r, we obai 48 ad hu 96. Bearig o a value of, aroud 00 e.g., all he plo i Figure loo quie able i a cloe viciiy of he arge value x F = repreeed by he olid horizoal grey lie. A more horough examiaio of he graph i Figure eem o give accou of a edecy o a beer eimaio uder Model i.e., wih uderlyig Negaive Fréche diribuio if he parameer β i le ha, which correpod o he cae where he ihere ecod order codiio are aified. We recall ha if β, he Negaive Fréche diribuio ill aifie he fir order codiio. Furher deail o he Negaive Fréche diribuio are give i Example 8 ad. Aalogouly, i Figure 3 ad Figure 4, he upper par of ample from Model ad Model 3 eem o yield mall egaive deviaio from he rue value x F pecified i coecio wih he choe value for he parameer β > 0. However, he geeral paer for hee model i quie differe i wha cocer a moderaed bia wih icreaig, coraig wih he fa icreaig bia wih oberved i model. Noe ha for ay model wih righ edpoi fiie he ample pah of ˆx F deparure from he op value x,, i.e.,, he ample maximum. Taig all io accou, we may coclude ha he propoed eimaor ˆx F perform reaoably well for pare diribuio i he Gumbel domai deaiig fiie righ edpoi x F. A a hor fial remar abou he robue of edpoi eimaor defied i 3, we ca ay i coiue a advied iferece procedure uder Weibull domai of aracio. The heoreical bacgroud upporig hi aeme i a opic of furher udergoig reearch, bu beyod he cope of he pree ubjec. 8

29 REFERENCES REFERENCES Acowledgeme The auhor are graeful o Profeor Laure de Haa for iroducig he appropriae characerizaio of diribuio wih fiie righ edpoi i he Gumbel domai, a he origi of he propoed eimaor. Referece Balema, A. A. ad de Haa, L Reidual life ime a grea age. The Aal of Probabiliy, : Cai, J. J., de Haa, L., ad Zhou, C. 0. Bia correcio i exreme value aiic wih idex aroud zero. Exreme, 5:DOI 0.007/ x. Chiag, A. C Eleme of Dyamic Opimizaio. Wavelad Pre. de Haa, L O regular variaio ad i applicaio o he wea covergece of ample exreme. Mahemaich Cerum Amerdam. de Haa, L. ad Ferreira, A Exreme Value Theory: A Iroducio. Spriger. Dree, H O mooh aiical ail fucioal. Scad. J. Saic., 5:87 0. Eimahl, J. H. J. ad Magu, J. R Record i Ahleic hrough Exreme-Value Theory. JASA, 03: Fal, M Some be parameer eimae for diribuio wih fiie edpoi. Saiic, 7:5 5. Fiher, R. A. ad Tippe, L. H. C. 98. Limiig form of he frequecy diribuio of he large ad malle member of a ample. Cambridge Philoophical Sociey. Mahemaical Proceedig, 4: Fraga Alve, I., de Haa, L., ad Neve, C. 03. How far ca Ma go? I Torelli, N., Peari, F., ad Bar-He, A., edior, Advace i Theoreical ad Applied Saiic, page Spriger. Seleced Paper of 45h Meeig of he Ialia Saiical Sociey SIS00 Padua, Ialy, 00. Girard, S., Guillou, A., ad Supfler, G. 0. Eimaig a edpoi wih high-order mome. TEST, :

30 REFERENCES REFERENCES Gedeo, B. V Sur la diribuio limie du erme maximum d ue érie aléaoire. Aal of Mahemaic, 44: Hall, P. 98. O eimaig he edpoi of a diribuio. The Aal of Saiic, 0: Hall, P. ad Wag, J. Z Eimaig he ed-poi of a probabiliy diribuio uig miimum-diace mehod. Beroulli, 5: Li, D. ad Peg, L Doe bia reducio wih exeral eimaor of ecod order parameer wor for edpoi? JSPI, 39: Li, Z. ad Peg, L. 0. Boorappig edpoi. Sahyā: The Idia Joural of Saiic, 74: