Rectifiable Julia Curves (Q4340935)

The paper constructs an interesting example, namely a transcendental meromorphic function \(F\) whose Julia set \(J(F)\) is a rectifiable curve in \(\widehat{\mathbb{C}}\) but is neither a line nor a circle. The construction starts with a specific meromorphic function \(f\) such that \(J(f)=\mathbb{R}\) and constructs a corresponding quasiconformal map \(\varphi\) of the plane which yields \(F\) as \(\varphi f\varphi^{-1}\). By ensuring that the dilatation \(\mu\) of \(\varphi\) is in a certain sense small one obtains \(J(F)= \varphi(\mathbb{R})\) to be rectifiable but different from \(\mathbb{R}\). This depends on a lemma; For \(p>1\) there is some \(k=k(p)>0\) such that for any quasiconformal map \(\varphi\) of \(\mathbb{C}\) with dilatation \(\mu\) which satisfies (1) \(|\mu|_\infty\leq k\) and (2) for every rectangle \(Q\) the integral over \(Q\), \[ \iint|\mu(x+iy)|^p y^{1-2p} dx dy <\infty, \] we have \(\varphi(\mathbb{R})\) rectifiable and \(\varphi\) absolutely continuous on \(\mathbb{R}\). For rational functions the method yields a rational function \(g\) such that \(J(g)\) is totally disconnected and \(J(g)\subset \Gamma\), where \(\Gamma\) is a rectifiable curve which is not a circle or line.