Archive for אפריל, 2010

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

אפריל 16, 2010

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

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

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

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

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

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

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

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

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

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

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

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

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

תגים: , , , , , ,
פורסם במדע, פיסיקה | 8 Comments »

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

אפריל 16, 2010

את הפרק הקודם חתמנו בכך שביקשנו לתאר את מצב המערכת בכל רגע נתון, באמצעות תיאור המיקום של כל אחד מהגופים המרכיבים אותה. במלים אחרות, אפשר לומר שאנחנו מחפשים את אוסף הפונקציות \{\vec{q}(t)_i\}_{i=1}^n, קרי — פונקציות שלכל זמן t מתאימות את מיקום הגופים. בהמשך הדרך נפגוש גם מערכות בהן נחפש דברים אחרים, או מערכות שתיאור כזה לא רלבנטי עבורן, אבל לעת עתה זוהי נקודה מספיק כללית כדי שנוכל להשתמש בה כעוגן להמשך החקירה שלנו.
כעת אנחנו יכולים רגע להרהר בשאלה כיצד אנחנו יכולים להשיג מטרה כזו? המערכת מתחילה ממצב מסוים, שידוע לנו (נניח — באמצעות תצפית או כי כך הכנו את המערכת) \{\vec{q}(0)_i\}_{i=1}^n. בנוסף לכך, חשוב שזמן t=0 נדע גם מהן המהירויות של כל הגופים — לא דין מערכת בה שני גופים נעים זה לקראת זה כדין מערכת בה שני גופים נעים בכיוונים הפוכים. כעת, כל מני כוחות שפועלים על האובייקטים גורמים להם לשנות את מיקומם ולנוע. כדי להסיק את מצב המערכת בכל רגע נתון, אנחנו צריכים לדעת מחד מהם החוקים והמשפטים הקושרים בין הכח שפועל על גוף לבין תנועתו, ומאידך מהם הכוחות הקיימים במערכת.
את החוקים הקושרים בין כוחות ואינטראקציות לבין אובייקטים חוקרים פיזקאים החל מקיום הפיזיקה המודרנית. כנראה שהחוק המפורסם ביותר מסוג זה הוא החוק השני של ניוטון לפיו תחת כח, גוף יאיץ באופן פרופורציונלי לגודל הכח ולכיוונו, כאשר קבוע הפרופורציה מכונה המסה של הגוף. בניסוח מתמטי, ניתן לכתוב


\vec{F}=m\vec{a}

כאשר \vec{F} הוא הכח הפועל על הגוף, m היא מסתו ו-\vec{a} היא התאוצה שלו. מכיוון שאנחנו רוצים לבטא את כל הגדלים המציינים את מיקום האובייקטים, ובכללם תאוצה, באמצעות אותו אוסף של \vec{q}-ים אנחנו נשתמש בסימון \vec{a}=\ddot{\vec{q}}. נקודה מעל משתנה כלשהו מציינת גזירה לפי הזמן. לכן \dot{\vec{q}} היא המהירות של הגוף — שכן היא הנגזרת הראשונה של המיקום ביחס לזמן, ושתי נקודות תציינה את הנגזרת השניה, או הנגזרת של המהירות, שהיא התאוצה.
מאז ניסוח החוק השני של ניוטון חלפו אי אלו מאות שנים, במהלכן הניסוח איבד את מעמדו כחוק בסיסי (מלבד בלימודי השנה הראשונה באוניברסיטה). במהלך השנים הללו התפתח פורמליזם נוח יותר, כללי יותר — במובן שהוא יכול לתאר יותר תופעות — שהחוק השני הוא בסך הכל אחת מהתוצאות שלו. הפורמליזם הזה מסתמך על מושג האנרגיה (לפחות בשלב הראשון). אם אנחנו יודעים לכתוב ביטויים שיתארו את האנרגיה הקינטית והפוטנציאלית של המערכת כפונקציה של המצב שלה — וזה משהו שאנחנו אמורים לדעת לעשות אם אנחנו יודעים מהן האינטראקציות השונות שקיימות בין האובייקטים השונים ובכלל — אז נדע לגזור מביטוי כזה (או, ליתר דיוק מביטוי דומה לו) את כל כללי התנועה.
כדי לעשות זאת אנחנו מציגים את פונקציית הלגרנז'יאן L. הלגרנז'יאן של מערכת הוא פונקציה של מיקום כל האובייקטים שבה, ושל מהירויות כל האובייקטים בה (וגם, באופן כללי, עשויה להיות תלויה מפורשות במשתנה הזמן)

L=L(\{\dot{\vec{q}}_i\}_i^{n},\{\vec{q}_i\}_i^{n},t)

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

E_k = \frac{1}{2}m\left( \dot{\vec{q}} \right)^2.

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

U=\frac{1}{2}k\left(\vec{q}-\vec{x}_0 \right)^2

כש-\vec{x}_0 הוא מיקום קצה הקפיץ כאשר הוא רפוי. אבל זו כרגע סתם דוגמה (אם כי פופולרית מאוד).
על פניו, הייתי יכול לטעון פשוט שבניגוד למתמטיקה, בה יש לנו חופש לבחור אקסיומות, בפיזיקה אנחנו מתארים את העולם, ולעתים אנחנו צריכים לקבל דברים כי פשוט "ככה הם". ואכן – יש מספר דברים שנאלץ לקבל כי פשוט "ככה הם". אבל מסתבר, וזה אחד הדברים היפים בפיזיקה, שיש הרבה עובדות שבתחילה נראו לנו פשוט כמו משהו שהטבע בחר באופן שרירותי, אבל בעצם הן נובעות מאלמנטים בסיסיים הרבה יותר. אחת מהם הוא הגדרת האנרגיה והקשר שלה לתנועת המערכת. כבר בפוסט הבא אני מקווה שאוכל לתת מספר דוגמאות לכך.
בכל מקרה, אמנם הגדרנו את אותה פונקציית לגרנז'יאן מסתורית, אבל עוד לא אמרנו איך אנחנו יכולים להסיק ממנה את תנועת המערכת.
המערכת שלנו יכולה לנוע בכל מני מסלולים שונים, המוגדרים, כזכור על ידי אוסף הפונקציות \vec{q}_i(t). נניח שאנחנו מסתכלים על פרק הזמן המתחיל ב-0 ומסתיים בזמן \tau. לכל מסלול אפשרי בפרק הזמן הזה נצמיד מספר, שנקרא הפעולה:

S=\int_0^{\tau}L(\vec{q}_i(t),\dot{\vec{q}}_i(t),t)dt

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

\frac{d}{dt}\left( \frac{\partial L}{\partial \dot{\vec{q}}} \right) = \frac{\partial L}{\partial \vec{q}}

אזי המסלול שהן תתארנה יציית לעקרון הפעולה המינימלי. כלומר — הפעולה שתתואר על ידי המסלול הזה תהיה המינימלית מבין הפעולות האפשריות. אני אפנה את תשומת לב הקוראים שנותרו עימי כאן שמדובר ב-n משוואות דיפרנציאליות מסדר שני (אפשר גם לחשוב עליהן בתור 3n משוואות שכן כל משוואה היא עבור שלושה רכיבים שונים של הוקטור \vec{q}) ואנחנו מספקים להן אכן 2n תנאי התחלה — אוסף כל המיקומים בזמן אפס ואוסף כל המהירויות בזמן אפס.
קיים ניסוח שקול נוסף לעקרון הפעולה המינמלית, ניסוח שהוא מאוד פופולרי ומאוד שימושי, ולמעשה ברוב המקרים אנחנו כנראה נתמקד בו ולא בניסוח הלגרנז'יאני. קודם כל נגדיר משתנה שנקרא תנע

\vec{p}_i=\frac{\partial L}{\partial \dot{\vec{q}}_i}

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

H(\{\vec{p}_i\}_{i=1}^n,\{\vec{q}_i\}_{i=1}^n) = \sum_i \vec{p}_i \dot{\vec{q}}_i - L

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

\dot{\vec{p}}_i = -\frac{\partial H}{\partial \vec{q}_i}
\dot{\vec{q}}_i = \frac{\partial H}{\partial \vec{p}_i}

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

תגים: , , , , , , , , , , ,
פורסם במדע, פיסיקה | 1 Comment »

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

אפריל 6, 2010

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

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

אחרי שתיארנו את המרחב והזמן בעזרת מספרים, אנחנו צריכים להתחיל להוסיף אובייקטים שמעניינים אותנו לתוך המערכת הזו. לפני שנעשה זאת, ראוי להעיר הערה נוספת: המהפכה שעברה הפיזיקה במחצית הראשונה של המאה ה-20, שכללה את הופעתן ואימוצן של תורת היחסות ותורת הקוונטים, שינתה גם את הדרך בה אנחנו מתייחסים לעצמים הפיזיקליים שאנחנו רוצים לתאר. מכיוון שמדובר בסך הכל בפוסט השלישי בתולדות הבלוג, אין בכוונתי כרגע לצלול לעומק החלוקה, ואשאיר אותה לפוסט עתידי. לעת עתה נסתפק בתיאור הקלאסי של מערכות. בתיאור הזה, המערכת מורכבת מאוסף גופים, שכמו בני האדם בהצהרת העצמאות האמריקאית, ניחנו במספר תכונות בלתי ניתנות לשלילה. התכונה החשובה ביותר מבחינתנו כאן היא שלעצמים אלו מיקום מוגדר במרחב. לכן, אם אני מביט על מערכת שכוללת n עצמים, אני יכול להצמיד לכל אחד מהם מיקום משלו \vec{q}_i כאשר ה-i הוא אינדקס המציין לאיזה עצם במערכת אני מתכוון, וכעת מצב המערכת יאופיין על ידי המיקום של כל העצמים. קרי על ידי אוסף שלשות המספרים \{\vec{q}_i\}_{i=1}^n ועל ידי מסמן הזמן t שאומר לנו באיזה זמן היו העצמים במיקום הזה.

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

תגים: , ,
פורסם במדע, פיסיקה | 5 Comments »

פרק ראשון, ובו מקבל הקורא הסבר ראשוני על מהי רנורמליזציה ומה מעניין בה

אפריל 1, 2010

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

אם כך — מהי רנורמליזציה?

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

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

וכאן מגיעה השאלה הקשה — למה כל זה אמור לעניין אתכם?

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

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

תגים: ,
פורסם ברנורמליזציה | 7 Comments »

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

אפריל 1, 2010

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

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

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

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

תגים: ,
פורסם בUncategorized | 3 Comments »