ステファン問題のソースを表示

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

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

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

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

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

: <math>\begin{align}
\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{align}
</math>

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

== 応用 ==
ステファン問題はまた、より複雑な問題の、時間に関する漸近挙動のモデルとして用いられる。例えばペゴは、相分離問題に対するカーン＝ヒリアード解が、中点時間スケールにおける非線形ステファン問題の解として振る舞うことを証明するために、整合漸近展開を用いた<ref name="Pego">R. L. Pego. (1989). Front Migration in the Nonlinear Cahn-Hilliard Equation. ''Proc. R. Soc. Lond. A.'','''422''':261&ndash;278.</ref>。また、二元混合に対する[[カーン＝ヒリアード方程式]]の解は、ステファン問題の解と合理的に比較可能である<ref>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&ndash;543.</ref>。この比較においてステファン問題は、外部境界における同次[[ノイマン境界条件]]のもと、前方追跡節点移動法によって解かれる。

== 関連項目 ==
* [[自由境界問題]]
* [[移動境界問題]]
* {{仮リンク|オルガ・オレイニク|en|Olga Arsenievna Oleinik}}
* {{仮リンク|ショシャナ・カミン|en|Shoshana Kamin}}
* [[ステファンの方程式]]

== 歴史的文献 ==
*{{Citation
  | last = Vuik
  | first = C.
  | author-link = Kees Vuik
  | title = Some historical notes about the Stefan problem
  | journal = [[Nieuw Archief voor Wiskunde]]
  | series = 4e serie
  | volume = 11
  | issue = 2
  | pages = 157–167
  | year = 1993
  | url = 
  | mr = 1239620 
  | zbl = 0801.35002
}}. ステファン問題の早期の理論に関する、興味深い歴史的論文。{{仮リンク|前刷り|en|preprint}}の版は（[[PDF]]フォーマットで）次のリンク先で閲覧可能となっている：[http://ta.twi.tudelft.nl/nw/users/vuik/wi1605/opgave1/stefan.pdf]。

== 参考文献 ==
{{reflist}}
*{{Citation
| last = Cannon
| first = John Rozier
| author-link = John Rozier Cannon 
| title = The One-Dimensional Heat Equation
| place = [[:en:Reading, Massachusetts|Reading]]–[[:en:Menlo Park, California|Menlo Park]]–[[:en:London|London]]–[[:en:Don Mills|Don Mills]]–[[:en:Sydney|Sydney]]–[[:en:Tokyo|Tokyo]]/ [[:en:Cambridge|Cambridge]]–[[:en:New York|New York]]–[[:en:New Rochelle|New Rochelle]]–[[:en:Melbourne|Melbourne]]–[[:en:Sydney|Sydney]]
| publisher = [[:en:Addison–Wesley|Addison-Wesley Publishing Company]]/[[:en:Cambridge University Press|Cambridge University Press]]
| year = 1984
| series = Encyclopedia of Mathematics and Its Applications
| volume = 23
| edition = 1st
| pages = XXV+483
| url = https://books.google.co.jp/books?id=XWSnBZxbz2oC&printsec=frontcover&redir_esc=y&hl=ja#v=onepage&q&f=true
| id = 
| mr = 0747979
| zbl = 0567.35001
| isbn =978-0-521-30243-2 }}. 広範囲にわたる参考文献を含み、その内 460 の項目がステファン問題および他の[[自由境界問題]]を扱っている。1982年に更新された。
*{{Citation
  | last = Kirsch
  | first = Andreas
  | author-link = 
  | title = Introduction to the Mathematical Theory of Inverse Problems
  | place = Berlin–Heidelberg–New York
  | publisher = [[:en:Springer Verlag|Springer Verlag]]
  | year = 1996
  | series= Applied Mathematical Sciences series
  | volume = 120
  | pages = x+282
  | url = https://books.google.co.jp/books?id=llNUaSKHj3gC&printsec=frontcover&redir_esc=y&hl=ja#v=onepage&q&f=true
  | doi = 
  | id = 
  | mr = 1479408
  | zbl = 0865.35004
  | isbn = 0-387-94530-X}}
*{{Citation
| last = Meirmanov
| first = Anvarbek M.
| author-link = Anvarbek Meirmanov
| title = The Stefan Problem
| place = [[:en:Berlin|Berlin]]-[[:en:New York|New York]]
| publisher = [[:en:Walter de Gruyter|Walter de Gruyter]]
| year = 1992
| series = De Gruyter Expositions in Mathematics
| volume = 3
| pages = x+245
| url = https://books.google.co.jp/books?id=ae1VlQjOtJQC&printsec=frontcover&redir_esc=y&hl=ja#v=onepage&q=
| id = 
| mr = 1154310 
| zbl = 0751.35052
| isbn = 3-11-011479-8}}.
*{{Citation
| last = Oleinik
| first = O. A.
| author-link = Olga Arsenievna Oleinik
| title = A method of solution of the general Stefan problem
| journal = [[:en:Proceedings of the USSR Academy of Sciences|Doklady Akademii Nauk SSSR]] 
| language = Russian
| volume = 135
| pages = 1050–1057
| year = 1960
| id = 
| mr = 0125341
| zbl = 0131.09202
}}. この論文では、[[次元|三次元]]ステファン問題の[[弱解|一般解]]の存在と一意性に対する{{仮リンク|オルガ・オレイニク|en|Olga Oleinik}}の証明が含まれている。その結果は、彼女の弟子である{{仮リンク|ショシャナ・カミン|en|Shoshana Kamin}}の先行研究に基づくものである。
*{{Citation
  | last = Kamenomostskaya 
  | first = S. L.
  | author-link = 
  | title = On Stefan Problem
  | journal = Nauchnye Doklady Vysshey Shkoly, Fiziko-Matematicheskie Nauki
  | volume = 1
  | issue = 1
  | pages = 60–62
  | year = 1958
  | language = Russian
  | url = 
  | doi = 
  | id = 
  | zbl = 0143.13901
}}. ショシャナ・カミンによる、ステファン問題についての早期の研究。
*{{Citation
| last = Kamenomostskaya
| first =  S. L.
| author-link = Shoshana  Kamin
| title = On Stefan's problem
| journal = [[:en:Matematicheskii Sbornik|Matematicheskii Sbornik]]
| language = Russian
| volume = 53(95)
| issue = 4 
| pages = 489–514
| year = 1961
| url = http://mi.mathnet.ru/eng/msb/v95/i4/p489
| id = 
| mr = 0141895
| zbl = 0102.09301
}}. この論文では、三次元ステファン問題の一般解の存在と一意性が証明されている。のちに、この著者の師である{{仮リンク|オルガ・オレイニク|en|Olga Oleinik}}によって改善された。
*{{Citation
| last = Rubinstein
| first = L. I.
| author-link = 
| title = The Stefan Problem
| place = [[:en:Providence, R.I.|Providence, R.I.]]
| publisher = [[American Mathematical Society]]
| year = 1994
| series = Translations of Mathematical Monographs
| volume = 27
| pages = viii+419
| url = https://books.google.co.jp/books?id=lDnLwUyiGAwC&printsec=frontcover&redir_esc=y&hl=ja#v=onepage&q=
| id = 
| mr = 0351348 
| zbl = 0219.35043
| isbn = 0-8218-1577-6}}. 1962–1963 に更新された、広範囲にわたる参考書目。201の文献を含む。
*{{Citation
  | last = Tarzia
  | first = Domingo Alberto
  | author-link = 
  | title = A Bibliography on Moving-Free Boundary Problems for the Heat-Diffusion Equation. The Stefan and Related Problems
  | journal = MAT
  | series = Series A: Conferencias, seminarios y trabajos de matemática.
  | volume = 2
  | pages = 1–297
  | year = 2000
  | date = Julio
  | url = http://web.austral.edu.ar/cienciasEmpresariales-investigacion-mat-A-02.asp
  | issn = 1515-4904
  | mr = 1802028 
  | zbl = 0963.35207
}}. 熱拡散方程式に対する移動自由境界問題についての、印象深い私的な参考書目。およそ 884 の異なる種類の出版物で見られる 5900 の参考文献を含んでいる。そこで宣言されている狙いは、西洋に存在する数学、物理学および工学の、当該分野における文献についての広範に亘る書目を作ることであった。ラメ・クラペイロン (1831) による歴史的な最初の論文の後に出版された、ほとんど全ての出版物が網羅されている。それらの原典には、科学雑誌、シンポジウムあるいは国際会議の論文集、技術報告書や本などが含まれている。

== 外部リンク ==
*{{SpringerEOM|title=Stefan condition|last=Vasil'ev|first= F. P. |author-link=|urlname=Stefan_condition}}
*{{SpringerEOM|title=Stefan problem|last=Vasil'ev |first= F. P.|author-link=
|urlname=Stefan_problem}}
*{{SpringerEOM|title=Stefan problem, inverse|last=Vasil'ev |first= F. P.|author-link=
|urlname=Stefan_problem,_inverse}}


{{DEFAULTSORT:すてふあんもんたい}}
[[Category:微分方程式]]
[[Category:相転移]]
[[Category:数学に関する記事]]