GENERALIZED KOCH CURVES AND THUE–MORSE SEQUENCES

Abstract: Let

(t_{n})_{n g e 0}

be the well konwn

p m 1

Thue-Morse sequence

+1,-1,-1,+1,-1,+1,+1,-1,cdots.

Since the 1982-1983 work of Coquet and Dekking, it is known that

s u m_{k < n} t_{k} e^{f} r a c 2 k p i i 3

is strongly related to the famous Koch curve. As a natural generalization, for integer

m g e 1

, we use

s u m_{k < n} d e l t a_{k} e^{f} r a c 2 k p i i m

to define generalized Koch curve, where

(d e l t a_{n})_{n g e 0}

is the generalized Thue-Morse sequence defined to be the unique fixed point of the morphism

+1mapsto+1,+delta_1,cdots,+delta_m

-1mapsto-1,-delta_1,cdots,-delta_m

beginning with

d e l t a_{0} = + 1

and

d e l t a_{1}, c d o t s, d e l t a_{m} i n + 1, - 1

, and we prove that generalized Koch curves are the attractors of corresponding iterated function systems. For the case that

m g e 2

,

d e l t a_{0} = c d o t s = d e l t a_{l f l o o r f r a c m 4 f l o o r} = + 1

,

d e l t a_{l f l o o r f r a c m 4 f l o o r + 1} = c d o t s = d e l t a_{m - l f l o o r f r a c m 4 f l o o r - 1} = - 1

and

d e l t a_{m - l f l o o r f r a c m 4 f l o o r} = c d o t s = d e l t a_{m} = + 1

, the open set condition holds, and then the corresponding generalized Koch curve has Hausdorff, packing and box dimension

l o g (m + 1) / l o g | s u m_{k = 0}^{m} d e l t a_{k} e^{f r a c 2 k p i i m} |

, where taking

m = 3

and then

d e l t a_{0} = + 1, d e l t a_{1} = d e l t a_{2} = - 1, d e l t a_{3} = + 1

will recover the result on the classical Koch curve.

Recommendations

Cites Work

Cited In (6)

This page was built for publication: GENERALIZED KOCH CURVES AND THUE–MORSE SEQUENCES