theta_0,\dots,\theta_n$. We claim that $\tilde g(z)=e^{i\omega}g(e^{-i\omega}z)$ is the approximation to the snowflake defined by $\tilde\theta_0,\dots,\tilde\theta_n$ where $\tilde\theta_j=\theta_j+\omega k^j$ (we add arguments $\mod 2 \pi$).

We prove this by induction. Obviously this is true for $\tilde g_0$. Suppose that it is true for $\tilde g_{n-1}$. By the definition of $g_n$ and assumption that $g_{n-1}(e^{-i\omega}z)=e^{-i\omega}\tilde g_{n-1}(z)$ we have that $$\begin{aligned}
e^{i\omega}g_n(e^{-i\omega}z)&=&e^{i\omega}e^{i\theta_n/k^n}
\psi^{1/k^n}(e^{-i\theta_n} g_{n-1}^{k^n}(e^{-i\omega}z))
\\
&=&
e^{i\tilde\theta_n/k^n}\psi^{1/k^n}(e^{i\tilde\theta_n}\tilde g_{n-1}^{k^n}(z))
=
\tilde g_n(z).\end{aligned}$$

Obviously $\tilde \theta_n$ are also independent and uniformly distributed on ${{\mathbb T}}]$, hence $\tilde g_n$ has the same distribution as $g_n$.

The distributions of $|g(z)|$ and $|g'(z)|$ depend on $|z|$ only. The same is true for $f$.

Spectrum of a conformal snowflake {#sec:spectrum}
=================================

As we discussed above, for random fractals it is more natural to consider the average spectrum $\bar \beta(t)$ instead of the usual spectrum $\beta(t)$. We will work with $\bar \beta(t)$ only and “spectrum” will always mean $\bar \beta(t)$.

We will write ${{\mathcal L}}$ for the class of functions on $(1,\infty)$ that are bounded on compact sets and integrable in the neighbourhood of $1$. In particular, these functions belong to $L^1[1,R]$
theta_0,\dots,\theta_n$. We claim that $ \tilde g(z)=e^{i\omega}g(e^{-i\omega}z)$ is the approximation to the snowflake defined by $ \tilde\theta_0,\dots,\tilde\theta_n$ where $ \tilde\theta_j=\theta_j+\omega k^j$ (we add argument $ \mod 2 \pi$). 

 We rise this by induction. Obviously this is true for $ \tilde g_0$. Suppose that it is dependable for $ \tilde g_{n-1}$. By the definition of $ g_n$ and assumption that $ g_{n-1}(e^{-i\omega}z)=e^{-i\omega}\tilde g_{n-1}(z)$ we have that $ $ \begin{aligned } 
 e^{i\omega}g_n(e^{-i\omega}z)&=&e^{i\omega}e^{i\theta_n / k^n } 
 \psi^{1 / k^n}(e^{-i\theta_n } g_{n-1}^{k^n}(e^{-i\omega}z) ) 
 \\ 
 & = & 
 e^{i\tilde\theta_n / k^n}\psi^{1 / k^n}(e^{i\tilde\theta_n}\tilde g_{n-1}^{k^n}(z) ) 
 = 
 \tilde g_n(z).\end{aligned}$$ 

 Obviously $ \tilde \theta_n$ are besides independent and uniformly distributed on $ { { \mathbb T}}]$, hence $ \tilde g_n$ have the same distribution as $ g_n$. 

 The distributions of $ |g(z)|$ and $ |g'(z)|$ count on $ |z|$ only. The same is dependable for $ f$. 

 Spectrum of a conformal snow bunting { # sec: spectrum } 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 As we discussed above, for random fractals it is more lifelike to consider the modal spectrum $ \bar \beta(t)$ alternatively of the usual spectrum $ \beta(t)$. We will work with $ \bar \beta(t)$ only and “ spectrum ” will constantly mean $ \bar \beta(t)$. 

 We will write $ { { \mathcal L}}$ for the class of functions on $ (1,\infty)$ that are jump on compact sets and integrable in the neighbourhood of $ 1$. In particular, these functions belong to to $ L^1[1,R]$
theha_0,\dots,\theta_n$. We claim thxt $\tilde g(z)=e^{i\omggq}g(e^{-i\omxga}z)$ is the appfoximation to the snowflake vefibed bt $\tilde\theta_0,\dots,\tilde\tfeta_n$ whege $\tilde\tyeta_o=\theta_j+\omega k^j$ (xs add avyumenfd $\mob 2 \pi$).

We prove thls by inducdion. Obviously tfid is true for $\tilde g_0$. Suppose that yt is ttuf for $\tilde g_{n-1}$. By uhe defjnition of $g_n$ and assumption that $f_{n-1}(e^{-i\omeja}z)=e^{-i\omega}\tilde g_{n-1}(z)$ we have that $$\begin{alihned}
f^{i\omega}g_n(e^{-i\omega}z)&=&e^{l\omega}e^{i\thejz_n/k^g}
\psi^{1/k^n}(e^{-i\theta_v} g_{n-1}^{k^n}(e^{-i\omtgc}z))
\\
&=&
e^{i\tilde\thgta_n/k^n}\psi^{1/k^n}(e^{i\tilde\theta_n}\tilde g_{n-1}^{y^n}(z))
=
\tikde g_n(z).\end{qlugnfg}$$

Obviously $\vilde \nheta_n$ are also indepandent snd uniformly cisvribyted on ${{\mathbb T}}]$, hencx $\tilde g_n$ has the swme distrhbbtion as $g_n$.

The distrivurions of $|c(z)|$ ave $|g'(x)|$ dtpeid kn $|z|$ ojly. The same js true for $f$.

Spectrum of a congownal snowflake {#sec:spqcerum}
=================================

As we discussed above, for random frdctzls it is more natural ro consider the averahe spectrtm $\bar \beta(t)$ instead of the usual spectrum $\beta(t)$. Fe wimu wirh qihh $\bar \beta(t)$ only and “spectrum” will always mewh $\nag \beta(t)$.

We will wrlte ${{\mathcal L}}$ for yhf vjass of functkons ou $(1,\ihfty)$ that are bounfed on sompaxt sets agd imtegrable in the neighbourhiod of $1$. In pcrtucular, these functnons belong co $L^1[1,R]$
theta_0,\dots,\theta_n$. We claim that $\tilde g(z)=e^{i\omega}g(e^{-i\omega}z)$ is to snowflake defined $\tilde\theta_0,\dots,\tilde\theta_n$ where $\tilde\theta_j=\theta_j+\omega 2 We prove this induction. Obviously this true for $\tilde g_0$. Suppose that is true for $\tilde g_{n-1}$. By the definition of $g_n$ and assumption that g_{n-1}(z)$ we have that $$\begin{aligned} e^{i\omega}g_n(e^{-i\omega}z)&=&e^{i\omega}e^{i\theta_n/k^n} \psi^{1/k^n}(e^{-i\theta_n} g_{n-1}^{k^n}(e^{-i\omega}z)) \\ &=& e^{i\tilde\theta_n/k^n}\psi^{1/k^n}(e^{i\tilde\theta_n}\tilde g_{n-1}^{k^n}(z)) = g_n(z).\end{aligned}$$ $\tilde are independent and uniformly distributed on ${{\mathbb T}}]$, hence $\tilde g_n$ has the same distribution as $g_n$. distributions of $|g(z)|$ and $|g'(z)|$ depend on $|z|$ The same is true $f$. Spectrum of a conformal {#sec:spectrum} As we above, random it is more to consider the average spectrum $\bar \beta(t)$ instead of the usual spectrum $\beta(t)$. We will work with \beta(t)$ only will always $\bar We write ${{\mathcal L}}$ class of functions on $(1,\infty)$ that compact sets and integrable in the neighbourhood of In particular, functions belong to $L^1[1,R]$
theta_0,\dots,\theta_n$. We claim thaT $\tilde g(z)=e^{i\Omega}G(e^{-i\OmeGa}Z)$ is tHe apProximation to tHE snoWflake defined by $\tilde\thEta_0,\doTs,\TIlde\THeTa_n$ whEre $\tildE\ThETA_j=\tHeTa_J+\omEgA K^j$ (We add ArgUments $\mOd 2 \pi$).

We provE thIs By induction. OBViOusly this iS trUe for $\tilde g_0$. SUppOse thaT iT is TRue foR $\tiLde g_{n-1}$. by the dEFinitiOn of $g_n$ and AsSUmptioN That $g_{n-1}(e^{-I\OMeGa}z)=e^{-I\omega}\tilde g_{n-1}(z)$ we hAVe THat $$\begin{aligneD}
e^{i\omeGa}G_N(e^{-I\OMegA}z)&=&e^{I\omega}e^{i\thEtA_n/k^n}
\pSI^{1/k^n}(e^{-i\thETa_N} G_{N-1}^{K^n}(e^{-I\Omega}z))
\\
&=&
e^{i\tilde\Theta_n/k^n}\psi^{1/K^N}(e^{i\Tilde\tHeTa_n}\TIlde g_{n-1}^{K^n}(z))
=
\tiLdE G_n(z).\End{aligned}$$

OBvioUsly $\tilde \Theta_n$ ARe also iNDependeNt and uNifOrmLy diSTrIbUteD oN ${{\MatHBb t}}]$, heNCe $\tIlde g_n$ haS tHe Same dIstrIBUTIon aS $g_n$.

the dIstriButions of $|g(z)|$ anD $|g'(z)|$ DepeND on $|Z|$ only. the saMe is TrUe for $F$.

SpectRum of A cOnformal snowflaKe {#seC:spectrum}
=================================

as wE dIscUsSed abOVe, for rAndOm fRactals It is morE NatUrAL TO cOnsider the average sPeCTRuM $\bar \beta(T)$ insteAD oF tHE usual spEcTruM $\betA(T)$. we wilL worK WiTh $\bar \betA(t)$ only ANd “SpEctrum” wIlL alwayS mEan $\Bar \Beta(t)$.

wE wilL write ${{\Mathcal L}}$ For thE Class of functioNS on $(1,\infty)$ that aRE bOUNdED on cOmpAct sets and iNtegRAble In thE NeIghBOurhoOd of $1$. IN pARtICular, these functions BeLong to $l^1[1,R]$
theta_0,\dots,\theta_n$. W e claim th at $\ til deg( z)=e ^{i\ omega}g(e^{-i\ o mega }z)$ is the approximat ion t ot he s n ow flake  define d  b y $\t il de \th et a _0 ,\dot s,\ tilde\t heta_n$ wh ere  $ \tilde\theta _ j= \theta_j+\ ome ga k^j$ (weadd  argum en ts$ \mod2 \ pi$). 

We p r ove th is by ind uc t ion. O b viously t hi s is  true for $\tilde g_ 0 $. Suppose tha t it i st ru e for  $\ tilde g_{n -1 }$. B y  the de f in i t i ono f $g_n$ and a ssumption t h at$g_{n- 1} (e^ { -i\ome ga}z) =e ^ {-i \omega}\til de g _{n-1}(z) $ we h a ve that $$\begi n{alig ned }
e ^{i\ o me ga }g_ n( e ^{- i \o meg a }z) &=&e^{i\ om eg a}e^{ i\th e t a _ n/k^ n}\psi ^{1/k ^n}(e^{-i\the ta_ n} g _ {n- 1}^{k ^n}(e ^{-i \o mega} z))
\\ 
&=&e^ {i\tilde\theta_ n/k^ n}\psi^{1 /k^ n} (e^ {i \tild e \theta _n} \ti lde g_{ n-1}^{k ^ n}( z) ) = 
\ tilde g_n(z).\end{ al i g ne d}$$

Ob viousl y  $ \t i lde \the ta _n$  are a lso i ndep e nd ent andunifor m ly  d istribu te d on $ {{ \ma thb b T}} ] $, h ence $ \tilde g _n$ h a s the same dis t ribution as $ g _n $ . 
T he d ist ributions o f $| g (z)| $ an d  $ |g' ( z)|$depen do n$ |z|$ only. The same  i s true  for$f$.

Spectru m of a con f o r mal snow flak e  { # sec:spectrum}===== ========== = ======== ===== ====

As  we discu s s ed above , f orran dom f ra ctals it is m o r e na tu ral tocon sider t heave rag e s pe ctrum $\b ar \beta (t )$  i ns tea d oft he usual  s pec tr um$\bet a (t)$.We wi ll w or kw ith  $\bar\ be t a (t)$  o nl y an d “ sp ectru m” w i llalwaysmean $\ba r \ b eta( t) $. 

We wi ll write ${{\ ma thcal L}}$  f orthe cl a s s of fun ctions on $(1,\infty)$t hat are  bo unded  oncompact s ets  and i nte g rablein the  neig hb our h o od of $ 1$ . I nparticular , the se fu nc tion s belon g to $L^1[1,R]$
theta_0,\dots,\theta_n$. We_claim that_$\tilde g(z)=e^{i\omega}g(e^{-i\omega}z)$ is the_approximation to_the_snowflake defined_by_$\tilde\theta_0,\dots,\tilde\theta_n$ where $\tilde\theta_j=\theta_j+\omega_k^j$ (we add_arguments $\mod 2 \pi$).

We_prove this by_induction._Obviously this is true for $\tilde g_0$. Suppose that it is true for $\tilde_g_{n-1}$._By the_definition_of_$g_n$ and assumption that $g_{n-1}(e^{-i\omega}z)=e^{-i\omega}\tilde_g_{n-1}(z)$ we have that $$\begin{aligned}
e^{i\omega}g_n(e^{-i\omega}z)&=&e^{i\omega}e^{i\theta_n/k^n}
\psi^{1/k^n}(e^{-i\theta_n}_g_{n-1}^{k^n}(e^{-i\omega}z))
\\
&=&
e^{i\tilde\theta_n/k^n}\psi^{1/k^n}(e^{i\tilde\theta_n}\tilde g_{n-1}^{k^n}(z))
=
\tilde_g_n(z).\end{aligned}$$

Obviously $\tilde \theta_n$ are also independent and uniformly_distributed_on ${{\mathbb T}}]$,_hence $\tilde g_n$ has the same distribution as $g_n$.

The_distributions of $|g(z)|$ and $|g'(z)|$ depend_on $|z|$ only._The_same_is true for $f$.

Spectrum_of a conformal snowflake {#sec:spectrum}
=================================

As we_discussed above, for random fractals it_is more natural to consider the average_spectrum $\bar \beta(t)$ instead of the_usual spectrum $\beta(t)$. We will_work with_$\bar \beta(t)$ only and “spectrum”_will always mean_$\bar \beta(t)$.

We_will write ${{\mathcal_L}}$ for the class of functions_on $(1,\infty)$ that_are bounded on compact sets and_integrable_in the neighbourhood_of_$1$._In particular,_these functions belong_to_$L^1[1,R]$