On the non-tangential convergence of Poisson and modified Poisson semigroups at the smoothness points of \(L_p\)-functions (Q2003770)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the non-tangential convergence of Poisson and modified Poisson semigroups at the smoothness points of \(L_p\)-functions |
scientific article |
Statements
On the non-tangential convergence of Poisson and modified Poisson semigroups at the smoothness points of \(L_p\)-functions (English)
0 references
2 October 2020
0 references
Let \(\mathbb{R}^{n+1}_+=\mathbb{R}^n\times(0,\infty)=\{(x,y):x\in\mathbb{R}^n,y>0\}\) be the \((n+1)\)-dimensional half-space and let \(\Gamma_\alpha(x^0)=\{(x,y):\vert x-x^0\vert <\alpha y\}\) be the infinite cone, whose vertex is at \(x^0\). Let \(\rho\in(0,1)\) be a fixed number and the function \(\mu(r)\) be continuous on \([0,\rho]\), positive on \((0,\rho]\) and \(\mu(0)=0\). A function \(f\in L_p(\mathbb{R}^n)\) has the \(\mu\)-smoothness property at a point \(x^0\in\mathbb{R}^n\), if \[\sup\limits_{0<r\leq\rho}\frac1{r^n\mu(r)}\int_{\vert x\vert \leq r}\vert f(x^0-x)-f(x^0)\vert \,dx<\infty\,.\] Such a point \(x^0\in\mathbb{R}^n\) is called a \(\mu\)-smoothness point of \(f\). This paper investigates the rate of non-tangential convergence of Poisson and metaharmonic integrals at \(\mu\)-smoothness points of \(f\). Let \(\mu(t)\geq at\), \(0<t\leq\rho]\), for some \(a>0\), \(\mu(t)=\mu(\rho)\), for \(\rho\leq t<\infty\) and let \(\omega(t)>0\) be a locally bounded function such that \(\mu(\varepsilon t)\leq\mu(\varepsilon)\omega(t)\), \(\varepsilon\in(0,\rho)\), \(t\in(0,\rho/\varepsilon)\), \(\displaystyle\int_0^\infty\frac{\omega(t)\,dt}{1+t^2}<\infty\). It is proved that, if \(V_\varepsilon f\) (\(\varepsilon>0\)) is any of Poisson or metaharmonic integrals (semigroups) of the function \(f\in L_p(\mathbb{R}^n)\) and \(x^0\in\mathbb{R}^n\) is a \(\mu\)-smoothness point of \(f\), then the non-tangential asymptotic estimate \((V_\varepsilon f)(x)-f (x^0)=O(\mu(\varepsilon))\) holds when \((x,\varepsilon)\in\Gamma_\alpha(x^0)\) and \(\varepsilon\to 0^+\).
0 references
Fatou's theorem
0 references
Poisson semigroup
0 references
metaharmonic semigroup
0 references
vertex
0 references
non-tangential convergence
0 references
smoothness point
0 references
rate of convergence
0 references
0 references
0 references
0 references
0 references