Recently, Alghamdi and Mursaleen (2013) used the Hankel matrix to determine the necessary and suffcient condition to find the sum of the Walsh-Fourier series. In this paper, we propose
to use the Hankel matrix as well as any general nonnegative regular matrix to obtain the necessary
and sufficient conditions to sum the derived Fourier series and conjugate Fourier series.
1. Introduction and Preliminaries
Let X and Y be two sequence spaces and let A=(ank)n;k=1∞ be an infinite matrix of real or complex numbers. We write Ax=(An(x)) provided that An(x)=∑kankxk converges for each n. A sequence x=(xk) is said to be A-summable to L if limnAn(x)=L. If x=(xk)∈X implies that Ax∈Y, then we say that A defines a matrix transformation from X into Y and by (X,Y) we denote the class of such matrices. If X and Y are equipped with the limits X-lim and Y-lim, respectively, A∈(X,Y) and Y-limnAn(x)=X-limkxk for all x∈X, then we say that A is a regular map from X into Y and in this case we write A∈(X,Y)reg. The matrices A∈(c,c)reg are called regular, where c denotes the space of all convergent sequences.
The following are well-known Silverman-Töeplitz conditions for regularity of A.
Lemma 1.
A=(ank)n,k=1∞ is regular if and only if
∥A∥=supn∑k|ank|<∞,
limnank=0 for each k,
limn∑kbnk=1.
A Hankel matrix is a special case of the regular matrix; that is, if ank=hn+k then the matrix is known as the Hankel matrix. That is, a Hankel matrix is a square matrix (finite or infinite), constant on each diagonal orthogonal to the main diagonal. Its (n,k)th entry is a function of n+k. The Hankel transform of the sequence x=(xk) is defined as the sequence y=(yn), where yn=∑k=0∞hn+kxk provided that the series converges for each n=0,1,2,…. An operator T which transforms x into y as described is called the operator induced by the Hankel matrix H. In [1] we can find the applications of Hankel operators to approximation theory, prediction theory, and linear system theory. Hankel matrices have a number of applications in various fields.
Recently, Al-Homidan [2] proved that Hankel matrices are regular and obtained the sum of the conjugate Fourier series under certain conditions on the entries of Hankel matrix. Most recently, Alghamdi and Mursaleen [3] proved that Hankel matrices are strongly regular. Strongly regular matrices are those matrices which transform almost convergent sequences into convergent sequences leaving the limit invariant [4].
Our aim here is to find necessary and sufficient conditions for Hankel matrix as well as any arbitrary nonnegative regular matrix to sum the derived Fourier series and conjugate Fourier series.
2. Main Results
Let f be L-integrable and periodic with period 2π, and let the Fourier series of f be
(1)1a0+∑k=1∞(akcoskx+bksinkx).
Then the series conjugated to it is
(2)∑k=1∞(bkcoskx-aksinkx),
and the derived series is
(3)∑k=1∞k(bkcoskx-aksinkx).
Let Sn(x),S~n(x), and Sn′(x) denote the partial sums of series (1), (2), and (3) respectively. We write
(4)ψx(t)=ψ(f,t)={f(x+t)-f(x-t),for0<t≤π;g(x),fort=0,βx(t)=ψx(t)4sin(1/2)t,
where g(x)=f(x+0)-f(x-0).
We propose to prove the following results.
Theorem 2.
Let f(x) be a function integrable in the sense of Lebesgue in [0,2π] and periodic with period 2π. Let H=(hn+k) be a Hankel matrix. Then for each βx(t)∈BV[0,2π], the Hankel matrix transform of the sequence (Sk′(x)) is βx(0+); that is,
(5)limn∑k=1∞hn+kSk′(x)=βx(0+)
if and only if
(6)limn→∞∑k=0∞hn+ksin(k+12)t=0
for every t∈(0,π], where BV[0,2π] denotes the set of all functions of bounded variations on [0,2π].
In the next result, we replace the Hankel matrix by an arbitrary nonnegative regular matrix in the result of Al-Homidan [2].
Theorem 3.
Let f(x) be a function integrable in the sense of Lebesgue in [0,2π] and periodic with period 2π. Let A=(ank) be a nonnegative regular matrix. Then A-transform of the sequence (kS~k(x)) converges to g(x)/π; that is
(7)limn∑k=1∞kankS~k(x)=1πg(x),
if and only if
(8)limn→∞∑k=0∞ankcoskt=0
for every t∈(0,π], where each ak,bk∈BV[0,2π].
3. Proofs
We will need the following lemma which is known as the Banach Weak Convergence Theorem [5].
Lemma 4.
limn→∞∫0πgndhx=0 for all hx∈BV[0,π] if and only if ∥gn∥<∞ for all n and limn→∞gn=0.
Proof of Theorem 2.
We have
(9)Sk′(x)=1π∫0πψx(t)(∑m=1kmsinmt)dt=-1π∫0πψx(t)ddt(sin(k+1/2)t2sin(t/2))dt,=Ik+2π∫0πsin(k+12)tdβx(t),
where
(10)Ik=1π∫0πβx(t)cost2(sin(k+1/2)tsin(t/2))dt.
Then
(11)∑k=1∞hn+kSk′(x)=∑k=1∞hn+kIk+2π∫0πLn(t)dβx(t),
where
(12)Ln(t)=∑k=1∞hn+ksin(k+12)t.
Since βx(t) is of bounded variation on [0,π] and βx(t)→βx(0+) as t→0,βx(t)cos(t/2) has also the same property. Hence by Jordan’s convergence criterion for Fourier series Ik→βx(0+) as k→∞.
Since the Hankel matrix H=(hn+k) is regular, we have
(13)limn∑k=1∞hn+kIk=βx(0+).
Now, it is enough to show that (6) holds if and only if
(14)limn∫0πLn(t)dβx(t)=0.
Hence, by Lemma 4, it follows that (14) holds if and only if
(15)∥Ln(t)∥≤M∀n,∀t∈[0,π],
and (6) holds. Since (15) is satisfied by Lemma 1(i), it follows that (14) holds if and only if (6) holds. Hence the result follows immediately.
Proof of Theorem 3.
We have
(16)S~n(x)=1π∫0πψx(t)sinntdt,=g(x)nπ+1nπ∫0πcosntdψx(t).
Therefore
(17)∑k=1∞kankS~k(x)=g(x)π∑k=1∞ank+1π∫0πKn(t)dψx(t),
where
(18)Kn(t)=∑k=1∞ankcoskt.
Now, taking limit as n→∞ on both sides of (17) and using Lemmas 1 and 4 as in the proof of Theorem 2, we get the required result.
Remark 5.
If we take ank=hn+k, then Theorem 2 is reduced to Theorem 4.1 of [2].
Remark 6.
If we replace the matrix H by an arbitrary nonnegative regular matrix A=(ank) in Theorem 2, we get Theorem 1 of Rao [6].
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Acknowledgments
This work was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, under Grant no. 130-072-D1434. The authors, therefore, acknowledge with thanks DSR technical and financial support.
PellerV. V.2003New York, NY, USASpringerSpringer Monographs in MathematicsMR1949210Al-HomidanS.Hankel matrix transforms and operators20122012, article 9210.1186/1029-242X-2012-92MR2926330ZBL06211688AlghamdiM. A.MursaleenM.Hankel matrix transformation of the Walsh—Fourier series201322427828210.1016/j.amc.2013.08.075MR3127619KingJ. P.Almost summable sequences19661712191225MR020187210.1090/S0002-9939-1966-0201872-6ZBL0151.05701BanachS.1932Warszawa, PolandHafnerRaoA. S.Matrix summability of a class of derived Fourier series197348481484MR039728010.2140/pjm.1973.48.481ZBL0268.42013