In this paper, the author introduces the Morrey-Campanato spaces $L^{s}_{p}(X)$ and the spaces $C^{s}_{p}(X)$ on spaces of homogeneous type including metric spaces and some fractals, and establishes some embedding theorems between these spaces under some restrictions and the Besov spaces and the Triebel-Lizorkin spaces. In particular, the author proves that $L^{s}_{p}(X) = B^{s}_{\fz, \fz}(X)$ if $0<s<\fz$ and $\mu(X)<\fz$. The author also introduces some new function spaces $A^{s}_{p}(X)$ and $B^{s}_{p}(X)$ and proves that these new spaces when $0<s<1$ and $1<p<\fz$ are just the Triebel-Lizorkin space $F^{s}_{p, \fz}(X)$ if $X$ is a metric space, and the spaces $A^{1}_{p}(X)$ and $B^{1}_{p}(X)$ when $1<p\le\fz$ are just the Hajłasz-Sobolev spaces $W^{1}_{p}(X)$. Finally, as an application, the author gives a new characterization of the Hajłasz-Sobolev spaces by making use of the sharp maximal function.
References
M. T. Barlow, Diffusions on fractals , Lectures on probability theory and statistics (Saint-Flour, 1995) (P. Bernard, ed.), Lecture Notes in Math. 1690, Springer, Berlin (1998), 1--121.
M. T. Barlow and R. F. Bass, Brownian motion and harmonic analysis on Sierpinski carpets , Canad. J. Math., 51 (1999), 673--744.
M. Christ, The extension problem for certain function spaces involving fractional orders of differentiability , Ark. Mat., 22 (1984), 63--81.
Mathematical Reviews (MathSciNet):
MR735878
R. Coifman and G. Weiss, Analyse Harmonique Non-commutative sur Certains Espaces Homogènes, Lecture Notes in Math. 242, Springer-Verlag, Berlin (1971).
Mathematical Reviews (MathSciNet):
MR499948
G. David, J. L. Journé and S. Semmes, Opérateurs de Calderón-Zygmund, fonctions para-accrétives et interpolation , Rev. Mat. Iberoamericana, 1 (1985), 1--56.
Mathematical Reviews (MathSciNet):
MR850408
R. A. DeVore and R. C. Sharpley, Maximal functions measuring smoothness , Memoirs Amer. Math. Soc., 47 (1984, no. 293), 1--115.
Mathematical Reviews (MathSciNet):
MR727820
A. E. Gatto, Product rule and chain rule estimates for fractional derivatives on spaces that satisfy the doubling condition , J. Funct. Anal., 188 (2002), 27--37.
A. Grigor'yan, J. Hu and K. Lau, Heat kernels on metric-measure spaces and an application to semi-linear elliptic equations , Trans. Amer. Math. Soc., 355 (2003), 2065--2095.
P. Hajłasz, Sobolev spaces on an arbitrary metric spaces , Potential Anal., 5 (1996), 403--415.
P. Hajłasz and P. Koskela, Sobolev met Poincaré , Memoirs Amer. Math. Soc., 145 (2000, no. 688), 1--101.
Y. Han, Inhomogeneous Calderón reproducing formula on spaces of homogeneous type , J. Geometric Anal., 7 (1997), 259--284.
Y. Han, S. Lu and D. Yang, Inhomogeneous Besov and Triebel-Lizorkin spaces on spaces of homogeneous type , Approx. Th. and its Appl., 15(3) (1999), 37--65.
Y. Han, S. Lu and D. Yang, Inhomogeneous Triebel-Lizorkin spaces on spaces of homogeneous type , Math. Sci. Res. Hot-Line, 3(9) (1999), 1--29.
Y. Han, S. Lu and D. Yang, Inhomogeneous discrete Calderón reproducing formulas for spaces of homogeneous type , J. Fourier Anal. Appl., 7 (2001), 571--600.
Y. Han and E. T. Sawyer, Littlewood-Paley theory on spaces of homogeneous type and classical function spaces , Memoirs Amer. Math. Soc., 110 (1994, no. 530), 1--126.
Y. Han and D. Yang, New characterizations and applications of inhomogeneous Besov and Triebel-Lizorkin spaces on homogeneous type spaces and fractals , Dissertationes Math. (Rozprawy Mat\.), 403 (2002), 1--102.
Y. Han and D. Yang, Some new spaces of Besov and Triebel-Lizorkin type on homogeneous spaces , Studia Math., 156 (2003), 67--97.
J. Heinonen, Lectures on Analysis on Metric Spaces, Springer-Verlag, Berlin (2001).
A. Jonsson and H. Wallin, Function Spaces on Subsets of $\rn$, Math. Reports, Vol. 2, Harwood Academic Publ., London (1984).
Mathematical Reviews (MathSciNet):
MR820626
J. Kigami, Analysis on fractals, Cambridge Tracts in Math. 143, Cambridge University Press, Cambridge (2001).
Y. Liu, G. Lu and R. L. Wheeden, Some equivalent definitions of high order Sobolev spaces on stratified groups and generalizations to metric spaces , Math. Ann., 323 (2002), 157--174.
R. A. Macias and C. Segovia, Lipschitz functions on spaces of homogeneous type , Adv. in Math., 33 (1979), 257--270.
Mathematical Reviews (MathSciNet):
MR546295
P. Mattila, Geometry of sets and measures in Euclidean spaces, Cambridge University Press, Cambridge (1995).
A. Miyachi, Multiplication and factorization of functions in Sobolev spaces and in $C^\alpha_p$ spaces on general domains , Math. Nachr., 176 (1995), 209--242.
A. Miyachi, Atomic decomposition for Sobolev spaces and for the $C^a_p$ spaces on general domains , Tsukuba J. Math., 21 (1997), 59--96.
R. S. Strichartz, Function spaces on fractals , J. Funct. Anal., 198 (2003), 43--83.
H. Triebel, Theory of Function Spaces, Birkhäuser Verlag, Basel (1983).
Mathematical Reviews (MathSciNet):
MR781540
H. Triebel, Theory of Function Spaces II, Birkhäuser Verlag, Basel (1992).
H. Triebel, Fractals and Spectra, Birkhäuser Verlag, Basel (1997).
H. Triebel, The Structure of Functions, Birkhäuser Verlag, Basel (2001).
H. Triebel, Function spaces in Lipschitz domains and on Lipschitz manifolds. Characteristic functions as pointwise multipliers , Revista Mat. Complutense, 15 (2002), 1--50.
D. Yang, Besov spaces on spaces of homogeneous type and fractals , Studia Math., 156 (2003), 15--30.