Searcharxiv⌕ Search

arXiv subjects

Elena Beretta

Publications and source records attributed to Elena Beretta.

At least 37 records · Page 2Linked to original sources

On an elastic model arising from volcanology: an analysis of the direct and inverse problem

In this paper we investigate a mathematical model arising from volcanology describing surface deformation effects generated by a magma chamber embedded into Earth's interior and exerting on it a uniform hydrostatic pressure. The modeling assumptions translate mathematically into a Neumann boundary value problem for the classical Lamé system in a half-space with an embedded pressurized cavity. We establish well-posedness of the problem in suitable weighted Sobolev spaces and analyse the inverse problem of determining the pressurized cavity from partial measurements of the displacement field proving uniqueness and stability estimates.

math.AP↗

Lipschitz stable determination of polygonal conductivity inclusions in a layered medium from the Dirichlet to Neumann map

Using a distributed representation formula of the Gateaux derivative of the Dirichlet to Neumann map with respect to movements of a polygonal conductivity inclusion, [11], we extend the results obtained in [8] proving global Lipschitz stability for the determination of a polygonal conductivity inclusion embedded in a layered medium from knowledge of the Dirichlet to Neumann map.

math.AP↗

Mortality containment vs. economics opening: optimal policies in a SEIARD model

We adapt a SEIRD differential model with asymptomatic population and Covid deaths, which we call SEAIRD, to simulate the evolution of COVID-19, and add a control function affecting both the diffusion of the virus and GDP, featuring all direct and indirect containment policies; to model feasibility, the control is assumed to be a piece-wise linear function satisfying additional constraints. We describe the joint dynamics of infection and the economy and discuss the trade-off between production and fatalities. In particular, we carefully study the conditions for the existence of the optimal policy response and its uniqueness. Uniqueness crucially depends on the marginal rate of substitution between the statistical value of a human life and GDP; we show an example with a phase transition: above a certain threshold, there is a unique optimal containment policy; below the threshold, it is optimal to abstain from any containment; and at the threshold itself there are two optimal policies. We then explore and evaluate various profiles of various control policies dependent on a small number of parameters.

physics.soc-ph↗

Asymptotic Expansions for Higher Order Elliptic Equations with an Application to Quantitative Photoacoustic Tomography

In this paper, we derive new asymptotic expansions for the solutions of higher order elliptic equations in the presence of small inclusions. As a byproduct, we derive a topological derivative based algorithm for the reconstruction of piecewise smooth functions. This algorithm can be used for edge detection in imaging, topological optimization, and for inverse problems, such as Quantitative Photoacoustic Tomography, for which we demonstrate the effectiveness of our asymptotic expansion method numerically.

math.AP↗

Analysis of a model of elastic dislocations in geophysics

We analyze a mathematical model of elastic dislocations with applications to geophysics, where by an elastic dislocation we mean an open, oriented Lipschitz surface in the interior of an elastic solid, across which there is a discontinuity of the displacement. We model the Earth as an infinite, isotropic, inhomogeneous, elastic medium occupying a half space, and assume only Lipschitz continuity of the Lamé parameters. We study the well posedness of very weak solutions to the forward problem of determining the displacement by imposing traction-free boundary conditions at the surface, continuity of the traction and a given jump on the displacement across the fault. We employ suitable weighted Sobolev spaces for the analysis. We utilize the well posedness of the forward problem and unique-continuation arguments to establish uniqueness in the inverse problem of determining the dislocation surface and the displacement jump from measuring the displacement at the surface of the Earth. Uniqueness holds for tangential or normal jumps and under some geometric conditions on the surface.

math.AP↗

On the determination of ischemic regions in the monodomain model of cardiac electrophysiology from boundary measurements

In this paper we consider the monodomain model of cardiac electrophysiology. After an analysis of the well-posedness of the model, we determine an asymptotic expansion of the perturbed potential due to the presence of small conductivity inhomogeneities (modeling small ischemic regions in the cardiac tissue) and use it to detect the anomalies from partial boundary measurements. This is done by determining the topological gradient of a suitable boundary misfit functional. The robustness of the algorithm is confirmed by several numerical experiments.

math.AP↗

The invisible power of fairness. How machine learning shapes democracy

Many machine learning systems make extensive use of large amounts of data regarding human behaviors. Several researchers have found various discriminatory practices related to the use of human-related machine learning systems, for example in the field of criminal justice, credit scoring and advertising. Fair machine learning is therefore emerging as a new field of study to mitigate biases that are inadvertently incorporated into algorithms. Data scientists and computer engineers are making various efforts to provide definitions of fairness. In this paper, we provide an overview of the most widespread definitions of fairness in the field of machine learning, arguing that the ideas highlighting each formalization are closely related to different ideas of justice and to different interpretations of democracy embedded in our culture. This work intends to analyze the definitions of fairness that have been proposed to date to interpret the underlying criteria and to relate them to different ideas of democracy.

cs.LG↗

A transmission problem on a polygonal partition: regularity and shape differentiability

We consider a transmission problem on a polygonal partition for the two-dimensional conductivity equation. For suitable classes of partitions we establish the exact behaviour of the gradient of solutions in a neighbourhood of the vertexes of the partition. This allows to prove shape differentiability of solutions and to establish an explicit formula for the shape derivative.

math.AP↗

A phase-field approach for the interface reconstruction in a nonlinear elliptic problem arising from cardiac electrophysiology

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 $Γ$-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èchet 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.

math.AP↗

Reconstruction of a piecewise constant conductivity on a polygonal partition via shape optimization in EIT

In this paper, we develop a shape optimization-based algorithm for the electrical impedance tomography (EIT) problem of determining a piecewise constant conductivity on a polygonal partition from boundary measurements. The key tool is to use a distributed shape derivative of a suitable cost functional with respect to movements of the partition. Numerical simulations showing the robustness and accuracy of the method are presented for simulated test cases in two dimensions.

math.AP↗

On the inverse problem of detecting cardiac ischemias: theoretical analysis and numerical reconstruction

In this paper we develop theoretical analysis and numerical reconstruction techniques for the solution of an inverse boundary value problem dealing with the nonlinear, time-dependent monodomain equation, which models the evolution of the electric potential in the myocardial tissue. The goal is the detection of a small inhomogeneity $ω_\varepsilon$ (where the coefficients of the equation are altered) located inside a domain $Ω$ starting from observations of the potential on the boundary $\partial Ω$. Such a problem is related to the detection of myocardial ischemic regions, characterized by severely reduced blood perfusion and consequent lack of electric conductivity. In the first part of the paper we provide an asymptotic formula for electric potential perturbations caused by internal conductivity inhomogeneities of low volume fraction, extending the results published in [7] to the case of three-dimensional, parabolic problems. In the second part we implement a reconstruction procedure based on the topological gradient of a suitable cost functional. Numerical results obtained on an idealized three-dimensional left ventricle geometry for different measurement settings assess the feasibility and robustness of the algorithm.

math.AP↗

Inverse boundary value problem for the Helmholtz equation: quantitative conditional Lipschitz stability estimates

We study the inverse boundary value problem for the Helmholtz equation using the Dirichlet-to-Neumann map at selected frequencies as the data. A conditional Lipschitz stability estimate for the inverse problem holds in the case of wavespeeds that are a linear combination of piecewise constant functions (following a domain partition) and gives a framework in which the scheme converges. The stability constant grows exponentially as the number of subdomains in the domain partition increases. We establish an order optimal upper bound for the stability constant. We eventually realize computational experiments to demonstrate the stability constant evolution for three dimensional wavespeed reconstruction.

math.AP↗

Analysis of a Mogi-type model describing surface deformations induced by a magma chamber embedded in an elastic half-space

Motivated by a vulcanological problem, we establish a sound mathematical approach for surface deformation effects generated by a magma chamber embedded into Earth's interior and exerting on it a uniform hydrostatic pressure. Modeling assumptions translate the problem into classical elasto-static system (homogeneous and isotropic) in an half-space with an embedded cavity. The boundary conditions are traction-free for the air/crust boundary and uniformly hydrostatic for the crust/chamber boundary. These are complemented with zero-displacement condition at infinity (with decay rate). After a short presentation of the model and of its geophysical interest, we establish the well-posedness of the problem and provide an appropriate integral formulation for its solution for cavity with general shape. Based on that, assuming that the chamber is centred at some fixed point $\bm{z}$ and has diameter $\varepsilon>0$, small with respect to the depth $d$, we derive rigorously the principal term in the asymptotic expansion for the surface deformation as $\varepsilon=r/d\to 0^+$. Such formula provides a rigorous proof of the Mogi point source model in the case of spherical cavities generalizing it to the case of cavities of arbitrary shape.

math.AP↗

A reconstruction algorithm based on topological gradient for an inverse problem related to a semilinear elliptic boundary value problem

In this paper we develop a reconstruction algorithm for the solution of an inverse boundary value problem dealing with a semilinear elliptic partial differential equation of interest in cardiac electrophysiology. The goal is the detection of small inhomogeneities located inside a domain $Ω$, where the coefficients of the equation are altered, starting from observations of the solution of the equation on the boundary $\partial Ω$. Exploiting theoretical results recently achieved in [11], we implement a reconstruction procedure based on the computation of the topological gradient of a suitable cost functional. Numerical results obtained for several test cases finally assess the feasibility and the accuracy of the proposed technique.

math.AP↗

A variational method for quantitative photoacoustic tomography with piecewise constant coefficients

In this article, we consider the inverse problem of determining spatially heterogeneous absorption and diffusion coefficients from a single measurement of the absorbed energy (in the steady-state diffusion approximation of light transfer). This problem, which is central in quantitative photoacoustic tomography, is in general ill-posed since it admits an infinite number of solution pairs. We show that when the coefficients are known to be piecewise constant functions, a unique solution can be obtained. For the numerical determination of the coefficients, we suggest a variational method based based on an Ambrosio-Tortorelli-approximation of a Mumford-Shah-like functional, which we implemented numerically and tested on simulated two-dimensional data.

math.AP↗

Asymptotic Expansion for Harmonic Functions in the Half-Space with a Pressurized Cavity

In this paper, we address a simplified version of a problem arising from volcanology. Specifically, as reduced form of the boundary value problem for the Lamé system, we consider a Neumann problem for harmonic functions in the half-space with a cavity $C$. Zero normal derivative is assumed at the boundary of the half-space; differently, at $\partial C$, the normal derivative of the function is required to be given by an external datum $g$, corresponding to a pressure term exerted on the medium at $\partial C$. Under the assumption that the (pressurized) cavity is small with respect to the distance from the boundary of the half-space, we establish an asymptotic formula for the solution of the problem. Main ingredients are integral equation formulations of the harmonic solution of the Neumann problem and a spectral analysis of the integral operators involved in the problem. In the special case of a datum $g$ which describes a constant pressure at $\partial C$, we recover a simplified representation based on a polarization tensor.

math.AP↗

On a semilinear elliptic boundary value problem arising in cardiac electrophysiology

In this paper we provide a representation formula for boundary voltage perturbations caused by internal conductivity inhomogeneities of low volume fraction in a simplified {\em monodomain model} describing the electric activity of the heart. We derive such a result in the case of a nonlinear problem. Our long-term goal is the solution of the inverse problem related to the detection of regions affected by heart ischemic disease, whose position and size are unknown. We model the presence of ischemic regions in the form of small inhomogeneities. This leads to the study of a boundary value problem for a semilinear elliptic equation. We first analyze the well-posedness of the problem establishing some key energy estimates. These allow us to derive rigorously an asymptotic formula of the boundary potential perturbation due to the presence of the inhomogeneities, following an approach similar to the one introduced by Capdeboscq and Vogelius in \cite{capvoge} in the case of the linear conductivity equation. Finally, we propose some ideas of the reconstruction procedure that might be used to detect the inhomogeneities.

math.AP↗