Жалпы салыстырмалылықтың теориялық мотивациясы - Theoretical motivation for general relativity

A жалпы салыстырмалылықтың теориялық мотивациясыүшін мотивацияны қосқанда геодезиялық теңдеу және Эйнштейн өрісінің теңдеуі, -ден алуға болады арнайы салыстырмалылық зерттеу арқылы динамика бөлшектер дөңгелек орбиталар жер туралы. Дөңгелек орбиталарды зерттеудегі басты артықшылығы - Эйнштейннің өріс теңдеуінің шешімін білуге ​​болады априори. Бұл формализмді хабарлауға және тексеруге мүмкіндік береді.

Жалпы салыстырмалылық екі сұраққа жауап береді:

  1. Қалай қисықтық туралы ғарыш уақыты қозғалысына әсер етеді зат ?
  2. Заттың болуы ғарыш уақытының қисаюына қалай әсер етеді?

Бұрынғы сұраққа геодезиялық теңдеу. Екінші сұраққа Эйнштейн өрісінің теңдеуі. Геодезиялық теңдеу мен өріс теңдеуі а арқылы байланысты ең аз әрекет ету принципі. Бөлімде геодезиялық теңдеудің уәждемесі келтірілген Дөңгелек орбиталар үшін геодезиялық теңдеу Эйнштейн өрісінің теңдеуінің мотивациясы бөлімде келтірілген Стресс - энергия тензоры

Дөңгелек орбиталар үшін геодезиялық теңдеу

Дөңгелек орбиталардың кинетикасы

X және Y екі кеңістіктік өлшемде (орбита жазықтығы) және уақыттық өлшемде бейнеленген Жер туралы дөңгелек орбитаның әлемдік сызығы, әдетте тік ось ретінде қойылады. Жер туралы орбита - бұл кеңістіктегі шеңбер, бірақ оның әлем сызығы - ғарыш уақытындағы спираль.

Айқындық үшін жердің айналмалы орбитасын қарастырыңыз (спираль тәрізді) әлемдік желі ) бөлшектің. Бөлшек v жылдамдықпен жүреді Жердегі бақылаушы ұзындық бөлшектің шеңберінде жиырылғанын көреді. Бөлшекпен бірге жүретін өлшеуіш таяқша жерді бақылаушыға қысқа көрінеді. Демек, қозғалыс бағытында орналасқан орбитаның шеңбері қарағанда ұзағырақ көрінеді орбитаның диаметрінен есе үлкен.[1]

Жылы арнайы салыстырмалылық бөлшектің 4-жылдамдық жылдамдығы инерциялық (үдетпейтін) жердің рамасы

мұндағы с жарық жылдамдығы, бұл 3-жылдамдық, және болып табылады

.

4 жылдамдық векторының шамасы әрдайым тұрақты

біз қайда қолданамыз Минковский метрикасы

.

4 жылдамдықтың шамасы а Лоренц скаляры.

Жердегі 4 үдеу (жылдамдатпайтын) рамка болып табылады

қайда бөлшектің шеңберінде өлшенген тиісті уақыт интервалынан c есе артық. Бұл Жер шеңберіндегі уақыт интервалымен байланысты

.

Мұнда дөңгелек орбита үшін 3 үдеуі болып табылады

қайда - айналатын бөлшектің бұрыштық жылдамдығы және бұл бөлшектің 3 позициясы.

4 жылдамдықтың шамасы тұрақты. Бұл 4 үдеуі 4 жылдамдыққа перпендикуляр болуы керек дегенді білдіреді. 4 үдеу мен 4 жылдамдықтың ішкі көбейтіндісі сондықтан әрқашан нөлге тең. Ішкі өнім а Лоренц скаляры.

Кеңістіктің қисықтығы: Геодезиялық теңдеу

Үдеудің теңдеуін шығаруға болады, жалпылай алады геодезиялық теңдеу

қайда - бөлшектің 4 позициясы және болып табылады қисықтық берілген тензор

қайда болып табылады Kronecker delta функциясы және бізде шектеулер бар

және

.

Дөңгелек орбиталар геодезиялық теңдеуді қанағаттандыратыны оңай тексеріледі. Геодезиялық теңдеу іс жүзінде жалпы болып табылады. Дөңгелек орбиталар - теңдеудің белгілі бір шешімі. Дөңгелек орбиталардан басқа шешімдер рұқсат етілген және жарамды.

Ricci қисықтық тензоры және ізі

The Ricci қисықтығы тензор - бұл жиырылу арқылы берілген арнайы қисықтық тензоры

.

Ricci тензорының ізі, деп аталады скалярлық қисықтық, болып табылады

.

Жергілікті координаттар жүйесіндегі геодезиялық теңдеу

Сол радиуста дөңгелек орбиталар.

Қазір жақын жерде екі бөлшек бар жағдайды қарастырайық дөңгелек полярлы радиусы бойынша жердің орбиталары және жылдамдық .

Бөлшектер орындайды қарапайым гармоникалық қозғалыс жер туралы және бір-біріне қатысты. Олар экватордан өткенде бір-бірінен максималды қашықтықта орналасқан. Олардың траектория полюстерде қиылысады.

Бізде бөлшектердің бірімен бірге жүретін ғарыш кемесі бар деп елестетіп көріңіз. Қолөнердің төбесі бағыты, сәйкес келеді бағыт. Қолөнердің алдыңғы жағы бағыт, және бағыт - қолөнердің сол жағында. Ғарыш кемесі орбитаның өлшемімен салыстырғанда кішігірім, сондықтан жергілікті кадр жергілікті Лоренц жақтауы болады. Екі бөлшектің 4-бөлінуі берілген . Жергілікті ғарыш аппаратында геодезиялық теңдеу берілген

қайда

және

- бұл жергілікті жақтаудағы қисықтық тензоры.

Геодезиялық теңдеу ковариантты туынды ретінде

Жазық кеңістіктегі және күштер болмаған кездегі бөлшек үшін қозғалыс теңдеуі

.

Егер бізге геодезия бойымен қисық кеңістікте жүру қажет болса, онда қисық кеңістіктегі ұқсас өрнек

Мұндағы сол жақ туынды болып табылады ковариант туынды, бұл қисық кеңістіктегі туындыға туындыға жалпылау. Мұнда

Бұл Christoffel символы.

Қисықтық Christoffel белгісімен байланысты

.

Жергілікті кадрдағы метрикалық тензор

Жергілікті кадрдағы интервал

қайда

- деген бұрыш осі (бойлық) және
- деген бұрыш ось (ендік).

Бұл а береді метрикалық туралы

жергілікті жақтауда.

Метрикалық тензорға кері деп анықталды

мұндағы оң жақтағы термин Kronecker атырауы.

Шексіз аз көлемді түрлендіру болып табылады

мұндағы g - метрикалық тензордың анықтаушысы.

Метрикалық тензордың детерминанты дифференциал

.

Кристоффель белгілері мен метрикалық тензор арасындағы байланыс

.

Жалпы салыстырмалылықтағы ең аз әрекет принципі

Ең аз әрекет ету қағидасы әлемдік желі ғарыш уақытындағы екі оқиғаның арасындағы - бұл екі оқиға арасындағы әрекетті минимизациялайтын әлем сызығы. Жылы классикалық механика шығару үшін ең аз әрекет принципі қолданылады Ньютонның қозғалыс заңдары және үшін негіз болып табылады Лагранж динамикасы. Салыстырмалылықта ол келесідей өрнектеледі

1 және 2 оқиғалар арасындағы минимум. Мұнда S - а скаляр және

ретінде белгілі Лагранж тығыздығы. Лагранж тығыздығы екі бөлікке бөлінеді, айналмалы бөлшек үшін тығыздық және тығыздығы барлық басқа бөлшектер, соның ішінде жерді құрайтын гравитациялық өрістің,

.

Қисық түрінде ғарыш уақыты, «ең қысқа» әлем сызығы сол геодезиялық бұл геодезия бойындағы қисықтықты азайтады. Әрекет әлемдік сызықтың қисаюына пропорционалды. S скаляр болғандықтан, скалярлық қисықтық қисықтықтың сәйкес өлшемі болып табылады. Бөлшектің әрекеті сондықтан

қайда белгісіз тұрақты шама. Бұл тұрақтылық теорияның релелативті емес шекарада Ньютонның тартылыс заңына келтірілуін талап ету арқылы анықталады.

Бөлшек үшін лагранждың тығыздығы сондықтан

.

Бөлшек пен жер үшін әрекет болып табылады

.

Радиусы r сфера бетінде жатқан әлем сызығын метрикалық тензорды өзгерту арқылы табамыз. G туындысындағы екінші ретті терминдерді қосқанда, шекараларда жоғалып кететін терминдерді минимизациялау және елемеу

қайда[2]

болып табылады Гильберт кернеуі - энергия тензоры жер өндіретін өрістің.

Белгісіз тұрақты фактордың ішіндегі кернеу энергиясы мен қисықтық арасындағы тәуелділік

.

Стресс - энергия тензоры

Ньютонның тартылыс заңы

Диаграмма 1. Кеңістік уақытының көріністерінің өзгеруі әлемдік желі жылдамдатылатын бақылаушының. Бұл анимацияда үзік сызық кеңістіктің траекториясы болып табылады («әлемдік желі «) бөлшектердің. Шарлар. аралықтарында орналастырылған дұрыс уақыт әлемдік сызық бойымен. Қиғаш сызықтар болып табылады жеңіл конустар бақылаушының ағымдағы оқиғасы үшін және сол оқиға кезінде қиылысады. Кішкентай нүктелер - бұл кеңістіктегі басқа ерікті оқиғалар. Бақылаушының ағымдағы инерциялық санақ жүйесі үшін тік бағыт уақытты, ал көлденең бағыт қашықтықты көрсетеді. Дүниежүзілік сызықтың көлбеуі (тік болудан ауытқу) - бұл бөлшектің әлемдік сызықтың сол бөлігіндегі жылдамдығы. Сонымен, әлемдік сызықтағы иілу кезінде бөлшек жылдамдатылады. Лездік инерциалды санақ жүйесін өзгерте отырып, бақылаушы жылдамдатқанда кеңістіктің көрінісі қалай өзгеретініне назар аударыңыз. Бұл өзгерістер Лоренц түрлендірулерімен басқарылады. Сонымен қатар: * әлемдік сызықтағы шарлар уақыттың кеңеюіне байланысты / болашақ / кейінгі үдеулерден бұрынырақ орналасқан. * үдеудің алдында бір мезгілде болған оқиғалар әр түрлі уақытта болады (байланысты бір мезгілділіктің салыстырмалылығы ), * уақиғалар уақыттың ілгерілеуіне байланысты жарық конусы сызықтарынан өтеді, бірақ үдеудің әсерінен көріністердің өзгеруіне байланысты емес, * әлемдік сызық әрдайым ағымдағы оқиғаның болашақ және өткен жарық конустарында қалады.

Ньютонның тартылыс заңы релятивистік емес механикада масса объектісіне үдеу деп айтады массаның басқа объектісіне байланысты тең

қайда болып табылады гравитациялық тұрақты, бұл массаның векторы жаппай және - бұл вектордың шамасы. T уақыты масштабталған жарық жылдамдығы c

.

Үдеу тәуелді емес .

Айқындық үшін. масса бөлшегін қарастырайық массасы бар жердің тартылыс өрісінде айналу . Тартылыс заңын жазуға болады

қайда а-ның ішіндегі орташа масса тығыздығы сфера радиустың .

Стресс-энергетикалық тензордың 00 компоненті бойынша тартылыс күші

Ньютон заңын жазуға болады

.

қайда болып табылады көлем радиус сферасының . Саны танылады арнайы салыстырмалылық үлкен дененің қалған энергиясы ретінде, жер. Бұл жерді құрайтын барлық бөлшектердің тыныштық энергиясының қосындысы. Жақшаның ішіндегі мөлшер радиус сферасының орташа тыныштық энергия тығыздығына тең жер туралы. Гравитациялық өріс r радиусындағы орташа энергия тығыздығына пропорционалды. Бұл 00 компоненті кернеу - энергия тензоры жылы салыстырмалылық барлық жағдайда тыныштық энергиясы болатын ерекше жағдай үшін. Жалпы алғанда

қайда

және - бұл жерді құрайтын мен бөлшегінің жылдамдығы i бөлшектің қалған массасында. Жерді құрайтын N бөлшек бар.

Энергия тығыздығын релятивистік жалпылау

Кернеудің компоненттері - энергия тензоры.

Релятивистік емес шегі кернеу-энергия тензорының 00 компонентіне дейін азайтатын екі қарапайым релятивистік нысандар бар.

және із

қайда 4 жылдамдық.

Кернеу-энергия тензорының 00 компонентін релятивистік жағдайға екі мүшенің сызықтық комбинациясы ретінде жалпылауға болады

қайда

4-ауырлық күшіне байланысты үдеу

Ауырлық күшіне байланысты 4-үдеуді жазуға болады

.

Өкінішке орай, бұл үдеу нөлге тең емес дөңгелек орбиталар үшін қажет. 4 жылдамдықтың шамасы тұрақты болатындықтан, тек 4 жылдамдыққа перпендикуляр күштің құрамдас бөлігі ғана үдеуге ықпал етеді. Сондықтан біз 4 жылдамдыққа параллель күштің құрамын алып тастауымыз керек. Бұл белгілі Ферми - Уокермен тасымалдау.[3] Басқа сөздермен айтқанда,

.

Бұл өнім береді

.

Жергілікті кадрдағы күш

.

Эйнштейн өрісінің теңдеуі

Уақыт кеңістігінің бұрмалануын екі өлшемді визуализация. Заттың болуы кеңістіктің геометриясын өзгертеді, бұл (қисық) геометрия ауырлық күші ретінде түсіндіріледі.

Біз аламыз Эйнштейн өрісінің теңдеуі[4] дөңгелек орбитаға қажет үдеуді ауырлық күшінің әсерімен үдетумен теңестіру арқылы

.

Бұл кеңістіктің қисаюы мен кернеу-энергия тензоры арасындағы байланыс.

Ricci тензоры айналады

.

Ricci тензорының ізі

.

Ricci тензорын Ricci тензорымен ең аз әсер ету принципі бойынша есептелген салыстыру, Жалпы салыстырмалылықтың теориялық мотивациясы # Жалпы салыстырмалылықтағы ең аз әрекет принципі кернеу-энергетикалық тензорды Гильберт стресс-энергиясымен сәйкестендіру және A + B = 1 A, B және C-дегі түсініксіздікті жоятындығын есте сақтау.

және

.

Бұл береді

.

Өріс теңдеуін жазуға болады

қайда

.

Бұл Эйнштейн өрісінің теңдеуі, кернеу-энергия тығыздығының нәтижесінде пайда болатын кеңістіктің қисаюын сипаттайды. Бұл теңдеу геодезиялық теңдеумен бірге айналмалы орбитада жерді айналып өтетін бөлшектің кинетикасы мен динамикасына негізделген. Олар жалпы шындық.

Эйнштейн өрісінің теңдеуін шешу

Эйнштейн өрісінің теңдеуін шешу итерациялық процесті қажет етеді. Шешім метрикалық тензорда ұсынылған

.

Әдетте тензор туралы алғашқы болжам бар. Болжам есептеу үшін қолданылады Christoffel рәміздері, олар қисықтықты есептеу үшін қолданылады. Егер Эйнштейн өрісінің теңдеуі орындалмаса, процесс қайталанады.

Ерітінділер вакуумдық және вакуумдық емес ерітінділер түрінде болады. A вакуумды ерітінді кернеу-энергия тензоры нөлге тең болатыны. Дөңгелек орбиталарға арналған тиісті вакуумдық шешім Шварцшильд метрикасы. Сондай-ақ бірқатар бар нақты шешімдер бұл кернеу тензоры нөлге тең емес шешімдер.

Геодезиялық теңдеуді шешу

Геодезиялық теңдеулерді шешу үшін Эйнштейн өрісінің теңдеуін шешу арқылы алынған метрикалық тензорды білу қажет. Кристоффель символдары немесе қисықтық метрикалық тензордан есептеледі. Содан кейін геодезиялық теңдеу сәйкес келетінмен біріктіріледі шекаралық шарттар.

Қисық кеңістіктегі электродинамика

Максвелл теңдеулері, қисық кеңістіктегі электродинамиканың теңдеулері - жазықтағы Максвелл теңдеулерін қорыту ғарыш уақыты (қараңыз Максвелл теңдеулерін арнайы салыстырмалылықта тұжырымдау ). Кеңістіктің қисаюы электродинамикаға әсер етеді. Максвелл теңдеулерін қисық кеңістіктегі теңдеудегі туындыларды жазық кеңістіктегі мәнмен ауыстыру арқылы алуға болады ковариант туындылары. Дереккөздерден алынған және теңдеулер келесідей болады (cgs бірліктері):

,

және

қайда болып табылады 4-ток, болып табылады өріс кернеулігі тензоры, болып табылады Levi-Civita белгісі, және

болып табылады 4-градиент. Қайталама индекстер бойынша қорытынды жасалады Эйнштейн конвенциясы. Біз нәтижелерді бірнеше жалпы белгілерде көрсеттік.

Бірінші тензор теңдеуі - біртекті емес Максвелл теңдеуінің өрнегі, Гаусс заңы және Максвеллдің түзетуімен Ампер заңы. Екінші теңдеу - бұл біртекті теңдеулердің өрнегі, Фарадей индукциясы заңы және Магнетизм үшін Гаусс заңы.

Электромагниттік толқын теңдеуі жазықтықтағы кеңістіктегі теңдеуден екі жолмен өзгертіліп, туынды ковариантты туындымен ауыстырылып, қисықтыққа тәуелді жаңа мүше пайда болады.

қайда 4-потенциал деп анықталды

.

Біз жалпылауды қабылдадық Лоренц өлшегіші қисық кеңістікте

.

Сондай-ақ қараңыз

Әдебиеттер тізімі

  1. ^ Эйнштейн, А. (1961). Салыстырмалылық: арнайы және жалпы теория. Нью-Йорк: Тәж. ISBN  0-517-02961-8.
  2. ^ Landau, L. D. & Lifshitz, E. M. (1975). Өрістердің классикалық теориясы (төртінші қайта қаралған ағылшын басылымы). Оксфорд: Пергамон. ISBN  0-08-018176-7.
  3. ^ Миснер, Чарльз; Торн, Кип С. және Уилер, Джон Арчибальд (1973). Гравитация. Сан-Франциско: В. Х. Фриман. бет.170, 171. ISBN  0-7167-0344-0.
  4. ^ Ландау 1975, б. 276