Source author record

Shiping Cao

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

10works
5topics
4close collaborators

Published work

10 publications

preprint2024arXiv

On Kigami's conjecture of the embedding Wp(K)⊂C(K)\mathcal{W}^p(K)\subset C(K)

Let (K,d)(K,d) be a connected compact metric space and p∈(1,∞)p\in (1, \infty). Under the assumption of \cite[Assumption 2.15]{Ki2} and the conductive pp-homogeneity, we show that Wp(K)⊂C(K)\mathcal{W}^p(K)\subset C(K) holds if and only if p>dim⁡AR(K,d)p>\operatorname{dim}_{AR}(K,d), where Wp(K)\mathcal{W}^p(K) is Kigami's (1,p)(1,p)-Sobolev space and dim⁡AR(K,d)\operatorname{dim}_{AR}(K,d) is the Ahlfors regular dimension.

preprint2022arXiv

Self-similar Dirichlet forms on polygon carpets

We construct symmetric self-similar diffusions with sub-Gaussian heat kernel estimates on two types of polygon carpets, which are natural generalizations of planner Sierpinski carpets (SC). The first ones are called perfect polygon carpets that are natural analogs of SC in that any intersection cells are either side-to-side or point-to-point. The second ones are called bordered polygon carpets which satisfy the boundary including condition as SC but allow distinct contraction ratios.

preprint2021arXiv

Eigenvalues of Laplacians on Higher Dimensional Vicsek Set Graphs

We study the graphs associated with Vicsek sets in higher dimensional settings. First, we study the eigenvalues of the Laplacians on the approximating graphs of the Vicsek sets, finding a general spectral decimation function. This is an extension of earlier results on two dimensional Vicsek sets. Second, we study the Vicsek set lattices, which are natural analogues to the Sierpinski lattices. We have a criterion when two different Vicsek set lattices are isomorphic.

preprint2020arXiv

Existence and uniqueness of diffusions on the Julia sets of Misiurewicz-Sierpinski maps

We study the balanced resistance forms on the Julia sets of Misiurewicz-Sierpinski maps, which are self-similar resistance forms with equal weights. In particular, we use a theorem of Sabot to prove the existence and uniqueness of balanced forms on these Julia sets. We also provide an explorative study on the resistance forms on the Julia sets of rational maps with periodic critical points.

preprint2020arXiv

Sobolev spaces and trace theorem on the Sierpinski gasket

On the Sierpinski gasket SG\mathcal{SG}, we consider Sobolev spaces Lσ2(SG)L^2_σ(\mathcal{SG}) associated with the standard Laplacian ΔΔ with order σ≥0σ\geq 0. When σ∈Z+σ\in\mathbb{Z}^+, Lσ2(SG)L^2_σ(\mathcal{SG}) consists of functions equipped with L2L^2 norms of the function itself and its Laplacians up to σσ order; when σ∉Z+σ\notin \mathbb{Z}^+, we fill up the gaps between integer orders by using complex interpolation. Let Lσ,D2(SG)=(I−ΔD)−σL2(SG)L^2_{σ, D}(\mathcal{SG})=(I-Δ_D)^{-σ}L^2(\mathcal{SG}) where ΔDΔ_D is the Dirichlet Laplacian associated with ΔΔ. Let {pn}n≥0\{p_n\}_{n\geq 0} be a collection of countably many points located along one of the symmetrical axes of SG\mathcal{SG}. We make a full characterization of the trace spaces of Lσ2(SG)L^2_σ(\mathcal{SG}) and Lσ,D2(SG)L^2_{σ,D}(\mathcal{SG}) to {pn}n≥0\{p_n\}_{n\geq 0}. Using this, we get a full description of the relationship between Lσ2(SG)L^2_σ(\mathcal{SG}) and Lσ,D2(SG)L^2_{σ,D}(\mathcal{SG}) for σ≥0σ\geq 0. The result indicates that when σ−log⁡32log⁡5∈Z+σ-\frac{\log 3}{2\log5}\in \mathbb{Z}^+, Lσ,D2(SG)L^2_{σ, D}(\mathcal{SG}) is not closed in Lσ2(SG)L^2_σ(\mathcal{SG}) and has an infinite codimension. Otherwise, Lσ,D2(SG)L^2_{σ, D}(\mathcal{SG}) is closed in Lσ2(SG)L^2_σ(\mathcal{SG}) with a finite codimension. Similar result holds for the Neumann case. Another consequence of the trace result is that the Sobolev spaces Lσ2(SG)L^2_σ(\mathcal{SG}) are stable under complex interpolation for σ≥0σ\geq 0 although they are defined by piecewise interpolation between integer orders.

preprint2020arXiv

Sobolev spaces on p.c.f. self-similar sets: boundary behavior and interpolation theorems

We study the Sobolev spaces Hσ(K)H^σ(K) and H0σ(K)H^σ_0(K) on p.c.f. self-similar sets in terms of the boundary behavior of functions. First, for σ∈R+σ\in \mathbb{R}^+, we make an exact description of the tangents of functions in Hσ(K)H^σ(K) at the boundary. Second, we characterize H0σ(K)H_0^σ(K) as the space of functions in Hσ(K)H^σ(K) with zero tangent of an appropriate order depending on σσ. Last, we extend Hσ(K)H^σ(K) to σ∈Rσ\in\mathbb{R}, and obtain various interpolation theorems with σ∈R+σ\in\mathbb{R}^+ or σ∈Rσ\in\mathbb{R}. We illustrate that there is a countable set of critical orders, that arises naturally in the boundary behavior of functions, such that H0σ(K)H^σ_0(K) presents a critical phenomenon if σσ is critical. These orders will play a crucial role in our study. They are just the values in 12+Z+\frac 12+\mathbb{Z}_+ in the classical case, but are much more complicated in the fractal case.

preprint2020arXiv

Sobolev spaces on p.c.f. self-similar sets: critical orders and atomic decompositions

We consider the Sobolev type spaces Hσ(K)H^σ(K) with σ≥0σ\geq 0, where KK is a post-critically finite self-similar set with the natural boundary. Firstly, we compare different classes of Sobolev spaces HNσ(K),HDσ(K)H^σ_N(K),H^σ_D(K) and Hσ(K)H^σ(K), {and observe} a sequence of critical orders of σσ in our comparison theorem. Secondly, We present a general atomic decomposition theorem of Sobolev spaces Hσ(K)H^σ(K), where the same critical orders play an important role. At the same time, we provide purely analytic approaches for various Besov type characterizations of Sobolev spaces Hσ(K)H^σ(K).

preprint2016arXiv

Higher order tangents and Higher order Laplacians on Sierpinski Gasket Type Fractals

We study higher order tangents and higher order Laplacians on p.c.f. self-similar sets with fully symmetric structures, such as D3D3 or D4D4 symmetric fractals. Firstly, let xx be a vertex point in the graphs that approximate the fractal, we prove that for any ff defined near xx, the higher oder weak tangent of ff at xx, if exists, is the uniform limit of local multiharmonic functions that agree with ff in some sense near xx. Secondly, we prove that the higher order Laplacian on a fractal can be expressible as a renormalized uniform limit of higher order graph Laplacians on the graphs that approximate the fractal. The main technical tool is the theory of local multiharmonic functions and local monomials analogous to (x−x0)j/j!(x-x_0)^j/j!. The results in this paper are closely related to the theory of local Taylor approximations, splines and entire analytic functions. Some of our results can be extended to general p.c.f. fractals. In Appendix of the paper, we provide a recursion algorithm for the exact calculations of the boundary values of the monomials for D3D3 or D4D4 symmetric fractals, which is shorter and more direct than the previous work on the Sierpinski gasket.

preprint2016arXiv

Some Properties of the Derivatives on Sierpinski Gasket Type Fractals

In this paper, we focus on Strichartz's derivatives, a family of derivatives including the normal derivative, on p.c.f. (post critically finite) fractals, which are defined at vertex points in the graphs that approximate the fractal. We obtain a weak continuity property of the derivatives for functions in the domain of the Laplacian. For a function with zero normal derivative at any fixed vertex, the derivatives, including the normal derivatives of the neighboring vertices will decay to zero. The optimal rates of approximations are described and several non-trivial examples are provided to illustrate that our estimates are sharp. We also study the boundness property of derivatives for functions in the domain of the Laplacian. A necessary condition for a function having a weak tangent of order one at a vertex point is provided. Furthermore, we give a counter-example of a conjecture of Strichartz on the existence of higher order weak tangents.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.