Civen two doubling measures μ and v in a metric apace (S.p)of homogeneous type. let B_0 S be a given ball. It has been a well-known result bv now (see)[1 4])theat the validity of an L^1→L^1 Poincaré inequality ...Civen two doubling measures μ and v in a metric apace (S.p)of homogeneous type. let B_0 S be a given ball. It has been a well-known result bv now (see)[1 4])theat the validity of an L^1→L^1 Poincaré inequality of the following form: f_B|f-f_B|dv≤cr(B)f_Bgdμ. for all metric balls B B_0 S, implies a variant of representation formula of fractonal integral type: |f(x)-f_(B(11))|≤C integral from n=B_(11) g(y)p(x, y)/μ(B(x, p(x, y)))dμ(y)+C(r(B_0))/(μ(B_0))integral from n=B_0 g(y)dμ(y). One of the main results of this paper shows that an L^1 to L^q Poincaré inequality for some 01, i.e.. (f_B|f-f_B|~q dv)^(1/q)≤cr(B) f_B gdμ, for all metric balls B B_0. will suffice to imply the above representation formula. As an immediate corollary, we can show that the weak-type condition. sup_(λ>0)(λv({x ∈ B:|f(x)-f_B|>λ}))/v(B)≤Gr (B)f_B gdμ. also implies the same formula. Analogous theorems related to high-order Poincaréinequalities and Sobolev spaces in metric spaces are also proved.展开更多
基金The first author is supported partly by the U.S. National Science Foundation Grant Nos. DMS96-22996 and DMS99-70352.supported partly by DGICYT Grant PB940192. Spainsupported partly by NATO Collaborative Research G
文摘Civen two doubling measures μ and v in a metric apace (S.p)of homogeneous type. let B_0 S be a given ball. It has been a well-known result bv now (see)[1 4])theat the validity of an L^1→L^1 Poincaré inequality of the following form: f_B|f-f_B|dv≤cr(B)f_Bgdμ. for all metric balls B B_0 S, implies a variant of representation formula of fractonal integral type: |f(x)-f_(B(11))|≤C integral from n=B_(11) g(y)p(x, y)/μ(B(x, p(x, y)))dμ(y)+C(r(B_0))/(μ(B_0))integral from n=B_0 g(y)dμ(y). One of the main results of this paper shows that an L^1 to L^q Poincaré inequality for some 01, i.e.. (f_B|f-f_B|~q dv)^(1/q)≤cr(B) f_B gdμ, for all metric balls B B_0. will suffice to imply the above representation formula. As an immediate corollary, we can show that the weak-type condition. sup_(λ>0)(λv({x ∈ B:|f(x)-f_B|>λ}))/v(B)≤Gr (B)f_B gdμ. also implies the same formula. Analogous theorems related to high-order Poincaréinequalities and Sobolev spaces in metric spaces are also proved.
