Pseudokonvexe Funktion

Pseudokonvexe Funktionen spielen in der nichtlinearen Optimierung eine entscheidende Rolle. Die starke Voraussetzung der Konvexität an Zielfunktionen oder Nebenbedingungen ist in vielen Fällen nicht erfüllt. Mit abschwächenden Konvexitätsbegriffen wie Quasikonvexität oder Pseudokonvexität versucht man dann gewisse Eigenschaften zu retten, um sie in der Algorithmik einzusetzen. Im Folgenden sei eine reellwertige Funktion $f$ auf einer offenen Teilmenge $\Gamma \subseteq \mathbb {R} ^{n}$ differenzierbar. Falls die Funktion die folgende Eigenschaft erfüllt, so heißt sie pseudokonvex: Für alle $\forall x_{1},x_{2}\in \Gamma$ gilt:

Aus $\nabla f\left(x_{1}\right)^{T}\left(x_{2}-x_{1}\right)\geq 0$ folgt $f\left(x_{2}\right)\geq f\left(x_{1}\right)$.

Gilt sogar

Aus $\nabla f\left(x_{1}\right)^{T}\left(x_{2}-x_{1}\right)\geq 0$ und $x_{1}\not =x_{2}$ folgt $f\left(x_{2}\right)>f\left(x_{1}\right)$.

so nennt man die Funktion strikt pseudokonvex. Dabei bezeichnet $\nabla f(x)$ den Gradienten von $f$ an der Stelle $x\in \Gamma$.

Ist $\Gamma \subset \mathbb {R}$ (also $n=1$) so lautet die Bedingung zur Pseudokonvexität einfach:

Aus $f'(x_{1})(x_{2}-x_{1})\geq 0$ folgt $f(x_{2})\geq f(x_{1})$.

Eine Funktion heißt pseudokonkav, wenn das Negative der Funktion pseudokonvex ist.

Beispiele und Eigenschaften

blau: $f(x):=xe^{x}$, rot: $\textstyle g(x):={\frac {-1}{1+x^{2}}}$

Differenzierbare konvexe Funktionen sind pseudokonvex. Die Funktionen

$f(x):=xe^{x}$ und

$g(x):={\frac {-1}{1+x^{2}}}$

sind Beispiele für pseudokonvexe Funktionen $\mathbb {R} \rightarrow \mathbb {R}$, die nicht konvex sind.

Pseudokonvexe Funktionen auf konvexen Bereichen sind strikt quasikonvex.

Bedeutung für die Optimierung

Verschwindet die Ableitung einer pseudokonvexen Funktion im Punkt $x_{1}$, so liegt dort ein Minimum vor. Das folgt sofort aus der Definition, denn in diesem Fall ist die Prämisse unabhängig von $x_{2}$ erfüllt und es folgt $f(x_{2})\geq f(x_{1})$. Die Definition der Pseudokonvexität ist gerade so angelegt, dass das gilt.