תקציר פיזיקה למתמטיקאים, סמסטר ב תשע״ג

מתוך Math-Wiki
קפיצה אל: ניווט, חיפוש

הערות:

  • לכל שתי פונקציות פיזיקליות f,g של הזמן נסמן f_g:=f\circ g^{-1}. למשל, \vec v_\vec r(\vec r(t))=\vec v(t), כלומר \vec v_\vec r היא פונקציה של המהירות לפי המיקום.
  • לפעמים נסמן f במקום f(t).
  • לכל וקטור \vec u נסמן כ־u=|\vec u| את גודלו וכ־\hat u=\sgn(\vec u) את כיוונו.
  • נזכיר שלכל פונקציה f מגדירים f[A]:=\mbox{Im}(f|_A)=\{f(x):\ x\in A\}.

הקדמה

יחידות

  • זמן – שנייה: \mathrm s
  • מרחק – מטר: \mathrm m
  • מסה – קילוגרם: \mathrm{kg}
  • כוח – ניוטון: \mathrm{N=\frac{kg\cdot m}{s^2}}
  • אנרגיה – ג׳אול: \mathrm{J=\frac{kg\cdot m^2}{s^2}=N\cdot m}
  • תדירות – הרץ: \mathrm{Hz=s^{-1}}

קבועים

  • גודל תאוצת הכובד בקרבת כדה״א: g\approx9.8\mathrm\frac m{s^2}
  • קבוע הגרביטציה האוניברסלי: G\approx6.67\cdot10^{-11}\mathrm\frac{m^3}{kg\cdot s^2}
  • קבוע פלאנק: \hbar\approx1.05\times10^{-34}\mathrm{J\cdot s}
  • מהירות האור בריק: c=299792458\mathrm\frac ms

תזכורות ונוסחאות

  • מכפלה וקטורית: \vec u\times\vec v:=\begin{pmatrix}u_yv_z-u_zv_y\\u_zv_x-u_xv_z\\u_xv_y-u_yv_x\end{pmatrix}\simeq\begin{vmatrix}\hat\mathbf x&\hat\mathbf y&\hat\mathbf z\\u_x&u_y&u_z\\v_x&v_y&v_z\end{vmatrix}
  • דל: \nabla:=\begin{pmatrix}\partial/\partial x\\\partial/\partial y\\\partial/\partial z\end{pmatrix}. הגרדיאנט הוא \nabla f, הדיברגנץ הוא \nabla\cdot\vec F, הרוטור/קרל\nabla\times\vec F, והלפלסיאן\Delta f:=\nabla^2f:=\nabla\cdot\nabla f=\frac{\partial^2 f}{\partial x^2}+\frac{\partial^2 f}{\partial y^2}+\frac{\partial^2 f}{\partial z^2}.

קואורדינטות

  • עבור x,y,z\in(-\infty,\infty)\ \and\ r,\rho\in[0,\infty)\ \and\ \theta\in(-\pi,\pi]\ \and\ \varphi\in\left[-\frac\pi2,\frac\pi2\right] קואורדינטות כפונקציות של הזמן מתקיים:
    מ־← ל־↓ קרטזיות גליליות כדוריות
    קרטזיות \begin{array}{l} x=\rho\cos(\theta)\\y=\rho\sin(\theta)\\z=z\end{array} \begin{array}{l} x=r\sin(\varphi)\cos(\theta)\\y=r\sin(\varphi)\sin(\theta)\\z=r\cos(\varphi)\end{array}
    גליליות \begin{array}{l} \rho=\sqrt{x^2+y^2}\\\theta=\mbox{atan2}(y,x)\\z=z\end{array} \begin{array}{l} \rho=r\sin(\varphi)\\\theta=\theta\\z=r\cos(\varphi)\end{array}
    כדוריות \begin{array}{l} r=\sqrt{x^2+y^2+z^2}\\\theta=\mbox{atan2}(y,x)\\\varphi=\arccos(z/r)\end{array} \begin{array}{l} r=\sqrt{\rho^2+z^2}\\\theta=\theta\\\varphi=\arctan(\rho/z)\end{array}

    כאשר \mbox{Im}(\arctan)=\left[-\frac\pi2,\frac\pi2\right] ו־\mbox{atan2}(y,x):=\begin{cases}\arctan(y/x)&x>0\\\arctan(y/x)+\sgn(y)\pi&x<0\\\sgn(y)\frac\pi2&x=0\ \and\ y\ne0\\\text{undefined}&x=y=0\end{cases}.

  • \mathrm dx\,\mathrm dy\,\mathrm dz=\rho\,\mathrm d\rho\,\mathrm d\theta\,\mathrm dz=r^2\sin(\varphi)\,\mathrm dr\,\mathrm d\varphi\,\mathrm d\theta.
  • קינמטיקה

    • \vec v=\dot\vec r\ \and\ \vec a=\dot\vec v.
    • התדירות הזוויתית: \omega:=\dot\theta.
    • התנע: \vec p:=m\vec v.
    • תנועה במהירות קבועה: \vec v(t)\equiv\text{const.}. אזי \vec r=\vec v(0)t+\vec r(0).
    • תנועה בתאוצה קבועה: \vec a(t)\equiv\text{const.}. אזי \vec v=\vec a(0)t+\vec v(0) ו־\vec r=\frac\vec a2 t^2+\vec v(0)t+\vec r(0).
    • תנועה בגודל מהירות קבוע: |\vec v|\equiv\text{const.}. זה קורה אם״ם \vec a\perp\vec v.
    • תנועה כללית במעגל: אם תנועת הגוף במעגל המונח על המישור xy שרדיוסו R אזי \vec r=R\begin{pmatrix}\cos(\theta)\\\sin(\theta)\\0\end{pmatrix}, \vec v=\omega R\begin{pmatrix}-\sin(\theta)\\\cos(\theta)\\0\end{pmatrix}, ו־\vec a=\vec a_R+\vec a_T כאשר \vec a_R=-\omega^2 R\begin{pmatrix}\cos(\theta)\\\sin(\theta)\\0\end{pmatrix}=-\omega^2\vec r נקראת התאוצה הרדיאלית והיא אחראית לשינוי בכיוון המהירות ו־\vec a_T=\dot\omega R\begin{pmatrix}-\sin(\theta)\\\cos(\theta)\\0\end{pmatrix}=\frac\dot\omega\omega\vec v נקראת התאוצה הטנגנטית/משיקית והיא אחראית לשינוי בגודל המהירות. אם נסמן \vec\omega:=\omega\hat\mathbf z נקבל \vec v=\vec\omega\times\vec r ו־\vec a_R=\vec\omega\times\vec v\ \and\ \vec a_T=\dot\vec\omega\times\vec r.
    • תנועה קצובה במעגל: תנועת גוף במעגל כנ״ל כך ש־\omega(t)\equiv\text{const.}. לכן \theta=\omega t+\theta(0) ו־\vec a_T=\vec0\ \and\ a_R=\frac{v^2}R. התאוצה נקראת צנטריפטלית.
    • התדירות מוגדרת כ־f:=\frac\omega{2\pi}.
    • זמן המחזור מוגדר כ־T:=f^{-1}=\frac{2\pi}\omega.

    מכניקה ניוטונית

    חוקי התנועה של ניוטון

    1. גוף שלא פועלים עליו כוחות ינוע במהירות וכיוון קבועים: \vec v\equiv\text{const.}.
    2. הכוח שפועל על גוף נתון הוא \vec F=\dot\vec p.
    3. אם גוף 1 מפעיל כוח \vec F_{21} על גוף 2 אז גוף 2 יפעיל כוח \vec F_{12}=-\vec F_{21} על גוף 1.

    אנרגיה

    • האנרגיה הקינטית של גוף היא T:=E_k:=\frac{m v^2}2=\frac{p^2}{2m}.
    • העבודה שמבצע כוח \vec F בין הזמנים t_1 עד t_2 היא W:=\int_{\vec r[[t_1,t_2]]}\vec F_\vec r(\vec r)\mathrm d\vec r=\int_{t_1}^{t_2}\vec F(t)\cdot\vec v(t)\mathrm dt.
    • W=\Delta T=T(t_2)-T(t_1).
    • כוח משמר: כוח \vec F המוגדר בתחום פשוט־קשר ומקיים את התנאים השקולים הבאים לכל t_1,t_2:
      1. האינטגרל \int_{\vec r[[t_1,t_2]]}\vec F_\vec r(\vec r)\mathrm d\vec r אינו תלוי במסלול אלא רק בנקודות ההתחלה והסיום \vec r(t_1),\vec r(t_2).
      2. לכל מסלול סגור מתקיים \oint_{\vec r[[t_1,t_2]]}\vec F_\vec r(\vec r)\mathrm d\vec r=0.
      3. קיימת פונקציה U בתחום כך ש־\int_{\vec r[[t_1,t_2]]}\vec F_\vec r(\vec r)\mathrm d\vec r=U(t_1)-U(t_2) לכל מסלול שעובר דרך נקודות ההתחלה והסיום.
      4. קיימת פונקציה U_\vec r בתחום כך ש־\vec F_\vec r=-\nabla U_\vec r.
      5. מתקיים \forall\vec r:\ \nabla\times\vec F_\vec r(\vec r)=\vec 0.
    • אנרגיה פוטנציאלית/פוטנציאל של גוף עליו פועל כוח משמר \vec F היא U(t):=-\int_{\vec r_0}^{\vec r(t)}\vec F_\vec r(\vec r)\mathrm d\vec r כאשר \vec r_0 היא נקודת הייחוס.
    • אם על גוף פועל כוח משמר אז U(t_1)-U(t_2)=\Delta T=T(t_2)-T(t_1).
    • אנרגיה כללית של גוף עליו פועל כוח משמר היא E:=T+U.
    • חוק שימור האנרגיה: אם על גוף פועל כוח משמר אז E\equiv\text{const.}, כלומר האנרגיה הכללית קבועה.
    • פוטנציאל אפקטיבי: האנרגיה הכללית של גוף הנע במישור xy היא E=\frac{m\left(\dot\rho^2+\rho^2\omega^2\right)}2+U. גודל התנע הזוויתי הוא L=m\rho^2\omega ולכן E=\frac{m\dot\rho^2}2+U_\text{eff} כאשר U_\text{eff}:=\frac{L^2}{2m\rho^2}+U הוא הפוטנציאל האפקטיבי. הוא מאפשר להתייחס לבעיה של תנועת הגוף בכיוון הרדיאלי בלבד כבעיה חד־ממדית אשר הפוטנציאל בה הוא הפוטנציאל האפקטיבי.

    מערכות גופים

    תהא מערכת ובה הגופים 1,2,\dots,n. נסמן את הכוח השקול של הכוחות החיצוניים למערכת הפועלים על גוף i כ־\vec F_{ie}.

    • המסה הכוללת של המערכת מוגדרת כ־M:=\sum_{i=1}^n m_i.
    • מרכז המסה של המערכת מוגדר כ־\vec R:=\sum_{i=1}^n \frac{m_i}M\vec r_i.
    • התנע הכולל של המערכת מוגדר כ־\vec p:=\sum_{i=1}^n\vec p_i. אם המסות קבועות אז הוא שווה ל־M\dot\vec R.
    • לפי החוק השלישי של ניוטון \dot\vec p=\sum_{i=1}^n\vec F_{ie}.
    • חוק שימור התנע: אם שקול הכוחות החיצוניים הוא \vec 0 אז \dot\vec p=\vec 0, כלומר התנע הכולל קבוע.
    • אם התנע הכולל קבוע אז מרכז המסה ינוע במהירות קבועה (בגודל ובכיוון).
    • חוק שימור האנרגיה: אם שקול הכוחות של המערכת הוא כוח משמר אז \sum_{i=1}^n\Big(T_i+U_i\Big)\equiv\text{const.}.

    תנע זוויתי

    • התנע הזוויתי של גוף מוגדר כ־\vec L:=\vec r\times\vec p.
    • הטורק/מומנט הפיתול של גוף מוגדר כ־\vec\tau:=\vec r\times\vec F=\dot\vec L.
    • חוק שימור התנע הזוויתי: אם שקול הכוחות פועל במקביל ל־\vec r אז \vec L\equiv\text{const.}.

    מערכות ייחוס

    בפרק זה נתונות שתי מערכות, S,S', כך שאם A גודל דינמי ב־S אז הוא יסומן כ־A' ב־S'.

    • מערכת אינרציאלית: מערכת בה מתקיימים שלושת חוקי ניוטון.
    • כל מערכת נייחת היא אינרציאלית.
    • טרנספורמציות גליליי: טרנספורמציות לינארית בין מערכות ייחוס. אם S אינרציאלית ו־S' מתקבלת מ־S ע״י טרנספורמציית גליליי אז S' אינרציאלית.
      • מקרים פרטיים: \vec r=\vec r\,'+\vec r_0; \dot\vec r=\dot\vec r\,'+\vec v_0; \vec r=\mathbf R\vec r\,' כאשר \mathbf R היא מטריצת סיבוב קבועה; \vec r=-\vec r\,'; t=t'+t_0; t=-t'. ההרכבות של המקרים הפרטיים הללו יוצרות את חבורת גליליי, שאיבריה הם טרנספורמציות גליליי.
    • מערכת מואצת: \ddot\vec r=\ddot\vec r\,'+\vec a_0. אם S אינרציאלית ו־\vec a_0\ne\vec0 אז S' אינה אינרציאלית, כי \vec F\,'=\vec F-m\vec a_0. אם נדמיין שפועל כוח מדומה -m\vec a_0 על הגוף ב־S' אז נקבל מערכת S'' שאינרציאלית אם S אינרציאלית.
    • מערכת מסתובבת: \vec r=\mathbf R(\omega t)\vec r\,' כש־\mathbf R(\omega t) היא מטריצת סיבוב סביב ציר מסוים בזווית \omega t. אינרציאליות אינה נשמרת. אם הסיבוב הוא סביב ציר ה־z ו־\vec\omega:=\omega\hat\mathbf z אז ניתן לתקן זאת באמצעות שני כוחות מדומים: הכוח הצנטריפוגלי -m\vec\omega\times(\vec\omega\times\vec r\,') וכוח קוריוליס -2m\vec\omega\times\vec v\,'.

    מכניקה אנליטית

    • פונקציונל: פונקציה S ממרחב פונקציות מסוים לקבוצת סקלרים. בקורס זה נעסוק רק בפונקציונלים מהצורה S(\vec q)=\int_{t_1}^{t_2}\mathcal L\!\left(\vec q,\dot\vec q,t\right)\mathrm dt כאשר \mathcal L היא הלגראנז׳יאן של הבעיה.
    • מינימיזציה: נרצה למצוא את הפונקציה \vec q שעבורה \vec q(t_1)=\vec a\ \and\ \vec q(t_2)=\vec b ו־S(\vec q) מקבל ערך קיצון מקומי, כאשר \vec q דיפרנציאבילית ו־\mathcal L גזירה חלקית ברציפות. אזי תנאי הכרחי שעליה לקיים הוא שלכל i מתקיימת משוואת אוילר–לגראנז׳: \frac{\partial\mathcal L}{\partial q_i}-\frac\mathrm d{\mathrm dt}\frac{\partial\mathcal L}{\partial\dot q_i}=0.
    • תהי \vec q\,'=\vec q\,'(\vec q) התמרת קואורדינטות מ־\vec q ל־\vec q\,'. אם \vec q_0 מקיימת את משוואת אוילר–לגראנז׳ ל־\mathcal L אזי גם \vec q\,'_0:=\vec q\,'(\vec q_0) מקיימת אותה ל־\mathcal L.
    • פעולה: הפונקציונל S(\vec r):=\int_{t_1}^{t_2}\left(T_\vec v\!\left(\dot\vec r\right)-U_\vec r(\vec r)\right)\mathrm dt. הלגראנז׳יאן נקרא הלגראנז׳יאן הפיזיקלי של המערכת, והוא אינווריאנטי תחת שינוי קואורדינטות.
    • עקרון המילטון/הפעולה המינימלית: הלגראנז׳יאן הפיזיקלי מקיים את משוואת אוילר–לגראנז׳ לכל \vec r.
    • תנע מוכלל/צמוד לווקטור קואורדינטות \vec q: הווקטור שרכיביו p_i:=\frac{\partial(T-U)}{\partial\dot q_i}.
    • כוח מוכלל/צמוד לווקטור קואורדינטות \vec q: הווקטור שרכיביו F_i:=\frac{\partial(T-U)}{\partial q_i}.
    • ממשוואת אוילר–לגראנז׳ נובע ש־F_i=\dot p_i.
    • קואורדינטה ציקלית: קואורדינטה q_i שאינה מופיעה מפורשות בלגראנז׳יאן הפיזיקלי (אלא רק הנגזרת שלה). היא מקיימת F_i\equiv 0 ולכן p_i\equiv\text{const.}.
    • התמרת לז׳נדר: תהי f פונקציה קמורה או קעורה של המשתנה x ונגדיר s(x)=\frac{\partial f(x)}{\partial x}. לכן s מונוטונית ובפרט קיימת לה פונקציה הופכית x(s). התמרת לז׳נדר של f מוגדרת כ־g(s):=x(s)\cdot s-f(x(s)).
    • \frac{\partial g}{\partial s}=x.
    • התמרת לז׳נדר של התמרת לז׳נדר היא הפונקציה המקורית.
    • המילטוניאן הוא התמרת לז׳נדר של הלגראנז׳יאן הפיזיקלי כפונקציה של \dot\vec q, כלומר \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) כאשר \vec p התנע הצמוד ל־\vec q ו־\mathcal L=T-U. הוא אינו אינווריאנטי תחת שינוי קואורדינטות.
    • משוואות (התנועה של) המילטון: \frac{\partial\mathcal H}{\partial p_i}=\dot q_i\ \and\ \frac{\partial\mathcal H}{\partial q_i}=-\dot p_i. לכן במרחב n־מימדי נקבל 2n מד״ח מסדר ראשון במקום n מד״ח מסדר שני שהיינו מקבלים ממשוואות אוילר–לגראנז׳.
    • בקואורדינטות קרטזיות \vec q=(x,y,z) התנע המוכלל שווה לתנע הרגיל וההמילטוניאן שווה לאנרגיה הכללית.
    • סוגרי פואסון: בתנועת גוף ניתן להציג רבים מהגדלים הדינמיים (דהיינו, תלויים בתנועה) כפונקציות של הקואורדינטות ושל התנע המוכלל. סוגרי פואסון של שני גדלים A(\vec p,\vec q,t),B(\vec p,\vec q,t) כאלה מוגדרים כ־\{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).
    • \{A,B\}=-\{B,A\}.
    • מתקיים \frac{\mathrm dA}{\mathrm dt}=\frac{\partial A}{\partial t}+\{A,\mathcal H\} כאשר \frac{\partial A}{\partial t} הוא השינוי ב־A לפי תלות מפורשת בזמן, בניגוד לתלות ע״י \vec p(t),\vec q(t).
    • מרחב פאזה: בהנתן מערכת עם m גופים במרחב n־מימדי, משוואות המילטון נותנות 2nm משוואות ב־2nm נעלמים q_{ij},p_{ij} (כש־\vec q_j וקטורי קואורדינטות ו־\vec p_j תנעים צמודים להם). מרחב הפאזה המתאים הוא מרחב 2nm־מימדי שכל נקודה בו מתוארת באמצעות q_{ij},p_{ij} כקואורדינטות. כל נקודה כזו מתארת את מצבה של המערכת כולה, וקו במרחב הפאזה מתאר את מצב המערכת לאורך הזמן. אם משוואות המילטון נותנות פתרון יחיד לכל תנאי התחלה אזי בכל נקודה במרחב הפאזה עובר קו כנ״ל יחיד.
    • נניח שהלגראז׳יאן הפיזיקלי לא תלוי מפורשות בזמן. נגדיר t'=-t ולכל גודל פיזיקלי f=f(t) נסמן f'=f(t'). אזי \vec q\,'=\vec q\ \and\ \dot\vec q\,'=-\dot\vec q\ \and\ \vec p\,'=-\vec p. אם הקואורדינטות קרטזיות אז \mathcal H'=\mathcal H ו־\frac{\partial\mathcal H}{\partial p_i'}=\dot q_i'\ \and\ \frac{\partial\mathcal H}{\partial q_i'}=-\dot p_i'.
    • משפט ליוביל: נתון אוסף של מערכות בעלות המילטוניאן זהה אך מצבי התחלה שונים, עם פונקציית צפיפות \rho(\vec q,\vec p) המתארת את ההסתברות להיות במצב מסוים. אלמנט השטח \mathrm d\vec q(t)\mathrm d\vec p(t)=\prod_i\mathrm dq_i(t)\mathrm dp_i(t) אינווריאנטי בזמן, כלומר \mathrm d\vec q(t_1)\mathrm d\vec p(t_1)=\mathrm d\vec q(t_2)\mathrm d\vec p(t_2).
    • חבורת לי: חבורה שבה פעולות הכפל וההופכי חלקות. כלומר, כל איבר בחבורה g תלוי ב־n פרמטרים (בקורס זה הם ממשיים) g=g(\alpha_1,\dots,\alpha_n) כך שאם g(\alpha_1,\dots,\alpha_n)\cdot g(\beta_1,\dots,\beta_n)=g(\gamma_1,\dots,\gamma_n) אז \gamma_i=\gamma_i(\alpha_1,\dots,\alpha_n,\beta_1,\dots,\beta_n) פונקציה חלקה לכל i ואם \Big(g(\alpha_1,\dots,\alpha_n)\Big)^{-1}=g(\beta_1,\dots,\beta_n) אז \beta_i=\beta_i(\alpha_1,\dots,\alpha_n) פונקציה חלקה לכל i. n ייקרא המימד של החבורה.
    • משפחה חד־פרמטרית של חבורת לי נתונה היא תת־חבורה שניתן לאפיין את איבריה ע״י פרמטר אחד, ושהפרמטר המתאים למכפלת שני איברים הוא סכום הפרמטרים של האיברים. כלומר, g=g(\alpha_1,\dots,\alpha_n)=r(\alpha) לכל איבר g במשפחה ו־r(\alpha)\cdot r(\beta)=r(\alpha+\beta).
    • האלגברה של חבורות לי: תהי \mathcal G חבורת לי עם משפחה חד־פרמטרית R_i[\mathbb R]. איבר היחידה הוא R_i(0) ונגדיר G_i:=\left.\frac{\mathrm dR_i(\alpha)}{\mathrm d\alpha}\right|_{\alpha=0}. אם \mathcal G\subset\mathbb R^{m\times m} אז G_i היא הנגזרת רכיב־רכיב של R_i, ותקרא "יוצר אינפיניטסימלי של \mathcal G" (אך היא אינה בהכרח יוצר של החבורה, או אפילו איבר בה). האלגברה של מטריצות G_i נקראת האלגברה של \mathcal G. אם a,b\in\mathbb R אז aG_i+bG_j שייכת לאלגברה.
    • מפה אקספוננציאלית: בכל משפחה חד־פרמטרית R_i[\mathbb R] כל איבר R_i(\alpha) שווה ל־\left(R_i\!\left(\frac\alpha n\right)\right)^n לכל n. כמו כן, 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!}.
    • משפט נתר: נבחר משפחה חד־פרמטרית של חבורת לי של סימטריות שלא משנות את הלגראנזי׳אן. כלומר, נקח חבורה של טרנספורמציות שהלגראנז׳יאן אינווריאנטי תחתן ושתלויות באופן רציף וגזיר חלקית בפרמטר s\in\mathbb R כלשהו, כאשר \frac{\mathrm d\mathcal L}{\mathrm ds}=0. אזי \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.}.
      • הכללה: נניח שהלגראנז׳יאן אינווריאנטי בסדר ראשון ב־\vec\varepsilon עבור טרנספורמציה t\mapsto t+\sum_r\varepsilon_r T_r\ \and\ q_i\mapsto q_i+\sum_r\varepsilon_r Q_{ir}, כאשר \varepsilon_r משתנים בלתי תלויים ו־T_r,Q_{ir} פונקציות של \vec q,\dot\vec q,t. אזי \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.}. אינווריאנטיות מסדר ראשון משמעה שאם נפעיל את הטרנספורמציה על הפרמטרים של הלגראנז׳יאן ונתייחס לכל חזקה גדולה מ־1 של \varepsilon_r כאל 0 אז נקבל את הלגראנז׳יאן המקורי.
    • שיווי משקל מתקיים בנקודות \vec r_0 שבהן \nabla U_\vec r(\vec r_0)=\vec 0. אם \vec r_0 מינימום אז זה שיווי משקל יציב, אם קיימת סביבה של \vec r_0 שבה U_\vec r פונקציה קבועה אז זה שיווי משקל מסתגל ואחרת זה שיווי משקל בלתי יציב.
    • אם המסה קבועה אז \vec F=m\ddot\vec r=-\nabla U_\vec r ולכן למציאת נקודות שיווי משקל מספיק למצוא מתי \ddot\vec r=\vec 0. במקרה החד־מימדי נפתח את U_x לטור טיילור סביב נקודת שיווי משקל x_0 ונרצה למצוא את תדירות התנודות הקטנות סביבה. U_x(x)=\sum_{i=0}^\infty\frac{U_x^{(i)}(x_0)}{i!}(x-x_0)^i ובגלל שהתנודות קטנות נסכים שחזקות גדולות מ־1 של x-x_0 זניחות, כלומר נקרב U_x(x)\approx U_x(x_0)+U_x'(x_0)(x-x_0). לכן נסמן c=U_x'(x_0) ואז m\ddot x\approx -c(x-x_0). נקודת שיווי המשקל היא איפוא לא יציבה אם c<0 ואז תדירות התנודות הקטנות היא \omega=\sqrt\frac{-c}m. אם c>0 אז היא יציבה ו־\omega=\sqrt\frac cm, ואם c=0 אז זו נקודת שיווי משקל מסתגלת.

    מכניקת הקוונטים

    הקדמה מתמטית

    בפרק זה נסמן וקטורי עמודה כ־|u\rangle, אופרטורים ומטריצות כ־\mathbf A, צמוד הרמטי של מטריצה או אופרטור \mathbf A^\dagger, צמוד של סקלר \lambda בתור \lambda^*, צמוד של וקטור |v\rangle^\dagger=\langle v| ומכפלה סקלרית בתור |v\rangle\cdot|u\rangle=\langle v|u\rangle.

    • מרחב הילברט: מרחב וקטורי מעל \mathbb C עם מכפלה פנימית \langle v|u\rangle כך שהמרחב שלם. כלומר:
    \langle u|u\rangle\ge0 לכל |u\rangle ושיוויון מתקיים אם״ם |u\rangle=0.
    \langle v|u\rangle=\langle u|v\rangle^*.
    המכפלה הפנימית לינארית בגורם הימני, כלומר \forall\lambda\in\mathbb C:\ \langle v|\lambda u\rangle=\lambda\langle v|u\rangle.
    עבור \Big\||v\rangle\Big\|:=\sqrt{\langle v|v\rangle}, לכל סדרה \{|v_n\rangle\}_{n=1}^\infty עבורה \lim_{n,m\to\infty}\Big\||v_m\rangle-|v_n\rangle\Big\|=0 (סדרת קושי) קיים |v\rangle כך ש־|v_n\rangle\to|v\rangle.
    • אופרטור לינארי במרחב הילברט \mathcal H הוא העתקה לינארית \mathbf A:\mathcal H\to\mathcal H. פעולת האופרטור על |u\rangle תסומן בצורות \mathbf A|u\rangle=|\mathbf A u\rangle.
    • אופרטור הרמטי: אופרטור לינארי \mathbf A כך ש־\forall|u\rangle,|v\rangle:\ \langle v|\mathbf Au\rangle=\langle\mathbf Av|u\rangle. באופן שקול: \mathbf A^\dagger=\mathbf A.
    • הערכים העצמיים של אופרטור הרמטי הם ממשיים.
    • מטריצה ממשית היא הרמטית אם״ם היא סימטרית.
    • אופרטור אוניטרי: אופרטור לינארי \mathbf U כך ש־\forall|u\rangle,|v\rangle:\ \langle \mathbf Uv|\mathbf Uu\rangle=\langle v|u\rangle. באופן שקול: \mathbf U^\dagger\mathbf U=\mathbf I.
    • הערכים העצמיים של אופרטור אוניטרי שווים בערכם המוחלט ל־1.
    • אופרטור הטלה: אופרטור לינארי \mathbf P כך ש־\mathbf P^2=\mathbf P.
    • הערכים העצמיים של אופרטור הטלה הם 0,1.
    • מכפלה חיצונית: אופרטור לינארי |u\rangle\langle v|. לכל וקטור |w\rangle מתקיים |u\rangle\langle v||w\rangle=|u\rangle\langle v|w\rangle=\langle v|w\rangle|u\rangle.
    • הו״ע של מטריצה הרמטית סופית יוצרים בסיס אורתוגנלי של המרחב.
    • המשפט הספקטרלי במימד סופי: אם \mathbf A אופרטור הרמטי ממימד סופי d עם ע״ע \lambda_i וו״ע מנורמלים מתאימים |v_i\rangle (כאשר i\in\{1,\dots,d\}) אזי \mathbf A=\sum_{i=1}^d\lambda_i|v_i\rangle\langle v_i|.
    • קומוטטור של אופרטורים הוא [\mathbf A,\mathbf B]=\mathbf A\mathbf B-\mathbf B\mathbf A.
    • תכונות של קומוטטורים:
      • אנטי־קומוטטיביות: [\mathbf A,\mathbf B]=-[\mathbf B,\mathbf A].
      • זהות יעקובי: [[\mathbf A,\mathbf B],\mathbf C]+[[\mathbf B,\mathbf C],\mathbf A]+[[\mathbf C,\mathbf A],\mathbf B]=\mathbf O.
    • אם \mathbf A,\mathbf B אופרטורים הרמטיים אז [\mathbf A,\mathbf B] הוא אופרטור אנטי־הרמטי, כלומר [\mathbf A,\mathbf B]^\dagger=-[\mathbf A,\mathbf B]. לכן \mathrm i[\mathbf A,\mathbf B] הרמטי.
    • יהיו \mathbf A,\mathbf B מטריצות הרמטיות. הן קומוטטיביות ([\mathbf A,\mathbf B]=\mathbf O) אם״ם קיים בסיס אורתונורמלי של וקטורים עצמיים משותפים של \mathbf A,\mathbf B, כלומר אם״ם קיימת מטריצה אוניטרית המלכסנת את שתיהן.
    • אם fפונקציה הניתנת לפיתוח לטור חזקות נגדיר f(\mathbf A)=\sum_{n=0}^\infty\frac{f^{(n)}}{n!}\mathbf A^n (ובאופן דומה אם לפיתוח של f יש חזקות שליליות).
    • לכל אופרטור הרמטי \mathbf A ממימד סופי d עם ע״ע \lambda_i וו״ע מנורמלים |v_i\rangle (כאשר i\in\{1,\dots,d\}) , אם f(\mathbf A) מוגדרת אז היא שווה ל־\sum_{i=1}^d f(\lambda_i)|v_i\rangle\langle v_i|.
    • מרחב L^2(\mathbb R): מרחב הפונקציות \varphi:\mathbb R\to\mathbb C\uplus\{\infty\} כך ש־\int_{-\infty}^\infty |\varphi(x)|^2\mathrm dx מתכנס. (שתי פונקציות נחשבות שקולות במרחב אם״ם הן שוות כמעט בכל מקום לפי מידת לבג.) יש לו מכפלה פנימית \langle\varphi|\psi\rangle:=\int_{-\infty}^\infty\varphi^*(x)\psi(x)\mathrm dx. זה מרחב הילברט.
    • מרחב L^2\!\left(\mathbb R^3\right): כמו L^2(\mathbb R), אלא שהפונקציות הן \mathbb R^3\to\mathbb C\uplus\{\infty\} ו־\langle\varphi|\psi\rangle:=\iiint_{\mathbb R^3}\varphi^*(x,y,z)\psi(x,y,z)\mathrm dx\mathrm dy\mathrm dz. זה מרחב הילברט.
    • אופרטור x: אופרטור המסומן x עבורו לכל |\varphi\rangle, x|\varphi\rangle היא פונקציה \mathbb R\to\mathbb C\uplus\{\infty\}\ \and\ x\mapsto x\varphi(x). לכן \langle\varphi|x|\psi\rangle=\int_{-\infty}^\infty\varphi^*(x)x\psi(x)\mathrm dx, ולפיכך הוא אינו מוגדר בחלק מ־L^2. זה אופרטור הרמטי.
    • אופרטור הגזירה: אופרטור \frac{\mathrm d}{\mathrm dx} עבורו \frac{\mathrm d}{\mathrm dx}|\varphi\rangle=\left|\frac{\mathrm d\varphi}{\mathrm dx}\right\rangle. הוא אינו מוגדר בחלק מ־L^2. אופרטור הגזירה הוא אנטי־הרמטי.
    • \left[x,-\mathrm i\frac{\mathrm d}{\mathrm dx}\right]=\mathrm i.
    • פונקציית הדלתא של דיראק: \delta עבורה \delta(x)=\begin{cases}0,&x\ne0\\\infty,&x=0\end{cases} כך ש־\int_{-\infty}^\infty\delta(x)\mathrm dx=1. היא מקיימת \int_{-\infty}^\infty\delta(x)f(x)\mathrm dx=f(0) לכל f רציפה ב־0.
    • x\delta(x-x_0)\equiv x_0\delta(x-x_0).

    פיזיקה

    • מצב של מערכת פיזיקלית הוא וקטור במרחב הילברט, שנקרא מרחב המצבים. שני מצבים ייחשבו בלתי נבדלים פיזיקלית אם הם שווים עד כדי כפל בקבוע, ולכן נעבוד עם מצבים מנורמלים.
    • סופרפוזיציה: מרחב המצבים הוא מרחב וקטורי, לכן צירוף לינארי של מצבים גם הוא מצב, הנקרא סופרפוזציה. הוא מתאר התקיימות בו־זמנית של המצבים שמרכיבים את הצירוף הלינארי, כך שמכשיר מדידה שינסה לבדוק איזה מהם מתקיים ימצא אחד מהם בהסתברות ששווה לריבוע המקדם של אותו מצב (בהנחה שהסופרפוזיציה מנורמלת).
    • התפתחות בזמן: אם |v(t)\rangle מתאר מצב בזמן t אז לכל שני זמנים t_1,t_2 קיים אופרטור אוניטרי \mathbf U(t_1,t_2) כך ש־|v(t_2)\rangle=\mathbf U(t_1,t_2)|v(t_1)\rangle.
    • אקסיומת המדידה: לכל גודל מדיד פיזיקלית A' מתאים אופרטור הרמטי \mathbf A. התוצאות האפשריות של מדידה הן הערכים העצמיים של \mathbf A. אם תוצאת מדידה הייתה \lambda_i אז מצב המערכת לאחריה יהפוך להטלה של המצב לפני המדידה |\psi\rangle אל התת־מרחב של הווקטורים העצמיים המתאימים ל־\lambda. כלומר, אם ל־\lambda_i יש ריבוי n ו־\{|v_{ik}\rangle\}_{k=1}^n הוא אוסף של ו״ע מתאימים ואורתונורמליים אז אופרטור ההטלה הוא P_i=\sum_{k=1}^n|v_{ik}\rangle\langle v_{ik}|, ומצב המערכת לאחר המדידה הוא |\psi'\rangle=P_i|\psi\rangle (או הנרמול שלו). ההסתברות לקבל את התוצאה \lambda_i במדידה היא \Pr(A'=\lambda_i)=\langle\psi|P_i|\psi\rangle. שינוי זה במצב נקרא קריסת פונקציית/וקטור הגל.
      • מקרה פרטי: אם \lambda_i לא מנוון (כלומר מריבוי 1) עם ו״ע |v_i\rangle מנורמל אז \Pr(A'=\lambda_i)=|\langle v_i|\psi\rangle|^2 ו־|\psi'\rangle=|v_i\rangle.
    • ערך התצפית הוא תוחלת תוצאת המדידה של \mathbf A, ומסומן \langle\mathbf A\rangle או \langle\mathbf A\rangle_\psi כאשר |\psi\rangle המצב לפני המדידה. אזי \langle\mathbf A\rangle_\psi=\langle\psi|\mathbf A|\psi\rangle.
    • אם שני אופרטורים הרמטיים \mathbf A,\mathbf B קומוטטיביים אז המצבים העצמיים משותפים לשניהם. לכן ניתן יהיה לדעת מה תוצאת המדידה של A' לפי תוצאת מדידה B'. לכן גם מדידה לפי \mathbf B לא תגרום לשינוי אחרי שמדדנו עם \mathbf A. מאידך, אם הם אינם קומוטטיביים אז לא ניתן לדעת בו־זמנית בוודאות מלאה את תוצאת המדידה הצפויה בשניהם, ויש חשיבות לסדר המדידות.
    • בתורת הקוונטים הלא יחסותית של חלקיק אחד, מצבו של החלקיק מתואר ע״י פונקציה של המיקום, \varphi\in L^2. אנו נעבוד עם פונקציות מנורמלות.
    • אופרטור המיקום של חלקיק בציר ה־x הוא האופרטור שנותן את מיקום החלקיק. הוא שווה לאופרטור ה־x. באופן דומה מגדירים אופרטורים y,z.
    • מתקיים [x,y]=[y,z]=[x,z]=\mathbf O.
    • x\mapsto\delta(x-x_0) היא פונקציה עצמית של האופרטור x עם ע״ע x_0. לכן נסמן |x_0\rangle=|\delta(x-x_0)\rangle.
    • פונקציית גל \psi של המיקום של חלקיק היא פונציה כך שצפיפות ההסתברות למצוא את החלקיק בנקודה x_0 היא f_x(x_0)=|\psi(x_0)|^2. לכן ההסתברות למצוא את x בקטע [a,b] היא \Pr(a\le x\le b)=\int_a^b|\psi(x)|^2\mathrm dx. באופן דומה נגדיר פונקציית גל ל־\mathbb R^3.
    • אופרטור התנע בציר ה־x הוא p_x=-\mathrm i\hbar\frac\partial{\partial x}. באופן דומה מגדירים p_y,p_z. אופרטור התנע בשלושה מימדים הוא \mathbf P=-\mathrm i\hbar\nabla.
    • |k\rangle היא הפונקציה x\mapsto\mathrm e^{\mathrm ikx}/\sqrt{2\pi}.
    • אם \psi פונקציה עצמית של p_x עם ע״ע \lambda אז |\psi\rangle=|k\rangle כאשר k=\lambda/\hbar.
    • צפיפות ההסתברות של התנע בציר ה־x היא 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. כלומר, פונקציה זו היא התמרת פורייה הסימטרית של \psi.
    • מתקיים [x,p_x]=\mathrm i\hbar.
    • מתקיים [x,p_y]=\mathbf O.
    • עקרון האי־ודאות: \operatorname{Var}(\mathbf A)\operatorname{Var}(\mathbf B)\ge\hbar/4 לכל שני אופרטורים הרמטיים \mathbf A,\mathbf B. באופן שקול, \left\langle\mathbf A^2\right\rangle\cdot\left\langle\mathbf B^2\right\rangle\ge\tfrac14|\langle[\mathbf A,\mathbf B]\rangle|^2.
    • משוואת שרדינגר (התלויה בזמן): \mathrm i\hbar\frac\partial{\partial t}\psi(\vec r,t)=\mathcal H\psi(\vec r,t) כאשר לכל t, \psi(\cdot,t) היא פונקציה \mathbb R^3\to\mathbb C ב־L^2\!\left(\mathbb R^3\right) ו־\mathcal H הוא אופרטור הרמטי המכונה ההמילטוניאן הקוונטי, והוא מודד את האנרגיה של חלקיק נתון. ההמליטוניאן הרגיל במימד אחד הוא \frac{p^2}{2m}+U_x(x) ולכן אם נחליף את p ב־p_x נקבל המילטוניאן קוונטי -\frac{\hbar^2}{2m}\frac{\partial^2}{\partial x^2}+U_x(x), ובמספר מימדים -\frac{\hbar^2}{2m}\nabla^2+U_\vec r(\vec r).
    • אם |\varphi\rangle מצב עצמי של ההמילטוניאן הקוונטי עם ע״ע E אזי \varphi(\vec r,t)=\varphi(\vec r)\exp\!\left(-\mathrm i\frac E\hbar t\right). לכן אם \{(|\varphi_k\rangle,E_k)\}_k אוסף המצבים העצמיים עם הע״ע המתאימים להם אזי כל פתרון של משוואת שרדינגר ניתן להצגה בצורה \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). לפיכך מתקיימת משוואת שרדינגר שאינה תלויה בזמן: -\frac{\hbar^2}{2m}\nabla^2\psi(\vec r,t)+U_\vec r(\vec r)\psi(\vec r,t)=E\psi(\vec r,t). הערכים של E עבורם יש פתרון \forall t:\ \psi(\cdot,t)\in L^2 נקראים ערכי האנרגיה המותרים, והם היחידים שיכולים להתקבל בניסוי.
    • תנע זוויתי: בפיזיקה הקלאסית \vec L=\vec r\times\vec p. לכן בכל ציר התנע הזוויתי הוא L_x=yp_z-zp_y\ \and\ L_y=zp_x-xp_z\ \and\ L_z=xp_y-yp_x, וניתן להתייחס לכל אחד מהם כאל אופרטור הרמטי כאשר r_i,p_i אופרטורי המיקום והתנע.
    • אם \hat\mathbf n וקטור יחידה אז \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)) הוא סיבוב בזווית \theta סביב הציר \hat\mathbf n. לכן L_x,L_y,L_z הם היוצרים האינפיניטסימליים של חבורת הסיבובים ב־3 מימדים, \mbox{SO}(3).
    • [L_x,L_y]=\mathrm iL_z\ \and\ [L_y,L_z]=\mathrm iL_x\ \and\ [L_z,L_x]=\mathrm iL_y.
    • הצגה של חבורה היא הומומורפיזם מהחבורה לחבורת האוטומורפיזמים של מרחב וקטורי. בקורס זה נעסוק בהצגות של חבורה G שהן פונקציות \varphi:G\to\mathbb C^{n\times n} הפיכות המקיימות \forall g_1,g_2\in G:\ \varphi(g_1\cdot g_2)=\varphi(g_1)\varphi(g_2). באופן דומה, הצגה של אלגברת לי A היא \varphi:A\to\mathbb C^{n\times n} המקיימת \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)].
    • הצגה פריקה: הצגה שלכל התמונות שלה יש תת־מרחב אינווריאנטי משותף. כלומר, קיים בסיס שבו כל המטריצות מתפרקות לצורה \begin{pmatrix}\mathbf A&\mathbf O\\\mathbf O&\mathbf B\end{pmatrix}.
    • אופרטור התנע הזוויתי הכולל בריבוע: L^2:=\left|\vec L\right|^2=L_x^2+L_y^2+L_z^2. זה אופרטור הרמטי שכל הע״ע שלו ממשיים אי־שליליים.
    • [L_i,L^2]=\mathbf O לכל i\in\{x,y,z\}. לכן קיים בסיס של וקטורים עצמיים משותפים של L_z,L^2, ונסמנם |l,m\rangle כאשר L_z|l,m\rangle=\lambda_m|l,m\rangle ו־L^2|l,m\rangle=\mu_l|l,m\rangle.
    • משפט הצגות התנע הזוויתי: לכל n\in\mathbb N קיימת הצגה לא פריקה של האלגברה הנוצרת ע״י L_x,L_y,L_z. כל וקטור במרחב הילברט המתאים להצגה זו יקיים L^2|v\rangle=l(l+1)|v\rangle כאשר l=\frac{n-1}2. כמו כן, ניתן לבחור את הבסיס למרחב הווקטורי המתאים להצגה כך שווקטורי הבסיס יהיו \{|v_m\rangle\}_{m=-l}^l כאשר L_z|v_m\rangle=m|v_m\rangle.
    • אופרטורי הסולם של התנע הזוויתי: L_+:=L_x+\mathrm iL_y ו־L_-:=L_x-\mathrm iL_y.
    • תכונות של L_+,L_-:
      • [L_\pm,L^2]=\mathbf O.
      • L^2=L_z^2+L_\pm L_\mp\mp L_z.
      • [L_z,L_\pm]=\pm L_\pm.

    תורת היחסות הפרטית

    • במכניקה הניוטונית הזמן לא תלוי בצופה אבל הקואורדינטות x,y,z כן. תורת היחסות מבטלת הפרדה זו. אם |\vec r(t_2)-\vec r(t_1)|=c|t_2-t_1| כאשר \vec r וקטור הקואורדינטות של קרן אור עם זמן t אז עבור צופה מהצד עם זמן t' מתקיים |\vec r(t_2')-\vec r(t_1')|=c|t_2'-t_1'|. כלומר, מהירות האור – ולא הזמן – אינווריאנטית לכל צופה.
    • המשוואה הקודמת נשמרת תחת סיבובים קבועים (\vec r=\mathbf R\vec r\,'), הזזות קבועות במיקום (\vec r=\vec r\,'+\vec r_0) והזזות קבועות בזמן (t=t'+t_0).
    • נדון במרחב חד־ממדי, כלומר עם ציר ה־x וציר הזמן t. נגדיר קואורדינטה חדשה T=ct ונגדיר \vec R=\begin{pmatrix}x\\T\end{pmatrix}.
    • הנורמה של המרחב היא s^2=T^2-x^2, אף שאינה נורמה במובן המתמטי.
    • המטריקה של המרחב היא \eta=\begin{pmatrix}-1&0\\0&1\end{pmatrix}, אף שאינה מטריקה במובן המתמטי. היא מקיימת s^2=\vec R^\top\eta\vec R.
    • עבור u נתון, \Lambda=\Lambda(u) היא המטריצה \begin{pmatrix}\cosh(u)&\sinh(u)\\\sinh(u)&\cosh(u)\end{pmatrix}. קבוצת המטריצות הללו מסומנת \mbox{SO}(1,1).
    • \Lambda(u_1)\cdot\Lambda(u_2)=\Lambda(u_1+u_2). בפרט \Lambda(u)^{-1}=\Lambda(-u).
    • \Lambda^\top\eta\Lambda=\eta.
    • אם S' נעה במהירות קבועה ביחס ל־S אז \vec R=\Lambda\vec R\,' ו־s^2=(s')^2.
    • נגדיר \beta=\tanh(u).
    • פקטור לורנץ: \gamma=\frac1\sqrt{1-\beta^2}.
    • \Lambda=\begin{pmatrix}\gamma&\gamma\beta\\\gamma\beta&\gamma\end{pmatrix}.
    • קו עולם של גוף הוא אוסף הנקודות \vec R של הגוף ומתאר את מיקומו בזמנים שונים.
    • נניח ש־S' מערכת ייחוס שנעה במהירות קבועה ביחס ל־S. קו העולם שלה הוא אוסף הנקודות \vec R\,'=\begin{pmatrix}0\\T'\end{pmatrix}. קו העולם של S הוא \vec R=\Lambda\vec R\,'=\begin{pmatrix}\gamma\beta T'\\\gamma T'\end{pmatrix}. כלומר, אם צופה ב־S' מודד זמן של T', צופה ב־S יימדוד את הזמן כ־T=\gamma T' (השעון של S' נע לאט יותר משל S) ואת מיקום S' כ־\gamma\beta T'. המהירות של S' יחסית ל־S היא אם כן v=\frac xt=\frac{cx}T=c\beta (ולכן גם \beta=\frac vc). לפי T=\gamma T' נובע x=\beta T, כלומר S' נעה ביחס ל־S במהירות \beta ממהירות האור.
    • טרנספורמציית לורנץ: בהנתן מאורע e'=\begin{pmatrix}x'\\T'\end{pmatrix} מנקודת המבט של צופה ב־S' נקבל e=\Lambda e' מנקודת המבט של צופה ב־S.
    • התארכות הזמן: שני אירועים מתרחשים בנקודה x'=0 עבור צופה נע S': e_1'=\begin{pmatrix}0\\T_1'\end{pmatrix}\ \and\ e_2'=\begin{pmatrix}0\\T_2'\end{pmatrix} (ולכן הפרש הזמנים שלהם הוא T_2'-T_1'). עבור צופה במערכת S המאורעות יתוארו כ־e_i=\begin{pmatrix}\gamma\beta T_i'\\\gamma T_i'\end{pmatrix}, ולכן הפרש הזמנים שלהם הוא \gamma(T_2'-T_1'), כלומר הזמן עבור צופה נע מתקצר ביחס לזמן עבור צופה נייח (שהוא צופה שעבורו המאורעות מתרחשים באותו מקום).
    • התכווצות האורך: מוט מונח במערכת S' בקטע [0,l'] ואינו נע בה. קווי העולם של קצותיו הם אוספי הנקודות e_0'=\begin{pmatrix}0\\T'\end{pmatrix}\ \and\ e_{l'}'=\begin{pmatrix}l'\\T'\end{pmatrix}. נעביר אותם למערכת S ואז 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}. בזמן T=0 נקבל בכל קצה T=\gamma T'=0\implies x_0=\gamma\beta T'=0 ו־T=\gamma T'+\gamma\beta l'=0\implies x_l=\gamma l'+\gamma\beta T'=\gamma l'-\gamma\beta^2 l'. לכן אורך המוט כפי שימדד במערכת S הוא l=x_l-x_0=\sqrt{1-\beta^2}l'. מנקודת המבט של S', הצופה ב־S מדד את קצות המוט בזמנים שונים.
    • חיבור מהירויות: נדון בתנועה בציר אחד. נניח שצופה 1 נע במהירות v_1 ביחס לצופה 2, שנע במהירות v_2 ביחס לצופה 3, וצופה 1 נע במהירות v_3 ביחס לצופה 3. נסמן \beta_i=\frac{v_i}c. אזי \beta_3=\frac{\beta_1+\beta_2}{1+\beta_1\beta_2}. נשים לב שאם \beta_1=1 אז \beta_3=1, כלומר אם אחת המערכות נעה במהירות האור אז היא תראה נעה במהירות האור לכל צופה.
    • מרחב מינקובסקי: מרחב 4־מימדי (מיקום תלת־מימדי וזמן) שבו המטריקה היא \eta=\begin{pmatrix}-1&0&0&0\\0&-1&0&0\\0&0&-1&0\\0&0&0&1\end{pmatrix}. חבורת לורנץ היא חבורת המטריצות ששומרות על \eta. היא מסומנת \mbox{SO}(3,1) ויש לה 6 יוצרים:
    סיבובים בשני מימדים. למשל, \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} היא מטריצת סיבוב במישור xy, ויש עוד שתי מטריצות יוצרות כאלה – הסיבובים במישורים yz,xz.
    מטריצות boost. למשל, \Lambda_x=\begin{pmatrix}\gamma&0&0&\gamma\beta\\0&1&0&0\\0&0&1&0\\\gamma\beta&0&0&\gamma\end{pmatrix} היא סיבוב מוכלל במישור xT, ויש עוד שתי מטריצות יוצרות כאלה – הסיבובים המוכללים במישורים yT,zT.

    דוגמאות חשובות

    • מתנד (אוסצילטור) הרמוני: מערכת מכנית שבה פועל על גוף נתון כוח פרופורציוני להעתק הגוף ובכיוון מנוגד לו.
      • חוק הוק: נתון קפיץ שקצה אחד שלו מקובע וקצהו השני נמצא בנקודה \vec r_0 במצב רפוי ובנקודה \vec r בזמן הנוכחי. אזי מופעל על קצהו השני כוח אלסטי \vec F=-k\Delta l\cdot\sgn(\vec r-\vec r_0) כאשר k>0 הוא קבוע האלסטיות של הקפיץ ו־\Delta l התוספת לאורך הקפיץ לעומת המצב הרפוי.
        • אם נניח שלקצה השני מחובר גוף החופשי לנוע בציר ה־x בלבד וש־x(0)=0 היא נקודת שיווי המשקל (בה הקפיץ רפוי) אזי משוואת הכוחות בציר ה־x על הגוף תהא F_x=-kx=m\ddot x ולכן x(t)=A\sin(\omega t+\phi) כש־m מסת הגוף, \omega=\sqrt\frac km היא התדירות הזוויתית, ו־A היא משרעת התנודה. את המשרעת ואת \phi ניתן למצוא עפ״י תנאי התחלה.
          נבחר את נקודת הייחוס של הקפיץ כנקודת שיווי המשקל. האנרגיה הפוטנציאלית היא U=-\int_0^x-kx'\mathrm dx'=\frac{kx^2}2.
    • מטוטלת מתמטית: חוט מתוח שקצה אחד שלו מקובע ועל הקצה השני מופעל כוח מתיחות \vec T=-T\hat\mathbf n כאשר \hat\mathbf n וקטור יחידה בכיוון החוט (כלומר, ככיוון הווקטור המתחיל בקצה הראשון ונגמר בקצה השני), ו־T גודל הניתן לחישוב. בד״כ מניחים שאורך החוט קבוע.
      אם מטוטלת מוצבת בקצה החופשי ומישור התנועה אנכי אז האנרגיה הקינטית היא \frac{mR^2\dot\theta^2}2 כאשר R אורך החוט והאנרגיה הפוטנציאלית היא -mgR\cos(\theta). לכן הלגראנז׳יאן הפיזיקלי הוא \frac{mR^2\dot\theta^2}2+mgR\cos(\theta) ומשוואת אוילר–לגראנז׳ נותנת mR^2\ddot\theta+mgR\sin(\theta)=0.
    • כוח נורמלי: משטח מפעיל כוח נורמלי \vec N על גוף המונח עליו שכיוונו ניצב לפני המשטח בנקודת המגע בין הגוף למשטח.
    • כוח חיכוך:
    • חיכוך סטטי מתקיים כשאין תנועה. מקדם החיכוך הסטטי של חומר מסומן \mu_s ומקיים \vec f^s\le\mu_s\vec N כש־\vec f^s כוח החיכוך הסטטי ו־\vec N הכוח הנורמלי.
    • חיכוך קינטי מתקיים כשיש תנועה. מקדם החיכוך הקינטי של חומר מסומן \mu_k ומקיים \vec f^k=\mu_k\vec N כש־\vec f^k כוח החיכוך הקינטי ו־\vec N הכוח הנורמלי.
    • בקורס זה כל חומר מקיים \mu_k<\mu_s.
    • החוק הרביעי של ניוטון: בהנתן שני גופים 1,2 מפעיל גוף 2 על גוף 1 כוח כבידה משמר \vec F_{12}=-\frac{Gm_1m_2(\vec r_1-\vec r_2)}{|\vec r_1-\vec r_2|^3}.
      אם נבחר את האינסוף להיות נקודת הייחוס אז הפוטנציאל הגרביטציוני הוא U=-\frac{Gm_1m_2}{|\vec r_1-\vec r_2|}.
      • כדה״א מפעיל בקרבתו כוח כבידה -mg\hat\mathbf z כאשר m מסת הגוף ו־\hat\mathbf z וקטור יחידה בכיוון מעלה.
        אם נבחר את נקודת הייחוס בראשית הצירים אז U=-\int_{\vec0}^{z\cdot\hat\mathbf z}-mg\hat\mathbf z\mathrm d\vec r=mgz.
    • כוח מרכזי: כוח שפועל תמיד לכיוון נקודה קבועה במרחב. כל כוח מרכזי הוא משמר.
    • התנגשות פלסטית: הגופים נמצמדים זה לזה לאחר התנגשות. את המהירות המשותפת ניתן למצוא לפי חוק שימור התנע.
    • התנגשות אלסטית: הגופים 1,2 נפרדים מיד לאחר ההתנגשות. נניח שלא פועלים על הגופים כוחות חיצוניים ושמהירותם לפני ההתנגשות הוא \vec v_i ואחריה \vec u_i. אזי משימור התנע מקבלים m_1\vec v_1+m_2\vec v_2=m_1\vec u_1+m_2\vec u_2. אם בנוסף הגופים נעים במימד אחד אז מחוק שימור האנרגיה נובע v_1+u_1=v_2+u_2, ומשתי משוואות אלו ניתן לחשב את המהירויות אחרי ההתנגשות.
    • אורך המסלול שעבר גוף הוא s=\int v\mathrm dt. לכן \mathrm ds=\sqrt{\mathrm dx^2+\mathrm dy^2+\mathrm dz^2} ו־\mathrm dt=\mathrm ds/v, עובדה שימושית לצורך הבעת זמן תנועת הגוף לפי הקואורדינטות.
    • בור פוטנציאל אינסופי: במימד אחד, נניח שהאנרגיה הפוטנציאלית מתאפסת ל־x\in(0,a) ואינסופית בשאר המקרים. לפי פתרון משוואת שרדינגר שאינה תלויה בזמן, כל פונקציה \psi עצמית מתאפסת לכל x\notin(0,a), ובאותו אופן מראים שהיא שווה ל־\sqrt\frac2a\sin(kx) בקטע (0,a) כאשר k=\sqrt\frac{2mE}{\hbar^2} כלשהו. הפונקציה צריכה להיות רציפה ולכן מתאפסת בקצוות, ונובע ש־k=\frac{\pi n}a עבור n\in\mathbb N כלשהו. לפיכך ערכי האנרגיה המותרים הם E=\frac{\hbar^2\pi^2}{2ma^2}n^2 לכל n\in\mathbb N.
    • בור פוטנציאל סופי: במימד אחד, נניח שהאנרגיה הפוטנציאלית מתאפסת ל־x\in(-a,a) ושווה ל־V בשאר המקרים. לפי פתרון משוואת שרדינגר שאינה תלויה בזמן בקטע (-a,a) נקבל \psi=C_1\sin(kx)+C_2\cos(kx) ל־k=\sqrt\frac{2mE}{\hbar^2}. אם E<V אז בקטע (-\infty,a) נקבל \psi=C_3\exp(\alpha x)+C_4\exp(-\alpha x) כאשר \alpha=\sqrt\frac{2m(V-E)}{\hbar^2}. מהתנאי \psi\in L^2 נובע \lim_{x\to-\infty}\psi(x)=0 ולכן C_4=0, ובאותו אופן \psi=C_5\exp(-\alpha x) בקטע (a,\infty). לבסוף, נדרוש ש־\psi גזירה ברציפות לפי x, ובפרט רציפה. מדרישות אלה נובע ש־\psi\equiv0, אלא אם המשוואות של הדרישות תלויות, כלומר: \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. רק ערכי E הפותרים משוואה זו הם ע״ע עם פונקציה עצמית מתאימה. בסוף נותר רק לנרמל את \psi.