- Research
- Open access
- Published:
A note on rate of convergence of double singular integral operators
Advances in Difference Equations volume 2014, Article number: 287 (2014)
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: , , where ( is an arbitrary closed, semi-closed or open region in ) and , Λ is a set of non-negative numbers with accumulation point . 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 by a family of convolution type singular integral operators depending on two parameters of the form:
where is the kernel satisfying suitable assumptions and (where Λ is a given set of non-negative numbers with accumulation point ).
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 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
for functions in where is an arbitrary interval in ℝ such as , , or .
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 , 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 . 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 by a three-parameter family of convolution type singular integral operators of the form
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:
to the function in the case in , where is a closed, semi-closed or open region in and is a generalized Lebesgue point of the function . In this study, the kernel function 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:
where ( is an arbitrary closed, semi-closed or open region in ), at a p-generalized Lebesgue point of as . Here is the collection of all measurable functions f for which is integrable on D (), Λ is a set of non-negative numbers with accumulation point and the kernel function 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 to whenever 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 as tends to 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 be a function defined in the rectangle D, let
be a partition of D and
If (; ) for any partition of P, then it is said that satisfies the condition Ω in D [14].
In other words, if for all partitions of D then it is said that is bimonotonically increasing and if for all partitions of D, then it is said that is bimonotonically decreasing [19].
Definition 2.2 A point is called a p-generalized Lebesgue point of function if
Definition 2.3 A function , is said to be radial if there exists a function such that a.e. [20].
Example 2.1 Let is given by and the corresponding function is . Since the following equality holds for all :
the function is a radial function.
Definition 2.4 (Class A)
Let be a radial function i.e., there exists a function such that the following equality holds for a.e.
where Λ is a given set of non-negative numbers with accumulation point .
We will say that the function belongs to class A, if the following conditions are satisfied:
-
(a)
is non-negative and integrable as a function of on for each fixed .
-
(b)
For fixed , tends to infinity as λ tends to .
-
(c)
.
-
(d)
, .
-
(e)
, .
-
(f)
is non-increasing with respect to t on and non-decreasing on and similarly is non-increasing with respect to s on and non-decreasing on , for any and for fixed .
-
(g)
, .
Throughout this paper we suppose that the kernel belongs to class A.
3 Existence of the operator
Lemma 3.1 Let . If , then the operator defines a continuous transformation over .
Proof The proof of the case is quite similar to the proof in [21].
We assume that . By the linearity of the operator , it is sufficient to show that the following expression is bounded:
We define a function such that
and then we rearrange and rewrite the norm as follows:
By using the generalized Minkowsky inequality and by condition (g) of class A, we have
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 whenever D is an arbitrary region in that is bounded, closed, semi-closed or open.
Theorem 4.1 Suppose that, as a function of , on and , on and . If is a p-generalized Lebesgue point of function , then
on any set Z on which the function
where is the Lebesgue-Stieltjes measure with respect to , is bounded as tends to .
Proof Suppose that , , for all which satisfy and , for all which satisfy and .
Since is a p-generalized Lebesgue point of function , for all given , there exists a such that for all h, k satisfying , the inequalities
hold.
Set . According to condition (c) of class A, we shall write
By conditions (e) and (d) of class A, as .
Using Hölder’s inequality for the term I we have the following:
Since whenever for m, n being positive numbers the inequality holds, by taking the p th power of both sides we have
Let us write
The second part of the integral tends to one as tends to by condition (c). Then we investigate the first part of the integral , denoted by ,
where .
For the integral we have the following inequality:
Since is decreasing on , the following relation holds:
hence by condition (d) of class A, whenever .
Next we can show that the term tends to zero as on :
Since
it is sufficient to show that the terms on the right hand side of the last inequality tends to zero as on Z.
Let us consider first the integral .
From (6), for every there exists a such that
for all .
Let us define a new function as
Then for all s and t satisfying and we have
Hence we can evaluate the integral .
From [14] (see Theorem 2.5, p.101), we can write the following:
where denotes the Stieltjes integral.
Two-dimensional integration by parts (see Theorem 2.2, p.100 in [14]) gives us
From (6), we can write
After applying integration by parts to , , and we obtain the following result:
For the integrals , , and the proof is similar to the above one. Thus we obtain the following inequalities:
Collecting the estimates , , , and , we have the following inequality:
Therefore, if the points are sufficiently close to , we have
where
Finally we consider the integral . From condition (c), it is clear that
Thus, the proof is finished. □
Remark 4.1 For the case , 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 whenever .
Theorem 4.2 Suppose that the hypothesis of Theorem 4.1 is satisfied for . If is a p-generalized Lebesgue point of function then
Proof Using the same strategy as in Theorem 4.1 we obtain
By condition (e) of class A the second term of the expression tends to zero as λ tends to . 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
for and the following assumptions are satisfied:
-
(i)
as for some .
-
(ii)
For every
as .
-
(iii)
For every
as .
Then at each p-generalized Lebesgue point of we have as
Proof In view of the equality of the Lebesgue-Stieltjes integrals we have
By Theorem 4.1 and Theorem 4.2 we can write, for ,
From (i)-(iii) and using class A conditions we have the desired result:
□
Example 5.1 Let , , and
To verify that satisfies the hypotheses of Theorem 4.1 and Theorem 4.2, see [15]. Since tends to infinity as λ tends to zero at , condition (b) of class A is satisfied.
Let , , and . Hence we obtain
where
In order to find for which condition (i) in Theorem 5.1 is satisfied, let as . Hence
if and only if . Consequently the following equation holds:
From the above equation we see that
From [15] it is clear that the conditions (ii) and (iii) in Theorem 5.1 are satisfied. Hence
References
Taberski R: Singular integrals depending on two parameters. Ann. Pol. Math. 1962, 15: 97-115.
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.
Rydzewska B: Approximation des fonctions par des intégrales singulières ordinaires. Fasc. Math. 1973, 7: 71-81.
Karsli H, Ibikli I:Approximation properties of convolution type singular integral operators depending on two parameters and of their derivatives in. 16. Proc. 16th Int. Conf. Jangjeon Math. Soc. 2005, 66-76.
Karsli H, Ibikli E: On convergence of convolution type singular integral operators depending on two parameters. Fasc. Math. 2007, 38: 25-39.
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
Karsli H: On the approximation properties of a class of convolution type nonlinear singular integral operators. Georgian Math. J. 2008, 15(1):77-86.
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)
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.
Bardaro C, Mantellini I: Pointwise convergence theorems for nonlinear Mellin convolution operators. Int. J. Pure Appl. Math. 2006, 27(4):431-447.
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
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
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.
Taberski R: On double integrals and Fourier series. Ann. Pol. Math. 1964, 15: 97-115.
Siudut S: On the convergence of double singular integrals. Comment. Math. Prace Mat. 1988, 28(1):143-146.
Siudut S: A theorem of Romanovski type for double singular integrals. Comment. Math. Prace Mat. 1989, 29: 277-289.
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
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.
Ghorpade SR, Limaye BV: A Course in Multivariable Calculus and Analysis. Springer, New York; 2010.
Bochner S, Chandrasekharan K Annals of Mathematics Studies 19. In Fourier Transforms. Princeton University Press, Princeton; 1949.
Yilmaz MM: On convergence of singular integral operators depending on three parameters with radial kernels. Int. J. Math. Anal. 2010, 4(39):1923-1928.
Acknowledgements
The authors thank the referees for their valuable comments and suggestions for the improvement of the manuscript.
Author information
Authors and Affiliations
Corresponding author
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.
About this article
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
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1847-2014-287