Риман-Гильберт проблемасы - Riemann–Hilbert problem - Wikipedia

Жылы математика, Риман-Гильберт проблемалары, атындағы Бернхард Риман және Дэвид Хилберт, зерттеу барысында туындайтын мәселелер класы болып табылады дифференциалдық теңдеулер ішінде күрделі жазықтық. Бірнеше болмыс теоремалары Риман-Гильберт үшін есептер шығарды Марк Керин, Израиль Гогберг және басқалары (Клэнси мен Гоббергтің кітабын қараңыз (1981)).

Риман проблемасы

Айталық ${ displaystyle Sigma}$ - жазықтықты екі бөлікке бөлетін күрделі жазықтықтағы тұйықталған қарапайым контур ${ displaystyle Sigma _ {+}}$ (ішкі) және ${ displaystyle Sigma _ {-}}$ (сыртқы), арқылы анықталады индекс нүктеге қатысты контурдың. Риманның кандидаттық диссертациясында қарастырылған классикалық мәселе (қараңыз) Панди (1996) ) функцияны табу болды

{ displaystyle M _ {+} (z) = u (z) + iv (z)}

ішіндегі аналитикалық ${ displaystyle Sigma _ {+}}$ шекара мәндері сияқты М₊ бойымен ${ displaystyle Sigma}$ теңдеуді қанағаттандыру

{ displaystyle a (z) u (z) -b (z) v (z) = c (z)}

барлығына ${ displaystyle z in Sigma}$ , қайда а, б, және c нақты бағаланатын функциялар беріледі (Бицадзе 2001 ж ).

Бойынша Риманның картаға түсіру теоремасы, жағдайды қарастыру жеткілікті ${ displaystyle Sigma}$ бірлік шеңбері (Панди 1996 ж, §2.2). Бұл жағдайда біреу іздей алады М₊(з) онымен бірге Шварцтың көрінісі:

{ displaystyle M _ {-} (z) = { overline {M _ {+} сол жақ ({ бар {z}} ^ {- 1} оң)}}.}

Circle бірлік шеңберінде біреу бар ${ displaystyle z = 1 / { бар {z}}}$ , солай

{ displaystyle M _ {-} (z) = { overline {M _ {+} (z)}}, quad z in Sigma.}

Демек, мәселе функциялардың жұбын табуға дейін азаяды М₊(з) және М₋(з) аналитикалық, сәйкесінше, блок дискінің ішкі және сыртқы жағында, сондықтан бірлік шеңберінде

{ displaystyle { frac {a (z) + ib (z)} {2}} M _ {+} (z) + { frac {a (z) -ib (z)} {2}} M _ {- } (z) = c (z),}

және, сонымен қатар, шексіздіктегі шарт келесідей болады:

{ displaystyle lim _ {z to infty} M _ {-} (z) = { overline {{M} _ {+} (0)}}.}

Гильберт проблемасы

Гильбертті жалпылау табуға тырысу мәселесін қарастыру болды М₊ және М₋ сәйкесінше analy қисығының ішкі және сыртқы жағынан аналитикалық, осылай ${ displaystyle Sigma}$ біреуінде бар

{ displaystyle alpha (z) M _ {+} (z) + beta (z) M _ {-} (z) = c (z)}

Мұндағы α, β және c күрделі түрде бағаланатын функциялар болып табылады (бұдан әрі күрделі конъюгаттар емес).

Риман-Гильберт проблемалары

Риман проблемасында, сонымен қатар Гильбертті жалпылау, контур ${ displaystyle Sigma}$ қарапайым болды. Толық Риман-Гильберт проблемасы контурдың қиылысусыз бірнеше бағытталған тегіс қисықтардың бірігуінен тұруына мүмкіндік береді. Содан кейін «контурдың» + және - жақтарын нүктенің индексіне сәйкес анықтауға болады ${ displaystyle Sigma}$ . Риман-Гильберт проблемасы - жұп функцияны табу, М₊ және М₋ сәйкесінше + және - жағында аналитикалық ${ displaystyle Sigma}$ , теңдеуге сәйкес

{ displaystyle alpha (z) M _ {+} (z) + beta (z) M _ {-} (z) = c (z)}

барлығына з ∈ Σ.

Жалпылау: факторизация мәселелері

«Бағдарланған» контуры «берілген (техникалық тұрғыдан: күрделі жазықтықта шексіз өзіндік қиылысу нүктелері жоқ тегіс қисықтардың бағытталған одағы). A Бирхофф факторизациясы проблема келесі.

Матрица функциясы берілген V conditions контурында анықталған, екі шарт орындалатындай Σ толықтауышында анықталған голоморфты матрица функциясын М табу үшін:

Егер М₊ және М₋ тангенциалды емес шектерін белгілеңіз М Σ жақындаған кезде М₊ = М₋V, барлық қиылыспайтын нүктелерде Σ.
Қалай з кез келген бағыт бойынша шексіздікке ұмтылады Σ, М ұмтылады сәйкестік матрицасы.

Ең қарапайым жағдайда V тегіс және интеграцияланған. Неғұрлым күрделі жағдайларда оның ерекшелігі болуы мүмкін. Шектер М₊ және М₋ классикалық және үздіксіз болуы мүмкін немесе оларды қабылдауға болады L₂ сезім.

Интеграциялық теорияға қосымшалар

Риман-Гильберт есептерінің бірнеше байланысты кластарға қосымшалары бар.

А. Интеграцияланған модельдер: The кері шашырау немесе байланысты спектрлік есеп Коши проблемалары 1 + 1 өлшемді үшін дербес дифференциалдық теңдеулер жолда, немесе периодты есептерге, тіпті бастапқы шекаралық есептерге дейін (Фокас (2002) ), Риман-Гильберт проблемасы ретінде айтуға болады. Сол сияқты кері монодромия мәселесі Пенлеве теңдеулері Риман-Гильберт проблемасы ретінде айтуға болады.

Б. Ортогоналды көпмүшелер, Кездейсоқ матрицалар: Контурдағы салмақты ескере отырып, сәйкес ортогоналды көпмүшелерді Риман-Гильберт факторизациясы есебінің шешімі арқылы есептеуге болады (Fokas, Its & Kitaev (1992) ). Сонымен қатар, бірнеше классикалық ансамбльдерде кездейсоқ матрицалардың өзіндік мәндерінің үлестірілуі ортогональды көпмүшеліктерді қосатын есептеулерге дейін азаяды (мысалы, қараңыз) Deift (1999)).

C. Комбинаторлық ықтималдық: Ең танымал мысал - теоремасы Baik, Deift & Johansson (1999) кездейсоқ ауыстырудың ең ұзын өсетін тізбегінің ұзындығын үлестіру туралы. Зерттеумен бірге B жоғарыда, бұл «интегралданатын ықтималдық» деп аталатын алғашқы қатаң тергеудің бірі. Бірақ интегралдылық теориясының және кездейсоқ матрицалардың әртүрлі классикалық ансамбльдерінің арасындағы байланыс Дайсонның жұмысынан басталады (мысалы.Дайсон (1976) ).

Риман-Гильберт есептерінің сандық талдауы интегралданатынды сандық шешудің тиімді әдісін ұсына алады PDE, мысалы, қараңыз. Трогдон және Олвер (2016).

Асимтотикалық шешімдер үшін қолданыңыз

Атап айтқанда, Риман-Гильберт факторизациясы есептері жоғарыдағы үш есеп бойынша асимптотикалық мәндерді шығару үшін қолданылады (айталық, уақыт шексіздікке жеткенде немесе дисперсия коэффициенті нөлге жеткенде немесе полиномдық дәреже шексіздікке жеткенде немесе өлшем ретінде ауыстырудың шексіздікке жетуі). Риман-Гильберт есептерінің шешімдерінің асимптотикалық мінез-құлқын алу әдісі бар, стационарлық фаза әдісі және ең тіке түсу әдісі экспоненциалды интегралдарға қолданылады.

Классикалық асимптотикалық әдістермен ұқсастығы бойынша, Риман-Гильберт есептерін «деформациялайды», олар нақты есептермен шешілмейді. «Сызықтық емес» деп аталатын стационарлық фаза байланысты Deift & Zhou (1993), арқылы алдыңғы идеяны кеңейту Оның (1982) және Манаков (1979). Deift-Zhou талдауының маңызды ингредиенті контурлар бойынша сингулярлық интегралдарды асимптотикалық талдау болып табылады.

Стационарлық фазаның сызықты емес әдісінің маңызды кеңеюі g-функциясы арқылы ақырғы саңылау деп аталатын түрлендіруді енгізу болды. Deift, Venakides & Zhou (1997), бұл көптеген қосымшаларда шешуші болды. Бұл Лакстың, Левермордың және Венакидтің еңбектерінен шабыттанды, олар дисперсияның кішігірім шегін талдауды азайтты. KdV теңдеуі кейбір сыртқы өрістегі логарифмдік потенциал үшін максимизация есебін талдауға: «электростатикалық» типтегі вариациялық есеп. G-функциясы максималды «тепе-теңдік» өлшемінің логарифмдік түрлендіруі болып табылады. -Дің кіші дисперсиялық шегін талдау KdV теңдеуі іс жүзінде «нақты» ортогоналды көпмүшеліктерге (яғни нақты сызықта анықталған ортогоналдық шартпен) және гермиттік кездейсоқ матрицаларға қатысты жұмыстың көп бөлігін талдауға негіз болды.

Теорияның осы уақытқа дейінгі ең күрделі кеңеюі - «өзін-өзі біріктірмейтін» жағдайға қатысты, яғни негізгі Lax операторы (бірінші компоненті болған кезде) Бос жұп ) емес өзін-өзі біріктіру, арқылы Камвиссис, МакЛофлин және Миллер (2003). Бұл жағдайда нақты «ең төмен түсу контуры» анықталады және есептеледі. Сәйкес вариациялық есеп - max-min есебі: біреу «тепе-теңдік» өлшемін минимизациялайтын контур іздейді. Сыртқы өрістегі кейбір жағдайларда вариациялық мәселені зерттеу және жүйелі шешімнің бар екендігінің дәлелі жасалды Камвиссис және Рахманов (2005); туындайтын контур «S-қисығы» болып табылады, оны 1980 жылдары Герберт Р.Штал, Андрей А.Гончар және Евгуений А Рахманов анықтаған және зерттеген.

Риман-Гильберт факторизациясының баламалы асимптотикалық талдауы келтірілген McLaughlin & Miller (2006), әсіресе секіру матрицаларында аналитикалық кеңейтулер болмаған кезде ыңғайлы. Олардың әдісі контурлар бойынша сингулярлық интегралдарды асимптотикалық талдауға емес, d-бар есептерді талдауға негізделген. Аналитикалық кеңейтілмеген секіру матрицаларымен жұмыс істеудің балама әдісі енгізілді Варзугин (1996).

Теорияның тағы бір кеңеюі пайда болады Kamvissis & Teschl (2012) мұндағы Риман-Гильберт проблемасының негізгі кеңістігі Риманның ықшам гипереллиптикалық беті. Дұрыс факторизация мәселесі енді холоморфты емес, керісінше мероморфты, себептері бойынша Риман-Рох теоремасы. Риман-Гильберт проблемаларының деформация теориясы шексіз периодтықтың тұрақтылық мәселесіне қолданылады Тода торы «қысқа диапазондағы» тербеліс кезінде (мысалы, бөлшектердің ақырғы санының тітіркенуі).

Әдебиетте зерттелген Риман-Гильберт факторизациясы мәселелерінің көпшілігі екі өлшемді, яғни белгісіз матрицалар өлшемі 2-ге тең. Жоғары өлшемді есептер зерттелген Arno Kuijlaars және әріптестер, мысалы қараңыз. Kuijlaars & López (2015).

Мысалы: Скаляр Риман-Гильберт факторизациясы проблемасы

Айталық V = 2, ал Σ - контуры з = −1 дейін з = 1. Шешімі неден тұрадыМ?

Мұны шешу үшін логарифм теңдеу ${ displaystyle M _ {+} = M _ {-} V}$ .

{ displaystyle log M _ {+} (z) = log M _ {-} (z) + log 2.}

Бастап М 1-ге ұмтылады, журналМ → 0 ретінде з → ∞.

Туралы стандартты факт Коши түрлендіру бұл сол ${ displaystyle C _ {+} - C _ {-} = I}$ қайда ${ displaystyle C _ {+}, C _ {-}}$ Коши түрлендіруінің жоғарыдан және төменнен шектері Σ; сондықтан, біз аламыз

{ displaystyle { frac {1} {2 pi i}} int _ { Sigma _ {+}} { frac { log 2} { zeta -z}} , d zeta - { frac {1} {2 pi i}} int _ { Sigma _ {-}} { frac { log {2}} { zeta -z}} , d zeta = log 2 { мәтін {қашан}} z in Sigma.}

Себебі шешім М Риман-Гильберт факторизациясы проблемасының бірегейі болып табылады (оңай қолдану Лиувилл теоремасы (кешенді талдау) ), Сохотский-Племель теоремасы шешімін береді. Біз алып жатырмыз

{ displaystyle log M = { frac {1} {2 pi i}} int _ { Sigma} { frac { log {2}} { zeta -z}} d zeta = { frac { log 2} {2 pi i}} int _ {- 1-z} ^ {1-z} { frac {1} { zeta}} d zeta = { frac { log 2 } {2 pi i}} log { frac {z-1} {z + 1}},}

яғни

{ displaystyle M (z) = сол жақ ({ frac {z-1} {z + 1}} оң) ^ { frac { log {2}} {2 pi i}}}

оның контурында кесіндісі бар ${ displaystyle Sigma}$ .

Тексеру:

{ displaystyle { begin {aligned} M _ {+} (0) & = (e ^ {i pi}) ^ { frac { log 2} {2 pi i}} = e ^ { frac { log 2} {2}} M _ {-} (0) & = (e ^ {- i pi}) ^ { frac { log 2} {2 pi i}} = e ^ {- { frac { log 2} {2}}} end {aligned}}}

сондықтан,

{ displaystyle M _ {+} (0) = M _ {-} (0) e ^ { log {2}} = M _ {-} (0) 2.}

CAVEAT: Егер мәселе скаляр болмаса, логарифмдерді қабылдау мүмкін емес. Жалпы нақты шешімдер өте сирек кездеседі.

Әдебиеттер тізімі

Байк Дж .; Дейфт, П .; Йоханссон, К. (1999), «Кездейсоқ ауыстырудың ең ұзын өсетін тізбегінің ұзындығын үлестіру туралы», Америка математикалық қоғамының журналы, 12 (4): 1119–1178, дои:10.1090 / S0894-0347-99-00307-0.
Бицадзе, А.В. (2001) [1994], «Аналитикалық функция теориясының шекаралық мәселелері», Математика энциклопедиясы, EMS Press
Клэнси, К .; Гохберг, И. (1981), Матрицалық функциялар мен сингулярлық интегралды операторлардың факторизациясы, Опер. Теория: Аванстар және қосымшалар, 3, Базель-Бостон-Штутгарт: Birkhäuser Verlag.
Дейт, Перси А. (2000), Ортогоналды көпмүшелер және кездейсоқ матрицалар, Американдық математикалық қоғам, ISBN 978-0-8218-2695-9.
Дейт, Перси; Венакидс, С .; Чжоу, X. (1997), Риман-Гильберт проблемаларына ең тіке түсу әдісін кеңейту жолымен шағын дисперсиялық KdV жаңа нәтижелер, Халықаралық математикалық зерттеулер туралы ескертулер, 286–299 бб.
Дейт, Перси; Чжоу, X. (1993), «Тербелмелі Риман-Гильберт есептері үшін ең жылдам түсу әдісі; MKdV теңдеуі үшін асимптотика», Математика жылнамалары, Екінші серия, 137 (2): 295–368, arXiv:математика / 9201261, дои:10.2307/2946540, JSTOR 2946540.
Дайсон, Фриман (1976), «Фредгольм детерминанттары және кері шашырау мәселелері», Математикалық физикадағы байланыс, 47 (3): 171–183.
Фокас, А.С. (2002), «Жарты сызық бойынша интегралды сызықтық емес эволюциялық теңдеулер», Математикалық физикадағы байланыс, 230 (1): 1–39.
Фокас, А.С .; Оның, А.Р .; Китаев, А.В. (1992), «2D кванттық ауырлықтағы матрицалық модельдерге изомодромия тәсілі», Математикалық физикадағы байланыс, 147 (2): 395–430.
Химшиашвили, Г. (2001) [1994], «Биркофф факторизациясы», Математика энциклопедиясы, EMS Press.
Оның, A.R. (1982), «Сызықты емес Шредингер теңдеуінің шешімдерінің асимптотикасы және сызықтық дифференциалдық теңдеулер жүйесінің изомонодромдық деформациясы», Кеңестік математика - Докладий, 24 (3): 14–18.
Оның, A.R. (2003), «Риман-Гильберт проблемасы және интегралды жүйелер» (PDF), AMS хабарламалары, 50 (11): 1389–1400.
Камвиссис, С .; Маклафлин, К .; Миллер, П. (2003), Фокустық сызықты емес Шредингер теңдеуіне арналған жартылай классикалық солитондық ансамбльдер, Жылнамалар, Математика, Принстон: Принстон университетінің баспасы.
Камвиссис, С .; Рахманов, Е.А. (2005), «Екі өлшемдегі энергияны максимизациялау проблемасының болуы және заңдылығы», Математикалық физика журналы, 46 (8): 083505, arXiv:0907.5571, Бибкод:2005JMP .... 46h3505K, дои:10.1063/1.1985069.
Камвиссис, С .; Тешл, Г. (2012 ж.), «Периодты тордың қысқа ассортименті кезінде қысқа асимптотикасы», Дж. Математика. Физ., 53 (7): 073706, arXiv:0705.0346, Бибкод:2012JMP .... 53g3706K, дои:10.1063/1.4731768.
Куйлаарлар, Арно; Лопес, Эби (2015), «Қалыпты матрицалық модель үшін векторлық тепе-теңдік мәселесі және жұлдыздағы көптеген ортогоналды көпмүшелер», Сызықтық емес, 28 (2): 347–406, arXiv:1401.2419, Бибкод:2015Nonli..28..347K, дои:10.1088/0951-7715/28/2/347.
Лакс, Питер Д.; Левермор, Колумбия окр. (1983), «I-III теңдеуі үшін нөлдік дисперсия шегі», Таза және қолданбалы математика бойынша байланыс, 36 (3): 253–290, 571–593, 809–829, дои:10.1002 / cpa.3160360302.
Манаков, С.В. (1974), «Сызықты емес Фраунхофер дифракциясы», Сов. Физ. JETP, 38: 693–696, Бибкод:1974JETP ... 38..693М.
Маклафлин, К .; Миллер, П. (2006), «d-бар тік көтерілу әдісі және бірлік шеңбер бойынша ортогоналды көпмүшеліктердің асимптотикалық жүрісі, тұрақты және экспоненциалды түрде өзгермейтін аналитикалық салмақпен», IMRP: 1–77.
Пэнди, Дж.Н. (1996), Шварцтың үлестірімдері мен қосымшаларының Гильберт түрлендіруі, Вили-Интерсианс.
Варзугин, Г.Г. (1996), «Риман-Гильберт тербелмелі мәселелерінің асимптотикасы», Математикалық физика журналы, 37 (11): 5869–5892, дои:10.1063/1.531706.
Трогдон, Томас; Олвер, Шихан (2016), Риман-Гильберт есептері, олардың сандық шешімі және сызықтық емес арнайы функцияларды есептеу, SIAM.

Сыртқы сілтемелер

Гахов, Ф.Д. (2001) [1994], «Риман-Гильберт проблемасы», Математика энциклопедиясы, EMS Press