הצגת המקור של הדף "מטריצת הסיאן"

ב[[אנליזה מתמטית]], '''מטריצת הֶסִּיאָן''' (Hessian) היא [[מטריצה ריבועית]], שאיבריה הם [[נגזרת חלקית|הנגזרות החלקיות]] מסדר שני של [[פונקציה]]. מטריצת ההסיאן שימושית במציאת [[נקודת קיצון|נקודות קיצון]] של פונקציה מרובת משתנים ובסיווגן. המטריצה קרויה על שם המתמטיקאי הגרמני [[אוטו הסה|לודוויג אוטו הסה]] {{אנג|Otto Hesse}} שפיתח אותה ב[[המאה ה-19|מאה ה־19]].

==הגדרה פורמלית==
תהא <math>\ f(x_1,\dots,x_n):\mathbb{R}^n\rarr\mathbb{R}</math> [[שדה סקלרי|פונקציה סקלרית]] בעלת <math>\ n</math> משתנים, שכל הנגזרות החלקיות מסדר 2 שלה קיימות.

נגדיר את מטריצת ההסיאן <math>\ H(f)</math> בנקודה <math>\ a=(a_1,\dots,a_n)</math> בתור מטריצה בגודל <math>\ n\times n</math> כך ש: <math>\ \left[H(f)\right]_{ij}=\frac{\partial^2 f}{\partial x_i \partial x_j}(a)</math>הוא הערך של האיבר <math>\ ij</math>הוא ערך הנגזרת השנייה של <math>\ f</math>בנקודה <math>\ a</math>כאשר קודם גוזרים על פי המשתנה <math>\ x_j</math>ואחר כך על פי המשתנה <math>\ x_i</math>.

אם כל הנגזרות החלקיות מסדר 2 הן רציפות (נהוג לסמן זאת <math>\ f\isin C^2</math>), הנגזרות המעורבות על פי אותם משתנים שוות, כלומר <math>f_{ij}=f_{ji}</math>. מכאן נובע כי אם <math>\ f\isin C^2</math> אז מטריצת ההסיאן היא [[מטריצה סימטרית]].

:<math>H(f) = \begin{bmatrix}
\frac{\partial^2 f}{\partial x_1^2} & \frac{\partial^2 f}{\partial x_1\,\partial x_2} & \cdots & \frac{\partial^2 f}{\partial x_1\,\partial x_n} \\ \\
\frac{\partial^2 f}{\partial x_2\,\partial x_1} & \frac{\partial^2 f}{\partial x_2^2} & \cdots & \frac{\partial^2 f}{\partial x_2\,\partial x_n} \\ \\
\vdots & \vdots & \ddots & \vdots \\ \\
\frac{\partial^2 f}{\partial x_n\,\partial x_1} & \frac{\partial^2 f}{\partial x_n\,\partial x_2} & \cdots & \frac{\partial^2 f}{\partial x_n^2}
\end{bmatrix}</math>

==מציאת ערכי קיצון באמצעות מטריצת הסיאן==
אם בנקודה <math>\ a\isin\mathbb{R}^n</math> ה[[גרדיאנט]] של <math>\ f</math> הוא וקטור האפס, הנקודה <math>\ a</math> נקראת '''נקודה קריטית'''. מ[[משפט פרמה (לנקודות קיצון)|משפט פרמה]] נובע כי כל נקודת קיצון היא נקודה קריטית, אולם ההפך אינו נכון בהכרח; לא כל נקודה קריטית היא נקודת קיצון, והמשפט אינו נותן דרך לבדוק זאת. במקרים רבים ניתן להכריע באמצעות ההסיאן אם נקודה קריטית היא נקודת קיצון.

בהינתן נקודה קריטית <math>\ a</math> יש לחשב את מטריצת ההסיאן של הפונקציה בנקודה זו. כעת בודקים את סימנם של [[ערך עצמי|הערכים העצמיים]] של המטריצה, ומתקיים אחד מבין המקרים הבאים:
#אם כל הערכים העצמיים של המטריצה חיוביים (מטריצה כזו נקראת [[מטריצה חיובית|מטריצה חיובית לחלוטין]]) הנקודה היא נקודת מינימום;
#אם כל הערכים העצמיים של המטריצה שליליים (מטריצה כזו נקראת [[מטריצה חיובית|מטריצה שלילית לחלוטין]]) הנקודה היא נקודת מקסימום;
#אם קיים למטריצה ערך עצמי חיובי וערך עצמי שלילי, הנקודה היא [[נקודת אוכף]];
#אם למטריצה קיים ערך עצמי 0 ושאר הערכים עצמיים הם בעלי אותו סימן, לא ניתן לדעת בוודאות בעזרת מבחן זה האם הנקודה היא נקודת מינימום, מקסימום, או אוכף.

נשים לב כי מבחן זה מכליל את הבדיקה עבור פונקציה של משתנה אחד: אם הנגזרת השנייה של הפונקציה חיובית בנקודת קיצון, זוהי נקודת מינימום. אם היא שלילית, זוהי נקודת מקסימום, ואם היא שווה לאפס, לא ניתן לדעת באמצעות מבחן זה האם זוהי נקודת מינימום, מקסימום או [[נקודת פיתול]].

במקרה של פונקציות בשניים או בשלושה משתנים קיימת שיטה נוספת, השקולה לזו שהוזכרה, והיא שימוש ב[[דטרמיננטה]] של המטריצה.

עבור פונקציה בשני משתנים –

# אם הדטרמיננטה גדולה מאפס, הנקודה היא אכן נקודת קיצון. סוגה ייקבע לפי הנגזרת השנייה לפי המשתנה הראשון (כלומר הביטוי שנמצא בתא השמאלי ביותר למעלה במטריצה): אם היא גדולה מאפס – הנקודה היא נקודת מינימום, ואם קטנה מאפס – היא נקודת מקסימום.
# אם הדטרמיננטה קטנה מאפס, הנקודה היא נקודת אוכף.
# אם הדטרמיננטה שווה לאפס, לא ניתן לקבוע לפי מבחן זה את סוג הנקודה.
עבור פונקציה בשלושה משתנים -

# אם כל [[מינור (אלגברה ליניארית)|המינורים]] הראשיים (מינור ראשי הוא מינור שמתקבל מבחירת ת״א על האלכסון) גדולים מאפס – זוהי נקודת מינימום מקומי.
# אם סימניהם של המינורים הראשיים הולכים לסירוגין (-,+,-…) – זוהי נקודת מקסימום מקומי.
# אם זו לא אחת מהאפשרויות הקודמות, וכל המינורים שונים מאפס – זוהי נקודת אוכף.
# אחרת – לא ניתן לקבוע את סוג הנקודה.

=== דוגמה למציאת נקודות קיצון של פונקציה בשני משתנים ===
נתונה הפונקציה: 

<math>f(x,y)=\frac{x^2}{4}+y^4-x^2-2y^2</math>

ראשית נחפש נקודות החשודות להיות נקודות קיצון, באמצעות השוואת הנגזרות החלקיות לאפס, ומציאת הערכים שמקיימים זאת:

<math>\frac{\partial f}{\partial x}=2x^3-2x=0 \implies x(x^2-1)=0 \implies x=0,-1,1</math>

<math>\frac{\partial f}{\partial y}=4y^3-4y=0 \implies y(y^2-1)=0 \implies y=0,-1,1</math>

כלומר קיבלנו 9 נקודות החשודות להיות נקודות קיצון, שהן כל הצירופים האפשריים של ערכי <math>x</math> ו־<math>y</math> שמצאנו. 

ההסיאן יהיה:

<math>H(f)=\begin{bmatrix}
\frac{\partial^2 f}{\partial x^2} & \frac{\partial^2 f}{\partial x \partial y} \\
\frac{\partial^2 f}{\partial y \partial x} & \frac{\partial^2 f}{\partial y^2}
\end{bmatrix} = \begin{bmatrix}
6x^2-2 & 0\\
0 & 12y^2-4
\end{bmatrix}</math>

הדטרמיננטה של ההסיאן גדולה מאפס בנקודות: <math>(0,0),(1,-1), (1,1),(-1,-1),(-1,1)</math>. אלה הן נקודות קיצון.

מתוכן, <math>\frac{\partial^2 f}{\partial x^2}</math> קטן מאפס בנקודה <math>(0,0)</math> – כלומר זוהי נקודת מקסימום.

בשאר הנקודות בהן הדטרמיננטה גדולה מאפס, <math>\frac{\partial^2 f}{\partial x^2}</math> גדול מאפס, כלומר אלו הן נקודות מינימום.

==קישורים חיצוניים==
* {{MathWorld}}

[[קטגוריה:אופרטורים דיפרנציאליים]]