Kurs:Mathematik für Anwender (Osnabrück 2019-2020)/Teil II/Arbeitsblatt 52

Übungsaufgaben

Wenn in den folgenden Aufgaben nach Extrema gefragt wird, so ist damit gemeint, dass man die Funktionen auf (isolierte) lokale und globale Extrema untersuchen soll. Zugleich soll man, im differenzierbaren Fall, die kritischen Punkte bestimmen.

Aufgabe

Untersuche die Addition

$+:{ℝ}^2⟶ℝ,(x,y)⟼x+y,$

und die Multiplikation

$\cdot :{ℝ}^2⟶ℝ,(x,y)⟼x\cdot y,$

auf kritische Punkte und auf Extrema.

Aufgabe

Untersuche die Funktion

$f:{ℝ}^2⟶ℝ,(x,y)⟼x^2-y^2,$

auf Extrema.

Aufgabe

Untersuche die Funktion

$f:{ℝ}^2⟶ℝ,(x,y)⟼x^2-y^4,$

auf Extrema.

Aufgabe

Untersuche die Funktion

$f:{ℝ}^2⟶ℝ,(x,y)⟼2x^2+3y^2+5xy,$

auf Extrema.

Aufgabe

Untersuche die Funktion

$f:{ℝ}^2⟶ℝ,(x,y)⟼2x^2+3y^2+4xy,$

auf Extrema.

Aufgabe *

Bestimme die kritischen Punkte der Funktion

$\phi :{ℝ}^2⟶ℝ,(x,y)⟼3x^2-2xy-y^2+5x,$

und entscheide, ob in diesen kritischen Punkten ein lokales Extremum vorliegt.

Aufgabe *

Wir betrachten die Abbildung

$f:ℝ\times {ℝ}_{+}\times ℝ⟶ℝ,(x,y,z)⟼\frac{xz}{x^2+y^2},$

(es ist also  $y>0$ ).

a) Berechne die partiellen Ableitungen von $f$ und stelle den Gradienten zu $f$ auf.

b) Bestimme die isolierten lokalen Extrema von $f$.

Aufgabe *

Untersuche die Funktion

$f:{ℝ}^2⟶ℝ,(x,y)⟼-3x^2+2xy-7y^2+x,$

auf Extrema.

Aufgabe

Man untersuche die Funktion

${ℝ}_{+}\times ℝ⟶ℝ,(x,y)⟼x^y,$

auf Extrema (vergleiche Beispiel 52.4), indem man die Funktion als Hintereinanderschaltung

${ℝ}_{+}\times ℝ⟶ℝ\times ℝ⟶ℝ⟶ℝ$

mit $(x,y)\mapsto (\ln x,y)$, $(u,v)\mapsto (uv)$, $z\mapsto e^z$ auffasst und Aufgabe 51.1 und Aufgabe 51.2 heranzieht.

Aufgabe

Bestimme den Typ der Hesse-Form zur Funktion

$f:{ℝ}^2⟶ℝ,(x,y)⟼x^{2}y-x{y}^2+x^2-y^3,$

in jedem Punkt.

Aufgabe *

Wir betrachten die Determinante für $2\times 2$-Matrizen als Funktion

$det:{\mathrm{Mat}}_2(ℝ)={ℝ}^4⟶ℝ,\left(\begin{array}{cc}x& y\\ z& w\end{array}\right)⟼xw-zy.$

1. Bestimme die Jacobi-Matrix zu $det$ und die kritischen Punkte.
2. Untersuche $det$ auf lokale Extrema. Bestimme insbesondere den Typ der Hesse-Matrix im Nullpunkt.
3. Finde einen zweidimensionalen Untervektorraum

   $U\subseteq {\mathrm{Mat}}_2(ℝ),$

   auf dem die (Einschränkung der) Determinante ein lokales Minimum besitzt.

Aufgabe *

Man gebe für vorgegebene natürliche Zahlen $p,q,n$ mit  $p+q\le n$  eine zweimal stetig differenzierbare Funktion

$f:{ℝ}^n⟶ℝ,$

deren Hesse-Form im Nullpunkt den Typ $(p,q)$ besitzt.

Aufgabe

Es sei

$f:{ℝ}^n⟶ℝ$

eine zweimal stetig differenzierbare Funktion und $P\in {ℝ}^n$ ein kritischer Punkt. Es sei $v\in {ℝ}^n$ ein Eigenvektor zur Hesse-Matrix in $P$ mit einem positiven Eigenwert. Zeige, dass $f$ in $P$ kein lokales Maximum besitzt.

Kommentar:

Die Hesse-Matrix ist eine symmetrische $n\times n$ Matrix und repräsentiert die Hesse-Form, welche eine symmetrische Bilinearform ist. Genauer gesagt ist sie die Gramsche Matrix der Hesse-Form. Die im Vorhinein vielleicht sehr abstrakt erscheinende Vorlesung 44 zu Bilinearformen bekommt nun im Zusammenhang mit Extrema und der Hesse-Form eine praktische Bedeutung.

Damit die Funktion $f$ kein lokales Maximum im Punkt $P$ hat, wäre es wegen Satz 52.2 gut, wenn die Hesse-Form positiv definit oder indefinit wäre. Dann würde entweder ein lokales Minimum vorliegen oder gar kein Extremum.

Die einzige Information, die wir haben, ist, dass die Hesse-Matrix in $P$ mindestens einen positiven Eigenwert besitzt (dieser hat auch mindestens Eigenraumdimension 1). Ein Satz, den wir kennengelernt haben, der Rückschlüsse von der Grammatrix (hier Hesse-Matrix) auf die Definitheit der zugehörigen symmetrischen Bilinearform (hier die Hesse-Form) zulässt, ist das Eigenwertkriterium Satz 44.14.

Da wir einen positiven Eigenwert mit mindestens Eigenraumdimension 1 haben, ist die Summe der Dimseionen zu positiven Eigenräumen mindestens 1 und deshalb hat die Hesse-Form Typ $(p,q)$ mit $p\ge 1$. Nach Definition des Typs existiert ein Unterraum von ${ℝ}^n$, der mindestens Dimension 1 hat und auf dem die Hesse-Form positiv definit ist.

Kann die Hesse-Form jetzt überhaupt noch negativ definit sein? Wie müsste der Typ sein, damit die Hesse-Form positiv definit und wie, damit sie indefinit ist?

 

Aufgabe *

Es sei

$f:G⟶ℝ$

eine zweimal stetig differenzierbare Funktion, wobei $G\subseteq {ℝ}^n$ eine offene Menge sei. Zeige, dass für $P\in G$ und $v\in V$ die Beziehung

$\sum _{r\in {\mathbb{N}}^n,|r|=2}\frac{1}{r!}{D}^{r}f(P)\cdot v^r=\frac{1}{2}{\mathrm{Hess}}_{P}f(v,v)$

gilt.

Aufgabe

Untersuche die Funktion

$f:{ℝ}^2⟶ℝ,(x,y)⟼x{y}^2-x^{3}y,$

auf Extrema.

Aufgabe *

Untersuche die Funktion

$f:{ℝ}^2⟶ℝ,(x,y)⟼x^2+xy-6y^2-y,$

auf kritische Punkte und Extrema.

Aufgabe *

Es sei

$f:{ℝ}^n⟶ℝ$

eine stetig differenzierbare Funktion mit

$f(P)=f(-P)$

für alle $P\in {ℝ}^n$.

a) Zeige, dass $f$ in $0$ einen kritischen Punkt besitzt.

b) Man gebe ein Beispiel für eine solche Funktion, die in $0$ ein isoliertes lokales Maximum besitzt.

c) Man gebe ein Beispiel für eine solche Funktion, die in $0$ kein Extremum besitzt.

Aufgabe *

Bestimme die lokalen und globalen Extrema der auf der abgeschlossenen Kreisscheibe  $B(0,1)=\{(x,y)\in {ℝ}^2\mid x^2+y^2\le 1\}$  definierten Funktion

$f:B(0,1)⟶ℝ,(x,y)⟼x^2+y^3-y^2-y.$

Aufgabe

Bestimme für die Funktion

$f:D⟶ℝ,(x,y)⟼xy\sqrt{3-x^2-y^2},$

den maximalen Definitionsbereich $D\subseteq {ℝ}^2$ und untersuche die Funktion auf Extrema.

Aufgabe

Wir betrachten die Funktion

$f:[0,1]⟶ℝ,t⟼1-t^2.$

Für welches  $x\in [0,1]$  besitzt die zugehörige zweistufige (maximale) untere Treppenfunktion zu $f$ den maximalen Flächeninhalt? Welchen Wert besitzt er?

Kommentar:

Für die Aufgabe ist auch mit Blick auf die Lösung der Aufgabe 52.21 wichtig ein kleines Detail zu sehen. Es soll eine maximale untere Treppenfunktion bei gebenen Sprungstellen (hier nur eine) konstruiert werden. Das ist für eine beliebige Funktion ersteinmal keine leichte Aufgabe, denn wegen der Maximalität der Treppenfunktion, müsste über jedes Intervallstück der minimale Wert der Funktion gefunden werden, damit die Stufen mit eben diesem Wert als Höhe, so groß wie möglich unterhalb der Funktion sind. Doch wir haben es hier mit einer Funktion zu tun, die ein spezielles Verhalten über dem Intervall hat, welches ist das?

 

Aufgabe *

Wir betrachten die Funktion

$f:[0,1]⟶ℝ,t⟼1-t^2.$

Für welche $x,y\in [0,1]$, $x<y$, besitzt die zugehörige dreistufige (maximale) untere Treppenfunktion zu $f$ den maximalen Flächeninhalt? Welchen Wert besitzt er?

Aufgabe

Es sei $V$ ein endlichdimensionaler reeller Vektorraum, $G\subseteq V$ offen, und $P\in G$. Man gebe ein Beispiel von zwei zweimal stetig differenzierbaren Funktionen

$f,g:G⟶ℝ$

an derart, dass ihre quadratischen Approximationen in $P$ übereinstimmen, und die eine Funktion ein Extremum in $P$ besitzt, die andere nicht.

Aufgabe

Es sei $V$ ein endlichdimensionaler reeller Vektorraum, ${\dim }_{}\left(V\right)\ge 2$, $G\subseteq V$ offen, und $P\in G$. Man gebe ein Beispiel von zwei zweimal stetig differenzierbaren Funktionen

$f,g:G⟶ℝ$

an derart, dass ihre quadratischen Approximationen in $P$ übereinstimmen, und die eine Funktion ein Extremum in $P$ besitzt, die andere nicht.

Aufgaben zum Abgeben

Aufgabe (4 Punkte)

Untersuche die Funktion

$f:{ℝ}^2⟶ℝ,(x,y)⟼x^2+9y^2+6xy,$

auf Extrema.

Aufgabe (4 Punkte)

Es sei $I=]-\frac{\pi }{2},\frac{\pi }{2}[$. Untersuche die Funktion

$f:I\times I⟶ℝ,(x,y)⟼\frac{\cos x}{\cos y},$

auf Extrema.

Aufgabe (5 Punkte)

Wir betrachten die Funktion

$f:[0,1]⟶ℝ,t⟼t^2.$

Für welche $x,y\in ]0,1[$, $x<y$, besitzt die zugehörige dreistufige (maximale) untere Treppenfunktion zu $f$ den maximalen Flächeninhalt? Welchen Wert besitzt er?

Aufgabe (5 Punkte)

Sei

$h:{ℝ}_{\ge 0}⟶ℝ$

eine Funktion und betrachte

$f:{ℝ}^2⟶ℝ,(x,y)⟼h(x^2+y^2).$

Zeige, dass $f$ allenfalls im Nullpunkt $(0,0)$ ein isoliertes lokales Extremum besitzen kann, und dass dies genau dann der Fall ist, wenn $h$ in $0$ ein isoliertes lokales Extremum besitzt.

Aufgabe (5 Punkte)

Es sei

$\phi :{ℝ}^2⟶ℝ$

eine stetige Funktion und es sei $P\in {ℝ}^2$ ein isolierter Punkt, d.h. es gebe eine offene Umgebung $P\in U$ derart, dass $\phi (Q)\ne \phi (P)$ ist für alle $Q\in U$, $Q\ne P$. Zeige, dass dann $\phi$ in $P$ ein isoliertes lokales Extremum besitzt.