arxiv: v3 [math.st] 17 May 2016

Transcription

1 The Shark Fn Funcon Asympoc Behavor of he Flered Dervave for Pon Processes n Case of Change Pons Mchael Messer, Gaby Schneder arxv:409.05v3 [mah.st] 7 May 06 Insue of Mahemacs Johann Wolfgang Goehe Unversy Rober-Mayer-Sr Frankfur (Man, Germany correspondng auhor: Mchael Messer, messer@mah.un-frankfur.de Absrac A mulple fler es (MFT for he analyss and deecon of rae change pons n pon processes on he lne has been proposed recenly. The underlyng sascal es nvesgaes he null hypohess of consan rae. For ha purpose, mulple flered dervave processes are observed smulaneously. Under he null hypohess, each process G asympocally akes he form G L, whle L s a zero-mean Gaussan process wh un varance. Ths resul s used o derve a rejecon hreshold for sascal hypohess esng. The purpose of hs paper s o descrbe he behavor of G under he alernave hypohess of rae changes and poenal smulaneous varance changes. We derve he approxmaon G (Λ+L, wh deermnsc funcons and Λ. The funcon Λ accouns for he sysemac devaon of G n he neghborhood of a change pon. When only he rae changes, Λ s ha shaped. When also he varance changes, Λ akes he form of a shark s fn. In addon, he parameer esmaes requred n praccal applcaon are no conssen n he neghborhood of a change pon. Therefore, we derve he facor ermed here he dsoron funcon. I accouns for he lack n conssency and descrbes he local parameer esmang process relave o he rue scalng of he flered dervave process. Keywords: pon processes; renewal processes; change pon deecon; non-saonary rae; alernave; flered dervave Inroducon The sascal heory of change pon deecon ams a he deecon of srucural breaks (so called change pons n me seres. For an overvew of he opc see he exbooks of

2 Brodsky and Darkhovsky(993; Bassevlle and Nkforov(993; Csörgő and Horváh(997 or he revew arcle of Aue and Horváh (03. We focus here on renewal processes on he posve lne (e.g., Gu and Senebach (00, 009; Tmmermann (04. In applcaons such as neuronal spke rans, srucural breaks can occur on dfferen me scales. Ineresng mul scale mehods have been proposed by Frck e al. (04; Fryzlewcz (04; Maeson and James (04. Parcularly for he scenaro of pon processes a mulple fler es(mft has been proposed recenly(messer e al., 04, exendng resuls of Senebach and Easwood (995. The underlyng sascal es nvesgaes he null hypohess of consan rae. Here we nvesgae he respecve flered dervave process under he alernave of change pons n he rae, assumng ha also he varance may change smulaneously. We derve he approxmaon G (Λ+L, where he noaon denoes ponwse mulplcaon. The funcon Λ accouns for he sysemac devaon of G n he neghborhood of a change pon (secon. Ineresngly, n conras o smlar approaches (Berrand, 000 hs funcon akes he form of a shark s fn here because boh he rae and he varance can change. Thus, we erm Λ he shark fn funcon. Theheghofheshark sfnsproporonaloascaledraedfferenceandgrowswh he bandwdh of G. In praccal applcaon, he esmaors of he pon process parameers are no conssen n he neghborhood of a change pon. In secon 3, we herefore derve he funcon ermed here he dsoron funcon. I accouns for he lack n conssency and descrbes he local parameer esmang process relave o he rue scalng of he flered dervave process. Noe ha for convenence all resuls n he presen arcle are shown here for processes wh ndependen and dencally dsrbued lfe mes bu exend drecly o a larger class of renewal processes wh a ceran degree of varably n he varance (renewal processes wh varyng varance, RPVVs, compare Messer (04 usng he same proofs. The Flered Dervave Process. Noaon and behavor under he null hypohess The man goal of he MFT proposed n Messer e al. (04 s o es he null hypohess H 0 of consan rae agans he alernave ha a process s a pecewse renewal process wh a non-empy se of change pons C = {c,...,c k }, and o esmae he change pons n case of rejecon of he null hypohess. In hs paper we sudy he behavor of he flered dervave process under he alernave. To ha end, we frs defne he flered dervave process and recall a convergence resul under H 0, whch can be used for he sascal es. Throughou he arcle we use he followng noaon: We wre a pon process Φ on he posve lne as an ncreasng sequence of evens 0 < S < S < S 3 <, or alernavely, by s lfe mes ξ j := S j S j, j =,3,..., seng ξ = S, or by he counng process (N 0, where N = max{j S j }, 0, ( wh he convenon max := 0. The process Φ s called a renewal process wh square negrable lfe mes (RP f he assocaed lfe mes {ξ j } j buld a sequence of posve,

3 ndependen and dencally dsrbued (..d. and square-negrable random varables wh σ := Var(ξ > 0. For an RP Φ wh µ := E[ξ ] and σ = Var[ξ ] we wre Φ = Φ(µ,σ. The nverse mean µ s ermed he rae of Φ. For T > 0 le (Φ (n n := Φ (0,nT], where Φ (a,b] denoes he resrcon of Φ o he nerval (a, b]. The value n s requred for asympoc saemens hroughou hs work, whch are deduced by leng n. Here, he oal me nt and he locaon of he change pon nc grow lnearly n n. Le ( 0 denoe he counng process correspondng o Φ (n. For T > 0 le h (0,T/] denoe a wndow sze and τ h := [h,t h] an analyss regon. ( Defnon.. Le Φ(µ,σ be an RP. For τ h he flered dervave process D (n := D (n s defned as τ h ( ( n(+h N(n n n n( h where s (n D (n := D (n h, := := s (n h, := σ /µ 3. Thus, D (n of evens n a rgh wndow, s (n, ( compares he number of evens n a lef wndow, n N(n n( h, o he number n(+h N(n n (Fgure. The process D (n can ndcae changes n he rae because s expecaon asympocally vanshes under he null hypohess, whle sysemac devaons from zero are expeced when a rae change occurs. More precsely, under he null hypohess he followng weak process convergence resul for D (n was shown n Senebach and Easwood (995 and Messer e al. (04 for renewal processes and ceran generalzaons wh respec o varably n he varance. Le D[h,T h] denoe he se of all càdlàg (connue à droe, lme à gauche funcons on [h,t h]. Furher, le d SK denoe he Skorokhod merc on D[h,T h]. The followng resul descrbes he lm behavor of D when no change n he rae occurs. Proposon.. Le Φ(µ,σ be an RP such ha Φ (n = Φ (0,nT]. Le (W 0 be a sandard Brownan moon. Then holds n (D[h,T h],d SK as n ( ( d (W+h W (W W h. (3 h τ h D (n τ h The expresson d denoes convergence n dsrbuon. Proposon. s a specal case of Proposon.5 (secon., whch descrbes he behavor of D (n n he presence of a sysemacally devaes from zero n he neghborhood of he change pon. Therefore, we nroduce an addonal cenerng erm n he followng subsecon n order o oban convergence n case of a change pon. change pon. In case of a change pon n he rae, D (n. The flered dervave n case of a change pon In order o nvesgae he behavor of D under he alernave of change pons, we noe ha a change pon a c can only affec D whn he h-neghborhood of c,.e., for (c h,c h. Therefore, nvesgang one change pon exends drecly o an arbrary number of change pons wh dsances a leas h. We hus focus here on he behavor n case of one change pon, usng he followng pon process model. The process Φ (n sars as he RP Φ (µ,σ and jumps no Φ (µ,σ a he change pon nc. 3

4 Consrucon.3. Le c (0,T and n =,,... Le Φ (µ,σ and Φ (µ,σ be wo ndependen RPs and se Φ (n := Φ (n (c := Φ (0,nc] Φ (nc,nt]. (4 The resulng sequence of neres s gven as ( Φ (n n (cmp. Fgure. Φ (n Φ Φ Φ (µ, σ Φ (µ, σ n( h n n(+h ( ] 0 nc n(t h nt Fgure : A pon process wh a change pon a nc accordng o Consrucon.3. Before nc, Φ (n equals Φ (µ,σ and afer nc, derves from a second RP Φ (µ,σ. The wndows requred for he flered dervave process a me n are gven by he nervals (n( h,n] and (n,n(+h]. Thus, a change n he rae occurs f and only f µ µ. In hs case of one change pon, D wll sysemacally devae from zero n he h-neghborhood of c (cmp. Berrand, 000. Therefore, we requre an addonal cenerng erm m for process convergence, and an exenson of he scalng process s as follows ( Defnon.4. Le he rescaled flered dervave process Γ (n := Γ (n := Γ (n h, := [ ] ( n(+h N(n n (N(n n n( h ( whle for τ h he expecaon funcon m (n := s (n m (n Γ (n m (n τ h be defned as, (5 τ h s zero for c > h and equals m (n := m (n h, (c := n(/µ /µ (h c for c h (see Fgure A, C. (6 ( The varance (s (n := (s (n τ s gven by σ /µ3 for < c h, by σ /µ3 for h > c+h, and by a lnear nerpolaon (see Fgure B, D (s (n := (s (n h, := n ( (+h cσ /µ 3 +(c ( hσ /µ 3, for c h. (7 Inuvely, he lnear nerpolaon resuls from he lnear shf of he wndow across me: Assume for example a rae ncrease (Fgure A. If he wndow s shfed o he rgh n he nerval (c h,c, only s rgh half s expeced o conan more evens. The fracon of he rgh half for whch hs s he case ncreases lnearly up o me c. Analogously, he decrease s lnear n he nerval (c,c h. For he varance a smlar argumen holds due o addvy of he varances under ndependence of he lfe mes. Smlar o he process D (n, also he process Γ (n can be shown o converge weakly n Skorokhod opology o a lm process L n he general seng of a change pon, as saed n he followng proposon. 4

5 ( µ µ m A Φ Φ B s Φ Φ 0 0 c h c c+h (σ µ 3 (σ µ 3 c h c c+h m C Φ Φ D s Φ Φ ( µ µ c h c c+h (σ µ 3 (σ µ 3 c h c c+h Fgure : Represenaon of he expecaon funcon m (A, C and he varance funcon s (B, D n case of a change pon a c, accordng o Defnon.4. The expecaon m vanshes ousde [c h,c+h] and akes s exreme, m c = (/µ /µ, a c. The funcon m s non-negave f he rae ncreases (A and non-posve f he rae decreases (C. The varance funcon s equals (σ /µ3 for < c h and (σ /µ3 for > c + h and s lnearly nerpolaed n [c h,c+h] (B, D. Superscps (n are omed here for convenence n he noaon of m and s. Proposon.5. Le Φ (µ,σ and Φ (µ,σ be ndependen RPs wh µ µ. Le he sequence (Φ (n n resul from Φ and Φ accordng o Consrucon.3, and le Γ (n be he assocaed rescaled flered dervave process. Le (W 0 be a sandard Brownan moon, and he lm process L := (L τh be gven as (W +h W (W W h h, f c > h, σ /µ 3 L := L h, (c := (W +h W c+ σ /µ3 [(Wc W (W W h], f c h c, s ( (8 σ /µ 3 [(W +h W (W W c] σ /µ3 (Wc W h, f c < c+h. s ( Then holds n (D[h,T h],d SK as n Γ (n d L. Elemenary calculaons show ha he margnals L are sandard normally dsrbued. Noe ha Proposon. descrbes he specal case where µ = µ and σ = σ, because for = 0, s (n = (σ /µ3 /, L = [(W +h W (W W h ]/(h / equal o he lef hand sde n equaon (3. The dea of he proof of Proposon.5 s all τ h, weobanm (n and Γ (n smlar, bu reles on jon process convergence of he rescaled counng processes assocaed wh Φ and Φ, see Appendx A...3 The Shark Fn Funcon Proposon.5 saes ha asympocally he followng equaly n dsrbuon holds D (n Λ (n +L, wh Λ (n := m (n /s (n. (9 5

6 In order o undersand he process D (n we nvesgae Λ (n. In case of a rae change he expecaon funcon m (n has he shape of a ha (Fgure A. If he varance changes addonally, he funcon Λ (n resembles a shark s fn and s herefore ermed here he shark fn funcon. We show examples of such shark fn funcons n Fgure 3 and gve a proof n Lemma.6. Equaon ( saes ha he shark fn funcon akes s larges devaon from zero a me c. If m (n 0 and s (n ncreasng, he shark s headng wes (Fgure 3 A, equaon (0, whereas n case of (, he shark s headng eas (Fgure 3 B. For m (n 0 analogous relaons hold, he shark s headng n he same drecons, bu urned upsde down (Fgure 3 C and D. Noe also ha f he sandard devaon s (n s consan over me, he shark fn funcon Λ (n has a ha shape,.e., s pecewse lnear. A m 0 and s ncreasng B m 0 and s decreasng Λ c Λ c Λ Λ C 0 h c h c c+h T h m 0 and s ncreasng D 0 h c h c c+h T h m 0 and s decreasng 0 0 Λ Λ Λ c h c h c c+h T h Λ c h c h c c+h T h (p,λ (p,λ µ µ m (n σ /µ3 σ /µ3 s (n A (, (, ncreasng B (/0, /0 (0, decreasng C (0, 400 (/0, / ncreasng D (, 0 (, decreasng Fgure 3: Analyss of he shark fn funcon Λ (sold, for he case of a change pon a c. The doed lne marks he scaled ha funcon m /s c. The shape of he shark fn funcon depends on he srucure of he expecaon funcon m and he sandard devaon funcon s. For m 0 and s ncreasng, he shark s gong wes (A. For m 0 and s decreasng, he shark s headng eas (B. For m 0, he shark s swmmng upsde down and s orened owards he same drecons (C and D. The expecaon and sandard devaon funcons refer o pon processes whoselfe mes beforehe change pon are..d. Γ(p,λ dsrbued and hose afer he change pon are..d. Γ(p,λ dsrbued. The parameers are gven n he upper able. Furher parameers are T = 000, c = 500, h = 50 and n =. Superscrps (n are omed for convenence. Lemma.6. For c (0,T and τ h le m (n and s (n be as n Defnon.4 and Λ (n = m (n /s (n. Then Λ (n s a connuous funcon wh Λ (n = 0 for / (c h,c+h]. If µ = µ also s Λ (n = 0 for (c h,c+h]. If µ µ we separae four cases for (c h,c+h]: 6

7 For m (n 0 and s (n ncreasng (Fgure 3 A, Λ (n s For m (n 0 and s (n decreasng (Fgure 3 B, Λ (n s { concave and srcly ncreasng for [c h,c], convex and srcly decreasng for (c,c+h]. { convex and srcly ncreasng for [c h,c], concave and srcly decreasng for (c,c+h]. (0 ( For m (n 0, expressons (0 and ( hold rue, bu wh convex and concave as well as ncreasng and decreasng exchanged. Furher, because m (n s of order and s (n s of order ( / for c < h, we fnd ha Λ (n s of order ( / for c < h. Proof of Lemma.6: Connuy s clear because boh he numeraor and he denomnaor are connuous. For / (c h,c + h] s m (n = 0 such ha Λ (n = 0. The same holds for (c h,c+h] when µ = µ. For (c h,c+h] wh µ µ we deduce he case m (n 0 and s (n ncreasng. For (c h,c] boh funcons m (n and s (n are srcly ncreasng n. Whle m s of order, s s of order /, see equaons (6 and (7. Thus, he shark fn funcon Λ (n s srcly ncreasng and of order /, and herefore descrbes a concave funcon for (c h,c]. For (c,c+h], m (n s srcly decreasng and of order, so ha Λ (n s srcly decreasng of order /, whch descrbes a convex funcon. The oher cases follow by smlar argumens. Noe ha, f µ µ because Λ (n s defned for τ h we fnd arg max Λ (n = c ( for c τ h, argmax Λ (n = h f c (0,h and argmax Λ (n = T h f c (T h,t. Noe furher ha Lemma.6 can be generalzed o mulple change pons wh dsance a leas h, n whch case Λ (n descrbes mulple, successve shark fn funcons. Deecon Probably n Change Pon Esmaon The fac ha Λ (n akes s maxmal devaon from zero a he change pon c can be used for change pon esmaon and for a rough evaluaon of he deecon probably of a change pon. In pracce, he null hypohess of consan rae s rejeced f he flered dervave D ( exceeds a hreshold Q, whch can be derved by Mone Carlo smulaon, compare e.g. Messer e al. (04. If he null hypohess s rejeced, an esmae of a change pon c s gven as ĉ := argmax τh D (. For mulple change pons, successve argmax-ype esmaon mehods are appled (cmp. Carlsen, 988; Dümbgen, 99; Anoch and Hušková, 994; Anoch e al., 997; Berrand, 000; Berrand e al., 0; Messer e al., 04; Krch and Muhsal, 04. The consrucon D (n = Λ (n + Γ (n gves a smple bound for he deecon probably of a change pon c τ h. Accordng o Proposon.5 and equaons (6 and (7, we fnd asympocally ( D c (n Λ c (n +L c N /µ /µ (σ /µ3 +σ /µ3 / (/,. (3 7

8 For rae ncreases µ > µ, we fnd m c > 0 and D c > 0, such ha P(max τh D (n Q P(D c (n > Q. Analogous resuls apply for rae decreases. Ths mples asympocally P ( max D (n τ > Q h F ( Q /µ /µ (σ (/ /µ3 +σ /µ3 / >, (4 where F denoes he dsrbuon funcon of he sandard normal dsrbuon. Noe ha he rgh hand sde of equaon (3 mples ha he hegh of he shark s proporonal o he scaled rae dfferences and grows wh he bandwdh of D. 3 The Dsoron Esmaon of Process Parameers The defnon of he flered dervave process D (n as n equaon ( reles on he assumpon ha he heorecal sandard devaon s (n s known. However, s (n depends on he pon process parameers µ,µ, σ and σ, whch ypcally need o be esmaed n praccal applcaon. Noe ha he flered dervave s a local sasc, such ha s (n self s also a me dependen funcon n case of rae changes, see defnon (7. We dscuss he behavor of he flered dervave process when replacng s (n by a me dependen esmaor ŝ (n proposed n Messer e al. (04. There, conssency was shown under H 0. Here, we deduce he asympocs of he process ŝ (n under H A. The esmaor s no conssen, bu devaes from he rue scalng s (n n he h-neghborhood of a change pon. However, boh funconals ŝ (n and s (n are of he same magnude and her asympoc relaon s ermed here he dsoron. The laer can be nerpreed as he amoun of error ha resuls from a bas n he parameer esmaon close o a change pon. For a smlar phenomenon n he seng of sequences of random varables compare Krch and Muhsal (04. For all τ h, he esmaor ŝ (n s gven by ( ( :=, (5 ŝ (n ŝ (n h, := (ˆσ r (,n ˆµ 3 r (,n + ˆσ le (,n ˆµ 3 le (,n where ˆµ r (,n and ˆσ r (,n (or ˆµ le(,n and ˆσ le (,n denoe he emprcal mean and varance of all lfe mes whose correspondng pon evens le n he rgh wndow(n, n(+ h] (or he lef wndow (n( h,n], respecvely. If no lfe mes can be found n he respecve nervals, he esmaors are se o zero. as Replacng s (n wh hs esmaor ŝ (n, we sudy he convergence of a new process defned G (n := (N(n n(+h N(n n (N(n n ŝ (n n( h. (6 Under he null hypohess of no change pon (.e., µ = µ, he followng convergence resul s provded n Messer e al. (04. Proposon 3.. Le Φ (µ,σ be an RP, such ha Φ(n = Φ (0,nT]. Then, we have n (D[h,T h],d SK as n G (n d ( (W+h W (W W h h τ h. (7 8

9 The proof reles on he srong conssency of he esmaor ŝ (n under he null hypohess,.e., ha holds unformly almos surely s (n /ŝ (n as n. In he general case of a change pon he relaon s (n /ŝ (n does no converge o uny, bu o a deermnsc funcon := s ( /ŝ (. For all τ h le s (n be ( s (n ( ( := s (n σ h, := r (h, µ 3 r (h, + σ le (h, µ 3 le (h,, (8 wh µ r (h, = µ for c h, µ r (h, = µ for > c, and µ r (h, = hµ µ /((c µ +(+h cµ for (c h,c], (9 and analogously for µ le. For σ r we se σ r (h, = σ for c h, σ r (h, = σ for > c and σ r(h, = µ µ (+h c(c [(σ σ +(µ +µ ]+[(+h cµ σ +(c µ σ ] [(c µ +(+h cµ ] (0 for (c h,c], and analogously for σ le. Le d denoe he supremum norm. The followng Lemma saes ha descrbes he asympoc error nduced by he esmaor ŝ (n. Lemma 3.. Le µ,µ,σ,σ > 0. Le Φ (µ,σ and Φ (µ,σ be ndependen RPs and c (0,T, so ha he sequence (Φ (n n resuls from Φ and Φ accordng o Consrucon.3. Le s (n, ŝ (n and s (n as defned n (7, (5 and (8. Then we have n (D[h,T h],d almos surely as n ( s (n ŝ (n τ h ( s ( s ( = ( τh. ( τ h The proof s gven n Appendx A.. Noe ha hs Lemma saes ha he esmaor ŝ (n asympocally equals s (n almos surely n (D[h,T h],d. The dsoron s connuous and depends on he process parameers µ,µ,σ and σ (see Fgure 4 A,D for examples. Consderng he dsoron erm for applcaons n whch he process parameers need o be esmaed, we fnd he followng convergence of he flered dervave process G (n. Proposon 3.3. Le µ,µ,σ,σ > 0. Le Φ (µ,σ and Φ (µ,σ be ndependen RPs and c (0,T be a change pon, so ha he sequence (Φ (n n resuls from Φ and Φ accordng o Consrucon.3. Then, for G (n,, Λ (n and L as defned n (6, (9, ( and (8, we have n (D[h,T h],d SK as n G (n Λ (n d L. Proof of Proposon 3.3: Snce Λ (n = m (n /ŝ (n, he clam follows drecly from ( Γ (n = G (n m(n ŝ (n ŝ (n s (n and due o he weak convergence Γ (n L as saed n Proposon.5 and he almos sure convergence s (n /ŝ (n as n Lemma 3. by applyng Slusky s heorem. As a corollary we noe ha f µ = µ, even f σ σ, we fnd ha Λ(n = 0 and =, whch can be obaned by elemenary calculaons. 9

10 Corollary 3.4. Le c (0,T and n =,,... Le Φ (µ,σ and Φ (µ,σ be wo ndependen RPs wh σ σ and se Φ(n := Φ (n (c := Φ (0,nc] Φ (nc,nt]. Then, for G (n and L as defned n (6 and (8, we have n (D[h,T h],d SK as n G (n d L Λ c A h c h c c+h T h B Λ Λ Λ c D h c h c c+h T h E Λ Λ 0 0 Λ c h c h c c+h T h C Λ Λ c h c h c c+h T h F Λ G G 0 0 h c h c c+h T h h c h c c+h T h Fgure 4: Two examples of he funcon G and s connecon o he shark fn funcon Λ and he dsoron. The underlyng pon process on [0,000] sars n a process wh..d. Γ(p,λ -dsrbued lfe mes and jumps no a process wh..d. Γ(p,λ -dsrbued lfe mes a me c = 500. Panels A,D: The dsoron. B,E: The dsored shark fn funcon Λ (sold, he undsored shark fn funcon Λ (doed, hck and he ha funcon (doed, hn. C,F: The process G (sold ha flucuaes around he dsored shark fn funcon (doed. For panels A-C, (p,λ = (,5,(p,λ = (/4,5, resulng n (µ,σ = (/5,/5 and (µ,σ = (/0,/00. For panels D-F, (p,λ = (,0,(p,λ = (,0, resulng n (µ,σ = (/5,/50 and (µ,σ = (/0,/00. The wndow sze was h = 50. Noe ha he mpac of he dsoron funcon may heorecally become arbrarly large for exreme parameer consellaons (up o 0% of he shark fn funcon n Fgures 4 A,D. However, because he esmaors are derved locally and separaely n each wndow half, he esmaon a he change pon c s conssen and he dsoron s uny. As a consequence, he esmaon error caused by nconssen parameer esmaon n praccal applcaon s ypcally small because he shark fn funcon akes s larges devaon a c. 0

11 4 Summary We exend a convergence resul of a flered dervave process descrbed by Senebach and Easwood (995 and Messer e al. (04 ha can be used for change pon analyss n pon processes. Usually, for purposes of sascal hypohess esng, he behavor of he flered dervave process G s analyzed under he null hypohess. In he presen seng converges weakly o a zero-mean, un varance Gaussan process L (equaon (8, upper case,.e., G (n L. Zero expecaon resuls from a consan rae. Snce he parameer esmaors are conssen under he null hypohess, no addonal erm s requred o descrbe he lm behavor of G (n. The man purpose of hs paper was o descrbe he behavor of G (n under he alernave of one change pon. Proposon 3.3 saes ha we can approxmae (roughly ( G (n Λ (n +L. ( The sysemac erm Λ (n descrbes he expecaon of he flered dervave, whch sysemacally devaes from zero n he neghborhood of a change pon. Ineresngly, hs devaon does no smply ake he form of a ha, bu of a shark s fn. Ths s caused by he assumpon ha boh he rae and he varance may change a a change pon. In pracce, hs shape s dsored furher when he process parameers need o be esmaed. The dsoron funcon accouns for he lack n conssency n esmaon of pon process parameers n he neghborhood of a change pon. In summary, he frs par n (, Λ (n descrbes he deermnsc, dsored shark fn funcon (Fgure 4. The second par, L, descrbes a random flucuaon wh zero expecaon and varance gven as he squared dsoron. As a consequence of he local naure of G (n, hs resul apples auomacally o mulple change pons separaed by a leas h. Our resuls also sugges ha n praccal applcaon he shape of he poenally dsored shark s fn ypcally neher affecs he deecon and esmaon of change pons, nor he lower bound of he deecon probably. Acknowledgemens Ths work was suppored by he German Federal Mnsry of Educaon and Research (BMBF whn he framework of he e:med research and fundng concep (gran number: 0ZX404B andbyheprory Program 665 ofhedfg. We hankbrooks Ferebeeforhelpfulcommens on he manuscrp. References Anoch, J. and Hušková, M. (994. Procedures for he deecon of mulple changes n seres of ndependen observaons. In Asympoc sascs (Prague, 993, Conrb. Sas., pages 3 0. Physca, Hedelberg. Anoch, J., Hušková, M., and Prášková, Z. (997. Effec of dependence on sascs for deermnaon of change. J. Sas. Plann. Inference, 60(:9 30.

12 Aue, A. and Horváh, L. (03. Srucural breaks n me seres. J. Tme Seres Anal., 34(: 6. Bassevlle, M. and Nkforov, I. V. (993. Deecon of abrup changes: heory and applcaon. Prence Hall Informaon and Sysem Scences Seres. Prence Hall Inc., Englewood Clffs, NJ. Berrand, P. (000. A local mehod for esmang change pons: he ha-funcon. Sascs, 34(3:5 35. Berrand, P. R., Fhma, M., and Gulln, A. (0. Off-lne deecon of mulple change pons by he flered dervave wh p-value mehod. Sequenal Anal., 30(:7 07. Bllngsley, P. (999. Convergence of probably measures. Wley Seres n Probably and Sascs: Probably and Sascs. John Wley & Sons Inc., New York, second edon. A Wley-Inerscence Publcaon. Brodsky, B. E. and Darkhovsky, B. S. (993. Nonparamerc mehods n change-pon problems, volume 43 of Mahemacs and s Applcaons. Kluwer Academc Publshers Group, Dordrech. Carlsen, E. (988. Nonparamerc change-pon esmaon. Ann. Sas., 6(: Csörgő, M. and Horváh, L. (997. Lm heorems n change-pon analyss. Wley Seres n Probably and Sascs. John Wley & Sons Ld., Chcheser. Wh a foreword by Davd Kendall. Dümbgen, L. (99. The asympoc behavor of some nonparamerc change-pon esmaors. Ann. Sas., 9(3: Frck, K., Munk, A., and Selng, H. (04. Mulscale change pon nference. J. R. Sa. Soc. Ser. B. Sa. Mehodol., 76(3: Wh 3 dscussons by 47 auhors and a rejonder by he auhors. Fryzlewcz, P. (04. Wld bnary segmenaon for mulple change-pon deecon. Ann. Sas., 4(6:43 8. Gu, A. and Senebach, J. (00. Truncaed sequenal change-pon deecon based on renewal counng processes. Scand. J. Sas., 9(4: Gu, A. and Senebach, J. (009. Truncaed sequenal change-pon deecon based on renewal counng processes. II. J. Sas. Plann. Inference, 39(6: Krch, C. and Muhsal, B. (04. A MOSUM procedure for he esmaon of mulple random change pons. Preprn. Maeson, D. S. and James, N. A. (04. A nonparamerc approach for mulple change pon analyss of mulvarae daa. J. Amer. Sas. Assoc., 09(505: Messer, M. (04. A mulple fler es for he deecon of rae changes n renewal processes wh varyng varance. PhD hess, Frankfur, Goehe Unversy, Dss., 04.

13 Messer, M., Krchner, M., Schemann, J., Roeper, J., Nennger, R., and Schneder, G. (04. A mulple fler es for he deecon of rae changes n renewal processes wh varyng varance. Ann. Appl. Sa., 8(4: Senebach, J. and Easwood, V. R. (995. On exreme value asympocs for ncremens of renewal processes. J. Sas. Plann. Inference, 45(-:30 3. Exreme value heory and applcaons (Vlleneuve d Ascq, 99. Tmmermann, H. C. (04. Monorng procedures for deecng gradual changes. Dsseraon. urn:nbn:de:hbz: A Appendx Unless oherwse specfed, we use he followng noaon (compare Consrucon.3: Le T > 0, h (0,T/], τ h and c (0,T. Furher, le {ξ,j } j, {ξ,j } j and {ξ (n j } j denoe he sequences of lfe mes ha correspond o Φ, Φ and o he compound process Φ (n, respecvely. Analogously, le (N, 0, (N, 0 and ( 0 denoe he assocaed counng processes (see equaon (. Furher, le (W, 0 and (W, 0 be ndependen sandard Brownan moons. A. Proof of Proposon.5 Oulne: We show he jon convergence n dsrbuon of he rescaled counng processes (N, and (N, o a funcon of (W, and (W, (compare 4. Then, a me boh processes refer o he nformaon of he enre me nerval (0, ]. In a second sep, he processes are connuously mapped o he scenaro of he wo wndows ( h,] and (,+h] whch refers o he flered dervave process (Γ. Proof of Proposon.5: For =, le he rescaled random walk (X (n, 0 and he rescaled counng process (Z (n, 0 concernng Φ be gven as X (n, := [n] (ξ,j µ and Z (n σ n, := N,n n/µ, (3 j= nσ /µ3 for 0. Accordng o Donsker s heorem (n he case of RPVVs apply Messer e al. (04, Proposon A.8., we fnd n (D[0,,d SK as n ha (X (n, d 0 (W, 0 for =,, mplyng weak convergence of (Z (n, 0,.e., holds n (D[0,,d SK as n ha (Z (n, d 0 (W, 0 for =,, as saed n Bllngsley (999, Theorem We use a dfferen scalng and se Z (n, := N,n n/µ, 0, s (n 3

14 where s (n, [0, s gven n Defnon.4. Then for =,, we fnd n (D[0,,d SK for n ( n because σ /µ3 /s(n ( Z(n, 0 = ( d σ /µ3 /s( σ /µ3 s ( W, 0 s connuous n and does no depend on n. Le now ( Z (n, 0 and ( Z (n, 0 denoehe processes derved from Φ and Φ, respecvely. Due o ndependence of Φ and Φ, we oban jon convergence n (D[0, D[0,,d SK d SK for n ( ( Z(n ( Z(n,, d, ( σ /µ 3 σ 0 0 s ( W,,( /µ 3 0 s ( W,. (4 0 We consder he connuous map ϕ : (D[0, D[0,,d SK d SK (D[h,T h],d SK gven by ((f( 0,(g( 0 ϕ (f(+h f( (f( f( h½ [h,c h ( +(g(+h g(c+(f(c f( (f( f( h½ [c h,c ( +(g(+h g( (g( g(c (f(c f( h½ [c,c+h ( +(g(+h g( (g( g( h½ [c+h,t h] ( The connuous mappng heorem appled o (4 wh map ϕ yelds n (D[h,T h],d SK for n ( ( Z(n ( Z(n ϕ,, d, ϕ ( σ /µ 3 σ 0 0 s ( W,,( /µ 3 0 s ( W,. 0 Thus, remans o be shown ha ( Γ (n = ϕ τ h (L τh ϕ ( ( Z(n ( Z(n,,, 0 0 ( σ /µ 3 s ( W, 0 τ h, (5 σ,( /µ 3 s ( W,, (6 0 where denoes equaly n dsrbuon. In order o show (5 and (6 we dfferenae he four cases [h,c h, [c h,c, [c,c+h and [c+h,t h]. Dervaon of (5: Case < c h : ϕ ( ( Z(n, ( Z(n,, 0 0 = (N,n(+h N,n (N,n N,n( h s (n = [(N(n n(+h N(n n (N(n n n( h ] m(n s (n 4 = Γ (n..

15 For c + h we oban analogous resuls by exchangng subscrps. For [c h,c we oban ϕ ( ( Z(n, ( Z(n,, 0 0 (N,n(+h N,nc +(N,nc N,n (N,n N,n( h n = s (n = [(N(n n(+h N(n n (N(n n n( h ] m(n s (n = Γ (n. Analogously, we oban c < c+h, whch proves (5. Dervaon of (6: For < c h we oban ϕ ( σ /µ 3 s ( W, 0 σ,( /µ 3 s ( W, 0 ( (+h c µ (+h c µ = (W,+h W, (W, W, h = L. h (7 The same holds for c + h wh he subscrp exchanged. In he case c h < c we oban ϕ ( σ /µ 3 W, s ( 0 σ,( /µ 3 W, s ( 0 σ = /µ 3 (W,+h W,c + σ /µ3 [(W,c W, (W, W, h ] = L. (8 s ( Analogously, we oban for c < c+h ϕ ( σ /µ 3 σ W,,( /µ 3 W, s ( 0 s ( 0 σ = /µ 3 [(W,+h W, (W, W,c ]+ σ /µ3 (W,c W, h = L. (9 s ( Now le (W 0 be a sandard Brownan moon,.e., (W 0 (W, 0 (W, 0. The process defned n (7, (8 and (9 has connuous sample pahs and s gven as a funcon of ncremens of dsjon nervals of he processes (W, 0 and (W, 0. Therefore, we can om he subscrps one and wo n (7, (8 and (9 and oban a process ha has connuous sample pahs and he same dsrbuon as he former one. By omng he subscrps, we oban he lm process L as defned n equaon (8, whch complees he proof of Proposon.5. A. Proof of Lemma 3. The Proof of Lemma 3. works as follows: The unform convergence (s (n /ŝ (n τh ( τh a.s. s equvalen o he unform convergence ( s (n /ŝ (n τh ( τh a.s. as n. The 5

16 as gven n (5. We defned n (9 and (0. More precsely, we show he unform a.s. convergence of (ˆµ le τh o (µ le τh and (ˆµ r τh o (µ r τh n Lemma A., and he unform a.s. convergence of (ˆσ le τ h o (σle τ h and (ˆσ r τ h o (σr τ h n Lemma A.3. Thus, he asseron of he Proposon holds rue by he srucure of he esmaor ŝ n (5 and he funcon s n (8 and because convergence erms s (n are funcons of he esmaors ˆµ le, ˆµ r,ˆσ le and ˆσ r show he unform a.s. convergence o her counerpars µ le,µ r,σle and σ r and ŝ (n of sums and producs of càdlàg-valued funcons n supremum norm s preserved when he lms are consan. For compleeness of he proof, we show he conssency of he esmaors ˆµ le and ˆµ r n Lemma A. and he conssency of ˆσ le and ˆσ r n Lemma A.3. For ha we frs show a funconal verson of he SLLN n he followng Lemma. Lemma A.. For he counng process (D[h,T h],d as n almos surely N(n n(+h N(n n τh N(n n n( h ha corresponds o he process Φ (n, holds n τh (, (30 µ r (h, τ h (. (3 µ le (h, τ h Proof: Oulne: We show he convergence of he rgh wndow half as saed n (30. The saemen for he lef wndow half follows analogously. Frs, we show ha for all 0 and all h > 0 holds almos surely as n n(+h N(n n µ r (h,. (3 Then, by a dscrezaon argumen hs resul s exended o hold rue n (D[h,T h],d, as saed n (30. Dervaon of (3: In order o show he convergence n (3, we dsngush beween hree cases. Frs assume c h. Here, for all n =,,..., he correspondng wndow (n,n(+h] les lef of he change pon nc. Thus, he counng process compleely refers o he frs RP Φ (µ,σ,.e., n = N,n, whle (N, 0 denoes he counng process assocaed wh Φ. Then, can be shown ha holds almos surely for n n(+h N(n n = N,n(+h N,n µ = µ r (h,, (33 compare e.g., Messer e al. (04. An analogous saemen holds for > c. For (c h,c], he rgh wndow half refers parally o Φ and Φ. The secon (n,nc] refers o Φ and he secon (nc,n( + h] corresponds o Φ. Thus, we decompose 6

17 n(+h N(n n = (N,n(+h N,nc +(N,nc N,n. We oban almos surely for n n(+h N(n n = (N,n(+h N,nc +(N,nc N,n = +h c N,n(+h N,nc + c h n(+h c h +h c + c = h µ h µ In oal, he convergences (33 - (34 yeld (3. N,nc N,n n(c µ r (h,. (34 Dervaon of (30: In order o show ha also convergence n (D[h,T h],d holds, we even show he convergence n (30 on [0,T h]. I s suffcen o show ha almos surely lm sup n [0,T h] n(+h N(n n /µ r (h, and lm nf n [0,T h] n(+h N(n n /µ r (h,. (35 We show he lef nequaly of (35. The rgh one follows analogously. We use a dscrezaon argumen. For x R le x := x +. For ε > 0 wh T/ε N we decompose he me nerval (0,nT] no equdsan secons of lengh nε (Fgure 5. Then we observe a se S ε := {(knε,knε + n h/ε ε] : k = 0,,...,T/ε h/ε } of fnely many wndows of sze n h/ε ε. The wndows of S ε are slghly larger han and for every (0,T h] we fnd an elemen of S ε ha overlaps he wndow (,n(+h] (blue wndow n Fgure 5. We bound sup [0,T h] /µ r (h, n(+h N(n n max k=0,,...,t/ε h/ε knε+n h/ε ε N(n knε /µ r (h,kε. (36 Now we make use of he fac ha he convergence n (30 holds rue for a fne number of wndows. By leng n he rgh hand sde of (36 converges o +δ ε, wh δ ε max(µ,µ mn(µ,µ h/ε ε h. h The expresson δ ε > 0 accouns for he addonal poron ha resuls from he enlarged wndows. Then, by leng ε 0 he summand δ ε vanshes, whch yelds he frs nequaly n (35. Analogously, for he lower bound of (35 we fnd fnely many smaller wndows of lengh n( h/ε ε, such ha every wndow (,n(+h] conans such a smaller wndow (red wndow n Fgure 5. Then, he lm of he nfmum can be bounded from below by δ ε wh δ ε > 0 and such ha δ ε 0 as ε 0. Here, δ ε refers o he poron ha s no covered by choosng he fnely many wndows o be slghly smaller han he rue wndow sze. Nex, we show he unform a.s. convergences (ˆµ r (,n τh (µ r (h, τh and (ˆµ le (,n τh (µ le (h, τh as n. The esmaors are gven as ˆµ r = ˆµ r (,n = n(+h N(n n n(+h ξ = n + (n, f n(+h N(n n >, 7

18 n n(+h ( ] ( ] ( ] 0 nε nε 3nε 4nε 5nε nt Fgure 5: Schemac represenaon of he dscrezaon of he me horzon (0,nT] no equdsan secons of lengh nε. All wndows of lengh (black are conaned n one of fnely many wndows of lengh n( h/ε +ε (blue and conan one of fnely many wndows of lengh n( h/ε ε (red. By leng ε 0, he sze of he fnely many blue and red wndows ges arbrarly close o he rue wndow sze. and ˆµ r = 0 oherwse and ˆµ le s gven analogously. Lemma A.. For he esmaors ˆµ r (,n and ˆµ le (,n as gven n (5, holds n (D[h,T h],d as n almos surely (ˆµ r (,n τh (µ r (h, τh, (37 (ˆµ le (,n τh (µ le (h, τh. (38 Proof: We show he convergence of he rgh wndow half as saed n (37. The asseron for he lef wndow half follows analogously. We proceed as n he proof Lemma A.. Frs, we show ha for all 0 and h > 0, holds almos surely as n n(+h (n ξ = n +, (39.e., he sum of he lfe mes n he wndow half asympocally equals he wndow lengh. Then, hs resul s exended o (D[h,T h],d o conclude he convergence n (37. Dervaon of (39: Asseron (37 has been shown n Messer e al. (04 o hold for he ndvdual processes Φ j (µ j,σj. Therefore, as we show (37 for he rgh wndow half, convergence (39 holds rue for (0,c h] and c. For (c h,c], he rgh wndow half conans pars of Φ and of Φ. We herefore decompose (n,n(+h] = (n,nc] (nc,n(+h]. The secon (n,nc] refers o Φ and he secon (nc,n(+h] corresponds o Φ. The lfe me a he change pon c resuls from Φ and Φ, and we herefore bound N,nc =N,n + ξ, + N,n(+h =N,nc + ξ, n(+h (n ξ = n + N,nc + =N,n + ξ, + N,n(+h =N,nc + ξ,, (40 whch allows o use he properes of he ndvdual processes. For he rgh hand sde n (40 8

19 holds as n n(+h (n c h ξ = n + (c h n(c + +h c h N,nc + =N,n + =. ξ, + +h c h n(+h c N,n(+h =N,nc + Analogously we oban he lower bound, such ha asseron (39 holds rue. Dervaon of (37: In order o show convergence (39 n (D[h,T h],d we even prove on he nerval [0,T h]. For ha, we show ha almos surely lm sup n [0,T h] n(+h ξ = n + (n and lm nf n [0,T h] n(+h ξ = n + ξ, (n. (4 We show here he lef nequaly of (4. We use he same dscrezaon argumen as n he proof of Lemma A. and decompose he nerval (0,nT] no equdsan secons of lengh nε (Fgure 5. Then we bound sup [0,T h] n(+h (n ξ = n + max k=0,,...,t/ε h/ε h/ε ε h h knε+n h/ε ε = knε + max k=0,,...,t/ε h/ε ξ (n knε+ = knε The frs summand ends o zero as ε 0 and s ndependen of n. Furher, for every ε > 0, he second summand converges o uny almos surely as n, accordng o equaon (39. Thus, he frs nequaly n (4 holds. The second nequaly n (4 can be shown smlarly. Thus, convergence (39 holds n (D[h,T h],d, and ogeher wh Lemma A. he asseron (37 holds rue by Slusky s Theorem. TofnshheproofofLemma3.,weneedoshowheunforma.s.convergences(ˆσ r (,n τ h (σr (h, τ h and (ˆσ r (,n τ h (σr (h, τ h as n. The esmaor ˆσ r s gven as ξ (n. ˆσ r(,n = n(+h N(n n n(+h = n + (, ξ (n (n ˆµ(, n f N n(+h N(n n >, and ˆσ r = 0 oherwse. Smlarly ˆσ le s gven. Lemma A.3. For he esmaors ˆσ r (,n and ˆσ le (,n as gven n (5 holds n (D[h,T h],d as n almos surely (ˆσ r (,n τ h (σ r (h, τ h, (4 (ˆσ le (,n τ h (σ le (h, τ h. (43 9

20 Proof: Agan we show he convergence of he rgh wndow half as gven n (4, whle he saemen for he lef wndow half follows analogously. Frs, we show ha for all 0 and h > 0, holds almos surely as n µ r (h, n(+h = n + ( ξ (n ˆµ r (,n σ r (h,. (44 Then, hs resul s exended o (D[h,T h],d whch yelds (4. Dervaon of (44: In he followng, le ˆµ j,r (,n denoe he esmaor ha corresponds o Φ j (µ j,σj. As before, ˆµ r (,n denoes he esmaor ha refers o he compound process Φ (n. Noe ha (44 was shown n Messer e al. (04 o hold for he ndvdual processes Φ j (µ j,σj. Therefore, as we show (4 for he rgh wndow, (44 holds for (0,c h] and c. For he remanng case (c h,c], we recall ha he rgh wndow half parally corresponds o Φ and Φ. Agan, we decompose (n,n(+h] = (n,nc] (nc,n(+h], where he secons (n,nc] and (nc,n(+h] refer o Φ and Φ, respecvely. We decompose µ r (h, = n(+h = n + ( ξ (n ˆµ r (,n (c µ r(h, µ hµ n(c,nc + (+h cµ r(h, µ hµ n(+h c =,n + (ξ, ˆµ r(,n,n(+h =,nc + (ξ, ˆµ r(,n +o a.s. ( (45 The erm o a.s. ( accouns for he summand ha corresponds o he sngle lfe me ξ (n N nc (n + ha overlaps he change pon and ha s no respeced n he frs wo erms of (45. By Borel-Canell Lemma, he sequence {(ξ (n ˆµ r(,n /} N nc (n n=,,... can be shown o + vansh almos surely for n and s herefore abbrevaed wh o a.s. (. For he frs 0

21 summand, we fnd almos surely as n µ n(c = =,nc =,n + (ξ, ˆµ r(,n µ n(c µ n(c,nc =,n + ([ξ, ˆµ,r(n(c,n] + [ˆµ,r(n(c,n ˆµ r(,n],nc =,n + [ξ, ˆµ,r(n(c,n] +[ˆµ,r (n(c,n ˆµ r (,n] µ n(c,nc =,n + [ξ, ˆµ,r(n(c,n] + µ (,nc n(c N(n,n [ˆµ,r (n(c,n ˆµ r (,n] σ +(µ µ r (h,. The frs summand n (46 shows he a.s. convergence o σ because refers only o Φ. The second summand n (46 vanshes a.s. snce he lef erm converges a.s. accordng o Lemma A. and he rgh erm ends o zero a.s. accordng o Lemmas A. and A.. The hrd summand n (46 ends o (µ µ r (h, a.s., snce he erm n he squared brackes converges o (µ µ r (h, a.s. accordng o Lemma A., whle he scaled counng process converges o uny a.s. due o Lemma A.. An analogous resul can be obaned for he second summand of (45 whch yelds almos surely for n µ r (h, n(+h = n + ( ( ξ (n (c µr (h, ˆµ r (,n [σ +(µ µ r (h, ] hµ (46 ( (+h cµr (h, + [σ +(µ µ r (h, ], hµ and elemenary calculaons yeld equaly o σr (h,. The convergence n (44 can be concluded usng an analogous dscrezaon argumen as n he proofs of Lemmas A. and A., such ha he asseron (4 can be concluded.