ODINGER EQUATIONS
SIEGFRIED COOLS
, BRAM REPS
Abstract. In this paper we present a new highly ecient calculation method for the far eld
amplitude patterns that arise from scattering problems governed by the ddimensional Helmholtz
equation and, by extension, Schr odingers equation. The method is based upon a reformulation
of the classical realvalued Greens function integral expression for the far eld amplitude to an
integral over a complex contour. On this complex contour (or manifold, in multiple dimensions)
the scattered wave can be calculated very eciently using an iterative multigrid method as a solver
for the discretized scattered wave system, resulting in a fast and scalable calculation of the far eld
map. The socalled full complex contour approach is successfully validated on model problems in
two and three spatial dimensions, and multigrid convergence results are provided to demonstrate the
wavenumber scalability and overall performance of the proposed method.
Key words. Far eld map, Helmholtz equation, Schr odinger equation, multigrid, complex
contour, cross sections.
AMS subject classications. Primary: 78A45, 65D30, 65N55. Secondary: 65F10, 35J05,
35J10, 81V55.
DOI.
1. Introduction. Scattering problems are of key importance in many areas of
science and engineering since they carry information about an object of interest over
large distances, remote from the given target. Consequently, ever since their original
statement a variety of applications of scattering problems have arisen in many dierent
scientic subdomains. In chemistry and quantum physics, for example, virtually
all knowledge about the inner workings of a molecule has been obtained through
scattering experiments [36]. Similarly, in many reallife electromagnetic or acoustic
scattering problems information about a far away object is obtained through radar or
sonar [16], intrinsically requiring the solution of 2D or 3D wave equations.
New stateoftheart experimental techniques measure the full 4 angular depen
dency of multiple particles escaping from a molecular reaction [35]. Through these
experiments, the cross section of reactions involving multiple particles can be detected
in coincidence. Many experiments are being planned at facilities such as e.g. the
DESY Freeelectron laser (FLASH) in Hamburg or the Linac Coherent Light Source
(LCLS) in Stanford. The accurate prediction of the corresponding amplitudes start
ing from rst principles requires the use of ecient numerical methods to solve the
highdimensional Helmholtz or Schrodinger problems, which can scale up to 6D or 9D
in this context. Indeed, after discretization one generally obtains a large, sparse and
indenite system of equations in the unknown scattered wave. Direct solution of this
system is usually prohibited due to the massive size of the problem in higher spatial
dimensions.
Preconditioned Krylov subspace methods are currently among the most ecient
numerical algorithms for the solution of general highdimensional equations that arise
from discretizations of partial dierential equations, as they exploit the sparsity struc
ture of the discretized system of equations and allow for reasonably good scaling with
respect to the number of unknowns. Indeed, preconditioned Krylov subspace methods
Dept. Math. & Comp. Sc., University of Antwerp, Middelheimlaan 1, 2020 Antwerp, Belgium
Intel
R
ExaScience Lab, Kapeldreef 75, B3001 Leuven, Belgium
1
2 S. COOLS, B. REPS AND W. VANROOSE
are able to solve some symmetric positive denite systems in only O(n) iterations,
where n is the number of unknowns in the system [49]. However, scattering problems
are often described by Helmholtz equations, which after discretization lead to highly
indenite linear systems that are notoriously hard to solve using the current gener
ation of iterative methods. Moreover, the highly ecient iterative multigrid method
[10, 12, 13, 47, 48] is known to break down when applied to these type of problems
[18, 24].
Over the past decade signicant research has been performed on the construction
of good preconditioners for Helmholtz problems. Recent work includes the waveray
approach [11], the idea of separation of variables [38], algebraic multilevel methods
[9], multigrid deation [44, 45] and a transformation of the Helmholtz equation into
an advectiondiusionreaction problem [26]. In 2004 the Complex Shifted Laplacian
(CSL) was proposed by Erlangga, Vuik and Oosterlee [21, 22, 23] as an eective
Krylov subspace method preconditioner for Helmholtz problems. The key idea be
hind this preconditioner is to formulate a perturbed Helmholtz problem that includes
a complexvalued wave number. Given a suciently large complex shift, this im
plies a damping in the problem, thus making the perturbed problem solvable using
multigrid in contrast to the original Helmholtz problem with realvalued wavenum
bers. By introducing the complex shifted problem as a preconditioner, the resulting
Krylov method prots from advantageous spectral properties, leading to a reasonable
convergence rate. The concept of CSL has been further generalized in a variety of
papers among which [2, 19, 20, 37]. The choice of a suciently large complex shift
parameter, commonly denoted by , is vital to the stability of the multigrid solution
method. The general rule of thumb for the choice of the complex shift suggested
in the literature is = 0.5 [22, 39]. This experimental guideline was recently con
rmed through a rigorous LFA analysis for the constantk problem in [17], proving
the multigrid correction scheme to be generally stable for shifts larger than 0.5.
Recently a variation on the Complex Shifted Laplacian scheme by the name of
Complex Stretched Grid (CSG) was proposed in [40, 41], introducing a complex
valued grid distance instead of a complexvalued wavenumber in the preconditioning
system. It was furthermore shown in [39] that the resulting Krylov subspace method
has very similar convergence properties. Indeed, the CSG preconditioner can be
shown to be generally equivalent to the CSL scheme, and thus can be solved equally
eciently using multigrid. However, despite its overall qualitative performance, the
CSL/CSG preconditioned Krylov subspace solution method suers from a signicant
wavenumber dependency of the convergence rate [39]. Additionally, convergence rates
quickly deteriorate in the presence of evanescent waves in the Helmholtz solution.
This paper focuses on calculating the far eld map resulting from Helmholtz and
Schrodinger type scattering problems [3], which yields a 360
representation of the
scattered wave amplitude at large distances from the object of interest. The calcu
lation of the far eld map can typically be considered a twostep process. First a
Helmholtz problem with absorbing boundary conditions is solved on a nite numer
ical box covering the object of interest. In the second step a volume integral over
the Greens function and the numerical solution is calculated to obtain the angular
dependent far eld amplitude map. This strategy was successfully applied to cal
culate impact ionization in hydrogen [42] and double photoionization in molecules
[51, 52] described by the Schrodinger equation, which in this case translates into a
6dimensional Helmholtz problem.
In this paper we propose a new method for the calculation of the far eld map.
MULTIGRID CALCULATION OF THE FAR FIELD MAP 3
The method reformulates the integral over the Greens function on a complex con
tour. This modied approach requires the solution of the Helmholtz equation on a
complex contour. It is shown that the latter problem is equivalent to a Complex
Shifted Laplacian problem that can be solved very eciently by a multigrid method.
To validate our approach, the method is successfully illustrated on both 2D and 3D
Helmholtz and Schrodinger equations for a variety of discretization levels. The ab
sorbing boundary conditions used in this paper are based on the principle of Exterior
Complex Scaling (ECS) that was introduced in the 1970s [1, 4, 46], and is nowadays
frequently used in scattering applications. This method is equivalent to a complex
stretching implementation of Perfectly Matched Layers (PML) [7, 15].
The outline of the article is the following. In Section 2 we introduce the nota
tion and terminology that will be used throughout the text. Additionally, we briey
illustrate the classical calculation of the far eld map for Helmholtz type scattering
problems. In the second part of this section we introduce an alternative way of calcu
lating the far eld mapping based upon a reformulation of the integral over a complex
contour, for which the corresponding Helmholtz system is very eciently solved it
eratively. The new technique is validated and convergence results are shown for a
variety of Helmholtz type model scattering problems in both 2D and 3D in Section
3, where it is found that the method allows for a very fast and scalable far eld map
calculation. In Section 4, the method is validated and extensively tested on several
Schrodinger type model problems in two and three spatial dimensions respectively.
Benchmark problems include quantummechanical model problem situations in which
single, double and/or triple ionization occur. Finally, along with a discussion on the
topic, conclusions are drawn in Section 5.
2. The Helmholtz equation and the far eld map. In this section we in
troduce the general notation used throughout the text and we illustrate the classical
derivation of the far eld scattered wave solution and calculation of its amplitude
from a general Helmholtz type scattering problem.
2.1. Derivation of the far eld mapping. The Helmholtz equation is a simple
mathematical representation of the physics behind a wave scattering at an object
dened on a compact support area O located within a domain R
d
. The equation
is given by
_
k
2
(x)
_
u(x) = f(x), x R
d
, (2.1)
with dimension d 1, where is the Laplace operator, f designates the right hand
side or source term, and k is the (spatially dependent) wavenumber, representing the
material properties inside the object of interest. Indeed, the wavenumber function k
is dened as
k(x) =
_
k
1
(x), for x O,
k
0
, for x \ O,
(2.2)
where k
0
R is a scalar constant denoting the wave number outside the object of
interest. The scattered wave solution is given by the unknown function u. Throughout
the text we will use the following convenient notation
(x) :=
k
2
(x) k
2
0
k
2
0
, (2.3)
4 S. COOLS, B. REPS AND W. VANROOSE
such that k
2
(x) = k
2
0
(1 +(x)). Note that the function is trivially zero outside
the object of interest O where the spacedependent wavenumber k(x) is reduced to
k
0
. Dening the incoming wave as u
in
(x) = e
ik0x
, where is the unit vector that
denes the direction, the righthand side is typically given by f(x) = k
2
0
(x)u
in
(x).
Reformulating (2.1), we obtain
_
k
2
(x)
_
u(x) = k
2
0
(x)u
in
(x), x R
d
. (2.4)
This equation is typically formulated on the domain with outgoing wave boundary
conditions on , and can in principle be solved on a numerical box (i.e. a discretized
subset of
N
) covering the support of , with absorbing boundary conditions
along all edges. Let us assume that the numerical solution satisfying (2.4) on this box
has been calculated and is denoted by u
N
.
In order to calculate the far eld scattered wave pattern the above equation is
reorganized as
_
k
2
0
_
u(x) = k
2
0
(x) (u
in
(x) +u(x)) , x R
d
. (2.5)
Note that we can replace the function u(x) in the right hand side of this equation with
the numerical solution u
N
(x) obtained from equation (2.4). In doing so, the above
equation becomes an inhomogeneous Helmholtz equation with constant wavenumber
_
k
2
0
_
u(x) = g(x), x R
d
, (2.6)
where the short notation g(x) := k
2
0
(x)(u
in
(x)+u
N
(x)) is introduced for readability
and notational convenience. It holds that g(x) = 0 for x R
d
\O. The above equation
can easily be solved analytically using the Helmholtz Greens function G(x, x
), i.e.
u(x) =
_
R
d
G(x, x
) g(x
) dx
, x R
d
. (2.7)
Since the function g is only nonzero inside the numerical box that was used to solve
equation (2.4), the above integral over R
d
can be replaced by a nite integral over
u(x) =
_
G(x, x
)k
2
0
(x
)
_
u
in
(x
) +u
N
(x
)
_
dx
, x R
d
. (2.8)
In practice, this expression allows us to calculate the scattered wave solution u in any
point x R
d
\
N
outside the numerical box, using only the information x
N
inside the numerical box.
Given the integral expression (2.8), the asymptotic form of the Greens function
can be used to compute the far eld map of the scattered wave u. In the following
this will be illustrated for a 2D model example where the Greens function is given
explicitly by
G(x, x
) =
i
4
H
(1)
0
(k
0
x x
), x, x
R
d
. (2.9)
where i represents the imaginary unit and H
(1)
0
is the 0th order Hankel function of
the rst kind. An analogous derivation can be performed in 3D, where we mention
for completeness that the Greens function is given by
G(x, x
) =
e
ik0xx

4x x

, x, x
R
d
. (2.10)
MULTIGRID CALCULATION OF THE FAR FIELD MAP 5
To calculate the angular dependence of the far eld map, the direction of the unit
vector is introduced that is in 2D dened by a single angle with the positive
horizontal axis, i.e. = (cos , sin )
T
. Rewriting the spatial coordinates x in polar
coordinates as x = ( cos , sin )
T
the asymptotic form of the Greens function for
x 1 ( ) is given by
i
4
H
(1)
0
(k
0
x x
) =
i
4
_
2
e
i/4
1
k
0
e
ik0
e
ik0x
cos ik0y
sin
=
i
4
_
2
e
i/4
1
k
0
e
ik0
e
ik0x
(2.11)
where we have used the fact that the Hankel function H
(1)
0
is asymptotically given by
H
(1)
0
(r) =
_
2
r
exp
_
i(r
4
)
_
, r R, r 1. (2.12)
This leads to the following asymptotic form of the 2D scattered wave solution
u(, ) =
i
4
_
2
e
i/4
e
ik0
k
0
e
ik0x
g(x
) dx
,
(2.13)
for . The above expression is called the 2D far eld wave pattern of u, with
the integral being denoted as the far eld (amplitude) map
F() =
_
e
ik0x
g(x
) dx
. (2.14)
The value of the integral depends only on the direction (or, in 2D, on the angle
) and the wave number k
0
. Expression (2.13) readily extends to the ddimensional
case, where it holds more generally that
lim
u(, ) = D()F(), R
d
, (2.15)
for a function D() which is known explicitly and a far eld map F() given by (2.14).
Note that this far eld map is in fact a Fourier integral of the function g.
Summarizing, we conclude that the calculation of the far eld wave pattern of
the scattered wave u consists of two main steps. First, one has to solve a Helmholtz
equation with a spatially dependent wave number on a numerical box with absorbing
boundary conditions as in (2.4). Once the numerical solution is obtained, it is followed
by the calculation of a Fourier integral (2.14) over the aforementioned numerical
domain. The main computational bottleneck of this calculation generally lies within
the rst step, since it requires an ecient and computationally inexpensive method
for the solution of the high dimensional indenite Helmholtz system with absorbing
boundary conditions.
The statement of the far eld map presented in this section relies on the fact
that the object of interest, represented by the function , is compactly supported. In
particular, this is used when computing the numerical solution u
N
to equation (2.4)
on a bounded numerical box that covers the support of . The above reasoning can
however be readily extended to the more general class of analytical object functions
that vanish at innity, i.e. V where V = {f : R
d
R analytical  > 0, K
6 S. COOLS, B. REPS AND W. VANROOSE
{z}
{z}
Fig. 2.1. Schematic representation of the complex contour for the far eld integral calculation
illustrated in 1D. The full line represents the real domain , the dotted and dashed lines represent
the subareas Z
1
= {xe
i
: x R} and Z
2
= {be
i
: b , [0, ]} of the complex contour
respectively.
R
d
compact, x R
d
\ K : f(x) < }. Indeed, due to the existence of smooth
bump functions [29, 33], functions with compact support can be shown to be dense
within the space of functions that vanish at innity. Consequently, every analytical
function V can be arbitrarily closely approximated by a series of compactly
supported functions {
n
}
n
. This in turn implies that the corresponding solutions
{u
N
n
}
n
on a limited computational box can be arbitrarily close to the solution of the
Helmholtz equation generated with the analytical object of interest V . Intuitively,
this means that if is analytical but suciently small everywhere outside O, the
computational domain may be retricted to a numerical box covering O as if was
compactly supported. Hence, the far eld map (2.14) is welldened for analytical
functions that vanish at innity. This observation will prove particularly useful in
the next section.
2.2. Calculation on a complex contour. In this section we will illustrate how
the integral (2.14) can be reformulated on a complex contour and why this is useful
in terms of numerical computation. First, we note that the integral can be split into
a sum of two contributions F() = I
1
+I
2
with
I
1
=
_
e
ik0x
(x)u
in
(x)dx and I
2
=
_
e
ik0x
(x)u
N
(x)dx. (2.16)
Calculation of rst integral I
1
is generally easy, since it only requires the expression
for the incoming wave, which is known analytically. The second integral however
requires the solution of the Helmholtz equation on the numerical box, which is known
to be notoriously hard to obtain using iterative methods. In particular, the highly
ecient multigrid solution method is unable to solve these type of indenite Helmholtz
equations due to instability in both the coarse grid correction and relaxation scheme.
This divergence is due to closetozero eigenvalues of the discretized operator on some
intermediate multigrid levels [18].
However, if both u and are analytical functions the integral can be calculated
over a complex contour rather than the real axis as follows. Let us dene a complex
contour along the rotated real domain Z
1
= {z C z = xe
i
: x }, where is
a xed rotation angle, followed by the curved segment Z
2
= {z C z = be
i
: b
, 0 }, as presented schematically on Figure 2.1. The integral I
2
can then
be written as
I
2
=
_
Z1
e
ik0z
(z)u
N
(z)dz +
_
Z2
e
ik0z
(z)u
N
(z)dz. (2.17)
The second term in the above expression however vanishes, as the function is per
MULTIGRID CALCULATION OF THE FAR FIELD MAP 7
{z}
{z}
Fig. 2.2. Schematic representation of a real grid with ECS boundaries vs. a full complex grid,
illustrated in 1D.
denition zero everywhere outside the object of interest O, thus notably in all points
z Z
2
. Hence one ultimately obtains
I
2
=
_
Z1
e
ik0z
(z)u
N
(z)dz =
_
e
ik0e
i
x
(xe
i
)u
N
(xe
i
)e
i
dx. (2.18)
Note that for 0 < < /2 the exponential of xe
i
is increasing in all directions. At
the same time, the scattered wave solution u
N
, which consists of outgoing waves on
the complex domain Z
1
, is decaying in all directions. Additionally, the function is
presumed to have a bounded support (or vanish at innity, see Section 2.1) making
the above integral calculable on a limited numerical domain.
Expression (2.18) for the integral I
2
indicates that the far eld map can (at
least partially) be computed over the full complex contour Z
1
, i.e. a rotation of the
original real domain over an angle in all spatial dimensions. The advantage of this
approach is that we only need the value of u
N
evaluated along this complex contour;
thus we now have to solve the Helmholtz equation (2.4) on a complex contour. On
this contour it is a damped equation which is much easier to solve than the Helmholtz
equation along the real axis. Indeed, given a suciently large value of , it has been
shown in the literature [23, 40] that the multigrid scheme is a very eective solution
method for the Helmholtz equation on a complex domain.
2.3. Solving the Helmholtz equation on a complex contour. We now
show that the Helmholtz problem on the complex domain Z
1
is very similar to a
complex shifted Laplacian system [21], and can as such be solved eciently using a
multigrid solver. Consider the Helmholtz problem with a complex shifted wavenumber
_
(1 +i)k
2
(x)
_
u(x) = f(x) (2.19)
with Dirichlet boundary conditions u(x
_
1
h
2
L + (1 +i)k
2
_
u
h
= b
h
(2.20)
where L is the matrix operator expressing the stencil structure of the Laplacian. In
2D, for example L = kron(I, diag(1, 2, 1) +kron(diag(1, 2, 1), I), where the size
of L intrinsically depends on h. After dividing both sides in linear system (2.20) by
(1 +i), we immediately obtain the equivalent system
_
1
(1 +i)h
2
L +k
2
_
u
h
=
b
h
1 +i
, (2.21)
8 S. COOLS, B. REPS AND W. VANROOSE
(rad.) /8 /7 /6 /5 /4 /3
(deg.) 7.5
8.5
9.9
11.8
14.6
19.1
Table 2.1
ECS angle and corresponding rotation angle for the full complex grid. Values based on (2.24).
which is identical to the discretization of the original Laplacian with grid distance
h =
h =
_
1 +i h =
exp(i/2)h (2.22)
Consequently, as the shift is required to be larger than 0.5, the grid rotation angle
= /2 must satisfy
>
arctan(0.5)
2
= 0.2318 13.28
(2.23)
Note that when substituting the standard multigrid relaxation schemes like Jacobi
or GaussSeidel by a more robust iterative scheme like e.g. GMRES(m), the rotation
angle may be chosen even smaller, up to a minimum of approximately 9.5
(see
[41]).
In this paper we have chosen to link the grid rotation angle to the standard
ECS absorbing layer angle , see Figure 2.2. This is in no way imperious for the
functionality of the method, but it appears quite naturally from the fact that both
angles perturb (part of) the grid into the complex plane. Suppose the ECS boundary
layer measures one quarter of the length of the entire real domain in every spatial
dimension, which is a common choice, we readily derive that the relation between the
rotation angle and the ECS angle is given by
= arctan
_
sin
2 + cos
_
. (2.24)
Table 2.1 shows some standard values of the ECS angle and corresponding values
according to (2.24). Note that for a multigrid scheme with Jacobi or GaussSeidel
smoothing to be stable, should be chosen no smaller than /4, according to (2.23).
Using the more ecient GMRES(3) method as a smoother replacement, the ECS angle
can be chosen somewhat smaller, i.e. an angle around = /6 suces to guarantee a
stable multigrid solution.
3. Numerical results for 2D and 3D Helmholtz problems. In this sec
tion, we validate the theoretical result presented above by a number of numerical
experiments in both two and three spatial dimensions. It will be shown that the pro
posed method results in a very fast and wavenumber independent solution method
MULTIGRID CALCULATION OF THE FAR FIELD MAP 9
Fig. 3.1. Top: 2D object of interest (x) given by (3.1). Mid: solution to the Helmholtz
problem (2.4) (in modulus) on a nx ny = 256 256 grid solved using LU factorization (left) on
a double ECS contour with = /4, and using a series of multigrid Vcycles (right) with Jacobi
smoother on the corresponding full complex contour up to a residual reduction tolerance of 1e6.
Bottom: resulting 2D Far eld maps F() calculated following (2.14). Normalized errors with respect
to a nx ny = 1024 1024 grid benchmark Far eld map solution Fex(): Fre Fex
2
/Fex
2
=
9.37e5 (left), Fco Fex
2
/Fex
2
= 1.39e4 (right), Fre Fco
2
/Fex
2
= 1.77e4.
for the scattered wave system, hence yielding a remarkably ecient method for the
calculation of the far eld map.
The model problem used throughout this section is a Helmholtz equation of the
form (2.4) with k
2
(x) = k
2
0
(1 + (x)). The equation is discretized on a n
d
point
uniform mesh covering a square numerical domain = [20, 20]
d
using second order
nite dierences. In the 2D case the spacedependent wavenumber is dened as
k
2
0
(x, y) = 1/5
_
e
(x
2
+(y4)
2
)
+e
(x
2
+(y+4)
2
)
_
, (x, y) [20, 20]
2
, (3.1)
i.e. the object of interest takes the form of two circular pointlike objects with mass
10 S. COOLS, B. REPS AND W. VANROOSE
nx ny nz 16
3
32
3
64
3
128
3
256
3
k
0
1/4
10 (10) 9 (59) 9 (560) 9 (4456) 9 (35165)
0.24 0.20 0.21 0.20 0.20
1/2
12 (12) 10 (63) 10 (611) 10 (4937) 9 (35405)
0.31 0.24 0.22 0.23 0.21
1
7 (8) 13 (83) 11 (691) 10 (4899) 10 (38975)
0.13 0.32 0.27 0.24 0.24
2
2 (4) 8 (54) 13 (809) 11 (5418) 10 (38051)
0.01 0.14 0.33 0.27 0.24
4
1 (3) 2 (17) 7 (457) 13 (6337) 11 (41848)
0.01 0.01 0.12 0.33 0.26
Table 3.1
3D Helmholtz problem (2.4) solved on a full complex grid with = /6 using a series of
multigrid V(1,1)cycles with GMRES(3) smoother up to residual reduction tolerance 1e6. Displayed
are the number of Vcycle iterations, number of work units and average convergence factor for
various wavenumbers k
0
and dierent discretizations. 1 WU is calibrated as the cost of 1 V(1,1)
cycle on the 16
3
points grid k
0
= 1/4 problem. Discretizations respecting the k
0
h < 0.625 criterion
for a minimum of 10 grid points per wavelength are indicated by a bold typesetting.
concentrated at the Cartesian coordinates (0, 4) and (0, 4) (see Figure 3.1). For the
3D model problem, the following straightforward extension of the object is used
k
2
0
(x, y, z) = 1/5
_
e
(x
2
+(y4)
2
+z
2
)
+e
(x
2
+(y+4)
2
+z
2
)
_
, (x, y, z) [20, 20]
3
,
(3.2)
representing two spherical pointlike objects in 3D space (see Figure 3.2). The incom
ing wave scattering at the given object is dened by
u
in
(x) = e
ik0x
, x , (3.3)
where is the unit vector in the xdirection.
Figure 3.1 illustrates the theoretical result presented in Section 2. The above 2D
Helmholtz model problem with wavenumber given by (3.1) and k
0
= 1 is solved for
u
N
using respectively a standard LU factorization method on the real domain with
ECS complex boundary layers ( = /4) along the domain boundary , and a series
of multigrid V(1,1)cycles with Jacobi smoothing on the full complex domain (
14.6
1
2
+V (x) E
_
(x) = (x), for x R
d
, (4.1)
where is the ddimensional Laplacian, V (x) is the potential, is the wave function
and is the righthand side, which is often related to the ground state of the system.
Depending on the total energy E, the above system allows for scattering solutions, in
which case the equation can be reformulated as a Helmholtz equation of the form
(k
2
(x)) (x) = 2(x), for x R
d
, (4.2)
where the spatially dependent wavenumber k(x) is dened by k
2
(x) = 2(E V (x)).
The experimental observations from this type of quantum mechanical systems are
typically far eld maps of the solution [51, 52]. Indeed, in an experimental setup,
detectors are typically placed at large distances from the object compared to the
size of the system. These detectors consequently measure the probability of parti
cles escaping from the system in certain directions. In many quantum mechanical
systems the potential V (x) is an analytical function, which suggests analyticity of
the wavenumber k(x) in the above Helmholtz equation. Additionally, the potential is
often exponentially decaying in function of the spatial coordinates. Hence, for these
types of problems, the wavenumber naturally satises all conditions for the use of the
proposed complex contour method to eciently calculate the corresponding far eld
map.
In the paragraphs below, we rst discuss a 2D model problem in which single
and double ionization occur, corresponding to waves describing respectively a single
particle or two particles escaping from the quantum mechanical system. The rst
leads to very localized evanescent waves that propagate along the boundaries of the
computational domain, while the latter gives rise to waves traversing the full domain.
The corresponding 2D Schrodinger problem will be solved on a discretized numerical
domain for a range of energies E below and above the double ionization threshold.
For each level of energy, we extract the single and double ionization cross sections,
which correspond to probabilities of particles escaping from the system, with the help
of an integral of the Greens function over the numerical box. The cross sections are
calculated using both a traditional method, where the Helmholtz equation is solved on
a standard ECSbounded grid [31], and the new complex contour method, introduced
in Section 2.2.
The main purpose of the calculations in Sections 4.1 to 4.4 is to validate the results
obtained by the complex contour method when applied to Schrodingers equation. In
Section 4.5 the multigrid performance for solving the 2D complexvalued scattered
wave system is benchmarked. Note, however, that these 2D problems essentially do
not require a multigrid solver, since a direct sparse solver performs well for these
relatively smallsize problems.
In Section 4.6, we illustrate the convergence of a multigrid solver on a 3D Schro
dinger equation, with energies that allow for triple ionization as well as double and
single ionization. The previous attempts to solve these problems with the help of the
complex shifted Laplacian as a preconditioner to a general Krylov method showed a
notable deterioration in the convergence behavior in function of the total energy E
[40, 8]. However, it will be shown that the new complex contour method, which allows
multigrid to be used as a solver, performs well for these problems.
14 S. COOLS, B. REPS AND W. VANROOSE
Although the benchmark problems considered in this paper mainly use model
potentials, we believe that the calculations presented below are an important step
towards the application of the method on realistic quantum mechanical systems.
4.1. Cross sections of the 2D Schrodinger problem. Our primary aim is to
validate the applicability of the new complex contour method on the 2D Schrodinger
equation describing a quantum mechanical scattering problem. This problem orig
inates from the expansion of a 6D scattering problem in spherical harmonics, see
[3, 51, 8], in which each particle is expressed in terms of its spherical coordinates.
The resulting partial waves t the twodimensional Schrodinger equation
_
1
2
+V
1
(x) +V
2
(y) +V
12
(x, y) E
_
u(x, y) = (x, y), x, y 0, (4.3)
with boundary conditions
_
_
u(x, 0) = 0 for x 0
u(0, y) = 0 for y 0
outgoing for x or y ,
(4.4)
where represents the 2D Laplacian, V
1
(x) and V
2
(y) are the onebody potentials,
V
12
(x, y) is a twobody potential and E is the total energy of the system. Since
the arguments x and y are in fact radial coordinates in the partial wave expansion,
homogeneous Dirichlet boundary conditions are implied at the x = 0 and y = 0
boundaries. The potentials V
1
, V
2
and V
12
are generally analytical functions that
decay (exponentially) as the radial coordinates x and y become large.
Depending on the strength of the onebody potentials V
1
and V
2
, the problem
allows for socalled single ionization waves, which are localized evanescent waves that
propagate along the edges of the domain. We refer the reader to Sections 4.2 and 4.3
for a more detailed physical clarication. We expound on the situation with a strong
potential V
1
in the xdirection; the case with a strong V
2
potential is completely
analogous. If V
1
is strong enough, there exists a onedimensional eigenstate
n
(x)
for every negative eigenvalue
n
< 0, characterized by a onedimensional Helmholtz
equation
_
1
2
d
2
dx
2
+V
1
(x)
_
n
(x) =
n
n
(x), for x 0. (4.5)
Note that
n
(0) = 0 and
n
(x ) = 0.
The far eld maps of this system are then again Greens integrals over the solu
tion, see [31]. Indeed, the single ionization amplitude or cross section s
n
(E), which
represents the total number of single ionized particles, is given by
s
n
(E) =
_
kn
(x)
n
(y) ((x, y) V
12
(x, y)u(x, y)) dxdy, (4.6)
where k
n
=
_
2(E
n
),
n
is a onebody eigenstate which is the solution of equation
(4.5) with a corresponding eigenvalue
n
, and the function
kn
is a regular, normalized
solution of the homogeneous Helmholtz equation
_
1
2
d
2
dx
2
+V
1
(x)
1
2
k
2
_
k
= 0, (4.7)
MULTIGRID CALCULATION OF THE FAR FIELD MAP 15
where k = k
n
and
kn
is normalized with 1/
k
n
.
Similarly, the double ionization cross section f(k
1
, k
2
), which measures the total
number of double ionized particles, is dened by the integral
f(k
1
, k
2
) =
_
k1
(x)
k2
(y) ((x, y) V
12
(x, y)u(x, y)) dxdy, x, y 0, (4.8)
where both
k1
(x) and
k2
(y) are solutions to (4.7), with k
1
=
2E sin() and
k
2
=
tot
(E) =
_
E
0
(
2,
_
2(E )) d, (4.9)
where
(k
1
, k
2
) =
8
2
k
2
0
1
k
1
k
2
f(k
1
, k
2
)
2
. (4.10)
The above integral expressions are obtained through a reorganization similar to the
one performed in Section 2, see (2.5)(2.6). For example, to calculate the single
ionization cross section, equation (4.3) is reorganized as
_
1
2
+V
1
(x) E
_
u(x, y) = (x, y)(V
2
(y)+V
12
(x, y)) u(x, y), x, y 0. (4.11)
Since the left hand side is separable, the corresponding Greens function allows us to
write
u(x, y) =
_
G(x, yx
, y
)
_
(x
, y
) (V
2
(y
) +V
12
(x
, y
)) u
N
(x
, y
)
_
dx
dy
.
(4.12)
Using the asymptotic form of the Greens function, the above ultimately results in
integral formulation (4.6). The double ionization integral expression (4.8) can be
derived in a similar way.
4.2. Spectral Properties. To obtain more insight in the numerical solution of
the twodimensional Schrodinger problem, we briey discuss the spectral properties
of the discretized Schrodinger operator. The discretized 2D Hamiltonian H
2d
corre
sponding to equation (4.3) can be written as a sum of two Kronecker products and a
twobody potential, i.e.
H
2d
= H
1d
I +I H
1d
+V
12
(x, y), (4.13)
where H
1d
= 1/2 + V
i
(i = 1, 2) is the onedimensional Hamiltonian, discretized
using nite dierences. When the twobody potential V
12
(x, y) is weak relative to the
onebody potentials, the eigenvalues of the 2D Hamiltonian can be approximated by
2d
1d
i
+
1d
j
, 1 i, j, n. (4.14)
Hence, to form a better understanding of the spectral properties of H
2d
, let us rst
consider the eigenvalues of H
1d
. After discretization using second order nite dier
ences, the onedimensional Hamiltonian can be written as a tridiagonal matrix, where
the stencil
1
h
2
_
1 2 1
(4.15)
16 S. COOLS, B. REPS AND W. VANROOSE
2 0 2 4 6 8 10
8
6
4
2
0
real
i
m
a
g
2 0 2 4 6 8 10
8
6
4
2
0
real
i
m
a
g
2 0 2 4 6 8
8
6
4
2
0
real
i
m
a
g
2 0 2 4 6 8
8
6
4
2
0
real
i
m
a
g
Fig. 4.1. Spectrum (closeup) of the discretized 1D (top) and 2D (bottom) Hamiltonian (4.14),
i.e. wih E = 0. Left: standard discretization with realvalued grid distance h. Right: complex
contour discretization with complexvalued grid distance
h = e
i
h, with = /6. The spectrum is
rotated down into the complex plane over 2 = /3.
approximates the second derivatives, and the potential is a diagonal matrix evaluated
in the grid points. The spectrum of H
1d
closely resembles the spectrum of the Lapla
cian (1/2), however the presence of the potential modies the smallest eigenvalues.
The resulting spectrum is shown on the top left panel of Figure 4.1, which presents a
closeup of the eigenvalues near the origin. A single negative eigenvalue
1d
0
= 1.0215
can be observed, which is due to the attractive potential. The remaining spectrum
consists of a series of positive eigenvalues which are located along the positive real
axis. The top right panel of Figure 4.1 shows the eigenvalues of H
1d
, discretized along
a complexvalued contour, i.e. the real grid rotated by e
i
. The grid distance used is
now
h = he
i
, which results in the following stencil for the second derivative
e
2i
1
h
2
_
1 2 1
. (4.16)
This implies that the spectrum of the Laplacian is rotated down into the complex plane
by an angle 2. Figure 4.1 shows that most of the eigenvalues are rotated downwards
over 2, with the exception of the bound state eigenvalue
1d
0
, which remains on the
negative real axis. These spectral properties are well known in the physics literature,
see for example [34].
We consequently turn to the twodimensional problem setting, where the eigenval
ues of the Hamiltonian H
2d
are the sums of the onedimensional operator eigenvalues
H
1d
I + I H
1d
. The resulting eigenvalues are shown on the bottom two panels
MULTIGRID CALCULATION OF THE FAR FIELD MAP 17
of Figure 4.1. Again, the eigenvalues of the 2D Hamiltonian are rotated down in
the complex plane when the system is discretized along a complexvalued contour.
In 2D, an isolated eigenvalue appears around
1d
0
+
1d
0
= 2.043, and two series of
eigenvalues emerge from the real axis: a rst branch of eigenvalues starting at 1.012,
which originates from the sum of the negative eigenvalue
1d
0
of the rst 1D Hamil
tonian combined with all the positive eigenvalues of the second 1D Hamiltonian; and
a second series of eigenvalues starting at the origin, originating from the sums of the
positive eigenvalues of both onedimensional Hamiltonians.
4.3. Solution types: single and double ionization. The Schrodinger equa
tion (4.3) can be written shortly as (HE)u = , where H = (1/2)+V
1
+V
2
+V
12
and E is the total energy of the system. Depending on this energy E, the Schrodinger
system has dierent types of solutions. In this section we briey expound on the
physical interpretation of these solution types, using a model problem example. This
section may prove less interesting to readers who are primarily interested in the com
putational aspects of the solution, and as such, can be skipped at will.
When the energy is larger that the smallest (negative) eigenvalue of the Hamilto
nian, i.e.
0
< E, onebody eigenstate solutions to (4.5) arise. These eigenstates can
be combined into separable waves of the form
u
n
(x, y) =
n
(x) exp(ik
n
y), (4.17)
with k
n
=
_
2(E
n
). This expression eectively is a solution to the Schrodinger
problem (4.3) in the region where x is small and y . Indeed, when y is large,
the potentials V
2
and V
12
are negligibly small and the resulting Schrodinger equation
becomes separable in variables, where
n
(x) and exp(ik
n
y) are the solutions of the
separated operators respectively. An analogous argument holds for the case when V
2
is large, in which case there exist evanescent waves of the form
u
n
(x, y) =
n
(y) exp(ik
n
x). (4.18)
These separable waves are solutions of the Schrodinger system for x and y small,
and can be derived similarly to (4.17). When both V
1
and V
2
are large, (4.17) and
(4.18) exist simultaneously. Note that we can associate such a separable wave with
each eigenstate
n
of equation (4.5) that corresponds to a negative eigenvalue of the
Hamiltonian. These localized waves are called single ionization waves in the physics
literature, since they correspond to a quantum mechanical system in which a single
particle is ionized. Single ionization waves are present in the solution as soon as the
energy E is above the
0
threshold. When there is a second eigenstate with negative
energy, say
1
with
1
, an additional single ionization wave appears in the problem
as soon as E >
1
. We refer to the specialized literature for a detailed discussion of
the ionization process, see [36, 25].
The left panel of Figure 4.2 shows the solution to (4.3) for a total energy E = 0.5.
The model problem under consideration ts equation (4.3), with a righthand side
given by (x, y) = exp(3(x +y)
2
). The onebody potentials are dened by V
1
(x) =
4.5 exp(x
2
) and V
2
(y) = 4.5 exp(y
2
), yielding an eigenstate of equation (4.5)
with energy
0
= 1.0215. The twobody potential equals V
12
(x, y) = 2 exp((x +
y)
2
). The equation is discretized on a [0, 20]
2
domain using 500 grid points in every
spatial dimension. An ECS absorbing layer consisting of an additional 250 grid points
damps the outgoing waves along the right and top edges of the domain. Note from
Figure 4.2 how the single ionization eigenstate solutions given by (4.17)(4.18) appear
along the edges of the domain.
18 S. COOLS, B. REPS AND W. VANROOSE
Single ionization Double ionization
Fig. 4.2. Scattered wave solutions u(x, y) to model problem (4.3). Model specications: see
accompanying text. Left: solution for energy E = 0.5 where only single ionization occurs. Right:
solution for energy E = 1.5 where both double and single ionization occur. Single ionization waves
are localized solely along the edges of the domain (left), while double ionization waves appear both
along the edges and in the middle of the domain (right).
When the total energy E exceeds zero, i.e. E > 0, additional scattering solutions
to the Schrodinger equation appear when both x and y . If all potentials
are asymptotically zero, equation (4.3) boils down to a Helmholtz equation with wave
number k =
2E
x
2
+y
2
. At the same time, it
is still possible to have single ionization, since we have E >
0
. The right panel of
Figure 4.2 shows the solution to the above model problem with a total energy E = 1.5,
clearly displaying the double ionization waves. Note how single and double ionization
waves coexist in the solution. Additionally, one observes that double ionization waves
oscillate faster in the x or ydirection than a free wave with wave number k =
2E,
since k
n
k.
4.4. Validation of the complex contour method on the 2D Schrodinger
problem. In physical experiments, the total number of single ionized or double ion
ized particles is typically observed for a range of energy levels E using advanced detec
tors. These observations are made far away from the object and eectively measure
the far eld amplitudes of the solutions. The outcome of this type of experiments can
be predicted by calculating the single (4.6) and double ionization (4.8) cross sections,
using the numerical solution of equation (4.3), see [31]. Indeed, in order to calculate
these cross sections, the numerical solution u
N
(x, y) to (4.3) is required, which is
generally hard to obtain, especially in higher spatial dimensions. However, since the
potentials V
1
, V
2
and V
12
are analytical functions, the integrals for single and double
ionization can be calculated along a complex contour rather than the classical real
domain, in analogy to the discussion in Section 2.1. Consequently, one requires the
scattering solution of equation (4.3) on a complex contour, which is generally much
easier to compute numerically.
In the following, we calculate the single and double ionization cross sections for a
number of energies E between 1 and 3 using both the classical realvalued discretiza
tion and the complex contour approach. The corresponding 2D scattering problems
MULTIGRID CALCULATION OF THE FAR FIELD MAP 19
Fig. 4.3. Scattered wave solutions u(x, y) to model problem (4.3) for E = 1. Left: solution
on a real grid with ECS absorbing boundary layer ( = /7 25
is used. Solutions u
N
(x, y) to
(4.3) for a total energy E = 1 on both the classical realvalued grid and the complex
contour are presented on Figure 4.3. Note how the solution is damped when evaluated
along the complex contour.
Figure 4.4 shows the rate of single and double ionization as a function of the total
energy E. The dashed and dotted lines represent the single and double ionization
amplitudes calculated using the traditional realvalued method with ECS absorbing
boundary conditions [31]. The solid line is the total cross section and is calculated
using the optical theorem, see [36]. One observes that single ionization occurs starting
from E > 1.0215. Double ionization only occurs when E > 0, and comprises only a
fraction of the single ionization cross section (cf. Figure 4.2). Note how the energy of
the single ionized bound states rises as the total energy grows, and remains present
even when E > 0. Results obtained using the complex contour approach are indicated
by the and symbols on Figure 4.4. In this case, the Schrodinger equation (4.3)
is rst solved on a complex contour, yielding a damped solution as shown by Figure
4.3 (right panel), followed by the calculation of the integrals (4.6) and (4.8) along this
complex contour. Identical results are obtained by both calculation methods, thus
validating the applicability of the complex contour approach on Schrodingertype
problems.
4.5. Multigrid performance on the 2D Schrodinger problem. In this sec
tion, we benchmark the performance of multigrid as a solver for the 2D Schrodinger
scattering problem on a complexvalued grid. It appears that the multigrid conver
gence rate critically depends on the value of the total energy E. Indeed, Figure 4.5
shows the convergence rate of a standard multigrid V(1,1)cycle for the 2D model
problem described in the sections above. We observe that the multigrid scheme fails
to converge for total energies E between 1 and 0. Note that this corresponds pre
cisely to the energy range where only single ionization occurs. However, for energy
levels E > 0, where both single and double ionization occur, multigrid succesfully
20 S. COOLS, B. REPS AND W. VANROOSE
1 0 1 2 3
0
1
2
3
4
10
3
E
C
r
o
s
s
s
e
c
t
i
o
n
Single ionization (real)
Single ionization (complex)
Double ionization (real)
Double ionization (complex)
Total cross section
Fig. 4.4. Comparison of the single and double ionization total cross sections calculated using
the scattered wave solution u
N
of (4.3) calculated on (a) a traditional realvalued ECS grid with
= /7 and (b) a full complex contour with = 8.5
1
2
+V
1
(x) +V
2
(y) +V
3
(z)
+V
12
(x, y) +V
23
(y, z) +V
31
(z, x) E
_
u(x, y, z) = (x, y, z), x, y, z 0,
(4.19)
with boundary conditions
_
_
u(x, y, 0) = 0 for x, y 0
u(0, y, z) = 0 for y, z 0
u(x, 0, z) = 0 for x, z 0
outgoing for x or y or z ,
(4.20)
Let us discuss a system in which V
1
, V
2
and V
3
are identical onebody potentials and
V
12
, V
23
and V
31
are, similarly, identical twobody potentials. Let the strength of
22 S. COOLS, B. REPS AND W. VANROOSE
the onebody potential be such that there is a single negative eigenvalue for the 1D
subsystem
_
1
2
d
2
dx
2
+V (x)
_
0
(x) =
0
0
(x), x 0, (4.21)
with
0
< 0, where we have dropped the subscript on the 1D potential V . If the
twobody potential V
12
(x, y) is negligibly small, then there automatically exists a
bound state of the 2D subsystem. Indeed, the state
0
(x)
0
(y) is an eigenstate of the
separable Hamiltonian (1/2) +V (x) +V (y) with eigenvalue 2
0
. In the presence
of a small but nonnegligible twobody potential, this state will be slightly perturbed,
resulting in an eigenstate
0
(x, y) that ts the 2D subsystem
_
1
2
+V (x) +V (y) +V
12
(x, y)
_
0
(x, y) =
0
0
(x, y), x, y 0. (4.22)
The corresponding eigenvalue is
0
2
0
<
0
< 0. This ordering is typical for
realistic atomic and molecular systems [4]. Similarly, the 3D system will have an
eigenstate that looks approximately like
0
(x, y)
0
(z), or any of its coordinate per
mutations. This 3D eigenstate
0
(x, y, z) ts the equation
_
1
2
+V
1
(x) +V
2
(y) +V
3
(z)
+V
12
(x, y) +V
23
(y, z) +V
31
(z, x)
_
0
(x, y, z) =
0
0
(x, y, z), x, y, z 0,
(4.23)
where
0
0
+
0
3
0
.
Assuming that the potentials are such that
0
<
0
<
0
< 0, there are now
four possible regimes of interest in equation (4.19), depending on the total energy
E. First, for E <
0
, the problem is positive denite, and hence easy to solve
numerically. However, in this regime no interesting physical reactions occur. Similarly,
for
0
< E <
0
, there are no scattering states in the solution. For energy levels
0
< E <
0
, single ionization scattering occurs. Consequently, in this regime, there
exist scattering solutions that are localized along one of the three axes in the 3D
domain. These solutions take the form v(z)
0
(x, y) as z , where
0
(x, y) is the
eigenstate of (4.22) and v(z) is a scattering solution satisfying outgoing wave boundary
conditions. Similar solutions are found for the respective coordinate permutations.
For energy levels
0
< E < 0, both single and double ionization occurs. For these
energy levels, the solution contains besides single ionization waves also double
ionization waves of the form w(y, z)
0
(x), where
0
(x) is an eigenstate of (4.21) and
w(y, z) is a 2D scattering state satisfying the outgoing wave boundary conditions.
Together with coordinate permutations, these waves are localized along the faces of
the 3D domain, where one of the three coordinates, x, y or z, is small. Finally, for
E > 0, the solution additionally contains triple ionization waves. These are waves that
describe a quantum mechanical system that is fully broken up into its subparticles.
In this case, all three relative coordinates x, y and z can become large, resulting in a
wave which extends to the entire domain.
Note that in fact only the latter problem, when E > 0 and triple ionization is
present, requires a full 3D description. For the regimes in which only single ionization
occurs, a 1D description should be sucient, due to the separated character of the
solution. Similarly, for problems with both single and double ionization, but no triple
MULTIGRID CALCULATION OF THE FAR FIELD MAP 23
E < 0 0 < E < 0 0 < E < 0 0 < E < 0 0 < E
Indenite No Yes Yes Yes Yes
Single ion. No No Yes Yes Yes
Double ion. No No No Yes Yes
Triple ion. No No No No Yes
Table 4.1
Schematic overview of the dierent scattering regimes in the 3D model problem described in
Section 4.6. Depending on the value of the total energy E with respect to the eigenvalues
0
,
0
and
0
of the 3D, 2D and 1D (sub)system respectively, dierent types of scattering occur. The system
is indenite as soon as
0
< E. Single ionization waves emerge as soon as
0
< E and double
ionization occurs for
0
< E. Triple ionization waves are present only when 0 < E.
ionization, a simpler 2D description such as the one given by (4.3) can be used to fully
describe the physics behind the problem. Hence, in view of the ecient solution of
the 3D Schrodinger problem (4.23), our main interest goes out to the E > 0 regime.
4.7. Multigrid performance on the 3D Schrodinger problem. We now
study the convergence of a multigrid solver for the 3D Schrodinger equation (4.19)
for energies E that cover all possible scattering regimes. The model problem under
consideration is a straightforward generalization of the 2D model presented in Section
4.3, featuring onebody potentials V
1
(x) = 4.5 exp(x
2
), V
2
(y) = 4.5 exp(y
2
)
and V
3
(z) = 4.5 exp(z
2
), and twobody potentials V
12
(x, y) = 2 exp((x + y)
2
),
V
23
(y, z) = 2 exp((y +z)
2
) and V
31
(x, z) = 2 exp((x+z)
2
). These potentials imply
the existence of a 1D eigenstate in (4.21) with corresponding energy
0
= 1.0215,
a 2D eigenstate solution of (4.22) with energy
0
= 1.841, and an additional 3D
eigenstate in (4.23), which has energy
0
= 2.751. The problem is solved for a
range of dierent total energies E, using an identical righthand side (x, y, z) =
exp(3(x+y+z)
2
) for all energies. The discretization comprises 255
3
points, covering
the complexvalued cube domain [0, 15e
i/12
]
3
.
The 3D model problem described above is now solved using a full multigrid F(5)
cycle [48]. This implies that the problem is rst discretized on a 7
3
point grid, where
it is solved exactly. The solution obtained on this level is consecutively interpolated
and used as an initial guess to the same problem discretized using 15
3
grid points,
after which 5 V(1,1)cycles are applied. This process is repeated recursively until we
arrive at the nest level in the multigrid hierarchy, which consists of 255
3
grid points.
On this level the Vcycle convergence rate is measured by averaging the residual
reduction rate over three consecutive Vcycles. Figure 4.6 shows the convergence rate
as a function of the total energy E. We see acceptable convergence behavior for energy
levels E < 3.0, where the problem is positive denite. However, for energy levels
between 3.0 < E < 0, where single and double ionization occur, unacceptably slow
convergence is measured. For energy levels E > 0, where single, double and triple
ionization waves coexist, multigrid convergence is again optimal.
In analogy to the 2D problem, the observed lack of convergence for a limited range
of energies can be understood by analyzing the spectral properties of the discrete
3D Schrodinger operator. The discrete operator comprises a Laplacian operator,
discretized along a complex contour, which results in multiple series of eigenvalues
stretching deep into the bottom half of the complex plane. A more detailed discussion
on the eigenvalues of the discrete Helmholtz operator can be found in [40]. For
the total Schrodinger operator, the eigenvalues dier slightly. For each subsystem
24 S. COOLS, B. REPS AND W. VANROOSE
4 2 0 2 4 6 8
0
0.2
0.4
0.6
0.8
1
E
M
u
l
t
i
g
r
i
d
C
o
n
v
e
r
g
e
n
c
e
r
a
t
e
Fig. 4.6. 3D Schrodinger problem (4.19) for a total energy range E [4, 8] solved on a full
complex grid with = /12 = 15