流形上Laplace算子局部表达式

一般张量场的散度

假设$(M,g)$是一个黎曼流形, 对任意的$S\in \Gamma(T_s^rM)$是一个$r$阶反变, $s$阶协变张量场.
$\newcommand{\ppt}[1]{\frac{\pt}{\pt{#1}}}$
我们可以定义$S$的散度如下:
$$
\div(S)=\tr(X\to\nabla_X S),
$$
其中$X\in\Gamma(TM)$. 它是$\Gamma(T^r_sM)\to\Gamma(T^{r-1}_sM)$的线性映射.

在局部坐标系下, 我们假设$$S=S_{j_1j_2\ldots j_s}^{i_1i_2\ldots i_r}\ppt{x^{i_1}}\otimes \ppt{x^{i_2}}\otimes\cdots\otimes \ppt{x^{i_r}}\otimes \rd x^{j_1}\otimes\rd x^{j_2}\cdots\otimes\rd x^{j_s},$$
则
$$\begin{align*}
[\div(S)]_{j_1j_2\ldots j_s}^{i_1i_2\ldots i_{r-1}}&
=[\div(S)]\bigg(\rd x^{i_1},\rd x^{i_2},\cdots,\rd x^{i_{r-1}},\ppt{x^{j_1}},\ppt{x^{j_2}},\cdots,\ppt{x^{j_s}}\bigg)\\
&=\tr\left(X\mapsto(\nabla_X S)\bigg(\rd x^{i_1},\cdots,\rd x^{i_{r-1}},\ppt{x^{j_1}},\cdots,\ppt{x^{j_s}}\bigg)\right)\\
&=g^{ij}\bigg\langle\ppt{x^{i}},
\left(\nabla_{\ppt{x^j}}S\right)
\bigg(\rd x^{i_1},\cdots,\rd x^{i_{r-1}},\ppt{x^{j_1}},\cdots,\ppt{x^{j_s}}\bigg)\bigg\rangle\\
&=g^{ij}\bigg\langle
\ppt{x^{i}},S^{i_1i_2\ldots i_{r-1}i_r}_{j_1j_2\ldots j_s;j}\ppt{x^{i_r}}
\bigg\rangle\\
&=S^{i_1i_2\ldots i_{r-1}j}_{j_1j_2\ldots j_s;j}.
\end{align*}$$

切向量场的散度

特别地, 对$S\in\Gamma(TM)$, $S=S^i\ppt{x^i}$, 有

$$
\div(S)=S^i_{;i}=\frac{\pt S^i}{\pt x^i}+S^k\Gamma_{ki}^i,
$$
这里$\Gamma_{ki}^i$为度量$g$决定的Christoffel, 它用$g$可以表示为
$$
\Gamma_{ki}^i=\frac{1}{2}g^{il}\left\{
\pt_kg_{li}+\pt_{i}g_{kl}-\pt_l g_{ki}
\right\}=\frac{1}{2}g^{il}\pt_kg_{li}.
$$
若记$G=\det(g_{ij})$, 则按照行列式的求导法则, 有
$$
\pt_k G=(\pt_k g_{li})\cdot(g^{il}G),
$$
这可以改写成
$$
\pt_k\log G=g^{il}\pt_k g_{li}.
$$
因此
$$
\Gamma_{ki}^i=\frac{1}{2}\pt_k\log G=\pt_k\log\sqrt{G}=\frac{1}{\sqrt G}\pt_k\sqrt{G}.
$$

函数的梯度场的散度

再次, 特别地, 假设$S=\mathrm{grad} f$为一个光滑函数的梯度场, 则按照梯度的定义$Xf=g(X,\mathrm{grad}f),\quad\forall X\in\Gamma(TM),$
知$\mathrm{grad}f=g^{ij}\pt_i f\ppt{x^j}:=f^j\pt_j$, 这样

$$\begin{align*}
\div S&=\div(\mathrm{grad} f)
=f^j_{;j}\\
&=\pt_j f^j+f^j\frac{1}{\sqrt G}\pt_j\sqrt{G}\\
&=\frac{1}{\sqrt G}\pt_j(f^j\sqrt{G})\\
&=\frac{1}{\sqrt G}\pt_j\bigg(\sqrt{G}g^{ij}\ppt{x^i} f\bigg).
\end{align*}$$

分部积分公式

假设$h\in C^\infty_0(M)$, 即为$M$上具有紧支集的光滑函数. 则由散度定理有:

$$
\int_M\Delta f h \;\rd v_g=-\int_M\div(\mathrm{grad}f)h\rd v_g
=\int_M\langle\mathrm{grad}f,\mathrm{grad}h\rangle\rd v_g,
$$
这是因为, $\div (hX)=h \div X+Xh,\forall X\in\Gamma(TM)$.

本作品采用创作共用版权协议, 要求署名、非商业用途和保持一致. 转载本站内容必须也遵循署名-非商业用途-保持一致的创作共用协议.