arxiv:math/ v2 [math.pr] 2 Aug 2007

Transcription

1 arxiv:mah/53386v2 [mah.pr] 2 Aug 27 DOOB S MAXIMAL IDENTITY, MULTIPLICATIVE DECOMPOSITIONS AND ENLARGEMENTS OF FILTRATIONS ASHKAN NIKEGHBALI AND MARC YOR In he memory of J.L. Doob Absrac. In he heory of progressive enlargemens of filraions, he supermaringale Z = P g > F associaed wih an hones ime g, and is addiive Doob-Meyer decomposiion, play an essenial role. In his paper, we propose an alernaive approach, using a muliplicaive represenaion for he supermaringale Z, based on Doob s maximal ideniy. We hus give new examples of progressive enlargemens. Moreover, we give, in our seing, a proof of he decomposiion formula for maringales, using iniial enlargemen echniques, and use i o obain some pah decomposiions given he maximum or minimum of some processes. 1. Inroducion Le Ω, F,F,P be a filered probabiliy space saisfying he usual hypoheses righ coninuous and complee. Given he end L of an F predicable se Γ, i.e L = sup { :,ω Γ}, hese imes are also refered o as hones imes, M. Barlow [4] and Jeulin and Yor [1] have shown ha he supermaringale: Z L = PL > F, chosen o be càdlàg, plays an essenial role in he enlargemen formulae wih respec o L, i.e: in expressing a general F maringale M as a semimaringale in F L, he smalles filraion which conains F, and makes L a sopping ime. This enlargemen formula is: M = M + L d < M,Z > s Z s + L d < M,1 Z > s 1 Z s, 1.1 Dae: Ocober 15, Mahemaics Subjec Classificaion. 5C38, 15A15; 5A15, 15A18. Key words and phrases. Random Times, Progressive enlargemen of filraions, Opional sopping heorem, Maringales. 1

2 2 ASHKAN NIKEGHBALI AND MARC YOR where M denoes an F L,P local maringale. Hence i is imporan o dispose of an explici formula for Z L. In he lieraure abou progressive enlargemens of filraions, no so many examples are fully developed see e.g. for example [27], [9] or [8]; indeed, he compuaion of Z L is someimes difficul. Moreover, he examples are developed essenially in he Brownian seing, where as we shall see, Z L and no examples of disconinuous Z L s are given. is coninuous, In his paper, we firs consider a special family of hones imes g, and hen we laer prove ha his family is generic in he sense ha every hones ime is in fac of his form under some reasonable assumpions. More precisely, we consider he following class of local maringales. Definiion 1.1. We say ha an F local maringale N belongs o he class C, if i is sricly posiive, wih no posiive jumps, and lim N =. Remark 1.2. Le N be a local maringale of class C. Then: S supn s, s is supremum process, is coninuous. This propery is essenial in our paper. Hence, mos of he resuls we shall sae remain valid for posiive local maringales, which go o zero a infiniy, and whose suprema are coninuous. We associae wih a local maringale of class C, he supermaringale N S, and he random ime g defined as: g sup { : N = S } = sup { : S N = }. In Secion 2, we prove ha he associaed supermaringale Z saisfies: Z Pg > F = N S, 1.2 and hen give he decomposiion formula 1.1 in erms of he local maringale N. This will provide us wih some new, and explici examples of such supermaringales Z which are disconinuous. We also esablish some relaionship beween he muliplicaive represenaion 1.2 and he Doob-Meyer addiive decomposiion of Z. In Secion 3, we sudy he problem of he iniial enlargemen of F wih he variable S, and hen give a new proof of 1.1. In Secion 4, we show ha he formula 1.2 is in fac very general. More precisely, for any end of a predicable se L, under he assumpions CA: all F -maringales are coninuous e.g: he Brownian filraion; L avoids every F -sopping ime T, i.e. P [L = T] =,

3 DOOB S MAXIMAL IDENTITY AND EXPANSIONS OF FILTRATIONS 3 he supermaringale Z L = PL > F may be represened as 1.2. In Secion 5, we give some new examples of enlargemens of filraions. Moreover, as an illusraion of our approach and he mehod of enlargemens of filraions, we recover and complee some known resuls of D. Williams [24] abou pah decomposiions of some diffusion processes, given heir minima. We add a new fragmen in hese pah decomposiions, by inroducing a new family of random imes, as defined in [16] and called pseudosopping imes, which generalize he fundamenal noion of sopping imes, inroduced by J.L. Doob. We ake his opporuniy o quoe wo passages, resp. in he appendix of Meyer s book 1966: Les emps d arrê on éé uilisés, sans définiion formelle, depuis le débu de la héorie des processus. La noion apparaî ou à fai clairemen pour la première fois chez Doob en and in Dellacherie-Meyer s book, volume I [6], p.184: 194 Il a sans doue fallu auan de génie aux créaeurs du calcul différeniel pour explicier la noion si simple de dérivée, qu à leurs successeurs pour faire ou le rese. L invenion des emps d arrê par Doob es ou à fai comparable. 2. A muliplicaive represenaion formula 2.1. Doob s maximal ideniy. Le N be a local maringale which belongs o he class C, wih N = x. Le S = sup s N s. We consider: g = sup { : N = S } = sup { : S N = }. 2.1 To esablish our main proposiion, we shall need he following varian of Doob s maximal inequaliy, which we call Doob s maximal ideniy: Lemma 2.1 Doob s maximal ideniy. For any a >, we have: 1 x PS > a = a x Hence, is a uniform random variable on,1. S 2 For any sopping ime T: where P S T > a F T = NT a S T = sup N u. u T 1, 2.3 Hence N T is also a uniform random variable on,1, independen ST of F T.

4 4 ASHKAN NIKEGHBALI AND MARC YOR Proof. Formula 2.3 is a consequence of 2.2 when applied o he maringale N T+u u and he filraion F T+u u. Formula 2.2 iself is obvious when a x, and for a > x, i is obained by applying Doob s opional sopping heorem o he local maringale N Ta, where T a = inf {u : N u > a}. The nex proposiion gives an explici formula for Z Pg > F, in erms of he local maringale N. Wihou loss of generaliy, we assume from now on ha x = 1. Indeed, if N = x, we consider he local maringale N x which sars a 1. Proposiion In our seing, he formula: Z = N, S holds. 2 The Doob-Meyer addiive decomposiion of Z is: Proof. We firs noe ha: Z = E [log S F ] log S. 2.4 {g > } = { u > : S u = N u } = { u > : S N u } { } = supn u S. u Hence, from 2.3, we ge: Pg > F = N To esablish 2.4, we develop Z = 1 + N S 1 S s dn s S. hanks o Io s formula, o obain: N s S s 2dS s. Now, we remark ha he measure ds s is carried by he se {s : Z s = 1}; hence: Z = 1 + N S = dn s S s 1 S s ds s 1 S s dn s log S. From he uniciy of he Doob-Meyer decomposiion, log S is he predicable increasing par of Z whils 1 S s dn s is is maringale par. 1 As Z is of class D, S s dn s is a uniformly inegrable maringale. Now, le : as Z =, log S = S s dn s and hus: which proves S s dn s = E [log S F ], 2.5

5 DOOB S MAXIMAL IDENTITY AND EXPANSIONS OF FILTRATIONS 5 Remark 2.3. I is well known, and i follows from 2.4, ha he maringale in 2.5 is in fac in BMO. Corollary 2.4. Assuming ha all F maringales are coninuous, he following hold: 1 log S is he dual predicable projecion of 1 {g } : for any posiive predicable process k s, ds s E k g = E k s ; S s 2 The random ime g is hones and avoids any F sopping ime T, i.e. P [g = T] =. Proof. Under our assumpions, he predicable and opional sigma algebras are equal. Thus, i suffices o prove ha g avoids sopping imes, he oher asserions being obvious. Since log S is he dual predicable projecion of 1 {g } and is coninuous, hen for any F sopping ime T, Thus we ge P g = T =. E [ 1 {g=t } ] = E [ log S T ] =. We can now wrie he formula 1.1 in erms of he maringale N. Proposiion 2.5. Le X be a local F maringale. Then, X has he following decomposiion as a semimaringale in F g : g X = X d < X,N > s + N s where X is an F g local maringale. g d < X,N > s S N s Proof. This is a consequence of formula 1.1 and Proposiion 2.2. We shall now give a relaionship beween S and E [log S F ]. For his, we shall need he following easy exension of Skorokhod s reflecion lemma see [12], p.72: Lemma 2.6. Le y be a real-valued càdlàg funcion on [,, such ha y has no negaive jumps, and y =. Then, here exiss a unique pair z,a of funcions on [, such ha: 1 z=y+a 2 z is posiive, càdlàg and has no negaive jumps, 3 a is increasing, coninuous, vanishing a zero and he corresponding measure da s is carried by {s : zs = }. The funcion a is moreover given by a = sup ys. s

6 6 ASHKAN NIKEGHBALI AND MARC YOR Proposiion 2.7. Wih µ = E [log S F ], we have: or equivalenly: Proof. From 2.4, we can wrie: From Lemma 2.6, we deduce ha log S = supµ s 1 µ 1, s S = exp µ 1 1 Z = 1 µ + log S. log S = supµ s 1. s 2.2. Some hidden Azéma-Yor maringales. We shall now associae wih he wo dimensional process log S, Z a family of maringales reminiscen of Azéma-Yor maringales see, e.g., [3] which we shall now discuss. In fac, once again, we have o inroduce a slighly generalized version of wha are usually called Azéma-Yor maringales. Indeed, hese maringales were originally defined for coninuous local maringales see [21], Chaper VI, while we would like o define hem for local maringales wihou posiive jumps. This exension can be deal wih he following balayage argumen: Lemma 2.8. Le Y = M + A be a special semimaringale, where M is a càdlàg local maringale, and A a coninuous increasing process. Se H = { : Y = }, and define g sup {s < : Y s = }. Then, for any locally bounded predicable process k, k g is predicable and k g Y = k Y + k gs dy s. 2.6 Proof. The proof is he same as he proof for coninuous semimaringales. The reader can refer o [5], p.144, for even more general versions of he balayage formula. Now, we can sae he following generalizaion of he classical Azéma-Yor maringales: Proposiion 2.9. Le N be a local maringale such ha is supremum process S is coninuous his is he case if N is in he class C. Le f

7 DOOB S MAXIMAL IDENTITY AND EXPANSIONS OF FILTRATIONS 7 be a locally bounded Borel funcion and define F x = x dyf y. Then, X F S f S S N is a local maringale and: F S f S S N = f S s dn s + F S, 2.7 Proof. In 2.6, ake k f S, and Y S N. Then, we have: Bu S g = S, hence: f S g S N = F S f S S N = f S gs ds s N s. In conclusion, for any locally bounded funcion f, is a local maringale. F S f S S N = f S s dn s + F S. f S s dn s + F S, Remark 2.1. Alhough very simple, hese maringales played an essenial role in he resoluion by Azéma and Yor of Skorokhod s embedding problem see [21], chaper VI for more deails and references. Remark In [15], a special case of Proposiion 2.9, for specrally negaive Lévy maringales is obained by differen means. Now, we associae wih he wo dimensional process log S, Z, a canonical family of local maringales which are in fac of he form 2.7. Proposiion Le f be a locally bounded and Borel funcion, and le F x = x dyf y. 1 The following processes are local maringales: F log S f log S 1 Z, Denoing K x = F x 1 and k x = f x 1, hen he local maringales in 2.8 are seen o be equal o: K µ k µ µ µ,. 2.9 Proof. 1. The fac ha 2.8 defines a local maringale may be seen as an applicaion of Io s lemma when f is regular, followed by a monoone class argumen. 2. Formula 2.9 is obained by a rivial change of variables, and he fac ha: 1 Z = µ µ, which was derived in Proposiion 2.7. Remark Similar formulas are derived in [18] from differen consideraions.

8 8 ASHKAN NIKEGHBALI AND MARC YOR 3. Iniial expansion wih S and enlargemen formulae In his Secion, we shall deal wih he quesion of iniial enlargemen of he filraion F wih he variable S. This problem canno be deal wih he powerful enlargemen heorem of Jacod see [9], bu can be reaed by a careful combinaion of differen proposiions in [8]. However, we shall give a simple proof which can also be adaped o deal wih some oher siuaions. Evenually, we will use our resul abou he iniial expansion of F wih he variable S o recover formula 1.1. Le us define he new filraion F σs ε>f +ε σ S, which saisfies he usual assumpions. The new informaion σ S is brough in a he origin of ime and g is a sopping ime for his larger filraion. More precisely: Lemma 3.1. The following hold: 1 g = inf { : N = S }; and hence g is an F σs sopping ime. 2 Consequenly: F g FσS. Proof. 1 The measure ds is carried by he se { : N = S }. As g = sup { : N = S }, he process S does no grow afer g, which also saisfies: hence g is an F σs g = inf { : S = S } ; sopping ime. 2 I is obvious. Now we inroduce some sandard erminology. Definiion 3.2. We shall say ha he pair of filraions F, F σs saisfies he H hypohesis if every F semimaringale is a F σs semi- maringale. We shall now show ha he pair of filraions F, F σs saisfies he H hypohesis and give he decomposiion of a F local maringale in. For his, we need o know he condiional law of S given F. F σs Proposiion 3.3. For any Borel bounded or posiive funcion f, we have: E f S F = f S 1 N N/S N + dxf 3.1 S x = f S 1 N + N dx f x S x 2. S

9 DOOB S MAXIMAL IDENTITY AND EXPANSIONS OF FILTRATIONS 9 Proof. The proof is based on Lemma 2.1; in he following, U is a random variable, which follows he sandard uniform law and which is independen of F. E f S F = E f S S F = E f S 1 {S S } F + E f S 1 {S<S } F = f S P S S F + E f S 1 {S<S } F = f S P U N N + E f 1 n U< N S F = f S 1 N + S N/S dxf U N x A sraighforward change of variable in he las inegral also gives: E f S F = f S 1 N + N dy f y S y 2. S S. S o F One may now ask if E f S F is of he form 2.7. The answer o his quesion is posiive. Indeed: E f S F = f S 1 N + N dy f y S S y 2 = S dy f y y 2 S N dy f y y 2 f S. S Hence, wih and E f S F = H 1 + H S hs S N, hx = h f x x H x = x dy f y y 2 x f x x dy f y y 2, = x S dy f y f x. y2 Moreover, again from formula 2.7, we have he following represenaion of E f S F as a sochasic inegral: E f S F = E f S + Le us sum up hese resuls, inroducing some noaions: hs s dn s. 3.2 λ f E f S F 3.3 = f S 1 N + N dx f x S x 2 ; 3.4 S

10 1 ASHKAN NIKEGHBALI AND MARC YOR and where: λ f = E f S + λ s fdn s, 3.5 λ s f = h f S s. 3.6 Moreover, here exis wo families of random measures λ dx and λ dx, wih such ha λ dx = 1 N S dx δ S dx + N 1 {x>s} x λ dx = 1 dx δ S dx + 1 S {x>s} x 2, 3.8 λ f = λ f = λ dx f x 3.9 λ dx f x. 3.1 Evenually, we noice ha here is an absolue coninuiy relaionship beween λ dx and λ dx; more precisely, λ dx = λ dx ρx,, 3.11 wih ρx, = 1 1 S N {S=x} N {S<x} Now, we can sae he main heorem of his secion. Theorem 3.4. Le N be a local maringale in he class C recall N = 1. Then, he pair of filraions F, F σs saisfies he H hypohesis and every F local maringale X is an F σs semimaringale wih canonical decomposiion: X = X + where X is a d < X,N > s 1 {g>s} F σs N s local maringale. 1 {g s} d < X,N > s S N s, Remark 3.5. The following proof is ailored on he argumens found in [27], alhough our framework is more general: we do no assume ha our filraion has he predicable represenaion propery wih respec o some maringale nor ha all maringales are coninuous. Proof. We can firs assume ha X is in H 1 ; he general case follows by localizaion. Le Λ s be an F s measurable se, and ake > s. Then, for any

11 DOOB S MAXIMAL IDENTITY AND EXPANSIONS OF FILTRATIONS 11 bounded es funcion f, λ f is a bounded maringale, hence in BMO, and we have: E 1 Λs f A X X s = E 1 Λs λ fx λ s fx s Bu from 3.12, we have: ρs, = = E 1 Λs < λf,x > < λf,x > s = E 1 Λs λ u fd < X,N > u = E 1 Λs = E 1 Λs s s s λ u dx ρx,u f x d < X,N > u d < X,N > u ρs,u. 1 S N 1 {S=S } + 1 N 1 {S<S }. I now suffices o noe from Lemma 3.1 ha S is consan afer g and g is he firs ime when S = S, or in oher words: This complees he proof. 1 {S >S } = 1 {g>}, and 1 {S =S } = 1 {g }. Theorem 3.4 yields a new proof of he decomposiion formula in he progressive enlargemen case. More precisely, we have: Corollary 3.6. The pair of filraions F, F g saisfies he H hypohesis. Moreover, every F local maringale X decomposes as: X = X d < X,N > s + 1 {g>s} N s where X is a F g local maringale. 1 {g s} d < X,N > s S N s, Proof. Le X be an F maringale which is in H 1 ; he general case follows by localizaion. From Theorem 3.4 X = X d < X,N > s d < X,N > s + 1 {g>s} 1 N {g s}, s S N s where X denoes an maringale. Thus, X, which is equal o: X F σs 1 {g>s} d < X,N > s N s d < X,N > s 1 {g s},, S N s is F g adaped recall ha Fg FσS, and hence i is an F g maringale.

12 12 ASHKAN NIKEGHBALI AND MARC YOR 4. A muliplicaive characerizaion of Z Usually, in he lieraure abou progressive enlargemens of filraions, i is assumed ha he condiions CA are saisfied. Now, we shall prove ha under his assumpion he supermaringale Z L = PL > F, associaed N wih an hones ime, can be represened as, where N is a posiive S local maringale. More precisely, we have he following: Theorem 4.1. Le L be an hones ime. Then, under he condiions CA, here exiss a coninuous and nonnegaive local maringale N, wih N = 1 and lim N =, such ha: Z = PL > F = N S Proof. Under he condiions CA, Z is coninuous and can be wrien as see [1] or [5] for deails: Z = M A, where M and A are coninuous, Z = 1 and da is carried by { : Z = 1}. Then, for < T inf { : Z = }, we have: log Z = dm s Z s 1 2 d < M > s Z 2 s hence: dm s log Z = 1 Z s 2 and, from Skorokhod s reflecion lemma, we have: A = sup u u dm s Z s 1 2 Now, combining 4.1 and 4.2, we obain: Z = N S, where dm s N = exp 1 Z s 2 is a local maringale saring from 1, and S = sup u = exp exp sup u = exp A. u u u dm s Z s 1 2 dm s Z s 1 2 d < M > s Z 2 s d < M > s Z 2 s A, d < M > s Zs 2 u u + A ; d < M > s Zs 2 d < M > s Z 2 s We finally noe ha, since Z T =, lim T N =, which allows o define N for all.

13 DOOB S MAXIMAL IDENTITY AND EXPANSIONS OF FILTRATIONS 13 Corollary 4.2. The supermaringale Z = PL > F admis he following addiive and muliplicaive represenaions: Z = N S Z = M A. Moreover, hese wo represenaions are relaed as follows: N dm s = exp 1 d < M > s Z s 2 Zs 2 S = exp A ; and M dn s = 1 + = E log S F, S s A = log S. Proof. I is a consequence of Proposiion 2.2 and Theorem 4.1. Now, as a consequence of Theorem 4.1, we can recover he enlargemen formulae and he fac ha he pair of filraions F, F L saisfies he H hypohesis: Corollary 4.3. Le L be an hones ime. Then under he condiions CA, he pair of filraions F, F L saisfies he H hypohesis and every F local maringale X is an F L semimaringale wih canonical decomposiion: L X = X d < X,Z > s d < X,1 Z > s + +, Z s L 1 Z s where X denoes an F L local maringale. Proof. I is a combinaion of Theorem 4.1 and Corollary 3.6. Remark 4.4. We hen see ha under he assumpions CA, he iniial enlargemen of filraions wih A amouns o enlarging iniially he filraion wih S, he erminal value of he supremum process of a coninuous local maringale in C. We shall now ouline anoher nonrivial consequence of Theorem 4.1 here. In [2], he auhors are ineresed in giving explici examples of dual predicable projecions of processes of he form 1 g, where g is an hones ime. Indeed, hese dual projecions are naural examples of increasing injecive processes see [2] for more deails and references. Wih Theorem 4.1, we have a complee characerizaion of such projecions: Corollary 4.5. Assume he assumpion C holds, and le C be an increasing process. Then C is he dual predicable projecion of 1 g, for some

14 14 ASHKAN NIKEGHBALI AND MARC YOR hones ime g ha avoids sopping imes, if and only if here exiss a coninuous local maringale N in he class C such ha C = log S. The previous resuls can be naurally exended o he case where he supermaringale Z has only negaive jumps; we gave a special reamen under he hypohesis CA because of is pracical imporance. We jus give here he exension of Theorem 4.1; he corollaries are easily deduced. Proposiion 4.6. Le L be an hones ime ha avoids sopping imes. Assume ha Z L has no posiive jumps. Then, here exiss a local maringale N, in he class C, wih N = 1, such ha: Z L = Z = PL > F = N S Proof. We use he same noaions as in he proof of Theorem 4.1. For < T inf { : Z = }, we have: log Z = dms 1 d < M c > s Z s 2 Zs 2 + log 1 + Z s Z s +A. Z <s s Z s Now, from Lemma 2.6, A = sup s dms Z s 1 2 Now, combining he las wo equaliies, we obain: where N = exp dms Z s 1 2 d < M c > s Zs 2 + log 1 + Z s Z s. Z <s s Z s Z = N S, d < M c > s Zs Z s exp Z s. Z <s s Z s 5. Examples and applicaions In his secion, we look a some specific local maringales N, and use he iniial enlargemen formula wih S, o ge some pah decomposiions, given he maximum or he minimum of some sochasic processes. Our aim here is o illusrae how echniques from enlargemen of filraions can be applied. To have a complee descripion for he pah decomposiions, we associae wih g a random ime, called pseudo-sopping ime, which occurs before g. Evenually, we give some explici examples of supermaringales Z wih jumps.

15 DOOB S MAXIMAL IDENTITY AND EXPANSIONS OF FILTRATIONS Pseudo-sopping imes. In [16], we have proposed he following generalizaion of sopping imes: Definiion 5.1. Le ρ : Ω, F R + be a random ime; ρ is called a pseudo-sopping ime if for every bounded F maringale we have: E M ρ = E M. David Williams [25] gave he firs example of such a random ime and he following sysemaic consrucion is esablished in [16]: Proposiion 5.2. Le L be an hones ime. Then, under he condiions CA, { } ρ sup < L : Z L = inf u L ZL u, is a pseudo-sopping ime, wih Z ρ Pρ > F = inf u ZL u, and Z ρ ρ follows he uniform disribuion on,1. The following propery, also proved in [16], is essenial in sudying pah decomposiions: Proposiion 5.3. Le ρ be a pseudo-sopping ime and le M be an F local maringale. Then M ρ is an F ρ local maringale. In our seing, Proposiion 5.2 gives: Proposiion 5.4. Define he nonincreasing process r by: Then, { ρ sup < g : N u r inf. u S u N S = inf u g } N u, S u is a pseudo-sopping ime and r ρ follows he uniform disribuion on, Pah decomposiions given he maxima or he minima of a diffusion. Now, we shall apply he echniques of enlargemens of filraions o esablish some pah decomposiions resuls. Some of he following resuls have been proved by David Williams in [24], using differen mehods. Jeulin has also given a proof based on enlargemens echniques in he case of ransien diffusions see [8]. Here, we complee he resuls of David Williams by inroducing he pseudo-sopping imes ρ defined in Proposiion 5.4, and we deail some ineresing examples.

16 16 ASHKAN NIKEGHBALI AND MARC YOR The killed Brownian Moion. Le N B, where B is a Brownian Moion saring a 1, and sopped a T = inf { : B = }. Le Le and S supb s. s g = sup { : B = S } { ρ = sup < g : B S = inf u g } B u. S u From Doob s maximal ideniy, S T = S g is disribued as he reciprocal of a uniform disribuion,1, i.e. i has he densiy: 1 [1, x 1 x 2. Proposiion 5.5. Le B be a Brownian Moion saring a 1 and sopped when i firs his. Then: B ρ follows he uniform law on,1, and condiionally on B ρ = r, S ρ S ρ B is a Brownian Moion up o he firs ime when B = rs. B is an F g and F σs T semimaringale wih canonical decomposiion: where B B = B + g is an F σs T ds T B s g ds S T B s, 5.1 Brownian Moion, sopped a T and independen of S T. Consequenly, we have he following pah decomposiion: condiionally on S T = m: 1 he process B ; g is a Bessel process of dimension 3, sared from 1, considered up o T m, he firs ime when i his m; 2 he process S g B g+ ; T g is a F g+ hree dimensional Bessel process, sared from, considered up o T m, he firs ime when i his m, and is independen of B ; g. Proof. The resuls concerning he decomposiion unil ρ are consequences of he resuls of Subsecion 5.1. The decomposiion formula is a consequence of Theorem 3.4. Since B is an F σs T local maringale, wih T as is bracke, i follows from Lévy s heorem ha i is an F σs T Brownian Moion. Moreover, i is independen of F σs T = σ S T. Now, condiionally on S T = m, wih T m = inf { : B = m}, B saisfies he following

17 DOOB S MAXIMAL IDENTITY AND EXPANSIONS OF FILTRATIONS 17 sochasic differenial equaion: B = B + Tm ds B s. Hence i is a hree dimensional Bessel process up o T m. I also follows from he decomposiion formula ha: B g+ = B g+ + g ds B s This equaion can also be wrien as: S g B g+ = Bg+ B g + T g T g ds S g B g+s. ds S g B g+s. Now, Bg+ B g is an F g+ Brownian Moion, saring from, and is independen of F g. Taking β Bg+ B g, which is also an F g+ Brownian Moion, saring from, independen of F g, he process ξ S g B saisfies he sochasic differenial equaion: ξ = β + T g ds ξ s ; hence i is a hree dimensional Bessel process, sared a, and considered up o T m, and condiionally on S g, is independen of F g Some recurren diffusions. The previous example can be generalized o a wider class of recurren diffusions X, saisfying he sochasic differenial equaion: X = x + B + bx s ds, x > 5.2 where B is he sandard Brownian Moion, and b is a Borel inegrable funcion which allows exisence and uniqueness for equaion 5.2 for example b bounded or Lipschiz coninuous. The infiniesimal generaor L of his diffusion is: L = 1 d 2 2 dx 2 + bx d dx. Le T inf { : X =, and denoe by s he scale funcion of X, which is sricly increasing and which vanishes a zero, i.e: z s z = exp 2 by dy, where Hence, y by = budu. N s X T s x

18 18 ASHKAN NIKEGHBALI AND MARC YOR is a coninuous local maringale belonging o he class C. If S denoes he supremum process of N and X he supremum process of X, we have: S = s X T. s x Now, le and g = sup { < T : X = X }, { ρ = sup < g : X X = inf u g Proposiion 5.6. Le X be a diffusion process saisfying equaion 5.2. Then: X ρ follows he uniform law on,1, and condiionally on X ρ = r, X ρ X ρ X, ρ is a diffusion process, up o he firs ime when X = rx, wih he same infiniesimal generaor as X. X is an F g and an F σx T semimaringale wih canonical X = B + decomposiion: where B bx u du+ g is an F σx T s X u T s X u du g X u X u }. s X u s du, 5.3 X T s Xu Brownian Moion, sopped a T and independen of X T. Consequenly, we have he following pah decomposiion: condiionally on X T = m: 1 he process X ; g is a diffusion process sared from x >, considered up o T m, he firs ime when i his m, wih infiniesimal generaor 1 d 2 2 dx 2 + bx + s x d s x dx. 2 he process X g+ ; T g is a F g+ diffusion process, sared from m, considered up o T, he firs ime when i his, and is independen of X ; g; is infiniesimal generaor is given by: d dx 2 + bx + s x d s x s m dx. 1 3 X T follows he same law as s 1 U uniform law on,1., where U follows he Proof. The proof is exacly he same as he proof of Proposiion 5.5, so we will no reproduce i here.

19 DOOB S MAXIMAL IDENTITY AND EXPANSIONS OF FILTRATIONS Geomeric Brownian Moion wih negaive drif. Le N exp 2νB 2ν 2, where B is a sandard Brownian Moion, and ν >. Wih he noaion of Theorem 3.4, we have: S = exp sup2ν B s νs s, and { } g = sup : B ν = supb s νs s. Before saing our proposiion, le us menion ha we could have worked wih more general coninuous exponenial local maringales, bu we preferred o keep he discussion as simple as possible he proof for more general cases is exacly he same. Proposiion 5.7. Wih he assumpions and noaions used above, we have: 1 The variable sup s B s νs follows he exponenial law of parameer 2ν. 2 Every local maringale X is an F σs semimaringale and decomposes as: X = X + 2ν < X,B > g 2ν where X is an F σs local maringale. g N s S N s d < X,B > s, 3 Condiionally on S = m, he process B ν; g is a Brownian Moion wih drif +ν up o he firs hiing ime of is maximum m/2ν. Proof. From Doob s maximal equaliy, exp sup s g 2νBs 2ν 2 s 1 follows he uniform law and hence sup s B s νs follows he exponenial law of parameer 2ν. The decomposiion formula is a consequence of Theorem 3.4 and he fac ha: dn = 2νN db. To show 3, i suffices o noice ha B ν is equal o B + ν in he filraion F σs independen of S., wih B an F σs Brownian Moion which is General ransien diffusions. Now, we consider R, a ransien diffusion wih values in [,, which has {} as enrance boundary. Le s be a scale funcion for R, which we can choose such ha: s =, and s =.

20 2 ASHKAN NIKEGHBALI AND MARC YOR Then, under he law P x, for any x >, he local maringale saisfies he condiions of Theorem 3.4, and we have: P x g > F = s R s I N = s R s x, where g = sup { : R = I }, and I = inf R s. s We hus recover resuls of Jeulin [8], Proposiion 6.29, p.112 by oher means. Jeulin used his formula and gave a quick proof of a heorem of David Williams [24], using iniial enlargemen of filraions argumens. Our proof would follow he same lines and so we refer o he book of Jeulin. We would raher deail an ineresing example: he hree dimensional Bessel process. Proposiion 5.8. Le R be a hree dimensional Bessel process saring from 1, and se, { as above, I = inf s R s }, and g = sup { : R = I }. Define I I u ρ by: ρ = sup < g : = inf u g.then: R R u 1 The variable I ρ R ρ follows he uniform law on,1 and, condiionally on I ρ = rr ρ, R, T r is a hree dimensional Bessel process saring from 1, up o he firs ime T r when I = rr. 2 I I g follows he uniform law on,1; 3 Condiionally on I = r, he process R, g is a Brownian Moion saring from 1 and sopped when i firs his r. Proof. There exiss β, a Brownian Moion, such ha R = 1 + β + ds R s. 1 follows easily from he resuls of Subsecion 5.1. Now, from Io s formula, i follows ha 1 dβ s = 1 R Rs 2 ; hance, i is a local maringale. In, where β is an R g decomposes as F σi β g = β F σi g ds R s, Brownian Moion independen of I. Hence, R g = β

21 DOOB S MAXIMAL IDENTITY AND EXPANSIONS OF FILTRATIONS 21 in F σi, and his complees he proof for 3, and 2 is an immediae consequence of Doob s maximal ideniy. Remark 5.9. The previous mehod applies o any ransien diffusion R, wih values in,, and which saisfies: R = x + B + ducr u, where c : R + R allows uniqueness in law for his equaion. These diffusions were sudied in [23] o obain some exension of Piman s heorem see also [27] Some examples of Z wih jumps. We shall conclude his paper by giving some explici examples of disconinuous Z s. Le X be a Poisson process wih parameer c and le N = X c. N is a maringale in he naural filraion F of X. Every local maringale Y in his filraion may be wrien as: Y = Y + k s dn s, where k is an F predicable process. Now, for f : R + R + a locally bounded and Borel funcion, le E f = exp f sdx s + c 1 exp f s ds E f is an F local maringale which can be represened as: E f = 1 + If f sds =, hen lim E f =. E f s exp f s 1 dn s. Proposiion 5.1. Le f be a nonnegaive locally bounded and Borel funcion on R +, such ha lim E f =. Define: { } g = sup : E f = E f, where E f = sup Es f. s Then: 1 sup s f sdx s + c 1 exp f s ds is disribued as a random variable wih he exponenial law wih parameer 1; 2 The supermaringale Z g associaed wih g is given by: Pg > F = Ef E f ;

22 22 ASHKAN NIKEGHBALI AND MARC YOR 3 Every F local maringale Y = k sdn s is a semimaringale in Y = Ỹ+c he filraion F σ g E f k s exp f s 1 ds c where Ỹ is an F σ E f, wih canonical decomposiion: local maringale. g E f s k s exp f s 1 E f ds, Ef s

23 DOOB S MAXIMAL IDENTITY AND EXPANSIONS OF FILTRATIONS 23 References [1] J. Azéma: Quelques applicaions de la héorie générale des processus I, Inven. Mah [2] J. Azéma, T. Jeulin, F. Knigh, M. Yor: Quelques calculs de compensaeurs impliquan l injecivié de cerains processus croissans, Sém.Proba. XXXII, Lecure Noes in Mahemaics 1686, 1998, [3] J. Azéma, M. Yor: Une soluion simple au problème de Skorokhod, Sém.Proba. XIII, Lecure Noes in Mahemaics 721, 1979, and [4] M.T. Barlow, Sudy of a filraion expanded o include an hones ime, ZW, 44, 1978, [5] C. Dellacherie, B. Maisonneuve, P.A. Meyer: Probabiliés e poeniel, Chapires XVII-XXIV: Processus de Markov fin, Complémens de calcul sochasique, Hermann [6] C. Dellacherie, P.A. Meyer: Probabiliés e poeniel, Hermann, Paris, vol. I 1976, vol. II 198. [7] C. Dellacherie, P.A. Meyer: A propos du ravail de Yor sur les grossissemens des ribus, Sém.Proba. XII, Lecure Noes in Mahemaics 649, 1978, [8] T. Jeulin: Semi-maringales e grossissemens d une filraion, Lecure Noes in Mahemaics 833, Springer 198. [9] T. Jeulin, M. Yor eds: Grossissemens de filraions: exemples e applicaions, Lecure Noes in Mahemaics 1118, Springer [1] T. Jeulin, M. Yor: Grossissemen d une filraion e semimaringales: formules explicies, Sém.Proba. XII, Lecure Noes in Mahemaics 649, 1978, [11] F.B. Knigh, B. Maisonneuve: A characerizaion of sopping imes, Annals of probabiliy, 22, 1994, [12] H.P., McKean, Jr.: Sochasic inegrals, Academic Press, New York [13] P.A. Meyer: Probabiliés e poeniel, Hermann [14] P.A. Meyer: Sur un héorème de J. Jacod, Sém.Proba. XII, Lecure Noes in Mahemaics 649, 1978, [15] L. Nguyen, M. Yor: Sur un héorème de J. Jacod, Sém.Proba. XXXVIII, Lecure Noes in Mahemaics 649, 25, [16] A. Nikeghbali, M. Yor: A definiion and some characerisic properies of pseudosopping imes, Ann. Prob. 33, [17] A. Nikeghbali: Enlargemens of filraions and pah decomposiions a non sopping imes, o appear in Probabiliy Theory and Relaed Fields. [18] A. Nikeghbali: A class of remarkable submaringales I, preprin, on he ArXiv. [19] J.W. Piman, M. Yor: Bessel processes and infiniely divisible laws, In: D. Williams ed. Sochasic inegrals, Lecure Noes in Mahemaics 851, Springer [2] P.E. Proer: Sochasic inegraion and differenial equaions, Springer. Second ediion 25. [21] D. Revuz, M. Yor: Coninuous maringales and Brownian moion, Springer. Third ediion [22] C. Rogers, D. Williams: Diffusions, Markov processes and Maringales, vol 2: Io calculus, Wiley and Sons, New York, [23] Y. Saisho, H. Tanemura: Piman ype heorem for one-dimensional diffusion processes, Tokyo J. Mah. 13, no.2, 199, [24] D. Williams: Pah decomposiion and coninuiy of local ime for one-dimensional diffusions I, Proc. London Mah. Soc. 3, , [25] D. Williams: A non sopping ime wih he opional-sopping propery, Bull. London Mah. Soc , [26] C. Yoeurp: Théorème de Girsanov généralisé, e grossissemen d une filraion, In: Grossissemens de filraions: exemples e applicaions, Springer,

24 24 ASHKAN NIKEGHBALI AND MARC YOR [27] M. Yor: Some aspecs of Brownian moion, Par II. Some recen maringale problems. Birkhauser, Basel Laboraoire de Probabiliés e Modèles Aléaoires, Universié Pierre e Marie Curie, e CNRS UMR 7599, 175 rue du Chevalere F-7513 Paris, France. Curren address: American Insiue of Mahemaics 36 Porage Ave Palo Alo, CA , and Universiy of Rocheser address: ashkan@aimah.org Laboraoire de Probabiliés e Modèles Aléaoires, Universié Pierre e Marie Curie, e CNRS UMR 7599, 175 rue du Chevalere F-7513 Paris, France.