自由境界問題

自由境界問題の概要

自由境界問題は、偏微分方程式において未知の関数と未知の領域の両方を考慮する問題です。特に、不明な領域Ωの境界部分である自由境界Γは、問題を解く上で重要な要素です。この問題の一例として、氷の融解が挙げられます。氷のかたまりが温度変化により融解するとき、その温度分布を決定するために熱方程式を解く必要があります。しかし、もし温度が氷の融点を超えた場合、その領域は氷ではなく液体に変化するため、氷と水の境界面の位置が問題となります。

ステファン問題

自由境界問題の一つであるステファン問題は、氷の融解をモデル化する際に使用されます。ここでは、温度場Tが二つの相（氷と水）において異なる挙動を示すことを考慮し、それぞれの相の温度拡散率α₁とα₂を明確にする必要があります。この時、温度は熱方程式によって決まります。具体的には、T > 0の領域では、次のように表されます。

$$
\frac{\partial T}{\partial t} =
abla \cdot (α_{1}
abla T) + Q
$$

一方、T < 0領域では、

$$
\frac{\partial T}{\partial t} =
abla \cdot (α_{2}
abla T) + Q.
$$

ここで、Ωは熱源または熱Sinkを示し、時間とともにTが0となる表面Γₜが存在します。この表面は氷と水の界面であり、自由境界の速度Vは特定の方程式によって記述されます。特に、

$$
L V = α_{1} \partial_{
u} T_{1} - α_{2} \partial_{
u} T_{2}
$$

が成り立ちます。この問題において、全領域Ωは既に知られていますが、自由境界Γはt=0における初期値のみがわかっています。したがって、氷と水の間の界面を正確に求めるには、熱方程式と自由境界Γの挙動を同時に考慮する必要があります。

障害問題

自由境界問題の別の興味深い例は、障害問題です。この問題では、ポアソン方程式が主要な役割を果たします。具体的には、次のように定義される微分方程式：

$$

---

abla^{2}u = f, \, u|_{\partial Ω} = g
$$

の解は、与えられた関数φに対して制約条件u ≤ φを満たす必要があります。ここで、u = φが成立する領域を一致集合Cと呼び、uがφと等しくならない領域を不一致集合N = Ω\Cとします。このとき、自由境界Γは、これら二つの集合の境界として定義されます。

変分不等式

多くの自由境界問題は、解析の目的から変分不等式の観点で考えることができます。具体的には、実数空間における凸集合Cでの関数Fの最小値を求めることが、自由境界問題の解決につながります。この最小値が示す条件は、微分方程式の解においても類似した性質が存在することを示唆しています。

自由境界の正則性

自由境界問題においては、解が自由境界付近でどのような性質を示すかが特に重要です。たとえば、解が自由境界を超えるときに導関数が不連続になることがあります。このため、自由境界自体の正則性も確認する必要があります。特に、ステファン問題では、自由境界がC^{1/2}曲面であることが確認されています。

参考文献

• - Alexiades, V. (1993). Mathematical Modeling of Melting and Freezing Processes. Hemisphere Publishing.
• - Friedman, A. (1982). Variational Principles and Free Boundary Problems. John Wiley & Sons.
• - 河原田秀夫 (1989). 自由境界問題：理論と数値解法. 東京大学出版会.
• - 斎藤武雄 (1994). 移動境界伝熱学. 養賢堂.

もう一度検索