Жалпы салыстырмалылық математикасына кіріспе - Introduction to the mathematics of general relativity

The жалпы салыстырмалылық математикасы күрделі болып табылады. Жылы Ньютон Қозғалыс теориялары, объектінің ұзындығы және уақыттың өту жылдамдығы объект кезінде тұрақты болып қалады жылдамдатады дегеніміз, көптеген проблемалар Ньютон механикасы арқылы шешілуі мүмкін алгебра жалғыз. Жылы салыстырмалылық дегенмен, объектінің жылдамдығы жақындаған сайын, оның ұзындығы мен уақыттың өту жылдамдығы едәуір өзгереді жарық жылдамдығы, яғни объектінің қозғалысын есептеу үшін көп айнымалы және күрделі математика қажет. Нәтижесінде салыстырмалылық сияқты ұғымдарды пайдалануды талап етеді векторлар, тензорлар, псевдотензорлар және қисық сызықты координаттар.

Келесі бөлшектердің мысалына негізделген кіріспе үшін дөңгелек орбиталар үлкен масса туралы, релликативті емес және релятивистік емдеу, сәйкесінше, Жалпы салыстырмалылықтың Ньютондық мотивтері және Жалпы салыстырмалылықтың теориялық мотивациясы.

Векторлар мен тензорлар

Векторлар

Әдеттегі вектордың иллюстрациясы.

Жылы математика, физика, және инженерлік, а Евклидтік вектор (кейде а деп аталады геометриялық[1] немесе кеңістіктік вектор,[2] немесе - мұндағыдай - жай вектор) - геометриялық объект, онда екеуі де бар шамасы (немесе ұзындығы ) және бағыт. Вектор - бұл нүктені «көтеру» үшін қажет нәрсе A Нүктеге B; латын сөзі вектор «алып жүруші» деген мағынаны білдіреді.[3] Вектордың шамасы дегеніміз екі нүктенің арақашықтығы және бағыт ығысу бағытын білдіреді A дейін B. Көптеген алгебралық амалдар қосулы нақты сандар сияқты қосу, азайту, көбейту, және жоққа шығару векторлары үшін жақын аналогтары бар, операциялары таныс алгебралық заңдарға бағынады коммутативтілік, ассоциативтілік, және тарату.

Тензорлар

Стресс - материалдың бұрышқа түсірілген күшке реакциясын білдіретін екінші ретті тензор. Тензордың екі бағыты «қалыпты» (бетке тік бұрышта) күш пен «ығысу» (бетке параллель) күшін білдіреді.

Тензор вектор ұғымын қосымша бағыттарға кеңейтеді. A скаляр, яғни бағыты жоқ қарапайым сан, графикте нүкте, нөлдік өлшемді объект ретінде көрсетілетін болар еді. Мөлшері мен бағыты бар вектор графикте бір өлшемді объект болып табылатын сызық түрінде пайда болар еді. Вектор - бұл бірінші ретті тензор, өйткені ол бір бағытты ұстайды, екінші ретті тензор екі шамада және екі бағытта болады және графикте сағат тіліне ұқсас екі сызық түрінде пайда болады. Тензордың «тәртібі» - бұл жеке бағыттардың өлшемдерінен бөлек болатын, ішіндегі бағыттардың саны. Екі өлшемдегі екінші ретті тензорды математикалық түрде 2-ден-2 матрицамен, ал үш өлшемнен 3-тен 3-ке дейінгі матрицамен ұсынуға болады, бірақ екі жағдайда да матрица екінші ретті тензор үшін «квадрат» болады. . Үшінші ретті тензордың үш шамасы мен бағыты бар және ол сандардың кубымен, үш өлшемдегі бағыттар үшін 3-тен 3-ке-3 ұсынылатын және т.б.

Қолданбалар

Векторлар физика ғылымында іргелі болып табылады. Олар шамасы мен бағыты бар кез келген шаманы бейнелеу үшін қолданыла алады, мысалы жылдамдық, оның шамасы жылдамдық. Мысалы, жылдамдық Секундына 5 метр жоғары вектормен ұсынылуы мүмкін (0, 5) (оң өлшеммен 2 өлшемде) ж ось 'жоғары'). Вектормен ұсынылған тағы бір шама - бұл күш, өйткені оның шамасы мен бағыты бар. Сондай-ақ, векторлар көптеген басқа физикалық шамаларды сипаттайды, мысалы орын ауыстыру, үдеу, импульс, және бұрыштық импульс. Сияқты басқа физикалық векторлар, мысалы электр және магнит өрісі, физикалық кеңістіктің әр нүктесінде векторлар жүйесі ретінде ұсынылған; яғни а векторлық өріс.

Тензорлардың физикада қолданылуы кең:

Өлшемдері

Жалпы салыстырмалылықта төртөлшемді векторлар немесе төрт вектор, қажет. Бұл төрт өлшем - ұзындық, биіктік, ен және уақыт. Бұл контексттегі «нүкте» оқиға болар еді, өйткені оның орны да, уақыты да бар. Векторларға ұқсас, салыстырмалылықтағы тензорлар төрт өлшемді қажет етеді. Бір мысал Риманның қисықтық тензоры.

Координаталық түрлендіру

Физикада, сондай-ақ математикада вектор көбінесе а-мен анықталады кортеж, немесе кейбір қосалқы координаттар жүйесіне тәуелді сандардың тізімі немесе анықтама жүйесі. Координаталарды түрлендіргенде, мысалы, координаттар жүйесін айналдыру немесе созу кезінде вектордың компоненттері де өзгереді. Вектордың өзі өзгерген жоқ, бірақ санақ жүйесі өзгерді, сондықтан вектордың компоненттері (немесе эталондық жүйеге қатысты алынған өлшемдер) өтеу үшін өзгеруі керек.

Вектор деп аталады ковариант немесе қарама-қайшы вектордың компоненттерін түрлендірудің координаталар түрлендірумен қалай байланысты екендігіне байланысты.

  • Қарама-қарсы векторлардың арақашықтық бірліктері (мысалы, орын ауыстыру) немесе кейбір басқа бірліктерге (мысалы, жылдамдық немесе үдеу) қашықтық бірліктері болады және координаттар жүйесі ретінде керісінше өзгереді. Мысалы, бірліктерді метрден миллиметрге өзгерту кезінде координаталық бірліктер кішірейеді, бірақ вектордағы сандар үлкен болады: 1 м 1000 мм болады.
  • Коварианттық векторларда, керісінше, қашықтықтың бірлігі бар (мысалы, а градиент ) және координаттар жүйесі сияқты түрлендіреді. Мысалы, метрден миллиметрге ауысқанда, координаталық бірліктер кішірейеді және градиентті өлшейтін сан да азаяды: 1Қ / м 0,001 К / мм болады.

Жылы Эйнштейн жазбасы, қарама-қарсы векторлар мен тензорлардың компоненттері жоғарғы әріптермен көрсетілген, мысалы. хмен, және ковариантты векторлар мен абоненттері бар тензорлардың компоненттері, мысалы. хмен. Индекстер тиісті матрицаға көбейту, көбінесе сәйкестендіру матрицасы арқылы «көтерілген» немесе «төмендетілген».

Координаталық түрлендіру маңызды, өйткені салыстырмалылық ғаламда басқасына қарағанда бірде-бір нүкте (немесе перспектива) жоқ екенін айтады. Жерде біз бүкіл планетада қолданылатын солтүстік, шығыс және биіктік сияқты өлшемдерді қолданамыз. Ғарышқа арналған мұндай жүйе жоқ. Нақты анықтамалық торсыз төрт өлшемді / алыс, солға / оңға, жоғары / төмен және өткен / болашақ деп сипаттау дәлірек болады. Мысал ретінде, Жерді қозғалыссыз объект деп санап, оған қол қоюды қарастырайық Тәуелсіздік туралы декларация. Қазіргі бақылаушыға Рейньер тауы шығысқа қарап, оқиға алда, оң жақта, төменде және өткенде. Алайда ортағасырлық Англиядағы солтүстікке қарайтын бақылаушыға оқиға артта, сол жақта, жоғарыда да, төменде де емес, болашақта да болады. Іс-шараның өзі өзгерген жоқ, бақылаушының орналасқан жері өзгерді.

Қиғаш осьтер

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

Нонсенсорлар

Нонтензор - бұл индекстерді көтеру және төмендету кезінде тензор сияқты әрекет ететін, бірақ координаталық түрлендіру кезінде тензор тәрізді өзгермейтін тензор тәрізді шама. Мысалға, Christoffel рәміздері егер координаталар сызықтық түрде өзгермесе, онда тензор бола алмайды.

Жалпы салыстырмалылықта гравитациялық өрістің энергиясы мен импульсін энергия-импульс тензоры арқылы сипаттауға болмайды. Керісінше, тензор ретінде әрекет ететін объектілерді тек шектелген координаталық түрлендірулерге қатысты енгізеді. Қатаң түрде, мұндай объектілер мүлдем тензор емес. Мұндай псевдотензордың әйгілі мысалы болып табылады Ландау – Лифшиц псевдотензоры.

Қисық сызықты координаттар және қисық кеңістік уақыты

Жалпы салыстырмалылықтың жоғары дәлдіктегі сынағы Кассини ғарыштық зонд (суретшінің әсері): Жер мен зонд арасында жіберілген радиосигналдар (жасыл толқын) кешіктірілді бойынша кеңістік пен уақыт байланысты (көк сызықтар) Күн бұқаралық. Яғни, Күннің массасы жүйенің тор координаталарының (көк түспен) бұрмалануына және қисаюына әкеледі. Содан кейін радиотолқын осы қисықтыққа сүйеніп, Күнге қарай жылжиды.

Қисық сызықты координаттар осьтер арасындағы бұрыштар нүктеден нүктеге өзгеруі мүмкін координаталар. Бұл дегеніміз, түзу сызықтар торына емес, оның орнына қисықтық бар.

Бұған жердің беткі қабаты жақсы мысал бола алады. Карталар көбінесе солтүстік, оңтүстік, шығыс және батысты қарапайым төртбұрышты тор ретінде бейнелесе де, бұл іс жүзінде олай емес. Оның орнына солтүстік пен оңтүстікке созылған бойлық сызықтары қисық және солтүстік полюсте түйіседі. Себебі Жер тегіс емес, керісінше дөңгелек.

Жалпы салыстырмалылықта энергия мен массаның Әлемнің төрт өлшеміне қисықтық әсері бар (= ғарыш уақыты). Бұл қисықтық тартылыс күшін тудырады. Кең таралған ұқсастық - созылған резеңке параққа ауыр затты қою, бұл парақтың төмен қарай иілуіне әкеледі. Бұл объектінің айналасындағы координаттар жүйесін қисайтады, ғаламдағы объект өзі орналасқан координаттар жүйесін қисықтайды. Мұндағы математика Жерге қарағанда тұжырымдамалық тұрғыдан күрделі, нәтижесінде ол пайда болады төрт өлшем қисық 2D бетін сипаттау үшін пайдаланылған үштің орнына қисық координаталар.

Параллельді тасымалдау

Мысал: Екі өлшемге салынған үш өлшемді шардың шеңбер бойымен параллель орын ауыстыруы. Радиус шеңбері р координаттарымен сипатталатын екі өлшемді кеңістікке ендірілген з1 және з2. Шеңбердің өзі координаттармен сипатталады ж1 және ж2 екі өлшемді кеңістікте. Шеңбердің өзі бір өлшемді және доғасының ұзындығымен сипатталуы мүмкін х. Координат ж координатамен байланысты х қатынас арқылы ж1 = р cos х/р және ж2 = р күнә х/р. Бұл береді ж1/х = −күнә х/р және ж2/х = cos х/р Бұл жағдайда метрика скаляр болып табылады және беріледі ж = cos2 х/р + күнә2 х/р = 1. Аралық сол кезде болады ds2 = g dx2 = dx2. Аралық күткендей доға ұзындығына тең.

Үлкен кеңістіктегі интервал

Ішінде Евклид кеңістігі, екі нүктенің арасы екі нүктенің арақашықтығымен өлшенеді. Қашықтық тек кеңістіктік және әрқашан оң болады. Ғарыш уақытында екі оқиғаның арасындағы айырмашылық өзгермейтін аралық оқиғалар арасындағы кеңістіктік бөлінуді ғана емес, олардың уақыт бойынша бөлінуін де ескеретін екі оқиғаның арасында. Аралық, с2, екі оқиға арасындағы анықтама:

     (уақыт аралығы),

қайда c бұл жарық жылдамдығы, және Δр және Δт сәйкесінше оқиғалар арасындағы кеңістік пен уақыт координаттарының айырмашылықтарын белгілеңіз. Үшін белгілерді таңдау с2 жоғарыда көрсетілген кеңістікке ұқсас конвенция (- +++). Ұқсас жазба Δр2 білдіреді р)2. Себебі с2 емес деп аталады с бұл сол с2 оң, нөл немесе теріс болуы мүмкін.

Бос уақыт аралықтары уақытша бөліну (немесе) негізінде үш нақты түрге жіктелуі мүмкін (c2Δт2) немесе кеңістіктік бөліну (Δр2) екі оқиғаның үлкені: уақытқа ұқсас, жарыққа немесе кеңістікке ұқсас.

Кейбір түрлері әлемдік сызықтар деп аталады геодезия кеңістіктің уақыты - тегіс Минковский кеңістігі жағдайындағы түзулер және олардың жалпы салыстырмалылықтың қисық кеңістігіндегі ең жақын эквиваленті. Тек уақыт тәрізді жолдарда геодезия (жергілікті) екі оқиға арасындағы жол бойымен өлшенетін ең үлкен бөліну жолдары (уақыт аралығы) болып табылады, ал Евклид кеңістігінде және Риман коллекторларында геодезия - екі нүкте арасындағы ең қысқа қашықтықтағы жолдар. .[4][5] Геодезия ұғымы орталыққа айналады жалпы салыстырмалылық, өйткені геодезиялық қозғалыс «таза қозғалыс» деп қарастырылуы мүмкін (инерциялық қозғалыс ) ғарыш уақытында, яғни кез-келген сыртқы әсерден босатылады.

Ковариант туынды

Ковариант туынды - векторлық есептен шыққан туынды жалпылау. Бағдарлы туындыдағы сияқты, ковариантты туынды - бұл кірістер ретінде қабылдайтын ереже: (1) вектор, сен, (сол бойынша туынды алынады) нүктеде анықталады Pжәне (2) векторлық өріс, v, маңында анықталған P. Шығарылым - вектор, сонымен қатар нүктеде P. Әдеттегі бағытталған туындыдан басты айырмашылығы - ковариант туындысы белгілі бір нақты мағынада оның координаттар жүйесінде өрнектелуіне тәуелді болмауы керек.

Параллельді тасымалдау

Ковариант туындысын ескере отырып, анықтауға болады параллель тасымалдау вектордың v бір сәтте P қисық бойымен γ бастап басталады P. Әр ұпай үшін х туралы γ, параллель тасымалдау v кезінде х функциясы болады х, және ретінде жазылуы мүмкін v(х), қайда v(0) = v. Функция v ковариант туындысының талабымен анықталады v(х) бойымен γ 0-ге тең. Бұл тұрақты функция туындысы 0-ге тең болатындығына ұқсас.

Christoffel рәміздері

Ковариант туындысының теңдеуін Кристоффель таңбалары түрінде жазуға болады. Кристоффель рәміздері Эйнштейн теориясында жиі кездеседі жалпы салыстырмалылық, қайда ғарыш уақыты қисық 4 өлшемді түрде ұсынылған Лоренц а Levi-Civita байланысы. The Эйнштейн өрісінің теңдеулері - материя болған кездегі кеңістіктің геометриясын анықтайтын - құрамында Ricci тензоры. Риччи тензоры Риманның қисықтық тензорынан алынғандықтан, оны Кристоффель таңбалары бойынша жазуға болатындықтан, Кристоффель таңбаларын есептеу өте маңызды. Геометрия анықталғаннан кейін бөлшектер мен жарық сәулелерінің жолдары бойынша есептеледі геодезиялық теңдеулерді шешу онда Christoffel рәміздері айқын көрінеді.

Геодезия

Жылы жалпы салыстырмалылық, а геодезиялық қисыққа «түзу сызық» ұғымын жалпылайды ғарыш уақыты. Маңыздысы, әлемдік желі Сыртқы, гравитациялық емес күштен бос бөлшектің геодезияның ерекше түрі болып табылады. Басқаша айтқанда, еркін қозғалатын немесе құлаған бөлшек әрдайым геодезия бойымен қозғалады.

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

Қисық геодезиялық болып табылады, егер жанасу векторы кез келген нүктедегі қисықтың параллель тасымалдау туралы жанасу векторы базалық нүктенің.

Қисықтық тензоры

Риманның қисықтық тензоры бізге кеңістіктің кез-келген аймағында қаншалықты қисықтық болатынын математикалық түрде айтады. Тензорды жасасу арқылы тағы екі математикалық объект жасалады:

  1. The Риманның қисықтық тензоры: Rρσμν, бұл кеңістіктің қисықтығы туралы көбірек ақпарат береді және туындыларынан алынады метрикалық тензор. Жазықтықта бұл тензор нөлге тең.
  2. The Ricci тензоры: Rσν, Эйнштейн теориясының тек 2 индексі бар қисықтық тензорына деген қажеттілігінен туындайды. Ол Риман қисықтық тензорының белгілі бөліктерін орташаландыру арқылы алынады.
  3. The скалярлық қисықтық: R, қисықтықтың қарапайым өлшемі, кеңістіктегі әр нүктеге жалғыз скалярлық мән береді. Ол Ricci тензорының орташалануы арқылы алынады.

Риманның қисықтық тензорын ковариант туындысы арқылы көрсетуге болады.

Эйнштейн тензоры G дәреже-2 тензор анықталды жалған-риманналық коллекторлар. Индекссіз белгіде ол келесідей анықталады

қайда R болып табылады Ricci тензоры, ж болып табылады метрикалық тензор және R болып табылады скалярлық қисықтық. Ол қолданылады Эйнштейн өрісінің теңдеулері.

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

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

The кернеу - энергия тензоры (кейде стресс-энергия-импульс тензоры немесе энергия-импульс тензоры) Бұл тензор саны физика сипаттайтын тығыздық және ағын туралы энергия және импульс жылы ғарыш уақыты жалпылау кернеу тензоры Ньютон физикасы. Бұл атрибут зат, радиация, және гравитациялық емес күш өрістері. Стресстік-энергия тензоры қайнар көзі болып табылады гравитациялық өріс ішінде Эйнштейн өрісінің теңдеулері туралы жалпы салыстырмалылық, мысалы, массаның тығыздығы осындай өрістің көзі болып табылады Ньютондық гравитация. Бұл тензордың 2 индексі бар болғандықтан (келесі бөлімді қараңыз) Риманның қисықтық тензоры Ricci тензорына, сонымен қатар 2 индексімен шартталуы керек.

Эйнштейн теңдеуі

The Эйнштейн өрісінің теңдеулері (EFE) немесе Эйнштейн теңдеулері 10 жиынтығы теңдеулер жылы Альберт Эйнштейндікі жалпы салыстырмалылық теориясы сипаттайтын өзара іс-қимыл туралы гравитация нәтижесінде ғарыш уақыты болу қисық арқылы зат және энергия.[6] Алғаш рет 1915 жылы Эйнштейн жариялады[7] сияқты тензор теңдеуі, EFE жергілікті ғарыш уақытын теңестіреді қисықтық (арқылы көрсетілген Эйнштейн тензоры ) жергілікті энергиямен және импульс сол уақыт аралығында ( кернеу - энергия тензоры ).[8]

Эйнштейн өрісінің теңдеулерін келесі түрде жазуға болады

қайда Gμν болып табылады Эйнштейн тензоры және Тμν болып табылады кернеу - энергия тензоры.

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

Шварцшильд шешімі және қара тесіктер

Жылы Эйнштейн теориясы жалпы салыстырмалылық, Шварцшильд метрикасы (сонымен қатар Шварцшильд вакуумы немесе Шварцшильд шешімі), үшін шешім болып табылады Эйнштейн өрісінің теңдеулері сипаттайтын гравитациялық өріс сфералық массаның сыртында, деген болжаммен электр заряды массаның, бұрыштық импульс бұқаралық және әмбебап космологиялық тұрақты барлығы нөлге тең. Шешім - баяу айналатын астрономиялық объектілерді сипаттау үшін пайдалы жуықтау жұлдыздар және планеталар соның ішінде Жер мен Күн. Шешім атымен аталады Карл Шварцшильд, шешімді алғаш рет 1916 жылы, қайтыс болар алдында жариялады.

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

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

Ескертулер

  1. ^ Иванов 2001 ж[дәйексөз табылмады ]
  2. ^ Heinbockel 2001[дәйексөз табылмады ]
  3. ^ Латын тілінен вектус, толықтауыш туралы vehere, «көтеру». Сөздің тарихи дамуы үшін вектор, қараңыз «вектор n.". Оксфорд ағылшын сөздігі (Интернеттегі ред.). Оксфорд университетінің баспасы. (Жазылым немесе қатысушы мекемеге мүшелік қажет.) және Джефф Миллер. «Математика сөздерінің кейбіреулерінің алғашқы қолданылуы». Алынған 2007-05-25.
  4. ^ Бұл сипаттама әмбебап емес: а нүктесінің екі доғасы да үлкен шеңбер сферада геодезия бар.
  5. ^ Берри, Майкл В. (1989). Космология және гравитация принциптері. CRC Press. б. 58. ISBN  0-85274-037-9.
  6. ^ Эйнштейн, Альберт (1916). «Жалпы салыстырмалылық теориясының негізі». Аннален дер Физик. 354 (7): 769. Бибкод:1916AnP ... 354..769E. дои:10.1002 / және с.19163540702. Архивтелген түпнұсқа (PDF ) 2006-08-29.
  7. ^ Эйнштейн, Альберт (25 қараша, 1915). «Die Feldgleichungen der Gravitation». Sitzungsberichte der Preussischen Akademie der Wissenschaften zu Berlin: 844–847. Алынған 2006-09-12.
  8. ^ Миснер, Чарльз В.; Торн, Кип С.; Уилер, Джон Арчибальд (1973). Гравитация. Сан-Франциско: Фриман В.. ISBN  978-0-7167-0344-0. 34-тарау, 916-бет

Пайдаланылған әдебиеттер