Jun Zou Department of Mathematics The Chinese University of Hong Kong
description
Transcript of Jun Zou Department of Mathematics The Chinese University of Hong Kong
![Page 1: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/1.jpg)
03/29/2006, City Univ 1
Iterative Methods with Inexact Preconditioners
and Applications to Saddle-point Systems &
Electromagnetic Maxwell Systems
Jun Zou Department of Mathematics
The Chinese University of Hong Kong
http://www.math.cuhk.edu.hk/~zou
Joint work withQiya Hu (CAS, Beijing)
![Page 2: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/2.jpg)
2
Outline of the Talk
![Page 3: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/3.jpg)
3
Inexact Uzawa Methods for SPPs
• Linear saddle-point problem:
where A, C : SPD matrices ; B : n x m ( n > m )
• Applications:
Navier-Stokes eqns, Maxwell eqns, optimizations, purely algebraic systems , … …
• Well-posedness : see Ciarlet-Huang-Zou, SIMAX 2003
• Much more difficult to solve than SPD systems
• Ill-conditioned: need preconditionings, parallel type
![Page 4: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/4.jpg)
4
Why need preconditionings ?
• When solving a linear system
• A is often ill-conditioned if it arises from discretization of PDEs
• If one finds a preconditioner B s.t. cond(BA) is small, then we solve
• If B is optimal, i.e. cond (BA) is independent of h, then the number of iterations for solving a system of h=1/100 will be the same as for solving a system of h=1/10 • Possibly with a time difference of hours & days, or days & months, especially for time-dependent problems
![Page 5: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/5.jpg)
5
Schur Complement Approach
A simple approach: first solve for p ,
Then solve for u ,
We need other more effective methods !
![Page 6: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/6.jpg)
6
Preconditioned Uzawa Algorithm
Given two preconditioners:
![Page 7: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/7.jpg)
7
Preconditioned inexact Uzawa algorithm
• Algorithm
• Randy Bank, James Bramble, Gene Golub, ... ...
![Page 8: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/8.jpg)
8
Preconditioned inexact Uzawa algorithm• Algorithm
• Question :
![Page 9: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/9.jpg)
9
Uzawa Alg. with Relaxation Parameters(Hu-Zou, SIAM J Maxtrix Anal, 2001)
• Algorithm I
• How to choose
![Page 10: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/10.jpg)
Uzawa Alg with Relaxation Parameters
• Algorithm with relaxation parameters:
• Implementation
• Unfortunately, convergence guaranteed under
But ensured for any preconditioner for C ; scaling invariant
![Page 11: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/11.jpg)
11
(Hu-Zou, Numer Math, 2001)
• Algorithm with relaxation parameter
• This works well only when both
• This may not work well in the cases
![Page 12: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/12.jpg)
12
(Hu-Zou, Numer Math, 2001)
• Algorithm with relaxation parameter
• For the case :
more efficient algorithm:
• Convergence guaranteed if
![Page 13: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/13.jpg)
13
(Hu-Zou, SIAM J Optimization, 2005)
![Page 14: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/14.jpg)
Inexact Preconditioned Methods for NL SPPs
• Nonlinear saddle-point problem:
• Arise from NS eqns, or nonlinear optimiz :
![Page 15: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/15.jpg)
Time-dependent Maxwell System
● The curl-curl system: Find u such that
● Eliminating H to get the E - equation:
● Eliminating E to get the H - equation:
● Edge element methods (Nedelec’s elements) : see Ciarlet-Zou : Numer Math 1999; RAIRO Math Model & Numer Anal 1997
![Page 16: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/16.jpg)
16
Time-dependent Maxwell System
● The curl-curl system: Find u such that
● At each time step, we have to solve
![Page 17: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/17.jpg)
17
Non-overlapping DD Preconditioner I (Hu-Zou, SIAM J Numer Anal, 2003)
● The curl-curl system: Find u such that
● Weak formulation: Find
● Edge element of lowest order :
● Nodal finite element :
![Page 18: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/18.jpg)
18
Edge Element Method
![Page 19: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/19.jpg)
19
Additive Preconditioner Theory
● Additive Preconditioner Theory
● Given an SPD S, define an additive Preconditioner M :
![Page 20: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/20.jpg)
20
DDMs for Maxwell Equations
• 2D, 3D overlapping DDMs: Toselli (00), Pasciak-Zhao (02), Gopalakrishnan-Pasciak (03)
• 2D Nonoverlapping DDMs : Toselli-Klawonn (01), Toselli-Widlund-Wohlmuth (01)
• 3D Nonoverlapping DDMs : Hu-Zou (2003), Hu-Zou (2004)
• 3D FETI-DP: Toselli (2005)
![Page 21: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/21.jpg)
21
Nonoverlapping DD Preconditioner I (Hu-Zou, SIAM J Numer Anal, 2003)
![Page 22: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/22.jpg)
22
Interface Equation on
![Page 23: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/23.jpg)
23
![Page 24: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/24.jpg)
24
Global Coarse Subspace
![Page 25: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/25.jpg)
25
Two Global Coarse Spaces
![Page 26: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/26.jpg)
26
![Page 27: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/27.jpg)
27
Nonoverlapping DD Preconditioner I
![Page 28: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/28.jpg)
28
Nonoverlapping DD Preconditioner II(Hu-Zou, Math Comput, 2003)
![Page 29: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/29.jpg)
29
Variational Formulation
![Page 30: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/30.jpg)
30
Equivalent Saddle-point System
can not apply Uzawa iteration
![Page 31: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/31.jpg)
31
Equivalent Saddle-point System
Write the system
into equivalent saddle-point system :
Convergence rate depends on
Important : needed only once in Uzawa iter.
![Page 32: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/32.jpg)
32
DD PreconditionersLet
Theorem
![Page 33: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/33.jpg)
33
DD Preconditioner II
![Page 34: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/34.jpg)
34
Local & Global Coarse Solvers
![Page 35: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/35.jpg)
35
Stable Decomposition of VH
![Page 36: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/36.jpg)
36
Condition Number Estimate
The additive preconditioner
Condition number estimate:
Independent of jumps in coefficients
![Page 37: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/37.jpg)
37
Mortar Edge Element Methods
![Page 38: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/38.jpg)
38
Mortar Edge Element Methods
See Ciarlet-Zou, Numer Math 99:
![Page 39: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/39.jpg)
39
Mortar Edge M with Optim Convergence(nested grids on interfaces)
![Page 40: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/40.jpg)
40
Local Multiplier Spaces: crucial !
![Page 41: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/41.jpg)
41
Near Optimal Convergence
![Page 42: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/42.jpg)
42
Auxiliary Subspace Preconditioner(Hiptmair-Zou, Numer Math, 2006)
Solve the Maxwell system :
by edge elements on unstructured meshes
![Page 43: Jun Zou Department of Mathematics The Chinese University of Hong Kong](https://reader036.fdocuments.in/reader036/viewer/2022062811/56816023550346895dcf273a/html5/thumbnails/43.jpg)
43
Optimal DD and MG Preconditioners
• Edge element of 1st family for discretization
• Edge element of 2nd family for preconditioning
• Mesh-independent condition number
• Extension to elliptic and parabolic equations
Thank You !