-
The irrationality measure of $π$ as seen through the eyes of $\cos(n)$
Authors:
Sully F. Chen,
Erin P. J. Pearse
Abstract:
For different values of $γ\geq 0$, analysis of the end behavior of the sequence $a_n = \cos (n)^{n^γ}$ yields a strong connection to the irrationality measure of $π$. We show that if $\limsup |\cos n|^{n^2} \neq 1$, then the irrationality measure of $π$ is exactly 2. We also give some numerical evidence to support the conjecture that $μ(π)=2$, based on the appearance of some startling subsequences…
▽ More
For different values of $γ\geq 0$, analysis of the end behavior of the sequence $a_n = \cos (n)^{n^γ}$ yields a strong connection to the irrationality measure of $π$. We show that if $\limsup |\cos n|^{n^2} \neq 1$, then the irrationality measure of $π$ is exactly 2. We also give some numerical evidence to support the conjecture that $μ(π)=2$, based on the appearance of some startling subsequences of $\cos(n)^n$.
△ Less
Submitted 29 July, 2019; v1 submitted 9 July, 2018;
originally announced July 2018.
-
On the continuity of entropy of Lorenz maps
Authors:
Zoe Cooperband,
Erin P. J. Pearse,
Blaine Quackenbush,
Jordan M. Rowley,
Tony Samuel,
Matthew A. West
Abstract:
We consider a one parameter family of Lorenz maps indexed by their point of discontinuity $p$ and constructed from a pair of bilipschitz functions. We prove that their topological entropies vary continuously as a function of $p$ and discuss Milnor's monotonicity conjecture in this setting.
We consider a one parameter family of Lorenz maps indexed by their point of discontinuity $p$ and constructed from a pair of bilipschitz functions. We prove that their topological entropies vary continuously as a function of $p$ and discuss Milnor's monotonicity conjecture in this setting.
△ Less
Submitted 12 March, 2018;
originally announced March 2018.
-
Symmetric pairs of unbounded operators in Hilbert space, and their applications in mathematical physics
Authors:
Palle E. T. Jorgensen,
Erin P. J. Pearse
Abstract:
In a previous paper, the authors introduced the idea of a symmetric pair of operators as a way to compute self-adjoint extensions of symmetric operators. In brief, a symmetric pair consists of two densely defined linear operators $A$ and $B$, with $A \subseteq B^\star$ and $B \subseteq A^\star$. In this paper, we will show by example that symmetric pairs may be used to deduce closability of operat…
▽ More
In a previous paper, the authors introduced the idea of a symmetric pair of operators as a way to compute self-adjoint extensions of symmetric operators. In brief, a symmetric pair consists of two densely defined linear operators $A$ and $B$, with $A \subseteq B^\star$ and $B \subseteq A^\star$. In this paper, we will show by example that symmetric pairs may be used to deduce closability of operators and sometimes even compute adjoints. In particular, we prove that the Malliavin derivative and Skorokhod integral of stochastic calculus are closable, and the closures are mutually adjoint. We also prove that the basic involutions of Tomita-Takesaki theory are closable and that their closures are mutually adjoint. Applications to functions of finite energy on infinite graphs are also discussed, wherein the Laplace operator and inclusion operator form a symmetric pair.
△ Less
Submitted 26 August, 2016; v1 submitted 20 January, 2016;
originally announced January 2016.
-
Symmetric pairs and self-adjoint extensions of operators, with applications to energy networks
Authors:
Palle E. T. Jorgensen,
Erin P. J. Pearse
Abstract:
We provide a streamlined construction of the Friedrichs extension of a densely-defined self-adjoint and semibounded operator $A$ on a Hilbert space $\mathcal{H}$, by means of a symmetric pair of operators. A \emph{symmetric pair} is comprised of densely defined operators $J: \mathcal{H}_1 \to \mathcal{H}_2$ and $K: \mathcal{H}_2 \to \mathcal{H}_1$ which are compatible in a certain sense. With the…
▽ More
We provide a streamlined construction of the Friedrichs extension of a densely-defined self-adjoint and semibounded operator $A$ on a Hilbert space $\mathcal{H}$, by means of a symmetric pair of operators. A \emph{symmetric pair} is comprised of densely defined operators $J: \mathcal{H}_1 \to \mathcal{H}_2$ and $K: \mathcal{H}_2 \to \mathcal{H}_1$ which are compatible in a certain sense. With the appropriate definitions of $\mathcal{H}_1$ and $J$ in terms of $A$ and $\mathcal{H}$, we show that $(JJ^\star)^{-1}$ is the Friedrichs extension of $A$. Furthermore, we use related ideas (including the notion of unbounded containment) to construct a generalization of the construction of the Krein extension of $A$ as laid out in a previous paper of the authors. These results are applied to the study of the graph Laplacian on infinite networks, in relation to the Hilbert spaces $\ell^2(G)$ and $\mathcal{H}_{\mathcal E}$ (the energy space).
△ Less
Submitted 14 January, 2016; v1 submitted 10 December, 2015;
originally announced December 2015.
-
Unbounded containment in the energy space of a network and the Krein extension of the energy Laplacian
Authors:
Palle E. T. Jorgensen,
Erin P. J. Pearse
Abstract:
We compare the space of square-summable functions on an infinite graph (denoted $\ell^2(G)$) with the space of functions of finite energy (denoted $\mathcal{H}_{\mathcal{E}}$). There is a notion of inclusion that allows $\ell^2(G)$ to be embedded into $\mathcal{H}_{\mathcal{E}}$, but the required inclusion operator is unbounded in most interesting cases. These observations assist in the constructi…
▽ More
We compare the space of square-summable functions on an infinite graph (denoted $\ell^2(G)$) with the space of functions of finite energy (denoted $\mathcal{H}_{\mathcal{E}}$). There is a notion of inclusion that allows $\ell^2(G)$ to be embedded into $\mathcal{H}_{\mathcal{E}}$, but the required inclusion operator is unbounded in most interesting cases. These observations assist in the construction of the Krein extension of the Laplace operator on $\mathcal{H}_{\mathcal{E}}$. We investigate the Krein extension and compare it to the Friedrichs extension developed by the authors in a previous paper.
△ Less
Submitted 10 July, 2015; v1 submitted 6 April, 2015;
originally announced April 2015.
-
Lattice-type self-similar sets with pluriphase generators fail to be Minkowski measurable
Authors:
Sabrina Kombrink,
Erin P. J. Pearse,
Steffen Winter
Abstract:
A long-standing conjecture of Lapidus claims that under certain conditions, self-similar fractal sets fail to be Minkowski measurable if and only if they are of lattice type. The theorem was established for fractal subsets of $\mathbb{R}$ by Falconer, Lapidus and v.~Frankenhuijsen, and the forward direction was shown for fractal subsets of $\mathbb{R}^d$, $d \geq 2$, by Gatzouras. Since then, much…
▽ More
A long-standing conjecture of Lapidus claims that under certain conditions, self-similar fractal sets fail to be Minkowski measurable if and only if they are of lattice type. The theorem was established for fractal subsets of $\mathbb{R}$ by Falconer, Lapidus and v.~Frankenhuijsen, and the forward direction was shown for fractal subsets of $\mathbb{R}^d$, $d \geq 2$, by Gatzouras. Since then, much effort has been made to prove the converse. In this paper, we prove a partial converse by means of renewal theory. Our proof allows us to recover several previous results in this regard, but is much shorter and extends to a more general setting; several technical conditions appearing in previous versions of this result have now been removed.
△ Less
Submitted 15 January, 2015;
originally announced January 2015.
-
Spectral comparisons between networks with different conductance functions
Authors:
Palle E. T. Jorgensen,
Erin P. J. Pearse
Abstract:
For a network consisting of a graph with edge weights prescribed by a given conductance function $c$, we consider the effects of replacing these weights with a new function $b$ that satisfies $b \leq c$ on each edge. In particular, we compare the corresponding energy spaces and the spectra of the Laplace operators acting on these spaces. We use these results to derive estimates for effective resis…
▽ More
For a network consisting of a graph with edge weights prescribed by a given conductance function $c$, we consider the effects of replacing these weights with a new function $b$ that satisfies $b \leq c$ on each edge. In particular, we compare the corresponding energy spaces and the spectra of the Laplace operators acting on these spaces. We use these results to derive estimates for effective resistance on the two networks, and to compute a spectral invariant for the canonical embedding of one energy space into the other.
△ Less
Submitted 23 August, 2012; v1 submitted 14 July, 2011;
originally announced July 2011.
-
Self-similar fractals as boundaries of networks
Authors:
Erin P. J. Pearse
Abstract:
For a given pcf self-similar fractal, a certain network (weighted graph) is constructed whose ideal boundary is (homeomorphic to) the fractal. This construction is the first representation of a connected self-similar fractal as the boundary of a reversible Markov chain (i.e., a simple random walk on a network). The boundary construction is effected using certain functions of finite energy which be…
▽ More
For a given pcf self-similar fractal, a certain network (weighted graph) is constructed whose ideal boundary is (homeomorphic to) the fractal. This construction is the first representation of a connected self-similar fractal as the boundary of a reversible Markov chain (i.e., a simple random walk on a network). The boundary construction is effected using certain functions of finite energy which behave like bump functions on the boundary. The random walk is shown to converge to the boundary almost surely, with respect to the standard measure on its trajectory space.
△ Less
Submitted 8 April, 2011;
originally announced April 2011.
-
Minkowski measurability results for self-similar tilings and fractals with monophase generators
Authors:
Michel L. Lapidus,
Erin P. J. Pearse,
Steffen Winter
Abstract:
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…
▽ More
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.
△ Less
Submitted 22 December, 2012; v1 submitted 8 April, 2011;
originally announced April 2011.
-
Self-adjoint extensions of network Laplacians and applications to resistance metrics
Authors:
Palle E. T. Jorgensen,
Erin P. J. Pearse
Abstract:
Let $(G,c)$ be an infinite network, and let $\mathcal{E}$ be the canonical energy form. Let $Δ_2$ be the Laplace operator with dense domain in $\ell^2(G)$ and let $Δ_{\mathcal{E}}$ be the Laplace operator with dense domain in the Hilbert space $\mathcal{H}_\mathcal{E}$ of finite energy functions on $G$. It is known that $Δ_2$ is essentially self-adjoint, but that $Δ_{\mathcal{E}}$ is \emph{not}. I…
▽ More
Let $(G,c)$ be an infinite network, and let $\mathcal{E}$ be the canonical energy form. Let $Δ_2$ be the Laplace operator with dense domain in $\ell^2(G)$ and let $Δ_{\mathcal{E}}$ be the Laplace operator with dense domain in the Hilbert space $\mathcal{H}_\mathcal{E}$ of finite energy functions on $G$. It is known that $Δ_2$ is essentially self-adjoint, but that $Δ_{\mathcal{E}}$ is \emph{not}. In this paper, we characterize the Friedrichs extension of $Δ_{\mathcal{E}}$ in terms of $Δ_2$ and show that the spectral measures of the two operators are mutually absolutely continuous with Radon-Nikodym derivative $λ$ (the spectral parameter), in the complement of $λ=0$. We also give applications to the effective resistance on $(G,c)$. For transient networks, the Dirac measure at $λ= 0$ contributes to the spectral resolution of the Friedrichs extension of $Δ_{\mathcal{E}}$ but not to that of the self-adjoint $\ell^2$ Laplacian.
△ Less
Submitted 6 March, 2012; v1 submitted 29 March, 2011;
originally announced March 2011.
-
Multiplication operators on the energy space
Authors:
Palle E. T. Jorgensen,
Erin P. J. Pearse
Abstract:
This paper studies the "energy space" $\mathcal{H}_{\mathcal{E}}$ (the Hilbert space of functions of finite energy, aka the Dirichlet-finite functions) on an infinite network (weighted connected graph), from the point of view of the multiplication operators $M_f$ associated to functions $f$ on the network. We show that the multiplication operators $M_f$ are not Hermitian unless $f$ is constant, an…
▽ More
This paper studies the "energy space" $\mathcal{H}_{\mathcal{E}}$ (the Hilbert space of functions of finite energy, aka the Dirichlet-finite functions) on an infinite network (weighted connected graph), from the point of view of the multiplication operators $M_f$ associated to functions $f$ on the network. We show that the multiplication operators $M_f$ are not Hermitian unless $f$ is constant, and compute the adjoint $M_f^\star$ in terms of a reproducing kernel for $\mathcal{H}_{\mathcal{E}}$.
A characterization of the bounded multiplication operators is given in terms of positive semidefinite functions, and we give some conditions on $f$ which ensure $M_f$ is bounded. Examples show that it is not sufficient that $f$ be bounded or have finite energy. Conditions for the boundedness of $M_f$ are also expressed in terms of the behavior of the simple random walk on the network.
We also consider the bounded elements of $\mathcal{H}_{\mathcal{E}}$ and the (possibly unbounded) multiplication operators corresponding to them. In a previous paper, the authors used functional integration to construct a type of boundary for infinite networks. The boundary is described here in terms of a certain subalgebra of these multiplication operators, and is shown to embed into the Gel'fand space of that subalgebra. In the case when the only harmonic functions of finite energy are constant, we show that the Gel'fand space is the 1-point compactification of the underlying network.
△ Less
Submitted 20 July, 2010;
originally announced July 2010.
-
Pointwise tube formulas for fractal sprays and self-similar tilings with arbitrary generators
Authors:
Michel L. Lapidus,
Erin P. J. Pearse,
Steffen Winter
Abstract:
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 ex…
▽ More
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.
△ Less
Submitted 14 April, 2011; v1 submitted 18 June, 2010;
originally announced June 2010.
-
Spectral reciprocity and matrix representations of unbounded operators
Authors:
Palle E. T. Jorgensen,
Erin P. J. Pearse
Abstract:
Motivated by potential theory on discrete spaces, we study a family of unbounded Hermitian operators in Hilbert space which generalize the usual graph-theoretic discrete Laplacian. These operators are discrete analogues of the classical conformal Laplacians and Hamiltonians from statistical mechanics. For an infinite discrete set $X$, we consider operators acting on Hilbert spaces of functions on…
▽ More
Motivated by potential theory on discrete spaces, we study a family of unbounded Hermitian operators in Hilbert space which generalize the usual graph-theoretic discrete Laplacian. These operators are discrete analogues of the classical conformal Laplacians and Hamiltonians from statistical mechanics. For an infinite discrete set $X$, we consider operators acting on Hilbert spaces of functions on $X$, and their representations as infinite matrices; the focus is on $\ell^2(X)$, and the energy space $\mathcal{H}_{\mathcal E}$. In particular, we prove that these operators are always essentially self-adjoint on $\ell^2(X)$, but may fail to be essentially self-adjoint on $\mathcal{H}_{\mathcal E}$. In the general case, we examine the von Neumann deficiency indices of these operators and explore their relevance in mathematical physics. Finally we study the spectra of the $\mathcal{H}_{\mathcal E}$ operators with the use of a new approximation scheme.
△ Less
Submitted 29 January, 2011; v1 submitted 2 November, 2009;
originally announced November 2009.
-
Resistance boundaries of infinite networks
Authors:
Palle E. T. Jorgensen,
Erin P. J. Pearse
Abstract:
A resistance network is a connected graph $(G,c)$. The conductance function $c_{xy}$ weights the edges, which are then interpreted as conductors of possibly varying strengths. The Dirichlet energy form $\mathcal E$ produces a Hilbert space structure ${\mathcal H}_{\mathcal E}$ on the space of functions of finite energy.
The relationship between the natural Dirichlet form $\mathcal E$ and the d…
▽ More
A resistance network is a connected graph $(G,c)$. The conductance function $c_{xy}$ weights the edges, which are then interpreted as conductors of possibly varying strengths. The Dirichlet energy form $\mathcal E$ produces a Hilbert space structure ${\mathcal H}_{\mathcal E}$ on the space of functions of finite energy.
The relationship between the natural Dirichlet form $\mathcal E$ and the discrete Laplace operator $Δ$ on a finite network is given by $\mathcal E(u,v) = \la u, \Lap v\ra_2$, where the latter is the usual $\ell^2$ inner product. We describe a reproducing kernel $\{v_x\}$ for $\mathcal E$ and used it to extends the discrete Gauss-Green identity to infinite networks: \[{\mathcal E}(u,v) = \sum_{G} u Δv + \sum_{\operatorname{bd}G} u \tfrac{\partial}{\partial \mathbf{n}} v,\] where the latter sum is understood in a limiting sense, analogous to a Riemann sum. This formula immediately yields a boundary sum representation for the harmonic functions of finite energy.
Techniques from stochastic integration allow one to make the boundary $\operatorname{bd}G$ precise as a measure space, and give a boundary integral representation (in a sense analogous to that of Poisson or Martin boundary theory). This is done in terms of a Gel'fand triple $S \ci {\mathcal H}_{\mathcal E} \ci S'$ and gives a probability measure $\mathbb{P}$ and an isometric embedding of ${\mathcal H}_{\mathcal E}$ into $L^2(S',\mathbb{P})$, and yields a concrete representation of the boundary as a set of linear functionals on $S$.
△ Less
Submitted 22 January, 2010; v1 submitted 8 September, 2009;
originally announced September 2009.
-
Gel'fand triples and boundaries of infinite networks
Authors:
Palle E. T. Jorgensen,
Erin P. J. Pearse
Abstract:
We study the boundary theory of a connected weighted graph $G$ from the viewpoint of stochastic integration. For the Hilbert space \HE of Dirichlet-finite functions on $G$, we construct a Gel'fand triple $S \ci {\mathcal H}_{\mathcal E} \ci S'$. This yields a probability measure $\mathbb{P}$ on $S'$ and an isometric embedding of ${\mathcal H}_{\mathcal E}$ into $L^2(S',\mathbb{P})$, and hence give…
▽ More
We study the boundary theory of a connected weighted graph $G$ from the viewpoint of stochastic integration. For the Hilbert space \HE of Dirichlet-finite functions on $G$, we construct a Gel'fand triple $S \ci {\mathcal H}_{\mathcal E} \ci S'$. This yields a probability measure $\mathbb{P}$ on $S'$ and an isometric embedding of ${\mathcal H}_{\mathcal E}$ into $L^2(S',\mathbb{P})$, and hence gives a concrete representation of the boundary as a certain class of "distributions" in $S'$. In a previous paper, we proved a discrete Gauss-Green identity for infinite networks which produces a boundary representation for harmonic functions of finite energy, given as a certain limit. In this paper, we use techniques from stochastic integration to make the boundary $\operatorname{bd}G$ precise as a measure space, and obtain a boundary integral representation as an integral over $S'$.
△ Less
Submitted 16 August, 2012; v1 submitted 15 June, 2009;
originally announced June 2009.
-
A Hilbert space approach to effective resistance metric
Authors:
Palle E. T. Jorgensen,
Erin P. J. Pearse
Abstract:
A resistance network is a connected graph $(G,c)$. The conductance function $c_{xy}$ weights the edges, which are then interpreted as conductors of possibly varying strengths. The Dirichlet energy form $\mathcal E$ produces a Hilbert space structure (which we call the energy space ${\mathcal H}_{\mathcal E}$) on the space of functions of finite energy.
We use the reproducing kernel $\{v_x\}$ c…
▽ More
A resistance network is a connected graph $(G,c)$. The conductance function $c_{xy}$ weights the edges, which are then interpreted as conductors of possibly varying strengths. The Dirichlet energy form $\mathcal E$ produces a Hilbert space structure (which we call the energy space ${\mathcal H}_{\mathcal E}$) on the space of functions of finite energy.
We use the reproducing kernel $\{v_x\}$ constructed in \cite{DGG} to analyze the effective resistance $R$, which is a natural metric for such a network. It is known that when $(G,c)$ supports nonconstant harmonic functions of finite energy, the effective resistance metric is not unique. The two most natural choices for $R(x,y)$ are the ``free resistance'' $R^F$, and the ``wired resistance'' $R^W$. We define $R^F$ and $R^W$ in terms of the functions $v_x$ (and certain projections of them). This provides a way to express $R^F$ and $R^W$ as norms of certain operators, and explain $R^F \neq R^W$ in terms of Neumann vs. Dirichlet boundary conditions. We show that the metric space $(G,R^F)$ embeds isometrically into ${\mathcal H}_{\mathcal E}$, and the metric space $(G,R^W)$ embeds isometrically into the closure of the space of finitely supported functions; a subspace of ${\mathcal H}_{\mathcal E}$.
Typically, $R^F$ and $R^W$ are computed as limits of restrictions to finite subnetworks. A third formulation $R^{tr}$ is given in terms of the trace of the Dirichlet form $\mathcal E$ to finite subnetworks. A probabilistic approach shows that in the limit, $R^{tr}$ coincides with $R^F$. This suggests a comparison between the probabilistic interpretations of $R^F$ vs. $R^W$.
△ Less
Submitted 12 September, 2009; v1 submitted 14 June, 2009;
originally announced June 2009.
-
A discrete Gauss-Green identity for unbounded Laplace operators and transience of random walks
Authors:
Palle E. T. Jorgensen,
Erin P. J. Pearse
Abstract:
A resistance network is a connected graph $(G,c)$. The conductance function $c_{xy}$ weights the edges, which are then interpreted as resistors of possibly varying strengths. The relationship between the natural Dirichlet form $\mathcal E$ and the discrete Laplace operator $Δ$ on a finite network is given by $\mathcal E(u,v) = \la u, \Lap v\ra_2$, where the latter is the usual $\ell^2$ inner pro…
▽ More
A resistance network is a connected graph $(G,c)$. The conductance function $c_{xy}$ weights the edges, which are then interpreted as resistors of possibly varying strengths. The relationship between the natural Dirichlet form $\mathcal E$ and the discrete Laplace operator $Δ$ on a finite network is given by $\mathcal E(u,v) = \la u, \Lap v\ra_2$, where the latter is the usual $\ell^2$ inner product. We extend this formula to infinite networks, where a new (boundary) term appears. The Laplace operator is typically unbounded in this context; we construct a reproducing kernel for the space of functions of finite energy which allows us to specify a dense domain for $Δ$ and give several criteria for the transience of the random walk on the network. The extended Gauss-Green identity and the reproducing kernel are the foundation for a boundary integral representation for harmonic functions of finite energy, akin to that of Martin boundary theory.
△ Less
Submitted 18 February, 2010; v1 submitted 8 June, 2009;
originally announced June 2009.
-
The resolvent kernel for PCF self-similar fractals
Authors:
Marius Ionescu,
Erin P. J. Pearse,
Luke G. Rogers,
Huo-Jun Ruan,
Robert S. Strichartz
Abstract:
For the Laplacian $Δ$ defined on a p.c.f. self-similar fractal, we give an explicit formula for the resolvent kernel of the Laplacian with Dirichlet boundary conditions, and also with Neumann boundary conditions. That is, we construct a symmetric function $G^{(λ)}$ which solves $(λ\mathbb{I} - Δ)^{-1} f(x) = \int G^{(λ)}(x,y) f(y) dμ(y)$. The method is similar to Kigami's construction of the Gre…
▽ More
For the Laplacian $Δ$ defined on a p.c.f. self-similar fractal, we give an explicit formula for the resolvent kernel of the Laplacian with Dirichlet boundary conditions, and also with Neumann boundary conditions. That is, we construct a symmetric function $G^{(λ)}$ which solves $(λ\mathbb{I} - Δ)^{-1} f(x) = \int G^{(λ)}(x,y) f(y) dμ(y)$. The method is similar to Kigami's construction of the Green kernel in \cite[\S3.5]{Kig01} and is expressed as a sum of scaled and "translated" copies of a certain function $ψ^{(λ)}$ which may be considered as a fundamental solution of the resolvent equation. Examples of the explicit resolvent kernel formula are given for the unit interval, standard Sierpinski gasket, and the level-3 Sierpinski gasket $SG_3$.
△ Less
Submitted 30 April, 2009; v1 submitted 25 November, 2008;
originally announced November 2008.
-
Geometry of canonical self-similar tilings
Authors:
Erin P. J. Pearse,
Steffen Winter
Abstract:
We give several different geometric characterizations of the situation in which the parallel set $F_ε$ of a self-similar set $F$ can be described by the inner $ε$-parallel set $T_{-ε}$ of the associated canonical tiling $\mathcal T$, in the sense of \cite{SST}. For example, $F_ε=T_{-ε} \cup C_ε$ if and only if the boundary of the convex hull $C$ of $F$ is a subset of $F$, or if the boundary of…
▽ More
We give several different geometric characterizations of the situation in which the parallel set $F_ε$ of a self-similar set $F$ can be described by the inner $ε$-parallel set $T_{-ε}$ of the associated canonical tiling $\mathcal T$, in the sense of \cite{SST}. For example, $F_ε=T_{-ε} \cup C_ε$ if and only if the boundary of the convex hull $C$ of $F$ is a subset of $F$, or if the boundary of $E$, the unbounded portion of the complement of $F$, is the boundary of a convex set. In the characterized situation, the tiling allows one to obtain a tube formula for $F$, i.e., an expression for the volume of $F_ε$ as a function of $ε$. On the way, we clarify some geometric properties of canonical tilings.
Motivated by the search for tube formulas, we give a generalization of the tiling construction which applies to all self-affine sets $F$ having empty interior and satisfying the open set condition. We also characterize the relation between the parallel sets of $F$ and these tilings.
△ Less
Submitted 25 May, 2009; v1 submitted 13 November, 2008;
originally announced November 2008.
-
Operator theory of electrical resistance networks
Authors:
Palle E. T. Jorgensen,
Erin P. J. Pearse
Abstract:
A resistance network is a weighted graph $(G,c)$ with intrinsic (resistance) metric $R$. We embed the resistance network into the Hilbert space ${\mathcal H}_{\mathcal E}$ of functions of finite energy. We use the resistance metric to study ${\mathcal H}_{\mathcal E}$, and vice versa and show that the embedded images of the vertices $\{v_x\}$ form a reproducing kernel for this Hilbert space. We…
▽ More
A resistance network is a weighted graph $(G,c)$ with intrinsic (resistance) metric $R$. We embed the resistance network into the Hilbert space ${\mathcal H}_{\mathcal E}$ of functions of finite energy. We use the resistance metric to study ${\mathcal H}_{\mathcal E}$, and vice versa and show that the embedded images of the vertices $\{v_x\}$ form a reproducing kernel for this Hilbert space. We also obtain a discrete version of the Gauss-Green formula for resistance networks and show that resistance networks which support nonconstant harmonic functions of finite energy have a certain type of \emph{boundary}. We obtain an analytic boundary representation for the harmonic functions of finite energy in a sense analogous to the Poisson or Martin boundary representations, but with different hypotheses, and for a different class of functions. In the process, we construct a dense space of "smooth" functions of finite energy and obtain a Gel'fand triple for ${\mathcal H}_{\mathcal E}$. This allows us to represent the resistance network as a system of Gaussian random variables indexed by vertices. We also study the spectral representation for $Δ$ on ${\mathcal H}_{\mathcal E}$ and show how nonzero defect entails a nontrivial boundary. All of the above are are detected by the operator theory of ${\mathcal H}_{\mathcal E}$ but not $\ell^2$. Our results apply to the Heisenberg model for the isotropic ferromagnet, improving earlier results of R. T. Powers on the problem of long-range order (in reference to KMS states on the $C^\ast$-algebra of the model).
△ Less
Submitted 28 November, 2009; v1 submitted 23 June, 2008;
originally announced June 2008.
-
Tube formulas for self-similar fractals
Authors:
Michel L. Lapidus,
Erin P. J. Pearse
Abstract:
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…
▽ More
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.
△ Less
Submitted 1 November, 2007;
originally announced November 2007.
-
Canonical self-affine tilings by iterated function systems
Authors:
Erin P. J. Pearse
Abstract:
An iterated function system $Φ$ consisting of contractive similarity mappings has a unique attractor $F \subseteq \mathbb{R}^d$ which is invariant under the action of the system, as was shown by Hutchinson [Hut]. This paper shows how the action of the function system naturally produces a tiling $\mathcal{T}$ of the convex hull of the attractor. More precisely, it tiles the complement of the attr…
▽ More
An iterated function system $Φ$ consisting of contractive similarity mappings has a unique attractor $F \subseteq \mathbb{R}^d$ which is invariant under the action of the system, as was shown by Hutchinson [Hut]. This paper shows how the action of the function system naturally produces a tiling $\mathcal{T}$ of the convex hull of the attractor. More precisely, it tiles the complement of the attractor within its convex hull. These tiles form a collection of sets whose geometry is typically much simpler than that of $F$, yet retains key information about both $F$ and $Φ$. In particular, the tiles encode all the scaling data of $Φ$. We give the construction, along with some examples and applications. The tiling $\mathcal{T}$ is the foundation for the higher-dimensional extension of the theory of \emph{complex dimensions} which was developed for the case $d=1$ in ``Fractal Geometry, Complex Dimensions, and Zeros of Zeta Functions,'' by Michel L. Lapidus and Machiel van Frankenhuijsen.
△ Less
Submitted 1 November, 2007; v1 submitted 5 June, 2006;
originally announced June 2006.
-
Tube formulas and complex dimensions of self-similar tilings
Authors:
Michel L. Lapidus,
Erin P. J. Pearse
Abstract:
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 t…
▽ More
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.
△ Less
Submitted 9 June, 2010; v1 submitted 18 May, 2006;
originally announced May 2006.
-
A tube formula for the Koch snowflake curve, with applications to complex dimensions
Authors:
Michel L. Lapidus,
Erin P. J. Pearse
Abstract:
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 st…
▽ More
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.
△ Less
Submitted 7 November, 2005; v1 submitted 9 December, 2004;
originally announced December 2004.
