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

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

1.前言

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

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

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

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

2.1简单情况

​ 考虑最经典的椭圆型偏微分方程，即Poisson方程
KaTeX parse error: No such environment: equation at position 8: \begin{̲e̲q̲u̲a̲t̲i̲o̲n̲}̲ \left\{ \begin…

其中$\Omega \subset {\mathbb{R}}^d$. 给定测试函数空间为$H_0^1(\Omega )$，有下面的弱形式
$$u\in H_0^1(\Omega ){\int }_{\Omega }\nabla u\cdot \nabla vdx={\int }_{\Omega }fvdx,\forall v\in H_0^1(\Omega ).$$

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

这是因为
$$\begin{array}{r}{E}^{\prime }(u)v=\underset{t\to 0}{\lim }\frac{E(u+tv)-E(u)}{t}={\int }_{\Omega }(\nabla u\cdot \nabla v-fv)dx.\end{array}$$
这说明$E$在$u$处取到泛函的极值. 又有
$$\begin{array}{r}{E}^{\prime \prime }(u)(v,w)=\underset{t\to 0}{\lim }\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 wdx\end{array}$$
根据${\int }_{\Omega }(\nabla v{)}^{2}dx>0$，及$E(u+tv)=E(u)+\frac{1}{2}{t}^2{\int }_{\Omega }(\nabla v{)}^{2}dx$，可知$E$在$u$处取到的最小值.

2.2障碍问题

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

​ 由力学中的能力最小原理可知，位移$u$是能量最小时膜的位置，能力泛函$E$由等式$(4)$给定. 故障碍问题可以表述为
KaTeX parse error: No such environment: equation at position 8: \begin{̲e̲q̲u̲a̲t̲i̲o̲n̲}̲ \left\{ \begin…
其中
K = { v ∈ H 0 1 ( Ω ) : v ≥ ψ      a . e .   i n   Ω } , ψ ∈ H 2 ( Ω ) , ψ ≤ 0    o n    Ω , f ∈ L 2 ( Ω ) . \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} ​K={ v∈H01​(Ω):v≥ψa.e.inΩ},ψ∈H2(Ω),ψ≤0onΩ,f∈L2(Ω).​