I have been writing a post on QTAT, though I haven’t updated it for a long time. Now I was focusing on a classic scattering problem.
Given far field pattern and determine the scatter media, i.e. if we are given the Helmholtz Equation:
, with far field pattern , then we can determine uniquely by .
The problem’s proof is not hard to understand, if not unique, then for there exists at least two solutions for , say and , and is compactly supported. And the relative solution towards the equations are . Then we shall try to build up a basis in the form of ,
Since we have:
Set , then .
. On the other hand,
, subtract one from the other, and use Green second identity,
, and use Rellich Lemma for Helmholtz equation(exterior), we have:
, thus if we can prove can form a basis for , then we have done.
It’s lucky we can expect the far field pattern is like some harmonic function , where , and the multiplication of two harmonic functions are dense in . Therefore, we just have to prove the solution of Helmholtz equation at a sufficient far-away place acts like an exponential function(complex). However, this result is not trivial.
The idea is if we have all incident waves in all directions, then we have almost all data of the scattering media(the wave must flow into the media, by dimension analysis, this should be true). Reconstruct the media is kind of wasting time. Newton’s method is just fine.