arxiv: v1 [math.pr] 24 Sep 2015

Transcription

1 RENEWAL STRUCTURE OF THE BROWNIAN TAUT STRING EMMANUEL SCHERTZER rxiv: v [mh.pr] 24 Sep 25 Absrc. In recen pper [LS5], M. Lifshis nd E. Seerqvis inroduced he u sring of Brownin moion w, defined s he funcion of miniml qudric energy on [, T ] sying in ube of fixed widh h > round w. The uhors showed Lw of Lrge Number L.L.N. for he qudric energy spen by he sring for lrge ime T. In his noe, we exhibi nurl renewl srucure for he Brownin u sring, which is direcly reled o he ime decomposiion of he Brownin moion in erms of is h-exrem s firs inroduced by Neveu nd Pimn [NP89]. Using his renewl srucure, we derive n expression for he consn in he L.L.N. given in [LS5]. In ddiion, we provide Cenrl Limi Theorem C.L.T. for he flucuions of he energy spen by he Brownin u sring.. Inroducion nd Min Resuls Le AC[, b] denoe he se of bsoluely coninuous funcions defined on [, b], nd f,[,b] denoe he supremum of he funcion f over [, b]. Given T, h > nd coninuous funcion w, he u sring ssocied wih w is he funcion such h for every sricly convex funcion c, i is he unique soluion of he following minimizion problem { } T Min c ϕ u du : ϕ AC[, T ], ϕ = w, ϕt = wt, w ϕ,[,t ] h, 2 Ineresingly, he soluion of he ler minimizion problem does no depend on he choice of c see Proposiion 6.2 for more deils. In recen pper [LS5], M. Lifshis nd E. Seerqvis sudied he long ime behvior of he u sring consruced round he smple ph of Brownin moion. Using n rgumen bsed on concenrion inequliy for Gussin processes, hey showed h if w is Wiener process smple ph, hen here exiss non-explici consn C such h 2 lim T T η T u 2 du = C.s., where η T denoes he u sring ssocied wih he ph w on he inervl [, T ]. As hey pu i, he consn C shows how much qudric energy n bsoluely coninuous funcion mus spend if i is bounded o sy wihin cerin disnce from he rjecory of w. The im of his noe is o provide generlizion of heir resul. We will show h n nlogous resul holds for lrge clss of penlizion funcion c, i.e. h for very generl clss of funcions c, here exiss C c such h 3 lim T T cη T u du = C c.s..

2 2 EMMANUEL SCHERTZER Figure. Peks nd vlleys of he funcion w. In ddiion, we provide semi-explici expression for he consn C c, nd n esime for he flucuions of he energy round his limiing vlue. Our resul is bsed on decomposiion of he Brownin moion in erms of is h-exrem h ws firs proposed by Neveu nd Pimn [NP89] nd h we now expose. Le us inroduce wo sequences of imes { n w} n { n } n nd { n w} n { n } n : we firs se, =, nd for n, nd 2n+ = inf{ 2n : w inf [ 2n,] w = h} 2n+2 = inf{ 2n+ : sup w w = h} [ 2n+,] 2n+ = sup{ [ 2n, 2n+ ] : inf [ 2n,] 2n+2 = sup{ [ 2n+, 2n+2 ] : sup [ 2n+,] w = w} In oher words, 2n+ resp., 2n+2 is he sring ime of he firs upper resp., lower subexcursion of heigh h fer ime 2n resp., 2n+, see Fig.. Following he erminology of Neveu nd Pimn [NP89], he w n s correspond o he h-exerm of he funcion w, wheres he imes n s cn be hough of s delimiing he successive peks nd vlleys of heigh nd deph greer hn h formed by he ph w. In [NP89], he uhors proved h his decomposiion is nurl for he Brownin moion: for Wiener smple ph w, he sequence of phs { n w n + u w n ; u n+ n } n is sequence of i.i.d. rndom vribles. From Proposiion 6. in he Appendix, for every i, here exiss unique soluion o he following minimizion problem i+ Min{ ϕ u 2 du : ϕ ACI i, i ϕ i = w i i h 2, ϕ i+ = w i+ + i h 2, w ϕ,i i h 2 },

3 RENEWAL STRUCTURE OF THE BROWNIAN TAUT STRING 3 where I i := [ i, i+ ]. We denoe his elemen by ψ i. The following heorem shows h he Neveu nd Pimn s decomposiion is lso nurl for he u sring. be he sso- Theorem.. Le w be coninuous funcion deerminisic or rndom nd le η T cied u sring on [, T ]. Le NT = sup{n : n T }. If NT 4, he u sring η T nd he funcion ψ i coincide on [ i, i+ ] for every 2 i NT 2. We noe in pssing h he previous resul implies he i s for 2 i NT re kno poins for he u sring, i.e., h he sring his he boundry of he ube hose imes. Le w be he smple ph of Brownin moion. Since he sequence { n w n + u w n ; u n+ n } n is sequence of i.i.d rndom vribles, he ler resul implies les informlly h he Brownin u sring on [ 2, NT ] is obined by psing ogeher independen copies of he rndom ph ψ up o chnge of sign. Using sndrd limi heorems, we cn hen leverge his inrinsic renewl srucure o derive L.L.N. nd C.L.T. for he long ime behvior of he energy spen by Brownin u sring. Theorem.2. Le h, T >. lim x cx/x α =. Define Le c be loclly bounded funcion, nd α be such h τ = 4 2, E = 3 2 c ψ 2u du c ψ 3u du. If w be he smple ph of Brownin moion, hen τ nd E hve ll finie momens. 2 T T c η T u du EE/Eτ.s.. 3 T c η T ˆσ 2 T u du T EE Eτ where Z is sndrd norml rndom vrible nd ˆσ 2 = Z in disribuion, EE2 VrE EE 3 Vrτ + 2Covτ, E Eτ Eτ Eτ 2 Ouline of he pper. The res of he pper will be orgnized s follows. In Secion 2, we give proof of Theorem. nd show some echnicl resuls h will be useful o conrol he momens of E nd τ. In Secion.2, we give n ouline of he proof of Theorem.2, nd pospone echnicl deils o ler secions. More precisely, in Secion 4, we conrol he momens of E nd τ nd show some ighness resuls. In Secion 5, we prove n exension of he C.L.T. for renewl processes. Finlly, in he Appendix, we show some resuls reled o he u sring in deerminisic seing.

4 4 EMMANUEL SCHERTZER 2. Proof of Theorem. In his secion, we prove Theorem.. Along he wy, we lso prove resul h will be insrumenl in conrolling he momens of τ nd E. In he following, c will denoe n even, sricly convex funcion. Lemm 2.. Le f be coninuous funcion such h f =. Le V f nd le Ψ be he unique minimizer of Min{ Then Ψ = f + h 2 V cϕ u du : ϕ AC[, V ], f ϕ,[,v ] h 2 }. Proof. The exisence nd uniqeness of Ψ re given by Proposiion 6. in he Appendix. Nex, we need o show h for ny bsoluely coninuous funcion ϕ, such h ϕ f,[,v ] h/2, we cn consruc n bsoluely coninuous funcion ϕ such h ϕ sys in he ube of widh h round f i.e., such h ϕ f,[,v ] h/2, 2 we hve he following boundry condiion ϕ = f + h/2 nd finlly, 3 ϕ hs lower c-energy: V c ϕ udu V cϕ udu. We firs clim h for every dmissible funcion ϕ i.e., ϕ is AC nd sisfies condiion bove, here exiss s [, f] such h ϕs = f + h/2. This simply follows from he fc h for every ϕ AC[, V ] ϕ f + h/2 nd ϕ f f f h/2 = f + h/2, where we used he fc h f =. This yields he exisence of s in [, f] such h ϕs = f + h/2, s climed erlier. Le us now consider he bsoluely coninuous ϕ defined on [, V ] s follows: ϕu = u [,s] f + h/2 + u [s,v ] ϕu. From he definiion of f, i is srighforwrd o check h his funcion is gurneed o sy in he ube of widh h. Furhermore, since he minimum of c is ined, we hve: V which ends he proof of our lemm. c ϕ udu V cϕ udu, Corollry 2.2. For every i, ψ i is he unique minimizer of he free-boundry problem Min{ i+ i cϕ u du : ϕ ACI i, w ϕ,ii h 2 }, Proof. Le Q be he minimizer of he minimizion problem described bove whose exisence nd uniqueness is gin gurneed by Proposiion 6... We clim h i is enough o show h 4 Q i = w i i h 2, nd Q i+ = w i+ + i h 2.

5 RENEWAL STRUCTURE OF THE BROWNIAN TAUT STRING 5 In order o see his, we firs noe h hose ideniies will direcly imply h Q coincides wih he unique elemen in i+ Argmin{ cϕ u du : ϕ ACI i, i ϕ i = w i i h 2, ϕ i+ = w i+ + i h 2, w ϕ,i i h 2 }. By Proposiion 6.2 in he Appendix, his implies h Q is lso he unique minimizer of he minimizion problem obined by replcing c by ny sricly convex funcion c in he ler expression. In priculr, i is soluion of he following minimizion problem: Min{ i+ i ϕ u 2 du : ϕ ACI i, ϕ i = w i i h 2, ϕ i+ = w i+ + i h 2, w ϕ,i i h 2 }, which yields ψ i = Q. I remins o show he wo ideniies in 4. We sr by showing he firs equliy. Define fu = i+ wu + i for u [, i+ i ]. In he following, we will use he following noion θ i = i f, θi = i f wheres we recll h he i s re defined wih respec o he funcion w, i.e., i i w. Noe h under hose noions, we hve θ = nd θ 2 = i+ i. Le us now consider Ψ he unique minimizer of θ2 Min{ cϕ u du : ϕ AC[, θ 2 ], f ϕ,[, θ2] h 2 }. nd le Ψu = i+ Ψu i for every u [ i, i+ ]. Using he fc h c is even, one cn redily check from he definiion h Ψ belongs o Argmin{ i+ i cϕ u du : ϕ AC[ i, i+ ], w ϕ,[ i, i+] h 2 } nd is herefore he unique minimizer of he corresponding vriionl problem. As consequence, i coincides wih Q. On he oher hnd, since θ 2 > θ nd θ =, he previous lemm implies Ψ = f + h 2 nd hus Q i = i+ Ψ = w i + i+ h 2. Le us now urn o he second equliy. Agin, he ide is o use he previous lemm on suibly chosen funcion. Define gu = i w i+ u on [, i+ i ]. Finlly, define τ i = i g nd τ i = i g. By consrucion, τ = nd i is srighforwrd o check h i+ i τ. Thus, denoing by ˆΨ he unique soluion of he minimizion problem Min{ i+ i cϕ u du : ϕ AC[, i+ i ], g ϕ,[, i+ i] h 2 }, we mus hve ˆΨ = g + h 2. On he oher hnd, he funcion i ˆΨ i+ u on he inervl [ i, i+ ] coincides wih Q by he sme rgumen s bove. Combining his fc wih ˆΨ = g + h 2 yields he desired resul.

6 6 EMMANUEL SCHERTZER Proof of Theorem.. Le us consider Φ defined on [, h coincides wih ψ i on he inervl [ i, i+ for i. We clim h he funcion Φ is soluion of he following free-boundry minimizion problem: NT Min{ ϕ u 2 du : ϕ AC[, T ], w ϕ,[,t ] h 2 }. for every T such h NT. Firs, he condiion w Φ,[,T ] h/2 is obviously sisfied. Furher, Φ is bsoluely coninuous on [, ] becuse of he boundry condiions imposed on he ψ s. Furhermore, for every ϕ AC[, NT ]: NT ϕ u 2 du = = NT i= NT i= NT i+ i i+ i Φ u 2 du ϕ u 2 du ψ iu 2 du where he inequliy follows from Corollry 2.2 wih cx = x 2. Hence, Φ is soluion of he free-boundry minimizion problem described bove. Nex, we clim h for every inervl [ i, i+ ], i NT, here mus exis les one v i [ i, i+ ] such h η T v i = Φv i. Le us firs ssume h i is even. Since i resp., i+, he funcion ψ i is he lower resp., upper boundry of he ube of widh h surrounding w, we mus hve η T i Φ i, nd η T i+ Φ i. nd he previous clim flows in he cse where i is even. The odd cse cn be reed long he sme lines. Nex, recll h he u sring η T is he unique soluion of he minimizion problem: Min{ ϕ u 2 du : ϕ AC[, T ], ϕ = w, ϕt = wt, w ϕ,[,t ] h 2 }. Thus, he resricion of η T nd Φ on he inervl [v, v NT ] mus be soluion of he following minimizion problem : vnt Min{ ϕ u 2 du : ϕ AC[v, v NT ], v ϕv = η T v = Φv, ϕv NT = η T v NT = Φv NT, w ϕ,[v,v NT ] h 2 }. Since here is unique soluion o he ler minimizion problem gin by Proposiion 6., i follows h η T nd Φ coincide on he inervl [v, v NT ]. Finlly, since [ 2, NT ] [v, v NT ], his ends he proof of Theorem.2.

7 RENEWAL STRUCTURE OF THE BROWNIAN TAUT STRING 7 3. Proof of Theorem.2 In his secion, we give n ouline of he proof of Theorem.2, nd pospone echnicl deils o ler secions. Firs, i is sufficien o show wek version of our L.L.N.. Indeed, one cn exend cour onvergence in probbiliy semen o convergence.s. semen by using he sme rgumen presened in Theorem.2. in [LS5]. When NT 4, Theorem. implies h Le us define cη T udu = 2 cη T udu + Y i = 2i+ NT 2 i=2 2i cψ 2iudu + i+ i cψ iudu + 2i+2 2i+ cψ 2i+udu NT cη T udu. nd le N T = sup{n : 2n T }. Agin ssuming h NT 4, lile bi of lgebr yields wih RT = cη T udu = 2 cη T udu + N T i= Y i + RT, N cη T udu 5 {NT is even} NT NT cψ NT udu. In Secion 4, we show h {RT } T is igh see Corollry 4.5 which implies h RT / T nd RT /T converges o in probbiliy s T. As consequence, we only need o show he L.L.N. nd he C.L.T. for he quniy N T i= Y i. We sr wih he L.L.N. second iem of Theorem.2. Wrie N T Y i. = T i= N T N T i= Y i N T T. Firs, { 2i+2 2i } i is sequence of i.i.d. rndom vribles, nd in Corollry 4.3, we shll prove h is elemens hve ll finie momens. A sndrd renewl heorem implies h N T T converges.s. o /E 4 2. Secondly, he sequence { i wu + i w i, u [, i+ i ]} i is sequence of i.i.d. rndom vribles. This implies h {Y i } i is lso mde of i.i.d. rndom vribles. Finlly, we shll prove ler h Y i hs ll finie momens see gin Corollry 4.3 below. Our L.L.N. hen follows by direc pplicion of he srong L.L.N. nd by noing h N T goes o s T. In order o prove our C.L.T., we will need o prove resul on renewl processes h we now expose. Le {X i, τ i } be n i.i.d. sequence of possibly correled pirs of non-negive rndom vribles wih respecive finie non-zero expeced vlue τ nd X, finie nd non-zero sndrd deviion σ τ nd σ X nd covrince σ X,τ. Define n n S n = τ k, nd U n = X k. k= k=

8 8 EMMANUEL SCHERTZER nd Ñ = sup{n : S n }. The following resul is n exension of Anscombe Theorem [A52]. Proposiion 3.. lim UÑ X/ τ σ 2 where Z is sndrd norml rndom vrible nd σ 2 = X 2 τ 3 σ2 τ + σ2 X τ = Z in disribuion, 2σ X,τ Tking X i = 2i+ 2i cψ 2i udu + 2i+2 2i+ cψ 2i+ udu nd τ i = 2i+2 2i in he ler proposiion, yields he hird pr of Theorem.2. X τ 2 4. Momen Esimes nd Tighness. 4.. Momens of E nd τ. We sr wih some preliminry work. Define σ = nd for n, σ n = inf{ σ n : w wσ n = h/4}. By he srong Mrkov propery, we noe h σ n σ n ; n is sequence of i.i.d. rndom vribles. Lemm 4.. For every p Z, Eσ p <. Proof. The cse p N is well known. Le us focus insed on he cse where p <, i.e., for n N, le us prove h E/σ n <. Firs, E/σ n = n = n x n P /σ > xdx x n P σ < x dx. We hen need o esime he sympoic behvior of P σ < y when y goes o. Momenrily, we mke he dependence in h explici in he noions by wriing σ n = σ h n. By Brownin scling nd symmery, By sndrd lrge deviion esimes, P σ h < y = P σ h/ y < lim y 6y/h2 2P mx [,] w h 4 y. log P mx [,] w h 4 y = 2. I follows h P σ h < y decreses exponenilly fs o s y, nd hus h E/σ h n is finie. For n, define n = 4 h wσ n wσ n.

9 RENEWAL STRUCTURE OF THE BROWNIAN TAUT STRING 9 Figure 2. Red poins represen ime poins of he form σ 4k. n = 3 nd n 2 = 5. In his exmple, { n, n } is sequence of i.i.d. rndom vribles, independen of he σ n s, nd P n = ± = /2. From he sequence { n } n, define sequence of ineger {n k } k s follows: n = nd n k = inf{i n k : 4i = 4i = 4i 2 = 4i 3 = k+ }. Noe h if 4nk = resp., 4nk =, he ph w experiences n upcrossing resp., downcrossing of size h on he inervl [σ 4nk, σ 4nk ]. In priculr, on he inervl [, σ 4n2 ], he ph w mus hve experienced n upcrossing nd hen downcrossing of size lrger or equl o h. See Fig. 2. This moives he following lemm. Lemm σ 4n2. Proof. Le i k be he index such h σ 4nk [ ik, ik +. I is sufficien o show h i, nd 2 i i 2. Le us firs del wih. By definiion of n, we mus hve wσ 4n inf [,σ4n ] w h, which implies h σ 4n. Since, we ge h σ 4n nd hus i. We now proceed wih 2. We clim h if k is such h 4nk =, hen σ 4nk does no belong o [ i, i+ for every odd ineger i. Recll h if i is odd i+ = inf{u i : sup w wu = h}, nd i+ = sup{u i [ i,u] : sup w = wu} [ i,u] On he one hnd, i is esy o check h w ins is only minimum i on he inervl [ i, i+ ]. On he oher hnd, on he inervl [σ 4nk, σ 4nk ], w ins is minimum σ 4nk since σ4nk = = σ4nk 3 =. Thus, if σ 4n k [ i, i+ ], we would hve σ 4nk i nd sup w wσ 4nk = sup w wσ 4nk [ i,σ 4nk ] [ i,σ 4nk ] sup w wσ 4nk = h, [σ 4nk,σ 4nk ] where he firs equliy follows from he fc h sup [ i, i] w = w i since i is odd. The ler inequliy would imply h σ 4nk i+ > i+, hus yielding conrdicion. By symmeric rgumen, if k is such h 4nk =, hen σ 4nk / [ i, i+ ] when i even. By definiion of n nd n 2, σ4n σ4n2 nd hus, σ 4n nd σ 4n2 cn no belong o he sme inervl [ i, i+ ]. This chieves he proof of clim 2 mde erlier, nd he proof of our lemm.

10 EMMANUEL SCHERTZER Corollry 4.3. The rndom vribles hve ll finie momens. τ = 4 2 nd E = 3 2 cψ 2udu cψ 3udu Proof. Firs, 4 2 is equl in disribuion o he sum of wo independen copies of 2. Thus, conrolling he momens of 4 2 mouns o conrolling he momens of 2. Le p N. From he previous lemm, we hve E 2 p Eσ p 4n 2. By he srong Mrkov propery nd by symmery, he rndom vrible σ 4n2 is equl in disribuion o he sum of 2 independen copies of σ 4n. Thus, i is enough o show h Eσ 4n p <. Nex, 6 Eσ 4n p = n E[ 4n i= σ i p ] P n = n, where we used he independence beween he n k s nd he σ i s. I is srighforwrd o check h {n k n k } k is sequence of independen geomeric rndom vribles wih prmeer /2 4. I hen follows h he il of n decreses exponenilly fs. Since σ hs ll finie momens by Lemm 4., he ler ideniy implies h 2 lso hs ll finie momens. Le us now proceed wih he second erm. We will show h 2 cψ udu hs ll finie momens. The momens of 3 2 cψ 2udu cn be conrolled long he sme lines. Recll h we mde he ssumpion h c is loclly bounded nd h here exiss α > such h lim x cx/ x α =. We will ssume wihou loss of generliy h α >. Le m, M be such h cx m+m x α for every x R, so h 2 cψ udu m 2 + M 2 ψ u α du. Since 2 hs ll finie momens, i remins o conrol he momens of 2 ψ u α du. In order o del wih his erm, we will use he so-clled free-kno pproximion inroduced in [LS5]: Le us consider he funcion φ obined by liner inerpolion of he poins σ n, wσ n n. In pricur, his funcion is consruced in such wy h φ w,[, h/2. From Corollry 2.2, ψ is he unique minimizer of nd hus Argmin{ 2 ϕ u α du : ϕ AC[, 2 ], w ϕ,i h 2 }, 2 ψ u α du 2 σ4n2 φ u α du φ u α du,

11 RENEWAL STRUCTURE OF THE BROWNIAN TAUT STRING where he ls inequliy is direc consequence of Lemm 4.2. Furher, This yields for ny p N E 2 σ4n2 ψ u α du p φ u α du = h 4n 2 4 α σ i σ i α. h 4 αp E i= 4n2 i= p σ i σ i α. Using Lemm 4. nd gin he fc h n, n 2 n re independen geomeric rndom vribles independen of he σ i s s in 6, we ge h 2 ψ u α du hs ll finie momens. This ends he proof of he lemm. We now urn o he ighness of {RT } T s defined in Tighness of RT. Lemm 4.4. The sequences of rndom vribles { } { T } NT cη T udu nd cψ NT udu NT NT re igh. T Proof. Sep. We sr by reclling sndrd resul from renewl heory. Define i = i+ i. i is obviously non-lice nd from he previous subsecion, i hs finie firs finie momen. Since he i s form sequence of i.i.d. rndom vribles, from [M74], he rndom sequence T NT, NT,, NT k +, converges in he sense of finie dimensionl disribuions o he sequence u, δ,, δ k, where he δ i s re independen; for i he r.v. δ i is disribued s 2 ; δ hs he size bised disribuion: Efδ = fup 2 > udu E 2 R + for every es funcion f i.e., infiniely differenible wih compc suppor. Finlly, u is independen of he δ i s wih i, bu condiioned on δ, u is uniform rndom vrible on [, δ ] in he renewl erminology, u hs he bckwrd recurrence ime disribuion. Sep. There exiss m, M nd α > such h cu m + M u α. Thus NT cη T udu mt NT + M T NT η T u α du.

12 2 EMMANUEL SCHERTZER Furher, NT NT cψ NT udu NT m NT NT + M ψ NT u α du NT m NT NT + M mt NT + M NT NT η T u α du NT η T u α du. where he second inequliy is direc consequence of Corollry 2.2. Thus, he wo sequences of ineres re bounded from bove by he RHS of he ler inequliy. Finlly, since Sep bove implies h he firs erm converges in disribuion o mu + δ, i remins o show he ighness of { NT η T u α du} T. Sep 2. Define θt = sup{n : σ n T } nd consider he funcion f T obined by liner inerpolion of he poins {σ k, wσ k } k θt nd T, wt, in such wy h f T is n dmissible funcion for he minimizion problem. From Theorem., for NT 4, we hve η T NT 2 f T NT 2 = w NT 2 f T NT 2 NT 2 h 2 η T NT f T NT = w NT f T NT NT h 2 Since f T nd w mus sy wih disnce h/2 from one noher, he inermedie vlue heorem implies h here exiss u NT 2 [ NT 2, NT ] such h f T u NT 2 = η T u NT 2. Thus, NT η T u α du u NT 2 η T u α du f T u α du f T u α du u NT 2 NT 2 where we lso used he fc h η T minimizes he energy on [, T ], nd hus h η T is lso he only minimizer of Min{ ϕ u α du : ϕ AC[u NT 2, T ], u NT 2 ϕu NT 2 = f T u NT 2, ϕt = f T T, ϕ w,[unt 2,T ] h 2 }.

13 RENEWAL STRUCTURE OF THE BROWNIAN TAUT STRING 3 Le us now ssume h here exiss K lrge enough such h σ θt K NT 2. The previous inequliy implies h NT η T u α du f T u α du σ θt K where σ i = σ i+ σ i. = K k= hα 4 α σθt k σ θt k+ f T u α du + K k= σ θt f T u α du σ θt k+ α + T σ θt α Sep 3. By pplying he sme renewl heorem used in Sep pplied now o he sequence {σ n } n, he RHS of he ler inequliy is igh. Thus, we need o show h lim K lim T P σ θt K NT 2 =. Recll h n = 4 h wσ n+ wσ n. Le us ssume h we cn find < i < i 2 < i 3 < i 4 < K 3 such h = = θt ik 3 = k θt ik so h w experiences downcrossing resp., upcrossing of size h for k odd resp. even on he inervl [θt i k, θt i k 4]. By resonning s in Lemm 4.2, he imes σ θt ik s mus ll belong o disinc inervls [ i, i+ ]. Since θt T, his yields σ θt i4 NT 2. On he oher hnd, by independence of he σ k s nd he k s, he sequence θt +,, θt K +, converges in disribuion o he firs K coordines of n infinie sequence of i.i.d. rndom vribles δ,, δ K, wih P δ i = ± = /2. Since he probbiliy o find 4 indices < i < < i 4 such h = = δ ik 3 = k in he infinie sequence {δ k } is equl o, i follows h lim K Corollry 4.5. The sequence {RT } T is igh. δ ik lim P σ θt K NT 2 =. T Proof. From he devious resul, i remins o conrol he firs erm of RT, i.e., 2 cη T udu. When NT 4, Theorem. implies h η T 2 = w 2 h/2 nd hus he u sring η T resriced on he inervl [, 2 ] mus be he unique soluion of Min{ 2 ϕ u 2 du : ϕ AC[, 2 ], ϕ =, ϕ 2 = w 2 h 2, w ϕ,[, 2] h 2 }. This implies h 2 cη T udu is consn, if T is lrge enough so h NT 4. This obviously enils ighness of he firs erm. This ends he proof of our corollry.

14 4 EMMANUEL SCHERTZER Le [x] denoe he ineger pr of x. Wrie 5. Proof of Proposiion 3. UÑ X = UÑ τ U [ τ ] + U [ τ ] X τ. Our proposiion is direc consequence of he wo following lemms. Lemm 5.. lim UÑ Lemm 5.2. The pir of rndom vribles 3/2 τ Ñ / τ σ τ U [ τ ] XÑ [ τ ], U [ τ ] X τ = in probbiliy, τ/ converges in disribuion o wo dimensionl Gussin rndom vecor wih men nd covrince ρ mrix Σ =, where ρ = σ ρ X,τ /σ X σ τ. σ X Proof of Lemm 5.. Define Z n = U n Xn. Le ɛ, nd define n = [/ τ], n = [/ τ ɛ 3 ], n 2 = [/ τ + ɛ 3 ]. We im showing h Z n ZÑ converges o in probbiliy. P Z n ZÑ > ɛ P Z n ZÑ > ɛ, Ñ [n, n 2 ] + P Ñ / [n, n 2 ] The second erm on he RHS goes o s n goes o by sndrd renewl heorem. As for he firs erm, we use Kolmogorov inequliy, P Z n ZÑ ɛ, Ñ [n, n 2 ] P sup Z u Z n ɛ +P u {n,,n } sup u {n,,n 2 } Z u Z n ɛ EZ 2 ɛ 2 n n + EZ2 n2 n 2σ2 X ɛ 2 τ ɛ3 = 2 σ2 X τ ɛ. Since he RHS goes o wih ɛ, his complees he proof of he lemm. Proof of Lemm 5.2. To ese he noions, we wrie Y = U [ τ ] X τ τ/ σ X

15 RENEWAL STRUCTURE OF THE BROWNIAN TAUT STRING 5 For ny y R nd R +, define n y o be he ineger pr of he unique posiive soluion in x of he equion 7 = x τ + xyσ τ. Le < b, c < d be four rbirry rel numbers. Firs, for every y n y = τ yσ τ / τ 3/2 + o. nd hus here exiss ɛ, ɛ b such h ɛ /, ɛ b / s nd P Ñ [n b, n bστ, Y [c, d] = P Ñ [/ τ + ɛ b στ τ, / τ + ɛ 3/2 τ 3/2 ], Y [c, d] = P 3/2 τ Ñ / τ [ ɛ, b ɛb 8 ], Y [c, d] σ τ where ɛ /, ɛ b / s. Secondly, le us now evlue he lw of he LHS of 8. P Ñ [n b, n, Y [c, d] = P S n b, S n >, Y [c, d] Sn b = P nb τ nb τ S n, σ τ n b σ τ n b = P Sn b nb τ σ τ n b b, S n n τ σ τ n n τ σ τ n >, Y [c, d] > n τ σ τ n, Y [c, d] where he hird inequliy follows direcly from he definiion of n y. Since n, n b / τ, i is emping o use his pproximion in he ler equliy nd wrie P Ñ [n b, n S[/ τ], Y [c, d] P, b], Y [c, d], σ τ / τ More formlly, P Ñ [n b, n, Y [c, d] where = P S[/ τ] σ τ / τ b ɛ b, S [/ τ] > ɛ, Y [c, d] σ τ / τ y =, b, ɛ y = Sn y S [/ τ] τn y / τ + Sn y / τ τny n y We now clim h ɛ nd ɛ b vnish s goes o. Indeed, pplying Mrkov inequliy wice yields h for every δ > P ɛ y > δ δ 2 ny [/ τ] Eτ 2 + ny δ 2 / τ n y 2 Eτ 2 nd hus lim ɛ y = in probbiliy. On he oher hnd, by he mulidimensionl CLT, S [/ τ], Y converges in disribuion o he wo dimensionl gussin vecor wih men nd σ τ / τ.

16 6 EMMANUEL SCHERTZER correlion mrix P Ñ [n b, n, ρ ρ. I hen follows h for every, b, c, d U [ τ ] X τ τ/ [c, d] exp σ X [,b] [c,d] 2 xσ x dλx 2πdeΣ /2 where λ is he Lebesgue mesure on R 2. Combining his wih 8 hen yields our resul. 6. Appendix Proposiion 6.. Le < < b nd c, d R such h c w, d wb h/2. If C is sricly convex funcion hen boh ses b Argmin{ hve unique elemen. Argmin{ b Cϕ d : ϕ AC[, b], w ϕ,[,b] h 2 } Cϕ d : ϕ AC[, b], ϕ = c, ϕb = d, w ϕ,[,b] h 2 } Proof. This is rher sndrd resul in convex nlysis. For proof, we refer o Lemm 2 in [G7]. In his reference, he resul is shown in he priculr cse where Cx = + x 2 wih fixed boundry condiions. We le he reder convince herself h he sme proof pplies for ny convex funcion nd lso for he nlogous minimizion problem wih free boundry condiions. Proposiion 6.2. Le < < b nd c, d R such h w c h/2 nd wb d h/2. Finlly, le V be he unique soluion of he minimizion problem, Min{ b ϕ u 2 du : ϕ AC[, b], ϕ = c, ϕb = d, w ϕ,[,b] h 2 }. For ny sricly convex funcion C, he funcion V is lso he unique minimizer of he following minimizion problem: 9 Min{ b Cϕ u du : ϕ AC[, b], ϕ = c, ϕb = d, w ϕ,[,b] h 2 }, Before proceeding wih he proof of he proposiion, we noe h n nlogous resul in he discree seing cn be found in [SGGHL9] see Theorem 4.35 nd Theorem 4.46 herein. As we shll now see, he ler proposiion is lso implici in Grsmir [G7]. In he following, we fix sricly convex funcion C nd we will denoe by U he unique soluion of 9. We will now show h U nd V mus coincide. Lemm 6.3. If u L [, b] denoes he derivive of U, hen u is of locl bounded vriion on, b, i.e., for every s, [, b] he ol vriion of u on s, is finie. Proof. We follow closely he proof of Proposiion 2 in [G7]. We provide n rgumen by conrdicion. Le us ssume h here exiss, b such h for every δ >, he ol vriion of u on δ, + δ is infinie. We disinguish beween wo cses: eiher Le us firs ssume h U < w + h 2 or U > w h 2. We will only del wih he firs cse, since he second cse is compleely nlogous.

17 RENEWAL STRUCTURE OF THE BROWNIAN TAUT STRING 7 We cn find s δ, + δ such h ess inf{ux, x δ, s} ess sup{ux, x s, + δ} else u would be monoone nd hus of finie vriion. Thus, we cn find T δ, s nd T 2 s, + δ such h T = T 2 > where T i denoes he Lebesgue mesure of he se T i nd ess inf{ux, x T } ess sup{ux, x T 2 }. Define if x T hx = if x T 2 oherwise nd le H = hsds. Since Us < ws + h/2 on δ, + γ, for γ > smll enough, he funcion γh belongs o he se {Y AC, b : Y =, Y b =, U + Y w,[,b] h 2 }, i.e., U + γh is n dmissible funcion for he vriionl problem hnds. Furher, he Gâeu derivive of ϕ b Cϕ xdx evlued U in he direcion H is given by C uxdx C uxdx. T T 2 noe he ler expression is well defined since C is rel convex funcion nd hus is bsoluely coninuous. Since C is sricly incresing, he choice of T nd T 2 induces h his derivive is sricly negive, which conrdics he minimliy of U. This shows h for every wih U < w + h 2, here exiss δ > such h he ol vriion of u on δ, + δ is finie. By symmeric rgumen, one cn show h he sme propery holds when is such h U > w+ h 2. This ends he proof of our lemm. Since u is of locl bounded vriion, here exiss Rdon mesure Du sisfying he relion b ψ xuxdx = b ψxdudx for every funcion ψ Cc, b he se of infiniely differenible funcions wih compc suppor on, b. Le Du denoe he ol vriion of Du see gin [G7] for more deils. Since u is of locl bounded vriion by he previous lemm, he Rdon-Nikodym derivive ddu/d Du L, b is defined Du-lmos surely on, b, nd kes he vlue ±. gin Du lmos surely. For more deils, we gin we refer o [G7]. Lemm 6.4. U sisfies he following consrins U AC, b. 2 U = c, Ub = d. 3 U w,[,b] h/2. 4 u is of bounded locl vriion on, b nd furher U = w + h ddu 2 d Du Du-.s on, b.

18 8 EMMANUEL SCHERTZER When u is smooh funcion, ddu/d Du coincides wih signu. Thus, he ls condiion cn be inerpreed s follows: wy from he boundry of he ube, he funcion U is u i.e. u =, wheres he only possibiliy for he funcion U o bend upwrds resp., downwrds is when U ouches he upper pr of he ube resp., lower pr of he ube, i.e., U = w + h 2 resp., U = w h 2. Proof of Lemm 6.4. The firs hree properies direcly follow from he definiion of U. The previous lemm implies h u is of locl bounded vriion nd i only remins o show h U = w + h ddu 2 d Du Du-.s on, b. Agin we follow closely Proposiion 2 in [G7]. Le, b be Lebesgue poin of he funcion ddu/d Du wih respec o he mesure Du such h ddu/d Du =. We need o show h U = w + h 2. Le us ssume h U < w + h 2. Since is Lebesgue poin wih respec o Du, we hve +δ δ ddu/d Du s Du ds lim = δ Du δ, + δ As consequence, for δ smll enough,we hve u + δ = u δ + +δ δ ddu sd Du s > u δ. d Du As in he previous lemm, his enils he exisence of T δ,, T 2, + δ such h such h T = T 2 > nd ess inf{ux, x T } ess sup{ux, x T 2 }. By he sme resoning s in he previous lemm, his conrdics he minimliy of U, nd hus U = w + h 2. By he sme rgumen, one cn show if, b Lebesgue poin of he funcion ddu/d Du wih respec o he mesure Du such h ddu/d Du =, hen U = w h 2. This complees he proof of our lemm. Proof of Proposiion 6.2. Using Proposiion 3 in [G7], here is unique funcion sisfying he consrins 4 of Lemm 6.4. On he oher hnd, hose consrins do no depend on he sricly convex funcion C hnds. Since x x 2 is lso sricly convex, i follows h U = V. Acknowledgmens. vluble discussions. I m indebed o M. Lifshis for inroducing me o his opic nd for References [A52] F.J. Anscombe. Lrge smple-heory of sequenil esimion. Proc. Cmbridge Phi. Soc., 48, 952, [LS5] M. Lifshis nd E. Seerqvis. Energy of u srings ccompnying Wiener process. Soch. Proc. Appl.,25, 25, [DK] P.L. Dvies, A. Kovc, Locl exremes, runs, srings nd muliresoluion. Ann. Sis. 29, 65, 2. [G7] M. Grsmir. The equivlence of he u sring lgorihm nd BV-regulrizion. Journl of Mhemicl Imging nd Vision. 27, 59 66, 27. [M74] D. R. Miller. Limi heorems for ph-funcionls of regenerive processes. Soch. Process. Appl. 2, 4 62, 974. [MG97] E., Mmmen, S., vn de Geer, S., Loclly dpive regression splines. Ann. Sis. 25, , 997

19 RENEWAL STRUCTURE OF THE BROWNIAN TAUT STRING 9 [NP89] J. Neveu, J. Pimn. Renewl propery of he exrem nd ree propery of one-dimensionl Brownin moion. Sém. de Prob. XXIII, 372, , 989. [SGGHL9] O. Scherzer, M. Grsmir, H. Grossuer, M. Hlmeier, nd F. Lenzen. Vriionl Mehods in Imging. Ser. Applied Mhemicl Sciences 67, Springer, New York, 29.