1、毕业论文 开题报告 信息与计算科学 双曲型偏微分方程的求解及其应用 一、选题的背景、意义 在科学技术日新月异的发展过程中，人们研究的许多问题用一个自变量的函数来描述已经显得不够了，不少 问题有多个变量的函数来描述。比如，从物理角度来说，物理量有不同的性质，温度、密度等是用数值来描述的叫做纯量；速度、电场的引力等，不仅在数值上有不同，而且还具有方向，这些量叫做向量；物体在一点上 的张力 状态的描述出的量叫 做张量 ，等等。这些量不仅和时间有关系，而且和空间坐标也有联系，这就要用多个变量的函数来表示。 应该指出，对于所有可 能 的物理现象 用某些多个变量的函数表示，只能是理想化的，如介质的密度，实
2、际上 “在一点 ”的密度是不存在的。而我们把在一点的密度看作是物质的质量和体积的比当体积无限缩小的时候 的极限 ，这就是理想化的。介质的温度也是这样。这样就产生了研究某些物理现象的理想了的多个变量的 函数方程 ，这种方程就是偏微分方程 1。 随着 物理科学所 研究的现象在广度和深度两方面的扩展，偏微分方程的应用范围更广泛。从数学自身的角度看，偏微分方程的求解促使数学在函数论、变分法、级数展开、常微分方程、代数、微分几何等各方面进行发展。从这个角度说，偏 微分方程变成了数学的中心。 其中，可以变的 标准型 有： 椭圆型 、 双曲型 、 抛物型 。而 基本方程 可以 归结为四大 类 ：波动 、 热
3、传导 、 传输 2。 如果一个微分方程中出现的未知函数只含一个自变量，这个方程叫做常微分方程，也简称微分方程；如果一个微分方程中出现多元函数的偏导数，或者说如果未知函数和几个变量有关，而且方程中出现未知函数对几个变量的导数，那么这种微分方程就是偏微分方程。 微积分 方程这门学科产生于十八世纪 ，欧拉 在他的著作中最早提出了弦振动的二 学 家达朗贝尔 也在他的著作论动力学中提出了特殊的偏微分方程。这些著作当 时没有引起多大注意。 1746 年，达朗贝尔在他的论文张紧的弦振动时形成 的曲线 的研究中，提议证明无穷多种和正弦曲线不同的曲线是振动的模式。这样就由对弦振动的研究开创了偏微分方程这门学科。
4、 和欧拉同时代的瑞士数学家丹尼尔 贝努利也研究了数学物理方面的问题，提出了解弹性系振动问题的一般方法，对偏微分方程的发展起了比较大的影响。拉格朗日也讨论了一阶偏微分方程，丰富了这门学科的内容 3。 偏微分方程得到迅速发展是在十九世纪，那时候，数学物理问题的研究繁荣起来了，许多数学家都对数学物理问题的解决做出了贡献。这里 应该提一提 法国 数学 家傅立叶 ，他年轻的时候就是一个出色的数学学者。在从事热流动的研究中，写出了热的解析理论，在文章中他提出 了三维空间 的热方程，也就是一种偏微分方程。他的研究对偏微分方程的发展的影响是很大的。 在科学技术日新月异的发展过程中，人们研究的许多问题用一个自变
5、量的函数来描述已经显得不够了，不少 问题有多个变量的函数来描述。比如，从物理角度来说，物理量有不同的性质，温度、密度等是用数值来描述的叫做纯量；速度、电场的引力等，不仅在数值上有不同，而且还具有方向，这些量叫做向量；物体在一点上 的张力 状态的描述 出的量叫 做张量 ，等等。这些量不仅和时间有关系，而且和空间坐标也有联系，这就要用多个变量的函数来表示。 随着 物理科学所 研究的现象在广度和深度两方面的扩展，偏微分方程的应用范围更广泛。从数学自身的角度看，偏微分方程的求解促使数学在函数论、变分法、级数展开、常微分方程、代数、微分几何等各方面进行发展。从这个角度说，偏微分方程变成了数学的中心。 随
6、着电子计算机的出现和发展 , 偏微分方程的数值解得到了前所未有的发展和应用 .在科学的计算机化进程中 ,科学与工程计算作为工具性、方法性、边缘交叉性的新学科开始了自己的新发展 .由于科学基本规律大多是通过偏微分方程来描述的，因此科学与工程计算的主要任务就是求解形形色色的偏微分方程，特别是一些大规模、非线性、几何非规则性的方程 . 求解偏微分方程的问题，由于区域的复杂性，要比求解常微分方程的问题困难的多，求精确解一般是不可能的，因此近似解尤为迫切、重要。用数字电子计算机的工具解偏微分方程问题，一般地采用数值方法。当今，应用于解偏微分方程的主要数值方法是差分法和有限元法。我们用差分法（如 Eule
7、r方法）去解常微分方程的初值问题，实际上它也是求解各类型偏微分方程的传统数值方法，早在 1928年， Courant、 Friedrichs与 Lewy 就对差分方法作过很好的论述。有限元法是 20 世纪中后期发展起来的解偏微分方程问题的一类新型数值方法。 另外，解析几何是代数与几何相结合的产物，它把变量引入数学，使得人们借助于数学对运动变化的规律进行定量的分析成为可能，同时也为微积分的创立奠定了基础。微积分的创立是 17 世纪数学最重要的成就之一，也是科学技术发展史上最重大的事件之一 4-5。 二、研究的基本内容与拟解决的主要问题 双曲型偏微分方程的求解及其应用 首先，我们解释一下定解条件和
8、定解问题的概念问题 6-7。 弦振动方程、热传导方程、拉普拉斯（ Laplace）三种典型的方程，分别描述了各种物理状态的规律。但是，仅有方程还不足以确定在特定条件下，某个具体的规律。例如，端点固定和端点不固定的情形，尽管弦的振动规律满足同一方程，但振动显然是不同的。又如物体表面绝热和物体表面与外界有热交换，物体的温度分布是不会相同的。说明研究对象的边界状态对物理规律是有影响的。因此，描述某个物理规律，除方程外，还需要附加描述初始状态的条件，即初始条件。 另外，物理规律还与初始状态有关。如弦在开始时是平衡状态还是有位移，开始时 具有初速度还是初速度为零，必然影响弦的振动情况。所以，还需要附加描
9、述初始状态的条件，即初始条件。 初始条件和边界条件统称为定解条件。一个偏微分方程连同与它相应的定解条件组成一个定解问题。 所有含未知函数偏导数的方程统称为偏微分方程。当所研究的自然现象需用多元函数描述的时候，往往就会遇到偏微分方程。求解偏微分方程的问题，由于区域的复杂性，要比求解常微分方程的问题困难的多，求精确解一般是不可能的，因此近似解尤为迫切、重要。用数字电子计算机的工具解偏微分方程问题，一般地采用数值方法。当今，应用于解偏微分方程的主要 数值方法是差分法和有限元法。我们用差分法（如 Euler方法）去解常微分方程的初值问题，实际上它也是求解各类型偏微分方程的传统数值方法，早在 1928年
10、， Courant、Friedrichs 与 Lewy 就对差分方法作过很好的论述。有限元法是 20 世纪中后期发展起来的解偏微分方程问题的一类新型数值方法。 另外，网域 Gh和网点的概念 8-9。 以二维 Poission 方程的第一边值问题 - u = f（ x,y）， （ x,y） G （ 1） u = （ x,y）， （ x,y） 为例来介绍边值问题的差分解法。这里 G 是（ x,y）平面上的一个有界区域，其边界 = G为分段光滑的简单闭曲线。 构造边值问题（ 1）差 分逼近的第一步，是用一个离散点集去近似代替区域 G =G 。一个简单作法是：取定正数 h和 l（称为网格步长），用两族
11、平行直线 x = x0+ ih， i=0， 1， 2， y =y0+jl， j=0， 1， 2， 将（ x,y）平面分割成小矩形。两族直线的交点（ x0+ ih， y0+jl）称为网点，简记为（ i，j）。用 Gh表示属于 G 的所有网点（也可以包括某些 G 外但与 很接近的网点）的集合，称 Gh为网域。 根据上述概念，我们用差分解法求解双曲型方程 10-13。 作为二阶线性双曲型方程的一个典型，考虑如下一维波动方程 22tu- 222xuc= 0 （ 2） 的初值问题：求函数 u(x,t)，它在满足方程（ 2）的同时并适合初值条件 U(x,t) = （ x）， tu （ x,0） = （ x
12、） 。 （ 3） 此方程描述声音在均匀媒体中的传播， c 为传播速度（依赖于媒体的正常数）。类似于抛物型方程的初值问题的差分逼近，取定空间与时间步长： h， 0，记 xj=jh， tn=n ，则网域 Gh由网点 （ xj， tn）： j=0， 1， 2， ， n=0， 1， 构成。其次，在内部网点（ xj， tn）， n 1 上，用下述二阶中心差商近似 （ 2）中的二阶微商 （ 22xu）),( ntjx 2 121hjnujnujnu ， （ 22tu）),( ntjx 2121jnujnujnu ， 其中 ujn=u（ xj， tn），此时得到差分方程 2121jnvjnvjnv - c2
13、 2 121hjnvjnvjnv = 0， （ 4） j=0， 1， 2， ， n=0， 1， 。 利用 Taylor 展开，不难验证此方程对于微分方程（ 3）的截断误差阶为 （ 2 +h2 ）。令r=c /h,则差分方程（ 4）可改写为 vjn1= r2 （ v1jn+v1jn） +2（ 1-r2 ） vjn-vjn1。 （ 5） 由于这是一个三层差分格式，为了使差分解的计算得以开始，需要先给出解 v 在初始两层网点上的初值 vj0和 vj1（ j=0， 1， 2， ），这可由初值条件（ 3）及其近似得到 vj0= (xj), vj1= vj0+ （ xj） , j=0， 1， 2， . (
14、6) 这样，以后各层（ n 2）网点上的差分解即可按递推公式（ 5）逐次的求出，因此称（ 5） （ 6）式为波动方程初值（ 2） （ 3）的古典显格式。 线面，先介绍波动方程解的依赖域的概念，然后再介绍如何运用它去分析差分格式的稳定性与收敛域。学过数学物理课程的知道，方程（ 2）的解 u(x,t)具有表达式（ d Alembert公式） u(x,t)= 21 （ x-ct） + （ x+ct） + c21 ctx ctx （ x） d (7) 由此表达式可以看出，初值问题的解 u在点（ x0， t0）， t00的值仅依赖于初值函数 （ x）和 （ x）在区间 x0-ct0,x0+ct0上的值，
15、我们称区间 x0-ct0,x0+ct0为波动方程（ 2）的解 u在点 （ x0， t0）的依赖域。另外，知道方程（ 2）的特征方程为 dx2 - c2 dt2 =0， （ 8） 此方程的积分曲线（这里是直线）称为特征线。不难看出，上述依赖域恰好就是过点（ x0，t0）的两条特征线与 x 轴交截而形成的闭区间 x0-ct0,x0+ct0。 依赖域的概念也可以推广到波动方程的差分解。为此，让我们考察古典显格式解在网点（ xj， tn）处的值 vjn。由递推公式（ 5）看到， vjn仅依赖于解在前一层上的三个值 v11jn， vjn1v11jn及 vjn2（它属于 n-2层），类似地又知这四个值仅依
16、赖于 v22jn， v12jn， vjn2， v12jn， v22jn， v13jn， vjn3， v13jn。 由此类推，即知 vjn仅仅依赖于初始层（ n=0）上的下列 v值 vnj0， v10nj， ,vj0， ,v10nj， vnj0. 于是，我们将 x轴上的区间 xnj， xnj定义作为差分解 v在网点（ xj， tn）上的依赖域。 利用上述依赖域的概念，可得出如下结论：一个双曲型方程的差分格式，仅当差分解的依赖域包含相应微分方程解的依赖域时，此格式才能具有稳定和收敛的性质。 根据上述准则，可以断定：古典显格式（ 5） （ 6）仅当网比 r=c /h 1 时才可具稳定和收敛的性质。因
17、为当 r1时，在（ xj， tn）点微分解的依赖域 xj-ctn， xj+ctn将大于差分解的依赖域 xnj， xnj。此时 xj-ctn和 xj+ctn将位于区间 xnj，xnj的外部。很明显，当修改区间（ xj-ctn， xnj）和（ xnj， xj+ctn）内的初值，此时微分解 u（ xj， tn）将发生变化。然而，由于差分解 vjn只依赖于区间 xnj，xnj上的初值，所以上述初值的修改不影响 vjn的数值。由此看出，若让 r（ 1）固定并令 h, 0，其时（ xj， tn）被视为求解区域内一固定点 ，如果差分格式收敛的话，那么 vjn势必收敛到不同的极限，这与收敛序列的极限是唯一的事
18、实矛盾。所以当 r=c /h1时，差分格式（ 5） （ 6）不可能是收敛的。 三、研究的方法与技术路线、研究难点，预期达到的目标 近似求解偏微分方程除了差分法之外，还有一类历史悠久的方法，通常称它为“变分方法”。这类方法的特点，是先将偏微分方程的定解问题转化成变分问题（某一泛函的极致问题），然后再近似求解相应的变分问题。 Ritz-Galerkin 方法，是人们最熟悉的近似求解变分问题的一种方法，它也是近 30 年来兴起的有限元方法的前身。由于有限元方法的广泛地流行在各科学与工程领域的科学计算中，目前发展称为求解偏微分方程的又一重要数值方法14-15。 四、论文详细工作进度和安排 计划进度 第
19、 7学期第 9周（ 2010年 11月 5号）至第 7学期第 19周（ 2011年 1月 10 号） 完成毕业论文文献检索、文献综述、外文文献翻译及开题报告。 第 7学期第 19周（ 2011年 1月 10号）至第 8学期第 3周（ 2011年 3月 11号） 完成毕业论文的数据收集、论文初稿 。 第 8学期第 3周（ 2011年 3月 11 号）至第 8学期第 11周（ 2011年 5月 3号） 1、进入实习单位进行毕业实习，对论文进行修改； 2、第 11 周（ 2011 年 5 月 3 日）前必须返校，完成毕业实习返校，并递交毕业实习报告，进一步完善毕业论文； 第 8学期第 14周（ 20
20、11年 5月 23号 2011年 5月 28号）完成第一轮毕业论文答辩； 第 8学期第 15周（ 2011年 5月 28号 2011年 6月 3号） 第一轮毕业论文答辩未通过的学生完成第二轮毕业论文答辩，并随机抽取部分完成较好地毕业论文进行校级答辩 五、主要参考文献 ： 1马逸尘，梅立泉，王阿霞 .偏微分方程现代数值方法 M. 北京：科学出版社， 2006. 2郭思旭 译 .O.A.奥列尼克 著 .偏微分方程讲义 M. 北京：高等教育出版社 2008.1. 3国外数学名著系列 .偏微分方程与数值方法 M.北京：科学出版社， 2006. 4 朱家生 .数学史 M. 北京：高等教育出版社， 200
21、1. 5 李文林 .数学史概论 M. 北京：高等教育出版社， 2000. 6王明新 .数学物理方程 M.北京 .清华大学出版社， 2005.8. 7吴小庆 .数学物 理方程及其应用 M.北京：科学出版社， 2008. 8 黄明游，刘播，徐涛 .数值计算方法 M.北京：科学出版社， 2006.1. 9孙志忠，袁慰平，闻震初 .数值分析 M.南京：东南大学出版社， 2002.1. 10王明新 .偏微分方程基本理论 M.北京：科学出版社， 2009. 11 徐长发，李红 .微分方程数值解法 M.第 2版 . 武汉：华中理工大学出版社， 2000. 12 David Gilbarg,Neil S.Trudinger. Elliptic partial Differential Equations of second orderM .Springer-Verlag,1977. 13谭永基，程晋，蔡志杰 译 .英 John Ockendon, Sam Howison, Andrew Lacey, Alexander Movchan.应用偏微分方程 M. 北京：科学出版社， 2008. 14姜礼尚，孔德兴，陈志浩 .应用偏微分方程讲义 M. 北京：高等教育出版社 2008.1. 15 郭本瑜 .偏微分方程的差分方法 M . 北京：科学出版社， 1988.2.
