Uniform convergence of Poisson Kernel (of the upper half plane)

351 Views Asked by At

For $y>0$ and $t\in\mathbb{R}$, define $$p_y(t)=\frac{y}{t^2+y^2}.$$ This is essentially (up to a multiplicative constant $\frac{1}{\pi}$) the Poisson kernel of the upper half plane. Since $p_y$ is continuous in $y$, $p_{y+h}(t)\to p_y(t)$ as $h\to0^+$. I am interested in a uniform version of this convergence: Is the following true: for each fixed $y>0$, $$\lim_{h\to 0^+}\sup_{t\in\mathbb{R}}|p_{y+h}(t)-p_{y}(t)|=0$$

if true, how to prove it?

3

There are 3 best solutions below

0
On BEST ANSWER

Let me answer my own question. $y>0$ is fixed.let $h>0$ be sufficiently small so that $y-h>0$. A little bit algebra shows that. for any $t\in\mathbb{R}$, \begin{align}|p_{y}(t)-p_{y-h}(t)|=&|\frac{yh(h-y)}{(t^2+y^2)(t^2+(y-h)^2)}+\frac{t^2h}{(t^2+y^2)(t^2+(y-h)^2)}|\\ \le &\frac{yh(y-h)}{(t^2+y^2)(t^2+(y-h)^2)}+\frac{t^2h}{(t^2+y^2)(t^2+(y-h)^2)}\\ \le & \frac{h}{y(y-h)}+\frac{h}{(y-h)^2}\end{align}

hence $\sup_{t\in\mathbb{R}} |p_{y}(t)-p_{y-h}(t)|\le \frac{h}{y(y-h)}+\frac{h}{(y-h)^2}\to 0$ as $h\to0^+$.

1
On

It's been commented that $p_y$ does not converge uniformly as $y\to0$. Nonetheless, if $y>0$ then yes, $p_{y+h}\to p_y$ uniformly as $h\to0$. One can "just work it out"; I did that in an answer just now and made a mistake in the algebra. Or one can note that $p_y$ is (essentially) the Fourier transform of $k_y$, if $$k_y(t)=e^{-y|t|},$$so it's enough to show $$||k_{y+h}-k_y||_1\to0.$$The algebra there seems simpler; or one can just mumble "DCT"...

0
On

The derivative of $p_y(t)$ w.r.t. $y$ is $\frac {t^{2}-y^{2}} {(t^{2}+y^{2})^{2}}$ which is bounded by $\frac 1 {t^{2}+y^{2}}$ hence by $\frac 1 {y^{2}}$. MVT finishes the proof.