Journal of Function Spaces
Volume 2019 (2019), Article ID 8674091, 8 pages
https://doi.org/10.1155/2019/8674091

Research Article

The Modulus of Nearly Uniform Smoothness in Orlicz Sequence Spaces

Shaoyong Zhang, Meiling Zhang, and Yujia Zhan

Department of Mathematics, Harbin University of Science and Technology, Harbin 150080, China

Correspondence should be addressed to Shaoyong Zhang; 13904603565@139.com

Received 19 March 2019; Revised 10 June 2019; Accepted 7 July 2019; Published 22 July 2019

Academic Editor: Giuseppe Marino

Copyright © 2019 Shaoyong Zhang et al. 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.

Abstract.

It is well known that the modulus of nearly uniform smoothness related with the fixed point property is important in Banach spaces. In this paper, we prove that the modulus of nearly uniform smoothness in Köthe sequence spaces without absolutely continuous norm is . Meanwhile, the formula of the modulus of nearly uniform smoothness in Orlicz sequence spaces equipped with the Luxemburg norm is given. As a corollary, we get a criterion for nearly uniform smoothness of Orlicz sequence spaces equipped with the Luxemburg norm. Finally, the equivalent conditions of and are given.

1. Introduction

In last century, the fixed point property has been studied by many scholars. A Banach space is said to have the fixed point property (FPP, for short) if every nonexpansive mapping

acting on a nonempty bounded closed and convex subset of has a fixed point. A natural generalization of FPP is the weak fixed point property (WFPP, for short). A Banach space is said to have the WFPP, whenever it satisfies the above condition from the definition of FPP with “weakly compact” in place of “bounded closed”. In 1965 Kirk [1] proved that any reflexive Banach space with normal structure has the FPP and he also asserts that a Banach space with weak normal structure has WFPP. In this connection, see also the paper [2, 3]. In 1989 Prus [4] introduced a property of a Banach space , called nearly uniform smoothness and he got that a Banach space is nearly uniform convex if and only if its dual space is nearly uniformly smooth. In paper [5], it is proved that weak nearly uniformly smooth Banach spaces have the FPP, which strengthens the result by S. Prus [6]. In [7], Domínguez-Benavides proved an important result on the existence of fixed points for nonexpansive mappings. In order to do this, he defined, for a Banach space and a nonnegative real number , the parameter

where the supremum is taken over all with and all weakly null sequences in such that . He also defined the coefficient

The result that a Banach space has the WFPP, whenever was obtained in [7] using an embedding into .

In this paper we prove that in Kthe sequence spaces without absolutely continuous norm. Furthermore, the formula of the modulus of nearly uniform smoothness in Orlicz sequence spaces equipped with the Luxemburg norm is given. We find the criteria for nearly uniform smoothness of Orlicz sequence spaces equipped with the Luxemburg. Finally, we prove that the condition of is equivalent to . and if and only if exist and such that or when .

2. Preliminaries

Throughout this paper, is a Banach space which is assumed not to have the Schur property, in which has a weakly convergent sequence that is not norm convergent. By and we denote, respectively, the unit sphere and the unit ball of , and by we denote the set of all real sequences.

Inspiring on the underlying ideas in the definition of nearly uniformly smooth spaces given by Prus [4] as well as on the modulus of uniform smoothness, in [8] Domínguez-Benavides defined the modulus of nearly uniform smoothness.

Definition 1. The modulus of nearly uniform smoothness is defined by

where the supremum is taken over all basic sequences in .

Definition 2. For each , we define

In [9], they have the important result that if a Banach space is reflexive and for some then that the Banach space has the FPP.

They use the above result to give a direct proof that the uniformly nonsequare Banach space has the FPP.

In paper [8] it is shown that a Banach space is nearly uniformly smooth if and only if is reflexive and

and

where the supremum is taken over all weak null sequences in .

The following theorem was proved in [10].

Theorem 3. If is a reflexive Banach space and , has the FPP.

Definition 4. A Banach space is called a Kthe sequence space if for every and satisfying for all , we have and and if there is a with for all (see [11, 12]). Let

A Köthe sequence space is said to be norm absolutely continuous if .

Definition 5. A Köthe sequence space is said to have the semi-Fatou property if for every sequence and satisfying for all there holds .

Definition 6. is called an Orlicz function if it has the following properties:
(1) is even, continuous, convex and ;
(2) for all .

Definition 7. For every Orlicz function we define the complementary function by the formula

for every .

Definition 8. We say that satisfies the -condition ( for short) if there exist , such that the inequality

whenever .

We say that satisfies the -condition ( for short) if its complementary function satisfies the -condition.

The Orlicz sequence space is defined to be the set for some equipped with the Luxemburg norm

To simplify notations, we put .

The basic informations on Orlicz spaces can be found in [13–15].

3. Main Results

Theorem 9. Let be a Kthe sequence space with the Semi-Fatou property. If the norm of is not absolutely continuous, .

Proof. Suppose that the norm of is not absolutely continuous. Then there exist and such that

where .
Take any . By , there exists such that

Notice that

so there exists such that

In this way, we get a sequence of natural numbers such that

Put and . Then
(a) as ;
(b) as . It is well known that, for any Köthe space , we have

where is the space of all singular functionals over . converges for all . This means that every is uniquely represented in the form

where and for the function is defined by

for all .
Consider that the series converges. We have

(c) Put and for all . Then for the following holds:

By the arbitrariness of , we get . It is clear that . Therefore .

Theorem 9 also can be derived from the result of Hudzik and Mastyło [16].

Corollary 10. If , for any .

Proof. Since , we have that the norm of is not absolutely continuous. Hence for any .

Theorem 11. Let be a reflexive Kthe sequence space and the norm of be absolutely continuous. Then

where the supremum is taken over all basic sequences in .

Proof. It is clear that if is a basic sequence in , is also a basic sequence in . We only prove that . For any , by the norm of which is absolutely continuous, there is a such that

and since is a basic sequence, we have that the sequence converge to 0 in coordinate, and there exists a such that

whenever . So

Noting that is a Köthe space, we have

Therefore

whenever , that is, .

In order to get the criterion that an Orlicz sequence space is nearly uniformly smooth, we may assume that and and that the space is reflexive. Put . For any with finite and , we define as follows:

It is clear that is decreasing. Hence .

Theorem 12. Supposed that and . For an Orlicz sequence space , there holds

Proof. Let

Then for any , there exists with finite such that . By the definition of , there exists such that

whenever . By the definition of , there exists with such that , that is to say,

Hence there exists such that

Since , we also have

and there exists with such that , that is to say,

Hence there also exists with such that

In such a way, there exist a sequence and a sequence of natural numbers such that

for all . It is clear that .
For any , we have

that is to say,

Therefore and by the arbitrariness of , we have .
Now we prove that . By the definition of , we always have

for any with finite .
Taking any weak null sequence and , by there exists such that . Since , there is a such that when . Hence

We next estimate the , when . Put and for . There exists such that if , then for .

that is,

when .
When . It follows that

By the arbitrariness of , we get the inequality . Summing up, we obtain the equality .

Lemma 13. Let . Then for any and , there exists such that

whenever and .

Proof. By , for any , there exists such that

whenever .
For any , there is a such that . Put . Then

whenever . Hence

whenever and .

Corollary 14. An Orlicz sequence space is nearly uniformly smooth if and only if and .

Proof. Since and imply that the space is reflexive, we only need to prove the sufficiency. For any with finite that is , and with . For any , by Lemma 13, there exists such that when and . Hence if and

This shows that , that is, when . Therefore .

Corollary 15. Let be a Lebesgue sequence space. Then .

Proof. It is well known that the Lebesgue sequence space is an Orlicz sequence space generated by . For any , we now consider the following:

That is,

Hence

that is to say, . So for .

It is also well known that if is an Orlicz function, . If , has Schur property [17].

Theorem 16. Suppose that and . if and only if exist and such that or when .

Proof. Necessity. If there exists a sequence such that

and

for each , take such that

Putting , then . So as .

Therefore

Take such that

It is clear that for large enough. Let ,

Then and as .
Since

that is, .
By

we have as .
Therefore

that is to say .
Sufficiency. Suppose that there exist and such that or when . That means there exist and such that or when . It is well known that if is an Orlicz function, . If , has Schur property. That is to say, the norm convergence of sequence in coincides with the weak convergence. In order to discuss the coefficient we may assume . Put . By , we have . Since the function is continuous in , there exists a such that for each . Suppose . Then and is affine function in , where . This contradicts with . Therefore . This implies when . It is shown that there exist and such that or when . Using there exists a such that when .
Put

and

Let and .
We consider the following two cases.
Case I (). In this case, from

we get

For any with , the following inequality holds:

Therefore , that is to say .
Case II (). In this case, for any with , the following inequality holds:

From , we have

that is to say

Therefore .

Theorem 17. For , if and only if .

Proof. It is easy to get the following formula:

Take any weak null sequence with . Hence . Using , for any and subsequence of such that . By , there exists such that . Therefore for any . It holds

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This research is supported by NSF of China (Grant No. (11871181)).

References

W. A. Kirk, “A fixed point theorem for mappings which do not increase distances,” The American Mathematical Monthly, vol. 72, pp. 1004–1006, 1965.

S. Reich, “The fixed point property for nonexpansive mappings, I, II,” The American Mathematical Monthly, vol. 83, pp. 266–268, 1976.

K. Goebel and S. Reich, Uniform Convexity, Hyperbolic Geometry, and Nonexpansive Mappings, vol. 83 of Monographs and Textbooks in Pure and Applied Mathematics, Marcel Dekker, New York, NY, USA, 1984.

S. Prus, “Nearly uniformly smooth Banach spaces,” Bollettino della Unione Matematica Italiana, vol. 10, no. 7, pp. 507–521, 1989.

J. G. Falset, “The fixed point property in Banach spaces with the NUS-property,” Journal of Mathematical Analysis and Applications, vol. 1997, no. 215, pp. 532–542, 1997.

S. Prus, “Banach spaces with the uniform opial property,” Nonlinear Analysis: Theory, Methods & Applications, vol. 18, no. 8, pp. 697–704, 1992.

T. Dominguez Benavides, “A geometrical coefficient implying the fixed point property and stability results,” Houston Journal of Mathematics, vol. 22, no. 4, pp. 835–849, 1996.

T. D. Benavides, “Modulus of nearly uniform smoothness and Lindenstrauss formulae,” Glasgow Mathematical Journal, vol. 37, no. 2, pp. 143–153, 1995.

J. JesúsGarcía-False, E. Llorens-Fuster, and E. M. Mazcunan-Navarro, “Uniformly nonsquare Banach spaces have the fixed point property for nonexpansive mappings,” Journal of Functional Analysis, vol. 233, no. 2, pp. 494–514, 2006.

J. G. Falset, “The fixed point property in Banach spaces with the NUS-property,” Journal of Mathematical Analysis and Applications, vol. 215, no. 2, pp. 532–542, 1997.

J. Diestel, Sequence and Series in Banach Spaces, vol. 92 of Graduate Texts in Mathematics, Springer-Verlag, Berlin, Germany, 1984.

L. V. Kantorovich and G. P. Akilov, Functional analysis, Nauka Moscow, 1983.

S. Chen, Geometry of Orlicz Spaces, Dissertations Math, Warszawa, Poland, 1996.

J. Musielak, Orlicz Spaces and Modular Spaces, vol. 1034 of Lecture Notes in Mathematics, Springer, Berlin, Germany, 1983.

M. M. Rao and Z. D. Ren, Theory of Orlicz Spaces, Marcel Dekker, New York, NY, USA, 1991.

H. Hudzik and M. Mastylo, “Almost isometric copies of l∞ in some banach spaces,” Proceedings of the American Mathematical Society, vol. 119, no. 1, pp. 209–205, 1993.

Y. Cui and H. Hudzik, “On the García-Falset coefficient in Orlicz sequence spaces equipped with the Orlicz norm,” in Function Spaces and Applications, pp. 60–68, Narosa Publishing House, New Delhi, India, 2000.