微分方程及其定解条件等效积分.pptxVIP

微分方程及其定解条件、等效积分原理;这一部分里，我们将看到以下内容;几个典型的问题; 弦是一种抽象模型，工程实际中，可以模拟绳锁、 电缆等结构，如远距离输电线路、一些桥梁的悬索、拉 锁等；几何上可以用一条线段（不一定是直线段）来表 示弦。 这里所说的弦的振动是弦的微小横振动，一定长度 的、柔软、均匀的弦，两端拉紧，在垂直于弦线的外力下 做微小横振动，弦的运动发生在同一平面内，弦的各点位 移与平衡位置垂直;;这个微分方程虽然描述了弦振动时各点的运动状态， 但单纯依靠这个微分方程，我们还不能唯一确定弦的 振动，必须给出定解条件，定解条件主要有两种，一 种是初始时刻弦的运动状态，称为初始条件：;另外一种定解条件是边界条件，对于弦振动问题来说 给定弦的两个端点的运动规律，一般来说边界条件有 三种：;第三种边界条件是端点的位移和速度的线性组合是 一个已知函数，对于弦振动;以上是弦振动的数学模型，是由微分方程与相应的定 解条件（初值条件，边值条件）共同组成的，这一样 问题又称为混合初边问题。定解条件中只有初值条件 的问题称为初值问题。定解条件中只有边值条件的， 称为边值问题。;下面来看第二个典型问题：热传导问题;与弦振动问题类似，要想确定物体内部的温度场，除 了上面那个微分方程以外，还需要定解条件，定解条 件也包括两种：初值条件和边值条件;第一种：给定边界的温度;下面来看第三个典型问题：位势方程;再进一步，如果均匀物体中没有热源，稳态热传导方程 为;其中，在笛卡尔坐标系下：;从上面的算子表达式，再回忆我们学过的高等数学的 知识，哈密顿算子运算的结果，是一个标量场的梯度 是一个向量场，而反过来说，如果一个向量场是一个 标量场的梯度，这个向量场称为有势场，这个标量场 称为有势场的位势场或位势函数;现在我们来看位势方程的定解条件。由于待求变量与 时间无关，不需要初值条件因此位势方程的定解条件 类似三维热传导方程的三种边界条件，;现在我们来回顾一下刚才介绍的几个微分方程;第一个微分方程，方程两边微分的最高阶数都是2，如 果做移项整理;再看第二个方程，现在加上物体均匀，为了几何上更 直观这个方程可以，我们写出一维的情况;最后再看位势方程，为了几何直观，我们写成二维的 情况;微分方程主要就分为这三个类型：抛物型；双曲型；椭 圆型;现在来总结一下边界条件，我们看到，在以上的三个 典型问题的微分方程中，给定的边界条件都有三种：;我们总结一下这一小节的内容;思考题：;拓展;例如，在一个平面区域内的拉普拉斯方程;可以用向量符号来表示待求解函数、微分方程组和边界 条件;例如，在一个平面区域内的拉普拉斯方程;了解微分方程的抽象数学表达对理论研究是很有帮助的， 因为在研究微分方程的一般性质或推导一些微分方程的 一般规律时，我们不可能对每个微分方程都推导一遍，这 时抽象表达是 就发挥重要作用了。下面我们就将见到一种 微分方程的普遍规律或者说普遍的变换形式——等效积分 形式;虽然是要推导一个普遍规律，但为了便于说明，我们还 是从一个简单的特例出发，这个特列就是刚才提到的二 维拉普拉斯方程及其边界条件;这个二维拉普拉斯方程的求解域是一个平面区域;设想把求解域划分成若干个小区域，也就是说求解域的 面积等于这些小区域面积和;现在我们把它对所有小区域求和;上面的积分式成立根本原因是拉普拉斯方程及其边界 条件成立，拉普拉斯方程从以下这个角度看待;这个方程与拉普拉斯方程及其边界条件是等效的，也就 是说，只要拉普拉斯方程成立这个积分式就成立，反过 来只要这个积分式成立，拉普拉斯方程及其边界条件就 成立。这就是拉普拉斯方程及其边界条件的等效积分形 式。我们可以把它推广到一般情况。;现在，我们来看一般的微分方程组的情况，之前曾 介绍过，微分方程组及其边界条件可以表示为：;对于边界条件也一样，只是积分是沿边界积分;这就是微分方程组等效积分形式的一般式，它与原微分 方程完全等效，就像之前以拉普拉斯方程为例进行讨论 的情况一样。微分方程（组）的等效积分形式，是有限 元方法的理论基础之一，推导有限元求解方程的方法之 一就是从微分方程（组）的等效积分出发，由于与原微 分方程的等效性，从而保证了有限元求解的正确性。;上面分析中对等效积分中使用的任意函数以及微分 方程的解的性质没有做出任何限定，事实上，对它 们是有一定限制的，那就是它们应该使得等效积分 式中的被积函数具有可积性或者说使积分能够进行 计算;要达到这个目的，就要对 做出一些限制;微分方程的最高阶数对待求解提出了要求，但这种要求 有时过于苛刻，例如下面这个微分方程：;从微分方程等效积分形式出发，如果要降低等效积分 中微分方程的阶数要怎么办呢？;我们用一个一维问题的微分方程来说明这个问题。一个 微分方程;经过这样的