極小曲面

数学または物理学において、極小曲面（きょくしょうきょくめん、Lang-en-short| minimal surface  、lang-fr-short| surface minimale   、 lang-de-short | minimalfläche 、 lang-zh-short | 極小曲面 ）とは局所的にその面積を最小化する曲面である。
これはmean curvatureが零をもつことと同じである（以下の定義を見よ）。

**解説**
「極小曲面」の用語はこれら曲面が本来ある一定の面積を合計として最小にする曲面としてであるから用いられる。極小曲面の面積を最小化する物理的モデルは、soap filmが生じる、石鹸液に針金の枠を漬けることで作ることができる。それはその針金枠を境界とする極小曲面である。しかしながら、その用語は自己交差や制約されないより一般的な曲面についても用いられる。そこで与えられた制約条件は面積の異なる幾つかの極小曲面をも成り立たせる（例えば、minimal surface of revolution を見よ）：標準的な定義は局所的最適に関係するだけで、大域的最適ではない。
直観的には、或る極小曲面は、最小を充たす摂動の適用における変数のところのその面積または体積が与えられる曲面である。その極小曲面はつまり（十分小さくかつ十分限定された或る摂動の結果からみて長さが増加するしかないところの）測地線より高い次元において相似物として形成される。

**定義**
label = 鞍型塔状極小曲面、その面積を増加させる曲面の任意の小さな変形のなかで、最も小さな合計面積をもつ同じ境界である曲面が存在する。
極小曲面はにおいて、幾つかの同値な方法により定義できる。それらが同値である事実は極小曲面の理論がいかに幾つもの数学上の分野にまたがっているかを示す、とりわけ微分幾何学、変分法、ポテンシャル論、複素解析そして数理物理学。
局所最小面積定義（ local least area definition）：おなじ境界をもつすべての曲面のうち最小の面積をもつ、単純閉曲線により境界づけられた、曲面は、任意の点 p ∈ Mが近傍をもてば、そのときに限り極小である。
この性質は局所的である：より小さな面積のおなじ境界をもつその他の曲面とともに、極小曲面では領域が存在しなければならない。この性質は石鹸膜に関連して確立された；境界としての針金枠に、極小の面積になるよう石鹸膜は形作られる。
変分的定義（ variational definition）：曲面は、コンパクトに支持されたすべての変分に対する面積関数の臨界点であれば、そのときに限り極小である。
この定義は、長さ関数の臨界点として類似に定義されるものである、測地線に対する2次元の類似として極小曲面を成り立たせる。
極小曲面の曲率平面。極小曲面では、主曲率の平面のうちの曲率は同じであり、すべての点で正負が逆である。これは主曲率が零であることを意味する。
平均曲率的定義（ mean curvature definition）：曲面は、すべての点でその mean curvatureが零に等しければそのときに限り極小である。
この定義の直接な意味は、曲面上の任意の点は等しくかつ相対する主曲率の鞍点であるということである。さらに言えば、これは、極小曲面が mean curvature flowの静的な解を与えることを示す。ヤング・ラプラスの式により、石鹸膜の平均曲率はその側面の圧力差に比例する。もしある領域で石鹸膜が囲まれていなければ、そのときこれはその平均曲率が零になることを成り立たせる。
微分方程式による定義（Differential equation definition）:曲面はもしそれが次式の解のグラフとして局所的に表されるならばそのときに限り極小である：
:
この定義のその偏微分方程式はもともと1762年にラグランジュにより見つけられた、そしてジャン＝バティスト・ムーニエは1776年に平均曲率が消えることを意味していることを見出した。
エネルギーによる定義（energy definition）：ある等角なはめ込みは、もしすべての支持するコンパクトな多様体についてのディリクレエネルギーの臨界点であるならばそのときに限り極小である。または同値として、もし任意の点が、その境界に比例した最小のエネルギーをもつ近傍をもてば極小である。
この定義は極小曲面を調和関数とポテンシャル論とに結び付ける。
調和的定義（harmonic definition）：もしが、あるリーマン面の3次元空間への等長的はめこみならば、が各のにおける調和関数であるときはいつでも、は極小であるという。
この定義と調和関数の最大値原理の直接的な意味は、にはコンパクトで完備な極小曲面は無いことである。
ガウス写像による定義（Gauss map definition）：ある曲面は、ステレオな投影であるガウス写像が、もととなるリーマン面の構造に関して有理型であり、かつ'球面の一部'（piece of a sphere）ではないときに限り極小である。
この定義は、そのガウス写像のその導関数と関係する、平均曲率がlabel = 形状作用素 の跡の半分であることを用いる。もし投影されたガウス写像がコーシー・リーマン方程式に従うならば、この場合それは球面の一部であって、跡は消えるかまたはの各点はumbilical pointである。
局所最小面積定義と変分的定義はよりも高次のリーマン多様体へ拡張して定義することを極小曲面に与える。

**歴史**
極小曲面の理論は
ラグランジュが1762年に、与えられた閉じた輪郭に交差して引き伸ばされる最小の面積の曲面を探す変分問題を考えたときに始まる。
彼はその解に対して次のオイラー＝ラグランジュ方程式を導いた：

彼は平面以外に何らの解も見つけることにはならなかった。1776年にジャン＝バティスト・ムーニエは Helicoidと catenoid がその方程式を満たすこと、および微分の表現がその曲面のmean curvature の二倍に関係すること、結論として零平均曲率をもつ曲面は面積極小であることを見出した。
ラグランジュの方程式を次のように拡張することによって：

ガスパール・モンジュとアドリアン＝マリ・ルジャンドルは1795年に解の曲面についての式の表現を導いた。Heinrich Scherkが1830年にlabel = 彼の曲面を導いたことによってこれらが成功したときに、彼らは実際には役立たないものとして一般的に見なした。ウジェーヌ・シャルル・カタランは1842年と1843年に螺旋面が唯一の ruled surfaceの極小曲面であることを証明した。
'複素解析の方法'（complex method）によりBjörling problemが解かれた、その世紀の半ばまで明らかに進歩は低下した。しかし極小曲面の「最初の黄金時代」は始まった。シュワルツは複素解析の方法によりPlateau's problem の正四角形についての解を1865年に、そして一般の四角形について（彼の周期的 Schwarz minimal surfaceの構成により）1867年に見出した。ワイエルシュトラスとAlfred Enneper は、極小曲面を複素解析と調和関数とに強固に結びつける、もっと便利なWeierstrass–Enneper parameterization を開発した。他の重要な寄与は label = セレ 、ダルブー、 ベルトラン、ボンネ、リー、リーマン、 label = ワインガルテン からあった。
木材と石膏が材料で、表面に曲線が施された仕上げの立体的数学模型の例である、レムニスケートを測地線として含む極小曲面の縮尺模型。.
1925年から1950年にかけて、極小曲面の理論は復活した、今では主に'非媒介変数表示極小曲面'（nonparametric minimal surface）が指向されている。ジェス・ダグラスとTibor Radóによるプラトーの問題の完全な解決は主な金字塔である。Bernstein's problemと'有限総曲率'（ finite total curvature ）の'完備極小曲面'（complete minimal surface）に関するRobert Ossermanの業績も重要である。
またの復活が1980年代に始まった。一つの契機は1982年のセルソ・コスタによるlabel = ある曲面の発見である。これは、平面、懸垂面、螺旋面だけが有限な位相的な型の で完全に埋め込まれた極小曲面であることの予想を証明するものである。これは古い媒介変数的方法を用いた新しい成果を刺激するのみならず、研究された曲面を可視化するコンピューターグラフィックスと（大きな対称な曲面へ組み入れることができる、曲面の'切れ端'（patch）を決める、label = 随伴曲面法を用いるときに、一定の媒介変数ははめ込まれる曲面をつくるよう数値的に適合することが必要になる）「区間問題（period problem）」を解く数値的方法の重要性を示した。別の契機はH.カルチャー（H. Karcher）による証明である。これはもともと1970年にアラン・ショーンによって経験的に述べられたTriply periodic minimal surfaceが実在することである。これは有意義な曲面の族と、古い曲面から例えばそれらに把手（とって、lang-en-short | handle）を付けたり捻じ曲げたりすることで、新しい曲面を派生する方法を導き出した。
現状では、極小曲面の理論は取巻く他の幾何学における極小部分多様体の理論に多様化して、数理物理学（例えば、 label = 正値エネルギー予想、 Riemannian Penrose inequality ）と三次元多様体の幾何学（例えば、 Smith conjecture、ポアンカレ予想、幾何化予想）に関係するようになった。

**例**
Mapleによる懸垂面の表示。
螺旋面。
等長な局所変換。
極小曲面の古典的な具体例は以下を含む：- 自明な場合として、平面- catenoid：懸垂線をその回転軸に1周して作られる極小曲面-  helicoid ：その直線に垂直なひとつの回転軸のまわりに一定の速度で回転しながら、一定の速度をもって回転軸に沿って同時に進む直線によって描かれる曲面
懸垂面と螺旋面は、一方から他方への連続変形があることを与えられるという特筆に価する性質を有する。その局所的な変形はすべての点において等長である。加えて、変形途中のすべての曲面は極小曲面である。これらについて、懸垂面を表す変数値0から螺旋面を表す変数値までの、を変形の媒介変数として、そして次に示すからの変形途中の曲面を表す変数のである、媒介変数表示を私たちは容易に得る：



19世紀の黄金時代からの曲面は以下を含む：-  Schwarz minimal surface ：
を埋める Triply periodic minimal surface -  Riemann's minimal surface ：没後説明された周期的曲面- エネパー曲面-  Henneberg surface ：最初に見出された向き付け不可能な極小曲面-  Bour's minimal surface ：自己交差する極小曲面- Neovius surface ：三重周期極小曲面
Costa's Minimal Surface 
現代の曲面は以下を含む：- ジャイロイド：液晶構造にとくに関係する三重曲面の、1970年以来のシェーンの曲面のひとつ。-  saddle tower の族： Scherk surface#Scherk's second surface の一般化-  Costa's minimal surface ：著名な未証明の定理。 Celso Costaと後に視覚化した James Hoffman による。ジェームズ・ホフマン、ダビド・ホフマンおよびウィリアム・ミークス3世はそのとき異なった回転対称をもつ曲面の族を導く定義を拡張した。- エンネパー曲面に把手を付けた、 Chen–Gackstatter surface の族
零でない一定のある曲率をもつ、球面は、用語の規定の意味において極小曲面ではない。それは別の極小の意味においてであることを確かめられる：それは一定の体積を内包して面積が極小である曲面である（等周定理の項を見よ）。

**数学的性質**

**偏微分方程式**
に横たわる或る曲面は、二変数とからなる或る関数のグラフの如き表現である（ユークリッド）座標の変換により、局所化を与えられる。詳しくは、その曲面は座標の点の組み合わせに分解される：
,
記法とを用いて、オイラー-ラグランジュによる局所的方程式に書き直される：
この方程式は一次と二次の階数ののその偏微分を導く証拠とよばれる或る関係を示す：これは偏微分方程式の一例である。
例：式の解による唯一の族は hélicoïdeである。式の解による唯一の族は Surfaces de Scherk である。- 同様にもしそれらが反‐直観的に思われるのを与えるならば、それはプラトーの問題の解の唯一性が存在しない。言い換えれば、それは単独の極小曲面が与えれられた条件では定まらないことを示す。すなわち'輪郭'（contour）に対する極小曲面の個数に関して如何なるものかである：
** もし輪郭が或る平面曲線であるならば、それは或る極小曲面を囲む。同様にしてもしそれが或る平面への単なる射影であるならば或る凸状曲線に沿う（Rado,1932）。
** 曲率の合計が以下である曲線は円盤状の極小曲面の'境界'（border）を与える。
** 解析的曲線（courbe analytique）は、有限の個数の、面積が極小である曲面の境界を与える。

**モース理論の応用**
モース理論は、臨界点の計算についての有効性を十分に上げる；有限次元のコンパクト空間において定義された或る関数の臨界点の個数を評価するのを含めて成し遂げるところの、モース不等式をもつことでそれは有名である。曲率が零の曲面は面積あるいは体積の臨界点として呈する。それはモース理論の応用を試みられる：とかくするうちに、曲面における'変分'（variation）は無限次元での検討の必要性を導く。コンパクト性は基本的な位相の性質において依存していることを与えない。
それでも、類似の理論が成り立ち恒等式を与える：
ここでは異なる極小曲面の個数であり、すべてのは、極小曲面毎に関係する特性数である。

**一般化と他分野との関係**
極小曲面は以上の、 hyperbolic space 、高次元空間、またはリーマン多様体のような、他の多様体でも定義できる。
極小曲面の定義はConstant-mean-curvature surfaceに一般化または拡張できる：必ずしも零である必要はない、平均曲率を有する曲面。
等温曲面（isothermal surface）の曲率線（curvature line）は等温網（isothermal net）を成す。
では離散極小曲面が研究される：頂点の位置の'微動'（ lang-en-short | small  perturbation ）のもとで面積を最小化する三角形による複体。そのような離散化はしばしば、閉じた表現が知られていない表示においても、数値的に極小曲面を近似するのに用いられる。
極小曲面上のブラウン運動は、極小曲面に関する幾つかの定理の、確率論的な証明を導出する。
合成物の素材の自己集合での予想された応用により、特にmolecular engineeringと材料工学の分野で、極小曲面は甚だしい科学の研究の一分野になった。細胞生物学で重要な構造の、小胞体は、非自明な極小曲面に従う進化の圧力のもとにおかれるよう提案された。
一般相対性理論とローレンツ幾何学では、 apparent horizon として知られる、極小曲面の概念の確かな拡張と修正はは顕著である。事象の地平線と対照的に、それらはブラックホールの境界の理解への曲率に基づいた接近法を示す。
極小曲面に近似の、サーカスのテント。
テントのように、極小曲面による構造は用いられる。
極小曲面は現代のデザイナーによって用いられる generative design の道具箱の一部である。建築においては、極小曲面に大いに関係する張力構造において多大な興味をもたれてきた。フライ・オットー、坂茂、ザハ・ハディッドの仕事において著名な事例がみられる。フライ・オットーによるミュンヘン・オリンピック競技場の計画は石鹸膜に着想を得ているさらにフライ・オットーによる別の著名な事例は、カナダのモントリオールの preserve=1 でのドイツ館である。
美術界ではとりわけ、 Robert Engman （ 1927 - 2018 ）、 Robert Longhurst （ 1949 - ）、および Charles O. Perry （ 1929 - 2011 ）の彫塑において、極小曲面は発展的に開花してきた。

**毛細管現象**
石鹸膜による懸垂面の実現。
ヘリカルフレーム上の石鹸膜によって形成されるヘリコイド極小曲面
或る場合、石鹸の膜によって私たちは或る極小曲面を造ることを得る。この場合、石鹸膜は、この曲面が働くことを促すものである、ポテンシャルエネルギーに従い極小になってゆく。より詳しくは、それはラプラス‐ヤング方程式に従う：；ここにはその曲面の二つの断面で与えられる圧力差を示す、はこの曲面を形成させるものである液体により特徴づけられる、表面張力、そしては平均曲率である。石鹸膜が生じている場合において、その空気圧は両側から均等にかかる、よって、したがって曲率は零である：私たちは極小曲面を数学的に再定義した。
この表現はしかしながら利益が限定される。なにしろ、ポテンシャルエネルギーの安定な釣合いにおけるところの表現ではない。ポテトチップスの形の輪郭を想像してみよ。三つの曲面がこの輪郭に適合することを与えられる、石鹸膜に対応して二つがある、三つ目は不安定である、「幻影」の石鹸膜、これはエネパー曲面からの例に対応する場合である。

**関連項目**
  Surface Evolver  - ウィア＝フェラン構造-  Weierstrass–Enneper parameterization - 曲率-  triply periodic minimal surface - シャボン玉-  Schwarz minimal surface -  stretched grid method -  bilinear interpolation -  harmonic map -  harmonic morphism  - 張力構造-  Bernstein's problem -  Plateau's problem -  Bryant surface 

**脚注または引用文献**

**ウェブサイト**

**書籍**
 translated from
**  ref = harv 

**雑誌**
  ref = harv -  ref = harv -  ref = harv -  ref = harv - cite journal | first1=Ulrich | last1=Pinkall | first2=Konrad | last2=Polthier | title=Computing Discrete Minimal Surfaces and Their Conjugates | journal=Experimental Mathematics | volume=2 | issue=1 | pages=15–36 | year=1993 | mr=1246481 | url=http://projecteuclid.org/euclid.em/1062620735| doi=10.1080/10586458.1993.10504266 | ref = harv -  ref = harv -  ref = harv -  ref = harv 

**参考文献**
  cite book | language = フランス語 | author =  Pierre-Gilles de Gennes  | author2= Françoise Brochard-Wyart |author3= David Quéré  | title = Gouttes, bulles, perles et ondes  
ref = harv -  ref = harv 
教科書- R. Courant. Dirichlet's Principle, Conformal Mapping, and Minimal Surfaces. Appendix by M. Schiffer. Interscience Publishers, Inc., New York, N.Y., 1950. xiii+330 pp.- H. Blaine Lawson, Jr. Lectures on minimal submanifolds. Vol. I. Second edition. Mathematics Lecture Series, 9. Publish or Perish, Inc., Wilmington, Del., 1980. iv+178 pp. 0-914098-18-7- Robert Osserman. A survey of minimal surfaces. Second edition. Dover Publications, Inc., New York, 1986. vi+207 pp. 0-486-64998-9, 0852409- Johannes C.C. Nitsche. Lectures on minimal surfaces. Vol. 1. Introduction, fundamentals, geometry and basic boundary value problems. Translated from the German by Jerry M. Feinberg. With a German foreword. Cambridge University Press, Cambridge, 1989. xxvi+563 pp. 0-521-24427-7-  cite book | last = Nishikawa | first = Seiki | year = 2002 | title = Variational problems in geometry | series = Translations of mathematical monographs; Iwanami series in modern mathematics | volume = 205 | isbn = 0821813560 | issn = 0065-9282  
publisher = Providence, R. I. : American Mathematical Society  
postscript = , translated from: 
** 1998年- Ulrich Dierkes, Stefan Hildebrandt, and Friedrich Sauvigny. Minimal surfaces. Revised and enlarged second edition. With assistance and contributions by A. Küster and R. Jakob. Grundlehren der Mathematischen Wissenschaften, 339. Springer, Heidelberg, 2010. xvi+688 pp. 978-3-642-11697-1, 10.1007/978-3-642-11698-8 , 2566897- Tobias Holck Colding and William P. Minicozzi, II. A course in minimal surfaces. Graduate Studies in Mathematics, 121. American Mathematical Society, Providence, RI, 2011. xii+313 pp. 978-0-8218-5323-8
オンライン文献- access-date=December 27, 2006 (graphical introduction to minimal surfaces and soap films.)- access-date=February 2, 2009 (A collection of minimal surfaces with classical and modern examples)- access-date=October 27, 2008 (A collection of minimal surfaces)- access-date=September 28, 2004 (Online journal with several published models of minimal surfaces)

**外部リンク**
 id=p/m063920-  3D-XplorMath-J Homepage — Java program and applets for interactive mathematical visualisation-  Gallery of rotatable minimal surfaces-  WebGL-based Gallery of rotatable/zoomable minimal surfaces