-
Control of the Schrödinger equation in $\mathbb{R}^3$: The critical case
Authors:
Pablo Braz e Silva,
Roberto de A. Capistrano-Filho,
Jackellyny Dassy do Nascimento Carvalho,
David dos Santos Ferreira
Abstract:
This article deals with the $\dot{H}^{1}$--level exact controllability for the defocusing critical nonlinear Schrödinger equation in $\mathbb{R}^3$. Firstly, we show the problem under consideration to be well-posed using Strichartz estimates. Moreover, through the Hilbert uniqueness method, we prove the linear Schrödinger equation to be controllable. Finally, we use a perturbation argument and sho…
▽ More
This article deals with the $\dot{H}^{1}$--level exact controllability for the defocusing critical nonlinear Schrödinger equation in $\mathbb{R}^3$. Firstly, we show the problem under consideration to be well-posed using Strichartz estimates. Moreover, through the Hilbert uniqueness method, we prove the linear Schrödinger equation to be controllable. Finally, we use a perturbation argument and show local exact controllability for the critical nonlinear Schrödinger equation.
△ Less
Submitted 11 April, 2024;
originally announced April 2024.
-
The linearized Calderon problem in transversally anisotropic geometries
Authors:
David Dos Santos Ferreira,
Yaroslav Kurylev,
Matti Lassas,
Tony Liimatainen,
Mikko Salo
Abstract:
In this article we study the linearized anisotropic Calderon problem. In a compact manifold with boundary, this problem amounts to showing that products of harmonic functions form a complete set. Assuming that the manifold is transversally anisotropic, we show that the boundary measurements determine an FBI type transform at certain points in the transversal manifold. This leads to recovery of tra…
▽ More
In this article we study the linearized anisotropic Calderon problem. In a compact manifold with boundary, this problem amounts to showing that products of harmonic functions form a complete set. Assuming that the manifold is transversally anisotropic, we show that the boundary measurements determine an FBI type transform at certain points in the transversal manifold. This leads to recovery of transversal singularities in the linearized problem. The method requires a geometric condition on the transversal manifold related to pairs of intersecting geodesics, but it does not involve the geodesic X-ray transform which has limited earlier results on this problem.
△ Less
Submitted 13 December, 2017;
originally announced December 2017.
-
From semiclassical Strichartz estimates to uniform $L^p$ resolvent estimates on compact manifolds
Authors:
Nicolas Burq,
David Dos Santos Ferreira,
Katya Krupchyk
Abstract:
We prove uniform $L^p$ resolvent estimates for the stationary damped wave operator. The uniform $L^p$ resolvent estimates for the Laplace operator on a compact smooth Riemannian manifold without boundary were first established by Dos Santos Ferreira-Kenig-Salo and advanced further by Bourgain-Shao-Sogge-Yao. Here we provide an alternative proof relying on the techniques of semiclassical Strichartz…
▽ More
We prove uniform $L^p$ resolvent estimates for the stationary damped wave operator. The uniform $L^p$ resolvent estimates for the Laplace operator on a compact smooth Riemannian manifold without boundary were first established by Dos Santos Ferreira-Kenig-Salo and advanced further by Bourgain-Shao-Sogge-Yao. Here we provide an alternative proof relying on the techniques of semiclassical Strichartz estimates. This approach allows us also to handle non-self-adjoint perturbations of the Laplacian and embeds very naturally in the semiclassical spectral analysis framework.
△ Less
Submitted 22 February, 2017; v1 submitted 8 July, 2015;
originally announced July 2015.
-
Stability estimates for the Calderón problem with partial data
Authors:
David Dos Santos Ferreira,
Pedro Caro,
Alberto Ruiz
Abstract:
This is a follow-up of a previous article where we proved local stability estimates for a potential in a Schrödinger equation on an open bounded set in dimension $n=3$ from the Dirichlet-to-Neumann map with partial data. The region under control was the penumbra delimited by a source of light outside of the convex hull of the open set. These local estimates provided stability of log-log type corre…
▽ More
This is a follow-up of a previous article where we proved local stability estimates for a potential in a Schrödinger equation on an open bounded set in dimension $n=3$ from the Dirichlet-to-Neumann map with partial data. The region under control was the penumbra delimited by a source of light outside of the convex hull of the open set. These local estimates provided stability of log-log type corresponding to the uniqueness results in Calderón's inverse problem with partial data proved by Kenig, Sjöstrand and Uhlmann. In this article, we prove the corresponding global estimates in all dimensions higher than three. The estimates are based on the construction of solutions of the Schrödinger equation by complex geometrical optics developed in the anisotropic setting by Dos Santos Ferreira, Kenig, Salo and Uhlmann to solve the Calderón problem in certain admissible geometries.
△ Less
Submitted 6 May, 2014;
originally announced May 2014.
-
The Calderon problem in transversally anisotropic geometries
Authors:
David Dos Santos Ferreira,
Yaroslav Kurylev,
Matti Lassas,
Mikko Salo
Abstract:
We consider the anisotropic Calderon problem of recovering a conductivity matrix or a Riemannian metric from electrical boundary measurements in three and higher dimensions. In the earlier work \cite{DKSaU}, it was shown that a metric in a fixed conformal class is uniquely determined by boundary measurements under two conditions: (1) the metric is conformally transversally anisotropic (CTA), and (…
▽ More
We consider the anisotropic Calderon problem of recovering a conductivity matrix or a Riemannian metric from electrical boundary measurements in three and higher dimensions. In the earlier work \cite{DKSaU}, it was shown that a metric in a fixed conformal class is uniquely determined by boundary measurements under two conditions: (1) the metric is conformally transversally anisotropic (CTA), and (2) the transversal manifold is simple. In this paper we will consider geometries satisfying (1) but not (2). The first main result states that the boundary measurements uniquely determine a mixed Fourier transform / attenuated geodesic ray transform (or integral against a more general semiclassical limit measure) of an unknown coefficient. In particular, one obtains uniqueness results whenever the geodesic ray transform on the transversal manifold is injective. The second result shows that the boundary measurements in an infinite cylinder uniquely determine the transversal metric. The first result is proved by using complex geometrical optics solutions involving Gaussian beam quasimodes, and the second result follows from a connection between the Calderon problem and Gel'fand's inverse problem for the wave equation and the boundary control method.
△ Less
Submitted 12 May, 2014; v1 submitted 6 May, 2013;
originally announced May 2013.
-
Stability estimates for the Radon transform with restricted data and applications
Authors:
Pedro Caro,
David Dos Santos Ferreira,
Alberto Ruiz
Abstract:
In this article, we prove a stability estimate going from the Radon transform of a function with limited angle-distance data to the $L^p$ norm of the function itself, under some conditions on the support of the function. We apply this theorem to obtain stability estimates for an inverse boundary value problem with partial data.
In this article, we prove a stability estimate going from the Radon transform of a function with limited angle-distance data to the $L^p$ norm of the function itself, under some conditions on the support of the function. We apply this theorem to obtain stability estimates for an inverse boundary value problem with partial data.
△ Less
Submitted 14 December, 2012; v1 submitted 8 November, 2012;
originally announced November 2012.
-
Stability estimates for an inverse scattering problem at high frequencies
Authors:
Habib Ammari,
Hajer Bahouri,
David Dos Santos Ferreira,
Isabelle Gallagher
Abstract:
We consider an inverse scattering problem and its near-field approximation at high frequencies. We first prove, for both problems, Lipschitz stability results for determining the low-frequency component of the potential. Then we show that, in the case of a radial potential supported sufficiently near the boundary, infinite resolution can be achieved from measurements of the near-field operator in…
▽ More
We consider an inverse scattering problem and its near-field approximation at high frequencies. We first prove, for both problems, Lipschitz stability results for determining the low-frequency component of the potential. Then we show that, in the case of a radial potential supported sufficiently near the boundary, infinite resolution can be achieved from measurements of the near-field operator in the monotone case.
△ Less
Submitted 30 May, 2012;
originally announced May 2012.
-
On $L^p$ resolvent estimates for Laplace-Beltrami operators on compact manifolds
Authors:
David Dos Santos Ferreira,
Carlos E. Kenig,
Mikko Salo
Abstract:
In this article we prove $L^p$ estimates for resolvents of Laplace-Beltrami operators on compact Riemannian manifolds, generalizing results of Kenig, Ruiz and Sogge in the Euclidean case and Shen for the torus. We follow Sogge and construct Hadamard's parametrix, then use classical boundedness results on integral operators with oscillatory kernels related to the Carleson and Sjölin condition. Our…
▽ More
In this article we prove $L^p$ estimates for resolvents of Laplace-Beltrami operators on compact Riemannian manifolds, generalizing results of Kenig, Ruiz and Sogge in the Euclidean case and Shen for the torus. We follow Sogge and construct Hadamard's parametrix, then use classical boundedness results on integral operators with oscillatory kernels related to the Carleson and Sjölin condition. Our initial motivation was to obtain $L^p$ Carleman estimates with limiting Carleman weights generalizing those of Jerison and Kenig; we illustrate the pertinence of $L^p$ resolvent estimates by showing the relation with Carleman estimates. Such estimates are useful in the construction of complex geometrical optics solutions to the Schrödinger equation with unbounded potentials, an essential device for solving anisotropic inverse problems.
△ Less
Submitted 14 December, 2011;
originally announced December 2011.
-
Global and local regularity of Fourier integral operators on weighted and unweighted spaces
Authors:
David Dos Santos Ferreira,
Wolfgang Staubach
Abstract:
We investigate the global continuity on $L^p$ spaces with $p\in [1,\infty]$ of Fourier integral operators with smooth and rough amplitudes and/or phase functions subject to certain non-degeneracy conditions. We initiate the investigation of the continuity of smooth and rough Fourier integral operators on weighted $L^{p}$ spaces, $L_{w}^p$ with $1< p < \infty$ and $w\in A_{p},$ (i.e. the Muckenhopu…
▽ More
We investigate the global continuity on $L^p$ spaces with $p\in [1,\infty]$ of Fourier integral operators with smooth and rough amplitudes and/or phase functions subject to certain non-degeneracy conditions. We initiate the investigation of the continuity of smooth and rough Fourier integral operators on weighted $L^{p}$ spaces, $L_{w}^p$ with $1< p < \infty$ and $w\in A_{p},$ (i.e. the Muckenhoput weights), and establish weighted norm inequalities for operators with rough and smooth amplitudes and phase functions satisfying a suitable rank condition. These results are then applied to prove weighted and unweighted estimates for the commutators of Fourier integral operators with functions of bounded mean oscillation BMO, then to some estimates on weighted Triebel-Lizorkin spaces, and finally to global unweighted and local weighted estimates for the solutions of the Cauchy problem for $m$-th and second order hyperbolic partial differential equations on $\mathbf{R}^n .$
△ Less
Submitted 6 May, 2011; v1 submitted 1 April, 2011;
originally announced April 2011.
-
Determining an unbounded potential from Cauchy data in admissible geometries
Authors:
David Dos Santos Ferreira,
Carlos E. Kenig,
Mikko Salo
Abstract:
In a previous article of Dos Santos Ferreira, Kenig, Salo and Uhlmann, anisotropic inverse problems were considered in certain admissible geometries, that is, on compact Riemannian manifolds with boundary which are conformally embedded in a product of the Euclidean line and a simple manifold. In particular, it was proved that a bounded smooth potential in a Schrödinger equation was uniquely determ…
▽ More
In a previous article of Dos Santos Ferreira, Kenig, Salo and Uhlmann, anisotropic inverse problems were considered in certain admissible geometries, that is, on compact Riemannian manifolds with boundary which are conformally embedded in a product of the Euclidean line and a simple manifold. In particular, it was proved that a bounded smooth potential in a Schrödinger equation was uniquely determined by the Dirichlet-to-Neumann map in dimensions n \geq 3. In this article we extend this result to the case of unbounded potentials, namely those in Ln/2. In the process, we derive Lp Carleman estimates with limiting Carleman weights similar to the Euclidean estimates of Jerison-Kenig and Kenig-Ruiz-Sogge.
△ Less
Submitted 1 April, 2011;
originally announced April 2011.
-
Stable determination of coefficients in the dynamical anisotropic Schr{ö}dinger equation from the Dirichlet-to-Neumann map
Authors:
Mourad Bellassoued,
David Dos Santos Ferreira
Abstract:
In this paper we are interested in establishing stability estimates in the inverse problem of determining on a compact Riemannian manifold the electric potential or the conformal factor in a Schrödinger equation with Dirichlet data from measured Neumann boundary observations. This information is enclosed in the dynamical Dirichlet-to-Neumann map associated to the Schrödinger equation. We prove in…
▽ More
In this paper we are interested in establishing stability estimates in the inverse problem of determining on a compact Riemannian manifold the electric potential or the conformal factor in a Schrödinger equation with Dirichlet data from measured Neumann boundary observations. This information is enclosed in the dynamical Dirichlet-to-Neumann map associated to the Schrödinger equation. We prove in dimension n bigger than 2 that the knowledge of the Dirichlet-to-Neumann map for the Schrödinger equation uniquely determines the electric potential and we establish Hölder-type stability estimates in determining the potential. We prove similar results for the determination of a conformal factor close to 1.
△ Less
Submitted 1 June, 2010;
originally announced June 2010.
-
Stability estimates for the anisotropic wave equation from the Dirichlet-to-Neumann map
Authors:
Mourad Bellassoued,
David Dos Santos Ferreira
Abstract:
In this article we seek stability estimates in the inverse problem of determining the potential or the velocity in a wave equation in an anisotropic medium from measured Neumann boundary observations. This information is enclosed in the dynamical Dirichlet-to-Neumann map associated to the wave equation. We prove in dimension $n\geq 2$ that the knowledge of the Dirichlet-to-Neumann map for the wave…
▽ More
In this article we seek stability estimates in the inverse problem of determining the potential or the velocity in a wave equation in an anisotropic medium from measured Neumann boundary observations. This information is enclosed in the dynamical Dirichlet-to-Neumann map associated to the wave equation. We prove in dimension $n\geq 2$ that the knowledge of the Dirichlet-to-Neumann map for the wave equation uniquely determines the electric potential and we prove Hölder-type stability in determining the potential.
△ Less
Submitted 3 May, 2010;
originally announced May 2010.
-
On the linearized local Calderon problem
Authors:
D. Dos Santos Ferreira,
C. E. Kenig,
J. Sjoestrand,
G. Uhlmann
Abstract:
In this article, we investigate a density problem coming from the linearization of Calderón's problem with partial data. More precisely, we prove that the set of products of harmonic functions on a bounded smooth domain $Ω$ vanishing on any fixed closed proper subset of the boundary are dense in $L^{1}(Ω)$ in all dimensions $n \geq 2$. This is proved using ideas coming from the proof of Kashiwar…
▽ More
In this article, we investigate a density problem coming from the linearization of Calderón's problem with partial data. More precisely, we prove that the set of products of harmonic functions on a bounded smooth domain $Ω$ vanishing on any fixed closed proper subset of the boundary are dense in $L^{1}(Ω)$ in all dimensions $n \geq 2$. This is proved using ideas coming from the proof of Kashiwara's Watermelon theorem.
△ Less
Submitted 5 May, 2009;
originally announced May 2009.
-
Limiting Carleman weights and anisotropic inverse problems
Authors:
D. Dos Santos Ferreira,
C. E. Kenig,
M. Salo,
G. Uhlmann
Abstract:
In this article we consider the anisotropic Calderon problem and related inverse problems. The approach is based on limiting Carleman weights, introduced in Kenig-Sjoestrand-Uhlmann (Ann. of Math. 2007) in the Euclidean case. We characterize those Riemannian manifolds which admit limiting Carleman weights, and give a complex geometrical optics construction for a class of such manifolds. This is…
▽ More
In this article we consider the anisotropic Calderon problem and related inverse problems. The approach is based on limiting Carleman weights, introduced in Kenig-Sjoestrand-Uhlmann (Ann. of Math. 2007) in the Euclidean case. We characterize those Riemannian manifolds which admit limiting Carleman weights, and give a complex geometrical optics construction for a class of such manifolds. This is used to prove uniqueness results for anisotropic inverse problems, via the attenuated geodesic X-ray transform. Earlier results in dimension $n \geq 3$ were restricted to real-analytic metrics.
△ Less
Submitted 25 March, 2008;
originally announced March 2008.
-
Determining a magnetic Schroedinger operator from partial Cauchy data
Authors:
David Dos Santos Ferreira,
Carlos Kenig,
Johannes Sjoestrand,
Gunther Uhlmann
Abstract:
In this paper we show, in dimension n >=3, that knowledge of the Cauchy data for the Schroedinger equation in the presence of a magnetic potential, measured on possibly very small subsets of the boundary, determines uniquely the magnetic field and the electric potential.
In this paper we show, in dimension n >=3, that knowledge of the Cauchy data for the Schroedinger equation in the presence of a magnetic potential, measured on possibly very small subsets of the boundary, determines uniquely the magnetic field and the electric potential.
△ Less
Submitted 19 January, 2006;
originally announced January 2006.
