Плотная упаковка равных сфер

Иллюстрация плотной упаковки равных сфер в решётки ГП (ГПУ) (слева) и ГЦК (справа)
ГЦК-упаковка, рассматриваемая в направлении осей симметрии 4-го порядка
Отдельный слой плотной упаковки
Показана укладка одиннадцати шаров ГП (ГПУ) решётки. ГП(ГПУ)-укладка отличается от верхних трёх слоёв ГЦК укладки на рисунке ниже только нижним слоем. Она может быть преобразована в ГЦК-укладку путём вращения или сдвига одного из слоёв. В реальном кристалле большого размера такое тоже может произойти при определённых условиях (это будет фазовый переход).
Несколько слоёв ГЦК-укладки. Заметьте, как смежные шары вдоль каждого ребра правильного тетраэдра расположены относительно друг друга, и сравните с ГП (ГПУ) упаковкой на рисунке выше.

Плотная упаковка равных сфер — такое расположение одинаковых неперекрывающихся сфер в пространстве, при котором занимаемая внутренними областями этих сфер доля пространства (плотность упаковки) максимальна, а также задача комбинаторной геометрии о поиске этой упаковки^[1].

Карл Фридрих Гаусс доказал, что самая высокая плотность упаковки в трёхмерном пространстве, которая может быть достигнута простой регулярной упаковкой, равна

\text{[math]}

{\frac {\pi }{3{\sqrt {2}}}}\simeq 0,74048.

{\frac {\pi }{3{\sqrt {2}}}}\simeq 0,74048.

Эта плотность достигается в упаковках в гранецентрированную кубическую (ГЦК) и гексагональную плотноупакованную (ГП, ГПУ^[2]) решётки (см. ниже). Гипотеза Кеплера утверждает, что эта упаковка имеет наивысшую плотность среди всех возможных упаковок сфер, регулярных и нерегулярных. Эту гипотезу доказал Thomas Callister Hales — версия статьи «Хейлз, Томас Каллистер» на английском языке Т. К. Хейлз (англ.) (рус. после многолетнего труда по программированию вычислений, необходимых для доказательства^[3]^[4].

Решётки ГЦК и ГП (ГПУ)Править

ГЦК	ГП (ГПУ)

ГЦК-упаковка может быть ориентирована по-разному, и в зависимости от ориентации отдельный её слой имеет квадратную или треугольную упаковку. Это можно видеть по кубооктаэдру с 12 вершинами, представляющими положения центров 12 сфер вокруг центральной сферы. ГП (ГПУ)-упаковку можно рассматривать как слои, упакованные в треугольную упаковку, где сферы соседнего слоя находятся в вершинах трёхскатного прямого бикупола, проходящего через центры сферы данного слоя.
Сравнение ГЦК и ГП (ГПУ) упаковок

ГП (ГПУ) упаковка (слева) и ГЦК упаковка (справа). Контуры соответствующих решёток Браве показаны красным. Буквы показывают, какие слои в упаковке совпадают (нет сдвига относительно друг друга в горизонтальной плоскости): так, в ГП (ГПУ) упаковке над слоем A находится слой B, а над ним — вновь слой A, в котором сферы находятся на тех же позициях, что и на других слоях A. В ГЦК упаковке показано три слоя, и все они различны: над слоем A находится B, над B — C, и лишь над C снова будет A. Заметим, что ГЦК упаковку можно перевести в ГП (ГПУ) упаковку путём сдвига слоёв, как показано пунктирной линией.

Существует две простые регулярные упаковки, на которых достигается максимальная средняя плотность. Они называются гранецентрированная кубическая (ГЦК) (или кубическая плотная упаковка) и шестиугольная плотная упаковка (ГП или ГПУ = Гексагональная плотноупакованная ячейка или решётка), в зависимости от симметрий решётки. Обе упаковки основываются на слоях сфер с центрами в вершинах треугольной мозаики. Обе упаковки можно представить как стопку одинаковых листов, внутри которых сферы уложены в треугольную решётку (плотноупакованных слоёв); ГЦК и ГП (ГПУ) отличаются положением этих листов относительно друг друга.

Расположение сфер в ГЦК упаковке образует одноимённую решётку. Расположение сфер в ГПУ упаковке не образуют решётку, однако является регулярным в том смысле, что все положения сфер неразличимы — группа симметрии ГПУ упаковки действует транзитивно на сферы.

ГЦК решётка в математике известна как решётка, генерируемая системой корней A₃^[5]. В англоязычной литературе данный вид ячейки называется face-centered cubic (fcc). ГП (ГПУ) решётка в англоязычной литературе называется hexagonal close-packed (hcp).

Расположение и незаполненное пространствоПравить

Взяв за точку отсчёта один из плотноупакованных слоёв шаров, можно разделить остальные на различные типы в зависимости от того, как они расположены относительного первого слоя в смысле горизонтального сдвига. Таких типов три, и их принято обозначать A, B и C.

Относительно уровня с шаром A (см. рисунок слева «Сравнение ГЦК и ГП (ГПУ) упаковок») возможны различные положения шаров B и C. Любая последовательность позиций A, B и C по слоям без повторения в соседних слоях возможна и даёт упаковку той же плотности.

Наиболее правильные упаковки:

ГЦК = ABCABCA (уровни совпадают через два);
ГП (ГПУ) = ABABABA (уровни совпадают через один).

Тем не менее, та же самая плотность упаковки может быть достигнута альтернативной послойной укладкой тех же плотных упаковок сфер в плоскости, включая структуры, которые апериодичны в направлении слоёв укладки. Имеется несчётное число нерегулярных расположений плоскостей (например, ABCACBABABAC…), которые иногда называются «упаковками Барлоу», по имени кристаллографа Уильяма Барлоу^[en]^[6].

В плотной упаковке расстояние между центрами сфер в плоскости плотноупакованного слоя равно диаметру сферы. Расстояние между центрами сфер в проекции на ось, перпендикулярную плотноупакованному слою, равно

\text{[math]}

{\text{pitch}}_{Z}={\sqrt {6}}\cdot {d \over 3}\approx 0,81649658d,

где d — диаметр сферы. Это следует из тетраэдрального расположения сфер в плотной упаковке.

Как в ГЦК, так и в ГП (ГПУ) укладках каждая сфера имеет двенадцать соседей (иными словами, координационное число для любой сферы в них равно 12). Вокруг сферы существуют пустые области, окружённые шестью сферами (октаэдрические), и меньшие пустые области, окружённые четырьмя сферами (тетраэдрические). Расстояния до центров этих пустых областей от центров окружающих сфер равно $\text{[math]}$ $\text{[math]}$ ${\sqrt {\tfrac {3}{2}}}$ для тетраэдрических и √2 для октаэдрических^{[Комм 1]}^{[источник не указан 2063 дня]} пространств, если радиус сферы равен 1. ГЦК упаковка получается, если в очередном слое помещать шары над октаэдрическими пустотами, ГП (ГПУ) — над некоторыми тетраэдрическими.

Построение решёткиПравить

Когда образуется любая решётка упаковки шаров, следует заметить, что если две сферы касаются, может быть проведена прямая из центра одной сферы в центр другой сферы и эта прямая проходит через точку касания. Расстояние между центрами — кратчайший путь между точками — как раз находится на этой прямой, поэтому это расстояние равно r₁ + r₂ где r₁ — радиус одной сферы, а r₂ — радиус другой. В плотной упаковке все сферы имеют один радиус r, так что расстояние между центрами равно просто 2r.

Простая ГП(ГПУ)-решёткаПравить

Анимация построения решётки плотной упаковки. Замечание: Если шары третьего уровня (уровень не показан) находится прямо над шарами первого уровня, то получим ГП(ГПУ)-решётку. Если шары третьего уровня расположены над промежутками между шарами первого уровня, то получим ГЦК-решётку.

Для образования A-B-A-B-… шестиугольной плотной упаковки сфер координаты точек решётки будут центрами шаров упаковки. Предположим, что целью является заполнение коробки сферами согласно схеме ГП(ГПУ). Коробка располагается в системе координат x-y-z.

Сначала образуем ряд сфер; их центры будут лежать на одной прямой. Значения координат x будут меняться на величину 2r, поскольку расстояние между центрами двух соприкасающихся сфер равно 2r. Для этих шаров координаты y и z будут одинаковыми. Для простоты положим, что координаты y и z шаров первого ряда равны r, что соответствует расположению поверхностей шаров на плоскостях с нулевыми координатами y и z. Таким образом, координаты шаров первого ряда будут выглядеть как (r, r, r), (3r, r, r), (5r ,r, r), (7r ,r, r), … .

Теперь сформируем второй ряд сфер. Снова центры будут лежать на прямой, и координаты x будут отличаться на 2r, но шары будут сдвинуты по оси на величину r, так что координаты x их центров будут равны координатам точек соприкосновения шаров первого ряда. Поскольку каждая сфера из нового ряда касается двух сфер из нижнего, их центры образуют равносторонние (правильные) треугольники с центрами соседних шаров. Все длины сторон будут равны 2r, так что разница между рядами по координате y будет составлять √3r. То есть вторая строка будет иметь координаты

\text{[math]}

\left(2r,r+{\sqrt {3}}r,r\right),\ \left(4r,r+{\sqrt {3}}r,r\right),\ \left(6r,r+{\sqrt {3}}r,r\right),\ \left(8r,r+{\sqrt {3}}r,r\right),\dots .

Следующая строка сфер следует этому шаблону, сдвигая ряд по оси x на величину r и по оси y на √3r. Добавляем ряды, пока не достигнем границы ящика.

В упаковке A-B-A-B-… плоскости сфер с нечётными номерами будут иметь в точности те же координаты x и y; меняются только координаты z, что верно и для чётных плоскостей. Оба вида плоскостей образуются по той же самой схеме, но положение первой сферы первой строки будет отличаться.

Используем построение, описанное выше, как слой A. Поместим сферу поверх этого слоя так, что она касается трёх сфер слоя A. Эти три сферы уже касаются друг друга, образуя равносторонний треугольник. Поскольку эти три сферы касаются добавленной сферы, четыре центра образуют правильный тетраэдр^[7], все стороны которого равны 2r. Высота этого тетраэдра является разностью координат z между двумя слоями и равна $\text{[math]}$ $\text{[math]}$ ${\tfrac {2{\sqrt {6}}r}{3}}$ . Комбинация с координатами x и y даёт центры первого ряда плоскости B:

\text{[math]}

\left(2r,r+{\frac {{\sqrt {3}}r}{3}},r+{\frac {2{\sqrt {6}}r}{3}}\right),\ \left(4r,r+{\frac {{\sqrt {3}}r}{3}},r+{\frac {2{\sqrt {6}}r}{3}}\right),\ \left(6r,r+{\frac {{\sqrt {3}}r}{3}},r+{\frac {2{\sqrt {6}}r}{3}}\right),\ \left(8r,r+{\frac {{\sqrt {3}}r}{3}},r+{\frac {2{\sqrt {6}}r}{3}}\right),\dots .

Координаты второго ряда следуют схеме, описанной выше:

\text{[math]}

\left(r,r+{\frac {4{\sqrt {3}}r}{3}},r+{\frac {2{\sqrt {6}}r}{3}}\right),\ \left(3r,r+{\frac {4{\sqrt {3}}r}{3}},r+{\frac {2{\sqrt {6}}r}{3}}\right),\ \left(5r,r+{\frac {4{\sqrt {3}}r}{3}},r+{\frac {2{\sqrt {6}}r}{3}}\right),\ \left(7r,r+{\frac {4{\sqrt {3}}r}{3}},r+{\frac {2{\sqrt {6}}r}{3}}\right),\dots .

Разность z-координат до следующего A-слоя снова равна $\text{[math]}$ $\text{[math]}$ ${\tfrac {2{\sqrt {6}}r}{3}}$ , а x- и y-координаты равны координатам первого A-слоя^[8].

В общем случае координаты центров можно записать в виде:

\text{[math]}

{\begin{bmatrix}1+2i+((j\ +\ k){\bmod {2}})\\1+{\sqrt {3}}\left[j+{\frac {1}{3}}(k{\bmod {2}})\right]\\1+{\frac {2{\sqrt {6}}}{3}}k\end{bmatrix}}r

где i, j и k — индексы по координатам x, y и z (начинающиеся с нуля), а «a mod b» означает «взятия остатка» от деления $\text{[math]}$ $\text{[math]}$ $a$ на $\text{[math]}$ $\text{[math]}$ $b$ .

Варианты и обобщенияПравить

Наиболее эффективный способ упаковать круги разного размера не так уж очевиден

Пространства иных размерностейПравить

Можно рассмотреть аналогичную задачу плотной упаковки гиперсфер (или окружностей) в евклидовом пространстве размерности, отличной от 3. В частности, двумерном евклидовом пространстве наилучшим заполнением является размещение центров кругов в вершинах паркета, образованного правильными шестиугольниками, в котором каждый круг окружён шестью другими. Именно из таких слоёв построены ГЦК и ГП (ГПУ) упаковки. Плотность данной упаковки:

\text{[math]}

{\frac {\pi }{2{\sqrt {3}}}}\approx 0,9069

^[1].

Оптимальная упаковка кругов на плоскости

В 1940 году было доказано, что данная упаковка является самой плотной.

В 2016 году украинский математик Марина Вязовская решила задачу об упаковке шаров в двух пространствах старших размерностей — восьмимерном^[9]^[10]^[11] и, в соавторстве, в 24-мерном^[12]^[13]. Решение Вязовской восьмимерного случая занимает всего 23 страницы и является «ошеломляюще простым»^[13] по сравнению с 300-страничным текстом и использованием 50 000 строчек программного кода при изложении доказательства гипотезы Кеплера^[14] для трёхмерного пространства.

Наивысшая плотность известна только для размерностей пространства 1 (укладка вплотную), 2 (треугольная решётка), 3 (ГЦК, ГП (ГПУ) и другие упаковки, построенные из слоёв треугольной решётки), 8 (решётка E8) и 24 (решётка Лича)^[15].

Заполнение оставшегося пространстваПравить

ГЦК и ГП (ГПУ) упаковки являются наиболее плотными известными упаковками одинаковых сфер с максимальной симметрией (наименьшей единицей повторения). Более плотные упаковки шаров известны, но в них используются сферы разных диаметров. Для упаковок с плотностью 1, заполняющих пространство полностью, требуется несферические тела, такие как соты, либо бесконечное количество сфер в конечном объёме (сетка Аполлония).

СотыПравить

Если заменить каждую точку соприкосновения двух сфер ребром, соединяющим центры соприкасающихся сфер, получим тетраэдры и октаэдры с равными длинами сторон. ГЦК укладка даёт тетраэдрально-октаэдральные соты^[en]. ГП (ГПУ) укладка даёт повёрнутые тетраэдрально-октаэдральные соты^[en]. Если, вместо этого, любая сфера расширяется точками, которые ближе к ней, чем к любой другой сфере, получаются двойственные соты — ромбододекаэдральные соты^[en] для ГЦК и трапецеромбические додекаэдральные соты^[en]для ГП.

Сферические пузырьки в мыльной воде по схеме ГЦК или ГП (ГПУ), когда вода между пузырьками высыхает, также принимают форму ромбододекаэдральных^[en] или трапецеромбических додекаэдральных сот^[en]. Однако такие ГЦК или ГП (ГПУ) пены с очень малым содержанием жидкости нестабильны, поскольку для них не выполняется закон Платэ^[en]. Пена Кельвина и структура Уэйра и Пелана^[en] более устойчивы, имея меньшую межграневую энергию при малом количестве жидкости^[16].

Размещение плодов апельсина в ГП (ГПУ) упаковке.

Снежные шары, уложенные для игры в снежки. В передней пирамиде снежки уложены в шестиугольную плотную упаковку, в задней — в гранецентрированную кубическую.

Плотная упаковка шаров в жизниПравить

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

Томас Хэрриот около 1585 года предпринял первое размышление с точки зрения математики об укладке шаров в контексте укладки пушечных ядер и рассмотрел ГЦК решётку: пушечные ядра обычно укладывались в прямоугольные или треугольные деревянные каркасы, образуя трёхсторонние или четырёхсторонние пирамиды; обе укладки дают гранецентрированную кубическую решётку и отличаются лишь ориентацией относительно основания. Шестиугольная плотная упаковка приводит к шестиугольной пирамиде. В связи с укладкой пушечных ядер известна и одноимённая задача теории чисел.

См. такжеПравить

КомментарийПравить

↑ Расстояние до центра тетраэдрической пустой области равно радиусу описанной окружности тетраэдра со стороной 2, то есть $\text{[math]}$ $\text{[math]}$ $2{\sqrt {\tfrac {3}{8}}}$ . Формулу радиуса описанной окружности прочитать в статье Правильный тетраэдр. Расстояние до центра октаэдрической области равно радиусу описанной окружности этой области с длиной стороны 2. Формулу для радиуса этой области можно получить в статье Октаэдр

ПримечанияПравить

↑ ¹ ² Слоэн Н. Дж. А. Упаковка шаров // В мире науки. — 1984. — № 3. — С. 72—82.
↑ Подольская Е. А., Кривцов А. М. Описание геометрии кристаллов с гексагональной плотноупакованной структурой на основе парных / Институт проблем машиноведения РАН, Санкт-Петербург. // Россия Физика твёрдого тела, 2012. — Т. 54. — Вып. 7. — С. — 1327—1334.
↑ Hales, T. C. (1998), An overview of the Kepler conjecture, arΧiv:math/9811071v2.
↑ Szpiro, 2003, с. 12–13.
↑ Conway, Sloane, 1998, с. Section 6.3.
↑ Barlow, 1883, с. 186–188.
↑ Grunch.net.
↑ Weisstein, Eric W. Hexagonal Close Packing (англ.) на сайте Wolfram MathWorld.
↑ Kevin Knudson. Stacking Cannonballs In 8 Dimensions (англ.) // Forbes. — 2016. — 29 March.
↑ Frank Morgan. Sphere Packing in Dimension 8 (англ.) // The Huffington Post. — 2016. — 21 March.
↑ Andreas Loos. So stapeln Mathematiker Melonen (нем.) // Die Zeit. — 2016. — 21 März.
↑ Lisa Grossman. New maths proof shows how to stack oranges in 24 dimensions (англ.) // New Scientist. — 2016. — 28 March.
↑ ¹ ² Erica Klarreich. Sphere Packing Solved in Higher Dimensions (англ.) // Quanta: Magazine. — 2016. — 30 March.
↑ Natalie Wolchover. In Computers We Trust? (англ.) // Quanta: Magazine. — 2013. — 22 February.
↑ Cohn, Kumar, Viller, Radchenko, Viazovska, 2017.
↑ Cantat, Cohen-Addad, Elias, Graner и др., 2013.

ЛитератураПравить

George Szpiro. Mathematics: Does the proof stack up? // Nature. — 2003. — Июль (т. 424). — doi:10.1038/424012a.
Henry Cohn, Abhinav Kumar, Stephen D. Miller, Danylo Radchenko, Maryna Viazovska. The sphere packing problem in dimension 24. — 2017. — Февраль. — arXiv:1603.06518v2.
John Horton Conway, Neil James Alexander Sloane. Section 6.3 // Sphere packings, lattices, and groups. — Springer, 1998. — Т. 290. — (Grundlehren der mathematischen Wissenschaften). — ISBN 0-387-98585-9.
William Barlow. Probable Nature of the Internal Symmetry of Crystals // Nature. — 1883. — Т. 29.
Isabelle Cantat, Sylvie Cohen-Addad, Florence Elias, François Graner, Reinhard Höhler, Ruth Flatman, Olivier Pitois. Foams, Structure and Dynamics. — Oxford: Oxford University Press, 2013. — ISBN 9780199662890.

СсылкиПравить

P. Krishna & D. Pandey, «Close-Packed Structures» International Union of Crystallography by University College Cardiff Press. Cardiff, Wales. PDF Архивная копия от 29 августа 2017 на Wayback Machine
Д. К. Новая головоломка: укладывание шариков в куб // Квант. — 1990. — № 5. — С. 82.
on Sphere Packing (неопр.). Grunch.net. Дата обращения: 12 июня 2014. Архивировано 20 марта 2015 года.

[7] Расстояние до центра тетраэдрической пустой области равно радиусу описанной окружности тетраэдра со стороной 2, то есть $\text{[math]}$ $\text{[math]}$ $2{\sqrt {\tfrac {3}{8}}}$ . Формулу радиуса описанной окружности прочитать в статье Правильный тетраэдр. Расстояние до центра октаэдрической области равно радиусу описанной окружности этой области с длиной стороны 2. Формулу для радиуса этой области можно получить в статье Октаэдр

[Упаковка_шаров-1] ¹ ² Слоэн Н. Дж. А. Упаковка шаров // В мире науки. — 1984. — № 3. — С. 72—82.

[2] Подольская Е. А., Кривцов А. М. Описание геометрии кристаллов с гексагональной плотноупакованной структурой на основе парных / Институт проблем машиноведения РАН, Санкт-Петербург. // Россия Физика твёрдого тела, 2012. — Т. 54. — Вып. 7. — С. — 1327—1334.

[3] Hales, T. C. (1998), An overview of the Kepler conjecture, arΧiv:math/9811071v2.

[_081f11db7c9e12ad-4] Szpiro, 2003, с. 12–13.

[_3d1f97fa17b64b71-5] Conway, Sloane, 1998, с. Section 6.3.

[_4215d583f325483d-6] Barlow, 1883, с. 186–188.

[_df294508516b3945-8] Grunch.net.

[9] Weisstein, Eric W. Hexagonal Close Packing (англ.) на сайте Wolfram MathWorld.

[10] Kevin Knudson. Stacking Cannonballs In 8 Dimensions (англ.) // Forbes. — 2016. — 29 March.

[11] Frank Morgan. Sphere Packing in Dimension 8 (англ.) // The Huffington Post. — 2016. — 21 March.

[12] Andreas Loos. So stapeln Mathematiker Melonen (нем.) // Die Zeit. — 2016. — 21 März.

[13] Lisa Grossman. New maths proof shows how to stack oranges in 24 dimensions (англ.) // New Scientist. — 2016. — 28 March.

[Erica_Klarreich-14] ¹ ² Erica Klarreich. Sphere Packing Solved in Higher Dimensions (англ.) // Quanta: Magazine. — 2016. — 30 March.

[15] Natalie Wolchover. In Computers We Trust? (англ.) // Quanta: Magazine. — 2013. — 22 February.

[_0bc6c6526f0d10c0-16] Cohn, Kumar, Viller, Radchenko, Viazovska, 2017.

[_a35b9b6c38ec99d4-17] Cantat, Cohen-Addad, Elias, Graner и др., 2013.

[1]

[2]

[3]

[4]

[5]

[6]

[Комм 1]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]