Fractal questions: Weierstraß-Mandelbrot - MathOverflow

Fractal questions: Weierstraß-Mandelbrot

2011-07-13T10:29:41Z

Hi,

Coming from a specific field in algebraic geometry I am a total noob in Fractal Theory and I'd like to learn it a bit. I hope I am tolerated for my maybe-trivial questions. I just read about the Weierstrass-Mandelbrot fractal (it's also simply called Weierstrass fractal using the Weierstrass function.. but there are dozens of Weierstrass functions so I'd rather call it "Weierstrass-Mandelbrot" function). The definition of this fractal is found in wikipedia. I got easily impressed by it.

My question is whether there are nowhere differentiable continuous functions (between real numbers) whose graph are not fractals? Is the WM function the easiest example of a nowhere differentialbe continuous function?

The other question is quite basic (for experts probably). I have seen the definition of fractal in wikipedia. This definition uses self-similarity. But in a reference of mine (from a lecture note) I get a definition that makes use of an inequality with Hausdorff-dimension and inductive dimension. Are these definitions equivalent or are the precise definition still under debate (my reference suggests that the suggested definition was former definition by Mandelbrot and then this definition was changed as Mandelbrot fractals don't follow this definition). A little enlightening would help :)

Answer by BSteinhurst for Fractal questions: Weierstraß-Mandelbrot

2011-07-13T11:31:01Z

A quick, partial answer to your second question about the definition of fractals. If a fractal is generated by an iterated function system with a scaling ratio less than one then you do get a Hausdorff dimension less than the inductive dimension. However it is not particularly difficult to create a set with Hausdorff dimension less than inductive dimension that should be a fractal that isn't self-similar. The idea is to choose between two iterated function systems aperiodically.

Answer by Gerald Edgar for Fractal questions: Weierstraß-Mandelbrot

2011-07-13T14:51:18Z

My question is whether there are nowhere differentiable continuous functions (between real numbers) whose graph are not fractals?
Of course this depends on your definition of fractal. There are nowhere-differentiable functions with graph of Hausdorff dimension 1.

Is the WM function the easiest example of a nowhere differentialbe continuous function?
No.
For example, a nowhere-differentiable function due to Kießwetter was designed to be used with high-school students in Germany. English translation in my book: Classics on Fractals

Are these definitions equivalent
No, the definition with self-similarity is not equivalent to Hausdorff dimension > topological dimension. [Using self-similarity as a definition of fractal should be considered something to use for non-mathematicians who are curious about the subject, but have no hope to understand measures and such for the real definition.]

are the precise definition still under debate
Mandelbrot gave the definition: Hausdorff dimension strictly greater than topological dimension. He later wrote that he regretted this, and instead it should be left undefined. Others have provided other definitions. For actual mathematical papers, the authors of course state what they are proving in real mathematical language, not using the word fractal or just using it for the vague explanatory part of the paper.

added
Kiesswetter function, two figures from Classics on Fractals

Answer by Per Alexandersson for Fractal questions: Weierstraß-Mandelbrot

2011-07-13T15:12:51Z

You can also create a continuous, non-differentiable function by restricting the height map produced by the midpoint displacement algorithm to a line: http://en.wikipedia.org/wiki/Diamond-square_algorithm

This will not be self-similar, each open segment will with probability 1 be unique (if I am not mistaken). The displacement factor can be tuned so that the fractal dimension is any number between 1 and 2.

Answer by André Henriques for Fractal questions: Weierstraß-Mandelbrot

2011-07-13T16:48:14Z

The question "are nowhere differentiable continuous functions (between real numbers) whose graph are not fractals?" has no answer, because there is no universally accepted definition of fractal:

http://mathoverflow.net/questions/56677#56779

But I'd say yes : Every nowhere differentiable C⁰ function has some "fractalness".