Showing 1–37 of 37 results for author: Tzou, L

The Calderón problem on Riemannian surfaces and of minimal surfaces

Authors: Cătălin I. Cârstea, Tony Liimatainen, Leo Tzou

Abstract: In this paper we prove two results. The first shows that the Dirichlet-Neumann map of the operator $Δ_g+q$ on a Riemannian surface can determine its topological, differential, and metric structure. Earlier work of this type assumes a priori that the surface is a planar domain [36] or that the geometry is a priori known [29]. We will then apply this result to study a geometric inverse problem for d… ▽ More In this paper we prove two results. The first shows that the Dirichlet-Neumann map of the operator $Δ_g+q$ on a Riemannian surface can determine its topological, differential, and metric structure. Earlier work of this type assumes a priori that the surface is a planar domain [36] or that the geometry is a priori known [29]. We will then apply this result to study a geometric inverse problem for determining minimal surfaces embedded in $3$-dimensional Riemannian manifolds. In particular we will show that knowledge of the volumes of embedded minimal surfaces determine not only their topological and differential structure but also their Riemannian structure as an embedded hypersurface. Such geometric inverse problems are partially inspired by the physical models proposed by the AdS/CFT correspondence. The crucial ingredient in removing the planar domain assumption is the determination of the boundary trace of holomorphic functions from knowledge of the Dirichlet-Neumann map of $Δ_g +q$. This requires a new type of argument involving Carleman estimates and construction of CGO whose phase functions are not Morse as in the case of [29]. We anticipate that these techniques could be of use for studying other inverse problems in geometry and PDE. △ Less

Submitted 18 June, 2024; originally announced June 2024.

Comments: The authors are grateful to Matti Lassas who was involved in an earlier iteration of this work, but graciously removed himself as an author from the current, much more general, version. Based on an advice from arXiv moderators we submit this new version of the paper with different authors to replace the earlier version arXiv:2310.14268. The earlier version will not ever be published anywhere

MSC Class: 35R30; 53A10; 35J25

An Inverse Problem with Partial Neumann Data and $L^{n/2}$ Potentials

Authors: Leonard Busch, Leo Tzou

Abstract: We consider a partial data inverse problem with unbounded potentials. Rather than rely on functional analytic arguments or Carleman estimates, we construct an explicit Green's function with which we construct complex geometric optics (CGO) solutions and show unique determinability of potentials in $L^{n/2}$ for the Schrödinger equation with partial Neumann data. We consider a partial data inverse problem with unbounded potentials. Rather than rely on functional analytic arguments or Carleman estimates, we construct an explicit Green's function with which we construct complex geometric optics (CGO) solutions and show unique determinability of potentials in $L^{n/2}$ for the Schrödinger equation with partial Neumann data. △ Less

Submitted 8 December, 2023; originally announced December 2023.

An inverse problem for general minimal surfaces

Authors: Cătălin I. Cârstea, Matti Lassas, Tony Liimatainen, Leo Tzou

Abstract: In this paper we consider an inverse problem of determining a minimal surface embedded in a Riemannian manifold. We show under a topological condition that if $Σ$ is a $2$-dimensional embedded minimal surface, then the knowledge of the Dirichlet-to-Neumann map associated to the minimal surface equation determines $Σ$ up to an isometry. Without the topological condition, we show that a conformal fa… ▽ More In this paper we consider an inverse problem of determining a minimal surface embedded in a Riemannian manifold. We show under a topological condition that if $Σ$ is a $2$-dimensional embedded minimal surface, then the knowledge of the Dirichlet-to-Neumann map associated to the minimal surface equation determines $Σ$ up to an isometry. Without the topological condition, we show that a conformal factor of a general minimal surface $Σ$ can be recovered. We develop a semiclassical nonlinear calculus for complex geometric optics solutions, which allows an efficient error analysis for multiplication of the correction terms of the solutions. The calculus is independent of the application to the minimal surface equation and we expect it to have applications in various inverse problems for nonlinear equations in dimension $2$, in both $\mathbb{R}^2$ and geometric settings. Other applications of the results include generalized boundary rigidity problem and the AdS/CFT correspondence in physics. △ Less

Submitted 22 October, 2023; originally announced October 2023.

Comments: 62 pages

Determining Lorentzian manifold from non-linear wave observation at a single point

Authors: Medet Nursultanov, Lauri Oksanen, Leo Tzou

Abstract: We consider an inverse problem for a non-linear hyperbolic equation. We show that conformal structure of a Lorentzian manifold can be determined by the source-to-solution map evaluated along a single timelike curve. We use the microlocal analysis of non-linear wave interaction. We consider an inverse problem for a non-linear hyperbolic equation. We show that conformal structure of a Lorentzian manifold can be determined by the source-to-solution map evaluated along a single timelike curve. We use the microlocal analysis of non-linear wave interaction. △ Less

Submitted 10 October, 2023; originally announced October 2023.

MSC Class: 53C20; 35R30; 35L70

A general support theorem for analytic double fibration transforms

Authors: Marco Mazzucchelli, Mikko Salo, Leo Tzou

Abstract: We develop a systematic approach for resolving the analytic wave front set for a class of integral geometry transforms appearing in various tomography problems. Combined with microlocal analytic continuation, this leads to uniqueness and support theorems for analytic integral transforms which are in the microlocal double fibration framework introduced by Guillemin. For the case of ray transforms… ▽ More We develop a systematic approach for resolving the analytic wave front set for a class of integral geometry transforms appearing in various tomography problems. Combined with microlocal analytic continuation, this leads to uniqueness and support theorems for analytic integral transforms which are in the microlocal double fibration framework introduced by Guillemin. For the case of ray transforms, we show that the double fibration setup has a concrete interpretation in terms of curve families obtained by projecting integral curves of a fixed vector field on some fiber bundle down to the base. This setup includes geodesic X-ray type transforms, null bicharacteristic ray transforms and transforms related to real principal type systems. We also study transforms integrating over submanifolds of any codimension, and give geometric characterizations for the Bolker condition required for recovering singularities. Our approach is based on a general result related to recovering the analytic wave front set of a function from its transform given by a suitable analytic elliptic Fourier integral operator. This approach extends and unifies a number of previous works. We use wave packet transforms to extrapolate the geometric features of wave front set propagation for such operators when their canonical relation satisfies the Bolker condition. △ Less

Submitted 9 June, 2023; originally announced June 2023.

Comments: 46 pages

MSC Class: 53C65; 44A12; 35S30; 58J40; 35R30; 45Q05

Eigenvalue Variations of the Neumann Laplace Operator Due to Perturbed Boundary Conditions

Authors: Medet Nursultanov, William Trad, Justin Tzou, Leo Tzou

Abstract: This work considers the Neumann eigenvalue problem for the weighted Laplacian on a Riemannian manifold $(M,g,\partial M)$ under the singular perturbation. This perturbation involves the imposition of vanishing Dirichlet boundary conditions on a small portion of the boundary. We derive a sharp asymptotic of the perturbed eigenvalues, as the Dirichlet part shrinks to a point $x^*\in \partial M$, in… ▽ More This work considers the Neumann eigenvalue problem for the weighted Laplacian on a Riemannian manifold $(M,g,\partial M)$ under the singular perturbation. This perturbation involves the imposition of vanishing Dirichlet boundary conditions on a small portion of the boundary. We derive a sharp asymptotic of the perturbed eigenvalues, as the Dirichlet part shrinks to a point $x^*\in \partial M$, in terms of the spectral parameters of the unperturbed system. This asymptotic demonstrates the impact of the geometric properties of the manifold at a specific point $x^*$. Furthermore, it becomes evident that the shape of the Dirichlet region holds significance as it impacts the first terms of the asymptotic. A crucial part of this work is the construction of the singularity structure of the restricted Neumann Green's function which may be of independent interest. We employ a fusion of layer potential techniques and pseudo-differential operators during this work. △ Less

Submitted 1 June, 2023; originally announced June 2023.

Comments: 25 pages

MSC Class: Primary: 35J25 Secondary: 35P20; 35B25

A Counterexample to the Lévy Flight Foraging Hypothesis in the Narrow Capture Framework

Authors: J. C. Tzou, Leo Tzou

Abstract: The Lévy flight foraging hypothesis asserts that biological organisms have evolved to employ (truncated) Lévy flight searches due to such strategies being more efficient than those based on Brownian motion. However, we provide here a concrete two-dimensional counterexample in which Brownian search is more efficient. In fact, we show that the efficiency of Lévy searches worsens the farther the Lévy… ▽ More The Lévy flight foraging hypothesis asserts that biological organisms have evolved to employ (truncated) Lévy flight searches due to such strategies being more efficient than those based on Brownian motion. However, we provide here a concrete two-dimensional counterexample in which Brownian search is more efficient. In fact, we show that the efficiency of Lévy searches worsens the farther the Lévy flight tail index deviates from the Brownian limit. Our counterexample is based on the framework of the classic narrow capture problem in which a random search is performed for a small target within a confined search domain. Our results are obtained via three avenues: Monte Carlo simulations of the discrete search processes, finite difference solutions and a matched asymptotic analysis of the elliptic (pseudo)-differential equations of the corresponding continuum limits. △ Less

Submitted 11 April, 2024; v1 submitted 23 February, 2023; originally announced February 2023.

MSC Class: 65C05; 82M31; 65R20

Geodesic Lévy flights and expected stop** time for random searches

Authors: Yann Chaubet, Yannick Guedes Bonthonneau, Thibault Lefeuvre, Leo Tzou

Abstract: We give an analytic description for the infinitesimal generator constructed by Applebaum-Estrade for Lévy flights on a broad class of closed Riemannian manifolds including all negatively-curved manifolds, the flat torus and the sphere. Various properties of the associated semigroup and the asymptotics of the expected stop** time for Lévy flight based random searches for small targets, also known… ▽ More We give an analytic description for the infinitesimal generator constructed by Applebaum-Estrade for Lévy flights on a broad class of closed Riemannian manifolds including all negatively-curved manifolds, the flat torus and the sphere. Various properties of the associated semigroup and the asymptotics of the expected stop** time for Lévy flight based random searches for small targets, also known as the narrow capture problem, are then obtained using our newfound understanding of the infinitesimal generator. Our study also relates to the Lévy flight foraging hypothesis in the field of biology as we compute the expected time for finding a small target by using the Lévy flight random search. A similar calculation for Brownian motion on surfaces was done in [arXiv:2209.12425]. △ Less

Submitted 28 November, 2022; v1 submitted 25 November, 2022; originally announced November 2022.

Comments: 40 pages

MSC Class: 60G51; 60G53; 60G22; 53D25; 58J65; 37D20

The narrow capture problem on general Riemannian surfaces

Authors: Medet Nursultanov, William Trad, Justin C. Tzou, Leo Tzou

Abstract: In this article, we study the narrow capture problem on a Riemannian 2-manifold. This involves the derivation of the mean first passage (sojourn) time of a surface-bound ion modelled as a Brownian particle. We use a layer potential argument in conjunction with microlocal analysis in order to derive the leading order singularity as well as the O(1) term of the mean first passage time and the associ… ▽ More In this article, we study the narrow capture problem on a Riemannian 2-manifold. This involves the derivation of the mean first passage (sojourn) time of a surface-bound ion modelled as a Brownian particle. We use a layer potential argument in conjunction with microlocal analysis in order to derive the leading order singularity as well as the O(1) term of the mean first passage time and the associated spatial average. △ Less

Submitted 26 September, 2022; originally announced September 2022.

Comments: 22 pages

MSC Class: 58J65 (Primary) 60J65; 60J70; 35B40; 92C37 (Secondary)

Inverse problems for semilinear elliptic PDE with measurements at a single point

Authors: Mikko Salo, Leo Tzou

Abstract: We consider the inverse problem of determining a potential in a semilinear elliptic equation from the knowledge of the Dirichlet-to-Neumann map. For bounded Euclidean domains we prove that the potential is uniquely determined by the Dirichlet-to-Neumann map measured at a single boundary point, or integrated against a fixed measure. This result is valid even when the Dirichlet data is only given on… ▽ More We consider the inverse problem of determining a potential in a semilinear elliptic equation from the knowledge of the Dirichlet-to-Neumann map. For bounded Euclidean domains we prove that the potential is uniquely determined by the Dirichlet-to-Neumann map measured at a single boundary point, or integrated against a fixed measure. This result is valid even when the Dirichlet data is only given on a small subset of the boundary. We also give related uniqueness results on Riemannian manifolds. △ Less

Submitted 21 February, 2022; v1 submitted 10 February, 2022; originally announced February 2022.

Comments: 14 pages, added the reference [CGU21] in v2

Narrow escape problem in the presence of the force field

Authors: Medet Nursultanov, William Trad, Leo Tzou

Abstract: This paper considers the narrow escape problem of a Brownian particle within a three-dimensional Riemannian manifold under the influence of the force field. We compute an asymptotic expansion of mean sojourn time for Brownian particles. As an auxiliary result, we obtain the singular structure for the restricted Neumann Green's function which may be of independent interest. This paper considers the narrow escape problem of a Brownian particle within a three-dimensional Riemannian manifold under the influence of the force field. We compute an asymptotic expansion of mean sojourn time for Brownian particles. As an auxiliary result, we obtain the singular structure for the restricted Neumann Green's function which may be of independent interest. △ Less

Submitted 3 July, 2021; originally announced July 2021.

Comments: 27 pages. arXiv admin note: text overlap with arXiv:2101.07958

MSC Class: Primary: 58J65 Secondary: 60J65; 35B40; 92C37

Determining Riemannian Manifolds From Nonlinear Wave Observations at a Single Point

Authors: Leo Tzou

Abstract: We show that on an a-priori unknown Riemannian manifold $(M,g)$, measuring the source-to-solution map for the semilinear wave equation at a single point determines the topological, differential, and geometric structure. We show that on an a-priori unknown Riemannian manifold $(M,g)$, measuring the source-to-solution map for the semilinear wave equation at a single point determines the topological, differential, and geometric structure. △ Less

Submitted 21 June, 2021; v1 submitted 2 February, 2021; originally announced February 2021.

Comments: Updated introduction and references to reflect current state of this problem

MSC Class: 53C50; 35J25

On the Mean First Arrival Time of Brownian Particles on Riemannian Manifolds

Authors: Medet Nursultanov, Justin C. Tzou, Leo Tzou

Abstract: We use geometric microlocal methods to compute an asymptotic expansion of mean first arrival time for Brownian particles on Riemannian manifolds. This approach provides a robust way to treat this problem, which has thus far been limited to very special geometries. This paper can be seen as the Riemannian 3-manifold version of the planar result of \cite{ammari} and thus enable us to see the full ef… ▽ More We use geometric microlocal methods to compute an asymptotic expansion of mean first arrival time for Brownian particles on Riemannian manifolds. This approach provides a robust way to treat this problem, which has thus far been limited to very special geometries. This paper can be seen as the Riemannian 3-manifold version of the planar result of \cite{ammari} and thus enable us to see the full effect of the local extrinsic boundary geometry on the mean arrival time of the Brownian particles. Our approach also connects this question to some of the recent progress on boundary rigidity and integral geometry [23,20]. △ Less

Submitted 19 January, 2021; originally announced January 2021.

MSC Class: Primary: 58J65 Secondary: 60J65; 58G15; 92C37

Stability estimates for the magnetic Schrödinger operator with partial measurements

Authors: L. Potenciano-Machado, A. Ruiz, L. Tzou

Abstract: In this article, we study stability estimates when recovering magnetic fields and electric potentials in a simply connected open subset in $R^n$ with $n \geq 3$, from measurements on open subsets of its boundary. This inverse problem is associated with a magnetic Schrödinger operator. Our estimates are quantitative versions of the uniqueness results obtained by D. Dos Santos Ferreira, C. E. Kenig,… ▽ More In this article, we study stability estimates when recovering magnetic fields and electric potentials in a simply connected open subset in $R^n$ with $n \geq 3$, from measurements on open subsets of its boundary. This inverse problem is associated with a magnetic Schrödinger operator. Our estimates are quantitative versions of the uniqueness results obtained by D. Dos Santos Ferreira, C. E. Kenig, J. Sjöstrand and G. Uhlmann in [13]. The moduli of continuity are of logarithmic type. △ Less

Submitted 27 September, 2020; originally announced September 2020.

Comments: 44 pages

MSC Class: 35R30

X-Ray Transform in Asymptotically Conic Spaces

Authors: Colin Guillarmou, Matti Lassas, Leo Tzou

Abstract: In this article, we study the properties of the geodesic X-ray transform for asymptotically Euclidean or conic Riemannian metrics and show injectivity under non-trap** and no conjugate point assumptions. We also define a notion of lens data for such metrics and study the associated inverse problem. In this article, we study the properties of the geodesic X-ray transform for asymptotically Euclidean or conic Riemannian metrics and show injectivity under non-trap** and no conjugate point assumptions. We also define a notion of lens data for such metrics and study the associated inverse problem. △ Less

Submitted 6 February, 2021; v1 submitted 21 October, 2019; originally announced October 2019.

Comments: 48 pages, minor corrections after refereeing process

Journal ref: International Mathematics Research Notices, rnaa286, 2020

Asymptotically Euclidean metrics without conjugate points are flat

Authors: Colin Guillarmou, Marco Mazzucchelli, Leo Tzou

Abstract: We prove that any asymptotically Euclidean metric on $\mathbb{R}^n$ with no conjugate points must be isometric to the Euclidean metric. We prove that any asymptotically Euclidean metric on $\mathbb{R}^n$ with no conjugate points must be isometric to the Euclidean metric. △ Less

Submitted 3 September, 2019; originally announced September 2019.

Comments: 45 pages

MSC Class: 53C22; 58E10

Journal ref: The Journal of Geometric Analysis 33 (2023), no. 2, Paper No. 37

Partial Data Calderón Problems for $L^{n/2}$ Potentials on Admissible Manifolds

Authors: Leo Tzou

Abstract: We solve the partial data Calderón problem on conformally transversallly anisotropic (CTA) manifolds with $L^{n/2}$ potentials - on par with sharp unique continuation result of \cite{JerKen}. A trivial consequence of this is the sharp regularity improvement to the result of Kenig-Sjöstrand-Uhlmann \cite{ksu}. This is done by constructing a "Green's function" which possesses both desirable boundary… ▽ More We solve the partial data Calderón problem on conformally transversallly anisotropic (CTA) manifolds with $L^{n/2}$ potentials - on par with sharp unique continuation result of \cite{JerKen}. A trivial consequence of this is the sharp regularity improvement to the result of Kenig-Sjöstrand-Uhlmann \cite{ksu}. This is done by constructing a "Green's function" which possesses both desirable boundary conditions {\em and} satisfies semiclassical type estimates in the suitable $L^{p}$ spaces. No Carleman estimates were used in the writing of this article which makes it starkly different from the traditional approaches based on \cite{BukUhl} and \cite{ksu}. △ Less

Submitted 18 August, 2018; v1 submitted 22 May, 2018; originally announced May 2018.

Comments: Clarified the last section. Removed redundancies

The linearized Calderón problem on complex manifolds

Authors: Colin Guillarmou, Mikko Salo, Leo Tzou

Abstract: In this note we show that on any compact subdomain of a Kähler manifold that admits sufficiently many global holomorphic functions, the products of harmonic functions form a complete set. This gives a positive answer to the linearized anisotropic Calderón problem on a class of complex manifolds that includes compact subdomains of Stein manifolds and sufficiently small subdomains of Kähler manifold… ▽ More In this note we show that on any compact subdomain of a Kähler manifold that admits sufficiently many global holomorphic functions, the products of harmonic functions form a complete set. This gives a positive answer to the linearized anisotropic Calderón problem on a class of complex manifolds that includes compact subdomains of Stein manifolds and sufficiently small subdomains of Kähler manifolds. Some of these manifolds do not admit limiting Carleman weights, and thus cannot by treated by standard methods for the Calderón problem in higher dimensions. The argument is based on constructing Morse holomorphic functions with approximately prescribed critical points. This extends results of Guillarmou and Tzou (Duke Math. J. 2011) from the case of Riemann surfaces to higher dimensional complex manifolds. △ Less

Submitted 2 May, 2018; originally announced May 2018.

Comments: 15 pages

Boundary and lens rigidity for non-convex manifolds

Authors: Colin Guillarmou, Marco Mazzucchelli, Leo Tzou

Abstract: We study the boundary and lens rigidity problems on domains without assuming the convexity of the boundary. We show that such rigidities hold when the domain is a simply connected compact Riemannian surface without conjugate points. For the more general class of non-trap** compact Riemannian surfaces with no conjugate points, we show lens rigidity. We also prove the injectivity of the X-ray tran… ▽ More We study the boundary and lens rigidity problems on domains without assuming the convexity of the boundary. We show that such rigidities hold when the domain is a simply connected compact Riemannian surface without conjugate points. For the more general class of non-trap** compact Riemannian surfaces with no conjugate points, we show lens rigidity. We also prove the injectivity of the X-ray transform on tensors in a variety of settings with non-convex boundary and, in some situations, allowing a non-empty trapped set. △ Less

Submitted 27 November, 2017; originally announced November 2017.

Comments: 40 pages, 2 figures

MSC Class: 53C22; 58E10

Journal ref: American Journal of Mathematics 143 (2021), no. 2, 533-575

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.

Comments: 15 pages

The $L^p$ Carleman estimate and a partial data inverse problem

Authors: Francis J. Chung, Leo Tzou

Abstract: We construct an explicit Green's function for the conjugated Laplacian $e^{-ω\cdot x/h}Δe^{-ω\cdot x/h}$, which let us control our solutions on roughly half of the boundary. We apply the Green's function to solve a partial data inverse problem for the Schrödinger equation with potential $q \in L^{n/2}$. We also use this Green's function to derive $L^p$ Carleman estimates similar to the ones in Ken… ▽ More We construct an explicit Green's function for the conjugated Laplacian $e^{-ω\cdot x/h}Δe^{-ω\cdot x/h}$, which let us control our solutions on roughly half of the boundary. We apply the Green's function to solve a partial data inverse problem for the Schrödinger equation with potential $q \in L^{n/2}$. We also use this Green's function to derive $L^p$ Carleman estimates similar to the ones in Kenig-Ruiz-Sogge \cite{krs}, but for functions with support up to part of the boundary. △ Less

Submitted 5 October, 2016; originally announced October 2016.

Comments: 33 pages plus appendix and references

MSC Class: 35R30

Inverse scattering for the magnetic Schrödinger operator on surfaces with Euclidean ends

Authors: Valter Pohjola, Leo Tzou

Abstract: We prove a fixed frequency inverse scattering result for the magnetic Schrödinger operator (or connection Laplacian) on surfaces with Euclidean ends. We show that, under suitable decaying conditions, the scattering matrix for the operator determines both the gauge class of the connection and the zeroth order potential. We prove a fixed frequency inverse scattering result for the magnetic Schrödinger operator (or connection Laplacian) on surfaces with Euclidean ends. We show that, under suitable decaying conditions, the scattering matrix for the operator determines both the gauge class of the connection and the zeroth order potential. △ Less

Submitted 8 March, 2016; originally announced March 2016.

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

Stability for a magnetic Schrödinger operator on a Riemann surface with boundary

Authors: Joel Andersson, Leo Tzou

Abstract: We consider a magnetic Schrödinger operator $(\nabla^X)^*\nabla^X+q$ on a compact Riemann surface with boundary and prove a $\log\log$-type stability estimate in terms of Cauchy data for the electric potential and magnetic field under the assumption that they satisfy appropriate a priori bounds. We also give a similar stability result for the holonomy of the connection 1-form $X$. We consider a magnetic Schrödinger operator $(\nabla^X)^*\nabla^X+q$ on a compact Riemann surface with boundary and prove a $\log\log$-type stability estimate in terms of Cauchy data for the electric potential and magnetic field under the assumption that they satisfy appropriate a priori bounds. We also give a similar stability result for the holonomy of the connection 1-form $X$. △ Less

Submitted 3 March, 2016; originally announced March 2016.

The reflection principle and Calderón problems with partial data

Authors: Leo Tzou

Abstract: We solve the partial data Calderón problem for the connection Laplacian on Riemann surfaces. We solve the partial data Calderón problem for the connection Laplacian on Riemann surfaces. △ Less

Submitted 10 February, 2016; originally announced February 2016.

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

Partial Data Inverse Problems for Maxwell Equations via Carleman Estimates

Authors: Francis J. Chung, Petri Ola, Mikko Salo, Leo Tzou

Abstract: In this article we consider an inverse boundary value problem for the time-harmonic Maxwell equations. We show that the electromagnetic material parameters are determined by boundary measurements where part of the boundary data is measured on a possibly very small set. This is an extension of earlier scalar results of Bukhgeim-Uhlmann and Kenig-Sjöstrand-Uhlmann to the Maxwell system. The main con… ▽ More In this article we consider an inverse boundary value problem for the time-harmonic Maxwell equations. We show that the electromagnetic material parameters are determined by boundary measurements where part of the boundary data is measured on a possibly very small set. This is an extension of earlier scalar results of Bukhgeim-Uhlmann and Kenig-Sjöstrand-Uhlmann to the Maxwell system. The main contribution is to show that the Carleman estimate approach to scalar partial data inverse problems introduced in those works can be carried over to the Maxwell system. △ Less

Submitted 5 February, 2015; originally announced February 2015.

Comments: 24 pages

MSC Class: 35R30; 35Q61

Partial data inverse problems for the Hodge Laplacian

Authors: Francis J. Chung, Mikko Salo, Leo Tzou

Abstract: We prove uniqueness results for a Calderon type inverse problem for the Hodge Laplacian acting on graded forms on certain manifolds in three dimensions. In particular, we show that partial measurements of the relative-to-absolute or absolute-to-relative boundary value maps uniquely determine a zeroth order potential. The method is based on Carleman estimates for the Hodge Laplacian with relative o… ▽ More We prove uniqueness results for a Calderon type inverse problem for the Hodge Laplacian acting on graded forms on certain manifolds in three dimensions. In particular, we show that partial measurements of the relative-to-absolute or absolute-to-relative boundary value maps uniquely determine a zeroth order potential. The method is based on Carleman estimates for the Hodge Laplacian with relative or absolute boundary conditions, and on the construction of complex geometric optics solutions which reduce the Calderon type problem to a tensor tomography problem for 2-tensors. The arguments in this paper allow to establish partial data results for elliptic systems that generalize the scalar results due to Kenig-Sjostrand-Uhlmann. △ Less

Submitted 12 May, 2016; v1 submitted 17 October, 2013; originally announced October 2013.

Comments: 54 pages, updated version

Inverse problems and invisibility cloaking for FEM models and resistor networks

Authors: Matti Lassas, Mikko Salo, Leo Tzou

Abstract: In this paper we consider inverse problems for resistor networks and for models obtained via the Finite Element Method (FEM) for the conductivity equation. These correspond to discrete versions of the inverse conductivity problem of Calderón. We characterize FEM models corresponding to a given triangulation of the domain that are equivalent to certain resistor networks, and apply the results to st… ▽ More In this paper we consider inverse problems for resistor networks and for models obtained via the Finite Element Method (FEM) for the conductivity equation. These correspond to discrete versions of the inverse conductivity problem of Calderón. We characterize FEM models corresponding to a given triangulation of the domain that are equivalent to certain resistor networks, and apply the results to study nonuniqueness of the discrete inverse problem. It turns out that the degree of nonuniqueness for the discrete problem is larger than the one for the partial differential equation. We also study invisibility cloaking for FEM models, and show how an arbitrary body can be surrounded with a layer so that the cloaked body has the same boundary measurements as a given background medium. △ Less

Submitted 9 July, 2013; v1 submitted 5 July, 2013; originally announced July 2013.

MSC Class: 35R30; 65N30; 05C50

Inverse Boundary Problems for Systems in Two Dimensions

Authors: Pierre Albin, Colin Guillarmou, Leo Tzou, Gunther Uhlmann

Abstract: We prove identification of coefficients up to gauge by Cauchy data at the boundary for elliptic systems on oriented compact surfaces with boundary or domains of $\mathbb{C}$. In the geometric setting, we fix a Riemann surface with boundary, and consider both a Dirac-type operator plus potential acting on sections of a Clifford bundle and a connection Laplacian plus potential (i.e. Schrödinger Lapl… ▽ More We prove identification of coefficients up to gauge by Cauchy data at the boundary for elliptic systems on oriented compact surfaces with boundary or domains of $\mathbb{C}$. In the geometric setting, we fix a Riemann surface with boundary, and consider both a Dirac-type operator plus potential acting on sections of a Clifford bundle and a connection Laplacian plus potential (i.e. Schrödinger Laplacian with external Yang-Mills field) acting on sections of a Hermitian bundle. In either case we show that the Cauchy data determines both the connection and the potential up to a natural gauge transformation: conjugation by an endomorphism of the bundle which is the identity at the boundary. For domains of $\mathbb{C}$, we recover zeroth order terms up to gauge from Cauchy data at the boundary in first order elliptic systems. △ Less

Submitted 23 May, 2011; originally announced May 2011.

Comments: 17 pages

MSC Class: 35R30; 58J32

Identification of a connection from Cauchy data on a Riemann surface with boundary

Authors: Colin Guillarmou, Leo Tzou

Abstract: We consider a connection $\nabla^X$ on a complex line bundle over a Riemann surface with boundary $M_0$, with connection 1-form $X$. We show that the Cauchy data space of the connection Laplacian (also called magnetic Laplacian) $L:={\nabla^X}^*\nabla^X + q$, with $q$ a complex valued potential, uniquely determines the connection up to gauge isomorphism, and the potential $q$. We consider a connection $\nabla^X$ on a complex line bundle over a Riemann surface with boundary $M_0$, with connection 1-form $X$. We show that the Cauchy data space of the connection Laplacian (also called magnetic Laplacian) $L:={\nabla^X}^*\nabla^X + q$, with $q$ a complex valued potential, uniquely determines the connection up to gauge isomorphism, and the potential $q$. △ Less

Submitted 26 August, 2010; v1 submitted 5 July, 2010; originally announced July 2010.

Comments: 23 pages. Independent additional proof of Th 6.1 added. Minor typos corrected

MSC Class: 35R30; 58J32

Inverse scattering at fixed energy on surfaces with Euclidean ends

Authors: Colin Guillarmou, Mikko Salo, Leo Tzou

Abstract: On a fixed Riemann surface $(M_0,g_0)$ with $N$ Euclidean ends and genus $g$, we show that, under a topological condition, the scattering matrix $S_V(\la)$ at frequency $\la > 0$ for the operator $Δ+V$ determines the potential $V$ if $V\in C^{1,α}(M_0)\cap e^{-γd(\cdot,z_0)^j}L^\infty(M_0)$ for all $γ>0$ and for some $j\in\{1,2\}$, where $d(z,z_0)$ denotes the distance from $z$ to a fixed point… ▽ More On a fixed Riemann surface $(M_0,g_0)$ with $N$ Euclidean ends and genus $g$, we show that, under a topological condition, the scattering matrix $S_V(\la)$ at frequency $\la > 0$ for the operator $Δ+V$ determines the potential $V$ if $V\in C^{1,α}(M_0)\cap e^{-γd(\cdot,z_0)^j}L^\infty(M_0)$ for all $γ>0$ and for some $j\in\{1,2\}$, where $d(z,z_0)$ denotes the distance from $z$ to a fixed point $z_0\in M_0$. The topological condition is given by $N\geq\max(2g+1,2)$ for $j=1$ and by $N\geq g+1$ if $j=2$. In $\rr^2$ this implies that the operator $S_V(\la)$ determines any $C^{1,α}$ potential $V$ such that $V(z)=O(e^{-γ|z|^2})$ for all $γ>0$. △ Less

Submitted 2 April, 2010; originally announced April 2010.

Comments: 21 pages

Calderon inverse Problem with partial data on Riemann Surfaces

Authors: Colin Guillarmou, Leo Tzou

Abstract: On a fixed smooth compact Riemann surface with boundary $(M_0,g)$, we show that for the Schrödinger operator $Δ+V$ with potential $V\in C^{1,α}(M_0)$ for some $α>0$, the Dirichlet-to-Neumann map $N|_Γ$ measured on an open set $Γ\subset \partial M_0$ determines uniquely the potential $V$. We also discuss briefly the corresponding consequences for potential scattering at 0 frequency on Riemann sur… ▽ More On a fixed smooth compact Riemann surface with boundary $(M_0,g)$, we show that for the Schrödinger operator $Δ+V$ with potential $V\in C^{1,α}(M_0)$ for some $α>0$, the Dirichlet-to-Neumann map $N|_Γ$ measured on an open set $Γ\subset \partial M_0$ determines uniquely the potential $V$. We also discuss briefly the corresponding consequences for potential scattering at 0 frequency on Riemann surfaces with asymptotically Euclidean or asymptotically hyperbolic ends. △ Less

Submitted 3 September, 2009; v1 submitted 11 August, 2009; originally announced August 2009.

Comments: 27 pages. Corrections and modifications in the Complex Geometric Optics solutions; regularity assumption strenghtened to $C^{1,α}$

MSC Class: 35R30

Journal ref: Duke Math. J. 158, no. 1 (2011), 83-120

Calderon inverse Problem for the Schrodinger Operator on Riemann Surfaces

Authors: Colin Guillarmou, Leo Tzou

Abstract: On a fixed smooth compact Riemann surface with boundary $(M_0,g)$, we show that the Cauchy data space (or Dirichlet-to-Neumann map $\mc{N}$) of the Schrödinger operator $Δ+V$ with $V\in C^2(M_0)$ determines uniquely the potential $V$. We also discuss briefly the corresponding consequences for potential scattering at 0 frequency on Riemann surfaces with asymptotically Euclidean or asymptotically… ▽ More On a fixed smooth compact Riemann surface with boundary $(M_0,g)$, we show that the Cauchy data space (or Dirichlet-to-Neumann map $\mc{N}$) of the Schrödinger operator $Δ+V$ with $V\in C^2(M_0)$ determines uniquely the potential $V$. We also discuss briefly the corresponding consequences for potential scattering at 0 frequency on Riemann surfaces with asymptotically Euclidean or asymptotically hyperbolic ends. △ Less

Submitted 24 April, 2009; originally announced April 2009.

Comments: 16 pages

MSC Class: 35R30

Inverse problems with partial data for a Dirac system: a Carleman estimate approach

Authors: Mikko Salo, Leo Tzou

Abstract: We prove that the material parameters in a Dirac system with magnetic and electric potentials are uniquely determined by measurements made on a possibly small subset of the boundary. The proof is based on a combination of Carleman estimates for first and second order systems, and involves a reduction of the boundary measurements to the second order case. For this reduction a certain amount of de… ▽ More We prove that the material parameters in a Dirac system with magnetic and electric potentials are uniquely determined by measurements made on a possibly small subset of the boundary. The proof is based on a combination of Carleman estimates for first and second order systems, and involves a reduction of the boundary measurements to the second order case. For this reduction a certain amount of decoupling is required. To effectively make use of the decoupling, the Carleman estimates are established for coefficients which may become singular in the asymptotic limit. △ Less

Submitted 19 February, 2009; originally announced February 2009.

Comments: 23 pages

Carleman estimates and inverse problems for Dirac operators

Authors: Mikko Salo, Leo Tzou

Abstract: We consider limiting Carleman weights for Dirac operators and prove corresponding Carleman estimates. In particular, we show that limiting Carleman weights for the Laplacian also serve as limiting weights for Dirac operators. As an application we consider the inverse problem of recovering a Lipschitz continuous magnetic field and electric potential from boundary measurements for the Pauli Dirac… ▽ More We consider limiting Carleman weights for Dirac operators and prove corresponding Carleman estimates. In particular, we show that limiting Carleman weights for the Laplacian also serve as limiting weights for Dirac operators. As an application we consider the inverse problem of recovering a Lipschitz continuous magnetic field and electric potential from boundary measurements for the Pauli Dirac operator. △ Less

Submitted 8 September, 2008; v1 submitted 14 September, 2007; originally announced September 2007.

Comments: 20 pages; Proposition 2.4 concerning harmonic weights had an incorrect proof in the first version and has been removed, also other changes and corrections

MSC Class: 35R30

Stability Estimates for Coefficients of Magnetic Schrödinger Equation From Full and Partial Boundary Measurements

Authors: Leo Tzou

Abstract: In this paper we establish a $log log$-type estimate which shows that in dimension $n\geq 3$ the magnetic field and the electric potential of the magnetic Schrödinger equation depends stably on the Dirichlet to Neumann (DN) map even when the boundary measurement is taken only on a subset that is slightly larger than half of the boundary $\partialΩ$. Furthermore, we prove that in the case when th… ▽ More In this paper we establish a $log log$-type estimate which shows that in dimension $n\geq 3$ the magnetic field and the electric potential of the magnetic Schrödinger equation depends stably on the Dirichlet to Neumann (DN) map even when the boundary measurement is taken only on a subset that is slightly larger than half of the boundary $\partialΩ$. Furthermore, we prove that in the case when the measurement is taken on all of $\partialΩ$ one can establish a better estimate that is of $log$-type. The proofs involve the use of the complex geometric optics (CGO) solutions of the magnetic Schrödinger equation constructed in \cite{sun uhlmann} then follow a similar line of argument as in \cite{alessandrini}. In the partial data estimate we follow the general strategy of \cite{hw} by using the Carleman estimate established in \cite{FKSU} and a continuous dependence result for analytic continuation developed in \cite{vessella}. △ Less

Submitted 7 February, 2006; originally announced February 2006.

Iterations of anti-selfdual Lagrangians and applications to Hamiltonian systems and multiparameter gradient flows

Authors: Nassif Ghoussoub, Leo Tzou

Abstract: Anti-selfdual Lagrangians on a state space lift to path space provided one adds a suitable selfdual boundary Lagrangian. This process can be iterated by considering the path space as a new state space for the newly obtained anti-selfdual Lagrangian. We give here two applications for these remarkable permanence properties. In the first, we establish for certain convex-concave Hamiltonians… ▽ More Anti-selfdual Lagrangians on a state space lift to path space provided one adds a suitable selfdual boundary Lagrangian. This process can be iterated by considering the path space as a new state space for the newly obtained anti-selfdual Lagrangian. We give here two applications for these remarkable permanence properties. In the first, we establish for certain convex-concave Hamiltonians ${\cal H}$ on a --possibly infinite dimensional--symplectic space $H^2$, the existence of a solution for the Hamiltonian system $-J\dot u (t)=\partial {\cal H} (u(t))$ that connects in a given time T>0, two Lagrangian submanifolds. Another application deals with the construction of a multiparameter gradient flow for a convex potential. Our methods are based on the new variational calculus for anti-selfdual Lagrangians developed in [4], [5] and [7]. △ Less

Submitted 1 April, 2005; originally announced April 2005.

Comments: 20 pages. Updated versions --if any-- of this author's papers can be downloaded at http://www.pims.math.ca/~nassif/

Report number: PIMS-05-6

Anti-selfdual Lagrangians II: Unbounded non self-adjoint operators and evolution equations

Authors: Nassif Ghoussoub, Leo Tzou

Abstract: This paper is a continuation of [13], where new variational principles were introduced based on the concept of anti-selfdual (ASD) Lagrangians. We continue here the program of using these Lagrangians to provide variational formulations and resolutions to various basic equations and evolutions which do not normally fit in the Euler-Lagrange framework. In particular, we consider stationary equatio… ▽ More This paper is a continuation of [13], where new variational principles were introduced based on the concept of anti-selfdual (ASD) Lagrangians. We continue here the program of using these Lagrangians to provide variational formulations and resolutions to various basic equations and evolutions which do not normally fit in the Euler-Lagrange framework. In particular, we consider stationary equations of the form $ -Au\in \partial φ(u)$ as well as i dissipative evolutions of the form $-\dot{u}(t)-A_t u(t)+ωu(t) \in \partial φ(t, u(t))$ were $φ$ is a convex potential on an infinite dimensional space. In this paper, the emphasis is on the cases where the differential operators involved are not necessarily bounded, hence completing the results established in [13] for bounded linear operators. Our main applications deal with various nonlinear boundary value problems and parabolic initial value equations governed by the transport operator with or without a diffusion term. △ Less

Submitted 24 March, 2005; originally announced March 2005.

Comments: 30 pages. For the most updated version of this paper, please visit http://www.pims.math.ca/~nassif/pims_papers.html

Report number: PIMS-05-2