Question

Hesse-Matrix = 0

Aufrufe: 538 Aktiv: 15.06.2022 um 19:59

0

Hallo,
ich habe die Funktion $ f(x,y)=e^{xy}+x^2+ \lambda y^2 $ und soll zeigen, dass sie für $ \lambda \geq \frac{1}{4} $ ein lokales Minimum bei (0,0) hat. Die Hesse Matrix ist

$H_{f} (x,y)=$$\begin{pmatrix}
2 & 1 \\
1 & 2\lambda \\
\end{pmatrix}$

Für $\lambda > \frac{1}{4} $ ist mir das lokale Minimum bewusst, aber nicht für =1/4. Da ist die Determinante der Hesse-Matrix ja dann = 0 bzw. auch ein Eigenwert. Was mache ich an der Stelle?

Teilen Diese Frage melden

gefragt 15.06.2022 um 01:47

sreal
Punkte: 49

Kommentar schreiben

1 Antwort

mathejean · Accepted Answer · 2022-06-15T13:44:27Z

0

Finde $r>0$, so dass für alle $x \in B_r(0)$ gilt: $f(x)\geq f(0)$

Teilen Diese Antwort melden Link

geantwortet 15.06.2022 um 13:44

mathejean
Student, Punkte: 10.54K

Wie habt ihr denn Minimum definiert? ─ mathejean 15.06.2022 um 14:14

Bin mir nicht ganz sicher, ob ich deine Antwort wirklich ganz verstehe.
Habe aber selbst noch was:
Die 1. Hauptminore ist ja größer 0, und die 2. Hauptminore = 0(für Lambda = 1/4). Damit wäre das Ganze positiv semidefinit, was für ein lokales Minimum schon reicht.

Stimmt das? ─ sreal 15.06.2022 um 14:18

Ja, du wenn du das Kriterium kennst hättest du aber auch schon sagen können, dass alle Eigenwerte größer gleich 0 sind, hieraus folgt auch positiv semi-definit ─ mathejean 15.06.2022 um 14:22

Ja, ich kannte es eigentlich nicht, habe es gerade erst im Internet gefunden. Trotzdem Danke :) ─ sreal 15.06.2022 um 14:23

Du hast recht! Ich habe mich von Ihm überzeugen lassen, weil er meinte er kennt so ein Kriterium. Also doch mit Definition arbeiten! ─ mathejean 15.06.2022 um 14:40

Hm, mit der Defintion bin ich aber etwas überfordert.

Und in unserer Definiton steht nur, dass H_f positiv-definit sein muss. Semi-Definitheit wird bei uns gar nicht behandelt. ─ sreal 15.06.2022 um 14:59

@cauchy Ich weiß. Wurde mir ja schon von mathejean und mikn gesagt.
Ändert nichts daran, dass ich nicht weiß, wie ich mit der Definition arbeiten soll. ─ sreal 15.06.2022 um 15:12

Stimmt, habe ich mich verguckt, was leider weiterhin nichts daran ändert, dass ich weiß, wie ich das mit der Definition machen soll ─ sreal 15.06.2022 um 15:25

Habe jetzt mal versucht eine Musterlösung auf meine Funktion zu übertragen. Ich weiß nicht, ob das richtig ist, aber für mich würde das Sinn ergeben :)

Es ist also f gegeben durch $ f(x,y) = e^{xy}+x^2+\lambda y^2 $. Dann ist $ \nabla f(x,y)=(y \cdot e^{xy}+2x, x\cdot e^{xy} + 2\lambda y) $ und damit auch $ \nabla f(0,0)=(0,0) $, d.h. $(0,0)$ ist ein kritischer Punkt von f. Hier gilt $ f(x,0)=1+x^2>0 $ für alle $ x $ und $ f(0,y)=1+\lambda y^2 > 0 $ für alle $ y $ und für alle $ \lambda \geq \frac {1}{4}$. In jeder Umgebung von Null ohne den Ursprung sind also die Werte von f sowohl auf der x-Achse als auch auf der y-Achse strikt positiv. Damit liegt im Ursprung ein lokales Minimum vor.

Das einzige, was mich stört ist, dass die Einschränkung von Lambda auf größer als 1/4 hier nicht wichtig ist. Lambda könnte hier auch bspw. 1/3 sein und meine Argumentation würde stimmen. Aus einem anderen Aufgabenteil weiß ich aber, dass für Lambda zwischen 0 und 1/4 bei (0,0) ein Sattelpunkt liegt, was ja dann ein Widerspruch ist.

Habe jetzt mal versucht eine Musterlösung auf meine Funktion zu übertragen. Ich weiß nicht, ob das richtig ist, aber für mich würde das Sinn ergeben :)

Es ist also f gegeben durch $ f(x,y) = e^{xy}+x^2+\lambda y^2 $. Dann ist $  \nabla f(x,y)=(y \cdot e^{xy}+2x, x\cdot e^{xy} + 2\lambda y) $ und damit auch $  \nabla f(0,0)=(0,0) $, d.h. $(0,0)$ ist ein kritischer Punkt von f. Hier gilt $ f(x,0)=1+x^2>0  $ für alle $ x  $ und $ f(0,y)=1+\lambda y^2 > 0 $ für alle $ y $ und für alle $ \lambda  \geq \frac {1}{4}$. In jeder Umgebung von Null ohne den Ursprung sind also die Werte von f sowohl auf der x-Achse als auch auf der y-Achse strikt positiv. Damit liegt im Ursprung ein lokales Minimum vor.

Das einzige, was mich stört ist, dass die Einschränkung von Lambda auf größer als 1/4 hier nicht wichtig ist. Lambda könnte hier auch bspw. 1/3 sein und meine Argumentation würde stimmen. Aus einem anderen Aufgabenteil weiß ich aber, dass für Lambda zwischen 0 und 1/4 bei (0,0) ein Sattelpunkt liegt, was ja dann ein Widerspruch ist.

─ sreal 15.06.2022 um 19:27

Erstens brauchst du nur eine Umgebung 2. reicht es nicht nur in $x$ und $y$ Richtung zu schauen. Du brauchst einfach eine ganz kleine Umgebung. Wenn du keine Ahnung hast kannst du auch übertreiben und mal $r=\frac{1}{1000}$ setzen und schauen ob es klappt ─ mathejean 15.06.2022 um 19:49

Oh das mit 1/3 ud 1/4 war ja blöd von mir. Hätte dann natürlich sowas wie 1/5 sein solllen.
Hm ok, ich werde es dann wohl erstmal dabei lassen, dass ich das lokale Minimum für echt größer 1/4 gezeigt habe.
Vielleicht finde ich ja aber auch noch was. ─ sreal 15.06.2022 um 19:59

Kommentar schreiben