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

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

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

=== קבועים ===
* '''גודל תאוצת הכובד בקרבת כדה״א:''' <math>g\approx9.8\mathrm\frac m{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>\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}</math>
* '''דל:''' <math>\nabla:=\begin{pmatrix}\partial/\partial x\\\partial/\partial y\\\partial/\partial z\end{pmatrix}</math>. ה''גרדיאנט'' הוא <math>\nabla f</math>, ה''דיברגנץ'' הוא <math>\nabla\cdot\vec F</math>, ה''רוטור/קרל'' – <math>\nabla\times\vec F</math>, וה''לפלסיאן'' – <math>\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}</math>.

=== קואורדינטות ===
<ul>
<li>עבור <math>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]</math> קואורדינטות כפונקציות של הזמן מתקיים:<br />
{| border="1" class="wikitable"
|-
! מ־← ל־↓
! קרטזיות
! גליליות
! כדוריות
|- align="left"
! קרטזיות
| 
| <math>\begin{array}{l} x=\rho\cos(\theta)\\y=\rho\sin(\theta)\\z=z\end{array}</math>
| <math>\begin{array}{l} x=r\sin(\varphi)\cos(\theta)\\y=r\sin(\varphi)\sin(\theta)\\z=r\cos(\varphi)\end{array}</math>
|- align="left"
! גליליות
| <math>\begin{array}{l} \rho=\sqrt{x^2+y^2}\\\theta=\mbox{atan2}(y,x)\\z=z\end{array}</math>
|
| <math>\begin{array}{l} \rho=r\sin(\varphi)\\\theta=\theta\\z=r\cos(\varphi)\end{array}</math>
|- align="left"
! כדוריות
| <math>\begin{array}{l} r=\sqrt{x^2+y^2+z^2}\\\theta=\mbox{atan2}(y,x)\\\varphi=\arccos(z/r)\end{array}</math>
| <math>\begin{array}{l} r=\sqrt{\rho^2+z^2}\\\theta=\theta\\\varphi=\arctan(\rho/z)\end{array}</math>
|
|}
כאשר <math>\mbox{Im}(\arctan)=\left[-\frac\pi2,\frac\pi2\right]</math> ו־<math>\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}</math>.
</li>
<li><math>\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</math>.</li>

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

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

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

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

=== תנע זוויתי ===
* '''התנע הזוויתי'''  של גוף מוגדר כ־<math>\vec L:=\vec r\times\vec p</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>\vec q\,'=\vec q\,'(\vec q)</math> התמרת קואורדינטות מ־<math>\vec q</math> ל־<math>\vec q\,'</math>. אם <math>\vec q_0</math> מקיימת את משוואת אוילר–לגראנז׳ ל־<math>\mathcal L</math> אזי גם <math>\vec q\,'_0:=\vec q\,'(\vec q_0)</math> מקיימת אותה ל־<math>\mathcal L</math>.
* '''פעולה:''' הפונקציונל <math>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</math>. הלגראנז׳יאן נקרא ''הלגראנז׳יאן הפיזיקלי של המערכת'', והוא אינווריאנטי תחת שינוי קואורדינטות.
* '''עקרון המילטון/הפעולה המינימלית:''' הלגראנז׳יאן הפיזיקלי מקיים את משוואת אוילר–לגראנז׳ לכל <math>\vec r</math>.
* '''תנע מוכלל/צמוד לווקטור קואורדינטות <math>\vec q</math>:''' הווקטור שרכיביו <math>p_i:=\frac{\partial(T-U)}{\partial\dot q_i}</math>.
* '''כוח מוכלל/צמוד לווקטור קואורדינטות <math>\vec q</math>:''' הווקטור שרכיביו <math>F_i:=\frac{\partial(T-U)}{\partial q_i}</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>\{A,B\}=-\{B,A\}</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>|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=|\langle p_0|\psi\rangle|^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>\langle\psi|\psi\rangle</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\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>\psi\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_i:=L_x-\mathrm iL_y</math>.
* <math>[L_+,L^2]=[L_-,L^2]=\mathbf O</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> על גוף המונח עליו שכיוונו ניצב לפני המשטח בנקודת המגע בין הגוף למשטח.
* '''כוח חיכוך:'''
:* '''חיכוך סטטי''' מתקיים כשאין תנועה. ''מקדם החיכוך הסטטי'' של חומר מסומן <math>\mu_s</math> ומקיים <math>\vec f^s\le\mu_s\vec N</math> כש־<math>\vec f^s</math> כוח החיכוך הסטטי ו־<math>\vec N</math> הכוח הנורמלי.
:* '''חיכוך קינטי''' מתקיים כשיש תנועה. ''מקדם החיכוך הקינטי'' של חומר מסומן <math>\mu_k</math> ומקיים <math>\vec f^k=\mu_k\vec N</math> כש־<math>\vec f^k</math> כוח החיכוך הקינטי ו־<math>\vec N</math> הכוח הנורמלי.
:* בקורס זה כל חומר מקיים <math>\mu_k<\mu_s</math>.
* '''החוק הרביעי של ניוטון:''' בהנתן שני גופים 1,2 מפעיל גוף 2 על גוף 1 ''כוח כבידה'' משמר <math>\vec F_{12}=-\frac{Gm_1m_2(\vec r_1-\vec r_2)}{|\vec r_1-\vec r_2|^3}</math>.<br />אם נבחר את האינסוף להיות נקודת הייחוס אז הפוטנציאל הגרביטציוני הוא <math>U=-\frac{Gm_1m_2}{|\vec r_1-\vec r_2|}</math>.
** כדה״א מפעיל בקרבתו כוח כבידה <math>-mg\hat\mathbf z</math> כאשר <math>m</math> מסת הגוף ו־<math>\hat\mathbf z</math> וקטור יחידה בכיוון מעלה.<br />אם נבחר את נקודת הייחוס בראשית הצירים אז <math>U=-\int_{\vec0}^{z\cdot\hat\mathbf z}-mg\hat\mathbf z\mathrm d\vec r=mgz</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>(0,a)</math>. אזי ערכי האנרגיה המותרים הם <math>E=\frac{\hbar^2\pi^2}{2ma^2}n^2</math> לכל <math>n\in\mathbb N</math>.