MathSciDoc: An Archive for Mathematician ∫

We obtain two-sided sub-Gaussian estimates of heat kernels for strongly local Dirichlet forms on intervals, equipped with self-similar measures generated by iterated function systems (IFS's) that do not satisfy the open set condition (OSC) and have overlaps. We first give a framework for heat kernel estimates on intervals, and then consider examples of self-similar measures to illustrate this phenomenon. These examples include the infinite Bernoulli convolution associated with the golden ratio, and a family of convolutions of Cantor-type measures. We make use of Strichartz second-order identities defined by auxiliary IFS's to compute measures of cells on different levels. These auxiliary IFS's do satisfy the OSC and are used to define new metrics. The walk dimensions obtained under these new metrics are strictly greater than 2 and are closely related to the spectral dimension of fractal Laplacians.

We observe that some self-similar measures defined by finite or infinite iterated function systems with overlaps satisfy certain "bounded measure type condition", which allows us to extract useful measure-theoretic properties of iterates of the measure. We develop a technique to obtain a closed formula for the spectral dimension of the Laplacian defined by self-similar measure satisfying this condition. For Laplacians defined by fractal measures with overlaps, spectral dimension has been obtained earlier only for a small class of one-dimensional self-similar measures satisfying Strichartz second-order self-similar identities. The main technique we use relies on the vector-valued renewal theorem proved by Lau, Wang and Chu.

We study the wave propagation speed problem on metric measure spaces, emphasizing on self-similar sets that are not postcritically finite. We prove that a sub-Gaussian lower heat kernel estimate leads to infinite propagation speed, extending a result of Y.-T. Lee to include bounded and unbounded generalized Sierpi\'nski carpets as well as some fractal blowups. We also formulate conditions under which a Gaussian upper heat kernel estimate leads to finite propagation speed, and apply this result to two classes of iterated function systems with overlaps, including those defining the classical infinite Bernoulli convolutions.

By constructing an infinite graph-directed iterated iterated function system associated with a finite iterated function system, we develop a new approach for proving the differentiability of the $L^q$-spectrum and establishing the multifractal formalism of certain self-similar measures with overlaps, especially those defined by similitudes with different contraction ratios. We apply our technique to a well-known class of self-similar measures of generalized finite type.

For a self-similar measure in d-dimensional Euclidean space with overlaps but satisfies the so-called bounded measure type condition introduced by Tang and the authors, we set up a framework for deriving a closed formula for the Lq-spectrum of the measure for nonnegative q. The framework allows us to include iterated function systems that have different contraction ratios and those in higher dimension. For self-similar measures with overlaps, closed formulas for the Lq-spectrum have only been obtained earlier for measures satisfying Strichartz second-order identities. We illustrate how to use our results to prove the differentiability of the Lq-spectrum, obtain the multifractal dimension spectrum, and compute the Hausdorff dimension of the measure.

For a fractal Schrodinger operator with a continuous potential and a coupling parameter, we obtain an analog of a semi-classical asymptotic formula for the number of bound states as the parameter tends to infinity. We also study Bohr's formula for Schrodinger operators on blowups of self-similar sets. For a Schrodinger operator defined by a fractal measure and a locally bounded potential that tends to infinity, we derive an analog of Bohr's formula under various assumptions. We demonstrate how these results can be applied to self-similar measures with overlaps, including the infinite Bernoulli convolution associated with the golden ratio, a family of convolutions of Cantor-type measures, and a family of measures that we call essentially of finite type.

We study infinite iterated functions systems (IIFSs) consisting of bi-Lipschitz mappings instead of conformal contractions, focusing on IFSs that do not satisfy the open set condition. By assuming the logarithmic distortion property and some cardinality growth condition, we obtain a formula for the Hausdorff, box, and packing dimensions of the limit set in terms of certain topological pressure. By assuming, in addition, the weak separation condition, we show that these dimensions are equal to the growth dimension of the limit set.

We set up a framework to study one-dimensional heat equations defined by fractal Laplacians associated with self-similar measures with overlaps. We show that for a class of such self-similar measures, a heat equation can be discretized and the finite element method can be applied to yield a system of linear differential equations. We show that the numerical solutions converge to the actual solution and obtain the rate of convergence. We also study some properties of the solutions of the heat equation.

We study the heat kernel expansion of the Laplacian on n-forms defined on a subgraph of a directed complete graph. We derive two expressions for the subgraph heat kernel on 0-forms and compute the coefficients of the expansion. We also obtain the subgraph heat kernel of the Laplacian on 1-forms.

No abstract uploaded!