מוסכמות בכל הקורס

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

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

הסימן של העבודה¶

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

	בקורס הזה	הבחירה הנפוצה האחרת
החוק הראשון	$\mathrm{d}U = \dbar Q + \dbar \Won$	$\mathrm{d}U = \dbar Q - \dbar W_{\mathrm{by}}$
עבודה חיובית פירושה	אנרגיה שהוכנסה אל המערכת	אנרגיה שהמערכת הוציאה החוצה
דחיסה כמו-סטטית, $\mathrm{d}V<0$	$\dbar \Won = -P\,\mathrm{d}V > 0$	$\dbar W_{\mathrm{by}} = P\,\mathrm{d}V < 0$
המרה ביניהן	$\Won = -W_{\mathrm{by}}$	$W_{\mathrm{by}} = -\Won$

הקורס הזה משתמש תמיד בעמודה הראשונה. חום שנוסף למערכת הוא חיובי; עבודה שנעשית על המערכת היא חיובית; שניהם מוסיפים ל- $U$ , בלי סימן מינוס שצריך לזכור. זו המוסכמת סימנים של רוב ספרי הפיזיקה הסטטיסטית המודרניים, ויש לה יתרון פדגוגי: החוק הראשון נקרא כמאזן אנרגיה פשוט — כל מה שנכנס, מתווסף.

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

$\mathrm{d}$ ו- $\dbar$ : פונקציות מצב ופונקציות מסלול¶

סמל	משמעות	דוגמאות
$\mathrm{d}X$	דיפרנציאל מדויק: $X$ הוא תכונה של המצב	$\mathrm{d}U$ , $\mathrm{d}S$ , $\mathrm{d}V$ , $\mathrm{d}T$
$\dbar Y$	דיפרנציאל לא מדויק: $Y$ מתאר העברה, לא תכונה	$\dbar Q$ , $\dbar \Won$

למערכת יש אנרגיה פנימית ויש לה אנטרופיה; אין לה חום ואין לה עבודה. חום ועבודה הם שמות לאנרגיה במעבר, וכמה מכל אחד מהם חוצה את הגבול תלוי במסלול שהמערכת עברה, ולא רק בנקודות ההתחלה והסיום. כתיבת $\mathrm{d}Q$ הייתה טוענת שקיימת פונקציה $Q$ של המצב שאפשר לגזור. אין כזו.

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

יחידות וקבועים¶

SI לאורך כל הדרך. מטרים, קילוגרמים, שניות, קלווין והצירופים שלהם. כאשר שאלה נוקבת בליטרים או באטמוספרות, המירו לפני החישוב.
$\kB$ נכתב תמיד במפורש. ספרים מתקדמים רבים מציבים $\kB = 1$ ומודדים טמפרטורה ביחידות אנרגיה. זה אלגנטי, וזה מסתיר בדיוק את ההמרה שסטודנט מנסה ללמוד, ולכן מודולי הליבה לעולם אינם עושים זאת. לפיכך האנטרופיה נושאת יחידות של $\mathrm{J\,K^{-1}}$ .
$R = N_A \kB$ . במקום שבו הכימיה כותבת $PV = nRT$ עם $n$ במולים, אנחנו כותבים $PV = N\kB T$ עם $N$ כמניין חלקיקים פשוט. שתי הצורות הן אותה טענה.
הטמפרטורות מוחלטות. קלווין, תמיד, אלא אם מצוטט הפרש.
הספרייה עובדת במספרים ממשיים ב-SI. thermolab בכוונה אינה עוטפת גדלים בחבילת יחידות, כדי שסטודנט יוכל לקרוא P = N * K_B * T / V ולזהות את הנוסחה. נכונות ממדית נאכפת במקום זאת בערכת הבדיקות, שבה כל נוסחה מחושבת מחדש עם גדלים של pint.

תוויות אפיסטמיות: מאיזה סוג היא הטענה הזו?¶

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

מפרטי מודל¶

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

מפרט המודל

מערכת: $N$ קוביות, כל אחת מראה אחד משישה פנים בעלי הסתברות שווה; הגודל הנמדד הוא הסכום או הממוצע שלהן.
דינמיקה: אין — כל הטלה בלתי תלויה בכל האחרות, בלי זיכרון ביניהן ובלי שדבר מתפתח בזמן.
גבול: סגור באופן טריוויאלי; $N$ קבוע בניסוי אחד ודבר אינו מוחלף.
צבר: לכל פן הסתברות שווה, מכוח הנחה ולא מכוח הוכחה.
מוזנח: כל הפיזיקה של קוביות אמיתיות — הגלגול, הקפיצה, אי-סימטריה של הנקודות וגרר האוויר.
תקף כאשר: האקראיות מתוארת היטב על ידי דגימות אחידות בלתי תלויות; מחולל פסאודו-אקראי עם זרע הוא כזה מעצם בנייתו.
אופני כשל: דגימות מתואמות, קוביות מוטות, וכל שאלה על הטלה בודדת.

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

צורתו של מודול¶

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

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

סימולציה לעולם אינה מוכיחה¶

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

חלוקת העבודה שהקורס דבק בה:

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

כאשר דף אומר “המעריך שהותאם הוא -0.5”, זו תצופית נומרית על מודל. כאשר הוא אומר “הפיזור היחסי של ממוצע של $N$ גדלים בלתי תלויים הוא $\sigma_1/(\mu_1\sqrt{N})$ ”, זהו משפט. הראשון הוא ראיה לכך שהשני מומש נכון. הוא אינו הסיבה שהשני נכון.