On the domain of the implicit function and applications

From MaRDI portal
Publication:2498199





The implicit function theorem in multivariable calculus asserts that if \(F_i(x,y),\; i=1,\dots,n;\; x\in \mathbb R^m, y\in \mathbb R^n\), are continuously differentiable in a neighborhood of the point \((x_0,y_0)\), and \(F_i(x_0,y_0)=0\) for each \(i\), and the Jacobian \(D_yF(x_0,y_0)\) is invertible, then there are continuous functions \(g_1, \dots, g_n\) and a positive radius \(r\) such that \(g_i(x_0)=y_0\) and \(F_i(x,g_1(x),\ldots,g_n(x))=0\) for \(i=1,\ldots,n\) and \(| x-x_0| <r\). The theorem has been extended to Lipschitz functions by \textit{F. H. Clarke} [Pac. J. Math. 64, 97--102 (1976; Zbl 0331.26013); ``Optimization and nonsmooth analysis (1983; Zbl 0582.49001)]. The author derives a positive lower bound for this radius \(r\) for the case of Lipschitz functions. It is further shown that an implicit function exists under certain conditions in the case of a set of inequalities, and again an estimate for the radius of the domain is obtained. An application to the local Lipschitz behavior of solution functions is discussed.











This page was built for publication: On the domain of the implicit function and applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2498199)