arxiv: v1 [math.pr] 29 Apr 2018

Transcription

1 The method of decoupling field generalized to higher patial derivative Alexander Fromm arxiv: v1 [math.pr] 29 Apr 2018 Intitute for Mathematic, Univerity of Jena, Ernt-Abbe-Platz 2, Jena, Germany May 1, 2018 Abtract Thi work tudie the patial derivative of decoupling field to trongly coupled forward-backward tochatic differential equation in a Brownian etting. We formally deduce the backward dynamic of the firt and higher patial derivative. In addition, we tudy neceary condition under which ingularitie in either one of them can occur while moving backward in time Mathematic Subject Claification. 60H30, 49J55, 93E20. Keyword. forward-backward tochatic differential equation, decoupling field, tochatic control, Skorokhod embedding Introduction Forward-backward tochatic differential equation FBSDE) are a cla of differential problem which appear in numerou area of applied tochatic. Mot notably, tochatic control problem are often reduced to FBSDE. In the o-called Markovian cae thee ytem can alo be viewed a tochatic formulation of a large cla of partial differential equation, covering many phenomena in phyic, chemitry and engineering. Of particular interet are o-called coupled ytem in which neither the forward equation nor the backward equation, which together form the FBSDE, can be olved independently of the other. Although decoupled or weakly coupled problem appear rather often in the literature, it i a general pattern that the FBSDE aociated with a particular control problem can be tranformed into a decoupled ytem only under pecial tructural propertie and, in general, trongly coupled FBSDE cannot be avoided. It i a longtanding challenge to find condition guaranteeing that a given fully coupled FBSDE poee a olution. Sufficient condition are provided e.g. in [MPY94], [PT99], [MY99], [PW99], [Del02], [MWZZ15] ee alo reference therein). The method of decoupling field, developped in [Fro15] ee alo the precuror article [MYZ12], [FI13] and [MWZZ15]), i practically ueful for determining whether a olution exit. A decoupling field decribe the functional dependence of the alexander.fromm@uni-jena.de 1

2 backward part Y on the forward component X. If the coefficient of a fully coupled FBSDE atify a Lipchitz condition, then there exit a maximal non-vanihing interval poeing a olution triplet X, Y, Z) and a decoupling field with nice regularity propertie. The method of decoupling field conit in analyzing the dynamic of the decoupling field gradient in order to determine whether the FBSDE ha a olution on the whole time interval [0,T]. The method can be uccefully applied to variou problem involving coupled FBSDE: In [FIP15] olution to a quadratic trongly coupled FBSDE with a two-dimenional forward equation are contructed to obtain olution to the Skorokhod embedding problem for Gauian procee with non-linear drift. In [FI17] the problem of utility maximization in incomplete market i treated for a general cla of utility function via contruction of olution to the aociated coupled FBSDE. In [AFKP17], the method i ued to obtain olution to the problem of optimal poition targeting for general cot functional and in [AF17], the problem of optimal control of diffuion coefficient i treated uing decoupling field. In all thee application the key tep i to obtain the dynamic of the patial derivative of the decoupling field evaluated along the forward proce and to how that a a proce it atifie a backward SDE. In that it i imilar to the backward proce which i in fact the decoupling field itelf evaluated along the forward proce. It i natural to ak under what condition higher order patial derivative of the decoupling field exit and whether they atify a backward equation a well. Apart from cientific curioity uch tudy of higher patial derivative ha ignificance from the point of view of variou practical application: One major motivation i that the FBSDE the decoupling field i contructed for i uually induced by an underlying problem the olvability of which at time depend on certain regularity propertie of the olution to the FBSDE which in turn are reduced to regularity propertie of the aociated decoupling field. For intance, in [FIP15] claical olution to the FBSDE entail weak olution to the Skorokhod embedding problem, while the contruction of trong olution require differentiability of the decoupling field in time and pace. Thi can be reduced to differentiability in pace up to a ufficiently high order. However, howing patial differentiability doe become a bottle neck when generalizing the reult of [FIP15], i.e. when contructing trong olution to the Skorokhod embedding problem for more general diffuion, a a cae by cae tudy of higher derivative become increaingly technical and complicated without a ufficiently general theoretical machinery pecifically deigned for thi purpoe. In other word, a goal i to treamline the argument of ection 4.2 of [FIP15] and do o for a more general etting. Probably the greatet motivation for tudying patial derivative of decoupling field and their dynamic come from the ubject of numerical analyi of FBSDE: In order to treat a forward-backward ytem numerically ome dicretization in time and pace mut occur to keep the proceing time and capacity finite. Thi mean in particular that for any given moment in time the decoupling field i to be evaluated or etimated at finitely many point only. In order to approximate the decoupling field at point not belonging to a given grid it i natural to apply ome form of interpolation. In the one-dimenional cae linear interpolation, even though limited in preciion, eem natural, but i not traightforward to generalize in a higherdimenional etting. Intead, it i more natural to approximate the field in a neighborhood of a given grid point uing it Taylor expanion in pace. For thi Taylor expanion, however, derivative of higher order are needed. A key finding of thi work i that, fortunately, thee higher order patial derivative of a decoupling field at a given point are not more complicated to obtain than the value of the decoupling field itelf at the ame point, ince thee patial derivative evaluated along the 2

3 forward proce do atify a backward SDE and, therefore, behave imilarly to the backward proce Y. A central aim of thi paper i to rigorouly how, under reaonable condition and in a general etting, that thi i in fact the cae. We alo explicitly deduce the dynamic of thee adjoint backward equation. It i our intention to ue thi in higher order approximation cheme for coupled FBSDE, which are currently under development. Thi paper i tructured a follow: In ection 1 we briefly um up the theory of decoupling field under tandard Lipchitz condition SLC), which work a a brief introduction to the topic of decoupling field in cae the reader i not familiar with thi approach to FBSDE. In ection 2 we dicu decoupling field under o-called modified local Lipchitz condition MLLC), which i a theory derived from the one introduced in ection 1. The MLLC theory i more appropriate for numerical cheme a the parameter function of the ytem are determinitic, but do not have to be Lipchitz continuou in the control proce. In ection 3 we introduce ome notation needed in the ubequent ection. In ection 4 we deduce the dynamic of the firt patial derivative along the forward proce. In ection 5 we heuritically deduce dynamic of higher derivative before tudying them more rigorouly in ection 6 ee e.g. Propoition 6.6). In a ene ection 6 i a generalization of the aforementioned MLLC theory to higher derivative. The relaxation of Lipchitz continuity under MLLC come in handy a the BSDE atified by the patial derivative of the decoupling field are not Lipchitz continuou in general even if the initial FBSDE atifie SLC. An important finding of ection 6 i that while it i poible that the firt and/or the econd patial derivative of the decoupling field "explode" at ome moment in time a we move backward away from the terminal condition, uch a ingularity cannot occur in the third and higher patial derivative if it ha not already occurred in the firt two and the condition L σ,z = 0 i atified Theorem 6.7). Thu, after having proven exitence of a twice weakly differentiable and ufficiently regular decoupling field on an interval the exitence and boundedne of all higher derivative of the decoupling field follow automatically if the parameter of the problem are ufficiently mooth Corollary 6.9, ee alo Remark 6.10). Related tatement are hown for the cae L σ,z > 0 a well. Finally, in ection 7 we apply the theory developed in ection 6 to the FBSDE conidered in [FIP15] to recover the reult on patial differentiability of the decoupling field already proven in [FIP15] but now reduced to a much tighter argumentation employing the theory from ection 6. Thi implification open the door to an extenion of [FIP15] to more general diffuion, which i, however, left to future reearch. 1 Decoupling field under SLC For a fixed finite time horizon T > 0, we conider a complete filtered probability pace Ω,F,F t ) t [0,T],P), where F 0 conit of all null et, W t ) t [0,T] i a d-dimenional Brownian motion and F t := σf 0,W ) [0,t] ) with F := F T. The dynamic of an FBSDE i given by X = X Y t = ξx T ) µr,x r,y r,z r )dr + t fr,x r,y r,z r )dr 0 σr,x r,y r,z r )dw r, t Z r dw r, 3

4 for,t [0,T] and X 0 R n, where ξ,µ,σ,f)) are meaurable function uch that ξ: Ω R n R m, µ: [0,T] Ω R n R m R m d R n, σ: [0,T] Ω R n R m R m d R n d, f: [0,T] Ω R n R m R m d R m, for d,n,m N. Throughout the whole ection µ, σ and f are aumed to be progreively meaurable with repect tof t ) t [0,T], i.e. µ1 [0,t],σ1 [0,t],f1 [0,t] mut beb[0,t]) F t BR n ) BR m ) BR m d ) - meaurable for all t [0,T]. A decoupling field come with an even richer tructure than jut a claical olution X,Y,Z). Definition 1.1. Let t [0,T]. A function u: [t,t] Ω R n R m with ut, ) = ξ a.e. i called decoupling field for ξ,µ,σ,f)) on [t,t] if for all,t 2 [t,t] with t 2 and any F t1 -meaurable X t1 : Ω R n there exit progreively meaurable procee X,Y,Z) on [,t 2 ] uch that X = X t1 + Y = Y t2 µr,x r,y r,z r )dr + t2 Y = u,x ), fr,x r,y r,z r )dr σr,x r,y r,z r )dw r, t2 Z r dw r, a.. for all [,t 2 ]. In particular, we want all integral to be well-defined. Some remark about thi definition are in place. The firt equation in 1) i called the forward equation, the econd the backward equation and the third will be referred to a the decoupling condition. Note that, ift 2 = T, we get Y T = ξx T ) a.. a a conequence of the decoupling condition together with ut, ) = ξ. At the ame time Y T = ξx T ) together with the decoupling condition implie ut, ) = ξ a.e. If t 2 = T we can ay that a triplet X,Y,Z) olve the FBSDE, meaning that it atifie the forward and the backward equation, together with Y T = ξx T ). Thi relationhip Y T = ξx T ) i referred to a the terminal condition. In contrat to claical olution of FBSDE, decoupling field on adjacent interval can be pated together ee e.g. Lemma of [Fro15]). We want to remark that, if u i a decoupling field and ũ i a modification of u, i.e. for each [t,t] the function u,ω, ) and ũ,ω, ) coincide for almot all ω Ω, then ũ i alo a decoupling field to the ame problem. Hence, u could alo be referred to a a cla of modification and a progreively meaurable and in ome ene right-continuou repreentative exit if the decoupling field i Lipchitz continuou in x Lemma in [Fro15]). For the following we need to fix further notation. Let I [0,T] be an interval and u : I Ω R n R m a map uch that u, ) i meaurable for every I. We define L u,x := upinf{l 0 for a.a. ω Ω : u,ω,x) u,ω,x ) L x x for all x,x R n }, I 4 1)

5 where inf :=. We alo et L u,x := if u, ) i not meaurable for every I. One can how that L u,x < i equivalent to u having a modification which i truly Lipchitz continuou in x R n. We denote by L σ,z the Lipchitz contant of σ w.r.t. the dependence on the lat component z and w.r.t. the Frobeniu norm on R m d and R n d. We et L σ,z = if σ i not Lipchitz continuou in z. By L 1 σ,z = 1 L σ,z we mean 1 L σ,z if L σ,z > 0 and otherwie. For an integrable real valued random variable F the expreion E t [F] refer to E[F F t ], while E t, [F] refer to eupe[f F t ], which might be, but i alway well defined a the infimum of all contant c [, ] uch that E[F F t ] c a.. Additionally, we write F for the eential upremum of F. Finally for a matrix A R N n and a vector v S n 1 we define A v := Av a the norm of A in the direction v, where S n 1 i the n 1) - dimenional phere. In practice it i important to have explicit knowledge about the regularity of X,Y,Z). For intance, it i important to know in which pace the procee live, and how they react to change in the initial value. Definition 1.2. Let u: [t,t] Ω R n R m be a decoupling field to ξ,µ,σ,f)). 1. We ay u to be weakly regular if L u,x < L 1 σ,z and up [t,t] u,,0) <. 2. A weakly regular decoupling field u i called trongly regular if for all fixed,t 2 [t,t], t 2, the procee X,Y,Z) ariing in 1) are a.e. unique and atify [ t2 ] up E t1, [ X 2 ]+ up E t1, [ Y 2 ]+E t1, Z 2 d <, 2) [,t 2 ] [,t 2 ] for each contant initial value X t1 = x R n. In addition they are required to be meaurable a function of x,,ω) and even weakly differentiable w.r.t. x R n uch that for every [,t 2 ] the mapping X and Y are meaurable function of x,ω) and even weakly differentiable w.r.t. x uch that ] d eup x R n up up E t1, [ v S n 1 [,t 2 ] dx X 2 <, v ] d eup x R n up up E t1, [ v S n 1 [,t 2 ] dx Y 2 <, v [ t2 ] eup x R n up E t1 d, v S n 1 dx Z 2 d <. 3) Under uitable condition a rich exitence, uniquene and regularity theory for decoupling field can be developed. The bai of the theory i Theorem 1.3 below, which i proven in Chapter 2 of [Fro15]. Aumption SLC): ξ,µ, σ, f)) atifie tandard Lipchitz condition SLC) if 1. µ, σ, f) are Lipchitz continuou in x, y, z) with Lipchitz contant L, 2. µ + f + σ ),,0,0,0) <, v 5

6 3. ξ: Ω R n R m i meaurable uch that ξ,0) < and L ξ,x < L 1 σ,z. Theorem 1.3 [Fro15], Theorem 2.2.1). Suppoe ξ,µ, σ, f)) atifie SLC). Then there exit a time t [0,T) uch that ξ,µ,σ,f)) ha a unique up to modification) decoupling field u on [t,t] with L u,x < L 1 σ,z and up [t,t] u,,0) <. A brief dicuion of exitence and uniquene of claical olution on ufficiently mall interval can be found in Remark in [Fro15]. Thi local theory for decoupling field can be ytematically extended to global reult baed on fairly imple mall interval induction argument Lemma and in [Fro15]). In order to have a notion of global exitence we need the following definition: Definition 1.4. We define the maximal interval I max [0,T] of the problem given by ξ,µ,σ,f)) a the union of all interval [t,t] [0,T], uch that there exit a weakly regular decoupling field u on [t, T]. Note that the maximal interval might be open to the left. Alo, let u remark that we define a decoupling field on uch an interval a a mapping which i a decoupling field on every compact ubinterval containing T. Similarly we can define weakly and trongly regular decoupling field a mapping which retricted to an arbitrary compact ubinterval containing T are weakly or trongly) regular decoupling field in the ene of the definition given above. Finally, we have global exitence and uniquene on the maximal interval: Theorem 1.5 Global exitence in weak form, [Fro15], Theorem and Lemma ). Let ξ,µ,σ,f)) atify SLC. Then there exit a unique weakly regular decoupling field u on I max. Thi u i even trongly regular. Furthermore, either I max = [0,T] or I max = t min,t], where 0 t min < T. In the latter cae we have lim t tmin L ut, ),x = L 1 σ,z. 2 Decoupling field under MLLC In thi ection we briefly ummarize the key reult of the abtract theory of Markovian decoupling field, we rely on later in the paper. The preented theory i derived from the SLC theory of Chapter 2 of [Fro15] and i proven in [FIP15]. Let Ω,F,P,F t ) t [0,T] ) be a in the previou ection. Again, we conider progreively meaurable mapping µ, σ, f and a meaurable ξ with the ame domain and target pace a in ection 1. A problem given by ξ,µ,σ,f i aid to be Markovian, if thee four function are determinitic, i.e. depend on t,x,y,z only. In the Markovian cae we can omewhat relax the Lipchitz continuity aumption SLC) made in the previou ection and till obtain local exitence together with uniquene. What make the Markovian cae o pecial i the property Z = u x,x ) σ,x,y,z ) which come from the fact that u become determinitic a well. Thi property allow u to bound Z by a contant if we aume that σ i bounded. Thi potential boundedne of Z in the Markovian cae motivate the following definition, which allow to develop a theory for non-lipchitz problem: Definition 2.1. Let ξ : Ω R n R m be meaurable and let t [0,T]. We call a function u : [t,t] Ω R n R m with ut,ω, ) = ξω, ) for a.a. ω Ω a Markovian 6

7 decoupling field for ξ,µ,σ,f)) on [t,t] if for all,t 2 [t,t] with t 2 and any F t1 - meaurable X t1 : Ω R n there exit progreive procee X,Y,Z on [,t 2 ] uch that the three equation 1) are atified a.. for all [,t 2 ] and uch that Z < hold. In particular, we want all integral to be well-defined and X,Y,Z to have value in R n, R m and R m d repectively. Furthermore, we call a function u : t,t] R n R m a Markovian decoupling field for ξ,µ,σ,f)) on t,t] if u retricted to [t,t] i a Markovian decoupling field for all t t,t]. A Markovian decoupling field i alway a decoupling field in the tandard ene a well. The only difference between the two notion i that we are only intereted in X,Y,Z, where Z i a.e. bounded. Regularity for Markovian decoupling field i defined very imilarly to tandard regularity: Definition 2.2. Let u : [t,t] Ω R n R m be a Markovian decoupling field to ξ,µ,σ,f)). We call u weakly regular, if L u,x < L 1 σ,z and up [t,t] u,,0) <. Furthermore, we call a weakly regular u trongly regular if for all fixed,t 2 [t,t], t 2, the procee X,Y,Z ariing in the defining property of a Markovian decoupling field are a.e. unique for each contant initial value X t1 = x R n and atify 2). In addition they mut be meaurable a function of x,, ω) and even weakly differentiable w.r.t. x R n uch that for every [,t 2 ] the mapping X and Y are meaurable function of x,ω) and even weakly differentiable w.r.t. x uch that 3) i atified. We can define weakly and trongly regular Markovian decoupling field on a half-open interval t,t] a mapping which retricted to an arbitrary compact ubinterval containing T are weakly or trongly) regular Markovian decoupling field in the ene of the definition given above. For the following cla of problem an exitence and uniquene theory i developed: Definition 2.3. We ay that ξ,µ,σ,f atify modified local Lipchitz condition MLLC) if µ,σ,f are determinitic, Lipchitz continuou in x,y,z on et of the form [0,T] R n R m B, where B R m d i an arbitrary bounded et and uch that µ,0,0,0), f,0,0,0), σ,,,0),l σ,z <, ξ : R n R m atifie L ξ,x < L 1 σ,z, where L σ,z denote the Lipchitz contant of σ w.r.t. the dependence on the lat component z and w.r.t. the Frobeniu norm on R m d and R n d ). The following natural concept introduce a type of Markovian decoupling field for non- Lipchitz problem non-lipchitz in z), to which neverthele tandard Lipchitz reult can be applied. Definition 2.4. Let u be a Markovian decoupling field for ξ,µ,σ,f)). We call u controlled in z if there exit a contant C > 0 uch that for all,t 2 [t,t], t 2, and all initial value X t1, the correponding procee X,Y,Z from the definition of a Markovian decoupling 7

8 field atify Z ω) C, for almot all,ω) [t,t] Ω. If for a fixed triple,t 2,X t1 ) there are different choice for X,Y,Z, then all of them are uppoed to atify the above control. We ay that a Markovian decoupling field u on [t,t] i controlled in z on a ubinterval [,t 2 ] [t,t] if u retricted to [,t 2 ] i a Markovian decoupling field for ut 2, ),µ,σ,f)) that i controlled in z. Furthermore, we call a Markovian decoupling field on an interval,t] controlled in z if it i controlled in z on every compact ubinterval [t,t],t] with C poibly depending on t). The following important reult allow u to connect the MLLC - cae to SLC. Theorem 2.5 [FIP15], Theorem 3.16). Let ξ,µ,σ,f atify MLLC) and aume that there exit a weakly regular Markovian decoupling field u to thi problem on ome interval [t,t]. Then u i controlled in z. A application of analogou reult for SLC problem from Chapter 2 of [Fro15] one how Theorem 2.6 [FIP15], Theorem 3.17 and Theorem 3.18). Let ξ,µ,σ,f atify MLLC). 1. Aume that there are two weakly regular Markovian decoupling field u 1),u 2) to thi problem on ome interval [t,t]. Then u 1) = u 2) up to modification). 2. Aume that there exit a weakly regular Markovian decoupling field u to thi problem on ome interval [t,t]. Then u i trongly regular. 3. Aume that there exit a weakly regular Markovian decoupling field u on ome interval [t,t]. Then for any initial condition X t = x R n there i a unique olution X,Y,Z) of the FBSDE on [t,t] uch that up E[ X 2 ]+ up E[ Y 2 ]+ Z <. [t,t] [t,t] Definition 2.7. Let J max [0,T] for ξ,µ,σ,f)) be the union of all interval [t,t] [0,T] uch that there exit a weakly regular Markovian decoupling field u on [t,t]. Theorem 2.8 Global exitence in weak form, [FIP15], Theorem 3.21). Let ξ, µ, σ, f atify MLLC). Then there exit a unique weakly regular Markovian decoupling field u on J max. Thi u i alo controlled in z, trongly regular, determinitic and continuou. Furthermore, either J max = [0,T] or J max = min,t], where 0 min < T. The following reult baically tate that for a ingularity min to occur u x ha to "explode" at min. It i the key to howing well-poedne for particular problem via contradiction. Theorem 2.9 [FIP15], Lemma 3.22). Let ξ,µ,σ,f atify MLLC). If J max = min,t], then lim L ut, ),x = L 1 σ,z, t min where u i the unique weakly regular Markovian decoupling field from Theorem

9 3 Some important notation Let u introduce ome notion and notation which are ued in the ubequent ection. Firtly, we work with generalized matrice: Let k N and n 1,...,n k N be natural number. For every m N we define [m] := {1,...,m} which i a et of cardinality m. Now we define the pace R n 1... n k a the linear pace of all mapping A : [n 1 ]... [n k ] R. Note that in cae k = 2 the mapping A i a tandard matrix. For k = 1 we have a tandard vector. We can multiply generalized matrice: Let A R n 1... n k and B R m 1... m l, where k,l N, and aume that m 1 = n k. Then the product A B i defined a the mapping C R n 1... n k 1 m 2... m l which atifie m 1 Cx 1,...,x k 1,y 2,...,y l ) := Ax 1,...,x k 1,z)Bz,y 2,...,y l ), z=1 where x i [n i ] for all i = 1,...,k 1 and where y i [m i ] for all i = 2,...,l. Thi definition i conitent with tandard matrix multiplication in cae k = l = 2. We may at time write AB intead of A B for implicity. A particularity of our analyi in thi work i that we alo conider product A B, A R n 1... n k, B R m 1... m l, where n k 1,n k ) = m 1,m 2 ) = m,d), where m,d are two fixed natural number which in the ubequent ection will have the ame role i in ection 1 and 2. Thi product i defined a the mapping C R n 1... n k 2 m 3... m l which atifie Cx 1,...,x k 2,y 3,...,y l ) := Ax 1,...,x k 2,z 1,z 2 )Bz 1,z 2,y 3,...,y l ), z 1,z 2 ) [m] [d] where x i [n i ] for all i = 1,...,k 2 and where y i [m i ] for all i = 3,...,l. We till write A B for thi product but indicate the application of it by writing A R n 1... n k 2 m d) intead of imply A R n 1... n k 2 m d or by writing B R m d) m 3... m l intead of B R m d m 3... m l, or by etting the bracket in both. Note that if A R m d) m d) and B R m d, then B A B decribe a linear mapping on and to the linear pace R m d. Thi linear mapping i invertible if and only if there exit an A 1 R m d) m d) uch that C := A A 1 R m d) m d) ha the property that the aociated linear mapping on R m d i the identity mapping. Now conider ome A R n 1... n k and aume that n i = n N for all i = l,...,k, where l [k]. Then we may at time write A R n 1... n l k l+1 n intead. In other word the ubcript after the lat " " indicate how often " n" i applied at the end. We may alo write " i n" with i = 0 which mean that there i no " n" at the end at all. Now let A R n 1... n l i n for ome i 1. Then we can canonically identify A with a equence A 1,...,A n of generalized matrice from R n 1... n l i 1 n, i.e. real-valued mapping on [n 1 ]... [n l ] [n] i 1, by writing [n] i = [n] i 1 [n] and running through the trailing [n] = {1,..., n}. Thi identification i ueful for variou reaon: For intance, we can rewrite a product C = A B R n 1... n l i n, for arbitrary B = B jk ) R n n by etting C k = n j=1 A jb jk, uch thatc 1,...,C n formc in the ame ene thata 1,...,A n forma. Similarly, we can expre product A B R n 1... n l i 1 n, where B R n. Alo, for the cae l = 2 and i 1, thi decompoition allow to define the Frobeniu norm A 2 recurively be etting n A 2 := j=1 A j 2 2 uing the fact that for normal matrice the Frobeniu norm i already defined. 9

10 Secondly, in ome proof we ue the following notation: Aume we have a filtered probability pace generated by a Brownian motion a in ection 1. We denote by DP the denity in the finite variation part of an Itô proce P and by DP the denity in the martingale part of an Itô proce. We denote by D i P the i-th component of DP, i.e. the component which i multiplied by dwt i, i = 1,...,d, in the tochatic integral. Thi notation help to horten ome calculation a the product rule for two Itô procee P and Q now aume the form D i P Q) = D i P) Q+P D i Q, DP Q) = DP) Q+P DQ+ D i P) D i Q). Here P, Q may be generalized matrice uch that their product i well-defined. Note that DP,D i P aume value in the ame pace a P. Thirdly, we ometime ue the term "inner cutoff in a variable" to decribe the following manipulation of a function f, which depend on, let ay, two variable x,y, where y i from an Euclidean pace E: Let χ be a Lipchitz continuou and bounded function on and to thi Euclidean pace for which there i a compact zero-centred ball B E uch that χy) B i the projection of a given y E to the convex et B. We can now define the manipulated function f via fx,y) := fx,χy)). In a ene the dependence on y i "cut off" at ome level which depend on the cutoff function χ. We call the cutoff paive for a y E if χy) = y. 4 Dynamic of the firt derivative Aume that for given ξ,µ,σ,f atifying SLC) or MLLC) we have a weakly regular decoupling field u on an interval [t 0,T]. A u i Lipchitz continuou in the patial component there exit the patial derivative u x defined a the claical derivative or a 0 depending on whether the claical derivative exit or not Lipchitz continuou function are differentiable almot everywhere). Our objective i to tudy the dynamic of the R m n - valued proce V := u x,x ), where X i the forward proce for ome initial condition X t1 = x R n, where [t 0,T) and [,T]. Note that u x T, ) = ξ : Ω R n R m n i known. Note alo that u x = L u,x, where we take the eential upremum of the operator norm of u x by which we mean the operator norm w.r.t. the Euclidean norm on R n and R m ). Thi implie V L u,x, again w.r.t. the operator norm. For the next reult we can either aume that u i a weakly regular decoupling field to an SLC) problem or that it i a weakly regular Markovian decoupling field to an MLLC) problem. A uual we denote by X,Y,Z) the procee appearing in the definition of a decoupling field or a Markovian decoupling field repectively. We alo denote by σ i), where i {1,...,d}, the R n - valued i - th column of an R n d - valued σ. The expreion Id m d R m d) m d) denote the generalized matrix aociated with the identity on R m d. Theorem 4.1. Aume that µ, σ, f are claically differentiable w.r.t. x, y, z) everywhere and aume that either L σ,z = 0 or n = m = 1 or both). Then for almot all initial condition x R n there exit a time-continuou verion of the proce V which we again denote by V ) and d quare-integrable R m n - valued procee Z 1),..., Z d), which we can combine to an R m d) n - valued proce Z, uch that V = ξ X T ) Z r i) dw r i) ϕr,v r, Z r )dr, 4) 10

11 a.. for every [,T], where ϕ,v, Z ) := f x, +f y, V +f z, h,v, Z ) V µ x, V µ y, V V µ z, h,v, Z ) with f x, := f x,x,y,z ), f y, := f y,x,y,z ) etc. and where Z i) σ x, i) +σ y,v i) +σ z,h,v i), Z ) ), h,v, Z ) := Id m d V σ z, ) 1 V σ x, +V σ y, V + Z ). Remark 4.2. Firtly, let u explain the meaning of the expreion Id m d V σ z, ) 1 in the definition of h. To thi end note that σ z,x,y,z ) i R n d m d) - valued, ince σ i R n d - and z i R m d - valued. Therefore, the product V σ z,x,y,z ) i well-defined and aume value in R m d m d). In particular, it can be identified with a quadratic m d) m d) - matrix. We would like to etimate it operator norm w.r.t. the Frobeniu norm on R m d ): To thi end conider an arbitrary ζ R m d having the Frobeniu norm of 1. Then σ z, ζ i R n d - valued and ha a Frobeniu norm of at mot L σ,z due to the definition of thi contant. Let v i R n, i = 1,...,d, be the i - th column of thi n d - matrix. We have d v i 2 L 2 σ,z, where denote the Euclidean norm. Now V v i i R m - valued and ha a Euclidean norm of at mot L u,x v i. Therefore, the Frobeniu norm of V σ z, ζ i at mot d L2 u,x v i 2 L u,x L σ,z < 1. In other word the operator norm of V σ z, i at mot L u,x L σ,z < 1. We have, thu, hown that Id m d V σ z, ) 1 = V σ z, ) k = Id m d + V σ z, ) k k=0 i well-defined and bounded by k=0 L u,xl σ,z ) k = 1 L u,x L σ,z ) 1 < in it operator norm. Proof of Theorem 4.1. In order to deduce the dynamic of V we can begin by formally differentiating the forward and the backward equation w.r.t. x R n uing trong regularity ee Definition 1.2 and 2.2). One can verify that one can interchange differentiation and integration and that a chain rule for weak derivative applie ee Section A.2 and A.3 in [Fro15]). Thu, we obtain that for every verion x X, x Y, x Z) = x X,x, x Y,x, x Z,x ) of the weak derivative, uch that for every [,T] the pair x X, x Y ) i a weak derivative of X,Y ), we have for every t [,T]: and t x X t =Id n + µ x, x X +µ y, x Y +µ z, x Z )d 5) + t k=1 ) σ x, i) xx +σ y, i) xy +σ z, i) xz dw i) x Y t = ξ X T ) x X T f x, x X +f y, x Y +f z, x Z ) d t t x Z i) dwi), 6) 11

12 for P λ - almot all ω,x) Ω R n. Note that x Z i), i = 1,...,d, are R m n - valued. We denote by x Z the correponding R m d) n - valued proce. By redefining x X, x Y) a the right-hand-ide of 5) and 6) repectively, we obtain a new pair of procee x X, x Y) that are continuou in time for all ω,x) but remain weak derivative of X,Y w.r.t. x. From now on, we alway aume that x X and x Y are continuou in time. We alo aume that for fixed t [,T] the mapping x X t and x Y t are weak derivative of X t and Y t w.r.t. x R n. In particular x X t1 = Id n a.. for almot all x R n. Recall that Y t = ut,x t ) a.. for all t,x) [,T] R n. Therefore, for fixed t [,T], the weak derivative of the two ide of the equation w.r.t. x R n mut coincide up to an Ω λ - null et. The chain rule for weak derivative ee Corollary 3.2 in [AD90] or Lemma A.3.1. in [Fro15]) implie, for any fixed t [,T], that we have for P λ - almot all ω,x) x Y {det xx t) 0} = u x t,x t ) x X {det xx t) 0} = V t x X {det xx t) 0}. 7) Now, chooe a fixed x R n uch that x X t1 = Id n a.., 7), 5), 6) are atified for almot all t,ω) [,T] Ω and, in addition, 7) i atified for t =, P - almot urely. Note that, ince x X, x Y are continuou in time, 5) and 6) in fact hold for all t [,T], P - almot urely. For arbitrary k N define a topping time τ k via { τ k := inf t [,T] x X t ) 1 k } T, where x X t ) 1 denote the operator norm of x X t ) 1 if the invere exit and otherwie. Note that τ k > almot urely for all k 2. Alo, x X i an almot urely invertible matrix on [,τ k ] and we have V = x Y x X) 1 a.e. on thi tochatic interval. In particular, V, or a verion of V, i a continuou Itô proce and we can write V τk = V τk τk Zi) r dwi) r τ k τk τ k ϕ r dr, [,T], with procee Z i) and ϕ that are to be determined. To thi end we calculate the dynamic of V x X uing the product rule and compare the reult to the dynamic of x Y, which i the ame proce on the tochatic interval we conider, to obtain an equation that mut be atified by ϕ: Uing the product rule we have D i V x X) = Z ) i) x X +V σ x, i) x X +σ y, i) x Y +σ z, i) x Z = x Z i) and + DV x X) = ϕ x X +V µ x, x X +µ y, x Y +µ z, x Z) Z i) ) σ x, i) x X +σ y, i) x Y +σ z, i) x Z = f x, x X +f y, x Y +f z, x Z. We define procee h i) via h i) = x Z i) x X) 1, where i = 1,...,d. Note that h i) are R m n - valued. We denote by h the correponding R m d) n - valued proce. The above equation for D i V x X) yield after multiplication with x X) 1 : Z i) +Vσ i) x, +Vσ i) y, V +Vσ i) z, h = h i). 12

13 By defining E i R m m d) a the generalized matrix uch that E i z R m i the i - th column of an arbitrary z R m d, we have ) Z i) +Vσ x, i) +Vσ y, V i) = E i Vσ z, i) h. By combining σ x,, i) σ y, i) and σ z,, i) which are R n n, R n m and R n m d) - valued repectively, over i = 1,...,d, we obtain the procee σ x,, σ y, and σ z,, which are R n d n, R n d m and R n d m d) - valued repectively, and we can write Id m d Vσ z, ) 1 Z ) +Vσx, +Vσ y, V = h = h,v, Z), where Z i R m d) n - valued and where h now denote both a proce and a function by a light abue of notation. Furthermore, the equation for DV x X) yield or ϕ+v µ x, +µ y, V +µ z, h)+ ϕ = f x, +f y, V +f z, h Vµ x, Vµ y, V Vµ z, h Z i) ) σ x, i) +σ y, V i) +σ z, h i) = f x, +f y, V +f z, h Z i) ) σ x, i) +σ y, V i) +σ z, h i). Thu, we have proven that V ha the dynamic a in 4) but only on the tochatic interval [,τ k ] for arbitrary k N. It follow from definition that τ k i non-decreaing in k. So, we can define τ := lim k τ k. Alo, we can define Z on the whole of [,T] by etting it to zero outide of [,τ). It remain to how that Z i quare-integrable and that τ = T hold a..: Oberve that on [,τ k ] Z i) = E i Vσ i) z, ) x Z x X) 1 Vσ i) x, Vσ i) y, V and that x Z i quare-integrable due to trong regularity, while x X) 1 i uniformly bounded on [,τ k ]. Thi implie that Z i alo quare-integrable on [,τ k ] with the L 2 - norm poibly depending on k at thi point). We now ditinguih between the cae L σ,z = 0 and n = m = 1 to how that Z i quare-integrable on [,T]: In the firt cae σ z, i) vanihe and ϕ ha in fact a Lipchitz continuou dependence on Z. In other word, Z, retricted to the interval[,τ k ], i the control proce of a Lipchitz BSDE with terminal condition V τk. Since the Lipchitz contant of the FBSDE can be choen uniformly in k, we obtain that Z i quare-integrable. Now aume n = m = 1. Then V i one-dimenional and Z retricted to the interval [,τ k ] atifie a quadratic BSDE with terminal condition V τk. Uing Theorem A in [Fro15] we have that Z, retricted to the interval [,τ k ], i a BMO - proce with a BMO - norm which can be bounded independently of k. Thi yield that Z i a BMO - proce. In particular, it i quare-integrable. In both of the two cae above, it i the quare-integrability of Z that implie τ = T a..: Uing 5) we have t τk x X t τk = Id n + α x X d+ 13 t τk β i) x X dw i),

14 a.. for t [,T], where α := µ x, + µ y, V + µ z, h,v, Z ) and β i) := σ i) x, + σ i) y,v + σ i) z,h,v, Z ). In other word, x X atifie a linear SDE on [,τ k ], uch that we obtain t τk t τk ) t τk ) 2 x X t τk = exp α d+ β i) dw i) β i) d. Note that α and β are defined on [,T] ince Z i) and both are quare-integrable a h i linear in Z. Paing to the limit k and uing continuity of x X in time we have t τ t τ ) t τ ) 2 x X t τ = exp α d+ β i) dw i) β i) d. Due to the above, x X t τ i an invertible matrix and, moreover, for almot every fixed ω the operator norm x X t τ )ω)) 1 can be bounded independently of t [t1,t]. In other word, if we fix ω Ω then for ufficiently large k N the operator norm x X t )ω)) 1 remain below k for all t τω). Thi implie that, for almot every ω, we have τ k ω) = T for ufficiently large k. Therefore, τω) = T for almot all ω. 5 Dynamic of higher derivative Again, aume that ξ,µ,σ,f atify SLC) or MLLC). For µ,σ,f that are claically differentiable w.r.t. x,y,z) everywhere andξ that i claically differentiable w.r.t. x R n everywhere we can conider the FBSDE X = x+ 0 Y = ξx T ) V = ξ X T ) µr,x r,y r,z r )dr + fr,x r,y r,z r )dr 0 σr,x r,y r,z r )dw r, ϕr,x r,y r,z r,v r, Z r )dr Z r dw r, Z i) r dw i) r, [0,T]. 8) Here, ϕ i defined a in Theorem 4.1. Note that, unlike in Theorem 4.1, we do not have to aume L σ,z = 0 or n = m = 1 for ϕ to be well-defined a long a V < L 1 σ,z. Oberve that the forward equation in the above ytem i n - dimenional, while the backward equation i a ytem of m+m n equation. The forward proce i till X, but the backward proce i the pair Y,V). Now aume that we have a decoupling field to the above problem. We denote by u the firt m component of it. Due to Theorem 4.1 it i natural to aume that the remaining m n component of the decoupling field are the patial derivative u x of u. If we aume that u x i Lipchitz continuou, we can define an R m n n - valued proce ˇY 2) 2) via ˇY = u xx,x ). It i natural to ak whether thi proce atifie ome BSDE imilar to the one atified by V in Theorem 4.1 and what the generator of thi BSDE would be. Let u heuritically deduce a reaonable candidate for the generator. To thi end we can ue the ame approach a in the proof of Theorem 4.1 and view ˇY 2) a the product x V x X) 1, uch that ˇY 2) x X and x V coincide. Now aume that ˇY 2) i an Itô proce with ˇY 2) = ξ X T ) ϕ 2) r dr 14 Ž r 2,i) dw r i),

15 where ϕ 2) r i to be determined. Uing formal differentiation of the backward equation 8) we obtain the dynamic of x V : ) x V t = ξ X T ) x X T ϕ x, x X +ϕ y, x Y +ϕ z, x Z +ϕ v, x V +ϕ z, x Z d t t x Zi) dw i). By uing the product rule and matching the coefficient we obtain D i ˇY 2) x X) = Ž2,i) x X + ˇY 2) ) σ x, i) x X +σ y, i) x Y +σ z, i) x Z and DˇY 2) x X) = ϕ 2) x X + ˇY 2) µ x, x X +µ y, x Y +µ z, x Z) + Ž 2,i) ) σ x, i) x X +σ y, i) x Y +σ z, i) x Z = ϕ x, x X +ϕ y, x Y +ϕ z, x Z +ϕ v, x V +ϕ z, x Z. The dynamic for D i ˇY 2) x X) yield that Zi) x x X) 1 = Ž2,i) + ˇY 2) ) σ x, i) +σ y, V i) +σ z, h i) Combined with the dynamic of DˇY 2) x X) we obtain ϕ 2) = ϕ x, +ϕ y, V +ϕ z, h+ϕ v, ˇY 2) +ϕ z, h 2) ˇY 2) µ x, +µ y, V +µ z, h) Ž 2,i) ) σ x, i) +σ y, V i) +σ z, h i). =: h 2,i). = x Zi) Thi heuritic calculation can be traightforwardly generalized to higher order derivative. It i, therefore, natural to make the following definition: Aume that µ,σ,f are k N 1 time claically differentiable w.r.t. x,y,z) everywhere and that ξ i k time claically differentiable w.r.t. x everywhere. Define the et Θ k recurively via: Θ 0 := [0,T] Ω R n R m R m d, Θ 1 := Θ 0 { v R m n v < L 1 } σ,z R m d) n and, for k larger than 1, et Θ k := Θ k 1 R m kn R m d) kn. We would like to define function h k) : Θ k R m d) kn and ϕ k) : Θ k R m kn generalizing h and ϕ. For an element θ k = t,ω,x,ˇy 0),ž 0),...,ˇy k),ž k)) Θ k define θ i := t,ω,x,ˇy 0),ž 0),...,ˇy i),ž i)) Θ i for every i = 0,...,k and et θ := θ 0. Now, we can define h 1) via h 1) θ 1 ) := ) 1 Id m d ˇy 1) σ z θ) ˇy 1) σ x θ)+ ˇy 1) σ y θ)ˇy 1) +ž 1)), 9) 15

16 and h k), for k 2, via h k,j) θ k ) := ž k,j) + ˇy k) ) σ x j) θ)+σj) y θ)ˇy1) +σ z j) θ)h1) θ 1 ), j = 1,...,d. Next we et ϕ 0) := f and for k 1 define ϕ k) via: k 1 ϕ k) θ k ) := ϕ k 1) x θ k 1 )+ i=0 ϕ k 1) ˇy i) ˇy k) µ x θ)+µ y θ)ˇy 1) +µ z θ)h 1) θ 1 ) j=1 ) θ k 1 )ˇy i+1) +ϕ k 1) θ ž i) k 1 )h i+1) θ i+1 ) ) ž k,j) ) σ x j) θ)+σj) y θ)ˇy1) +σ z j) θ)h1) θ 1 ). 10) Note that thi definition make ene only if ϕ k 1), µ and σ are ufficiently mooth uch that all derivative exit a claical derivative. We will later derive thi from certain differentiability requirement for f, µ, σ. Alo note that ϕ k 1) θ ˇy i) k 1 ) i defined a a linear mapping between the pace R m in and R m k 1n. Thu, we can merely apply ϕ k 1) θ ˇy i) k 1 ) to object from R m in, while ˇy i+1) i from R m i+1n. However, we can identify ˇy i+1) with a vector of n object from R m in and apply θ k 1 ) component-wie. Similarly, we define the product ϕ k 1) θ ž i) k 1 )h i+1) θ i+1 ). ϕ k 1) ˇy i) Oberve that h k) and ϕ k) are affine linear in ˇy k),ž k) if k 2. Note alo that ϕ 1) = ϕ and h 1) = h are, in general, quadratic in ˇy 1),ž 1) ) if L σ,z = 0 and even non-polynomial in ˇy 1) if L σ,z > 0. Due to our heuritic conideration, which are traightforward to generalize to arbitrary k, it i natural to expect the proce w.r.t. x, auming it exit, to atify ˇY i) = u i,x ), where u i i the i - the derivative of u ˇY i) = ξ i) X T ) ϕ i) 0) r,x r, ˇY r,ž0) i) r,..., ˇY r,ži) r )dr j=1 Ž r i,j) dw r j), 11) where Ži,j) i R m in - valued and i extracted from ome R m d) in - valued proce Ži) again auming it exit). Here ξ i) refer to the i - th derivative of ξ w.r.t. x R n. Now, for arbitrary k N 0 let u make the following definition: Definition 5.1. We call a function u 0),...,u k)) : [t 0,T] Ω R n k i=0 Rm in a k- decoupling field for ξ,µ,σ,f)) if u 0),...,u k)) T, ) = ξ,...,ξ k) ) a.e. and if for all t 0 t 2 T and all F t1 -meaurable random vector X t1 : Ω R n there are progreively meaurable procee X: [,t 2 ] Ω R n and ˇY i),ži) : [,t 2 ] Ω R m in,r m d) in, where i = 0,...,k, uch that X = X t1 + ˇY i) = 0) ˇY r,ž0) 0) r )dr + σr,x r, ˇY r,ž0) r )dw r, µr,x r, t2 i) ˇY t 2 ϕ i) 0) r,x r, ˇY r,ž0) i) r,..., ˇY r,ži) r )dr ˇY i) = u i),x ), j=1 t2 Ž r i,j) dw r j), 16

17 a.. for all [,t 2 ] and all i = 0,...,k and uch that, in cae k L σ,z > 0, ˇY 1) < L 1 σ,z. In particular, we aume that all integral exit and that all ϕ i), i = 1,...,k, are well-defined, uch that recurion 10) i atified. We call a k-decoupling field a Markovian k-decoupling field if the procee X, ˇY i),ži) can be choen in uch a way that all Ž i), i = 0,...,k, are eentially bounded procee. We call a k-decoupling field weakly regular if L u 0),x < L 1 σ,z, up u 0),0) < and, in cae k > 0, alo [t 0,T] u 1) < L 1 σ,z and u i) +L u i),x < for all i = 1,...,k. Note that a tandard Markovian decoupling field i a Markovian 0-decoupling field. Alo, note that we do not require u i) to be the i - th derivative of u 0) at thi point. Intead, thi i omething that need to be hown under uitable condition. In order to be able to contruct Markovian k-decoupling field we make Lipchitz continuity requirement for ξ,µ, σ, f)) which are a traightforward generalization of the more tandard MLLC theory for Markovian decoupling field: Definition 5.2. We ay that ξ,µ, σ, f)) atifie k-modified local Lipchitz condition k- MLLC) if it atifie MLLC) and in addition the following i fulfilled: µ, σ, f are k time claically differentiable w.r.t. x, y, z) everywhere with derivative that are Lipchitz continuou in x,y,z) on et of the form [0,T] R n R m B, where B R m d i a bounded et. In addition: ξ i k time claically differentiable everywhere with Lipchitz continuou derivative. In the above definition k N 0. Alo 0-MLLC) and MLLC) are the ame. We oberve that k-mllc) tranlate into Lipchitz continuity propertie for ϕ i) : Lemma 5.3. Aume that ξ,µ,σ,f)) atify k-mllc) for ome k N 0. Then for all i {0,...,k} the function ϕ i) i well-defined and k i+1 time weakly differentiable w.r.t. x,ˇy 0),ž 0),...,ˇy i),ž i) ) R n i R m ln R m d) ln. Furthermore, thee derivative, which in cae i 1 include the function ϕ i) itelf, are eentially bounded on et of the form [0,T] R n R m A i l=1 B l C l, where A R m d, B l R m ln and C l R m d) ln are compact et, uch that, in cae i 1, the et B 1 i contained in the open ball of radiu L 1 σ,z. Proof. We conduct an inductive argument over i: For i = 0 there i nothing to prove, ince f = ϕ 0) atifie the requirement made in the definition of k-mllc). Note that a locally Lipchitz continuou function i weakly differentiable with a locally bounded derivative. Now let u make the general obervation that the property of a function of being certain time weakly differentiable w.r.t. the pecified variable with derivative bounded on the pecified et i maintained when multiplying two function which already have thi property. It l=0 17

18 i, thu, traightforward to deduce from definition 9) that h 1) i k time weakly differentiable w.r.t. the pecified variable with the derivative including h 1) itelf) being bounded on the pecified et. Similarly, the function θ 1 σ j) x θ)+σ j) y θ)ˇy 1) +σ j) z θ)h 1) θ 1 ) and θ 1 µ x θ)+µ y θ)ˇy 1) +µ z θ)h 1) θ 1 ) are alo k time weakly differentiable w.r.t. the pecified variable with derivative bounded on the pecified et. The ame applie to h i) for all i 2. Now aume that the tatement hold true for ome i {0,...,k 1} and conider the definition of ϕ i+1) ee 10)). Note that, ince ϕ i) i k i + 1 time weakly differentiable in the above ene with derivative that are locally bounded in the above ene, the weak derivative ϕ i) x, ϕ i) ˇy l), ϕ i) ž l), l = 0,...,i, are k i time weakly differentiable in the above ene with derivative locally bounded in the above ene. Thi directly tranlate into ϕ i+1) having the ame property due to it definition. We define θ i := t,ω,x, ˇy 0),ž 0),...,ˇy i 1),ž i 1),ˇy i) ) uch that θ i = θ i,ž i)). ϕ k) ha the following intereting tructural property regarding it dependence on the variable ž k). Propoition 5.4. Aume that ξ,µ,σ,f)) atify k-mllc) for ome k N 0. Then ϕ k) ž k) can be expreed a a function of θ 1 only. Moreover, it i merely a function of θ 1 in cae L σ,z = 0. Proof. We prove the tatement uing induction over k. For k = 0 the tatement i clearly true a ϕ 0) = f. Now let k N 1 and aume the tatement i true up to k 1. Now conider the definition of ϕ k) ee 10)). Note that there are only two part which depend on ž k) : The ummand ϕ k 1) ž k 1) θ k 1 )h k) θ k ) and the um j=1 ž k,j) ) σ x j) θ)+σ y j) θ)ˇy 1) +σ z j) θ)h 1) θ 1 ). Note that the derivative of the above um w.r.t. ž k) depend only on the factor σ x j) θ) + σ y j) θ)ˇy 1) + σ z j) θ)h 1) θ 1 ), which in turn i a function of θ 1 or even jut θ,ˇy 1) ) = θ 1 if L σ,z = 0. We already know that ϕ k 1) θ ž k 1) k 1 ) depend on θ 1 only or even jut on θ,ˇy 1) ) in cae L σ,z = 0 induction hypothei). Alo note that h k) θ k ) i linear in ž k) : h k,j) θ k ) = ž k,j) + ˇy k) ) σ x j) θ)+σ y j) θ)ˇy 1) +σ z j) θ)h 1) θ 1 ), j = 1,...,d. Thu, if L σ,z = 0, then σ j) z vanihe and ϕ k) ž k) indeed depend on θ,ˇy 1) ) only. Now conider the cae L σ,z > 0. If k = 1 there i nothing to proof a all term depend on θ 1 only. In cae k 2 the factor ϕ k 1) ž k 1) θ k 1 ) doe not depend on ž k) and, thu, we only need to apply the derivative w.r.t. ž k) to the factor h k) θ k ) which in fact reult in the identity becaue k > 1. Lemma 5.5. Aume that ξ,µ,σ,f)) atify k-mllc) for ome k N 0. If k 3 then the weak derivative ϕ k) can be expreed a a function of θ ž k 1) k only. If L σ,z = 0 the ame hold true even for k = 2. 18

19 Proof. Conider the definition of ϕ k) according to 10). After differentiating ϕ k) w.r.t. ž k 1) all part which depend on ž k) diappear including the ummand ϕ k 1) θ ž i) k 1 )h i+1) θ i+1 ) for i = k 1: ϕ k 1) doe not depend on ž k 1) according to Propoition 5.4 and neither doe ž k 1) h k) θ k ). Thi i becaue for k 3 the variable ž k 1) i not contained in θ 1, while for k 2 and L σ,z = 0 it i not even contained in θ 1. 6 Main reult for higher derivative Before developing a theory for k-mllc) problem let u make a few important definition: Definition 6.1. Let u 0),...,u k)) : [t 0,T] Ω R n k i=0 Rm in be a weakly regular Markovian k-decoupling field for ξ,µ,σ,f)). We ay that it i trongly regular if for all fixed,t 2 [t 0,T], t 2, the procee X, ˇY i),ži), i = 0,...,k, ariing in the definition of a Markovian k-decoupling field are a.e unique and atify up E t1, [ X 2 ]+ up E t1, [ ˇY 0) 2 ] <, 12) [,t 2 ] [,t 2 ] for each contant initial value X t1 = x R. In addition they are required to be meaurable a function of x,,ω) and even weakly differentiable w.r.t. x R n uch that for every i) [,t 2 ] the mapping X, ˇY, i = 0,...,k are meaurable function of x,ω) and even weakly differentiable w.r.t. x uch that eup x R up E t1, [,t 2 ] eup x R up eup x R E t1, E t1, [,t 2 ] [ t2 [ x X 2] <, [ xˇy i) x Ž i) 2] <, ] 2 d <, i = 0,...,k. 13) Definition 6.2. Let u 0),...,u k)) : [t 0,T] Ω R n k i=0 Rm in be a Markovian k- decoupling field for ξ,µ,σ,f)). We call u 0),...,u k)) controlled in z if there exit a contant C > 0 uch that for all [,t 2 ] [t 0,T], t 2, and all initial value X t1, the correponding procee X, ˇY i),ži), i = 0,...,k, from the definition of a Markovian k- decoupling field atify Ži) ω) C, i = 0,...,k, for almot all,ω) [t 0,T]. If for a fixed triple,t 2,X t1 ) there are different choice for X, ˇY i),ž i), then all of them are uppoed to atify the above control. Definition 6.3. For arbitrary k N 0 we define the k-maximal interval Jmax k [0,T] a the union of all interval [t 0,T] [0,T] on which a weakly regular Markovian k-decoupling field exit. We have exitence, uniquene and regularity on the maximal interval: Theorem 6.4. Aume that ξ,µ,σ,f)) atify k-mllc) for ome k N 1. Then there exit a unique weakly regular Markovian k-decoupling field u 0),...,u k)) on J k max. Thi Markovian k-decoupling field i determinitic, continuou, trongly regular and controlled 19

20 in z. Furthermore, if Jmax k = k min,t] with ome k min [0,T), then up L u 0) t, ),x = L 1 σ,z or t Jmax k up u 1) t, ) = L 1 σ,z t Jmax k or up L u i) t, ),x = or t Jmax k up u j) t, ) = t Jmax k for ome i,j) {1,...,k} {2,...,k}. Otherwie, Jmax k = [0,T] hold. Proof. Firtly, conider the following tranformation: For a weakly regular Markovian k- decoupling field u 0),...,u k)) on an interval [t 0,T] and a parameter λ > 0 we can define ū0),...,ū k)) via ū i) t,x) = λ i u i) t,λ 1 x), i = 0,...,k. It i traightforward to verify that ū 0),...,ū k)) i a Markovian k-decoupling field to the problem given by ξ, µ, σ, f)), where ξx) := ξλ 1 x), µ, σ)t,x,y,z) := λ µ,σ)t,λ 1 x,y,z) and ft,x,y,z) := ft,λ 1 x,y,z). Note that the correponding h i), ϕ i) alo change: h i) t,x,ˇy 0),ž 0),...,ˇy i),ž i) ) = λ i h i) t,λ 1 x,λ 0ˇy 0),λ 0 ž 0),...,λ iˇy i),λ i ž i) ), ϕ i) t,x,ˇy 0),ž 0),...,ˇy i),ž i) ) = λ i ϕ i) t,λ 1 x,λ 0ˇy 0),λ 0 ž 0),...,λ iˇy i),λ i ž i) ). From the tranformed problem we can obtain the previou uing the ame tranformation, but with the parameter λ 1 intead of λ. The two problem are eentially equivalent to each other, however, while Lū0),x = λ 1 L u 0),x, L σ,z = λl σ,z and Lū0),x L σ,z = L u 0),x L σ,z < 1, we have Lūi),x = λ i+1) L u i),x for i 1. By chooing λ ufficiently large we can make ure that L ū 0),...,ū k) ),x L σ,z < 1 even though L u 0),...,u k) ),x L σ,z i poibly not below 1. The ize of the λ > 0 neceary to make ure tha L ū 0),...,ū k) ),x L σ,z L u 0),x L σ,z) depend on L u 0),x L σ,z < 1 and alo the value L u i),x <, i = 1,...,k, and i monotonically increaing in them. Furthermore, by chooing λ > 0 ufficiently large, we can make ure that ū 0),...,ū k)) contructed a above i a weakly regular Markovian decoupling field on [t 0,T] to an MLLC) problem given by 11) with i = 0,...,k and h i), ϕ i) intead of h i), ϕ i) : In order to enure MLLC) we mut ue a paive "inner cutoff" for ˇY 1) which truncate every n m - matrix to a matrix which ha an operator norm of at mot c, where c > 0 i ome contant maller than L 1 σ,z. Note that uch a c exit conidering the fact that ˇY 1) i bounded by ū 1) < L 1 σ,z. To enure the type of Lipchitz continuity needed for MLLC) we can imilarly ue paive "inner cutoff" for ˇY i), i = 2,...,k, a well, which i poible due to boundedne of u i), i = 2,...,k. The above reduction to a more tandard etting directly implie uniquene, trong regularity, continuity and the property of u 0),...,u k)) to be determinitic and controlled in z. Thi i becaue all thee propertie are atified by ū 0),...,ū k)) ee Theorem 2.6, 2.8) and tranfer to u 0),...,u k)). However, the above tranformation can alo be ued to contruct weakly regular Markovian k-decoupling field on mall interval in the firt place: Let t Jmax k. Our goal i to contruct a 20