Searcharxiv⌕ Search

arXiv subjects

Thierry Daudé

Publications and source records attributed to Thierry Daudé.

At least 19 recordsLinked to original sources

A Local-to-Global Propagation Principle for Dirichlet-to-Neumann Maps

We establish four local-to-global propagation results for Dirichlet--to--Neumann maps. Our first two results are proved in the general setting of smooth compact Riemannian manifolds with boundary. The first shows that if two smooth Riemannian metrics coincide in a collar neighborhood of a connected boundary component \(Γ\), then equality of the corresponding local Dirichlet--to--Neumann maps on a nonempty open subset of \(Γ\) propagates to equality of the associated global Dirichlet--to--Neumann maps on all of \(Γ\). The proof combines unique continuation and self-adjointness arguments. The second replaces the geometric collar assumption by an exponential spectral assumption on the difference of the corresponding global Dirichlet--to--Neumann maps. The proof relies on the spectral unique continuation theory of Jerison--Lebeau, through the formulation of Le~Rousseau--Lebeau. Our third and fourth results establish local-to-global propagation principles under Ingham-type quasi--analytic spectral assumptions. Assuming that the boundary manifold is respectively a compact Riemannian symmetric space or a compact quasi--analytic Riemannian manifold, they rely on the propagation theorems of Ganguly--Thangavelu and of Bhowmik--Pradhan. As an application, we consider a class of conformally warped product metrics. In this setting, the local Borg--Marchenko theorem and Weyl--Titchmarsh theory relate the required Ingham-type spectral decay to a suitable quasi--analytic boundary closeness of the conformal factors, yielding new local-to-global uniqueness results for Dirichlet--to--Neumann maps.

math.AP↗

Stable factorization of the Calderón problem via the Born approximation

In this article, we prove the existence of the Born approximation in the context of the radial Calderón problem for Schrödinger operators. 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 proves that the ill-posedness of the Calderón problem arises 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. 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 Geometrical Optics solutions or their analogs; they are based on results from inverse spectral theory for Schrödinger operators on the half-line, in particular on the concept of $A$-amplitude introduced by Barry Simon.

math.AP↗

A Sharp Regularity Threshold for Uniqueness in Riemannian Calderón-type Problems

We prove a sharp regularity threshold for uniqueness in two anisotropic Calderón-type inverse problems in dimension $n\ge 3$. The main setting is the Riemannian Schrödinger problem with fixed scalar potential: for a prescribed nonconstant analytic function $V$, we study whether the Dirichlet-to-Neumann map of $-Δ_g+V$ on a domain $Ω\subset\mathbb{R}^n$ determines the unknown metric $g$. The natural gauge is the group of boundary-fixing diffeomorphisms preserving $V$. We show that, while analytic metrics are uniquely determined modulo this gauge by a minor adaptation of the Lassas--Uhlmann reconstruction theorem, uniqueness fails densely in every non-analytic Gevrey class $G^σ$, $σ>1$. In fact, our counterexamples are not isometric in the sense that they are not connected by the pushforward of any diffeomorphism of $\overlineΩ$. We also prove the analogous sharp threshold for the anisotropic Calderón problem at fixed nonzero frequency, thereby upgrading the previously known finite-regularity counterexamples to Gevrey and $C^\infty$ regularity. The two constructions use different scalar mechanisms: for fixed potentials, the nonconstant potential itself provides a local coordinate, while at nonzero frequency one uses a compactly supported prescribed-Jacobian lemma in Gevrey spaces. Thus analyticity is the exact threshold for uniqueness in both problems.

math.AP↗

Stability in the anisotropic Calderón problem for Painlevé-Liouville Riemannian manifolds

We study the question of stability of the global and partial anisotropic Calderón inverse problems for the class of Painlevé-Liouville Riemannian manifolds, that is compact $n$-dimensional manifolds with boundary $(M,g)$, where $M=[0,1]\times K\,$, $K$ is any smooth closed connected orientable manifold of dimension $n-1$ endowed with a Riemannian metric $g_K$, and $g=α^4 g_{0}$ is any conformal deformation of the product metric $g_{0}=dx^2+g_{K}$ on $M$ which is compatible with the Painlevé block-separability of the Laplace-Beltrami operator $Δ_{g_0}$. Given a pair of Painlevé-Liouville Riemannian manifolds $(M,g)$ and $(M,\tilde{g})$ satisfying some technical hypothesis, denoting the corresponding Dirichlet-to-Neumann maps by $Λ_{g}$ and $Λ_{\tilde{g}}$, and assuming that $\lVert Λ_{g}-Λ_{\tilde{g}}\rVert_{\mathcal{B}(H^{1/2}(\partial M), H^{-1/2}(\partial M))}\ = ε$, we show a logarithmic stability result for the global anisotropic Calderón problem which says that there exists constants $C$ and $0<θ<1$ such that $\| α- \tildeα \|_{C^{0,r}(M)} \leq C \left( \ln \frac{1}ε \right)^{-θ}$ for some $0<r<1$. Similar results are obtained for the partial anisotropic Calderón problem, corresponding to the case where the data are measured on only one connected component of the boundary.

math.AP↗

The spectrum of Dirichlet-to-Neumann maps for radial conductivities

The problem of characterizing sequences of real numbers that arise as spectra of Dirichlet-to-Neumann (DtN) maps for elliptic operators has attracted considerable attention over the past fifty years. In this article, we address this question in the simple setting of DtN maps associated with a rotation-invariant elliptic operator $\nabla \cdot (γ\nabla \centerdot )$ in the ball in Euclidean space. We show that the spectrum of such a DtN operator can be expressed as a universal term, determined solely by the boundary values of the conductivity $γ$, plus a sequence of Hausdorff moments of an integrable function, which we call the Born approximation of $γ$. We also show that this object is locally determined from the boundary by the corresponding values of the conductivity, a property that implies a local uniqueness result for the Calderón Problem in this setting. We also give a stability result: the functional mapping the Born approximation to its conductivity is Hölder stable in suitable Sobolev spaces. Finally, in order to refine the characterization of the Born approximation, we analyze its regularity properties and their dependence on the conductivity.

math.AP↗

Global counterexamples to uniqueness for a Calderón problem with $C^k$ conductivities

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*}

math.AP↗

Local Hölder Stability in the Inverse Steklov and Calderón Problems for Radial Schrödinger operators and Quantified Resonances

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.

math.AP↗

Inverse Regge poles problem on a warped ball

In this paper, we study a new type of inverse problem on warped product Riemannian manifolds with connected boundary that we name warped balls. Using the symmetry of the geometry, we first define the set of Regge poles as the poles of the meromorphic continuation of the Dirichlet-to-Neumann map with respect to the complex angular momentum appearing in the separation of variables procedure. These Regge poles can also be viewed as the set of eigenvalues and resonances of a one-dimensional Schrödinger equation on the half-line, obtained after separation of variables. Secondly, we find a precise asymptotic localisation of the Regge poles in the complex plane and prove that they uniquely determine the warping function of the warped balls.

math-ph↗

Exponential localization of Steklov eigenfunctions on warped product manifolds: the flea on the elephant phenomenon

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$.

math.AP↗

Separability and Symmetry Operators for Painlevé Metrics and their Conformal Deformations

Painlevé metrics are a class of Riemannian metrics which generalize the well-known separable metrics of Stäckel to the case in which the additive separation of variables for the Hamilton-Jacobi equation is achieved in terms of groups of independent variables rather than the complete orthogonal separation into ordinary differential equations which characterizes the Stäckel case. Our goal in this paper is to carry out for Painlevé metrics the generalization of the analysis, which has been extensively performed in the Stäckel case, of the relation between separation of variables for the Hamilton-Jacobi and Helmholtz equations, and of the connections between quadratic first integrals of the geodesic flow and symmetry operators for the Laplace-Beltrami operator. We thus obtain the generalization for Painlevé metrics of the Robertson separability conditions for the Helmholtz equation which are familiar from the Stäckel case, and a formulation thereof in terms of the vanishing of the off-block diagonal components of the Ricci tensor, which generalizes the one obtained by Eisenhart for Stäckel metrics. We also show that when the generalized Robertson conditions are satisfied, there exist $r<n$ linearly independent second-order differential operators which commute with the Laplace-Beltrami operator and which are mutually commuting. These operators admit the block-separable solutions of the Helmholtz equation as formal eigenfunctions, with the separation constants as eigenvalues. Finally, we study conformal deformations which are compatible with the separation into blocks of variables of the Helmholtz equation for Painlevé metrics, leading to solutions which are $R$-separable in blocks. The paper concludes with a set of open questions and perspectives.

math-ph↗

The anisotropic Calder{ó}n problem on 3-dimensional conformally St{ä}ckel manifolds

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.

math.AP↗

On non-uniqueness for the anisotropic Calder{ó}n problem with partial data

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.

math.AP↗

Stability in the inverse Steklov problem on warped product Riemannian manifolds

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.

math.AP↗

A survey of non-uniqueness results for the anisotropic Calder{ó}n problem with disjoint data

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.

math.AP↗

On the hidden mechanism behind non-uniqueness for the anisotropic Calder{ó}n problem with data on disjoint sets

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.

math.AP↗

Non-uniqueness results for the anisotropic Calderon problem with data measured on disjoint sets

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.

math-ph↗

Local inverse scattering at a fixed energy for radial Schr{ö}dinger operators and localization of the Regge poles

We study inverse scattering problems at a fixed energy for radial Schrödinger operators on $\R^n$, $n \geq 2$. First, we consider the class $\mathcal{A}$ of potentials $q(r)$ which can be extended analytically in $\Re z \geq 0$ such that $\mid q(z)\mid \leq C \ (1+ \mid z \mid )^{-ρ}$, $ρ\textgreater{} \frac{3}{2}$. If $q$ and $\tilde{q}$ are two such potentials and if the corresponding phase shifts $δ\_l$ and $\tildeδ\_l$ are super-exponentially close, then $q=\tilde{q}$. Secondly, we study the class of potentials $q(r)$ which can be split into $q(r)=q\_1(r) + q\_2(r)$ such that $q\_1(r)$ has compact support and $q\_2 (r) \in \mathcal{A}$. If $q$ and $\tilde{q}$ are two such potentials, we show that for any fixed $a\textgreater{}0$, ${\ds{δ\_l - \tildeδ\_l \ = \ o \left( \frac{1}{l^{n-3}} \ \left( {\frac{ae}{2l}}\right)^{2l}\right)}}$ when $l \rightarrow +\infty$ if and only if $q(r)=\tilde{q}(r)$ for almost all $r \geq a$. The proofs are close in spirit with the celebrated Borg-Marchenko uniqueness theorem, and rely heavily on the localization of the Regge poles that could be defined as the resonances in the complexified angular momentum plane. We show that for a non-zero super-exponentially decreasing potential, the number of Regge poles is always infinite and moreover, the Regge poles are not contained in any vertical strip in the right-half plane. For potentials with compact support, we are able to give explicitly their asymptotics. At last, for potentials which can be extended analytically in $\Re z \geq 0$ with $\mid q(z)\mid \leq C \ (1+ \mid z \mid )^{-ρ}$, $ρ\textgreater{}1$ , we show that the Regge poles are confined in a vertical strip in the complex plane.

math-ph↗

Inverse scattering at fixed energy on asymptotically hyperbolic Liouville surfaces

In this paper, we study an inverse scattering problem on Liouville surfaces having two asymptotically hyperbolic ends. The main property of Liouville surfaces consists in the complete separability of the Hamilton-Jacobi equations for the geodesic flow. An important related consequence is the fact that the stationary wave equation can be separated into a system of a radial and angular ODEs. The full scattering matrix at fixed energy associated to a scalar wave equation on asymptotically hyperbolic Liouville surfaces can be thus simplified by considering its restrictions onto the generalized harmonics corresponding to the angular separated ODE. The resulting partial scattering matrices consists in a countable set of $2 \times 2$ matrices whose coefficients are the so called transmission and reflection coefficients. It is shown that the reflection coefficients are nothing but generalized Weyl-Titchmarsh functions for the radial ODE in which the generalized angular momentum is seen as the spectral parameter. Using the Complex Angular Momentum method and recent results on 1D inverse problem from generalized Weyl-Titchmarsh functions, we show that the knowledge of the reflection operators at a fixed non zero energy is enough to determine uniquely the metric of the asymptotically hyperbolic Liouville surface under consideration.

math-ph↗