Abstract
To start with, signals are dealt with as functions of one variable and images are shown by elements of two variables. The investigation of these ideas is directly related to the transpiring area of information technology. The approximation properties of the periodic signals in \(L^{r}\ (r \geq1)\)-spaces, Lipschitz classes Lipα, \(\operatorname{Lip}(\alpha, r)\), \(\operatorname{Lip}(\xi(t), r)\), and a weighted Lipschitz class \(W(L^{r}, \xi( t))\) through a Fourier series, known as the Fourier approximation in the approximation theory, have wide applications in digital filters and signal analysis. The goal of our paper is to concentrate on the approximation properties of the periodic signals (functions) in the Lipschitz classes by almost Riesz means of the Fourier series associated with the function f. We additionally take note of the fact that our outcomes give sharper estimates than the estimates in some of the known results.
Similar content being viewed by others
1 Introduction
The idea of almost convergence was presented by Lorentz in 1948 [1] and has various applications. Several authors, including Ahmad and Mursaleen [2], Lorentz [1], King [3], Mohapatra [4, 5], Nanda [6], and other authors [7–10] have concentrated on almost convergent sequences. As convergence motivates us to study absolute and strong convergence, similarly it was very common to study the ideas of absolute almost and strong almost convergence after the concept of almost convergence. These two concepts of absolute almost and strongly almost convergent sequences have been examined in [11] and [12], respectively.
Fourier series and operators can be considered as representations of a function or signal; they are of incredible significance in both hypothetical and practical areas. For real or complex sequences working with infinite matrices the summability methods of are of three sorts (see Maddox [13], p.185) - strong, absolute, and ordinary. Along a similar line, the idea of almost convergence must give rise to three types of summability methods - strongly almost, absolutely almost and almost. The almost summable sequences have been examined in [3, 14] and some other references.
The error (degree) of approximation of signals f belonging to the Lipα, \(\operatorname{Lip}(\alpha, r)\), \(\operatorname{Lip} ( \xi(t), r )\), and \(W ( L^{r}, \xi(t) )\)-classes by Nörlund (\({N}_{p}\)) and matrix summability methods has been addressed by different researchers, for example, Khan [15, 16], Mishra and Mishra [17], Mishra et al. [18–22], Deepmala et al. [23]. Be that as it may, till now, nothing appears to have been done as such far to get the error in approximation of signals belonging to \(W (L^{r}, \xi(t))\) (\(r \ge1\)) space using an almost Riesz means of its Fourier series. In this manner in this paper, other results on the degree of approximation of signal \(f \in W (L^{r}, \xi(t))\) (\(r \ge1\)) by almost Riesz means of its infinite Fourier series have been built up.
Let the spaces of all convergent and bounded sequences be represented by c and \(l_{\infty}\), respectively. Also, \(c \subset l_{\infty}\). The idea of a Banach limit comes from the well-known Hahn-Banach extension theorem in the theory of sequences spaces. The concept of almost convergence was introduced by Lorentz [1] as another kind of convergence by using the concept of a Banach limit.
A bounded sequence \(x= (x_{k})\) is called almost convergent to the number ℓ if and only if
We shall represent by F the space of almost convergent sequences and we write \(\ell=F\mbox{-} \lim x\).
Note that a convergent sequence is almost convergent and its limit and its generalized limit both are identical, but an almost convergent sequence need not be convergent.
For example, the sequence \(z= (z_{n})\) with
is almost convergent to the finite limit \(1/2\) but not convergent.
If \(n = 1\) in (1) then we get Cesàro summability of order 1 i.e. \((C, 1)\) convergence, and in this case we write symbolically \(x_{{k}} \rightarrow\ell(C, 1)\); where \(\ell= (C, 1)\mbox{-} \lim x\).
Most of the commonly used matrix methods contain the method F, for example every almost convergent sequence is also a Cesàro means of order α i.e. \((C, \alpha)\) and the Euler means of order α i.e. \((E, \alpha)\)-summable (\(\alpha>0\)) to its F-limit.
Let \(C[a, b]\) denote the spaces of all continuous functions f defined on \([a, b]\). We know that \(C[a, b]\) is a Banach space under the norm defined by \(\Vert f \Vert_{\infty}:=\sup_{a \le x \le b} \vert f(x) \vert \), \(f \in C[a, b]\). Consider a sequence of linear operators \(T_{n}: C[a, b]\rightarrow C[a,b]\). We write \(T_{n} (f, x)\) for \(T_{n}(f (t), x)\) and we say that its limit operator i.e. T is a non-negative operator if \(T(f, x) \geq0\) for all \(f (x) \geq0\).
For a given 2π-periodic signal \(f \in L^{p}: = L^{p} [ 0, 2 \pi ]\), \(p \ge1\), which is Lebesgue integrable. Then the Fourier series of \(f(x)\) at any point ‘x’ given by
with the \((n+1)\)th partial sum \(s_{n}(f; x)\) called a trigonometric polynomial of order (or degree) n and given by
A signal \(f \in \operatorname{Lip} \alpha\), if
A signal \(f \in \operatorname{Lip} (\alpha, r)\) for \(a \le x \le b\) if
where M is constant (absolute positive), not essentially the same at each occurrence [24]. We have
A signal \(f \in W ( L^{r}, \xi(t) )\) [15] if
where \(\xi(t)\) is positive increasing function of t.
If \(\beta= 0\) then the generalized weighted Lipschitz \(W ( L^{ r}, \xi(t) )\ (r \ge1) \)-class reduces to the \(\operatorname{Lip} (\xi(t), r)\) class, if \(\xi(t) = t^{ \alpha}\) then \(\operatorname{Lip} (\xi(t), r)\) class coincides with the previous class \(\operatorname{Lip}(\alpha, r)\) and if \(r \to\infty\) then \(\operatorname{Lip}(\alpha, r)\) is converted to the Lipα class.
The \(L_{\infty} \)-norm of a signal (function) \(f: R \to R\) is defined by \(\Vert f \Vert _{ \infty} = \sup_{x \in R} \{ \vert f ( x ) \vert \}\).
The \(L_{ r} \)-norm of a signal (function) is defined by \(\Vert f \Vert _{ r} = ( \int_{0}^{ 2 \pi} \vert f(x) \vert ^{ r}\, dx )^{1 / r}\), \(1 \le r < \infty\).
The space \(L_{ r}[0,2\pi]\) with \(r = \infty\) includes the space \(C_{ 2 \pi}\) of all 2π-periodic continuous functions defined on \([0,2\pi]\), where \(C_{ 2 \pi}\) represents the Banach space of all 2π-periodic continuous functions over \([0,2\pi]\).
The error (degree) of approximation of a function \(f: R \to R\) by a trigonometric polynomial \(t_{n}\) of order n under sup norm \(\Vert \ \Vert _{ \infty}\) is given by [25]
and \(E_{n}(f)\) of a signal \(f \in L_{ r}\) is defined by \(E_{n}(f) = \min_{n} \Vert t_{n} - f \Vert _{ r}\).
This method of approximation is called a trigonometric Fourier approximation (tfa).
Let \(\sum a_{n}\) be an infinite series with the sequence of its partial sums \(\{ s_{n} \}\). Let \(\{ p_{n} \}\) be a non-negative, non-decreasing, generating sequence of constants, which may be real or complex for the \((R, p_{n})\) or \(R_{p} \)-method such that \(P_{n} = \sum_{\gamma= 0}^{n} p_{\gamma} \ne0\) \(\forall n \ge0\), \(P_{ - 1} = p_{ - 1} = 0\) and \(P_{n} \to\infty\) as \(n \to\infty\).
The transformation (from sequence to sequence) \(t_{n} = \sum_{k = 0}^{ n} ( p_{k}/ P_{n} ) s_{k}\) defines the sequence \(\{ t_{n} \}\) of the Riesz \((R, p_{n})\) transforms of the sequence \(\{ s_{n} \}\), generated by the sequence of coefficients \(\{ p_{n} \}\). The infinite series \(\sum a_{n}\) is called Riesz summable \((R, p_{n})\) to the sum ‘s’ if \(\lim_{n \to\infty} t_{n}\) exists and equals a finite number ‘s’.
A bounded sequence \(\{ s_{k} \}\) of kth partial sums of an infinite Fourier series (2) is called [1] almost convergent to s, if
uniformly with respect to r.
An infinite series \(\sum u_{ n}\) with the sequence of its partial sums \(\{ s_{ n} \}\) of Fourier series (2) is called almost Riesz summable [26] to a finite number ‘s’, provided
uniformly with respect to r, where \(s_{k, r} = \frac{1}{k + 1} \sum_{\gamma= r}^{r + k} s_{ \gamma}\).
A bounded sequence \(\{ s_{k} \}\) is called almost Riesz summable to ‘s’ if the Riesz-transform of \(\{ s_{k} \}\) is almost convergent to a finite number ‘s’ (see King (1966) [3]).
The necessary and sufficient condition for the regularity of Riesz transform \((R, p_{n})\) is that \(P_{n} \to\infty\) as \(n \to\infty\) ([27]; see Theorem 1.4.4 of Petersen (1966), p.10).
We write throughout the paper
The notation \(\tau= [ 1 / t]\) means the greatest integer contained in ‘\(1/t \)’.
2 Main result
Hardy and Littlewood [28] have determined without verification that the class of functions \(\operatorname{Lip} (\alpha, p)\) is the same as the class of functions approximable in the \(L_{r}\)-norm with degree of approximation \(\mathrm{O}(n^{- \alpha} )\), by trigonometric polynomials of order n. A trigonometric Fourier approximation, began from a well-known theorem of approximation theory i.e. the Weierstrass approximation theorem, which has turned into an energizing interdisciplinary field of study throughout the previous 130 years. These approximations have expected vital new dimensions due to their extensive variety of uses in signal theory [29], in general and digital signal processing [30]; in particular, in view of classical Shannon sampling theorem [19]. The above mentioned examination inspired us to study further the problem of the approximation of functions in weighted Lipschitz class i.e. \(W(L^{r}, \xi(t))\). A few more applications of sharper estimates and trigonometric Fourier approximation can be found in [19, 29–33], and the references given therein. In this study, the summability transforms play a vital part, especially when the Fourier series of a signal (function) is non-convergent. During the past few decades, different strategies for planning digital filters have been suggested. It is worth to specify that the best-known techniques use as approximation criterion the minimization of the \(L_{p}\)-measure \(1\leq {p} \leq\infty\). Thus the designing of digital filters has been recognized as an approximation problem. Here we are interested in approximations of signals in \({L}_{1}\)-space. In this paper, we utilize the idea of an almost Riesz summability transform of the Fourier series with a suitable set of conditions and prove the following theorem.
Theorem 1
Assume f is a 2π-periodic signal (function) and integrable in the sense of Lebesgue over \([0, 2 \pi]\). Then the degree of approximation of \(f \in W(L^{r}, \xi(t))\ (r \ge1) \)-class with \(0 \le \beta\le1 - 1 / r\) by an almost Riesz means of its Fourier series (2) is given by
provided that the positive increasing function \(\xi(t)\) has the following features:
and
where δ is an arbitrary number such that \(( \beta- \delta ) s - 1 > 0\), \(r^{ - 1} + s^{ - 1} = 1\), \(1 \le r \le\infty\), and conditions (5) and (6) hold uniformly in x.
Note 1
Using condition (4), we get the inequality \(\xi ( \frac{\pi}{P_{n}} ) \le\pi\xi ( \frac{1}{P_{n}} )\), for \(( \frac{\pi}{P_{n}} ) \ge ( \frac{1}{P_{n}} )\).
3 Proof of Theorem 1
The partial sum \(s_{k, r}(f(t), x)\) of the Fourier series (2) is given by
Representing the almost Riesz means of partial sums \(s_{ k, r} ( f (t), x )\) by \(\tau_{n, r} (f(t); x)\), we can write
Obviously
Hence, by Minkowski’s inequality, we get
Then \(f \in W ( L^{r},\xi ( t ) ) \Rightarrow\psi_{x} \in W ( L^{r},\xi ( t ) )\).
Here
Using Hölder’s inequality, \(\psi_{x} ( t ) \in W ( L^{r},\xi ( t ) )\) over \([0, \pi]\), equation (5), Note 1, \(( \sin t / 2 )^{ - 1} \le\pi/ t\), for \(0 < t \le \pi\), \(\vert \sin n t \vert \le n \vert \sin t \vert \) \(\forall t \in R\), \(n \in N\), \(r^{ - 1} + s^{ - 1} = 1\) such that \(1 \le r \le\infty\), we have
Now
Now again by Hölder’s inequality, we find
and using \(( \sin t / 2 )^{ - 1} \le\pi/ t\), on \(0 < t \le \pi\), \(\vert \sin t / 2 \vert \le1\), conditions (4), (6), Note 1, and the second mean value theorem for integrals, we get
On collecting (7)-(9), we have
Now, using the \(L_{ r}\)-norm of function, we obtain
This completes the proof of Theorem 1.
4 Corollaries
The following corollaries can be derived from our main Theorem 1.
Corollary 1
If \(\beta= 0\), then the generalized weighted Lipschitz \(W ( L^{r}, \xi(t) )\ (r \ge1) \)-class reduces to the class \(\operatorname{Lip} ( \xi(t), r )\) and the error in approximation of a function f, belonging to the class \(\operatorname{Lip} ( \xi(t), r )\), is given by
Proof
The result follows by putting \(\beta= 0\) in (3); we get
Thus, we get
This completes the proof of Corollary 1. □
Corollary 2
If \(\beta= 0\), \(\xi(t) = t^{\alpha}\), \(0 < \alpha\le1\), then the generalized weighted Lipschitz \(W ( L^{r}, \xi(t) )\ (r \ge1) \)-class reduces to the class \(\operatorname{Lip} ( \alpha, r )\), \((1 / r) < \alpha< 1\) and the degree of approximation of a function f belonging to the class \(\operatorname{Lip} ( \alpha, r )\), is given by
Proof
Putting \(\beta= 0\), \(\xi(t) = t^{\alpha}\), \(0 < \alpha\le 1\) in Theorem 1, we have
or
or
since otherwise the right-hand side of the above equation will not be \(\mathrm{O}(1)\).
Hence
which is one of the results of Mishra et al. [34]. □
Corollary 3
If \(\beta= 0\), \(\xi ( t ) = t^{\alpha}\) for \(0 < \alpha< 1\) and \(r \to\infty\) in (3), then \(f \in\operatorname{Lip} \alpha\). In this case, the degree of approximation of a function f belonging to the class Lipα (\(0 < \alpha< 1\)) is given by
Proof
For \(r \to\infty\) in Corollary 2, we get
Thus, we have
This completes the proof of Corollary 3. □
5 Conclusion
A few interesting results with respect to the error in the approximation of periodic signals (functions) belonging to the different Lipschitz classes by almost convergent sequences have been audited. Further, a suitable arrangement of limitations has been examined to the errors in this direction. Some interesting uses of the approximation of signals utilized as a part of this manuscript have additionally been highlighted. The consequences of our theorem and corollaries are broader as opposed to the consequences of whatever other already demonstrated lemmas and theorems; they will be an advance of the theory of applications of summability analysis in the theory of approximations. The study of the degree of approximation of signals in other function spaces such as the Hölder, Zygmund classes and so on, might be of future interest for investigators in this direction. The scientists and experts working or expecting to work in the areas of analysis and its applications will find this exploration article to be altogether important. Henceforth, the results so settled may be found to be helpful and fascinating under circumstances showing up in the literature on mathematics and applications.
References
Lorentz, GG: A contribution to the theory of divergent series. Acta Math. 80, 167-190 (1948)
Ahmad, ZU, Mursaleen, M: An application of Banach limits. Proc. Am. Math. Soc. 103(1), 244-246 (1988)
King, JP: Almost summable sequences. Proc. Am. Math. Soc. 17, 1219-1225 (1966)
Mohapatra, RN: Quantitative results on almost convergence of a sequence of positive linear operators. J. Approx. Theory 20(3), 239-250 (1977)
Mohapatra, RN: Functions of class \(\operatorname{Lip} (\alpha, p)\) and their Taylor mean. J. Approx. Theory 45(4), 363-374 (1985)
Nanda, S: Some sequence spaces and almost convergence. J. Aust. Math. Soc. A 22, 446-455 (1976)
Mursaleen, M, Mohiuddine, SA: Convergence Methods for Double Sequences and Applications. Springer, Berlin (2014)
Mohiuddine, SA: An application of almost convergence in approximation theorems. Appl. Math. Lett. 24, 1856-1860 (2011)
Edely, OHH, Mohiuddine, SA, Noman, AK: Korovkin type approximation theorems obtained through generalized statistical convergence. Appl. Math. Lett. 23, 1382-1387 (2010)
Mohiuddine, SA, Alotaibi, A: Korovkin second theorem via statistical summability \((C; 1)\). J. Inequal. Appl. 2013, Article ID 149 (2013)
Das, G, Kuttner, B, Nanda, S: Some sequence spaces and absolute almost convergence. Trans. Am. Math. Soc. 283(2), 729-739 (1984)
Maddox, IJ: A new type of convergence. Math. Proc. Camb. Philos. Soc. 83, 61-64 (1978)
Maddox, IJ: Elements of Functional Analysis. Cambridge University Press, Cambridge (1970)
Schaefer, P: Almost convergent and almost summable sequences. Proc. Am. Math. Soc. 20, 51-54 (1969)
Khan, HH: On the degree of approximation to a function belonging to weighted \((L^{p}, \xi(t))\) class. Aligarh Bull. Math. 3/4, 83-88 (1973-1974)
Khan, HH: On the degree of approximation to a function by triangular matrix of its conjugate Fourier series II. Indian J. Pure Appl. Math. 6, 1473-1478 (1975)
Mishra, VN, Mishra, LN: Trigonometric approximation of signals (functions) in \({L}_{{p}}\ ({p} \geq1)\)-norm. Int. J. Contemp. Math. Sci. 7(19), 909-918 (2012)
Mishra, VN, Khatri, K, Mishra, LN, Deepmala: Trigonometric approximation of periodic signals belonging to generalized weighted Lipschitz \(W' ( L^{r}, \xi(t) )\ (r \ge 1) \)-class by Nörlund-Euler \((N, {p}_{{n}})( {E}, q)\) operator of conjugate series of its Fourier series. J. Class. Anal. 5(2), 91-105 (2014)
Mishra, LN, Mishra, VN, Khatri, K, Deepmala: On the trigonometric approximation of signals belonging to generalized weighted Lipschitz \(W ( L^{r}, \xi(t) )\ (r \ge 1) \)-class by matrix \((C^{1}\cdot N_{p})\) operator of conjugate series of its Fourier series. Appl. Math. Comput. 237, 252-263 (2014)
Mishra, VN, Khan, HH, Khatri, K, Mishra, LN: Degree of approximation of conjugate of signals (functions) belonging to the generalized weighted Lipschitz \(W(L_{r}, \xi(t))\ (r \geq 1)\)-class by \((C,1)\) \((E,q)\) means of conjugate trigonometric Fourier series. Bull. Math. Anal. Appl. 5(4), 40-53 (2013)
Mishra, VN, Khan, HH, Khatri, K, Mishra, LN: On approximation of conjugate of signals (functions) belonging to the generalized weighted \(W(L_{r}, \xi(t))\ (r \geq 1)\)-class by product summability means of conjugate series of Fourier series. Int. J. Math. Anal. 6(35), 1703-1715 (2012)
Mishra, VN, Khatri, K, Mishra, LN: Approximation of functions belonging to the generalized Lipschitz class by \(C^{1}\cdot N_{p}\) summability method of conjugate series of Fourier series. Mat. Vesn. 66(2), 155-164 (2014)
Deepmala, Mishra, LN, Mishra, VN: Trigonometric approximation of signals (functions) belonging to the \(W(L_{r}, \xi(t))\ (r \geq 1)\)-class by \((E, q)\ (q > 0)\)-means of the conjugate series of its Fourier series. Glob. J. Math. Sci. 2(2), 61-69 (2014)
McFadden, L: Absolute Nörlund summability. Duke Math. J. 9, 168-207 (1942)
Zygmund, A: Trigonometric Series, vols. I and II, 2nd edn. Cambridge University Press, London (1968)
Sharma, PL, Qureshi, K: On the degree of approximation of a periodic function by almost Riesz means. Ranchi Univ. Math. J. 11, 29-43 (1980)
Petersen, GM: Regular Matrix Transformations. McGraw-Hill, London (1966)
Hardy, GH, Littlewood, JE: A convergence criterion for Fourier series. Math. Z. 28, 612-634 (1928)
Proakis, JG: Digital Communications. McGraw-Hill, New York (1995)
Psarakis, EZ, Moustakides, GV: An \({L}_{2} \)-based method for the design of 1-D zero phase FIR digital filters. IEEE Trans. Circuits Syst. I, Fundam. Theory Appl. 44(7), 591-601 (1997)
Chen, WK: Mathematics for Circuits and Filters. CRC Press, Boca Raton (2000)
Banach, S: Théorie des Operations Lineaires. Instytut Matematyczny Polskiej Akademi Nauk, Warsaw (1932)
Gil’, MI: Estimates for entries of matrix valued functions of infinite matrices. Math. Phys. Anal. Geom. 11, 175-186 (2008)
Mishra, VN, Khan, HH, Khan, IA, Mishra, LN: On the degree of approximation of signals of \(\operatorname{Lip} (\alpha, r)\ (r \geq1)\)-class by almost Riesz means of its Fourier series. J. Class. Anal. 4(1), 79-87 (2014)
Acknowledgements
The first author is thankful to have been enabled to carry out this work under the project on Optimization and Reliability Modelling of Indian Statistical Institute.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests regarding the publication of this manuscript.
Authors’ contributions
D and L-IP computed the approximation properties of the periodic functions by an almost Riesz means of the Fourier series in the Lipschitz classes. Both authors contributed equally and significantly in writing this manuscript. Both 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 (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided 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
Deepmala, Piscoran, LI. Approximation of signals (functions) belonging to certain Lipschitz classes by almost Riesz means of its Fourier series. J Inequal Appl 2016, 163 (2016). https://doi.org/10.1186/s13660-016-1101-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-016-1101-5