On regularity of the logarithmic forward map of electrical impedance tomography

DOI10.1137/19M1256476MaRDI QIDQ5208770zbMATH OpenWikidataFDO

Authors Henrik Garde, Nuutti Hyvönen, Topi Kuutela

Publication date 10 January 2020

Published in SIAM Journal on Mathematical Analysis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1904.06926

zbMATH Keywords

electrical impedance tomographyfunctional calculusconductivity equationNeumann-to-Dirichlet map

Mathematics Subject Classification ID

Continuous and differentiable maps in nonlinear functional analysis (46T20) Boundary value problems for second-order elliptic equations (35J25) Inverse problems for PDEs (35R30) Functional calculus for linear operators (47A60)

Abstract: This work considers properties of the logarithm of the Neumann-to-Dirichlet boundary map for the conductivity equation in a Lipschitz domain. It is shown that the mapping from the (logarithm of) the conductivity, i.e. the (logarithm of) the coefficient in the divergence term of the studied elliptic partial differential equation, to the logarithm of the Neumann-to-Dirichlet map is continuously Fr'echet differentiable between natural topologies. Moreover, for any essentially bounded perturbation of the conductivity, the Fr'echet derivative defines a bounded linear operator on the space of square integrable functions living on the domain boundary, although the logarithm of the Neumann-to-Dirichlet map itself is unbounded in that topology. In particular, it follows from the fundamental theorem of calculus that the difference between the logarithms of any two Neumann-to-Dirichlet maps is always bounded on the space of square integrable functions. All aforementioned results also hold if the Neumann-to-Dirichlet boundary map is replaced by its inverse, i.e. the Dirichlet-to-Neumann map.

Recommendations

• An analysis of electrical impedance tomography with applications to Tikhonov regularization
• Electrical impedance tomography
• Generalized linearization techniques in electrical impedance tomography
• Global Uniqueness in the Impedance-Imaging Problem for Less Regular Conductivities
• Stability of the inverse conductivity problem in the plane for less regular conductivities

Cites work

• scientific article; zbMATH DE number 3127846 (Why is no real title available?)
• scientific article; zbMATH DE number 4138299 (Why is no real title available?)
• scientific article; zbMATH DE number 41787 (Why is no real title available?)
• Beiträge zur Störungstheorie der Spektralzerlegung
• Convergence and regularization for monotonicity-based shape reconstruction in electrical impedance tomography
• Determining anisotropic real-analytic conductivities by boundary measurements
• Electrical Impedance Tomography
• Electrical impedance tomography
• Electrical impedance tomography and Calderón's problem
• Exact shape-reconstruction by one-step linearization in electrical impedance tomography
• Existence and Uniqueness for Electrode Models for Electric Current Computed Tomography
• Generalized linearization techniques in electrical impedance tomography
• Operator differentiable functions
• Shorter Notes: Some Operator Monotone Functions
• Size estimation of inclusion
• The Fréchet derivative of an analytic function of a bounded operator with some applications
• The Inverse Conductivity Problem with One Measurement: Stability and Estimation of Size
• Une généralisation du problème de Cauchy

Cited in

(7)

• Monotonicity-based reconstruction of extreme inclusions in electrical impedance tomography
• Lipschitz Stability for the Electrical Impedance Tomography Problem: The Complex Case
• Series reversion for electrical impedance tomography with modeling errors ^*
• Series reversion in Calderón's problem
• Reconstruction of piecewise constant layered conductivities in electrical impedance tomography
• Mimicking relative continuum measurements by electrode data in two-dimensional electrical impedance tomography
• Logarithmic parameter reconstruction in electrical tomography

This page was built for publication: On regularity of the logarithmic forward map of electrical impedance tomography

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5208770)