Skip to main content
Post Undeleted by Christian Remling
added 298 characters in body
Source Link
Christian Remling
  • 24.2k
  • 2
  • 48
  • 83

For exampleNo. A counterexample is (I let $x,y$ change roles here to obtain the more familiar formulae involving the Poisson kernelessentially) given by $$ u(z) = -\log |z+i\delta|, \quad\quad z=x+iy, y\ge 0 . $$ This function is harmonic and positive near $z=0$, ifand $|u(x+iy)|\le |u(x)|\in L^2(-1/2,1/2)$, so $$$$ \int_{-1/2}^{1/2} dx\int_0^{2\eta} dy\, u^2 \lesssim \eta , $$ vas required. However, $|u(i\eta)|$ is not bounded as $\delta,\eta\to 0+$.

By rotating and (slightly) rescaling this, we obtain a counterexample in your setting.

For example (I let $x,y$ change roles here to obtain the more familiar formulae involving the Poisson kernel), if $$ v(

No. A counterexample is (essentially) given by $$ u(z) = -\log |z+i\delta|, \quad\quad z=x+iy, y\ge 0 . $$ This function is harmonic and positive near $z=0$, and $|u(x+iy)|\le |u(x)|\in L^2(-1/2,1/2)$, so $$ \int_{-1/2}^{1/2} dx\int_0^{2\eta} dy\, u^2 \lesssim \eta , $$ as required. However, $|u(i\eta)|$ is not bounded as $\delta,\eta\to 0+$.

By rotating and (slightly) rescaling this, we obtain a counterexample in your setting.

deleted 764 characters in body
Source Link
Christian Remling
  • 24.2k
  • 2
  • 48
  • 83

Yes, this works. Here's a sketch: I'll work with $v=u^2$, which is also subharmonic. We then have that $$ v(z) \le \int_{\partial R} v(\zeta)\, d\omega_z(\zeta; R) , \quad\quad\quad\quad (1) $$ where $\omega$ denotes harmonic measure for a rectangle of the form $$ -q\eta\le x\le q\eta, \quad 1/4-q\le y\le 3/4+q , $$ say (in other words, the RHS ofFor example (1) solves the Dirichlet problem on $R$ with boundary values $v$).

We now simply average this formula over $1/2\le q \le 1$. Then the RHS becomes comparable to an average over an area, and thus is $\lesssim C$ by our assumption.

The rigorous treatment requires some simple estimates on harmonic measure as we varyI let $R$, but it is intuitively obvious that these will be comparable$x,y$ change roles here to arc length onobtain the vertical pieces ofmore familiar formulae involving the boundaryPoisson kernel), especially if we think of harmonic measure as hitting probability for Brownian motion. $$ v(

Yes, this works. Here's a sketch: I'll work with $v=u^2$, which is also subharmonic. We then have that $$ v(z) \le \int_{\partial R} v(\zeta)\, d\omega_z(\zeta; R) , \quad\quad\quad\quad (1) $$ where $\omega$ denotes harmonic measure for a rectangle of the form $$ -q\eta\le x\le q\eta, \quad 1/4-q\le y\le 3/4+q , $$ say (in other words, the RHS of (1) solves the Dirichlet problem on $R$ with boundary values $v$).

We now simply average this formula over $1/2\le q \le 1$. Then the RHS becomes comparable to an average over an area, and thus is $\lesssim C$ by our assumption.

The rigorous treatment requires some simple estimates on harmonic measure as we vary $R$, but it is intuitively obvious that these will be comparable to arc length on the vertical pieces of the boundary, especially if we think of harmonic measure as hitting probability for Brownian motion.

For example (I let $x,y$ change roles here to obtain the more familiar formulae involving the Poisson kernel), if $$ v(

Post Deleted by Christian Remling
Source Link
Christian Remling
  • 24.2k
  • 2
  • 48
  • 83

Yes, this works. Here's a sketch: I'll work with $v=u^2$, which is also subharmonic. We then have that $$ v(z) \le \int_{\partial R} v(\zeta)\, d\omega_z(\zeta; R) , \quad\quad\quad\quad (1) $$ where $\omega$ denotes harmonic measure for a rectangle of the form $$ -q\eta\le x\le q\eta, \quad 1/4-q\le y\le 3/4+q , $$ say (in other words, the RHS of (1) solves the Dirichlet problem on $R$ with boundary values $v$).

We now simply average this formula over $1/2\le q \le 1$. Then the RHS becomes comparable to an average over an area, and thus is $\lesssim C$ by our assumption.

The rigorous treatment requires some simple estimates on harmonic measure as we vary $R$, but it is intuitively obvious that these will be comparable to arc length on the vertical pieces of the boundary, especially if we think of harmonic measure as hitting probability for Brownian motion.