Spectral analysis of complex shifted-laplace preconditioners for the Helmholtz equation

Transcription

1 Spectral analysis of complex shifted-laplace preconditioners for the Helmholtz equation C. Vuik, Y.A. Erlangga, M.B. van Gijzen, and C.W. Oosterlee Delft Institute of Applied Mathematics Seminar für Analysis und Numerik Mathematisches Intitut, Universität Basel December 7, 2007, Basel, Switzerland C. Vuik, December 7, p.1/28

2 Contents 1. Introduction 2. Spectrum of shifted Laplacian preconditioners 3. Shift with an SPD real part 4. General shift 5. Numerical experiments 6. Conclusions Wim Mulder, René Edouard Plessix, Paul Urbach, Alex Kononov and Dwi Riyanti Financially supported by the Dutch Ministry of Economic Affairs: project BTS01044 C. Vuik, December 7, p.2/28

3 1. Introduction The Helmholtz problem is defined as follows where: xx u yy u z 1 k 2 (x, y)u = f, in Ω, Boundary conditions on Γ = Ω, z 1 = α 1 + iβ 1 and k(x, y) is the wavenumber for solid boundaries: Dirichlet/Neumann for fictitious boundaries: Sommerfeld du dn iku = 0 Perfectly Matched Layer (PML) Absorbing Boundary Layer (ABL) C. Vuik, December 7, p.3/28

4 Discretization In general: Finite Difference/Finite Element Methods. Particular to the present case: 5-point Finite Difference stencil, O(h 2 ). Linear system Ax = b, A C N N, b, x C N, C. Vuik, December 7, p.4/28

5 Discretization In general: Finite Difference/Finite Element Methods. Particular to the present case: 5-point Finite Difference stencil, O(h 2 ). Linear system Ax = b, A C N N, b, x C N, A is a sparse, highly indefinite matrix for practical values of k. Special property A = A T. For high resolution a very fine grid is required: grid-points per wavelength (or 5 10 k) A is extremely large! C. Vuik, December 7, p.4/28

6 Characteristic properties of the problem A C N N is sparse wavenumber k and grid size N are very large wavenumber k varies discontinuously real parts of the eigenvalues of A are positive and negative C. Vuik, December 7, p.5/28

7 Application: geophysical survey Marmousi model (hard) C. Vuik, December 7, p.6/28

8 Application: geophysical survey old method new method iterations Frequency f Marmousi model (hard) C. Vuik, December 7, p.6/28

9 2. Spectrum of shifted Laplacian preconditioners Operator based preconditioner P is based on a discrete version of xx u yy u (α 2 + iβ 2 )k 2 (x, y)u = f, in Ω. appropriate boundary conditions Matrix P 1 is approximated by an inner iteration process. α 2 = 0 β 2 = 0 Laplacian Bayliss and Turkel, 1983 α 2 = 1 β 2 = 0 Definite Helmholtz Laird, 2000 α 2 = 0 β 2 = 1 Complex Erlangga, Vuik and α 2 = 1 β 2 = 0.5 Optimal Oosterlee, 2004, 2006 C. Vuik, December 7, p.7/28

10 Spectrum of shifted Laplacian preconditioners After discretization we obtain the (un)damped Helmholtz operator L z 1 M, where L and M are SPD matrices and z 1 = α 1 + iβ 1. The preconditioner is then given by L z 2 M, where z 2 = α 2 + iβ 2 is chosen such that systems with the preconditioner are easy to solve, the outer Krylov process is accelerated significantly. C. Vuik, December 7, p.8/28

11 Spectrum of shifted Laplacian preconditioners References: Manteuffel, Parter, 1990; Yserentant, 1988 Since L and M are SPD we have the following eigenpairs Lv j = λ j Mv j, where, λ j R + The eigenvalues σ j of the preconditioned matrix satisfy Theorem 1 Provided that z 2 λ j, the relation (L z 1 M)v j = σ j (L z 2 M)v j. σ j = λ j z 1 λ j z 2 holds. C. Vuik, December 7, p.9/28

12 Spectrum of shifted Laplacian preconditioners Theorem 2 If β 2 = 0, the eigenvalues σ r + iσ i are located on the straight line in the complex plane given by β 1 σ r (α 1 α 2 )σ i = β 1. C. Vuik, December 7, p.10/28

13 Spectrum of shifted Laplacian preconditioners Theorem 2 If β 2 = 0, the eigenvalues σ r + iσ i are located on the straight line in the complex plane given by β 1 σ r (α 1 α 2 )σ i = β 1. Theorem 3 If β 2 0, the eigenvalues σ r + iσ i are on the circle in the complex plane with center c and radius R: c = z 1 z 2 z 2 z 2, R = z 2 z 1 z 2 z 2. Note that if β 1 β 2 > 0 the origin is not enclosed in the circle. C. Vuik, December 7, p.10/28

14 Spectrum of shifted Laplacian preconditioners Using Sommerfeld boundary conditions, it impossible to write the matrix as L z 1 M where, L and M are SPD. Generalized matrix L + ic z 1 M, where L, M, and C are SPD. Matrix C contains Sommerfeld boundary conditions (or other conditions: PML, ABL). Use as preconditioner L + ic z 2 M. C. Vuik, December 7, p.11/28

15 Spectrum of shifted Laplacian preconditioners Suppose then (L + ic)v = λ C Mv (L + ic z 1 M)v = σ C (L + ic z 2 M)v. Theorem 4 Let β 2 0 then the eigenvalues σ C are in or on the circle with center c = z 1 z 2 z 2 z 2 and radius R = z 2 z 1 z 2 z 2. C. Vuik, December 7, p.12/28

16 3. Shift with an SPD real part Motivation: the preconditioned system is easy to solve. 1 z1 = 1 0.5i, z2 = z1 = 1, z2 = i Im Im Re Re 1.5 z1 = 1 0.5i, z2 = 1 0.5i i 2 z1 = 1 0.5i, z2 = 1 0.5i i 1 1 Im 0.5 Im Re Re C. Vuik, December 7, p.13/28

17 Optimization of the shift Which choices for z2 are optimal? Damping: alpha2 (scaled) Damping: alpha2 (scaled) Damping: alpha2 (scaled) C. Vuik, December 7, p.14/ beta2 (scaled) beta2 (scaled) beta2 (scaled)

18 Optimal choices for z 2? beta1 = 0 beta1 = 0.1 beta1 = 0.5 beta1 = 1 Frequency: 8 50 Number of iterations imaginary shift (negative, scaled) C. Vuik, December 7, p.15/28

19 Optimal choices for z 2? Damping Optimal β 2 "optimal" iterations Minimum iterations β 1 = β 1 = β 1 = β 1 = C. Vuik, December 7, p.16/28

20 Optimal choices for z 2? Damping Optimal β 2 "optimal" iterations Minimum iterations β 1 = β 1 = β 1 = β 1 = Number of iterations h 100/2 100/4 100/8 100/16 100/32 f β 1 = β 1 = β 1 = β 1 = C. Vuik, December 7, p.16/28

21 Superlinear convergence of GMRES 10 0 f = 8. beta1 = 0, no radiation condition Scaled residual norm Number of iterations C. Vuik, December 7, p.17/28

22 Superlinear convergence of GMRES 10 0 f = 8. beta1 = 0.05, no radiation condition Scaled residual norm Number of iterations C. Vuik, December 7, p.17/28

23 Superlinear convergence of GMRES 10 0 f = 8. beta1 = 0.1, no radiation condition Scaled residual norm Number of iterations C. Vuik, December 7, p.17/28

24 4. General Shifted Laplacian preconditioner No restriction on α 2 For the outer loop α 2 = 1 and β 2 = 0 is optimal. Convergence in 1 iteration. But, the inner loop does not converge with multi-grid (original problem). However, it appears that multi-grid works well for α 2 = 1 and β 2 = 1 and the convergence of the outer loop is much faster than for the choice α 2 = 0 and β 2 = 1. C. Vuik, December 7, p.18/28

25 Eigenvalues for Complex preconditioner k = 100 and α 2 = 1 Spectrum is independent of the grid size β 2 = 1 β 2 = C. Vuik, December 7, p.19/28

26 Eigenvalues for β 1 = (damping) and α 2 = 1, β 2 = 0.5 Spectrum is independent of the grid size and the choice of k. 0.5 k = 100 k = C. Vuik, December 7, p.20/28

27 5. Numerical experiments Multi-grid components geometric multi-grid ω-jac smoother matrix dependent interpolation, restriction operator full weighting Galerkin coarse grid approximation F(1,1)-cycle P 1 is approximated by one multi-grid iteration in 3D semi-coarsening is used C. Vuik, December 7, p.21/28

28 Spectrum with inner iteration 0.6i (a) 0.5i (b) 0 0.5i i 0 1 C. Vuik, December 7, p.22/28

29 Sigsbee model depth (m) x direction (m) x C. Vuik, December 7, p.23/28

30 Sigsbee model dx = dz = m; D = m 2 ; grid points Bi-CGSTAB 5 Hz 10 Hz CPU (sec) Iter CPU (sec) Iter NO preco With preco Note: Without preconditioner, number of iterations > 10 4, With shifted Laplacian preconditioner, only 58 iterations. C. Vuik, December 7, p.24/28

31 3D wedge problem (0,0.25,1) (0,0.8,1) bk f 2 k x 3 ak (0,0.6,0) (1,0.7,0) f 1 x 2 (0,0.4,0) (1,0.2,0) x 1 Unit source C. Vuik, December 7, p.25/28

32 Numerical results for 3D wedge problem (a,b) = (1.2,1.5) (a,b) = (1.2,2.0) 60 iterations Frequency f C. Vuik, December 7, p.26/28

33 Numerical results for 3D wedge problem (a,b) = (1.2,1.5) (a,b) = (1.2,2.0) 60 iterations Frequency f C. Vuik, December 7, p.26/28

34 6. Conclusions The shifted Laplacian operator leads to robust preconditioners for the 2D and 3D Helmholtz equations with various boundary conditions. For real shifts the eigenvalues of the preconditioned operator are on a straight line. For complex shifts the eigenvalues of the preconditioned operator are on a circle. The proposed preconditioner (shifted Laplacian + multi-grid) is independent of the grid size and linearly dependent of k. With physical damping the proposed preconditioner is also independent of k. C. Vuik, December 7, p.27/28

35 Further information/research Y.A. Erlangga, C. Vuik and C.W. Oosterlee On a class of preconditioners for solving the Helmholtz equation Appl. Num. Math., 50, pp , 2004 Y.A. Erlangga, C.W. Oosterlee and C. Vuik A Novel Multigrid Based Preconditioner For Heterogeneous Helmholtz Problems SIAM J. Sci. Comput.,27, pp , 2006 M.B. van Gijzen, Y.A. Erlangga and C. Vuik Spectral analysis of the discrete Helmholtz operator preconditioned with a shifted Laplacian SIAM J. Sci. Comput., 2007, 29, pp , 2007 C. Vuik, December 7, p.28/28