A strong version of implicit function theorem
From MaRDI portal
Artin's approximation theoremequations on groupsequations over local ringsfinite determinacyfunctional equationsTougeron's approximation theoremTougeron's implicit function theorem
Implicit function theorems, Jacobians, transformations with several variables (26B10) Functional equations in the complex plane, iteration and composition of analytic functions of one complex variable (30D05) General theory of functional equations and inequalities (39B05) Abstract inverse mapping and implicit function theorems involving nonlinear operators (47J07) Numerical methods for functional equations (65Q20)
Abstract: We suggest the necessary/sufficient criteria for the existence of a (order-by-order) solution y(x) of a functional equation F(x,y)=0 over a ring. In full generality, the criteria hold in the category of filtered groups, this includes the wide class of modules over (commutative, associative) rings. The classical implicit function theorem and its strengthening obtained by Tougeron and Fisher appear to be (weaker) particular forms of the general criterion. We obtain a special criterion for solvability of the equations arising from group actions, g(w)=w+u, here u is "small". As an immediate application we re-derive the classical criteria of determinacy, in terms of the tangent space to the orbit. Finally, we prove the Artin-Tougeron-type approximation theorem: if a system of C^infty-equations has a formal solution and the derivative satisfies a Lojasiewicz-type condition then the system has a C^infty-solution.
Recommendations
- scientific article; zbMATH DE number 4052613
- Zwei Versionen von verallgemeinerten Sätzen über impliziten Funktionen. (Two versions of generalized theorems on implicit functions)
- scientific article; zbMATH DE number 1569237
- Solutions of some quasianalytic equations
- A ridiculously simple and explicit implicit function theorem
Cites work
- A note on Hensel’s lemma in several variables
- Algebraic approximation of structures over complete local rings
- Arcs, cords, and felts — six instances of the linearization principle
- Die Approximationseigenschaft lokaler Ringe
- Effective bounds of functions approximating formal solutions of binomial equations
- Equations in simple matrix groups: algebra, geometry, arithmetic, dynamics.
- Finite Determinacy of Functions with Non-Isolated Singularities
- Finite Determinacy of Smooth Map-Germs
- Germs of arcs on singular algebraic varieties and motivic integration
- scientific article; zbMATH DE number 3811970 (Why is no real title available?)
- scientific article; zbMATH DE number 599164 (Why is no real title available?)
- scientific article; zbMATH DE number 704831 (Why is no real title available?)
- scientific article; zbMATH DE number 1022658 (Why is no real title available?)
- scientific article; zbMATH DE number 3220472 (Why is no real title available?)
- scientific article; zbMATH DE number 3396834 (Why is no real title available?)
- Idéaux de fonctions différentiables. I
- Integral closure of ideals, rings, and modules
- Introduction to Singularities and Deformations
- Lines on Brieskorn-Pham surfaces
- Lines on non-degenerate surfaces
- On the solutions of analytic equations
- Singularities with critical locus a 1-dimensional complete intersection and transversal type \(A_ 1\)
- Solutions d'un système d'équations analytiques réelles et applications
- Stability of \(C^ \infty\) mappings. I: The division theorem
- Stability of \(C^ \infty\) mappings. III: Finitely determined map germs
- Stability of \(C^\infty\) mappings. II: Infinitesimal stability implies stability
- Sur la linéarité de la fonction de Artin
- The unfolding and determinacy theorems for subgroups of 𝒜 and 𝒦
Cited in
(3)- Approximation results of Artin-Tougeron-type for general filtrations and for C^r-equations
- New inverse and implicit function theorems for differentiable maps with isolated critical points
- Pairs of Lie-type and large orbits of group actions on filtered modules: a characteristic-free approach to finite determinacy
This page was built for publication: A strong version of implicit function theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q300484)
