Beruflich Dokumente
Kultur Dokumente
by
Chanseok Jeong
2011
The Dissertation Committee for Chanseok Jeong
certifies that this is the approved version of the following dissertation:
Committee:
Omar Ghattas
Larry W. Lake
Lance Manuel
Kenneth H. Stokoe II
On an inverse-source problem for
elastic wave-based enhanced oil recovery
by
DISSERTATION
Presented to the Faculty of the Graduate School of
The University of Texas at Austin
in Partial Fulfillment
of the Requirements
for the Degree of
DOCTOR OF PHILOSOPHY
v
that I provided with him, as well as Dr. Jinho Lee for his great advice in
regard to the verification of the forward numerical solution of Biot’s wave
equations. In addition, I have truly enjoyed sharing knowledge and scien-
tific interests with my graduate school friends, especially, Arash Fathi, Pranav
Karve, Babak Poursartip, and Jinkyu Park.
vi
On an inverse-source problem for
elastic wave-based enhanced oil recovery
Publication No.
Despite bold steps taken worldwide for the replacement or the reduc-
tion of the world’s dependence on fossil fuels, economic and societal realities
suggest that a transition to alternative energy forms will be, at best, gradual.
It also appears that exploration for new reserves is becoming increasingly more
difficult both from a technical and an economic point of view, despite the ad-
vent of new technologies. These trends place renewed emphasis on maximizing
oil recovery from known fields. In this sense, low-cost and reliable enhanced
oil recovery (EOR) methods have a strong role to play.
vii
reservoir-specific basis. A central question is whether elastic waves can gener-
ate sufficient motion to increase oil mobility in previously bypassed reservoir
zones, and thus lead to increased production rates, and to the recovery of
otherwise unexploited oil.
We discuss first the case of wellbore wave sources, but conclude that
surface sources have a better chance of focusing energy to a given reservoir. We,
then, discuss a partial-differential-equation-constrained optimization approach
for resolving the inverse source problem associated with surface sources, and
present a numerical algorithm that robustly provides the necessary excitations
that maximize a mobility metric in the reservoir. To this end, we form a
Lagrangian encompassing the maximization goal and the underlying physics
of the problem, expressed through the side imposition of the governing partial
differential equations. We seek to satisfy the first-order optimality conditions,
whose vanishing gives rise to a systematic process that, in turn, leads to the
prescription of the wave source signals.
viii
eration field maximization), and report numerical experiments under three dif-
ferent settings: (a) targeted formations within one-dimensional multi-layered
elastic solids system of semi-infinite extent; (b) targeted formations embedded
in a two-dimensional semi-infinite heterogeneous elastic solid medium; and (c)
targeted poroelastic formations embedded within elastic heterogeneous sur-
roundings in one dimension.
ix
Table of Contents
Acknowledgments v
Abstract vii
List of Figures xv
Chapter 1. Introduction 1
1.1 Background . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Research issues . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3 Dissertation outline . . . . . . . . . . . . . . . . . . . . . . . . 8
x
3.2.2 The first-order optimality conditions . . . . . . . . . . . 43
3.2.2.1 The first optimality condition . . . . . . . . . . 43
3.2.2.2 The second optimality condition . . . . . . . . . 45
3.2.2.3 The third optimality condition . . . . . . . . . . 48
3.3 Numerical implementation . . . . . . . . . . . . . . . . . . . . 49
3.3.1 State and adjoint problems semi-discrete forms . . . . . 50
3.3.2 Wave source parameterization . . . . . . . . . . . . . . . 52
3.3.3 The gradient-based minimization process . . . . . . . . 53
3.4 Numerical results . . . . . . . . . . . . . . . . . . . . . . . . . 55
3.4.1 Wave source optimal time signal – maximum kinetic en-
ergy – unconstrained neighbors . . . . . . . . . . . . . . 56
3.4.2 Wave source optimal time signal – maximum kinetic en-
ergy – silent neighbors . . . . . . . . . . . . . . . . . . . 64
3.4.3 Verification of the optimization results . . . . . . . . . . 68
3.4.4 Optimal time signal with higher dominant frequency con-
tent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
3.4.5 Time signal smoothing . . . . . . . . . . . . . . . . . . . 79
3.4.6 Wave source optimal time signals – maximum accelera-
tion – unconstrained or silent neighbors . . . . . . . . . 85
3.5 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
xi
4.3.2 Adjoint problem semi-discrete form . . . . . . . . . . . . 113
4.4 Numerical results . . . . . . . . . . . . . . . . . . . . . . . . . 117
4.4.1 Forward solution . . . . . . . . . . . . . . . . . . . . . . 120
4.4.2 Numerical experiments – case numbering . . . . . . . . 123
4.4.2.1 Wave sources optimal signals (case 1A) . . . . . 123
4.4.2.2 Wave sources optimal signals (case 1B) . . . . . 128
4.4.2.3 Wave sources optimal signals (case 1C) . . . . . 134
4.4.2.4 Wave sources optimal signals (case 2B) . . . . . 136
4.4.2.5 Wave sources optimal signals (case 3B) . . . . . 143
4.5 Feasibility of dislodging trapped oil droplets in 2D . . . . . . . 150
4.6 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152
xii
Chapter 6. Conclusions 202
6.1 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 202
6.2 Future research directions . . . . . . . . . . . . . . . . . . . . . 204
Appendices 206
Bibliography 262
Vita 275
xiii
List of Tables
4.1 Elastic moduli and wave velocities of the layers of the subsurface
formation model shown in Fig. 4.2. . . . . . . . . . . . . . . . 119
4.2 Threshold-acceleration levels evaluated by using Beresnev’s lat-
est threshold-acceleration model [10], as well as the fluid-satu-
rated porous permeable rock properties shown in Table 4.3. . . 151
4.3 Fluid-saturated porous permeable rock properties used for eval-
uating the threshold-acceleration value for the mobilization of
trapped oil droplets. . . . . . . . . . . . . . . . . . . . . . . . 151
4.4 Summary of our numerical experiments. . . . . . . . . . . . . 152
xiv
List of Figures
xv
2.10 Propagation of pressure wave in a fractured reservoir. Fluid is
injected into the fracture at a rate of qw (t), with fluid leaking
through the fracture wall at a rate qf (x, t). . . . . . . . . . . . 29
2.11 Pressure oscillation amplitude versus distance in fracture for
two frequencies 1Hz and 2Hz (shown are two cases depending
on whether the wall leakage effect is ignored or not) . . . . . 34
2.12 Leakage rate amplitude versus distance in fracture for wave fre-
quencies 0.1Hz to 10Hz . . . . . . . . . . . . . . . . . . . . . . 35
2.13 Pressure oscillation amplitude versus distance in fracture for
wave frequencies 0.1Hz to 10Hz with leakage flow on the fracture
wall surface . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
xvi
3.12 The optimized loading time signal, obtained after 314 iterations,
for the selective maximization of the kinetic energy in a targeted
formation (silent neighbors). . . . . . . . . . . . . . . . . . . . 67
3.13 Convergence of the objective functional (3.5) with respect to
the iteration number. . . . . . . . . . . . . . . . . . . . . . . . 68
3.14 Temporal and spatial distribution of kinetic energy for different
loading time signals. . . . . . . . . . . . . . . . . . . . . . . . 69
3.15 Frequency sweep of the amplitude of particle velocity ∂u ∂t
, for
ω
frequency f = 2π , within the truncated semi-infinite layered
system, shown in Fig. 3.3. . . . . . . . . . . . . . . . . . . . . 73
3.16 The values of the objective functionals (3.4) and (3.5) for a
sinusoidal loading time signal f (t) = 50 sin (2πf t)kN/m2 for
frequencies f =0.1–10Hz. . . . . . . . . . . . . . . . . . . . . . 74
3.17 Inverted-for periodic loading time signals, obtained via the min-
imization of (3.4) (all layers active), show strong components at
theoretical amplification frequencies 4.0 and 6.7Hz. . . . . . . 76
3.18 Inverted-for periodic loading time signals, obtained via the min-
imization of (3.5) (silent neighbors), show strong components at
theoretical amplification frequencies 5.0 and 7.35Hz. . . . . . . 77
3.19 Close-up views of the optimized loading time signals, temporally
approximated by quadratic shape functions (derivatives are not
smooth). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
3.20 The initially guessed loading time signal, temporally approxi-
mated by using Hermite shape functions, for the maximization
of the kinetic energy in Ω0 . . . . . . . . . . . . . . . . . . . . . 82
3.21 The smooth optimal loading time signal is recovered after 151
iterations (unconstrained neighbors, Hermite approximation of
a guessed loading time signal). . . . . . . . . . . . . . . . . . . 83
3.22 The smooth optimal loading time signal is recovered after 761
iterations (silent neighbors, Hermite approximation of a guessed
loading time signal). . . . . . . . . . . . . . . . . . . . . . . . 84
3.23 The optimized loading time signals for the maximization of the
acceleration in Ω0 . . . . . . . . . . . . . . . . . . . . . . . . . 90
3.24 The acceleration in the target formation Ω0 , for the converged
loading in Fig. 3.23(c). . . . . . . . . . . . . . . . . . . . . . . 91
3.25 The acceleration in the targeted formation Ω0 for the optimized
loading signal in Fig. 3.6 (maximization of kinetic energy in Ω0
with all layers active). . . . . . . . . . . . . . . . . . . . . . . 92
xvii
3.26 Distribution of acceleration-based objective functionals (3.51)
and (3.52) for sinusoidal loading f (t) = 50 sin (2πf t)kN/m2
with respect to frequencies f . . . . . . . . . . . . . . . . . . . 93
xviii
4.12 Frequency sweep of the objective functional (4.11) using a har-
monic load f2 (t) = 50 sin(2πf t)kN/m2 for the formation model
shown in Fig. 4.2(a). . . . . . . . . . . . . . . . . . . . . . . . 133
4.13 Optimal time signals converged via the minimization of (4.12). 135
4.14 Frequency sweep of the objective functional (4.12) using a har-
monic load f2 (t) = 50 sin(2πf t)kN/m2 for the formation model
shown in Fig. 4.2(a). . . . . . . . . . . . . . . . . . . . . . . . 136
2
4.15 The maximum amplitude of the acceleration field ∂∂t2u [m/s2 ] of
the wave responses in Ωreg for the converged excitations shown
in Fig. 4.6 and 4.13(b), respectively, for the formation model of
Fig. 4.2(a). . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137
4.16 The initially guessed loading time signals of the two indepen-
dent wave sources at x1 = −30m and x1 = 70m for the max-
imization of the kinetic energy in Ω0 with silent neighbors via
the minimization of (4.11) for formation model shown in Fig.
4.2(b). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139
4.17 Optimized loading time signals at the 36-th iteration of the op-
timization process (minimizing (4.11)) for the two independent
wave sources of asymmetric locations shown in Fig. 4.2(b). . 140
4.18 Optimized loading time signals (final) after 80 iterations of the
optimization process (minimizing (4.11)) for the two indepen-
dent wave sources of asymmetric locations shown in Fig. 4.2(b). 141
4.19 The time-averaged kinetic energy distributions in Ωreg of the for-
mation model shown in Fig. 4.2(b) for the loading time signals
shown in Figures 4.17 and 4.18. . . . . . . . . . . . . . . . . . 142
4.20 Frequency sweep of the objective functional (4.11) using a har-
monic load f2 (t) = 50 sin(2πf t)kN/m2 for the formation model
shown in Fig. 4.2(b): the frequency accountable for the global
minimum for the two asymmetric wave sources differs from that
for the two symmetric wave sources (8.8Hz vs 29.5Hz). . . . . 143
4.21 The initially guessed loading time signals of the five wave sou-
rces at asymmetric locations for the formation model shown in
Fig. 4.2(c) for the maximization of the kinetic energy in Ω0 with
silent neighbors (minimizing (4.11)). . . . . . . . . . . . . . . 145
4.22 The frequency spectra of the initially guessed loading time sig-
nals shown in Fig. 4.21. . . . . . . . . . . . . . . . . . . . . . 146
xix
4.23 The finally converged loading time signals of the five wave sour-
ces at asymmetric locations for the formation model shown in
Fig. 4.2(c) after 140 iterations of the optimization process for
the maximization of the kinetic energy in Ω0 with silent neigh-
bors (minimizing (4.11)). . . . . . . . . . . . . . . . . . . . . 147
4.24 The frequency spectra of the finally converged loading time sig-
nals shown in Fig. 4.23. . . . . . . . . . . . . . . . . . . . . . 148
4.25 The time-averaged kinetic energy distribution in Ωreg for the
optimized loading time signals of the five wave sources, shown
in Fig. 4.23, for the formation model shown in Fig. 4.2(c). . . 149
4.26 Frequency sweep of the objective functional (4.11) using a har-
monic load f2 (t) = 50 sin(2πf t)kN/m2 for the formation model
shown in Fig. 4.2(c). . . . . . . . . . . . . . . . . . . . . . . . 149
3
4.27 The distributions of the time-averaged kinetic energy [J/m ]
2
and the maximum amplitude of ∂∂t2u [m/s2 ] in Ωreg for the op-
timized loading signals or the sinusoidal loading signal f2 (t) =
50 sin(2π × 29t)kN/m2 that employs the dominant frequencies
of the optimized signals (the case 1A in Table 4.4). . . . . . . 155
4.28 The distributions of the time-averaged kinetic energy [J/m3 ]
2
and the maximum amplitude of ∂∂t2u [m/s2 ] in Ωreg for the op-
timized loading signals or the sinusoidal loading signal f2 (t) =
50 sin(2π × 29.5t)kN/m2 that employs the dominant frequencies
of the optimized signals (the case 1B in Table 4.4). . . . . . . 156
4.29 The distributions of the time-averaged kinetic energy [J/m3 ]
2
and the maximum amplitude of ∂∂t2u [m/s2 ] in Ωreg for the op-
timized loading signals or the sinusoidal loading signal f2 (t) =
50 sin(2π × 49t)kN/m2 that employs the dominant frequencies
of the optimized signals (the case 1C in Table 4.4). . . . . . . 157
3
4.30 The distributions of the time-averaged kinetic energy [J/m ]
2
and the maximum amplitude of ∂∂t2u [m/s2 ] in Ωreg for the op-
timized loading signals or the sinusoidal loading signal f2 (t) =
50 sin(2π × 28.5t)kN/m2 that employs the dominant frequencies
of the optimized signals (the case 2A in Table 4.4). . . . . . . 158
4.31 The distributions of the time-averaged kinetic energy [J/m3 ]
2
and the maximum amplitude of ∂∂t2u [m/s2 ] in Ωreg for the op-
timized loading signals or the sinusoidal loading signal f2 (t) =
50 sin(2π × 8.8t)kN/m2 that employs the dominant frequencies
of the optimized signals (the case 2B in Table 4.4). . . . . . . 159
xx
4.32 The distributions of the time-averaged kinetic energy [J/m3 ]
2
and the maximum amplitude of ∂∂t2u [m/s2 ] in Ωreg for the op-
timized loading signals or the sinusoidal loading signal f2 (t) =
50 sin(2π × 50t)kN/m2 that employs the dominant frequencies
of the optimized signals (the case 2C in Table 4.4). . . . . . . 160
4.33 The distributions of the time-averaged kinetic energy [J/m3 ]
2
and the maximum amplitude of ∂∂t2u [m/s2 ] in Ωreg for the op-
timized loading signals or the sinusoidal loading signal f2 (t) =
50 sin(2π × 29t)kN/m2 that employs the dominant frequencies
of the optimized signals (the case 3A in Table 4.4). . . . . . . 161
3
4.34 The distributions of the time-averaged kinetic energy [J/m ]
2
and the maximum amplitude of ∂∂t2u [m/s2 ] in Ωreg for the op-
timized loading signals or the sinusoidal loading signal f2 (t) =
50 sin(2π × 29t)kN/m2 that employs the dominant frequencies
of the optimized signals (the case 3B in Table 4.4). . . . . . . 162
4.35 The distributions of the time-averaged kinetic energy [J/m3 ]
2
and the maximum amplitude of ∂∂t2u [m/s2 ] in Ωreg for the op-
timized loading signals or the sinusoidal loading signal f2 (t) =
50 sin(2π × 45t)kN/m2 that employs the dominant frequencies
of the optimized signals (the case 3C in Table 4.4). . . . . . . 163
xxi
5.7 The numerical solution of σ(x, t) and P (x, t) of the coupled-
poroelastic-elastic-layers system employing α = 0.667 and n =
0.3; P (x, t) is positive for compression. . . . . . . . . . . . . . 194
5.8 A five-layered system of a semi-infinite extent truncated at de-
pth x = 600m, with a poroelastic layer surrounded by non-
permeable elastic solid layers. . . . . . . . . . . . . . . . . . . 196
5.9 Close-up views of optimal loading signals that are finally con-
verged via the minimization of (5.12) and the frequency spectra
of the optimized loadings. . . . . . . . . . . . . . . . . . . . . 197
5.10 The distribution of the objective functional (5.12) with respect
to frequencies f = 0.1–50Hz for a sinusoidal excitation f (t) =
50 sin(2πf t)kN/m2 for the 5-layered subsurface formation mo-
del in Fig. 5.8; the optimization experiments recover 11.8, 19.0,
27.2, and 42.6Hz. . . . . . . . . . . . . . . . . . . . . . . . . . 198
5.11 The wave responses within the poroelastic formation of the
formation model in Fig. 5.8, induced by the optimized load
shown in Fig. 5.9(d) and a non-optimal harmonic load f (t) =
50 sin(2π × 15t)kN/m2 . . . . . . . . . . . . . . . . . . . . . . . 199
xxii
Chapter 1
Introduction
1.1 Background
Due to the strong capillarity that exists in oil and rock systems, and the
highly variable permeability of an oil reservoir, only 30–50% of the original-oil-
in-place (OOIP) can be produced either by a reservoir’s primary oil recovery
mode (natural pressure), or by a combination of water-flooding and natural
pressure. Thus, in order to recover any oil still remaining in an existing reser-
voir, EOR methods, such as gas- and polymer-flooding, are usually employed
[52, 53]. By and large, and beyond site-specific technical reasons that are also
of importance, the choice of a specific EOR method is chiefly driven by eco-
1
nomic considerations. Hence, any low-cost EOR method that is also reliable
becomes a strong contender for the exploitation of the remaining reservoir
capacity.
The wave-based EOR method has been proposed as one such cost-
effective EOR method. The key idea behind the wave-based EOR method is
that traveling waves, however they may be generated, could “shake” a reser-
voir sufficiently to mobilize the remaining oil, which could then be recovered
by conventional means. Wave sources typically used in wave-based EOR in-
clude Vibroseis equipment atop the ground surface, and/or wellbore hydraulic
pumps [15], or wellbore seismic vibrators [63, 82]. All sources are capable
of generating, directly or indirectly, elastic waves. In general, it has been
observed and reported that the rate of oil production increased after such ap-
plications of vibratory excitations. It also appears that such wave-based EOR
methods are at least as competitive as conventional EOR methods. Firstly,
because the wave-based EOR is less costly than other EOR methods [33, 79],
and, secondly, because an elastic wave can indiscriminately illuminate the en-
tire volume of an oil reservoir, whereas, due to the heterogeneity of a typical
reservoir, gas- or chemical-flooding can hardly sweep it in its entirety.
2
production has also been reported during field experiments employing wave
sources at low frequencies, up to 200Hz, located atop the ground surface or
within a wellbore, in active or in seemingly-depleted oil fields [5, 27, 42, 43,
44, 49, 50, 76, 83, 85].
Figure 1.1: The mobilization of trapped oil droplets in pore space by the
vibration of the pore wall surface.
3
oil-saturated sandstone core samples showed that such ultrasound waves in-
creased the recovery rate up to 25% of OOIP. However, using ultrasound waves
will not lead to the mobilization of oil droplets at the reservoir scale, because
waves at such high frequencies attenuate rapidly with distance [66, 68].
On the other hand, there are laboratory tests that have demonstrated
dislodging of oil droplets by using elastic, or acoustic, or fluid-pressure wave
sources at a low frequency range. Roberts et al.[8, 66, 67, 68] showed that
dynamic stress exerted upon a solid rock matrix of a sandstone core at a
low frequency (10 to 100Hz) can release trapped oil droplets. Vogler and
Constantinos [80] also showed that acoustic waves of frequencies up to 300Hz
can remove the nonaqueous phase liquid (NAPL) from porous permeable core
samples. Spanos et al.[76] conducted experiments that showed that fluid-
pressure pulsing at a frequency ranging from 30 to 60Hz can increase the oil
recovery rate from confined sand packs.
4
A wave generator
Injector Producer
Rock layers
without oil
Low permeability( k )
Low permeability( k )
Figure 1.2: Elastic wave induces cross-flow oscillation at the interfaces between
different permeability areas.
It has also been argued that reservoir shaking can lead to cross-flow
at the interfaces between low- and high-permeability areas in a highly het-
erogeneous reservoir or in a fractured reservoir [4, 26, 33, 61, 78, 79]. In a
heterogeneous reservoir, the elastic waves induce pore-pressure oscillation be-
tween layers of different permeability [4, 33]. Such pressure oscillation between
areas of different permeability can effectively coax out the bypassed oil from
the low- to the high-permeability area (see the illustration in Fig. 1.2). In
a fractured reservoir, the direct application of hydraulic wave sources to a
fracture can induce a periodic pressure gradient between a fracture and its
surrounding rock matrix such that the transport of bypassed oil from the rock
matrix to the fracture space can be enhanced [26, 36, 61, 78, 79] (see Fig. 1.3).
5
Injector Producer
Rock layers
without oil
A fluid-pressure wave source
A fracture space
Oil reservoir
Figure 1.3: Wellbore hydraulic pumps induce cross-flow at the interface be-
tween a fracture space and surrounding rock matrix.
6
• Could surface sources generate sufficient energy to, again, increase oil
mobility?
7
In mathematical terms, the problem of finding the excitation signals
in the time-domain, is cast as an inverse-source problem. We define a La-
grangian comprising a functional describing the metric we seek to maximize,
augmented by the side-imposition of the problem’s PDEs. We use the ap-
paratus of partial-differential-constrained-optimization to resolve the ensuing
minimization problem (we seek to maximize a desired metric by casting the
problem as the minimization of the metric’s reciprocal). Satisfaction of the
first-order optimality conditions leads to a triad of state, adjoint, and control
problems. We use finite elements to resolve the state and adjoint problems,
and use the control problem to update the excitation signals until convergence.
8
can lead to the mobilization of trapped oil droplets in pore space. The nu-
merical results show that neither a rock-stress wave nor a pore-pressure wave
is likely to result in any significant remaining oil mobilization at the reservoir
scale, unless the amplitude of the wave response is significantly large, as also
noted in [65]. Secondly, we consider a simple one-dimensional fracture with a
time-harmonic fluid injection at low frequencies (0.1-10Hz) into the fracture
space. A sufficient rate of cross-flow has been observed between a fracture and
the surrounding rock matrix to allow an enhanced imbibition of the injecting
fluid into the rock matrix, as well as the coaxing-out of the bypassed oil from
the rock matrix.
9
formation [37]; for simplicity, we consider first one-dimensional compressional
wave physics for semi-infinite layered media.
10
to the more realistic two-dimensional setting. In this setting, we use the gov-
erning elastic wave equations endowed by Perfectly-Matched-Layers (PMLs)
[46, 45, 47]. Such a two-dimensional setting is subject to the following two
assumptions: first, the strip loading is stretched infinitely in a direction that
is perpendicular to the cross-sectional plane (see Fig. 4.1), and second, the
undamped two-dimensional model also ignores intrinsic and apparent atten-
uation, but captures radiation damping. We should point out that such a
two-dimensional wave response can be replicated, in practice, using a fleet
of Vibroseis equipments under the assumption of lateral homogeneity. Thus,
based on Beresnev’s threshold-acceleration criteria [9], the ensuing feasibility
studies with the two-dimensional problem could reveal whether or not oil mo-
bilization is possible by using ground surface wave sources. In general, and
within the constraints of the two-dimensional setting, the numerical results
show that our methodology can successfully obtain the signals necessary for
inducing oil mobility in target reservoirs.
11
The numerical results show that the optimization procedure leads to loading
time signals that include the correct amplification frequencies.
12
Chapter 2
In the first part of this chapter, we report on the wave motion solution
in a homogeneous oil reservoir. Here, we study two scenarios, depending on
whether the fluid or the matrix is excited (but we do not consider the coupled
poroelastic case). To assess the feasibility of oil mobilization at the pore-space,
we use a recently developed correlation between the oil mobilization index [33]
and the wave-induced displacement field. In the second part of this chapter,
we investigate whether vibrational energy can induce cross-flow in a fractured
13
reservoir. We then examine whether a sufficient rate of cross-leakage flow could
arise to displace oil from the rock formation into the reservoir fractures.
We obtain solutions for two limiting cases: (i) the pore-pressure wave
arising when the fluid alone is excited; and (ii) the stress wave of the reservoir
rock arising when the matrix alone is excited. By comparing the wave behavior
of these two limiting cases, we try to assess the effectiveness of delivering
14
Reservoir
Wellbore
z θ
wave source
r r=∞
r=r w
φηct ∂p(r, t)
∇2 p(r, t) = , (2.1)
kr ∂t
15
only in the radial direction, the pressure distribution can be calculated from:
1 ∂ ∂p(r, t) φηct ∂p(r, t)
r = , (2.2)
r ∂r ∂r kr ∂t
where p̂w is the input pressure amplitude (this pressure is in addition to the
static reservoir pressure). At the far field, there also holds:
Since the generated pressure wave will also be harmonic, i.e., p(r, t) = p̂(r)eiωt ,
(2.2) reduces to:
∂ 2 p̂ 1 ∂ p̂ iωφηct
+ − β 2 p̂ = 0, with β 2 = . (2.5)
∂r 2 r ∂r kr
where I0 and K0 are the zeroth-order modified Bessel functions of the first and
second kind, respectively. To satisfy the radiation condition, (2.4), a1 should
vanish. Then, using the boundary condition, (2.3), there results:
K0 (βr)
p̂(r) = p̂w . (2.7)
K0 (βrw )
16
Pore-pressure wave amplitude decay in a homogeneous reservoir
17
0
10
−2
10
−4
10
| p̂/ p̂ w|
−6
10
−8
10
ω = 0.1 Hz
−10
10 ω = 1 Hz
ω = 5 Hz
−12
10
0 0.5 1 1.5 2 2.5 3
r [m]
producing) a fluid, the rock face at the wellbore will be deformed, and the
deformation will propagate through the reservoir’s matrix, engaging both the
matrix and the fluid. In the interest of an approximate assessment, we will
assume that the reservoir is a homogeneous elastic medium, and will not con-
sider the coupled poroelastic case. While highly simplistic, the model allows
for the study of the vibrational energy propagation through the reservoir rock.
18
where (r, θ, z) denote coordinates; t is time; ρ is the composite density of the
matrix and the fluid; u denotes displacement; and σ denotes the stress tensor.
Here, we consider the axisymmetric problem, for which there holds: ur 6= 0,
∂· ∂· ∂·
uθ = uz = 0, ∂r
6= 0, ∂z
= 0, and ∂θ
= 0. Then, (2.8) reduces to the following:
∂εkk ∂εij
σij = λεkk δij + 2µεij + λ′ δij + 2µ′ , i, j = r, θ, (2.10)
∂t ∂t
where λ, µ are the Lamé constants with λ = 2µν/(1 − 2ν), and ν denoting
Poisson’s ratio; δij is the Kronecker delta; λ′ and ν ′ are viscous loss parameters;
ε is the strain tensor, and repeated indices imply summation. Due to the
assumption of axisymmetry, the only surviving strain tensor components are:
∂ur ur
εrr = , εθθ = . (2.11)
∂r r
Substitution of (2.10) and (2.11) into the equation of motion, (2.9), results in:
2
∂ ∂ 2 ur 1 ∂ur ur 1 ∂ 2 ur
∂ ur 1 ∂ur ur
+ − + α + − = , (2.12)
∂r 2 r ∂r r2 ∂t ∂r 2 r ∂r r2 c2 ∂t2
p
where c denotes the dilatational wave velocity c = (λ + 2µ)/ρ, and α =
(λ′ + 2µ′ )/(λ + 2µ) is the attenuation factor. Assuming a harmonic solution
of the form ur (r, t) = ûr (r)eiωt , (2.12) reduces to:
19
q
ω 1−iωα
where k = c 1+(ωα)2
. With the introduction of the auxiliary variable z = kr,
(2.13) becomes:
∂ 2 ûr ∂ ûr
z2 2
+z + (z 2 − 1)ûr = 0. (2.14)
∂z ∂z
Equation (2.14) is a Bessel equation of the first-order [1]. The general solution
of (2.14) is
(1) (2)
ûr (z) = c1 H1 (z) + c2 H1 (z), (2.15)
(1) (2)
where H1 (z) and H1 (z) are the first-order Hankel functions of the first and
second kind, respectively. To obtain the constants in (2.15), we first look at
(1) (2)
the asymptotic behavior of Hankel functions, H1 (z) and H1 (z) [1] :
r
(1) (1) 2 i(kr− 3π4 )
H1 (z) = H1 (kr) ∼ e , (2.16)
πkr
r
(2) (2) 2 −i(kr− 3π )
H1 (z) = H1 (kr) ∼ e 4 . (2.17)
πkr
When the time-dependent term (eiωt ) is taken into account, (2.16) and (2.17)
represent incoming and outgoing propagating waves, respectively. Since the
generated waves ought to be outgoing, c1 in (2.15) vanishes, and the general
solution for the amplitude of the radial displacement reduces to:
(2)
ûr (r) = c2 H1 (kr). (2.18)
In the frequency domain, the radial stress component can be cast as:
20
where we assumed that σrr = σ̂rr eiωt and εrr = ε̂rr eiωt . Then, the following
holds [1]:
∂ ûr (r) ∂ h (2)
i
(2) 1 (2)
ε̂rr = = c2 H1 (kr) = c2 k H0 (kr) − H1 (kr) . (2.21)
∂r ∂r kr
Inserting (2.21) into (2.20), while taking into account the boundary condition
(2.19), yields the constant c2 as:
p̂
c2 = − h w i. (2.22)
(2) 1 (2)
(λ + 2µ)(1 + αiω)k H0 (krw ) − H (krw )
krw 1
Thus, the solution for the amplitude of the rock displacement in the frequency-
domain becomes:
(2)
p̂w H1 (kr)
ûr (r) = − h i. (2.23)
(2) 1 (2)
(λ + 2µ)(1 + αiω)k H0 (krw ) − H (krw )
krw 1
Figures 2.4 and 2.5 show the radial deformation amplitude of the ma-
trix rock ûr (r), when there is damping, as a function of distance. We used
a wellbore pressure oscillation amplitude pw = 2 × 106 Pa, a wave source fre-
quency ω = 1Hz, shear modulus µ = 6 × 108 Pa, Poisson’s ratio ν = 0.3, mass
density ρ = 2100kg/m3 , and wave velocity c = 1000m/s. Fig. 2.4 shows the
real and imaginary parts of ûr (r). As the rock deformation propagates, some
phase shift also occurs, and with frequency 1Hz, the wavelengths are fairly
large, and the resulting motion is quite small. Fig. 2.5 depicts the modulus
of ûr (r) plotted in semi-log scale as a function of distance and for several ex-
citation frequencies; all curves clearly exhibit the expected exponential decay.
21
However, a comparison of the pressure wave decay performance shown earlier
in Fig. 2.3 for the purely diffusive propagation of the pore fluid, and those
of Figures 2.4 and 2.5 for the rock wave case, show much more rapid decay
associated with the former case than the latter. In short, it appears that
the elastic wave is a more effective vibrational energy delivery agent than the
pore-pressure waves, as also mentioned in [65].
Re ( û r)
0.01 Im( û r)
û r(r ) [mic ron]
−0.01
−0.02
200 500 1000 1500 2000 2500 3000
r [m]
Figure 2.4: Real and imaginary parts of the wave amplitude displacement field
ûr (r) as a function of distance (rock velocity c = 1000m/s, attenuation factor
α = 0.03s, source frequency 1Hz).
Fig. 2.6 shows the dependence of the amplitude of the stress wave on
the attenuation factor. As expected, the rock deformation wave attenuates
faster as the attenuation factor increases.
22
2
10
1
10
−1
10
1Hz
−2
10 20Hz
50Hz
−3
10 100Hz
200Hz
−4
10
−1 0 1
10 10 10
r [m]
Figure 2.5: Modulus of the displacement field of the rock stress wave ûr (r)
as a function of distance for several frequencies (wave velocity c = 1000m/s,
attenuation factor α = 0.01s).
2
10
α =0.0 sec
α =0.1 sec
α =0.2 sec
| û r(r )| [mic ron]
1
10
0
10
−1
10
−1 0 1
10 10 10
r [m]
Figure 2.6: Modulus of the displacement field of the rock stress wave ûr (r) as a
function of distance for several attenuation factors (wave velocity c = 1000m/s,
frequency 1Hz).
23
2.1.3 Oil mobility estimation in a homogeneous reservoir
24
at higher frequencies, whereas there is, effectively, no oil mobilization for lower
frequencies. For a pore radius of 100µm, which represents lower-permeability
rock, the remaining oil mobilization efficiency decreases even further.
Fig. 2.9 shows the amplitudes of the acceleration fields of the rock wave mo-
tions for wave velocity c = 1000m/s and attenuation factor α = 0.01s at
different frequencies. Fig. 2.9 demonstrates that the acceleration amplitudes
of wave response exceeds 0.1 to 10m/s2 – the Beresnev’s suggested threshold-
acceleration level – only at the area close to the wellbore (r < 1m) and only
at frequencies higher than 100Hz.
25
r = 100 micron
1
0.8
0.6
So / Sori
200 Hz
100 Hz
0.4 50 Hz
0.2
0
1 10 100 1000
Displacement (micron)
Figure 2.7: Remaining oil displacement efficiency with respect to the rock
displacement and the frequency for a pore radius of 100µm [33] (So /Sori = 1
implies that no remaining oil is mobilized, and So /Sori = 0 means that all
remaining oil is mobilized).
26
r = 200 micron
1
0.8
So / Sori 0.6
0.4
200 Hz
0.2
100 Hz
50 Hz
20 Hz
0
1 10 100 1000
Displacement (micron)
Figure 2.8: Remaining oil displacement efficiency with respect to the rock
displacement and the frequency for a pore radius of 200µm [33] (So /Sori = 1
implies that no remaining oil is mobilized, and So /Sori = 0 means that all
remaining oil is mobilized).
27
1
10
0
10
−1
10
∂ t 2 |[m/s ]
2
−2
10
û r(r )
−3
1Hz
10
20Hz
2
|∂
−4
10
50Hz
100Hz
−5
10 200Hz
−6
10
−1 0 1
10 10 10
r [m]
matrix.
28
y r=∞
Fracture x
z
(Extremely permeable )
Cross flow
Injection well
Pressure wave
Reservoir
z
q f( x , t )·dx
y x
Fracture
w x=x f
dx
q w( t )
x= 0
29
At the wellbore (x = 0), a periodic injection/production of fluid is
applied with a frequency of ω:
where q̂w is the rate amplitude (qw , q̂w denote fluid volume rates). The pressure
distribution in such a one-dimensional fracture can be calculated from the
pressure transient equation [17]:
∂pf ηqw
=− , at x = 0, (2.27)
∂x 2whkf
∂pf
= 0, at x = xf . (2.28)
∂x
∂2 ∂2
φr ηctr ∂pr (x, y, t)
+ pr (x, y, t) = , (2.29)
∂x2 ∂y 2 kr ∂t
where pr (x, y, t) denotes the pressure in the formation, φr , kr , and ctr are
porosity, permeability, and total compressibility, respectively, for the rock for-
30
mation. The interface conditions are:
pr = pf , at y = 0 and 0 ≤ x ≤ xf , (2.30)
∂pr ηqf
=− , at y = 0 and 0 ≤ x ≤ xf , (2.31)
∂y 2hkr
lim pr = 0. (2.32)
x,y→∞
Using the boundary conditions (2.27) and (2.28), we obtain the amplitude of
the pressure in the fracture:
31
where
η q̂w
Rf = . (2.37)
2whkf
iωφr ηctr
pr (x, y, t) = p̂rx (x)e−Dr y eiωt , Dr2 = , (2.38)
kr
where e−Dr y represents the outgoing wave motion associated with the time-
harmonic term eiωt . We remark that (2.38) is an approximated form of the
pressure-wave in the rock formation1 . By virtue of the interface conditions
(2.30) and (2.31):
η q̂f
p̂rx (x) = p̂f (x) = , (2.39)
2Dr hkr
or
2Dr hkr
q̂f = p̂f , (2.40)
η
Inserting (2.40) into (2.26) yields:
∂ 2 p̂f (x) 2
− Df p̂f (x) = 0, (2.41)
∂x2
where
2 2kr Dr φf ηctf iω 2kr Dr
Df = + = + Df2 . (2.42)
kf w kf kf w
1 ∂ 2 p̂rx (x)
(2.38) satisfies (2.29), provided that ∂x2 = 0.
32
The solution of (2.41), valid when the leakage effect is not negligible, is ob-
tained as:
Rf cosh[D f (xf − x)]
p̂f (x) = . (2.43)
Df sinh[D f xf ]
Combining either (2.36) or (2.43) with (2.38), the resulting amplitude of the
pressure distribution within the rock formation becomes:
Figures 2.11 and 2.12 show the effects of the oscillation frequency ω,
(a) on the pressure modulus, and (b) on the leakage rate, both of which are
given as a function of distance from the wellbore. In Fig. 2.11, the distribution
of the pressure modulus is shown for the two cases that depend on whether
the leakage effect is ignored or not. The pressure modulus is also shown for
different frequencies ranging from 0.1 to 10Hz in Fig. 2.13 (where the leakage
effect is taken into account). For all plots we used η = 1cp (= 0.001Pa·s),
kf = 5 × 105 md (= 4.935 × 10−10 m2 ), kr = 100md (= 9.870 × 10−14 m2 ), q̂w
= 10Barrel/Day (= 1.84 × 10−5 m3 /s), φf = 0.4, φr = 0.2, and w= 0.01m, h=
0.3m, xf =20m, ctr = 1.5 × 10−10 Pa−1 , and ctf = 1.5 × 10−9 Pa−1 .
33
wave propagation efficiency decreases with increase in oscillation frequency.
We remark that, with leakage into the matrix zone, the modulus of pressure
wave in the fracture decreases even further.
Fig. 2.12 shows that the amplitude of the flow rate in and out of the
formation neighboring a fracture could be sizeable enough to force the oil out
from the rock formation, suggesting that the vibration application to fractured
reservoirs could indeed enhance oil recovery from tight matrix zones. We also
conjecture that harmonic water injection into a fracture of a lower frequency
leads to greater sweep efficiency in a fractured reservoir, as mentioned in [26].
4
x 10
7
1 Hz (w/o Leakage)
6
1 Hz (w/ Leakage)
5 2 Hz (w/o Leakage)
2 Hz (w/ Leakage)
| p̂ f| [Pa]
0
0 2 4 6 8 10 12 14 16 18 20
x [ m]
Figure 2.11: Pressure oscillation amplitude versus distance in fracture for two
frequencies 1Hz and 2Hz (shown are two cases depending on whether the wall
leakage effect is ignored or not)
34
0.5
0.1Hz
1Hz
0.4
2Hz
5Hz
| 2 fh |[m/day]
0.3 10Hz
0.2
q̂
0.1
0
0 2 4 6 8 10 12 14 16 18 20
x [m]
Figure 2.12: Leakage rate amplitude versus distance in fracture for wave fre-
quencies 0.1Hz to 10Hz
4
x 10
5
0.1Hz
1Hz
4 2Hz
5Hz
10Hz
| p̂ f| [Pa]
0
0 2 4 6 8 10 12 14 16 18 20
x [m]
Figure 2.13: Pressure oscillation amplitude versus distance in fracture for wave
frequencies 0.1Hz to 10Hz with leakage flow on the fracture wall surface
35
2.3 Summary
Thus, wellbore action alone does not appear sufficient for inducing oil
mobility in non-fractured reservoirs. However, the fact that in non-fractured
reservoirs waves traveling through the matrix are better energy-delivery agents
suggests that if sufficient energy is imparted to the rock matrix, then, perhaps,
oil mobility would be induced. We turn next to surface sources in an attempt
to examine whether they could deliver and focus energy better than localized
wellbore sources.
36
Chapter 3
When ground sources are used to induce oil mobility, the questions
are multifold: which frequencies must the sources operated at? or, which
transient signals must be used to drive the sources so that the motion be
maximized within the reservoir? To answer these questions, we adopt an
inverse-source approach: in this chapter, we discuss an optimization problem
for the identification of an optimal time signal that can maximize a desired
motion metric (kinetic energy or acceleration) of a rock matrix in a targeted
formation within a one-dimensional layered medium of semi-infinite extent.
To this end, we cast the problem into a minimization problem by employing
the reciprocal of a functional expressing the spatial and temporal integral of
the desired metric within the target zone.
37
experiments show that such an optimization scheme successfully leads to the
following sought-after objectives: (a) the maximization of the kinetic energy or
acceleration of the target layer with all layers active; and (b) the maximization
of the kinetic energy or acceleration of the target layer while the adjacent
formations are forced to remain relatively dormant.
Kinetic energy
x x 1=0 E1 in Ω 0
Using an optimal wave source, f(t)
x2 → maximum kinetic energy in Ω 0
E2
x3
E3
Target layer, Ω 0
E4 Using a non-optimal wave source, f(t)
Truncation E ls Time
interface
x=L Start to generate wave
semi-infinite
38
seek to identify f (t), such that the kinetic energy within a target region (layer)
Ω0 is maximized (Fig. 3.1). The semi-infinite extent of the original domain is
truncated through the introduction of a truncation boundary at some depth
x = L. The propagation of compressional elastic waves within the truncated
layered medium (Ω = (0, L)) can be described by the following initial and
boundary value problem (IBVP): find the one-dimensional displacement field
u ≡ u(x, t) such that:
∂ 2 u(x, t)
∂ ∂u(x, t)
E(x) − ρ(x) = 0, x ∈ (0, L), t ∈ (0, T ], (3.1a)
∂x ∂x ∂t2
∂u
E(0) (0, t) + f (t) = 0, t ∈ (0, T ], (3.1b)
∂x
∂u 1 ∂u
(L, t) + (L, t) = 0, t ∈ (0, T ], (3.1c)
∂x c(L) ∂t
u(x, 0) = 0, x ∈ (0, L), (3.1d)
∂u
(x, 0) = 0, x ∈ (0, L), (3.1e)
∂t
where x denotes location, and t denotes time; T denotes the total observation
p
time, E represents modulus1 , ρ represents density, and c = E/ρ is the wave
propagation speed. Condition (3.1b) is the surface excitation condition; (3.1c)
is the truncation interface condition, which is exact for homogeneous domains,
but only approximate for heterogeneous domains, and; (3.1d) and (3.1e) indi-
cate that the system is initially at rest. Equation (3.1a) accounts, in general,
for arbitrary heterogeneity (i.e., E ≡ E(x)); though the approach we follow
applies to arbitrarily heterogeneous domains, we restrict the presentation, and
1
For example, for compressional waves E = λ+2µ, where λ and µ are the Lamé constants.
39
the numerical results, to layered domains, comprising Nls layers. In such a
case, (3.1a) holds within each layer, and Ei refers to the resident i-th layer
modulus; in addition, the following interface conditions must hold:
∂u ∂u
Ei = Ei+1 , i = 1 . . . (Nls − 1), (3.2)
∂x x=x− ∂x x=x+
i+1 i+1
u = u , i = 1 . . . (Nls − 1), (3.3)
x=x−
i+1 x=x+
i+1
where (3.2) and (3.3) are the traction and displacement interface continuity
conditions, respectively.
If the excitation f (t) were known, the IBVP (1) can be solved to ob-
tain the medium’s response u(x, t). The excitation, however, is unknown: to
estimate it, we minimize the following functional:
1
L= R RT , (3.4)
Ω0 0
ρ(x)[ ∂u
∂t
(x, t)]2 dtdx
which involves the reciprocal of the target layer’s kinetic energy2 , evaluated
over the entire observation time. We remark that (3.4) is only one of vari-
ous candidate functionals that could be cast with the goal of maximizing oil
droplet mobility in a targeted zone (e.g., maximizing the acceleration field).
Numerically, we have experimented with (3.4), as well as with the following
2
We omit the usual 21 term implicated in the kinetic energy’s definition from the denom-
inator of (3.4), since it does not affect the subsequent optimization process.
40
functional:
RT
ρ(x)[ ∂u (x, t)]2 dtdx
R
Ω\Ω0 0 ∂t
L= R RT , (3.5)
Ω0 0
ρ(x)[ ∂u
∂t
(x, t)]2 dtdx
which aims at maximizing the target’s kinetic energy (Ω0 ), while keeping the
neighboring layers (Ω \ Ω0 ) as dormant as possible. The minimization of either
(3.4) or (3.5) is tantamount to a constrained optimization problem owing to
its subjugation to the governing IBVP. From a wave propagation point of
view, we note that the IBVP (1) models compressional waves only: this is a
consequence of our considering the one-dimensional prototype, but is in no
way a limitation of the described approach.
41
be shown, the resulting form is simply the original IBVP or state problem.
The variation with respect to the state variable u, will lead to an adjoint
problem for the Lagrange multipliers, which is a final value boundary value
problem (FBVP). Lastly, it is the third problem – the control problem – arising
from variations with respect to the excitation parameters, that will allow the
iterative update of the excitation parameters until convergence.
42
dimensions of the Lagrange multipliers are identical to each other; and, as it
will be shown, λ(x, t) can absorb the other Lagrange multipliers such that the
ensuing adjoint problem is constructed solely in terms of λ(x, t).
43
L T
∂2u
∂ ∂u
Z Z
δλ A = δλ E − ρ 2 dtdx = 0, (3.7a)
0 0 ∂x ∂x ∂t
Z T
∂u
δλ0 A = δλ0 E + f (t) dt = 0, (3.7b)
0 ∂x
x=0
Z T
∂u E ∂u
δλL A = δλL E + dt = 0, (3.7c)
0 ∂x c ∂t
x=L
Z L
hρ i
δλu A = δλu u dx = 0, (3.7d)
0 T
t=0
Z L
∂u
δλv A = δλv ρ dx = 0. (3.7e)
0 ∂t
t=0
For (3.7) to vanish for arbitrary δλ, δλ0 , δλL , δλu , and δλv , the following state
problem must be satisfied:
∂2u
∂ ∂u
E − ρ 2 = 0, x ∈ (0, L), t ∈ (0, T ], (3.8a)
∂x ∂x ∂t
∂u
E(0) (0, t) + f (t) = 0, t ∈ (0, T ], (3.8b)
∂x
∂u 1 ∂u
(L, t) + (L, t) = 0, t ∈ (0, T ], (3.8c)
∂x c ∂t
u(x, 0) = 0, x ∈ (0, L), (3.8d)
∂u
(x, 0) = 0, x ∈ (0, L). (3.8e)
∂t
As it can be seen, the resulting state problem is identical to the IBVP (1). We
remark that, in the layered case, (3.8a) is written for every layer, and that the
interface continuity conditions are formally recoverable; we will illustrate the
layered case with the adjoint problem.
44
3.2.2.2 The second optimality condition
45
Equation (3.9) can be rearranged as (the variational procedure, used for de-
riving (3.10) from (3.9), is described in Appendix A):
L T
∂2λ ∂2u
∂ ∂λ
Z Z
δu A = δu E − ρ 2 + E(x)ρ 2 dtdx
0 0 ∂x ∂x ∂t ∂t
Z L
∂λ ∂u
+ δu ρ − E(x)ρ dx
0 ∂t ∂t
t=T
Z L
∂δu E
− ρλ dx + λL δu
0 ∂t c x=L,t=T
t=T
Z T Z T
∂δu ∂δu
− λE dt + λ0 E dt
0 ∂x 0 ∂x
x=0 x=0
Z T Z T
∂δu ∂δu
+ λE dt + λL E dt
0 ∂x 0 ∂x
x=L x=L
Z T Z T
∂λ ∂λL E ∂λ
+ E δu dt − +E δudt
0 ∂x 0 ∂t c ∂x
x=0 x=L
NXls −1
( Z T Z T
∂δu ∂δu
+ λE dt − λE dt
i=1 0 ∂x x=x − 0 ∂x x=x+
i+1 i+1
Z T Z T )
∂λ ∂λ
− E δudt + E δudt = 0, (3.10)
0 ∂x x=x− 0 ∂x x=x+
i+1 i+1
where
2
R RT ∂u(x,t) 2
2 , x ∈ Ω0 ,
Ω0 0 ρ[ ∂t
] dtdx
E(x) = . (3.11)
0, x ∈ Ω \ Ω0
46
For (3.10) to be satisfied for arbitrary δu, we require the satisfaction of the
following adjoint problem:
∂2λ ∂2u
∂ ∂λ
E −ρ = −E(x)ρ , x ∈ (0, L), t ∈ [0, T ), (3.12a)
∂x ∂x ∂t2 ∂t2
∂λ
(0, t) = 0, t ∈ [0, T ), (3.12b)
∂x
∂λ 1 ∂λ
(L, t) − (L, t) = 0, t ∈ [0, T ), (3.12c)
∂x c(L) ∂t
λ(x, T ) = 0, x ∈ (0, L), (3.12d)
∂λ ∂u
(x, T ) = E(x) (x, T ), x ∈ (0, L), (3.12e)
∂t ∂t
λx=x− = λx=x+ , (3.13)
i+1 i+1
∂λ ∂λ
Ei = E i+1 , (3.14)
∂x x=x− ∂x x=x+
i+1 i+1
and
The adjoint problem has structure identical to the state problem, except for
the following differences: whereas the state problem is driven by the excitation
term in the surface condition (3.1b), the adjoint problem is driven by body
forces localized to the target layer, and expressed in terms of the accelerations
of the state problem (per (3.12a)). Secondly, as it can be seen from (3.12d)
and (3.12e), the adjoint problem is a final value BVP; and thirdly, the sign of
47
the time derivative in the truncation condition (3.12c) has been changed when
compared with the truncation condition of the state problem (3.1c), owing to
the reversal of the time line in the adjoint problem.
The preceding development was based upon using (3.4) as the objective
functional. If, to force the neighboring layers to be silent, we choose (3.5),
the resulting state and adjoint problems remain the same as derived above,
provided the definition of E(x) is replaced by:
2 Ω\Ω 0T ρ[ ∂u(x,t)
R
]2 dtdx
R
∂t
Ω 0 ρ[ ∂t ]2 dtdx 2 , x ∈ Ω0 ,
0
R R T ∂u(x,t)
0
E(x) = . (3.17)
−2 , x ∈ Ω \ Ω0
R R T ∂u(x,t) 2
Ω0 0
ρ[ ∂t
] dtdx
48
After some manipulation (the explicit derivation of the control problem is
shown in Appendix A), (3.18) reduces to the control problem:
Z T
∂f (t)
δξ A(= ∇ξ A) = λ dt = 0, (3.19)
0 ∂ξ
x=0
where λ, again, denotes the solution of the adjoint problem. We remark that
δξ A is equivalent to the gradient of the objective functional ∇ξ L, since the side-
imposed constraints to the augmented functional A vanish at the stationary
point owing to the satisfaction of the state problem. To obtain the excitation
RT
parameters, we use a gradient-based minimization process and 0 λ ∂f∂ξ(t) dtx=0 ,
in the control equation (3.19), as the reduced gradient. The details are given in
the next section; if (3.5) were to be used instead of (3.4), the control problem
remains unaltered.
49
using, as driver, the acceleration field of the state problem (per (3.12a)); (c)
finally, updates to the parameters defining the trial form of the excitation are
obtained via a gradient-based scheme that uses the control equation (3.19)
as the reduced gradient: at each iteration of the gradient-based scheme the
control equation provides the search-direction for the parameter updates.
The first two steps entail the solution of both an IBVP (the state prob-
lem), and a FBVP (the adjoint problem). We use a classic Galerkin finite
element approach to resolve the discrete state and adjoint problems. To this
end, we multiply (3.1a) and (3.12a) by test functions, w(x) and v(x), respec-
tively, and integrate by parts, to arrive at the following weak forms:
L
∂2u
∂w ∂u E(L) ∂u(L)
Z
E + ρw 2 dx + w(L) = w(0)f (t), (3.20)
0 ∂x ∂x ∂t c(L) ∂t
Z L Z L
∂2λ ∂2u
∂v ∂λ E(L) ∂λ(L)
E + ρv 2 dx − v(L) = vEρ 2 dx. (3.21)
0 ∂x ∂x ∂t c(L) ∂t 0 ∂t
where u(t) and λ(t) denote the vectors of the nodal solutions of u(x, t) and
λ(x, t), respectively; w and v denote the vectors of the nodal quantities of
the test functions, w(x) and v(x), respectively; and φ(x) represents a vector
of shape functions. Then, (3.20) and (3.21) are reduced into the following
50
semi-discrete forms:
∂ 2 u(t) ∂u(t)
M 2
+C + Ku(t) = F(t), (3.24)
∂t ∂t
∂ 2 λ(t) ∂λ(t)
M 2
−C + Kλ(t) = P(t), (3.25)
∂t ∂t
where
Z L
ρ(x)φ(x)φT (x) dx,
M = (3.26)
0
E(L)
C = φ(L)φT (L), (3.27)
c(L)
∂φ(x) ∂φT (x)
Z L
K = E(x) dx, (3.28)
0 ∂x ∂x
F(t) = φ(0)f (t), (3.29)
Z L
∂ 2 u(t)
EρφφT dx
P(t) = . (3.30)
0 ∂t2
2 4
K+C +M λ(n) =
∆t (∆t)2
∂λ(n+1) 4λ(n+1) 4 ∂λ(n+1) ∂ 2 λ(n+1)
2
C λ(n+1) − +M − + + P(n) ,
∆t ∂t (∆t)2 ∆t ∂t ∂t2
(3.32)
51
where ∆t denotes time step, and subscripts (n) and (n+1) denote evaluation of
the nodal vectors at the n-th and (n+1)-th time step. Note that the traversal of
the time line in (3.32) is reversed with respect to (3.31). Moreover, reflecting
the presence of similar operators in both the state and adjoint continuous
problems, notice that matrices K, C, and M are shared by both discrete
forms, requiring their formation only once per inversion iteration. We remark
that there is only one system matrix inversion needed per (excitation) inversion
iteration, owing to the fact that the left-hand-sides of (3.31) and (3.32) are
identical.
We consider an, as yet, unknown loading time signal f (t), for which ar-
bitrary temporal variability is allowed. To compute such an unknown arbitrary
time signal f (t), we first parameterize it as:
nf
X
f (t) = fi ϕi (t) = fϕT (t) , (3.33)
i=1
where ϕi (t) and fi denote the i-th shape function and discretized excitation
parameter, respectively; f is the vector of force parameters fi , and ϕ is the
vector of shape functions ϕi (t); and nf is the total number of parameters; we
use quadratic shape functions for ϕi (t) (Fig. 3.2).
52
: discretized excitation
f(t) parameters, f i
quadratic approximation
We remark that the reduced gradient of the original functional L can be cast
as:
Z T
∇f i L = λϕi (t)dt , (3.35)
0
x=0
which forms the basis for the parameter updates. The procedure is outlined
next.
53
where f(k) denotes the parameter vector at the k-th iteration; θ(k) denotes
the step-length for the k-th iteration; g denotes the search-direction, which
is obtained using the reduced gradient (3.35) and a conjugate-gradient (CG)
scheme [19, 59]. We use the optimal value of θ(k) such that sufficient decrease
of the minimization functional is ensured at each iteration. That is, (a) if the
sufficient decrease is not met, we use a backtracking method [59] – reducing the
step-length by a factor of α until the sufficient decrease condition is satisfied;
(b) after the excitation parameters are updated, we increase the step-length at
the next iteration by multiplying it by β to improve the rate of convergence.
In the applications we used α = 0.9 and β = 1.1. The entire algorithm is
summarized in Algorithm 1.
54
2
f ( t ) [N/m ]
x =0m
c = 2500m / s, ρ= 2000 kg/m 3
500m
x
3
c = 1500m / s, ρ= 2000 kg/m
300m (Target layer, Ω 0 )
Truncation interface
Semi - infinite
55
interpolated loading time signal can reach up to 60kN/m2 (see Figures 3.5 and
3.6)3 .
3
A modern Vibroseis can deliver dynamic pressure up to 60kN/m2 to the ground surface:
the dimension of the loading plate of a modern Vibroseis is 2.5m by 1.2m, and the peak
force amplitude is 180kN [40].
56
in all similar plots). The total observation time is T = 10s, and the time step
is 0.004s. We use linear isoparametric elements for the finite element solution
of the state and adjoint problems with an element size of 4m.
Fig. 3.8 shows that the total kinetic energy in the target layer Ω0 , for
the converged optimized excitation, is much larger than the kinetic energy
for a non-optimized loading f (t) = 50 sin (6.28t)kN/m2 that uses a frequency
f of 1Hz. The amplitude of this non-optimized monochromatic loading is
set approximately close to the dominant amplitude of the optimized loading.
57
R
The total kinetic energy in Ω0 is defined as Ω0
K(x, t)dΩ, whereas the kinetic
energy is defined as:
2
1 ∂u(x, t)
K(x, t) = ρ , in J/m3 (3.38)
2 ∂t
Next, we are concerned with kinetic energy measures both in the target
layer Ω0 and within its neighbors. It is important to notice here that, as
shown in Fig. 3.9(c), the kinetic energy distribution using the non-optimized
source results in fairly low activity, when compared to the energy distribution
shown in Fig. 3.9(a) that corresponds to the optimized source or that shown
in Fig. 3.9(b) that corresponds to the sinusoidal loading f (t) = 50 sin(8.17t)
kN/m2 [1.3Hz]. Note further that, in this case, it is not only the target layer’s
energy that was affected but also that of the layers lying above the target.
58
60
40
f (t ) [ kN/m2 ]
20
−20
−40
−60
0 1 2 3 4 5 6 7 8 9 10
Ti me t [ s]
(a) The initially guessed loading time signal (the blocks symbolize the discretized ex-
citation parameters)
4
x 10
2
Fou ri er tran sform of f (t )
1.5 0.8 Hz
1.1 Hz
1 1.4 Hz
2.2 Hz
2.5 Hz
0.5
0
0 2 4 6 8 10
Frequ en cy f [ H z]
Figure 3.4: The initially guessed loading time signal for the maximization of
the kinetic energy in a targeted formation.
59
60
40
f (t ) [ kN/m2 ]
20
−20
−40
−60
0 1 2 3 4 5 6 7 8 9 10
Ti me t [ s]
3.5
3
1.3 Hz
2.5
1.5
0.5
0
0 2 4 6 8 10
Frequ en cy f [ H z]
Figure 3.5: The loading time signal at the 50-th iteration in the course of the
maximization of the kinetic energy in a targeted formation.
60
60
40
f (t ) [ kN/m2 ]
20
−20
−40
−60
0 1 2 3 4 5 6 7 8 9 10
Ti me t [ s]
1.3 Hz
6
0
0 1 2 3 4 5 6 7 8 9 10
Frequ en cy f [ H z]
Figure 3.6: The optimized loading time signal, obtained after 126 iterations,
for the maximization of the kinetic energy in a targeted layer.
61
0.015
i
J· s
s = m2
0.01
kg
h
L
0.005
0
0 20 40 60 80 100 120
I terati on
Figure 3.7: Convergence of the objective functional (3.4) with respect to the
iteration number.
800
KE i n Ω 0 for the c onve rge d l oadi ng
i
600
kg
500
h
K (x, t )dΩ
400
300
200
Ω0
R
100
0
0 2 4 6 8 10
Ti me t [ s]
Figure 3.8: The kinetic energy in the target layer Ω0 , for the converged loading
shown in Fig. 3.6, is much larger than that corresponding to a non-optimized
loading.
62
(a) Kinetic energy for the converged excitation
shown in Fig. 3.6
Figure 3.9: Temporal and spatial distribution of kinetic energy for different
loading time signals.
63
3.4.2 Wave source optimal time signal – maximum kinetic energy
– silent neighbors
We next seek to identify the loading time signal f (t) that maximizes
the kinetic energy in the target layer Ω0 by minimizing the objective functional
(3.5). This attempts to keep the rest of the domain relatively inert. The initial
guess is shown in Fig. 3.10.
Figure 3.13 illustrates that the objective functional (3.5) drops quickly
during the first 50 iterations while the optimizer identifies a sinusoidal-like time
signal with a dominant frequency of 2.2Hz (see Fig. 3.11). After discovering
such dominant frequency information, the optimizer adjusts the amplitude
to further minimize the objective functional and yields the optimal loading
time signal (Fig. 3.12). As it can be seen in Fig. 3.12, the finally converged
loading, obtained after 314 iterations, appears to be a near-sinusoidal loading
of non-uniform amplitudes with a dominant frequency of 2.2Hz.
4
We use peak amplitude of the optimized loading (approximately 50kN/m2 ) as the am-
plitude for the non-optimized monochromatic loading.
64
energy focusing in the target layer, while exhibiting stronger energy levels than
the original lastly converged excitation.
60
40
f (t ) [ kN/m2 ]
20
−20
−40
−60
0 1 2 3 4 5 6 7 8 9 10
Ti me t [ s]
1.5 0.8 Hz
1.1 Hz
1 1.4 Hz
2.2 Hz
2.5 Hz
0.5
0
0 2 4 6 8 10
Frequ en cy f [ H z]
(b) The frequency spectrum of the initially guessed loading time sig-
nal
Figure 3.10: The initially guessed loading time signal for the selective maxi-
mization of the kinetic energy in a targeted formation (silent neighbors).
65
60
40
f (t ) [ kN/m2 ]
20
−20
−40
−60
0 1 2 3 4 5 6 7 8 9 10
Ti me t [ s]
2.5
2.2 Hz
1.5
0.5
0
0 2 4 6 8 10
Frequ en cy f [ H z]
(b) The frequency spectrum of the guessed loading time signal at the
50-th iteration
Figure 3.11: The guessed loading time signal, at the 50-th iteration, in the
course of the selective maximization of the kinetic energy in a targeted forma-
tion (silent neighbors).
66
60
40
f (t ) [ kN/m2 ]
20
−20
−40
−60
0 1 2 3 4 5 6 7 8 9 10
Ti me t [ s]
4
2.2 Hz
3
0
0 1 2 3 4 5 6 7 8 9 10
Frequ en cy f [ H z]
Figure 3.12: The optimized loading time signal, obtained after 314 iterations,
for the selective maximization of the kinetic energy in a targeted formation
(silent neighbors).
67
4.5
3.5
3
L
2.5
1.5
0 50 100 150 200 250 300
I terati on
Figure 3.13: Convergence of the objective functional (3.5) with respect to the
iteration number.
Thus far, we have shown that the outlined optimization process can lead
to arbitrary excitation signals, which contain strong single-frequency compo-
nents. It is of interest to study the relation of the optimized signal’s frequencies
to the exact frequencies necessary for maximizing the kinetic energy in the tar-
get layer, in order to assess the optimizer’s performance. The one-dimensional
nature of the prototype problem lends itself easily to the exact solution. We re-
mark that, since the problem involves a domain of semi-infinite extent, there
are no resonant frequencies in the classic sense. However, there is a set of
frequencies for which the response is amplified compared to others: for the
remainder, we term these frequencies, amplification frequencies. To obtain
them, we study the frequency dependence of the wave response in the pro-
totype 4-layered system shown in Fig. 3.3 by considering the time-harmonic
68
(a) Kinetic energy for the converged excitation
shown in Fig. 3.12
Figure 3.14: Temporal and spatial distribution of kinetic energy for different
loading time signals.
69
response within each layer:
u1 (x, t) = [A11 exp (−ik1 x) + A12 exp (ik1 x)] exp (iωt), 0 = x1 ≤ x < x2 ,
u2 (x, t) = [A21 exp (−ik2 x) + A22 exp (ik2 x)] exp (iωt), x2 ≤ x < x3 ,
u3 (x, t) = [A31 exp (−ik3 x) + A32 exp (ik3 x)] exp (iωt), x3 ≤ x < x4 ,
where ω denotes the radial frequency of the wave motions; kn = ω/cn de-
notes the wavenumber in the n-th layer, and cn denotes the wave speed in
the n-th layer. With the time harmonic factor exp (iωt), An1 exp (−ikn x) and
An2 exp (ikn x) represent the outgoing and reflected waves in the n-th layer
with amplitudes An1 and An2 respectively. In addition, on the surface (x = 0),
there holds:
∂u1 (x, t)
E1 = P exp (iωt). (3.40)
∂x
70
Therefore, (3.39)–(3.41) give rise to the following system of equations:
−E1 ik1 , E1 ik1 , 0, 0, 0, 0, 0 A11
e−ik1 x2 , eik1 x2 , −e−ik2 x2 , −eik2 x2 , 0, 0, 0 A12
−E1 ik1 e−ik1 x2 , E1 ik1 eik1 x2 , E2 ik2 e−ik2 x2 , −E2 ik2 eik2 x2 , 0, 0, 0 A21
0, 0, e−ik2 x3 , eik2 x3 , −e−ik3 x3 , −eik3 x3 , 0 A22
−ik x ik x −ik x ik x
0, 0, −E2 ik2 e 2 3
, E2 ik2 e 2 3
, E3 ik3 e 3 3
, −E3 ik3 e 3 3
, 0 A31
0, 0, 0, 0, e−ik3 x4 , eik3 x4 , −e−ik4 x4 A32
0, 0, 0, 0, −E3 ik3 e−ik3 x4 , E3 ik3 eik3 x4 , E4 ik4 e−ik4 x4 A41
P
0
0
= 0 .
0
0
0
(3.42)
Solving for the coefficients A11 , ..., A41 in (3.42) leads to the solution for the
total wave-fields in (3.39) (there are no real roots to the determinant). For
example: for the given stratification shown in Fig. 3.3 and for a force amplitude
of P = 50kN/m2 , the time-harmonic response solution u3 (x, t) in the target
layer becomes:
u3 (x, t) =
22 − iω(−1300+x) iω(−1300+x)
5
ie 1500 − 2ie 1500 eiωt
17 7 7 iω 17 iω
. (3.43)
ω 165e− 30 iω − 5e− 30 iω − 11e 30 iω − 22e 6 + 363e 30 iω − 106e− 6
Clearly, (3.43) has no resonant frequencies for ω 6= 0. The same applies to the
motion within the other layers. However, there are frequencies for which the
motion is amplified. Figure 3.15 depicts the distribution of the amplitude of the
particle velocity | ∂u
∂t
| of the time-harmonic motion with respect to space, and
71
for a frequency sweep between 0 and 20Hz. Notice that, at discrete frequencies
close to 1.34Hz, 4.01Hz, 6.67Hz, etc, there is strong motion amplification in
all layers, not just the target. By contrast, at frequencies close to 2.26, 4.89,
7.50, ..., 19.9Hz, etc, motion amplification is only observed in the target layer.
The first of these frequencies (2.26Hz) is precisely the frequency our optimizer
converged to in the last numerical experiment.
72
| ∂u
∂t | [m/s]
0 0.05
0.045
0.04
500
0.035
0.03
x [m]
0.025
1000
Target 0.02
Ω0
0.015
1300
0.01
0.005
1800 0
1 2 3 4 5 6 7 8 9 10
f = ω/2π [Hz]
0.045
0.04
500
0.035
0.03
x [m]
0.025
1000
Target 0.02
Ω0
0.015
1300
0.01
0.005
1800 0
11 12 13 14 15 16 17 18 19 20
f = ω/2π [Hz]
73
−2
10
i
J· s
m2
h
−3
10
L
4.0 Hz 6.7 Hz
1.3 Hz (the global minimum)
0 1 2 3 4 5 6 7 8 9 10
Frequ en cy f [ H z]
(a) L in (3.4)
5
L
1
0 1 2 3 4 5 6 7 8 9 10
Frequ en cy f [ H z]
(b) L in (3.5)
Figure 3.16: The values of the objective functionals (3.4) and (3.5) for a sinu-
soidal loading time signal f (t) = 50 sin (2πf t)kN/m2 for frequencies f =0.1–
10Hz.
74
f (t) can be described as follows:
np X
X nf
f (t) = fi ϕ(i+nf (j−1)) (t). (3.44)
j=1 i=1
75
60 Initial guess
40 Final solution (200−th iteration)
f (t ) [ kN/m2 ]
20
0
−20
−40
−60
0 0.2 0.4 0.6 0.8 1
Ti me t [ s]
Fou ri er tran sform of f (t ) 8
x 10
2
1.5
4 Hz
0.5
0
0 5 10 15 20 25
Frequ en cy f [ H z]
60
40 Final solution (131−th iteration)
f (t ) [ kN/m2 ]
20
0
−20
Initial guess
−40
−60
0 0.05 0.1 0.15 0.2 0.25 0.3
Ti me t [ s]
Fou ri er tran sform of f (t )
8
x 10
2
6.7 Hz
1.5
0.5
0
0 5 10 15 20 25
Frequ en cy f [ H z]
Figure 3.17: Inverted-for periodic loading time signals, obtained via the min-
imization of (3.4) (all layers active), show strong components at theoretical
amplification frequencies 4.0 and 6.7Hz.
76
60
Initial guess Final solution (200−th iteration)
40
f (t ) [ kN/m2 ]
20
0
−20
−40
−60
0 0.5 1 1.5 2
Ti me t [ s]
Fou ri er tran sform of f (t ) 7
x 10
10
6
5 Hz
0
0 5 10 15 20 25
Frequ en cy f [ H z]
60
Initial guess
40 Final solution (200−th iteration)
f (t ) [ kN/m2 ]
20
0
−20
−40
−60
0 0.5 1 1.5
Ti me t [ s]
Fou ri er tran sform of f (t )
7
x 10
5
4
7.35 Hz
3
0
0 5 10 15 20 25
Frequ en cy f [ H z]
Figure 3.18: Inverted-for periodic loading time signals, obtained via the min-
imization of (3.5) (silent neighbors), show strong components at theoretical
amplification frequencies 5.0 and 7.35Hz.
77
60
40
Di sconti nu i ty
f (t ) [ kN/m2 ]
20
−20
−40
−60
3 3.2 3.4 3.6 3.8 4 4.2 4.4 4.6 4.8 5
Ti me t [ s]
(a) The optimized loading time signal shown in Fig. 3.6(a) (obtained via the
minimization of (3.4) – all layers active)
60
40
f (t ) [ kN/m2 ]
20
Di sconti nu i ty
0
−20
−40
−60
3 3.2 3.4 3.6 3.8 4 4.2 4.4 4.6 4.8 5
Ti me t [ s]
(b) The optimized loading time signal shown in Fig. 3.12(a) (obtained via the mini-
mization of (3.5) – silent neighbors)
Figure 3.19: Close-up views of the optimized loading time signals, temporally
approximated by quadratic shape functions (derivatives are not smooth).
78
3.4.5 Time signal smoothing
As seen in Fig. 3.19, the optimized time signals, which are temporally
approximated via quadratic shape functions, are likely to be non-smooth (they
are only C 0 continuous, and could then introduce very high frequency compo-
nents). To alleviate such non-smoothness of the optimized force time signals,
we employ Hermite cubic basis functions, which automatically ensure the C 1
continuity for the temporal approximation of f (t). Hence, we approximate
f (t) as the following:
nf nf
X X
f (t) = fi ϕi (t) + fi′ ϕ′i (t), (3.46)
i=1 i=1
where ti denotes the time for the i-th discretized force points for the temporal
approximation. Here, we use Hermite polynomial shape functions [7] to con-
79
struct such global basis functions ϕi (t) and ϕ′i (t). Then, the reduced gradients
become:
Z T
∇f i L = λϕi (t)dt , (3.49)
0
Z T x=0
′
∇f i L = λϕi (t)dt . (3.50)
′
0
x=0
First, we identify the smooth optimal time signal that can maximize the
kinetic energy in Ω0 with all layers active by minimizing (3.4). To this end, the
optimization process starts with the initial guess seen in Fig. 3.20(a), while all
the slope parameters are initially set to be zero as shown in Fig. 3.20(b). Af-
ter 151 iterations, the optimizer arrives at the smooth near-rectangular-shaped
time signal shown in Fig. 3.21(a). The close-up view in Fig. 3.21(b) demon-
strates that this optimized time signal is quite smooth as opposed to the non-
smooth signal of the quadratic temporal approximation shown in Fig. 3.6(a).
We remark that the dominant frequency of the smooth optimal loading time
signal, 1.3Hz, remains unaltered from that of the quadratically approximated
non-smooth optimized time signal.
80
selectively maximize the kinetic energy in Ω0 with silent neighbors by mini-
mizing (3.5) with the same initial guess, as shown in Fig. 3.20. We obtain the
smooth optimized time signal shown in Fig. 3.22. The dominant frequency
2.2Hz of this smooth optimal time signal is, again, unaltered from that of the
non-smooth optimized time signal shown in Fig. 3.12(a).
81
60
40
f (t ) [ kN/m2 ]
20
−20
−40
−60
0 1 2 3 4 5 6 7 8 9 10
Ti me t [ s]
60
40
f (t ) [ kN/m2 ]
20
−20
−40
−60
3.5 4 4.5 5
Ti me t [ s]
1.5
0.8 Hz
1.1 Hz
1
1.4 Hz 2.2 Hz
2.5 Hz
0.5
0
0 2 4 6 8 10
Frequ en cy f [ H z]
Figure 3.20: The initially guessed loading time signal, temporally approxi-
mated by using Hermite shape functions, for the maximization of the kinetic
energy in Ω0 .
82
60
40
f (t ) [ kN/m2 ]
20
−20
−40
−60
0 1 2 3 4 5 6 7 8 9 10
Ti me t [ s]
60
40
f (t ) [ kN/m2 ]
20
−20
−40
−60
3 3.1 3.2 3.3 3.4 3.5 3.6 3.7 3.8 3.9 4
Ti me t [ s]
7
1.3 Hz
6
0
0 1 2 3 4 5 6 7 8 9 10
Frequ en cy f [ H z]
Figure 3.21: The smooth optimal loading time signal is recovered after 151 iter-
ations (unconstrained neighbors, Hermite approximation of a guessed loading
time signal).
83
60
40
f (t ) [ kN/m2 ]
20
−20
−40
−60
0 1 2 3 4 5 6 7 8 9 10
Ti me t [ s]
60
40
f (t ) [ kN/m2 ]
20
−20
−40
−60
3.5 4 4.5 5
Ti me t [ s]
4 2.2 Hz
0
0 2 4 6 8 10
Frequ en cy f [ H z]
Figure 3.22: The smooth optimal loading time signal is recovered after 761
iterations (silent neighbors, Hermite approximation of a guessed loading time
signal).
84
3.4.6 Wave source optimal time signals – maximum acceleration –
unconstrained or silent neighbors
1
L= R RT , (3.51)
∂2u
Ω0 0
[ ∂t2
(x, t)]2 dtdx
replacing (3.5). There result the following changes to the adjoint problem:
85
• equation (3.17) is replaced by:
R 2
2 Ω\Ω 0T [ ∂ u(x,t) ]2 dtdx
R
∂t2
R R T [ ∂ 2 u(x,t) ]2 dtdx2 , x ∈ Ω0 ,
0
Ω0 0 ∂t2
E(x) = , (3.54)
R R −2 , x ∈ Ω\Ω ,
T ∂ 2 u(x,t) 2 0
Ω0 0 [ ∂t2
] dtdx
∂2λ ∂4u
∂ ∂λ
E − ρ 2 = E(x) 4 , x ∈ (0, L), t ∈ [0, T ), (3.55)
∂x ∂x ∂t ∂t
∂λ
(0, t) = 0, t ∈ [0, T ), (3.56)
∂x
∂λ 1 ∂λ
(L, t) − (L, t) = 0, t ∈ [0, T ), (3.57)
∂x c(L) ∂t
E(x) ∂ 2 u
λ(x, T ) = − (x, T ), x ∈ (0, L), (3.58)
ρ ∂t2
∂λ E(x) ∂ 3 u λ(x, T ) E
(x, T ) = − 3
(x, T ) + δ(x − l), x ∈ (0, L), (3.59)
∂t ρ ∂t ρ c
Here, we remark that the above adjoint problem is driven by (a) the body force
term in (3.55), which uses the fourth derivative of the displacement u(x, t) with
respect to time t; (b) the final value terms in (3.58) and (3.59), which employ
the second and third derivative of u(x, t) with respect to time t. We compute
5 λE
We implemented the final value condition (3.59) without the singular term ρ c δ(x − l).
Nevertheless, the optimizer computes the search direction correctly.
86
the third and fourth derivatives of the discrete solution of u(x, t) with respect
to time t via the finite-difference scheme [16] as the following:
∂ 2 u(x,t+∆t) 2 ∂ 2 u(x,t−∆t)
∂ 4 u(x, t) ∂t2
− 2 ∂ u(x,t)
∂t2
+ ∂t2
= , t 6= 0 and t 6= T, (3.61)
∂t4 (∆t) 2
∂ 2 u(x,T ) 2
∂ 3 u(x, T ) ∂t2
− ∂ u(x,T
∂t2
−∆t)
= , (3.64)
∂t3 (∆t)
where ∆t denotes the time step used for computing the discrete solution of
the state and adjoint problems.
87
Recalling (3.43), the amplitude of the acceleration field of the time-
harmonic response at a particular point within a targeted inclusion is nearly
proportional to the frequency ω, as in the following:
∂ 2 u3 (x, t)
=
∂t2
22 − iω(−1300+x) iω(−1300+x)
5
ie 1500 − 2ie 1500 eiωt
−ω× 17 7 7 iω 17 iω
,
165e− 30 iω − 5e− 30 iω − 11e 30 iω − 22e 6 + 363e 30 iω − 106e− 6
(3.65)
whereas the amplitude of the velocity field of the time-harmonic response at a
particular point within a targeted inclusion is not proportional to the frequency
ω:
∂u3 (x, t)
=
∂t
22 − iω(−1300+x) iω(−1300+x)
i 5
ie 1500 − 2ie 1500 eiωt
17 7 7 iω 17
. (3.66)
− 30 iω − 30 iω iω iω − iω
165e − 5e − 11e 30 − 22e + 363e
6 30 − 106e 6
Fig. 3.24 shows that the amplitude of the acceleration field within the
targeted inclusion for the optimized loading time signal, shown in Fig. 3.23(c),
is up to 6m/s2 . Such amplitudes are much larger than those, shown in Fig. 3.25,
for the optimal loading time signal obtained for the maximization of the kinetic
energy.
88
On the other hand, as seen in Fig. 3.23(d), the minimization of the
other acceleration-based objective functional (3.52) (silent acceleration in the
neighbors) gives rise to the time signal of the dominant frequency of 2.2Hz.
This frequency is identical to that of the optimal loading time signal, shown in
Fig. 3.12, that is obtained by minimizing (3.5) (the maximization of the kinetic
energy in the target with silent adjacent layers). Fig. 3.26(b) also shows that
the frequency sweep of the objective functional (3.52) has the global minimum
at 2.2Hz. That is, as opposed to (3.51), (3.52) does not tend to decrease with
respect to the increasing frequency because the near-proportional frequency
dependency of the denominator of (3.52) is eliminated by that of the numerator
of (3.52).
89
60 Final solution (146−th iteration) 60 Final solution (201−th iteration)
40 40
f (t ) [ kN/m2 ]
f (t ) [ kN/m2 ]
20 20
0 0
−20 −20
−40 −40
−60 Initial guess −60
Initial guess
8 8.3 Hz 2.5 11 Hz
2
6
1.5
4
1
2 0.5
0 0
0 5 10 15 20 25 0 5 10 15 20 25
Frequ en cy f [ H z] Frequ en cy f [ H z]
(a) The optimal f (t) obtained via the min- (b) The optimal f (t) obtained via the min-
imization of (3.51) (all layers active) with imization of (3.51) (all layers active) with
200 discretized force parameters 400 discretized force parameters
20 20
0 0
−20 −20
−40 −40
−60 Initial guess −60 Initial guess
0 0.5 1 1.5 2 0 0.5 1 1.5 2 2.5 3 3.5 4 4.5 5
Ti me t [ s] Ti me t [ s]
Fou ri er tran sform of f (t )
8 7
x 10 x 10
3 5
2.5 4
2
13.7 Hz 3 2.2 Hz
1.5
2
1
0.5 1
0 0
0 5 10 15 20 25 0 1 2 3 4 5 6 7 8 9 10
Frequ en cy f [ H z] Frequ en cy f [ H z]
(c) The optimal f (t) obtained via the min- (d) The optimal f (t) obtained via the mini-
imization of (3.51) (all layers active) with mization of (3.52) (silent acceleration in neigh-
500 discretized force parameters bors) with 100 discretized force parameters
Figure 3.23: The optimized loading time signals for the maximization of the
acceleration in Ω0 .
90
10
[ m/s2 ] at x = 1100 m
−5
∂ 2u
∂ t2
−10
0 1 2 3 4 5 6 7 8 9 10
Ti me t [ s]
10
[ m/s2 ] at x = 1200 m
−5
∂ 2u
∂ t2
−10
0 1 2 3 4 5 6 7 8 9 10
Ti me t [ s]
Figure 3.24: The acceleration in the target formation Ω0 , for the converged
loading in Fig. 3.23(c).
91
10
[ m/s2 ] at x = 1100 m
−5
∂ 2u
∂ t2
−10
0 0.5 1 1.5 2 2.5
Ti me t [ s]
10
[ m/s2 ] at x = 1200 m
−5
∂ 2u
∂ t2
−10
0 0.5 1 1.5 2 2.5
Ti me t [ s]
Figure 3.25: The acceleration in the targeted formation Ω0 for the optimized
loading signal in Fig. 3.6 (maximization of kinetic energy in Ω0 with all layers
active).
92
−1
10
−2
10
L
−3
10
4.0 Hz
5.6 Hz
10
−4 11.0 Hz 13.7 Hz
8.3 Hz
0 2 4 6 8 10 12 14 16 18 20
f [ H z]
1
0 2 4 6 8 10 12 14 16 18 20
f [ H z]
93
3.5 Summary
94
shape functions could reduce high frequency components, associated with
the non-smoothness of a loading signal approximated by using quadratic
shape functions.
95
Chapter 4
96
f(t) f(t)
x2
n x1
x3
Γfree Γload
Ωreg
ΩPML
Figure 4.1: The problem definition: the target inclusion Ω0 embedded within
a semi-infinite heterogeneous host.
97
the space and time dependency of the variables and coefficients are dropped):
∂STa ∂ 2 ua
div −ρ = 0, x ∈ Ω0 , t ∈ (0, T ], (4.1a)
∂t ∂t2
" T #
∂ 2 Sa
1 ∂ua ∂ua
D − ∇ + ∇ = 0, x ∈ Ω0 , t ∈ (0, T ], (4.1b)
∂t2 2 ∂t ∂t
and
∂STb
2
T ∂ ub ∂ub
div Λ̃e + Sb Λ̃p − ρ a 2 + b + cub = 0,
∂t ∂t ∂t
x ∈ Ω \ Ω0 , t ∈ (0, T ], (4.2a)
2
∂ Sb ∂Sb
ΛTe D T
Λe + Λe D Λp
∂t2 ∂t
T ∂Sb
+ Λp D Λe + ΛTp (D [Sb ])Λp
∂t
" T #
1 T 1 ∂u b ∂u b
− Λp ∇ub + (∇ub )T Λp − ΛTe ∇
+ ∇ Λe = 0,
2 2 ∂t ∂t
x ∈ Ω \ Ω0 , t ∈ (0, T ], (4.2b)
where x = (x1 , x2 ) denotes location, t denotes time; T denotes the total obser-
vation time. (4.1a) and (4.1b) denote, respectively, the equation of motion and
the combined constitutive and kinematic equation in the targeted elastic solid
medium Ω0 ; (4.2a) and (4.2b) denote, respectively, the equation of motion and
the combined constitutive and kinematic equation in the surrounding elastic
solid medium Ω \ Ω0 , which includes ΩPML . u(x, t) denotes the displacement
98
field,
u1 (x, t)
u(x, t) = , (4.3)
u2 (x, t)
and S(x, t) denotes the stress history tensor, which is defined as the following:
S11 (x, t) S12 (x, t)
S(x, t) =
S21 (x, t) S22 (x, t)
Z t
= σ(x, τ )dτ. (4.4)
0
∂S
In (4.4), σ(x, t) denotes the second-order stress tensor. Thus, ∂t
(x, t) is equal
to the stress tensor σ(x, t). We remark that (4.1) and (4.2) are differential
equations in terms of both the displacement and the stress-history tensor; the
equations of u(x, t) and S(x, t) with the subscript ‘a’ and ‘b’ are satisfied in,
Ω0 and Ω \ Ω0 , respectively. D(x) denotes the fourth-order compliance tensor
and square brackets following D denote tensor operation. The strain tensor
can be obtained as:
∂S
ε(x, t) = D(x) (x, t) , (4.5)
∂t
or
" #
∂u1 ∂u1 (1−ν 2 ) ∂S11
− ν(1+ν) ∂S22 (1+ν) ∂S12
∂x1 ∂x2 E ∂t E ∂t E ∂t
∂u2 ∂u2 = (1+ν) ∂S21 2
(1−ν ) ∂S22 ν(1+ν) ∂S11 . (4.6)
∂x1 ∂x2 E ∂t E ∂t
− E ∂t
In (4.1) and (4.2), ρ(x) is the mass density of the elastic solid medium; Λ̃e (x),
Λ̃p (x), Λe (x), and Λp (x) are coordinate stretching tensors, and a(x), b(x),
and c(x) are attenuation coefficients [45, 46, 47]. The system is also subjected
99
to the following boundary conditions:
100
get inclusion Ω0 . To this end, we inversely compute the loading time signal
information of the wave sources that can minimize the following objective
functional:
1
L= 2 2 . (4.10)
R RT ∂ua1 ∂ua2
Ω0 0
ρ ∂t
+ ∂t
dtdΩ
Alternatively, we also try to maximize the kinetic energy in the target inclusion
Ω0 while the kinetic energy in the neighboring formations Ωreg \Ω0 is minimized.
To this end, we inversely compute the time signal of wave sources that can
minimize the following objective functional:
∂ub1 2 ∂ub2 2
R RT
Ωreg \Ω0 0
ρ ∂t
+ ∂t dtdΩ
L= 2 2 . (4.11)
R RT ∂ua1 ∂ua2
Ω0 0
ρ ∂t
+ ∂t dtdΩ
The denominators of (4.10) and (4.11) include the temporal integral of the
kinetic energy that is spatially integrated over Ω0 ; the numerator of (4.11) is
the temporal integral of the kinetic energy that is spatially integrated over the
formations surrounding the reservoir (Ωreg \ Ω0 ). We remark that the form of
an objective functional could be altered depending on a metric to be minimized
or maximized. For instance, an alternative objective functional could be cast
in terms of the acceleration field as:
1
L= 2 . (4.12)
R R T ∂ 2 ua 2
∂ 2 ua2
Ω0 0 ∂t2
1
+ ∂t2
dtdΩ
101
inclusion Ω0 , such that the minimization of (4.12) can lead to optimal loading
time signals that can maximize acceleration within Ω0 .
1
A= 2 2
R RT ∂ua1 ∂ua2
Ω0 0
ρ ∂t
+ ∂t
dtdΩ
Z T
∂STa ∂ 2 ua
Z
+ λua · div − ρ 2 dtdΩ
Ω0 0 ∂t ∂t
Z Z T " ( T )#
∂ 2 Sa
1 ∂ua ∂ua
+ λ Sa : D − ∇ + ∇ dtdΩ
Ω0 0 ∂t2 2 ∂t ∂t
Z T T
∂Sb
Z
T
+ λub · div Λ̃e + Sb Λ̃p
Ω\Ω0 0 ∂t
2
∂ ub ∂ua
−ρ a 2 + b + cub dtdΩ
∂t ∂t
Z T 2
∂ Sb ∂Sb
Z
T T
+ λ Sb : Λ e D Λe + Λe D Λp
Ω\Ω0 0 ∂t2 ∂t
102
∂Sb
+ ΛTp D Λe + ΛTp (D [Sb ])Λp
∂t
1
− ΛTp ∇ub + (∇ub )T Λp
2(
T )#
1 ∂u b ∂u b
− ΛTe ∇ + ∇ Λe dtdΩ
2 ∂t ∂t
T T
∂Sb
Z Z
+ λF · n − f(x, t) dtdΓ, (4.13)
Γload 0 ∂t
whereas the other associated conditions in (4.7a), (4.7c), (4.8), and (4.9) are
implicitly imposed to the augmented functional. In (4.13), the vector Lagrange
multipliers λua , λub , and λF are used for the side-imposition of the vector
equations, (4.1a), (4.2a), and (4.7b), respectively, via the dot product (·);
the second-order tensor Lagrange multipliers λSa and λSb are used for the
imposition of the tensor equations, (4.1b) and (4.2b), respectively, via the
tensor inner product (:). We remark that the dimensions of λua , λub , and λF
differ from those of λSa and λSb .
103
4.2.2.1 The first optimality condition
∂ 2 λ ua ∂λsym ∂ 2 ua
Sa
ρ + div = ρE , x ∈ Ω0 , t ∈ [0, T ), (4.14a)
∂t2 ∂t ∂t2
" T #
∂ 2 λsym
Sa 1 ∂λ ua ∂λ ua
D + ∇ + ∇ = 0, x ∈ Ω0 , t ∈ [0, T ),
∂t2 2 ∂t ∂t
(4.14b)
104
and
∂ 2 λ ub ∂λsym ∂ 2 ub
∂λub sym Sb
ρa − ρb + λ ub ρc + div −Λ λ
p Sb + Λ e = ρE ,
∂t2 ∂t ∂t ∂t2
x ∈ Ω \ Ω0 , t ∈ [0, T ), (4.15a)
" T #
1 ∂λub ∂λub 1h T
i
Λ̃e ∇ + ∇ Λ̃e − Λ̃p (∇λub ) + (∇λub )Λ̃p
2 ∂t ∂t 2
∂ 2 λsym ∂λsym ∂λsym
T Sb T Sb T Sb T sym
+ D Λe Λe − Λe Λp − Λp Λe + Λp λSb Λp = 0,
∂t2 ∂t ∂t
x ∈ Ω \ Ω0 , t ∈ [0, T ), (4.15b)
E(x) in the body force term in (4.14a) and (4.15a) is defined as:
2
RΩ R0T ρ[ ∂ua · ∂ua ]dtdΩ2 , x ∈ Ω0 ,
0 ∂t ∂t
E(x) = . (4.16)
0 , x ∈ Ω \ Ω0
The solutions of the adjoint PDEs, (4.14) and (4.15), are subject to the bound-
ary conditions:
∂λsym
Sb
−Λp λsym
Sb + Λe n = 0, x ∈ Γfree , (4.17a)
∂t
λub = 0, x ∈ Γfixed , (4.17b)
105
and the final value conditions:
We remark that the adjoint PDEs (4.14) and (4.15) include governing opera-
tors similar to those in the state PDEs (4.1) and (4.2), while the body force
2 2
terms ρE ∂∂tu2a and ρE ∂∂tu2b in the adjoint problem implicate the solution of the
state problem. We also remark that, as opposed to the state IBVP, the adjoint
problem is a FBVP, of which the final values, in (4.19), are provided by the
coefficient E(x) and the state solution.
106
tively, are replaced by:
sym
∂ 2 λ ua ∂λSa ∂ 4 ua
ρ + div = −E , x ∈ Ω0 , t ∈ [0, T ), (4.21)
∂t2 ∂t ∂t4
∂ 2 λ ub ∂λsym ∂ 4 ub
∂λub sym Sb
ρa − ρb + λ ub ρc + div −Λ λ
p Sb + Λ e = −E ,
∂t2 ∂t ∂t ∂t4
x ∈ Ω \ Ω0 , t ∈ [0, T ), (4.22)
whereas the other adjoint PDEs (4.14b) and (4.15b) remain unaltered. We
remark that, in (4.21) and (4.22), the right-hand-side body force terms include
the fourth derivative of the state solutions with respect to time t, as well as a
new coefficient E(x), which is re-defined as:
2
RΩ R0T h ∂ 2 u2a · ∂ 2 u2a idtdΩ2
, x ∈ Ω0 ,
0 ∂t ∂t
E(x) = . (4.23)
0 , x ∈ Ω \ Ω0
E ∂ 2 ua ∂λub E ∂ 3 ub Eb ∂ 2 ua
λ ub = − , = − − ,
ρa ∂t3 ∂t ρa ∂t3 ρa2 ∂t2
∂λsymSb
λsym
Sb = 0, = 0, x ∈ Ω \ Ω0 , t = T. (4.24b)
∂t
107
discretized force parameters used for parameterizing f2 (t) – as in:
nf
X
f2 (t) = f2i ϕi (t), (4.25)
i=1
where ϕi (t) denotes the i-th shape function that is used for approximating
the time signal f2 (t) with respect to time t. Then, such a vanishing variation,
δf2i A = 0, leads to the following control problem (the explicit derivation of
the control problem is detailed in Appendix B):
We remark that the control equation (4.26) provides ∇f2i L – the gradient of the
objective functional L – since the side-imposed constraints of the augmented
functional A vanish owing to the satisfaction of the state problem. Thus, with
the aid of this gradient ∇f2i L, we can employ a gradient-based minimization
to find a stationary point of the objective functional L. In the next section, we
discuss the numerical implementation required to solve the state, adjoint, and
control problems for the satisfaction of the first-order optimality conditions.
108
iterative procedure undergoes the following steps: (a) we solve the state prob-
lem by using an initially guessed loading time signal; (b) the adjoint problem
is then, in turn, solved by using the state solution; and (c) the ensuing com-
putation of the control problem results in the gradient ∇f2i L, and the control
parameters f2i are updated by virtue of a conjugate-gradient (CG) scheme
[19, 59] with an inexact line-search method [59]. The numerical optimizer
repeats steps (a) to (c) until the control parameters converge (the detailed
algorithm of such parameter updates is described in Algorithm 1 in chapter
3). In the following subsections, we describe the classic Galerkin finite element
method utilized for solving the state and adjoint problems, appropriately ad-
justed to account for the mixed form of the two-dimensional problem.
To derive the weak form of the state problem, we firstly take the inner
product between a vector test function wa (x) and the PDE (4.1a) and inte-
grate over Ω0 ; similarly, we integrate the inner product between a test function
wb (x) and the PDE (4.2a) over Ω\Ω0 . Then, by virtue of the divergence theo-
rem and the continuity of displacements and tractions on Γint , the summation
of the two integrals leads to the following weak form of the equations of motion
109
of the state problem:
∂STb ∂STa ∂ 2 ua
Z Z
T
wb · Λ̃e + Sb Λ̃p n dΓ − ∇wa : + wa · ρ 2 dΩ
Γfree ∂t Ω0 ∂t ∂t
T 2
∂Sb ∂ ub ∂ub
Z
T
− ∇wb : Λ̃e + Sb Λ̃p + wb · ρ a 2 + b + cub dΩ = 0.
Ω\Ω0 ∂t ∂t ∂t
(4.27)
∂ST
2
∂ u ∂u
Z
T
∇w : Λ̃e + S Λ̃p + w · ρ a 2 + b + cub dΩ
Ω ∂t ∂t ∂t
T
∂S
Z
= w· n dΓ, (4.28)
Γload ∂t
where the variables with the subscripts ‘a’ and ‘b’ are merged into the variables
without the subscripts as the following:
Next, after taking the tensor inner product between a test function Ta (x) and
the state PDE (4.1b), we integrate the tensor inner product over Ω0 . Then,
we integrate another tensor inner product between a test function Tb (x) and
(4.2b) over Ω \ Ω0 . The summation of the two integrals, via the continuity
conditions in (4.8), gives rise to the weak form of the combined kinematic and
110
constitutive equations of the state problem:
∂2S
∂S
Z
T
T: D 2
Λe + Λe D Λp
Ω ∂t ∂t
T ∂S
+ Λp D Λe + ΛTp (D [S]) Λp
∂t
" T #)
1 T 1 ∂u ∂u
− Λp ∇u + (∇u)T Λp − ΛTe ∇
+ ∇ Λe dΩ = 0,
2 2 ∂t ∂t
(4.30)
T(x) = Ta (x), x ∈ Ω0 ,
Then, we introduce the approximation of the test functions w(x) and T(x)
and the trial functions u(x, t) and S(x, t):
where ui (t) and Sij (t) denote the vectors of nodal solutions of the state solu-
tions ui (x, t) and Sij (x, t); wi and Tij denote the vectors of nodal quantities of
the test functions wi (x) and Tij (x); Φ(x) and Ψ(x) denote the vectors of the
shape functions (we use a quadratic shape function pair for Φ(x) and Ψ(x)
to ensure stable solutions [45, 46, 47]). Then, (4.28) and (4.30), in turn, result
111
in the semi-discrete form:
∂ 2 ST(t) ∂ST(t)
Mst 2
+ Cst + Kst ST(t) = Fst , (4.33)
∂t ∂t
where the solution vector of the state problem, ST(t), is defined as the follow-
ing:
u1 (t)
u2 (t)
ST(t) =
S11 (t) .
(4.34)
S22 (t)
S12 (t)
The specific forms of the matrices Mst , Cst , and Kst , as well as the force vector
Fst in (4.33) are (we show the components of each matrix in Appendix C):
st
M11 0 0 0 0
0 M22 st
0 0 0
st st
Mst = 0 0 M 33 M 34 0 ,
(4.35)
0 st st
0 M43 M44 0
st
0 0 0 0 M55
st st st
C11 0 C13 0 C15
0 C22 st st st
st 0 C24 C25
st st
Cst =
C 31 0 C 33 C 34 0 ,
(4.36)
st
0 C42 C43 C44 0 st st
st st st
C51 C52 0 0 C55
st st st
K11 0 K13 0 K15
0 K22 st st st
st 0 K24 K25
st st
Kst = K
31 0 K 33 K 34 0 ,
(4.37)
st
0 K42 K43 K44 0 st st
st st st
K51 K52 0 0 K55
R 0
Γload Φf2 (t)
Fst = 0 .
(4.38)
0
0
112
4.3.2 Adjoint problem semi-discrete form
Similarly to the weak forms of the state problem, we derive the weak
forms of the adjoint problem. First, the summation of weak forms of the PDEs
(4.14a) and (4.15a) is:
∂ 2 λu
∂λu
Z
w· ρa − ρb + λu ρc dΩ
Ω ∂t2 ∂t
∂λsym
Z
sym S
− ∇w : −Λp λS + Λe dΩ
Ω ∂t
∂2u
Z
= w · ρE 2 dΩ, (4.39)
Ω ∂t
and the summation of the weak forms of the other two PDEs (4.14b) and
(4.15b) is:
( T !
1 ∂λu ∂λu 1
Z
T: Λ̃e ∇ + ∇ Λ̃e − Λ̃p (∇λu )T + (∇λu )Λ̃p
Ω 2 ∂t ∂t 2
2 sym sym sym
T ∂ λS T ∂λS T ∂λS T sym
+D Λe Λe − Λe Λp − Λp Λ e + Λ p λS Λ p dΩ = 0.
∂t2 ∂t ∂t
(4.40)
In (4.39) and (4.40), the adjoint variables are merged (w(x) and T(x) are
already merged per (4.29) and (4.31)) as in:
Next, along with the approximation of the test functions w(x) and T(x) as
shown in (4.32), we introduce the approximation of the adjoint solutions as:
λsym T sym
Sij (x, t) = Ψ(x) λSij (t), i, j = 1, 2, (4.42)
113
where λui (t) and λsym
Sij (t) denote the vectors of nodal solutions of the adjoint
problem. Then, the weak forms (4.39) and (4.40) reduce to the following
semi-discrete form:
∂ 2 λ(t) ∂λ(t)
Madj 2
+ Cadj + Kadj λ(t) = Fadj . (4.43)
∂t ∂t
Hereby, the solution vector of the adjoint problem λ(t) is defined as the fol-
lowing:
λu1 (t)
λu2 (t)
λsym
λ(t) = S11 (t)
, (4.44)
λsym
S22 (t)
λsym
S12 (t)
and the specific forms of the matrices Madj , Cadj , Kadj , and Fadj are as follows
(we show the components of each matrix in Appendix C):
adj
M11 0 0 0 0
0 adj
M22 0 0 0
adj adj
Madj = 0 0 M33 M34 0 , (4.45)
adj adj
0 0 M43 M44 0
adj
0 0 0 0 M55
adj adj adj
C11 0 C13 0 C15
0 C adj 0 C24 adj adj
C25
21
adj adj adj
Cadj = C31 0 C33 C34 0 , (4.46)
adj adj adj
0 C42 C43 C44 0
adj adj adj
C51 C52 0 0 C55
114
adj adj adj
K11 0 K13 0 K15
adj adj adj
0 K22 0 K24 K25
adj adj adj
Kadj = K31 0 K33 K34 0 , (4.47)
adj adj adj
0 K42 K43 K44 0
adj adj adj
K51 K52 0 0 K55
2
E Ω ρΦΦT dΩ ∂∂tu21
R
E R ρΦΦT dΩ ∂ 2 u2
Ω ∂t2
Fadj =
0 .
(4.48)
0
0
Time integration
115
at each time step are obtained by solving the following systems of equations:
(∆t)2 ∂ 2 ST(n+1)
∆t
Mst + Cst + Kst
2 4 ∂t2
∂ST(n) ∂ 2 ST(n) ∆t
= Fst(n+1) − Cst +
∂t ∂t2 2
2
∂ST(n) ∂ ST(n) (∆t)2
− Kst ST(n) + (∆t) + , (4.50)
∂t ∂t2 4
(∆t)2 ∂ 2 λ(n)
∆t
Madj − Cadj + Kadj
2 4 ∂t2
∂λ(n+1) ∂ 2 λ(n+1) ∆t
= Fadj (n) − Cadj −
∂t ∂t2 2
2
∂λ(n+1) ∂ λ(n+1) (∆t)2
− Kadj λ(n+1) − ∆t + , (4.51)
∂t ∂t2 4
where ∆t is the time step; the subscripts (n) and (n + 1) denote the evaluation
of the nodal vectors at the n-th and (n + 1)-th time steps; the time-line of
the evaluation of the solution in (4.51) is reversed with respect to that of
(4.50). By using the discrete solution of the adjoint problem, the gradient of
the objective functional, i.e., ∇f2i L, is computed based on the control equation
(4.26) in the following manner:
T
∂f2 (t)
Z Z
∇f2i L = λu2 (x, t) dtdΓ
Γload 0 ∂f2i
Z T
∂f2 (t)
Z
T
= Φ (x)λu2 (t) dtdΓ
Γload 0 ∂f2i
Z Z T
T
= Φ (x) {λu2 (t)ϕi (t)} dt dΓ. (4.52)
Γload 0
116
of the objective functional. We validated the derivation and implementation
of the state, adjoint, and control problems by comparing the values of the
components of the gradient computed by (4.52) with those of the numerical
gradient obtained by the finite difference scheme (per (3.37)); the values of the
components of both gradients are in excellent agreement. Using the numerical
optimizer, implemented as per the above discussion, we conduct numerical
experiments as follows.
1
The poroelastic medium partially saturated with fluid or gas phases is generally softer
than the surrounding media [23].
117
f(t) Loaded area f(t) Loaded area
f (t) f(t)
x2
x2
2.5 m x 1 2.5 m
2.5 m x 1 2.5 m
x3
x3
70 m 70 m 30 m 70 m
80 m 80 m
Layer 1 Layer 1
250 m 250 m
90 m Layer 2 90 m
ΩPML ΩPML ΩPML Layer 2 ΩPML
Cap rock Cap rock
Layer 3 32 m Layer 3 32 m
40 m 40 m
160 m 160 m
Layer 4 Layer 4
Targeted inclusion Targeted inclusion
80 m 40 m 80 m 40 m
ΩPML ΩPML ΩPML ΩPML ΩPML ΩPML
40 m 250 m 40 m 40 m 250 m 40 m
(a) Two symmetric wave sources (b) Two asymmetric wave sources
x2 (1)
f (t) (2)
f (t) f (t)
(3) (4) (5)
f (t) f (t)
x1
x3
x 1=- 96 m x 1=- 38 m x 1= 0 m x 1= 48 m x 1= 81 m
80 m
Layer 1
250 m
90 m Layer 2
ΩPML ΩPML
Cap rock
Layer 3 32 m
40 m
160 m
Layer 4
Targeted inclusion
80 m 40 m
ΩPML ΩPML ΩPML
40 m 250 m 40 m
118
E, ρ, and ν, a compressional wave velocity vp and a shear wave velocity vs of
each formation can be obtained as:
s s
λ + 2µ E(1 − ν)
vp = = ,
ρ ρ(1 + ν)(1 − 2ν)
s
µ E
r
vs = = , (4.53)
ρ 2ρ(1 + ν)
where λ without any subscript denotes Lamé’s first parameter, and µ denotes
shear modulus. Such elastic moduli and wave velocities of this subsurface for-
mation model are shown in Table 4.1. For this formation model, we seek the
source time signals that can maximize the wave motion in the targeted inclu-
sion. To tackle this optimization problem, we approximate the solutions of the
state and adjoint problems by using isoparametric quadrilateral (or triangular)
quadratic elements. Here, the sizes of the elements are approximately 4.0m or
less in order to accommodate at least 12 nodes (6 elements) per wavelength:
the minimum wavelength in this model is 27.5m corresponding to a frequency
f up to 50Hz.
Table 4.1: Elastic moduli and wave velocities of the layers of the subsurface
formation model shown in Fig. 4.2.
119
4.4.1 Forward solution
We compute the forward solution of the wave response within the sub-
surface formation model (Fig. 4.2(a)) that is subjected to the two symmetric
wave sources, each described by a modified Ricker pulse loading signal as shown
in Fig. 4.3. The time signal of this Ricker pulse is:
2
(0.25η 2 − 0.5)e(−0.25η ) − 13.0e−13.5
f2 (t) = −50 × −13.5
[kN/m2 ], t ≤ t̄,
0.5 + 13.0e √
√ 6 6
η = ωr t − 3 6, t̄ = , (4.54)
ωr
where ωr = 2πf denotes the central frequency of the pulse signal; we employ
f = 20Hz as the central frequency (Fig. 4.3(b)). For the solution, we use a
time step of ∆t =0.001s. Fig. 4.4 shows the amplitudes of the displacement of
the wave response for the Ricker pulse. No discernible reflection of the wave
is generated from the fixed boundary attached to ΩPML , as well as from the
interface between Ωreg and ΩPML [45, 46, 47]. In addition, we note that the
wave motion is much larger along the ground surface than in the reservoir
inclusion. Below, we attempt to identify the optimal loading signals that can
lead to strong focusing of the wave energy on the reservoir inclusion.
120
50
40
f 2 (t ) [ kN/m2 ]
30
20
10
−10
−20
−30
0 0.05 0.1 0.15 0.2 0.25 0.3
Ti me t [ s]
1200
Fou ri er tran sform of f 2 (t )
1000
800
600
400
200
0
0 10 20 30 40 50 60 70
Frequ en cy f [ H z]
ωr
Figure 4.3: The Ricker pulse signal with the central frequency f = 2π
= 20Hz.
121
−6 −6
x 10 x 10
0 2 0 2
1.8 1.8
−50 −50
1.6 1.6
1.4 1.4
−100 −100
1.2 1.2
x 2 [ m]
x 2 [ m]
−150 1 −150 1
0.8 0.8
−6 −6
x 10 x 10
0 2 0 2
1.8 1.8
−50 −50
1.6 1.6
1.4 1.4
−100 −100
1.2 1.2
x 2 [ m]
x 2 [ m]
−150 1 −150 1
0.8 0.8
−6 −6
x 10 x 10
0 2 0 2
1.8 1.8
−50 −50
1.6 1.6
1.4 1.4
−100 −100
1.2 1.2
x 2 [ m]
x 2 [ m]
−150 1 −150 1
0.8 0.8
122
4.4.2 Numerical experiments – case numbering
We identify the optimal loading time signals for two symmetric wave
sources that can maximize the kinetic energy within the target inclusion Ω0
shown in Fig. 4.2(a), without forcing the neighboring formations to be silent.
To this end, we seek to minimize (4.10) by using the initial time signal, tempo-
rally discretized by 200 quadratic elements (400 discretized force parameters),
shown in Fig. 4.5(a). We require that the amplitude of the load does not ex-
ceed 50kN/m2 . The block symbols of the close-up view of the initially guessed
signal in Fig. 4.5(b) represent the discretized force parameters utilized for the
2
For instance, the case number 1A refers to the optimization conducted for the identifica-
tion of loading time signals of two symmetric wave sources (1) that can lead to maximization
of the kinetic energy of rock matrix in Ω0 with all layers active (A).
123
temporal approximation of the loading time signal: we use such symbols in all
similar plots. The frequency spectrum of the initially guessed loading is shown
in Fig. 4.5(c). The initially guessed signal has a broad frequency spectrum,
which, as it will be seen, differs significantly from that of the finally converged
time signal: the optimization process is unbiased with respect to the initial
guess. The total observation time is 2s, and the time step is 0.001s.
Fig. 4.6 shows that our numerical optimizer converges, after 66 iter-
ations, to a time signal with a dominant frequency of 29Hz. Fig. 4.7 shows
that the frequency of 29Hz corresponds to the global minimum of the distri-
bution of the objective functional (4.10) with respect to the frequency f for a
sinusoidal loading f2 (t) = 50 sin(2πf )kN/m2 for the formation model subject
to the two symmetric wave sources shown in Fig. 4.2(a). That is, the opti-
mizer successfully recovered a monochromatic signal corresponding to one of
the formation’s amplification frequencies.
124
than that of the non-optimal sinusoidal loading f2 (t) = 50 sin(2πf t)kN/m2
using non-optimal frequencies, such as f = 25Hz and 35Hz (Fig. 4.8(a) vs
Figures 4.9(a,b)).
125
60
40
f 2 (t ) [ kN/m2 ]
20
−20
−40
−60
0 0.2 0.4 0.6 0.8 1 1.2 1.4 1.6 1.8 2
Ti me t [ s]
60
40
f 2 (t ) [ kN/m2 ]
20
−20
−40
−60
0 0.05 0.1 0.15 0.2 0.25 0.3 0.35 0.4 0.45 0.5
Ti me t [ s]
(b) Close-up view of the initially guessed loading time signal (0–0.5s); the
blocks symbolize the discretized excitation parameters
2000
Fou ri er tran sform of f 2 (t )
1500
1000
500
0
0 10 20 30 40 50 60 70
Frequ en cy f [ H z]
Figure 4.5: The initially guessed loading time signal for the maximization
of the kinetic energy in Ω0 of the formation model (Fig. 4.2(a)) (minimizing
(4.10)).
126
60
40
f 2 (t ) [ kN/m2 ]
20
−20
−40
−60
0 0.2 0.4 0.6 0.8 1 1.2 1.4 1.6 1.8 2
Ti me t [ s]
60
40
f 2 (t ) [ kN/m2 ]
20
−20
−40
−60
0 0.05 0.1 0.15 0.2 0.25 0.3 0.35 0.4 0.45 0.5
Ti me t [ s]
10
8
29 Hz
6
0
0 10 20 30 40 50 60 70 80 90 100
Frequ en cy f [ H z]
Figure 4.6: The loading time signal that converged after 66 iterations by min-
imizing (4.10): the maximization of the kinetic energy in Ω0 of the formation
model (Fig. 4.2(a)).
127
3
10
2
10
0
10
5 10 15 20 25 30 35 40 45 50
Frequ en cy f [ H z]
Figure 4.7: Frequency sweep of the objective functional (4.10) using a har-
monic load f2 (t) = 50 sin(2πf t)kN/m2 for the formation model shown in
Fig. 4.2(a).
The optimization process begins again with the initially guessed per-
turbation loading time signal that is temporally discretized by 200 quadratic
elements (400 discretized force parameters) as shown in Fig. 4.5; the total
observation time is 2s, and the time step is 0.001s. After 71 iterations, the op-
timizer results in a sinusoidally shaped time signal with a dominant frequency
of 29.5Hz (Fig. 4.10). This frequency corresponds to the global minimum of
the objective functional (4.11), as shown in Fig. 4.12. That is, the optimizer
128
∂ u1 2
n¡ ¡ ∂ u 2 ¢2 o h i
dt/T mJ3
RT ρ
¢
Ti me-average K. E . 0 2 ∂t + ∂t −4
x 10
0
−50
2
−100
x 2 [m]
−150
1
−200
−250 0
−100 −50 0 50 100
x 1 [m]
∂u 2
n¡ ¡ ∂ u ¢2 o h i
dt/T mJ3
RT ρ
¢
Ti me-average K. E . 0 2 ∂t
1
+ ∂t
2
−4
x 10
0
−50
2
−100
x 2 [m]
−150
1
−200
−250 0
−100 −50 0 50 100
x 1 [m]
Figure 4.8: The time-averaged kinetic energy (K. E.) distributions in Ωreg of
the formation model shown in Fig. 4.2(a) for the converged optimal loading
time signal shown in Fig. 4.6, and the monocromatic loading that uses the
dominant frequency of the optimal time signal.
129
∂ u1 2
n¡ ¡ ∂ u 2 ¢2 o h i
dt/T mJ3
RT ρ
¢
Ti me-average K. E . 0 2 ∂t + ∂t −4
x 10
0
−50
2
−100
x 2 [m]
−150
1
−200
−250 0
−100 −50 0 50 100
x 1 [m]
∂u 2
n¡ ¡ ∂ u ¢2 o h i
dt/T mJ3
RT ρ
¢
Ti me-average K. E . 0 2 ∂t
1
+ ∂t
2
−4
x 10
0
−50
2
−100
x 2 [m]
−150
1
−200
−250 0
−100 −50 0 50 100
x 1 [m]
Figure 4.9: The time-averaged kinetic energy distributions in Ωreg of the for-
mation model shown in Fig. 4.2(a) for sinusoidal loadings that use non-optimal
frequencies f = 25 and 35Hz.
130
successfully identifies the minimum of the objective functional (4.11).
131
60
40
f 2 (t ) [ kN/m2 ]
20
−20
−40
−60
0 0.2 0.4 0.6 0.8 1 1.2 1.4 1.6 1.8 2
Ti me t [ s]
40
f 2 (t ) [ kN/m2 ]
20
−20
−40
−60
0 0.05 0.1 0.15 0.2 0.25 0.3 0.35 0.4 0.45 0.5
Ti me t [ s]
29.5 Hz
2.5
1.5
0.5
0
0 10 20 30 40 50 60 70
Frequ en cy f [ H z]
Figure 4.10: The loading time signal that converged after 71 iterations by
minimizing (4.11): the maximization of the kinetic energy in Ω0 with silent
neighbors of the formation model (Fig. 4.2(a)).
132
∂ u1 2
n¡ ¡ ∂ u 2 ¢2 o h i
dt/T mJ3
RT ρ
¢
Ti me-average K. E . 0 2 ∂t + ∂t −5
x 10
0 8
−50
6
5
−100
x 2 [m]
−150
3
2
−200
−250 0
−100 −50 0 50 100
x 1 [m]
Figure 4.11: The time-averaged kinetic energy distribution in Ωreg of the for-
mation model shown in Fig. 4.2(a) for the converged loading time signal shown
in Fig. 4.10.
120
100
80
L
60
29.4 Hz (the global minimum)
40
20
0
5 10 15 20 25 30 35 40 45 50
Frequ en cy f [ H z]
Figure 4.12: Frequency sweep of the objective functional (4.11) using a har-
monic load f2 (t) = 50 sin(2πf t)kN/m2 for the formation model shown in
Fig. 4.2(a).
133
4.4.2.3 Wave sources optimal signals (case 1C)
shown in Fig. 4.15, induced either by the converged optimized excitation time
signal that is shown in Fig. 4.6(a) or by the other optimized time signal shown
in Fig. 4.13(b), is as large as the threshold acceleration value (0.1–10m/s2 ) for
the mobilization of the trapped oil droplets that Beresnev[9] suggested. Over-
all, in this two-dimensional setting again, if one is interested in maximizing
the acceleration field, the higher the frequency, the stronger the acceleration
134
is.
f 2 (t ) [ kN/m2 ]
40
20
0
−20
−40
−60 Initial guess
0 0.2 0.4 0.6 0.8 1
Ti me t [ s]
Fou ri er tran sform of f 2 (t )
6
x 10
15
21 Hz
10
0
0 10 20 30 40 50 60 70
Frequ en cy f [ H z]
40
20
0
−20
−40
−60 Initial guess
0 0.2 0.4 0.6 0.8 1
Ti me t [ s]
6
Fo u ri er tran sform of f 2 (t )
x 10
15
49 Hz
10
0
0 10 20 30 40 50 60 70
Frequ en cy f [ H z]
Figure 4.13: Optimal time signals converged via the minimization of (4.12).
135
4
10
3
10
dt dΩ
R T £¡ ∂ 2 u a1¢ ¡ ∂ 2 u a ¢¤
2
∂ t2
10
·
1
10
∂ t2
0
10
0
Ω0
R
−1
10
−2
10
0 5 10 15 20 25 30 35 40 45 50
Frequ en cy f [ H z]
Figure 4.14: Frequency sweep of the objective functional (4.12) using a har-
monic load f2 (t) = 50 sin(2πf t)kN/m2 for the formation model shown in
Fig. 4.2(a).
We start with two identical initially guessed time signals (Fig. 4.16)
at the two loading locations, x1 = −30m and x1 = 70m. The time signal
for each wave source changes its amplitude independently during the iteration
136
0 1
0.9
−50 0.8
0.7
−100 0.6
x 2 [m] 0.5
−150 0.4
0.3
−200 0.2
0.1
−250 0
−100 −50 0 50 100
x 1 [m]
0 1
0.9
−50 0.8
0.7
−100 0.6
x 2 [m]
0.5
−150 0.4
0.3
−200 0.2
0.1
−250 0
−100 −50 0 50 100
x 1 [m]
137
procedure, i.e., f2 (t) 6= f2 (t) . After the first 36 iterations,
x1 =−30m x1 =70m
the optimizer arrives at the time signals for which the dominant frequencies
are 10.3Hz and 28.3Hz (Fig. 4.17). However, after the 80-th iteration, the
time signals converge into pulses for which the dominant frequencies are 8.8Hz
(Fig. 4.18). That is, the optimizer first converges into a local minimum basin
associated with dominant frequencies 10.3 and 28.3Hz. It then converges to
another local minimum basin pertaining to a dominant frequency of 8.8Hz after
about 80 iterations (see the distribution of the objective functional (4.11) in
Fig. 4.20). Fig. 4.18 shows that the converged signals are nearly identical.
Fig. 4.19 shows that, even though the dominant frequency of the final
converged loading time signals corresponds to the global minimum, the kinetic
energy within the targeted inclusion for the final converged loading is smaller
than the one that corresponds to the signals shown in Fig. 4.17 (36 iterations).
However, the surface wave motion is much weaker for the final converged
loading time signals than for the loading signals recovered after 36 iterations.
138
[ kN/m2 ]
60
40
20
x 1 =−30m
0
−20
¯
f 2 (t ) ¯
¯
−40
−60
0 0.1 0.2 0.3 0.4 0.5 0.6
Ti me t [ s]
[ kN/m2 ]
60
40
20
x 1 =70m
0
−20
¯
f 2 (t ) ¯
¯
−40
−60
0 0.1 0.2 0.3 0.4 0.5 0.6
Ti me t [ s]
6
x 10
2
1.5
¯
FFT of f 2 (t ) ¯
¯
0.5
0
0 10 20 30 40 50 60 70 80 90
Frequ en cy f [ H z]
6
x 10
x 1 =70m
1.5
¯
FFT of f 2 (t ) ¯
¯
0.5
0
0 10 20 30 40 50 60 70 80 90
Frequ en cy f [ H z]
(b) The frequency spectra of the initially guessed loading time signals
Figure 4.16: The initially guessed loading time signals of the two independent
wave sources at x1 = −30m and x1 = 70m for the maximization of the kinetic
energy in Ω0 with silent neighbors via the minimization of (4.11) for formation
model shown in Fig. 4.2(b).
139
[ kN/m2 ]
60
40
20
x 1 =−30m 0
−20
¯
f 2 (t ) ¯
¯
−40
−60
0 0.1 0.2 0.3 0.4 0.5 0.6
Ti me t [ s]
[ kN/m2 ]
60
40
20
x 1 =70m
0
−20
¯
f 2 (t ) ¯
¯
−40
−60
0 0.1 0.2 0.3 0.4 0.5 0.6
Ti me t [ s]
6
x 10
6
28.3 Hz
¯
FFT of f 2 (t ) ¯
¯
4
10.3 Hz
2
0
0 10 20 30 40 50 60 70 80 90
Frequ en cy f [ H z]
6
x 10
x 1 =70m
28.3 Hz
¯
FFT of f 2 (t ) ¯
¯
10.3 Hz
2
0
0 10 20 30 40 50 60 70 80 90
Frequ en cy f [ H z]
(b) The frequency spectra of the guessed loading time signals at the
36-th iteration
Figure 4.17: Optimized loading time signals at the 36-th iteration of the opti-
mization process (minimizing (4.11)) for the two independent wave sources of
asymmetric locations shown in Fig. 4.2(b).
140
[ kN/m2 ]
60
40
20
x 1 =−30m
0
−20
¯
f 2 (t ) ¯
¯
−40
−60
0 0.1 0.2 0.3 0.4 0.5 0.6
Ti me t [ s]
[ kN/m2 ]
60
40
20
x 1 =70m
0
−20
¯
f 2 (t ) ¯
¯
−40
−60
0 0.1 0.2 0.3 0.4 0.5 0.6
Ti me t [ s]
6
x 10
6
8.8 Hz
¯
FFT of f 2 (t ) ¯
¯
0
0 10 20 30 40 50 60 70 80 90
Frequ en cy f [ H z]
6
x 10
x 1 =70m
8.8 Hz
¯
FFT of f 2 (t ) ¯
¯
0
0 10 20 30 40 50 60 70 80 90
Frequ en cy f [ H z]
(b) The frequency spectra of the finally converged loading time signals
Figure 4.18: Optimized loading time signals (final) after 80 iterations of the
optimization process (minimizing (4.11)) for the two independent wave sources
of asymmetric locations shown in Fig. 4.2(b).
141
∂u 2
n¡ ¡ ∂ u ¢2 o h i
dt/T mJ3
RT ρ
¢
Ti me-average K. E . 0 2 ∂t
1
+ ∂t
2
−5
x 10
0 5
4.5
−50 4
3.5
x 2 [m] −100 3
2.5
−150 2
1.5
−200 1
0.5
−250 0
−100 −50 0 50 100
x 1 [m]
∂ u1 2
n¡ ¡ ∂ u 2 ¢2 o h i
dt/T mJ3
RT ρ
¢
Ti me-average K. E . 0 2 ∂t + ∂t −5
x 10
0 5
4.5
−50 4
3.5
−100 3
x 2 [m]
2.5
−150 2
1.5
−200 1
0.5
−250 0
−100 −50 0 50 100
x 1 [m]
142
120
100
80
28.3 Hz
L
60
8.8 Hz (the global minimum)
40 10.3 Hz
20
0
5 10 15 20 25 30 35 40 45 50
Frequ en cy f [ H z]
Figure 4.20: Frequency sweep of the objective functional (4.11) using a har-
monic load f2 (t) = 50 sin(2πf t)kN/m2 for the formation model shown in
Fig. 4.2(b): the frequency accountable for the global minimum for the two
asymmetric wave sources differs from that for the two symmetric wave sources
(8.8Hz vs 29.5Hz).
The total observation time is 2s, and the time step is 0.001s; we dis-
cretize the loading time signals by using 40 quadratic elements (80 discretized
force parameters) for a duration of 0.4s. The optimization process starts
with five different initially guessed perturbation-like time signals, as shown in
Fig. 4.21; the frequency spectra of the initial signals are shown in Fig. 4.22. Af-
143
ter 140 iterations, the optimizer arrives at the time signals shown in Fig. 4.23
with the frequency spectra shown in Fig. 4.24. We remark that the finally
converged time signals are nearly sinusoidal with a strong dominant frequency
of 29Hz (the frequency accounting for the global minimum of the objective
functional (4.11) for a harmonic excitation f2 (t) = 50 sin(2πf t)kN/m2 for the
formation model shown in Fig. 4.2(c), as shown in Fig. 4.26).
Fig. 4.25 shows that employing five asymmetric wave sources leads to
quite a clear focusing of the wave energy in the targeted inclusion, with an
even more effective minimization of the surface wave energy than in previous
experiments (Fig. 4.25 vs. Fig. 4.11 and Fig. 4.19).
144
f 2 (t )[ kN/m2 ]
50
0
( 1)
−50
0 0.1 0.2 0.3 0.4 0.5 0.6
Ti me t [ s]
f 2 (t )[ kN/m2 ]
50
0
( 2)
−50
0 0.1 0.2 0.3 0.4 0.5 0.6
Ti me t [ s]
f 2 (t )[ kN/m2 ]
50
0
( 3)
−50
0 0.1 0.2 0.3 0.4 0.5 0.6
Ti me t [ s]
f 2 (t )[ kN/m2 ]
50
0
( 4)
−50
0 0.1 0.2 0.3 0.4 0.5 0.6
Ti me t [ s]
f 2 (t )[ kN/m2 ]
50
0
( 5)
−50
0 0.1 0.2 0.3 0.4 0.5 0.6
Ti me t [ s]
Figure 4.21: The initially guessed loading time signals of the five wave sources
at asymmetric locations for the formation model shown in Fig. 4.2(c) for the
maximization of the kinetic energy in Ω0 with silent neighbors (minimizing
(4.11)).
145
6
x 10
FFT of f 2 (t )
2
( 1)
0
0 10 20 30 40 50 60 70 80 90
6 Frequ en cy f [ H z]
x 10
FFT of f 2 (t )
2
( 2)
0
0 10 20 30 40 50 60 70 80 90
6 Frequ en cy f [ H z]
x 10
FFT of f 2 (t )
2
( 3)
0
0 10 20 30 40 50 60 70 80 90
6 Frequ en cy f [ H z]
x 10
FFT of f 2 (t )
2
( 4)
0
0 10 20 30 40 50 60 70 80 90
6 Frequ en cy f [ H z]
x 10
FFT of f 2 (t )
2
( 5)
0
0 10 20 30 40 50 60 70 80 90
Frequ en cy f [ H z]
Figure 4.22: The frequency spectra of the initially guessed loading time signals
shown in Fig. 4.21.
146
f 2 (t )[ kN/m2 ]
50
0
( 1)
−50
0 0.1 0.2 0.3 0.4 0.5 0.6
Ti me t [ s]
f 2 (t )[ kN/m2 ]
50
0
( 2)
−50
0 0.1 0.2 0.3 0.4 0.5 0.6
Ti me t [ s]
f 2 (t )[ kN/m2 ]
50
0
( 3)
−50
0 0.1 0.2 0.3 0.4 0.5 0.6
Ti me t [ s]
f 2 (t )[ kN/m2 ]
50
0
( 4)
−50
0 0.1 0.2 0.3 0.4 0.5 0.6
Ti me t [ s]
f 2 (t )[ kN/m2 ]
50
0
( 5)
−50
0 0.1 0.2 0.3 0.4 0.5 0.6
Ti me t [ s]
Figure 4.23: The finally converged loading time signals of the five wave sour-
ces at asymmetric locations for the formation model shown in Fig. 4.2(c) after
140 iterations of the optimization process for the maximization of the kinetic
energy in Ω0 with silent neighbors (minimizing (4.11)).
147
6
x 10
FFT of f 2 (t )
4
( 1)
29 Hz
2
0
0 10 20 30 40 50 60 70 80 90
6 Frequ en cy f [ H z]
x 10
FFT of f 2 (t )
4
( 2)
29 Hz
2
0
0 10 20 30 40 50 60 70 80 90
6 Frequ en cy f [ H z]
x 10
FFT of f 2 (t )
4
( 3)
29 Hz
2
0
0 10 20 30 40 50 60 70 80 90
6 Frequ en cy f [ H z]
x 10
FFT of f 2 (t )
4
( 4)
29 Hz
2
0
0 10 20 30 40 50 60 70 80 90
6 Frequ en cy f [ H z]
x 10
FFT of f 2 (t )
4
( 5)
29 Hz
2
0
0 10 20 30 40 50 60 70 80 90
Frequ en cy f [ H z]
Figure 4.24: The frequency spectra of the finally converged loading time signals
shown in Fig. 4.23.
148
∂ u1 2
n¡ ¡ ∂ u 2 ¢2 o h i
dt/T mJ3
RT ρ
¢
Ti me-average K. E . 0 2 ∂t + ∂t −4
x 10
0
−50
2
−100
x 2 [m]
−150
1
−200
−250 0
−100 −50 0 50 100
x 1 [m]
Figure 4.25: The time-averaged kinetic energy distribution in Ωreg for the
optimized loading time signals of the five wave sources, shown in Fig. 4.23, for
the formation model shown in Fig. 4.2(c).
50
40
30
29 Hz (the global minimum)
L
20
10
0
5 10 15 20 25 30 35 40 45 50
Frequ en cy f [ H z]
Figure 4.26: Frequency sweep of the objective functional (4.11) using a har-
monic load f2 (t) = 50 sin(2πf t)kN/m2 for the formation model shown in Fig.
4.2(c).
149
4.5 Feasibility of dislodging trapped oil droplets in 2D
In Table 4.3, (a) rmax and rmin denote the maximum and minimum radii,
respectively, of the cross-section of pore space in an axisymmetric sinusoidally
constricted pore channel; (b) the background pressure gradient 35185Pa/m
corresponds to a Darcy flow-rate of 1ft/day of fluid of viscosity 1cp within a
porous permeable rock of permeability 100md; and (c) the capillary pressure,
2σ cos θ
i.e., Pc = r
, of 800Pa corresponds to interface tension σ of 0.04N/m, a
radius of curvature r of 100micron, and an oil/water contact angle θ of 0◦ .
The threshold values shown in Table 4.2 are up to 1.6m/s2 , for fre-
quencies up to 50Hz. Summary table 4.4 shows that the optimized loadings
in the optimization cases 1A, 3A, and 3C produced acceleration field whose
amplitude is as large as the threshold values. Thus, the optimized loads could
initiate the dislodging-based mobilization of the trapped oil droplets in a fluid-
saturated porous permeable rock in the target reservoir of the shallow forma-
tion model shown in Fig. 4.2. We suggest that the mobilization of trapped oil
droplets could be further facilitated if sources are optimally placed, in addition
to be optimally operated at the optimized signals for this subsurface formation
150
model (or even for deeper reservoir formation models).
Table 4.3: Fluid-saturated porous permeable rock properties used for evaluat-
ing the threshold-acceleration value for the mobilization of trapped oil droplets.
151
4.6 Summary
3
In Figures 4.27–4.35, we employ uniform values of the upper limits of the side color scale
bars: 3 × 10−4 J/m3 for the time-averaged K. E. distribution and 1m/s2 for the maximum
amplitude of acceleration field.
152
• Table 4.4 shows that there is a dominant amplification frequency at 29Hz
that leads to the maximization of the kinetic energy within the reservoir
Ω0 in almost all the cases, and under a variety of loading conditions. The
particular frequency, as shown by the frequency sweep, corresponds to
one of the discrete amplification frequencies of the formation. It is not
a resonant frequency in the classical sense (i.e., a frequency for which
the motion becomes unbounded under undamped conditions), since the
medium is semi-infinite in extent, but, rather, a frequency that will gen-
erate a large response. The frequency depends on the formation’s char-
acteristics (geometry, properties, etc). This amplification frequency can
be obtained either by the optimization procedure described herein, or by
conducting a frequency sweep (objective functional versus frequency).
• It also appears that the location of the wave sources is critical in ar-
riving at motion maximization. As was seen in the case of two wave
sources, there is a significant shift of the dominant frequency of the opti-
mized signals from 29Hz (two symmetric sources), to 8.8Hz (two asym-
metric sources). In other words, we conjecture that optimally located
sources could produce a stronger motion amplification effect (the case
with the two asymmetric sources), than the amplification effect due to
non-optimally located sources operating at the reservoir’s amplification
frequency. Though not explored in this work, it is possible to enhance
the presented optimization process to include a search for the optimal
placement of the wave sources as well.
153
Moreover, as was seen in the case of the five asymmetric wave sources,
it is also possible to reduce the concentration of the energy near the
surface, thus leading to better focusing and illumination of the target
reservoir.
• We also observed that the optimizer will not only result in monochro-
matic signals, which could have been obtained by a frequency sweep,
but also in transient pulse-like loadings, depending on the maximization
outcome and the source and reservoir characteristics.
154
∂u 2
n¡ ¡ ∂ u ¢2 o h i n¡
∂u 2
¡ ∂ u ¢2 o h i
dt/T mJ3 dt/T mJ3
RT ρ
¢ RT ρ
¢
Ti me-average K. E . 0 2 ∂t
1
+ ∂t
2
−4 Ti me-average K. E . 0 2 ∂t
1
+ ∂t
2
−4
x 10 x 10
0 0
−50 −50
2 2
−100 −100
x 2 [m]
x 2 [m]
−150 −150
1 1
−200 −200
−250 0 −250 0
−100 −50 0 50 100 −100 −50 0 50 100
x 1 [m] x 1 [m]
(a) K.E. for the optimized f (t) (b) K.E. for the sinusoidal loading
0 1 0 1
0.9 0.9
0.7 0.7
x 2 [m]
0.5 0.5
0.3 0.3
0.1 0.1
−250 0 −250 0
−100 −50 0 50 100 −100 −50 0 50 100
x 1 [m] x 1 [m]
∂2u ∂2u
(c) Maximum amplitude of ∂t2 for the (d) Maximum amplitude of ∂t2 for the
optimized f (t) sinusoidal loading
Figure 4.27: The distributions of the time-averaged kinetic energy [J/m3 ] and
2
the maximum amplitude of ∂∂t2u [m/s2 ] in Ωreg for the optimized loading signals
or the sinusoidal loading signal f2 (t) = 50 sin(2π × 29t)kN/m2 that employs
the dominant frequencies of the optimized signals (the case 1A in Table 4.4).
155
∂u 2
n¡ ¡ ∂ u ¢2 o h i n¡
∂u 2
¡ ∂ u ¢2 o h i
dt/T mJ3 dt/T mJ3
RT ρ
¢ RT ρ
¢
Ti me-average K. E . 0 2 ∂t
1
+ ∂t
2
−4 Ti me-average K. E . 0 2 ∂t
1
+ ∂t
2
−4
x 10 x 10
0 0
−50 −50
2 2
−100 −100
x 2 [m]
x 2 [m]
−150 −150
1 1
−200 −200
−250 0 −250 0
−100 −50 0 50 100 −100 −50 0 50 100
x 1 [m] x 1 [m]
(a) K.E. for the optimized f (t) (b) K.E. for the sinusoidal loading
0 1 0 1
0.9 0.9
0.7 0.7
x 2 [m]
0.5 0.5
0.3 0.3
0.1 0.1
−250 0 −250 0
−100 −50 0 50 100 −100 −50 0 50 100
x 1 [m] x 1 [m]
∂2u ∂2u
(c) Maximum amplitude of ∂t2 for the (d) Maximum amplitude of ∂t2 for the
optimized f (t) sinusoidal loading
Figure 4.28: The distributions of the time-averaged kinetic energy [J/m3 ] and
2
the maximum amplitude of ∂∂t2u [m/s2 ] in Ωreg for the optimized loading signals
or the sinusoidal loading signal f2 (t) = 50 sin(2π × 29.5t)kN/m2 that employs
the dominant frequencies of the optimized signals (the case 1B in Table 4.4).
156
∂u 2
n¡ ¡ ∂ u ¢2 o h i n¡
∂u 2
¡ ∂ u ¢2 o h i
dt/T mJ3 dt/T mJ3
RT ρ
¢ RT ρ
¢
Ti me-average K. E . 0 2 ∂t
1
+ ∂t
2
−4 Ti me-average K. E . 0 2 ∂t
1
+ ∂t
2
−4
x 10 x 10
0 0
−50 −50
2 2
−100 −100
x 2 [m]
x 2 [m]
−150 −150
1 1
−200 −200
−250 0 −250 0
−100 −50 0 50 100 −100 −50 0 50 100
x 1 [m] x 1 [m]
(a) K.E. for the optimized f (t) (b) K.E. for the sinusoidal loading
0 1 0 1
0.9 0.9
0.7 0.7
x 2 [m]
0.5 0.5
0.3 0.3
0.1 0.1
−250 0 −250 0
−100 −50 0 50 100 −100 −50 0 50 100
x 1 [m] x 1 [m]
∂2u ∂2u
(c) Maximum amplitude of ∂t2 for the (d) Maximum amplitude of ∂t2 for the
optimized f (t) sinusoidal loading
Figure 4.29: The distributions of the time-averaged kinetic energy [J/m3 ] and
2
the maximum amplitude of ∂∂t2u [m/s2 ] in Ωreg for the optimized loading signals
or the sinusoidal loading signal f2 (t) = 50 sin(2π × 49t)kN/m2 that employs
the dominant frequencies of the optimized signals (the case 1C in Table 4.4).
157
∂u 2
n¡ ¡ ∂ u ¢2 o h i n¡
∂u 2
¡ ∂ u ¢2 o h i
dt/T mJ3 dt/T mJ3
RT ρ
¢ RT ρ
¢
Ti me-average K. E . 0 2 ∂t
1
+ ∂t
2
−4 Ti me-average K. E . 0 2 ∂t
1
+ ∂t
2
−4
x 10 x 10
0 0
−50 −50
2 2
−100 −100
x 2 [m]
x 2 [m]
−150 −150
1 1
−200 −200
−250 0 −250 0
−100 −50 0 50 100 −100 −50 0 50 100
x 1 [m] x 1 [m]
(a) K.E. for the optimized f (t) (b) K.E. for the sinusoidal loading
0 1 0 1
0.9 0.9
0.7 0.7
x 2 [m]
0.5 0.5
0.3 0.3
0.1 0.1
−250 0 −250 0
−100 −50 0 50 100 −100 −50 0 50 100
x 1 [m] x 1 [m]
∂2u ∂2u
(c) Maximum amplitude of ∂t2 for the (d) Maximum amplitude of ∂t2 for the
optimized f (t) sinusoidal loading
Figure 4.30: The distributions of the time-averaged kinetic energy [J/m3 ] and
2
the maximum amplitude of ∂∂t2u [m/s2 ] in Ωreg for the optimized loading signals
or the sinusoidal loading signal f2 (t) = 50 sin(2π × 28.5t)kN/m2 that employs
the dominant frequencies of the optimized signals (the case 2A in Table 4.4).
158
∂u 2
n¡ ¡ ∂ u ¢2 o h i n¡
∂u 2
¡ ∂ u ¢2 o h i
dt/T mJ3 dt/T mJ3
RT ρ
¢ RT ρ
¢
Ti me-average K. E . 0 2 ∂t
1
+ ∂t
2
−4 Ti me-average K. E . 0 2 ∂t
1
+ ∂t
2
−4
x 10 x 10
0 0
−50 −50
2 2
−100 −100
x 2 [m]
x 2 [m]
−150 −150
1 1
−200 −200
−250 0 −250 0
−100 −50 0 50 100 −100 −50 0 50 100
x 1 [m] x 1 [m]
(a) K.E. for the optimized f (t) (b) K.E. for the sinusoidal loading
0 1 0 1
0.9 0.9
0.7 0.7
x 2 [m]
0.5 0.5
0.3 0.3
0.1 0.1
−250 0 −250 0
−100 −50 0 50 100 −100 −50 0 50 100
x 1 [m] x 1 [m]
∂2u ∂2u
(c) Maximum amplitude of ∂t2 for the (d) Maximum amplitude of ∂t2 for the
optimized f (t) sinusoidal loading
Figure 4.31: The distributions of the time-averaged kinetic energy [J/m3 ] and
2
the maximum amplitude of ∂∂t2u [m/s2 ] in Ωreg for the optimized loading signals
or the sinusoidal loading signal f2 (t) = 50 sin(2π × 8.8t)kN/m2 that employs
the dominant frequencies of the optimized signals (the case 2B in Table 4.4).
159
∂u 2
n¡ ¡ ∂ u ¢2 o h i n¡
∂u 2
¡ ∂ u ¢2 o h i
dt/T mJ3 dt/T mJ3
RT ρ
¢ RT ρ
¢
Ti me-average K. E . 0 2 ∂t
1
+ ∂t
2
−4 Ti me-average K. E . 0 2 ∂t
1
+ ∂t
2
−4
x 10 x 10
0 0
−50 −50
2 2
−100 −100
x 2 [m]
x 2 [m]
−150 −150
1 1
−200 −200
−250 0 −250 0
−100 −50 0 50 100 −100 −50 0 50 100
x 1 [m] x 1 [m]
(a) K.E. for the optimized f (t) (b) K.E. for the sinusoidal loading
0 1 0 1
0.9 0.9
0.7 0.7
x 2 [m]
0.5 0.5
0.3 0.3
0.1 0.1
−250 0 −250 0
−100 −50 0 50 100 −100 −50 0 50 100
x 1 [m] x 1 [m]
∂2u ∂2u
(c) Maximum amplitude of ∂t2 for the (d) Maximum amplitude of ∂t2 for the
optimized f (t) sinusoidal loading
Figure 4.32: The distributions of the time-averaged kinetic energy [J/m3 ] and
2
the maximum amplitude of ∂∂t2u [m/s2 ] in Ωreg for the optimized loading signals
or the sinusoidal loading signal f2 (t) = 50 sin(2π × 50t)kN/m2 that employs
the dominant frequencies of the optimized signals (the case 2C in Table 4.4).
160
∂u 2
n¡ ¡ ∂ u ¢2 o h i n¡
∂u 2
¡ ∂ u ¢2 o h i
dt/T mJ3 dt/T mJ3
RT ρ
¢ RT ρ
¢
Ti me-average K. E . 0 2 ∂t
1
+ ∂t
2
−4 Ti me-average K. E . 0 2 ∂t
1
+ ∂t
2
−4
x 10 x 10
0 0
−50 −50
2 2
−100 −100
x 2 [m]
x 2 [m]
−150 −150
1 1
−200 −200
−250 0 −250 0
−100 −50 0 50 100 −100 −50 0 50 100
x 1 [m] x 1 [m]
(a) K.E. for the optimized f (t) (b) K.E. for the sinusoidal loading
0 1 0 1
0.9 0.9
0.7 0.7
x 2 [m]
0.5 0.5
0.3 0.3
0.1 0.1
−250 0 −250 0
−100 −50 0 50 100 −100 −50 0 50 100
x 1 [m] x 1 [m]
∂2u ∂2u
(c) Maximum amplitude of ∂t2 for the (d) Maximum amplitude of ∂t2 for the
optimized f (t) sinusoidal loading
Figure 4.33: The distributions of the time-averaged kinetic energy [J/m3 ] and
2
the maximum amplitude of ∂∂t2u [m/s2 ] in Ωreg for the optimized loading signals
or the sinusoidal loading signal f2 (t) = 50 sin(2π × 29t)kN/m2 that employs
the dominant frequencies of the optimized signals (the case 3A in Table 4.4).
161
∂u 2
n¡ ¡ ∂ u ¢2 o h i n¡
∂u 2
¡ ∂ u ¢2 o h i
dt/T mJ3 dt/T mJ3
RT ρ
¢ RT ρ
¢
Ti me-average K. E . 0 2 ∂t
1
+ ∂t
2
−4 Ti me-average K. E . 0 2 ∂t
1
+ ∂t
2
−4
x 10 x 10
0 0
−50 −50
2 2
−100 −100
x 2 [m]
x 2 [m]
−150 −150
1 1
−200 −200
−250 0 −250 0
−100 −50 0 50 100 −100 −50 0 50 100
x 1 [m] x 1 [m]
(a) K.E. for the optimized f (t) (b) K.E. for the sinusoidal loading
0 1 0 1
0.9 0.9
0.7 0.7
x 2 [m]
0.5 0.5
0.3 0.3
0.1 0.1
−250 0 −250 0
−100 −50 0 50 100 −100 −50 0 50 100
x 1 [m] x 1 [m]
∂2u ∂2u
(c) Maximum amplitude of ∂t2 for the (d) Maximum amplitude of ∂t2 for the
optimized f (t) sinusoidal loading
Figure 4.34: The distributions of the time-averaged kinetic energy [J/m3 ] and
2
the maximum amplitude of ∂∂t2u [m/s2 ] in Ωreg for the optimized loading signals
or the sinusoidal loading signal f2 (t) = 50 sin(2π × 29t)kN/m2 that employs
the dominant frequencies of the optimized signals (the case 3B in Table 4.4).
162
∂u 2
n¡ ¡ ∂ u ¢2 o h i n¡
∂u 2
¡ ∂ u ¢2 o h i
dt/T mJ3 dt/T mJ3
RT ρ
¢ RT ρ
¢
Ti me-average K. E . 0 2 ∂t
1
+ ∂t
2
−4 Ti me-average K. E . 0 2 ∂t
1
+ ∂t
2
−4
x 10 x 10
0 0
−50 −50
2 2
−100 −100
x 2 [m]
x 2 [m]
−150 −150
1 1
−200 −200
−250 0 −250 0
−100 −50 0 50 100 −100 −50 0 50 100
x 1 [m] x 1 [m]
(a) K.E. for the optimized f (t) (b) K.E. for the sinusoidal loading
0 1 0 1
0.9 0.9
0.7 0.7
x 2 [m]
0.5 0.5
0.3 0.3
0.1 0.1
−250 0 −250 0
−100 −50 0 50 100 −100 −50 0 50 100
x 1 [m] x 1 [m]
∂2u ∂2u
(c) Maximum amplitude of ∂t2 for the (d) Maximum amplitude of ∂t2 for the
optimized f (t) sinusoidal loading
Figure 4.35: The distributions of the time-averaged kinetic energy [J/m3 ] and
2
the maximum amplitude of ∂∂t2u [m/s2 ] in Ωreg for the optimized loading signals
or the sinusoidal loading signal f2 (t) = 50 sin(2π × 45t)kN/m2 that employs
the dominant frequencies of the optimized signals (the case 3C in Table 4.4).
163
Chapter 5
164
5.1 Problem definition
5.1.1 Governing wave physics
2
Wave source, f ( t ) [N/m ]
Surface
x x 1=0
x3
∂ 2 ua
∂ ∂ua
(λ + 2µ) − ρ 2 = 0, x ∈ (0, xp ) and (xp+Npls , L), t ∈ (0, T ],
∂x ∂x ∂t
(5.1)
165
and
∂ 2 ub ∂2w
∂ 2 ∂ub ∂w
(λ + 2µ + α Q) + αQ −ρ − ρf = 0,
∂x ∂x ∂x ∂t2 ∂t2
x ∈ (xp , xp+Npls ), t ∈ (0, T ], (5.2)
∂ 2 ub ρf ∂ 2 w
∂ ∂ub ∂w 1 ∂w
αQ +Q − − ρf 2 − = 0,
∂x ∂x ∂x k ∂t ∂t n ∂t2
x ∈ (xp , xp+Npls ), t ∈ (0, T ]. (5.3)
1
The generalized equations of Biot’s coupled wave equations [12, 13] in three-dimensional
and one-dimensional settings are shown in, respectively, [72, 74] and [73]. The dimensional
reduction from the three-dimensional equations to the one-dimensional equations is straight-
forward.
166
solid rock matrix of the poroelastic formations; and w(x, t) denotes the rela-
tive displacement of pore-fluid motion with respect to the rock matrix. The
material parameters, used in (5.1)–(5.3), are defined as follows:
167
E
• KD : Bulk modulus of drained solid rock matrix, i.e., KD = 3(1−2ν)
,
• Kf : Bulk modulus of pore fluid.
where σ(x, t) denotes total stress; σ ′ (x, t) denotes effective stress; and P (x, t)
denotes pore pressure, where P (x, t) is positive for compression. σ(x, t) and
P (x, t) are obtained from the displacement fields ub (x, t) and w(x, t) via the
following constitutive equations:
∂ub ∂w
σ = λ + 2µ + α2 Q + αQ , (5.5a)
∂x ∂x
∂ub ∂w
P = − αQ +Q . (5.5b)
∂x ∂x
In addition, the governing PDEs are subjected to the following boundary and
truncation interface conditions:
∂ua
(λ(0) + 2µ(0)) (0, t) = −f (t), t ∈ (0, T ], (5.6)
∂x
∂ua 1 ∂ua
(L, t) + (L, t) = 0, t ∈ (0, T ]. (5.7)
∂x c(L) ∂t
Equation (5.6) is the surface excitation boundary condition; (5.7) is the trun-
q
cation interface condition with c = λ+2µ ρ
. The governing wave physics also
include the following zero initial conditions:
168
We remark that the elastic wave equation (5.1), as well as Biot’s wave
equations (5.2) and (5.3) are coupled via the following conditions at the inter-
faces between the elastic solid layers and the poroelastic layers:
ua x− = ub x+ , i = p,
i i
u a x+ = u b x− , i = (p + Npls ), (5.9a)
i i
∂ua 2 ∂u b ∂w
(λ + 2µ) = (λ + 2µ + α Q) + αQ , i = p,
∂x − ∂x ∂x +
x x
i i
∂ua ∂ub ∂w
(λ + 2µ) = (λ + 2µ + α2 Q) + αQ , i = (p + Npls ), (5.9b)
∂x + ∂x ∂x −
xi xi
w xi = 0, i = p and (p + Npls ). (5.9c)
Equations (5.9a) and (5.9b) are the rock matrix displacement and the total
stress interface continuity conditions, respectively. Equation (5.9c) denotes
the zero relative displacement of the pore fluid at the interfaces – (5.9c) is
∂P
tantamount to the zero flux condition, i.e., ∂x
= 0.
169
and ((p + Npls + 1), . . . , Nls )) hold:
ua x− = ua x+ , (5.10a)
i i
∂ua ∂ua
(λ + 2µ) − = (λ + 2µ) , (5.10b)
∂x xi ∂x x+i
where Nls denotes the total number of all layers in the system. In addition, the
following continuity conditions hold at the interfaces within poroelastic layers
(i.e., interface indices: i = (p + 1), . . . , (p + Npls − 1)) :
ub x− = u b x+ , (5.11a)
i i
w x− = w x+ , (5.11b)
i i
∂ub ∂w ∂ub ∂w
(λ + 2µ + α2 Q) + αQ = (λ + 2µ + α2 Q) + αQ , (5.11c)
∂x ∂x − ∂x ∂x +
x xi
i
∂ub ∂w ∂ub ∂w
αQ +Q = αQ +Q , (5.11d)
∂x ∂x − ∂x ∂x +
xi xi
where (5.11a) and (5.11b) denote the continuity of rock matrix displacement
and relative displacement of pore fluid, respectively; (5.11c) denotes the con-
tinuity of total stress; and (5.11d) denotes the continuity of pore pressure.
2 ρ 2
The kinetic energy of pore fluid at location x and time t is 2f ∂u ∂w
∂t (x, t) + ∂t (x, t) .
Since we are, rather, interested in increasing the relative wave motion of pore fluid, we
2
maximize ρf ∂w ∂t (x, t) which is the kinetic energy only in terms of w(x, t), the relative
fluid displacement.
170
displacement of pore fluid with respect to solid rock matrix within poroelastic
layers. To this end, we minimize the following objective functional:
1
L = R xp+N RT 2 . (5.12)
∂w
xp
pls
0
ρf ∂t
(x, t) dtdx
Equation (5.12) is the reciprocal form, of which the denominator is the tempo-
ral integral of the kinetic energy in terms of w(x, t) that is spatially integrated
over the poroelastic layers (x ∈ (xp , xp+Npls )).
3
In this chapter, λ without any subscript denotes Lamé’s first parameter, whereas λ with
a subscript denotes a Lagrange multiplier.
171
(λua (x, t), λub (x, t), λw (x, t), λ0 (t), and λL (t)) as the following:
(
1
A = R xp+N R T
xp
pls
0
ρf ( ∂w
∂t
)2 dtdx
Z xp Z T
∂ 2 ua
∂ ∂ua
+ λu a (λ + 2µ) − ρ 2 dtdx
0 0 ∂x ∂x ∂t
Z L Z T
∂ 2 ua
∂ ∂ua
+ λu a (λ + 2µ) − ρ 2 dtdx
xp+Npls 0 ∂x ∂x ∂t
Z xp+N Z T
pls ∂ 2 ∂ub ∂w
+ λu b (λ + 2µ + α Q) + αQ
xp 0 ∂x ∂x ∂x
∂ 2 ub ∂2w
−ρ 2 − ρf 2 dtdx
∂t ∂t
Z xp+N Z T
∂ 2 ub ρf ∂ 2 w
pls ∂ ∂ub ∂w 1 ∂w
+ λw αQ +Q − − ρf 2 − dtdx
xp 0 ∂x ∂x ∂x k ∂t ∂t n ∂t2
Z T
∂ua
+ λ0 (t) (λ(0) + 2µ(0)) (0, t) + f (t) dt
0 ∂x
Z T )
∂ua 1 ∂ua
+ λL (t)(λ(L) + 2µ(L)) (L, t) + (L, t) dt . (5.13)
0 ∂x c ∂t
In (5.13), the initial value conditions (5.8) and the interface conditions (5.9)–
(5.11) are implicitly imposed. The dimensions of λua , λub , λw , λ0 , and λL are
all identical to each other.
172
5.2.2.1 The first optimality condition
xp+Npls T
∂ ∂ub ∂w
Z Z
2
δλub A = δλub (λ + 2µ + α Q) + αQ
xp 0 ∂x ∂x ∂x
∂ 2 ub ∂2w
−ρ 2 − ρf 2 dtdx = 0, (5.14b)
∂t ∂t
xp+Npls T
∂ ∂ub ∂w
Z Z
δλw A = δλw αQ +Q
xp 0 ∂x ∂x ∂x
∂ 2 ub ρf ∂ 2 w
1 ∂w
− − ρf 2 − dtdx = 0, (5.14c)
k ∂t ∂t n ∂t2
T
∂ua
Z
δλ0 A = δλ0 (λ + 2µ) (0, t) + f (t) dt = 0, (5.14d)
0 ∂x
T
∂ua 1 ∂ua
Z
δλL A = δλL (λ + 2µ) (L, t) + (L, t) dt = 0. (5.14e)
0 ∂x c ∂t
For (5.14a)–(5.14e) to vanish for arbitrary variations δλua , δλub , δλw , δλ0 , and
δλL , we must satisfy the state problem, which is identical to the governing
wave physics described in (5.1)–(5.11).
173
5.2.2.2 The second optimality condition
∂ 2 λu a
∂ ∂λua
(λ + 2µ) −ρ = 0,
∂x ∂x ∂t2
x ∈ ((0, xp ) and (xp+Npls , L)), t ∈ [0, T ), (5.15)
∂ 2 λu b ∂ 2 λw
∂ 2 ∂λub ∂λw
(λ + 2µ + α Q) + (αQ) −ρ − ρf = 0,
∂x ∂x ∂x ∂t2 ∂t2
x ∈ (xp , xp+Npls ), t ∈ [0, T ), (5.16)
∂ 2 λub ρf ∂ 2 λw ∂4w
∂ ∂λub ∂λw 1 ∂λw
αQ +Q + − ρf − − Eρf = 0,
∂x ∂x ∂x k ∂t ∂t2 n ∂t2 ∂t4
x ∈ (xp , xp+Npls ), t ∈ [0, T ), (5.17)
−2
E(x) = R 2 . (5.18)
xp+N RT
xp
pls
0
ρf [ ∂w
∂t
]2 dtdx
The adjoint PDEs (5.15)–(5.17) are subjected to the following boundary and
174
truncation interface conditions:
∂λua
(λ(0) + 2µ(0)) (0, t) = 0, t ∈ [0, T ), (5.19)
∂x
∂λua 1 ∂λua (t)
(L, t) − (L, t) = 0, t ∈ [0, T ). (5.20)
∂x c(L) ∂t
Here, we remark that λ0 (t) and λL (t) are absorbed into λua (x, t), i.e., λ0 (t) =
λua (0, t) and λL (t) = −λua (L, t). Similarly to the state problem, the adjoint
PDE (5.15) is coupled with the other adjoint PDEs (5.16) and (5.17) via the
following conditions at the interfaces between the poroelastic layers and the
elastic solid layers:
λua x− = λub x+ , i = p,
i i
λua x+ = λub x− , i = p + Npls , (5.21a)
i i
Equations (5.21a), (5.21b), and (5.21c) replicate, respectively, the rock displ-
acement-continuity ((5.9a)), the total stress-continuity ((5.9b)), and the zero
relative-fluid-displacement ((5.9c)) conditions in the state problem; the adjoint
175
problem is also subjected to the following final-value conditions:
∂λua
λua (x, T ) = 0, (x, T ) = 0, x ∈ (0, xp ) and (xp+Npls , L), (5.22a)
∂t
∂λub −Eρf ∂w
(x, T ) = (x, T ), x ∈ (xp , xp+N pls ), (5.22b)
∂t ρf − nρ ∂t
∂λw ρEρf ∂w
(x, T ) = ρ
(x, T ), x ∈ (xp , xp+N pls ). (5.22c)
∂t ρf ρf − n ∂t
λua x− = λua x+ , (5.23a)
i i
∂λua ∂λua
(λ + 2µ) − = (λ + 2µ) , (5.23b)
∂x xi ∂x x+i
λu b x − = λu b x + , (5.24a)
i i
λw − = λw + , (5.24b)
xi xi
∂λ u ∂λ w
∂λ u ∂λ w
(λ + 2µ + α2 Q) b
+ αQ = (λ + 2µ + α2 Q) b
+ αQ ,
∂x ∂x − ∂x ∂x +
xi xi
(5.24c)
∂λub ∂λw ∂λub ∂λw
αQ +Q = αQ +Q , (5.24d)
∂x ∂x ∂x ∂x +
x−
i xi
176
We remark that the adjoint PDEs include the governing differential operators
that are identical to those of the state PDEs while the adjoint problem differs
from the state problem with respect to the following points: first, the body
4
force term Eρf ∂∂tw4 in (5.17), as well as the final value conditions (5.22) drives
the adjoint problem while the state problem is driven by the surface excitation;
second, the adjoint problem is a final BVP such that the sign of the time
derivative in the truncation condition (5.19) of the adjoint problem is reversed
compared with that of the truncation condition (5.7) of the state problem (an
initial BVP).
177
5.3 Numerical implementation
We multiply the elastic wave equation (5.1) by a test function s(x) and
integrate over the elastic solid media (x ∈ (x1 , xp )) that is situated atop the
poroelastic layers. Then, integration by parts with respect to x gives rise to
the weak form:
xp Z xp
∂ 2 ua
∂s ∂ua ∂ua
Z
(λ + 2µ) dx + sρ 2 dx = s(λ + 2µ) − sf (t)|x1 .
x1 ∂x ∂x x1 ∂t ∂x xp
(5.26)
178
Similarly, for the elastic solid media (x ∈ (xp+Npls , L)) that is located below
the poroelastic layers, there arises the following weak form:
Z L Z L
∂ 2 ua
∂s ∂ua
(λ + 2µ) dx + sρ 2 dx
xp+Npls ∂x ∂x xp+Npls ∂t
(λ + 2µ) ∂ua ∂ua
=−s − s(λ + 2µ) . (5.27)
c ∂t x=L
∂x xp+N
pls
Similarly, by using the test function s(x), we obtain the weak form of
the Biot’s first equation (5.2) for the poroelastic layers (x ∈ (xp , xp+Npls )):
Z xp+N
pls ∂s ∂ub ∂w
2
(λ + 2µ + α Q) + (αQ) dx
xp ∂x ∂x ∂x
Z xp+N 2
∂2w
pls ∂ ub
+ s ρ 2 + ρf 2 dx
xp ∂t ∂t
2 ∂ub ∂w
= s (λ + 2µ + α Q) + (αQ)
∂x ∂x xp+N
pls
∂ub ∂w
− s (λ + 2µ + α2 Q) + (αQ) . (5.28)
∂x ∂x xp
We, in turn, obtain the weak form of the Biot’s second equation (5.3) by using
a test function v(x) as follows:
Z xp+N Z xp+N
pls ∂v ∂ub pls ∂v ∂w
(αQ) dx + Q dx
xp ∂x ∂x xp ∂x ∂x
Z xp+N 2
∂2w
pls 1 ∂w ∂ ub ρf
+ v + ρf 2 + dx = 0. (5.29)
xp k ∂t ∂t n ∂t2
179
where s and v denote the vectors of nodal solutions of, s(x) and v(x), re-
spectively; u(t) and w(t) denote the vectors of nodal solutions of, u(x, t) and
w(x, t) at time t, respectively. Here, we remark that, by virtue of the con-
tinuity conditions (5.9a), ua (x, t) and ub (x, t) are merged into u(x, t). Φ(x)
and Ψ(x) are the vectors of shape functions for the spatial approximation of
the trial and test functions. Owing to the finite element approximation, the
summation of the weak forms (5.26), (5.27), and (5.28) yields the following
time-dependent semi-discrete form:
∂u ∂2u ∂2w
Kuu u + Kuw w + Cuu + Muu 2 + Muw 2 = Fu , (5.31)
∂t ∂t ∂t
Similarly, the weak form (5.29) changes to the following time-dependent dis-
180
crete form:
∂w ∂2u ∂2w
Kwu u + Kww w + Cww + Mwu 2 + Mww 2 = 0, (5.33)
∂t ∂t ∂t
∂ΦT
Z xp+Npls
∂Ψ
Kwu = (αQ) dx,
xp ∂x ∂x
∂Ψ ∂ΨT
Z xp+Npls
Kww = Q dx,
xp ∂x ∂x
Z xp+Npls
1
Cww = Ψ ΨT dx,
x k
Z pxp+Npls
Mwu = Ψρf ΦT dx,
xp
Z xp+Npls
ρf
Mww = Ψ ΨT dx. (5.34)
xp n
Thus, (5.31) and (5.33) lead to the following time-dependent discrete form of
the state problem:
∂ 2 ST(t) ∂ST(t)
M 2
+C + K ST(t) = Fst , (5.35)
∂t ∂t
where
Muu Muw Cuu 0
M= , C= ,
Mwu Mww 0 Cww
Kuu Kuw u(t) Fu
K= , ST(t) = , Fst = . (5.36)
Kwu Kww w(t) 0
Similarly to the state problem, by using the test functions s(x) and
v(x), we build the weak forms of the adjoint PDEs as follows. First, the weak
181
forms of the PDE (5.15) for the elastic solid formations (x ∈ (x1 , xp ) and
(xp+Npls , L)) are:
xp Z xp
∂ 2 λu a
∂s ∂λua ∂λua
Z
(λ + 2µ) dx + sρ dx = s(λ + 2µ) , (5.37a)
x1 ∂x ∂x x1 ∂t2 ∂x xp
L Z L
∂ 2 λu a
∂s ∂λua
Z
(λ + 2µ) dx + sρ dx
xp+Npls ∂x ∂x xp+Npls ∂t2
(λ + 2µ) ∂λua ∂λua
=s − s(λ + 2µ) . (5.37b)
c ∂t x=L ∂x xp+N
pls
Second, the weak form of the PDE (5.16) within the poroelastic formations
(x ∈ (xp , xp+Npls )) is:
xp+Npls Z xp+N
∂s ∂λub pls ∂s ∂λw
Z
2
(λ + 2µ + α Q) dx + (αQ) dx
xp ∂x ∂x xp ∂x ∂x
Z xp+N 2
∂ 2 λw
pls ∂ λu b
+ s ρ + ρf dx
xp ∂t2 ∂t2
2 ∂λub ∂λw
= s(λ + 2µ + α Q) + (αQ)
∂x ∂x xp+N
pls
∂λ ub ∂λ w
− s(λ + 2µ + α2 Q) + (αQ) , (5.38)
∂x ∂x xp
and the weak form of the PDE (5.17) within the poroelastic formations (x ∈
(xp , xp+Npls )) is:
xp+Npls Z xp+N
∂v ∂λub ∂v ∂λw
Z
pls
(αQ) dx + Q dx
xp ∂x ∂x xp ∂x ∂x
Z xp+N
∂ 2 λu b ρf ∂ 2 λw ∂2w
pls ∂λw 1
+ v − + ρf + + Eρf 2 dx = 0. (5.39)
xp ∂t k ∂t2 n ∂t2 ∂t
182
We then introduce the approximation of the test functions s(x) and v(x), as
well as trial functions λu (x, t) and λw (x, t) as:
where, owing to the continuity condition (5.21a), λua (x, t) and λub (x, t) are
merged into λu (x, t). λu (t) and λw (t) denotes the vector of the nodal solutions
of λu (x, t) and λw (x, t), respectively. Then, similarly to the state problem, the
weak forms of the adjoint problem change to the following time-dependent
discrete form of the adjoint problem:
∂ 2 λ(t) ∂λ(t)
M 2
−C + K λ(t) = Fadj , (5.41)
∂t ∂t
The specific forms of the matrices M, C, and K are already shown in (5.36);
the force vector Fadj is defined as:
" #
0
Fadj = − Rx 2 . (5.43)
E xpp+Npls ρf ΨΨT dx ∂∂tw2
Time integration
We resolve the semi-discrete forms (5.35) and (5.41) by using the New-
mark time integration scheme. Accordingly, the discrete solutions of state and
183
adjoint problems are obtained by solving the following systems of equations.
(∆t)2 ∂ 2 ST(s+1)
∆t
M+C +K
2 4 ∂t2
∂ST(s) ∂ 2 ST(s) ∆t
= Fst(s+1) − C +
∂t ∂t2 2
2
∂ST(s) ∂ ST(s) (∆t)2
− K ST(s) + (∆t) + , (5.44)
∂t ∂t2 4
(∆t)2 ∂ 2 λ(s)
∆t
M+C +K
2 4 ∂t2
∂λ(s+1) ∂ 2 λ(s+1) ∆t
= Fadj (s) + C −
∂t ∂t2 2
2
∂λ(s+1) ∂ λ(s+1) (∆t)2
− K λ(s+1) − ∆t + , (5.45)
∂t ∂t2 4
where ∆t is the time step; (s) and (s+1) denote evaluation of the nodal vectors
at the s-th and (s + 1)-th time steps; and the time-line of the evaluation of
solution in (5.45) is reversed with respect to that of (5.44). We remark that the
system matrix in (5.44) is identical to that in (5.45) such that only one system
matrix inversion is required for addressing both state and adjoint problems per
each iteration of updating control parameters. By using the discrete adjoint
solution, we evaluate the reduced gradient as follows:
T
∂f (t)
Z
∇(ξ=fi ) L = λua (0, t) dt
0 ∂fi
Z T
= ΦT (0)λu (t)ϕi (t). (5.46)
0
184
We have thus far discussed the numerical implementation for solving
the state and adjoint problems, as well as evaluating the gradient of the ob-
jective functional. We validated the derivation and implementation of the
state, adjoint, and control problems by comparing the values of the compo-
nents of the gradient computed by (5.46) with those of the numerical gradient
obtained by the finite difference scheme (per (3.37)); the comparison shows
excellent agreement. By using the numerical optimizer, implemented per the
above discussion, we conduct the following numerical experiments.
185
5.4.1.1 Poroelastic validation study
186
Next, we obtain the finite element solution of elastic wave response
of the all-elastic-solid-layers system of semi-infinite extent, again shown in
Fig. 5.2 except that the third layer is replaced by an elastic solid layer. To
this end, we use the forward numerical solver implemented per the description
in chapter 3. For this elastic wave solution, we use again the same values of
E, ν, and ρs for each layer shown in Table 5.1. We use isoparametric linear
elements with element size 4m; T is 10s, and ∆t is 0.001s.
As seen in Figures 5.3 and 5.4, the comparison of the numerical solu-
tion of the coupled-poroelastic-elastic-layers system with that of the all-elastic-
solid-layers system shows excellent agreement. The truncation interface con-
dition, as well as the displacement-continuity conditions at the interfaces are
clearly shown.
2
f ( t ) [N/m ]
x =0m
500m
x
Nonpermeable elastic solid formations
500m
Poroelastic formation
300m
Truncation interface
Semi - infinite
187
Coupled−poroelastic−elastic−layers system
−4 All−elastic−solid−layers system
x 10
1
t = 0.10 s
u [ m]
−1
1
t = 0.20 s
u [ m]
−1
1
t = 0.30 s
u [ m]
−1
1
t = 0.40 s
u [ m]
−1
1
t = 0.50 s
u [ m]
−1
188
Coupled−poroelastic−elastic−layers system
x 10
−4 All−elastic−solid−layers system
1
t = 0.60 s
u [ m]
−1
1
t = 0.70 s
u [ m]
−1
1
t = 0.80 s
u [ m]
−1
1
t = 0.90 s
u [ m]
−1
1
t = 1.00 s
u [ m]
−1
189
Layer 1 Layer 2 Layer 3 Layer 4
(poroelastic)
Length [m] 500 500 300 500
E [N/m2 ] 1.25 × 1010 1.8 × 1010 4.5 × 109 3.2 × 1010
ν 0.0 0.0 0.0 0.0
ρs [kg/m3 ] 2000 2000 2000 2000
ρf [kg/m3 ] 860
n 1.0 × 10−10
α 1.0 × 10−10
KD [N/m2 ] 1.5 × 109
Ks [N/m2 ] KD /(1 − α)
Kf [N/m2 ] 7.0 × 108
η [cp] 5
k̄ [md] 100
Next, we study the wave motion of the rock matrix and the pore fluid
within a fluid-saturated poroelastic layer when the values of n and α are re-
alistic. To this end, we solve for the numerical solution of the wave response
of the coupled-poroelastic-elastic-layers system, shown in Fig. 5.2, for which
the material parameters are described in Table 5.1, except for α =0.667 and
n = 0.3. We then again compare it with the solution of the all-elastic-solid-
layers system to see any distinction between the wave responses of the two
different systems.
As seen in Fig. 5.5, the wave speed, corresponding to u(x, t), within the
190
poroelastic third layer of the coupled-poroelastic-elastic-layers system appears
to be greater than that of the elastic third layer of the all-elastic-solid-layers
system. We argue that this wave behavior is physically correct, as follows.
The theoretical wave speed4 of the wave motion u(x, t) in the third layer
(theoretical)
of this coupled-poroelastic-elastic-layers system is vp(poroelastic) = 1683.7m/s,
(theoretical)
while that5 in the third layer of the all-elastic-solid-layers system is vp(elastic)
=1500m/s. Such theoretical evaluation of the wave speed is nearly consistent
with our observation from the numerical solution: the finite element solu-
(numerical)
tion, as illustrated in Fig. 5.5, yields vp(poroelastic) = 1666.6m/s, which is only
(numerical)
0.97% smaller than the theoretical value (1683.7m/s), as well as vp(elastic) =
1500m/s, which is identical to the theoretical value.
Figure 5.6 shows the relative displacement field of the pore-fluid motion
w(x, t). We note that the amplitude of w(x, t) is nearly seven orders of magni-
tude smaller than that of u(x, t). Given such a low fluid mobility (k̄ = 100md
and η=5cp), the absolute fluid displacement, i.e., u(x, t) + w(x, t), is almost
identical to the rock matrix displacement u(x, t), such that w(x, t) is quite
small compared with u(x, t). In addition, Fig. 5.7 shows that the order of
magnitude of the amplitude of the pore pressure P (x, t) is as large as that of
q
4 (theoretical) λ+2µ+α2 Q
We use vp(poroelastic) = ρ : if there is a high viscosity-coupling (the fluid
mobility k → 0) between the solid rock matrix and the pore fluid within a fully-saturated
(theoretical)
poroelastic layer, there is only one longitudinal wave of the speed, i.e., vp(poroelastic) =
q
λ+2µ+α2 Q
ρ , within the poroelastic layer [20].
q
(theoretical)
5
We use vp(elastic) = λ+2µ ρ .
191
the total stress field σ(x, t) within the poroelastic layer in this example.
Coupled−poroelastic−elastic−layers system
x 10
−4 All−elastic−solid−layers system
1
t = 0.48 s
u [ m]
−1
1
t = 0.52 s
u [ m]
−1
1
t = 0.56 s
u [ m]
−1
1
t = 0.60 s
u [ m]
−1
1
t = 0.64 s
u [ m]
−1
192
−4 −10
x 10 x 10
2
t = 0.48 s 0.5 t = 0.48 s
w [ m]
u [ m]
0 0
−0.5
−2
0 500 1000 1500 0 500 1000 1500
−4 x [ m] −10 x [ m]
x 10 x 10
2
t = 0.52 s 0.5 t = 0.52 s
w [ m]
u [ m]
0 0
−0.5
−2
0 500 1000 1500 0 500 1000 1500
−4 x [ m] −10 x [ m]
x 10 x 10
2 1
t = 0.56 s 0.5 t = 0.56 s
w [ m]
u [ m]
0 0
−0.5
−2
0 500 1000 1500 0 500 1000 1500
−4 x [ m] −10 x [ m]
x 10 x 10
2 1
t = 0.60 s 0.5 t = 0.60 s
w [ m]
u [ m]
0 0
−0.5
−2
0 500 1000 1500 0 500 1000 1500
−4 x [ m] −10 x [ m]
x 10 x 10
2 1
t = 0.64 s 0.5 t = 0.64 s
w [ m]
u [ m]
0 0
−0.5
−2
0 500 1000 1500 0 500 1000 1500
x [ m] x [ m]
Figure 5.6: The numerical solution of u(x, t) and w(x, t) of the coupled-
poroelastic-elastic-layers system employing α = 0.667 and n = 0.3, 0.48s ≤ t ≤
0.64s.
193
50
P [ kN/m2 ]
10
σ [ kN/m2 ]
t = 0.48 s t = 0.48 s
0 0
−10
−50
0 500 1000 1500 0 500 1000 1500
x [ m] x [ m]
50
P [ kN/m2 ]
10
σ [ kN/m2 ]
t = 0.52 s t = 0.52 s
0 0
−10
−50
0 500 1000 1500 0 500 1000 1500
x [ m] x [ m]
50
P [ kN/m2 ]
10
σ [ kN/m2 ]
t = 0.56 s t = 0.56 s
0 0
−10
−50
0 500 1000 1500 0 500 1000 1500
x [ m] x [ m]
50
P [ kN/m2 ]
10
σ [ kN/m2 ]
t = 0.60 s t = 0.60 s
0 0
−10
−50
0 500 1000 1500 0 500 1000 1500
x [ m] x [ m]
50
P [ kN/m2 ]
10
σ [ kN/m2 ]
t = 0.64 s t = 0.64 s
0 0
−10
−50
0 500 1000 1500 0 500 1000 1500
x [ m] x [ m]
Figure 5.7: The numerical solution of σ(x, t) and P (x, t) of the coupled-
poroelastic-elastic-layers system employing α = 0.667 and n = 0.3; P (x, t)
is positive for compression.
194
5.4.2 Wave source optimal signals
195
wave motion within targeted poroelastic formations.
∂w
Figure 5.11 shows the wave response ∂t
, within the targeted poroelastic
formation, induced by the optimized loading shown in Fig. 5.9(d) and a non-
optimal sinusoidal loading f (t) = 50 sin(2πf t)kN/m2 with the frequency of
∂w
f = 15Hz. The amplitude of ∂t
induced by the optimized loading seems to
be 2–3 times greater than that induced by the non-optimal loading.
100 m
100 m
Truncation
interface
Semi-infinite
196
60 60
40 40
f (t ) [ kN/m2 ]
f (t ) [ kN/m2 ]
20 20
0 0
−20 −20
−40 −40
−60 −60
0 0.5 1 1.5 0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
Ti me t [ s] Ti me t [ s]
Fou ri er tran sform of f (t )
11.8 Hz
19 Hz
10 10
5 5
0 0
0 10 20 30 40 50 60 0 10 20 30 40 50 60
Frequ en cy f [ H z] Frequ en cy f [ H z]
(a) The optimized f (t) discretized by us- (b) The optimized f (t) discretized by us-
ing 100 elements ing 125 elements
60 60
40 40
f (t ) [ kN/m2 ]
f (t ) [ kN/m2 ]
20 20
0 0
−20 −20
−40 −40
−60 −60
0 0.2 0.4 0.6 0.8 1 0 0.2 0.4 0.6 0.8 1
Ti me t [ s] Ti me t [ s]
Fou ri er tran sform of f (t )
7 7
x 10 x 10
15 15
27.2 Hz 42. 6 Hz
10 10
5 5
0 0
0 10 20 30 40 50 60 0 10 20 30 40 50 60
Frequ en cy f [ H z] Frequ en cy f [ H z]
(c) The optimized f (t) discretized by us- (d) The optimized f (t) discretized by
ing 200 elements using 250 elements
Figure 5.9: Close-up views of optimal loading signals that are finally converged
via the minimization of (5.12) and the frequency spectra of the optimized
loadings.
197
Layer 1 Layer 2 Layer 3 Layer 4 Layer 5
(poroelastic)
Length [m] 100 100 200 100 100
E [N/m ] 4.0 × 109
2
4.8 × 109 1.0 × 109 5.5 × 109 6.0 × 109
ν 0.2 0.2 0.2 0.2 0.2
3
ρs [kg/m ] 2000 2000 2000 2000 2000
3
ρf [kg/m ] 860
n 0.3
KD [N/m2 ] 5.6 × 108
Ks [N/m2 ] 8.3 × 108
Kf [N/m2 ] 7.0 × 108
η [cp] 5
k̄ [md] 100
Table 5.2: Rock properties of the 5-layered subsurface formation system shown
in Fig. 5.8.
15
10
14
10
t ( x , t ) )d x
2
13
10
ρ f ( ∂∂ w
1
12
10
Ω0
L= R
11
10
10
10
11.8 Hz 19 Hz 27.2 Hz
9 42.6 Hz
10
0 5 10 15 20 25 30 35 40 45 50
Frequ en cy f [ H z]
Figure 5.10: The distribution of the objective functional (5.12) with respect to
frequencies f = 0.1–50Hz for a sinusoidal excitation f (t) = 50 sin(2πf t)kN/m2
for the 5-layered subsurface formation model in Fig. 5.8; the optimization
experiments recover 11.8, 19.0, 27.2, and 42.6Hz.
198
Optimized loading
−3
x 10
−3
x 10 Nonoptimal loading
5 5
t = 1.00 s t = 1.04 s
[ m/d ay]
[ m/d ay]
0 0
∂w
∂w
∂t
∂t
−5 −5
200 250 300 350 400 200 250 300 350 400
x [ m] x [ m]
−3 −3
x 10 x 10
5 5
t = 1.08 s t = 1.12 s
[ m/d ay]
[ m/d ay]
0 0
∂w
∂w
∂t
∂t
−5 −5
200 250 300 350 400 200 250 300 350 400
x [ m] x [ m]
−3 −3
x 10 x 10
5 5
t = 1.16 s t = 1.20 s
[ m/d ay]
[ m/d ay]
0 0
∂w
∂w
∂t
∂t
−5 −5
200 250 300 350 400 200 250 300 350 400
x [ m] x [ m]
Figure 5.11: The wave responses within the poroelastic formation of the for-
mation model in Fig. 5.8, induced by the optimized load shown in Fig. 5.9(d)
and a non-optimal harmonic load f (t) = 50 sin(2π × 15t)kN/m2 .
199
5.5 Summary
200
(path dependency of the flow of oil within an oil reservoir, for which
permeability varies spatially) to evaluate the amount of remaining oil
mobilized from low- to high-permeability areas. That is, in general, the
oil/water ratio of the pore fluid moving from low- to high-permeability
areas is greater than that of the fluid moving in the opposite direc-
tion. Thus, we may approximate the volume of mobilized oil through
the cross-flow at the interface between two different areas by temporally
and spatially integrating, over the observation time and the area of in-
terface, a fraction of fluid’s velocity field only in the direction from low-
to high-permeability areas.
201
Chapter 6
Conclusions
6.1 Summary
202
• Surface wave sources are better suited for increasing oil mobility, un-
der certain conditions and despite the loss of energy due to attenuation
(radiation or other) and/or energy concentration at the surface.
203
• We have used the results of previously published research on oil mobility
to evaluate whether the motion resulting from the solution of the inverse-
source problem could indeed result in oil mobilization. Specifically, we
used previously published acceleration threshold values. For most of our
simulations we used the kinetic energy as the metric to be maximized, but
also produced results where we sought to maximize the acceleration field
at the target formation. Under certain conditions (shallow reservoirs),
the induced motion meets the acceleration threshold.
To bridge the gap between the optimal wave source conditions recovered
in our numerical problem settings and those for a realistic EOR application,
we suggest extending our presented work as follows:
• In the presented work, we used the kinetic energy and the acceleration
field as maximization metrics, i.e., as indirect mobility metrics. Other
metrics should be explored. For example, pressure gradients across the
interfaces between low and high permeability areas are also possible, in
order to explore the possibility of inducing cross-flow.
204
• We conjectured that, in addition to the amplitude and frequency content
of the loading signals, the location of the wave sources plays a critical role
in maximizing the desired metrics within a target reservoir. Thus, study-
ing a new optimization problem that includes the spatial distribution of
the wave sources as additional control parameters is of importance.
• Along the same line of thinking, regarding the optimal placement of the
wave sources, it would be of interest to explore whether the combination
of wellbore, in-reservoir, and surface sources, judiciously triggered, could
further illuminate the target formation, and enhance oil mobility.
205
Appendices
206
Appendix A
207
Next, we isolate the second term, whose first component becomes (for a layered
medium case):
L T
∂ ∂δu
Z Z
λ E dtdx
0 0 ∂x ∂x
Z LZ T
∂E ∂δu ∂ 2 δu
= λ + λE dtdx
0 0 ∂x ∂x ∂x2
Nls
(Z − Z )
xi+1 T
X ∂E ∂δu ∂ 2 δu
= λ + λE 2
dtdx
i=1 x +
i 0 ∂x ∂x ∂x
Nls
(Z
T x−i+1 Z x− Z T
X ∂E i+1 ∂ ∂E
= λ δudt − λ δu dtdx
i=1 0 ∂x x+ x+
i 0 ∂x ∂x
i
Z T x−i+1 Z x− Z T )
∂δu i+1 ∂ ∂δu
+ λE dt − (λE) dtdx . (A.2)
0 ∂x x+ x+i 0 ∂x ∂x
i
208
Next, the second component of the second term in (A.1), after integration by
parts with respect to time, leads to the following:
Z LZ T
∂ 2 δu
λρ 2 dtdx
0 0 ∂t
Z L Z L Z LZ T
∂2λ
∂δu ∂λ
= ρλ dx − ρ δu dx +
ρ 2 δu dtdx. (A.4)
0 ∂t t=T 0 ∂t t=T 0 0 ∂t
In addition,
Z T Z T
E ∂δu E ∂λL E
λL dt = λL δu − δudt . (A.5)
0 c ∂t x=L c x=L,t=T 0 ∂t c x=L
Then, by combining (A.3), (A.4), and (A.5), (A.1) can be rearranged as:
Z LZ T
∂2λ ∂2u
∂ ∂λ
δu A = δu E − ρ 2 + E(x)ρ 2 dtdx
0 0 ∂x ∂x ∂t ∂t
Z L
∂λ ∂u
+ δu ρ − E(x)ρ dx
0 ∂t ∂t
Z L t=T
∂δu E
− ρλ dx + λL δu
0 ∂t t=T c x=L,t=T
Z T Z T
∂δu ∂δu
− λE dt + λ0 E dt
0 ∂x x=0 0 ∂x x=0
Z T Z T
∂δu ∂δu
+ λE dt + λL E dt
0 ∂x x=L 0 ∂x x=L
Z T Z T
∂λ ∂λ L E ∂λ
+ E δudt − +E δudt
0 ∂x x=0 0 ∂t c ∂x x=L
NX −1
(Z
ls T T
∂δu ∂δu
Z
+ λE dt − λE dt
i=1 0 ∂x x=x − 0 ∂x x=x+
i+1 i+1
Z T Z T )
∂λ ∂λ
− E δudt + E δudt = 0, (A.6)
0 ∂x x=x− 0 ∂x x=x+
i+1 i+1
The variation condition (A.6) vanishes for arbitrary variations δu if the adjoint
problem (3.12) is satisfied.
209
A.2 The third condition
where (˙) denotes the derivative of the subtended function with respect to ξ.
To further simplify (A.7), we introduce a weak form of the state problem using
λ̇ as the weight function, to obtain:
L T
∂2u
∂ ∂u
Z Z
λ̇ E − ρ 2 dtdx = 0. (A.8)
0 0 ∂x ∂x ∂t
210
Because of (A.9) and (A.11), (A.7) simplifies to the following:
Z Tx=L Z T
∂u ∂λ
δξ A = − E λ̇ dt − E u̇ dt
0 ∂x x=0 0 ∂x x=L
Z T Z T
∂f (t) E ∂u E ∂ u̇
+ λ̇f (t) + λ dt − λ̇ +λ dt .
0 ∂ξ x=0 0 c ∂t c ∂t x=L
(A.12)
211
Appendix B
212
We derive δua A, δub A, δSa A, and δSb A separately. We first derive δua A. Here,
δua A can be split as: δua A = δua1 A + δua2 A, and δua1 A can be derived as:
RT h i
R ∂ua1 ∂δua1
− Ω0 0
2ρ dtdΩ
∂t ∂t
δua1 A = 2 2 2
R RT ∂ua1 ∂ua2
Ω0 0
ρ ∂t
+ ∂t dtdΩ
Z Z T
∂ 2 δua1
− λua1 ρ dtdΩ
Ω0 0 ∂t2
Z Z T
1 ∂ 2 δua1 ∂ 2 δua1
− λSa1j + λSai1 dtdΩ, (B.2)
2 Ω0 0 ∂xj ∂t ∂xi ∂t
213
Similarly, we derive δua2 A. Then, the summation of δua1 A and δua2 A yields:
214
and we derive δSa A:
215
as well as δSb A:
216
Then, the summation of (B.4), (B.5), (B.6), and (B.7) leads to the following:
217
T
∂λua
Z Z Z
div(δSTa )dΩ · div(δSTa )dtdΩ
+ λua · −
Ω0 ∂t
t=T Ω0 Z0
∂δSa ∂λ
Z
S a
+ λSa : D dΩ − : (D [δSa ]) dΩ
Ω0 ∂t t=T Ω0 ∂t t=T
T
∂ 2 λ Sa
Z Z
+ : (D [δSa ]) dtdΩ
Ω0 0 ∂t2
Z
T
+ λub · div δSb Λ̃e dΩ
Ω\Ω0 t=T
T
∂λub
Z Z
− · div δSTb Λ̃e dtdΩ
Ω\Ω0 0 ∂t
Z Z T
+ λub · div δSTb Λ̃p dtdΩ
Ω\Ω0 0
∂δS
Z
b
λSb : ΛTe D
+ Λe dΩ
Ω\Ω ∂t t=T
Z 0
∂λSb T
− : Λe (D [δSb ]) Λe dΩ
Ω\Ω0 ∂t t=T
Z T 2
∂ λ Sb T
Z
+ 2
: Λe (D [δSb ]) Λe dtdΩ
Ω\Ω0 0 ∂t
Z
T
+ λSb : Λe (D [δSb ]) Λp dΩ
Ω\Ω0 t=T
Z T
∂λSb
Z
: ΛTe (D [δSb ]) Λp dtdΩ
−
Ω\Ω0 0 ∂t
Z
T
+ λSb : Λp (D [δSb ]) Λe dΩ
Ω\Ω0 t=T
T
∂λSb
Z Z
: ΛTp (D [δSb ]) Λe dtdΩ
−
Ω\Ω0 0 ∂t
Z Z T
λSb : ΛTp (D [δSb ]) Λp dtdΩ
+
Ω\Ω0 0
T
∂λF T
Z Z Z
λF δSTb ndtdΓ
+ − δSb ndtdΓ. (B.8)
Γload t=T 0 Γload ∂t
218
RT
Here, (B.8) can be split into two parts as: δu,S A = δu,S A(T ) + δu,S A( 0 )
.
δu,S A(T ) denotes the terms that are temporally associated only with time t =
RT
T ; δu,S A( 0
)
denotes the terms that include the temporal integration for (0,
T]. Due to the tensor identities (B.35a), (B.35c), and (B.35d), δu,S A(T ) then
changes to the following:
δu,S A(T )
∂ua ∂λua ∂δu
Z Z
a
= −ρE · δua + · ρδua dΩ − λ ua · ρ dΩ
Ω ∂t ∂t t=T Ω0 ∂t t=T
Z 0
1
λSa + λTSa : ∇δua dΩ
−
Ω 2 t=T
Z 0
∂ub ∂λub
+ −ρE + ρa − λub ρb · δub dΩ
Ω\Ω0 ∂t ∂t t=T
∂δub
Z
− λub · ρa dΩ
Ω\Ω0 ∂t t=T
1
Z Z
T T
− Λe λSb + Λe λSb : ∇δub dΩ + λua · div(δSa )dΩ
Ω\Ω0 2 t=T Ω0 t=T
∂δSa ∂λSa
Z Z
+ λ Sa : D dΩ − : (D [δSa ]) dΩ
Ω ∂t t=T Ω0 ∂t t=T
Z 0
+ λub · div δSTb Λ̃e dΩ
Ω\Ω0 t=T
∂λSb
Z
T
− : Λe (D [δSb ]) Λe dΩ
Ω\Ω0 ∂t t=T
∂δS
Z
b
+ λSb : ΛTe D Λe + ΛTe (D [δSb ]) Λp
Ω\Ω0 ∂t
+ΛTp (D [δSb ]) Λe dΩ
t=T
Z
λF δSTb ndΓ
+ (B.9)
Γload t=T
219
By virtue of the tensor identities shown in (B.35a), (B.35b), (B.35c), and
RT
(B.35d), δu,S A( 0 )
changes to the following:
RT
δu,S A( 0 )
T
∂ 2 ua ∂ 2 λua
Z Z
= ρE 2 − ρ · δua dtdΩ
Ω0 0 ∂t ∂t2
∂λTSa
Z Z T
1 ∂λSa
+ : ∇δua + : ∇δua dtdΩ
2 Ω0 0 ∂t ∂t
Z T 2
∂ 2 ub
∂ λub ∂λub
Z
− ρa − ρb + λub ρc − ρE 2 · δub dtdΩ
Ω\Ω0 0 ∂t2 ∂t ∂t
Z T
1
Z
Λp λSb : ∇δub + Λp λTSb : ∇δub dtdΩ
−
Ω\Ω0 0 2
Z T " #
1 ∂λSb ∂λTSb
Z
+ Λe : ∇δub + Λe : ∇δub dtdΩ
Ω\Ω0 0 2 ∂t ∂t
Z Z T
∂λua ∂λua
− div δSa −∇ : δSTa dtdΩ
Ω0 0 ∂t ∂t
Z Z T 2 Z TZ
∂ λ Sa ∂λF T
+ 2
: (D [δSa ]) dtdΩ − δSb ndtdΓ
Ω0 0 ∂t 0 Γload ∂t
Z T n oT ∂λ ∂λub
Z
T ub
− div δSb Λ̃e −∇ : δSTb Λ̃e dtdΩ
Ω\Ω0 0 ∂t ∂t
Z Z T n oT
+ div T
δSb Λ̃p λub − ∇λub : δSTb Λ̃p dtdΩ
Ω\Ω0 0
T
∂ 2 λSb T
Z Z
+ 2
: Λe (D [δSb ]) Λe dtdΩ
Ω\Ω0 0 ∂t
Z T
∂λSb T
Z
− : Λe (D [δSb ]) Λp dtdΩ
Ω\Ω0 0 ∂t
Z T
∂λSb T
Z
− : Λp (D [δSb ]) Λe dtdΩ
Ω\Ω0 0 ∂t
Z Z T
λSb : ΛTp (D [δSb ]) Λp dtdΩ,
+ (B.10)
Ω\Ω0 0
220
where div(·) denotes the divergence operator of a vector. Due to the divergence
theorem and the tensor identities (B.35a) and (B.35c), (B.10) changes to the
following:
RT
δu,S A( 0 )
T
∂ 2 ua ∂ 2 λua
Z Z
= ρE 2 − ρ · δua dtdΩ
Ω0 0 ∂t ∂t2
!
∂λSa ∂λTSa
Z Z T
1
+ + : ∇δua dtdΩ
2 Ω0 0 ∂t ∂t
Z T 2
∂ 2 ub
∂ λub ∂λub
Z
− ρa − ρb + λub ρc − ρE 2 · δub dtdΩ
Ω\Ω0 0 ∂t2 ∂t ∂t
Z T " T
#
1 ∂λ ∂λ
Z
S S
+ −Λp λSb − Λp λTSb + Λe b
+ Λe b
: ∇δub dtdΩ
Ω\Ω0 0 2 ∂t ∂t
Z Z T Z Z T T
∂λua ∂λua
− δSa · −ndtdΓ + ∇ : δSa dtdΩ
Γint 0 ∂t Ω0 0 ∂t
Z Z T 2
∂ λ Sa
+ : (D [δSa ])dtdΩ
Ω0 0 ∂t2
Z Z T n oT ∂λ
T ub
− δSb Λ̃e · ndtdΓ
Γfree +Γfixed +Γint 0 ∂t
Z Z T n oT
T
+ δSb Λ̃p λub · ndtdΓ
Γfree +Γfixed +Γint 0
Z T T
∂λub
Z
+ Λ̃e ∇ : δSb dtdΩ
Ω\Ω0 0 ∂t
Z Z T
− Λ̃p (∇λub )T : δSb dtdΩ
Ω\Ω0 0
T
∂ 2 λSb T
Z Z
+ 2
: Λe (D [δSb ]) Λe dtdΩ
Ω\Ω0 0 ∂t
T
∂λSb T
Z Z
− : Λe (D [δSb ]) Λp dtdΩ
Ω\Ω0 0 ∂t
221
T
∂λSb T
Z Z
− : Λp (D [δSb ]) Λe dtdΩ
Ω\Ω0 0 ∂t
T T
∂λF T
Z Z Z Z
T
+ λSb : Λp (D [δSb ]) Λp dtdΩ − δSb ndtdΓ.
Ω\Ω0 0 Γload 0 ∂t
(B.11)
RT
δu,S A( 0 )
T
∂ 2 ua ∂ 2 λua
Z Z
= ρE 2 − ρ · δua dtdΩ
Ω0 0 ∂t ∂t2
!
∂λSa ∂λTSa
Z Z T
1
+ + : ∇δua dtdΩ
2 Ω0 0 ∂t ∂t
Z T 2
∂ 2 ub
∂ λ ub ∂λub
Z
− ρa − ρb + λub ρc − ρE 2 · δub dtdΩ
Ω\Ω0 0 ∂t2 ∂t ∂t
Z T " T
#
1 ∂λ ∂λ
Z
Sb Sb
+ −Λp λSb − Λp λTSb + Λe + Λe : ∇δub dtdΩ
Ω\Ω0 0 2 ∂t ∂t
Z Z T Z Z T T
∂λua ∂λua
+ δSa · ndtdΓ + ∇ : δSa dtdΩ
Γint 0 ∂t Ω0 0 ∂t
Z Z T 2
∂ λ Sa
+ D : δSa dtdΩ
Ω0 0 ∂t2
Z Z T n oT ∂λ
T ub
− δSb Λ̃e · ndtdΓ
Γfree +Γfixed 0 ∂t
Z Z T
∂λub
− δSb · ndtdΓ
Γint 0 ∂t
Z T( T )
∂λub
Z
+ Λ̃e ∇ − Λ̃p (∇λub )T : δSb dtdΩ
Ω\Ω0 0 ∂t
Z Z T n oT
T
+ δSb Λ̃p λub · ndtdΓ
Γfree +Γfixed 0
Z T 2
T ∂ λ Sb
Z
+ D Λe Λe : δSb dtdΩ
Ω\Ω0 0 ∂t2
222
T
T ∂λSb
Z Z
− D Λe Λp : δSb dtdΩ
Ω\Ω0 0 ∂t
Z T
T ∂λSb
Z
− D Λp Λe : δSb dtdΩ
Ω\Ω0 0 ∂t
Z T T
∂λF T
Z Z Z
T
+ D Λp λSb Λp : δSb dtdΩ − δSb ndtdΓ.
Ω\Ω0 0 Γload 0 ∂t
(B.12)
223
By virtue of (B.35b), (B.12) changes to:
RT
δu,S A( 0 )
!!
T
∂ 2 ua ∂ 2 λua 1 ∂λSa ∂λTSa
Z Z
= ρE 2 − ρ − div + · δua dtdΩ
Ω0 0 ∂t ∂t2 2 ∂t ∂t
Z Z T( ! "
T
# )
1 ∂λSa ∂λTSa ∂λSb ∂λSb
+ + (−n) + + n · δua dtdΓ
2 Γint 0 ∂t ∂t ∂t ∂t
2
∂ λub ∂λub ∂ 2 ub
Z
− ρa − ρb + λ u b
ρc − ρE
Ω\Ω0 ∂t2 ∂t ∂t2
" #!
T
1 ∂λ Sb ∂λ Sb
+ div −Λp λSb − Λp λTSb + Λe + Λe · δub dtdΩ
2 ∂t ∂t
Z T " T
# !
1 ∂λ ∂λ
Z
Sb Sb
+ −Λp λSb − Λp λTSb + Λe + Λe n · δub dtdΓ
2 Γfree 0 ∂t ∂t
Z Z T
∂λua ∂λub
· δSTa n = δSTb n dtdΓ
+ −
Γint 0 ∂t ∂t
Z Z T T 2 !
∂λua ∂ λSa
+ ∇ +D : δSa dtdΩ
Ω0 0 ∂t ∂t2
Z T Z T
∂λub n T o ∂λub
Z Z
· δSTb n dtdΓ
− · δSb Λ̃e n dtdΓ −
Γfixed 0 ∂t Γload 0 ∂t
Z Z T n o
+ λub · δSTb Λ̃p n dtdΓ
Γfixed 0
Z T( T
∂λub
Z
+ Λ̃e ∇ − Λ̃p (∇λub )T
Ω\Ω0 0 ∂t
2
T ∂ λ Sb T ∂λSb T ∂λSb T
+D Λe Λe − Λe Λp − Λp Λ e + Λ p λ Sb Λ p
∂t2 ∂t ∂t
: δSb dtdΩ
T
∂λF
Z Z
− · δSTb ndtdΓ. (B.13)
Γload 0 ∂t
224
Here, it can be shown that:
Z Z T ( T 2 )
∂λua ∂ λ Sa
∇ +D : δSa dtdΩ
Ω0 0 ∂t ∂t2
( " T #)
∂ 2 λsym
Z Z T
Sa 1 ∂λua ∂λua
= δSa : D 2
+ ∇ + ∇ dtdΩ,
Ω0 0 ∂t 2 ∂t ∂t
(B.14)
as well as
( T
T
∂λub
Z Z
Λ̃e ∇ − Λ̃p (∇λub )T
Ω\Ω0 0 ∂t
2
T ∂ λ Sb T ∂λSb T ∂λSb T
+D Λe Λe − Λe Λp − Λp Λe + Λp λSb Λp
∂t2 ∂t ∂t
: δSb dtdΩ
Z T( ( T )
1 ∂λub ∂λub
Z
= Λ̃e ∇ + ∇ Λ̃e
Ω\Ω0 0 2 ∂t ∂t
1n o
− Λ̃p (∇λub )T + (∇λub )Λ̃p
2
∂ 2 λsym ∂λsym ∂λsym
T Sb T Sb T Sb T sym
+D Λe Λe − Λe Λp − Λp Λ e + Λ p λ Sb Λ p
∂t2 ∂t ∂t
: δSb dtdΩ. (B.15)
Then, via (B.14) and (B.15), the summation of (B.9) and (B.13) becomes
225
δu,S A
Z
∂ua ∂λua
= −ρE · δua + · ρδua dΩ
Ω0 ∂t ∂t t=T
∂δua
Z Z
sym
− λ ua · ρ dΩ − λSa : ∇δua dΩ
Ω ∂t t=T Ω0 t=T
Z 0
∂ub ∂λub
+ −ρE + ρa − λub ρb · δub dΩ
Ω\Ω0 ∂t ∂t t=T
∂δub
Z
− λub · ρa dΩ
Ω\Ω0 ∂t t=T
Z Z
sym T
− Λe λSb : ∇δub dΩ + λua · div(δSa )dΩ
Ω\Ω0 Ω0
t=T t=T
∂δSa ∂λ
Z Z
S a
+ λSa : D dΩ − : (D [δSa ]) dΩ
Ω ∂t t=T Ω0 ∂t t=T
Z 0
∂λ
Z
T S b
T
+ λub · div δSb Λ̃e dΩ − : Λe (D [δSb ]) Λe dΩ
Ω\Ω0 t=T Ω\Ω 0
∂t t=T
∂δS ∂δS
Z
b b
+ λSb : ΛTe D Λe + ΛTe D Λp
Ω\Ω0 ∂t ∂t
T ∂δSb
Λp D Λe dΩ
∂t t=T
Z
λF δSTb ndtdΓ
+
Γload t=T
Z Z T sym
2
∂ ua ∂ 2 λua ∂λSa
+ ρE 2 − ρ − div · δua dtdΩ
Ω0 0 ∂t ∂t2 ∂t
Z Z T sym
∂λSa
− n · δua dtdΓ
Γint 0 ∂t
Z Z T sym
∂λSb
+ n · δub dtdΓ
Γint 0 ∂t
226
T
∂ 2 λ ub ∂ 2 ub
∂λub
Z Z
− ρa − ρb + λ ub ρc − ρE
Ω\Ω0 0 ∂t2 ∂t ∂t2
sym
∂λSb
+div −Λp λsym Sb + Λ e · δub dtdΩ
∂t
∂λsym
Z Z T
sym Sb
+ −Λp λSb + Λe n · δub dtdΓ
Γfree 0 ∂t
Z Z T
∂λua T
+ · δSa n dtdΓ
Γint 0 ∂t
Z Z T
∂λub T
− · δSb n dtdΓ
Γint 0 ∂t
( " T #)
∂ 2 λsym
Z Z T
Sa 1 ∂λ ua ∂λ ua
+ δSa : D 2
+ ∇ + ∇ dtdΩ
Ω0 0 ∂t 2 ∂t ∂t
Z T Z T
∂λub n T o ∂λub
Z Z
· δSTb n dtdΓ
− · δSb Λ̃e n dtdΓ −
Γfixed 0 ∂t Γload 0 ∂t
Z Z T n o
+ λub · δSTb Λ̃p n dtdΓ
Γfixed 0
Z T( T !
1 ∂λub ∂λub
Z
+ Λ̃e ∇ + ∇ Λ̃e
Ω\Ω0 0 2 ∂t ∂t
1
− Λ̃p (∇λub )T + (∇λub )Λ̃p
2
∂ 2 λsym ∂λsym ∂λsym
T Sb T Sb T Sb T sym
+D Λe Λe − Λe Λp − Λp Λ e + Λ p λ Sb Λ p
∂t2 ∂t ∂t
: δSb dtdΩ
T
∂λF
Z Z
− · δSTb ndtdΓ. (B.16)
Γload 0 ∂t
(B.16) vanishes for arbitrary variations δua , δub , δSa , and δSb , provided that
we satisfy the adjoint problem (4.14)–(4.19).
227
B.2 The third condition
∂A
δξ A =
∂ξ
∂ 1
= 2
∂ξ R RT ∂ua1
2
∂ua2
Ω 0 ρ
∂t
+ ∂t dtdΩ
0
Z Z T T
∂ 2 ua
∂Sa
+ λua · div − ρ 2 dtdΩ
Ω0 0 ∂t ∂t
Z Z T " ( T )#
∂ 2 Sa
1 ∂ua ∂ua
+ λ Sa : D − ∇ + ∇ dtdΩ
Ω0 0 ∂t2 2 ∂t ∂t
Z T T
∂Sb
Z
T
+ λub · div Λ̃e + Sb Λ̃p
Ω\Ω0 0 ∂t
2
∂ ub ∂ua
−ρ a 2 + b + cub dtdΩ
∂t ∂t
Z T 2
∂ Sb ∂Sb
Z
T T
+ λ Sb : Λ e D Λe + Λe D Λp
Ω\Ω0 0 ∂t2 ∂t
T ∂Sb
+ Λp D Λe + ΛTp (D [Sb ])Λp
∂t
1
− ΛTp ∇ub + (∇ub )T Λp
2(
T )#
1 ∂u b ∂u b
− ΛTe ∇ + ∇ Λe dtdΩ
2 ∂t ∂t
Z T T
∂Sb
Z
+ λF · n − f(x, t) dtdΓ . (B.17)
Γload 0 ∂t
228
The first term in (B.17), via integration by parts with respect to time, changes
to:
!
∂ 1
∂ξ R R T ∂ua 2 ∂ua 2
Ω0 0
ρ ∂t 1 + ∂t 2 dtdΩ
Z Z T
∂ 2 ua
∂ua
Z
=− ρE · u̇a dΩ + ρE 2 · u̇a dtdΩ
Ω0 ∂t t=T Ω0 0 ∂t
Z T
∂ 2 ub
∂ub
Z Z
− ρE · u̇b dΩ + ρE 2 · u̇b dtdΩ, (B.18)
Ω\Ω0 ∂t t=T Ω\Ω0 0 ∂t
where (˙) denotes the derivative of the subtended function with respect to ξ.
The second term of (B.17) changes as the following:
T
∂STa ∂ 2 ua
Z
∂
Z
λua · div − ρ 2 dtdΩ
∂ξ Ω0 0 ∂t ∂t
Z Z T T 2
∂Sa ∂ ua
= λ̇ua · div − ρ 2 dtdΩ
Ω0 0 ∂t ∂t
Z Z T " ! #
T 2
∂ Ṡa ∂ u̇a
+ λua · div − ρ 2 dtdΩ, (B.19)
Ω0 0 ∂t ∂t
∂ST 2
whereby div a
∂t
− ρ ∂∂tu2a = 0, as shown in the state problem (4.1a). Thus,
(B.19) reduces to:
" ! #
T
∂ ṠTa ∂ 2 u̇a
Z Z
λua · div − ρ 2 dtdΩ. (B.20)
Ω0 0 ∂t ∂t
229
Similarly, the third term of (B.17) changes as the following:
(Z Z ( " T #) )
T
∂ 2 Sa
∂ 1 ∂ua ∂ua
λSa : D − ∇ + ∇ dtdΩ
∂ξ Ω0 0 ∂t2 2 ∂t ∂t
Z Z T 2
∂ λSa h i
= : D Ṡa dtdΩ
Ω0 0 ∂t2
Z Z T
∂λSa 1 h i
+ : ∇u̇a + (∇u̇a )T dtdΩ. (B.22)
Ω0 0 ∂t 2
230
The fifth term of (B.17) changes as the following:
T 2
∂ ∂ Sb ∂Sb
Z Z
T T
λSb : Λe D Λe + Λe D Λp
∂ξ Ω\Ω0 0 ∂t2 ∂t
T ∂Sb
+ Λp D Λe + ΛTp (D [Sb ]) Λp
∂t
1
− ΛTp ∇ub + (∇ub )T Λp
2"
T #)
1 ∂u b ∂u b
− ΛTe ∇ + Λe dtdΩ
2 ∂t ∂t
Z T 2
∂ λSb n T h i o
Z
= : Λe D Ṡb Λe dtdΩ
Ω\Ω0 0 ∂t2
Z T
∂λSb n T h i
Z h i
− : Λe D Ṡb Λp + ΛTp D Ṡb Λe
Ω\Ω0 0 ∂t
1h T i
T
− Λe ∇u̇b + (∇u̇b ) Λe dtdΩ
2
Z T h i i
1h T
Z
T T
+ λSb : Λp D Ṡb Λp − Λ ∇u̇b + (∇u̇b ) Λp dtdΩ.
Ω\Ω0 0 2 p
(B.24)
231
Due to (B.18), (B.21), (B.22), (B.23), (B.24), and (B.25), (B.17) changes to:
δξ A
T
∂ 2 ua ∂ 2 λ ua
i
∂λSa 1 h
Z Z
T
= Eρ 2 · u̇a − · ρu̇a + : ∇u̇a + (∇u̇a ) dtdΩ
Ω0 0 ∂t ∂t2 ∂t 2
Z Z T ∂2λ h i
∂λua T Sa
+ − · div Ṡa + : D Ṡa dtdΩ
Ω0 0 ∂t ∂t2
Z T 2
∂ λ ub ∂λub ∂ 2 ub
Z
+ − · ρa u̇b + · ρb u̇b − λ ub · ρc u̇b + Eρ · ub
Ω\Ω0 0 ∂t2 ∂t ∂t2
∂λSb 1 h T T
i
+ : Λ ∇u̇b + (∇u̇b ) Λe
∂t 2 e
1h T i
T
− λ Sb : Λ ∇u̇b + (∇u̇b ) Λp dtdΩ
2 p
Z T
∂λub
Z
T T
+ − · div Ṡb Λ̃e + λub · div Ṡb Λ̃p
Ω\Ω0 0 ∂t
∂ 2 λSb n T h i o
+ : Λe D Ṡb Λe
∂t2
∂λSb n T h i h i o
− : Λe D Ṡb Λp + ΛTp D Ṡb Λe
∂t n h i oi
+ λSb : ΛTp D Ṡb Λp dtdΩ
Z T " #
∂ ṠTb
Z
+ λF · n − ḟ dtdΓ. (B.26)
Γload 0 ∂t
232
By using the tensor identities (B.35a) and (B.35b), as well as the divergence
theorem, the first term of (B.26) changes to:
T
∂ 2 ua ∂ 2 λ ua
i
∂λSa 1 h
Z Z
T
Eρ 2 · u̇a − · ρu̇a + : ∇u̇a + (∇u̇a ) dtdΩ
Ω0 0 ∂t ∂t2 ∂t 2
Z Z T sym
∂ 2 ua ∂ 2 λua ∂λSa
= Eρ 2 − 2
ρ − div · u̇a dtdΩ
Ω0 0 ∂t ∂t ∂t
Z Z T sym
∂λSa
+ u̇a · −ndtdΓ
Γint 0 ∂t
Z Z T sym
∂λSa
= u̇a · −ndtdΓ. (B.27)
Γint 0 ∂t
Similarly, owing to the tensor identities (B.35b) and (B.36a), as well as the
divergence theorem, the second term of (B.26) changes to:
T ∂2λ h i
∂λua
Z Z
T Sa
− · div Ṡa + : D Ṡa dtdΩ
Ω0 0 ∂t ∂t2
Z Z T
∂λua
= − Ṡa · −ndtdΓ. (B.28)
Γint 0 ∂t
Likewise, due to the tensor identities (B.35b), (B.35c), and (B.35d), as well as
the divergence theorem, the third term of (B.26) changes to:
T
∂ 2 λ ub ∂ 2 ub
∂λub
Z Z
− · ρa u̇b + · ρbu̇b − λ u b
· ρc u̇b + Eρ · ub
Ω\Ω0 0 ∂t2 ∂t ∂t2
∂λSb 1 h T i
+ : Λe ∇u̇b + (∇u̇b )T Λe
∂t 2
1 Th i
T
−λSb : Λ ∇u̇b + (∇u̇b ) Λp dtdΩ
2 p
T sym
∂λSb
Z Z
= n · u̇b dtdΓ. (B.29)
Γint 0 ∂t
233
Again, because of (B.15), (B.35b), (B.35c), (B.36b), and the divergence theo-
rem, the fourth term of (B.26) changes to:
T
∂λub
Z Z
− · div ṠTb Λ̃e + λub · div ṠTb Λ̃p
Ω\Ω0 0 ∂t
∂ 2 λSb n T h i o
+ : Λe D Ṡb Λe
∂t2
∂λSb n T h i h i o
− : Λe D Ṡb Λp + ΛTp D Ṡb Λe
∂t n h i oo
+λSb : ΛTp D Ṡb Λp dtdΩ
Z T
∂λub
Z
= − Λ̃e Ṡb + Λ̃p Ṡb λub · ndtdΓ
Γfree 0 ∂t
Z Z T
∂λub
− Ṡb · ndtdΓ. (B.30)
Γint 0 ∂t
Thus, due to (B.27), (B.28), (B.29), and (B.30), (B.26) changes to:
T
∂λub
Z Z
δξ A = − Λ̃e Ṡb + Λ̃p Ṡb λub · ndtdΓ
Γfree \Γload 0 ∂t
Z Z T ∂λ
T ub
− Ṡb n · dtdΓ
Γload 0 ∂t
Z T !
∂ ṠTb
Z
+ λF · n − ḟ dtdΓ. (B.31)
Γload 0 ∂t
234
Then, (B.32) changes to:
T
∂λub
Z Z
δξ A = − Λ̃e Ṡb + Λ̃p Ṡb λub · ndtdΓ
Γfree \Γload 0 ∂t
Z Z T
+ λub · ḟdtdΓ. (B.33)
Γload 0
A : BT = AT : B, (B.35a)
A : BC = CAT : BT , (B.35c)
A : BC = BT A : C, (B.35d)
235
where D denotes the 4-th order compliance tensor as shown in (4.6). (B.36a)
can be proven by:
A : (D[S])
n o
(1−ν 2 )S11 ν(1+ν)S22 S12
−
A11 A12 E E 2µ
= : n
(1−ν 2 )S22
o
A21 A22 S21
− ν(1+ν)S11
2µ E E
=(D[A]) : S, (B.37)
236
and (B.36b) can be shown by:
B1 0 C1 0
A: (D [S])
0 B2 0 C2
B1 0 (D [S])11 (D [S])12 C1 0
=A :
0 B2 (D [S])21 (D [S])22 0 C2
B1 0 C1 (D [S])11 C2 (D [S])12
=A :
0 B2 C1 (D [S])21 C2 (D [S])22
A11 A12 B1 C1 (D [S])11 B1 C2 (D [S])12
= :
A21 A22 B2 C1 (D [S])21 B2 C2 (D [S])22
=A11 B1 C1 (D [S])11 + A12 B1 C2 (D [S])12
237
Appendix C
Z
st
M11 = ρaΦΦT dΩ,
ZΩ
st
M22 = ρaΦΦT dΩ,
ZΩ
(1 − ν 2 )
st
M33 = α1 α1 ΨΨT dΩ,
Ω E
ν(1 + ν)
Z
st
M34 =− α1 α1 ΨΨT dΩ,
E
ZΩ
ν(1 + ν)
st
M43 =− α2 α2 ΨΨT dΩ,
E
Z Ω
(1 − ν 2 )
st
M44 = α2 α2 ΨΨT dΩ,
E
ZΩ
1
st
M55 = 2α1 α2 ΨΨT dΩ, (C.1)
Ω 2µ
238
and
Z
st
C11 = ρbΦΦT dΩ,
ZΩ
st ∂Φ T
C13 = α2 Ψ dΩ,
Ω ∂x1
∂Φ T
Z
st
C15 = α1 Ψ dΩ,
Ω ∂x2
Z
st
C22 = ρbΦΦT dΩ,
ZΩ
st ∂Φ T
C24 = α1 Ψ dΩ,
∂x2
ZΩ
st ∂Φ T
C25 = α2 Ψ dΩ,
Ω ∂x1
∂ΦT
Z
st
C31 = − α1 Φ dΩ,
Ω ∂x1
(1 − ν 2 )(2α1 β1 )
Z
st
C33 = ΨΨT dΩ,
Ω E
ν(1 + ν)(2α1 β1 )
Z
st
C34 =− ΨΨT dΩ,
Ω E
∂ΦT
Z
st
C41 = − α2 Φ dΩ,
Ω ∂x2
(1 − ν 2 )(2α2 β2 )
Z
st
C43 = ΨΨT dΩ,
Ω E
ν(1 + ν)(2α2 β2 )
Z
st
C44 =− ΨΨT dΩ,
Ω E
∂ΦT
Z
st
C51 = − α1 Ψ dΩ,
Ω ∂x2
∂ΦT
Z
st
C52 = − α2 Ψ dΩ,
Ω ∂x1
(α1 β2 + β1 α2 )
Z
st
C55 = ΨΨT dΩ, (C.2)
Ω µ
239
and
Z
st
K11 = ρcΦΦT dΩ,
ZΩ
st ∂Φ T
K13 = β2 Ψ dΩ,
Ω ∂x1
∂Φ T
Z
st
K15 = β1 Ψ dΩ,
Ω ∂x2
Z
st
K22 = ρcΦΦT dΩ,
ZΩ
st ∂Φ T
K24 = β1 Ψ dΩ,
∂x2
ZΩ
st ∂Φ T
K25 = β2 Ψ dΩ,
Ω ∂x1
∂ΦT
Z
st
K31 = − β1 Ψ dΩ,
Ω ∂x1
(1 − ν 2 )(2β1 β1 )
Z
st
K33 = ΨΨT dΩ,
Ω E
ν(1 + ν)(2β1 β1 )
Z
st
K34 =− ΨΨT dΩ,
Ω E
∂ΦT
Z
st
K41 = − β2 Ψ dΩ,
Ω ∂x2
ν(1 + ν)(2β2 β2 )
Z
st
K43 =− ΨΨT dΩ,
E
Z Ω
st (1 − ν 2 )(2β2 β2 )
K44 = ΨΨT dΩ,
Ω E
∂ΦT
Z
st
K51 = − β1 Ψ dΩ,
Ω ∂x2
∂ΦT
Z
st
K52 = − β2 Ψ dΩ,
Ω ∂x1
(β1 β2 )
Z
st
K55 = ΨΨT dΩ. (C.3)
Ω µ
240
Second, the components of the matrices in (4.43) – the semi-discrete form of
the adjoint problem in the two-dimensional setting – are defined as:
Z
adj
M11 = ρaΦΦT dΩ,
ZΩ
adj
M22 = ρaΦΦT dΩ,
ZΩ
adj (1 − ν 2 )
M33 = α1 α1 ΨΨT dΩ,
Ω E
ν(1 + ν)
Z
adj
M34 =− α2 α2 ΨΨT dΩ,
E
ZΩ
adj ν(1 + ν)
M43 =− α1 α1 ΨΨT dΩ,
E
Z Ω
adj (1 − ν 2 )
M44 = α2 α2 ΨΨT dΩ,
E
ZΩ
adj 1
M55 = 2α1 α2 ΨΨT dΩ, (C.4)
Ω 2µ
241
and
Z
adj
C11 =− ρbΦΦT dΩ,
ZΩ
adj ∂Φ T
C13 =− α1 Ψ dΩ,
Ω ∂x1
∂Φ T
Z
adj
C15 = − α1 Ψ dΩ,
Ω ∂x2
Z
adj
C21 = − ρbΦΦT dΩ
ZΩ
adj ∂Φ T
C24 = − α2 Ψ dΩ,
∂x2
ZΩ
adj ∂Φ T
C25 = − α2 Ψ dΩ,
Ω ∂x1
∂ΦT
Z
adj
C31 = α2 Ψ dΩ,
Ω ∂x1
(1 − ν 2 )(2α1 β1 )
Z
adj
C33 =− ΨΨT dΩ,
E
Z Ω
adj ν(1 + ν)(2α2 β2 )
C34 = ΨΨT dΩ,
Ω E
∂ΦT
Z
adj
C42 = α1 Ψ dΩ,
Ω ∂x2
ν(1 + ν)(2α1 β1 )
Z
adj
C43 = ΨΨT dΩ,
Ω E
(1 − ν 2 )(2α2 β2 )
Z
adj
C44 =− ΨΨT dΩ,
Ω E
∂ΦT
Z
adj
C51 = α1 Ψ dΩ,
Ω ∂x2
∂ΦT
Z
adj
C52 = α2 Ψ dΩ,
Ω ∂x1
(α1 β2 + β1 α2 )
Z
adj
C55 =− ΨΨT dΩ, (C.5)
Ω µ
242
and
Z
adj
K11 = ρcΦΦT dΩ,
ZΩ
adj ∂Φ T
K13 = β1 Ψ dΩ,
Ω ∂x1
∂Φ T
Z
adj
K15 = β1 Ψ dΩ,
Ω ∂x2
Z
adj
K22 = ρcΦΦT dΩ,
ZΩ
adj ∂Φ T
K24 = β2 Ψ dΩ,
∂x2
ZΩ
adj ∂Φ T
K25 = β2 Ψ dΩ,
Ω ∂x1
∂ΦT
Z
adj
K31 = − β2 Ψ dΩ,
Ω ∂x1
(1 − ν 2 )(β1 β1 )
Z
adj
K33 = ΨΨT dΩ,
Ω E
ν(1 + ν)(β2 β2 )
Z
adj
K34 =− ΨΨT dΩ,
Ω E
∂ΦT
Z
adj
K42 = − β1 Ψ dΩ,
Ω ∂x2
ν(1 + ν)(β1 β1 )
Z
adj
K43 =− ΨΨT dΩ,
E
Z Ω
adj (1 − ν 2 )(β2 β2 )
K44 = ΨΨT dΩ,
Ω E
∂ΦT
Z
adj
K51 = − β1 Ψ dΩ,
Ω ∂x2
∂ΦT
Z
adj
K52 = − β2 Ψ dΩ,
Ω ∂x1
(β1 β2 )
Z
adj
K55 = ΨΨT dΩ. (C.6)
Ω µ
243
Appendix D
δu,w A = δu A + δw A. (D.1)
244
First, we evaluate the variation δu A as follows:
δu A =δua A + δub A
Z xp Z T
∂ 2 δua
∂ ∂δua
= λu a (λ + 2µ) −ρ dtdx
0 0 ∂x ∂x ∂t2
Z L Z T
∂ 2 δua
∂ ∂δua
+ λu a (λ + 2µ) −ρ dtdx
xp+Npls 0 ∂x ∂x ∂t2
Z xp+N Z T
∂ 2 δub
pls ∂ 2 ∂δub
+ λu b (λ + 2µ + α Q) −ρ dtdx
xp 0 ∂x ∂x ∂t2
Z xp+N Z T
∂ 2 δub
pls ∂ ∂δub
+ λw αQ − ρf dtdx
xp 0 ∂x ∂x ∂t2
Z T
∂δua
+ λ0 (t) (λ(0) + 2µ(0)) (0, t) + f (t) dt
0 ∂x
Z T
∂δua 1 ∂δua
+ λL (t)(λ(L) + 2µ(L)) (L, t) + (L, t) dt. (D.2)
0 ∂x c ∂t
245
By considering a multi-layered system, we show that (D.2) changes to:
δu A =
p−1 x−
(Z )
T
∂ 2 δua
∂ ∂δua
X i+1
Z
λu a (λ + 2µ) −ρ dtdx
i=1 x+
i 0 ∂x ∂x ∂t2
NX
ls −1 x−
(Z )
T
∂ 2 δua
∂ ∂δua
i+1
Z
+ λu a (λ + 2µ) −ρ dtdx
i=p+Npls x+
i 0 ∂x ∂x ∂t2
p+Npls −1 (Z x− T 2
)
∂ ∂δub ∂ δub
X i+1
Z
+ λu b (λ + 2µ + α2 Q) −ρ dtdx
i=p x+
i 0 ∂x ∂x ∂t2
p+Npls −1 Z x−
( )
T
∂ 2 δub
∂ ∂δub
X i+1
Z
+ λw − ρf 2
dtdx αQ
i=p x +
i 0 ∂x
∂t ∂x
Z T
∂δua
+ λ0 (t) (λ(0) + 2µ(0)) (0, t) + f (t) dt
0 ∂x
Z T
∂δua 1 ∂δua
+ λL (t)(λ(L) + 2µ(L)) (L, t) + (L, t) dt. (D.3)
0 ∂x c ∂t
246
By virtue of integration by parts with respect to time and space, (D.3) changes
to:
δu A =
Z xp Z T
∂ 2 λu a
∂ ∂λua
+ (λ + 2µ) −ρ δua dtdx
0 0 ∂x ∂x ∂t2
Z L Z T
∂ 2 λu a
∂ ∂λua
+ (λ + 2µ) −ρ δua dtdx
xp+Npls 0 ∂x ∂x ∂t2
Z xp+N Z T
∂ 2 λu b
pls ∂ 2 ∂λub
+ (λ + 2µ + α Q) −ρ δub dtdx
xp 0 ∂x ∂x ∂t2
Z xp+N Z T
∂ 2 λw
pls ∂ ∂λw
+ αQ − ρf δub dtdx
xp 0 ∂x ∂x ∂t2
Z xp Z xp
∂δua ∂λua
− λu a ρ dx + ρδua dx
0 ∂t t=T 0 ∂t t=T
Z L Z L
∂δua ∂λua
− λu a ρ dx + ρδua dx
xp+Npls ∂t t=T xp+Npls ∂t t=T
Z xp+N Z xp+N
pls ∂δub pls ∂λ
ub
− λu b ρ dx + ρδub dx
xp ∂t xp ∂t
Z xp+N t=T Z xp+N
t=T
pls ∂δub pls ∂λw
− λw ρf dx + ρf δubdx
xp ∂t t=T xp ∂t t=T
Z T
∂δua
+ λ0 (t)(λ(0) + 2µ(0)) (0, t)dt
0 ∂x
Z T
∂δua (λ(L) + 2µ(L))
+ λL (t)(λ(L) + 2µ(L)) (L, t) dt + λL (T ) δua (L, T )
0 ∂x c
Z T
∂λL (t) (λ(L) + 2µ(L))
− δua(L, t)dt
0 ∂t c
p−1
(Z
T x−i+1 Z T x−i+1 )
X ∂δua ∂λua
+ λua (λ + 2µ) dt − (λ + 2µ) δua dt
i=1 0 ∂x x+ 0 ∂x x+
i i
247
NX
ls −1
(Z
T x−i+1
∂δua
+ λu a (λ + 2µ) dt
i=p+Npls 0 ∂x x+ i
Z T x−i+1 )
∂λua
− (λ + 2µ) δuadt
0 ∂x x+ i
p+Npls −1
(Z
T x−i+1
X ∂δu b
+ λu b (λ + 2µ + α2 Q) dt
i=p 0 ∂x x+ i
T Z x−i+1 )
∂λ u
− (λ + 2µ + α2 Q) b
δub dt
0 ∂x x+
i
p+Npls −1 Z T x− x−i+1 )
( T
∂δub i+1
∂λw
X Z
+ λw αQ dt − αQ δub dt . (D.4)
i=p 0 ∂x x + 0 ∂x x +
i i
δw A
R
xp+Npls R xp+N R T ∂ 2 w
−2 xp
ρf ∂w
∂t
δwdx
t=T
− xp
pls
0
ρf ∂t2 δwdtdx
= R 2
xp+Npls R T ∂w 2 dtdx
xp 0
ρf [ ∂t
(x, t)]
p+Npls −1 (Z x− T
)
∂ 2 δw
∂ ∂δw
X i+1
Z
+ λub (x, t) αQ − ρf dtdx
i=p x+
i 0 ∂x ∂x ∂t2
p+Npls −1 x−
(Z )
T 2
∂ ∂δw 1 ∂δw ρf ∂ δw
X i+1
Z
+ λw (x, t) Q − − dtdx .
i=p x+
i 0 ∂x ∂x k ∂t n ∂t2
(D.5)
248
Via integration by parts with respect to space and time, (D.5) changes to:
δw A
Z xp+N Z xp+N
pls ∂w pls λ
w
=E ρf δwdx − δwdx
xp ∂t t=T xp k t=T
Z xp+N Z xp+N
pls ∂δw pls ∂λub
− λub ρf dx + ρf δwdx
xp ∂t x ∂t
Z xp+N t=T Z xp p+N t=T
pls ρf ∂δw pls ∂λ
w fρ
− λw dx + δwdx
xp n ∂t t=T xp ∂t n t=T
p+Npls −1 Z T − x−i+1 )
x
( T
∂δw i+1
∂λub
X Z
+ λub αQ dt − αQδwdt
i=p 0 ∂x x + 0 ∂x x+
i i
p+Npls −1 (Z T − − )
x T x
∂δw i+1
∂λw i+1
X Z
+ λw Q dt − Qδwdt
i=p 0 ∂x x+ 0 ∂x x+
i i
Z xp+N Z T
pls ∂ ∂λub ∂ ∂λw 1 ∂λw
+ αQ + Q +
xp 0 ∂x ∂x ∂x ∂x k ∂t
∂ 2 λub ρf ∂ 2 λw ∂2w
−ρf − − Eρf 2 δwdtdx. (D.6)
∂t2 n ∂t2 ∂t
249
RR
and δu,w AT in the following. First, δu,w A is:
RR
δu,w A
xp T
∂ 2 λu a
∂ ∂λua
Z Z
= (λ + 2µ) −ρ δua dtdx
0 0 ∂x ∂x ∂t2
Z L Z T
∂ 2 λu a
∂ ∂λua
+ (λ + 2µ) −ρ δua dtdx
xp+Npls 0 ∂x ∂x ∂t2
Z xp+N Z T
pls ∂ 2 ∂λub ∂ ∂λw
+ (λ + 2µ + α Q) + αQ
xp 0 ∂x ∂x ∂x ∂x
∂ 2 λu b ∂ 2 λw
−ρ − ρf δub dtdx
∂t2 ∂t2
Z xp+N Z T
pls ∂ ∂λub ∂ ∂λw 1 ∂λw
+ αQ + Q +
xp 0 ∂x ∂x ∂x ∂x k ∂t
∂ 2 λu b ρf ∂ 2 λw ∂2w
−ρf − − Eρf 2 δwdtdx. (D.7)
∂t2 n ∂t2 ∂t
250
The vanishing of (D.7) recovers the adjoint PDEs shown in (5.15)–(5.17). Sec-
ond, δu,w Aetc is the following:
δu,w Aetc
Z T
∂δua
= (λ0 − λua ) (λ + 2µ) dt
0 ∂x x=0
Z T
∂λua
+ (λ + 2µ) δua dt
0 ∂x
Z T x=0
∂δua
+ λua (λ + 2µ) dt
0 ∂x x−p
Z T
2 ∂δub ∂δw
− λub (λ + 2µ + α Q) + αQ dt
0 ∂x ∂x x+p
Z T
∂λua
− (λ + 2µ) δua dt
0 ∂x x−
p
Z T
2 ∂λub ∂λw
+ (λ + 2µ + α Q) + αQ δub dt
0 ∂x ∂x x+p
Z T
∂δub ∂δw
+ λub (λ + 2µ + α2 Q) + αQ dt
0 ∂x ∂x −
xp+N
pls
Z T
∂δua
− λua (λ + 2µ) dt
0 ∂x +
xp+N
pls
T
∂δub ∂δw
Z
− λw αQ +Q dt
0 ∂x ∂x x+
p
Z T
∂δub ∂δw
+ λw αQ +Q dt
0 ∂x ∂x −
xp+N
pls
251
T
∂λua
Z
+ (λ + 2µ) δua dt
0 ∂x
x+
p+N
pls
T
∂λub ∂λw
Z
2
− (λ + 2µ + α Q) + αQ δub dt
0 ∂x ∂x
x−
p+N
pls
Z T
∂δua
+ (λua + λL ) (λ + 2µ) dt
0 ∂x x=L
Z T
∂λua ∂λL 1
− + (λ + 2µ)δuadt
0 ∂x ∂t c x=L
p−1
(
T
∂δua
X Z
+ λua (λ + 2µ) dt
i=2 0 ∂x x−
i
Z T )
∂δua
− λua (λ + 2µ) dt
0 ∂x x+
i
p−1
(
T
∂λua
X Z
− (λ + 2µ) δua dt
i=2 0 ∂x x−
i
Z T )
∂λua
− (λ + 2µ) δua dt
0 ∂x x+
i
NX
ls −1
( Z T
∂δua
+ λua (λ + 2µ) dt
i=p+Npls +1 0 ∂x x−
i
Z T )
∂δua
− λua (λ + 2µ) dt
0 ∂x x+
i
252
NX
ls −1
(Z
T
∂λua
− (λ + 2µ) δua dt
i=p+Npls +1 0 ∂x x−
i
T
)
∂λua
Z
− (λ + 2µ) δua dt
0 ∂x x+i
p+Npls −1 Z T
(
X
2 ∂δub ∂δw
+ λub (λ + 2µ + α Q) + αQ dt
i=p+1 0 ∂x ∂x x−i
Z T )
∂δub ∂δw
λub (λ + 2µ + α2 Q)
− + αQ dt
0 ∂x ∂x x+
i
p+Npls −1 Z T
(
X ∂λub ∂λw
(λ + 2µ + α2 Q)
− + αQ δub dt
i=p+1 0 ∂x ∂x x−i
Z T )
∂λub ∂λw
(λ + 2µ + α2 Q)
− + αQ δub dt
0 ∂x ∂x x+i
p+Npls −1 Z T
(
X ∂δub ∂δw
+ λw αQ +Q dt
i=p+1 0 ∂x ∂x x−i
Z T )
∂δub ∂δw
− λw αQ +Q dt
0 ∂x ∂x x+
i
p+Npls −1 (Z T
X ∂λub ∂λw
− αQ +Q δwdt
i=p+1 0 ∂x ∂x x−i
Z T )
∂λub ∂λw
− αQ +Q δwdt . (D.8)
0 ∂x ∂x x+i
253
The vanishing of (D.8) recovers the boundary and interface conditions of the
adjoint problem shown in (5.19)–(5.21c). Lastly, we show δu,w AT :
xp Z xp
∂δua ∂λua
Z
T
δu,w A = − λu a ρ dx + ρδua dx
0 ∂t t=T 0 ∂t t=T
Z L Z L
∂δua ∂λua
− λu a ρ dx + ρδua dx
xp+Npls ∂t t=T xp+Npls ∂t t=T
Z xp+N Z xp+N
pls ∂δub pls ∂λ
ub
− λu b ρ dx + ρδub dx
xp ∂t xp ∂t
Z xp+N t=T Z xp+N
t=T
pls ∂δub pls ∂λw
− λw ρf dx + ρf δub dx
xp ∂t x ∂t
Z xp+N t=T Z xp p+N t=T
pls ∂w pls λ
w
+ Eρf δwdx − δwdx
xp ∂t t=T xp k t=T
Z xp+N Z xp+N
pls ∂δw pls ∂λub
− λub ρf dx + ρf δwdx
xp ∂t x ∂t
Z xp+N t=T Z xp p+N t=T
pls ρf ∂δw pls ∂λ
w fρ
− λw dx + δwdx
xp n ∂t t=T xp ∂t n t=T
(λ(L) + 2µ(L))
+ λL (t) δua (L, t) . (D.9)
c t=T
The vanishing of (D.9) recovers the final value conditions of the adjoint prob-
lem shown in (5.22a)–(5.22c).
254
D.2 The third condition
∂A
δξ A =
∂ξ
xp+Npls Z xp+Npls Z T
∂2w
∂w
Z
=E ρf ẇdx −E ρf 2 ẇdtdx
xp ∂t t=T xp 0 ∂t
Z xp Z T
∂ 2 ua
∂ ∂ua
+ λ̇ua (λ + 2µ) − ρ 2 dtdx
0 0 ∂x ∂x ∂t
Z xp Z T
∂ 2 u̇a(x, t)
∂ ∂ u̇a
+ λu a (λ + 2µ) −ρ dtdx
0 0 ∂x ∂x ∂t2
Z L Z T
∂ 2 ua
∂ ∂ua
+ λ̇ua (λ + 2µ) − ρ 2 dtdx
xp+Npls 0 ∂x ∂x ∂t
Z L Z T
∂ 2 u̇a
∂ ∂ u̇a
+ λu a (λ + 2µ) − ρ 2 dtdx
xp+Npls 0 ∂x ∂x ∂t
Z xp+Npls Z T
∂ 2 ∂ub ∂w
+ λ̇ub (λ + 2µ + α Q) + αQ
xp 0 ∂x ∂x ∂x
2 2
∂ ub ∂ w
−ρ 2 − ρf 2 dtdx
∂t ∂t
Z xp+Npls Z T
∂ 2 ∂ u̇b ∂ ẇ
+ λu b (λ + 2µ + α Q) + αQ
xp 0 ∂x ∂x ∂x
∂ 2 u̇b ∂ 2 ẇ
−ρ 2 − ρf 2 dtdx
∂t ∂t
Z xp+Npls Z T
∂ ∂ub ∂w 1 ∂w
+ λ̇w αQ +Q −
xp 0 ∂x ∂x ∂x k ∂t
∂ 2 ub ρf ∂ 2 w
−ρf 2 − dtdx
∂t n ∂t2
255
xp+Npls T
∂ ∂ u̇b ∂ ẇ 1 ∂ ẇ
Z Z
+ λw αQ +Q −
xp 0 ∂x ∂x ∂x k ∂t
∂ 2 u̇b ρf ∂ 2 ẇ
−ρf 2 − dtdx
∂t n ∂t2
T
∂ua
Z
+ λ̇0 (t) (λ(0) + 2µ(0)) (0, t) + f (t) dt
0 ∂x
T
∂ u̇a
Z
+ λ0 (t) (λ(0) + 2µ(0)) ˙
(0, t) + f (t) dt
0 ∂x
T
∂ua 1 ∂ua
Z
+ λ̇L (t)(λ(L) + 2µ(L)) (L, t) + (L, t) dt
0 ∂x c ∂t
T
∂ u̇a 1 ∂ u̇a
Z
+ λL (t)(λ(L) + 2µ(L)) (L, t) + (L, t) dt, (D.10)
0 ∂x c ∂t
256
where (˙) denotes the derivative of the subtended variable with respect to ξ.
Because of the satisfaction of the state PDEs, (D.10) reduces to the following:
∂A
δξ A =
∂ξ
xp+Npls Z xp+Npls Z T
∂2w
∂w
Z
=E ρf ẇdx −E ρf 2 ẇdtdx
xp ∂t t=T xp 0 ∂t
Z xp Z T 2
∂ ∂ u̇a ∂ u̇a
+ λu a (λ + 2µ) − ρ 2 dtdx
0 0 ∂x ∂x ∂t
Z L Z T
∂ 2 u̇a
∂ ∂ u̇a
+ λu a (λ + 2µ) − ρ 2 dtdx
xp+Npls 0 ∂x ∂x ∂t
Z xp+Npls Z T
∂ 2 ∂ u̇b ∂ ẇ
+ λu b (λ + 2µ + α Q) + αQ
xp 0 ∂x ∂x ∂x
∂ 2 u̇b ∂ 2 ẇ
−ρ 2 − ρf 2 dtdx
∂t ∂t
Z xp+Npls Z T
∂ ∂ u̇b ∂ ẇ 1 ∂ ẇ
+ λw (x, t) αQ +Q −
xp 0 ∂x ∂x ∂x k ∂t
∂ 2 u̇b ρf ∂ 2 ẇ
−ρf 2 − dtdx
∂t n ∂t2
Z T
∂ u̇a ˙
+ λ0 (t) (λ(0) + 2µ(0)) (0, t) + f (t) dt
0 ∂x
Z T
∂ u̇a 1 ∂ u̇a
+ λL (t)(λ(L) + 2µ(L)) (L, t) + (L, t) dt. (D.11)
0 ∂x c ∂t
Next, we take integration by parts of (D.11) with respect to space and time.
RR
δξ A is then split into three parts as δξ A = δξ A + δξ AT + δξ Aetc , where
RR
δξ A denotes the terms that include the spatial and temporal integrals of the
adjoint PDEs; δξ AT denotes the spatial integral terms temporally associated
with time t = T only; δξ Aetc denotes the temporal integrals associated with
257
RR
specific locations. First, we show δξ A in the following:
xp T
∂ 2 λu a
∂ ∂λua
Z Z
δξ A = (λ + 2µ) −ρ u̇a dtdx
0 0 ∂x ∂x ∂t2
Z L Z T
∂ 2 λu a
∂ ∂λua
+ (λ + 2µ) −ρ u̇adtdx
xp+Npls 0 ∂x ∂x ∂t2
Z xp+Npls Z T
∂ 2 ∂λub ∂ ∂λw
+ (λ + 2µ + α Q) + αQ
xp 0 ∂x ∂x ∂x ∂x
∂ 2 λu b ∂ 2 λw
−ρ − ρf u̇b dtdx
∂t2 ∂t2
Z xp+Npls Z T
∂ ∂λub ∂ ∂λw 1 ∂λw
+ αQ + Q +
xp 0 ∂x ∂x ∂x ∂x k ∂t
∂ 2 λub ρf ∂ 2 λw ∂2w
−ρf − − Eρ f ẇdtdx. (D.12)
∂t2 n ∂t2 ∂t2
258
(D.12) vanishes because of the satisfaction of the adjoint PDEs. Second, δξ AT
is the following:
δξ AT
Z xp Z xp
∂ u̇a ∂λua
=− λu a ρ dx + ρu̇a dx
0 ∂t t=T 0 ∂t t=T
Z L Z L
∂ u̇a ∂λua
− λu a ρ dx + ρu̇a dx
xp+Npls ∂t t=T xp+Npls ∂t t=T
Z xp+Npls Z xp+Npls
∂ u̇b ∂λub
− λu b ρ dx + ρu̇b dx
xp ∂t xp ∂t
Z xp+Npls t=T Z xp+Npls
t=T
∂ u̇b ∂λw
− λw ρf dx + ρf u̇b dx
xp ∂t x ∂t
Z xp+Npls t=T Z pxp+Npls t=T
∂ ẇ ∂λub
− λub ρf dx + ρf ẇdx
xp ∂t x ∂t
Z xp+Npls t=T Z xp p+Npls t=T
ρf ∂ ẇ ∂λw ρf
− λw dx + ẇdx
xp n ∂t t=T xp ∂t n t=T
Z xp+Npls Z xp+Npls
λw ∂w
− ẇdx +E ρf ẇdx
xp k t=T x p
∂t t=T
(λ(L) + 2µ(L))
+ λL (t) u̇a (L, t) . (D.13)
c t=T
Then, due to the satisfaction of the other adjoint final value conditions, shown
in (5.22b) and (5.22c), (D.14) vanishes, i.e., δξ AT = 0. Lastly, δξ Aetc is the
259
following:
δξ Aetc
Z T x−p Z T x−p
∂ u̇a ∂λua
= λua (λ + 2µ) dt − (λ + 2µ) u̇a dt
0 ∂x x=0 0 ∂x x=0
Z T x=L Z T x=L
∂ u̇a ∂λua
+ λua (λ + 2µ) dt − (λ + 2µ) u̇a dt
0 ∂x x+ 0 ∂x x+
p+Npls p+Npls
Z T x−p+Npls
∂ u̇b
+ λub (λ + 2µ + α2 Q) dt
0 ∂x x+p
Z T x−p+Npls
∂λub
− (λ + 2µ + α2 Q) u̇b dt
0 ∂x x+
p
Z T x−p+Npls Z T x−p+Npls
∂ u̇b ∂λw
+ λw αQ dt − αQ u̇b dt
0 ∂x x+p 0 ∂x x+p
Z T −
xp+Npls Z T x−p+Npls
∂ ẇ ∂λub
+ λub αQ dt − αQ ẇdt
0 ∂x x+p 0 ∂x x+p
Z T −
xp+Npls Z T −
xp+Npls
∂ ẇ ∂λw
+ λw Q dt − Q ẇdt
0 ∂x x+p 0 ∂x x+p
Z T
∂ u̇a
+ λ0 (t) (λ(0) + 2µ(0)) (0, t) + f˙(t) dt
0 ∂x
Z T
∂ u̇a
+ λL (t)(λ(L) + 2µ(L)) (L, t) dt
0 ∂x
Z T
∂λL (t) (λ(L) + 2µ(L))
− u̇a (L, t)dt. (D.15)
0 ∂t c
Due to the boundary and interface conditions in the adjoint problem, as well
as the zero relative displacement of pore fluid at x = xp and x = x−
p+N pls in
260
which is the final form of the variation δξ A. Hence, the vanishing of δξ A
recovers the control equation (5.25).
261
Bibliography
262
[7] E. B. Becker, G. F. Carey, and J. T. Oden. Finite Elements. Prentice
Hall, 1981.
263
[16] S. C. Chapra and R. P. Canale. Numerical Methods for Engineers.
McGraw-Hill, 2006.
[21] A. Gajo and L. Mongiovi. An analytical solution for the transient re-
sponse of saturated linear elastic porous media. International Journal For
Numerical and Analytical Methods in Geomechanics, 19:399–413, 1995.
264
[24] P. Göransson. A 3-D, symmetric, finite element formulation of the Biot
equations with application to acoustic wave propagation through an elas-
tic porous medium. International Journal for Numerical Methods in
Engineering, 41:167–192, 1998.
[27] X. Guo, Z. Du, G. Li, and Z. Shu. High frequency vibration recovery
enhancement technology in the heavy oil fields of China. In SPE In-
ternational Thermal Operations and Heavy Oil Symposium and Western
Regional Meeting SPE 86956, Bakersfield, California, 2004. Society of
Petroleum Engineers.
265
[30] T. Hamida and T. Babadagli. Effects of ultrasonic waves on immiscible
and miscible displacement in porous media. In SPE Annual Technical
Conference and Exhibition, SPE 95327, Dallas, Texas, 2005. Society of
Petroleum Engineers.
[35] The International Energy Agency (IEA). World Energy Outlook 2010.
The International Energy Agency, 2010.
266
Journal of Petroleum Science and Engineering, 76:116–123, 2011.
[43] S. Kostrov and W. Wooden. Possible mechanisms and case studies for
enhancement of oil recovery and production using in-situ seismic stimu-
267
lation. In SPE/DOE Symposium on Improved Oil Recovery SPE 114025,
Tulsa, Oklahoma, USA, 2008. Society of Petroleum Engineers.
268
nov vibroseismicheskogo vozdeystviya na neftianouyou zalezh). Report
(in Russian), Institute of Physics of the Earth, 1990.
[51] István Lakatos. Global oil demand and role of chemical EOR methods in
the 21st century. International Journal of Oil, Gas and Coal Technology,
1:46–64, 2008.
[54] R. W. Lewis and B. A. Schrefler. The Finite Element Method in the Static
and Dynamic Deformation and Consolidation of Porous Media. Wiley,
1999.
269
[58] V. N. Nikolaevskiy, G. P. Lopukhov, Y. Liao, and M. J. Economides.
Residual oil reservoir recovery with seismic vibrations. SPE Production
and Facilities, pages 89–94, 1996.
270
[66] P. M. Roberts and A. I. Abdel-Fattah. Seismic stress stimulation mo-
bilizes colloids trapped in a porous rock. Earth and Planetary Science
Letters, 284:538–543, 2009.
271
[73] B. R. Simon, O. C. Zienkiewicz, and D. K. Paul. An analytical solution
for the transient response of saturated porous elastic solids. International
Journal For Numerical and Analytical Methods in Geomechanics, 8:381–
398, 1984.
272
[79] L. Surguchev, A. Koundin, O. Melberg, T. Rolfsvåg, and W. P. Menard.
Cyclic water injection: improved oil recovery at zero cost. Petroleum
Geoscience, 8:89–95, 2002.
273
system: a new IOR tool. In SPE Western Regional Meeting SPE 94001-
MS, Irvine, California, 2005. Society of Petroleum Engineers.
274
Vita
Chanseok Jeong graduated from Hansung Science High School, Seoul, South
Korea in February 1999, and received his Bachelor of Science in Civil Engi-
neering from Yonsei University, Seoul in February 2003. As a recipient of a
graduate research fellowship from the Korean Science and Engineering Founda-
tion, he joined the graduate program in the Department of Civil, Architectural
and Environmental Engineering at the University of Texas at Austin in August
2004. He earned his Master of Science in Engineering in Civil Engineering in
December 2006 having completed his Master’s Thesis on the “Shape detection
and localization of a scatterer embedded in a halfplane.” Following his MS
studies he was admitted to the doctoral program at the University of Texas at
Austin. In 2010, he was awarded the William S. Livingston Fellowship that
is annually given to the most outstanding nominees among those nominated
for the graduate school continuation fellowship at the University of Texas at
Austin based on significant research accomplishments. Also in 2010, he was
awarded the Society of Petroleum Engineers STAR Fellowship, and was a fi-
nalist for the Computational Mechanics Student Paper Competition organized
by the Engineering Mechanics Institute (EMI) of ASCE. His finalist status was
recognized at the EMI 2010 Conference in Los Angeles, CA in August 2010.
275
This dissertation was typeset with LATEX† by the author.
† A
LT EX is a document preparation system developed by Leslie Lamport as a special
version of Donald Knuth’s TEX Program.
276