Document 10940110

advertisement
Hindawi Publishing Corporation
Journal of Inequalities and Applications
Volume 2009, Article ID 385029, 18 pages
doi:10.1155/2009/385029
Research Article
On the Generalized Bm -Riesz Difference Sequence
Space and β-Property
Metin Başarir1 and Mustafa Kayikçi2
1
2
Department of Mathematics, Sakarya University, 54187 Sakarya, Turkey
Duzce MYO, Duzce University, 81010 Duzce, Turkey
Correspondence should be addressed to Metin Başarir, basarir@sakarya.edu.tr
Received 1 May 2009; Accepted 17 July 2009
Recommended by Ramm Mohapatra
We introduce the generalized Riesz difference sequence space r q p, B m which is defined by
r q p, B m {x xk ∈ w : B m x ∈ r q p} where r q p is the Riesz sequence space defined by
Altay and Başar. We give some topological properties, compute the α , β duals, and determine the
Schauder basis of this space. Finally; we study the characterization of some matrix mappings on
this sequence space. At the end of the paper, we investigate some geometric properties of r q p, B m and we have proved that this sequence space has property β for pk ≥ 1.
Copyright q 2009 M. Başarir and M. Kayikçi. This is an open access article distributed under
the Creative Commons Attribution License, which permits unrestricted use, distribution, and
reproduction in any medium, provided the original work is properly cited.
1. Introduction
Let w be the space of all real valued sequences. We write l∞ , c, c0 for the sequence spaces
of all bounded, convergent, and null sequences, respectively. Also by cs, l1 , and lp , we
denote the sequence spaces of all convergent, absolutely and p-absolutely, convergent series,
respectively; where 1 < p < ∞.
Let qk be a sequence of positive numbers and
Qn n
qk ,
n ∈ N.
1.1
k0
q
Then the matrix Rq rnk of the Riesz mean R, qn , which is triangle limitation matrix, is
given by
⎧
q
⎪
⎨ k , 0 ≤ k ≤ n,
q
1.2
rnk Qn
⎪
⎩0,
k > n.
q
It is well known that the matrix Rq rnk is regular if and only if Qn → ∞ as n → ∞.
2
Journal of Inequalities and Applications
q
q
Altay and Başar 1, 2 introduced the Riesz sequence space r q p, r∞ p, rc p, and
of nonabsolute type which is the set of all sequences whose Rq -transforms are in the
space lp, l∞ p, cp, and c0 p; respectively. Here and afterwards, p pk will be used as a
bounded sequence of strictly positive real numbers with sup pk H and M max{1, H} and
F denotes the collection of all finite subsets of N, where N {0, 1, 2, . . .}. The Riesz sequence
space introduced in 1 by Altay and Başar is
q
rc0 p
⎧
∞
k
⎨
1 qj xj
r q p x xk ∈ w :
⎩
Qk j0
k0
pk
⎫
⎬
<∞ ;
⎭
with 0 < pk ≤ H < ∞ .
1.3
The difference sequence spaces l∞ Δ, cΔ, and c0 Δ were first defined and studied
by Kızmaz in 3 and studied by several authors, 4–9. Başar and Altay 10 have studied the
sequence space bvp as the set of all sequences such that their Δ-transforms are in the space lp ;
that is,
bvp x xk ∈ w :
∞
p
|xk − xk−1 | < ∞ ,
1 ≤ p < ∞,
1.4
k0
where Δ denotes the matrix Δ Δnk defined by
Δnk ⎧
⎨−1n−k ;
n − 1 ≤ k ≤ n,
⎩0;
k < n − 1 or k > n.
1.5
The idea of difference sequences is generalized by Çolak and Et 11. They defined the
sequence spaces:
Δm λ {x xk ∈ w : Δm x ∈ λ},
1.6
where m ∈ N, Δ1 x xk −xk 1 , and Δm x ΔΔm−1 x, where Δm denotes the matrix Δm Δm
nk
defined by
Δm
nk
⎛
⎞
⎧
m
⎪
⎪
n−k
⎨−1 ⎝
⎠;
n
−
k
⎪
⎪
⎩
0;
max{0, n − m} ≤ k ≤ n,
1.7
0 ≤ k < max{0, n − m} or k > n,
for all k, n ∈ N and for any fixed m ∈ N.
Recently, Başarir and Öztürk 12 introduced the Riesz difference sequence space as
follows:
r q p, Δ x xk ∈ w : Δx xk − xk−1 ∈ r q p ;
with 0 < pk ≤ H < ∞ .
1.8
Journal of Inequalities and Applications
3
Başar and Altay defined the matrix B bnk which generalizes the matrix Δ Δnk . Now
m
and if we take r 1, s −1, then it corresponds to the matrix
we define the matrix Bm bnk
m
m
Δ Δnk . We define
m
bnk
⎧
⎪
m
⎪
⎪
⎨
r m−n k sn−k ;
n
−
k
⎪
⎪
⎪
⎩
0;
max{0, n − m} ≤ k ≤ n,
1.9
0 ≤ k < max{0, n − m} or k > n.
The results related to the matrix domain of the matrix Bm are more general and more
comprehensive than the corresponding consequences of matrix domain of Δm .
Our main subject in the present paper is to introduce the generalized Riesz difference
sequence space r q p, Bm which consists of all the sequences such that their Bm -transforms are
in the space r q p and to investigate some topological and geometric properties with respect
to paranorm on this space.
2. Basic Facts and Definitions
In this section we give some definitions and lemmas which will be frequently used.
Definition 2.1. Let λ and μ be two sequence spaces and let A ank be an infinite matrix of
real numbers ank , where n, k ∈ N. Then, we say that A defines a matrix mapping from λ into
μ, and we denote it by writing A : λ → μ if for every sequence x xk ∈ λ the sequence
Ax {Axn }, the A-transform of x, is in μ; where
Axn ∞
ank xk ,
n ∈ N.
2.1
k0
By λ : μ, we denote the class of all matrices A such that A : λ → μ. Thus, A ∈ λ : μ if and
only if the series on the right side of 2.1 converges for each n ∈ N and every x ∈ λ, and we
have Ax {Axn }n∈N ∈ μ for all x ∈ λ. A sequence x is said to be A-summable to α if Ax
converges to α which is called as the A-limit of x.
Definition 2.2. For any sequence space λ, the matrix domain λA of an infinite matrix A is
defined by
λA {x xk ∈ w : Ax ∈ λ}.
2.2
Definition 2.3. If a sequence space λ paranormed by h contains a sequence bn with the
property that for every x ∈ λ there is a unique sequence of scalars αn such that
lim h x −
n→∞
n
αk bk
0,
2.3
k0
then bn is called a Schauder basis or briefly basis for λ. The series ∞
has the
k0 αk bk which
sum x is then called the expansion of x with respect to bn and is written as x ∞
k0 αk bk .
4
Journal of Inequalities and Applications
Definition 2.4. For the sequence spaces λ and μ, define the set Sλ, μ by
S λ, μ z zk ∈ w : xz xk zk ∈ μ ∀x ∈ λ .
2.4
With the notation of 2.2, the α-, β-, γ-duals of a sequence space λ, which are, respectively,
denoted by λα , λβ , λγ , are defined by
λα Sλ, l1 ,
λβ Sλ, cs,
λγ Sλ, bs.
2.5
Now we give some lemmas which we need to prove our theorems.
Lemma 2.5 see 13. i Let 1 < pk ≤ H < ∞ for every k ∈ N. Then A ∈ lp : l1 if and only if
there exists an integer K > 1 such that
sup
∞ ank K
−1
pk
< ∞.
2.6
K∈F k0 n∈K
ii Let 0 < pk ≤ 1 for every k ∈ N. Then A ∈ lp : l1 if and only if
sup sup
pk
< ∞.
ank
2.7
K∈F k∈N n∈K
Lemma 2.6 see 14. i Let 1 < pk ≤ H < ∞ for every k ∈ N. Then A ∈ lp : l∞ if and only if
there exists an integer K > 1 such that
sup
∞
n∈N k0
−1
a−1
nk K
pk
< ∞.
2.8
ii Let 0 < pk ≤ 1 for every k ∈ N. Then A ∈ lp : l∞ if and only if
sup |ank |pk < ∞.
2.9
n,k∈N
Lemma 2.7 see 14. Let 0 < pk ≤ H < ∞ for every k ∈ N. Then A ∈ lp : c if and only if
2.8, 2.9 hold, and
lim ank βk
n→∞
also holds.
for k ∈ N
2.10
Journal of Inequalities and Applications
5
3. Some Topological Properties of Generalized
Bm -Riesz Difference Sequence Space
Let us define the sequence y {yn q}, which will be used for the Rq Bm -transform of a
sequence x xk , that is,
n
n−1 1 m
q m
m−i k i−k
yn q R B xn s qi xk
r
Qn k0 ik i − k
rm
qn xn .
Qn
3.1
After this, by Rq Bm , we denote the matrix Rq Bm rnk m, q, r, s defined by
⎧
n
n−1 ⎪
m
1 ⎪
m−i k i−k
⎪
⎪
r
s qi , k < n,
⎪
⎪
Qn k0 ik i − k
⎪
⎪
⎪
⎨
rnk m, q, r, s r m
qn ,
k n,
⎪
⎪
⎪
Qn
⎪
⎪
⎪
⎪
⎪
⎪
⎩0,
k > n,
3.2
for all n, k, m ∈ N. Then we define
r q p, Bm x xk ∈ w : yn q ∈ l p
∞
k
k−1 1 m
m−i n i−n
s qi xn
x xk ∈ w :
r
Qk n0 in i − n
k0
pk
rm
qk xk
Qk
<∞ .
3.3
If we take m 1, then we have
⎧
⎨
⎡
∞
k−1
1 ⎣
qj r
r p, B x xk ∈ w :
⎩
Qk j0
k0
q
qj 1 s xj
⎤
qk rxk ⎦
⎫
⎬
pk
<∞ .
⎭
3.4
Here are some topological properties of the generalized Riesz difference sequence
space.
Theorem 3.1. The sequence space r q p, Bm is a complete linear metric space paranormed by
⎛
⎡ ⎤
k−1 ∞
k
m
1
⎣
r m−i j si−j qi xj ⎦
gx ⎝
Q
k
i
−
j
j0 ij
k0
where H supk pk and M max1, H.
r m qk
xk
Qk
pk ⎞1/M
⎠
,
3.5
6
Journal of Inequalities and Applications
Proof. The linearity of r q p, Bm with respect to the co-ordinatewise addition and scalar
multiplication follows from the inequalites which are satisfied for u, v ∈ r q p, Bm 15:
∞
1/M
|R B uk
q
m
R B vk |
q
m
pk
k0
1/M
∞
pk
q m
≤
|R B uk |
1/M
∞
pk
q m
,
|R B vk |
k0
k0
3.6
and for any α ∈ R 16, we have
!
|α|pk ≤ max 1, |α|M .
3.7
It is obvious that gθ 0 and g−u gu for all u ∈ r q p, Bm . Let uk , vk ∈ r q p, Bm :
gu
⎡
⎛
∞
k k−1 1
m
⎣
r m−i j si−j qi uj
v ⎝
Qk j0 ij i − j
k0
⎤
vj ⎦
⎛
⎤
⎡
∞
k k−1 1
m
⎣
≤⎝
r m−i j si−j qi uj ⎦
i
−
j
Q
k
j0 ij
k0
r m qk
uk
Qk
⎛
⎤
⎡
∞
k k−1 1
m
⎝
⎣
r m−i j si−j qi vj ⎦
i
−
j
Q
k
j0
ij
k0
gu
v ≤ gu
r m qk
uk
Qk
pk ⎞1/M
vk ⎠
pk ⎞1/M
r m qk
vk
Qk
⎠
3.8
pk ⎞1/M
⎠
,
3.9
gv.
Again the inequalities 3.7 and 3.9 yield the subadditivity of g and
gαu ≤ max{1, |α|}gu.
3.10
Let {xn } be any sequence of the elements of the space r q p, Bm such that
gxn − x −→ 0,
3.11
and λn also be any sequence of scalars such that λn → λ. Then, since the inequality
gxn ≤ gx
gxn − x
3.12
Journal of Inequalities and Applications
7
holds by subadditivity of g, {gxn } is bounded, and thus we have
gλn xn − λx
⎛
⎡ ⎤
∞
k
k−1 "
#
m
1
⎣
⎝
r m−i j si−j qi λn xjn − λxj ⎦
Q
k
i
−
j
j0
ij
k0
r m qk λn xkn − λxk
Qk
⎛
⎡ ⎤
∞
k
k−1 " #
m
1
⎣
r m−i j si−j qi xjn ⎦
≤ |λn − λ|1/M ⎝
Qk j0 ij i − j
k0
⎛
1/M ⎝
|λ|
r m qk n
x
Qk k
⎡ ⎤
∞
k
k−1 "
#
m
1 m−i
j
i−j
n
⎣
r
s qi xj − xj ⎦
Qk j0 ij i − j
k0
≤ |λn − λ|1/M gxn pk ⎞1/M
⎠
,
pk ⎞1/M
⎠
r m qk n
xk − xk
Qk
pk ⎞1/M
⎠
,
|λ|1/M gxn − x,
3.13
which tends to zero as n → ∞. Hence the continuity of the scalar multiplication has shown.
Finally; it is clear to say that g is a paranorm on the space r q p, Bm .
Moreover; we will prove the completeness of the space r q p, Bm . Let xi be any Cauchy
sequence in the space r q p, Bm where xi {xki } {x0i , x1i , . . .} ∈ r q p, Bm . Then, for a given
ε > 0, there exists a positive integer n0 ε such that
"
#
g xi − xj < ε,
3.14
for all i, j ≥ n0 ε. If we use the definition of g, we obtain for each fixed k ∈ N that
"
q
m i
R B x
#
"
k
− R B x
q
m j
#
≤
k
∞ "
q
m i
R B x
k0
#
"
k
− R B x
q
m j
#
pk
1/M
k
< ε,
3.15
for i, j ≥ n0 ε which leads us to the fact that
"
Rq Bm x0
# "
#
!
, Rq Bm x1 , . . . ,
k
k
3.16
is a Cauchy sequence of real numbers for every fixed k ∈ N. Since R is complete, it converges,
so we write Rq Bm xi k → Rq Bm xk as i → ∞. Hence by using these infinitely many limits
Rq Bm x0 , Rq Bm x1 , . . ., we define the sequence {Rq Bm x0 , Rq Bm x1 , . . .}. Since 3.14 holds
for each p ∈ N and i, j ≥ n0 ε,
p "
Rq Bm xi
k0
#
k
#
"
− Rq Bm xj
pk
k
#%M
$ "
≤ g xi − xj
< εM .
3.17
8
Journal of Inequalities and Applications
Take any i ≥ n0 ε, first let j → ∞ in 3.17 and then p → ∞, to obtain gxi − x ≤ ε. Finally,
taking ε 1 in 3.17 and letting i ≥ n0 1, we have Minkowski’s inequality for each p ∈ N,
that is,
p
"
q
m i
R B x
#
pk
1/M
k
k0
"
#
≤ g xi − x
" #
g xi ≤ 1
" #
g xi ,
3.18
which implies that x ∈ r q p, Bm . Since gxi − x ≤ ε for all i ≥ n0 ε it follows that xi → x as
i → ∞, so r q p, Bm is complete.
"m#
Theorem 3.2. Let kij i−j r m−i j si−j qi /
0 for each k ∈ N. Then the difference sequence space
r q p, Bm is linearly isomorphic to the space lp where 0 < pk ≤ H < ∞.
Proof. For the proof of the theorem, we should show the existence of a linear bijection between
the spaces r q p, Bm and lp for 0 < pk ≤ H < ∞. With the notation of
⎡
⎤
k k−1 1 m
⎣
yk r m−i j si−j qi xj ⎦
Qk j0 ij i − j
rm
qk xk ,
Qk
3.19
define the transformation T from r q p, Bm to lp by x → y T x. However, T is a linear
transformation, moreover; it is obviuos that x θ whenever T x θ and hence T is injective.
Let y ∈ lp and define the sequence x xk by
xk k−1 n 1
n0
−1
k−n
k−i−1 1
Qn yn
k−i
qi
m
sk−i
r m k−i
in
Qk
yk ,
r m qk
for k ∈ N.
3.20
Then,
⎛
⎡
⎤
∞
k k−1 1
m
m−i
j
i−j
⎣
s qi xj ⎦
gx ⎝
r
Qk j0 ij i − j
k0
⎛
∞ k
⎝
δkj yj
rm
qk xk
Qk
pk ⎞1/M
⎠
pk ⎞1/M
3.21
⎠
k0 j0
∞
1/M
yk
pk
g1 y < ∞,
k0
where
δkj ⎧
⎨1,
k j,
⎩0,
k/
j,
3.22
Journal of Inequalities and Applications
9
and g1 y is a paranorm on lp. Thus, we have that x ∈ r q p, Bm . Consequently; T is
surjective and is paranorm preserving. Hence, T is a linear bijection and this explains that
the spaces r q p, Bm and lp are linearly isomorphic.
Now, the Schauder basis for the space r q p, Bm will be given in the following theorem.
k
Theorem 3.3. Define the sequence bk q {bn q}n∈N of the elements of the space r q p, Bm for
every fixed k ∈ N by
⎧
k 1
n−i
⎪
m n−i−1 1
⎪
⎪ −1n−k s
⎪
Qk ,
⎪
⎪
qi
r m n−i
⎪
n−i
⎪
ik
⎪
⎨
k Qk
bn q ,
⎪
⎪
⎪
r m qk
⎪
⎪
⎪
⎪
⎪
⎪
⎩0,
n > k,
n k,
3.23
k > n.
Then; the sequence {bk q}k∈N is a basis for the space r q p, Bm and any x ∈ r q p, Bm has
a unique representation of the form
x
∞
μk q b k q ,
3.24
k0
where μk q Rq Bm xk for all k ∈ N and 0 < pk ≤ H < ∞.
Proof. This can be easily obtained by 12, Theorem 5 so we omit the proof.
Theorem 3.4. i Let 1 < pk ≤ H < ∞ for every k ∈ N. Define the set Q1 p as follows:
Q1 p
⎧
k 1
∞ n−i &⎨
an
m n−i−1 1
n−k s
a ak ∈ w:sup
an Qk m Qn K −1
−1
⎩
n−i
qi
r qn
r m n−i
N∈F k0 n∈N ik
K>1
pk
<∞ .
3.25
Then; r q p, Bm α Q1 p.
10
Journal of Inequalities and Applications
ii Let 0 < pk ≤ 1 for every k ∈ N. Define the set Q2 p by
Q2 p
&
K>1
k 1
n−i an
m n−i−1 1
n−k s
a ak ∈ w : sup sup
an Qk m Qn K −1
−1
n−i
qi
r qn
r m n−i
N∈F k∈N n∈N ik
pk
<∞ .
3.26
Then; r q p, Bm α Q2 p.
Proof. i Let a ak ∈ w. We easily derive with the notation
⎡
⎤
k k−1 1 m
⎣
yk r m−i j si−j qi xj ⎦
Qk j0 ij i − j
1
qk xk ,
Qk
3.27
and the matrix U unk which is defined by
unk
⎧
k 1
n−i
⎪
m n−i−1 1
⎪
n−k s
⎪
⎪
an Qk , 0 ≤ k ≤ n − 1,
−1
⎪
⎪
qi
r m n−i
⎪
n−i
⎪
ik
⎪
⎨
an Qn
,
k n,
⎪
⎪
⎪
r m qn
⎪
⎪
⎪
⎪
⎪
⎪
⎩0,
k > n,
3.28
for all k, n ∈ N, thus, by using the method in 1,12 we deduce that ax an xn ∈ l1
whenever x xk ∈ r q p, Bm if and only if Uy ∈ l1 whenever y yk ∈ lp. From
Lemma 2.5i, we obtain the desired result that
(α
' q
Q1 p .
r p, Bm
3.29
ii This is easily obtained by proceeding as in the proof of i, above by using the
second part of Lemma 2.5. So we omit the detail.
Journal of Inequalities and Applications
11
Theorem 3.5. i Let 1 < pk ≤ H < ∞ for every k ∈ N. Define the set Q3 p as follow:
Q3 p
⎧
⎡⎛
∞
⎨
&⎪
⎣⎝ ak
a ak ∈ w :
⎪
r m qk
K>1⎩
k0
⎞ ⎤
n
k 1
n−i m n−i−1 1 n−k s
aj ⎠Qk ⎦K −1
−1
n−i
qi jk 1
r m n−i
ik
pk
<∞ .
3.30
Then; r q p, Bm β Q3 p ∩ cs.
ii Let 0 < pk ≤ 1 for every k ∈ N. Define the set Q4 p by
Q4 p
⎧
⎡⎛
⎨
ak
a ak ∈ w : sup ⎣⎝ m
⎩
r qk
k∈N
⎞ ⎤
k 1
n
n−i s
1
m n−i−1
aj ⎠Qk ⎦
−1n−k m n−i
n−i
qi jk 1
r
ik
pk
⎫
⎬
<∞ .
⎭
3.31
Then; r q p, Bm β Q4 p ∩ cs.
Proof. i If we take the matrix T tnk by
tnk
⎧⎛
⎪
⎪
a
⎪
⎨⎝ k
m
r qk
⎪
⎪
⎪
⎩
0,
k 1
−1n−k
ik
sn−i
rm
m
n−i
⎞
n
n−i−1 1 aj ⎠Qk ,
qi jk 1
n−i
0 ≤ k ≤ n,
3.32
k > n,
for k, n ∈ N and if we carry out the method which is used in 1, 12, we get that ax an xn ∈
cs whenever x xk ∈ r q p, Bm if and only if T y ∈ c whenever y yk ∈ lp. Hence we
deduce from Lemma 2.7 that
∞
k0
⎡⎛
⎣⎝ ak
r m qk
k 1
ik
−1n−k
sn−i
rm
m
n−i
⎞ ⎤
n
n−i−1 1 aj ⎠Qk ⎦K −1
n−i
qi jk 1
pk
< ∞,
3.33
and limn tnk exists which is shown that
(β
' q
Q3 p ∩ cs.
r p, Bm
3.34
12
Journal of Inequalities and Applications
ii This may be obtained in the similar way as in the proof of i above by using the
second part of Lemmas 2.6 and 2.7. So we omit the detail.
Now we will characterize the matrix mappings from the space r q p, Bm to the space
l∞ . It can be proved by applying the method in 1, 12. So we omit the proof.
Theorem 3.6. i Let 1 < pk ≤ H < ∞ for every k ∈ N. Then A ∈ r q p, Bm ; l∞ if and only if there
exists an integer K > 1 such that
QK sup
∞
n∈N k0
⎡⎛
⎣⎝ ank
r m qk
⎞ ⎤
n
k 1
n−i m n−i−1 1 n−k s
anj ⎠Qk ⎦K −1
−1
m n−i
n
−
i
q
r
i
ik
jk 1
{ank }k∈N ∈ cs,
pk
< ∞,
3.35
for each n ∈ N.
ii Let 0 < pk ≤ 1 for every k ∈ N. Then A ∈ r q p, Bm ; l∞ if and only if
⎡⎛
ank
sup ⎣⎝ m
r qk
n,k∈N
⎞ ⎤
k 1
n
n−i s
1
m n−i−1
anj ⎠Qk ⎦
−1n−k m n−i
n−i
qi jk 1
r
ik
pk
< ∞,
3.36
{ank }k∈N ∈ cs ,
for each n ∈ N.
4. β-Property of Generalized Riesz Difference Sequence Space
In the previous section; we show that the sequence space r q p, Bm , which is the space of all
pk
q m
< ∞, is a complete paranormed space.
real sequences x xn such that ∞
k0 |R B xk |
∞
1/M
It is paranormed by gx k0 |Rq Bm xk |pk for all x xn ∈ r q p, Bm , where M max{1, H}; H supk pk . We recall that a paranormed space is total if gx 0 implies x 0. Every total paranormed space becomes a linear metric space with the metric given by
dx, y gx − y. It is clear that r q p, Bm is a total paranormed space.
In this section, we investigate some geometric properties of r q p, Bm . First we give the
definition of the property β in a paranormed space and we will use the method in 17 to
prove the property β. Consequently, we obtain that r q p, Bm has property β for pk ≥ 1.
From here, for a sequence x xn ∈ r q p, Bm and for i ∈ N, we use the notation
x|i x1, x2, . . . , xi, 0, 0, . . . and x|N−i 0, 0, . . . , 0, xi 1, xi 2, . . ..
Now we give the definition of the property β in a linear metric space.
Definition 4.1. A linear metric space X, d is said to have the property β if for each ε > 0
and r > 0, there exists δ > 0 such that for each element x ∈ B0, r and each sequence xn in
n, there is an index k for which dx xk /2, 0 ≤ r − δ.
B0, r with dxn , xm ≥ ε for all m /
Journal of Inequalities and Applications
13
Lemma 4.2. If lim infk → ∞ pk > 0, then for any L > 0 and ε > 0, and for any u, v ∈ r q p, Bm , there
exists δ δε, L > 0 such that
dM u
v, 0 < dM u, 0
4.1
ε,
whenever dM u, 0 ≤ L and dM v, 0 ≤ δ.
Proof. Let ε > 0 and L > 0 be given. Let 0 < α0 < lim infk → ∞ pk and α0 < 1, there exists k0 ∈ N
such that 0 < α0 ≤ pk for all k ≥ k0 . Let α min{pk : k 1, 2, . . . , k0 ; α0 }. Thus α ≤ pk for all
k ∈ N. There exists K0 ≥ 2 such that
4.2
dM 2u, 0 ≤ K0 dM u, 0,
for all u ∈ r q p, Bm . Set β 2α ε/2K0 L1/α . There exists K1 ≥ K0 such that
dM
2
u, 0 ≤ K1 dM u, 0,
β
4.3
for all u ∈ r q p, Bm . Set δ 2α ε/2βα K1 . Assume that dM u, 0 ≤ L and dM v, 0 ≤ δ. We
recall that x|i x1, x2, . . . , xi, 0, 0, . . . and x|N−i 0, 0, . . . , 0, xi 1, xi 2, . . .. With
these notations, let A {k ∈ N − i : pk < 1} and C {k ∈ N − i : pk ≥ 1}. By using convexity
of the function ft |t|pk for all pk ≥ 1 and the fact that a bpk ≤ apk bpk for pk < 1 and
0 < βpk < βα where β ∈ 0, 1 and k ∈ N, we have
dM u
$
v, 0 dM 1 − β u
∞
# %
β−1 v , 0
"
β u
$
Rq Bm 1 − β ui
"
β ui
#%
β−1 vi
pi
i0
≤
∞
'
(
Rq Bm 1 − β ui
$ "
Rq Bm β ui
#%
β−1 vi
pi
'
(
Rq Bm 1 − β ui
$ "
Rq Bm β ui
#%
β−1 vi
pi
i0
i∈A
$ "
Rq Bm β ui
'
(
Rq Bm 1 − β ui
i∈C
q m
≤ 1−β
|R B ui|pi
i∈A
i∈A
q m
1−β
|R B ui|pi
i∈C
≤
|Rq Bm ui|pi
i∈A
|Rq Bm ui|pi
i∈C
$
Rq Bm β ui
#%
β−1 vi
%
β−1 vi
$
Rq Bm β ui
i∈C
βα
$
Rq Bm ui
i∈A
βα
i∈C
$
Rq Bm ui
β−1 vi
pi
β−1 vi
%
pi
%
β−1 vi
pi
pi
%
pi
14
Journal of Inequalities and Applications
≤
∞
|Rq Bm ui|pi
βα
i0
∞
$
Rq Bm ui
β−1 vi
%
pi
i0
≤ dM u, 0
βα
∞
i0
≤ dM u, 0
βα
βα
pi
"
$
2−1 2Rq Bm ui
%#
β−1 vi
pi
%#
β−1 vi
$
2−1 2Rq Bm ui
≤ dM u, 0
βα
%#
β−1 vi
i∈A
"
i∈C
"
$
2−1 2Rq Bm ui
βα
$
2−1 2Rq Bm ui
i∈A
$
2−1 2Rq Bm ui
pi
#%
2Rq Bm β−1 vi
"
#%
2Rq Bm β−1 vi
"
pi
pi
i∈C
≤ dM u, 0
βα
βα
%
2−1 2Rq Bm β−1 vi
i∈A
1
β
2
α |2R B ui|
1
β
2
pi
q
m
pi
pi
i∈C
≤ dM u, 0
dM u
2−1 2Rq Bm ui
i∈A
$
α ∞
1
β
2
α 2Rq Bm β−1 vi
pi
i∈C
∞
1 α
β
|2Rq Bm ui|pi
2
i0
2Rq Bm β−1 vi
pi
i0
≤ dM u, 0
1 2α ε M
d 2u, 0
2α 2K0 L
≤ dM u, 0
ε
2
v, 0 ≤ dM u, 0
ε.
#
1 α M " −1
β d 2β v, 0
α
2
1 α
2α ε
β
K
,
1
2α
2βα K1
4.4
Lemma 4.3. If lim infn → ∞ pn > 0, then for any x ∈ r q p, Bm , there exists k0 ∈ N and θ ∈ 0, 1
such that
dM
for all k ∈ N with k ≥ k0 .
x|N−k
1 − θ M ,0 ≤
d x|N−k , 0
2
2
4.5
Journal of Inequalities and Applications
15
Proof. Let α be a real number such that 1 < α < lim infn → ∞ pn . Then there exists k0 ∈ N such
that α ≤ pk for all k ≥ k0 . Let θ ∈ 0, 1 be a real number such that 1/2α < 1 − θ/2. Then for
each x ∈ r q p, Bm and k ≥ k0 , we have
dM
∞
x|N−k
Rq Bm xi
,0 2
2
ik 1
≤
pi
α ∞
1
|Rq Bm xi|pi
2 ik 1
4.6
∞
1 − θ ≤
|Rq Bm xi|pi
2 ik 1
1 − θ M d x|N−k , 0 .
2
Theorem 4.4. If pk ≥ 1, then r q p, Bm has property β.
Proof. Let ε > 0 and xn ⊂ B0, r with dxn , xm ≥ ε for m /
n. Take 0 < ε0 < εM . There exists
M
δ > 0 such that ε − δ ≥ ε0 . Let x ∈ B0, r. Since for each j ∈ N, xn j∞
n1 is bounded, by
using the diagonal method, we have that for each q ∈ N, we can find a subsequence xna of
xn such that xna j converges for all j ∈ N with 1 ≤ j ≤ q. Since xna j is Cauchy sequence
for all 1 ≤ j ≤ q, there exists tq ∈ N such that
q
|Rq Bm xna k − Rq Bm xnb k|pk k0
q
|Rq Bm xna k − xnb k|pk < δ,
4.7
k0
for all na , nb ≥ tq . Then we see that
ε < dxna , xnb ∞
|Rq Bm xna k − xnb k|pk
1/M
,
k0
εM ≤
q
|Rq Bm xna k − xnb k|pk
k0
∞
|Rq Bm xna k − xnb k|pk ,
4.8
kq 1
εM ≤ δ
∞
|Rq Bm xna k − xnb k|pk .
kq 1
Therefore, for each q ∈ N, there exists tq ∈ N such that
"
#
dM xna |N−q , xnb |N−q ≥ εM − δ ≥ ε0 ,
4.9
16
Journal of Inequalities and Applications
with σ1 < σ2 < · · ·
for all na , nb ≥ tq . Hence, there is a sequence of positive integers σq ∞
q1
such that
∞
#
"
"
#
Rq Bm xσq k
dM xσq |N−q , 0 pk
≥
kq 1
ε0
,
2
4.10
for all q ∈ N. By Lemma 4.3, there exists q0 ∈ N and θ ∈ 0, 1 such that
dM
u
#
1 − θ M "
|N−q
,0 ≤
d u|N−q , 0 ,
2
2
4.11
for all u ∈ r q p, Bm and q ≥ q0 . Let δ0 be a real number corresponding to Lemma 4.2 with
ε
θ ε0
· ,
4 2
4.12
and L r M , that is
dM u
v, 0 < dM u, 0
θ ε0
· ,
4 2
4.13
whenever dM u, 0 ≤ r M and dM v, 0 ≤ δ0 . Since x ∈ B0, r, we have that dM x, 0 ≤ r M .
Let q ≥ q0 be such that
"
#
dM x|N−q , 0 ≤ δ0 .
4.14
Put u xσq |N−q and v x|N−q . Then
dM
x
∞
#
"
#
σq |N−q
Rq Bm xσq k
, 0 dM
,0 2
2
kq 1
"u
d
M
"v
2
pk
< rM,
#
"
#
∞
, 0 dM x|N−q , 0 |Rq Bm xk|pk < δ0 .
kq 1
4.15
Journal of Inequalities and Applications
17
Hence;
dM
"u
"
q m
∞
R
xσq k
B
#
v
,0 2
2
kq 1
≤
xk
∞
Rq Bm xσq k
pk
Rq Bm xk
pk
4.16
2
kq 1
"u
#
#
,0
θ ε0
·
2
4 2
θ ε0
1 − θ M
d u, 0
· ,
≤
2
4 2
≤ dM
dM
"u
∞
# 1 − θ ,0 Rq Bm xσq k
2
2 kq 1
v
pk
θ ε0
· .
4 2
4.17
By using 4.17 and convexity of the function ft |t|pk , k ∈ N, we have
dM
x
xσq
2
"
∞ Rq B m xσq k
,0 2
k0
∞ Rq B m x k
σq
q
Rq Bm xσq k
pk
Rq Bm xk
pk
Rq Bm xk
pk
2
k0
∞
Rq Bm xσq k
kq 1
1 q m
|R B xk|pk
2 k0
q
≤
#
2
k0
≤
xk
Rq Bm xk
2
1 q m
R B xσq k
2 k0
q
∞
1 − θ Rq Bm xσq k
2 kq 1
1 q m
|R B xk|pk
2 k0
q
≤
−
rM
2
pk
pk
θ ε0
·
4 2
θ ε0
·
4 2
pk
θ ε0
·
4 2
∞
1
Rq Bm xσq k
2 k0
∞
θ Rq Bm xσq k
2 kq 1
r M θ ε0
− ·
2
2 2
θ ε0
≤ rM − · .
4 2
≤
pk
pk
4.18
18
Hence dM x
Journal of Inequalities and Applications
xσq /2, 0 ≤ r M − θ/4 · ε0 /2
dM
""
x
1/M
. So this implies that
#
#
xσq /2, 0 ≤ r − δ
4.19
for some δ > 0. Finally; we can say that the sequence space r q p, Bm has property β.
Acknowledgment
We would like to express our gratitude to the reviewer for his/her careful reading and
valuable suggestions which improved the presentation of the paper.
References
1 B. Altay and F. Başar, “On the paranormed Riesz sequence spaces of non-absolute type,” Southeast
Asian Bulletin of Mathematics, vol. 26, no. 5, pp. 701–715, 2003.
2 B. Altay and F. Başar, “Some Euler sequence spaces of nonabsolute type,” Ukrainian Mathematical
Journal, vol. 57, no. 1, pp. 1–17, 2005.
3 H. Kızmaz, “On certain sequence spaces,” Canadian Mathematical Bulletin, vol. 24, no. 2, pp. 169–176,
1981.
4 B. Altay and H. Polat, “On some new Euler difference sequence spaces,” Southeast Asian Bulletin of
Mathematics, vol. 30, no. 2, pp. 209–220, 2006.
5 H. Polat and F. Başar, “Some Euler spaces of difference sequences of order m,” Acta Mathematica
Scientia. Series B, vol. 27, no. 2, pp. 254–266, 2007.
6 E. Malkowsky and S. D. Parashar, “Matrix transformations in spaces of bounded and convergent
difference sequences of order m,” Analysis, vol. 17, no. 1, pp. 87–97, 1997.
7 M. Et and M. Başarir, “On some new generalized difference sequence spaces,” Periodica Mathematica
Hungarica, vol. 35, no. 3, pp. 169–175, 1997.
8 M. Başarir and F. Nuray, “Paranormed difference sequence spaces generated by infinite matrices,”
Pure and Applied Mathematika Sciences, vol. 34, no. 1-2, pp. 87–90, 1991.
9 H. Polat and M. Başarir, “New Taylor difference sequence spaces of order m,” International
Mathematical Journal, vol. 5, no. 3, pp. 211–223, 2004.
10 F. Başar and B. Altay, “On the space of sequences of p-bounded variation and related matrix
mappings,” Ukrainian Mathematical Journal, vol. 55, no. 1, pp. 136–147, 2003.
11 R. Çolak and M. Et, “On some generalized difference sequence spaces and related matrix
transformations,” Hokkaido Mathematical Journal, vol. 26, no. 3, pp. 483–492, 1997.
12 M. Başarir and M. Öztürk, “On the Riesz difference sequence space,” Rendiconti del Circolo Matematico
di Palermo, vol. 57, no. 3, pp. 377–389, 2008.
13 K.-G. Grosse-Erdmann, “Matrix transformations between the sequence spaces of Maddox,” Journal of
Mathematical Analysis and Applications, vol. 180, no. 1, pp. 223–238, 1993.
14 C. G. Lascarides and I. J. Maddox, “Matrix transformations between some classes of sequences,”
Proceedings of the Cambridge Philosophical Society, vol. 68, pp. 99–104, 1970.
15 I. J. Maddox, Elements of Functional Analysis, Cambridge University Press, Cambridge, UK, 1970.
16 I. J. Maddox, “Paranormed sequence spaces generated by infinite matrices,” Proceedings of the
Cambridge Philosophical Society, vol. 64, pp. 335–340, 1968.
17 K. Khompurngson, Geometric properties of some paranormed sequence spaces, M.S. thesis, Chiang Mai
University, Chiang Mai, Thailand, 2004.
Download