Lorens almashtirish formulalari

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.

Tarixiy nazar 
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.

Fizik prinsiplar 
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  va ikkinchisi  . Emissiya va yutilish orasidagi fazoviy masofa , lekin bu ham masofa  signal orqali harakatlanadi. Shunday qilib, tenglamani oʻrnatish mumkin
 

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,

tizimda qayd etilganidek  . Mayli  intervalni tayinlaydigan boshqa tizim boʻlsin  bir xil ikki cheksiz ajratilgan hodisaga. Chunki agar , keyin interval boshqa har qanday tizimda ham nolga teng boʻladi (ikkinchi postulat) va beri  va  bir xil tartibdagi cheksiz kichiklar, ular bir-biriga proportsional boʻlishi kerak,
 

Nima boʻlishi mumkin  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  orasida  va , lekin faqat tezlik boʻyicha, yoʻnalish boʻyicha emas, chunki ikkinchisi kosmosning izotropiyasini buzadi.

Endi tizimlarni kiriting  va ,

 

Bulardan kelib chiqadiki,

 
Endi oʻng tomonda buni kuzatish mumkin  ikkalasiga bogʻliq  va ; shuningdek vektorlar orasidagi burchakda  va  . Biroq, chap tomonning bu burchakka bogʻliq emasligi ham kuzatiladi. Shunday qilib, tenglama toʻgʻri boʻlishining yagona yoʻli bu funksiyadir  doimiy hisoblanadi. Bundan tashqari, xuddi shu tenglama boʻyicha bu doimiy birlikdir. Shunday qilib,

 
barcha tizimlar uchun . 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  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  va  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  quyidagilarni anglatadi:  simmetrik va degenerativ boʻlmagan ikki chiziqli shakl boʻlib, tartibli asos mavjud.  ning  buning uchun
 bu yerda maxsus holatni koʻrib chiqsak  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  va  ikkalasi ham bir xil null toʻplamga ega kvadratik shakllarga ega (fizika terminologiyasida biz buni aytamiz  va  bir xil yorugʻlik konusini keltirib chiqaradi) u holda teorema bizga doimiy borligini aytadi  shu kabi  . Belgilanishdagi baʼzi farqlarni modullash, yuqoridagi boʻlimda aynan shu narsa ishlatilgan.

Teoremani isbotlash.

Asosni tuzatish  ning  qaysiga nisbatan  matritsali tasvirga ega  . Gap shundaki, vektor fazosi  pastki fazolarga parchalanishi mumkin  (birinchisining oraligʻi  bazis vektorlari) va  (keyin ikkinchisining oraligʻi  bazis vektorlari) shundayki, har bir vektor ichida  kabi noyob tarzda yozilishi mumkin  uchun  va  ; bundan tashqari ,  va  . Shunday qilib (binolik boʻyicha)
 

Oʻngdagi birinchi yigʻindi ijobiy boʻlmaganda, ikkinchisi esa salbiy boʻlmaganda, har qanday uchun  va , biz skalyarni topishimiz mumkin  shu kabi  .

Bundan buyon har doim oʻylab koʻring  va  . Ikkilik bilan

 
Agar , keyin ham  uchun ham xuddi shunday  (nol toʻplamidan beri  tarkibida mavjud ). Bunday holda, yuqoridagi ikkita ifodani ayirish (va 4 ga boʻlish) hosil boʻladi

 
Yuqoridagi kabi, har biri uchun  va , skalyar mavjud  shu kabi , shunday , bu ikki chiziqlilikni anglatadi .

Endi nolga teng boʻlmaganini koʻrib chiqing  shu kabi  . Biz topamiz  shu kabi  . Yuqoridagi iboralarga koʻra,
 

Analog tarzda, uchun , agar buni koʻrsatish mumkin , keyin ham  . Shunday qilib, u barcha vektorlar uchun amal qiladi .

Uchun , agar ,  baʼzilar uchun , biz (agar kerak boʻlsa, ulardan birini masshtablash) taxmin qilishimiz mumkin , bu yuqoridagi maʼnoni anglatadi  . Shunday qilib .

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

Standart konfiguratsiya 

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

 

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

 

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

 

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.

Yechimlar 
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.

Fazoviy vaqt geometriyasidan foydalanish

Landau va Lifshitz yechimi 
Ushbu uchta giperbolik funksiya formulalari (H1 – H3) quyida keltirilgan:

 
 
 

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

 

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

 ning jismoniy sharoitdagi rolini topish uchun  ning kelib chiqishi progressiyasini yozing, yaʼni  . Tenglamalar boʻladi (birinchi  dan foydalangan holda),

 

Endi ajrating:
 

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

yoki odatdagi qisqartmalar bilan,

Manbalar

Kvant elekrodinamikasi