משתמש:איתמר שטיין

• הסבר על חישוב הופכי ב [math]\displaystyle{ \mathbb{Z}_p }[/math]

[math]\displaystyle{ f(x,y)=x^3y^2(1-x-y)=x^3y^2-x^4y^2-x^3y^3 }[/math]

הגרדיאנט הוא:

[math]\displaystyle{ \nabla f = (3x^2y^2-4x^3y^2-3x^2y^3,2x^3y-2x^4y-3x^3y^2) }[/math]

אם נשווה אותו ל [math]\displaystyle{ (0,0) }[/math] ונקבל:

[math]\displaystyle{ 3x^2y^2-4x^3y^2-3x^2y^3 = 0 }[/math]

[math]\displaystyle{ 2x^3y-2x^4y-3x^3y^2=0 }[/math]

נקבל שאם [math]\displaystyle{ x=0 }[/math] או [math]\displaystyle{ y=0 }[/math] שתי המשוואות מתקיימות.

אם [math]\displaystyle{ x\neq 0 ,\quad y\neq 0 }[/math], נקבל שהמשוואות הן:

[math]\displaystyle{ 3-4x-3y=0 }[/math]

[math]\displaystyle{ 2-2x-3y=0 }[/math]

הפתרון של המערכת הזאת הוא:

[math]\displaystyle{ (\frac{1}{2},\frac{1}{3}) }[/math]

ולכן כלל הנקודות הקריטיות הן:

[math]\displaystyle{ \{(x,y)\mid x=0\}\cup \{(x,y)\mid y=0\} \cup \{(\frac{1}{2},\frac{1}{3})\} }[/math]

עכשיו צריך לסווג

מטריצת ההסיאן היא:

\begin{bmatrix} 6xy^2-12x^2y^2-6xy^3 & 6x^2y-8x^3y-9x^2y^2 \\ 6x^2y-8x^3y-9x^2y^2 & 2x^3-2x^4-6x^3y \end{bmatrix}

כמובן שהצבה של [math]\displaystyle{ x=0 }[/math] או [math]\displaystyle{ y=0 }[/math] לא תקדם אותנו יותר מדי.

אם נציב [math]\displaystyle{ (\frac{1}{2},\frac{1}{3}) }[/math] נקבל (אם אין לי טעות חישוב):

\begin{bmatrix} \frac{1}{3}-\frac{1}{3}-\frac{1}{9} & \frac{1}{2}-\frac{1}{3}-\frac{1}{4} \\ \frac{1}{2}-\frac{1}{3}-\frac{1}{4} & \frac{1}{4}-\frac{1}{8}-\frac{1}{4} \end{bmatrix} = \begin{bmatrix} -\frac{1}{9} & -\frac{1}{12} \\ -\frac{1}{12} & -\frac{1}{8} \end{bmatrix}

המינור הראשון שלילי והמינור השני חיובי, לכן זו מטריצה שלילית (לחלוטין) ולכן זו נקודת מקסימום.

עכשיו צריך למיין ידנית את שאר הנקודות.

נתחיל בנקודות שעל ציר [math]\displaystyle{ y }[/math].

נביט על נקודה כלשהיא [math]\displaystyle{ (0,y_0) }[/math].

אם נתקדם לאורך הישר [math]\displaystyle{ y=-x+y_0 }[/math] (שעובר כמובן ב [math]\displaystyle{ (0,y_0) }[/math]).

אז

[math]\displaystyle{ f(x,-x+y_0)=x^3(-x+y_0)^2(1-y_0) }[/math]

אם [math]\displaystyle{ y_0\gt 1 }[/math] אז הפונקציה שלנו שלילית כש [math]\displaystyle{ x\gt 0 }[/math] וחיובית כש [math]\displaystyle{ x\lt 0 }[/math]

אם [math]\displaystyle{ y_0\lt 1 }[/math] אז הפונקציה שלנו חיובית כש [math]\displaystyle{ x\gt 0 }[/math] ושלילית כש [math]\displaystyle{ x\lt 0 }[/math]

בכל מקרה היא לא תהיה נקודת קיצון.

נותר לבדוק את הנקודה [math]\displaystyle{ (0,1) }[/math]. נתקדם לאור הישר [math]\displaystyle{ y=1 }[/math] ונקבל ש

[math]\displaystyle{ f(x,1)= }[/math]