Tame functions are semismooth

Jérôme Bolte, Aris Daniilidis, Adrian Lewis

Research output: Contribution to journalArticleResearchpeer-review

26 Citations (Scopus)


Superlinear convergence of the Newton method for nonsmooth equations requires a "semismoothness" assumption. In this work we prove that locally Lipschitz functions definable in an o-minimal structure (in particular semialgebraic or globally subanalytic functions) are semismooth. Semialgebraic, or more generally, globally subanalytic mappings present the special interest of being γ-order semismooth, where γ is a positive parameter. As an application of this new estimate, we prove that the error at the kth step of the Newton method behaves like O(2-(1+γ)k). © 2007 Springer-Verlag.
Original languageEnglish
Pages (from-to)5-19
JournalMathematical Programming
Issue number1-2
Publication statusPublished - 1 Mar 2009


  • Nonsmooth Newton method
  • O-minimal structure
  • Semi-algebraic function
  • Semismoothness
  • Structured optimization problem
  • Superlinear convergence


Dive into the research topics of 'Tame functions are semismooth'. Together they form a unique fingerprint.

Cite this