SOBOLEV梯度

SOBOLEV GRADIENT

翻译自 Application of Sobolev Gradient Method to Solve Klein Gordon Equation

实值$C^1$函数$F$在${\mathbb{R}}^n$上的梯度$\nabla F$，其中$n$为正整数，由下式给出：
$$\underset{t\to 0}{\lim }\frac{1}{t}\left(F\left(x+th\right)-F\left(x\right)\right)=F^{\prime }(x)h={⟨h,\nabla F(x)⟩}_{{\mathbb{R}}^n}x,h\in {\mathbb{R}}^n.\text{\hspace{1em}(1)}$$
记${⟨\cdot ,\cdot ⟩}_S$是${\mathbb{R}}^n$上一个不同于标准内积${⟨\cdot ,\cdot ⟩}_{{\mathbb{R}}^n}$的内积。那么，存在一个函数${\nabla }_{S}F:{\mathbb{R}}^n\to {\mathbb{R}}^n$，使得
$$F^{\prime }(x)h={⟨h,{\nabla }_{S}F(x)⟩}_{S}x,h\in {\mathbb{R}}^n.\text{\hspace{1em}(2)}$$
线性函数$F^{\prime }(x)$可以用${\mathbb{R}}^n$上的任意内积表示。那么${\nabla }_{S}F(x)$就是函数$F$在内积为${⟨\cdot ,\cdot ⟩}_S$下的梯度。考虑线性变换$A:{\mathbb{R}}^n\to {\mathbb{R}}^n$，那么两个内积的关系为：
$${⟨x,y⟩}_S={⟨x,Ay⟩}_{{\mathbb{R}}^n}x,y\in {\mathbb{R}}^n.\text{\hspace{1em}(3)}$$
则两个梯度的关系为：
$$\left({\nabla }_{S}F\right)(x)=A^{-1}\nabla F(x),x\in {\mathbb{R}}^{n}x\in {\mathbb{R}}^n.\text{\hspace{1em}(4)}$$

对于每个$x\in {\mathbb{R}}^n$在${\mathbb{R}}^n$中都存在内积${⟨\cdot ,\cdot ⟩}_x$。对于每个$x\in {\mathbb{R}}^n$，定义${\nabla }_{x}F:{\mathbb{R}}^n\to {\mathbb{R}}^n$为：
$$F^{\prime }(x)h={⟨h,{\nabla }_{x}F(x)⟩}_x\text{for }x,h\in {\mathbb{R}}^n.\text{\hspace{1em}(5)}$$

$F$的梯度有很多种，这取决于度量的选择，而这些梯度具有非常不同的数值特性。这种定义在有限或无限维Sobolev空间中的函数梯度，称为Sobolev梯度。最速下降可以分为两种类型：离散最速下降和连续最速下降。

设${\nabla }_{S}F$为实值$C^1$函数$F$在Hilbert空间$H$上对为内积${⟨\cdot ,\cdot ⟩}_S$的梯度。离散最速下降可以看作是，给定初始点$x_0$，构造一个序列 { x k } \{ x_k \} {xk​}：
$$x_k=x_{k-1}-{\delta }_k\left(\nabla F\right)(x_{k-1}),k=1,2,\cdots .\text{\hspace{1em}(6)}$$
其中：
$${\delta }_k=\underset{\delta }{\min }F\left(x_{k-1}-\delta \left(\nabla F\right)(x_{k-1})\right).\text{\hspace{1em}(7)}$$

连续最速下降是一个构造函数$z:[0,\infty )\to H$：
$$\frac{\mathrm{d}z}{\mathrm{d}t}=-\nabla F\left(z(t)\right),z(0)=z_{\text{initial}}.\text{\hspace{1em}(8)}$$
$z(t)\to z_{\infty }$在$F$上的合适条件下，其中$F(z_{\infty })$是$F$的最小值。

离散最速下降的极限情况可以看作是连续最速下降，因此，我们可以把(6)看作是近似求解(8)的数值方案。 连续最速下降给出了一个理论起点，证明离散最速下降的收敛性。

考虑式(6)，当$u={\lim }_{k\to \infty }{x}_k$，满足
$$F(u)=0\text{ or }({\nabla }_{S}F)(u)=0.\text{\hspace{1em}(9)}$$
同样，对于(8)，$u={\lim }_{t\to \infty }{x}_t$亦满足(9)。