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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

המטרה בפיזיקה היא לתאר התנהגות של מערכות ניסיוניות כלשהן — בין אם הן גלקסיות רחוקות, חומר על-מוליך או חלקיק תת אטומי. הכלי בו משתמשים הפיזיקאים לתאור fההתנהגות הזו הוא המתמטיקה. זו לא בחירה מובנת מאליה: המשורר הגרמני יוהן גתה פרסם ספר שנושאו הפיזיקה של האור, ושתיאר ניסויים שערך גתה בפריזמות. הספר אינו משתמש כלל במתמטיקה ולא רותם אותה להסברת התופעה הפיזיקלית. אבל במהלך ההתפתחות ההיסטורית של הדיסציפלינה הזו הפכה המתמטיקה לכלי המרכזי לתיאור העולם, והתברר שהכלי הזה יעיל מאוד.
אם כך, השאלה הראשונה שעלינו לשאול בבואנו לבחון מערכת כלשהי היא כיצד בכלל לתאר אותה באמצעות המתמטיקה. מכיוון שהפיזיקה עוסקת בתופעות המתקיימות במרחב הפיזי, עלינו ראשית להניח שניתן לתאר את אותו מרחב באמצעות סט של מספרים. אני מתכוון כמובן למה שמכונה מערכת קואורדינטות. אני מניח שכולנו מכירים את הרעיון מימי בית הספר התיכון — בהתחלה עלינו לקבוע נקודה כלשהי כנקודת היחוס שאותה נסמן במספר אפס. כעת, אנחנו יכולים להתאים אוסף מספרים אותו נסמן ב- לכל נקודה במרחב, כך שכל אוסף מספרים שונה יתאר נקודה אחרת. סטודנטים לפיזיקה מבלים חלק לא קטן מהשנה הראשונה ללימודיהם בלימוד שיטות שונות ומשונות של מערכות קואורדינטות וכיצד מציגים כל מני פעולות מתמטיות בכל שיטה. אנחנו, למזלנו, פטורים מכאב הראש הזה. כל מה שעלינו לקבל הוא שאותו סט של מספרים יכול לתאר בצורה טובה כל נקודה במרחב. מערכת הקואורדינטות הפשוטה ביותר, המכונה "קרטזית", כוללת בסך הכל קביעת שלושה כיוונים הניצבים זה לזה וציון מיקום של נקודה כשלושת המרחקים אותם עלינו להתקדם מנקודת האפס בכל כיוון (לדוגמה 20 מ' בכיוון הראשון, 30 מ' בכיוון השני ואז 15 מ' נגד הכיוון השלישי). מכיוון שאנחנו עוסקים במערכות שמשתנות בזמן אנחנו גם צריכים להוסיף משתנה שיתאר את הזמן בו אנחנו מתארים את המערכת. גם כאן, אנחנו צריכים לקבוע זמן כלשהו בתור "אפס", וזמן לפניו יסומן בערכים שליליים ואחריו בערכים חיוביים.

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

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

הקדמה, ובה יסופר מה קורה כאן בעצם

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

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

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

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