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

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

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

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

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

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

שדה וקטורי \ \mathbf{v} נקרא שדה משמר אם קיים שדה סקלרי \ \varphi כך ש-

 \mathbf{v}=\nabla\varphi .

כלומר: \ \mathbf{v} הוא הגרדיאנט של \ \varphi . כאשר תנאי זה מתקיים \ \varphi נקרא פוטנציאל סקלרי של \ \mathbf{v} .

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

אי-תלות במסילה[עריכת קוד מקור | עריכה]

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

 \int_\gamma \mathbf{v}\cdot d\mathbf{r}= \int_\gamma \nabla \varphi \cdot d\mathbf{r}= \varphi(B)-\varphi(A) .

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

 \oint \mathbf{v}\cdot d\mathbf{r}=0

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

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

\ \iint_{\Omega} ( \nabla \times \nabla \varphi ) \cdot d\mathbf{A} = \oint_{\partial\Omega} \nabla \varphi \cdot d\mathbf{r} = 0 ,

ומכאן נובע

\ \nabla \times \nabla \varphi = 0

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

גם ההיפך הוא נכון, אם אינטגרל מסלולי של שדה וקטורי מתאפס על כל מסילה סגורה בתחום פתוח ופשוט קשר S \subset \mathbb{R}^3 אזי הוא שדה משמר.

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

תרשים של השדה הווקטורי v(x,y,z) = (−y/(x2+y2), +x/(x2+y2), 0), שאיננו משמר ולא מקיים אי-תלות במסילה. ברם, הרוטור שלו הוא אפס בכל מקום, ×v = 0, פרט לציר z.

שדה וקטורי  \mathbf{v} נקרא חסר-סיבוב אם הרוטור שלו מתאפס

 \nabla\times\mathbf{v} = \mathbf{0} .

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

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

 \nabla \times \nabla \varphi=\mathbf{0} .

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

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

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

 S=\mathbb{R}^3\setminus\{(0,0,z)~|~z\in\mathbb{R}\} .

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

 \mathbf{v}= \left( \frac{-y}{x^2+y^2}, \frac{x}{x^2+y^2}, 0 \right) .

שדה זה קיים בכל מקום ב-S והרוטור שלו מתאפס בכל מקום ב-S. ברם, הסירוקלציה (אינטגרל קווי על מסילה סגורה) של \mathbf{v} סביב עיגול היחידה במישור x-y שווה ל- \ 2\pi. לכן,  \mathbf{v} לא מקיים את התנאי של אי-תלות בדרך (ליתר דיוק: לא מקיים את התנאי השקול שהאינטגרל הקווי על כל לולאה סגורה שווה לאפס). משמע, שדה זה איננו שדה משמר.

מבט מזווית של גאומטריה דיפרנציאלית[עריכת קוד מקור | עריכה]

ממבט יותר אבסטרקטי, של גאומטריה דיפרנציאלית, שדה וקטורי משמר הוא חד-תבנית מדויקת (exact 1-form). כלומר, הוא חד-תבנית השווה לנגזרת חיצונית (exterior derivative) של 0-תבנית (שדה סקלרי) \ \phi. שדה וקטורי חסר סיבוב הוא חד-תבנית סגורה (closed 1-form). מאחר ש- d2 = 0 כל תבנית מדויקת היא גם סגורה, כך שכל שדה וקטורי משמר הוא חסר סיבוב. התחום הוא מרחב פשוט קשר אם ורק אם חבורת ההומולוגיה הראשונה שלו היא אפס, שזה שקול לכך שחבורת הקוהומולוגיה שלו היא אפס. קוהומולוגיית דה-ראם הראשונה H_{\mathrm{dR}}^{1} היא אפס אם ורק אם כל החד-תבניות הסגורות הן מדויקות.

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

Postscript-viewer-shaded.png ערך מורחב – כוח משמר

אם השדה הווקטורי הוא שדה כוח פיזיקלי  \mathbf{F} אזי הכוח נקרא כוח משמר.

הדוגמה הכי טובה לכוח משמר היא כוח הכבידה. לפי חוק הכבידה האוניברסלי של אייזק ניוטון, כוח הכבידה \mathbf{F}_G, הפועל על מסה m בגלל מסה M במרחק r ממנה, נתון על ידי

 \mathbf{F}_G=-\frac{GmM\hat{\mathbf{r}}}{r^2},

כאשר G הוא קבוע הכבידה האוניברסלי ו- \hat{\mathbf{r}} הוא וקטור יחידה המצביע מהמקום של M על המקום של m. זהו כוח משמר שכן

\mathbf{F}_G=-\nabla\Phi_G,

כאשר

 \Phi_G=-\frac{GmM}{r}

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

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

 W=\oint \mathbf{F}\cdot d\mathbf{r}=0 .

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

לקריאה נוספת[עריכת קוד מקור | עריכה]

  • 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)