# Fractal questions: Weierstraß-Mandelbrot

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 :)

-
Weierstrass . –  Qfwfq Jul 13 '11 at 10:57
thanks fixed- A common typo for me. –  Jose Capco Jul 13 '11 at 11:00
there, now it is really fixed. =) –  Willie Wong Jul 13 '11 at 11:12
Among the continuous functions on [0,1], the functions that are not differentiable at any point are topologically generic (classical result going back to Banach and Mazurkiewicz), and also prevalent, which is a measure-theoretical genericity valid in infinite dimensional spaces (this is due to Hunt). Clearly, a generic continuous function won't have any self-similarity whatsoever. When speaking of curves, though, nowhere differentiability is considered a hallmark of fractality. As others said, though, fractal is a vague concept which does not and cannot have a precise definition. –  Pablo Shmerkin Jul 13 '11 at 17:37

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.

Kiesswetter function, two figures from Classics on Fractals

-
Thanks for the detailed info. Do you happen to have a pictorial link to the Kießwetter fractal? I wasn't able to find it by doing a google image search. –  Jose Capco Jul 14 '11 at 8:18
added to the answer –  Gerald Edgar Jul 14 '11 at 14:48

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.

-

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.

-