第四章 求解导热问题的有限单元法
第节 概述
第节 泛函变分原理 第节 有限单元法
第节 概述
粗略地讲：有限元法是获得微分方程近似解的一种方法，是一种适合计算机来求解的数值计算方法。（元素特性方程和总体合成方程的建立可以采用直接法，变分法，加权余数法和能量平衡法等四种方法之一，所以粗略地说有限元法是获得微分方程近似解的一种方法也有道理）
比较严格的定义：有限单元法是求解泛函变分问题的一种近似方法。
那么这两种说法有什么联系，或者说是共同之处呢？ 变分和微分是对未知函数的不同描述，同一连续介质问题往往都可以找到微分和变分的等价表达方式。变分和微分几乎是同时发展起来的两个数学分支，其目的是相同的，都是求解未知函数，但是方法上有很大差别。
在已知边界条件的情况下，求微分方程的精确解析虽然已有完整的理论，但是真正能解出的只有极少数的几种简单情况，因为在很多情况下，微分方程并不存在初等函数解析解。（对于各种各样的映射，初等函数的表达能力实在太有限了，初等函数包括：冥函数、指数函数、对数、三角函数，以及它们的四则运算等。）由于寻求微分方程的初等函数解析解有困难，所以我们在前一章讲述了微分方程的近似解法，即差分法。
泛函变分原理虽然也可以用解析法（即积分）求得未知函数，但是因为有很多被积函数根本无法找到初等原函数，也就不能积分，尤其是对于二维和三维问题，解析法更加困难。所以我们也要寻求泛函变分的近似解法。泛函变分的近似解法包括里兹法和有限元法（里兹法是有限元法的前身），这两种方法的原理完全相同，即：构造一个近似的初等函数，用近似的初等函数去逼近未知函数。因为任何未知函数都可以找到它的近似初等函数（如：包含待定系数的多项式或三角函数），所以从根本上克服了解析法（无法找到初等原函数）的局限性—牺牲极小的理论计算精度，却换回了对大量复杂二维和三维工程问题的适用性。
微分方程的近似解法：差分法
泛函变分的近似解法：里兹法，有限元法
第节 泛函变分原理
一、泛函的概念（借助讲解） 二、变分的概念
借助普通函数微分的概念，用类比法讲解 三、泛函的极值条件
借助普通函数的极值条件，用类比法讲解 四、里兹法（补充内容，但是很重要）
泛函变分的近似解法
一、泛函的概念
通过教材§
泛函的概念：函数的函数
泛函与普通函数的区别就在于：函数的自变量是数；而泛函的自变量则是函数，泛函的定义域由具有一定条件的一组函数组成。泛函是一个函数集到一个数集的映射；普通函数则是一个数集到另一个数集的映射。
泛函的表达式：J=J(y)=J[y(x)] J=J(T)=J[T(x，y)]
泛函的一般式：J[y(x)]??F(x,y,y')dx
x1x2从物理意义上讲，暂时你也可以把泛函理解成熵，自由能等。对于泛函的具体数值我们并不是特别关心，而更关注它何时取得极值，即取什么样的自变量函数，泛函有极值。
二、变分的概念
普通函数 y(x) 自变量的增量?x 自变量的微分dx?函数函数?x?0泛函 J[y(x)] 自变函数的增量??(x) 其中：?是一个有限小的量， 自变函数的变分 泛函的增量 泛函的变分 泛函变分运算规则： 有函数u(x)和v(x)，则： 有函数y(x)，则 泛函J[y(x)]的极值条件 lim(?x) ?y?lim[??(x)] ??0y(x)的增量?y?y(x??x)?y(x) y(x)的微分dy?lim[y(x??x)?y(x)] ?x?0函数微分运算规则： 有函数u(x)和v(x)，则： 有函数y(x)，则 函数y(x)的极值条件 三、泛函的极值条件（欧拉方程）
泛函J[y(x)]??F(x,y,y')dx的极值条件等价于Fy?x1x2dFy'?0 dx欧拉方程给出了泛函极值条件与微分方程的关系！ 利用欧拉方程解教材§
在变分问题中，使泛函J(y)为极小值的条件，除?J?0外，还应有?2J?0（二
阶变分）
四、里兹法（泛函变分的近似解法）
（变分原理在求解微分方程中的应用）连续介质问题经常有着不同的但是等价的表达公式－－微分表达公式和变分表达公式，从例§
求解变分精确解的过程中需要进行各种积分运算，而许多情况下被积函数根本无法找到与相应的初等函数形式的原函数，这说明通过求原函数来计算积分有它的局限性，甚至于可以说这种形式的变分运算根本无法体现出它的运算较微分解方程有什么优越性。 变分法的优越性体现在：我们可以找到一种适用于求得以变分形式表达问题的近似解的简便方法，这种方法叫里兹法，是有限元法的前身 。 例：用里兹法解微分方程：y''?y?1?0
?x?0,y?0边界条件?
?x?1,y?0?x?0,y?011解：构造泛函J[y(x)]??[(y')2?y2?y]dx，在满足边界条件?情况下，
022x?1,y?0?1该泛函的极值条件与微分方程y''?y?1?0同解。
利用欧拉方程可以很容易的证明两者同解（Fy??y?1，Fy'?y'） 令近似函数（或称为试探函数）
其中a1,a2,a3为待定系数，因为近似函数必须满足边界条件，所以我们构造了这样一个函数。
将近似函数代入泛函，则此时泛函J[y(x)]已经“变质”了，它不再是函数y(x)的
函数（泛函）。而实际上是关于未知数a1,a2,a3,......an的多元函数J(a1,a2,a3,......an)
普通多元函数取极值的条件：
?J?0 k=1,2,3,…n ?ak从这n个代数方程中显然可以求得a1,a2,a3,......an等n个未知数 这里，我们令 y?a1(x?x2)
＝?[a1(1?4x?4x2)?a1(x2?2x3?x4)?(x?x2)]dx
01
＝?[a1?(4a1?1)x?(3a1?1)x2?2a1x3?a1x4]dx
011111(4a1?1)?(3a1?1)?a1?a1 232513a1＝0 ＝??61055得：a1?，所以：y?(x?x2)
99＝a1?检验：
★★★★★有限元法的讲解
