Skip to main content
Log in

Quantitative inconsistent feasibility for averaged mappings

  • Original Paper
  • Published:
Optimization Letters Aims and scope Submit manuscript

Abstract

Bauschke and Moursi have recently obtained results that implicitly contain the fact that the composition of finitely many averaged mappings on a Hilbert space that have approximate fixed points also has approximate fixed points and thus is asymptotically regular. Using techniques of proof mining, we analyze their arguments to obtain effective uniform rates of asymptotic regularity.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Bauschke, H.: The composition of projections onto closed convex sets in Hilbert space is asymptotically regular. Proc. Am. Math. Soc. 131(1), 141–146 (2003)

    Article  MathSciNet  Google Scholar 

  2. Bauschke, H., Borwein, J., Lewis, A.: The method of cyclic projections for closed convex sets in Hilbert space. In: Censor, Y., Reich, S. (eds.) Recent Developments in Optimization Theory and Nonlinear Analysis (Jerusalem, 1995), Contemporary Mathematics 204, pp. 1–38. American Mathematical Society, Providence (1997)

    Google Scholar 

  3. Bauschke, H., Combettes, P.: Convex Analysis and Monotone Operator Theory in Hilbert Spaces, 2nd edn. Springer, Berlin (2017)

    Book  Google Scholar 

  4. Bauschke, H., Martín-Márquez, V., Moffat, S., Wang, X.: Compositions and convex combinations of asymptotically regular firmly nonexpansive mappings are also asymptotically regular. Fixed Point Theory Appl. 2012, 53 (2012)

    Article  MathSciNet  Google Scholar 

  5. Bauschke, H., Moursi, W.: The magnitude of the minimal displacement vector for compositions and convex combinations of firmly nonexpansive mappings. Optim. Lett. 12(7), 1465–1474 (2018)

    Article  MathSciNet  Google Scholar 

  6. Bauschke, H., Moursi, W.: On the minimal displacement vector of compositions and convex combinations of nonexpansive mappings. Found. Comput. Math. 20, 1653–1666 (2020)

    Article  MathSciNet  Google Scholar 

  7. Bregman, L.M.: The method of successive projection for finding a common point of convex sets. Soviet Math. Dokl. 6, 688–692 (1965)

    MATH  Google Scholar 

  8. Brézis, H., Haraux, A.: Image d’une somme d’opérateurs monotones et applications. Isr. J. Math. 23(2), 165–186 (1976)

  9. Browder, F.E., Petryshyn, W.V.: The solution by iteration of nonlinear functional equations in Banach spaces. Bull. Am. Math. Soc. 72, 571–575 (1966)

    Article  MathSciNet  Google Scholar 

  10. Bruck, R.E., Reich, S.: Nonexpansive projections and resolvents of accretive operators in Banach spaces. Houst. J. Math. 3(4), 459–470 (1977)

    MathSciNet  MATH  Google Scholar 

  11. Combettes, P.: Solving monotone inclusions via compositions of nonexpansive averaged operators. Optimization 53(5–6), 475–504 (2004)

    Article  MathSciNet  Google Scholar 

  12. Giselsson, P.: Tight global linear convergence rate bounds for Douglas–Rachford splitting. J. Fixed Point Theory Appl. 19(4), 2241–2270 (2017)

    Article  MathSciNet  Google Scholar 

  13. Kohlenbach, U.: Applied Proof Theory: Proof Interpretations and Their Use in Mathematics. Springer Monographs in Mathematics. Springer, Berlin (2008)

    MATH  Google Scholar 

  14. Kohlenbach, U.: On the quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces. Isr. J. Math. 216(1), 215–246 (2016)

    Article  MathSciNet  Google Scholar 

  15. Kohlenbach, U.: A polynomial rate of asymptotic regularity for compositions of projections in Hilbert space. Found. Comput. Math. 19(1), 83–99 (2019)

    Article  MathSciNet  Google Scholar 

  16. Kohlenbach, U.: Proof-theoretic methods in nonlinear analysis. In: Sirakov, B., Ney de Souza, P., Viana, M. (eds.) Proceedings of the International Congress of Mathematicians 2018 (ICM 2018), vol. 2, pp. 61–82. World Scientific, Singapore (2019)

    Chapter  Google Scholar 

  17. Moursi, W., Vandenberghe, L.: Douglas–Rachford splitting for the sum of a Lipschitz continuous and a strongly monotone operator. J. Optim. Theory Appl. 183(1), 179–198 (2019)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

I would like to thank Ulrich Kohlenbach for pointing me to the paper [6] and for suggesting an improvement of Proposition 2.7. This work has been supported by the German Science Foundation (DFG Project KO 1737/6-1) and by a grant of the Romanian Ministry of Research, Innovation and Digitization, CNCS/CCCDI – UEFISCDI, Project Number PN-III-P1-1.1-PD-2019-0396, within PNCDI III.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Andrei Sipoş.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Sipoş, A. Quantitative inconsistent feasibility for averaged mappings. Optim Lett 16, 1915–1925 (2022). https://doi.org/10.1007/s11590-021-01812-2

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11590-021-01812-2

Keywords

Navigation