A strong version of implicit function theorem

DOI10.1007/S40879-015-0090-0zbMATH Open1348.47049arXiv1311.0088OpenAlexW2963307608MaRDI QIDQ300484FDOQ300484

Authors: G. Belitskii, Dmitry Kerner 

Publication date: 28 June 2016

Published in: European Journal of Mathematics (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1311.0088

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

zbMATH Keywords

functional equationsArtin's approximation theoremequations on groupsequations over local ringsfinite determinacyTougeron's approximation theoremTougeron's implicit function theorem

Mathematics Subject Classification ID

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) Numerical methods for functional equations (65Q20) Abstract inverse mapping and implicit function theorems involving nonlinear operators (47J07)

Cites Work

• Title not available (Why is that?)
• Algebraic approximation of structures over complete local rings
• Title not available (Why is that?)
• Stability of \(C^ \infty\) mappings. III: Finitely determined map germs
• Integral closure of ideals, rings, and modules
• Introduction to Singularities and Deformations
• Lines on non-degenerate surfaces
• Finite Determinacy of Smooth Map-Germs
• Stability of \(C^ \infty\) mappings. I: The division theorem
• Title not available (Why is that?)
• 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
• Die Approximationseigenschaft lokaler Ringe
• Germs of arcs on singular algebraic varieties and motivic integration
• Lines on Brieskorn-Pham surfaces
• Equations in simple matrix groups: algebra, geometry, arithmetic, dynamics.
• On the solutions of analytic equations
• Stability of \(C^\infty\) mappings. II: Infinitesimal stability implies stability
• Idéaux de fonctions différentiables. I
• The unfolding and determinacy theorems for subgroups of 𝒜 and 𝒦
• Sur la linéarité de la fonction de Artin
• Arcs, cords, and felts — six instances of the linearization principle
• Title not available (Why is that?)
• Finite Determinacy of Functions with Non-Isolated Singularities
• Title not available (Why is that?)
• A note on Hensel’s lemma in several variables
• Title not available (Why is that?)
• Effective bounds of functions approximating formal solutions of binomial equations

Cited In (3)

• Pairs of Lie-type and large orbits of group actions on filtered modules: a characteristic-free approach to finite determinacy
• 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

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)