BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Shiping Cao appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher 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)$.
We study higher order tangents and higher order Laplacians on p.c.f. self-similar sets with fully symmetric structures, such as $D3$ or $D4$ symmetric fractals. Firstly, let $x$ be a vertex point in the graphs that approximate the fractal, we prove that for any $f$ defined near $x$, the higher oder weak tangent of $f$ at $x$, if exists, is the uniform limit of local multiharmonic functions that agree with $f$ in some sense near $x$. 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-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 $D3$ or $D4$ symmetric fractals, which is shorter and more direct than the previous work on the Sierpinski gasket.
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.