Variations of Dirichlet-to-Neumann map and deformation boundary rigidity of simple 2-manifolds

The Dirichlet-to-Neumann (DN) map Λ_g: C^∞ (?M) → C^∞(?M) on a compact Riemannian manifold (M, g) with boundary is defined by Λ_gh = ?u/?v¦in{t6M}, where u is the solution to the Dirichlet problem Δu = 0, u¦?M = h and v is the unit normal to the boundary. If g^t = g + t? is a variation of the metric g by a symmetric tensor field ?, then Λ_g ^t = Λ_g + tΛ_? + o(t). We study the question: How do tensor fields ? look like for which Λ_? =0? A partial answer is obtained for a general manifold, and the complete answer is given in the two cases: For the Euclidean metric and in the 2D-case. The latter result is used for proving the deformation boundary rigidity of a simple 2-manifold.