Skip to main content

Applications in Numerical Variational Analysis

  • Chapter
  • First Online:
Implicit Functions and Solution Mappings

Part of the book series: Springer Monographs in Mathematics ((SMM))

  • 1921 Accesses

Abstract

The classical implicit function theorem finds a wide range of applications in numerical analysis. For instance, it helps in deriving error estimates for approximations to differential equations and is often relied on in establishing the convergence of algorithms. Can the generalizations of the classical theory to which we have devoted so much of this book have comparable applications in the numerical treatment of nonclassical problems for generalized equations and beyond? In this chapter we provide positive answers in several directions.

We begin with a topic at the core of numerical work, the “conditioning” of a problem and how it extends to concepts like metric regularity. We also explain how the conditioning of a feasibility problem, like solving a system of inequalities, can be understood. Next we take up a general iterative scheme for solving generalized equations under metric regularity, obtaining convergence by means of our earlier basic results. As particular cases, we get various modes of convergence of the age-old procedure known as Newton’s method in several guises, and of the much more recently introduced proximal point algorithm. We go a step further with Newton’s method by showing that the mapping which assigns to an instance of a parameter the set of all sequences generated by the method obeys, in a Banach space of sequences, the implicit function theorem paradigm in the same pattern as the solution mapping for the underlying generalized equation. Approximations of quadratic optimization problems in Hilbert spaces are then studied. Finally, we apply our methodology to discrete approximations in optimal control.

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

Access this chapter

Institutional subscriptions

Notes

  1. 1.

    This assumption can be dropped if we identify invertibility of A with ||A−1|| < ∞ and adopt the convention \(1/\infty = 0\) . Similar adjustments can be made in the remaining radius theorems in this section.

  2. 2.

    Here, as well as in the preceding section, we could of course use local versions of these assumptions since our analysis is local.

  3. 3.

    We do not really need U to be bounded, but this assumption simplifies the analysis.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Asen L. Dontchev .

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer Science+Business Media, LLC

About this chapter

Cite this chapter

Dontchev, A.L., Rockafellar, R.T. (2009). Applications in Numerical Variational Analysis. In: Implicit Functions and Solution Mappings. Springer Monographs in Mathematics. Springer, New York, NY. https://doi.org/10.1007/978-0-387-87821-8_6

Download citation

Publish with us

Policies and ethics