222 偏微分方程的数学分类.pptVIP

2．多个自变量的二阶偏微分方程特征分类法 方程： 主部系数矩阵 A 寻找A的特征值： 分类方法 (i) A 的特征值λ中的任意一个为零，则方程为抛物型； (ii) A 的特征值λ全部非零并且同号，则方程为椭圆型； (iii) A 的特征值λ全部非零, 并且除了一个之外其余同号，则方程为双曲型。 3．偏微分方程组的特征分类方法 (1) 两个自变量的一阶方程组 两个函数的最简单情况： 矢量形式： 特征方程 即： 求出特征值： 分类方法 特征值λ为两个互异的实根，则方程组为双曲型 (2) 特征值λ为一个实根，则方程组为抛物型 (3) 特征值λ为两个共轭复根,则方程组为椭圆型 n个函数两个自变量一阶方程组 特征值为n个互异实根，则方程组为双曲型 (2) 特征值有m个互异实根，无复根，且 则方程组为抛物型 (3) 特征值无实根,则方程组为椭圆型 (4) 特征值一部分为实根，一部分为复根，则方程组为混合型 (2) 多个自变量的一阶方程组 a. 包含时、空自变量的一阶方程组 b. 只有空间自变量的一阶方程组 a. 包含时间、空间自变量的一阶方程组 方法：在(t,x), (t,y) 和 (t,z) 平面上分别考虑 例如 特征方程： b.只有空间自变量的一阶方程组 特征方程： 考察法向方向数： 固定 ，若 全复根，则方程组相对 y方向是椭圆型 (3) 含有部分二阶以上导数的偏微分方程组 实际问题基本上都含有二阶以上导数 一般做法：引入中间变量函数，化为包含有更多函数的一阶偏微分方程组，然后进行分类。特别注意：一阶方程组的系数矩阵不能等同以致使方程组奇异。 例2.4 二维稳态不可压Navier-Stokes方程 引入中间变量 6个函数 矩阵形式 特征方程 即： 取 ， 为虚数：方程组相对 y 方向为椭圆型 取 ， 为虚数：方程组相对 x 方向为椭圆型 4. 偏微分方程分类的 Fourier分析方法 又称为偏微分方程的符号(Symbol) 可适用于单个方程、方程组；可适用于高阶导数情况；并且不需要引入中间变量 Fourier变换 主要应用了Fourier变换的微分关系 a. 单个方程的情况 Fourier级数表达的解： 极限情况下用Fourier积分表达： Fourier 转换 系数： Fourier 转换： 微分特性： 微分关系 时空域 频率域 利用微分关系改写方程 时空域 频率域 频域方程特性 原方程的特征方程： Fourier分析方法应用于方程组情况 方程组存在非平凡解的条件是系数矩阵行列式为零 主部决定方程性质： 比较特征分类法： Fourier 分析法与特征分析法 Fourier 分析法与特征分析法殊途同归，可以得到一样的结论 Fourier 分析法相对简单，适用面广 Fourier 分析法在分析比较复杂的问题时更有优势 2.2.3 解的适定和定解条件 意 义 物理过程 = 控制方程 + 定解条件 定解条件关系到具体方程是否有解，其解是否可靠 定解条件：边界条件、初始条件 偏微分方程的适定性：指定解条件能使方程 解存在、解唯一、解稳定（即解连续地依赖它的初始或边界条件） 例2.5 给定边界条件下的二维 Laplace 方程 求解过程 分离变量： 利用定解条件： 此解在 y=0 附近有可能不连续： 原因分析 此方程分类？ 椭圆型方程要求提封闭边界上所有点的条件，尤其是无穷远处的边界条件！ 方程对定解条件的要求 平衡问题（椭圆型方程）：必须提封闭边界上每一点的边界条件，要特别小心“无穷远边界”上的条件 行进问题（抛物型、双曲型方程）：必须提初始条件（二阶偏微分方程需要有函数值、一阶导数值条件）； 空间无界定义域问题，有的可以不提无界边界上的条件，但有界定义域问题，一般需要规定一定的边界条件。 初始条件 时间或类时间导数为一阶：只要给出函数在全域的初始值； 时间或类时间导数为二阶：函数在全域的初始值，以及函数在全域对时间或类时间变量的一阶导数值 3类边界条件 Dirichlet 条件 Neumann 条件 Robin 条件 第一类边界条件（Dirichlet） 直接规定边界上的函数值（可以随时间或类时间变化） 第二类边界条件 （Neumann） 直接规定在边界上的函数导数值 热物理问题一般规定：热流值 在流入边界内部方向时为正 第三类边界条件 (Ro