Abstract
In this paper, we have studied an estimate of the rate of convergence of Fourier series in the generalized Hölder metric \(H_{L_{r}}^{(\omega )}\) space by using deferred Nörlund mean and established some new results. Our results are more advanced that generalize and unify many other results available in the literature.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction, definitions and motivation
Let \(f(t)\in L_{r}[0,2\pi ]\) be \(2\pi \)-periodic. We have the Fourier series of f at \(t=x\) be given by
with its partial sum
where
By simple calculation (see [7, p. 50]),
where
Let \(C_{2\pi }\) denote the Banach space of all \(2\pi \)-periodic continuous functions defined on \([0,2\pi ]\) under the supremum norm. The space \(L_{r}[0, 2\pi ]\) \((r=\infty )\) reduces to \(C_{2\pi }\) defined over \([0,2\pi ]\). We write
The quantities \(\omega (\delta ;f)\) and \(\omega _{r}(\delta ;f)\) are called the modulus of continuity and integral modulus of continuity of f respectively. It is known ([7, p. 45]) that \(\omega (\delta ;f)\) and \(\omega _{r}(\delta ;f)\) both tend to zero as \(\delta \rightarrow 0\).
For \((0<\alpha \le 1)\)\((\delta >0)\) and let \(H_{\alpha }\) be defined by
It is known that \(H_{\alpha }\) is a Banach space with norm,
and
The metric induced by the norm \(\Vert .\Vert _{\alpha }\) on \(\Vert H\Vert _{\alpha }\) is called the Hölder metric. Further, Leindler [5] generalized the Hölder metric \(\Vert H\Vert _{\alpha }\) to obtain a space \(\Vert H\Vert ^{\omega }\),
where \(\omega \) is the modulus of continuity, that is, \(\omega \) is a positive non-decreasing continuous function on \([0,2\pi ]\) with the properties:
-
(i)
\(\omega (0)=0\);
-
(ii)
\(\omega (\delta _{1}+\delta _{2})\le \omega (\delta _{1})+\omega (\delta _{2})\);
-
(iii)
\(\omega (\lambda \delta )\le (\lambda +1)\omega (\delta )~~(\lambda \ge 0)\).
Also, \(H^{\omega }\) is a Banach space with the norm:
$$\begin{aligned} \Vert f\Vert _{\omega }=\Vert f\Vert _{c}+\sup _{x,y}\frac{|f(x)-f(y)|}{\omega (|x-y|)}~~(x\ne y). \end{aligned}$$(1.6)
Here, as regards to Lipschitz classes we may recall that, a function \(f\in Lip (\omega (t); r)\),
if
which implies that
Consider the space (see [6]),
It is also a Banach space with the norm:
Furthermore, Das et al. [2] generalized a space,
under the norm
which is also a Banach space.
Similarly, \(f\in W (L_{r},\omega (t))\),
if
which implies that
Now, we define the space,
It is also Banach space under the norm
Next, in the spaces \(H_{L_{r}}^{(\omega )}\) and \(H_{L_{r}}^{(v)}\), if \(\frac{\omega (t)}{v(t)}\) is non-decreasing, then
Also,
Next, for \((0\le \gamma <\alpha \le 1)\) if we put \(\omega (t)=t^{\alpha }\), \(v(t)=t^{\beta }\) and \(\beta =0\) then (1.13) reduces to the following:
Note that the space \(H_{(\alpha ,\infty )}\) reduces to \(H_{\alpha }\) space.
Remark 1
If \(\omega (t)=t^{\alpha }~~(0<\alpha \le 1)\), then the space \(H^{\omega }\) reduces to the \(H_{\alpha }\) space (the norm \(\Vert .\Vert _{\omega }\) being replaced by \(\Vert .\Vert _{\alpha }\)) and if \(\omega (t)=t^{\alpha }~~(0<\alpha \le 1)\), then the space \(H_{r}^{(\omega )}\) reduces to the \(H_{(\alpha ,r)}\) space (with the norm \(\Vert f\Vert _{r}^{(\omega )}\) replaced by \(\Vert f\Vert _{(\alpha ,r)}\)).
Remark 2
Let
If \(\beta =0\), then the space \(H_{L_{r}}^{(\omega )}\) reduces to the \(H_{r}^{(\omega )}\) space and if \(\beta =0\), \(\omega (t)=t^{\alpha }\) then the space \(H_{L_{r}}^{(\omega )}\) reduces to the \(H_{(\alpha ,r)}\) space.
Remark 3
If \(\frac{\omega (t)}{t}\rightarrow 0\) \((t\rightarrow 0)\), then \(f'(x)=0\) implies f is constant.
Let \((a_{n})\) and \((b_{n})\) be sequences of non-negative integers satisfying,
-
(i)
\(a_{n}<b_{n}\) \((n\in {\mathbb {N}})\)
and
-
(ii)
\(\displaystyle \lim _{n\rightarrow \infty }b_{n}=\infty \).
The deferred Cesàro mean, \(D(a_{n},b_{n})\) is defined by Agnew [1, p. 414],
In the notation of matrix transformation
where
It is known that (Agnew [1]) \(D(a_{n}, b_{n})\) is regular under the conditions (i) and (ii).
Let \((p_{n})\) be a sequence of positive real numbers. The deferred Nörlund mean \(D_{a}^{b}N_{n}(f;x)\) is defined by Deǧer and Küçükaslan [4],
where
Remark 4
If \(b_{n} = n\) and \(a_{n} =0\), then the \(D_{a}^{b}N_{n}(f;x)\) mean in (2.16) reduces to the classical Nörlund mean. Moreover, if \(p_{n} = 1\)\((\forall ~ n)~(n\ge 0)\) in (1.16), then this yields (1.15), that is, the deferred Cesàro mean defined by Agnew [1]. Finally, if \(b_{n}=n,~a_{n}=0\) in (1.15), then it reduces to the classical Cesàro mean of order 1.
We use the following notations:
2 Main result
In view of estimating the rate of convergence of Fourier series via the Deferred Nörlund Mean, we establish the following theorems based on generalized Hölder metric space \(H_{L_{r}}^{\omega }\) in \(W(L_{r},\omega (t))\)-class.
Theorem 1
Let v and \(\omega \) be moduli of continuity such that \((\frac{v}{\omega })\) is non-decreasing and \(f\in H_{L_{r}}^{(\omega )}~~(r\ge 1)\).
Let
where j is a positive integer. Then
If in addition, \(\frac{\omega (t)}{tv(t)}\) is non-increasing, then
and a fortiori
Theorem 2
Let \(f\in W(L_{r},\omega (t))~~(r\ge 1)\) and let
where j is a positive integer. Then
If in addition, \(\frac{\omega (t)}{t}\) is non-increasing, then
and a fortiori
We need the following lemma.
Lemma 1
Let v and \(\omega \) be moduli of continuity such that \((\frac{v}{\omega })\) is non-decreasing. Then for \(0\le t\le \pi \) and \(r\ge 1\),
-
(i)
\(\text {(i)}~~\Vert \phi _{x}(t)\Vert _{L_{r}}\le 2\omega (t);\)
-
(ii)
\(\Vert \phi _{x}(t)-\phi _{x+y}(t)\Vert _{L_{r}}=O(1)\{\omega (t), \omega (|y|)\};\)
-
(iii)
\(\Vert \phi _{x}(t)-\phi _{x+y}(t)\Vert _{L_{r}}=O(1) \omega (|y|)\frac{\omega (t)}{v(t)};\)
-
(iv)
\(\Vert \phi _{x}(t)-\phi _{x+y}(t)-\phi _{x}(t+h)+\phi _{x+y}(t+h)\Vert _{L_{r}}=O(1) \omega (|y|)\frac{\omega (h)}{v(h)}~~\left( h=\frac{\pi }{P_{0}^{(j-1)+a_{n}}}\right) .\)
Proof
It can be proved in the similar line as in (see [3]). \(\square \)
Proof of the Theorem 1
Let \(S_{n}(x)\) be the partial sum of Fourier series at x and let \(D_{a}^{b}N_{n}(f;x)\) be the deferred Nörlund Mean of Fourier series of the form (1.16), then it can be easily verified that
which reduces to (by virtute of condition (2.1)),
It may be easily verified that
and hence
Clearly, as per the considered metric in the definition, we have
Now,
Also, by simple calculation
Now (for I), by the generalized Minkowski inequality and for \((a_{n}\ge 1)\) we have
Next,
Furthermore, since \(\left\{ \frac{1}{(2\sin \frac{t}{2})^{2}}-\frac{1}{t^{2}}\right\} \) is bounded, we get
Next,
Replacing t by \(t+h\) in (2.11), for any positive integer j, we obtain
Clearly, from (2.11) and (2.12), it follows that
Moreover, since
so, it follows that
Again, since
so, it follows that
Next,
Also, since
so, using condition (iv) of Lemma 1, we get
Next,
Collecting the results from (2.9)–(2.16), we obtain
Similarly, it can be proved that
Hence, collecting the results of (2.7), (2.17) and (2.18), we obtain
which establishes the proof (I) of Theorem 1.
If in addition \(\frac{\omega (t)}{tv(t)}\) is non-increasing, then we have
Furthermore,
Using (2.20) and (2.21) in (2.19), we obtain (II) and (III) of Theorem 1.
This completes the proof of Theorem 1. \(\square \)
Proof of the Theorem 2
Proceeding in the similar line as in Theorem 1 and using the fact,
we can prove Theorem 2. \(\square \)
3 Corollaries and observations
Directly, as the consequences of Theorems 1 and 2, we have the following Corollaries.
Corollary 1
Let v and \(\omega \) be moduli of continuity such that \((\frac{v}{\omega })\) is non-decreasing and \(f\in H_{L_{r}}^{(\omega )}~~(r\ge 1)\) and let
where j is a positive integer. Then
If in addition \(\frac{\omega (t)}{tv(t)}\) is non-increasing then
and a fortiori
Proof
By substituting \(b_{n}=n,~a_{n}=0\) in the associated conditions and by using Theorem 1, the proof of Corollary 1 follows. \(\square \)
Corollary 2
Let v and \(\omega \) be moduli of continuity such that \((\frac{v}{\omega })\) is non-decreasing and \(f\in W(L_{r},\omega (t)), ~r\ge 1\) and let
where j is a positive integer. Then
If in addition \(\frac{\omega (t)}{tv(t)}\) is non-increasing then
and a fortiori
Proof
By substituting \(b_{n}=n,~a_{n}=0\) in the associated conditions and by using Theorem 2, the proof of Corollary 2 follows. \(\square \)
In the concluding remarks we can say that, the results established here generalizes the earlier results of Nayak et al. [6], Das et al. [3] and Leindler [5]. Further, our estimation via deferred weighted mean is a sharper estimation than those obtained from the sequence of partial sums of Fourier series.
References
Agnew, R.P.: On deferred Cesàro means. Ann. Math. 33, 413–421 (1932)
Das, G., Ghosh, T., Ray, B.K.: Degree of approximation of function by their Fourier series in the generalized Hölder metric. Proc. Indian Acad. Sci. Math. Sci. 106, 139–153 (1996)
Das, G., Nath, A., Ray, B.K.: An estimate of the rate of convergence of Fourier series in the generalized Hölder metric. Anal. Appl. 5, 43–60 (2002)
Deǧer, U., Küçükaslan, M.: A generalization of deferred Cesàro means and some of their applications, J. Inequal. Appl., (2015), Article ID-14, 1–16
Leindler, L.: Generalization of Prössdorf’s theorems. Stud. Sci. Math. Hungar. 14, 431–439 (1979)
Nayak, L., Das, G., Ray, B.K.: An estimate of the rate of convergence of Fourier series in the generalized Hölder metric by Deferred Cesàro mean. J. Math. Anal. Appl. 420, 563–575 (2014)
Zygmund, A.: Trigonometric series, volumes I and II combined, 2nd edn. Cambridge University Press, New York (1993)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Pradhan, T., Jena, B.B., Paikray, S.K. et al. On approximation of the rate of convergence of Fourier series in the generalized Hölder metric by Deferred Nörlund mean. Afr. Mat. 30, 1119–1131 (2019). https://doi.org/10.1007/s13370-019-00706-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13370-019-00706-y