244 research outputs found

    Besov class via heat semigroup on Dirichlet spaces III: BV functions and sub-Gaussian heat kernel estimates

    Full text link
    With a view toward fractal spaces, by using a Korevaar-Schoen space approach, we introduce the class of bounded variation (BV) functions in a general framework of strongly local Dirichlet spaces with a heat kernel satisfying sub-Gaussian estimates. Under a weak Bakry-\'Emery curvature type condition, which is new in this setting, this BV class is identified with a heat semigroup based Besov class. As a consequence of this identification, properties of BV functions and associated BV measures are studied in detail. In particular, we prove co-area formulas, global L1L^1 Sobolev embeddings and isoperimetric inequalities. It is shown that for nested fractals or their direct products the BV class we define is dense in L1L^1. The examples of the unbounded Vicsek set, unbounded Sierpinski gasket and unbounded Sierpinski carpet are discussed.Comment: The notes arXiv:1806.03428 will be divided in a series of papers. This is the third paper. v2: Final versio

    Hardy spaces and divergence operators on strongly Lipschitz domains in RnR^n

    Full text link
    Let Ω\Omega be a strongly Lipschitz domain of \reel^n. Consider an elliptic second order divergence operator LL (including a boundary condition on Ω\partial\Omega) and define a Hardy space by imposing the non-tangential maximal function of the extension of a function ff via the Poisson semigroup for LL to be inL1L^1. Under suitable assumptions on LL, we identify this maximal Hardy space with atomic Hardy spaces, namely with H^1(\reel^n) if \Omega=\reel^n, Hr1(Ω)H^{1}_{r}(\Omega) under the Dirichlet boundary condition, and Hz1(Ω)H^{1}_{z}(\Omega) under the Neumann boundary condition. In particular, we obtain a new proof of the atomic decomposition for Hz1(Ω)H^{1}_{z}(\Omega). A version for local Hardy spaces is also given. We also present an overview of the theory of Hardy spaces and BMO spaces on Lipschitz domains with proofs.Comment: submitte
    corecore