arXiv subjects

Alexander Teplyaev

Publications and source records attributed to Alexander Teplyaev.

71 records · Page 4Linked to original sources

arXiv2012

Vector analysis on fractals and applications

The paper surveys some recent results concerning vector analysis on fractals. We start with a local regular Dirichlet form and use the framework of 1-forms and derivations introduced by Cipriani and Sauvageot to set up some elements of a related vector analysis in weak and non-local formulation. This allows to study various scalar and vector valued linear and non-linear partial differential equations on fractals that had not been accessible before. Subsequently a stronger (localized, pointwise or fiberwise) version of this vector analysis can be developed, which is related to previous work of Kusuoka, Kigami, Eberle, Strichartz, Hino, Ionescu, Rogers, Röckner, and the authors.

math.AP↗

arXiv2012

Dirac and magnetic Schrödinger operators on fractals

In this paper we define (local) Dirac operators and magnetic Schrödinger Hamiltonians on fractals and prove their (essential) self-adjointness. To do so we use the concept of 1-forms and derivations associated with Dirichlet forms as introduced by Cipriani and Sauvageot, and further studied by the authors jointly with Röckner, Ionescu and Rogers. For simplicity our definitions and results are formulated for the Sierpinski gasket with its standard self-similar energy form. We point out how they may be generalized to other spaces, such as the classical Sierpinski carpet.

math-ph↗

arXiv2012

Derivations and Dirichlet forms on fractals

We study derivations and Fredholm modules on metric spaces with a local regular conservative Dirichlet form. In particular, on finitely ramified fractals, we show that there is a non-trivial Fredholm module if and only if the fractal is not a tree (i.e. not simply connected). This result relates Fredholm modules and topology, and refines and improves known results on p.c.f. fractals. We also discuss weakly summable Fredholm modules and the Dixmier trace in the cases of some finitely and infinitely ramified fractals (including non-self-similar fractals) if the so-called spectral dimension is less than 2. In the finitely ramified self-similar case we relate the p-summability question with estimates of the Lyapunov exponents for harmonic functions and the behavior of the pressure function.

math.OA↗

arXiv2012

Spatial Log Periodic Oscillations of First-Passage Observables in Fractals

For transport processes in geometrically restricted domains, the mean first-passage time (MFPT) admits a general scaling dependence on space parameters for diffusion, anomalous diffusion, and diffusion in disordered or fractal media. For transport in self-similar fractal structures, we obtain a new expression for the source-target distance dependence of the MFPT that exhibits both the leading power law behavior, depending on the Hausdorff and spectral dimension of the fractal, as well as small log periodic oscillations that are a clear and definitive signal of the underlying fractal structure. We also present refined numerical results for the Sierpinski gasket that confirm this oscillatory behavior.

cond-mat.stat-mech↗

arXiv2012

Random walks on barycentric subdivisions and the Strichartz hexacarpet

We investigate the relation between simple random walks on repeated barycentric subdivisions of a triangle and a self-similar fractal, Strichartz hexacarpet, which we introduce. We explore a graph approximation to the hexacarpet in order to establish a graph isomorphism between the hexacarpet approximations and Barycentric subdivisions of the triangle, and discuss various numerical calculations performed on the these graphs. We prove that equilateral barycentric subdivisions converge to a self-similar geodesic metric space of dimension log(6)/log(2), or about 2.58. Our numerical experiments give evidence to a conjecture that the simple random walks on the equilateral barycentric subdivisions converge to a continuous diffusion process on the Strichartz hexacarpet corresponding to a different spectral dimension (estimated numerically to be about 1.74).

math.MG↗

arXiv2011

Disconnected Julia sets and gaps in the spectrum of Laplacians on symmetric finitely ramified fractals

It is known that Laplacian operators on many fractals have gaps in their spectra. This fact precludes the possibility that a Weyl-type ratio can have a limit and is also a key ingredient in proving that the Fourier series on such fractals can have better convergence results than in the classical setting. In this paper we prove that the existence of gaps is equivalent to the total disconnectedness of the Julia set of the spectral decimation function for the class of fully symmetric p.c.f. fractals, and for self-similar fully symmetric finitely ramified fractals with regular harmonic structure. We also formulate conjectures related to geometry of finitely ramified fractals with spectral gaps, to complex spectral dimensions, and to convergence of Fourier series on such fractals.

math.SP↗

arXiv2010

Thermodynamics of photons on fractals

A thermodynamical treatment of a massless scalar field (a "photon") confined to a fractal spatial manifold leads to an equation of state relating pressure to internal energy, $P V_s=U/d_s$, where $d_s$ is the spectral dimension and $V_s$ defines the "spectral volume". For regular manifolds, $V_s$ coincides with the usual geometric spatial volume, but on a fractal this is not necessarily the case. This is further evidence that on a fractal, momentum space can have a different dimension than position space. Our analysis also provides a natural definition of the vacuum (Casimir) energy of a fractal. We suggest ways that these unusual properties might be probed experimentally.

cond-mat.stat-mech↗

arXiv2010

Spectral analysis on infinite Sierpinski fractafolds

A fractafold, a space that is locally modeled on a specified fractal, is the fractal equivalent of a manifold. For compact fractafolds based on the Sierpinski gasket, it was shown by the first author how to compute the discrete spectrum of the Laplacian in terms of the spectrum of a finite graph Laplacian. A similar problem was solved by the second author for the case of infinite blowups of a Sierpinski gasket, where spectrum is pure point of infinite multiplicity. Both works used the method of spectral decimations to obtain explicit description of the eigenvalues and eigenfunctions. In this paper we combine the ideas from these earlier works to obtain a description of the spectral resolution of the Laplacian for noncompact fractafolds. Our main abstract results enable us to obtain a completely explicit description of the spectral resolution of the fractafold Laplacian. For some specific examples we turn the spectral resolution into a "Plancherel formula". We also present such a formula for the graph Laplacian on the 3-regular tree, which appears to be a new result of independent interest. In the end we discuss periodic fractafolds and fractal fields.

math.FA↗

arXiv2009

Physical Consequences of Complex Dimensions of Fractals

It has recently been realized that fractals may be characterized by complex dimensions, arising from complex poles of the corresponding zeta function, and we show here that these lead to oscillatory behavior in various physical quantities. We identify the physical origin of these complex poles as the exponentially large degeneracy of the iterated eigenvalues of the Laplacian, and discuss applications in quantum mesoscopic systems such as oscillations in the fluctuation $Σ^2 (E)$ of the number of levels, as a correction to results obtained in Random Matrix Theory. We present explicit expressions for these oscillations for families of diamond fractals, also studied as hierarchical lattices.

cond-mat.mes-hall↗

arXiv2009

Smooth bumps, a Borel theorem and partitions of smooth functions on p.c.f. fractals

We provide two methods for constructing smooth bump functions and for smoothly cutting off smooth functions on fractals, one using a probabilistic approach and sub-Gaussian estimates for the heat operator, and the other using the analytic theory for p.c.f. fractals and a fixed point argument. The heat semigroup (probabilistic) method is applicable to a more general class of metric measure spaces with Laplacian, including certain infinitely ramified fractals, however the cut off technique involves some loss in smoothness. From the analytic approach we establish a Borel theorem for p.c.f. fractals, showing that to any prescribed jet at a junction point there is a smooth function with that jet. As a consequence we prove that on p.c.f. fractals smooth functions may be cut off with no loss of smoothness, and thus can be smoothly decomposed subordinate to an open cover. The latter result provides a replacement for classical partition of unity arguments in the p.c.f. fractal setting.

math.CA↗

arXiv2009

Brownian motion on the Sierpinski carpet

We prove that, up to scalar multiples, there exists only one local regular Dirichlet form on a generalized Sierpinski carpet that is invariant with respect to the local symmetries of the carpet. Consequently for each such fractal the law of Brownian motion is uniquely determined and the Laplacian is well defined.

math.PR↗

arXiv2008

Laplacians on the basilica Julia set

We consider the basilica Julia set of the polynomial $P(z)=z^{2}-1$ and construct all possible resistance (Dirichlet) forms, and the corresponding Laplacians, for which the topology in the effective resistance metric coincides with the usual topology. Then we concentrate on two particular cases. One is a self-similar harmonic structure, for which the energy renormalization factor is 2, the spectral dimension is $\log9/\log6$, and we can compute all the eigenvalues and eigenfunctions by a spectral decimation method. The other is graph-directed self-similar under the map $z\mapsto P(z)$; it has energy renormalization factor $\sqrt2$ and spectral dimension 4/3, but the exact computation of the spectrum is difficult. The latter Dirichlet form and Laplacian are in a sense conformally invariant on the basilica Julia set.

math.CA↗

arXiv2007

Weak uncertainty principle for fractals, graphs and metric measure spaces

We develop a new approach to formulate and prove the weak uncertainty inequality which was recently introduced by Okoudjou and Strichartz. We assume either an appropriate measure growth condition with respect to the effective resistance metric, or, in the absence of such a metric, we assume the Poincare inequality and reverse volume doubling property. We also consider the weak uncertainty inequality in the context of Nash-type inequalities. Our results can be applied to a wide variety of metric measure spaces, including graphs, fractals and manifolds.

math.FA↗

arXiv2006

Harmonic coordinates on fractals with finitely ramified cell structure

We define sets with finitely ramified cell structure, which are generalizations of p.c.f. self-similar sets introduced by Kigami and of fractafolds introduced by Strichartz. In general, we do not assume even local self-similarity, and allow countably many cells connected at each junction point. We prove that if Kigami's resistance form satisfies certain assumptions, then there exists a weak Riemannian metric such that the energy can be expressed as the integral of the norm squared of a weak gradient with respect to an energy measure. Furthermore, we prove that if such a set can be homeomorphically represented in harmonic coordinates, then for smooth functions the weak gradient can be replaced by the usual gradient. We also prove a simple formula for the energy measure Laplacian in harmonic coordinates.

math.PR↗

arXiv2005

Spectral zeta functions of fractals and the complex dynamics of polynomials

We obtain formulas for the spectral zeta function of the Laplacian on symmetric finitely ramified fractals, such as the Sierpinski gasket, and a fractal Laplacian on the interval. These formulas contain a new type of zeta function associated with a polynomial (rational functions also can appear in this context). It is proved that this zeta function has a meromorphic continuation to a half plain with poles contained in an arithmetic progression. It is shown as an example that the Riemann zeta function is the zeta functions of a quadratic polynomial, which is associated with the Laplacian on an interval. The spectral zeta function of the Sierpinski gasket is a product of the zeta function of a polynomial and a geometric part; the poles of the former are canceled by the zeros of the latter. A similar product structure was discovered by M.L. Lapidus for self-similar fractal strings.

math.SP↗

arXiv2005

A note on the theorems of M. G. Krein and L. A. Sakhnovich on continuous analogs of orthogonal polynomials on the circle

Continuous analogs of orthogonal polynomials on the circle are solutions of a canonical system of differential equations, introduced and studied by M.G.Krein and recently generalized to matrix systems by L.A.Sakhnovich. We prove that the continuous analog of the adjoint polynomials converges in the upper half-plane in the case of L^2 coefficients, but in general the limit can be defined only up to a constant multiple even when the coefficients are in L^p for any p>2, the spectral measure is absolutely continuous and the Szego-Kolmogorov-Krein condition is satisfied. Thus we point out that Krein's and Sakhnovich's papers contain an inaccuracy, which does not undermine known implications from these results.

math-ph↗

arXiv2003

Calculus on the Sierpinski Gasket I: Polynomials, Exponentials and Power Series

We study the analog of power series expansions on the Sierpinski gasket, for analysis based on the Kigami Laplacian. The analog of polynomials are multiharmonic functions, which have previously been studied in connection with Taylor approximations and splines. Here the main technical result is an estimate of the size of the monomials analogous to x^n/n!. We propose a definition of entire analytic functions as functions represented by power series whose coefficients satisfy exponential growth conditions that are stronger than what is required to guarantee uniform convergence. We present a characterization of these functions in terms of exponential growth conditions on powers of the Laplacian of the function. These entire analytic functions enjoy properties, such as rearrangement and unique determination by infinite jets, that one would expect. However, not all exponential functions (eigenfunctions of the Laplacian) are entire analytic, and also many other natural candidates, such as the heat kernel, do not belong to this class. Nevertheless, we are able to use spectral decimation to study exponentials, and in particular to create exponentially decaying functions for negative eigenvalues.

math.CA↗