Hyperbolic inverse problems and exact controllability
|
|
- Philip Bell
- 5 years ago
- Views:
Transcription
1 Hyperbolic inverse problems and exact controllability Lauri Oksanen University College London
2 An inverse initial source problem Let M R n be a compact domain with smooth strictly convex boundary, and let c C (R n ) be strictly positive. Suppose that c = 1 in R n \ M. Let φ C0 (M) and consider the wave equation, t 2 u c(x) 2 u = 0, on (0, ) R n, u t=0 = φ, t u t=0 = 0, on R n. Inverse source problem. Given c and u (0,T ) M find φ.
3 An inverse boundary value problem Consider the wave equation on the domain M t 2 u c(x) 2 u = 0, on (0, ) M, u x M = f, on (0, ) M, u t=0 = 0, t u t=0 = 0, on M, and define the Dirichlet-to-Neumann map Λ c f = ν u (0,T ) M, f C0 ((0, T ) M). Inverse boundary value problem. Given Λ c find c. Contrary to the above inverse source problem, the inverse boundary value problem here is non-linear.
4 Uniqueness for the inverse source problem Inverse source problem. Given c and u (0,T ) M find φ C 0 (M), where 2 t u c(x) 2 u = 0, on (0, ) R n, u t=0 = φ, t u t=0 = 0, on R n. The inverse source problem is uniquely solvable for large enough T > 0. We get ν u (0,T ) M by solving an exterior problem. Uniqueness follows from Tataru s hyperbolic unique continuation.
5 Stability for the inverse source problem Given c and u (0,T ) M find φ C 0 (M), where 2 t u c(x) 2 u = 0, on (0, ) R n, u t=0 = φ, t u t=0 = 0, on R n. The stability estimate φ H 1 C(c) u (0,T ) M H 1 holds if the Riemannian (M, g) manifold is non-trapping [Stefanov-Uhlmann 09]. Here the metric tensor g = c 2 dx 2 gives the travel times of waves. Notice that the constant C(c) depends on the sound speed c.
6 Inverse source problem: is reconstruction of both f and c possible? This is not known in general. The scale of c is determined in the following sense: if c(x) is of the form αβ(x), where α a constant and β is a known function, then α is determined by u (0,T ) M [Hristova-Kuchment-Nguyen 08]. The linearized problem to reconstruct f and c from u (0,T ) M is not stable [Stefanov-Uhlmann 12] (if possible to solve at all). If f is known, f 0 and M is foliated by strictly convex hypersurfaces w.r.t. the Riemannian metric g = c 2 dx 2 [Stefanov-Uhlmann 13] showed that c is determined.
7 Stability with respect to the sound speed Given c close to c and u (0,T ) M find φ C 0 (M), where t 2 u c(x) 2 u = 0, on (0, ) R n, u t=0 = φ, t u t=0 = 0, on R n. Th. [L.O.-Uhlmann] Suppose that the Riemannian manifold (M, c 2 dx 2 ) has a strictly convex function with no critical points. Let C > 0 and let K M int be compact and let us consider the functions φ and c satisfying φ H 3 (K) C, c C 2 (K) C, supp(φ) K, c = c in Rn \ K. There are ɛ, T, C > 0 such that if c satisfies also c c C 1 (K) ɛ then we can reconstuct φ such that φ φ C c c H 1 L u (0,T ) M 1/2 H 1.
8 Uniqueness for the inverse boundary value problem Inverse boundary value problem. Given Λ c find c, where Λ c f = ν u (0,T ) M and 2 t u c(x) 2 u = 0, on (0, ) M, u x M = f, on (0, ) M, u t=0 = 0, t u t=0 = 0, on M. The inverse boundary value problem is uniquely solvable for large enough T > 0. This can be proven by using the Boundary Control method [Belishev 87] together with the unique continuation [Tataru 95] or by using the complex geometric optics (CGO) solutions [Sylvester-Uhlmann 87]. Both the methods are expected to be exponentially unstable.
9 Stability for the inverse boundary value problem Given Λ c find c, where Λ c f = ν u (0,T ) M and 2 t u c(x) 2 u = 0, on (0, ) M, u x M = f, on (0, ) M, u t=0 = 0, t u t=0 = 0, on M. If the Riemannian manifold (M, c 2 dx 2 ) is simple, then the inverse boundary value problem is locally Hölder stable. That is, there is C > 0 and a neighborhood U of c such that c c C Λ c Λ c 1/2, c U. This can be proven by using geometric optics solutions [Stefanov-Uhlmann 98, Bellassoued-Dos Santos Ferreira 11]. The method is not a global reconstruction method.
10 Stability for a low frequency component Given Λ c find c, where Λ c f = ν u (0,T ) M and t 2 u c(x) 2 u = 0, on (0, ) M, u x M = f, on (0, ) M, u t=0 = 0, t u t=0 = 0, on M. Theorem [Liu-L.O.]. If the Riemannian manifold (M, c 2 dx 2 ) has a strictly convex function with no critical points, then the inverse problem is locally Lipschitz stable in low frequencies. That is, there are C, R > 0 and a neighborhood U of c such that F( c 2 c 2 )(ξ) Ce R ξ Λ c Λ c, c U. The method is a global reconstruction method.
11 Stability for the inverse source problem again Inverse source problem. Given c and u (0,T ) M find φ C 0 (M), where 2 t u c(x) 2 u = 0, on (0, ) R n, u t=0 = φ, t u t=0 = 0, on R n. The stability estimate φ H 1 C(c) u (0,T H ) M 1 holds if the Riemannian (M, c 2 dx 2 ) manifold is non-trapping. In the control theory literature, inequalities of the form initial data C boundary data are called continuous observability inequalities.
12 Exact controllability Control problem. Given c and φ L 2 (M) find f L 2 ((0, T ) M) such that u(t ) = φ where 2 t u c(x) 2 u = 0, on (0, ) M, u x M = f, on (0, ) M, u t=0 = 0, t u t=0 = 0, on M. The control problem can be solved stably if and only if the continuous observability inequality ψ L 2 C(c) ν v L (0,T ) M 2 holds, where t 2 v c(x) 2 v = 0, on (0, ) M, v x M = 0, on (0, ) M, v t=0 = 0, t v t=0 = ψ, on M.
13 The Boundary Control method Control problem using boundary data. Given Λ c and harmonic φ C (M) find f L 2 ((0, T ) M) such that u(t ) = φ where 2 t u c(x) 2 u = 0, on (0, ) M, u x M = f, on (0, ) M, u t=0 = 0, t u t=0 = 0, on M. The control problem can be solved stably if and only if the continuous observability inequality ψ L 2 C(c) ν v L (0,T ) M 2 holds, where t 2 v c(x) 2 v = 0, on (0, ) M, v x M = 0, on (0, ) M, v t=0 = 0, t v t=0 = ψ, on M.
14 About the BC method: Blagoveščenskĭı s identity The following identity is central to the Boundary Control method where u solves (u(t ), u(t )) L 2 (M;c 2 dx) = (f, Kf ) L 2 ((0,T ) M), 2 t u c(x) 2 u = 0, on (0, ) M, u x M = f, on (0, ) M, u t=0 = 0, t u t=0 = 0, on M,, and K = K(Λ c ) = JΛ c RΛ c RJ. Here Rh(t) := h(t t) and Jh(t) := 1 2 2T t t h(s)ds.
15 About the BC method: a Blagoveščenskĭı type identity If φ C (M) is harmonic, then we have also the identity (u(t ), φ) L 2 (M;c 2 dx) = (f, Bφ) L 2 ( M (0,T )), where B = B(Λ c ) = RΛ c RI T 0 I T 1. Here Ih(t) := T t h(s)ds and T 0 and T 1 are the first two traces on M. Proof. Integration by parts gives 2 t (u(t), φ) L 2 (M;c 2 (x)dx) = ( u(t), φ) L 2 (M;dx) (u(t), φ) L 2 (M;dx) = (Λ c f (t), φ) L 2 ( M) (f (t), ν φ) L 2 ( M). By solving this differential equation with vanishing initial conditions at t = 0 we get the identity.
16 About the BC method: a Blagoveščenskĭı type identity If φ C (M) is harmonic, then we have also the identity (u(t ), φ) L 2 (M;c 2 dx) = (f, Bφ) L 2 ( M (0,T )), where B = B(Λ c ) = RΛ c RI T 0 I T 1. Here Ih(t) := T t h(s)ds and T 0 and T 1 are the first two traces on M. Proof. Integration by parts gives 2 t (u(t), φ) L 2 (M;c 2 (x)dx) = ( u(t), φ) L 2 (M;dx) (u(t), φ) L 2 (M;dx) = (Λ c f (t), φ) L 2 ( M) (f (t), ν φ) L 2 ( M). By solving this differential equation with vanishing initial conditions at t = 0 we get the identity.
17 About the BC method: the control problem again Control problem using boundary data. Given Λ c and harmonic φ C (M) find f L 2 ((0, T ) M) such that u(t ) = φ where 2 t u c(x) 2 u = 0, on (0, ) M, u x M = f, on (0, ) M, u t=0 = 0, t u t=0 = 0, on M. We can find a solution f by minimizing u(t ) φ 2 L 2 (M;c 2 (x)dx) = (f, Kf ) 2(f, Bφ) + φ 2 L 2 (M;c 2 (x)dx). Let ξ, η R n satisfy ξ = η and ξ η. Then the functions φ(x) := e i(ξ+iη) x/2, ψ(x) := e i(ξ iη) x/2 are harmonic. If f is a solution to the control problem u(t ) = φ then F(c 2 )(ξ) = (φ, ψ) L 2 (M;c 2 (x)dx) = (f, Bψ).
18 Stability for a low frequency component To show the stability estimate F( c 2 c 2 )(ξ) Ce R ξ Λ c Λ c, c U, we need to show that the constant C(c) in the continuous observability inequality, ψ L 2 C(c) ν v (0,T ) M L 2, is uniform with respect to the sound speed c. Here v solves 2 t v c(x) 2 v = 0, on (0, ) M, v x M = 0, on (0, ) M, v t=0 = 0, t v t=0 = ψ, on M.
19 Continuous observability Let us consider the continuous observability inequality w H 1 0 (M) L 2 (M) C(c) νv L 2 ( M (0,T )), (1) where w = (v(0), t v(0)) and v solves 2 t v c(x) 2 v = 0, on (0, ) M, v x M = 0, on (0, ) M. The inequality (1) holds if and only if (M, c 2 dx 2 ) is non-trapping [Bardos-Lebeau-Rauch 92, Burq-Gérard 97]. The proof is based on Microlocal analysis (propagation of singularities) to obtain w H 1 0 (M) L 2 (M) C νv L 2 ( M (0,T )) + Rw L 2 ( M (0,T )), where and R is a compact operator. Unique continuation to improve to (1). The second step loses all control over C(c).
20 Trying to perturb the continuous observability inequality Let v and ṽ be the solutions of the wave equations 2 t v c 2 v = 0, 2 t ṽ c 2 ṽ = 0, with the initial data w and vanishing boundary conditions. Then ṽ v satisfies the wave equation ( 2 t c(x) 2 )(ṽ v) = ( c 2 c 2 ) ṽ, on M (0, T ), with vanishing initial and boundary conditions. In particular, w H 1 0 (M) L 2 (M) C(c) νv L 2 ( M (0,T )) C(c) ν ṽ L 2 ( M (0,T )) + C(c) νv ν ṽ L 2 ( M (0,T )) C(c) ν ṽ L 2 ( M (0,T )) + δ ṽ L 1 (0,T ;L 2 (M)) C(c) ν ṽ L 2 ( M (0,T )) + δ w H 2 (M) H 1 0 (M), where δ > 0 is small if c is close to c. However, δ w on the RHS can not be absorbed in the LHS as we have lost one degree of smoothness.
21 Continuous observability inequality with explicit constants Let (M, g) be a smooth Riemannian manifold with a boundary and consider the wave equation 2 t u(t, x) µ u(t, x) = 0, (t, x) (0, ) M, u(t, x) = 0, where µ is the weighted Laplace-Beltrami operator, and µ C (M) is strictly positive. µ u = µ 1 div(µ u), (t, x) (0, ) M, Notice that if g = c(x) 2 dx 2 and µ(x) = c(x) n 2, then µ = c(x) 2, where is the Euclidean Laplacean.
22 Continuous observability inequality with explicit constants Theorem [Liu-L.O.]. Suppose that there is a strictly convex function l C 3 (M) with no critical points on (M, g). Let ρ, r > 0 satisfy D 2 l(x, X ) ρ X 2, l(x) r, for all X T x M and x M, and define Γ := {x M; ( l, ν) > 0}. Suppose that ( ) T > 2(C 3 τ + C 4 )e (B l β l 3 )τ τ, where τ = max ρ, C 1 2ρr 2. Let u C 2 ([0, T ] M) be a solution of the wave equation with homogeneous Dirichlet boundary condition. Then T u(0) 2 L 2 (M) + tu(0) 2 L 2 (M) C(T ) ( ν u) 2 µdsdt, where C(T ) = C 2 e (B l β l )τ τ T 2(C 3 τ+c 4 )e (B l β l )τ τ. 0 Γ
Inverse problems for hyperbolic PDEs
Inverse problems for hyperbolic PDEs Lauri Oksanen University College London Example: inverse problem for the wave equation Let c be a smooth function on Ω R n and consider the wave equation t 2 u c 2
More informationRecovery of anisotropic metrics from travel times
Purdue University The Lens Rigidity and the Boundary Rigidity Problems Let M be a bounded domain with boundary. Let g be a Riemannian metric on M. Define the scattering relation σ and the length (travel
More informationMicrolocal analysis and inverse problems Lecture 4 : Uniqueness results in admissible geometries
Microlocal analysis and inverse problems Lecture 4 : Uniqueness results in admissible geometries David Dos Santos Ferreira LAGA Université de Paris 13 Wednesday May 18 Instituto de Ciencias Matemáticas,
More informationStrichartz Estimates for the Schrödinger Equation in Exterior Domains
Strichartz Estimates for the Schrödinger Equation in University of New Mexico May 14, 2010 Joint work with: Hart Smith (University of Washington) Christopher Sogge (Johns Hopkins University) The Schrödinger
More informationA SHARP STABILITY ESTIMATE IN TENSOR TOMOGRAPHY
A SHARP STABILITY ESTIMATE IN TENSOR TOMOGRAPHY PLAMEN STEFANOV 1. Introduction Let (M, g) be a compact Riemannian manifold with boundary. The geodesic ray transform I of symmetric 2-tensor fields f is
More informationOn uniqueness in the inverse conductivity problem with local data
On uniqueness in the inverse conductivity problem with local data Victor Isakov June 21, 2006 1 Introduction The inverse condictivity problem with many boundary measurements consists of recovery of conductivity
More informationStrichartz Estimates in Domains
Department of Mathematics Johns Hopkins University April 15, 2010 Wave equation on Riemannian manifold (M, g) Cauchy problem: 2 t u(t, x) gu(t, x) =0 u(0, x) =f (x), t u(0, x) =g(x) Strichartz estimates:
More informationCUTOFF RESOLVENT ESTIMATES AND THE SEMILINEAR SCHRÖDINGER EQUATION
CUTOFF RESOLVENT ESTIMATES AND THE SEMILINEAR SCHRÖDINGER EQUATION HANS CHRISTIANSON Abstract. This paper shows how abstract resolvent estimates imply local smoothing for solutions to the Schrödinger equation.
More informationIncreasing stability in an inverse problem for the acoustic equation
Increasing stability in an inverse problem for the acoustic equation Sei Nagayasu Gunther Uhlmann Jenn-Nan Wang Abstract In this work we study the inverse boundary value problem of determining the refractive
More informationControl from an Interior Hypersurface
Control from an Interior Hypersurface Matthieu Léautaud École Polytechnique Joint with Jeffrey Galkowski Murramarang, microlocal analysis on the beach March, 23. 2018 Outline General questions Eigenfunctions
More informationResolvent estimates with mild trapping
Resolvent estimates with mild trapping Jared Wunsch Northwestern University (joint work with: Dean Baskin, Hans Christianson, Emmanuel Schenck, András Vasy, Maciej Zworski) Michael Taylor Birthday Conference
More informationEigenvalues and eigenfunctions of the Laplacian. Andrew Hassell
Eigenvalues and eigenfunctions of the Laplacian Andrew Hassell 1 2 The setting In this talk I will consider the Laplace operator,, on various geometric spaces M. Here, M will be either a bounded Euclidean
More informationLECTURE NOTES ON GEOMETRIC OPTICS
LECTURE NOTES ON GEOMETRIC OPTICS PLAMEN STEFANOV We want to solve the wave equation 1. The wave equation (1.1) ( 2 t c 2 g )u = 0, u t=0 = f 1, u t t=0 = f 2, in R t R n x, where g is a Riemannian metric
More informationThe inverse conductivity problem with power densities in dimension n 2
The inverse conductivity problem with power densities in dimension n 2 François Monard Guillaume Bal Dept. of Applied Physics and Applied Mathematics, Columbia University. June 19th, 2012 UC Irvine Conference
More informationDispersive Equations and Hyperbolic Orbits
Dispersive Equations and Hyperbolic Orbits H. Christianson Department of Mathematics University of California, Berkeley 4/16/07 The Johns Hopkins University Outline 1 Introduction 3 Applications 2 Main
More informationRecent progress on the explicit inversion of geodesic X-ray transforms
Recent progress on the explicit inversion of geodesic X-ray transforms François Monard Department of Mathematics, University of Washington. Geometric Analysis and PDE seminar University of Cambridge, May
More informationTravel Time Tomography and Tensor Tomography, I
Travel Time Tomography and Tensor Tomography, I Plamen Stefanov Purdue University Mini Course, MSRI 2009 Plamen Stefanov (Purdue University ) Travel Time Tomography and Tensor Tomography, I 1 / 17 Alternative
More informationA few words about the MTW tensor
A few words about the Ma-Trudinger-Wang tensor Université Nice - Sophia Antipolis & Institut Universitaire de France Salah Baouendi Memorial Conference (Tunis, March 2014) The Ma-Trudinger-Wang tensor
More informationTHERMOACOUSTIC TOMOGRAPHY ARISING IN BRAIN IMAGING
THERMOACOUSTIC TOMOGRAPHY ARISING IN BRAIN IMAGING PLAMEN STEFANOV AND GUNTHER UHLMANN Abstract. We study the mathematical model of thermoacoustic and photoacoustic tomography when the sound speed has
More informationMicrolocal analysis and inverse problems Lecture 3 : Carleman estimates
Microlocal analysis and inverse problems ecture 3 : Carleman estimates David Dos Santos Ferreira AGA Université de Paris 13 Monday May 16 Instituto de Ciencias Matemáticas, Madrid David Dos Santos Ferreira
More informationInégalités de dispersion via le semi-groupe de la chaleur
Inégalités de dispersion via le semi-groupe de la chaleur Valentin Samoyeau, Advisor: Frédéric Bernicot. Laboratoire de Mathématiques Jean Leray, Université de Nantes January 28, 2016 1 Introduction Schrödinger
More informationCMS winter meeting 2008, Ottawa. The heat kernel on connected sums
CMS winter meeting 2008, Ottawa The heat kernel on connected sums Laurent Saloff-Coste (Cornell University) December 8 2008 p(t, x, y) = The heat kernel ) 1 x y 2 exp ( (4πt) n/2 4t The heat kernel is:
More informationWave operators with non-lipschitz coefficients: energy and observability estimates
Wave operators with non-lipschitz coefficients: energy and observability estimates Institut de Mathématiques de Jussieu-Paris Rive Gauche UNIVERSITÉ PARIS DIDEROT PARIS 7 JOURNÉE JEUNES CONTRÔLEURS 2014
More informationTransport Continuity Property
On Riemannian manifolds satisfying the Transport Continuity Property Université de Nice - Sophia Antipolis (Joint work with A. Figalli and C. Villani) I. Statement of the problem Optimal transport on Riemannian
More informationCOMPLEX SPHERICAL WAVES AND INVERSE PROBLEMS IN UNBOUNDED DOMAINS
COMPLEX SPHERICAL WAVES AND INVERSE PROBLEMS IN UNBOUNDED DOMAINS MIKKO SALO AND JENN-NAN WANG Abstract. This work is motivated by the inverse conductivity problem of identifying an embedded object in
More informationMATH 220: Problem Set 3 Solutions
MATH 220: Problem Set 3 Solutions Problem 1. Let ψ C() be given by: 0, x < 1, 1 + x, 1 < x < 0, ψ(x) = 1 x, 0 < x < 1, 0, x > 1, so that it verifies ψ 0, ψ(x) = 0 if x 1 and ψ(x)dx = 1. Consider (ψ j )
More informationThe Schrödinger propagator for scattering metrics
The Schrödinger propagator for scattering metrics Andrew Hassell (Australian National University) joint work with Jared Wunsch (Northwestern) MSRI, May 5-9, 2003 http://arxiv.org/math.ap/0301341 1 Schrödinger
More informationOn some weighted fractional porous media equations
On some weighted fractional porous media equations Gabriele Grillo Politecnico di Milano September 16 th, 2015 Anacapri Joint works with M. Muratori and F. Punzo Gabriele Grillo Weighted Fractional PME
More informationRigidity and Non-rigidity Results on the Sphere
Rigidity and Non-rigidity Results on the Sphere Fengbo Hang Xiaodong Wang Department of Mathematics Michigan State University Oct., 00 1 Introduction It is a simple consequence of the maximum principle
More informationNonlinear stabilization via a linear observability
via a linear observability Kaïs Ammari Department of Mathematics University of Monastir Joint work with Fathia Alabau-Boussouira Collocated feedback stabilization Outline 1 Introduction and main result
More informationComplex geometrical optics solutions for Lipschitz conductivities
Rev. Mat. Iberoamericana 19 (2003), 57 72 Complex geometrical optics solutions for Lipschitz conductivities Lassi Päivärinta, Alexander Panchenko and Gunther Uhlmann Abstract We prove the existence of
More informationMicrolocal Analysis : a short introduction
Microlocal Analysis : a short introduction Plamen Stefanov Purdue University Mini Course, Fields Institute, 2012 Plamen Stefanov (Purdue University ) Microlocal Analysis : a short introduction 1 / 25 Introduction
More informationShort note on compact operators - Monday 24 th March, Sylvester Eriksson-Bique
Short note on compact operators - Monday 24 th March, 2014 Sylvester Eriksson-Bique 1 Introduction In this note I will give a short outline about the structure theory of compact operators. I restrict attention
More informationInverse Scattering with Partial data on Asymptotically Hyperbolic Manifolds
Inverse Scattering with Partial data on Asymptotically Hyperbolic Manifolds Raphael Hora UFSC rhora@mtm.ufsc.br 29/04/2014 Raphael Hora (UFSC) Inverse Scattering with Partial data on AH Manifolds 29/04/2014
More informationRECENT PROGRESS ON THE BOUNDARY RIGIDITY PROBLEM
ELECTRONIC RESEARCH ANNOUNCEMENTS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Pages 000 000 (Xxxx XX, XXXX) S 1079-6762(XX)0000-0 RECENT PROGRESS ON THE BOUNDARY RIGIDITY PROBLEM PLAMEN STEFANOV AND
More informationOn the Resolvent Estimates of some Evolution Equations and Applications
On the Resolvent Estimates of some Evolution Equations and Applications Moez KHENISSI Ecole Supérieure des Sciences et de Technologie de Hammam Sousse On the Resolvent Estimates of some Evolution Equations
More informationNumerical Methods for geodesic X-ray transforms and applications to open theoretical questions
Numerical Methods for geodesic X-ray transforms and applications to open theoretical questions François Monard Department of Mathematics, University of Washington. Nov. 13, 2014 UW Numerical Analysis Research
More informationTHERMO AND PHOTOACOUSTIC TOMOGRAPHY WITH VARIABLE SPEED AND PLANAR DETECTORS
THERMO AND PHOTOACOUSTIC TOMOGRAPHY WITH VARIABLE SPEED AND PLANAR DETECTORS PLAMEN STEFANOV AND YANG YANG Abstract. We analyze the mathematical model of multiwave tomography with a variable speed with
More informationBFK-gluing formula for zeta-determinants of Laplacians and a warped product metric
BFK-gluing formula for zeta-determinants of Laplacians and a warped product metric Yoonweon Lee (Inha University, Korea) Geometric and Singular Analysis Potsdam University February 20-24, 2017 (Joint work
More informationOn semilinear elliptic equations with measure data
On semilinear elliptic equations with measure data Andrzej Rozkosz (joint work with T. Klimsiak) Nicolaus Copernicus University (Toruń, Poland) Controlled Deterministic and Stochastic Systems Iasi, July
More informationAn inverse source problem in optical molecular imaging
An inverse source problem in optical molecular imaging Plamen Stefanov 1 Gunther Uhlmann 2 1 2 University of Washington Formulation Direct Problem Singular Operators Inverse Problem Proof Conclusion Figure:
More informationWEYL S LEMMA, ONE OF MANY. Daniel W. Stroock
WEYL S LEMMA, ONE OF MANY Daniel W Stroock Abstract This note is a brief, and somewhat biased, account of the evolution of what people working in PDE s call Weyl s Lemma about the regularity of solutions
More informationLp Bounds for Spectral Clusters. Compact Manifolds with Boundary
on Compact Manifolds with Boundary Department of Mathematics University of Washington, Seattle Hangzhou Conference on Harmonic Analysis and PDE s (M, g) = compact 2-d Riemannian manifold g = Laplacian
More informationA CALDERÓN PROBLEM WITH FREQUENCY-DIFFERENTIAL DATA IN DISPERSIVE MEDIA. has a unique solution. The Dirichlet-to-Neumann map
A CALDERÓN PROBLEM WITH FREQUENCY-DIFFERENTIAL DATA IN DISPERSIVE MEDIA SUNGWHAN KIM AND ALEXANDRU TAMASAN ABSTRACT. We consider the problem of identifying a complex valued coefficient γ(x, ω) in the conductivity
More informationDiffraction by Edges. András Vasy (with Richard Melrose and Jared Wunsch)
Diffraction by Edges András Vasy (with Richard Melrose and Jared Wunsch) Cambridge, July 2006 Consider the wave equation Pu = 0, Pu = D 2 t u gu, on manifolds with corners M; here g 0 the Laplacian, D
More informationu xx + u yy = 0. (5.1)
Chapter 5 Laplace Equation The following equation is called Laplace equation in two independent variables x, y: The non-homogeneous problem u xx + u yy =. (5.1) u xx + u yy = F, (5.) where F is a function
More informationOn the role of geometry in scattering theory for nonlinear Schrödinger equations
On the role of geometry in scattering theory for nonlinear Schrödinger equations Rémi Carles (CNRS & Université Montpellier 2) Orléans, April 9, 2008 Free Schrödinger equation on R n : i t u + 1 2 u =
More informationDeforming conformal metrics with negative Bakry-Émery Ricci Tensor on manifolds with boundary
Deforming conformal metrics with negative Bakry-Émery Ricci Tensor on manifolds with boundary Weimin Sheng (Joint with Li-Xia Yuan) Zhejiang University IMS, NUS, 8-12 Dec 2014 1 / 50 Outline 1 Prescribing
More informationMICROLOCAL ANALYSIS METHODS
MICROLOCAL ANALYSIS METHODS PLAMEN STEFANOV One of the fundamental ideas of classical analysis is a thorough study of functions near a point, i.e., locally. Microlocal analysis, loosely speaking, is analysis
More informationRECOVERY OF A SOURCE TERM OR A SPEED WITH ONE MEASUREMENT AND APPLICATIONS
RECOVERY OF A SOURCE TERM OR A SPEED WITH ONE MEASUREMENT AND APPLICATIONS PLAMEN STEFANOV AND GUNTHER UHLMANN ABSTRACT. We study the problem of recovery the source a.t; x/f.x/ in the wave equation in
More informationPartial Differential Equations
Part II Partial Differential Equations Year 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2015 Paper 4, Section II 29E Partial Differential Equations 72 (a) Show that the Cauchy problem for u(x,
More informationRECOVERY OF A SOURCE TERM OR A SPEED WITH ONE MEASUREMENT AND APPLICATIONS
RECOVERY OF A SOURCE TERM OR A SPEED WITH ONE MEASUREMENT AND APPLICATIONS PLAMEN STEFANOV AND GUNTHER UHLMANN ABSTRACT. We study the problem of recovery the source a.t; x/f.x/ in the wave equation in
More informationControllability of linear PDEs (I): The wave equation
Controllability of linear PDEs (I): The wave equation M. González-Burgos IMUS, Universidad de Sevilla Doc Course, Course 2, Sevilla, 2018 Contents 1 Introduction. Statement of the problem 2 Distributed
More informationPoint estimates for Green s matrix to boundary value problems for second order elliptic systems in a polyhedral cone
Maz ya, V. G., Roßmann, J.: Estimates for Green s matrix 1 ZAMM Z. angew. Math. Mech. 00 2004 0, 1 30 Maz ya, V. G.; Roßmann, J. Point estimates for Green s matrix to boundary value problems for second
More informationEXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018
EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018 While these notes are under construction, I expect there will be many typos. The main reference for this is volume 1 of Hörmander, The analysis of liner
More informationON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES
ON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES CLAUS GERHARDT Abstract. We prove that the mean curvature τ of the slices given by a constant mean curvature foliation can be used
More informationStrauss conjecture for nontrapping obstacles
Chengbo Wang Joint work with: Hart Smith, Christopher Sogge Department of Mathematics Johns Hopkins University Baltimore, Maryland 21218 wangcbo@jhu.edu November 3, 2010 1 Problem and Background Problem
More informationQuantum decay rates in chaotic scattering
Quantum decay rates in chaotic scattering S. Nonnenmacher (Saclay) + M. Zworski (Berkeley) National AMS Meeting, New Orleans, January 2007 A resonant state for the partially open stadium billiard, computed
More informationLecture No 2 Degenerate Diffusion Free boundary problems
Lecture No 2 Degenerate Diffusion Free boundary problems Columbia University IAS summer program June, 2009 Outline We will discuss non-linear parabolic equations of slow diffusion. Our model is the porous
More informationFractal Weyl Laws and Wave Decay for General Trapping
Fractal Weyl Laws and Wave Decay for General Trapping Jeffrey Galkowski McGill University July 26, 2017 Joint w/ Semyon Dyatlov The Plan The setting and a brief review of scattering resonances Heuristic
More informationExponential decay for the solution of semilinear viscoelastic wave equations with localized damping
Electronic Journal of Differential Equations, Vol. 22(22), No. 44, pp. 1 14. ISSN: 172-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) Exponential decay
More informationToward imaging modalities with high(er) resolution
Toward imaging modalities with high(er) resolution François Monard Department of Mathematics, University of Michigan February 9, 2016 University of North Carolina at Charlotte Introduction Topic du jour
More informationPseudo-Poincaré Inequalities and Applications to Sobolev Inequalities
Pseudo-Poincaré Inequalities and Applications to Sobolev Inequalities Laurent Saloff-Coste Abstract Most smoothing procedures are via averaging. Pseudo-Poincaré inequalities give a basic L p -norm control
More informationThe effect of Group Velocity in the numerical analysis of control problems for the wave equation
The effect of Group Velocity in the numerical analysis of control problems for the wave equation Fabricio Macià École Normale Supérieure, D.M.A., 45 rue d Ulm, 753 Paris cedex 5, France. Abstract. In this
More informationEstimates for the resolvent and spectral gaps for non self-adjoint operators. University Bordeaux
for the resolvent and spectral gaps for non self-adjoint operators 1 / 29 Estimates for the resolvent and spectral gaps for non self-adjoint operators Vesselin Petkov University Bordeaux Mathematics Days
More informationPhoto-Acoustic imaging in layered media
Photo-Acoustic imaging in layered media Faouzi TRIKI Université Grenoble-Alpes, France (joint works with Kui Ren, Texas at Austin, USA.) 4 juillet 2016 Photo-Acoustic effect Photo-Acoustic effect (Bell,
More informationGluing semiclassical resolvent estimates via propagation of singularities
Gluing semiclassical resolvent estimates via propagation of singularities Kiril Datchev (MIT) and András Vasy (Stanford) Postdoc Seminar MSRI Kiril Datchev (MIT) Semiclassical resolvent estimates 7 December
More informationFoliations of hyperbolic space by constant mean curvature surfaces sharing ideal boundary
Foliations of hyperbolic space by constant mean curvature surfaces sharing ideal boundary David Chopp and John A. Velling December 1, 2003 Abstract Let γ be a Jordan curve in S 2, considered as the ideal
More informationAnalysis in weighted spaces : preliminary version
Analysis in weighted spaces : preliminary version Frank Pacard To cite this version: Frank Pacard. Analysis in weighted spaces : preliminary version. 3rd cycle. Téhéran (Iran, 2006, pp.75.
More informationMicrolocal Methods in X-ray Tomography
Microlocal Methods in X-ray Tomography Plamen Stefanov Purdue University Lecture I: Euclidean X-ray tomography Mini Course, Fields Institute, 2012 Plamen Stefanov (Purdue University ) Microlocal Methods
More informationOptimal Transportation. Nonlinear Partial Differential Equations
Optimal Transportation and Nonlinear Partial Differential Equations Neil S. Trudinger Centre of Mathematics and its Applications Australian National University 26th Brazilian Mathematical Colloquium 2007
More informationFine scales of decay rates of operator semigroups
Operator Semigroups meet everything else Herrnhut, 5 June 2013 A damped wave equation 2 u u + 2a(x) u t2 t = 0 (t > 0, x Ω) u(x, t) = 0 (t > 0, x Ω) u(, 0) = u 0 H0 1 (Ω), u t (, 0) = u 1 L 2 (Ω). Here,
More informationSpectral theory of first order elliptic systems
Spectral theory of first order elliptic systems Dmitri Vassiliev (University College London) 24 May 2013 Conference Complex Analysis & Dynamical Systems VI Nahariya, Israel 1 Typical problem in my subject
More informationDetermining a Riemannian Metric from Minimal Areas. Tracey Balehowsky University of Toronto. February 7, 2018
Determining a Riemannian Metric from Minimal Areas Spyros Alexakis University of Toronto Tracey Balehowsky University of Toronto February 7, 2018 Adrian Nachman University of Toronto arxiv:1711.09379v2
More informationRecovering point sources in unknown environment with differential data
Recovering point sources in unknown environment with differential data Yimin Zhong University of Texas at Austin April 29, 2013 Introduction Introduction The field u satisfies u(x) + k 2 (1 + n(x))u(x)
More informationON STRICHARTZ ESTIMATES FOR SCHRÖDINGER OPERATORS IN COMPACT MANIFOLDS WITH BOUNDARY. 1. Introduction
ON STRICHARTZ ESTIMATES FOR SCHRÖDINGER OPERATORS IN COMPACT MANIFOLDS WITH BOUNDARY MATTHEW D. BLAIR, HART F. SMITH, AND CHRISTOPHER D. SOGGE 1. Introduction Let (M, g) be a Riemannian manifold of dimension
More informationPoincaré Duality Angles on Riemannian Manifolds with Boundary
Poincaré Duality Angles on Riemannian Manifolds with Boundary Clayton Shonkwiler Department of Mathematics University of Pennsylvania June 5, 2009 Realizing cohomology groups as spaces of differential
More informationFull-wave invisibility of active devices at all frequencies
arxiv:math.ap/0611185 v1 7 Nov 2006 Full-wave invisibility of active devices at all frequencies Allan Greenleaf Yaroslav Kurylev Matti Lassas, Gunther Uhlmann November 7, 2006 Abstract There has recently
More informationFrequency functions, monotonicity formulas, and the thin obstacle problem
Frequency functions, monotonicity formulas, and the thin obstacle problem IMA - University of Minnesota March 4, 2013 Thank you for the invitation! In this talk we will present an overview of the parabolic
More informationIsometric Embedding of Negatively Curved Disks in the Minkowski Space
Pure and Applied Mathematics Quarterly Volume 3, Number 3 (Special Issue: In honor of Leon Simon, Part 2 of 2 ) 827 840, 2007 Isometric Embedding of Negatively Curved Diss in the Minowsi Space Bo Guan
More informationSome issues on Electrical Impedance Tomography with complex coefficient
Some issues on Electrical Impedance Tomography with complex coefficient Elisa Francini (Università di Firenze) in collaboration with Elena Beretta and Sergio Vessella E. Francini (Università di Firenze)
More informationMATH 220: MIDTERM OCTOBER 29, 2015
MATH 22: MIDTERM OCTOBER 29, 25 This is a closed book, closed notes, no electronic devices exam. There are 5 problems. Solve Problems -3 and one of Problems 4 and 5. Write your solutions to problems and
More informationThe heat equation in time dependent domains with Neumann boundary conditions
The heat equation in time dependent domains with Neumann boundary conditions Chris Burdzy Zhen-Qing Chen John Sylvester Abstract We study the heat equation in domains in R n with insulated fast moving
More informationPoisson Equation on Closed Manifolds
Poisson Equation on Closed anifolds Andrew acdougall December 15, 2011 1 Introduction The purpose of this project is to investigate the poisson equation φ = ρ on closed manifolds (compact manifolds without
More informationDouble Layer Potentials on Polygons and Pseudodifferential Operators on Lie Groupoids
Double Layer Potentials on Polygons and Pseudodifferential Operators on Lie Groupoids joint work with Hengguang Li Yu Qiao School of Mathematics and Information Science Shaanxi Normal University Xi an,
More informationDetailed Program of the Workshop
Detailed Program of the Workshop Inverse Problems: Theoretical and Numerical Aspects Laboratoire de Mathématiques de Reims, December 17-19 2018 December 17 14h30 Opening of the Workhop 15h00-16h00 Mourad
More informationCauchy problem for Ultrasound Modulated EIT
Cauchy problem for Ultrasound Modulated EIT Guillaume Bal December 18, 2011 Abstract Ultrasound modulation of electrical or optical properties of materials offers the possibility to devise hybrid imaging
More informationStrichartz estimates for the Schrödinger equation on polygonal domains
estimates for the Schrödinger equation on Joint work with Matt Blair (UNM), G. Austin Ford (Northwestern U) and Sebastian Herr (U Bonn and U Düsseldorf)... With a discussion of previous work with Andrew
More informationA local estimate from Radon transform and stability of Inverse EIT with partial data
A local estimate from Radon transform and stability of Inverse EIT with partial data Alberto Ruiz Universidad Autónoma de Madrid U. California, Irvine.June 2012 w/ P. Caro (U. Helsinki) and D. Dos Santos
More informationInversions of ray transforms on simple surfaces
Inversions of ray transforms on simple surfaces François Monard Department of Mathematics, University of Washington. June 09, 2015 Institut Henri Poincaré - Program on Inverse problems 1 / 42 Outline 1
More informationA sufficient condition for observability of waves by measurable subsets
A sufficient condition for observability of waves by measurable subsets Emmanuel Humbert Yannick Privat Emmanuel Trélat Abstract We consider the wave equation on a closed Riemannian manifold (M, g). Given
More informationOptimal shape and placement of actuators or sensors for PDE models
Optimal shape and placement of actuators or sensors for PDE models Y. Privat, E. Trélat, E. uazua Univ. Paris 6 (Labo. J.-L. Lions) et Institut Universitaire de France Rutgers University - Camden, March
More informationLOCAL LENS RIGIDITY WITH INCOMPLETE DATA FOR A CLASS OF NON-SIMPLE RIEMANNIAN MANIFOLDS
LOCAL LENS RIGIDITY WITH INCOMPLETE DATA FOR A CLASS OF NON-SIMPLE RIEMANNIAN MANIFOLDS PLAMEN STEFANOV AND GUNTHER UHLMANN Abstract. Let σ be the scattering relation on a compact Riemannian manifold M
More informationThe X-ray transform for a non-abelian connection in two dimensions
The X-ray transform for a non-abelian connection in two dimensions David Finch Department of Mathematics Oregon State University Corvallis, OR, 97331, USA Gunther Uhlmann Department of Mathematics University
More informationRegularity of linear waves at the Cauchy horizon of black hole spacetimes
Regularity of linear waves at the Cauchy horizon of black hole spacetimes Peter Hintz joint with András Vasy Luminy April 29, 2016 Cauchy horizon of charged black holes (subextremal) Reissner-Nordström-de
More informationOn stable inversion of the attenuated Radon transform with half data Jan Boman. We shall consider weighted Radon transforms of the form
On stable inversion of the attenuated Radon transform with half data Jan Boman We shall consider weighted Radon transforms of the form R ρ f(l) = f(x)ρ(x, L)ds, L where ρ is a given smooth, positive weight
More informationTHE CALDERÓN PROBLEM AND NORMAL FORMS
THE CALDERÓN PROBLEM AND NORMAL FORMS MIKKO SALO Abstract. We outline an approach to the inverse problem of Calderón that highlights the role of microlocal normal forms and propagation of singularities
More informationHow fast travelling waves can attract small initial data
How fast travelling waves can attract small initial data Laurent Dietrich Institut de Mathématiques de Toulouse ANR NONLOCAL Institut des systèmes complexes, Paris 16 avril 2014 Introduction Model under
More informationThe Helmholtz Equation
The Helmholtz Equation Seminar BEM on Wave Scattering Rene Rühr ETH Zürich October 28, 2010 Outline Steklov-Poincare Operator Helmholtz Equation: From the Wave equation to Radiation condition Uniqueness
More informationMetric Spaces. Exercises Fall 2017 Lecturer: Viveka Erlandsson. Written by M.van den Berg
Metric Spaces Exercises Fall 2017 Lecturer: Viveka Erlandsson Written by M.van den Berg School of Mathematics University of Bristol BS8 1TW Bristol, UK 1 Exercises. 1. Let X be a non-empty set, and suppose
More information