בתשובה לסמילי, 26/11/02 9:21
לא נראה לי 109635
1. הנירמול הוא חילוק בשורש הנורמה של הפונקציה, ואם הנורמה אינסופית, זה לא הולך.

2. כידוע, החלק הממשי של (exp(ix הוא (cos(x, והאינטגרל של זה ממינוס אינסוף לאינסוף אינו מתכנס. אפשר "להראות" שהאינטרגל הוא אפס אם שוברים את הישר הממשי לקטעים של 2pi (שבהם האינטגרל הוא 0), אבל באופן כזה אפשר לקבל גם תוצאות אחרות.
גרוע יותר, הערך המוחלט של (exp(ix הוא 1, והאינטגרל של 1 ודאי אינו מתכנס על הישר הממשי.

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

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

3.
א. אני לא יודע אם אפשר לקרוא לפונקציות של מרחב לא רציף (כמו הספין) פונקציות גל, למעשה, אני חושב ש"פונקציית גל" מתייחס רק לפונקציות של מרחב המקום (לפחות, ככה זה היה במקור).
ב. <זהירות, משוואות>
עבור כל משתנה מדיד ורציף (למשל, התנע p) קיימים רצף של מצבים עצמיים (מצבי התנע <p|), כך שההיטל של מצב עצמי כלשהו על מרחב המצבים העצמיים נותן פונקציית דלתא:
p_0(p)=<p|p_0>=\delta(p-p_0)
שים לב שכבר עכשיו יש לנו, לכאורה, בעיה לא קטנה של (כין השאר) נירמול.
אם נגדיר את המשתנה הצמוד לו (במקרה זה, המקום (x=i(d/dp) נקבל שהפונקציות העצמיות הן פונקציות ה (exp(ixp_0 וכאן הגענו ל"בעיה" (התעלמתי כאן מקבועים, ומסימנים).
<.זהירות משוואות>
אנסה לסכם (אני בטח מפספס את ציר הדיון, לא משנה) 109768
הגלים ההרמוניים ופונקציות הדלתא הינן פונקציות מוכללות מחוץ ל- L^2, אשר מהוות קבוצה פורשת על ידי אינטגרציה של כל האיברים ב- L^2. ניתן להשתמש בהן לצורך פישוט חישובים מסויימים, אבל הן כשלעצמן אינן מייצגות חלקיקים פיסיקליים.
לדוגמה, אם ארצה לחשב את מקדם ההחזרה בפיזור, על ידי מדרגת פוטנציאל כלשהי, אפתור הבעיה עבור גלים הרמוניים (כי זה נורא קל,) ואז אראה מה קורה לפונקציה שהיא גאוסיאן באנרגיה (ולכן גם בזמן), והיא היא תהיה דוגמה לחלקיק הפוגע במחסום.
ואולי, להפך 109773
L2 יכול להוות קרקע נוחה לחישובים מתמטיים, אבל פונקציה לא מייצגת חלקיק פיזיקלי באופן שלם, אלא, את ההיטל של מצב החלקיק על המרחב התחום (של הפונקציה). כאשר עוברים למרחב הפונקציות מעל משתנה רציף, השימוש בפונקציות דלתא הוא מחוייב המציאות (ואם המשתנה גזיר, כנראה שגם הגלים ההרמוניים נכנסים).

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

1 האם צריך להבהיר שמדובר באינטגרציה ולא בסכום? כנראה שכן. אז הנה, הבהרה: מדובר במשתנה רציף, ולכן הקומבינציה הלינארית היא אינטגרציה ולא סכום.
ואולי, להפך 109779
מבחינה מתמטית, במרחב המצבים האבסטרקטי, אז כן, ודאי, השימוש במצבים עצמיים של X ו-P הוא אם לא הכרחי הרי שאלגנטי מאד. החישוב אינו מדוייק, אלא נובע מהפוך על הפוך - יש לנו פונקציונל ליניארי (ברה) מוגדר היטב (הערך בנקודה מסויימת), ואם היה וקטור מתאים (קט), למעשה, וקטור מתאים לכל נקודה במרחב, הפועל כך שבמקום סכום עושים אינטגרציה ואז זה עובד בדיוק כמו בסיס רגיל, הרי זה היה נפלא, וזה מפשט את העבודה - אז מרחיבים את L^2 כך שיכיל וקטורים כאלה, המתנהגים בדיוק בדרך הרצויה, מקווים שהמתמטיקאים מתישהו בעתיד ימצאו לכך יסוד מתמטי (לקח להם כמה שנים טובות), וממשיכים הלאה. זו, כמובן, הדרך שהפיסיקה התיאורטית המתקדמת צריכה להיעשות - קודם מוצאים אובייקט תיאורטי משעשע ומתחילים להשתמש בו, ואחר כך נותנים למתמטיקאים (או פיסיקאים בעלי נטיות מתמטיות, סבלנות, ומאסטר לסיים) לאסוף את השברים.
אבל, וזה חשוב, אין בכך לומר שלאותם וקטורים יש משמעות פיסיקלית - הם מרכיבים נוחים ליצירת פונקציות פיסיקליות, לעיתים הם מהווים קירוב טוב עבור אפליקציות ספציפיות, אבל לכל קוונטה מקום (לאחר מדידה), ואלה, מה לעשות, או שממוקמים מדי או שלא ממוקמים מספיק בשביל להיות חלקיקים.
להפך 109782
כבר מצאו לזה יסוד מתמטי, מדובר על מה שפותח ע''י דיראק לפני יותר מחמישים שנה, ונוסח היטב בהמשך ע''י הקהילה המתמטית.

הויכוח הזה משעשע במידה מסויימת, אני מנסה למעלה להבהיר עד כמה הוא חסר טעם.

הוקטורים הם המצב של המערכת, ולכן בעלי משמעות פיזיקלית, הפונקציות הם כלים מתמטיים לצורך חישוב תוצאות, לפעמים אפשר לוותר על השימוש בפונקציות, ולפעמים אי אפשר.
להפך 109790
אני מודע לכך שהכל מבוסס מתמטית, ולו כולנו חכמים, כולנו נבונים, וכולנו מכירים את תורת ההתפלגויות, הרי שלא היה כאן ויכוח כלל.
אבל בזמנו, כאשר דיראק המציא את הנוטציה והכלים הללו, לא היה לכך ביסוס מתמטי.
אה, הבנתי, 109792
אתה צודק, סליחה על האי הבנה.
להפך 109801
אגב, במכניקת הקוונטים לא קיים וקטור האפס. פורמלית היא לא עוסקת לכן במרחבים וקטוריים כי אם במרחבי 'קרניים' - אין חשיבות לראשית.
נכון, 109802
אין חשיבות ל''גודל'' של הוקטור, רק לכיוון.
לא נראה לי 109914
1. נכון שהדלתא של דיראק אינה "פונקציה", אבל היא (במובן מסויים) גבול של פונקציות באופן ששומר על מכפלות פנימיות, ואפשר לחיות איתה בשלום יחסית. אפשר להגדיר את האינטגרל שלה על הישר הממשי באופן עקבי, ומתקבל המספר 1. זו הסיבה שאין בעיות של נירמול.
הבעיה עם (exp(ix היא שהאינטגרל אינו סופי, וזו אופרה אחרת.
לא נראה לי 109939
האינטגרל של המכפלה של הדלתא של דיראק עם הצמוד שלה מתבדרת גם היא.
הדיוט קופץ בלי ראש 109941
אם הבָנתי המוגבלת אינה מטעה אותי (היי, תמיד יש פעם ראשונה), "רנורמליזציה" עוסקת בדיוק בבעיתיות שנובעת מאינטגרלים לא סופיים. אחרת הכל הופך לנירמול פשוט שלא היה זוכה לכיסוי עיתונאי גדול כל-כך. אחרי הכל, כפל בקבוע זה לא עניין גדול, כמו שאמר לי פקיד הבנק שגבה 243 אחוזי ריבית על האובר שלי.

חזרה לעמוד הראשי המאמר המלא

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