偏微分方程的数学特性

被控过程的数学模型

第5章思考题与习题 5-1 什么是被控过程的数学模型 解答: 被控过程的数学模型是描述被控过程在输入(控制输入与扰动输入)作用下,其状态和输出(被控参数)变化的数学表达式。 5-2 建立被控过程数学模型的目的是什么过程控制对数学模型有什么要求解答: 1)目的:○1设计过程控制系统及整定控制参数; ○2指导生产工艺及其设备的设计与操作; ○3对被控过程进行仿真研究; ○4培训运行操作人员; ○5工业过程的故障检测与诊断。 2)要求:总的原则一是尽量简单,二是正确可靠。阶次一般不高于三阶,大量采用具有纯滞后的一阶和二阶模型,最常用的是带纯滞后的一阶形式。 5-3 建立被控过程数学模型的方法有哪些各有什么要求和局限性解答:P127 1)方法:机理法和测试法。 2)机理法: 测试法: 5-4 什么是流入量什么是流出量它们与控制系统的输入、输出信号有什么区别与联系 解答: 1)流入量:把被控过程看作一个独立的隔离体,从外部流入被控过程的物质或能量流量称为流入量。 流出量:从被控过程流出的物质或能量流量称为流出量。 2)区别与联系: 控制系统的输入量:控制变量和扰动变量。 控制系统的输出变量:系统的被控参数。

5-5 机理法建模一般适用于什么场合 解答:P128 对被控过程的工作机理非常熟悉,被控参数与控制变量的变化都与物质和能量的流动与转换有密切关系。 5-6 什么是自衡特性具有自衡特性被控过程的系统框图有什么特点 解答: 1)在扰动作用破坏其平衡工况后,被控过程在没有外部干预的情况下自动恢复平衡的特性,称为自衡特性。 2)被控过程输出对扰动存在负反馈。 5-7 什么是单容过程和多容过程 解答: 1)单容:只有一个储蓄容量。 2)多容:有一个以上储蓄容量。 5-8 什么是过程的滞后特性滞后又哪几种产生的原因是什么 解答: 1)滞后特性:过程对于扰动的响应在时间上的滞后。 2)容量滞后:多容过程对于扰动的响应在时间上的这种延迟被称为容量滞 后。 纯滞后:在生产过程中还经常遇到由(物料、能量、信号)传输延迟引 起的纯滞后。 5-9 对图5-40所示的液位过程,输入量为1Q ,流出量为2Q 、3Q ,液位h 为被控参数,水箱截面为A ,并设2R 、3R 为线性液阻。 (1)列写液位过程的微分方程组; (2)画出液位过程的框图; (3)求出传递函数)()(1s Q s H ,并写出放大倍数K 和时间常数T 的表达式。 解答:

偏微分方程理论的归纳与总结

偏微分方程基本理论的归纳与总结 偏微分方程是储存自然信息的载体,自然现象的深层次性质可以通过数学手段从方程中推导出来.最为一种语言,微分方程在表达自然定律方面比文字具有更强的优越性.微分方程是一个庞大的体系,它的基本问题就是解的存在性和唯一性.该学科的主要特征是不存在一种可以统一处理大多数偏微分方程的适定性问题的普适的方法和理论.这是与常微分方程有显著差异的地方.这种特性使得我们将方程分为许多种不同类型,这种分类的依据主要来自数学与自然现象这两个方面.从数学的角度,方程的类型一般总是对应于一些普遍的理论和工具.换句话讲,如果能建立一个普遍性的方法统一处理一大类方程问题,那么这个类型就被划分出来.而从自然现象的角度,我们又可以根据不同的运动类型以及性质将方程进行分类.当然这两种方式常常不能截然区分,通常它们是相互关联的,这就造成方程的概念有许多重叠现象. 根据数学的特征,偏微分方程主要被分为五大类,它们是: (1)线性与拟微分方程,研究这类方程的主要工具是Fourier分析方法; (2)椭圆型方程,它的方法是先验估计+泛函分析手段; (3)抛物型方程,主要是Galerkin方法,算子半群,及正则性估计; (4)双曲型方程,对应于Galerkin方法; (5)一阶偏微分方程,主要工具是数学分析方法. 从自然界的运动类型出发,偏微分方程可分为如下几大类: (1)稳态方程(非时间演化方程); (2)耗散型演化方程,这类方程描述了时间演化过程中伴有能量损耗与补充的自然运动.相变与混沌是它们的主要内容; (3)保守系统,如具有势能的波方程.该系统控制的运动是与外界隔离的,及无能量输入,也无能量损耗.行波现象与周期运动是它们的主要特征; (4)守恒律系统,这类方程是一阶偏微分方程组,它们与保守系统具有类似的性质,可视为物质流的守恒.激波行为是由守恒律系统来控制. 下面具体来介绍三类经典方程: 三类典型方程:椭圆型方程,抛物型方程,双曲型方程,即偏微分方程模型的建立,解问题的解法以及三类典型方程的基本理论. 关于三类典型方程定解问题的解题方法,它们主要是分离变量法、积分变换法、特征线法、球面平均法、降维法和Green 函数方法. 关于三类典型方程的基本理论——极值原理和能量估计,并由此给出了解的唯一性和稳定性的相关结论. 具体来说,关于二阶线性椭圆形方程,我们研究它的古典解和弱解.前者主要介绍了基本解、调和函数的基本性质、Green 函数、极值原理、最大模估计、能量方法和变分原理;而后者的研究则需要知道Sobolev空间的相关知识再加以研究;关于二阶线性抛物型方程,主要研究它的Fourier 变换、特殊的求解方法、基本解、方程式和方程组的最大值原理以及最大模估计、带有非经典边界条件和非局部项的方程式的最大值原理及能量方法;关于二阶线性双曲型方程,主要研究初值问题的求解方法、初值问题的能量不等式与解的适定性、以及混合问题的能量模估计与解的适定性. 椭圆、抛物和双曲这三类线性偏微分方程解的适定性问题,它们分别以拉普拉斯方程、热传导方程和波动方程作为代表.具体地说,对于某些规则的求解区域试图求出满足特定线性偏微分方程和定解条件的具体解,这就决定了存在性问题;再利用方程本身所具有的特殊性质,将证明所求解是唯一的,也就解决了唯一性问题;关于连续依赖性问题,需要在不同函数空

建立数学模型的方法步骤特点及分类

§16.3 建立数学模型的方法、步骤、特点及分类 [学习目标] 1.能表述建立数学模型的方法、步骤; 2.能表述建立数学模型的逼真性、可行性、渐进性、强健性、可转移性、非预制性、条理 性、技艺性和局限性等特点;; 3.能表述数学建模的分类; 4.会采用灵活的表述方法建立数学模型; 5.培养建模的想象力和洞察力。 一、建立数学模型的方法和步骤 —般说来建立数学模型的方法大体上可分为两大类、一类是机理分析方法,一类是测试分析方法.机理分析是根据对现实对象特性的认识、分析其因果关系,找出反映内部机理的规律,建立的模型常有明确的物理或现实意义.§16.2节的示例都属于机理分析方法。测试分折将研究对象视为一个“黑箱”系统,内部机理无法直接寻求,可以测量系统的输人输出数据、并以此为基础运用统计分析方法,按照事先确定的准则在某一类模型中选出一个与数据拟合得最好的模型。这种方法称为系统辨识(System Identification).将这两种方法结合起来也是常用的建模方法。即用机理分析建立模型的结构,用系统辨识确定模型的参数. 可以看出,用上面的哪一类方法建模主要是根据我们对研究对象的了解程度和建模目的决定的.如果掌握了机理方面的一定知识,模型也要求具有反映内部特性的物理意义。那么应该以机理分析方法为主.当然,若需要模型参数的具体数值,还可以用系统辨识或其他统计方法得到.如果对象的内部机理基本上没掌握,模型也不用于分析内部特性,譬如仅用来做输出预报,则可以系统辩识方法为主.系统辨识是一门专门学科,需要一定的控制理论和随机过程方面的知识.以下所谓建模方法只指机理分析。 建模要经过哪些步骤并没有一定的模式,通常与实际问题的性质、建模的目的等有关,从§16.2节的几个例子也可以看出这点.下面给出建模的—般步骤,如图16-5所示. 图16-5 建模步骤示意图 模型准备首先要了解问题的实际背景,明确建模的目的搜集建模必需的各种信息如现象、数据等,尽量弄清对象的特征,由此初步确定用哪一类模型,总之是做好建模的准备工作.情况明才能方法对,这一步一定不能忽视,碰到问题要虚心向从事实际工作的同志请教,尽量掌握第一手资料. 模型假设根据对象的特征和建模的目的,对问题进行必要的、合理的简化,用精确的语言做出假设,可以说是建模的关键一步.一般地说,一个实际问题不经过简化假设就很难翻译成数学问题,即使可能,也很难求解.不同的简化假设会得到不同的模型.假设作得不合理或过份

偏微分方程与特征线

偏微分方程与特征线 1函数空间的矢量场 给定一个矢量场i x i v ?=)(x v ,就在空间定义了曲线簇。比如,经过0x 点的积分曲线就可以描述为下列常微分方程的初值问题 )(x i i v x = ,n i ,...,1= 0)0(x x = 这些积分曲线就构成了曲线簇。如果形式地写出这个曲线来就是 x vt x t v t v vt t x t x t x x t x )exp(...)! 3!21(...!3!2)(33223 2=++++=++++= 此处x 是0时刻位置,v 是作用于x 的微分算符。 这些曲线,将空间点分成了类,也就是说每条曲线上的点属于一类。曲线集合的维数是n-1维。 矢量场的可积性 那么给定两个矢量场,就会产生两簇曲线,这两簇曲线能否组成面簇呢?我们先 看看从一点出发的曲线是否在一个曲面上的条件:从x 点出发的依此沿两簇直线运动的点若能回到来,就可以认为可以组成面。即 x x vd uc vb ua =)exp()exp()exp()(exp 如果a,b,c,d 都是1级以上的小量,这个表达式有二级以上的精度,就可以找到这样的a,b,c,d,使得方程精确满足。 按照各级展开,有 一级 0a 1111=+=+d b c 二级 v d b u c a vu uv b a )()()(222211+++=- … 由此,得到条件 v u vu uv v u βα+=-=],[

这就是两个矢量能够构成2维子空间(曲面)的条件,著名的Frobenius 定理。 n 个矢量积分形成n 维积分只空间的条件是,任意两个矢量的对易可以写成这n 个矢量组合。 可以按照下图进行直观理解 给定m 个矢量场,他们线性组合能够形成新的矢量场。组成的矢量场空间一般称为分布。 },{是任意函数i i i i a v a ∑=? 这个分布中任意两个矢量场对易仍然在这个分布之内,这样满足Frobenius 定理的分布称为闭分布, ????],[ 他们积分可以给出m 维积分子流形。 单参数李群 一个矢量场可以构造单参数李群,一个闭分布可以构造李群。 我们先看一下单参数李群的表现,它将1维参数空间(物理上经常是时间),映射为群空间。群元素可以形式地写为算符形式 )exp(vt g t = 在表示空间中也可以写为函数变换 ),(t x x g t ?= 这个函数变换是常微分方程的初值问题的解 x x t x v t x t ==?)0,() ,(),(??? 当然这个函数满足如下关系

过程特性与数学模型

第四章过程特性与数学模型 教学要求:了解过程特性的类型的四种类型 掌握描述过程特性的参数的物理意义及对控制通道、扰动通道的影响 学会一阶对象、二阶对象的建模 掌握机理分析法建模的一般步骤 了解实验测试法 重点:描述过程特性的参数的物理意义及对控制通道、扰动通道的影响 运用机理分析法建模 难点:时间常数的物理意义 过程特性的参数对控制通道、扰动通道的影响 过程控制系统的品质是由组成系统的各个环节的结构及其特性所决定。过程即为被控对象,它是否易于控制,对整个系统的运行情况有很大影响。 §4.1过程特性 被控过程的种类常见的有:换热器、锅炉、精馏塔、化学反应器、贮液槽罐、加热炉 等。这些被控过程的特性是由工艺生产过程和工艺设备决 定的。 被控过程特性-----指被控过程输入量发生变化时,过程输出量的变化规律。通道------被控过程的输入量与输出量之间的信号联系 控制通道-----操纵变量至被控变量的信号联系 扰动通道-----扰动变量至操纵变量的信号联系 一、过程特性的类型 多数工业过程的特性可分为下列四种类型: 1.自衡的非振荡过程 2. 无自衡的非振荡过程 3. 有自衡的振荡过程 4. 具有反向特性的过程 二、描述过程特性的参数 用放大系数K、时间常数T、滞后时间τ三个物理量来定量的表示过程特性。(主要针对自衡的非振荡过程) 1.放大系数K ⑴K的物理意义 K的物理意义:如果有一定的输入变化量ΔQ作用于过程,通过过程后被放大了K倍,变为输出变化量ΔW。

⑵放大系数K对系统的影响 对控制通道的影响 对扰动通道的影响 2. 时间常数T ⑴时间常数T的物理意义 时间常数是被控过程的一个重要的动态参数,用来表征被控变量的快慢程度。 时间常数T的物理意义还可以理解为:当过程受到阶跃输入作用后,被控变量保持初始速度变化,达到新的稳态值所需要的时间就是时间常数T。 ⑵时间常数T对系统的影响 对控制通道的影响 对扰动通道的影响 3. 滞后时间τ ⑴纯滞后τ0(P142) ⑵容量滞后τn ⑶滞后时间τ对系统的影响 对控制通道的影响 对扰动通道的影响 §4.2 过程数学模型的建立 过程的(动态)数学模型---是指表示过程的输出变量与输入变量间动态关系的数学描 述。 过程的输入是控制作用u(t)或扰动作用f(t), 输出是被控变量y(t). 数学模型:非参数模型,即用曲性或数据表格来表示,如阶跃响应曲线、脉冲响应曲线 和频率特性曲线;另一种是 参数模型,即用数学方程式来表示,如微分方程(差分方程)、传递函数、 状态空间表达式等。本节所涉及的模型均为用微分方程描述的 线性定常动态模型。 建立数学模型的基本方法 机理分析法-----通过对过程内部运动机理的分析,根据其物理或化学变化规律, 在忽略一些次要因素或做出一些近似处理后得到过程特性方 程,用微分方程或代数方程。这种方法完全依赖于足够的先验 知识,所得到的模型称为机理模型。机理分析法一般只能用于 简单过程的建模。机理分析法 实验测试法-----由过程的输入输出数据确定模型的结构和参数。 4.2.1机理分析法 微分方程建立的步骤归纳如下: ⑴根据实际工作情况和生产过程要求,确定过程的输入变量和输出变量。 ⑵依据过程的内在机理,利用适当的定理定律,建立原始方程式。 ⑶确定原始方程式中的中间变量,列写中间变量与其他因素之间的关系。 ⑷消除中间变量,即得到输入、输出变量的微分方程。 ⑸若微分方程是非线性的,需要进行线性化处理。

过程控制系统第2章对象特性习题与解答

过程控制系统第二章(对象特性)习题 2-1.什么是被控过程的数学模型 2-1解答: 被控过程的数学模型是描述被控过程在输入(控制输入与扰动输入)作用下,其状态和输出(被控参数)变化的数学表达式。 2-2.建立被控过程数学模型的目的是什么过程控制对数学模型有什么要求 2-2解答: 1)目的:○1设计过程控制系统及整定控制参数; ○2指导生产工艺及其设备的设计与操作; ○3对被控过程进行仿真研究; ○4培训运行操作人员; ○5工业过程的故障检测与诊断。 2)要求:总的原则一是尽量简单,二是正确可靠。阶次一般不高于三阶,大量采用具有纯滞后的一阶和二阶模型,最常用的是带纯滞后的一阶形式。 2-2.简述建立对象的数学模型两种主要方法。 2-2解答: 一是机理分析法。机理分析法是通过对对象内部运动机理的分析,根据对象中物理或化学变化的规律(比如三大守恒定律等),在忽略一些次要因素或做出一些近似处理后推导出的对象特性方程。通过这种方法得到的数学模型称之为机理模型,它们的表现形式往往是微分方程或代数方程。 二是实验测取法。实验测取法是在所要研究的对象上,人为施加一定的输入作用,然后,用仪器测取并记录表征对象特性的物理量随时间变化的规律,即得到一系列实验数据或实验曲线。然后对这些数据或曲线进行必要的数据处理,求取对象的特性参数,进而得到对象的数学模型。 5-12 何为测试法建模它有什么特点 2-3解答: 1)是根据工业过程输入、输出的实测数据进行某种数学处理后得到数学模型。

2)可以在不十分清楚内部机理的情况下,把被研究的对象视为一个黑匣子,完全通过外部测试来描述它的特性。 2-3.描述简单对象特性的参数有哪些各有何物理意义 2-3解答: 描述对象特性的参数分别是放大系数K 、时间常数T 、滞后时间τ。 放大系数K 放大系数K 在数值上等于对象处于稳定状态时输出的变化量与输入的变 化量之比,即 输入的变化量 输出的变化量=K 由于放大系数K 反映的是对象处于稳定状态下的输出和输入之间的关系,所以放大系数是描述对象静态特性的参数。 时间常数T 时间常数是指当对象受到阶跃输入作用后,被控变量如果保持初始速度变 化,达到新的稳态值所需的时间。或当对象受到阶跃输入作用后,被控变量达到新的稳态值的63.2%所需时间。 时间常数T 是反映被控变量变化快慢的参数,因此它是对象的一个重要的动态参数。 滞后时间τ滞后时间τ是纯滞后时间0τ和容量滞后c τ的总和。 输出变量的变化落后于输入变量变化的时间称为纯滞后时间,纯滞后的产生一般是由于介质的输送或热的传递需要一段时间引起的。容量滞后一般是因为物料或能量的传递需要通过一定的阻力而引起的。 滞后时间τ也是反映对象动态特性的重要参数。 5-6 什么是自衡特性具有自衡特性被控过程的系统框图有什么特点 2-3解答: 1)在扰动作用破坏其平衡工况后,被控过程在没有外部干预的情况下自动恢复平衡的特性,称为自衡特性。 2)被控过程输出对扰动存在负反馈。

(高等数学) 偏微分方程

第十四章 偏微分方程 物理、力学、工程技术和其他自然科学经常提出大量的偏微分方程问题.由于实践的需要和一些数学学科(如泛函分析,计算技术)的发展,促进了偏微分方程理论的发展,使它形成一门内容十分丰富的数学学科. 本章主要介绍一阶偏微分方程、线性方程组及二阶线性偏微分方程的理论.在二阶方程中,叙述了极值原理、能量积分及惟一性定理.阐明了一些解的性质和物理意义,介绍典型椭圆型、双曲型、抛物型方程的常用解法:分离变量法,基本解,格林方法,黎曼方法,势位方法及积分变换法.最后,扼要地介绍了有实用意义的数值解法:差分方法和变分方法. §1 偏微分方程的一般概念与定解问题 [偏微分方程及其阶数] 一个包含未知函数的偏导数的等式称为偏微分方程.如果等式不止一个,就称为偏微分方程组.出现在方程或方程组中的最高阶偏导数的阶数称为方程或方程组的阶数. [方程的解与积分曲面] 设函数u 在区域D 内具有方程中所出现的各阶的连续偏导数,如果将u 代入方程后,能使它在区域D 内成为恒等式,就称u 为方程在区域D 中的解,或称正规解. ),,,(21n x x x u u = 在n +1维空间),,,,(21n x x x u 中是一曲面,称它为方程的积分曲面. [齐次线性偏微分方程与非齐次线性偏微分方程] 对于未知函数和它的各阶偏导数都是线性的方程称为线性偏微分方程.如 ()()()()y x f u y x c y u y x b x u y x a ,,,,=+??+?? 就是线性方程.在线性方程中,不含未知函数及其偏导数的项称为自由项,如上式的f (x,y ).若自由项不为零,称方程为非齐次的.若自由项为零,则称方程为齐次的. [拟线性方程与半线性方程] 如果一个方程,对于未知函数的最高阶偏导数是线性的,称它为拟线性方程.如 ()()()()()()0,,,,,,,,,,,,22222122211=+??+??+??+???+??u y x c y u u y x b x u u y x a y u u y x a y x u u y x a x u u y x a 就是拟线性方程,在拟线性方程中,由最高阶偏导数所组成的部分称为方程的主部.上面方程的主部为 ()()()22222122211,,,,,,y u u y x a y x u u y x a x u u y x a ??+???+?? 如果方程的主部的各项系数不含未知函数,就称它为半线性方程.如 ()()()()0,,,,,,2222=??+??+??+??y y u y x d x y u y x c y u y x b x u y x a 就是半线性方程. [非线性方程] 不是线性也不是拟线性的方程称为非线性方程.如 1)()1(222=??+??+y u x u u 就是一阶非线性偏微分方程. [定解条件] 给定一个方程,一般只能描写某种运动的一般规律,还不能确定具体的运动状态,所以把这个方程称为泛定方程.如果附加一些条件(如已知开始运动的情况或在边界上受到外界的约束)后,就能完全确定具体运动状态,称这样的条件为定解条件.表示开始情况的附加条件称为初始条件,表示在边界上受到约束的条件称为边界条件. [定解问题] 给定了泛定方程(在区域D 内)和相应的定解条件的数学物理问题称为定解问题.根据不同定解条件,定解问题分为三类.

一阶线性偏微分方程

第七章 一阶线性偏微分方程 研究对象 一阶线性齐次偏微分方程 0),,,(),,,() ,,,(2122121211=??++??+??n n n n n x u x x x X x u x x x X x u x x x X 1基本概念 1) 一阶线性齐次偏微分方程 形如 0),,,(),,,(),,,(2122121211=??++??+??n n n n n x u x x x X x u x x x X x u x x x X (7.1) 的方程,称为一阶线性齐次偏微分方程,其中n x x x ,,,21 是自变量,u 是n x x x ,,,21 的未知函数,n X X X ,,,21 是域n R D ?内的已知函数,并设n X X X ,,,21 在域D 内不同时为零。 2) 一阶拟线性偏微分方程 形如 );,,,();,,,();,,,(21211211z x x x Z x z z x x x Y x z z x x x Y n n n n n =??++?? (7.2) 的方程,称为一阶拟线性偏微分方程,其中Z Y Y Y n ;,,,21 是1+n 个变元z x x x n ;,,,21 的已知函数。n Y Y Y ,,,21 在其定义域1+?'n R D 内不同时为零。 所谓“拟线性”是指方程仅对未知函数的各个一阶偏导数是线性的,以下总设n Y Y Y ,,,21 和Z 在域D '内连续可微。 3) 特征方程组 常微分方程组 n n X dx X dx X dx === 2211 (7.3) 称为一阶线性齐次偏微分方程(7.1)的特征方程组。 常微分方程组

建立数学模型方法步骤特点及分类

建立数学模型的方法、步骤、特点及分类 [学习目标] 1.能表述建立数学模型的方法、步骤; 2.能表述建立数学模型的逼真性、可行性、渐进性、强健性、可转移性、非 预制性、条理性、技艺性和局限性等特点;; 3.能表述数学建模的分类; 4.会采用灵活的表述方法建立数学模型; 5.培养建模的想象力和洞察力。 一、建立数学模型的方法和步骤 —般说来建立数学模型的方法大体上可分为两大类、一类是机理分析方法,一类是测试分析方法.机理分析是根据对现实对象特性的认识、分析其因果关系,找出反映内部机理的规律,建立的模型常有明确的物理或现实意义.测试分折将研究对象视为一个“黑箱”系统,内部机理无法直接寻求,可以测量系统的输人输出数据、并以此为基础运用统计分析方法,按照事先确定的准则在某一类模型中选出一个与数据拟合得最好的模型。这种方法称为系统辨识(System Identification).将这两种方法结合起来也是常用的建模方法。即用机理分析建立模型的结构,用系统辨识确定模型的参数. 可以看出,用上面的哪一类方法建模主要是根据我们对研究对象的了解程度和建模目的决定的.如果掌握了机理方面的一定知识,模型也要求具有反映内部特性的物理意义。那么应该以机理分析方法为主.当然,若需要模型参数的具体数值,还可以用系统辨识或其他统计方法得到.如果对象的内部机理基本上没掌握,模型也不用于分析内部特性,譬如仅用来做输出预报,则可以系统辩识方法

为主.系统辨识是一门专门学科,需要一定的控制理论和随机过程方面的知识.以下所谓建模方法只指机理分析。 建模要经过哪些步骤并没有一定的模式,通常与实际问题的性质、建模的目的等有关,从 §16.2节的几个例子也可以看出这点.下面给出建模的—般步骤,如图16-5所示. 图16-5 建模步骤示意图 模型准备首先要了解问题的实际背景,明确建模的目的搜集建模必需的各种信息如现象、数据等,尽量弄清对象的特征,由此初步确定用哪一类模型,总之是做好建模的准备工作.情况明才能方法对,这一步一定不能忽视,碰到问题要虚心向从事实际工作的同志请教,尽量掌握第一手资料. 模型假设根据对象的特征和建模的目的,对问题进行必要的、合理的简化,用精确的语言做出假设,可以说是建模的关键一步.一般地说,一个实际问题不经过简化假设就很难翻译成数学问题,即使可能,也很难求解.不同的简化假设会得到不同的模型.假设作得不合理或过份简单,会导致模型失败或部分失败,于是应该修改和补充假设;假设作得过分详细,试图把复杂对象的各方面因素都考虑进去,可能使你很难甚至无法继续下一步的工作.通常,作假设的依据,一是出于对问题内在规律的认识,二是来自对数据或现象的分析,也可以是二者的综合.作假设时既要运用与问题相关的物理、化学、生物、经济等方面的知识,又要充分发挥想象力、洞察力和判断力,善于辨别问题的主次,果断地抓住主要因素,舍弃次要因素,尽量将问题线性化、均匀化.经验在这里也常起重要作用.写出假设时,语言要精确,就象做习题时写出已知条件那样.

偏微分方程课程大纲

《偏微分方程》课程大纲 一、课程简介 教学目标: “偏微分方程”是重要的数学基础课程,它在数学的其它分支和自然科学与工程技术中的广泛应用是众所周知的。本课程将尽可能地结合物理背景,系统地对几类典型方程数学结构、求解方法、解的性质以及物理意义进行详细阐述,为学生日后的学习和工作打下坚实的基础,提供强有力的工具,并为进一步了解和应用现代偏微分方程的有关内容提供重要帮助。 主要内容: 1. 了解几类典型方程及其定解条件的物理背景 2.掌握方程的分类及其化简方法 3. 熟练掌握各类方程的求解方法(包括具有普适性的方法,如分离变量法,Fourier变换法和 Green函数法等,以及针对某类方程的特定方法,如特征线法) 4. 会用一些基本方法(如能量积分法、极值原理等)讨论解的性质并掌握解的重要性质 二、教学内容(其中带*的部分可能随堂调整) 第一章引论 主要内容: 1、偏微分方程简介 a)偏微分方程的历史、现状和用途 b)什么是偏微分方程?介绍有关偏微分方程基本概念和研究内容 c)例子:简单而多样的例子帮助学生初步了解偏微分方程 2、二阶线性偏微分方程的分类和特征理论 a)两个自变量的二阶线性偏微分方程的分类与化简,椭圆型、双曲型和抛物型的 标准形式与典型例子,混合型方程 b)多个自变量的二阶线性偏微分方程方程的分类及其例子 c)二阶线性方程的特征理论* 3、四类典型方程的数学模型:包括波动方程、热传导方程、调和方程、和一阶方程 4、其他预备知识:线性方程的叠加原理、Sturm-Liouville原理* 重点与难点:通过化标准型将二阶方程进行分类、特征的概念(这是偏微分方程中最基本也是最重要的概念)、各类方程及其定解条件的物理意义 第二章波动方程 主要内容: 1、弦振动方程Cauchy问题的存在性:D’Alembert求解公式,传播波,依赖区域、决 定区域和影响区域,特征线法(行波法)的其他应用和例子,Duhamel齐次化原理 及其物理解释 2、弦振动方程初边值问题的存在性:分离变量法求解齐次问题及解的存在性讨论,分 离变量法求解的物理意义,多种边界条件的例子,非齐次方程的情形,非齐次边界 条件的情形,高维波动方程分离变量法的例子 3、高维波动方程Cauchy问题的求解:三维波动方程的球平均法,二维波动方程的降 维法

第一章 偏微分方程和一阶线性偏微分方程解

第一章 偏微分方程和一阶线性偏微分方程解 本章介绍典型的几个偏微分方程。给出了最简单的偏微分方程(一阶线性偏微分方程)解的特征线方法。 典型的偏微分方程:扩散方程t xx u ku =,t u k u =?;波动方程2tt xx u c u =,2tt u c u =?。这是本课程讨论的主要两类方程。 偏微分方程的各类边值条件也是本章讨论的一个重点。 §1.1 一维空间中的偏微分方程 例1 (刚性污染流的方程) 假设均匀直线管道中的水流含污染物质的线密度是(,)u x t (即x 处在时刻t 的污染物的密度) 。如果流速是c ,问题:(,)u x t 满足什么样的方程? 解 如图,在[,]x x x +?内的流体,经过时间t ?,一定处于[,]x c t x x c t +?+?+?。所含污染物应相同,即 (,)(,)x x x x c t x x c t u t d u t t d ξξξξ+?+?+?+?= +?? ? , 由此 (,)(,)u x t u x c t t t =+?+?, 从而, 0t x u cu +=。 【End 】 可见偏微分方程是一个至少为两元的函数及其偏导数所满足的方程。 例2 (扩散方程) 假设水流静止,在t ?时间内,流经x 处的污染物质(不计高阶无穷小)与该处浓度的方向导数(浓度变化)成正比,比例系数为k : ()x u dm t k dt ku dt x ?==?, 所以,在时间段12[,]t t 内,通过12[,]x x 的污染物为 2 1 2 1 [(,)(,)]t x x t k u x t u x t dt -?。 在时刻1t 和2t ,在12[,]x x 内的污染物分别为2 1 1(,)x x u x t dx ?和2 1 2(,)x x u x t dx ? ,由物质守恒定律 2 2 2 1 1 1 2 1 2 1 (,)(,)[(,)(,)]x x t x x x x t u x t dx u x t dx k u x t u x t dt -=-??? 由1t ,2t 的任意性,

(整理)一阶线性偏微分方程.

第七章 一阶线性偏微分方程 例7-1 求方程组 ()()()yz B A Cdz xz A C Bdy yz C B Adx -=-=- 通积分,其中C B A ,,为互不 相等的常数。 解 由第一个等式可得 xyz ydy A C B xyz xdx C B A -=-, 即有 0=---ydy A C B xdx C B A , 两边积分得方程组的一个首次积分 122,C y A C B x C B A z y x Φ=---= ),(。 由第二个等式可得 xyz zdz B A C xyz ydy A C B -=-, 即有 0=---zdz B A C ydy A C B , 两边积分得方程组的另一个首次积分 222,C z B A C y A C B z y x Ψ=---= ),(。 由于,雅可比矩阵 ? ???? ?????------=????? ???? ????ψ??ψ??ψ ??Φ??Φ ??Φ ?=?ψΦ?z B A C y A C B y A C B x C B A y y x z y x z y x 002),,(),( 的秩为2,这两个首次积分相互独立,于是原方程组的通积分为 122C y A C B x C B A =--- 222C z B A C y A C B =--- 。

评注:借助于方程组的首次积分求解方程组的方法称为首次积分法。要得到通积分需要求得n 个独立的首次积分,n 为组成方程组的方程个数。用雅可比矩阵的秩来验证首次积分的独立性。 例7-2 求方程组 () () ???????-+--=-+-=11d 222 2y x y x dt dy y x x y dt x 的通解。 解 由原方程组可得 )1)((2222-++-=+y x y x dt dy y dt dx x 即 dt y x y x y x d )1)((2)(2 2 2 2 2 2 -++-=+ 这个方程关于变量t 和2 2 y x +是可以分离的,因此易求得它的通积分为 122 2221),,(C e y x y x t y x t =+-+=Φ 这是原方程组的一个首次积分。 再次利用方程组,得到 )(22y x dt dx y dt dy x +-=-, 即有 1arctan -=?? ? ?? x y dt d 由此得到原方程组的另一个首次积分 2arctan ),,(C t x y t y x =+=ψ 。 由于,雅可比矩阵为 ()( ) ???? ? ?????? ?++-++=????????? ????ψ??ψ ??Φ??Φ ?=?ψΦ?2222 222 222 2222),(),(y x x y x y e y x y e y x x y x y x y x t t ,

偏微分方程理论学习中国科学技术大学

偏微分方程理论学习 一. 偏微分方程发展简介 1. 常微分方程 十七世纪微积分创立之后,常微分方程理论立刻就发展起来,当时应用常微分方程,解决几何与理学中的新问题。结果是在天体理学中不仅能得到并解释早先已经知晓的那些事实,而且得到了性的发现(例如,海王星的发现就是在对微分方程分析的基础上作出的)。 2. 偏微分方程 偏微分方程的研究要晚得多,对物理学中出现的偏微分方程研究在十八世纪中叶导致了分析学的一个新的分支------数学物理方程的建立。 J.达朗贝尔(D’Alembert )(1717-1783)、L.欧拉(Euler )(1707-1783)、D.伯努利(Bernoulli )(1700-1782)、J.拉格朗日(Lagrange )(1736-1813)、P.拉普拉斯(Laplace )(1749-1827)、S.泊松(Poisson )(1781-1840)、J.傅里叶(Fourier )(1768-1830)等人的工作为这一学科分支奠定了基础。它们在考察具体的数学物理问题中,所提出的思想与方法,竟适用于众多类型的微分方程,成为十九世纪末偏微分方程一般理论发展的基础。 十九世纪,偏微分方程发展的序幕是由法国数学家傅里叶拉开的,他于1822年发表的《热的解析理论》是数学史上的经典文献之一。傅里叶研究的主要是吸热或放热物体内部任何点处的温度随空间和时间的变化规律。在对物体的物理性状作出一定的限制(如均匀、各向同性)后,他根据物理原理推导出了三维空间的热传导方程 其中k 是一个参数,其值依赖于物体的质料。傅里叶当时解决的是如下特殊的热传导问题:设所考虑的物体为两端保持在温度0度、表面绝热且无热流通过的柱轴。在此情形下求解上述热传导方程,因为柱轴只涉及一维空间,所以这个问题也就是求解偏微分方程 ??? ????<<=>==??=??,0),()0,(,0,0),(,0),0(T T 222l x x f x T t t l T t T x k x , 其中后面两项分别是边界条件和初始条件。傅里叶为解这个方程用了分离变量法,他得到满足方程和边界条件的级数解为 为了满足初始条件,必须有

偏微分方程数值解法试题与答案

x 1 ?若步长趋于零时,差分方程的截断误差 R m 0,则差分方程的解 U i m 趋近于微分方 程的解U m ?此结论 ________ (错或对); 1 2.一 阶 Sobolev 空间 H ( ) f (x,y) f , f x , f y L ?() 关于内积(f,g )1 _____________________________________ 是Hilbert 空间; 3 ?对非线性(变系数)差分格式,常用 ____________ 系数法讨论差分格式的 ________ 稳定性; 4?写出y x 3在区间[1,2]上的两个一阶广义导数: ______________________________________ _____ ____ ______________ _ ____ ________ ; 5 ?隐式差分格式关于初值是无条件稳定的 ?此结论 ________ (错或对)。 (13分)设有椭圆型方程边值问题 0.1作正方形网格剖分 。 (1) 用五点菱形差分格式将微分方程在内点离散化; (2) 用截断误差为 O (h 2)的差分法将第三边界条件离散化; (3) 整理后的差分方程组为 U C 三.(12)给定初值问题 u x,0 x 1 取时间步长 0.1,空间步长h 0.2。试合理选用一阶偏心差分格式(最简显格式) 2 u ~2 x 2 u ~2 y 0 x 0.3 0.2 x 0.3 2y 1, — u n 2x y 0.2

并以此格式求出解函数u(x,t)在x 0.2,t 0.2处的近似值。 x

1.所选用的差分格式是: 2 .计算所求近似值: 1 a k 1 四.(12分)试讨论差分方程 u l 1 k k k 1 u | r u | 1 u | , r h a 1 h 逼近微分方程 u a u 0 t x 的截断误差阶R 。 思路一:将r 带入到原式,展开后可得格式是在点( l+1/2,k+1/2 )展开的。 思路二:差分格式的用到的四个点刚好是矩形区域的四个顶点,可由此构造中心点的差分格 式。 2 —2 ,考虑 Du Fort-Frankel 格式 X 试论证该格式是否总满足稳定性的 Von-Neumann 条件? 六. (12分)(1 )由Green 第一公式推导 Green 第二公式: (2) 对双调和方程边值问题 n 2 选择函数集合(空间)为: 推导相应的双线性泛函和线性泛函: A (u,v ) F (v ) 相应的虚功问题为: 极小位能问题为 七. ( 12分)设有常微分方程边值问题 y y f (x ) , a x b y a 1, y b 1 五.(12分) 对抛物型方程 U |k1 U |k 2 |k 1 (U |k1 U |k1) U |k 1 ) 2 (u)vdxdy G (u) u vdxdy :[v v u ]ds n f (x,y) (x,y) g 1(x , y), g 2(x, y) (x,y),

偏微分方程理论的归纳与总结

偏微分方程理论的归纳与 总结 Prepared on 22 November 2020

偏微分方程基本理论的归纳与总结 偏微分方程是储存自然信息的载体,自然现象的深层次性质可以通过数学手段从方程中推导出来.最为一种语言,微分方程在表达自然定律方面比文字具有更强的优越性.微分方程是一个庞大的体系,它的基本问题就是解的存在性和唯一性.该学科的主要特征是不存在一种可以统一处理大多数偏微分方程的适定性问题的普适的方法和理论.这是与常微分方程有显着差异的地方.这种特性使得我们将方程分为许多种不同类型,这种分类的依据主要来自数学与自然现象这两个方面.从数学的角度,方程的类型一般总是对应于一些普遍的理论和工具.换句话讲,如果能建立一个普遍性的方法统一处理一大类方程问题,那么这个类型就被划分出来.而从自然现象的角度,我们又可以根据不同的运动类型以及性质将方程进行分类.当然这两种方式常常不能截然区分,通常它们是相互关联的,这就造成方程的概念有许多重叠现象. 根据数学的特征,偏微分方程主要被分为五大类,它们是: (1)线性与拟微分方程,研究这类方程的主要工具是Fourier分析方法; (2)椭圆型方程,它的方法是先验估计+泛函分析手段; (3)抛物型方程,主要是Galerkin方法,算子半群,及正则性估计; (4)双曲型方程,对应于Galerkin方法; (5)一阶偏微分方程,主要工具是数学分析方法. 从自然界的运动类型出发,偏微分方程可分为如下几大类: (1)稳态方程(非时间演化方程);

(2)耗散型演化方程,这类方程描述了时间演化过程中伴有能量损耗与补充的自然运动.相变与混沌是它们的主要内容; (3)保守系统,如具有势能的波方程.该系统控制的运动是与外界隔离的,及无能量输入,也无能量损耗.行波现象与周期运动是它们的主要特征; (4)守恒律系统,这类方程是一阶偏微分方程组,它们与保守系统具有类似的性质,可视为物质流的守恒.激波行为是由守恒律系统来控制. 下面具体来介绍三类经典方程: 三类典型方程:椭圆型方程,抛物型方程,双曲型方程,即偏微分方程模型的建立,解问题的解法以及三类典型方程的基本理论. 关于三类典型方程定解问题的解题方法,它们主要是分离变量法、积分变换法、特征线法、球面平均法、降维法和Green函数方法. 关于三类典型方程的基本理论——极值原理和能量估计,并由此给出了解的唯一性和稳定性的相关结论. 具体来说,关于二阶线性椭圆形方程,我们研究它的古典解和弱解.前者主要介绍了基本解、调和函数的基本性质、Green函数、极值原理、最大模估计、能量方法和变分原理;而后者的研究则需要知道Sobolev空间的相关知识再加以研究;关于二阶线性抛物型方程,主要研究它的Fourier变换、特殊的求解方法、基本解、方程式和方程组的最大值原理以及最大模估计、带有非经典边界条件和非局部项的方程式的最大值原理及能量方法;关于二阶线性双曲型方程,主要研究初值问题的求解方法、初值问题的能量不等式与解的适定性、以及混合问题的能量模估计与解的适定性.

二阶线性偏微分方程的分类与小结

二阶线性偏微分方程的分类与小结

————————————————————————————————作者: ————————————————————————————————日期:

第六章 二阶线性偏微分方程的分类与小结 一 两个自变量的二阶线性方程 1 方程变换与特征方程 两个自变量的二阶线性偏微分方程总表示成 f cu u b u b u a u a u a y x yy xy xx =+++++212212112 ① 它关于未知函数u 及其一、二阶偏导数都是线性的,其中 f u c b b a a a ,,,,,,,21221211都是自变量y x ,的已知函数, 假设它们的一阶偏 导数在某平面区域D 内都连续,而且 221211a a a ,,不全为0 。 设),(000y x M 是D 内给定的一点,考虑在0M 的领域内对方程进行简化。取自变量变换 ),(y x ξξ=,),(y x ηη= 其中它们具有二连续偏导数,而且在0M 处的雅可比行列式。 = ??),(),(y x ηξy x y x ηηξξ =x y y x ηξηξ- 根据隐函数存在定理,在0M 领域内存在逆变换, ),(ηξx x =,),(ηξy y = 因为 x x x u u u ηξξξ+=,y y y u u u ηξξξ+=

xx xx x x x x xx u u u u u u ηξηηξξηξηηξηξξ++++=222 yy yy y y y y yy u u u u u u ηξηηξξηξηηξηξξ++++=222 xy xy y x x y y x x x xy u u u u u u ηξηηηξηξξξηξηηξηξξ+++++=)( 将代入①使其变为 F Cu u B u B u A u A u A =+++++ηξηηξηξξ212212112 经过变换后,方程的阶数不会升高,由变换的可逆性,方程的阶数也不会降低,所以221211,,A A A 不全为0。并可验证 222112122211212))((x y y x a a a A A A ηξηξ--=- 这表明,在可逆变换下2 22112 12A A A -与22112 12 a a a -保持相同的正负号。 定理 在0M 的领域内,不为常数的函数),(y x ?是偏微分方程022*******=++y y x x a a a ????之解的充分必要条件是: C y x ≡),(?是常微分方程的 0)(2)(22212211=++dx a dxdy a dy a 通解。 2 方程的类型及其标准形式 根据以上结论简化方程的问题归结为寻求其特征曲线。为此将特征方程分解成两个方程: 11 22 11 2 12 12 a a a a a dx dy -+=,11 22 11 2 12 12 a a a a a dz dy --= (1) 若在0M 的邻域内022112 12>-a a a 时,方程可以化为

相关文档
最新文档