TRACE THEOREM ON THE HEISENBERG GROUP ON HOMOGENEOUS HYPERSURFACES

Description

TRACE THEOREM ON THE HEISENBERG GROUP ON HOMOGENEOUS HYPERSURFACES HAJER BAHOURI, JEAN-YVES CHEMIN, AND CHAO-JIANG XU Abstract : We prove in this work the trace and trace lifting theorem for Sobolev spaces on the Heisenberg groups for homogenenous hypersurfaces. Resume : Dans ce travail, nous demontrons des theoremes de trace et de relevement pour les espaces de Sobolev sur le groupe de Heisenberg pour des hypersurfaces homogenes. Key words Trace and trace lifting, Heisenberg group, Hormander condition, Hardy's inequality. A.M.S. Classification 35 A, 35 H, 35 S. 1. Introduction In this work, we continue the study of the problem of restriction of functions that belongs to Sobolev spaces associated to left invariant vector fields for the Heisenberg group Hd initiated in [4]. As observed in [4], the case when d = 1 is not very different from the case when d ≥ 2, but the statement in this particular case are less pleasant. Thus, for the sake of simplicity, we shall assume from now on that d ≥ 2. Let us recall that the Heisenberg group is the space R2d+1 of the (non commutative) law of product w · w? = (x, y, s) · (s?, x?, y?) = ( x+ x?, y + y?, s+ s? + (y|x?)? (y?|x) ) .

• trace lifting


• z0 ?


• l2 ≤


• theoremes de trace et de relevement pour les espaces de sobolev


• hardy inequality


• sobolev spaces


• ?2 dw


• z0 ·

Sujets

• Werner Heisenberg
• Hardy's inequality
• Sobolev space

Informations

• Publié par: pefav
• Nombre de lectures: 8
• Langue: English

Extrait

TRACETHEOREMONTHEHEISENBERGGROUP ONHOMOGENEOUSHYPERSURFACES HAJERBAHOURI,JEAN-YVESCHEMIN,ANDCHAO-JIANGXU Abstract:WeproveinthisworkthetraceandtraceliftingtheoremforSobolevspaces ontheHeisenberggroupsforhomogenenoushypersurfaces. Re´sume´:Danscetravail,nousde´montronsdesthe´ore`mesdetraceetderele`vement pourlesespacesdeSobolevsurlegroupedeHeisenbergpourdeshypersurfaceshomoge`nes. KeywordsTraceandtracelifting,Heisenberggroup,Ho¨rmandercondition,Hardy’s inequality. A.M.S.Classification35A,35H,35S. 1. Introduction Inthiswork,wecontinuethestudyoftheproblemofrestrictionoffunctionsthatbelongsto SobolevspacesassociatedtoleftinvariantvectorfieldsfortheHeisenberggroup H d initiated in[4].Asobservedin[4],thecasewhend=1isnotverydifferentfromthecasewhend ≥ 2, butthestatementinthisparticularcasearelesspleasant.Thus,forthesakeofsimplicity, weshallassumefromnowonthatd ≥ 2.LetusrecallthattheHeisenberggroupisthe space R 2d+1 ofthe(noncommutative)lawofproduct
� w ∙ w 0 =(x,y,s) ∙ (s 0 ,x 0 ,y 0 )=x+x 0 ,y+y 0 ,s+s 0 +(y | x 0 ) − (y 0 | x). Theleftinvariantvectorfieldsare 1 X j =∂ x j +y j ∂ s ,Y j =∂ y j − x j ∂ s ,j=1, ∙∙∙ ,dandS=∂ s =[Y j ,X j ]. 2 Inallthatfollows,weshalldenoteby Z thisfamilyandstateZ j =X j andZ j+d =Y j forj in { 1, ∙∙∙ ,d } .Moreover,foranyC 1 functionf,weshallstate r H f d = ef (Z 1 ∙ f, ∙∙∙ ,Z 2d ∙ f). Thekeypointisthat Z satisfiesHo¨rmander’sconditionatorder2,whichmeansthatthe family(Z 1 , ∙∙∙ ,Z 2d ,[Z 1 ,Z d+1 ])spansthewholetangentspaceT R 2d+1 . Fork ∈ N andVanopensubsetof H d ,wedefinetheassociatedSobolevspaceasfollowing on H k ( H d ,V)=f ∈ L 2 ( R 2d+1 )/Suppf ⊂ Vand ∀ α/ | α |≤ k,Z α f ∈ L 2 ( R 2d+1 ), whereifα ∈{ 1, ∙∙∙ ,2d } k 0 , | α | d = ef k 0 andZ α d = ef Z α 1 ∙∙∙ Z α 0 .Asintheclassicalcase,when k sisanyrealnumber,wecandefinethefunctionspaceH s ( H d )throughdualityandcomplex interpolation,Littlewood-PaleytheoryontheHeisenberggroup(see[6]),orWeyl-Ho¨rmander calculus(see[10],[12]and[13]). Itturnsoutthatthesespaceshavepropertieswhichlookverymuchliketheonesofusual Sobolevspaces,see[4]andtheirreferences. Date:12/03/2006. 1