Powierzchnie minimalne: folki z mydłem, krzywizna i rachunek wariacyjny

Zero krzywizny, minimalna powierzchnia

Powierzchnia minimalna jest dowolną powierzchnią, która lokalnie minimizuje powierzchowność dla danego obrzeża — naciskając na dowolny mały obszar tej powierzchni w dowolnym kierunku, powierzchowność tylko zwiększa się. Ta warunek okazuje się być równoważny jedynie geometrycznemu: w każdym punkcie krzywizna średnią H, srednia dwóch krzywizn główna, jest dokładnie równe zero. Powierzchnia minimalna skrzywiana jest przeciwnie i równomiernie w obu kierunkach głównych — jest ona wszędzie siodłowa, nigdy kulista ani domekowata, co jest dokładnie powodem, dla którego te powierzchowności wyglądają tak inaczej niż sfery lub elipsoidy.

H = (κ₁ + κ₂) / 2 = 0       mean curvature is zero everywhere
κ₁ = −κ₂                      principal curvatures equal and opposite — a saddle point at every location

Folki z mydłem rozwiązują to automatycznie

Napięcie surfacjalne sprawia, że folka z mydłem zachowuje się jak naciągnięta tkanina sprężysta, próbując minimalizować swoją powierzchnię. Dlatego każda folka z mydłem przechodząca przez pętlę witej fizycznie osiąga powierzchnię minimalną — natura wykonuje optymalizację za Ciebie. Znalezienie, czy dla dowolnej krzywej granicznej istnieje powierzchnia minimalna przechodząca przez nią i w jakim kształcie to ma miejsce, nazywa się problemem Plateau, imieniem belgijskiego fizyka z niepełnosprawnością wzrokową, który eksperymentalnie studiował folki z mydłem w XVIII wieku; matematyczne dowodzenie istnienia takiej powierzchni zostało udowodnione w 1930 roku przez Jessego Douglasa i Tibora Radó, praca ta przyniosła Douglasowi pierwszą Medaille Fields.

Catenoid: obrót łańcucha między dwiema punktami

Wyznacznie łańcucha wolno spoczywa między dwoma punktami i osiąga krzywą catenary, kształt, jaki przyjmuje jednorodny kabłąk pod wpływem własnej masy. Obracając tę samą krzywą wokół swojej osi otrzymujemy catenoid — powierzchnię, którą tworzy film mydłowy, gdy jest rozciągnięty między dwoma kołowymi pęczkami. Jest to jedyna powierzchnia obrotowa minimalnej oprócz samej płaskiej płaszczyzny, a jest ona niestabilna po pewnym odstępnieci pęczków: zbyt duży odstęp między pęczkami spowoduje, że film już nie będzie mógł utrzymać zera średniej krzywizny w każdym punkcie i zawali się na dwa oddzielne płaskie dyski.

Helikoid: spirala schodów z ukrytym dwoma

Helikoid nie przypomina niczego podobnego katenoidowi — jest to kształt spiralnej parki samochodowej — jednak oba powierzchnie są izometryczne: istnieje ciągły rodzaj powierzchni, transformacja Bonneta, która przerzuca katenoid na helikoid, zachowując przy tym każdą odległość pomiarową na powierzchni oraz każdą wartość krzywizny w każdym punkcie. Jeśli rozcięto katenoid po jednej linii i odcinka, to w teorii można go gładko deformatyjnie przekształcić w helikoida bez rozciągania ani przecinania — to niewątpliwe przypomnienie, że geometria wewnętrzna (co małe mrówki biegnące na powierzchni pomiarowalne) i zewnetrzny kształt (jaka forma powierzchni w 3D przestrzeni) są rzeczywiście różnymi rzeczami.

Powierzchnie Ennepera i sposób, w jaki te kształty są rzeczywistym konstruowaniem

Większość powierzchni minimalnych, w tym powierzchnia self-interesująca Ennepera, nie jest znaleziona poprzez bezpośrednie rozwiązanie równania o niewłaściwej średniej krzywizny — pojawiają się one z reprezentacji Weierstrassa–Ennepera, formuły, która tworzy powierzchnie minimalne na podstawie dowolnej funkcji holomorficznej (różniczkowalnej w sensie zespolonym). Ta reprezentacja konwertuje trudny geometryczny problem zmuszania H = 0 wszędzie, na znacznie bardziej obsługiwany problem wyboru dobrze zachowanego funkcji zespolonej, który jest tym sposobem sposób, jakim matematycy generują nowe rodziny powierzchni minimalnych bez konieczności bezpośredniego rozwiązania równania różniczkowego.

Często zadawane pytania

Wypróbuj na żywo

Wszystko powyżej działa bezpośrednio w Twojej przeglądarce — otwórz Minimal Surfaces — Catenoid, Helicoid, Soap Film i zmieniaj parametry podczas działania. Nic nie jest instalowane ani przesyłane na serwer, cały model działa w jednej karcie.