Detecting Anisotropic Inclusions Through EIT

We study the evolution equation where is the Dirichlet-Neumann operator of a decreasing family of Riemannian manifolds with boundary . We derive a lower bound for the solution of such an equation, and apply it to a quantitative density estimate for the restriction of harmonic functions on to the boundaries of . Consequently we are able to derive a lower bound for the difference of the Dirichlet-Neumann maps in terms of the difference of a background metrics g and an inclusion metric on a manifold .