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

 

n ta silliq funksiyalar uchun

 

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

 

va

 

hammasi cheklangan pastki fazoda yoʻqoladi.

Bu biz quyidagini yozishimiz mumkinligini anglatadi

 

baʼzi silliq funktsiyalar uchun  −−buni koʻrsatuvchi teorema mavjud; va

 

baʼzi silliq funktsiyalar uchun .

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  — oʻlchovli tolalar  . Ushbu vektor toʻplamini ulanish bilan jihozlang. Aytaylik, bizda ham bu toʻplamning silliq  qismi bor.

U holda  ning ulanishga nisbatan kovariant hosilasi silliq chiziqli xaritadir  tangens toʻplamidan  uchun , bu asosiy nuqtani saqlaydi. Bu chiziqli xarita toʻgʻri teskari deb faraz qiling (yaʼni chiziqli xarita mavjud  shu kabi  identifikatsiya xaritasidir)  ning nollarida barcha tolalar uchun. Keyin, yashirin funktsiya teoremasiga koʻra,  ning nollarning pastki fazosi submanifold hisoblanadi.

Oddiy Puasson qavs faqat ustida aniqlanadi , M ustidan silliq funksiyalar fazosi. Biroq, ulanishdan foydalanib, agar biz tolalar sifatida V -tensorlarning darajali algebrasi bilan algebra toʻplami bilan ishlasak, uni  ning silliq kesmalari boʻshligʻiga kengaytira olamiz.

Faraz qilaylik, bu Puasson qavs ostida,  (Eʼtibor bering, bu haqiqat emas  umuman, bu „kengaytirilgan Puasson qavs“ uchun endi) va   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 ( 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.

 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 1 va B 1 boʻlsa, chiqadi. {A 1 ,f}={B 1 ,f}=0 chegaralangan pastki fazoda) va yana ikkita A 2 va B 2, ular orbitalarda ham doimiy boʻlib, A 1 va B 1 mos ravishda A 2 va B 2 ga mos keladi. chegaralangan ostfazoda, keyin ularning Puasson qavslari {A 1, B 1 } va {A 2, B 2 } 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  -vektor toʻplami qayerda  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 

 oʻlchovli pseudo-Reimann fazo- vaqt manifoldida harakatlanadigan ichki erkinlik darajalari boʻlmagan  massali bir nuqtali zarrachaning dinamikasini koʻrib chiqaylik. Shuningdek, zarrachaning traektoriyasini tavsiflovchi parametr  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  .

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

 f = m2−g(x)−1(p,p) = 0.

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

 harakat tomonidan berilgan

 

Bu yerda g — Minkovskiy metrikasi, F — egrilik shakli

 

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

 Dσ = dσ − A[σ]

 esa  ning ortogonal shaklidir.

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

 

chunki  oʻzaro bogʻliqdir

  ,

 ' V boʻyicha ikkilanadi

 

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

 

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

Manbalar 

 Mexanika
 Fizika