joe keller and the courant institute 1970-71: beginning a ... · joe keller and the courant...

Post on 06-May-2020

0 Views

Category:

Documents

0 Downloads

Preview:

Click to see full reader

TRANSCRIPT

Joe Keller and the Courant Institute 1970-71:Beginning a Mathematical Journey

Brian Sleeman

School of Mathematics, University of Leeds,/Division of Mathematics, Universityof Dundee

Mathematics in the Spirit of Joseph Keller, Isaac NewtonInstitute, Cambridge, 2-3 March, 2017

Brian Sleeman Joe Keller and the Courant Institute 1970-71: Beginning a Mathematical Journey

Outline

The Courant Institute 1970-71

The Watson Transformation in Obstacle Scattering

Validity of the Geometrical Theory of Diffraction

Inverse Problems

Nagumo Equation

Nerve Impulse Propagation

Brian Sleeman Joe Keller and the Courant Institute 1970-71: Beginning a Mathematical Journey

Outline

The Courant Institute 1970-71

The Watson Transformation in Obstacle Scattering

Validity of the Geometrical Theory of Diffraction

Inverse Problems

Nagumo Equation

Nerve Impulse Propagation

Brian Sleeman Joe Keller and the Courant Institute 1970-71: Beginning a Mathematical Journey

Outline

The Courant Institute 1970-71

The Watson Transformation in Obstacle Scattering

Validity of the Geometrical Theory of Diffraction

Inverse Problems

Nagumo Equation

Nerve Impulse Propagation

Brian Sleeman Joe Keller and the Courant Institute 1970-71: Beginning a Mathematical Journey

Outline

The Courant Institute 1970-71

The Watson Transformation in Obstacle Scattering

Validity of the Geometrical Theory of Diffraction

Inverse Problems

Nagumo Equation

Nerve Impulse Propagation

Brian Sleeman Joe Keller and the Courant Institute 1970-71: Beginning a Mathematical Journey

Outline

The Courant Institute 1970-71

The Watson Transformation in Obstacle Scattering

Validity of the Geometrical Theory of Diffraction

Inverse Problems

Nagumo Equation

Nerve Impulse Propagation

Brian Sleeman Joe Keller and the Courant Institute 1970-71: Beginning a Mathematical Journey

Outline

The Courant Institute 1970-71

The Watson Transformation in Obstacle Scattering

Validity of the Geometrical Theory of Diffraction

Inverse Problems

Nagumo Equation

Nerve Impulse Propagation

Brian Sleeman Joe Keller and the Courant Institute 1970-71: Beginning a Mathematical Journey

Courant Institute

Douglas Samuel Jones photo.jpg

Figure : Douglas Jones

The story starts here!

Brian Sleeman Joe Keller and the Courant Institute 1970-71: Beginning a Mathematical Journey

Courant Institute

Figure : Courant Institute

Brian Sleeman Joe Keller and the Courant Institute 1970-71: Beginning a Mathematical Journey

Courant Institute

Courant.jpg

Figure : Richard Courant

Some Notable Faculty Jerome Berkowitz; Alexander Chorin;Richard Courant; Kurt Friedrichs; Paul Garabedian; James Glimm;Harold Grad;

Brian Sleeman Joe Keller and the Courant Institute 1970-71: Beginning a Mathematical Journey

Courant Institute

Figure : Joe

Warren Hirsch; Lars Hormander; Eugene Isaacson; Fritz John;Joseph Keller:Morris Kline; Heinz-Otto Kreiss; Peter Lax: DonaldLudwig; Wilhelm Magnus; Henry McKean; Cathleen Morawetz;Jurgen Moser; Louis Nirenberg; Jacob Schwartz; James Stoker;Olof Widland; Shmuel Winograd.

Brian Sleeman Joe Keller and the Courant Institute 1970-71: Beginning a Mathematical Journey

Courant Institute

Jurgen Moser; Louis Nirenberg; Jacob Schwartz; James Stoker;Olof Widland; Shmuel Winograd.Joe’s Graduate CourseSpecial Topics in Applied Mathematics: Perturbation Theory andAsymptotics.

Brian Sleeman Joe Keller and the Courant Institute 1970-71: Beginning a Mathematical Journey

The Watson Transformation in Obstacle Scattering

G.N.Watson 1918, A.S.Fokas and E. A. Spence 2012, E.A. Spence2014.The acoustic scattering of an analytic incident field ui (r , θ) by asound soft circular cylinder of radius a is solved using separation ofvariables to give the scattered field u(r , θ) representation

u(r , θ) =1

n=∞∑n=−∞

H(1)n (kr)

H(1)n (ka)

e inθU(a,−in), (1)

where

U(a,−in) = −∫ 2π

0e−inωui (r , ω)dω. (2)

This series can be represented as the combined contour integrals

Brian Sleeman Joe Keller and the Courant Institute 1970-71: Beginning a Mathematical Journey

The Watson Transformation in Obstacle Scattering

u(r , θ) =1

(∫ ∞+ic

−∞+ic−∫ ∞−ic−∞−ic

)e iνθU(a,−iν)

1− e−2πiν

H(1)ν (kr)

H(1)ν (ka)

dν.

(3)

Deform contour to surround simple the zeros of H(1)ν (ka). Rapid

convergence.

Brian Sleeman Joe Keller and the Courant Institute 1970-71: Beginning a Mathematical Journey

The Watson Transformation in Obstacle Scattering

Contour.jpg

Figure : Poles and contours of the Watson Transformation, Spence 2014

Brian Sleeman Joe Keller and the Courant Institute 1970-71: Beginning a Mathematical Journey

The Watson Transformation in Obstacle Scattering

Obstacle scattering of a simple source by a prolate spheroid, BDS1968, 1969.Here we use Spheroidal coordinates

x = c(ξ2 − 1)1/2(1− η2)1/2 cosφ,

y = c(ξ2 − 1)1/2(1− η2)1/2 sinφ,

z = cξη.

ξ ∈ (1, ∞), η ∈ (−1, 1), φ ∈ (0, 2π).

Brian Sleeman Joe Keller and the Courant Institute 1970-71: Beginning a Mathematical Journey

The Watson Transformation in Obstacle Scattering

Using separation of variables we encounter two separationconstants µ, ν in the spheroidal ODEs. Using the Watson idea wearrive at the double contour integral.

G (ξ, η, φ; ξ′, η

′, φ

′) =

− 1

4π2

∫Γµ

∫Γν

G1(φ, φ′; µ)G2(η, η

′; µ, ν)G3(ξ, ξ

′; µ, ν)dµdν. (4)

Here

G1(φ, φ′; µ) = −cos(µ(π− | φ− φ′ |)

sin(µπ)

and G2, G3 are complicated angular and radial Green’s functionsinvolving spheroidal wave functions.

Brian Sleeman Joe Keller and the Courant Institute 1970-71: Beginning a Mathematical Journey

The Watson Transformation in Obstacle Scattering

Figure : Double contours for the spheroid

Brian Sleeman Joe Keller and the Courant Institute 1970-71: Beginning a Mathematical Journey

Validity of the Geometrical Theory of Diffraction

Keller (1962), R. M. Lewis, N. Bleistein and D. Ludwig (1967), C.A. Bloom and B. J. Matkowsky (1969) BDS (1976).

figure.jpg

Figure : Perturbed ellipse

Brian Sleeman Joe Keller and the Courant Institute 1970-71: Beginning a Mathematical Journey

Validity of the Geometrical Theory of Diffraction

Theorem (BDS 1976)

As k →∞

U(r; rs; k) = Uellipse(r; rs; k)[1 +O(exp−k

1/3µ)]

uniformly in r, rεS<2 (rs)− R, where µ is positive and independentof k and r, where S<2 (rs) is the ”deep shadow” of Ω2 and R is the”region of influence” of B2.

A 3D analogue of this result is needed and may depend on full highfrequency analysis of scattering by a prolate spheroid.

Brian Sleeman Joe Keller and the Courant Institute 1970-71: Beginning a Mathematical Journey

Inverse problem of Obstacle scattering

Keller (1976): What is the question to which the answer is NineW?D a bounded, simply connected domain of class C 2 with boundary∂D.ν the inward unit normal to ∂D.ui (x , k) is the incident field and u∞(x) is the far field pattern. LetΦ(x , y) be the fundamental solution of the Helmholtz equation.Given knowledge of the far field pattern determine the unknownscattering obstacle D.An early attempt at a solution is due to Imbriale and Mittra(1970),BDS(1982). Here they fix a coordinate origin, calculate thescattered field from u∞(x) and then use least squares to findpoints where the total field vanishes. Choose another origin ofcoordinates and repeat the process until a sufficient number ofsurface points have been obtained to ascertain the shape of D.

Brian Sleeman Joe Keller and the Courant Institute 1970-71: Beginning a Mathematical Journey

Inverse problem of Obstacle scattering

At high frequency Keller (1959) used a physical opticsapproximation which, except in special cases, rests on the solutionof Minkowski’s problem. Is an obstacle uniquely determined bysurface Gaussian Curvature?Huge progress since (1970) c.f.Colton Kress (2013).We have the field representations

ui (x , k) = −∫∂D

Φ(x , y)∂u

∂νds(y), x ∈ ∂D, (5)

u∞(x , k) = γ

∫∂D

e−ikx ·y∂u

∂νds(y). (6)

This is the basis of a Newton type method BDS (1982), Johanssonand BDS (2007).Need for a rigorous convergence theory.

Brian Sleeman Joe Keller and the Courant Institute 1970-71: Beginning a Mathematical Journey

Inverse problem of Obstacle scattering

Theorem (Schiffer 1967,Lax and Philips (1967))

Assume D1 and D2 are two sound soft scatterers such that the farfield patterns coincide for an infinite number of incident planewaves with distinct directions and one fixed wave number. ThenD1 = D2.

Theorem (Colton and BDS 1983)

Let D1 and D2 be two sound soft scatterers which are contained ina ball of radius R such that kR < π and assume that the far fieldpatterns coincide for one incident plane wave with wave number k .Then D1 = D2.

Problems Does the far field pattern for scattering of one incidentplane wave at one single wave number determine the scatterer?What can be said about sound hard or impedance scatterers?

Brian Sleeman Joe Keller and the Courant Institute 1970-71: Beginning a Mathematical Journey

Nagumo Equation

H. P. McKean (1970)Nagumo’s equation is a starting point for modelling and studyingnerve impulse propagation in unmyelinated nerve axons.

∂u

∂t=∂2u

∂x2+ u(1− u)(u − a).

Travelling wavesu(x , t) = φ(x + ct),

Unique stable heteroclinic orbit in which , with ξ = x + ct,

φ(ξ) =1

1 + exp(−ξ/√

2), c =

√2(

1

2− a)

McKean gives full phase plane analysis. model does not accountfor recovery to a resting state.

Brian Sleeman Joe Keller and the Courant Institute 1970-71: Beginning a Mathematical Journey

Nerve Impulse Propagation

Recovery is achieved with the FitzHugh-Nagumo Model

∂u

∂t=

∂2u

∂x2+ u(1− u)(u − a)− w ,

∂w

∂t= bu − γw .

Look for travelling waves u(x , t) = φ(x + ct) andw(x , t) = ψ(x + ct)Need 3D phase space analysis

Brian Sleeman Joe Keller and the Courant Institute 1970-71: Beginning a Mathematical Journey

Nerve Impulse Propagation

Rinzel and Keller (1973) simplified matters by modelling the cubicin u by

F (u) = −u + H(u − a), H -Heaviside step function

Later BDS (see Jones, Plank and BDS (2010)) treated the moregeneral form

F (u) = −u, u ≤ a/2,

= u − a, a/2 < u ≤ (1 + a)/2,

= 1− u, (1 + a)/2 ≤ u.

Open Problems: evolutionary structure of the F-N PDE; Thresholdbehaviour; more on stability of travelling waves. What aboutmylinated fibres (essential to mammals)?

Brian Sleeman Joe Keller and the Courant Institute 1970-71: Beginning a Mathematical Journey

Thank you Joe for so much joy and inspiration.Brian Sleeman Joe Keller and the Courant Institute 1970-71: Beginning a Mathematical Journey

top related