Елліот Ліб
Еліот Гершель Ліб (31 липня 1932 , Бостон) — американський математик і фізик, професор Принстонського університету. Праці переважно з математичної фізики, статистичної механіки, теорії конденсованого стану та функціонального аналізу. Зокрема, зробив внесок у такі теми, як квантова механіка, класична проблема багатьох тіл [7] [8] [9], структура атома [9], стабільність матерії[en] [9], функціональні нерівності [10], теорія магнетизму [8], модель Габбарда [8]. Всього опублікував понад 400 книг та статей [11]. БіографіяНародився 1932 року в Бостоні, штат Массачусетс. У 1953 році здобув ступінь бакалавра з фізики в Массачусетському технологічному інституті. В 1956 здобув докторський ступінь з математичної фізики в британському Бірмінгемському університеті [12] [13]. Після цього, у 1956-1957 роках, Ліб був стипендіатом програми Фулбрайта в японському Кіотському університеті. В 1960 — 1963 роках він працював штатним фізиком-теоретиком у корпорації IBM. В 1963 — 1966 роках — ад'юнкт-професор фізики в ізраїльському Ієшіва-університеті[en], потім два роки провів у Північно-східному університеті Іллінойсу[en]. В 1968 — 1975 роках був професором у Массачусетському технологічному інституті. З 1975 — професор в Принстоні [12]. Дружина — Крістіана Феллбаум, також професор Принстонського університету. Багато років Ліб відмовлявся від стандартної практики передачі авторських прав на свої дослідні статті академічним видавництвам. Натомість він обмежувався тим, що давав видавцям свою згоду на публікацію. Наукова діяльністьСтатистична механіка, розв'язні системиЛіб відомий багатьма новаторськими результатами у статистичній механіці, що стосуються, зокрема, розв'язуваних систем. Його численні роботи зібрані у збірниках «Статистична механіка» [7] і «Фізика конденсованого стану і точно розв'язувані моделі» [8], а також у книзі Деніела Меттіса [14]. Вони розглядають (серед іншого) моделі типу Ізінга, моделі феромагнетизму і сегнетоелектрики, точне рішення 6-вершинних моделей для двовимірної "крижаної моделі", одномірний дельта-бозе-газ (тепер званий моделлю Ліба — Лінігера[en]) і модель Габбарда. Разом з Денієлом Меттісом і Теодором Шульцем він розв'язав в 1964 році двомірну модель Ізінга (з новим висновком точного рішення Ларса Онсагера за допомогою перетворення Джордана - Вігнера[en] передавальних матриць) і в 1961 році модель XY[en], явно розв'язувану одновимірну модель зі спином 1/2. В 1968 разом із Фа-Юе Ву він дав точне рішення одновимірної моделі Габбарда. У 1971 році він і Невіл Темперлі[en] представили алгебру Темперлі-Ліба[en] для побудови певних передавальних матриць. Ця алгебра також пов'язана з теорією вузлів та групою кіс, квантовими групами[en] та субфакторами алгебр фон Неймана. Разом з Дерек В. Робінсоном[en] в 1972 році вивів обмеження на швидкість поширення інформації в нерелятивістських спінових системах з локальними взаємодіями. Вони стали відомі як границі Ліба-Робінсона[en] і відіграють важливу роль, наприклад, у визначенні меж помилок у термодинамічній межі[en] або у квантових обчисленнях. Їх можна використовувати для доказу експоненційного зменшення кореляцій у спинових системах або для тверджень про перевищення над основним станом у багатовимірних спинових системах (узагальнені теореми Ліба-Шульца-Маттіса). У 1972 році він і Мері Бет Раскей[en] довели сильну субадитивність квантової ентропії[en], теорему, яка є фундаментальною для квантової теорії інформації. Ця тема тісно пов'язана з тим, що відомо як нерівність обробки даних[en] у квантовій теорії інформації. Доказ сильної субадитивності Ліба-Раскей засновано на більш ранній статті, в якій Ліб довів кілька важливих гіпотез про операторні нерівності, включаючи гіпотезу Вігнер-Янасе-Дайсона [15].. У 1997—1999 роках Ліб разом з Якобом Інгвасоном представив надзвичайно оригінальне строге трактування збільшення ентропії в другому законі термодинаміки та адіабатичної доступності[en]. [16]. Квантові системи багатьох тіл та стабільність матеріїУ 1975 році Ліб і Вальтер Тіррінг знайшли доказ стабільності матерії, який був коротшим і концептуальнішим, ніж доказ Фрімена Дайсона та Ендрю Ленарда від 1967 року. Їх доказ заснований на новій нерівності в спектральній теорії, яка стала відома як нерівність Ліба-Тірінга[en]. Останнє стало стандартним інструментом щодо великих ферміонних систем, наприклад, для (псевдо)релятивістських ферміонів у взаємодії з класичними або квантованими електромагнітними полями. З математичної сторони нерівність Ліба-Тіррінга також викликала величезний інтерес до спектральної теорії. операторів Шредінгера [17]. Ця плідна дослідницька програма привела до багатьох важливих результатів, які можна прочитати в його збірці «Стабільність матерії: від атомів до зірок» [9], а також у його книзі «Стабільність матерії у квантовій механіці» (з Робертом Сейрінгером[en]) [18]. Ґрунтуючись на оригінальній теоремі Дайсона-Ленарда про стійкість матерії, Ліб разом із Джоелем Лебовицем вже в 1973 році представили перший доказ існування термодинамічних функцій для квантової матерії. Разом з Гайде Нарнхофер він зробив те саме для електронного газу, що лягло в основу більшості функціоналів у теорії функціоналу густини. У 1970-ті роки Ліб і Баррі Саймон вивчили кілька нелінійних наближень рівняння Шредінгера для багатьох тіл, зокрема метод Гартрі — Фока і модель атомів Томаса-Фермі. Вони надали перший суворий доказ того, що остання дає провідний порядок енергії для великих нерелятивістських атомів. Разом із Рафаелем Бенгурією та Хаїмом Брезісом[en] він вивчив кілька варіантів моделі Томаса-Фермі. Проблема іонізації в математичній фізиці вимагає визначення строгої верхньої межі числа електронів, що можуть пов'язати атом з ядерним зарядом. Експериментальні та чисельні дані, мабуть, припускають, що може бути не більше одного або, можливо, двох додаткових електронів. Суворий доказ цього твердження є відкритою проблемою. Аналогічне питання можна поставити і щодо молекул. Ліб довів відому верхню межу числа електронів, які може зв'язати ядро. Пізніше разом з Ісраелем Майклом Сігалом[en], Баррі Саймоном і Вальтером Тіррінгом він вперше довів, що надмірний заряд асимптотично малий в порівнянні з ядерним зарядом. Разом із Якобом Інгвасоном[en] він здійснив доказ формули для енергії основного стану розріджених бозе-газів. Згодом разом з Робертом Зайрінгером та Якобом Інгвасоном він вивчав рівняння Гросса-Пітаєвського для енергії основного стану розріджених бозонів у пастці, починаючи з квантової механіки багатьох тіл [19]. Роботи Ліба з Джозефом Конлоном та Хорнг-Цер Яу[en], а також з Яном Філіпом Соловеєм[en] над тим, що відомо як «закон для бозонів» дають перше обґрунтування теорії спарювання Боголюбова. У квантовій хімії Ліб відомий тим, що в 1983 році представив перше строге формулювання теорії функціонала щільності з використанням засобів опуклого аналізу. Універсальний функціонал Ліба дає найменшу енергію кулонівської системи із заданим профілем щільності для мішаних станів. У 1980 році він разом зі Стівеном Оксфордом довів нерівність Ліба — Оксфорда[en] [20], яка дає оцінку мінімально можливої класичної кулонівської енергії при фіксованій щільності і пізніше використовувалася для калібрування деяких функціоналів, таких як PBE і SCAN. Пізніше, разом з Матьє Левіном[en] і Робертом Заїрінгером, він дав перше обґрунтування наближення локальної густини для повільно мінливих густин [21]. Математичний аналізУ 1970-ті роки Ліб зайнявся варіаційним численням та диференціальними рівняннями у частинних похідних, і вніс у ці розділи математики фундаментальний внесок. Важливою темою був пошук кращих наближень для констант у кількох нерівностях функціонального аналізу, які Ліб потім використовував для дослідження нелінійних квантових систем. Його результати у цьому напрямі зібрані у збірнику Нерівності [10]. Серед нерівностей, у яких він визначив точні параметри, — нерівність Юнга та нерівність Гарді — Літтлвуда — Соболєва, які обговорюватимуться нижче. Він також розробив інструменти, які зараз вважаються стандартними в аналізі, такі як нерівності перестановки[en] або лема Брезіса–Лієба, яка дає член, що бракує, в лемі Фату для послідовностей функцій, що сходяться майже скрізь. Разом з Гермом Браскемпом і Хоакіном Латтінгером[en] він довів в 1974 році узагальнення згаданої вище нерівності перестановки, встановивши, що деякі полілінійні інтеграли збільшуються, коли всі функції замінюються їх симетричною спадною перестановкою[en]. Разом із Фредеріком Альмгреном він прояснив властивості безперервності перестановки. Перестановка часто використовується для доказу рішень у деяких нелінійних моделях. У двох відомих роботах (одна в 1976 році з Гермом Браскемпом і ще одна монографія в 1990 році) Ліб встановив справедливість і визначив найкращі константи для цілого сімейства нерівностей, яке узагальнює, наприклад, нерівність Гельдера, нерівність Юнга для згорток[en] та Луміса - Вітні[en]. Воно тепер відоме як нерівність Браскампа - Ліба[en]. Суть у цьому, що найкраща константа визначається випадком, коли це функції є гауссіанами. Нерівність Браскампа - Ліба знайшла додатки та узагальнення, наприклад, у гармонійному аналізі. Використовуючи нерівності перестановки та методи компактності, Ліб довів в 1983 існування оптимізаторів для нерівності Гарді — Літтлвуда — Соболєва і нерівності Соболєва[en]. Він також визначив найкращу константу в деяких випадках, виявивши та використовуючи конформну інваріантність проблеми та зв'язавши її за допомогою стереографічної проекції з конформно еквівалентною, але більш вирішальною проблемою на сфері. Новий доказ (без перестановок) було надано пізніше Рупертом Франком, що дозволило розглянути випадок групи Гейзенберга [22]. В 1977 Ліб довів єдиність (з точністю до симетрії) основного стану для рівняння Шокара - Пекара, також званого рівнянням Шредінгера - Ньютона [23], що може описувати самогравіруючий об'єкт або електрон, що рухається в поляризованому середовищі (полярон). Разом з Лоуренсом Томасом він надав 1997 року варіаційний висновок рівняння Шокара — Пекара з моделі квантової теорії поля (гамільтоніан Фреліха). Ця проблема була вирішена раніше Монро Донскер[en] і Шрініваса Варадхан[en] з використанням методу інтеграла по імовірнісних шляхах. В іншій роботі з Хермом Браскампом в 1976 Ліб поширив нерівність Прекопа - Лейндлера[en] [en] на інші типи опуклих комбінацій двох позитивних функцій. Він посилив цю нерівність і нерівність Брунна - Мінковського[en], ввівши поняття суттєвого додавання. Ліб також написав статті про гармонійні відображення, що викликали загальний інтерес, у тому числі з Фредеріком Альмгреном, Хаїмом Брезисом і Жаном-Мішелем Короном[en]. Зокрема, Альгрем і Ліб довели обмеження на кількість особливостей гармонійних відображень, що мінімізують енергію. Нарешті, слід згадати його підручник «Аналіз» із Майклом Лоссом[en] [24]. Він став стандартом для аспірантів з математичного аналізу. Він розвиває всі традиційні методи аналізу у короткій, інтуїтивно зрозумілій формі з упором на додатки. Нагороди та визнання
ДоробокКниги
Статті
Як редактор
Інші
Примітки
|