Ikkilamchi hisoblash va kohomologik fizika - Secondary calculus and cohomological physics
Yilda matematika, ikkilamchi hisob klassikaning taklif qilingan kengayishi differentsial hisob kuni manifoldlar, a (chiziqli bo'lmagan) echimlarning "kosmosiga" qisman differentsial tenglama. Bu darajadagi murakkab nazariya reaktiv bo'shliqlar va algebraik usullardan foydalanish.
Ikkilamchi hisob
Ikkilamchi hisob tizimining echimlari maydonida ishlaydi qisman differentsial tenglamalar (odatda chiziqli bo'lmagan tenglamalar). Mustaqil o'zgaruvchilar soni nolga teng bo'lganda, ya'ni tenglamalar algebraik bo'lsa, ikkilamchi hisoblash klassikgacha kamayadi differentsial hisob.
Ikkilamchi hisobdagi barcha ob'ektlar kohomologiya darslari o'sayotgan differentsial komplekslarning tafovutlar. Ikkinchisi, ikkinchi darajali hisob-kitoblar doirasida, ning analogidir silliq manifoldlar.
Kogomologik fizika
Kogomologik fizika bilan tug'ilgan Gauss teoremasi, ma'lum bir sirt ichida joylashgan elektr zaryadini sirtning o'zi orqali elektr maydonining oqimi bo'yicha tavsiflaydi. Oqim - bu differentsial shaklning ajralmas qismi va natijada a de Rham kohomologiyasi sinf. Bunday formulalar, masalan, taniqli kishilar tasodifan emas Stoks formulasi klassik differentsial hisoblashning tabiiy qismi bo'lsa-da, zamonaviy matematikaga fizikadan kirib keldi.
Klassik analoglar
Klassik differentsial hisobdagi barcha konstruktsiyalar ikkilamchi hisobda analogga ega. Masalan, qisman differentsial tenglamalar tizimining yuqori simmetriyalari analogidir vektor maydonlari farqlanadigan manifoldlarda. Har biriga bog'langan Eyler operatori variatsion muammo tegishli Eyler-Lagranj tenglamasi, klassik differentsialning differentsial funktsiyaga o'xshashligi. Euler operatori birinchi darajali ikkilamchi differentsial operator, hatto mahalliy koordinatalardagi ifodasiga ko'ra u cheksiz tartiblardan biriga o'xshasa ham. Odatda, analogi differentsial shakllar ikkilamchi hisob-kitoblar deb ataladigan birinchi davr elementlari C-spektral ketma-ketligi, va hokazo.
Eng oddiy diffietiyalar cheksizdir qisman differentsial tenglamalarning uzaytirilishi, cheksiz navlari bo'lgan reaktiv bo'shliqlar. Ikkinchisi - standart yordamida o'rganib bo'lmaydigan cheksiz o'lchovli navlar funktsional tahlil. Aksincha, ushbu ob'ektlarni o'rganadigan eng tabiiy til komutativ algebralar bo'yicha differentsial hisoblash. Shuning uchun, ikkinchisini ikkinchi darajali hisoblashning asosiy vositasi deb hisoblash kerak. Boshqa tomondan, komutativ algebralar bo'yicha differentsial hisoblash algebraik geometriyani xuddi differentsial geometriya kabi rivojlantirish imkoniyatini beradi.
Nazariy fizika
Ning so'nggi o'zgarishlar zarralar fizikasi, kvant maydon nazariyalari va uning umumlashmalariga asoslanib klassik va kvant maydonlarini tavsiflovchi miqdorlarning chuqur kohomologik mohiyatini tushunishga olib keldi. Burilish nuqtasi taniqli kashfiyot edi BRST o'zgarishi. Masalan, maydon nazariyasida kuzatiladigan narsalar gorizontal de Rham kohomologiyasi sinflari bo'lib, ular tegishli o'lchov guruhi ostida o'zgarmasdir va hokazo. Zamonaviy nazariy fizikadagi ushbu oqim aslida o'sib bormoqda[iqtibos kerak ] va unga kohomologik fizika deyiladi.
Yigirma yil davomida bir-biridan mustaqil ravishda rivojlanib kelgan ikkilamchi hisob-kitoblar va kohomologik fizika bir xil natijalarga erishgani dolzarbdir. Ularning uyg'unligi xalqaro konferentsiyada bo'lib o'tdi Ikkilamchi hisoblash va kohomologik fizika (Moskva, 1997 yil 24-30 avgust).
Istiqbollari
Ko'p sonli zamonaviy matematik nazariyalar ikkinchi darajali hisob-kitoblar doirasida uyg'unlashmoqda, masalan: komutativ algebra va algebraik geometriya, gomologik algebra va differentsial topologiya, Yolg'on guruh va Yolg'on algebra nazariya, differentsial geometriya, va boshqalar.
Adabiyotlar
Muhim Bibliografiya
- I. S. Krasil'shchik, Komutativ algebralar bo'yicha hisob-kitob: qisqacha foydalanuvchi qo'llanmasi, Acta Appl. Matematika. 49 (1997) 235—248; DIPS-01/98
- I. S. Krasil'shchik, A. M. Verbovetskiy, Matematik fizika tenglamalarida gomologik usullar, Ochiq nashr. va fanlar, Opava (Chexiya Respublikasi), 1998; DIPS-07/98.
- I. S. Krasil'shchik, A. M. Vinogradov (tahr.), Matematik fizikaning differentsial tenglamalari uchun simmetriya va saqlanish qonunlari, Matematikaning tarjimalari. Monografiyalar 182, Amer. Matematika. Soc., 1999 yil.
- J. Nestruev, Smooth Manifolds and Observables, Graduate Text of Mathematics 220, Springer, 2002 y.
- A. M. Vinogradov, C-spektral ketma-ketlik, Lagranjiy rasmiyatchilik va saqlanish qonunlari I. Chiziqli nazariya, J. Math. Anal. Qo'llash. 100 (1984) 1—40; Farqlilik inst. Kutubxona.
- A. M. Vinogradov, C-spektral ketma-ketlik, Lagranjiy rasmiyatchilik va saqlanish qonunlari II. Lineer bo'lmagan nazariya, J. Math. Anal. Qo'llash. 100 (1984) 41—129; Farqlilik inst. Kutubxona.
- A. M. Vinogradov, Qisman differentsial tenglamalarning simmetriyalaridan ikkilamchi ("kvantlangan") hisoblashga, J. Geom. Fizika. 14 (1994) 146—194; Farqlilik inst. Kutubxona.
- A. M. Vinogradov, Ikkilamchi hisob-kitobga kirish, Proc. Konf. Ikkilamchi hisoblash va kohomologiya fizikasi (M. Xenno, I. S. Krasil'shchik va A. M. Vinogradov, tahr.), Zamonaviy matematika, Amer. Matematika. Soc., Providence, Rod-Aylend, 1998; DIPS-05/98.
- A. M. Vinogradov, qisman differentsial tenglamalar va ikkilamchi hisoblarning kohomologik tahlili, matematikaning tarjimalari. Monografiyalar 204, Amer. Matematika. Soc., 2001 yil.