Kritischer Punkt (Mathematik)

Eine stetig differenzierbare Abbildung zwischen zwei differenzierbaren Mannigfaltigkeiten besitzt an einer Stelle einen kritischen oder stationären Punkt, falls dort das Differential nicht surjektiv ist. Andernfalls handelt es sich um einen regulären Punkt. Gibt es einen oder mehrere kritische Punkte im Urbild eines Punktes, nennt man ihn kritischen beziehungsweise stationären Wert, sonst: regulären Wert.

Definition

Es sei $U \subset \mathbb{R}^n$ eine offene Menge und $f\colon U \rightarrow \mathbb{R}^m$ eine stetig differenzierbare Funktion.

Ein Wert $x_{0}\in U$ heißt kritischer oder stationärer Punkt von , wenn $\operatorname{D} f(x_0)$ nicht surjektiv ist, das heißt, wenn $\operatorname{rang}\left(\operatorname{D} f \left([x_0]\right)\right)< m$ gilt, wobei $\operatorname{D}f$ das totale Differential bezeichnet.

Ein $y \in \R^m$ heißt kritischer oder stationärer Wert, wenn es einen kritischen Punkt $x_{0}\in U$ mit f(x_0) = y gibt.

Beispiele

Die Definition enthält insbesondere den eindimensionalen Spezialfall. Ist $f\colon U \subseteq \R \to \R$ eine stetig differenzierbare Funktion, so ist genau dann ein kritischer Punkt von , wenn die Ableitung von an der Stelle verschwindet, also gilt. Ist beispielsweise das Polynom $\textstyle p(x) = 6 x - \frac{1}{2} x^2 - \frac{1}{3} x^3$ gegeben, so gilt genau dann, wenn $x \in \{-3,2\}$ ist. Also sind und die kritischen Punkte von .
Eine stetig differenzierbare reellwertige Abbildung in reellen Variablen besitzt genau dann einen kritischen Punkt an der Stelle $x = (x_1,\dotsc,x_n) \in \R^n$ , wenn an dieser Stelle ihr Gradient gleich dem Nullvektor ist, also wenn dort alle partiellen Ableitungen verschwinden:

${\frac {\partial f}{\partial x_{1}}}(x)=\dotsb ={\frac {\partial f}{\partial x_{n}}}(x)=0$ .

Eigenschaften

Die Menge der kritischen Punkte einer Funktion kann groß sein, zum Beispiel ist jeder Punkt im Urbild einer konstanten Abbildung kritisch. Gemäß der Definition ist auch jeder Punkt kritisch, wenn n<m gilt, selbst im Falle einer Immersion.

Der Satz von Sard besagt hingegen, dass die Menge aller kritischen Werte einer genügend differenzierbaren Abbildung Maß null besitzt; es gibt also „sehr wenige“ kritische Werte. An diesen Stellen schlägt der Satz vom regulären Wert fehl: Das Urbild eines kritischen Wertes ist im Allgemeinen keine Mannigfaltigkeit.

Entartung

Im Falle einer reellwertigen Funktion kann mithilfe der Hesse-Matrix festgestellt werden, ob es sich um einen entarteten kritischen Punkt handelt. Dieses ist genau dann der Fall, wenn die Hesse-Matrix singulär, also nicht invertierbar, ist. Mit Funktionen ohne entartete kritische Punkte beschäftigt sich die Morsetheorie.

Falls keine Entartung vorliegt, kann bei reellwertigen Funktionen auch festgestellt werden, ob es sich um ein lokales Minimum, ein lokales Maximum oder einen Sattelpunkt der Funktion handelt.

Basierend auf einem Artikel in:

Wikipedia.de