October 6, 2022 1 / 40

论文选题报告: 非散度型方程的有限元离散及其高效
求解
高广维
导师: 胡俊
北京大学数学科学学院
October 6, 2022
高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

(北京大学数学科学学院) October 6, 2022 1 / 40
非散度椭圆型方程
设Ω是Rd 中一开区域, 我们有如下的非散度椭圆型方程
A(x) : D 2 u(x) = f (x), in Ω. (1)
在边界处x ∈ ∂Ω, 考虑 Dirichlet 边界条件:
u(x) = g1 (x), on ∂Ω.
或斜导数(oblique derivative)边界条件:
`(x) · ∇u(x) = g2 (x), on ∂Ω.
其中`(x) ∈ Rd 是一定义在∂Ω上的向量场, A(x) ∈ L∞ (Ω, Rd×d ) 满足一致椭圆

条件.

相比于散度型∇ · (A∇u), 非散度型方程(1)具有以下特点:
I 非散度算子A : D 2 u + A(x) ∈ L∞ (Ω, Rd×d )⇒基于散度定理的弱解将
不再适用.
I 区别于n · ∇u, 斜导数(oblique)边界条件` · ∇u ⇒ 无法写进散度定理
的边界项中.
非散度型问题出现于各种非线性问题以及非线性边界条件的线性化中.

理论背景一: 哈密顿-雅克比-贝尔曼方程(HJB)
Bellman 原理
随机最优控制问题=======⇒ 哈密顿-雅克比-贝尔曼方程(HJB).
伊藤引理
稳态情形的HJB 方程:
sup (Lα u(x) − f α (x)) = 0 (2)

α∈Λ
Lα v (x) := Aα (x) : D 2 v (x) + b α (x) · ∇v (x) − c α (x)v (x).

Aα ∈ C(Ω × Λ; Rd×d ) 是一致椭圆的, b α ∈ C(Ω × Λ; Rd ),
c α ≥ 0, f α ∈ C(Ω × Λ; R).
线性化⇒ Policy 迭代 (Bellman & Howard, 1955) :
给定近似解u j (x), 令αj (x) = argmaxα (Lα u j − f α )(x), 通过求解以下线性非
散度型方程得到uj+1 :
Aαj : D 2 u j+1 + b αj · ∇u j+1 − c αj u j+1 = f αj .
控制量αj (x) = argmaxα (Lα u j − f α )(x)间断⇒ 系数矩阵Aαj (x)间断 .

理论背景二: 蒙日-安培方程(Monge-Ampere)
最优输运问题⇒ 带有输运边界条件的蒙日安培方程:
det D 2 u(x) − f (x) = 0, x ∈ Ω,

(3)
h(∇u(x)) = 0, x ∈ ∂Ω.
线性化蒙日安培方程及其边界条件:
Cof D 2 un : D 2 un+1 = det(D 2 un ) + f , x ∈Ω

(4)
∇h(∇un ) · ∇un+1 = ∇h(∇un ) · ∇un − h(∇un ), x ∈ ∂Ω
记`(x) = ∇h(∇un (x)), 则有如下带有斜导数边界条件的非散度型方程:
A : D2u = f in Ω, ` · ∇u = g on ∂Ω.
其中的A = A(x) = Cof D 2 un 可能是非光滑的.

A ∈ L∞ + Cordes 条件⇒ H 2 适定性, (Maugeri &
Palagachev & Softova, 2000)
(Maugeri & Palagachev & Softova, 2000)d ≥ 3时, A(x) ∈ L∞ (Ω, Rd×d ) +
一致椭圆性; 适定性.
Cordes 条件:存在 ∈ (0, 1] 使得
|A|2 1
≤ , a.e. in Ω. (5)
(tr(A))2 d −1+
在d = 2时, Cordes 条件等价于一致椭圆性条件.
Miranda-Talenti 估计: Ω ⊂ Rd 有界凸区域, v ∈ H 2 (Ω) ∩ H01 (Ω),
|v |H 2 (Ω) ≤k∆ukL2 (Ω) .
Cordes 条件+ Miranda-Talenti 估计⇒ H 2 适定性

(Smears & Süli, 2014) 对HJB的Cordes 条件⇒ H 2 适定
性
存在λ > 0 和ε ∈ (0, 1] 使得:
|Aα |2 + |b α |2 /(2λ) + (c α /λ)2 1

≤ a.e. in Ω, ∀α ∈ Λ. (6)
(tr Aα + c α /λ)2 d +ε
Cordes 条件+ Miranda-Talenti 估计⇒ HJB方程H 2 适定性

我们展示H 2 适定性中对数值离散有启发性的关键步骤:
线性算子Lλ v = ∆v − λv .
tr Aα +c α /λ
函数γ α = |Aα |2 +|b α |2 /(2λ)+(c α /λ)2

HJB的变分形式⇒ 有限元离散
reformulation
F [u] = supα∈Λ {Lα u − f α } −−−−−−−→ Fγ [u] = supα∈Λ {γ α Lα u − γ α f α }.
F [u] = supα∈Λ {Lα u − f α } = 0 ⇔ :
Z
hMλ [w], v i := Fγ [w]Lλ v dx = 0, ∀v ∈ H 2 (Ω) ∩ H01 (Ω).
Ω
Miranda-Talenti
hMλ [w], v i −−−−−−−−−→ H 2 适定性
Cordes
√
hMλ [w] − Mλ [v ], w − v i ≥ (1 − 1 − ε)kw − v k2λ .
有限元格式的启发:
有限元空间格式
hMλ [w], v i = 0 −−−−−−−−−→ hMh [wh ], vh i = 0, ∀vh ∈ Vh .
Miranda-Talenti的离散版本 ⇒ 数值格式的适定性

C 0 有限元离散(Wu, 2021)
Vh : d − 2维单纯形上C 1 连续⇒ 离散 Miranda-Talenti .

基于此, 定义算子Mh : V + Vh → Vh0 :
X √
hMh [w], vh i := (Fγ [w], Lλ vh )T + (2 − 1 − ε)Sh (w, vh ).
T ∈Th
X
Sh (w, vh ) = − hJ∇wK, ∆T vh − λvh iF .
F ∈Fhi
HJB方程的有限元格式: 求解uh ∈ Vh 使得
hMh [uh ], vh i = 0 ∀vh ∈ Vh . (7)
Cordes 条件+ 离散的Miranda-Talenti ⇒ 适定的数值格式 .

√
hMh [wh ] − Mh [vh ], wh − vh i ≥ (1 − 1 − ε)kwh − vh k2λ,h .

有限元空间
二维: Hermite 单元, Pk (k ≥ 3).
(a) k = 3 (b) k = 4
Vh := {v ∈ H01 (Ω) : v |T ∈ Pk (T ), ∀T ∈ Th , v 在顶点处C 1 连续}.
三维: Argyris 单元, Pk (k ≥ 5).
Vh := {v ∈ H01 (Ω) : v |T ∈ Pk (T ), ∀T ∈ Th , v 在边上C 1 连续,

v 在顶点上C 2 连续}.

线性问题的条件数
有限元离散
非散度型A : D 2 u = f ======⇒ 线性系统: Bh uh = fh
有限元离散 Policy 迭代
HJB ======⇒ 有限维非线性问题======⇒ 线性系统: Bλ,h uh = fh
最高阶项
离散后线性系统Bλ,h uh = fh =====⇒ (γA : D 2 uh , ∆vh ).
I 条件数O(h−4 )的病态系统
I 含有参数λ.
目标: 设计一个一致的预条件子, 使得预优后的系统之条件数与h 和λ无关.

预条件子的设计
在Vh 上定义:
X
(wh , vh )λ,h := (D 2 wh , D 2 vh )T + 2λ(∇wh , ∇vh ) + λ2 (wh , vh ).
T ∈Th
定义对称正定(SPD)算子Aλ,h : Vh → Vh0
hAλ,h wh , vh i := (wh , vh )λ,h ∀wh , vh ∈ Vh . (8)
数值格式的强制性
Aλ,h 谱等价预条件子Pλ,h −−−−−−−−−−→ Bλ,h 一致的预条件子(FOV) .
有界性
谱等价预条件子: SPD 算子Pλ,h : Vh0 → Vh 满足

−1 −1
hPλ,h vh , vh i . hAλ,h vh , vh i . hPλ,h vh , vh i ∀vh ∈ Vh , (9)
其中常数λ,h无关.

辅助子空间预条件(Zhang & Xu, 2014)
空间分解
Vh 的空间分解:
Vh = Vh + Π0 V0 ,
V0 ⊂ H01 (Ω) : Th 上的连续线性元空间.

Π0 : V0 → Vh : 通过对自由度求平均得到的.
定义SPD 算子A0 := Π00 Aλ,h Π0 : V0 → V00 .记k · k2A0 := hA0 ·, ·i
定义投影P0 : Vh → V0 :
hA0 P0 vh , wh i := (vh , Π0 wh )λ,h ∀vh ∈ Vh , wh ∈ V0 .

第一部分: Vh 上的磨光子
Rh : 对于Aλ,h 的Gauss-Seidel 磨光子

R̄h : 对称化的Gauss-Seidel 磨光子, i.e.,
I − R̄h Aλ,h = (I − Rh0 Aλ,h )(I − Rh Aλ,h ).
记k · k2R̄ −1 := hR̄h−1 ·, ·i.

h
收缩性质:
kI − Rh Aλ,h kλ,h < 1.
注意到Aλ,h 是一SPD 算子.

第二部分: V0 上的磨光子
离散 Laplace 算子−∆h : V0 → V0
(−∆h wh , vh )Ω := (∇wh , ∇vh )Ω ∀wh , vh ∈ V0 .
磨光子R0 : V00 → V0 :
hR0−1 uh , vh i := (λuh − ∆h uh , λvh − ∆h vh )Ω ∀uh , vh ∈ V0 . (10)

| {z } | {z }
fh zh
记k · k2R −1 := hR0−1 ·, ·i, 有:

0
kv0 kR −1 ' kv0 kA0 ∀v0 ∈ V0 .

0

稳定分解与有界性
稳定分解: 对于任意的v ∈ Vh , 存在vh ∈ Vh 和v0 ∈ V0 满足v = vh + Π0 v0 ,

且有:
kvh k2R̄ −1 + kv0 k2R −1 ≤ c02 kv k2λ,h .
h 0
有界性:
kv0 kA0 ≤ c1 kv0 kR −1 , ∀v0 ∈ V0 ,
0
kvh kλ,h ≤ c2 kvh kR̄ −1 , ∀vh ∈ Vh .

h
参数c0 , c1 , c2 均与λ和h无关.

加性预条件子
加性预条件子Pa : Vh0 → Vh
Pa := R̄h + Π0 R0 Π00 . (11)
(Xu, 1996) 稳定分解+ 有界性⇒ 谱等价
c0−2 (vh , vh )λ,h ≤ (Pa Aλ,h vh , vh )λ,h ≤ (c12 + c22 )(vh , vh )λ,h ∀vh ∈ Vh .

乘性预条件子
加性预条件: Pa := R̄h + Π0 R0 Π00 ; 关于λ 和h一致, 但有相对大的条件数/
考虑乘性预条件子Pm : Vh0 → Vh
I − Pm Aλ,h := (I − Rh Aλ,h )(I − Π0 R0 Π00 Aλ,h )(I − Rh0 Aλ,h ). (12)

乘性预条件子为 SPD
I − Pm Aλ,h := (I − Rh Aλ,h )(I − Π0 R0 Π00 Aλ,h )(I − Rh0 Aλ,h ).
Pm 是一对称算子.
对于任意的v ∈ Vh , 记w = (I − Rh0 Aλ,h )v , 计算可知:
(Pm Aλ,h v , v )λ,h = kv k2λ,h − kwk2λ,h + (R0 A0 P0 w, P0 w)A0 .

| {z } | {z }
Rh R0
Rh 的收缩性质: (Holst & Vandewalle, 1997)
kv k2λ,h − kwk2λ,h ≥ (1 − kI − Rh0 Ah k2λ,h )kv k2λ,h > 0.
R0 : V00 → V0 是一SPD算子.
SPD 还不够. ⇒ 我们需要谱等价性质.

乘性预条件子的谱等价性质
Theorem
Rh 是Aλ,h 的Gauss-Seidel 磨光子. 假设稳定分解成立, 则乘性预条件子Pm 满
足:
(Pm Aλ,h vh , vh )λ,h ' (vh , vh )λ,h ∀vh ∈ Vh , (13)
其中常数与λ 和h无关.
Step 1. 首先利用R0 的谱等价性质:
(Pm Aλ,h v , v )λ,h = kv k2λ,h − kwk2λ,h + (R0 A0 P0 w, P0 w)A0

' kv k2λ,h − kwk2λ,h + (A−1
0 A0 P0 w, P0 w)A0
= (P̂m Aλ,h v , v )λ,h ,
其中P̂m 是在辅助空间V0 中精确求解的"辅助"的乘性预条件子.

Step 2. 两网格的收敛率结果(Xu & Zikatanov, Lemma 3.6, 2017) 对于r
E := (I − Rh Aλ,h )(I − Π0 A−1 0
0 Π0 Aλ,h )
1
kEk2λ,h = 1 − ,
K (V0 )
其中
kv − Π0 v0 k2R̄ −1
h
K (V0 ) := max min .
v ∈Vh v0 ∈V0 kv k2λ,h
Step 3. 对P̂m , I − Π0 P0 = (I − Π0 P0 )2 进行估计:
(P̂m Aλ,h v , v )λ,h = kv k2λ,h − k(I − Π0 P0 )(I − Rh0 Aλ,h )v k2λ,h

≥ 1 − k(I − Π0 P0 )(I − Rh0 Aλ,h )k2λ,h kv k2λ,h

= 1 − kEk2λ,h kv k2λ,h
1
= kv k2λ,h ≥ c0−2 kv k2λ,h .
K (V0 )

计算复杂度
Nh , Np 分别是自由度个数和内点个数.
Vh : Gauss-Seidel 磨光子Rh ⇒ O(Nh ).
Π0 : 局部自由度取平均⇒ O(Nh )
V0 : R0 , 求解两个离散 Poisson (λI − ∆h )−1 ⇒ O(Np log Np ).
Rh + R0 + Π0 ⇒ Pa , Pm 的计算复杂度均为近似最优的.

自适应网格: Pa Aλ,h vs. Pm Aλ,h
(c) Level 3: DOF = 2,387 (d) Level 5: DOF = 4,467 (e) Level 7: DOF = 10,027

自适应网格: Pa Aλ,h vs. Pm Aλ,h
κ(Pa Aλ,h )
DOF λ = 10−3 λ = 10−2 λ = 10−1 λ=1 λ = 10 λ = 102 λ = 103
3,147 1.64e2 1.64e2 1.60e2 1.40e2 9.41e1 5.43e1 2.48e1
4,467 1.65e2 1.64e2 1.60e2 1.40e2 9.49e1 6.43e1 3.42e1
6,587 1.61e2 1.60e2 1.57e2 1.35e2 9.22e1 7.09e1 4.52e1
10,027 1.61e2 1.61e2 1.57e2 1.36e2 9.62e1 8.04e1 5.49e1
15,927 1.62e2 1.62e2 1.58e2 1.36e2 9.95e1 8.78e1 6.46e1
κ(Pm Aλ,h )
DOF λ = 10−3 λ = 10−2 λ = 10−1 λ=1 λ = 10 λ = 102 λ = 103
3,147 5.76 5.76 5.76 5.75 5.65 5.21 4.16
4,467 5.76 5.76 5.75 5.75 5.68 5.42 4.77
6,587 5.63 5.63 5.63 5.62 5.56 5.39 4.99
10,027 6.03 6.03 6.03 6.03 6.02 5.94 5.59
15,927 6.07 6.07 6.07 6.07 6.06 6.00 5.75

预优GMRES: Pa vs. Pm
线性方程:
A : D 2 u + b θ · ∇u − c θ u = f θ ,
Cordes 条件: λ = θ, ε = 9/20:
 x1 x2 
2 √
A =  x1 x2
 |x1 x2 |  bθ = θ(x1 , x2 )T c θ = 3θ.

2
|x1 x2 |

预优GMRES: Pa vs. Pm
线性问题
A : D 2 u + b θ · ∇u − c θ u = f θ .
Table: The iteration steps of additive preconditioning.

λ = 10−3 λ = 10−2 λ = 10−1 λ=1 λ = 101 λ = 102 λ = 103
DOF steps steps steps steps steps steps steps
5,055 120 119 116 117 99 71 36
20,351 133 132 132 130 114 95 59
81,663 137 137 136 134 118 109 72
327,167 138 137 135 135 118 117 80
Table: The iteration steps of multiplicative preconditioning.

λ = 10−3 λ = 10−2 λ = 10−1 λ=1 λ = 101 λ = 102 λ = 103
DOF steps steps steps steps steps steps steps
5,055 28 28 28 28 28 27 24
20,351 26 26 26 26 25 25 29
81,663 25 24 24 24 23 23 28
327,167 23 23 23 22 21 21 26

应用于HJB 问题
sup (Lα u − f α ) = 0 in Ω, u=0 on ∂Ω.

α∈Λ
Λ = [0, π/3] × SO(2), 其中SO(2) 是2 × 2 旋转矩阵的集合.

b α = 0, c α = π 2 .系数矩阵:

1 1 sin θ
A = σ α (σ α )T ,
α α
σ =R T
, α = (θ, R) ∈ Λ.
2 0 cos θ
DOF h Average PGMRES iterations (Newton steps)

71 1/4 14 (6)
303 1/8 18 (6)
1,247 1/16 18 (6)
5,055 1/32 18 (7)
20,351 1/64 18 (8)
Auxiliary space preconditioners for C 0 finite element approximation of
Hamilton–Jacobi–Bellman equations with Cordes coefficients, submit.
高广维[2mm] 导师: 胡俊 (北京大学数学科学学院)
论文选题报告: 非散度型方程的有限元离散及其高效求解 October 6, 2022 27 / 40
空间的嵌套性
有限元格式的高效求解: 自适应加密, 多重网格迭代法⇒ 空间的嵌套性.

以Hermite元为例: V (T ) ⊂ H 1 (Ω) ∩ Pk (T ).
非嵌套性: V (T` ) * V (T`+1 ):
如何使得:
e (T ) ⊂ H 1 (Ω) ∩ Pk (T ).
V (T ) ⊂ V
| {z }
具有嵌套性

嵌套化的 Hermite 元(Carstensen & Hu, 2021)
e (T` ) = V (T0 ) + · · · + V (T` ).

V
V (T` ) + "z ∈ V` \V0 处, 增加一自由度" ⇒ Ṽ (T` ).

∂ν ⇒ ∂ν+ 和∂ν− .

离散 Miranda-Talenti
X Z
2 2 2
X X Z ∂ 2 vh ∂vh ∂vh ∂vh xF2
(∆vh ) − |D vh | dx = 2 − xF1
K F ∂τ 2 ∂ν ∂ν ∂τ
K ∈T (z) K ∈T (z) F ⊂∂K
e (T` )在z处不再C 1 连续.

vh ∈ V
分别在T + (z)和T − (z)上看, 仍然C 1 连续.
e (T` ) ⊂ H 1 ∩ Pk (T ), 具有嵌套性, 且保持了离散M-T.
V
数值例子: 用V
e (T )离散非散度型A : D 2 u = f
Ndof ku − uh kL2 ordL2 ku − uh kH1 ordH1 ku − uh kH2 ordH2

1423 2.52638e-04 1.84 1.52963e-03 2.57 3.64301e-02 1.99
5791 8.64577e-05 1.55 3.57940e-04 2.10 9.13692e-03 2.00
23359 2.41160e-05 1.84 9.09192e-05 1.98 2.28824e-03 2.00
93823 6.23120e-06 1.95 2.29956e-05 1.98 5.72613e-04 2.00

问题难点与后续工作
自适应加密:
I 如何去设计误差指示子?
F 单元内部的残量+ 单元边界的跳跃.
F 可靠性与有效性.
F 加密过程中指示子是否有收缩性质?
I 怎样去证明自适应加密的收敛性? (非对称的双线性型)
I 自适应加密的收敛率如何? 是否是最优的?
多重网格迭代法:
I 双线性非对称的在分析中的影响.
I 如何选取磨光子与粗空间?
F Gauss-Seidel 磨光子.
F 通过局部加密来选取粗空间.
I 收敛性的分析, 以及收敛率的估计.
F 证明相应版本的稳定分解.

斜导数边值问题
考虑如下带有斜导数边界条件的非散度型方程:
A : D2u = f , a.e. in Ω,
(14)
` · ∇u is constants on ∂Ω.
A(x) 满足一致椭圆条件, A(x) ∈ L∞ (Ω, Rd×d ), f ∈ L2 (Ω).

∂Ω ∈ C 2 , ` ∈ C 2 (∂Ω, Rd ).
问题特点:
I A(x) : D 2 u(x) ⇒ 基于分部积分弱形式的数值格式不再适用.
I `(x) · ∇u(x) ⇒ 无法写入分部积分的边界项中.
Cordes 条件+ MT: H 2 ∩ H01 下M-T =⇒ ` · ∇u 下M-T =⇒ 离散的M-T.

斜导数边值条件下 Miranda-Talenti 估计
弧长参数化:x(ϕ) : [0, L] → ∂Ω.

χ(ϕ): ∂Ω在x(ϕ)点处的曲率为.
θ: 法向n和`之间的定向的夹角.
(Maugeri & Palagachev & Softova, 2000)u ∈ H 2 (Ω), 我们有:
Z Z L
dθ
Z L ˙ ∂u
∂u
(∆u)2 − |D 2 u|2 = |∇u|2 ( − χ)dϕ − 2 ( ) dϕ . (15)
Ω 0 dϕ 0 ∂` ∂`⊥
| {z }
斜导数边界条件
再假设
θ(L) − θ(0) dθ
h= =0 和 − χ > 0,
2π dϕ
可以证明带有斜导数边界条件的非散度型方程(14)存在唯一
解u ∈ H 2 (Ω) ∩ L20 (Ω).

曲边网格剖分
`仅定义在∂Ω ⇒ Th 需要贴合∂Ω ⇒ Th 在Ω的边界附近由曲边三角形构成.
曲边三角形: 存在C 1 的映射FK : K̂ 7→ K ,
FK = F̃K + ΦK , (16)
F̃K : x̂ 7→ B̃K x̂ + b̃K 是一个可逆的仿射映射. ΦK 是C 1 映射, 满足
cK = sup kDΦK B̃K−1 k < 1. (17)

x̂∈K̂

有限元空间
曲边三角形K 上的形函数空间为:
PK = {v = v̂ ◦ FK−1 , v̂ ∈ Pk (K̂ )}.
定义有限元空间为:
Vh := {v ∈ H 1 (Ω) : v |K ∈ PK , ∀K ∈ Th , v 在节点处C 1 }.
带有边界条件的空间:
Z
Vh` = {vh ∈ Vh , vh dx = 0, ∇vh · ` 在边界节点处为常数}.
Ω
离散范数:
XZ
kuh k2h = kD 2
uh k2Th + |Duh |2 dϕ
e
e∈Eh∂

离散的 Miranda-Talenti
利用顶点处的C 1 连续性, 我们有:

XZ XZ X Z ∂uh ∂ 2 uh
2 2 2
(∆uh ) = |D u| + 2 [ ] 2 dϕ
T T T T e ∂n ∂t
e∈Ehi
| {z }
内部直边
(18)
XZ ∂u˙ h ∂uh XZ dθ
−2 ( ) ⊥ dϕ + |Duh |2 ( − χ)dϕ .
e ∂` ∂` e dϕ
e∈Eh∂ e∈Eh∂
| {z } | {z }
边界曲边斜导数 dθ
dϕ −χ>0

数值格式
下面我们给出数值格式: 求解uh ∈ Vh` :

√
2 2− 1−
(γA : D uh , ∆vh )Th + Sh (uh , vh ) = (γf , ∆vh )Th ∀vh ∈ Vh` ,
2
其中:
X Z ∂uh ∂ 2 vh X Z ∂vh ∂u˙ h
Sh (uh , vh ) = −2 [ ] 2 +2 ⊥ ∂`
.
e ∂n ∂t e ∂`
e∈Ehi e∈Eh∂
| {z } | {z }
内部直边边界曲边斜导数
u ∈ H 2 是(14)的真解, Sh (u, vh ) = 0 ⇒ 相容性.

Cordes 条件+ 离散 M-T ⇒ 强制性.

问题难点与后续工作
?
u ∈ H 2 (Ω) =⇒ zh = Πh u ∈ Vh 具有逼近性.
I 非光滑插值Πh 如何构造: 局部L2 投影+ 自由度插值?
I 逼近性的分析: 曲边情况的 scaling 技巧.
怎样影响?
I ∂Ω的光滑性⇒ FK 的光滑性======⇒ 逼近阶.
怎样得到?
强制性+ 相容性+ 空间逼近性======⇒ 误差收敛阶
I 曲边情况下有限元分析中的逆估计.
I 曲边情况下的迹定理.
I 不同范数下的误差收敛阶.

总结
针对非散度型方程, 我考虑了离散格式的设计与离散系统的高效求解两方面的
工作, 其中:
1 辅助自空间预调件子的设计: 已完成
2 后续我将继续以下工作:
I 自适应网格加密: 指示子, 收敛率....
I 多重网格迭代法: 磨光子, 粗空间, 稳定分解, 收敛率...
I 斜导数边值的离散: 曲边有限元空间的逼近性, 误差分析...
感谢各位老师!


October 6, 2022 1 / 40

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

October 6, 2022 1 / 40

Uploaded by

Copyright:

Available Formats

论文选题报告: 非散度型方程的有限元离散及其高效

高广维[2mm] 导师: 胡俊 论文选题报告: 非散度型方程的有限元离散及其高效求解

设Ω是Rd 中一开区域, 我们有如下的非散度椭圆型方程

A(x) : D 2 u(x) = f (x), in Ω. (1)

在边界处x ∈ ∂Ω, 考虑 Dirichlet 边界条件:

u(x) = g1 (x), on ∂Ω.

`(x) · ∇u(x) = g2 (x), on ∂Ω.

其中`(x) ∈ Rd 是一定义在∂Ω上的向量场, A(x) ∈ L∞ (Ω, Rd×d ) 满足一致椭圆

高广维[2mm] 导师: 胡俊 论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊 论文选题报告: 非散度型方程的有限元离散及其高效求解

sup (Lα u(x) − f α (x)) = 0 (2)

Lα v (x) := Aα (x) : D 2 v (x) + b α (x) · ∇v (x) − c α (x)v (x).

Aαj : D 2 u j+1 + b αj · ∇u j+1 − c αj u j+1 = f αj .

控制量αj (x) = argmaxα (Lα u j − f α )(x)间断⇒ 系数矩阵Aαj (x)间断 .

高广维[2mm] 导师: 胡俊 论文选题报告: 非散度型方程的有限元离散及其高效求解

det D 2 u(x) − f (x) = 0, x ∈ Ω,

Cof D 2 un : D 2 un+1 = det(D 2 un ) + f , x ∈Ω

记`(x) = ∇h(∇un (x)), 则有如下带有斜导数边界条件的非散度型方程:

其中的A = A(x) = Cof D 2 un 可能是非光滑 的.

高广维[2mm] 导师: 胡俊 论文选题报告: 非散度型方程的有限元离散及其高效求解

在d = 2时, Cordes 条件等价于一致椭圆性条件.

Miranda-Talenti 估计: Ω ⊂ Rd 有界凸区域, v ∈ H 2 (Ω) ∩ H01 (Ω),

|v |H 2 (Ω) ≤k∆ukL2 (Ω) .

Cordes 条件+ Miranda-Talenti 估计⇒ H 2 适定性

高广维[2mm] 导师: 胡俊 论文选题报告: 非散度型方程的有限元离散及其高效求解

存在λ > 0 和ε ∈ (0, 1] 使得:

|Aα |2 + |b α |2 /(2λ) + (c α /λ)2 1

Cordes 条件+ Miranda-Talenti 估计⇒ HJB方程H 2 适定性

高广维[2mm] 导师: 胡俊 论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊 论文选题报告: 非散度型方程的有限元离散及其高效求解

Vh : d − 2维单纯形上C 1 连续⇒ 离散 Miranda-Talenti .

hMh [uh ], vh i = 0 ∀vh ∈ Vh . (7)

Cordes 条件+ 离散的Miranda-Talenti ⇒ 适定的数值格式 .

高广维[2mm] 导师: 胡俊 论文选题报告: 非散度型方程的有限元离散及其高效求解

二维: Hermite 单元, Pk (k ≥ 3).

Vh := {v ∈ H01 (Ω) : v |T ∈ Pk (T ), ∀T ∈ Th , v 在顶点处C 1 连续}.

三维: Argyris 单元, Pk (k ≥ 5).

Vh := {v ∈ H01 (Ω) : v |T ∈ Pk (T ), ∀T ∈ Th , v 在边上C 1 连续,

高广维[2mm] 导师: 胡俊 论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊 论文选题报告: 非散度型方程的有限元离散及其高效求解

hAλ,h wh , vh i := (wh , vh )λ,h ∀wh , vh ∈ Vh . (8)

谱等价预条件子: SPD 算子Pλ,h : Vh0 → Vh 满足

高广维[2mm] 导师: 胡俊 论文选题报告: 非散度型方程的有限元离散及其高效求解

V0 ⊂ H01 (Ω) : Th 上的连续线性元空间.

hA0 P0 vh , wh i := (vh , Π0 wh )λ,h ∀vh ∈ Vh , wh ∈ V0 .

高广维[2mm] 导师: 胡俊 论文选题报告: 非散度型方程的有限元离散及其高效求解

Rh : 对于Aλ,h 的Gauss-Seidel 磨光子

I − R̄h Aλ,h = (I − Rh0 Aλ,h )(I − Rh Aλ,h ).

记k · k2R̄ −1 := hR̄h−1 ·, ·i.

高广维[2mm] 导师: 胡俊 论文选题报告: 非散度型方程的有限元离散及其高效求解

(−∆h wh , vh )Ω := (∇wh , ∇vh )Ω ∀wh , vh ∈ V0 .

hR0−1 uh , vh i := (λuh − ∆h uh , λvh − ∆h vh )Ω ∀uh , vh ∈ V0 . (10)

记k · k2R −1 := hR0−1 ·, ·i, 有:

kv0 kR −1 ' kv0 kA0 ∀v0 ∈ V0 .

高广维[2mm] 导师: 胡俊 论文选题报告: 非散度型方程的有限元离散及其高效求解

稳定分解: 对于任意的v ∈ Vh , 存在vh ∈ Vh 和v0 ∈ V0 满足v = vh + Π0 v0 ,

kvh kλ,h ≤ c2 kvh kR̄ −1 , ∀vh ∈ Vh .

高广维[2mm] 导师: 胡俊 论文选题报告: 非散度型方程的有限元离散及其高效求解

Pa := R̄h + Π0 R0 Π00 . (11)

(Xu, 1996) 稳定分解+ 有界性⇒ 谱等价

高广维[2mm] 导师: 胡俊 论文选题报告: 非散度型方程的有限元离散及其高效求解

加性预条件: Pa := R̄h + Π0 R0 Π00 ; 关于λ 和h一致, 但有相对大的条件数/

I − Pm Aλ,h := (I − Rh Aλ,h )(I − Π0 R0 Π00 Aλ,h )(I − Rh0 Aλ,h ). (12)

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

其中的A = A(x) = Cof D 2 un 可能是非光滑的.

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解

高广维[2mm] 导师: 胡俊论文选题报告: 非散度型方程的有限元离散及其高效求解