ステファン問題

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

歴史的注釈[編集]

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

数学的表記の前準備[編集]

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

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

数学的定式化[編集]

一次元単一相ステファン問題[編集]

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

{\begin{aligned}{\frac {\partial u}{\partial t}}&={\frac {\partial ^{2}u}{\partial x^{2}}}&&{\text{in }}\{(x,t):0<x<s(t),t>0\},&&{\text{the heat equation}},\\-{\frac {\partial u}{\partial x}}(0,t)&=f(t),&&t>0,&&{\text{the Neumann condition at the left end of the domain describing the inlet heat flux}},&&\\u{\big (}s(t),t{\big )}&=0,&&t>0,&&{\text{the Dirichlet condition at the water-ice interface: setting melting/freezing temperature}},\\{\frac {\mathrm {d} s}{\mathrm {d} t}}&=-{\frac {\partial u}{\partial x}}{\big (}s(t),t{\big )},&&t>0,&&{\text{Stefan condition}},\\u(x,0)&=0,&&x\geq 0,&&{\text{initial temperature distribution}},\\s(0)&=0,&&&&{\text{initial depth of the melted ice block}}\end{aligned}}

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

応用[編集]

ステファン問題はまた、より複雑な問題の、時間に関する漸近挙動のモデルとして用いられる。例えばペゴは、相分離問題に対するカーン＝ヒリアード解が、中点時間スケールにおける非線形ステファン問題の解として振る舞うことを証明するために、整合漸近展開を用いた^[1]。また、二元混合に対するカーン＝ヒリアード方程式の解は、ステファン問題の解と合理的に比較可能である^[2]。この比較においてステファン問題は、外部境界における同次ノイマン境界条件のもと、前方追跡節点移動法によって解かれる。

歴史的文献[編集]

Vuik, C. (1993), “Some historical notes about the Stefan problem”, Nieuw Archief voor Wiskunde, 4e serie 11 (2): 157–167, MR 1239620, Zbl 0801.35002 . ステファン問題の早期の理論に関する、興味深い歴史的論文。前刷り（英語版）の版は（PDFフォーマットで）次のリンク先で閲覧可能となっている：[1]。

参考文献[編集]

^ 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.

Cannon, John Rozier (1984), The One-Dimensional Heat Equation, Encyclopedia of Mathematics and Its Applications, 23 (1st ed.), Reading–Menlo Park–London–Don Mills–Sydney–Tokyo/ Cambridge–New York–New Rochelle–Melbourne–Sydney: Addison-Wesley Publishing Company/Cambridge University Press, pp. XXV+483, ISBN 978-0-521-30243-2, MR0747979, Zbl 0567.35001 . 広範囲にわたる参考文献を含み、その内 460 の項目がステファン問題および他の自由境界問題を扱っている。1982年に更新された。
Kirsch, Andreas (1996), Introduction to the Mathematical Theory of Inverse Problems, Applied Mathematical Sciences series, 120, Berlin–Heidelberg–New York: Springer Verlag, pp. x+282, ISBN 0-387-94530-X, MR1479408, Zbl 0865.35004
Meirmanov, Anvarbek M. (1992), The Stefan Problem, De Gruyter Expositions in Mathematics, 3, Berlin-New York: Walter de Gruyter, pp. x+245, ISBN 3-11-011479-8, MR1154310, Zbl 0751.35052 .
Oleinik, O. A. (1960), “A method of solution of the general Stefan problem” (Russian), Doklady Akademii Nauk SSSR 135: 1050–1057, MR0125341, Zbl 0131.09202 . この論文では、三次元ステファン問題の一般解の存在と一意性に対するオルガ・オレイニク（英語版）の証明が含まれている。その結果は、彼女の弟子であるショシャナ・カミン（英語版）の先行研究に基づくものである。
Kamenomostskaya, S. L. (1958), “On Stefan Problem” (Russian), Nauchnye Doklady Vysshey Shkoly, Fiziko-Matematicheskie Nauki 1 (1): 60–62, Zbl 0143.13901 . ショシャナ・カミンによる、ステファン問題についての早期の研究。
Kamenomostskaya, S. L. (1961), “On Stefan's problem” (Russian), Matematicheskii Sbornik 53(95) (4): 489–514, MR0141895, Zbl 0102.09301 . この論文では、三次元ステファン問題の一般解の存在と一意性が証明されている。のちに、この著者の師であるオルガ・オレイニク（英語版）によって改善された。
Rubinstein, L. I. (1994), The Stefan Problem, Translations of Mathematical Monographs, 27, Providence, R.I.: American Mathematical Society, pp. viii+419, ISBN 0-8218-1577-6, MR0351348, Zbl 0219.35043 . 1962–1963 に更新された、広範囲にわたる参考書目。201の文献を含む。
Tarzia, Domingo Alberto (Julio), “A Bibliography on Moving-Free Boundary Problems for the Heat-Diffusion Equation. The Stefan and Related Problems”, MAT, Series A: Conferencias, seminarios y trabajos de matemática. 2: 1–297, ISSN 1515-4904, MR1802028, Zbl 0963.35207 . 熱拡散方程式に対する移動自由境界問題についての、印象深い私的な参考書目。およそ 884 の異なる種類の出版物で見られる 5900 の参考文献を含んでいる。そこで宣言されている狙いは、西洋に存在する数学、物理学および工学の、当該分野における文献についての広範に亘る書目を作ることであった。ラメ・クラペイロン (1831) による歴史的な最初の論文の後に出版された、ほとんど全ての出版物が網羅されている。それらの原典には、科学雑誌、シンポジウムあるいは国際会議の論文集、技術報告書や本などが含まれている。

外部リンク[編集]

[Pego-1] R. L. Pego. (1989). Front Migration in the Nonlinear Cahn-Hilliard Equation. Proc. R. Soc. Lond. A.,422:261–278.

[2] 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.

[1]

[2]