Series reversion for electrical impedance tomography with modeling errors *

DOI10.1088/1361-6420/ACDAB8MaRDI QIDQ6166001zbMATH OpenOpenAlexFDO

Authors Henrik Garde, Nuutti Hyvönen, Topi Kuutela

Publication date 6 July 2023

Published in Inverse Problems (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

Bayesian inversionelectrical impedance tomographyLevenberg-Marquardt algorithmmismodelingseries reversionsmoothened complete electrode model

Mathematics Subject Classification ID

Inverse problems for PDEs (35R30) Series expansions (e.g., Taylor, Lidstone series, but not Fourier series) (41A58) Bayesian inference (62F15) Numerical solutions of ill-posed problems in abstract spaces; regularization (65J20) Numerical optimization and variational techniques (65K10) Error bounds for boundary value problems involving PDEs (65N15) Numerical methods for inverse problems for boundary value problems involving PDEs (65N21) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30) Mesh generation, refinement, and adaptive methods for boundary value problems involving PDEs (65N50) Diffraction, scattering (78A45) Inverse problems (including inverse scattering) in optics and electromagnetic theory (78A46) Finite element, Galerkin and related methods applied to problems in optics and electromagnetic theory (78M10) Optimization problems in optics and electromagnetic theory (78M50)

Abstract: This work extends the results of [Garde and Hyv"onen, Math. Comp. 91:1925-1953] on series reversion for Calder'on's problem to the case of realistic electrode measurements, with both the internal admittivity of the investigated body and the contact admittivity at the electrode-object interfaces treated as unknowns. The forward operator, sending the internal and contact admittivities to the linear electrode current-to-potential map, is first proven to be analytic. A reversion of the corresponding Taylor series yields a family of numerical methods of different orders for solving the inverse problem of electrical impedance tomography, with the possibility to employ different parametrizations for the unknown internal and boundary admittivities. The functionality and convergence of the methods is established only if the employed finite-dimensional parametrization of the unknowns allows the Fr'echet derivative of the forward map to be injective, but we also heuristically extend the methods to more general settings by resorting to regularization motivated by Bayesian inversion. The performance of this regularized approach is tested via three-dimensional numerical examples based on simulated data. The effect of modeling errors related to electrode shapes and contact admittances is a focal point of the numerical studies.

Recommendations

• Series reversion in Calderón's problem
• Compensation for geometric modeling errors by positioning of electrodes in electrical impedance tomography
• On the \(hp\)-adaptive solution of complete electrode model forward problems of electrical impedance tomography
• Electrical impedance tomography
• Model-aware Newton-type inversion scheme for electrical impedance tomography

Cites work

• Analytic Functions in Banach Spaces
• Calderón's inverse problem with a finite number of measurements
• Calderón's inverse problem with a finite number of measurements. II: independent data
• Computational Framework for Applying Electrical Impedance Tomography to Head Imaging
• Contact adapting electrode model for electrical impedance tomography
• Electrical impedance tomography
• Electrical Impedance Tomography
• Electrical impedance tomography and Calderón's problem
• Electrical impedance tomography with basis constraints
• Existence and Uniqueness for Electrode Models for Electric Current Computed Tomography
• Fine-tuning electrode information in electrical impedance tomography
• Formulae for high derivatives of composite functions
• Generalized linearization techniques in electrical impedance tomography
• scientific article; zbMATH DE number 812021 (Why is no real title available?)
• Inverse Born series for the Calderón problem
• Newton regularizations for impedance tomography: convergence by local injectivity
• On regularity of the logarithmic forward map of electrical impedance tomography
• Polynomial Collocation for Handling an Inaccurately Known Measurement Configuration in Electrical Impedance Tomography
• Series reversion in Calderón's problem
• Smoothened Complete Electrode Model
• Statistical inversion and Monte Carlo sampling methods in electrical impedance tomography
• Uniqueness and Lipschitz stability in electrical impedance tomography with finitely many electrodes

This page was built for publication: Series reversion for electrical impedance tomography with modeling errors ^*

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