Journal of Function Spaces
Volume 2021 (2021), Article ID 6618846, 7 pages
https://doi.org/10.1155/2021/6618846

Research Article

Uniformly Nonsquare in Orlicz Space Equipped with the Mazur-Orlicz -Norm

Yunan Cui and Tongyu Wang

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

Correspondence should be addressed to Tongyu Wang; 424736636@qq.com

Received 3 November 2020; Revised 27 December 2020; Accepted 16 February 2021; Published 2 March 2021

Academic Editor: Shanhe Wu

Copyright © 2021 Yunan Cui and Tongyu Wang. 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.

The definition of uniformly nonsquareness in Banach spaces is extended to -normed spaces. Most of the results from this paper concern (uniformly) nonsquareness in the sense of James or in the sense of Schäffer in Orlicz spaces equipped with the Mazur-Orlicz -norm. It is well known that uniform nonsquareness in the sense of Schäffer and in the sense of James are equivalent in Banach spaces. In this paper, we found that uniform nonsquareness in the sense of James and in the sense of Schäffer are not equivalent for -normed spaces. Criteria for Orlicz spaces equipped with the Mazur-Orlicz -norm to be nonsquare and uniformly nonsquare in the sense of James or in the sense of Schäffer are given.

1. Introduction and Preliminaries

As well known, Orlicz space is a generalization of classical Lebesgue space. The theory of Orlicz space has important applications in control theory, fixed point theory, ergodic theory, probability theory, and theory of vector analytic function and has been intensively developed during the last decades. In 2018, Cui et al. discussed the monotonicity of Orlicz space that generated by the monotone continuous function equipped with Mazur-Orlicz -norm (see [1, 2]). In 2020, Bai et al. given criteria that Orlicz spaces that generated by the monotone function equipped with Mazur-Orlicz -norm have strictly monotonicity and upper locally uniform monotonicity, and they get the conclusion that for each and if and only if is convex function on . So, in order to studying geometric properties of Orlicz spaces equipped with the Mazur-Orlicz -norm, we need to assume that is convex see [3].

Inspired -convex spaces, in 1964, the definition of uniformly nonsquare in normed linear space was introduced by James (see [4]). In 1976, the concept of uniformly nonsquare in normed linear space was introduced by Schäffer (see [5]). A lot of results concerning with uniformly nonsquare in Banach space are known. Among the great number of papers concerning this topic, we list here a little [4–10]. Particularly, whether or not uniformly nonsquare Banach space has fixed point of nonexpansive mapping has been discussed as an open problem. Until 2005, Garca-Falset et al. solved the open problem and obtained that uniformly nonsquare Banach space has fixed point property (see [11]).

The aim of this paper is to give criteria that Orlicz spaces equipped with the Mazur Orlicz-norm are nonsquare and uniformly nonsquare in the sense of James or in the sense of Schäffer.

1.1. Introduction

Denoted by and the sets of natural and real numbers, respectively. Let . Given any real linear space , the functional is called an -norm if the following conditions are satisfied:

(i) if and only if (ii) for all (iii) for all (iv) whenever and for any , in and and in

We say that is an -normed space if it is complete with respect to the -norm topology.

Definition 1. Let be a finite measure space and be the space of all (equivalence) classes of -measurable real-valued functions defined on . A function : is called an Orlicz function if for all , even, convex, and . Any Orlicz function determines a mapping defined by the formula called the modular. The order ideal for some in is called an Orlicz space.

The space is an -normed space with respect to the following lattice -norm, called the Mazur-Orlicz -norm [12]:

Definition 2. We say that satisfies -condition (, for short) there are constants and such that

whenever .

Definition 3. Let be an Orlicz function, be the right derivative of , and be the right-inverse function of . Then, we call

the complementary function of .

Definition 4. We say satisfies -condition (, for short) there exist and such that

whenever . It is well known that if and only if .

Lemma 5. (see [13]).
if and only if there exist constants and such that

whenever .

The characteristic of convexity of is defined by , where is the Clarkson modulus of convexity of . A Banach space is said to be uniformly nonsquare whenever . Since satisfies the definition of a finite tree, we can get that is superreflexive (see [4]). Now, we extend the definition of nonsquare and uniformly nonsquare to -normed space.

Definition 6. An -normed space is said to be nonsquare in the sense of James if for any it is verified that

whenever .

Definition 7. An -normed space is said to be nonsquare in the sense of Schäffer if for any it is verified that

whenever .

Definition 8. An -normed space is said to be uniformly nonsquare in the sense of James if for any there exists such that

whenever .

Definition 9. An -normed space is said to be uniformly nonsquare in the sense of Schäffer if for any there exists such that

whenever .

2. Main Results

Lemma 10. Suppose that . If there exists such that for any, then there exists which satisfy .

Proof. If there exists a sequence such that and , then

thanks to , a contradiction.

Theorem 11. is nonsquare in the sense of Schäffer if and only if .

Proof. Necessity. Assume that . We show that there exists a strictly increasing sequence numbers such that for each , and

We take and which satisfy . There exists a sequence of pairwise disjoint sets in , for some , such that , , . Let . Then, , and we can get the following

On the other hand, for any , there exists such that

whenever .
Combing (11) and (13), the following inequalities are found to be true:

Similar to the selection method of sequence , the selection of sequence of pairwise disjoint sets in satisfies , . Supposing , we verity that and . According to the definition of -norm, we can obtain that . Furthermore, by , we deduce that

which implies that . Namely

contradiction with , the proof of necessity is completed.

Sufficiency. Assume on the contrary that is not nonsquare in the sense of Schäffer, then has elements satisfying and , for some . Using , we conclude that .

Due to the convexity of we have the following inequality

and then

Observing that the Orlicz function has the property , the following inequality can be obtained

Hence holds.

Since , the following formula can be obtained

whenever .

From the above analysis,

Therefore, we obtain that

It means that , hence , a contradiction. The proof is complete.

Theorem 12. The following conditions are equivalent:

(i) is uniformly nonsquare in the sense of James(ii) is nonsquare in the sense of James(iii)

Proof. It is obvious that . We only need to prove and .
. Assume that does not satisfy -condition. Since the idea is similar to the proof of Theorem 11, we can find, , , and . Construct such that and . Then, and and and for any . For convenience, denote and which shows that .
Otherwise, we let and ; then, , and . By the arbitrariness of , we obtain that and .
Then, by the definition of Mazur-Orlicz -norm, we conclude that

It shows that is not a nonsquare in the sense of James. Namely, we have .
We prove the implication . Obviously, by the convexity of , we have

For the sake of simplicity, we set . Next, we want to prove that the inequality

holds.
Since , we have ,which implies that holds.
Without loss of generality, we may assume . Then, there exists which satisfies and as .
Since , for a fixed find such that

for every , where . Namely,

Since as , we can obtain . Then, there exists such that

whenever .
Combining conditions (27) and (28) and , we derive a contradiction:

where .
We get that . Hence, we can obtained that

which shows that is uniformly nonsquare in the sense of James.

Theorem 13. is uniformly nonsquare in the sense of Schäffer if and only if and .

Proof. Since the necessity of is similar to the one given in Theorem 11, we only state the results without the proof. We only need to prove the necessity of -condition.
Suppose that -condition is invalid. There exists a strictly increasing sequence which satisfy and

Without loss of generality, we may take with

Let , it means that . Then, .
Divided into disjoint two subsets and with .
Suppose , we also have and .
Consequently, by the convexity of , we deduce that

then the following inequality is found to be true

To prove the reverse inequalities, notice that by (31) and (32), we can obtain the following inequality

That is , it follows that

Next, we will prove that . Otherwise, we assume that . Without loss of generality, we may suppose there exists , which satisfies the following inequality

Take large enough for which whenever . By the convexity of and (37), this lead to a contradiction:

By inequality (36), we have the following results

It is easily to see that

From (34) and (40), it follows that .
Using the method of the proof of , we can obtain that . This implies that is not uniformly nonsquare in the sense of Schäffer, that is .
Sufficiency. Assume for the contrary that is not uniformly nonsquare in the sense of Schäffer. We can find subsequences satisfying and and and for some .
Without loss of generality, we may take such that

Since , there exists such that

whenever .
Put

The following equation can be obtained by integrating both sides of the above formula

Since , there exists and such that

whenever .
Hence, we have the following results

Put

Using , there exists such that

whenever and .
Obviously,

We can choose such that

whenever .
Therefore, we have

this shows that

Define , then we derive that

It follows that holds. Thanks to Lemma 10, there exists such that, which contradicts with the assumption and . So is uniformly nonsquare in the sense of Schäffer. The proof is complete.

Example 14. Put

The derivative of the function is . Obviously,

So, from the Lemma 1.3, we immediately have does not satisfy the -condition.
On the other hand, we can get that . Thus

Then

Using Lemma 1.3 in [6], we have satisfy the -condition, i.e., . Then, is uniformly nonsquare in the sense of James and is not uniformly nonsquare in the sense of Schäffer. The proof is complete.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that there is no conflict of interest regarding the publication of this paper.

Acknowledgments

The authors would like to thank the referees for valuable comments and suggestions for improving this work. This work is supported by the National Natural Science Foundation of China under Grants 11871181 and the Natural Science Foundation of Heilongjiang Province under Grants A2018006.

References

Y. Cui, H. Hudzik, R. Kaczmarek, and P. Kolwicz, “Geometric properties of F-normed Orlicz spaces,” Aequationes Mathematicae, vol. 93, no. 1, pp. 311–343, 2019.

H. Hudzik, R. Kaczmarek, and M. Wojtowicz, “Some monotonicity properties in certain S-normed and F-normed latticces,” Journal of Nonlinear and Convex Analysis, vol. 17, no. 10, pp. 1985–2011, 2016.

X. Bai, Y. Cui, and J. Kończak, “Monotonicities in Orlicz spaces equipped with Mazur-Orlicz -norm,” Journal of Function Spaces, vol. 2020, Article ID 8512636, 7 pages, 2020.

R. C. James, “Uniformly non-square Banach spaces,” Annals of Mathematics, vol. 80, no. 3, pp. 542–550, 1964.

J. Schäffer, “Geometry of spheres in normed space,” in Lecture Notes in Pure and Applied Mathematics, Marcel Dekker, INC, 1976.

S. Chen, Geometry of Orlicz Spaces, Dissertationes Mathematicae, Warszawa, 1996.

S. Dhompongsa, A. Kaewkhao, and S. Tasena, “On a Generalized James Constant,” Journal of Mathematical Analysis and Applications, vol. 285, no. 2, pp. 419–435, 2003.

K. Sundaresan, “Uniformly non-square Orlicz spaces,” Nieuw Arch Wisk, vol. 14, no. 3, pp. 31–39, 1966.

H. Hudzik, “Uniformly non- Orlicz spaces with Luxemburg norm,” Studia Mathematica, vol. 81, no. 3, pp. 271–284, 1985.

M. Kato and L. Maligranda, “On James and Jordan-von Neumann constants of Lorentz sequence spaces,” Journal of Mathematical Analysis and Applications, vol. 258, no. 2, pp. 457–465, 2001.

J. Garca-Falset, E. Llorens-Fuster, and E. Mazcuñan-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.

S. Mazur and W. Orlicz, “On some classes of linear spaces,” Studia Mathematica, vol. 17, no. 1, pp. 97–119, 1958.

M. Krasnoselskii and J. Rutickii, Convex Functions and Orlicz Spaces, Universal Correspondence School of Mathematics, 1962.