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

• הסבר על חישוב הופכי ב [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]

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

מטריצת ההסיאן היא: [math]\displaystyle{ \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]

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

אם נציב [math]\displaystyle{ (\frac{1}{2},\frac{1}{3}) }[/math] נקבל (אם אין לי טעות חישוב): [math]\displaystyle{ \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]

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

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

נתחיל בנקודות שעל ציר [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)=-x^4 }[/math] ולכן [math]\displaystyle{ x=0 }[/math] היא מקסימום לאורך הקו הזה.

אבל אם נתקדם לאורך הישר [math]\displaystyle{ y=-2x+1 }[/math] נקבל ש

[math]\displaystyle{ f(x,-2x+1)=x^3(-2x+1)^2(x)=x^4(-2x+1)^2 }[/math] נקבל ש [math]\displaystyle{ x=0 }[/math] היא נקודת מינימום לאורך הקו הזה.

לכן [math]\displaystyle{ (0,1) }[/math] היא גם נקודת אוכף.

סיכום ביניים: כל ציר [math]\displaystyle{ y }[/math] הוא נקודות אוכף.

כעת נעבור לציר [math]\displaystyle{ x }[/math].