Introduction to the Boundary Element Method

Similar documents
The Factorization Method for Inverse Scattering Problems Part I

A coupled BEM and FEM for the interior transmission problem

ON THE MATHEMATICAL BASIS OF THE LINEAR SAMPLING METHOD

Integral Representation Formula, Boundary Integral Operators and Calderón projection

The Helmholtz Equation

On the Spectrum of Volume Integral Operators in Acoustic Scattering

Technische Universität Graz

ELECTROMAGNETIC SCATTERING FROM PERTURBED SURFACES. Katharine Ott Advisor: Irina Mitrea Department of Mathematics University of Virginia

A new method for the solution of scattering problems

Volume and surface integral equations for electromagnetic scattering by a dielectric body

From the Boundary Element DDM to local Trefftz Finite Element Methods on Polyhedral Meshes

LECTURE 5 APPLICATIONS OF BDIE METHOD: ACOUSTIC SCATTERING BY INHOMOGENEOUS ANISOTROPIC OBSTACLES DAVID NATROSHVILI

The Factorization Method for a Class of Inverse Elliptic Problems

SOLUTION OF THE DIRICHLET PROBLEM WITH L p BOUNDARY CONDITION. Dagmar Medková

From the Boundary Element Domain Decomposition Methods to Local Trefftz Finite Element Methods on Polyhedral Meshes

Double Layer Potentials on Polygons and Pseudodifferential Operators on Lie Groupoids

arxiv: v3 [math.ap] 4 Jan 2017

Syllabus for Applied Mathematics Graduate Student Qualifying Exams, Dartmouth Mathematics Department

ON THE COUPLING OF BEM AND FEM FOR EXTERIOR PROBLEMS FOR THE HELMHOLTZ EQUATION

Laplace s Equation. Chapter Mean Value Formulas

An eigenvalue method using multiple frequency data for inverse scattering problems

Fast iterative BEM for high-frequency scattering

Boundary problems for fractional Laplacians

Chapter 5 Fast Multipole Methods

Matrix construction: Singular integral contributions

u xx + u yy = 0. (5.1)

Kirchhoff, Fresnel, Fraunhofer, Born approximation and more

When is the error in the h BEM for solving the Helmholtz equation bounded independently of k?

Improved near-wall accuracy for solutions of the Helmholtz equation using the boundary element method

Technische Universität Graz

Nontangential limits and Fatou-type theorems on post-critically finite self-similar sets

Math The Laplacian. 1 Green s Identities, Fundamental Solution

Chapter 1 Mathematical Foundations

ICES REPORT Analysis of the Hessian for Inverse Scattering Problems. Part II: Inverse Medium Scattering of Acoustic Waves

Discreteness of Transmission Eigenvalues via Upper Triangular Compact Operators

A Direct Method for reconstructing inclusions from Electrostatic Data

Boundary Integral Equations on the Sphere with Radial Basis Functions: Error Analysis

arxiv: v5 [math.na] 1 Oct 2018

Proceedings of the 5th International Conference on Inverse Problems in Engineering: Theory and Practice, Cambridge, UK, 11-15th July 2005


Technische Universität Graz

Mathematical Foundations for the Boundary- Field Equation Methods in Acoustic and Electromagnetic Scattering

THE INTERIOR TRANSMISSION PROBLEM FOR REGIONS WITH CAVITIES

FEM Convergence for PDEs with Point Sources in 2-D and 3-D

Scattering of electromagnetic waves by thin high contrast dielectrics II: asymptotics of the electric field and a method for inversion.

Wave number explicit bounds in timeharmonic

Inverse Scattering Theory: Transmission Eigenvalues and Non-destructive Testing

Harmonic Functions and Brownian motion

A modification of the factorization method for scatterers with different physical properties

A Space-Time Boundary Element Method for the Wave Equation

INSTITUTE OF MATHEMATICS THE CZECH ACADEMY OF SCIENCES. L q -solution of the Neumann, Robin and transmission problem for the scalar Oseen equation

Finite and Boundary Element Methods in Acoustics

Preconditioned space-time boundary element methods for the heat equation

Domain Decomposition Method for Electromagnetic Scattering Problems: Application to EUV Lithography

Fast methods for integral equations

ELLIPTIC PARTIAL DIFFERENTIAL EQUATIONS EXERCISES I (HARMONIC FUNCTIONS)

Fundamental Solutions and Green s functions. Simulation Methods in Acoustics

CONVERGENCE OF EXTERIOR SOLUTIONS TO RADIAL CAUCHY SOLUTIONS FOR 2 t U c 2 U = 0

A MHD problem on unbounded domains - Coupling of FEM and BEM

AMS 529: Finite Element Methods: Fundamentals, Applications, and New Trends

and finally, any second order divergence form elliptic operator

Uniqueness in determining refractive indices by formally determined far-field data

Coercivity of high-frequency scattering problems

Transformation of corner singularities in presence of small or large parameters

The purpose of this lecture is to present a few applications of conformal mappings in problems which arise in physics and engineering.

A Remark on the Regularity of Solutions of Maxwell s Equations on Lipschitz Domains

Chapter 7: Bounded Operators in Hilbert Spaces

ON THE EXISTENCE OF TRANSMISSION EIGENVALUES. Andreas Kirsch1

Boundary Integral Equations on the Sphere with Radial Basis Functions: Error Analysis

Some Old and Some New Results in Inverse Obstacle Scattering

NONLOCAL DIFFUSION EQUATIONS

Partial Differential Equations

1. Introduction. In this paper a boundary integral equation formulation for the

Numerical Approximation Methods for Elliptic Boundary Value Problems

Orthogonality Sampling for Object Visualization

Electrostatic Imaging via Conformal Mapping. R. Kress. joint work with I. Akduman, Istanbul and H. Haddar, Paris

First steps in the boundary element method. Francisco-Javier Sayas University of Delaware

Transmission Eigenvalues in Inverse Scattering Theory

IDENTIFICATION OF SMALL INHOMOGENEITIES: ASYMPTOTIC FACTORIZATION

Invertibility of the biharmonic single layer potential operator

Numerical Analysis of Electromagnetic Fields

Boundary element methods

Uniqueness in an inverse acoustic obstacle scattering problem for both sound-hard and sound-soft polyhedral scatterers

Module 7: The Laplace Equation

Notes on Partial Differential Equations. John K. Hunter. Department of Mathematics, University of California at Davis

The Dirichlet problem for non-divergence parabolic equations with discontinuous in time coefficients in a wedge

Definition and basic properties of heat kernels I, An introduction

Divergence Boundary Conditions for Vector Helmholtz Equations with Divergence Constraints

Polynomial Approximation: The Fourier System

ICES REPORT Analysis of the Hessian for Inverse Scattering Problems. Part I: Inverse Shape Scattering of Acoustic Waves

Pointwise bounds on the gradient and the spectrum of the Neumann-Poincaré operator: The case of 2 discs

Perron method for the Dirichlet problem.

REMARKS ON THE VANISHING OBSTACLE LIMIT FOR A 3D VISCOUS INCOMPRESSIBLE FLUID

THE L 2 -HODGE THEORY AND REPRESENTATION ON R n

Acoustic scattering : high frequency boundary element methods and unified transform methods

Lecture 8: Boundary Integral Equations

Méthodes d énergie pour le potentiel de double couche: Une inégalité de Poincaré oubliée.

Homogenization of the Transmission Eigenvalue Problem for a Periodic Media

Trefftz-DG solution to the Helmholtz equation involving integral equations

Shape design problem of waveguide by controlling resonance

Transcription:

Introduction to the Boundary Element Method Salim Meddahi University of Oviedo, Spain University of Trento, Trento April 27 - May 15, 2015 1

Syllabus The Laplace problem Potential theory: the classical approach Potential theory: the Sobolev setting Direct/indirect boundary integral formulations for the Laplace problem Boundary element method for the Laplacian The Poisson problem: The symmetric FEM-BEM formulation The Johnson-Nédélec FEM-BEM formulation Helmholtz equation Helmholtz equation with damping Helmholtz equation without damping Direct/indirect boundary integral formulations for the Helmholtz problem Boundary element method for Helmholtz problem A computational example in 2d 2

Main references Colton, D. and Kress, R., Inverse Acoustic and Electromagnetic Scattering Theory. Second edition, Springer-Verlag, Berlin, 1998. Kress, R., Linear Integral Equations. Springer-Verlag, Berlin, 1989. McLean, W., Strongly Elliptic Systems and Boundary Integral Equations. Cambridge University Press, 2000. Nédélec, J.-C. Acoustic and electromagnetic equations. Integral representations for harmonic problems. Applied Mathematical Sciences, 144. Springer-Verlag, New York, 2001 Sauter, S.A. and Schwab, C., Boundary Element Methods. Springer Series in Computational Mathematics, 39. Springer-Verlag, Berlin, 2011. Steinbach, O. Numerical approximation methods for elliptic boundary value problems. Finite and boundary elements. Springer, New York, 2008. 3

Prerequisites Distributions, convolution and Fourier transform Sobolev spaces Interpolation error estimates in Sobolev spaces Fredholm alternative 4

Potential theory The classical approach 5

Notations and conventions Ω R d (d = 2, 3) is bounded open set Ω is connected and has a connected complement Ω e = R d \ Ω := Ω is of class C n is the unit normal vector on pointing towards Ω e Given u : R d R, we introduce u i := u Ω and u e := u Ω e If u i C 0 ( Ω) and u e C 0 ( Ω e ) then, for any x γu(x) = lim Ω y x ui (y), γ e u(x) = lim Ω e y x ue (y) γu (x) := γu(x) γ e u(x) {γu} := γe u(x) + γu(x) 2 If u i C 1 ( Ω) and u e C 1 ( Ω e ) then, for any x nu = γ( u) n, nu (x) := nu(x) e nu(x) e nu = γ e ( u) n { nu} := e nu(x) + nu(x) 2 6

Motivation We aim to solve The exterior Dirichlet problem u = 0 in Ω e γ e u = φ on u(x) 0 when x The exterior Neumann problem u = 0 in Ω e e nu = λ on u(x) 0 when x 7

Integral representation in Ω The function F : R d \ {0} R defined by 1 1 4π x F (x) := 1 2π log 1 x if d = 3 if d = 2 is a fundamental solution of the Laplacian in d-dimensions, i.e., Theorem 1. R d F (x) ϕ(x) dx = ϕ(0) ϕ D(R d ). If u C 2 ( Ω) and u = 0 in Ω then u(x) = E(x, y) nu(y)ds y ny E(x, y)u(y)ds y, x Ω where E(x, y) := F (x y) 8

Integral representation in Ω e Corollary 2 (Mean value theorem). If u C 2 ( B r(x)) is harmonic in B r(x) := {y R d ; 1 u(x) = u(y)dy = B r(x) B r(x) 1 B r(x) x y < r} then, u(y)ds y B r(x) Theorem 3. If u C 2 ( Ω e ), u = 0 in Ω e and lim r max ˆx =1 u(rˆx) = 0 then u(x) = E(x, y) nu(y)ds e y + n e y E(x, y)u(y)ds y, In addition, in the case d = 2, e nu ds = 0. x Ω e As a consequence: u(x) = O(1/ x ) and u(x) = O(1/ x d 1 ) when x 9

Notice that and A transmission problem { u(x) x Ω E(x, y) nu(y)ds y ny E(x, y)γu(y)ds y = 0 x Ω e { E(x, y) nu(y)ds e y + ny E(x, y)γ e 0 x Ω u(y)ds y = u(x) x Ω e Hence, adding the two identities we get u(x) = E(x, y) nu (y)ds y ny E(x, y) γu (y)ds y x Ω Ω e We conclude that, given φ, λ C 0 (), the solution of the transmission problem u = 0 in Ω Ω e γu = φ on nu = λ on is given by u(x) = lim max u(rˆx) = 0 r ˆx =1 E(x, y)λ(y)ds y ny E(x, y)φ(y)ds y 10

The single and double layer potentials Given φ C 0 () we introduce the single layer potential Sφ(x) := E(x, y)φ(y) ds y and the double layer potential Dφ(x) := ny E(x, y)φ(y) ds y x Ω Ω e x Ω Ω e Since E C (R d \ {x}) and ye = 0 in R d \ {x}, Sφ, Dφ belong to C (Ω Ω e ) and (Sφ) = (Dφ) = 0 in Ω Ω e Moreover, (Sφ)(x) = 1 ( φ) log(1/ x ) + O(1/ x ) 2π (d = 2) as x (Dφ)(x) = O(1/ x ) (Sφ)(x) = O(1/ x ) (d = 3) as x (Dφ)(x) = O(1/ x 2 ) 11

Boundary integral operators The operators C 0 () φ V φ(x) = E(x, y)φ(y)ds y, x C 0 () φ Kφ(x) = ny E(x, y)φ(y)ds y, x and C 0 () φ K t φ(x) = nx E(x, y)φ(y)ds y, x exist as improper integrals. Theorem 4 (Jump properties). It holds that, for any φ C 0 (), γsφ = 0 nsφ = φ γdφ = φ ndφ = 0 12

It can be shown that γdφ = nsφ = Boundary integral operators ( 12 ) ( ) I + K φ γ e 1 Dφ = 2 I + K φ ( ) 1 2 I + Kt φ nsφ e = ( 12 ) I + Kt φ Moreover, Kφ, ψ = φ, K t ψ φ, ψ C 1 () The remaining boundary integral equation W φ = ndφ = ndφ e has formally the hyper-singular kernel nx ny E(x, y) = 1 ( ) n(x) n(y) n(x) (x y)n(y) (x y) d ω d x y d x y d+2 W should be interpreted as a distribution represented by the Hadamard finite-part corresponding to this kernel 13

Positiveness of V and W Theorem 5. Suppose that φ, ψ C 0 (). If d = 3 then V φ, ψ := Sφ Sψ Ω Ω e and V φ, φ = 0 implies φ = 0. When d = 2, we have the same result provided φ = 0. Theorem 6. If d = 3, for every φ, ψ C 0 (), W ψ, φ = Dψ Dφ Ω Ω e and W φ, φ = 0 implies φ = constant. Moreover, if φ, ψ C 1 (), W ψ, φ = curl φ, V curl ψ 14

Reduction of an interior/exterior Laplace problem to a boundary integral equation 15

The interior Dirichlet problem u = 0 in Ω u = g on The indirect method u = Sλ in Ω where λ : R (with λ = 0 if d = 2) solves V λ = g on The direct method u = S nu Dγu in Ω and then we have to solve for λ := nu : R the boundary integral equation ( ) 1 V λ = 2 I + K g 16

The interior Neumann problem u = 0 in Ω nu = g on g = 0 The indirect method u = Dφ where φ : R, φ = 0 solves W φ = g in Ω on The direct method u = S nu Dγu in Ω and then we have to solve for φ := γu : R the boundary integral equation ( ) 1 W φ = 2 I Kt g Notice that K1 = 1/2. 17

The exterior Dirichlet problem u = 0 in Ω e u = g on, u(x) 0 as x The indirect method u = Sλ in Ω e where λ : R (with λ = 0 if d = 0) solves V λ = g on The direct method u = S e nu + Dγ e u in Ω e and then we have to solve for λ := nu e : R the boundary integral equation ( ) 1 V λ = 2 I K g 18

The exterior Neumann problem u = 0 in Ω e e nu = g on, u(x) 0 as x The indirect method u = Dφ where φ : R, φ = 0 solves W φ = g in Ω e on The direct method u = S nu + Dγu in Ω e and then we have to solve for φ := γu : R the boundary integral equation ( ) 1 W φ = 2 I + Kt g 19