2021-5-26 第七天 (有限元的基本概念)

附上参考资料镇楼
Brenner S, Scott R. The mathematical theory of finite element methods[M]. Springer Science & Business Media, 2007.
从第三章开始看了,中间的东西抽空每天打点, Sobolev 空间的东西不做题还是没用.首先给出有限元的定义:

基本概念

定义: (有限元)
令:

• $K\subset {\mathbb{R}}^n$ 表示内点非空并且具有分片光滑边界的有界闭集(网格单元).
• $\mathcal{P}$ 表示定义在 $K$ 上的有限维函数空间.
• N = { N 1 , N 2 , ⋯   , N k } \mathcal{N} = \left\lbrace N_{1}, N_{2}, \cdots, N_{k} \right\rbrace N={ N1​,N2​,⋯,Nk​} 表示 ${\mathcal{P}}^{{}^{\prime }}$ 的一个基函数(节点变量).

称三元组 $(K,\mathcal{P},\mathcal{N})$ 为有限元.

定义: (节点基函数) 假设 $(K,\mathcal{P},\mathcal{N})$ 为有限元,定义 { ϕ 1 , ⋯   , ϕ k } \left\lbrace \phi_{1}, \cdots, \phi_{k}\right\rbrace { ϕ1​,⋯,ϕk​} 表示 $\mathcal{P}$ 的 $\mathcal{N}$ 的对偶基,即有: $N_i\left({\varphi }_j\right)={\delta }_{ij}$, 称这样的基函数为$\mathcal{P}$的节点基函数.

例子: (1维 Lagrange 有限元) 记 $K=\left[0,1\right]$, $\mathcal{P}$ 表示一次多项式, 定义 $N_1(u)=u(0),N_2(u)=u(1)$. ${\varphi }_1(x)=1-x,{\varphi }_2(x)=x$ 为节点基函数, 满足:
$$\begin{array}{rl}& N_1({\varphi }_1)=1N_1({\varphi }_2)=0\\ & N_2({\varphi }_1)=0N_2({\varphi }_2)=1\end{array}$$
一般的, 假设 $K=[a,b]$, 定义 ${\mathcal{P}}_k$ 表示次数不超过 k k