有限单元法

有限元法最初起源于土木工程和航空工程中的弹性和结构分析问题的研究。它的发展可以追溯到Alexander Hrennikoff（1941）和Richard Courant (1942)的工作。这些先驱者使用的方法具有很大的差异，但是他们具有共同的本质特征：利用网格离散化将一个连续区域转化为一族离散的子区域，通常叫做元.Hrennikoff的工作离散用类似于格子的网格离散区域; Courant的方法将区域分解为有限个三角形的子区域，用于求解来源于圆柱体转矩问题的二阶椭圆偏微分方程. Courant的贡献推动了有限元的发展，绘制了早期偏微分方程的研究结果。

有限元方法的发展开始于五十年代中后期使用在机身框架和结构分析上，并于六十年代通过斯图加特大学的John Argyris（英语：John Argyris）和柏克莱加州大学的Ray W. Clough（英语：Ray W. Clough）在土木工程中的应用工作中积累经验。

基于五十年代至六十年代大型水坝计算研究的实践经验，1965年，中国计算数学专家冯康发表了《基于变分原理的差分格式》一文，奠定了有限元计算方法的严格数学理论，为后世有限元计算方法的实际应用提供了理论保证。且冯康教授的“有限元法”严密理论体系是先于西方的，是国际公认的当代计算数学的一项重大成就，不同的是冯康教授只是从数学方面提出有限元法的。^[3][4]

单元

单元（Element）是由节点组成的几何体，如三角形单元，四面体单元等。

节点

节点（Node）是单元几何体的端点、顶点或特定点，单元的各物理量变化均体现在节点上，例如在弹性力学问题中，一个有两个节点的线单元的质量集中在两个节点上，受力也只能作用在节点上，变形也用节点的位移表示。

自由度

节点自由度（Degree of Freedom，简写 DoF），是节点上变量的个数，例如用位移法解结构问题时节点自由度为3，表示单个节点上三个坐标方向上的位移，又例如热分析时节点自由度为1，表示某个节点处的温度值。

网格

网格（Mesh）是由多个单元通过共用节点组成的单元网络，用以表示待解问题域。

以下用有限元分析解决两个简单问题，更一般的问题可以类似的推导出来。

P1是一个较简单的一维问题

${\displaystyle {\mbox{ P1 }}:{\begin{cases}u''(x)=f(x){\mbox{ in }}(0,1),\\u(0)=u(1)=0,\end{cases}}}$ 

其中${\displaystyle f}$ 是已知函数, ${\displaystyle u}$ 是关于${\displaystyle x}$ 的未知函数, ${\displaystyle u''}$ 是${\displaystyle u}$ 对${\displaystyle x}$ 的二阶导数。

二维比较简单的问题是狄利克雷问题

${\displaystyle {\mbox{P2 }}:{\begin{cases}u_{xx}(x,y)+u_{yy}(x,y)=f(x,y)&{\mbox{ in }}\Omega ,\\u=0&{\mbox{ on }}\partial \Omega ,\end{cases}}}$ 

其中${\displaystyle \Omega }$ 是${\displaystyle (x,y)}$ 平面上的连通开区域，它的边界${\displaystyle \partial \Omega }$ 是良好的（例如，光滑流形或多边形）, ${\displaystyle u_{xx}}$ 和${\displaystyle u_{yy}}$ 分别表示${\displaystyle x}$ 和${\displaystyle y}$ 的二阶导数。问题P1能够通过计算不定积分而直接解决。然而，解决边值问题的这一方法只有在空间维数为1时才可用，并且不能推广到高维问题以及形如${\displaystyle u+u''=f}$ 的问题。出于这种考虑，我们将用有限元方法解决P1并将其推广至问题P2.

我们的描述分为两步，每步都反映了用有限元解决边值问题的本质。

• 将原问题描述为它的弱形式，或变分形式。这一步很少或不需要计算。
• 离散化，将弱形式在有限维空间离散化。

这两步之后，我们可以构造一个大型有限维线性方程，线性方程的解就是原边值问题的逼近解。然后，这一有限维问题由计算机求解。

弱解形式

P1的弱解形式

第一步是将问题P1和P2转化为他的等价变分形式，或弱解形式。

如果${\displaystyle u}$ 是问题P1的解，那么对任何满足边界条件的光滑函数${\displaystyle v}$  ,有

（1）${\displaystyle \int _{0}^{1}f(x)v(x)\,\mathrm {d} x=\int _{0}^{1}u''(x)v(x)\,\mathrm {d} x}$ 

相反如果 ${\displaystyle u}$ 对任何光滑函数${\displaystyle v(x)}$ 满足${\displaystyle u(0)=u(1)=0}$ 和（1），

那么${\displaystyle u}$ 是P1的解。对于二次可导函数${\displaystyle u}$ 证明这一点是非常容易的（利用中值定理）。

通过对（1）的右侧使用分部积分，可以得到

（2）${\displaystyle {\begin{aligned}\int _{0}^{1}f(x)v(x)\,\mathrm {d} x&=\int _{0}^{1}u''(x)v(x)\,\mathrm {d} x\\&=u'(x)v(x)|_{0}^{1}-\int _{0}^{1}u'(x)v'(x)\,\mathrm {d} x\\&=-\int _{0}^{1}u'(x)v'(x)\,\mathrm {d} x=-\phi (u,v)\end{aligned}}}$ 

其中假设${\displaystyle v(0)=v(1)=0}$ 。

P2的弱解形式

f当我们使用格林恒等式来表示式（2）， P2可以 ${\displaystyle u}$ 的积分型式表示，在此定义 ${\displaystyle \phi (u,v)}$ 

${\displaystyle \int _{\Omega }fv\,ds=-\int _{\Omega }\nabla u\cdot \nabla v\,ds\equiv -\phi (u,v),}$ 

此处 ${\displaystyle \nabla }$ 代表梯度，即为二维平面上的内积 。另外 ${\displaystyle \,\!\phi }$ 可以转为内积空间 ${\displaystyle H_{0}^{1}(\Omega )}$  ，且 ${\displaystyle \Omega }$ 的一次微分函数 ${\displaystyle \partial \Omega }$ 为零。我们也可以假设 ${\displaystyle v\in H_{0}^{1}(\Omega )}$  （详见索伯列夫空间） 也可以显示解的存在性和唯一性。

证明解的存在性和唯一性

P1 和 P2 通过上述过程被离散化，并简化为 子问题 (3)。 基本思路是将无限维线性问题替换掉：

找到 ${\displaystyle u\in H_{0}^{1}}$  使

${\displaystyle \forall v\in H_{0}^{1},\;-\phi (u,v)=\int fv}$ 

表示唯有限维度的形式：

子问题(3) Find ${\displaystyle u\in V}$  such that

${\displaystyle \forall v\in V,\;-\phi (u,v)=\int fv}$ 

此处 ${\displaystyle V}$  是${\displaystyle H_{0}^{1}}$ 的一个有限维度线性子空间。

${\displaystyle V}$ 有许多可能的形式，但对于有限单元而言，在此将假定${\displaystyle V}$ 存在于分段多项式函数的空间中。

对于 P1

在此在区间 ${\displaystyle (0,1)}$ 之中选择 ${\displaystyle n}$ 个${\displaystyle x}$ 的可能值 ${\displaystyle 0=x_{0}<x_{1}<\cdots <x_{n}<x_{n+1}=1}$  接着定义${\displaystyle V}$  为：

${\displaystyle V=\{v:[0,1]\rightarrow \mathbb {R} \;:v{\mbox{ is continuous, }}v|_{[x_{k},x_{k+1}]}{\mbox{ is linear for }}k=0,\dots ,n{\mbox{, and }}v(0)=v(1)=0\}}$ 

令e ${\displaystyle x_{0}=0}$  和 ${\displaystyle x_{n+1}=1}$ 。观察到在 ${\displaystyle V}$  之中的函数根据微积分的基本定义是不可微分的。 当然，当 ${\displaystyle v\in V}$ ，则通常不定义 ${\displaystyle x=x_{k}}$ ，${\displaystyle k=1,\ldots ,n}$ 的导数，但导数事实上存在于每一个${\displaystyle x}$ 的位置，并可以利用这些导数来进行部分积分运算。

对于 P2

${\displaystyle V}$  是属于 ${\displaystyle \Omega }$ 的一系列函数。 在右图中，图片下半部是一个15边形的平面${\displaystyle \Omega }$ 的三角分割（英语：Polygon triangulation），以及该多边形的分段线性函数（图片上半部彩色部分），即 在三角分割（英语：Polygon triangulation）所形成的每个三角形上呈线性； 空间${\displaystyle V}$ 则由在所在的三角分割（英语：Polygon triangulation）的每个三角形上的函数线性组合而成。

我们希望当下面的三角形网格变得越来越精细，离散子问题（3）的解在某种意义上将收敛到原始边界值问题P2的解。 为了测量此网格的细度，三角分割（英语：Polygon triangulation）由一很小的实数${\displaystyle h>0}$ 所表示。此参数将与三角分割（英语：Polygon triangulation）中最大或平均三角形的大小有关。 当我们提高三角分割（英语：Polygon triangulation）的精度时（分割出更多三角形），分段线性函数的空间${\displaystyle V}$ 应会随${\displaystyle h}$ 变动。因此，在某些文献中会以${\displaystyle V_{h}}$ 来代表。

• 广义有限元方法
• 机能使用监控系统（英语：Health and usage monitoring systems）
• 集成车辆健康管理系统（英语：Integrated vehicle health management）
• 虚拟工作场所（英语：Virtual workplace）

• MIT Video Lecture on the Finite Element Method
• Multiphysics Glossary （页面存档备份，存于互联网档案馆）（Glossary of Multiphysics and Finite Element Modeling terms by COMSOL）
• NAFEMS（页面存档备份，存于互联网档案馆） -- The International Association for the Engineering Analysis Community
• IFER （页面存档备份，存于互联网档案馆） -- Internet Finite Element Resources - an annotated list of FEA links and programs
• Workshop "The Finite Element Method in Biomedical Engineering, Biomechanics and Related Fields" （页面存档备份，存于互联网档案馆）
• Finite Element Analysis Resources- Finite Element news, articles and tips
• COMSOL Multiphysics Finite Element Analysis Software （页面存档备份，存于互联网档案馆） - Official site
• CAD, Finite Element Analysis（Abaqus,Ansys）, CAE, Programming （页面存档备份，存于互联网档案馆）- FEM, CAD, Programming, discussion forums
• Finite Element Books- books bibliography
• Mathematics of the Finite Element Method （页面存档备份，存于互联网档案馆）
• Finite Element Methods for Partial Differential Equations （页面存档备份，存于互联网档案馆）
• FEM AVI-gallery at CompMechLab site, St.Petersburg State Polytechnical University, Russia
• Intro to FEA
• Introduction to FEA for EM modeling（includes list of currently available software）
• Finite Element modeling of light feapower^{[永久失效链接]}
• propagation （页面存档备份，存于互联网档案馆）
• World Association of Fatigue, Durability and Fracture Mechanics - Fatigue for Finite Element Models （页面存档备份，存于互联网档案馆）