Skip to main content

Theory and Modern Applications

A note on rate of convergence of double singular integral operators

Abstract

In this paper we prove the pointwise convergence and the rate of pointwise convergence for a family of singular integral operators with radial kernel in two-dimensional setting in the following form: L λ (f;x,y)= D f(s,t) H λ (sx,ty)dsdt, (x,y)D, where D=a,b×c,d (a,b×c,d is an arbitrary closed, semi-closed or open region in R 2 ) and λΛ, Λ is a set of non-negative numbers with accumulation point λ 0 . Also we provide an example to support these theoretical results.

MSC:41A35, 41A25.

1 Introduction

Taberski [1] studied the pointwise convergence of integrable functions and the approximation properties of derivatives of integrable functions in L 1 (π,π) by a family of convolution type singular integral operators depending on two parameters of the form:

U λ (f;x)= π π f(t) K λ (tx)dt,x(π,π),
(1)

where K λ (t) is the kernel satisfying suitable assumptions and λΛ (where Λ is a given set of non-negative numbers with accumulation point λ 0 ).

Based on Taberski’s study [1], Gadjiev [2] investigated both the pointwise convergence theorems and the order of pointwise convergence theorems for operators type (1) at a generalized Lebesgue point. Then Rydzewska [3] conducted a similar study by changing the point to a μ-generalized Lebesgue point of f L 1 (π,π) instead of a generalized Lebesgue point.

Further, in [4, 5], Karsli and Ibikli extended the results of [1, 2], and [3] by considering the more general integral operators defined by

T λ (f;x)= a b f(t) K λ (tx)dt,xa,b,λΛR
(2)

for functions in L 1 a,b where a,b is an arbitrary interval in such as [a,b], (a,b), [a,b) or (a,b].

In [6, 7], Karsli obtained the pointwise convergence theorems and the rate of pointwise convergence theorems for a family of nonlinear singular integral operators at a μ-generalized Lebesgue point and a generalized Lebesgue point of f L 1 a,b, respectively.

In 1984, Bardaro and Gori Cocchieri [8] estimated the degree of pointwise convergence of Fejer-Type singular integrals at the generalized Lebesgue points of the functions f L 1 (R). Also, Bardaro [9] studied similar convergence results concerning moment type operators.

In [10], Bardaro and Mantellini investigated the pointwise convergence of family of nonlinear Mellin type convolution operators at Lebesgue points.

In paper [11], Bardaro et al. obtained some approximation results concerning the pointwise convergence and the rate of pointwise convergence for non-convolution type linear operators at a Lebesgue point. In [12], the same authors also obtained similar results for its nonlinear counterpart and then in [13], they explored the pointwise convergence and the rate of pointwise convergence results for a family of Mellin type nonlinear m-singular integral operators at m-Lebesgue points of f.

In this study, we also investigated the pointwise convergence and the rate of convergence of the operators similar to the studies above. However, this study considers the two-dimensional singular integral instead of one-dimensional integral similar to what Taberski [14] investigated in 1964. In [14], Taberski explored the pointwise convergence of integrable functions in L 1 (Q) by a three-parameter family of convolution type singular integral operators of the form

U λ (f;x,y)= Q f(s,t) K λ (sx,ty)dsdt,(x,y)Q,
(3)

where Q denotes a given rectangle. Based on Taberski’s study [14], Siudut [15, 16] obtained significant results relating the pointwise convergence of singular integrals by considering the operators of type (3).

In [17] Yilmaz et al. studied the pointwise convergence of the singular integral operators in the following form:

L λ (f;x,y)= π π π π f(s,t) H λ (sx,ty)dsdt,(x,y)π,π×π,π
(4)

to the function f( x 0 , y 0 ) in the case (x,y,λ)( x 0 , y 0 , λ 0 ) in L 1 (π,π×π,π), where π,π×π,π is a closed, semi-closed or open region in R 2 and ( x 0 , y 0 ) is a generalized Lebesgue point of the function f L 1 (π,π×π,π). In this study, the kernel function H λ (s,t) is chosen as a radial function.

Very recently, [18] Serenbay et al. investigated the pointwise convergence of the operator of type (4) at a μ-generalized Lebesgue point.

The purpose of this paper is to investigate the pointwise convergence and the rate of convergence of the operators in the following form:

L λ (f;x,y)= D f(s,t) H λ (sx,ty)dsdt,(x,y)D,
(5)

where D=a,b×c,d (a,b×c,d is an arbitrary closed, semi-closed or open region in R 2 ), at a p-generalized Lebesgue point of f L p (D) as (x,y,λ)( x 0 , y 0 , λ 0 ). Here L p (D) is the collection of all measurable functions f for which |f | p is integrable on D (1p<), Λ is a set of non-negative numbers with accumulation point λ 0 and the kernel function H λ (s,t) is a radial function.

The paper is organized as follows: In Section 2, we introduce the fundamental definitions. In Section 3, we prove the existence of the operator of type (5). In Section 4, we obtain two theorems concerning the pointwise convergence of L λ (f;x,y) to f( x 0 , y 0 ) whenever ( x 0 , y 0 ) is a p-generalized Lebesgue point of f in bounded region and unbounded region. In Section 5, we establish the rate of convergence of operators of type (5) to f( x 0 , y 0 ) as (x,y,λ) tends to ( x 0 , y 0 , λ 0 ) and we conclude the paper with an example to support our results.

2 Preliminaries

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

Definition 2.1 Let φ(x,y) be a function defined in the rectangle D, let

P= { a = x 1 < x 2 < < x i < < x m < x m + 1 = b , c = y 1 < y 2 < < y j < < y n < y n + 1 = d

be a partition of D and

Δφ( x i , y j )=φ( x i , y j )φ( x i + 1 , y j )φ( x i , y j + 1 )+φ( x i + 1 , y j + 1 ).

If Δφ( x i , y j )0 (i=1,2,,m; j=1,2,,n) for any partition of P, then it is said that φ(x,y) satisfies the condition Ω in D [14].

In other words, if Δφ( x i , y j )0 for all partitions of D then it is said that φ(x,y) is bimonotonically increasing and if Δφ( x i , y j )0 for all partitions of D, then it is said that φ(x,y) is bimonotonically decreasing [19].

Definition 2.2 A point ( x 0 , y 0 )D is called a p-generalized Lebesgue point of function f L p (D) if

lim ( h , k ) ( 0 , 0 ) ( 1 h α + 1 k α + 1 0 h 0 k | f ( s + x 0 , t + y 0 ) f ( x 0 , y 0 ) | p d s d t ) 1 p = 0 ( 0 α < 1 ; 1 p < ) .

Definition 2.3 A function H L 1 ( R 2 ), is said to be radial if there exists a function K: R 0 + R such that H(s,t)=K( s 2 + t 2 ) a.e. [20].

Example 2.1 Let H: R 2 R is given by H(s,t)= e ( s 2 + t 2 ) and the corresponding function K: R 0 + R is K(z)= e z 2 . Since the following equality holds for all (s,t) R 2 :

e ( s 2 + t 2 ) = e ( s 2 + t 2 ) 2 ,

the function H(s,t) is a radial function.

Definition 2.4 (Class A)

Let H λ : R 2 ×ΛR be a radial function i.e., there exists a function K λ : R 0 + ×ΛR such that the following equality holds for (s,t) R 2 a.e.

H λ (s,t):= K λ ( s 2 + t 2 ) ,

where Λ is a given set of non-negative numbers with accumulation point λ 0 .

We will say that the function H λ (s,t) belongs to class A, if the following conditions are satisfied:

  1. (a)

    H λ (s,t)= K λ ( s 2 + t 2 ) is non-negative and integrable as a function of (s,t) on R 2 for each fixed λΛ.

  2. (b)

    For fixed ( x 0 , y 0 )D, K λ ( x 0 2 + y 0 2 ) tends to infinity as λ tends to λ 0 .

  3. (c)

    lim ( x , y , λ ) ( x 0 , y 0 , λ 0 ) R 2 K λ ( ( s x ) 2 + ( t y ) 2 )dsdt=1.

  4. (d)

    lim λ λ 0 [ sup ξ s 2 + t 2 K λ ( s 2 + t 2 )]=0, ξ>0.

  5. (e)

    lim λ λ 0 [ ξ s 2 + t 2 K λ ( s 2 + t 2 )dsdt]=0, ξ>0.

  6. (f)

    K λ ( ( s x ) 2 + ( t y ) 2 ) is non-increasing with respect to t on x 0 ,d and non-decreasing on c, x 0 and similarly K λ ( ( s x ) 2 + ( t y ) 2 ) is non-increasing with respect to s on y 0 ,b and non-decreasing on a, y 0 , for any λΛ and for fixed ( x 0 , y 0 )D.

  7. (g)

    K λ L 1 ( R 2 ) M, λΛ.

Throughout this paper we suppose that the kernel H λ (s,t) belongs to class A.

3 Existence of the operator

Lemma 3.1 Let 1p<. If f L p (D), then the operator L λ (f;x,y) defines a continuous transformation over L p (D).

Proof The proof of the case p=1 is quite similar to the proof in [21].

We assume that 1<p<. By the linearity of the operator L λ (f;x,y), it is sufficient to show that the following expression is bounded:

L λ = sup f 0 L λ ( f , x , y ) L p ( D ) f L p ( D ) .

We define a function such that

g(s,t)= { f ( s , t ) , ( s , t ) D , 0 , ( s , t ) R 2 D ,

and then we rearrange and rewrite the norm as follows:

L λ ( f , x , y ) L p ( D ) = L λ ( g , x , y ) L p ( D ) = ( D | R 2 g ( s , t ) H λ ( s x , t y ) d s d t | p d x d y ) 1 p = ( D | R 2 g ( s , t ) K λ ( ( s x ) 2 + ( t y ) 2 ) d s d t | p d x d y ) 1 p = ( D | R 2 g ( s + x , t + y ) K λ ( s 2 + t 2 ) d s d t | p d x d y ) 1 p .

By using the generalized Minkowsky inequality and by condition (g) of class A, we have

L λ ( f , x , y ) L p ( D ) R 2 ( D | g ( s + x , t + y ) | p | K λ ( s 2 + t 2 ) | p d x d y ) 1 p d s d t = R 2 | K λ ( s 2 + t 2 ) | ( D | g ( s + x , t + y ) | p d x d y ) 1 p d s d t = R 2 | K λ ( s 2 + t 2 ) | ( a + s b + s c + t d + t | g ( u , v ) | p d u d v ) 1 p d s d t R 2 | K λ ( s 2 + t 2 ) | ( a b c d | f ( u , v ) | p d u d v ) 1 p d s d t M f L p ( D ) .

Thus the proof is completed. □

4 Pointwise convergence

The following theorem gives a pointwise approximation of the integral operators type (5) to the function f at p-generalized Lebesgue point of f L p (D) whenever D is an arbitrary region in R 2 that is bounded, closed, semi-closed or open.

Theorem 4.1 Suppose that, as a function of (s,t), ΔK( ( t x ) 2 + ( s y ) 2 ;λ)0 on x 0 ,b× y 0 ,d and a, x 0 ×c, y 0 , ΔK( ( t x ) 2 + ( s y ) 2 ;λ)0 on x 0 ,b×c, y 0 and a, x 0 × y 0 ,d. If ( x 0 , y 0 ) is a p-generalized Lebesgue point of function f L p (D), then

lim ( x , y , λ ) ( x 0 , y 0 , λ 0 ) L λ (f;x,y)=f( x 0 , y 0 )

on any set Z on which the function

x 0 δ x 0 + δ y 0 δ y 0 + δ K λ ( ( s x ) 2 + ( t y ) 2 ) |d [ ( s x 0 ) p ( α + 1 ) ( t y 0 ) p ( α + 1 ) ] |,

where d[ ( x 0 s ) p ( α + 1 ) ( y 0 t ) p ( α + 1 ) ] is the Lebesgue-Stieltjes measure with respect to ( x 0 s ) p ( α + 1 ) ( y 0 t ) p ( α + 1 ) , is bounded as (x,y,λ) tends to ( x 0 , y 0 , λ 0 ).

Proof Suppose that ( x 0 , y 0 )D, | x 0 x|< δ 2 , for all δ>0 which satisfy x 0 +δ<b and x 0 δ>a, | y 0 y|< δ 2 for all δ>0 which satisfy y 0 +δ<d and y 0 δ>c.

Since ( x 0 , y 0 )D is a p-generalized Lebesgue point of function f L p (D), for all given ε>0, there exists a δ>0 such that for all h, k satisfying 0<h,kδ, the inequalities

x 0 δ x 0 y 0 δ y 0 |f(s,t)f( x 0 , y 0 ) | p dsdt< ε p ( h k ) p ( α + 1 ) ,
(6)
x 0 x 0 + δ y 0 δ y 0 |f(s,t)f( x 0 , y 0 ) | p dsdt< ε p ( h k ) p ( α + 1 ) ,
(7)
x 0 δ x 0 y 0 y 0 + δ |f(s,t)f( x 0 , y 0 ) | p dsdt< ε p ( h k ) p ( α + 1 ) ,
(8)
x 0 x 0 + δ y 0 y 0 + δ |f(s,t)f( x 0 , y 0 ) | p dsdt< ε p ( h k ) p ( α + 1 )
(9)

hold.

Set I λ (x,y):=| L λ (f;x,y)f( x 0 , y 0 )|. According to condition (c) of class A, we shall write

I λ ( x , y ) = | D f ( s , t ) H λ ( s x , t y ) d s d t f ( x 0 , y 0 ) | = | D f ( s , t ) K λ ( ( s x ) 2 + ( t y ) 2 ) d s d t f ( x 0 , y 0 ) | R 2 | g ( s , t ) f ( x 0 , y 0 ) | K λ ( ( s x ) 2 + ( t y ) 2 ) d s d t + | f ( x 0 , y 0 ) | | R 2 K λ ( ( s x ) 2 + ( t y ) 2 ) d s d t 1 | = D | f ( s , t ) f ( x 0 , y 0 ) | K λ ( ( s x ) 2 + ( t y ) 2 ) d s d t + | f ( x 0 , y 0 ) | | R 2 K λ ( ( s x ) 2 + ( t y ) 2 ) d s d t 1 | + R 2 D | g ( s , t ) f ( x 0 , y 0 ) | K λ ( ( s x ) 2 + ( t y ) 2 ) d s d t = I + II + III .

By conditions (e) and (d) of class A, III0 as λ λ 0 .

Using Hölder’s inequality for the term I we have the following:

I + II ( a b c d | f ( s , t ) f ( x 0 , y 0 ) | p | K λ ( ( s x ) 2 + ( t y ) 2 ) | d s d t ) 1 p × ( a b c d K λ ( ( s x ) 2 + ( t y ) 2 ) d s d t ) 1 q + | f ( x 0 , y 0 ) | | R 2 K λ ( ( s x ) 2 + ( t y ) 2 ) d s d t 1 | .

Since whenever for m, n being positive numbers the inequality ( m + n ) p 2 p ( m p + n p ) holds, by taking the p th power of both sides we have

( I + II ) p 2 p ( a b c d | f ( s , t ) f ( x 0 , y 0 ) | p K λ ( ( s x ) 2 + ( t y ) 2 ) d s d t ) × ( R 2 K λ ( ( s x ) 2 + ( t y ) 2 ) d s d t ) P q + 2 p | f ( x 0 , y 0 ) | p | R 2 K λ ( ( s x ) 2 + ( t y ) 2 ) d s d t 1 | p = I + II .

Let us write

I = 2 p ( a b c d | f ( s , t ) f ( x 0 , y 0 ) | p K λ ( ( s x ) 2 + ( t y ) 2 ) d s d t ) × ( R 2 K λ ( ( s x ) 2 + ( t y ) 2 ) d s d t ) p q .

The second part of the integral I tends to one as (x,y,λ) tends to ( x 0 , y 0 , λ 0 ) by condition (c). Then we investigate the first part of the integral I , denoted by I 1 ,

I 1 = { D B δ + B δ } |f(s,t)f( x 0 , y 0 ) | p K λ ( ( s x ) 2 + ( t y ) 2 ) dsdt= I 11 + I 12 ,

where B δ :={(s,t): ( s x 0 ) 2 + ( t y 0 ) 2 δ 2 ,( x 0 , y 0 )D}.

For the integral I 11 we have the following inequality:

I 11 = D B δ | f ( s , t ) f ( x 0 , y 0 ) | p K λ ( ( s x ) 2 + ( t y ) 2 ) d s d t D B δ ( | f ( s , t ) | + | f ( x 0 , y 0 ) | ) p K λ ( ( s x ) 2 + ( t y ) 2 ) d s d t 2 p D B δ ( | f ( s , t ) | p + | f ( x 0 , y 0 ) | p ) K λ ( ( s x ) 2 + ( t y ) 2 ) d s d t 2 p sup ξ s 2 + t 2 K λ ( s 2 + t 2 ) ( f L p ( D ) p + | f ( x 0 , y 0 ) | p | b a | | d c | ) .

Since K λ ( s 2 + t 2 ) is decreasing on D B δ , the following relation holds:

I 11 2 p K λ ( ( 2 1 ) δ 2 ) ( f L p ( D ) p + | f ( x 0 , y 0 ) | p | b a | | d c | ) ;

hence by condition (d) of class A, I 11 0 whenever (x,y,λ)( x 0 , y 0 , λ 0 ).

Next we can show that the term I 12 tends to zero as (x,y,λ)( x 0 , y 0 , λ 0 ) on B δ :

I 12 = B δ | f ( s , t ) f ( x 0 , y 0 ) | K λ ( ( s x ) 2 + ( t y ) 2 ) d s d t x 0 δ x 0 + δ y 0 δ y 0 + δ | f ( s , t ) f ( x 0 , y 0 ) | K λ ( ( s x ) 2 + ( t y ) 2 ) d s d t { x 0 δ x 0 y 0 δ y 0 + x 0 x 0 + δ y 0 δ y 0 } | f ( s , t ) f ( x 0 , y 0 ) | K λ ( ( s x ) 2 + ( t y ) 2 ) d s d t + { x 0 δ x 0 y 0 y 0 + δ + x 0 x 0 + δ y 0 y 0 + δ } | f ( s , t ) f ( x 0 , y 0 ) | K λ ( ( s x ) 2 + ( t y ) 2 ) d s d t = I 121 + I 122 + I 123 + I 124 .

Since

I 12 I 121 + I 122 + I 123 + I 124

it is sufficient to show that the terms on the right hand side of the last inequality tends to zero as (x,y,λ)( x 0 , y 0 , λ 0 ) on Z.

Let us consider first the integral I 121 .

From (6), for every ε>0 there exists a δ>0 such that

x 0 h x 0 y 0 k y 0 |f(s,t)f( x 0 , y 0 ) | p dsdt< ε p h p ( α + 1 ) k p ( α + 1 )

for all 0<h,kδ.

Let us define a new function as

F(s,t):= s x 0 t y 0 |f(u,v)f( x 0 , y 0 ) | p dudv.

Then for all s and t satisfying x 0 sδ and y 0 tδ we have

|F(s,t)| ε p ( x 0 s ) p ( α + 1 ) ( y 0 t ) p ( α + 1 ) .

Hence we can evaluate the integral I 121 .

From [14] (see Theorem 2.5, p.101), we can write the following:

I 121 = x 0 δ x 0 y 0 δ y 0 | f ( s , t ) f ( x 0 , y 0 ) | K λ ( ( s x ) 2 + ( t y ) 2 ) d s d t = ( S ) x 0 δ x 0 y 0 δ y 0 K λ ( ( s x ) 2 + ( t y ) 2 ) d F ( s , t ) ,

where (S) denotes the Stieltjes integral.

Two-dimensional integration by parts (see Theorem 2.2, p.100 in [14]) gives us

x 0 δ x 0 y 0 δ y 0 K λ ( ( s x ) 2 + ( t y ) 2 ) d F ( s , t ) = x 0 δ x 0 y 0 δ y 0 F ( s , t ) d K λ ( ( s x ) 2 + ( t y ) 2 ) + x 0 δ x 0 F ( s , y 0 δ ) d K λ ( ( s x ) 2 + ( y 0 y δ ) 2 ) + y 0 δ y 0 F ( x 0 δ , t ) d K λ ( ( x 0 x δ ) 2 + ( t y ) 2 ) + F ( x 0 δ , y 0 δ ) K λ ( ( x 0 x δ ) 2 + ( y 0 y δ ) 2 ) .

From (6), we can write

I 121 ε p x 0 δ x 0 y 0 δ y 0 ( x 0 s ) p ( α + 1 ) ( y 0 t ) p ( α + 1 ) | d K λ ( ( s x ) 2 + ( t y ) 2 ) | + ε p δ p ( α + 1 ) x 0 δ x 0 ( x 0 s ) p ( α + 1 ) | d s K λ ( ( s x ) 2 + ( y 0 δ y ) 2 ) | + ε p δ p ( α + 1 ) y 0 δ y 0 ( y 0 t ) p ( α + 1 ) | d t K λ ( ( x 0 δ x ) 2 + ( t y ) 2 ) | + ε p δ 2 p ( α + 1 ) K λ ( ( x 0 δ x ) 2 + ( y 0 δ y ) 2 ) = i 1 + i 2 + i 3 + i 4 .

After applying integration by parts to i 1 , i 2 , and i 3 we obtain the following result:

I 121 ε p x 0 δ x 0 y 0 δ y 0 K λ ( ( s x ) 2 + ( t y ) 2 ) d ( x 0 s ) p ( α + 1 ) ( y 0 t ) p ( α + 1 ) .

For the integrals I 122 , I 123 , and I 124 the proof is similar to the above one. Thus we obtain the following inequalities:

I 122 ε p x 0 x 0 + δ y 0 δ y 0 K λ ( ( s x ) 2 + ( t y ) 2 ) d [ ( x 0 s ) p ( α + 1 ) ( y 0 t ) p ( α + 1 ) ] , I 123 ε p x 0 δ x 0 y 0 y 0 + δ K λ ( ( s x ) 2 + ( t y ) 2 ) d [ ( s x 0 ) p ( α + 1 ) ( y 0 t ) p ( α + 1 ) ] , I 124 ε p x 0 x 0 + δ y 0 y 0 + δ K λ ( ( s x ) 2 + ( t y ) 2 ) d [ ( x 0 s ) p ( α + 1 ) ( y 0 t ) p ( α + 1 ) ] .

Collecting the estimates I 121 , I 122 , I 123 , and I 124 , we have the following inequality:

I 12 I 121 + I 122 + I 123 + I 124 = ε p x 0 δ x 0 + δ y 0 δ y 0 + δ K λ ( ( s x ) 2 + ( t y ) 2 ) | d [ ( x 0 s ) p ( α + 1 ) ( y 0 t ) p ( α + 1 ) ] | .

Therefore, if the points (x,y,λ)Z are sufficiently close to ( x 0 , y 0 , λ 0 ), we have

I 12 εC,

where

C = sup { x 0 δ x 0 + δ y 0 δ y 0 + δ K λ ( ( s x ) 2 + ( t y ) 2 ) | d [ ( x 0 s ) p ( α + 1 ) ( y 0 t ) p ( α + 1 ) ] | : ( x , y , λ ) Z } .

Finally we consider the integral II . From condition (c), it is clear that

lim ( x , y , λ ) ( x 0 , y 0 , λ 0 ) II =0.

Thus, the proof is finished. □

Remark 4.1 For the case p=1, the proof is quite similar to the proof in [21].

The following theorem gives a pointwise approximation of the integral operators type (5) to the function f at p-generalized Lebesgue point of f L p ( R 2 ) whenever D= R 2 .

Theorem 4.2 Suppose that the hypothesis of Theorem  4.1 is satisfied for D= R 2 . If ( x 0 , y 0 ) is a p-generalized Lebesgue point of function f L p ( R 2 ) then

lim ( x , y , λ ) ( x 0 , y 0 , λ 0 ) L λ (f;x,y)=f( x 0 , y 0 ).

Proof Using the same strategy as in Theorem 4.1 we obtain

| L λ ( f ; x , y ) f ( x 0 , y 0 ) | p 2 2 p { sup δ s 2 + t 2 | K λ ( t 2 + s 2 ) | f L p ( R 2 ) p + | f ( x 0 , y 0 ) | p δ s 2 + t 2 K λ ( s 2 + t 2 ) d s d t } × ( R 2 K λ ( ( s x ) 2 + ( t y ) 2 ) d s d t ) P q + 2 p ε p x 0 δ x 0 + δ y 0 δ y 0 + δ K λ ( ( s x ) 2 + ( t y ) 2 ) | d [ ( x 0 s ) p ( α + 1 ) ( y 0 t ) p ( α + 1 ) ] | × ( R 2 K λ ( ( s x ) 2 + ( t y ) 2 ) d s d t ) P q + 2 p | f ( x 0 , y 0 ) | p | R 2 K λ ( ( s x ) 2 + ( t y ) 2 ) d s d t 1 | p .

By condition (e) of class A the second term of the expression tends to zero as λ tends to  λ 0 . The remaining part of the proof is obvious by Theorem 4.1. □

5 Rate of convergence

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

Theorem 5.1 Suppose that the hypotheses of Theorem  4.1 and Theorem  4.2 are satisfied.

Let

Δ(λ,δ,x,y)= x 0 δ x 0 + δ y 0 δ y 0 + δ | x 0 s | p ( α + 1 ) 1 | y 0 t | p ( α + 1 ) 1 K λ ( ( s x ) 2 + ( t y ) 2 ) dsdt

for δ>0 and the following assumptions are satisfied:

  1. (i)

    Δ(λ,δ,x,y)0 as (x,y,λ)( x 0 , y 0 , λ 0 ) for some δ>0.

  2. (ii)

    For every ξ>0

    K λ (ξ)=o ( Δ ( λ , δ , x , y ) )

as (x,y,λ)( x 0 , y 0 , λ 0 ).

  1. (iii)

    For every ξ>0

    ξ s 2 + t 2 K λ ( s 2 + t 2 ) dsdt=o ( Δ ( λ , δ , x , y ) )

as (x,y,λ)( x 0 , y 0 , λ 0 ).

Then at each p-generalized Lebesgue point of f L p ( R 2 ) we have as (x,y,λ)( x 0 , y 0 , λ 0 )

| L λ (f;x,y)f( x 0 , y 0 )|=o ( Δ ( λ , δ , x , y ) 1 p ) .

Proof In view of the equality of the Lebesgue-Stieltjes integrals we have

x 0 δ x 0 + δ y 0 δ y 0 + δ K λ ( ( s x ) 2 + ( t y ) 2 ) d [ ( x 0 s ) p ( α + 1 ) ( y 0 t ) p ( α + 1 ) ] = ( p α + p ) 2 x 0 δ x 0 + δ y 0 δ y 0 + δ ( x 0 s ) p ( α + 1 ) 1 ( y 0 t ) p ( α + 1 ) 1 K λ ( ( s x ) 2 + ( t y ) 2 ) d s d t .

By Theorem 4.1 and Theorem 4.2 we can write, for δ>0,

| L λ ( f ; x , y ) f ( x 0 , y 0 ) | p 2 2 p { sup δ s 2 + t 2 | K λ ( t 2 + s 2 ) | f L p ( R 2 ) p + | f ( x 0 , y 0 ) | p δ s 2 + t 2 K λ ( s 2 + t 2 ) d s d t } × ( R 2 K λ ( ( s x ) 2 + ( t y ) 2 ) d s d t ) P q + 2 p ε p ( p α + p ) 2 x 0 δ x 0 + δ y 0 δ y 0 + δ | x 0 s | p ( α + 1 ) 1 | y 0 t | p ( α + 1 ) 1 × K λ ( ( s x ) 2 + ( t y ) 2 ) d s d t × ( R 2 K λ ( ( s x ) 2 + ( t y ) 2 ) d s d t ) P q + 2 p | f ( x 0 , y 0 ) | p | R 2 K λ ( ( s x ) 2 + ( t y ) 2 ) d s d t 1 | p .

From (i)-(iii) and using class A conditions we have the desired result:

| L λ (f;x,y)f( x 0 , y 0 )|=o ( Δ ( λ , δ , x , y ) 1 p ) .

 □

Example 5.1 Let Λ=(0,), λ 0 =0, and

H λ (s,t)= 1 4 π λ e ( s 2 + t 2 ) 4 λ .

To verify that K λ ( s 2 + t 2 )= 1 4 π λ e ( s 2 + t 2 ) 2 4 λ satisfies the hypotheses of Theorem 4.1 and Theorem 4.2, see [15]. Since K λ ( s 2 + t 2 ) tends to infinity as λ tends to zero at (s,t)=(0,0), condition (b) of class A is satisfied.

Let p= 3 2 , α= 1 3 , and ( x 0 , y 0 )=(0,0). Hence we obtain

Δ ( λ , δ , x , y ) = δ + δ δ + δ | s | | t | 1 4 π λ e ( ( s x ) 2 + ( t y ) 2 ) 4 λ d s d t = 1 2 π e 2 δ 2 + y 2 + x 2 4 λ ( 2 λ ( e δ 2 4 λ e δ x 2 λ ) + e δ 2 + x 2 4 λ π x ( E r f ( δ x 2 λ ) + E r f ( x 2 λ ) ) ) × ( 2 λ ( e δ 2 4 λ e δ y 2 λ ) + e δ 2 + y 2 4 λ π y ( E r f ( δ y 2 λ ) + E r f ( y 2 λ ) ) ) ,

where

Erf(x)= 2 π 0 x e t 2 dt.

In order to find for which δ>0 condition (i) in Theorem 5.1 is satisfied, let Δ(λ,δ,x,y)0 as (x,y,λ)(0,0,0). Hence

lim ( x , y , λ ) ( 0 , 0 , 0 ) Δ(λ,δ,x,y)=0

if and only if δ 2 =o(λ). Consequently the following equation holds:

Δ ( λ , δ , x , y ) = δ + δ δ + δ | s | | t | 1 4 π λ e ( ( s x ) 2 + ( t y ) 2 ) 4 λ d s d t = 2 [ 0 , λ ] × [ 0 , λ ] | s | | t | 1 4 π λ e ( ( s x ) 2 + ( t y ) 2 ) 4 λ d s d t .

From the above equation we see that

Δ(λ,δ,x,y)=O(λ).

From [15] it is clear that the conditions (ii) and (iii) in Theorem 5.1 are satisfied. Hence

| L λ (f;x,y)f( x 0 , y 0 )|=o ( Δ ( λ , δ , x , y ) 2 3 ) =o ( λ 2 3 ) .

References

  1. Taberski R: Singular integrals depending on two parameters. Ann. Pol. Math. 1962, 15: 97-115.

    MathSciNet  Google Scholar 

  2. Gadjiev AD: The order of convergence of singular integrals which depend on two parameters. In Special Problems of Functional Analysis and Their Applications to the Theory of Differential Equations and the Theory of Functions. Izdat. Akad. Nauk Azerbaĭdažan. SSR., Baku; 1968:40-44.

    Google Scholar 

  3. Rydzewska B: Approximation des fonctions par des intégrales singulières ordinaires. Fasc. Math. 1973, 7: 71-81.

    MathSciNet  Google Scholar 

  4. Karsli H, Ibikli I:Approximation properties of convolution type singular integral operators depending on two parameters and of their derivatives in L 1 ( a , b ). 16. Proc. 16th Int. Conf. Jangjeon Math. Soc. 2005, 66-76.

    Google Scholar 

  5. Karsli H, Ibikli E: On convergence of convolution type singular integral operators depending on two parameters. Fasc. Math. 2007, 38: 25-39.

    MathSciNet  Google Scholar 

  6. Karsli H: Convergence and rate of convergence by nonlinear singular integral operators depending on two parameters. Appl. Anal. 2006, 85(6-7):781-791. 10.1080/00036810600712665

    Article  MathSciNet  Google Scholar 

  7. Karsli H: On the approximation properties of a class of convolution type nonlinear singular integral operators. Georgian Math. J. 2008, 15(1):77-86.

    MathSciNet  Google Scholar 

  8. Bardaro C, Gori Cocchieri C: On the degree of approximation for a class of singular integrals. Rend. Mat. (7) 1984, 4(4):481-490. (Italian)

    MathSciNet  Google Scholar 

  9. Bardaro C: On approximation properties for some classes of linear operators of convolution type. Atti Semin. Mat. Fis. Univ. Modena 1984, 33(2):329-356.

    MathSciNet  Google Scholar 

  10. Bardaro C, Mantellini I: Pointwise convergence theorems for nonlinear Mellin convolution operators. Int. J. Pure Appl. Math. 2006, 27(4):431-447.

    MathSciNet  Google Scholar 

  11. Bardaro C, Karsli H, Vinti G: On pointwise convergence of linear integral operators with homogeneous kernel. Integral Transforms Spec. Funct. 2008, 19(6):429-439. 10.1080/10652460801936648

    Article  MathSciNet  Google Scholar 

  12. Bardaro C, Vinti G, Karsli H: Nonlinear integral operators with homogeneous kernels: pointwise approximation theorems. Appl. Anal. 2011, 90(3-4):463-474. 10.1080/00036811.2010.499506

    Article  MathSciNet  Google Scholar 

  13. Bardaro C, Karsli H, Vinti G: On pointwise convergence of Mellin type nonlinear m -singular integral operators. Commun. Appl. Nonlinear Anal. 2013, 20(2):25-39.

    MathSciNet  Google Scholar 

  14. Taberski R: On double integrals and Fourier series. Ann. Pol. Math. 1964, 15: 97-115.

    MathSciNet  Google Scholar 

  15. Siudut S: On the convergence of double singular integrals. Comment. Math. Prace Mat. 1988, 28(1):143-146.

    MathSciNet  Google Scholar 

  16. Siudut S: A theorem of Romanovski type for double singular integrals. Comment. Math. Prace Mat. 1989, 29: 277-289.

    MathSciNet  Google Scholar 

  17. Yilmaz MM, Serenbay SK, Ibikli E: On singular integrals depending on three parameters. Appl. Math. Comput. 2011, 218(3):1132-1135. 10.1016/j.amc.2011.03.067

    Article  MathSciNet  Google Scholar 

  18. Serenbay SK, Dalmanoglu O, Ibikli E: On convergence of singular integral operators with radial kernels. Springer Proceedings in Mathematics and Statistics 83. Approximation Theory XIV: San Antonio 2013 2014, 295-308.

    Google Scholar 

  19. Ghorpade SR, Limaye BV: A Course in Multivariable Calculus and Analysis. Springer, New York; 2010.

    Book  Google Scholar 

  20. Bochner S, Chandrasekharan K Annals of Mathematics Studies 19. In Fourier Transforms. Princeton University Press, Princeton; 1949.

    Google Scholar 

  21. Yilmaz MM: On convergence of singular integral operators depending on three parameters with radial kernels. Int. J. Math. Anal. 2010, 4(39):1923-1928.

    Google Scholar 

Download references

Acknowledgements

The authors thank the referees for their valuable comments and suggestions for the improvement of the manuscript.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Mine Menekse Yilmaz.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

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

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Yilmaz, M.M., Uysal, G. & Ibikli, E. A note on rate of convergence of double singular integral operators. Adv Differ Equ 2014, 287 (2014). https://doi.org/10.1186/1687-1847-2014-287

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1847-2014-287

Keywords