泛函在有限元法中的应用

1应用泛函在有限元法中的应用姓名：杨泽鹏学号：1201302772通过《应用泛函分析》课程的学习，了解到泛函分析是高等数学的推广，它综合了函数论、几何和代数的观点研究无穷维向量空间上的函数、算子和极限理论。半个多世纪以来，泛函分析一方面以其他众多学科所提供的素材提取自己研究的对象和某些手段，并形成了自己的许多重要分支；另一方面，它也强有力的推动者其它分析学科的发展。它的观点和方法已经渗入到不少工科技术的学科之中，成为近代分析数学的基础之一。有限元法（FiniteElementMethod，简称FEM）是求解偏微分方程定解问题的一种数值计算方法。它能成功地求解许多问题，如在热传导问题、结构工程学中的应力分析，地下水非稳定渗流问题，土力学、岩石力学中的应力－应变与稳定分析等。另外，有限元法也广泛应用在地球物理学中，由于地下地质体都是三维连续的，控制其性质的如连续性方程、运动方程、能量方程，以及这些方程相应的定解条件都非常复杂。由于这些控制方程都是偏微分方程，且大多都是非线性的，自变量多，计算域的几何形状和边界条件复杂，很难求得解析解，因此，就需要通过网格划分的方法把计算域离散化，并选取适当的途径将微分方程及其定解条件转化为网格节点上相应的代数方程组，即建立离散的方程组，然后通过求解代数方程组来得到网格节点的值，而计算域内其他位置上的值则根据节点位置上的值来确定。从而得到这些控制方程的数值解，满足工程实际的需要。有限元法是一种常用的离散化方法，它是以应变原理和剖分差值为基础的，所谓变分原理就是对偏微分方程的求解转化为求某个泛函的极值问题，剖分差值是把定解区域从几何上划分为点、线、面单元，然后按单元分别差值，最后形成整个单元集合体的差值。所以这种方法就是从变分原理出发，利用整个单元集合体的差值，把求解某个泛函的极值问题化为一个多元线性代数方程组的求解问题，从而获得所要求的数值解。下面，重点分析泛函在有限元法中的应用。1、泛函和极值下面为便于说明，举一个简单的例子：在一个平面上，求链接0,Aay，1(,)Bby两点的最短曲线。为方便计，取(0,0)A，(1,1)B，设链接,AB的曲线为()yyx，由定积分中的弧长公式，则弧长1'20()1Lyxydx（1）3因过,AB两点的曲线可以很多，将过,AB两点的所有曲线的全体记作0H。一条曲线即一个函数，因此0H是一个函数集合，且0H为式（1）的容许函数类，显然nyx（0n）属于式（1）的函数类0H，且yx使弧长最短。可以看出，0H中任一个函数()yyx，曲线弧长L都有一个确定值与之对应，我们把这种建立在函数与数（实数或复数）之间的关系叫做泛函关系。所以，可以这样定义泛函：设()yx是已给的函数集，如果对于集中任一函数()yx恒有某个确定的数与之对应，记为Lyx或Ly，则说Ly是定义于集()yx上的一个泛函。简言之，泛函是以函数集为定义域的实值函数。一般地，一个自变量的泛函的一般形式为：'(,,)baLyxFxyydx（2）如果在式（2）的容许函数类0H中，存在一个函数()yyx与另一个邻近的任一个函数1()yyx，若有1()()JyxJyx，则称()yyx为式（2）的极小值曲线，或称泛函()Jyx在曲线()yyx上取得极小值。2、尤拉（Euler）方程如果yyx是泛函式（2）的极小值曲线，而1()yxyxx，x是任意函数，且具有连续的一阶导数，为使1yx0H，设0ab，于是代入式（2）有''(,,)baJyxFxyydx（3）式（3）是的函数，当0时，便得泛函极小值Jyx，根据有极值的必要条件有0dJd＝0''''00,,bbyyaadJdFxyydxFfdxdd上式右端第二项采用分部积分公式有4'''''bbbbayyyyaaaddFdxFFdxFdxdxdx于是''00bbbyyyyaaadJddFdxFdxFFdxddxdx由于x的任意性，所以有'0yydFFdx（4）上式即为著名的尤拉方程。若泛函Jyx在yyx上取得极值，则yyx必满足尤拉方程，求泛函的极小值问题就是变分问题。通过分析，偏微分方程定解问题与相应泛函极值问题具有等价性〔2〕，我们根据这种等价性，可以将求解偏微分方程定解问题转化为求某一泛函的极小值函数问题，从而求偏微分方程定解问题的数值解。3、常微分方程边值问题的有限元方法设求边值问题''(0)()000xapyqyfyya（5）的近似解，其中()0,0pxqx；',,pxqxfx在0,a上连续，而上式的近似解现在变为求泛函数的极小值函数的近似解。下面通过具体的例子来用有限元法解边值问题''01010yyxxyy将0,1四等分。解：可知1,1,()pqfxx，将0,1四等分，1,(0,1,2,3,4)44iiilxi1,iixx的中点为1112128iixxi。根据已知数据，计算5114498951122411959824442412iK()112iiifbl＝12112111218864iii有98959598989519598989524959898959598K11134113586464571277b又由0400,10yy，于是有1233196952951969539519692yyy解此方程组，得到1230.03521,0.05686,0.05052yyy