נגזרת פרשה
![]() בערך זה |
במתמטיקה, נגזרת פרשה (אנ') היא הרחבה של מונח הדיפרנציאל עבור מרחב בנך כללי. נגזרת זו נקראת על שם המתמטיקאי הצרפתי רנה מוריס פרשה.
באמצעות נגזרת פרשה ניתן לתאר דיפרנציאלים של מרחבי מטריצות או פונקציות. עובדה זו הופכת את נגזרת פרשה לשימושית במיוחד בתחום של חשבון וריאציות.[1]
בהמשך ערך זה נסמן ב-, ו- מרחבי בנך כלשהם מעל שדה הממשיים או שדה המרוכבים, ו- קבוצות פתוחות. כמו כן נסמן ב- את מרחב כל האופרטורים הליניארים החסומים מ- ל-.
הגדרה פורמלית
עריכהפונקציה תקרא גזירה לפי פרשה בנקודה אם ורק אם קיים אופרטור ליניארי חסום כך שמתקיים:
ניתן להוכיח כי אם כזו קיימת, היא בהכרח יחידה, לכן ניתן להגדיר . נקראת נגזרת פרשה בנקודה .
תכונות
עריכהליניאריות
עריכהבהינתן שתי פונקציות גזירות לפי פרשה בנקודה וזוג סקלרים (ממשים או מרוכבים), ניתן להראות כי הפונקציה אף היא גזירה לפי פרשה בנקודה ומתקבל:
כלל השרשרת
עריכהנגזרת פרשה מקיימת גרסה שקולה לכלל השרשרת: עבור גזירה לפי פרשה ב- ו- גזירה לפי פרשה ב- , ניתן להראות כי גזירה לפי פרשה בנקודה ומתקיים:
אי תלות בבחירת הנורמה
עריכהבהניתן נורמות השקולות לנורמות בהתאמה, ניתן להחליף את הנורמה בהגדרת נגזרת פרשה מבלי לשנות את תוצאת הנגזרת. על כן, במקרה שבו ו- שניהם מממד סופי, הגדרת נגזרת פרשה אינה תלויה בבחירת הנורמה, זאת מכיוון שכל הנורמות שקולות עבור מרחב מממד סופי.
הרחבת מונח הדיפרנציאל
עריכהדפרנציאל ממשי או מרוכב
עריכהבמקרה שבו כאשר או , ניתן להראות כי גזירה לפי פרשה אם ורק אם היא גזירה לפי הנגזרת הסטנדרטית. במקרה זה:
כלומר, נגזרת פרשה תהיה פונקציית הכפלה בסקלר , כאשר היא הנגזרת הסטנדרטית של בנקודה .
קשר עם נגזרת כיוונית וחלקית
עריכה- ערך מורחב – נגזרת כיוונית
במקרה שבו ( מספרים טבעיים שונים מ-0), ניתן להוכיח כי נגזרת פרשה קיימת בנקודה אם ורק אם הפונקציה דיפרנציאבילית בנקודה זו. במקרה זה, ניתן להגדיר את מטריצת היעקוביאן:
ולבטא באמצעותה את נגזרת פרשה של בנקודה . לכל מתקבל:
כאשר הביטוי מימין מייצג כפל מטריצה בוקטור עמודה. למעשה הביטוי זהה לנגזרת הכיוונית של בנקודה ובכיוון .
קשר לנגזרת גאטו
עריכהבעוד שנגזרת פרשה מהווה הרחבה של הנגזרת הסטנדרטית, היא באותה מידה מהווה מקרה פרטי של נגזרת גאטו.[3] בעוד שנגזרת פרשה מחויבת להיות אופרטור ליניארי חסום, נגזרת גאטו אינה בהכרח ליניארית.
ניתן להראות כי כל פונקציה גזירה לפי פרשה היא גזירה לפי גאטו, ובמקרה זה שתי הנגזרות תהיינה זהות. יתרה מכך, במקרה שבו נגזרת גאטו ליניארית וחסומה, היא שווה לנגזרת פרשה.
עם זאת, ישנם מקרים שבהם נגזרת גאטו אינה ליניארית ומקרים נוספים שבהם היא ליניארית אך אינה חסומה. בשני מקרים אלו נגזרת פרשה לא תתקיים.
נגזרת ממעלה גבוהה
עריכהבהינתן פונקציה אשר גזירה לפי פרשה בכל , מתקבלת פונקציה חדשה . מאחר שכל האיברים ב- הם אופרטורים חסומים, ניתן להגדיר עליהם את הנורמה האופרטורית ובכך להפוך את למרחב בנך. כלומר, היא פונקציה בין שני מרחבי בנך, ועל כן ניתן להגדיר עליה נגזרת פרשה. בהינתן ש- גזירה לפי פרשה ב- מתקבל כי:
ניתן להגדיר באופן שקול פונקציה ביליניארית כך ש:
פונקציה זו היא הנגזרת השנייה לפי פרשה בנקודה . ניתן בצורה דומה להגדיר את נגזרת פרשה עבור מעלות גבוהות יותר.
דוגמאות
עריכהאופרטור ליניארי
עריכהבהינתן אופרטור ליניארי חסום ניתן להראות כי הוא גזיר לפי פרשה בכל נקודה ושנגזרת זו שווה לעצמו. כלומר, לכל :
קל להראות זאת מכיוון ש:
פונקציה מטריציונית
עריכהנגדיר פונקציה כאשר הוא מרחב המטריצות הריבועיות מממד כך שלכל :
ניתן להראות כי גזירה לפי פרשה בכל מקום וכי לכל :
הליניאריות של נובעת מתכונות כפל מטריצות. כמו כן פונקציה זו חסומה מכיוון שהמרחב הוא מממד סופי.
על-מנת להוכיח כי אכן פונקציה זו היא נגזרת פרשה של בנקודה מגדירים כך ש- לכל . כמו כן, מאחר שכל הנורמות על שקולות ניתן לבחור נורמה תת-כפלית עבורה לכל . כעת:
מכל זה מתקבל כי ולכן היא נגזרת פרשה בנקודה .
קישורים חיצוניים
עריכה- נגזרת פרשה, באתר MathWorld (באנגלית)
הערות שוליים
עריכה- ^ G.K. Ananthasuresh, First Variation of a Functional, Indian Institute of Science, 2017-02-02 (באנגלית)
- ^ Dr. Lennard Bakker, The General Fr´echet Derivative, Brigham Young University, 2020-01-06 (באנגלית)
- ^ Eric W. Weisstein, Fréchet Derivative, mathworld.wolfram.com (באנגלית)
- ^ Dr. Lennard Bakker, Taylor’s Theorem, Brigham Young University, 2020-01-16 (באנגלית)
- ^ Nick Higham, What Is a Fréchet Derivative?, Nick Higham, 2020-06-23 (באנגלית)