几类积分微分方程解法-计算数学专业论文.docxVIP

武汉科技 武汉科技大学 硕士学位论文 第 PAGE 10 页 第一章 绪 论 1. 1 问题的提出 1951 年，孙泽瀛在《数学学报》上发表《论一组偏微分方程式之精简形式》，利用几 何中的仿密切空间、仿正常空间和仿弗伦勒公式，探讨如何用代数步骤求得一组偏微分方 程式的精简形式，并获得了方程式的可积条件和系数的几何意义。 1956 年，陈传璋讨论了一种形式的核的因子分解问题。1957 年，陈传璋证明线性积 分方程中的核 K (x, y) ??L2 为正规核的一个必要与充分条件。同时，他证明正规核的特征值 的存在。 同期，黄育仁在《数学进展》上发表《第一种弗列顿荷蒙积分方程的逐次迫近法》， 利用核 K 2 (x, s) 的特征值为正的性质，对非正定的核 K (x, s) 做出了具有对称平方可积与正 定的核 K (x, s) 的积分方程的解的近似迫近公式，并证明由迫近公式决定的函数平均收敛于 方程的解。 1983 年和 1984 年，侯宗义运用Соболев的嵌入方法，研究非线性 Freehold 积分方 程组，并推广了这种方法。 1984 年，徐振远的《带解析系数的二维奇异积分方程》（《数学年刊》）一文，研究 了二维奇异积分方程和它的共轭奇异积分方程，建立这种方程的解的表达式，而且找出了 这些方程可解的充分必要条件。 1989 年，谢为安引进了两个复应力函数，从数学理论分析出发，把有限弹性平面裂纹 系的一般问题，归结为求解一类奇异积分方程问题。 同年，程晋对第一类 Freehold 积分方程的近似求解问题，讨论了一种改进的Τиохнов正 则化方法，在正则参数的适当选取下，给出正则化解的收敛阶估计，并讨论了与此相关的 几个问题。 1997 年，冯录祥等学者讨论了多种类型的 Riccati 方程的通积分，给出了求解条件 和相关条件的通解形式。 2003 年，张学元讨论了将非线性微分方程经过函数变换转化为一阶的线性微分方程 的充要条件，从而将此类方程转化为伯努利（Bernoulli）方程来求解的崭新思路。 微分方程研究的来源极广，历史久远。I.牛顿和 G.W.莱布尼茨创造微分和积分 运算时，指出了它们的互逆性，事实上这是解决了最简单的微分方程的求解问题。当 人们用微积分学去研究几何学、力学、物理学所提出的问题时，微分方程就大量地涌 现出来。20 世纪以来，随着大量的边缘科学诸如电磁流体力学、化学流体力学、动 力气象学、海洋动力学、地下水动力学等等的产生和发展，也出现不少新型的微分方 程（特别是方程组）。70 年代随着数学向化学和生物学的渗透，出现了大量的反应扩 散方程。从“求通解”到“求解定解问题” 数学家们首先发现微分方程有无穷个解。 常微分方程的解会含有一个或多个任意常数，其个数就是方程的阶数。偏微分方程的 解会含有一个或多个任意函数，其个数随方程的阶数而定。命方程的解含有的任意元 素（即任意常数或任意函数）作尽可能的变化，人们就可能得到方程所有的解，于是 数学家 就把这种含有任 意元素的解称为 “通解” 。在很长一段时 间里，人们致力 于 “求通解”。但是以下三种原因使得这种“求通解”的努力，逐渐被放弃。 第一，能求得通解的方程显然是很少的。在常微分方程方面，一阶方程中可求 得通解的，除了线性方程、可分离变量方程和用特殊方法变成这两种方程的方程之外， 为数是很小的。如果把求通解看作求微商及消去法的某一类逆运算，那么，也和熟知 的逆运算一样，它是带试探性而没有一定的规则的，甚至有时是不可能的（J.刘维尔 首先证明黎卡提方程不可能求出通解），何况这种通解也是随着其自由度的增多而增 加其求解的难度的。 第二，当人们要明确通解的意义的时候（在 19 世纪初叶分析奠基时期显然会考 虑到此问题）就会碰到严重的含糊不清之处，达布在他的教学中经常提醒大家注意这 些困难。这主要发生在偏微分方程的研究中。 第三，微分方程在物理学、力学中的重要应用，不在于求方程的任一解，而是 求满足某些补充条件的解。A.-L.柯西认为这是放弃“求通解”的最重要的和决定性 的原因。这些补充条件即定解条件。求方程满足定解条件的解，称之为求解定解问题。 一个方程或方程组的定解问题一旦提出，就产生下列三个问题。 ①存在性问题，即这个定解问题是否有解。 ②唯一性问题,即其解是否唯一。 ③连续依赖性问题,即解是否连续依赖于数据，亦即是否是数据的某阶连续泛函。 若定解问题的解是存在的、唯一的、连续依赖于数据的，则这个定解问题称为适定的。 对它就可以进行计算。一般而言，只有适定问题计算才有意义。这样，微分方程的研究成 果才能为实际所应用。 如果对上述三个问题的回答有一个是否定的，这个定解问题就称为不适定的。一般， 不适定问题