# zbMATH — the first resource for mathematics

Multidimensional inverse problems and completeness of the products of solutions to PDE. (English) Zbl 0632.35076
A method is given to prove uniqueness theorems for some multidimensional inverse problems with data given at a fixed frequency. A number of new uniqueness theorems are proved. In particular:
1) if $$A(\theta ',\theta)$$ is given for all $$\theta ',\theta \in S^ 2$$ at a fixed $$k>0$$ then $$q(x)$$ is uniquely determined. Here A($$\theta$$ ’,$$\theta)$$ is the scattering amplitude for the equation $$\ell _ qu:=\Delta u+k^ 2u-q(x)u=0$$ in $$\mathbb R^ 3$$, $$k=\text{const}>0$$, $$q(x)=\overline{q(x)}\in L^ 2(D)$$, $$D$$ is a finite region, $$q=0$$ outside $$D$$;
2) if $$u(x,y)$$ is given for all $$x,y\in P:=\{x: x_ 3=0\}$$ at a fixed $$k>0$$ then $$v(x)$$ is uniquely determined. Here $$L_ vu:=(\Delta +k^ 2+k^ 2v(x))u=-\delta (x-y)$$ in $$\mathbb R^ 3$$, $$v=\bar v\in L^ 2(D)$$, $$D\subset \mathbb R^ 3_ -=\{x: x_ 3<0\}$$ is a finite region, $$v=0$$ outside $$D$$;
3) if $$u(x,y,k)$$ is given for all $$x,y\in P$$ and all $$k\in (0,\infty)$$ then $$v(x)$$ and $$h(k)$$ are uniquely determined. Here $$L_ vu=-\delta (x-y)h(k)$$ and $$h(k)=\int ^{T}_{0}a(t)\exp (ikt)\,dt$$, $$a=\bar a\in L^ 2[0,T]$$ is the unknown wavelet shape;
4) if the set $$\{u,\sigma u_ N\}\;\forall u\in H^{3/2}(\Gamma)$$ is known then $$\sigma(x)$$ is uniquely determined in $$D$$. Here $$D\subset \mathbb R^ 3$$ is a finite region with a smooth boundary $$\Gamma$$, $$0<m\leq \sigma (x)\in H^ 2(D)$$, $$H^ m$$ is the Sobolev space, $$u_ N$$ is the normal derivative of $$u$$ on $$\Gamma$$.
Other theorems are also proved.
The method is based on property C introduced by the author. A pair $$(\ell _ 1,\ell _ 2)$$, where $$\ell _ j$$ are linear PDO has property C iff $$\int _{D}fuw \,dx=0$$ $$\forall u\in N_ D(\ell _ 1)$$, $$\forall w\in N_ D(\ell _ 2)$$ implies $$f=0$$. Here $$D\subset \mathbb R^ n$$ is a bounded region, $$f\in L^ p(D)$$, $$p\geq 1$$, $$N_ D(\ell):=\{u: \ell u=0\;\text{in}\;D\}$$. An operator $$\ell$$ has property C if the pair ($$\ell,\ell)$$ has property C. A necessary and sufficient condition for a PDO with constant coefficients to have property C is given. It is proved that $$\ell _ q$$ and $$(\ell _{q_ 1},\ell _{q_ 2})$$ have property C. It is known that property C implies uniqueness. A number of other results and ideas are introduced. It is shown that the set of scattering solutions is complete in $$L^ 2(D)$$ in $$N_ D(\ell _ q)$$. This result plays an important role in the theory. Numerical methods for reconstruction of $$q(x), v(x)$$ and $$\sigma(x)$$ from the data are outlined.
Reviewer: A. G. Ramm

##### MSC:
 35R30 Inverse problems for PDEs 35P25 Scattering theory for PDEs
Full Text:
##### References:
  Newton, R.G, Scattering theory of waves and particles, (1982), Springer New York · Zbl 0496.47011  Newton, R.G, (), 1-74  Ramm, A.G, Characterization of the scattering data in the 3D inverse scattering problem, (), 153-167  Ramm, A.G, Necessary and sufficient conditions for a functon A(θ′, θ, k) to be the scattering amplitude corresponding to a reflecting obstacle, Inverse problems, 3, L53-L57, (1987) · Zbl 0657.35104  Ramm, A.G, A characterization of the scattering data in 3D inverse scattering problem, Inverse problems, 3, L49-L52, (1987), (with O.L. Weaver) · Zbl 0657.35103  Henkin, G; Novikov, R, ∂ equation in multidimensional inverse scattering problem, Uspekhi math. nauk, 42, No. 3, 93-151, (1987), [Russian]  ramm, A.G, Scattering by obstacles, (1986), Reidel Dordrecht · Zbl 0607.35006  Ramm, A.G, Completeness of the products of harmonic functions, (), 253-256 · Zbl 0602.35015  Ramm, A.G, Completeness of the products of solutions to PDE and uniqueness theorems in inverse scattering, Inverse problems, 3, L77-L82, (1987) · Zbl 0636.35066  Ramm, A.G, A uniqueness theorem for an inverse problem, Lett. in appl. math., 1, 185-187, (1988) · Zbl 0688.35100  Ramm, A.G, A uniqueness theorem for a boundary inverse problem, Inverse problems, 4, L1-L5, (1988) · Zbl 0696.35191  Ramm, A.G; Ramm, A.G, An inverse problem for Helmholtz’s equation II, Inverse problems, Inverse problems, 3, L59-L61, (1987) · Zbl 0654.35088  Ramm, A.G, A uniqueness theorem for two-parameter inversion, Inverse problems, 4, L7-L10, (1988) · Zbl 0699.35250  Sylvester, J; Uhlmann, G, A global uniqueness theorem for an inverse boundary value problem, Ann. of math., 125, 153-169, (1987) · Zbl 0625.35078  Sylvester, J; Uhlmann, G, Inverse boundary value problems at the boundary, (1987), preprint  Nachman, A; Sylvester, J; Uhlmann, G, An n-dimensional borg-Levinson theorem, (1987), preprint  Buhgeim, A, Multidimensional inverse problems of spectral analysis, Soviet math. dokl., 32, 353-355, (1985) · Zbl 0604.35076  Kohn, R; Vogelius, M, Determining conductivity by boundary measurements, Comm. pure appl. math., 38, 643-667, (1985) · Zbl 0595.35092  Ramm, A.G, Inverse scattering for geophysical problems when the background is variable, J. math. phys., 27, 2687-2689, (1986) · Zbl 0619.35106  Ramm, A.G, Inverse scattering for geophysical problems, Phys. lett. A, 99, 258-260, (1983) · Zbl 0566.76066  Buhgeim, A.L; Klibanov, M, Global uniqueness of a class of multidimensional inverse problems, Soviet math. dokl., 24, 244-247, (1981) · Zbl 0497.35082  Ramm, A.G, Behavior of the solutions to exterior boundary value problems at low frequencies, J. math. anal. appl., 117, 561, (1986) · Zbl 0603.35026  Hörmander, L, ()  Ramm, A.G, Topics in spectral and scattering theory, Notices amer. math. soc., 29, 327-329, (1982)  Ramm, A.G, Nonuniqueness of the solution to an inverse problem of geophysics, Inverse problems, 2, L23-L25, (1986) · Zbl 0608.35077  Prosser, R.T; Prosser, R.T, Formal solutions of inverse scattering problems, J. math. phys., J. math. phys., 21, 2648-2653, (1980) · Zbl 0446.35077  {\scA. G. Ramm}, Uniqueness theorems for multidimensional inverse problems with unbounded coefficients, J. Math. Anal. Appl., to appear. · Zbl 0676.35081  Ramm, A.G, Numerical method for solving 3D inverse scattering problem, Appl. math. lett., 1, (1988) · Zbl 0713.35097  Ramm, A.G, Finding conductivity from boundary measurements, (1987), preprint · Zbl 0726.35136  Ramm, A.G, Recovery of the potential from fixed energy scattering data, Inverse problems, 4, (1988) · Zbl 0632.35075  Ramm, A.G, Multidimensional inverse scattering problems and completeness of the products of solutions to homogeneous PDE, (), N4-N5  Ramm, A.G, Numerical method for solving 3D inverse problems of geophysics, (1987), preprint · Zbl 0663.65133  Ramm, A.G, Numerical method for solving 3D inverse problems with complete and incomplete data, (), to appear · Zbl 0721.35087  Ramm, A.G, A method for solving inverse diffraction problem, Inverse problems, 3, L23-L25, (1987) · Zbl 0619.35111  Ramm, A.G, A simple proof of the uniqueness theorem in impedance tomography, Lett. in appl. math., 1, (1988) · Zbl 0654.35027  Chadan, K; Sabatier, P, Inverse problems in quantum scattering theory, (1977), Springer-Verlag New York · Zbl 0363.47006
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.