שדה וקטורי משמר

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

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

שדה חסר סיבוב (Irrotational) שתחום ההגדרה שלו הוא מרחב פשוט קשר (simply connected) הוא שדה משמר.

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

הגדרה

שדה וקטורי נקרא שדה משמר אם קיים שדה סקלרי עבורו

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

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

אי־תלות במסילה

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

זה שקול לתכונה

על כל מסילה סגורה בתחום ההגדרה.

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

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

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

שדות וקטורים חסרי סיבוב

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

שדה וקטורי נקרא חסר־סיבוב אם הרוטור שלו מתאפס

מסיבה זו נקראים שדות כאלה לעיתים "חסרי רוטור" (curl-free).

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

לכן כל שדה וקטורי משמר הוא שדה וקטורי חסר־סיבוב.

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

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

כעת נגדיר שדה וקטורי על ידי

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

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

ממבט יותר מופשט של גאומטריה דיפרנציאלית, שדה וקטורי משמר הוא חד־תבנית מדויקת (exact 1-form). כלומר, הוא חד-תבנית השווה לנגזרת חיצונית (exterior derivative) של 0־תבנית (שדה סקלרי) . שדה וקטורי חסר סיבוב הוא חד-תבנית סגורה (closed 1-form). מאחר ש־ כל תבנית מדויקת היא גם סגורה, כך שכל שדה וקטורי משמר הוא חסר סיבוב. התחום הוא מרחב פשוט קשר אם ורק אם חבורת ההומולוגיה הראשונה שלו היא אפס, שזה שקול לכך שחבורת הקוהומולוגיה שלו היא אפס. קוהומולוגיית דה-ראם הראשונה היא אפס אם ורק אם כל החד־תבניות הסגורות הן מדויקות.

כוחות משמרים

אם השדה הווקטורי הוא שדה כוח פיזיקלי אזי הכוח נקרא כוח משמר.

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

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

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

עבור כוח משמר, אי־תלות במסלול אפשר לפרש בתור כך שהעבודה הנעשית במעבר מנקודה A לנקודה B איננה תלויה במסלול הנעשה, ושהעבודה הנעשית במהלך מסלול סגור שווה לאפס:

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

לקריאה נוספת

  • George B. Arfken and Hans J. Weber, Mathematical Methods for Physicists, 6th edition, Elsevier Academic Press (2005)
  • D. J. Acheson, Elementary Fluid Dynamics, Oxford University Press (2005)
סמל המכלול גמרא 2.PNG
הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0