泛函分析笔记(二十) 二阶边值问题

• 1. 前置知识
  • 1.1. 格林公式
  • 1.2. 算子
• 2. 边值问题

1. 前置知识

足够光滑的向量场 $u,v:\Omega \to {\mathbb{R}}^N$ ，其中

$$\nabla v=({\partial }_{i}v{)}_{i=1}^N,|\nabla v|:=(\sum _{i=1}^N|{\partial }_{i}v{|}^2{)}^{\frac{1}{2}},\nabla u\cdot \nabla v=\sum _{i=1}^N{\partial }_{i}u{\partial }_{i}v$$

其中 $|\cdot |,\cdot$ 分别表示2范数和欧式内积

$\Omega$ 是 ${\mathbb{R}}^N$ 中的区域， $\nu =({\nu }_i{)}_{i=1}^N$ 表示沿着 $\Gamma =\partial \Omega$ （就是边界）的单位外法向量场。（很像梯度）

迹： $v$ 是 $\overline{\Omega }\to \mathbb{R}$ 上的连续函数， $\Omega$ 是 $\mathbb{R}$ 的开子集，则在边界 $\Gamma :=\partial \Omega$ 上的迹为连续函数 $trv:\Gamma \to R$ ,有 $(trv)(x)=v(x),x\in \Gamma$

所以讲一个函数的迹就是限制在边界上的映射。

1.1. 格林公式

1. 对任意 $u\in H^2(\Omega )$ ，令

$$\Delta u=\sum _{i=1}^N{\partial }_{ii}u\in L^2(\Omega )$$

(看上去这好像就是个散度？)

$${\partial }_{\nu }u=\sum _{i=1}^N{\nu }_i{\partial }_{i}u\in L^2(\Gamma )$$

(用单位法向量和函数的迹做欧式内积吗，得到迹在法向量方向的投影)

其中 ${\partial }_{i}u\in L^2(\Gamma )$ 表示函数 ${\partial }_{i}u\in H^1(\Omega )$ 在 $\Gamma$ 上的迹。

此时下Green公式成立：

$${\int }_{\Omega }\nabla u\cdot \nabla vdx=-{\int }_{\Omega }(\Delta u)vdx+{\int }_{\Gamma }({\partial }_{\nu }u)vd\Gamma$$

2. 给定函数 $a\in {\mathcal{C}}^2(\overline{\Omega })$ 以及 $u\in H^1(\Omega )$ ，则函数 $au$ 属于空间 $H^1(\Omega )$ ，且下格林公式成立

$${\int }_{\Omega }au{\partial }_{j}vdx=-{\int }_{\Omega }({\partial }_j(au))vdx+{\int }_{\Gamma }auv{\nu }_{j}d\Gamma$$

1.2. 算子

$\Delta =\sum _{i=1}^N{\partial }_{ii}$ 作用在定义于 $\Omega$ 内的函数上，称为Laplace算子

$\Delta u$ 称为 u 的 Laplace 算符。

${\partial }_{\nu }=\sum _{i=1}^N{\nu }_i{\partial }_i$ 作用于定义在边界 $\Gamma$ 上的函数上，称为外法向微分算子， ${\partial }_{\nu }u$ 称为 $u$ 的外法向导数。

2. 边值问题

给定 $f\in L^2(\Omega )$ ，令
$$V=H_0^1(\Omega )$$

$$a(u,v)={\int }_{\Omega }(\nabla u\cdot \nabla v+cuv)dx,u,v\in V$$

$$l(v)={\int }_{\Omega }fvdx,v\in V$$

则有唯一的函数 $u\in H_0^1(\Omega )$ 使以下泛函极小化

$J(v):=\frac{1}{2}a(v,v)-l(v)=\frac{1}{2}{\int }_{\Omega }(|\nabla v{|}^2+c{v}^2)dx-{\int }_{\Omega }fvdx,v\in H_0^1(\Omega )$

即满足变分方程 $a(u,v)=l(v),v\in H_0^1(\Omega )$

一个 $f$ 对应一个 $u$ 嘛，所以可以定义线性映射来表示这种关系

$f\in L^2(\Omega )\to u\in H_0^1(\Omega )$

这个映射是连续的，而且函数 $u$ 满足边值问题：

$-\Delta u+cu=f$ 在 $\Omega$ 上，且 $u=0$ 在 $\Gamma$ 上

别的就不证明了，最后这个边值问题来自于变分方程。

$${\int }_{\Omega }(\nabla u\cdot \nabla v+cuv)dx={\int }_{\Omega }fvdx$$

即为

$${\int }_{\Omega }[(\nabla u\cdot \nabla v+cuv)-fv]dx=0$$

可得

$$-\Delta u+cu-f=0$$

（边界条件 u=0，第一项用格林公式替换）
是其次的

更一般的有

$$-\Delta u+cu=f在\Omega 中,u=u_0在\Gamma 上$$

称为偏微分算子 $\mathcal{L}:v\to \mathcal{L}v=-\Delta v+cv$ 的 Dirichlet问题。
（这是非齐次的）

特殊情况：

Possion方程: $-\Delta u=f$

Laplace方程: $-\Delta u=0$

（Laplace 方程的解是调和函数）