A fresh geometrical look at the general S-procedure (Q2128764): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: On the S-procedure and some variants / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3179447 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Duality theorems for certain nonconvex extremal problems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Kalman-Popov-Yakubovich Lemma and the \(S\)-procedure: a historical essay / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Permanently going back and forth between the ``quadratic world'' and the ``convexity world'' in optimization / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Survey of the S-Lemma / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Convexity of quadratic transformations and its use in control and optimization / rank | |||
Normal rank |
Latest revision as of 18:42, 28 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A fresh geometrical look at the general S-procedure |
scientific article |
Statements
A fresh geometrical look at the general S-procedure (English)
0 references
22 April 2022
0 references
Let \(f_{i}:\mathbb{R}^{n}\rightarrow \mathbb{R}\) (\(i=0,1,...,p\)), and set \( \mathcal{F}:=Im(f_{0},-f_{1},\ldots,-f_{p})\). The main result establishes that, if there exists \(x_{0}\in \mathbb{R}^{n}\) such that \( f_{i}(x_{0})>0\) (\(i=0,1,\ldots,p\)), there exists a set \(\mathcal{Z\subset } \mathbb{R}^{p+1}\) containing \(0\) and such that \(\mathbb{R}_{+}(\mathcal{F}+ \mathcal{Z})\) is convex, and the implication \[ f_{i}(x)\geq 0\text{ for all }i=1,\ldots,p\Rightarrow f_{0}(x)\geq 0 \] holds true, then there exist \(\alpha _{i}\geq 0\) (\(i=0,1,\ldots,p\)) such that \( f_{0}(x)\geq \sum\limits_{i=1}^{p}f_{i}(x)\) for all \(x\in \mathbb{R}^{n}\).
0 references
convexity
0 references
S-lemma
0 references
0 references