{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q990152","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q990152","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q990152","kernelVersion":"v1","immutable":true,"modified":"2026-03-27T17:13:07Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q990152","name":"An atomic decomposition of the Hajłasz Sobolev space on manifolds","headline":"An atomic decomposition of the Hajłasz Sobolev space on manifolds","description":"scientific article; zbMATH DE number 5779338","url":"https://portal.mardi4nfdi.de/entity/Q990152","datePublished":"2010-09-06","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q355968"},{"@id":"https://portal.mardi4nfdi.de/entity/Q558635"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q165791"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1016/J.JFA.2010.05.020","url":"https://doi.org/10.1016/J.JFA.2010.05.020"},"sameAs":["https://doi.org/10.1016/J.JFA.2010.05.020"],"comment":"Let \\(M\\) be a complete non-compact Riemannian manifold, \\(\\mu\\) the Riemannian measure on \\(M\\), \\(\\text{Lip}(M)\\) the space of Lipschitz function on \\(M\\), and \\(\\text{Lip}_0(M)\\) the space of compactly supported Lipschitz functions on \\(M\\). Let \\(p\\in[1,\\infty]\\). The Sobolev space \\(\\dot{M}_p^1\\) on \\(M\\) is the set of all functions \\(u\\in L_{1,\\text{loc}}\\) such that there exists a measurable function \\(g\\geq0\\), \\(g\\in L_p\\), satisfying  \\[ |u(x)-u(y)|\\leq d(x,y)(g(x)+g(y)) \\]  for almost every \\(x,\\,y\\in M\\). Furthermore, let \\(\\|u\\|_{\\dot{M}_p^1}\\equiv\\inf_{g}\\|g\\|_p\\), where the infimum is taken over all \\(g\\) as above.  For \\(1<t\\leq\\infty\\), \\(\\frac1t+\\frac1{t'}=1\\), a function \\(a\\) is called a homogeneous Hardy-Sobolev \\((1,t)\\)-atom if \\(a\\) is supported in a ball \\(B\\), \\(\\|a\\|_{\\dot{W}_t^1}\\equiv\\|\\nabla a\\|_t\\leq[\\mu(B)]^{-\\frac1{t'}}\\), and \\(\\int_M a\\,d\\mu=0\\). A function \\(f\\) is said to belong the homogeneous atomic Hardy-Sobolev space \\(\\dot{H}S_{t,\\text{ato}}^1\\) if there exists a sequence of homogeneous Hardy-Sobolev \\((1,t)\\)-atoms \\(\\{a_j\\}_j\\) and a sequence \\(\\{\\lambda_j\\}_j\\) of numbers such that \\(f=\\sum_j\\lambda_ja_j\\) with \\(\\sum_j|\\lambda_j|<\\infty\\). Furthermore, let \\(\\|f\\|_{\\dot{H}S_{t,\\text{ato}}^1}=\\inf\\{\\sum_j|\\lambda_j|\\}\\), where the infimum is taken over all possible decompositions of \\(f\\) as above.  In this paper, the authors show that, if \\(M\\) is a complete Riemannian manifold satisfying the doubling property, namely, there exists a positive constant \\(C_D\\) such that, for all \\(x\\in M\\) and \\(r>0\\), \\(\\mu(B(x,2r))\\leq C\\mu(B(x,r))\\), then for all \\(\\frac s{s+1}<q<1\\), \\(\\dot{M}_1^1\\subset\\dot{H}S_{q^*,\\text{ato}}^1\\), where \\(s\\equiv\\log_2C_D\\). Moreover, if \\(M\\) admits a Poincaré inequality, namely, there exists a positive constant \\(C\\) such that, for every function \\(f\\in\\text{Lip}_0(M)\\) and every ball \\(B\\) of \\(M\\) of radius \\(r>0\\),   \\[ \\frac1{\\mu(B)}\\int_B|f-f_B|\\,d\\mu\\leq Cr\\;\\frac1{\\mu(B)}\\int_B|\\nabla f|\\,d\\mu, \\]  where \\(f_B=\\frac1{\\mu(B)}\\int_Bf\\,d\\mu\\), then for all \\(t>1\\), the authors prove that \\(\\dot{M}_1^1=\\dot{H}S_{t,\\text{ato}}^1\\). Then the authors also obtain a nonhomogeneous version of these results. As applications, the authors characterize the Hardy-Sobolev spaces on \\(M\\) in terms of derivatives.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q4667206"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5489536"},{"@id":"https://portal.mardi4nfdi.de/entity/Q705327"},{"@id":"https://portal.mardi4nfdi.de/entity/Q941847"},{"@id":"https://portal.mardi4nfdi.de/entity/Q984415"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5627190"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1305429"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3414824"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2548398"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4133903"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3689682"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1807908"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4741080"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1924462"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4453425"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1283344"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4489358"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1586729"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3831508"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2384752"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2518158"},{"@id":"https://portal.mardi4nfdi.de/entity/Q961496"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3155966"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2480608"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1138192"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5459218"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1123338"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3142876"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4713532"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3969388"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5651936"}]},"provenance":{"prov:generatedAtTime":"2026-03-27T17:13:07Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}