-
Recovering a (1+1)-dimensional wave equation from a single white noise boundary measurement
Authors:
Emilia L. K. Blåsten,
Tapio Helin,
Antti Kujanpää,
Lauri Oksanen,
Jesse Railo
Abstract:
We consider the following inverse problem: Suppose a $(1+1)$-dimensional wave equation on $\mathbb R_+$ with zero initial conditions is excited with a Neumann boundary data modelled as a white noise process. Given also the Dirichlet data at the same point, determine the unknown first order coefficient function of the system.
We first establish that direct problem is well-posed. The inverse probl…
▽ More
We consider the following inverse problem: Suppose a $(1+1)$-dimensional wave equation on $\mathbb R_+$ with zero initial conditions is excited with a Neumann boundary data modelled as a white noise process. Given also the Dirichlet data at the same point, determine the unknown first order coefficient function of the system.
We first establish that direct problem is well-posed. The inverse problem is then solved by showing that correlations of the boundary data determine the Neumann-to-Dirichlet operator in the sense of distributions, which is known to uniquely identify the coefficient. This approach has applications in acoustic measurements of internal cross-sections of fluid pipes such as pressurised water supply pipes and vocal tract shape determination.
△ Less
Submitted 24 March, 2025;
originally announced March 2025.
-
Inverse problems for quantum graph associated with square and hexagonal lattices
Authors:
K. Ando,
E. Blåsten,
P. Exner,
H. Isozaki,
E. Korotyaev,
M. Lassas,
J. Lu,
H. Morioka
Abstract:
We solve inverse problems from the D-N map for the quantum graph on a finite domain in a square lattice and that on a hexagonal lattice, as well as inverse scattering problems from the S-matrix for a locally perturbed square lattice and a hexagonal lattice.
We solve inverse problems from the D-N map for the quantum graph on a finite domain in a square lattice and that on a hexagonal lattice, as well as inverse scattering problems from the S-matrix for a locally perturbed square lattice and a hexagonal lattice.
△ Less
Submitted 4 September, 2024;
originally announced September 2024.
-
Inverse Problems for Screens
Authors:
Emilia Blåsten,
Petri Ola,
Lassi Päivärinta
Abstract:
We study the inverse scattering from a screen with using only one incoming time--harmonic plane wave but with measurements of the scattered wave done at all directions. Especially we focus on the 2D--case i.e. (inverse) scattering from an open bounded smooth curve. Besides the inverse scattering problem we also study the inverse electrostatic problem. We then show that one Cauchy--data of any cont…
▽ More
We study the inverse scattering from a screen with using only one incoming time--harmonic plane wave but with measurements of the scattered wave done at all directions. Especially we focus on the 2D--case i.e. (inverse) scattering from an open bounded smooth curve. Besides the inverse scattering problem we also study the inverse electrostatic problem. We then show that one Cauchy--data of any continuous and bounded function vanishing on the screen and harmonic outside it, determines the screen uniquely.
△ Less
Submitted 4 September, 2024;
originally announced September 2024.
-
The Fourier, Hilbert and Mellin transforms on a half-line
Authors:
Emilia L. K. Blåsten,
Lassi Päivärinta,
Sadia Sadique
Abstract:
We are interested in the singular behaviour at the origin of solutions to the equation $\mathscr{H} ρ= e$ on a half-axis, where $\mathscr H$ is the one-sided Hilbert transform, $ρ$ an unknown solution and $e$ a known function. This is a simpler model problem on the path to understanding wave field singularities caused by curve-shaped scatterers in a planar domain.
We prove that $ρ$ has a singula…
▽ More
We are interested in the singular behaviour at the origin of solutions to the equation $\mathscr{H} ρ= e$ on a half-axis, where $\mathscr H$ is the one-sided Hilbert transform, $ρ$ an unknown solution and $e$ a known function. This is a simpler model problem on the path to understanding wave field singularities caused by curve-shaped scatterers in a planar domain.
We prove that $ρ$ has a singularity of the form $\mathscr M[e](1/2) / \sqrt{t}$ where $\mathscr M$ is the Mellin transform. To do this we use specially built function spaces $\mathscr M'(a,b)$ by Zemanian, and these allow us to precisely investigate the relationship between the Mellin and Hilbert transforms. Fourier comes into play in the sense that the Mellin transform is simpy the Fourier transform on the locally compact Abelian multiplicative group of the half-line, and as a more familiar operator it guides our investigation.
△ Less
Submitted 23 December, 2023; v1 submitted 7 February, 2023;
originally announced February 2023.
-
Inverse problems for locally perturbed lattices -- Discrete Hamiltonian and quantum graph
Authors:
Emilia Blåsten,
Pavel Exner,
Hiroshi Isozaki,
Matti Lassas,
Jinpeng Lu
Abstract:
We consider the inverse scattering problems for two types of Schrödinger operators on locally perturbed periodic lattices. For the discrete Hamiltonian, the knowledge of the S-matrix for all energies determines the graph structure and the coefficients of the Hamiltonian. For locally perturbed equilateral metric graphs, the knowledge of the S-matrix for all energies determines the graph structure.
We consider the inverse scattering problems for two types of Schrödinger operators on locally perturbed periodic lattices. For the discrete Hamiltonian, the knowledge of the S-matrix for all energies determines the graph structure and the coefficients of the Hamiltonian. For locally perturbed equilateral metric graphs, the knowledge of the S-matrix for all energies determines the graph structure.
△ Less
Submitted 2 February, 2022;
originally announced February 2022.
-
Cones with convoluted geometry that always scatter or radiate
Authors:
Emilia Blåsten,
Valter Pohjola
Abstract:
We investigate fixed energy scattering from conical potentials having an irregular cross-section. The incident wave can be any arbitrary non-trivial Herglotz wave. We show that a large number of such local conical scatterers scatter all incident waves, meaning that the far-field will always be non-zero. In essence there are no incident waves for which these potentials would seem transparent at any…
▽ More
We investigate fixed energy scattering from conical potentials having an irregular cross-section. The incident wave can be any arbitrary non-trivial Herglotz wave. We show that a large number of such local conical scatterers scatter all incident waves, meaning that the far-field will always be non-zero. In essence there are no incident waves for which these potentials would seem transparent at any given energy. We show more specifically that there is a large collection of star-shaped cones whose local geometries always produce a scattered wave. In fact, except for a countable set, all cones from a family of deformations between a circular and a star-shaped cone will always scatter any non-trivial incident Herglotz wave. Our methods are based on the use of spherical harmonics and a deformation argument. We also investigate the related problem for sources. In particular if the support of the source is locally a thin cone, with an arbitrary cross-section, then it will produce a non-zero far-field.
△ Less
Submitted 12 October, 2021;
originally announced October 2021.
-
Inverse problems for discrete heat equations and random walks for a class of graphs
Authors:
Emilia Blåsten,
Hiroshi Isozaki,
Matti Lassas,
Jinpeng Lu
Abstract:
We study the inverse problem of determining a finite weighted graph $(X,E)$ from the source-to-solution map on a vertex subset $B\subset X$ for heat equations on graphs, where the time variable can be either discrete or continuous. We prove that this problem is equivalent to the discrete version of the inverse interior spectral problem, provided that there does not exist a nonzero eigenfunction of…
▽ More
We study the inverse problem of determining a finite weighted graph $(X,E)$ from the source-to-solution map on a vertex subset $B\subset X$ for heat equations on graphs, where the time variable can be either discrete or continuous. We prove that this problem is equivalent to the discrete version of the inverse interior spectral problem, provided that there does not exist a nonzero eigenfunction of the weighted graph Laplacian vanishing identically on $B$. In particular, we consider inverse problems for discrete-time random walks on finite graphs. We show that under a novel geometric condition (called the Two-Points Condition), the graph structure and the transition matrix of the random walk can be uniquely recovered from the distributions of the first passing times on $B$, or from the observation on $B$ of one realization of the random walk.
△ Less
Submitted 4 January, 2023; v1 submitted 1 July, 2021;
originally announced July 2021.
-
Gel'fand's inverse problem for the graph Laplacian
Authors:
Emilia Blåsten,
Hiroshi Isozaki,
Matti Lassas,
Jinpeng Lu
Abstract:
We study the discrete Gel'fand's inverse boundary spectral problem of determining a finite weighted graph. Suppose that the set of vertices of the graph is a union of two disjoint sets: $X=B\cup G$, where $B$ is called the set of the boundary vertices and $G$ is called the set of the interior vertices. We consider the case where the vertices in the set $G$ and the edges connecting them are unknown…
▽ More
We study the discrete Gel'fand's inverse boundary spectral problem of determining a finite weighted graph. Suppose that the set of vertices of the graph is a union of two disjoint sets: $X=B\cup G$, where $B$ is called the set of the boundary vertices and $G$ is called the set of the interior vertices. We consider the case where the vertices in the set $G$ and the edges connecting them are unknown. Assume that we are given the set $B$ and the pairs $(λ_j,φ_j|_B)$, where $λ_j$ are the eigenvalues of the graph Laplacian and $φ_j|_B$ are the values of the corresponding eigenfunctions at the vertices in $B$. We show that the graph structure, namely the unknown vertices in $G$ and the edges connecting them, along with the weights, can be uniquely determined from the given data, if every boundary vertex is connected to only one interior vertex and the graph satisfies the following property: any subset $S\subseteq G$ of cardinality $|S|\geqslant 2$ contains two extreme points. A point $x\in S$ is called an extreme point of $S$ if there exists a point $z\in B$ such that $x$ is the unique nearest point in $S$ from $z$ with respect to the graph distance. This property is valid for several standard types of lattices and their perturbations.
△ Less
Submitted 3 March, 2023; v1 submitted 25 January, 2021;
originally announced January 2021.
-
Unique determination of the shape of a scattering screen from a passive measurement
Authors:
Emilia Blåsten,
Lassi Päivärinta,
Sadia Sadique
Abstract:
We consider the problem of fixed frequency acoustic scattering from a sound-soft flat screen. More precisely the obstacle is restricted to a two-dimensional plane and interacting with a arbitrary incident wave, it scatters acoustic waves to three-dimensional space. The model is particularly relevant in the study and design of reflecting sonars and antennas, cases where one cannot assume that the i…
▽ More
We consider the problem of fixed frequency acoustic scattering from a sound-soft flat screen. More precisely the obstacle is restricted to a two-dimensional plane and interacting with a arbitrary incident wave, it scatters acoustic waves to three-dimensional space. The model is particularly relevant in the study and design of reflecting sonars and antennas, cases where one cannot assume that the incident wave is a plane wave. Our main result is that given the plane where the screen is located, the far-field pattern produced by any single arbitrary incident wave determines the exact shape of the screen, as long as it is not antisymmetric with respect to the plane. This holds even for screens whose shape is an arbitrary simply connected smooth domain. This is in contrast to earlier work where the incident wave had to be a plane wave, or more recent work where only polygonal scatterers are determined.
△ Less
Submitted 17 July, 2020; v1 submitted 11 June, 2020;
originally announced June 2020.
-
Blockage detection in networks: the area reconstruction method
Authors:
Emilia Blåsten,
Fedi Zouari,
Moez Louati,
Mohamed S. Ghidaoui
Abstract:
In this note we present a reconstructive algorithm for solving the cross-sectional pipe area from boundary measurements in a tree network with one inaccessbile end. This is equivalent to reconstructing the first order perturbation to a wave equation on a quantum graph from boundary measurements at all network ends except one. The method presented here is based on a time reversal boundary control m…
▽ More
In this note we present a reconstructive algorithm for solving the cross-sectional pipe area from boundary measurements in a tree network with one inaccessbile end. This is equivalent to reconstructing the first order perturbation to a wave equation on a quantum graph from boundary measurements at all network ends except one. The method presented here is based on a time reversal boundary control method originally presented by Sondhi and Gopinath for one dimensional problems and later by Oksanen to higher dimensional manifolds. The algorithm is local, so is applicable to complicated networks if we are interested only in a part isomorphic to a tree. Moreover the numerical implementation requires only one matrix inversion or least squares minimization per discretization point in the physical network. We present a theoretical solution existence proof, a step-by-step algorithm, and a numerical implementation applied to two numerical experiments.
△ Less
Submitted 12 September, 2019;
originally announced September 2019.
-
On an electromagnetic problem in a corner and its applications
Authors:
Emilia Blåsten,
Hongyu Liu,
Jingni Xiao
Abstract:
Let $\mathcal{K}^{r_0}_{x_0}$ be a (non-degenerate) truncated corner in $\mathbb{R}^3$ with $x_0\in\mathbb{R}^3$ being its apex, and $\mathbf{F}_j\in C^α(\overline{\mathcal{K}^{r_0}_{x_0}}; \mathbb{C}^3)$, $j=1,2$, where $α$ is the positive Hölder index. Consider the following electromagnetic problem $…
▽ More
Let $\mathcal{K}^{r_0}_{x_0}$ be a (non-degenerate) truncated corner in $\mathbb{R}^3$ with $x_0\in\mathbb{R}^3$ being its apex, and $\mathbf{F}_j\in C^α(\overline{\mathcal{K}^{r_0}_{x_0}}; \mathbb{C}^3)$, $j=1,2$, where $α$ is the positive Hölder index. Consider the following electromagnetic problem $$\left\{\begin{split} & \nabla\wedge \mathbf{E}-\mathrm{i}ωμ_0 \mathbf{H}=\mathbf{F}_{1} \quad \mbox{in $\mathcal{K}^{r_0}_{x_0}$},\\ & \, \nabla\wedge \mathbf{H}+\mathrm{i}ω\varepsilon_0 \mathbf{E}=\mathbf{F}_{2} \quad \mbox{in $\mathcal{K}^{r_0}_{x_0}$}, \\ &\, ν\wedge \mathbf{E}=ν\wedge\mathbf{H}=0 \qquad\mbox{on $\partial \mathcal{K}^{r_0}_{x_0}\setminus \partial B_{r_0}(x_0)$}, \end{split}\right.$$ where $ν$ denotes the exterior unit normal vector of $\partial \mathcal{K}^{r_0}_{x_0}$. We prove that $\mathbf{F}_1$ and $\mathbf{F}_2$ must vanish at the apex $x_0$. There are a series of interesting consequences of this vanishing property in several separate but intriguingly connected topics in electromagnetism. First, we can geometrically characterize non-radiating sources in time-harmonic electromagnetic scattering. Secondly, we consider the inverse source scattering problem for time-harmonic electromagnetic waves and establish the uniqueness result in determining the polyhedral support of a source by a single far-field measurement. Thirdly, we derive a property of the geometric structure of electromagnetic interior transmission eigenfunctions near corners. Finally, we also discuss its implication to invisibility cloaking.
△ Less
Submitted 10 September, 2019; v1 submitted 2 January, 2019;
originally announced January 2019.
-
Localization and geometrization in plasmon resonances and geometric structures of Neumann-Poincaré eigenfunctions
Authors:
Eemeli Blasten,
Hongjie Li,
Hongyu Liu,
Yuliang Wang
Abstract:
This paper reports some novel and intriguing discoveries about the localization and geometrization phenomenon in plasmon resonances and the intrinsic geometric structures of Neumann-Poincaré eigenfunctions. It is known that plasmon resonance generically occurs in the quasi-static regime where the size of the plasmonic inclusion is sufficiently small compared to the wavelength. In this paper, we sh…
▽ More
This paper reports some novel and intriguing discoveries about the localization and geometrization phenomenon in plasmon resonances and the intrinsic geometric structures of Neumann-Poincaré eigenfunctions. It is known that plasmon resonance generically occurs in the quasi-static regime where the size of the plasmonic inclusion is sufficiently small compared to the wavelength. In this paper, we show that the global smallness condition on the plasmonic inclusion can be replaced by a local high-curvature condition, and the plasmon resonance occurs locally near the high-curvature point of the plasmonic inclusion. We provide partial theoretical explanation and link with the geometric structures of the Neumann- Poincaré (NP) eigenfunctions. The spectrum of the Neumann-Poincaré operator has received significant attentions in the literature. We show for the first time some intrinsic geometric structures of the Neumann-Poincaré eigenfunctions near high-curvature points.
△ Less
Submitted 3 October, 2018; v1 submitted 23 September, 2018;
originally announced September 2018.
-
Non-Scattering Energies and Transmission Eigenvalues in $\mathbb H^n$
Authors:
Emilia Blåsten,
Esa V. Vesalainen
Abstract:
We consider non-scattering energies and transmission eigenvalues of compactly supported potentials in the hyperbolic spaces $\mathbb H^n$. We prove that in $\mathbb H^2$ a corner bounded by two hyperbolic lines intersecting at an angle smaller than $180^\circ$ always scatters, and that one of the lines may be replaced by a horocycle. In higher dimensions, we obtain similar results for corners boun…
▽ More
We consider non-scattering energies and transmission eigenvalues of compactly supported potentials in the hyperbolic spaces $\mathbb H^n$. We prove that in $\mathbb H^2$ a corner bounded by two hyperbolic lines intersecting at an angle smaller than $180^\circ$ always scatters, and that one of the lines may be replaced by a horocycle. In higher dimensions, we obtain similar results for corners bounded by hyperbolic hyperplanes intersecting each other pairwise orthogonally, and that one of the hyperplanes may be replaced by a horosphere. The corner scattering results are contrasted by proving discreteness and existence results for the related transmission eigenvalue problems.
△ Less
Submitted 8 May, 2019; v1 submitted 12 September, 2018;
originally announced September 2018.
-
Scattering by curvatures, radiationless sources, transmission eigenfunctions and inverse scattering problems
Authors:
Emilia Blåsten,
Hongyu Liu
Abstract:
We consider several intriguingly connected topics in the theory of wave propagation: geometrical characterizations of radiationless sources, non-radiating incident waves, interior transmission eigenfunctions, and their applications to inverse scattering. Our major novel discovery is a localization and geometrization property.
We first show that a scatterer, which might be an active source or an…
▽ More
We consider several intriguingly connected topics in the theory of wave propagation: geometrical characterizations of radiationless sources, non-radiating incident waves, interior transmission eigenfunctions, and their applications to inverse scattering. Our major novel discovery is a localization and geometrization property.
We first show that a scatterer, which might be an active source or an inhomogeneous index of refraction, cannot be completely invisible if its support is small compared to the wavelength and scattering intensity. Next, we localize and geometrize the "smallness" results to the case where there is a high-curvature point on the boundary of the scatterer's support. We derive explicit bounds between the intensity of an invisible scatterer and its diameter or its curvature at the aforementioned point. These results can be used to characterize radiationless sources or non-radiating waves near high-curvature points.
As significant applications we derive new intrinsic geometric properties of interior transmission eigenfunctions near high-curvature points. This is of independent interest in spectral theory. We further establish unique determination results for the single-wave Schiffer's problem in certain scenarios of practical interest, such as collections of well-separated small scatterers. These are the first results for Schiffer's problem with generic smooth scatterers.
△ Less
Submitted 21 March, 2021; v1 submitted 4 August, 2018;
originally announced August 2018.
-
Radiating and non-radiating sources in elasticity
Authors:
Eemeli Blåsten,
Yi-Hsuan Lin
Abstract:
In this work, we study the inverse source problem of a fixed frequency for the Navier's equation. We investigate that nonradiating external forces. If the support of such a force has a convex or non-convex corner or edge on their boundary, the force must be vanishing there. The vanishing property at corners and edges holds also for sufficiently smooth transmission eigenfunctions in elasticity. The…
▽ More
In this work, we study the inverse source problem of a fixed frequency for the Navier's equation. We investigate that nonradiating external forces. If the support of such a force has a convex or non-convex corner or edge on their boundary, the force must be vanishing there. The vanishing property at corners and edges holds also for sufficiently smooth transmission eigenfunctions in elasticity. The idea originates from the enclosure method: The energy identity and new type exponential solutions for the Navier's equation.
△ Less
Submitted 16 October, 2018; v1 submitted 18 July, 2018;
originally announced July 2018.
-
Nonradiating sources and transmission eigenfunctions vanish at corners and edges
Authors:
Eemeli Blåsten
Abstract:
We consider the inverse source problem of a fixed wavenumber: study properties of an acoustic source based on a single far- or near-field measurement. We show that nonradiating sources having a convex or non-convex corner or edge on their boundary must vanish there. The same holds true for smooth enough transmission eigenfunctions. The proof is based on an energy identity from the enclosure method…
▽ More
We consider the inverse source problem of a fixed wavenumber: study properties of an acoustic source based on a single far- or near-field measurement. We show that nonradiating sources having a convex or non-convex corner or edge on their boundary must vanish there. The same holds true for smooth enough transmission eigenfunctions. The proof is based on an energy identity from the enclosure method and the construction of a new type of planar complex geometrical optics solution whose logarithm is a branch of the square root. The latter allows us to deal with non-convex corners and edges.
△ Less
Submitted 17 April, 2018; v1 submitted 28 March, 2018;
originally announced March 2018.
-
Addendum to: "On vanishing near corners of transmission eigenfunctions"
Authors:
Eemeli Blåsten,
Hongyu Liu
Abstract:
In this addendum, we relax a restrictive assumption in [1] needed for the interior transmission eigenfunctions to hold the intrinsic geometric vanishing property in a corner. In addition we present in more detail another assumption which can also guarantee the vanishing property, namely being locally $H^2$ near the corner. This was mentioned briefly in [1].
In this addendum, we relax a restrictive assumption in [1] needed for the interior transmission eigenfunctions to hold the intrinsic geometric vanishing property in a corner. In addition we present in more detail another assumption which can also guarantee the vanishing property, namely being locally $H^2$ near the corner. This was mentioned briefly in [1].
△ Less
Submitted 23 October, 2017;
originally announced October 2017.
-
Well-posedness of the Goursat problem and stability for point source inverse backscattering
Authors:
Eemeli Blåsten
Abstract:
We show logarithmic stability for the point source inverse backscattering problem under the assumption of angularly controlled potentials. Radial symmetry implies Hölder stability. Importantly, we also show that the point source equation is well-posed and also that the associated characteristic initial value problem, or Goursat problem, is well-posed. These latter results are difficult to find in…
▽ More
We show logarithmic stability for the point source inverse backscattering problem under the assumption of angularly controlled potentials. Radial symmetry implies Hölder stability. Importantly, we also show that the point source equation is well-posed and also that the associated characteristic initial value problem, or Goursat problem, is well-posed. These latter results are difficult to find in the literature in the form required by the stability proof.
△ Less
Submitted 18 October, 2017; v1 submitted 26 May, 2017;
originally announced May 2017.
-
Recovering piecewise constant refractive indices by a single far-field pattern
Authors:
Emilia Blåsten,
Hongyu Liu
Abstract:
We are concerned with the inverse scattering problem of recovering an inhomogeneous medium by the associated acoustic wave measurement. We prove that under certain assumptions, a single far-field pattern determines the values of a perturbation to the refractive index on the corners of its support. These assumptions are satisfied for example in the low acoustic frequency regime. As a consequence if…
▽ More
We are concerned with the inverse scattering problem of recovering an inhomogeneous medium by the associated acoustic wave measurement. We prove that under certain assumptions, a single far-field pattern determines the values of a perturbation to the refractive index on the corners of its support. These assumptions are satisfied for example in the low acoustic frequency regime. As a consequence if the perturbation is piecewise constant with either a polyhedral nest geometry or a known polyhedral cell geometry, such as a pixel or voxel array, we establish the injectivity of the perturbation to far-field map given a fixed incident wave. This is the first unique determinancy result of its type in the literature, and all of the existing results essentially make use of infinitely many measurements.
△ Less
Submitted 4 May, 2020; v1 submitted 2 May, 2017;
originally announced May 2017.
-
Uniqueness for the inverse boundary value problem with singular potentials in 2D
Authors:
Eemeli Blåsten,
Leo Tzou,
Jenn-Nan Wang
Abstract:
In this paper we consider the inverse boundary value problem for the Schrödinger equation with potential in $L^p$ class, $p>4/3$. We show that the potential is uniquely determined by the boundary measurements.
In this paper we consider the inverse boundary value problem for the Schrödinger equation with potential in $L^p$ class, $p>4/3$. We show that the potential is uniquely determined by the boundary measurements.
△ Less
Submitted 21 April, 2017;
originally announced April 2017.
-
On vanishing and localizing of transmission eigenfunctions near singular points: a numerical study
Authors:
Eemeli Blåsten,
Xiaofei Li,
Hongyu Liu,
Yuliang Wang
Abstract:
This paper is concerned with the intrinsic geometric structure of interior transmission eigenfunctions arising in wave scattering theory. We numerically show that the aforementioned geometric structure can be much delicate and intriguing. The major findings can be roughly summarized as follows. If there is a cusp on the support of the underlying potential function, then the interior transmission e…
▽ More
This paper is concerned with the intrinsic geometric structure of interior transmission eigenfunctions arising in wave scattering theory. We numerically show that the aforementioned geometric structure can be much delicate and intriguing. The major findings can be roughly summarized as follows. If there is a cusp on the support of the underlying potential function, then the interior transmission eigenfunction vanishes near the cusp if its interior angle is less than $π$, whereas the interior transmission eigenfunction localizes near the cusp if its interior angle is bigger than $π$. Furthermore, we show that the vanishing and blowup orders are inversely proportional to the interior angle of the cusp: the sharper the angle, the higher the convergence order. Our results are first of its type in the spectral theory for transmission eigenvalue problems, and the existing studies in the literature concentrate more on the intrinsic properties of the transmission eigenvalues instead of the transmission eigenfunctions. Due to the limitedness of the computing resources, our study is by no means exclusive and complete. We consider our study only in a certain geometric setup including corner, curved corner and edge singularities. Nevertheless, we believe that similar results hold for more general cusp singularities and rigorous theoretical justifications are much desirable. Our study enriches the spectral theory for transmission eigenvalue problems. We also discuss its implication to inverse scattering theory.
△ Less
Submitted 10 September, 2017; v1 submitted 6 April, 2017;
originally announced April 2017.
-
On vanishing near corners of transmission eigenfunctions
Authors:
Eemeli Blåsten,
Hongyu Liu
Abstract:
Let $Ω$ be a bounded domain in $\mathbb{R}^n$, $n\geq 2$, and $V\in L^\infty(Ω)$ be a potential function. Consider the following transmission eigenvalue problem for nontrivial $v, w\in L^2(Ω)$ and $k\in\mathbb{R}_+$, \[(Δ+k^2)v= 0 \quad \text{in } Ω,\] \[(Δ+k^2(1+V))w= 0 \quad \text{in } Ω,\] \[w-v \in H^2_0(Ω), \quad \lVert v \rVert_{L^2(Ω)}=1. \] We show that the transmission eigenfunctions $v$…
▽ More
Let $Ω$ be a bounded domain in $\mathbb{R}^n$, $n\geq 2$, and $V\in L^\infty(Ω)$ be a potential function. Consider the following transmission eigenvalue problem for nontrivial $v, w\in L^2(Ω)$ and $k\in\mathbb{R}_+$, \[(Δ+k^2)v= 0 \quad \text{in } Ω,\] \[(Δ+k^2(1+V))w= 0 \quad \text{in } Ω,\] \[w-v \in H^2_0(Ω), \quad \lVert v \rVert_{L^2(Ω)}=1. \] We show that the transmission eigenfunctions $v$ and $w$ carry the geometric information of $\mathrm{supp}(V)$. Indeed, it is proved that $v$ and $w$ vanish near a corner point on $\partial Ω$ in a generic situation where the corner possesses an interior angle less than $π$ and the potential function $V$ does not vanish at the corner point. This is the first quantitative result concerning the intrinsic property of transmission eigenfunctions and enriches the classical spectral theory for Dirichlet/Neumann Laplacian. We also discuss its implications to inverse scattering theory and invisibility.
△ Less
Submitted 23 October, 2017; v1 submitted 27 January, 2017;
originally announced January 2017.
-
On corners scattering stably and stable shape determination by a single far-field pattern
Authors:
Emilia L. K. Blåsten,
Hongyu Liu
Abstract:
In this paper, we establish two sharp quantitative results for the direct and inverse time-harmonic acoustic wave scattering. The first one is concerned with the recovery of the support of an inhomogeneous medium, independent of its contents, by a single far-field measurement. For this challenging inverse scattering problem, we establish a sharp stability estimate of logarithmic type when the medi…
▽ More
In this paper, we establish two sharp quantitative results for the direct and inverse time-harmonic acoustic wave scattering. The first one is concerned with the recovery of the support of an inhomogeneous medium, independent of its contents, by a single far-field measurement. For this challenging inverse scattering problem, we establish a sharp stability estimate of logarithmic type when the medium support is a polyhedral domain in $\mathbb{R}^n$, $n=2,3$. The second one is concerned with the stability for corner scattering. More precisely if an inhomogeneous scatterer, whose support has a corner, is probed by an incident plane-wave, we show that the energy of the scattered far-field possesses a positive lower bound depending only on the geometry of the corner and bounds on the refractive index of the medium there. This implies the impossibility of approximate invisibility cloaking by a device containing a corner and made of isotropic material. Our results sharply quantify the qualitative corner scattering results in the literature, and the corresponding proofs involve much more subtle analysis and technical arguments. As a significant byproduct of this study, we establish a quantitative Rellich's theorem that continues smallness of the wave field from the far-field up to the interior of the inhomogeneity. The result is of significant mathematical interest for its own sake and is surprisingly not yet known in the literature.
△ Less
Submitted 5 January, 2022; v1 submitted 11 November, 2016;
originally announced November 2016.
-
Translation-Invariant Estimates for Operators with Simple Characteristics
Authors:
Eemeli Blåsten,
John Sylvester
Abstract:
We prove $L^{2}$ estimates and solvability for a variety of simply characteristic constant coefficient partial differential equations $P(D)u=f$. These estimates \[||u||_{L^2(D_{r})}\le C\sqrt{d_{r}d_{s}} ||f||_{_{L^2(D_{s})}}\] depend on geometric quantities - the diameters $d_{r}$ and $d_{s}$ of the regions $D_{r}$, where we estimate $u$, and $D_{s}$, the support of $f$ - rather than weights. As…
▽ More
We prove $L^{2}$ estimates and solvability for a variety of simply characteristic constant coefficient partial differential equations $P(D)u=f$. These estimates \[||u||_{L^2(D_{r})}\le C\sqrt{d_{r}d_{s}} ||f||_{_{L^2(D_{s})}}\] depend on geometric quantities - the diameters $d_{r}$ and $d_{s}$ of the regions $D_{r}$, where we estimate $u$, and $D_{s}$, the support of $f$ - rather than weights. As these geometric quantities transform simply under translations, rotations, and dilations, the corresponding estimates share the same properties. In particular, this implies that they transform appropriately under change of units, and therefore are physically meaningful. The explicit dependence on the diameters implies the correct global growth estimates. The weighted $L^{2}$ estimates first proved by Agmon in order to construct the generalized eigenfunctions for Laplacian plus potential in $\mathbb{R}^{n}$, and the more general and precise Besov type estimates of Agmon and Hörmander, are all simple direct corollaries of the estimate above.
△ Less
Submitted 11 August, 2016; v1 submitted 21 July, 2016;
originally announced July 2016.
-
Stability and uniqueness for a two-dimensional inverse boundary value problem for less regular potentials
Authors:
E. Blåsten,
O. Yu. Imanuvilov,
M. Yamamoto
Abstract:
We consider inverse boundary value problems for the Schrodinger equations in two dimensions. Within less regular classes of potentials, we establish a conditional stability estimate of logarithmic order. Moreover we prove the uniqueness within $L^p$-class of potentials with $p > 2$.
We consider inverse boundary value problems for the Schrodinger equations in two dimensions. Within less regular classes of potentials, we establish a conditional stability estimate of logarithmic order. Moreover we prove the uniqueness within $L^p$-class of potentials with $p > 2$.
△ Less
Submitted 9 April, 2015;
originally announced April 2015.
-
On the Gel'fand-Calderón inverse problem in two dimensions
Authors:
Eemeli Blåsten
Abstract:
We prove uniqueness and stability for the inverse boundary value problem of the two dimensional Schrödinger equation. We do not assume the potentials to be continuous or even bounded. Instead, we assume that some of their positive fractional derivatives are in a specific Lorentz space. These spaces are a natural generalization to the usual fractional Sobolev spaces. The thesis consists of two part…
▽ More
We prove uniqueness and stability for the inverse boundary value problem of the two dimensional Schrödinger equation. We do not assume the potentials to be continuous or even bounded. Instead, we assume that some of their positive fractional derivatives are in a specific Lorentz space. These spaces are a natural generalization to the usual fractional Sobolev spaces. The thesis consists of two parts.
In the first part, we define the generalized fractional Sobolev spaces and prove some of their properties including embeddings and interpolation identities. In particular we sharpen the usual Sobolev embedding into the space of Hölder-continuous functions, by showing that a particular kind of space embeds into the space of continuous functions without any modulus of continuity.
The inverse problem is considered in the second part of the thesis. We prove a new Carleman estimate for $\partial$. This estimate has a fast decay rate, which will allow us to consider potentials with very low regularity. After that we use Bukhgeim's oscillating exponential solutions, Alessandrini's identity and stationary phase to get information about the difference of the potentials from the difference of the Cauchy data. The stability estimate will be of logarithmic type, but works with potentials of low regularity.
△ Less
Submitted 18 July, 2013;
originally announced July 2013.
-
Completeness of generalized transmission eigenstates
Authors:
Eemeli Blåsten,
Lassi Päivärinta
Abstract:
We prove the completeness of the generalized (interior) transmission eigenstates for the acoustic and Schrödinger equations. The method uses the ellipticity theory of Agranovich and Vishik.
We prove the completeness of the generalized (interior) transmission eigenstates for the acoustic and Schrödinger equations. The method uses the ellipticity theory of Agranovich and Vishik.
△ Less
Submitted 18 July, 2013;
originally announced July 2013.
-
Do corners always scatter?
Authors:
Eemeli Blåsten,
Lassi Päivärinta,
John Sylvester
Abstract:
We study time harmonic scattering for the Helmholtz equation in Rn. We show that certain penetrable scatterers with rectangular corners scatter every incident wave nontrivially. Even though these scatterers have interior transmission eigenvalues, the relative scattering (a.k.a. far field) operator has a trivial kernel and cokernel at every real wavenumber.
We study time harmonic scattering for the Helmholtz equation in Rn. We show that certain penetrable scatterers with rectangular corners scatter every incident wave nontrivially. Even though these scatterers have interior transmission eigenvalues, the relative scattering (a.k.a. far field) operator has a trivial kernel and cokernel at every real wavenumber.
△ Less
Submitted 11 June, 2013; v1 submitted 8 November, 2012;
originally announced November 2012.
-
Stability and uniqueness for the inverse problem of the Schrödinger equation in 2D with potentials in W^{ε,p}
Authors:
Eemeli Blåsten
Abstract:
This result will be published as part of my PhD thesis after some streamlining. This manuscript contains the proof of the claim, but is not peer-reviewed.
We prove uniqueness and stability for the inverse problem of the 2D Schrödinger equation in the case that the potentials give well posed direct problems and are in W^{ε,p}(Ω), ε>0, p>2. The idea of the proof is to use Bukhgeim's oscillating ex…
▽ More
This result will be published as part of my PhD thesis after some streamlining. This manuscript contains the proof of the claim, but is not peer-reviewed.
We prove uniqueness and stability for the inverse problem of the 2D Schrödinger equation in the case that the potentials give well posed direct problems and are in W^{ε,p}(Ω), ε>0, p>2. The idea of the proof is to use Bukhgeim's oscillating exponential solutions. By Alessandrini's identity and stationary phase we get information about the difference of the potentials from the difference of the Dirichlet-Neumann maps.
Using interpolation, we see that the the worst of the remainder terms decays with an exponent of 1 - ε - β. Here β is the exponent which we get in a norm estimate for the conjugated Cauchy operator. We get it arbitrarily close to 1, so there is uniqueness and stability when ε > 0.
△ Less
Submitted 3 June, 2011;
originally announced June 2011.
-
The inverse problem of the Schrödinger equation in the plane; A dissection of Bukhgeim's result
Authors:
Eemeli Blåsten
Abstract:
The purpose of this licentiate thesis is to present Bukhgeim's result of 2007, which solves the inverse boundary value problem of the Schrödinger equation in the plane. The thesis is mainly based on Bukhgeim's paper and Kari Astala's seminar talk, which he gave the 11th and 18th September of 2008 at the University of Helsinki.
Section 3 is devoted to the history and past results concerning some…
▽ More
The purpose of this licentiate thesis is to present Bukhgeim's result of 2007, which solves the inverse boundary value problem of the Schrödinger equation in the plane. The thesis is mainly based on Bukhgeim's paper and Kari Astala's seminar talk, which he gave the 11th and 18th September of 2008 at the University of Helsinki.
Section 3 is devoted to the history and past results concerning some related problems: notably the inverse problem of the Schrödinger and conductivity equations in different settings. We also describe why some of the past methods do not work in the general case in a plane domain.
Section 4 outlines Bukhgeim's result and sketches out the proof. This proof is a streamlined version of the one in Bukhgeim's paper with the stationary phase method based on Kari Astala's presentation. In the following section we prove all the needed lemmas which are combined in section 6 to prove the solvability of the inverse problem.
The idea of the proof is simple. Given two Schrödinger equations with the same boundary data we get an orthogonality relation for the solutions of the two equations. Then we show the existence of certain oscillating solutions and insert these into the orthogonality relation. Then by a stationary phase argument we see that the two Schrödinger equations are the same.
In the last section we contemplate an unclear detail in Bukhgeim's paper which Kari Astala pointed out in his seminar talk: without an extra argument Bukhgeim's proof shows the solvability of the inverse problem only for differentiable potentials instead of ones in L^p. But the special oscillating solutions exist even for L^p potentials.
△ Less
Submitted 31 March, 2011;
originally announced March 2011.
