-
The Born approximation for the fixed energy Calderón problem
Authors:
Fabricio Macià,
Cristóbal J. Meroño,
Daniel Sánchez-Mendoza
Abstract:
The Born approximation of a potential in the context of the Calderón inverse problem is an object that can be formally defined in terms of spectral data of the Dirichlet-to-Neumann map of the corresponding Schrödinger operator. In this article, we prove, in the case of radial potentials in the Euclidean ball and any fixed energy, that this Born approximation is well-defined as a compactly supporte…
▽ More
The Born approximation of a potential in the context of the Calderón inverse problem is an object that can be formally defined in terms of spectral data of the Dirichlet-to-Neumann map of the corresponding Schrödinger operator. In this article, we prove, in the case of radial potentials in the Euclidean ball and any fixed energy, that this Born approximation is well-defined as a compactly supported radial distribution, and that the Calderón problem can be reformulated as recovering a potential from its Born approximation. In addition, we show that the Born approximation depends locally on the potential and captures exactly its singularities, and that the functional that maps the Born approximation to the potential is Hölder continuous. We also prove that the Born approximation converges to the potential in the high-energy limit. Moreover, we give an explicit formula for the Fourier transform of the Born approximation at any fixed energy, and illustrate how it can be used as the basis of an accurate procedure to approximate a potential from its Dirichlet-to-Neumann map.
△ Less
Submitted 10 January, 2025;
originally announced January 2025.
-
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.
-
Concentration of Quasimodes for Perturbed Harmonic Oscillators
Authors:
Víctor Arnaiz,
Fabricio Macià
Abstract:
In this work, concentration properties of quasimodes for perturbed semiclassical harmonic oscillators are studied. The starting point of this research comes from the fact that, in the presence of resonances between frequencies of the harmonic oscillator and for a generic bounded perturbation, the set of semiclassical measures for quasimodes of sufficiently small width is strictly smaller than the…
▽ More
In this work, concentration properties of quasimodes for perturbed semiclassical harmonic oscillators are studied. The starting point of this research comes from the fact that, in the presence of resonances between frequencies of the harmonic oscillator and for a generic bounded perturbation, the set of semiclassical measures for quasimodes of sufficiently small width is strictly smaller than the corresponding set of semiclassical measures for the unperturbed system. In this work we precise the description of this set taking into account the Diophantine properties of the vector of frequencies, the separation between clusters of eigenvalues in the spectrum produced by the presence of a perturbation, and the dynamical properties of the classical Hamiltonian flow generated by the average of the symbol of the perturbation by the harmonic oscillator flow. In particular, for the perturbed two-dimensional periodic harmonic oscillator, we characterize the set of semiclassical measures of quasimodes with a width that is critical for this problem. Two of the main ingredients in the proof of these results, which are of independent interest, are: (i) a novel construction of quasimodes based on propagation of coherent states by several commuting flows and (ii) a general quantum Birkhoff normal form for harmonic oscillators.
△ Less
Submitted 21 June, 2022;
originally announced June 2022.
-
The Born approximation in the three-dimensional Calderón problem II: Numerical reconstruction in the radial case
Authors:
Juan A. Barceló,
Carlos Castro,
Fabricio Macià,
Cristóbal J. Meroño
Abstract:
In this work we illustrate a number of properties of the Born approximation in the three-dimensional Calderón inverse conductivity problem by numerical experiments. The results are based on an explicit representation formula for the Born approximation recently introduced by the authors. We focus on the particular case of radial conductivities in the ball $B_R \subset \mathbb{R}^3 $ of radius $R$,…
▽ More
In this work we illustrate a number of properties of the Born approximation in the three-dimensional Calderón inverse conductivity problem by numerical experiments. The results are based on an explicit representation formula for the Born approximation recently introduced by the authors. We focus on the particular case of radial conductivities in the ball $B_R \subset \mathbb{R}^3 $ of radius $R$, in which the linearization of the Calderón problem is equivalent to a Hausdorff moment problem. We give numerical evidences that the Born approximation is well defined for $L^{\infty}$ conductivities, and we present a novel numerical algorithm to reconstruct a radial conductivity from the Born approximation under a suitable smallness assumption. We also show that the Born approximation has depth-dependent uniqueness and approximation capabilities depending on the distance (depth) to the boundary $\partial B_R$. We then investigate how increasing the radius $R$ affects the quality of the Born approximation, and the existence of a scattering limit as $R\to \infty$. Similar properties are also illustrated in the inverse boundary problem for the Schrödinger operator $-Δ+q$, and strong recovery of singularity results are observed in this case.
△ Less
Submitted 31 May, 2022;
originally announced May 2022.
-
The Born approximation in the three-dimensional Calderón problem
Authors:
Juan A. Barceló,
Carlos Castro,
Fabricio Macià,
Cristóbal J. Meroño
Abstract:
Uniqueness and reconstruction in the three-dimensional Calderón inverse conductivity problem can be reduced to the study of the inverse boundary problem for Schrödinger operators $-Δ+q $. We study the Born approximation of $q$ in the ball, which amounts to studying the linearization of the inverse problem. We first analyze this approximation for real and radial potentials in any dimension…
▽ More
Uniqueness and reconstruction in the three-dimensional Calderón inverse conductivity problem can be reduced to the study of the inverse boundary problem for Schrödinger operators $-Δ+q $. We study the Born approximation of $q$ in the ball, which amounts to studying the linearization of the inverse problem. We first analyze this approximation for real and radial potentials in any dimension $d\ge 3$. We show that this approximation satisfies a closed formula that only involves the spectrum of the Dirichlet-to-Neumann map associated to $-Δ+ q$, which is closely related to a particular moment problem. We then turn to general real and essentially bounded potentials in three dimensions and introduce the notion of averaged Born approximation, which captures the exact invariance properties of the inverse problem. We obtain explicit formulas for the averaged Born approximation in terms of the matrix elements of the Dirichlet to Neumann map in the basis spherical harmonics. To show that the averaged Born approximation does not destroy information on the potential, we also study the high-energy behavior of the matrix elements of the Dirichlet to Neumann map.
△ Less
Submitted 1 June, 2022; v1 submitted 14 September, 2021;
originally announced September 2021.
-
Observability results related to fractional Schrödinger operators
Authors:
Fabricio Macià
Abstract:
We establish observability inequalities for various problems involving fractional Schrödinger operators $(-Δ)^{α/2}+V$, $α>0$, on a compact Riemannian manifold. Observability from an open set for the corresponding fractional Schrödinger evolution equation with $α>1$ is proved to hold as soon as the observation set satisfies the Geometric Control Condition; it is also shown that this condition is n…
▽ More
We establish observability inequalities for various problems involving fractional Schrödinger operators $(-Δ)^{α/2}+V$, $α>0$, on a compact Riemannian manifold. Observability from an open set for the corresponding fractional Schrödinger evolution equation with $α>1$ is proved to hold as soon as the observation set satisfies the Geometric Control Condition; it is also shown that this condition is necessary when the manifold is the $d$-dimensional sphere equipped with the standard metric. This is in stark contrast with the case of eigenfunctions. We construct potentials on the two-sphere with the property that there exist two points on the sphere such that eigenfunctions of $-Δ+V$ are uniformly observable from an arbitrarily small neighborhood of those two points. This condition is much weaker than the Geometric Control Condition, which is necessary for uniform observability of eigenfunctions for the free Laplacian on the sphere. The same result also holds for eigenfunctions of $(-Δ)^{α/2}+V$, for any $α>0$.
△ Less
Submitted 16 December, 2020;
originally announced December 2020.
-
Effective mass theorems with Bloch modes crossings
Authors:
Victor Chabu,
Clotilde Fermanian Kammerer,
Fabricio Macià
Abstract:
We study a Schr{ö}dinger equation modeling the dynamics of an electron in a crystal in the asymptotic regime of small wavelength comparable to the characteristic scale of the crystal. Using Floquet Bloch decomposition, we obtain a description of the limit of time averaged energy densities. We make rather general assumption assuming that the initial data are uniformly bounded in a high order Sobole…
▽ More
We study a Schr{ö}dinger equation modeling the dynamics of an electron in a crystal in the asymptotic regime of small wavelength comparable to the characteristic scale of the crystal. Using Floquet Bloch decomposition, we obtain a description of the limit of time averaged energy densities. We make rather general assumption assuming that the initial data are uniformly bounded in a high order Sobolev spaces and that the crossings between Bloch modes are at worst conical. We show that despite the singularity they create, conical crossing do not trap the energy and do not prevent dispersion. We also investigate the interactions between modes that can occurred when there are some degenerate crossings between Bloch bands.
△ Less
Submitted 5 January, 2022; v1 submitted 7 December, 2020;
originally announced December 2020.
-
Localization and delocalization of eigenmodes of Harmonic Oscillators
Authors:
Víctor Arnaiz,
Fabricio Macià
Abstract:
We characterize quantum limits and semi-classical measures corresponding to sequences of eigenfunctions for systems of coupled quantum harmonic oscillators with arbitrary frequencies. The structure of the set of semi-classical measures turns out to depend strongly on the arithmetic relations between frequencies of each decoupled oscillator. In particular, we show that as soon as these frequencies…
▽ More
We characterize quantum limits and semi-classical measures corresponding to sequences of eigenfunctions for systems of coupled quantum harmonic oscillators with arbitrary frequencies. The structure of the set of semi-classical measures turns out to depend strongly on the arithmetic relations between frequencies of each decoupled oscillator. In particular, we show that as soon as these frequencies are not rational multiples of a fixed fundamental frequency, the set of semi-classical measures is not convex and therefore, infinitely many measures that are invariant under the classical harmonic oscillator are not semi-classical measures.
△ Less
Submitted 16 December, 2020; v1 submitted 26 October, 2020;
originally announced October 2020.
-
Semiclassical analysis of dispersion phenomena
Authors:
Victor Chabu,
Clotilde Fermanian-Kammerer,
Fabricio Macià
Abstract:
Our aim in this work is to give some quantitative insight on the dispersive effects exhibited by solutions of a semiclassical Schr{ö}dinger-type equation in R d. We describe quantitatively the localisation of the energy in a long-time semiclassical limit within this non compact geometry and exhibit conditions under which the energy remains localized on compact sets. We also explain how our results…
▽ More
Our aim in this work is to give some quantitative insight on the dispersive effects exhibited by solutions of a semiclassical Schr{ö}dinger-type equation in R d. We describe quantitatively the localisation of the energy in a long-time semiclassical limit within this non compact geometry and exhibit conditions under which the energy remains localized on compact sets. We also explain how our results can be applied in a straightforward way to describe obstructions to the validity of smoothing type estimates.
△ Less
Submitted 23 March, 2018;
originally announced March 2018.
-
Wigner measures and effective mass theorems
Authors:
Victor Chabu,
Clotilde Fermanian-Kammerer,
Fabricio Macià
Abstract:
We study a semi-classical Schr{ö}dinger equation which describes the dynamics of an electron in a crystal in the presence of impurities. It is well-known that under suitable assumptions on the initial data, the wave function can be approximated in the semi-classical limit by the solution of a simpler equation, the effective mass equation. Using Floquet-Bloch decomposition and with a non-degeneracy…
▽ More
We study a semi-classical Schr{ö}dinger equation which describes the dynamics of an electron in a crystal in the presence of impurities. It is well-known that under suitable assumptions on the initial data, the wave function can be approximated in the semi-classical limit by the solution of a simpler equation, the effective mass equation. Using Floquet-Bloch decomposition and with a non-degeneracy condition on the critical points of the Bloch bands, as it is classical in this subject, we establish effective mass equations for more general initial data. Then, when the critical points are degenerated (which may occur in dimension strictly larger than one), we prove that a similar analysis can be performed, leading to a new type of effective mass equations which are operator-valued and of Heisenberg form. Our analysis relies on Wigner measure theory and, more precisely, to its applications to the analysis of dispersion effects.
△ Less
Submitted 20 September, 2019; v1 submitted 20 March, 2018;
originally announced March 2018.
-
Two-microlocal regularity of quasimodes on the torus
Authors:
Fabricio Macià,
Gabriel Rivière
Abstract:
We study the regularity of stationary and time-dependent solutions to strong perturbations of the free Schrödinger equation on two-dimensional flat tori. This is achieved by performing a second microlocalization related to the size of the perturbation and by analysing concentration and nonconcentration properties at this new scale. In particular, we show that sufficiently accurate quasimodes can o…
▽ More
We study the regularity of stationary and time-dependent solutions to strong perturbations of the free Schrödinger equation on two-dimensional flat tori. This is achieved by performing a second microlocalization related to the size of the perturbation and by analysing concentration and nonconcentration properties at this new scale. In particular, we show that sufficiently accurate quasimodes can only concentrate on the set of critical points of the average of the potential along geodesics.
△ Less
Submitted 29 August, 2017;
originally announced August 2017.
-
Observability and quantum limits for the Schrödinger equation on the sphere
Authors:
Fabricio Macià,
Gabriel Riviere
Abstract:
In this note, we describe our recent results on semiclassical measures for the Schr{ö}dinger evolution on Zoll manifolds. We focus on the particular case of eigenmodes of the Schr{ö}dinger operator on the sphere endowed with its canonical metric. We also recall the relation of this problem with the observability question from control theory. In particular, we exhibit examples of open sets and pote…
▽ More
In this note, we describe our recent results on semiclassical measures for the Schr{ö}dinger evolution on Zoll manifolds. We focus on the particular case of eigenmodes of the Schr{ö}dinger operator on the sphere endowed with its canonical metric. We also recall the relation of this problem with the observability question from control theory. In particular, we exhibit examples of open sets and potentials on the 2-sphere for which observability fails for the evolution problem while it holds for the stationary one. Finally, we give some new results in the case where the Radon transform of the potential identically vanishes.
△ Less
Submitted 7 February, 2017;
originally announced February 2017.
-
Concentration and non-concentration for the Schrödinger evolution on Zoll manifolds
Authors:
Fabricio Macià,
Gabriel Rivière
Abstract:
We study the long time dynamics of the Schrödinger equation on Zoll manifolds. We establish criteria under which the solutions of the Schrödinger equation can or cannot concentrate on a given closed geodesic. As an application, we derive some results on the set of semiclassical measures for eigenfunctions of Schrödinger operators: we prove that adding a potential to the Laplacian on the sphere res…
▽ More
We study the long time dynamics of the Schrödinger equation on Zoll manifolds. We establish criteria under which the solutions of the Schrödinger equation can or cannot concentrate on a given closed geodesic. As an application, we derive some results on the set of semiclassical measures for eigenfunctions of Schrödinger operators: we prove that adding a potential to the Laplacian on the sphere results on the existence of geodesics $γ$ such that $δ_γ$ cannot be obtained as a semiclassical measure for some sequence of eigenfunctions. We also show that the same phenomenon occurs for the free Laplacian on certain Zoll surfaces.
△ Less
Submitted 19 May, 2015;
originally announced May 2015.
-
Delocalization of quasimodes on the disk
Authors:
Nalini Anantharaman,
Matthieu Léautaud,
Fabricio Macià
Abstract:
This note deals with semiclassical measures associated to {(sufficiently accurate)} quasimodes $(u_h)$ for the Laplace-Dirichlet operator on the disk. In this time-independent set-up, we simplify the statements of our preprint arXiv:1406.0681 and their proofs. We describe the restriction of semiclassical measures to every invariant torus in terms of two-microlocal measures. As corollaries, we show…
▽ More
This note deals with semiclassical measures associated to {(sufficiently accurate)} quasimodes $(u_h)$ for the Laplace-Dirichlet operator on the disk. In this time-independent set-up, we simplify the statements of our preprint arXiv:1406.0681 and their proofs. We describe the restriction of semiclassical measures to every invariant torus in terms of two-microlocal measures. As corollaries, we show regularity and delocalization properties for limit measures of $|u_h|^2 dx$: these are absolutely continuous in the interior of the disk and charge every open set intersecting the boundary.
△ Less
Submitted 16 April, 2015;
originally announced April 2015.
-
Wigner measures and observability for the Schrödinger equation on the disk
Authors:
Nalini Anantharaman,
Matthieu Léautaud,
Fabricio Macià
Abstract:
We analyse the structure of semiclassical and microlocal Wigner measures for solutions to the linear Schrödinger equation on the disk, with Dirichlet boundary conditions.
Our approach links the propagation of singularities beyond geometric optics with the completely integrable nature of the billiard in the disk. We prove a "structure theorem", expressing the restriction of the Wigner measures…
▽ More
We analyse the structure of semiclassical and microlocal Wigner measures for solutions to the linear Schrödinger equation on the disk, with Dirichlet boundary conditions.
Our approach links the propagation of singularities beyond geometric optics with the completely integrable nature of the billiard in the disk. We prove a "structure theorem", expressing the restriction of the Wigner measures on each invariant torus in terms of {\em second-microlocal measures}. They are obtained by performing a finer localization in phase space around each of these tori, at the limit of the uncertainty principle, and are shown to propagate according to Heisenberg equations on the circle.
Our construction yields as corollaries (a) that the disintegration of the Wigner measures is absolutely continuous in the angular variable, which is an expression of the dispersive properties of the equation; (b) an observability inequality, saying that the $L^2$-norm of a solution on any open subset intersecting the boundary (resp. the $L^2$-norm of the Neumann trace on any nonempty open set of the boundary) controls its full $L^2$-norm (resp. $H^1$-norm). These results show in particular that the energy of solutions cannot concentrate on periodic trajectories of the billiard flow other than the boundary.
△ Less
Submitted 16 April, 2015; v1 submitted 3 June, 2014;
originally announced June 2014.
-
Kinetic theory and numerical simulations of two-species coagulation
Authors:
Carlos Escudero,
Fabricio Macia,
Raul Toral,
Juan J. L. Velazquez
Abstract:
In this work we study the stochastic process of two-species coagulation. This process consists in the aggregation dynamics taking place in a ring. Particles and clusters of particles are set in this ring and they can move either clockwise or counterclockwise. They have a probability to aggregate forming larger clusters when they collide with another particle or cluster. We study the stochastic pro…
▽ More
In this work we study the stochastic process of two-species coagulation. This process consists in the aggregation dynamics taking place in a ring. Particles and clusters of particles are set in this ring and they can move either clockwise or counterclockwise. They have a probability to aggregate forming larger clusters when they collide with another particle or cluster. We study the stochastic process both analytically and numerically. Analytically, we derive a kinetic theory which approximately describes the process dynamics. One of our strongest assumptions in this respect is the so called well-stirred limit, that allows neglecting the appearance of spatial coordinates in the theory, so this becomes effectively reduced to a zeroth dimensional model. We determine the long time behavior of such a model, making emphasis in one special case in which it displays self-similar solutions. In particular these calculations answer the question of how the system gets ordered, with all particles and clusters moving in the same direction, in the long time. We compare our analytical results with direct numerical simulations of the stochastic process and both corroborate its predictions and check its limitations. In particular, we numerically confirm the ordering dynamics predicted by the kinetic theory and explore properties of the realizations of the stochastic process which are not accessible to our theoretical approach.
△ Less
Submitted 19 April, 2014;
originally announced April 2014.
-
Semiclassical Completely Integrable Systems : Long-Time Dynamics And Observability Via Two-Microlocal Wigner Measures
Authors:
Nalini Anantharaman,
Clotilde Fermanian Kammerer,
Fabricio Macià
Abstract:
We look at the long-time behaviour of solutions to a semi-classical Schrödinger equation on the torus. We consider time scales which go to infinity when the semi-classical parameter goes to zero and we associate with each time-scale the set of semi-classical measures associated with all possible choices of initial data. On each classical invariant torus, the structure of semi-classical measures…
▽ More
We look at the long-time behaviour of solutions to a semi-classical Schrödinger equation on the torus. We consider time scales which go to infinity when the semi-classical parameter goes to zero and we associate with each time-scale the set of semi-classical measures associated with all possible choices of initial data. On each classical invariant torus, the structure of semi-classical measures is described in terms of two-microlocal measures, obeying explicit propagation laws. We apply this construction in two directions. We first analyse the regularity of semi-classical measures, and we emphasize the existence of a threshold : for time-scales below this threshold, the set of semi-classical measures contains measures which are singular with respect to Lebesgue measure in the "position" variable, while at (and beyond) the threshold, all the semi-classical measures are absolutely continuous in the "position" variable, reflecting the dispersive properties of the equation. Second, the techniques of two- microlocal analysis introduced in the paper are used to prove semiclassical observability estimates. The results apply as well to general quantum completely integrable systems.
△ Less
Submitted 24 March, 2014;
originally announced March 2014.
-
Long-time dynamics of completely integrable Schrödinger flows on the torus
Authors:
Nalini Anantharaman,
Clotilde Fermanian-Kammerer,
Fabricio Macià
Abstract:
In this article, we are concerned with long-time behaviour of solutions to a semi-classical Schrödinger-type equation on the torus. We consider time scales which go to infinity when the semi-classical parameter goes to zero and we associate with each time-scale the set of semi-classical measures associated with all possible choices of initial data. We emphasize the existence of a threshold: for ti…
▽ More
In this article, we are concerned with long-time behaviour of solutions to a semi-classical Schrödinger-type equation on the torus. We consider time scales which go to infinity when the semi-classical parameter goes to zero and we associate with each time-scale the set of semi-classical measures associated with all possible choices of initial data. We emphasize the existence of a threshold: for time-scales below this threshold, the set of semi-classical measures contains measures which are singular with respect to Lebesgue measure in the "position" variable, while at (and beyond) the threshold, all the semi-classical measures are absolutely continuous in the "position" variable.
△ Less
Submitted 7 November, 2012;
originally announced November 2012.
-
Uniform estimates for the solutions of the Schrödinger equation on the torus and regularity of semiclassical measures
Authors:
Tayeb Aïssiou,
Dmitry Jakobson,
Fabricio Macià
Abstract:
We establish uniform bounds for the solutions $e^{itΔ}u$ of the Schrödinger equation on arithmetic flat tori, generalising earlier results by J. Bourgain. We also study the regularity properties of weak-* limits of sequences of densities of the form $|e^{itΔ}u_{n}|^{2}$ corresponding to highly oscillating sequences of initial data $(u_{n})$. We obtain improved regularity properties of those limits…
▽ More
We establish uniform bounds for the solutions $e^{itΔ}u$ of the Schrödinger equation on arithmetic flat tori, generalising earlier results by J. Bourgain. We also study the regularity properties of weak-* limits of sequences of densities of the form $|e^{itΔ}u_{n}|^{2}$ corresponding to highly oscillating sequences of initial data $(u_{n})$. We obtain improved regularity properties of those limits using previous results by N. Anantharaman and F. Macià on the structure of semiclassical measures for solutions to the Schrödinger equation on the torus.
△ Less
Submitted 13 March, 2012; v1 submitted 29 October, 2011;
originally announced October 2011.
-
The dynamics of the Schrödinger flow from the point of view of semiclassical measures
Authors:
Nalini Anantharaman,
Fabricio Macia
Abstract:
On a compact Riemannian manifold, we study the various dynamical properties of the Schrödinger flow $(e^{itΔ/2})$, through the notion of semiclassical measures and the quantum-classical correspondence between the Schrödinger equation and the geodesic flow. More precisely, we are interested in its high-frequency behavior, as well as its regularizing and unique continuation-type properties. We surve…
▽ More
On a compact Riemannian manifold, we study the various dynamical properties of the Schrödinger flow $(e^{itΔ/2})$, through the notion of semiclassical measures and the quantum-classical correspondence between the Schrödinger equation and the geodesic flow. More precisely, we are interested in its high-frequency behavior, as well as its regularizing and unique continuation-type properties. We survey a variety of results illustrating the difference between positive, negative and vanishing curvature.
△ Less
Submitted 9 October, 2011; v1 submitted 4 February, 2011;
originally announced February 2011.
-
Semiclassical measures for the Schrödinger equation on the torus
Authors:
Nalini Anantharaman,
Fabricio Macià
Abstract:
In this article, the structure of semiclassical measures for solutions to the linear Schrödinger equation on the torus is analysed. We show that the disintegration of such a measure on every invariant lagrangian torus is absolutely continuous with respect to the Lebesgue measure. We obtain an expression of the Radon-Nikodym derivative in terms of the sequence of initial data and show that it satis…
▽ More
In this article, the structure of semiclassical measures for solutions to the linear Schrödinger equation on the torus is analysed. We show that the disintegration of such a measure on every invariant lagrangian torus is absolutely continuous with respect to the Lebesgue measure. We obtain an expression of the Radon-Nikodym derivative in terms of the sequence of initial data and show that it satisfies an explicit propagation law. As a consequence, we also prove an observability inequality, saying that the $L^2$-norm of a solution on any open subset of the torus controls the full $L^2$-norm.
△ Less
Submitted 13 September, 2011; v1 submitted 29 April, 2010;
originally announced May 2010.
-
Concentration of symmetric eigenfunctions
Authors:
Daniel Azagra,
Fabricio Macia
Abstract:
In this article we examine the concentration and oscillation effects developed by high-frequency eigenfunctions of the Laplace operator in a compact Riemannian manifold. More precisely, we are interested in the structure of the possible invariant semiclassical measures obtained as limits of Wigner measures corresponding to eigenfunctions. These measures describe simultaneously the concentration an…
▽ More
In this article we examine the concentration and oscillation effects developed by high-frequency eigenfunctions of the Laplace operator in a compact Riemannian manifold. More precisely, we are interested in the structure of the possible invariant semiclassical measures obtained as limits of Wigner measures corresponding to eigenfunctions. These measures describe simultaneously the concentration and oscillation effects developed by a sequence of eigenfunctions. We present some results showing how to obtain invariant semiclassical measures from eigenfunctions with prescribed symmetries. As an application of these results, we give a simple proof of the fact that in a manifold of constant positive sectional curvature, every measure which is invariant by the geodesic flow is an invariant semiclassical measure.
△ Less
Submitted 15 April, 2010;
originally announced April 2010.
-
High-frequency propagation for the Schroedinger equation on the torus
Authors:
Fabricio Macia
Abstract:
The main objective of this paper is understanding the propagation laws obeyed by high-frequency limits of Wigner distributions associated to solutions to the Schroedinger equation on the standard d-dimensional torus T^{d}. From the point of view of semiclassical analysis, our setting corresponds to performing the semiclassical limit at times of order 1/h, as the characteristic wave-length h of t…
▽ More
The main objective of this paper is understanding the propagation laws obeyed by high-frequency limits of Wigner distributions associated to solutions to the Schroedinger equation on the standard d-dimensional torus T^{d}. From the point of view of semiclassical analysis, our setting corresponds to performing the semiclassical limit at times of order 1/h, as the characteristic wave-length h of the initial data tends to zero. It turns out that, in spite that for fixed h every Wigner distribution satisfies a Liouville equation, their limits are no longer uniquely determined by those of the Wigner distributions of the initial data. We characterize them in terms of a new object, the resonant Wigner distribution, which describes high-frequency effects associated to the fraction of the energy of the sequence of initial data that concentrates around the set of resonant frequencies in phase-space T^{*}T^{d}. This construction is related to that of the so-called two-microlocal semiclassical measures. We prove that any limit μof the Wigner distributions corresponding to solutions to the Schroedinger equation on the torus is completely determined by the limits of both the Wigner distribution and the resonant Wigner distribution of the initial data; moreover, μfollows a propagation law described by a family of density-matrix Schroedinger equations on the periodic geodesics of T^{d}. Finally, we present some connections with the study of the dispersive behavior of the Schroedinger flow (in particular, with Strichartz estimates). Among these, we show that the limits of sequences of position densities of solutions to the Schroedinger equation on T^2 are absolutely continuous with respect to the Lebesgue measure.
△ Less
Submitted 7 October, 2009; v1 submitted 31 August, 2009;
originally announced August 2009.
-
Semiclassical measures and the Schroedinger flow on Riemannian manifolds
Authors:
Fabricio Macia
Abstract:
In this article we study limits of Wigner distributions (the so-called semiclassical measures) corresponding to sequences of solutions to the semiclassical Schroedinger equation at times scales $α_{h}$ tending to infinity as the semiclassical parameter $h$ tends to zero (when $α_{h}=1/h$ this is equivalent to consider solutions to the non-semiclassical Schreodinger equation). Some general result…
▽ More
In this article we study limits of Wigner distributions (the so-called semiclassical measures) corresponding to sequences of solutions to the semiclassical Schroedinger equation at times scales $α_{h}$ tending to infinity as the semiclassical parameter $h$ tends to zero (when $α_{h}=1/h$ this is equivalent to consider solutions to the non-semiclassical Schreodinger equation). Some general results are presented, among which a weak version of Egorov's theorem that holds in this setting. A complete characterization is given for the Euclidean space and Zoll manifolds (that is, manifolds with periodic geodesic flow) via averaging formulae relating the semiclassical measures corresponding to the evolution to those of the initial states. The case of the flat torus is also addressed; it is shown that non-classical behavior may occur when energy concentrates on resonant frequencies. Moreover, we present an example showing that the semiclassical measures associated to a sequence of states no longer determines those of their evolutions. Finally, some results concerning the equation with a potential are presented.
△ Less
Submitted 6 April, 2009; v1 submitted 6 December, 2007;
originally announced December 2007.
-
Generalized motion of level sets by functions of their curvatures on Riemannian manifolds
Authors:
D. Azagra,
M. Jimenez-Sevilla,
F. Macia
Abstract:
We consider the generalized evolution of compact level sets by functions of their normal vectors and second fundamental forms on a Riemannian manifold M. The level sets of a function $u:M\to\mathbb{R}$ evolve in such a way whenever u solves an equation $u_{t}+F(Du, D^{2}u)=0$, for some real function F satisfying a geometric condition. We show existence and uniqueness of viscosity solutions to th…
▽ More
We consider the generalized evolution of compact level sets by functions of their normal vectors and second fundamental forms on a Riemannian manifold M. The level sets of a function $u:M\to\mathbb{R}$ evolve in such a way whenever u solves an equation $u_{t}+F(Du, D^{2}u)=0$, for some real function F satisfying a geometric condition. We show existence and uniqueness of viscosity solutions to this equation under the assumptions that M has nonnegative curvature, F is continuous off Du=0, (degenerate) elliptic, and locally invariant by parallel translation. We then prove that this approach is geometrically consistent, hence it allows to define a generalized evolution of level sets by very general, singular functions of their curvatures. For instance, these assumptions on F are satisfied when F is given by the evolutions of level sets by their mean curvature (even in arbitrary codimension) or by their positive Gaussian curvature. We also prove that the generalized evolution is consistent with the classical motion by the corresponding function of the curvature, whenever the latter exists. When M is not of nonnegative curvature, the same results hold if one additionally requires that F is uniformly continuous with respect to D^2 u. Finally we give some counterexamples showing that several well known properties of the evolutions in $\mathbb{R}^{n}$ are no longer true when M has negative sectional curvature.
△ Less
Submitted 28 January, 2008; v1 submitted 13 July, 2007;
originally announced July 2007.
-
Wigner measures in the discrete setting: high-frequency analysis of sampling & reconstruction operators
Authors:
Fabricio Macia
Abstract:
The goal of this article is that of understanding how the oscillation and concentration effects developed by a sequence of functions in $\mathbb{R}^{d} $ are modified by the action of Sampling and Reconstruction operators on regular grids. Our analysis is performed in terms of Wigner and defect measures, which provide a quantitative description of the high frequency behavior of bounded sequences…
▽ More
The goal of this article is that of understanding how the oscillation and concentration effects developed by a sequence of functions in $\mathbb{R}^{d} $ are modified by the action of Sampling and Reconstruction operators on regular grids. Our analysis is performed in terms of Wigner and defect measures, which provide a quantitative description of the high frequency behavior of bounded sequences in $L^{2}(mathbb{R}^{d}) $. We actually present explicit formulas that make possible to compute such measures for sampled/reconstructed sequences. As a consequence, we are able to characterize sampling and reconstruction operators that preserve or filter the high-frequency behavior of specific classes of sequences. The proofs of our results rely on the construction and manipulation of Wigner measures associated to sequences of discrete functions.
△ Less
Submitted 23 July, 2003;
originally announced July 2003.
