用变分法求解最优控制问题
变分原理与变分法
第一章 变分原理与变分法 1.1 关于变分原理与变分法（物质世界存在的基本守恒法则） 一、 大自然总是以可能最好的方式安排一切，似乎存在着各种安排原理： 昼/夜，日/月，阴/阳，静止/运动 等矛盾/统一的协调体； 对静止事物：平衡体的最小能量原理，对称/相似原理； 对运动事物：能量守恒，动量（矩）守恒，熵增原理等。 变分原理是自然界静止(相对稳定状态)事物中的一个普遍适应的数学定律，获称最小作用原理。 Examples : ① 光线最短路径传播； ② 光线入射角等于反射角，光线在反射中也是光传播最短路径（Heron ）； ③ CB AC EB AE +>+ Summary : 实际上光的传播遵循最小能量原理； 在静力学中的稳定平衡本质上是势能最小的原理。 二、变分法是自然界变分原理的数学规划方法（求解约束方程系统极值的数学方 法），是计算泛函驻值的数学理论 数学上的泛函定义 定义：数学空间（集合）上的元素（定义域）与一个实数域间（值域）间 的（映射）关系 特征描述法：{ J :R x R D X ∈=→?r J )(|} Examples : ① 矩阵范数：线性算子（矩阵）空间数域 ‖A ‖1 = ∑=n i ij j a 1 max ；∑=∞=n j ij i a A 1max ；21 )(11 2 2∑∑===n j n i ij a A ② 函数的积分： 函数空间数域
D ?=?n b a n f dx x f J )( Note : 泛函的自变量是集合中的元素（定义域）；值域是实数域。 Discussion ： ① 判定下列那些是泛函： )(max x f f b x a <<=； x y x f ??) ,(； 3x+5y=2； ?+∞∞-=-)()()(00x f dx x f x x δ ② 试举另一泛函例子。 物理问题中的泛函举例 ① 弹性地基梁的系统势能 i. 梁的弯曲应变能： ?=∏l b dx dx w d EJ 02 22)(21 ii. 弹性地基贮存的能量： dx kw l f ?=∏0 221 iii. 外力位能： ?-=∏l l qwdx 0 iv. 系统总的势能： 00 0;})({2 2122202 1===-+=∏?dx dw w x dx qw kw dx w d EJ l 泛函的提法：有一种梁的挠度函数（与载荷无关），就会有一个对应的系 统势能。 泛函驻值提法：在满足位移边界条件的所有挠度函数中，找一个w (x ),使 系统势能泛函取最小值。 ② 最速降线问题 问题：已知空间两点A 和B ,A 高于B ，要求在两点间连接一条曲线，使 得有重物从A 沿此曲线自由下滑时，从A 到B 所需时间最短（忽略摩擦力）。 作法： i. 通过A 和B 作一垂直于水平面的平面，取坐标系如图。B 点坐标(a , b ),设曲线为y = y (x ),并已知：x = 0,y = 0；x = a ,y = b ii. 建立泛函： x
有限差分法、有限单元和有限体积法简介
有限差分法、有限单元法和有限体积法的简介 1.有限差分方法 有限差分方法(Finite Difference Method，FDM)是计算机数值模拟最早采用的方法，至今仍被广泛运用。该方法将求解域划分为差分网格，用有限个网格节点代替连续的求解域。有限差分法以Taylor级数展开等方法，把控制方程中的导数用网格节点上的函数值的差商代替进行离散，从而建立以网格节点上的值为未知数的代数方程组。该方法是一种直接将微分问题变为代数问题的近似数值解法，数学概念直观，表达简单，是发展较早且比较成熟的数值方法。 对于有限差分格式，从格式的精度来划分，有一阶格式、二阶格式和高阶格式。从差分的空间形式来考虑，可分为中心格式和逆风格式。考虑时间因子的影响，差分格式还可以分为显格式、隐格式、显隐交替格式等。目前常见的差分格式，主要是上述几种形式的组合，不同的组合构成不同的差分格式。差分方法主要适用于有结构网格，网格的步长一般根据实际地形的情况和柯朗稳定条件来决定。构造差分的方法有多种形式，目前主要采用的是泰勒级数展开方法。其基本的差分表达式主要有三种形式：一阶向前差分、一阶向后差分、一阶中心差分和二阶中心差分等，其中前两种格式为一阶计算精度，后两种格式为二阶计算精度。通过对时间和空间这几种不同差分格式的组合，可以组合成不同的差分计算格式。 2.有限元方法 有限元方法(Finite Element Method，FEM)的基础是变分原理和加权余量法，其基本求解思想是把计算域划分为有限个互不重叠的单元，在每个单元内，选择一些合适的节点作为求解函数的插值点，将微分方程中的变量改写成由各变量或其导数的节点值与所选用的插值函数组成的线性表达式，借助于变分原理或加权余量法，将微分方程离散求解。采用不同的权函数和插值函数形式，便构成不同的有限元方法。 有限元方法最早应用于结构力学，后来随着计算机的发展慢慢用于流体力学的数值模拟。在有限元方法中，把计算域离散剖分为有限个互不重叠且相互连接的单元，在每个单元内选择基函数，用单元基函数的线形组合来逼近单元中的真解，整个计算域上总体的基函数可以看为由每个单元基函数组成的，则整个计算域内的解可以看作是由所有单元上的近似解构成。 在数值模拟中，常见的有限元计算方法是由变分法和加权余量法发展而来的
有限元法与有限差分法的主要区别
有限元法与有限差分法的主要区别 有限差分方法(FDM)是计算机数值模拟最早采用的方法,至今仍被广泛运用。该方法将求解域划分为差分网格，用有限个网格节点代替连续的求解域。有限差分法以Ｔaylor级数展开等方法，把控制方程中的导数用网格节点上的函数值的差商代替进行离散，从而建立以网格节点上的值为未知数的代数方程组。该方法是一种直接将微分问题变为代数问题的近似数值解法,数学概念直观，表达简单，是发展较早且比较成熟的数值方法。对于有限差分格式，从格式的精度来划分，有一阶格式、二阶格式和高阶格式。从差分的空间形式来考虑,可分为中心格式和逆风格式．考虑时间因子的影响,差分格式还可以分为显格式、隐格式、显隐交替格式等.目前常见的差分格式，主要是上述几种形式的组合,不同的组合构成不同的差分格式。差分方法主要适用于有结构网格,网格的步长一般根据实际地形的情况和柯朗稳定条件来决定。构造差分的方法有多种形式，目前主要采用的是泰勒级数展开方法。其基本的差分表达式主要有三种形式:一阶向前差分、一阶向后差分、一阶中心差分和二阶中心差分等，其中前两种格式为一阶计算精度,后两种格式为二阶计算精度。通过对时间和空间这几种不同差分格式的组合，可以组合成不同的差分计算格式。有限元方法的基础是变分原理和加权余量法,其基本求解思想是把计算域划分为有限个互不重叠的单元,在每个单元内，选择一些合适的节点作为求解函数的插值点,将微分方程中的变量改写成由各变量或其导数的节点值与所选用的插值函数组成的线性表达式,借助于变分原理或加权余量法，将微分方程离散求解。采用不同的权函数和插值函数形式，便构成不同的有限元方法。有限元方法最早应用于结构力学，后来随着计算机的发展慢慢用于流体力学的数值模拟。在有限元方法中，把计算域离散剖分为有限个互不重叠且相互连接的单元，在每个单元内选择基函数，用单元基函数的线形组合来逼近单元中的真解,整个计算域上总体的基函数可以看为由每个单元基函数组成的,则整个计算域内的解可以看作是由所有单元上的近似解构成．在河道数值模拟中,常见的有限元计算方法是由变分法和加权余量法发展而来的里兹法和伽辽金法、最小二乘法等.根据所采用的权函数和插值函数的不同,有限元方法也分为多种计算格式。从权函数的选择来说,有配置法、矩量法、最小二乘法和伽辽金法,从计算单元网格的形状来划分,有三角形网格、四边形网格和多边形网格，从插值函数的精度来划分，又分为线性插值函数和高次插值函数等。不同的组合同样构成不同的有限元计算格式。对于权函数，伽辽金(Gaｌeｒkiｎ）法是将权函数取为逼近函数中的基函数；最小二乘法是令权函数等于余量本身，而内积的极小值则为对代求系数的平方误差最小;在配置法中，先在计算域内选取N个配置点。令近似解在选定的Ｎ个配置点上严格满足微分方程，即在配置点上令方程余量为０．插值函数一般由不同次幂的多项式组成,但也有采用三角函数或指数函数组成的乘积表示,但最常用的多项式插值函数。有限元插值函数分为两大类,一类只要求插值多项式本身在插值点取已知值,称为拉格朗日(Lａgranｇe)多项式插值;另一种不仅要求插值多项式本身，还要求它的导数值在插值点取已知值,称为哈密特(Ｈｅrmite)多项式插值。单元坐标有笛卡尔直角坐标系和无因次自然坐标，有对称和不对称等。常采用的无因次坐标是一种局部坐标系，它的定义取决于单元的几何形状,一维看作长度比，二维看作面积比，三维看作体积比。在二维有限元中，三角形单元应用的最早，近来四边形等参元的应用也越来越广。对于二维三角形和四边形电源单元,常采用的插值函数为有Ｌa g ｒange插值直角坐标系中的线性插值函数及二阶或更高阶插值函数、面积坐标系中的线性插值函数、二阶或更高阶插值函数等．对于有限元方法，其基本思路和解题步骤可归纳为(１）建立积分方程,根据变分原理或方程余量与权函数正交化原理,建立与微分方程初边值问题等价的积分表达式,这是有限元法的出发点。(2）区域单元剖分，根据求解区域的形状及实际问题的物理特点，将区域剖分为若干相互连接、不重叠的单元。区域单元划分是采用有限元方法的前期准备工作,这部分工作量比较大，除了给计算单元和节点进行编号和确定相互之间的关系之外,还要表示节点的位置坐标，同时还需要列出自然边界和本质边界的节点序号和相应的边界值。(3）确定单元基函数，根据单元中节点数目及对近似解精度的要求，选择满足一定插值条件的插值函
变分原理及变分法
第一章 变分原理与变分法 1.1 关于变分原理与变分法（物质世界存在的基本守恒法则） 一、 大自然总是以可能最好的方式安排一切，似乎存在着各种安排原理： 昼/夜，日/月，阴/阳，静止/运动 等矛盾/统一的协调体； 对静止事物：平衡体的最小能量原理，对称/相似原理； 对运动事物：能量守恒，动量（矩）守恒，熵增原理等。 变分原理是自然界静止(相对稳定状态)事物中的一个普遍适应的数学定律，获称最小作用原理。 Examples : ① 光线最短路径传播； ② 光线入射角等于反射角，光线在反射中也是光传播最短路径（Heron ）； ③ CB AC EB AE +>+ Summary : 实际上光的传播遵循最小能量原理； 在静力学中的稳定平衡本质上是势能最小的原理。 二、变分法是自然界变分原理的数学规划方法（求解约束方程系统极值的数学方 法），是计算泛函驻值的数学理论 数学上的泛函定义 定义：数学空间（集合）上的元素（定义域）与一个实数域间（值域）间 的（映射）关系 特征描述法：{ J :R x R D X ∈=→?r J )(|} Examples : ① 矩阵数：线性算子（矩阵）空间 ‖A ‖1 = ∑=n i ij j a 1 max ；∑=∞=n j ij i a A 1 max ；21 )(11 2 2 ∑∑===n j n i ij a A
② 函数的积分： 函数空间 数域 D ?=?n b a n f dx x f J )( Note : 泛函的自变量是集合中的元素（定义域）；值域是实数域。 Discussion ： ① 判定下列那些是泛函： )(max x f f b x a <<=； x y x f ??) ,(； 3x+5y=2； ?+∞∞-=-)()()(00x f dx x f x x δ ② 试举另一泛函例子。 物理问题中的泛函举例 ① 弹性地基梁的系统势能 i. 梁的弯曲应变能： ?=∏l b dx dx w d EJ 02 22)(21 ii. 弹性地基贮存的能量： dx kw l f ?= ∏02 2 1 iii. 外力位能： ?-=∏l l qwdx 0 iv. 系统总的势能： 00 0;})({221222 021 ===-+=∏?dx dw w x dx qw kw dx w d EJ l 泛函的提法：有一种梁的挠度函数（与载荷无关），就会有一个对应的系 统势能。 泛函驻值提法：在满足位移边界条件的所有挠度函数中，找一个w (x ),使系 统势能泛函取最小值。 ② 最速降线问题 问题：已知空间两点A 和B,A 高于B ，要求在两点间连接一条曲线，使得 有重物从A 沿此曲线自由下滑时，从A 到B 所需时间最短（忽略摩擦力）。 作法： i. 通过A 和B 作一垂直于水平面的平面，取坐标系如图。B 点坐标(a , b ),设曲线为y = y (x ),并已知：x = 0,y = 0；x = a ,y = b ii. 建立泛函： x
变分原理
变分原理 变分原理是自然界静止（相对稳定状态）事物中的一个普遍适应的数学定律，或称最小作用原理。 例如：实际上光的传播遵循最小能量原理： 在静力学中的稳定平衡本质上是势能最小的原理。 一、举一个例子（泛函） 变分法是自然界变分原理的数学规划方法（求解约束方程系统极值的数学方法），是计算泛函驻值的数学理论。 在理论上和实践上均需要放宽解的条件。因此，引入弱解以及边值问题的弱的形式即变分形式。在讨论二阶椭圆边值问题时的Lax-Milgram 定理。 Poisson 方程的Neumann 问题 设Ω是单连通域，考察Poisson 方程的Neumann 问题 (N) ??? ? ??? =??=?-Γ,g n u f u u ，在Ω内，，使得求函数 这里)(),(2/12Γ∈Ω∈-H g L f ，且满足 01 ,=+Γ Ω ? g f d x 其中的对偶积表示)()(,2/12/1Γ?Γ??-ΓH H . 问题（N ）的解，虽然是不唯一的，但是，若把问题（N ）局限于商空间)(V 1Ω=H 内求解，且赋予商范数 ΩΩ∈Ω=,1) (/)(1 1i n f ?v v H v R H ,V v ∈? 可以得到唯一解。实际上，由定理5.8推出R H v /)(1?Ω等价于半范Ω→,1?v v . 定义双线性泛函R V V →?: V v u v v u u v u v u B ∈∈∈???=?,?,?,?),,()?,?（ 和线性泛函 V v v v u g fdx v l ∈∈?+→Γ Ω??,?,,?:. 其右端与v v ?∈无关。因此v ?中的元素仅仅相差一个任意常数，同时，可以判定'V l ∈，实际上 ,,2/1,2/1,0,0)?(ΓΓ -Ω Ω +≤v g v f v l
优化理论课件(变分法与最优控制理论)
优化理论课件（2） 第二部分动态优化：变分法和最优控制理论 变分法是处理动态优化的古典方法，现在较少使用，在蒋中一的书中，变分法的思路可用来解释庞特里亚金最大值原理（一阶条件）。本部分内容主要来自蒋中一《动态最优化基础》。 目录 一、什么是动态优化？ (3) （一）动态优化问题的基本要素 (4) （二）泛函及其相关概念 (4) （三）可变终结点 (5) （四）横截条件 (7) （五）目标泛函 (7) 二、变分法 (8) （一）基本问题：固定终结点问题 (8) （1）基本问题及其假定 (8) （2）一阶条件：欧拉方程 (8) （二）推广：多状态变量与高阶导数 (11) （1）多状态变量 (11) （2）高阶导数 (11) （三）可变端点问题 (12) （1）一般性横截条件 (12) （2）垂直终结线问题 (13) （3）水平终结线问题 (14) （4）终结曲线问题，即错误！不能通过编辑域代码创建对象。 (14) （5）截断的垂直终结线问题 (14) （6）截断的水平终结线问题 (14) （7）多变量和高阶导数情形 (15) （四）二阶条件（充分条件） (15) （1）固定端点问题的二阶条件及其二次型检验 (15) （2）凹凸性充分条件 (16) （3）变分 (17) （五）无限期界问题 (18) （1）收敛性 (18) （2）横截条件 (19)
（3）充分条件 (19) （六）带约束的优化问题 (19) （1）等式约束 (19) （2）不等式约束 (21) （3）积分约束（等周问题） (21) 三、最优控制理论 (22) （一）最优控制理论导论 (22) （二）最大值原理及其横截条件 (23) （1）最简单问题及最大值原理（一阶必要条件） (23) （2）最大值原理的理论基础及其横截条件 (26) （3）自控问题的汉密尔顿函数不变性 (29) （4）推广到多变量 (29) （三）最大值原理的经济学解释及现值的汉密尔顿函数 (30) （1）最大值原理的经济学解释 (30) （2）现值的汉密尔顿函数 (32) （四）充分条件（二阶条件） (32) （1）曼加萨林定理 (32) （2）阿罗条件 (34) （五）无限期界问题 (35) （1）横截条件与反例 (35) （2）作为充分条件一部分的横截条件 (36) （六）有约束的最优控制问题 (36) （1）涉及控制变量的约束 (37) （2）状态空间约束 (43) 四、拉姆齐模型 (47) （一）相关理论发展背景 (47) （二）最简单的拉姆齐模型及其动力系统 (49) （三）微分方程定性稳定性判别方法简介 (53) （1）稳定性与渐进稳定性 (53) （2）稳定性判别基本定理 (53) （2）平面动力系统的奇点 (54)
有限差分法解薛定谔方程与MATLAB实现
第30卷 第3期高师理科学刊Vol.30No.32010年5月Journal of Science of Teachers ′College and University May 2010 文章编号：1007-9831（2010）03-0068-03 有限差分法解薛定谔方程与 MATLAB 实现 刘晓军（齐齐哈尔大学理学院，黑龙江齐齐哈尔161006） 摘要：介绍了用有限差分法解薛定谔方程，以一维无限深势阱、含位势的一维无限深势阱为例求解，并应用M ATL AB 软件编程计算，模拟画出几率图形． 关键词：有限差分法；薛定谔方程；一维无限深势阱 中图分类号：O413.1文献标识码：A doi ：10.3969/j.issn.1007-9831.2010.03.022 在量子力学中求解薛定谔方程是一个重要的问题，但在实际问题中往往很难确定解析解，这样利用数值方法求数值解就有一定的优势和实际意义[1]．还可以利用计算机手段给出形象化分析，更有利于理解和应用．根据有限差分法中的二阶微分中心差分算符（其中忽略3x 及更高阶项） [2]222 )()(2)()(d d x x x f x f x x f x f x ++=（1） 可将一维定态薛定谔方程[3])()()()(d d 22 2 2x E x x V x x =+=（2）化为)(])([)(2)()(2)(22x E x V x x x x x x =++= （3）以点x n x n =（N n ....3,2,1=）将坐标分为N 个相等的间隔，当N 充分大时，x 就足够小．将第k 个分点的波函数简记为)(x k k =[4]．同时满足条件 00==n ，则式（3）化简为k k k k k E x β2211)(2=++=（4） 式中)()(2222x k V x k + ==β（5）0...000 (000) ..................00...R -0 00...00 (01) 221 =E R R E E R E R R E N N ααααα（6）式（6）为对应的久期方程．式中)(2;)(222 x k V R x R k +==α=（7） 将相对复杂的方程就转化为解久期方程的问题，即使维数再高也是容易求解的． 收稿日期：35 作者简介：刘晓军（），男，黑龙江富裕人，副教授，硕士，从事理论物理与数值模拟研究．：xj @632010-0-01972-E-mail l https://www.360docs.net/doc/b99659603.html,
变分原理与变分法
第一章 变分原理与变分法 1、1 关于变分原理与变分法(物质世界存在的基本守恒法则) 一、 大自然总就是以可能最好的方式安排一切,似乎存在着各种安排原理: 昼/夜,日/月,阴/阳,静止/运动 等矛盾/统一的协调体; 对静止事物:平衡体的最小能量原理,对称/相似原理; 对运动事物:能量守恒,动量(矩)守恒,熵增原理等。 变分原理就是自然界静止(相对稳定状态)事物中的一个普遍适应的数学定律,获称最小作用原理。 Examples : ① 光线最短路径传播; ② 光线入射角等于反射角,光线在反射中也就是光传播最短路径(Heron); ③ 光线折射遵循时间最短的途径 CB AC EB AE +>+ Summary : 实际上光的传播遵循最小能量原理; 在静力学中的稳定平衡本质上就是势能最小的原理。 二、变分法就是自然界变分原理的数学规划方法(求解约束方程系统极值的数学 方法),就是计算泛函驻值的数学理论 数学上的泛函定义 定义:数学空间(集合)上的元素(定义域)与一个实数域间(值域)间的(映 射)关系 特征描述法:{ J :R x R D X ∈=→?r J )(|} Examples : ① 矩阵范数:线性算子(矩阵)空间 ‖A ‖1 = ∑=n i ij j a 1 max ;∑=∞=n j ij i a A 1max ;21 )(11 2 2∑∑===n j n i ij a A
② 函数的积分: 函数空间 D ?=?n b a n f dx x f J )( Note : 泛函的自变量就是集合中的元素(定义域);值域就是实数域。 Discussion : ① 判定下列那些就是泛函: )(max x f f b x a <<=; x y x f ??) ,(; 3x+5y=2; ?+∞∞-=-)()()(00x f dx x f x x δ ② 试举另一泛函例子。 物理问题中的泛函举例 ① 弹性地基梁的系统势能 i 、 梁的弯曲应变能: ?=∏l b dx dx w d EJ 02 22)(21 ii 、 弹性地基贮存的能量: dx kw l f ?= ∏02 2 1 iii 、 外力位能: ?-=∏l l qwdx 0 iv 、 系统总的势能: 00 0;})({221222 021 ===-+=∏?dx dw w x dx qw kw dx w d EJ l 泛函的提法:有一种梁的挠度函数(与载荷无关),就会有一个对应的系统 势能。 泛函驻值提法:在满足位移边界条件的所有挠度函数中,找一个w (x ),使系 统势能泛函取最小值。 ② 最速降线问题 问题:已知空间两点A 与B ,A 高于B ,要求在两点间连接一条曲线,使得有 重物从A 沿此曲线自由下滑时,从A 到B 所需时间最短(忽略摩擦力)。 作法: i 、 通过A 与B 作一垂直于水平面的平面,取坐标系如图。B 点坐标(a , b ),设曲线为y = y (x ),并已知:x = 0,y = 0;x = a ,y = b ii 、 建立泛函: x
计算流体力学中有限差分法、有限体积法和有限元法的区别
有限元法，有限差分法和有限体积法的区别 1. FDM 1.1 概念 有限差分方法(FDM)是计算机数值模拟最早采用的方法，至今仍被广泛运用。该方法将求解域划分为差分网格，用有限个网格节点代替连续的求解域。有限差分法以Taylor级数展开等方法，把控制方程中的导数用网格节点上的函数值的差商代替进行离散，从而建立以网格节点上的值为未知数的代数方程组。该方法是一种直接将微分问题变为代数问题的近似数值解法，数学概念直观，表达简单，是发展较早且比较成熟的数值方法。 1.2 差分格式 （1）从格式的精度来划分，有一阶格式、二阶格式和高阶格式。 （2）从差分的空间形式来考虑，可分为中心格式和逆风格式。 （3）考虑时间因子的影响，差分格式还可以分为显格式、隐格式、显隐交替格式等。 目前常见的差分格式，主要是上述几种形式的组合，不同的组合构成不同的差分格式。差分方法主要适用于有结构网格，网格的步长一般根据实际地形的情况和柯朗稳定条件来决定。 1.3 构造差分的方法 构造差分的方法有多种形式，目前主要采用的是泰勒级数展开方法。其基本的差分表达式主要有三种形式：一阶向前差分、一阶向后差分、一阶中心差分和二阶中心差分等，其中前两种格式为一阶计算精度，后两种格式为二阶计算精度。通过对时间和空间这几种不同差分格式的组合，可以组合成不同的差分计算格式。 2. FEM 2.1 概述 有限元方法的基础是变分原理和加权余量法，其基本求解思想是把计算域划分为有限个互不重叠的单元，在每个单元内，选择一些合适的节点作为求解函数的插值点，将微分方程中的变量改写成由各变量或其导数的节点值与所选用的插值函数组成的线性表达式，借助于变分原理或加权余量法，将微分方程离散求解。采用不同的权函数和插值函数形式，便构成不同的有限元方法。 2.2 原理 有限元方法最早应用于结构力学，后来随着计算机的发展慢慢用于流体力学、土力学的数值模拟。在有限元方法中，把计算域离散剖分为有限个互不重叠且相互连接的单元，在每个单元内选择基函数，用单元基函数的线形组合来逼近单元中的真解，整个计算域上总体的基函数可以看为由每个单元基函数组成的，则整个计算域内的解可以看作是由所有单元上的近似解构成。在河道数值模拟中，常见的有限元计算方法是由变分法和加权余量法发展而来的里兹法和伽辽金法、最小二乘法等。 根据所采用的权函数和插值函数的不同，有限元方法也分为多种计算格式。（1）从权函数的选择来说，有配置法、矩量法、最小二乘法和伽辽金法；（2）从计算单元网格的形状来划分，有三角形网格、四边形网格和多边形网格；
变分原理与变分法
变分原理与变分法 1.1关于变分原理与变分法（物质世界存在的基本守恒法则） 一、大自然总是以可能最好的方式安排一切， 似乎存在着各种安排原理: 昼/夜，日/月，阴/阳，静止/运动 等矛盾/统一的协调体; 对静止事物：平衡体的最小能量原理，对称/相似原理; 对运动事物：能量守恒，动量（矩）守恒，熵增原理等。 变分原理是自然界静止（相对稳定状态）事物中的一个普遍适应的数学定律, 获称最小作用原理。 Exa mp les ① ② Summary:实际上光的传播遵循最小能量原理； 在静力学中的稳定平衡本质上是势能最小的原理。 二、变分法是自然界变分原理的数学规划方法（求解约束方程系统极值的数学方 法），是计算泛函驻值的数学理论 数学上的泛函定义 定义：数学空间（集合）上的元素（定义域）与一个实数域间（值域）间 的 （映射）关系 第一章 光线最短路径传播； 光线入射角等于反射角，光线在反射中也是光传播最短路径（Heron ）； 光线折射遵循时间最短的途径（Fermat ）； AE+ EB A AC +CB ③
特征描述法：{ J: X u D T R | J （ x ） = r € R } Exa mp les ① 矩阵范数：线性算子（矩阵）空间— 数域 泛函的提法：有一种梁的挠度函数（与载荷无关），就会有一个对应的系 统势能。 泛函驻值提法：在满足位移边界条件的所有挠度函数中，找一个 w （x ）,使 i.梁的弯曲应变能： □b =-f' EJ (雪 2 P dx 2 ii.弹性地基贮存的能量： n f 1 J 2 =一 J kw dx 2 0 iii.外力位能： 口 l l =-0 qwdx iv.系统总的势能： )2dx 11 AII 1 = max 2 a j i4 ；|A L = max 2 a ij ； I A 2 仁 )12 ②函数的积分：函数空间i 数域 b J = a f n （X ）dX fn U D Note:泛函的自变量是集合中的元素（定义域）；值域是实数域。 Discussi on ： ①判定下列那些是泛函： c f (x y) --- '—-3x+5y=2; J 6(x-x 0) f (x)dx = f (x 0) f i=ma 少（x ）i ； ex ②试举另一泛函例子。 物理问题中的泛函举例 q(x) /■'■'I rmTrfT ① 弹性地基梁的系统势能 ■ d 丨 L l d 2 w 2 □卡E J( dxr) 2 Tkw - qW}dx; x = 0 d w = 0 dx x x = 0,固支；x =
有限差分法
有限差分法有限差分法 finite difference method 微分方程和积分微分方程数值解的方法。基本思想是把连续的定解区域用有限个离散点构成的网格来代替，这些离散点称作网格的节点；把连续定解区域上的连续变量的函数用在网格上定义的离散变量函数来近似；把原方程和定解条件中的微商用差商来近似，积分用积分和来近似，于是原微分方程和定解条件就近似地代之以代数方程组，即有限差分方程组，解此方程组就可以得到原问题在离散点上的近似解。然后再利用插值方法便可以从离散解得到定解问题在整个区域上的近似解。 有限差分法的主要内容包括：如何根据问题的特点将定解区域作网格剖分；如何把原微分方程离散化为差分方程组以及如何解此代数方程组。此外为了保证计算过程的可行和计算结果的正确，还需从理论上分析差分方程组的性态，包括解的唯一性、存在性和差分格式的相容性、收敛性和稳定性。对于一个微分方程建立的各种差分格式，为了有实用意义，一个基本要求是它们能够任意逼近微分方程，这就是相容性要求。另外，一个差分格式是否有用，最终要看差分方程的精确解能否任意逼近微分方程的解，这就是收敛性的概念。此外，还有一个重要的概念必须考虑，即差分格式的稳定性。因为差分格式的计算过程是逐层推进的，在计算第n＋1层的近似值时要用到第n层的近似值，直到与初始值有关。前面各层若有舍入误差，必然影响到后面各层的值，如果误差的影响越来越大，以致差分格式的精确解的面貌完全被掩盖，这种格式是不稳定的，相反如果误差的传播是可以控制的，就认为格式是稳定的。只有在这种情形，差分格式在实际计算中的近似解才可能任意逼近差分方程的精确解。关于差分格式的构造一般有以下3种方法。最常用的方法是数值微分法，比如用差商代替微商等。另一方法叫积分插值法，因为在实际问题中得出的微分方程常常反映物理上的某种守恒原理，一般可以通过积分形式来表示。此外还可以用待定系数法构造一些精度较高的差分格式。 有限差分方法(FDM)是计算机数值模拟最早采用的方法，至今仍被广泛
变分原理与变分法
第一章变分原理与变分法 1.1关于变分原理与变分法（物质世界存在的基本守恒法则） 一、大自然总是以可能最好的方式安排一切，似乎存在着各种安排原理： 昼/夜，日/月，阴/阳，静止/运动 等矛盾/统一的协调体； 对静止事物：平衡体的最小能量原理，对称 /相似原理； 对运动事物：能量守恒，动量（矩）守恒，熵增原理等。 变分原理是自然界静止（相对稳定状态）事物中的一个普遍适应的数学定律， 获称最小作用原理。 Examples: ① 光线最短路径传播； ② 光线入射角等于反射角，光线在反射中也是光传播最短路径（Heron ）； ③ 光线折射遵循时间最短的途径（Fermat ）； , Summary 实际上光的传播遵循最小能量原理； 在静力学中的稳定平衡本质上是势能最小的原理。 、变分法是自然界变分原理的数学规划方法 （求解约束方程系统极值的数学方 法），是计算泛函驻值的数学理论 数学上的泛函定义 定义：数学空间（集合）上的元素（定义域）与一个实数域间（值域）间 的（映 射）关系 特征描述法：{ J: X D R|J （x ） r R } Examples: ① 矩阵范数：线性算子（矩阵）空间 = 数域 ② 函数的积分：函数空间数域 n II A II 1 = max a ij j i 1 max a ij i j 1 n n A 2 ( a ij 产 j 1 i 1 AE EB AC CB
b J f n (X )dX f n D a Discussi on ： ① 判定下列那些是泛函: ② 试举另一泛函例子。 物理问题中的泛函举例 ① 弹性地基梁的系统势能 泛函的提法：有一种梁的挠度函数（与载荷无关），就会有一个对应的系 统势能。 泛函驻值提法：在满足位移边界条件的所有挠度函数中，找一个 w （x ）,使 系统势能 泛函取最小值。 ② 最速降线问题 问题：已知空间两点A 和B, A 高于B ，要求在两点间连接一条曲线，使 得有重物从A 沿此曲线自由下滑时，从 A 到B 所需时间最短（忽略摩擦 力）。 作法： i. 通过A 和B 作一垂直于水平面的平面，取坐标系如图。 B 点坐标（a, b ）, 设曲线为 y = y （x ）,并已知：x = 0, y = 0 ； x = a, y = b ii. 建立泛函： i.梁的弯曲应变能： 1 ' d 2 w 2 b o 0 EJ( 2 ) dx 2 0 dx ii.弹性地基贮存的能量： f — kw 2 dx 2 0 iii.外力位能： l I o qwdx iv.系统总的势能： 左Ej （d 丫）2 1 2 2 kw qw}dx; x 0 w 0削0 dx x = 0,固支；x = l, 自由 Note:泛函的自变量是集合中的元素（定义域） ;值域是实数域。 max f (x)； a x b f(X,y) ； 3x+5y=2; x (x x °)f(x)dx f(X o ) q(x) con sts E 、J x
变分原理与变分法
第一章 变分原理与变分法 1.1关于变分原理与变分法（物质世界存在的基本守恒法则） 一、 大自然总是以可能最好的方式安排一切，似乎存在着各种安排原理： 昼/夜，日/月，阴/阳，静止/运动等矛盾/统一的协调体； 对静止事物：平衡体的最小能量原理，对称/相似原理； 对运动事物：能量守恒，动量（矩）守恒，熵增原理等。 变分原理是自然界静止(相对稳定状态)事物中的一个普遍适应的数学定律，获称最小作用原理。 Examples : ①光线最短路径传播； ②光线入射角等于反射角，光线在反射中也是光传播最短路径（Heron ）； ③光线折射遵循时间最短的途径（ CB AC EB AE +>+ Summary : 实际上光的传播遵循最小能量原理； 在静力学中的稳定平衡本质上是势能最小的原理。 二、变分法是自然界变分原理的数学规划方法（求解约束方程系统极值的数学方 法），是计算泛函驻值的数学理论 数学上的泛函定义 定义：数学空间（集合）上的元素（定义域）与一个实数域间（值域）间 的（映射）关系 特征描述法：{ J :R x R D X ∈=→?r J )(|} Examples : ‖A ‖1 = ∑=n i ij j a 1 max ；∑=∞=n j ij i a A 1max ；21 )(11 2 2∑∑===n j n i ij a A
D ?=?n b a n f dx x f J )( Note : 泛函的自变量是集合中的元素（定义域）；值域是实数域。 Discussion ： ①判定下列那些是泛函： )(max x f f b x a <<=； x y x f ??) ,(；3x+5y=2；?+∞∞-=-)()()(00x f dx x f x x δ ②试举另一泛函例子。 物理问题中的泛函举例 ① 弹性地基梁的系统势能 i.梁的弯曲应变能：?=∏l b dx dx w d EJ 02 22)(21 ii.弹性地基贮存的能量：dx kw l f ?=∏0 221 iii.外力位能：?-=∏l l qwdx 0 iv. 系统总的势能： 00 0;})({2 2122202 1 ===-+=∏?dx dw w x dx qw kw dx w d EJ l 泛函的提法：有一种梁的挠度函数（与载荷无关），就会有一个对应的系 统势能。 泛函驻值提法：在满足位移边界条件的所有挠度函数中，找一个w (x ),使系 统势能泛函取最小值。 ②最速降线问题 问题：已知空间两点A 和B,A 高于B ，要求在两点间连接一条曲线，使得有重 物从A 沿此曲线自由下滑时，从A 到B 所需时间最短（忽略摩擦力）。 作法： i. 通过A 和B 作一垂直于水平面的平面，取坐标系如图。B 点坐标(a , b ),设曲线为y = y (x ),并已知：x = 0,y = 0；x = a ,y = b ii.建立泛函： 设P (x , y )是曲线上的点，P 点的速度由能量守恒定律求得： x
最优控制总结(小五字体,每页四个)
/系统的数学模型,物理约束条件及性能指标。数学描述:设被控对象的状态方程及初始条件为 ()[(),(),],(0)0x t f x t u t t x t x == ；其中,()x t X Rn ∈?为状态向量，X 为状态向量的可容许集；()u t Rm ∈Ω?为控制向量，Ω为控制向量的可容许集。试确定容许的最优控制*()u t 和最优状态轨迹*()x t ，使得系统实现从初始状态(0)x t 到目标集[(),]0x tf tf ψ=的转移,同时使得性能指标0 [(),][(),(),]tf t J x tf tf L x t u t t dt ?=+ ? 达到极值。 系统状态方程形式(连续,离散)(2)最优控制形式(开环,闭环) (3)实际应用(时间,燃料,能量,终端 ) (4)终端条件(固定,自由) (5)被控对象形目标函数及约束条件组成的静态优化问题可以描述为：在满足一系列约束条件的可行域中，确定一组优化变量，(极大值或极小值)。 数学描述：min (),,:n n f x x R f R R ∈→，..()0,:;()0,:n m n l s t g x g R R h x h R R =→≥→ 静态最优化问题 ，也称为参数最优化问题，它的三个基本要素是优化变量、目标函数和约束条件，其本质是解决函数，也称为最优控制问题，它的三个基本要素是被控对象数学模型、物理约束条件和性能指标，其本质是解 多变量目标函数沿着初始搜索点的负梯度方向搜索,函数值下降最快,又称最速下降法;(2)多变量无约束。 根据具体的最优换问题构造合适的惩罚函数,将多变量有约束最优化问题转换为一系列多变量无约束最优化问题,从而采用合适 ;(2)多变量有约束(外点法:等式约,不等式约束;内点法:不等式约束)。 通过构造拉格朗日函数,将原多变量有约束最优化问题转化为一个多变量无约束最优化问题,从而采用合适的无约束方法继(等式约束,不等式约束)。 梯度定义12()()()()f x x f x f x f x x x ??? ??????=?=?????? ???，Hessian 矩阵2222 1212 22 2212()()f f x x x f x H x x f f x x x ?? ?????????? == ?? ???????????? ,最优梯度法(无约束)：迭代(1)()()()()k k k k x x f x α+=-?，()()() ()()() ()()()()() k T k k k T k k f x f x f x H x f x α ??=??，终止误差() ()()k p k f x ε=-?≤ 例：(),(0),()f x f x H x ??；(0)[(0)(0)]f x T f x α=???/[(0)( 0)]T f x H f x ????；(1)(0)(0)(0)x x f x α=-??；()f xk ε?<，()x k 是极()0,()0x x =≥g h (1) 等式约束：(,)()()T H x f x x λ=+λg ，利用 1210,0,0,0,0n m H H H H H x x x λλ?????=====?????解出极大值点或极小值点。 (2) 不等式约束：()0x ≤h ，引入附加变量2i v 使得不等式约束变为等式约束：2()0i i h x v +=，再有等式拉格朗日乘子法. (1)外部：1)等式约束21 112 2 (,)()()()()()m T i i P x f x g x f x g x g x ρρρ==+=+∑ ,用/0P x ??=求解出*()x ρ,令ρ→+∞求出*x ; 2)不等式约束()0x ≥h ：21 1(,)(){min[(),0]}l i i P x f x h x ρρ==+∑ 3) 复合形式：2 1 122 (,)()()(){min[(),0]}T i P x f x x x h x ρρρ=++∑g g (2)内部：只适用于不等式约束，惩罚函数11(,)()()l i i P x f x h x μμ-==+∑，21(,)()()l i i P x f x h x μμ-==+∑ ，1(,)()ln[()]l i i P x f x h x μμ==-∑利用 0P x ?=?求解出*()x μ，令0μ+→求出*x C3（变分法） 0(,)()|J x x J x x α δαδα=?=+?，变分规则：1100t t t t Jdt Jdt δδ=??，d x x dt δδ= 欧拉方程****(,,)(,,)[][]0g x x t d g x x t dt ??-=??x x ,横截条件方程****** *(,,)(,,)[ ]|(,,)[]|0f f T T t f t f g x x t g x x t x g x x t t δδ????+-=???? x x x
有限元法有限差分法有限体积法的区别
有限差分方法(FDM)是计算机数值模拟最早采用的方法，至今仍被广泛运用。该方法将求解域划分为差分网格，用有限个网格节点代替连续的求解域。有限差分法以Taylor级数展开等方法，把控制方程中的导数用网格节点上的函数值的差商代替进行离散，从而建立以网格节点上的值为未知数的代数方程组。该方法是一种直接将微分问题变为代数问题的近似数值解法，数学概念直观，表达简单，是发展较早且比较成熟的数值方法。对于有限差分格式，从格式的精度来划分，有一阶格式、二阶格式和高阶格式。从差分的空间形式来考虑，可分为中心格式和逆风格式。考虑时间因子的影响，差分格式还可以分为显格式、隐格式、显隐交替格式等。目前常见的差分格式，主要是上述几种形式的组合，不同的组合构成不同的差分格式。差分方法主要适用于有结构网格，网格的步长一般根据实际地形的情况和柯朗稳定条件来决定。 构造差分的方法有多种形式，目前主要采用的是泰勒级数展开方法。其基本的差分表达式主要有三种形式：一阶向前差分、一阶向后差分、一阶中心差分和二阶中心差分等，其中前两种格式为一阶计算精度，后两种格式为二阶计算精度。通过对时间和空间这几种不同差分格式的组合，可以组合成不同的差分计算格式。 有限元方法的基础是变分原理和加权余量法，其基本求解思想是把计算域划分为有限个互不重叠的单元，在每个单元内，选择一些合适的节点作为求解函数的插值点，将微分方程中的变量改写成由各变量或其导数的节点值与所选用的插值函数组成的线性表达式，借助于变分原理或加权余量法，将微分方程离散求解。采用不同的权函数和插值函数形式，便构成不同的有限元方法。有限元方法最早应用于结构力学，后来随着计算机的发展慢慢用于流体力学的数值模拟。在有限元方法中，把计算域离散剖分为有限个互不重叠且相互连接的单元，在每个单元内选择基函数，用单元基函数的线形组合来逼近单元中的真解，整个计算域上总体的基函数可以看为由每个单元基函数组成的，则整个计算域内的解可以看作是由所有单元上的近似解构成。在河道数值模拟中，常见的有限元计算方法是由变分法和加权余量法发展而来的里兹法和伽辽金法、最小二乘法等。根据所采用的权函数和插值函数的不同，有限元方法也分为多种计算格式。从权函数的选择来说，有配置法、矩量法、最小二乘法和伽辽金法，从计算单元网格的形状来划分，有三角形网格、四边形网格和多边形网格，从插值函数的精度来划分，又分为线性插值函数和高次插值函数等。不同的组合同样构成不同的有限元计算格式。对于权函数，伽辽金(Galerkin)法是将权函数取为逼近函数中的基函数；最小二乘法是令权函数等于余量本身，而内积的极小值则为对代求系数的平方误差最小；在配置法中，先在计算域内选取N个配置点。令近似解在选定的N个配置点上严格满足微分方程，即在配置点上令方程余量为0。插值函数一般由不同次幂的多项式组成，但也有采用三角函数或指数函数组成的乘积表示，但最常用的多项式插值函数。有限元插值函数分为两大类，一类只要求插值多项式本身在插值