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
- 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
- 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
- L. Borcea (2002). Electrical impedance tomography. Inverse Problems 18(6), R99–R136. doi:10.1088/0266-5611/18/6/201