Given two doubling measures μ and ν in a metric space (
S, ρ) of homogeneous type, let
B0⊂
S be a given ball. It has been a well-known result by now (see [1-4]) that the validity of an
L1→
L1 Poincaré inequality of the following form:
for all metric balls
B⊂
B0⊂
S, implies a variant of representation formula of fractional integral type: for
ν-a.e.
x∈
B0,
One of the main results of this paper shows that an
L1 to
Lq Poincaré inequality for some 0 <
q < 1, i.e.,
for all metric balls
B?
B0, will suffice to imply the above representation formula. As an immediate corollary, we can show that the weak-type condition,
also implies the same formula.
Analogous theorems related to high-order Poincaré inequalities and Sobolev spaces in metric spaces are also proved.