Another extension of Orlicz-Sobolev spaces to metric spaces英文文献资料.docVIP

ANOTHEREXTENSIONOFORLICZ-SOBOLEVSPACES TOMETRICSPACES NOUREDDINE AISSAOUI¨ Received12May2003 Wepropose another extension ofOrlicz-Sobolev spaces tometric spaces based on the concepts oftheΦ-modulus andΦ-capacity.Theresulting spaceN1 isaBanach space. Φ The relationship between NΦ1 and MΦ1 (the ?rst extension de?ned in A¨?ssaoui (2002)) is studied. We also explore and compare di?erent de?nitions of capacities and give a criterionunderwhichNΦ1 isstrictlysmallerthantheOrliczspaceLΦ. 1.Introduction In[22],Shanmugalingam studies extensively anextension ofSobolev spacesonmetric spacesdi?erentfromtheapproachofHaj?aszin[12].Inparticular,hegivesacomparison betweentheobtainedtwospaces.Seealso[6,9,13,22]forfurtherdevelopmentsofthese twotheories. Sincea?rstextensionofOrlicz-Sobolev spacesonmetricspaces,denotedbyMΦ1(X), followingHaj?asz’method,wasstudiedin[4],itisnaturaltoexamineShanmugalingam’s de?nition based onthenotions ofmodulus ofpaths families andonthecapacity.The resultingspaceN1(X)isaBanachspaceforany?-functionΦandthespaceM1(X )con- Φ Φ tinuouslyembedsonN1(X)whenΦsatis?esthe?2condition.WeknowthatLipschitz Φ functions aredenseinM1(X)forΦverifying the?2condition. Toexpectthesamere- sultwiththevasterspaceNΦ1(X),wemustaddsomeassumptions,asintheSobolevcase, Φ onthemetric spaceX,namely,X mustbedoubling andsupport a(1,Φ)-Poincar′ein- equality,andΦveri?esthe?
condition.RemarkthatwhenΦ(x)=(1/p)xp(p1),we rediscoverthesameresultinthesettingofSobolevspaces.Ontheotherhand,when?is adomaininRN,wegiveanewcharacterization oftheOrlicz-Sobolev spaceW1LΦ(?), andweshowthatN1(?)=W1LΦ(?)whenΦsatis?esthe?2condition.Hence,forre- Φ ?exiveOrlicz spacesL (RN),wegetN1(RN)=M1(RN)=W1L (RN),sinceweknow Φ Φ Φ Φ that M1(RN)=W1L (RN).See [4, Theorem 3.3]. Wealso study the mean equivalent Φ Φ classwithrespecttoΦ(MEC )criterion underwhichN1(X)isstrictlyincludedinthe Φ Φ Orlicz spaceLΦ(X)andwecomparebetween natural capacities de?ned onNΦ1(X).We expectthatotherdevelopmentswi