🫧 Мінімальні поверхні

Мінімальна поверхня має нульову середню кривизну скрізь — вона є локально найменшою за площею поверхнею, натягнутою на задану межу (задача Плато). Мильні плівки — це природні фізичні реалізації: поверхневий натяг мінімізує площу плівки. Класичні приклади: катеноїд (поверхня обертання ланцюгової лінії), геліцоїд (лінійчата поверхня, що розгортається вздовж гвинта) та поверхня Еннепера. Перетягніть полотно для обертання.

🇬🇧 English

Поверхня

Параметри

Рендеринг

Властивості

Середня кривизна H0
Гаусова кривизна K
Вершини
Тип поверхні
Рівняння Ейлера–Лагранжа:
(1+fy²)fxx − 2fxfyfxy + (1+fx²)fyy = 0

Середня кривизна:
H = ½(κ12) = 0

Катеноїд–Геліцоїд
ізометрична деформація t∈[0,1]

Перетягніть для обертання · Параметрична 3D-візуалізація на Canvas 2D

Задача Плато і зображення Вейєрштрасса

Жозеф Плато (1801–1883) вивчав мильні плівки експериментально: будь-яка дротова рамка, занурена в мильну воду, утворює плівку мінімальної площі — це стало відомим як задача Плато, розв'язана Джессі Дугласом та Тіборем Радо у 1930 році. Зображення Вейєрштрасса–Еннепера забезпечує потужний інструмент: будь-яку мінімальну поверхню можна локально виразити через пару голоморфних функцій (f, g), тому диференціальна геометрія цих поверхонь тісно пов'язана з комплексним аналізом. Деформація катеноїд–геліцоїд (повзунок t) є відомим ізометричним перетворенням — обидві поверхні мають однаковий розподіл гаусової кривизни і перетворюються одна в одну при збереженні відстаней. Обидві є повними мінімальними поверхнями; катеноїд відкрив Ейлер у 1744 році.

Про мінімальні поверхні

Ця симуляція відтворює класичні мінімальні поверхні — поверхні, середня кривизна H яких дорівнює нулю в кожній точці, тобто вони локально мінімізують площу при фіксованій межі (задача Плато). Кожна поверхня будується зі своїх точних параметричних рівнянь: катеноїд — як поверхня обертання ланцюгової лінії, геліцоїд — лінійчата поверхня, розгорнута вздовж гвинта, а також поверхня Еннепера, поверхня Шерка і гармонічне наближення мильної плівки. Точки проєктуються простою перспективною камерою і малюються від дальніх до ближніх (алгоритм художника) на контексті Canvas 2D.

Кнопки вибору перемикають між п'ятьма прикладами, повзунок «Роздільна здатність» задає густоту сітки (16–100), «Масштаб» змінює розмір сітки, а «Морфінг t» безперервно деформує катеноїд у геліцоїд через відому ізометричну згортку. Режими рендерингу забарвлюють за кривизною, нормаллю до поверхні або каркасом; «Авто-обертання» та «Осі» допомагають дослідити форму. Мінімальні поверхні моделюють мильні плівки, натягнуті мембрани й легкі архітектурні покриття, де поверхневий натяг або тканина природно приймає форму з мінімальною площею.

Поширені запитання

Що таке мінімальна поверхня?

Мінімальна поверхня — це поверхня, в кожній точці якої середня кривизна H дорівнює нулю, тобто вона є локально найменшою за площею поверхнею, натягнутою на задану граничну криву. Рівноцінно: в кожній точці дві головні кривизни рівні за модулем і протилежні за знаком, що надає кожній ділянці форму сідла. Мильні плівки, натягнуті на дротяну рамку, є найпоширенішим фізичним прикладом.

Які поверхні можна переглянути тут?

Доступні п'ять прикладів: катеноїд, геліцоїд, поверхня Еннепера, перша поверхня Шерка і наближена гармонічна мильна плівка на квадратній межі. Кожна генерується зі своєї параметричної або гармонічної формули, тому геометрія математично точна, а не намальована довільно.

Що робить повзунок «Морфінг t»?

Повзунок «Морфінг t» запускає відому ізометричну деформацію, яка перетворює катеноїд (t=0) у геліцоїд (t=1) без розтягування поверхні. Внутрішньо кожна точка змішує члени cosh і sinh, зважені на cos і sin від t, помножених на пі/2, — завдяки чому місцеві відстані та гаусова кривизна зберігаються протягом усієї деформації.

Як малюється 3D-зображення без WebGL?

Поверхня дискретизується на сітці, кожна точка обертається кутами Ейлера, потім проєктується з перспективним коефіцієнтом fov/глибина. Чотирикутні грані сортуються за середньою глибиною і малюються від дальніх до ближніх (алгоритм художника) на звичайному контексті Canvas 2D з простим дифузно-ambient освітленням від фіксованого джерела світла.

Чому мінімальні поверхні нагадують сідло?

Тому що умова H=0 змушує дві головні кривизни бути рівними за модулем і протилежними за знаком. В одному напрямку поверхня вигинається вгору, а в перпендикулярному — вниз, утворюючи сідло. Це також означає, що гаусова кривизна K — добуток головних кривизн — завжди нульова або від'ємна на мінімальній поверхні.

Яке рівняння визначає мінімальну поверхню?

Для функції висоти f(x,y) рівняння мінімальної поверхні є рівнянням Ейлера–Лагранжа функціоналу площі: (1+f_y²)f_xx мінус 2·f_x·f_y·f_xy плюс (1+f_x²)f_yy дорівнює нулю. Розв'язання цього рівняння при фіксованій межі дає поверхню мінімальної площі — саме її фізично знаходить мильна плівка.

Що показує режим забарвлення за кривизною?

Режим «Кривизна» забарвлює кожну грань, використовуючи z-компоненту нормалі до поверхні як дешевий замінник нахилу поверхні, переходячи від холодних до теплих відтінків по сітці. Це візуальна підказка, а не точна карта кривизни; для детального геометричного аналізу передбачені режими «Нормаль» і «Сітка».

Чи точні відображувані значення кривизни?

Показник середньої кривизни відображає 0, оскільки кожна поверхня тут справді мінімальна. Запис гаусової кривизни наводить відомі замкнені форми — наприклад, мінус sech у четвертому степені від v для катеноїда і мінус 1/cosh у четвертому степені від v для геліцоїда, тому відображені значення відповідають реальній диференціальній геометрії.

Що таке зображення Вейєрштрасса–Еннепера?

Це результат, що стверджує: будь-яку мінімальну поверхню можна локально записати через пару голоморфних функцій, пов'язуючи геометрію мінімальних поверхонь з комплексним аналізом. Поверхня Еннепера, представлена тут, є найпростішим прикладом, отриманим за цією конструкцією, — саме тому диференціальні геометри вивчають її поряд із катеноїдом і геліцоїдом.

Де мінімальні поверхні зустрічаються в реальному світі?

Мильні плівки й бульбашки — класичний приклад, але той самий принцип мінімальної площі визначає форму натягнутих тентових покриттів, вантових сіток, біологічних мембран і навіть оптимальних молекулярних конфігурацій. Архітектори, зокрема Фрай Отто, використовували моделі мильних плівок для проєктування легких намет і стадіонних дахів, що ефективно несуть навантаження з мінімальною витратою матеріалу.