关注我们： 登录 |  会员中心  | 手机版 | English

你还没有登录 请先 登录 ,如果你还不是我们的会员， 请先注册 

中仿科技社区中心

中仿社区 >> 社区Blog >> Thinking in COMSOL >> COMSOL Multiphysics弱形式入门（八）

COMSOL Multiphysics弱形式入门（八）

  发表时间 : 2012-05-16 14:16    所属类别 : 多物理场分析

有限元方法的抽象形式

现在让我们考虑PDE问题[3]：

COMSOL <wbr>Multiphysics弱形式入门（六）



在域Ω中，边界条件为COMSOL <wbr>Multiphysics弱形式入门（六）。这是对流－扩散方程的一种特例，其中COMSOL <wbr>Multiphysics弱形式入门（六），COMSOL <wbr>Multiphysics弱形式入门（六）。通过分部积分，表明当试函数选择成在边界上具有相同的边界条件COMSOL <wbr>Multiphysics弱形式入门（六）时，弱形式中的边界项为0。得到弱形式为：

COMSOL <wbr>Multiphysics弱形式入门（六）



其中包含前面提到的两种标量积，可改写为：

找到COMSOL <wbr>Multiphysics弱形式入门（六），使得对于所有属于相配的Hilbert空间中的COMSOL <wbr>Multiphysics弱形式入门（六），有：

COMSOL <wbr>Multiphysics弱形式入门（六）



这里的相配的空间是H1，且在边界上COMSOL <wbr>Multiphysics弱形式入门（六）。解函数u也必须属于这个空间。注意，对于前面提到的弱形式，我们可以很自由地添加不同的标量积，因为每个积的结果是实数或虚数。

现在我们选择前面讨论的基函数的和（线性组合）来近似u和COMSOL <wbr>Multiphysics弱形式入门（六），近似解被称作COMSOL <wbr>Multiphysics弱形式入门（六）和COMSOL <wbr>Multiphysics弱形式入门（六）。这些函数属于Hilbert空间，可称为COMSOL <wbr>Multiphysics弱形式入门（六），由线性基函数COMSOL <wbr>Multiphysics弱形式入门（六）扩展而来。COMSOL <wbr>Multiphysics弱形式入门（六）的空间维数为N（基函数的数目）。此外，COMSOL <wbr>Multiphysics弱形式入门（六）是H1的子空间，

COMSOL <wbr>Multiphysics弱形式入门（六）



换句话说，如果函数属于COMSOL <wbr>Multiphysics弱形式入门（六），则它自动地属于H1。空间H1是一个大得多的空间，因为它是无限维的。有限的基函数不可能扩散成属于H1的所有函数。

弱形式的有限元现在变成了：

对于COMSOL <wbr>Multiphysics弱形式入门（六）中的所有COMSOL <wbr>Multiphysics弱形式入门（六），在COMSOL <wbr>Multiphysics弱形式入门（六）中找到COMSOL <wbr>Multiphysics弱形式入门（六），使得

COMSOL <wbr>Multiphysics弱形式入门（六）



现在我们对有限元方法在函数空间的作为一个确定的投影的几何解释有了更深入的了解。最后，在原始的弱形式中：

COMSOL <wbr>Multiphysics弱形式入门（六）



用COMSOL <wbr>Multiphysics弱形式入门（六）代替COMSOL <wbr>Multiphysics弱形式入门（六）。这是合理的，因为COMSOL <wbr>Multiphysics弱形式入门（六）在H1中，而COMSOL <wbr>Multiphysics弱形式入门（六）在COMSOL <wbr>Multiphysics弱形式入门（六）中，由于COMSOL <wbr>Multiphysics弱形式入门（六）是H1的子空间，因此COMSOL <wbr>Multiphysics弱形式入门（六）也是在H1中，

COMSOL <wbr>Multiphysics弱形式入门（六）



现在从弱形式中减去有限元解，得到：

COMSOL <wbr>Multiphysics弱形式入门（六）



或

COMSOL <wbr>Multiphysics弱形式入门（六）



即离散误差：

COMSOL <wbr>Multiphysics弱形式入门（六）



与所有的COMSOL <wbr>Multiphysics弱形式入门（六）中的COMSOL <wbr>Multiphysics弱形式入门（六）正交。也就是说，有限元解COMSOL <wbr>Multiphysics弱形式入门（六）是真实解COMSOL <wbr>Multiphysics弱形式入门（六）在属于H1的有限维子空间COMSOL <wbr>Multiphysics弱形式入门（六）的投影。最终，我们得到了关于有限元方法的几何解释，

COMSOL <wbr>Multiphysics弱形式入门（六）



对于给定的网格，有限元解COMSOL <wbr>Multiphysics弱形式入门（六）是在函数空间COMSOL <wbr>Multiphysics弱形式入门（六）中关于标量积COMSOL <wbr>Multiphysics弱形式入门（六）最接近真实解COMSOL <wbr>Multiphysics弱形式入门（六）的解。

参考资料：

[1] Zienkiewicz, Taylor, The Finite Element Method: Volume 1-3, Butterworth-Heinemann; 5th edition, 2005

[2] T. J. R. Hughes, The Finite Element Method : Linear Static and Dynamic Finite Element Analysis, Dover Publications, 2000

[3] C. Johnson, Numerical solution of partial differential equations by the finite element method, Studentliteratur, 1987, ISBN 91-44-25241-2
分享到    豆瓣网 开心网 人人网 QQ书签 Google     2766个朋友已经阅读过这篇文章    

用户评论

姓名
评论内容
没有找到数据.
,

社区统计

  • 总注册用户: 339070
  • 新加入用户: Aliseabs
  • 讨论区主题数: 6130(今日:0)
  • 讨论区回复数: 14756(今日:0)
    当前在线用户(0):

©2003-2024中仿科技-仿真智领创新-专业计算与仿真技术咨询公司     沪ICP备07510919号