the solution of time harmonic wave equations using ... · introduction least squares plane waves...
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/1.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/2.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/3.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/4.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/5.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/6.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/7.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/8.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/9.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/10.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/11.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/12.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/13.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/14.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/15.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/16.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/17.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/18.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/19.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/20.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/21.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/22.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/23.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/24.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/25.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/26.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/27.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/28.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/29.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/30.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/31.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/32.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/33.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/34.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/35.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/36.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/37.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/38.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/39.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/40.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/41.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/42.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/43.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/44.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/45.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/46.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/47.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/48.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/49.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/50.jpg)
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](https://reader033.vdocuments.us/reader033/viewer/2022052021/6035112895278315b62cec75/html5/thumbnails/51.jpg)
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.