椭圆型变分问题理论及数值方法

作者: Jupiter_19 | 来源:发表于2018-10-19 23:30 被阅读45次

椭圆型变分问题理论及应用

张少杰 浙江大学数学科学学院

1.前言

变分不等式是一类重要的非线性问题，一些复杂的物理过程可以用变分不等式来描述. 本文主要基于《Theoretical Numerical Analysis》 ${}^{[1]}$ 一书的第11章^[1]. 同时参考[2],[3],[4]整理而成.

对于椭圆型偏微分方程，在数值上往往使用有限元方法计算. 正如冯康院士首次发现有限元方法时称之为基于变分原理的差分方法，研究椭圆型变分不等式(elliptic variational inequalities, EVIs)至关重要. 椭圆型变分不等式根据其物理学背景，往往具有较好的性质. 因此可以研究其解的存在性，唯一性，稳定性等.

本文第2节给出3个经典的椭圆型变分不等式，分析变分不等式、泛函极小化问题及椭圆型偏微分方程边值问题三者的等价性. 第3,4节则给出变分不等式解的存在性与唯一性的相关定理及椭圆型方程的能量不等式. 第5节分析有限元解的收敛性和误差估计，为有限元方法的使用提供理论上的支撑. 在处理第二类变分问题时，对不可微泛函使用正规化方法转化为可操作的问题. 第6节介绍了物理中的弹性问题，根据文献[4]可转变为2.3节中给出的形式.

2.由椭圆型方程到变分不等式

椭圆型偏微分方程和变分不等式存在广泛的联系. 对于实际的物理问题，则又会与能量泛函的极小问题化等价.

2.1简单情况

考虑最经典的椭圆型偏微分方程，即Poisson方程

$\begin{equation} \left\{ \begin{aligned} -\Delta u = f, &\qquad \mathrm{in}\;\Omega, \\ u=0,&\qquad \mathrm{on}\;\Gamma, \end{aligned} \right. \end{equation} \qquad\qquad(1)$

其中 $\Omega\subset \mathbb R^d$ . 给定测试函数空间为 $H^1_0(\Omega)$ ，有下面的弱形式
$u\in H_0^1(\Omega)\qquad \int_\Omega\nabla u\cdot\nabla v \;dx = \int_\Omega fv dx,\qquad\forall v\in H^1_0(\Omega). \quad(2)$

由Lax-Margin引理，可得问题 $(2)$ 有唯一解. 进一步还可以得到问题 $(2)$ 等价于极小化问题
$u\in H_0^1(\Omega),\qquad E(u)=\inf_{v\in H^1_0(\Omega)} E(v) \qquad\qquad \qquad(3)$
其中
$E(v) = \int_\Omega \left( \frac12|\nabla v|^2-fv \right)dx. \qquad\qquad(4)$

这是因为
$\begin{aligned} E'(u)v = \lim_{t\to0}\frac{E(u+tv)-E(u)}t=\int_{\Omega}(\nabla u\cdot\nabla v-fv)dx. \end{aligned}$
这说明 $E$ 在 $u$ 处取到泛函的极值. 又有
$\begin{aligned} E''(u)(v,w) = \lim_{t\to0}\frac{\int_\Omega[\nabla(u+tw)\nabla v-fv]dx- \int_\Omega[\nabla u\nabla v-fv]dx}{t} = \int_\Omega\nabla v\cdot\nabla w\;dx \end{aligned}$
根据 $\displaystyle \int_\Omega (\nabla v)^2\;dx>0$ ，及 $E(u+tv)=E(u)+\frac12t^2\displaystyle \int_\Omega (\nabla v)^2\;dx$ ，可知 $E$ 在 $u$ 处取到的最小值.

2.2障碍问题

障碍问题描述的是一张弹性膜，在区域 $\Omega$ 上收到力 $f$ ，且膜沿边界 $\Gamma$ 是固定的(可令 $u=0 \;\mathrm{on}\;\Gamma$ )，障碍函数为 $\psi$ .

由力学中的能量最小原理可知，位移 $u$ 是能量最小时膜的位置，能力泛函 $E$ 由等式 $(4)$ 给定. 故障碍问题可以表述为
$\begin{equation} \left\{ \begin{aligned} &求u\in K,\qquad 使得\\ &E(u)\le E(v),\qquad \forall v\in K \end{aligned} \right. \end{equation} \qquad\qquad(5)$
其中
$\begin{aligned} & K = \{v \in H^1_0(\Omega):v\ge\psi \;\; \mathrm{a.e. \,in\,}\Omega\}, \\ & \psi \in H^2(\Omega) ,\qquad \psi \le0 \;\mathrm{on} \;\Omega,\qquad f\in L^2(\Omega). \end{aligned}$
同之前，由 $E'(u)(v-u)\ge 0$ 可得变分不等式
$u\in K,\qquad \int_\Omega \nabla u\nabla(v-u) dx\ge \int_\Omega f(v-u)dx,\qquad\forall v\in K \qquad\qquad(6)$

令 $v=u+\phi$ ，即有 $\phi\in C_0^\infty(\Omega)$ . 由分部积分公式可得
$\begin{aligned} \int_{\Omega} (-\Delta u-f)\phi \;dx\ge0,\qquad \phi\ge 0\;\mathrm{in} \;\Omega \end{aligned}$
现将 $\Omega$ 分为非接触区域和接触区域：
$\begin{aligned} \Omega^+=\{x\in\Omega:u(x)>\psi(x)\}, \\ \Omega^0=\{x\in\Omega:u(x)=\psi(x)\}, \end{aligned}$
即有 $-\Delta u-f\ge 0,\forall x\in\Omega^0$ . 当 $x\in \Omega^+$ 时，用 $-\phi$ 替代 $\phi$ ，可得反向的变分不等式成立，因此有 $-\Delta u-f=0$ .

综上，障碍问题的变分不等式 $(5)$ 对应的微分边值问题为：
$\begin{equation} \left\{ \begin{aligned} &-\Delta u=f,\qquad \mathrm{on}\;\Omega^+\\ &-\Delta u\ge f,\qquad \mathrm{on}\;\Omega^0\\ &u\ge \psi,\qquad\qquad \mathrm{on} \;\Omega,u=0,\forall x\in \partial\Omega \end{aligned} \right. \end{equation} \qquad\qquad(7)$

2.3非齐次Neumann问题

考虑检测函数空间 $V=H^1(\Omega)$ ，能量泛函为
$\begin{aligned} E(v)=\int_\Omega \left[ \frac12(|\nabla v|^2+v^2)-fv\right]dx+g\int_\Gamma|v|fs \end{aligned}$
其中 $g>0,f\in L^2(\Omega)$ 给定. 注意到的是，该能量泛函不可微.

则泛函极小化问题
$u\in V\qquad E(u)=\inf_{v\in V}E(v) \qquad\qquad(8)$
与下面的变分不等式问题等价,
$\begin{equation} \begin{aligned} u\in V,\qquad \int_\Omega [ \nabla u \cdot \nabla(v-u)&+u(v-u) ]dx+g\int_\Gamma(|v|-|u|)ds \\ &\ge \int_\Omega f(v-u)ds,\qquad \forall v\in V. \end{aligned} \end{equation} \qquad\qquad(9)$
证明同样是用到 $G\hat ateaux$ 微分，见后面定理3.2.

该问题相应的问题为：
$\begin{equation} \left\{ \begin{aligned} & -\Delta u+u=f \qquad \mathrm{in}\;\Omega \\ &\left|\frac{\partial u}{\partial \nu}\right|\le g,\frac{\partial u}{\partial\nu }u+g|u|=0 \qquad \mathrm{on}\;\Gamma. \end{aligned} \right. \end{equation} \qquad\qquad(10)$
其边值条件等价于
$\begin{aligned} \left| \frac{\partial u}{\partial \nu}\right| <g\qquad &\Longrightarrow \qquad u=0 \\ \frac{\partial u}{\partial \nu}=g \qquad &\Longrightarrow \qquad u\le0 \\ \frac{\partial u}{\partial \nu}=-g\quad \; &\Longrightarrow \qquad u\ge0 \end{aligned}$

3.解的存在性与唯一性

凸是很好的性质. 若区域/函数是凸的，则很多椭圆型变分不等式会展现出良好的性质. 有一个基本的定理为：

定理 3.1:

若 $K$ 是赋范空间 $V$ 的非空凸子集，且 $f:K\to\mathbb R$ 是凸的且 $G\hat ateaux$ 可微的. 则存在 $u\in K$ 使得
$\begin{aligned} f(u) = \inf_{v\in K} f(v) \end{aligned}$
成立，当且仅当存在 $u\in K$ 使得
$\begin{aligned} \left< f'(u),v-u\right> \ge 0,\qquad \forall v\in K \end{aligned}$
当 $K$ 为子空间时，不等式退化为等式
$\begin{aligned} \left< f'(u),v\right> = 0,\qquad \forall v\in K. \end{aligned}$

证明从略. 定理3.1可拓展为定理3.2，用于处理2.3节中的泛函不可微的情况.

定理 3.2：

若 $K$ 是赋范空间 $V$ 的非空凸子集，且 $f:K\to\mathbb R,\,j:K\to \mathbb R$ 是凸映射， $f$ 是 $G\hat ateaux$ 可微的. 则
$u\in K,\qquad f(u)+j(u)=\inf_{v\in K}[f(v)+j(v)] \qquad\qquad(11)$
当且仅当
$u\in K,\qquad \left< f'(u),v-u \right> + j(v)-j(u) \ge 0,\qquad \forall v\in K. \qquad\qquad(12)$
证明：

必要性：对任意 $v\in K$ 和 $t\in(0,1)$ ，有 $u+t(v-u)=tv+(1-t)u\in K$ ，故
$\begin{aligned} f(u)+j(v) &\le f(u+t(v-u)) +j(u+t(v-u)) \\ &\le f(u+t(v-u)) +(1-t)j(u)+tj(v). \end{aligned}$
即
$\begin{aligned} \frac1t \left[ f(u+t(v-u))-f(u) \right] +j(v)-j(u)\qquad \forall t\in(0,1) \end{aligned}$
再使 $t\rightarrow 0^+$ ，则有 $(12)$ 式成立.

充分性：由于 $f$ 是凸函数，故
$\begin{aligned} f(v)\ge f(u)+\left< f'(u) ,v-u\right>. \end{aligned}$
从而对任意 $v\in K$ ，
$\begin{aligned} f(v)+j(v)&\ge f(u)+j(v)+\left< f'(u) ,v-u\right> \\ &\ge f(u)+j(u) \end{aligned}$
$\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\Box$

在更一般的条件下，比如将 $\displaystyle\int_\Omega \nabla u\cdot\nabla v\;dx$ 看作双线性泛函 $a(u,v)$ ，其满足椭圆性条件，又有Riesz表示定理将 $\displaystyle \int _\Omega fv\,dx$ 视为线性泛函 $f(v)$ ，则有Lax-Mligram引理（见附录）. 容易得出第2节的三个问题的解都具有存在唯一性，且对满足条件的抽象变分问题，解同样存在且唯一.

4. 一族EVIs的解的存在唯一性

本节讨论一类椭圆型变分不等式的解. 首先给定以下定义

strongly monotone： $A:V\rightarrow V$ 满足，存在 $c_0>0$ 使得
$(A(u)-A(v),u-v)\ge c_0||u-v||^2,\qquad \forall u,v \in V. \qquad\qquad(13)$
Lipschitz连续： $A:V\rightarrow V$ 满足，存在 $M>0$ 使得
$||A(u)-A(v)||\le M||u-v||,\qquad \forall u,v\in V. \qquad\qquad(14)$
lower semi-continous( $l.s.c.$ )： $j: V \rightarrow \overline{\mathbb R}\equiv R\cup\{\pm\infty\}$ 满足
$v_n\overset{n\to\infty}\longrightarrow v \;\mathrm{in}\; V\quad\Longrightarrow\quad j(v)\le\liminf_{n\rightarrow\infty} j(v_n). \qquad\qquad(15)$

定理 4.1：^[2]

令 $V$ 是实Hilbert空间， $K$ 是 $V$ 的非空闭凸集. 设 $A:V\rightarrow V$ 是strongly monotone且Lipschitz连续， $j:K\rightarrow \R$ 是凸的且 $l.s.c.$ ，则对任意 $f\in V$ ，椭圆性变分不等式
$u\in K,\qquad (A(u),v-u) + j(v)-j(u) \ge (f,v-u),\qquad \forall v\in K, \qquad\qquad(16)$
有唯一解，且解 $u$ 关于 $f$ 是Lipschitz连续的.

称形如 $(A(u),v-u)\ge(f,v-u)$ 的变分不等式为第一类变分不等式，而对于形如 $(16)$ 含有不可微分项的变分不等式为第二类变分不等式，例如2.3节中给出的例子.

在对变分不等式数值解法收敛性的分析中，Minty引理十分重要.

定理4.2：(Minty Lemma)

假设定理4.1中的条件成立，在有限维空间中 $A$ 的Lipschitz连续条件减弱为连续性条件. 则 $u$ 是变分不等式 $(16)$ 的解当且仅当
$u\in K,\qquad (A(v),v-u) + j(v)-j(u) \ge (f,v-u),\qquad \forall v\in K. \qquad\qquad(17)$
证明：

必要性：若 $(16)$ 式成立，则由 $A$ 的strongly monotone，可得
$\begin{aligned} (A(v),v-u)\ge (A(u),v-u)\qquad\forall v\in K. \end{aligned}$
易得 $(17)$ 式成立.

充分性：若 $(17)$ 式成立，对任意 $v\in V,t\in(0,1)$ ，有 $u+t(v-u)\in K$ ，故
$\begin{aligned} t(A(u+t(v-u)),v-u) +j(u+t(v-u))-j(u) \ge t(f,v-u). \end{aligned}$
又根据 $j$ 是凸的，有
$\begin{aligned} j(u+t(v-u))\le tj(v)+(1-t)j(u). \end{aligned}$

带入，并使 $t\to 0^+$ ，可得 $(16)$ 式成立.
$\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\Box$

下面的定理给出一般形式的椭圆型方程的能量不等式. 该不等式说明解直到二阶导数的信息可以由 $f$ 和 $\psi$ 限制.

定理4.3：^[3]

令 $\Omega \subset \mathbb R^d$ 是 $C^{1,1}$ 的且 $a_{ij}\in C(\overline {\Omega})$ 满足椭圆性条件：
$\begin{aligned} \exists \alpha >0,\qquad\sum^d_{i,j=1} a_{ij}(x)\xi_i\xi_j \ge \alpha |\xi|^2,\qquad\forall x\in\Omega,\forall \xi\in\mathbb R^d. \end{aligned}$
且对 $2\le p<\infty$ ，有 $f\in L^p(\Omega)$ ， $\psi\in W^{2,p}(\Omega)$ 满足 $\psi \le 0 (\mathrm{on}\;\Gamma)$ . 定义
$\begin{aligned} K=\{ v\in H^1_0(\Omega) | v\ge\psi \mathrm{\;a.e.\;in\,}\Omega \} \end{aligned}$
则下面的变分不等式的有解 $u\in W^{2,p}(\Omega)$ ,
$u\in K,\qquad \int_\Omega\sum^d_{i,j=1}a_{ij}\frac{\partial u}{\partial x_i}\frac{\partial(v-u)}{\partial x_j}dx \ge \int_\Omega f(v-u)dx,\qquad \forall v\in K \qquad\qquad(18)$
且存在依赖 $u,f,\psi$ 的常数 $C_p$ ，使得
$||u||_{2,p} \le C_p(||f||_{0,p}+||\psi||_{2,p}) \qquad\qquad(19)$

5. 数值方法

在给定变分形式之后，即可在有限维空间中离散求解，即有限元方法的思想. 在此，我们不关注这有限元空间如何构造，而直接对其分析. 经典的 $C\acute ea$ 引理就是其中一个重要的结论（见附录）.

令 $V_h\subset V$ 是有限元空间， $K_h\subset V_h$ 非空、凸且闭，则问题(16)有限元解 $u_h$ 为
$u_h\in K_h,\qquad (A(u_h),v_h-u_h)+j_0(v_h)-j_0(u_h)\ge (f,v_h-u_h),\qquad \forall v_h\in K_h \qquad\qquad(20)$
且根据定理3.1可得，在相应的条件下，解 $u_k$ 是唯一的.

5.1 有限元解的误差估计

下面定理保证有限元解 $u_k$ 依范数收敛至真实解 $u$ ，

定理 5.1：^[4]

基于定理4.1的假设，且 $j_0:V\to\mathbb R$ 是连续的， $\{K_h\}_h$ 按下面要求逼近 $K$

$\forall v\in K$ ，存在 $v_h\in K_h$ 使得 $||v_h-v||_V\to0(h\to0)$ .
若 $v_h\in K_h$ 满足 $v_h\rightharpoonup v(h\to0)$ ， $v\in K$ .

则有 $||u_h-u||_V \to 0(h\to0)$ .

若令
$R(v,w)= (A(u),v-w) +j_0(v)-j_0(w)-(f,v-w) \qquad\qquad(21)$
则有下面估计式，其中 $c_0$ 是 $A$ 的strongly monotone条件中的参数，
$\frac{c_0}2 ||u-u_h||^2\le \inf_{v\in K}R(v,v_h)+\inf_{v_h\in K_h} \left[ R(v_h,u)+\frac{M^2}{2c_0}||u-v_h||^2 \right]. \qquad\qquad(22)$

在具体的空间 $V$ 中， $||u-u_h||_V$ 的式子可以更精确的表达出来. 以2.3节的非齐次Neumann问题为例，就有
$\begin{aligned} |R(v_h,u)|\le &\left[ \left|\left| \frac{\partial u}{\partial \nu} \right|\right|_{L^2(\Gamma)} + g\sqrt{\mathrm{meas}(\Gamma)} \right] ||v_h-u||_{L^2(\Gamma)}\\ &+||-\Delta u+u-f||_{L^2(\Omega)}||v_h-u||_{L^2(\Omega)}. \end{aligned}$
相关分析表明 $j(v_h)$ 用其数值积分 $j_h(v_h)$ 代替，仍然能保证解 $u_h$ 收敛. 以梯形公式为例，定义其数值积分为
$j_h(v_h) = g\sum_i|\overline{P_iP_{i+1}}|\frac12\left(|v_h(P_i)|+|v_h(P_{i+1})|\right) \qquad\qquad(23)$

5.2正规化方法

在处理 $(20)$ 这类离散问题时，处理其中的不可微分项至关重要. 此时可以使用正规化方法（Regularization technique），通过用一族可微分项 $j_\varepsilon(\cdot)$ 去逼近不可微分项 $j(\cdot)$ . 同样以2.3节为例，
$j(v)=g\int_\Gamma |v|\,ds \qquad\qquad(24)$
令
$j_\varepsilon(v)=g\int_\Gamma \phi_\varepsilon (v)\,ds \qquad\qquad(25)$
于是目标转为构造可微函数族 $\phi_\varepsilon$ ，使其逼近不可微函数 $h(s)=|s|$ . 这样的函数族有很多，如：

$\displaystyle \phi_\varepsilon =\left\{\begin{aligned} & t-\varepsilon/2 \qquad t\ge\varepsilon \\ &t^2/(2\varepsilon )\qquad |t| \le \varepsilon \\&-t-\varepsilon/2\quad t\le-\varepsilon \end{aligned}\right.$ 或 $\displaystyle \phi_\varepsilon(t)=\sqrt{t^2+\varepsilon^2}$ 或 $\displaystyle \phi_\varepsilon (t)=\frac{t^{\varepsilon+1}}{\varepsilon+1}$ .

除正规化方法外，拉格朗日乘子法也可以处理不可微项，此处从略.

6.弹性力学方程组及其数学结构

作为椭圆型偏微分方程，最具有代表性的例子就是线弹性理论中的边值问题. 设一个弹性体所占区域为 $\Omega$ ，该弹性体受力 $f$ （在 $\Omega$ 中），在 $\Omega$ 的一部分边界 $\Gamma_1$ 上受表面力 $g$ ，而在另一部分边界 $\Gamma_0$ 上固定位移 $u=0$ .

首先分析其内部的平衡方程，根据文献[4]的第五章，假定该物体是线性弹性体，即服从Hooke定律，且各向同性. 有以下基本的事实：(1)弹性体的变形可以用位移的一阶偏导数来描述；(2)作用力与反作用力大小相等，方向相反；(3)变形前后弹性体总质量守恒；(4)动量守恒律和动量矩守恒律.

在载荷(此处即外力)的作用下，弹性体只要发生变形，就会在内部形式一个附加的内力场. 弹性体达到平衡时，必有内力场与外力平衡. 利用彼奥拉应力张量描述的微分形式，结合前面指出的基本事实，可得到下面的弹性动力学方程组：
$\rho_0\frac{\partial u_i^2}{\partial t^2}=\sum^3_{j,k,l=1}a_{ijkl} \frac{\partial ^2u_k}{\partial x_j\partial x_l} + \rho_0 f_i,\qquad i=1,2,3. \qquad\qquad(26)$
弹性材料根据材料的粘弹性，方程可能是双曲性或抛物性的. 由于能量的耗散，最后会达到一稳定状态，即 $(\partial ^2 u)/(\partial t^2 )=0$ . 再结合边值条件，线弹性模型的边值问题可用下面方程描述：
$\begin{equation} \left\{ \begin{aligned} & -\mu\Delta u-(\lambda+\mu)\mathrm{grad(div}\,u)=f,\quad i=1,2,3\quad \mathrm{in}\;\Omega\\ & u=0,\qquad\qquad\qquad\qquad\qquad \;\mathrm{on}\;\Gamma_0 \\ & \sigma_{ij}(u)\nu_j =g_i,\quad i=1,2,3\qquad\mathrm{on}\;\Gamma_1 \end{aligned} \right. \end{equation}. \qquad\qquad(27)$
详细推导过程可以见[3]和[4].

于是，又可以用Green公式建立相应的变分问题，而其形式正好又与2.3节中的形式相似. 注意到，若系统还未平衡，即 $(\partial ^2 u)/(\partial t^2 )$ 非零，且有强椭圆性条件，则可化为波动方程利用特征线方法求解.

附录

$Lax$ - $Milgram$ 引理

设 $\mathbb V$ 是Hilbert空间， $a(\cdot,\cdot):\mathbb V\times \mathbb V \rightarrow \mathbb R$ ，是一个连续的双线性泛函，且满足椭圆性条件(也称强制性条件)：
$\begin{aligned} \exists \delta_0 > 0,\qquad \text{使得} a(u,u) \ge \delta_0||u||^2,\qquad \forall u \in \mathbb V, \end{aligned}$
又设 $f:\mathbb V\rightarrow \mathbb R$ 是一个连续的线性泛函，则抽象变分问题
$\left \{ \begin{aligned} & 求u \in \mathbb V，使得 \\ & a(u,v) = f(v) ,\qquad \forall v \in \mathbb V \end{aligned} \right .$
存在唯一解.

证：由双线性泛函的连续性可知，存在常数 $\delta_1>0$ 使得
$a(u,v)\le \delta_1||u||\cdot||v||,\qquad \forall u,v\in\mathbb V.$

对任意 $u \in \mathbb V$ ，由 $v\in\mathbb V \mapsto a(u,v)$ 是连续线性泛函知，存在唯一的 $A(u)\in \mathbb V^*$ ，使得

$\begin{aligned} A(u)v = a(u,v) ,\quad \forall v\in \mathbb V. \end{aligned}$

易知， $A$ 是由 $\mathbb V$ 到其对偶空间 $\mathbb V^*$ 的有界线性映射，且

$\begin{aligned} ||A||_{\mathfrak{L}(\mathbb V,\mathbb V^*)} \triangleq \sup_{u\in \mathbb V,\,||u||=1}||A(u)||_{\mathbb V^*} = \sup_{u\in \mathbb V,\,||u||=1} \sup_{v\in \mathbb V,\,||v||=1}|A(u)v| \le \delta_1. \end{aligned}$

记 $\tau : \mathbb V^* \rightarrow \mathbb V$ 为Riesz映射. 由定义有
$\begin{aligned} f(v)= \langle \tau f,v \rangle ,\quad \forall v\in \mathbb V, \end{aligned}$
其中 $\langle \cdot ,\cdot\rangle$ 为 $\mathbb V$ 上的内积。于是求解的问题等价于求解以下的问题：

$\left \{ \begin{aligned} & \text{求}u\in\mathbb V,\,\text{使得} \\ & \tau A(u)=\tau f. \\ \end{aligned} \right.$

定义映射
$\begin{aligned} &F:\mathbb V\rightarrow\mathbb V, \\ &F(v)=v-\rho(\tau A(v)-\tau f), \\ \end{aligned}$
其中 $\rho>0$ 为待定参数，则求解问题的解等价于求 $F(\cdot)$ 的不动点. 有
$\begin{aligned} &\langle \tau A(v),v \rangle =A(v)v =a(v,v) \ge \delta_0 ||v||^2, \\ &||\tau A(v)|| =||A(v)||_{\mathbb V^*} \le ||A||_{\mathfrak{L}(\mathbb V,\mathbb V^*)} ||v|| \le \delta_1 ||v|| . \\ \end{aligned}$
因此，对任意给定的 $\rho \in (0,2 \delta_0 / \delta_1^2)$ ，有
$\begin{aligned} || F(w+v) -F(w) || ^2 &= ||v||^2 -2\rho \langle \tau A(v),v \rangle +\rho^2 || \tau A(v) ||^2 \\ &\le (1-2\rho\delta_0+\rho^2{\delta_1}^2)||v||^2 < ||v||^2 , \\ \end{aligned}$
即 $F:\mathbb V \rightarrow \mathbb V$ 为压缩映射. 由此及压缩映射原理知 $F$ 在 $\mathbb V$ 中存在唯一的不动点，这就证明了解的唯一性.
$\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\Box$

$C\acute ea$ 引理

设 $\mathbb V$ 是Hilbert空间， $\mathbb V_h$ 是 $\mathbb V$ 的线性子空间，双线性泛函 $a(\cdot,\cdot)$ 和线性泛函 $f(\cdot)$ 满足Lax-Mikgram引理的条件. $u\in\mathbb V$ 是对应的抽象变分问题的解， $v_h \in \mathbb V_h$ 满足方程
$a(u_h,v_h)=f(v_h),\qquad \forall v_h\in \mathbb V_h,$
则存在与 $\mathbb V_h$ 无关的常数 $C$ ，使得
$||u-u_h||\le C\inf_{v_h\in \mathbb V_h}||u-v_h||.$
证明：

由
$\begin{aligned} a(u-u_h,w_h)=& a(u,w_h)-a(u_h,w_h) \\ = & f(w_h)-f(w_h)=0,\qquad \forall w_h\in \mathbb V_h, \end{aligned}$
取 $w_h=u_h-v_h$ ，由双线性泛函的有界性和椭圆性，可得
$\begin{aligned} \delta_0 ||u-u_h||^2 &\le a(u-u_h,u-u_h)=a(u-u_h,u-u_h)+a(u-u_h,u_h-v_h)\\ &=a(u-u_h,u-v_h) \le \delta_1 ||u-u_h|\cdot||u-v_h|| \end{aligned}$
令 $C = \delta_1/\delta_0$ ，即可.
$\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\Box$

参考文献

[1] Kendall Atkinson, and Weimin Han, Theoretical Numerical Analysis[M], Springer, 2009.
[2] 李治平, 偏微分方程数值解讲义[M], 北京大学出版社, 2010.
[3] 王烈衡, 许学军, 有限元方法的数学基础[M], 科学出版社, 2004.
[4] 李大潜, 秦铁虎, 物理学与偏微分方程[M], 高等教育出版社, 2005.

第11章标题：Elliptic Variational Inequalities and Their Numerical Approximations. ↩
证明较长，见参考文献[1]，p431-p432. ↩
证明见 M.Chipot, Variational Inequalities and Flow in Porous Media, Section 3.3. ↩
证明较长，见参考文献[1]，p443-p446. ↩

椭圆型变分问题理论及数值方法

椭圆型变分问题理论及应用

1.前言

2.由椭圆型方程到变分不等式

2.1简单情况

2.2障碍问题

2.3非齐次Neumann问题

3.解的存在性与唯一性

4. 一族EVIs的解的存在唯一性

5. 数值方法

5.1 有限元解的误差估计

5.2正规化方法

6.弹性力学方程组及其数学结构

附录

$Lax$ - $Milgram$ 引理

$C\acute ea$ 引理

参考文献

相关文章

网友评论

延伸阅读

深度阅读

栏目导航

热点阅读

椭圆型变分问题理论及数值方法

椭圆型变分问题理论及应用

1.前言

2.由椭圆型方程到变分不等式

2.1简单情况

2.2障碍问题

2.3非齐次Neumann问题

3.解的存在性与唯一性

4. 一族EVIs的解的存在唯一性

5. 数值方法

5.1 有限元解的误差估计

5.2正规化方法

6.弹性力学方程组及其数学结构

附录

-引理

引理

参考文献

相关文章

网友评论

延伸阅读

深度阅读

栏目导航

热点阅读

$Lax$ - $Milgram$ 引理

$C\acute ea$ 引理