Гипотеза о двойном пузыре - Double bubble conjecture

Двойной пузырь. Обратите внимание, что поверхность, отделяющая маленький нижний пузырь от большого пузыря, вздувается в большой пузырек.

В математической теории минимальные поверхности, то гипотеза о двойном пузыре заявляет, что форма, которая охватывает и разделяет два заданных тома и имеет минимально возможное площадь поверхности это стандартный двойной пузырь - три сферические поверхности, встречающиеся под углами 2π/ 3 по общей окружности. Теперь это теорема, в доказательство тому была опубликована в 2002 году.[1][2]

Гипотеза

Согласно с Законы Плато, минимальная форма площади, которая охватывает любой объем или набор объемов, должна иметь форму, обычно наблюдаемую в мыльные пузыри в каких поверхностях постоянного средняя кривизна встречаются по трое, образуя двугранные углы из 2π/3.[3] В стандартный двойной пузырьэти поверхности представляют собой участки сферы, а кривая, где они встречаются, представляет собой круг. Когда два замкнутых объема отличаются друг от друга, имеется три сферических поверхности, две на внешней стороне двойного пузыря и одна внутри, разделяющие два объема друг от друга; радиусы сфер обратно пропорциональны разнице давлений между разделяемыми ими объемами, согласно Уравнение Юнга – Лапласа.[4] Когда два объема равны, средняя поверхность вместо этого плоская. диск, который можно интерпретировать как фрагмент сферы бесконечного радиуса.

Гипотеза о двойном пузыре утверждает, что для любых двух объемов стандартный двойной пузырек имеет форму минимальной площади, которая их окружает; никакой другой набор поверхностей не охватывает такое же пространство с меньшей общей площадью.

То же самое верно и для набора кривых минимальной длины в Евклидова плоскость который охватывает заданную пару областей,[5] и его можно обобщить на любое более высокое измерение.[6]

История

В изопериметрическое неравенство для трех измерений утверждает, что форма, охватывающая минимальный единичный объем для ее площади поверхности, является сферой; это было сформулировано Архимед но не было строго доказано до 19 века, Герман Шварц.В 19 веке, Плато Джозеф исследовал двойной пузырь, и истинность гипотезы о двойном пузыре была предположена без доказательства C. V. Мальчики в его книге о мыльных пузырях 1896 года.[7][8]

В 1991 году Джоэл Фуази, студент Колледж Уильямса, был руководителем группы студентов, которые доказали двумерный аналог гипотезы о двойном пузыре.[5][7] В своей дипломной работе Фуази первым дал точное изложение гипотезы о трехмерном двойном пузыре, но не смог ее доказать.[9]

Доказательство ограниченного случая гипотезы о двойном пузыре для двух равных объемов было анонсировано Джоэл Хасс и Роджер Шлафли в 1995 году и опубликованы в 2000 году.[10][11] Доказательство полной гипотезы Hutchings, Морган, Ritoré и Ros было объявлено в 2000 году и опубликовано в 2002 году.[1][9][12]

Доказательство

Лемма Брайан Уайт показывает, что двойной пузырь минимальной площади должен быть поверхность вращения. В противном случае можно было бы найти две ортогональные плоскости, которые делят оба объема пополам, заменить поверхности в двух из четырех квадрантов отражениями поверхностей в других квадрантах, а затем сгладить сингулярности в плоскостях отражения, уменьшив Общая площадь.[7] Основываясь на этой лемме, Майкл Хатчингс смог ограничить возможные формы нестандартных оптимальных двойных пузырьков, чтобы они состояли из слоев тороидальных трубок.[13]

Кроме того, Хатчингс показал, что количество тороидов в нестандартном, но минимизирующем двойном пузыре может быть ограничено функцией двух объемов. В частности, для двух равных объемов единственный возможный нестандартный двойной пузырь состоит из одного центрального пузыря с одним тороидом вокруг его экватора. Исходя из этого упрощения проблемы, Джоэл Хасс и Роджер Шлафли смогли свести доказательство этого случая гипотезы о двойном пузыре до большого компьютерного анализа случая, занявшего 20 минут на ПК 1995 года.[7][11]

Окончательное доказательство гипотезы о полном двойном пузыре также использует метод Хатчингса для сведения проблемы к анализу конечного случая, но он избегает использования компьютерных вычислений и вместо этого работает, показывая, что все возможные нестандартные двойные пузыри нестабильны: они могут быть нестабильными. возмущены сколь угодно малыми суммами, чтобы получить другое решение с меньшими затратами. Возмущения, необходимые для доказательства этого результата, представляют собой тщательно подобранный набор поворотов.[7]

Связанные проблемы

Джон М. Салливан предположил, что для любого измерения d, минимальное ограждение до d + 1 том имеет вид стереографическая проекция из симплекс.[14] В частности, в этом случае все границы между пузырьками были бы участками сфер. Частный случай этой гипотезы для трех пузырьков в двух измерениях был доказан; в этом случае три пузыря образованы шестью дугами окружности и отрезками прямых, которые встречаются в том же комбинаторном образце, что и края тетраэдр.[15] Однако численные эксперименты показали, что для шести или более объемов в трех измерениях некоторые границы между пузырьками могут быть несферическими.[14]

Для бесконечного числа равных площадей на плоскости набор кривых минимальной длины, разделяющих эти области, равен шестиугольная черепица, знакомый по его использованию пчелами для образования соты.[16] Для той же проблемы в трех измерениях оптимальное решение неизвестно; Лорд Кельвин предположил, что он задается структурой, комбинаторно эквивалентной усеченные кубические соты, но это предположение было опровергнуто открытием Структура Вира – Фелана, разделение пространства на равные по объему ячейки двух разных форм с использованием меньшей средней площади поверхности на ячейку.[17]

использованная литература

  1. ^ а б Хатчингс, Майкл; Морган, Фрэнк; Риторе, Мануэль; Рос, Антонио (2002), "Доказательство гипотезы о двойном пузыре", Анналы математики, 2-я сер., 155 (2): 459–489, arXiv:математика / 0406017, Дои:10.2307/3062123, JSTOR  3062123, Г-Н  1906593.
  2. ^ Морган, Фрэнк (2009), "Глава 14. Доказательство гипотезы о двойном пузыре", Теория геометрической меры: руководство для начинающих (4-е изд.), Academic Press.
  3. ^ Тейлор, Джин Э. (1976), "Структура особенностей в минимальных поверхностях типа мыльных пузырей и мыльных пленок", Анналы математики, 2-я сер., 103 (3): 489–539, Дои:10.2307/1970949, JSTOR  1970949, Г-Н  0428181.
  4. ^ Изенберг, Кирилл (1978), "Глава 5. Уравнение Лапласа – Юнга", Наука о мыльных пленках и мыльных пузырях, Дувр.
  5. ^ а б Alfaro, M .; Brock, J .; Foisy, J .; Hodges, N .; Зимба, Дж. (1993), "Стандартный двойной мыльный пузырь в р2 однозначно минимизирует периметр ", Тихоокеанский математический журнал, 159 (1): 47–59, Дои:10.2140 / pjm.1993.159.47, Г-Н  1211384.
  6. ^ Reichardt, Ben W. (2008), "Доказательство гипотезы о двойном пузыре в Rп", Журнал геометрического анализа, 18 (1): 172–191, arXiv:0705.1601, Дои:10.1007 / s12220-007-9002-y, Г-Н  2365672.
  7. ^ а б c d е Морган, Фрэнк (2004), «Доказательство гипотезы о двойном пузыре», в Hardt, Robert (ed.), Шесть тем о вариации, Студенческая математическая библиотека, 26, Американское математическое общество, стр. 59–77, Дои:10.1090 / stml / 026/04, HDL:10481/32449, Г-Н  2108996. Исправленная версия статьи, изначально появившаяся в Американский математический ежемесячный журнал (2001), Дои:10.2307/2695380, Г-Н1834699.
  8. ^ Мальчики, К.В. (1896), Мыльные пузыри и силы, которые их формируют, Общество распространения христианских знаний.
  9. ^ а б «Репутация надува мыльного пузыря: четыре математика только что решили давнюю головоломку, созданную мыльной водой, - пишет Кейт Девлин», Хранитель, 22 марта 2000 г..
  10. ^ Петерсон, Иварс (12 августа 1995 г.), «Труд и хлопоты над двойными пузырями» (PDF), Новости науки, 148 (7): 101–102, Дои:10.2307/3979333, JSTOR  3979333.
  11. ^ а б Хасс, Джоэл; Шлафли, Роджер (2000), «Двойные пузыри минимизируют», Анналы математики, 2-я сер., 151 (2): 459–515, arXiv:математика / 0003157, Bibcode:2000математика ...... 3157H, Дои:10.2307/121042, JSTOR  121042, Г-Н  1765704. Ранее объявлено в Объявления об электронных исследованиях Американского математического общества, 1995, Дои:10.1090 / S1079-6762-95-03001-0.
  12. ^ Сипра, Барри А. (17 марта 2000 г.), «Математика: почему двойные пузыри образуются именно так», Наука, 287 (5460): 1910–1912, Дои:10.1126 / science.287.5460.1910a
  13. ^ Хатчингс, Майкл (1997), "Структура двойных пузырей, минимизирующих площадь", Журнал геометрического анализа, 7 (2): 285–304, Дои:10.1007 / BF02921724, Г-Н  1646776.
  14. ^ а б Салливан, Джон М. (1999), «Геометрия пузырей и пен», в Sadoc, Жан-Франсуа; Ривье, Николя (ред.), Пены и эмульсии: Учеб. Институт перспективных исследований НАТО. по пенам и эмульсиям, эмульсиям и ячеистым материалам, Каржез, Корсика, 12–24 мая 1997 г., НАТО Adv. Sci. Inst. Сер. E Прил. Наук, 354, Дордрехт: Kluwer Acad. Publ., Pp. 379–402, Г-Н  1688327.
  15. ^ Wichiramala, Wacharin (2004), "Доказательство гипотезы о плоском тройном пузыре", Journal für die Reine und Angewandte Mathematik, 2004 (567): 1–49, Дои:10.1515 / crll.2004.011, Г-Н  2038304.
  16. ^ Хейлз, Томас С. (2001), «Гипотеза сот», Дискретная и вычислительная геометрия, 25 (1): 1–22, arXiv:math.MG/9906042, Дои:10.1007 / s004540010071, Г-Н  1797293.
  17. ^ Уир, Денис; Фелан, Роберт (1994), "Контрпример к гипотезе Кельвина о минимальных поверхностях", Письма в философский журнал, 69 (2): 107–110, Bibcode:1994PMagL..69..107W, Дои:10.1080/09500839408241577.

внешние ссылки