אנליזה וקטורית

אָנָלִיזָה וֶקְטוֹרִית היא תחום של המתמטיקה העוסק באנליזה של פונקציות המוגדרות מעל מרחב וקטורי. בדרך כלל, מתמקדת האנליזה הווקטורית ב-, הוא המרחב האוקלידי התלת-ממדי, שמתאים לתיאור המציאות הפיזיקלית שלנו ולכן שימושי ביותר בפיזיקה. האנליזה הווקטורית פותחה על ידי ג'וסיה וילארד גיבס ואוליבר הביסייד בסוף המאה ה-19.

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

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

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

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

למבוא יותר אינטואיטיבי על וקטורים במרחב התלת-ממדי, ראו וקטור (פיזיקה).

חיבור
חיבור וקטורים: מחברים וקטורים לפי רכיבים: .

כפל
בניגוד לחיבור, יש מספר סוגים של פעולות כפל המערבים וקטורים:
 כפל בסקלר: אם  הוא מספר ממשי ו-  וקטור, אז  הוא הכפל של  בסקלר .
 מכפלה סקלרית (Dot product): המכפלה הסקלרית של שני וקטורים היא מספר, המוגדר לפי . מספר זה הוא מכפלת האורך של הווקטור הראשון, האורך של הווקטור השני וקוסינוס הזווית שביניהם. כלומר: . המכפלה הסקלרית מתאפסת אם ורק אם הווקטורים ניצבים.
 מכפלה וקטורית (Cross product): במרחב התלת-ממדי  מוגדרת פעולה נוספת, הקרויה מכפלה וקטורית. המכפלה הווקטורית של שני וקטורים  היא וקטור המאונך לשניהם, שאורכו הוא כשטח המקבילית הנוצרת ביניהם, כלומר אורך הווקטור הראשון כפול אורך השני כפול סינוס הזווית שביניהם.
את כללי החישוב של המכפלה הווקטורית קל לזכור באמצעות סימון הדטרמיננטה:
 .
כאשר  הן וקטורי היחידה של הצירים X ,Y ,Z בהתאמה.

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

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

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

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

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

ובכך המרחב שהגדרנו הוא למעשה מרחב מכפלה פנימית המהווה גם מרחב נורמי. יתרה מכך, המרחב  מהווה מרחב הילברט (מממד סופי).

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

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

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

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

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

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

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

 שדות 
 שדה סקלרי 
פונקציה  המתאימה לכל נקודה במרחב ערך סקלרי נקראת שדה סקלרי או בהשאלה מפיזיקה (ובייחוד אלקטרומגנטיות): פוטנציאל.

דוגמאות במרחב תלת־ממדי:
 טמפרטורת המים בנהר - לכל נקודה בנהר (המרחב) מותאמת הטמפרטורה באותה נקודה (סקלר).
 הפוטנציאל האלקטרוסטטי.
 .

 שדה וקטורי 
פונקציה  המתאימה לכל נקודה במרחב וקטור (ליתר דיוק, וקטור מהמרחב המשיק באותה נקודה) נקראת שדה וקטורי.

דוגמאות במרחב תלת־ממדי:
 זרימת מים בנהר - לכל נקודה בנהר (המרחב) מותאם וקטור שכיוונו ככיוון זרימת המים באותה נקודה וגודלו כמהירות הזרימה.
 השדה החשמלי.

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

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

 מבוא 
האופרטור הבסיסי במרחב זה הוא אופרטור הגזירה (נקרא גם דֶל), המוגדר:

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

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

לעיתים נקרא הסימון המשולש של האופרטור בשם "נבלא" או "נבלה", על שום דמיונו לנבל (בתחביר LaTex הוא מוצג על ידי הפקודה \nabla). בספרים רבים נהוג לכתוב את המשולש ההפוך של הדל בגופן (פונט) מודגש, במקום לרשום חץ קטן למעלה. מטרת שני הסימונים היא להדגיש שמדובר בווקטור.

 גרדיאנט 
ממוזער|220px|שמאל|המחשה של גרדיאנט. באיורים שלפנינו, השדה הסקלרי מתואר באמצעות שינוי הצבע, כאשר אזורים כהים יותר הם ערכים גדולים יותר של הפונקציה. החצים הכחולים מתארים את הגרדיאנט הנגזר מהשדה הסקלרי. שימו לב שהחצים פונים אל עבר האזורים הגבוהים יותר.
גרדיאנט הוא אופרטור המקבל פונקציה סקלרית (פונקציית פוטנציאל) ומחזיר פונקציה וקטורית שרכיביה הם הנגזרות החלקיות של הפונקציה המקורית.

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

הגרדיאנט מוגדר באופן הבא:

באמצעות אופרטור הדל, אפשר פשוט לרשום: 

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

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

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

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

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


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

כאשר ה  הוא סימון למכפלה סקלרית.

דוגמה:
נניח . 
אזי 

ואילו הנגזרת הכיוונית שלה כאשר נעים לאורך האלכסון הראשי של קובייה, כלומר , היא


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

שטף
יהי  שדה וקטורי.
אזי השטף של השדה F דרך שטח A מוגדר על ידי  . אם השדה F קבוע אזי השטף שווה פשוט ל  כאשר  הוא וקטור שגודלו הוא גודל השטח A ובכיוונו הוא ניצב לשטח A (נורמל).

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

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

הגדרת הדיברגנץ
הדיברגנץ מודד בדיוק את אותו דבר - את צפיפות ה"ברזים"/"חורי ניקוז" - בנקודה במרחב. כדי לחשב את הגודל הזה, "בונים" סביב הנקודה קובייה אינפינטסימלית בעלת נפח V, ואז לוקחים את הגבול כאשר הנפח שלה שואף ל 0, כלומר:

כאשר האינטגרל הוא על המשטח (הסגור) העוטף את הנפח V.

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

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

 רוטור (Curl) 
הרוטור (או Curl), הוא גודל דיפרנציאלי המודד את נטייתו של שדה וקטורי להסתובב סביב נקודה מסוימת.

הרוטור מוגדר כך:



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

ניתן להראות שבקאורדינטות קרטזיות הרוטור ניתן לחישוב על ידי מכפלה וקטורית של האופרטור דל בשדה:


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

כלומר,

בתנאי שמפתחים לפי השורה הראשונה. יש להדגיש כי זהו סימון שגוי מבחינה מתמטית (שהרי אופרטור גזירה אינו יכול להיות איבר במטריצה).

צורה אחרת היא באמצעות טנזור לוי-צ'יויטה:

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

הוא סימון מקוצר לנגזרת החלקית (למשל:  היא גזירה לפי x כאשר y ו-z מוחזקים כקבועים).

 לפלסיאן 
הלפלסיאן הכללי מוגדר בקואורדינטות קרטזיות:

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

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


כלומר הדיברגנץ של הגרדיאנט של הפונקציה.

בקואורדינטות פולריות (קוטביות),

בקואורדינטות כדוריות (ספריות),


ביטוי זה נכון רק כשהוא פועל על פונקציה סקלרית.

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

 אינטגרלים 
האינטגרל של שדה סקלרי או שדה וקטורי.

 אינטגרל מסלולי 

 אינטגרל משטחי 

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

 אינטגרל מרובה 

 משפטי יסוד באנליזה וקטורית 
 זהויות של נגזרות וקטוריות



 משפט הגרדיאנט
 אינטגרל מסלולי מנקודה a לנקודה b של גרדיאנט של פונקציה סקלרית מקיים 
 משפט גאוס (משפט הדיברגנץ):
 האינטגרל של השטף על משטח סגור שווה לאינטגרל הנפחי של דיברגנץ השדה בתוך הנפח הכלוא על ידי המשטח. כלומר:

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

 יישומים 
 פיזיקה והנדסה
 אלקטרומגנטיות

 ראו גם 
 דל במערכות צירים שונות
 גאומטריה דיפרנציאלית

 לקריאה נוספת 
 HIT אנליזה וקטורית - וידאו עם הסברים אינטואיטיביים בעברית של כלל המושגים
 מורי ר. שפיגל, אנליזה וקטורית, סדרת שאום
 זהויות אינטגרליות בתלת-מרחב בבלוג "רשימות בפיזיקה עיונית"
 גדי אלכסנדרוביץ', אנליזה וקטורית - מבוא, באתר "לא מדויק"
 גדי אלכסנדרוביץ', אנליזה וקטורית – נגזרת ונגזרת חלקית, באתר "לא מדויק"
 גדי אלכסנדרוביץ', אנליזה וקטורית – תכונות בסיסיות של הנגזרת, באתר "לא מדויק"
 גדי אלכסנדרוביץ', אנליזה וקטורית – מציאת ערכי קיצון, באתר "לא מדויק"
 גדי אלכסנדרוביץ', משפט הפונקציה ההפוכה ומשפט הפונקציות הסתומות, באתר "לא מדויק"
 גדי אלכסנדרוביץ', אינטגרלים כפולים, משולשים ו-d-ממדיים, באתר "לא מדויק"
 גדי אלכסנדרוביץ', החלפת משתנים בחשבון דיפרנציאלי ואינטגרלי ("שיטת ההצבה"), באתר "לא מדויק"
 גדי אלכסנדרוביץ', מידת ז'ורדן ואינטגרלים מוכללים, באתר "לא מדויק"
 גדי אלכסנדרוביץ', החלפת משתנים בחשבון דיפרנציאלי ואינטגרלי – המשפט הכללי, באתר "לא מדויק"
 גדי אלכסנדרוביץ', על יריעות ותבניות (מה משפט סטוקס אומר, בגדול), באתר "לא מדויק"

קישורים חיצוניים



*
קטגוריה:אנליזה מתמטית