Birinchi darajali cheklovlar

Birinchi darajali cheklovlar cheklangan Gamilton tizimidagi dinamik miqdor boʻlib, uning boshqa barcha cheklovlari bilan Puasson qavslari fazalar fazosidagi cheklash yuzasida yoʻqoladi (barcha cheklovlarning bir vaqtning oʻzida yoʻqolishi bilan aniq belgilangan sirt). Birinchi sinf cheklovini hisoblash uchun ikkinchi sinf cheklovlari mavjud emas yoki ular ilgari hisoblangan va ularning Dirac qavslari yaratilgan deb taxmin qilinadi.

Birinchi va ikkinchi darajali cheklovlar Dirac tomonidan kiritilgan simplektik shakl degenerativ boʻlgan oʻlchov nazariyalari kabi mexanik tizimlarni kvantlash usuli sifatida .

Birinchi va ikkinchi darajali cheklovlar terminologiyasi birlamchi va ikkilamchi cheklovlar terminologiyasiga chalkash darajada oʻxshash boʻlib, ularning paydo boʻlish usulini aks ettiradi. Ushbu boʻlinmalar mustaqildir: birinchi va ikkinchi sinf cheklovlari asosiy yoki ikkilamchi boʻlishi mumkin, shuning uchun bu toʻrt xil cheklovlar sinfini beradi.

Puasson qavslari

Ustida silliq Gamiltonian boʻlgan M Puasson manifoldini koʻrib chiqaylik (maydon nazariyalari uchun M cheksiz oʻlchovli boʻladi).

Aytaylik, bizda qandaydir cheklovlar bor

$f_i(x)=0,$

n ta silliq funksiyalar uchun

$\{f_i{\}}_{i=1}^n$

Bular faqat umumiy sxema boʻyicha aniqlanadi. Faraz qilaylik, cheklangan toʻplamning hamma joyida n ta funksiyaning n hosilalari chiziqli mustaqil boʻlsin va Puasson qavslari ham

$\{f_i,f_j\}$

va

$\{f_i,H\}$

hammasi cheklangan pastki fazoda yoʻqoladi.

Bu biz quyidagini yozishimiz mumkinligini anglatadi

$\{f_i,f_j\}=\sum _k{c}_{ij}^k{f}_k$

baʼzi silliq funktsiyalar uchun $c_{ij}^k$ −−buni koʻrsatuvchi teorema mavjud; va

$\{f_i,H\}=\sum _j{v}_i^j{f}_j$

baʼzi silliq funktsiyalar uchun $v_i^j$.

Buni birlik boʻlimi yordamida global miqyosda qilish mumkin. Keyin, biz kamaytirilmaydigan birinchi darajali cheklovga egamiz deymiz (bu yerda kamaytirilmaydi vakillik nazariyasida qoʻllaniladiganidan boshqacha maʼnoda).

Geometrik nazariya

Yana oqlangan usul uchun vektor toʻplami berilgan deylik $ℳ$, bilan $n$ — oʻlchovli tolalar $V$ . Ushbu vektor toʻplamini ulanish bilan jihozlang. Aytaylik, bizda ham bu toʻplamning silliq Andoza:Mvar qismi bor.

U holda Andoza:Mvar ning ulanishga nisbatan kovariant hosilasi silliq chiziqli xaritadir $\mathrm{\nabla }f$ tangens toʻplamidan $Tℳ$ uchun $V$, bu asosiy nuqtani saqlaydi. Bu chiziqli xarita toʻgʻri teskari deb faraz qiling (yaʼni chiziqli xarita mavjud $g$ shu kabi $(\mathrm{\Delta }f)g$ identifikatsiya xaritasidir) Andoza:Mvar ning nollarida barcha tolalar uchun. Keyin, yashirin funktsiya teoremasiga koʻra, Andoza:Mvar ning nollarning pastki fazosi submanifold hisoblanadi.

Oddiy Puasson qavs faqat ustida aniqlanadi $C^{\mathrm{\infty }}(M)$, M ustidan silliq funksiyalar fazosi. Biroq, ulanishdan foydalanib, agar biz tolalar sifatida V -tensorlarning darajali algebrasi bilan algebra toʻplami bilan ishlasak, uni Andoza:Mvar ning silliq kesmalari boʻshligʻiga kengaytira olamiz.

Faraz qilaylik, bu Puasson qavs ostida, $\{f,f\}=0$ (Eʼtibor bering, bu haqiqat emas $\{g,g\}=0$ umuman, bu „kengaytirilgan Puasson qavs“ uchun endi) va $\{f,H\}=0$ Andoza:Mvar ning nollarning submanifoldida (Agar bu qavslar ham hamma joyda nolga teng boʻlsa, biz cheklovlar qobiqni yopish deb aytamiz). Koʻrinib turibdiki, toʻgʻri oʻzgarmaslik sharti va oqim sharoitlarining kommutativligi ulanishni tanlashga bogʻliq emas . Shunday qilib, biz faqat cheklangan pastki boʻshliq bilan ishlayotgan boʻlsak, ulanishni toʻxtatishimiz mumkin.

Intuitiv maʼno

Bularning barchasi intuitiv ravishda nimani anglatadi? Bu Gamilton va cheklov oqimlari bir-biri bilan chegaralangan pastki fazoda harakatlanishini bildiradi; yoki muqobil ravishda, agar biz cheklangan pastki fazodagi nuqtadan boshlasak, u holda Gamilton va cheklov oqimlari nuqtani cheklangan pastki fazoning boshqa nuqtasiga olib keladi.

Biz oʻzimizni faqat cheklangan pastki fazo bilan cheklashni xohlayotganimiz sababli, bu Gamiltonian yoki boshqa har qanday jismoniy kuzatilishi mumkin boʻlgan fazoni faqat shu pastki fazoda aniqlash kerakligini koʻrsatadi. Ekvivalent tarzda biz simplektik manifold ustidagi silliq funktsiyalarning ekvivalentlik sinfini koʻrib chiqishimiz mumkin, ular cheklangan pastki fazoga (Andoza:Mvar lar tomonidan yaratilgan ideal boʻlinma algebrasi, boshqacha qilib aytganda) mos keladi.

Gap shundaki, cheklangan pastki fazodagi Gamiltonian oqimlari uning qiymatiga emas, balki u yerdagi Gamiltonianning gradientiga bogʻliq. Ammo bu holatdan chiqishning oson yoʻli bor.

Andoza:Mvar lar hosil qilgan simplektik oqimlar taʼsirida cheklangan pastki fazoning orbitalariga qarang. Bu integrallanish shartlarini (Frobenius teoremasi) qanoatlantirgani uchun ostfazoning mahalliy foliyatini beradi. Maʼlum boʻlishicha, agar biz cheklangan ostfazoda bir xil orbitadagi ikkita turli nuqtadan boshlasak va ikkalasini ham cheklangan pastki fazoga mos ravishda ikki xil Gamiltonian ostida rivojlantirsak, ikkala nuqtaning ham tegishli Gamilton oqimlari ostidagi vaqt evolyutsiyasi boʻladi. har doim bir xil orbitada teng vaqtlarda yotadi. Bundan tashqari, agar bizda hech boʻlmaganda cheklangan pastki fazoda (yaʼni, jismoniy kuzatilishi mumkin boʻlgan) orbitalarda doimiy boʻlgan ikkita silliq funksiya A ₁ va B ₁ boʻlsa, chiqadi. {A ₁ ,f}={B ₁ ,f}=0 chegaralangan pastki fazoda) va yana ikkita A ₂ va B ₂, ular orbitalarda ham doimiy boʻlib, A ₁ va B ₁ mos ravishda A ₂ va B ₂ ga mos keladi. chegaralangan ostfazoda, keyin ularning Puasson qavslari {A ₁, B ₁ } va {A ₂, B ₂ } ham orbitalar ustida doimiy va cheklangan pastki fazoda mos keladi.

Umuman olganda, " ergodik " oqimlarni (bu asosan orbita qandaydir ochiq toʻplamda zich boʻlishini anglatadi) yoki „subergodik“ oqimlarni (orbita oʻlchamidan kattaroq oʻlchamdagi submanifoldda zichroq orbita) istisno qilib boʻlmaydi. Biz oʻzimizni kesib oʻtadigan orbitalarga ega boʻla olmaymiz.

Birinchi darajali cheklovlarning koʻpgina „amaliy“ qoʻllanishi uchun biz bunday asoratlarni koʻrmayapmiz: f-oqimlari tomonidan cheklangan pastki fazoning (boshqacha aytganda, orbita boʻshligʻi) differensial koʻp qirrali rolini oʻynash uchun etarli darajada yaxshi ishlaydi., uni M ning simplektik shaklini proyeksiyalash orqali simplektik manifoldga aylantirish mumkin (buni yaxshi aniqlanganligini koʻrsatish mumkin). Yuqorida aytib oʻtilgan jismoniy kuzatuvlar boʻyicha kuzatuvlardan kelib chiqqan holda, biz ushbu „jismoniy“ kichikroq simplektik manifold bilan ishlashimiz mumkin, ammo 2n kamroq oʻlchamlar bilan.

Umuman olganda, aniq hisob-kitoblarni amalga oshirishda (diffeomorfizm cheklovlari bilan ishlashda nolokal haqida gapirmasa ham boʻladi) boʻsh joy bilan ishlash biroz qiyin, shuning uchun uning oʻrniga odatda bajariladigan narsa shunga oʻxshash. Eʼtibor bering, cheklangan submanifold — bu boʻlim manifoldu ustidagi toʻplam (lekin umuman tolalar toʻplami emas). Shunday qilib, koʻrsatkich manifoldi bilan ishlash oʻrniga, biz toʻplamning bir qismi bilan ishlashimiz mumkin. Bu oʻlchagichni mahkamlash deb ataladi.

Asosiy muammo shundaki, bu toʻplamda umuman global boʻlim boʻlmasligi mumkin. Masalan, global anomaliyalar „muammosi“ aynan shu yerda paydo boʻladi. Global anomaliya Gribov noaniqligidan farq qiladi, yaʼni oʻlchagichni mahkamlash oʻlchovni yagona tuzatish uchun ishlamasa, global anomaliyada oʻlchov maydonining izchil taʼrifi yoʻq. Global anomaliya 1980 yilda Vitten tomonidan kashf etilgan kvant oʻlchagich nazariyasini aniqlash uchun toʻsiqdir.

Taʼriflangan narsa — bu kamaytirilmaydigan birinchi darajali cheklovlar. Yana bir murakkablik shundaki, Δf 1 yoki undan katta kodimensiyaning cheklangan submanifoltning pastki fazolarida toʻgʻri teskari boʻlmasligi mumkin (bu ushbu maqolada ilgari aytilgan kuchliroq taxminni buzadi). Bu, masalan, umumiy nisbiylikning kotetrad formulasida, kotetrad maydoni va ulanish shakli fazoning baʼzi ochiq kichik toʻplamida nolga teng boʻlgan konfiguratsiyalar pastki fazosida sodir boʻladi. Bu yerda cheklovlar diffeomorfizm cheklovlaridir.

Buni yengib oʻtishning bir yoʻli quyidagicha: Qaytariladigan cheklovlar uchun Δf ning toʻgʻri teskari oʻzgarishi shartini shu shartga boʻshashtiramiz: f ning nollarida yoʻq boʻlib ketadigan har qanday silliq funksiya f ning tola boʻylab qisqarishi (nonoyob boʻlmagan) hisoblanadi.) a ning silliq kesimi $\overline{V}$ -vektor toʻplami qayerda $\overline{V}$ cheklovchi vektor fazo V ga ikki tomonlama vektor fazosidir . Bu muntazamlik sharti deb ataladi.

Lagranj oʻlchovi nazariyasidan cheklangan Gamilton dinamikasi

Avvalo, biz harakatni faqat maydonlarning birinchi hosilasiga bogʻliq boʻlgan mahalliy Lagrangianning integrali deb hisoblaymiz. Mumkin boʻlsa-da, umumiy holatlarni tahlil qilish ancha murakkab. Gamilton formalizmiga oʻtsak, biz cheklovlar mavjudligini topamiz. Eslatib oʻtamiz, harakat formalizmida qobiqdagi va qobiqdan tashqari konfiguratsiyalar mavjud. Qobiqni ushlab turuvchi cheklovlar birlamchi cheklovlar deb ataladi, faqat qobiqni ushlab turadiganlar esa ikkilamchi cheklovlar deb ataladi.

Misollar

Andoza:Mvar oʻlchovli pseudo-Reimann fazo- vaqt manifoldida harakatlanadigan ichki erkinlik darajalari boʻlmagan Andoza:Mvar massali bir nuqtali zarrachaning dinamikasini koʻrib chiqaylik. Shuningdek, zarrachaning traektoriyasini tavsiflovchi parametr Andoza:Mvar ixtiyoriy deb faraz qilaylik (yaʼni biz reparametrizatsiya oʻzgarmasligini talab qilamiz). Keyin, uning simplektik fazosi kanonik simplektik shaklga ega boʻlgan T*S kotangent toʻplamidir Andoza:Mvar .

Agar biz T*S ni S Andoza:Mvar manifolddagi Andoza:Mvar pozitsiyasi va p kotangent fazodagi oʻrni bilan muvofiqlashtirsak, unda biz cheklovga ega boʻlamiz.

f = m²−g(x)⁻¹(p,p) = 0.

Nazariyaning Andoza:Mvar -qiymatli bogʻlanish shakli A boʻlsin. Eʼtibor bering, bu yerda A fiziklar tomonidan qoʻllaniladigan A dan Andoza:Mvar va Andoza:Mvar faktorlari bilan farq qiladi. Bu matematikning konventsiyasiga mos keladi.

Andoza:Mvar harakat tomonidan berilgan

$S[𝐀,\sigma ]=\int d^{d}x\frac{1}{4g^2}\eta (({𝐠}^{-1}\otimes {𝐠}^{-1})(𝐅,𝐅))+\frac{1}{2}\alpha ({𝐠}^{-1}(D\sigma ,D\sigma ))$

Bu yerda g — Minkovskiy metrikasi, F — egrilik shakli

$d𝐀+𝐀\wedge 𝐀$

bu yerda ikkinchi had Lie qavsni kommutator deb koʻrsatish uchun rasmiy stenografiya boʻlsa, Andoza:Mvar kovariant hosiladir.

Dσ = dσ − A[σ]

Andoza:Mvar esa Andoza:Mvar ning ortogonal shaklidir.

Ushbu modelning Gamilton versiyasi nima? Birinchidan, biz A ni nokovariant tarzda vaqt komponenti Andoza:Mvar va fazoviy qism A ga ajratishimiz kerak. Keyin, hosil boʻlgan simplektik fazoda Andoza:Mvar, Andoza:Math konjugat oʻzgaruvchilari (asosiy vektor fazoda qiymatlarni qabul qilish) boʻladi. $\overline{\rho }$, Andoza:Mvar ning dual rep), A , π_A, φ va π_φ . Har bir fazoviy nuqta uchun biz cheklovlarga egamiz, π_φ=0 va Gauss cheklovi

$\overrightarrow{D}\cdot {\overrightarrow{\pi }}_A-{\rho }^{\prime }({\pi }_{\sigma },\sigma )=0$

chunki Andoza:Mvar oʻzaro bogʻliqdir

$\rho :L\otimes V\to V$ ,

Andoza:Mvar ' V boʻyicha ikkilanadi

${\rho }^{\prime }:\overline{V}\otimes V\to L$

(Andoza:Mvar esa Andoza:Mvar orqali oʻz-oʻzidan ikkilanadi). Gamiltonian,

$H_f=\int d^{d-1}x\frac{1}{2}{\alpha }^{-1}({\pi }_{\sigma },{\pi }_{\sigma })+\frac{1}{2}\alpha (\overrightarrow{D}\sigma \cdot \overrightarrow{D}\sigma )-\frac{g^2}{2}\eta ({\overrightarrow{\pi }}_A,{\overrightarrow{\pi }}_A)-\frac{1}{2g^2}\eta (𝐁\cdot 𝐁)-\eta ({\pi }_{\varphi },f)-<{\pi }_{\sigma },\varphi [\sigma ]>-\eta (\varphi ,\overrightarrow{D}\cdot {\overrightarrow{\pi }}_A).$

Oxirgi ikkita atama Gauss cheklovlarining chiziqli birikmasidir va bizda Andoza:Mvar bilan parametrlangan (oʻlchov ekvivalenti) Gamiltonianlarning butun oilasi mavjud. Darhaqiqat, oxirgi uchta atama cheklangan davlatlar uchun yoʻqolganligi sababli, biz ularni olib tashlashimiz mumkin.