-
Asymptotics for the magnetic Dirichlet-to-Neumann eigenvalues in general domains
Authors:
Bernard Helffer,
Ayman Kachmar,
Francois Nicoleau
Abstract:
Inspired by a paper by T. Chakradhar, K. Gittins, G. Habib and N. Peyerimhoff, we analyze their conjecture that the ground state energy of the magnetic Dirichlet-to-Neumann operator tends to infinity as the magnetic field tends to infinity. More precisely, we prove refined conjectures for general two dimensional domains, based on the analysis in the case of the half-plane and the disk by two of us…
▽ More
Inspired by a paper by T. Chakradhar, K. Gittins, G. Habib and N. Peyerimhoff, we analyze their conjecture that the ground state energy of the magnetic Dirichlet-to-Neumann operator tends to infinity as the magnetic field tends to infinity. More precisely, we prove refined conjectures for general two dimensional domains, based on the analysis in the case of the half-plane and the disk by two of us (B.H. and F.N.). We also extend our analysis to the three dimensional case, and explore a connection with the eigenvalue asymptotics of the magnetic Robin Laplacian.
△ Less
Submitted 13 January, 2025; v1 submitted 1 January, 2025;
originally announced January 2025.
-
Trace formulas for the magnetic Laplacian and Dirichlet to Neumann operator -- Explicit expansions --
Authors:
Bernard Helffer,
François Nicoleau
Abstract:
Inspired by a recent paper of G. Liu and X. Tan (2023), we would like to measure how the magnetic effect appears in the heat trace formula associated with the magnetic Laplacian and the magnetic Dirichlet-to-Neumann operator. We propose to the reader an overview of magnetic heat trace formulas through explicit examples. On the way we obtain new formulas and in particular we calculate explicitely s…
▽ More
Inspired by a recent paper of G. Liu and X. Tan (2023), we would like to measure how the magnetic effect appears in the heat trace formula associated with the magnetic Laplacian and the magnetic Dirichlet-to-Neumann operator. We propose to the reader an overview of magnetic heat trace formulas through explicit examples. On the way we obtain new formulas and in particular we calculate explicitely some non local terms and logarithmic terms appearing in the Steklov heat trace asymptotics.
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
Global counterexamples to uniqueness for a Calderón problem with $C^k$ conductivities
Authors:
Thierry Daudé,
Bernard Helffer,
Niky Kamran,
François Nicoleau
Abstract:
Let $Ω\subset R^n$, $n \geq 3$, be a fixed smooth bounded domain, and let $γ$ be a smooth conductivity in $\overlineΩ$. Consider a non-zero frequency $λ_0$ which does not belong to the Dirichlet spectrum of $L_γ= -{\rm div} (γ\nabla \cdot)$. Then, for all $k \geq 1$, there exists an infinite number of pairs of non-isometric $C^k$ conductivities $(γ_1, γ_2)$ on $\overlineΩ$, which are close to $γ$…
▽ More
Let $Ω\subset R^n$, $n \geq 3$, be a fixed smooth bounded domain, and let $γ$ be a smooth conductivity in $\overlineΩ$. Consider a non-zero frequency $λ_0$ which does not belong to the Dirichlet spectrum of $L_γ= -{\rm div} (γ\nabla \cdot)$. Then, for all $k \geq 1$, there exists an infinite number of pairs of non-isometric $C^k$ conductivities $(γ_1, γ_2)$ on $\overlineΩ$, which are close to $γ$ such that the associated DN maps at frequency $λ_0$ satisfy \begin{equation*}
Λ_{γ_1,λ_0} = Λ_{γ_2,λ_0}. \end{equation*}
△ Less
Submitted 12 July, 2024; v1 submitted 20 June, 2024;
originally announced June 2024.
-
Stable factorization of the Calderón problem via the Born approximation
Authors:
Thierry Daudé,
Fabricio Macià,
Cristóbal J. Meroño,
François Nicoleau
Abstract:
In this article we prove the existence of the Born approximation in the context of the radial Calderón problem for Schrödinger operators. This is the inverse problem of recovering a radial potential on the unit ball from the knowledge of the Dirichlet-to-Neumann map (DtN map from now on) of the corresponding Schrödinger operator. The Born approximation naturally appears as the linear component of…
▽ More
In this article we prove the existence of the Born approximation in the context of the radial Calderón problem for Schrödinger operators. This is the inverse problem of recovering a radial potential on the unit ball from the knowledge of the Dirichlet-to-Neumann map (DtN map from now on) of the corresponding Schrödinger operator. The Born approximation naturally appears as the linear component of a factorization of the Calderón problem; we show that the non-linear part, obtaining the potential from the Born approximation, enjoys several interesting properties. First, this map is local, in the sense that knowledge of the Born approximation in a neighborhood of the boundary is equivalent to knowledge of the potential in the same neighborhood, and, second, it is Hölder stable. This shows in particular that the ill-posedness of the Calderón problem arises solely from the linear step, which consists in computing the Born approximation from the DtN map by solving a Hausdorff moment problem. Moreover, we present an effective algorithm to compute the potential from the Born approximation and show a result on reconstruction of singularities. Finally, we use the Born approximation to obtain a partial characterization of the set of DtN maps for radial potentials. The proofs of these results do not make use of Complex Geometric Optics solutions or its analogues; they are based on results on inverse spectral theory for Schrödinger operators on the half-line, in particular on the concept of $A$-amplitude introduced by Barry Simon.
△ Less
Submitted 9 February, 2024;
originally announced February 2024.
-
Local Hölder Stability in the Inverse Steklov and Calderón Problems for Radial Schrödinger operators and Quantified Resonances
Authors:
Thierry Daudé,
Niky Kamran,
François Nicoleau
Abstract:
We obtain Hölder stability estimates for the inverse Steklov and Calderón problems for Schrödinger operators corresponding to a special class of $L^2$ radial potentials on the unit ball. These results provide an improvement on earlier logarithmic stability estimates obtained in \cite{DKN5} in the case of the the Schrödinger operators related to deformations of the closed Euclidean unit ball. The m…
▽ More
We obtain Hölder stability estimates for the inverse Steklov and Calderón problems for Schrödinger operators corresponding to a special class of $L^2$ radial potentials on the unit ball. These results provide an improvement on earlier logarithmic stability estimates obtained in \cite{DKN5} in the case of the the Schrödinger operators related to deformations of the closed Euclidean unit ball. The main tools involve: i) A formula relating the difference of the Steklov spectra of the Schrödinger operators associated to the original and perturbed potential to the Laplace transform of the difference of the corresponding amplitude functions introduced by Simon \cite{Si1} in his representation formula for the Weyl-Titchmarsh function, and ii) A key moment stability estimate due to Still \cite{St}. It is noteworthy that with respect to the original Schrödinger operator, the type of perturbation being considered for the amplitude function amounts to the introduction of a finite number of negative eigenvalues and of a countable set of negative resonances which are quantified explicitly in terms of the eigenvalues of the Laplace-Beltrami operator on the boundary sphere.
△ Less
Submitted 24 November, 2023; v1 submitted 6 December, 2022;
originally announced December 2022.
-
Exponential localization of Steklov eigenfunctions on warped product manifolds: the flea on the elephant phenomenon
Authors:
Thierry Daudé,
Bernard Helffer,
François Nicoleau
Abstract:
This paper is devoted to the analysis of Steklov eigenvalues and Steklov eigenfunctions on a class of warped product Riemannian manifolds $(M,g)$ whose boundary $\partial M$ consists in two distinct connected components $Γ_0$ and $Γ_1$. First, we show that the Steklov eigenvalues can be divided into two families $(λ_m^\pm)_{m \geq 0}$ which satisfy accurate asymptotics as $m \to \infty$. Second, w…
▽ More
This paper is devoted to the analysis of Steklov eigenvalues and Steklov eigenfunctions on a class of warped product Riemannian manifolds $(M,g)$ whose boundary $\partial M$ consists in two distinct connected components $Γ_0$ and $Γ_1$. First, we show that the Steklov eigenvalues can be divided into two families $(λ_m^\pm)_{m \geq 0}$ which satisfy accurate asymptotics as $m \to \infty$. Second, we consider the associated Steklov eigenfunctions which are the harmonic extensions of the boundary Dirichlet to Neumann eigenfunctions. In the case of symmetric warped product, we prove that the Steklov eigenfunctions are exponentially localized on the whole boundary $\partial M$ as $m \to \infty$. Whenever we add an asymmetric perturbation to a symmetric warped product, we observe a flea on the elephant effect. Roughly speaking, we prove that "half" the Steklov eigenfunctions are exponentially localized on one connected component of the boundary, say $Γ_0$, and the other half on the other connected component $Γ_1$ as $m \to \infty$.
△ Less
Submitted 25 March, 2021;
originally announced March 2021.
-
The anisotropic Calder{ó}n problem on 3-dimensional conformally St{ä}ckel manifolds
Authors:
Thierry Daudé,
Niky Kamran,
François Nicoleau
Abstract:
Conformally St{ä}ckel manifolds can be characterized as the class of n-dimensional pseudo-Riemannian manifolds (M, G) on which the Hamilton-Jacobi equation G($\nabla$u, $\nabla$u) = 0 for null geodesics and the Laplace equation --$Δ$ G $ψ$ = 0 are solvable by R-separation of variables. In the particular case in which the metric has Riemannian signature, they provide explicit examples of metrics ad…
▽ More
Conformally St{ä}ckel manifolds can be characterized as the class of n-dimensional pseudo-Riemannian manifolds (M, G) on which the Hamilton-Jacobi equation G($\nabla$u, $\nabla$u) = 0 for null geodesics and the Laplace equation --$Δ$ G $ψ$ = 0 are solvable by R-separation of variables. In the particular case in which the metric has Riemannian signature, they provide explicit examples of metrics admitting a set of n--1 commuting conformal symmetry operators for the Laplace-Beltrami operator $Δ$ G. In this paper, we solve the anisotropic Calder{ó}n problem on compact 3-dimensional Riemannian manifolds with boundary which are conformally St{ä}ckel, that is we show that the metric of such manifolds is uniquely determined by the Dirichlet-to-Neumann map measured on the boundary of the manifold, up to dieomorphims that preserve the boundary.
△ Less
Submitted 4 September, 2019;
originally announced September 2019.
-
On non-uniqueness for the anisotropic Calder{ó}n problem with partial data
Authors:
Thierry Daudé,
Niky Kamran,
François Nicoleau
Abstract:
We show that there is non-uniqueness for the Calder{ó}n problem with partial data for Riemannian metrics with H{ö}lder continuous coefficients in dimension greater or equal than three. We provide simple counterexamples in the case of cylindrical Riemannian manifolds with boundary having two ends. The coefficients of these metrics are smooth in the interior of the manifold and are only H{ö}lder con…
▽ More
We show that there is non-uniqueness for the Calder{ó}n problem with partial data for Riemannian metrics with H{ö}lder continuous coefficients in dimension greater or equal than three. We provide simple counterexamples in the case of cylindrical Riemannian manifolds with boundary having two ends. The coefficients of these metrics are smooth in the interior of the manifold and are only H{ö}lder continuous of order $$ρ$\<1$ at the end where the measurements are made. More precisely, we construct a toroidal ring $(M, g)$ which is not a warped product manifold, and we show that there exist in the conformal class of g an infinite number of Riemannian $\tilde{g} = c^4 g such that their corresponding partial Dirichlet-to-Neumann maps at one end coincide. The corresponding smooth conformal factors are harmonic with respect to the metric g and do not satisfy the unique continuation principle.
△ Less
Submitted 1 April, 2019; v1 submitted 29 January, 2019;
originally announced January 2019.
-
Stability in the inverse Steklov problem on warped product Riemannian manifolds
Authors:
Thierry Daudé,
Niky Kamran,
François Nicoleau
Abstract:
In this paper, we study the amount of information contained in the Steklov spectrum of some compact manifolds with connected boundary equipped with a warped product metric. Examples of such manifolds can be thought of as deformed balls in R^d. We first prove that the Steklov spectrum determines uniquely the warping function of the metric. We show in fact that the approximate knowledge (in a given…
▽ More
In this paper, we study the amount of information contained in the Steklov spectrum of some compact manifolds with connected boundary equipped with a warped product metric. Examples of such manifolds can be thought of as deformed balls in R^d. We first prove that the Steklov spectrum determines uniquely the warping function of the metric. We show in fact that the approximate knowledge (in a given precise sense) of the Steklov spectrum is enough to determine uniquely the warping function in a neighbourhood of the boundary. Second, we provide stability estimates of log-type on the warping function from the Steklov spectrum. The key element of these stability results relies on a formula that, roughly speaking, connects the inverse data (the Steklov spectrum) to the Laplace transform of the difference of the two warping factors.
△ Less
Submitted 18 December, 2018;
originally announced December 2018.
-
Scattering matrices for dissipative quantum systems
Authors:
Jérémy Faupin,
Francois Nicoleau
Abstract:
We consider a quantum system S interacting with another system S and susceptible of being absorbed by S. The effective, dissipative dynamics of S is supposed to be generated by an abstract pseudo-Hamiltonian of the form H = H0 + V -- iC * C. The generator of the free dynamics, H0, is self-adjoint, V is symmetric and C is bounded. We study the scattering theory for the pair of operators (H, H0). We…
▽ More
We consider a quantum system S interacting with another system S and susceptible of being absorbed by S. The effective, dissipative dynamics of S is supposed to be generated by an abstract pseudo-Hamiltonian of the form H = H0 + V -- iC * C. The generator of the free dynamics, H0, is self-adjoint, V is symmetric and C is bounded. We study the scattering theory for the pair of operators (H, H0). We establish a representation formula for the scattering matrices and identify a necessary and sufficient condition to their invertibility. This condition rests on a suitable notion of spectral singularity. Our main application is the nuclear optical model, where H is a dissipative Schr{ö}dinger operator and spectral singularities correspond to real resonances.
△ Less
Submitted 28 August, 2018;
originally announced August 2018.
-
The anisotropic Calder{ó}n problem for singular metrics of warped product type: the borderline between uniqueness and invisibility
Authors:
Thierry Daude,
Niky Kamran,
Francois Nicoleau
Abstract:
In this paper, we investigate the anisotropic Calder{ó}n problem on cylindrical Riemannian manifolds with boundary having two ends and equipped with singular metrics of (simple or double) warped product type, that is whose warping factors only depend on the horizontal direction of the cylinder. By singular, we mean that these factors are only assumed to be positive almost everywhere and to belong…
▽ More
In this paper, we investigate the anisotropic Calder{ó}n problem on cylindrical Riemannian manifolds with boundary having two ends and equipped with singular metrics of (simple or double) warped product type, that is whose warping factors only depend on the horizontal direction of the cylinder. By singular, we mean that these factors are only assumed to be positive almost everywhere and to belong to some L p space with 0 < p $\le$ $\infty$. Using recent developments on the Weyl-Titchmarsh theory for singular Sturm-Liouville operators, we prove that the local Dirichlet-to-Neumann maps at each end are well defined and determine the metric uniquely if: 1. (Doubly warped product case) the coefficients of the metric are L $\infty$ and bounded from below by a positive constant. 2. (Warped product case) the coefficients of the metrics belong to a critical L p space where p < $\infty$ depends on the dimension of the compact fibers of the cylinder. Finally, we show (in the warped product case and for zero frequency) that these uniqueness results are sharp by giving simple counterexamples for a class of singular metrics whose coefficients do not belong to the critical L p space. All these counterexamples lead to a region of space that is invisible to boundary measurements.
△ Less
Submitted 15 May, 2018;
originally announced May 2018.
-
A survey of non-uniqueness results for the anisotropic Calder{ó}n problem with disjoint data
Authors:
Thierry Daudé,
Niky Kamran,
François Nicoleau
Abstract:
After giving a general introduction to the main known results on the anisotropic Calder{ó}n problem on n-dimensional compact Riemannian manifolds with boundary, we give a motivated review of some recent non-uniqueness results obtained in [5, 6] for the anisotropic Calder{ó}n problem at fixed frequency, in dimension n $\ge$ 3, when the Dirichlet and Neumann data are measured on disjoint subsets of…
▽ More
After giving a general introduction to the main known results on the anisotropic Calder{ó}n problem on n-dimensional compact Riemannian manifolds with boundary, we give a motivated review of some recent non-uniqueness results obtained in [5, 6] for the anisotropic Calder{ó}n problem at fixed frequency, in dimension n $\ge$ 3, when the Dirichlet and Neumann data are measured on disjoint subsets of the boundary. These non-uniqueness results are of the following nature: given a smooth compact connected Riemannian manifold with boundary (M, g) of dimension n $\ge$ 3, we first show that there exist in the conformal class of g an infinite number of Riemannian metrics gmetrics metrics g such that their corresponding Dirichlet-to-Neumann maps at a fixed frequency coincide when the Dirichlet data $Γ$D and Neumann data $Γ$N are measured on disjoint sets and satisfy $Γ$D $\cup$ $Γ$N = $\partial$M. The corresponding conformal factors satisfy a nonlinear elliptic PDE of Yamabe type on (M, g) and arise from a natural but subtle gauge invariance of the Calder{ó}n when the data are given on disjoint sets. We then present counterexamples to uniqueness in dimension n $\ge$ 3 to the anisotropic Calder{ó}n problem at fixed frequency with data on disjoint sets, which do not arise from this gauge invariance. They are given by cylindrical Riemannian manifolds with boundary having two ends, equipped with a suitably chosen warped product metric. This survey concludes with some remarks on the case of manifolds with corners.
△ Less
Submitted 1 March, 2018;
originally announced March 2018.
-
On the hidden mechanism behind non-uniqueness for the anisotropic Calder{ó}n problem with data on disjoint sets
Authors:
Thierry Daudé,
Niky Kamran,
Francois Nicoleau
Abstract:
We show that there is generically non-uniqueness for the anisotropic Calderón problem at fixed frequency when the Dirichlet and Neumann data are measured on disjoint sets of the boundary of a given domain. More precisely, we first show that given a smooth compact connected Riemannian manifold with boundary $(M,g)$ of dimension $n\geq 3$, there exist in the conformal class of $g$ an infinite number…
▽ More
We show that there is generically non-uniqueness for the anisotropic Calderón problem at fixed frequency when the Dirichlet and Neumann data are measured on disjoint sets of the boundary of a given domain. More precisely, we first show that given a smooth compact connected Riemannian manifold with boundary $(M,g)$ of dimension $n\geq 3$, there exist in the conformal class of $g$ an infinite number of Riemannian metrics $\tilde{g}$ such that their corresponding DN maps at a fixed frequency coincide when the Dirichlet data $Γ_D$ and Neumann data $Γ_N$ are measured on disjoint sets and satisfy $\overline{Γ_D \cup Γ_N} \ne \partial M$. The conformal factors that lead to these non-uniqueness results for the anisotropic Calderón problem satisfy a nonlinear elliptic PDE of Yamabe type on the original manifold $(M,g)$ and are associated to a natural but subtle gauge invariance of the anisotropic Calderón problem with data on disjoint sets. We then construct a large class of counterexamples to uniqueness in dimension $n\geq 3$ to the anisotropic Calderón problem at fixed frequency with data on disjoint sets and \emph{modulo this gauge invariance}. This class consists in cylindrical Riemannian manifolds with boundary having two ends (meaning that the boundary has two connected components), equipped with a suitably chosen warped product metric.
△ Less
Submitted 26 June, 2017; v1 submitted 31 January, 2017;
originally announced January 2017.
-
Does Levinson's theorem count complex eigenvalues ?
Authors:
F. Nicoleau,
D. Parra,
S. Richard
Abstract:
Yes it does ! Indeed an extended version of Levinson's theorem is proposed for a system involving complex eigenvalues. The perturbed system corresponds to a realization of the Schroedinger operator with inverse square potential on the half-line, while the Dirichlet Laplacian on the half-line is chosen for the reference system. The resulting relation is an equality between the number of eigenvalues…
▽ More
Yes it does ! Indeed an extended version of Levinson's theorem is proposed for a system involving complex eigenvalues. The perturbed system corresponds to a realization of the Schroedinger operator with inverse square potential on the half-line, while the Dirichlet Laplacian on the half-line is chosen for the reference system. The resulting relation is an equality between the number of eigenvalues of the perturbed system and the winding number of the scattering system together with additional operators living at 0-energy and at infinite energy.
△ Less
Submitted 15 November, 2016;
originally announced November 2016.
-
Non-uniqueness results for the anisotropic Calderon problem with data measured on disjoint sets
Authors:
Thierry Daudé,
Niky Kamran,
Francois Nicoleau
Abstract:
In this paper, we give some simple counterexamples to uniqueness for the Calderon problem on Riemannian manifolds with boundary when the Dirichlet and Neumann data are measured on disjoint sets of the boundary. We provide counterexamples in the case of two and three dimensional Riemannian manifolds with boundary having the topology of circular cylinders in dimension two and toric cylinders in dime…
▽ More
In this paper, we give some simple counterexamples to uniqueness for the Calderon problem on Riemannian manifolds with boundary when the Dirichlet and Neumann data are measured on disjoint sets of the boundary. We provide counterexamples in the case of two and three dimensional Riemannian manifolds with boundary having the topology of circular cylinders in dimension two and toric cylinders in dimension three. The construction could be easily extended to higher dimensional Riemannian manifolds.
△ Less
Submitted 22 October, 2015;
originally announced October 2015.
-
A new Levinson's theorem for potentials with critical decay
Authors:
Xiaoyao Jia,
François Nicoleau,
Xue Ping Wang
Abstract:
We study the low-energy asymptotics of the spectral shift function for Schrödinger operators with potentials decaying like $O(\frac{1}{|x|^2})$. We prove a generalized Levinson's for this class of potentials in presence of zero eigenvalue and zero resonance.
We study the low-energy asymptotics of the spectral shift function for Schrödinger operators with potentials decaying like $O(\frac{1}{|x|^2})$. We prove a generalized Levinson's for this class of potentials in presence of zero eigenvalue and zero resonance.
△ Less
Submitted 9 July, 2010;
originally announced July 2010.
