Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
On the non-tangential convergence of Poisson and modified Poisson semigroups at the smoothness points of \(L_p\)-functions - MaRDI portal

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; zbMATH DE number 7254975
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; zbMATH DE number 7254975

    Statements

    On the non-tangential convergence of Poisson and modified Poisson semigroups at the smoothness points of \(L_p\)-functions (English)
    0 references
    0 references
    0 references
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references