Detection of conductivity inclusions in a semilinear elliptic problem arising from cardiac electrophysiology

DOI10.4310/CMS.2018.V16.N7.A10MaRDI QIDQ667012zbMATH OpenOpenAlexWikidataFDO

Authors Elena Beretta, Luca Ratti, M. Verani

Publication date 12 March 2019

Published in Communications in Mathematical Sciences (Search for Journal in Brave)

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

zbMATH Keywords

inverse problemsemilinear elliptic equationphase-field relaxation

Mathematics Subject Classification ID

Numerical optimization and variational techniques (65K10) Physiology (general) (92C30) Semilinear elliptic equations (35J61) Numerical methods for inverse problems for boundary value problems involving PDEs (65N21) Inverse problems for PDEs (35R30) Existence theories for optimal control problems involving partial differential equations (49J20) Optimality conditions for problems involving partial differential equations (49K20) Stability and convergence of numerical methods for boundary value problems involving PDEs (65N12) 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) Space charge waves (78A20)

Abstract: In this work we tackle the reconstruction of discontinuous coefficients in a semilinear elliptic equation from the knowledge of the solution on the boundary of the domain, an inverse problem motivated by biological application in cardiac electrophysiology. We formulate a constraint minimization problem involving a quadratic mismatch functional enhanced with a regularization term which penalizes the perimeter of the inclusion to be identified. We introduce a phase-field relaxation of the problem, replacing the perimeter term with a Ginzburg-Landau-type energy. We prove the $Gamma$-convergence of the relaxed functional to the original one (which implies the convergence of the minimizers), we compute the optimality conditions of the phase-field problem and define a reconstruction algorithm based on the use of the Fr`echet derivative of the functional. After introducing a discrete version of the problem we implement an iterative algorithm and prove convergence properties. Several numerical results are reported, assessing the effectiveness and the robustness of the algorihtm in identifying arbitrarily-shaped inclusions. Finally, we compare our approach to a shape derivative based technique, both from a theoretical point of view (computing the sharp interface limit of the optimality conditions) and from a numerical one.

Recommendations

• An inverse problem for a semilinear parabolic equation arising from cardiac electrophysiology
• A reconstruction algorithm based on topological gradient for an inverse problem related to a semilinear elliptic boundary value problem
• On the Reconstruction of Cavities in a Nonlinear Model Arising from Cardiac Electrophysiology
• Lipschitz stable determination of small conductivity inclusions in a semilinear equation from boundary data
• An asymptotic formula for boundary potential perturbations in a semilinear elliptic equation related to cardiac electrophysiology

Cited in

(15)

• On the determination of ischemic regions in the monodomain model of cardiac electrophysiology from boundary measurements
• Strong well-posedness and inverse identification problem of a non-local phase field tumour model with degenerate mobilities
• A reconstruction algorithm based on topological gradient for an inverse problem related to a semilinear elliptic boundary value problem
• On the Reconstruction of Cavities in a Nonlinear Model Arising from Cardiac Electrophysiology
• Identification of cavities and inclusions in linear elasticity with a phase-field approach
• An asymptotic formula for boundary potential perturbations in a semilinear elliptic equation related to cardiac electrophysiology
• A posteriori error estimates for the monodomain model in cardiac electrophysiology
• A phase-field approach for detecting cavities via a Kohn-Vogelius type functional
• An inverse problem for a semilinear parabolic equation arising from cardiac electrophysiology
• Consistency of a phase field regularisation for an inverse problem governed by a quasilinear Maxwell system
• On a nonlinear model in domains with cavities arising from cardiac electrophysiology
• A Nash game algorithm for the solution of coupled conductivity identification and data completion in cardiac electrophysiology
• Numerical Shape Reconstruction for a Semi-Linear Elliptic Interface Inverse Problem
• Lipschitz stable determination of small conductivity inclusions in a semilinear equation from boundary data
• Overhang penalization in additive manufacturing via phase field structural topology optimization with anisotropic energies

Describes a project that uses

Uses Software

• Matlab

This page was built for publication: Detection of conductivity inclusions in a semilinear elliptic problem arising from cardiac electrophysiology

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