-
Homogenization on parallelizable Riemannian manifolds
Authors:
Daniel Faraco,
Luis Guijarro,
Yaroslav Kurylev,
Alberto Ruiz
Abstract:
We consider the problem of finding the homogenization limit of oscillating linear elliptic equations on an arbitrary parallelizable manifold $(M,g,Γ)$. We replicate the concept of two-scale convergence by pulling back tensors $T$ defined on the torus bundle $\mathbb{T}M$ to $M$. The process consist of two steps: localization in the slow variable through Voronoi domains, and inducing local periodic…
▽ More
We consider the problem of finding the homogenization limit of oscillating linear elliptic equations on an arbitrary parallelizable manifold $(M,g,Γ)$. We replicate the concept of two-scale convergence by pulling back tensors $T$ defined on the torus bundle $\mathbb{T}M$ to $M$. The process consist of two steps: localization in the slow variable through Voronoi domains, and inducing local periodicity in the fast variable from the local exponential map in combination with the geometry of the torus bundle. The procedure yields explicit cell formulae for the homogenization limit and as a byproduct a theory of two-scale convergence of tensors of arbitrary order.
△ Less
Submitted 18 April, 2024;
originally announced April 2024.
-
Approximations of the connection Laplacian spectra
Authors:
Dmitri Burago,
Sergei Ivanov,
Yaroslav Kurylev,
**peng Lu
Abstract:
We consider a convolution-type operator on vector bundles over metric-measure spaces. This operator extends the analogous convolution Laplacian on functions in our earlier work to vector bundles, and is a natural extension of the graph connection Laplacian. We prove that for Euclidean or Hermitian connections on closed Riemannian manifolds, the spectrum of this operator and that of the graph conne…
▽ More
We consider a convolution-type operator on vector bundles over metric-measure spaces. This operator extends the analogous convolution Laplacian on functions in our earlier work to vector bundles, and is a natural extension of the graph connection Laplacian. We prove that for Euclidean or Hermitian connections on closed Riemannian manifolds, the spectrum of this operator and that of the graph connection Laplacian both approximate the spectrum of the connection Laplacian.
△ Less
Submitted 22 February, 2022; v1 submitted 17 December, 2020;
originally announced December 2020.
-
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.
-
Reconstruction and stability in Gel'fand's inverse interior spectral problem
Authors:
Roberta Bosi,
Yaroslav Kurylev,
Matti Lassas
Abstract:
Assume that $M$ is a compact Riemannian manifold of bounded geometry given by restrictions on its diameter, Ricci curvature and injectivity radius. Assume we are given, with some error, the first eigenvalues of the Laplacian $Δ_g$ on $M$ as well as the corresponding eigenfunctions restricted on an open set in $M$. We then construct a stable approximation to the manifold $(M,g)$. Namely, we constru…
▽ More
Assume that $M$ is a compact Riemannian manifold of bounded geometry given by restrictions on its diameter, Ricci curvature and injectivity radius. Assume we are given, with some error, the first eigenvalues of the Laplacian $Δ_g$ on $M$ as well as the corresponding eigenfunctions restricted on an open set in $M$. We then construct a stable approximation to the manifold $(M,g)$. Namely, we construct a metric space and a Riemannian manifold which differ, in a proper sense, just a little from $M$ when the above data are given with a small error. We give an explicit $\log\log$-type stability estimate on how the constructed manifold and the metric on it depend on the errors in the given data. Moreover a similar stability estimate is derived for the Gel'fand's inverse problem. The proof is based on methods from geometric convergence, a quantitative stability estimate for the unique continuation and a new version of the geometric Boundary Control method.
△ Less
Submitted 27 December, 2019; v1 submitted 25 February, 2017;
originally announced February 2017.
-
Hyperbolic inverse problem with data on disjoint sets
Authors:
Yavar Kian,
Yaroslav Kurylev,
Matti Lassas,
Lauri Oksanen
Abstract:
We consider a restricted Dirichlet-to-Neumann map associated to a wave type operator on a Riemannian manifold with boundary. The restriction corresponds to the case where the Dirichlet traces are supported on one subset of the boundary and the Neumann traces are restricted on another subset. We show that the restricted Dirichlet-to-Neumann map determines the lower order terms in the wave equation,…
▽ More
We consider a restricted Dirichlet-to-Neumann map associated to a wave type operator on a Riemannian manifold with boundary. The restriction corresponds to the case where the Dirichlet traces are supported on one subset of the boundary and the Neumann traces are restricted on another subset. We show that the restricted Dirichlet-to-Neumann map determines the lower order terms in the wave equation, up the natural gauge invariances, along a convex foliation of the manifold. We allow the lower order terms to be non-self-adjoint, and in particular, the corresponding physical system may have dissipation of energy.
△ Less
Submitted 14 June, 2018; v1 submitted 11 February, 2016;
originally announced February 2016.
-
Inverse problems for the connection Laplacian
Authors:
Yaroslav Kurylev,
Lauri Oksanen,
Gabriel P. Paternain
Abstract:
We reconstruct a Riemannian manifold and a Hermitian vector bundle with compatible connection from the hyperbolic Dirichlet-to-Neumann operator associated with the wave equation of the connection Laplacian. The boundary data is local and the reconstruction is up to the natural gauge transformations of the problem. As a corollary we derive an elliptic analogue of the main result which solves a Cald…
▽ More
We reconstruct a Riemannian manifold and a Hermitian vector bundle with compatible connection from the hyperbolic Dirichlet-to-Neumann operator associated with the wave equation of the connection Laplacian. The boundary data is local and the reconstruction is up to the natural gauge transformations of the problem. As a corollary we derive an elliptic analogue of the main result which solves a Calderon problem for connections on a cylinder.
△ Less
Submitted 22 May, 2017; v1 submitted 9 September, 2015;
originally announced September 2015.
-
Reconstruction and interpolation of manifolds I: The geometric Whitney problem
Authors:
Charles Fefferman,
Sergei Ivanov,
Yaroslav Kurylev,
Matti Lassas,
Hariharan Narayanan
Abstract:
We study the geometric Whitney problem on how a Riemannian manifold $(M,g)$ can be constructed to approximate a metric space $(X,d_X)$. This problem is closely related to manifold reconstruction where a smooth $n$-dimensional submanifold $S\subset {\mathbb R}^m$, $m>n$ needs to be constructed to approximate a point cloud in ${\mathbb R}^m$. These questions are encountered in differential geometry,…
▽ More
We study the geometric Whitney problem on how a Riemannian manifold $(M,g)$ can be constructed to approximate a metric space $(X,d_X)$. This problem is closely related to manifold reconstruction where a smooth $n$-dimensional submanifold $S\subset {\mathbb R}^m$, $m>n$ needs to be constructed to approximate a point cloud in ${\mathbb R}^m$. These questions are encountered in differential geometry, machine learning, and in many inverse problems encountered in applications. The determination of a Riemannian manifold includes the construction of its topology, differentiable structure, and metric.
We give constructive solutions to the above problems. Moreover, we characterize the metric spaces that can be approximated, by Riemannian manifolds with bounded geometry: We give sufficient conditions to ensure that a metric space can be approximated, in the Gromov-Hausdorff or quasi-isometric sense, by a Riemannian manifold of a fixed dimension and with bounded diameter, sectional curvature, and injectivity radius. Also, we show that similar conditions, with modified values of parameters, are necessary.
As an application of the main results we give a new characterisation of Alexandrov spaces with two-sided curvature bounds. Moreover, we characterise the subsets of Euclidean spaces that can be approximated in the Hausdorff metric by submanifolds of a fixed dimension and with bounded principal curvatures and normal injectivity radius.
We develop algorithmic procedures that solve the geometric Whitney problem for a metric space and the manifold reconstruction problem in Euclidean space, and estimate the computational complexity of these procedures.
△ Less
Submitted 14 November, 2019; v1 submitted 4 August, 2015;
originally announced August 2015.
-
Spectral stability of metric-measure Laplacians
Authors:
Dmitri Burago,
Sergei Ivanov,
Yaroslav Kurylev
Abstract:
We consider a "convolution mm-Laplacian" operator on metric-measure spaces and study its spectral properties. The definition is based on averaging over small metric balls. For reasonably nice metric-measure spaces we prove stability of convolution Laplacian's spectrum with respect to metric-measure perturbations and obtain Weyl-type estimates on the number of eigenvalues.
We consider a "convolution mm-Laplacian" operator on metric-measure spaces and study its spectral properties. The definition is based on averaging over small metric balls. For reasonably nice metric-measure spaces we prove stability of convolution Laplacian's spectrum with respect to metric-measure perturbations and obtain Weyl-type estimates on the number of eigenvalues.
△ Less
Submitted 26 August, 2018; v1 submitted 22 June, 2015;
originally announced June 2015.
-
Stability of the unique continuation for the wave operator via Tataru inequality and applications
Authors:
Roberta Bosi,
Yaroslav Kurylev,
Matti Lassas
Abstract:
In this paper we study the stability of the unique continuation in the case of the wave equation with variable coefficients independent of time. We prove a logarithmic estimate in a arbitrary domain of ${\mathbb R}^{n+1}$, where all the parameters are calculated explicitly in terms of the $C^1$-norm of the coefficients and on the other geometric properties of the problem. We use the Carleman-type…
▽ More
In this paper we study the stability of the unique continuation in the case of the wave equation with variable coefficients independent of time. We prove a logarithmic estimate in a arbitrary domain of ${\mathbb R}^{n+1}$, where all the parameters are calculated explicitly in terms of the $C^1$-norm of the coefficients and on the other geometric properties of the problem. We use the Carleman-type estimate proved by Tataru in 1995 and an iteration for locals stability. We apply the result to the case of a wave equation with data on a cylinder an we get a stable estimate for any positive time, also after the first conjugate point for the geodesics of the metric related to the variable coefficients.
△ Less
Submitted 14 August, 2015; v1 submitted 13 June, 2015;
originally announced June 2015.
-
Superdimensional Metamaterial Resonators
Authors:
Allan Greenleaf,
Henrik Kettunen,
Yaroslav Kurylev,
Matti Lassas,
Gunther Uhlmann
Abstract:
We propose a fundamentally new method for the design of metamaterial arrays, valid for any waves modeled by the Helmholtz equation, including scalar optics and acoustics. The design and analysis of these devices is based on eigenvalue and eigenfunction asymptotics of solutions to Schrödinger wave equations with harmonic and degenerate potentials. These resonators behave superdimensionally, with a…
▽ More
We propose a fundamentally new method for the design of metamaterial arrays, valid for any waves modeled by the Helmholtz equation, including scalar optics and acoustics. The design and analysis of these devices is based on eigenvalue and eigenfunction asymptotics of solutions to Schrödinger wave equations with harmonic and degenerate potentials. These resonators behave superdimensionally, with a higher local density of eigenvalues and greater concentration of waves than expected from the physical dimension, e.g., planar resonators function as 3- or higher-dimensional media, and bulk material as effectively of dimension 4 or higher. Applications include antennas with a high density of resonant frequencies and giant focussing, and are potentially broadband.
△ Less
Submitted 11 September, 2014;
originally announced September 2014.
-
Inverse problem for Einstein-scalar field equations
Authors:
Yaroslav Kurylev,
Matti Lassas,
Lauri Oksanen,
Gunther Uhlmann
Abstract:
The paper introduces a method to solve inverse problems for hyperbolic systems where the leading order terms are non-linear. We apply the method to the coupled Einstein-scalar field equations and study the question whether the structure of spacetime can be determined by making active measurements near the world line of an observer. We show that such measurements determine the topological, differen…
▽ More
The paper introduces a method to solve inverse problems for hyperbolic systems where the leading order terms are non-linear. We apply the method to the coupled Einstein-scalar field equations and study the question whether the structure of spacetime can be determined by making active measurements near the world line of an observer. We show that such measurements determine the topological, differential and conformal structure of the spacetime in the optimal chronological diamond type set containing the world line. In the case when the unknown part of the spacetime is vacuum, we can also determine the metric itself. We exploit the non-linearity of the equation to obtain a rich set of propagating singularities, produced by a non-linear interaction of singularities that propagate initially as for linear wave equations. This non-linear effect is then used as a tool to solve the inverse problem for the non-linear system. The method works even in cases where the corresponding inverse problems for linear equations remain open, and it can potentially be applied to a large class of inverse problems for non-linear hyperbolic equations encountered in practical imaging problems.
△ Less
Submitted 5 January, 2018; v1 submitted 20 May, 2014;
originally announced June 2014.
-
Inverse problems in spacetime I: Inverse problems for Einstein equations - Extended preprint version
Authors:
Yaroslav Kurylev,
Matti Lassas,
Gunther Uhlmann
Abstract:
We consider inverse problems for the coupled Einstein equations and the matter field equations on a 4-dimensional globally hyperbolic Lorentzian manifold $(M,g)$. We give a positive answer to the question: Do the active measurements, done in a neighborhood $U\subset M$ of a freely falling observed $μ=μ([s_-,s_+])$, determine the conformal structure of the spacetime in the minimal causal diamond-ty…
▽ More
We consider inverse problems for the coupled Einstein equations and the matter field equations on a 4-dimensional globally hyperbolic Lorentzian manifold $(M,g)$. We give a positive answer to the question: Do the active measurements, done in a neighborhood $U\subset M$ of a freely falling observed $μ=μ([s_-,s_+])$, determine the conformal structure of the spacetime in the minimal causal diamond-type set $V_g=J_g^+(μ(s_-))\cap J_g^-(μ(s_+))\subset M$ containing $μ$? More precisely, we consider the Einstein equations coupled with the scalar field equations and study the system $Ein(g)=T$, $T=T(g,φ)+F_1$, and $\square_gφ-\mathcal V^\prime(φ)=F_2$, where the sources $F=(F_1,F_2)$ correspond to perturbations of the physical fields which we control. The sources $F$ need to be such that the fields $(g,φ,F)$ are solutions of this system and satisfy the conservation law $\nabla_jT^{jk}=0$. Let $(\hat g,\hat φ)$ be the background fields corresponding to the vanishing source $F$. We prove that the observation of the solutions $(g,φ)$ in the set $U$ corresponding to sufficiently small sources $F$ supported in $U$ determine $V_{\hat g}$ as a differentiable manifold and the conformal structure of the metric $\hat g$ in the domain $V_{\hat g}$. The methods developed here have potential to be applied to a large class of inverse problems for non-linear hyperbolic equations encountered e.g. in various practical imaging problems.
△ Less
Submitted 18 May, 2014;
originally announced May 2014.
-
Inverse problems for Lorentzian manifolds and non-linear hyperbolic equations
Authors:
Yaroslav Kurylev,
Matti Lassas,
Gunther Uhlmann
Abstract:
We study two inverse problems on a globally hyperbolic Lorentzian manifold $(M,g)$. The problems are:
1. Passive observations in spacetime: Consider observations in a neighborhood $V\subset M$ of a time-like geodesic $μ$. Under natural causality conditions, we reconstruct the conformal type of the unknown open, relatively compact set $W\subset M$, when we are given $V$, the conformal class of…
▽ More
We study two inverse problems on a globally hyperbolic Lorentzian manifold $(M,g)$. The problems are:
1. Passive observations in spacetime: Consider observations in a neighborhood $V\subset M$ of a time-like geodesic $μ$. Under natural causality conditions, we reconstruct the conformal type of the unknown open, relatively compact set $W\subset M$, when we are given $V$, the conformal class of $g|_V$, and the light observations sets $P_V(q)$ corresponding to all source points $q$ in $W$. The light observation set $P_V(q)$ is the intersection of $V$ and the light-cone emanating from the point $q$, i.e., the points in the set $V$ where light from a point source at $q$ is observed.
2. Active measurements in spacetime: We develop a new method for inverse problems for non-linear hyperbolic equations that utilizes the non-linearity as a tool. This enables us to solve inverse problems for non-linear equations for which the corresponding problems for linear equations are still unsolved. To illustrate this method, we solve an inverse problem for semilinear wave equations with quadratic non-linearities. We assume that we are given the neighborhood $V$ of the time-like geodesic $μ$ and the source-to-solution operator that maps the source supported on $V$ to the restriction of the solution of the wave equation in $V$. When $M$ is 4-dimensional, we show that these data determine the topological, differentiable, and conformal structures of the spacetime in the maximal set where waves can propagate from $μ$ and return back to $μ$.
△ Less
Submitted 20 September, 2017; v1 submitted 14 May, 2014;
originally announced May 2014.
-
Linearization stability results and active measurements for the Einstein-scalar field equations
Authors:
Yaroslav Kurylev,
Matti Lassas,
Gunther Uhlmann
Abstract:
We study the Einstein equations coupled with the scalar field equations, $\hbox{Ein}(g)=T$, $T=T(g,φ)+F^1$, and $\square_gφ^\ell-m^2φ^\ell= F^2$, where the sources $F=(F^1, F^2)$ correspond to perturbations of the physical fields which we control. Here $φ=(φ^\ell)_{\ell=1}^L$ and $(M,g)$ is a 4-dimensional globally hyperbolic Lorentzian manifold. The sources $F$ need to be such that the fields…
▽ More
We study the Einstein equations coupled with the scalar field equations, $\hbox{Ein}(g)=T$, $T=T(g,φ)+F^1$, and $\square_gφ^\ell-m^2φ^\ell= F^2$, where the sources $F=(F^1, F^2)$ correspond to perturbations of the physical fields which we control. Here $φ=(φ^\ell)_{\ell=1}^L$ and $(M,g)$ is a 4-dimensional globally hyperbolic Lorentzian manifold. The sources $F$ need to be such that the fields $(g,φ,F)$ satisfy the conservation law $\hbox{div}_g(T)=0$. If $(g_ε,φ_ε)$ solves the above equations, $\dot g=\partial_εg_ε|_{ε=0}$, $\dotφ=φ_ε|_{ε=0}$, and $f=(f^1,f^2)= \partial_εF_ε|_{ε=0}$ solve the linearized Einstein equations and the linearized conservation law $$ \frac 12 \hat g^{pk}\hat \nabla_p f^1_{kj}+ \sum_{\ell=1}^L f^2_\ell \, \partial_j\hatφ_\ell=0, $$ where $\hat g= g_ε|_{ε=0}$ and $\hat φ= φ_ε|_{ε=0}$. Then $(\hat g,\hat φ)$ and $f$ have the linearization stability property. Here ask the converse: If $\dot g$, $\dot φ$, and $f$ solve the linearized Einstein equations and the linearized conservation law, are there $F_ε=(F^1_ε,F^2_ε)$ and $(g_ε,φ_ε)$ depending on $ε\in [0,ε_0)$, $ε_0>0$, such that $(g_ε,φ_ε)$ solves the Einstein-scalar field equations and the conservation law. When $\hat g$ and $\hat φ$ vary enough and $L\geq 5$, we prove a microlocal version of this: When $Y\subset M$ is a 2-surface and $(y,η)\in N^*Y$, there is $f$ that is a conormal distibutions wrt. the surface $Y$ with a given principal symbol at $(y,η)$ such that $(\hat g,\hat φ)$ and $f$ have the linearization stability property.
△ Less
Submitted 14 May, 2014;
originally announced May 2014.
-
Spectral theory and inverse problem on asymptotically hyperbolic orbifolds
Authors:
Hiroshi Isozaki,
Yaroslav Kurylev,
Matti Lassas
Abstract:
We consider an inverse problem associated with $n$-dimensional asymptotically hyperbolic orbifolds $(n \geq 2)$ having a finite number of cusps and regular ends. By observing solutions of the Helmholtz equation at the cusp, we introduce a generalized $S$-matrix, and then show that it determines the manifolds with its Riemannian metric and the orbifold structure.
We consider an inverse problem associated with $n$-dimensional asymptotically hyperbolic orbifolds $(n \geq 2)$ having a finite number of cusps and regular ends. By observing solutions of the Helmholtz equation at the cusp, we introduce a generalized $S$-matrix, and then show that it determines the manifolds with its Riemannian metric and the orbifold structure.
△ Less
Submitted 2 December, 2013;
originally announced December 2013.
-
G-Convergence, Dirichlet to Neumann maps and invisibility
Authors:
Daniel Faraco,
Yaroslav Kurylev,
Alberto Ruiz
Abstract:
We establish optimal conditions under which the G-convergence of linear elliptic operators implies the convergence of the corresponding Dirichlet to Neumann maps. As an application we show that the approximate cloaking isotropic materials from [ Greenleaf, A.; Kurylev, Y.; Lassas, M.; Uhlmann, G. Approximate quantum and acoustic cloaking. J. Spectr. Theory (2011), no. 1, 27--80.] are independent o…
▽ More
We establish optimal conditions under which the G-convergence of linear elliptic operators implies the convergence of the corresponding Dirichlet to Neumann maps. As an application we show that the approximate cloaking isotropic materials from [ Greenleaf, A.; Kurylev, Y.; Lassas, M.; Uhlmann, G. Approximate quantum and acoustic cloaking. J. Spectr. Theory (2011), no. 1, 27--80.] are independent of the source.
△ Less
Submitted 21 November, 2013;
originally announced November 2013.
-
Recent progress of inverse scattering theory on non-compact manifolds
Authors:
H. Isozaki,
Y. Kurylev,
M. Lassas
Abstract:
We give a brief survey for the recent development of inverse scattering theory on non-compact Riemannian manifolds. The main theme is the reconstruction of the manifold and the metric from the scattering matrix.
We give a brief survey for the recent development of inverse scattering theory on non-compact Riemannian manifolds. The main theme is the reconstruction of the manifold and the metric from the scattering matrix.
△ Less
Submitted 7 August, 2013;
originally announced August 2013.
-
Determination of structures in the space-time from local measurements: a detailed exposition
Authors:
Yaroslav Kurylev,
Matti Lassas,
Gunther Uhlmann
Abstract:
We consider inverse problems for the Einstein equation with a time-depending metric on a 4-dimensional globally hyperbolic Lorentzian manifold $(M,g)$. We formulate the concept of active measurements for relativistic models. We do this by coupling the Einstein equation with equations for scalar fields and study the system $Ein(g)=T$, $T=T(g,φ)+F_1$, and $\square_g φ=F_2+S(g,φ,F_1,F_2)$. Here…
▽ More
We consider inverse problems for the Einstein equation with a time-depending metric on a 4-dimensional globally hyperbolic Lorentzian manifold $(M,g)$. We formulate the concept of active measurements for relativistic models. We do this by coupling the Einstein equation with equations for scalar fields and study the system $Ein(g)=T$, $T=T(g,φ)+F_1$, and $\square_g φ=F_2+S(g,φ,F_1,F_2)$. Here $F=(F_1,F_2)$ correspond to the perturbations of the physical fields which we control and $S$ is a secondary source corresponding to the adaptation of the system to the perturbation so that the conservation law $div_g(T)=0$ will be satisfied.
The inverse problem we study is the question, do the observation of the solutions $(g,φ)$ in an open subset $U\subset M$ of the space-time corresponding to sources $F$ supported in $U$ determine the properties of the metric in a larger domain $W\subset M$ containing $U$. To study this problem we define the concept of light observation sets and show that these sets determine the conformal class of the metric. This corresponds to passive observations from a distant area of the space which is filled by light sources (e.g. we see light from stars varying in time). One can apply the obtained result to solve inverse problems encountered in general relativity and in various practical imaging problems.
△ Less
Submitted 29 May, 2013; v1 submitted 8 May, 2013;
originally announced May 2013.
-
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.
-
A graph discretization of the Laplace-Beltrami operator
Authors:
Dmitri Burago,
Sergei Ivanov,
Yaroslav Kurylev
Abstract:
We show that eigenvalues and eigenfunctions of the Laplace-Beltrami operator on a Riemannian manifold are approximated by eigenvalues and eigenvectors of a (suitably weighted) graph Laplace operator of a proximity graph on an epsilon-net.
We show that eigenvalues and eigenfunctions of the Laplace-Beltrami operator on a Riemannian manifold are approximated by eigenvalues and eigenvectors of a (suitably weighted) graph Laplace operator of a proximity graph on an epsilon-net.
△ Less
Submitted 9 November, 2014; v1 submitted 10 January, 2013;
originally announced January 2013.
-
Inverse Spectral Problems for Collapsing Manifolds I: Uniqueness and Stability
Authors:
Yaroslav Kurylev,
Matti Lassas,
**peng Lu,
Takao Yamaguchi
Abstract:
We consider the geometric inverse problem of determining a closed Riemannian manifold from measurements of the heat kernel in an open subset of the manifold. In this paper we analyze the stability of this problem in the class of $n$-dimensional Riemannian manifolds with bounded diameter and sectional curvature. It is well-known that a sequence in this class of manifolds can collapse to a lower dim…
▽ More
We consider the geometric inverse problem of determining a closed Riemannian manifold from measurements of the heat kernel in an open subset of the manifold. In this paper we analyze the stability of this problem in the class of $n$-dimensional Riemannian manifolds with bounded diameter and sectional curvature. It is well-known that a sequence in this class of manifolds can collapse to a lower dimensional stratified space when the injectivity radius of the sequence of manifolds goes to zero. We prove the uniqueness of the inverse problem on the limiting spaces of the collapsing manifolds. As a result, we obtain stability results for the inverse problem in the class of manifolds with bounded diameter and sectional curvature.
△ Less
Submitted 23 April, 2024; v1 submitted 26 September, 2012;
originally announced September 2012.
-
Conic singularities, generalized scattering matrix, and inverse scattering on asymptotically hyperbolic surfaces
Authors:
Hiroshi Isozaki,
Yaroslav Kurylev,
Matti Lassas
Abstract:
We consider an inverse problem associated with some 2-dimensional non-compact surfaces with conical singularities, cusps and regular ends. Our motivating example is a Riemann surface $\mathcal M = Γ\backslash{\bf H}^2$ associated with a Fuchsian group of the 1st kind $Γ$ containing parabolic elements. $\mathcal M$ is then non-compact, and has a finite number of cusps and elliptic singular points,…
▽ More
We consider an inverse problem associated with some 2-dimensional non-compact surfaces with conical singularities, cusps and regular ends. Our motivating example is a Riemann surface $\mathcal M = Γ\backslash{\bf H}^2$ associated with a Fuchsian group of the 1st kind $Γ$ containing parabolic elements. $\mathcal M$ is then non-compact, and has a finite number of cusps and elliptic singular points, which is regarded as a hyperbolic orbifold. We introduce a class of Riemannian surfaces with conical singularities on its finite part, having cusps and regular ends at infinity, whose metric is asymptotically hyperbolic. By observing solutions of the Helmholtz equation at the cusp, we define a generalized S-matrix. We then show that this generalized S-matrix determines the Riemannian metric and the structure of conical singularities.
△ Less
Submitted 7 August, 2011;
originally announced August 2011.
-
Schrodinger's Hat: Electromagnetic, acoustic and quantum amplifiers via transformation optics
Authors:
Allan Greenleaf,
Yaroslav Kurylev,
Matti Lassas,
Gunther Uhlmann
Abstract:
The advent of transformation optics and metamaterials has made possible devices producing extreme effects on wave propagation. Here we give theoretical designs for devices, Schrödinger hats, acting as invisible concentrators of waves. These exist for any wave phenomenon modeled by either the Helmholtz or Schrödinger equations, e.g., polarized waves in EM, pressure waves in acoustics and matter wav…
▽ More
The advent of transformation optics and metamaterials has made possible devices producing extreme effects on wave propagation. Here we give theoretical designs for devices, Schrödinger hats, acting as invisible concentrators of waves. These exist for any wave phenomenon modeled by either the Helmholtz or Schrödinger equations, e.g., polarized waves in EM, pressure waves in acoustics and matter waves in QM, and occupy one part of a parameter space continuum of wave-manipulating structures which also contains standard transformation optics based cloaks, resonant cloaks and cloaked sensors. For EM and acoustic Schrödinger hats, the resulting centralized wave is a localized excitation. In QM, the result is a new charged quasiparticle, a \emph{quasmon}, which causes conditional probabilistic illusions. We discuss possible solid state implementations.
△ Less
Submitted 23 July, 2011;
originally announced July 2011.
-
Introduction to spectral theory and inverse problem on asymptotically hyperbolic manifolds
Authors:
Hiroshi Isozaki,
Yaroslav Kurylev
Abstract:
We study the spectral theory and inverse problem on asymptotically hyperbolic manifolds. The main subjects are as follows: (1)Location of the essential spectrum. (2)Absence of eigenvalues embedded in the continuous spectrum. (3)Limiting absorption principle for the resolvent and the absolute continuity of the continuous spectrum. (4)Construction of the generalized Fourier transform. (5)symptotic c…
▽ More
We study the spectral theory and inverse problem on asymptotically hyperbolic manifolds. The main subjects are as follows: (1)Location of the essential spectrum. (2)Absence of eigenvalues embedded in the continuous spectrum. (3)Limiting absorption principle for the resolvent and the absolute continuity of the continuous spectrum. (4)Construction of the generalized Fourier transform. (5)symptotic completeness of time-dependent wave operators. (6)Characterization of the space of scattering solutions to the Helmhotz equation in terms of the generalized Fourier transform. (7)Asymptotic expansion of scattering solutions to the Helmholtz equation and the S-matrix. (8)Representation of the fundamental solution to the wave equation in the upper-half space model. (9)Radon transform and the propagation of singularities for the wave equation. Finally, we shall discuss the inverse problem. Namely (10)Identification of the Riemannian metric from the scattering matrix.
△ Less
Submitted 21 August, 2012; v1 submitted 25 February, 2011;
originally announced February 2011.
-
Reconstruction of Betti numbers of manifolds for anisotropic Maxwell and Dirac systems
Authors:
Katsiaryna Krupchyk,
Yaroslav Kurylev,
Matti Lassas
Abstract:
We consider an invariant formulation of the system of Maxwell's equations for an anisotropic medium on a compact orientable Riemannian 3-manifold $(M,g)$ with nonempty boundary. The system can be completed to a Dirac type first order system on the manifold. We show that the Betti numbers of the manifold can be recovered from the dynamical response operator for the Dirac system given on a part of t…
▽ More
We consider an invariant formulation of the system of Maxwell's equations for an anisotropic medium on a compact orientable Riemannian 3-manifold $(M,g)$ with nonempty boundary. The system can be completed to a Dirac type first order system on the manifold. We show that the Betti numbers of the manifold can be recovered from the dynamical response operator for the Dirac system given on a part of the boundary. In the case of the original physical Maxwell system, assuming that the entire boundary is known, all Betti numbers of the manifold can also be determined from the dynamical response operator given on a part of the boundary. Physically, this operator maps the tangential component of the electric field into the tangential component of the magnetic field on the boundary.
△ Less
Submitted 29 June, 2010; v1 submitted 14 May, 2010;
originally announced May 2010.
-
Cloaking a sensor via transformation optics
Authors:
Allan Greenleaf,
Yaroslav Kurylev,
Matti Lassas,
Gunther Uhlmann
Abstract:
It is generally believed that transformation optics based cloaking, besides rendering the cloaked region invisible to detection by scattering of incident waves, also shields the region from those same waves. We demonstrate a coupling between the cloaked and uncloaked regions, exposing a difference between cloaking for rays and waves. Interior resonances allow this coupling to be amplified, and car…
▽ More
It is generally believed that transformation optics based cloaking, besides rendering the cloaked region invisible to detection by scattering of incident waves, also shields the region from those same waves. We demonstrate a coupling between the cloaked and uncloaked regions, exposing a difference between cloaking for rays and waves. Interior resonances allow this coupling to be amplified, and careful choice of parameters leads to effective cloaks with degraded shielding. As one application, we describe how to use transformation optics to hide sensors in the cloaked region and yet enable the sensors to efficiently measure waves incident on the exterior of the cloak, an effect similar to the plasmon based approach of Alu' and Engheta.
△ Less
Submitted 14 November, 2010; v1 submitted 9 December, 2009;
originally announced December 2009.
-
Forward and inverse scattering on manifolds with asymptotically cylindrical ends
Authors:
Hiroshi Isozaki,
Yaroslav Kurylev,
Matti Lassas
Abstract:
We study an inverse problem for a non-compact Riemannian manifold whose ends have the following properties : On each end, the Riemannian metric is assumed to be a short-range perturbation of the metric of the form $(dy)^2 + h(x,dx)$, $h(x,dx)$ being the metric of some compact manifold of codimension 1. Moreover one end is exactly cylindrical, i.e. the metric is equal to $(dy)^2 + h(x,dx)$. Given…
▽ More
We study an inverse problem for a non-compact Riemannian manifold whose ends have the following properties : On each end, the Riemannian metric is assumed to be a short-range perturbation of the metric of the form $(dy)^2 + h(x,dx)$, $h(x,dx)$ being the metric of some compact manifold of codimension 1. Moreover one end is exactly cylindrical, i.e. the metric is equal to $(dy)^2 + h(x,dx)$. Given two such manifolds having the same scattering matrix on that exactly cylindrical end for all energy, we show that these two manifolds are isometric.
△ Less
Submitted 11 May, 2009;
originally announced May 2009.
-
Approximate quantum and acoustic cloaking
Authors:
Allan Greenleaf,
Yaroslav Kurylev,
Matti Lassas,
Gunther Uhlmann
Abstract:
At any energy E > 0, we construct a sequence of bounded potentials $V^E_{n}, n\in\N$, supported in an annular region $B_{out}\setminus B_{inn}$ in three-space, which act as approximate cloaks for solutions of Schrödinger's equation: For any potential $V_0\in L^\infty(B_{inn})$ such that E is not a Neumann eigenvalue of $-Δ+V_0$ in $B_{inn}$, the scattering amplitudes $a_{V_0+V_n^E}(E,θ,ω)\to 0$…
▽ More
At any energy E > 0, we construct a sequence of bounded potentials $V^E_{n}, n\in\N$, supported in an annular region $B_{out}\setminus B_{inn}$ in three-space, which act as approximate cloaks for solutions of Schrödinger's equation: For any potential $V_0\in L^\infty(B_{inn})$ such that E is not a Neumann eigenvalue of $-Δ+V_0$ in $B_{inn}$, the scattering amplitudes $a_{V_0+V_n^E}(E,θ,ω)\to 0$ as $n\to\infty$. The $V^E_{n}$ thus not only form a family of approximately transparent potentials, but also function as approximate invisibility cloaks in quantum mechanics. On the other hand, for $E$ close to interior eigenvalues, resonances develop and there exist {\it almost trapped states} concentrated in $B_{inn}$. We derive the $V_n^E$ from singular, anisotropic transformation optics-based cloaks by a de-anisotropization procedure, which we call \emph{isotropic transformation optics}. This technique uses truncation, inverse homogenization and spectral theory to produce nonsingular, isotropic approximate cloaks. As an intermediate step, we also obtain approximate cloaking for a general class of equations including the acoustic equation.
△ Less
Submitted 9 December, 2008;
originally announced December 2008.
-
Invisibility and Inverse Problems
Authors:
Allan Greenleaf,
Yaroslav Kurylev,
Matti Lassas,
Gunther Uhlmann
Abstract:
This survey of recent developments in cloaking and transformation optics is an expanded version of the lecture by Gunther Uhlmann at the 2008 Annual Meeting of the American Mathematical Society.
This survey of recent developments in cloaking and transformation optics is an expanded version of the lecture by Gunther Uhlmann at the 2008 Annual Meeting of the American Mathematical Society.
△ Less
Submitted 1 October, 2008;
originally announced October 2008.
-
Approximate quantum cloaking and almost trapped states
Authors:
A. Greenleaf,
Y. Kurylev,
M. Lassas,
G. Uhlmann
Abstract:
We describe families of potentials which act as approximate cloaks for matter waves, i.e., for solutions of the time-independent Schrödinger equation at energy $E$, with applications to the design of ion traps. These are derived from perfect cloaks for the conductivity and Helmholtz equations, by a procedure we refer to as isotropic transformation optics. If $W$ is a potential which is surrounde…
▽ More
We describe families of potentials which act as approximate cloaks for matter waves, i.e., for solutions of the time-independent Schrödinger equation at energy $E$, with applications to the design of ion traps. These are derived from perfect cloaks for the conductivity and Helmholtz equations, by a procedure we refer to as isotropic transformation optics. If $W$ is a potential which is surrounded by a sequence $\{V_n^E\}_{n=1}^\infty$ of approximate cloaks, then for generic $E$, asymptotically in $n$ (i) $W$ is both undetectable and unaltered by matter waves originating externally to the cloak; and (ii) the combined potential $W+V_n^E$ does not perturb waves outside the cloak. On the other hand, for $E$ near a discrete set of energies, cloaking {\it per se} fails and the approximate cloaks support wave functions concentrated, or {\it almost trapped}, inside the cloaked region and negligible outside. Applications include ion traps, almost invisible to matter waves or customizable to support almost trapped states of arbitrary multiplicity. Possible uses include simulation of abstract quantum systems, magnetically tunable quantum beam switches, and illusions of singular magnetic fields.
△ Less
Submitted 19 August, 2008; v1 submitted 2 June, 2008;
originally announced June 2008.
-
Isotropic transformation optics: approximate acoustic and quantum cloaking
Authors:
A. Greenleaf,
Y. Kurylev,
M. Lassas,
G. Uhlmann
Abstract:
Transformation optics constructions have allowed the design of electromagnetic, acoustic and quantum parameters that steer waves around a region without penetrating it, so that the region is hidden from external observations. The material parameters are anisotropic, and singular at the interface between the cloaked and uncloaked regions, making physical realization a challenge.
We address this…
▽ More
Transformation optics constructions have allowed the design of electromagnetic, acoustic and quantum parameters that steer waves around a region without penetrating it, so that the region is hidden from external observations. The material parameters are anisotropic, and singular at the interface between the cloaked and uncloaked regions, making physical realization a challenge.
We address this problem by showing how to construct {\sl isotropic and nonsingular} parameters that give {\sl approximate} cloaking to any desired degree of accuracy for electrostatic, acoustic and quantum waves. The techniques used here may be applicable to a wider range of transformation optics designs.
For the Helmholtz equation, cloaking is possible outside a discrete set of frequencies or energies, namely the Neumann eigenvalues of the cloaked region. For the frequencies or energies corresponding to the Neumann eigenvalues of the cloaked region, the ideal cloak supports trapped states; near these energies, an approximate cloak supports {\sl almost trapped states}. This is in fact a useful feature, and we conclude by giving several quantum mechanical applications.
△ Less
Submitted 1 August, 2008; v1 submitted 31 May, 2008;
originally announced June 2008.
-
Comment on "Scattering Theory Derivation of a 3D Acoustic Cloaking Shell"
Authors:
Allan Greenleaf,
Yaroslav Kurylev,
Matti Lassas,
Gunther Uhlmann
Abstract:
In a recent Letter, Cummer et al. give a description of material parameters for acoustic wave propagation giving rise to a 3D spherical cloak, and verify the cloaking phenomenon on the level of scattering coefficients. A similar configuration has been given by Chen and Chan. In this Comment, we show that these theoretical constructions follow directly from our earlier work http://arxiv.longhoe.net/abs/m…
▽ More
In a recent Letter, Cummer et al. give a description of material parameters for acoustic wave propagation giving rise to a 3D spherical cloak, and verify the cloaking phenomenon on the level of scattering coefficients. A similar configuration has been given by Chen and Chan. In this Comment, we show that these theoretical constructions follow directly from our earlier work http://arxiv.longhoe.net/abs/math/0611185 on full wave analysis of cloaking for the Helmholtz equation with respect to Riemannian metrics. Furthermore, the analysis there covers the case of acoustically radiating objects being enclosed in the cloaked region.
△ Less
Submitted 21 January, 2008;
originally announced January 2008.
-
Inverse spectral problems on a closed manifold
Authors:
Katsiaryna Krupchyk,
Yaroslav Kurylev,
Matti Lassas
Abstract:
In this paper we consider two inverse problems on a closed connected Riemannian manifold $(M,g)$. The first one is a direct analog of the Gel'fand inverse boundary spectral problem. To formulate it, assume that $M$ is divided by a hypersurface $Σ$ into two components and we know the eigenvalues $λ_j$ of the Laplace operator on $(M,g)$ and also the Cauchy data, on $Σ$, of the corresponding eigenf…
▽ More
In this paper we consider two inverse problems on a closed connected Riemannian manifold $(M,g)$. The first one is a direct analog of the Gel'fand inverse boundary spectral problem. To formulate it, assume that $M$ is divided by a hypersurface $Σ$ into two components and we know the eigenvalues $λ_j$ of the Laplace operator on $(M,g)$ and also the Cauchy data, on $Σ$, of the corresponding eigenfunctions $φ_j$, i.e. $φ_j|_Σ,\partial_νφ_j|_Σ$, where $ν$ is the normal to $Σ$. We prove that these data determine $(M,g)$ uniquely, i.e. up to an isometry. In the second problem we are given much less data, namely, $λ_j$ and $φ_j|_Σ$ only. However, if $Σ$ consists of at least two components, $Σ_1, Σ_2$, we are still able to determine $(M,g)$ assuming some conditions on $M$ and $Σ$. These conditions are formulated in terms of the spectra of the manifolds with boundary obtained by cutting $M$ along $Σ_i$, $i=1,2$, and are of a generic nature. We consider also some other inverse problems on $M$ related to the above with data which is easier to obtain from measurements than the spectral data described.
△ Less
Submitted 13 September, 2007;
originally announced September 2007.
-
Effectiveness and improvement of cylindrical cloaking with the SHS lining
Authors:
Allan Greenleaf,
Yaroslav Kurylev,
Matti Lassas,
Gunther Uhlmann
Abstract:
We analyze, both analytically and numerically, the effectiveness of cloaking an infinite cylinder from observations by electromagnetic waves in three dimensions. We show that, as truncated approximations of the ideal permittivity and permeability tensors tend towards the singular ideal cloaking fields, so that the anisotropy ratio tends to infinity, the $D$ and $B$ fields blow up near the cloaki…
▽ More
We analyze, both analytically and numerically, the effectiveness of cloaking an infinite cylinder from observations by electromagnetic waves in three dimensions. We show that, as truncated approximations of the ideal permittivity and permeability tensors tend towards the singular ideal cloaking fields, so that the anisotropy ratio tends to infinity, the $D$ and $B$ fields blow up near the cloaking surface. We also consider cloaking with and without the SHS (soft-and-hard surface) lining. We demonstrate numerically that cloaking is significantly improved by the SHS lining, with both the far field of the scattered wave significantly reduced and the blow up of $D$ and $B$ prevented.
△ Less
Submitted 9 July, 2007;
originally announced July 2007.
-
Electromagnetic wormholes via handlebody constructions
Authors:
Allan Greenleaf,
Yaroslav Kurylev,
Matti Lassas,
Gunther Uhlmann
Abstract:
Cloaking devices are prescriptions of electrostatic, optical or electromagnetic parameter fields (conductivity $σ(x)$, index of refraction $n(x)$, or electric permittivity $ε(x)$ and magnetic permeability $μ(x)$) which are piecewise smooth on $\mathbb R^3$ and singular on a hypersurface $Σ$, and such that objects in the region enclosed by $Σ$ are not detectable to external observation by waves.…
▽ More
Cloaking devices are prescriptions of electrostatic, optical or electromagnetic parameter fields (conductivity $σ(x)$, index of refraction $n(x)$, or electric permittivity $ε(x)$ and magnetic permeability $μ(x)$) which are piecewise smooth on $\mathbb R^3$ and singular on a hypersurface $Σ$, and such that objects in the region enclosed by $Σ$ are not detectable to external observation by waves. Here, we give related constructions of invisible tunnels, which allow electromagnetic waves to pass between possibly distant points, but with only the ends of the tunnels visible to electromagnetic imaging. Effectively, these change the topology of space with respect to solutions of Maxwell's equations, corresponding to attaching a handlebody to $\mathbb R^3$. The resulting devices thus function as electromagnetic wormholes.
△ Less
Submitted 6 April, 2007;
originally announced April 2007.
-
Rigidity of broken geodesic flow and inverse problems
Authors:
Yaroslav Kurylev,
Matti Lassas,
Gunther Uhlmann
Abstract:
Consider a broken geodesics $α([0,l])$ on a compact Riemannian manifold $(M,g)$ with boundary of dimension $n\geq 3$. The broken geodesics are unions of two geodesics with the property that they have a common end point. Assume that for every broken geodesic $α([0,l])$ starting at and ending to the boundary $\partial M$ we know the starting point and direction $(α(0),α'(0))$, the end point and di…
▽ More
Consider a broken geodesics $α([0,l])$ on a compact Riemannian manifold $(M,g)$ with boundary of dimension $n\geq 3$. The broken geodesics are unions of two geodesics with the property that they have a common end point. Assume that for every broken geodesic $α([0,l])$ starting at and ending to the boundary $\partial M$ we know the starting point and direction $(α(0),α'(0))$, the end point and direction $(α(l),α'(l))$, and the length $l$. We show that this data determines uniquely, up to an isometry, the manifold $(M,g)$. This result has applications in inverse problems on very heterogeneous media for situations where there are many scattering points in the medium, and arises in several applications including geophysics and medical imaging. As an example we consider the inverse problem for the radiative transfer equation (or the linear transport equation) with a non-constant wave speed. Assuming that the scattering kernel is everywhere positive, we show that the boundary measurements determine the wave speed inside the domain up to an isometry.
△ Less
Submitted 17 March, 2007;
originally announced March 2007.
-
Electromagnetic wormholes and virtual magnetic monopoles
Authors:
Allan Greenleaf,
Yaroslav Kurylev,
Matti Lassas,
Gunther Uhlmann
Abstract:
We describe new configurations of electromagnetic (EM) material parameters, the electric permittivity $ε$ and magnetic permeability $μ$, that allow one to construct from metamaterials objects that function as invisible tunnels. These allow EM wave propagation between two points, but the tunnels and the regions they enclose are not detectable to EM observations. Such devices function as wormholes…
▽ More
We describe new configurations of electromagnetic (EM) material parameters, the electric permittivity $ε$ and magnetic permeability $μ$, that allow one to construct from metamaterials objects that function as invisible tunnels. These allow EM wave propagation between two points, but the tunnels and the regions they enclose are not detectable to EM observations. Such devices function as wormholes with respect to Maxwell's equations and effectively change the topology of space vis-a-vis EM wave propagation. We suggest several applications, including devices behaving as virtual magnetic monopoles.
△ Less
Submitted 20 March, 2007;
originally announced March 2007.
-
Inverse boundary spectral problem for Riemannian polyhedra
Authors:
Anna Kirpichnikova,
Yaroslav Kurylev
Abstract:
We consider an admissible Riemannian polyhedron with piece-wise smooth boundary. The associated Laplace defines the boundary spectral data as the set of eigenvalues and restrictions to the boundary of the corresponding eigenfunctions. In this paper we prove that the boundary spectral data prescribed on an open subset of the polyhedron boundary determine the admissible Riemannian polyhedron uniqu…
▽ More
We consider an admissible Riemannian polyhedron with piece-wise smooth boundary. The associated Laplace defines the boundary spectral data as the set of eigenvalues and restrictions to the boundary of the corresponding eigenfunctions. In this paper we prove that the boundary spectral data prescribed on an open subset of the polyhedron boundary determine the admissible Riemannian polyhedron uniquely.
△ Less
Submitted 31 January, 2007;
originally announced January 2007.
-
Time reversal methods in unknown medium and inverse problems
Authors:
Kenrick Bingham,
Yaroslav Kurylev,
Matti Lassas,
Samuli Siltanen
Abstract:
A novel method to solve inverse problems for the wave equation is introduced. The method is a combination of the boundary control method and an iterative time reversal scheme, leading to adaptive imaging of coefficient functions of the wave equation using focusing waves in unknown medium. The approach is computationally effective since the iteration lets the medium do most of the processing of t…
▽ More
A novel method to solve inverse problems for the wave equation is introduced. The method is a combination of the boundary control method and an iterative time reversal scheme, leading to adaptive imaging of coefficient functions of the wave equation using focusing waves in unknown medium. The approach is computationally effective since the iteration lets the medium do most of the processing of the data.
The iterative time reversal scheme also gives an algorithm for constructing boundary controls for which the corresponding final values are as close as possible to the final values of a given wave in a part of the domain, and as close as possible to zero elsewhere. The algorithm does not assume that the coefficients of the wave equation are known.
△ Less
Submitted 4 January, 2007;
originally announced January 2007.
-
Full-wave invisibility of active devices at all frequencies
Authors:
Allan Greenleaf,
Yaroslav Kurylev,
Matti Lassas,
Gunther Uhlmann
Abstract:
There has recently been considerable interest in the possibility, both theoretical and practical, of invisibility (or "cloaking") from observation by electromagnetic (EM) waves. Here, we prove invisibility, with respect to solutions of the Helmholtz and Maxwell's equations, for several constructions of cloaking devices. Previous results have either been on the level of ray tracing [Le,PSS] or at…
▽ More
There has recently been considerable interest in the possibility, both theoretical and practical, of invisibility (or "cloaking") from observation by electromagnetic (EM) waves. Here, we prove invisibility, with respect to solutions of the Helmholtz and Maxwell's equations, for several constructions of cloaking devices. Previous results have either been on the level of ray tracing [Le,PSS] or at zero frequency [GLU2,GLU3], but recent numerical [CPSSP] and experimental [SMJCPSS] work has provided evidence for invisibility at frequency $k\ne 0$. We give two basic constructions for cloaking a region $D$ contained in a domain $Ω$ from measurements of Cauchy data of waves at $\p Ω$; we pay particular attention to cloaking not just a passive object, but an active device within $D$, interpreted as a collection of sources and sinks or an internal current.
△ Less
Submitted 16 March, 2007; v1 submitted 7 November, 2006;
originally announced November 2006.
-
Dynamic inverse problem in a weakly laterally inhomogeneous medium
Authors:
A. S. Blagovestchenskii,
Y. Kurylev,
V. Zalipaev
Abstract:
An inverse problem of wave propagation into a weakly laterally inhomogeneous medium occupying a half-space is considered in the acoustic approximation. The half-space consists of an upper layer and a semi-infinite bottom separated with an interface. An assumption of a weak lateral inhomogeneity means that the velocity of wave propagation and the shape of the interface depend weakly on the horizo…
▽ More
An inverse problem of wave propagation into a weakly laterally inhomogeneous medium occupying a half-space is considered in the acoustic approximation. The half-space consists of an upper layer and a semi-infinite bottom separated with an interface. An assumption of a weak lateral inhomogeneity means that the velocity of wave propagation and the shape of the interface depend weakly on the horizontal coordinates, $x=(x_1,x_2)$, in comparison with the strong dependence on the vertical coordinate, $z$, giving rise to a small parameter $\e <<1$. Expanding the velocity in power series with respect to $\e$, we obtain a recurrent system of 1D inverse problems. We provide algorithms to solve these problems for the zero and first-order approximations. In the zero-order approximation, the corresponding 1D inverse problem is reduced to a system of non-linear Volterra-type integral equations. In the first-order approximation, the corresponding 1D inverse problem is reduced to a system of coupled linear Volterra integral equations. These equations are used for the numerical reconstruction of the velocity in both layers and the interface up to $O(\e^2)$.
△ Less
Submitted 18 June, 2005;
originally announced June 2005.
-
Maxwell's Equations with Scalar Impedance: Inverse Problems with data given on a part of the boundary
Authors:
Yaroslav Kurylev,
Matti Lassas,
Erkki Somersalo
Abstract:
We study Maxwell's equations in time domain in an anisotropic medium. The goal of the paper is to solve an inverse boundary value problem for anisotropies characterized by scalar impedance $α$. This means that the material is conformal, i.e., the electric permittivity $ε$ and magnetic permeability $μ$ are tensors satisfying $μ=α^2ε$. This condition is equivalent to a single propagation speed of…
▽ More
We study Maxwell's equations in time domain in an anisotropic medium. The goal of the paper is to solve an inverse boundary value problem for anisotropies characterized by scalar impedance $α$. This means that the material is conformal, i.e., the electric permittivity $ε$ and magnetic permeability $μ$ are tensors satisfying $μ=α^2ε$. This condition is equivalent to a single propagation speed of waves with different polarizations which uniquely defines an underlying Riemannian structure. The analysis is based on an invariant formulation of the system of electrodynamics as a Dirac type first order system on a Riemannian $3-$manifold with an additional structure of the wave impedance, $(M,g,α)$, where $g$ is the travel-time metric. We study the properties of this system in the first part of the paper. In the second part we consider the inverse problem, that is, the determination of $(M,g,α)$ from measurements done only on an open part of the boundary and on a finite time interval. As an application, in the isotropic case with $M\subset \R^3$, we prove that the boundary data given only on an open part of the boundary determine uniquely the domain $M$ and the coefficients $ε$ and $μ$.
△ Less
Submitted 25 May, 2005; v1 submitted 15 April, 2005;
originally announced April 2005.
-
Inverse Problems and Index Formulae for Dirac Operators
Authors:
Yaroslav Kurylev,
Matti Lassas
Abstract:
We consider a Dirac-type operator $D_P$ on a vector bundle $V$ over a compact Riemannian manifold $(M,g)$ with a nonempty boundary. The operator $D_P$ is specified by a boundary condition $P(u|_{\p M})=0$ where $P$ is a projector which may be a non-local, i.e. a pseudodifferential operator. We assume the existence of a chirality operator which decomposes $L^2(M, V)$ into two orthogonal subspaces…
▽ More
We consider a Dirac-type operator $D_P$ on a vector bundle $V$ over a compact Riemannian manifold $(M,g)$ with a nonempty boundary. The operator $D_P$ is specified by a boundary condition $P(u|_{\p M})=0$ where $P$ is a projector which may be a non-local, i.e. a pseudodifferential operator. We assume the existence of a chirality operator which decomposes $L^2(M, V)$ into two orthogonal subspaces $X_+ \oplus X_-$. Under certain conditions, the operator $D_P$ restricted to $X_+$ and $ X_-$ defines a pair of Fredholm operators which maps $X_+\to X_-$ and $X_-\to X_+$ correspondingly, giving rise to a superstructure on $V$. In this paper we consider the questions of determining the index of $D_P$ and the reconstruction of $(M, g), V$ and $D_P$ from the boundary data on $\p M$. The data used is either the Cauchy data, i.e. the restrictions to $\p M \times \R_+$ of the solutions to the hyperbolic Dirac equation, or the boundary spectral data, i.e. the set of the eigenvalues and the boundary values of the eigenfunctions of $D_P$. We obtain formulae for the index and prove uniqueness results for the inverse boundary value problems. We apply the obtained results to the classical Dirac-type operator in $M\times \C^4$, $M \subset \R^3$.
△ Less
Submitted 23 October, 2006; v1 submitted 4 January, 2005;
originally announced January 2005.
-
The Unique Determination of Neuronal Currents in the Brain via Magnetoencephalography
Authors:
A. S. Fokas,
Y. Kurylev,
V. Marinakis
Abstract:
The problem of determining the neuronal current inside the brain from measurements of the induced magnetic field outside the head is discussed under the assumption that the space occupied by the brain is approximately spherical. By inverting the Geselowitz equation, the part of the current which can be reconstructed from the measurements is precisely determined. This actually consists of only ce…
▽ More
The problem of determining the neuronal current inside the brain from measurements of the induced magnetic field outside the head is discussed under the assumption that the space occupied by the brain is approximately spherical. By inverting the Geselowitz equation, the part of the current which can be reconstructed from the measurements is precisely determined. This actually consists of only certain moments of one of the two functions specifying the tangential part of the current. The other function specifying the tangential part of the current as well as the radial part of the current are completely arbitrary. However, it is also shown that with the assumption of energy minimization, the current can be reconstructed uniquely. A numerical implementation of this unique reconstruction is also presented.
△ Less
Submitted 4 December, 2004;
originally announced December 2004.
-
Multidimensional Borg-Levinson Theorem
Authors:
Yaroslav Kurylev,
Matti Lassas,
Ricardo Weder
Abstract:
We consider the inverse problem of the reconstruction of a Schrödinger operator on a unknown Riemannian manifold or a domain of Euclidean space. The data used is a part of the boundary $Γ$ and the eigenvalues corresponding to a set of impedances in the Robin boundary condition which vary on $Γ$. The proof is based on the analysis of the behaviour of the eigenfunctions on the boundary as well as…
▽ More
We consider the inverse problem of the reconstruction of a Schrödinger operator on a unknown Riemannian manifold or a domain of Euclidean space. The data used is a part of the boundary $Γ$ and the eigenvalues corresponding to a set of impedances in the Robin boundary condition which vary on $Γ$. The proof is based on the analysis of the behaviour of the eigenfunctions on the boundary as well as in perturbation theory of eigenvalues. This reduces the problem to an inverse boundary spectral problem solved by the boundary control method.
△ Less
Submitted 28 June, 2004;
originally announced June 2004.
-
Maxwell's Equations with Scalar Impedance: Direct and Inverse Problems
Authors:
Yaroslav Kurylev,
Matti Lassas,
Erkki Somersalo
Abstract:
The article deals with electrodynamics in the presence of anisotropic materials having scalar wave impedance. Maxwell's equations written for differential forms over a 3-manifold are analysed. The system is extended to a Dirac type first order elliptic system on the Grassmannian bundle over the manifold. The second part of the article deals with the dynamical inverse boundary value problem of de…
▽ More
The article deals with electrodynamics in the presence of anisotropic materials having scalar wave impedance. Maxwell's equations written for differential forms over a 3-manifold are analysed. The system is extended to a Dirac type first order elliptic system on the Grassmannian bundle over the manifold. The second part of the article deals with the dynamical inverse boundary value problem of determining the electromagnetic material parameters from boundary measurements. By using the boundary control method, it is proved that the dynamical boundary data determines the electromagnetic travel time metric as well as the scalar wave impedance on the manifold. This invariant result leads also to a complete characterization of the non-uniqueness of the corresponding inverse problem in bounded domains of R^3.
AMS-classifications: 35R30, 35L20, 58J45
△ Less
Submitted 20 December, 2002;
originally announced December 2002.
-
Boundary regularity for the Ricci equation, geometric convergence, and Gel'fand's inverse boundary problem
Authors:
Michael T. Anderson,
Atsushi Katsuda,
Yaroslav Kurylev,
Matti Lassas,
Michael E. Taylor
Abstract:
This paper explores and ties together three themes. The first is to establish regularity of a metric tensor, on a manifold with boundary, on which there are given Ricci curvature bounds, on the manifold and its boundary, and a Lipschitz bound on the mean curvature of the boundary. The second is to establish geometric convergence of a (sub)sequence of manifolds with boundary with such geometrical…
▽ More
This paper explores and ties together three themes. The first is to establish regularity of a metric tensor, on a manifold with boundary, on which there are given Ricci curvature bounds, on the manifold and its boundary, and a Lipschitz bound on the mean curvature of the boundary. The second is to establish geometric convergence of a (sub)sequence of manifolds with boundary with such geometrical bounds and also an upper bound on the diameter and a lower bound on injectivity and boundary injectivity radius, making use of the first part. The third theme involves the uniqueness and conditional stability of an inverse problem proposed by Gel'fand making essential use of the results of the first two parts.
△ Less
Submitted 2 December, 2002; v1 submitted 24 November, 2002;
originally announced November 2002.
-
Equivalence of time-domain inverse problems and boundary spectral problems
Authors:
Alexander Katchalov,
Yaroslav Kurylev,
Matti Lassas,
Niculae Mandache
Abstract:
We consider inverse problems for wave, heat and Schrödinger-type operators and corresponding spectral problems on domains of ${\bf R}^n$ and compact manifolds. Also, we study inverse problems where coefficients of partial differential operator have to be found when one knows how much energy it is required to force the solution to have given boundary values, i.e., one knows how much energy is nee…
▽ More
We consider inverse problems for wave, heat and Schrödinger-type operators and corresponding spectral problems on domains of ${\bf R}^n$ and compact manifolds. Also, we study inverse problems where coefficients of partial differential operator have to be found when one knows how much energy it is required to force the solution to have given boundary values, i.e., one knows how much energy is needed to make given measurements. The main result of the paper is to show that all these problems are shown to be equivalent.
△ Less
Submitted 21 February, 2002;
originally announced February 2002.
-
Stability and Reconstruction in Gel'fand Inverse Boundary Spectral Problem
Authors:
Atsushi Katsuda,
Yaroslav Kurylev,
Matti Lassas
Abstract:
We consider stability and approximate reconstruction of Riemannian manifold when the finite number of eigenvalues of the Laplace-Beltrami operator and the boundary values of the corresponding eigenfunctions are given. The reconstruction can be done in stable way when manifold is a priori known to satisfy natural geometrical conditions related to curvature and other invariant quantities.
We consider stability and approximate reconstruction of Riemannian manifold when the finite number of eigenvalues of the Laplace-Beltrami operator and the boundary values of the corresponding eigenfunctions are given. The reconstruction can be done in stable way when manifold is a priori known to satisfy natural geometrical conditions related to curvature and other invariant quantities.
△ Less
Submitted 30 January, 2002;
originally announced January 2002.