2
$\begingroup$

By the maximum principle, every harmonic function on a bounded domain is uniquely determined by its boundary values. However, for unbounded domains, we can have infinitely many harmonic functions with prescribed boundary values. My question, roughly, is this: since we may use conformal maps between bounded and unbounded domains to construct harmonic functions, how do we still maintain uniqueness?

More concretely, suppose we have a harmonic function $F$ on the upper half plane with prescribed boundary values. Consider the conformal map $u(z)=i(1-z)/(1+z)$ that takes the disc to the upper half plane. Then $F \circ u + cy$ for any constant $c$ gives an infnitely family of harmonic functions on the disc with given boundary values. But this contradicts the remark above that harmonic functions on bounded domains are unique. Where is the flaw in the reasoning?

  • 3
    "its boundary values" presumes the **existence** of boundary values, usually in the form of continuous extension to the boundary. Which $(F+cy)\circ u$ lacks.2012-05-18
  • 1
    I don't know what you mean by boundary values for the upper half plane, which, well, lacks a boundary. Given a set of boundary values on the unit disc, the single point $z=-1$ is mapped to $\infty$ in the Riemann sphere. All other points on the unit circle are mapped to the real line. So all you get to specify for the upper half plane is a single value, at $\infty.$ Furthermore, this single value had better be the limit of the data on the real line, separately as one goes to $\infty$ or to $-\infty.$ Otherwise the pullback is not continuous on the unit circle.2012-05-18
  • 0
    @WillJagy I would not go as far as saying that $\{z\colon \Im z>0\}$ lacks a boundary. In the topology of $\mathbb C$ its boundary is $\mathbb R$; in the topology of $\mathbb C\cup \{\infty\}$ its boundary is $\mathbb R\cup \{\infty\}$. The issue underlying this question is that the maximum principle requires the consideration of $\mathbb R\cup \{\infty\}$ and not just $\mathbb R$.2012-05-18
  • 0
    @LeonidKovalev, sounds good.2012-05-18
  • 0
    Ok, so this is how I am interpreting your answer. Since $-1$ gets mapped to $\infty$, and if $F(\infty) = \infty$, for example, then there is no continuous extension to the boundary of the disc, since $(F + cy) \circ u$ blows up at -1. So do we just get a harmonic function on the disc with values in the boundary except the point -1? Thus, not specifying the value at even a single point on the boundary means we may no longer have uniqueness?2012-05-18
  • 0
    Uniqueness of harmonic functions on unbounded domains generally follows from growth conditions on the function at infinity. For example, if we are on the upper half plane and set $u(x,0)=0$, e.g. zero on the real line, then there are at least two solutions: $u(x,y)=0$ and $u(x,y)=y$. However, if we require that $\lim_{|z|\rightarrow\infty}u(x,y)=0$ then only the trivial solution survives.2012-05-18
  • 0
    @user94038190 That's right: just one point can break up the uniqueness. To makes this absolutely clear, consider the concrete example $\mathrm{Re}\frac{1}{1+z}$ on the unit disk, which is harmonic and has boundary values $1/2$ except at one point $z=-1$. On the other hand, as Sam mentioned, one boundary point is not an issue if we know something more about the function. For example, if the function is **bounded** on the disk and has boundary values $0$ at all except finitely many points, then it's identically $0$. Suggested reading: *Potential theory in the complex plane* by Ransford.2012-05-18
  • 0
    Thank you all so much!2012-05-18

0 Answers 0