Searcharxiv⌕ Search

arXiv subjects

Luca Rondi

Publications and source records attributed to Luca Rondi.

At least 19 recordsLinked to original sources
arXiv2026

Discretization and regularization for the reconstruction of inhomogeneities by scattering measurements

We consider the inverse problem of reconstructing inhomogeneities by performing a finite number of scattering measurements of acoustic type in the time-harmonic setting. We set up the reconstruction as a fully discrete variational problem with regularization. Such a problem depends on a variety of parameters, that is, the number of measurements, the regularization parameter and the discretization parameter, namely the size of the mesh on which we discretize the unknown coefficients of the Helmholtz type equation modelling our physical system. We show, through a convergence analysis, that one can carefully choose these parameters in such a way that the solution to this discrete regularized minimum problem is a good approximation of the looked-for solution to the inverse problem.

math.AP↗
arXiv2025

Nonlocal anisotropic Riesz interactions with a physical confinement

In this work we fully characterize, in any space dimension, the minimizer of a class of nonlocal and anisotropic Riesz energies defined over probability measures supported on ellipsoids. In the super-Coulombic and Coulombic regime, we prove that the minimizer is independent of the anisotropy. In contrast, in the sub-Coulombic regime we show that this property fails: we exhibit an example of anisotropy for which the isotropic minimizer is not optimal. In order to prove our main result, we provide a formula for the potential inside an ellipsoid, valid in any space dimension and involving the hypergeometric function.

math.AP↗
arXiv2025

On the optimality of convergence conditions for multiscale decompositions in imaging and inverse problems

We consider the multiscale procedure developed by Modin, Nachman and Rondi, Adv. Math. (2019), for inverse problems, which was inspired by the multiscale decomposition of images by Tadmor, Nezzar and Vese, Multiscale Model. Simul. (2004). We investigate under which assumptions this classical procedure is enough to have convergence in the unknowns space without resorting to use the tighter multiscale procedure from the same paper. We show that this is the case for linear inverse problems when the regularization is given by the norm of a Hilbert space. Moreover, in this setting the multiscale procedure improves the stability of the reconstruction. On the other hand, we show that, for the classical multiscale procedure, convergence in the unknowns space might fail even for the linear case with a Banach norm as regularization.

math.NA↗
arXiv2025

A counterexample to convergence for multiscale decompositions

We discuss the convergence of the multiscale procedure by Modin, Nachman and Rondi, Adv. Math. (2019), which extended to inverse problems the multiscale decomposition of images by Tadmor, Nezzar and Vese, Multiscale Model. Simul. (2004). We show that, for the classical multiscale procedure, the multiscale decomposition might fail even for the linear case with a Banach norm as regularization.

math.NA↗
arXiv2023

On unique determination of polyhedral sets

In this paper we develop in detail the geometric constructions that lead to many uniqueness results for the determination of polyhedral sets, typically scatterers, by a finite minimal number of measurements. We highlight how unique continuation and a suitable reflection principle are enough to proceed with the constructions, without any other assumption on the underlying partial differential equation or the boundary condition. We also aim to keep the geometric constructions and their proofs as simple as possible. To illustrate the applicability of this theory, we show how several uniqueness results present in the literature immediately follow from our arguments. Indeed we believe that this theory may serve as a roadmap for establishing similar uniqueness results for other partial differential equations or boundary conditions.

math.AP↗
arXiv2022

Explicit minimisers for anisotropic Coulomb energies in 3D

In this paper we consider a general class of anisotropic energies in three dimensions and give a complete characterisation of their minimisers. We show that, depending on the Fourier transform of the interaction potential, the minimiser is either the normalised characteristic function of an ellipsoid or a measure supported on a two-dimensional ellipse. In particular, it is always an ellipsoid if the transform is strictly positive, while when the Fourier transform is degenerate both cases can occur. Finally, we show an explicit example where loss of dimensionality of the minimiser does occur.

math.AP↗
arXiv2022

Mosco convergence of Sobolev spaces and Sobolev inequalities for nonsmooth domains

We find extremely general classes of nonsmooth open sets which guarantee Mosco convergence for corresponding Sobolev spaces and the validity of Sobolev inequalities with a uniform constant. An important feature of our results is that the conditions we impose on the open sets for Mosco convergence and for the Sobolev inequalities are of the same nature, therefore it is easy to check when both are satisfied. Our analysis is motivated, in particular, by the study of the stability of the direct acoustic scattering problem with respect to the scatterer, which we also discuss. Concerning Mosco convergence in dimension 3 or higher, our result extends all those previously known in the literature. Concerning Sobolev inequalities, our approach seems to be new and considerably simplifies the conditions previously required for the stability of acoustic direct scattering problems.

math.AP↗
arXiv2021

Stability of ellipsoids as the energy minimisers of perturbed Coulomb energies

In this paper we characterise the minimiser for a class of nonlocal perturbations of the Coulomb energy. We show that the minimiser is the normalised characteristic function of an ellipsoid, under the assumption that the perturbation kernel has the same homogeneity as the Coulomb potential, is even, smooth off the origin and sufficiently small. This result can be seen as the stability of ellipsoids as energy minimisers, since the minimiser of the Coulomb energy is the normalised characteristic function of a ball.

math.AP↗
arXiv2021

Full discretization and regularization for the Calderón problem

We consider the inverse conductivity problem with discontinuous conductivities. We show in a rigorous way, by a convergence analysis, that one can construct a completely discrete minimization problem whose solution is a good approximation of a solution to the inverse problem. The minimization problem contains a regularization term which is given by a total variation penalization and is characterized by a regularization parameter. The discretization involves at the same time the boundary measurements, by the use of the complete electrode model, the unknown conductivity and the solution to the direct problem. The electrodes are characterized by a parameter related to their size, which in turn controls the number of electrodes to be used. The discretization of the unknown and of the solution to the direct problem is characterized by another parameter related to the size of the mesh involved. In our analysis we show how to precisely choose the regularization, electrodes size and mesh size parameters with respect to the noise level in such a way that the solution to the discrete regularized problem is meaningful. In particular we obtain that the electrodes and mesh size parameters should decay polynomially with respect to the noise level.

math.AP↗
arXiv2020

Stable determination of a rigid scatterer in elastodynamics

We deal with an inverse elastic scattering problem for the shape determination of a rigid scatterer in the time-harmonic regime. We prove a local stability estimate of log log type for the identification of a scatterer by a single far-field measurement. The needed a priori condition on the closeness of the scatterers is estimated by the universal constant appearing in the Friedrichs inequality.

math.AP↗
arXiv2020

A Multiscale Theory for Image Registration and Nonlinear Inverse Problems

In an influential paper, Tadmor, Nezzar and Vese (Multiscale Model. Simul. (2004)) introduced a hierarchical decomposition of an image as a sum of constituents of different scales. Here we construct analogous hierarchical expansions for diffeomorphisms, in the context of image registration, with the sum replaced by composition of maps. We treat this as a special case of a general framework for multiscale decompositions, applicable to a wide range of imaging and nonlinear inverse problems. As a paradigmatic example of the latter, we consider the Calderón inverse conductivity problem. We prove that we can simultaneously perform a numerical reconstruction and a multiscale decomposition of the unknown conductivity, driven by the inverse problem itself. We provide novel convergence proofs which work in the general abstract settings, yet are sharp enough to settle an open problem on the hierarchical decompostion of Tadmor, Nezzar and Vese for arbitrary functions in $L^2$. We also give counterexamples that show the optimality of our general results.

math.AP↗
arXiv2019

Interior decay of solutions to elliptic equations with respect to frequencies at the boundary

We prove decay estimates in the interior for solutions to elliptic equations in divergence form with Lipschitz continuous coefficients. The estimates explicitly depend on the distance from the boundary and on suitable notions of frequency of the Dirichlet boundary datum. We show that, as the frequency at the boundary grows, the square of a suitable norm of the solution in a compact subset of the domain decays in an inversely proportional manner with respect to the corresponding frequency. Under Lipschitz regularity assumptions, these estimates are essentially optimal and they have important consequences for the choice of optimal measurements for corresponding inverse boundary value problem.

math.AP↗
arXiv2017

The equilibrium measure for a nonlocal dislocation energy

In this paper we characterise the equilibrium measure for a nonlocal and anisotropic weighted energy describing the interaction of positive dislocations in the plane. We prove that the minimum value of the energy is attained by a measure supported on the vertical axis and distributed according to the semi-circle law, a well-known measure which also arises as the minimiser of purely logarithmic interactions in one dimension. In this way we give a positive answer to the conjecture that positive dislocations tend to form vertical walls. This result is one of the few examples where the minimiser of a nonlocal energy is explicitly computed and the only one in the case of anisotropic kernels.

math.AP↗
arXiv2017

Mosco convergence for H(curl) spaces, higher integrability for Maxwell's equations, and stability in direct and inverse EM scattering problems

This paper is concerned with the scattering problem for time-harmonic electromagnetic waves, due to the presence of scatterers and of inhomogeneities in the medium. We prove a sharp stability result for the solutions to the direct electromagnetic scattering problem, with respect to variations of the scatterer and of the inhomogeneity, under minimal regularity assumptions for both of them. The stability result leads to uniform bounds on solutions to the scattering problems for an extremely general class of admissible scatterers and inhomogeneities. The uniform bounds are a key step to tackle the challenging stability issue for the corresponding inverse electromagnetic scattering problem. In this paper we establish two optimal stability results of logarithmic type for the determination of polyhedral scatterers by a minimal number of electromagnetic scattering measurements. In order to prove the stability result for the direct electromagnetic scattering problem, we study two fundamental issues in the theory of Maxwell equations: Mosco convergence for H(curl) spaces and higher integrability properties of solutions to Maxwell equations in nonsmooth domains.

math.AP↗
arXiv2017

A Friedrichs-Maz'ya inequality for functions of bounded variation

The aim of this short note is to give an alternative proof, which applies to functions of bounded variation in arbitrary domains, of an inequality by Maz'ya that improves Friedrichs inequality. A remarkable feature of such a proof is that it is rather elementary, if the basic background in the theory of functions of bounded variation is assumed. Never the less, it allows to extend all the previously known versions of this fundamental inequality to a completely general version. In fact the inequality presented here is optimal in several respects. As already observed in previous proofs, the crucial step is to provide conditions under which a function of bounded variation on a bounded open set, extended to zero outside, has bounded variation on the whole space. We push such conditions to their limits. In fact, we give a sufficient and necessary condition if the open set has a boundary with $σ$-finite surface measure and a sufficient condition if the open set is fully arbitrary. Via a counterexample we show that such a general sufficient condition is sharp.

math.AP↗
arXiv2017

Discrete approximation and regularisation for the inverse conductivity problem

We study the inverse conductivity problem with discontinuous conductivities. We consider, simultaneously, a regularisation and a discretisation for a variational approach to solve the inverse problem. We show that, under suitable choices of the regularisation and discretisation parameters, the discrete regularised solutions converge, as the noise level on the measurements goes to zero, to the looked for solution of the inverse problem.

math.AP↗
arXiv2016

Stable determination of sound-hard polyhedral scatterers by a minimal number of scattering measurements

The aim of the paper is to establish optimal stability estimates for the determination of sound-hard polyhedral scatterers in $\mathbb{R}^N$, $N \geq 2$, by a minimal number of far-field measurements. This work is a significant and highly nontrivial extension of the stability estimates for the determination of sound-soft polyhedral scatterers by far-field measurements, proved by one of the authors, to the much more challenging sound-hard case. The admissible polyhedral scatterers satisfy minimal a priori assumptions of Lipschitz type and may include at the same time solid obstacles and screen-type components. In this case we obtain a stability estimate with $N$ far-field measurements. Important features of such an estimate are that we have an explicit dependence on the parameter $h$ representing the minimal size of the cells forming the boundaries of the admissible polyhedral scatterers, and that the modulus of continuity, provided the error is small enough with respect to $h$, does not depend on $h$. If we restrict to $N=2,3$ and to polyhedral obstacles, that is to polyhedra, then we obtain stability estimates with fewer measurements, namely first with $N-1$ measurements and then with a single measurement. In this case the dependence on $h$ is not explicit anymore and the modulus of continuity depends on $h$ as well.

math.AP↗