arxiv: v1 [math.ap] 22 May 2017

Transcription

1 Pseudo-differential oerators in vector-valued saces and alications VELI SHAKHMUROV arxiv: v [math.ap] 22 May 207 Okan University, Deartment of Mechanical Engineering, Akfirat, Tuzla Istanbul, Turkey, ABSTRACT Pseudo-differential oerator equations with arameter are studied. Uniform L -searability roerties and resolvent estimates are obtained in terms of fractional derivatives. Moreover, maximal regularity roerties of the seudodifferential abstract arabolic equation are established. Particularly, it is roven that the oerators generated by these seudo-differential equations are ositive and aso are generators of analytic semigrous. As an alication, the anisotroic arameter deendent seudo-differential equations and the system of seudodifferential equations are studied. AMS: 47GXX, 35JXX, 47FXX, 47DXX, 43AXX Key Word: seudo-differential equations, Sobolev-Lions saces, differentialoeratorequations,maximall regularity,abstractarabolicequations,oeratorvalued multiliers. Introduction, notations and background Differential-oerator equations DOEs) have found many alications in PDEs and seudo-differential equations PsDEs) see e.g. [], [5], [], [2], [6 9], [24] ). Regularity roerties of PsDEs have been studied extensively by many researchers; see e.g. [6, 0], [2-22] and the references therein. The boundedness of PsDEs in Sobolev saces have been treated e.g. in [0], [4], [22]. Moreover, the smoothness of PsDEs with bounded oerator coefficients have been exlored e.g. in [8], [5]. In contrast to [8], [5], the PsDE considered here contain unbounded oerators and arameters. In articular, the main objective of the resent aer is to discuss the uniform L R n ;E) maximal regularity of ellitic seudo-differential oerator equations PsDOEs) with arameters P t D)u+Au+ tα)a α x)d α u+λu = f x), x R n,.) α <m where P t D) is the seudo-differential oerator, A and A α x) are linear oerators in a Banach sace E, for α i [0, ), α = α,α 2,...α n ) and D α =

2 D α Dα2 2...Dαn n are the Liouville derivatives; m is a ositive number, t k are ositive, λ is a comlex arameter, t = t,t 2,...,t n ) and tα) = n t α k m k ; L ;E) denotes the sace of strongly measurable E-valued functions that are defined on the measurable subset R n with the norm given by f = L;E) f x) E dx, <. We rove that roblem.) has a maximal regular unique solution and the following uniform coercive estimate holds tα) λ α m D α u LR n ;E) + Au L R n ;E) C f L R n ;E).2) α m for f L R n ;E), λ S ϕ, where S ϕ is a set of comlex numbers that is related with the sectrum of the oerator A. The estimate.2) imlies that the oerator O t generated by.) has a bounded inverse from L R n ;E) into the sace H m Rn ;EA),E), which will be defined subsequently. Particularly, from the estimate.2) we obtain that the oerator O t is uniformly ositive in L R n ;E). By using this roerty we rove the uniform well osedness of the Cauchy roblem for the following arabolic PsDOE with arameter u y +P td)u+au = f y,x), u0,x) = 0,.3) in E-valued mixed sacesl, =, ). In other words, we show that roblem.3) has a unique solution u W,m R n+ + ;EA),E) for f L R n+ + ;E) satisfying the following uniform coercive estimate u y + P t D)u L R n+ ;E) LR n+ + ;E)+.4) + Au LR n+ ;E) M f + L R n+ ;E). + Note that, constants C, M in estimates.2) and.4) are indeendent of arameters. As an alication in this aer the following are established: a) maximal regularity roerties of the anisotroic ellitic PsDE in mixed L, =,) saces; b) coercive roerties of the system of PsDEs of infinite order in L saces. Let ;Σ,µ) be a comlete robability sace, <. L ;Σ,µ,E) denotes µ measurable E valued Bochner sace with norm f = L;Σ,µ,E) f x) E dµ. 2

3 A Banach sace E is called UMD sace see [7, 5]) if E-valued martingale difference sequences are unconditional in L ;Σ,µ,E) for, ), i.e., there exists a ositive constant C such that for any martingale {f k } any choice of signs {ε k } {,}, k N and N N N f 0 + ε k f k f k ) C f N. L,Σ,µ,E) L,Σ,µ,E) It is shown see [3 4]) that the Hilbert oerator f y) Hf)x) = lim ε 0 x y dy x y >ε is bounded in the sace L R,E),, ) for those and only those saces E which ossess the roerty of UMD saces. UMD saces include e.g. L, l and Lorentz saces L q,, q, ). Let C denote the set of comlex numbers and S ϕ = {λ; λ C, argλ ϕ} {0}, 0 ϕ < π. A linear oerator A is said to be ϕ-ositive or ositive ) in a Banach sace E if DA) is dense on E and A+λI) BE) M + λ ) for any λ S ϕ, where ϕ [0, π), I is the identity oerator in E, BE) is the sace of bounded linear oerators in E. Sometimes A+λI will be written A+λ and will be denoted by A λ. It is known [20,.5.] that the owers A θ, θ, ) for a ositive oerator A exist. The oerator Ah), h Q C is said to be ϕ-ositive or ositive) in E uniformly with resect to h Q if DAh)) is indeendent of h, DAh)) is dense in E and Ah)+λ) M + λ ) for all λ S ϕ, 0 ϕ < π, where M does not deend on h and λ. Let E A θ) denote the sace D A θ) with the norm u EA θ ) = u + A θ u ), <, 0 < θ <. AsetW BE,E 2 )iscalledr-boundedseee.g. [23])ifthereisaconstant C > 0 such that for all T,T 2,...,T m W and u, u 2,...,u m E, m N m m r j y)t j u j dy C r j y)u j dy, E2 E 0 where {r j } is an arbitrary sequence of indeendent symmetric {,}-valued random variables on [0, ]. 0 3

4 The smallest C for which the above estimate holds is called a R-bound of the collection W and is denoted by RW). A set of oerators G h BE,E 2 ) deending on arameter h Q C is called uniformly R-bounded with resect to h if there is a constant C indeendent of h Q such that m m r j y)t j h)u j dy C r j y)u j dy E2 E for all T h),t 2 h),...,t m h) G h and u, u 2,...,u m E, m N. It imlies that surg h ) C. h Q The oerator A is said to be R-ositive in a Banach sace E if the set {λa+λ) : λ S ϕ } is R-bounded. A ositive oerator Ah) is said to be uniformly R-ositive in a Banach sace E if there exists ϕ [0, π) such that the set {λah)+λ) : λ S ϕ } is uniformly R-bounded. Let SR n ;E) denote the E valued Schwartz class, i.e.,thesaceofalle-valuedraidlydecreasingsmoothfunctionsonr n equied with its usual toology generated by seminorms. For E = C this sace will be denoted by S = SR n ). S E) = S R n ;E) denotes the sace of linear continuous maings from S into E and is called E-valued Schwartz distributions. For any α = α,α 2,...α n ), α i [0, ) the function iξ) α will be defined such that { iξ) α iξ ) α...iξ = n ) αn, ξ ξ 2,...,ξ n 0 0, ξ,ξ 2,...,ξ n = 0, where iξ k ) α k = ex[α k ln ξ k +iπ sgn ξ k /2)], k =,2,...,n. The Liouville derivatives D α u of an E-valued function u are defined similarly to the case of scalar functions [3]. C;E) and C m) ;E) will denote the saces of E valued bounded uniformly strongly continuous and m times continuously differentiable functions on, resectively. Let F and F denote the Fourier and inverse Fourier transforms defined as Fu = 2π) n 2 [exx,ξ)]ux)dx, F u = 2π) n 2 [ex x,ξ)]uξ)dξ, R n R n 4

5 where x = x,x 2,...,x n ), ξ = ξ,ξ 2,...,ξ n ) R n, x,ξ) = n x k ξ k. Through this section, the Fourier transformation of a function u will be denoted by û. It is known that F D α x u) = iξ ) α...iξ n ) αn û, D α ξ F u)) = F [ ix n) α... ix n ) α n u ] for all u S R n ;E). Let E and E 2 be two Banach saces. BE,E 2 ) denotes the sace of bounded linear oerators from E to E 2. A function Ψ CR n ;BE,E 2 )) is called a Fourier multilier from L R n ;E ) to L R n ;E 2 ) if the ma u Λu = F Ψξ)Fu, u SR n ;E ) is well defined and extends to a bounded linear oerator Λ : L R n ;E ) L R n ;E 2 ). The set of all multiliers from L R n ;E ) to L R n ;E 2 ) will be denoted by M E,E 2 ). For E = E 2 = E it is denoted by M E). Let Φ h = { Ψ h M E,E 2 ), h Q } denote a collection of multiliers deending on the arameter h. We say that W h is a uniform collection of multiliers if there exists a ositive constant M indeendent of h Q such that F Ψ h Fu LR n ;E 2) M u L R n ;E ) for all h Q and u SR n ;E ). Let E 0 and E be two Banach saces and E 0 be continuously and densely embedded intoe. Lets R andξ = ξ,ξ 2,...,ξ n ) R n. Considerthe following Liouville-Lions sace H s R n ;E 0,E) = {u u S R n ;E 0 ), F + ξ ) s 2 Fu L R n ;E), } F u H s R n ;E = u 0,E) L R n ;E + 0) + ξ ) s 2 Fu <. LR n ;E) Let t = t,t 2,...,t n ) and t k be ositive arameters. We define the following arameterized norm in H s R n ;E 0,E) : u H s,t R n ;E 0,E) = u L R n ;E 0) + F n + t 2 s k ξ 2 k ) 2 s Fu LR n ;E) <. 5

6 Sometimes we use one and the same symbol C without distinction in order to denote ositive constants which may differ from each other even in a single context. When we want to secify the deendence of such a constant on a arameter, say α, we write C α. Byusingthetechniquesof[9,Theorem 3.7]andreasoningasin[9, Theorem A 0 ] we obtain the following roosition. Proosition A 0. Let E and E 2 be two UMD saces and Ψ h C n R n \{0};BE,E 2 )). Suose there is a ositive constant K such that { }) sur ξ β D β Ψ h ξ): ξ R n \{0}, β i {0,} h Q for β = β,β 2,...,β n ), β = n β k. K, ThenΨ h isauniformcollectionofmultiliersfroml R n ;E )tol R n ;E 2 ) for, ). Proof: Some stes Lemma 3., Proosition 3.2) of roof [9, Theorem 3.7] trivially work for the arameter deendent case. Other stes Theorem 3.3, Lemma 3.5) can be easily shown by relacing { } ξ β D β Ψξ): ξ R n \{0} with Σ h = { } ξ β D β Ψ h ξ) : ξ R n \{0} and by using the uniform R-boundedness of the set Σ h. However, the arameter deendent analog of Proosition 3.4 in [9] is not straightforward. Let M h, M h,n L loc R n,be,e 2 )) be Fourier multiliers from L R n ;E ) to L R n ;E 2 ). Let M h,n converge to M h in L loc R n,be,e 2 )) and T h,n = F M h,n F be uniformly bounded with resect to h and N. Then the oerator T h = F M h F is uniformly bounded, so we obtain the assertion of Proosition A 0. Theembeddingtheoremsinvectorvaluedsaceslayakeyroleinthetheory of DOEs. For estimating lower order derivatives in terms of interolation saces we use following embedding theorems from [7]. Theorem A. Suose E is an UMD sace, 0 < t k t 0 <, < q < and A) is an R-ositive oerator in E. Then for s 0, ) with κ = α +n q s, 0 µ κ the embedding D α H s Rn ;EA),E) L q R n ;E A κ µ)) 6

7 is continuous and there exists a constant C µ > 0, deending only on µ such that [ ] tα) D α u LqR n ;EA κ µ )) C µ h µ u H s,t R n ;EA),E) +h µ) u LR n ;E) for all u H s R n ;EA),E) and 0 < h h 0 <. 2. PsDOE with arameters in Banach saces Consider the rincial art of the roblem.) : L t +λ)u = P t D)u+Au+λu = f x), x R n, 2.) where P t D) is the seudo-differential oerator defined by P t D)u = F P t ξ)ûξ) = 2π) n 2 R n e ix,ξ) P t ξ)ûξ)dξ, 2.2) Condition 2.. Assume P t ξ) S m for some ositive number m, i.e., D α ξ P t ξ) n Cα + t 2 m α k ξ 2 k ) 2 m α for all ξ R n and t k 0, t 0 ]. Suose P t ξ) S ϕ for all ξ R n, t k 0, t 0 ], n 0 ϕ < π and there is a constant γ > 0 such that P t ξ) γ t k ξ k m. Let Y = H m Rn ;EA),E). In this section we rove the following Theorem 2.. Assume the Condition 2. hold. Suose E is an UMD sace,, ) and A is an R-ositive oerator in E with resect to ϕ 0, π]. Then for f L R n ;E), λ S ϕ2, 0 ϕ 2 < π ϕ and ϕ +ϕ 2 ϕ thereisauniquesolutionuoftheequation2.)belongingtoy andthefollowing coercive uniform estimate holds tα) λ α m D α u LR n ;E) + Au L R n ;E) C f L R n ;E). 2.3) α m Proof. By alying the Fourier transform to equation 2.) we obtain [P t ξ)+a+λ]ûξ) = ˆf ξ). 2.4) By construction λ+p t ξ) S ϕ, for all t k 0, t 0 ], ξ R n and the oerator A+λ+P t ξ) is invertible in E. So, from 2.4) we obtain that the solution of equation 2.) can be reresented in the form ux) = F [A+λ+P t ξ)] ˆf. 2.5) 7

8 By definition of the ositive oerator A, the inverse of A is bounded in E. Then the oerator A is a closed linear oerator as an inverse of bounded linear oerator A ). By the differential roerties of the Fourier transform and by using 2.5) we have Au X = F A[A+λ+P t ξ)] ˆf, X D α u X = F ξ α [A+λ+P t ξ)] ˆf, X where X = L R n ;E). Hence, it suffices to show that oerator-functions σt,λ,ξ) = A[A+λ+P t ξ)], σ α t,λ,ξ) = tα) λ α m ξ α [A+λ+P t ξ)] are collections of multiliers in X uniformly with resect to t k 0, t 0 ] and λ S ϕ2. By virtue of [5, Lemma 2.3], for λ S ϕ and ν S ϕ2 with ϕ +ϕ 2 < π there is a ositive constant C such that λ+ν C λ + ν ). 2.6) By using the ositivity roerties of oerator A we get that Bλ,t) = [A+λ+P t ξ)] is bounded for all ξ R n, λ S ϕ, t k 0, t 0 ] and Bλ,t) C+ λ+p t ξ) ). By using Condition 2. and estimate 2.6) we obtain that Bλ,t) C+ λ + P t ξ) ) 2.7) C 2 [+ λ + ] n t k ξ k m. Then by using the resolvent roerties of ositive oerators and uniform estimate 2.7) we obtain σt,λ,ξ) I +λ+p t ξ))[a+λ+p t ξ)] + λ + P t ξ) )+ λ + P t ξ) ) C 3, where I is an identity oerator in E. Moreover, by using the well known inequality ) n y β yβ yβ n n C + yk m 8

9 for β m, y k > 0 and β = β,β 2,...,β n ) for all u E we have λ n σ α t,λ,ξ)u E tα) λ α m ξ α Bλ,t)u E ) t m k λ αk n m ξ k Bλ,t)u E C α λ + t k ξ k ) Bλ,t)u m E. In view of estimate 2.7) and by Condition 2. we get from the above inequality σ α t,λ,ξ)u E C α u E. So, we obtain that the oerator functions σt,λ,ξ) and σ α t,λ,ξ) are uniformly bounded, i.e., σt,λ,ξ) BE) C, σ α t,λ,ξ) BE) C α. 2.8) Due to R-ositivity of A, by 2.8) and by Kahane s contraction rincile [6, Lemma 3.5] we obtain that the set is uniformly R-bounded, i.e., {σt,λ,ξ); ξ R n \{0}} sur{σt,λ,ξ); ξ R n \{0}} M 0. t,λ In a similar way we obtain { }) R ξ β D β ξ σt,λ,ξ) : ξ Rn \{0} M 2.9) for β = β,β 2,...,β n ), β i {0,}. Consider the following sets { } σ β t,λ,ξ) = ξ β D β ξ σt,λ,ξ) : ξ Rn \{0}, } σ β α { ξ t,λ,ξ) = β D β ξ σ αt,λ,ξ) : ξ R n \{0}, β = β,β 2,...,β n ), β i {0,}. In view of the R ositivity roerties of oerator A and due to Kahane s contraction, addition and roduct roerties of the { collection of R-bounded oerators see e.g. [7, 23]) and by 2.9) for all ξ j)} { R n, σ β α t,λ,ξ j))}, j =,2,...,µ, u, u 2,...,u µ E and indeendent symmetric {,} valued random variables r j y), µ N we obtain the following uniform estimate 9

10 i.e., C µ r j y)σ β α t,λ,ξ j)) u j dy E µ σ β t,λ,ξ j)) µ r j y)u j dy C r j y)u j dy, E E { }) R ξ β D β ξ σ αt,λ,ξ) : ξ R n \{0} M β. Hence, we infer that the oerator-valued functions σt,λ,ξ) and σ α t,λ,ξ) are uniform R bounded multiliers and it s R bounds are indeendent of t and λ. By virtue of Preosition A 0, the oerator-valued functions σt,λ,ξ) and σ α t,λ,ξ) are uniform collections of Fourier multiliers in L R n ;E). So, we obtain that for all f L R n ;E) there is a unique solution of equation 2.) and estimate 2.3) holds. Let O t denote the oerator in X = L R n ;E) generated by roblem 2.) for λ = 0, i.e., DO t ) H m Rn ;EA),E), O t u = P t D)u+Au. Theorem 2. and the definition of the sace H m Rn ;EA),E) imly the following result: Result 2.. Assume all conditions of Theorem 2. are satisfied. Then there are ositive constants C and C 2 so that C O t u X u H m,t R n ;EA),E) C 2 O t u X for u Y. Indeed, if we ut λ = in 2.3), by Theorem 2. we get tα) D α u X + Au X C O t u X 2.0) α m for u Y. Due to the closedness of A and by the differential roerties of the Fourier transform we have Au X = F Aû X, D α u X = F ξ α û X. So, in view of estimate 2.0) and by definition of Y we obtain u H m,t R n ;EA),E) C 2 O t u X. The first inequality is equivalent to the following estimate F Aû X + F P t ξ)û X 0

11 C F Aû X + F n + t 2 m k ξ 2 k So, it suffices to show that the oerator functions A A+ n + t 2 m k ξ 2 k ) 2 m ) 2, tα)ξ α + m û X. n t 2 m k ξ 2 k are uniform Fourier multiliers in X. This fact is roved in a similar way as in the roof of Theorem 2.. From Theorem 2. we have: Result 2.2. Assume all conditions of Theorem 2. hold. Then, for all λ S ϕ the resolvent of oerator O t exists and the following shar uniform estimate holds tα) D α O t +λ) BX) + AO t +λ) BX) C. 2.) α m Indeed, we infer from Theorem 2. that the oerator O t +λ has a bounded inverse from X to Y. So, the solution u of equation 2.) can be exressed as ux) = O t +λ) f for all f X. Then estimate 2.3) imlies the estimate 2.). Result 2.3. Theorem 2. articularly imlies that the oerator O t is ositive in X. Then the oerators Ot σ are generators of analytic semigrous in X for σ 2 see e.g. [20,.4.5]). Now consider the roblem.). By using Theorem 2. and the erturbation theory of linear oerators we have the following Theorem 2.2. Assume all conditions of Theorem 2. are satisfied. Suose A α x)a α m µ) L R n ;BE)) for µ 0, α m ) 2 m ). Then for f L R n ;E), λ S ϕ2, 0 ϕ 2 < π ϕ, ϕ + ϕ 2 ϕ and for sufficiently large λ there is a unique solution u of the equation.) belonging to Y and the following coercive uniform estimate holds α m tα) λ α m D α u LR n ;E) + Au L R n ;E) C f L R n ;E). 2.2) Proof. It is clear that Q t = O t +L t, where O t is the oerator in L R n ;E) generated by roblem 2.) for λ = 0 and L t u = tα)a α x)d α u, u Y. α <m In view of the condition on A α x) and by the Theorem A for u Y we have

12 L t u X tα) A α x)d α u X C µ α <m α <m tα) A α m µ D α u X C µ [ h µ u H m,t R n ;EA),E) +h µ) u X ]. 2.3) Then from estimates 2.2), 2.3) and for u Y we obtain [ ] L t u X C h µ O t u X +h µ) u X. 2.4) Since u X = λ O t +λ)u+l t u X for λ S ϕ2. Hence, for u Y we get u X λ [ O t +λ)u X + O t u X ] 2.5) λ O t +λ)u X + λ α <m From estimates 2.3) 2.5) for u Y we obtain tα) D α u X + Au X. L t u X Ch µ O t +λ)u X +C λ h µ) O t +λ)u X. 2.6) Then choosing h and λ such that Ch µ <, C λ h µ) < from 2.6) we obtain that Lt O t +λ) BX) <. 2.7) From Theorem 2. and 2.7) we get that the oerator Q t +λ) has a bounded inverse in X. Moreover, it is clear that [ Q t +λ) = I +L t O t +λ) ] O t +λ), 2.8) where I is an identity oerator in X. Using relation 2.8), estimates 2.3), 2.7) and erturbation theory of linear oerators, we obtain that the oerator Q t +λ has a bounded inverse from X into Y and the estimate 2.2) holds. 3. The Cauchy roblem for arabolic PsDOE with arameter In this section, we shall consider the following Cauchy roblem for the arabolic PsDO equation u y +P td)u+au = f y,x), u0,x) = 0, 3.) wherep t D) istheseudo-differentialoeratordefined by2.2)andaisalinear oerator in E, t = t,t 2,...,t n ), t k are ositive arameters. 2

13 In this section, by alying Theorem 2. we establish the maximal regularity of the roblem 3.) in E valued mixed L saces, where =,). Let O t denote the oerator generated by roblem 2.). For this aim we need the following result: Theorem 3.. Suose Condition 2. hold, E is an UMD sace and the oerator A is R-ositive in E with resect to ϕ with 0 ϕ < π ϕ. Then oerator O t is uniformly R-ositive in L R n ;E). Proof. From Result 2.3 we obtain that the oerator O t is ositive in X = L R n ;E). We have to rove the R-boundedness of the set } σt,λ,ξ) = {λo t +λ) : λ S ϕ. From the roof of Theorem 2. we have where λo t +λ) f = F Φt,ξ,λ) ˆf, f L R n ;E), Φt,ξ,λ) = λa+p t ξ)+λ). By reasoning as in the roof of Theorem 2., we obtain the following uniform estimate Φt,ξ,λ) BE) λ A+P t ξ)+λ) BE) C. By definition of R-boundedness, it suffices to show that the oerator function Φt,ξ,λ) which deends on variable λ and arameters ξ, t ) is a multilier in L R n ;E)uniformlywithresecttoζ andt.indeed, byreasoningasintheorem 2. we can easily showthat Φt,ξ,λ) is a uniform multilier in L R;E). Then, by the definition of a R-bounded set we have m r j y)λ j O+λ j ) m f j dy = r j y)f Φt,ξ,λ j ) ˆf j dy X X 0 = 0 F 0 m r j y)φt,ξ,λ j ) ˆf j dy C X 0 m r j y)f j dy X for all ξ R, λ,λ 2...λ m S ϕ, f, f 2,...,f m X, m N, where {r j } is a sequence of indeendent symmetric {, } valued random variables on [0, ]. Hence, the set Φt,ξ,λ) is uniformly R-bounded. Let E be abanachsace. For =, ), Z = L R n+ + ;E) will denote the sace of all -summable E-valued functions with mixed norm see e.g. [2, 4] for the comlex-valued case), i.e., the sace of all measurable E-valued functions f defined on R+ n+, for which f LR n+ ;E) = + f y,x) E dx dy <. R n R + 3

14 Let E be a Banach sace and A be a ositive oerator in E. Suose, l is a ositive integer number. WR l + ;EA),E) denotes the sace of all functions u L R + ;EA)) ossessingthe generalizedderivativesu l) L R + ;E) with the norm u u W l R = Au +;EA),E) L + l) R +;E). LR +;E) Let m be a ositive number. W,m R n+ + ;EA),E) denotes the sace of all functions u L R n+ + ;EA)) ossessing the generalized derivative D y u = u y Z with resect to y and fractional derivatives Dα xu Z with resect to x for α m with the norm u W,m R n+ ;EA),E) = Au Z + du + dy + Dx α u Z, Z α m where u = uy,x). Now, we are ready to state the main result of this section. Theorem 3.2. Assume the conditions of Theorem 2. hold for ϕ π 2,π). Then for f Z roblem 3.) has a unique solution u W,m R n+ + ;EA),E ) satisfying the following unform coercive estimate du dy + P t D)u Z + Au Z C f Z. Z Proof. By definition of X = L R n ;E) and mixed sace L R n+ + ;E ), =, ), we have u L R = +;X) uy) X dy R + R n = uy,x) E dy R + R + uy) dx L R n ;E) dy = u Z. = Moreover, by definition of the sace W m R + ;EA),E) and by Result 2. we obtain u W R +;DO t),x) = O tu LR +;X) + u LR +;X) = 3.2) Au Z + D y u Z + α m D α xu Z = u W,m R n+ + ;EA),E). 4

15 Hence, we deduced from the above equalities that, Z = L R n+ + ;E ) = L R + ;X), W,m W R + ;DO t ),X). R n+ + ;EA),E ) = Therefore, the roblem 3.) can be exressed as the following Cauchy roblem for the abstract arabolic equation du dy +O tuy) = f y), u0) = 0, y R ) By virtue of[, Theorem 4.5.2], the condition E UMD imlies X UMD for, ). Then due to the R ositivity of O t, by virtue of [23, Theorem 4.2] we obtain that for f L R + ;X) equation 3.3) has a unique solution u W R + ;DO t ),X) satisfying the following estimate du dy + O t u L R C f +;X) L R. +;X) L R +;X) From the Theorem 2., relation 3.2) and from the above estimate we get the assertion. 4. BVP for Anisotroic PsDE In this section, the maximal regularity roerties of the anisotroic PsDE are studied. Let = R n, where R µ is an oen connected set with comact C 2l boundary. Consider the BVP for the seudo-differential equation P t D)u+ α 2l B j u = bα D α y +λ) u = f x,y), y, 4.) β l j b jβ y)d β yux,y) = 0, x R n, 4.2) y, j =,2,...,l, where u = ux,y), P t D) is the seudo differential oerator defined by 2.) with resect to x and D j = i y j, y = y,...,y µ ), b α = b α y), where α = α,α 2,...,α µ ), β = β,β 2,...,β µ ) are nonnegative integer numbers, t = t,t 2,...,t n ) and t k are ositive arameters. 5

16 ) If = R n, =,), L will denote the sace of all -summable scalar-valued functions with mixed norm see e.g.[2, 4] ), i.e., the sace of all measurable functions f defined on, for which f L ) = R n f x,y) dx dy <. ) Analogously, W m,2l denotes the anisotroic fractional Sobolev sace with ) corresonding mixed norm, i.e., W m,2l denotes the sace of all functions ) ) u L ossessing the fractional derivatives Dxu α L with resect to ) x for α m and generalized derivative 2l u L yk 2l with resect to y with the norm u W m,2l ) = µ Dx α u L ) + 2l u y 2l. α m k L ) Let Q denote the oerator generated by roblem 4.) 4.2), i.e., ) { ) } DQ) = W m,2l,bj = u : u W m,2l, B j u = 0, j =,2,...l, Qu = P t D)u+ α 2l b α D α yu. Let ξ = ) ξ,ξ 2,...,ξ µ R µ, α = α,α 2,...,α µ ) Z µ and A y 0,ξ ),D y = a α y 0 )ξ α ξα2 2...ξαµ Dj µ for y 0 Ḡ α +j 2l B j y0,ξ,d y ) = β +j l j b jβ y 0 )ξ β ξβ ξβ µ µ Dj µ for y 0 G. Condition 4.. Let the following conditions be satisfied; ) b α C ) for each α = 2l and bα L ) + L rk ) for each α = k < 2l with r k,, ) and 2l k > l r k ; 2) b jβ C 2l lj ) for each j, β, l j < 2l,, ), λ S ϕ, ϕ [0,π); 3) for y, ξ R µ, σ S ϕ0, ϕ 0 0, 2) π, ξ + σ = 0 let σ + b α y)ξ α 0; α =2l 4) for each y 0 local BVP in local coordinates corresonding to y 0 λ+a y 0,ξ,D y ) ϑy) = 0, B j y0,ξ,d y ) ϑ0) = hj, j =,2,...,l 6

17 has a unique solution ϑ C 0 R + ) for all h = h,h 2,...,h l ) C l and for ξ R n. Suose ν = ν,ν 2,...,ν n ) are nonnegative real numbers. In this section, we resent the following result: Theorem 4.. ) Assume Condition 2. and Condition 4. are satisfied. Then for f L, λ S ϕ, ϕ 0, π] roblem 4.) 4.2) has a unique solution u W m,2l ν m ) and the following coercive uniform estimate holds n t ν k m k λ ν m Dx ν u L ) + α 2l D α y u L ) C f L ). Proof. Let E = L ). It is known [4] that L ) is an UMD sace for, ). Consider the oerator A defined by DA) = W 2l ;B j u = 0), Au = b α x)d α uy). α 2l Therefore, the roblem 4.) 4.2) can be rewritten in the form of 2.), where ux) = ux,.), f x) = f x,.) are functions with values in E = L ). From [6, Theorem 8.2] we get that the following roblem ηuy)+ B j u = α 2l b α y)d α uy) = f y), 4.3) β l j b jβ y)d β uy) = 0, j =,2,...,l has a unique solution for f L ) and arg η Sϕ ), η. Moreover, the oerator A generated by 4.3) is R-ositive in L. Then from Theorem 2. we obtain the assertion. 5. The system of PsDE of infinite order Consider the following system of PsDEs of infinite order P t D)u i + N a ij +λ)u j x) = f i x), x R n, 5.) i =,2,...,N, N [, ], wherep t D)istheseudo-differentialoeratordefinedby2.2),t = t,t 2,...,t n ) and t k are ositive arameters. Let a ij be real numbers and { l q A) = u l q, u = Au lqa) l q = 7

18 Condition 5.. Let N ) q q q N Au) i q N = a ij u j < i= i=, N u = {u j }, Au = a ij u j, i, j =,2,...N. a ij = a ji, N a ij ξ i ξ j C 0 ξ 2, for ξ 0. i, Let f x) = {f i x)} N, u = {u ix)} N. Theorem 5.. Assume Condition 2. and Condition 5. are satisfied. Then, for f x) L R n ;l q ), argλ ϕ, ϕ 0, π] and for sufficiently large λ, roblem 5.) has a unique solution u that belongs to the sace H m R n,l q A),l q ) and the following uniform coercive estimate holds α m tα) λ α m R n N q D α u j x) q dx + R n N N q a ij u j i= q dx C R n N i= f i x) q ) q dx. Proof. Let E = l q, A be a matrix such that A = [a ij ], i, j =,2,...N. It is easy to see that Bλ) = λa+λ) = λ Dλ) [A jiλ)], i, j =,2,...N, where Dλ) = deta λi), A ji λ) are entries of the corresonding adjoint matrix of A λi. Since the matrix A is symmetric and ositive definite, it generates a ositive oerator in l q for q, ). For all u, u 2,...,u µ l q, λ,λ 2,...,λ µ C and indeendent symmetric {,}-valued random variables r k y), k =,2,...,µ, µ N we have µ q r k y)bλ k )u k dy l q 8

19 C su k,i q N µ N λ k Dλ k ) A jiλ k )r k y)u ki dy N λ k Dλ k ) A q jiλ k ) µ r k y)u kj qdy. 5.2) Since A is symmetric and ositive definite, we have su k,i N λ k Dλ k ) A jiλ k ) q C. 5.3) From 5.2) and 5.3) we get µ q r k y)bλ k )u k dy C l q µ q r k y)u k dy. l q i.e., theoeratoraisr-ositiveinl q.fromtheorem2.weobtainthatroblem 5.) has a unique solution u H m Rn ;l q A),l q ) for f L R n ;l q ) and the following estimate holds α m tα) λ α m D α u LR n ;l q) + Au L R n ;l q) M f L R n ;l q). From the above estimate we obtain the assertion. Acknowledgements The author would like to exress a gratitude to Dr. Erchan Atoula for his useful advices in English in rearing of this aer. References. Amann H., Linear and quasi-linear equations,, Birkhauser, Basel Besov, O. V., P. Ilin, V. P., Nikolskii, S. M., Integral reresentations of functions and embedding theorems, Nauka, Moscow, Bourgain J., Some remarks on Banach saces in which martingale differences are unconditional, Arkiv Math ), Burkholder D. L., A geometrical conditions that imlies the existence certain singular integral of Banach sace-valued functions, Proc. conf. Harmonic analysis in honor of Antonu Zigmund, Chicago, 98,Wads Worth, Belmont, 983),

20 5. Dore C. and Yakubov S., Semigrou estimates and non coercive boundary value roblems, Semigrou Forum ), Dubinskii, Yu. A., The Cauchy roblem and seudodifferential oerators in the comlex domain, Usekhi Mat. Nauk, 45:2272) 990), Diestel J., Jarchow H., Tonge A., Absolutely summing oerators, Cambridge Univ. Press, Cambridge, Denk, R., Krainer T., R-Boundedness, seudodifferential oerators, and maximal regularity for some classes of artial differential oerators, Manuscrita Math. 243) 2007),, Haller R., Heck H., Noll A., Mikhlin s theorem for oerator-valued Fourier multiliers in n variables, Math. Nachr ), Hermander L., The analysis of linear artial differential oerators, V. 3, 4, Sringer-Verlag, New York, Favini A., Shakhmurov V. B, Yakov Yakubov, Regular boundary value roblems for comlete second order ellitic differential-oerator equations in UMD Banach saces, Semigrou form, 2009, v.79 ), Krein S. G., Linear differential equations in Banach sace, American Mathematical Society, Providence, Lizorkin P. I., Generalized Liouville differentiation and functional saces L r E n). Embedding theorems, Mathematics of the USSR-Sbornik 3)60 963), Nagase,M., TheL -boundednessofseudodifferentialoeratorswith nonregular symbols, Comm. in Partial Differential Equations, 2 0), ). 5. Portal, P., Štrkalj, Ž., Pseudodifferential oerators on Bochner saces and an alication, Math. Z. 2006) 253: Shakhmurov V. B., Coercive boundary value roblems for regular degenerate differential-oerator equations, J. Math. Anal. Al., 292 2) 2004), Shakhmurov V. B., Embedding and searable differential oerators in Sobolev-Lions tye saces, Mathematical Notes, 2008, v. 84, no 6, Shakhmurov V. B., Maximal regular abstract ellitic equations and alications, Siberian Mathematical Journal, v.5, no 5, , Shakhmurov V. B., Embedding and maximal regular differential oerators in Banach-valued weighted saces, Acta mathematica Sinica, 225)2006),

21 20. Triebel H., Interolation theory, Function saces, Differential oerators., North-Holland, Amsterdam, Taylor, M., Pseudo-differential oerators, Princeton University ress, Princeton, NJ, Treves, F, Introduction to seudo-differential and Fourier integral oerators, Plenum ress, New York and London, Weis L, Oerator-valuedFourier multilier theorems and maximal L regularity, Math. Ann. 39, 200), Yakubov S. and Yakubov Ya., Differential-oerator Equations. Ordinary and Partial Differential Equations, Chaman and Hall /CRC, Boca Raton,