Curvature-direction measures of self-similar sets (Q387587): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / review text | |||
The authors obtain a description of the Lipschitz-Killing curvature-direction measures for a wide class of self-similar sets in Euclidean spaces. These measures are the analogues of the high orders mean curvatures of smooth sub-manifolds in the setting of fractal geometry. The authors get a nice decomposition of these measures as products of the Haussdorff measure in the self-similar set and a self-similar fiber measure on the sphere (measuring the distribution of normal vectors). The self-similar sets considered in the paper are given by a Hutchinson's attractor [\textit{J. E. Hutchinson}, Indiana Univ. Math. J. 30, 713--747 (1981; Zbl 0598.28011)] with the strong open set condition, which assumes that the domains used to define the attractor can only overlap in a subset of their boundaries after the application of a contracting similarity. This condition is satisfied for a wide class of fractals as the Sierpinski gasket or the Menger sponge. There are another two assumptions on parallel sets of the self-similar set considered. These conditions are fulfilled in the case of an Euclidean space of dimension \(\leq 3\). A parallel set is an \(r\)-tube neighbouring the fractal, the required conditions states that for almost every \(r > 0\) the complement of this set has positive reach, i.e., there is a notion of normal bundle, and this normal bundle cannot contain simultaneously a vector and an antipodal copy of itself (orientability condition). These conditions are needed to define curvature measures in the parallel sets. The most beautiful part of the paper is a very interesting application of the ergodic theorem from dynamical systems. Almost every point of the self similar set is encoded one-to-one with a sequence of applications of contracting similarities. The shift of this encoding induces an ergodic dynamical system in the Hutchinson's attractor (see [\textit{K. Falconer}, Techniques in fractal geometry. Chichester: John Wiley \& Sons (1997; Zbl 0869.28003)] and [\textit{R. D. Mauldin} and \textit{M. Urbański}, Graph directed Markov systems. Geometry and dynamics of limit sets. Cambridge: Cambridge University Press (2003; Zbl 1033.37025)]) and, hence in the parallel sets. This system preserves covariant neighborhoods. This is the main step in Theorems 3.5, 3.9 and Corollary 3.10. As a consequence curvature-measures coincide, in some sense, almost everywhere and can be computed easier. Remark that some results are achieved with slightly better hypothesis as previously known. The paper is highly technical and it is mainly directed to experts in fractal geometry. Last section, which includes the examples, is just as needed in order to verify the results in the simple case of a ``twisted'' Sierpinski gasket. | |||
Property / review text: The authors obtain a description of the Lipschitz-Killing curvature-direction measures for a wide class of self-similar sets in Euclidean spaces. These measures are the analogues of the high orders mean curvatures of smooth sub-manifolds in the setting of fractal geometry. The authors get a nice decomposition of these measures as products of the Haussdorff measure in the self-similar set and a self-similar fiber measure on the sphere (measuring the distribution of normal vectors). The self-similar sets considered in the paper are given by a Hutchinson's attractor [\textit{J. E. Hutchinson}, Indiana Univ. Math. J. 30, 713--747 (1981; Zbl 0598.28011)] with the strong open set condition, which assumes that the domains used to define the attractor can only overlap in a subset of their boundaries after the application of a contracting similarity. This condition is satisfied for a wide class of fractals as the Sierpinski gasket or the Menger sponge. There are another two assumptions on parallel sets of the self-similar set considered. These conditions are fulfilled in the case of an Euclidean space of dimension \(\leq 3\). A parallel set is an \(r\)-tube neighbouring the fractal, the required conditions states that for almost every \(r > 0\) the complement of this set has positive reach, i.e., there is a notion of normal bundle, and this normal bundle cannot contain simultaneously a vector and an antipodal copy of itself (orientability condition). These conditions are needed to define curvature measures in the parallel sets. The most beautiful part of the paper is a very interesting application of the ergodic theorem from dynamical systems. Almost every point of the self similar set is encoded one-to-one with a sequence of applications of contracting similarities. The shift of this encoding induces an ergodic dynamical system in the Hutchinson's attractor (see [\textit{K. Falconer}, Techniques in fractal geometry. Chichester: John Wiley \& Sons (1997; Zbl 0869.28003)] and [\textit{R. D. Mauldin} and \textit{M. Urbański}, Graph directed Markov systems. Geometry and dynamics of limit sets. Cambridge: Cambridge University Press (2003; Zbl 1033.37025)]) and, hence in the parallel sets. This system preserves covariant neighborhoods. This is the main step in Theorems 3.5, 3.9 and Corollary 3.10. As a consequence curvature-measures coincide, in some sense, almost everywhere and can be computed easier. Remark that some results are achieved with slightly better hypothesis as previously known. The paper is highly technical and it is mainly directed to experts in fractal geometry. Last section, which includes the examples, is just as needed in order to verify the results in the simple case of a ``twisted'' Sierpinski gasket. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 28A80 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 28A78 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 37A99 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53C65 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6242092 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
self-similar set | |||
Property / zbMATH Keywords: self-similar set / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Lipschitz-Killing curvature-direction measure | |||
Property / zbMATH Keywords: Lipschitz-Killing curvature-direction measure / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
fractal curvature measure | |||
Property / zbMATH Keywords: fractal curvature measure / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Minkowski content | |||
Property / zbMATH Keywords: Minkowski content / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Carlos Meniño Cotón / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2074580012 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1111.4457 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Self-Similar Sets 7. A Characterization of Self-Similar Fractals with Positive Hausdorff Measure / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4269108 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4283467 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Minkowski Measurability of Fractals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2785424 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Curvature Measures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: General normal cycles and Lipschitz manifolds of bounded curvature / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tubular neighborhoods in Euclidean spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lacunarity of self-similar and stochastically self-similar sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Bandt's tangential distribution for self-similar measures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3731958 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fractal curvature measures and Minkowski content for self-conformal subsets of the real line / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Riemann Zeta-Function and the One-Dimensional Weyl-Berry Conjecture for Fractal Drums / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4429924 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On critical values of self-similar sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Convergence of total variation of curvature measures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On volume and surface area of parallel sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Normal cycles of Lipschitz manifolds by approximation with parallel sets. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Curvature densities of self-similar sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Parallelmengen mit Vielfachheit und Steiner-Formeln / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Separation Properties for Self-Similar Sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Curvature measures and fractals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Curvature Bounds for Neighborhoods of Self-Similar Sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fractal curvature measures of self-similar sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Integral and current representation of Federer's curvature measures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lipschitz-Killing curvatures of self-similar random fractals / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 04:14, 7 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Curvature-direction measures of self-similar sets |
scientific article |
Statements
Curvature-direction measures of self-similar sets (English)
0 references
23 December 2013
0 references
The authors obtain a description of the Lipschitz-Killing curvature-direction measures for a wide class of self-similar sets in Euclidean spaces. These measures are the analogues of the high orders mean curvatures of smooth sub-manifolds in the setting of fractal geometry. The authors get a nice decomposition of these measures as products of the Haussdorff measure in the self-similar set and a self-similar fiber measure on the sphere (measuring the distribution of normal vectors). The self-similar sets considered in the paper are given by a Hutchinson's attractor [\textit{J. E. Hutchinson}, Indiana Univ. Math. J. 30, 713--747 (1981; Zbl 0598.28011)] with the strong open set condition, which assumes that the domains used to define the attractor can only overlap in a subset of their boundaries after the application of a contracting similarity. This condition is satisfied for a wide class of fractals as the Sierpinski gasket or the Menger sponge. There are another two assumptions on parallel sets of the self-similar set considered. These conditions are fulfilled in the case of an Euclidean space of dimension \(\leq 3\). A parallel set is an \(r\)-tube neighbouring the fractal, the required conditions states that for almost every \(r > 0\) the complement of this set has positive reach, i.e., there is a notion of normal bundle, and this normal bundle cannot contain simultaneously a vector and an antipodal copy of itself (orientability condition). These conditions are needed to define curvature measures in the parallel sets. The most beautiful part of the paper is a very interesting application of the ergodic theorem from dynamical systems. Almost every point of the self similar set is encoded one-to-one with a sequence of applications of contracting similarities. The shift of this encoding induces an ergodic dynamical system in the Hutchinson's attractor (see [\textit{K. Falconer}, Techniques in fractal geometry. Chichester: John Wiley \& Sons (1997; Zbl 0869.28003)] and [\textit{R. D. Mauldin} and \textit{M. Urbański}, Graph directed Markov systems. Geometry and dynamics of limit sets. Cambridge: Cambridge University Press (2003; Zbl 1033.37025)]) and, hence in the parallel sets. This system preserves covariant neighborhoods. This is the main step in Theorems 3.5, 3.9 and Corollary 3.10. As a consequence curvature-measures coincide, in some sense, almost everywhere and can be computed easier. Remark that some results are achieved with slightly better hypothesis as previously known. The paper is highly technical and it is mainly directed to experts in fractal geometry. Last section, which includes the examples, is just as needed in order to verify the results in the simple case of a ``twisted'' Sierpinski gasket.
0 references
self-similar set
0 references
Lipschitz-Killing curvature-direction measure
0 references
fractal curvature measure
0 references
Minkowski content
0 references
0 references
0 references
0 references