14
$\begingroup$

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$.

Improve this question
$\endgroup$
0

2 Answers 2

Reset to default
17
$\begingroup$

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

Improve this answer
$\endgroup$
1
4
$\begingroup$

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]

Improve this answer
$\endgroup$
3
  • 2
    $\begingroup$ 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$. $\endgroup$
    – Malik Younsi
    Commented Nov 29, 2012 at 18:16
  • 2
    $\begingroup$ 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. $\endgroup$
    – Qfwfq
    Commented Nov 29, 2012 at 18:25
  • $\begingroup$ @Qfwfq : Yes, it is instructive. Thank you for the edit! $\endgroup$
    – Malik Younsi
    Commented Nov 30, 2012 at 12:48

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .