Yolg'on nuqtasi simmetriyasi - Lie point symmetry

XIX asrning oxirlarida, Sofus yolg'on tushunchasini kiritdi Yolg'on guruh echimlarini o'rganish uchun oddiy differentsial tenglamalar[1][2][3] (ODE). U quyidagi asosiy xususiyatni ko'rsatdi: oddiy diferensial tenglamaning tartibini, agar shunday bo'lsa, biriga qisqartirish mumkin o'zgarmas bitta parametr ostida Yolg'on guruhi nuqta o'zgarishlari.[4] Ushbu kuzatish mavjud bo'lgan integratsiya usullarini birlashtirdi va kengaytirdi. Lie matematik karerasining qolgan qismini shularni rivojlantirishga bag'ishladi doimiy guruhlar hozirda matematik asosli fanlarning ko'plab sohalariga ta'sir ko'rsatmoqda. Yolg'on guruhlarining murojaatlari differentsial tizimlar asosan Lie tomonidan tashkil etilgan va Emmi Noether, va keyin tomonidan himoya qilingan Élie Cartan.

Taxminan aytganda, tizimning Lie nuqta simmetriyasi bu tizimning har bir echimini bir xil tizimning boshqa echimiga tushiradigan mahalliy o'zgarish guruhidir. Boshqacha qilib aytganda, u tizimning echimlar to'plamini o'ziga moslashtiradi. Yolg'on guruhlarining boshlang'ich misollari tarjimalar, aylanishlar va tarozi.

Yolg'on simmetriya nazariyasi taniqli mavzudir. Unda muhokama qilinadi doimiy simmetriya qarshi, masalan, diskret simmetriya. Ushbu nazariya uchun adabiyotlarni, boshqa joylar qatorida, ushbu eslatmalarda topish mumkin.[5][6][7][8][9]

Umumiy nuqtai

Simmetriya turlari

Yolg'on guruhlari va shu sababli ularning cheksiz kichik generatorlari mustaqil o'zgaruvchilar maydonida harakat qilish uchun tabiiy ravishda "kengaytirilishi" mumkin, holat o'zgaruvchilari (qaram o'zgaruvchilar) va har qanday cheklangan tartibgacha bo'lgan holat o'zgaruvchilarining hosilalari. Nosimmetriklikning boshqa turlari ham mavjud. Masalan, kontaktli transformatsiyalar cheksiz kichik generatorni o'zgartirish koeffitsientlari koordinatalarning birinchi hosilalariga ham bog'liq bo'lsin. Lie-Beklundga o'zgartirishlar o'zboshimchalik bilan buyruqgacha hosilalarni o'z ichiga olsin. Bunday simmetriyalarning mavjudligi ehtimoli Noether tomonidan tan olingan.[10] Lie nuqta simmetriyalari uchun cheksiz kichik generatorlarning koeffitsientlari faqat koordinatalarga bog'liq bo'lib, ular bilan belgilanadi .

Ilovalar

Yolg'on simmetriyalari Lie tomonidan oddiy differentsial tenglamalarni echish uchun kiritilgan. Simmetriya usullarining yana bir qo'llanilishi - differentsial tenglamalar tizimini kamaytirish, sodda shakldagi differentsial tenglamalarning ekvivalent tizimlarini topishdir. Bu deyiladi kamaytirish. Adabiyotda klassik qisqartirish jarayonini topish mumkin,[4] va harakatlanuvchi ramka -qisobga olingan kamaytirish jarayoni.[11][12][13] Shuningdek, simmetriya guruhlari echimlarning turli xil simmetriya sinflarini tasniflash uchun ishlatilishi mumkin.

Geometrik ramka

Infinitesimal yondashuv

Yolg'onning asosiy teoremalari, yolg'on guruhlari quyidagi elementlar bilan tavsiflanishi mumkinligini ta'kidlaydi cheksiz kichik generatorlar. Ushbu matematik ob'ektlar a Yolg'on algebra cheksiz kichik generatorlar. Simetriya guruhlarining yopiq shaklini va shu bilan bog'liq cheksiz kichik generatorlarni topish uchun ajratilgan "cheksiz kichik simmetriya shartlari" (simmetriya guruhining tenglamalarini belgilaydigan) aniq echilishi mumkin.

Ruxsat bering tizim qaerda aniqlangan koordinatalar to'plami bo'lishi ning kardinalidir . Cheksiz kichik generator dalada chiziqli operator bor yadrosida va uni qondiradigan narsa Leybnits qoidasi:

.

Elementar hosilalarning kanonik asoslarida , shunday yozilgan:

qayerda ichida Barcha uchun yilda .

Cheksiz kichik generatorlarning yolg'on guruhlari va Lie algebralari

Yolg'on algebralar yuqorida tavsiflangan infinitesimal generatorlarning yaratuvchi to'plami tomonidan yaratilishi mumkin. Har bir Lie guruhiga yolg'on algebrasini bog'lash mumkin. Taxminan, yolg'on algebra bu algebra bilan jihozlangan vektor maydoni tomonidan tashkil etilgan Yolg'on qavs qo'shimcha operatsiya sifatida. Lie algebrasining asosiy maydoni tushunchasiga bog'liq o'zgarmas. Bu erda faqat sonli o'lchovli Lie algebralari ko'rib chiqiladi.

Doimiy dinamik tizimlar

A dinamik tizim (yoki oqim ) bitta parametrdir guruh harakati. Keling, belgilaymiz bunday dinamik tizim, aniqrog'i, guruhning (chapda) harakati a ko'p qirrali :

hamma narsa uchun shunday yilda :

  • qayerda ning neytral elementidir ;
  • Barcha uchun yilda , .

Guruhda uzluksiz dinamik tizim aniqlanadi bilan aniqlanishi mumkin ya'ni guruh elementlari uzluksizdir.

Invariants

An o'zgarmas, taxminan aytganda, bu transformatsiya jarayonida o'zgarmaydigan element.

Lie nuqta simmetriyalarining ta'rifi

Ushbu xatboshida biz aniq ko'rib chiqamiz kengaytirilgan Lie nuqtasi simmetriyalari ya'ni kengaytirilgan kosmosda ishlaymiz, ya'ni mustaqil o'zgaruvchini, holat o'zgaruvchilarini va parametrlarini farqlashdan imkon qadar qochish kerak.

Tizimning simmetriya guruhi - bu mahalliy Lie guruhida aniqlangan doimiy dinamik tizim kollektorda harakat qilish . Aniqlik uchun biz o'zimizni n o'lchovli haqiqiy manifoldlar bilan cheklaymiz qayerda tizim koordinatalarining soni.

Algebraik tizimlarning yolg'on nosimmetrikliklari

Keling, aniqlaylik algebraik tizimlar kelgusi simmetriya ta'rifida ishlatiladi.

Algebraik tizimlar

Ruxsat bering maydon bo'yicha oqilona funktsiyalarning cheklangan to'plami bo'lishi qayerda va in polinomlardir ya'ni o'zgaruvchilarda koeffitsientlari bilan . An algebraik tizim bilan bog'liq quyidagi tenglik va tengsizliklar bilan belgilanadi:

Tomonidan belgilanadigan algebraik tizim bu muntazam (a.k.a.) silliq ) tizim bo'lsa maksimal darajaga ega , degan ma'noni anglatadi Yakobian matritsasi unvonga ega har qanday echim bog'liq yarim algebraik xilma-xillik.

Lie nuqta simmetriyalarining ta'rifi

Quyidagi teorema (2-chi qismning 2.8-bandiga qarang) [5]) mahalliy Lie guruhi uchun zarur va etarli shartlarni beradi algebraik tizimning simmetriya guruhidir.

Teorema. Ruxsat bering n o'lchovli bo'shliqda harakat qiladigan uzluksiz dinamik tizimning bog'langan mahalliy Lie guruhi bo'ling . Ruxsat bering bilan algebraik tenglamalarning muntazam tizimini aniqlang:

Keyin bu algebraik tizimning simmetriya guruhidir, agar shunday bo'lsa,

har bir cheksiz kichik generator uchun Yolg'on algebrasida ning .

Misol

6 o'zgaruvchidan iborat maydonda aniqlangan algebraik tizimni ko'rib chiqing, ya'ni bilan:

Cheksiz kichik generator

bir parametrli simmetriya guruhlaridan biriga bog'langan. U 4 o'zgaruvchiga ta'sir qiladi, ya'ni va . Buni osongina tekshirish mumkin va . Shunday qilib munosabatlar har qanday narsadan mamnun yilda bu algebraik tizimni yo'q qiladi.

Dinamik tizimlarning yolg'on nosimmetrikliklari

Birinchi darajali tizimlarni aniqlaylik ODE kelgusi simmetriya ta'rifida ishlatiladi.

ODE tizimlari va ular bilan bog'liq cheksiz minimal generatorlar

Ruxsat bering w.r.t. lotin bo'lishi uzluksiz mustaqil o'zgaruvchi . Biz ikkita to'plamni ko'rib chiqamiz va . Bog'langan koordinatalar to'plami tomonidan belgilanadi va uning asosiy qismi . Ushbu yozuvlar bilan, a birinchi darajali ODE tizimi bu tizim:

va to'plam w.r.t. ODE ning o'zgaruvchan holatlari evolyutsiyasini belgilaydi. mustaqil o'zgaruvchi. To'plam elementlari deyiladi holat o'zgaruvchilari, bular parametrlar.

Tenglamalarni echish orqali ODE tizimiga doimiy dinamik tizimni ham qo'shish mumkin.

Infinitesimal generator - bu ODE tizimlari (aniqrog'i uzluksiz dinamik tizimlar bilan) chambarchas bog'liq bo'lgan hosila. ODElar tizimi, bog'liq vektor maydoni va cheksiz kichik generator o'rtasidagi bog'liqlik uchun 1.3-bo'limga qarang.[4] Cheksiz kichik generator Yuqorida tavsiflangan ODE tizimiga bog'liq bo'lgan bir xil yozuvlar bilan quyidagicha ta'riflangan:

Lie nuqta simmetriyalarining ta'rifi

Mana shunday simmetriyalarning geometrik ta'rifi. Ruxsat bering doimiy dinamik tizim bo'lishi va uning cheksiz kichik generatori. Uzluksiz dinamik tizim ning Lie nuqta simmetriyasi agar, va faqat agar, ning har bir orbitasini yuboradi orbitaga. Demak, cheksiz kichik generator quyidagi munosabatni qanoatlantiradi[8] asoslangan Yolg'on qavs:

qayerda ning har qanday doimiysi va ya'ni . Ushbu generatorlar chiziqli ravishda mustaqil.

Hech kimga aniq formulalar kerak emas uning simmetriyalarining cheksiz generatorlarini hisoblash uchun.

Misol

Ko'rib chiqing Per François Verhulst "s logistik o'sish chiziqli yirtqich bilan model,[14] bu erda holat o'zgaruvchisi aholini anglatadi. Parametr o'sish va yirtqichlik darajasi va parametr o'rtasidagi farq atrof muhitning qabul qilish qobiliyatiga mos keladi:

Ushbu ODE tizimiga bog'liq bo'lgan doimiy dinamik tizim quyidagilardir:

Mustaqil o'zgaruvchi doimiy ravishda o'zgarib turadi; shu bilan bog'liq guruhni aniqlash mumkin .

Ushbu ODE tizimiga bog'liq bo'lgan cheksiz kichik generator:

Quyidagi cheksiz kichik generatorlar ning 2 o'lchovli simmetriya guruhiga kiradi :

Dasturiy ta'minot

Ushbu sohada ko'plab dasturiy ta'minot to'plamlari mavjud.[15][16][17] Masalan, Chinor uchun Lie simmetriya usullarini taqdim etadi PDElar.[18] U aniqlovchi tizimlarning integratsiyasini va boshqalarni boshqaradi differentsial shakllar. Kichik tizimlarda muvaffaqiyat qozonganiga qaramay, aniqlaydigan tizimlarni avtomatik ravishda hal qilish uchun uning integratsiya imkoniyatlari murakkablik masalalari bilan cheklangan. DETools to'plami uzaytirilishidan foydalanadi vektor maydonlari ODElarning yolg'on simmetriyalarini izlash uchun. ODElar uchun Lie simmetriyalarini topish, umuman olganda, asl tizimni echish kabi murakkab bo'lishi mumkin.

Adabiyotlar

  1. ^ Yolg'on, Sofus (1881). "Über die Integration durch bestimmte Integrale von einer Klasse linearer partieller Differentialgleichungen". Matematik va Naturvidenskab uchun arxiv (nemis tilida). 6: 328–368.
  2. ^ Yolg'on, Sofus (1890). Theorie der Transformationsgruppen (nemis tilida). 2. Teubner, Leyptsig.
  3. ^ Yolg'on, Sofus (1893). Theorie der Transformationsgruppen (nemis tilida). 3. Teubner, Leyptsig.
  4. ^ a b v Olver, Piter J. (1993). Yolg'on guruhlarining differentsial tenglamalarga qo'llanishi (Ikkinchi nashr). Springer-Verlag.
  5. ^ a b Olver, Piter J. (1995). Ekvivalentlik, noaniqlik va simmetriya. Kembrij universiteti matbuoti.
  6. ^ Olver, Piter J. (1999). Klassik o'zgarmas nazariya (Birinchi nashr). Kembrij universiteti matbuoti.
  7. ^ Bluman, G.; Kumei, S. (1989). Nosimmetrikliklar va differentsial tenglamalar. Amaliy matematika fanlari seriyasi. 81 (Ikkinchi nashr). Nyu-York: Springer-Verlag.
  8. ^ a b Stefani, H. (1989). Differentsial tenglamalar (Birinchi nashr). Kembrij universiteti matbuoti.
  9. ^ Levi, D.; Winternitz, P. (2006). "Farq tenglamalarining uzluksiz simmetriyalari". Fizika jurnali A: matematik va umumiy. 39: R1-R63. arXiv:nlin / 0502004. Bibcode:2006 yil JPhA ... 39R ... 1L. doi:10.1088 / 0305-4470 / 39/2 / r01.
  10. ^ Noether, E. (1918). "Invariante Variationsprobleme. Nachr. König. Gesell. Wissen". Matematika-fiz. Kl. (nemis tilida). Göttingen: 235–257.
  11. ^ Cartan, Elie (1935). "La méthode du repère mobile, la théorie des groupes continus et les espaces généralisés". Exposés de géométrie - 5 Hermann (frantsuz tilida). Parij.
  12. ^ Fels, M .; Olver, Piter J. (1998 yil aprel). "Ko'chib yuruvchi koframlar: I. Amaliy algoritm". Acta Applicationsandae Mathematicae. 51 (2): 161–213. doi:10.1023 / a: 1005878210297.
  13. ^ Fels, M .; Olver, Piter J. (1999 yil yanvar). "Ko'chib yuruvchi koframlar: II. Regularizatsiya va nazariy asoslar". Acta Applicationsandae Mathematicae. 55 (2): 127–208. doi:10.1023 / A: 1006195823000.
  14. ^ Murray, J. D. (2002). Matematik biologiya. Fanlararo amaliy matematika. 17. Springer.
  15. ^ Heck, A. (2003). Maple-ga kirish (Uchinchi nashr). Springer-Verlag.
  16. ^ Shvarts, F. (1988). "Diferensial tenglamalar simmetriyalari: Sofus Liydan kompyuter algebrasigacha". SIAM sharhi. 30: 450–481. doi:10.1137/1030094.
  17. ^ Dimas, S .; Tsoubelis, T. (2005). "SYM: Mathematica uchun yangi simmetriya topuvchi to'plam" (PDF). MOdern GRoup ANalysis-dagi 10-xalqaro konferentsiya. Kipr universiteti, Nikosiya, Kipr: 64-70. Arxivlandi asl nusxasi (PDF) 2006-10-01 kunlari.
  18. ^ Karminati, J .; Devitt, J. S .; Fee, G. J. (1992). "Algebraik hisoblash yordamida differentsial tenglamalarning izogruplari". Ramziy hisoblash jurnali. 14 (1): 103–120. doi:10.1016/0747-7171(92)90029-4.