Research Article | Open Access

# Characterization of Reflexivity by Convex Functions

**Academic Editor:**Henryk Hudzik

#### Abstract

A new convexity property of convex functions is introduced. This property provides, in particular, a characterization of the class of reflexive Banach spaces.

#### 1. Introduction

Like differentiability, convexity of functions has proven to be a very useful tool to characterize various classes of Banach spaces. We have also known that good progress has been made in this direction. See, for instance, [1–10]. In particular, Zălinescu [10] first proved that a Banach space is reflexive provided that there exists a continuous uniformly convex function on some nonempty open convex subset of the space. Later, Cheng et al. [11] proved that, in fact, such a Banach space is super reflexive, and vice versa (recall that a Banach space is super reflexive if and only if it admits an equivalent uniformly convex norm [12]). Recently, this result has also been obtained independently by Borwein et al. (see [2, Theorem ]). In particular, in [2] they mainly investigated the relationship between the existence of uniformly convex functions bounded above by some power type of the norm and the existence of an equivalent norm with a certain power type. They showed in particular that there is a uniformly convex function bounded above by if and only if there is an equivalent norm on with power type . Recall that a real-valued convex function defined on a nonempty convex subset of is said to be uniformly convex provided that for every there is such that whenever with . An application of uniformly convex functions can be found in [13].

In the present note we are interested in characterizing reflexivity by convex functions. As a result, we prove that a Banach space being reflexive is equivalent to the fact that there exists a continuous function with some kind of convexity on some nonempty open convex subset of the space.

We review recent works in this direction. Odell and Schlumprecht’s renorming theorem [14] shows that a separable Banach space is reflexive if and only if there is an equivalent norm on ; that is, if a bounded sequence satisfies then is norm convergent in More recently, Hájek and Johanis [15], through introducing a new convexity property of Day’s norm on , showed the following renorming characterization of general reflexive spaces. A sufficient and necessary condition for a Banach space to be reflexive is that it admits an equivalent norm; that is, if a bounded sequence satisfies (1), then is weakly convergent in . The localized versions of the two renorming theorems have been considered in [16].

The purpose of the present note is to provide a new characterization of reflexive Banach spaces by convex functions. More precisely, the following is our main result.

Theorem 1. *(i) A Banach space is reflexive if (and only if) there exists a continuous convex function on some nonempty open convex set of .**(ii) In particular, if is separable then is reflexive if (and only if) there exists a continuous convex function on some nonempty open convex set of .*

Our notation and terminology for Banach spaces are standard, as may be found for example in [17, 18]. All Banach spaces throughout the paper are supposed to be real. The letter will always denote a Banach space and its dual.

#### 2. Proof of the Main Theorem

In order to complete the proof of our main theorem, we need to introduce some notation and make some preparatory remarks.

The following notion is a natural generalization of (resp., ) norm.

*Definition 2. *Let be a nonempty convex set of a Banach space A real-valued convex function defined on is said to be (, resp.); if a bounded sequence satisfiesthen is norm convergent (resp., weakly convergent) in .

Assume that ia a real-valued convex function defined on a nonempty convex subset of . Recall that the subdifferential of at is the setWe have already known (see, e.g., [8]) that if the convex function is continuous at then is a nonempty -compact convex subset of

Lemma 3. *Let be a bounded closed convex set in with . Given an let be defined byHere is a (real-valued) nonnegative continuous convex function on with . Then is continuous on .*

*Proof. *Indeed, under the assumption of the lemma we claim that is Lipschitz on for every . To see this, fix a and let such that . Put . By the definition of one can find an element with such thatWe next distinguish two cases. First, if , it follows from (3) and (4) that Second, if , then we can find a such that and Indeed, let , for all . The continuity of on ensures that is also continuous on From and , it follows that there exists a such that . That is, , and the convexity of gives . Thuswhere

In short we haveThe convexity of , combined with together, implies that . ThereforePutting this and (8) together, we havewhere . This completes our claim. Therefore, is continuous on

Lemma 4. *Let be a bounded closed convex subset of a Banach space Assume that there is a continuous convex function on . Then is a weakly compact set.*

*Proof. *Without loss of generality, we can assume that . The continuity of convex function on implies that , the subdifferential of at , is not empty. Take and let be defined byThen is a nonnegative continuous convex function on with . Clearly, is also convex on . By the James characterization for weakly compact sets [19, 20], it suffices to prove that every linear functional attains its maximum on For any given , we can assume that (otherwise we have ). Let be defined byBy Lemma 3, is continuous on . SettingIn the following, through discussing two cases of , that is, and , we want to deduce that can always obtain its maximum on .*Case 1*. If , let such that for all . Choose a sequence such that and such thatHence . The convexity of immediately implies thatThe property of on gives thatfor some This, combined with (14), means that *Case 2*. If . Choose a sequence satisfying . Then for all . The continuity of on gives that , and hence Thus . Let with such that . Since is bounded, there exists a subsequence, still denoted by , so that it is convergent. Obviously , and yet,Therefore is weakly convergent in , say, , for some . So we have . This completes the proof.

Now, we can prove the main result of this note.

*Proof of Theorem 1. *The “if” part of (i) is as follows: we assume without loss of generality that and that By Lemma 4, the set is weakly compact, and hence is reflexive. This also immediately implies that the “if” part of (ii) is valid.

The “only if” parts of (i) and of (ii) are due to the aforementioned renorming theorems of Hájek and Johanis [15] and Odell and Schlumprecht [14], respectively.

*Remark 5. *It should be mentioned that, especially recently, several characterizations of reflexivity were also obtained using purely metric properties of Banach spaces (but not the linear structure). See, for example, [21–23]. The interested reader may refer to those papers for further information.

#### Competing Interests

The authors declare that they have no competing interests.

#### Acknowledgments

Zhenghua Luo was supported partially by the Natural Science Foundation of China, Grant no. 11201160, and the Natural Science Foundation of Fujian Province, Grant no. 2012J05006. Qingjin Cheng was supported in part by the Natural Science Foundation of China, Grant nos. 11471271 and 11371296.

#### References

- H. H. Bauschke, J. M. Borwein, and P. L. Combettes, “Essential smoothness, essential strict convexity, and Legendre functions in Banach spaces,”
*Communications in Contemporary Mathematics*, vol. 3, no. 4, pp. 615–647, 2001. View at: Publisher Site | Google Scholar | MathSciNet - J. M. Borwein, A. J. Guirao, P. Hájek, and J. Vanderwerff, “Uniformly convex functions on Banach spaces,”
*Proceedings of the American Mathematical Society*, vol. 137, no. 3, pp. 1081–1091, 2009. View at: Publisher Site | Google Scholar | MathSciNet - J. M. Borwein and S. A. Lewis,
*Convex Analysis and Nonlinear Optimization. Theory and Examples*, vol. 3 of*CMS Books in Mathematics/Ouvrages de Mathmatiques de la SMC*, Springer, New York, NY, USA, 2nd edition, 2006. - J. M. Borwein and J. D. Vanderwerff,
*Convex Functions: Constructions, Characterizations and Counterexamples*, vol. 109 of*Encyclopedia of Mathematics and Its Applications*, Cambridge University Press, Cambridge, UK, 2010. View at: Publisher Site | MathSciNet - D. Butnariu, A. N. Iusem, and C. Zălinescu, “On uniform convexity, total convexity and convergence of the proximal point and outer Bregman projection algorithms in Banach spaces,”
*Journal of Convex Analysis*, vol. 10, no. 1, pp. 35–61, 2003. View at: Google Scholar | MathSciNet - R. Deville, G. Godefroy, and V. Zizler,
*Smoothness and Renormings in Banach Spaces*, vol. 64 of*Pitman Monographs and Surveys in Pure and Applied, Mathematics*, Longman Scientific & Technical, John Wiley & Sons, New York, NY, USA, 1993. - E. Matoušková and S. Reich, “Reflexivity and approximate fixed points,”
*Studia Mathematica*, vol. 159, no. 3, pp. 403–415, 2003. View at: Publisher Site | Google Scholar | MathSciNet - R. R. Phleps,
*Convex Functions, Monotone Operators and Differentiability*, vol. 1364 of*Lecture Notes in Mathematics*, Springer, Berlin, Germany, 2nd edition, 1993. - C. Zălinescu, “On uniformly convex functions,”
*Journal of Mathematical Analysis and Applications*, vol. 95, no. 2, pp. 344–374, 1983. View at: Publisher Site | Google Scholar | MathSciNet - C. Zălinescu,
*Convex Analysis in General Vector Spaces*, World Scientific Publishing, River Edge, NJ, USA, 2002. View at: Publisher Site | MathSciNet - L. Cheng, C. Wu, X. Xue, and X. Yao, “Convex functions, subdifferentiability and renormings,”
*Acta Mathematica Sinica. New Series*, vol. 14, no. 1, pp. 47–56, 1998. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - P. Enflo, “Banach spaces which can be given an equivalent uniformly convex norm,”
*Israel Journal of Mathematics*, vol. 13, pp. 281–288, 1972. View at: Google Scholar - S. Reich, “A weak convergence theorem for the alternating method with Bregman distances,” in
*Theory and Applications of Nonlinear Operators of Accretive and Monotone Type*, vol. 178 of*Lecture Notes in Pure and Applied Mathematics*, pp. 313–318, Dekker, New York, NY, USA, 1996. View at: Google Scholar | MathSciNet - E. Odell and T. Schlumprecht, “Asymptotic properties of Banach spaces under renormings,”
*Journal of the American Mathematical Society*, vol. 11, no. 1, pp. 175–188, 1998. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - P. Hájek and M. Johanis, “Characterization of reflexivity by equivalent renorming,”
*Journal of Functional Analysis*, vol. 211, no. 1, pp. 163–172, 2004. View at: Publisher Site | Google Scholar | MathSciNet - L. Cheng, Q. Cheng, and Z. Luo, “On some new characterizations of weakly compact sets in Banach spaces,”
*Studia Mathematica*, vol. 201, no. 2, pp. 155–166, 2010. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - J. Lindenstrauss and L. Trafiri,
*Classical Banach Spaces. I. Sequence Spaces*, vol. 92 of*Ergebnisse der Mathematik und ihrer Grenzgebiete*, Springer, Berlin, Germany, 1977. - J. Lindenstrauss and L. Trafiri,
*Classical Banach Spaces. II. Function Spaces*, vol. 97 of*Results in Mathematics and Related Areas*, Springer, Berlin, Germany, 1979. - R. C. James, “Weakly compact sets,”
*Transactions of the American Mathematical Society*, vol. 113, pp. 129–140, 1964. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - R. C. James, “Weak compactness and reflexivity,”
*Israel Journal of Mathematics*, vol. 2, pp. 101–119, 1964. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - P. Motakis and T. Schlumprecht, “A metric interpretation of reflexivity for Banach spaces,” https://arxiv.org/abs/1604.07271. View at: Google Scholar
- M. I. Ostrovskii, “On metric characterizations of the Radon-Nikodým and related properties of Banach spaces,”
*Journal of Topology and Analysis*, vol. 6, no. 3, pp. 441–464, 2014. View at: Publisher Site | Google Scholar | MathSciNet - A. Prochazka, “Linear properties of Banach spaces and low distortion embeddings of metric graphs,” http://arxiv.org/abs/1603.00741. View at: Google Scholar

#### Copyright

Copyright © 2016 Zhenghua Luo and Qingjin Cheng. 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.