Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $\Omega$ be a domain of the complex plane. The Hardy space $H^p(\Omega)$ is defined, for $1 \leq p<\infty$, as the class of functions $f$ that are holomorphic on $\Omega$ such that $|f|^p$ has a harmonic majorant on $\Omega$, i.e. there is a function $u$ harmonic on $\Omega$ such that $$|f(z)|^p \leq u(z) $$ for all $z \in \Omega$.

For $p=\infty$, $H^\infty(\Omega)$ is the class of bounded holomorphic functions on $\Omega$.

I'm interested in cases when $H^p(\Omega)$ consist only of constant functions. For example, this is the case when $\Omega$ is the whole plane, because positive harmonic functions on $\mathbb{C}$ are constant.

I came upon the following question :

Let $E$ be a compact subset of the real line, and suppose that $E$ has zero length. Let $\Omega$ be the complement of $E$. Does $H^p(\Omega)$ consist only of the constant functions?

For $p=\infty$, the answer is yes : one can use Cauchy's formula to extend any bounded holomorphic function on $\Omega$ to a bounded holomorphic function on $\mathbb{C}$, and that function is now constant by Liouville's theorem.

For $1 \leq p<\infty$, I am pretty sure the answer is also yes. However, I can't seem to find a way to extend $f$ or the harmonic majorant of $|f|^p$ to the whole plane. Is there any way to do so?

Thank you, Malik

share|cite|improve this question
For the benefit of other readers, I'll point out the answer given at MathOverflow. It would be interesting to have a non-probabilistic proof, though. – user31373 Jul 2 '12 at 16:57

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.