ENQUIRE PROJECT DETAILS BY GENERAL PUBLIC

Project Details
Funding Scheme : General Research Fund
Project Number : 14316816
Project Title(English) : Induced Dirichlet forms on Self-similar sets 
Project Title(Chinese) : 自相似集上的狄克雷型 
Principal Investigator(English) : Prof Feng, De-Jun 
Principal Investigator(Chinese) :  
Department : Dept of Mathematics
Institution : The Chinese University of Hong Kong
E-mail Address : djfeng@math.cuhk.edu.hk 
Tel : 26097965 
Co - Investigator(s) :
Prof Lau, Ka-sing
Prof Ngai, Sze-Man
Panel : Physical Sciences
Subject Area : Mathematics
Exercise Year : 2016 / 17
Fund Approved : 727,647
Project Status : Completed
Completion Date : 31-12-2019
Project Objectives :
For a self-similar set $K$, we equip the coding space with a natural hyperbolic graph. We will study reversible random walks on such a graph. Under suitable conditions, we can identify the self-similar set with the Martin boundary and hyperbolic boundary some random walk. We will study the hitting distribution, Martin kernel, Naim kernel, and the induced (non-local) Dirichlet form with an explicit expression. Also, we will consider certain non-reversible random walks. In order to obtain the desired induced (local) Dirichlet forms, we will place our emphasis on the identification of the Martin boundary with the self-similar set. This will address ourselves to the question of existence of Laplacians on self-similar sets.
In another direction, we will use the method of outer approximation to investigate the induced Laplacians, and more generally, the Dirichlet forms, and compare them with those obtained by using random walks.
We will study the associated function spaces (Besov spaces), walk dimension, spectral dimension, eigen-problems, Green functions, and heat kernels that arise in the investigation.
Abstract as per original application
(English/Chinese):

分形是一類不規則,複雜的集合或現象,它們具有自相似性質 及分數維數。分形在自然界及人類生活領域中經常出現,例如 海岸綫形狀,地層的組成,天體星雲的分布,DNA樣本,微血 管及肺的結構以及股票的上落數據曲綫。科學家及工程師們利 用分形作圖像壓縮,手機上天綫的設計,石油地質的探測。 醫學上,分形維數的計算,亦可用來顯示異常細胞的出現。 在這個建議書中,我們提出研究分形上的狄克雷型(或稱能量 型)。這套理論包括重要的拉普拉斯算子。我們知道,在經典 分析,熱傳導及波傳播以及許多在偏微分方程上的問題,都依 賴於拉氏算子。這類算子由微分定義,但分形是絶對非光滑的, 微分在上面沒有定義。因此所有經典上的概念及理論,都需要 有適當的調整。在分形上,拉氏算子的存在性,成為一個中心 的問題。在這個計劃上,我們將會利用分析及概率上的工具, 對這個問題作一個深入的研究。
Realisation of objectives: In a previous project ``Tree structure and boundary theories on fractals"(Project 1430221), we proved that on the tree of symbolic space of a self-similar set, we can add new edges to the tree according the neighboring cells to obtain an augmented tree; the augmented tree is hyperbolic, and the self-similar set is Holder equivalent to the hyperbolic boundary. The importance of this result is that if we run a reversible transient random walk on a hyperbolic graph, then the limits of the sample paths, called Martin boundary, is homeomorphic to the hyperbolic boundary, and hence also homeomorphic to the self-similar sets under consideration. It is well-known that in the study of Markov chains, there is a discrete potential theory to investigate the harmonic structure, Laplacian and energy of the system. We can therefore transfer this theory onto self-similar sets. In this regard, our first major achievement in this project [1] is to investigate a class of random walk on the augmented tree that have return ratio lambda, we call it lambda-natural random walk (NRW). The corresponding energy on the graph induces a non-local regular Dirichlet form on the self-similar set. Through the hyperbolic structure, we obtain an explicit expression of the kernel of the Dirichlet form, which is corresponding to a fractional Laplacian. The non-local Dirichlet forms arisen has the class of Besov spaces as its domain. The parameter beta in the expression of the Dirichlet form is interesting; it depends on the return ratio of the random walk, and the domain can be trivial when beta is large. The critical lambda is the largest value that the Besov space is non-trivial, it carries a lot of important information of the underlying set; in particular in the cases of the Sierpinski gasket and some other standard fractals, the critical exponent is where the local regular Dirichlet form is located. A local regular Dirichlet form associates with a Laplacian, and is of central importance in the study of analysis on fractal. We have considerable progress in in that aspect [2,4]. Recently, we discover that on a compact space of homogenous type, there is a refining net of partitions of the space, which gives a hyperbolic augmented tree, and our consideration of the boundary theories can be applied to those sets. The class of space of homogenous type is very broad, it covers the classical domains, Reimannian manifolds, and the fractal sets called d-sets, it is known for a long time, and has been studied extensively in harmonic analysis and Hp-space theory. We can extend the previous results to this much broader setting [3]. In a recent paper [5], we study the convergence properties of Besov norms on homogeneous p.c.f. self-similar sets near critical exponent sigma-star, and that of the associated Dirichlet forms. Our convergence result extends a celebrate theorem of Bourgain, Brezis and Mironescu on Euclidean space.
Summary of objectives addressed:
Objectives Addressed Percentage achieved
1.For a self-similar set $K$, we equip the coding space with a natural hyperbolic graph. We will study reversible random walks on such a graph. Under suitable conditions, we can identify the self-similar set with the Martin boundary and hyperbolic boundary some random walk. We will study the hitting distribution, Martin kernel, Naim kernel, and the induced (non-local) Dirichlet form with an explicit expression. Also, we will consider certain non-reversible random walks. In order to obtain the desired induced (local) Dirichlet forms, we will place our emphasis on the identification of the Martin boundary with the self-similar set. This will address ourselves to the question of existence of Laplacians on self-similar sets. Yes95%
2.In another direction, we will use the method of outer approximation to investigate the induced Laplacians, and more generally, the Dirichlet forms, and compare them with those obtained by using random walks. Yes95%
3.We will study the associated function spaces (Besov spaces), walk dimension, spectral dimension, eigen-problems, Green functions, and heat kernels that arise in the investigation.Yes95%
Research Outcome
Major findings and research outcome: In [1] we investigate a class of random walk on the augmented tree that have return ratio lambda, we call it lambda-natural random walk (NRW). The corresponding energy on the graph induces a non-local regular Dirichlet form on the self-similar set. Through the hyperbolic structure, we obtain an explicit expression of the kernel of the Dirichlet form, which is corresponding to a fractional Laplacian. In [2], we study the partition systems and the tree structures for compact spaces of homogeneous type and establish the hyperbolicity of the augmented trees. We investigate the λ-NRW on the augmented trees; we identify the underlying set with the hyperbolic boundary and the Martin boundary. The estimations of the Martin kernel and the Naim kernel are stated. Finally, we study the induced Dirichlet forms and give a criterion of the critical exponents. In [4], we study Dirichlet forms and critical exponents of fractals and explore new situations that the underlying fractal sets admit inhomogeneous resistance scalings, which yield two types of critical exponents. We restrict our consideration on the p.c.f. (post critically finite) sets. We first develop a technique of quotient networks to study the general theory of these critical exponents. We then construct two asymmetric p.c.f. sets, and use them to illustrate the theory and examine the function properties of the associated Besov spaces at the critical exponents; the various Dirichlet forms on these fractals will also be studied.
Potential for further development of the research
and the proposed course of action:
To develop the theory of analysis (Dirichlet forms and Laplacians) for some non-p.c.f. fractals.
Layman's Summary of
Completion Report:
In this proposal, we study Dirichlet forms (equivalently, energy forms) on fractals. The theory includes the important Laplace operator. As is known, in classical analysis, the theories of heat diffusion, wave propagation and all considerations in partial differential equations depend on the Laplacian. The operator is differential in nature while fractals are highly non-smooth, and hence many classical perceptions need to be adjusted. Therefore defining the Laplacian on fractals and studying its properties are some central problems in the subject. In this project we obtained some new and interesting properties of the Dirichlet forms and Laplace operators on self-similar sets and compact spaces of homogeneous type. These works lead to better understanding of analysis on fractals.
Research Output
Peer-reviewed journal publication(s)
arising directly from this research project :
(* denotes the corresponding author)
Year of
Publication
Author(s) Title and Journal/Book Accessible from Institution Repository
2017 Shi-Lei Kong*, Kasing Lau and Ting-Kam Leonard Wong  Random walks and induced Dirichlet forms onself-similar sets, Advances in Mathematics 320 (2017) 1099–1134  No 
Shilei Kong and Ka-Sing Lau  Critical exponents of induced Dirichlet forms on self-similar sets  No 
2020 Shi-Lei Kong, Ka-Sing Lau and Ting-Kam Leonard Wong  Random Walks and Induced Dirichlet Forms on Compact Spaces of Homogeneous Type, in the book ``Analysis, Probability and Mathematical Physics on Fractals'', 273-296, World Scientific, 2020.  No 
2020 Qingsong Gu and Ka-Sing Lau  DIRICHLET FORMS AND CRITICAL EXPONENTS ON FRACTALS, Trans. Amer. Math. Soc. 373 (2020), 1619-1652  No 
2020 Qingsong Gu and Ka-Sing Lau  DIRICHLET FORMS AND CONVERGENCE OF BESOV NORMS ON SELF-SIMILAR SETS, Ann. Acad. Sci. Fenn. Math. 45 (2020), no. 2, 625–646.  No 
2019 Tian-You Hu* and Ka-Sing Lau  Limiting behavior of infinite products scaled by Pisot numbers. J. Fourier Anal. Appl. 25 (2019), no. 4, 1695–1707.  No 
Recognized international conference(s)
in which paper(s) related to this research
project was/were delivered :
Month/Year/City Title Conference Name
Shanghai Estimates of the dimension of self-similar measures with overlaps  The 4th Academic Activity of Silkroad Mathematics Center: International Conference on Dynamical Systems (online)'' 
Shanghai Dimensions of attractors of nonlinear IFSs  Topological and probabilistic methods in low dimensional dynamics 
Other impact
(e.g. award of patents or prizes,
collaboration with other research institutions,
technology transfer, etc.):

  SCREEN ID: SCRRM00542