משפט נתר (פיזיקה)
משפט נתר הוא משפט בפיזיקה תאורטית הקושר בין סימטריות של מערכת פיזיקלית וחוקי שימור שהיא מקיימת. כך למשל, חוק שימור התנע נובע מסימטריה של מערכת להזזות (כלומר התנע נשמר כאשר מאפייני המערכת אינם תלויים במיקומה). המשפט קרוי על שם המתמטיקאית אמי נתר שהוכיחה אותו במהלך מחקר של בעיות בחוק שימור האנרגיה בתורת היחסות הכללית. המשפט והוכחתו פורסמו במאמר בשנת 1918.
ניסוח פורמלי
ניתן לנסח את משפט נתר באופן הבא:
ניסוח מתמטי:
- בהינתן לגראנז'יאן , נניח שהפעולה
- אינווריאנטית תחת טרנספורמציה התלויה באופן רציף וגזיר בפרמטר על ידי:
- .
- כאשר
- אזי קיים זרם שמור המקיים משוואת רציפות .
- הזרם נתון על ידי
- כאשר g היא המטריקה ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ g^\mu_\nu = \delta_{\mu , \nu}} היא דלתא של קרונקר.
- מזרם זה ניתן לקבל את המטען השמור הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle Q=\int d^3x J^0 }
המקיים
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{dQ}{dt} = \frac{dQ}{dx_0} = 0 } .[2]
הגודל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \theta ^\mu_\nu = \frac{\partial \mathcal{L} } {\partial (\partial_\mu \phi)} \partial_\nu \phi - g^\mu_\nu\mathcal{L}} נקרא טנזור צפיפות המאמץ-אנרגיה ועל ידי ביצוע סימטריזציה שלו אפשר לקבל את טנזור המאמץ-אנרגיה היחסותי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ T^{\mu \nu}} .
משפט נתר במכניקת הקוונטים
במכניקת הקוונטים, בה משוואת שרדינגר תלויה בהמילטוניאן, מקבל משפט נתר את הצורה הבאה:
תהי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle T} טרנפורמציה אוניטרית רציפה, המוגדרת באמצעות האופרטור G, יוצר הטרנספורמציה:
T היא סימטריה של המערכת (כלומר, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle [T,H] = 0} ) אם ורק אם G הוא קבוע (בזמן) של התנועה.
הוכחה
התנאי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle [T,H] = 0} שקול לתנאי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle T^\dagger H T = H} . השוויון נכון גם לכל סדר בפיתוח טיילור של האופרטור ב־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \varepsilon} , ובפרט לסדר הראשון:
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \left( 1 + \frac{i}{\hbar} \varepsilon G + O(\varepsilon^2) \right) H \left( 1 - \frac{i}{\hbar} \varepsilon G + O(\varepsilon ^2) \right) }
בעזרת קיבוץ איברים מתקבל השוויון:
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ H + \frac{i}{\hbar} \varepsilon [G,H] + O( \varepsilon ^2) = H}
השקול לתנאי:
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle [G,H] = GH - HG = 0}
אבל, מאחר שההמילטוניאן הוא יוצר של ההתקדמות בזמן,
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle [G,H] = i \hbar \frac{\partial G}{\partial t} }
ולכן,
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \frac{\partial G}{\partial t} = 0}
כלומר, G הוא קבוע של התנועה.
שימושים
בעזרת משפט נתר ניתן לקבל את חוקי השימור הבאים:
- חוק שימור האנרגיה הנובע מסימטריה להזזה בזמן.
- חוק שימור התנע הקווי הנובע מסימטריה להזזה מרחבית.
- חוק שימור התנע הזוויתי הנובע מסימטריה לסיבוב.
- חוק שימור המטען החשמלי הנובע מסימטריית כיול.
ועוד חוקי שימור נוספים, כגון חוקי שימור של המספר הבריוני והלפטוני.
חשיבות המשפט
למשפט נתר חשיבות גדולה בפיזיקה תאורטית. המשפט קושר בין כל חוקי השימור הפיזיקליים (כולם נובעים בעצם מאותה סיבה בסיסית - סימטריה). יתירה מזו, חוקי השימור הבסיסיים והחשובים (אנרגיה, תנע, תנע זוויתי) נובעים בעצם מהנחות מאוד בסיסיות ואינטואיטיביות - ההומוגניות והאיזוטרופיות של חוקי הפיזיקה (כלומר ההנחה שחוקי הפיזיקה אינם תלויים בזמן ובמרחב, ואותם חוקים התקפים כאן ועכשיו יהיו תקפים לעולם וגם בגלקסיות רחוקות).
קישורים חיצוניים
- המאמר המקורי של אמי נתר (בגרמנית)
- תרגום לאנגלית של המאמר המקורי של אמי נתר
- מאמר היסטורי על משפט נתר (באנגלית)
- שמור לי ואשמור לך: גדלים נשמרים וסימטרייה מאמר פופולרי מאת מיכל סחף, באתר הספרייה הווירטואלית של מט"ח.
הערות שוליים
- ↑ יש לציין כי זהו ניסוח פשטני שבדרך כלל נמצא בשימוש בפיזיקה. הניסוח המקורי של המשפט כולל הבחנה בין חבורות סימטריה סופיות ואינסופיות. כמו כן גם הכיוון ההפוך של המשפט נכון - כל גודל שמור מתקבל מאיזשהי סימטריה של הפעולה.
- ↑ הניסוח המתמטי מתאים ללגראנז'יאן של שדה. עבור לגראנז'יאן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle L(q,\dot{q},t) } ופעולה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle S= \int L dt } הגודל השמור הוא פשוט הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ Q=J_0 }
משפט_נתר_(פיזיקה)21531621Q578555