Showing 1–37 of 37 results for author: Krupchyk, K

Inverse problems for semilinear Schrödinger equations at large frequency via polynomial resolvent estimates on manifolds

Authors: Katya Krupchyk, Shiqi Ma, Suman Kumar Sahoo, Mikko Salo, Simon St-Amant

Abstract: We study inverse boundary problems for semilinear Schrödinger equations on smooth compact Riemannian manifolds of dimensions $\ge 2$ with smooth boundary, at a large fixed frequency. We show that certain classes of cubic nonlinearities are determined uniquely from the knowledge of the nonlinear Dirichlet--to--Neumann map at a large fixed frequency on quite general Riemannian manifolds. In particul… ▽ More We study inverse boundary problems for semilinear Schrödinger equations on smooth compact Riemannian manifolds of dimensions $\ge 2$ with smooth boundary, at a large fixed frequency. We show that certain classes of cubic nonlinearities are determined uniquely from the knowledge of the nonlinear Dirichlet--to--Neumann map at a large fixed frequency on quite general Riemannian manifolds. In particular, in contrast to the previous results available, here the manifolds need not satisfy any product structure, may have trapped geodesics, and the geodesic ray transform need not be injective. Only a mild assumption about the geometry of intersecting geodesics is required. We also establish a polynomial resolvent estimate for the Laplacian on an arbitrary smooth compact Riemannian manifold without boundary, valid for most frequencies. This estimate, along with the invariant construction of Gaussian beam quasimodes with uniform bounds for underlying constants and a stationary phase lemma with explicit control over all involved constants, constitutes the key elements in proving the uniqueness results for the considered inverse problems. △ Less

Submitted 20 February, 2024; originally announced February 2024.

Inverse Problems For Third-Order Nonlinear Perturbations Of Biharmonic Operators

Authors: Sombuddha Bhattacharyya, Katya Krupchyk, Suman Kumar Sahoo, Gunther Uhlmann

Abstract: We study inverse boundary problems for third-order nonlinear tensorial perturbations of biharmonic operators on a bounded domain in $\mathbb{R}^n$, where $n\geq 3$. By imposing appropriate assumptions on the nonlinearity, we demonstrate that the Dirichlet-to-Neumann map, known on the boundary of the domain, uniquely determines the genuinely nonlinear tensorial third-order perturbations of the biha… ▽ More We study inverse boundary problems for third-order nonlinear tensorial perturbations of biharmonic operators on a bounded domain in $\mathbb{R}^n$, where $n\geq 3$. By imposing appropriate assumptions on the nonlinearity, we demonstrate that the Dirichlet-to-Neumann map, known on the boundary of the domain, uniquely determines the genuinely nonlinear tensorial third-order perturbations of the biharmonic operator. The proof relies on the inversion of certain generalized momentum ray transforms on symmetric tensor fields. Notably, the corresponding inverse boundary problem for linear tensorial third-order perturbations of the biharmonic operator remains an open question. △ Less

Submitted 13 December, 2023; originally announced December 2023.

Fractional anisotropic Calderón problem on closed Riemannian manifolds

Authors: Ali Feizmohammadi, Tuhin Ghosh, Katya Krupchyk, Gunther Uhlmann

Abstract: In this paper we solve the fractional anisotropic Calderón problem on closed Riemannian manifolds of dimensions two and higher. Specifically, we prove that the knowledge of the local source-to-solution map for the fractional Laplacian, given on an arbitrary small open nonempty a priori known subset of a smooth closed connected Riemannian manifold, determines the Riemannian manifold up to an isomet… ▽ More In this paper we solve the fractional anisotropic Calderón problem on closed Riemannian manifolds of dimensions two and higher. Specifically, we prove that the knowledge of the local source-to-solution map for the fractional Laplacian, given on an arbitrary small open nonempty a priori known subset of a smooth closed connected Riemannian manifold, determines the Riemannian manifold up to an isometry. This can be viewed as a nonlocal analog of the anisotropic Calderón problem in the setting of closed Riemannian manifolds, which is wide open in dimensions three and higher. △ Less

Submitted 6 December, 2021; originally announced December 2021.

MSC Class: 35S05; 58J35; 58J40

A remark on inverse problems for nonlinear magnetic Schrödinger equations on complex manifolds

Authors: Katya Krupchyk, Gunther Uhlmann, Lili Yan

Abstract: We show that the knowledge of the Dirichlet--to--Neumann map for a nonlinear magnetic Schrödinger operator on the boundary of a compact complex manifold, equipped with a Kähler metric and admitting sufficiently many global holomorphic functions, determines the nonlinear magnetic and electric potentials uniquely. We show that the knowledge of the Dirichlet--to--Neumann map for a nonlinear magnetic Schrödinger operator on the boundary of a compact complex manifold, equipped with a Kähler metric and admitting sufficiently many global holomorphic functions, determines the nonlinear magnetic and electric potentials uniquely. △ Less

Submitted 26 October, 2021; originally announced October 2021.

MSC Class: 35R01; 35R30; 58J32; 53C65

The Calderón inverse problem for isotropic quasilinear conductivities

Authors: Cătălin I. Cârstea, Ali Feizmohammadi, Yavar Kian, Katya Krupchyk, Gunther Uhlmann

Abstract: We prove a global uniqueness result for the Calderón inverse problem for a general quasilinear isotropic conductivity equation on a bounded open set with smooth boundary in dimension $n\ge 3$. Performing higher order linearizations of the nonlinear Dirichlet--to--Neumann map, we reduce the problem of the recovery of the differentials of the quasilinear conductivity, which are symmetric tensors, to… ▽ More We prove a global uniqueness result for the Calderón inverse problem for a general quasilinear isotropic conductivity equation on a bounded open set with smooth boundary in dimension $n\ge 3$. Performing higher order linearizations of the nonlinear Dirichlet--to--Neumann map, we reduce the problem of the recovery of the differentials of the quasilinear conductivity, which are symmetric tensors, to a completeness property for certain anisotropic products of solutions to the linearized equation. The completeness property is established using complex geometric optics solutions to the linearized conductivity equation, whose amplitudes concentrate near suitable two dimensional planes. △ Less

Submitted 10 March, 2021; originally announced March 2021.

Partial data inverse problems for quasilinear conductivity equations

Authors: Yavar Kian, Katya Krupchyk, Gunther Uhlmann

Abstract: We show that the knowledge of the Dirichlet-to-Neumann maps given on an arbitrary open non-empty portion of the boundary of a smooth domain in $\mathbb{R}^n$, $n\ge 2$, for classes of semilinear and quasilinear conductivity equations, determines the nonlinear conductivities uniquely. The main ingredient in the proof is a certain $L^1$-density result involving sums of products of gradients of harmo… ▽ More We show that the knowledge of the Dirichlet-to-Neumann maps given on an arbitrary open non-empty portion of the boundary of a smooth domain in $\mathbb{R}^n$, $n\ge 2$, for classes of semilinear and quasilinear conductivity equations, determines the nonlinear conductivities uniquely. The main ingredient in the proof is a certain $L^1$-density result involving sums of products of gradients of harmonic functions which vanish on a closed proper subset of the boundary. △ Less

Submitted 2 November, 2020; v1 submitted 21 October, 2020; originally announced October 2020.

MSC Class: 35R30; 35J61

Reconstruction in the Calderón problem on conformally transversally anisotropic manifolds

Authors: Ali Feizmohammadi, Katya Krupchyk, Lauri Oksanen, Gunther Uhlmann

Abstract: We show that a continuous potential $q$ can be constructively determined from the knowledge of the Dirichlet-to-Neumann map for the Schrödinger operator $-Δ_g+q$ on a conformally transversally anisotropic manifold of dimension $\geq 3$, provided that the geodesic ray transform on the transversal manifold is constructively invertible. This is a constructive counterpart of the uniqueness result of D… ▽ More We show that a continuous potential $q$ can be constructively determined from the knowledge of the Dirichlet-to-Neumann map for the Schrödinger operator $-Δ_g+q$ on a conformally transversally anisotropic manifold of dimension $\geq 3$, provided that the geodesic ray transform on the transversal manifold is constructively invertible. This is a constructive counterpart of the uniqueness result of Dos Santos Ferreira-Kurylev-Lassas-Salo. A crucial role in our reconstruction procedure is played by a constructive determination of the boundary traces of suitable complex geometric optics solutions based on Gaussian beams quasimodes concentrated along non-tangential geodesics on the transversal manifold, which enjoy uniqueness properties. This is achieved by applying the simplified version of the approach of Nachman-Street to our setting. We also identify the main space introduced by Nachman-Street with a standard Sobolev space on the boundary of the manifold. Another ingredient in the proof of our result is a reconstruction formula for the boundary trace of a continuous potential from the knowledge of the Dirichlet-to-Neumann map. △ Less

Submitted 7 October, 2020; v1 submitted 21 September, 2020; originally announced September 2020.

MSC Class: 35R30; 58J32

Linearized Calderón problem and exponentially accurate quasimodes for analytic manifolds

Authors: Katya Krupchyk, Tony Liimatainen, Mikko Salo

Abstract: In this article we study the linearized anisotropic Calderón problem on a compact Riemannian manifold with boundary. This problem amounts to showing that products of pairs of harmonic functions of the manifold form a complete set. We assume that the manifold is transversally anisotropic and that the transversal manifold is real analytic and satisfies a geometric condition related to the geometry o… ▽ More In this article we study the linearized anisotropic Calderón problem on a compact Riemannian manifold with boundary. This problem amounts to showing that products of pairs of harmonic functions of the manifold form a complete set. We assume that the manifold is transversally anisotropic and that the transversal manifold is real analytic and satisfies a geometric condition related to the geometry of pairs of intersecting geodesics. In this case, we solve the linearized anisotropic Calderón problem. The geometric condition does not involve the injectivity of the geodesic X-ray transform. Crucial ingredients in the proof of our result are the construction of Gaussian beam quasimodes on the transversal manifold, with exponentially small errors, as well as the FBI transform characterization of the analytic wave front set. △ Less

Submitted 11 September, 2020; originally announced September 2020.

MSC Class: 35R30; 35J25; 35A18; 35A20

Inverse problems for nonlinear magnetic Schrödinger equations on conformally transversally anisotropic manifolds

Authors: Katya Krupchyk, Gunther Uhlmann

Abstract: We study the inverse boundary problem for a nonlinear magnetic Schrödinger operator on a conformally transversally anisotropic Riemannian manifold of dimension $n\ge 3$. Under suitable assumptions on the nonlinearity, we show that the knowledge of the Dirichlet-to-Neumann map on the boundary of the manifold determines the nonlinear magnetic and electric potentials uniquely. No assumptions on the t… ▽ More We study the inverse boundary problem for a nonlinear magnetic Schrödinger operator on a conformally transversally anisotropic Riemannian manifold of dimension $n\ge 3$. Under suitable assumptions on the nonlinearity, we show that the knowledge of the Dirichlet-to-Neumann map on the boundary of the manifold determines the nonlinear magnetic and electric potentials uniquely. No assumptions on the transversal manifold are made in this result, whereas the corresponding inverse boundary problem for the linear magnetic Schrödinger operator is still open in this generality. △ Less

Submitted 24 September, 2020; v1 submitted 10 September, 2020; originally announced September 2020.

MSC Class: 35R30; 35J61

Journal ref: Analysis & PDE 16 (2023) 1825-1868

Partial data inverse problems for semilinear elliptic equations with gradient nonlinearities

Authors: Katya Krupchyk, Gunther Uhlmann

Abstract: We show that the linear span of the set of scalar products of gradients of harmonic functions on a bounded smooth domain $Ω\subset \mathbb{R}^n$ which vanish on a closed proper subset of the boundary is dense in $L^1(Ω)$. We apply this density result to solve some partial data inverse boundary problems for a class of semilinear elliptic PDE with quadratic gradient terms. We show that the linear span of the set of scalar products of gradients of harmonic functions on a bounded smooth domain $Ω\subset \mathbb{R}^n$ which vanish on a closed proper subset of the boundary is dense in $L^1(Ω)$. We apply this density result to solve some partial data inverse boundary problems for a class of semilinear elliptic PDE with quadratic gradient terms. △ Less

Submitted 17 September, 2019; originally announced September 2019.

MSC Class: 35R30; 35J61

A remark on partial data inverse problems for semilinear elliptic equations

Authors: Katya Krupchyk, Gunther Uhlmann

Abstract: We show that the knowledge of the Dirichlet-to-Neumann map on an arbitrary open portion of the boundary of a domain in $\mathbb{R}^n$, $n\ge 2$, for a class of semilinear elliptic equations, determines the nonlinearity uniquely. We show that the knowledge of the Dirichlet-to-Neumann map on an arbitrary open portion of the boundary of a domain in $\mathbb{R}^n$, $n\ge 2$, for a class of semilinear elliptic equations, determines the nonlinearity uniquely. △ Less

Submitted 4 May, 2019; originally announced May 2019.

MSC Class: 35R30; 35J61

Stability estimates for partial data inverse problems for Schrödinger operators in the high frequency limit

Authors: Katya Krupchyk, Gunther Uhlmann

Abstract: We consider the partial data inverse boundary problem for the Schrödinger operator at a frequency $k>0$ on a bounded domain in $\mathbb{R}^n$, $n\ge 3$, with impedance boundary conditions. Assuming that the potential is known in a neighborhood of the boundary, we first show that the knowledge of the partial Robin-to-Dirichlet map at the fixed frequency $k>0$ along an arbitrarily small portion of t… ▽ More We consider the partial data inverse boundary problem for the Schrödinger operator at a frequency $k>0$ on a bounded domain in $\mathbb{R}^n$, $n\ge 3$, with impedance boundary conditions. Assuming that the potential is known in a neighborhood of the boundary, we first show that the knowledge of the partial Robin-to-Dirichlet map at the fixed frequency $k>0$ along an arbitrarily small portion of the boundary, determines the potential in a logarithmically stable way. We prove, as the principal result of this work, that the logarithmic stability can be improved to the one of Hölder type in the high frequency regime. △ Less

Submitted 21 July, 2019; v1 submitted 17 December, 2017; originally announced December 2017.

MSC Class: 35R30; 35J25; 35R25

Eigenvalue bounds for non-self-adjoint Schrödinger operators with non-trap** metrics

Authors: Colin Guillarmou, Andrew Hassell, Katya Krupchyk

Abstract: We study eigenvalues of non-self-adjoint Schrödinger operators on non-trap** asymptotically conic manifolds of dimension $n\ge 3$. Specifically, we are concerned with the following two types of estimates. The first one deals with Keller type bounds on individual eigenvalues of the Schrödinger operator with a complex potential in terms of the $L^p$-norm of the potential, while the second one is a… ▽ More We study eigenvalues of non-self-adjoint Schrödinger operators on non-trap** asymptotically conic manifolds of dimension $n\ge 3$. Specifically, we are concerned with the following two types of estimates. The first one deals with Keller type bounds on individual eigenvalues of the Schrödinger operator with a complex potential in terms of the $L^p$-norm of the potential, while the second one is a Lieb-Thirring type bound controlling sums of powers of eigenvalues in terms of the $L^p$-norm of the potential. We extend the results of Frank (2011), Frank-Sabin (2017), and Frank-Simon (2017) on the Keller and Lieb-Thirring type bounds from the case of Euclidean spaces to that of non-trap** asymptotically conic manifolds. In particular, our results are valid for the operator $Δ_g+V$ on $\mathbb{R}^n$ with $g$ being a non-trap** compactly supported (or suitably short range) perturbation of the Euclidean metric and $V\in L^p$ complex valued. △ Less

Submitted 23 September, 2019; v1 submitted 27 September, 2017; originally announced September 2017.

MSC Class: 35P15; 42B37; 58J50; 58J40

Journal ref: Analysis & PDE 13 (2020) 1633-1670

Inverse problems for advection diffusion equations in admissible geometries

Authors: Katya Krupchyk, Gunther Uhlmann

Abstract: We study inverse boundary problems for the advection diffusion equation on an admissible manifold, i.e. a compact Riemannian manifold with boundary of dimension $\ge 3$, which is conformally embedded in a product of the Euclidean real line and a simple manifold. We prove the unique identifiability of the advection term of class $H^1\cap L^\infty$ and of class $H^{2/3}\cap C^{0,1/3}$ from the knowl… ▽ More We study inverse boundary problems for the advection diffusion equation on an admissible manifold, i.e. a compact Riemannian manifold with boundary of dimension $\ge 3$, which is conformally embedded in a product of the Euclidean real line and a simple manifold. We prove the unique identifiability of the advection term of class $H^1\cap L^\infty$ and of class $H^{2/3}\cap C^{0,1/3}$ from the knowledge of the associated Dirichlet-to-Neumann map on the boundary of the manifold. This seems to be the first global identifiability result for possibly discontinuous advection terms. △ Less

Submitted 18 April, 2017; originally announced April 2017.

Comments: arXiv admin note: text overlap with arXiv:1702.07974

MSC Class: 35R01; 35R30; 58J32; 53C65

Inverse problems for magnetic Schrödinger operators in transversally anisotropic geometries

Authors: Katya Krupchyk, Gunther Uhlmann

Abstract: We study inverse boundary problems for magnetic Schrödinger operators on a compact Riemannian manifold with boundary of dimension $\ge 3$. In the first part of the paper we are concerned with the case of admissible geometries, i.e. compact Riemannian manifolds with boundary which are conformally embedded in a product of the Euclidean line and a simple manifold. We show that the knowledge of the Ca… ▽ More We study inverse boundary problems for magnetic Schrödinger operators on a compact Riemannian manifold with boundary of dimension $\ge 3$. In the first part of the paper we are concerned with the case of admissible geometries, i.e. compact Riemannian manifolds with boundary which are conformally embedded in a product of the Euclidean line and a simple manifold. We show that the knowledge of the Cauchy data on the boundary of the manifold for the magnetic Schrödinger operator with $L^\infty$ magnetic and electric potentials, determines the magnetic field and electric potential uniquely. In the second part of the paper we address the case of more general conformally transversally anisotropic geometries, i.e. compact Riemannian manifolds with boundary which are conformally embedded in a product of the Euclidean line and a compact manifold, which need not be simple. Here, under the assumption that the geodesic ray transform on the transversal manifold is injective, we prove that the knowledge of the Cauchy data on the boundary of the manifold for a magnetic Schrödinger operator with continuous potentials, determines the magnetic field uniquely. Assuming that the electric potential is known, we show that the Cauchy data determines the magnetic potential up to a gauge equivalence. △ Less

Submitted 25 February, 2017; originally announced February 2017.

MSC Class: 35R01; 35R30; 58J32; 53C65

$L^p$ concentration estimates for the Laplacian eigenfunctions near submanifolds

Authors: Katya Krupchyk

Abstract: We study $L^p$ bounds on spectral projections for the Laplace operator on compact Riemannian manifolds, restricted to small frequency dependent neighborhoods of submanifolds. In particular, if $λ$ is a frequency and the size of the neigborhood is $\mathcal{O}(λ^{-δ})$, then new sharp estimates are established when $δ\ge 1$, while for $0\le δ\le 1/2$, Sogge's estimates turn out to be optimal. In th… ▽ More We study $L^p$ bounds on spectral projections for the Laplace operator on compact Riemannian manifolds, restricted to small frequency dependent neighborhoods of submanifolds. In particular, if $λ$ is a frequency and the size of the neigborhood is $\mathcal{O}(λ^{-δ})$, then new sharp estimates are established when $δ\ge 1$, while for $0\le δ\le 1/2$, Sogge's estimates turn out to be optimal. In the intermediate region $1/2<δ<1$, we sometimes get sharp estimates as well. Our arguments follow closely a recent work by Burq and Zuily. △ Less

Submitted 14 May, 2016; v1 submitted 19 April, 2016; originally announced April 2016.

Comments: This note has been withdrawn since the main estimates are direct consequences of the restriction estimates by N. Burq, P. Gerard, and N. Tzvetkov (Duke Math. J. 2007) and L^2 concentration estimates by N. Burq and C. Zuily (Comm. Math. Phys., to appear)

MSC Class: 35P20; 58J05; 58J50

The Calderón problem with partial data for conductivities with $3/2$ derivatives

Authors: Katya Krupchyk, Gunther Uhlmann

Abstract: We extend a global uniqueness result for the Calderón problem with partial data, due to Kenig-Sjöstrand-Uhlmann, to the case of less regular conductivities. Specifically, we show that in dimensions $n\ge 3$, the knowledge of the Diricihlet-to-Neumann map, measured on possibly very small subsets of the boundary, determines uniquely a conductivity having essentially $3/2$ derivatives in an $L^2$ sen… ▽ More We extend a global uniqueness result for the Calderón problem with partial data, due to Kenig-Sjöstrand-Uhlmann, to the case of less regular conductivities. Specifically, we show that in dimensions $n\ge 3$, the knowledge of the Diricihlet-to-Neumann map, measured on possibly very small subsets of the boundary, determines uniquely a conductivity having essentially $3/2$ derivatives in an $L^2$ sense. △ Less

Submitted 4 September, 2015; v1 submitted 28 August, 2015; originally announced August 2015.

MSC Class: 35R30; 35J25

From semiclassical Strichartz estimates to uniform $L^p$ resolvent estimates on compact manifolds

Authors: Nicolas Burq, David Dos Santos Ferreira, Katya Krupchyk

Abstract: We prove uniform $L^p$ resolvent estimates for the stationary damped wave operator. The uniform $L^p$ resolvent estimates for the Laplace operator on a compact smooth Riemannian manifold without boundary were first established by Dos Santos Ferreira-Kenig-Salo and advanced further by Bourgain-Shao-Sogge-Yao. Here we provide an alternative proof relying on the techniques of semiclassical Strichartz… ▽ More We prove uniform $L^p$ resolvent estimates for the stationary damped wave operator. The uniform $L^p$ resolvent estimates for the Laplace operator on a compact smooth Riemannian manifold without boundary were first established by Dos Santos Ferreira-Kenig-Salo and advanced further by Bourgain-Shao-Sogge-Yao. Here we provide an alternative proof relying on the techniques of semiclassical Strichartz estimates. This approach allows us also to handle non-self-adjoint perturbations of the Laplacian and embeds very naturally in the semiclassical spectral analysis framework. △ Less

Submitted 22 February, 2017; v1 submitted 8 July, 2015; originally announced July 2015.

MSC Class: 47A10; 58J50; 81Q20

Bounds on eigenfunctions of semiclassical operators with double characteristics

Authors: Katya Krupchyk, Gunther Uhlmann

Abstract: We obtain sharp uniform bounds on the low lying eigenfunctions for a class of semiclassical pseudodifferential operators with double characteristics and complex valued symbols, under the assumption that the quadratic approximations along the double characteristics are elliptic. We obtain sharp uniform bounds on the low lying eigenfunctions for a class of semiclassical pseudodifferential operators with double characteristics and complex valued symbols, under the assumption that the quadratic approximations along the double characteristics are elliptic. △ Less

Submitted 6 July, 2017; v1 submitted 4 April, 2015; originally announced April 2015.

MSC Class: 35P20; 81Q12; 81Q20

Absolute continuity of the periodic Schrödinger operator in transversal geometry

Authors: Katsiaryna Krupchyk, Gunther Uhlmann

Abstract: We show that the spectrum of a Schrödinger operator on $\mathbb{R}^n$, $n\ge 3$, with a periodic smooth Riemannian metric, whose conformal multiple has a product structure with one Euclidean direction, and with a periodic electric potential in $L^{n/2}_{\text{loc}}(\mathbb{R}^n)$, is purely absolutely continuous. Previously known results in the case of a general metric are obtained in [12], see al… ▽ More We show that the spectrum of a Schrödinger operator on $\mathbb{R}^n$, $n\ge 3$, with a periodic smooth Riemannian metric, whose conformal multiple has a product structure with one Euclidean direction, and with a periodic electric potential in $L^{n/2}_{\text{loc}}(\mathbb{R}^n)$, is purely absolutely continuous. Previously known results in the case of a general metric are obtained in [12], see also [8], under the assumption that the metric, as well as the potential, are reflection symmetric. △ Less

Submitted 14 August, 2015; v1 submitted 10 December, 2013; originally announced December 2013.

MSC Class: 35J10; 47A10; 81Q10

Inverse boundary problems for polyharmonic operators with unbounded potentials

Authors: Katsiaryna Krupchyk, Gunther Uhlmann

Abstract: We show that the knowledge of the Dirichlet-to-Neumann map on the boundary of a bounded open set in $R^n$ for the perturbed polyharmonic operator $(-Δ)^m +q$ with $q\in L^{n/2m}$, $n>2m$, determines the potential $q$ in the set uniquely. In the course of the proof, we construct a special Green function for the polyharmonic operator and establish its map** properties in suitable weighted $L^2$ an… ▽ More We show that the knowledge of the Dirichlet-to-Neumann map on the boundary of a bounded open set in $R^n$ for the perturbed polyharmonic operator $(-Δ)^m +q$ with $q\in L^{n/2m}$, $n>2m$, determines the potential $q$ in the set uniquely. In the course of the proof, we construct a special Green function for the polyharmonic operator and establish its map** properties in suitable weighted $L^2$ and $L^p$ spaces. The $L^p$ estimates for the special Green function are derived from $L^p$ Carleman estimates with linear weights for the polyharmonic operator. △ Less

Submitted 1 August, 2015; v1 submitted 17 August, 2013; originally announced August 2013.

MSC Class: 35R30; 35J40; 31B30

On $L^p$ resolvent estimates for elliptic operators on compact manifolds

Authors: Katsiaryna Krupchyk, Gunther Uhlmann

Abstract: We prove uniform $L^p$ estimates for resolvents of higher order elliptic self-adjoint differential operators on compact manifolds without boundary, generalizing a corresponding resul of [3] in the case of Laplace-- Beltrami operators on Riemannian manifolds. In doing so, we follow the methods, developed in [1] very closely. We also show that spectral regions in our $L^p$ resolvent estimates are op… ▽ More We prove uniform $L^p$ estimates for resolvents of higher order elliptic self-adjoint differential operators on compact manifolds without boundary, generalizing a corresponding resul of [3] in the case of Laplace-- Beltrami operators on Riemannian manifolds. In doing so, we follow the methods, developed in [1] very closely. We also show that spectral regions in our $L^p$ resolvent estimates are optimal. △ Less

Submitted 29 March, 2013; originally announced April 2013.

MSC Class: 35J30; 58J50

Uniqueness in an inverse boundary problem for a magnetic Schrödinger operator with a bounded magnetic potential

Authors: Katsiaryna Krupchyk, Gunther Uhlmann

Abstract: We show that the knowledge of the set of the Cauchy data on the boundary of a bounded open set in $\R^n$, $n\ge 3$, for the magnetic Schrödinger operator with $L^\infty$ magnetic and electric potentials determines the magnetic field and electric potential inside the set uniquely. The proof is based on a Carleman estimate for the magnetic Schrödinger operator with a gain of two derivatives. We show that the knowledge of the set of the Cauchy data on the boundary of a bounded open set in $\R^n$, $n\ge 3$, for the magnetic Schrödinger operator with $L^\infty$ magnetic and electric potentials determines the magnetic field and electric potential inside the set uniquely. The proof is based on a Carleman estimate for the magnetic Schrödinger operator with a gain of two derivatives. △ Less

Submitted 9 July, 2012; v1 submitted 20 June, 2012; originally announced June 2012.

Comments: This version contains a slight generalization of the main result of the previous version, with a complete proof. It supersedes the preprint http://arxiv.longhoe.net/abs/1205.1151

MSC Class: 35J10; 35R30; 35J25

Determining a magnetic Schrödinger operator with a continuous magnetic potential from boundary measurements

Authors: Katsiaryna Krupchyk, Gunther Uhlmann

Abstract: We show that the knowledge of the set of the Cauchy data on the boundary of a $C^1$ bounded open set in $\R^n$, $n\ge 3$, for the Schrödinger operator with continuous magnetic and bounded electric potentials determines the magnetic field and electric potential inside the set uniquely. The proof is based on a Carleman estimate for the magnetic Schrödinger operator with a gain of two derivatives. We show that the knowledge of the set of the Cauchy data on the boundary of a $C^1$ bounded open set in $\R^n$, $n\ge 3$, for the Schrödinger operator with continuous magnetic and bounded electric potentials determines the magnetic field and electric potential inside the set uniquely. The proof is based on a Carleman estimate for the magnetic Schrödinger operator with a gain of two derivatives. △ Less

Submitted 5 May, 2012; originally announced May 2012.

Comments: arXiv admin note: substantial text overlap with arXiv:1206.4727, which supercedes this

MSC Class: 35J10; 35R30; 35J25

Inverse transmission problems for magnetic Schrödinger operators

Authors: Katsiaryna Krupchyk

Abstract: This paper is concerned with the study of inverse transmission problems for magnetic Schrödinger operators on bounded domains and in all of the Euclidean space, in the self-adjoint case. Assuming that the magnetic and electric potentials are known outside of a transparent obstacle, in the bounded domain case, we show that the obstacle, the transmission coefficients, as well as the magnetic field a… ▽ More This paper is concerned with the study of inverse transmission problems for magnetic Schrödinger operators on bounded domains and in all of the Euclidean space, in the self-adjoint case. Assuming that the magnetic and electric potentials are known outside of a transparent obstacle, in the bounded domain case, we show that the obstacle, the transmission coefficients, as well as the magnetic field and electric potential inside the obstacle are uniquely determined from the knowledge of the set of the Cauchy data for the transmission problem, given on an open subset of the boundary of the domain. In the case of the transmission scattering problem, we obtain the same conclusion, when the scattering amplitude at a fixed frequency is known. The problems studied in this work were proposed in [15]. △ Less

Submitted 16 December, 2011; originally announced December 2011.

MSC Class: 35R30; 35J20; 35J25; 35P25

Inverse problems with partial data for a magnetic Schrödinger operator in an infinite slab and on a bounded domain

Authors: Katsiaryna Krupchyk, Matti Lassas, Gunther Uhlmann

Abstract: In this paper we study inverse boundary value problems with partial data for the magnetic Schrödinger operator. In the case of an infinite slab in $R^n$, $n\ge 3$, we establish that the magnetic field and the electric potential can be determined uniquely, when the Dirichlet and Neumann data are given either on the different boundary hyperplanes of the slab or on the same hyperplane. This is a gene… ▽ More In this paper we study inverse boundary value problems with partial data for the magnetic Schrödinger operator. In the case of an infinite slab in $R^n$, $n\ge 3$, we establish that the magnetic field and the electric potential can be determined uniquely, when the Dirichlet and Neumann data are given either on the different boundary hyperplanes of the slab or on the same hyperplane. This is a generalization of the results of [41], obtained for the Schrödinger operator without magnetic potentials. In the case of a bounded domain in $R^n$, $n\ge 3$, extending the results of [2], we show the unique determination of the magnetic field and electric potential from the Dirichlet and Neumann data, given on two arbitrary open subsets of the boundary, provided that the magnetic and electric potentials are known in a neighborhood of the boundary. Generalizing the results of [31], we also obtain uniqueness results for the magnetic Schrödinger operator, when the Dirichlet and Neumann data are known on the same part of the boundary, assuming that the inaccessible part of the boundary is a part of a hyperplane. △ Less

Submitted 5 April, 2011; originally announced April 2011.

MSC Class: 35R30; 35J10; 35P25

Determining a first order perturbation of the biharmonic operator by partial boundary measurements

Authors: Katsiaryna Krupchyk, Matti Lassas, Gunther Uhlmann

Abstract: We consider an operator $Δ^2 + A(x)\cdot D+q(x)$ with the Navier boundary conditions on a bounded domain in $R^n$, $n\ge 3$. We show that a first order perturbation $A(x)\cdot D+q$ can be determined uniquely by measuring the Dirichlet--to--Neumann map on possibly very small subsets of the boundary of the domain. Notice that the corresponding result does not hold in general for a first order pertur… ▽ More We consider an operator $Δ^2 + A(x)\cdot D+q(x)$ with the Navier boundary conditions on a bounded domain in $R^n$, $n\ge 3$. We show that a first order perturbation $A(x)\cdot D+q$ can be determined uniquely by measuring the Dirichlet--to--Neumann map on possibly very small subsets of the boundary of the domain. Notice that the corresponding result does not hold in general for a first order perturbation of the Laplacian. △ Less

Submitted 1 March, 2011; originally announced March 2011.

MSC Class: 35R30; 31B20; 31B30; 35J40

Inverse boundary value problems for the perturbed polyharmonic operator

Authors: Katsiaryna Krupchyk, Matti Lassas, Gunther Uhlmann

Abstract: We show that a first order perturbation $A(x)\cdot D+q(x)$ of the polyharmonic operator $(-Δ)^m$, $m\ge 2$, can be determined uniquely from the set of the Cauchy data for the perturbed polyharmonic operator on a bounded domain in $R^n$, $n\ge 3$. Notice that the corresponding result does not hold in general when $m=1$. We show that a first order perturbation $A(x)\cdot D+q(x)$ of the polyharmonic operator $(-Δ)^m$, $m\ge 2$, can be determined uniquely from the set of the Cauchy data for the perturbed polyharmonic operator on a bounded domain in $R^n$, $n\ge 3$. Notice that the corresponding result does not hold in general when $m=1$. △ Less

Submitted 27 February, 2011; originally announced February 2011.

MSC Class: 35R30; 31B20; 31B30; 35J40

Determining electrical and heat transfer parameters using coupled boundary measurements

Authors: Katsiaryna Krupchyk, Matti Lassas, Samuli Siltanen

Abstract: Let $Ω\subset\R^n$, $n\ge 3$, be a smooth bounded domain and consider a coupled system in $Ω$ consisting of a conductivity equation $\nabla \cdot γ(x) \nabla u(t,x)=0$ and an anisotropic heat equation $κ^{-1}(x)\partial_tψ(t,x)=\nabla\cdot (A(x)\nabla ψ(t,x))+(γ\nabla u(t,x))\cdot \nabla u(t,x), \quad t\ge 0$. It is shown that the coefficients $γ$, $κ$ and $A=(a_{jk})$ are uniquely determined from… ▽ More Let $Ω\subset\R^n$, $n\ge 3$, be a smooth bounded domain and consider a coupled system in $Ω$ consisting of a conductivity equation $\nabla \cdot γ(x) \nabla u(t,x)=0$ and an anisotropic heat equation $κ^{-1}(x)\partial_tψ(t,x)=\nabla\cdot (A(x)\nabla ψ(t,x))+(γ\nabla u(t,x))\cdot \nabla u(t,x), \quad t\ge 0$. It is shown that the coefficients $γ$, $κ$ and $A=(a_{jk})$ are uniquely determined from the knowledge of the boundary map $u|_{\partialΩ}\mapsto ν\cdot A\nabla ψ|_{\partialΩ}$, where $ν$ is the unit outer normal to $\partialΩ$. The coupled system models the following physical phenomenon. Given a fixed voltage distribution, maintained on the boundary $\partialΩ$, an electric current distribution appears inside $Ω$. The current in turn acts as a source of heat inside $Ω$, and the heat flows out of the body through the boundary. The boundary measurements above then correspond to the map taking a voltage distribution on the boundary to the resulting heat flow through the boundary. The presented mathematical results suggest a new hybrid diffuse imaging modality combining electrical prospecting and heat transfer-based probing. △ Less

Submitted 14 December, 2010; originally announced December 2010.

MSC Class: 35K20; 35J25; 35R30; 80A23

A Borg-Levinson theorem for higher order elliptic operators

Authors: Katsiaryna Krupchyk, Lassi Päivärinta

Abstract: We establish the Borg-Levinson theorem for elliptic operators of higher order with constant coefficients. The case of incomplete spectral data is also considered. We establish the Borg-Levinson theorem for elliptic operators of higher order with constant coefficients. The case of incomplete spectral data is also considered. △ Less

Submitted 9 November, 2010; originally announced November 2010.

MSC Class: 31A30; 35J40; 35R30

The interior transmission problem and bounds on transmission eigenvalues

Authors: Michael Hitrik, Katsiaryna Krupchyk, Petri Ola, Lassi Päivärinta

Abstract: We study the interior transmission eigenvalue problem for sign-definite multiplicative perturbations of the Laplacian in a bounded domain. We show that all but finitely many complex transmission eigenvalues are confined to a parabolic neighborhood of the positive real axis. We study the interior transmission eigenvalue problem for sign-definite multiplicative perturbations of the Laplacian in a bounded domain. We show that all but finitely many complex transmission eigenvalues are confined to a parabolic neighborhood of the positive real axis. △ Less

Submitted 28 September, 2010; originally announced September 2010.

MSC Class: 35P15; 35P20; 35P30; 35S15; 47J10

Inverse problems for differential forms on Riemannian manifolds with boundary

Authors: Katsiaryna Krupchyk, Matti Lassas, Gunther Uhlmann

Abstract: Consider a real-analytic orientable connected complete Riemannian manifold $M$ with boundary of dimension $n\ge 2$ and let $k$ be an integer $1\le k\le n$. In the case when $M$ is compact of dimension $n\ge 3$, we show that the manifold and the metric on it can be reconstructed, up to an isometry, from the set of the Cauchy data for harmonic $k$-forms, given on an open subset of the boundary. This… ▽ More Consider a real-analytic orientable connected complete Riemannian manifold $M$ with boundary of dimension $n\ge 2$ and let $k$ be an integer $1\le k\le n$. In the case when $M$ is compact of dimension $n\ge 3$, we show that the manifold and the metric on it can be reconstructed, up to an isometry, from the set of the Cauchy data for harmonic $k$-forms, given on an open subset of the boundary. This extends a result of [13] when $k=0$. In the two-dimensional case, the same conclusion is obtained when considering the set of the Cauchy data for harmonic $1$-forms. Under additional assumptions on the curvature of the manifold, we carry out the same program when $M$ is complete non-compact. In the case $n\ge 3$, this generalizes the results of [12] when $k=0$. In the two-dimensional case, we are able to reconstruct the manifold from the set of the Cauchy data for harmonic $1$-forms. △ Less

Submitted 6 July, 2010; originally announced July 2010.

MSC Class: 35R30; 58A10; 58J10; 58J32

Transmission eigenvalues for elliptic operators

Authors: Michael Hitrik, Katsiaryna Krupchyk, Petri Ola, Lassi Päivärinta

Abstract: A reduction of the transmission eigenvalue problem for multiplicative sign-definite perturbations of elliptic operators with constant coefficients to an eigenvalue problem for a non-selfadjoint compact operator is given. Sufficient conditions for the existence of transmission eigenvalues and completeness of generalized eigenstates for the transmission eigenvalue problem are derived. In the trace c… ▽ More A reduction of the transmission eigenvalue problem for multiplicative sign-definite perturbations of elliptic operators with constant coefficients to an eigenvalue problem for a non-selfadjoint compact operator is given. Sufficient conditions for the existence of transmission eigenvalues and completeness of generalized eigenstates for the transmission eigenvalue problem are derived. In the trace class case, the generic existence of transmission eigenvalues is established. △ Less

Submitted 3 July, 2010; originally announced July 2010.

MSC Class: 35P10; 35J30; 47B10; 47J10

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.

MSC Class: 58J45; 35R30; 35Q61

Transmission eigenvalues for operators with constant coefficients

Authors: Michael Hitrik, Katsiaryna Krupchyk, Petri Ola, Lassi Päivärinta

Abstract: In this paper we study the interior transmission problem and transmission eigenvalues for multiplicative perturbations of linear partial differential operator of order $\ge 2$ with constant real coefficients. Under suitable growth conditions on the symbol of the operator and the perturbation, we show the discreteness of the set of transmission eigenvalues and derive sufficient conditions on the e… ▽ More In this paper we study the interior transmission problem and transmission eigenvalues for multiplicative perturbations of linear partial differential operator of order $\ge 2$ with constant real coefficients. Under suitable growth conditions on the symbol of the operator and the perturbation, we show the discreteness of the set of transmission eigenvalues and derive sufficient conditions on the existence of transmission eigenvalues. We apply these techniques to the case of the biharmonic operator and the Dirac system. In the hypoelliptic case we present a connection to scattering theory. △ Less

Submitted 28 April, 2010; originally announced April 2010.

MSC Class: 35P30; 35P25; 35E99; 81U40

An inverse problem for a hyperbolic system on a vector bundle and energy measurements

Authors: Katsiaryna Krupchyk, Matti Lassas

Abstract: A uniqueness result in the inverse problem for an inhomogeneous hyperbolic system on a real vector bundle over a smooth compact manifold, based on energy measurements for improperly known sources, is established. A uniqueness result in the inverse problem for an inhomogeneous hyperbolic system on a real vector bundle over a smooth compact manifold, based on energy measurements for improperly known sources, is established. △ Less

Submitted 9 November, 2011; v1 submitted 22 September, 2009; originally announced September 2009.

MSC Class: 58J45; 35J25

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.

MSC Class: 35J25; 58J50