UZ
All
Articles
Dictionary
Quotes
Map

Wikiwand ❤️ Wikipedia

PrivacyTerms

Lorens almashtirish formulalari

From Wikipedia, the free encyclopedia

Lorens almashtirish formulalari
Tarixiy nazarFizik prinsiplarIkkinchi postulatIntervalning oʻzgarmasligiQattiq bayonot va ds2 va ds′2 mutanosibligini isbotlashStandart konfiguratsiyaYechimlarFazoviy vaqt geometriyasidan foydalanishLandau va Lifshitz yechimiManbalar

Maksvell tenglamalaridan tortib, Eynshteynning maxsus nisbiylik postulatlari va elementar algebra va giperbolik funksiyalardan tortib chiziqli algebra va guruhlar nazariyasiga qadar boʻlgan matematik vositalardan tortib, turli fizik prinsiplardan foydalangan holda Lorentz oʻzgarishlarini olishning koʻplab usullari mavjud.

 

Ushbu maqola maxsus nisbiylik kontekstida kuzatish uchun qulay boʻlgan bir nechtasini taqdim etadi, standart konfiguratsiyadagi Lorentz kuchayishining eng oddiy holati uchun, yaʼni tezlikdan kamroq doimiy (bir xil) nisbiy tezlikda bir-biriga nisbatan harakatlanadigan ikkita inertial ramka yorugʻlik va x va x ′ oʻqlari kollinear boʻlishi uchun Kartezyen koordinatalaridan foydalangan holda.


Zamonaviy fizikaning asosiy sohalarida, yaʼni umumiy nisbiylik va uning keng qoʻllanadigan maxsus nisbiylik toʻplamida, shuningdek relativistik kvant mexanikasi va relativistik kvant maydon nazariyasida Lorentz transformatsiyasi transformatsiya qoidasi boʻlib, unga koʻra barcha toʻrt vektor va fizik miqdorlarni oʻz ichiga olgan tensorlar oʻzgaradi. bir mos yozuvlar ramkasidan boshqasiga.

Bunday toʻrt vektorning asosiy misollari zarrachaning toʻrt pozitsiyasi va toʻrt momentumi, maydonlar uchun esa elektromagnit tensor va kuchlanish-energiya tensoridir. Bu ob'ektlarning Lorentz oʻzgarishiga koʻra oʻzgarishi ularni vektorlar va tenzorlar sifatida matematik tarzda belgilaydi.

Baʼzi bir ramkadagi toʻrt vektor yoki tensorlarning tarkibiy qismlarini hisobga olgan holda, "transformatsiya qoidasi" bir xil toʻrt vektor yoki tensorlarning boshqa ramkadagi oʻzgartirilgan komponentlarini aniqlashga imkon beradi, ular kuchaytirilishi yoki tezlashtirilishi mumkin, dastlabki ramkaga nisbatan. "Boost" ni fazoviy tarjima bilan aralashtirib yubormaslik kerak, aksincha u kadrlar orasidagi nisbiy tezlik bilan tavsiflanadi. Transformatsiya qoidasining oʻzi ramkalarning nisbiy harakatiga bogʻliq. Ikki inertial ramkaning eng oddiy holatida ular orasidagi nisbiy tezlik transformatsiya qoidasiga kiradi. Aylanadigan mos yozuvlar ramkalari yoki umumiy inertial boʻlmagan mos yozuvlar tizimlari uchun nisbiy tezlik (kattalik va yoʻnalish), aylanish oʻqi va burchakni oʻz ichiga olgan koʻproq parametrlar kerak boʻladi.


Odatiy tuzatma (masalan, Albert Eynshteynning asl ishi) yorugʻlik tezligining oʻzgarmasligiga asoslanadi. Biroq, bu har doim ham boshlangʻich nuqta emas: haqiqatan ham (masalan, Landau va Lifshitsning nazariy fizika kursining ikkinchi jildida tasvirlanganidek), haqiqatda oʻzaro taʼsirlarning joylashuvi xavf ostida: bir zarraning, aytaylik, boshqasiga taʼsir qiladigan taʼsiri, bir zumda uzatilishi mumkin emas. Demak, axborot uzatishning nazariy maksimal tezligi mavjud boʻlib, u oʻzgarmas boʻlishi kerak va bu tezlik vakuumdagi yorugʻlik tezligiga toʻgʻri keladi. Nyutonning oʻzi uzoqdan harakat qilish gʻoyasini falsafiy jihatdan "absurd" deb atagan va tortishish maʼlum qonunlarga koʻra qandaydir vosita tomonidan uzatilishi kerak deb hisoblagan.

1964-yilgi maqolada Erik Kristofer Zeeman koordinata oʻzgarishlari Lorents oʻzgarishlari ekanligini taʼminlash uchun matematik maʼnoda yorugʻlik tezligining oʻzgarmasligidan koʻra zaifroq boʻlgan sabab -oqibatni saqlovchi xususiyat etarli ekanligini koʻrsatdi. Norman Goldshteynning qogʻozi shunga oʻxshash natijani sabablik emas, balki inertiallik (vaqtga oʻxshash chiziqlarning saqlanishi) yordamida koʻrsatadi.

Eynshteyn maxsus nisbiylik nazariyasini ikkita asosiy postulatga asoslagan edi. Birinchidan, barcha fizik qonunlar nisbiy harakat holatidan qat’iy nazar barcha inertsial sanoq sistemalari uchun bir xil. Ikkinchidan, yorugʻlikning boʻsh fazodagi tezligi barcha inertial sanoq sistemalarida bir xil boʻladi, yana har bir sanoq sistemasining nisbiy tezligidan qatʼiy nazar. Lorents konvertatsiyasi asosan ushbu ikkinchi postulatning bevosita natijasidir.

Ikkinchi postulat

Yorugʻlik tezligining mos yozuvlar tizimiga bogʻliq boʻlmagan doimiyligini koʻrsatadigan maxsus nisbiylikning ikkinchi postulatini qabul qiling va bir-biriga nisbatan doimiy tezlik bilan harakatlanadigan, yaʼni inertial tizimlar toʻplamini koʻrib chiqing, ularning har biri oʻz Dekart toʻplamiga ega. nuqtalarni, yaʼni fazo-vaqt hodisalarini belgilovchi koordinatalar . Yorugʻlik tezligining oʻzgarmasligini matematik shaklda ifodalash uchun fazo-vaqtdagi ikkita hodisani aniqlang, ular har bir mos yozuvlar tizimida qayd etiladi. Birinchi hodisa yorugʻlik signalining emissiyasi, ikkinchisi esa uning soʻrilishi boʻlsin.

Toʻplamdagi har qanday mos yozuvlar ramkasini tanlang. Uning koordinatalarida birinchi hodisaga koordinatalar tayinlanadi x 1 , y 1 , z 1 , c t 1 {\displaystyle x_{1},y_{1},z_{1},ct_{1}} {\displaystyle x_{1},y_{1},z_{1},ct_{1}} va ikkinchisi x 2 , y 2 , z 2 , c t 2 {\displaystyle x_{2},y_{2},z_{2},ct_{2}} {\displaystyle x_{2},y_{2},z_{2},ct_{2}} . Emissiya va yutilish orasidagi fazoviy masofa ( x 2 − x 1 ) 2 + ( y 2 − y 1 ) 2 + ( z 2 − z 1 ) 2 {\textstyle {\sqrt {(x_{2}-x_{1})^{2}+(y_{2}-y_{1})^{2}+(z_{2}-z_{1})^{2}}}} {\textstyle {\sqrt {(x_{2}-x_{1})^{2}+(y_{2}-y_{1})^{2}+(z_{2}-z_{1})^{2}}}}, lekin bu ham masofa c ( t 2 − t 1 ) {\displaystyle c(t_{2}-t_{1})} {\displaystyle c(t_{2}-t_{1})} signal orqali harakatlanadi. Shunday qilib, tenglamani oʻrnatish mumkin

c 2 ( t 2 − t 1 ) 2 − ( x 2 − x 1 ) 2 − ( y 2 − y 1 ) 2 − ( z 2 − z 1 ) 2 = 0. {\displaystyle c^{2}(t_{2}-t_{1})^{2}-(x_{2}-x_{1})^{2}-(y_{2}-y_{1})^{2}-(z_{2}-z_{1})^{2}=0.} {\displaystyle c^{2}(t_{2}-t_{1})^{2}-(x_{2}-x_{1})^{2}-(y_{2}-y_{1})^{2}-(z_{2}-z_{1})^{2}=0.}

Har bir boshqa koordinata tizimi oʻz koordinatalarida bir xil tenglamani yozib oladi. Bu yorugʻlik tezligining oʻzgarmasligining bevosita matematik natijasidir. Chapdagi miqdor fazoviy vaqt oraligʻi deb ataladi. Interval yorugʻlik signallari bilan ajratilgan hodisalar uchun barcha mos yozuvlar ramkalarida bir xil (nol) boʻladi va shuning uchun oʻzgarmas deb ataladi.


Intervalning oʻzgarmasligi

Lorentz oʻzgarishi tabiat tomonidan amalga oshirilgan jismoniy ahamiyatga ega boʻlishi uchun interval faqat yorugʻlik signallari bilan ajratilgan hodisalar uchun emas, balki har qanday ikkita hodisa uchun oʻzgarmas oʻlchov boʻlishi juda muhimdir. Buni aniqlash uchun cheksiz kichik oraliq hisobga olinadi, d s 2 = c 2 d t 2 − d x 2 − d y 2 − d z 2 , {\displaystyle ds^{2}=c^{2}dt^{2}-dx^{2}-dy^{2}-dz^{2},} {\displaystyle ds^{2}=c^{2}dt^{2}-dx^{2}-dy^{2}-dz^{2},} tizimda qayd etilganidek K {\displaystyle K} {\displaystyle K} . Mayli K ′ {\displaystyle K'} {\displaystyle K'} intervalni tayinlaydigan boshqa tizim boʻlsin d s ′ 2 {\displaystyle ds'^{2}} {\displaystyle ds'^{2}} bir xil ikki cheksiz ajratilgan hodisaga. Chunki agar d s 2 = 0 {\displaystyle ds^{2}=0} {\displaystyle ds^{2}=0}, keyin interval boshqa har qanday tizimda ham nolga teng boʻladi (ikkinchi postulat) va beri d s 2 {\displaystyle ds^{2}} {\displaystyle ds^{2}} va d s ′ 2 {\displaystyle ds'^{2}} {\displaystyle ds'^{2}} bir xil tartibdagi cheksiz kichiklar, ular bir-biriga proportsional boʻlishi kerak,

d s 2 = a d s ′ 2 . {\displaystyle ds^{2}=ads'^{2}.} {\displaystyle ds^{2}=ads'^{2}.}

Nima boʻlishi mumkin a {\displaystyle a} {\displaystyle a} bogʻliqmi? Bu ikki hodisaning fazo-vaqtdagi pozitsiyalariga bogʻliq boʻlmasligi mumkin, chunki bu fazoviy vaqtning postulatsiyalangan bir xilligini buzadi. Bu nisbiy tezlikka bogʻliq boʻlishi mumkin V ′ {\displaystyle V'} {\displaystyle V'} orasida K {\displaystyle K} {\displaystyle K} va K ′ {\displaystyle K'} {\displaystyle K'}, lekin faqat tezlik boʻyicha, yoʻnalish boʻyicha emas, chunki ikkinchisi kosmosning izotropiyasini buzadi.

Endi tizimlarni kiriting K 1 {\displaystyle K_{1}} {\displaystyle K_{1}} va K 2 {\displaystyle K_{2}} {\displaystyle K_{2}},

d s 2 = a ( V 1 ) d s 1 2 , d s 2 = a ( V 2 ) d s 2 2 , d s 1 2 = a ( V 12 ) d s 2 2 . {\displaystyle ds^{2}=a(V_{1})ds_{1}^{2},\quad ds^{2}=a(V_{2})ds_{2}^{2},\quad ds_{1}^{2}=a(V_{12})ds_{2}^{2}.} {\displaystyle ds^{2}=a(V_{1})ds_{1}^{2},\quad ds^{2}=a(V_{2})ds_{2}^{2},\quad ds_{1}^{2}=a(V_{12})ds_{2}^{2}.}


Bulardan kelib chiqadiki,

a ( V 2 ) a ( V 1 ) = a ( V 12 ) . {\displaystyle {\frac {a(V_{2})}{a(V_{1})}}=a(V_{12}).} {\displaystyle {\frac {a(V_{2})}{a(V_{1})}}=a(V_{12}).}

Endi oʻng tomonda buni kuzatish mumkin V 12 {\displaystyle V_{12}} {\displaystyle V_{12}} ikkalasiga bogʻliq V 1 {\displaystyle V_{1}} {\displaystyle V_{1}} va V 2 {\displaystyle V_{2}} {\displaystyle V_{2}}; shuningdek vektorlar orasidagi burchakda V 1 {\displaystyle {\textbf {V}}_{1}} {\displaystyle {\textbf {V}}_{1}} va V 2 {\displaystyle {\textbf {V}}_{2}} {\displaystyle {\textbf {V}}_{2}} . Biroq, chap tomonning bu burchakka bogʻliq emasligi ham kuzatiladi. Shunday qilib, tenglama toʻgʻri boʻlishining yagona yoʻli bu funksiyadir a ( V ) {\displaystyle a(V)} {\displaystyle a(V)} doimiy hisoblanadi. Bundan tashqari, xuddi shu tenglama boʻyicha bu doimiy birlikdir. Shunday qilib,

d s 2 = d s ′ 2 {\displaystyle ds^{2}=ds'^{2}} {\displaystyle ds^{2}=ds'^{2}}

barcha tizimlar uchun K ′ {\displaystyle K'} {\displaystyle K'}. Bu barcha cheksiz kichik intervallar uchun amal qilganligi sababli, u barcha intervallar uchun amal qiladi.

Lorentz oʻzgarishlarining barcha boʻlmasa ham, koʻpchilik hosilalari buni odatiy hol sifatida qabul qiladi. Ushbu hosilalarda ular faqat yorugʻlik tezligining doimiyligidan (nurga oʻxshash ajratilgan hodisalarning oʻzgarmasligi) foydalanadilar. Bu natija Lorents transformatsiyasining toʻgʻri transformatsiya ekanligini taʼminlaydi.


Qattiq bayonot va ds2 va ds′2 mutanosibligini isbotlash


Izohlar.

  • Yuqoridagi boʻlimda "cheksiz kichik" atamasi bilan bogʻliq d s 2 {\displaystyle ds^{2}} {\displaystyle ds^{2}} aslida toʻrt oʻlchovli haqiqiy vektor fazosi (yaʼni fazo-vaqt manifoldining nuqtasidagi tangens fazo) ustidagi kvadratik shaklga (nuqta yoʻnalishi boʻyicha) ishora qiladi. Yuqoridagi argument Landau va Lifshitsdan deyarli soʻzma-soʻz koʻchirilgan, bu yerda proportsionallik d s 2 {\displaystyle ds^{2}} {\displaystyle ds^{2}} va d s ′ 2 {\displaystyle ds'^{2}} {\displaystyle ds'^{2}} Bu gap matematik jihatdan aniq shakllantirilmagan va isbotlanmagan boʻlsa ham, shunchaki "ravshan" fakt sifatida ifodalanadi. Bu oqlanishi kerak boʻlgan aniq boʻlmagan matematik fakt; Yaxshiyamki, dalil nisbatan sodda va u asosiy algebraik kuzatishlar va manipulyatsiyalarni tashkil qiladi.
  • Yuqoridagi taxminlar h {\displaystyle h} {\displaystyle h} quyidagilarni anglatadi: h : V × V → R {\displaystyle h:V\times V\to \mathbb {R} } {\displaystyle h:V\times V\to \mathbb {R} } simmetrik va degenerativ boʻlmagan ikki chiziqli shakl boʻlib, tartibli asos mavjud. { v 1 , … , v n , v n + 1 , … , v d } {\displaystyle \{v_{1},\dots ,v_{n},v_{n+1},\dots ,v_{d}\}} {\displaystyle \{v_{1},\dots ,v_{n},v_{n+1},\dots ,v_{d}\}} ning V {\displaystyle V} {\displaystyle V} buning uchun h ( v a , v b ) = { − 1 if  a = b ∈ { 1 , … , n } 1 if  a = b ∈ { n + 1 , … , d } 0  otherwise {\displaystyle h(v_{a},v_{b})={\begin{cases}-1&{\text{if }}a=b\in \{1,\dots ,n\}\\1&{\text{if }}a=b\in \{n+1,\dots ,d\}\\0&{\text{ otherwise}}\end{cases}}} {\displaystyle h(v_{a},v_{b})={\begin{cases}-1&{\text{if }}a=b\in \{1,\dots ,n\}\\1&{\text{if }}a=b\in \{n+1,\dots ,d\}\\0&{\text{ otherwise}}\end{cases}}}
  • bu yerda maxsus holatni koʻrib chiqsak n = 1 , p = 3 {\displaystyle n=1,p=3} {\displaystyle n=1,p=3} keyin biz nisbiylik asosi boʻlgan 4 oʻlchovli Lorentsian imzosining holati bilan shugʻullanamiz (yoki umumiy minus belgisi bilan qarama-qarshi konventsiyani qabul qilish mumkin; lekin bu teoremaning haqiqatiga taʼsir qilmaydi). Bundan tashqari, bu holatda, agar biz taxmin qilsak g {\displaystyle g} {\displaystyle g} va h {\displaystyle h} {\displaystyle h} ikkalasi ham bir xil null toʻplamga ega kvadratik shakllarga ega (fizika terminologiyasida biz buni aytamiz g {\displaystyle g} {\displaystyle g} va h {\displaystyle h} {\displaystyle h} bir xil yorugʻlik konusini keltirib chiqaradi) u holda teorema bizga doimiy borligini aytadi C > 0 {\displaystyle C>0} {\displaystyle C>0} shu kabi g = C h {\displaystyle g=Ch} {\displaystyle g=Ch} . Belgilanishdagi baʼzi farqlarni modullash, yuqoridagi boʻlimda aynan shu narsa ishlatilgan.

Teoremani isbotlash.

Asosni tuzatish { v 1 , … , v d } {\displaystyle \{v_{1},\dots ,v_{d}\}} {\displaystyle \{v_{1},\dots ,v_{d}\}} ning V {\displaystyle V} {\displaystyle V} qaysiga nisbatan h {\displaystyle h} {\displaystyle h} matritsali tasvirga ega [ h ] = ( − I n 0 0 I p ) {\displaystyle [h]={\begin{pmatrix}-I_{n}&0\\0&I_{p}\end{pmatrix}}} {\displaystyle [h]={\begin{pmatrix}-I_{n}&0\\0&I_{p}\end{pmatrix}}} . Gap shundaki, vektor fazosi V {\displaystyle V} {\displaystyle V} pastki fazolarga parchalanishi mumkin V − {\displaystyle V^{-}} {\displaystyle V^{-}} (birinchisining oraligʻi n {\displaystyle n} {\displaystyle n} bazis vektorlari) va V + {\displaystyle V^{+}} {\displaystyle V^{+}} (keyin ikkinchisining oraligʻi p {\displaystyle p} {\displaystyle p} bazis vektorlari) shundayki, har bir vektor ichida V {\displaystyle V} {\displaystyle V} kabi noyob tarzda yozilishi mumkin v + w {\displaystyle v+w} {\displaystyle v+w} uchun v ∈ V − {\displaystyle v\in V^{-}} {\displaystyle v\in V^{-}} va w ∈ V + {\displaystyle w\in V^{+}} {\displaystyle w\in V^{+}} ; bundan tashqari h ( v , v ) ≤ 0 {\displaystyle h(v,v)\leq 0} {\displaystyle h(v,v)\leq 0}, h ( w , w ) ≥ 0 {\displaystyle h(w,w)\geq 0} {\displaystyle h(w,w)\geq 0} va h ( v , w ) = 0 {\displaystyle h(v,w)=0} {\displaystyle h(v,w)=0} . Shunday qilib (binolik boʻyicha)

h ( v + w , v + w ) = h ( v , v ) + h ( w , w ) {\displaystyle h(v+w,v+w)=h(v,v)+h(w,w)} {\displaystyle h(v+w,v+w)=h(v,v)+h(w,w)}

Oʻngdagi birinchi yigʻindi ijobiy boʻlmaganda, ikkinchisi esa salbiy boʻlmaganda, har qanday uchun v ∈ V − {\displaystyle v\in V^{-}} {\displaystyle v\in V^{-}} va w ∈ V + {\displaystyle w\in V^{+}} {\displaystyle w\in V^{+}}, biz skalyarni topishimiz mumkin α {\displaystyle \alpha } {\displaystyle \alpha } shu kabi h ( v + α w , v + α w ) = 0 {\displaystyle h(v+\alpha w,v+\alpha w)=0} {\displaystyle h(v+\alpha w,v+\alpha w)=0} .


Bundan buyon har doim oʻylab koʻring v ∈ V − {\displaystyle v\in V^{-}} {\displaystyle v\in V^{-}} va w ∈ V + {\displaystyle w\in V^{+}} {\displaystyle w\in V^{+}} . Ikkilik bilan

g ( v + w , v + w ) = g ( v , v ) + g ( w , w ) + 2 g ( v , w ) g ( v − w , v − w ) = g ( v , v ) + g ( w , w ) − 2 g ( v , w ) {\displaystyle {\begin{aligned}g(v+w,v+w)&=g(v,v)+g(w,w)+2g(v,w)\\g(v-w,v-w)&=g(v,v)+g(w,w)-2g(v,w)\end{aligned}}} {\displaystyle {\begin{aligned}g(v+w,v+w)&=g(v,v)+g(w,w)+2g(v,w)\\g(v-w,v-w)&=g(v,v)+g(w,w)-2g(v,w)\end{aligned}}}

Agar h ( v + w , v + w ) = 0 {\displaystyle h(v+w,v+w)=0} {\displaystyle h(v+w,v+w)=0}, keyin ham h ( v − w , v − w ) = 0 {\displaystyle h(v-w,v-w)=0} {\displaystyle h(v-w,v-w)=0} uchun ham xuddi shunday g {\displaystyle g} {\displaystyle g} (nol toʻplamidan beri h {\displaystyle h} {\displaystyle h} tarkibida mavjud g {\displaystyle g} {\displaystyle g}). Bunday holda, yuqoridagi ikkita ifodani ayirish (va 4 ga boʻlish) hosil boʻladi

0 = g ( v , w ) {\displaystyle 0=g(v,w)} {\displaystyle 0=g(v,w)}

Yuqoridagi kabi, har biri uchun v ∈ V − {\displaystyle v\in V^{-}} {\displaystyle v\in V^{-}} va w ∈ V + {\displaystyle w\in V^{+}} {\displaystyle w\in V^{+}}, skalyar mavjud α {\displaystyle \alpha } {\displaystyle \alpha } shu kabi h ( v + α w , v + α w ) = 0 {\displaystyle h(v+\alpha w,v+\alpha w)=0} {\displaystyle h(v+\alpha w,v+\alpha w)=0}, shunday g ( v , α w ) = 0 {\displaystyle g(v,\alpha w)=0} {\displaystyle g(v,\alpha w)=0}, bu ikki chiziqlilikni anglatadi g ( v , w ) = 0 {\displaystyle g(v,w)=0} {\displaystyle g(v,w)=0}.

Endi nolga teng boʻlmaganini koʻrib chiqing v , v ′ ∈ V − {\displaystyle v,v'\in V^{-}} {\displaystyle v,v'\in V^{-}} shu kabi h ( v , v ) = h ( v ′ , v ′ ) {\displaystyle h(v,v)=h(v',v')} {\displaystyle h(v,v)=h(v',v')} . Biz topamiz w ∈ V + {\displaystyle w\in V^{+}} {\displaystyle w\in V^{+}} shu kabi 0 = h ( v + w , v + w ) = h ( v , v ) + h ( w , w ) = h ( v ′ + w , v ′ + w ) {\displaystyle 0=h(v+w,v+w)=h(v,v)+h(w,w)=h(v'+w,v'+w)} {\displaystyle 0=h(v+w,v+w)=h(v,v)+h(w,w)=h(v'+w,v'+w)} . Yuqoridagi iboralarga koʻra,

g ( v , v ) = − g ( w , w ) = g ( v ′ , v ′ ) {\displaystyle g(v,v)=-g(w,w)=g(v',v')} {\displaystyle g(v,v)=-g(w,w)=g(v',v')}

Analog tarzda, uchun w , w ′ ∈ V + {\displaystyle w,w'\in V^{+}} {\displaystyle w,w'\in V^{+}}, agar buni koʻrsatish mumkin h ( w , w ) = h ( w ′ , w ′ ) {\displaystyle h(w,w)=h(w',w')} {\displaystyle h(w,w)=h(w',w')}, keyin ham g ( w , w ) = g ( w ′ , w ′ ) {\displaystyle g(w,w)=g(w',w')} {\displaystyle g(w,w)=g(w',w')} . Shunday qilib, u barcha vektorlar uchun amal qiladi V {\displaystyle V} {\displaystyle V}.

Uchun u , u ′ ∈ V {\displaystyle u,u'\in V} {\displaystyle u,u'\in V}, agar g ( u , u ) = C h ( u , u ) ≠ 0 {\displaystyle g(u,u)=Ch(u,u)\neq 0} {\displaystyle g(u,u)=Ch(u,u)\neq 0}, g ( u ′ , u ′ ) = C ′ h ( u ′ , u ′ ) ≠ 0 {\displaystyle g(u',u')=C'h(u',u')\neq 0} {\displaystyle g(u',u')=C'h(u',u')\neq 0} baʼzilar uchun C , C ′ ∈ R {\displaystyle C,C'\in \mathbb {R} } {\displaystyle C,C'\in \mathbb {R} }, biz (agar kerak boʻlsa, ulardan birini masshtablash) taxmin qilishimiz mumkin h ( u , u ) = h ( u ′ , u ′ ) {\displaystyle h(u,u)=h(u',u')} {\displaystyle h(u,u)=h(u',u')}, bu yuqoridagi maʼnoni anglatadi C = C ′ {\displaystyle C=C'} {\displaystyle C=C'} . Shunday qilib g = C h {\displaystyle g=Ch} {\displaystyle g=Ch}.

Nihoyat, agar biz buni taxmin qilsak g , h {\displaystyle g,h} {\displaystyle g,h} ikkalasi ham imzo turlariga ega ( n , p ) {\displaystyle (n,p)} {\displaystyle (n,p)} va n ≠ p {\displaystyle n\neq p} {\displaystyle n\neq p} keyin C > 0 {\displaystyle C>0} {\displaystyle C>0} (bizda mumkin emas C = 0 {\displaystyle C=0} {\displaystyle C=0} chunki bu degani g = 0 {\displaystyle g=0} {\displaystyle g=0} Imzo turiga ega boʻlgani uchun bu mumkin emas ( n , p ) {\displaystyle (n,p)} {\displaystyle (n,p)} nolga teng boʻlmagan ikki chiziqli shakl ekanligini bildiradi. Bundan tashqari, agar C < 0 {\displaystyle C<0} {\displaystyle C<0}, keyin bu degani g {\displaystyle g} {\displaystyle g} ega n {\displaystyle n} {\displaystyle n} ijobiy diagonal yozuvlar va p {\displaystyle p} {\displaystyle p} salbiy diagonal yozuvlar; yaʼni imzosi bor ( p , n ) ≠ ( n , p ) {\displaystyle (p,n)\neq (n,p)} {\displaystyle (p,n)\neq (n,p)}, biz taxmin qilganimizdan beri n ≠ p {\displaystyle n\neq p} {\displaystyle n\neq p}, shuning uchun bu ham mumkin emas. Bu bizni qoldiradi C > 0 {\displaystyle C>0} {\displaystyle C>0} yagona variant sifatida). Bu teoremani isbotlashni tugatadi.


Thumb
Har bir kuzatuvchi tomonidan inertial mos yozuvlar tizimida (standart konfiguratsiyada) o'lchanadigan hodisaning fazo-vaqt koordinatalari nutq pufakchalarida ko'rsatilgan.
Yuqori: F ′ ramka F ramkaning x o'qi bo'ylab v tezlikda harakat qiladi.
Pastki: F ramka F ′ ramkasining x ′-o'qi bo'ylab − v tezlikda harakat qiladi.

Invariant intervalni fazoda musbat boʻlmagan aniq masofa funksiyasi sifatida koʻrish mumkin. Qidirilayotgan oʻzgarishlar toʻplami bu masofani oʻzgarmas qoldirishi kerak. Malumot tizimi koordinata tizimining kartezian xususiyatidan kelib chiqqan holda, Evklid misolida boʻlgani kabi, mumkin boʻlgan oʻzgarishlar tarjimalar va aylanishlardan iborat, degan xulosaga keladi, bu yerda aylanish atamasi uchun biroz kengroq maʼnoga ruxsat berilishi kerak.Interval tarjima ostida juda oʻzgarmasdir. Aylanish uchun toʻrtta koordinata mavjud. Demak, oltita aylanish tekisligi mavjud. Ulardan uchtasi fazoviy tekisliklarda aylanishdir. Oddiy aylanishlarda ham interval oʻzgarmasdir.


Qolgan uchta koordinata tekisligida intervalni oʻzgarmas qoldiradigan "aylanish" ni topish qoladi. Shu bilan birga, harakatlanuvchi ramkaga mos keladigan koordinatalar bilan mos keladigan koordinatalarni belgilash yoʻlini topish.

Umumiy muammo shunday transformatsiyani topishdir

c 2 ( t 2 − t 1 ) 2 − ( x 2 − x 1 ) 2 − ( y 2 − y 1 ) 2 − ( z 2 − z 1 ) 2 = c 2 ( t 2 ′ − t 1 ′ ) 2 − ( x 2 ′ − x 1 ′ ) 2 − ( y 2 ′ − y 1 ′ ) 2 − ( z 2 ′ − z 1 ′ ) 2 . {\displaystyle {\begin{aligned}&c^{2}(t_{2}-t_{1})^{2}-(x_{2}-x_{1})^{2}-(y_{2}-y_{1})^{2}-(z_{2}-z_{1})^{2}\\={}&c^{2}(t_{2}'-t_{1}')^{2}-(x_{2}'-x_{1}')^{2}-(y_{2}'-y_{1}')^{2}-(z_{2}'-z_{1}')^{2}.\end{aligned}}} {\displaystyle {\begin{aligned}&c^{2}(t_{2}-t_{1})^{2}-(x_{2}-x_{1})^{2}-(y_{2}-y_{1})^{2}-(z_{2}-z_{1})^{2}\\={}&c^{2}(t_{2}'-t_{1}')^{2}-(x_{2}'-x_{1}')^{2}-(y_{2}'-y_{1}')^{2}-(z_{2}'-z_{1}')^{2}.\end{aligned}}}


Umumiy muammoni hal qilish uchun tarjimalar va oddiy aylanishlar oraligʻining oʻzgarmasligi haqidagi bilimlardan foydalanib, umumiylikni yoʻqotmasdan, F va F′ ramkalar ularning koordinata oʻqlari hammasi boʻladigan tarzda tekislangan deb taxmin qilish mumkin. t = t′ = 0 da uchrashadi va x va x′ oʻqlari doimiy ravishda tekislanadi va F′ tizimi musbat x-axis boʻylab V tezlikka ega. Buni standart konfiguratsiya deb nomlang. Bu shunday transformatsiyani topish uchun umumiy muammoni kamaytiradi

c 2 ( t 2 − t 1 ) 2 − ( x 2 − x 1 ) 2 = c 2 ( t 2 ′ − t 1 ′ ) 2 − ( x 2 ′ − x 1 ′ ) 2 . {\displaystyle c^{2}(t_{2}-t_{1})^{2}-(x_{2}-x_{1})^{2}=c^{2}(t_{2}'-t_{1}')^{2}-(x_{2}'-x_{1}')^{2}.} {\displaystyle c^{2}(t_{2}-t_{1})^{2}-(x_{2}-x_{1})^{2}=c^{2}(t_{2}'-t_{1}')^{2}-(x_{2}'-x_{1}')^{2}.}

Quyidagi misollarning aksariyatida standart konfiguratsiya qoʻllanadi. Oddiyroq muammoning chiziqli yechimi

( c t ) 2 − x 2 = ( c t ′ ) 2 − x ′ 2 {\displaystyle (ct)^{2}-x^{2}=(ct')^{2}-x'^{2}} {\displaystyle (ct)^{2}-x^{2}=(ct')^{2}-x'^{2}}

umumiy muammoni hal qiladi, chunki koordinatalar farqlari xuddi shu tarzda oʻzgaradi. Lineerlik koʻpincha adabiyotda ushbu oddiyroq muammo koʻrib chiqilayotganda qandaydir tarzda taxmin qilinadi yoki muhokama qilinadi. Agar oddiyroq muammoning yechimi chiziqli boʻlmasa, kvadratlarni kengaytirishda koʻndalang atamalar paydo boʻlgani uchun u asl masalani hal qilmaydi.

Yuqorida aytib oʻtilganidek, umumiy muammo fazodagi tarjimalar orqali hal qilinadi. Ular qoʻyilgan oddiyroq muammoning yechimi sifatida koʻrinmaydi, biroq kuchaytirgichlar (va baʼzan hujum burchagiga qarab aylanishlar). Agar faqat yorugʻlikka oʻxshash ajratilgan hodisalar uchun intervalning oʻzgarmasligini talab qilsa, yanada koʻproq echimlar mavjud. Bular chiziqli boʻlmagan konformal ("burchakni saqlaydigan") transformatsiyalardir. Birida bor.

Fizikaning baʼzi tenglamalari konformal invariantdir, masalan, manbasiz fazodagi Maksvell tenglamalari, lekin hammasi emas. Kosmosdagi konformal oʻzgarishlarning dolzarbligi hozircha maʼlum emas, lekin ikki oʻlchovdagi konformal guruh konformal maydon nazariyasi va statistik mexanikada juda dolzarbdir. Shunday qilib, maxsus nisbiylik postulatlari tomonidan alohida ajratilgan Puankare guruhidir. Bu uni Galiley nisbiyligining Galiley guruhidan ajratib turadigan oddiy kuchaytirgichlardan farqli oʻlaroq, Lorentz kuchaytirgichlarining mavjudligi (buning uchun tezlikni qoʻshish yorugʻlik tezligidan kattaroq tezlikni taʼminlaydigan oddiy vektor qoʻshilishidan farq qiladi). Fazoviy aylanishlar, fazoviy va vaqtinchalik inversiyalar va tarjimalar ikkala guruhda ham mavjud va ikkala nazariyada ham bir xil oqibatlarga olib keladi (impuls, energiya va burchak momentumining saqlanish qonunlari). Hamma qabul qilingan nazariyalar inversiya ostidagi simmetriyani hurmat qilmaydi.

Landau va Lifshitz yechimi

Ushbu uchta giperbolik funksiya formulalari (H1 – H3) quyida keltirilgan:

  1. cosh 2 ⁡ Ψ − sinh 2 ⁡ Ψ = 1 , {\displaystyle \cosh ^{2}\Psi -\sinh ^{2}\Psi =1,} {\displaystyle \cosh ^{2}\Psi -\sinh ^{2}\Psi =1,}
  2. sinh ⁡ Ψ = tanh ⁡ Ψ 1 − tanh 2 ⁡ Ψ , {\displaystyle \sinh \Psi ={\frac {\tanh \Psi }{\sqrt {1-\tanh ^{2}\Psi }}},} {\displaystyle \sinh \Psi ={\frac {\tanh \Psi }{\sqrt {1-\tanh ^{2}\Psi }}},}
  3. cosh ⁡ Ψ = 1 1 − tanh 2 ⁡ Ψ , {\displaystyle \cosh \Psi ={\frac {1}{\sqrt {1-\tanh ^{2}\Psi }}},} {\displaystyle \cosh \Psi ={\frac {1}{\sqrt {1-\tanh ^{2}\Psi }}},}

Astarlangan koordinatalar harakatlanuvchi tizimga tegishli boʻlgan x-direction kuchaytirish uchun standart konfiguratsiyada qoʻyilgan muammo oddiyroq muammoning chiziqli echimini topish orqali hal qilinadi.

( c t ) 2 − x 2 = ( c t ′ ) 2 − x ′ 2 . {\displaystyle (ct)^{2}-x^{2}=(ct')^{2}-x'^{2}.} {\displaystyle (ct)^{2}-x^{2}=(ct')^{2}-x'^{2}.}

Eng umumiy yechim, (H1) yordamida toʻgʻridan-toʻgʻri almashtirish orqali tasdiqlanishi mumkin,

x = x ′ cosh ⁡ Ψ + c t ′ sinh ⁡ Ψ , c t = x ′ sinh ⁡ Ψ + c t ′ cosh ⁡ Ψ . {\displaystyle x=x'\cosh \Psi +ct'\sinh \Psi ,\quad ct=x'\sinh \Psi +ct'\cosh \Psi .} {\displaystyle x=x'\cosh \Psi +ct'\sinh \Psi ,\quad ct=x'\sinh \Psi +ct'\cosh \Psi .} x = x ′ cosh ⁡ Ψ + c t ′ sinh ⁡ Ψ , c t = x ′ sinh ⁡ Ψ + c t ′ cosh ⁡ Ψ . {\displaystyle x=x'\cosh \Psi +ct'\sinh \Psi ,\quad ct=x'\sinh \Psi +ct'\cosh \Psi .} {\displaystyle x=x'\cosh \Psi +ct'\sinh \Psi ,\quad ct=x'\sinh \Psi +ct'\cosh \Psi .}

Ψ ning jismoniy sharoitdagi rolini topish uchun F′ ning kelib chiqishi progressiyasini yozing, yaʼni x′ = 0, x = vt . Tenglamalar boʻladi (birinchi x′ = 0 dan foydalangan holda),

x = c t ′ s i n h Ψ , c t = c t ′ c o s h Ψ . {\displaystyle x=ct'sinh\Psi ,\quad ct=ct'cosh\Psi .} {\displaystyle x=ct'sinh\Psi ,\quad ct=ct'cosh\Psi .}

Endi ajrating:

x c t = tanh ⁡ Ψ = v c ⇒ sinh ⁡ Ψ = v c 1 − v 2 c 2 , cosh ⁡ Ψ = 1 1 − v 2 c 2 , {\displaystyle {\frac {x}{ct}}=\tanh \Psi ={\frac {v}{c}}\Rightarrow \quad \sinh \Psi ={\frac {\frac {v}{c}}{\sqrt {1-{\frac {v^{2}}{c^{2}}}}}},\quad \cosh \Psi ={\frac {1}{\sqrt {1-{\frac {v^{2}}{c^{2}}}}}},} {\displaystyle {\frac {x}{ct}}=\tanh \Psi ={\frac {v}{c}}\Rightarrow \quad \sinh \Psi ={\frac {\frac {v}{c}}{\sqrt {1-{\frac {v^{2}}{c^{2}}}}}},\quad \cosh \Psi ={\frac {1}{\sqrt {1-{\frac {v^{2}}{c^{2}}}}}},}

Bu yerda birinchi bosqichda x = vt, ikkinchisida (H2) va (H3) ishlatilgan, bu esa qayta ulanganda (1) beradi

x = x ′ + v t ′ 1 − v 2 c 2 , t = t ′ + v c 2 x ′ 1 − v 2 c 2 , {\displaystyle x={\frac {x'+vt'}{\sqrt {1-{\frac {v^{2}}{c^{2}}}}}},\quad t={\frac {t'+{\frac {v}{c^{2}}}x'}{\sqrt {1-{\frac {v^{2}}{c^{2}}}}}},} {\displaystyle x={\frac {x'+vt'}{\sqrt {1-{\frac {v^{2}}{c^{2}}}}}},\quad t={\frac {t'+{\frac {v}{c^{2}}}x'}{\sqrt {1-{\frac {v^{2}}{c^{2}}}}}},}

yoki odatdagi qisqartmalar bilan,

x = γ ( x ′ + v t ′ ) , t = γ ( t ′ + v x ′ c 2 ) , x ′ = γ ( x − v t ) , t ′ = γ ( t − v x c 2 ) . {\displaystyle x=\gamma (x'+vt'),\,\,t=\gamma \left(t'+{\frac {vx'}{c^{2}}}\right),\quad x'=\gamma (x-vt),\,\,t'=\gamma \left(t-{\frac {vx}{c^{2}}}\right).} {\displaystyle x=\gamma (x'+vt'),\,\,t=\gamma \left(t'+{\frac {vx'}{c^{2}}}\right),\quad x'=\gamma (x-vt),\,\,t'=\gamma \left(t-{\frac {vx}{c^{2}}}\right).}
  • Greiner, W.; Bromley, D. A.. Relativistic Quantum Mechanics, 3rd, springer, 2000. ISBN 9783540674573.
  • Landau, L.D.; Lifshitz, E.M.. The Classical Theory of Fields, 4th, Course of Theoretical Physics, Butterworth–Heinemann, 2002. ISBN 0-7506-2768-9.
  • Weinberg, S. (2002), The Quantum Theory of Fields, 1-jild, Cambridge University Press, ISBN 0-521-55001-7
Edit in WikipediaRevision historyRead in Wikipedia

Wikiwand in your browser!

Seamless Wikipedia browsing. On steroids.

Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.

Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.

Chrome
Wikiwand for Chrome
Edge
Wikiwand for Edge
Firefox
Wikiwand for Firefox

Tarixiy nazar

Fizik prinsiplar

Standart konfiguratsiya

Yechimlar

Fazoviy vaqt geometriyasidan foydalanish

Manbalar