CAUCHY PROBLEM FOR ULTRASOUND-MODULATED EIT

Ultrasound modulation of electrical or optical properties of materials offers the possibility of devising hybrid imaging techniques that combine the high electrical or optical contrast observed in many settings of interest with the high resolution of ultrasound. Mathematically, these modalities require that we reconstruct a diffusion coefficient sigma(x) for x is an element of X, a bounded domain in R-n, from knowledge of sigma(x)vertical bar del u vertical bar(2) (x) for x is an element of X, where u is the solution to the elliptic equation -del . sigma del u = 0 in X with u = f on partial derivative X. This inverse problem may be recast as a nonlinear equation, which formally takes the form of a 0-Laplacian. Whereas p-Laplacians with p > 1 are well-studied variational elliptic nonlinear equations, p D 1 is a limiting case with a convex but not strictly convex functional, and the case p < 1 admits a variational formulation with a functional that is not convex. In this paper, we augment the equation for the 0-Laplacian with Cauchy data at the domain's boundary, which results in a formally overdetermined, nonlinear hyperbolic equation. This paper presents existence, uniqueness, and stability results for the Cauchy problem of the 0-Laplacian. In general, the diffusion coefficient sigma(x) can be stably reconstructed only on a subset of X described as the domain of influence of the space-like part of the boundary partial derivative X for an appropriate Lorentzian metric. Global reconstructions for specific geometries or based on the construction of appropriate complex geometric optics solutions are also analyzed.