Weighted approximation by double singular integral operators with radially defined kernels

Abstract

In this study, we present some results on the weighted pointwise convergence of a family of singular integral operators with radial kernels given in the following form:

$$\begin{aligned} L_{\lambda }\left( f;x,y\right) =\underset{ \mathbb {R} ^{2}}{\iint }f\left( t,s\right) H_{\lambda }\left( t-x,s-y\right) \mathrm{d}s\,\mathrm{d}t,\quad \left( x,y\right) \in \mathbb {R} ^{2},\quad \lambda \in \Lambda , \end{aligned}$$

where $\Lambda$ is a set of non-negative numbers with accumulation point $\lambda _{0}$, and the function f is measurable on $\mathbb {R} ^{2}$ in the sense of Lebesgue.

Introduction

The approximation of functions by integral operators with positive definite kernels is widely used in many branches of mathematics, such as approximation theory, representation theory, theory of differential equations, Fourier analysis, and singular integral theory. Besides, it is well known that Fourier analysis is used and has many applications in medicine and engineering; more specifically, magnetic resonance imaging (MRI) and fingerprint identification are the familiar examples in those areas, respectively. Particulary, the great importance of singular integral theory, which originated in Fourier analysis, must be emphasized here. In the construction stage of Fourier series of the functions, the following integral is obtained at the end of consecutive operations, that is

$$\begin{aligned} L_{\lambda }\left( f;x\right) =\underset{-\pi }{\overset{\pi }{\int }}f\left( t\right) K_{\lambda }\left( t,x\right) \mathrm{d}t,\quad x\in [-\pi ,\pi ], \quad \lambda \in \mathbb {N}, \end{aligned}$$

(1)

where $K_{\lambda }\left( t\right)$ denotes a kernel satisfying some conditions similar to usual approximate identities. Singular integrals consist of the different settings of the operators of type (1) with an appropriate singularity assumption on the kernel. For mentioned applications and related other applications concerning the usage of approximation theory in natural and applied sciences, the authors refer to [1–11].

The pointwise approximation problem may be seen as a problem of representing functions at some characteristic points, such as point of continuity, Lebesgue point, generalized Lebesgue point, and $\mu$-generalized Lebesgue point. $\mu$-generalized Lebesgue point, among others, comes to the fore. Actually, depending on the choice of the function $\mu \left( t\right)$, definitions of the remaining points can be easily obtained. In practice, there are two major investigation methods related to the pointwise convergence of integral-type operators, such as operators of type (1).

The first method can be described as fixing the variable x within the operator of type (1). In other words, we pick a point in the domain of integration and it represents all other points of the same kind. Therefore, the convergence of the operator is investigated almost everywhere in the domain of integration. This method is used in many works, such as Rydzewska [12], Mamedov [13], Butzer and Nessel [14], and Uysal et al. [15].

The second method also known as Fatou-type convergence can be described as restricting the pointwise convergence to some subsets of the plane [16]. Therefore, a sensitive convergence analysis is obtained. For some studies related to Fatou-type convergence, the authors refer to [16–18].

Now, we summarize some of the works in which this method is harnessed.

In [19], Taberski, who indicated the importance of singular integrals in Fourier series in his works, investigated the pointwise approximation of periodic and integrable functions on $\left\langle -\pi ,\pi \right\rangle ,$ where $\left\langle -\pi ,\pi \right\rangle$ is an arbitrary closed, semi-closed, or open interval. The work used a two parameter family of singular integral operators of the form:

$$\begin{aligned} L_{\lambda }\left( f;x\right) =\underset{-\pi }{\overset{\pi }{\int }} f\left( t\right) K_{\lambda }\left( t-x\right) \mathrm{d}t,\quad x\in \left\langle -\pi ,\pi \right\rangle , \quad \lambda \in \Lambda , \end{aligned}$$

(2)

where $K_{\lambda }: \mathbb {R} \rightarrow \mathbb {R} _{0}^{+}$ denotes a family of periodic kernels satisfying suitable conditions, and $\Lambda$ is a given set of non-negative numbers with accumulation point $\lambda _{0}$.

Taberski [20], which gave enthusiasm to researchers, advanced his analysis to double singular integral operators of the form:

$$\begin{aligned} L_{\lambda }\left( f;x,y\right) =\underset{Q}{\iint }f\left( t,s\right) H_{\lambda }\left( t-x,s-y\right) \mathrm{d}s\,\mathrm{d}t,\quad \left( x,y\right) \in Q, \end{aligned}$$

(3)

where $Q=\left\langle -\pi ,\pi \right\rangle \times \left\langle -\pi ,\pi \right\rangle$ is an arbitrary closed, semi-closed, or open region, $H_{\lambda }: \mathbb {R} ^{2}\rightarrow \mathbb {R} _{0}^{+}$ stands for a family of kernels, and $\lambda \in \Lambda$ is a set of non-negative numbers with accumulation point $\lambda _{0}$. Indicated paper also contains two-dimensional generalization of well-known Natanson’s lemma. Then, Siudut [21, 22] presented considerable theorems by the aid of these results. Note that Rydzewska [23] also improved her previous work [12] using the results of [20], and she obtained the rate of convergence of the operators of type (3). Later on, Taberski [24] obtained the weighted pointwise approximation of some integral operators using a weight function satisfying some conditions. Moreover, this study was seen as a continuation and two-dimensional analogue of [25]. In recent papers [26–28], the kernel functions within the operators of type (3) were defined as radial functions and the domains of integration were replaced by an arbitrary region $\left\langle a,b\right\rangle \times \left\langle c,d\right\rangle .$ As concerns the study of integral operators in several settings, the reader may also see [29–35].

This study is a continuation and further generalization of [26]. Besides, the current manuscript deals with Fatou-type pointwise convergence of a family of singular integral operators with radial kernels given in the following form:

$$\begin{aligned} L_{\lambda }\left( f;x,y\right) =\underset{ \mathbb {R} ^{2}}{\iint }f\left( t,s\right) H_{\lambda }\left( t-x,s-y\right) \mathrm{d}s\mathrm{d}t, \quad \left( x,y\right) \in \mathbb {R} ^{2},\quad \lambda \in \Lambda , \end{aligned}$$

(4)

where $H_{\lambda }\left( t-x,s-y\right) =K_{\lambda }(\sqrt{ (t-x)^{2}+(s-y)^{2}}),$ and $\Lambda$ is a set of non-negative numbers with accumulation point $\lambda _{0}$. Here, $f\in L_{1,\varphi }( \mathbb {R} ^{2})$ and $L_{1,\varphi }( \mathbb {R} ^{2})$ are the space of all measurable functions for which $\left| \frac{f }{\varphi }\right|$ is integrable provided $\varphi : \mathbb {R} ^{2}\rightarrow \mathbb {R} ^{+}$ is a weight function which is bounded on any bounded subset of $\mathbb {R} ^{2}.$

The paper is organized as follows: In Sect. 2, we introduce the fundamental definitions. In Sect. 3, we prove the pointwise convergence of $L_{\lambda }\left( f;x,y\right)$ to $f\left( x_{0},y_{0}\right)$. In Sect. 4, we establish the rate of convergence of the operators of type $\left( 4\right)$.

Preliminaries

In this section, we introduce the main definitions used in this paper.

Definition 1

A function $H\in L_{1}\left( \mathbb {R}^{2}\right)$ is said to be radial if there exists a function $K: \mathbb {R} _{0}^{+}\rightarrow \mathbb {R}$, such that $H\left( t,s\right) =K\left( \sqrt{t^{2}+s^{2}}\right)$ almost everywhere [36].

Now, we give another characterization of $\mu$-generalized Lebesgue point using the $\mu$-generalized Lebesgue point definition given in [23].

Definition 2

Let $\delta _{0}>0$ be an arbitrary fixed real number. A $\mu$-generalized Lebesgue point of a locally integrable function $g: \mathbb {R} ^{2}\rightarrow \mathbb {R}$ is a point $\left( x_{0},y_{0}\right) \in \mathbb {R} ^{2}$ satisfying

$$\begin{aligned} \underset{\left( h,k\right) \rightarrow \left( 0,0\right) }{\lim }\frac{1}{ \mu _{1}(h)\mu _{2}(k)}\overset{h}{\underset{0}{\int }}\overset{k}{\underset{ 0}{\int }}\left| g\left( t+x_{0},s+y_{0}\right) -g\left( x_{0},y_{0}\right) \right| \mathrm{d}s\mathrm{d}t=0, \end{aligned}$$

where $\mu _{1} (h) = \int_{0}^{h} {\rho _{1} (t){\text{d}}t} >0,$ $0<h<\delta _{0}$ and $\rho _{1}(t)$ is an integrable and non-negative function on $\left[ 0,\delta _{0}\right]$, and similarly, $\mu _{2}(k)=\int_{0}^{k}\rho _{2}(s){\mathrm{d}}s>0,$ $0<k<\delta _{0}$ and $\rho _{2}(s)$ is an integrable and non-negative function on $\left[ 0,\delta _{0}\right] .$

Example 1

Let $f: \mathbb {R} ^{2}\rightarrow \mathbb {R}$ is given as follows:

$$\begin{aligned} f(t,s)=\left\{ \begin{array}{l} \frac{1}{\sqrt{\left| t\right| \left| s\right| }},\quad \mathrm{if}\,ts\ne 0, \\ 1,\quad \mathrm{if}\,ts=0. \end{array} \right. \end{aligned}$$

and $\varphi : \mathbb {R} ^{2}\rightarrow \mathbb {R} ^{+}$ is given by $\varphi (t,s)=(1+\left| t\right| )(1+\left| s\right| )$. Therefore, we have

$$\begin{aligned} \frac{f(t,s)}{\varphi (t,s)}=\left\{ \begin{array}{l} \frac{1}{(1+\left| t\right| )(1+\left| s\right| )}, \quad \mathrm{if}\,ts =0, \\ \frac{1}{\sqrt{\left| t\right| }(1+\left| t\right| )\sqrt{ \left| s\right| }(1+\left| s\right| )},\quad \mathrm{if}\,ts\ne 0. \end{array} \right. \end{aligned}$$

Using the definition of $\mu$-generalized Lebesgue point and taking $\rho _{1}(t)=\left\{ t^{\frac{1}{4}}e^{t}\right\} _{t}^{\prime }$ and $\rho _{2}(s)=\left\{ s^{\frac{1}{4}}e^{s}\right\} _{s}^{\prime },$ we see that origin is a $\mu$-generalized Lebesgue point of $f\in L_{1,\varphi }( \mathbb {R} ^{2}).$ On the other hand, one can check that origin is not a generalized Lebesgue point for any choice of $\alpha \in [0,1)$. Therefore, this example shows that the nature of $\mu -$generalized Lebesgue point depends on $\rho _{1}(t)$ and $\rho _{2}(s).$ For the analysis of one-dimensional counterpart of the function $\frac{f}{\varphi },$ we refer the reader to see [37].

Definition 3

$\left( Class\,A_{\varphi }\right)$ Let $H_{\lambda }:\mathbb {R}^{2}\rightarrow \mathbb {R}_{0}^{+}$ be a radial function, i.e., there exists a function $K_{\lambda }: \mathbb {R} _{0}^{+}\rightarrow \mathbb {R} _{0}^{+}$, such that $H_{\lambda }(t,s):=K_{\lambda }\left( \sqrt{t^{2}+s^{2}} \right)$ holds for almost everywhere on $\mathbb {R} ^{2}$ for each fixed $\lambda \in \Lambda .$ Furthermore, let $H_{\lambda }: \mathbb {R}^{2}\rightarrow \mathbb {R}_{0}^{+}$ be a family of radial kernels, which are integrable on $\mathbb {R} ^{2}$ and the weight function $\varphi : \mathbb {R} ^{2}\rightarrow \mathbb {R} ^{+},$ which is bounded on arbitrary bounded subsets of $\mathbb {R} ^{2},$ satisfies the following inequality:

$$\begin{aligned} \varphi (u+t,v+s)\le \varphi (u,v)\varphi (t,s),(u,v)\in \mathbb {R} ^{2},(t,s)\in \mathbb {R} ^{2}, \end{aligned}$$

(5)

and there hold:

• a. For any given $(x_{0},y_{0})\in \mathbb {R} ^{2}$

  $$\begin{aligned} \underset{(x,y,\lambda )\rightarrow (x_{0},y_{0},\lambda _{0})}{\lim }\frac{1 }{\varphi (x_{0},y_{0})}\underset{ \mathbb {R} ^{2}}{\iint }\varphi (t,s)K_{\lambda }\left( \sqrt{\left( t-x\right) ^{2}+\left( s-y\right) ^{2}}\right) \mathrm{d}s\mathrm{d}t=1. \end{aligned}$$

• b. $\forall \xi >0,$

  $$\begin{aligned} \underset{\lambda \rightarrow \lambda _{0}}{\lim }\underset{\xi \le \sqrt{ (t^{2}+s^{2}}}{\sup }\left[ \varphi (t,s)K_{\lambda }\left( \sqrt{t^{2}+s^{2} }\right) \right] =0. \end{aligned}$$

• c. $\forall \xi >0,$

  $$\begin{aligned} \underset{\lambda \rightarrow \lambda _{0}}{\lim }\left[ \underset{\xi \le \sqrt{t^{2}+s^{2}}}{\iint }\varphi (t,s)K_{\lambda }\left( \sqrt{t^{2}+s^{2}} \right) \mathrm{d}s\mathrm{d}t\right] =0. \end{aligned}$$

• d. $H_{\lambda }\left( t,s\right)$ is monotonically increasing with respect to s on $(-\infty ,0]$, and similarly, $H_{\lambda }\left( t,s\right)$ is monotonically increasing with respect to t on $(-\infty ,0]$ for any $\lambda \in \Lambda .$ Analogously, $H_{\lambda }\left( t,s\right)$ is bimonotonically increasing with respect to (t,s) on $[0,\infty )\times [0,\infty )$ and $(-\infty ,0]\times (-\infty ,0]$ and bimonotonically decreasing with respect to (t,s) on $[0,\infty )\times (-\infty ,0]$ and $(-\infty ,0]\times [0,\infty )$ for any $\lambda \in \Lambda .$

• e. $\left\| \varphi K_{\lambda }\right\| _{L_{1}( \mathbb {R} ^{2})}\le M<\infty ,$ for all $\lambda \in \Lambda .$

• f. For fixed $(t_{0},s_{0})\in \mathbb {R} ^{2},$ $H_{\lambda }\left( t_{0},s_{0}\right)$ tends to infinity, as $\lambda$ tends to $\lambda _{0}.$

Note that throughout this paper, we suppose that the function $H_{\lambda }\left( t,s\right)$ belongs to class $A_{\varphi }$.

Remark 1

If the function $g: \mathbb {R} ^{2}\rightarrow \mathbb {R}$ is bimonotonically increasing on $[\alpha _{1},\alpha _{2}]\times [\beta _{1},\beta _{2}]\subset \mathbb {R} ^{2},$ then the following equality

$$\begin{aligned} V(g;[\alpha _{1},\alpha _{2}]\times [\beta _{1},\beta _{2}])= & {} \overset{\alpha _{2}}{\underset{\alpha _{1}}{\bigvee }}\overset{\beta _{2}}{ \underset{\beta _{1}}{\bigvee }}\left( g(t,s)\right) \\= & {} g(\alpha _{1},\beta _{1})-g(\alpha _{1},\beta _{2})-g(\alpha _{2},\beta _{1})+g(\alpha _{2},\beta _{2}) \end{aligned}$$

holds. On the other hand, if the function $g: \mathbb {R} ^{2}\rightarrow \mathbb {R}$ is bimonotonically decreasing on $[\alpha _{1},\alpha _{2}]\times [\beta _{1},\beta _{2}]\subset \mathbb {R} ^{2},$ then the following equality

$$\begin{aligned} V(g;[\alpha _{1},\alpha _{2}]\times [\beta _{1},\beta _{2}])= & {} \overset{\alpha _{2}}{\underset{\alpha _{1}}{\bigvee }}\overset{\beta _{2}}{ \underset{\beta _{1}}{\bigvee }}\left( g(t,s)\right) \\= & {} g(\alpha _{1},\beta _{2})-g(\alpha _{1},\beta _{1})-g(\alpha _{2},\beta _{2})+g(\alpha _{2},\beta _{1}) \end{aligned}$$

holds [20, 38].

Convergence at characteristic points

The following lemma gives the existence of the operators defined by (4).

Lemma 1

If $f\in L_{1,\varphi }( \mathbb {R} ^{2})$, then the operator $L_{\lambda }\left( f;x,y\right)$ defines a continuous transformation acting on  $L_{1,\varphi }( \mathbb {R} ^{2}).$

Proof

Since $L_{\lambda }(f;x,y)$ is linear, it is sufficient to show that the expression given by

$$\begin{aligned} \left\| L_{\lambda }\right\| _{\varphi }=\underset{f\ne 0}{\sup } \frac{\left\| L_{\lambda }(f;x,y)\right\| _{L_{1,\varphi }( \mathbb {R} ^{2})}}{\left\| f\right\| _{L_{1,\varphi }( \mathbb {R} ^{2})}} \end{aligned}$$

is bounded.

The following expression

$$\begin{aligned} \left\| f\right\| _{L_{1,\varphi }( \mathbb {R} ^{2})}=\underset{ \mathbb {R} ^{2}}{\iint }\left| \frac{f(t,s)}{\varphi (t,s)}\right| \mathrm{d}s\,\mathrm{d}t, \end{aligned}$$

(6)

defines a norm in the space $L_{1,\varphi }( \mathbb {R} ^{2})$ [24]. Using inequality (5) and Fubini’s theorem [14], we have

$$\begin{aligned} \left\| L_{\lambda }(f;x,y)\right\| _{L_{1,\varphi }( \mathbb {R} ^{2})}= & {} \underset{ \mathbb {R} ^{2}}{\iint }\frac{1}{\varphi (x,y)}\left| \underset{ \mathbb {R} ^{2}}{\iint }f(t,s)H_{\lambda }\left( t-x,s-y\right) \mathrm{d}s\,\mathrm{d}t\right| \mathrm{d}y\,\mathrm{d}x \\= & {} \underset{ \mathbb {R} ^{2}}{\iint }\frac{1}{\varphi (x,y)}\left| \underset{ \mathbb {R} ^{2}}{\iint }f(t,s)K_{\lambda }\left( \sqrt{\left( t-x\right) ^{2}+\left( s-y\right) ^{2}}\right) \mathrm{d}s\mathrm{d}t\right| \mathrm{d}y\,\mathrm{d}x \\\le & {} \underset{ \mathbb {R} ^{2}}{\iint }\frac{1}{\varphi (x,y)}\left( \underset{ \mathbb {R} ^{2}}{\iint }\left| f(t+x,s+y)\right| K_{\lambda }\left( \sqrt{ t^{2}+s^{2}}\right) \mathrm{d}s\,\mathrm{d}t\right) \mathrm{d}y\,\mathrm{d}x \\= & {} \underset{ \mathbb {R} ^{2}}{\iint }K_{\lambda }\left( \sqrt{t^{2}+s^{2}}\right) \left( \underset{ \mathbb {R} ^{2}}{\iint }\left| \frac{f(t+x,s+y)}{\varphi (x,y)}\right| \mathrm{d}y\,\mathrm{d}x\right) \mathrm{d}s\,\mathrm{d}t\\= & {} \underset{ \mathbb {R} ^{2}}{\iint }K_{\lambda }\left( \sqrt{t^{2}+s^{2}}\right) \left( \underset{ \mathbb {R} ^{2}}{\iint }\left| \frac{f(t+x,s+y)}{\varphi (x,y)}\right| \frac{ \varphi (t+x,s+y)}{\varphi (t+x,s+y)}\mathrm{d}y\,\mathrm{d}x\right) \mathrm{d}s\,\mathrm{d}t \\\le & {} \underset{ \mathbb {R} ^{2}}{\iint }K_{\lambda }\left( \sqrt{t^{2}+s^{2}}\right) \left( \underset{ \mathbb {R} ^{2}}{\iint }\left| \frac{f(t+x,s+y)}{\varphi (t+x,s+y)}\right| \frac{\varphi (x,y)\varphi (t,s)}{\varphi (x,y)}\mathrm{d}y\,\mathrm{d}x\right) \mathrm{d}s\,\mathrm{d}t \\= & {} \underset{ \mathbb {R} ^{2}}{\iint }K_{\lambda }\left( \sqrt{t^{2}+s^{2}}\right) \varphi (t,s)\mathrm{d}s\,\mathrm{d}t \underset{ \mathbb {R} ^{2}}{\iint }\left| \frac{f(t+x,s+y)}{\varphi (t+x,s+y)}\right| \mathrm{d}y\,\mathrm{d}x \\\le & {} M\left\| f\right\| _{L_{1,\varphi }( \mathbb {R} ^{2})}. \end{aligned}$$

Thus, the proof is completed. $\square$

The following theorem gives a Fatou-type pointwise convergence of the integral operators of type (4) at $\mu$-generalized Lebesgue point of $f\in L_{1,\varphi }( \mathbb {R} ^{2}).$

Theorem 1

If $\left( x_{0},y_{0}\right)$ is a $\mu$-generalized Lebesgue point of $f\in L_{1,\varphi }\left( \mathbb {R} ^{2}\right) ,$ then

$$\begin{aligned} \underset{\left( x,y,\lambda \right) \rightarrow \left( x_{0},y_{0},\lambda _{0}\right) }{\lim }L_{\lambda }\left( f;x,y\right) =f\left( x_{0},y_{0}\right) \end{aligned}$$

on any set Z on which the function

$$\begin{aligned}&\overset{x_{0}+\delta }{\underset{x_{0}-\delta }{\int }}\overset{ y_{0}+\delta }{\underset{y_{0}-\delta }{\int }}K_{\lambda }\left( \sqrt{ (t-x)^{2}+(s-y)^{2}}\right) \rho _{1}\left( \left| x_{0}-t\right| \right) \rho _{2}\left( \left| y_{0}-s\right| \right) \mathrm{d}s\,\mathrm{d}t \\&\quad +\,2\mu _{2}\left( \left| y_{0}-y\right| \right) \overset{ x_{0}+\delta }{\underset{x_{0}-\delta }{\int }}K_{\lambda }\left( \left| t-x\right| \right) \rho _{1}\left( \left| x_{0}-t\right| \right) \mathrm{d}t \\&\quad +\,2\mu _{1}\left( \left| x_{0}-x\right| \right) \overset{ y_{0}+\delta }{\underset{y_{0}-\delta }{\int }}K_{\lambda }\left( \left| s-y\right| \right) \rho _{2}\left( \left| y_{0}-s\right| \right) \mathrm{d}s \\&\quad +\,4K_{\lambda }\left( 0\right) \mu _{1}\left( \left| x_{0}-x\right| \right) \mu _{2}\left( \left| y_{0}-y\right| \right) \\ \end{aligned}$$

is bounded as $\left( x,y,\lambda \right)$ tends to $\left( x_{0},y_{0},\lambda _{0}\right)$.

Proof

Let $\left| x_{0}-x\right| <\frac{\delta }{2}$ and $\left| y_{0}-y\right| <\frac{\delta }{2},$ for any $0<\delta <\delta _{0}.$ Furthermore, let $0<x_{0}-x<\frac{\delta }{2}$ and $0<y_{0}-y<\frac{ \delta }{2}$ for any $0<\delta <\delta _{0}$. Since $\left( x_{0},y_{0}\right) \in \mathbb {R}^{2}$ is a $\mu$-generalized Lebesgue point of function $f\in L_{1,\varphi }\left( \mathbb {R}^{2}\right) ,$ for all given $\varepsilon >0$, there exists $\delta >0$, such that for all h and k satisfying $0<h,k\le \delta ,$ we have the following inequality:

$$\begin{aligned} \overset{x_{0}+h}{\underset{x_{0}}{\int }}\overset{y_{0}}{\underset{y_{0}-k}{ \int }}\left| \frac{f\left( t,s\right) }{\varphi (t,s)}-\frac{f\left( x_{0},y_{0}\right) }{\varphi \left( x_{0},y_{0}\right) }\right| \mathrm{d}s\,\mathrm{d}t<\varepsilon \mu _{1}(h)\mu _{2}(k). \end{aligned}$$

(7)

Write

$$\begin{aligned} \left| L_{\lambda }\left( f;x,y\right) -f\left( x_{0},y_{0}\right) \right| =\left| \underset{\mathbb {R}^{2}}{\iint }f\left( t,s\right) H_{\lambda }\left( t-x,s-y\right) \mathrm{d}s\,\mathrm{d}t-f\left( x_{0},y_{0}\right) \right| . \end{aligned}$$

Adding and subtracting the expression given by $\frac{f\left( x_{0},y_{0}\right) }{\varphi \left( x_{0},y_{0}\right) }\underset{\mathbb {R} ^{2}}{\iint }\varphi (t,s)H_{\lambda }\left( t-x,s-y\right) \mathrm{d}s\,\mathrm{d}t$ to the right-hand side of the above equality, we have

$$\begin{aligned} \left| L_{\lambda }\left( f;x,y\right) -f\left( x_{0},y_{0}\right) \right|&= \left| \underset{\mathbb {R}^{2}}{\iint }f\left( t,s\right) \frac{\varphi \left( t,s\right) }{\varphi \left( t,s\right) } H_{\lambda }\left( t-x,s-y\right) \mathrm{d}s\,\mathrm{d}t-f\left( x_{0},y_{0}\right) \frac{ \varphi \left( x_{0},y_{0}\right) }{\varphi \left( x_{0},y_{0}\right) } \right. \\&\quad+\frac{f\left( x_{0},y_{0}\right) }{\varphi \left( x_{0},y_{0}\right) } \underset{\mathbb {R}^{2}}{\iint }\varphi (t,s)H_{\lambda }\left( t-x,s-y\right) \mathrm{d}s\,\mathrm{d}t \\&\quad\left. -\frac{f\left( x_{0},y_{0}\right) }{\varphi \left( x_{0},y_{0}\right) }\underset{\mathbb {R}^{2}}{\iint }\varphi (t,s)H_{\lambda }\left( t-x,s-y\right) \mathrm{d}s\,\mathrm{d}t\right| \\&\le \underset{\mathbb {R}^{2}}{\iint }\left| \frac{f\left( t,s\right) }{\varphi (t,s)}-\frac{f\left( x_{0},y_{0}\right) }{\varphi \left( x_{0},y_{0}\right) }\right| \varphi (t,s)H_{\lambda }\left( t-x,s-y\right) \mathrm{d}s\,\mathrm{d}t \\&\quad+\left| \frac{f\left( x_{0},y_{0}\right) }{\varphi \left( x_{0},y_{0}\right) }\right| \left| \underset{\mathbb {R}^{2}}{\iint } \varphi (t,s)H_{\lambda }\left( t-x,s-y\right) \mathrm{d}s\,\mathrm{d}t-\varphi \left( x_{0},y_{0}\right) \right| \\&=\, {} I_{1}+I_{2}. \end{aligned}$$

Since $H_{\lambda }$ is a radial function, we may write

$$\begin{aligned} I_{2}=\, & {} \left| \frac{f\left( x_{0},y_{0}\right) }{\varphi \left( x_{0},y_{0}\right) }\right| \left| \underset{\mathbb {R}^{2}}{\iint } \varphi (t,s)H_{\lambda }\left( t-x,s-y\right) \mathrm{d}s\,\mathrm{d}t-\varphi \left( x_{0},y_{0}\right) \right| \\=\, & {} \left| \frac{f\left( x_{0},y_{0}\right) }{\varphi \left( x_{0},y_{0}\right) }\right| \left| \underset{\mathbb {R}^{2}}{\iint } \varphi (t,s)K_{\lambda }\left( \sqrt{\left( t-x\right) ^{2}+\left( s-y\right) ^{2}}\right) \mathrm{d}s\,\mathrm{d}t-\varphi \left( x_{0},y_{0}\right) \right| . \end{aligned}$$

In view of condition (a) of class $A_{\varphi },$ $I_{2}\rightarrow 0$ as $\left( x,y,\lambda \right)$ tends to $\left( x_{0},y_{0},\lambda _{0}\right) .$ The integral $I_{1}$ can be written in the form:

$$\begin{aligned} I_{1}&= \left\{ \underset{\mathbb {R}^{2}\backslash B_{\delta }}{\iint }+ \underset{B_{\delta }}{\iint }\right\} \left| \frac{f\left( t,s\right) }{ \varphi (t,s)}-\frac{f\left( x_{0},y_{0}\right) }{\varphi \left( x_{0},y_{0}\right) }\right| \varphi (t,s)H_{\lambda }\left( t-x,s-y\right) \mathrm{d}s\,\mathrm{d}t \\ & = I_{11}+I_{12}, \end{aligned}$$

where

$$\begin{aligned} B_{\delta }=\left\{ \left( t,s\right) :\left( t-x_{0}\right) ^{2}+\left( s-y_{0}\right) ^{2}<\delta ^{2},\left( x_{0},y_{0}\right) \in \mathbb {R} ^{2}\right\} . \end{aligned}$$

In view of definition of $H_{\lambda },$ and using inequality (5), we have

$$\begin{aligned} I_{11}= & {} \underset{\mathbb {R}^{2}\backslash B_{\delta }}{\iint }\left| \frac{f\left( t,s\right) }{\varphi (t,s)}-\frac{f\left( x_{0},y_{0}\right) }{ \varphi \left( x_{0},y_{0}\right) }\right| \varphi (t,s)H_{\lambda }\left( t-x,s-y\right) \mathrm{d}s\mathrm{d}t \\\le & {} \varphi (x,y)\underset{\mathbb {R}^{2}\backslash B_{\delta }}{\iint } \left| \frac{f\left( t,s\right) }{\varphi (t,s)}-\frac{f\left( x_{0},y_{0}\right) }{\varphi \left( x_{0},y_{0}\right) }\right| \varphi (t-x,s-y)K_{\lambda }\left( \sqrt{\left( t-x\right) ^{2}+\left( s-y\right) ^{2}}\right) \mathrm{d}s\mathrm{d}t. \end{aligned}$$

Now, using the initial assumptions given as $0<\left| x_{0}-x\right| <\frac{\delta }{2}$ and $0<\left| y_{0}-y\right| <\frac{\delta }{2},$ we may define the following set:

$$\begin{aligned} A_{\delta }=\left\{ \left( x,y\right) :\left( x-x_{0}\right) ^{2}+\left( y-y_{0}\right) ^{2}<\frac{\delta ^{2}}{2},\left( x_{0},y_{0}\right) \in \mathbb {R} ^{2}\right\} . \end{aligned}$$

Taking into account the geometric representations of the sets $B_{\delta }$ and $A_{\delta }$ gives the inclusion relation $\mathbb {R}^{2}\backslash B_{\delta }\subseteq \mathbb {R}^{2}\backslash C_{\delta },$ where

$$\begin{aligned} C_{\delta }=\left\{ \left( t,s\right) :\left( t-x\right) ^{2}+\left( s-y\right) ^{2}<\frac{\delta ^{2}}{2},\left( x,y\right) \in A_{\delta }\right\} . \end{aligned}$$

Therefore, we have the following inequality:

$$\begin{aligned} I_{11}\le & {} \varphi (x,y)\underset{\mathbb {R}^{2}\backslash C_{\delta }}{ \iint }\left| \frac{f\left( t,s\right) }{\varphi (t,s)}-\frac{f\left( x_{0},y_{0}\right) }{\varphi \left( x_{0},y_{0}\right) }\right| \varphi (t-x,s-y)K_{\lambda }\left( \sqrt{\left( t-x\right) ^{2}+\left( s-y\right) ^{2}}\right) \mathrm{d}s\,\mathrm{d}t \\= & {} \varphi (x,y)\underset{\frac{\delta }{\sqrt{2}}\le \sqrt{u^{2}+v^{2}}}{ \iint }\left| \frac{f\left( u+x,v+y\right) }{\varphi \left( u+x,v+y\right) }-\frac{f\left( x_{0},y_{0}\right) }{\varphi \left( x_{0},y_{0}\right) }\right| \varphi (u,v)K_{\lambda }\left( \sqrt{ u^{2}+v^{2}}\right) \mathrm{d}v\,\mathrm{d}u \\\le & {} \varphi \left( x,y\right) \underset{\frac{\delta }{\sqrt{2}}\le \sqrt{u^{2}+v^{2}}}{\sup }\left[ \varphi (u,v)K_{\lambda }\left( \sqrt{ u^{2}+v^{2}}\right) \right] \left\| f\right\| _{L_{1,\varphi }( \mathbb {R} ^{2})} \\&+\varphi \left( x,y\right) \left| \frac{f(x_{0},y_{0})}{\varphi (x_{0},y_{0})}\right| \underset{\frac{\delta }{\sqrt{2}}\le \sqrt{ u^{2}+v^{2}}}{\iint }\varphi (u,v)K_{\lambda }\left( \sqrt{u^{2}+v^{2}} \right) \mathrm{d}v\,\mathrm{d}u. \end{aligned}$$

Consequently, by conditions (b) and (c) of class $A_{\varphi },$ and using boundedness of $\varphi$, $I_{11}\rightarrow 0$ as $\left( x,y,\lambda \right) \rightarrow \left( x_{0},y_{0},\lambda _{0}\right) .$

Now, we prove that $I_{12}$ tends to zero, as $\left( x,y,\lambda \right)$ tends to $\left( x_{0},y_{0},\lambda _{0}\right)$. Since $\varphi (t,s)$ is bounded on $B_{\delta },$ it is easy to see that the following inequality

$$\begin{aligned} I_{12}\le \underset{(t,s)\in B_{\delta }}{\sup }\varphi (t,s)\underset{ B_{\delta }}{\iint }\left| \frac{f\left( t,s\right) }{\varphi (t,s)}- \frac{f\left( x_{0},y_{0}\right) }{\varphi \left( x_{0},y_{0}\right) } \right| H_{\lambda }\left( t-x,s-y\right) \mathrm{d}s\,\mathrm{d}t \end{aligned}$$

holds for $I_{12}$. Thus, we have

$$\begin{aligned} I_{12}\le & {} \underset{(t,s)\in B_{\delta }}{\sup }\varphi (t,s)\left\{ \overset{x_{0}+\delta }{\underset{x_{0}}{\int }}\overset{y_{0}}{\underset{ y_{0}-\delta }{\int }}+\overset{x_{0}}{\underset{x_{0}-\delta }{\int }} \overset{y_{0}}{\underset{y_{0}-\delta }{\int }}\right\} \left| \frac{ f\left( t,s\right) }{\varphi (t,s)}-\frac{f\left( x_{0},y_{0}\right) }{ \varphi \left( x_{0},y_{0}\right) }\right| H_{\lambda }\left( t-x,s-y\right) \mathrm{d}s\,\mathrm{d}t \\&+\underset{(t,s)\in B_{\delta }}{\sup }\varphi (t,s)\left\{ \overset{x_{0}}{\underset{x_{0}-\delta }{\int }}\overset{y_{0}+\delta }{\underset{y_{0}}{ \int }}+\overset{x_{0}+\delta }{\underset{x_{0}}{\int }}\overset{ y_{0}+\delta }{\underset{y_{0}}{\int }}\right\} \left| \frac{f\left( t,s\right) }{\varphi (t,s)}-\frac{f\left( x_{0},y_{0}\right) }{\varphi \left( x_{0},y_{0}\right) }\right| H_{\lambda }\left( t-x,s-y\right) \mathrm{d}s\,\mathrm{d}t \\= & {} \underset{(t,s)\in B_{\delta }}{\sup }\varphi (t,s)(I_{121}+I_{122}+I_{123}+I_{124}). \end{aligned}$$

Let us consider the integral $I_{121}.$

Let us define the function $V\left( t,s\right)$ by

$$\begin{aligned} V\left( t,s\right) :=\underset{x_{0}}{\overset{t}{\int }}\overset{y_{0}}{ \underset{s}{\int }}\left| \frac{f\left( u,v\right) }{\varphi (u,v)}- \frac{f\left( x_{0},y_{0}\right) }{\varphi \left( x_{0},y_{0}\right) }\right| \mathrm{d}v\,\mathrm{d}u. \end{aligned}$$

In view of inequality (7), the following expression

$$\begin{aligned} \left| V\left( t,s\right) \right| \le \varepsilon \mu _{1}\left( t-x_{0}\right) \mu _{2}\left( y_{0}-s\right) , \end{aligned}$$

(8)

where $0<t-x_{0}\le \delta$ and $0<y_{0}-s\le \delta ,$ holds. From Theorem 2.6 in [20], we can write

$$\begin{aligned} I_{121}=\, & {} {(L)}\overset{x_{0}+\delta }{\underset{x_{0}}{\int }} \overset{y_{0}}{\underset{y_{0}-\delta }{\int }}\left| \frac{f\left( t,s\right) }{\varphi (t,s)}-\frac{f\left( x_{0},y_{0}\right) }{\varphi \left( x_{0},y_{0}\right) }\right| H_{\lambda }\left( t-x,s-y\right) \mathrm{d}s\,\mathrm{d}t \\=\, & {} \left( {LS}\right) \overset{x_{0}+\delta }{\underset{x_{0}}{\int }} \overset{y_{0}}{\underset{y_{0}-\delta }{\int }}H_{\lambda }\left( t-x,s-y\right) d\left[ -V\left( t,s\right) \right] , \end{aligned}$$

where LS denotes Lebesgue–Stieltjes integral. Applying integration by parts (see Theorem 2.2, p. 100 in [20]) to the Lebesgue–Stieltjes integral, we have

$$\begin{aligned} \left| I_{121}\right|= & {} \left| \overset{x_{0}+\delta }{ \underset{x_{0}}{\int }}\overset{y_{0}}{\underset{y_{0}-\delta }{\int }} H_{\lambda }\left( t-x,s-y\right) d\left[ -V\left( t,s\right) \right] \right| \\\le & {} \overset{x_{0}+\delta }{\underset{x_{0}}{\int }}\overset{y_{0}}{ \underset{y_{0}-\delta }{\int }}\left| V\left( t,s\right) \right| \left| dH_{\lambda }\left( t-x,s-y\right) \right| \\&+\,\overset{x_{0}+\delta }{\underset{x_{0}}{\int }}\left| V\left( t,y_{0}-\delta \right) \right| \left| dH_{\lambda }\left( t-x,y_{0}-\delta -y\right) \right| \\&+\,\overset{y_{0}}{\underset{y_{0}-\delta }{\int }}\left| V\left( x_{0}+\delta ,s\right) \right| \left| dH_{\lambda }\left( x_{0}-x+\delta ,s-y\right) \right| \\&+\,\left| V\left( x_{0}+\delta ,y_{0}-\delta \right) \right| H_{\lambda }\left( x_{0}+\delta -x,y_{0}-\delta -y\right) . \end{aligned}$$

If we apply inequality (8) to the last inequality and make change of variables, then we have

$$\begin{aligned} \left| I_{121}\right|\le & {} \varepsilon \overset{x_{0}+\delta -x}{ \underset{x_{0}-x}{\int }}\overset{y_{0}-y}{\underset{y_{0}-\delta -y}{\int } }\mu _{1}\left( t+x-x_{0}\right) \mu _{2}\left( y_{0}-s-y\right) \left| dH_{\lambda }\left( t,s\right) \right| \\&+\varepsilon \mu _{2}(\delta )\overset{x_{0}+\delta -x}{\underset{x_{0}-x}{ \int }}\mu _{1}\left( t+x-x_{0}\right) \left| dH_{\lambda }\left( t,y_{0}-\delta -y\right) \right| \\&+\,\varepsilon \mu _{1}(\delta )\overset{y_{0}-y}{\underset{y_{0}-\delta -y}{ \int }}\mu _{2}\left( y_{0}-s-y\right) \left| dH_{\lambda }\left( x_{0}+\delta -x,s\right) \right| \\&+\,\varepsilon \mu _{1}(\delta )\mu _{2}(\delta )H_{\lambda }\left( x_{0}+\delta -x,y_{0}-\delta -y\right) . \end{aligned}$$

Let us define the following variations:

$$\begin{aligned} P_{1}\left( t,s\right):&=\left\{ \begin{array}{l} \overset{x_{0}+\delta -x}{\underset{t}{\bigvee }}\overset{s}{\underset{ y_{0}-\delta -y}{\bigvee }}\left( H_{\lambda }\left( u,v\right) \right) , \quad x_{0}-x\le t<x_{0}+\delta -x \\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \quad y_{0}-\delta -y<s\le y_{0}-y \\ \qquad \qquad \quad 0, \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \text {otherwise.} \end{array} \right. \\ P_{2}\left( t\right):&=\left\{ \begin{array}{l} \overset{x_{0}+\delta -x}{\underset{t}{\bigvee }}(H_{\lambda }\left( u,y_{0}-\delta -y\right) ), \ \ x_{0}-x\le t<x_{0}+\delta -x \\ \qquad \qquad \quad 0, \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \text {otherwise.} \end{array} \right. \\ P_{3}\left( s\right):&=\left\{ \begin{array}{l} \overset{s}{\underset{y_{0}-\delta -y}{\bigvee }}\left( H_{\lambda }\left( x_{0}-x+\delta ,v\right) \right) , \ \ y_{0}-\delta -y<s\le y_{0}-y \\ 0, \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \text {otherwise.} \end{array} \right. \end{aligned}$$

Taking above variations into account and applying bivariate integration by parts method to the last inequality, we have

$$\begin{aligned} \left| I_{121}\right|\le & {} -\varepsilon \overset{x_{0}+\delta -x}{ \underset{x_{0}-x}{\int }}\overset{y_{0}-y}{\underset{y_{0}-\delta -y}{\int } }\left[ P_{1}\left( t,s\right) +P_{2}\left( t\right) +P_{3}\left( s\right) +H_{\lambda }\left( x_{0}-x+\delta ,y_{0}-\delta -y\right) \right] \\&\times \left\{ \mu _{1}\left( t-x_{0}+x\right) \right\} _{t}^{\prime }\left\{ \mu _{2}\left( y_{0}-s-y\right) \right\} _{s}^{\prime }{\text{d}}s{\text{d}}t \\=\, & {} \varepsilon \left( i_{1}+i_{2}+i_{3}+i_{4}\right) . \end{aligned}$$

Using Remark 1 and condition (d) of class $A_{\varphi },$ we get

$$\begin{aligned} i_{1}+i_{2}+i_{3}+i_{4}= & {} -\overset{x_{0}+\delta -x}{\underset{x_{0}-x}{ \int }}\overset{0}{\underset{y_{0}-\delta -y}{\int }}K_{\lambda }\left( \sqrt{t^{2}+s^{2}}\right) \left\{ \mu _{1}\left( t+x-x_{0}\right) \right\} _{t}^{\prime }\left\{ \mu _{2}\left( y_{0}-s-y\right) \right\} _{s}^{\prime }\mathrm{d}s\,\mathrm{d}t \\&+\overset{x_{0}+\delta -x}{\underset{x_{0}-x}{\int }}\overset{y_{0}-y}{ \underset{0}{\int }}\left( K_{\lambda }\left( \sqrt{t^{2}+s^{2}}\right) -2K_{\lambda }\left( \left| t\right| \right) \right) \left\{ \mu _{1}\left( t+x-x_{0}\right) \right\} _{t}^{\prime } \\&\times \left\{ \mu _{2}\left( y_{0}-s-y\right) \right\} _{s}^{\prime }\mathrm{d}s\,\mathrm{d}t. \end{aligned}$$

Hence, the following inequality holds for $I_{121}$ (for the similar situation, see [20, 23]): 

$$\begin{aligned} \left| I_{121}\right|&\le \varepsilon \overset{x_{0}+\delta }{ \underset{x_{0}}{\int }}\overset{y_{0}}{\underset{y_{0}-\delta }{\int }} K_{\lambda }\left( \sqrt{(t-x)^{2}+(s-y)^{2}}\right) \rho _{1}\left( t-x_{0}\right) \rho _{2}\left( \left| y_{0}-s\right| \right) \mathrm{d}s\,\mathrm{d}t \\&\quad+2\varepsilon \mu _{2}\left( \left| y_{0}-y\right| \right) \overset{x_{0}+\delta }{\underset{x_{0}}{\int }}K_{\lambda }\left( \left| t-x\right| \right) \rho _{1}\left( t-x_{0}\right) \mathrm{d}t. \end{aligned}$$

Analogous computations for $I_{122},$ $I_{123}$, and $I_{124}$ give us

$$\begin{aligned} \left| I_{122}\right|\le & {} \varepsilon \overset{x_{0}}{\underset{ x_{0}-\delta }{\int }}\overset{y_{0}}{\underset{y_{0}-\delta }{\int }} K_{\lambda }\left( \sqrt{(t-x)^{2}+(s-y)^{2}}\right) \rho _{1}\left( x_{0}-t\right) \rho _{2}\left( y_{0}-s\right) \mathrm{d}s\,\mathrm{d}t \\&+2\varepsilon \mu _{2}\left( \left| y_{0}-y\right| \right) \overset{x_{0}}{\underset{x_{0}-\delta }{\int }}K_{\lambda }\left( \left| t-x\right| \right) \rho _{1}\left( x_{0}-t\right) \mathrm{d}t \\&+\,2\varepsilon \mu _{1}\left( \left| x_{0}-x\right| \right) \overset{y_{0}}{\underset{y_{0}-\delta }{\int }}K_{\lambda }\left( \left| s-y\right| \right) \rho _{2}\left( y_{0}-s\right) \mathrm{d}s \\&+4\varepsilon K_{\lambda }\left( 0\right) \mu _{1}\left( \left| x_{0}-x\right| \right) \mu _{2}\left( \left| y_{0}-y\right| \right) , \end{aligned}$$

$$\begin{aligned} \left| I_{123}\right|\le & {} \varepsilon \overset{x_{0}}{\underset{ x_{0}-\delta }{\int }}\overset{y_{0}+\delta }{\underset{y_{0}}{\int }} K_{\lambda }\left( \sqrt{(t-x)^{2}+(s-y)^{2}}\right) \rho _{1}\left( x_{0}-t\right) \rho _{2}\left( s-y_{0}\right) \mathrm{d}s\,\mathrm{d}t \\&+\,2\varepsilon \mu _{1}\left( \left| x_{0}-x\right| \right) \overset{y_{0}+\delta }{\underset{y_{0}}{\int }}K_{\lambda }\left( \left| s-y\right| \right) \rho _{2}\left( s-y_{0}\right) \mathrm{d}s, \\ \left| I_{124}\right|\le & {} \varepsilon \overset{x_{0}+\delta }{ \underset{x_{0}}{\int }}\overset{y_{0}+\delta }{\underset{y_{0}}{\int }} K_{\lambda }\left( \sqrt{(t-x)^{2}+(s-y)^{2}}\right) \rho _{1}\left( t-x_{0}\right) \rho _{2}\left( s-y_{0}\right) \mathrm{d}s\,\mathrm{d}t. \end{aligned}$$

Hence, the following inequality is obtained for $I_{12}{:}$

$$\begin{aligned} \left| I_{12}\right|\le & {} \varepsilon \underset{(t,s)\in B_{\delta }}{\sup }\varphi (t,s)\left\{ \overset{x_{0}+\delta }{\underset{ x_{0}-\delta }{\int }}\overset{y_{0}+\delta }{\underset{y_{0}-\delta }{\int } }K_{\lambda }\left( \sqrt{(t-x)^{2}+(s-y)^{2}}\right) \rho _{1}\left( \left| x_{0}-t\right| \right) \rho _{2}\left( \left| y_{0}-s\right| \right) \mathrm{d}s\,\mathrm{d}t\right. \\&+\,2\mu _{2}\left( \left| y_{0}-y\right| \right) \overset{ x_{0}+\delta }{\underset{x_{0}-\delta }{\int }}K_{\lambda }\left( \left| t-x\right| \right) \rho _{1}\left( \left| x_{0}-t\right| \right) \mathrm{d}t \\&+\,2\mu _{1}\left( \left| x_{0}-x\right| \right) \overset{ y_{0}+\delta }{\underset{y_{0}-\delta }{\int }}K_{\lambda }\left( \left| s-y\right| \right) \rho _{2}\left( \left| y_{0}-s\right| \right) \mathrm{d}s \\&\left. +\,4K_{\lambda }\left( 0\right) \mu _{1}\left( \left| x_{0}-x\right| \right) \mu _{2}\left( \left| y_{0}-y\right| \right) \right\}. \end{aligned}$$

In addition, the last inequality is obtained for other cases of the assumptions $\left| x_{0}-x\right| <\frac{\delta }{2}$ and $\left| y_{0}-y\right| <\frac{\delta }{2}.$ The remaining part of the proof is obvious by the hypotheses. Thus, the proof is completed. $\square$

Rate of convergence

In this section, we give a theorem concerning the rate of pointwise convergence.

Theorem 2

Assume that the hypotheses of Theorem 1 are satisfied. Let

$$\begin{aligned} \Delta (\lambda ,\delta ,x,y)= & {} \overset{x_{0}+\delta }{\underset{ x_{0}-\delta }{\int }}\overset{y_{0}+\delta }{\underset{y_{0}-\delta }{\int } }K_{\lambda}\left( \sqrt{(t-x)^{2}+(s-y)^{2}}\right) \rho _{1}\left( \left| x_{0}-t\right| \right) \rho _{2}\left( \left| y_{0}-s\right| \right) \mathrm{d}s\,\mathrm{d}t \\&+2\mu _{2}\left( \left| y_{0}-y\right| \right) \overset{ x_{0}+\delta }{\underset{x_{0}-\delta }{\int }}K_{\lambda }\left( \left| t-x\right| \right) \rho _{1}\left( \left| x_{0}-t\right| \right) \mathrm{d}t \\&+\,2\mu _{1}\left( \left| x_{0}-x\right| \right) \overset{ y_{0}+\delta }{\underset{y_{0}-\delta }{\int }}K_{\lambda }\left( \left| s-y\right| \right) \rho _{2}\left( \left| y_{0}-s\right| \right) \mathrm{d}s \\&+\,4K_{\lambda }\left( 0\right) \mu _{1}\left( \left| x_{0}-x\right| \right) \mu _{2}\left( \left| y_{0}-y\right| \right) \end{aligned}$$

for $0<\delta <\delta _{0},$ and the following conditions are satisfied:

• 1. $\Delta (\lambda ,\delta ,x,y)\rightarrow 0$ as $(x,y,\lambda )\rightarrow (x_{0},y_{0},\lambda _{0})$ for some $\delta >0.$

• 2. Letting $(x,y,\lambda )\rightarrow (x_{0},y_{0},\lambda _{0})$, we have

  $$\begin{aligned} \left| \frac{1}{\varphi (x_{0},y_{0})}\underset{ \mathbb {R} ^{2}}{\iint }\varphi (t,s)K_{\lambda }\left( \sqrt{(t-x)^{2}+(s-y)^{2}} \right) \mathrm{d}s\,\mathrm{d}t-1\right| =o(\Delta (\lambda ,\delta ,x,y)). \end{aligned}$$

• 3. For every $\xi >0$

  $$\begin{aligned} \underset{\xi \le \sqrt{t^{2}+s^{2}}}{\sup }\left[ \varphi (t,s)K_{\lambda }\left( \sqrt{t^{2}+s^{2}}\right) \right] =o(\Delta (\lambda ,\delta ,x,y)) \end{aligned}$$

  as $(x,y,\lambda )\rightarrow (x_{0},y_{0},\lambda _{0}).$

• 4. For every $\xi >0$

  $$\begin{aligned} \underset{\xi \le \sqrt{t^{2}+s^{2}}}{\iint }\varphi (t,s)K_{\lambda }\left( \sqrt{t^{2}+s^{2}}\right) \mathrm{d}s\,\mathrm{d}t=o(\Delta (\lambda ,\delta ,x,y)) \end{aligned}$$

as $(x,y,\lambda )\rightarrow (x_{0},y_{0},\lambda _{0}).$

Then, at each $\mu$-generalized Lebesgue point of $f\in L_{1,\varphi }( \mathbb {R} ^{2})$, we have

$$\begin{aligned} \left| L_{\lambda }\left( f;x,y\right) -f\left( x_{0},y_{0}\right) \right| =o(\Delta (\lambda ,\delta ,x,y)). \end{aligned}$$

as $(x,y,\lambda )\rightarrow (x_{0},y_{0},\lambda _{0}).$

Proof

The result is obvious by the hypotheses of Theorem 1. $\square$

Example 2

Let $\Lambda =(0,\infty ),$ $\lambda _{0}=0,$ the weight function $\varphi : \mathbb {R} ^{2}\rightarrow \mathbb {R} ^{+}$ is given by $\varphi (t,s)=(1+\left| t\right| )(1+(\left| s\right| )$ and the kernel function $H_{\lambda }: \mathbb {R} ^{2}\rightarrow \mathbb {R} _{0}^{+}$ is given by $H_{\lambda }(t,s)=\frac{1}{4\pi \lambda }e^{\frac{ -(t^{2}+s^{2})}{4\lambda }}.$ To verify that $H_{\lambda }(t,s)$ satisfies the hypotheses of Theorem 1, see [21]. Let $(x_{0},y_{0})=(0,0),$ $\rho _{1}(t)=1$ and $\rho _{2}(s)=1.$ Therefore, $\mu _{1}(t)=t$ and $\mu _{2}(s)=s.$ First, we give the graphical illustrations of the conditions (3) and (4). The assumptions in Fig. 1 are as follows: $\lambda =0.1$ and $-1\le t,s\le 1.$ Therefore, $\varphi (t,s)H_{0.1}(t,s)=\frac{1}{ 0.4\pi }e^{\frac{-(t^{2}+s^{2})}{0.4}}(1+\left| t\right| )(1+(\left| s\right| ).$

Fig. 1

Illustration of condition (3)

The assumptions in Fig. 2 are as follows: $\lambda =0.1$ and $-10\le t,s\le 10.$

Fig. 2

Illustration of condition (4)

The Fig. 1 and Fig. 2 are generated by using the software Wolfram Mathematica 7. Note that

$$\begin{aligned} \underset{\lambda \rightarrow 0}{\lim }\underset{ \mathbb {R} ^{2}}{\iint }\frac{1}{4\lambda \pi }e^{\frac{-(t^{2}+s^{2})}{4\lambda } }(1+\left| t\right| )(1+(\left| s\right| )\mathrm{d}s\,\mathrm{d}t=1. \end{aligned}$$

Now, we focus on condition (1). Computing $\Delta (\lambda ,\delta ,x,y)$ gives

$$\begin{aligned} \Delta (\lambda ,\delta ,x,y)= & {} \frac{1}{\pi \lambda }\left| x\right| \left| y\right| +\frac{1}{2\sqrt{\lambda \pi }}\left( \mathrm{Erf}\left( \frac{\delta -y}{2\sqrt{\lambda }}\right) +\mathrm{Erf}\left( \frac{\delta +y}{2\sqrt{\lambda }}\right) \right) \\= & {} \frac{1}{4}\left( \mathrm{Erf} \left( \frac{\delta -x}{2\sqrt{\lambda }}\right) +\mathrm{Erf} \left( \frac{ \delta +x}{2\sqrt{\lambda }}\right) \right) \left( \mathrm{Erf} \left( \frac{\delta -y}{2\sqrt{ \lambda }}\right) +\mathrm{Erf} \left( \frac{\delta +y}{2\sqrt{\lambda }}\right) \right) \\&+\frac{1}{2\sqrt{\lambda \pi }}\left( \mathrm{Erf}\left( \frac{\delta -x}{2\sqrt{ \lambda }}\right) +\mathrm{Erf}\left( \frac{\delta +x}{2\sqrt{\lambda }}\right) \right) . \end{aligned}$$

Here, the function $\mathrm{Erf}(x)$ is given by

$$\begin{aligned} \mathrm{Erf}(x)=\frac{2}{\sqrt{\pi }}\overset{x}{\underset{0}{\int }}e^{-t^{2}}dt. \end{aligned}$$

To find the numbers $\delta >0$, we let $\Delta (\lambda ,\delta ,x,y)\rightarrow 0$ as $(x,y,\lambda )\rightarrow (0,0,0)$. Therefore, if $\delta =o(\sqrt{\lambda })$ and $\left| x\right| =\left| y\right| =o(\sqrt{\lambda })$, then we obtain

$$\begin{aligned} \underset{(x,y,\lambda )\rightarrow (0,0,0)}{\lim }\Delta (\lambda ,\delta ,x,y)=0. \end{aligned}$$

Hence, $\Delta (\lambda ,\delta ,x,y)=O\left( \lambda ^{c}\right) ,$ $c> \frac{1}{2}$. Using these results and evaluating the supremum value of the function $\varphi (t,s)K_{\lambda }\left( \sqrt{t^{2}+s^{2}}\right)$ in terms of $\lambda ,$ we have

$$\begin{aligned} \underset{\lambda \rightarrow 0}{\lim }\left[ \underset{\frac{\delta }{\sqrt{ 2}}\le \sqrt{t^{2}+s^{2}}}{\sup }\left[ \varphi (t,s)K_{\lambda }\left( \sqrt{t^{2}+s^{2}}\right) \right] \right]= & {} \left(1+\frac{1}{2}(-1+\sqrt{ 1+8\lambda })\right)e^{-\frac{(-1+\sqrt{1+8\lambda })^{2}}{16\lambda }} \\= & {} 0. \end{aligned}$$

Therefore, we obtain the desired result for the condition (3), that is

• 3. $\underset{\xi \le \sqrt{t^{2}+s^{2}}}{\sup }\varphi (t,s)K_{\lambda }\left( \sqrt{t^{2}+s^{2}}\right) =o(\lambda ^{c}),c>\frac{1 }{2}$ as $(x,y,\lambda )\rightarrow (x_{0},y_{0},\lambda _{0}).$

The conditions (2) and (4) are verified with the same method. Finally, we obtain

$$\begin{aligned} \left| L_{\lambda }\left( f;x,y\right) -f\left( x_{0},y_{0}\right) \right| =o(\lambda ^{c}), c>\frac{1}{2}. \end{aligned}$$

Concluding remark

In this paper, we investigated the weighted pointwise convergence and the rate of convergence for the family of double singular integral operators of the form (4). This study may be seen as a continuation and generalization of the previous studies, such as [26]. For this aim, we used two-dimensional counterparts of some concepts given in one-dimensional case, such as monotonicity and integration by parts method. Next, since the approximation results and the character of the kernel function are related, a special class of kernel functions, called class $A_{\varphi }$, has been defined. Therefore, the main result is presented as Theorem 1. Using this theorem, we obtained the rate of pointwise convergence and gave an example including graphical illustration.

Author contribution statement

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.