Кіріспе

Математикада Пайнлеве трансценденттері — күрделі жазықтықтағы белгілі бір екінші реттік сызықтық емес қалыпты дифференциалдық теңдеулердің шешімдері болып табылады, олар Пайнлеве қасиетіне ие (барлық жылжымалы сингулярлықтары полюстер ғана), бірақ олар көбінесе элементарлық функциялар арқылы шешілмейді. Оларды , , және анықтаған.

Тарих

Painlevé трансценденттерінің шығу тегі арнайы функцияларды зерттеуде, олар көбінесе дифференциалдық теңдеулердің шешімдері ретінде, сондай-ақ сызықтық дифференциалдық теңдеулердің изомонодромалық деформацияларын зерттеуде кездеседі. Арнайы функциялардың ең пайдалы кластарының бірі – эллипстік функциялар. Олар екінші реттік жай дифференциалдық теңдеулер арқылы анықталады, олардың сингулярлықтары Painlevé қасиетіне ие: жалғыз қозғалмалы сингулярлықтар – полюстер. Бұл қасиет сызықтық емес теңдеулерде сирек кездеседі. Poincaré және L. Fuchs кез келген бірінші реттік теңдеуді, егер ол Painlevé қасиетіне ие болса, Weierstrass эллиптік теңдеуіне немесе Riccati теңдеуіне түрлендіруге болатынын көрсетті, олардың екеуі де интеграция және бұрыннан белгілі арнайы функциялар арқылы нақты түрде шешіледі. Émile Picard 1-ден үлкен реттер үшін қозғалмалы елеулі сингулярлықтардың пайда болу мүмкін екенін көрсетті және кейіннен Painlevé VI теңдеуі деп аталатын ерекше жағдайды тапты (төменде қараңыз). (2-ден үлкен реттер үшін шешімдердің табиғи шекаралары қозғалмалы болуы мүмкін.) 1900 жыл шамасында Paul Painlevé қозғалмалы сингулярлықтары жоқ екінші реттік дифференциалдық теңдеулерді зерттеді. Ол, белгілі бір түрлендірулерге дейін, формасы (рационалды функциямен) әрбір осындай теңдеуді елу канондық форманың біріне (төменде тізімделген) келтіруге болатынын анықтады. Олардың қырық төртеуі бұрыннан белгілі функциялар арқылы шешілетін, яғни қайталанатын, ал қалған алты теңдеуді шешу үшін жаңа арнайы функцияларды енгізу қажет болды. Кейбір есептеу қателері болды, нәтижесінде ол Painlevé VI теңдеуінің жалпы түрін қоса алғанда, үш теңдеуді жіберіп алды. Қателерді түзетіп, жіктемені Painlevé-нің шәкірті Bertrand Gambier аяқтады. Painlevé және Gambier-ден тәуелсіз, Richard Fuchs мүлдем басқаша көзқараспен Painlevé VI теңдеуін тапты: ол тұрақты сингулярлықтары бар сызықтық дифференциалдық теңдеулердің изомонодромалық деформацияларын зерттеді. Параметрлердің жалпы мәндері үшін осы алты теңдеудің шынымен де қайталанбас екенін көрсету көп жылдар бойы даулы мәселе болды (кейде олар ерекше параметрлер үшін қайталана алады; төменде қараңыз), бірақ бұл ақыры дәлелденді. Осы алты екінші реттік сызықтық емес дифференциалдық теңдеулер Painlevé теңдеулері деп аталады, ал олардың шешімдері – Painlevé трансценденттері. Алтыншы теңдеудің ең жалпы түрін Painlevé жіберіп алды, бірақ оны 1905 жылы Richard Fuchs (Lazarus Fuchs-тың ұлы) тапты, ол екінші реттік Фукс теңдеуінің бірегейлігін анықтайтын дифференциалдық теңдеу ретінде, проективтік түзудегі 4 тұрақты сингулярлық нүктесі бар және монодромияны сақтайтын деформацияларға ие. Ол Painlevé тізіміне қосылды. Painlevé жоғары реттік теңдеулерге қатысты жұмысын кеңейтуге тырысты, Painlevé қасиетіне ие үшінші реттік теңдеулерді тапты.

Симметриялар

Баклундтық түрлендіру — дифференциалдық теңдеудің тәуелді және тәуелсіз айнымалыларын түрлендіретін, оны сол сияқты теңдеуге айналдыратын түрлендіру. Painlevé теңдеулерінің бәрінде дискретті Баклундтық түрлендірулер тобы бар, олар белгілі шешімдерден жаңа шешімдер алу үшін қолданылуы мүмкін.

Басқа салалармен байланыс

Пайнлеве теңдеулерін зерттеудің басты себептерінің бірі – полюстер орналасқан жерінің өзгеруі кезінде тұрақты сингулярлықтары бар сызықтық жүйелердің монодромиясының инварианттылығымен байланысы. Атап айтқанда, Ричард Фукс осы байланыстың арқасында Painlevé VI теңдеуін ашқан. Бұл тақырып изомонодромалық деформация туралы мақалада сипатталған. Пайнлеве теңдеулері – интегралданатын дербес дифференциалдық теңдеулердің барлық редукциялары; Пайнлеве теңдеулері – өзіне-өзі жұптасқан Янг-Милл теңдеулерінің барлық редукциялары; Пайнлеве трансценденттері кездейсоқ матрицалар теориясында Tracy-Widom үлестірілімінің формуласында, 2D Ising моделінде, асимметриялық қарапайым шығару процесінде және екі өлшемді кванттық гравитацияда кездеседі. Пайнлеве VI теңдеуі екі өлшемді конформдық өріс теориясында пайда болады: ол конформдық блоктардың комбинацияларымен және жерлерінде орындалады, мұнда – Вирасоро алгебрасының орталық заряды.