On Wachnicki’s Generalization of the Gauss–Weierstrass Integral

1 year ago

Abstract

The paper aims at a generalization of the Gauss–Weierstrass integral introduced by Eugeniusz Wachnicki two decades ago. It is intimately connected to a generalization of the heat equation. The main result is an asymptotic expansion for the operators when applied to a function belonging to a rather large class. An essential auxiliary result is a localization theorem which is interesting in itself.

Authors

Octavian Agratini
Faculty of Mathematics and Computer Science, Babeş-Bolyai University, Cluj-Napoca, Romania
Tiberiu Popoviciu Institute of Numerical Analysis, Romanian Academy, Cluj-Napoca, Romania

Keywords

Gauss–Weierstrass operator; Bessel function; Kummer function; Asymptotic expansion; Degree of approximation

Paper coordinates

U. Abel and O. Agratini, On Wachnicki’s Generalization of the Gauss-Weierstrass Integral, In: Candela, A.M., Cappelletti Montano, M., Mangino, E. (eds) Recent advances in Mathematical Analysis. Trends in Mathematics, October 2022, Birkhäuser, Cham., pp 1–13, 2023.
https://doi.org/10.1007/978-3-031-20021-2_1

PDF

https://link.springer.com/chapter/10.1007/978-3-031-20021-2_1

About this paper

Journal

Recent Advances in Mathematical Analysis

Publisher Name

Birkhäuser, Cham

DOI

https://doi.org/10.1007/978-3-031-20021-2_1

Print ISSN

Online ISSN

google scholar link

Paper (preprint) in HTML form

On Wachnicki’s generalization of the Gauss–Weierstrass integral

Ulrich Abel Fachbereich MND,
Technische Hochschule Mittelhessen,
Wilhelm-Leuschner-Straße 13,
61169 Friedberg, Germany ulrich.abel@mnd.thm.de and Octavian Agratini Babeş-Bolyai University,
Faculty of Mathematics and Computer Science,
Str. Kogălniceanu, 1, 400084 Cluj-Napoca, Romania
and
Tiberiu Popoviciu Institute of Numerical Analysis,
Romanian Academy,
Str. Fântânele, 57, 400320 Cluj-Napoca, Romania agratini@math.ubbcluj.ro

Abstract.

Mathematics Subject Classification: 41A36, 41A60.

Keywords and phrases: Gauss–Weierstrass operator, Bessel function, Kummer function, asymptotic expansion, degree of approximation.

1. Introduction

It is acknowledged that linear positive operators are a useful tool in approximating signals from various spaces. Referring to operators of either discrete or continuous type, a natural challenge is to highlight their properties. Two decades ago Eugeniusz Wachnicki [16] defined an integral operator representing a generalization of the classical Gauss–Weierstrass operators. One of the genuine Gauss–Weierstrass operator’s write modes is as follows

W(f;x,t)=\displaystyle\frac{1}{2\sqrt{\pi t}}\int_{\mathbb{R}}\exp\left(-% \displaystyle\frac{(x-y)^{2}}{4t}\right)f(y)dy,

(1)

where $t>0$ is a parameter, $x\in\mathbb{R}$ and $f:\mathbb{R}\to\mathbb{R}$ is chosen so that the integral exists and is finite. A concise but relevant presentation of these operators can be found, e.g., in the monograph [6, Section 5.2.9]. We mention that a modification of the operators (1) was presented by Altomare and Sabina, see [7].

Actually, the $W f$ transform is a smoothed out version of $f$ obtained by averaging the values of $f$ with a Gaussian signal centered at $x$ . Specifically, it is the function $G_{t}$ given by

G_{t}(x)=\frac{1}{2\sqrt{\pi t}}\int_{\mathbb{R}}f(y)\exp\left(-\frac{(x-y)^{2% }}{4t}\right)dy=\frac{1}{2\sqrt{\pi t}}\int_{\mathbb{R}}f(x-y)\exp\left(-\frac% {y^{2}}{4t}\right)dy

representing the convolution of $f$ with the Gaussian function

x\mapsto\displaystyle\frac{1}{2\sqrt{\pi t}}\exp(-x^{2}/(4t)).

Weierstrass used a variant of this transform in his original proof of the famous Approximation Theorem which bears his name. Also, this transform is intimately related to the heat equation or, equivalently, the diffusion equation with constant diffusion coefficient. These are only a few reasons why it has been intensively studied over time. We note that an extension of this integral was performed even in q-Calculus [8]. Among the most recent papers published in 2021, without intending to bring up them all, we mention [9], [17].

2. The operators

First of all we recall the modified Bessel function of the first kind and fractional order $\alpha>-1$ , see, e.g., [5, Chapter 10]. Denoting by $I_{\alpha}$ , it is described by the series

I_{\alpha}(z)=\left(\displaystyle\frac{z}{2}\right)^{\alpha}\sum_{k=0}^{\infty% }\displaystyle\frac{\left(\displaystyle\frac{1}{4}z^{2}\right)^{k}}{k!\,\Gamma% (\alpha+k+1)},

(2)

where $\Gamma$ is the Gamma function. An integral formula for this function (for ${\rm Re}(z)>0$ ) will be read as follows

I_{\alpha}(z)=\displaystyle\frac{1}{\pi}\int_{0}^{\pi}e^{z\cos\theta}\cos(% \alpha\theta)d\theta-\displaystyle\frac{\sin(\alpha\pi)}{\pi}\int_{0}^{\infty}% e^{-z\cosh(t)-\alpha t}dt.

We indicate two particular cases useful throughout the paper

I_{-1/2}(z)=\sqrt{\displaystyle\frac{2}{\pi z}}\cosh(z),\quad I_{1/2}(z)=\sqrt% {\displaystyle\frac{2}{\pi z}}\sinh(z),

(3)

see, e.g., [5, p. 433]. In the above, $\cosh$ , $\sinh$ represent the usual notation of hyperbolic functions.

Set $\mathbb{R}_{+}=[0,\infty)$ . For a fixed constant $K\geq 0$ , we consider the space

	$\displaystyle E_{K}=\{$	$\displaystyle f:\mathbb{R}_{+}\to\mathbb{R}\mid f\mbox{ is locally integrable % and }(\exists)\ M_{f}\geq 0,$
		$\displaystyle\|f(s)\|\leq M_{f}e^{Ks^{2}},\ s>0\}.$

The space is endowed with the norm $\|\cdot\|_{K}$ ,

\|f\|_{K}=\sup_{s\in\mathbb{R}_{+}}|f(s)|e^{-Ks^{2}}.

We consider the operator $W_{\alpha}$ defined on $E_{K}$ by the following relation

W_{\alpha}(f;r,t)=\displaystyle\frac{1}{2t}\int_{0}^{\infty}r^{-\alpha}s^{% \alpha+1}\exp\left(-\displaystyle\frac{r^{2}+s^{2}}{4t}\right)I_{\alpha}\left(% \displaystyle\frac{rs}{2t}\right)f(s)ds,

(4)

where $\alpha\geq-1/2$ , $(r,t)\in(0,\infty)\times(0,\infty)$ and $I_{\alpha}$ is given at (2).

$W_{\alpha}$ was introduced in [16, Eq. (1)] with a minor modification of the domain $E_{K}$ in which the author inserted $f\in C(\mathbb{R}_{+})$ .

Since $W_{\alpha}f$ , $f\in E_{K}$ , is well defined for any $K>0$ , we can consider the domain of $W_{\alpha}$ as $E:=\displaystyle\bigcup_{K>0}E_{K}$ .

Wachnicki [16, Theorem 4] showed the convergence

\lim_{t\rightarrow 0^{+}}W_{\alpha}\left(f;r,t\right)=f\left(r\right),

for $f\in E\cap C\left(\mathbb{R}_{+}\right)$ , uniformly on compact subintervals of $\left(0,+\infty\right)$ .

For $\alpha\geq-1/2$ , the function $W_{\alpha}\left(f;r,t\right)$ is an example of the solution of the generalized heat equation

\frac{\partial u}{\partial t}=\frac{\partial^{2}u}{\partial r^{2}}+\frac{2% \alpha+1}{r}\frac{\partial u}{\partial r}.

(5)

If $\alpha=n/2-1$ , $n\in\mathbb{N}$ , Eq. $\left(\ref{generalized heat equation}\right)$ is the heat equation in $\mathbb{R}^{n+1}$ in radial coordinates.

Recently, in [12] an extension of this operator was achieved for continuous functions defined on the domain $(0,\infty)\times\mathbb{R}$ and bounded by certain two-dimensional exponential functions.

Remark. For $\alpha=-1/2$ the operator defined by (4) becomes the authentic Gauss–Weierstrass operator, a specification that can be found in [16]. Because the statement was not accompanied by a proof, we insert it as a detail in our paper. More precisely we prove

W_{-1/2}f=W\widehat{f},\quad f\in E_{K},

(6)

see (1), where $\widehat{f}(s)=f(({\rm sgn}s)s)$ , $s\in\mathbb{R}$ .

Indeed, for any $(r,t)\in(0,\infty)\times(0,\infty)$ , taking in view (3), we can write

	$\displaystyle\quad\ W_{-1/2}(f;r,t)$
	$\displaystyle=\displaystyle\frac{1}{2t}\sqrt{\displaystyle\frac{4t}{\pi}}\int_% {0}^{\infty}\exp\left(-\displaystyle\frac{r^{2}+s^{2}}{4t}\right)\cosh\left(% \displaystyle\frac{rs}{2t}\right)f(s)ds$
	$\displaystyle=\displaystyle\frac{1}{\sqrt{\pi t}}\int_{0}^{\infty}\exp\left(-% \displaystyle\frac{r^{2}+s^{2}}{4t}\right)\displaystyle\frac{1}{2}\left(\exp% \left(\displaystyle\frac{rs}{2t}\right)+\exp\left(-\displaystyle\frac{rs}{2t}% \right)\right)f(s)ds$
	$\displaystyle=\displaystyle\frac{1}{2\sqrt{\pi t}}\int_{0}^{\infty}\left(\exp% \left(-\displaystyle\frac{(r-s)^{2}}{4t}\right)+\exp\left(-\displaystyle\frac{% (r+s)^{2}}{4t}\right)\right)f(s)ds$
	$\displaystyle=\displaystyle\frac{1}{2\sqrt{\pi t}}\left(\int_{0}^{\infty}\exp% \left(-\displaystyle\frac{(r-s)^{2}}{4t}\right)f(s)ds+\int_{-\infty}^{0}\exp% \left(-\displaystyle\frac{(r-s)^{2}}{4t}\right)\right)f(-s)ds$
	$\displaystyle=W(\widehat{f};r,t).$

3. The asymptotic expansion

To achieve our goal and to obtain a self contained exposure, we recall the following notions.

For factorial powers (falling respective rising factorial) we use the notations

u^{\underline{k}}=\prod_{\ell=0}^{k-1}(u-\ell),\quad u^{\overline{k}}=\prod_{% \ell=0}^{k-1}(u+\ell),\quad k\in\mathbb{N}.

An empty product $(k=0)$ is taken to be 1.

Kummer’s function of the first kind, also known as the confluent hypergeometric function of the first kind, is commonly denoted $M(a,b,z)$ or $\ {}_{1}F_{1}(a,b,z)$ and defined as follows

	$\displaystyle M(a,b,z)$	$\displaystyle\equiv\ _{1}F_{1}(a,b,z)=1+\displaystyle\frac{a}{b}z+% \displaystyle\frac{a(a+1)}{b(b+1)2!}z^{2}+\ldots$
		$\displaystyle=\sum_{k=0}^{\infty}\displaystyle\frac{a^{\overline{k}}}{b^{% \overline{k}}k!}z^{k},\ z\in\mathbb{C},$		(7)

see [5, Chapter 13]. If $b\in\mathbb{Z}\setminus\mathbb{N}$ , then $M$ is undefined. Otherwise the series is convergent for all $z\in\mathbb{C}$ .

Let us denote $e_{i}$ the monomials $e_{i}(x)=x^{i}$ , $i\in\mathbb{N}_{0}=\mathbb{N}\cup\{0\}$ . Clearly, $e_{i}\in E_{K}$ , for each $K$ . We determine all moments of the operator $W_{\alpha}$ .

Proposition 1.

Let $W_{\alpha}$ be defined by (4). For each $i\in\mathbb{N}_{0}$ the identity

W_{\alpha}(e_{i};r,t)=(4t)^{i/2}\exp\left(-\displaystyle\frac{r^{2}}{4t}\right% )\displaystyle\frac{\Gamma(\alpha+1+i/2)}{\Gamma(\alpha+1)}M\left(\alpha+1+% \displaystyle\frac{i}{2},\alpha+1,\displaystyle\frac{r^{2}}{4t}\right)

(8)

takes place, where $M$ stands for Kummer function (3). Moreover

W_{\alpha}(e_{i};r,t)\sim r^{i}\sum_{n=0}^{\infty}\displaystyle\frac{1}{n!}% \left(\displaystyle\frac{i}{2}\right)^{\underline{n}}\left(\alpha+% \displaystyle\frac{i}{2}\right)^{\underline{n}}\left(\displaystyle\frac{4t}{r^% {2}}\right)^{n}\quad(t\to 0^{+}).

(9)

Proof.

By a straightforward calculation we obtain

	$\displaystyle\quad\ W_{\alpha}(e_{i};r,t)$
	$\displaystyle=\displaystyle\frac{1}{2t}\left(\displaystyle\frac{1}{4t}\right)^% {\alpha}\exp\left(-\displaystyle\frac{r^{2}}{4t}\right)\sum_{k=0}^{\infty}% \displaystyle\frac{\Gamma(k+\alpha+1+i/2)}{k!\,\Gamma(k+\alpha+1)}\left(% \displaystyle\frac{r}{4t}\right)^{2k}2^{i+2\alpha+1+2k}t^{\alpha+1+k+i/2}$
	$\displaystyle=(4t)^{i/2}\exp\left(-\displaystyle\frac{r^{2}}{4t}\right)\sum_{k% =0}^{\infty}\displaystyle\frac{\Gamma(k+\alpha+1+i/2)}{k!\,\Gamma(k+\alpha+1)}% \left(\displaystyle\frac{r^{2}}{4t}\right)^{k}.$

By using Kummer function defined by (3) and the well-known relation

\Gamma(u+k)=\Gamma(u)u^{\overline{k}},\ u>0,\ k\in\mathbb{N}_{0},

we arrive at (8).

Further, we use the asymptotic expansion of Kummer function for large argument. To accomplish this, we use for example Digital Library of Mathematical Functions [18, Formulas 13.2.4, 13.7.1].

M(a,b,x)\sim\displaystyle\frac{\Gamma(b)}{\Gamma(a)}e^{x}x^{a-b}\sum_{n=0}^{% \infty}\displaystyle\frac{(b-a)^{\overline{n}}(1-a)^{\overline{n}}}{n!}x^{-n}% \quad(x\to\infty),\ a\not\in\mathbb{Z}\setminus\mathbb{N}_{0}.

Returning at (8) with $x=\displaystyle\frac{r^{2}}{4t}$ , we get

W_{\alpha}(e_{i};r,t)\sim r^{i}\sum_{n=0}^{\infty}\displaystyle\frac{1}{n!}% \left(-\displaystyle\frac{i}{2}\right)^{\overline{n}}\left(-\alpha-% \displaystyle\frac{i}{2}\right)^{\overline{n}}\left(\displaystyle\frac{4t}{r^{% 2}}\right)\quad(t\to 0^{+}).

Knowing that $(-u)^{\overline{n}}=(-1)^{n}u^{\underline{n}}$ , we obtain (9) and the proof is ended. ∎

Remark. i) Formula (9) means that

W_{\alpha}(e_{i};r,t)=e_{i}(r)+\sum_{n=1}^{q}\displaystyle\frac{1}{n!}\left(% \displaystyle\frac{i}{2}\right)^{\underline{n}}\left(\alpha+\displaystyle\frac% {i}{2}\right)^{\underline{n}}\left(\displaystyle\frac{4t}{r^{2}}\right)^{n}+o(% t^{q})\quad(t\to 0^{+})

for all $q\in\mathbb{N}$ .

ii) If $i=2k$ , $k\in\mathbb{N}$ , is an even integer, $W_{\alpha}\left(e_{2k};r,t\right)$ is a polynomial as a function of $r$ , since $M\left(\alpha+1+k,\alpha+1,\frac{r^{2}}{4t}\right)$ is a finite sum. The polynomials determined in this way are called radial heat polynomials (see [10]). For $k=0,1,2$ formula (8) easily leads us to the explicit formulas [16, Eq. (13)]

$\displaystyle W_{\alpha}\left(e_{0};r,t\right)$	$\displaystyle=$	$\displaystyle 1,$
$\displaystyle W_{\alpha}\left(e_{2};r,t\right)$	$\displaystyle=$	$\displaystyle r^{2}+4\left(\alpha+1\right)t,$
$\displaystyle W_{\alpha}\left(e_{4};r,t\right)$	$\displaystyle=$	$\displaystyle r^{4}+8\left(\alpha+2\right)r^{2}t+16\left(\alpha+1\right)\left(% \alpha+2\right)t^{2}.$

The first formula implies the fact that the operator reproduces the constants. In the special case $\alpha=-1/2$ we have the representation (see [14, Eq. (1.2)])

W_{-1/2}\left(e_{2k};r,t\right)=k!\sum_{j=0}^{\left\lfloor k/2\right\rfloor}% \frac{x^{k-2j}}{\left(k-2j\right)!}\frac{t^{j}}{j!}.

Further we introduce the $j$ -th central moments of $W_{\alpha}$ operator, $j\in\mathbb{N}_{0}$ , i.e., $W_{\alpha}\psi_{r}^{j}$ , where $\psi_{r}(s)=s-r$ , $s>0$ , $r>0$ .

Lemma 2.

For each $j\in\mathbb{N}$ , the operator $W_{\alpha}$ defined by (4) satisfies the relation

W_{\alpha}(\psi_{r}^{j};r,t)\sim C_{\alpha}(n,j)r^{j}\sum_{n=0}^{\infty}% \displaystyle\frac{1}{n!}\left(\displaystyle\frac{4t}{r^{2}}\right)^{n}\quad(t% \to 0^{+}),

(10)

where

C_{\alpha}(n,j)=\sum_{i=0}^{j}(-1)^{j-i}\displaystyle\binom{j}{i}\left(% \displaystyle\frac{i}{2}\right)^{\underline{n}}\left(\alpha+\displaystyle\frac% {i}{2}\right)^{\underline{n}}.

(11)

Proof.

Since $\psi_{r}^{j}(s)=\displaystyle\sum_{i=0}^{j}\displaystyle\binom{j}{i}(-r)^{j-i}% e_{i}(s)$ , based on relation (9) we can write

W_{\alpha}(\psi_{r}^{j};r,t)\sim\sum_{i=0}^{j}\displaystyle\binom{j}{i}(-r)^{j% -i}r^{i}\sum_{n=0}^{\infty}\displaystyle\frac{1}{n!}\left(\displaystyle\frac{i% }{2}\right)^{\underline{n}}\left(\alpha+\displaystyle\frac{i}{2}\right)^{% \underline{n}}\left(\displaystyle\frac{4t}{r^{2}}\right)^{n}\quad(t\to 0^{+}).

Using the coefficients defined in (11) we arrive at (10). ∎

Remark. Examining the coefficients $C_{\alpha}(n,j)$ , $j\in\mathbb{N}_{0}$ , we notice that they can be written as follows

	$\displaystyle C_{\alpha}(n,j)$	$\displaystyle=\sum_{i=0}^{j}(-1)^{j-i}\displaystyle\binom{j}{i}\left(% \displaystyle\frac{\partial}{\partial w}\right)^{n}\left[w^{n+\alpha}\left(% \displaystyle\frac{\partial}{\partial w}\right)^{n}w^{i/2}\right]\Big{\|}_{w=1}$
		$\displaystyle=\left(\displaystyle\frac{\partial}{\partial w}\right)^{n}\left[w% ^{n+\alpha}\left(\displaystyle\frac{\partial}{\partial w}\right)^{n}\left(% \sqrt{w}-1\right)^{j}\right]\Big{\|}_{w=1}.$		(12)

The following theorem is our main result. It presents a complete asymptotic expansion of the operators $W_{\alpha}(f;r,t)$ as $t\to 0^{+}$ , for functions $f\in E$ being sufficiently smooth at a point $r>0$ .

Theorem 3.

Let $W_{\alpha}$ be defined by (4) and $r>0,q\in\mathbb{N}$ be given. If $f\in E$ is $q$ times differentiable at $r$ , then

W_{\alpha}(f;r,t)=\sum_{n=0}^{q}\displaystyle\frac{1}{n!}\left(\displaystyle% \frac{4t}{r^{2}}\right)^{n}\sum_{j=0}^{2q}\displaystyle\frac{f^{(j)}(r)}{j!}r^% {j}C_{\alpha}(n,j)+o(t^{q})\quad(t\to 0^{+}),

(13)

where the coefficients $C_{\alpha}(n,j)$ , $j=0,\ldots,2q$ , are defined at (11).

If $f$ is a real analytic function, then

W_{\alpha}(f;r,t)\sim\sum_{n=0}^{\infty}c_{n}(\alpha,f,r)t^{n}\quad(t\to 0^{+}),

(14)

where

c_{n}(\alpha,f,r)=\displaystyle\frac{4^{n}}{n!r^{2n}}\left(\displaystyle\frac{% \partial}{\partial w}\right)^{n}\left[w^{n+\alpha}\left(\displaystyle\frac{% \partial}{\partial w}\right)^{n}f\left(r\sqrt{w}\right)\right]\Big{|}_{w=1}.

(15)

Proof.

Let $r>0$ and put $U_{\delta}\left(r\right)=\left(r-\delta,r+\delta\right)\cap\left[0,+\infty\right)$ , for $\delta>0$ . Let $\delta>0$ be given. Choose a function $\varphi\in C^{\infty}\left(\left[0,+\infty\right)\right)$ with $\varphi\left(x\right)=1$ on $U_{\delta}\left(r\right)$ and $\varphi\left(x\right)=0$ on $\left[0,+\infty\right)\setminus U_{2\delta}\left(r\right)$ . Put $\widetilde{f}=\varphi f$ . Then we have $\widetilde{f}\equiv f$ on $U_{\delta}\left(r\right)$ and $\widetilde{f}\equiv 0$ on $\left[0,+\infty\right)\setminus U_{3\delta}\left(r\right)$ . In particular $f^{\left(2q\right)}\left(r\right)=\widetilde{f}^{\left(2q\right)}\left(r\right)$ . By the localization theorem (Theorem 5), $W_{\alpha}\left(f-\widetilde{f};r,t\right)$ deceases exponentially fast as $t\rightarrow 0^{+}$ . Consequently, $\widetilde{f}$ and $f$ possess the same asymptotic expansion of the form $\left(\ref{asymptotic-expansion}\right)$ . Therefore, without loss of generality, we can assume that $f\equiv 0$ on $\left[0,+\infty\right)\setminus U_{3\delta}\left(r\right)$ . By Lemma 2, we have $W_{\alpha}\left(\psi_{r}^{2s};r,t\right)=O\left(t^{s}\right)$ as $t\rightarrow 0^{+}$ . Under these conditions, a general approximation theorem due to Sikkema [15, Theorem 3] implies that

W_{\alpha}(f;r,t)=\sum_{j=0}^{2q}\displaystyle\frac{f^{(j)}(r)}{j!}W_{\alpha}(% \psi_{r}^{j};r,t)+o(t^{q}),

see [15, Eq. (15)]. Taking in view (10), identity (13) is proved.

If $f$ is a real analytic function we have the possibility to write

f\left(r\sqrt{w}\right)=\sum_{j\geq 0}\displaystyle\frac{f^{(j)}(r)}{j!}\left(% r\sqrt{w}-r\right)^{j},\ w>0.

Further, with the help of (3), formula (13) can be rewritten in the form

	$\displaystyle\quad\ W_{\alpha}(f;r,t)$
	$\displaystyle=\sum_{n=0}^{q}\displaystyle\frac{1}{n!}\left(\displaystyle\frac{% 4t}{r^{2}}\right)^{n}\left(\displaystyle\frac{\partial}{\partial w}\right)^{n}% \left[w^{n+\alpha}\left(\displaystyle\frac{\partial}{\partial w}\right)^{n}f% \left(r\sqrt{w}\right)\right]\Big{\|}_{w=1}+o(t^{q})\quad(t\to 0^{+}).$

Consequently we get

W_{\alpha}(f;r,t)\sim\sum_{n=0}^{\infty}\displaystyle\frac{1}{n!}\left(% \displaystyle\frac{4t}{r^{2}}\right)^{n}\left(\displaystyle\frac{\partial}{% \partial w}\right)^{n}\left[w^{n+\alpha}\left(\displaystyle\frac{\partial}{% \partial w}\right)^{n}f\left(r\sqrt{w}\right)\right]\Big{|}_{w=1}\quad(t\to 0^% {+})

and (14) is substantiated. ∎

Applying formula (15) to find the first four coefficients of asymptotic expansion, we obtain the following values:

	$\displaystyle c_{0}(\alpha,f,r)$	$\displaystyle=f(r),$
	$\displaystyle c_{1}(\alpha,f,r)$	$\displaystyle=\displaystyle\frac{2\alpha+1}{r}f^{\prime}(r)+f^{\prime\prime}(r),$
	$\displaystyle c_{2}(\alpha,f,r)$	$\displaystyle=\displaystyle\frac{1-4\alpha^{2}}{2r^{3}}f^{\prime}(r)+% \displaystyle\frac{4\alpha^{2}-1}{2r^{2}}f^{\prime\prime}(r)+\displaystyle% \frac{2\alpha+1}{r}f^{\prime\prime\prime}(r)+\displaystyle\frac{1}{2}f^{(4)}(r),$
	$\displaystyle c_{3}(\alpha,f,r)$	$\displaystyle=(4\alpha^{2}\!-\!1)\left(\displaystyle\frac{2\alpha\!-\!3}{2r^{5% }}f^{\prime}(r)-\displaystyle\frac{2\alpha\!-\!3}{2r^{4}}f^{\prime\prime}(r)+% \displaystyle\frac{\alpha\!-\!3}{3r^{3}}f^{\prime\prime\prime}(r)+% \displaystyle\frac{1}{2r^{2}}f^{(4)}(r)\right)$
		$\displaystyle+\displaystyle\frac{2\alpha+1}{2r}f^{(5)}(r)+\displaystyle\frac{1% }{6}f^{(6)}(r).$

For the special case $\alpha=-1/2$ (nearly Gauss–Weierstrass operator, see (6)) the respective coefficients become

\begin{array}[]{ll}c_{0}(-1/2,f,r)=f(r),&c_{1}(-1/2,f,r)=f^{\prime\prime}(r),% \vskip 6.0pt plus 2.0pt minus 2.0pt\\ c_{2}(-1/2,f,r)=\displaystyle\frac{1}{2}f^{(4)}(r),&c_{3}(-1/2,f,r)=% \displaystyle\frac{1}{6}f^{(6)}(r).\end{array}

We have the following representation of the coefficients in the asymptotic expansion (cf. [3, Eq. (1.5)]).

Proposition 4.

For $\alpha=-1/2$ it holds

c_{n}\left(-1/2,f,r\right)=\frac{1}{n!}f^{\left(2n\right)}\left(r\right)

Proof.

Since the formula is of algebraic form it is sufficient to prove it for polynomial functions $f$ . For $f=e_{i}$ , we have

$\displaystyle c_{n}\left(-1/2,e_{i},r\right)$	$\displaystyle=$	$\displaystyle\left.\frac{4^{n}}{n!r^{2n}}\left(\frac{\partial}{\partial w}% \right)^{n}\left[w^{n-1/2}\left(\frac{\partial}{\partial w}\right)^{n}\left(r% \sqrt{w}\right)^{i}\right]\right\|_{w=1}$
	$\displaystyle=$	$\displaystyle\left.\frac{4^{n}r^{i}}{n!r^{2n}}\left(\frac{i}{2}\right)^{% \underline{n}}\left(\frac{\partial}{\partial w}\right)^{n}w^{i/2-1/2}\right\|_{% w=1}$
	$\displaystyle=$	$\displaystyle\frac{4^{n}r^{i-2n}}{n!}\left(\frac{i}{2}\right)^{\underline{n}}% \left(\frac{i-1}{2}\right)^{\underline{n}}$
	$\displaystyle=$	$\displaystyle\frac{4^{n}r^{i-2n}}{n!}\frac{i}{2}\frac{i-1}{2}\frac{i-2}{2}% \frac{i-3}{2}\cdots\frac{i-2n+2}{2}\frac{i-2n+1}{2}$
	$\displaystyle=$	$\displaystyle\frac{1}{n!}i^{\underline{2n}}r^{i-2n}=\frac{1}{n!}e_{i}^{\left(2% n\right)}\left(r\right).$

∎

At the end of this section it is worth mentioning that the first author obtained asymptotic expansions for various classes of approximation linear positive operators, see, e.g., [1], [2], as well as [3], [4].

4. Localization result

The purpose of this paragraph is to characterize the function $W_{\alpha}f$ according to its growth rate, where $f\in E_{K}$ has a specific property which means that it vanishes in a neighborhood of a fixed value $r>0$ . For the modified Bessel function defined by (2), Luke [13, Eq. (6.25)] proved the estimate

1<\Gamma(\alpha+1)\left(\displaystyle\frac{2}{z}\right)^{\alpha}I_{\alpha}(z)<% \cosh(z),\ z>0,\ \alpha>-\displaystyle\frac{1}{2}.

(16)

We emphasize that Ifantis and Siafarikas [11, Eq. (2.1)] gave more general bounds

\left(\displaystyle\frac{x}{y}\right)^{\alpha}\displaystyle\frac{\cosh(x)}{% \cosh(y)}<\displaystyle\frac{I_{\alpha}(x)}{I_{\alpha}(y)}<\left(\displaystyle% \frac{\cosh(x)}{\cosh(y)}\right)^{1/(2\alpha+2)},\ 0<x<y,\ \alpha>-% \displaystyle\frac{1}{2}.

(17)

From (2) is immediately deduced

\lim\limits_{x\to 0^{+}}x^{-\alpha}I_{\alpha}(x)=\displaystyle\frac{2^{-\alpha% }}{\Gamma(\alpha+1)}

and in this way, out of (17), inequalities (16) can be reobtained.

Knowing the particular value of $I_{-1/2}(z)$ , see (3), from the previous relations we can finally write

I_{\alpha}(z)\leq L(\alpha)z^{\alpha}e^{z},\ z>0,\ \alpha\geq-1/2,

(18)

where $L(\alpha)=2^{-\alpha}/\Gamma(\alpha+1)$ .

The following localization result has already been applied in the proof of Theorem 3. It is interesting in itself.

Theorem 5.

Let $W_{\alpha}$ be defined by (4). Let $r>0$ , $\delta>0$ be fixed. We consider the function $f\in E_{K}$ satisfying the condition

f(s)=0,\ s\in(r-\delta,r+\delta)\cap[0,\infty).

Then, it holds

W_{\alpha}(f;r,t)=\mathcal{O}\left(\exp\left(-\displaystyle\frac{\delta^{2}}{4% t}\right)\right)\quad(t\to 0^{+}).

(19)

Proof.

By (18), we have

	$\displaystyle 0$	$\displaystyle\leq\exp\left(-\displaystyle\frac{r^{2}+s^{2}}{4t}\right)I_{% \alpha}\left(\displaystyle\frac{rs}{2t}\right)$
		$\displaystyle\leq L(\alpha)\exp\left(-\displaystyle\frac{r^{2}+s^{2}}{4t}% \right)\left(\displaystyle\frac{rs}{2t}\right)^{\alpha}\exp\left(\displaystyle% \frac{rs}{2t}\right)$
		$\displaystyle=L(\alpha)\left(\displaystyle\frac{rs}{2t}\right)^{\alpha}\exp% \left(-\displaystyle\frac{(s-t)^{2}}{4t}\right).$

Considering the conditions verified by the function $f$ , we obtain

|W_{\alpha}(f;r,t)|\leq\displaystyle\frac{ML(\alpha)}{(2t)^{\alpha+1}}(I_{1}+I% _{2}),

(20)

where

	$\displaystyle I_{1}$	$\displaystyle:=\int_{0}^{\max\{0,r-\delta\}}s^{2\alpha+1}\exp\left(-% \displaystyle\frac{(s-r)^{2}}{4t}\right)e^{Ks^{2}}ds,$
	$\displaystyle I_{2}$	$\displaystyle:=\int_{r+\delta}^{\infty}s^{2\alpha+1}\exp\left(-\displaystyle% \frac{(s-r)^{2}}{4t}\right)e^{Ks^{2}}ds.$

At first we estimate $I_{2}$ . A change of variable leads to

I_{2}=\int_{\delta}^{\infty}(s+r)^{2\alpha+1}\exp\left(-\displaystyle\frac{s^{% 2}}{4t}+K(s+r)^{2}\right)ds.

Next we consider $t>0$ small enough, for example $t<(8K)^{-1}$ .

For each $m>1$ , the derivative

		$\displaystyle\quad\ \displaystyle\frac{\partial}{\partial s}\left[(s+r)^{m}% \exp\left(-\displaystyle\frac{s^{2}}{4t}+K(s+r)^{2}\right)\right]$
		$\displaystyle=\left[m\!+\!(s\!+\!r)\!\left(-\displaystyle\frac{2s}{4t}+2K(s\!+% \!r)\right)\!\right]\!(s\!+\!r)^{m-1}\exp\!\left(-\displaystyle\frac{s^{2}}{4t% }+K(s\!+\!r)^{2}\right)$		(21)

has a unique positive zero, say $s(t)$ , where

s(t)=\displaystyle\frac{1}{2}(4Kt-1)^{-1}(r-8Krt-((8Krt-r)^{2}-8(4Kt-1)(2Kr^{2% }+m)t)^{1/2}).

As a function of $t$ , $s(t)$ tends to 0 when $t\to 0^{+}$ . Therefore, we can assume that $0<s(t)<\delta$ . Relation (4) and the above statements imply that the function $h_{r}$ ,

h_{r}(s)=(s+r)^{2\alpha+1}\exp\left(-\displaystyle\frac{s^{2}}{4t}+K(s+r)^{2}\right)

is monotonically decreasing. Consequently, for $s\geq\delta$ we have

	$\displaystyle I_{2}$	$\displaystyle\leq(\delta+r)^{2\alpha+3}\exp\left(-\displaystyle\frac{\delta^{2% }}{4t}+K(\delta+r)^{2}\right)\int_{\delta}^{\infty}(s+r)^{-2}ds$
		$\displaystyle=(\delta+r)^{2\alpha+2}\exp(K(\delta+r)^{2})\exp\left(-% \displaystyle\frac{\delta^{2}}{4t}\right)$
		$\displaystyle=\mathcal{O}\left(\exp\left(-\displaystyle\frac{\delta^{2}}{4t}% \right)\right)\quad(t\to 0^{+}).$

We turn to the integral $I_{1}$ . In the case $r\leq\delta$ there is nothing to prove. If $r>\delta$ , we have

I_{1}\leq(r-\delta)(r-\delta)^{2\alpha+1}\max_{0\leq s\leq r-\delta}\exp\left(% -\displaystyle\frac{(s-r)^{2}}{4t}+Ks^{2}\right).

Because $-(s-r)^{2}\leq-\delta^{2}$ , for $0\leq s\leq r-\delta$ , we infer that

I_{1}\leq r^{2\alpha+2}e^{Kr^{2}}\exp\left(-\displaystyle\frac{\delta^{2}}{4t}% \right).

Combining the estimates of the integrals $I_{1}$ and $I_{2}$ , from (20) the statement (19) is proved. ∎

We note that Wachnicki [16, Lemma 2 and Lemma 3] showed that

\lim_{t\rightarrow 0^{+}}\int_{0}^{r-\delta}K_{\alpha}\left(r,s,t\right)e^{Ks^% {2}}ds=0

uniformly on $r\in\left[\alpha,\beta\right]$ , for $0<\alpha<\delta<\beta$ , and

\lim_{t\rightarrow 0^{+}}\int_{r+\delta}^{+\infty}K_{\alpha}\left(r,s,t\right)% e^{Ks^{2}}ds=0

uniformly on $r\in\left(0,\beta\right]$ , for $\beta>0$ , which implies the weaker estimate

W_{\alpha}\left(f;r,t\right)=o\left(1\right)\text{ \qquad}\left(t\rightarrow 0% ^{+}\right).

References

[1] Abel, U., A Voronovskaya type result for simultaneous approximation by Bernstein–Chlodovsky polynomials, Results Math., 74(2019), Article number 117.
[2] Abel, U., Voronovskaja type theorems for positive linear operators related to squared fundamental functions, In: Constructive Theory of Functions, Sozopol 2019 (B. Draganov, K. Ivanov, G. Nikolov and R. Uluchev, Eds.), pp. 1-21, Prof. Marin Drinov Publishing House of Bas, Sofia, 2020.
[3] Abel, U., Agratini, O., Păltănea, R., A complete asymptotic expansion for the quasi-interpolants of Gauss–Weierstrass operators, Mediterr. J. Math., 15(2018), Article number 156.
[4] Abel, U., Karsli, H., A complete asymptotic expansion for Bernstein-Chodovsky polynomials for functions on $\mathbb{R}$ , Mediterr. J. Math., 17(2020), Article number 201.
[5] Abramowitz, M., Stegun, I.A. (Eds.), Handbook of Mathematical Functions with Formulas, Graphs and Mathematical Tables, National Bureau of Standards Applied Mathematics Series 55, Issued June 1964, Tenth Printing, December 1972, with corrections.
[6] Altomare, F., Campiti, M., Korovkin-type Approximation Theory and its Applications, de Gruyter Series Studies in Mathematics, Vol. 17, Walter de Gruyter & Co., Berlin, New York, 1994.
[7] Altomare, F., Sabina, M., Integral-type operators on continuous function spaces on the real line, J. Approx. Theory, 152(2008), no. 2, 107-124.
[8] Aral, A., Gal, S.G., q-Generalizations of the Picard and Gauss–Weierstrass singular integrals, Taiwanese J. Math., 12(2008), No. 9, 2051–2515.
[9] Bardaro, C., Mantellini, I., Uysal, G., Yilmaz, B., A class of integral operators that fix exponential functions, Mediterr. J. Math., 18(2021), Article number 179.
[10] Bragg, L. R., The radial heat polynomials and related functions, Trans. Amer. Math. Soc. 119(1965), 270–290.
[11] Ifantis, E.K., Siafarikas, P.D., Bounds for modified Bessel functions, Rend. Circ. Mat. Palermo, Serie II, 40(1991), No. 3, 347–356.
[12] Krech, G., Krech, I., On some bivariate Gauss–Weierstrass operators, Constr. Math. Anal., 2(2019), No. 2, 57–63.
[13] Luke, Y.L., Inequalities for generalized hypergeometric functions, J. Approx. Theory, 5(1972), 41–65.
[14] Rosenbloom, P., Widder, D. V., Expansions in heat polynomials and associated functions, Trans. Amer. Math. Soc. 92(1959), 220–266
[15] Sikkema, P.C., On some linear positive operators, Indag. Math., 32(1970), 327–337.
[16] Wachnicki, E., On a Gauss–Weierstrass generalized integral, Rocznik Naukowo-Dydaktyczny Akademii Pedagogícznej W Krakowie, Prace Matematyczne, 17(2000), 251–263.
[17] Yilmaz, B., Approximation properties of modified Gauss–Weierstrass integral operators in exponential weighted $L_{p}$ spaces, Facta Universitas (Nis̆), Ser. Math. Inform., 36(2021), No. 1, 89–100.
[18] Digital Library of Mathematical Functions, https://dlmf.nist.gov

[1] Abel, U.: A Voronovskaya type result for simultaneous approximation by Bernstein–Chlodovsky polynomials. Results Math. 74, Article number 117 (2019) Google Scholar
[2] Abel, U.: Voronovskaja type theorems for positive linear operators related to squared fundamental functions. In: Draganov, B., Ivanov, K., Nikolov, G., Uluchev, R. (eds.) Constructive Theory of Functions, Sozopol 2019, pp. 1–21. Prof. Marin Drinov Publishing House of Bas, Sofia (2020) Google Scholar
[3] Abel, U., Ivan, M.: Simultaneous approximation by Altomare operators. Suppl. Rend. Circ. Mat. Palermo 82(2), 177–193 (2010) MathSciNet MATH Google Scholar
[4] Abel, U., Ivan, M.: Complete asymptotic expansions for Altomare operators. Mediterr. J. Math. 10, 17–29 (2013) CrossRef MathSciNet MATH Google Scholar
[5] Abel, U., Karsli, H.: A complete asymptotic expansion for Bernstein-Chodovsky polynomials for functions on $R$ Mediterr. J. Math., 17, Article number 201 (2020) Google Scholar
[6] Abel, U., Agratini, O., Păltănea, R.: A complete asymptotic expansion for the quasi-interpolants of Gauss–Weierstrass operators. Mediterr. J. Math. 15, Article number 156 (2018) Google Scholar
[7] Abramowitz, M., Stegun, I.A. (eds.): Handbook of Mathematical Functions with Formulas, Graphs and Mathematical Tables. National Bureau of Standards Applied Mathematics Series, vol. 55. Tenth Printing (Issued, June 1964) (With corrections, December 1972) Google Scholar
[8] Altomare, F., Campiti, M.: Korovkin-type Approximation Theory and its Applications. de Gruyter Series Studies in Mathematics, vol. 17. Walter de Gruyter, Berlin/New York (1994) Google Scholar
[9] Altomare, F., Milella, S.: Integral-type operators on continuous function spaces on the real line. J. Approx. Theory 152(2), 107–124 (2008) CrossRef MathSciNet MATH Google Scholar
[10] Aral, A., Gal, S.G.: q-Generalizations of the Picard and Gauss–Weierstrass singular integrals. Taiwanese J. Math. 12(9), 2051–2515 (2008) Google Scholar
[11] Bardaro, C., Mantellini, I., Uysal, G., Yilmaz, B.: A class of integral operators that fix exponential functions. Mediterr. J. Math. 18, Article number 179 (2021) Google Scholar
[12] Bragg, L.R.: The radial heat polynomials and related functions. Trans. Am. Math. Soc. 119, 270–290 (1965) CrossRef MathSciNet MATH Google Scholar
[13] Ifantis, E.K., Siafarikas, P.D.: Bounds for modified Bessel functions. Rend. Circ. Mat. Palermo II 40(3), 347–356 (1991) CrossRef MathSciNet MATH Google Scholar
[14] Krech, G., Krech, I.: On some bivariate Gauss–Weierstrass operators. Constr. Math. Anal. 2(2), 57–63 (2019) MathSciNet MATH Google Scholar
[15] Luke, Y.L.: Inequalities for generalized hypergeometric functions. J. Approx. Theory, 5, 41–65 (1972) CrossRef MathSciNet MATH Google Scholar
[16] NIST Digital Library of Mathematical Functions. F. W. J. Olver, A. B. Olde Daalhuis, D. W. Lozier, B. I. Schneider, R. F. Boisvert, C. W. Clark, B. R. Miller, B. V. Saunders, H. S. Cohl, and M. A. McClain, eds. https://dlmf.nist.gov
[17] Rosenbloom, P., Widder, D. V.: Expansions in heat polynomials and associated functions. Trans. Am. Math. Soc. 92, 220–266 (1959) CrossRef MathSciNet MATH Google Scholar
[18] Sikkema, P.C.: On some linear positive operators. Ind. Math. 32, 327–337 (1970) CrossRef MathSciNet MATH Google Scholar
[19] Wachnicki, E.: On a Gauss–Weierstrass generalized integral. Rocznik Nauk.-Dydakt. Akad. Pedagogícznej W Krakow. Prace Mat. 17(2000), 251–263 MathSciNet MATH Google Scholar
[20] Yilmaz, B.: Approximation properties of modified Gauss–Weierstrass integral operators in exponential weighted L_p spaces. Facta Univ. (Nis̆) Ser. Math. Inform. 36(1), 89–100 (2021)

2022

On some control problems for Kolmogorov type systems

October 14, 2022

Componentwise localization of solutions to systems of operator inclusions via Harnack type inequalities

September 7, 2022

On some convex combinations of biholomorphic mappings in several complex variables

February 21, 2023

On Wachnicki’s Generalization of the Gauss–Weierstrass Integral

Abstract

Authors

Keywords

Paper coordinates

PDF

About this paper

Journal

Publisher Name

DOI

Print ISSN

Online ISSN

Paper (preprint) in HTML form

On Wachnicki’s generalization of the Gauss–Weierstrass integral

Abstract.

1. Introduction

2. The operators

3. The asymptotic expansion

Proposition 1.

Proof.

Lemma 2.

Proof.

Theorem 3.

Proof.

Proposition 4.

Proof.

4. Localization result

Theorem 5.

Proof.

References

References

Related Posts