Abstract
Electrical impedance tomography aims at reconstructing the interior electrical conductivity from surface measurements of currents and voltages. As the current–voltage pairs depend nonlinearly on the conductivity, impedance tomography leads to a nonlinear inverse problem. Often, the forward problem is linearized with respect to the conductivity and the resulting linear inverse problem is regarded as a subproblem in an iterative algorithm or as a simple reconstruction method as such. In this paper, we compare this basic linearization approach to linearizations with respect to the resistivity or the logarithm of the conductivity. It is numerically demonstrated that the conductivity linearization often results in compromised accuracy in both forward and inverse computations. Inspired by these observations, we present and analyze a new linearization technique which is based on the logarithm of the Neumann-to-Dirichlet operator. The method is directly applicable to discrete settings, including the complete electrode model. We also consider Fréchet derivatives of the logarithmic operators. Numerical examples indicate that the proposed method is an accurate way of linearizing the problem of electrical impedance tomography.
Similar content being viewed by others
References
Adler, A., Arnold, J.H., Bayford, R., Borsic, A., Brown, B., Dixon, P., Faes, T.J.C., Frerichs, I., Gagnon, H., Gärber, Y., Grychtol, B., Hahn, G., Lionheart, W.R.B., Malik, A., Patterson, R.P., Stocks, J., Tizzard, A., Weiler, N., Wolf, G.K.: GREIT: a unified approach to 2D linear EIT reconstruction of lung images. Physiol. Meas. 30, S35–S55 (2009)
Brühl, M.: Explicit characterization of inclusions in electrical impedance tomography. SIAM J. Math. Anal. 32, 1327–1341 (2001)
Calderón, A.-P.: On an inverse boundary value problem. In: Seminar on Numerical Analysis and its Applications to Continuum Physics, pp. 65–73. Sociedade Brasileira de Matematica, Rio de Janeiro (1980)
Cheney, M., Isaacson, D., Newell, J.C., Simske, S., Goble, J.: NOSER: an algorithm for solving the inverse conductivity problem. Int. J. Imaging Syst. Technol. 2, 66–75 (1990)
Cheng, K.-S., Isaacson, D., Newell, J.C., Gisser, D.G.: Electrode models for electric current computed tomography. IEEE Trans. Biomed. Eng. 36, 918–924 (1989)
Dardé, J., Hyvönen, N., Seppänen, A., Staboulis, S.: Simultaneous recovery of admittivity and body shape in electrical impedance tomography: an experimental evaluation. Inverse Prob. 29, 085004 (2013)
Dardé, J., Staboulis, S.: Electrode modelling: the effect of contact impedance. ESAIM Math. Model. Numer. Anal. 50, 415–431 (2016)
Dautray, R., Lions, J.L.: Mathematical Analysis and Numerical Methods for Science and Technology: Functional and Variational Methods, vol. 2. Springer, Berlin (1988)
Demmel, J.W.: Applied Numerical Linear Algebra. SIAM, Philadelphia (1997)
Engl, H., Hanke, M., Neubauer, A.: Regularization of Inverse Problems. Kluwer, Dordrecht (1996)
Garde, H., Knudsen, K.: Distinguishability revisited: depth dependent bounds on reconstruction quality in electrical impedance tomography. SIAM J. Appl. Math. 77, 697–720 (2017)
Grisvard, P.: Elliptic Problems in Nonsmooth Domains. Pitman, London (1985)
Hanke, M., Hyvönen, N., Reusswig, S.: An inverse backscatter problem for electric impedance tomography. SIAM J. Math. Anal. 41, 1948–1966 (2009)
Harhanen, L., Hyvönen, N., Majander, H., Staboulis, S.: Edge-enhancing reconstruction algorithm for three-dimensional electrical impedance tomography. SIAM J. Sci. Comput. 37, B60–B78 (2015)
Harrach, B., Seo, J.K.: Exact shape-reconstruction by one-step linearization in electrical impedance tomography. SIAM J. Math. Anal. 42, 1505–1518 (2010)
Henrici, P.: Applied and Computational Complex Analysis, vol. 1. Wiley, New York (1974)
Higham, N.J.: Functions of Matrices: Theory and Computation. SIAM, Philadelphia (2008)
Hyvönen, N., Mustonen, L.: Smoothened complete electrode model. SIAM J. Appl. Math. 77, 2250–2271 (2017)
Isaacson, D.: Distinguishability of conductivities by electric current computed tomography. IEEE Trans. Med. Imaging 5, 91–95 (1986)
Kaipio, J.P., Kolehmainen, V., Somersalo, E., Vauhkonen, M.: Statistical inversion and Monte Carlo sampling methods in electrical impedance tomography. Inverse Prob. 16, 1487–1522 (2000)
Kaipio, J .P., Somersalo, E.: Statistical and Computational Inverse Problems. Springer, Berlin (2004)
Karhunen, K., Lehikoinen, A., Monteiro, P.J.M., Kaipio, J.P.: Electrical resistance tomography imaging of concrete. Cem. Concrete Res. 40, 137–145 (2010)
Kato, T.: Perturbation Theory for Linear Operators. Springer, Berlin (1995)
Kourunen, J., Savolainen, T., Lehikoinen, A., Vauhkonen, M., Heikkinen, L.M.: Suitability of a PXI platform for an electrical impedance tomography system. Meas. Sci. Technol. 20, 015503 (2009)
Kriegl, A., Michor, P.W., Rainer, A.: Denjoy–Carleman differentiable perturbation of polynomials and unbounded operators. Integral Equ. Oper. Theory 71, 407–416 (2011)
Lechleiter, A., Rieder, A.: Newton regularizations for impedance tomography: convergence by local injectivity. Inverse Prob. 24, 065009 (2008)
Leinonen, M., Hakula, H., Hyvönen, N.: Application of stochastic Galerkin FEM to the complete electrode model of electrical impedance tomography. J. Comput. Phys. 269, 181–200 (2014)
Lions, J.L., Magenes, E.: Non-Homogeneous Boundary Value Problems and Applications, vol. 1. Springer, Berlin. Translated from French by P. Kenneth (1973)
Somersalo, E., Cheney, M., Isaacson, D.: Existence and uniqueness for electrode models for electric current computed tomography. SIAM J. Appl. Math. 52, 1023–1040 (1992)
Uhlmann, G.: Electrical impedance tomography and Calderón’s problem. Inverse Prob. 25, 123011 (2009)
Yosida, K.: Functional Analysis. Springer, Berlin (1980)
Acknowledgements
This work was supported by the Academy of Finland (Decision 267789), the Finnish Foundation for Technology Promotion TES, and the Foundation for Aalto University Science and Technology.
Author information
Authors and Affiliations
Corresponding author
An equivalent norm for \(H^s_\diamond (\partial \varOmega )\)
An equivalent norm for \(H^s_\diamond (\partial \varOmega )\)
This appendix is based on the assumptions and definitions of Sects. 2 and 3. The proof of Corollary 1 requires the following lemma. Observe that the lemma could be extended (with obvious modifications) for \(-1/2 \le s \le 1/2\) by duality and for a wider scale of smoothness indices by utilizing some integer power of \(\varLambda (\sigma )^{-1}\) in place of \(\varLambda (\sigma )^{-1/2}\) in the following proof, assuming \(\partial \varOmega \) is smooth enough.
Lemma 1
For any fixed \(\sigma \in L^\infty _+(\varOmega )\), it holds that
where
defines an equivalent norm for \(H^{s}_{\diamond }(\partial \varOmega )\).
Proof
Let us introduce the positive powers of \(\varLambda (\sigma ) :L^2_\diamond (\partial \varOmega ) \rightarrow L^2_\diamond (\partial \varOmega )\) in the natural way, that is,
which defines a compact, injective, self-adjoint operator with a dense range for any \(s > 0\). The negative powers are the corresponding inverse operators:
where (cf., e.g., [10, Theorem 2.8])
Using the same arguments as for \(\log \!\varLambda (\sigma )\) in Sect. 3.1, it is easy to show that \(\varLambda ^{-s}(\sigma ) :{\mathcal {D}}(\varLambda ^{-s}(\sigma )) \rightarrow L^2_\diamond (\partial \varOmega )\) is self-adjoint and becomes an isomorphism between Hilbert spaces if its domain is equipped with the graph norm defined via
for \(g \in {\mathcal {D}}(\varLambda ^{-s}(\sigma ))\) and with \(C>0\).
Since \(\varLambda (\sigma ) :H^{-1/2}_\diamond (\partial \varOmega ) \rightarrow H^{1/2}_\diamond (\partial \varOmega )\) is positive and self-adjoint, the (positive) square root \(\varLambda ^{1/2}(\sigma )\) is, in fact, an isomorphism from \(L^2_\diamond (\partial \varOmega )\) to \(H^{1/2}_\diamond (\partial \varOmega )\); see, e.g., [2, Lemma 3.4] for a simple proof. In particular, \({\mathcal {D}}(\varLambda ^{-1/2}(\sigma )) = H^{1/2}_\diamond (\partial \varOmega )\). According to [28, p. 10, Definition 2.1 and Remark 2.3] and the definition of \(H^{s}(\partial \varOmega )\) as a (complex) interpolation space (see, e.g., [28, p. 36, Theorem 7.7]), we thus have
with the graph norm of \({\mathcal {D}}( \varLambda ^{-s}(\sigma ))\) being equivalent to that of \(H^{s}_\diamond (\partial \varOmega )\). The claim now follows from (34).\(\square \)
Rights and permissions
About this article
Cite this article
Hyvönen, N., Mustonen, L. Generalized linearization techniques in electrical impedance tomography. Numer. Math. 140, 95–120 (2018). https://doi.org/10.1007/s00211-018-0959-1
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00211-018-0959-1