English

An inverse boundary value problem for harmonic differential forms

Analysis of PDEs 2008-07-31 v3

Abstract

We show that the full symbol of the Dirichlet to Neumann map of the k-form Laplace's equation on a Riemannian manifold (of dimension greater than 2) with boundary determines the full Taylor series, at the boundary, of the metric. This extends the result of Lee and Uhlmann for the case k=0k=0. The proof avoids the computation of the full symbol by using the calculus of pseudo-differential operators parametrized by a boundary normal coordinate and recursively calculating the principal symbol of the difference of boundary operators.

Keywords

Cite

@article{arxiv.math/9911212,
  title  = {An inverse boundary value problem for harmonic differential forms},
  author = {M. S. Joshi and W. R. B. Lionheart},
  journal= {arXiv preprint arXiv:math/9911212},
  year   = {2008}
}

Comments

In this revision the assumption that the normal is known has been removed. The paper also benefits from comments at the ICMS Conference: Tomographic Inverse Problems,Edinburgh 3-5 August 2000. The second revision has a version of the theorem with more natural Neumann data