=== קבועים ===
* '''גודל תאוצת הכובד בקרבת כדה״א:''' <math>g\approx9.8\mathrm\frac msm{s^2}</math>
* '''קבוע הגרביטציה האוניברסלי:''' <math>G\approx6.67\cdot10^{-11}\mathrm\frac{m^3}{kg\cdot s^2}</math>
* '''קבוע פלאנק:''' <math>\hbar\approx1.05\times10^{-34}\mathrm{J\cdot s}</math>
* '''מהירות האור בריק:''' <math>c=299792458\mathrm\frac ms</math>
=== תזכורות ונוסחאות ===
* '''הטורק/מומנט הפיתול''' של גוף מוגדר כ־<math>\vec\tau:=\vec r\times\vec F=\dot\vec L</math>.
* '''חוק שימור התנע הזוויתי:''' אם שקול הכוחות פועל במקביל ל־<math>\vec r</math> אז <math>\vec L\equiv\text{const.}</math>.
=== מערכות ייחוס ===
בפרק זה נתונות שתי מערכות, <math>S,S'</math>, כך שאם <math>A</math> גודל דינמי ב־<math>S</math> אז הוא יסומן כ־<math>A'</math> ב־<math>S'</math>.
* '''מערכת אינרציאלית:''' מערכת בה מתקיימים שלושת חוקי ניוטון.
* כל מערכת נייחת היא אינרציאלית.
* '''טרנספורמציות גליליי:''' טרנספורמציות לינארית בין מערכות ייחוס. אם <math>S</math> אינרציאלית ו־<math>S'</math> מתקבלת מ־<math>S</math> ע״י טרנספורמציית גליליי אז <math>S'</math> אינרציאלית.
** {{הערה|מקרים פרטיים:}} <math>\vec r=\vec r\,'+\vec r_0</math>; <math>\dot\vec r=\dot\vec r\,'+\vec v_0</math>; <math>\vec r=\mathbf R\vec r\,'</math> כאשר <math>\mathbf R</math> היא מטריצת סיבוב קבועה; <math>\vec r=-\vec r\,'</math>; <math>t=t'+t_0</math>; <math>t=-t'</math>. ההרכבות של המקרים הפרטיים הללו יוצרות את חבורת גליליי, שאיבריה הם טרנספורמציות גליליי.
* '''מערכת מואצת:''' <math>\ddot\vec r=\ddot\vec r\,'+\vec a_0</math>. אם <math>S</math> אינרציאלית ו־<math>\vec a_0\ne\vec0</math> אז <math>S'</math> אינה אינרציאלית, כי <math>\vec F\,'=\vec F-m\vec a_0</math>. אם נדמיין שפועל ''כוח מדומה'' <math>-m\vec a_0</math> על הגוף ב־<math>S'</math> אז נקבל מערכת <math>S''</math> שאינרציאלית אם <math>S</math> אינרציאלית.
* '''מערכת מסתובבת:''' <math>\vec r=\mathbf R(\omega t)\vec r\,'</math> כש־<math>\mathbf R(\omega t)</math> היא מטריצת סיבוב סביב ציר מסוים בזווית <math>\omega t</math>. אינרציאליות אינה נשמרת. אם הסיבוב הוא סביב ציר ה־<math>z</math> ו־<math>\vec\omega:=\omega\hat\mathbf z</math> אז ניתן לתקן זאת באמצעות שני כוחות מדומים: ''הכוח הצנטריפוגלי'' <math>-m\vec\omega\times(\vec\omega\times\vec r\,')</math> ו''כוח קוריוליס'' <math>-2m\vec\omega\times\vec v\,'</math>.
== מכניקה אנליטית ==
=== פונקציונלים ===
* '''פונקציונל:''' פונקציה <math>S</math> ממרחב פונקציות מסוים לקבוצת סקלרים. בקורס זה נעסוק רק בפונקציונלים מהצורה <math>S(\vec q)=\int_{t_1}^{t_2}\mathcal L\!\left(\vec q,\dot\vec q,t\right)\mathrm dt</math> כאשר <math>\mathcal L</math> היא ''הלגראנז׳יאן'' של הבעיה.
* '''מינימיזציה:''' נרצה למצוא את הפונקציה <math>\vec q</math> שעבורה <math>\vec q(t_1)=\vec a\ \and\ \vec q(t_2)=\vec b</math> ו־<math>S(\vec q)</math> מקבל ערך קיצון מקומי, כאשר <math>\vec q</math> דיפרנציאבילית ו־<math>\mathcal L</math> גזירה חלקית ברציפות. אזי תנאי הכרחי שעליה לקיים הוא שלכל <math>i</math> מתקיימת ''משוואת אוילר–לגראנז׳'': <math>\frac{\partial\mathcal L}{\partial q_i}-\frac\mathrm d{\mathrm dt}\frac{\partial\mathcal L}{\partial\dot q_i}=0</math>.
* ממשוואת אוילר–לגראנז׳ נובע ש־<math>F_i=\dot p_i</math>.
* '''קואורדינטה ציקלית:''' קואורדינטה <math>q_i</math> שאינה מופיעה מפורשות בלגראנז׳יאן הפיזיקלי (אלא רק הנגזרת שלה). היא מקיימת <math>F_i\equiv 0</math> ולכן <math>p_i\equiv\text{const.}</math>.
=== מכניקה המילטונית ===
* '''התמרת לז׳נדר:''' תהי <math>f</math> פונקציה קמורה או קעורה של המשתנה <math>x</math> ונגדיר <math>s(x)=\frac{\partial f(x)}{\partial x}</math>. לכן <math>s</math> מונוטונית ובפרט קיימת לה פונקציה הופכית <math>x(s)</math>. התמרת לז׳נדר של <math>f</math> מוגדרת כ־<math>g(s):=x(s)\cdot s-f(x(s))</math>.
* <math>\frac{\partial g}{\partial s}=x</math>.
* התמרת לז׳נדר של התמרת לז׳נדר היא הפונקציה המקורית.
* '''המילטוניאן''' הוא התמרת לז׳נדר של הלגראנז׳יאן הפיזיקלי כפונקציה של <math>\dot\vec q</math>, כלומר <math>\mathcal H(\vec p,\vec q)=\vec p\cdot\dot\vec q(\vec p,\vec q)-\mathcal L\!\left(\vec q,\dot\vec q(\vec p,\vec q),t\right)</math> כאשר <math>\vec p</math> התנע הצמוד ל־<math>\vec q</math> ו־<math>\mathcal L=T-U</math>. הוא אינו אינווריאנטי תחת שינוי קואורדינטות.
* '''משוואות (התנועה של) המילטון:''' <math>\frac{\partial\mathcal H}{\partial p_i}=\dot q_i\ \and\ \frac{\partial\mathcal H}{\partial q_i}=-\dot p_i</math>. לכן במרחב <math>n</math>־מימדי נקבל <math>2n</math> מד״ח מסדר ראשון במקום <math>n</math> מד״ח מסדר שני שהיינו מקבלים ממשוואות אוילר–לגראנז'אוילר–לגראנז׳.
* בקואורדינטות קרטזיות <math>\vec q=(x,y,z)</math> התנע המוכלל שווה לתנע הרגיל וההמילטוניאן שווה לאנרגיה הכללית.
* '''סוגרי פואסון:''' בתנועת גוף ניתן להציג רבים מהגדלים הדינמיים (דהיינו, תלויים בתנועה) כפונקציות של הקואורדינטות ושל התנע המוכלל. סוגרי פואסון של שני גדלים <math>A(\vec p,\vec q,t),B(\vec p,\vec q,t)</math> כאלה מוגדרים כ־<math>\{A,B\}:=\sum_i\left(\frac{\partial A}{\partial q_i}\frac{\partial B}{\partial p_i}-\frac{\partial B}{\partial q_i}\frac{\partial A}{\partial p_i}\right)</math>.
* מתקיים <math>\frac{\mathrm dA}{\mathrm dt}=\frac{\partial A}{\partial t}+\{A,\mathcal H\}</math> כאשר <math>\frac{\partial A}{\partial t}</math> הוא השינוי ב־<math>A</math> לפי תלות מפורשת בזמן, בניגוד לתלות ע״י <math>\vec p(t),\vec q(t)</math>.
* '''מרחב פאזה:''' בהנתן מערכת עם <math>m</math> גופים במרחב <math>n</math>־מימדי, משוואות המילטון נותנות <math>2nm</math> משוואות ב־<math>2nm</math> נעלמים <math>q_{ij},p_{ij}</math> (כש־<math>\vec q_j</math> וקטורי קואורדינטות ו־<math>\vec p_j</math> תנעים צמודים להם). מרחב הפאזה המתאים הוא מרחב <math>2nm</math>־מימדי שכל נקודה בו מתוארת באמצעות <math>q_{ij},p_{ij}</math> כקואורדינטות. כל נקודה כזו מתארת את מצבה של המערכת כולה, וקו במרחב הפאזה מתאר את מצב המערכת לאורך הזמן. אם משוואות המילטון נותנות פתרון יחיד לכל תנאי התחלה אזי בכל נקודה במרחב הפאזה עובר קו כנ״ל יחיד.
* נניח שהלאגראז׳יאן שהלגראז׳יאן הפיזיקלי לא תלוי מפורשות בזמן. נגדיר <math>t'=-t</math> ולכל גודל פיזיקלי <math>f=f(t)</math> נסמן <math>f'=f(t')</math>. אזי <math>\vec q\,'=\vec q\ \and\ \dot\vec q\,'=-\dot\vec q\ \and\ \vec p\,'=-\vec p</math>. אם הקואורדינטות קרטזיות אז <math>\mathcal H'=\mathcal H</math> ו־<math>\frac{\partial\mathcal H}{\partial p_i'}=\dot q_i'\ \and\ \frac{\partial\mathcal H}{\partial q_i'}=-\dot p_i'</math>.* '''משפט ליוביל:''' נתון אוסף של מערכות בעלות המילטוניאן זהה אך מצבי התחלה שונים, עם פונקציית צפיפות <math>\rho(\vec q,\vec p)</math> המתארת את ההסתברות להיות במצב מסוים. אלמנט השטח <math>\mathrm d\vec q(t)\mathrm d\vec p(t)=\prod_i\mathrm dq_i(t)\mathrm dp_i(t)</math> אינווריאנטי בזמן, כלומר <math>\mathrm d\vec q(t_1)\mathrm d\vec p(t_1)=\mathrm d\vec q(t_2)\mathrm d\vec p(t_2)</math>.* '''חבורת לי:''' חבורה שבה פעולות הכפל וההופכי חלקות. כלומר, כל איבר בחבורה <math>g</math> תלוי ב־<math>n</math> פרמטרים (בקורס זה הם ממשיים) <math>g=g(\alpha_1,\dots,\alpha_n)</math> כך שאם <math>g(\alpha_1,\dots,\alpha_n)\cdot g(\beta_1,\dots,\beta_n)=g(\gamma_1,\dots,\gamma_n)</math> אז <math>\gamma_i=\gamma_i(\alpha_1,\dots,\alpha_n,\beta_1,\dots,\beta_n)</math> פונקציה חלקה לכל <math>i</math> ואם <math>\Big(g(\alpha_1,\dots,\alpha_n)\Big)^{-1}=g(\beta_1,\dots,\beta_n)</math> אז <math>\beta_i=\beta_i(\alpha_1,\dots,\alpha_n)</math> פונקציה חלקה לכל <math>i</math>. <math>n</math> ייקרא המימד של החבורה.* '''משפחה חד־פרמטרית''' של חבורת לי נתונה היא תת־חבורה שניתן לאפיין את איבריה ע״י פרמטר אחד, ושהפרמטר המתאים למכפלת שני איברים הוא סכום הפרמטרים של האיברים. כלומר, <math>g=g(\alpha_1,\dots,\alpha_n)=r(\alpha)</math> לכל איבר <math>g</math> במשפחה ו־<math>r(\alpha)\cdot r(\beta)=r(\alpha+\beta)</math>.* '''האלגברה של חבורות לי:''' תהי <math>\mathcal G</math> חבורת לי עם משפחה חד־פרמטרית <math>R_i[\mathbb R]</math>. איבר היחידה הוא <math>R_i(0)</math> ונגדיר <math>G_i:=\left.\frac{\mathrm dR_i(\alpha)}{\mathrm d\alpha}\right|_{\alpha=0}</math>. אם <math>\mathcal G\subset\mathbb R^{m\times m}</math> אז <math>G_i</math> היא הנגזרת רכיב־רכיב של <math>R_i</math>, ותקרא "יוצר אינפיניטסימלי של <math>\mathcal G</math>" (אך היא אינה בהכרח יוצר של החבורה, או אפילו איבר בה). האלגברה של מטריצות <math>G_i</math> נקראת האלגברה של <math>\mathcal G</math>. אם <math>a,b\in\mathbb R</math> אז <math>aG_i+bG_j</math> שייכת לאלגברה.* '''מפה אקספוננציאלית:''' בכל משפחה חד־פרמטרית <math>R_i[\mathbb R]</math> כל איבר <math>R_i(\alpha)</math> שווה ל־<math>\left(R_i\!\left(\frac\alpha n\right)\right)^n</math> לכל <math>n</math>. כמו כן, <math>R_i(\alpha)=\lim_{n\to\infty}\left(R_i\!\left(\frac\alpha n\right)\right)^n=\exp(\alpha G_i)=\sum_{n=1}^\infty\frac{(\alpha G_i)^n}{n!}</math>.* '''משפט נתר:''' נבחר משפחה חד־פרמטרית של חבורת לי של סימטריות שלא משנות את הלגראנזי׳אן. כלומר, נקח חבורה של טרנספורמציות שהלגראנז׳יאן אינווריאנטי תחתן ושתלויות באופן רציף וגזיר חלקית בפרמטר <math>s\in\mathbb R</math> כלשהו, כאשר <math>\frac{\mathrm d\mathcal L}{\mathrm ds}=0</math>. אזי <math>\sum_i\frac{\partial\mathcal L}{\partial\dot q_i}\frac{\mathrm dq_i}{\mathrm ds}\equiv\sum_i p_i\frac{\mathrm dq_i}{\mathrm ds}\equiv\text{const.}</math>.** {{הערה|הכללה:}} נניח שהלגראנז׳יאן אינווריאנטי בסדר ראשון ב־<math>\vec\varepsilon</math> עבור טרנספורמציה <math>t\mapsto t+\sum_r\varepsilon_r T_r\ \and\ q_i\mapsto q_i+\sum_r\varepsilon_r Q_{ir}</math>, כאשר <math>\varepsilon_r</math> משתנים בלתי תלויים ו־<math>T_r,Q_{ir}</math> פונקציות של <math>\vec q,\dot\vec q,t</math>. אזי <math>\forall r:\ \left(\sum_i\frac{\partial\mathcal L}{\partial\dot q_i}\dot q_i-\mathcal L\right)T_r-\sum_i\frac{\partial\mathcal L}{\partial\dot q_i}Q_{ir}\equiv\text{const.}</math>. אינווריאנטיות מסדר ראשון משמעה שאם נפעיל את הטרנספורמציה על הפרמטרים של הלגראנז׳יאן ונתייחס לכל חזקה גדולה מ־1 של <math>\varepsilon_r</math> כאל 0 אז נקבל את הלגראנז׳יאן המקורי.* '''שיווי משקל''' מתקיים בנקודות <math>\vec r_0</math> שבהן <math>\nabla U_\vec r(\vec r_0)=\vec 0</math>. אם <math>\vec r_0</math> מינימום אז זה שיווי משקל יציב, אם קיימת סביבה של <math>\vec r_0</math> שבה <math>U_\vec r</math> פונקציה קבועה אז זה שיווי משקל מסתגל ואחרת זה שיווי משקל בלתי יציב.* אם המסה קבועה אז <math>\vec F=m\ddot\vec r=-\nabla U_\vec r</math> ולכן למציאת נקודות שיווי משקל מספיק למצוא מתי <math>\ddot\vec r=\vec 0</math>. במקרה החד־מימדי נפתח את <math>U_x</math> לטור טיילור סביב נקודת שיווי משקל <math>x_0</math> ונרצה למצוא את תדירות התנודות הקטנות סביבה. <math>U_x(x)=\sum_{i=0}^\infty\frac{U_x^{(i)}(x_0)}{i!}(x-x_0)^i</math> ובגלל שהתנודות קטנות נסכים שחזקות גדולות מ־1 של <math>x-x_0</math> זניחות, כלומר נקרב <math>U_x(x)\approx U_x(x_0)+U_x'(x_0)(x-x_0)</math>. לכן נסמן <math>c=U_x'(x_0)</math> ואז <math>m\ddot x\approx -c(x-x_0)</math>. נקודת שיווי המשקל היא איפוא לא יציבה אם <math>c<0</math> ואז תדירות התנודות הקטנות היא <math>\omega=\sqrt\frac{-c}m</math>. אם <math>c>0</math> אז היא יציבה ו־<math>\omega=\sqrt\frac cm</math>, ואם <math>c=0</math> אז זו נקודת שיווי משקל מסתגלת. == מכניקת הקוונטים ===== הקדמה מתמטית ===בפרק זה נסמן וקטורי עמודה כ־<math>|u\rangle</math>, אופרטורים ומטריצות כ־<math>\mathbf A</math>, צמוד הרמטי של מטריצה או אופרטור <math>\mathbf A^\dagger</math>, צמוד של סקלר <math>\lambda</math> בתור <math>\lambda^*</math>, צמוד של וקטור <math>|v\rangle^\dagger=\langle v|</math> ומכפלה סקלרית בתור <math>|v\rangle\cdot|u\rangle=\langle v|u\rangle</math>.* '''מרחב הילברט:''' מרחב וקטורי מעל <math>\mathbb C</math> עם מכפלה פנימית <math>\langle v|u\rangle</math> כך שהמרחב שלם. כלומר:::<math>\langle u|u\rangle\ge0</math> לכל <math>|u\rangle</math> ושיוויון מתקיים אם״ם <math>|u\rangle=0</math>.::<math>\langle v|u\rangle=\langle u|v\rangle^*</math>.::המכפלה הפנימית לינארית בגורם הימני, כלומר <math>\forall\lambda\in\mathbb C:\ \langle v|\lambda u\rangle=\lambda\langle v|u\rangle</math>.::עבור <math>\Big\||v\rangle\Big\|:=\sqrt{\langle v|v\rangle}</math>, לכל סדרה <math>\{|v_n\rangle\}_{n=1}^\infty</math> עבורה <math>\lim_{n,m\to\infty}\Big\||v_m\rangle-|v_n\rangle\Big\|=0</math> (סדרת קושי) קיים <math>|v\rangle</math> כך ש־<math>|v_n\rangle\to|v\rangle</math>.* '''אופרטור לינארי''' במרחב הילברט <math>\mathcal H</math> הוא העתקה לינארית <math>\mathbf A:\mathcal H\to\mathcal H</math>. פעולת האופרטור על <math>|u\rangle</math> תסומן בצורות <math>\mathbf A|u\rangle=|\mathbf A u\rangle</math>.* '''אופרטור הרמטי:''' אופרטור לינארי <math>\mathbf A</math> כך ש־<math>\forall|u\rangle,|v\rangle:\ \langle v|\mathbf Au\rangle=\langle\mathbf Av|u\rangle</math>. באופן שקול: <math>\mathbf A^\dagger=\mathbf A</math>.* הערכים העצמיים של אופרטור הרמטי הם ממשיים.* מטריצה ממשית היא הרמטית אם״ם היא סימטרית.* '''אופרטור אוניטרי:''' אופרטור לינארי <math>\mathbf U</math> כך ש־<math>\forall|u\rangle,|v\rangle:\ \langle \mathbf Uv|\mathbf Uu\rangle=\langle v|u\rangle</math>. באופן שקול: <math>\mathbf U^\dagger\mathbf U=\mathbf I</math>.* הערכים העצמיים של אופרטור אוניטרי שווים בערכם המוחלט ל־1.* '''אופרטור הטלה:''' אופרטור לינארי <math>\mathbf P</math> כך ש־<math>\mathbf P^2=\mathbf P</math>.* הערכים העצמיים של אופרטור הטלה הם 0,1.* '''מכפלה חיצונית:''' אופרטור לינארי <math>|u\rangle\langle v|</math>. לכל וקטור <math>|w\rangle</math> מתקיים <math>|u\rangle\langle v||w\rangle=|u\rangle\langle v|w\rangle=\langle v|w\rangle|u\rangle</math>.* הו״ע של מטריצה הרמטית סופית יוצרים בסיס אורתוגנלי של המרחב.* '''המשפט הספקטרלי במימד סופי:''' אם <math>\mathbf A</math> אופרטור הרמטי ממימד סופי <math>d</math> עם ע״ע <math>\lambda_i</math> וו״ע מנורמלים מתאימים <math>|v_i\rangle</math> (כאשר <math>i\in\{1,\dots,d\}</math>) אזי <math>\mathbf A=\sum_{i=1}^d\lambda_i|v_i\rangle\langle v_i|</math>.* '''קומוטטור''' של אופרטורים הוא <math>[\mathbf A,\mathbf B]=\mathbf A\mathbf B-\mathbf B\mathbf A</math>.* ''תכונות של קומוטטורים:''** '''אנטי־קומוטטיביות:''' <math>[\mathbf A,\mathbf B]=-[\mathbf B,\mathbf A]</math>.** '''זהות יעקובי:''' <math>[[\mathbf A,\mathbf B],\mathbf C]+[[\mathbf B,\mathbf C],\mathbf A]+[[\mathbf C,\mathbf A],\mathbf B]=\mathbf O</math>.* אם <math>\mathbf A,\mathbf B</math> אופרטורים הרמטיים אז <math>[\mathbf A,\mathbf B]</math> הוא אופרטור אנטי־הרמטי, כלומר <math>[\mathbf A,\mathbf B]^\dagger=-[\mathbf A,\mathbf B]</math>. לכן <math>\mathrm i[\mathbf A,\mathbf B]</math> הרמטי.* יהיו <math>\mathbf A,\mathbf B</math> מטריצות הרמטיות. הן קומוטטיביות (<math>[\mathbf A,\mathbf B]=\mathbf O</math>) אם״ם קיים בסיס אורתונורמלי של וקטורים עצמיים משותפים של <math>\mathbf A,\mathbf B</math>, כלומר אם״ם קיימת מטריצה אוניטרית המלכסנת את שתיהן.* אם <math>f</math>פונקציה הניתנת לפיתוח לטור חזקות נגדיר <math>f(\mathbf A)=\sum_{n=0}^\infty\frac{f^{(n)}}{n!}\mathbf A^n</math> (ובאופן דומה אם לפיתוח של <math>f</math> יש חזקות שליליות).* לכל אופרטור הרמטי <math>\mathbf A</math> ממימד סופי <math>d</math> עם ע״ע <math>\lambda_i</math> וו״ע מנורמלים <math>|v_i\rangle</math> (כאשר <math>i\in\{1,\dots,d\}</math>) , אם <math>f(\mathbf A)</math> מוגדרת אז היא שווה ל־<math>\sum_{i=1}^d f(\lambda_i)|v_i\rangle\langle v_i|</math>.* '''מרחב <math>L^2(\mathbb R)</math>:''' מרחב הפונקציות <math>\varphi:\mathbb R\to\mathbb C\uplus\{\infty\}</math> כך ש־<math>\int_{-\infty}^\infty |\varphi(x)|^2\mathrm dx</math> מתכנס. (שתי פונקציות נחשבות שקולות במרחב אם״ם הן שוות כמעט בכל מקום לפי מידת לבג.) יש לו מכפלה פנימית <math>\langle\varphi|\psi\rangle:=\int_{-\infty}^\infty\varphi^*(x)\psi(x)\mathrm dx</math>. זה מרחב הילברט.* '''מרחב <math>L^2\!\left(\mathbb R^3\right)</math>:''' כמו <math>L^2(\mathbb R)</math>, אלא שהפונקציות הן <math>\mathbb R^3\to\mathbb C\uplus\{\infty\}</math> ו־<math>\langle\varphi|\psi\rangle:=\iiint_{\mathbb R^3}\varphi^*(x,y,z)\psi(x,y,z)\mathrm dx\mathrm dy\mathrm dz</math>. זה מרחב הילברט.* '''אופרטור <math>x</math>:''' אופרטור המסומן <math>x</math> עבורו לכל <math>|\varphi\rangle</math>, <math>x|\varphi\rangle</math> היא פונקציה <math>\mathbb R\to\mathbb C\uplus\{\infty\}\ \and\ x\mapsto x\varphi(x)</math>. לכן <math>\langle\varphi|x|\psi\rangle=\int_{-\infty}^\infty\varphi^*(x)x\psi(x)\mathrm dx</math>, ולפיכך הוא אינו מוגדר בחלק מ־<math>L^2</math>. זה אופרטור הרמטי.* '''אופרטור הגזירה:''' אופרטור <math>\frac{\mathrm d}{\mathrm dx}</math> עבורו <math>\frac{\mathrm d}{\mathrm dx}|\varphi\rangle=\left|\frac{\mathrm d\varphi}{\mathrm dx}\right\rangle</math>. הוא אינו מוגדר בחלק מ־<math>L^2</math>. אופרטור הגזירה הוא אנטי־הרמטי.* <math>\left[x,-\mathrm i\frac{\mathrm d}{\mathrm dx}\right]=\mathrm i</math>.* '''פונקציית הדלתא של דיראק:''' <math>\delta</math> עבורה <math>\delta(x)=\begin{cases}0,&x\ne0\\\infty,&x=0\end{cases}</math> כך ש־<math>\int_{-\infty}^\infty\delta(x)\mathrm dx=1</math>. היא מקיימת <math>\int_{-\infty}^\infty\delta(x)f(x)\mathrm dx=f(0)</math> לכל <math>f</math> רציפה ב־0.* <math>x\delta(x-x_0)\equiv x_0\delta(x-x_0)</math>. === פיזיקה ===* '''מצב''' של מערכת פיזיקלית הוא וקטור במרחב הילברט, שנקרא ''מרחב המצבים''. שני מצבים ייחשבו ''בלתי נבדלים פיזיקלית'' אם הם שווים עד כדי כפל בקבוע, ולכן נעבוד עם מצבים מנורמלים.* '''סופרפוזיציה:''' מרחב המצבים הוא מרחב וקטורי, לכן צירוף לינארי של מצבים גם הוא מצב, הנקרא סופרפוזציה. הוא מתאר התקיימות בו־זמנית של המצבים שמרכיבים את הצירוף הלינארי, כך שמכשיר מדידה שינסה לבדוק איזה מהם מתקיים ימצא אחד מהם בהסתברות ששווה לריבוע המקדם של אותו מצב (בהנחה שהסופרפוזיציה מנורמלת).* '''התפתחות בזמן:''' אם <math>|v(t)\rangle</math> מתאר מצב בזמן <math>t</math> אז לכל שני זמנים <math>t_1,t_2</math> קיים אופרטור אוניטרי <math>\mathbf U(t_1,t_2)</math> כך ש־<math>|v(t_2)\rangle=\mathbf U(t_1,t_2)|v(t_1)\rangle</math>.* '''אקסיומת המדידה:''' לכל גודל מדיד פיזיקלית <math>A'</math> מתאים אופרטור הרמטי <math>\mathbf A</math>. התוצאות האפשריות של מדידה הן הערכים העצמיים של <math>\mathbf A</math>. אם תוצאת מדידה הייתה <math>\lambda_i</math> אז מצב המערכת לאחריה יהפוך להטלה של המצב לפני המדידה <math>|\psi\rangle</math> אל התת־מרחב של הווקטורים העצמיים המתאימים ל־<math>\lambda</math>. כלומר, אם ל־<math>\lambda_i</math> יש ריבוי <math>n</math> ו־<math>\{|v_{ik}\rangle\}_{k=1}^n</math> הוא אוסף של ו״ע מתאימים ואורתונורמליים אז אופרטור ההטלה הוא <math>P_i=\sum_{k=1}^n|v_{ik}\rangle\langle v_{ik}|</math>, ומצב המערכת לאחר המדידה הוא <math>|\psi'\rangle=P_i|\psi\rangle</math> (או הנרמול שלו). ההסתברות לקבל את התוצאה <math>\lambda_i</math> במדידה היא <math>\Pr(A'=\lambda_i)=\langle\psi|P_i|\psi\rangle</math>. שינוי זה במצב נקרא ''קריסת פונקציית/וקטור הגל''.** {{הערה|מקרה פרטי:}} אם <math>\lambda_i</math> לא מנוון (כלומר מריבוי 1) עם ו״ע <math>|v_i\rangle</math> מנורמל אז <math>\Pr(A'=\lambda_i)=|\langle v_i|\psi\rangle|^2</math> ו־<math>|\psi'\rangle=|v_i\rangle</math>.* '''ערך התצפית''' הוא תוחלת תוצאת המדידה של <math>\mathbf A</math>, ומסומן <math>\langle\mathbf A\rangle</math> או <math>\langle\mathbf A\rangle_\psi</math> כאשר <math>|\psi\rangle</math> המצב לפני המדידה. אזי <math>\langle\mathbf A\rangle_\psi=\langle\psi|\mathbf A|\psi\rangle</math>.* אם שני אופרטורים הרמטיים <math>\mathbf A,\mathbf B</math> קומוטטיביים אז המצבים העצמיים משותפים לשניהם. לכן ניתן יהיה לדעת מה תוצאת המדידה של <math>A'</math> לפי תוצאת מדידה <math>B'</math>. לכן גם מדידה לפי <math>\mathbf B</math> לא תגרום לשינוי אחרי שמדדנו עם <math>\mathbf A</math>. מאידך, אם הם אינם קומוטטיביים אז לא ניתן לדעת בו־זמנית בוודאות מלאה את תוצאת המדידה הצפויה בשניהם, ויש חשיבות לסדר המדידות.* בתורת הקוונטים הלא יחסותית של חלקיק אחד, מצבו של החלקיק מתואר ע״י פונקציה של המיקום, <math>\varphi\in L^2</math>. אנו נעבוד עם פונקציות מנורמלות.* '''אופרטור המיקום''' של חלקיק בציר ה־<math>x</math> הוא האופרטור שנותן את מיקום החלקיק. הוא שווה לאופרטור ה־<math>x</math>. באופן דומה מגדירים אופרטורים <math>y,z</math>.* מתקיים <math>[x,y]=[y,z]=[x,z]=\mathbf O</math>.* <math>x\mapsto\delta(x-x_0)</math> היא פונקציה עצמית של האופרטור <math>x</math> עם ע״ע <math>x_0</math>. לכן נסמן <math>|x_0\rangle=|\delta(x-x_0)\rangle</math>.* '''פונקציית גל''' <math>\psi</math> של המיקום של חלקיק היא פונציה כך שצפיפות ההסתברות למצוא את החלקיק בנקודה <math>x_0</math> היא <math>f_x(x_0)=|\psi(x_0)|^2</math>. לכן ההסתברות למצוא את <math>x</math> בקטע <math>[a,b]</math> היא <math>\Pr(a\le x\le b)=\int_a^b|\psi(x)|^2\mathrm dx</math>. באופן דומה נגדיר פונקציית גל ל־<math>\mathbb R^3</math>.* '''אופרטור התנע''' בציר ה־<math>x</math> הוא <math>p_x=-\mathrm i\hbar\frac\partial{\partial x}</math>. באופן דומה מגדירים <math>p_y,p_z</math>. אופרטור התנע בשלושה מימדים הוא <math>\mathbf P=-\mathrm i\hbar\nabla</math>.* <math>|k\rangle</math> היא הפונקציה <math>x\mapsto\mathrm e^{\mathrm ikx}/\sqrt{2\pi}</math>.* אם <math>\psi</math> פונקציה עצמית של <math>p_x</math> עם ע״ע <math>\lambda</math> אז <math>|\psi\rangle=|k\rangle</math> כאשר <math>k=\lambda/\hbar</math>.* צפיפות ההסתברות של התנע בציר ה־<math>x</math> היא <math>f_{p_x}(p_0)=\left|\frac1\sqrt{2\pi}\int_{-\infty}^\infty\exp\!\left(-\mathrm i\frac{p_0}\hbar x\right)\psi(x)\mathrm dx\right|^2=\left|\left\langle\left.\frac{p_0}\hbar\right|\psi\right\rangle\right|^2</math>. כלומר, פונקציה זו היא התמרת פורייה הסימטרית של <math>\psi</math>.* מתקיים <math>[x,p_x]=\mathrm i\hbar</math>.* מתקיים <math>[x,p_y]=\mathbf O</math>.* '''עקרון האי־ודאות:''' <math>\operatorname{Var}(\mathbf A)\operatorname{Var}(\mathbf B)\ge\hbar/4</math> לכל שני אופרטורים הרמטיים <math>\mathbf A,\mathbf B</math>. באופן שקול, <math>\left\langle\mathbf A^2\right\rangle\cdot\left\langle\mathbf B^2\right\rangle\ge\tfrac14|\langle[\mathbf A,\mathbf B]\rangle|^2</math>.* '''משוואת שרדינגר (התלויה בזמן):''' <math>\mathrm i\hbar\frac\partial{\partial t}\psi(\vec r,t)=\mathcal H\psi(\vec r,t)</math> כאשר לכל <math>t</math>, <math>\psi(\cdot,t)</math> היא פונקציה <math>\mathbb R^3\to\mathbb C</math> ב־<math>L^2\!\left(\mathbb R^3\right)</math> ו־<math>\mathcal H</math> הוא אופרטור הרמטי המכונה ''ההמילטוניאן הקוונטי'', והוא מודד את האנרגיה של חלקיק נתון. ההמליטוניאן הרגיל במימד אחד הוא <math>\frac{p^2}{2m}+U_x(x)</math> ולכן אם נחליף את <math>p</math> ב־<math>p_x</math> נקבל המילטוניאן קוונטי <math>-\frac{\hbar^2}{2m}\frac{\partial^2}{\partial x^2}+U_x(x)</math>, ובמספר מימדים <math>-\frac{\hbar^2}{2m}\nabla^2+U_\vec r(\vec r)</math>.* אם <math>|\varphi\rangle</math> מצב עצמי של ההמילטוניאן הקוונטי עם ע״ע <math>E</math> אזי <math>\varphi(\vec r,t)=\varphi(\vec r)\exp\!\left(-\mathrm i\frac E\hbar t\right)</math>. לכן אם <math>\{(|\varphi_k\rangle,E_k)\}_k</math> אוסף המצבים העצמיים עם הע״ע המתאימים להם אזי כל פתרון של משוואת שרדינגר ניתן להצגה בצורה <math>\psi(\vec r,t)=\sum_k\langle\varphi_k|\psi(\cdot,0)\rangle\varphi_k(\vec r)\exp\!\left(-\mathrm i\frac{E_k}\hbar t\right)</math>. לפיכך מתקיימת ''משוואת שרדינגר שאינה תלויה בזמן'': <math>-\frac{\hbar^2}{2m}\nabla^2\psi(\vec r,t)+U_\vec r(\vec r)\psi(\vec r,t)=E\psi(\vec r,t)</math>. הערכים של <math>E</math> עבורם יש פתרון <math>\forall t:\ \psi(\cdot,t)\in L^2</math> נקראים ''ערכי האנרגיה המותרים'', והם היחידים שיכולים להתקבל בניסוי.* '''תנע זוויתי:''' בפיזיקה הקלאסית <math>\vec L=\vec r\times\vec p</math>. לכן בכל ציר התנע הזוויתי הוא <math>L_x=yp_z-zp_y\ \and\ L_y=zp_x-xp_z\ \and\ L_z=xp_y-yp_x</math>, וניתן להתייחס לכל אחד מהם כאל אופרטור הרמטי כאשר <math>r_i,p_i</math> אופרטורי המיקום והתנע.*אם <math>\hat\mathbf n</math> וקטור יחידה אז <math>\exp\!\left(\mathrm i\theta\hat\mathbf n\cdot\vec L\right)=\exp(\mathrm i\theta(\hat n_xL_x+\hat n_yL_y+\hat n_zL_z))</math> הוא סיבוב בזווית <math>\theta</math> סביב הציר <math>\hat\mathbf n</math>. לכן <math>L_x,L_y,L_z</math> הם היוצרים האינפיניטסימליים של חבורת הסיבובים ב־3 מימדים, <math>\mbox{SO}(3)</math>.* <math>[L_x,L_y]=\mathrm iL_z\ \and\ [L_y,L_z]=\mathrm iL_x\ \and\ [L_z,L_x]=\mathrm iL_y</math>.* '''הצגה''' של חבורה היא הומומורפיזם מהחבורה לחבורת האוטומורפיזמים של מרחב וקטורי. בקורס זה נעסוק בהצגות של חבורה <math>G</math> שהן פונקציות <math>\varphi:G\to\mathbb C^{n\times n}</math> הפיכות המקיימות <math>\forall g_1,g_2\in G:\ \varphi(g_1\cdot g_2)=\varphi(g_1)\varphi(g_2)</math>. באופן דומה, הצגה של אלגברת לי <math>A</math> היא <math>\varphi:A\to\mathbb C^{n\times n}</math> המקיימת <math>\forall a_1,a_2\in A:\ \varphi(a_1+a_2)=\varphi(a_1)+\varphi(a_2)\ \and\ \varphi([a_1,a_2])=[\varphi(a_1),\varphi(a_2)]</math>.* '''הצגה פריקה:''' הצגה שלכל התמונות שלה יש תת־מרחב אינווריאנטי משותף. כלומר, קיים בסיס שבו כל המטריצות מתפרקות לצורה <math>\begin{pmatrix}\mathbf A&\mathbf O\\\mathbf O&\mathbf B\end{pmatrix}</math>.* '''אופרטור התנע הזוויתי הכולל בריבוע:''' <math>L^2:=\left|\vec L\right|^2=L_x^2+L_y^2+L_z^2</math>. זה אופרטור הרמטי שכל הע״ע שלו ממשיים אי־שליליים.* <math>[L_i,L^2]=\mathbf O</math> לכל <math>i\in\{x,y,z\}</math>. לכן קיים בסיס של וקטורים עצמיים משותפים של <math>L_z,L^2</math>, ונסמנם <math>|l,m\rangle</math> כאשר <math>L_z|l,m\rangle=\lambda_m|l,m\rangle</math> ו־<math>L^2|l,m\rangle=\mu_l|l,m\rangle</math>.* '''משפט הצגות התנע הזוויתי:''' לכל <math>n\in\mathbb N</math> קיימת הצגה לא פריקה של האלגברה הנוצרת ע״י <math>L_x,L_y,L_z</math>. כל וקטור במרחב הילברט המתאים להצגה זו יקיים <math>L^2|v\rangle=l(l+1)|v\rangle</math> כאשר <math>l=\frac{n-1}2</math>. כמו כן, ניתן לבחור את הבסיס למרחב הווקטורי המתאים להצגה כך שווקטורי הבסיס יהיו <math>\{|v_m\rangle\}_{m=-l}^l</math> כאשר <math>L_z|v_m\rangle=m|v_m\rangle</math>.* '''אופרטורי הסולם של התנע הזוויתי:''' <math>L_+:=L_x+\mathrm iL_y</math> ו־<math>L_-:=L_x-\mathrm iL_y</math>.* ''תכונות של <math>L_+,L_-</math>:''** <math>[L_\pm,L^2]=\mathbf O</math>.** <math>L^2=L_z^2+L_\pm L_\mp\mp L_z</math>.** <math>[L_z,L_\pm]=\pm L_\pm</math>.<!--** <math>L_zL_\pm|l,m\rangle=(\lambda\pm1)L_\pm|l,m\rangle</math> ** <math>L^2L_\pm|l,m\rangle=\mu_lL_\pm|l,m\rangle</math>.** <math>L_\pm|l,m\rangle=c_{lm}^\pm|l,m\pm1\rangle</math> עבור קבועים <math>c_{lm}^+,c_{lm}^-</math>.** <math>c_{l(m+1)}^-=(c_{lm}^+)^*</math>--> == תורת היחסות הפרטית ==* במכניקה הניוטונית הזמן לא תלוי בצופה אבל הקואורדינטות <math>x,y,z</math> כן. תורת היחסות מבטלת הפרדה זו. אם <math>|\vec r(t_2)-\vec r(t_1)|=c|t_2-t_1|</math> כאשר <math>\vec r</math> וקטור הקואורדינטות של קרן אור עם זמן <math>t</math> אז עבור צופה מהצד עם זמן <math>t'</math> מתקיים <math>|\vec r(t_2')-\vec r(t_1')|=c|t_2'-t_1'|</math>. כלומר, מהירות האור – ולא הזמן – אינווריאנטית לכל צופה.* המשוואה הקודמת נשמרת תחת סיבובים קבועים (<math>\vec r=\mathbf R\vec r\,'</math>), הזזות קבועות במיקום (<math>\vec r=\vec r\,'+\vec r_0</math>) והזזות קבועות בזמן (<math>t=t'+t_0</math>).* נדון במרחב חד־ממדי, כלומר עם ציר ה־<math>x</math> וציר הזמן <math>t</math>. נגדיר קואורדינטה חדשה <math>T=ct</math> ונגדיר <math>\vec R=\begin{pmatrix}x\\T\end{pmatrix}</math>.* '''הנורמה של המרחב''' היא <math>s^2=T^2-x^2</math>, אף שאינה נורמה במובן המתמטי.* '''המטריקה של המרחב''' היא <math>\eta=\begin{pmatrix}-1&0\\0&1\end{pmatrix}</math>, אף שאינה מטריקה במובן המתמטי. היא מקיימת <math>s^2=\vec R^\top\eta\vec R</math>.* עבור <math>u</math> נתון, <math>\Lambda=\Lambda(u)</math> היא המטריצה <math>\begin{pmatrix}\cosh(u)&\sinh(u)\\\sinh(u)&\cosh(u)\end{pmatrix}</math>. קבוצת המטריצות הללו מסומנת <math>\mbox{SO}(1,1)</math>.* <math>\Lambda(u_1)\cdot\Lambda(u_2)=\Lambda(u_1+u_2)</math>. בפרט <math>\Lambda(u)^{-1}=\Lambda(-u)</math>.* <math>\Lambda^\top\eta\Lambda=\eta</math>.* אם <math>S'</math> נעה במהירות קבועה ביחס ל־<math>S</math> אז <math>\vec R=\Lambda\vec R\,'</math> ו־<math>s^2=(s')^2</math>.* נגדיר <math>\beta=\tanh(u)</math>.* '''פקטור לורנץ:''' <math>\gamma=\frac1\sqrt{1-\beta^2}</math>.* <math>\Lambda=\begin{pmatrix}\gamma&\gamma\beta\\\gamma\beta&\gamma\end{pmatrix}</math>.* '''קו עולם''' של גוף הוא אוסף הנקודות <math>\vec R</math> של הגוף ומתאר את מיקומו בזמנים שונים.* נניח ש־<math>S'</math> מערכת ייחוס שנעה במהירות קבועה ביחס ל־<math>S</math>. קו העולם שלה הוא אוסף הנקודות <math>\vec R\,'=\begin{pmatrix}0\\T'\end{pmatrix}</math>. קו העולם של <math>S</math> הוא <math>\vec R=\Lambda\vec R\,'=\begin{pmatrix}\gamma\beta T'\\\gamma T'\end{pmatrix}</math>. כלומר, אם צופה ב־<math>S'</math> מודד זמן של <math>T'</math>, צופה ב־<math>S</math> יימדוד את הזמן כ־<math>T=\gamma T'</math> (השעון של <math>S'</math> נע לאט יותר משל <math>S</math>) ואת מיקום <math>S'</math> כ־<math>\gamma\beta T'</math>. המהירות של <math>S'</math> יחסית ל־<math>S</math> היא אם כן <math>v=\frac xt=\frac{cx}T=c\beta</math> (ולכן גם <math>\beta=\frac vc</math>). לפי <math>T=\gamma T'</math> נובע <math>x=\beta T</math>, כלומר <math>S'</math> נעה ביחס ל־<math>S</math> במהירות <math>\beta</math> ממהירות האור.* '''טרנספורמציית לורנץ:''' בהנתן מאורע <math>e'=\begin{pmatrix}x'\\T'\end{pmatrix}</math> מנקודת המבט של צופה ב־<math>S'</math> נקבל <math>e=\Lambda e'</math> מנקודת המבט של צופה ב־<math>S</math>.* '''התארכות הזמן:''' שני אירועים מתרחשים בנקודה <math>x'=0</math> עבור צופה נע <math>S'</math>: <math>e_1'=\begin{pmatrix}0\\T_1'\end{pmatrix}\ \and\ e_2'=\begin{pmatrix}0\\T_2'\end{pmatrix}</math> (ולכן הפרש הזמנים שלהם הוא <math>T_2'-T_1'</math>). עבור צופה במערכת <math>S</math> המאורעות יתוארו כ־<math>e_i=\begin{pmatrix}\gamma\beta T_i'\\\gamma T_i'\end{pmatrix}</math>, ולכן הפרש הזמנים שלהם הוא <math>\gamma(T_2'-T_1')</math>, כלומר הזמן עבור צופה נע מתקצר ביחס לזמן עבור צופה נייח (שהוא צופה שעבורו המאורעות מתרחשים באותו מקום).* '''התכווצות האורך:''' מוט מונח במערכת <math>S'</math> בקטע <math>[0,l']</math> ואינו נע בה. קווי העולם של קצותיו הם אוספי הנקודות <math>e_0'=\begin{pmatrix}0\\T'\end{pmatrix}\ \and\ e_{l'}'=\begin{pmatrix}l'\\T'\end{pmatrix}</math>. נעביר אותם למערכת <math>S</math> ואז <math>e_0=\begin{pmatrix}\gamma\beta T'\\\gamma T'\end{pmatrix}\ \and\ e_l=\begin{pmatrix}\gamma l'+\gamma\beta T'\\\gamma T'+\gamma\beta l'\end{pmatrix}</math>. בזמן <math>T=0</math> נקבל בכל קצה <math>T=\gamma T'=0\implies x_0=\gamma\beta T'=0</math> ו־<math>T=\gamma T'+\gamma\beta l'=0\implies x_l=\gamma l'+\gamma\beta T'=\gamma l'-\gamma\beta^2 l'</math>. לכן אורך המוט כפי שימדד במערכת <math>S</math> הוא <math>l=x_l-x_0=\sqrt{1-\beta^2}l'</math>. מנקודת המבט של <math>S'</math>, הצופה ב־<math>S</math> מדד את קצות המוט בזמנים שונים.* '''חיבור מהירויות:''' נדון בתנועה בציר אחד. נניח שצופה 1 נע במהירות <math>v_1</math> ביחס לצופה 2, שנע במהירות <math>v_2</math> ביחס לצופה 3, וצופה 1 נע במהירות <math>v_3</math> ביחס לצופה 3. נסמן <math>\beta_i=\frac{v_i}c</math>. אזי <math>\beta_3=\frac{\beta_1+\beta_2}{1+\beta_1\beta_2}</math>. נשים לב שאם <math>\beta_1=1</math> אז <math>\beta_3=1</math>, כלומר אם אחת המערכות נעה במהירות האור אז היא תראה נעה במהירות האור לכל צופה.* '''מרחב מינקובסקי:''' מרחב 4־מימדי (מיקום תלת־מימדי וזמן) שבו המטריקה היא <math>\eta=\begin{pmatrix}-1&0&0&0\\0&-1&0&0\\0&0&-1&0\\0&0&0&1\end{pmatrix}</math>. חבורת לורנץ היא חבורת המטריצות ששומרות על <math>\eta</math>. היא מסומנת <math>\mbox{SO}(3,1)</math> ויש לה 6 יוצרים:::סיבובים בשני מימדים. למשל, <math>\mathbf R_z(\theta)=\begin{pmatrix}\cos(\alpha)&-\sin(\alpha)&0&0\\\sin(\alpha)&\cos(\alpha)&0&0\\0&0&1&0\\0&0&0&1\end{pmatrix}</math> היא מטריצת סיבוב במישור <math>xy</math>, ויש עוד שתי מטריצות יוצרות כאלה – הסיבובים במישורים <math>yz,xz</math>.::מטריצות boost. למשל, <math>\Lambda_x=\begin{pmatrix}\gamma&0&0&\gamma\beta\\0&1&0&0\\0&0&1&0\\\gamma\beta&0&0&\gamma\end{pmatrix}</math> היא סיבוב מוכלל במישור <math>xT</math>, ויש עוד שתי מטריצות יוצרות כאלה – הסיבובים המוכללים במישורים <math>yT,zT</math>.
== דוגמאות חשובות ==
* '''מתנד (אוסצילטור) הרמוני:''' מערכת מכנית שבה פועל על גוף נתון כוח פרופורציוני להעתק הגוף ובכיוון מנוגד לו.
** '''חוק הוק:''' נתון קפיץ שקצה אחד שלו מקובע וקצהו השני נמצא בנקודה <math>\vec r_0</math> במצב רפוי ובנקודה <math>\vec r</math> בזמן הנוכחי. אזי מופעל על קצהו השני ''כוח אלסטי'' <math>\vec F=-k\Delta l\cdot\sgn(\vec r-\vec r_0)</math> כאשר <math>k>0</math> הוא ''קבוע האלסטיות של הקפיץ'' ו־<math>\Delta l</math> התוספת לאורך הקפיץ לעומת המצב הרפוי.
*** אם נניח שלקצה השני מחובר גוף החופשי לנוע בציר ה־<math>x</math> בלבד וש־<math>x(0)=0</math> היא נקודת שיווי המשקל (בה הקפיץ רפוי) אזי משוואת הכוחות בציר ה־<math>x</math> על הגוף תהא <math>F_x=-kx=m\ddot x</math> ולכן <math>x(t)=A\sin(\omega t+\phi)</math> כש־<math>m</math> מסת הגוף, <math>\omega=\sqrt\frac km</math>היא התדירות הזוויתית, ו־<math>A</math> היא ''משרעת'' התנודה. את המשרעת ואת <math>\phi</math> ניתן למצוא עפ״י תנאי התחלה.<br />נבחר את נקודת הייחוס של הקפיץ כנקודת שיווי המשקל. האנרגיה הפוטנציאלית היא <math>U=-\int_0^x-kx'\mathrm dx'=\frac{kx^2}2</math>.
* '''מטוטלת מתמטית:''' חוט מתוח שקצה אחד שלו מקובע ועל הקצה השני מופעל ''כוח מתיחות'' <math>\vec T=-T\hat\mathbf n</math> כאשר <math>\hat\mathbf n</math> וקטור יחידה בכיוון החוט (כלומר, ככיוון הווקטור המתחיל בקצה הראשון ונגמר בקצה השני), ו־<math>T</math> גודל הניתן לחישוב. בד״כ מניחים שאורך החוט קבוע.<br />אם מטוטלת מוצבת בקצה החופשי ומישור התנועה אנכי אז האנרגיה הקינטית היא <math>\frac{mR^2\dot\theta^2}2</math> כאשר <math>R</math> אורך החוט והאנרגיה הפוטנציאלית היא <math>-mgR\cos(\theta)</math>. לכן הלגראנז׳יאן הפיזיקלי הוא <math>\frac{mR^2\dot\theta^2}2+mgR\cos(\theta)</math> ומשוואת אוילר–לגראנז׳ נותנת <math>mR^2\ddot\theta+mgR\sin(\theta)=0</math>.
* '''כוח נורמלי:''' משטח מפעיל ''כוח נורמלי'' <math>\vec N</math> על גוף המונח עליו שכיוונו ניצב לפני המשטח בנקודת המגע בין הגוף למשטח.
* '''התנגשות אלסטית:''' הגופים 1,2 נפרדים מיד לאחר ההתנגשות. נניח שלא פועלים על הגופים כוחות חיצוניים ושמהירותם לפני ההתנגשות הוא <math>\vec v_i</math> ואחריה <math>\vec u_i</math>. אזי משימור התנע מקבלים <math>m_1\vec v_1+m_2\vec v_2=m_1\vec u_1+m_2\vec u_2</math>. אם בנוסף הגופים נעים במימד אחד אז מחוק שימור האנרגיה נובע <math>v_1+u_1=v_2+u_2</math>, ומשתי משוואות אלו ניתן לחשב את המהירויות אחרי ההתנגשות.
* אורך המסלול שעבר גוף הוא <math>s=\int v\mathrm dt</math>. לכן <math>\mathrm ds=\sqrt{\mathrm dx^2+\mathrm dy^2+\mathrm dz^2}</math> ו־<math>\mathrm dt=\mathrm ds/v</math>, עובדה שימושית לצורך הבעת זמן תנועת הגוף לפי הקואורדינטות.
* '''בור פוטנציאל אינסופי:''' במימד אחד, נניח שהאנרגיה הפוטנציאלית מתאפסת ל־<math>x\in(0,a)</math> ואינסופית בשאר המקרים. לפי פתרון משוואת שרדינגר שאינה תלויה בזמן, כל פונקציה <math>\psi</math> עצמית מתאפסת לכל <math>x\notin(0,a)</math>, ובאותו אופן מראים שהיא שווה ל־<math>\sqrt\frac2a\sin(kx)</math> בקטע <math>(0,a)</math> כאשר <math>k=\sqrt\frac{2mE}{\hbar^2}</math> כלשהו. הפונקציה צריכה להיות רציפה ולכן מתאפסת בקצוות, ונובע ש־<math>k=\frac{\pi n}a</math> עבור <math>n\in\mathbb N</math> כלשהו. לפיכך ערכי האנרגיה המותרים הם <math>E=\frac{\hbar^2\pi^2}{2ma^2}n^2</math> לכל <math>n\in\mathbb N</math>.
* '''בור פוטנציאל סופי:''' במימד אחד, נניח שהאנרגיה הפוטנציאלית מתאפסת ל־<math>x\in(-a,a)</math> ושווה ל־<math>V</math> בשאר המקרים. לפי פתרון משוואת שרדינגר שאינה תלויה בזמן בקטע <math>(-a,a)</math> נקבל <math>\psi=C_1\sin(kx)+C_2\cos(kx)</math> ל־<math>k=\sqrt\frac{2mE}{\hbar^2}</math>. אם <math>E<V</math> אז בקטע <math>(-\infty,a)</math> נקבל <math>\psi=C_3\exp(\alpha x)+C_4\exp(-\alpha x)</math> כאשר <math>\alpha=\sqrt\frac{2m(V-E)}{\hbar^2}</math>. מהתנאי <math>\psi\in L^2</math> נובע <math>\lim_{x\to-\infty}\psi(x)=0</math> ולכן <math>C_4=0</math>, ובאותו אופן <math>\psi=C_5\exp(-\alpha x)</math> בקטע <math>(a,\infty)</math>. לבסוף, נדרוש ש־<math>\psi</math> גזירה ברציפות לפי <math>x</math>, ובפרט רציפה. מדרישות אלה נובע ש־<math>\psi\equiv0</math>, אלא אם המשוואות של הדרישות תלויות, כלומר: <math>\begin{vmatrix}-\exp(\alpha a)&\cos(-ka)&\sin(-ka)&0\\0&\cos(ka)&\sin(ka)&-\exp(-\alpha a)\\-\alpha\exp(-\alpha a)&-k\sin(-ka)&k\cos(-ka)&0\\0&-k\sin(ka)&k\cos(ka)&\alpha\exp(-\alpha a)\end{vmatrix}=0</math>. רק ערכי <math>E</math> הפותרים משוואה זו הם ע״ע עם פונקציה עצמית מתאימה. בסוף נותר רק לנרמל את <math>\psi</math>.