極小曲面

出典: フリー百科事典『ウィキペディア(Wikipedia)』

数学または物理学において、極小曲面(きょくしょうきょくめん、: minimal surface : surface minimale : minimalfläche : 極小曲面 )とは局所的にその面積を最小化する曲面である。

これは平均曲率英語: mean curvatureが零をもつことと同じである(以下の定義を見よ)。

解説[編集]

「極小曲面」の用語はこれら曲面が本来ある一定の面積を合計として最小にする曲面としてであるから用いられる。極小曲面の面積を最小化する物理的モデルは、石鹸膜英語: soap filmが生じる、石鹸液に針金の枠を漬けることで作ることができる。それはその針金枠を境界とする極小曲面である。しかしながら、その用語は自己交差や制約されないより一般的な曲面についても用いられる。そこで与えられた制約条件は面積の異なる幾つかの極小曲面をも成り立たせる(例えば、回転極小曲面英語: minimal surface of revolution を見よ):標準的な定義は局所的最適に関係するだけで、大域的最適ではない。

直観的には、或る極小曲面は、最小を充たす摂動の適用における変数のところのその面積または体積が与えられる曲面である。その極小曲面はつまり(十分小さくかつ十分限定された或る摂動の結果からみて長さが増加するしかないところの)測地線より高い次元において相似物として形成される。

定義[編集]

鞍型塔状英語版極小曲面、その面積を増加させる曲面の任意の小さな変形のなかで、最も小さな合計面積をもつ同じ境界である曲面が存在する。

極小曲面はにおいて、幾つかの同値な方法により定義できる。それらが同値である事実は極小曲面の理論がいかに幾つもの数学上の分野にまたがっているかを示す、とりわけ微分幾何学変分法ポテンシャル論複素解析そして数理物理学[1]

局所最小面積定義: local least area definition):おなじ境界をもつすべての曲面のうち最小の面積をもつ、単純閉曲線により境界づけられた、曲面は、任意の点 pM近傍をもてば、そのときに限り極小である。

この性質は局所的である:より小さな面積のおなじ境界をもつその他の曲面とともに、極小曲面では領域が存在しなければならない。この性質は石鹸膜に関連して確立された;境界としての針金枠に、極小の面積になるよう石鹸膜は形作られる。

変分的定義: variational definition):曲面は、コンパクトに支持されたすべての変分に対する面積関数臨界点であれば、そのときに限り極小である。

この定義は、長さ関数の臨界点として類似に定義されるものである、測地線に対する2次元の類似として極小曲面を成り立たせる。

極小曲面の曲率平面。極小曲面では、主曲率の平面のうちの曲率は同じであり、すべての点で正負が逆である。これは主曲率が零であることを意味する。
平均曲率的定義: mean curvature definition):曲面は、すべての点でその平均曲率 英語: mean curvatureが零に等しければそのときに限り極小である。

この定義の直接な意味は、曲面上の任意の点は等しくかつ相対する主曲率鞍点であるということである。さらに言えば、これは、極小曲面が平均曲率流れ 英語: mean curvature flowの静的な解を与えることを示す。ヤング・ラプラスの式により、石鹸膜の平均曲率はその側面の圧力差に比例する。もしある領域で石鹸膜が囲まれていなければ、そのときこれはその平均曲率が零になることを成り立たせる。

微分方程式による定義: Differential equation definition):曲面はもしそれが次式の解のグラフとして局所的に表されるならばそのときに限り極小である:

この定義のその偏微分方程式はもともと1762年にラグランジュにより見つけられた[2]、そしてジャン=バティスト・ムーニエは1776年に平均曲率が消えることを意味していることを見出した[3]

エネルギーによる定義: energy definition):ある等角はめ込みは、もしすべての支持するコンパクトな多様体についてのディリクレエネルギーの臨界点であるならばそのときに限り極小である。または同値として、もし任意の点が、その境界に比例した最小のエネルギーをもつ近傍をもてば極小である。

この定義は極小曲面を調和関数ポテンシャル論とに結び付ける。

調和的定義: harmonic definition):もしが、あるリーマン面の3次元空間への等長的はめこみならば、が各における調和関数であるときはいつでも、は極小であるという。

この定義と調和関数の最大値原理の直接的な意味は、にはコンパクト完備な極小曲面は無いことである。

ガウス写像による定義: Gauss map definition):ある曲面は、ステレオな投影であるガウス写像が、もととなるリーマン面の構造に関して有理型であり、かつ'球面の一部'(: piece of a sphere)ではないときに限り極小である。

この定義は、そのガウス写像のその導関数と関係する、平均曲率が形状作用素英語版の半分であることを用いる。もし投影されたガウス写像がコーシー・リーマン方程式に従うならば、この場合それは球面の一部であって、跡は消えるかまたはの各点は臍点英語: umbilical pointである。

局所最小面積定義と変分的定義はよりも高次のリーマン多様体へ拡張して定義することを極小曲面に与える[4]

歴史[編集]

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

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

ラグランジュの方程式を次のように拡張することによって:

ガスパール・モンジュアドリアン=マリ・ルジャンドルは1795年に解の曲面についての式の表現を導いた。ハインリッヒ・シェルク英語: Heinrich Scherkが1830年に彼の曲面英語版を導いたことによってこれらが成功したときに、彼らは実際には役立たないものとして一般的に見なした。ウジェーヌ・シャルル・カタランは1842年と1843年に螺旋面が唯一の線織面 英語: ruled surfaceの極小曲面であることを証明した。

'複素解析の方法'(: complex method)によりビョーリング問題英語: Björling problemが解かれた、その世紀の半ばまで明らかに進歩は低下した。しかし極小曲面の「最初の黄金時代」は始まった。シュワルツは複素解析の方法によりプラトーの問題 英語: Plateau's problem 正四角形についての解を1865年に、そして一般の四角形について(彼の周期的シュワルツ極小曲面 英語: Schwarz minimal surfaceの構成により)1867年に見出した。ワイエルシュトラスアルフレッド・エネパー 英語: Alfred Enneper は、極小曲面を複素解析と調和関数とに強固に結びつける、もっと便利なワイエルシュトラス-エネパー媒介変数表示 英語: Weierstrass–Enneper parameterization を開発した。他の重要な寄与はセレ英語版ダルブー ベルトランボンネリーリーマンワインガルテン英語版からあった。

木材石膏が材料で、表面に曲線が施された仕上げの立体的数学模型の例である、レムニスケート測地線として含む極小曲面の縮尺模型[5].

1925年から1950年にかけて、極小曲面の理論は復活した、今では主に'非媒介変数表示極小曲面'(: nonparametric minimal surface)が指向されている。ジェス・ダグラスティボル・ラド英語: Tibor Radóによるプラトーの問題の完全な解決は主な金字塔である。[6]ベルンシュテインの問題英語: Bernstein's problemと'有限総曲率'(: finite total curvature )の'完備極小曲面'(: complete minimal surface)に関するロバート・オッサーマン英語: Robert Ossermanの業績も重要である。

またの復活が1980年代に始まった。一つの契機は1982年のセルソ・コスタによるある曲面英語版の発見である。これは、平面、懸垂面、螺旋面だけが有限な位相的な型の で完全に埋め込まれた極小曲面であることの予想を証明するものである。これは古い媒介変数的方法を用いた新しい成果を刺激するのみならず、研究された曲面を可視化するコンピューターグラフィックスと(大きな対称な曲面へ組み入れることができる、曲面の'切れ端'(: patch)を決める、随伴曲面法英語版を用いるときに、一定の媒介変数ははめ込まれる曲面をつくるよう数値的に適合することが必要になる)「区間問題(: period problem)」を解く数値的方法の重要性を示した。別の契機はH.カルチャー(: H. Karcher)による証明である。これはもともと1970年にアラン・ショーンによって経験的に述べられた三重周期極小曲面英語: Triply periodic minimal surfaceが実在することである。これは有意義な曲面の族と、古い曲面から例えばそれらに把手(とって、: handle)を付けたり捻じ曲げたりすることで、新しい曲面を派生する方法を導き出した。

現状では、極小曲面の理論は取巻く他の幾何学における極小部分多様体の理論に多様化して、数理物理学(例えば、正値エネルギー予想英語版リーマン・ペンローズ不等式 英語: Riemannian Penrose inequality )と三次元多様体の幾何学(例えば、スミス予想 英語: Smith conjectureポアンカレ予想幾何化予想)に関係するようになった。

[編集]

Mapleによる懸垂面の表示。
螺旋面。
懸垂面から螺旋面への、全点での等長な局所変換。

極小曲面の古典的な具体例は以下を含む:

  • 自明な場合として、平面
  • 懸垂面 英語: catenoid懸垂線をその回転軸に1周して作られる極小曲面
  • 螺旋面 英語: helicoid :その直線に垂直なひとつの回転軸のまわりに一定の速度で回転しながら、一定の速度をもって回転軸に沿って同時に進む直線によって描かれる曲面

懸垂面と螺旋面は、一方から他方への連続変形があることを与えられるという特筆に価する性質を有する。その局所的な変形はすべての点において等長である。加えて、変形途中のすべての曲面は極小曲面である。[7]これらについて、懸垂面を表す変数値0から螺旋面を表す変数値までの、を変形の媒介変数として、そして次に示すからの変形途中の曲面を表す変数のである、媒介変数表示を私たちは容易に得る:

19世紀の黄金時代からの曲面は以下を含む:

を埋める三重周期極小曲面 英語: Triply periodic minimal surface

コスタの極小曲面 英語: Costa's Minimal Surface

現代の曲面は以下を含む:

零でない一定のある曲率をもつ、球面は、用語の規定の意味において極小曲面ではない。それは別の極小の意味においてであることを確かめられる:それは一定の体積を内包して面積が極小である曲面である(等周定理の項を見よ)。

数学的性質[編集]

偏微分方程式[編集]

に横たわる或る曲面は、二変数からなる或る関数のグラフの如き表現である(ユークリッド)座標の変換により、局所化を与えられる。詳しくは、その曲面は座標の点の組み合わせに分解される:

,

記法を用いて、オイラー-ラグランジュによる局所的方程式に書き直される:

この方程式は一次と二次の階数ののその偏微分を導く証拠とよばれる或る関係を示す:これは偏微分方程式の一例である。

例:式の解による唯一の族は螺旋面フランス語: hélicoïdeである。式の解による唯一の族はシェルク曲面 フランス語: Surfaces de Scherk である。

  • 同様にもしそれらが反‐直観的に思われるのを与えるならば、それはプラトーの問題の解の唯一性が存在しない。言い換えれば、それは単独の極小曲面が与えれられた条件では定まらないことを示す。すなわち'輪郭'(: contour)に対する極小曲面の個数に関して如何なるものかである:
    • もし輪郭が或る平面曲線であるならば、それは或る極小曲面を囲む。同様にしてもしそれが或る平面への単なる射影であるならば或る凸状曲線に沿う(Rado,1932)。
    • 曲率の合計が以下である曲線は円盤状の極小曲面の'境界'(: border)を与える。
    • 解析的曲線(: courbe analytique)は、有限の個数の、面積が極小である曲面の境界を与える。

モース理論の応用[編集]

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

それでも、類似の理論が成り立ち恒等式を与える:

ここでは異なる極小曲面の個数であり、すべてのは、極小曲面毎に関係する特性数である。

一般化と他分野との関係[編集]

極小曲面は以上の、双曲空間 英語: hyperbolic space 、高次元空間、またはリーマン多様体のような、他の多様体でも定義できる。

極小曲面の定義は定曲率曲面 英語: Constant-mean-curvature surfaceに一般化または拡張できる:必ずしも零である必要はない、平均曲率を有する曲面。

等温曲面(: isothermal surface)の曲率線(: curvature line)は等温網(: isothermal net)を成す[9]

離散微分幾何学 英語: discrete differential geometry では離散極小曲面が研究される:頂点の位置の'微動'(: small perturbation )のもとで面積を最小化する三角形による複体[10]。そのような離散化はしばしば、閉じた表現が知られていない表示においても、数値的に極小曲面を近似するのに用いられる。

極小曲面上のブラウン運動は、極小曲面に関する幾つかの定理の、確率論的な証明を導出する[11]

合成物の素材の自己集合での予想された応用により、特に分子工学材料工学の分野で、極小曲面は甚だしい科学の研究の一分野になった[12]。細胞生物学で重要な構造の、小胞体は、非自明な極小曲面に従う進化の圧力のもとにおかれるよう提案された[13]

一般相対性理論ローレンツ幾何学では、みかけの地平線 英語: apparent horizon として知られる、極小曲面の概念の確かな拡張と修正はは顕著である[14]事象の地平線と対照的に、それらはブラックホールの境界の理解への曲率に基づいた接近法を示す。

極小曲面に近似の、サーカスのテント。

テントのように、極小曲面による構造は用いられる。

極小曲面は現代のデザイナーによって用いられる生成的デザイン 英語: generative design の道具箱の一部である。建築においては、極小曲面に大いに関係する張力構造において多大な興味をもたれてきた。フライ・オットー坂茂ザハ・ハディッドの仕事において著名な事例がみられる。フライ・オットーによるミュンヘン・オリンピック競技場の計画は石鹸膜に着想を得ている[15]さらにフライ・オットーによる別の著名な事例は、カナダのモントリオールの1967年万博英語版でのドイツ館である[16]

美術界ではとりわけ、ロバート・エグマン 英語: Robert Engman ( 1927 - 2018 )、ロバート・ロングハースト 英語: Robert Longhurst ( 1949 - )、およびチャールズ・O.ペリー 英語: Charles O. Perry ( 1929 - 2011 )の彫塑において、極小曲面は発展的に開花してきた。

毛細管現象[編集]

石鹸膜による懸垂面の実現。
ヘリカルフレーム上の石鹸膜によって形成されるヘリコイド極小曲面

或る場合、石鹸の膜によって私たちは或る極小曲面を造ることを得る。この場合、石鹸膜は、この曲面が働くことを促すものである、ポテンシャルエネルギーに従い極小になってゆく。より詳しくは、それはラプラス‐ヤング方程式に従う:;ここにはその曲面の二つの断面で与えられる圧力差を示す、はこの曲面を形成させるものである液体により特徴づけられる、表面張力、そしては平均曲率である。石鹸膜が生じている場合において、その空気圧は両側から均等にかかる、よって、したがって曲率は零である:私たちは極小曲面を数学的に再定義した。

この表現はしかしながら利益が限定される。なにしろ、ポテンシャルエネルギーの安定な釣合いにおけるところの表現ではない。ポテトチップスの形の輪郭を想像してみよ。三つの曲面がこの輪郭に適合することを与えられる、石鹸膜に対応して二つがある、三つ目は不安定である、「幻影」の石鹸膜、これはエネパー曲面からの例に対応する場合である。

関連項目[編集]

脚注または引用文献[編集]

  1. ^ Meeks & Pérez 2011
  2. ^ Lagrange 1760
  3. ^ Meusnier 1785
  4. ^ 変分的定義については(西川 1998)を見よ。
  5. ^ us 741 2011
  6. ^ ヒルベルト & コーン・フォッセン 1961, p. 291、一次文献はDouglas 1931Radó 1930
  7. ^ ヒルベルト & コーン・フォッセン 1961, pp. 228–229
  8. ^ 選ばれた定義がどうであろうと、無限次元多様体は、局所的にコンパクトではない:崩れた、それは大域性の存在を与えない。
  9. ^ encyclopedia 2011
  10. ^ Pinkall & Polthier 1993
  11. ^ Neel 2009
  12. ^ Han & Che 2018
  13. ^ Terasaki et al. 2013
  14. ^ Choquet-Bruhat 2009, p. 417
  15. ^ ArchDaily 2011
  16. ^ Architectuu

ウェブサイト[編集]

書籍[編集]

  • D.ヒルベルト、S.コーン・フォッセン 著、芹沢正三 訳『直観幾何学』 第Ⅱ巻、みすず書房、東京、1961(昭和36)-01-30。 translated from
    • Hilbert, D.; Cohn-Vossen, S. (1932) (ドイツ語). Anschauliche Geometrie. Berlin: Verlag von Julius Springer 
  • Choquet-Bruhat, Yvonne (2009). General relativity and the Einstein equations. Oxford Mathematical Monographs. Oxford: Oxford University Press. ISBN 978-0-19-923072-3. xxvi+785 pp. 

雑誌[編集]

参考文献[編集]

教科書

  • 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. ISBN 0-914098-18-7
  • Robert Osserman. A survey of minimal surfaces. Second edition. Dover Publications, Inc., New York, 1986. vi+207 pp. ISBN 0-486-64998-9, MR0852409
  • 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. ISBN 0-521-24427-7
  • Nishikawa, Seiki (2002). Variational problems in geometry. Translations of mathematical monographs; Iwanami series in modern mathematics. 205. Providence, R. I. : American Mathematical Society. ISBN 0821813560. ISSN 0065-9282, translated from: 
  • 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. ISBN 978-3-642-11697-1, doi:10.1007/978-3-642-11698-8 , MR2566897
  • 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. ISBN 978-0-8218-5323-8

オンライン文献

外部リンク[編集]