BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Shiping Cao contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We give a short, self-contained analytic proof of the existence of self-similar Dirichlet forms on pillow-type carpets, a family of infinitely ramified fractals that includes the Sierpiński carpet.
Let $(K,d)$ be a connected compact metric space and $p\in (1, \infty)$. Under the assumption of \cite[Assumption 2.15]{Ki2} and the conductive $p$-homogeneity, we show that $\mathcal{W}^p(K)\subset C(K)$ holds if and only if $p>\operatorname{dim}_{AR}(K,d)$, where $\mathcal{W}^p(K)$ is Kigami's $(1,p)$-Sobolev space and $\operatorname{dim}_{AR}(K,d)$ is the Ahlfors regular dimension.
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.
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.
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.
On the Sierpinski gasket $\mathcal{SG}$, we consider Sobolev spaces $L^2_σ(\mathcal{SG})$ associated with the standard Laplacian $Δ$ with order $σ\geq 0$. When $σ\in\mathbb{Z}^+$, $L^2_σ(\mathcal{SG})$ consists of functions equipped with $L^2$ norms of the function itself and its Laplacians up to $σ$ order; when $σ\notin \mathbb{Z}^+$, we fill up the gaps between integer orders by using complex interpolation. Let $L^2_{σ, D}(\mathcal{SG})=(I-Δ_D)^{-σ}L^2(\mathcal{SG})$ where $Δ_D$ is the Dirichlet Laplacian associated with $Δ$. Let $\{p_n\}_{n\geq 0}$ be a collection of countably many points located along one of the symmetrical axes of $\mathcal{SG}$. We make a full characterization of the trace spaces of $L^2_σ(\mathcal{SG})$ and $L^2_{σ,D}(\mathcal{SG})$ to $\{p_n\}_{n\geq 0}$. Using this, we get a full description of the relationship between $L^2_σ(\mathcal{SG})$ and $L^2_{σ,D}(\mathcal{SG})$ for $σ\geq 0$. The result indicates that when $σ-\frac{\log 3}{2\log5}\in \mathbb{Z}^+$, $L^2_{σ, D}(\mathcal{SG})$ is not closed in $L^2_σ(\mathcal{SG})$ and has an infinite codimension. Otherwise, $L^2_{σ, D}(\mathcal{SG})$ is closed in $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_σ(\mathcal{SG})$ are stable under complex interpolation for $σ\geq 0$ although they are defined by piecewise interpolation between integer orders.
We study the Sobolev spaces $H^σ(K)$ and $H^σ_0(K)$ on p.c.f. self-similar sets in terms of the boundary behavior of functions. First, for $σ\in \mathbb{R}^+$, we make an exact description of the tangents of functions in $H^σ(K)$ at the boundary. Second, we characterize $H_0^σ(K)$ as the space of functions in $H^σ(K)$ with zero tangent of an appropriate order depending on $σ$. Last, we extend $H^σ(K)$ to $σ\in\mathbb{R}$, and obtain various interpolation theorems with $σ\in\mathbb{R}^+$ or $σ\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 $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 $\frac 12+\mathbb{Z}_+$ in the classical case, but are much more complicated in the fractal case.
We consider the Sobolev type spaces $H^σ(K)$ with $σ\geq 0$, where $K$ is a post-critically finite self-similar set with the natural boundary. Firstly, we compare different classes of Sobolev spaces $H^σ_N(K),H^σ_D(K)$ and $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)$, 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)$.