A fresh geometrical look at the general S-procedure (Q2128764): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Created claim: Wikidata QID (P12): Q114222155, #quickstatements; #temporary_batch_1711094041063 |
||
Property / Wikidata QID | |||
Property / Wikidata QID: Q114222155 / rank | |||
Normal rank |
Revision as of 13:44, 22 March 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