Ходж жұлдыз операторы - Hodge star operator

Жылы математика, Ходж жұлдыз операторы немесе Hodge star Бұл сызықтық карта бойынша анықталған сыртқы алгебра ақырлы өлшемді бағдарланған векторлық кеңістік а дұрыс емес симметриялы белгісіз форма. Операторды алгебра элементіне қолдану арқылы шығарылады Hodge dual элементтің. Бұл карта енгізілген W. V. D. Hodge.

Мысалы, бағдарланған 3-өлшемді эвклид кеңістігінде бағдарланған жазықтықты -мен бейнелеуге болады сыртқы өнім екі негізгі вектордың, және оның Hodge қосарлануы болып табылады қалыпты вектор олардың берген кросс өнім; керісінше, кез-келген вектор оған перпендикуляр бағытталған жазықтыққа қосарланған, сәйкес биевектормен қамтамасыз етілген. Мұны жалпылау n-өлшемді векторлық кеңістік, Ходж жұлдызы бір-біріне кескінделеді к- векторлар (n - k)-векторлар; бұл кеңістіктердің өлшемдері биномдық коэффициенттер .

The табиғилық жұлдыз операторының котангенске қолданған кезде дифференциалды геометрияда рөл ойнай алатындығын білдіреді байлам а жалған-риманналық коллектор, демек дифференциалды к-формалар. Бұл кодифференциалды Hodge қосымшасы ретінде анықтауға мүмкіндік береді сыртқы туынды, дейін Laplace – de Rham операторы. Бұл үш өлшемді эвклид кеңістігінің жағдайын жалпылайды, онда алшақтық векторлық өрістің кодына қарсы кодифференциал ретінде жүзеге асырылуы мүмкін градиент операторы және Лаплас операторы функция бойынша оның градиентінің дивергенциясы. Маңызды қосымша болып табылады Қожаның ыдырауы а. бойынша дифференциалды формалар жабық Риманн коллекторы.

Үшін ресми анықтама к-векторлар

Келіңіздер V болуы n-өлшемді векторлық кеңістік симметриялы емес белгісіз пішінді , мұнда ішкі өнім деп аталады. Бұл ішкі өнімді тудырады қосулы к-векторлар , үшін , оны ыдырайтын заттарға анықтау арқылы к-векторлар және теңдеу Грам анықтаушы[1]:14

дейін кеңейтілген сызықтық арқылы.

Қондырғы n-вектор бағдарлы түрде анықталады ортонормальды негіз туралы V сияқты:

The Ходж жұлдыз операторы бойынша сызықтық оператор болып табылады сыртқы алгебра туралы V, картаға түсіру к-ке дейінгі векторлар (nк) үшін векторлар . Оның толық сипаттайтын келесі қасиеті бар:[1]:15

әрбір жұп үшін к-векторлар

Қос кеңістікте туралы n-формалар (ауыспалы n-көпфункционалды функциялар ), қосарлы болып табылады көлем нысаны , мәні қосылатын функция болып табылады анықтауыш туралы матрица баған векторларынан құрастырылған жылы -координаттар.

Қолдану жоғарыдағы теңдеуге біз қос анықтаманы аламыз:

немесе баламалы түрде , , және :

Бұл ортонормальды негізді жазу дегенді білдіреді к- векторлар барлық ішкі жиындардан артық туралы , Hodge дуалы - бұл (n - k) -қосымша комплектке сәйкес келетін вектор :

қайда болып табылады қол қою ауыстыру туралы .

Ходж жұлдызы ортонормальды негізді ортонормальды негізге алғандықтан, ол изометрия сыртқы алгебрада .

Геометриялық түсіндіру

Ходж жұлдызы кіші кеңістік арасындағы сәйкестікке негізделген W туралы V және оның ортогональды ішкі кеңістігі (ішкі өнімге қатысты), мұнда әр кеңістікке ан беріледі бағдар және сандық масштабтау коэффициенті. Дәлірек айтқанда, нөлге тең емес ыдырайтын зат к-вектор сәйкес келеді Плюкерді енгізу ішкі кеңістікке бағдарланған негізде , -ге тең масштабтау коэффициенті берілген к- осы негізге параллелопипедтің өлшемді көлемі (тең Грамиан, ішкі өнімдер матрицасының детерминанты ). Ыдырайтын векторға әсер ететін Ходж жұлдызын ыдырайтын деп жазуға болады (nк) -вектор:

қайда бағдарланған негізін құрайды ортогональды кеңістік . Сонымен қатар, (nк) көлемінің -параллелопипед теңдеуі керек к- көлемі -параллелопипед және бағдарланған негізін құруы керек V.

Генерал к-вектор - бұл ыдырайтын сызықтық комбинация к-векторлар, және Hodge жұлдызының анықтамасы жалпыға дейін кеңейтілген к-векторлар оны сызықтық деп анықтай отырып.

Мысалдар

Екі өлшем

Тапсырыс берген нормаланған эвклидтік бағдармен екі өлшемде (х, ж), Hodge жұлдызы қосулы к-формалар арқылы беріледі

Стандартпен нақты векторлық кеңістік ретінде қарастырылатын күрделі жазықтықта секвилинирлі форма метрика ретінде, Ходж жұлдызында инвариантты болатын керемет қасиет бар голоморфты координатаның өзгеруі з = х + iy холоморфты функциясы болып табылады w = сен + IV, содан кейін Коши-Риман теңдеулері бізде сол бар х/сен = ж/v және ж/сен = –х/v. Жаңа координаттарда

сондай-ақ

мәлімделген инвариантты дәлелдеу.

Үш өлшем

Hodge star операторының кең таралған мысалы - жағдай n = 3, оны векторлар мен бисвекторлар арасындағы сәйкестік ретінде қабылдауға болатын кезде. Нақтырақ айтқанда, үшін Евклид R3 негізімен туралы бір формалы жиі қолданылады векторлық есептеу, біреу мұны табады

Hodge жұлдызы сыртқы және көлденең өнімді үш өлшеммен байланыстырады:[2]

Үш өлшемге қолданылатын Hodge жұлдызы ан изоморфизм арасында осьтік векторлар және бисвекторлар, осылайша әрбір осьтік вектор а бивектормен байланысты A және керісінше, яғни:[2] .Ходж жұлдызы осьтің векторының ұзындығына тең жылдамдықпен және осьтің айналасында шексіз аз айналуының арасындағы геометриялық сәйкестіктің формасы ретінде түсіндірілуі мүмкін. Векторлық кеңістіктегі ішкі өнім береді изоморфизм анықтау онымен қос кеңістік, және барлық сызықтық операторлардың кеңістігі үшін изоморфты болып табылады тензор өнімі . Осылайша , жұлдызды картаға түсіру әрбір векторды алады бивекторға , бұл сызықтық операторға сәйкес келеді . Нақтырақ айтқанда, Бұл қиғаш симметриялы сәйкес келетін оператор шексіз айналу: яғни осьтің айналасындағы макроскопиялық айналулар арқылы беріледі матрица экспоненциалды . Негізге қатысты туралы , тензор ішінде 1 бар координаталық матрицаға сәйкес келеді қатар және баған және т.б., сына бұл қисық-симметриялық матрица т.с.с., біз жұлдыз операторын келесідей түсіндіре аламыз:

Осы сәйкестікке сәйкес векторлардың көлденең көбейтіндісі коммутаторға сәйкес келеді Жалған жақша сызықтық операторлар: .

Төрт өлшем

Егер n = 4, Hodge жұлдызы ан рөлін атқарады эндоморфизм екінші сыртқы қуаттың күші (яғни ол 2 форманы 2 пішінге салыстырады, өйткені 4 − 2 = 2). Егер қолтаңбасы болса метрикалық тензор барлығы оң, яғни а Риманн коллекторы, содан кейін Hodge жұлдызы ан инволюция; егер қолтаңба аралас болса, онда екі рет қолдану дәлелді белгіге дейін қайтарады - қараңыз § қосарлық төменде. Мысалы, Минковский кеңістігінде қайда n = 4 метрикалық қолтаңбамен (+ − − −) және координаттар (т, х, ж, з) қайда (пайдалану ):

үшін бір формалы уақыт

үшін 2-нысандар. Себебі олардың анықтаушылары екеуінде де бірдей (+ − − −) және (− + + +), Минковский кеңістігінің белгілері 2 формалы дуальдар тек таңдалған бағытқа байланысты.[тексеру қажет ]

Жоғарыда келтірілген Ходж операциялары үшін есте сақтайтын қарапайым ереже - форма берілген , оның Hodge қосарланған қатыспайтын компоненттерді жазу арқылы алынуы мүмкін осындай тәртіппен .[тексеру қажет ] Қосымша минус белгісі тек егер енгізіледі құрамында жоқ . (Соңғы конвенция таңдау негізінде туындайды (+ − − −) метрикалық қолтаңба үшін. Үшін (− + + +), тек егер минус белгісін қояды қамтиды .)

Мысалы: үш өлшемді туындылар

Тіркесімі операторы және сыртқы туынды г. классикалық операторларды жасайды град, бұйралау, және див қосулы векторлық өрістер үш өлшемді эвклид кеңістігінде. Бұл келесідей жұмыс істейді: г. 0 формасын (функцияны) 1 пішінге, 1 форманы 2 формаға, ал 2 форманы 3 формаға алады (және 3 форманы нөлге дейін қабылдайды). 0 формасы үшін , компоненттер түрінде жазылған бірінші жағдай:

Ішкі өнім анықтайды Векторлық өрістері бар 1-формалар және т.б., сондықтан болады .

Екінші жағдайда, векторлық өріс 1-формаға сәйкес келеді , сыртқы туындысы бар:

Hodge жұлдызын қолдану 1 форманы береді:

ол векторлық өріске айналады .

Үшінші жағдайда, қайтадан сәйкес келеді . Hodge жұлдызын, сыртқы туындысын және Hodge жұлдызын қайтадан қолдану:

Бұл өрнектің бір артықшылығы - сәйкестілік г.2 = 0, бұл барлық жағдайда шындыққа сәйкес келеді, тағы екеуі, атап айтқанда бұйра град f = 0 және div curl F = 0. Соның ішінде, Максвелл теңдеулері сыртқы туынды және Ходж жұлдызымен көрсетілген кезде ерекше қарапайым және талғампаз түрге ие болады. Өрнек деп аталады кодифференциалды; ол кез келген өлшем үшін толық жалпылықта, әрі қарай төмендегі мақалада анықталған.

Сондай-ақ, біреуін алуға болады Лаплациан Δf = div gradf жоғарыда аталған операциялар тұрғысынан:

Лаплацийді жалпыға ортақ жағдай ретінде қарастыруға болады Laplace – deRham операторы қайда үшін кодифференциал болып табылады -формалар. Кез-келген функция 0 формасы, және және бұл қарапайым лаплацианға дейін азаяды. 1-форма үшін жоғарыда кодифференциал және біраздан кейін штепсельге қосыңыз, біреуі әрекет ететін лаплацианды алады .

Дуальность

Hodge жұлдызын екі рет жағу а к-вектор белгісінен басқа өзгеріссіз: үшін ан n-өлшемдік кеңістік V, біреуінде бар

қайда с паритеті қолтаңба ішкі өнімнің қосылуы V, яғни анықтауыш ішкі өнімнің матрицасының кез-келген негізге қатысты. Мысалы, егер n = 4 және ішкі өнімнің қолтаңбасы да (+ − − −) немесе (− + + +) содан кейін с = −1. Римандық коллекторлар үшін (евклид кеңістігін қоса алғанда) бізде әрқашан болады с = 1.

Жоғарыда көрсетілген сәйкестік кері дегенді білдіреді ретінде берілуі мүмкін

Егер n онда тақ к(nк) тіпті кез келген үшін к, егер болса n тіпті сол кезде к(nк) теңдігі бар к. Сондықтан:

қайда к - бұл элементтің жұмыс істейтін дәрежесі.

Коллекторларда

Үшін n-өлшемді бағытталған жалған-риманналық коллектор М, біз әрқайсысына жоғарыдағы құрылысты қолданамыз котангенс кеңістігі және оның сыртқы күштері , демек, дифференциалды к-формалар , жаһандық бөлімдер туралы байлам . Риманнан метрикасы ішкі өнімді шақырады әр сәтте . Біз анықтаймыз Hodge dual а к-форм , анықтау бірегей ретінде (nк) -қанағаттанарлық

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

Жалпы, егер бағдарлы емес, а-ның Ходж жұлдызын анықтауға болады к- түрінде (nк)-жалған дифференциалды форма; яғни мәндері бар дифференциалды форма канондық сызық байламы.

Индекстік белгілердегі есептеу

Біз есептейміз тензор индексінің жазбасы (міндетті түрде ортонормальды емес) негізге қатысты жанасатын кеңістікте және оның қосарланған негізі жылы , метрикалық матрицаға ие және оның кері матрицасы . Ыдырайтын қоспа Ходж к-форм бұл:

Мұнда болып табылады Levi-Civita белгісі бірге және біз соманы жасырын түрде алыңыз қайталанатын индекстердің барлық мәндерінің үстінен . Факторлық қосарланған санауды есепке алады, егер жиынтық индекстерге шектеу қойылса, ол жоқ . Детерминанттың абсолюттік мәні қажет, өйткені ол жанама кеңістіктер үшін теріс болуы мүмкін Лоренций коллекторлары.

Ерікті дифференциалды форманы жазуға болады:

Факторлық өспейтін индекстерге жол берген кезде қосарлы санауды есепке алу үшін тағы да қосылады. Біз компоненттің екіұштылығын анықтағымыз келеді осылайша форманың Ходж дуалы беріледі

Hodge dual үшін жоғарыдағы өрнекті қолдану , біз мынаны табамыз:[3]

Бұл өрнекті кез келген тензорға қолдануға болады , нәтижесі антисимметриялы болады, өйткені Леви-Сивитаның симметрияға қарсы символымен жиырылу тензордың мүлдем антисиметриялық бөлігінен басқасын жояды. Осылайша, бұл антисимметрияға, содан кейін Ходж жұлдызын қолдануға тең келеді.

Көлем бірлігінің формасы береді:

Кодифференциал

Hodge жұлдызын коллекторларға қолдану ең маңызды болып табылады кодифференциалды қосулы к-формалар. Келіңіздер

қайда болып табылады сыртқы туынды немесе дифференциалды және Риманн коллекторлары үшін. Содан кейін

уақыт

Кодифференциал емес антидеривация сыртқы туындыдан айырмашылығы сыртқы алгебрада.

Кодифференциал - болып табылады бірлескен шаршы интеграцияланатын ішкі өнімге қатысты сыртқы туынды:

қайда Бұл (к + 1)-форм және а к-форм. Бұл сәйкестік тегіс формалар үшін Стокс теоремасынан шығады:

берілген М бос шекарасы бар немесе немесе нөлдік шекаралық мәндерге ие. (Жоғарыда айтылғандардың дұрыс анықтамасы а) көрсетуді талап етеді топологиялық векторлық кеңістік тегіс пішіндер кеңістігінде жабық және толық. The Соболев кеңістігі шартты түрде қолданылады; ол формалар тізбегінің конвергентіне мүмкіндік береді (сияқты ) біріктірілген дифференциалдық және интегралдық амалдармен ауыстырылсын, осылайша және дәл осылай жинақталатын дәйектілік үшін .)

Дифференциалды қанағаттандыратындықтан , кодифференциалдың сәйкес қасиеті бар

The Лаплас –Рэм операторы арқылы беріледі

және жүрегінде жатыр Қожа теориясы. Бұл симметриялы:

және теріс емес:

Қожа жұлдызы жібереді гармоникалық формалар гармоникалық формаларға Салдары ретінде Қожа теориясы, де Рам когомологиясы гармоникалық кеңістікке табиғи түрде изоморфты к-қалыптасады, сондықтан Ходж жұлдызы когомологиялық топтардың изоморфизмін тудырады

бұл өз кезегінде канондық сәйкестендіруді береді Пуанкаре дуальдылығы туралы H к(М) онымен қос кеңістік.

Ескертулер

  1. ^ а б Харли Фландрия (1963) Физика ғылымдарына қолданылатын дифференциалды формалар, Академиялық баспасөз
  2. ^ а б Pertti Lounesto (2001). «§3.6 Hodge дуалы». Клиффорд алгебралары және спинорлары, Лондон математикалық қоғамының 286-томы (2-ші басылым). Кембридж университетінің баспасы. б. 39. ISBN  0-521-00551-5.
  3. ^ Frankel, T. (2012). Физика геометриясы (3-ші басылым). Кембридж университетінің баспасы. ISBN  978-1-107-60260-1.

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