This appendix is concerned with wave propagation in complex media, in contrast to the scattering in homogeneous βlinearβ media (characterized by a linear dispersion ratioπ (π), cf. Equation (1.7)) considered in the rest of this thesis. Complex media may be associated with propagation that is frequency-dependent, with attenuation and wavespeed variation per frequency, or (possibly additionally) associated with propagation with a spatially-varying wavespeed. This appendix focuses on the for- mer problem, though it is noted that with an adequate variable-coefficient Helmholtz solver similar methodologies apply to the latter problem. As reviewed in Chapter 1 a wide variety of methods (broadly, Finite Difference Time Domain (FDTD), Fi- nite Element Time Domain (FETD), and Time-Domain Boundary Integral Equation methods) in the literature have been developed for solving surface scattering prob- lems and some have been adapted to situations involving strongly dispersive media, see e.g. [21]. A key feature of the methodology introduced in this thesis is its reliance on solution of frequency-domain problems, for which frequency-dependent media properties can often be very simply described, as a βblack-boxβ element of the solution procedure. This feature leads straightforwardly to a method for solving wave scattering problems in dispersive media. We present the relevant equations and relations in a simplified, one-dimensional context, though everything presented transfers directly to the multi-dimensional case where true scattering occurs.
We briefly review prior work in numerical methods for simulation of waves propa- gating in dispersive media. Foundational work in reference [99] derived from first principles a model of attenuation losses, due to a number π of various relaxation mechanisms, in the form of a first-principles-derived wave equation of temporal order π + 2, with a resulting reduced wave equation of a frequency-dependent wavenumber. Instead of solving a time-domain PDE of possibly high order, others focused on developing a theory for simulating lossy media via modeling time- fractional derivative operators as convolutions, see e.g. references [111, 112]. The review [103] points out the substantial (and increasing, with desired final simulation time) memory burden this approach implies. Reference [85] sought to ameliorate this issue by using a recursive algorithm for the time-fractional derivative with lim-
ited history, though [103] also notes that in addition to being ad-hoc this requiresa priorifitting of coefficients for each power law to physical or simulated data, e.g.
with FDTD. We find also that the contribution [115] uses space-fractional derivative operators, avoiding these issues. These methods require evaluation of convolutions over the time history at every time-step, which can be costly in terms of required memory and computational effort. In the context of time-domain boundary integral equation solvers, reference [21] extends methods developed for linear homogeneous wave propagation to strongly dispersive media, relying on contour integration to produce an auxiliary time-domain Greenβs function and leading to more efficient time-domain solvers.
In reference [85], the case of attenuating media is discussed, for which a monochro- matic wave π€ having initial amplitude π€
0 and frequency π shows exponential attenuation over propagation distanceΞπ₯, with amplitude following the frequency power-law attenuation relation
Λ
π€(π₯+Ξπ₯) =π€Λ
0(π₯)πβπΌ(π)Ξπ₯, with (A.1) πΌ(π) = πΌ
0
(2π)π¦|π|π¦, where 1 β€ π¦ β€ 2. (A.2) Now, the partial differential equation describing one-dimensional wave propagation in an idealized homogeneous lossless medium with wave speedπ
0is
π π€
π π‘ +π
0
π π€
π π₯
=0, (A.3a)
π€(0, π‘) = π(π‘), π‘ >0 (A.3b) which by Fourier transformation is equivalent to the frequency domain equation
ππ(π₯ , π)
π π₯
βπ π(π)π(π₯ , π) =0, where π(π) = π½
0=π/π
0. (A.4)
As is well-known, plane wave solutions to this equation are of the formππ(π(π)π₯βππ‘). We turn now to modification of the dispersion relation π(π) to model attenuation.
In order to satisfy the Kramers-Kronig relations (ensuring analyticity and hence causality of the waves) when adding attenuation, the dispersion relation must be modified [111] to become
π(π) =π½
0+π½0(π) +π πΌ(π) = π½
0+π πΏπΎ(π), (A.5) where the relative dispersion π½0(π)is
π½0(π) =β πΌ
0
(2π)π¦ cot( (π¦+1)π/2)π|π|π¦β1, (A.6)
and we have defined the function πΏπΎ to be the change in the dispersion relation due to the dispersive media. Reference [112] develops a causal time-domain wave equation
π π€(π₯ , π‘)
π π₯
+ 1 π0
π π€(π₯ , π‘)
π π‘
πΏπΎ(π‘) βπ€(π₯ , π‘)=0, (A.7a) π€(0, π‘) = π(π‘), π‘ β₯ 0, (A.7b) to describe wave motion with this attenuative behavior. Reference [85], in turn, describes a modified FDTD-type numerical method to numerically handle the re- sulting convolution integrals using certain recursive algorithms. In that work, the numerical validation against simulation data is performed by simulation of a chirp signal propagating in a lossy medium (castor oil), between two reference points P1 and P2 that are separated by 1 cm (cf. [85, Fig. 2]). The chirp signal used is
π(π‘) =cos
2π
ππβ ππ 2π‘π
π‘2+ ππ π‘+1/4 , (A.8) with βstartβ frequency ππ = 100 kHz and βendβ frequency ππ = 3 MHz over a pulse width of π‘π = 10π π . Note that the chirp signal attains the start and end frequencies at the beginning and end of a 10-π π observation window. The physical characteristics of the medium correspond to castor oil and areπ¦ =1.4,π
0=1525m/s, πΌ0=2.0 dB / (cm MHzy). Note that the wavespeed in the attenuating medium for a given frequencyπis
π(π) = π
π(π) = π
π½0+ π½0(π) =π
0
1 1+π½0(π)/π½
0
, (A.9)
while in a neutral medium of identical wavespeed it is triviallyπ
0(π) =π/π½
0 =π
0. As a proof of concept for the applicability of hybrid-type methods to dispersive media, we show that a simple application of the hybrid method for this problem yields identical results as the numerical-experimental validation in that contribution.
The frequency domain problems to be solved are
ππ(π₯ , π)
π π₯
βπ π(π)π(π₯ , π) =0, 0< π₯ < β (A.10a)
π(0, π) = bπ(π), (A.10b)
which have, for eachπ, solutions π(π₯ , π) = bπ(π)ππ π(π)π₯ and which produce the time domain solution via the inverse Fourier transform
π€(π₯ , π‘) = 1 2π
β« β
ββ
π(π₯ , π)πβπππ‘π π. (A.11)
Figure A.1: Time-shifted solutions at reference points described in the text, com- puted using the hybrid method.
We use the hybrid frequency/time methodology developed in Chapter 2 to numeri- cally solving the problem ((A.7)); that is, we transform the incoming waveπ(π‘)into discrete Fourier space, on a fixed set of frequency mesh pointsππ(1β€ π β€ π½), and then inverse transform using this fixed set to produce solutions for arbitrarily large time. We show in Figure A.1 the time-shifted solutions π€(π₯ , π‘) at the previously mentioned reference points P1 and P2. One detail warrants mentioning when inter- preting Figure A.1: the solutions are measured at two spatial points, separated by Ξπ₯=1 cm, so for easy comparison they must be time-shifted by an appropriate time offset π‘π. For a neutral medium a natural choice would be π‘π = Ξπ₯/π
0; however, because a generic incident signal propagates through the medium with a variety of wavespeeds over the active frequency range 100 kHz β€ π β€ 3 MHz due to the variable dispersion relation in Equation (A.5), no single shift is adequate. To ensure that the highest-frequency components are in phase when comparing the solutions at P1 and P2, we shift the solution at point P2 by
π‘π = Ξπ₯
π(ππ) = Ξπ₯ π0
(1+π½0(ππ)/π½
0), where ππ =2π ππ. (A.12) Any differences with the solution in the contribution [85, Fig. 3] produced by the modified (and much more algorithmically involved) FDTD method are impercepti- ble. The computational time for the entire solution amounted to 1.5π on a machine with an Intel Core i7-8650U.
The beauty of using hybrid frequency/time techniques for simulating transient prop- agation and scattering in complex media is the straightforward reliance on existing frequency-domain solvers at the complex frequencies that correspond directly to the frequency-dependence of the material. Extending the complex media work in this appendix to the setting of scattering problems in multiple dimensions is ongoing.
A p p e n d i x B