טנזור השדה האלקטרומגנטי

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

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

תוכן עניינים

1 הגדרה פורמלית
2 תכונות
3 מבט מתמטי נוסף
4 קישורים חיצוניים

[עריכה] הגדרה פורמלית

בהינתן ה4-וקטור של הפוטנציאל האלקטרומגנטי $\ A^\mu = \left( \phi / c , \vec{A} \right)$ , או בצורתו הלורנץ-קו-ואריאנטית $\ A_\mu = \left( \phi / c , - \vec{A} \right)$ , טנזור השדה האלקטרומגנטי מוגדר להיות :

$\ F_{\mu \nu} = \partial_\mu A_\nu - \partial_\nu A_\mu$

כאשר $\ \partial_\mu = \frac{\partial}{\partial x^\mu}$ הוא הגרדיאנט ה-4 ממדי.

באופן מפורש, נוכל לרשום את הטנזור F בצורת מטריצה 4 על 4 באופן הבא

$F_{\mu \nu} = \begin{bmatrix} 0 & E_x / c & E_y / c & E_z / c \\ -E_x / c & 0 & -B_z & B_y \\ -E_y / c & B_z & 0 & -B_x \\ -E_z / c & -B_y & B_x & 0 \end{bmatrix}$

או

$F^{\mu \nu} = \begin{bmatrix} 0 & -E_x / c & -E_y / c & -E_z / c \\ E_x / c & 0 & -B_z & B_y \\ E_y / c & B_z & 0 & -B_x \\ E_z / c & -B_y & B_x & 0 \end{bmatrix}$

כאשר E הוא השדה החשמלי, B השדה המגנטי ו c היא מהירות האור.

[עריכה] תכונות

טנזור השדה האלקרטומגנטי הוא אנטי-סימטרי, כלומר: $\ F_{ \mu \nu} = -F_{ \nu \mu}$ .
זהות ביאנקי: $\ \partial_\lambda F_{\mu \nu} + \partial_\mu F_{\nu \lambda} + \partial_\nu F_{\lambda \mu } = 0$ .
מזהות זו נובעות משוואות מקסוול ההומוגניות: $\ \vec{\nabla} \cdot \vec{B} = 0$ ו $\ \vec{\nabla} \times \vec{E} + (1/c) \partial_t \vec{B} = 0$ .
הטנזור מקיים את משוואת התנועה הבאה: $\ \partial_\mu F^{ \mu \nu} = j^{\nu} / c$ (ביחידות גאוס) או $\ \partial_\mu F^{ \mu \nu} = 4 \pi j^{\nu}$ (ביחידות cgs) כאשר $\ j^\mu = \left( c \rho , \vec{j} \right)$ הוא ה-4-וקטור של צפיפות זרמים ומטענים. משוואה זו שקולה לשתי משוואות מקסוול הלא הומוגניות.
הגודל $\ \frac{E^2}{c^2} - B^2 = -\frac{1}{2} F_{\mu \nu} F^{\mu \nu}$ הוא אינווריאנטי לורנץ (סקלר).
הגודל $\ \vec{E} \cdot \vec{B} = \frac{c}{8 \pi} \epsilon_{ \mu \nu \lambda \rho} F^{\mu \nu} F^{ \lambda \rho}$ הוא אינווריאנטי לורנץ (פסאודו-סקלר).

[עריכה] מבט מתמטי נוסף

[עריכה] טנזור השדה כדו-תבנית

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

אל 4-וקטור הפוטנציאל האלקטרומגנטי $\ A_\nu$ אפשר להתייחס כאל חד-תבנית (one-form) הנתונה על ידי

$\ \tilde{A} = A_\mu dx^\mu$

(כאשר כאן משתמשים בהסכם הסכימה של איינשטיין) האיברים $\ dx^\mu$ הם בסיס למרחב החד-תבניות הצמוד לבסיס המרחב המשיק, כלומר: $\ dx^\mu ( \partial_\nu) = \delta^{\mu}_{\nu}$ הדלתא של קרונקר.

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

$\ F_{\mu \nu} = \partial_\mu A_\nu - \partial_\nu A_\mu$

אפשר לרשום באמצעות דיפרנציאל דה-ראם על החד-תבנית A:

$\ \tilde{F} = d \tilde{A}$

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

$\ \tilde{F} = F_{\mu \nu} dx^{\mu} dx^{\nu}$

כאשר $\ F_{\mu \nu}$ נתונים לעיל ואילו המכפלה בין $\ dx^\mu$ ל- $\ dx^\nu$ היא מכפלת וודג' (Wedge product) בין תבניות ששומרת על אנטי-סימטריות (באופן אינטואיטיבי ניתן לומר שכופלים את התבניות כדי לקבל תבנית חדשה ואז מבצעים לה אנטי-סימטריזציה כך שתהיה אנטי-סימטרית בכל זוג ארגומנטים).

אפשר לסכם ולומר F הוא טנזור קו-וריאנטי אנטי-סימטרי מסדר 2, או דו-תבנית.

[עריכה] הסקת משוואות מקסוול

משפט כללי בגאומטריה דיפרנציאלית קובע שדיפרנציאל דה-ראם מקיימת זהותית d²=0. מכאן נובע ש

$\ d \tilde{F} = d^2 \tilde{A} = 0$

וזו אחת ממשוואות מקסוול (זהות ביאנקי).

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

אזי

$\ * \tilde{F} = \epsilon_{ \mu \nu \lambda \rho} F^{ \lambda \rho} dx^\mu dx^\nu$

ואילו

$\ d (* \tilde{F} ) = J$

שהוא 4-וקטור צפיפות הזרם החשמלי $j μ$ . נשים לב ש 4-וקטור זה מקיים באופן אוטומטי את משוואת הרציפות, שכן

$\ 0 = d^2 (* \tilde{f} ) = d J = \partial_{\nu} j^\nu$

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

[עריכה] טנזור השדה כטנזור עקומומיות של קשר

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

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

$\ T = \frac{1}{2m} \left( \vec{p} + \frac{e}{c} \vec{A} \right) ^2$ .

במכניקת הקוונטים התנע הוא אופרטור הגזירה $\ \vec{p} = - i \hbar \vec{\nabla}$ . במובן מסיים, אפשר להסתכל על הפוטנציאל כגודל שמעוות את היריעה ולכן הזזה מקבילה של פונקציית הגל ממקום אחד לשני לא תשמור עליה אם לא נוסיף תיקון שיבטל את ההשפעה של הפוטנציאל הווקטורי שמעקם את המרחב. לכן, מגדירים אופרטור גזירה "קו-ואריאנטי" השומר על הווקטור ביריעה הנ"ל, וזאת על ידי

$\ \vec{\Pi} = - i \hbar ( \vec{\nabla} + \frac{i e}{\hbar c} \vec{A} )$

ואכן, הווקטור משמש כמקדמי הקשר.

לכל קשר אפשר להגדיר טנזור עקמומיות, טנזור זה מבטא את ההפרש בין וקטור ההתחלתי למה שמתקבל כאשר מזיזים אותו לאורך לולאה סגורה אינפינסיטימלית. אם מבנה את הלולאה כמקבילון המורכב משני וקטורים נראה שמקדם העקמומיות כתלות בכיווני הווקטורים הוא אנטי-סימטרי ולמעשה יהיה מהצורה: $\ \kappa_ {\mu \nu} = C_0 ( \partial_{\mu} A_{\nu} - \partial_{\nu} A_{\mu} )$ . כלומר, טנזור השדה האלקטרומגנטי הוא עקמומיות של קשר. מכאן נובעת גם זהות ביאנקי כמקרה פרטי של תורת העקמומיות והקשרים המוגדרים מעל אגדי וקטורים.

[עריכה] קישורים חיצוניים

טנזור אלקטרומגנטי, בעולם המדע של וולפרם

קטגוריות: אלקטרומגנטיות | טנזורים

See also ebooksgratis.com: no banners, no cookies, totally FREE.

טנזור השדה האלקטרומגנטי

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

תוכן עניינים

[עריכה] הגדרה פורמלית

[עריכה] תכונות

[עריכה] מבט מתמטי נוסף

[עריכה] טנזור השדה כדו-תבנית

[עריכה] הסקת משוואות מקסוול

[עריכה] טנזור השדה כטנזור עקומומיות של קשר

[עריכה] קישורים חיצוניים

Views

ניווט

קהילה

חיפוש

שפות אחרות