2012/07/20 by Tom McGaffey, McGaffey, Tom
Mathematics · #26B10 (Primary) 26E35 #57R45 (Secondary) #Analysis of PDEs (math.AP) #Classical Analysis and ODEs (math.CA) #FOS: Mathematics #Logic (math.LO) #math.AP #math.CA #math.LO #msc:26B10 #msc:26E35 #msc:57R45
paper · pdf · doi:10.48550/arxiv.1207.4834
arxiv created 2012/07/20 · arxiv updated 2012/07/23
This paper develops an infinitesimal order of magnitude coupled with overflow technique that allows nonnumerical proofs of nondegenerate and degenerate inverse mapping theorems for mappings minimally regular at a point. This approach is used first to give a transparent proof of the inverse mapping theorem of Behrens and Nijenhuis and then is deployed to prove an inverse mapping result for mappings whose linear part vanishes at the differentiable point. We finish by indicating further possible capacities of this approach.