2021-5-17 有限元方法从0开始学习笔记 第一天

第一天

从今天开始从0学习有限元方法, 由于记纸质笔记太麻烦, 字也比较丑, 无法静下心来, 因此选择在博客上记录笔记, 每天能看多少记录多少, 虽然速度可能会慢一点, 但希望能够静下心来, 坚持学习.
参考资料
Brenner S, Scott R. The mathematical theory of finite element methods[M]. Springer Science & Business Media, 2007.

(0.1 节)

弱形式

考虑边值问题:
$$\{\begin{array}{l}-\frac{d^{2}u}{d{x}^2}=f\in (0,1)\\ u(0)=0,u^{{}^{\prime }}(1)=0\end{array}.$$
定义函数空间:
$$V=H_{\diamond }^1(0,1)=\left\{u\in H^1(0,1)|u(0)=0\right\}.$$
下面假设需要在空间 $V$ 上找解 $u$ ,将上面两边同事乘以 $v\in V$ 并且进行分部积分, 得到如下弱问题:
$$\text{find}u\in Vs.t.,a(u,v)=(f,v)\forall v\in V.(\text{WP})$$
其中
$$\begin{gathered} a(u,v)={\int }_0^1{u}^{\prime }(x)v^{\prime }(x)dx, \\ (f,v)={\int }_0^{1}f(x)v(x)dx. \end{gathered}$$
下面给出以下定理:
定理: 假设在问题$(\text{WP})$中有 $f\in C^0([0,1])$ 以及 $u\in C^2([0,1])$则, $u$ 是原来边值问题的解.
证明:
设 $v\in V\cap C^1([0,1])$(为了保证能够在连续意义下进行分部积分.), 对问题$(\text{WP})$进行分部积分, 得:
$$(f,v)=a(u,v)={\int }_0^1-u^{{}^{\prime \prime }}vdx+u^{{}^{\prime }}(1)v(1).$$
代入右端边界条件, 移项得到:
$$(f+u^{{}^{\prime \prime }},v)=0,\forall v\in V\cap C^1\left([0,1]\right)\&v(1)=0.$$
下面证明 w = f + u