ОТНОСИ́ТЕЛЬНОСТИ ТЕО́РИЯ

  • рубрика

    Рубрика: Физика

  • родственные статьи
  • image description

    В книжной версии

    Том 24. Москва, 2014, стр. 663

  • image description

    Скопировать библиографическую ссылку:




Авторы: Д. В. Гальцов

ОТНОСИ́ТЕЛЬНОСТИ ТЕО́РИЯ, опи­сы­ва­ет дви­же­ние тел и про­стран­ст­вен­но-вре­менны́е от­но­ше­ния при про­из­воль­ных ско­ро­стях дви­же­ния, в т. ч. близ­ких к ско­ро­сти све­та. Тер­мин «О. т.» вве­дён М. План­ком в 1906. Ис­поль­зу­ет­ся так­же тер­мин «ре­ля­ти­ви­ст­ская тео­рия».

Раз­ли­ча­ют спе­ци­аль­ную О. т. (СТО), или ча­ст­ную О. т., опи­сы­ваю­щую яв­ле­ния в той об­лас­ти про­стран­ст­ва, где по­ля­ми тя­го­те­ния мож­но пре­неб­речь, и об­щую О. т. (ОТО), ко­то­рая учи­ты­ва­ет гра­ви­тац. по­ля (см. Тя­го­те­ние). СТО сфор­му­ли­ро­ва­на А. Эйн­штей­ном в 1905 при объ­яс­не­нии не­удач­ных по­пы­ток об­на­ру­жить дви­же­ние Зем­ли от­но­си­тель­но эфи­ра ми­ро­во­го, ко­ле­ба­ния ко­то­ро­го, как бы­ло при­ня­то ду­мать, про­яв­ля­ют се­бя как элек­тро­маг­нит­ные вол­ны. Кон­цеп­ция све­то­нос­но­го эфи­ра, вы­дви­ну­тая в 17 в. Р. Де­кар­том, по­лу­чи­ла но­вый им­пульс в 19 в. в ре­зуль­та­те соз­да­ния Дж. Мак­свел­лом элек­тро­маг­нит­ной тео­рии, в ко­то­рой бы­ли по­лу­че­ны урав­нения, опи­сы­ваю­щие элек­тро­маг­нит­ные вол­ны. Од­на­ко урав­не­ния Мак­свел­ла бы­ли не­со­вмес­ти­мы с Га­ли­лея прин­ци­пом от­но­си­тель­но­сти, и хо­тя пре­об­ра­зо­ва­ния Ло­рен­ца, за­ме­няю­щие пре­об­ра­зо­ва­ния Га­ли­лея в совр. тео­рии, и бы­ли из­вест­ны до ра­бо­ты Эйн­штей­на, мн. фи­зи­ки, в т. ч. Х. А. Ло­ренц и А. Пу­ан­ка­ре, бы­ли склон­ны объ­яс­нять не­на­блю­дае­мость эфи­ра осо­бой вы­де­лен­но­стью сис­те­мы ко­ор­ди­нат, в ко­то­рой эфир по­ко­ит­ся. Эйн­штейн пред­ло­жил от­ка­зать­ся от эфи­ра, при­знав тео­рию Мак­свел­ла са­мо­дос­та­точ­ной для объ­яс­не­ния при­ро­ды све­та и вы­дви­нув по­сту­лат не­за­ви­си­мо­сти ско­ро­сти све­та от дви­же­ния ис­точ­ни­ка. Это по­тре­бо­ва­ло от­ка­за от аб­со­лют­но­сти вре­ме­ни и при­ве­ло к пред­став­ле­нию о про­стран­ст­ве-вре­ме­ни как о еди­ном мно­го­об­ра­зии (Г. Мин­ков­ский). СТО ос­но­ва­на на от­но­си­тель­но­сти прин­ци­пе и не­за­ви­си­мо­сти фи­зич. яв­ле­ний от вы­бо­ра инер­ци­аль­ной сис­темы от­счё­та (ИСО).

СТО как сис­те­ма об­щих пред­став­ле­ний о про­стран­ст­ве и вре­ме­ни оз­на­ча­ла рас­про­стра­не­ние её за­ко­нов и на яв­ле­ния, в то вре­мя ещё не изу­чен­ные (напр., сла­бое и силь­ное взаи­мо­дей­ст­вия), что впо­след­ст­вии бы­ло под­твер­жде­но экс­пе­ри­мен­та­ми в фи­зи­ке вы­со­ких энер­гий. Пред­ло­жен­ная для опи­са­ния мак­ро­ско­пич. яв­ле­ний тео­рия ока­за­лась спра­вед­ли­вой и в мик­ро­ми­ре, под­чи­няю­щем­ся за­ко­нам кван­то­вой ме­ха­ни­ки.

В 1907–15 А. Эйн­штейн соз­дал ре­ля­ти­ви­ст­скую тео­рию тя­го­те­ния (ОТО). Её бóльшая «общ­ность» со­сто­ит в до­пу­ще­нии про­из­воль­ных, не толь­ко инер­ци­аль­ных, сис­тем от­счё­та. Это по­зво­ли­ло опи­сать гра­ви­та­цию на ос­но­ве эк­ви­ва­лент­но­сти прин­ци­па – ло­каль­ной не­раз­ли­чи­мо­сти гра­ви­тац. сил и сил инер­ции, воз­ни­каю­щих в не­инер­ци­аль­ных сис­те­мах от­счё­та. При учё­те гра­ви­тац. взаи­мо­дей­ст­вия ИСО мо­гут реа­ли­зо­вать­ся лишь ло­каль­но в ма­лой об­лас­ти про­стран­ст­ва и на ма­лых про­ме­жут­ках вре­ме­ни, ко­гда гра­ви­тац. по­ле мож­но счи­тать по­сто­ян­ным и од­но­род­ным. Гло­баль­но про­стран­ст­во-вре­мя гра­ви­ти­рую­щей сис­те­мы яв­ля­ет­ся псев­до­ри­ма­но­вым; для не­го не об­ра­ща­ет­ся в нуль тен­зор кри­виз­ны Ри­ма­на – Кри­стоф­фе­ля (ко­то­рый то­ж­де­ст­вен­но ра­вен ну­лю в СТО). В мик­ро­ми­ре роль ОТО не­зна­чи­тель­на, но в яв­ле­ни­ях кос­мич. мас­шта­ба эта тео­рия ста­но­вит­ся оп­ре­де­ляю­щей.

Система отсчёта

в фи­зи­ке пред­став­ля­ет со­бой сис­те­му ко­ор­ди­нат, свя­зан­ную с не­ко­то­ры­ми ба­зо­вы­ми те­ла­ми, ко­то­рая по­зво­ля­ет од­но­знач­но опи­сать по­ло­же­ние фи­зич. объ­ек­тов – то­чеч­ных час­тиц, про­тя­жён­ных тел, не­пре­рыв­ных сред или по­лей – и про­це­ду­ры из­ме­ре­ния вре­ме­ни, по от­но­ше­нию к ко­то­ро­му рас­смат­ри­ва­ет­ся их дви­же­ние. Оп­ре­де­ле­ние вре­ме­ни свя­за­но с за­да­ни­ем не­ко­то­ро­го ста­биль­но­го пе­рио­дич. про­цес­са. В совр. мет­ро­ло­гии рас­стоя­ния оп­ре­де­ля­ют­ся с по­мо­щью све­то­вых сиг­на­лов, ско­рость ко­то­рых по­сто­ян­на и из­вест­на с вы­со­кой точ­но­стью. В ка­че­ст­ве ча­сов ис­поль­зу­ют атом­ные ча­сы, в ко­то­рых пе­рио­дич­ность реа­ли­зу­ет­ся на мик­ро­ско­пич. уров­не и оп­ре­де­ля­ет­ся за­ко­на­ми кван­то­вой ме­ха­ни­ки. В СТО не­об­хо­ди­мую син­хро­ни­за­цию ча­сов во всех точ­ках про­стран­ст­ва осу­ще­ст­в­ля­ют с по­мо­щью све­то­вых сиг­на­лов. 

Объ­ект, не под­вер­жен­ный внеш­ним воз­дей­ст­ви­ям, дви­жет­ся от­но­си­тель­но ИСО рав­но­мер­но и пря­мо­ли­ней­но. Лю­бая сис­те­ма от­счё­та, дви­жу­щая­ся от­но­си­тель­но дан­ной ИСО рав­но­мер­но и пря­мо­ли­ней­но, так­же яв­ля­ет­ся ИСО, при­чём все ИСО рав­но­прав­ны. Пред­по­ла­га­ет­ся так­же, что в ИСО про­стран­ст­во од­но­род­но и изо­троп­но, что обес­пе­чи­ва­ет су­ще­ст­во­ва­ние сис­те­мы ор­то­го­наль­ных де­кар­то­вых ко­ор­ди­нат $x^i$ (или $x$, $y$, $z$). По­сту­ли­руе­мые свой­ст­ва ИСО тес­но увя­за­ны с ви­дом ди­на­мич. урав­не­ний рас­смат­ри­вае­мой сис­те­мы. В ме­ха­ни­ке та­кую роль вы­пол­ня­ет 2-й за­кон Нью­то­на (см. Нью­то­на за­ко­ны ме­ха­ни­ки). Эк­ви­ва­лент­ность всех ИСО обес­пе­че­на, толь­ко ко­гда пре­об­ра­зо­ва­ния ко­ор­ди­нат и вре­ме­ни, опи­сы­ваю­щие пе­ре­ход ме­ж­ду ни­ми, бу­дут со­хра­нять фор­му ди­на­мич. урав­не­ний. Та­кое оп­ре­де­ле­ние ИСО осо­бен­но по­лез­но при пе­ре­хо­де к урав­не­ни­ям элек­тро­ди­на­ми­ки.

Фи­зич. реа­ли­за­ция ИСО воз­мож­на лишь при­бли­жён­но, ес­ли мож­но пре­неб­речь гра­ви­та­ци­ей. Это мож­но сде­лать в ма­лой об­лас­ти про­стран­ст­ва и на ма­лых про­ме­жут­ках вре­ме­ни, пе­ре­хо­дя в сво­бод­но па­даю­щую сис­те­му от­счё­та. Спут­ник на око­ло­зем­ной ор­би­те, ста­би­ли­зи­ро­ван­ный от­но­си­тель­но вра­ще­ния с по­мо­щью ги­ро­ско­пов, яв­ля­ет­ся ИСО, за­щи­щён­ной от гра­ви­тац. по­ля не толь­ко Зем­ли, но и Солн­ца и Га­лак­ти­ки в той ме­ре, в ко­то­рой гра­ви­тац. по­ле внут­ри не­го мож­но счи­тать од­но­род­ным. Сис­те­ма от­счё­та, свя­зан­ная с Зем­лёй, сво­бод­но па­да­ет в по­ле Солн­ца, но она вра­ща­ет­ся и под­вер­же­на гра­ви­та­ции са­мой Зем­ли. Для экс­пе­ри­мен­тов в фи­зи­ке эле­мен­тар­ных час­тиц эту сис­те­му мож­но рас­смат­ри­вать как ИСО, по­сколь­ку влия­ние мак­ро­ско­пич. гра­ви­та­ции на яв­ле­ния мик­ро­ми­ра пре­неб­ре­жи­мо малó.

Принцип относительности в нерелятивистской механике,

ут­вер­ждаю­щий рав­но­пра­вие всех ИСО, сфор­му­ли­ро­ван Г. Га­ли­ле­ем в 16 в. Сис­те­ма урав­не­ний нью­то­нов­ской ме­ха­ни­ки для ма­те­ри­аль­ных то­чек мас­сой $m_a(a=1, \dots, N)$, дви­жу­щих­ся вдоль тра­ек­то­рий $\boldsymbol r_a(t)$ и взаи­мо­дей­ст­вую­щих по­сред­ст­вом пар­ных сил, за­да­вае­мых по­тен­циа­лом $U(\boldsymbol r_a-\boldsymbol r_b)$, ин­ва­ри­ант­на от­но­си­тель­но пре­об­ра­зо­ваний Га­ли­лея $\boldsymbol r_a \to \boldsymbol r'_a=\boldsymbol r_a-\boldsymbol V t$, опи­сы­ваю­щих пе­ре­ход к ИСО, дви­жу­щей­ся от­но­си­тель­но дан­ной ИСО с по­сто­ян­ной ско­ро­стью $\boldsymbol V$. При этом ход ча­сов пред­по­ла­га­ет­ся оди­на­ко­вым во всех ИСО (с точ­но­стью до сдви­га $t'=t+t_0$, т. е. пред­по­ла­га­ет­ся не­за­ви­си­мая ус­та­нов­ка на­ча­ла от­счё­та вре­ме­ни $t$). Ин­ва­ри­ант­ность урав­не­ний ме­ха­ни­ки от­но­си­тель­но пре­об­ра­зо­ва­ний Га­ли­лея со­став­ля­ет ма­те­ма­тич. со­дер­жа­ние прин­ци­па от­но­си­тель­но­сти в ме­ха­ни­ке Нью­то­на. Пол­ная 10-па­ра­мет­ри­че­ская груп­па сим­мет­рии (груп­па Га­ли­лея) со­дер­жит так­же сдви­ги и по­во­ро­ты ко­ор­ди­нат­ных осей. При пре­об­ра­зо­ва­ни­ях Га­ли­лея ско­ро­сти час­тиц и ско­рость сис­те­мы скла­ды­ва­ют­ся по пра­ви­лу па­рал­ле­ло­грам­ма, т. е. не­реля­тиви­ст­ское про­стран­ст­во ско­ро­стей евк­ли­до­во.

Урав­не­ния не­ре­ля­ти­ви­ст­ской ме­ха­ни­ки ос­но­ва­ны на кон­цеп­ции даль­но­дей­ст­вия, оз­на­чаю­щей, что си­ла, дей­ст­вую­щая на ка­ж­дую час­ти­цу со сто­ро­ны др. час­тиц, оп­ре­де­ля­ет­ся их по­ло­же­ни­ем в тот же мо­мент вре­ме­ни. Имен­но по­это­му вре­мя в не­ре­ля­ти­ви­ст­ской тео­рии яв­ля­ет­ся аб­со­лют­ным. Од­на­ко это не со­гла­су­ет­ся с пред­став­ле­ни­ем о взаи­мо­дей­ст­вии за­ря­дов в элек­тро­ди­на­ми­ке. Ока­за­лось, что си­ла, дей­ст­вую­щая на дви­жу­щий­ся за­ряд со сто­ро­ны др. за­ря­дов, оп­ре­де­ля­ет­ся зна­че­ния­ми элек­три­че­ско­го и маг­нит­но­го по­лей в дан­ной точ­ке, ко­то­рые за­ви­сят от по­ло­же­ний и ско­ро­стей др. за­ря­дов в пред­ше­ст­во­вав­шие мо­мен­ты вре­ме­ни, так что кон­цеп­ция даль­но­дей­ст­вия не ра­бо­та­ет. Но пред­став­ле­ния об ИСО в элек­тро­ди­на­ми­ке мож­но со­хра­нить, из­ме­нив фор­му пре­об­ра­зо­ва­ний ко­ор­ди­нат при пе­ре­хо­де от од­ной ИСО к дру­гой, в ча­ст­но­сти от­ка­зав­шись от аб­со­лют­но­сти вре­ме­ни и пе­рей­дя к пре­об­ра­зо­ва­ни­ям Ло­рен­ца.

Уравнения Максвелла и группа Лоренца

СТО воз­ник­ла при по­пыт­ке ис­поль­зо­вать прин­цип от­но­си­тель­но­сти для элек­тро­маг­нит­ных яв­ле­ний, суть ко­то­рых Дж. Мак­свелл вы­ра­зил в фор­ме сис­те­мы диф­фе­рен­ци­аль­ных урав­не­ний (Мак­свел­ла урав­не­ния) для на­пря­жён­но­сти элек­три­че­ско­го поля $\boldsymbol E(\boldsymbol r,t)$ и маг­нит­ной индукции $\boldsymbol B(\boldsymbol r,t)$. Эти ве­ли­чи­ны оп­ре­де­ля­ют­ся ска­ляр­ной плот­но­стью электрич. за­ря­да $\rho(\boldsymbol r,t)$ и век­тор­ной плот­но­стью электрич. то­ка $\boldsymbol j(\boldsymbol r,t)$$$\text{div} \boldsymbol E=4 \pi \rho, \text{rot}\boldsymbol B=(4 \pi/c)\boldsymbol j+\partial \boldsymbol E/c \partial t, \quad\tag{1}$$$$\text{div} \boldsymbol B=0, \text{rot} \boldsymbol E=-\partial \boldsymbol B/c \partial t\quad\tag{2}$$(в системе СГС). Урав­не­ния (1) со­дер­жат ис­точ­ни­ки по­ля; пер­вое из них вы­ра­жа­ет Ку­ло­на за­кон взаи­мо­дей­ст­вия за­ря­дов, вто­рое – Ам­пе­ра за­кон, оп­ре­де­ляю­щий маг­нит­ное по­ле, при­чём по­след­ний член с про­из­вод­ной от элек­трич. по­ля был до­бав­лен Дж. Мак­с­вел­лом, что­бы обес­пе­чить вы­пол­не­ние урав­не­ния не­пре­рыв­но­сти для плот­но­стей за­ря­да и то­ка. Пер­вое из урав­не­ний (2) оз­на­ча­ет от­сут­ст­вие маг­нит­ных за­ря­дов, вто­рое – опи­сы­ва­ет Фа­ра­дея за­кон элек­тро­маг­нит­ной ин­дук­ции. Вхо­дя­щий в урав­не­ния ко­эф­фициент cиме­ет раз­мер­ность ско­ро­сти и на­зы­ва­ет­ся элек­тро­ди­на­мич. по­сто­ян­ной, ко­то­рая, как по­ка­зы­ва­ют ре­ше­ния этих урав­не­ний, рав­на ско­ро­сти све­та. Бу­ду­чи ве­ли­чи­ной по­сто­ян­ной, она по оп­ре­де­ле­нию бу­дет та­ко­вой во всех ИСО.

По ана­ло­гии с нью­то­нов­ской ме­ха­ни­кой ИСО в элек­тро­ди­на­ми­ке мож­но оп­ре­де­лить как класс сис­тем от­счё­та, в ко­то­рых вы­пол­ня­ют­ся урав­не­ния Мак­свел­ла в фор­ме (1), (2). Т. к. урав­не­ния Мак­свел­ла пред­став­ля­ют со­бой сис­те­му урав­не­ний в ча­ст­ных про­из­вод­ных, ре­ше­ние ко­то­рой за­ви­сит от ис­точ­ни­ков $\rho$, $\boldsymbol j$ не­ло­каль­но, то ис­клю­ча­ет­ся воз­мож­ность вве­де­ния пар­но­го по­тен­циа­ла взаи­мо­дей­ст­вия за­ря­дов. Это го­во­рит о не­воз­мож­но­сти реа­ли­за­ции в элек­тро­ди­на­ми­ке прин­ци­па от­но­си­тель­но­сти в фор­ме пре­об­ра­зо­ва­ний Га­ли­лея. Дж. Мак­свелл счи­тал, что элек­тро­маг­нит­ные вол­ны пе­ре­но­сят эфир, с ко­то­рым мож­но свя­зать вы­де­лен­ную ИСО. Од­на­ко эфир не был об­на­ру­жен, что при­ве­ло А. Эйн­штей­на к пред­по­ло­же­нию, что при ско­ро­стях, срав­ни­мых со ско­ро­стью све­та, пре­об­ра­зо­ва­ния Га­ли­лея не­вер­ны. То­гда оты­ска­ние кор­рект­ной фор­мы пре­об­ра­зо­ва­ний от од­ной ИСО к дру­гой сво­дит­ся к по­ис­ку пре­об­ра­зо­ва­ний ко­ор­ди­нат и вре­ме­ни, от­но­си­тель­но ко­то­рых урав­не­ния (1), (2) ко­ва­ри­ант­ны (со­хра­ня­ют свой вид). При этом нуж­но от­ка­зать­ся от аб­со­лют­но­сти вре­ме­ни, по­сколь­ку ско­рость све­та долж­на быть по­сто­ян­ной в лю­бой ИСО и, сле­до­ва­тель­но, не долж­на скла­ды­вать­ся со ско­ро­стью дви­же­ния сис­те­мы от­счё­та, че­го не­воз­мож­но до­бить­ся в слу­чае аб­со­лют­но­го вре­ме­ни.

В 1904 Х. А. Ло­ренц по­лу­чил пре­об­ра­зо­ва­ния, но­ся­щие его имя (Ло­рен­ца пре­об­ра­зо­ва­ния), ко­то­рые при $V \ll c$ пе­ре­хо­дят в пре­об­ра­зо­ва­ния Га­ли­лея. Совр. фор­му им при­да­ли в 1905 не­за­ви­си­мо А. Пу­ан­ка­ре и А. Эйн­штейн. Для удоб­ст­ва срав­не­ния с пре­об­ра­зо­ва­ния­ми Га­ли­лея пре­об­ра­зо­ва­ния Ло­рен­ца мож­но пред­ста­вить в век­тор­ной фор­ме: $$\boldsymbol r'=\boldsymbol r - \boldsymbol Vt+(\gamma-1)[[\boldsymbol r \times \boldsymbol n]\times \boldsymbol n],\quad t'=(t- \boldsymbol r \cdot \boldsymbol V/c^2),\quad \boldsymbol n= \boldsymbol V/V, \quad\tag {3}$$где $\gamma=(1-\beta^2)^{–1/2}$ – ло­ренц-фак­тор$(\beta=V/c)$. При $\beta \ll 1$ эти пре­об­ра­зо­ва­ния пе­ре­хо­дят в пре­об­ра­зо­ва­ния Га­ли­лея. Бо­лее про­стой вид они име­ют, ко­гда век­тор $\boldsymbol V$ со­на­прав­лен с од­ной из осей ко­ор­ди­нат, напр. $Ox$$$x'=(x-Vt)\gamma,\quad y'=y,\quad z'=z,\quad t'=(t-Vx/c^2)\gamma.\quad\tag{4}$$Пол­ная 10-па­ра­мет­ри­че­ская груп­па сим­мет­рии урав­не­ний Мак­свел­ла, вклю­чаю­щая 3 не­за­ви­си­мых пре­об­ра­зо­ва­ния Ло­рен­ца вдоль осей $x$, $y$, $z$ ти­па (4), 3 вра­ще­ния ко­ор­ди­нат­ных осей, а так­же сдви­ги на­ча­ла ко­ор­ди­нат и вре­ме­ни, на­зы­ва­ет­ся груп­пой Пу­ан­ка­ре.

А. Эйн­штейн, в от­ли­чие от Х. А. Ло­рен­ца и А. Пу­ан­ка­ре, по­ни­мал ло­рен­це­ву сим­мет­рию ши­ре, не­же­ли сим­мет­рию урав­не­ний элек­тро­ди­на­ми­ки, при­дав ей смысл об­ще­го свой­ст­ва про­стран­ст­ва и вре­ме­ни и пред­ло­жив вы­вод пре­об­ра­зо­ва­ний Ло­рен­ца на ос­но­ва­нии сле­дую­щих по­сту­ла­тов: 1) су­ще­ст­ву­ет мно­же­ст­во ИСО, в ко­то­рых все фи­зич. яв­ле­ния про­те­ка­ют оди­на­ко­во (прин­цип от­но­си­тель­но­сти); 2) ско­рость све­та оди­на­ко­ва во всех ИСО; она не за­ви­сит от ско­ро­сти дви­же­ния ис­точ­ни­ков и при­ём­ни­ков; 3) про­стран­ст­во од­но­род­но и изо­троп­но; 4) из­ме­ре­ние рас­стоя­ний про­из­во­дит­ся с по­мо­щью све­то­вых сиг­на­лов.

Пространство-время Минковского

Важ­ным ша­гом к совр. по­ни­ма­нию СТО ста­ло вве­де­ние Г. Мин­ков­ским в 1908 по­ня­тия про­стран­ст­ва-вре­ме­ни, ко­ор­ди­на­та­ми ко­то­ро­го $x^\mu,\mu=0,1,2,3,$ яв­ля­ют­ся три про­стран­ст­вен­ные де­кар­то­вы ко­ор­ди­на­ты и мо­мент вре­ме­ни $t$, ко­то­ро­му со­пос­тав­ля­ет­ся чет­вёр­тая ко­ор­ди­на­та $x^0=ct$. Точ­ки это­го про­стран­ст­ва на­зы­ва­ют­ся со­бы­тия­ми, а «рас­стоя­ние» ме­ж­ду ни­ми – ин­тер­ва­лом. Квад­рат че­ты­рёх­мер­но­го ин­тер­ва­ла $ds^2$ ме­ж­ду бес­ко­неч­но близ­ки­ми точ­ка­ми оп­ре­де­ля­ет­ся как $$ds^2=\eta_{\mu \nu}dx^\mu dx^\nu=c^2dt^2-dx^2-dy^2-dz^2.\quad\tag{5}$$Пре­об­ра­зо­ва­ния (4) вдоль оси $Ox$ со­хра­ня­ют квад­рат ин­тер­ва­ла $c^2dt^2-dx^2$ (ана­ло­гич­но и для $Oy$$Oz$). Про­стран­ст­вен­ные вра­ще­ния и сдви­ги так­же ос­тав­ля­ют ин­ва­ри­ант­ным $ds^2$. Т. о., груп­па Пу­ан­ка­ре – груп­па изо­мет­рии Мин­ков­ско­го про­стран­ст­ва-вре­ме­ни, на­зы­вае­мо­го пло­ским про­стран­ст­вом-вре­ме­нем. Эта груп­па яв­ля­ет­ся груп­пой сим­мет­рий урав­не­ний Мак­свел­ла, од­на­ко в СТО ей при­да­ёт­ся бо­лее ши­ро­кий смысл как груп­пы пре­об­ра­зо­ва­ний сим­мет­рии всех фи­зич. за­ко­нов, в ча­ст­но­сти урав­не­ний ме­ха­ни­ки.

Дви­же­ние то­чеч­ной час­ти­цы по тра­ек­то­рии $\boldsymbol r(t)$ изо­бра­жа­ет­ся в про­стран­ст­ве Мин­ков­ско­го ми­ро­вой ли­ни­ей $x^\mu(\tau)$, где $\tau$ – не­ко­то­рый па­ра­метр. Для час­тиц не­ну­ле­вой мас­сы, ско­рость дви­же­ния ко­то­рых не мо­жет дос­ти­гать ско­ро­сти све­та, в ка­че­ст­ве па­ра­мет­ра $\tau$ удоб­но взять ин­тер­вал $s$, то­гда квад­рат про­из­вод­ной $u^\mu=dx^\mu/ds$, на­зы­вае­мой че­ты­рёх­мер­ной ско­ро­стью, бу­дет ра­вен еди­ни­це в мет­ри­ке Мин­ков­ско­го. Без­мас­со­вые час­ти­цы, та­кие как фо­тон, дви­жут­ся со ско­ро­стью све­та в лю­бой ИСО; их ми­ро­вые ли­нии нель­зя па­ра­мет­ри­зо­вать ин­тер­ва­лом, т. к. ин­тер­вал ме­ж­ду лю­бы­ми дву­мя по­ло­же­ния­ми фо­то­на ра­вен ну­лю, как и квад­рат че­ты­рёх­мер­ной ско­ро­сти.

В про­стран­ст­ве Мин­ков­ско­го су­ще­ст­ву­ет ин­ва­ри­ант­ная от­но­си­тель­но пре­об­ра­зо­ва­ний Ло­рен­ца по­верх­ность (све­то­вой ко­нус): $$x^2+y^2+z^2-c^2t^2=0,\quad\tag{6}$$ко­то­рая де­лит про­стран­ст­во со­бы­тий на 3 час­ти. Верх­няя часть ко­ну­са $(t \gt 0)$ со­дер­жит все со­бы­тия, на­хо­дя­щие­ся в бу­ду­щем по от­но­ше­нию к со­бы­тию, при­ня­то­му за на­ча­ло $O$ че­ты­рёх­мер­ной сис­те­мы ко­ор­ди­нат. Ми­ро­вые ли­нии мас­сив­ных час­тиц, про­хо­дя­щие че­рез $O$, ле­жат внут­ри све­то­во­го ко­ну­са. Об­ласть внут­ри ниж­ней час­ти све­то­во­го ко­ну­са яв­ля­ет­ся об­ла­стью аб­со­лют­но­го про­шло­го по от­но­ше­нию к точ­ке $O$; эти со­от­но­ше­ния хро­но­ло­гии не за­ви­сят от вы­бо­ра той или иной ИСО. Все точ­ки внут­ри ко­ну­са свя­за­ны с $O$ ин­тер­ва­лом, квад­рат ко­то­ро­го по­ло­жи­те­лен; та­кой ин­тер­вал на­зы­ва­ет­ся вре­ме­ни­по­доб­ным.

Об­ласть вне све­то­во­го ко­ну­са от­ве­ча­ет со­бы­ти­ям, свя­зан­ным с $O$ ин­тер­ва­лом, квад­рат ко­то­ро­го от­ри­ца­те­лен; та­кой ин­тер­вал на­зы­ва­ет­ся про­стран­ст­вен­но­по­доб­ным. Со­бы­тия в этой об­лас­ти про­ис­хо­дят в раз­ных про­стран­ст­вен­ных точ­ках в лю­бой ИСО и яв­ля­ют­ся аб­со­лют­но уда­лён­ны­ми от со­бы­тия $O$. Та­кие со­бы­тия не мо­гут быть при­чин­но свя­зан­ны­ми.

Са­ма по­верх­ность све­то­во­го ко­ну­са – гео­мет­рич. ме­сто ми­ро­вых ли­ний без­мас­со­вых час­тиц (фрон­тов элек­тро­маг­нит­ных волн, све­то­вых сиг­на­лов), рас­про­стра­няю­щих­ся со ско­ро­стью $c$. Эта ско­рость яв­ля­ет­ся пре­дель­ной ско­ро­стью лю­бых пе­ре­ме­ще­ний ре­аль­ных фи­зич. тел.

Парадоксальные эффекты,

ко­то­рые пред­ска­зы­ва­ет СТО, воз­ни­ка­ют при дви­же­нии со ско­ро­стью, близ­кой к $c$. Са­мый из­вест­ный из них – эф­фект за­мед­ле­ния хо­да дви­жу­щих­ся ча­сов (па­ра­докс вре­ме­ни). Ча­сы, дви­жу­щие­ся от­но­си­тель­но на­блю­да­те­ля, идут для не­го мед­лен­нее, чем точ­но та­кие же ча­сы у не­го в ру­ках. Дей­ст­ви­тель­но, квад­рат ин­тер­ва­ла, раз­де­ляю­ще­го два близ­ких по­ло­же­ния ча­сов, дви­жу­щих­ся со ско­ро­стью $\boldsymbol v=d \boldsymbol r/dt$, есть $$ds^2=c^2dt^2-d \boldsymbol r^2=c^2dt^2- \boldsymbol v^2 dt^2=c^2(1-\boldsymbol v^2/c^2)dt^2.$$От­но­си­тель­но дру­гой ИСО, ско­рость ко­то­рой сов­па­да­ет со ско­ро­стью ча­сов, ча­сы на­хо­дят­ся в по­кое и, сле­до­ва­тель­но, $ds^2=c^2dt′^2$. При­рав­ни­вая квад­ра­ты ин­тер­ва­лов, по­лу­ча­ем: $$dt'=dt \sqrt{1-v^2/c^2},\quad\tag{7}$$что и до­ка­зы­ва­ет ут­вер­жде­ние. Этот эф­фект мож­но сфор­му­ли­ро­вать по-дру­го­му: один из близ­не­цов, со­вер­шаю­щий кос­мич. пу­те­ше­ст­вие, ока­зы­ва­ет­ся мо­ло­же дру­го­го, ос­таю­ще­го­ся на Зем­ле (т. н. па­ра­докс близ­не­цов). Па­ра­док­саль­ным ка­жет­ся, что в сис­те­ме от­счё­та ас­тро­нав­та дви­жет­ся не он сам, а его ком­пань­он на Зем­ле, но эта сис­те­ма от­счё­та не­инер­ци­аль­на (рас­чёт в рам­ках ОТО по­ка­зы­ва­ет, что эф­фект дей­ст­ви­тель­но име­ет ме­сто).

Вто­рой эф­фект – т. н. со­кра­ще­ние Ло­рен­ца – Фицд­же­раль­да. Пусть ли­ней­ка, собств. дли­на ко­то­рой (в по­коя­щей­ся ИСО $K'$) рав­на $l_0$, дви­жет­ся со ско­ро­стью $\boldsymbol v$ вдоль оси $Ox$ от­но­си­тель­но ИСО $K$. По ча­сам $K$ в не­ко­то­рый мо­мент време­ни про­из­во­дят­ся од­но­вре­мен­ные из­ме­ре­ния ко­ор­ди­нат на­ча­ла и кон­ца ли­ней­ки. То­гда $\Delta t=0$ и, cогласно (4), $\Delta x'=\gamma \Delta x$. Обо­зна­чая дли­ну ли­ней­ки, из­ме­рен­ную в $K$, че­рез $l=\Delta x$ и учи­ты­вая, что $l_0=\Delta x'$, на­хо­дим: $l=l_0\sqrt{1-v^2/c^2}$, т. е. дви­жу­щая­ся ли­ней­ка ка­жет­ся ко­ро­че. За­ме­тим, что в сис­те­ме $K$ по­ло­же­ния на­ча­ла и кон­ца ли­ней­ки фик­си­ру­ют­ся од­но­вре­мен­но $\Delta t=0$, од­на­ко эти со­бы­тия не од­но­вре­мен­ны по ча­сам $K'$ $(\Delta t' \neq0)$. Этот эф­фект опи­сан в 1889 ирл. фи­зи­ком Дж. Фицд­же­раль­дом и до­пол­нен в 1892 Х. А. Ло­рен­цем, ис­поль­зо­вав­шим его для объ­яс­не­ния не­за­ви­си­мо­сти ско­ро­сти све­та от дви­же­ния Зем­ли от­но­си­тель­но эфи­ра.

Тре­тий эф­фект, пред­ска­зы­вае­мый СТО, – от­но­си­тель­ность од­но­вре­мен­ности. Ес­ли два раз­де­лён­ных про­стран­ст­вен­но­по­доб­ным ин­тер­ва­лом со­бы­тия про­ис­хо­дят од­но­вре­мен­но в дви­жу­щей­ся сис­те­ме от­счё­та $K'$, то они бу­дут не од­но­вре­мен­ны от­но­си­тель­но не­под­виж­ной сис­те­мы $K$. При $\Delta t'=0$ из пре­об­ра­зо­ва­ний Ло­рен­ца сле­ду­ет $\Delta t=(v/c^2)\Delta x$. Ес­ли $\Delta x=x_2-x_1 \gt 0$, то и $\Delta t=t_2-t_1 \gt 0$. Это оз­на­ча­ет, что для не­под­виж­но­го на­блю­да­те­ля пер­вое со­бы­тие про­ис­хо­дит рань­ше вто­ро­го $(t_2-t_1)$.

Пространство скоростей

Пусть ско­рость час­ти­цы от­но­си­тель­но сис­те­мы $K$ есть $\boldsymbol v=d \boldsymbol r/dt$, а от­но­си­тель­но сис­те­мы $K'$ рав­на $\boldsymbol v'=d \boldsymbol r'/dt$. Ес­ли ско­рость сис­те­мы $K'$ на­прав­ле­на вдоль оси $Ox$ сис­те­мы $K$, то фор­му­лы пре­об­ра­зо­ва­ния ком­по­нент ско­ро­сти мож­но по­лу­чить, диф­фе­рен­ци­руя фор­му­лы (4): $$v'_x=\frac{v_x-V}{1-\frac{v_xV}{c^2}};\quad v'_{y,z}=\frac{v_{y,z}\sqrt{1-\frac{V^2}{c^2}}}{1-\frac{v_xV}{c^2}}.$$Ес­ли $v_x=c (v_y=v_z=0)$, то $v'_x=c$ не­зави­си­мо от $V$, т. е. ско­рость све­та оди­на­ко­ва во всех ИСО не­за­ви­си­мо от дви­же­ния ис­точ­ни­ка.

Луч све­та, рас­про­стра­няю­щий­ся в сис­те­ме $K$ под уг­лом $\theta$ к оси $Oy$ $(v_x=c \cos \theta, v_y=c \sin \theta)$, бу­дет ви­ден из сис­те­мы $K'$ под др. уг­лом $\theta'$: $$\frac{v'_y}{v'_x}=\text{tg} \theta'=\frac{\sin \theta\sqrt{1-\frac{V^2}{c^2}}}{\cos \theta-\frac{V}{c}}.$$Это яв­ле­ние, на­зы­вае­мое абер­ра­ци­ей све­та, хо­ро­шо из­вест­но в ас­тро­но­мии как го­дич­ное из­ме­не­ние уг­ло­во­го по­ло­же­ния звёзд за счёт из­ме­не­ния на­прав­ле­ния дви­же­ния Зем­ли во­круг Солн­ца.

Ес­ли рас­смат­ри­вать от­но­сит. ско­рость двух час­тиц 1 и 2 как ско­рость час­ти­цы 2 в сис­те­ме по­коя час­ти­цы 1 и вве­сти про­стран­ст­во ско­ро­стей, в ко­то­ром «рас­стоя­ние» ме­ж­ду близ­ки­ми точ­ка­ми рав­но квад­ра­ту от­но­сит. ско­ро­сти, то, вво­дя для $\boldsymbol v$ сфе­рич. ко­ор­ди­на­ты $v=c\text{th} \psi, \theta, \phi$, на­хо­дим, что ре­ля­ти­ви­ст­ское про­стран­ст­во ско­ро­стей $$dl^2_v=c^2(d\psi^2+\text{sh}^2\psi(d\theta^2+\sin^2\theta d\phi^2))$$яв­ля­ет­ся про­стран­ст­вом с по­сто­ян­ной от­ри­ца­тель­ной кри­виз­ной (про­стран­ст­вом Ло­ба­чев­ско­го).

Релятивистская механика

Не­ре­ля­тиви­ст­ское урав­не­ние дви­же­ния $md^2\boldsymbol r/dt^2=\boldsymbol f$ (си­ла Ло­рен­ца $\boldsymbol f=e(\boldsymbol E+[\boldsymbol v \times \boldsymbol B])/c$$e$ – электрич. заряд) не­ко­ва­ри­ант­но от­но­си­тель­но пре­об­ра­зо­ва­ний Ло­рен­ца (3) (пра­вая и ле­вая час­ти пре­об­ра­зу­ют­ся не­оди­на­ко­во), од­на­ко оно спра­вед­ли­во при $v \ll c$. Что­бы най­ти ре­ля­ти­ви­ст­ское ко­ва­ри­ант­ное урав­не­ние, пе­ре­хо­дя­щее в не­го при ма­лых ско­ро­стях, най­дём че­ты­рёх­мер­ное ус­ко­ре­ние, диф­фе­рен­ци­руя че­ты­рёх­мер­ную ско­рость $u^\mu$ по собств. вре­ме­ни: $w^\mu=du^\mu/ds$. С учё­том то­го, что квад­рат че­ты­рёх­мер­ной ско­ро­сти в мет­ри­ке Мин­ков­ско­го $u^2≡u^\mu u^\nu \eta_{\mu \nu}=1$, име­ем $u^0=1/(1-v^2/c^2)^{1/2}$. В мгно­вен­ной сис­те­ме по­коя час­ти­цы $w^0=0$$\boldsymbol w=\boldsymbol a$. Учи­ты­вая, что си­ла Ло­рен­ца вы­ра­жа­ет­ся че­рез тензор элек­тро­маг­нит­но­го по­ля как $f^i=u_0^{-1}F_\mu^iu^\mu$, мож­но за­клю­чить, что в ре­ля­ти­ви­ст­ской ме­ха­ни­ке урав­не­ние дви­же­ния есть $$mc^2(du^\mu/ds)=eF^\mu_\nu u^\nu.\quad\tag{8}$$

Про­стран­ст­вен­ная часть это­го урав­не­ния при $v \ll c$ пе­ре­хо­дит в не­ре­ля­ти­ви­ст­ское урав­не­ние дви­же­ния. Временнáя ком­по­нен­та не яв­ля­ет­ся не­за­ви­си­мой, но она име­ет са­мо­сто­ят. зна­че­ние как урав­не­ние из­ме­не­ния энер­гии, т. к. $ec\boldsymbol E\cdot \boldsymbol v$ есть ум­но­жен­ная на $c$ ра­бо­та си­лы Ло­рен­ца, со­вер­шае­мая над за­ря­дом в еди­ни­цу вре­ме­ни. В ме­ха­ни­ке ра­бо­та си­лы рав­на из­ме­не­нию ки­не­тич. энер­гии $\mathscr E$, от­ку­да сле­ду­ет, что ре­ля­ти­ви­ст­ское вы­ра­же­ние для энер­гии есть $\mathscr E=mc^2u^0$. Ана­ло­гич­но мож­но по­лу­чить ре­ля­ти­ви­ст­ское вы­ра­же­ние для им­пуль­са, ис­хо­дя из то­го, что его про­из­вод­ная по вре­ме­ни рав­на си­ле Ло­рен­ца: $d \boldsymbol p/dt=\boldsymbol f$. Вы­ра­зив ве­ли­чи­ны че­рез трёх­мер­ную ско­рость, на­хо­дим: $$\mathscr E=mc^2u^0=\frac{mc^2}{\sqrt{1-v^2/c^2}},\\ \boldsymbol p=mc \boldsymbol v=\frac{m\boldsymbol v}{\sqrt{1-v^2/c^2}},\quad\tag{9}$$что объ­е­ди­ня­ет­ся в ре­ля­ти­ви­ст­ский че­ты­рёх­мер­ный им­пульс $p^\mu=mcu^\mu=(\mathscr E/c,\boldsymbol p)$. От­сю­да не­труд­но по­нять не­воз­мож­ность для мас­сив­ной час­ти­цы пре­одо­леть барь­ер $v=c$: для это­го не­об­хо­ди­мо со­об­щить час­ти­це бес­ко­неч­ную энер­гию. Пре­дел для энер­гии и им­пуль­са при $v \to c$ су­щест­ву­ет, ес­ли од­но­вре­мен­но уст­ре­мить мас­су час­ти­цы к ну­лю. Дей­ст­ви­тель­но, из $u^\mu u^\nu \eta_{\mu \nu}=1$ име­ем: $$p^\mu p^\nu \eta_{\mu \nu}=(\mathscr E/c)^2-p^2c^2=m^2c^2,\quad\tag{10}$$что име­ет ре­гу­ляр­ный пре­дел при $m \to 0$, при ко­то­ром энер­гия без­мас­со­вой час­ти­цы про­пор­цио­наль­на импульсу: $\mathscr ℰ=cp$. Это ра­вен­ст­во име­ет ме­сто и в кван­то­вой тео­рии, в ко­то­рой энер­гия фо­то­на $\mathscr E=\hbar \omega$ ($\hbar$  – по­сто­ян­ная План­ка), им­пульс $\boldsymbol p=\hbar \boldsymbol k$, где $\omega$ – час­то­та, $\boldsymbol k$ – вол­но­вой век­тор мо­но­хро­ма­тич. элек­тро­маг­нит­ной вол­ны, удов­ле­тво­ряю­щие со­от­но­ше­нию $\omega=ck$.

При столк­но­ве­ни­ях час­тиц мож­но вы­брать на­чаль­ное и ко­неч­ное со­стоя­ния так, что час­ти­цы прак­ти­че­ски не взаи­модей­ст­ву­ют. То­гда мож­но за­пи­сать за­кон со­хра­не­ния че­ты­рёх­мер­но­го им­пуль­са в ви­де ра­вен­ст­ва сум­мы на­чаль­ных че­ты­рёх­мер­ных им­пуль­сов сум­ме че­ты­рёх­мер­ных им­пуль­сов в ко­неч­ном со­стоя­нии. Этот за­кон объ­е­ди­ня­ет за­ко­ны со­хра­не­ния энер­гии и обыч­но­го им­пуль­са. При этом сум­ма масс час­тиц не со­хра­ня­ет­ся, что хо­ро­шо из­вест­но в фи­зи­ке эле­мен­тар­ных час­тиц; напр., мас­сив­ные элек­трон и по­зи­трон ан­ни­гили­ру­ют с об­ра­зо­ва­ни­ем двух без­мас­со­вых фо­то­нов.

Специальная теория относительности и квантовая теория

Кван­то­вая ме­ха­ни­ка бы­ла пер­во­на­чаль­но сфор­му­ли­ро­ва­на как не­ре­ля­ти­ви­ст­ская тео­рия. Рас­про­стра­не­ние её прин­ци­пов на ре­ля­ти­ви­ст­ские яв­ле­ния при­ве­ло к соз­да­нию кван­то­вой тео­рии по­ля (КТП), в ко­то­рой сти­ра­ет­ся грань ме­ж­ду по­ля­ми и час­ти­ца­ми. Кван­то­ва­ние элек­тро­маг­нит­но­го по­ля Мак­свел­ла при­во­дит к пред­став­ле­нию о без­мас­со­вых час­ти­цах – фо­то­нах как кван­тах элек­тро­маг­нит­но­го по­ля, дви­жу­щих­ся со ско­ро­стью све­та, энер­гия ко­то­рых про­пор­цио­наль­на их им­пуль­су. Элек­тро­ны в КТП опи­сы­ва­ют­ся по­лем Ди­ра­ка, от­ве­чаю­щим спи­нор­но­му пред­став­ле­нию груп­пы Ло­рен­ца. В тео­рии Ди­ра­ка элек­трон со­вме­ст­но со сво­ей ан­ти­час­ти­цей – по­зи­тро­ном – опи­сы­ва­ет­ся 4 ком­плекс­ны­ми функ­ция­ми ко­ор­ди­нат и вре­ме­ни, пре­об­ра­зую­щи­ми­ся друг че­рез дру­га при пе­ре­хо­де от од­ной ИСО к дру­гой. Сис­те­ма взаи­мо­дей­ст­вую­щих по­лей Ди­ра­ка и Мак­свел­ла опи­сы­ва­ет­ся кван­то­вой элек­тро­ди­на­ми­кой, ко­то­рая це­ли­ком ба­зи­ру­ет­ся на СТО и бле­стя­ще со­гла­су­ет­ся с экс­пе­ри­мен­та­ми, обес­пе­чи­вая точ­ней­шую кос­вен­ную про­вер­ку СТО. Совр. тео­рия эле­мен­тар­ных час­тиц – стан­дарт­ная мо­дель – це­ли­ком ос­но­ва­на на СТО; она опи­сы­ва­ет от­кры­тые в 20 в. сла­бое и силь­ное взаи­мо­дей­ст­вия. В хо­де раз­ви­тия КТП вы­яс­ни­лось, что ло­ренц-ин­ва­ри­ант­ность тес­но свя­за­на с дис­крет­ной сим­мет­ри­ей, на­зы­вае­мой CPT-ин­ва­ри­ант­но­стью. По­след­няя оз­на­ча­ет, что все фи­зич. за­ко­ны ос­та­ют­ся не­из­мен­ны­ми, ес­ли за­ме­нить все час­ти­цы на ан­ти­час­ти­цы (С-пре­об­ра­зо­ва­ние), а так­же по­ме­нять на про­ти­во­по­лож­ные на­прав­ле­ния трёх про­стран­ст­вен­ных ко­ор­ди­нат­ных осей (Р) и на­прав­ле­ние вре­ме­ни (Т). В сер. 20 в. В. Пау­ли по­ка­зал, что из ло­ренц-ин­ва­ри­ант­но­сти и ло­каль­но­сти КТП сле­ду­ет её CPT-ин­ва­ри­ант­ность.

Общая теория относительности

Пред­став­ле­ние об ИСО, ле­жа­щее в ос­но­ве СТО, спра­вед­ли­во лишь до тех пор, по­ка мы пре­неб­ре­га­ем эф­фек­та­ми гра­ви­та­ции. Но гра­ви­тац. взаи­мо­дей­ст­вие, в от­ли­чие от элек­тро­маг­нит­но­го, яв­ля­ет­ся уни­вер­саль­ным: все ви­ды ма­те­рии (элек­три­че­ски ней­траль­ные и за­ря­жен­ные час­ти­цы, элек­тро­маг­нит­ное и др. из­вест­ные в фи­зи­ке по­ля) взаи­мо­дей­ст­ву­ют гра­ви­та­ци­он­но. В КТП до­ка­зы­ва­ет­ся, что все по­ля взаи­мо­дей­ст­ву­ют с гра­ви­тац. по­лем с оди­на­ко­вой кон­стан­той свя­зи (С. Вайн­берг, 1960). В рам­ках СТО по­стро­ить ре­ля­ти­ви­ст­ское обоб­ще­ние нью­то­нов­ской тео­рии тя­го­те­ния не уда­ёт­ся, и об­ще­при­ня­той тео­ри­ей гра­ви­та­ции яв­ля­ет­ся ОТО, в ос­но­ве ко­то­рой ле­жит прин­цип ло­каль­ной эк­ви­ва­лент­но­сти сил инер­ции и гра­ви­та­ции. Пе­ре­ход от ИСО к не­инер­ци­аль­ным сис­те­мам от­счё­та опи­сы­ва­ет­ся пре­об­ра­зо­ва­ни­ем ко­ор­ди­нат об­ще­го ви­да $x^\mu \to x^{\mu'} (x)$, в ре­зуль­та­те че­го не за­ви­ся­щий от ко­ор­ди­нат мет­ри­че­ский тензоp $g_{\mu \nu}$ про­стран­ст­ва со­бы­тий ста­но­вит­ся функ­ци­ей ко­ор­ди­нат: $ds^2=g_{\mu \nu}(x)dx^\mu dx^\nu$. Та­кое про­стран­ст­во-вре­мя на­зы­ва­ет­ся ис­крив­лён­ным, в от­ли­чие от плос­ко­го про­стран­ст­ва-вре­ме­ни в СТО. Ин­ва­ри­ант­ность мет­ри­ки при об­щих пре­об­ра­зо­ва­ни­ях ко­ор­ди­нат уже не пред­по­ла­га­ет­ся, од­на­ко тре­бу­ет­ся ко­ва­ри­ант­ность (не­из­мен­ность ви­да) урав­не­ний (прин­цип об­щей ко­ва­ри­ант­но­сти). Прин­цип эк­ви­ва­лент­но­сти оз­на­ча­ет, что гра­ви­тац. по­ле так­же пpоявляет се­бя чеpез метpику про­стран­ст­ва со­бы­тий $g_{\mu \nu}(x)$. При этом, од­на­ко, тен­зор кри­виз­ны про­стран­ст­ва со­бы­тий от­ли­чен от ну­ля, и нель­зя мет­рич. тензоp при­вес­ти к плос­ко­му $\eta_{\mu \nu}$ всю­ду.

По­сколь­ку в ОТО вы­бор ко­ор­ди­нат про­из­во­лен, $x^\mu$ уже не свя­за­ны непо­сpед­ственно с фи­зич. pасстояниями и вpе­менем. Для оп­ре­де­ле­ния фи­зич. рас­стоя­ний и про­ме­жут­ков вре­ме­ни ме­ж­ду со­бы­тия­ми не­об­хо­ди­мо за­дать про­це­ду­ру из­ме­ре­ния. Про­ме­жу­ток вре­ме­ни $dt$ ме­ж­ду со­бы­тия­ми, раз­де­лён­ны­ми ин­тер­ва­лом $s$ и про­ис­хо­дя­щи­ми в од­ной про­стран­ст­вен­ной точ­ке $(dx^i=0)$, ра­вен $d \tau=(1/c)\sqrt{g_{00}(x)dx^0}$; от­сю­да гра­ви­тац. крас­ное сме­ще­ние час­то­ты вол­ны, рас­про­стра­няю­щей­ся в ста­тич. гра­ви­тац. по­ле из точ­ки $\boldsymbol r_1$ в точ­ку $\boldsymbol r_2$$$\omega_1\sqrt{g_{00}(\boldsymbol r_1)}=\omega_2\sqrt{g_{00}(\boldsymbol r_2)}.$$

Урав­не­ния фи­зич. тео­рий, из­вест­ные в СТО, мож­но ис­поль­зо­вать и для ис­крив­лён­но­го про­стран­ст­ва-вре­ме­ни, за­ме­няя ча­ст­ные про­из­вод­ные на ко­ва­риант­ные. Урав­не­ния Мак­свел­ла для ис­крив­лён­но­го про­стран­ст­ва-вре­ме­ни име­ют вид: $$\nabla_\nu F^{\mu \nu} \equiv \frac{1}{\sqrt{-g}}\partial_\nu(\sqrt{-g}F^{\mu \nu})=-\frac{4 \pi}{c}j^\mu.$$

Бо­лее слож­ной за­да­чей, ре­шён­ной А. Эйн­штей­ном и Д. Гиль­бер­том в 1915, бы­ло оты­ска­ние урав­не­ний са­мо­го гра­ви­тац. по­ля. Та­кое урав­не­ние долж­но быть об­ще­ко­ва­ри­ант­ным и пе­ре­хо­дить в нью­то­нов­ский за­кон тя­го­те­ния в не­ре­ля­ти­ви­ст­ском пре­де­ле. По­лу­чен­ное ими урав­не­ние вы­ра­жа­ет связь ме­ж­ду ма­те­ри­ей и мет­ри­кой про­стран­ст­ва-вре­ме­ни.

ОТО объ­яс­ня­ет сме­ще­ние пе­ри­ге­лия пла­нет, от­кло­не­ние лу­чей в по­ле Солн­ца и при­во­дит к но­вым пред­ска­за­ни­ям, важ­ней­ши­ми из ко­то­рых яв­ля­ют­ся гра­ви­та­ци­он­ные вол­ны и чёр­ные ды­ры. На ОТО ба­зи­ру­ет­ся совр. кос­мо­ло­гия, вклю­чая мо­дель рас­ши­ряю­щей­ся (ин­фля­ци­он­ной) Все­лен­ной.

При­ме­ни­мость ОТО в мик­ро­ми­ре ог­рани­че­на план­ков­ской дли­ной $l_{\text{Pl}}\sqrt{\hbar G/c}=1,616·10^{–35}$ см, что со­от­вет­ст­ву­ет энер­гии по­коя мас­сы по­ряд­ка 1 г, или энер­гии 1019 ГэВ. Эта энер­гия на мно­го по­ряд­ков пре­вос­хо­дит ха­рак­тер­ные энер­гии взаи­мо­дей­ст­вия эле­мен­тар­ных час­тиц (про­бле­ма ие­рар­хий). Пред­по­ла­га­ют, что ис­тин­ная план­ков­ская энер­гия долж­на быть го­раз­до ни­же (по­ряд­ка 1 ТэВ), но гра­ви­та­ция на ма­лых рас­стоя­ни­ях ста­но­вит­ся мно­го­мер­ной. Эта мо­дель при­во­дит к пред­ска­занию воз­мож­но­сти ро­ж­де­ния чёр­ных дыр на ус­ко­ри­те­лях.

Квантование гравитации и теория струн

Ос­но­ван­ная на СТО стан­дарт­ная мо­дель не вклю­ча­ет гра­ви­та­цию. Кван­то­ва­ние эйн­штей­нов­ской ОТО при­во­дит к не­пе­ре­нор­ми­руе­мой тео­рии и тре­бу­ет при­вле­че­ния но­вых прин­ци­пов, от­но­си­тель­но ко­то­рых по­ка нет еди­но­го мне­ния. Од­на из та­ких тео­рий – струн тео­рия, пред­став­ляю­щая кван­то­вую тео­рию про­тя­жён­ных объ­ек­тов – струн и бран. В от­ли­чие от то­чеч­ных час­тиц, про­тя­жён­ные объ­ек­ты об­ла­да­ют внутр. ди­на­ми­кой, и их воз­бу­ж­дён­ные со­стоя­ния опи­сы­ва­ют разл. по­ля, в т. ч. гра­ви­та­ци­он­ное. Клас­сич. гра­ви­тац. взаи­мо­дей­ст­вие воз­ни­ка­ет, ко­гда взаи­мо­дей­ст­вие струн ме­ж­ду со­бой ста­но­вит­ся силь­ным. В этом под­хо­де СТО мож­но по­ни­мать как тео­рию, спра­вед­ли­вую, ко­гда взаи­мо­дей­ст­вие струн малó и мо­жет опи­сы­вать­ся тео­ри­ей воз­му­ще­ний. В ре­жи­ме силь­ной свя­зи не­об­хо­ди­мо поль­зо­вать­ся ОТО. 

Тео­рия струн пред­ска­зы­ва­ет уди­ви­тель­ное взаи­мо­от­но­ше­ние ме­ж­ду кван­то­вы­ми тео­рия­ми в плос­ком про­стран­ст­ве-вре­ме­ни и клас­сич. тео­ри­ей в ис­крив­лён­ном про­стран­ст­ве-вре­ме­ни, ко­то­рое на­зы­ва­ют го­ло­гра­фи­че­ским. Ока­зы­ва­ет­ся, что рас­про­стра­не­ние клас­сич. по­лей в D-мер­ном про­стран­ст­ве-вре­ме­ни по­сто­ян­ной от­ри­ца­тель­ной кри­виз­ны (про­стран­ст­ве ан­ти-де Сит­те­ра) со­от­вет­ст­ву­ет кван­то­вой тео­рии в плос­ком про­стран­ст­ве D  1 из­ме­ре­ний. Так, те­п­ло­вые свой­ст­ва кван­то­вой кварк-глю­он­ной плаз­мы, об­ра­зую­щей­ся при столк­но­ве­ни­ях тя­жё­лых ядер с энер­ги­ей по­ряд­ка не­сколь­ких ТэВ, мож­но опи­сы­вать, рас­смат­ри­вая клас­сич. чёр­ные ды­ры в пя­ти­мер­ном про­стран­ст­ве ан­ти-де Сит­те­ра. Другой при­мер – го­ло­гра­фич. опи­са­ние вы­со­ко­тем­пе­ра­тур­ной сверх­про­во­ди­мо­сти, ко­то­рая, как по­ла­га­ют, су­ще­ст­ву­ет бла­го­да­ря эф­фек­там тео­рии по­ля в трёх­мер­ном про­стран­ст­ве ти­па Мин­ков­ско­го.

Экспериментальные основания специальной теории относительности

На мо­мент соз­да­ния СТО её экс­пе­рим. ос­но­ву со­став­ля­ли толь­ко оп­тич. опы­ты Май­кель­со­на – Мор­ли (1887), по­ка­зав­шие от­сут­ст­вие за­ви­си­мо­сти ско­ро­сти све­та от на­прав­ле­ния дви­же­ния ис­точ­ни­ка. Изо­тро­пия ско­ро­сти све­та не­од­но­крат­но про­ве­ря­лась на про­тя­же­нии 20 в.; от­сут­ст­вие ани­зо­тро­пии бы­ло до­ка­за­но с по­греш­но­стью до 10–17. По­сту­лат не­за­ви­си­мо­сти ско­ро­сти све­та от аб­со­лют­ной ве­ли­чи­ны ско­ро­сти ис­точ­ни­ка не имел пря­мо­го под­твер­жде­ния на опы­те. Та­кой экс­пе­ри­мент был вы­пол­нен амер. физиками Р. Кен­не­ди и Э. Торн­дай­ком в 1932, сде­лав­ши­ми од­но из плеч ин­тер­фе­ро­мет­ра Май­кель­со­на ко­ро­че дру­го­го. С изо­бре­те­ни­ем ла­зе­ров точ­ность ин­тер­фе­ромет­рич. экс­пе­ри­мен­тов су­ще­ст­вен­но воз­рос­ла. В 1979 А. Брие и Дж. Холл по­вы­си­ли точ­ность экс­пе­ри­мен­та Май­кель­со­на – Мор­ли в 4000 раз. 

Многие экс­пе­ри­мен­ты бы­ли по­свя­ще­ны про­вер­ке за­мед­ле­ния хо­да дви­жу­щих­ся ча­сов. С этим эф­фек­том свя­за­но уве­ли­че­ние вре­ме­ни жиз­ни не­ста­биль­ных час­тиц при уве­ли­че­нии их ско­ро­сти, что хо­ро­шо на­блю­да­ет­ся для $\pi$-ме­зо­нов в кос­мич. лу­чах. За­мед­ле­ние вре­ме­ни ле­жит в ос­но­ве тех­но­ло­гии по­лу­че­ния вто­рич­ных пуч­ков не­ста­биль­ных час­тиц. Напр., $\sum^+$- и $\sum^-$-ги­пе­ро­ны жи­вут со­от­вет­ст­вен­но 0,8·10–10 и 1,5·10–10 c, но уже при $\gamma \approx$10 они име­ют дли­ны рас­па­да 24 см и 45 см, что по­зво­ля­ет сфор­ми­ро­вать $\sum^\pm$-пуч­ки. Амер. физики Г. Айвс и Д. Сти­лу­элл в 1938–41 ис­сле­до­ва­ли за­мед­ле­ние вре­ме­ни с по­мощью по­пе­реч­но­го эф­фек­та До­п­ле­ра. Впо­след­ст­вии ана­ло­гич­ные из­ме­ре­ния не­од­но­крат­но по­вто­ря­лись; по­греш­ность со­став­ля­ла ок. 10–7.

Из­ме­не­ние хо­да вре­ме­ни дви­жу­щих­ся ча­сов про­ве­ря­лось пе­ре­ме­ще­ни­ем атом­ных ча­сов на са­мо­лё­тах. При этом не­об­хо­ди­мо бы­ло учи­ты­вать так­же эф­фект ОТО – из­ме­не­ние хо­да вре­ме­ни в гра­ви­тац. по­ле Зем­ли. Фор­му­лы для из­мене­ния те­че­ния вре­ме­ни в за­ви­си­мо­сти от ско­ро­сти и вы­со­ты спут­ни­ков ис­поль­зу­ют­ся в на­ви­гац. тех­но­ло­гии GPS и ГЛОНАСС.

В фи­зи­ке эле­мен­тар­ных час­тиц ис­сле­до­ва­лись воз­мож­ные на­ру­ше­ния CPT-тео­ре­мы (см. Теорема СРТ), что в ком­би­на­ции с не­со­хра­не­ни­ем ба­ри­он­но­го чис­ла по­зво­ли­ло бы объ­яс­нить ба­ри­он­ную асим­мет­рию на­блю­дае­мой Все­лен­ной. На­ру­ше­ние CPT-тео­ре­мы при­во­ди­ло бы, в ча­ст­но­сти, к раз­ли­чию масс K0-ме­зо­на и со­от­вет­ст­вую­щей ан­ти­час­ти­цы. Из­ме­ре­ние ос­цил­ля­ций в сис­те­ме этих час­тиц по­ка­зы­ва­ет, что раз­ность масс мень­ше 5·10–19 ГэВ.

Ас­тро­но­мич. на­блю­де­ния по­зво­ля­ют по­лу­чить силь­ные ог­ра­ни­че­ния на оп­ре­де­лён­ные ти­пы воз­мож­но­го на­ру­ше­ния СТО, напр. из­ме­не­ние по­ля­ри­за­ции све­та при рас­про­стра­не­нии на боль­шие рас­стоя­ния. Для это­го ис­сле­ду­ет­ся син­хро­трон­ное из­лу­че­ние от уда­лён­ных ра­дио­га­лак­тик. Пер­во­на­чаль­ная по­ля­ри­за­ция за­ви­сит от маг­нит­но­го по­ля га­лак­ти­ки и кор­ре­ли­ру­ет с её уда­ле­ни­ем. Срав­не­ние на­блю­дае­мой по­ля­ри­за­ции из­лу­че­ния от разл. га­лак­тик по­зво­ля­ет убе­дить­ся в от­сут­ст­вии эф­фек­та на уров­не 10–42 ГэВ (в энер­ге­тич. еди­ни­цах). На­ру­ше­ние со­от­но­ше­ния ме­ж­ду энер­ги­ей и им­пуль­сом мог­ло бы при­во­дить к за­держ­ке при­бы­тия фо­то­нов от гам­ма-вспле­сков, рас­паду фо­то­нов на элек­трон-по­зи­трон­ные па­ры и т. д. Ни­че­го по­доб­но­го не ре­ги­ст­ри­ру­ет­ся, напр., в на­блю­де­ни­ях син­хро­трон­но­го из­лу­че­ния фо­то­нов с энер­ги­ей до 100 МэВ из Кра­бо­вид­ной ту­ман­но­сти, по­ро­ж­дае­мых элек­тро­на­ми с энер­ги­ей до 1500 ТэВ в маг­нит­ном по­ле 20–50 нТл. Са­мо су­ще­ст­во­ва­ние та­ких элек­тро­нов, дви­жу­щих­ся со ско­ро­стью, от­ли­чаю­щей­ся от ско­ро­сти све­та лишь на 10–19, на­кла­ды­ва­ет силь­ней­шие ог­ра­ни­че­ния на воз­мож­ность на­ру­ше­ния ре­ля­ти­ви­ст­ско­го со­от­но­ше­ния (10).

В фи­зи­ке кос­мич. лу­чей важ­ную роль иг­ра­ет пре­дел К. Грай­зе­на, Г. Т. За­це­пи­на и В. А. Кузь­ми­на (ГЗК-пре­дел), ко­то­рые пред­ска­за­ли, что из-за энер­ге­тич. по­терь, вы­зван­ных ро­ж­де­ни­ем $\pi$-ме­зо­нов при рас­сея­нии на кван­тах ре­лик­то­во­го из­лу­че­ния, на Зем­ле не долж­ны на­блю­дать­ся час­ти­цы с энер­ги­ей св. 5·1019 эВ от ис­точ­ни­ков, уда­лён­ных на рас­стоя­ние бо­лее 50 Мпк. Их при­сут­ст­вие мог­ло бы слу­жить при­зна­ком на­ру­ше­ния ло­ренц-ин­ва­ри­ант­но­сти. На про­тя­же­нии по­след­них лет раз­ные груп­пы экс­пе­римен­та­то­ров за­яв­ля­ли о пре­вы­ше­нии ГЗК-пре­де­ла, но впо­след­ст­вии эти дан­ные не под­твер­жда­лись.

Важ­ное значение в про­вер­ке ре­ля­ти­ви­ст­ской ин­ва­ри­ант­но­сти при­об­ре­ли ней­трин­ные экс­пе­ри­мен­ты. Ра­нее ней­три­но счи­та­лись без­мас­со­вы­ми час­ти­ца­ми, од­на­ко ны­не до­ка­за­но, что их мас­са от­лич­на от ну­ля, хо­тя и очень ма­ла. На­чи­ная с 1970-х гг. про­во­ди­лись экс­пе­ри­мен­ты по из­ме­ре­нию ско­ро­сти ней­три­но как ас­т­ро­фи­зич. про­ис­хо­ж­де­ния, так и от ре­ак­то­ров и ус­ко­ри­те­лей. Наи­бо­лее силь­ное ог­ра­ни­че­ние на от­ли­чие ско­ро­сти ней­три­но от ско­ро­сти све­та бы­ло по­лу­че­но из на­блю­де­ний ней­три­но с энер­гией 10 МэВ от сверх­но­вой SN 1987A, в со­пос­тав­ле­нии с на­блю­де­ни­ем фо­то­нов от то­го же ис­точ­ни­ка: $(v-c)/c\lt$2·10–9. Со­об­ще­ния о ре­ги­ст­ра­ции сверх­све­то­вых ней­три­но (2007, 2011) бы­ли при­зна­ны оши­боч­ны­ми.

Т. о., мно­го­числ. экс­пе­ри­мен­ты сви­де­тель­ст­ву­ют о том, что СТО дей­ст­ви­тель­но опи­сы­ва­ет наш мир. Многие след­ст­вия этой тео­рии ис­поль­зу­ют­ся на прак­ти­ке. Бо­лее то­го, точ­ность их про­вер­ки яв­ля­ет­ся на­столь­ко вы­со­кой, что по­сто­ян­ство ско­ро­сти све­та по­ло­же­но в ос­но­ву оп­ре­де­ле­ния еди­ни­цы дли­ны – мет­ра, в ре­зуль­та­те че­го ско­рость све­та ста­но­вит­ся кон­стан­той ав­то­ма­ти­че­ски, ес­ли из­ме­ре­ния вес­ти в со­от­вет­ст­вии с мет­ро­ло­гич. тре­бо­ва­ния­ми и при обя­зат. ис­поль­зо­ва­нии стан­дарт­ной про­це­ду­ры из­ме­ре­ний с по­мо­щью элек­тро­маг­нит­ных волн. Тем не ме­нее воз­мож­ность на­ру­ше­ния СТО на сверх­ма­лых рас­стоя­ни­ях или в яв­ле­ни­ях кос­мо­ло­гич. мас­штаба про­дол­жа­ет вол­но­вать тео­ре­ти­ков и экс­пе­ри­мен­та­то­ров.

Ком­би­ни­руя экс­пе­ри­мен­ты в об­лас­ти эле­мен­тар­ных час­тиц с ас­т­ро­фи­зич. дан­ны­ми, уда­ёт­ся кос­вен­но про­ник­нуть на рас­стоя­ния, близ­кие к план­ков­ским, рас­смат­ри­вае­мые кван­то­вой тео­ри­ей тя­го­те­ния, од­ной из про­блем ко­то­рой яв­ля­ет­ся не­пе­ре­нор­ми­руе­мость. Пред­по­ло­жив на­ру­ше­ние ло­ренц-ин­ва­ри­ант­но­сти на столь ма­лых рас­стоя­ни­ях, мож­но по­стро­ить пе­ре­нор­ми­руе­мую кван­то­вую тео­рию гра­ви­та­ции.

Не­ко­то­рые не­ре­шён­ные про­бле­мы кос­мо­ло­гии, в ча­ст­но­сти при­сут­ст­вие в спек­тре на­чаль­ных кос­мо­ло­гич. воз­му­ще­ний волн с дли­ной, мень­шей план­ков­ской, так­же сти­му­ли­ру­ют по­строе­ние мо­де­лей с на­ру­ше­ни­ем ло­ренц-ин­ва­ри­ант­но­сти. По­строе­ны мо­де­ли, в ко­то­рых про­стран­ст­во на ма­лых рас­стоя­ни­ях ста­но­вит­ся мно­го­мер­ным; в та­ких мо­де­лях воз­мож­но эф­фек­тив­ное на­ру­ше­ние ло­ренц-ин­ва­ри­ант­но­сти за счёт при­сут­ст­вия до­пол­нит. из­ме­ре­ний (см. Су­пер­гра­ви­та­ция, Су­пер­стру­ны).

Проверка общей теории относительности

Экс­пе­рим. про­вер­ка ОТО про­во­ди­лась и ак­тив­но про­во­дит­ся. Кро­ме клас­сич. экс­пе­ри­мен­тов по из­ме­ре­нию гра­ви­тац. крас­но­го сме­ще­ния, сме­ще­ния пе­ри­ге­ли­ев пла­нет и от­кло­не­ния лу­чей све­та в по­ле Солн­ца, в 20 в. бы­ли вы­пол­не­ны из­ме­ре­ния за­паз­ды­ва­ния ра­дар­но­го эха от Лу­ны и пла­нет, пре­цес­сии ги­ро­ско­пов на спут­ни­ках за счёт гра­витац. взаи­мо­дей­ст­вия с вра­щаю­щей­ся Зем­лёй, от­кры­ты гра­ви­та­ци­он­ные лин­зы, кос­вен­но об­на­ру­же­но из­лу­че­ние гра­ви­тац. волн двой­ны­ми пуль­са­ра­ми, от­кры­ты ней­трон­ные звёз­ды, чёр­ные ды­ры звёзд­ной мас­сы и чёр­ные ды­ры, на­хо­дящие­ся в цен­трах га­лак­тик (в т. ч. нашей). Все эти яв­ле­ния и объ­ек­ты уже сво­им су­ще­ст­во­ва­ни­ем под­твер­жда­ют ОТО. Тем не ме­нее в пре­де­лах дос­тиг­ну­той точ­но­сти ОТО всё же до­пус­ка­ет мо­ди­фи­ка­ции, по­иск ко­то­рых сти­му­ли­ру­ет­ся не­ре­шён­ны­ми про­бле­ма­ми кос­мо­ло­гии, в ча­ст­но­сти про­бле­мой тём­ной энер­гии. Эти мо­ди­фи­ка­ции, од­на­ко, не из­ме­ня­ют прин­ци­па об­щей ко­ва­ри­ант­но­сти ОТО и кон­цеп­ции ис­крив­лён­но­го про­стран­ст­ва-вре­ме­ни. 

Лит.: Эйн­штейн А. Со­б­ра­ние на­уч­ных тру­дов. М., 1965–1966. Т. 1–2; Дью­релл К. Аз­бу­ка тео­рии от­но­си­тель­но­сти. 2-е изд. М., 1970; Тей­лор Э., Уи­лер Д. Фи­зи­ка про­странст­ва-вре­ме­ни. 2-е изд. М., 1971; Виз­гин ВП. Ре­ля­ти­ви­ст­ская тео­рия тя­го­те­ния: Ис­то­ки и фор­ми­ро­ва­ние. 1900–1915. М., 1981; Уилл КМ. Тео­рия и экс­пе­ри­мент в гра­ви­таци­он­ной фи­зи­ке. М., 1985; Гофф­ман Б. Кор­ни тео­рии от­но­си­тель­но­сти. М., 1987; Галь­цов ДВ. Тео­ре­ти­че­ская фи­зи­ка для сту­ден­тов-ма­те­ма­ти­ков. М., 2003; Вейль Г. Про­стран­ст­во. Вре­мя. Ма­те­рия: Лек­ции по об­щей тео­рии от­но­си­тель­но­сти. 2-е изд. М., 2004; Mattingly D. Modern tests of Lorentz invariance // Living Reviews in Relativity. 2005. Vol. 8.

Вернуться к началу