Skip to main content
1 of 2
Hammerhead
  • 1.2k
  • 8
  • 20

Subharmonic envelope

I came across a more complicated version of the following problem. It is so elementary, I think that there had to be some research done on this in the past. If someone has any ideas please let me know.

Suppose $u: \bar D \to \Bbb R$ is a smooth function on the closure of the unit disc in $\Bbb C$. We introduce the following family: $$S_u = { v: D \to \Bbb R | v \leq u, v \ continuous \ and \ subharmonic \}$$ Let $h$ be the upper envelope of the supremum of all elements in $S_u$. Then $h$ is an usc subharmonic function.

The question is as follows. Under what conditions on $u$ is the difference $\Delta = u(0)-h(0) \geq 0$ zero. This quantity is zero when $u$ is subharmonic, but its fate seems to be unclear in other situations.

Hammerhead
  • 1.2k
  • 8
  • 20