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

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

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

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

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

פתרונות נוספים מתחשבים ב[[מטען חשמלי]] שיכול להיות לחור השחור.

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

==הקדמה==
===משוואות איינשטיין===
משוואת איינשטיין הכללית, ללא [[הקבוע הקוסמולוגי]], מקשרת בין טנזור האנרגיה למטריקה, כלומר מתארת את ההשפעה ההדדית של מסה-אנרגיה ועקמומיות המרחב-זמן (ללא הקבוע הקוסמולוגי):
: <math>\ R_{\mu\nu} - {1 \over 2}g_{\mu\nu}R = \frac{8\pi G}{c^4} T_{\mu\nu}</math>
כאשר: <math>\ G</math> - [[קבוע הכבידה]], <math>\ c</math> - [[מהירות האור]], <math>\ g_{\mu\nu}</math> - [[טנזור]] ה[[מטריקה]], <math>\ T_{\mu\nu}</math> - [[טנזור צפיפות האנרגיה]], ו-<math>R_{\mu\nu},\ R</math> - סקלר וטנזור ריצ'י (עקמומיות המרחב).
בהמשך נעשה בהמשך שימוש ב[[יחידות טבעיות]]:
:<math>\ c=G=1</math>,
אשר מצמצמות מאוד את מרבית המשוואות. משוואות איינשטיין ביחידות טבעיות הן
: <math>\ R_{\mu\nu} - {1 \over 2}Rg_{\mu\nu} = 8\pi T_{\mu\nu}</math>
נצמצם את המשוואה באמצעות [[טנזור איינשטיין]]:
: <math>G_{\mu\nu}\equiv R_{\mu\nu} - {1 \over 2}Rg_{\mu\nu}</math>
כך שהמשוואה מקבלת את הצורה:
: <math> G_{\mu\nu} = 8\pi T_{\mu\nu}</math>.

פתרון המשוואות הוא המטריקה של המרחב, כלומר <math>g_{\mu\nu}</math>. נהוג לכתוב אותה בעזרת אלמנט הקו <math>ds^2</math>, שהוא אלמנט אורך יחידה בריבוע, או הזמן העצמי של הצופה, וכאמור מגדיר את המטריקה של המרחב-זמן.

===טנזור העקמומיות וטנזור ריצ'י===
טנזור העקמומיות של רימן מודד את השינוי בווקטור במרחב-זמן לאחר [[העתקה מקבילה]] במסלול סגור. זהו הגודל הפיזיקלי שמציין את עקמומיות המרחב. פיתוח הטנזור מיוחס ל[[ברנהרד רימן]] ול[[אלווין ברונו כריסטופל]] (Elwin Bruno Christoffel). הטנזור נכתב כ:
:<math>R^\rho{}_{\sigma\mu\nu} = \partial_\mu\Gamma^\rho{}_{\nu\sigma}
 - \partial_\nu\Gamma^\rho{}_{\mu\sigma}
 + \Gamma^\rho{}_{\mu\lambda}\Gamma^\lambda{}_{\nu\sigma}
 - \Gamma^\rho{}_{\nu\lambda}\Gamma^\lambda{}_{\mu\sigma}</math>
כאשר <math>\Gamma^\gamma{}_{\beta\mu}</math> הם [[סמל כריסטופל|סימני כריסטופל]] (נקראים גם קישורים אפיניים):
:<math>\Gamma^\gamma{}_{\beta\mu} = {1 \over 2} g^{\alpha\gamma}
 (g_{\alpha\beta,\mu} + g_{\alpha\mu,\beta} - g_{\beta\mu,\alpha})</math>.
במרחב-זמן שטוח, וקטור אינו משתנה לאחר העתקה מקבילה, ולכן טנזור רימן מתאפס בכל מערכת ייחוס.

טנזור ריצ'י <math>R_{\mu\nu}</math> וסקלר ריצ'י <math>R</math> נגזרים מתוך טנזור רימן באמצעות צמצום הקואורדינטות:
:<math>R_{\mu\nu} = g^{\alpha\gamma}R_{\gamma\mu\alpha\nu}= R^\alpha{}_{\mu\alpha\nu}</math>,
:<math>R = g^{\mu\nu}R_{\mu\nu}= R^\mu{}_{\mu}</math>.

== פתרון שוורצשילד==
'''[[פתרון שוורצשילד]]''' של [[משוואות איינשטיין]] הוא ה[[מרחב-זמן|מטריקה]] עבור חור שחור בעל "מסה" <math>M</math> שאינו מסתובב ואינו טעון (פיתוח הפתרון מוצג בהמשך):
:<math>
c^2 d\tau^2 =
-\left(1 - \frac{2GM/c^2}{r} \right) c^2 dt^2
+ \left(1-\frac{2GM/c^2}{r}\right)^{-1} dr^2
+ r^2 \left(d\theta^2 + \sin^2\theta \, d\varphi^2\right)
</math>
כאשר G הוא [[קבוע הכבידה האוניברסלי]], c היא [[מהירות האור בריק]], <math>\tau</math> הוא הזמן העצמי של המרחב, חתימת המטריקה מוגדרת לפי (1,1,1,1-), ו-<math>(t,r,\theta,\varphi)</math> הן קואורדינטות במרחב (r במקרה הזה מוגדר באופן מיוחד, כפי שמוסבר בהמשך).
ב[[יחידות טבעיות]], בהן c=G=1, מצטמצם הפתרון לצורה
[[מטריקה|מטריקת]] שוורצשילד מהווה פתרון של משוואת איינשטיין במסגרת [[תורת היחסות הכללית]]. היא מתארת את מבנה ה[[מרחב-זמן]] מסביב לעצם בעל סימטריה כדורית. את מטריקת שוורצשילד ניתן לרשום בעזרת הגדרת אלמנט הקו:
:<math> ds^2 = - \left( 1 - {2M \over r} \right) dt^2 + \left( 1 - {2M \over r} \right)^{-1} dr^2 + r^2 d\Omega^2 </math>
כאשר <math>d\Omega^2 = d\theta^2 + \sin^2\theta\; d\phi^2</math> הוא אלמנט של זווית מרחבית.
ניתן לראות בפתרון סינגולריות (מטריקה שווה לאפס או מתבדרת לאינסוף) כאשר
:<math> r_s = 2M </math>
רדיוס זה נקרא [[רדיוס שוורצשילד]], והוא [[אופק אירועים|אופק האירועים]] של החור השחור.

==הגדרה פורמלית==
חור שחור הוא פתרון משוואות איינשטיין בוואקום (בכל נקודה מלבד r=0), סטטי, ספרי-סימטרי, אשר ברדיוס גדול [[גבול (מתמטיקה)|שואף]] לפוטנציאל הניוטוני: <math>V=-\frac{GM}{r}</math>.
*הוואקום פירושו שאין חומר או אנרגיה במרחב, ולכן [[טנזור צפיפות האנרגיה]] מתאפס, ומשוואות איינשטיין מקבלות את הצורה הפשוטה יותר
:<math>G_{\mu\nu}=0</math>
*סטטיות בזמן: סטציונריות בזמן מאפשרת [[וקטור קילינג]] דמוי זמן, ובאופן שקול המטריקה אינה תלויה בזמן:
:<math>\frac{\partial g_{\alpha\beta}}{\partial x^0}=0</math>
סטטיות היא דרישה חזקה יותר. המרחב-זמן הוא סטטי אם הוא מאפשר וקטור קילינג דמוי זמן ואורתוגונלי, או באופן שקול אם המטריקה קבועה בזמן וסימטרית להיפוך הזמן. במקרה זה וקטור קילינג יכול להכתב כ-<math>\ \xi=(1,0,0,0)</math>, ואלמנט הקו הוא
:<math>\ ds^2=g_{00}(x^i)(dx^0)^2 + g_{kn}(x^i)dx^kdx^n, \qquad i,k,n=1..3</math>
*סימטריה ספרית: יחד עם הסטציונריות מאפשרת ניוון של המטריקה הכללית למקרה פשוט יותר:
:<math>ds^2=g_{tt}dt^2+g_{rr}dr^2+r^2(d\theta^2+\sin^2\theta d\varphi^2)</math>
כאשר הרדיוס אינו תואם לרדיוס ב[[מרחב אוקלידי]]: היקף של ספירה הוא <math>2\pi g_{\theta\theta}</math> ואנו נגדיר <math>r=g_{\theta\theta}</math>. כך יוצא שהיקף מעגל שווה ל-<math>2\pi r</math> אך ה"רדיוס" הזה אינו קשור כלל למרחק מראשית הצירים (לדוגמה, המרחק מהראשית יכול להיות אינסופי עבור "רדיוס" סופי).

בנוסף, עקב הסטציונריות והסימטריה, <math>g_{tt},g_{rr}</math> תלויים רק ברדיוס. המטריקה כעת נכתבת
:<math>ds^2 = -B\left(r\right)dt^2 +A\left(r\right)dr^2 +r^2d\theta^2 +r^2\sin^2\theta d\phi^2</math>.

==פיתוח==
===סימני כריסטופל===
מתוך המטריקה נחשב את סימני כריסטופל, כפי שהוגדרו למעלה. הסימן <math>'</math> מייצג נגזרת מלאה של פונקציה לפי <math>r</math>.
: <math>\Gamma^t_{\mu\nu} = \begin{bmatrix}
0 & 0 & 0 & B'/\left( 2B \right)\\
0 & 0 & 0 & 0\\
0 & 0 & 0 & 0 \\
B'/\left( 2B \right) & 0 & 0 & 0\end{bmatrix}</math>

: <math>\Gamma^r_{\mu\nu} = \begin{bmatrix}
A'/\left( 2A \right) & 0 & 0 & 0\\
0 & -r/A & 0 & 0\\
0 & 0 & -r \sin^2 \theta /A & 0\\
0 & 0 & 0 & B'/\left( 2A \right) \end{bmatrix}</math>

: <math>\Gamma^\theta_{\mu\nu} = \begin{bmatrix}
0 & 1/r & 0 & 0\\
1/r & 0 & 0 & 0\\
0 & 0 & -\sin\theta\cos\theta & 0\\
0 & 0 & 0 & 0 \end{bmatrix}</math>

: <math>\Gamma^\phi_{\mu\nu} = \begin{bmatrix}
0 & 0 & 1/r & 0\\
0 & 0 & \cot\theta & 0\\
1/r & \cot\theta & 0 & 0 \\
0 & 0 & 0 & 0 \end{bmatrix}</math>

===משוואות איינשטיין===
בעזרת סימני כריסטופל נחשב את טנזור ריצ'י, כפי שהוגדר למעלה. הטנזור אלכסוני, ורק איברי האלכסון הראשי שונים מ-0.
:<math>R_{tt}=\left( \frac{B''}{2A} -\frac{A'B'}{4A^2} -\frac{B'^2}{4AB} +\frac{B'}{rA}\right)</math>
:<math>R_{rr}=\left( -\frac{B''}{2B} +\frac{A'B'}{4AB} +\frac{B'^2}{4B^2} +\frac{A'}{rA}\right)</math>
:<math>R_{\theta\theta}=\left( -\frac{1}{A} +\frac{rA'}{2A^2} +1 -\frac{rB'}{2AB}\right)</math>
:<math>R_{\varphi\varphi}=\sin^2\theta R_{\theta\theta}</math>

נחשב את סקלר ריצ'י,
:<math>R={R^\mu}_\mu=g^{\mu\nu}R_{\mu\nu}</math>
:<math>R= -\frac{B''}{AB} +\frac{A'B'}{2A^2B} +\frac{B'^2}{2AB^2} -\frac{2B'}{rAB} +\frac{2A'}{rA^2} +\frac{2}{r^2} -\frac{2}{r^2A}</math>

כעת נוכל לכתוב את משוואות איינשטיין, כאשר גם בהן הטנזור <math>G_{\mu\nu}</math> אלכסוני, ורק איברי האלכסון הראשי אינם טריוויאליים:
:<math>G_{\mu\mu}=R_{\mu\mu}-\frac12g_{\mu\mu}R=0</math>
ולכן
:<math>G_{tt}= \frac{A'B}{rA^2} +\frac{B}{r^2} -\frac{B}{r^2A} =0</math>
:<math>G_{rr}= \frac{B'}{rB} -\frac{A}{r^2} +\frac{1}{r^2} =0</math>
:<math>G_{\theta\theta}= \frac{r^2B''}{2AB} -\frac{r^2A'B'}{4A^2B} -\frac{r^2B'^2}{4AB^2} +\frac{rB'}{2AB} -\frac{rA'}{2A^2} =0</math>
:<math>G_{\varphi\varphi}=\sin^2\theta G_{\theta\theta}=0</math>
===פתרון המשוואות===
אם נכפיל את המשוואה הראשונה (<math>tt</math>) ב-<math>rA^2</math> ואת השנייה (<math>rr</math>) ב-<math>rAB</math>, ונחבר, נקבל את המשוואה
:<math>A'B+AB' =0</math>
ובאמצעות אינטגרציה על <math>r</math>
:<math>AB=K</math>
כאשר <math>K</math> הוא קבוע אינטגרציה בלתי ידוע בשלב זה.
באמצעות שתי המשוואות האחרונות אשר קושרות את <math>A,B</math> ונגזרותיהם נוכל לכתוב את המשוואה השלישית (<math>\theta\theta</math>) באמצעות <math>B</math> בלבד
:<math>rB''+2B'=0</math>
שפתרונה (באמצעות שתי אינטגרציות) הוא
:<math>B=\frac{T}{r}+S</math>
כאשר <math>T,S</math> הם שני קבועי אינטגרציה, ונקבל גם
:<math>A=K\left( \frac{T}{r}+S \right)^{-1}</math>
כדי לחשב את שלושת קבועי האינטגרציה, נניח שהשפעת החור השחור על מרחקים גדולים מאוד ממנו שואף לגבול של המכניקה הניוטונית, כלומר
:<math>\lim_{r\rightarrow\infty} g_{tt} \rightarrow -c^2+\frac{2GM}{r}</math>
ובאינסוף המטריקה היא שטוחה, כלומר
:<math>A(r\rightarrow\infty)=1</math>
ולכן
:<math>B=c^2\left(1-\frac{2GM}{c^2r}\right)</math>
:<math>A=\left(1-\frac{2GM}{c^2r}\right)^{-1}</math>
וכך מקבלים לבסוף את פתרון שוורצשילד למטריקה של חור שחור
:<math> ds^2 = -\left(1 - \frac{2GM}{rc^2} \right) c^2 dt^2 + \left(1-\frac{2GM}{rc^2}\right)^{-1} dr^2
+ r^2 \left(d\theta^2 + \sin^2\theta d\varphi^2\right) </math>

==קישורים חיצוניים==
*[http://www.rafimoor.com/hebrew/GRH3.htm#חורים_שחורים משוואת השדה ועוד] - חור שחור נייח (פתרון שוורצשילד), מתוך "להבין גם את תורת היחסות הכללית", רפי מור, 2005
*Valeria Ferrari, [http://www.roma1.infn.it/teongrav/VALERIA/TEACHING/RELATIVITA_GENERALE/AA2010_11/dispense2010_11.pdf חומר עזר לקורס יחסות כללית (באנגלית)] פרק 10 - חור שחור מסוג שווארצשילד.

[[קטגוריה:חורים שחורים|*]]
[[קטגוריה:תורת היחסות הכללית]]
[[קטגוריה:סימטריה בפיזיקה]]