8
$\begingroup$

Let $u$ be a nonconstant real-valued harmonic function defined in the open unit disk $D$. Suppose that $\Gamma\subset D$ is a smooth connected curve such that $u=0$ on $\Gamma$. Is there a universal upper bound for the length of $\Gamma$?

Remark: by the Hayman-Wu theorem, the answer is yes if $u$ is the real part of an injective holomorphic function; in fact, in this case there is a universal upper bound for the length of the entire level set in $D$. For general harmonic functions, level sets can have arbitrarily large length, e.g. $\Re z^n$.

$\endgroup$
3
  • $\begingroup$ Leonid, so you should modify your question and say that your question is not about the whole curve $u=0$ but about connected componets of the curve $u=0$. Othervise the answer that I gave you is correct $\endgroup$ Jan 1 '10 at 4:15
  • $\begingroup$ I this case this is a really cool question :)) $\endgroup$ Jan 1 '10 at 4:29
  • 1
    $\begingroup$ Can you give an example of smooth curve which can not be approximated by such level set? $\endgroup$ Jan 1 '10 at 4:51
12
$\begingroup$

It can get arbitrarily ugly. Indeed, approximate $1/z$ by a polynomial $p$ in the domain $K\subset\mathbb D$ whose complement is connected but goes from $0$ to the boundary along a long winding narrow path. Then each connected component of the set $\mbox{Re}p=A$ with large $A$ will have to escape the circle along essentially the same path and there are only finitely many $A$ for which we have branching points in these sets ($p'$ has finitely many roots).

$\endgroup$
6
  • $\begingroup$ It won't help: just approximate the logarithm of the derivative of $1/z$ (which is still analytic in $K$), exponentiate, and integrate to get an approximation of $1/z$ without critical points. $\endgroup$
    – fedja
    Jan 1 '10 at 14:11
  • 3
    $\begingroup$ This time I have a theorem up my sleeve (or, more precisely, up my friend's sleeve). It is true. The main idea is to relate the number of zeroes on a circle to the doubling exponent in the disk under the assumption that $u$ equals $0$ somewhere in the quarter-disk. If you allow to change the raius a bit, they essentially coincide. I don't know if it has ever been published anywhere but if you are really interested, let me know and I'll send you the notes. The details of the formal proof are a bit too long to post on MO (especially with the current limitations of TeX support). $\endgroup$
    – fedja
    Jan 3 '10 at 21:26
  • $\begingroup$ @HSM Since Leonid has deleted all his comments, I'm no longer sure what exactly we were talking about back then. If you can figure out what the "true statement" was, I can try to recall what the proof was, but now I'm a bit in the dark. $\endgroup$
    – fedja
    May 29 '17 at 15:36
  • $\begingroup$ Unfortunately, it seems rather impossible to figure out what the "true statement" referred to actually was. However, if you know of any result that relates the number of zeros on a circle to the doubling exponent in the disk, as you commented above, I am quite interested to hear about it. $\endgroup$
    – HSM
    May 29 '17 at 23:39
  • $\begingroup$ @HSM OK, I'll try to recall what exactly I was thinking of back then and let you know if I succeed. $\endgroup$
    – fedja
    May 30 '17 at 1:41

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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