偏微分方程数值解程序设计与实现——数学基础

常用算子符号

• 梯度算子
  ${\mathbb{R}}^d$空间中标量函数$u(\mathbf{x})$，其梯度算子定义如下：
  $$gradu(\mathbf{x})=\nabla u(\mathbf{x})=\left[\begin{array}{c}\frac{\partial u}{\partial x_0}\\ \frac{\partial u}{\partial x_1}\\ ⋮\\ \frac{\partial u}{\partial x_{d-1}}\end{array}\right]$$
  梯度的几何意义：标量函数在一点的梯度向量，指向该点处函数值增加最快的方向，且长度是该点处沿这个方向的函数变化率。
• 散度算子
  ${\mathbb{R}}^d$空间中标量函数$\mathbf{u}(\mathbf{x})=[u_0(\mathbf{x}),u_1(\mathbf{x}),\cdots ,u_{d-1}(\mathbf{x}){]}^T$，其散度算子定义如下：
  $$div\mathbf{u}(\mathbf{x})=\nabla \cdot \mathbf{u}(\mathbf{x})=\frac{\partial u_0}{\partial x_0}+\frac{\partial u_1}{\partial x_1}+\cdots +\frac{\partial u_{d-1}}{\partial x_{d-1}}$$
  散度的物理意义：假设$\mathbf{u}(\mathbf{x})$代表一个稳定流动的不可压缩流体（密度为1）的速度场，他在$\mathbf{x}$处的散度，就是穿出单位体积边界的通量，也叫通量密度，而通量是流场单位时间内沿指定侧通过的一个曲面的量。给定一个位于封闭曲面S内点$\mathbf{x}$,S围成的区域记为$\Omega$,
  $$\nabla \cdot \mathbf{u}(\mathbf{x})=li{m}_{S\to \mathbf{x}}\frac{1}{|\Omega |}{\int }_S\mathbf{u}\cdot \mathbf{n}d\mathbf{s}$$
• 旋度算子
  ${\mathbb{R}}^3$空间中标量函数$\mathbf{u}(\mathbf{x})=[u_0(\mathbf{x}),u_1(\mathbf{x}),u_2(\mathbf{x}){]}^T$，其旋度算子定义如下：
  $$curlu(\mathbf{x})=\nabla \times u(\mathbf{x})=\left[\begin{array}{c}\frac{\partial u_2}{\partial y}-\frac{\partial u_1}{\partial z}\\ \frac{\partial u_0}{\partial z}-\frac{\partial u_2}{\partial x}\\ \frac{\partial u_1}{\partial x}-\frac{\partial u_0}{\partial y}\end{array}\right]$$
  散度的物理意义：向量场$\mathbf{u}$在点$\mathbf{x}$处的旋度向量，用来描述流体以$\mathbf{x}$为中心的漩涡强度和方向，它的指向与漩涡旋转最快的方向满足右手法则，长度为旋转最快的方向的角速度的两倍。
  
• Laplace算子
  ${\mathbb{R}}^d$空间中标量函数$u(\mathbf{x})$的梯度的散度给出的微分算子称为Laplace算子，通常写成
  $$\Delta u(\mathbf{x})={\nabla }^{2}u(\mathbf{x})=\nabla \cdot \nabla u(\mathbf{x})=\sum _{i=0}^{d-1}\frac{{\partial }^{2}u}{\partial x_i^2}$$

散度定理

给定定义在$\Omega \in {\mathbb{R}}^d$向量函数$\mathbf{F}(\mathbf{x})$，记$\mathbf{n}$为边界$\partial \Omega$上的单位外法线向量，则有
$${\int }_{\Omega }\nabla \cdot \mathbf{F}d\mathbf{x}={\int }_{\partial \Omega }\mathbf{F}\cdot \mathbf{n}d\mathbf{s}$$
这就是散度定理。

散度定理的应用

1）取$$\mathbf{F}=v\nabla u$$，可得：
$${\int }_{\Omega }\nabla \cdot (v\nabla ud\mathbf{x})={\int }_{\partial \Omega }v\nabla u\cdot \mathbf{n}d\mathbf{s}$$

$${\int }_{\Omega }v\Delta ud\mathbf{x}+{\int }_{\Omega }\nabla u\cdot \nabla vd\mathbf{x}={\int }_{\partial \Omega }v\nabla u\cdot \mathbf{n}d\mathbf{s}$$
2）取$$\mathbf{F}=[u,0,0{]}^T$$，可得：
$${\int }_{\Omega }\nabla \cdot \left[\begin{array}{c}u\\ 0\\ 0\end{array}\right]d\mathbf{x}={\int }_{\Omega }{u}_x={\int }_{\partial \Omega }u{\mathbf{n}}_{x}d\mathbf{s}$$
3）

函数空间

这里所用到的函数空间，简单来讲就是具有某些共同性质，且对于线性运算封闭的函数组成集合，它里面通常有无穷多个函数。

• 线性运算封闭性：对于函数空间V中任意两个函数$v$,$w$，及实数空间$\mathbb{R}$中任意两个常数$c_0$和$c_1$，满足
  $$c_{0}v+c_{1}w\in V$$

• 函数空间的基：设$S={\varphi }_i$是$V$的一个子集，如果$S$中的元素线性无关，且$V$中的任意一个函数$v$都可以由它们线性表出，即存在一组和$S$中函数一样多的常数集合$c_i$，使得
  $$v=\sum _{i=0}{c}_i{\varphi }_i$$
  则称${\varphi }_i$为$V$的一组基。
  (1)函数空间由基唯一决定，即给定一组基，就唯一张成一个空间 V = s p a n { ϕ i } V=span\{\phi_i\} V=span{ϕi​}
  (2)函数空间的基不是唯一的，问题是编程实现的时候你要选择哪一组？
  (3)给定空间的一组基，就可以建立起空间$V$到空间${\mathbb{R}}^d$的一一映射，其中$d$是向量空间的维数，可以为无穷
  $$v\in V\leftrightarrow [c_0,c_1,\cdots ]\in {\mathbb{R}}^d$$

• 函数空间的维数：函数空间基函数的个数就成为函数空间的维数。包括有限维空间和无限维空间。编程实现只能处理有限位的函数空间！

• 常见的函数空间：
  记$\Omega$为${\mathbb{R}}^d$空间中的任意子区域
  1）$L^2(\Omega )$：对于任意的$V \in $L^2(\Omega )$，${\int }_{\Omega }{v}^{2}d\mathbf{x}<\infty$。
  2）$H^1(\Omega )$：函数及其导数都属于$L^2(\Omega )$空间。
  3）$\mathbf{H}(div,\Omega )$：向量函数空间，向量函数的每个分量及其散度都属于$L^2(\Omega )$空间。
  4）$\mathbf{H}(curl,\Omega )$：向量函数空间，向量函数的每个分量及其旋度都属于$L^2(\Omega )$空间。
  5）${\mathbb{P}}_k(\Omega )$：不大于$k$次的多项式函数组成的空间。
  6）${\mathbb{P}}_k(\Omega ；{\mathbb{R}}^d)$：每个分量都是不大于$k$次的多项式函数的向量函数空间。
  多项式函数空间是编程实现有限元算法的基础空间。

偏微分方程数值解：从无限到有限

“Hello World"模型：Possion方程

给定区域$\Omega \subset {\mathbb{R}}^d$，其边界记为$\partial \Omega$，求标量函数$u(\mathbf{x})$，满足
$$\begin{gathered} -\Delta u(\mathbf{x})=f(\mathbf{x}),\forall \mathbf{x}\in \Omega \\ u(\mathbf{x})=0,\forall \mathbf{x}\in \partial \Omega \end{gathered}$$

• Laplace算子$\Delta$的定义

  • $d=1$：$\Delta (\mathbf{x})=\Delta u(x)=u_x$
  • $d=2$：$\Delta (\mathbf{x})=\Delta u(x,y)=u_{xx}+u_{yy}$
  • $d=3$：$\Delta (\mathbf{x})=\Delta u(x,y,z)=u_{xx}+u_{yy}+u_{zz}$

• 未知量是什么？需要求无穷多个点处对应的函数值。

• 该问题求解的困难之处：算子和未知量的无限性。

从微分到积分：连续的弱形式

从无限到有限：离散的弱形式

从无限到有限：数值积分

总结

• 上面通过弱形式（变分）把偏微分方程转化为代数方程的方法统称为Galerkin方法。
• 偏微分数值计算方法就是为解决偏微分方程模型的无限性和计算资源的有限性这对本质矛盾而出现，并不断前进发展的。
• 与Galerkin方法不同的另一种方法——有限差分方法，是通过数值微分来解决微分算子定义的无限性问题。

全部内容来自湘潭大学魏华祎老师暑期学校课程https://www.bilibili.com/video/BV1np4y1S7LK/