Theorem on an implicit function in quasidifferential calculus (Q1917800)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Theorem on an implicit function in quasidifferential calculus |
scientific article |
Statements
Theorem on an implicit function in quasidifferential calculus (English)
0 references
6 April 1997
0 references
The author proves two generalizations of the implicit function theorem for quasidifferentiable functions. Therefore let \(f:\mathbb{R}^m\times\mathbb{R}^n\to\mathbb{R}^n\) be componentwise quasidifferentiable in the second argument with \(f(x_0,y_0)=0_n\). The first result is a restatement of the implicit function theorem of classical analysis in terms of quasidifferentiable calculus, giving necessary conditions for the existence and uniqueness of a continuous \(y:\mathbb{R}^m\to\mathbb{R}^n\) with \(y(x_0)=y_0\) such that \[ f(x,y(x))=0_n \] for \(x\) near \(x_0\). Given in addition \(g\in\mathbb{R}^m\) and \(q_0\in\mathbb{R}^n\), the second theorem gives necessary conditions for the existence and uniqueness of a continuous \(q:[0,\alpha_0]\to\mathbb{R}^n\) with \(q(0)=q_0\) such that \[ f(x_0+\alpha g,y_0+\alpha q(\alpha))=0_n \] for \(\alpha\in [0,\alpha_0]\), that is, the implicit function exists only in the direction \((g,q_0)\). The differences between both theorems are exhibited in a lot of examples.
0 references
quasidifferential calculus
0 references
nonsmooth analysis
0 references
implicit function theorem
0 references
quasidifferentiable functions
0 references