Questions tagged [fractals]

Fractals deal with special sets that exhibit complicated patterns in every scale. Fractal sets usually have a Hausdorff dimension different from its topological dimension. Examples include Julia sets, the Sierpinski triangle, the Cantor set. Fractals naturally appear in dynamical system, such as iterations in the complex plane, or as strange attractors to continuous dynamical systems, (see Lorentz attractor).

Filter by
Sorted by
Tagged with
0 votes
0 answers
55 views

Crazy conjecture about Bernoulli umbra and reference request

For years umbral calculus have fascinated me. Bernoulli numbers (which represent powers of Bernoulli umbra) are involved in many classic power series expansions. Yet, it still remains mistery what ...
  • 8,634
5 votes
0 answers
183 views

Have we discovered constructions for natural fractional dimensional spheres?

I have been thinking about a couple different problems in fractal geometry (including I one deleted because it was ill posed) and realize they all depend in a fundamental way on the problem of: Can we ...
1 vote
0 answers
29 views

Construction of a homogeneous Moran set

Fix a positive integer $N\ge 2$, for $n \in \mathbb{N}$, denote $$\Sigma=\{0,1,\dots,N-1\},\\ \Sigma^n=\{(\omega_1,\dots,\omega_n):\omega\in\Sigma, i=1,\dots,n\}.$$ Let $p>2$ be a positive integer. ...
6 votes
1 answer
240 views

Does finite Hausdorff dimension imply finite packing dimension?

In other words, does there exist a metric space $(E,\rho)$ with finite Hausdorff dimension but infinite packing dimension? Here are my thoughts: I know that it is generally hard to relate Hausdorff ...
  • 203
3 votes
0 answers
46 views

How well do Gauss-Legendre quadrature methods fare on "fractal" functions?

The context I'm making your tipical Mandelbrot set viewer, and I have a function $f: ℂ → ℕ$ that counts how many iterations of $$ z_0 = 0 \\ z_{i+1} = z_i^2 + c $$ it takes for a particular point $c$ ...
6 votes
1 answer
382 views

Relationship between doubling constant of a metric space and of a metric measure space

Let $(X,d,m)$ be a metric measure space. We say that it is doubling in the sense of metric spaces if for every: $x\in X$ and every $r>0$ there exists some (metric) doubling constant $C_d\geq 0$ ...
0 votes
1 answer
99 views

Terminology "upper" Ahlfors regular measure

Let $(X,d)$ be a metric space and $m$ be a Borel measure on $(X,d)$. The measure $m$ is called Ahlors regular if $m(B(x,r))\asymp r^q$ for some $q>0$ and each $x\in X$. Is there a name for ...
  • 4,971
6 votes
1 answer
315 views

Direct proof that the set of badly approximable numbers have full Hausdorff dimension without using Schmidt games

A badly approximable number is an $x$ for which there is a positive constant $c$ such that for all rational $p/q$ we have $$\left|{ x - \frac{p}{q} }\right| > \frac{c}{q^2} \ . $$ The set of badly ...
  • 1,511
2 votes
1 answer
161 views

A question about box dimension and Hölder condition

It is known that if a real continuous function $f(x)$ satisfies a local $\alpha$-Hölder condition on a closed interval $[a,b]$, the box dimension of the graph of $f(x)$ on $[a,b]$ will be not greater ...
  • 401
2 votes
1 answer
197 views

Local dimension of measures

For a Borel prob measure $\mu$ in $\mathbb{R}^n$, define the local dimension of $\mu$ at $x$ by $$ {\rm dim}_*(\mu, x)=\liminf_{r\to 0} \frac{\log \mu(B(x,r))}{\log r}, {\rm dim}^*(\mu, x)=\limsup_{r\...
2 votes
0 answers
125 views

Quantifierisation of maps

I will rewrite my question using Matt F. suggestion. Consider the logical structure $L = (\mathbb{R}, +, *, 1, 0, =)$ and a function $f:\mathbb{R}\to\mathbb{R}$. Consider the map $Q:2^\mathbb{R}→2^\...
  • 409
2 votes
0 answers
69 views

Is speaking about a fraction of the Mandelbrot's set meaningful?

Sorry if my question is vague, as I have very little background with fractals and measure theory. My question is inspired by a tweet, where a light shone onto the mandelbrot set, and certain rays were ...
4 votes
0 answers
94 views

"Snowflaked" Hausdorff metric

Let $(X,d_X)$ be a compact metric space and let $Comp(X)$ be the set of closed subsets of $X$ with the Hausdorff metric: $$ D(A,B)\overset{\text{def}}{=} \, \max\left\{\sup_{b\in B}\,d_{A}(b),\sup_{a\...
  • 93
1 vote
1 answer
268 views

Is there a description of the points of the Cantor set on which the Cantor function is differentiable?

Let $C$ be the usual ternary cantor set, and $f$ the Cantor function, or Devil’s staircase associated to it. We know that $f$ is differentiable a.e., and on every point of the complement $C^c$, the ...
  • 1,729
2 votes
1 answer
99 views

Hemispherical space filling hilbert curve

First question here, sorry for any posting infractions. I need to create/find/buy a hemispherical space-filling Hilbert(or similar) curve. something similar to Cube hilbert but only filling a ...
  • 131
3 votes
0 answers
337 views

Is this result on the set of differentiability of the distance function to the fat cantor set new?

Definitions: Let $C \subset [0, 1]$ be a fat Cantor set, for parameter $0 < r < 1/3$. Thus intervals of width $r^n$ are removed from the middle of the previous intervals at each step. For the ...
  • 1,729
2 votes
0 answers
47 views

Limit set for IFS has either empty interior or dense interior

Let $f_1,\ldots,f_k:\mathbb R^n\to\mathbb R^n$ be contracting affine maps. By the theory of iterated function systems, there is a unique minimal compact $K\subseteq\mathbb R^n$ such that $K=f_1(K)\cup\...
16 votes
3 answers
505 views

How to plot this fractal

I'm a graphic designer and my client has asked me to use this fractal in a design that I'm working on. As you can see, it's not a very good copy, so I'm trying to see if I can generate a high-...
  • 263
1 vote
0 answers
208 views

Minkowski (box-counting) dimension of generalized Cantor set

I'm trying to solve this problem. For $0<\alpha, \beta<1,$ let $K_{\alpha, \beta}$ be the Cantor set obtained as an intersection of the following nested compact sets. $K_{\alpha, \beta}^{0}=[0,...
  • 111
0 votes
1 answer
251 views

Can the Mandelbrot set be designed through inequalities?

Many years ago I found an inequality that directly controlled whether a point $\displaystyle c$ belongs or does not belong to the Mandelbrot set. Roughly, it was something like this: If $\displaystyle ...
1 vote
1 answer
102 views

Box counting dimension and Besov spaces on $\mathbb R^2$

I found a lemma in this paper of Constantin and Wu, stated with no proof: Lemma 3.2. Let $b=\chi_{D}$ be the characteristic function of a bounded domain $D\subset\mathbb R^2$ whose boundary has box-...
10 votes
1 answer
354 views

Convex Julia sets

Consider the classical Julia set $J_f$ associated with $f(z)=z^2+c$. Since $J_c$ is completely invariant, we know that $f^{-1}(J_f) \subseteq J_f$. Now, let $H_f$ be the convex hull of $J_f$. Is it ...
1 vote
1 answer
82 views

Entropy spectrum is not concave

Let $T:[0, 1]\rightarrow [0, 1]$ be map such that $T(x)=4x(1-x)$. For any $\alpha \in \mathbb{R}$, we define the level set as follows $$F(\alpha)=\{x\in [0,1]: \lim_{n\rightarrow \infty}\frac{1}{n}\...
  • 889
4 votes
0 answers
130 views

Can this number be interpreted as a fractal dimension?

Under Goldbach's conjecture, let's denote for a large enough integer $n$ by $r_{0}(n)$ the quantity $\inf\{r>0,(n-r,n+r)\in\mathbb{P}^2\}$ and by $k_{0}(n):=\pi(n+r_{0}(n))-\pi(n+r_{0}(n))$. Let's ...
12 votes
2 answers
598 views

Algorithm for computing external angles for the Mandelbrot set

Let $M$ be the Mandelbrot set: there exists a unique series $$ \psi(z) := z + \sum_{m=0}^{+\infty} b_m z^{-m} = z - \frac{1}{2} + \frac{1}{8} z^{-1} - \frac{1}{4} z^{-2} + \cdots $$ which defines a ...
  • 23.9k
18 votes
3 answers
2k views

How to add two numbers from a group theoretic perspective?

It is known that adding two numbers and looking at the carrying operation has a link with cocycles in group theory. (https://www.jstor.org/stable/3072368?origin=crossref) When we add two numbers by ...
user avatar
3 votes
2 answers
946 views

A set whose Hausdorff dimension gradually changes?

Can there be a set whose Hausdorff dimension gradually changes? For instance, a set of real numbers contained in an interval, whose Hausdorff dimension is 0 at the beginning and 1 closer to the end, ...
  • 8,634
2 votes
0 answers
86 views

Hausdorff dimension between $(1,2)$

Is there a number $c \in (1,2)$ for which there exist some interesting geometric property/properties which hold for every set of Hausdorff dimension in $(1,c)$ and does not hold for any set of ...
  • 8,746
5 votes
0 answers
195 views

Is Domineering on any finite approximation of the Sierpinski Carpet always a second-player win?

The game of Domineering can be played on any board consisting of some subset of $\mathbb{Z} \times \mathbb{Z}$. In particular, consider the boards $K_n$ generated by iterating the following inductive ...
5 votes
0 answers
105 views

How do sets with unit fractional Hausdorff measure of dimension $>1$ look like?

Triggered by the recent question How can we not know the measure of the Sierpiński triangle? I would like to ask: Let $s>1$ and $s$ not be an integer. How to construct a set $A$ with $\mathfrak{H}^...
  • 11.8k
2 votes
1 answer
214 views

Set operations over iterated function systems

An iterated function system (IFS) is a finite set of contraction mappings on a complete metric space. Symbolically, $$\{f_i :X \to X \mid i=1,2,..n \},\quad n \in \mathbb{N}$$ is an IFS if each $...
24 votes
1 answer
891 views

How can we not know the $s$-measure of the Sierpiński triangle?

I'm preparing a presentation that would enable high-school level students to grasp that the (self-similarity) dimension of an object needs not be an integer. The first example we look at is the ...
5 votes
2 answers
839 views

Who proved that the Mandelbrot set's Julia sets are locally connected?

I'd be greatly interested in a reference to the respective article. Was it Douady? Julia? Hubbard? Fatou? Bonus question: Who gave the proof that can be found in the Orsay notes? EDIT: The question ...
2 votes
0 answers
45 views

Numerically Evaluate the limit of the solution of a functional equation

I need to evaluate the limit of $f(x)$ as $x\to0$, where the function $f$ solves the following equation: $$ f(x)=\left\{ \begin{array}{ll} g(x) & \text{if } x\geq \frac{1}{2};\\ \frac{1}{2} f(\...
  • 567
5 votes
1 answer
294 views

Wavefront set of characteristic function of rough set

It is a standard exercise to show that if $X\subseteq\mathbb{R}^n$ has smooth boundary, then the characteristic function $1_X$ has wavefront set $$\{(x,\xi)\in\partial X\times\mathbb{R}^n\setminus\{0\}...
11 votes
1 answer
721 views

The Koch snow flake, Holder exponents of conformal mappings

The Koch snow flake $K$ is a domain of $\mathbb{C}$, complex plane. Though, I do not state the precise definition, you can see the picture in wikipedia Koch snow flake. The Koch snow flake $K$ is a ...
  • 499
1 vote
1 answer
176 views

Does fractallity depend on the Riemannian metric?

Edit: According to comment of Andre Henriques we revise the question: In this question a fractal is a metric space whose topological and Hausdorff dimensions are different. So we would like that ...
11 votes
0 answers
281 views

Hausdorff dimension and von Neumann dimension

There are two subjects in which non-integral dimensions appear: fractal geometry: consider the well-known Hausdorff dimension of fractals. von Neumann algebra: consider a type ${\rm II_1}$ ...
0 votes
1 answer
79 views

Hausdorff outer measure is finite if $\sum_{j = 1}^m |f(x_i)-f(x_{i-1})|^s \le c$ [closed]

Let $f:[0,1] \to \mathbb{R}, G = graph(f)$. If $\sum_{j = 1}^m |f(x_i)-f(x_{i-1})|^s \le c$ for all partitions $0 = x_0< \ldots < x_m = 1 $ then $H^s(G) < \infty$ What technique can I use to ...
3 votes
0 answers
282 views

Covering lemmas in Hochman's ''On self-similar sets with overlaps and inverse theorems for entropy''

I am confused about the covering lemmas in the captioned work and really hope to get some ideas here. Firstly it is lemma 3.7. (Image of Lemma 3.7) (for convenience here is the lemma of this lemma (...
  • 41
4 votes
0 answers
151 views

Fourier coeffients of Cantor measure

For $0<\theta<\frac{1}{2}$, denote by $\mu_\theta$ the uniform Cantor measure with dissection ratio $\theta$. It is not hard to show that the Fourier–Stieltjes transform of $\mu_\theta$ is $$ \...
1 vote
1 answer
118 views

Pointless characterization relating between a fractal and its code space

Given an hyperbolic IFS $(X,\{f_i:i=1,\ldots,N\})$ and denoting its code space by $\Sigma_N = \{1,\ldots,N\}^{\mathbb{N}}$ and the generated fractal set by $\mathcal{A}$. There is a continuous and ...
2 votes
0 answers
101 views

Evaluating this limit in Fourier analysis

In my research work related to Fourier transform of the standard Cantor measure, I came across the following elementary problem: For $k\geq 1$, let $$ S_k=\sum_{m=0}^{3^k-1}\,\,\,\prod_{j=1}^\infty \...
2 votes
1 answer
112 views

Box dimension as the critical value of the fractal content

Let $M \subseteq \mathbb{R}^n$ be bounded and $N_{\epsilon}(M)$ the minimum number of 'squares' of side $\epsilon$ with center in M necessary to cover $M$. The box dimension of M is then defined as $\...
1 vote
1 answer
191 views

Formal justification of the Chaos game in the Sierpinski triangle

I want to justify why the Chaos game works to produce Sierpinski triangle. I use a theorem taken from Massopust Interpolation and Approximation with Splines and Fractals. Suppose that $(X,d)$ is a ...
7 votes
2 answers
226 views

Box dimension of the graph of an increasing function

This Hausdorff dimension of the graph of an increasing function shows that: Let $f$ be a continuous, strictly increasing function from $[0,1]$ to itself with $f(0)=0, f(1)=1$. Then $dim_H \; G = ...
2 votes
1 answer
173 views

Failure of Falconer distance problem in one dimension

I am told that the Falconer distance conjecture fails trivially in one dimension, but I really cannot find any reference for that. Precisely, I am asking the following question: For a compact set $E\...
2 votes
0 answers
46 views

Quasilinear elliptic problem on fractal domain

Consider the following quasilinear elliptic equation $$\nabla_x (A(x,u(x),\nabla_x u(x))) + f(u,x) = 0 $$ on a bounded domain $\Omega$, augmented with homogeneous Dirichlet boundary data: $$u|_{\...
user avatar
0 votes
0 answers
88 views

Set with modified lower box counting dimension strictly less than Hausdorff dimension

Please, can someone give (as simple as possible) example of the set for which modified lower box counting dimension is strictly smaller than Hausdorff dimension?
  • 1
7 votes
0 answers
189 views

Has this self-similar sequence the ratio $(\sqrt2+1)^2$?

This is inspired by a math.SE question, where an infinite sequence of pairwise distinct natural numbers $a_1=1, a_2, a_3, ...$ has been defined as follows: $a_n$ is the smallest number such that $s_n:=...
  • 12.7k

1
2 3 4 5