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: Failed to parse (Unknown function \Reals): {\displaystyle h:V\times V\to\Reals} 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