ステファン問題

数学およびその応用分野、特に物質の相転移に関して現れる、ステファン問題（ステファンもんだい、、ステファン課題とも呼ばれる）とは、相の境界が時間とともに移動するような場合を含む、ある種の偏微分方程式に対する境界値問題のことを言う。古典的ステファン問題は、例えば水になりつつある氷など、相転移中のにおける温度分布を表現するねらいで考えられた。これは、全媒質に初期温度分布を課し、ステファン条件と呼ばれるある特定の境界条件を、それら二つの相の間を移動する境界について課すような、熱方程式を解くことで達成される。ここで、そのような移動する境界は未知の超曲面であり、したがってステファン問題は自由境界問題の例であることに注意されたい。

 歴史的注釈 
この問題は、スロベニア人の物理学者ヨジェフ・ステファンの名にちなむ。彼は、氷の形成に関する問題と関連して、その問題の一般的なクラスを1890年周辺に導入した。問題が考えられたのはより早期の1831年のことで、ガブリエル・ラメとエミール・クラペイロンによる功績だった。

 数学的表記の前準備 
数学の観点からすると、相とは、考えているPDEの係数が連続かつそのPDEの階数まで微分可能であるような領域のことである。物理の問題において、そのような係数は各相の媒質の性質を表す。移動境界（あるいは界面）とは、隣接する二つの相を分離するような無限小に薄い曲面である。したがって、考えているPDEの係数とその微分には、その界面をわたる際に不連続性が生じ得る。

考えているPDEは、相転移界面においては有効とならない。したがって、閉包を得るためにはステファン条件と呼ばれるある付加条件が必要となる。ステファン条件は、移動境界の局所的な速度を、その相境界の両端において評価される量の関数として表現するもので、通常、物理学的な制限から要請されるものである。例えば、相転移を伴う伝熱の問題においては、エネルギー保存の法則がそのような物理学的な制限となり、その界面の局所的な速度は、その界面における熱流束の不連続性に依存する。

 数学的定式化 
 一次元単一相ステファン問題 
はじめに  ∈ [0,+∞) に対して融解温度 ≡ にあるような半無限の一次元氷塊を考える。 の熱流束は、領域の左側の境界から氷塊を融かし、水で占められる区間  を生成しながら、導入される。その氷塊の融かされた深さは  と表記され、これは時間についての未知関数である。ステファン問題を解くとは、



を満たすような  と  を見つけることを言う。ステファン問題にはまた、豊富な逆理論が存在し、そこでは与えられた曲線  に対して  あるいは  を見つけることが問題とされる。

 応用 
ステファン問題はまた、より複雑な問題の、時間に関する漸近挙動のモデルとして用いられる。例えばペゴは、相分離問題に対するカーン＝ヒリアード解が、中点時間スケールにおける非線形ステファン問題の解として振る舞うことを証明するために、整合漸近展開を用いたR. L. Pego. (1989). Front Migration in the Nonlinear Cahn-Hilliard Equation. Proc. R. Soc. Lond. A.,422:261–278.。また、二元混合に対するカーン＝ヒリアード方程式の解は、ステファン問題の解と合理的に比較可能であるF. J. Vermolen, M.G. Gharasoo, P. L. J. Zitha, J. Bruining. (2009). Numerical Solutions of Some Diffuse Interface Problems: The Cahn-Hilliard Equation and the Model of Thomas and Windle. Int. J. Mult. Comp. Eng.,7(6):523–543.。この比較においてステファン問題は、外部境界における同次ノイマン境界条件のもと、前方追跡節点移動法によって解かれる。

 歴史的文献 
. ステファン問題の早期の理論に関する、興味深い歴史的論文。の版は（PDFフォーマットで）次のリンク先で閲覧可能となっている：。

 参考文献 

. 広範囲にわたる参考文献を含み、その内 460 の項目がステファン問題および他の自由境界問題を扱っている。1982年に更新された。

.
. この論文では、三次元ステファン問題の一般解の存在と一意性に対するの証明が含まれている。その結果は、彼女の弟子であるの先行研究に基づくものである。
. ショシャナ・カミンによる、ステファン問題についての早期の研究。
. この論文では、三次元ステファン問題の一般解の存在と一意性が証明されている。のちに、この著者の師であるによって改善された。
. 1962–1963 に更新された、広範囲にわたる参考書目。201の文献を含む。
. 熱拡散方程式に対する移動自由境界問題についての、印象深い私的な参考書目。およそ 884 の異なる種類の出版物で見られる 5900 の参考文献を含んでいる。そこで宣言されている狙いは、西洋に存在する数学、物理学および工学の、当該分野における文献についての広範に亘る書目を作ることであった。ラメ・クラペイロン (1831) による歴史的な最初の論文の後に出版された、ほとんど全ての出版物が網羅されている。それらの原典には、科学雑誌、シンポジウムあるいは国際会議の論文集、技術報告書や本などが含まれている。

 関連項目 
 自由境界問題
 移動境界問題


 ステファンの方程式

 外部リンク 

Category:微分方程式
Category:相転移
Category:数学に関する記事