next up previous
Next: The initial value method Up: No Title Previous: No Title

Introduction

We consider the inverse problem for the 3D Helmholtz equation

  eqnarray32

where tex2html_wrap_inline408 , tex2html_wrap_inline410 are the incoming waves, tex2html_wrap_inline412 satisfies the Sommerfeld radiation condition and the function f vanishes outside the ball of radius tex2html_wrap_inline416 . We want to recover f numerically from knowing tex2html_wrap_inline420 on the sphere of radius tex2html_wrap_inline416 for tex2html_wrap_inline410 and a fixed frequency k.

This is a model for ultrasonic tomography [6]. However we point out that in a real ultrasonic scanner the irradiating waves are no longer plane waves but standing waves in a finite container.

We start with a short survey on the extensive literature on numerical methods. With the exception of methods which use the Born or Rytov approximation [4], it seems that the only method which actually has been tested numerically in 3D is the Newton method combined with a finite Fourier expansion of f [5]. The other methods have been used in 2D only, even though an extension to 3D is possible in principle. The dual space method [2] reduces the problem from the whole space tex2html_wrap_inline430 with the far field (which we do not use) as data to an overposed boundary value problem in a finite volume which in turn is solved by optimization.

Of course we can always try to compute the Born series [3]. For this purpose we write (1.1) as an integral equation

  equation42

Here, G is the Green's function of tex2html_wrap_inline434 with the radiation condition at tex2html_wrap_inline436 . The Born series tex2html_wrap_inline438 is now obtained by solving

displaymath440

for tex2html_wrap_inline442 , where tex2html_wrap_inline444 and

displaymath446

with tex2html_wrap_inline448 function satisfying the radiation condition.

The generalized SOR-method of [7] also starts out from the integral equation (1.2). Writing for the integral operator in (1.2) simply G, this method minimizes the functional

  equation50

with some weight factor tex2html_wrap_inline452 . The minimization is done by

displaymath454

where tex2html_wrap_inline456 , tex2html_wrap_inline458 are update directions and tex2html_wrap_inline460 , tex2html_wrap_inline462 are chosen so as to minimize (1.3).

A non iterative method has been suggested in [15]. With tex2html_wrap_inline464 the Green's function of tex2html_wrap_inline466 , we can rewrite (1.1) as

  equation61

Now form a linear combination of the incoming waves such that the resulting field peaks at z, i.e.

displaymath470

Then, from (1.4),

  equation66

is approximately known on tex2html_wrap_inline472 . From the identity

displaymath474

we get an approximation to tex2html_wrap_inline476 for tex2html_wrap_inline472 which together with (1.5) determines f. The method still has to be tested.

A very efficient code has been given in [6]. It is very similar to ours in that it uses initial value techniques and ignores in the Jacobian entries which correspond to different incoming waves. The initial value technique is based on factoring the Helmholtz equation into a product of two first order differential operators.

The purpose of this note is to extend the method of [14] to 3D and to conduct 3D numerical experiments. We illuminate the object by plane waves tex2html_wrap_inline482 where the unit vectors tex2html_wrap_inline484 are lying in a plane. We use an initial value technique as in [6], but we do not rely on parabolic approximations [8] of the Helmholtz equation.


next up previous
Next: The initial value method Up: No Title Previous: No Title

Frank Wuebbeling
Fri Jun 28 15:42:55 MET DST 1996