logo资料库

COMSOL Multiphysics弱形式入门.doc

第1页 / 共22页
第2页 / 共22页
第3页 / 共22页
第4页 / 共22页
第5页 / 共22页
第6页 / 共22页
第7页 / 共22页
第8页 / 共22页
资料共22页,剩余部分请下载后查看
弹性静力学PDE及其弹性能量方程
弹性势能
静态电流传导和能量的生成
电阻产生的热能
传热PDE方程和能量形式
热能
泛函极小值
弹性静力学问题变分
理论概述
小结
考虑边界条件和体力
关键推导
弱形式
弹性静力学PDE方程的弱形式
一般性问题的弱形式
对流-扩散PDE问题
COMSOL Multiphysics的弱形式用法
对流-扩散PDE问题
弱项
结构力学PDE问题
有限元方法
抽象和几何解释
标量积
Hilbert空间
有限元方法的抽象形式
参考资料:
COMSOL Multiphysics 弱形式入门 物理问题的描述方式有三种: 1、 偏微分方程 2、 能量最小化形式 3、 弱形式 本 文 希 望 通 过 比 较 浅 显 的 方 式 来 讲 解弱形式, 使 用 户 更 有 信 心 通 过 COMSOL Multiphysics 的弱形式用户界面来求解更多更复杂的问题。COMSOL Multiphysics 是唯一的 直接使用弱形式来求解问题的软件,通过理解弱形式也能更进一步的理解有限元方法 (FEM)以及了解 COMSOL Multiphysics 的实现方法。本文假定读者没有太多的时间去研 究数学细节,但是却想将弱形式快速的应用到实际工程中去。另外,本文也会帮助理解 COMSOL Multiphysics 文 档 中 常 用 的 到 一 些 术 语 和 标 注 方 法 , 相 关 理 论 可 以 参 考 Zienkiewicz[1],Hughes[2],以及 Johnson [3]等。 为什么必须要理解 PDE 方程的弱形式?一般情况下,PDE 方程都已经内置在 COMSOL Multiphysics 的各个模块当中,这种情况下,没有必要去了解 PDE 方程和及其相关的弱形式。 有时候可能问题是没有办法用 COMSOL Multiphysics 内置模块来求解的,这个时候可以使 用经典 PDE 模版。但是,有时候可能经典 PDE 模版也不包括要求解的问题,这个时候就只 能使用弱形式了(虽然这种情况是极少数的)。掌握弱形式可以使你的水平超过一般的 COMSOL Multiphysics 用户,让你更容易去理解模型库中利用弱形式做的算例。另一个原因 就是弱形式有时候描述问题比 PDE 方程紧凑的多。还有,如果你是一个教授去教有限元分 析方法,可以帮助学生们直接利用弱形式来更深入的了解有限元。最后,你对有限元方法了 解的越多,对于 COMSOL Multiphysics 中的一些求解器的高级设置就懂得更多。 一个重要的事实是:在所有的应用模式和 PDE 模式求解的时候,COMSOL Multiphysics 都是先将方程式系统转为了弱形式,然后进行求解。 PDE 问题常常具有最小能量问题的等效形式,这让人有一种直觉,那就是 PDE 方程都 可以有相应的弱形式。实际上这些 PDE 方程和能量最小值问题只是同一个物理方程的两种 不同表达形式罢了,同样,弱形式(几乎)是同一个物理方程的第三个等效形式。 这三种形式的区别虽然不大,但绝对是很关键的。我们必须记住,这三种形式只是求 解同一个问题的三种不同形式――用数学方法求解真实世界的物理现象。根据不同的需求, 这三种方式又有各自不同的优点。 PDE 形式在各种书籍中比较常见,而且一般都提供了 PDE 方程的解法。能量法一般见 于结构分析的文献中,采用弹性势能最小化形式求解问题是相当自然的一件事。当我们的研 究范围超出了标准有限元应用领域,比如传热和结构,这个时候弱形式是不可避免的。化工 中的传质问题和流体中的 N-S 方程都是没有办法用最小能量原理表述出来的。本文后面还 有很多这样的例子。 PDE 方程是带有偏微分算子的方程,而能量方程是以积分形式表达的。积分形式的好 处就是特别适合于有限元方法,而且不用担心积分变量的不连续,这在偏微分方程中比较普 遍。弱形式也是积分形式,拥有和积分形式同样的优点,但是他对积分变量的连续性要求更 低,可以看作是能量最小化形式的更一般形式。最重要的是,弱形式非常适合求解非线性的 多物理场问题,这就是 COMSOL Multiphysics 的重点了。 小结:为了理解 PDE 方程的弱形式,我们必须跳开常规的偏微分形式,对于积分形式
要好好研究。由于最小于能原理对比弱形式来说好理解的多,所以我们将从线弹性开始学 习,依次到热传导,电流传导等问题。这几种物理问题都有相关的能量和功率可以进行最 小化。我们将只涉及到静态问题,重点是在结构分析和更特殊的线弹性分析。 弹性静力学 PDE 及其弹性能量方程 在静力结构分析问题中,我们需要求解的是 Navier 方程 其中σ是应力张量,F 是体力,比如重力等。如果不习惯用张量的形式,你也可以将张量展 开写成矩阵形式。这个方程表示了力(或者等效力)的平衡,实际上是三个方程的合并形式 ——3D 中每个坐标方向有一个方程。    F 计算区域记为  ,其边界记为  。 应力张量和应变张量之间的关系称为本构关系,线弹性本构一般遵循胡克 HOOK 定律  c 其中 c 是弹性张量,这个关系式说明材料的行为实际上和弹簧差不多(前提是线弹性)。 最后,我们可以将应变矢量和位移的关系表述出来  u 这里 u 指的是位移矢量 u=(u,v,w),其定义就是变形体上的材料点和未变形时候的位移差。 总结以上所有的方程,我们得到了一个二阶 PDE 方程(Navier 方程),    u c ( ) F 需要一个边界条件来求解, n c  u ( ) P 其中 n 是表面  的法矢,P 是边界上的面力或牵引力。后面会介绍更多边界条件。 这个 PDE 方程的弱形式为, 其中 v= ( , vvv x , y ) z 称为试函数。注意,尽管 Navier 方程是一个矢量表达式,但是上面的表 达式是一个标量形式。下面介绍如何去推导以及理解弱形式。 弹性势能 在结构分析中,PDE 方程及其弱形式的表达式都不太常见,相反,能量最小化形式因 为其直观的表达形式用的较多。这类问题的能量积分形式对应于总势能的最小化,即对象中 存储的弹性能。 总弹性能是一个标量,可以写成:
弹性能表达式同样适用于非线性问题。在这些表达式中,我们假设体力 F 为零,并忽 略了边界效应。这些影响可以在以后引入。积分的意义是每个体积微元的内能总和,其中应 力张量单位是 Pa,微元体上的应变 d 没有单位,dV 单位是体积,因此积分出来的单位应 该是 N·m。 如果问题是线弹性的,则可以显式的写为: 利用下面的通用公式: 用应变张量替换上式中的标量变量 x ,弹性张量 c 替换上标量常量 a 。 联立上面的式子得到: 我们用 c 代替 c 来配合 COMSOL Multiphysics 手册中的标记方式。再提醒一次,如果你不 习惯用张量,可以将张量看成是一个 3×3 的矩阵,点乘是一种张量的运算符号,弹性张量 c 是一个 4 阶张量(看上去就像 4 维矩阵)。更多的标记方法可以参考 COMSOL Multiphysics 的 Anisotropic Structural Analysis 中的 Matrix Notation。 弹性能积分形式下的单位说明:   无][  N 2 m ]  [c]  [ d  单位  Pascal 3 m 最终给出总的积分单位是 N·m――能量。 EW 的表达式就是我们通常说的能量泛函,即位移矢量 u(或实际上是 u 的梯度)的泛 函。这种函数的函数,而不是坐标的函数,通常被称为泛函,比单元微积分和多元微积分更 加抽象。 与积分类似,我们可以说 EW 就是函数 u 的泛函:
这好比是一个 2D 的变量 x,y 的二元函数: 其中 x= ,( yx , ) A  [ a c b d ] d , [ ] e  。 b 采用这样的类比是因为在后面我们会看到矩阵 A 与有限元的刚度矩阵比较类似。 我们要说明一下函数和泛函的一些区别,古典分析中的函数概念是指两个数集之间所 建立的一种对应关系,现代数学的发展却是要求建立两个任意集合之间的某种对应关系。 函数概念被赋予了更为一般的意义,通俗解释泛函指的就是“函数的函数”。在这里定义域 为  ,泛函可以在整个定义域内进行微分积分等操作。 泛函的变量是函数,这个函数也是有容许空间的。如果函数 u 可以变化,可能会产生一 些不符合物理规则的一些现象,例如结构的刚性位移等。比如一个对 u 的基本约束就是材料 不能穿越本身。 在有限元分析中,泛函一般是某种能量积分,比如弹性能。对于其他的物理场,可能是 其他的能量积分,或者是一种等效于能量的标量也可以。至于积分区域,一般由分析对象的 CAD 几何区域所确定。 静态电流传导和能量的生成 在静态导电问题中,PDE 方程由最基本的保守形式开始:   J 0 其中 J 是电流密度。 材料(或本构)模型采用欧姆 Ohm 定律: rB E 其中 E 是电场, r 是电导率。 另外,已知: 其中V 是静电势,综合以上式子得到 E   V r V    ) 0 ( 在 COMSOL Multiphysics 中,这就是所谓的 Conductive Media DC 方程。 电阻产生的热能 稳态电流的能量问题是在电导体中的电阻热
其中 J 表示电流强度,E 代表电场强度,  是一个二阶电导张量(3×3)。如果导体是金属, 电导张量一般是一个对角矩阵,如果是晶体,情况就复杂多了。 尽量减少电阻产生的热量,也就是减少热损耗,是我们要研究的一个最小值问题。 如果问题是线性,则积分可以显式地写成: 因为 E   V ,其中 V 是电势,可以得到: 将这个式子与结构力学中的式子进行对比,发现他们非常相似。V 的梯度对应于位移梯度, 电导率张量  对应于弹性张量 c 。在稳态电流和结构力学的计算过程中,张量形式都可以 改写为矩阵形式。 传热 PDE 方程和能量形式 对于稳态传热问题,PDE 形式为: 其中 T 是温度,k 是热传导系数,Q 是空间分布的热源。 热能 基于传热方程的典型泛函为: 其中 T 是温度,k 是热传导系数张量(3×3)。 泛函极小值 泛函极值的概念借用了微积分中的不少方法。本节首先会介绍函数微积分的求极值方 法,接下来,我们会借用有限元中常用的术语和标注方法来推导我们熟悉的结果。这个过程
可以被看作是微积分方法的一种推广。 考虑一个多元微积分函数 f,我们要求最小值: 寻找 x 使得 f(x) 最小化 这里 x 是一个矢量,或者点的坐标。通过微积分我们知道,这个时候首先必须求函数 f 的梯 度。将梯度的设置为 0,我们可得到一个非线性方程组。求解方程,我们可以得到一系列的 坐标点 x,如果在其中某点处的二阶倒数(一般称为 Hessian 矩阵)为正(或者说有正的特征值), 就说这点就是我们要求的极小点,就好像该点是整个函数的一个谷底一样。 利用 Taylor 展开的观点,假设已知一个最小值 x,我们可以在上面施加一个小的扰动, 由 Taylor 展开可得: 这里 H 就是前面所说的 Hessian 矩阵。现在我们用其他的方法来说明函数 f 在 x 最小。首先, 假设 x 是一个极值点,当添加了一个 x 后,f 对于其一阶值不改变。换句话说,如果我们在 x 上添加一个 x 来扰动 f,其一阶 Taylor 级数应该为 0。这个条件应该对每个方向都是成立 的,否则该点就不是极值点了。如果上式第二项为 0: 对于任意小的 x 都成立,也就是: 我们这里只是用一个稍微有点不同的方法得到了一个同样的结果。 但是,这只是给了我们一个极值点的信息,如果要确定其是最小极值点,必须保证第三 项(二阶项)对于任意 x 都为正: 只有当 H 的特征值都为正时,上式成立(参考线性代数)。有可能会遇到二阶项也总为 0, 这个时候我们必须借助更高阶项来判断极值点。 下面是函数 f 的一个特例: 二次多项式: 其中 A 是对称矩阵。如果我们应用 Taylor 展开,可得到: 或者 这里零阶,一阶和二级项都在独立的中括号内。为了得到一阶变分,矩阵A必须是对称的。 极值的条件成了:
对于任意小 x 都必须成立,则上式成为: 这里我们对矩阵进行了转置,而且利用了矩阵 A 的对称性,即 AT  。 A 极小值的条件也就是矩阵 A 必须是一个正定矩阵,如果矩阵 A 是负定矩阵(只有负特 征值),则得到极大值。如果 A 是不确定的(特征值有正有负),则极值可能是一个鞍点, 既不是极大值,也不是极小值。如果矩阵 A 是对称的,而且正定,则函数 f 是超椭圆的。 在 2D 中,超椭圆就是椭圆。二次多项式的几何特征影响经典的 PDE 方程和有限问题的分 类。当利用有限元方法去离散一个椭圆的 PDE 问题时候,得到一个对称矩阵(刚度矩阵) 的线性代数系统。这样的问题一般等效于最小能量问题。 弹性静力学问题变分 我们将通过两个步骤来介绍最小能量法理论。首先粗略说明,让大家熟悉基本概念;接 下来考虑细节。还是以线性静态问题为例,因为这是所有有限元理论都会提到的,从而更容 易进行比较。 理论概述 让我们回到线弹性问题的弹性能泛函表达式: 这里的位移矢量 u 和前面讲的微积分中的点矢量 x 的角色类似。 要寻找能量泛函 EW 的最小值,我们首先必须得在 u 上施加一个扰动 u : 上式中两个中间项实质上是一样的(因为 c 的对称性),所以我们可以写成:
将上式和多元函数表达式对比,我们发现寻找极值点就是找一个使二次项为零的 u: 其中 u 是任意的。 如果我们要寻找的是极小点,则还必须有: 第二项就是泛函的一阶微分: 第三项成为泛函的二级微分: 和前面一样,为了寻找极小点,我们必须保证对于任意u 第一阶微分为零,二阶微分 为正。这种寻找最小势能函数的方法也可以称作虚功原理。 另外还有一种方法就是初始的时候将扰动写成u ,这时对于任意可取的u ,其能量 函数写成 ( W u u 。回到微积分的基本概念,去寻找 W 对于的极值点: ) 如果我们将它看成是对于的 Taylor 展开,就可以找出其一阶导数(对于极值点必须 为零),由于 u 是任意可取的,我们可以得到和前面相同的结果。 小结 上面的过程省略很多推导步骤,如果大家对推导有兴趣,可以试着自己推导。我们要说
分享到:
收藏