author={Oswaldo Rio Branco de Oliveira},
  journal={Real analysis exchange},
  • O. Oliveira
  • Published 10 December 2012
  • Mathematics
  • Real analysis exchange
This article presents simple and easy proofs of the Implicit Function Theorem and the Inverse Function Theorem, in this order, both of them on a finite-dimensional Euclidean space, that employ only the Intermediate Value Theorem and the Mean-Value Theorem. These proofs avoid compactness arguments, the contraction principle, and fixed-point theorems. Mathematics Subject Classification: 26B10, 26B12, 97I40, 97I60 
The Implicit Function Theorem for maps that are only differentiable: an elementary proof
This article shows a very elementary and straightforward proof of the Implicit Function Theorem for differentiable maps $F(x,y)$ defined on a finite-dimensional Euclidean space. There are noExpand
New inverse and implicit function theorems for differentiable maps with isolated critical points
  • Liangpan Li
  • Mathematics
  • 2021
The central purpose of this article is to establish new inverse and implicit function theorems for differentiable maps with isolated critical points. One of the key ingredients is a discovery of theExpand
New perspective on some classical results in analysis and optimization
The paper illustrates connections between classical results of Analysis and Optimization. The focus is on new elementary proofs of Implicit Function Theorem, Lusternik's Theorem, and optimality con...
Equality of the algebraic and geometric ranks of Cartan subalgebras and applications to linearization of a system of ordinary differential equations
If L is a semisimple Lie algebra of vector fields on ℝN with a split Cartan subalgebra C, then it is proved here that the dimension of the generic orbit of C coincides with the dimension of C. As aExpand
Sequential unconstrained approach for solving index one constrained differential-algebraic optimal control problems
A constrained index-one differential algebraic optimal control problem is presented. The algebraic constraint is assumed to have an index one property. With the help of implicit function theorem, theExpand
Inverse Mapping Theory on Split Quaternions in Clifford Analysis
We give a split regular function that has a split Cauchy-Riemann system in split quaternions and research properties of split regular mappings with values in S. Also, we investigate properties of anExpand
Many-body Green's function theory of electrons and nuclei beyond the Born-Oppenheimer approximation
The method of many-body Green's functions is developed for arbitrary systems of electrons and nuclei starting from the full (beyond Born-Oppenheimer) Hamiltonian of Coulomb interactions and kineticExpand
On the Estimation of Entropy in the FastICA Algorithm
It is shown both theoretically and in practice that the approximations used in fastICA can result in patterns not being successfully recognised, which implies that care is needed when applying fastICA. Expand
Optimized Schwarz domain decomposition approaches for the generation of equidistributing grids
The main purpose of this thesis is to develop and analyze iterations arising from domain decomposition methods for equidistributing meshes. Adaptive methods are powerful techniques to obtain theExpand
Domain decomposition approaches for the generation of equidistributing grids
To solve boundary value problems whose solutions contain moving fronts or sharp variations, moving mesh methods can be used to achieve reasonable solution resolution with a fixed, moderate number ofExpand


Some Simplifications in Basic Complex Analysis
This paper presents very simple and easy integration-free proofs in the context of Weierstrass's theory of functions, of the Maximum and Minimum Modulus Principles and Gutzmer-Parseval InequalitiesExpand
A historical outline of the theorem of implicit functions.
In this article a historical outline of the implicit functions theory is presented starting from the wiewpoint of Descartes algebraic geometry (1637) and Leibniz (1676 or 1677), Johann BernoulliExpand
Implicit Functions and Solution Mappings
The purpose of this self-contained work is to provide a reference on the topic and to provide a unified collection of a number of results which are currently scattered throughout the literature. TheExpand
A Primer of Real Analytic Functions
Preface to the Second Edition * Preface to the First Edition * Elementary Properties * Multivariable Calculus of Real Analytic Functions * Classical Topics * Some Questions of Hard Analysis * ResultsExpand
Implicit Functions and Diffeomorphisms without C1
We prove implicit and inverse function theorems for non-C 1 functions, and characterize non-C 1 diffeomorphisms.
A new proof of the existence theorem for implicit functions
For the case in which the functions ƒ are only assumed to be continuous and to have continuous first derivatives, the proof seems to have been originally given by Dini.* His method is to show theExpand
Partial Differential Equations I: Basic Theory
Existence and regularity of solutions to the Dirichlet problem and the weak and strong maximum principles are studied. Expand
An introduction to classical complex analysis
0 Prerequisites and Preliminaries.- 1 Set Theory.- 2 Algebra.- 3 The Battlefield.- 4 Metric Spaces.- 5 Limsup and All That.- 6 Continuous Functions.- 7 Calculus.- I Curves, Connectedness andExpand
The Elements of Real Analysis
A Glimpse at Set Theory: The Topology of Cartesian Spaces and the Functions of One Variable. Expand
Principles of mathematical analysis
Chapter 1: The Real and Complex Number Systems Introduction Ordered Sets Fields The Real Field The Extended Real Number System The Complex Field Euclidean Spaces Appendix Exercises Chapter 2: BasicExpand