-
An inverse boundary value problem for the $p$-Laplacian
Authors:
Antti Hannukainen,
Nuutti Hyvönen,
Lauri Mustonen
Abstract:
This work tackles an inverse boundary value problem for a $p$-Laplace type partial differential equation parametrized by a smoothening parameter $τ\geq 0$. The aim is to numerically test reconstructing a conductivity type coefficient in the equation when Dirichlet boundary values of certain solutions to the corresponding Neumann problem serve as data. The numerical studies are based on a straightf…
▽ More
This work tackles an inverse boundary value problem for a $p$-Laplace type partial differential equation parametrized by a smoothening parameter $τ\geq 0$. The aim is to numerically test reconstructing a conductivity type coefficient in the equation when Dirichlet boundary values of certain solutions to the corresponding Neumann problem serve as data. The numerical studies are based on a straightforward linearization of the forward map, and they demonstrate that the accuracy of such an approach depends nontrivially on $1 < p < \infty$ and the chosen parametrization for the unknown coefficient. The numerical considerations are complemented by proving that the forward operator, which maps a Hölder continuous conductivity coefficient to the solution of the Neumann problem, is Fréchet differentiable, excluding the degenerate case $τ=0$ that corresponds to the classical (weighted) $p$-Laplace equation.
△ Less
Submitted 28 March, 2018;
originally announced March 2018.
-
A Bayesian framework for molecular strain identification from mixed diagnostic samples
Authors:
Lauri Mustonen,
Xiangxi Gao,
Asteroide Santana,
Rebecca Mitchell,
Ymir Vigfusson,
Lars Ruthotto
Abstract:
We provide a mathematical formulation and develop a computational framework for identifying multiple strains of microorganisms from mixed samples of DNA. Our method is applicable in public health domains where efficient identification of pathogens is paramount, e.g., for the monitoring of disease outbreaks. We formulate strain identification as an inverse problem that aims at simultaneously estima…
▽ More
We provide a mathematical formulation and develop a computational framework for identifying multiple strains of microorganisms from mixed samples of DNA. Our method is applicable in public health domains where efficient identification of pathogens is paramount, e.g., for the monitoring of disease outbreaks. We formulate strain identification as an inverse problem that aims at simultaneously estimating a binary matrix (encoding presence or absence of mutations in each strain) and a real-valued vector (representing the mixture of strains) such that their product is approximately equal to the measured data vector. The problem at hand has a similar structure to blind deconvolution, except for the presence of binary constraints, which we enforce in our approach. Following a Bayesian approach, we derive a posterior density. We present two computational methods for solving the non-convex maximum a posteriori estimation problem. The first one is a local optimization method that is made efficient and scalable by decoupling the problem into smaller independent subproblems, whereas the second one yields a global minimizer by converting the problem into a convex mixed-integer quadratic programming problem. The decoupling approach also provides an efficient way to integrate over the posterior. This provides useful information about the ambiguity of the underdetermined problem and, thus, the uncertainty associated with numerical solutions. We evaluate the potential and limitations of our framework in silico using synthetic and experimental data with available ground truths.
△ Less
Submitted 7 July, 2018; v1 submitted 7 March, 2018;
originally announced March 2018.
-
Detecting stochastic inclusions in electrical impedance tomography
Authors:
Andrea Barth,
Bastian Harrach,
Nuutti Hyvönen,
Lauri Mustonen
Abstract:
This work considers the inclusion detection problem of electrical impedance tomography with stochastic conductivities. It is shown that a conductivity anomaly with a random conductivity can be identified by applying the Factorization Method or the Monotonicity Method to the mean value of the corresponding Neumann-to-Dirichlet map provided that the anomaly has high enough contrast in the sense of e…
▽ More
This work considers the inclusion detection problem of electrical impedance tomography with stochastic conductivities. It is shown that a conductivity anomaly with a random conductivity can be identified by applying the Factorization Method or the Monotonicity Method to the mean value of the corresponding Neumann-to-Dirichlet map provided that the anomaly has high enough contrast in the sense of expectation. The theoretical results are complemented by numerical examples in two spatial dimensions.
△ Less
Submitted 13 June, 2017;
originally announced June 2017.
-
Generalized linearization techniques in electrical impedance tomography
Authors:
Nuutti Hyvönen,
Lauri Mustonen
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 a…
▽ More
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.
△ Less
Submitted 30 May, 2017;
originally announced May 2017.
-
Smoothened complete electrode model
Authors:
Nuutti Hyvönen,
Lauri Mustonen
Abstract:
This work reformulates the complete electrode model of electrical impedance tomography in order to enable more efficient numerical solution. The model traditionally assumes constant contact conductances on all electrodes, which leads to a discontinuous Robin boundary condition since the gaps between the electrodes can be described by vanishing conductance. As a consequence, the regularity of the e…
▽ More
This work reformulates the complete electrode model of electrical impedance tomography in order to enable more efficient numerical solution. The model traditionally assumes constant contact conductances on all electrodes, which leads to a discontinuous Robin boundary condition since the gaps between the electrodes can be described by vanishing conductance. As a consequence, the regularity of the electromagnetic potential is limited to less than two square-integrable weak derivatives, which negatively affects the convergence of, e.g., the finite element method. In this paper, a smoothened model for the boundary conductance is proposed, and the unique solvability and improved regularity of the ensuing boundary value problem are proven. Numerical experiments demonstrate that the proposed model is both computationally feasible and also compatible with real-world measurements. In particular, the new model allows faster convergence of the finite element method.
△ Less
Submitted 6 July, 2017; v1 submitted 23 March, 2017;
originally announced March 2017.
-
Thermal tomography with unknown boundary
Authors:
Nuutti Hyvönen,
Lauri Mustonen
Abstract:
Thermal tomography is an imaging technique for deducing information about the internal structure of a physical body from temperature measurements on its boundary. This work considers time-dependent thermal tomography modeled by a parabolic initial/boundary value problem without accurate information on the exterior shape of the examined object. The adaptive sparse pseudospectral approximation metho…
▽ More
Thermal tomography is an imaging technique for deducing information about the internal structure of a physical body from temperature measurements on its boundary. This work considers time-dependent thermal tomography modeled by a parabolic initial/boundary value problem without accurate information on the exterior shape of the examined object. The adaptive sparse pseudospectral approximation method is used to form a polynomial surrogate for the dependence of the temperature measurements on the thermal conductivity, the heat capacity, the boundary heat transfer coefficient and the body shape. These quantities can then be efficiently reconstructed via nonlinear, regularized least squares minimization employing the surrogate and its derivatives. The functionality of the resulting reconstruction algorithm is demonstrated by numerical experiments based on simulated data in two spatial dimensions.
△ Less
Submitted 24 July, 2017; v1 submitted 21 November, 2016;
originally announced November 2016.
-
Polynomial collocation for handling an inaccurately known measurement configuration in electrical impedance tomography
Authors:
Nuutti Hyvönen,
Vesa Kaarnioja,
Lauri Mustonen,
Stratos Staboulis
Abstract:
The objective of electrical impedance tomography is to reconstruct the internal conductivity of a physical body based on measurements of current and potential at a finite number of electrodes attached to its boundary. Although the conductivity is the quantity of main interest in impedance tomography, a real-world measurement configuration includes other unknown parameters as well: the information…
▽ More
The objective of electrical impedance tomography is to reconstruct the internal conductivity of a physical body based on measurements of current and potential at a finite number of electrodes attached to its boundary. Although the conductivity is the quantity of main interest in impedance tomography, a real-world measurement configuration includes other unknown parameters as well: the information on the contact resistances, electrode positions and body shape is almost always incomplete. In this work, the dependence of the electrode measurements on all aforementioned model properties is parametrized via polynomial collocation. The availability of such a parametrization enables efficient simultaneous reconstruction of the conductivity and other unknowns by a Newton-type output least squares algorithm, which is demonstrated by two-dimensional numerical experiments based on both noisy simulated data and experimental data from two water tanks.
△ Less
Submitted 1 July, 2016; v1 submitted 1 April, 2016;
originally announced April 2016.
-
Numerical study of a parametric parabolic equation and a related inverse boundary value problem
Authors:
Lauri Mustonen
Abstract:
We consider a time-dependent linear diffusion equation together with a related inverse boundary value problem. The aim of the inverse problem is to determine, based on observations on the boundary, the non-homogeneous diffusion coefficient in the interior of an object. The method in this paper relies on solving the forward problem for a whole family of diffusivities by using a spectral Galerkin me…
▽ More
We consider a time-dependent linear diffusion equation together with a related inverse boundary value problem. The aim of the inverse problem is to determine, based on observations on the boundary, the non-homogeneous diffusion coefficient in the interior of an object. The method in this paper relies on solving the forward problem for a whole family of diffusivities by using a spectral Galerkin method in the high-dimensional parameter domain. The evaluation of the parametric solution and its derivatives is then completely independent of spatial and temporal discretizations. In case of a quadratic approximation for the parameter dependence and a direct solver for linear least squares problems, we show that the evaluation of the parametric solution does not increase the complexity of any linearized subproblem arising from a Gauss-Newtonian method that is used to minimize a Tikhonov functional. The feasibility of the proposed algorithm is demonstrated by diffusivity reconstructions in two and three spatial dimensions.
△ Less
Submitted 14 July, 2016; v1 submitted 4 June, 2015;
originally announced June 2015.
