Researcher profile

Michel L. Lapidus

Michel L. Lapidus contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
14works
0followers
8topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

14 published item(s)

preprint2014arXiv

Minkowski Measurability and Exact Fractal Tube Formulas for p-Adic Self-Similar Strings

The theory of p-adic fractal strings and their complex dimensions was developed by the first two authors in [17, 18, 19], particularly in the self-similar case, in parallel with its archimedean (or real) counterpart developed by the first and third author in [28]. Using the fractal tube formula obtained by the authors for p-adic fractal strings in [20], we present here an exact volume formula for the tubular neighborhood of a p-adic self-similar fractal string Lp, expressed in terms of the underlying complex dimensions. The periodic structure of the complex dimensions allows one to obtain a very concrete form for the resulting fractal tube formula. Moreover, we derive and use a truncated version of this fractal tube formula in order to show that Lp is not Minkowski measurable and obtain an explicit expression for its average Minkowski content. The general theory is illustrated by two simple examples, the 3-adic Cantor string and the 2-adic Fibonacci strings, which are nonarchimedean analogs (introduced in [17, 18]) of the real Cantor and Fibonacci strings studied in [28].

preprint2014arXiv

The current state of fractal billiards

If D is a rational polygon, then the associated rational billiard table is given by Ω(D). Such a billiard table is well understood. If F is a closed fractal curve approximated by a sequence of rational polygons, then the corresponding fractal billiard table is denoted by Ω(F). In this paper, we survey many of the results from [LapNie1-3] for the Koch snowflake fractal billiard Ω(KS) and announce new results on two other fractal billiard tables, namely, the T-fractal billiard table Ω(T) (see [LapNie6]) and a self-similar Sierpinski carpet billiard table Ω(S_a) (see [CheNie]). We build a general framework within which to analyze what we call a sequence of compatible orbits. Properties of particular sequences of compatible orbits are discussed for each prefractal billiard Ω(KS_n), Ω(T_n) and Ω(S_a,n), for n = 0, 1, 2... . In each case, we are able to determine a particular limiting behavior for an appropriately formulated sequence of compatible orbits. Such a limit either constitutes what we call a nontrivial path of a fractal billiard table Ω(F) or else a periodic orbit of Ω(F) with finite period. In our examples, F will be either KS, T or S_a. Several of the results and examples discussed in this paper are presented for the first time. We then close with a brief discussion of open problems and directions for further research in the emerging field of fractal billiards.

preprint2014arXiv

The Decimation Method for Laplacians on Fractals: Spectra and Complex Dynamics

In this survey article, we investigate the spectral properties of fractal differential operators on self-similar fractals. In particular, we discuss the decimation method, which introduces a renormalization map whose dynamics describes the spectrum of the operator. In the case of the bounded Sierpinski gasket, the renormalization map is a polynomial of one variable on the complex plane. The decimation method has been generalized by C. Sabot to other fractals with blow-ups and the resulting associated renormalization map is then a multi-variable rational function on a complex projective space. Furthermore, the dynamics associated with the iteration of the renormalization map plays a key role in obtaining a suitable factorization of the spectral zeta function of fractal differential operators. In this context, we discuss the works of A. Teplyaev and of the authors regarding the examples of the bounded and unbounded Sierpinski gaskets as well as of fractal Sturm-Liouville differential operators on the half-line.

preprint2013arXiv

Box-counting fractal strings, zeta functions, and equivalent forms of Minkowski dimension

We discuss a number of techniques for determining the Minkowski dimension of bounded subsets of some Euclidean space of any dimension, including: the box-counting dimension and equivalent definitions based on various box-counting functions; the similarity dimension via the Moran equation (at least in the case of self-similar sets); the order of the (box-)counting function; the classic result on compact subsets of the real line due to Besicovitch and Taylor, as adapted to the theory of fractal strings; and the abscissae of convergence of new classes of zeta functions. Specifically, we define box-counting zeta functions of infinite bounded subsets of Euclidean space and discuss results pertaining to distance and tube zeta functions. Appealing to an analysis of these zeta functions allows for the development of theories of complex dimensions for bounded sets in Euclidean space, extending techniques and results regarding (ordinary) fractal strings obtained by the first author and van Frankenhuijsen.

preprint2013arXiv

Multifractal analysis via scaling zeta functions and recursive structure of lattice strings

The multifractal structure underlying a self-similar measure stems directly from the weighted self-similar system (or weighted iterated function system) which is used to construct the measure. This follows much in the way that the dimension of a self-similar set, be it the Hausdorff, Minkowski, or similarity dimension, is determined by the scaling ratios of the corresponding self-similar system via Moran's theorem. The multifractal structure allows for our definition of scaling regularity and scaling zeta functions motivated by geometric zeta functions and, in particular, partition zeta functions. Some of the results of this paper consolidate and partially extend the results regarding a multifractal analysis for certain self-similar measures supported on compact subsets of a Euclidean space based on partition zeta functions. Specifically, scaling zeta functions generalize partition zeta functions when the choice of the family of partitions is given by the natural family of partitions determined by the self-similar system in question. Moreover, in certain cases, self-similar measures can be shown to exhibit lattice or nonlattice structure with respect to specified scaling regularity values. Additionally, in the context provided by generalized fractal strings viewed as measures, we define generalized self-similar strings, allowing for the examination of many of the results presented here in a specific overarching context and for a connection to the results regarding the corresponding complex dimensions as roots of Dirichlet polynomials. Furthermore, generalized lattice strings and recursive strings are defined and shown to be very closely related.

preprint2012arXiv

Minkowski measurability results for self-similar tilings and fractals with monophase generators

In a previous paper [arXiv:1006.3807], the authors obtained tube formulas for certain fractals under rather general conditions. Based on these formulas, we give here a characterization of Minkowski measurability of a certain class of self-similar tilings and self-similar sets. Under appropriate hypotheses, self-similar tilings with simple generators (more precisely, monophase generators) are shown to be Minkowski measurable if and only if the associated scaling zeta function is of nonlattice type. Under a natural geometric condition on the tiling, the result is transferred to the associated self-similar set (i.e., the fractal itself). Also, the latter is shown to be Minkowski measurable if and only if the associated scaling zeta function is of nonlattice type.

preprint2012arXiv

Sequences of compatible periodic hybrid orbits of prefractal Koch snowflake billiards

The Koch snowflake KS is a nowhere differentiable curve. The billiard table Omega(KS) with boundary KS is, a priori, not well defined. That is, one cannot a priori determine the minimal path traversed by a billiard ball subject to a collision in the boundary of the table. It is this problem which makes Omega(KS) such an interesting, yet difficult, table to analyze. In this paper, we approach this problem by approximating (from the inside) Omega(KS) by well-defined (prefractal) rational polygonal billiard tables Omega(KS_n). We first show that the flat surface S(KS_n) determined from the rational billiard Omega(KS_n) is a branched cover of the singly punctured hexagonal torus. Such a result, when combined with the results of [Gut2], allows us to define a sequence of compatible orbits of prefractal billiards. We define a hybrid orbit of a prefractal billiard Omega(KS_n) and show that every dense orbit of a prefractal billiard is a dense hybrid orbit of Omega(KS_n). This result is key in obtaining a topological dichotomy for a sequence of compatible orbits. Furthermore, we determine a sufficient condition for a sequence of compatible orbits to be a sequence of compatible periodic hybrid orbits. We then examine the limiting behavior of a sequence of compatible periodic hybrid orbits. We show that the trivial limit of particular (eventually) constant sequences of compatible hybrid orbits constitutes an orbit of Omega(KS). In addition, we show that the union of two suitably chosen nontrivial polygonal paths connects two elusive limit points of the Koch snowflake. Finally, we discuss how it may be possible for our results to be generalized to other fractal billiard tables and how understanding the structures of the Veech groups of the prefractal billiards may help in determining `fractal flat surfaces' naturally associated with the billiard flows.

preprint2011arXiv

Partition zeta functions, multifractal spectra, and tapestries of complex dimensions

For a Borel measure and a sequence of partitions on the unit interval, we define a multifractal spectrum based on coarse Holder regularity. Specifically, the coarse Holder regularity values attained by a given measure and with respect to a sequence of partitions generate a sequence of lengths (or rather, scales) which in turn define certain Dirichlet series, called the partition zeta functions. The abscissae of convergence of these functions define a multifractal spectrum whose concave envelope is the (geometric) Hausdorff multifractal spectrum which follows from a certain type of Moran construction. We discuss at some length the important special case of self-similar measures associated with weighted iterated function systems and, in particular, certain multinomial measures. Moreover, our multifractal spectrum is shown to extend to a tapestry of complex dimensions for two specific atomic measures.

preprint2011arXiv

Pointwise tube formulas for fractal sprays and self-similar tilings with arbitrary generators

In a previous paper by the first two authors, a tube formula for fractal sprays was obtained which also applies to a certain class of self-similar fractals. The proof of this formula uses distributional techniques and requires fairly strong conditions on the geometry of the tiling (specifically, the inner tube formula for each generator of the fractal spray is required to be polynomial). Now we extend and strengthen the tube formula by removing the conditions on the geometry of the generators, and also by giving a proof which holds pointwise, rather than distributionally. Hence, our results for fractal sprays extend to higher dimensions the pointwise tube formula for (1-dimensional) fractal strings obtained earlier by Lapidus and van Frankenhuijsen. Our pointwise tube formulas are expressed as a sum of the residues of the "tubular zeta function" of the fractal spray in $\mathbb{R}^d$. This sum ranges over the complex dimensions of the spray, that is, over the poles of the geometric zeta function of the underlying fractal string and the integers $0,1,...,d$. The resulting "fractal tube formulas" are applied to the important special case of self-similar tilings, but are also illustrated in other geometrically natural situations. Our tube formulas may also be seen as fractal analogues of the classical Steiner formula.

preprint2011arXiv

The Geometry of p-Adic Fractal Strings: A Comparative Survey

We give a brief overview of the theory of complex dimensions of real (archimedean) fractal strings via an illustrative example, the ordinary Cantor string, and a detailed survey of the theory of p-adic (nonarchimedean) fractal strings and their complex dimensions. Moreover, we present an explicit volume formula for the tubular neighborhood of a p-adic fractal string Lp, expressed in terms of the underlying complex dimensions. Special attention will be focused on p-adic self-similar strings, in which the nonarchimedean theory takes a more natural form than its archimedean counterpart. In contrast with the archimedean setting, all p-adic self-similar strings are lattice and hence, their complex dimensions (as well as their zeros) are periodically distributed along finitely many vertical lines. The general theory is illustrated by some simple examples, the nonarchimedean Cantor, Euler, and Fibonacci strings. Throughout this comparative survey of the archimedean and nonarchimedean theories of fractal (and possibly, self-similar) strings, we discuss analogies and differences between the real and p-adic situations. We close this paper by proposing several directions for future research, including seemingly new and challenging problems in p-adic (or rather, nonarchimedean) harmonic and functional analysis, as well as spectral theory.

preprint2010arXiv

Tube formulas and complex dimensions of self-similar tilings

We use the self-similar tilings constructed by the second author in "Canonical self-affine tilings by iterated function systems" to define a generating function for the geometry of a self-similar set in Euclidean space. This tubular zeta function encodes scaling and curvature properties related to the complement of the fractal set, and the associated system of mappings. This allows one to obtain the complex dimensions of the self-similar tiling as the poles of the tubular zeta function and hence develop a tube formula for self-similar tilings in \$\mathbb{R}^d$. The resulting power series in $ε$ is a fractal extension of Steiner's classical tube formula for convex bodies $K \ci \bRd$. Our sum has coefficients related to the curvatures of the tiling, and contains terms for each integer $i=0,1,...,d-1$, just as Steiner's does. However, our formula also contains terms for each complex dimension. This provides further justification for the term "complex dimension". It also extends several aspects of the theory of fractal strings to higher dimensions and sheds new light on the tube formula for fractals strings obtained in "Fractal Geometry and Complex Dimensions" by the first author and Machiel van Frankenhuijsen.

preprint2009arXiv

Towards the Koch Snowflake Fractal Billiard: Computer Experiments and Mathematical Conjectures

In this paper, we attempt to define and understand the orbits of the Koch snowflake fractal billiard $KS$. This is a priori a very difficult problem because $\partial(KS)$, the snowflake curve boundary of $KS$, is nowhere differentiable, making it impossible to apply the usual law of reflection at any point of the boundary of the billiard table. Consequently, we view the prefractal billiards $KS_n$ (naturally approximating $KS$ from the inside) as rational polygonal billiards and examine the corresponding flat surfaces of $KS_n$, denoted by $\mathcal{S}_{KS_n}$. In order to develop a clearer picture of what may possibly be happening on the billiard $KS$, we simulate billiard trajectories on $KS_n$ (at first, for a fixed $n\geq 0$). Such computer experiments provide us with a wealth of questions and lead us to formulate conjectures about the existence and the geometric properties of periodic orbits of $KS$ and detail a possible plan on how to prove such conjectures.

preprint2007arXiv

Tube formulas for self-similar fractals

Tube formulas (by which we mean an explicit formula for the volume of an $ε$-neighbourhood of a subset of a suitable metric space) have been used in many situations to study properties of the subset. For smooth submanifolds of Euclidean space, this includes Weyl's celebrated results on spectral asymptotics, and the subsequent relation between curvature and spectrum. Additionally, a tube formula contains information about the dimension and measurability of rough sets. In convex geometry, the tube formula of a convex subset of Euclidean space allows for the definition of certain curvature measures. These measures describe the curvature of sets which are not too irregular to support derivatives. In this survey paper, we describe some recent advances in the development of tube formulas for self-similar fractals, and their applications and connections to the other topics mentioned here.

preprint2005arXiv

A tube formula for the Koch snowflake curve, with applications to complex dimensions

A formula for the interior epsilon-neighborhood of the classical von Koch snowflake curve is computed in detail. This function of epsilon is shown to match quite closely with earlier predictions of what it should be, but is also much more precise. The resulting `tube formula' is expressed in terms of the Fourier coefficients of a suitable nonlinear and periodic analogue of the standard Cantor staircase function and reflects the self-similarity of the Koch curve. As a consequence, the possible complex dimensions of the Koch snowflake are computed explicitly.