the solution of time harmonic wave equations using ... · introduction least squares plane waves...

51
Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The solution of time harmonic wave equations using complete families of elementary solutions Peter Monk Department of Mathematical Sciences University of Delaware Newark, DE 19716 USA email: [email protected] Research supported in part by a grant from AFOSR

Upload: others

Post on 07-Oct-2020

2 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

The solution of time harmonic waveequations using complete families of

elementary solutions

Peter Monk

Department of Mathematical SciencesUniversity of Delaware

Newark, DE 19716USA

email: [email protected]

Research supported in part by a grant from AFOSR

Page 2: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Outline

IntroductionLeast squares methods for Helmholtz:Ultra Weak Variational Formulation

DiscretizationUsing plane wavesUsing finite elements

Maxwell’s equationsComments and conclusions

Page 3: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Model Problem

Given a bounded domain Ω ⊂ RN , N = 2, 3, find u such that

∆u + κ2u = 0 in Ω∂u∂n

− iκu = g on Γ := ∂Ω.

Assume κ is real.

The presentation focuses on “volume” methods for theHelmholtz equation.

Page 4: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Human hearing [Huttunen]

Investigate coupling of sound into the human ear (head relatedtransfer function) across the audible spectrum.

−0.2−0.1

00.1

0.2

−0.1

0

0.1

−0.3

−0.2

−0.1

0

0.1

0.2

0.3

x (m)y (m)

z (n

)

Page 5: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Human hearing (continued)

Real part of the pressure field at 5kHz (using the two mesheswe can compute the audible range to 20kHz)

y (mm)

x (m

m)

Re ( p ) , f = 5000 Hz

−250 −200 −150 −100 −50 0 50 100 150 200 250

−250

−200

−150

−100

−50

0

50

100

150

200

250

−2

−1.5

−1

−0.5

0

0.5

1

1.5

x (mm)

z (m

m)

Re ( p ) , f = 5000 Hz

−200 −100 0 100 200

−300

−200

−100

0

100

200

300

−2

−1.8

−1.6

−1.4

−1.2

−1

−0.8

−0.6

−0.4

−0.2

Page 6: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Human hearing (continued)

y (mm)

z (m

m)

Re ( p ) , f = 5000 Hz

−200 −100 0 100 200

−300

−200

−100

0

100

200

300

−2

−1.5

−1

−0.5

0

0.5

1

1.5

y (mm)

z (m

m)

log10

( | p | ), f = 5000 Hz

−200 −100 0 100 200

−300

−200

−100

0

100

200

300

−2

−1.5

−1

−0.5

0

0.5

Page 7: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

The Least Squares Method

Use the mesh Th consisting of tetrahedra or triangles Tj ,1 ≤ j ≤ Jh, of maximum diameter h.At first we shall consider the "exact" least squares method sothat

Define uj to be any H1(Tj) solution of the Helmholtzequation on Tj .To compute the exact solution we need to enforcecontinuity of u and ∂u/∂n on interior faces/edges andenforce the boundary condition.

Later we can discretize uj for each j .

Some notation:Γj,k = ∂Tj ∩ ∂Tk and Γj = ∂Tj ∩ Γ. We denote by nj the outwardnormal to Tj .

Page 8: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Required continuity between elements

For the piecewise defined function (u1, u2, · · · , uJh) to be aglobal solution of the Helmholtz equation we need

∂uk

∂nk+ iκuk = −

∂uj

∂nj+ iκuj

∂uk

∂nk− iκuk = −

∂uj

∂nj− iκuj

on Γj,k .The boundary condition on Γj is then

∂uj

∂n− iκuj = g

Page 9: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Least squares functional

Let ~u = (u1, u2, · · · , uJh) where uj satisfies the Helmholtzequation in H1(Tj). To assure a global solution fitting theboundary condition we could minimize the functional J (~u) overall such functions:

J (~u) =∑

j

∑k 6=j

∥∥∥∥(−

∂uj

∂nj+ iκuj

)−

(∂uk

∂nk+ iκuk

)∥∥∥∥2

L2(∂Tj )

+∑

j

∥∥∥∥(−

∂uj

∂nj+ iκuj

)+ g

∥∥∥∥2

L2(Γj )

There is a unique minimizer (existence and uniqueness of thestandard boundary value problem) at least if the domain issmooth.

Page 10: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Rewriting the Least Squares Method

Let X = ΠJhj=1L2(∂Tj) with inner product 〈·, ·〉 and norm ‖ · ‖X .

Let X ∈ X and write X = (X1, · · · ,XJh). DefineΠ : X → X such that

ΠXj |Γj,k = Xk |Γj,k when Γj,k 6= φ

ΠXj |Γj = 0 when Γj 6= φ.

F : X → X so that if F (X ) = (F1(X1), · · · , FJh(YX Jh)) andif wj ∈ H1(Tj) satisfies

∆wj + κ2wj = 0 in Tj

∂wj

∂nj+ iκwj = Xj on ∂Tj

then Fj(Xj) = −∂wj/∂nj + iκwj on ∂Tj

Page 11: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

The Least Squares Method obscured

Let

Xk =

(∂uk

∂nk+ iκuk

)∣∣∣∣∂Tk

, X = (X1, · · · ,XJh),

the we may write the least squares problem as the problem offinding X ∈ X that minimizes

J (X ) = ‖FX − ΠX + g‖2X .

where g ∈ X is such that g|Γ = g and vanishes on other facesin the mesh (we have just parametrized the solution by it’sboundary impedance trace on each element).

Lemma (Cessenat and Després)

‖Π‖X→X ≤ 1 and F is an isometry (F ∗F = I).

Page 12: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

A New Method

We know that there is a unique minimizer X ∈ X such thatJ (X ) = 0 so

FX − ΠX + g = 0.

Operating by F ∗ we get

X − F ∗ΠX = −F ∗g

This is the Ultra Weak Variational Formulation (UWVF) of theHelmholtz equation [Cessenat & Després]. Compare to LeastSquares normal equations

(I − F ∗Π)∗(I − F ∗Π)X = −(I − F ∗Π)F ∗g

We expect the UWVF to be better conditioned. The UWVF canalso be seen as

An upwind discontinuous Galerkin method (see also workof Gabard and Hiptmair, Perugia et al) using specialdegrees of freedom and test functions.

Page 13: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

The UWVF equations

It is convenient to write a Galerkin formulation: Find X ∈ Xsuch that

〈X ,Y〉 − 〈ΠX , F (Y)〉 = 〈g, F (Y)〉.

for all Y ∈ X .

To clarify: suppose Tj is an interior tetrahedron surrounded byfour other tetrahedra∫

∂Tj

XjYj ds −∑k 6=j

∫Γk,j

XkFj(Yk ) ds = 0.

Page 14: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

The Discrete UWVF [Cessenat & Després]

For each element Tk we choose pk directions d j on the unitcircle (or unit sphere [Sloan]) and define the solution on thatelement to be a sum of traces of plane waves

X hk =

pk∑j=1

xkj

(∂ exp(iκd j · x)

∂nk+ iκ exp(iκd j · x)

)∣∣∣∣∂Tk

The test function is, for 1 ≤ r ≤ pk ,

Yhk =

(∂ exp(iκd r · x)

∂nk+ iκ exp(iκd r · x)

)∣∣∣∣∂Tk

In this case Fk (Yhk ) is easy to compute:

Fk (Yhk ) =

(−∂ exp(iκd r · x)

∂nk+ iκ exp(iκd r · x)

)∣∣∣∣∂Tk

Page 15: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Properties of the acoustic UWVF

Uniform mesh: Number of DoF = O(h−dpd−1).[Cessenat/Després, 2D] Let p = 2µ + 1, µ > 0,

‖X − X h‖L2(Γ) ≤ C(κ)hµ−1/2‖u‖Cµ+1(Ω)

[Monk/Buffa] Using DG techniques, for a convex 2Ddomain with uh reconstructed from X h,

‖u − uh‖L2(Ω) ≤ C(κ)hµ−1‖u‖Cµ+1(Ω)

[Hiptmair, Moiola, Perugia, 2009] General DG, 2D, 3D,explicit constants and p-version error estimate (usingk -dependent norms):

κ‖u − uh‖L2(Ω) ≤ Chr−1(

log(p)

p

)r−1/2

‖u‖r+1,κ,Ω

The discrete problem has the form (B − C)x = b where Bis Hermitian positive definite and the eigenvalues of B−1Clie in the closure of the unit disk excluding 1

Page 16: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Numerical results: 2D mesh refinement

We take u(x) = i4H(1)

0 (k |x − x0|) with x0 is outside thecomputational domain.

−0.5 0 0.5−0.5

−0.4

−0.3

−0.2

−0.1

0

0.1

0.2

0.3

0.4

0.5

−0.5 0 0.5−0.5

−0.4

−0.3

−0.2

−0.1

0

0.1

0.2

0.3

0.4

0.5

h = 0.5 h = 0.25

Page 17: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Results for k = 20, M = 15 (p = 7)

Mesh size h L2(Ω) Error (%) Order cond(D) Order0.50 4.38 - 0.64×102 -0.25 0.01873 7.9 0.20× 106 -11.60.10 1.51×10−5 7.8 0.22× 1011 -12.7

Measured global convergence O(h7.8).

Cessenat and Després predict that the condition number of Dwill increase O(h−12)

Page 18: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Results for k = 40, M = 21 (p = 10).

Mesh size h L2(Ω) Error (%) Order cond(D) Order0.50 25.2 - 8.7 -0.25 0.0337 9.55 0.94×105 -13.40.1 2.32×10−6 10.5 0.14×1013 -18

Measured global convergence O(h10).

Cessenat and Després predict that the condition number of Dincreases O(h−18).

Page 19: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

A Model Scattering Problem [Huttunen & Monk]

Let Ω ⊂ R3 (or R2) with disjoint boundaries Γ and Σ.Approximate u which satisfies

∆u + κ2u = 0 in Ω

u = g on Γ

∂u∂ν

− iκu = 0 on Σ

ABC

Scatterer

Ω

Σ

Γ

where g describes the incoming plane wave. The region Ω ismeshed with simplicial elements and the UWVF applied there.ABC = Absorbing Boundary Condition

Page 20: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Comparison to FEMLAB in 3D acoustics [Huttunen]

FEMLAB P2 FEM with low order ABC.

Page 21: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Comparison continued

FEMLAB (two meshes):f (kHz) h (mm) Elem. CPU (s) Error (%) Mem (GB)

100 3 101 978 448 30.88 1.4150 1.8 478 471 4699 25.39 2.5200 1.8 478 471 5321 20.64 2.5300 1.8 478 471 5391 30.13 2.5

UWVF (one mesh, variable # directions):f (kHz) h (mm) Elem. CPU (s) Error (%) Mem (GB)

100 15 16 926 275 28.56 0.2150 15 16 926 353 23.22 0.3200 15 16 926 449 20.07 0.4300 15 16 926 854 18.96 1.1

Page 22: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

UWVF near a singularity and at low κ

Near a singularity the plane wave UWVF requires verysmall elementsIf κ is small the plane wave UWVF becomes poorlyconditioned.

We now examine a way of using standard piecewise polynomialbasis functions on each element within UWVF framework.

Page 23: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Recall the (slightly modified) definition of F

Fj : L2(∂Tj) → L2(∂Tj) is defined using an auxiliary functionwj ∈ H1(Tj) that satisfies

∆wj + κ2wj = 0 in Tj ,

1iκ

∂wj

∂nj+ wj = Xj on ∂Tj ,

thenFj(Xj) = − 1

iκ∂wj

∂nj+ wj on ∂Tj

Basic idea: Approximate Fj by a finite element method insideeach elementJoint work with J. Schoeberl and A. Sinwel

Page 24: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Computing Fj by a mixed method

Let Xj ∈ L2(∂Tj) and define (wj , v j) ∈ L2(Tj)× H(div; Tj) suchthat

−iκwj = ∇ · v j in Tj

−iκv j = ∇wj in Tj

−v j · nj + wj = Xj on ∂Tj

where nj is the unit outward normal to Tj then Fj is given by

Fj(Xj) = v j · nj + wj = Xj + 2nj · v j on ∂Tj .

Page 25: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Raviart-Thomas elements

We use Raviart-Thomas subspaces U ⊂ L2(Tj) andV ⊂ H(div; Tj):

Uh := degree p polynomials on Tj

Vh := vector-valued polynomials of degree p + 1 on Tj

for which the normal component on ∂Tj is of degree p

Page 26: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

A discrete approximation to Fj using RTp

We can compute (uh, vh) ∈ Uh × Vh such that∫Tj

(∇ · v j,h + iκwj,h) ξ dV = 0 for all ξ ∈ Uh∫Tj

wj,h∇ · τ − iκv j,h · τ dV =

∫∂Tj

(Xj + v j,h · nj) τ · nj dA

for all τ ∈ Vh.

Then we define FTj ,h : L2(∂Tj) → L2(∂Tj) by

FTj ,h(Xj) = Xj + 2v j,h · nj on ∂K .

Lemma

If h is small enough, FK ,h : L2(∂K ) → L2(∂K ) is an isometry.

Page 27: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

FE basis on the edges

The basis functions on each element used to construct Uh andVh are the standard Raviart-Thomas RTp elements. The fullydiscrete finite element UWVF is obtained by letting

Xh,j =

nj · v j |∂K | ∀v j ∈ Vh

and using Fj,h on each element.

LemmaIf p is fixed on all elements and h is small enough, the discreteFE-UWVF has a unique solution. Furthermore the localsolution computed from Xh coincides with the solution of thestandard Raviart-Thomas method for this problem.

Remark: We have thus accomplished a hybridization of the RTsystem. This turns out to be exactly equivalent to an HDGmethod (see our paper).

Page 28: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Meshes

Exact solution: u = exp(iκd · x) with κ = 10 andd = (cos(1), sin(1)).

−0.5 0 0.5−0.5

−0.4

−0.3

−0.2

−0.1

0

0.1

0.2

0.3

0.4

0.5

−0.5 0 0.5−0.5

−0.4

−0.3

−0.2

−0.1

0

0.1

0.2

0.3

0.4

0.5

Left: Initial mesh (h = 1). Right: one refinement (h = 1/2).

Page 29: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Dependence on mesh width h for RT0

Mesh size Relative L2(Ω) Number ofh error (%) biCG iterations1 100 5

1/2 100 261/4 28 611/8 5.8 951/16 1.4 1881/32 0.35 3711/64 8.7× 10−2 742

The error is computed by quadrature at the centroid of eachelement. Error is O(h2), number of iterations is O(1/h).

Page 30: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Distribution of eigenvalues

−1.5 −1 −0.5 0 0.5 1 1.5−1.5

−1

−0.5

0

0.5

1

1.5

Real part

Imag

inar

y pa

rt

Eigenvalues of D−1C when h = 1/16. The eigenvalues areknown to lie in the unit disc with λ = 1 excluded.

Page 31: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Dependence on wave number

Fixed meshwith h = 1/16.

Iteration count as a func-tion of k for biCGStaband QMR applied to solve

~X − D−1h Ch ~X = D−1

h~G.

0 5 10 15 20150

200

250

300

350

400

450

500

550

600

650

Wave number k

Nu

mb

er o

f it

erat

ion

s

biCGStabQMR

BiCGStab is faster in wall-clock time also.

Page 32: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

L-shaped domain - RTp elements

Dirichlet boundary condition at the reentrant corner produces asingularity that requires a refined mesh near that point.

Solved via NETGEN

Page 33: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

L-shaped domain - PW - UWVF without refinement

Page 34: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

L-shaped domain - combined PW-FE UWVF

Using RT elements near the re-entrant corner and classical PWUWVF further away gives the “best” of both worlds.

Page 35: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Maxwell’s equations: Cavity problem

E , H: Unknown electric/magnetic fieldk : Wave-numberεr : Relative permittivity (piecewise constant)µr : Relative permeability (piecewise constant)Ω: Bounded domain

−ikεr E −∇× H = 0 in Ω

−ikµr H +∇× E = 0 in Ω

H × n − ηET = Q(H × n + ηET )−√

2ηg on Γ = ∂Ω

Page 36: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Variational Problem

Let ξk ,ψk satisfy the adjoint Maxwell system on Ωk

−ikεrξk −∇×ψk = 0, −ikµrψk +∇× ξk = 0,

The unknown traces are

Xk = Ek × nKk − η(Hk )T

∣∣∣∂Ωk

and ifYk = ξk × nKk − η(ψk )T

∣∣∣∂Ωk

thenFk (Yk ) = −ξk × nKk − η(ψk )T

∣∣∣∂Ωk

then, for a tetrahedron surrounded by four other tetrahedra∫∂Ωk

1ηXkYk ds = −

∑j

∫Σk,j

1ηXjFk (Yk ) ds.

Vector plane waves are used to discretize on each element.

Page 37: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Maxwell’s equations:Typical Application [thanks to Tomi Huttunen]

Example: Simulate mi-crowave interaction withwood.

A transmitting and receivingantenna are shown.

Page 38: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Modeling

Truncation by a suitable. Discretization usinglayer and boundary condition. tetrahedra.

Page 39: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Typical Results at 5GHz

y (m)

z (m

)

| Ex |

dB−0.1 0 0.1

−0.15

−0.1

−0.05

0

0.05

0.1

0.15

−70

−60

−50

−40

−30

−20

−10

0

y (m)

z (m

)

| Ey |

dB−0.1 0 0.1

−0.15

−0.1

−0.05

0

0.05

0.1

0.15

−70

−60

−50

−40

−30

−20

−10

0

y (m)

z (m

)

| Ez |

dB−0.1 0 0.1

−0.15

−0.1

−0.05

0

0.05

0.1

0.15

−70

−60

−50

−40

−30

−20

−10

0

y (m)

z (m

)

| E |

dB−0.1 0 0.1

−0.15

−0.1

−0.05

0

0.05

0.1

0.15

−70

−60

−50

−40

−30

−20

−10

0

y (m)

z (m

)

| Ex |

dB−0.1 0 0.1

−0.15

−0.1

−0.05

0

0.05

0.1

0.15

−70

−60

−50

−40

−30

−20

−10

0

y (m)

z (m

)

| Ey |

dB−0.1 0 0.1

−0.15

−0.1

−0.05

0

0.05

0.1

0.15

−70

−60

−50

−40

−30

−20

−10

0

y (m)

z (m

)

| Ez |

dB−0.1 0 0.1

−0.15

−0.1

−0.05

0

0.05

0.1

0.15

−70

−60

−50

−40

−30

−20

−10

0

y (m)

z (m

)

| E |

dB−0.1 0 0.1

−0.15

−0.1

−0.05

0

0.05

0.1

0.15

−70

−60

−50

−40

−30

−20

−10

0

εr = 3 εr = 8

Page 40: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Scattering from a sphere (electromagnetic!)

Sphere of radius 0.25 inside cube [−.5, .5]3, κ = 100, ε = µ = 1(λ = 0.06). PML width 0.1 (uses 3,474,770 degrees offreedom).

Real E1, UWVF

−0.5 0 0.5

−0.5

0

0.5−1.5

−1

−0.5

0

0.5

1

1.5

Real E2, UWVF

−0.5 0 0.5

−0.5

0

0.5

−0.1

0

0.1

0.2

Real E2, UWVF

−0.5 0 0.5

−0.5

0

0.5

−0.5

0

0.5

1

Page 41: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Iterative solutionThe UWVF linear system can be solved by simple iterativescheme. We use BiCGStab.

0 20 40 60 80 100

10−4

10−2

100

Iteration

Rel

ativ

e re

sidu

al

Bi−CGStab

BiCGStab convergence for a problem having 3,474,770degrees of freedom using a 24 processor cluster (2.8GHz P4,48Gb memory total, 1000BaseT). Solution time is 451s using25.3 GB memory (109 iterations).

Page 42: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

A model scattering problem

The unknown total field E and scattered field Es satisfy

∇×(µ−1

r ∇× E)− k2εr E = F in R3 \ D,

E = E i + Es in R3 \ D,

E × ν = 0 on Γ,

limρ→∞

ρ((∇× Es)× x − ikEs) = 0 as r →∞.

For ease of exposition εr = µr = 1. D is bounded, simplyconnected with simply connected complement.

Page 43: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

How to truncate the problem?

Introduce a surface Σ containing the scatterer in it’s interior.

ν

ν

Ω

Σ

D

Γ

Scatterer

ImperfectConductingConducting

Computational Domain

Let Ω be the region insideΣ and outside D

Need an appropriate bound-ary condition on the artificialboundary Σ.

In the method of Hazard& Lenoir this is provided by an integralrepresentation of the solution.

Page 44: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Hazard and Lenoir overlapping formulation

The integral representation outside Γ is provided by anextension of the Stratton-Chu formula. Let

G(x , y) = Φ(x , y)I + k−2Hess(Φ)(x , y),

where I is the identity matrix. For x outside C

Es(x , y) =

∫Γ(G(x , y))Tνy × (∇× Es(y))

+(∇×G(x , y))T (νy × Es(y)) dA(y)

= : I(Es).

Using the fact I(E i) = 0, E = E i + I(E) in the neighborhood Σ

Page 45: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

An iterative scheme

We use the Ultra Weak Variational Formulation in thecomputational domain. Note:

Both fields are available on Γ.Solving the resulting coupled problem by a biConjugateGradient method (biCGStab) requires to evaluate I(E) andthis can be done using the multilevel fast multipole method.

This algorithm is described in a paper with Eric Darrigrand.

Page 46: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Unit Sphere: k = 3, λ = 2.1

The finite element grid ischosen approximately two ele-ments think, and each elementis approximately λ/10 in diame-ter. This does not exercise thehigh order capability of UWVF.

−1−0.5

00.5

1

−1

−0.5

0

0.5

1

−1

−0.5

0

0.5

1

x1

x2

x 3

0 30 60 90 120 150 180−2

0

2

4

6

8

10

12

14

Theta

Nor

mal

ized

RC

S

RCS Sphere EM with UWVF+IR+MLFMM ; k=3

Mie Series solutionUWVF+IR+MLFMM

0 30 60 90 120 150 180−4

−2

0

2

4

6

8

10

12

14

Theta

Nor

mal

ized

RC

S

RCS Sphere TM with UWVF+IR+MLFMM ; k=3

Mie Series solutionUWVF+IR+MLFMM

RCS: TE Mode TM Mode

Page 47: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Unit Sphere: k = 10, λ = 0.63

The mesh becomes finer butstill only two elements thick.

−1

−0.5

0

0.5

1

−1

−0.5

0

0.5

1

−1

−0.5

0

0.5

1

x1

x2

x 3

0 30 60 90 120 150 1800

5

10

15

20

25

Theta

Nor

mal

ized

RC

S

RCS Sphere EM with UWVF+IR+MLFMM ; k=10

Mie Series solutionUWVF+IR+MLFMM

0 30 60 90 120 150 180−10

−5

0

5

10

15

20

25

Theta

Nor

mal

ized

RC

S

RCS Sphere TM with UWVF+IR+MLFMM ; k=10

Mie Series solutionUWVF+IR+MLFMM

RCS: TE Mode TM Mode

Page 48: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Two Spheres: k = 4, λ = 1.6

When objects are close to-gether (in terms of wave-lengths), the space betweenmust be meshed.

−2

−1

0

1

2

−1.5−1

−0.50

0.51

1.5

−1.5

−1

−0.5

0

0.5

1

1.5

x1x

2

x 3

0 30 60 90 120 150 180 210 240 270 300 330 360−15

−10

−5

0

5

10

15

20

25

Theta

Nor

mal

ized

RC

S

RCS Two−Spheres EM with UWVF+IR+MLFMM ; k=4

UWVF+IR+MLFMM

0 30 60 90 120 150 180 210 240 270 300 330 360−20

−15

−10

−5

0

5

10

15

20

25

Theta

Nor

mal

ized

RC

S

RCS Two−Spheres TM with UWVF+IR+MLFMM ; k=4

UWVF+IR+MLFMM

RCS: TE Mode TM Mode

Page 49: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Four Spheres: k = 4, λ = 1.6

When objects are sufficiently farapart (in terms of wavelengths),the meshes can be disjoint.

−3−2

−10

12

3

−1

0

1

−3

−2

−1

0

1

2

3

x1x

2

x 3

0 30 60 90 120 150 180 210 240 270 300 330 360−30

−20

−10

0

10

20

30

Theta

Nor

mal

ized

RC

S

RCS Four−Spheres EM with UWVF+IR+MLFMM ; k=4

UWVF+IR+MLFMM

0 30 60 90 120 150 180 210 240 270 300 330 360−15

−10

−5

0

5

10

15

20

25

Theta

Nor

mal

ized

RC

S

RCS Four−Spheres TM with UWVF+IR+MLFMM ; k=4

UWVF+IR+MLFMM

RCS: TE Mode TM Mode

Page 50: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

Conclusions

Accuracy can be obtained if the complete family is wellmatched to the problemRobustness is an issue (particularly ill-conditioning)These techniques can help with the numerical linearalgebra aspects. But a better solver would be useful.Need to choose plane wave directions carefully.

Page 51: The solution of time harmonic wave equations using ... · Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion The Least Squares Method Use the

Introduction Least Squares Plane Waves Finite Elements Maxwell’s equations Conclusion

A partial bibliography of the UWVF

A. Buffa and P. Monk.Error estimates for the Ultra Weak Variational Formulation of the Helmholtz equation.ESAIM: Mathematical Modeling and Numerical Analysis, 42:925–40, 2008.

O. Cessenat and B. Després.Application of the ultra-weak variational formulation of elliptic PDEs to the 2-dimensional Helmholtz problem.SIAM J. Numer. Anal., 35:255–99, 1998.

C. Gittelson, R. Hiptmair, and I. Perugia.Plane wave discontinuous Galerkin methods.ESAIM: Mathematical Modeling and Numerical Analysis, 43:297–331, 2009.

R. Hiptmair, A. Moiola, and I. Perugia.Plane wave discontinuous Galerkin methods for the 2D Helmholtz equation: analysis of the p-version.http://www.sam.math.ethz.ch/reports/2009/20, 2009.

T. Huttunen, M. Malinen, and P.B. Monk.Solving Maxwell’s equations using the Ultra Weak Variational Formulation.J. Comput. Phys., 223:731–58, 2007.

T. Huttunen, E.T. Seppälä, O Kirkeby, A. Kärkkäinen, and L. Kärkkäinen.Simulation of the transfer function for a head-and-torso model over the entire audible frequency range.J. Comp. Acoustics, 2007.

P. Monk, J. Schöberl, and A. Sinwel.Hybridizing Raviart-Thomas elements for the Helmholtz equation.Electromagnetics, 30:149–176, 2010.