arxiv: v3 [math.ap] 5 Sep 2013

Transcription

1 NUMERICAL LINEAR ALGEBRA WITH APPLICATIONS Numer. Linear Agebra App. 2010; 00:1 23 Pubished onine in Wiey InterScience ( Loca Fourier Anaysis of the Compex Shifted Lapacian preconditioner for Hemhotz probems Siegfried Coos, Wim Vanroose arxiv: v3 [math.ap] 5 Sep 2013 Department of Mathematics and Computer Science, University of Antwerp, Middeheimaan 1, 2020 Antwerp, Begium SUMMARY In this paper we sove the Hemhotz equation with mutigrid preconditioned Kryov subspace methods. The cass of Shifted Lapacian preconditioners are known to significanty speed-up Kryov convergence. However, these preconditioners have a parameter β R, a measure of the compex shift. Due to contradictory requirements for the mutigrid and Kryov convergence, the choice of this shift parameter can be a botteneck in appying the method. In this paper, we propose a wavenumber-dependent minima compex shift parameter which is predicted by a rigorous k-grid Loca Fourier Anaysis (LFA of the mutigrid scheme. We caim that, given any (regionay constant wavenumber, this minima compex shift parameter provides the reader with a parameter choice that eads to efficient Kryov convergence. Numerica experiments in one and two spatia dimensions vaidate the theoretica resuts. It appears that the proposed compex shift is both the minima requirement for a mutigrid V-cyce to converge, as we as being nearoptima in terms of Kryov iteration count. Copyright c 2010 John Wiey & Sons, Ltd. Received... KEY WORDS: Hemhotz equation, indefinite systems, high wavenumber, Kryov method, Shifted Lapacian preconditioner, Loca Fourier Anaysis 1. INTRODUCTION The propagation of waves through a materia can be mathematicay modeed by the Hemhotz equation ( k(x 2 u(x = f(x, on ad-dimensiona subdomainω R d. Herek(x is the space dependent wave number that modes change in materia properties as a function of x Ω. For high wavenumbers k, the sparse system of inear equations that resuts from the discretization of this PDE is distincty indefinite, causing most of the cassic iterative methods to perform poory. Incited by its efficiency on positive definite probems, the more advanced mutigrid method has repeatedy received attention as possibe sover for these systems. However, as stated in [1] and [2], a direct appication of the mutigrid method to the discretized systems wi inevitaby resut in divergence, as both the smoother and the coarse grid correction tends to introduce growing components in the error. The aim of this paper is to understand the required modifications to the mutigrid method such that it effectivey soves the indefinite inear systems resuting from the discretization of the Hemhotz equation. Over the past few years, many different methods have been proposed to sove this non-trivia probem, an overview of which can be found in [3]. Kryov subspace methods ike GMRES [4] or BiCGStab [5] are known for their abiity to definitey converge to the soution. However, Kryov methods are generay not competitive without a good preconditioner. Consequenty, in recent iterature a variety of specificay Hemhotz-taiored preconditioners have been proposed to Correspondence to: (e-mai siegfried.coos@ua.ac.be, wim.vanroose@ua.ac.be Copyright c 2010 John Wiey & Sons, Ltd. [Version: 2010/05/13 v2.00]

2 2 S. COOLS, W. VANROOSE speed up Kryov convergence. In this paper we focus on the cass of so-caed Shifted Lapacian preconditioners, which were introduced in [6] and further anayzed in [7] and [8], where they are shown to be very efficient Kryov method preconditioners, significanty reducing the number of Kryov iterations on both academic and reaistic probems. Furthermore, unike the origina Hemhotz system, the Shifted Lapacian preconditioning system can be soved effectivey by a mutigrid method. Simiar to many other Hemhotz sovers ike e.g. [9] however, the Shifted Lapacian method introduces a parameter which is intrinsic to the method itsef, namey the magnitude of the (rea and/or imaginary shift. Ideay no shift woud be introduced, as preconditioning the origina system with its exact inverse causes the Kryov method to immediatey converge to the soution without iterating. Unfortunatey, the use of a (compex shift is vita to guarantee mutigrid convergence, as stated in [3], [6], [7] and [10]. Summarizing, one coud say that the Kryov method prefers the shift to be as sma as possibe, whereas the mutigrid sover ony converges for a sufficienty arge shift. This contradiction makes the choice of an optima shift a non-trivia yet essentia task in fine-tuning the Shifted Lapacian method. Note that, whereas in this paper the shift is impemented directy into the discretization matrix, it can aso be represented by using compex vaued grid distances in the discretization [11]. Furthermore, a compex shift can be taken into account in agebraic mutieve method, as eaborated in [12]. The Kryov convergence rate has been expored as a function of a compex shift in [13]. The current paper aims at gaining more insight in the vaue of the compex shift. up to current date, this shift is determined primeray on a heuristica case-by-case basis, as very imited theoretica founding is known. Furthermore, in recent iterature a discussion has risen on the question whether the choice of this compex shift can be independent of the wavenumber k. We wi introduce the notion of a minima compex shift, which we define as the smaest possibe shift for mutigrid to converge, and show that this shift must indeed depend directy on the wavenumber. Additionay, it wi be verified that the proposed compex shift is optima in terms of preconditioned Kryov iterations when exacty soving the preconditioning probem. When appying a imited amount of mutigrid iterations to the preconditioning probem as is common practice, ony approximatey soving the preconditioning system, it wi appear that our definition provides an near-optima vaue for the compex shift parameter w.r.t. Kryov convergence. Consequenty, foowing the given definition, the reader is provided a near-optima and generay safe choice for the compex shift. The main too used in this paper to anayze mutigrid convergence and determine a reaistic vaue for the compex shift is the Loca Fourier Anaysis, originay introduced by Brandt in 1977 [14]. Our anaysis is primariy based on the LFA setting introduced in [15], [16] and [17]. Moreover, the anaysis in this text can be seen as an extension of the spectra anaysis performed in [18] and is even more cosey reated to recent work ike [19] and [20], the atter combining Shifted Lapacian with the new technique of mutigrid defation for improved convergence. The resuts in this paper are imited to probems with homogeneous Dirichet boundary conditions. Reaistic Hemhotz probems often have absorbing boundary conditions impemented with an absorbing ayer such as PML [21]. Note that these absorbing boundary conditions often ead to a more favorabe spectrum for Kryov convergence. The anaysis performed here can thus be considered a worst-case convergence scenario for mutigrid preconditioned Kryov methods. This paper is organized as foows. In Section 2, we present a rigorous LFA anaysis of the probem, utimatey aowing us to define and effectivey cacuate the minima compex shift parameter. In Section 3, numerica resuts for actuay soving the Hemhotz mode probem with a variety of different wavenumbers and grid sizes are presented, which serve as a vaidation of the definition given in Section 2. These experiments verify that the theoretica compex shift is indeed minima w.r.t. mutigrid convergence, and we furthermore observe near-optimaity w.r.t. Kryov convergence. Additionay, we briefy discuss the simiarity between our resuts and the observations made in [22]. We concude the paper with a short review of the concusions in Section 4. Note that throughout the text, we wi use the symbo ι to denote the imaginary unity or 1, to avoid confusion with the index designatori.

3 LOCAL FOURIER ANALYSIS FOR COMPLEX SHIFTED LAPLACIAN Probem statement and notation 2. LOCAL FOURIER ANALYSIS The genera aim of our research is to sove the d-dimensiona indefinite Hemhotz equation on an open bounded domainω R d u+σu = f onω, (1 whereσ R 0 is a distincty negative constant. Observe that we denote the squared wavenumber as σ = k 2. We do not attend to boundary conditions, as Loca Fourier Anaysis does not take into account the domain boundaries, see Section 2.2. Using mutigrid on a Compex Shifted Lapacian preconditioner, we consider the probem of iterativey soving the reated d-dimensiona compex shifted Hemhotz equation u+ σu = g on Ω, (2 where σ = σ(1+βι C, with compex shift parameterβ R +. Note that the CSL preconditioner was originay introduced in [6] with a somewhat more genera σ = σ(α+βι, but foowing the observations in [7] we wi choose to permanenty set α 1. This is in a way a natura choice for α, as preserving the rea shift keeps the preconditioner very cose to the origina probem. Equation (2 is typicay discretized using a finite difference scheme, yieding a inear system Au = g. In our mutigrid anaysis, we assume a standard second-order finite difference discretization on an equidistant mesh withn gridpoints, where typicayn = 2 p for somep N 0 and with mesh width h = 1/N. This renders for d = 1 a discretization matrixa 1D with stenci representation or, for d = 2, a discretization matrixa 2D given by A 2D = σh 2 h 2 1 A 1D = 1 h 2 ( 1 2+ σh 2 1, (3 1, (4 which can easiy be generaized for higher dimensions. Throughout the anaysis, we consider the propagation of the initia fine grid error e (0 1 through a k-grid anaysis error propagation matrixm1 k as foows e (m+1 1 = M1 k e(m 1, m 0, (5 where M k designates the iteration matrix on grid eve corresponding to the mutigrid cyce that empoysk grid eves. Note that we designate the finest grid by the index = 1, the one-eve coarser grid by = 2, and so on, impying a tota of2 p +1 grid points on the -th grid. For the we-known two-grid cyce,m1 2 can be expressed as (see [15] M 2 1 = S ν2 1 (I 1 I 1 2A 1 2 I2 1A 1 S ν1 1, (6 which is generaized by the foowing definition of the error propagation matrix M k for a k-grid anaysis (see [16],[17],[19] M k = S ν2 (I I+1 (I +1 M+1 k A 1 Mk k = 0, +1 I+1 A S ν1, = 1,...,k 1, where S is the smoothing operator, A is the discretization matrix representation and I is the identity matrix on the -th coarsest grid G with mesh size h = 2 1 h ( = 1,...,k. For the onedimensiona probem, the -th coarsest grid G is given by G = {x Ω x = x j = jh, j Z}, (8 (7 To avoid unnecessary terminoogica compications, in this text we oosey refer to σ as the wavenumber. However, the reader shoud keep in mind that we hereby intrinsicay designate the negativey signed squared wavenumber k 2.

4 4 S. COOLS, W. VANROOSE whereas in 2D it is defined as G = {x Ω x = (x j1,x j2 = (j 1 h,j 2 h, j 1,j 2 Z}. (9 Furthermore, I +1 : G G +1 and I+1 : G +1 G are the restriction and proongation operators, respectivey. In this paper, we wi use fu weighting restriction and inear interpoation as the standard intergrid operators Basic principes of 1D Loca Fourier Anaysis We briefy sketch the key ideas behind Loca Fourier Anaysis. LFA is based on the assumption that both reaxation and two-grid correction are oca processes, in which each unknown is updated using ony the information in neighbouring points. Furthermore, boundary conditions are negected by extending a mutigrid components to an infinite grid. It is presumed that the error e (m on the -th coarsest grid can be written as a forma inear combination of the Fourier modes ϕ (θ,x = e ιθx/h with x G and Fourier frequencies θ R. These frequencies may be restricted to the interva Θ = ( π,π] R as a consequence of the fact that for x G The set of -th grid Fourier modes is typicay denoted ϕ (θ +2π,x = ϕ (θ,x. (10 E = span{ϕ (θ,x = e ιθx/h x G, θ Θ}. (11 The Fourier modes are known [23] to be forma eigenfunctions of the operator A. More precisey, the genera reation A ϕ (θ,x = Ã(θϕ (θ,x hods, where the forma eigenvaue Ã(θ is caed the Fourier symbo of the operator A. Given a so-caed ow Fourier frequency θ 0 ( π/2,π/2], its compementary frequency θ 1 is defined as θ 1 = θ 0 sign(θ 0 π. (12 Using this notation, the foowing important property can easiy be derived (for 1 < k ϕ (θ 0,x = ϕ +1 (2θ 0,x = ϕ (θ 1,x, x G +1. (13 The Fourier modesϕ (θ 0,x andϕ (θ 1,x are caed(+1-th eve harmonic modes. These Fourier modes coincide on the ( +1-th coarsest grid, where they are represented by a singe coarse grid mode with doube frequency ϕ +1 (2θ 0,x. In this way, each ow-frequency mode ϕ (θ 0,x is naturay associated with a high-frequency mode ϕ (θ 1,x on the -th grid. It is convenient to denote the two-dimensiona subspace of E spanned by these (+1-th eve harmonics as E θ0 = span{ϕ (θ 0,,ϕ (θ 1, }, 1 < k, (14 with θ 1 as defined by (12. Note that every coarse-eve subspace E+1 θ0 can be decomposed into spaces spanned by finer-eve harmonics, as (13 impies E θ0 +1 = E θ0 /2 E θ1 /2, 1 < k 1. (15 The significance of these spaces E θ is that they are invariant under both smoothing operators and correction schemes under genera assumptions. Due to the previous observations, throughout the Fourier symbo cacuation one can assume without oss of generaity that each -th grid error e (m can be decomposed into componentse (m,j = e (m (x j that consist of a singe Fourier modeϕ (θ,x j and thus can be represented as e (m,j = A (m ϕ (θ,x j = A (m e ιjθ, θ Θ, j Z, m 0, (16

5 LOCAL FOURIER ANALYSIS FOR COMPLEX SHIFTED LAPLACIAN 5 where the ampitudea (m changes as a function of the iterationm. Moreover, using this expression together with the error reation in (5 and the stenci representation of the operators forming the error propagation matrix M k 1, it can be derived that the error ampitudes in two subsequent iterations are reated by an ampification factor function G (θ,σ,β A (m+1 = G (θ,σ,βa (m, m 0, (17 which describes the evoution of the ampitudea (m through consecutive iterations. It is our aim to eaborate an anaytica expression for the ampification factor on the finest grid G 1 (θ,σ,β, which can be considered a continuation of the spectrum ofm1 k (see [15], [10]. For notationa convenience, we tend to denote G 1 (θ,σ,β as G(θ,σ,β, dropping the fine grid index. This ampification factor can be computed by cacuating the Fourier symbos of each component of the G 1 -grid error propagation matrix M1 k. After the symbos are structured in so-caed eigenmatrices for each component, combining harmonic frequencies, and the appropriate products of these matrices are taken, a 2 k 1 2 k 1 eigenmatrix representation M 1 k of the 1D error propagation matrix M1 k is obtained. The ampification factor functiong 1 (θ,σ,β can then readiy be computed as the spectra radius of M 1 k (see [16],[23] G(θ,σ,β = ρ( M k 1 = max λ( M k 1. (18 A we-known condition for a genera iterative method with given iteration matrix, say M, to have convergence, is that ρ(m < 1. This convergence condition can be generaised to the foowing demand on theg 1 -grid ampification factor max θ Θ G(θ,σ,β 1, (19 ceary representing the anaogue condition for a mutigrid cyce. We denote the ampication factor as a function of the Fourier frequency θ, the wavenumberσ and the compex shift parameterβ. Definition of the minima shift. With the hep of the ampification factor we define the minima compex shift parameter β min (σ as a function of the wavenumberσ as β min := argmin β 0 { max θ Θ G(θ,σ,β 1 }. (20 This definition can be interpreted through (19 as the smaest possibe compex shift required for the mutigrid method to converge, i.e. it is the smaest vaue of β for which every singe eigenmode of the error is reduced through consecutive mutigrid iterations. Additionay, the numerica experiments presented in Section 3 wi show that the compex shift parameter β min as defined here is near-optima for any mutigrid-preconditioned Kryov method in terms of iteration count. This means that when the preconditioner is inverted exacty (up to discretization error using a sufficienty arge amount of mutigrid steps, a minima number of Kryov steps is required when choosing the vaue of the compex shift equa to β min The 1D Fourier symbos In this section we wi effectivey cacuate the Fourier symbos of the different component operators of a 1D k-grid scheme. Discretization operator. The evoution of the error under the discretization operator A can be cacuated from its stenci representation (3, yieding e (m+1,j = 1 ( h 2 e (m,j 1 +(2+ σh2 e(m,j e (m,j+1, j Z. Using expression (16, the ampitude reation is found to be ( A (m+1 = 2 h 2 cosθ + 2 h 2 + σ A (m,

6 6 S. COOLS, W. VANROOSE and hence the discretization operator Fourier symbo Ã(θ is à (θ = ( 2 h 2 cosθ + 2 h 2 + σ. (21 Restriction operator. Using an anaogous stenci argument, the error propagation under appication of the fu weighting restriction operatori +1 can be derived to be e (m+1 +1,j = 1 4 e(m,2j e(m,2j e(m,2j+1, j Z. Substituting the error components by (16, one obtains the Fourier symboĩ+1 (θ Ĩ +1 (θ = 1 (cosθ +1. (22 2 Interpoation operator. The inear interpoation operator I+1 propagates the coarse grid error as e (m+1,2j = e (m +1,j or e (m+1,2j+1 = 1 2 e(m +1,j e(m +1,j+1, j Z, where the first equation hods if x G G +1 and the second if x G \G +1. Once again substituting the error components by (16 and combining the above cases, the foowing expression for the Fourier symbo Ĩ +1 (θ is obtained Ĩ+1(θ = 1 (cosθ +1. (23 2 Note that fu-weighting restriction and inear interpoation are dua operators, yieding the exact same Fourier symbo Ĩ+1 (θ = Ĩ +1 (θ. Smoothing operator. As a smoother we wi use standard weighted Jacobi reaxation throughout this text. It is easiy derived (see e.g. [15] that the ω-jacobi reaxation matrix S = I ωd 1 A reates the error in a gridpointx j G through subsequent iterations by e (m+1,j = (1 ωe (m,j + ω 2+ σh 2 (e (m,j 1 +e(m,j+1, j Z. Presuming the error is of the form (16, one obtains the foowing ampitude reation and ω-jacobi smoother Fourier symbo S (θ S (θ = ( 1 ω + 2ω 2+ σh 2 cosθ. (24 For competeness and generaity, we note that the foowing anaysis can readiy be conducted using a different smoother scheme ike Gauss-Seide reaxation, for which an anaogous cacuation shows the Fourier symbo S (θ is given by ( e S iθ (θ = 2+ σh 2. (25 e iθ Once cacuated, the 1D Fourier symbos of each component of M k 1 can now be structured in eigenmatrices, representing the action of a -th grid component on the subspace of ( + 1-grid harmonics, where = 1,...,k 1. This matrix-buiding wi be performed expicitey in the next sections for specific vaues of k to compute the G 1 -grid ampification function G(θ,σ,β and, from this function, the minima compex shift parameterβ min.

7 LOCAL FOURIER ANALYSIS FOR COMPLEX SHIFTED LAPLACIAN 7 Figure 1. The minima compex shift parameter β min from the 1D smoother anaysis with N = 64 and ω = 2/3 as a function of the wavenumber σ. Soid back ine: anaytica ower imit (27 corresponding to Fourier frequency θ = 0. Soid grey ine: anaytica ower imit (28 corresponding to the frequency θ = π A 1D Loca Fourier Anaysis of the weighted Jacobi smoother To get some insight in the probem, we wi initiay perform a very basic Loca Fourier Anaysis of the ω-jacobi smoother. It is we-known that the smoother, forming an essentia part of any mutigrid scheme, is unstabe for the indefinite Hemhotz probem. This instabiity is caused by the smoothest eigenmodes which have negative eigenvaues and consequenty diverge under the action of the smoother, as described to some extend in [1] and [2]. To make up for smoother instabiity, one coud determine a compex shift based purey on the divergence of the eigenmodes under appication of the fine-grid smoother operators 1. Hence, recaing that every two-dimensiona subspace of coarse grid harmonics E1 θ0 E with θ 0 ( π/2,π/2] is eft invariant under the actions of the smoother operators 1, the fine grid error propagation eigenmatrix can be written as ] [ S1 (θ S1 (θ 1, (26 with S 1 (θ being the fine grid smoother symbo derived in (24. Since the matrix is diagona, the cacuation of the spectra radius in (18 is easy. This can then be substituted in definition (20 to obtain the minima compex shift β min. Choosing this vaue for β, one ensures that a eigenmodes converge under the action of S 1. The resut is shown in Figure 1, where the minima compex shift parameterβ min is potted as a function of the wave numberσ for N = 64 gridpoints. One observes from Figure 1 that in order to compensate for smoother instabiity, vaues of β min are generay very arge with im σ 0 β min = +, suggesting extremey arge compex shifts are needed to eiminate smoother instabiity. Due to the simpe form of the eigenmatrix (26, the ower imit β min can easiy be cacuated anayticay. The frequency θ maximizing S 1 (θ over ( π,π] can be found by setting the first derivative of S 1 (θ equa to zero, rendering 8ω 2 cosθsinθ 4ω(1 ω(2+σh 2 sinθ = 0, which reveasθ = 0, θ = π and θ = ±arccos{ (1 ω(2+σh 2 /2ω} as oca extrema. A second derivative check confirmsθ = 0 and θ = π to maximize the smoother symbo S 1 (θ. The vaue of β min can be derived by substituting both maxima in inequaity (19. Presumingθ = 0 the expression for G reduces to G(0,σ,β = 2ω 1 ω + 2+ σh 2 1, which can be eaborated using the definition σ = σ(1+βι to yied a ower imit on the compex shift 4 1 β. (27 (ω 2σh2

8 8 S. COOLS, W. VANROOSE (a (b (c (d Figure 2. Ampification factor function G(θ, σ, β for the 1D two-grid anaysis with N = 64 as a function of θ ( π/2, π/2] for fixed wavenumber and compex shift. Two eftmost figures: wavenumber σ = 500 and compex shift parameter β = 0.02 (a and β = 0.04 (b. Two rightmost figures: σ = 5000 and β = 0.2 (c and β = 0.8 (d. A simiar ower imit can be derived for the maximum in θ = π, which eventuay comes down to ω(4+σh2 2 2(2+σh 2 (4+σh 2 (ω 2(σh 2 2 β. (28 The minima compex shift β min is now defined as the minima vaue of β satisfying both inequaities. Note that from the eft-hand of inequaity (27, it readiy foows that im σ 0 β min = +, as we observed from Figure 1. Athough this short anaysis of the smoother is usefu to obtain some intuition, the vaue of the minima compex shift β min is ceary overestimated since we ony consider the smoother operator, whie in a mutigrid setting the smoothest error components are removed by the coarse grid correction. Indeed, to guarantee mutigrid convergence a much smaer vaue of β may be chosen compared to the shift suggested by Figure 1. In the next sections the second component of the mutigrid method, the correction scheme, wi be taken into account to attain a reaistic curve for β min as a function of the wave number A 1D two-grid Loca Fourier Anaysis A more reaistic curve for the minima compex shift of a mutigrid cyce is obtained by considering a basic 2-grid anaysis with ony one presmoothing step, for which the fine grid error propagation matrix is given by M1 2 = (I 1 I2A I2 1A 1 S 1. (29 As suggested earier, every two-dimensiona subspace of coarse grid harmonics E1 θ0 E with θ 0 ( π/2,π/2] is eft invariant under the actions of both the smoother operator S 1 and the pure 2-grid correction operator I 2 I2 1A 1 2 I2 1 A 1. The action of the tota 2-grid error propagation matrix M1 2 on E1 θ0 is given by its 2 2 eigenmatrix ] M 1 [I 2 = 1 [Ĩ1 2 (θ 0 [Ĩ2 ] Ĩ2 1 Ã 2 (2θ (θ 0 T ] [Ã1 (θ 0 D ] ] [ S1 (θ 0 D (θ1 Ĩ1 2(θ1 Ã 1 (θ 1 S 1 (θ 1. (30 We use the superscript- D notation to designate the operation that transforms a vector into a diagona matrix by pacing the entries of the superscribed vector aong the main diagona. The spectra radius of this expression, and thus the function G(θ, σ, β, can easiy be cacuated anayticay or numericay. In Figure 2 we show the ampification factor for two choices of σ. In pane (a and (b of the figure, where σ = 500, we notice the appearance of a resonance that is caused by the coarse grid correction. Ony this one resonant mode tends to diverge, whereas for the majority of the frequencies θ the ampification factor is significanty smaer than 1. The appearance of such a resonance was aready discussed in [3] and originates from the inversion of the coarse grid discretization symbo

9 LOCAL FOURIER ANALYSIS FOR COMPLEX SHIFTED LAPLACIAN 9 Figure 3. The minima compex shift parameter β min from the 1D two-grid anaysis with N = 64 and ω = 2/3 as a function of the wavenumber σ. Back and grey points represent experimentay measured vaues of β min (see text. Ã 2 (2θ 0 in (30. Using expression (21, the frequency θ corresponding to the semi-asymptote can be approximated by θ ±arcsin σh 2 2 /4 = ±arcsin σh 2, (31 forcing the rea part of the denominator ofg, i.e. the rea part of the symboã2(2θ 0, to zero and thus maximizing the function G(θ, σ, β for fixed vaues of σ and β. Note that approximation (31 ony makes sense when σ < 1/h 2. This discussion suggests that for sma vaues of σ the divergence of the coarse grid correction scheme is to be the determining factor in the choice of the compex shift β min. Aternativey, for high vaues of σ the maximum of G(θ,σ,β appears to be spread broady around θ = 0, as one perceives from Figure 2 (c and (d, which impies a arge range of smooth eigenmodes tends to diverge. The maximum here is not due to the coarse grid correction, but originates primariy from the divergence of the smoothing operator. To substantiate this statement, we consider the smoothing operator Fourier symbo S 1 (θ cacuated in (24. Presuming 4/h 2 < σ < 1/h 2, approximation (31 no onger hods (no semi-asymptotes are generated, and it can easiy be estabished using derivative arguments that without a compex shift (i.e. with σ = σ, expression (24 reaches a maximum in eitherθ = 0 (ifσ > 2/h 2 or its compementary frequency θ = π (if σ < 2/h 2. Note that the maximization of S 1 (θ was aready discussed in the previous section. Additionay, one can verify that the absoute vaue of this maximum is aways arger than 1, impying divergence of the smoothest mode when appying the smoothing operators 1. It is cear that for arge vaues of σ, the main factor determining the vaue of β min is the divergence caused by the smoother operator, rather than the coarse grid correction. From anaytica expression (30 for the ampification factor G(θ, σ, β, one can now numericay cacuate the vaue of β min given a fixed wavenumber σ. The maximization over θ Θ is done using an equidistant discretization of the frequency domain with sufficienty sma frequencystep. Subsequenty, the minima compex shift argument β min is computed using 10 steps of the eementary bisection method, providing an accuracy of at east 3 decimas to β min. Figure 3 represents the minima compex shift parameter β min as a function of the wavenumber σ for N = 64 gridpoints. Notice the significant increase of the curve around σ = 1/h 2, corresponding to the difference in the underying component generatingβ min as discussed above: for wavenumbers σ < 1/h 2 the divergence of the smoothing operator is the determining factor in seecting β min, whereas for σ > 1/h 2 the appication of the coarse grid correction operator is decisive. Note the striking resembance between the high wavenumber regime of Figure 3 and the anaytica ower imit (28 corresponding to θ = π dispayed on Figure 1 (soid grey ine.

10 10 S. COOLS, W. VANROOSE Furthermore, we added to the figure some resuts forβ min based on the experimentay measured convergence rate. The gray points in overpot represent these experimentay measured vaues of β min, determined by numerica cacuation of the asymptotic convergence factors for the two-grid, whist subjecting those factors to criterion (19. The experimenta vaues are perfecty matched by the theoretica curve. The back points represent some simiary computed experimenta vaues for a fu V-cyce. It is cear from Figure 3 that the aforementioned anaysis yieds accurate resuts for the two-grid scheme. However, it is aso cear that the addition of mutipe coarser grids competey aters the choice of β min for sma vaues of σ. To obtain a sufficienty accurate simuation of the fu V- cyce, a higher order k-grid scheme shoud be appied. In particuar, we woud ike to guarantee a near-to-exact theoretica prediction of β min around σ = (0.625/h 2 for the V-cyce, respecting the kh criterion from [24] for a minimum of 10 gridpoints per waveength on the standard [0, 1]-domain. From this perspective, a 4-grid LFA anaysis wi appear to be satisfactory (see next section. We emphasize however that this paper primariy focusses on the iterative soution, rather than the accuracy of the discretization. Indeed, the high wavenumber regimeσ < 4000 of theβ min curve shown by Figure 3 is primariy usefu from a theoretica point of view. However it must be noted that when descending to coarser eves in the mutigrid hierarchy, wavenumbers ook reativey arger compared to the finer eves. scheme on a random initia fine-grid error e ( A 1D 3-grid and 4-grid Loca Fourier Anaysis In this section we extend the two-grid LFA anaysis to a more genera k-grid anaysis, motivated by the inaccurate resuts of a two-grid anaysis for ow vaues of σ. For notationa purposes, we restrict ourseves to a rigourous expanation of the k = 3 case, however the 4-grid anaysis is competey anaogous. Resuts are shown in Figure 4 for both k = 3 and k = 4. The 3-grid fine grid error propagation matrix is given by (7 to be M 3 1 = (I 1 I 1 2(I 2 (I 2 I 2 3A 1 3 I3 2A 2 S 2 A 1 2 I2 1A 1 S 1. (32 For any θ 0 ( π/2,π/2], the 3-grid operator eaves the 4-dimensiona subspace E2 θ0 E of G 3 harmonics invariant, impying its eigenmatrix M 1 3 is a 4 4 square matrix Ĩ2 1 M 1 3 = I (θ0,0 0 1 Ĩ2 1 (θ0,1 0 0 Ĩ1 2 (θ1,0 [ I2 M Ĩ1 2 (θ1,1 ] M 2 [I 3 = 2 [Ĩ2 3 (θ 0 [Ĩ3 Ĩ3 2 Ã 3 (2θ (θ 0 (θ1 Ĩ2 3(θ1 ] Ĩ D (θ0,0 0 Ã 1 (θ 0,0 D S 1 (θ 0,0 Ĩ2 1 (θ0,1 0 Ã 1 (θ 0,1 0 Ĩ1 2 (θ1,0 Ã 1 (θ 1,0 S 1 (θ 0,1 S 1 (θ 1,0, 0 Ĩ1 2 (θ1,1 Ã 1 (θ 1,1 S 1 (θ 1,1 ] T ] [Ã2 (θ 0 D ] ] [ S2 (θ 0 D Ã 2 (θ 1 S 2 (θ 1, (33 ] [ Ã 2 (θ 0 Ã 2 (θ 1 where we introduce as a short notation θ 0,0 = θ 0 /2 and θ 1,0 = θ 1 /2, and additionay θ 0,1 = θ 0 /2+π and θ 1,1 = θ 1 /2+π. The ampification factor function G(θ,σ,β is per definition the spectra radius of the eigenmatrixm 3 1. We remark that the resonances in the function G discussed in the previous section indeed reappear in the three-eve approximation. However, approximating the resonant frequency anaogue to (31 becomes a significanty non-trivia matter for k > 2 due to the inversion of mutipe Fourier symbos. Given a wavenumber σ, the vaue of the corresponding minima compex shift β min can then be cacuated numericay as described in the previous section. The theoretica resuts from the 3-grid and 4-grid anaysis are shown on Figure 4 for N = 64. The back dots again represent experimentay measured vaues of β min for a fu V-cyce. Note that the theoretica curve from the 4-grid anaysis precisey matches the experimenta vaues around σ = (0.625/h 2 = From Figure 4 one observes that adding an additiona eve in the Loca Fourier Anaysis reveas a new kink couped by a oca minimum in theβ min curve. Note how every additiona oca minimum reveaed by the k-grid operator M k 1 is situated at the exact vaue of σ for which the coarsest grid T D

11 LOCAL FOURIER ANALYSIS FOR COMPLEX SHIFTED LAPLACIAN 11 Figure 4. The minima compex shift parameter β min from the 1D 3-grid (eft and 4-grid (right anaysis with N = 64 and ω = 2/3 as a function of the wavenumber σ. operatora k turns competey negative definite. Indeed, the 2-grid operator dispays a oca minimum around σ = 4096, the 3-grid anaysis reveas an additiona oca minimum around σ = 1024, and the 4-grid anaysis adds a minimum at σ = 256. Taking into account more eves in thek-grid anaysis woud indeed resut in further refinement of theβ min curve in the ow-wavenumber regime. However, we have restricted our anaysis to the 4-grid scheme, as is custom in the iterature Basic principes of 2D Loca Fourier Anaysis The Loca Fourier Anaysis performed in the previous sections can easiy be extended to 2D probems. In this case the errore (m can be written as a forma inear combination of the 2D Fourier modes ϕ (θ,x = e ι(θ1xj 1 +θ2xj 2 /h with x = (x j 1,x j2 G, which is now defined by (9, and a coupe of frequencies θ = (θ 1,θ 2 Θ 2 = ( π,π] 2 R 2. In anaogy to (11, the subspace of -th grid Fourier modes is denoted E = span{ϕ (x,θ = e ι(θ1xj 1 +θ2xj 2 /h x = (x j1,x j2 G, θ = (θ 1,θ 2 Θ 2 }. (34 Considering a ow frequency θ 00 = (θ 00 1,θ00 2 ( π/2,π/2]2 and defining its 2D compementary frequencies as one can derive the harmonics property for 1 < k θ 10 = θ 00 (sign(θ1 00 π,0, θ 01 = θ 00 (0, sign(θ2 00 π, (35 θ 11 = θ 00 (sign(θ1 00 π, sign(θ00 2 π, ϕ (θ 00,x = ϕ (θ 10,x = ϕ +1 (2θ 00,x = ϕ (θ 01,x = ϕ (θ 11,x, x G +1. (36 The ow frequency Fourier mode ϕ (θ 00,x and three high frequency modesϕ (θ 10,x, ϕ (θ 01,x andϕ (θ 11,x coincide on the(+1-th coarsest grid and thus are caed(+1-th eve harmonics. Anaogous to (14, we denote the four-dimensiona subspace ofe spanned by these(+1-th eve harmonics as E θ00 = span{ϕ (θ 00,,ϕ (θ 10,,ϕ (θ 01,,ϕ (θ 11, }, 1 < k. (37 Again, these spaces are invariant under genera smoothing operators and correction schemes. Given these notations, the 2D Loca Fourier Anaysis itsef is competey simiar to the 1D case, with every -th grid error componente (m,(j 1,j 2 being represented as a singe Fourier mode e (m,(j 1,j 2 = A(m ϕ (θ,(x j1,x j2, θ Θ 2, j 1,j 2 Z, m 0, (38

12 12 S. COOLS, W. VANROOSE from which a reation between the ampitudes in subsequent iterations can be derived A (m+1 = G (θ,σ,βa (m, m 0. (39 The finest grid ampification factor G 1 (θ,σ,β of the 2D operator M1 k can be cacuated according to (18, where M 1 k now represents the 4 k 1 4 k 1 eigenmatrix representation of M1 k. The Fourier symbos defining this eigenmatrix are derived in the next section. Definition of the minima shift. Once cacuated, the ampification factor function aows us to compute the minima compex shift parameter, defined in 2D as β min := argmin β 0 { max θ Θ 2 G(θ,σ,β 1 which is the anaogue of definition (20 for the two-dimensiona case The 2D Fourier symbos }, (40 Beow we briefy sum the Fourier symbos of the different component operators of the 2D k-grid operator M k 1. The eaboration of these symbos is competey simiar to the cacuations in Section 2.3, and is omitted here in favour of readabiity. Discretization operator. Using stenci representation (4 and expression (38, the discretization operator Fourier symboã(θ can readiy be found to be à (θ = 2 h 2 cosθ 1 2 h 2 cosθ h 2 + σ. (41 Restriction operator. Using an anaogous stenci argument, the Fourier symbo of the 2D fu weighting restriction operatori +1 can be derived as Ĩ +1 (θ = 1 4 (cosθ 1cosθ 2 +cosθ 1 +cosθ (42 Interpoation operator. As is the case in the 1D anaysis, the Fourier symbo of the 2D inear interpoation operatori+1 can be derived to yied exacty the same expression as the fu weighting restriction, i.e. Ĩ +1 (θ = 1 4 (cosθ 1cosθ 2 +cosθ 1 +cosθ (43 Smoothing operator. Presuming the error is of the form (38, one obtains the foowing ω-jacobi smoother Fourier symbo for the 2D case S (θ = 1 ω + 2ω 4+ σh 2 (cosθ 1 +cosθ 2. ( A 2D 3-grid and 4-grid Loca Fourier Anaysis Once cacuated, the 2D Fourier symbos of each component of M k 1 can again be structured in eigenmatrices, representing the action of the -th grid components on the subspace of ( + 1-th eve harmonics, where = 1,...,k 1. The product of these matrices yieds the eigenmatrix M k 1, from which the ampification functiong(θ,σ,β can be cacuated. For any givenσ, the vaue of the minima compex shift parameter β min can then be computed numericay as described in Section 2.5. We have effectivey performed the 2D computation for k = 2,3 and 4. The resuts from the 3-grid and 4-grid anaysis for N = 64 are shown by Figure 5. Ceary, the observations made in the 1D case are again visibe here. We notice a significant increase of the β min vaue for wavenumbers σ = 2/h 2 and smaer. For these wavenumbers, the maximum of the 2D ampification factor is determined soey by

13 LOCAL FOURIER ANALYSIS FOR COMPLEX SHIFTED LAPLACIAN 13 Figure 5. The minima compex shift parameter β min from the 2D 3-grid (eft and 4-grid (right anaysis with N = 64 and ω = 2/3 as a function of the wavenumber σ. the divergence of the smoother operator. For vaues of σ > 2/h 2, the resonances caused by the correction scheme that appear in the 1D probem near a singe frequency given by equation (31, now appears for a range of coupes (θ 1,θ 2 for which the rea part of the (combination of coarse grid symbo(s is approximatey zero. As in the 1D case, a 4-grid anaysis accuratey simuatesβ min vaues extracted from V-cyce experiments up to wavenumbers as sma as σ = Extensions and genera remarks Note that a previous resuts were constructed under the assumption that ony one pre- or postsmoothing step is appied, i.e. ν = ν 1 +ν 2 = 1. However, often mutipe smoothing steps are used to obtain a more accurate or faster converging iterative soution to the given probem. The minima compex shift obviousy depends on the number of smoothing steps ν, cf. (7. This observation is depicted in Figure 6, which shows the β min -curve for ν = 1,...,4. The instabiity of the ω-jacobi smoother operator, caused by divergence of the smoothest modes as described in [1] and [2], requires the compex shift to rise significanty for some wavenumbersσ when appying mutipe smoothing steps. Atering the number of smoothing steps ceary has a significant impact on the β min -curve. As a genera tendency, one coud state that the vaue of β min rises (at most ineary as a function of the number of smoothing steps appied. Another parameter of the anaysis is the weightω [0,1] of the Jacobi smoother. When appying the ω-jacobi smoother, it is convenient to use the standard ω = 2/3 weight, which is known to be optima for a 1D Poisson probem (see [15]. However, for the more genera Hemhotz equation withσ 0, it can be shown (see [1] that the optima Jacobi weight for the 1D probem is given by ω opt = 2+σh2 3+σh2, (45 impying the smoother weight vaue shoud be smaer when considering arger vaues of σ. As shown by Figure 7, atering the smoother weight does not have more than a margina effect on the β min -curve, causing it to rise ony sighty as ω increases. Furthermore, a comment shoud be made on the discretization-dependency of the theoretica curves. Note that the vaue of β min is indeed dependend on the finest-mesh stepsize h = h 1. However, it is cear from the Fourier symbo cacuations that this vaue never appears separatey from the wavenumberσ, i.e.β min intrinsicay depends on the productσh 2. Hence, the vaue ofβ min remains unchanged as ong as σh 2 is constant. In practice, this impies that the β min -curve for N We remark that function vaues β min for wavenumbers in the region σ < 1000 shoud not be taken into account, as the 4-grid scheme is not guaranteed to correcty predict these vaues - see preceding sections.

14 14 S. COOLS, W. VANROOSE (a (b (c (d Figure 6. The minima compex shift parameter βmin from the 2D 4-grid anaysis with N = 64 and ω = 2/3 as a function of the wavenumber σ, where ν = 1 (a, ν = 2 (b, ν = 3 (c and ν = 4 (d. (a (b (c Figure 7. The minima compex shift parameter βmin from the 2D 4-grid anaysis with N = 64 and ν = 1 as a function of the wavenumber σ, where ω = 0.2 (a, ω = 0.4 (b and ω = 0.6 (c. evauated in σ has the exact same vaue as the curve for 2N evauated in 4σ. Doubing the number of finest-grid points therefore impies a stretching of the βmin -curve over the wavenumber domain by a factor of four. Vice versa, the vaue of βmin in σ/4 for a N/2 discretization is identica to the vaue of the βmin -curve in σ for N gridpoints, yieding an easy theoretica ower imit for the vaue of β when considering a mutigrid V-cyce on a coarser eve. Athough the anaysis in this paper is restricted to the constant-k mode probem given by (1, the resuts dispayed here can be easiy extended to cover more reaistic space-dependent k settings. Indeed, for probems with a moderatey space-dependent wavenumber ike e.g. the regionay spacedependent Wedge mode, see [7], the previous anaysis may be conducted on each distinct stenci, resuting in each domain region being associated with a different minima compex shift βmin. Combining these ower imits, an indisputaby safe choice for the compex shift parameter β woud be the argest possibe regiona βmin appearing in the probem, which eads to a stabe mutigrid scheme in every region of the domain. To concude this section, we present a short discussion on the choice of βmin that is currenty being used in the iterature. A widey accepted choice for the compex shift parameter is β = 0.5, which was first introduced in [7] and has been used ever since by many researchers in the fied. In this paper by Erangga, Oosteree and Vuik, one reads that The preconditioner of choice in this paper is based on the parameters (β1, β2 = (1, 0.5. (... For vaues β2 < 0.5 it is very difficut to define a satisfactory converging mutigrid F(1,1-cyce with the components at hand. They are therefore not considered. (... From the resuts in Tabe 6 we concude that the preferred methods among the choices are the preconditioners with β1 = 1. (... Fastest [mutigrid preconditioned Kryov] convergence is obtained for (β1, β2 = (1, 0.5. where β1 and β2 refer to the rea and compex shift parameters, designated in this text by α and β respectivey. Concusions were drawn from a variety of numerica experiments with a fixed wavenumber σ and mesh width satisfying kh = The resuts can be compared to the theoretica Copyright c 2010 John Wiey & Sons, Ltd. Numer. Linear Agebra App. (2010

15 LOCAL FOURIER ANALYSIS FOR COMPLEX SHIFTED LAPLACIAN 15 vaue for β min suggested by Figure 6(b at σ = Note that we appy a V-cyce and use the smoother weightω = 2/3, contrary to the F-cyce andω = 0.5 used in [7], however these differences ony minory affect the β min curve. It is cear that for a wavenumbers σ 1600 (indicating the use of at east 10 gridpoints per waveength, the corresponding minima compex shift is indeed smaer than 0.5. In the case where σ = 1600,β min equas0.2, suggesting an even smaer compex shift may be used. Hence, respecting the kh criterion, the choice for β = 0.5 aways guarantees V(1,1-cyce convergence. The supposed near-optimaity of β min with respect to the number of Kryov iterations is discussed in the next section.

16 16 S. COOLS, W. VANROOSE (a (b (c Figure 8. Two-grid-preconditioned Kryov method iteration count (coour as a function of the wavenumber σ and the compex shift β for the 1D mode probem with N = 64. The appied method is BiCGStab with µ = 10 (a, µ = 20 (b and µ = 30 (c. (a (b Figure 9. V(1,0-cyce-preconditioned Kryov method iteration count (coour as a function of the wavenumber σ and the compex shift β for the 1D (a and 2D (b mode probems, both with N = 64. The appied method is BiCGStab with µ = 100 (a and µ = 60 (b. 3. NUMERICAL RESULTS In this section, we present some experiments that wi be used to confirm and vaidate the theoretica resuts obtained in Section 2, as we as provide the reader with some vauabe insight on the definition choice of the minima compex shift as stated above. The vaue of βmin predicted by the Loca Fourier Anaysis curves wi indeed prove a vauabe ower imit for β in practica appications. Note that some of the experimenta figures obtained in this section are mainy intended as a vaidation of the theoretica resuts, and their further use in practica appications is rather imited Minimaity of the compex shift w.r.t. mutigrid convergence To vaidate the resuts from the previous section, we use a mutigrid agorithm on a Compex Shifted Lapacian preconditioner for some we-known Kryov methods (see [7], which we appy to the discretized mode probem (1 with a standard a-one right-hand side f = 1. This eads to an outer Kryov iteration, where in each preconditioning phase a number of µ two-grid or V-cyce inner steps are appied to sove the preconditioning system. Note that a experiments presented in this chapter are performed using eft preconditioning. Two standard Kryov methods for soving this mode probem considered here are GMRES [4] and BiCGStab [5]. The number of mutigrid steps per preconditioning phase is denoted µ, where e.g. GMRES with µ = 5 indicates five inner mutigrid Copyright c 2010 John Wiey & Sons, Ltd. Numer. Linear Agebra App. (2010

17 LOCAL FOURIER ANALYSIS FOR COMPLEX SHIFTED LAPLACIAN (a 17 (b Figure 10. V(1,0-cyce-preconditioned GMRES iteration count with µ = 30 (coour as a function of the wavenumber σ and the compex shift β for the 2D mode probem with N = 32 (b, in comparison to the theoretica 4-grid LFA compex shift parameter βmin (a. (a (b (c (d Figure 11. Two-grid-preconditioned Kryov method iteration count for σ = 1000 in function of the compex shift β for the 2D mode probem with N = 32. The appied method is GMRES with µ = 1 (a, µ = 3 (b, µ = 5 (c and µ = 10 (d. Corresponding minima can be found at β = 0.30 (a, β = 0.36 (b, β = 0.40 (c and β = 0.42 (d. Copyright c 2010 John Wiey & Sons, Ltd. Numer. Linear Agebra App. (2010

18 18 S. COOLS, W. VANROOSE Figure 12. Two-grid-preconditioned Kryov method iteration-minimum-β as a function of the wavenumber σ for the 2D mode probem with N = 32. The appied method is GMRES with µ = 1, µ = 3, µ = 5 and µ = 10. (a (b (c Figure 13. V(1,0-preconditioned Kryov method iteration count for σ = as a function of the compex shift β for the 2D mode probem with N = 256. The appied method is GMRES with µ = 3 (a, µ = 5 (b and µ = 10 (c. Minima can be found at β = 0.26 (a, β = 0.34 (b and β = 0.34 (c. iterations are used within every outer GMRES step. As initia guess for the soution, we use a standard a-zero vectorv 0. A first resut is dispayed in Figure 8, where the number of Kryov iterations is potted for different choices of µ, the number of two-grid iterations per Kryov step. A reative reduction toerance of 10 6 is used on the initia residua and the maximum number of Kryov iterations is capped at 64, being the number of unknowns in the system. For most vaues of β < β min the number of Kryov iterations required to reach the soution is excessivey arge. Note that for someβ < β min the destructive effect of the divergent modes on the goba convergence appears ony when sufficienty many two-grid iterations are appied. This is due to the fact that divergence is a imit concept, impying the error may not increase during the initiam 0 mutigrid iterations. However, for a shifts β < β min the number of Kryov iterations increases dramaticay as µ grows arger, in which case we approach the theoretica curve. These experimenta resuts confirm that choosing the minima compex shift at east as arge as β min aways ensures a safe choice for β, independenty of the number of mutigrid cyces performed. The experiment can easiy be extended to a fu V(1,0-cyce in 1D and 2D as dispayed by Figure 9, supporting the theoretica resuts shown on Figure 4 and 5 for the higher-order k-grid schemes.

19 LOCAL FOURIER ANALYSIS FOR COMPLEX SHIFTED LAPLACIAN 19 We can state that β min is indeed minima with respect to mutigrid convergence, meaning it can be considered a ower imit to guarantee convergence. Consequenty, for a arge (infinite number of mutigrid appications,β min is the smaest possibe compex shift for any mutigrid preconditioned Kryov method to converge Near-optimaity of the compex shift w.r.t. Kryov convergence Another important observation can be made, reating the minima compex shift parameter β min to Kryov convergence behaviour. For practica purposes, we consider the sighty smaer N = 32 mode probem, with theoretica 4-grid β min -curve as shown by Figure 10(a. Temporariy focussing on a specific wavenumber σ, Figure 11 shows the number of Kryov iterations as a function of the compex shift β for four different numbers of mutigrid appications. Note that for β β min the number of Kryov iterations is typicay arge as discussed in the previous section. Additionay however, one ceary observes the existence of a minimum number of Kryov iterations corresponding to a certain compex shift. It can be derived from the figure that for σ = 1000 the minimum is reached at β = 0.30 (a, β = 0.36 (b, β = 0.40 (c and β = 0.42 (d for µ = 1 (a, µ = 3 (b, µ = 5 (c and µ = 10 (d two-grid iterations respectivey. These shifts are optima for the Kryov convergence, in the sense that they reduce the goba number of iterations to a minimum. Note that the theoretica minima compex shift for σ = 1000 equasβ min Hence, it appears that for a arge number of mutigrid iterations, the iterationminimum-β approximates the theoreticaβ min. A simiar tendency appies to other vaues of the wavenumber, as shown by Figure 12, where the compex shift corresponding to the minimum amount of Kryov iterations is potted as a function of the wavenumber σ. Comparing this iteration-minimum-β to the theoretica β min - curve, one observes that the atter is being approximated by the iteration-minimum curves for increasing numbers of mutigrid appications. Consequenty, we caβ min near-optima with respect to the Kryov convergence, impying that for sufficienty arge numbers of mutigrid iterations, the goba number of Kryov iterations corresponding to β min wi be minima. However, when approximatey soving the preconditioning probem using ony a sma number of mutigrid cyces, as is common practice, the iteration-minimum-β may be sighty smaer than β min, hence the term near-optimaity. Nonetheess, choosing β = β min as the compex shift provides a 100% mutigrid stabe and ow-kryov iteration soution method. As an extra vaidation of these resuts, Figure 13 shows the number of Kryov iterations as a function of β for a more reaistic grid 2D mode probem preconditioned by different amounts of V(1,0-cyces. Again, the near-optimaity of β min is ceary visibe, as the shifts minimizing the number of Kryov iterations β = 0.26 (a, β = 0.34 (b and β = 0.34 (c approximate the theoretica minima compex shift parameter β On the notion of near-optimaity As described in the previous section, the Loca Fourier Anaysis from Section 2 does not aways yied the most optima shift parameter β for a given mutigrid preconditioned Kryov sover. Indeed, for some probems choosing β < β min eads to faster Kryov convergence, despite the sighty diverging mutigrid preconditioner. The anaysis from section 2 can however be extended to the fu preconditioned-kryov iteration matrix as presented in [25]. For a preconditioning k-grid scheme, the eigenmatrix containing the Fourier symbos corresponding to the fu iteration matrixk1 k can be written as K 1 k = Ã1(σ(I 1 M 1 k à 1 1 ( σ, (46 where Ã1(σ is the (diagona eigenmatrix corresponding to the fine-grid discretization matrix A 1 (σ of the origina Hemhotz probem, à 1 ( σ is the Fourier representation of the perturbed preconditioning matrix A 1 ( σ and M 1 k is the k-grid eigenmatrix as presented in Section 2. For competeness we note that the above equation corresponds to a MG-Kryov scheme where rightpreconditioning is used.