הצגת המקור של הדף "מכניקת המטריצות"

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

במכניקת המטריצות, בניגוד מסוים ל[[מכניקת הגלים]] (ניסוח תורת הקוונטים באמצעות [[פונקציית גל|פונקציות גל]]), ספקטרום של אופרטורים (בעיקר אופרטורי אנרגיה) מחושב בשיטות אלגבריות גרידא, שיטות {{קישור שפה|אנגלית|Ladder operator|אופרטור סולם}}. בהסתמך על שיטות אלה, [[וולפגנג פאולי]] הסיק את [[רמת אנרגיה|רמות האנרגיה]] של [[אטום המימן]] בשנת [[1926]], לפני פיתוח מכניקת הגלים.

==היסטוריה==
===התגלות בהלגולנד===
בשנת 1925 עבד [[ורנר הייזנברג]] ב[[גטינגן]] על בעיית חישוב ה[[ספקטרום פליטה|קווים הספקטרליים]] של מימן. עד מאי 1925 הוא החל לנסות לתאר מערכות אטומיות באמצעות [[גודל פיזיקלי#בתורת הקוונטים|גדלים מדידים]] בלבד. ב-7 ביוני, לאחר שבועות שבהם לא הצליח להקל על [[קדחת השחת]] שלו עם [[אספירין]] ו[[קוקאין]], עזב הייזנברג לאי [[הלגולנד]] שב[[הים הצפוני|ים הצפוני]]. בעודו שם, בין [[טיפוס (ספורט)|טיפוס]] לשינון שירים מ"[[דיוואן מערב-מזרחי]]" של [[גתה]], הוא המשיך להרהר בסוגיה הספקטרלית ובסופו של דבר מצא דרך לפתרון. מאוחר יותר כתב:
{{ציטוט|תוכן=השעה הייתה בערך שלוש בלילה כשהתוצאה הסופית של החישוב הייתה מונחת לפני. בהתחלה הייתי מזועזע עמוקות. כל כך התרגשתי שלא יכולתי לחשוב על שינה. אז יצאתי מהבית וחיכיתי לזריחה על ראש סלע.}}

===שלושת המאמרים הבסיסיים===
לאחר שהייזנברג חזר לגטינגן, הוא הראה לוולפגנג פאולי את החישובים שלו, והעיר בשלב מסוים:
:הכל עדיין מעורפל ולא ברור לי, אבל נראה כאילו ה[[אלקטרון|אלקטרונים]] לא יזוזו יותר במסלולים.

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

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

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

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

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

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

בכל אופן, בורן למד אלגברת מטריצות מרוזנס, כפי שכבר צוין, אך בורן למד גם את התאוריה של [[דויד הילברט|הילברט]] על [[משוואה אינטגרלית|משוואות אינטגרליות]] ו[[תבנית ריבועית|תבניות ריבועיות]] עבור מספר אינסופי של משתנים, כפי שמתברר מציטוט של בורן מעבודתו של הילברט, ''Grundzüge einer allgemeinen Theorie der Linearen Integralgleichungen'' ("יסודות לתיאוריה כללית של משוואות אינטגרליות ליניאריות") שפורסמה ב-1912.

גם יורדן היה מצויד היטב למשימה. במשך מספר שנים, הוא היה עוזרו של [[ריכרד קוראנט]] בגטינגן בהכנת ספרם של קוראנט והילברט ''Methoden der mathematischen Physik I'' ("שיטות בפיזיקה מתמטית I"), שראה אור ב-1924. קרה המקרה שספר זה הכיל הרבה מאוד מהכלים המתמטיים שנדרשו להמשך הפיתוח של מכניקת הקוונטים.

בשנת 1926 מונה [[ג'ון פון נוימן]] לעוזרו של הילברט, והוא טבע את המונח [[מרחב הילברט]] כדי לתאר את האלגברה וה[[אנליזה מתמטית|אנליזה]] ששימשו בפיתוח מכניקת הקוונטים.

תרומה מרכזית לניסוח זה הושגה במאמר הפרשנות/סינתזה מחדש של [[פול דיראק]] משנת 1925,{{הערה|{{JSTOR|[[פול דיראק|P. A. M. Dirac]]|The Fundamental Equations of Quantum Mechanics|94441|Proceedings of the Royal Society of London|Vol. 109, No. 752 (Dec. 1, 1925), pp. 642-653}}}} שהמציא את השפה והמסגרת המופעלים בדרך כלל כיום, תוך תצוגה מלאה של האופי הלא-קומוטטיבי של המבנה כולו.

===הלוגיקה של הייזנברג===
לפני מכניקת המטריצות, תורת הקוונטים הישנה תיארה את תנועתו של חלקיק במסלול קלאסי, עם מיקום ותנע מוגדרים היטב X(t), P(t), תחת האילוץ שהאינטגרל לפי הזמן על פני מחזור אחד T של התנע כפול המהירות חייב להיות כפולה חיובית שלמה של [[קבוע פלאנק]] (''h''):

<math display="block"> \int_0^T P \; {dX \over dt} \; dt = \int_{X(0)}^{X(T)} P \; dX = n h .</math>

בעוד שאילוץ זה בוחר מסלולים עם ערכי [[אנרגיה]] נכונים פחות או יותר ''E<sub>n</sub>'', הפורמליזם של מכניקת הקוונטים הישנה לא תיאר תהליכים תלויי זמן, כגון פליטה או בליעה של קרינה.

כאשר חלקיק קלאסי מצומד בצורה חלשה לשדה קרינה,{{ביאור|כך שניתן להזניח את האינטראקציה שלו עם עצמו באמצעות הקרינה שהוא פולט {{אנג|Abraham–Lorentz force}}}} הוא יפלוט [[קרינת דיפול|קרינה בתבנית שחוזרת על עצמה בכל מחזור]]. התדירויות המרכיבות את הגל היוצא יהיו אז כפולות שלמות של תדירות התנועה, וזה שיקוף של העובדה ש-X(t) הוא מחזורי, כך שב[[טור פורייה|ייצוג פורייה]] שלו יש רק תדירויות שהן כפולות של 2π/''T'', דהיינו

<math display="block">X(t) = \sum_{n=-\infty}^\infty e^{2\pi i nt / T} X_n</math>

והמקדמים ''X<sub>n</sub>'' הם [[מספר מרוכב|מספרים מרוכבים]], וכל מקדם המתאים לתדירות שלילית חייב להיות ה[[צמוד מרוכב|צמוד המרוכב]] של המקדם המתאים לתדירות החיובית כך ש-''X(t)'' יהיה תמיד [[מספר ממשי|ממשי]]:
<math display="block"> X_n = X_{-n}^* </math>

במכניקת הקוונטים, לעומת זאת, חלקיק אינו יכול לפלוט קרינה ברציפות, הוא יכול רק לפלוט [[פוטון|פוטונים]]. בהנחה שהחלקיק הקוונטי התחיל במסלול מספר n, פלט פוטון, ואז הגיע למסלול מספר m, האנרגיה של הפוטון היא {{math|''E<sub>n</sub>''−''E<sub>m</sub>''}}, כלומר התדירות שלו היא {{math|(''E<sub>n</sub>'' − ''E<sub>m</sub>'')/''h''}}.

עבור ''n'' ו-''m'' גדולים, עם הפרש (''n-m'') קטן יחסית, אלו הם התדירויות הקלאסיות לפי [[עקרון ההתאמה של בוהר]]
<math display="block"> E_n-E_m \approx h(n-m)/T.</math>.

בנוסחה זו ''T'' הוא המחזור הקלאסי של מסלול ''n'' או מסלול ''m''; מכיוון שההבדל ביניהם הוא מסדר גבוה יותר ב-''h'', ניתן מעשית להשתמש בכל אחד מהם. אבל עבור ''n'' ו-''m'' קטנים, או אם ''n−m'' גדול, התדירויות אינן כפולות שלמות של כל תדירות בודדת.

העובדה שהתדירויות שהחלקיק פולט זהות לתדירויות בתיאור פורייה של תנועתו רומזת שמשהו בתיאור התלוי בזמן של החלקיק מתנודד בתדירות {{math|(''E<sub>n</sub>''−''E<sub>m</sub>'')/''h''}}. הייזנברג קרא לגודל הזה ''X<sub>nm</sub>'', ודרש שהוא יתלכד עם מקדמי פורייה הקלאסיים בגבול הקלאסי. עבור ערכים גדולים של ''n'', ''m'' אבל עם ''n-m'' קטן יחסית, ''X<sub>nm</sub>'' הוא מקדם פורייה ה-{{math|(''n''−''m'')}} של התנועה הקלאסית במסלול ''n''. מכיוון של-''X<sub>nm</sub>'' יש תדר הפוך ל-''X<sub>mn</sub>'', התנאי ש-X [[מספר ממשי|ממשי]] הופך ל-
<math display="block">X_{nm} = X_{mn}^*</math>.

לפי הגדרה, ל-''X<sub>nm</sub>'' יש רק את התדירות {{math|(''E<sub>n</sub>''−''E<sub>m</sub>'')/''h''}}, כך שההתפתחות של הגודל הזה בזמן פשוטה יחסית:
<math display="block"> X_{nm}(t) = e^{2\pi i(E_n - E_m)t / h} X_{nm}(0) = e^{i(E_n - E_m)t / \hbar} X_{nm}(0) </math>.
זו הצורה המקורית של משוואת התנועה של הייזנברג.

בהינתן שני מערכים ''X<sub>nm</sub>'' ו-''P<sub>nm</sub>'' המתארים שני גדלים פיזיקליים, הייזנברג בנה מערך חדש מאותו סוג, באמצעות שילוב הגורמים ''X<sub>nk</sub>P<sub>km</sub>'', שגם הם מתנודדים בתדירות הנכונה. כיוון שמקדמי פורייה של מכפלת שני גדלים הם ה[[קונבולוציה]] של מקדמי פורייה של כל אחד בנפרד, ההתאמה עם סדרת פורייה אפשרה להייזנברג להסיק את הכלל לפיו יש להכפיל את המערכים,
<math display="block">(XP)_{mn} = \sum_{k=0}^\infty X_{mk} P_{kn}</math>.

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

מטריצת ה-''X'' היא תיאור מלא של תנועתו של חלקיק במכניקת הקוונטים. מכיוון שהתדירויות בתנועה הקוונטית אינן כפולות של תדירות משותפת, מרכיבי המטריצה לא יכולים להתפרש כמקדמי פורייה של מסלול קלאסי חד. אף על פי כן, כמטריצות, ''X''(''t'') ו-''P''(''t'') מצייתים למשוואות התנועה הקלאסיות; ראו גם [[משפט ארנפסט]].

===יסודות מכניקת המטריצות===
כשהוצגה על ידי הייזנברג, בורן ויורדן ב-1925, מכניקת המטריצות לא התקבלה מיד והיוותה מקור למחלוקת. ההקדמה המאוחרת של שרדינגר ל[[משוואת שרדינגר|מכניקת הגלים]] הייתה מועדפת.

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

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

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

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

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

כאשר שתי מטריצות חולקות את הווקטורים העצמיים שלהן, ניתן [[מטריצה אלכסונית|ללכסן]] אותן בו זמנית. בבסיס שבו שתיהן אלכסוניות, ברור שהמכפלה שלהן לא תלויה בסדר שלהן, משום שכפל של מטריצות אלכסוניות הוא רק כפל של מספרים. עקרון האי-ודאות, לעומת זאת, הוא ביטוי לעובדה שלעיתים קרובות כפל שתי מטריצות A ו-B אינו תמיד קומוטטיבי, כלומר, ש-AB − BA לא בהכרח שווה 0. יחס הקומוטטיביות הבסיסי של מכניקת המטריצות,
<math display="block">\sum_k (X_{nk} P_{km} - P_{nk} X_{km}) = i\hbar \, \delta_{nm}</math>
קובע שאין מצבים שיש להם בו זמנית מיקום ותנע מוגדרים.

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

===פרס נובל===
בשנת 1928 המליץ איינשטיין על הייזנברג, בורן ויורדן ל[[פרס נובל לפיזיקה]]. ההכרזה על פרס נובל לפיזיקה לשנת 1932 נדחתה עד לנובמבר 1933. באותה תקופה הוכרז שהייזנברג זכה בפרס לשנת 1932 "על יצירת מכניקת הקוונטים, שיישומה הוביל, בין היתר, לגילוי הצורות האלוטרופיות של מימן", ו[[ארווין שרדינגר]] ו[[פול דיראק]] חלקו את פרס 1933 "על גילוי צורות יצרניות חדשות של תורת האטום".{{הערה|[https://www.nobelprize.org/prizes/physics/1933/ceremony-speech/ The Nobel Prize in Physics 1933 - Award ceremony speech]}}

אפשר בהחלט לשאול מדוע לא הוענק לבורן הפרס ב-1932, יחד עם הייזנברג, ו[[ג'רמי ברנשטיין]] העלה השערות בעניין זה. אחת מהן מתייחסת להצטרפות יורדן ל[[המפלגה הנאצית|מפלגה הנאצית]] ב-1 במאי 1933 וכן ל[[אס אה]]. ייתכן שהקשרים של יורדן עם בורן השפיעו על סיכויו של בורן לזכות בפרס. ברנשטיין מציין עוד כי כאשר בורן זכה לבסוף בפרס ב-1954, יורדן עדיין היה בחיים, בעוד הפרס הוענק על הפרשנות הסטטיסטית של מכניקת הקוונטים, המיוחסת לבורן לבדו.{{הערה|Jeremy Bernstein, [https://pubs.aip.org/aapt/ajp/article-abstract/73/11/999/1043084/Max-Born-and-the-quantum-theory Max Born and the Quantum Theory], American J. Phys. 73 (11) 999-1008 (2005)}}

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

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

==לקריאה נוספת==
* טוביאס הירטר, '''עידן האי־ודאות – איך גילו גדולי הפיזיקאים את עולם הקוונטים 1895–1945''', [[ספרי עליית הגג]] ו[[ידיעות ספרים]], 2023, הפרק "רחבותו של הים וזעירותם של האטומים", עמ' 133–142.
<div class="mw-content-ltr">
* Herbert S. Green, '''Matrix mechanics''', P. Noordhoff Ltd, Groningen, Netherlands, 1965. ASIN : B0006BMIP8
* [[משה ימר|Max Jammer]], '''The Conceptual Development of Quantum Mechanics''', McGraw-Hill, 1966
* Thomas F. Jordan, '''Quantum mechanics in simple matrix form''', [[הוצאת דובר|Dover Publications]], Mineola, N.Y 2006, {{ISBN|0-486-44530-5}}
</div>

==קישורים חיצוניים==
<div class="mw-content-ltr">
* [https://www.mathpages.com/home/kmath698/kmath698.htm On Matrix Mechanics], MathPages
</div>

==ביאורים==
{{ביאורים}}

==הערות שוליים==
{{הערות שוליים|יישור=שמאל}}
{{בקרת זהויות}}

[[קטגוריה:מכניקת הקוונטים]]