Fourier Expansion of Disk Automorphisms via Scattering in Layered Media

Abstract

A family of orthogonal polynomials on the disk (which we call scattering polynomials) serves to formulate a remarkable Fourier expansion of the composition of a sequence of Poincaré disk automorphisms. Scattering polynomials are tied to an exotic riemannian structure on the disk that is hybrid between hyperbolic and euclidean geometries, and the expansion therefore links this exotic structure to the usual hyperbolic one. The resulting identity is intimately connected with the scattering of plane waves in piecewise constant layered media. Indeed, a recently established combinatorial analysis of scattering sequences provides a key ingredient of the proof. At the same time, the polynomial obtained by truncation of the Fourier expansion elegantly encodes the structure of the nonlinear measurement operator associated with the finite time duration scattering experiment.which if w ∈ D n are automorphisms of the Poincaré disk. (Note that if w j ∈ T is on the disk boundary then Ψ w j z j (v) = z j w j collapses to a constant function.) We fix notation for the polar *

On the measurement operator for scattering in layered media

“…That is, one can show that the Fourier transform of a complexified version of the covering data (21) is determined uniquely by a system of linear equations having smooth coefficients and a trace condition that complexifies (14). Details of the complexification are rather involved and comprise a separate paper [9], which is complementary to the present work.…”

A scattering‐based algorithm for wave propagation in one dimension

“…To match the scale of the ramp, the amplitude of the waveforms has been scaled up by a factor of 32. Right: a log-log plot of relative rms error E(n) of the plotted waveform for n = 2 p , p = 7, 8,9,10,11,12,13. The slope is very close to −1, corresponding to E(n) ∼ = 7.4/n.…”

“…9]). Recent theoretical insights into the case where ζ is piecewise constant offer a fresh perspective from which to consider the numerical analysis of (1.1) for general ζ [9,10].…”

“…In the case of Figure 3, ζ is a step function with 40 randomly generated jump points lying in the interval [1,10]. ζ(x) = 1 for x < 1 and ζ(x) = 2/3 for x > 10.…”

Inverse scattering for the one-dimensional Helmholtz equation with piecewise constant wave speed

“…3]). The Fourier coefficients of f are functions of r and have a highly non-trivial structure first described in [2], the main result of which is as follows.…”