משפט הגרדיאנט

מתוך ויקיפדיה, האנציקלופדיה החופשית

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

המשפט: בהינתן פונקציה ועקומה מנקודה לנקודה , אז:

כאשר מסמל את הגרדיאנט של הפונקציה . מהמשפט נובעת המסקנה החשובה כי ניתן לתאר כל שדה וקטורי משמר בתור הגרדיאנט של שדה סקלרי.

הוכחה[עריכת קוד מקור | עריכה]

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

לכל .

עכשיו נניח כי בתחום קיימת עקומה גזירה בעלת נקודות קיצון ו-. אם מייצג פרמטר של עבור כל , אז ניתן לראות מטענה הנ"ל כי

כאשר השוויון הראשון נובע מההגדרה של אינטגרל קווי, והשוויון השלישי נובע מהמשפט היסודי של החשבון הדיפרנציאלי והאינטגרלי.

גרסה מורחבת[עריכת קוד מקור | עריכה]

ישנה גרסה מורחבת של משפט הגרדיאנט אשר עוסקת בשדות וקטורים. אם שדה וקטורי חלק ב-, התכונות הבאות שקולות:

  1. קיימת פונקציה חלקה כך שמתקיים לכל , .
  2. לכל , .
  3. לכל עקום חלק במישור, האינטגרל תלוי רק בקצוות העקום.
  4. לכל עקום חלק וסגור במישור, האינטגרל .

הנוסחה לעיל נובעת משקילות תנאים אלו. הגרסה המורחבת נכונה גם עבור שדות וקטורים מממדים יותר גבוהים לאחר הכללות מתאימות.

קישורים חיצוניים[עריכת קוד מקור | עריכה]