Professional Documents
Culture Documents
17:23
WSPC/130-JCA
00305
Department of Mathematics
Tel Aviv University, Tel Aviv, Israel
Received 21 June 2004
Revised 28 June 2005
We develop and analyze nite dierence schemes for the two-dimensional Helmholtz equation. The
schemes which are based on nine-point approximation have a sixth-order accurate local truncation
order. The schemes are compared with the standard ve-point pointwise representation, which has
second-order accurate local truncation error and a nine-point fourth-order local truncation error
scheme based on a Pade approximation. Numerical results are presented for a model problem.
Keywords: Helmholtz equation; high order nite dierence.
1. Introduction
Many physical phenomena such as acoustics, elasticity and electromagnetic waves are governed in the frequency domain by the Helmholtz equation
2 u + k2 u = F.
In this study we analyze nite dierence approximations on uniform grids, denoting h
for the grid size. Besides the standard nite dierence scheme, which is of order O(h2 ),
high-order schemes with fourth-order of accuracy were developed in Ref. 2. These schemes,
which can be used for variable k, are based on a Pade approximation and were further
examined in Ref. 3. In Ref. 3 another approach was introduced to achieve higher-order
accuracy where the Helmholtz equation is used to replace higher-order derivatives in the
truncation error by lower-order derivatives, which can be approximated on a nine-point
stencil. In Ref. 5 this approach is used for a constant value of k to achieve a scheme with
sixth-order of accuracy. In this study we use this approach and improve it to get a family of sixth-order of accuracy schemes that are easier to use in applications, such as the
Helmholtz equation in an unbounded domain, which is solved using perfectly matched layer
(PML).6,5
Another approach to get sixth-order of accuracy scheme is presented in Ref. 1. The
approach there is to nd optimal coecients for a class of wave equations. The specic
339
October 4, 2006
340
17:23
WSPC/130-JCA
00305
scheme presented there for the Helmholtz equation is a special case, to order O(h6 ), of the
family of schemes developed here.
While this paper was being refereed the paper of Sutmann8 was also in the process of
publication.
2. Finite Dierence Schemes
In two dimensions, the Helmholtz equation becomes
uxx + uyy + k2 u = F.
(1)
Let i,j be a numerical approximation to u(xi , yj ), and Fi,j be a known function. We wish
to have symmetric stencil in both directions x and y. One scheme having these properties
has the form
A0 i,j + As s + Ac c = B0 Fi,j + Bs s + Bc c ,
(2)
where
s = i,j+1 + i+1,j + i,j1 + i1,j
is the sum of the values of the mid-side points and
c = i+1,j+1 + i+1,j1 + i1,j1 + i1,j+1
is the sum of the values at the corner points. Similarly, for F we have
s = Fi,j+1 + Fi+1,j + Fi,j1 + Fi1,j
and
c = Fi+1,j+1 + Fi+1,j1 + Fi1,j1 + Fi1,j+1 .
3. Pointwise Representation
Expanding the standard approximation for the second derivative
i+1,j 2i,j + i1,j
h2
in a Taylor series, we get for every suciently smooth u
Dxx =
h2
h4
uxxxx +
uxxxxxx + O(h6 ).
12
360
Adding a similar approximation for uyy , we get
Dxx u = uxx +
h2
h4
(uxxxx + uyyyy ) +
(uxxxxxx + uyyyyyy ) + O(h6 ).
12
360
Hence, we get the representation
(Dxx + Dyy )u = uxx + uyy +
(3)
October 4, 2006
17:23
WSPC/130-JCA
00305
341
s 4i,j
.
h2
(4)
(5)
(6)
(7)
h2
(Fxx + Fyy ((k2 u)xx + (k2 u)yy ) 2uxxyy ) + O(h4 ).
12
(8)
To preserve the O(h4 ) approximation, it is sucient to use a O(h2 ) approximation for Fxx +
Fyy ((k2 u)xx + (k2 u)yy ) 2uxxyy . We choose Fxx + Fyy (Dxx + Dyy )F , uxxyy Dxx Dyy u.
One can choose to directly dierence (k2 u)xx + (k2 u)yy with second-order accuracy. Instead
we shall assume that k is constant. Then (k2 u)xx + (k2 u)yy = k2 (uxx + uyy ) = k2 (F k2 u)
giving
h2
(kh)2
k2 u
Dxx + Dyy + Dxx Dyy u + 1
6
12
h2
(kh)2
+ (Dxx + Dyy )F + O(h4 ).
(9)
=F 1
12
12
Using (4) and
Dxx Dyy u =
c 2s + 4i,j
,
h4
October 4, 2006
342
17:23
WSPC/130-JCA
00305
h ,
Bs = , Bc = 0.
B0 =
3 12
12
(10)
(11)
(12)
and
h2
h4
(Fxx + Fyy k2 (uxx + uyy ) 2uxxyy ) +
(Fxxxx + Fyyyy
12
360
h2
(uxxxxyy + uxxyyyy ) + O(h4 ).
12
So we get
h2
Dxx + Dyy + Dxx Dyy u
6
= F k2 u +
h2
h4
(Fxx + Fyy k2 (uxx + uyy )) +
(Fxxxx + Fyyyy + 4Fxxyy
12
360
(13)
October 4, 2006
17:23
WSPC/130-JCA
00305
343
Using Dxx Dyy u for uxxyy and F k2 u instead of uxx + uyy and rearranging, we get
(kh)2
(kh)2
h2
(kh)2
1+
Dxx Dyy u + 1
1
k2 u
Dxx + Dyy +
6
30
12
30
(kh)2
h2
(kh)2
(kh)2
1
+
1
(Fxx + Fyy )
=F 1
12
30
12
30
h4
(Fxxxx + 4Fxxyy + Fyyyy ) + O(h6 ).
360
For arbitrary F we need a fourth-order accuracy approximation for Fxx + Fyy and a secondorder accuracy approximation for Fxxxx + 4Fxxyy + Fyyyy . This is easily done, but requires
more than nine points and we cannot put the approximation in the form (2). In many
problems F = 0, and we can write in our notation
10
A0 = + (kh)2
3
2 (kh)2
,
As =
3
90
(kh)4
46 (kh)2
+
,
45
12
360
(14)
1 (kh)2
Ac = +
.
6
180
6. Divergence Form
The last two schemes developed have a diculty. In some problems we want to use the
schemes in an unbounded domain, with a PML to absorb the outgoing waves at innity.6
In the PML, we need to solve a variable coecient problem
(Aux ) +
(Buy ) + Ck2 u = F,
x
y
(15)
where A, B, C are functions of x, y. We have not found a formula which keeps the self-adjoint
form and is also fourth-order accurate for nonconstant A, B and C. In the PML A, B, C are
variable and in the interior of the domain, A = B = C = 1. We want to use in the interior a
symmetric stencil, and automatically switch to a second-order accurate stencil in the PML.
In Ref. 4 we show that one can use a lower-order formula in the PML and still retain global
high accuracy in the physical domain.
We start with the standard second-order three-point symmetric approximation
Dx (Aux )j =
h2
We can construct a more general divergence free form by averaging this in the j direction.
So we take Dx (Aux )j + ((1 )/2)(Dx (Aux )j+1 + Dx (Aux )j1 ) and a similar formula
October 4, 2006
344
17:23
WSPC/130-JCA
00305
for Dy (Buy ). The approximation to k2 u can be a general nine-point formula. Thus, for
A = B = 1, we get
A0 = 4 + (1 4s 4c )(kh)2 ,
As = 2 1 + s (kh)2 ,
Ac = 1 + c (kh)2 .
(16)
h2
(Dxx + Dyy )F + O(h4 ).
12
(17)
The term h4 /72 is of fourth order, and can be multiplied by an arbitrary scalar, chosen as /2. The same treatment can be done on the right-hand side of (17), choosing
((h2 /12)(Dxx +Dyy )+(h4 /144)Dxx Dyy )F (for arbitrary ) instead of (h2 /12)(Dxx +Dyy )F ,
yielding
10
2 2
+
,
A0 = + (kh)
3
3 36
2
1
, Ac = + (kh)2
,
(18)
As = + (kh)2
3
12 36
6
144
2
1
2
2
+
h , Bs =
h2 , Bc =
h .
B0 =
3 36
12 72
144
This approximation is the same as the Pade approximation developed in Ref. 2, which is
also valid for nonconstant k.
This scheme is of the form (16) with
5
= ,
6
s =
1
,
12 72
c =
.
144
October 4, 2006
17:23
WSPC/130-JCA
00305
345
Hence, when used for problems with variable coecients the scheme will be second-order
accurate. In regions where the coecients are constant the scheme will increase to fourthorder accuracy.
6.2. Sixth-order divergence form
Rearranging (13) we get
h2
Dxx + Dyy +
6
= k2 u
+
(kh)2
1+
30
Dxx Dyy u
k2 h2
k4 h4
h2
(uxx + uyy ) +
(uxx + uyy ) + F +
12
360
12
1
k2 h2
30
(Fxx + Fyy )
h4
(Fxxxx + 4Fxxyy + Fyyyy ) + O(h6 ).
360
(19)
To preserve the sixth-order accuracy, we need a fourth-order approximation for the term
(k2 h2 /12)(uxx + uyy ). Using (3) and (7) we get
uxx + uyy = (Dxx + Dyy )u
h2
(Fxx + Fyy k2 (uxx + uyy ) 2uxxyy ) + O(h4 )
12
or
h2
(Fxx + Fyy k2 (Dxx + Dyy )u 2Dxx Dyy u) + O(h4 )
12
h2
k2 h2
h2
u + Dxx Dyy u (Fxx + Fyy ) + O(h4 ).
= (Dxx + Dyy ) 1 +
12
6
12
Inserting this fourth-order approximation and (Dxx + Dyy (/2)h2 Dxx Dyy )u as a secondorder accurate approximation to the term (k4 h4 /360)(uxx + uyy ) in (19), we get
h2
Dxx + Dyy +
6
(kh)2
1+
30
Dxx Dyy u
h2
h2
u + Dxx Dyy u (Fxx + Fyy )
6
12
k2 h2
h2
(kh)4
(Dxx + Dyy h2 Dxx Dyy )u + F +
1
(Fxx + Fyy )
+
360
2
12
30
(kh)2
= k u
12
2
k2 h2
(Dxx + Dyy ) 1 +
12
h4
(Fxxxx + 4Fxxyy + Fyyyy ) + O(h6 ).
360
October 4, 2006
WSPC/130-JCA
00305
346
or
17:23
h2
7
(kh)2 (kh)4
2
4
+
(Dxx + Dyy )u +
1+
(kh) +
(kh) Dxx Dyy u + k2 u
1+
12
240
6
60
120
h2
(kh)2
h4
=F+
1+
(Fxx + Fyy ) +
(Fxxxx + 4Fxxyy + Fyyyy ) + O(h6 ).
12
20
360
Assuming F = 0, we achieve
A0 =
10 67
3
+ (kh)2 +
(kh)4 ,
3
90
180
As =
2
2
3 2
+ (kh)2 +
(kh)4 ,
3 45
720
Ac =
7
1
+
(kh)2 +
(kh)4 .
6 360
720
(20)
s =
3 2
2
+
(kh)2 ,
45
720
c =
7
+
(kh)2
360 720
and is sixth-order accurate for all values of . We call this formulation HO-6.
Choosing = 11/12 and using the notations given in Ref. 1, we get
a1 =
Ac
1440 + 168(kh)2 + 11(kh)4
=
,
A0
28 800 6432(kh)2 + 100(kh)4
a2 =
As
2880 + 192(kh)2 + 7(kh)4
=
.
A0
14 400 3216(kh)2 + 50(kh)4
17
1
801
+
(kh)2 +
(kh)4 + O(h6 ),
20 1000
200 000
a2 =
29
1
2549
+
(kh)2 +
(kh)4 + O(h6 ),
5 500
200 000
which is the same approximation, up to sixth-order accuracy, achieved in Ref. 1. The method
developed in Ref. 1 describes a general methodology for deriving high-order discretizations
for a large class of wave equations. That methodology involves a type of variational principle.
From that viewpoint, it is more general than the present presentation, which stresses the
properties of the Helmholtz equation. The main point of Ref. 1 is that optimal coecients
of the linear discretization formula can be found by minimizing the L2 norm of the error
for plane waves, integrated over all directions of incidence. This general principle could nd
applications in other cases, such as at nonreecting boundaries though these applications
have not yet been explored.
October 4, 2006
17:23
WSPC/130-JCA
00305
347
7. Numerical Results
We examine the behavior of the schemes developed on model problems. Both model problems are the Helmholtz equation in a square coupled with a Dirichlet boundary condition.
Even though the numerical examples use the model problems, they illustrate the benets
to be expected for more realistic problems.
The model problem used for both cases is
u + k2 u = F (x, y)
in the square [0, ] [0, ] with the boundary conditions
J. Comp. Acous. 2006.14:339-351. Downloaded from www.worldscientific.com
by UNIVERSIDADE FEDERAL DO PARANA on 08/27/13. For personal use only.
(21)
where i, j are positive integers, chosen as 1 and 2, respectively. In this model problem
F (x, y) = (k2 (i2 + j 2 )) sin ix sin jy.
In the second problem, we choose the exact solution as
u(x, y) = sinh x sinh ( x) sinh y sinh ( y)
= (cosh cosh ( 2x))(cosh cosh ( 2y)),
(22)
October 4, 2006
348
17:23
WSPC/130-JCA
00305
In the following table, we present the l norm of the error for the rst problem (21) with
k = 6.4.
N
PT
EB
HO, = 2
EB-6
HO-6, = 2
HO-6, = 1
4
8
16
32
64
128
2.20E02
5.92E03
1.51E03
3.79E04
9.49E05
2.37E05
1.13E02
2.43E03
7.35E05
4.07E06
2.48E07
1.54E08
3.80E02
2.39E03
1.49E04
9.29E06
5.80E07
3.63E08
2.77E03
5.84E05
5.82E07
8.16E09
1.24E10
1.89E12
2.39E01
2.81E03
4.27E05
6.65E07
1.04E08
1.62E10
3.77E03
9.63E05
1.93E06
3.18E08
5.03E10
7.88E12
In all the schemes, the norm of the error decreases as the number of gridpoints increases.
We clearly see that the norm of the error behaves according to the order of the scheme. As
we multiply N by 2 (divide h by 2) the norm of the error decreases by 4 in the PT scheme,
by 16 in the EB and HO schemes and by 64 in the EB-6 and HO-6 schemes. Similar results
are found in the second table, with the results for the second problem (22).
N
PT
EB
HO, = 2
EB-6
HO-6, = 2
HO-6, = 1
4
8
16
32
64
128
4.34E03
1.90E03
2.74E03
2.78E04
6.51E05
1.61E05
2.66E04
9.82E04
1.32E05
8.30E07
5.09E08
3.19E09
5.03E03
4.14E03
1.21E04
7.77E06
4.87E07
3.04E08
6.88E04
8.44E05
8.58E07
1.31E09
2.02E10
3.12E12
5.74E02
2.43E03
5.25E05
9.06E07
1.43E08
2.24E10
2.21E01
2.96E03
3.48E05
5.61E08
8.97E09
1.40E10
We wish to computationally verify the order of the schemes, so we assume that for small
values of h,
e C(k)N r =
where r is the order of the scheme,
2
r= 4
C(k) r
h ,
r
i.e.
for PT scheme,
for the schemes EB, HO,
for the schemes EB-6, HO-6.
Hence, if N = 2l
log2 (e ) l r log2 C(k).
(23)
We calculate r, the order of accuracy, by measuring the slope of the curve. We verify (23)
using the gures (in all the HO schemes = 2). All logarithms in the gures are to the
base 2. Comparing Figs. 1 and 2 with Fig. 3, we see that there is no basic dierence between
October 4, 2006
17:23
WSPC/130-JCA
00305
349
October 4, 2006
350
17:23
WSPC/130-JCA
00305
October 4, 2006
17:23
WSPC/130-JCA
00305
351
the two cases. Hence, for Figs. 46 we only consider case 2 and increase k. In Ref. 7 it is
shown that for the waveguide problem, the accuracy depends on the input boundary mode.
The exact solution of the model problem, (22), does not depend on k. Hence, as k increases
the error remains constant for the ner meshes. For small values of k our assumption (23) is
correct. As k grows, the accuracy of the scheme deteriorates and the assumption is correct
only on the ne meshes, see also Ref. 3. For coarse meshes, we enter the asymptotic range
for kh constant, i.e. N behaves linearly in k for the point where the error begins to decrease
with ner meshes.
References
1. J. E. Caruthers, J. S. Steinho and R. C. Engels, An optimal nite dierence representation for
a class of linear PDEs with application to the Helmholtz equation, J. Comput. Acoust. 7 (1999)
245252.
2. I. Harari and E. Turkel, Accurate nite dierence methods for time-Harmonic wave propagation,
J. Comput. Phys. 119 (1995) 252270.
3. I. Singer and E. Turkel, High order nite dierence methods for the Helmholtz equation, Comp.
Meth. Appl. Mech. Eng. 163 (1998) 343358.
4. I. Singer and E. Turkel, A perfectly matched layer for the Helmholtz equation in a semi-innite
strip, J. Comput. Phys. 201 (2004) 439465.
5. S. Tsynkov and E. Turkel, A cartesian perfectly matched layer for the Helmholtz equation,
in Artificial Boundary Conditions with Applications to CEM, ed. Loic Tourvete (Novascience
Publishing, 2001), pp. 279309.
6. E. Turkel and A. Yefet, Absorbing PML boundary layers for wave-like equations, Appl. Numer.
Math. 27 (1998) 533557.
7. E. Turkel, C. Farhat and U. Hetmaniuk, Improved accuracy for the Helmholtz equation in
unbounded domains, Int. J. Numer. Meth. Eng. 59 (2004) 19631988.
8. G. Sutmann, Compact nite dierence schemes of sixth order for the Helmholtz equation, to
appear in J. Comp. Appl. Math. (2006).