scientific article; zbMATH DE number 1273998
A pair consisting of the smooth function \(f:N^n\to \mathbb{R}\) and the smooth mapping \(g:N^n\to M^m\) \((m\leq n)\) is determined on the \(C^\infty\)-manifold \(N^n\). \(g\) is called the constraint mapping, while \(M^m\) is the parameter space. \(f\) is called the minimized function. The conditional minimum function \(F(q)= \min\{f(p): g(p)=q\), \(q\in g(N)\}\) yields a solution to the smooth elementary problem \(f(p)\to\min\) under the condition \(g(p)= q\). The main purpose of the paper is to classify the typical generating singularities of the conditional minimum for the 3-dimensional parameter space. The basic results are formulated as follows: Theorem 1. The list of generating singularities of the conditional minimum on the 3-dimensional parameter space for typical pairs is stabilized when \(\dim N=4\). Theorem 2. For \(n=m=3\), an appropriate \(\mathbb{R}^+\)-equivalence reduces the germ of the graph of the conditional minimum of a typical pair at the point with a generating singularity to the germ at zero of the graph of one of the following six functions: (1) 0; (2) \(-\sqrt{\lambda_1}\); (3) \(-| \lambda_2| \sqrt{\lambda_1}\); (4) \(\min\{w: w^3+ \lambda_1w+ \lambda_2= 0\}\); (5) \(\min\{w: w^4+ \lambda_1w^2+ \lambda_2w+ \lambda_3= 0\}\); (6) \(\min\{\pm w^2: w^3+ \lambda_1w^2+ \lambda_2w+ \lambda_3=0\}\), where \((\lambda_1, \lambda_2, \lambda_3)\) are local coordinates in the parameter space. All these singularities are stable. Theorem 3. For \(n=4\) and \(m=3\), an appropriate \(\mathbb{R}^+\)-equivalence reduces the germ of the graph of the conditional minimum of a typical pair at the point with a generating singularity to the germ at zero of the graph of one of the following seven functions: (1) 0; (2) \(-\sqrt{\lambda_1}\); (3) \(\min\{w: w^3+ \lambda_1w+ \lambda_2= 0\}\); (4) \(\min\{w: w^4+ \lambda_1w^2+ \lambda_2w+ \lambda_3= 0\}\); (5) \(\min \{x^4+ \lambda_1x^2+ \lambda_2x: x\in \mathbb{R}\}\); (6) \(\min\{xy+ \lambda_1x+ \lambda_2y: x^2+ y^2= \lambda_3\}\); (7) \(\min\{x^2+ y^2+ \lambda_1x+ \lambda_2y: x^2- y^2= \lambda_3\}\). All these singularities are also stable. For the entire collection see [Zbl 0910.00033].
- Coincidence of typical singularities of solutions of extremal problems with constraints
- Coincidence of generic relative minimum singularities in problems with explicit and implicit constraints
- Application of the singular differential equations in constrained function minimization problems
- scientific article; zbMATH DE number 822352
- Local theory of singularities of three functions and the product maps
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4237487)
