The Forward Map is Fréchet differentiable. Its derivative in direction is given by the linearisation identity

where solve the Dirichlet Problem with data . For the Neumann-to-Dirichlet Map the sign flips:

The product is the sensitivity kernel. It tells how much the measurement “drive with , read out with ” reacts to a local change of conductivity. It is large near the electrodes and decays towards the interior, which is another view of the ill-posedness.

Derivation of the first identity. Let be the derivative of with respect to . Differentiating gives with . Testing with and using Green’s Identities yields the formula.

Uses.

  • Calderón proved injectivity of this linear map at const, the first uniqueness result.
  • One-step linear reconstruction methods (NOSER, GREIT; see EIT Software and Solvers) solve a regularised version of .
  • The same product appears as the gradient in the Adjoint State Method. There plays the role of the second field, driven by the data residual.
  • Stacking the kernels for all pattern pairs gives the Jacobian used in the Gauss-Newton Method.

In ModularEIT.jl: residual_and_jacobian!.

References

  1. A. P. Calderón (1980/2006). On an inverse boundary value problem. Comput. Appl. Math. 25(2–3), 133–138. doi:10.1590/S0101-82052006000200002
  2. W. R. B. Lionheart (2004). EIT reconstruction algorithms: pitfalls, challenges and recent developments. Physiol. Meas. 25(1), 125–142. doi:10.1088/0967-3334/25/1/021
  3. L. Borcea (2002). Electrical impedance tomography. Inverse Problems 18(6), R99–R136. doi:10.1088/0266-5611/18/6/201