Linearisierter Tangentialkegel

Ein linearisierter Tangentialkegel ist ein Begriff aus der nichtlinearen Optimierung. Er stellt eine Vereinfachung eines Tangentialkegels dar und wird meist verwendet, um Optimalitätskriterien oder Regularitätsbedingungen wie die Abadie CQ herzuleiten. Der linearisierte Tangentialkegel ist stets eine Obermenge des Tangentialkegels.

Definition

Gegeben sei eine nichtleere Menge $X\subset \mathbb {R} ^{n}$, welche durch die $k$ Ungleichungen $g_{i}(x)\leq 0$ und die $l$ Gleichungen $h_{j}(x)=0$ beschrieben wird. Dann heißt für einen Punkt $x\in X$ die Menge

${\mathcal {T}}_{\text{lin}}(x)=\{d\in \mathbb {R} ^{n}\,|\,\nabla h_{j}(x)^{T}d=0,\nabla g_{i}(x)^{T}d\leq 0{\text{ falls }}g_{i}(x)=0\}$

der linearisierte Tangentialkegel im Punkt $x$.

Beispiel

Betrachtet man als Beispiel die implizite Funktion $h(x_{1},x_{2})=x_{1}^{2}+x_{2}^{2}-1=0$ den Einheitskreis, so ist

$\nabla h(x)^{T}=(2x_{1},2x_{2})$

Am Punkt $(1,0)$ ist also der linearisierte Tangentialkegel

${\mathcal {T}}_{\text{lin}}(1,0)=\{0\}\times \mathbb {R}$.

Hätte man die Funktion als Ungleichung und nicht als Gleichung definiert, so wäre

${\mathcal {T}}_{\text{lin}}(1,0)=(-\infty ,0]\times \mathbb {R}$.

Literatur

• C. Geiger, C. Kanzow: Theorie und Numerik restringierter Optimierungsaufgaben. Springer, 2002. ISBN 3-540-42790-2. https://books.google.de/books?id=spmzFyso_b8C&hl=de