角形区域上的一维二相自由边界问题-应用数学专业论文.docxVIP

摘要本文研究了在’一维有限区域上液体物质的凝固问题。首先证明了角形区域 摘要 本文研究了在’一维有限区域上液体物质的凝固问题。首先证明了角形区域 上抛物方程的解的存在性，第二部分利用不动点定理证明了整个区域上自由边 界问题局部解的存在性，第三部分通过研究自巾边界的性质，证明了自由边界 在有限时间消失，最后证明了解的唯一降。 关键词：二相凝固问题、自由边界，解的存在唯一性。 Abstract In this paper we consider an one．dimensional solidification problem of a finite doraain of a pure substance which is initially in 1iquid state．First．we prove the existence of the solution of parabolic equation in triangular domain：Second．the existence of a ioeal solution in global doraain is established by the fixed point theorem；Third，by studying the property of the free boundary,we prove the free boundary dissipates in finite time；1ater．we obtain the and uniqueness． Keywords：Two phase solidification problem；Free boundary；the property of solution． 2 序言在许多实际问题中，对于相的转换的考虑往往是必需的。例如：在冶金部 序言 在许多实际问题中，对于相的转换的考虑往往是必需的。例如：在冶金部 门关于浇铸过程的研究中，必须要考虑钢水和钢锭的同时存在，以及钢水逐渐 凝固成钢锭的过程。其他犹如在土壤冻结，渗流，石油开采的研究中也提出了 类似的问题需要考虑。这种考虑的迫切性就成了研究抛物性方程未知边界问题 的出发点。在数学形式上这类问题的主要特征：在于在所寻找的所有未知函数 中包含了一条(块)以上的未知曲线(面)，而且这些未知曲线(面)与其他 未知函数在求解的过程中是互相关联的，我们把它称为未知边界问题。 本文考察液体物质在一维有限区域中的凝固问题。如图：在区域z=O、z= z之间，液体物质的初始温度高于凝固温度。在∞=0端制冷，而。一f端绝热， 经过 段时间后，在o=0处的温度下降到凝固点，开始凝固，用z=s㈨表示 液体和固体的边界。由于凝固，体积收缩，于是在固体和区域边界X=02_间 就出现空隙，用o=rs㈤表示固体的另一条边界(其中，r是收缩参数)，于 是，就出现两条自由边界。随着制冷的进行，液体不断凝固，经过一段时间 后，液体全部凝固，这与实验结果『11一致。我们考虑液体从开始凝固到全部凝 固这段时间内，液体和固体的温度以及喇条自由边界的位置。 z=f 固体 丁 | 盆 z=rs(t}—一 1／固体／ L／／淑侮 O 液体 上面问题将转化为求解以下二相ste胁问题[4 岫鲁=鲁抑，(￡)丝cgz，岫丽2瓦+”1【￡J一， rs(t)xs(t)，OtT 02u2 孔2 她瓦r 2瓦， s@)zZ，0t丁 ≈t玺(rs(氓￡)=m1(rs㈣，旷u。 0tT ut(s(￡)，t)=％ OtT u2(s(t)，t)=％ 0tT 警亿垆o， 0tT u2(z，0)=妒(z) 0zf 3 ＆-等(s(f¨)一nL。瓦Ou2 ＆-等(s(f¨)一nL。瓦Ou2 L／邓小)=出沁)， OtT s(o)=0， 其中：“1(z，t)，啦(z，￡)分别表示固体和液体的温度，‰是热传导系数0= 1，2)，^是热交换系数，r是收缩系数(or1)，P是固体密度，％是凝固温度 c是比热，L是熔化潜热，uo是外部温度， ＆。=鬟0=1，2)．。=s(t)和z= rs(t)分别是固体两条边界的移动轨迹． 以下为了讨论方便起见，不妨设％=0，卢=鲁，pL=l，也就是研究问题： a。等=百Oul+rs讯)筹，01丽2百+’5例瓦， rs(t)。s(t)，0t，厂1 (0．1) a2Ⅱ2 a札2 毗百万2面， s(t)zf，0t正 (0．2) 卢罢(rs(t)，t)=u，(rs(叫)一u。， 0tT 3 t‘1(s(￡)，t)=0， 0￡丁 4 “2(s(￡)，t)=0， 0t丁 5 警(¨)_0， 0tT 6 u2(x，0)=妒(。)， Ozf 7 k。磐(s(班旷％。警(s(氓垆“￡) 0tT 8 ∞∞徊∞∞∞∞ 9 关于