Ивонн Шоке-Брюа ( французский: [ivɔn ʃɔkɛ bʁy.a] ; родилась 29 декабря 1923) — французский математик и физик. Она внесла основополагающий вклад в изучениеобщей теории относительности, показав, чтоуравнения поля Эйнштейнаможно представить в формекорректно поставленнойсначальными значениями. В 2015 году ее прорывная работа была включена журналомClassical and Quantum Gravityв список тринадцати «вех» в изучении общей теории относительности за сто лет ее изучения.[1]
Она была первой женщиной, избранной во Французскую академию наук , и является Великим офицером ордена Почетного легиона . [2]
Ивонна Брюа родилась в Лилле в 1923 году. [3] Ее мать была профессором философии Бертой Юбер, а ее отец был физиком Жоржем Брюа , который умер в 1945 году в концентрационном лагере Ораниенбург-Заксенхаузен . Ее брат Франсуа Брюа также стал математиком, внеся заметный вклад в изучение алгебраических групп .
Брюа получила среднее образование в Париже. В 1941 году она приняла участие в престижном национальном конкурсе Concours Général , завоевав серебряную медаль по физике. С 1943 по 1946 год она училась в Высшей нормальной школе в Париже, а с 1946 года была там ассистентом преподавателя и проводила исследования под руководством Андре Лихнеровича .
С 1949 по 1951 год она была научным сотрудником Французского национального центра научных исследований , в результате чего получила докторскую степень. [4]
В 1951 году она стала научным сотрудником Института перспективных исследований в Принстоне, штат Нью-Джерси . Ее руководитель Жан Лерей предложил ей изучить динамику уравнений поля Эйнштейна . Он также познакомил ее с Альбертом Эйнштейном , с которым она консультировалась еще несколько раз во время своей работы в институте.
В 1952 году Брюа и ее мужу предложили работу в Марселе , что ускорило ее ранний отъезд из института. В том же году она опубликовала локальное существование и единственность решений вакуумных уравнений Эйнштейна , ее самое известное достижение. Ее работа доказывает корректность уравнений Эйнштейна и положила начало изучению динамики в общей теории относительности.
В 1947 году она вышла замуж за своего коллегу-математика Леонса Фуреса. Их дочь Мишель сейчас (по состоянию на 2016 год) эколог . Ее докторская работа и ранние исследования были опубликованы под именем Ивонн Фурес-Брюа. В 1960 году Брюа и Фурес развелись, и она позже вышла замуж за математика Гюстава Шоке и сменила фамилию на Шоке-Брюа. У них с Шоке было двое детей: ее сын Даниэль Шоке — нейробиолог, а ее дочь Женевьева — врач.
В 1958 году она была награждена Серебряной медалью CNRS . [5] С 1958 по 1959 год она преподавала в Реймском университете . В 1960 году она стала профессором в Университете Пьера и Марии Кюри (UPMC) в Париже и оставалась профессором или почетным профессором до своей отставки в 1992 году.
В Университете Пьера и Марии Кюри она продолжила вносить значительный вклад в математическую физику, особенно в общую теорию относительности, супергравитацию и неабелевы калибровочные теории стандартной модели. Ее работа в 1981 году с Деметриосом Христодулу показала существование глобальных решений уравнений Янга-Миллса, Хиггса и спинорного поля в 3+1 измерениях. [6] Кроме того, в 1984 году она провела, возможно, первое исследование математиком супергравитации с результатами, которые можно распространить на важную в настоящее время модель в D =11 измерениях . [7]
В 1978 году Ивонн Шоке-Брюа была избрана корреспондентом Академии наук, а 14 мая 1979 года стала первой женщиной, избранной ее полноправным членом. С 1980 по 1983 год она была президентом Comité international de relativité générale et gravitation («Международный комитет по общей теории относительности и гравитации»). В 1985 году она была избрана в Американскую академию искусств и наук . В 1986 году Ассоциация женщин-математиков выбрала ее для прочтения престижной Нётеровской лекции .
Наиболее известные исследования Шоке-Брюа посвящены математической природе исходных данных общей теории относительности . Краткое изложение результатов можно сформулировать исключительно в терминах стандартных дифференциально-геометрических объектов.
В этом смысле исходный набор данных можно рассматривать как предписание геометрии подмногообразия вложенной пространственноподобной гиперповерхности в лоренцевом многообразии.
Один из основополагающих результатов Шоке-Брюа, полученных в 1952 году, гласит следующее:
Каждый вакуумный начальный набор данных ( M , g , k ) имеет развертку f : M → ( M , g ) такую, что g имеет нулевую кривизну Риччи , и такую, что каждая нерасширяемая времениподобная кривая в лоренцевом многообразии ( M , g ) пересекает f ( M ) ровно один раз.
Вкратце это можно суммировать так: ( M , g ) — это вакуумное пространство-время, для которого f ( M ) — поверхность Коши . Такое развитие называется глобально гиперболическим вакуумным развитием . Шоке-Брюа также доказал теорему единственности:
Для любых двух глобально гиперболических вакуумных разверток f 1 : M → ( M 1 , g 1 ) и f 2 : M → ( M 2 , g 2 ) одного и того же вакуумного начального набора данных существует открытое подмножество U 1 из M 1 , содержащее f 1 ( M ) , и открытое подмножество U 2 из M 2 , содержащее f 1 ( M ) , вместе с изометрией i : ( U 1 , g 1 ) → ( U 2 , g 2 ) такой, что i ( f 1 ( p )) = f 2 ( p ) для всех p из M .
В несколько неточной форме это звучит так: для любой вложенной пространственноподобной гиперповерхности M риччи-плоского лоренцева многообразия M геометрия M вблизи M полностью определяется геометрией подмногообразия M.
В статье, написанной совместно с Робертом Жерохом в 1969 году, Шоке-Брюа полностью прояснили природу уникальности. С помощью двухстраничного аргумента в топологии точечных множеств, использующего лемму Цорна , они показали, что приведенные выше теоремы Шоке-Брюа о существовании и уникальности автоматически подразумевают глобальную теорему уникальности:
Любой вакуумный начальный набор данных ( M , g , k ) имеет максимальную глобально гиперболическую вакуумную развертку , то есть глобально гиперболическую вакуумную развертку f : M → ( M , g ) такую, что для любой другой глобально гиперболической вакуумной развертки f 1 : M → ( M 1 , g 1 ) существует открытое подмножество U из M, содержащее f ( M ) и изометрию i : M 1 → U такую, что i ( f 1 ( p )) = f ( p ) для всех p из M.
Любые две максимальные глобально гиперболические вакуумные развертки одних и тех же вакуумных начальных данных изометричны друг другу.
В настоящее время широко распространено изучение таких разработок. Например, известная теорема Деметриоса Христодулу и Серджиу Кляйнермана об устойчивости пространства Минковского утверждает, что если (ℝ 3 , g , k ) — начальный набор данных вакуума с g и k, достаточно близкими к нулю (в определенной точной форме), то его максимальная глобально гиперболическая разработка вакуума геодезически полна и геометрически близка к пространству Минковского .
Доказательство Шоке-Брюа использует искусный выбор координат, волновых координат (которые являются лоренцевским эквивалентом гармонических координат ), в которых уравнения Эйнштейна становятся системой гиперболических уравнений в частных производных , для которых могут быть применены результаты корректности.
Статьи
Обзорные статьи
Технические книги
Популярная книга