-
Stabilization of a perturbed quintic defocusing Schrödinger equation in $\mathbb{R}^{3}$
Authors:
Pablo Braz e Silva,
Roberto de A. Capistrano-Filho,
Jackellyny Dassy do Nascimento Carvalho,
David dos Santos Ferreira
Abstract:
This article addresses the stabilizability of a perturbed quintic defocusing Schrödinger equation in $\mathbb{R}^{3}$ at the $H^1$--energy level, considering the influence of a damping mechanism. More specifically, we establish a profile decomposition for both linear and nonlinear systems and use them to show that, under certain conditions, the sequence of nonlinear solutions can be effectively li…
▽ More
This article addresses the stabilizability of a perturbed quintic defocusing Schrödinger equation in $\mathbb{R}^{3}$ at the $H^1$--energy level, considering the influence of a damping mechanism. More specifically, we establish a profile decomposition for both linear and nonlinear systems and use them to show that, under certain conditions, the sequence of nonlinear solutions can be effectively linearized. Lastly, through microlocal analysis techniques, we prove the local exponential stabilization of the solution to the perturbed Schrödinger equation in $\mathbb{R}^{3}$ showing an observability inequality for the solution of the system under consideration, which is the key result of this work.
△ Less
Submitted 19 November, 2024; v1 submitted 22 October, 2024;
originally announced October 2024.
-
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 $H^{1}$--level local null 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…
▽ More
This article deals with the $H^{1}$--level local null 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 controllability for the critical nonlinear Schrödinger equation.
△ Less
Submitted 1 November, 2024; v1 submitted 11 April, 2024;
originally announced April 2024.
-
Optimal plane curves of degree $q-1$ over a finite field
Authors:
Walteir de Paula Ferreira,
Pietro Speziali
Abstract:
Let $q\geq 5$ be a prime power. In this note, we prove that if a plane curve $\mathcal{X}$ of degree $q - 1$ defined over $\mathbb{F}_q$ without $\mathbb{F}_q$-linear components attains the Sziklai upper bound $(d-1)q+1 = (q - 1)^2$ for the number of its $\mathbb{F}_q$-rational points, then $\mathcal{X}$ is projectively equivalent over $\mathbb{F}_q$ to the curve…
▽ More
Let $q\geq 5$ be a prime power. In this note, we prove that if a plane curve $\mathcal{X}$ of degree $q - 1$ defined over $\mathbb{F}_q$ without $\mathbb{F}_q$-linear components attains the Sziklai upper bound $(d-1)q+1 = (q - 1)^2$ for the number of its $\mathbb{F}_q$-rational points, then $\mathcal{X}$ is projectively equivalent over $\mathbb{F}_q$ to the curve $ \mathcal{C}_{(α,β,γ)} : αX^{q - 1} + βY^{q - 1} + γZ^{q - 1} = 0$ for some $α, β, γ\in \mathbb{F}_q^{*}$ such that $α+ β+ γ= 0$. This completes the classification of curves that are extremal with respect to the Sziklai bound.
Also, since the Sziklai bound is equal to the Stöhr-Voloch's bound for plane curves of degree $q - 1$, our main result classifies the $\mathbb{F}_q$-Frobenius classical extremal plane curves of degree $q - 1$.
△ Less
Submitted 25 November, 2022;
originally announced November 2022.
-
Mappings preserving sum of triple products on $\ast $-algebras
Authors:
João Carlos da Motta Ferreira,
Maria das Graças Bruno Marietto
Abstract:
Let $\mathcal{A}$ and $\mathcal{B}$ be two unital complex $\ast $-algebras such that $\mathcal{A}$ has a nontrivial projection. In this paper, we study the structure of bijective mappings $Φ:\mathcal{A}\rightarrow \mathcal{B}$ preserving sum of triple products $α_{1} ab^{*}c+α_{2} acb^{*}+α_{3} b^{*}ac +α_{4} cab^{*}+α_{5} b^{*}ca+α_{6} cb^{*}a,$ where the scalars $\{α_{k}\}_{k=1}^{6}$ are complex…
▽ More
Let $\mathcal{A}$ and $\mathcal{B}$ be two unital complex $\ast $-algebras such that $\mathcal{A}$ has a nontrivial projection. In this paper, we study the structure of bijective mappings $Φ:\mathcal{A}\rightarrow \mathcal{B}$ preserving sum of triple products $α_{1} ab^{*}c+α_{2} acb^{*}+α_{3} b^{*}ac +α_{4} cab^{*}+α_{5} b^{*}ca+α_{6} cb^{*}a,$ where the scalars $\{α_{k}\}_{k=1}^{6}$ are complex numbers satisfying some conditions. Applications of obtained results are given.
△ Less
Submitted 13 September, 2022;
originally announced November 2022.
-
A new approach to the study of spacelike submanifolds in a spherical Robertson-Walker spacetime: characterization of the stationary spacelike submanifolds as an application
Authors:
D. Ferreira,
E. A. Lima Jr.,
F. J. Palomo,
A. Romero
Abstract:
A natural one codimension isometric embedding of each $(n+1)$-dimensional spherical Robertson-Walker (RW) spacetime $I\times_f \mathbb{S}^n$ in $(n+2)$-dimensional Lorentz-Minkowski spacetime $\mathbb{L}^{n+2}$ permits to contemplate $I\times_f \mathbb{S}^n$ as a rotation Lorentzian hypersurface of $\mathbb{L}^{n+2}$. After a detailed study of such Lorentzian hypersurfaces, any $k$-dimensional spa…
▽ More
A natural one codimension isometric embedding of each $(n+1)$-dimensional spherical Robertson-Walker (RW) spacetime $I\times_f \mathbb{S}^n$ in $(n+2)$-dimensional Lorentz-Minkowski spacetime $\mathbb{L}^{n+2}$ permits to contemplate $I\times_f \mathbb{S}^n$ as a rotation Lorentzian hypersurface of $\mathbb{L}^{n+2}$. After a detailed study of such Lorentzian hypersurfaces, any $k$-dimensional spacelike submanifold of such an RW spacetime can be contemplated as a spacelike submanifold of $\mathbb{L}^{n+2}$. Then, we use that situation to study $k$-dimensional stationary (i.e., of zero mean curvature vector field) spacelike submanifolds of the RW spacetime. In particular, we prove a wide extension of the Lorentzian version of the classical Takahashi theorem, giving a characterization of stationary spacelike submanifolds of $I\times_f \mathbb{S}^n$ when contemplating them as spacelike submanifolds of $\mathbb{L}^{n+2}$.
△ Less
Submitted 8 December, 2022; v1 submitted 29 August, 2022;
originally announced August 2022.
-
Nonlinear maps preserving sums of triple products on $\ast $-algebras
Authors:
João Carlos da Motta Ferreira,
Maria das Graças Bruno Marietto
Abstract:
Let $\mathcal{A}$ and $\mathcal{B}$ be two unital complex $\ast $-algebras such that $\mathcal{A}$ has a nontrivial projection. In this paper, we study the structure of bijective nonlinear maps $Φ:\mathcal{A}\rightarrow \mathcal{B}$ preserving sum of triple products $α_{1} abc+α_{2} a^{*}cb^{*}+α_{3} ba^{*}c +α_{4} cab^{*}+α_{5} bca+α_{6} cb^{*}a^{*},$ where the scalars $\{α_{k}\}_{k=1}^{6}$ are c…
▽ More
Let $\mathcal{A}$ and $\mathcal{B}$ be two unital complex $\ast $-algebras such that $\mathcal{A}$ has a nontrivial projection. In this paper, we study the structure of bijective nonlinear maps $Φ:\mathcal{A}\rightarrow \mathcal{B}$ preserving sum of triple products $α_{1} abc+α_{2} a^{*}cb^{*}+α_{3} ba^{*}c +α_{4} cab^{*}+α_{5} bca+α_{6} cb^{*}a^{*},$ where the scalars $\{α_{k}\}_{k=1}^{6}$ are complex numbers satisfying some conditions.
△ Less
Submitted 16 August, 2022;
originally announced August 2022.
-
Complete stationary spacelike surfaces in an $n$-dimensional Generalized Robertson-Walker spacetime
Authors:
Danilo Ferreira,
Eraldo A. Lima Jr.,
Alfonso Romero
Abstract:
Several uniqueness results for non-compact complete stationary spacelike surfaces in an $n(\geq 3)$-dimensional Generalized Robertson Walker spacetime are obtained. In order to do that, we assume a natural inequality involving the Gauss curvature of the surface, the restrictions of the warping function and the sectional curvature of the fiber to the surface. This inequality gives the parabolicity…
▽ More
Several uniqueness results for non-compact complete stationary spacelike surfaces in an $n(\geq 3)$-dimensional Generalized Robertson Walker spacetime are obtained. In order to do that, we assume a natural inequality involving the Gauss curvature of the surface, the restrictions of the warping function and the sectional curvature of the fiber to the surface. This inequality gives the parabolicity of the surface. Using this property, a distinguished non-negative superharmonic function on the surface is shown to be constant, which implies that the stationary spacelike surface must be totally geodesic. Moreover, non-trivial examples of stationary spacelike surfaces in the four dimensional Lorentz-Minkowski spacetime are exposed to show that each of our assumptions is needed.
△ Less
Submitted 7 September, 2021;
originally announced September 2021.
-
Data Envelopment Analysis models with imperfect knowledge of input and output values: An application to Portuguese public hospitals
Authors:
Diogo Cunha Ferreira,
Josè RUi Figueira,
Salvatore Greco,
Rui Marques
Abstract:
Assessing the technical efficiency of a set of observations requires that the associated data composed of inputs and outputs are perfectly known. If this is not the case, then biased estimates will likely be obtained. Data Envelopment Analysis (DEA) is one of the most extensively used mathematical models to estimate efficiency. It constructs a piecewise linear frontier against which all observatio…
▽ More
Assessing the technical efficiency of a set of observations requires that the associated data composed of inputs and outputs are perfectly known. If this is not the case, then biased estimates will likely be obtained. Data Envelopment Analysis (DEA) is one of the most extensively used mathematical models to estimate efficiency. It constructs a piecewise linear frontier against which all observations are compared. Since the frontier is empirically defined, any deviation resulting from low data quality (imperfect knowledge of data or IKD) may lead to efficiency under/overestimation. In this study, we model IKD and, then, apply the so-called Hit \& Run procedure to randomly generate admissible observations, following some prespecified probability density functions. Sets used to model IKD limit the domain of data associated with each observation. Any point belonging to that domain is a candidate to figure out as the observation for efficiency assessment. Hence, this sampling procedure must run a sizable number of times (infinite, in theory) in such a way that it populates the whole sets. The DEA technique is used during the execution of each iteration to estimate bootstrapped efficiency scores for each observation. We use some scenarios to show that the proposed routine can outperform some of the available alternatives. We also explain how efficiency estimations can be used for statistical inference. An empirical case study based on the Portuguese public hospitals database (2013-2016) was addressed using the proposed method.
△ Less
Submitted 20 April, 2021;
originally announced April 2021.
-
Mappings preserving product $ab\pm ba^{*}$ on alternative $W^{*}$-factors
Authors:
João Carlos da Motta Ferreira,
Maria das Graças Bruno Marietto
Abstract:
Let $\mathcal{A}$ and $\mathcal{B}$ be two alternative $W^{*}$-factors. In this paper, we proved that a bijective mapping $Φ:\mathcal{A}\rightarrow \mathcal{B}$ satisfies $Φ(ab+ba^{*})=Φ(a)Φ(b)+Φ(b)Φ(a)^{*}$ (resp., $Φ(ab-ba^{*})=Φ(a)Φ(b)-Φ(b)Φ(a)^{*}$), for all elements $a,b\in \mathcal{A}$, if and only if $Φ$ is a $\ast $-ring isomorphism.
Let $\mathcal{A}$ and $\mathcal{B}$ be two alternative $W^{*}$-factors. In this paper, we proved that a bijective mapping $Φ:\mathcal{A}\rightarrow \mathcal{B}$ satisfies $Φ(ab+ba^{*})=Φ(a)Φ(b)+Φ(b)Φ(a)^{*}$ (resp., $Φ(ab-ba^{*})=Φ(a)Φ(b)-Φ(b)Φ(a)^{*}$), for all elements $a,b\in \mathcal{A}$, if and only if $Φ$ is a $\ast $-ring isomorphism.
△ Less
Submitted 31 December, 2020; v1 submitted 20 December, 2020;
originally announced December 2020.
-
Convergence Certificate for Stochastic Derivative-Free Trust-Region Methods based on Gaussian Processes
Authors:
Harsh A. Shukla,
Tafarel de Avila Ferreira,
Timm Faulwasser,
Dominique Bonvin,
Colin N. Jones
Abstract:
In many machine learning applications, one wants to learn the unknown objective and constraint functions of an optimization problem from available data and then apply some technique to attain a local optimizer of the learned model. This work considers Gaussian processes as global surrogate models and utilizes them in conjunction with derivative-free trust-region methods. It is well known that deri…
▽ More
In many machine learning applications, one wants to learn the unknown objective and constraint functions of an optimization problem from available data and then apply some technique to attain a local optimizer of the learned model. This work considers Gaussian processes as global surrogate models and utilizes them in conjunction with derivative-free trust-region methods. It is well known that derivative-free trust-region methods converge globally---provided the surrogate model is probabilistically fully linear. We prove that \glspl{gp} are indeed probabilistically fully linear, thus resulting in fast (compared to linear or quadratic local surrogate models) and global convergence. We draw upon the optimization of a chemical reactor to demonstrate the efficiency of \gls{gp}-based trust-region methods.
△ Less
Submitted 2 October, 2020;
originally announced October 2020.
-
Filled Julia and Mandelbrot Sets for Dynamics over the Normed Real Nonassociative Algebras
Authors:
João Carlos da Motta Ferreira,
Maria das Graças Bruno Marietto
Abstract:
In this paper we introduce the notion of dynamical systems over the class of the normed real nonassociative algebras not necessarily finite-dimensional, generalize the classical filled Julia and Mandelbrot sets over the complex numbers, investigate their orbits and make a topological analysis. Applications of the obtained results are made.
In this paper we introduce the notion of dynamical systems over the class of the normed real nonassociative algebras not necessarily finite-dimensional, generalize the classical filled Julia and Mandelbrot sets over the complex numbers, investigate their orbits and make a topological analysis. Applications of the obtained results are made.
△ Less
Submitted 20 September, 2020; v1 submitted 10 September, 2020;
originally announced September 2020.
-
A Borg-Levinson theorem for magnetic Schrödinger operators on a Riemannian manifold
Authors:
Mourad Bellassoued,
Mourad Choulli,
Dos Santos Ferreira,
Yavar Kian,
Plamen Stefanov
Abstract:
This article is concerned with uniqueness and stability issues for the inverse spectral problem of recovering the magnetic field and the electric potential in a Riemannian manifold from some asymptotic knowledge of the boundary spectral data of the corresponding Schrödinger operator under Dirichlet boundary conditions. The spectral data consist of some asymptotic knowledge of a subset of eigenvalu…
▽ More
This article is concerned with uniqueness and stability issues for the inverse spectral problem of recovering the magnetic field and the electric potential in a Riemannian manifold from some asymptotic knowledge of the boundary spectral data of the corresponding Schrödinger operator under Dirichlet boundary conditions. The spectral data consist of some asymptotic knowledge of a subset of eigenvalues and Neumann traces of the associated eigenfunctions of the magnetic Laplacian. We also address the same question for Schrödinger operators under Neumann boundary conditions, in which case we measure the Dirichlet traces of eigenfunctions. In our results we characterize the uniqueness of the magnetic field from a rate of growth of the eigenvalues, combined with suitable asymptotic properties of boundary observation of eigenfunctions, of the associated magnetic Schrödinger operator. To our best knowledge this is the first result proving uniqueness from such general asymptotic behavior of boundary spectral data.
△ Less
Submitted 29 October, 2018; v1 submitted 23 July, 2018;
originally announced July 2018.
-
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.
-
Building analytical three-field cosmological models
Authors:
J. R. L. Santos,
P. H. R. S. Moraes,
D. A. Ferreira,
D. C. Vilar Neta
Abstract:
A difficult task to deal with is the analytical treatment of models composed by three real scalar fields, once their equations of motion are in general coupled and hard to be integrated. In order to overcome this problem we introduce a methodology to construct three-field models based on the so-called "extension method". The fundamental idea of the procedure is to combine three one-field systems i…
▽ More
A difficult task to deal with is the analytical treatment of models composed by three real scalar fields, once their equations of motion are in general coupled and hard to be integrated. In order to overcome this problem we introduce a methodology to construct three-field models based on the so-called "extension method". The fundamental idea of the procedure is to combine three one-field systems in a non-trivial way, to construct an effective three scalar field model. An interesting scenario where the method can be implemented is within inflationary models, where the Einstein-Hilbert Lagrangian is coupled with the scalar field Lagrangian. We exemplify how a new model constructed from our method can lead to non-trivial behaviors for cosmological parameters.
△ Less
Submitted 26 February, 2018; v1 submitted 9 July, 2017;
originally announced July 2017.
-
Optimal Design in Geostatistics under Preferential Sampling
Authors:
Gustavo da Silva Ferreira,
Dani Gamerman
Abstract:
This paper analyses the effect of preferential sampling in Geostatistics when the choice of new sampling locations is the main interest of the researcher. A Bayesian criterion based on maximizing utility functions is used. Simulated studies are presented and highlight the strong influence of preferential sampling in the decisions. The computational complexity is faced by treating the new local sam…
▽ More
This paper analyses the effect of preferential sampling in Geostatistics when the choice of new sampling locations is the main interest of the researcher. A Bayesian criterion based on maximizing utility functions is used. Simulated studies are presented and highlight the strong influence of preferential sampling in the decisions. The computational complexity is faced by treating the new local sampling locations as a model parameter and the optimal choice is then made by analysing its posterior distribution. Finally, an application is presented using rainfall data collected during spring in Rio de Janeiro. The results showed that the optimal design is substantially changed under preferential sampling effects. Furthermore, it was possible to identify other interesting aspects related to preferential sampling effects in estimation and prediction in Geostatistics. With the Rejoinder to Comments [arXiv:1509.04817], [arXiv:1509.04819], [arXiv:1509.04821].
△ Less
Submitted 22 September, 2015; v1 submitted 11 September, 2015;
originally announced September 2015.
-
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.