מטריצת הסיאן
מתוך ויקיפדיה, האנציקלופדיה החופשית
באנליזה מתמטית, מטריצת הסיאן (Hessian) היא מטריצה ריבועית, שאיבריה הם הנגזרות החלקיות מסדר שני של פונקציה. מטריצת ההסיאן שימושית במציאת נקודות קיצון של פונקציה מרובת משתנים.
[עריכה] הגדרה פורמלית
תהא פונקציה סקלרית ב- משתנים, שקיימות כל הנגזרות החלקיות מסדר 2 שלה.
נגדיר את מטריצת ההסיאן בנקודה בתור מטריצה בגודל כך ש: - הערך של האיבר הוא ערך הנגזרת השנייה של בנקודה כאשר קודם גוזרים על פי המשתנה ואחר כך על פי המשתנה .
אם כל הנגזרות החלקיות מסדר 2 הן רציפות (נהוג לסמן זאת ), קיים משפט המראה כי הנגזרות המעורבות על פי אותם משתנים שוות, כלומר . מכאן נובע כי אם אז מטריצת ההסיאן היא מטריצה סימטרית.
[עריכה] שימוש לבדיקת ערכי קיצון
אם בנקודה הגרדיאנט של הוא וקטור האפס, הנקודה נקראת נקודה קריטית. ממשפט פרמה נובע כי כל נקודת קיצון היא נקודה קריטית, אולם ההפך אינו נכון בהכרח - לא כל נקודה קריטית היא נקודת קיצון, והמשפט אינו נותן דרך לבדוק זאת. באמצעות ההסיאן ניתן לקבל תשובה במקרים רבים.
בהינתן נקודה קריטית יש לחשב את מטריצת ההסיאן של הפונקציה בנקודה זו. כעת בודקים את סימנם של הערכים העצמיים של המטריצה, ומתקיים אחד מבין המקרים הבאים:
- אם כל הערכים העצמיים של המטריצה חיוביים (מטריצה כזו נקראת מטריצה חיובית לחלוטין) הנקודה היא נקודת מינימום.
- אם כל הערכים העצמיים של המטריצה שליליים (מטריצה כזו נקראת מטריצה שלילית לחלוטין) הנקודה היא נקודת מקסימום.
- אם קיים למטריצה ערך עצמי חיובי וערך עצמי שלילי, הנקודה היא נקודת אוכף.
- אם למטריצה קיים ערך עצמי 0 (ומכאן שהדטרמיננטה שלה שווה 0) לא ניתן לדעת בודאות בעזרת מבחן זה האם הנקודה היא נקודת מינימום, מקסימום, אוכף או אף אחת מהן.
נשים לב כי מבחן זה מכליל את הבדיקה עבור פונקציה של משתנה אחד: אם הנגזרת השנייה של הפונקציה חיובית בנקודת קיצון, זוהי נקודת מינימום. אם היא שלילית, זוהי נקודת מקסימום, ואם היא שווה לאפס, לא ניתן לדעת באמצעות מבחן זה האם זוהי נקודת מינימום, מקסימום או נקודת פיתול.