- Research
- Open access
- Published:
Functional approximation in Besov space using generalized Nörlund–Hausdorff product matrix
Journal of Inequalities and Applications volume 2019, Article number: 191 (2019)
Abstract
In the present work, a best approximation of a function f in Besov space using the generalized Nörlund–Hausdorff \((N_{pq}\triangle _{H})\) product means, for the two different cases \(1<\sigma <\infty, \rho \geq 1, 0\leq \eta <\nu <2\) and \(\sigma =\infty, 0\leq \eta < \nu <2\), has been obtained. Our theorem generalizes the results of (Kyungpook Math. J. 50:545–556, 2010; Int. J. Appl. Math. 24(4):479–490, 2011; Nepal J. Sci. Technol. 14(2):117–122, 2013; Ultra Sci. Phys. Sci. 14(1): 53–58, 2002). Thus, the results of (Kyungpook Math. J. 50:545–556, 2010; Int. J. Appl. Math. 24(4):479–490, 2011; Nepal J. Sci. Technol. 14(2):117–122, 2013; Ultra Sci. Phys. Sci. 14(1): 53–58, 2002) become particular cases of our theorem. We also obtain some useful corollaries from our theorem.
1 Introduction
Besov space serves to generalize more elementary functional spaces like Sobolov spaces, Lipschitz spaces, Hölder spaces, and generalized Hölder spaces. It is important to note that Besov space is effective at measuring regularity properties of functions.
Several researchers like those of [3, 5,6,7,8,9] have obtained a degree of approximation of certain functions in different functional spaces such as Lipschitz space and Hölder spaces using single and product summability means. Therefore, in the present work, we obtain the degree of approximation of a function in a Besov space using generalized Nörlund–Hausdorff \((N_{pq}\triangle _{H})\) product means, which provide a more general estimate than those of [1,2,3,4].
2 Preliminaries
From [10] we define the following:
Let \(C_{2\pi }:=C[0,2\pi ]\) denote the Banach space of all 2π-periodic continuous function defined on \([0,2\pi ]\) under the supremum norm and
be the space of all 2π-periodic integrable functions.
The \(L_{\rho }\)-norm of a function f is defined by
The modulus of continuity of a function f in \(L_{\rho }\) space is defined by
The kth order modulus of smoothness of a function f in \(L_{\rho }\) space is defined by
Remark 1
-
(i)
For \(\rho =\infty, k=1\) and a continuous function f, the modulus of smoothness \(w_{k}(f,l)_{\rho }\) reduces to the modulus of continuity \(w(f,l)\).
-
(ii)
For \(0<\rho <\infty \), \(k=1\) and a continuous function f, \(w_{k}(f,l)_{\rho }\) becomes the integral modulus of continuity of first order \(w(f,l)_{\rho }\).
Remark 2
If a function f belongs to \(C_{2\pi }\) and \(w(f,l)=O(l^{\nu })\), for \(0<\nu \leq 1\), then the function f belongs to Lipν. If the function f belongs to \(L_{\rho }, 0<\rho < \infty \), and \(w(f,l)_{\rho }=O(l^{\nu })\), \(0<\nu \leq 1\), then the function f belongs to \(\operatorname{Lip}(\nu,\rho )\).
If \(\rho =\infty \) in class \(\operatorname{Lip}(\nu,\rho )\) then \(\operatorname{Lip}(\nu,\rho )\) class reduces to the class Lipν. Thus,
Consider \(\nu >0\), \(k>\nu \) i.e., \(k=[\nu ]+1\), where k is the smallest integer.
For \(f\in L_{\rho }\), if
then the function \(f\in \operatorname{Lip}^{*}(\nu,\rho )\) (generalized Lipschitz class) and in this case the seminorm is given by
Thus,
Remark 3
We are not representing here the definition of well-known Hölder spaces \(H_{\nu }\) and \(H_{\nu,\rho }\). The reader can consult [11] for detailed work on these spaces, It can be noted that [11, 12]:
-
(1)
\(H_{\nu } \subseteq H_{\eta }\subseteq C_{2\pi }\) for \(0<\eta \leq \nu \leq 1\) (\(H_{\nu }\) is a Banach space),
-
(2)
\(H_{\nu,\rho } \subseteq H_{\eta,\rho } \subseteq L_{ \rho }\) for \(0<\eta \leq \nu \leq 1\), \(H_{\nu,\rho }\) is a Banach space for \(\rho \geq 1\) and a complete ρ-normed space for \(0<\rho <1\).
Let \(\nu >0\) be given, and let \(k=[\nu ]+1\). For \(0<\rho, \sigma \leq \infty \), the Besov space \(B_{\sigma }^{\nu }(L_{\rho })\) is a collection of all the functions (2π-periodic) \(f\in L_{\rho }\) such that
is finite [13].
Note 1
From (2) and (3) it is observed that, for \(\sigma = \infty \), \(B_{\infty }^{\nu }(L_{\rho })=\operatorname{Lip}^{*}(\nu,\rho )\). Then the following cases are obtained:
-
(i)
If we take \(0<\nu \leq 1, 0<\rho <\infty \), then \(\operatorname{Lip}^{*} {(\nu,\rho )}\) reduces to the \(\operatorname{Lip}{(\nu, \rho)}\) class.
-
(ii)
If we take \(\rho \to \infty \) then \(\operatorname{Lip}(\nu,\rho )\) reduces to Lipν class.
It is observed that (4) is a seminorm if \(1\leq \rho, \sigma \leq \infty \) but a quasi-seminorm in other cases [10]. In this way, the quasi-norm for Besov space \(B_{\sigma }^{\nu }(L_{\rho })\) is given by
Remark 4
-
1.
If \(0<\nu <1\), the space \(B_{\infty }^{\nu }(L_{\rho })\) reduces to the space \(H_{\nu,\rho }\) [14].
-
2.
If \(\rho =\infty =\sigma\) and \(0<\nu <1\), the Besov space reduces to the space \(H_{\nu }\) [15].
The δ-order error of approximation of a function \(f\in C_{2 \pi }\) is defined by
where \(t_{\delta }\) is a trigonometric polynomial of degree δ [16].
If \(E_{\delta }(f)\to 0\) as \(\delta \to \infty \), the \(E_{\delta }(f)\) is said to be the best approximation of f [16].
Let \(\sum_{\delta =0}^{\infty }u_{\delta }\) be an infinite series such that \(s_{j}=\sum_{i=0}^{j}u_{i}\).
The δth partial sum of the Fourier series (F. S.) is denoted by \(s_{\delta }(f;y)\) and is given by [16]
A Hausdorff matrix is a lower triangle matrix with entries
where \(\triangle \mu _{m}=\mu _{m}-\mu _{m+1}\) and \(\triangle ( \triangle ^{\delta }\mu _{m})=\triangle ^{\delta +1}\mu _{m}\).
If \(t_{\delta }^{\triangle _{H}}=\sum_{j=0}^{\delta }h_{\delta,m}s _{j}\) as \(\delta \to \infty \), then the series \(\sum_{\delta =0}^{ \infty } u_{\delta }\) is said to be summable to the sum s by the Hausdorff method (\(\triangle _{H}\) means).
The Hausdorff matrix H is regular, i.e., H preserves the limit of each convergent sequence iff
where the mass function \(\nu \in BV[0,1]\), \(\nu (0+)=\nu (0)=0\), and \(\nu (1)=1\). In this case, \(\mu _{\delta }\) has the representation [17]
Considering the two sequences \(\{p_{\delta }\}\) and \(\{q_{\delta }\}\), we write
then the generalized Nörlund means \((N_{p,q})\) of the sequence \(\{s_{\delta }\}\) is denoted by the sequence \(t_{\delta }^{pq}\). If \(t_{\delta }^{pq}\to s,\text{ as } \delta \to \infty \) then the series \(\sum_{\delta =0}^{\infty }u_{\delta }\) is said to be summable to s by \(N_{p,q}\) method and is denoted by \(s_{\delta }\to s(N_{p,q})\) [18].
The necessary and sufficient conditions for a \(N_{p,q}\) method to be regular are
for every fixed \(k\geq 0\) for which \(q_{k}\neq 0\) [19].
The \(N_{p,q}\) transform of the \(t_{\delta }^{\triangle _{ H}}\) transform defines the \(N_{pq}\triangle _{H}\) product transform and its δth partial sum is denoted by \(t_{\delta }^{N_{pq} \triangle _{H}}\). Thus,
If \(t_{\delta }^{N_{pq} \triangle _{H}}\to s\) as \(\delta \to \infty \), then \(\sum_{\delta =0}^{\infty } u_{\delta }\) is summable by \(N_{pq} \triangle _{H}\) product means to s. We have
Note 2
-
(i)
△H means reduces to \(C^{\alpha }\) means if \(\nu (z)=\varPi _{k=1}^{\alpha }z^{k},\alpha \geq 1\).
-
(ii)
△H means reduces to \(E^{q}\) if \(h_{\delta,m}= \binom{\delta }{m} \frac{q^{\delta -m}}{(1+q)^{\delta }},0\leq m \leq \delta \).
-
(iii)
\(N_{p,q}\) reduces to \(N_{p}\) means if \(q=1\).
Remark 5
We define the following particular cases of the product means \(N_{pq}\triangle _{H}\):
-
(i)
\(N_{p,q} \triangle _{H}\) means reduces to \((N,p,q)(C,\alpha )\) or \(N_{pq}C^{\alpha }\) means in view of Note 2(i).
-
(ii)
\(N_{p,q} \triangle _{H}\) means reduces to \((N,p,q)(E^{q})\) or \(N_{pq}E^{q}\) means in view of Note 2(ii).
-
(iii)
\(N_{p,q} \triangle _{H}\) means reduces to \(N_{p} \triangle _{H}\) means in view of Note 2(iii).
Note 3
-
(i)
Above particular case (i) in remark 5 is further reduced to \(N_{p,q}C ^{1}\) for \(\alpha =1\).
-
(ii)
Above particular case (ii) in remark 5 is further reduced to \(N_{p,q}E^{1}\) for \(q=1\).
-
(iii)
Above particular case (iii) in remark 5 is further reduced to \(N_{p}C^{\alpha }\) in view of Note 2(i) and then to \(N_{p}C^{1}\) for \(\alpha =1\).
-
(iv)
Above particular case (iii) in remark 5 is further reduced to \(N_{p}E^{q}\) in view of Note 2(ii) and then to \(N_{p}E^{1}\) for \(q=1\).
We write
Remark 6
We prove the following additional results that will be used in the proof of our theorem.
Proof
(i) We have
□
Proof
(ii) By definition of \(w_{k}(f,l)_{\rho }\), we have
□
3 Main theorem
Theorem 3.1
For a function f (2π-periodic and Lebesgue integrable) for \(0\leq \eta <\nu <2\), the best error approximation of f in the Besov space \(B_{\sigma }^{\nu }(L_{\rho }), \rho \geq 1,1<\sigma \leq \infty \) by \(N_{pq} \triangle _{H}\) transform of its FS is given by
4 Lemmas
Lemma 4.1
If \(\{p_{\delta }\}\) and \(\{q_{\delta }\}\) are monotonic increasing and monotonic decreasing, respectively, then
Proof
□
Lemma 4.2
\(M_{\delta }(u)=O (\delta +1 )\) for \(0< u\leq \frac{1}{ \delta +1}\).
Proof
For \(0< u\leq \frac{1}{\delta +1}\), \(\sin (\frac{u}{2})\geq \frac{u}{ \pi }\), \(\sin (v+\frac{1}{2})u \leq (v+\frac{1}{2})u\) and \(\sup_{0\leq z\leq 1}|\nu ^{\prime }(z)|=N\) we have
□
Lemma 4.3
If \(\{p_{\delta }\}\) and \(\{q_{\delta }\}\) are monotonic increasing and monotonic decreasing sequences, respectively, then
Proof
For \(\frac{1}{\delta +1}< u\leq \pi \), \(\sin ^{2}\delta u \leq 1\), \(\sin (\frac{u}{2})\geq \frac{u}{\pi }\) and \(\sup_{0\leq z \leq 1}| \nu ^{\prime }(z)|=N\)
First, we solve
Using Abel’s lemma and Lemma 4.1, we have
□
Lemma 4.4
Let \(1\leq \rho \leq \infty \) and \(0<\nu <2\). If \(f\in L_{\rho }\) then for \(0< l, u\leq \pi \)
-
(i)
\(\Vert \Phi (\cdot,l,u)\Vert _{\rho } \leq 4w_{k}(f,l)_{ \rho }\),
-
(ii)
\(\Vert \Phi (\cdot,l,u)\Vert _{\rho } \leq 4w_{k}(f,u)_{ \rho }\),
-
(iii)
\(\Vert \Phi _{.}(u)\Vert _{\rho }\leq 2w_{k}(f,u)_{ \rho }\),
where \(k=[\nu ]+1\).
Proof
The proof of above lemma can be obtained along the same lines of the proofs of Lemma 2 in [20]. □
Lemma 4.5
Let \(0 \leq \eta <\nu <2\). If \(f\in B_{\sigma }^{\nu }(L_{\rho }),\rho \geq 1, 1<\sigma <\infty \), then
Proof
The part of above lemma can be established along the same lines of the proofs of Lemma 2 in [20]. □
Lemma 4.6
([20])
Let \(0\leq \eta <\nu <2\) and if \(f\in B_{\sigma } ^{\nu }(L_{\rho }),\rho \geq 1,\sigma =\infty \), then
5 Proof of the main theorem
5.1 Case I: for \(1<\sigma <\infty, \rho \geq 1, 0 \leq \eta < \nu <2\)
Proof
Following [16], we have
Denoting the Hausdorff matrix summability transform of \(s_{\delta }(y)\) by \(t_{\delta }^{\triangle _{H}}(y)\), we get
The \(N_{pq}\) transform of \(t_{\delta }^{\triangle _{H}}(y)\), denoted by \(t_{\delta }^{N_{pq} \triangle _{H}}(y)\), is given by
Replacing l by u
Let
Using the definition of the Besov norm given by (5), we have
Now using (6) and Lemma 4.4(iii)
Using Hölder’s inequality and definition of Besov space given in (4), we get,
Now using Lemma 4.2, we have
Using Lemma 4.3, we have
Using the generalized Minkowski inequality [21] repeatedly and Lemma 4.5, we get
Since \((a+b)^{\rho} \leq a^{\rho}+b^{\rho}\) for positive a, b and \(0 < \rho \leq 1\) for \(\rho=1-\frac{1}{\sigma} <1\), then
Using Lemma 4.2, we have
Using Lemma 4.3, we have
Since \((a+b)^{\rho} \leq a^{\rho}+b^{\rho}\) for positive a, b and \(0 < \rho \leq 1\) for \(\rho=1-\frac{1}{\sigma} <1\), then
Using Lemma 4.2, we have
Using Lemma 4.3, we have
Combining (20), (24) and (28), we get
From (14), (19) and (29), we get
Case II: For \(\sigma=\infty,0\leq \eta <\nu <2\).
Using Lemma 4.2, we get
Using Lemma 4.3, we get
Using the generalized Minkowski inequality [21] and Lemma 4.6, we get
Using Lemma 4.2, we get
Using Lemma 4.3, we get
Combining (31), (35) and (39) we obtain
□
6 Corollaries
Corollary 6.1
The error approximation of a function \(f \in B_{\sigma}^{\nu}(L_{p})\), \(\rho \geq 1\), \(1<\sigma \leq \infty\) by \(N_{p,q}C^{\alpha}\) means of its F. S is given by
Corollary 6.2
The error approximation of a function \(f \in B_{\sigma }^{\nu }(L_{\rho }), \rho \geq 1, 1<\sigma \leq \infty \) by \(N_{pq} E^{q}\) means of its FS is given by
Remark 7
Corollaries 6.1, 6.2 can be further reduced for \(N_{p,q} C^{1}\) and \(N_{p,q} E^{1}\) means, respectively in view of Note 3(i), (ii).
Corollary 6.3
The error approximation of \(f \in B_{\sigma } ^{\nu }(L_{\rho }), \rho \geq 1, 1<\sigma \leq \infty \) by \(N_{p} \triangle _{H}\) means of its F. S is given by
Remark 8
Corollary 6.3 can be further reduced for \(N_{p}C^{ \alpha }, N_{p}C^{1}, N_{p}E^{q},N_{p}E^{1}\) in view of Note 3(iii), (iv).
7 Particular cases
-
7.1.
Using Note 1(ii) and Note 3(iv) and by putting \(\eta =0\) in our result, our theorem becomes a particular case of main theorem of [4].
-
7.2.
Using Note 1(i) and Note 3(iii) and by putting \(\eta =0\) in our result, our main theorem becomes a particular case of main theorem of [1].
-
7.3.
Using Note 1(i) and Note 3(i) by putting \(\eta =0\) in our result, our main theorem becomes a particular case of main theorem of [3].
-
7.4.
If \(\xi (t) = t^{\alpha }\) then \(\operatorname{Lip}( (\xi (t),r)\) class reduces to \(\operatorname{Lip}(\alpha,r) \) class, where \(\xi(t)\) is a positive increasing function and \(r\geq 1\). Further as \(r\to \infty\) in \(\operatorname{Lip}(\alpha,r) \) class reduces to Lipα class. Thus, using this argument in [2] and putting \(\eta =0\) in our result, our main theorem becomes a particular case of [2].
8 Conclusion
In the review literature, it has been observed that many results have been obtained by the researchers on the degree of approximation of certain functions in different functional spaces like Lipschitz space, Hölder spaces etc. using the trigonometric Fourier approximation method. Since the Besov space generalizes more elementary functions as mentioned above and this space is very effective in measuring regularity properties of the function, this space has a wide range of applications in different areas of engineering and in mathematics in general and in analysis in particular.
Motivated by the usefulness of the Besov space in approximating the error of a certain function, in the present work we estimate the error of a function f in Besov space using a generalized Nörlund–Hausdorff (\(N_{pq}\triangle _{H}\)) product matrix, our result generalizes several previously known results obtained by using a Lipschitz space. Thus, the results of [1,2,3,4] become particular cases of our theorem. Some useful results are also deduced in the form of corollaries from our theorem.
Some other studies regarding the modulus of the smoothness of functions using different function spaces may be performed in future work.
References
Nigam, H.K., Sharma, A.: On approximation of functions belonging to \(\operatorname{Lip}(\alpha ,r)\) and to weighted \(w(L_{r}, \xi (t))\) class by product means. Kyungpook Math. J. 50, 545–556 (2010)
Nigam, H.K., Sharma, K.: Degree of approximation of a function belonging to \(\operatorname{Lip}(\xi (t),r)\) class by \((N,p,q)(E,1)\) product means of Fourier series. Int. J. Appl. Math. 24(4), 479–490 (2011)
Kushwaha, J.K., Dhakal, B.P.: Approximation of a function belonging to \(\operatorname{Lip}(\alpha ,r)\) class by \(N_{p,q}.C_{1}\) summability method of its Fourier series. Nepal J. Sci. Technol. 14(2), 117–122 (2013)
Lal, S., Nigam, H.K.: On degree of approximation of a Lipschitz function by \((N,p_{n})(E,1)\) means of its Fourier series. Ultra Sci. Phys. Sci. 14(1), 53–58 (2002)
Rhaodes, B. E: On the degree of approximation of functions belonging to Lipschitz class by Hausdorff means of its Fourier series. Tamkang Journal of Mathematics 34(2), 245–247 (2003)
Dhakal, B.P.: Approximation of functions belonging to Lipα class by matrix-Cesàro summability method. Int. Math. Forum 5(35), 1729–1735 (2010)
Nigam, H.K., Hadish, M.: Best approximation of functions in generalized Hölder class. J. Inequal. Appl. 2018, 276 (2018)
Lal, S., Mishra, A.: The method of summation \((E,1)(N,p_{n})\) and trigonometric approximation of function in generalized Holder metric. J. Indian Math. Soc. 80(1–2), 87–98 (2013)
Singh, U., Kumar Srivastava, S.: Degree of approximation of functions belonging to certain Lipschits class by \(C^{1}.T\) operator. Asian-Eur. J. Math. 07, 1450064 (2014)
DeVore, R.A., Lorentz, G.G.: Constructive Approximation. Springer, New York (1993)
Nayak, L., Das, G., Ray, B.K.: An estimate of the rate of convergence of Fourier series in generalized Hölder metric by deffered Cesàro mean. J. Math. Anal. Appl. 420, 563–575 (2014)
Maddox, I.J.: Elements of Functional Analysis. Cambridge University Press, Cambridge (1971)
Wojtaszczyk, P.: A Mathematical Introduction to Wavelets. London Mathematical Society Student Texts, vol. 37. Cambridge University Press, New York (1997)
Das, G., Ghosh, T., Ray, B.K.: Degree of approximation by their Fourier series in generalized Hölder metric. Proc. Indian Acad. Sci. Math. Sci. 106, 139–153 (1996)
Prössdorf, S.: Zur Konvergenz der Fourierreihen Hölder stetiger Funktionen. Math. Nachr. 69, 7–14 (1975)
Zygmund, A.: Trigonometric Series, 3rd rev. edn. Cambridge Univ. Press, Cambridge (2002)
Boos, J., Cass, P.: Classical and Modern Methods in Summability. Oxford University Press, New York (2000)
Borwein, D.: On products of sequences. J. Lond. Math. Soc. 33, 352–357 (1958)
Hardy, G.H.: Divergent Series. Oxford University Press, London (1949)
Mohanty, H., Das, G., Ray, B.K.: Degree of approximation of Fourier series of functions in Besov space by \((N,p_{n})\) mean. J. Orissa Math. Soc. 30(2), 13–34 (2011)
Chui, C.K.: An Introduction to Wavelets. Wavelet Analysis and Its Applications, vol. 1. Academic Press, San Diego (1992)
Acknowledgements
The first author expresses his gratitude towards his mother for her blessings. The first author also expresses his gratitude towards his father in heaven, whose soul is always guiding and encouraging him. The second author is thankful to the University Grants Commission, India, for providing a Junior Research fellowship (JRF) to carry out the present work as a part of Ph.D, degree. The second author also expresses his gratitude towards his parents for blessings. Both the authors are also grateful to the Hon’ble vice-chancellor, Central University of South Bihar, for motivation to this work.
Availability of data and materials
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the writing of this paper. HKN framed the problems. HKN and MH carried out the results and wrote the manuscripts. All the authors read and approved the final manuscripts.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Nigam, H.K., Hadish, M. Functional approximation in Besov space using generalized Nörlund–Hausdorff product matrix. J Inequal Appl 2019, 191 (2019). https://doi.org/10.1186/s13660-019-2128-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-019-2128-1