בתשובה לד. פר, 21/11/02 19:28
 |
|
 |
||
|
||||
 |
איך יתכן ש- (f(x)=exp(ix (על כל הישר הממשי) היא פונקצית גל, אם האינטגרל של ריבוע הערך המוחלט אינו סופי? |  |
 |
 |
|
|
|
||
|
||||
|
זהו בדיוק. היא לא פונקציית גל אמיתית (ומהסיבה שציינת). אני במתכוון יוצא מתוך הנחותיו של סמילי כדי להראות שהן מובילות לתוצאות מפוקפקות. מצד שני, אם היינו לוקחים קופסא גדולה כרצוננו, ודורשים תנאי שפה מחזוריים, היינו מקבלים מספר בן מניה של ערכים עצמיים. ע"י הגדלת הקופסא עוד ועוד, ההפרשים בין הע"ע קטנים כרצוננו, ובשלב זה אנו יכולים לקרב את החישוב באמצעות הרצף (משום הנוחות לצרכי חישוב: סכומים הופכים לאינטגרלים, מקדמי הפורייה הופכים פונקציה רציפה שניתן להפעיל עליה כלים אנליטיים, וכו'), בעוד שההשפעה על התוצאות שנגרמת ממעבר זה זניחה לחלוטין. הקופסא היא רק סוג אחד של טיפול. קיימות גישות אלטרנטיביות. מה שעקרוני בעסק, הוא שהרכבת הבעיה צריכה להיות כזו שתגדיר אותה היטב. מותר אחרי כן לעבור ולחשב באמצעות הרצף, אולם צריך לזכור שבאופן זה אנו מאפשרים מצבים אסורים, ואין לטעות בהם ולהחשיב אותם כמצבים אמיתיים. בסוף התהליך, יש משמעות פיסיקלית רק לתוצאות עבור גדלים שהיו קיימים בבעיה המקורית (לפני המעבר לרצף). את היתר יש להעלים. דוגמא: חלקיק נמצא בנקודה יחידה - בלתי אפשרי, חלקיק נמצא בסביבה סופית קטנה כרצוננו - אפשרי. |
|
|
|
|
|
|
||
|
||||
|
נירמול בקופסא מקלקל את שימור התנע הזוויתי, לעומת נירמול בכדור, לדוגמא, שמקלקל את שימור התנע הקווי. לכן מתעלמים בד''כ משאלת הנירמול, או שתופרים אותו ספציפית לפי אופי הבעיה, ולפי מה שאנו מעונינים לחשב בה. | |
|
|
|
|
|
||
|
||||
|
כן, אבל סמילי מתעקש לדבר על מצבים, ולא פונקציות. | |
|
|
|
|
|
||
|
||||
|
אפשר לבצע את הנירמול רק בזמן החישוב של הערכים. ------------------------------------------------- 1 אני משוכנע שכן, לדעתי, ההסבר נמצא כאן תגובה 106791 |
|
|
|
|
|
|
||
|
||||
|
זו בדיוק הסיבה שאנחנו1 רוצים שהפונקציות יהיו ב- L2, שהוא, כזכור, המרחב של פונקציות שהאינטגרל של ריבוע הערך המוחלט שלהן סופי. אם האינטגרל אינו סופי (כמו במקרה של (exp(ix על הישר הממשי) אין במה לנרמל. 1 אני והפיזיקאים? |
|
|
|
|
|
|
||
|
||||
|
1. יש במה לנרמל. הנירמול נעשה פשוט בצורה שונה, אבל זה הנימול. 2. המקרה של (exp(ipx הוא דווקא קל, וכאמור, יש לו הוכחה בכל ספר פיזיקה (בנושא) שמכבד את עצמו, וכאמור, הוכחה נוספת תסופק למבקשים בדוא"ל. 3. אתה רוצה L2, הפיזיקאים (רובם, כמובן) כבר מזמן (מאז שדיראק הראה לנו את האור, לפני יותר מחמישים שנה) לא מחוייבים לL2, ורואים את L2 (והפונקציות בL2) כהיטל של המצב על משתנה, ולא כמצב עצמו. |
|
|
|
|
|
|
||
|
||||
|
1. הנירמול הוא חילוק בשורש הנורמה של הפונקציה, ואם הנורמה אינסופית, זה לא הולך. 2. כידוע, החלק הממשי של (exp(ix הוא (cos(x, והאינטגרל של זה ממינוס אינסוף לאינסוף אינו מתכנס. אפשר "להראות" שהאינטרגל הוא אפס אם שוברים את הישר הממשי לקטעים של 2pi (שבהם האינטגרל הוא 0), אבל באופן כזה אפשר לקבל גם תוצאות אחרות. גרוע יותר, הערך המוחלט של (exp(ix הוא 1, והאינטגרל של 1 ודאי אינו מתכנס על הישר הממשי. 3. מההסבר שלך לשאלה מהם המצבים, אני מבין שהחלקיק בעצם נושא כמה פונקציות גל (ביחס למקום, לתנע, למטען, לספין...) ובמובן מסויים הוא וקטור של פונקציות ותו לא (אני לא טוען שהפונקציות האלה בלתי תלויות, זה מן הסתם לא נכון). בכל-זאת, למיטב הבנתי אותן פונקציות דווקא צריכות להיות במרחבי L2 המתאימים (בגלל סעיף 1). |
|
|
|
|
|
|
||
|
||||
|
1. כאמור (כמה פעמים אמרתי את זה?), ברצף, הנירמול הוא לדלתא של דיראק (ולא לזאת של קרוניקל), וכידוע (אני מקווה), באפס הערך של הדלתא מתבדרת. ועדיין, לא רק שזה הולך, זה רץ. 2. ועדיין, עבור כל פונקציה שניתנת לטרנספורמציית פורייה (וכל פונקציית מדידה ניתנת לטרנספורמציית כזו), האינטגרל המדובר מהווה פונקציית דלתא של דיראק, מש"ל. 3. א. אני לא יודע אם אפשר לקרוא לפונקציות של מרחב לא רציף (כמו הספין) פונקציות גל, למעשה, אני חושב ש"פונקציית גל" מתייחס רק לפונקציות של מרחב המקום (לפחות, ככה זה היה במקור). ב. <זהירות, משוואות> עבור כל משתנה מדיד ורציף (למשל, התנע p) קיימים רצף של מצבים עצמיים (מצבי התנע <p|), כך שההיטל של מצב עצמי כלשהו על מרחב המצבים העצמיים נותן פונקציית דלתא: p_0(p)=<p|p_0>=\delta(p-p_0) שים לב שכבר עכשיו יש לנו, לכאורה, בעיה לא קטנה של (כין השאר) נירמול.אם נגדיר את המשתנה הצמוד לו (במקרה זה, המקום (x=i(d/dp) נקבל שהפונקציות העצמיות הן פונקציות ה (exp(ixp_0 וכאן הגענו ל"בעיה" (התעלמתי כאן מקבועים, ומסימנים). <.זהירות משוואות> |
|
|
|
|
|
|
||
|
||||
|
הגלים ההרמוניים ופונקציות הדלתא הינן פונקציות מוכללות מחוץ ל- L^2, אשר מהוות קבוצה פורשת על ידי אינטגרציה של כל האיברים ב- L^2. ניתן להשתמש בהן לצורך פישוט חישובים מסויימים, אבל הן כשלעצמן אינן מייצגות חלקיקים פיסיקליים. לדוגמה, אם ארצה לחשב את מקדם ההחזרה בפיזור, על ידי מדרגת פוטנציאל כלשהי, אפתור הבעיה עבור גלים הרמוניים (כי זה נורא קל,) ואז אראה מה קורה לפונקציה שהיא גאוסיאן באנרגיה (ולכן גם בזמן), והיא היא תהיה דוגמה לחלקיק הפוגע במחסום. |
|
|
|
|
|
|
||
|
||||
|
L2 יכול להוות קרקע נוחה לחישובים מתמטיים, אבל פונקציה לא מייצגת חלקיק פיזיקלי באופן שלם, אלא, את ההיטל של מצב החלקיק על המרחב התחום (של הפונקציה). כאשר עוברים למרחב הפונקציות מעל משתנה רציף, השימוש בפונקציות דלתא הוא מחוייב המציאות (ואם המשתנה גזיר, כנראה שגם הגלים ההרמוניים נכנסים). פיזית, אי אפשר להקריס מערכת למצב כזה משום שיש צורך במכשיר מדידה ללא שגיעה (ומדובר בתחום הרצף). עדיין, השימוש במצבים העצמיים של אופרטור מדידה רציף (כולל פונקציות דלתא, וגלים הרמוניים) הוא לא קירוב שנובע מנוחות, אלא חישוב מדוייק שנובע מהלינאריות של האופרטור (כאשר, התוצאה הסופית היא קומבינציה לינארית1 של המצבים העצמיים). 1 האם צריך להבהיר שמדובר באינטגרציה ולא בסכום? כנראה שכן. אז הנה, הבהרה: מדובר במשתנה רציף, ולכן הקומבינציה הלינארית היא אינטגרציה ולא סכום. |
|
|
|
|
|
|
||
|
||||
|
מבחינה מתמטית, במרחב המצבים האבסטרקטי, אז כן, ודאי, השימוש במצבים עצמיים של X ו-P הוא אם לא הכרחי הרי שאלגנטי מאד. החישוב אינו מדוייק, אלא נובע מהפוך על הפוך - יש לנו פונקציונל ליניארי (ברה) מוגדר היטב (הערך בנקודה מסויימת), ואם היה וקטור מתאים (קט), למעשה, וקטור מתאים לכל נקודה במרחב, הפועל כך שבמקום סכום עושים אינטגרציה ואז זה עובד בדיוק כמו בסיס רגיל, הרי זה היה נפלא, וזה מפשט את העבודה - אז מרחיבים את L^2 כך שיכיל וקטורים כאלה, המתנהגים בדיוק בדרך הרצויה, מקווים שהמתמטיקאים מתישהו בעתיד ימצאו לכך יסוד מתמטי (לקח להם כמה שנים טובות), וממשיכים הלאה. זו, כמובן, הדרך שהפיסיקה התיאורטית המתקדמת צריכה להיעשות - קודם מוצאים אובייקט תיאורטי משעשע ומתחילים להשתמש בו, ואחר כך נותנים למתמטיקאים (או פיסיקאים בעלי נטיות מתמטיות, סבלנות, ומאסטר לסיים) לאסוף את השברים. אבל, וזה חשוב, אין בכך לומר שלאותם וקטורים יש משמעות פיסיקלית - הם מרכיבים נוחים ליצירת פונקציות פיסיקליות, לעיתים הם מהווים קירוב טוב עבור אפליקציות ספציפיות, אבל לכל קוונטה מקום (לאחר מדידה), ואלה, מה לעשות, או שממוקמים מדי או שלא ממוקמים מספיק בשביל להיות חלקיקים. |
|
|
|
|
|
|
||
|
||||
|
כבר מצאו לזה יסוד מתמטי, מדובר על מה שפותח ע''י דיראק לפני יותר מחמישים שנה, ונוסח היטב בהמשך ע''י הקהילה המתמטית. הויכוח הזה משעשע במידה מסויימת, אני מנסה למעלה להבהיר עד כמה הוא חסר טעם. הוקטורים הם המצב של המערכת, ולכן בעלי משמעות פיזיקלית, הפונקציות הם כלים מתמטיים לצורך חישוב תוצאות, לפעמים אפשר לוותר על השימוש בפונקציות, ולפעמים אי אפשר. |
|
|
|
|
|
|
||
|
||||
|
אני מודע לכך שהכל מבוסס מתמטית, ולו כולנו חכמים, כולנו נבונים, וכולנו מכירים את תורת ההתפלגויות, הרי שלא היה כאן ויכוח כלל. אבל בזמנו, כאשר דיראק המציא את הנוטציה והכלים הללו, לא היה לכך ביסוס מתמטי. |
|
|
|
|
|
|
||
|
||||
|
אתה צודק, סליחה על האי הבנה. | |
|
|
|
|
|
||
|
||||
|
אגב, במכניקת הקוונטים לא קיים וקטור האפס. פורמלית היא לא עוסקת לכן במרחבים וקטוריים כי אם במרחבי 'קרניים' - אין חשיבות לראשית. | |
|
|
|
|
|
||
|
||||
|
אין חשיבות ל''גודל'' של הוקטור, רק לכיוון. | |
|
|
|
|
|
||
|
||||
|
1. נכון שהדלתא של דיראק אינה "פונקציה", אבל היא (במובן מסויים) גבול של פונקציות באופן ששומר על מכפלות פנימיות, ואפשר לחיות איתה בשלום יחסית. אפשר להגדיר את האינטגרל שלה על הישר הממשי באופן עקבי, ומתקבל המספר 1. זו הסיבה שאין בעיות של נירמול. הבעיה עם (exp(ix היא שהאינטגרל אינו סופי, וזו אופרה אחרת. |
|
|
|
|
|
|
||
|
||||
|
האינטגרל של המכפלה של הדלתא של דיראק עם הצמוד שלה מתבדרת גם היא. | |
|
|
|
|
|
||
|
||||
|
אם הבָנתי המוגבלת אינה מטעה אותי (היי, תמיד יש פעם ראשונה), "רנורמליזציה" עוסקת בדיוק בבעיתיות שנובעת מאינטגרלים לא סופיים. אחרת הכל הופך לנירמול פשוט שלא היה זוכה לכיסוי עיתונאי גדול כל-כך. אחרי הכל, כפל בקבוע זה לא עניין גדול, כמו שאמר לי פקיד הבנק שגבה 243 אחוזי ריבית על האובר שלי. | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |