𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A uniformly computable Implicit Function Theorem

✍ Scribed by Timothy H. McNicholl

Publisher
John Wiley and Sons
Year
2008
Tongue
English
Weight
122 KB
Volume
54
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

We prove uniformly computable versions of the Implicit Function Theorem in its differentiable and non‐differentiable forms. We show that the resulting operators are not computable if information about some of the partial derivatives of the implicitly defining function is omitted. Finally, as a corollary, we obtain a uniformly computable Inverse Function Theorem, first proven by M. Ziegler (2006). (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

📜 SIMILAR VOLUMES

Remarks on the Analytic Implicit Functio
Remarks on the Analytic Implicit Function Theorem
✍ Erich Berger 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 331 KB

In this paper, we focus attention on the problem of to what extent abstract Banach space concepts can be utilized in order to simplify well-known formulas for the power series expansion of an implicitly defined holomorphic mapping in the Ž finite-dimensional case. The formulas obtained in the previo

Filippov Implicit Function Theorem for Q
Filippov Implicit Function Theorem for Quasi-Carathéodory Functions
✍ M Dindoš; V Toma 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 162 KB

Several Filippov type implicit function theorems are known for Caratheodory Ž . Ž . Ž . functions f t, x , i.e., all f и, x are measurable and f t, и are continuous. We Ž . prove some generalisations of this theorem supposing only each function f t, и to be quasicontinuous with closed values.