scispace - formally typeset
Open AccessJournal ArticleDOI

Shape optimization of a breakwater

Reads0
Chats0
TLDR
In this paper, the shape of a breakwater is optimized to protect a harbor basin from incoming ocean waves by minimizing the average wave height in the harbor basin with shape of the breakwater as optimization variable.
Abstract
In this paper, we optimize the shape of a breakwater which protects a harbour basin from incoming waves. More specifically, our objective is reducing the harbour resonance due to long-range ocean waves. We consider the complex-valued Helmholtz equation as our model state equation and minimize the average wave height in the harbour basin with the shape of the breakwater as optimization variable. The geometry is described by the level set method, i.e. the domain is given as the subzero level set of a function. In contrast to many publications we use the volume expression of the shape derivative, which lends itself naturally to a level set update via a transport equation. The model problem features intrinsic geometric constraints which we treat in the form of forbidden regions. We guarantee feasibility of the iterates by projecting the gradient onto a suitable admissible set.

read more

Content maybe subject to copyright    Report

Shape optimization of a breakwater
Moritz Keuthen
a,
, Daniel Kraft
b
a
Chair of Mathematical Optimization, Department of Mathematics, Technische Universit¨at M¨unchen, Boltzmannstr. 3, 85748 Garching b.
M¨unchen, Germany
b
Institute of Mathematics, University of Graz, NAWI Graz, Universit¨atsplatz 3, 8010 Graz, Austria
Abstract
In this paper we optimize the shape of a breakwater which protects a harbor basin from incoming waves. More specif-
ically, our objective is reducing the harbor resonance due to long range ocean waves. We will consider the complex
valued Helmholtz equation as our model state equation and minimize the average wave height in the harbor basin
with the shape of the breakwater as optimization variable. The geometry will be described by the level set method,
i.e. the domain is given as the sub-zero level set of a function. In contrast to many publications we use the volume
expression of the shape derivative, which lends itself naturally to a level set update via a transport equation. The vol-
ume expression requires less regular finite element functions than the Hadamard form. The model problem naturally
allows to treat geometric constraints in the form of forbidden regions and we will compare dierent possibilities to
handle them.
Keywords: Shape Optimization, Level Set Method, Helmholtz Equation, Harbor Resonance, Geometric Constraints
1. Introduction
Since the introduction of the level set method to shape optimization at the turn of the century it has developed
into one of the most powerful techniques in this area. Some early works are [1, 2, 3, 4, 5]. Many publications deal
with structural optimization, usually the Ersatz material approach in the hold-all domain D is used to compute the
mechanical properties of the structure and the domain is never explicitly resolved. But there are also approaches
where the domain is exactly meshed, consult for instance [6, 7, 8, 9, 10, 11, 12]. The literature is extensive, we refer
to the review paper [13] for an overview of level set based methods in structural topology and shape optimization.
The survey [14] presents the level set method in combination with inverse problems and optimal design. For a more
comprehensive exposition of the broad field of shape optimization we mention the monographs [15, 16, 17, 18, 19,
20, 21, 22, 23].
In this paper our objective is to reduce the resonance of a harbor due to long range ocean waves. In practice many
publications (e.g. [24, 25, 26, 27, 28]) employ the mild slope equation to model wave eects in coastal areas. It was
first derived by Berkho [29] and can be written as
· CC
g
ϕ + k
2
CC
g
ϕ = 0, (1)
where ϕ is the horizontal variation in velocity potential, k is the wave number, ω is the wave frequency, C = ω/k
is the wave celerity, C
g
=
C
2
1 +
2kh
sinh 2kh
is the group velocity and h is the water depth. Usually it is enriched with
additional eects such as partial absorption boundaries, bottom friction, entrance loss, etc. In this note we will assume
as simplification that the water depth is constant throughout which leads to the well-known Helmholtz equation
ϕ + k
2
ϕ = 0. (2)
Corresponding author
Email addresses: keuthen@ma.tum.de (Moritz Keuthen), daniel.kraft@uni-graz.at (Daniel Kraft)
Preprint submitted to Elsevier November 7, 2014

Note that the potential ϕ in this case is complex valued. To the best of our knowledge such a shape optimization
problem was only briefly considered in the thesis [30]. The author used the real-valued Helmholtz equation as state
equation, an explicit discrete geometry description via the finite element mesh and computed the shape derivative by
dierentiating with respect to nodal coordinates.
We will consider the complex valued Helmholtz equation as our model state equation and want to minimize the
average wave height in the harbor basin with the shape of the breakwater as optimization variable. The geometry
will be described by the level set method [31, 32, 33, 34], i.e. the domain is given as the sub-zero level set of a
function Φ : D R, where D R
2
is the hold-all domain. In the numerical realization the level set function is
given on a regular grid and we approximate with one or more polygonal curves. In each iteration we construct
a triangulation of D which resolves the interface and use it to compute the state, adjoint state and gradient of the
cost functional. The model state equation is given on an exterior domain. Since we want to use finite elements we
follow the presentation in [35] and reformulate the problem on a bounded domain. In contrast to many publications
we use the volume expression of the shape derivative, which lends itself naturally to a level set update via a transport
equation. It requires less regular finite element functions and in our experience the volume expression is numerically
more stable than the Hadamard form. This assessment is shared in the recent papers [36, 37]. In [37] the volume
expression of the shape derivative and the level set method are also used.
The model problem naturally involves geometric constraints in the form of forbidden regions. We strictly enforce
those constraints by projecting the gradient onto a suitable admissible set. From a theoretic point of view the scalar
product used for the projection should be at least as smooth as the scalar product used to determine the gradient. In
the numerical experiments we will study dierent choices of gradient and projection and see that sometimes a less
regular projection leads to better results.
In the following we will use the shorthand notation X for the product space X
d
.
2. Description of the physical model
We study the situation depicted in Figure 1. We have an isle bounded by the contour Γ
L
, some breakwaters given
by Γ
B
and a surrounding ocean denoted by
+
. We want to compute the scattered wave u induced by an incoming
planar monochromatic wave z(x) = e
ikd
T
x
with incident direction d R
2
and wave number k > 0. The total surface
perturbation is given by y = u + z. Our mathematical model is given by
y + k
2
y = 0 in
+
ay +
y
n
= 0 on Γ
I
:= Γ
B
Γ
L
.
(3)
Here a : D C describes the absorption coecient at the boundary. The boundaries Γ
L
, Γ
B
are assumed to be
Lipschitz. Let us discuss appropriate boundary conditions. It is a standard assumption that the scattered wave satisfies
the Sommerfeld radiation condition
iku
u
R
= o(R
1
2
), for R .
If we want to study this problem in weak form on the unbounded domain
+
we need to introduce dierent
weighted Sobolev spaces for the test and ansatz functions and include the Sommerfeld radiation condition in the
ansatz space. See [38, chapter 4] and [35, section 2.3] for more details. This approach however leads to various
diculties in the numerical realization.
An alternative is to decompose the domain
+
disjointly into a bounded domain and an unbounded domain
a
by introducing an artificial smooth boundary Γ
a
, such that
+
= Γ
a
a
. The problem (3) is then equivalent to
the following coupled problem (c.f. [39])
y
+ k
2
y
= 0 in
ay
+
y
n
= 0 on Γ
I
y
= y
+
on Γ
a
y
n
=
y
+
n
on Γ
a
y
+
+ k
2
y
+
= 0 in
a
iku
+
u
+
R
= o(R
1
2
), for R .
(4)
2

Figure 1: The domain
For a given u
on Γ
a
one can solve the unbounded Dirichlet problem (recall u = y z)
u
+
+ k
2
u
+
= 0 in
a
u
+
= u
on Γ
a
iku
+
u
+
R
= o(R
1
2
), for R ,
compare [38]. If we have the solution u
+
we can easily compute
u
+
n
=
u
n
on Γ
a
. We denote the mapping u
7→
u
n
by G
e
and observe that G
e
L(H
1
2
(Γ
a
), H
1
2
(Γ
a
)). This operator is called the Dirichlet-to-Neumann (DtN) operator.
There exists an integral and a series representation of the non-local operator G
e
, the integral variant is also called the
Steklov-Poincar
´
e operator. The Neumann condition
y
n
=
y
+
n
on Γ
a
can be reformulated by
y
n
=
u
n
+
z
n
= G
e
u
+
z
n
= G
e
y
G
e
z +
z
n
.
Now we replace G
e
by some yet unspecified G L(H
1
2
(Γ
a
), H
1
2
(Γ
a
)), which might be some approximation of the
exact solution operator G
e
. Hence we arrive at the bounded problem
y + k
2
y = 0 in
ay +
y
n
= 0 on Γ
I
y
n
= Gy Gz +
z
n
on Γ
a
,
(5)
which is equivalent to (3) for the choice G = G
e
.
Let us fix some conventions and notation at this point. We define the usual bilinear L
2
-scalar product for real-
valued functions on some set A R
d
as (·, ·)
L
2
(A)
and the corresponding sesquilinear form as ( f, g)
L
2
C
(A)
:= ( f, g)
L
2
(A)
for some complex valued functions f, g. Furthermore we introduce the real-valued scalar product
( f, g)
L
2
R
(A)
:= Re( f, g)
L
2
C
(A)
.
The norm k·k
L
2
R
(A)
induced by this scalar product coincides with the norm induced by the sesquilinear form. Hence the
elements of the space
L
2
R
(A) := {f : A 7→ C | kf k
L
2
R
(A)
< ∞}
coincide with the elements of {f : A 7→ C | kf k
L
2
C
(A)
< ∞}, but since we use the (·, ·)
L
2
R
(A)
scalar product we have a
dierent Hilbert space structure. Other Hilbert spaces will be treated analogously (e.g. H
1
R
(A)).
Let us get back to the model problem. We make the following simplifying assumption:
Assumption 1. We choose G as the 0th-order approximation of G
e
hGy, ϕi
H
1
2
R
(Γ
a
),H
1
2
R
(Γ
a
)
= (iky, ϕ)
L
2
R
(Γ
a
)
,
(c.f. [35, section 3.]). Furthermore the absorption coecient is set to a 0 (i.e. perfect reflection).
3

Remark 1. The choice of G is a rather crude simplification, but in this paper our focus is more on methodology
and not so much on realistic modeling. The low-order approximation of G
e
introduces artificial reflections at Γ
a
, but
since this makes the shape optimization problem presumably harder we accept that for the moment. For more evolved
methods of treating the artificial boundary Γ
a
and the operator G
e
we refer to [35, chapter 3].
Setting the absorption coecient to zero implies that there is no damping eect by absorption of energy at the
reflecting boundary. We note again that this presumably makes the optimization problem harder since small design
changes might have large non-local eects because of wave interference. Furthermore, while breakwaters are ecient
in reducing the wave amplitude for waves with short wave periods (like wind waves), this does not hold for long
wave periods. Harbor oscillations and resonance due to long waves has been widely studied in coastal engineering
literature, see for example [40] and the references therein.
The weak formulation of (5), with G, a chosen to satisfy Assumption 1, reads
(
Find y H
1
R
() :
b(y, ϕ) = f (ϕ), ϕ H
1
R
(),
(6)
where we define
b(y, ϕ) := (y, ϕ)
L
2
R
()
k
2
(y, ϕ)
L
2
R
()
(iky, ϕ)
L
2
R
(Γ
a
)
,
f (ϕ) := (
z
n
ikz, ϕ)
L
2
R
(Γ
a
)
.
(7)
Results concerning the existence of a unique solution of (6) and its regularity are well-known:
Theorem 1. Let be a Lipschitz domain. Then there exists a unique solution y H
1
R
() of (6) for any right-hand
side f H
1
R
()
and we have kyk
H
1
R
()
ckf k
H
1
R
()
for some c > 0.
Proof. We have the Gelfand-triple H
1
R
() L
2
R
() H
1
R
()
. Further b(·, ·) is H
1
R
()-coercive. Hence the
Fredholm alternative holds: Either there exists a unique solution of (6) for any f H
1
R
() or there exists a nontrivial
solution y
0
, 0 of the homogenous problem
b(y, ϕ) = 0, ϕ H
1
R
().
For our choice of G the solution of the homogenous problem is unique [35, Theorem 3.2].
Theorem 2. Let be a C
2
-domain. The solution y H
1
R
() of (6) has the additional regularity y H
2
R
().
Proof. Follows from standard regularity results for elliptic equations c.f. [41, Theorem 9.1.20].
3. Shape optimization problem
As announced in the introduction our objective is to minimize the average wave height in the harbor basin Q
(compare Figure 1). Given a solution y of (6) we define the cost functional as
J(, y) =
1
2
kyk
2
L
2
R
(Q)
.
Obviously enclosing the whole harbor basin by a breakwater is not a feasible solution, so we have to introduce an
harbor approach A and demand that Q A is always part of the ocean. Furthermore we do not want to remove parts
of the island (the inhabitants might complain). Hence we define the admissible set of domains to be
O
ad
:= { D | (Q A) , L = ∅},
where O
ad
represents the ocean. Of course one could impose additional constraints, e.g. a volume constraint on
the set of admissible domains. We can now formulate the abstract shape optimization problem
minimize J(, y) such that O
ad
, and y solves (6) on .
In this paper we will not concern ourselves with the question of existence of a solution of the shape optimization
problem. For a detailed discussion of techniques and conditions which guarantee the existence and uniqueness of
solutions to shape optimization problems, we refer to [18, 19]. In order to find a solution (if it exists) we develop
a framework for a gradient descent method. For this we follow the usual optimal control approach of introducing a
design-to-state mapping 7→ y() and computing the derivative of the reduced objective j() := J(, y()). In the
next section we outline the theory of computing shape derivatives and apply it to our problem setting.
4

4. Shape sensitivity analysis
Following the presentation in [42, 18] we introduce a bounded hold-all domain D R
d
, D , , which contains
all relevant geometrical objects, and study vector fields V : D R
d
, satisfying the conditions
V is globally Lipschitz continuous in D, and supp(V) D. (8)
Note that in [42, 18] a more general setting is considered, but this suces for our purposes. If the velocity field V
satisfies condition (8) we associate it with the so called flow map T
t
(V): d/dt
(
T
t
(V)(x)
)
= V(x). It transforms a set
D into a new domain
t
(V) := T
t
(V)() = {T
t
(V)(x) | x },
which is also contained in D. If it is clear which velocity field drives the transformation we will drop it to shorten
notation. Furthermore we introduce the spaces of ktimes dierentiable functions with compact support in D, i.e.
D
k
(D) := {θ C
k
(D) | supp θ ⊂⊂ D}.
The result [18, Theorem 4.5.1] shows that the transformation T
t
is bi-Lipschitz for some τ > 0 and t [0, τ] if V
satisfies (8). If V D
k
(D) then T
t
is a C
k
-dieomorphism.
Let us recall the classical notions of the Eulerian semiderivative and shape dierentiability:
Definition 1. [42, Definition 3.1, Definition 3.2] Let A P(D) be an appropriate set of shape variables contained in
the hold-all domain D R
d
.
1. The Eulerian semiderivative of j : A R at A in a direction V satisfying (8) is given by
d j(; V) := lim
t&0
j(
t
(V)) j()
t
,
if the limit exists and is finite.
2. The shape functional j : A R is said to be shape dierentiable at A, if the Eulerian semiderivative
exists for all V D
(D) and the map
d j(; ·) : D
(D) R, V 7→ d j(; V),
is linear and continuous.
Remark 2. 1. The Hadamard-Zolesio structure theorem (c.f. [42, Theorem 3.2]) shows that the support of the
vector distribution d j(; ·) D
(D)
is contained in D.
2. The proofs of most formulas for the computation of shape derivatives rely on the representation of the shape
functional j in terms of the transformation T
t
(V). If j depends on the integral over a d-dimensional subset of
t
and a shape depended state y the directional derivative has a natural representation as a volume integral. If the
boundary is smooth enough this can be related via Gauß’ divergence theorem to a boundary representation
in accordance with the structure predicted by the Hadamard-Zolesio theorem.
3. If the boundary of ⊂⊂ D is compact then d j(; ·) is continuous for the D
k
(D)-topology for some k 0
and d j(; ·) H
s
(D) for some s 0 (c.f. [18, Remark 9.3.1]).
4. The derivative d j(; ·) D
(D)
is often called the shape gradient. We think that the terms derivative and
gradient should be clearly separated. Whereas the derivative is an element of the dual space of some vector
space, in our terminology the gradient is the Riesz representative of the derivative with respect to some scalar
product. So if d j(; ·) H
for some Hilbert space H the gradient j() with respect to the H-scalar-product
is given by
(j(), V)
H
= d j(; V), V H.
5

Citations
More filters
Journal Article

High-order essentially non-oscillatory schemes for Hamilton-Jacobi equations

TL;DR: In this article, central weighted essentially nonoscillatory (CWENO) schemes for Hamilton-Jacobi equations are investigated, which yield uniform high-order accuracy in smooth regions and sharply resolve discontinuities in the derivatives.
Journal ArticleDOI

Initial Boundary Value Problems in Mathematical Physics

D H Griffel
- 01 Oct 1986 - 
TL;DR: Leis as mentioned in this paper gave an account of some recent developments in the theory of partial differential equations for readers thoroughly familiar with functional analysis, dealing with various types of problem for the wave equation, Maxwell's equations, Schrodinger's equation, the plate equation etc.
Book

Surface evolution equations : a level set approach

美一 儀我
TL;DR: In this paper, a set-theoretic approach is proposed for surface evolution equations. But it is not suitable for set-based set-to-set models and does not consider the comparison principle.
Journal ArticleDOI

Impact of Geomorphological Changes to Harbor Resonance During Meteotsunamis: The Vela Luka Bay Test Case

TL;DR: In this article, the impact of geomorphological changes of Vela Luka Bay, such as deepening of the bay, dredging the harbor, adding a pier or a marina, to the amplification of the meteotsunami waves are presented for a set of 6401 idealized pressure wave field forcing used to derive robust statistics.
Journal ArticleDOI

Self-consistent gradient flow for shape optimization

TL;DR: This work proposes a new method that can be interpreted as a self-consistent gradient flow and does not need any derivatives of the image data, which works very well in practice and leads to a far more efficient optimization algorithm.
References
More filters
Journal ArticleDOI

Fronts propagating with curvature-dependent speed: algorithms based on Hamilton-Jacobi formulations

TL;DR: The PSC algorithm as mentioned in this paper approximates the Hamilton-Jacobi equations with parabolic right-hand-sides by using techniques from the hyperbolic conservation laws, which can be used also for more general surface motion problems.
Book

Level Set Methods and Dynamic Implicit Surfaces

TL;DR: A student or researcher working in mathematics, computer graphics, science, or engineering interested in any dynamic moving front, which might change its topology or develop singularities, will find this book interesting and useful.
Journal ArticleDOI

User’s guide to viscosity solutions of second order partial differential equations

TL;DR: The notion of viscosity solutions of scalar fully nonlinear partial differential equations of second order provides a framework in which startling comparison and uniqueness theorems, existence theorem, and continuous dependence may now be proved by very efficient and striking arguments as discussed by the authors.
Journal ArticleDOI

A fast marching level set method for monotonically advancing fronts

TL;DR: A fast marching level set method is presented for monotonically advancing fronts, which leads to an extremely fast scheme for solving the Eikonal equation.
Related Papers (5)
Frequently Asked Questions (10)
Q1. What have the authors contributed in "Shape optimization of a breakwater" ?

In this paper the authors optimize the shape of a breakwater which protects a harbor basin from incoming waves. The authors will consider the complex valued Helmholtz equation as their model state equation and minimize the average wave height in the harbor basin with the shape of the breakwater as optimization variable. 

Their mesh construction ensures that each point of the original regular grid is also a vertex of the triangle mesh, so that the authors can extract V on each grid point to solve (14). 

while breakwaters are efficient in reducing the wave amplitude for waves with short wave periods (like wind waves), this does not hold for long wave periods. 

In order to be able to compare the results, the L2 norm of the projected gradient is used as performance criterion in all examples. 

For the first experiment the regular grid consists of 501 × 501 points and the incident wave direction is d = ( √ 1/2, − √1/2)T . 

Using simple matrix manipulations the authors can rewrite this expression such that the discretized version of the directional derivative d jh(0) can be evaluated by a simple vector multiplication d jh(0)T V .Once the authors have computed the projected gradient, the authors need to update their geometry. 

The low-order approximation of Ge introduces artificial reflections at Γa, but since this makes the shape optimization problem presumably harder the authors accept that for the moment. 

It is a standard assumption that the scattered wave satisfies the Sommerfeld radiation conditioniku − ∂u ∂R = o(R− 1 2 ), for R→ ∞. 

But the convergence plot, c.f. Figure 6, shows that the descent is very slow, after the first iterations only very small step sizes are chosen. 

The proofs of most formulas for the computation of shape derivatives rely on the representation of the shape functional j in terms of the transformation Tt(V). 

Trending Questions (1)
How does shape affect breakwater?

The paper does not provide information on how the shape of the breakwater affects its performance.