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