## A “holomorphic” Peano curve?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

A Peano curve is a continuous map $[0,1]\to [0,1]^2$ whose image is the whole square.

I would like to know if on can obtain "holomorphic" Peano curves. Namely, is it possible to find a continuous map $\phi$ from the unit disk $|z|\le 1$ to $\mathbb C^1$ such that $\phi$ is holomorphic for $|z|<1$ and the image of the boundary $|z|=1$ has non-empty interior in $\mathbb C^1$ under the map $\phi$.

-

## 2 Answers

Here it is: MR0015154 Salem, R.; Zygmund, A. Lacunary power series and Peano curves. Duke Math. J. 12, (1945). 569–578.

-

2
And here is the link: projecteuclid.org/… – Brian Rushton Nov 30 at 4:06

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Define $$\phi(z):=\frac{1}{2\pi i}\int_{S^1}(\zeta-z)^{-1}\cdot \varphi(\zeta)d\zeta$$

for $|z|<1$, where $\varphi: S^1\to\mathbb{C}$ is a Peano curve (i.e. its image has nonempty interior), and $\phi(z):=\varphi(z)$ for $z\in S^1$. [Edit: this construction doesn't work because $\phi$, as I defined it, may not be continuous up to the boundary - see the comments]

-

2
In general there is no reason for this function $\phi$ to be contunuous on $\overline{\mathbb{D}}$! For example, if negative terms are present in the Fourier expansion of $g$, then certainly a continuous extension of the Cauchy Transform of $g$ to the circle will not be equal to $g$. – Malik Younsi Nov 29 at 18:16

2
I see. You are right! I will not delete the answer because it might be an "instructive mistake" (I'm not an analyst, btw) - I will edit adding a disclaimer. – Qfwfq Nov 29 at 18:25
@Qfwfq : Yes, it is instructive. Thank you for the edit! – Malik Younsi Nov 30 at 12:48
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 19, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9166032075881958, "perplexity_flag": "head"}