The implicit function theorem asserts that there exists a ball of nonzero radius within which one can express a certain subset of variables, in a system of equations, as functions of the remaining variables. We derive a lower bound for the radius of this ball in the case of Lipschitz maps. Under a sign-preserving condition, we prove that an implicit function exists in the case of a set of inequalities. Also in this case, we state an estimate for the size of the domain. An application to the local Lipschitz behavior of solution maps is discussed.
On the Domain of the Implicit Function and Applications
PAPI, MARCO
2005-01-01
Abstract
The implicit function theorem asserts that there exists a ball of nonzero radius within which one can express a certain subset of variables, in a system of equations, as functions of the remaining variables. We derive a lower bound for the radius of this ball in the case of Lipschitz maps. Under a sign-preserving condition, we prove that an implicit function exists in the case of a set of inequalities. Also in this case, we state an estimate for the size of the domain. An application to the local Lipschitz behavior of solution maps is discussed.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.