1. Introduction
Besov (
) spaces describe the smoothness of the functions. In fact, Besov
spaces are a set of functions from fundamental spaces
, where
and
denote smoothness and its finer gradation, respectively (see Equation (8), p. 5). These spaces naturally appear in many fields of pure and applied mathematics in general and in the field of mathematical analysis in particular. Presently, Besov spaces are defined by using Fourier transforms and modulus of smoothness of the function. These two definitions of Besov spaces are equivalent unless
and
is small. The Besov spaces defined by the modulus of smoothness appear more naturally in the area of approximation theory [
1]. Generalized Zygmund spaces are also powerful spaces which use the definition of modulus of smoothness of the function and appear naturally in the area of approximation theory.
Besides their wide applications in different studies of approximation theory, these spaces are also used for studying convergence problems of a function using summability means.
We note that the investigators [
2,
3,
4,
5,
6,
7,
8,
9,
10,
11,
12,
13,
14,
15,
16,
17,
18,
19], etc., have studied the degree of approximation of a function of Fourier series in Lipschitz, H
lder and generalized H
lder spaces using summability means.
This paper contains an analysis of the convergence problems of function g of Fourier series in Besov and generalized Zygmund norms using matrix-generalized Nörlund () means of Fourier series. We compare our convergence results by means of applications.
The organization of the paper is as follows: In
Section 2, we provide important definitions related to our work. In
Section 3, we prove the auxiliary results, which are used in the proofs of our main results. In
Section 4, we prove our convergence results. In
Section 5, convergence results are compared by means of applications.
Section 6 contains a conclusion.
2. Preliminaries
2.1. Fourier Series
Let
g be a Lebesgue integrable function with period
on the interval
. The Fourier transform of a function
g is given by
where
is a function of frequency
and
is the inner product in a Hilbert space. Thus, the transform of a signal decomposes it into a sine wave of different frequencies and phases.
The Fourier series of function
g is given by
where
and
are the Fourier coefficients.
The
th partial sum of (1) is given by ([
20])
where
and
(Dirichlet Kernal) is defined by
2.2. Summability Operators
Let
be an infinite series with the sequence of its
th partial sum
.
The infinite sequence of
th partial sum
is
Generalized Nörlund Matrix Operator
Let
and
be the sequence of constants, real or complex such that
and
Given two sequences
and
, convolution
is defined as
If the generalized Nörlund transform of the sequence is the sequence
If , the infinite series given by (4) or a sequence given by (5) is summable to s by the generalized Nörlund method and is denoted by .
The necessary and sufficient conditions for
method to be regular are
for every fixed
for which
Let
be an infinite triangular matrix satisfying the Silverman–Toeplitz conditions of regularity, i.e.,
Now, we superimpose the generalized Nörlund
method on the matrix
method and obtain a new product summability method
which is defined as
If as then (4) is summable to a finite value s by the method. The regularity of and A methods implies the regularity of the product method.
Remark 1. product operator is reduced to
- (i)
operator if
- (ii)
operator if
- (iii)
operator if
- (iv)
operator if
- (v)
operator if where
- (vi)
operator if where
- (vii)
operator if
- (viii)
operator if
- (ix)
operator if and
2.3. Lipschitz Spaces
The norm of
is given by
Lip class of function:
The function
if
2.4. Besov Spaces
Let
denote the Banach space of all
-periodic continuous functions defined on
under the supremum norm and
be the space of all
-periodic integrable functions.
The
-norm of a function
g is defined by
We define for function
the spaces
which is said to be the modulus of continuity.
We define for function
the spaces
which is said to be the
th order modulus of smoothness
Remark 2. - (i)
If ,
- (ii)
If
- (iii)
If and then
- (iv)
If and then
- (v)
If
Let
, be the smallest integer larger than
. For
if
then
(generalized Lipschitz class of function
g).
The semi-norm of (10) is given by
Thus, .
Let
, the Besov
spaces are defined by a collection of all
-periodic functions
given by
Note that (12) is finite [
21].
Moreover, (12) is a semi-norm for
and a quasi semi-norm in cases [
22].
Thus, the quasi-norm for Besov
spaces is given by
2.5. Modulus of Continuity
The modulus of continuity is defined by
The first-order modulus of continuity of function
is defined by
This is also said to be the integral modulus of continuity.
The second-order modulus of continuity of function
is defined by
2.6. Generalized Zygmund Spaces
Let
be an arbitrary function with
for
and
We define
and its norm is given by
We note that the G.Z.S. is a Banach space under the norm .
The completeness of spaces implies the completeness of spaces .
Remark 3. Let be positive and non-decreasing in y,where ϖ and ξ denote the second-order moduli of continuity. Remark 4. - (i)
If , then class reduces to class.
- (ii)
If , then class reduces to class.
- (iii)
If then class reduces to class.
- (iv)
If we take , then class becomes class.
- (v)
Let if and , then is non-decreasing in y and is non-increasing in y.
2.7. Degree of Convergence
The degree of convergence of function
g is a measure of the speed at which
converges to
which is given by ([
23])
where
is a trigonometric polynomial of degree
and
as
.
2.8. Notations
For Besov
spaces,
For generalized Zygmund spaces,
3. Auxiliary Results
The following auxiliary results are required for the proof of the following Theorems.
Lemma 1. If and are monotonic decreasing and monotonic increasing sequences, respectively, then Proof. The proof of this Lemma is straightforward. □
Lemma 2. for .
Proof. For
□
Lemma 3. for
Proof. For
By Abel’s lemma, we obtain
Again, by Abel’s lemma, we obtain
Lemma 4 ([
24])
. For , and for - (i)
- (ii)
- (iii)
where
Lemma 5. Let If then
- (i)
- (ii)
Proof. Proof of this Lemma is parallel to the the proof of Lemma 1 of [
24]. □
Lemma 6 ([
24])
. Let If then Lemma 7 ([
25])
. If then for - (i)
- (ii)
where and are the moduli of continuity of order.
4. Main Results
4.1. Analysis of Convergence of Function in the Besov Norm
In this subsection, we establish a theorem to study the convergence of function g of Fourier series in Besov spaces using the generalized Nörlund Matrix means.
Theorem 1. Let g be a -periodic and Lebesgue integrable function. For , the degree of convergence of function of g of Fourier series in the Besov space, using operator, is given by Proof. Using the integral representation [
26] of
we have
Denoting the
summability mean of
by
, we obtain
In view of (13), Equation (14) can be written as
Now, let us consider the first norm of (20).
Using generalized Minkowski’s inequality [
27] and Lemma 4(iii), we have
Using Hölder’s inequality and (12),
Combining (22)–(24), we have
Now, let us consider the second norm of (20).
Using generalized Minkowski’s inequality [
27], we obtain
Since
for positive
and
for
, then
Combining (27)–(29), we have
Again, using inequality
for positive
and
for
,
Combining (31)–(33), we have
Combining (26), (30) and (34), we have
Combining (20), (25) and (35), we have
□
Remark 5. When
Besov space reduces to generalized Lipschitz class and the corresponding norm is given by Thus, in view of Remark 6, we establish the following theorem to obtain convergence for
Theorem 2. If g is a -periodic and Lebesgue integrable function belonging to the generalized Lipschitz class , then, for the degree of convergence of a function g of Fourier series using the operator is given by Proof. Using (10) in (21), we obtain
Combining (40)–(42), we obtain
Using generalized Minkowski’s inequality [
27], we obtain
Combining (44)–(46), we obtain
Combining (39), (43) and (47), we have
□
The following corollaries are deduced from Theorem 1.
Corollaries
Corollary 1. Following Remark 1(i), the convergence of g of Fourier series in the Besov spaces using the operator is given by Corollary 2. Following Remark 1(i), the convergence of g of Fourier series in the Besov spaces using the operator is given by Remark 6. Other Corollaries can be deduced from Theorem 1 in view of Remark 1(iii) to 1(ix).
4.2. Analysis of the Convergence of Function in the Generalized Zygmund Norm
In this subsection, we establish the following theorem to study the convergence of function g of Fourier series in generalized Zygmund spaces using the generalized Nörlund Matrix means.
Theorem 3. Let g be a periodic and Lebesgue integrable function. Then, the convergence of function g of Fourier series in the generalized Zygmund spaces by means is given bywhere ϖ and ξ denote the moduli of continuity of order two such that is non-negative and non-decreasing. Proof. Using the integral representation [
26] of
we have
Denoting the
transform of
by
, we obtain
Using generalized Minkowski’s inequality, we write
Using Lemmas 2 and 7(ii), we have
Using Lemmas 3 and 7(ii), we have
Using Lemmas 2, 3 and 7(i), we obtain
Using the monotonicity of function
,
Again, the monotonicity of function
yields
From (55) and (56), we obtain
□
In addition to the conditions of Theorem 3, we establish the following theorem.
Theorem 4. Let g be a Lebesgue integrable and a periodic function; thenm, the degree of convergence of function g of Fourier series in the generalized Zygmund spaces by means is given bywhere ϖ and ξ denote the moduli of continuity of order two such that is non-negative and non-increasing. Proof. Following the proof of Theorem 3,
since
is positive and non-increasing; then, by the second mean value theorem of integral calculus,
□
Corollaries
Corollary 3. Let Then Proof. Taking
in (57), we write
Corollary 4. Following Remark 1(i), the convergence of g of Fourier series in the generalized Zygmund spaces by the operator is given bywhere ϖ and ξ denote the moduli of continuity of order two such that is non-negative and non-decreasing. Corollary 5. Following Remark 1 (ii), the convergence of g of Fourier series in the generalized Zygmund spaces by the operator is given bywhere ϖ and ξ denote the moduli of continuity of order two such that is non-negative and non-decreasing. Remark 7. Other Corollaries can be obtained from Theorem 3 in view of Remark 1(iii) to 1(ix).
5. Applications
In this section, we present an application of the convergence of our results.
5.1. Application of the Convergence of Function in the Besov Norm
We have and Taking and , we have and
Now, we construct the
Table 1 then plot graphs for
for different values of
(
Figure 1).
5.2. Application of the Convergence of Function in the Generalized Zygmund Norm
Consider function .
Now, we construct the
Table 2 then plot graphs for
for different values of
(
Figure 2).
6. Conclusions
In Application 1 (
Table 1 and the
Figure 1a–f), we observe that the rate of convergence of
g becomes faster as
increases, i.e.,
as
.
In Application 2 (
Table 2 and the
Figure 2a–f), we observe that the rate of convergence of
g becomes faster as
increases, i.e.,
as
.
The analysis of both convergence results shows that both the norms provide the best approximation. However, the generalized Zygmund norm provides rapid convergence compared to the Besov norm.
Author Contributions
Conceptualization, H.K.N.; methodology, H.K.N. and S.N.; investigation, H.K.N. and S.N.; writing—original draft preparation, H.K.N. and S.N.; writing—review and editing, H.M.S.; visualization, H.K.N.; supervision, H.K.N. and H.M.S. All authors have read and agreed to the published version of the manuscript.
Funding
This research received no external funding.
Institutional Review Board Statement
Not applicable.
Informed Consent Statement
Not applicable.
Data Availability Statement
Not applicable.
Conflicts of Interest
The authors declare no conflict of interest.
References
- Devore, R.A.; Popov, V.A. Interpolation of Besov spaces. Trans. Am. Math. Soc. 1988, 305, 397–414. [Google Scholar] [CrossRef]
- Rhoades, B.E. The degree of approximation of functions and their conjugates belonging to several general Lipschitz classes by Hausdorff matrix means of the Fourier series and conjugate series of a Fourier series. Tamkang J. Math. 2014, 45, 389–395. [Google Scholar] [CrossRef]
- Singh, B.; Singh, U. Some characterizations of Hausdorff matrices and their application to Fourier approximation. J. Comput. Appl. Math. 2020, 367, 112450. [Google Scholar] [CrossRef]
- Nigam, H.K.; Mursaleen, M.; Rani, S. Approximation of function using generalized Zygmund class. Adv. Differ. Equ. 2021, 2021, 34. [Google Scholar] [CrossRef]
- Krishna, N.H. Trigonometric approximation of functions by Hausdorff-Matrix product operators. Nonlinear Funct. Anal. Appl. 2019, 24, 675–689. [Google Scholar]
- Mohanty, M.; Das, G.; Ray, B.K. Degree of approximation of functions by their Fourier series in the Besov space by generalized matrix mean. Int. J. Math. Trends Technol. 2016, 36, 42–55. [Google Scholar] [CrossRef]
- Mittal, M.L.; Singh, M.V. Degree of approximation of signals (functions) in Besov space using linear operators. Asian-Eur. J. Math. 2016, 9, 1650009. [Google Scholar] [CrossRef]
- Singh, M.V.; Mittal, M.L. Approximation of functions in Besov space by deferred Cesàro mean. J. Inequalities Appl. 2016, 2016, 118. [Google Scholar] [CrossRef]
- Singh, M.V.; Mittal, M.L.; Rhoades, B.E. Approximation of functions in the generalized Zygmund class using Hausdorff means. J. Inequalities Appl. 2017, 2017, 101. [Google Scholar] [CrossRef]
- Jafarov, S.Z. Approximation of functions by de la Vallée-Poussin sums in weighted Orlicz spaces. Arab. J. Math. 2016, 5, 125–137. [Google Scholar] [CrossRef]
- Değer, U. On approximation to functions in the W(Lp,ξ(t)) class by a new matrix mean. Novi Sad J. Math. 2016, 46, 1–14. [Google Scholar]
- Değer, U.; Bayindir, H. Approximation by Nórlund and Riesz Type Deferred Cesàro Means in the space Hpϖ. Miskolc Math. Notes 2018, 19, 823–833. [Google Scholar] [CrossRef]
- Değer, U.; Küçükaslan, M. A generalization of deferred Cesàro means and some of their applications. J. Inequalities Appl. 2015, 2015, 14. [Google Scholar] [CrossRef]
- Singh, U.; Soshal. Approximation of periodic integrable functions in terms of modulus of continuity. Acta Comment. Univ. Tartu. Math. 2016, 20, 23–34. [Google Scholar] [CrossRef]
- Jiang, Z.J. On Stević-Sharma operator from the Zygmund space to the Bloch-Orlicz space. Adv. Differ. Equ. 2015, 2015, 228. [Google Scholar] [CrossRef]
- Rhoades, B.E. On the degree of approximation of functions belonging to the weighted (Lp,ξ(t)) class by Hausdorff means. Tamkang J. Math. 2001, 32, 305–314. [Google Scholar] [CrossRef]
- Borwein, D. On product of sequences. J. Lond. Math. Soc. 1958, 33, 352–357. [Google Scholar] [CrossRef]
- Kushwaha, J.K.; Dhakal, B.P. Approximation of a function belonging to Lip(α,r) class by Np,qC1 summability method of its Fourier series. Nepal J. Sci. Technol. 2013, 14, 117–122. [Google Scholar] [CrossRef]
- Prössdorf, S. Zur konvergenz der fourierreihen hölderstetiger funktionen. Math. Nachr. 1975, 69, 7–14. [Google Scholar] [CrossRef]
- Zygmund, A. Trigonometric Series; Cambridge University Press: Cambridge, UK, 1959. [Google Scholar]
- Besov, O.V. On some families of functional spaces-imbedding and continuation theorems. Dokl. Akad. Nauk. SSSR 1959, 126, 1163–1165. [Google Scholar]
- Devore, R.A.; Lorentz, G. Constructive Approximation; Springer: Berlin/Heidelberg, Germany; New York, NY, USA, 1993. [Google Scholar]
- London, B.A. Degree of Approximation of Hölder Continuous Functions. Ph.D. Dissertation, University of Central Florida, Orlando, FL, USA, 2008. [Google Scholar]
- Mohanty, H.; Das, G.; Ray, B.K. Degree of approximation of Fourier series of function in Besov space by (N,pn) mean. J. Orissa Math. Soc. 2011, 30, 13–34. [Google Scholar]
- Lal, S.; Shireen. Best approximation of function of generalized Zygmund class matrix-Euler summability means of Fourier series. Bull. Math. Anal. Appl. 2013, 5, 1–13. [Google Scholar]
- Titchmarsh, E.C. The Theory of Functions; Oxford University Press: Oxford, UK, 1939. [Google Scholar]
- Chui, C.K. An Introduction to Wavelets (Wavelet Analysis and Its Applications); Academic Press: Cambridge, MA, USA, 1992. [Google Scholar]
| Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2023 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).