The tag has no wiki summary.

learn more… | top users | synonyms

28
votes
5answers
2k views

How to define a differential form on a fractal?

It is well known how to construct a Laplacian on a fractal using the Dirichlet forms (see e.g. the survey article by Strichartz). This implies, in particular, that a fractal can be "heated", i.e. one ...
23
votes
2answers
922 views

Fractal-like structures arising from the action of a group on $\mathbb{Z}^2$

Let $G := \langle a, b, c \rangle < {\rm Sym}(\mathbb{Z}^2)$ be the group generated by the permutation $$ a: \ (m,n) \ \mapsto \ (m-n,m) $$ of order $6$ and the involutions $$ b: \ (m,n) \ ...
21
votes
6answers
4k views

How might M.C. Escher have designed his patterns?

I realize this question isn't strictly mathematical, and if it doesn't fit with the content on this site then feel free (moderators/high-rep users) to close it. But when I thought up the question it ...
13
votes
1answer
482 views

Relation between math and piano music

What, if any, is the relation between Cantor's function and Ligeti studio: Devil's Staircase?
13
votes
3answers
507 views

Julia sets using other fields

I hope I am forgiven for my noob question. But, does it make sense to think of Julia sets using other fields? More precisely I would like to think of fields in which closed and bounded isn't ...
13
votes
2answers
1k views

Does “Algebraic numbers coloured by degree” form a fractal?

This picture from Wikipedia's article on Algebraic numbers shows a visualization of Algebraic numbers coloured by degree. I'm wondering if this is a fractal?
11
votes
4answers
662 views

Fourier decay rate of Cantor measures

For $0<\theta<\frac{1}{2}$, denote by $C_\theta$ the Cantor set with dissection ratio $\theta$, i.e. the Cantor set obtained from dissection parttern $(\theta, 1-2\theta,\theta)$. It is known ...
10
votes
6answers
2k views

Parametrization of the boundary of the Mandelbrot set

Does anyone know how to parametrize the boundary of the Mandelbrot set? I am not a fractal-geometer or a dynamical systems person. I just have some idle curiosity about this question. The ...
10
votes
1answer
650 views

Analysis of the boundary of the Mandelbrot set

Motivation: The Mandlebrot set is a simply connected set with an infinitely complex boundary, but CAN one move from interior to the exterior of this topological space by just crossing over a finite ...
9
votes
2answers
1k views

Area of the boundary of the Mandelbrot set ?

My second question about Shishikura's result : Shishikura (1991) proved that the Hausdorff Dimension of the boundary of the Mandelbrot set equals 2, in this paper 1. In a sense, could we consider it ...
9
votes
5answers
413 views

Iterated function system on the plane

Let $r_1, r_2, r_3$ be three nonnegative real numbers with $r_1^2+r_2^2+r_3^2 <1$. Can you find three similitudes $f_1,f_2,f_3$ on $\mathbb{R}^2$ with similarity ratios $r_1,r_2,r_3$ resp. and a ...
9
votes
0answers
107 views

Decay rate of measures on Cantor set

I've read that Kahane and Salem show that if $\mu$ is any measure supported on the ternary Cantor set, then $\hat{\mu}(\xi) \not\to 0$ as $|\xi| \to \infty$, however I have been unable to find a ...
8
votes
2answers
522 views

Fractal Tiling of Rhombic Dodecahedra

Hello, this is my first question on Math Overflow... Rhombic dodecahedra can be tiled in 3-space, leaving no gaps. This tiling corresponds to the close-packing of spheres. Consider a "nucleus" ...
7
votes
2answers
738 views

Is there an intrinsic definition of fractal (i.e. not embedded in euclidean space)?

Long ago, manifolds were embedded subsets of euclidean space defined by polynomials. Later, using the gluing of open sets, people realized they could define manifolds intrinsically. And in certain ...
7
votes
2answers
492 views

local behavior of a finite Borel measure

Let $\mu$ be a finite Borel measure on $\mathbb{R}^n$. I am interested in how does $\mu(B(x,r))$ behave, where $B(x,r)$ is the open ball of radius $r$ centered at $x$. For instance, as far as I ...
7
votes
2answers
135 views

Isometrically-invariant measures and dilation of the Cantor set

Let $C$ be the Cantor middle-thirds set. Let $\mu$ be a finitely-additive isometrically-invariant measure on all subsets of $\mathbb R$. Then $\mu(3C)=2\mu(C)$, where $aB = \{ ax : x \in B \}$. ...
7
votes
2answers
571 views

Shortest Paths on fractals

How can one find shortest paths between 2 specified points on fractals, or (since I'm pretty sure this is quite complicated) make useful generalizations about them? Since the above question is broad, ...
7
votes
2answers
288 views

Minimum number of contractions needed to obtain a particular invariant set

Consider the Koch curve $G \subseteq \mathbb{R}^2$. Clearly $G$ is the invariant set (IS) of the iterated function system (IFS) $\lbrace \phi_1, \phi_2, \phi_3, \phi_4 \rbrace$. Where (not wanting to ...
6
votes
4answers
816 views

Measure 0 sets on the line with Hausdorff dimension 1

I use $\dim_H(E)$ to denote the Hausdorff dimension of a set $E \subseteq \mathbb{R}$ and $|E|$ to denote its Lebesgue measure. It is easy to see from the definition of Hausdorff dimension that if ...
6
votes
1answer
238 views

Arithmetic products of Cantor sets.

Let $A,B\subseteq \mathbb{R}$ be two Cantor sets. What is known about the arithmetic product $AB=\lbrace ab|a\in A, b\in B\rbrace$? In particular, what is known in the case that the sets are ...
6
votes
2answers
188 views

What one really can do with fractals built from L-systems?

For any L-system one can naturally associate a fractal. Why these fractals are (mathematically) useful apart that they are a source of nice pictures?
6
votes
1answer
660 views

Is there some known way to create the Mandelbrot set (the boundary), with an iterated function system?

Is there some known way to create the Mandelbrot set (the boundary), with an iterated function system (IFS)? Julia sets can be formed by iterating the two functions $z \mapsto \pm \sqrt{z-c},$ and ...
6
votes
1answer
611 views

Is Gouvêa-Mazur's “Infinite Fern” a fractal?

[EDIT]: Following Qiaochu Yuan's comment, it is better to clarify that I do not know what the right definition of a fractal in the following question should be. But a nice answer might contain such a ...
5
votes
5answers
982 views

Hausdorff dimension for invariant measure?

A fractal set has a Hausdorff dimension. In some cases, we may generate a fractal by iterating $f,$ and let the fractal be the set of starting points $x$ such that $|f^{\circ n}(x)|$ is bounded as ...
5
votes
2answers
235 views

function that is the average of affine transformations of itself

Consider the function $f : \mathbb{R} \to [-1,1]$ with $$ f(x) = \begin{cases} -1 & x \le -1 \\ +1 & x \ge +1 \\ \frac{f(\frac32 (x-\frac13)) + f(\frac32 ...
5
votes
1answer
550 views

Relationship between fractal dimension and Hurst exponent

For many basic random processes (like fractional Brownian motion) Hurst exponent "H" and fractal dimensions ( Hausdorf = Minkoswki typically) "D" are realated by simple formula D = 2-H. I want to ...
5
votes
2answers
526 views

Symmetries of the Julia sets for $z^2+c$

The julia set seems to have symmetries roughly corresponding to translation, rotation and scaling. In the following image You can see the horizontal translation, which leaves the extremal left and ...
5
votes
2answers
396 views

sequences with a fractal dimension

This is inspired by the self-similarity of the celebrated Golay-Rudin-Shapiro sequence, more exactly, of its alternating partial sums. (This latter one is oeis 020990). The pictures show the 550 first ...
5
votes
1answer
147 views

Smallest positive zero of Weierstrass nowhere differentiable function

Consider the Weierstrass nowhere differentiable function $f(x) = \sum_{n=0}^\infty \frac{1}{2^n} \cos(4^n \pi x)$. It seems that the smallest positive zero of $f(x)$ occurs at $x=\frac{1}{5}$, but I ...
5
votes
2answers
247 views

Measures of full Hausdorff dimension for self-affine sets

Consider the iterated function system $T_{1}(x)=(\beta x,\tau y)$, $T_{2}(x,y)=(\beta x+(1-\beta),\tau y+ (1-\tau))$ for $\beta\in(1/2,1)$ and $\tau\in (0,1/2)$ with self affine set ...
5
votes
1answer
984 views

Self-similar matrices? [closed]

Does anyone know anything about self-similar (infinite) matrices, with more or less fractal(-like) structure and admitting meaningful matrix-algebra operations?
5
votes
1answer
104 views

Escape Time of Fractional Brownian Motion

Let $B(t)$ be Brownian motion with $B(0)=x>0$ and let $A>x$. It is well known that the expected time for $B(t)$ to escape the interval $[0,A]$ is equal to $x(A-x)$. Is the expected time known ...
5
votes
2answers
563 views

A calculus question related to quantization dimension

Going through some old papers, I came up with a simple-looking problem I thought about 5 years ago or so. MO wants motivation ... Associated to a probability measure on a metric space is something ...
4
votes
4answers
466 views

Lecture on Fractals for Middle School Students

I'm going to have a one-hour lecture for middle school students next Monday. It will be about fractals. The students know virtually nothing about this subject. I'll show some fractal images and a few ...
4
votes
2answers
520 views

Estimating the fractal dimension of a point cloud

I have finite set of geolocation point data, and I'd like to estimate the fractal dimension. I know there are several ways to do this, and some of them give different numbers. What is the most ...
4
votes
4answers
532 views

Determining a lower bound on the Hausdorff dimension of a set

Does anyone know of a good method for finding a lower bound of the Hausdorff dimension of a set $G$? The only method I could find is to find an $\alpha$-Hölder function $f \colon G \to H$ then ...
4
votes
1answer
124 views

Is there a survey of recent work relating to the Hausdorff dimension of sets defined through some restriction of digits?

I am familiar with the work of Helmut Cajar, but his book is thirty years old and it's clear that there has been substantial progress since then. I have been spending a lot of time looking through ...
4
votes
2answers
332 views

Algebraicity of the “outer” boundary of the Mandelbrot set

Let $M$ be the Mandelbrot set and let $\lambda\in M, \mu\in \mathbb C$ be algebraic numbers. Let $t_{\lambda,\mu}$ be defined as $$ t_{\lambda,\mu} = \sup \lbrace t\in \mathbb R\colon \lambda +t\mu ...
3
votes
3answers
499 views

L-systems and Sierpinski Triangle

I was just shocked when I saw these consecutive outcomes of an L-system converging to the Sierpinski triangle (shown in the picture below). I'm interested to know how could one arrange the rules of ...
3
votes
2answers
292 views

Hausdorff dimension of non-recurrent walks

Preface: I am fairly new to the concept of Hausdorff dimension, so I don't know how interesting a question this is. Identify walks on $\mathbb{Z}$ with infinite binary sequences (say $0$ means moving ...
3
votes
2answers
231 views

Hausdorff dimension of inverse images.

Let $f: \mathbb{R}^d \to \mathbb{R}$ be a continuous function. Let $t \in (\inf(f), \sup(f))$ and define $C = f^{-1} (t)$. Is it true that the Hausdorff dimension of C is $\geq d -1$? If no how does ...
3
votes
1answer
141 views

Correspondence between fractal sets and trees

In Hillel Furstenberg's series lectures on ergodic theory in fractal geometry, he mentioned his search on finding a one-to-one correspondence between fractal sets and trees, however, I couldn't not ...
3
votes
1answer
95 views

How is the Fractal Dimension of a Parametric Curve Related to the Fractal Dimensions of its Coordinate Functions?

Question: Suppose the fractal dimension $1\le d_c\le2$ of a planar parametric curve $c(t) := (x(t),y(t))$ is given; can any nontrivial estimates for the fractal dimensions $d_x$ of $x(t)$ and $d_y$ of ...
3
votes
2answers
446 views

Approximating fractal curves

Is there a known algorithm for approximating a fractal curve, say as specified by some iterative procedure e.g. a Koch snowflake, in terms of $f^{-1}(0)$ for some "simple" function $f$? Specifically, ...
3
votes
2answers
358 views

Systematization of deterministic and stochastic integrals

With this question I try to build up a systematization of different kinds of integrals. The following table differentiates between deterministic and stochastic integrals, the summation processes ...
3
votes
1answer
167 views

Contractibility of connected holomorphic dynamics?

Let $f$ be a function, holomorphic in $\mathbb{C}$, and $K(f)$ its non-escaping set : $$K(f) = \{ z \in \mathbb{C} : f^{(k)}(z) \nrightarrow_{k \to \infty} \infty \} $$ Question : If $K(f)$ ...
3
votes
5answers
815 views

Reference for the iterated function system of the Koch snowflake

Let $KS$ be the Koch snowflake. This fractal has an iterated function system (IFS) of the form $$ KS = \bigcup_{0 \leq k \leq 6} f_k(KS) $$ with $$ f_0(z)=\frac{1}{\sqrt{3}} e^{i\pi/2} z $$ and for $0 ...
3
votes
1answer
200 views

Existence and Properties of 3D Curves with unusual 2D $(\kappa(s),\tau(s))$ Trajectories

This question is inspired by Surface in 3D that realizes all pairs of principal curvatures While one can imagine, that a 3D surface could exist, that realizes all pairs of principal curvatures, ...
3
votes
0answers
71 views

Possible Hausdorff dimension of intersection of Besicovitch-Eggleston like sets

Let $b \geq 2$ be an integer and suppose that $v=(p_0,\cdots,p_{b-1})$ be a probability vector. Let $S_{b,v}$ be the set of real numbers whose $b$-ary expansion has the digit $k$ with relative ...
3
votes
0answers
216 views

Picture of the set of discontinuity of degree 2 rational Julia sets

Let $Rat_d$ be the set of all rational fraction of degree $d$ and $X_d \subset Rat_d$ be the bifurcation locus of rational fractions of degree $d$, i.e. the closure of the set of discontinuity of the ...