Journal of Function Spaces

Journal of Function Spaces / 2020 / Article

Research Article | Open Access

Volume 2020 |Article ID 4274160 | https://doi.org/10.1155/2020/4274160

Messaoud Bounkhel, Mostafa Bachar, "-Proximal Trustworthy Banach Spaces", Journal of Function Spaces, vol. 2020, Article ID 4274160, 5 pages, 2020. https://doi.org/10.1155/2020/4274160

-Proximal Trustworthy Banach Spaces

Academic Editor: Gestur Ólafsson
Received15 Dec 2019
Accepted10 Apr 2020
Published05 Jun 2020

Abstract

In a recent work (2016), the first author proved the fuzzy sum rule for the V-proximal subdifferential under some natural assumptions on an equivalent norm of the Banach spaces. In the present paper, we are going to prove that the class of Banach spaces satisfying the fuzzy sum rule is very large and contains all spaces as well as the sequence spaces , the Sobolev spaces , and the Schatten trace ideals .

1. Preliminaries

Let be a Banach space with dual a function, . Throughout the paper, denotes the closed unit ball in and is the dual pairing between and its dual . We define (see [1, 2]) the analytic (resp., the geometric) -proximal subdifferential of at as follows: (resp. , where is the -proximal normal cone associated with at . Here, is the normalized duality mapping and is a functional defined by

We recall, respectively, the well-known concepts of proximal subdifferential and Fréchet subdifferential (see, for instance, [3]): (i) if and only if there exist such that (ii) if and only if for any , there exists such that

The Fréchet and proximal normal cones are defined as and . Notice that (see [35]) Fréchet and proximal subdifferential can be defined geometrically by the formulas

Using the same terminology used in Ioffe [6], we will say that is a -proximal trustworthy space provided that for any , any two functions and any such that is lower semicontinuous and is Lipschitz around , the following fuzzy sum rule holds:

Here, and denotes the closed unit ball in . It has been proved in Theorem 2.3 in [1] that if X is a Banach space with an equivalent norm such that (for some s ≥2) is C2-differentiable on X \{0} and let V be the functional associated to that norm , then X is a V -proximal trustworthy space. Indeed, we have proved the following result.

Theorem 1. Let X be a Banach space with an equivalent normsuch that(for some) is-differentiable on, and letbe the functional associated to that norm. For any, any two functionsand anysuch thatis lower semicontinuous andis Lipschitz around, the following fuzzy sum rule holds:

For a positive measure space (, , ), we denote by , the Banach space with its canonical norm .

We recall the following result from Theorem 1.1 in Section 5.1 in [7] (see also [8]).

Theorem 2. (i)Ifis an even integer, thenis-differentiable on(ii)Ifis an odd integer, thenis-smooth on(iii)Ifis not integer, thenis-smooth on, whereis the integer part of

The following corollary follows directly from Theorem 2.

Corollary 3. For the canonical norm of, we havewhich is-differentiable on, for any.

Unfortunately, for the case of , the function is not -differentiable on and so the fuzzy sum rule cannot be covered by Theorem 1. This our objective in the next few lines, and so we obtain that is -proximal trustworthy, for any . In the sequel of this section, we assume that with . It is well-known that is 2-uniformly convex (see, for instance, [7]), that is, there is a constant such that

The following lemma is taken from [9].

Lemma 4. Ifis a uniformly convex Banach space, then the inequalityholds for allandin, where.

In page 51 in [9], the following parallelogram inequality is presented:

It follows that and so the previous lemma with the inequality (8) yields the following important result.

Proposition 5. For some positive constant, we have for any x and y in(),

Using this proposition, we get obviously, in our setting (), the inclusions

However, the inclusions have been proved, in [1], for Banach spaces with the assumption: For some and ,

This assumption is valid whenever the space is -uniformly convex Banach spaces. For reason of completeness, we present their proofs.

Proposition 6. Assume that there exist constantsandsuch that 1.8 holds. Then,

Proof. We prove only the first relation; the second one can be conducted similarly. Let . Then, by Proposition 3.4 in [2], there exists such that

Now, let be given and take . Then, by (15),

for , one has

Hence, for any >0, there exists such that , for any , that is and so .

Using Remark 7.7 in [9] and the fact that is -uniformly smooth, we obtain and hence, for any and any , we can write where depends on , and . Consequently, as a direct corollary of Proposition 6, we have, in our setting of spaces (), both inclusions that hold for any lower semicontinuous function and any nonempty closed set .

Now, we recall from Ioffe [10] and Fabian [11] the following two important results.

Proposition 7. Suppose thatis uniformly convex and thatis a closed subset of. Letand. Then, for any, there existandsuch thatand.

Theorem 8. Letbe an Asplund space. For any, any two functionsand anysuch thatis lower semicontinuous andis Lipschitz around, the following fuzzy sum rule holds:

Now we are ready to prove the main result of this section.

Theorem 9. Let. For any, any two functionsand anysuch thatis lower semicontinuous andis Lipschitz around, the following fuzzy sum rule holds:

Proof. Fix any . Let . Then, by (21) we have . Then, by Theorem 8, there exist and , such that . Thus, , . Let . We use now Proposition 7 to get , and such that Clearly, and so , for . Thus, by the inclusions (5) and (13), we obtain Set and . Then, we have Also, we have Thus, Therefore, for any , there exist , , , and such that This completes the proof.

Remark 10. (i)An inspection of the previous proof shows that Theorem 9holds for any 2-uniformly convex and-uniformly smooth. Indeed, all the assumptions of Propositions67and Theorem 8are satisfied whenever the space is 2-uniformly convex and-uniformly smooth. Consequently, all the spacesforare-proximal trustworthy. For the proof of the uniform convexity and uniform smoothness of the spaces, we refer, for instance, to Remark 1.6.9 in [9] and for the Schatten trace ideals, we refer to [12](ii)For the case, we have the following:(i)All Sobolev spacesandare-proximal trustworthy for anyby combining Theorem 2 and Theorem1.(ii)The spacesforare-proximal trustworthy by combining Theorem1.and the following result proved in Theorem 2 in [13].

Theorem 11. (i)Ifis an even integer, then the norm inis-differentiable away from zero(ii)Ifis an odd integer, then the norm inis-differentiable away from zero and is not-differentiable(iii)Ifis not integer, then the norm inis-differentiable away from zero and is not-differentiable

2. Approximate Mean Value Theorem

This section is concerned with the approximate mean value theorem for both analytic and geometric -proximal subdifferentials in -proximal trustworthy spaces. It is well-known that approximate mean value theorem (AMVT) and its variants are very important in nonsmooth analysis and optimization. It has been proved for all the existing subdifferentials (see, for instance, [14]). Since the analytic -proximal subdifferential is the smallest one in some important cases (for instance, with ), we cannot deduce that the AMVT form the ones proved for the other existing subdifferentials ([14]). For this reason, it is needed to prove the AMVT for the analytic -proximal subdifferential in -proximal trustworthy spaces. For the geometric -proximal subdifferential , the AMVT follows directly from the inclusion .

Theorem 12 (Approximate mean value theorem). Letbe a smooth Banach space which is-proximal trustworthy and let, be l.s.c. function finite at two distinct points. Letwith. Then, there existsand a sequencewithf(xn) ⟶ f(c) andsuch that

Proof. Since is smooth, we can take so that . Set . Clearly, and so attains its minimum at some point and so . Using the fuzzy sum rule for in Theorem 9, we get a sequence with , , and such that . Then, for sufficiently large and hence, Hence, (by (32)).
Taking the liminf on both sides of the previous inequality yields and hence, (i) is proved. Let us show (ii). Since , we can write for a sequence converging to some satisfying . Hence, and so . Hence,

To prove (iii), we use the fact that is the minimum of on and hence, ; that is, .

We close this section with the following result which is an application of the AMVT. Many other applications of the previous version of AMVT can be proved.

Theorem 13 (Lipschitz behavior). Letbe a smooth Banach space which is-proximal trustworthy and letbe an open convex subset of. Let f: be a l.s.c. function with. The following two assertions are equivalent:(1)For some positive constant, we have ≤ L, for all(2)is Lipschitz onwith rank

Proof. The implication follows directly from the fact that is always included in the Clarke subdifferential. So, we have to prove the implication . Let and let . Applying Theorem 12 to get a point and a sequence with and such that Let . By the definition of the liminf, there exist and such that By taking , we obtain and by exchanging the roles of x and y we arrive to This completes the proof.

Data Availability

Not applicable.

Conflicts of Interest

The authors declare that they have no competing interests.

Authors’ Contributions

All authors contributed equally to this work.

Acknowledgments

The authors extend their appreciation to the Deanship of Scientific Research at King Saud University for funding the work through the research group Project No. RGP-024.

References

  1. M. Bounkhel, “Calculus rules for -proximal subdifferentials in smooth banach spaces,” Journal of Function Spaces, vol. 2016, Article ID 1917387, 12 pages, 2016. View at: Publisher Site | Google Scholar
  2. M. Bounkhel and R. Al-Yusof, “Proximal analysis in reflexive smooth Banach spaces,” Nonlinear Analysis, vol. 73, no. 7, pp. 1921–1939, 2010. View at: Publisher Site | Google Scholar
  3. M. Bounkhel, “Regularity concepts in nonsmooth analysis, theory and applications,” in Springer Optimization and Its Applications, vol. 59, Springer, 2012. View at: Publisher Site | Google Scholar
  4. F. H. Clarke, Y. S. Ledyaev, R. J. Stern, and P. R. Wolenski, Nonsmooth Analysis and Control Theory, Graduate Texts in Mathematics, vol. 178, Springer-Verlag, 1998.
  5. B. Mordukhovich and Y. Shao, “Nonsmooth sequential analysis in Asplund spaces,” Transactions of the American Mathematical Society, vol. 348, no. 4, pp. 1235–1281, 1996. View at: Publisher Site | Google Scholar
  6. A. D. Ioffe, “On subdifferentiability spaces,” Annals of the New York Academy of Sciences, vol. 410, pp. 107–119, 1983. View at: Publisher Site | Google Scholar
  7. R. Deville, G. Godefroy, and V. Zizler, Smoothness and renormings in Banach spaces, Pitman Monographs and Surveys in Pure and Applied Mathematics, Longman Scientific & Technical, Harlow, UK, 1993.
  8. R. Deville, R. Gonzalo, and J. A. Jaramilo, “Renormings of L p (Lq),” Mathematical Proceedings of the Cambridge Philosophical Society, vol. 126, no. 1, pp. 155–169, 1999. View at: Publisher Site | Google Scholar
  9. Y. I. Alber and I. Ryazantseva, Nonlinear Ill-Posed Problems of Monotone Type, Springer, 2006.
  10. A. D. Ioffe, “Proximal analysis and approximate subdifferentials,” Journal of the London Mathematical Society, vol. 2, pp. 175–192, 1990. View at: Publisher Site | Google Scholar
  11. M. J. Fabian, “Subdifferentiability and trustworthiness in the light of a new variational principle of Borwein and Preiss,” Acta Universitatis Carolinae Mathematica et Physica, vol. 30, no. 2, pp. 51–56, 1989. View at: Google Scholar
  12. K. Ball, E. A. Carlen, and E. H. Lieb, “Sharp uniform convexity and smoothness inequalities for trace norms,” Inventions Mathematicicae, vol. 115, no. 1, pp. 463–482, 1994. View at: Publisher Site | Google Scholar
  13. N. Tomczak-Jaegermann, “On the differentiability of the norm in trace classes Sp,” Séminaire danalyse fonctionnelle (Polytechnique), vol. 22, pp. 1–8, 1975. View at: Google Scholar
  14. D. Aussel, J. N. Corvellec, and M. Lassond, “Mean value property and subdifferential criteria for lower semicontinuous functions,” Transactions of the American Mathematical Society, vol. 347, no. 10, pp. 4147–4161, 1995. View at: Publisher Site | Google Scholar

Copyright © 2020 Messaoud Bounkhel and Mostafa Bachar. 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.


More related articles

 PDF Download Citation Citation
 Download other formatsMore
 Order printed copiesOrder
Views55
Downloads84
Citations

Related articles

We are committed to sharing findings related to COVID-19 as quickly as possible. We will be providing unlimited waivers of publication charges for accepted research articles as well as case reports and case series related to COVID-19. Review articles are excluded from this waiver policy. Sign up here as a reviewer to help fast-track new submissions.