Searcharxiv⌕ Search

arXiv subjects

Matti Lassas

Publications and source records attributed to Matti Lassas.

At least 163 records · Page 9Linked to original sources

Inverse problem for wave equation with sources and observations on disjoint sets

We consider an inverse problem for a hyperbolic partial differential equation on a compact Riemannian manifold. Assuming that $Γ_1$ and $Γ_2$ are two disjoint open subsets of the boundary of the manifold we define the restricted Dirichlet-to-Neumann operator $Λ_{Γ_1,Γ_2}$. This operator corresponds the boundary measurements when we have smooth sources supported on $Γ_1$ and the fields produced by these sources are observed on $Γ_2$. We show that when $Γ_1$ and $Γ_2$ are disjoint but their closures intersect at least at one point, then the restricted Dirichlet-to-Neumann operator $Λ_{Γ_1,Γ_2}$ determines the Riemannian manifold and the metric on it up to an isometry. In the Euclidian space, the result yields that an anisotropic wave speed inside a compact body is determined, up to a natural coordinate transformations, by measurements on the boundary of the body even when wave sources are kept away from receivers. Moreover, we show that if we have three arbitrary non-empty open subsets $Γ_1,Γ_2$, and $Γ_3$ of the boundary, then the restricted Dirichlet-to-Neumann operators $Λ_{Γ_j,Γ_k}$ for $1\leq j<k\leq 3$ determine the Riemannian manifold to an isometry. Similar result is proven also for the finite-time boundary measurements when the hyperbolic equation satisfies an exact controllability condition.

math.AP↗

Hierarchical models in statistical inverse problems and the Mumford--Shah functional

The Bayesian methods for linear inverse problems is studied using hierarchical Gaussian models. The problems are considered with different discretizations, and we analyze the phenomena which appear when the discretization becomes finer. A hierarchical solution method for signal restoration problems is introduced and studied with arbitrarily fine discretization. We show that the maximum a posteriori estimate converges to a minimizer of the Mumford--Shah functional, up to a subsequence. A new result regarding the existence of a minimizer of the Mumford--Shah functional is proved. Moreover, we study the inverse problem under different assumptions on the asymptotic behavior of the noise as discretization becomes finer. We show that the maximum a posteriori and conditional mean estimates converge under different conditions.

math.ST↗

Forward and inverse scattering on manifolds with asymptotically cylindrical ends

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.

math.AP↗

Approximate quantum and acoustic cloaking

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.

math-ph↗

Invisibility and Inverse Problems

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.

math-ph↗

Comment on "Scattering Theory Derivation of a 3D Acoustic Cloaking Shell"

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.org/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.

physics.optics↗

Inverse spectral problems on a closed manifold

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.

math.AP↗

Focusing waves in unknown media by modified time reversal iteration

We study the wave equation in a bounded domain or on a compact Riemannian manifold with boundary. Assume that we are given the hyperbolic Neumann-to-Dirichlet map on the boundary corresponding to physical boundary measurements. We consider how to focus waves, that is, how to find Neumann boundary values so that at a given time the corresponding wave converges to a delta distribution $δ_y$ while the time derivative of the wave converges to zero. Such boundary value are generated by an iterative sequence of measurements. In each iteration step we apply time reversal and other simple operators to measured data and compute boundary values for the next iteration step. The key feature of the algorithm is that it does not require knowledge of the coefficients in the wave equation, that is, the material parameters inside the media. However, we assume that the point $y$ where the wave focuses is known in travel time coordinates.

math.AP↗

Effectiveness and improvement of cylindrical cloaking with the SHS lining

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.

physics.optics↗

Electromagnetic wormholes via handlebody constructions

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.

math.AP↗

Electromagnetic wormholes and virtual magnetic monopoles

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.

math-ph↗

Rigidity of broken geodesic flow and inverse problems

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.

math.AP↗

Full-wave invisibility of active devices at all frequencies

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.

math.AP↗

Time reversal methods in unknown medium and inverse problems

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.

math.AP↗

Inverse Problems and Index Formulae for Dirac Operators

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

math.AP↗

The inverse conductivity problem with an imperfectly known boundary in three dimensions

We consider the inverse conductivity problem in a strictly convex domain whose boundary is not known. Usually the numerical reconstruction from the measured current and voltage data is done assuming the domain has a known fixed geometry. However, in practical applications the geometry of the domain is usually not known. This introduces an error, and effectively changes the problem into an anisotropic one. The main result of this paper is a uniqueness result characterizing the isotropic conductivities on convex domains in terms of measurements done on a different domain, which we call the model domain, up to an affine isometry. As data for the inverse problem, we assume the Robin-to-Neumann map and the contact impedance function on the boundary of the model domain to be given. Also, we present a minimization algorithm based on the use of Cotton--York tensor, that finds the pushforward of the isotropic conductivity to our model domain, and also finds the boundary of the original domain up to an affine isometry. This algorithm works also in dimensions higher than three, but then the Cotton--York tensor has to replaced with the Weyl--tensor.

math.AP↗

Maxwell's Equations with Scalar Impedance: Inverse Problems with data given on a part of the boundary

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

math.AP↗

Inverse conductivity problem with an imperfectly known boundary

We show how to eliminate the error caused by an incorrectly modeled boundary in electrical impedance tomography (EIT). In practical measurements, one usually lacks the exact knowledge of the boundary. Because of this the numerical reconstruction from the measured EIT data is done using a model domain that represents the best guess for the true domain. However, it has been noticed that the inaccurate model of the boundary causes severe errors for the reconstructions. We introduce a new algorithm to find a deformed image of the original isotropic conductivity based on the theory of Teichmuller spaces and implement it numerically.

math.AP↗