Poisson Kernel on the generalized upper half plane

fourier analysisharmonic-analysislebesgue-integralmeasure-theoryreal-analysis

We have the function $P(x)=C_n\frac{1}{(1+||x||^2)^{(n+1)/2}}$ on $\mathbb{R}^n$, where $C_n=\pi^{-(n+1)}\Gamma\big(\frac{n+1}{2}\big)$. And we define the Poisson kernel on the generalized upper half plane $\{(x,y)\big|x\in\mathbb{R}^n,y>0\}.$ We also know that $P_y(x)$ is the Fourier transform of the function $e^{-2\pi y||x||}$ for $y>0$. Now want to show that :

If $f\in L^p(\mathbb{R}^n),1\leq p<\infty,$ then $f*P_y\rightarrow f$ in $L^p(\mathbb{R}^n)$ as $y\rightarrow 0$.

My question is how to show that the Poisson Kernel is in $L^1$? And can we do it without integrating it explicitly? I am not so confident about integrating on whole of $\mathbb{R}^n$. May be one can use that it's a Fourier Transform of some function? Also, does the function $e^{-2\pi y||x||}$ lie in any $L^p?$

Best Answer

ΗΙΝΤ

$P(x),e^{-2\pi y||x||} \in L^p,\forall p \in [1,+\infty]$ since $y>0$.

You can see that by using the polar coordinates formula: $$ \int_{\Bbb{R}^n} f(x) dx = \int_0^\infty \left( \int_{S^{n-1}} f(re)d\sigma(e) \right) r^{n-1} dr. $$

where $\sigma(E)$ is the surface borel measure on the unit sphere.

In this case your function is radial so the integration won't depend on $e \in S^{n-1}$ thus things are easy especialy since your function is non-negative.